TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b477e-d0e6-71d8-b489-b48e0621ee3b

complete
Chain ID
1
Address
0x52f1c81411cdce3eb533b5985f654c3016a15eda
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
27661 artifact.fetch complete 1 / 3 3 months ago
27662 tool.cast_disasm complete 1 / 3 3 months ago
92273 analysis.bundle complete 1 / 3 2 weeks ago
92274 capability.graph complete 1 / 3 2 weeks ago
92275 detector.run complete 1 / 3 2 weeks ago
92276 validation.fork complete 1 / 3 2 weeks ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
2
EXT*/BALANCE
8
Total opcodes
7351
Flags
heavy_ext_balance_usage
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x016a
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x78e97925
00000019: GT
0000001a: PUSH2 0x00cb
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb88d4fde
00000024: GT
00000025: PUSH2 0x007f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe985e9c5
0000002f: GT
00000030: PUSH2 0x0059
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe985e9c5
0000003a: EQ
0000003b: PUSH2 0x0407
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf0503e80
00000045: EQ
00000046: PUSH2 0x045d
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf466d4ab
00000050: EQ
00000051: PUSH2 0x048a
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0xb88d4fde
00000060: EQ
00000061: PUSH2 0x0393
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xc87b56dd
0000006b: EQ
0000006c: PUSH2 0x03b3
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xdc38679c
00000076: EQ
00000077: PUSH2 0x03d3
0000007a: JUMPI
0000007b: PUSH1 0x00
0000007d: DUP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0x9499ac54
00000086: GT
00000087: PUSH2 0x00b0
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x9499ac54
00000091: EQ
00000092: PUSH2 0x0338
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x95d89b41
0000009c: EQ
0000009d: PUSH2 0x035e
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xa22cb465
000000a7: EQ
000000a8: PUSH2 0x0373
000000ab: JUMPI
000000ac: PUSH1 0x00
000000ae: DUP1
000000af: REVERT
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0x78e97925
000000b7: EQ
000000b8: PUSH2 0x02ee
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0x9106d7ba
000000c2: EQ
000000c3: PUSH2 0x0322
000000c6: JUMPI
000000c7: PUSH1 0x00
000000c9: DUP1
000000ca: REVERT
000000cb: JUMPDEST
000000cc: DUP1
000000cd: PUSH4 0x23b872dd
000000d2: GT
000000d3: PUSH2 0x0122
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x6352211e
000000dd: GT
000000de: PUSH2 0x0107
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x6352211e
000000e8: EQ
000000e9: PUSH2 0x0280
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x6d9d33b7
000000f3: EQ
000000f4: PUSH2 0x02a0
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x70a08231
000000fe: EQ
000000ff: PUSH2 0x02ce
00000102: JUMPI
00000103: PUSH1 0x00
00000105: DUP1
00000106: REVERT
00000107: JUMPDEST
00000108: DUP1
00000109: PUSH4 0x23b872dd
0000010e: EQ
0000010f: PUSH2 0x0240
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0x42842e0e
00000119: EQ
0000011a: PUSH2 0x0260
0000011d: JUMPI
0000011e: PUSH1 0x00
00000120: DUP1
00000121: REVERT
00000122: JUMPDEST
00000123: DUP1
00000124: PUSH4 0x081812fc
00000129: GT
0000012a: PUSH2 0x0153
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0x081812fc
00000134: EQ
00000135: PUSH2 0x01c6
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0x095ea7b3
0000013f: EQ
00000140: PUSH2 0x020b
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x1801fbe5
0000014a: EQ
0000014b: PUSH2 0x022d
0000014e: JUMPI
0000014f: PUSH1 0x00
00000151: DUP1
00000152: REVERT
00000153: JUMPDEST
00000154: DUP1
00000155: PUSH4 0x01ffc9a7
0000015a: EQ
0000015b: PUSH2 0x016f
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0x06fdde03
00000165: EQ
00000166: PUSH2 0x01a4
00000169: JUMPI
0000016a: JUMPDEST
0000016b: PUSH1 0x00
0000016d: DUP1
0000016e: REVERT
0000016f: JUMPDEST
00000170: CALLVALUE
00000171: DUP1
00000172: ISZERO
00000173: PUSH2 0x017b
00000176: JUMPI
00000177: PUSH1 0x00
00000179: DUP1
0000017a: REVERT
0000017b: JUMPDEST
0000017c: POP
0000017d: PUSH2 0x018f
00000180: PUSH2 0x018a
00000183: CALLDATASIZE
00000184: PUSH1 0x04
00000186: PUSH2 0x2c0c
00000189: JUMP
0000018a: JUMPDEST
0000018b: PUSH2 0x04aa
0000018e: JUMP
0000018f: JUMPDEST
00000190: PUSH1 0x40
00000192: MLOAD
00000193: SWAP1
00000194: ISZERO
00000195: ISZERO
00000196: DUP2
00000197: MSTORE
00000198: PUSH1 0x20
0000019a: ADD
0000019b: JUMPDEST
0000019c: PUSH1 0x40
0000019e: MLOAD
0000019f: DUP1
000001a0: SWAP2
000001a1: SUB
000001a2: SWAP1
000001a3: RETURN
000001a4: JUMPDEST
000001a5: CALLVALUE
000001a6: DUP1
000001a7: ISZERO
000001a8: PUSH2 0x01b0
000001ab: JUMPI
000001ac: PUSH1 0x00
000001ae: DUP1
000001af: REVERT
000001b0: JUMPDEST
000001b1: POP
000001b2: PUSH2 0x01b9
000001b5: PUSH2 0x058f
000001b8: JUMP
000001b9: JUMPDEST
000001ba: PUSH1 0x40
000001bc: MLOAD
000001bd: PUSH2 0x019b
000001c0: SWAP2
000001c1: SWAP1
000001c2: PUSH2 0x2c97
000001c5: JUMP
000001c6: JUMPDEST
000001c7: CALLVALUE
000001c8: DUP1
000001c9: ISZERO
000001ca: PUSH2 0x01d2
000001cd: JUMPI
000001ce: PUSH1 0x00
000001d0: DUP1
000001d1: REVERT
000001d2: JUMPDEST
000001d3: POP
000001d4: PUSH2 0x01e6
000001d7: PUSH2 0x01e1
000001da: CALLDATASIZE
000001db: PUSH1 0x04
000001dd: PUSH2 0x2caa
000001e0: JUMP
000001e1: JUMPDEST
000001e2: PUSH2 0x0621
000001e5: JUMP
000001e6: JUMPDEST
000001e7: PUSH1 0x40
000001e9: MLOAD
000001ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001ff: SWAP1
00000200: SWAP2
00000201: AND
00000202: DUP2
00000203: MSTORE
00000204: PUSH1 0x20
00000206: ADD
00000207: PUSH2 0x019b
0000020a: JUMP
0000020b: JUMPDEST
0000020c: CALLVALUE
0000020d: DUP1
0000020e: ISZERO
0000020f: PUSH2 0x0217
00000212: JUMPI
00000213: PUSH1 0x00
00000215: DUP1
00000216: REVERT
00000217: JUMPDEST
00000218: POP
00000219: PUSH2 0x022b
0000021c: PUSH2 0x0226
0000021f: CALLDATASIZE
00000220: PUSH1 0x04
00000222: PUSH2 0x2cec
00000225: JUMP
00000226: JUMPDEST
00000227: PUSH2 0x0655
0000022a: JUMP
0000022b: JUMPDEST
0000022c: STOP
0000022d: JUMPDEST
0000022e: PUSH2 0x022b
00000231: PUSH2 0x023b
00000234: CALLDATASIZE
00000235: PUSH1 0x04
00000237: PUSH2 0x2d16
0000023a: JUMP
0000023b: JUMPDEST
0000023c: PUSH2 0x0811
0000023f: JUMP
00000240: JUMPDEST
00000241: CALLVALUE
00000242: DUP1
00000243: ISZERO
00000244: PUSH2 0x024c
00000247: JUMPI
00000248: PUSH1 0x00
0000024a: DUP1
0000024b: REVERT
0000024c: JUMPDEST
0000024d: POP
0000024e: PUSH2 0x022b
00000251: PUSH2 0x025b
00000254: CALLDATASIZE
00000255: PUSH1 0x04
00000257: PUSH2 0x2d38
0000025a: JUMP
0000025b: JUMPDEST
0000025c: PUSH2 0x09e0
0000025f: JUMP
00000260: JUMPDEST
00000261: CALLVALUE
00000262: DUP1
00000263: ISZERO
00000264: PUSH2 0x026c
00000267: JUMPI
00000268: PUSH1 0x00
0000026a: DUP1
0000026b: REVERT
0000026c: JUMPDEST
0000026d: POP
0000026e: PUSH2 0x022b
00000271: PUSH2 0x027b
00000274: CALLDATASIZE
00000275: PUSH1 0x04
00000277: PUSH2 0x2d38
0000027a: JUMP
0000027b: JUMPDEST
0000027c: PUSH2 0x0a81
0000027f: JUMP
00000280: JUMPDEST
00000281: CALLVALUE
00000282: DUP1
00000283: ISZERO
00000284: PUSH2 0x028c
00000287: JUMPI
00000288: PUSH1 0x00
0000028a: DUP1
0000028b: REVERT
0000028c: JUMPDEST
0000028d: POP
0000028e: PUSH2 0x01e6
00000291: PUSH2 0x029b
00000294: CALLDATASIZE
00000295: PUSH1 0x04
00000297: PUSH2 0x2caa
0000029a: JUMP
0000029b: JUMPDEST
0000029c: PUSH2 0x0a9c
0000029f: JUMP
000002a0: JUMPDEST
000002a1: CALLVALUE
000002a2: DUP1
000002a3: ISZERO
000002a4: PUSH2 0x02ac
000002a7: JUMPI
000002a8: PUSH1 0x00
000002aa: DUP1
000002ab: REVERT
000002ac: JUMPDEST
000002ad: POP
000002ae: PUSH2 0x02c0
000002b1: PUSH2 0x02bb
000002b4: CALLDATASIZE
000002b5: PUSH1 0x04
000002b7: PUSH2 0x2caa
000002ba: JUMP
000002bb: JUMPDEST
000002bc: PUSH2 0x0b28
000002bf: JUMP
000002c0: JUMPDEST
000002c1: PUSH1 0x40
000002c3: MLOAD
000002c4: SWAP1
000002c5: DUP2
000002c6: MSTORE
000002c7: PUSH1 0x20
000002c9: ADD
000002ca: PUSH2 0x019b
000002cd: JUMP
000002ce: JUMPDEST
000002cf: CALLVALUE
000002d0: DUP1
000002d1: ISZERO
000002d2: PUSH2 0x02da
000002d5: JUMPI
000002d6: PUSH1 0x00
000002d8: DUP1
000002d9: REVERT
000002da: JUMPDEST
000002db: POP
000002dc: PUSH2 0x02c0
000002df: PUSH2 0x02e9
000002e2: CALLDATASIZE
000002e3: PUSH1 0x04
000002e5: PUSH2 0x2d74
000002e8: JUMP
000002e9: JUMPDEST
000002ea: PUSH2 0x0b5c
000002ed: JUMP
000002ee: JUMPDEST
000002ef: CALLVALUE
000002f0: DUP1
000002f1: ISZERO
000002f2: PUSH2 0x02fa
000002f5: JUMPI
000002f6: PUSH1 0x00
000002f8: DUP1
000002f9: REVERT
000002fa: JUMPDEST
000002fb: POP
000002fc: PUSH2 0x02c0
000002ff: PUSH32 0x00000000000000000000000000000000000000000000000000000000649226cf
00000320: DUP2
00000321: JUMP
00000322: JUMPDEST
00000323: CALLVALUE
00000324: DUP1
00000325: ISZERO
00000326: PUSH2 0x032e
00000329: JUMPI
0000032a: PUSH1 0x00
0000032c: DUP1
0000032d: REVERT
0000032e: JUMPDEST
0000032f: POP
00000330: PUSH2 0x02c0
00000333: PUSH1 0x07
00000335: SLOAD
00000336: DUP2
00000337: JUMP
00000338: JUMPDEST
00000339: CALLVALUE
0000033a: DUP1
0000033b: ISZERO
0000033c: PUSH2 0x0344
0000033f: JUMPI
00000340: PUSH1 0x00
00000342: DUP1
00000343: REVERT
00000344: JUMPDEST
00000345: POP
00000346: PUSH2 0x034d
00000349: PUSH2 0x0c2a
0000034c: JUMP
0000034d: JUMPDEST
0000034e: PUSH1 0x40
00000350: MLOAD
00000351: PUSH2 0x019b
00000354: SWAP6
00000355: SWAP5
00000356: SWAP4
00000357: SWAP3
00000358: SWAP2
00000359: SWAP1
0000035a: PUSH2 0x2d8f
0000035d: JUMP
0000035e: JUMPDEST
0000035f: CALLVALUE
00000360: DUP1
00000361: ISZERO
00000362: PUSH2 0x036a
00000365: JUMPI
00000366: PUSH1 0x00
00000368: DUP1
00000369: REVERT
0000036a: JUMPDEST
0000036b: POP
0000036c: PUSH2 0x01b9
0000036f: PUSH2 0x0cd9
00000372: JUMP
00000373: JUMPDEST
00000374: CALLVALUE
00000375: DUP1
00000376: ISZERO
00000377: PUSH2 0x037f
0000037a: JUMPI
0000037b: PUSH1 0x00
0000037d: DUP1
0000037e: REVERT
0000037f: JUMPDEST
00000380: POP
00000381: PUSH2 0x022b
00000384: PUSH2 0x038e
00000387: CALLDATASIZE
00000388: PUSH1 0x04
0000038a: PUSH2 0x2dc5
0000038d: JUMP
0000038e: JUMPDEST
0000038f: PUSH2 0x0ce8
00000392: JUMP
00000393: JUMPDEST
00000394: CALLVALUE
00000395: DUP1
00000396: ISZERO
00000397: PUSH2 0x039f
0000039a: JUMPI
0000039b: PUSH1 0x00
0000039d: DUP1
0000039e: REVERT
0000039f: JUMPDEST
000003a0: POP
000003a1: PUSH2 0x022b
000003a4: PUSH2 0x03ae
000003a7: CALLDATASIZE
000003a8: PUSH1 0x04
000003aa: PUSH2 0x2e30
000003ad: JUMP
000003ae: JUMPDEST
000003af: PUSH2 0x0cf3
000003b2: JUMP
000003b3: JUMPDEST
000003b4: CALLVALUE
000003b5: DUP1
000003b6: ISZERO
000003b7: PUSH2 0x03bf
000003ba: JUMPI
000003bb: PUSH1 0x00
000003bd: DUP1
000003be: REVERT
000003bf: JUMPDEST
000003c0: POP
000003c1: PUSH2 0x01b9
000003c4: PUSH2 0x03ce
000003c7: CALLDATASIZE
000003c8: PUSH1 0x04
000003ca: PUSH2 0x2caa
000003cd: JUMP
000003ce: JUMPDEST
000003cf: PUSH2 0x0d9b
000003d2: JUMP
000003d3: JUMPDEST
000003d4: CALLVALUE
000003d5: DUP1
000003d6: ISZERO
000003d7: PUSH2 0x03df
000003da: JUMPI
000003db: PUSH1 0x00
000003dd: DUP1
000003de: REVERT
000003df: JUMPDEST
000003e0: POP
000003e1: PUSH2 0x02c0
000003e4: PUSH32 0x000000000000000000000000000000000000000000000000000009184e72a000
00000405: DUP2
00000406: JUMP
00000407: JUMPDEST
00000408: CALLVALUE
00000409: DUP1
0000040a: ISZERO
0000040b: PUSH2 0x0413
0000040e: JUMPI
0000040f: PUSH1 0x00
00000411: DUP1
00000412: REVERT
00000413: JUMPDEST
00000414: POP
00000415: PUSH2 0x018f
00000418: PUSH2 0x0422
0000041b: CALLDATASIZE
0000041c: PUSH1 0x04
0000041e: PUSH2 0x2f2a
00000421: JUMP
00000422: JUMPDEST
00000423: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000438: SWAP2
00000439: DUP3
0000043a: AND
0000043b: PUSH1 0x00
0000043d: SWAP1
0000043e: DUP2
0000043f: MSTORE
00000440: PUSH1 0x05
00000442: PUSH1 0x20
00000444: SWAP1
00000445: DUP2
00000446: MSTORE
00000447: PUSH1 0x40
00000449: DUP1
0000044a: DUP4
0000044b: KECCAK256
0000044c: SWAP4
0000044d: SWAP1
0000044e: SWAP5
0000044f: AND
00000450: DUP3
00000451: MSTORE
00000452: SWAP2
00000453: SWAP1
00000454: SWAP2
00000455: MSTORE
00000456: KECCAK256
00000457: SLOAD
00000458: PUSH1 0xff
0000045a: AND
0000045b: SWAP1
0000045c: JUMP
0000045d: JUMPDEST
0000045e: CALLVALUE
0000045f: DUP1
00000460: ISZERO
00000461: PUSH2 0x0469
00000464: JUMPI
00000465: PUSH1 0x00
00000467: DUP1
00000468: REVERT
00000469: JUMPDEST
0000046a: POP
0000046b: PUSH2 0x02c0
0000046e: PUSH2 0x0478
00000471: CALLDATASIZE
00000472: PUSH1 0x04
00000474: PUSH2 0x2caa
00000477: JUMP
00000478: JUMPDEST
00000479: PUSH1 0x08
0000047b: PUSH1 0x20
0000047d: MSTORE
0000047e: PUSH1 0x00
00000480: SWAP1
00000481: DUP2
00000482: MSTORE
00000483: PUSH1 0x40
00000485: SWAP1
00000486: KECCAK256
00000487: SLOAD
00000488: DUP2
00000489: JUMP
0000048a: JUMPDEST
0000048b: CALLVALUE
0000048c: DUP1
0000048d: ISZERO
0000048e: PUSH2 0x0496
00000491: JUMPI
00000492: PUSH1 0x00
00000494: DUP1
00000495: REVERT
00000496: JUMPDEST
00000497: POP
00000498: PUSH2 0x02c0
0000049b: PUSH2 0x04a5
0000049e: CALLDATASIZE
0000049f: PUSH1 0x04
000004a1: PUSH2 0x2d16
000004a4: JUMP
000004a5: JUMPDEST
000004a6: PUSH2 0x0e12
000004a9: JUMP
000004aa: JUMPDEST
000004ab: PUSH1 0x00
000004ad: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000004ce: DUP3
000004cf: AND
000004d0: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000
000004f1: EQ
000004f2: DUP1
000004f3: PUSH2 0x053d
000004f6: JUMPI
000004f7: POP
000004f8: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000519: DUP3
0000051a: AND
0000051b: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000
0000053c: EQ
0000053d: JUMPDEST
0000053e: DUP1
0000053f: PUSH2 0x0589
00000542: JUMPI
00000543: POP
00000544: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00000565: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000586: DUP4
00000587: AND
00000588: EQ
00000589: JUMPDEST
0000058a: SWAP3
0000058b: SWAP2
0000058c: POP
0000058d: POP
0000058e: JUMP
0000058f: JUMPDEST
00000590: PUSH1 0x60
00000592: PUSH1 0x00
00000594: DUP1
00000595: SLOAD
00000596: PUSH2 0x059e
00000599: SWAP1
0000059a: PUSH2 0x2f5d
0000059d: JUMP
0000059e: JUMPDEST
0000059f: DUP1
000005a0: PUSH1 0x1f
000005a2: ADD
000005a3: PUSH1 0x20
000005a5: DUP1
000005a6: SWAP2
000005a7: DIV
000005a8: MUL
000005a9: PUSH1 0x20
000005ab: ADD
000005ac: PUSH1 0x40
000005ae: MLOAD
000005af: SWAP1
000005b0: DUP2
000005b1: ADD
000005b2: PUSH1 0x40
000005b4: MSTORE
000005b5: DUP1
000005b6: SWAP3
000005b7: SWAP2
000005b8: SWAP1
000005b9: DUP2
000005ba: DUP2
000005bb: MSTORE
000005bc: PUSH1 0x20
000005be: ADD
000005bf: DUP3
000005c0: DUP1
000005c1: SLOAD
000005c2: PUSH2 0x05ca
000005c5: SWAP1
000005c6: PUSH2 0x2f5d
000005c9: JUMP
000005ca: JUMPDEST
000005cb: DUP1
000005cc: ISZERO
000005cd: PUSH2 0x0617
000005d0: JUMPI
000005d1: DUP1
000005d2: PUSH1 0x1f
000005d4: LT
000005d5: PUSH2 0x05ec
000005d8: JUMPI
000005d9: PUSH2 0x0100
000005dc: DUP1
000005dd: DUP4
000005de: SLOAD
000005df: DIV
000005e0: MUL
000005e1: DUP4
000005e2: MSTORE
000005e3: SWAP2
000005e4: PUSH1 0x20
000005e6: ADD
000005e7: SWAP2
000005e8: PUSH2 0x0617
000005eb: JUMP
000005ec: JUMPDEST
000005ed: DUP3
000005ee: ADD
000005ef: SWAP2
000005f0: SWAP1
000005f1: PUSH1 0x00
000005f3: MSTORE
000005f4: PUSH1 0x20
000005f6: PUSH1 0x00
000005f8: KECCAK256
000005f9: SWAP1
000005fa: JUMPDEST
000005fb: DUP2
000005fc: SLOAD
000005fd: DUP2
000005fe: MSTORE
000005ff: SWAP1
00000600: PUSH1 0x01
00000602: ADD
00000603: SWAP1
00000604: PUSH1 0x20
00000606: ADD
00000607: DUP1
00000608: DUP4
00000609: GT
0000060a: PUSH2 0x05fa
0000060d: JUMPI
0000060e: DUP3
0000060f: SWAP1
00000610: SUB
00000611: PUSH1 0x1f
00000613: AND
00000614: DUP3
00000615: ADD
00000616: SWAP2
00000617: JUMPDEST
00000618: POP
00000619: POP
0000061a: POP
0000061b: POP
0000061c: POP
0000061d: SWAP1
0000061e: POP
0000061f: SWAP1
00000620: JUMP
00000621: JUMPDEST
00000622: PUSH1 0x00
00000624: PUSH2 0x062c
00000627: DUP3
00000628: PUSH2 0x0e97
0000062b: JUMP
0000062c: JUMPDEST
0000062d: POP
0000062e: PUSH1 0x00
00000630: SWAP1
00000631: DUP2
00000632: MSTORE
00000633: PUSH1 0x04
00000635: PUSH1 0x20
00000637: MSTORE
00000638: PUSH1 0x40
0000063a: SWAP1
0000063b: KECCAK256
0000063c: SLOAD
0000063d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000652: AND
00000653: SWAP1
00000654: JUMP
00000655: JUMPDEST
00000656: PUSH1 0x00
00000658: PUSH2 0x0660
0000065b: DUP3
0000065c: PUSH2 0x0a9c
0000065f: JUMP
00000660: JUMPDEST
00000661: SWAP1
00000662: POP
00000663: DUP1
00000664: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000679: AND
0000067a: DUP4
0000067b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000690: AND
00000691: SUB
00000692: PUSH2 0x0722
00000695: JUMPI
00000696: PUSH1 0x40
00000698: MLOAD
00000699: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000006ba: DUP2
000006bb: MSTORE
000006bc: PUSH1 0x20
000006be: PUSH1 0x04
000006c0: DUP3
000006c1: ADD
000006c2: MSTORE
000006c3: PUSH1 0x21
000006c5: PUSH1 0x24
000006c7: DUP3
000006c8: ADD
000006c9: MSTORE
000006ca: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65
000006eb: PUSH1 0x44
000006ed: DUP3
000006ee: ADD
000006ef: MSTORE
000006f0: PUSH32 0x7200000000000000000000000000000000000000000000000000000000000000
00000711: PUSH1 0x64
00000713: DUP3
00000714: ADD
00000715: MSTORE
00000716: PUSH1 0x84
00000718: ADD
00000719: JUMPDEST
0000071a: PUSH1 0x40
0000071c: MLOAD
0000071d: DUP1
0000071e: SWAP2
0000071f: SUB
00000720: SWAP1
00000721: REVERT
00000722: JUMPDEST
00000723: CALLER
00000724: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000739: DUP3
0000073a: AND
0000073b: EQ
0000073c: DUP1
0000073d: PUSH2 0x0776
00000740: JUMPI
00000741: POP
00000742: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000757: DUP2
00000758: AND
00000759: PUSH1 0x00
0000075b: SWAP1
0000075c: DUP2
0000075d: MSTORE
0000075e: PUSH1 0x05
00000760: PUSH1 0x20
00000762: SWAP1
00000763: DUP2
00000764: MSTORE
00000765: PUSH1 0x40
00000767: DUP1
00000768: DUP4
00000769: KECCAK256
0000076a: CALLER
0000076b: DUP5
0000076c: MSTORE
0000076d: SWAP1
0000076e: SWAP2
0000076f: MSTORE
00000770: SWAP1
00000771: KECCAK256
00000772: SLOAD
00000773: PUSH1 0xff
00000775: AND
00000776: JUMPDEST
00000777: PUSH2 0x0802
0000077a: JUMPI
0000077b: PUSH1 0x40
0000077d: MLOAD
0000077e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000079f: DUP2
000007a0: MSTORE
000007a1: PUSH1 0x20
000007a3: PUSH1 0x04
000007a5: DUP3
000007a6: ADD
000007a7: MSTORE
000007a8: PUSH1 0x3d
000007aa: PUSH1 0x24
000007ac: DUP3
000007ad: ADD
000007ae: MSTORE
000007af: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f7420746f
000007d0: PUSH1 0x44
000007d2: DUP3
000007d3: ADD
000007d4: MSTORE
000007d5: PUSH32 0x6b656e206f776e6572206f7220617070726f76656420666f7220616c6c000000
000007f6: PUSH1 0x64
000007f8: DUP3
000007f9: ADD
000007fa: MSTORE
000007fb: PUSH1 0x84
000007fd: ADD
000007fe: PUSH2 0x0719
00000801: JUMP
00000802: JUMPDEST
00000803: PUSH2 0x080c
00000806: DUP4
00000807: DUP4
00000808: PUSH2 0x0f25
0000080b: JUMP
0000080c: JUMPDEST
0000080d: POP
0000080e: POP
0000080f: POP
00000810: JUMP
00000811: JUMPDEST
00000812: PUSH2 0x0819
00000815: PUSH2 0x0fc5
00000818: JUMP
00000819: JUMPDEST
0000081a: PUSH1 0x05
0000081c: PUSH2 0x0826
0000081f: PUSH1 0x01
00000821: NUMBER
00000822: PUSH2 0x2fdf
00000825: JUMP
00000826: JUMPDEST
00000827: PUSH2 0x0830
0000082a: SWAP2
0000082b: SWAP1
0000082c: PUSH2 0x3021
0000082f: JUMP
00000830: JUMPDEST
00000831: PUSH2 0x083b
00000834: PUSH1 0x01
00000836: NUMBER
00000837: PUSH2 0x2fdf
0000083a: JUMP
0000083b: JUMPDEST
0000083c: PUSH2 0x0845
0000083f: SWAP2
00000840: SWAP1
00000841: PUSH2 0x2fdf
00000844: JUMP
00000845: JUMPDEST
00000846: BLOCKHASH
00000847: DUP2
00000848: EQ
00000849: PUSH2 0x087e
0000084c: JUMPI
0000084d: PUSH1 0x40
0000084f: MLOAD
00000850: PUSH32 0x3e068cb600000000000000000000000000000000000000000000000000000000
00000871: DUP2
00000872: MSTORE
00000873: PUSH1 0x04
00000875: ADD
00000876: PUSH1 0x40
00000878: MLOAD
00000879: DUP1
0000087a: SWAP2
0000087b: SUB
0000087c: SWAP1
0000087d: REVERT
0000087e: JUMPDEST
0000087f: PUSH1 0x07
00000881: SLOAD
00000882: DUP3
00000883: DUP2
00000884: EQ
00000885: PUSH2 0x08ba
00000888: JUMPI
00000889: PUSH1 0x40
0000088b: MLOAD
0000088c: PUSH32 0x3f6cc76800000000000000000000000000000000000000000000000000000000
000008ad: DUP2
000008ae: MSTORE
000008af: PUSH1 0x04
000008b1: ADD
000008b2: PUSH1 0x40
000008b4: MLOAD
000008b5: DUP1
000008b6: SWAP2
000008b7: SUB
000008b8: SWAP1
000008b9: REVERT
000008ba: JUMPDEST
000008bb: PUSH1 0x00
000008bd: PUSH2 0x0907
000008c0: PUSH2 0x0901
000008c3: PUSH2 0x08ec
000008c6: PUSH32 0x00000000000000000000000000000000000000000000000000000000649226cf
000008e7: TIMESTAMP
000008e8: PUSH2 0x2fdf
000008eb: JUMP
000008ec: JUMPDEST
000008ed: PUSH3 0x015180
000008f1: PUSH8 0x0de0b6b3a7640000
000008fa: SWAP2
000008fb: SWAP1
000008fc: SWAP2
000008fd: MUL
000008fe: DIV
000008ff: SWAP1
00000900: JUMP
00000901: JUMPDEST
00000902: DUP4
00000903: PUSH2 0x0e12
00000906: JUMP
00000907: JUMPDEST
00000908: SWAP1
00000909: POP
0000090a: DUP1
0000090b: CALLVALUE
0000090c: LT
0000090d: ISZERO
0000090e: PUSH2 0x0943
00000911: JUMPI
00000912: PUSH1 0x40
00000914: MLOAD
00000915: PUSH32 0x356680b700000000000000000000000000000000000000000000000000000000
00000936: DUP2
00000937: MSTORE
00000938: PUSH1 0x04
0000093a: ADD
0000093b: PUSH1 0x40
0000093d: MLOAD
0000093e: DUP1
0000093f: SWAP2
00000940: SUB
00000941: SWAP1
00000942: REVERT
00000943: JUMPDEST
00000944: PUSH2 0x094d
00000947: CALLER
00000948: DUP6
00000949: PUSH2 0x1038
0000094c: JUMP
0000094d: JUMPDEST
0000094e: PUSH1 0x40
00000950: MLOAD
00000951: DUP2
00000952: DUP2
00000953: MSTORE
00000954: CALLER
00000955: SWAP1
00000956: DUP6
00000957: SWAP1
00000958: PUSH32 0x2d03118aa776f7008445f6ca8490a6782ede2db364d741513555ba656ab1879f
00000979: SWAP1
0000097a: PUSH1 0x20
0000097c: ADD
0000097d: PUSH1 0x40
0000097f: MLOAD
00000980: DUP1
00000981: SWAP2
00000982: SUB
00000983: SWAP1
00000984: LOG3
00000985: PUSH1 0x01
00000987: PUSH1 0x07
00000989: PUSH1 0x00
0000098b: DUP3
0000098c: DUP3
0000098d: SLOAD
0000098e: PUSH2 0x0997
00000991: SWAP2
00000992: SWAP1
00000993: PUSH2 0x3035
00000996: JUMP
00000997: JUMPDEST
00000998: SWAP1
00000999: SWAP2
0000099a: SSTORE
0000099b: POP
0000099c: PUSH2 0x09a6
0000099f: SWAP1
000009a0: POP
000009a1: DUP5
000009a2: PUSH2 0x125d
000009a5: JUMP
000009a6: JUMPDEST
000009a7: PUSH1 0x00
000009a9: DUP6
000009aa: DUP2
000009ab: MSTORE
000009ac: PUSH1 0x08
000009ae: PUSH1 0x20
000009b0: MSTORE
000009b1: PUSH1 0x40
000009b3: SWAP1
000009b4: KECCAK256
000009b5: SSTORE
000009b6: CALLVALUE
000009b7: DUP2
000009b8: LT
000009b9: ISZERO
000009ba: PUSH2 0x09d0
000009bd: JUMPI
000009be: PUSH2 0x09d0
000009c1: CALLER
000009c2: PUSH2 0x09cb
000009c5: DUP4
000009c6: CALLVALUE
000009c7: PUSH2 0x2fdf
000009ca: JUMP
000009cb: JUMPDEST
000009cc: PUSH2 0x12da
000009cf: JUMP
000009d0: JUMPDEST
000009d1: POP
000009d2: POP
000009d3: PUSH2 0x09dc
000009d6: PUSH1 0x01
000009d8: PUSH1 0x06
000009da: SSTORE
000009db: JUMP
000009dc: JUMPDEST
000009dd: POP
000009de: POP
000009df: JUMP
000009e0: JUMPDEST
000009e1: PUSH2 0x09ea
000009e4: CALLER
000009e5: DUP3
000009e6: PUSH2 0x134f
000009e9: JUMP
000009ea: JUMPDEST
000009eb: PUSH2 0x0a76
000009ee: JUMPI
000009ef: PUSH1 0x40
000009f1: MLOAD
000009f2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a13: DUP2
00000a14: MSTORE
00000a15: PUSH1 0x20
00000a17: PUSH1 0x04
00000a19: DUP3
00000a1a: ADD
00000a1b: MSTORE
00000a1c: PUSH1 0x2d
00000a1e: PUSH1 0x24
00000a20: DUP3
00000a21: ADD
00000a22: MSTORE
00000a23: PUSH32 0x4552433732313a2063616c6c6572206973206e6f7420746f6b656e206f776e65
00000a44: PUSH1 0x44
00000a46: DUP3
00000a47: ADD
00000a48: MSTORE
00000a49: PUSH32 0x72206f7220617070726f76656400000000000000000000000000000000000000
00000a6a: PUSH1 0x64
00000a6c: DUP3
00000a6d: ADD
00000a6e: MSTORE
00000a6f: PUSH1 0x84
00000a71: ADD
00000a72: PUSH2 0x0719
00000a75: JUMP
00000a76: JUMPDEST
00000a77: PUSH2 0x080c
00000a7a: DUP4
00000a7b: DUP4
00000a7c: DUP4
00000a7d: PUSH2 0x140f
00000a80: JUMP
00000a81: JUMPDEST
00000a82: PUSH2 0x080c
00000a85: DUP4
00000a86: DUP4
00000a87: DUP4
00000a88: PUSH1 0x40
00000a8a: MLOAD
00000a8b: DUP1
00000a8c: PUSH1 0x20
00000a8e: ADD
00000a8f: PUSH1 0x40
00000a91: MSTORE
00000a92: DUP1
00000a93: PUSH1 0x00
00000a95: DUP2
00000a96: MSTORE
00000a97: POP
00000a98: PUSH2 0x0cf3
00000a9b: JUMP
00000a9c: JUMPDEST
00000a9d: PUSH1 0x00
00000a9f: DUP2
00000aa0: DUP2
00000aa1: MSTORE
00000aa2: PUSH1 0x02
00000aa4: PUSH1 0x20
00000aa6: MSTORE
00000aa7: PUSH1 0x40
00000aa9: DUP2
00000aaa: KECCAK256
00000aab: SLOAD
00000aac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac1: AND
00000ac2: DUP1
00000ac3: PUSH2 0x0589
00000ac6: JUMPI
00000ac7: PUSH1 0x40
00000ac9: MLOAD
00000aca: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000aeb: DUP2
00000aec: MSTORE
00000aed: PUSH1 0x20
00000aef: PUSH1 0x04
00000af1: DUP3
00000af2: ADD
00000af3: MSTORE
00000af4: PUSH1 0x18
00000af6: PUSH1 0x24
00000af8: DUP3
00000af9: ADD
00000afa: MSTORE
00000afb: PUSH32 0x4552433732313a20696e76616c696420746f6b656e2049440000000000000000
00000b1c: PUSH1 0x44
00000b1e: DUP3
00000b1f: ADD
00000b20: MSTORE
00000b21: PUSH1 0x64
00000b23: ADD
00000b24: PUSH2 0x0719
00000b27: JUMP
00000b28: JUMPDEST
00000b29: PUSH1 0x00
00000b2b: PUSH32 0x00000000000000000000000000000000000000000000000003782dace9d90000
00000b4c: PUSH8 0x0de0b6b3a7640000
00000b55: DUP4
00000b56: MUL
00000b57: SDIV
00000b58: PUSH2 0x0589
00000b5b: JUMP
00000b5c: JUMPDEST
00000b5d: PUSH1 0x00
00000b5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b74: DUP3
00000b75: AND
00000b76: PUSH2 0x0c01
00000b79: JUMPI
00000b7a: PUSH1 0x40
00000b7c: MLOAD
00000b7d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b9e: DUP2
00000b9f: MSTORE
00000ba0: PUSH1 0x20
00000ba2: PUSH1 0x04
00000ba4: DUP3
00000ba5: ADD
00000ba6: MSTORE
00000ba7: PUSH1 0x29
00000ba9: PUSH1 0x24
00000bab: DUP3
00000bac: ADD
00000bad: MSTORE
00000bae: PUSH32 0x4552433732313a2061646472657373207a65726f206973206e6f742061207661
00000bcf: PUSH1 0x44
00000bd1: DUP3
00000bd2: ADD
00000bd3: MSTORE
00000bd4: PUSH32 0x6c6964206f776e65720000000000000000000000000000000000000000000000
00000bf5: PUSH1 0x64
00000bf7: DUP3
00000bf8: ADD
00000bf9: MSTORE
00000bfa: PUSH1 0x84
00000bfc: ADD
00000bfd: PUSH2 0x0719
00000c00: JUMP
00000c01: JUMPDEST
00000c02: POP
00000c03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c18: AND
00000c19: PUSH1 0x00
00000c1b: SWAP1
00000c1c: DUP2
00000c1d: MSTORE
00000c1e: PUSH1 0x03
00000c20: PUSH1 0x20
00000c22: MSTORE
00000c23: PUSH1 0x40
00000c25: SWAP1
00000c26: KECCAK256
00000c27: SLOAD
00000c28: SWAP1
00000c29: JUMP
00000c2a: JUMPDEST
00000c2b: PUSH1 0x07
00000c2d: SLOAD
00000c2e: PUSH1 0x60
00000c30: PUSH1 0x00
00000c32: DUP1
00000c33: DUP1
00000c34: PUSH2 0x0c45
00000c37: PUSH2 0x0c3f
00000c3a: DUP7
00000c3b: PUSH2 0x125d
00000c3e: JUMP
00000c3f: JUMPDEST
00000c40: DUP7
00000c41: PUSH2 0x170a
00000c44: JUMP
00000c45: JUMPDEST
00000c46: SWAP4
00000c47: POP
00000c48: PUSH2 0x0c7d
00000c4b: PUSH2 0x0c77
00000c4e: PUSH2 0x08ec
00000c51: PUSH32 0x00000000000000000000000000000000000000000000000000000000649226cf
00000c72: TIMESTAMP
00000c73: PUSH2 0x2fdf
00000c76: JUMP
00000c77: JUMPDEST
00000c78: DUP7
00000c79: PUSH2 0x0e12
00000c7c: JUMP
00000c7d: JUMPDEST
00000c7e: SWAP3
00000c7f: POP
00000c80: PUSH1 0x05
00000c82: PUSH2 0x0c8c
00000c85: PUSH1 0x01
00000c87: NUMBER
00000c88: PUSH2 0x2fdf
00000c8b: JUMP
00000c8c: JUMPDEST
00000c8d: PUSH2 0x0c96
00000c90: SWAP2
00000c91: SWAP1
00000c92: PUSH2 0x3021
00000c95: JUMP
00000c96: JUMPDEST
00000c97: PUSH2 0x0ca1
00000c9a: PUSH1 0x01
00000c9c: NUMBER
00000c9d: PUSH2 0x2fdf
00000ca0: JUMP
00000ca1: JUMPDEST
00000ca2: PUSH2 0x0cab
00000ca5: SWAP2
00000ca6: SWAP1
00000ca7: PUSH2 0x2fdf
00000caa: JUMP
00000cab: JUMPDEST
00000cac: BLOCKHASH
00000cad: SWAP2
00000cae: POP
00000caf: PUSH1 0x05
00000cb1: PUSH2 0x0cbb
00000cb4: PUSH1 0x01
00000cb6: NUMBER
00000cb7: PUSH2 0x2fdf
00000cba: JUMP
00000cbb: JUMPDEST
00000cbc: PUSH2 0x0cc5
00000cbf: SWAP2
00000cc0: SWAP1
00000cc1: PUSH2 0x3021
00000cc4: JUMP
00000cc5: JUMPDEST
00000cc6: PUSH2 0x0cd0
00000cc9: SWAP1
00000cca: PUSH1 0x05
00000ccc: PUSH2 0x2fdf
00000ccf: JUMP
00000cd0: JUMPDEST
00000cd1: SWAP1
00000cd2: POP
00000cd3: SWAP1
00000cd4: SWAP2
00000cd5: SWAP3
00000cd6: SWAP4
00000cd7: SWAP5
00000cd8: JUMP
00000cd9: JUMPDEST
00000cda: PUSH1 0x60
00000cdc: PUSH1 0x01
00000cde: DUP1
00000cdf: SLOAD
00000ce0: PUSH2 0x059e
00000ce3: SWAP1
00000ce4: PUSH2 0x2f5d
00000ce7: JUMP
00000ce8: JUMPDEST
00000ce9: PUSH2 0x09dc
00000cec: CALLER
00000ced: DUP4
00000cee: DUP4
00000cef: PUSH2 0x1781
00000cf2: JUMP
00000cf3: JUMPDEST
00000cf4: PUSH2 0x0cfd
00000cf7: CALLER
00000cf8: DUP4
00000cf9: PUSH2 0x134f
00000cfc: JUMP
00000cfd: JUMPDEST
00000cfe: PUSH2 0x0d89
00000d01: JUMPI
00000d02: PUSH1 0x40
00000d04: MLOAD
00000d05: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d26: DUP2
00000d27: MSTORE
00000d28: PUSH1 0x20
00000d2a: PUSH1 0x04
00000d2c: DUP3
00000d2d: ADD
00000d2e: MSTORE
00000d2f: PUSH1 0x2d
00000d31: PUSH1 0x24
00000d33: DUP3
00000d34: ADD
00000d35: MSTORE
00000d36: PUSH32 0x4552433732313a2063616c6c6572206973206e6f7420746f6b656e206f776e65
00000d57: PUSH1 0x44
00000d59: DUP3
00000d5a: ADD
00000d5b: MSTORE
00000d5c: PUSH32 0x72206f7220617070726f76656400000000000000000000000000000000000000
00000d7d: PUSH1 0x64
00000d7f: DUP3
00000d80: ADD
00000d81: MSTORE
00000d82: PUSH1 0x84
00000d84: ADD
00000d85: PUSH2 0x0719
00000d88: JUMP
00000d89: JUMPDEST
00000d8a: PUSH2 0x0d95
00000d8d: DUP5
00000d8e: DUP5
00000d8f: DUP5
00000d90: DUP5
00000d91: PUSH2 0x18ae
00000d94: JUMP
00000d95: JUMPDEST
00000d96: POP
00000d97: POP
00000d98: POP
00000d99: POP
00000d9a: JUMP
00000d9b: JUMPDEST
00000d9c: PUSH1 0x00
00000d9e: DUP2
00000d9f: DUP2
00000da0: MSTORE
00000da1: PUSH1 0x02
00000da3: PUSH1 0x20
00000da5: MSTORE
00000da6: PUSH1 0x40
00000da8: SWAP1
00000da9: KECCAK256
00000daa: SLOAD
00000dab: PUSH1 0x60
00000dad: SWAP1
00000dae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dc3: AND
00000dc4: PUSH2 0x0df9
00000dc7: JUMPI
00000dc8: PUSH1 0x40
00000dca: MLOAD
00000dcb: PUSH32 0xceea21b600000000000000000000000000000000000000000000000000000000
00000dec: DUP2
00000ded: MSTORE
00000dee: PUSH1 0x04
00000df0: ADD
00000df1: PUSH1 0x40
00000df3: MLOAD
00000df4: DUP1
00000df5: SWAP2
00000df6: SUB
00000df7: SWAP1
00000df8: REVERT
00000df9: JUMPDEST
00000dfa: PUSH1 0x00
00000dfc: DUP3
00000dfd: DUP2
00000dfe: MSTORE
00000dff: PUSH1 0x08
00000e01: PUSH1 0x20
00000e03: MSTORE
00000e04: PUSH1 0x40
00000e06: SWAP1
00000e07: KECCAK256
00000e08: SLOAD
00000e09: PUSH2 0x0589
00000e0c: SWAP1
00000e0d: DUP4
00000e0e: PUSH2 0x170a
00000e11: JUMP
00000e12: JUMPDEST
00000e13: PUSH1 0x00
00000e15: PUSH2 0x0e90
00000e18: PUSH32 0x000000000000000000000000000000000000000000000000000009184e72a000
00000e39: PUSH2 0x0e8b
00000e3c: PUSH2 0x0e86
00000e3f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffff49c50540aba6ba
00000e60: PUSH2 0x0e75
00000e63: PUSH8 0x0de0b6b3a7640000
00000e6c: PUSH1 0x01
00000e6e: DUP10
00000e6f: ADD
00000e70: MUL
00000e71: PUSH2 0x0b28
00000e74: JUMP
00000e75: JUMPDEST
00000e76: DUP9
00000e77: SUB
00000e78: PUSH8 0x0de0b6b3a7640000
00000e81: SWAP2
00000e82: MUL
00000e83: SDIV
00000e84: SWAP1
00000e85: JUMP
00000e86: JUMPDEST
00000e87: PUSH2 0x1951
00000e8a: JUMP
00000e8b: JUMPDEST
00000e8c: PUSH2 0x1b90
00000e8f: JUMP
00000e90: JUMPDEST
00000e91: SWAP4
00000e92: SWAP3
00000e93: POP
00000e94: POP
00000e95: POP
00000e96: JUMP
00000e97: JUMPDEST
00000e98: PUSH1 0x00
00000e9a: DUP2
00000e9b: DUP2
00000e9c: MSTORE
00000e9d: PUSH1 0x02
00000e9f: PUSH1 0x20
00000ea1: MSTORE
00000ea2: PUSH1 0x40
00000ea4: SWAP1
00000ea5: KECCAK256
00000ea6: SLOAD
00000ea7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ebc: AND
00000ebd: PUSH2 0x0f22
00000ec0: JUMPI
00000ec1: PUSH1 0x40
00000ec3: MLOAD
00000ec4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ee5: DUP2
00000ee6: MSTORE
00000ee7: PUSH1 0x20
00000ee9: PUSH1 0x04
00000eeb: DUP3
00000eec: ADD
00000eed: MSTORE
00000eee: PUSH1 0x18
00000ef0: PUSH1 0x24
00000ef2: DUP3
00000ef3: ADD
00000ef4: MSTORE
00000ef5: PUSH32 0x4552433732313a20696e76616c696420746f6b656e2049440000000000000000
00000f16: PUSH1 0x44
00000f18: DUP3
00000f19: ADD
00000f1a: MSTORE
00000f1b: PUSH1 0x64
00000f1d: ADD
00000f1e: PUSH2 0x0719
00000f21: JUMP
00000f22: JUMPDEST
00000f23: POP
00000f24: JUMP
00000f25: JUMPDEST
00000f26: PUSH1 0x00
00000f28: DUP2
00000f29: DUP2
00000f2a: MSTORE
00000f2b: PUSH1 0x04
00000f2d: PUSH1 0x20
00000f2f: MSTORE
00000f30: PUSH1 0x40
00000f32: SWAP1
00000f33: KECCAK256
00000f34: DUP1
00000f35: SLOAD
00000f36: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000f57: AND
00000f58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f6d: DUP5
00000f6e: AND
00000f6f: SWAP1
00000f70: DUP2
00000f71: OR
00000f72: SWAP1
00000f73: SWAP2
00000f74: SSTORE
00000f75: DUP2
00000f76: SWAP1
00000f77: PUSH2 0x0f7f
00000f7a: DUP3
00000f7b: PUSH2 0x0a9c
00000f7e: JUMP
00000f7f: JUMPDEST
00000f80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f95: AND
00000f96: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000fb7: PUSH1 0x40
00000fb9: MLOAD
00000fba: PUSH1 0x40
00000fbc: MLOAD
00000fbd: DUP1
00000fbe: SWAP2
00000fbf: SUB
00000fc0: SWAP1
00000fc1: LOG4
00000fc2: POP
00000fc3: POP
00000fc4: JUMP
00000fc5: JUMPDEST
00000fc6: PUSH1 0x02
00000fc8: PUSH1 0x06
00000fca: SLOAD
00000fcb: SUB
00000fcc: PUSH2 0x1031
00000fcf: JUMPI
00000fd0: PUSH1 0x40
00000fd2: MLOAD
00000fd3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ff4: DUP2
00000ff5: MSTORE
00000ff6: PUSH1 0x20
00000ff8: PUSH1 0x04
00000ffa: DUP3
00000ffb: ADD
00000ffc: MSTORE
00000ffd: PUSH1 0x1f
00000fff: PUSH1 0x24
00001001: DUP3
00001002: ADD
00001003: MSTORE
00001004: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00001025: PUSH1 0x44
00001027: DUP3
00001028: ADD
00001029: MSTORE
0000102a: PUSH1 0x64
0000102c: ADD
0000102d: PUSH2 0x0719
00001030: JUMP
00001031: JUMPDEST
00001032: PUSH1 0x02
00001034: PUSH1 0x06
00001036: SSTORE
00001037: JUMP
00001038: JUMPDEST
00001039: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000104e: DUP3
0000104f: AND
00001050: PUSH2 0x10b5
00001053: JUMPI
00001054: PUSH1 0x40
00001056: MLOAD
00001057: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001078: DUP2
00001079: MSTORE
0000107a: PUSH1 0x20
0000107c: PUSH1 0x04
0000107e: DUP3
0000107f: ADD
00001080: DUP2
00001081: SWAP1
00001082: MSTORE
00001083: PUSH1 0x24
00001085: DUP3
00001086: ADD
00001087: MSTORE
00001088: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373
000010a9: PUSH1 0x44
000010ab: DUP3
000010ac: ADD
000010ad: MSTORE
000010ae: PUSH1 0x64
000010b0: ADD
000010b1: PUSH2 0x0719
000010b4: JUMP
000010b5: JUMPDEST
000010b6: PUSH1 0x00
000010b8: DUP2
000010b9: DUP2
000010ba: MSTORE
000010bb: PUSH1 0x02
000010bd: PUSH1 0x20
000010bf: MSTORE
000010c0: PUSH1 0x40
000010c2: SWAP1
000010c3: KECCAK256
000010c4: SLOAD
000010c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010da: AND
000010db: ISZERO
000010dc: PUSH2 0x1141
000010df: JUMPI
000010e0: PUSH1 0x40
000010e2: MLOAD
000010e3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001104: DUP2
00001105: MSTORE
00001106: PUSH1 0x20
00001108: PUSH1 0x04
0000110a: DUP3
0000110b: ADD
0000110c: MSTORE
0000110d: PUSH1 0x1c
0000110f: PUSH1 0x24
00001111: DUP3
00001112: ADD
00001113: MSTORE
00001114: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000
00001135: PUSH1 0x44
00001137: DUP3
00001138: ADD
00001139: MSTORE
0000113a: PUSH1 0x64
0000113c: ADD
0000113d: PUSH2 0x0719
00001140: JUMP
00001141: JUMPDEST
00001142: PUSH1 0x00
00001144: DUP2
00001145: DUP2
00001146: MSTORE
00001147: PUSH1 0x02
00001149: PUSH1 0x20
0000114b: MSTORE
0000114c: PUSH1 0x40
0000114e: SWAP1
0000114f: KECCAK256
00001150: SLOAD
00001151: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001166: AND
00001167: ISZERO
00001168: PUSH2 0x11cd
0000116b: JUMPI
0000116c: PUSH1 0x40
0000116e: MLOAD
0000116f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001190: DUP2
00001191: MSTORE
00001192: PUSH1 0x20
00001194: PUSH1 0x04
00001196: DUP3
00001197: ADD
00001198: MSTORE
00001199: PUSH1 0x1c
0000119b: PUSH1 0x24
0000119d: DUP3
0000119e: ADD
0000119f: MSTORE
000011a0: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000
000011c1: PUSH1 0x44
000011c3: DUP3
000011c4: ADD
000011c5: MSTORE
000011c6: PUSH1 0x64
000011c8: ADD
000011c9: PUSH2 0x0719
000011cc: JUMP
000011cd: JUMPDEST
000011ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011e3: DUP3
000011e4: AND
000011e5: PUSH1 0x00
000011e7: DUP2
000011e8: DUP2
000011e9: MSTORE
000011ea: PUSH1 0x03
000011ec: PUSH1 0x20
000011ee: SWAP1
000011ef: DUP2
000011f0: MSTORE
000011f1: PUSH1 0x40
000011f3: DUP1
000011f4: DUP4
000011f5: KECCAK256
000011f6: DUP1
000011f7: SLOAD
000011f8: PUSH1 0x01
000011fa: ADD
000011fb: SWAP1
000011fc: SSTORE
000011fd: DUP5
000011fe: DUP4
000011ff: MSTORE
00001200: PUSH1 0x02
00001202: SWAP1
00001203: SWAP2
00001204: MSTORE
00001205: DUP1
00001206: DUP3
00001207: KECCAK256
00001208: DUP1
00001209: SLOAD
0000120a: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000122b: AND
0000122c: DUP5
0000122d: OR
0000122e: SWAP1
0000122f: SSTORE
00001230: MLOAD
00001231: DUP4
00001232: SWAP3
00001233: SWAP2
00001234: SWAP1
00001235: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001256: SWAP1
00001257: DUP3
00001258: SWAP1
00001259: LOG4
0000125a: POP
0000125b: POP
0000125c: JUMP
0000125d: JUMPDEST
0000125e: PUSH1 0x00
00001260: PUSH1 0x05
00001262: PUSH2 0x126c
00001265: PUSH1 0x01
00001267: NUMBER
00001268: PUSH2 0x2fdf
0000126b: JUMP
0000126c: JUMPDEST
0000126d: PUSH2 0x1276
00001270: SWAP2
00001271: SWAP1
00001272: PUSH2 0x3021
00001275: JUMP
00001276: JUMPDEST
00001277: PUSH2 0x1281
0000127a: PUSH1 0x01
0000127c: NUMBER
0000127d: PUSH2 0x2fdf
00001280: JUMP
00001281: JUMPDEST
00001282: PUSH2 0x128b
00001285: SWAP2
00001286: SWAP1
00001287: PUSH2 0x2fdf
0000128a: JUMP
0000128b: JUMPDEST
0000128c: PUSH1 0x40
0000128e: DUP1
0000128f: MLOAD
00001290: SWAP2
00001291: BLOCKHASH
00001292: PUSH1 0x20
00001294: DUP4
00001295: ADD
00001296: MSTORE
00001297: DUP2
00001298: ADD
00001299: DUP4
0000129a: SWAP1
0000129b: MSTORE
0000129c: PUSH1 0x60
0000129e: ADD
0000129f: PUSH1 0x40
000012a1: DUP1
000012a2: MLOAD
000012a3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000012c4: DUP2
000012c5: DUP5
000012c6: SUB
000012c7: ADD
000012c8: DUP2
000012c9: MSTORE
000012ca: SWAP2
000012cb: SWAP1
000012cc: MSTORE
000012cd: DUP1
000012ce: MLOAD
000012cf: PUSH1 0x20
000012d1: SWAP1
000012d2: SWAP2
000012d3: ADD
000012d4: KECCAK256
000012d5: SWAP3
000012d6: SWAP2
000012d7: POP
000012d8: POP
000012d9: JUMP
000012da: JUMPDEST
000012db: PUSH1 0x00
000012dd: DUP1
000012de: PUSH1 0x00
000012e0: DUP1
000012e1: PUSH1 0x00
000012e3: DUP6
000012e4: DUP8
000012e5: GAS
000012e6: CALL
000012e7: SWAP1
000012e8: POP
000012e9: DUP1
000012ea: PUSH2 0x080c
000012ed: JUMPI
000012ee: PUSH1 0x40
000012f0: MLOAD
000012f1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001312: DUP2
00001313: MSTORE
00001314: PUSH1 0x20
00001316: PUSH1 0x04
00001318: DUP3
00001319: ADD
0000131a: MSTORE
0000131b: PUSH1 0x13
0000131d: PUSH1 0x24
0000131f: DUP3
00001320: ADD
00001321: MSTORE
00001322: PUSH32 0x4554485f5452414e534645525f4641494c454400000000000000000000000000
00001343: PUSH1 0x44
00001345: DUP3
00001346: ADD
00001347: MSTORE
00001348: PUSH1 0x64
0000134a: ADD
0000134b: PUSH2 0x0719
0000134e: JUMP
0000134f: JUMPDEST
00001350: PUSH1 0x00
00001352: DUP1
00001353: PUSH2 0x135b
00001356: DUP4
00001357: PUSH2 0x0a9c
0000135a: JUMP
0000135b: JUMPDEST
0000135c: SWAP1
0000135d: POP
0000135e: DUP1
0000135f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001374: AND
00001375: DUP5
00001376: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000138b: AND
0000138c: EQ
0000138d: DUP1
0000138e: PUSH2 0x13c9
00001391: JUMPI
00001392: POP
00001393: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013a8: DUP1
000013a9: DUP3
000013aa: AND
000013ab: PUSH1 0x00
000013ad: SWAP1
000013ae: DUP2
000013af: MSTORE
000013b0: PUSH1 0x05
000013b2: PUSH1 0x20
000013b4: SWAP1
000013b5: DUP2
000013b6: MSTORE
000013b7: PUSH1 0x40
000013b9: DUP1
000013ba: DUP4
000013bb: KECCAK256
000013bc: SWAP4
000013bd: DUP9
000013be: AND
000013bf: DUP4
000013c0: MSTORE
000013c1: SWAP3
000013c2: SWAP1
000013c3: MSTORE
000013c4: KECCAK256
000013c5: SLOAD
000013c6: PUSH1 0xff
000013c8: AND
000013c9: JUMPDEST
000013ca: DUP1
000013cb: PUSH2 0x1407
000013ce: JUMPI
000013cf: POP
000013d0: DUP4
000013d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013e6: AND
000013e7: PUSH2 0x13ef
000013ea: DUP5
000013eb: PUSH2 0x0621
000013ee: JUMP
000013ef: JUMPDEST
000013f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001405: AND
00001406: EQ
00001407: JUMPDEST
00001408: SWAP5
00001409: SWAP4
0000140a: POP
0000140b: POP
0000140c: POP
0000140d: POP
0000140e: JUMP
0000140f: JUMPDEST
00001410: DUP3
00001411: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001426: AND
00001427: PUSH2 0x142f
0000142a: DUP3
0000142b: PUSH2 0x0a9c
0000142e: JUMP
0000142f: JUMPDEST
00001430: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001445: AND
00001446: EQ
00001447: PUSH2 0x14d2
0000144a: JUMPI
0000144b: PUSH1 0x40
0000144d: MLOAD
0000144e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000146f: DUP2
00001470: MSTORE
00001471: PUSH1 0x20
00001473: PUSH1 0x04
00001475: DUP3
00001476: ADD
00001477: MSTORE
00001478: PUSH1 0x25
0000147a: PUSH1 0x24
0000147c: DUP3
0000147d: ADD
0000147e: MSTORE
0000147f: PUSH32 0x4552433732313a207472616e736665722066726f6d20696e636f727265637420
000014a0: PUSH1 0x44
000014a2: DUP3
000014a3: ADD
000014a4: MSTORE
000014a5: PUSH32 0x6f776e6572000000000000000000000000000000000000000000000000000000
000014c6: PUSH1 0x64
000014c8: DUP3
000014c9: ADD
000014ca: MSTORE
000014cb: PUSH1 0x84
000014cd: ADD
000014ce: PUSH2 0x0719
000014d1: JUMP
000014d2: JUMPDEST
000014d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e8: DUP3
000014e9: AND
000014ea: PUSH2 0x1574
000014ed: JUMPI
000014ee: PUSH1 0x40
000014f0: MLOAD
000014f1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001512: DUP2
00001513: MSTORE
00001514: PUSH1 0x20
00001516: PUSH1 0x04
00001518: DUP3
00001519: ADD
0000151a: MSTORE
0000151b: PUSH1 0x24
0000151d: DUP1
0000151e: DUP3
0000151f: ADD
00001520: MSTORE
00001521: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464
00001542: PUSH1 0x44
00001544: DUP3
00001545: ADD
00001546: MSTORE
00001547: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
00001568: PUSH1 0x64
0000156a: DUP3
0000156b: ADD
0000156c: MSTORE
0000156d: PUSH1 0x84
0000156f: ADD
00001570: PUSH2 0x0719
00001573: JUMP
00001574: JUMPDEST
00001575: DUP3
00001576: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000158b: AND
0000158c: PUSH2 0x1594
0000158f: DUP3
00001590: PUSH2 0x0a9c
00001593: JUMP
00001594: JUMPDEST
00001595: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015aa: AND
000015ab: EQ
000015ac: PUSH2 0x1637
000015af: JUMPI
000015b0: PUSH1 0x40
000015b2: MLOAD
000015b3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015d4: DUP2
000015d5: MSTORE
000015d6: PUSH1 0x20
000015d8: PUSH1 0x04
000015da: DUP3
000015db: ADD
000015dc: MSTORE
000015dd: PUSH1 0x25
000015df: PUSH1 0x24
000015e1: DUP3
000015e2: ADD
000015e3: MSTORE
000015e4: PUSH32 0x4552433732313a207472616e736665722066726f6d20696e636f727265637420
00001605: PUSH1 0x44
00001607: DUP3
00001608: ADD
00001609: MSTORE
0000160a: PUSH32 0x6f776e6572000000000000000000000000000000000000000000000000000000
0000162b: PUSH1 0x64
0000162d: DUP3
0000162e: ADD
0000162f: MSTORE
00001630: PUSH1 0x84
00001632: ADD
00001633: PUSH2 0x0719
00001636: JUMP
00001637: JUMPDEST
00001638: PUSH1 0x00
0000163a: DUP2
0000163b: DUP2
0000163c: MSTORE
0000163d: PUSH1 0x04
0000163f: PUSH1 0x20
00001641: SWAP1
00001642: DUP2
00001643: MSTORE
00001644: PUSH1 0x40
00001646: DUP1
00001647: DUP4
00001648: KECCAK256
00001649: DUP1
0000164a: SLOAD
0000164b: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000166c: SWAP1
0000166d: DUP2
0000166e: AND
0000166f: SWAP1
00001670: SWAP2
00001671: SSTORE
00001672: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001687: DUP8
00001688: DUP2
00001689: AND
0000168a: DUP1
0000168b: DUP7
0000168c: MSTORE
0000168d: PUSH1 0x03
0000168f: DUP6
00001690: MSTORE
00001691: DUP4
00001692: DUP7
00001693: KECCAK256
00001694: DUP1
00001695: SLOAD
00001696: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000016b7: ADD
000016b8: SWAP1
000016b9: SSTORE
000016ba: SWAP1
000016bb: DUP8
000016bc: AND
000016bd: DUP1
000016be: DUP7
000016bf: MSTORE
000016c0: DUP4
000016c1: DUP7
000016c2: KECCAK256
000016c3: DUP1
000016c4: SLOAD
000016c5: PUSH1 0x01
000016c7: ADD
000016c8: SWAP1
000016c9: SSTORE
000016ca: DUP7
000016cb: DUP7
000016cc: MSTORE
000016cd: PUSH1 0x02
000016cf: SWAP1
000016d0: SWAP5
000016d1: MSTORE
000016d2: DUP3
000016d3: DUP6
000016d4: KECCAK256
000016d5: DUP1
000016d6: SLOAD
000016d7: SWAP1
000016d8: SWAP3
000016d9: AND
000016da: DUP5
000016db: OR
000016dc: SWAP1
000016dd: SWAP2
000016de: SSTORE
000016df: SWAP1
000016e0: MLOAD
000016e1: DUP5
000016e2: SWAP4
000016e3: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001704: SWAP2
00001705: LOG4
00001706: POP
00001707: POP
00001708: POP
00001709: JUMP
0000170a: JUMPDEST
0000170b: PUSH1 0x60
0000170d: PUSH1 0x00
0000170f: DUP1
00001710: PUSH2 0x1718
00001713: DUP6
00001714: PUSH2 0x1bb5
00001717: JUMP
00001718: JUMPDEST
00001719: SWAP2
0000171a: POP
0000171b: SWAP2
0000171c: POP
0000171d: PUSH2 0x1758
00001720: PUSH2 0x1728
00001723: DUP6
00001724: PUSH2 0x1ce2
00001727: JUMP
00001728: JUMPDEST
00001729: PUSH2 0x1731
0000172c: DUP5
0000172d: PUSH2 0x1da0
00001730: JUMP
00001731: JUMPDEST
00001732: DUP4
00001733: PUSH1 0x40
00001735: MLOAD
00001736: PUSH1 0x20
00001738: ADD
00001739: PUSH2 0x1744
0000173c: SWAP4
0000173d: SWAP3
0000173e: SWAP2
0000173f: SWAP1
00001740: PUSH2 0x3064
00001743: JUMP
00001744: JUMPDEST
00001745: PUSH1 0x40
00001747: MLOAD
00001748: PUSH1 0x20
0000174a: DUP2
0000174b: DUP4
0000174c: SUB
0000174d: SUB
0000174e: DUP2
0000174f: MSTORE
00001750: SWAP1
00001751: PUSH1 0x40
00001753: MSTORE
00001754: PUSH2 0x1da0
00001757: JUMP
00001758: JUMPDEST
00001759: PUSH1 0x40
0000175b: MLOAD
0000175c: PUSH1 0x20
0000175e: ADD
0000175f: PUSH2 0x1768
00001762: SWAP2
00001763: SWAP1
00001764: PUSH2 0x319a
00001767: JUMP
00001768: JUMPDEST
00001769: PUSH1 0x40
0000176b: MLOAD
0000176c: PUSH1 0x20
0000176e: DUP2
0000176f: DUP4
00001770: SUB
00001771: SUB
00001772: DUP2
00001773: MSTORE
00001774: SWAP1
00001775: PUSH1 0x40
00001777: MSTORE
00001778: SWAP3
00001779: POP
0000177a: POP
0000177b: POP
0000177c: SWAP3
0000177d: SWAP2
0000177e: POP
0000177f: POP
00001780: JUMP
00001781: JUMPDEST
00001782: DUP2
00001783: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001798: AND
00001799: DUP4
0000179a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017af: AND
000017b0: SUB
000017b1: PUSH2 0x1816
000017b4: JUMPI
000017b5: PUSH1 0x40
000017b7: MLOAD
000017b8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000017d9: DUP2
000017da: MSTORE
000017db: PUSH1 0x20
000017dd: PUSH1 0x04
000017df: DUP3
000017e0: ADD
000017e1: MSTORE
000017e2: PUSH1 0x19
000017e4: PUSH1 0x24
000017e6: DUP3
000017e7: ADD
000017e8: MSTORE
000017e9: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000
0000180a: PUSH1 0x44
0000180c: DUP3
0000180d: ADD
0000180e: MSTORE
0000180f: PUSH1 0x64
00001811: ADD
00001812: PUSH2 0x0719
00001815: JUMP
00001816: JUMPDEST
00001817: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000182c: DUP4
0000182d: DUP2
0000182e: AND
0000182f: PUSH1 0x00
00001831: DUP2
00001832: DUP2
00001833: MSTORE
00001834: PUSH1 0x05
00001836: PUSH1 0x20
00001838: SWAP1
00001839: DUP2
0000183a: MSTORE
0000183b: PUSH1 0x40
0000183d: DUP1
0000183e: DUP4
0000183f: KECCAK256
00001840: SWAP5
00001841: DUP8
00001842: AND
00001843: DUP1
00001844: DUP5
00001845: MSTORE
00001846: SWAP5
00001847: DUP3
00001848: MSTORE
00001849: SWAP2
0000184a: DUP3
0000184b: SWAP1
0000184c: KECCAK256
0000184d: DUP1
0000184e: SLOAD
0000184f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001870: AND
00001871: DUP7
00001872: ISZERO
00001873: ISZERO
00001874: SWAP1
00001875: DUP2
00001876: OR
00001877: SWAP1
00001878: SWAP2
00001879: SSTORE
0000187a: SWAP2
0000187b: MLOAD
0000187c: SWAP2
0000187d: DUP3
0000187e: MSTORE
0000187f: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
000018a0: SWAP2
000018a1: ADD
000018a2: PUSH1 0x40
000018a4: MLOAD
000018a5: DUP1
000018a6: SWAP2
000018a7: SUB
000018a8: SWAP1
000018a9: LOG3
000018aa: POP
000018ab: POP
000018ac: POP
000018ad: JUMP
000018ae: JUMPDEST
000018af: PUSH2 0x18b9
000018b2: DUP5
000018b3: DUP5
000018b4: DUP5
000018b5: PUSH2 0x140f
000018b8: JUMP
000018b9: JUMPDEST
000018ba: PUSH2 0x18c5
000018bd: DUP5
000018be: DUP5
000018bf: DUP5
000018c0: DUP5
000018c1: PUSH2 0x1ef3
000018c4: JUMP
000018c5: JUMPDEST
000018c6: PUSH2 0x0d95
000018c9: JUMPI
000018ca: PUSH1 0x40
000018cc: MLOAD
000018cd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018ee: DUP2
000018ef: MSTORE
000018f0: PUSH1 0x20
000018f2: PUSH1 0x04
000018f4: DUP3
000018f5: ADD
000018f6: MSTORE
000018f7: PUSH1 0x32
000018f9: PUSH1 0x24
000018fb: DUP3
000018fc: ADD
000018fd: MSTORE
000018fe: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
0000191f: PUSH1 0x44
00001921: DUP3
00001922: ADD
00001923: MSTORE
00001924: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000
00001945: PUSH1 0x64
00001947: DUP3
00001948: ADD
00001949: MSTORE
0000194a: PUSH1 0x84
0000194c: ADD
0000194d: PUSH2 0x0719
00001950: JUMP
00001951: JUMPDEST
00001952: PUSH1 0x00
00001954: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffdb731c958f34d94c1
00001975: DUP3
00001976: SGT
00001977: PUSH2 0x1982
0000197a: JUMPI
0000197b: POP
0000197c: PUSH1 0x00
0000197e: SWAP2
0000197f: SWAP1
00001980: POP
00001981: JUMP
00001982: JUMPDEST
00001983: PUSH9 0x0755bf798b4a1bf1e5
0000198d: DUP3
0000198e: SLT
0000198f: PUSH2 0x19f4
00001992: JUMPI
00001993: PUSH1 0x40
00001995: MLOAD
00001996: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019b7: DUP2
000019b8: MSTORE
000019b9: PUSH1 0x20
000019bb: PUSH1 0x04
000019bd: DUP3
000019be: ADD
000019bf: MSTORE
000019c0: PUSH1 0x0c
000019c2: PUSH1 0x24
000019c4: DUP3
000019c5: ADD
000019c6: MSTORE
000019c7: PUSH32 0x4558505f4f564552464c4f570000000000000000000000000000000000000000
000019e8: PUSH1 0x44
000019ea: DUP3
000019eb: ADD
000019ec: MSTORE
000019ed: PUSH1 0x64
000019ef: ADD
000019f0: PUSH2 0x0719
000019f3: JUMP
000019f4: JUMPDEST
000019f5: PUSH6 0x03782dace9d9
000019fc: PUSH1 0x4e
000019fe: DUP4
000019ff: SWAP1
00001a00: SHL
00001a01: SDIV
00001a02: SWAP2
00001a03: POP
00001a04: PUSH1 0x00
00001a06: PUSH1 0x60
00001a08: PUSH12 0xb17217f7d1cf79abc9e3b398
00001a15: DUP5
00001a16: DUP3
00001a17: SHL
00001a18: SDIV
00001a19: PUSH12 0x800000000000000000000000
00001a26: ADD
00001a27: SWAP1
00001a28: SAR
00001a29: PUSH12 0xb17217f7d1cf79abc9e3b398
00001a36: DUP2
00001a37: MUL
00001a38: SWAP1
00001a39: SWAP4
00001a3a: SUB
00001a3b: PUSH32 0xffffffffffffffffffffffffffffffffffffffdbf3ccf1604d263450f02a5504
00001a5c: DUP2
00001a5d: ADD
00001a5e: DUP2
00001a5f: MUL
00001a60: PUSH1 0x60
00001a62: SWAP1
00001a63: DUP2
00001a64: SAR
00001a65: PUSH14 0x0277594991cfc85f6e2461837cd9
00001a74: ADD
00001a75: DUP3
00001a76: MUL
00001a77: DUP2
00001a78: SAR
00001a79: PUSH32 0xffffffffffffffffffffffffffffffffffffe5adedaa1cb095af9e4da10e363c
00001a9a: ADD
00001a9b: DUP3
00001a9c: MUL
00001a9d: DUP2
00001a9e: SAR
00001a9f: PUSH14 0xb1bbb201f443cf962f1a1d3db4a5
00001aae: ADD
00001aaf: DUP3
00001ab0: MUL
00001ab1: DUP2
00001ab2: SAR
00001ab3: PUSH32 0xfffffffffffffffffffffffffffffffffffd38dc772608b0ae56cce01296c0eb
00001ad4: ADD
00001ad5: DUP3
00001ad6: MUL
00001ad7: DUP2
00001ad8: SAR
00001ad9: PUSH15 0x05180bb14799ab47a8a8cb2a527d57
00001ae9: ADD
00001aea: PUSH14 0x02d16720577bd19bf614176fe9ea
00001af9: PUSH13 0x10fe68e7fd37d0007b713f7650
00001b07: DUP5
00001b08: ADD
00001b09: DUP5
00001b0a: MUL
00001b0b: DUP4
00001b0c: SAR
00001b0d: SWAP1
00001b0e: DUP2
00001b0f: ADD
00001b10: SWAP1
00001b11: DUP5
00001b12: ADD
00001b13: PUSH32 0xfffffffffffffffffffffffffffffffffffffe2c69812cf03b0763fd454a8f7e
00001b34: ADD
00001b35: MUL
00001b36: SWAP1
00001b37: SWAP2
00001b38: SAR
00001b39: PUSH15 0x0587f503bb6ea29d25fcb740196450
00001b49: ADD
00001b4a: SWAP1
00001b4b: SWAP2
00001b4c: MUL
00001b4d: PUSH26 0xd835ebba824c98fb31b83b2ca45c000000000000000000000000
00001b68: ADD
00001b69: SDIV
00001b6a: PUSH21 0x029d9dc38563c32e5c2f6dc192ee70ef65f9978af3
00001b80: MUL
00001b81: PUSH1 0xc3
00001b83: SWAP4
00001b84: SWAP1
00001b85: SWAP4
00001b86: SUB
00001b87: SWAP3
00001b88: SWAP1
00001b89: SWAP3
00001b8a: SHR
00001b8b: SWAP3
00001b8c: SWAP2
00001b8d: POP
00001b8e: POP
00001b8f: JUMP
00001b90: JUMPDEST
00001b91: DUP2
00001b92: DUP2
00001b93: MUL
00001b94: DUP3
00001b95: ISZERO
00001b96: DUP4
00001b97: DUP3
00001b98: SDIV
00001b99: DUP4
00001b9a: EQ
00001b9b: OR
00001b9c: PUSH2 0x1ba4
00001b9f: JUMPI
00001ba0: PUSH1 0x00
00001ba2: DUP1
00001ba3: REVERT
00001ba4: JUMPDEST
00001ba5: PUSH8 0x0de0b6b3a7640000
00001bae: SWAP1
00001baf: SDIV
00001bb0: SWAP3
00001bb1: SWAP2
00001bb2: POP
00001bb3: POP
00001bb4: JUMP
00001bb5: JUMPDEST
00001bb6: PUSH1 0x60
00001bb8: DUP1
00001bb9: PUSH1 0x00
00001bbb: PUSH1 0x60
00001bbd: DUP1
00001bbe: PUSH2 0x1bc7
00001bc1: DUP7
00001bc2: DUP5
00001bc3: PUSH2 0x20e6
00001bc6: JUMP
00001bc7: JUMPDEST
00001bc8: SWAP5
00001bc9: POP
00001bca: SWAP1
00001bcb: SWAP3
00001bcc: POP
00001bcd: SWAP1
00001bce: POP
00001bcf: PUSH1 0x60
00001bd1: DUP1
00001bd2: PUSH2 0x1bdb
00001bd5: DUP9
00001bd6: DUP7
00001bd7: PUSH2 0x2218
00001bda: JUMP
00001bdb: JUMPDEST
00001bdc: PUSH1 0x40
00001bde: MLOAD
00001bdf: SWAP1
00001be0: SWAP8
00001be1: POP
00001be2: SWAP2
00001be3: SWAP4
00001be4: POP
00001be5: SWAP2
00001be6: POP
00001be7: PUSH2 0x1bf6
00001bea: SWAP1
00001beb: DUP6
00001bec: SWAP1
00001bed: DUP5
00001bee: SWAP1
00001bef: PUSH1 0x20
00001bf1: ADD
00001bf2: PUSH2 0x31df
00001bf5: JUMP
00001bf6: JUMPDEST
00001bf7: PUSH1 0x40
00001bf9: MLOAD
00001bfa: PUSH1 0x20
00001bfc: DUP2
00001bfd: DUP4
00001bfe: SUB
00001bff: SUB
00001c00: DUP2
00001c01: MSTORE
00001c02: SWAP1
00001c03: PUSH1 0x40
00001c05: MSTORE
00001c06: SWAP7
00001c07: POP
00001c08: DUP3
00001c09: DUP2
00001c0a: PUSH1 0x40
00001c0c: MLOAD
00001c0d: PUSH1 0x20
00001c0f: ADD
00001c10: PUSH2 0x1c1a
00001c13: SWAP3
00001c14: SWAP2
00001c15: SWAP1
00001c16: PUSH2 0x31df
00001c19: JUMP
00001c1a: JUMPDEST
00001c1b: PUSH1 0x40
00001c1d: MLOAD
00001c1e: PUSH1 0x20
00001c20: DUP2
00001c21: DUP4
00001c22: SUB
00001c23: SUB
00001c24: DUP2
00001c25: MSTORE
00001c26: SWAP1
00001c27: PUSH1 0x40
00001c29: MSTORE
00001c2a: SWAP6
00001c2b: POP
00001c2c: POP
00001c2d: POP
00001c2e: POP
00001c2f: POP
00001c30: PUSH1 0x60
00001c32: DUP1
00001c33: PUSH2 0x1c3c
00001c36: DUP7
00001c37: DUP5
00001c38: PUSH2 0x22e6
00001c3b: JUMP
00001c3c: JUMPDEST
00001c3d: SWAP5
00001c3e: POP
00001c3f: SWAP1
00001c40: SWAP3
00001c41: POP
00001c42: SWAP1
00001c43: POP
00001c44: PUSH1 0x60
00001c46: DUP1
00001c47: PUSH2 0x1c50
00001c4a: DUP9
00001c4b: DUP7
00001c4c: PUSH2 0x2377
00001c4f: JUMP
00001c50: JUMPDEST
00001c51: SWAP7
00001c52: POP
00001c53: SWAP1
00001c54: SWAP3
00001c55: POP
00001c56: SWAP1
00001c57: POP
00001c58: PUSH1 0x60
00001c5a: DUP1
00001c5b: PUSH2 0x1c64
00001c5e: DUP11
00001c5f: DUP9
00001c60: PUSH2 0x24f5
00001c63: JUMP
00001c64: JUMPDEST
00001c65: SWAP9
00001c66: POP
00001c67: SWAP1
00001c68: SWAP3
00001c69: POP
00001c6a: SWAP1
00001c6b: POP
00001c6c: PUSH1 0x60
00001c6e: DUP1
00001c6f: PUSH2 0x1c78
00001c72: DUP13
00001c73: DUP11
00001c74: PUSH2 0x280c
00001c77: JUMP
00001c78: JUMPDEST
00001c79: PUSH1 0x40
00001c7b: MLOAD
00001c7c: SWAP1
00001c7d: SWAP12
00001c7e: POP
00001c7f: SWAP2
00001c80: SWAP4
00001c81: POP
00001c82: SWAP2
00001c83: POP
00001c84: PUSH2 0x1c99
00001c87: SWAP1
00001c88: DUP13
00001c89: SWAP1
00001c8a: DUP11
00001c8b: SWAP1
00001c8c: DUP10
00001c8d: SWAP1
00001c8e: DUP9
00001c8f: SWAP1
00001c90: DUP8
00001c91: SWAP1
00001c92: PUSH1 0x20
00001c94: ADD
00001c95: PUSH2 0x320e
00001c98: JUMP
00001c99: JUMPDEST
00001c9a: PUSH1 0x40
00001c9c: MLOAD
00001c9d: PUSH1 0x20
00001c9f: DUP2
00001ca0: DUP4
00001ca1: SUB
00001ca2: SUB
00001ca3: DUP2
00001ca4: MSTORE
00001ca5: SWAP1
00001ca6: PUSH1 0x40
00001ca8: MSTORE
00001ca9: SWAP11
00001caa: POP
00001cab: DUP10
00001cac: DUP8
00001cad: DUP7
00001cae: DUP6
00001caf: DUP5
00001cb0: PUSH1 0x40
00001cb2: MLOAD
00001cb3: PUSH1 0x20
00001cb5: ADD
00001cb6: PUSH2 0x1cc3
00001cb9: SWAP6
00001cba: SWAP5
00001cbb: SWAP4
00001cbc: SWAP3
00001cbd: SWAP2
00001cbe: SWAP1
00001cbf: PUSH2 0x320e
00001cc2: JUMP
00001cc3: JUMPDEST
00001cc4: PUSH1 0x40
00001cc6: MLOAD
00001cc7: PUSH1 0x20
00001cc9: DUP2
00001cca: DUP4
00001ccb: SUB
00001ccc: SUB
00001ccd: DUP2
00001cce: MSTORE
00001ccf: SWAP1
00001cd0: PUSH1 0x40
00001cd2: MSTORE
00001cd3: SWAP10
00001cd4: POP
00001cd5: POP
00001cd6: POP
00001cd7: POP
00001cd8: POP
00001cd9: POP
00001cda: POP
00001cdb: POP
00001cdc: POP
00001cdd: POP
00001cde: SWAP2
00001cdf: POP
00001ce0: SWAP2
00001ce1: JUMP
00001ce2: JUMPDEST
00001ce3: PUSH1 0x60
00001ce5: PUSH1 0x00
00001ce7: PUSH2 0x1cef
00001cea: DUP4
00001ceb: PUSH2 0x28ac
00001cee: JUMP
00001cef: JUMPDEST
00001cf0: PUSH1 0x01
00001cf2: ADD
00001cf3: SWAP1
00001cf4: POP
00001cf5: PUSH1 0x00
00001cf7: DUP2
00001cf8: PUSH8 0xffffffffffffffff
00001d01: DUP2
00001d02: GT
00001d03: ISZERO
00001d04: PUSH2 0x1d0f
00001d07: JUMPI
00001d08: PUSH2 0x1d0f
00001d0b: PUSH2 0x2e01
00001d0e: JUMP
00001d0f: JUMPDEST
00001d10: PUSH1 0x40
00001d12: MLOAD
00001d13: SWAP1
00001d14: DUP1
00001d15: DUP3
00001d16: MSTORE
00001d17: DUP1
00001d18: PUSH1 0x1f
00001d1a: ADD
00001d1b: PUSH1 0x1f
00001d1d: NOT
00001d1e: AND
00001d1f: PUSH1 0x20
00001d21: ADD
00001d22: DUP3
00001d23: ADD
00001d24: PUSH1 0x40
00001d26: MSTORE
00001d27: DUP1
00001d28: ISZERO
00001d29: PUSH2 0x1d39
00001d2c: JUMPI
00001d2d: PUSH1 0x20
00001d2f: DUP3
00001d30: ADD
00001d31: DUP2
00001d32: DUP1
00001d33: CALLDATASIZE
00001d34: DUP4
00001d35: CALLDATACOPY
00001d36: ADD
00001d37: SWAP1
00001d38: POP
00001d39: JUMPDEST
00001d3a: POP
00001d3b: SWAP1
00001d3c: POP
00001d3d: DUP2
00001d3e: DUP2
00001d3f: ADD
00001d40: PUSH1 0x20
00001d42: ADD
00001d43: JUMPDEST
00001d44: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001d65: ADD
00001d66: PUSH32 0x3031323334353637383961626364656600000000000000000000000000000000
00001d87: PUSH1 0x0a
00001d89: DUP7
00001d8a: MOD
00001d8b: BYTE
00001d8c: DUP2
00001d8d: MSTORE8
00001d8e: PUSH1 0x0a
00001d90: DUP6
00001d91: DIV
00001d92: SWAP5
00001d93: POP
00001d94: DUP5
00001d95: PUSH2 0x1d43
00001d98: JUMPI
00001d99: POP
00001d9a: SWAP4
00001d9b: SWAP3
00001d9c: POP
00001d9d: POP
00001d9e: POP
00001d9f: JUMP
00001da0: JUMPDEST
00001da1: PUSH1 0x60
00001da3: DUP2
00001da4: MLOAD
00001da5: PUSH1 0x00
00001da7: SUB
00001da8: PUSH2 0x1dbf
00001dab: JUMPI
00001dac: POP
00001dad: POP
00001dae: PUSH1 0x40
00001db0: DUP1
00001db1: MLOAD
00001db2: PUSH1 0x20
00001db4: DUP2
00001db5: ADD
00001db6: SWAP1
00001db7: SWAP2
00001db8: MSTORE
00001db9: PUSH1 0x00
00001dbb: DUP2
00001dbc: MSTORE
00001dbd: SWAP1
00001dbe: JUMP
00001dbf: JUMPDEST
00001dc0: PUSH1 0x00
00001dc2: PUSH1 0x40
00001dc4: MLOAD
00001dc5: DUP1
00001dc6: PUSH1 0x60
00001dc8: ADD
00001dc9: PUSH1 0x40
00001dcb: MSTORE
00001dcc: DUP1
00001dcd: PUSH1 0x40
00001dcf: DUP2
00001dd0: MSTORE
00001dd1: PUSH1 0x20
00001dd3: ADD
00001dd4: PUSH2 0x435c
00001dd7: PUSH1 0x40
00001dd9: SWAP2
00001dda: CODECOPY
00001ddb: SWAP1
00001ddc: POP
00001ddd: PUSH1 0x00
00001ddf: PUSH1 0x03
00001de1: DUP5
00001de2: MLOAD
00001de3: PUSH1 0x02
00001de5: PUSH2 0x1dee
00001de8: SWAP2
00001de9: SWAP1
00001dea: PUSH2 0x3035
00001ded: JUMP
00001dee: JUMPDEST
00001def: PUSH2 0x1df8
00001df2: SWAP2
00001df3: SWAP1
00001df4: PUSH2 0x3279
00001df7: JUMP
00001df8: JUMPDEST
00001df9: PUSH2 0x1e03
00001dfc: SWAP1
00001dfd: PUSH1 0x04
00001dff: PUSH2 0x328d
00001e02: JUMP
00001e03: JUMPDEST
00001e04: PUSH8 0xffffffffffffffff
00001e0d: DUP2
00001e0e: GT
00001e0f: ISZERO
00001e10: PUSH2 0x1e1b
00001e13: JUMPI
00001e14: PUSH2 0x1e1b
00001e17: PUSH2 0x2e01
00001e1a: JUMP
00001e1b: JUMPDEST
00001e1c: PUSH1 0x40
00001e1e: MLOAD
00001e1f: SWAP1
00001e20: DUP1
00001e21: DUP3
00001e22: MSTORE
00001e23: DUP1
00001e24: PUSH1 0x1f
00001e26: ADD
00001e27: PUSH1 0x1f
00001e29: NOT
00001e2a: AND
00001e2b: PUSH1 0x20
00001e2d: ADD
00001e2e: DUP3
00001e2f: ADD
00001e30: PUSH1 0x40
00001e32: MSTORE
00001e33: DUP1
00001e34: ISZERO
00001e35: PUSH2 0x1e45
00001e38: JUMPI
00001e39: PUSH1 0x20
00001e3b: DUP3
00001e3c: ADD
00001e3d: DUP2
00001e3e: DUP1
00001e3f: CALLDATASIZE
00001e40: DUP4
00001e41: CALLDATACOPY
00001e42: ADD
00001e43: SWAP1
00001e44: POP
00001e45: JUMPDEST
00001e46: POP
00001e47: SWAP1
00001e48: POP
00001e49: PUSH1 0x01
00001e4b: DUP3
00001e4c: ADD
00001e4d: PUSH1 0x20
00001e4f: DUP3
00001e50: ADD
00001e51: DUP6
00001e52: DUP7
00001e53: MLOAD
00001e54: DUP8
00001e55: ADD
00001e56: JUMPDEST
00001e57: DUP1
00001e58: DUP3
00001e59: LT
00001e5a: ISZERO
00001e5b: PUSH2 0x1eb1
00001e5e: JUMPI
00001e5f: PUSH1 0x03
00001e61: DUP3
00001e62: ADD
00001e63: SWAP2
00001e64: POP
00001e65: DUP2
00001e66: MLOAD
00001e67: PUSH1 0x3f
00001e69: DUP2
00001e6a: PUSH1 0x12
00001e6c: SHR
00001e6d: AND
00001e6e: DUP6
00001e6f: ADD
00001e70: MLOAD
00001e71: DUP5
00001e72: MSTORE8
00001e73: PUSH1 0x01
00001e75: DUP5
00001e76: ADD
00001e77: SWAP4
00001e78: POP
00001e79: PUSH1 0x3f
00001e7b: DUP2
00001e7c: PUSH1 0x0c
00001e7e: SHR
00001e7f: AND
00001e80: DUP6
00001e81: ADD
00001e82: MLOAD
00001e83: DUP5
00001e84: MSTORE8
00001e85: PUSH1 0x01
00001e87: DUP5
00001e88: ADD
00001e89: SWAP4
00001e8a: POP
00001e8b: PUSH1 0x3f
00001e8d: DUP2
00001e8e: PUSH1 0x06
00001e90: SHR
00001e91: AND
00001e92: DUP6
00001e93: ADD
00001e94: MLOAD
00001e95: DUP5
00001e96: MSTORE8
00001e97: PUSH1 0x01
00001e99: DUP5
00001e9a: ADD
00001e9b: SWAP4
00001e9c: POP
00001e9d: PUSH1 0x3f
00001e9f: DUP2
00001ea0: AND
00001ea1: DUP6
00001ea2: ADD
00001ea3: MLOAD
00001ea4: DUP5
00001ea5: MSTORE8
00001ea6: POP
00001ea7: PUSH1 0x01
00001ea9: DUP4
00001eaa: ADD
00001eab: SWAP3
00001eac: POP
00001ead: PUSH2 0x1e56
00001eb0: JUMP
00001eb1: JUMPDEST
00001eb2: POP
00001eb3: POP
00001eb4: PUSH1 0x03
00001eb6: DUP7
00001eb7: MLOAD
00001eb8: MOD
00001eb9: PUSH1 0x01
00001ebb: DUP2
00001ebc: EQ
00001ebd: PUSH2 0x1ecd
00001ec0: JUMPI
00001ec1: PUSH1 0x02
00001ec3: DUP2
00001ec4: EQ
00001ec5: PUSH2 0x1ee0
00001ec8: JUMPI
00001ec9: PUSH2 0x1ee8
00001ecc: JUMP
00001ecd: JUMPDEST
00001ece: PUSH1 0x3d
00001ed0: PUSH1 0x01
00001ed2: DUP4
00001ed3: SUB
00001ed4: MSTORE8
00001ed5: PUSH1 0x3d
00001ed7: PUSH1 0x02
00001ed9: DUP4
00001eda: SUB
00001edb: MSTORE8
00001edc: PUSH2 0x1ee8
00001edf: JUMP
00001ee0: JUMPDEST
00001ee1: PUSH1 0x3d
00001ee3: PUSH1 0x01
00001ee5: DUP4
00001ee6: SUB
00001ee7: MSTORE8
00001ee8: JUMPDEST
00001ee9: POP
00001eea: SWAP2
00001eeb: SWAP6
00001eec: SWAP5
00001eed: POP
00001eee: POP
00001eef: POP
00001ef0: POP
00001ef1: POP
00001ef2: JUMP
00001ef3: JUMPDEST
00001ef4: PUSH1 0x00
00001ef6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f0b: DUP5
00001f0c: AND
00001f0d: EXTCODESIZE
00001f0e: ISZERO
00001f0f: PUSH2 0x20db
00001f12: JUMPI
00001f13: PUSH1 0x40
00001f15: MLOAD
00001f16: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000
00001f37: DUP2
00001f38: MSTORE
00001f39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f4e: DUP6
00001f4f: AND
00001f50: SWAP1
00001f51: PUSH4 0x150b7a02
00001f56: SWAP1
00001f57: PUSH2 0x1f6a
00001f5a: SWAP1
00001f5b: CALLER
00001f5c: SWAP1
00001f5d: DUP10
00001f5e: SWAP1
00001f5f: DUP9
00001f60: SWAP1
00001f61: DUP9
00001f62: SWAP1
00001f63: PUSH1 0x04
00001f65: ADD
00001f66: PUSH2 0x32a4
00001f69: JUMP
00001f6a: JUMPDEST
00001f6b: PUSH1 0x20
00001f6d: PUSH1 0x40
00001f6f: MLOAD
00001f70: DUP1
00001f71: DUP4
00001f72: SUB
00001f73: DUP2
00001f74: PUSH1 0x00
00001f76: DUP8
00001f77: GAS
00001f78: CALL
00001f79: SWAP3
00001f7a: POP
00001f7b: POP
00001f7c: POP
00001f7d: DUP1
00001f7e: ISZERO
00001f7f: PUSH2 0x1fc3
00001f82: JUMPI
00001f83: POP
00001f84: PUSH1 0x40
00001f86: DUP1
00001f87: MLOAD
00001f88: PUSH1 0x1f
00001f8a: RETURNDATASIZE
00001f8b: SWAP1
00001f8c: DUP2
00001f8d: ADD
00001f8e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001faf: AND
00001fb0: DUP3
00001fb1: ADD
00001fb2: SWAP1
00001fb3: SWAP3
00001fb4: MSTORE
00001fb5: PUSH2 0x1fc0
00001fb8: SWAP2
00001fb9: DUP2
00001fba: ADD
00001fbb: SWAP1
00001fbc: PUSH2 0x32ed
00001fbf: JUMP
00001fc0: JUMPDEST
00001fc1: PUSH1 0x01
00001fc3: JUMPDEST
00001fc4: PUSH2 0x2090
00001fc7: JUMPI
00001fc8: RETURNDATASIZE
00001fc9: DUP1
00001fca: DUP1
00001fcb: ISZERO
00001fcc: PUSH2 0x1ff1
00001fcf: JUMPI
00001fd0: PUSH1 0x40
00001fd2: MLOAD
00001fd3: SWAP2
00001fd4: POP
00001fd5: PUSH1 0x1f
00001fd7: NOT
00001fd8: PUSH1 0x3f
00001fda: RETURNDATASIZE
00001fdb: ADD
00001fdc: AND
00001fdd: DUP3
00001fde: ADD
00001fdf: PUSH1 0x40
00001fe1: MSTORE
00001fe2: RETURNDATASIZE
00001fe3: DUP3
00001fe4: MSTORE
00001fe5: RETURNDATASIZE
00001fe6: PUSH1 0x00
00001fe8: PUSH1 0x20
00001fea: DUP5
00001feb: ADD
00001fec: RETURNDATACOPY
00001fed: PUSH2 0x1ff6
00001ff0: JUMP
00001ff1: JUMPDEST
00001ff2: PUSH1 0x60
00001ff4: SWAP2
00001ff5: POP
00001ff6: JUMPDEST
00001ff7: POP
00001ff8: DUP1
00001ff9: MLOAD
00001ffa: PUSH1 0x00
00001ffc: SUB
00001ffd: PUSH2 0x2088
00002000: JUMPI
00002001: PUSH1 0x40
00002003: MLOAD
00002004: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002025: DUP2
00002026: MSTORE
00002027: PUSH1 0x20
00002029: PUSH1 0x04
0000202b: DUP3
0000202c: ADD
0000202d: MSTORE
0000202e: PUSH1 0x32
00002030: PUSH1 0x24
00002032: DUP3
00002033: ADD
00002034: MSTORE
00002035: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
00002056: PUSH1 0x44
00002058: DUP3
00002059: ADD
0000205a: MSTORE
0000205b: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000
0000207c: PUSH1 0x64
0000207e: DUP3
0000207f: ADD
00002080: MSTORE
00002081: PUSH1 0x84
00002083: ADD
00002084: PUSH2 0x0719
00002087: JUMP
00002088: JUMPDEST
00002089: DUP1
0000208a: MLOAD
0000208b: DUP2
0000208c: PUSH1 0x20
0000208e: ADD
0000208f: REVERT
00002090: JUMPDEST
00002091: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000020b2: AND
000020b3: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000
000020d4: EQ
000020d5: SWAP1
000020d6: POP
000020d7: PUSH2 0x1407
000020da: JUMP
000020db: JUMPDEST
000020dc: POP
000020dd: PUSH1 0x01
000020df: SWAP5
000020e0: SWAP4
000020e1: POP
000020e2: POP
000020e3: POP
000020e4: POP
000020e5: JUMP
000020e6: JUMPDEST
000020e7: PUSH1 0x60
000020e9: DUP1
000020ea: PUSH1 0x00
000020ec: DUP1
000020ed: PUSH2 0x20fb
000020f0: PUSH1 0x1e
000020f2: PUSH2 0x012d
000020f5: DUP9
000020f6: DUP9
000020f7: PUSH2 0x298e
000020fa: JUMP
000020fb: JUMPDEST
000020fc: SWAP6
000020fd: POP
000020fe: SWAP1
000020ff: POP
00002100: PUSH1 0x60
00002102: PUSH1 0x64
00002104: DUP3
00002105: LT
00002106: ISZERO
00002107: PUSH2 0x2139
0000210a: JUMPI
0000210b: PUSH2 0x2113
0000210e: DUP3
0000210f: PUSH2 0x1ce2
00002112: JUMP
00002113: JUMPDEST
00002114: PUSH1 0x40
00002116: MLOAD
00002117: PUSH1 0x20
00002119: ADD
0000211a: PUSH2 0x2123
0000211d: SWAP2
0000211e: SWAP1
0000211f: PUSH2 0x330a
00002122: JUMP
00002123: JUMPDEST
00002124: PUSH1 0x40
00002126: MLOAD
00002127: PUSH1 0x20
00002129: DUP2
0000212a: DUP4
0000212b: SUB
0000212c: SUB
0000212d: DUP2
0000212e: MSTORE
0000212f: SWAP1
00002130: PUSH1 0x40
00002132: MSTORE
00002133: SWAP1
00002134: POP
00002135: PUSH2 0x2164
00002138: JUMP
00002139: JUMPDEST
0000213a: PUSH2 0x2142
0000213d: DUP3
0000213e: PUSH2 0x1ce2
00002141: JUMP
00002142: JUMPDEST
00002143: PUSH1 0x40
00002145: MLOAD
00002146: PUSH1 0x20
00002148: ADD
00002149: PUSH2 0x2152
0000214c: SWAP2
0000214d: SWAP1
0000214e: PUSH2 0x334f
00002151: JUMP
00002152: JUMPDEST
00002153: PUSH1 0x40
00002155: MLOAD
00002156: PUSH1 0x20
00002158: DUP2
00002159: DUP4
0000215a: SUB
0000215b: SUB
0000215c: DUP2
0000215d: MSTORE
0000215e: SWAP1
0000215f: PUSH1 0x40
00002161: MSTORE
00002162: SWAP1
00002163: POP
00002164: JUMPDEST
00002165: PUSH1 0x60
00002167: PUSH2 0x2174
0000216a: PUSH1 0x01
0000216c: PUSH1 0x06
0000216e: DUP11
0000216f: DUP11
00002170: PUSH2 0x298e
00002173: JUMP
00002174: JUMPDEST
00002175: SWAP8
00002176: POP
00002177: SWAP3
00002178: POP
00002179: PUSH2 0x2181
0000217c: DUP4
0000217d: PUSH2 0x1ce2
00002180: JUMP
00002181: JUMPDEST
00002182: SWAP1
00002183: POP
00002184: PUSH1 0x60
00002186: PUSH2 0x2195
00002189: PUSH1 0x00
0000218b: PUSH3 0x010000
0000218f: DUP12
00002190: DUP12
00002191: PUSH2 0x298e
00002194: JUMP
00002195: JUMPDEST
00002196: SWAP9
00002197: POP
00002198: SWAP4
00002199: POP
0000219a: PUSH2 0x21a2
0000219d: DUP5
0000219e: PUSH2 0x1ce2
000021a1: JUMP
000021a2: JUMPDEST
000021a3: SWAP1
000021a4: POP
000021a5: DUP3
000021a6: DUP3
000021a7: DUP3
000021a8: PUSH1 0x40
000021aa: MLOAD
000021ab: PUSH1 0x20
000021ad: ADD
000021ae: PUSH2 0x21b9
000021b1: SWAP4
000021b2: SWAP3
000021b3: SWAP2
000021b4: SWAP1
000021b5: PUSH2 0x3394
000021b8: JUMP
000021b9: JUMPDEST
000021ba: PUSH1 0x40
000021bc: MLOAD
000021bd: PUSH1 0x20
000021bf: DUP2
000021c0: DUP4
000021c1: SUB
000021c2: SUB
000021c3: DUP2
000021c4: MSTORE
000021c5: SWAP1
000021c6: PUSH1 0x40
000021c8: MSTORE
000021c9: SWAP7
000021ca: POP
000021cb: DUP3
000021cc: DUP3
000021cd: PUSH1 0x40
000021cf: MLOAD
000021d0: PUSH1 0x20
000021d2: ADD
000021d3: PUSH2 0x21dd
000021d6: SWAP3
000021d7: SWAP2
000021d8: SWAP1
000021d9: PUSH2 0x3518
000021dc: JUMP
000021dd: JUMPDEST
000021de: PUSH1 0x40
000021e0: DUP1
000021e1: MLOAD
000021e2: DUP1
000021e3: DUP4
000021e4: SUB
000021e5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002206: ADD
00002207: DUP2
00002208: MSTORE
00002209: SWAP2
0000220a: SWAP1
0000220b: MSTORE
0000220c: SWAP7
0000220d: SWAP10
0000220e: SWAP7
0000220f: SWAP9
00002210: POP
00002211: POP
00002212: POP
00002213: POP
00002214: POP
00002215: POP
00002216: POP
00002217: JUMP
00002218: JUMPDEST
00002219: PUSH1 0x60
0000221b: DUP1
0000221c: PUSH1 0x00
0000221e: PUSH1 0x60
00002220: PUSH2 0x2229
00002223: DUP7
00002224: DUP7
00002225: PUSH2 0x2a21
00002228: JUMP
00002229: JUMPDEST
0000222a: SWAP6
0000222b: POP
0000222c: SWAP1
0000222d: POP
0000222e: PUSH1 0x00
00002230: PUSH2 0x223d
00002233: PUSH1 0x01
00002235: PUSH1 0x3d
00002237: DUP10
00002238: DUP10
00002239: PUSH2 0x298e
0000223c: JUMP
0000223d: JUMPDEST
0000223e: SWAP7
0000223f: POP
00002240: SWAP1
00002241: POP
00002242: PUSH1 0x00
00002244: PUSH2 0x224c
00002247: DUP3
00002248: PUSH2 0x1ce2
0000224b: JUMP
0000224c: JUMPDEST
0000224d: PUSH1 0x40
0000224f: MLOAD
00002250: PUSH1 0x20
00002252: ADD
00002253: PUSH2 0x225c
00002256: SWAP2
00002257: SWAP1
00002258: PUSH2 0x360f
0000225b: JUMP
0000225c: JUMPDEST
0000225d: PUSH1 0x40
0000225f: MLOAD
00002260: PUSH1 0x20
00002262: DUP2
00002263: DUP4
00002264: SUB
00002265: SUB
00002266: DUP2
00002267: MSTORE
00002268: SWAP1
00002269: PUSH1 0x40
0000226b: MSTORE
0000226c: SWAP1
0000226d: POP
0000226e: PUSH2 0x227b
00002271: PUSH1 0x04
00002273: PUSH1 0x07
00002275: DUP11
00002276: DUP11
00002277: PUSH2 0x298e
0000227a: JUMP
0000227b: JUMPDEST
0000227c: SWAP8
0000227d: POP
0000227e: SWAP2
0000227f: POP
00002280: PUSH1 0x00
00002282: PUSH2 0x228a
00002285: DUP4
00002286: PUSH2 0x1ce2
00002289: JUMP
0000228a: JUMPDEST
0000228b: PUSH1 0x40
0000228d: MLOAD
0000228e: PUSH1 0x20
00002290: ADD
00002291: PUSH2 0x229a
00002294: SWAP2
00002295: SWAP1
00002296: PUSH2 0x3650
00002299: JUMP
0000229a: JUMPDEST
0000229b: PUSH1 0x40
0000229d: MLOAD
0000229e: PUSH1 0x20
000022a0: DUP2
000022a1: DUP4
000022a2: SUB
000022a3: SUB
000022a4: DUP2
000022a5: MSTORE
000022a6: SWAP1
000022a7: PUSH1 0x40
000022a9: MSTORE
000022aa: SWAP1
000022ab: POP
000022ac: DUP4
000022ad: DUP2
000022ae: DUP4
000022af: PUSH1 0x40
000022b1: MLOAD
000022b2: PUSH1 0x20
000022b4: ADD
000022b5: PUSH2 0x22c0
000022b8: SWAP4
000022b9: SWAP3
000022ba: SWAP2
000022bb: SWAP1
000022bc: PUSH2 0x3695
000022bf: JUMP
000022c0: JUMPDEST
000022c1: PUSH1 0x40
000022c3: MLOAD
000022c4: PUSH1 0x20
000022c6: DUP2
000022c7: DUP4
000022c8: SUB
000022c9: SUB
000022ca: DUP2
000022cb: MSTORE
000022cc: SWAP1
000022cd: PUSH1 0x40
000022cf: MSTORE
000022d0: SWAP7
000022d1: POP
000022d2: DUP4
000022d3: DUP3
000022d4: DUP3
000022d5: PUSH1 0x40
000022d7: MLOAD
000022d8: PUSH1 0x20
000022da: ADD
000022db: PUSH2 0x21dd
000022de: SWAP4
000022df: SWAP3
000022e0: SWAP2
000022e1: SWAP1
000022e2: PUSH2 0x3817
000022e5: JUMP
000022e6: JUMPDEST
000022e7: PUSH1 0x60
000022e9: DUP1
000022ea: PUSH1 0x00
000022ec: DUP1
000022ed: PUSH2 0x22fa
000022f0: PUSH1 0x01
000022f2: PUSH1 0x15
000022f4: DUP9
000022f5: DUP9
000022f6: PUSH2 0x298e
000022f9: JUMP
000022fa: JUMPDEST
000022fb: SWAP6
000022fc: POP
000022fd: SWAP1
000022fe: POP
000022ff: PUSH1 0x00
00002301: PUSH2 0x2309
00002304: DUP3
00002305: PUSH2 0x1ce2
00002308: JUMP
00002309: JUMPDEST
0000230a: SWAP1
0000230b: POP
0000230c: DUP1
0000230d: PUSH1 0x40
0000230f: MLOAD
00002310: PUSH1 0x20
00002312: ADD
00002313: PUSH2 0x231c
00002316: SWAP2
00002317: SWAP1
00002318: PUSH2 0x3973
0000231b: JUMP
0000231c: JUMPDEST
0000231d: PUSH1 0x40
0000231f: MLOAD
00002320: PUSH1 0x20
00002322: DUP2
00002323: DUP4
00002324: SUB
00002325: SUB
00002326: DUP2
00002327: MSTORE
00002328: SWAP1
00002329: PUSH1 0x40
0000232b: MSTORE
0000232c: SWAP5
0000232d: POP
0000232e: DUP1
0000232f: PUSH1 0x40
00002331: MLOAD
00002332: PUSH1 0x20
00002334: ADD
00002335: PUSH2 0x233e
00002338: SWAP2
00002339: SWAP1
0000233a: PUSH2 0x3ae9
0000233d: JUMP
0000233e: JUMPDEST
0000233f: PUSH1 0x40
00002341: DUP1
00002342: MLOAD
00002343: DUP1
00002344: DUP4
00002345: SUB
00002346: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002367: ADD
00002368: DUP2
00002369: MSTORE
0000236a: SWAP2
0000236b: SWAP1
0000236c: MSTORE
0000236d: SWAP5
0000236e: SWAP8
0000236f: SWAP5
00002370: SWAP7
00002371: POP
00002372: POP
00002373: POP
00002374: POP
00002375: POP
00002376: JUMP
00002377: JUMPDEST
00002378: PUSH1 0x60
0000237a: DUP1
0000237b: PUSH1 0x00
0000237d: DUP1
0000237e: PUSH2 0x238b
00002381: PUSH1 0x00
00002383: PUSH1 0x4c
00002385: DUP9
00002386: DUP9
00002387: PUSH2 0x298e
0000238a: JUMP
0000238b: JUMPDEST
0000238c: SWAP6
0000238d: POP
0000238e: SWAP1
0000238f: POP
00002390: PUSH1 0x60
00002392: PUSH1 0x0a
00002394: DUP3
00002395: LT
00002396: ISZERO
00002397: PUSH2 0x23c9
0000239a: JUMPI
0000239b: PUSH2 0x23a3
0000239e: DUP3
0000239f: PUSH2 0x1ce2
000023a2: JUMP
000023a3: JUMPDEST
000023a4: PUSH1 0x40
000023a6: MLOAD
000023a7: PUSH1 0x20
000023a9: ADD
000023aa: PUSH2 0x23b3
000023ad: SWAP2
000023ae: SWAP1
000023af: PUSH2 0x334f
000023b2: JUMP
000023b3: JUMPDEST
000023b4: PUSH1 0x40
000023b6: MLOAD
000023b7: PUSH1 0x20
000023b9: DUP2
000023ba: DUP4
000023bb: SUB
000023bc: SUB
000023bd: DUP2
000023be: MSTORE
000023bf: SWAP1
000023c0: PUSH1 0x40
000023c2: MSTORE
000023c3: SWAP1
000023c4: POP
000023c5: PUSH2 0x23f4
000023c8: JUMP
000023c9: JUMPDEST
000023ca: PUSH2 0x23d2
000023cd: DUP3
000023ce: PUSH2 0x1ce2
000023d1: JUMP
000023d2: JUMPDEST
000023d3: PUSH1 0x40
000023d5: MLOAD
000023d6: PUSH1 0x20
000023d8: ADD
000023d9: PUSH2 0x23e2
000023dc: SWAP2
000023dd: SWAP1
000023de: PUSH2 0x3650
000023e1: JUMP
000023e2: JUMPDEST
000023e3: PUSH1 0x40
000023e5: MLOAD
000023e6: PUSH1 0x20
000023e8: DUP2
000023e9: DUP4
000023ea: SUB
000023eb: SUB
000023ec: DUP2
000023ed: MSTORE
000023ee: SWAP1
000023ef: PUSH1 0x40
000023f1: MSTORE
000023f2: SWAP1
000023f3: POP
000023f4: JUMPDEST
000023f5: PUSH1 0x00
000023f7: PUSH2 0x2400
000023fa: DUP9
000023fb: DUP9
000023fc: PUSH2 0x2b17
000023ff: JUMP
00002400: JUMPDEST
00002401: SWAP8
00002402: POP
00002403: SWAP1
00002404: POP
00002405: DUP1
00002406: DUP1
00002407: ISZERO
00002408: PUSH2 0x2410
0000240b: JUMPI
0000240c: POP
0000240d: DUP3
0000240e: ISZERO
0000240f: ISZERO
00002410: JUMPDEST
00002411: ISZERO
00002412: PUSH2 0x2438
00002415: JUMPI
00002416: DUP2
00002417: PUSH1 0x40
00002419: MLOAD
0000241a: PUSH1 0x20
0000241c: ADD
0000241d: PUSH2 0x2426
00002420: SWAP2
00002421: SWAP1
00002422: PUSH2 0x3b7b
00002425: JUMP
00002426: JUMPDEST
00002427: PUSH1 0x40
00002429: MLOAD
0000242a: PUSH1 0x20
0000242c: DUP2
0000242d: DUP4
0000242e: SUB
0000242f: SUB
00002430: DUP2
00002431: MSTORE
00002432: SWAP1
00002433: PUSH1 0x40
00002435: MSTORE
00002436: SWAP2
00002437: POP
00002438: JUMPDEST
00002439: PUSH1 0x60
0000243b: PUSH2 0x2444
0000243e: DUP10
0000243f: DUP10
00002440: PUSH2 0x2b17
00002443: JUMP
00002444: JUMPDEST
00002445: SWAP9
00002446: POP
00002447: SWAP2
00002448: POP
00002449: DUP2
0000244a: ISZERO
0000244b: PUSH2 0x2488
0000244e: JUMPI
0000244f: POP
00002450: PUSH1 0x40
00002452: DUP1
00002453: MLOAD
00002454: DUP1
00002455: DUP3
00002456: ADD
00002457: SWAP1
00002458: SWAP2
00002459: MSTORE
0000245a: PUSH1 0x03
0000245c: DUP2
0000245d: MSTORE
0000245e: PUSH32 0x6f75740000000000000000000000000000000000000000000000000000000000
0000247f: PUSH1 0x20
00002481: DUP3
00002482: ADD
00002483: MSTORE
00002484: PUSH2 0x24be
00002487: JUMP
00002488: JUMPDEST
00002489: POP
0000248a: PUSH1 0x40
0000248c: DUP1
0000248d: MLOAD
0000248e: DUP1
0000248f: DUP3
00002490: ADD
00002491: SWAP1
00002492: SWAP2
00002493: MSTORE
00002494: PUSH1 0x02
00002496: DUP2
00002497: MSTORE
00002498: PUSH32 0x696e000000000000000000000000000000000000000000000000000000000000
000024b9: PUSH1 0x20
000024bb: DUP3
000024bc: ADD
000024bd: MSTORE
000024be: JUMPDEST
000024bf: DUP1
000024c0: DUP4
000024c1: PUSH1 0x40
000024c3: MLOAD
000024c4: PUSH1 0x20
000024c6: ADD
000024c7: PUSH2 0x24d1
000024ca: SWAP3
000024cb: SWAP2
000024cc: SWAP1
000024cd: PUSH2 0x3bc0
000024d0: JUMP
000024d1: JUMPDEST
000024d2: PUSH1 0x40
000024d4: MLOAD
000024d5: PUSH1 0x20
000024d7: DUP2
000024d8: DUP4
000024d9: SUB
000024da: SUB
000024db: DUP2
000024dc: MSTORE
000024dd: SWAP1
000024de: PUSH1 0x40
000024e0: MSTORE
000024e1: SWAP7
000024e2: POP
000024e3: DUP3
000024e4: DUP2
000024e5: PUSH1 0x40
000024e7: MLOAD
000024e8: PUSH1 0x20
000024ea: ADD
000024eb: PUSH2 0x21dd
000024ee: SWAP3
000024ef: SWAP2
000024f0: SWAP1
000024f1: PUSH2 0x3cdd
000024f4: JUMP
000024f5: JUMPDEST
000024f6: PUSH1 0x60
000024f8: DUP1
000024f9: PUSH1 0x00
000024fb: DUP1
000024fc: PUSH1 0x60
000024fe: DUP1
000024ff: PUSH1 0x60
00002501: PUSH1 0x00
00002503: PUSH2 0x250c
00002506: DUP11
00002507: DUP11
00002508: PUSH2 0x2b17
0000250b: JUMP
0000250c: JUMPDEST
0000250d: SWAP10
0000250e: POP
0000250f: SWAP1
00002510: POP
00002511: DUP1
00002512: ISZERO
00002513: PUSH2 0x258d
00002516: JUMPI
00002517: PUSH2 0x2524
0000251a: PUSH1 0x1e
0000251c: PUSH1 0x5b
0000251e: DUP13
0000251f: DUP13
00002520: PUSH2 0x298e
00002523: JUMP
00002524: JUMPDEST
00002525: SWAP10
00002526: POP
00002527: SWAP5
00002528: POP
00002529: PUSH2 0x2531
0000252c: DUP6
0000252d: PUSH2 0x1ce2
00002530: JUMP
00002531: JUMPDEST
00002532: SWAP4
00002533: POP
00002534: PUSH2 0x2541
00002537: PUSH1 0x01
00002539: PUSH1 0x1f
0000253b: DUP13
0000253c: DUP13
0000253d: PUSH2 0x298e
00002540: JUMP
00002541: JUMPDEST
00002542: SWAP10
00002543: POP
00002544: SWAP5
00002545: POP
00002546: PUSH2 0x254e
00002549: DUP6
0000254a: PUSH2 0x1ce2
0000254d: JUMP
0000254e: JUMPDEST
0000254f: SWAP3
00002550: POP
00002551: PUSH1 0x40
00002553: MLOAD
00002554: DUP1
00002555: PUSH1 0x40
00002557: ADD
00002558: PUSH1 0x40
0000255a: MSTORE
0000255b: DUP1
0000255c: PUSH1 0x01
0000255e: DUP2
0000255f: MSTORE
00002560: PUSH1 0x20
00002562: ADD
00002563: PUSH32 0x3100000000000000000000000000000000000000000000000000000000000000
00002584: DUP2
00002585: MSTORE
00002586: POP
00002587: SWAP2
00002588: POP
00002589: PUSH2 0x26e8
0000258c: JUMP
0000258d: JUMPDEST
0000258e: PUSH1 0x00
00002590: PUSH2 0x2599
00002593: DUP12
00002594: DUP12
00002595: PUSH2 0x2b17
00002598: JUMP
00002599: JUMPDEST
0000259a: SWAP11
0000259b: POP
0000259c: SWAP1
0000259d: POP
0000259e: DUP1
0000259f: ISZERO
000025a0: PUSH2 0x2673
000025a3: JUMPI
000025a4: PUSH1 0x40
000025a6: MLOAD
000025a7: DUP1
000025a8: PUSH1 0x40
000025aa: ADD
000025ab: PUSH1 0x40
000025ad: MSTORE
000025ae: DUP1
000025af: PUSH1 0x01
000025b1: DUP2
000025b2: MSTORE
000025b3: PUSH1 0x20
000025b5: ADD
000025b6: PUSH32 0x3100000000000000000000000000000000000000000000000000000000000000
000025d7: DUP2
000025d8: MSTORE
000025d9: POP
000025da: SWAP5
000025db: POP
000025dc: PUSH1 0x40
000025de: MLOAD
000025df: DUP1
000025e0: PUSH1 0x40
000025e2: ADD
000025e3: PUSH1 0x40
000025e5: MSTORE
000025e6: DUP1
000025e7: PUSH1 0x01
000025e9: DUP2
000025ea: MSTORE
000025eb: PUSH1 0x20
000025ed: ADD
000025ee: PUSH32 0x3100000000000000000000000000000000000000000000000000000000000000
0000260f: DUP2
00002610: MSTORE
00002611: POP
00002612: SWAP4
00002613: POP
00002614: PUSH2 0x2621
00002617: PUSH1 0x01
00002619: PUSH1 0x0f
0000261b: DUP14
0000261c: DUP14
0000261d: PUSH2 0x298e
00002620: JUMP
00002621: JUMPDEST
00002622: SWAP11
00002623: POP
00002624: SWAP6
00002625: POP
00002626: PUSH2 0x262e
00002629: DUP7
0000262a: PUSH2 0x1ce2
0000262d: JUMP
0000262e: JUMPDEST
0000262f: SWAP3
00002630: POP
00002631: PUSH2 0x263e
00002634: PUSH1 0x00
00002636: PUSH1 0x64
00002638: DUP14
00002639: DUP14
0000263a: PUSH2 0x298e
0000263d: JUMP
0000263e: JUMPDEST
0000263f: SWAP11
00002640: POP
00002641: SWAP6
00002642: POP
00002643: DUP3
00002644: PUSH2 0x264c
00002647: DUP8
00002648: PUSH2 0x1ce2
0000264b: JUMP
0000264c: JUMPDEST
0000264d: PUSH1 0x40
0000264f: MLOAD
00002650: PUSH1 0x20
00002652: ADD
00002653: PUSH2 0x265d
00002656: SWAP3
00002657: SWAP2
00002658: SWAP1
00002659: PUSH2 0x3daf
0000265c: JUMP
0000265d: JUMPDEST
0000265e: PUSH1 0x40
00002660: MLOAD
00002661: PUSH1 0x20
00002663: DUP2
00002664: DUP4
00002665: SUB
00002666: SUB
00002667: DUP2
00002668: MSTORE
00002669: SWAP1
0000266a: PUSH1 0x40
0000266c: MSTORE
0000266d: SWAP3
0000266e: POP
0000266f: PUSH2 0x26e6
00002672: JUMP
00002673: JUMPDEST
00002674: PUSH2 0x2681
00002677: PUSH1 0x00
00002679: PUSH1 0x1f
0000267b: DUP14
0000267c: DUP14
0000267d: PUSH2 0x298e
00002680: JUMP
00002681: JUMPDEST
00002682: SWAP11
00002683: POP
00002684: SWAP6
00002685: POP
00002686: PUSH2 0x268e
00002689: DUP7
0000268a: PUSH2 0x1ce2
0000268d: JUMP
0000268e: JUMPDEST
0000268f: SWAP5
00002690: POP
00002691: PUSH2 0x269e
00002694: PUSH1 0x01
00002696: PUSH1 0x1f
00002698: DUP14
00002699: DUP14
0000269a: PUSH2 0x298e
0000269d: JUMP
0000269e: JUMPDEST
0000269f: SWAP11
000026a0: POP
000026a1: SWAP6
000026a2: POP
000026a3: PUSH2 0x26ab
000026a6: DUP7
000026a7: PUSH2 0x1ce2
000026aa: JUMP
000026ab: JUMPDEST
000026ac: SWAP4
000026ad: POP
000026ae: PUSH1 0x40
000026b0: MLOAD
000026b1: DUP1
000026b2: PUSH1 0x40
000026b4: ADD
000026b5: PUSH1 0x40
000026b7: MSTORE
000026b8: DUP1
000026b9: PUSH1 0x01
000026bb: DUP2
000026bc: MSTORE
000026bd: PUSH1 0x20
000026bf: ADD
000026c0: PUSH32 0x3100000000000000000000000000000000000000000000000000000000000000
000026e1: DUP2
000026e2: MSTORE
000026e3: POP
000026e4: SWAP3
000026e5: POP
000026e6: JUMPDEST
000026e7: POP
000026e8: JUMPDEST
000026e9: DUP2
000026ea: DUP4
000026eb: DUP6
000026ec: DUP4
000026ed: PUSH2 0x2705
000026f0: JUMPI
000026f1: PUSH1 0x40
000026f3: MLOAD
000026f4: DUP1
000026f5: PUSH1 0x20
000026f7: ADD
000026f8: PUSH1 0x40
000026fa: MSTORE
000026fb: DUP1
000026fc: PUSH1 0x00
000026fe: DUP2
000026ff: MSTORE
00002700: POP
00002701: PUSH2 0x271f
00002704: JUMP
00002705: JUMPDEST
00002706: PUSH1 0x40
00002708: MLOAD
00002709: DUP1
0000270a: PUSH1 0x80
0000270c: ADD
0000270d: PUSH1 0x40
0000270f: MSTORE
00002710: DUP1
00002711: PUSH1 0x52
00002713: DUP2
00002714: MSTORE
00002715: PUSH1 0x20
00002717: ADD
00002718: PUSH2 0x430a
0000271b: PUSH1 0x52
0000271d: SWAP2
0000271e: CODECOPY
0000271f: JUMPDEST
00002720: PUSH1 0x40
00002722: MLOAD
00002723: PUSH1 0x20
00002725: ADD
00002726: PUSH2 0x2732
00002729: SWAP5
0000272a: SWAP4
0000272b: SWAP3
0000272c: SWAP2
0000272d: SWAP1
0000272e: PUSH2 0x3e07
00002731: JUMP
00002732: JUMPDEST
00002733: PUSH1 0x40
00002735: MLOAD
00002736: PUSH1 0x20
00002738: DUP2
00002739: DUP4
0000273a: SUB
0000273b: SUB
0000273c: DUP2
0000273d: MSTORE
0000273e: SWAP1
0000273f: PUSH1 0x40
00002741: MSTORE
00002742: SWAP8
00002743: POP
00002744: DUP2
00002745: DUP4
00002746: DUP6
00002747: DUP4
00002748: PUSH2 0x2786
0000274b: JUMPI
0000274c: PUSH1 0x40
0000274e: MLOAD
0000274f: DUP1
00002750: PUSH1 0x40
00002752: ADD
00002753: PUSH1 0x40
00002755: MSTORE
00002756: DUP1
00002757: PUSH1 0x05
00002759: DUP2
0000275a: MSTORE
0000275b: PUSH1 0x20
0000275d: ADD
0000275e: PUSH32 0x66616c7365000000000000000000000000000000000000000000000000000000
0000277f: DUP2
00002780: MSTORE
00002781: POP
00002782: PUSH2 0x27bd
00002785: JUMP
00002786: JUMPDEST
00002787: PUSH1 0x40
00002789: MLOAD
0000278a: DUP1
0000278b: PUSH1 0x40
0000278d: ADD
0000278e: PUSH1 0x40
00002790: MSTORE
00002791: DUP1
00002792: PUSH1 0x04
00002794: DUP2
00002795: MSTORE
00002796: PUSH1 0x20
00002798: ADD
00002799: PUSH32 0x7472756500000000000000000000000000000000000000000000000000000000
000027ba: DUP2
000027bb: MSTORE
000027bc: POP
000027bd: JUMPDEST
000027be: PUSH1 0x40
000027c0: MLOAD
000027c1: PUSH1 0x20
000027c3: ADD
000027c4: PUSH2 0x27d0
000027c7: SWAP5
000027c8: SWAP4
000027c9: SWAP3
000027ca: SWAP2
000027cb: SWAP1
000027cc: PUSH2 0x3f2c
000027cf: JUMP
000027d0: JUMPDEST
000027d1: PUSH1 0x40
000027d3: DUP1
000027d4: MLOAD
000027d5: DUP1
000027d6: DUP4
000027d7: SUB
000027d8: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000027f9: ADD
000027fa: DUP2
000027fb: MSTORE
000027fc: SWAP2
000027fd: SWAP1
000027fe: MSTORE
000027ff: SWAP8
00002800: SWAP11
00002801: SWAP8
00002802: SWAP10
00002803: POP
00002804: POP
00002805: POP
00002806: POP
00002807: POP
00002808: POP
00002809: POP
0000280a: POP
0000280b: JUMP
0000280c: JUMPDEST
0000280d: PUSH1 0x60
0000280f: DUP1
00002810: PUSH1 0x00
00002812: DUP1
00002813: PUSH2 0x2820
00002816: PUSH1 0x00
00002818: PUSH1 0x02
0000281a: DUP9
0000281b: DUP9
0000281c: PUSH2 0x298e
0000281f: JUMP
00002820: JUMPDEST
00002821: SWAP6
00002822: POP
00002823: SWAP1
00002824: POP
00002825: PUSH2 0x282f
00002828: DUP2
00002829: PUSH1 0x5a
0000282b: PUSH2 0x328d
0000282e: JUMP
0000282f: JUMPDEST
00002830: SWAP1
00002831: POP
00002832: PUSH2 0x283a
00002835: DUP2
00002836: PUSH2 0x1ce2
00002839: JUMP
0000283a: JUMPDEST
0000283b: PUSH1 0x40
0000283d: MLOAD
0000283e: PUSH1 0x20
00002840: ADD
00002841: PUSH2 0x284a
00002844: SWAP2
00002845: SWAP1
00002846: PUSH2 0x4108
00002849: JUMP
0000284a: JUMPDEST
0000284b: PUSH1 0x40
0000284d: MLOAD
0000284e: PUSH1 0x20
00002850: DUP2
00002851: DUP4
00002852: SUB
00002853: SUB
00002854: DUP2
00002855: MSTORE
00002856: SWAP1
00002857: PUSH1 0x40
00002859: MSTORE
0000285a: SWAP4
0000285b: POP
0000285c: PUSH2 0x2864
0000285f: DUP2
00002860: PUSH2 0x1ce2
00002863: JUMP
00002864: JUMPDEST
00002865: PUSH1 0x40
00002867: MLOAD
00002868: PUSH1 0x20
0000286a: ADD
0000286b: PUSH2 0x2874
0000286e: SWAP2
0000286f: SWAP1
00002870: PUSH2 0x41c0
00002873: JUMP
00002874: JUMPDEST
00002875: PUSH1 0x40
00002877: DUP1
00002878: MLOAD
00002879: DUP1
0000287a: DUP4
0000287b: SUB
0000287c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000289d: ADD
0000289e: DUP2
0000289f: MSTORE
000028a0: SWAP2
000028a1: SWAP1
000028a2: MSTORE
000028a3: SWAP4
000028a4: SWAP7
000028a5: SWAP4
000028a6: SWAP6
000028a7: POP
000028a8: POP
000028a9: POP
000028aa: POP
000028ab: JUMP
000028ac: JUMPDEST
000028ad: PUSH1 0x00
000028af: DUP1
000028b0: PUSH27 0x184f03e93ff9f4daa797ed6e38ed64bf6a1f010000000000000000
000028cc: DUP4
000028cd: LT
000028ce: PUSH2 0x28f5
000028d1: JUMPI
000028d2: PUSH27 0x184f03e93ff9f4daa797ed6e38ed64bf6a1f010000000000000000
000028ee: DUP4
000028ef: DIV
000028f0: SWAP3
000028f1: POP
000028f2: PUSH1 0x40
000028f4: ADD
000028f5: JUMPDEST
000028f6: PUSH14 0x04ee2d6d415b85acef8100000000
00002905: DUP4
00002906: LT
00002907: PUSH2 0x2921
0000290a: JUMPI
0000290b: PUSH14 0x04ee2d6d415b85acef8100000000
0000291a: DUP4
0000291b: DIV
0000291c: SWAP3
0000291d: POP
0000291e: PUSH1 0x20
00002920: ADD
00002921: JUMPDEST
00002922: PUSH7 0x2386f26fc10000
0000292a: DUP4
0000292b: LT
0000292c: PUSH2 0x293f
0000292f: JUMPI
00002930: PUSH7 0x2386f26fc10000
00002938: DUP4
00002939: DIV
0000293a: SWAP3
0000293b: POP
0000293c: PUSH1 0x10
0000293e: ADD
0000293f: JUMPDEST
00002940: PUSH4 0x05f5e100
00002945: DUP4
00002946: LT
00002947: PUSH2 0x2957
0000294a: JUMPI
0000294b: PUSH4 0x05f5e100
00002950: DUP4
00002951: DIV
00002952: SWAP3
00002953: POP
00002954: PUSH1 0x08
00002956: ADD
00002957: JUMPDEST
00002958: PUSH2 0x2710
0000295b: DUP4
0000295c: LT
0000295d: PUSH2 0x296b
00002960: JUMPI
00002961: PUSH2 0x2710
00002964: DUP4
00002965: DIV
00002966: SWAP3
00002967: POP
00002968: PUSH1 0x04
0000296a: ADD
0000296b: JUMPDEST
0000296c: PUSH1 0x64
0000296e: DUP4
0000296f: LT
00002970: PUSH2 0x297d
00002973: JUMPI
00002974: PUSH1 0x64
00002976: DUP4
00002977: DIV
00002978: SWAP3
00002979: POP
0000297a: PUSH1 0x02
0000297c: ADD
0000297d: JUMPDEST
0000297e: PUSH1 0x0a
00002980: DUP4
00002981: LT
00002982: PUSH2 0x0589
00002985: JUMPI
00002986: PUSH1 0x01
00002988: ADD
00002989: SWAP3
0000298a: SWAP2
0000298b: POP
0000298c: POP
0000298d: JUMP
0000298e: JUMPDEST
0000298f: PUSH1 0x00
00002991: DUP1
00002992: PUSH1 0x00
00002994: DUP5
00002995: DUP5
00002996: PUSH1 0x40
00002998: MLOAD
00002999: PUSH1 0x20
0000299b: ADD
0000299c: PUSH2 0x29af
0000299f: SWAP3
000029a0: SWAP2
000029a1: SWAP1
000029a2: SWAP2
000029a3: DUP3
000029a4: MSTORE
000029a5: PUSH1 0x20
000029a7: DUP3
000029a8: ADD
000029a9: MSTORE
000029aa: PUSH1 0x40
000029ac: ADD
000029ad: SWAP1
000029ae: JUMP
000029af: JUMPDEST
000029b0: PUSH1 0x40
000029b2: DUP1
000029b3: MLOAD
000029b4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000029d5: DUP2
000029d6: DUP5
000029d7: SUB
000029d8: ADD
000029d9: DUP2
000029da: MSTORE
000029db: SWAP2
000029dc: SWAP1
000029dd: MSTORE
000029de: DUP1
000029df: MLOAD
000029e0: PUSH1 0x20
000029e2: SWAP1
000029e3: SWAP2
000029e4: ADD
000029e5: KECCAK256
000029e6: SWAP1
000029e7: POP
000029e8: DUP4
000029e9: PUSH2 0x29f1
000029ec: DUP2
000029ed: PUSH2 0x4252
000029f0: JUMP
000029f1: JUMPDEST
000029f2: SWAP5
000029f3: POP
000029f4: DUP8
000029f5: SWAP1
000029f6: POP
000029f7: PUSH2 0x2a00
000029fa: DUP2
000029fb: DUP9
000029fc: PUSH2 0x2fdf
000029ff: JUMP
00002a00: JUMPDEST
00002a01: PUSH2 0x2a0a
00002a04: SWAP1
00002a05: DUP4
00002a06: PUSH2 0x3021
00002a09: JUMP
00002a0a: JUMPDEST
00002a0b: PUSH2 0x2a14
00002a0e: SWAP2
00002a0f: SWAP1
00002a10: PUSH2 0x3035
00002a13: JUMP
00002a14: JUMPDEST
00002a15: SWAP8
00002a16: SWAP4
00002a17: SWAP7
00002a18: POP
00002a19: SWAP3
00002a1a: SWAP5
00002a1b: POP
00002a1c: POP
00002a1d: POP
00002a1e: POP
00002a1f: POP
00002a20: JUMP
00002a21: JUMPDEST
00002a22: PUSH1 0x60
00002a24: PUSH1 0x00
00002a26: DUP1
00002a27: PUSH1 0x00
00002a29: PUSH2 0x2a36
00002a2c: PUSH1 0x00
00002a2e: PUSH1 0x97
00002a30: DUP9
00002a31: DUP9
00002a32: PUSH2 0x298e
00002a35: JUMP
00002a36: JUMPDEST
00002a37: SWAP6
00002a38: POP
00002a39: SWAP2
00002a3a: POP
00002a3b: PUSH2 0x2a44
00002a3e: DUP7
00002a3f: DUP7
00002a40: PUSH2 0x2b17
00002a43: JUMP
00002a44: JUMPDEST
00002a45: SWAP6
00002a46: POP
00002a47: SWAP1
00002a48: POP
00002a49: PUSH1 0x00
00002a4b: DUP1
00002a4c: PUSH2 0x2a58
00002a4f: DUP2
00002a50: PUSH1 0xc9
00002a52: DUP11
00002a53: DUP11
00002a54: PUSH2 0x298e
00002a57: JUMP
00002a58: JUMPDEST
00002a59: SWAP8
00002a5a: POP
00002a5b: SWAP2
00002a5c: POP
00002a5d: PUSH2 0x2a66
00002a60: DUP9
00002a61: DUP9
00002a62: PUSH2 0x2b17
00002a65: JUMP
00002a66: JUMPDEST
00002a67: SWAP8
00002a68: POP
00002a69: SWAP1
00002a6a: POP
00002a6b: PUSH1 0x00
00002a6d: DUP1
00002a6e: DUP3
00002a6f: ISZERO
00002a70: ISZERO
00002a71: DUP6
00002a72: ISZERO
00002a73: ISZERO
00002a74: SUB
00002a75: PUSH2 0x2a8c
00002a78: JUMPI
00002a79: PUSH2 0x2a82
00002a7c: DUP5
00002a7d: DUP8
00002a7e: PUSH2 0x3035
00002a81: JUMP
00002a82: JUMPDEST
00002a83: SWAP2
00002a84: POP
00002a85: DUP5
00002a86: SWAP1
00002a87: POP
00002a88: PUSH2 0x2aae
00002a8b: JUMP
00002a8c: JUMPDEST
00002a8d: DUP4
00002a8e: DUP7
00002a8f: GT
00002a90: ISZERO
00002a91: PUSH2 0x2a9e
00002a94: JUMPI
00002a95: PUSH2 0x2a82
00002a98: DUP5
00002a99: DUP8
00002a9a: PUSH2 0x2fdf
00002a9d: JUMP
00002a9e: JUMPDEST
00002a9f: PUSH2 0x2aa8
00002aa2: DUP7
00002aa3: DUP6
00002aa4: PUSH2 0x2fdf
00002aa7: JUMP
00002aa8: JUMPDEST
00002aa9: SWAP2
00002aaa: POP
00002aab: DUP3
00002aac: SWAP1
00002aad: POP
00002aae: JUMPDEST
00002aaf: PUSH1 0x00
00002ab1: PUSH2 0x2aba
00002ab4: DUP8
00002ab5: DUP8
00002ab6: PUSH2 0x2b93
00002ab9: JUMP
00002aba: JUMPDEST
00002abb: SWAP1
00002abc: POP
00002abd: DUP1
00002abe: PUSH2 0x2ac7
00002ac1: DUP5
00002ac2: DUP5
00002ac3: PUSH2 0x2b93
00002ac6: JUMP
00002ac7: JUMPDEST
00002ac8: DUP3
00002ac9: PUSH1 0x40
00002acb: MLOAD
00002acc: PUSH1 0x20
00002ace: ADD
00002acf: PUSH2 0x2ada
00002ad2: SWAP4
00002ad3: SWAP3
00002ad4: SWAP2
00002ad5: SWAP1
00002ad6: PUSH2 0x428a
00002ad9: JUMP
00002ada: JUMPDEST
00002adb: PUSH1 0x40
00002add: DUP1
00002ade: MLOAD
00002adf: DUP1
00002ae0: DUP4
00002ae1: SUB
00002ae2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002b03: ADD
00002b04: DUP2
00002b05: MSTORE
00002b06: SWAP2
00002b07: SWAP1
00002b08: MSTORE
00002b09: SWAP12
00002b0a: SWAP10
00002b0b: SWAP11
00002b0c: POP
00002b0d: POP
00002b0e: POP
00002b0f: POP
00002b10: POP
00002b11: POP
00002b12: POP
00002b13: POP
00002b14: POP
00002b15: POP
00002b16: JUMP
00002b17: JUMPDEST
00002b18: PUSH1 0x00
00002b1a: DUP1
00002b1b: PUSH1 0x00
00002b1d: DUP5
00002b1e: DUP5
00002b1f: PUSH1 0x40
00002b21: MLOAD
00002b22: PUSH1 0x20
00002b24: ADD
00002b25: PUSH2 0x2b38
00002b28: SWAP3
00002b29: SWAP2
00002b2a: SWAP1
00002b2b: SWAP2
00002b2c: DUP3
00002b2d: MSTORE
00002b2e: PUSH1 0x20
00002b30: DUP3
00002b31: ADD
00002b32: MSTORE
00002b33: PUSH1 0x40
00002b35: ADD
00002b36: SWAP1
00002b37: JUMP
00002b38: JUMPDEST
00002b39: PUSH1 0x40
00002b3b: DUP1
00002b3c: MLOAD
00002b3d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002b5e: DUP2
00002b5f: DUP5
00002b60: SUB
00002b61: ADD
00002b62: DUP2
00002b63: MSTORE
00002b64: SWAP2
00002b65: SWAP1
00002b66: MSTORE
00002b67: DUP1
00002b68: MLOAD
00002b69: PUSH1 0x20
00002b6b: SWAP1
00002b6c: SWAP2
00002b6d: ADD
00002b6e: KECCAK256
00002b6f: SWAP1
00002b70: POP
00002b71: DUP4
00002b72: PUSH2 0x2b7a
00002b75: DUP2
00002b76: PUSH2 0x4252
00002b79: JUMP
00002b7a: JUMPDEST
00002b7b: SWAP5
00002b7c: POP
00002b7d: PUSH2 0x2b89
00002b80: SWAP1
00002b81: POP
00002b82: PUSH1 0x02
00002b84: DUP3
00002b85: PUSH2 0x3021
00002b88: JUMP
00002b89: JUMPDEST
00002b8a: ISZERO
00002b8b: SWAP6
00002b8c: SWAP4
00002b8d: SWAP5
00002b8e: POP
00002b8f: POP
00002b90: POP
00002b91: POP
00002b92: JUMP
00002b93: JUMPDEST
00002b94: PUSH1 0x60
00002b96: DUP2
00002b97: DUP1
00002b98: ISZERO
00002b99: PUSH2 0x2ba1
00002b9c: JUMPI
00002b9d: POP
00002b9e: DUP3
00002b9f: ISZERO
00002ba0: ISZERO
00002ba1: JUMPDEST
00002ba2: ISZERO
00002ba3: PUSH2 0x2bd5
00002ba6: JUMPI
00002ba7: PUSH2 0x2baf
00002baa: DUP4
00002bab: PUSH2 0x1ce2
00002bae: JUMP
00002baf: JUMPDEST
00002bb0: PUSH1 0x40
00002bb2: MLOAD
00002bb3: PUSH1 0x20
00002bb5: ADD
00002bb6: PUSH2 0x2bbf
00002bb9: SWAP2
00002bba: SWAP1
00002bbb: PUSH2 0x3b7b
00002bbe: JUMP
00002bbf: JUMPDEST
00002bc0: PUSH1 0x40
00002bc2: MLOAD
00002bc3: PUSH1 0x20
00002bc5: DUP2
00002bc6: DUP4
00002bc7: SUB
00002bc8: SUB
00002bc9: DUP2
00002bca: MSTORE
00002bcb: SWAP1
00002bcc: PUSH1 0x40
00002bce: MSTORE
00002bcf: SWAP1
00002bd0: POP
00002bd1: PUSH2 0x0589
00002bd4: JUMP
00002bd5: JUMPDEST
00002bd6: PUSH2 0x0e90
00002bd9: DUP4
00002bda: PUSH2 0x1ce2
00002bdd: JUMP
00002bde: JUMPDEST
00002bdf: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002c00: DUP2
00002c01: AND
00002c02: DUP2
00002c03: EQ
00002c04: PUSH2 0x0f22
00002c07: JUMPI
00002c08: PUSH1 0x00
00002c0a: DUP1
00002c0b: REVERT
00002c0c: JUMPDEST
00002c0d: PUSH1 0x00
00002c0f: PUSH1 0x20
00002c11: DUP3
00002c12: DUP5
00002c13: SUB
00002c14: SLT
00002c15: ISZERO
00002c16: PUSH2 0x2c1e
00002c19: JUMPI
00002c1a: PUSH1 0x00
00002c1c: DUP1
00002c1d: REVERT
00002c1e: JUMPDEST
00002c1f: DUP2
00002c20: CALLDATALOAD
00002c21: PUSH2 0x0e90
00002c24: DUP2
00002c25: PUSH2 0x2bde
00002c28: JUMP
00002c29: JUMPDEST
00002c2a: PUSH1 0x00
00002c2c: JUMPDEST
00002c2d: DUP4
00002c2e: DUP2
00002c2f: LT
00002c30: ISZERO
00002c31: PUSH2 0x2c44
00002c34: JUMPI
00002c35: DUP2
00002c36: DUP2
00002c37: ADD
00002c38: MLOAD
00002c39: DUP4
00002c3a: DUP3
00002c3b: ADD
00002c3c: MSTORE
00002c3d: PUSH1 0x20
00002c3f: ADD
00002c40: PUSH2 0x2c2c
00002c43: JUMP
00002c44: JUMPDEST
00002c45: POP
00002c46: POP
00002c47: PUSH1 0x00
00002c49: SWAP2
00002c4a: ADD
00002c4b: MSTORE
00002c4c: JUMP
00002c4d: JUMPDEST
00002c4e: PUSH1 0x00
00002c50: DUP2
00002c51: MLOAD
00002c52: DUP1
00002c53: DUP5
00002c54: MSTORE
00002c55: PUSH2 0x2c65
00002c58: DUP2
00002c59: PUSH1 0x20
00002c5b: DUP7
00002c5c: ADD
00002c5d: PUSH1 0x20
00002c5f: DUP7
00002c60: ADD
00002c61: PUSH2 0x2c29
00002c64: JUMP
00002c65: JUMPDEST
00002c66: PUSH1 0x1f
00002c68: ADD
00002c69: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002c8a: AND
00002c8b: SWAP3
00002c8c: SWAP1
00002c8d: SWAP3
00002c8e: ADD
00002c8f: PUSH1 0x20
00002c91: ADD
00002c92: SWAP3
00002c93: SWAP2
00002c94: POP
00002c95: POP
00002c96: JUMP
00002c97: JUMPDEST
00002c98: PUSH1 0x20
00002c9a: DUP2
00002c9b: MSTORE
00002c9c: PUSH1 0x00
00002c9e: PUSH2 0x0e90
00002ca1: PUSH1 0x20
00002ca3: DUP4
00002ca4: ADD
00002ca5: DUP5
00002ca6: PUSH2 0x2c4d
00002ca9: JUMP
00002caa: JUMPDEST
00002cab: PUSH1 0x00
00002cad: PUSH1 0x20
00002caf: DUP3
00002cb0: DUP5
00002cb1: SUB
00002cb2: SLT
00002cb3: ISZERO
00002cb4: PUSH2 0x2cbc
00002cb7: JUMPI
00002cb8: PUSH1 0x00
00002cba: DUP1
00002cbb: REVERT
00002cbc: JUMPDEST
00002cbd: POP
00002cbe: CALLDATALOAD
00002cbf: SWAP2
00002cc0: SWAP1
00002cc1: POP
00002cc2: JUMP
00002cc3: JUMPDEST
00002cc4: DUP1
00002cc5: CALLDATALOAD
00002cc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cdb: DUP2
00002cdc: AND
00002cdd: DUP2
00002cde: EQ
00002cdf: PUSH2 0x2ce7
00002ce2: JUMPI
00002ce3: PUSH1 0x00
00002ce5: DUP1
00002ce6: REVERT
00002ce7: JUMPDEST
00002ce8: SWAP2
00002ce9: SWAP1
00002cea: POP
00002ceb: JUMP
00002cec: JUMPDEST
00002ced: PUSH1 0x00
00002cef: DUP1
00002cf0: PUSH1 0x40
00002cf2: DUP4
00002cf3: DUP6
00002cf4: SUB
00002cf5: SLT
00002cf6: ISZERO
00002cf7: PUSH2 0x2cff
00002cfa: JUMPI
00002cfb: PUSH1 0x00
00002cfd: DUP1
00002cfe: REVERT
00002cff: JUMPDEST
00002d00: PUSH2 0x2d08
00002d03: DUP4
00002d04: PUSH2 0x2cc3
00002d07: JUMP
00002d08: JUMPDEST
00002d09: SWAP5
00002d0a: PUSH1 0x20
00002d0c: SWAP4
00002d0d: SWAP1
00002d0e: SWAP4
00002d0f: ADD
00002d10: CALLDATALOAD
00002d11: SWAP4
00002d12: POP
00002d13: POP
00002d14: POP
00002d15: JUMP
00002d16: JUMPDEST
00002d17: PUSH1 0x00
00002d19: DUP1
00002d1a: PUSH1 0x40
00002d1c: DUP4
00002d1d: DUP6
00002d1e: SUB
00002d1f: SLT
00002d20: ISZERO
00002d21: PUSH2 0x2d29
00002d24: JUMPI
00002d25: PUSH1 0x00
00002d27: DUP1
00002d28: REVERT
00002d29: JUMPDEST
00002d2a: POP
00002d2b: POP
00002d2c: DUP1
00002d2d: CALLDATALOAD
00002d2e: SWAP3
00002d2f: PUSH1 0x20
00002d31: SWAP1
00002d32: SWAP2
00002d33: ADD
00002d34: CALLDATALOAD
00002d35: SWAP2
00002d36: POP
00002d37: JUMP
00002d38: JUMPDEST
00002d39: PUSH1 0x00
00002d3b: DUP1
00002d3c: PUSH1 0x00
00002d3e: PUSH1 0x60
00002d40: DUP5
00002d41: DUP7
00002d42: SUB
00002d43: SLT
00002d44: ISZERO
00002d45: PUSH2 0x2d4d
00002d48: JUMPI
00002d49: PUSH1 0x00
00002d4b: DUP1
00002d4c: REVERT
00002d4d: JUMPDEST
00002d4e: PUSH2 0x2d56
00002d51: DUP5
00002d52: PUSH2 0x2cc3
00002d55: JUMP
00002d56: JUMPDEST
00002d57: SWAP3
00002d58: POP
00002d59: PUSH2 0x2d64
00002d5c: PUSH1 0x20
00002d5e: DUP6
00002d5f: ADD
00002d60: PUSH2 0x2cc3
00002d63: JUMP
00002d64: JUMPDEST
00002d65: SWAP2
00002d66: POP
00002d67: PUSH1 0x40
00002d69: DUP5
00002d6a: ADD
00002d6b: CALLDATALOAD
00002d6c: SWAP1
00002d6d: POP
00002d6e: SWAP3
00002d6f: POP
00002d70: SWAP3
00002d71: POP
00002d72: SWAP3
00002d73: JUMP
00002d74: JUMPDEST
00002d75: PUSH1 0x00
00002d77: PUSH1 0x20
00002d79: DUP3
00002d7a: DUP5
00002d7b: SUB
00002d7c: SLT
00002d7d: ISZERO
00002d7e: PUSH2 0x2d86
00002d81: JUMPI
00002d82: PUSH1 0x00
00002d84: DUP1
00002d85: REVERT
00002d86: JUMPDEST
00002d87: PUSH2 0x0e90
00002d8a: DUP3
00002d8b: PUSH2 0x2cc3
00002d8e: JUMP
00002d8f: JUMPDEST
00002d90: DUP6
00002d91: DUP2
00002d92: MSTORE
00002d93: PUSH1 0xa0
00002d95: PUSH1 0x20
00002d97: DUP3
00002d98: ADD
00002d99: MSTORE
00002d9a: PUSH1 0x00
00002d9c: PUSH2 0x2da8
00002d9f: PUSH1 0xa0
00002da1: DUP4
00002da2: ADD
00002da3: DUP8
00002da4: PUSH2 0x2c4d
00002da7: JUMP
00002da8: JUMPDEST
00002da9: PUSH1 0x40
00002dab: DUP4
00002dac: ADD
00002dad: SWAP6
00002dae: SWAP1
00002daf: SWAP6
00002db0: MSTORE
00002db1: POP
00002db2: PUSH1 0x60
00002db4: DUP2
00002db5: ADD
00002db6: SWAP3
00002db7: SWAP1
00002db8: SWAP3
00002db9: MSTORE
00002dba: PUSH1 0x80
00002dbc: SWAP1
00002dbd: SWAP2
00002dbe: ADD
00002dbf: MSTORE
00002dc0: SWAP3
00002dc1: SWAP2
00002dc2: POP
00002dc3: POP
00002dc4: JUMP
00002dc5: JUMPDEST
00002dc6: PUSH1 0x00
00002dc8: DUP1
00002dc9: PUSH1 0x40
00002dcb: DUP4
00002dcc: DUP6
00002dcd: SUB
00002dce: SLT
00002dcf: ISZERO
00002dd0: PUSH2 0x2dd8
00002dd3: JUMPI
00002dd4: PUSH1 0x00
00002dd6: DUP1
00002dd7: REVERT
00002dd8: JUMPDEST
00002dd9: PUSH2 0x2de1
00002ddc: DUP4
00002ddd: PUSH2 0x2cc3
00002de0: JUMP
00002de1: JUMPDEST
00002de2: SWAP2
00002de3: POP
00002de4: PUSH1 0x20
00002de6: DUP4
00002de7: ADD
00002de8: CALLDATALOAD
00002de9: DUP1
00002dea: ISZERO
00002deb: ISZERO
00002dec: DUP2
00002ded: EQ
00002dee: PUSH2 0x2df6
00002df1: JUMPI
00002df2: PUSH1 0x00
00002df4: DUP1
00002df5: REVERT
00002df6: JUMPDEST
00002df7: DUP1
00002df8: SWAP2
00002df9: POP
00002dfa: POP
00002dfb: SWAP3
00002dfc: POP
00002dfd: SWAP3
00002dfe: SWAP1
00002dff: POP
00002e00: JUMP
00002e01: JUMPDEST
00002e02: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002e23: PUSH1 0x00
00002e25: MSTORE
00002e26: PUSH1 0x41
00002e28: PUSH1 0x04
00002e2a: MSTORE
00002e2b: PUSH1 0x24
00002e2d: PUSH1 0x00
00002e2f: REVERT
00002e30: JUMPDEST
00002e31: PUSH1 0x00
00002e33: DUP1
00002e34: PUSH1 0x00
00002e36: DUP1
00002e37: PUSH1 0x80
00002e39: DUP6
00002e3a: DUP8
00002e3b: SUB
00002e3c: SLT
00002e3d: ISZERO
00002e3e: PUSH2 0x2e46
00002e41: JUMPI
00002e42: PUSH1 0x00
00002e44: DUP1
00002e45: REVERT
00002e46: JUMPDEST
00002e47: PUSH2 0x2e4f
00002e4a: DUP6
00002e4b: PUSH2 0x2cc3
00002e4e: JUMP
00002e4f: JUMPDEST
00002e50: SWAP4
00002e51: POP
00002e52: PUSH2 0x2e5d
00002e55: PUSH1 0x20
00002e57: DUP7
00002e58: ADD
00002e59: PUSH2 0x2cc3
00002e5c: JUMP
00002e5d: JUMPDEST
00002e5e: SWAP3
00002e5f: POP
00002e60: PUSH1 0x40
00002e62: DUP6
00002e63: ADD
00002e64: CALLDATALOAD
00002e65: SWAP2
00002e66: POP
00002e67: PUSH1 0x60
00002e69: DUP6
00002e6a: ADD
00002e6b: CALLDATALOAD
00002e6c: PUSH8 0xffffffffffffffff
00002e75: DUP1
00002e76: DUP3
00002e77: GT
00002e78: ISZERO
00002e79: PUSH2 0x2e81
00002e7c: JUMPI
00002e7d: PUSH1 0x00
00002e7f: DUP1
00002e80: REVERT
00002e81: JUMPDEST
00002e82: DUP2
00002e83: DUP8
00002e84: ADD
00002e85: SWAP2
00002e86: POP
00002e87: DUP8
00002e88: PUSH1 0x1f
00002e8a: DUP4
00002e8b: ADD
00002e8c: SLT
00002e8d: PUSH2 0x2e95
00002e90: JUMPI
00002e91: PUSH1 0x00
00002e93: DUP1
00002e94: REVERT
00002e95: JUMPDEST
00002e96: DUP2
00002e97: CALLDATALOAD
00002e98: DUP2
00002e99: DUP2
00002e9a: GT
00002e9b: ISZERO
00002e9c: PUSH2 0x2ea7
00002e9f: JUMPI
00002ea0: PUSH2 0x2ea7
00002ea3: PUSH2 0x2e01
00002ea6: JUMP
00002ea7: JUMPDEST
00002ea8: PUSH1 0x40
00002eaa: MLOAD
00002eab: PUSH1 0x1f
00002ead: DUP3
00002eae: ADD
00002eaf: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002ed0: SWAP1
00002ed1: DUP2
00002ed2: AND
00002ed3: PUSH1 0x3f
00002ed5: ADD
00002ed6: AND
00002ed7: DUP2
00002ed8: ADD
00002ed9: SWAP1
00002eda: DUP4
00002edb: DUP3
00002edc: GT
00002edd: DUP2
00002ede: DUP4
00002edf: LT
00002ee0: OR
00002ee1: ISZERO
00002ee2: PUSH2 0x2eed
00002ee5: JUMPI
00002ee6: PUSH2 0x2eed
00002ee9: PUSH2 0x2e01
00002eec: JUMP
00002eed: JUMPDEST
00002eee: DUP2
00002eef: PUSH1 0x40
00002ef1: MSTORE
00002ef2: DUP3
00002ef3: DUP2
00002ef4: MSTORE
00002ef5: DUP11
00002ef6: PUSH1 0x20
00002ef8: DUP5
00002ef9: DUP8
00002efa: ADD
00002efb: ADD
00002efc: GT
00002efd: ISZERO
00002efe: PUSH2 0x2f06
00002f01: JUMPI
00002f02: PUSH1 0x00
00002f04: DUP1
00002f05: REVERT
00002f06: JUMPDEST
00002f07: DUP3
00002f08: PUSH1 0x20
00002f0a: DUP7
00002f0b: ADD
00002f0c: PUSH1 0x20
00002f0e: DUP4
00002f0f: ADD
00002f10: CALLDATACOPY
00002f11: PUSH1 0x00
00002f13: PUSH1 0x20
00002f15: DUP5
00002f16: DUP4
00002f17: ADD
00002f18: ADD
00002f19: MSTORE
00002f1a: DUP1
00002f1b: SWAP6
00002f1c: POP
00002f1d: POP
00002f1e: POP
00002f1f: POP
00002f20: POP
00002f21: POP
00002f22: SWAP3
00002f23: SWAP6
00002f24: SWAP2
00002f25: SWAP5
00002f26: POP
00002f27: SWAP3
00002f28: POP
00002f29: JUMP
00002f2a: JUMPDEST
00002f2b: PUSH1 0x00
00002f2d: DUP1
00002f2e: PUSH1 0x40
00002f30: DUP4
00002f31: DUP6
00002f32: SUB
00002f33: SLT
00002f34: ISZERO
00002f35: PUSH2 0x2f3d
00002f38: JUMPI
00002f39: PUSH1 0x00
00002f3b: DUP1
00002f3c: REVERT
00002f3d: JUMPDEST
00002f3e: PUSH2 0x2f46
00002f41: DUP4
00002f42: PUSH2 0x2cc3
00002f45: JUMP
00002f46: JUMPDEST
00002f47: SWAP2
00002f48: POP
00002f49: PUSH2 0x2f54
00002f4c: PUSH1 0x20
00002f4e: DUP5
00002f4f: ADD
00002f50: PUSH2 0x2cc3
00002f53: JUMP
00002f54: JUMPDEST
00002f55: SWAP1
00002f56: POP
00002f57: SWAP3
00002f58: POP
00002f59: SWAP3
00002f5a: SWAP1
00002f5b: POP
00002f5c: JUMP
00002f5d: JUMPDEST
00002f5e: PUSH1 0x01
00002f60: DUP2
00002f61: DUP2
00002f62: SHR
00002f63: SWAP1
00002f64: DUP3
00002f65: AND
00002f66: DUP1
00002f67: PUSH2 0x2f71
00002f6a: JUMPI
00002f6b: PUSH1 0x7f
00002f6d: DUP3
00002f6e: AND
00002f6f: SWAP2
00002f70: POP
00002f71: JUMPDEST
00002f72: PUSH1 0x20
00002f74: DUP3
00002f75: LT
00002f76: DUP2
00002f77: SUB
00002f78: PUSH2 0x2faa
00002f7b: JUMPI
00002f7c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002f9d: PUSH1 0x00
00002f9f: MSTORE
00002fa0: PUSH1 0x22
00002fa2: PUSH1 0x04
00002fa4: MSTORE
00002fa5: PUSH1 0x24
00002fa7: PUSH1 0x00
00002fa9: REVERT
00002faa: JUMPDEST
00002fab: POP
00002fac: SWAP2
00002fad: SWAP1
00002fae: POP
00002faf: JUMP
00002fb0: JUMPDEST
00002fb1: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002fd2: PUSH1 0x00
00002fd4: MSTORE
00002fd5: PUSH1 0x11
00002fd7: PUSH1 0x04
00002fd9: MSTORE
00002fda: PUSH1 0x24
00002fdc: PUSH1 0x00
00002fde: REVERT
00002fdf: JUMPDEST
00002fe0: DUP2
00002fe1: DUP2
00002fe2: SUB
00002fe3: DUP2
00002fe4: DUP2
00002fe5: GT
00002fe6: ISZERO
00002fe7: PUSH2 0x0589
00002fea: JUMPI
00002feb: PUSH2 0x0589
00002fee: PUSH2 0x2fb0
00002ff1: JUMP
00002ff2: JUMPDEST
00002ff3: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003014: PUSH1 0x00
00003016: MSTORE
00003017: PUSH1 0x12
00003019: PUSH1 0x04
0000301b: MSTORE
0000301c: PUSH1 0x24
0000301e: PUSH1 0x00
00003020: REVERT
00003021: JUMPDEST
00003022: PUSH1 0x00
00003024: DUP3
00003025: PUSH2 0x3030
00003028: JUMPI
00003029: PUSH2 0x3030
0000302c: PUSH2 0x2ff2
0000302f: JUMP
00003030: JUMPDEST
00003031: POP
00003032: MOD
00003033: SWAP1
00003034: JUMP
00003035: JUMPDEST
00003036: DUP1
00003037: DUP3
00003038: ADD
00003039: DUP1
0000303a: DUP3
0000303b: GT
0000303c: ISZERO
0000303d: PUSH2 0x0589
00003040: JUMPI
00003041: PUSH2 0x0589
00003044: PUSH2 0x2fb0
00003047: JUMP
00003048: JUMPDEST
00003049: PUSH1 0x00
0000304b: DUP2
0000304c: MLOAD
0000304d: PUSH2 0x305a
00003050: DUP2
00003051: DUP6
00003052: PUSH1 0x20
00003054: DUP7
00003055: ADD
00003056: PUSH2 0x2c29
00003059: JUMP
0000305a: JUMPDEST
0000305b: SWAP3
0000305c: SWAP1
0000305d: SWAP3
0000305e: ADD
0000305f: SWAP3
00003060: SWAP2
00003061: POP
00003062: POP
00003063: JUMP
00003064: JUMPDEST
00003065: PUSH32 0x7b20226e616d65223a20224d657263757269616c202300000000000000000000
00003086: DUP2
00003087: MSTORE
00003088: PUSH1 0x00
0000308a: DUP5
0000308b: MLOAD
0000308c: PUSH2 0x309c
0000308f: DUP2
00003090: PUSH1 0x16
00003092: DUP6
00003093: ADD
00003094: PUSH1 0x20
00003096: DUP10
00003097: ADD
00003098: PUSH2 0x2c29
0000309b: JUMP
0000309c: JUMPDEST
0000309d: PUSH32 0x222c20226465736372697074696f6e223a20224162737472616374206f6e2d63
000030be: PUSH1 0x16
000030c0: SWAP2
000030c1: DUP5
000030c2: ADD
000030c3: SWAP2
000030c4: DUP3
000030c5: ADD
000030c6: MSTORE
000030c7: PUSH32 0x6861696e2067656e6572617469766520617274222c2022696d616765223a2022
000030e8: PUSH1 0x36
000030ea: DUP3
000030eb: ADD
000030ec: MSTORE
000030ed: PUSH32 0x646174613a696d6167652f7376672b786d6c3b6261736536342c000000000000
0000310e: PUSH1 0x56
00003110: DUP3
00003111: ADD
00003112: MSTORE
00003113: DUP5
00003114: MLOAD
00003115: PUSH2 0x3125
00003118: DUP2
00003119: PUSH1 0x70
0000311b: DUP5
0000311c: ADD
0000311d: PUSH1 0x20
0000311f: DUP10
00003120: ADD
00003121: PUSH2 0x2c29
00003124: JUMP
00003125: JUMPDEST
00003126: PUSH32 0x222c202261747472696275746573223a205b2000000000000000000000000000
00003147: PUSH1 0x70
00003149: SWAP3
0000314a: SWAP1
0000314b: SWAP2
0000314c: ADD
0000314d: SWAP2
0000314e: DUP3
0000314f: ADD
00003150: MSTORE
00003151: DUP4
00003152: MLOAD
00003153: PUSH2 0x3163
00003156: DUP2
00003157: PUSH1 0x83
00003159: DUP5
0000315a: ADD
0000315b: PUSH1 0x20
0000315d: DUP9
0000315e: ADD
0000315f: PUSH2 0x2c29
00003162: JUMP
00003163: JUMPDEST
00003164: PUSH32 0x205d207d00000000000000000000000000000000000000000000000000000000
00003185: PUSH1 0x83
00003187: SWAP3
00003188: SWAP1
00003189: SWAP2
0000318a: ADD
0000318b: SWAP2
0000318c: DUP3
0000318d: ADD
0000318e: MSTORE
0000318f: PUSH1 0x87
00003191: ADD
00003192: SWAP6
00003193: SWAP5
00003194: POP
00003195: POP
00003196: POP
00003197: POP
00003198: POP
00003199: JUMP
0000319a: JUMPDEST
0000319b: PUSH32 0x646174613a6170706c69636174696f6e2f6a736f6e3b6261736536342c000000
000031bc: DUP2
000031bd: MSTORE
000031be: PUSH1 0x00
000031c0: DUP3
000031c1: MLOAD
000031c2: PUSH2 0x31d2
000031c5: DUP2
000031c6: PUSH1 0x1d
000031c8: DUP6
000031c9: ADD
000031ca: PUSH1 0x20
000031cc: DUP8
000031cd: ADD
000031ce: PUSH2 0x2c29
000031d1: JUMP
000031d2: JUMPDEST
000031d3: SWAP2
000031d4: SWAP1
000031d5: SWAP2
000031d6: ADD
000031d7: PUSH1 0x1d
000031d9: ADD
000031da: SWAP3
000031db: SWAP2
000031dc: POP
000031dd: POP
000031de: JUMP
000031df: JUMPDEST
000031e0: PUSH1 0x00
000031e2: DUP4
000031e3: MLOAD
000031e4: PUSH2 0x31f1
000031e7: DUP2
000031e8: DUP5
000031e9: PUSH1 0x20
000031eb: DUP9
000031ec: ADD
000031ed: PUSH2 0x2c29
000031f0: JUMP
000031f1: JUMPDEST
000031f2: DUP4
000031f3: MLOAD
000031f4: SWAP1
000031f5: DUP4
000031f6: ADD
000031f7: SWAP1
000031f8: PUSH2 0x3205
000031fb: DUP2
000031fc: DUP4
000031fd: PUSH1 0x20
000031ff: DUP9
00003200: ADD
00003201: PUSH2 0x2c29
00003204: JUMP
00003205: JUMPDEST
00003206: ADD
00003207: SWAP5
00003208: SWAP4
00003209: POP
0000320a: POP
0000320b: POP
0000320c: POP
0000320d: JUMP
0000320e: JUMPDEST
0000320f: PUSH1 0x00
00003211: DUP7
00003212: MLOAD
00003213: PUSH2 0x3220
00003216: DUP2
00003217: DUP5
00003218: PUSH1 0x20
0000321a: DUP12
0000321b: ADD
0000321c: PUSH2 0x2c29
0000321f: JUMP
00003220: JUMPDEST
00003221: DUP7
00003222: MLOAD
00003223: SWAP1
00003224: DUP4
00003225: ADD
00003226: SWAP1
00003227: PUSH2 0x3234
0000322a: DUP2
0000322b: DUP4
0000322c: PUSH1 0x20
0000322e: DUP12
0000322f: ADD
00003230: PUSH2 0x2c29
00003233: JUMP
00003234: JUMPDEST
00003235: DUP7
00003236: MLOAD
00003237: SWAP2
00003238: ADD
00003239: SWAP1
0000323a: PUSH2 0x3247
0000323d: DUP2
0000323e: DUP4
0000323f: PUSH1 0x20
00003241: DUP11
00003242: ADD
00003243: PUSH2 0x2c29
00003246: JUMP
00003247: JUMPDEST
00003248: DUP6
00003249: MLOAD
0000324a: SWAP2
0000324b: ADD
0000324c: SWAP1
0000324d: PUSH2 0x325a
00003250: DUP2
00003251: DUP4
00003252: PUSH1 0x20
00003254: DUP10
00003255: ADD
00003256: PUSH2 0x2c29
00003259: JUMP
0000325a: JUMPDEST
0000325b: DUP5
0000325c: MLOAD
0000325d: SWAP2
0000325e: ADD
0000325f: SWAP1
00003260: PUSH2 0x326d
00003263: DUP2
00003264: DUP4
00003265: PUSH1 0x20
00003267: DUP9
00003268: ADD
00003269: PUSH2 0x2c29
0000326c: JUMP
0000326d: JUMPDEST
0000326e: ADD
0000326f: SWAP8
00003270: SWAP7
00003271: POP
00003272: POP
00003273: POP
00003274: POP
00003275: POP
00003276: POP
00003277: POP
00003278: JUMP
00003279: JUMPDEST
0000327a: PUSH1 0x00
0000327c: DUP3
0000327d: PUSH2 0x3288
00003280: JUMPI
00003281: PUSH2 0x3288
00003284: PUSH2 0x2ff2
00003287: JUMP
00003288: JUMPDEST
00003289: POP
0000328a: DIV
0000328b: SWAP1
0000328c: JUMP
0000328d: JUMPDEST
0000328e: DUP1
0000328f: DUP3
00003290: MUL
00003291: DUP2
00003292: ISZERO
00003293: DUP3
00003294: DUP3
00003295: DIV
00003296: DUP5
00003297: EQ
00003298: OR
00003299: PUSH2 0x0589
0000329c: JUMPI
0000329d: PUSH2 0x0589
000032a0: PUSH2 0x2fb0
000032a3: JUMP
000032a4: JUMPDEST
000032a5: PUSH1 0x00
000032a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032bc: DUP1
000032bd: DUP8
000032be: AND
000032bf: DUP4
000032c0: MSTORE
000032c1: DUP1
000032c2: DUP7
000032c3: AND
000032c4: PUSH1 0x20
000032c6: DUP5
000032c7: ADD
000032c8: MSTORE
000032c9: POP
000032ca: DUP4
000032cb: PUSH1 0x40
000032cd: DUP4
000032ce: ADD
000032cf: MSTORE
000032d0: PUSH1 0x80
000032d2: PUSH1 0x60
000032d4: DUP4
000032d5: ADD
000032d6: MSTORE
000032d7: PUSH2 0x32e3
000032da: PUSH1 0x80
000032dc: DUP4
000032dd: ADD
000032de: DUP5
000032df: PUSH2 0x2c4d
000032e2: JUMP
000032e3: JUMPDEST
000032e4: SWAP7
000032e5: SWAP6
000032e6: POP
000032e7: POP
000032e8: POP
000032e9: POP
000032ea: POP
000032eb: POP
000032ec: JUMP
000032ed: JUMPDEST
000032ee: PUSH1 0x00
000032f0: PUSH1 0x20
000032f2: DUP3
000032f3: DUP5
000032f4: SUB
000032f5: SLT
000032f6: ISZERO
000032f7: PUSH2 0x32ff
000032fa: JUMPI
000032fb: PUSH1 0x00
000032fd: DUP1
000032fe: REVERT
000032ff: JUMPDEST
00003300: DUP2
00003301: MLOAD
00003302: PUSH2 0x0e90
00003305: DUP2
00003306: PUSH2 0x2bde
00003309: JUMP
0000330a: JUMPDEST
0000330b: PUSH32 0x302e303000000000000000000000000000000000000000000000000000000000
0000332c: DUP2
0000332d: MSTORE
0000332e: PUSH1 0x00
00003330: DUP3
00003331: MLOAD
00003332: PUSH2 0x3342
00003335: DUP2
00003336: PUSH1 0x04
00003338: DUP6
00003339: ADD
0000333a: PUSH1 0x20
0000333c: DUP8
0000333d: ADD
0000333e: PUSH2 0x2c29
00003341: JUMP
00003342: JUMPDEST
00003343: SWAP2
00003344: SWAP1
00003345: SWAP2
00003346: ADD
00003347: PUSH1 0x04
00003349: ADD
0000334a: SWAP3
0000334b: SWAP2
0000334c: POP
0000334d: POP
0000334e: JUMP
0000334f: JUMPDEST
00003350: PUSH32 0x302e300000000000000000000000000000000000000000000000000000000000
00003371: DUP2
00003372: MSTORE
00003373: PUSH1 0x00
00003375: DUP3
00003376: MLOAD
00003377: PUSH2 0x3387
0000337a: DUP2
0000337b: PUSH1 0x03
0000337d: DUP6
0000337e: ADD
0000337f: PUSH1 0x20
00003381: DUP8
00003382: ADD
00003383: PUSH2 0x2c29
00003386: JUMP
00003387: JUMPDEST
00003388: SWAP2
00003389: SWAP1
0000338a: SWAP2
0000338b: ADD
0000338c: PUSH1 0x03
0000338e: ADD
0000338f: SWAP3
00003390: SWAP2
00003391: POP
00003392: POP
00003393: JUMP
00003394: JUMPDEST
00003395: PUSH32 0x3c7376672077696474683d2233353022206865696768743d2233353022207665
000033b6: DUP2
000033b7: MSTORE
000033b8: PUSH32 0x7273696f6e3d22312e31222076696577426f783d223020302033353020333530
000033d9: PUSH1 0x20
000033db: DUP3
000033dc: ADD
000033dd: MSTORE
000033de: PUSH32 0x2220786d6c6e733d22687474703a2f2f7777772e77332e6f72672f323030302f
000033ff: PUSH1 0x40
00003401: DUP3
00003402: ADD
00003403: MSTORE
00003404: PUSH32 0x737667223e3c66696c7465722069643d2261223e3c666554757262756c656e63
00003425: PUSH1 0x60
00003427: DUP3
00003428: ADD
00003429: MSTORE
0000342a: PUSH32 0x6520626173654672657175656e63793d22000000000000000000000000000000
0000344b: PUSH1 0x80
0000344d: DUP3
0000344e: ADD
0000344f: MSTORE
00003450: PUSH1 0x00
00003452: DUP5
00003453: MLOAD
00003454: PUSH2 0x3464
00003457: DUP2
00003458: PUSH1 0x91
0000345a: DUP6
0000345b: ADD
0000345c: PUSH1 0x20
0000345e: DUP10
0000345f: ADD
00003460: PUSH2 0x2c29
00003463: JUMP
00003464: JUMPDEST
00003465: PUSH32 0x22206e756d4f6374617665733d22000000000000000000000000000000000000
00003486: PUSH1 0x91
00003488: SWAP2
00003489: DUP5
0000348a: ADD
0000348b: SWAP2
0000348c: DUP3
0000348d: ADD
0000348e: MSTORE
0000348f: DUP5
00003490: MLOAD
00003491: PUSH2 0x34a1
00003494: DUP2
00003495: PUSH1 0x9f
00003497: DUP5
00003498: ADD
00003499: PUSH1 0x20
0000349b: DUP10
0000349c: ADD
0000349d: PUSH2 0x2c29
000034a0: JUMP
000034a1: JUMPDEST
000034a2: PUSH32 0x2220736565643d22000000000000000000000000000000000000000000000000
000034c3: PUSH1 0x9f
000034c5: SWAP3
000034c6: SWAP1
000034c7: SWAP2
000034c8: ADD
000034c9: SWAP2
000034ca: DUP3
000034cb: ADD
000034cc: MSTORE
000034cd: DUP4
000034ce: MLOAD
000034cf: PUSH2 0x34df
000034d2: DUP2
000034d3: PUSH1 0xa7
000034d5: DUP5
000034d6: ADD
000034d7: PUSH1 0x20
000034d9: DUP9
000034da: ADD
000034db: PUSH2 0x2c29
000034de: JUMP
000034df: JUMPDEST
000034e0: ADD
000034e1: PUSH2 0x350c
000034e4: PUSH1 0xa7
000034e6: DUP3
000034e7: ADD
000034e8: PUSH32 0x22202f3e00000000000000000000000000000000000000000000000000000000
00003509: SWAP1
0000350a: MSTORE
0000350b: JUMP
0000350c: JUMPDEST
0000350d: PUSH1 0xab
0000350f: ADD
00003510: SWAP6
00003511: SWAP5
00003512: POP
00003513: POP
00003514: POP
00003515: POP
00003516: POP
00003517: JUMP
00003518: JUMPDEST
00003519: PUSH32 0x7b202274726169745f74797065223a202242617365204672657175656e637922
0000353a: DUP2
0000353b: MSTORE
0000353c: PUSH32 0x2c202276616c7565223a20220000000000000000000000000000000000000000
0000355d: PUSH1 0x20
0000355f: DUP3
00003560: ADD
00003561: MSTORE
00003562: PUSH1 0x00
00003564: DUP4
00003565: MLOAD
00003566: PUSH2 0x3576
00003569: DUP2
0000356a: PUSH1 0x2c
0000356c: DUP6
0000356d: ADD
0000356e: PUSH1 0x20
00003570: DUP9
00003571: ADD
00003572: PUSH2 0x2c29
00003575: JUMP
00003576: JUMPDEST
00003577: PUSH32 0x22207d2c207b202274726169745f74797065223a20224f637461766573222c20
00003598: PUSH1 0x2c
0000359a: SWAP2
0000359b: DUP5
0000359c: ADD
0000359d: SWAP2
0000359e: DUP3
0000359f: ADD
000035a0: MSTORE
000035a1: PUSH32 0x2276616c7565223a202200000000000000000000000000000000000000000000
000035c2: PUSH1 0x4c
000035c4: DUP3
000035c5: ADD
000035c6: MSTORE
000035c7: DUP4
000035c8: MLOAD
000035c9: PUSH2 0x35d9
000035cc: DUP2
000035cd: PUSH1 0x56
000035cf: DUP5
000035d0: ADD
000035d1: PUSH1 0x20
000035d3: DUP9
000035d4: ADD
000035d5: PUSH2 0x2c29
000035d8: JUMP
000035d9: JUMPDEST
000035da: PUSH32 0x22207d2c20000000000000000000000000000000000000000000000000000000
000035fb: PUSH1 0x56
000035fd: SWAP3
000035fe: SWAP1
000035ff: SWAP2
00003600: ADD
00003601: SWAP2
00003602: DUP3
00003603: ADD
00003604: MSTORE
00003605: PUSH1 0x5b
00003607: ADD
00003608: SWAP5
00003609: SWAP4
0000360a: POP
0000360b: POP
0000360c: POP
0000360d: POP
0000360e: JUMP
0000360f: JUMPDEST
00003610: PUSH1 0x00
00003612: DUP3
00003613: MLOAD
00003614: PUSH2 0x3621
00003617: DUP2
00003618: DUP5
00003619: PUSH1 0x20
0000361b: DUP8
0000361c: ADD
0000361d: PUSH2 0x2c29
00003620: JUMP
00003621: JUMPDEST
00003622: PUSH32 0x7300000000000000000000000000000000000000000000000000000000000000
00003643: SWAP3
00003644: ADD
00003645: SWAP2
00003646: DUP3
00003647: MSTORE
00003648: POP
00003649: PUSH1 0x01
0000364b: ADD
0000364c: SWAP2
0000364d: SWAP1
0000364e: POP
0000364f: JUMP
00003650: JUMPDEST
00003651: PUSH32 0x302e000000000000000000000000000000000000000000000000000000000000
00003672: DUP2
00003673: MSTORE
00003674: PUSH1 0x00
00003676: DUP3
00003677: MLOAD
00003678: PUSH2 0x3688
0000367b: DUP2
0000367c: PUSH1 0x02
0000367e: DUP6
0000367f: ADD
00003680: PUSH1 0x20
00003682: DUP8
00003683: ADD
00003684: PUSH2 0x2c29
00003687: JUMP
00003688: JUMPDEST
00003689: SWAP2
0000368a: SWAP1
0000368b: SWAP2
0000368c: ADD
0000368d: PUSH1 0x02
0000368f: ADD
00003690: SWAP3
00003691: SWAP2
00003692: POP
00003693: POP
00003694: JUMP
00003695: JUMPDEST
00003696: PUSH32 0x3c6665446973706c6163656d656e744d61703e3c616e696d6174652061747472
000036b7: DUP2
000036b8: MSTORE
000036b9: PUSH32 0x69627574654e616d653d227363616c65222076616c7565733d22000000000000
000036da: PUSH1 0x20
000036dc: DUP3
000036dd: ADD
000036de: MSTORE
000036df: PUSH1 0x00
000036e1: DUP5
000036e2: MLOAD
000036e3: PUSH2 0x36f3
000036e6: DUP2
000036e7: PUSH1 0x3a
000036e9: DUP6
000036ea: ADD
000036eb: PUSH1 0x20
000036ed: DUP10
000036ee: ADD
000036ef: PUSH2 0x2c29
000036f2: JUMP
000036f3: JUMPDEST
000036f4: PUSH32 0x22206b657954696d65733d22303b200000000000000000000000000000000000
00003715: PUSH1 0x3a
00003717: SWAP2
00003718: DUP5
00003719: ADD
0000371a: SWAP2
0000371b: DUP3
0000371c: ADD
0000371d: MSTORE
0000371e: DUP5
0000371f: MLOAD
00003720: PUSH2 0x3730
00003723: DUP2
00003724: PUSH1 0x49
00003726: DUP5
00003727: ADD
00003728: PUSH1 0x20
0000372a: DUP10
0000372b: ADD
0000372c: PUSH2 0x2c29
0000372f: JUMP
00003730: JUMPDEST
00003731: PUSH32 0x3b203122206475723d2200000000000000000000000000000000000000000000
00003752: PUSH1 0x49
00003754: SWAP3
00003755: SWAP1
00003756: SWAP2
00003757: ADD
00003758: SWAP2
00003759: DUP3
0000375a: ADD
0000375b: MSTORE
0000375c: DUP4
0000375d: MLOAD
0000375e: PUSH2 0x376e
00003761: DUP2
00003762: PUSH1 0x53
00003764: DUP5
00003765: ADD
00003766: PUSH1 0x20
00003768: DUP9
00003769: ADD
0000376a: PUSH2 0x2c29
0000376d: JUMP
0000376e: JUMPDEST
0000376f: PUSH32 0x2220726570656174436f756e743d22696e646566696e697465222063616c634d
00003790: PUSH1 0x53
00003792: SWAP3
00003793: SWAP1
00003794: SWAP2
00003795: ADD
00003796: SWAP2
00003797: DUP3
00003798: ADD
00003799: MSTORE
0000379a: PUSH32 0x6f64653d2273706c696e6522206b657953706c696e65733d22302e3320302030
000037bb: PUSH1 0x73
000037bd: DUP3
000037be: ADD
000037bf: MSTORE
000037c0: PUSH32 0x2e3720313b20302e33203020302e372031222f3e3c2f6665446973706c616365
000037e1: PUSH1 0x93
000037e3: DUP3
000037e4: ADD
000037e5: MSTORE
000037e6: PUSH32 0x6d656e744d61703e000000000000000000000000000000000000000000000000
00003807: PUSH1 0xb3
00003809: DUP3
0000380a: ADD
0000380b: MSTORE
0000380c: PUSH1 0xbb
0000380e: ADD
0000380f: SWAP6
00003810: SWAP5
00003811: POP
00003812: POP
00003813: POP
00003814: POP
00003815: POP
00003816: JUMP
00003817: JUMPDEST
00003818: PUSH32 0x7b202274726169745f74797065223a20225363616c65222c202276616c756522
00003839: DUP2
0000383a: MSTORE
0000383b: PUSH32 0x3a20220000000000000000000000000000000000000000000000000000000000
0000385c: PUSH1 0x20
0000385e: DUP3
0000385f: ADD
00003860: MSTORE
00003861: PUSH1 0x00
00003863: DUP5
00003864: MLOAD
00003865: PUSH2 0x3875
00003868: DUP2
00003869: PUSH1 0x23
0000386b: DUP6
0000386c: ADD
0000386d: PUSH1 0x20
0000386f: DUP10
00003870: ADD
00003871: PUSH2 0x2c29
00003874: JUMP
00003875: JUMPDEST
00003876: PUSH32 0x22207d2c207b202274726169745f74797065223a20225363616c6520416e696d
00003897: PUSH1 0x23
00003899: SWAP2
0000389a: DUP5
0000389b: ADD
0000389c: SWAP2
0000389d: DUP3
0000389e: ADD
0000389f: MSTORE
000038a0: PUSH32 0x6174696f6e222c202276616c7565223a20220000000000000000000000000000
000038c1: PUSH1 0x43
000038c3: DUP3
000038c4: ADD
000038c5: MSTORE
000038c6: DUP5
000038c7: MLOAD
000038c8: PUSH2 0x38d8
000038cb: DUP2
000038cc: PUSH1 0x55
000038ce: DUP5
000038cf: ADD
000038d0: PUSH1 0x20
000038d2: DUP10
000038d3: ADD
000038d4: PUSH2 0x2c29
000038d7: JUMP
000038d8: JUMPDEST
000038d9: PUSH32 0x22207d2c207b202274726169745f74797065223a20224b65792054696d65222c
000038fa: PUSH1 0x55
000038fc: SWAP3
000038fd: SWAP1
000038fe: SWAP2
000038ff: ADD
00003900: SWAP2
00003901: DUP3
00003902: ADD
00003903: MSTORE
00003904: PUSH32 0x202276616c7565223a2022000000000000000000000000000000000000000000
00003925: PUSH1 0x75
00003927: DUP3
00003928: ADD
00003929: MSTORE
0000392a: DUP4
0000392b: MLOAD
0000392c: PUSH2 0x393c
0000392f: DUP2
00003930: PUSH1 0x80
00003932: DUP5
00003933: ADD
00003934: PUSH1 0x20
00003936: DUP9
00003937: ADD
00003938: PUSH2 0x2c29
0000393b: JUMP
0000393c: JUMPDEST
0000393d: PUSH32 0x22207d2c20000000000000000000000000000000000000000000000000000000
0000395e: PUSH1 0x80
00003960: SWAP3
00003961: SWAP1
00003962: SWAP2
00003963: ADD
00003964: SWAP2
00003965: DUP3
00003966: ADD
00003967: MSTORE
00003968: PUSH1 0x85
0000396a: ADD
0000396b: SWAP6
0000396c: SWAP5
0000396d: POP
0000396e: POP
0000396f: POP
00003970: POP
00003971: POP
00003972: JUMP
00003973: JUMPDEST
00003974: PUSH32 0x3c6665436f6c6f724d617472697820747970653d22687565526f746174652220
00003995: DUP2
00003996: MSTORE
00003997: PUSH32 0x726573756c743d2262223e3c616e696d617465206174747269627574654e616d
000039b8: PUSH1 0x20
000039ba: DUP3
000039bb: ADD
000039bc: MSTORE
000039bd: PUSH32 0x653d2276616c756573222066726f6d3d22302220746f3d223336302220647572
000039de: PUSH1 0x40
000039e0: DUP3
000039e1: ADD
000039e2: MSTORE
000039e3: PUSH32 0x3d22000000000000000000000000000000000000000000000000000000000000
00003a04: PUSH1 0x60
00003a06: DUP3
00003a07: ADD
00003a08: MSTORE
00003a09: PUSH1 0x00
00003a0b: DUP3
00003a0c: MLOAD
00003a0d: PUSH2 0x3a1d
00003a10: DUP2
00003a11: PUSH1 0x62
00003a13: DUP6
00003a14: ADD
00003a15: PUSH1 0x20
00003a17: DUP8
00003a18: ADD
00003a19: PUSH2 0x2c29
00003a1c: JUMP
00003a1d: JUMPDEST
00003a1e: PUSH32 0x732220726570656174436f756e743d22696e646566696e697465222f3e3c2f66
00003a3f: PUSH1 0x62
00003a41: SWAP4
00003a42: SWAP1
00003a43: SWAP2
00003a44: ADD
00003a45: SWAP3
00003a46: DUP4
00003a47: ADD
00003a48: MSTORE
00003a49: POP
00003a4a: PUSH32 0x65436f6c6f724d61747269783e3c6665436f6c6f724d61747269782074797065
00003a6b: PUSH1 0x82
00003a6d: DUP3
00003a6e: ADD
00003a6f: MSTORE
00003a70: PUSH32 0x3d226d61747269782220726573756c743d2263222076616c7565733d22302030
00003a91: PUSH1 0xa2
00003a93: DUP3
00003a94: ADD
00003a95: MSTORE
00003a96: PUSH32 0x2030203020302030203020302030203020302030203020302030203120302030
00003ab7: PUSH1 0xc2
00003ab9: DUP3
00003aba: ADD
00003abb: MSTORE
00003abc: PUSH32 0x20302030222f3e00000000000000000000000000000000000000000000000000
00003add: PUSH1 0xe2
00003adf: DUP3
00003ae0: ADD
00003ae1: MSTORE
00003ae2: PUSH1 0xe9
00003ae4: ADD
00003ae5: SWAP2
00003ae6: SWAP1
00003ae7: POP
00003ae8: JUMP
00003ae9: JUMPDEST
00003aea: PUSH32 0x7b202274726169745f74797065223a202248756520526f7461746520416e696d
00003b0b: DUP2
00003b0c: MSTORE
00003b0d: PUSH32 0x6174696f6e222c202276616c7565223a20220000000000000000000000000000
00003b2e: PUSH1 0x20
00003b30: DUP3
00003b31: ADD
00003b32: MSTORE
00003b33: PUSH1 0x00
00003b35: DUP3
00003b36: MLOAD
00003b37: PUSH2 0x3b47
00003b3a: DUP2
00003b3b: PUSH1 0x32
00003b3d: DUP6
00003b3e: ADD
00003b3f: PUSH1 0x20
00003b41: DUP8
00003b42: ADD
00003b43: PUSH2 0x2c29
00003b46: JUMP
00003b47: JUMPDEST
00003b48: PUSH32 0x7322207d2c200000000000000000000000000000000000000000000000000000
00003b69: PUSH1 0x32
00003b6b: SWAP4
00003b6c: SWAP1
00003b6d: SWAP2
00003b6e: ADD
00003b6f: SWAP3
00003b70: DUP4
00003b71: ADD
00003b72: MSTORE
00003b73: POP
00003b74: PUSH1 0x38
00003b76: ADD
00003b77: SWAP2
00003b78: SWAP1
00003b79: POP
00003b7a: JUMP
00003b7b: JUMPDEST
00003b7c: PUSH32 0x2d00000000000000000000000000000000000000000000000000000000000000
00003b9d: DUP2
00003b9e: MSTORE
00003b9f: PUSH1 0x00
00003ba1: DUP3
00003ba2: MLOAD
00003ba3: PUSH2 0x3bb3
00003ba6: DUP2
00003ba7: PUSH1 0x01
00003ba9: DUP6
00003baa: ADD
00003bab: PUSH1 0x20
00003bad: DUP8
00003bae: ADD
00003baf: PUSH2 0x2c29
00003bb2: JUMP
00003bb3: JUMPDEST
00003bb4: SWAP2
00003bb5: SWAP1
00003bb6: SWAP2
00003bb7: ADD
00003bb8: PUSH1 0x01
00003bba: ADD
00003bbb: SWAP3
00003bbc: SWAP2
00003bbd: POP
00003bbe: POP
00003bbf: JUMP
00003bc0: JUMPDEST
00003bc1: PUSH32 0x3c6665436f6d706f7369746520696e3d22622220696e323d226322206f706572
00003be2: DUP2
00003be3: MSTORE
00003be4: PUSH32 0x61746f723d220000000000000000000000000000000000000000000000000000
00003c05: PUSH1 0x20
00003c07: DUP3
00003c08: ADD
00003c09: MSTORE
00003c0a: PUSH1 0x00
00003c0c: DUP4
00003c0d: MLOAD
00003c0e: PUSH2 0x3c1e
00003c11: DUP2
00003c12: PUSH1 0x26
00003c14: DUP6
00003c15: ADD
00003c16: PUSH1 0x20
00003c18: DUP9
00003c19: ADD
00003c1a: PUSH2 0x2c29
00003c1d: JUMP
00003c1e: JUMPDEST
00003c1f: PUSH32 0x2220726573756c743d2264222f3e3c6665436f6d706f7369746520696e3d2264
00003c40: PUSH1 0x26
00003c42: SWAP2
00003c43: DUP5
00003c44: ADD
00003c45: SWAP2
00003c46: DUP3
00003c47: ADD
00003c48: MSTORE
00003c49: PUSH32 0x2220696e323d226422206f70657261746f723d2261726974686d657469632220
00003c6a: PUSH1 0x46
00003c6c: DUP3
00003c6d: ADD
00003c6e: MSTORE
00003c6f: PUSH32 0x6b313d223122206b323d223122206b333d223122206b343d2200000000000000
00003c90: PUSH1 0x66
00003c92: DUP3
00003c93: ADD
00003c94: MSTORE
00003c95: DUP4
00003c96: MLOAD
00003c97: PUSH2 0x3ca7
00003c9a: DUP2
00003c9b: PUSH1 0x7f
00003c9d: DUP5
00003c9e: ADD
00003c9f: PUSH1 0x20
00003ca1: DUP9
00003ca2: ADD
00003ca3: PUSH2 0x2c29
00003ca6: JUMP
00003ca7: JUMPDEST
00003ca8: PUSH32 0x222f3e0000000000000000000000000000000000000000000000000000000000
00003cc9: PUSH1 0x7f
00003ccb: SWAP3
00003ccc: SWAP1
00003ccd: SWAP2
00003cce: ADD
00003ccf: SWAP2
00003cd0: DUP3
00003cd1: ADD
00003cd2: MSTORE
00003cd3: PUSH1 0x82
00003cd5: ADD
00003cd6: SWAP5
00003cd7: SWAP4
00003cd8: POP
00003cd9: POP
00003cda: POP
00003cdb: POP
00003cdc: JUMP
00003cdd: JUMPDEST
00003cde: PUSH32 0x7b202274726169745f74797065223a20224b34222c202276616c7565223a2022
00003cff: DUP2
00003d00: MSTORE
00003d01: PUSH1 0x00
00003d03: DUP4
00003d04: MLOAD
00003d05: PUSH2 0x3d15
00003d08: DUP2
00003d09: PUSH1 0x20
00003d0b: DUP6
00003d0c: ADD
00003d0d: PUSH1 0x20
00003d0f: DUP9
00003d10: ADD
00003d11: PUSH2 0x2c29
00003d14: JUMP
00003d15: JUMPDEST
00003d16: DUP1
00003d17: DUP4
00003d18: ADD
00003d19: SWAP1
00003d1a: POP
00003d1b: PUSH32 0x22207d2c207b202274726169745f74797065223a2022436f6d706f7369746520
00003d3c: PUSH1 0x20
00003d3e: DUP3
00003d3f: ADD
00003d40: MSTORE
00003d41: PUSH32 0x4f70657261746f72222c202276616c7565223a20220000000000000000000000
00003d62: PUSH1 0x40
00003d64: DUP3
00003d65: ADD
00003d66: MSTORE
00003d67: DUP4
00003d68: MLOAD
00003d69: PUSH2 0x3d79
00003d6c: DUP2
00003d6d: PUSH1 0x55
00003d6f: DUP5
00003d70: ADD
00003d71: PUSH1 0x20
00003d73: DUP9
00003d74: ADD
00003d75: PUSH2 0x2c29
00003d78: JUMP
00003d79: JUMPDEST
00003d7a: PUSH32 0x22207d2c20000000000000000000000000000000000000000000000000000000
00003d9b: PUSH1 0x55
00003d9d: SWAP3
00003d9e: SWAP1
00003d9f: SWAP2
00003da0: ADD
00003da1: SWAP2
00003da2: DUP3
00003da3: ADD
00003da4: MSTORE
00003da5: PUSH1 0x5a
00003da7: ADD
00003da8: SWAP5
00003da9: SWAP4
00003daa: POP
00003dab: POP
00003dac: POP
00003dad: POP
00003dae: JUMP
00003daf: JUMPDEST
00003db0: PUSH1 0x00
00003db2: DUP4
00003db3: MLOAD
00003db4: PUSH2 0x3dc1
00003db7: DUP2
00003db8: DUP5
00003db9: PUSH1 0x20
00003dbb: DUP9
00003dbc: ADD
00003dbd: PUSH2 0x2c29
00003dc0: JUMP
00003dc1: JUMPDEST
00003dc2: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000
00003de3: SWAP1
00003de4: DUP4
00003de5: ADD
00003de6: SWAP1
00003de7: DUP2
00003de8: MSTORE
00003de9: DUP4
00003dea: MLOAD
00003deb: PUSH2 0x3dfb
00003dee: DUP2
00003def: PUSH1 0x01
00003df1: DUP5
00003df2: ADD
00003df3: PUSH1 0x20
00003df5: DUP9
00003df6: ADD
00003df7: PUSH2 0x2c29
00003dfa: JUMP
00003dfb: JUMPDEST
00003dfc: ADD
00003dfd: PUSH1 0x01
00003dff: ADD
00003e00: SWAP5
00003e01: SWAP4
00003e02: POP
00003e03: POP
00003e04: POP
00003e05: POP
00003e06: JUMP
00003e07: JUMPDEST
00003e08: PUSH32 0x3c6665446966667573654c69676874696e67206c69676874696e672d636f6c6f
00003e29: DUP2
00003e2a: MSTORE
00003e2b: PUSH32 0x723d2223666666222064696666757365436f6e7374616e743d22000000000000
00003e4c: PUSH1 0x20
00003e4e: DUP3
00003e4f: ADD
00003e50: MSTORE
00003e51: PUSH1 0x00
00003e53: DUP6
00003e54: MLOAD
00003e55: PUSH2 0x3e65
00003e58: DUP2
00003e59: PUSH1 0x3a
00003e5b: DUP6
00003e5c: ADD
00003e5d: PUSH1 0x20
00003e5f: DUP11
00003e60: ADD
00003e61: PUSH2 0x2c29
00003e64: JUMP
00003e65: JUMPDEST
00003e66: PUSH32 0x2220737572666163655363616c653d2200000000000000000000000000000000
00003e87: PUSH1 0x3a
00003e89: SWAP2
00003e8a: DUP5
00003e8b: ADD
00003e8c: SWAP2
00003e8d: DUP3
00003e8e: ADD
00003e8f: MSTORE
00003e90: DUP6
00003e91: MLOAD
00003e92: PUSH2 0x3ea2
00003e95: DUP2
00003e96: PUSH1 0x4a
00003e98: DUP5
00003e99: ADD
00003e9a: PUSH1 0x20
00003e9c: DUP11
00003e9d: ADD
00003e9e: PUSH2 0x2c29
00003ea1: JUMP
00003ea2: JUMPDEST
00003ea3: PUSH32 0x223e3c666544697374616e744c6967687420656c65766174696f6e3d22000000
00003ec4: PUSH1 0x4a
00003ec6: SWAP3
00003ec7: SWAP1
00003ec8: SWAP2
00003ec9: ADD
00003eca: SWAP2
00003ecb: DUP3
00003ecc: ADD
00003ecd: MSTORE
00003ece: DUP5
00003ecf: MLOAD
00003ed0: PUSH2 0x3ee0
00003ed3: DUP2
00003ed4: PUSH1 0x67
00003ed6: DUP5
00003ed7: ADD
00003ed8: PUSH1 0x20
00003eda: DUP10
00003edb: ADD
00003edc: PUSH2 0x2c29
00003edf: JUMP
00003ee0: JUMPDEST
00003ee1: PUSH32 0x222f3e3c2f6665446966667573654c69676874696e673e000000000000000000
00003f02: PUSH1 0x67
00003f04: SWAP3
00003f05: SWAP1
00003f06: SWAP2
00003f07: ADD
00003f08: SWAP2
00003f09: DUP3
00003f0a: ADD
00003f0b: MSTORE
00003f0c: DUP4
00003f0d: MLOAD
00003f0e: PUSH2 0x3f1e
00003f11: DUP2
00003f12: PUSH1 0x7e
00003f14: DUP5
00003f15: ADD
00003f16: PUSH1 0x20
00003f18: DUP9
00003f19: ADD
00003f1a: PUSH2 0x2c29
00003f1d: JUMP
00003f1e: JUMPDEST
00003f1f: ADD
00003f20: PUSH1 0x7e
00003f22: ADD
00003f23: SWAP7
00003f24: SWAP6
00003f25: POP
00003f26: POP
00003f27: POP
00003f28: POP
00003f29: POP
00003f2a: POP
00003f2b: JUMP
00003f2c: JUMPDEST
00003f2d: PUSH32 0x7b202274726169745f74797065223a20224469666675736520436f6e7374616e
00003f4e: DUP2
00003f4f: MSTORE
00003f50: PUSH32 0x74222c202276616c7565223a2022000000000000000000000000000000000000
00003f71: PUSH1 0x20
00003f73: DUP3
00003f74: ADD
00003f75: MSTORE
00003f76: PUSH1 0x00
00003f78: DUP6
00003f79: MLOAD
00003f7a: PUSH2 0x3f8a
00003f7d: DUP2
00003f7e: PUSH1 0x2e
00003f80: DUP6
00003f81: ADD
00003f82: PUSH1 0x20
00003f84: DUP11
00003f85: ADD
00003f86: PUSH2 0x2c29
00003f89: JUMP
00003f8a: JUMPDEST
00003f8b: PUSH32 0x22207d2c207b202274726169745f74797065223a202253757266616365205363
00003fac: PUSH1 0x2e
00003fae: SWAP2
00003faf: DUP5
00003fb0: ADD
00003fb1: SWAP2
00003fb2: DUP3
00003fb3: ADD
00003fb4: MSTORE
00003fb5: PUSH32 0x616c65222c202276616c7565223a202200000000000000000000000000000000
00003fd6: PUSH1 0x4e
00003fd8: DUP3
00003fd9: ADD
00003fda: MSTORE
00003fdb: DUP6
00003fdc: MLOAD
00003fdd: PUSH2 0x3fed
00003fe0: DUP2
00003fe1: PUSH1 0x5e
00003fe3: DUP5
00003fe4: ADD
00003fe5: PUSH1 0x20
00003fe7: DUP11
00003fe8: ADD
00003fe9: PUSH2 0x2c29
00003fec: JUMP
00003fed: JUMPDEST
00003fee: PUSH32 0x22207d2c207b202274726169745f74797065223a2022456c65766174696f6e22
0000400f: PUSH1 0x5e
00004011: SWAP3
00004012: SWAP1
00004013: SWAP2
00004014: ADD
00004015: SWAP2
00004016: DUP3
00004017: ADD
00004018: MSTORE
00004019: PUSH32 0x2c202276616c7565223a20220000000000000000000000000000000000000000
0000403a: PUSH1 0x7e
0000403c: DUP3
0000403d: ADD
0000403e: MSTORE
0000403f: DUP5
00004040: MLOAD
00004041: PUSH2 0x4051
00004044: DUP2
00004045: PUSH1 0x8a
00004047: DUP5
00004048: ADD
00004049: PUSH1 0x20
0000404b: DUP10
0000404c: ADD
0000404d: PUSH2 0x2c29
00004050: JUMP
00004051: JUMPDEST
00004052: ADD
00004053: PUSH2 0x407e
00004056: PUSH1 0x8a
00004058: DUP3
00004059: ADD
0000405a: PUSH32 0x22207d2c20000000000000000000000000000000000000000000000000000000
0000407b: SWAP1
0000407c: MSTORE
0000407d: JUMP
0000407e: JUMPDEST
0000407f: PUSH32 0x7b202274726169745f74797065223a2022496e766572746564222c202276616c
000040a0: PUSH1 0x8f
000040a2: DUP3
000040a3: ADD
000040a4: MSTORE
000040a5: PUSH32 0x7565223a20000000000000000000000000000000000000000000000000000000
000040c6: PUSH1 0xaf
000040c8: DUP3
000040c9: ADD
000040ca: MSTORE
000040cb: PUSH2 0x40d7
000040ce: PUSH1 0xb4
000040d0: DUP3
000040d1: ADD
000040d2: DUP6
000040d3: PUSH2 0x3048
000040d6: JUMP
000040d7: JUMPDEST
000040d8: PUSH32 0x207d2c2000000000000000000000000000000000000000000000000000000000
000040f9: DUP2
000040fa: MSTORE
000040fb: PUSH1 0x04
000040fd: ADD
000040fe: SWAP8
000040ff: SWAP7
00004100: POP
00004101: POP
00004102: POP
00004103: POP
00004104: POP
00004105: POP
00004106: POP
00004107: JUMP
00004108: JUMPDEST
00004109: PUSH32 0x3c2f66696c7465723e3c726563742077696474683d2233353022206865696768
0000412a: DUP2
0000412b: MSTORE
0000412c: PUSH32 0x743d22333530222066696c7465723d2275726c2823612922207472616e73666f
0000414d: PUSH1 0x20
0000414f: DUP3
00004150: ADD
00004151: MSTORE
00004152: PUSH32 0x726d3d22726f7461746528000000000000000000000000000000000000000000
00004173: PUSH1 0x40
00004175: DUP3
00004176: ADD
00004177: MSTORE
00004178: PUSH1 0x00
0000417a: DUP3
0000417b: MLOAD
0000417c: PUSH2 0x418c
0000417f: DUP2
00004180: PUSH1 0x4b
00004182: DUP6
00004183: ADD
00004184: PUSH1 0x20
00004186: DUP8
00004187: ADD
00004188: PUSH2 0x2c29
0000418b: JUMP
0000418c: JUMPDEST
0000418d: PUSH32 0x203137352031373529222f3e3c2f7376673e0000000000000000000000000000
000041ae: PUSH1 0x4b
000041b0: SWAP4
000041b1: SWAP1
000041b2: SWAP2
000041b3: ADD
000041b4: SWAP3
000041b5: DUP4
000041b6: ADD
000041b7: MSTORE
000041b8: POP
000041b9: PUSH1 0x5d
000041bb: ADD
000041bc: SWAP2
000041bd: SWAP1
000041be: POP
000041bf: JUMP
000041c0: JUMPDEST
000041c1: PUSH32 0x7b202274726169745f74797065223a2022526f746174696f6e222c202276616c
000041e2: DUP2
000041e3: MSTORE
000041e4: PUSH32 0x7565223a20220000000000000000000000000000000000000000000000000000
00004205: PUSH1 0x20
00004207: DUP3
00004208: ADD
00004209: MSTORE
0000420a: PUSH1 0x00
0000420c: DUP3
0000420d: MLOAD
0000420e: PUSH2 0x421e
00004211: DUP2
00004212: PUSH1 0x26
00004214: DUP6
00004215: ADD
00004216: PUSH1 0x20
00004218: DUP8
00004219: ADD
0000421a: PUSH2 0x2c29
0000421d: JUMP
0000421e: JUMPDEST
0000421f: PUSH32 0x22207d2000000000000000000000000000000000000000000000000000000000
00004240: PUSH1 0x26
00004242: SWAP4
00004243: SWAP1
00004244: SWAP2
00004245: ADD
00004246: SWAP3
00004247: DUP4
00004248: ADD
00004249: MSTORE
0000424a: POP
0000424b: PUSH1 0x2a
0000424d: ADD
0000424e: SWAP2
0000424f: SWAP1
00004250: POP
00004251: JUMP
00004252: JUMPDEST
00004253: PUSH1 0x00
00004255: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00004276: DUP3
00004277: SUB
00004278: PUSH2 0x4283
0000427b: JUMPI
0000427c: PUSH2 0x4283
0000427f: PUSH2 0x2fb0
00004282: JUMP
00004283: JUMPDEST
00004284: POP
00004285: PUSH1 0x01
00004287: ADD
00004288: SWAP1
00004289: JUMP
0000428a: JUMPDEST
0000428b: PUSH1 0x00
0000428d: DUP5
0000428e: MLOAD
0000428f: PUSH2 0x429c
00004292: DUP2
00004293: DUP5
00004294: PUSH1 0x20
00004296: DUP10
00004297: ADD
00004298: PUSH2 0x2c29
0000429b: JUMP
0000429c: JUMPDEST
0000429d: DUP1
0000429e: DUP4
0000429f: ADD
000042a0: SWAP1
000042a1: POP
000042a2: PUSH32 0x3b00000000000000000000000000000000000000000000000000000000000000
000042c3: DUP1
000042c4: DUP3
000042c5: MSTORE
000042c6: DUP6
000042c7: MLOAD
000042c8: PUSH2 0x42d8
000042cb: DUP2
000042cc: PUSH1 0x01
000042ce: DUP6
000042cf: ADD
000042d0: PUSH1 0x20
000042d2: DUP11
000042d3: ADD
000042d4: PUSH2 0x2c29
000042d7: JUMP
000042d8: JUMPDEST
000042d9: PUSH1 0x01
000042db: SWAP3
000042dc: ADD
000042dd: SWAP2
000042de: DUP3
000042df: ADD
000042e0: DUP2
000042e1: SWAP1
000042e2: MSTORE
000042e3: DUP5
000042e4: MLOAD
000042e5: PUSH2 0x42f5
000042e8: DUP2
000042e9: PUSH1 0x02
000042eb: DUP6
000042ec: ADD
000042ed: PUSH1 0x20
000042ef: DUP10
000042f0: ADD
000042f1: PUSH2 0x2c29
000042f4: JUMP
000042f5: JUMPDEST
000042f6: PUSH1 0x02
000042f8: SWAP3
000042f9: ADD
000042fa: SWAP2
000042fb: DUP3
000042fc: ADD
000042fd: MSTORE
000042fe: PUSH1 0x03
00004300: ADD
00004301: SWAP6
00004302: SWAP5
00004303: POP
00004304: POP
00004305: POP
00004306: POP
00004307: POP
00004308: JUMP
00004309: INVALID
0000430a: EXTCODECOPY
0000430b: PUSH7 0x65436f6c6f724d
00004313: PUSH2 0x7472
00004316: PUSH10 0x7820747970653d226d61
00004321: PUSH21 0x726978222076616c7565733d222d31203020302030
00004337: KECCAK256
00004338: BALANCE
00004339: KECCAK256
0000433a: ADDRESS
0000433b: KECCAK256
0000433c: UNKNOWN(0x2D)
0000433d: BALANCE
0000433e: KECCAK256
0000433f: ADDRESS
00004340: KECCAK256
00004341: ADDRESS
00004342: KECCAK256
00004343: BALANCE
00004344: KECCAK256
00004345: ADDRESS
00004346: KECCAK256
00004347: ADDRESS
00004348: KECCAK256
00004349: UNKNOWN(0x2D)
0000434a: BALANCE
0000434b: KECCAK256
0000434c: ADDRESS
0000434d: KECCAK256
0000434e: BALANCE
0000434f: KECCAK256
00004350: ADDRESS
00004351: KECCAK256
00004352: ADDRESS
00004353: KECCAK256
00004354: ADDRESS
00004355: KECCAK256
00004356: BALANCE
00004357: KECCAK256
00004358: ADDRESS
00004359: UNKNOWN(0x22)
0000435a: UNKNOWN(0x2F)
0000435b: RETURNDATACOPY
0000435c: COINBASE
0000435d: TIMESTAMP
0000435e: NUMBER
0000435f: DIFFICULTY
00004360: GASLIMIT
00004361: CHAINID
00004362: SELFBALANCE
00004363: BASEFEE
00004364: BLOBHASH
00004365: BLOBBASEFEE
00004366: UNKNOWN(0x4B)
00004367: UNKNOWN(0x4C)
00004368: UNKNOWN(0x4D)
00004369: UNKNOWN(0x4E)
0000436a: UNKNOWN(0x4F)
0000436b: POP
0000436c: MLOAD
0000436d: MSTORE
0000436e: MSTORE8
0000436f: SLOAD
00004370: SSTORE
00004371: JUMP
00004372: JUMPI
00004373: PC
00004374: MSIZE
00004375: GAS
00004376: PUSH2 0x6263
00004379: PUSH5 0x6566676869
0000437f: PUSH11 0x6b6c6d6e6f707172737475
0000438b: PUSH23 0x7778797a303132333435363738392b2fa2646970667358
000043a3: UNKNOWN(0x22)
000043a4: SLT
000043a5: KECCAK256
000043a6: BLOBHASH
000043a7: UNKNOWN(0xE4)
000043a8: UNKNOWN(0x0D)
000043a9: UNKNOWN(0xD7)
000043aa: UNKNOWN(0x0E)
000043ab: PUSH6 0x8d694e633862
000043b2: UNKNOWN(0xA9)
000043b3: UNKNOWN(0xB5)
000043b4: UNKNOWN(0xB1)
000043b5: DUP7
000043b6: PUSH11 0x434ab8fcedd5a85837f02f
000043c2: SWAP6
000043c3: UNKNOWN(0xCB)
000043c4: DIFFICULTY
000043c5: UNKNOWN(0xCE)
000043c6: PUSH5 0x736f6c6343
000043cc: STOP
000043cd: ADDMOD
000043ce: EQ
000043cf: STOP
000043d0: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x5f9b22bc2524224a13707cd8f60c1f9156cd925ab4d7860a5d41937f614b0a86
call_targets: 0x52f1c81411cdce3eb533b5985f654c3016a15eda
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x5f9b22bc2524224a13707cd8f60c1f9156cd925ab4d7860a5d41937f614b0a86",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x52f1c81411cdce3eb533b5985f654c3016a15eda"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf0503e80",
            "selector": "0xf0503e80",
            "calldata_variants": [
                "0xf0503e80",
                "0xf0503e800000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf466d4ab",
            "selector": "0xf466d4ab",
            "calldata_variants": [
                "0xf466d4ab",
                "0xf466d4ab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdc38679c",
            "selector": "0xdc38679c",
            "calldata_variants": [
                "0xdc38679c",
                "0xdc38679c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9499ac54",
            "selector": "0x9499ac54",
            "calldata_variants": [
                "0x9499ac54",
                "0x9499ac540000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95d89b41",
            "selector": "0x95d89b41",
            "calldata_variants": [
                "0x95d89b41",
                "0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 4838,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 8056,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [
        {
            "pc": 1827,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 2
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x5f9b22bc2524224a13707cd8f60c1f9156cd925ab4d7860a5d41937f614b0a86
call_targets: 0x52f1c81411cdce3eb533b5985f654c3016a15eda
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x5f9b22bc2524224a13707cd8f60c1f9156cd925ab4d7860a5d41937f614b0a86",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x52f1c81411cdce3eb533b5985f654c3016a15eda"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf0503e80",
            "selector": "0xf0503e80",
            "calldata_variants": [
                "0xf0503e80",
                "0xf0503e800000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf466d4ab",
            "selector": "0xf466d4ab",
            "calldata_variants": [
                "0xf466d4ab",
                "0xf466d4ab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdc38679c",
            "selector": "0xdc38679c",
            "calldata_variants": [
                "0xdc38679c",
                "0xdc38679c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9499ac54",
            "selector": "0x9499ac54",
            "calldata_variants": [
                "0x9499ac54",
                "0x9499ac540000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95d89b41",
            "selector": "0x95d89b41",
            "calldata_variants": [
                "0x95d89b41",
                "0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 4838,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 8056,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": [
        {
            "pc": 1827,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}