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

Analysis Run

019b477e-ca33-7261-8229-1f8db17cd8d2

complete
Chain ID
1
Address
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?

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
26469 artifact.fetch complete 1 / 3 4 months ago
26470 tool.cast_disasm complete 1 / 3 4 months ago
69686 analysis.bundle complete 1 / 3 2 weeks ago
69687 capability.graph complete 1 / 3 2 weeks ago
69688 detector.run complete 1 / 3 2 weeks ago
69689 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)
7
EXT*/BALANCE
1
Total opcodes
5030
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01e3
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x715018a6
00000019: GT
0000001a: PUSH2 0x0102
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa22cb465
00000024: GT
00000025: PUSH2 0x0095
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd0888d44
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd0888d44
0000003a: EQ
0000003b: PUSH2 0x0571
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe8a3d485
00000045: EQ
00000046: PUSH2 0x0591
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe985e9c5
00000050: EQ
00000051: PUSH2 0x05a6
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x05fc
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xa22cb465
0000006b: EQ
0000006c: PUSH2 0x04fc
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xb88d4fde
00000076: EQ
00000077: PUSH2 0x051c
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xc8796572
00000081: EQ
00000082: PUSH2 0x053c
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xc87b56dd
0000008c: EQ
0000008d: PUSH2 0x0551
00000090: JUMPI
00000091: PUSH1 0x00
00000093: DUP1
00000094: REVERT
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0x8da5cb5b
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x8da5cb5b
000000a7: EQ
000000a8: PUSH2 0x0489
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x92642744
000000b2: EQ
000000b3: PUSH2 0x04b4
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x938e3d7b
000000bd: EQ
000000be: PUSH2 0x04c7
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x95d89b41
000000c8: EQ
000000c9: PUSH2 0x04e7
000000cc: JUMPI
000000cd: PUSH1 0x00
000000cf: DUP1
000000d0: REVERT
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x715018a6
000000d8: EQ
000000d9: PUSH2 0x041f
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x7e467a43
000000e3: EQ
000000e4: PUSH2 0x0434
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x825ddb43
000000ee: EQ
000000ef: PUSH2 0x0449
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x8805b9fa
000000f9: EQ
000000fa: PUSH2 0x0469
000000fd: JUMPI
000000fe: PUSH1 0x00
00000100: DUP1
00000101: REVERT
00000102: JUMPDEST
00000103: DUP1
00000104: PUSH4 0x2f745c59
00000109: GT
0000010a: PUSH2 0x017a
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x61f80f88
00000114: GT
00000115: PUSH2 0x0149
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x61f80f88
0000011f: EQ
00000120: PUSH2 0x039f
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x6352211e
0000012a: EQ
0000012b: PUSH2 0x03bf
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x69fe0e2d
00000135: EQ
00000136: PUSH2 0x03df
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x70a08231
00000140: EQ
00000141: PUSH2 0x03ff
00000144: JUMPI
00000145: PUSH1 0x00
00000147: DUP1
00000148: REVERT
00000149: JUMPDEST
0000014a: DUP1
0000014b: PUSH4 0x2f745c59
00000150: EQ
00000151: PUSH2 0x031f
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x42842e0e
0000015b: EQ
0000015c: PUSH2 0x033f
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x4f6ccce7
00000166: EQ
00000167: PUSH2 0x035f
0000016a: JUMPI
0000016b: DUP1
0000016c: PUSH4 0x55f804b3
00000171: EQ
00000172: PUSH2 0x037f
00000175: JUMPI
00000176: PUSH1 0x00
00000178: DUP1
00000179: REVERT
0000017a: JUMPDEST
0000017b: DUP1
0000017c: PUSH4 0x0fd15572
00000181: GT
00000182: PUSH2 0x01b6
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x0fd15572
0000018c: EQ
0000018d: PUSH2 0x02a6
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x13966db5
00000197: EQ
00000198: PUSH2 0x02c6
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x18160ddd
000001a2: EQ
000001a3: PUSH2 0x02ea
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x23b872dd
000001ad: EQ
000001ae: PUSH2 0x02ff
000001b1: JUMPI
000001b2: PUSH1 0x00
000001b4: DUP1
000001b5: REVERT
000001b6: JUMPDEST
000001b7: DUP1
000001b8: PUSH4 0x01ffc9a7
000001bd: EQ
000001be: PUSH2 0x01e8
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x06fdde03
000001c8: EQ
000001c9: PUSH2 0x021d
000001cc: JUMPI
000001cd: DUP1
000001ce: PUSH4 0x081812fc
000001d3: EQ
000001d4: PUSH2 0x023f
000001d7: JUMPI
000001d8: DUP1
000001d9: PUSH4 0x095ea7b3
000001de: EQ
000001df: PUSH2 0x0284
000001e2: JUMPI
000001e3: JUMPDEST
000001e4: PUSH1 0x00
000001e6: DUP1
000001e7: REVERT
000001e8: JUMPDEST
000001e9: CALLVALUE
000001ea: DUP1
000001eb: ISZERO
000001ec: PUSH2 0x01f4
000001ef: JUMPI
000001f0: PUSH1 0x00
000001f2: DUP1
000001f3: REVERT
000001f4: JUMPDEST
000001f5: POP
000001f6: PUSH2 0x0208
000001f9: PUSH2 0x0203
000001fc: CALLDATASIZE
000001fd: PUSH1 0x04
000001ff: PUSH2 0x248e
00000202: JUMP
00000203: JUMPDEST
00000204: PUSH2 0x061c
00000207: JUMP
00000208: JUMPDEST
00000209: PUSH1 0x40
0000020b: MLOAD
0000020c: SWAP1
0000020d: ISZERO
0000020e: ISZERO
0000020f: DUP2
00000210: MSTORE
00000211: PUSH1 0x20
00000213: ADD
00000214: JUMPDEST
00000215: PUSH1 0x40
00000217: MLOAD
00000218: DUP1
00000219: SWAP2
0000021a: SUB
0000021b: SWAP1
0000021c: RETURN
0000021d: JUMPDEST
0000021e: CALLVALUE
0000021f: DUP1
00000220: ISZERO
00000221: PUSH2 0x0229
00000224: JUMPI
00000225: PUSH1 0x00
00000227: DUP1
00000228: REVERT
00000229: JUMPDEST
0000022a: POP
0000022b: PUSH2 0x0232
0000022e: PUSH2 0x0678
00000231: JUMP
00000232: JUMPDEST
00000233: PUSH1 0x40
00000235: MLOAD
00000236: PUSH2 0x0214
00000239: SWAP2
0000023a: SWAP1
0000023b: PUSH2 0x2521
0000023e: JUMP
0000023f: JUMPDEST
00000240: CALLVALUE
00000241: DUP1
00000242: ISZERO
00000243: PUSH2 0x024b
00000246: JUMPI
00000247: PUSH1 0x00
00000249: DUP1
0000024a: REVERT
0000024b: JUMPDEST
0000024c: POP
0000024d: PUSH2 0x025f
00000250: PUSH2 0x025a
00000253: CALLDATASIZE
00000254: PUSH1 0x04
00000256: PUSH2 0x2534
00000259: JUMP
0000025a: JUMPDEST
0000025b: PUSH2 0x070a
0000025e: JUMP
0000025f: JUMPDEST
00000260: PUSH1 0x40
00000262: MLOAD
00000263: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000278: SWAP1
00000279: SWAP2
0000027a: AND
0000027b: DUP2
0000027c: MSTORE
0000027d: PUSH1 0x20
0000027f: ADD
00000280: PUSH2 0x0214
00000283: JUMP
00000284: JUMPDEST
00000285: CALLVALUE
00000286: DUP1
00000287: ISZERO
00000288: PUSH2 0x0290
0000028b: JUMPI
0000028c: PUSH1 0x00
0000028e: DUP1
0000028f: REVERT
00000290: JUMPDEST
00000291: POP
00000292: PUSH2 0x02a4
00000295: PUSH2 0x029f
00000298: CALLDATASIZE
00000299: PUSH1 0x04
0000029b: PUSH2 0x2576
0000029e: JUMP
0000029f: JUMPDEST
000002a0: PUSH2 0x073e
000002a3: JUMP
000002a4: JUMPDEST
000002a5: STOP
000002a6: JUMPDEST
000002a7: CALLVALUE
000002a8: DUP1
000002a9: ISZERO
000002aa: PUSH2 0x02b2
000002ad: JUMPI
000002ae: PUSH1 0x00
000002b0: DUP1
000002b1: REVERT
000002b2: JUMPDEST
000002b3: POP
000002b4: PUSH2 0x02a4
000002b7: PUSH2 0x02c1
000002ba: CALLDATASIZE
000002bb: PUSH1 0x04
000002bd: PUSH2 0x2576
000002c0: JUMP
000002c1: JUMPDEST
000002c2: PUSH2 0x089b
000002c5: JUMP
000002c6: JUMPDEST
000002c7: CALLVALUE
000002c8: DUP1
000002c9: ISZERO
000002ca: PUSH2 0x02d2
000002cd: JUMPI
000002ce: PUSH1 0x00
000002d0: DUP1
000002d1: REVERT
000002d2: JUMPDEST
000002d3: POP
000002d4: PUSH2 0x02dc
000002d7: PUSH1 0x0b
000002d9: SLOAD
000002da: DUP2
000002db: JUMP
000002dc: JUMPDEST
000002dd: PUSH1 0x40
000002df: MLOAD
000002e0: SWAP1
000002e1: DUP2
000002e2: MSTORE
000002e3: PUSH1 0x20
000002e5: ADD
000002e6: PUSH2 0x0214
000002e9: JUMP
000002ea: JUMPDEST
000002eb: CALLVALUE
000002ec: DUP1
000002ed: ISZERO
000002ee: PUSH2 0x02f6
000002f1: JUMPI
000002f2: PUSH1 0x00
000002f4: DUP1
000002f5: REVERT
000002f6: JUMPDEST
000002f7: POP
000002f8: PUSH1 0x08
000002fa: SLOAD
000002fb: PUSH2 0x02dc
000002fe: JUMP
000002ff: JUMPDEST
00000300: CALLVALUE
00000301: DUP1
00000302: ISZERO
00000303: PUSH2 0x030b
00000306: JUMPI
00000307: PUSH1 0x00
00000309: DUP1
0000030a: REVERT
0000030b: JUMPDEST
0000030c: POP
0000030d: PUSH2 0x02a4
00000310: PUSH2 0x031a
00000313: CALLDATASIZE
00000314: PUSH1 0x04
00000316: PUSH2 0x25a0
00000319: JUMP
0000031a: JUMPDEST
0000031b: PUSH2 0x09c4
0000031e: JUMP
0000031f: JUMPDEST
00000320: CALLVALUE
00000321: DUP1
00000322: ISZERO
00000323: PUSH2 0x032b
00000326: JUMPI
00000327: PUSH1 0x00
00000329: DUP1
0000032a: REVERT
0000032b: JUMPDEST
0000032c: POP
0000032d: PUSH2 0x02dc
00000330: PUSH2 0x033a
00000333: CALLDATASIZE
00000334: PUSH1 0x04
00000336: PUSH2 0x2576
00000339: JUMP
0000033a: JUMPDEST
0000033b: PUSH2 0x0a4b
0000033e: JUMP
0000033f: JUMPDEST
00000340: CALLVALUE
00000341: DUP1
00000342: ISZERO
00000343: PUSH2 0x034b
00000346: JUMPI
00000347: PUSH1 0x00
00000349: DUP1
0000034a: REVERT
0000034b: JUMPDEST
0000034c: POP
0000034d: PUSH2 0x02a4
00000350: PUSH2 0x035a
00000353: CALLDATASIZE
00000354: PUSH1 0x04
00000356: PUSH2 0x25a0
00000359: JUMP
0000035a: JUMPDEST
0000035b: PUSH2 0x0b00
0000035e: JUMP
0000035f: JUMPDEST
00000360: CALLVALUE
00000361: DUP1
00000362: ISZERO
00000363: PUSH2 0x036b
00000366: JUMPI
00000367: PUSH1 0x00
00000369: DUP1
0000036a: REVERT
0000036b: JUMPDEST
0000036c: POP
0000036d: PUSH2 0x02dc
00000370: PUSH2 0x037a
00000373: CALLDATASIZE
00000374: PUSH1 0x04
00000376: PUSH2 0x2534
00000379: JUMP
0000037a: JUMPDEST
0000037b: PUSH2 0x0b1b
0000037e: JUMP
0000037f: JUMPDEST
00000380: CALLVALUE
00000381: DUP1
00000382: ISZERO
00000383: PUSH2 0x038b
00000386: JUMPI
00000387: PUSH1 0x00
00000389: DUP1
0000038a: REVERT
0000038b: JUMPDEST
0000038c: POP
0000038d: PUSH2 0x02a4
00000390: PUSH2 0x039a
00000393: CALLDATASIZE
00000394: PUSH1 0x04
00000396: PUSH2 0x269f
00000399: JUMP
0000039a: JUMPDEST
0000039b: PUSH2 0x0bbf
0000039e: JUMP
0000039f: JUMPDEST
000003a0: CALLVALUE
000003a1: DUP1
000003a2: ISZERO
000003a3: PUSH2 0x03ab
000003a6: JUMPI
000003a7: PUSH1 0x00
000003a9: DUP1
000003aa: REVERT
000003ab: JUMPDEST
000003ac: POP
000003ad: PUSH2 0x02a4
000003b0: PUSH2 0x03ba
000003b3: CALLDATASIZE
000003b4: PUSH1 0x04
000003b6: PUSH2 0x26e8
000003b9: JUMP
000003ba: JUMPDEST
000003bb: PUSH2 0x0bde
000003be: JUMP
000003bf: JUMPDEST
000003c0: CALLVALUE
000003c1: DUP1
000003c2: ISZERO
000003c3: PUSH2 0x03cb
000003c6: JUMPI
000003c7: PUSH1 0x00
000003c9: DUP1
000003ca: REVERT
000003cb: JUMPDEST
000003cc: POP
000003cd: PUSH2 0x025f
000003d0: PUSH2 0x03da
000003d3: CALLDATASIZE
000003d4: PUSH1 0x04
000003d6: PUSH2 0x2534
000003d9: JUMP
000003da: JUMPDEST
000003db: PUSH2 0x0c4c
000003de: JUMP
000003df: JUMPDEST
000003e0: CALLVALUE
000003e1: DUP1
000003e2: ISZERO
000003e3: PUSH2 0x03eb
000003e6: JUMPI
000003e7: PUSH1 0x00
000003e9: DUP1
000003ea: REVERT
000003eb: JUMPDEST
000003ec: POP
000003ed: PUSH2 0x02a4
000003f0: PUSH2 0x03fa
000003f3: CALLDATASIZE
000003f4: PUSH1 0x04
000003f6: PUSH2 0x2534
000003f9: JUMP
000003fa: JUMPDEST
000003fb: PUSH2 0x0cbe
000003fe: JUMP
000003ff: JUMPDEST
00000400: CALLVALUE
00000401: DUP1
00000402: ISZERO
00000403: PUSH2 0x040b
00000406: JUMPI
00000407: PUSH1 0x00
00000409: DUP1
0000040a: REVERT
0000040b: JUMPDEST
0000040c: POP
0000040d: PUSH2 0x02dc
00000410: PUSH2 0x041a
00000413: CALLDATASIZE
00000414: PUSH1 0x04
00000416: PUSH2 0x26e8
00000419: JUMP
0000041a: JUMPDEST
0000041b: PUSH2 0x0ccb
0000041e: JUMP
0000041f: JUMPDEST
00000420: CALLVALUE
00000421: DUP1
00000422: ISZERO
00000423: PUSH2 0x042b
00000426: JUMPI
00000427: PUSH1 0x00
00000429: DUP1
0000042a: REVERT
0000042b: JUMPDEST
0000042c: POP
0000042d: PUSH2 0x02a4
00000430: PUSH2 0x0d7f
00000433: JUMP
00000434: JUMPDEST
00000435: CALLVALUE
00000436: DUP1
00000437: ISZERO
00000438: PUSH2 0x0440
0000043b: JUMPI
0000043c: PUSH1 0x00
0000043e: DUP1
0000043f: REVERT
00000440: JUMPDEST
00000441: POP
00000442: PUSH2 0x02a4
00000445: PUSH2 0x0d93
00000448: JUMP
00000449: JUMPDEST
0000044a: CALLVALUE
0000044b: DUP1
0000044c: ISZERO
0000044d: PUSH2 0x0455
00000450: JUMPI
00000451: PUSH1 0x00
00000453: DUP1
00000454: REVERT
00000455: JUMPDEST
00000456: POP
00000457: PUSH2 0x02a4
0000045a: PUSH2 0x0464
0000045d: CALLDATASIZE
0000045e: PUSH1 0x04
00000460: PUSH2 0x2576
00000463: JUMP
00000464: JUMPDEST
00000465: PUSH2 0x0e24
00000468: JUMP
00000469: JUMPDEST
0000046a: CALLVALUE
0000046b: DUP1
0000046c: ISZERO
0000046d: PUSH2 0x0475
00000470: JUMPI
00000471: PUSH1 0x00
00000473: DUP1
00000474: REVERT
00000475: JUMPDEST
00000476: POP
00000477: PUSH2 0x02a4
0000047a: PUSH2 0x0484
0000047d: CALLDATASIZE
0000047e: PUSH1 0x04
00000480: PUSH2 0x2534
00000483: JUMP
00000484: JUMPDEST
00000485: PUSH2 0x0ec0
00000488: JUMP
00000489: JUMPDEST
0000048a: CALLVALUE
0000048b: DUP1
0000048c: ISZERO
0000048d: PUSH2 0x0495
00000490: JUMPI
00000491: PUSH1 0x00
00000493: DUP1
00000494: REVERT
00000495: JUMPDEST
00000496: POP
00000497: PUSH1 0x0a
00000499: SLOAD
0000049a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004af: AND
000004b0: PUSH2 0x025f
000004b3: JUMP
000004b4: JUMPDEST
000004b5: PUSH2 0x02a4
000004b8: PUSH2 0x04c2
000004bb: CALLDATASIZE
000004bc: PUSH1 0x04
000004be: PUSH2 0x2534
000004c1: JUMP
000004c2: JUMPDEST
000004c3: PUSH2 0x0f49
000004c6: JUMP
000004c7: JUMPDEST
000004c8: CALLVALUE
000004c9: DUP1
000004ca: ISZERO
000004cb: PUSH2 0x04d3
000004ce: JUMPI
000004cf: PUSH1 0x00
000004d1: DUP1
000004d2: REVERT
000004d3: JUMPDEST
000004d4: POP
000004d5: PUSH2 0x02a4
000004d8: PUSH2 0x04e2
000004db: CALLDATASIZE
000004dc: PUSH1 0x04
000004de: PUSH2 0x269f
000004e1: JUMP
000004e2: JUMPDEST
000004e3: PUSH2 0x1098
000004e6: JUMP
000004e7: JUMPDEST
000004e8: CALLVALUE
000004e9: DUP1
000004ea: ISZERO
000004eb: PUSH2 0x04f3
000004ee: JUMPI
000004ef: PUSH1 0x00
000004f1: DUP1
000004f2: REVERT
000004f3: JUMPDEST
000004f4: POP
000004f5: PUSH2 0x0232
000004f8: PUSH2 0x10b3
000004fb: JUMP
000004fc: JUMPDEST
000004fd: CALLVALUE
000004fe: DUP1
000004ff: ISZERO
00000500: PUSH2 0x0508
00000503: JUMPI
00000504: PUSH1 0x00
00000506: DUP1
00000507: REVERT
00000508: JUMPDEST
00000509: POP
0000050a: PUSH2 0x02a4
0000050d: PUSH2 0x0517
00000510: CALLDATASIZE
00000511: PUSH1 0x04
00000513: PUSH2 0x2711
00000516: JUMP
00000517: JUMPDEST
00000518: PUSH2 0x10c2
0000051b: JUMP
0000051c: JUMPDEST
0000051d: CALLVALUE
0000051e: DUP1
0000051f: ISZERO
00000520: PUSH2 0x0528
00000523: JUMPI
00000524: PUSH1 0x00
00000526: DUP1
00000527: REVERT
00000528: JUMPDEST
00000529: POP
0000052a: PUSH2 0x02a4
0000052d: PUSH2 0x0537
00000530: CALLDATASIZE
00000531: PUSH1 0x04
00000533: PUSH2 0x2748
00000536: JUMP
00000537: JUMPDEST
00000538: PUSH2 0x10cd
0000053b: JUMP
0000053c: JUMPDEST
0000053d: CALLVALUE
0000053e: DUP1
0000053f: ISZERO
00000540: PUSH2 0x0548
00000543: JUMPI
00000544: PUSH1 0x00
00000546: DUP1
00000547: REVERT
00000548: JUMPDEST
00000549: POP
0000054a: PUSH2 0x02a4
0000054d: PUSH2 0x1155
00000550: JUMP
00000551: JUMPDEST
00000552: CALLVALUE
00000553: DUP1
00000554: ISZERO
00000555: PUSH2 0x055d
00000558: JUMPI
00000559: PUSH1 0x00
0000055b: DUP1
0000055c: REVERT
0000055d: JUMPDEST
0000055e: POP
0000055f: PUSH2 0x0232
00000562: PUSH2 0x056c
00000565: CALLDATASIZE
00000566: PUSH1 0x04
00000568: PUSH2 0x2534
0000056b: JUMP
0000056c: JUMPDEST
0000056d: PUSH2 0x115d
00000570: JUMP
00000571: JUMPDEST
00000572: CALLVALUE
00000573: DUP1
00000574: ISZERO
00000575: PUSH2 0x057d
00000578: JUMPI
00000579: PUSH1 0x00
0000057b: DUP1
0000057c: REVERT
0000057d: JUMPDEST
0000057e: POP
0000057f: PUSH2 0x02a4
00000582: PUSH2 0x058c
00000585: CALLDATASIZE
00000586: PUSH1 0x04
00000588: PUSH2 0x26e8
0000058b: JUMP
0000058c: JUMPDEST
0000058d: PUSH2 0x11c4
00000590: JUMP
00000591: JUMPDEST
00000592: CALLVALUE
00000593: DUP1
00000594: ISZERO
00000595: PUSH2 0x059d
00000598: JUMPI
00000599: PUSH1 0x00
0000059b: DUP1
0000059c: REVERT
0000059d: JUMPDEST
0000059e: POP
0000059f: PUSH2 0x0232
000005a2: PUSH2 0x124d
000005a5: JUMP
000005a6: JUMPDEST
000005a7: CALLVALUE
000005a8: DUP1
000005a9: ISZERO
000005aa: PUSH2 0x05b2
000005ad: JUMPI
000005ae: PUSH1 0x00
000005b0: DUP1
000005b1: REVERT
000005b2: JUMPDEST
000005b3: POP
000005b4: PUSH2 0x0208
000005b7: PUSH2 0x05c1
000005ba: CALLDATASIZE
000005bb: PUSH1 0x04
000005bd: PUSH2 0x27c4
000005c0: JUMP
000005c1: JUMPDEST
000005c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005d7: SWAP2
000005d8: DUP3
000005d9: AND
000005da: PUSH1 0x00
000005dc: SWAP1
000005dd: DUP2
000005de: MSTORE
000005df: PUSH1 0x05
000005e1: PUSH1 0x20
000005e3: SWAP1
000005e4: DUP2
000005e5: MSTORE
000005e6: PUSH1 0x40
000005e8: DUP1
000005e9: DUP4
000005ea: KECCAK256
000005eb: SWAP4
000005ec: SWAP1
000005ed: SWAP5
000005ee: AND
000005ef: DUP3
000005f0: MSTORE
000005f1: SWAP2
000005f2: SWAP1
000005f3: SWAP2
000005f4: MSTORE
000005f5: KECCAK256
000005f6: SLOAD
000005f7: PUSH1 0xff
000005f9: AND
000005fa: SWAP1
000005fb: JUMP
000005fc: JUMPDEST
000005fd: CALLVALUE
000005fe: DUP1
000005ff: ISZERO
00000600: PUSH2 0x0608
00000603: JUMPI
00000604: PUSH1 0x00
00000606: DUP1
00000607: REVERT
00000608: JUMPDEST
00000609: POP
0000060a: PUSH2 0x02a4
0000060d: PUSH2 0x0617
00000610: CALLDATASIZE
00000611: PUSH1 0x04
00000613: PUSH2 0x26e8
00000616: JUMP
00000617: JUMPDEST
00000618: PUSH2 0x125c
0000061b: JUMP
0000061c: JUMPDEST
0000061d: PUSH1 0x00
0000061f: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000640: DUP3
00000641: AND
00000642: PUSH32 0x780e9d6300000000000000000000000000000000000000000000000000000000
00000663: EQ
00000664: DUP1
00000665: PUSH2 0x0672
00000668: JUMPI
00000669: POP
0000066a: PUSH2 0x0672
0000066d: DUP3
0000066e: PUSH2 0x1303
00000671: JUMP
00000672: JUMPDEST
00000673: SWAP3
00000674: SWAP2
00000675: POP
00000676: POP
00000677: JUMP
00000678: JUMPDEST
00000679: PUSH1 0x60
0000067b: PUSH1 0x00
0000067d: DUP1
0000067e: SLOAD
0000067f: PUSH2 0x0687
00000682: SWAP1
00000683: PUSH2 0x27f7
00000686: JUMP
00000687: JUMPDEST
00000688: DUP1
00000689: PUSH1 0x1f
0000068b: ADD
0000068c: PUSH1 0x20
0000068e: DUP1
0000068f: SWAP2
00000690: DIV
00000691: MUL
00000692: PUSH1 0x20
00000694: ADD
00000695: PUSH1 0x40
00000697: MLOAD
00000698: SWAP1
00000699: DUP2
0000069a: ADD
0000069b: PUSH1 0x40
0000069d: MSTORE
0000069e: DUP1
0000069f: SWAP3
000006a0: SWAP2
000006a1: SWAP1
000006a2: DUP2
000006a3: DUP2
000006a4: MSTORE
000006a5: PUSH1 0x20
000006a7: ADD
000006a8: DUP3
000006a9: DUP1
000006aa: SLOAD
000006ab: PUSH2 0x06b3
000006ae: SWAP1
000006af: PUSH2 0x27f7
000006b2: JUMP
000006b3: JUMPDEST
000006b4: DUP1
000006b5: ISZERO
000006b6: PUSH2 0x0700
000006b9: JUMPI
000006ba: DUP1
000006bb: PUSH1 0x1f
000006bd: LT
000006be: PUSH2 0x06d5
000006c1: JUMPI
000006c2: PUSH2 0x0100
000006c5: DUP1
000006c6: DUP4
000006c7: SLOAD
000006c8: DIV
000006c9: MUL
000006ca: DUP4
000006cb: MSTORE
000006cc: SWAP2
000006cd: PUSH1 0x20
000006cf: ADD
000006d0: SWAP2
000006d1: PUSH2 0x0700
000006d4: JUMP
000006d5: JUMPDEST
000006d6: DUP3
000006d7: ADD
000006d8: SWAP2
000006d9: SWAP1
000006da: PUSH1 0x00
000006dc: MSTORE
000006dd: PUSH1 0x20
000006df: PUSH1 0x00
000006e1: KECCAK256
000006e2: SWAP1
000006e3: JUMPDEST
000006e4: DUP2
000006e5: SLOAD
000006e6: DUP2
000006e7: MSTORE
000006e8: SWAP1
000006e9: PUSH1 0x01
000006eb: ADD
000006ec: SWAP1
000006ed: PUSH1 0x20
000006ef: ADD
000006f0: DUP1
000006f1: DUP4
000006f2: GT
000006f3: PUSH2 0x06e3
000006f6: JUMPI
000006f7: DUP3
000006f8: SWAP1
000006f9: SUB
000006fa: PUSH1 0x1f
000006fc: AND
000006fd: DUP3
000006fe: ADD
000006ff: SWAP2
00000700: JUMPDEST
00000701: POP
00000702: POP
00000703: POP
00000704: POP
00000705: POP
00000706: SWAP1
00000707: POP
00000708: SWAP1
00000709: JUMP
0000070a: JUMPDEST
0000070b: PUSH1 0x00
0000070d: PUSH2 0x0715
00000710: DUP3
00000711: PUSH2 0x13e6
00000714: JUMP
00000715: JUMPDEST
00000716: POP
00000717: PUSH1 0x00
00000719: SWAP1
0000071a: DUP2
0000071b: MSTORE
0000071c: PUSH1 0x04
0000071e: PUSH1 0x20
00000720: MSTORE
00000721: PUSH1 0x40
00000723: SWAP1
00000724: KECCAK256
00000725: SLOAD
00000726: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000073b: AND
0000073c: SWAP1
0000073d: JUMP
0000073e: JUMPDEST
0000073f: PUSH1 0x00
00000741: PUSH2 0x0749
00000744: DUP3
00000745: PUSH2 0x0c4c
00000748: JUMP
00000749: JUMPDEST
0000074a: SWAP1
0000074b: POP
0000074c: DUP1
0000074d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000762: AND
00000763: DUP4
00000764: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000779: AND
0000077a: SUB
0000077b: PUSH2 0x07f1
0000077e: JUMPI
0000077f: PUSH1 0x40
00000781: MLOAD
00000782: PUSH3 0x461bcd
00000786: PUSH1 0xe5
00000788: SHL
00000789: DUP2
0000078a: MSTORE
0000078b: PUSH1 0x20
0000078d: PUSH1 0x04
0000078f: DUP3
00000790: ADD
00000791: MSTORE
00000792: PUSH1 0x21
00000794: PUSH1 0x24
00000796: DUP3
00000797: ADD
00000798: MSTORE
00000799: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65
000007ba: PUSH1 0x44
000007bc: DUP3
000007bd: ADD
000007be: MSTORE
000007bf: PUSH32 0x7200000000000000000000000000000000000000000000000000000000000000
000007e0: PUSH1 0x64
000007e2: DUP3
000007e3: ADD
000007e4: MSTORE
000007e5: PUSH1 0x84
000007e7: ADD
000007e8: JUMPDEST
000007e9: PUSH1 0x40
000007eb: MLOAD
000007ec: DUP1
000007ed: SWAP2
000007ee: SUB
000007ef: SWAP1
000007f0: REVERT
000007f1: JUMPDEST
000007f2: CALLER
000007f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000808: DUP3
00000809: AND
0000080a: EQ
0000080b: DUP1
0000080c: PUSH2 0x081a
0000080f: JUMPI
00000810: POP
00000811: PUSH2 0x081a
00000814: DUP2
00000815: CALLER
00000816: PUSH2 0x05c1
00000819: JUMP
0000081a: JUMPDEST
0000081b: PUSH2 0x088c
0000081e: JUMPI
0000081f: PUSH1 0x40
00000821: MLOAD
00000822: PUSH3 0x461bcd
00000826: PUSH1 0xe5
00000828: SHL
00000829: DUP2
0000082a: MSTORE
0000082b: PUSH1 0x20
0000082d: PUSH1 0x04
0000082f: DUP3
00000830: ADD
00000831: MSTORE
00000832: PUSH1 0x3e
00000834: PUSH1 0x24
00000836: DUP3
00000837: ADD
00000838: MSTORE
00000839: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f7420746f
0000085a: PUSH1 0x44
0000085c: DUP3
0000085d: ADD
0000085e: MSTORE
0000085f: PUSH32 0x6b656e206f776e6572206e6f7220617070726f76656420666f7220616c6c0000
00000880: PUSH1 0x64
00000882: DUP3
00000883: ADD
00000884: MSTORE
00000885: PUSH1 0x84
00000887: ADD
00000888: PUSH2 0x07e8
0000088b: JUMP
0000088c: JUMPDEST
0000088d: PUSH2 0x0896
00000890: DUP4
00000891: DUP4
00000892: PUSH2 0x1457
00000895: JUMP
00000896: JUMPDEST
00000897: POP
00000898: POP
00000899: POP
0000089a: JUMP
0000089b: JUMPDEST
0000089c: PUSH1 0x0f
0000089e: SLOAD
0000089f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b4: AND
000008b5: CALLER
000008b6: EQ
000008b7: DUP1
000008b8: PUSH2 0x08d8
000008bb: JUMPI
000008bc: POP
000008bd: PUSH1 0x10
000008bf: SLOAD
000008c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008d5: AND
000008d6: CALLER
000008d7: EQ
000008d8: JUMPDEST
000008d9: PUSH2 0x0924
000008dc: JUMPI
000008dd: PUSH1 0x40
000008df: MLOAD
000008e0: PUSH3 0x461bcd
000008e4: PUSH1 0xe5
000008e6: SHL
000008e7: DUP2
000008e8: MSTORE
000008e9: PUSH1 0x20
000008eb: PUSH1 0x04
000008ed: DUP3
000008ee: ADD
000008ef: MSTORE
000008f0: PUSH1 0x10
000008f2: PUSH1 0x24
000008f4: DUP3
000008f5: ADD
000008f6: MSTORE
000008f7: PUSH32 0x43616c6c6572206e6f742041646d696e00000000000000000000000000000000
00000918: PUSH1 0x44
0000091a: DUP3
0000091b: ADD
0000091c: MSTORE
0000091d: PUSH1 0x64
0000091f: ADD
00000920: PUSH2 0x07e8
00000923: JUMP
00000924: JUMPDEST
00000925: PUSH1 0x40
00000927: MLOAD
00000928: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00000949: DUP2
0000094a: MSTORE
0000094b: CALLER
0000094c: PUSH1 0x04
0000094e: DUP3
0000094f: ADD
00000950: MSTORE
00000951: PUSH1 0x24
00000953: DUP2
00000954: ADD
00000955: DUP3
00000956: SWAP1
00000957: MSTORE
00000958: DUP3
00000959: SWAP1
0000095a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000096f: DUP3
00000970: AND
00000971: SWAP1
00000972: PUSH4 0xa9059cbb
00000977: SWAP1
00000978: PUSH1 0x44
0000097a: ADD
0000097b: JUMPDEST
0000097c: PUSH1 0x20
0000097e: PUSH1 0x40
00000980: MLOAD
00000981: DUP1
00000982: DUP4
00000983: SUB
00000984: DUP2
00000985: PUSH1 0x00
00000987: DUP8
00000988: GAS
00000989: CALL
0000098a: ISZERO
0000098b: DUP1
0000098c: ISZERO
0000098d: PUSH2 0x099a
00000990: JUMPI
00000991: RETURNDATASIZE
00000992: PUSH1 0x00
00000994: DUP1
00000995: RETURNDATACOPY
00000996: RETURNDATASIZE
00000997: PUSH1 0x00
00000999: REVERT
0000099a: JUMPDEST
0000099b: POP
0000099c: POP
0000099d: POP
0000099e: POP
0000099f: PUSH1 0x40
000009a1: MLOAD
000009a2: RETURNDATASIZE
000009a3: PUSH1 0x1f
000009a5: NOT
000009a6: PUSH1 0x1f
000009a8: DUP3
000009a9: ADD
000009aa: AND
000009ab: DUP3
000009ac: ADD
000009ad: DUP1
000009ae: PUSH1 0x40
000009b0: MSTORE
000009b1: POP
000009b2: DUP2
000009b3: ADD
000009b4: SWAP1
000009b5: PUSH2 0x09be
000009b8: SWAP2
000009b9: SWAP1
000009ba: PUSH2 0x284a
000009bd: JUMP
000009be: JUMPDEST
000009bf: POP
000009c0: POP
000009c1: POP
000009c2: POP
000009c3: JUMP
000009c4: JUMPDEST
000009c5: PUSH2 0x09ce
000009c8: CALLER
000009c9: DUP3
000009ca: PUSH2 0x14f7
000009cd: JUMP
000009ce: JUMPDEST
000009cf: PUSH2 0x0a40
000009d2: JUMPI
000009d3: PUSH1 0x40
000009d5: MLOAD
000009d6: PUSH3 0x461bcd
000009da: PUSH1 0xe5
000009dc: SHL
000009dd: DUP2
000009de: MSTORE
000009df: PUSH1 0x20
000009e1: PUSH1 0x04
000009e3: DUP3
000009e4: ADD
000009e5: MSTORE
000009e6: PUSH1 0x2e
000009e8: PUSH1 0x24
000009ea: DUP3
000009eb: ADD
000009ec: MSTORE
000009ed: PUSH32 0x4552433732313a2063616c6c6572206973206e6f7420746f6b656e206f776e65
00000a0e: PUSH1 0x44
00000a10: DUP3
00000a11: ADD
00000a12: MSTORE
00000a13: PUSH32 0x72206e6f7220617070726f766564000000000000000000000000000000000000
00000a34: PUSH1 0x64
00000a36: DUP3
00000a37: ADD
00000a38: MSTORE
00000a39: PUSH1 0x84
00000a3b: ADD
00000a3c: PUSH2 0x07e8
00000a3f: JUMP
00000a40: JUMPDEST
00000a41: PUSH2 0x0896
00000a44: DUP4
00000a45: DUP4
00000a46: DUP4
00000a47: PUSH2 0x15b7
00000a4a: JUMP
00000a4b: JUMPDEST
00000a4c: PUSH1 0x00
00000a4e: PUSH2 0x0a56
00000a51: DUP4
00000a52: PUSH2 0x0ccb
00000a55: JUMP
00000a56: JUMPDEST
00000a57: DUP3
00000a58: LT
00000a59: PUSH2 0x0aca
00000a5c: JUMPI
00000a5d: PUSH1 0x40
00000a5f: MLOAD
00000a60: PUSH3 0x461bcd
00000a64: PUSH1 0xe5
00000a66: SHL
00000a67: DUP2
00000a68: MSTORE
00000a69: PUSH1 0x20
00000a6b: PUSH1 0x04
00000a6d: DUP3
00000a6e: ADD
00000a6f: MSTORE
00000a70: PUSH1 0x2b
00000a72: PUSH1 0x24
00000a74: DUP3
00000a75: ADD
00000a76: MSTORE
00000a77: PUSH32 0x455243373231456e756d657261626c653a206f776e657220696e646578206f75
00000a98: PUSH1 0x44
00000a9a: DUP3
00000a9b: ADD
00000a9c: MSTORE
00000a9d: PUSH32 0x74206f6620626f756e6473000000000000000000000000000000000000000000
00000abe: PUSH1 0x64
00000ac0: DUP3
00000ac1: ADD
00000ac2: MSTORE
00000ac3: PUSH1 0x84
00000ac5: ADD
00000ac6: PUSH2 0x07e8
00000ac9: JUMP
00000aca: JUMPDEST
00000acb: POP
00000acc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ae1: SWAP2
00000ae2: SWAP1
00000ae3: SWAP2
00000ae4: AND
00000ae5: PUSH1 0x00
00000ae7: SWAP1
00000ae8: DUP2
00000ae9: MSTORE
00000aea: PUSH1 0x06
00000aec: PUSH1 0x20
00000aee: SWAP1
00000aef: DUP2
00000af0: MSTORE
00000af1: PUSH1 0x40
00000af3: DUP1
00000af4: DUP4
00000af5: KECCAK256
00000af6: SWAP4
00000af7: DUP4
00000af8: MSTORE
00000af9: SWAP3
00000afa: SWAP1
00000afb: MSTORE
00000afc: KECCAK256
00000afd: SLOAD
00000afe: SWAP1
00000aff: JUMP
00000b00: JUMPDEST
00000b01: PUSH2 0x0896
00000b04: DUP4
00000b05: DUP4
00000b06: DUP4
00000b07: PUSH1 0x40
00000b09: MLOAD
00000b0a: DUP1
00000b0b: PUSH1 0x20
00000b0d: ADD
00000b0e: PUSH1 0x40
00000b10: MSTORE
00000b11: DUP1
00000b12: PUSH1 0x00
00000b14: DUP2
00000b15: MSTORE
00000b16: POP
00000b17: PUSH2 0x10cd
00000b1a: JUMP
00000b1b: JUMPDEST
00000b1c: PUSH1 0x00
00000b1e: PUSH2 0x0b26
00000b21: PUSH1 0x08
00000b23: SLOAD
00000b24: SWAP1
00000b25: JUMP
00000b26: JUMPDEST
00000b27: DUP3
00000b28: LT
00000b29: PUSH2 0x0b9a
00000b2c: JUMPI
00000b2d: PUSH1 0x40
00000b2f: MLOAD
00000b30: PUSH3 0x461bcd
00000b34: PUSH1 0xe5
00000b36: SHL
00000b37: DUP2
00000b38: MSTORE
00000b39: PUSH1 0x20
00000b3b: PUSH1 0x04
00000b3d: DUP3
00000b3e: ADD
00000b3f: MSTORE
00000b40: PUSH1 0x2c
00000b42: PUSH1 0x24
00000b44: DUP3
00000b45: ADD
00000b46: MSTORE
00000b47: PUSH32 0x455243373231456e756d657261626c653a20676c6f62616c20696e646578206f
00000b68: PUSH1 0x44
00000b6a: DUP3
00000b6b: ADD
00000b6c: MSTORE
00000b6d: PUSH32 0x7574206f6620626f756e64730000000000000000000000000000000000000000
00000b8e: PUSH1 0x64
00000b90: DUP3
00000b91: ADD
00000b92: MSTORE
00000b93: PUSH1 0x84
00000b95: ADD
00000b96: PUSH2 0x07e8
00000b99: JUMP
00000b9a: JUMPDEST
00000b9b: PUSH1 0x08
00000b9d: DUP3
00000b9e: DUP2
00000b9f: SLOAD
00000ba0: DUP2
00000ba1: LT
00000ba2: PUSH2 0x0bad
00000ba5: JUMPI
00000ba6: PUSH2 0x0bad
00000ba9: PUSH2 0x2867
00000bac: JUMP
00000bad: JUMPDEST
00000bae: SWAP1
00000baf: PUSH1 0x00
00000bb1: MSTORE
00000bb2: PUSH1 0x20
00000bb4: PUSH1 0x00
00000bb6: KECCAK256
00000bb7: ADD
00000bb8: SLOAD
00000bb9: SWAP1
00000bba: POP
00000bbb: SWAP2
00000bbc: SWAP1
00000bbd: POP
00000bbe: JUMP
00000bbf: JUMPDEST
00000bc0: PUSH2 0x0bc7
00000bc3: PUSH2 0x17f5
00000bc6: JUMP
00000bc7: JUMPDEST
00000bc8: DUP1
00000bc9: MLOAD
00000bca: PUSH2 0x0bda
00000bcd: SWAP1
00000bce: PUSH1 0x0c
00000bd0: SWAP1
00000bd1: PUSH1 0x20
00000bd3: DUP5
00000bd4: ADD
00000bd5: SWAP1
00000bd6: PUSH2 0x23c7
00000bd9: JUMP
00000bda: JUMPDEST
00000bdb: POP
00000bdc: POP
00000bdd: JUMP
00000bde: JUMPDEST
00000bdf: PUSH2 0x0be6
00000be2: PUSH2 0x17f5
00000be5: JUMP
00000be6: JUMPDEST
00000be7: PUSH2 0x270f
00000bea: PUSH2 0x0bf2
00000bed: PUSH1 0x0e
00000bef: SLOAD
00000bf0: SWAP1
00000bf1: JUMP
00000bf2: JUMPDEST
00000bf3: GT
00000bf4: ISZERO
00000bf5: PUSH2 0x0c40
00000bf8: JUMPI
00000bf9: PUSH1 0x40
00000bfb: MLOAD
00000bfc: PUSH3 0x461bcd
00000c00: PUSH1 0xe5
00000c02: SHL
00000c03: DUP2
00000c04: MSTORE
00000c05: PUSH1 0x20
00000c07: PUSH1 0x04
00000c09: DUP3
00000c0a: ADD
00000c0b: MSTORE
00000c0c: PUSH1 0x08
00000c0e: PUSH1 0x24
00000c10: DUP3
00000c11: ADD
00000c12: MSTORE
00000c13: PUSH32 0x536f6c64204f7574000000000000000000000000000000000000000000000000
00000c34: PUSH1 0x44
00000c36: DUP3
00000c37: ADD
00000c38: MSTORE
00000c39: PUSH1 0x64
00000c3b: ADD
00000c3c: PUSH2 0x07e8
00000c3f: JUMP
00000c40: JUMPDEST
00000c41: PUSH2 0x0c49
00000c44: DUP2
00000c45: PUSH2 0x185c
00000c48: JUMP
00000c49: JUMPDEST
00000c4a: POP
00000c4b: JUMP
00000c4c: JUMPDEST
00000c4d: PUSH1 0x00
00000c4f: DUP2
00000c50: DUP2
00000c51: MSTORE
00000c52: PUSH1 0x02
00000c54: PUSH1 0x20
00000c56: MSTORE
00000c57: PUSH1 0x40
00000c59: DUP2
00000c5a: KECCAK256
00000c5b: SLOAD
00000c5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c71: AND
00000c72: DUP1
00000c73: PUSH2 0x0672
00000c76: JUMPI
00000c77: PUSH1 0x40
00000c79: MLOAD
00000c7a: PUSH3 0x461bcd
00000c7e: PUSH1 0xe5
00000c80: SHL
00000c81: DUP2
00000c82: MSTORE
00000c83: PUSH1 0x20
00000c85: PUSH1 0x04
00000c87: DUP3
00000c88: ADD
00000c89: MSTORE
00000c8a: PUSH1 0x18
00000c8c: PUSH1 0x24
00000c8e: DUP3
00000c8f: ADD
00000c90: MSTORE
00000c91: PUSH32 0x4552433732313a20696e76616c696420746f6b656e2049440000000000000000
00000cb2: PUSH1 0x44
00000cb4: DUP3
00000cb5: ADD
00000cb6: MSTORE
00000cb7: PUSH1 0x64
00000cb9: ADD
00000cba: PUSH2 0x07e8
00000cbd: JUMP
00000cbe: JUMPDEST
00000cbf: PUSH2 0x0cc6
00000cc2: PUSH2 0x17f5
00000cc5: JUMP
00000cc6: JUMPDEST
00000cc7: PUSH1 0x0b
00000cc9: SSTORE
00000cca: JUMP
00000ccb: JUMPDEST
00000ccc: PUSH1 0x00
00000cce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce3: DUP3
00000ce4: AND
00000ce5: PUSH2 0x0d56
00000ce8: JUMPI
00000ce9: PUSH1 0x40
00000ceb: MLOAD
00000cec: PUSH3 0x461bcd
00000cf0: PUSH1 0xe5
00000cf2: SHL
00000cf3: DUP2
00000cf4: MSTORE
00000cf5: PUSH1 0x20
00000cf7: PUSH1 0x04
00000cf9: DUP3
00000cfa: ADD
00000cfb: MSTORE
00000cfc: PUSH1 0x29
00000cfe: PUSH1 0x24
00000d00: DUP3
00000d01: ADD
00000d02: MSTORE
00000d03: PUSH32 0x4552433732313a2061646472657373207a65726f206973206e6f742061207661
00000d24: PUSH1 0x44
00000d26: DUP3
00000d27: ADD
00000d28: MSTORE
00000d29: PUSH32 0x6c6964206f776e65720000000000000000000000000000000000000000000000
00000d4a: PUSH1 0x64
00000d4c: DUP3
00000d4d: ADD
00000d4e: MSTORE
00000d4f: PUSH1 0x84
00000d51: ADD
00000d52: PUSH2 0x07e8
00000d55: JUMP
00000d56: JUMPDEST
00000d57: POP
00000d58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d6d: AND
00000d6e: PUSH1 0x00
00000d70: SWAP1
00000d71: DUP2
00000d72: MSTORE
00000d73: PUSH1 0x03
00000d75: PUSH1 0x20
00000d77: MSTORE
00000d78: PUSH1 0x40
00000d7a: SWAP1
00000d7b: KECCAK256
00000d7c: SLOAD
00000d7d: SWAP1
00000d7e: JUMP
00000d7f: JUMPDEST
00000d80: PUSH2 0x0d87
00000d83: PUSH2 0x17f5
00000d86: JUMP
00000d87: JUMPDEST
00000d88: PUSH2 0x0d91
00000d8b: PUSH1 0x00
00000d8d: PUSH2 0x1881
00000d90: JUMP
00000d91: JUMPDEST
00000d92: JUMP
00000d93: JUMPDEST
00000d94: PUSH1 0x0f
00000d96: SLOAD
00000d97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dac: AND
00000dad: CALLER
00000dae: EQ
00000daf: DUP1
00000db0: PUSH2 0x0dd0
00000db3: JUMPI
00000db4: POP
00000db5: PUSH1 0x10
00000db7: SLOAD
00000db8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dcd: AND
00000dce: CALLER
00000dcf: EQ
00000dd0: JUMPDEST
00000dd1: PUSH2 0x0e1c
00000dd4: JUMPI
00000dd5: PUSH1 0x40
00000dd7: MLOAD
00000dd8: PUSH3 0x461bcd
00000ddc: PUSH1 0xe5
00000dde: SHL
00000ddf: DUP2
00000de0: MSTORE
00000de1: PUSH1 0x20
00000de3: PUSH1 0x04
00000de5: DUP3
00000de6: ADD
00000de7: MSTORE
00000de8: PUSH1 0x10
00000dea: PUSH1 0x24
00000dec: DUP3
00000ded: ADD
00000dee: MSTORE
00000def: PUSH32 0x43616c6c6572206e6f742041646d696e00000000000000000000000000000000
00000e10: PUSH1 0x44
00000e12: DUP3
00000e13: ADD
00000e14: MSTORE
00000e15: PUSH1 0x64
00000e17: ADD
00000e18: PUSH2 0x07e8
00000e1b: JUMP
00000e1c: JUMPDEST
00000e1d: PUSH2 0x0d91
00000e20: PUSH2 0x18f8
00000e23: JUMP
00000e24: JUMPDEST
00000e25: PUSH2 0x0e2c
00000e28: PUSH2 0x17f5
00000e2b: JUMP
00000e2c: JUMPDEST
00000e2d: DUP2
00000e2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e43: DUP2
00000e44: AND
00000e45: PUSH4 0xa9059cbb
00000e4a: PUSH2 0x0e68
00000e4d: PUSH1 0x0a
00000e4f: SLOAD
00000e50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e65: AND
00000e66: SWAP1
00000e67: JUMP
00000e68: JUMPDEST
00000e69: PUSH1 0x40
00000e6b: MLOAD
00000e6c: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000e8d: PUSH1 0xe0
00000e8f: DUP5
00000e90: SWAP1
00000e91: SHL
00000e92: AND
00000e93: DUP2
00000e94: MSTORE
00000e95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eaa: SWAP1
00000eab: SWAP2
00000eac: AND
00000ead: PUSH1 0x04
00000eaf: DUP3
00000eb0: ADD
00000eb1: MSTORE
00000eb2: PUSH1 0x24
00000eb4: DUP2
00000eb5: ADD
00000eb6: DUP6
00000eb7: SWAP1
00000eb8: MSTORE
00000eb9: PUSH1 0x44
00000ebb: ADD
00000ebc: PUSH2 0x097b
00000ebf: JUMP
00000ec0: JUMPDEST
00000ec1: PUSH1 0x0f
00000ec3: SLOAD
00000ec4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ed9: AND
00000eda: CALLER
00000edb: EQ
00000edc: DUP1
00000edd: PUSH2 0x0efd
00000ee0: JUMPI
00000ee1: POP
00000ee2: PUSH1 0x10
00000ee4: SLOAD
00000ee5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000efa: AND
00000efb: CALLER
00000efc: EQ
00000efd: JUMPDEST
00000efe: PUSH2 0x0cc6
00000f01: JUMPI
00000f02: PUSH1 0x40
00000f04: MLOAD
00000f05: PUSH3 0x461bcd
00000f09: PUSH1 0xe5
00000f0b: SHL
00000f0c: DUP2
00000f0d: MSTORE
00000f0e: PUSH1 0x20
00000f10: PUSH1 0x04
00000f12: DUP3
00000f13: ADD
00000f14: MSTORE
00000f15: PUSH1 0x10
00000f17: PUSH1 0x24
00000f19: DUP3
00000f1a: ADD
00000f1b: MSTORE
00000f1c: PUSH32 0x43616c6c6572206e6f742041646d696e00000000000000000000000000000000
00000f3d: PUSH1 0x44
00000f3f: DUP3
00000f40: ADD
00000f41: MSTORE
00000f42: PUSH1 0x64
00000f44: ADD
00000f45: PUSH2 0x07e8
00000f48: JUMP
00000f49: JUMPDEST
00000f4a: PUSH1 0x00
00000f4c: DUP2
00000f4d: GT
00000f4e: DUP1
00000f4f: ISZERO
00000f50: PUSH2 0x0f5a
00000f53: JUMPI
00000f54: POP
00000f55: PUSH1 0x32
00000f57: DUP2
00000f58: GT
00000f59: ISZERO
00000f5a: JUMPDEST
00000f5b: PUSH2 0x0fa6
00000f5e: JUMPI
00000f5f: PUSH1 0x40
00000f61: MLOAD
00000f62: PUSH3 0x461bcd
00000f66: PUSH1 0xe5
00000f68: SHL
00000f69: DUP2
00000f6a: MSTORE
00000f6b: PUSH1 0x20
00000f6d: PUSH1 0x04
00000f6f: DUP3
00000f70: ADD
00000f71: MSTORE
00000f72: PUSH1 0x0b
00000f74: PUSH1 0x24
00000f76: DUP3
00000f77: ADD
00000f78: MSTORE
00000f79: PUSH32 0x416d6f756e7420312d3530000000000000000000000000000000000000000000
00000f9a: PUSH1 0x44
00000f9c: DUP3
00000f9d: ADD
00000f9e: MSTORE
00000f9f: PUSH1 0x64
00000fa1: ADD
00000fa2: PUSH2 0x07e8
00000fa5: JUMP
00000fa6: JUMPDEST
00000fa7: DUP1
00000fa8: PUSH1 0x0b
00000faa: SLOAD
00000fab: PUSH2 0x0fb4
00000fae: SWAP2
00000faf: SWAP1
00000fb0: PUSH2 0x28c5
00000fb3: JUMP
00000fb4: JUMPDEST
00000fb5: CALLVALUE
00000fb6: EQ
00000fb7: PUSH2 0x1002
00000fba: JUMPI
00000fbb: PUSH1 0x40
00000fbd: MLOAD
00000fbe: PUSH3 0x461bcd
00000fc2: PUSH1 0xe5
00000fc4: SHL
00000fc5: DUP2
00000fc6: MSTORE
00000fc7: PUSH1 0x20
00000fc9: PUSH1 0x04
00000fcb: DUP3
00000fcc: ADD
00000fcd: MSTORE
00000fce: PUSH1 0x0c
00000fd0: PUSH1 0x24
00000fd2: DUP3
00000fd3: ADD
00000fd4: MSTORE
00000fd5: PUSH32 0x466565206d69736d617463680000000000000000000000000000000000000000
00000ff6: PUSH1 0x44
00000ff8: DUP3
00000ff9: ADD
00000ffa: MSTORE
00000ffb: PUSH1 0x64
00000ffd: ADD
00000ffe: PUSH2 0x07e8
00001001: JUMP
00001002: JUMPDEST
00001003: PUSH2 0x270f
00001006: PUSH1 0x01
00001008: DUP3
00001009: PUSH2 0x1011
0000100c: PUSH1 0x0e
0000100e: SLOAD
0000100f: SWAP1
00001010: JUMP
00001011: JUMPDEST
00001012: PUSH2 0x101b
00001015: SWAP2
00001016: SWAP1
00001017: PUSH2 0x2902
0000101a: JUMP
0000101b: JUMPDEST
0000101c: PUSH2 0x1025
0000101f: SWAP2
00001020: SWAP1
00001021: PUSH2 0x291a
00001024: JUMP
00001025: JUMPDEST
00001026: GT
00001027: ISZERO
00001028: PUSH2 0x1073
0000102b: JUMPI
0000102c: PUSH1 0x40
0000102e: MLOAD
0000102f: PUSH3 0x461bcd
00001033: PUSH1 0xe5
00001035: SHL
00001036: DUP2
00001037: MSTORE
00001038: PUSH1 0x20
0000103a: PUSH1 0x04
0000103c: DUP3
0000103d: ADD
0000103e: MSTORE
0000103f: PUSH1 0x08
00001041: PUSH1 0x24
00001043: DUP3
00001044: ADD
00001045: MSTORE
00001046: PUSH32 0x536f6c64204f7574000000000000000000000000000000000000000000000000
00001067: PUSH1 0x44
00001069: DUP3
0000106a: ADD
0000106b: MSTORE
0000106c: PUSH1 0x64
0000106e: ADD
0000106f: PUSH2 0x07e8
00001072: JUMP
00001073: JUMPDEST
00001074: PUSH1 0x01
00001076: JUMPDEST
00001077: DUP2
00001078: DUP2
00001079: GT
0000107a: PUSH2 0x0bda
0000107d: JUMPI
0000107e: PUSH2 0x1086
00001081: CALLER
00001082: PUSH2 0x185c
00001085: JUMP
00001086: JUMPDEST
00001087: DUP1
00001088: PUSH2 0x1090
0000108b: DUP2
0000108c: PUSH2 0x2931
0000108f: JUMP
00001090: JUMPDEST
00001091: SWAP2
00001092: POP
00001093: POP
00001094: PUSH2 0x1076
00001097: JUMP
00001098: JUMPDEST
00001099: PUSH2 0x10a0
0000109c: PUSH2 0x17f5
0000109f: JUMP
000010a0: JUMPDEST
000010a1: DUP1
000010a2: MLOAD
000010a3: PUSH2 0x0bda
000010a6: SWAP1
000010a7: PUSH1 0x0d
000010a9: SWAP1
000010aa: PUSH1 0x20
000010ac: DUP5
000010ad: ADD
000010ae: SWAP1
000010af: PUSH2 0x23c7
000010b2: JUMP
000010b3: JUMPDEST
000010b4: PUSH1 0x60
000010b6: PUSH1 0x01
000010b8: DUP1
000010b9: SLOAD
000010ba: PUSH2 0x0687
000010bd: SWAP1
000010be: PUSH2 0x27f7
000010c1: JUMP
000010c2: JUMPDEST
000010c3: PUSH2 0x0bda
000010c6: CALLER
000010c7: DUP4
000010c8: DUP4
000010c9: PUSH2 0x1ab7
000010cc: JUMP
000010cd: JUMPDEST
000010ce: PUSH2 0x10d7
000010d1: CALLER
000010d2: DUP4
000010d3: PUSH2 0x14f7
000010d6: JUMP
000010d7: JUMPDEST
000010d8: PUSH2 0x1149
000010db: JUMPI
000010dc: PUSH1 0x40
000010de: MLOAD
000010df: PUSH3 0x461bcd
000010e3: PUSH1 0xe5
000010e5: SHL
000010e6: DUP2
000010e7: MSTORE
000010e8: PUSH1 0x20
000010ea: PUSH1 0x04
000010ec: DUP3
000010ed: ADD
000010ee: MSTORE
000010ef: PUSH1 0x2e
000010f1: PUSH1 0x24
000010f3: DUP3
000010f4: ADD
000010f5: MSTORE
000010f6: PUSH32 0x4552433732313a2063616c6c6572206973206e6f7420746f6b656e206f776e65
00001117: PUSH1 0x44
00001119: DUP3
0000111a: ADD
0000111b: MSTORE
0000111c: PUSH32 0x72206e6f7220617070726f766564000000000000000000000000000000000000
0000113d: PUSH1 0x64
0000113f: DUP3
00001140: ADD
00001141: MSTORE
00001142: PUSH1 0x84
00001144: ADD
00001145: PUSH2 0x07e8
00001148: JUMP
00001149: JUMPDEST
0000114a: PUSH2 0x09be
0000114d: DUP5
0000114e: DUP5
0000114f: DUP5
00001150: DUP5
00001151: PUSH2 0x1bca
00001154: JUMP
00001155: JUMPDEST
00001156: PUSH2 0x0e1c
00001159: PUSH2 0x17f5
0000115c: JUMP
0000115d: JUMPDEST
0000115e: PUSH1 0x60
00001160: PUSH2 0x1168
00001163: DUP3
00001164: PUSH2 0x13e6
00001167: JUMP
00001168: JUMPDEST
00001169: PUSH1 0x00
0000116b: PUSH2 0x1172
0000116e: PUSH2 0x1c53
00001171: JUMP
00001172: JUMPDEST
00001173: SWAP1
00001174: POP
00001175: PUSH1 0x00
00001177: DUP2
00001178: MLOAD
00001179: GT
0000117a: PUSH2 0x1192
0000117d: JUMPI
0000117e: PUSH1 0x40
00001180: MLOAD
00001181: DUP1
00001182: PUSH1 0x20
00001184: ADD
00001185: PUSH1 0x40
00001187: MSTORE
00001188: DUP1
00001189: PUSH1 0x00
0000118b: DUP2
0000118c: MSTORE
0000118d: POP
0000118e: PUSH2 0x11bd
00001191: JUMP
00001192: JUMPDEST
00001193: DUP1
00001194: PUSH2 0x119c
00001197: DUP5
00001198: PUSH2 0x1c62
0000119b: JUMP
0000119c: JUMPDEST
0000119d: PUSH1 0x40
0000119f: MLOAD
000011a0: PUSH1 0x20
000011a2: ADD
000011a3: PUSH2 0x11ad
000011a6: SWAP3
000011a7: SWAP2
000011a8: SWAP1
000011a9: PUSH2 0x2969
000011ac: JUMP
000011ad: JUMPDEST
000011ae: PUSH1 0x40
000011b0: MLOAD
000011b1: PUSH1 0x20
000011b3: DUP2
000011b4: DUP4
000011b5: SUB
000011b6: SUB
000011b7: DUP2
000011b8: MSTORE
000011b9: SWAP1
000011ba: PUSH1 0x40
000011bc: MSTORE
000011bd: JUMPDEST
000011be: SWAP4
000011bf: SWAP3
000011c0: POP
000011c1: POP
000011c2: POP
000011c3: JUMP
000011c4: JUMPDEST
000011c5: PUSH1 0x0f
000011c7: SLOAD
000011c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011dd: AND
000011de: CALLER
000011df: EQ
000011e0: DUP1
000011e1: PUSH2 0x1201
000011e4: JUMPI
000011e5: POP
000011e6: PUSH1 0x10
000011e8: SLOAD
000011e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011fe: AND
000011ff: CALLER
00001200: EQ
00001201: JUMPDEST
00001202: PUSH2 0x0be6
00001205: JUMPI
00001206: PUSH1 0x40
00001208: MLOAD
00001209: PUSH3 0x461bcd
0000120d: PUSH1 0xe5
0000120f: SHL
00001210: DUP2
00001211: MSTORE
00001212: PUSH1 0x20
00001214: PUSH1 0x04
00001216: DUP3
00001217: ADD
00001218: MSTORE
00001219: PUSH1 0x10
0000121b: PUSH1 0x24
0000121d: DUP3
0000121e: ADD
0000121f: MSTORE
00001220: PUSH32 0x43616c6c6572206e6f742041646d696e00000000000000000000000000000000
00001241: PUSH1 0x44
00001243: DUP3
00001244: ADD
00001245: MSTORE
00001246: PUSH1 0x64
00001248: ADD
00001249: PUSH2 0x07e8
0000124c: JUMP
0000124d: JUMPDEST
0000124e: PUSH1 0x60
00001250: PUSH1 0x0d
00001252: DUP1
00001253: SLOAD
00001254: PUSH2 0x0687
00001257: SWAP1
00001258: PUSH2 0x27f7
0000125b: JUMP
0000125c: JUMPDEST
0000125d: PUSH2 0x1264
00001260: PUSH2 0x17f5
00001263: JUMP
00001264: JUMPDEST
00001265: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000127a: DUP2
0000127b: AND
0000127c: PUSH2 0x12ed
0000127f: JUMPI
00001280: PUSH1 0x40
00001282: MLOAD
00001283: PUSH3 0x461bcd
00001287: PUSH1 0xe5
00001289: SHL
0000128a: DUP2
0000128b: MSTORE
0000128c: PUSH1 0x20
0000128e: PUSH1 0x04
00001290: DUP3
00001291: ADD
00001292: MSTORE
00001293: PUSH1 0x26
00001295: PUSH1 0x24
00001297: DUP3
00001298: ADD
00001299: MSTORE
0000129a: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
000012bb: PUSH1 0x44
000012bd: DUP3
000012be: ADD
000012bf: MSTORE
000012c0: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
000012e1: PUSH1 0x64
000012e3: DUP3
000012e4: ADD
000012e5: MSTORE
000012e6: PUSH1 0x84
000012e8: ADD
000012e9: PUSH2 0x07e8
000012ec: JUMP
000012ed: JUMPDEST
000012ee: PUSH2 0x0c49
000012f1: DUP2
000012f2: PUSH2 0x1881
000012f5: JUMP
000012f6: JUMPDEST
000012f7: SLOAD
000012f8: SWAP1
000012f9: JUMP
000012fa: JUMPDEST
000012fb: DUP1
000012fc: SLOAD
000012fd: PUSH1 0x01
000012ff: ADD
00001300: SWAP1
00001301: SSTORE
00001302: JUMP
00001303: JUMPDEST
00001304: PUSH1 0x00
00001306: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001327: DUP3
00001328: AND
00001329: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000
0000134a: EQ
0000134b: DUP1
0000134c: PUSH2 0x1396
0000134f: JUMPI
00001350: POP
00001351: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001372: DUP3
00001373: AND
00001374: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000
00001395: EQ
00001396: JUMPDEST
00001397: DUP1
00001398: PUSH2 0x0672
0000139b: JUMPI
0000139c: POP
0000139d: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
000013be: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000013df: DUP4
000013e0: AND
000013e1: EQ
000013e2: PUSH2 0x0672
000013e5: JUMP
000013e6: JUMPDEST
000013e7: PUSH1 0x00
000013e9: DUP2
000013ea: DUP2
000013eb: MSTORE
000013ec: PUSH1 0x02
000013ee: PUSH1 0x20
000013f0: MSTORE
000013f1: PUSH1 0x40
000013f3: SWAP1
000013f4: KECCAK256
000013f5: SLOAD
000013f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000140b: AND
0000140c: PUSH2 0x0c49
0000140f: JUMPI
00001410: PUSH1 0x40
00001412: MLOAD
00001413: PUSH3 0x461bcd
00001417: PUSH1 0xe5
00001419: SHL
0000141a: DUP2
0000141b: MSTORE
0000141c: PUSH1 0x20
0000141e: PUSH1 0x04
00001420: DUP3
00001421: ADD
00001422: MSTORE
00001423: PUSH1 0x18
00001425: PUSH1 0x24
00001427: DUP3
00001428: ADD
00001429: MSTORE
0000142a: PUSH32 0x4552433732313a20696e76616c696420746f6b656e2049440000000000000000
0000144b: PUSH1 0x44
0000144d: DUP3
0000144e: ADD
0000144f: MSTORE
00001450: PUSH1 0x64
00001452: ADD
00001453: PUSH2 0x07e8
00001456: JUMP
00001457: JUMPDEST
00001458: PUSH1 0x00
0000145a: DUP2
0000145b: DUP2
0000145c: MSTORE
0000145d: PUSH1 0x04
0000145f: PUSH1 0x20
00001461: MSTORE
00001462: PUSH1 0x40
00001464: SWAP1
00001465: KECCAK256
00001466: DUP1
00001467: SLOAD
00001468: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001489: AND
0000148a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000149f: DUP5
000014a0: AND
000014a1: SWAP1
000014a2: DUP2
000014a3: OR
000014a4: SWAP1
000014a5: SWAP2
000014a6: SSTORE
000014a7: DUP2
000014a8: SWAP1
000014a9: PUSH2 0x14b1
000014ac: DUP3
000014ad: PUSH2 0x0c4c
000014b0: JUMP
000014b1: JUMPDEST
000014b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014c7: AND
000014c8: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000014e9: PUSH1 0x40
000014eb: MLOAD
000014ec: PUSH1 0x40
000014ee: MLOAD
000014ef: DUP1
000014f0: SWAP2
000014f1: SUB
000014f2: SWAP1
000014f3: LOG4
000014f4: POP
000014f5: POP
000014f6: JUMP
000014f7: JUMPDEST
000014f8: PUSH1 0x00
000014fa: DUP1
000014fb: PUSH2 0x1503
000014fe: DUP4
000014ff: PUSH2 0x0c4c
00001502: JUMP
00001503: JUMPDEST
00001504: SWAP1
00001505: POP
00001506: DUP1
00001507: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000151c: AND
0000151d: DUP5
0000151e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001533: AND
00001534: EQ
00001535: DUP1
00001536: PUSH2 0x1571
00001539: JUMPI
0000153a: POP
0000153b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001550: DUP1
00001551: DUP3
00001552: AND
00001553: PUSH1 0x00
00001555: SWAP1
00001556: DUP2
00001557: MSTORE
00001558: PUSH1 0x05
0000155a: PUSH1 0x20
0000155c: SWAP1
0000155d: DUP2
0000155e: MSTORE
0000155f: PUSH1 0x40
00001561: DUP1
00001562: DUP4
00001563: KECCAK256
00001564: SWAP4
00001565: DUP9
00001566: AND
00001567: DUP4
00001568: MSTORE
00001569: SWAP3
0000156a: SWAP1
0000156b: MSTORE
0000156c: KECCAK256
0000156d: SLOAD
0000156e: PUSH1 0xff
00001570: AND
00001571: JUMPDEST
00001572: DUP1
00001573: PUSH2 0x15af
00001576: JUMPI
00001577: POP
00001578: DUP4
00001579: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000158e: AND
0000158f: PUSH2 0x1597
00001592: DUP5
00001593: PUSH2 0x070a
00001596: JUMP
00001597: JUMPDEST
00001598: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ad: AND
000015ae: EQ
000015af: JUMPDEST
000015b0: SWAP5
000015b1: SWAP4
000015b2: POP
000015b3: POP
000015b4: POP
000015b5: POP
000015b6: JUMP
000015b7: JUMPDEST
000015b8: DUP3
000015b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ce: AND
000015cf: PUSH2 0x15d7
000015d2: DUP3
000015d3: PUSH2 0x0c4c
000015d6: JUMP
000015d7: JUMPDEST
000015d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ed: AND
000015ee: EQ
000015ef: PUSH2 0x1660
000015f2: JUMPI
000015f3: PUSH1 0x40
000015f5: MLOAD
000015f6: PUSH3 0x461bcd
000015fa: PUSH1 0xe5
000015fc: SHL
000015fd: DUP2
000015fe: MSTORE
000015ff: PUSH1 0x20
00001601: PUSH1 0x04
00001603: DUP3
00001604: ADD
00001605: MSTORE
00001606: PUSH1 0x25
00001608: PUSH1 0x24
0000160a: DUP3
0000160b: ADD
0000160c: MSTORE
0000160d: PUSH32 0x4552433732313a207472616e736665722066726f6d20696e636f727265637420
0000162e: PUSH1 0x44
00001630: DUP3
00001631: ADD
00001632: MSTORE
00001633: PUSH32 0x6f776e6572000000000000000000000000000000000000000000000000000000
00001654: PUSH1 0x64
00001656: DUP3
00001657: ADD
00001658: MSTORE
00001659: PUSH1 0x84
0000165b: ADD
0000165c: PUSH2 0x07e8
0000165f: JUMP
00001660: JUMPDEST
00001661: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001676: DUP3
00001677: AND
00001678: PUSH2 0x16e8
0000167b: JUMPI
0000167c: PUSH1 0x40
0000167e: MLOAD
0000167f: PUSH3 0x461bcd
00001683: PUSH1 0xe5
00001685: SHL
00001686: DUP2
00001687: MSTORE
00001688: PUSH1 0x20
0000168a: PUSH1 0x04
0000168c: DUP3
0000168d: ADD
0000168e: MSTORE
0000168f: PUSH1 0x24
00001691: DUP1
00001692: DUP3
00001693: ADD
00001694: MSTORE
00001695: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464
000016b6: PUSH1 0x44
000016b8: DUP3
000016b9: ADD
000016ba: MSTORE
000016bb: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
000016dc: PUSH1 0x64
000016de: DUP3
000016df: ADD
000016e0: MSTORE
000016e1: PUSH1 0x84
000016e3: ADD
000016e4: PUSH2 0x07e8
000016e7: JUMP
000016e8: JUMPDEST
000016e9: PUSH2 0x16f3
000016ec: DUP4
000016ed: DUP4
000016ee: DUP4
000016ef: PUSH2 0x1d97
000016f2: JUMP
000016f3: JUMPDEST
000016f4: PUSH2 0x16fe
000016f7: PUSH1 0x00
000016f9: DUP3
000016fa: PUSH2 0x1457
000016fd: JUMP
000016fe: JUMPDEST
000016ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001714: DUP4
00001715: AND
00001716: PUSH1 0x00
00001718: SWAP1
00001719: DUP2
0000171a: MSTORE
0000171b: PUSH1 0x03
0000171d: PUSH1 0x20
0000171f: MSTORE
00001720: PUSH1 0x40
00001722: DUP2
00001723: KECCAK256
00001724: DUP1
00001725: SLOAD
00001726: PUSH1 0x01
00001728: SWAP3
00001729: SWAP1
0000172a: PUSH2 0x1734
0000172d: SWAP1
0000172e: DUP5
0000172f: SWAP1
00001730: PUSH2 0x291a
00001733: JUMP
00001734: JUMPDEST
00001735: SWAP1
00001736: SWAP2
00001737: SSTORE
00001738: POP
00001739: POP
0000173a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000174f: DUP3
00001750: AND
00001751: PUSH1 0x00
00001753: SWAP1
00001754: DUP2
00001755: MSTORE
00001756: PUSH1 0x03
00001758: PUSH1 0x20
0000175a: MSTORE
0000175b: PUSH1 0x40
0000175d: DUP2
0000175e: KECCAK256
0000175f: DUP1
00001760: SLOAD
00001761: PUSH1 0x01
00001763: SWAP3
00001764: SWAP1
00001765: PUSH2 0x176f
00001768: SWAP1
00001769: DUP5
0000176a: SWAP1
0000176b: PUSH2 0x2902
0000176e: JUMP
0000176f: JUMPDEST
00001770: SWAP1
00001771: SWAP2
00001772: SSTORE
00001773: POP
00001774: POP
00001775: PUSH1 0x00
00001777: DUP2
00001778: DUP2
00001779: MSTORE
0000177a: PUSH1 0x02
0000177c: PUSH1 0x20
0000177e: MSTORE
0000177f: PUSH1 0x40
00001781: DUP1
00001782: DUP3
00001783: KECCAK256
00001784: DUP1
00001785: SLOAD
00001786: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000017a7: AND
000017a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017bd: DUP7
000017be: DUP2
000017bf: AND
000017c0: SWAP2
000017c1: DUP3
000017c2: OR
000017c3: SWAP1
000017c4: SWAP3
000017c5: SSTORE
000017c6: SWAP2
000017c7: MLOAD
000017c8: DUP5
000017c9: SWAP4
000017ca: SWAP2
000017cb: DUP8
000017cc: AND
000017cd: SWAP2
000017ce: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000017ef: SWAP2
000017f0: LOG4
000017f1: POP
000017f2: POP
000017f3: POP
000017f4: JUMP
000017f5: JUMPDEST
000017f6: PUSH1 0x0a
000017f8: SLOAD
000017f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000180e: AND
0000180f: CALLER
00001810: EQ
00001811: PUSH2 0x0d91
00001814: JUMPI
00001815: PUSH1 0x40
00001817: MLOAD
00001818: PUSH3 0x461bcd
0000181c: PUSH1 0xe5
0000181e: SHL
0000181f: DUP2
00001820: MSTORE
00001821: PUSH1 0x20
00001823: PUSH1 0x04
00001825: DUP3
00001826: ADD
00001827: DUP2
00001828: SWAP1
00001829: MSTORE
0000182a: PUSH1 0x24
0000182c: DUP3
0000182d: ADD
0000182e: MSTORE
0000182f: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001850: PUSH1 0x44
00001852: DUP3
00001853: ADD
00001854: MSTORE
00001855: PUSH1 0x64
00001857: ADD
00001858: PUSH2 0x07e8
0000185b: JUMP
0000185c: JUMPDEST
0000185d: PUSH1 0x00
0000185f: PUSH2 0x1867
00001862: PUSH1 0x0e
00001864: SLOAD
00001865: SWAP1
00001866: JUMP
00001867: JUMPDEST
00001868: SWAP1
00001869: POP
0000186a: PUSH2 0x1873
0000186d: DUP3
0000186e: DUP3
0000186f: PUSH2 0x1e9d
00001872: JUMP
00001873: JUMPDEST
00001874: PUSH2 0x0bda
00001877: PUSH1 0x0e
00001879: DUP1
0000187a: SLOAD
0000187b: PUSH1 0x01
0000187d: ADD
0000187e: SWAP1
0000187f: SSTORE
00001880: JUMP
00001881: JUMPDEST
00001882: PUSH1 0x0a
00001884: DUP1
00001885: SLOAD
00001886: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000189b: DUP4
0000189c: DUP2
0000189d: AND
0000189e: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000018bf: DUP4
000018c0: AND
000018c1: DUP2
000018c2: OR
000018c3: SWAP1
000018c4: SWAP4
000018c5: SSTORE
000018c6: PUSH1 0x40
000018c8: MLOAD
000018c9: SWAP2
000018ca: AND
000018cb: SWAP2
000018cc: SWAP1
000018cd: DUP3
000018ce: SWAP1
000018cf: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000018f0: SWAP1
000018f1: PUSH1 0x00
000018f3: SWAP1
000018f4: LOG3
000018f5: POP
000018f6: POP
000018f7: JUMP
000018f8: JUMPDEST
000018f9: SELFBALANCE
000018fa: PUSH20 0x3fea3a089f40acfd45841024fb26992c64f24e4f
0000190f: PUSH2 0x08fc
00001912: PUSH2 0x03e8
00001915: PUSH2 0x1920
00001918: DUP5
00001919: PUSH2 0x02ad
0000191c: PUSH2 0x28c5
0000191f: JUMP
00001920: JUMPDEST
00001921: PUSH2 0x192a
00001924: SWAP2
00001925: SWAP1
00001926: PUSH2 0x29c7
00001929: JUMP
0000192a: JUMPDEST
0000192b: PUSH1 0x40
0000192d: MLOAD
0000192e: DUP2
0000192f: ISZERO
00001930: SWAP1
00001931: SWAP3
00001932: MUL
00001933: SWAP2
00001934: PUSH1 0x00
00001936: DUP2
00001937: DUP2
00001938: DUP2
00001939: DUP6
0000193a: DUP9
0000193b: DUP9
0000193c: CALL
0000193d: SWAP4
0000193e: POP
0000193f: POP
00001940: POP
00001941: POP
00001942: ISZERO
00001943: DUP1
00001944: ISZERO
00001945: PUSH2 0x1952
00001948: JUMPI
00001949: RETURNDATASIZE
0000194a: PUSH1 0x00
0000194c: DUP1
0000194d: RETURNDATACOPY
0000194e: RETURNDATASIZE
0000194f: PUSH1 0x00
00001951: REVERT
00001952: JUMPDEST
00001953: POP
00001954: PUSH20 0x67abb9cfbc54a506b9c78f8283a4dd0a5bf7b5e2
00001969: PUSH2 0x08fc
0000196c: PUSH2 0x03e8
0000196f: PUSH2 0x197a
00001972: DUP5
00001973: PUSH2 0x012c
00001976: PUSH2 0x28c5
00001979: JUMP
0000197a: JUMPDEST
0000197b: PUSH2 0x1984
0000197e: SWAP2
0000197f: SWAP1
00001980: PUSH2 0x29c7
00001983: JUMP
00001984: JUMPDEST
00001985: PUSH1 0x40
00001987: MLOAD
00001988: DUP2
00001989: ISZERO
0000198a: SWAP1
0000198b: SWAP3
0000198c: MUL
0000198d: SWAP2
0000198e: PUSH1 0x00
00001990: DUP2
00001991: DUP2
00001992: DUP2
00001993: DUP6
00001994: DUP9
00001995: DUP9
00001996: CALL
00001997: SWAP4
00001998: POP
00001999: POP
0000199a: POP
0000199b: POP
0000199c: ISZERO
0000199d: DUP1
0000199e: ISZERO
0000199f: PUSH2 0x19ac
000019a2: JUMPI
000019a3: RETURNDATASIZE
000019a4: PUSH1 0x00
000019a6: DUP1
000019a7: RETURNDATACOPY
000019a8: RETURNDATASIZE
000019a9: PUSH1 0x00
000019ab: REVERT
000019ac: JUMPDEST
000019ad: POP
000019ae: PUSH20 0x8553935666f348cad9492780c1a6cc0794f043d0
000019c3: PUSH2 0x08fc
000019c6: PUSH2 0x03e8
000019c9: PUSH2 0x19d3
000019cc: DUP5
000019cd: PUSH1 0x05
000019cf: PUSH2 0x28c5
000019d2: JUMP
000019d3: JUMPDEST
000019d4: PUSH2 0x19dd
000019d7: SWAP2
000019d8: SWAP1
000019d9: PUSH2 0x29c7
000019dc: JUMP
000019dd: JUMPDEST
000019de: PUSH1 0x40
000019e0: MLOAD
000019e1: DUP2
000019e2: ISZERO
000019e3: SWAP1
000019e4: SWAP3
000019e5: MUL
000019e6: SWAP2
000019e7: PUSH1 0x00
000019e9: DUP2
000019ea: DUP2
000019eb: DUP2
000019ec: DUP6
000019ed: DUP9
000019ee: DUP9
000019ef: CALL
000019f0: SWAP4
000019f1: POP
000019f2: POP
000019f3: POP
000019f4: POP
000019f5: ISZERO
000019f6: DUP1
000019f7: ISZERO
000019f8: PUSH2 0x1a05
000019fb: JUMPI
000019fc: RETURNDATASIZE
000019fd: PUSH1 0x00
000019ff: DUP1
00001a00: RETURNDATACOPY
00001a01: RETURNDATASIZE
00001a02: PUSH1 0x00
00001a04: REVERT
00001a05: JUMPDEST
00001a06: POP
00001a07: PUSH20 0xadbff9803d2b2edbf5162d84b826907727121731
00001a1c: PUSH2 0x08fc
00001a1f: PUSH2 0x03e8
00001a22: PUSH2 0x1a2c
00001a25: DUP5
00001a26: PUSH1 0x05
00001a28: PUSH2 0x28c5
00001a2b: JUMP
00001a2c: JUMPDEST
00001a2d: PUSH2 0x1a36
00001a30: SWAP2
00001a31: SWAP1
00001a32: PUSH2 0x29c7
00001a35: JUMP
00001a36: JUMPDEST
00001a37: PUSH1 0x40
00001a39: MLOAD
00001a3a: DUP2
00001a3b: ISZERO
00001a3c: SWAP1
00001a3d: SWAP3
00001a3e: MUL
00001a3f: SWAP2
00001a40: PUSH1 0x00
00001a42: DUP2
00001a43: DUP2
00001a44: DUP2
00001a45: DUP6
00001a46: DUP9
00001a47: DUP9
00001a48: CALL
00001a49: SWAP4
00001a4a: POP
00001a4b: POP
00001a4c: POP
00001a4d: POP
00001a4e: ISZERO
00001a4f: DUP1
00001a50: ISZERO
00001a51: PUSH2 0x1a5e
00001a54: JUMPI
00001a55: RETURNDATASIZE
00001a56: PUSH1 0x00
00001a58: DUP1
00001a59: RETURNDATACOPY
00001a5a: RETURNDATASIZE
00001a5b: PUSH1 0x00
00001a5d: REVERT
00001a5e: JUMPDEST
00001a5f: POP
00001a60: PUSH20 0x1c1333a823f733b744ef417f94295432b984e397
00001a75: PUSH2 0x08fc
00001a78: PUSH2 0x03e8
00001a7b: PUSH2 0x1a85
00001a7e: DUP5
00001a7f: PUSH1 0x05
00001a81: PUSH2 0x28c5
00001a84: JUMP
00001a85: JUMPDEST
00001a86: PUSH2 0x1a8f
00001a89: SWAP2
00001a8a: SWAP1
00001a8b: PUSH2 0x29c7
00001a8e: JUMP
00001a8f: JUMPDEST
00001a90: PUSH1 0x40
00001a92: MLOAD
00001a93: DUP2
00001a94: ISZERO
00001a95: SWAP1
00001a96: SWAP3
00001a97: MUL
00001a98: SWAP2
00001a99: PUSH1 0x00
00001a9b: DUP2
00001a9c: DUP2
00001a9d: DUP2
00001a9e: DUP6
00001a9f: DUP9
00001aa0: DUP9
00001aa1: CALL
00001aa2: SWAP4
00001aa3: POP
00001aa4: POP
00001aa5: POP
00001aa6: POP
00001aa7: ISZERO
00001aa8: DUP1
00001aa9: ISZERO
00001aaa: PUSH2 0x0bda
00001aad: JUMPI
00001aae: RETURNDATASIZE
00001aaf: PUSH1 0x00
00001ab1: DUP1
00001ab2: RETURNDATACOPY
00001ab3: RETURNDATASIZE
00001ab4: PUSH1 0x00
00001ab6: REVERT
00001ab7: JUMPDEST
00001ab8: DUP2
00001ab9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ace: AND
00001acf: DUP4
00001ad0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ae5: AND
00001ae6: SUB
00001ae7: PUSH2 0x1b32
00001aea: JUMPI
00001aeb: PUSH1 0x40
00001aed: MLOAD
00001aee: PUSH3 0x461bcd
00001af2: PUSH1 0xe5
00001af4: SHL
00001af5: DUP2
00001af6: MSTORE
00001af7: PUSH1 0x20
00001af9: PUSH1 0x04
00001afb: DUP3
00001afc: ADD
00001afd: MSTORE
00001afe: PUSH1 0x19
00001b00: PUSH1 0x24
00001b02: DUP3
00001b03: ADD
00001b04: MSTORE
00001b05: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000
00001b26: PUSH1 0x44
00001b28: DUP3
00001b29: ADD
00001b2a: MSTORE
00001b2b: PUSH1 0x64
00001b2d: ADD
00001b2e: PUSH2 0x07e8
00001b31: JUMP
00001b32: JUMPDEST
00001b33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b48: DUP4
00001b49: DUP2
00001b4a: AND
00001b4b: PUSH1 0x00
00001b4d: DUP2
00001b4e: DUP2
00001b4f: MSTORE
00001b50: PUSH1 0x05
00001b52: PUSH1 0x20
00001b54: SWAP1
00001b55: DUP2
00001b56: MSTORE
00001b57: PUSH1 0x40
00001b59: DUP1
00001b5a: DUP4
00001b5b: KECCAK256
00001b5c: SWAP5
00001b5d: DUP8
00001b5e: AND
00001b5f: DUP1
00001b60: DUP5
00001b61: MSTORE
00001b62: SWAP5
00001b63: DUP3
00001b64: MSTORE
00001b65: SWAP2
00001b66: DUP3
00001b67: SWAP1
00001b68: KECCAK256
00001b69: DUP1
00001b6a: SLOAD
00001b6b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001b8c: AND
00001b8d: DUP7
00001b8e: ISZERO
00001b8f: ISZERO
00001b90: SWAP1
00001b91: DUP2
00001b92: OR
00001b93: SWAP1
00001b94: SWAP2
00001b95: SSTORE
00001b96: SWAP2
00001b97: MLOAD
00001b98: SWAP2
00001b99: DUP3
00001b9a: MSTORE
00001b9b: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00001bbc: SWAP2
00001bbd: ADD
00001bbe: PUSH1 0x40
00001bc0: MLOAD
00001bc1: DUP1
00001bc2: SWAP2
00001bc3: SUB
00001bc4: SWAP1
00001bc5: LOG3
00001bc6: POP
00001bc7: POP
00001bc8: POP
00001bc9: JUMP
00001bca: JUMPDEST
00001bcb: PUSH2 0x1bd5
00001bce: DUP5
00001bcf: DUP5
00001bd0: DUP5
00001bd1: PUSH2 0x15b7
00001bd4: JUMP
00001bd5: JUMPDEST
00001bd6: PUSH2 0x1be1
00001bd9: DUP5
00001bda: DUP5
00001bdb: DUP5
00001bdc: DUP5
00001bdd: PUSH2 0x2037
00001be0: JUMP
00001be1: JUMPDEST
00001be2: PUSH2 0x09be
00001be5: JUMPI
00001be6: PUSH1 0x40
00001be8: MLOAD
00001be9: PUSH3 0x461bcd
00001bed: PUSH1 0xe5
00001bef: SHL
00001bf0: DUP2
00001bf1: MSTORE
00001bf2: PUSH1 0x20
00001bf4: PUSH1 0x04
00001bf6: DUP3
00001bf7: ADD
00001bf8: MSTORE
00001bf9: PUSH1 0x32
00001bfb: PUSH1 0x24
00001bfd: DUP3
00001bfe: ADD
00001bff: MSTORE
00001c00: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
00001c21: PUSH1 0x44
00001c23: DUP3
00001c24: ADD
00001c25: MSTORE
00001c26: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000
00001c47: PUSH1 0x64
00001c49: DUP3
00001c4a: ADD
00001c4b: MSTORE
00001c4c: PUSH1 0x84
00001c4e: ADD
00001c4f: PUSH2 0x07e8
00001c52: JUMP
00001c53: JUMPDEST
00001c54: PUSH1 0x60
00001c56: PUSH1 0x0c
00001c58: DUP1
00001c59: SLOAD
00001c5a: PUSH2 0x0687
00001c5d: SWAP1
00001c5e: PUSH2 0x27f7
00001c61: JUMP
00001c62: JUMPDEST
00001c63: PUSH1 0x60
00001c65: DUP2
00001c66: PUSH1 0x00
00001c68: SUB
00001c69: PUSH2 0x1ca5
00001c6c: JUMPI
00001c6d: POP
00001c6e: POP
00001c6f: PUSH1 0x40
00001c71: DUP1
00001c72: MLOAD
00001c73: DUP1
00001c74: DUP3
00001c75: ADD
00001c76: SWAP1
00001c77: SWAP2
00001c78: MSTORE
00001c79: PUSH1 0x01
00001c7b: DUP2
00001c7c: MSTORE
00001c7d: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
00001c9e: PUSH1 0x20
00001ca0: DUP3
00001ca1: ADD
00001ca2: MSTORE
00001ca3: SWAP1
00001ca4: JUMP
00001ca5: JUMPDEST
00001ca6: DUP2
00001ca7: PUSH1 0x00
00001ca9: JUMPDEST
00001caa: DUP2
00001cab: ISZERO
00001cac: PUSH2 0x1ccf
00001caf: JUMPI
00001cb0: DUP1
00001cb1: PUSH2 0x1cb9
00001cb4: DUP2
00001cb5: PUSH2 0x2931
00001cb8: JUMP
00001cb9: JUMPDEST
00001cba: SWAP2
00001cbb: POP
00001cbc: PUSH2 0x1cc8
00001cbf: SWAP1
00001cc0: POP
00001cc1: PUSH1 0x0a
00001cc3: DUP4
00001cc4: PUSH2 0x29c7
00001cc7: JUMP
00001cc8: JUMPDEST
00001cc9: SWAP2
00001cca: POP
00001ccb: PUSH2 0x1ca9
00001cce: JUMP
00001ccf: JUMPDEST
00001cd0: PUSH1 0x00
00001cd2: DUP2
00001cd3: PUSH8 0xffffffffffffffff
00001cdc: DUP2
00001cdd: GT
00001cde: ISZERO
00001cdf: PUSH2 0x1cea
00001ce2: JUMPI
00001ce3: PUSH2 0x1cea
00001ce6: PUSH2 0x25dc
00001ce9: JUMP
00001cea: JUMPDEST
00001ceb: PUSH1 0x40
00001ced: MLOAD
00001cee: SWAP1
00001cef: DUP1
00001cf0: DUP3
00001cf1: MSTORE
00001cf2: DUP1
00001cf3: PUSH1 0x1f
00001cf5: ADD
00001cf6: PUSH1 0x1f
00001cf8: NOT
00001cf9: AND
00001cfa: PUSH1 0x20
00001cfc: ADD
00001cfd: DUP3
00001cfe: ADD
00001cff: PUSH1 0x40
00001d01: MSTORE
00001d02: DUP1
00001d03: ISZERO
00001d04: PUSH2 0x1d14
00001d07: JUMPI
00001d08: PUSH1 0x20
00001d0a: DUP3
00001d0b: ADD
00001d0c: DUP2
00001d0d: DUP1
00001d0e: CALLDATASIZE
00001d0f: DUP4
00001d10: CALLDATACOPY
00001d11: ADD
00001d12: SWAP1
00001d13: POP
00001d14: JUMPDEST
00001d15: POP
00001d16: SWAP1
00001d17: POP
00001d18: JUMPDEST
00001d19: DUP5
00001d1a: ISZERO
00001d1b: PUSH2 0x15af
00001d1e: JUMPI
00001d1f: PUSH2 0x1d29
00001d22: PUSH1 0x01
00001d24: DUP4
00001d25: PUSH2 0x291a
00001d28: JUMP
00001d29: JUMPDEST
00001d2a: SWAP2
00001d2b: POP
00001d2c: PUSH2 0x1d36
00001d2f: PUSH1 0x0a
00001d31: DUP7
00001d32: PUSH2 0x29db
00001d35: JUMP
00001d36: JUMPDEST
00001d37: PUSH2 0x1d41
00001d3a: SWAP1
00001d3b: PUSH1 0x30
00001d3d: PUSH2 0x2902
00001d40: JUMP
00001d41: JUMPDEST
00001d42: PUSH1 0xf8
00001d44: SHL
00001d45: DUP2
00001d46: DUP4
00001d47: DUP2
00001d48: MLOAD
00001d49: DUP2
00001d4a: LT
00001d4b: PUSH2 0x1d56
00001d4e: JUMPI
00001d4f: PUSH2 0x1d56
00001d52: PUSH2 0x2867
00001d55: JUMP
00001d56: JUMPDEST
00001d57: PUSH1 0x20
00001d59: ADD
00001d5a: ADD
00001d5b: SWAP1
00001d5c: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001d7c: NOT
00001d7d: AND
00001d7e: SWAP1
00001d7f: DUP2
00001d80: PUSH1 0x00
00001d82: BYTE
00001d83: SWAP1
00001d84: MSTORE8
00001d85: POP
00001d86: PUSH2 0x1d90
00001d89: PUSH1 0x0a
00001d8b: DUP7
00001d8c: PUSH2 0x29c7
00001d8f: JUMP
00001d90: JUMPDEST
00001d91: SWAP5
00001d92: POP
00001d93: PUSH2 0x1d18
00001d96: JUMP
00001d97: JUMPDEST
00001d98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dad: DUP4
00001dae: AND
00001daf: PUSH2 0x1dff
00001db2: JUMPI
00001db3: PUSH2 0x1dfa
00001db6: DUP2
00001db7: PUSH1 0x08
00001db9: DUP1
00001dba: SLOAD
00001dbb: PUSH1 0x00
00001dbd: DUP4
00001dbe: DUP2
00001dbf: MSTORE
00001dc0: PUSH1 0x09
00001dc2: PUSH1 0x20
00001dc4: MSTORE
00001dc5: PUSH1 0x40
00001dc7: DUP2
00001dc8: KECCAK256
00001dc9: DUP3
00001dca: SWAP1
00001dcb: SSTORE
00001dcc: PUSH1 0x01
00001dce: DUP3
00001dcf: ADD
00001dd0: DUP4
00001dd1: SSTORE
00001dd2: SWAP2
00001dd3: SWAP1
00001dd4: SWAP2
00001dd5: MSTORE
00001dd6: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3
00001df7: ADD
00001df8: SSTORE
00001df9: JUMP
00001dfa: JUMPDEST
00001dfb: PUSH2 0x1e3c
00001dfe: JUMP
00001dff: JUMPDEST
00001e00: DUP2
00001e01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e16: AND
00001e17: DUP4
00001e18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e2d: AND
00001e2e: EQ
00001e2f: PUSH2 0x1e3c
00001e32: JUMPI
00001e33: PUSH2 0x1e3c
00001e36: DUP4
00001e37: DUP3
00001e38: PUSH2 0x2210
00001e3b: JUMP
00001e3c: JUMPDEST
00001e3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e52: DUP3
00001e53: AND
00001e54: PUSH2 0x1e60
00001e57: JUMPI
00001e58: PUSH2 0x0896
00001e5b: DUP2
00001e5c: PUSH2 0x22c7
00001e5f: JUMP
00001e60: JUMPDEST
00001e61: DUP3
00001e62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e77: AND
00001e78: DUP3
00001e79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e8e: AND
00001e8f: EQ
00001e90: PUSH2 0x0896
00001e93: JUMPI
00001e94: PUSH2 0x0896
00001e97: DUP3
00001e98: DUP3
00001e99: PUSH2 0x2376
00001e9c: JUMP
00001e9d: JUMPDEST
00001e9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eb3: DUP3
00001eb4: AND
00001eb5: PUSH2 0x1f00
00001eb8: JUMPI
00001eb9: PUSH1 0x40
00001ebb: MLOAD
00001ebc: PUSH3 0x461bcd
00001ec0: PUSH1 0xe5
00001ec2: SHL
00001ec3: DUP2
00001ec4: MSTORE
00001ec5: PUSH1 0x20
00001ec7: PUSH1 0x04
00001ec9: DUP3
00001eca: ADD
00001ecb: DUP2
00001ecc: SWAP1
00001ecd: MSTORE
00001ece: PUSH1 0x24
00001ed0: DUP3
00001ed1: ADD
00001ed2: MSTORE
00001ed3: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373
00001ef4: PUSH1 0x44
00001ef6: DUP3
00001ef7: ADD
00001ef8: MSTORE
00001ef9: PUSH1 0x64
00001efb: ADD
00001efc: PUSH2 0x07e8
00001eff: JUMP
00001f00: JUMPDEST
00001f01: PUSH1 0x00
00001f03: DUP2
00001f04: DUP2
00001f05: MSTORE
00001f06: PUSH1 0x02
00001f08: PUSH1 0x20
00001f0a: MSTORE
00001f0b: PUSH1 0x40
00001f0d: SWAP1
00001f0e: KECCAK256
00001f0f: SLOAD
00001f10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f25: AND
00001f26: ISZERO
00001f27: PUSH2 0x1f72
00001f2a: JUMPI
00001f2b: PUSH1 0x40
00001f2d: MLOAD
00001f2e: PUSH3 0x461bcd
00001f32: PUSH1 0xe5
00001f34: SHL
00001f35: DUP2
00001f36: MSTORE
00001f37: PUSH1 0x20
00001f39: PUSH1 0x04
00001f3b: DUP3
00001f3c: ADD
00001f3d: MSTORE
00001f3e: PUSH1 0x1c
00001f40: PUSH1 0x24
00001f42: DUP3
00001f43: ADD
00001f44: MSTORE
00001f45: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000
00001f66: PUSH1 0x44
00001f68: DUP3
00001f69: ADD
00001f6a: MSTORE
00001f6b: PUSH1 0x64
00001f6d: ADD
00001f6e: PUSH2 0x07e8
00001f71: JUMP
00001f72: JUMPDEST
00001f73: PUSH2 0x1f7e
00001f76: PUSH1 0x00
00001f78: DUP4
00001f79: DUP4
00001f7a: PUSH2 0x1d97
00001f7d: JUMP
00001f7e: JUMPDEST
00001f7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f94: DUP3
00001f95: AND
00001f96: PUSH1 0x00
00001f98: SWAP1
00001f99: DUP2
00001f9a: MSTORE
00001f9b: PUSH1 0x03
00001f9d: PUSH1 0x20
00001f9f: MSTORE
00001fa0: PUSH1 0x40
00001fa2: DUP2
00001fa3: KECCAK256
00001fa4: DUP1
00001fa5: SLOAD
00001fa6: PUSH1 0x01
00001fa8: SWAP3
00001fa9: SWAP1
00001faa: PUSH2 0x1fb4
00001fad: SWAP1
00001fae: DUP5
00001faf: SWAP1
00001fb0: PUSH2 0x2902
00001fb3: JUMP
00001fb4: JUMPDEST
00001fb5: SWAP1
00001fb6: SWAP2
00001fb7: SSTORE
00001fb8: POP
00001fb9: POP
00001fba: PUSH1 0x00
00001fbc: DUP2
00001fbd: DUP2
00001fbe: MSTORE
00001fbf: PUSH1 0x02
00001fc1: PUSH1 0x20
00001fc3: MSTORE
00001fc4: PUSH1 0x40
00001fc6: DUP1
00001fc7: DUP3
00001fc8: KECCAK256
00001fc9: DUP1
00001fca: SLOAD
00001fcb: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001fec: AND
00001fed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002002: DUP7
00002003: AND
00002004: SWAP1
00002005: DUP2
00002006: OR
00002007: SWAP1
00002008: SWAP2
00002009: SSTORE
0000200a: SWAP1
0000200b: MLOAD
0000200c: DUP4
0000200d: SWAP3
0000200e: SWAP1
0000200f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002030: SWAP1
00002031: DUP3
00002032: SWAP1
00002033: LOG4
00002034: POP
00002035: POP
00002036: JUMP
00002037: JUMPDEST
00002038: PUSH1 0x00
0000203a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000204f: DUP5
00002050: AND
00002051: EXTCODESIZE
00002052: ISZERO
00002053: PUSH2 0x2205
00002056: JUMPI
00002057: PUSH1 0x40
00002059: MLOAD
0000205a: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000
0000207b: DUP2
0000207c: MSTORE
0000207d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002092: DUP6
00002093: AND
00002094: SWAP1
00002095: PUSH4 0x150b7a02
0000209a: SWAP1
0000209b: PUSH2 0x20ae
0000209e: SWAP1
0000209f: CALLER
000020a0: SWAP1
000020a1: DUP10
000020a2: SWAP1
000020a3: DUP9
000020a4: SWAP1
000020a5: DUP9
000020a6: SWAP1
000020a7: PUSH1 0x04
000020a9: ADD
000020aa: PUSH2 0x29ef
000020ad: JUMP
000020ae: JUMPDEST
000020af: PUSH1 0x20
000020b1: PUSH1 0x40
000020b3: MLOAD
000020b4: DUP1
000020b5: DUP4
000020b6: SUB
000020b7: DUP2
000020b8: PUSH1 0x00
000020ba: DUP8
000020bb: GAS
000020bc: CALL
000020bd: SWAP3
000020be: POP
000020bf: POP
000020c0: POP
000020c1: DUP1
000020c2: ISZERO
000020c3: PUSH2 0x2107
000020c6: JUMPI
000020c7: POP
000020c8: PUSH1 0x40
000020ca: DUP1
000020cb: MLOAD
000020cc: PUSH1 0x1f
000020ce: RETURNDATASIZE
000020cf: SWAP1
000020d0: DUP2
000020d1: ADD
000020d2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000020f3: AND
000020f4: DUP3
000020f5: ADD
000020f6: SWAP1
000020f7: SWAP3
000020f8: MSTORE
000020f9: PUSH2 0x2104
000020fc: SWAP2
000020fd: DUP2
000020fe: ADD
000020ff: SWAP1
00002100: PUSH2 0x2a38
00002103: JUMP
00002104: JUMPDEST
00002105: PUSH1 0x01
00002107: JUMPDEST
00002108: PUSH2 0x21ba
0000210b: JUMPI
0000210c: RETURNDATASIZE
0000210d: DUP1
0000210e: DUP1
0000210f: ISZERO
00002110: PUSH2 0x2135
00002113: JUMPI
00002114: PUSH1 0x40
00002116: MLOAD
00002117: SWAP2
00002118: POP
00002119: PUSH1 0x1f
0000211b: NOT
0000211c: PUSH1 0x3f
0000211e: RETURNDATASIZE
0000211f: ADD
00002120: AND
00002121: DUP3
00002122: ADD
00002123: PUSH1 0x40
00002125: MSTORE
00002126: RETURNDATASIZE
00002127: DUP3
00002128: MSTORE
00002129: RETURNDATASIZE
0000212a: PUSH1 0x00
0000212c: PUSH1 0x20
0000212e: DUP5
0000212f: ADD
00002130: RETURNDATACOPY
00002131: PUSH2 0x213a
00002134: JUMP
00002135: JUMPDEST
00002136: PUSH1 0x60
00002138: SWAP2
00002139: POP
0000213a: JUMPDEST
0000213b: POP
0000213c: DUP1
0000213d: MLOAD
0000213e: PUSH1 0x00
00002140: SUB
00002141: PUSH2 0x21b2
00002144: JUMPI
00002145: PUSH1 0x40
00002147: MLOAD
00002148: PUSH3 0x461bcd
0000214c: PUSH1 0xe5
0000214e: SHL
0000214f: DUP2
00002150: MSTORE
00002151: PUSH1 0x20
00002153: PUSH1 0x04
00002155: DUP3
00002156: ADD
00002157: MSTORE
00002158: PUSH1 0x32
0000215a: PUSH1 0x24
0000215c: DUP3
0000215d: ADD
0000215e: MSTORE
0000215f: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
00002180: PUSH1 0x44
00002182: DUP3
00002183: ADD
00002184: MSTORE
00002185: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000
000021a6: PUSH1 0x64
000021a8: DUP3
000021a9: ADD
000021aa: MSTORE
000021ab: PUSH1 0x84
000021ad: ADD
000021ae: PUSH2 0x07e8
000021b1: JUMP
000021b2: JUMPDEST
000021b3: DUP1
000021b4: MLOAD
000021b5: DUP2
000021b6: PUSH1 0x20
000021b8: ADD
000021b9: REVERT
000021ba: JUMPDEST
000021bb: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000021dc: AND
000021dd: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000
000021fe: EQ
000021ff: SWAP1
00002200: POP
00002201: PUSH2 0x15af
00002204: JUMP
00002205: JUMPDEST
00002206: POP
00002207: PUSH1 0x01
00002209: SWAP5
0000220a: SWAP4
0000220b: POP
0000220c: POP
0000220d: POP
0000220e: POP
0000220f: JUMP
00002210: JUMPDEST
00002211: PUSH1 0x00
00002213: PUSH1 0x01
00002215: PUSH2 0x221d
00002218: DUP5
00002219: PUSH2 0x0ccb
0000221c: JUMP
0000221d: JUMPDEST
0000221e: PUSH2 0x2227
00002221: SWAP2
00002222: SWAP1
00002223: PUSH2 0x291a
00002226: JUMP
00002227: JUMPDEST
00002228: PUSH1 0x00
0000222a: DUP4
0000222b: DUP2
0000222c: MSTORE
0000222d: PUSH1 0x07
0000222f: PUSH1 0x20
00002231: MSTORE
00002232: PUSH1 0x40
00002234: SWAP1
00002235: KECCAK256
00002236: SLOAD
00002237: SWAP1
00002238: SWAP2
00002239: POP
0000223a: DUP1
0000223b: DUP3
0000223c: EQ
0000223d: PUSH2 0x2287
00002240: JUMPI
00002241: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002256: DUP5
00002257: AND
00002258: PUSH1 0x00
0000225a: SWAP1
0000225b: DUP2
0000225c: MSTORE
0000225d: PUSH1 0x06
0000225f: PUSH1 0x20
00002261: SWAP1
00002262: DUP2
00002263: MSTORE
00002264: PUSH1 0x40
00002266: DUP1
00002267: DUP4
00002268: KECCAK256
00002269: DUP6
0000226a: DUP5
0000226b: MSTORE
0000226c: DUP3
0000226d: MSTORE
0000226e: DUP1
0000226f: DUP4
00002270: KECCAK256
00002271: SLOAD
00002272: DUP5
00002273: DUP5
00002274: MSTORE
00002275: DUP2
00002276: DUP5
00002277: KECCAK256
00002278: DUP2
00002279: SWAP1
0000227a: SSTORE
0000227b: DUP4
0000227c: MSTORE
0000227d: PUSH1 0x07
0000227f: SWAP1
00002280: SWAP2
00002281: MSTORE
00002282: SWAP1
00002283: KECCAK256
00002284: DUP2
00002285: SWAP1
00002286: SSTORE
00002287: JUMPDEST
00002288: POP
00002289: PUSH1 0x00
0000228b: SWAP2
0000228c: DUP3
0000228d: MSTORE
0000228e: PUSH1 0x07
00002290: PUSH1 0x20
00002292: SWAP1
00002293: DUP2
00002294: MSTORE
00002295: PUSH1 0x40
00002297: DUP1
00002298: DUP5
00002299: KECCAK256
0000229a: DUP5
0000229b: SWAP1
0000229c: SSTORE
0000229d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022b2: SWAP1
000022b3: SWAP5
000022b4: AND
000022b5: DUP4
000022b6: MSTORE
000022b7: PUSH1 0x06
000022b9: DUP2
000022ba: MSTORE
000022bb: DUP4
000022bc: DUP4
000022bd: KECCAK256
000022be: SWAP2
000022bf: DUP4
000022c0: MSTORE
000022c1: MSTORE
000022c2: SWAP1
000022c3: DUP2
000022c4: KECCAK256
000022c5: SSTORE
000022c6: JUMP
000022c7: JUMPDEST
000022c8: PUSH1 0x08
000022ca: SLOAD
000022cb: PUSH1 0x00
000022cd: SWAP1
000022ce: PUSH2 0x22d9
000022d1: SWAP1
000022d2: PUSH1 0x01
000022d4: SWAP1
000022d5: PUSH2 0x291a
000022d8: JUMP
000022d9: JUMPDEST
000022da: PUSH1 0x00
000022dc: DUP4
000022dd: DUP2
000022de: MSTORE
000022df: PUSH1 0x09
000022e1: PUSH1 0x20
000022e3: MSTORE
000022e4: PUSH1 0x40
000022e6: DUP2
000022e7: KECCAK256
000022e8: SLOAD
000022e9: PUSH1 0x08
000022eb: DUP1
000022ec: SLOAD
000022ed: SWAP4
000022ee: SWAP5
000022ef: POP
000022f0: SWAP1
000022f1: SWAP3
000022f2: DUP5
000022f3: SWAP1
000022f4: DUP2
000022f5: LT
000022f6: PUSH2 0x2301
000022f9: JUMPI
000022fa: PUSH2 0x2301
000022fd: PUSH2 0x2867
00002300: JUMP
00002301: JUMPDEST
00002302: SWAP1
00002303: PUSH1 0x00
00002305: MSTORE
00002306: PUSH1 0x20
00002308: PUSH1 0x00
0000230a: KECCAK256
0000230b: ADD
0000230c: SLOAD
0000230d: SWAP1
0000230e: POP
0000230f: DUP1
00002310: PUSH1 0x08
00002312: DUP4
00002313: DUP2
00002314: SLOAD
00002315: DUP2
00002316: LT
00002317: PUSH2 0x2322
0000231a: JUMPI
0000231b: PUSH2 0x2322
0000231e: PUSH2 0x2867
00002321: JUMP
00002322: JUMPDEST
00002323: PUSH1 0x00
00002325: SWAP2
00002326: DUP3
00002327: MSTORE
00002328: PUSH1 0x20
0000232a: DUP1
0000232b: DUP4
0000232c: KECCAK256
0000232d: SWAP1
0000232e: SWAP2
0000232f: ADD
00002330: SWAP3
00002331: SWAP1
00002332: SWAP3
00002333: SSTORE
00002334: DUP3
00002335: DUP2
00002336: MSTORE
00002337: PUSH1 0x09
00002339: SWAP1
0000233a: SWAP2
0000233b: MSTORE
0000233c: PUSH1 0x40
0000233e: DUP1
0000233f: DUP3
00002340: KECCAK256
00002341: DUP5
00002342: SWAP1
00002343: SSTORE
00002344: DUP6
00002345: DUP3
00002346: MSTORE
00002347: DUP2
00002348: KECCAK256
00002349: SSTORE
0000234a: PUSH1 0x08
0000234c: DUP1
0000234d: SLOAD
0000234e: DUP1
0000234f: PUSH2 0x235a
00002352: JUMPI
00002353: PUSH2 0x235a
00002356: PUSH2 0x2a55
00002359: JUMP
0000235a: JUMPDEST
0000235b: PUSH1 0x01
0000235d: SWAP1
0000235e: SUB
0000235f: DUP2
00002360: DUP2
00002361: SWAP1
00002362: PUSH1 0x00
00002364: MSTORE
00002365: PUSH1 0x20
00002367: PUSH1 0x00
00002369: KECCAK256
0000236a: ADD
0000236b: PUSH1 0x00
0000236d: SWAP1
0000236e: SSTORE
0000236f: SWAP1
00002370: SSTORE
00002371: POP
00002372: POP
00002373: POP
00002374: POP
00002375: JUMP
00002376: JUMPDEST
00002377: PUSH1 0x00
00002379: PUSH2 0x2381
0000237c: DUP4
0000237d: PUSH2 0x0ccb
00002380: JUMP
00002381: JUMPDEST
00002382: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002397: SWAP1
00002398: SWAP4
00002399: AND
0000239a: PUSH1 0x00
0000239c: SWAP1
0000239d: DUP2
0000239e: MSTORE
0000239f: PUSH1 0x06
000023a1: PUSH1 0x20
000023a3: SWAP1
000023a4: DUP2
000023a5: MSTORE
000023a6: PUSH1 0x40
000023a8: DUP1
000023a9: DUP4
000023aa: KECCAK256
000023ab: DUP7
000023ac: DUP5
000023ad: MSTORE
000023ae: DUP3
000023af: MSTORE
000023b0: DUP1
000023b1: DUP4
000023b2: KECCAK256
000023b3: DUP6
000023b4: SWAP1
000023b5: SSTORE
000023b6: SWAP4
000023b7: DUP3
000023b8: MSTORE
000023b9: PUSH1 0x07
000023bb: SWAP1
000023bc: MSTORE
000023bd: SWAP2
000023be: SWAP1
000023bf: SWAP2
000023c0: KECCAK256
000023c1: SWAP2
000023c2: SWAP1
000023c3: SWAP2
000023c4: SSTORE
000023c5: POP
000023c6: JUMP
000023c7: JUMPDEST
000023c8: DUP3
000023c9: DUP1
000023ca: SLOAD
000023cb: PUSH2 0x23d3
000023ce: SWAP1
000023cf: PUSH2 0x27f7
000023d2: JUMP
000023d3: JUMPDEST
000023d4: SWAP1
000023d5: PUSH1 0x00
000023d7: MSTORE
000023d8: PUSH1 0x20
000023da: PUSH1 0x00
000023dc: KECCAK256
000023dd: SWAP1
000023de: PUSH1 0x1f
000023e0: ADD
000023e1: PUSH1 0x20
000023e3: SWAP1
000023e4: DIV
000023e5: DUP2
000023e6: ADD
000023e7: SWAP3
000023e8: DUP3
000023e9: PUSH2 0x23f5
000023ec: JUMPI
000023ed: PUSH1 0x00
000023ef: DUP6
000023f0: SSTORE
000023f1: PUSH2 0x243b
000023f4: JUMP
000023f5: JUMPDEST
000023f6: DUP3
000023f7: PUSH1 0x1f
000023f9: LT
000023fa: PUSH2 0x240e
000023fd: JUMPI
000023fe: DUP1
000023ff: MLOAD
00002400: PUSH1 0xff
00002402: NOT
00002403: AND
00002404: DUP4
00002405: DUP1
00002406: ADD
00002407: OR
00002408: DUP6
00002409: SSTORE
0000240a: PUSH2 0x243b
0000240d: JUMP
0000240e: JUMPDEST
0000240f: DUP3
00002410: DUP1
00002411: ADD
00002412: PUSH1 0x01
00002414: ADD
00002415: DUP6
00002416: SSTORE
00002417: DUP3
00002418: ISZERO
00002419: PUSH2 0x243b
0000241c: JUMPI
0000241d: SWAP2
0000241e: DUP3
0000241f: ADD
00002420: JUMPDEST
00002421: DUP3
00002422: DUP2
00002423: GT
00002424: ISZERO
00002425: PUSH2 0x243b
00002428: JUMPI
00002429: DUP3
0000242a: MLOAD
0000242b: DUP3
0000242c: SSTORE
0000242d: SWAP2
0000242e: PUSH1 0x20
00002430: ADD
00002431: SWAP2
00002432: SWAP1
00002433: PUSH1 0x01
00002435: ADD
00002436: SWAP1
00002437: PUSH2 0x2420
0000243a: JUMP
0000243b: JUMPDEST
0000243c: POP
0000243d: PUSH2 0x2447
00002440: SWAP3
00002441: SWAP2
00002442: POP
00002443: PUSH2 0x244b
00002446: JUMP
00002447: JUMPDEST
00002448: POP
00002449: SWAP1
0000244a: JUMP
0000244b: JUMPDEST
0000244c: JUMPDEST
0000244d: DUP1
0000244e: DUP3
0000244f: GT
00002450: ISZERO
00002451: PUSH2 0x2447
00002454: JUMPI
00002455: PUSH1 0x00
00002457: DUP2
00002458: SSTORE
00002459: PUSH1 0x01
0000245b: ADD
0000245c: PUSH2 0x244c
0000245f: JUMP
00002460: JUMPDEST
00002461: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002482: DUP2
00002483: AND
00002484: DUP2
00002485: EQ
00002486: PUSH2 0x0c49
00002489: JUMPI
0000248a: PUSH1 0x00
0000248c: DUP1
0000248d: REVERT
0000248e: JUMPDEST
0000248f: PUSH1 0x00
00002491: PUSH1 0x20
00002493: DUP3
00002494: DUP5
00002495: SUB
00002496: SLT
00002497: ISZERO
00002498: PUSH2 0x24a0
0000249b: JUMPI
0000249c: PUSH1 0x00
0000249e: DUP1
0000249f: REVERT
000024a0: JUMPDEST
000024a1: DUP2
000024a2: CALLDATALOAD
000024a3: PUSH2 0x11bd
000024a6: DUP2
000024a7: PUSH2 0x2460
000024aa: JUMP
000024ab: JUMPDEST
000024ac: PUSH1 0x00
000024ae: JUMPDEST
000024af: DUP4
000024b0: DUP2
000024b1: LT
000024b2: ISZERO
000024b3: PUSH2 0x24c6
000024b6: JUMPI
000024b7: DUP2
000024b8: DUP2
000024b9: ADD
000024ba: MLOAD
000024bb: DUP4
000024bc: DUP3
000024bd: ADD
000024be: MSTORE
000024bf: PUSH1 0x20
000024c1: ADD
000024c2: PUSH2 0x24ae
000024c5: JUMP
000024c6: JUMPDEST
000024c7: DUP4
000024c8: DUP2
000024c9: GT
000024ca: ISZERO
000024cb: PUSH2 0x09be
000024ce: JUMPI
000024cf: POP
000024d0: POP
000024d1: PUSH1 0x00
000024d3: SWAP2
000024d4: ADD
000024d5: MSTORE
000024d6: JUMP
000024d7: JUMPDEST
000024d8: PUSH1 0x00
000024da: DUP2
000024db: MLOAD
000024dc: DUP1
000024dd: DUP5
000024de: MSTORE
000024df: PUSH2 0x24ef
000024e2: DUP2
000024e3: PUSH1 0x20
000024e5: DUP7
000024e6: ADD
000024e7: PUSH1 0x20
000024e9: DUP7
000024ea: ADD
000024eb: PUSH2 0x24ab
000024ee: JUMP
000024ef: JUMPDEST
000024f0: PUSH1 0x1f
000024f2: ADD
000024f3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002514: AND
00002515: SWAP3
00002516: SWAP1
00002517: SWAP3
00002518: ADD
00002519: PUSH1 0x20
0000251b: ADD
0000251c: SWAP3
0000251d: SWAP2
0000251e: POP
0000251f: POP
00002520: JUMP
00002521: JUMPDEST
00002522: PUSH1 0x20
00002524: DUP2
00002525: MSTORE
00002526: PUSH1 0x00
00002528: PUSH2 0x11bd
0000252b: PUSH1 0x20
0000252d: DUP4
0000252e: ADD
0000252f: DUP5
00002530: PUSH2 0x24d7
00002533: JUMP
00002534: JUMPDEST
00002535: PUSH1 0x00
00002537: PUSH1 0x20
00002539: DUP3
0000253a: DUP5
0000253b: SUB
0000253c: SLT
0000253d: ISZERO
0000253e: PUSH2 0x2546
00002541: JUMPI
00002542: PUSH1 0x00
00002544: DUP1
00002545: REVERT
00002546: JUMPDEST
00002547: POP
00002548: CALLDATALOAD
00002549: SWAP2
0000254a: SWAP1
0000254b: POP
0000254c: JUMP
0000254d: JUMPDEST
0000254e: DUP1
0000254f: CALLDATALOAD
00002550: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002565: DUP2
00002566: AND
00002567: DUP2
00002568: EQ
00002569: PUSH2 0x2571
0000256c: JUMPI
0000256d: PUSH1 0x00
0000256f: DUP1
00002570: REVERT
00002571: JUMPDEST
00002572: SWAP2
00002573: SWAP1
00002574: POP
00002575: JUMP
00002576: JUMPDEST
00002577: PUSH1 0x00
00002579: DUP1
0000257a: PUSH1 0x40
0000257c: DUP4
0000257d: DUP6
0000257e: SUB
0000257f: SLT
00002580: ISZERO
00002581: PUSH2 0x2589
00002584: JUMPI
00002585: PUSH1 0x00
00002587: DUP1
00002588: REVERT
00002589: JUMPDEST
0000258a: PUSH2 0x2592
0000258d: DUP4
0000258e: PUSH2 0x254d
00002591: JUMP
00002592: JUMPDEST
00002593: SWAP5
00002594: PUSH1 0x20
00002596: SWAP4
00002597: SWAP1
00002598: SWAP4
00002599: ADD
0000259a: CALLDATALOAD
0000259b: SWAP4
0000259c: POP
0000259d: POP
0000259e: POP
0000259f: JUMP
000025a0: JUMPDEST
000025a1: PUSH1 0x00
000025a3: DUP1
000025a4: PUSH1 0x00
000025a6: PUSH1 0x60
000025a8: DUP5
000025a9: DUP7
000025aa: SUB
000025ab: SLT
000025ac: ISZERO
000025ad: PUSH2 0x25b5
000025b0: JUMPI
000025b1: PUSH1 0x00
000025b3: DUP1
000025b4: REVERT
000025b5: JUMPDEST
000025b6: PUSH2 0x25be
000025b9: DUP5
000025ba: PUSH2 0x254d
000025bd: JUMP
000025be: JUMPDEST
000025bf: SWAP3
000025c0: POP
000025c1: PUSH2 0x25cc
000025c4: PUSH1 0x20
000025c6: DUP6
000025c7: ADD
000025c8: PUSH2 0x254d
000025cb: JUMP
000025cc: JUMPDEST
000025cd: SWAP2
000025ce: POP
000025cf: PUSH1 0x40
000025d1: DUP5
000025d2: ADD
000025d3: CALLDATALOAD
000025d4: SWAP1
000025d5: POP
000025d6: SWAP3
000025d7: POP
000025d8: SWAP3
000025d9: POP
000025da: SWAP3
000025db: JUMP
000025dc: JUMPDEST
000025dd: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000025fe: PUSH1 0x00
00002600: MSTORE
00002601: PUSH1 0x41
00002603: PUSH1 0x04
00002605: MSTORE
00002606: PUSH1 0x24
00002608: PUSH1 0x00
0000260a: REVERT
0000260b: JUMPDEST
0000260c: PUSH1 0x00
0000260e: PUSH8 0xffffffffffffffff
00002617: DUP1
00002618: DUP5
00002619: GT
0000261a: ISZERO
0000261b: PUSH2 0x2626
0000261e: JUMPI
0000261f: PUSH2 0x2626
00002622: PUSH2 0x25dc
00002625: JUMP
00002626: JUMPDEST
00002627: PUSH1 0x40
00002629: MLOAD
0000262a: PUSH1 0x1f
0000262c: DUP6
0000262d: ADD
0000262e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000264f: SWAP1
00002650: DUP2
00002651: AND
00002652: PUSH1 0x3f
00002654: ADD
00002655: AND
00002656: DUP2
00002657: ADD
00002658: SWAP1
00002659: DUP3
0000265a: DUP3
0000265b: GT
0000265c: DUP2
0000265d: DUP4
0000265e: LT
0000265f: OR
00002660: ISZERO
00002661: PUSH2 0x266c
00002664: JUMPI
00002665: PUSH2 0x266c
00002668: PUSH2 0x25dc
0000266b: JUMP
0000266c: JUMPDEST
0000266d: DUP2
0000266e: PUSH1 0x40
00002670: MSTORE
00002671: DUP1
00002672: SWAP4
00002673: POP
00002674: DUP6
00002675: DUP2
00002676: MSTORE
00002677: DUP7
00002678: DUP7
00002679: DUP7
0000267a: ADD
0000267b: GT
0000267c: ISZERO
0000267d: PUSH2 0x2685
00002680: JUMPI
00002681: PUSH1 0x00
00002683: DUP1
00002684: REVERT
00002685: JUMPDEST
00002686: DUP6
00002687: DUP6
00002688: PUSH1 0x20
0000268a: DUP4
0000268b: ADD
0000268c: CALLDATACOPY
0000268d: PUSH1 0x00
0000268f: PUSH1 0x20
00002691: DUP8
00002692: DUP4
00002693: ADD
00002694: ADD
00002695: MSTORE
00002696: POP
00002697: POP
00002698: POP
00002699: SWAP4
0000269a: SWAP3
0000269b: POP
0000269c: POP
0000269d: POP
0000269e: JUMP
0000269f: JUMPDEST
000026a0: PUSH1 0x00
000026a2: PUSH1 0x20
000026a4: DUP3
000026a5: DUP5
000026a6: SUB
000026a7: SLT
000026a8: ISZERO
000026a9: PUSH2 0x26b1
000026ac: JUMPI
000026ad: PUSH1 0x00
000026af: DUP1
000026b0: REVERT
000026b1: JUMPDEST
000026b2: DUP2
000026b3: CALLDATALOAD
000026b4: PUSH8 0xffffffffffffffff
000026bd: DUP2
000026be: GT
000026bf: ISZERO
000026c0: PUSH2 0x26c8
000026c3: JUMPI
000026c4: PUSH1 0x00
000026c6: DUP1
000026c7: REVERT
000026c8: JUMPDEST
000026c9: DUP3
000026ca: ADD
000026cb: PUSH1 0x1f
000026cd: DUP2
000026ce: ADD
000026cf: DUP5
000026d0: SGT
000026d1: PUSH2 0x26d9
000026d4: JUMPI
000026d5: PUSH1 0x00
000026d7: DUP1
000026d8: REVERT
000026d9: JUMPDEST
000026da: PUSH2 0x15af
000026dd: DUP5
000026de: DUP3
000026df: CALLDATALOAD
000026e0: PUSH1 0x20
000026e2: DUP5
000026e3: ADD
000026e4: PUSH2 0x260b
000026e7: JUMP
000026e8: JUMPDEST
000026e9: PUSH1 0x00
000026eb: PUSH1 0x20
000026ed: DUP3
000026ee: DUP5
000026ef: SUB
000026f0: SLT
000026f1: ISZERO
000026f2: PUSH2 0x26fa
000026f5: JUMPI
000026f6: PUSH1 0x00
000026f8: DUP1
000026f9: REVERT
000026fa: JUMPDEST
000026fb: PUSH2 0x11bd
000026fe: DUP3
000026ff: PUSH2 0x254d
00002702: JUMP
00002703: JUMPDEST
00002704: DUP1
00002705: ISZERO
00002706: ISZERO
00002707: DUP2
00002708: EQ
00002709: PUSH2 0x0c49
0000270c: JUMPI
0000270d: PUSH1 0x00
0000270f: DUP1
00002710: REVERT
00002711: JUMPDEST
00002712: PUSH1 0x00
00002714: DUP1
00002715: PUSH1 0x40
00002717: DUP4
00002718: DUP6
00002719: SUB
0000271a: SLT
0000271b: ISZERO
0000271c: PUSH2 0x2724
0000271f: JUMPI
00002720: PUSH1 0x00
00002722: DUP1
00002723: REVERT
00002724: JUMPDEST
00002725: PUSH2 0x272d
00002728: DUP4
00002729: PUSH2 0x254d
0000272c: JUMP
0000272d: JUMPDEST
0000272e: SWAP2
0000272f: POP
00002730: PUSH1 0x20
00002732: DUP4
00002733: ADD
00002734: CALLDATALOAD
00002735: PUSH2 0x273d
00002738: DUP2
00002739: PUSH2 0x2703
0000273c: JUMP
0000273d: JUMPDEST
0000273e: DUP1
0000273f: SWAP2
00002740: POP
00002741: POP
00002742: SWAP3
00002743: POP
00002744: SWAP3
00002745: SWAP1
00002746: POP
00002747: JUMP
00002748: JUMPDEST
00002749: PUSH1 0x00
0000274b: DUP1
0000274c: PUSH1 0x00
0000274e: DUP1
0000274f: PUSH1 0x80
00002751: DUP6
00002752: DUP8
00002753: SUB
00002754: SLT
00002755: ISZERO
00002756: PUSH2 0x275e
00002759: JUMPI
0000275a: PUSH1 0x00
0000275c: DUP1
0000275d: REVERT
0000275e: JUMPDEST
0000275f: PUSH2 0x2767
00002762: DUP6
00002763: PUSH2 0x254d
00002766: JUMP
00002767: JUMPDEST
00002768: SWAP4
00002769: POP
0000276a: PUSH2 0x2775
0000276d: PUSH1 0x20
0000276f: DUP7
00002770: ADD
00002771: PUSH2 0x254d
00002774: JUMP
00002775: JUMPDEST
00002776: SWAP3
00002777: POP
00002778: PUSH1 0x40
0000277a: DUP6
0000277b: ADD
0000277c: CALLDATALOAD
0000277d: SWAP2
0000277e: POP
0000277f: PUSH1 0x60
00002781: DUP6
00002782: ADD
00002783: CALLDATALOAD
00002784: PUSH8 0xffffffffffffffff
0000278d: DUP2
0000278e: GT
0000278f: ISZERO
00002790: PUSH2 0x2798
00002793: JUMPI
00002794: PUSH1 0x00
00002796: DUP1
00002797: REVERT
00002798: JUMPDEST
00002799: DUP6
0000279a: ADD
0000279b: PUSH1 0x1f
0000279d: DUP2
0000279e: ADD
0000279f: DUP8
000027a0: SGT
000027a1: PUSH2 0x27a9
000027a4: JUMPI
000027a5: PUSH1 0x00
000027a7: DUP1
000027a8: REVERT
000027a9: JUMPDEST
000027aa: PUSH2 0x27b8
000027ad: DUP8
000027ae: DUP3
000027af: CALLDATALOAD
000027b0: PUSH1 0x20
000027b2: DUP5
000027b3: ADD
000027b4: PUSH2 0x260b
000027b7: JUMP
000027b8: JUMPDEST
000027b9: SWAP2
000027ba: POP
000027bb: POP
000027bc: SWAP3
000027bd: SWAP6
000027be: SWAP2
000027bf: SWAP5
000027c0: POP
000027c1: SWAP3
000027c2: POP
000027c3: JUMP
000027c4: JUMPDEST
000027c5: PUSH1 0x00
000027c7: DUP1
000027c8: PUSH1 0x40
000027ca: DUP4
000027cb: DUP6
000027cc: SUB
000027cd: SLT
000027ce: ISZERO
000027cf: PUSH2 0x27d7
000027d2: JUMPI
000027d3: PUSH1 0x00
000027d5: DUP1
000027d6: REVERT
000027d7: JUMPDEST
000027d8: PUSH2 0x27e0
000027db: DUP4
000027dc: PUSH2 0x254d
000027df: JUMP
000027e0: JUMPDEST
000027e1: SWAP2
000027e2: POP
000027e3: PUSH2 0x27ee
000027e6: PUSH1 0x20
000027e8: DUP5
000027e9: ADD
000027ea: PUSH2 0x254d
000027ed: JUMP
000027ee: JUMPDEST
000027ef: SWAP1
000027f0: POP
000027f1: SWAP3
000027f2: POP
000027f3: SWAP3
000027f4: SWAP1
000027f5: POP
000027f6: JUMP
000027f7: JUMPDEST
000027f8: PUSH1 0x01
000027fa: DUP2
000027fb: DUP2
000027fc: SHR
000027fd: SWAP1
000027fe: DUP3
000027ff: AND
00002800: DUP1
00002801: PUSH2 0x280b
00002804: JUMPI
00002805: PUSH1 0x7f
00002807: DUP3
00002808: AND
00002809: SWAP2
0000280a: POP
0000280b: JUMPDEST
0000280c: PUSH1 0x20
0000280e: DUP3
0000280f: LT
00002810: DUP2
00002811: SUB
00002812: PUSH2 0x2844
00002815: JUMPI
00002816: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002837: PUSH1 0x00
00002839: MSTORE
0000283a: PUSH1 0x22
0000283c: PUSH1 0x04
0000283e: MSTORE
0000283f: PUSH1 0x24
00002841: PUSH1 0x00
00002843: REVERT
00002844: JUMPDEST
00002845: POP
00002846: SWAP2
00002847: SWAP1
00002848: POP
00002849: JUMP
0000284a: JUMPDEST
0000284b: PUSH1 0x00
0000284d: PUSH1 0x20
0000284f: DUP3
00002850: DUP5
00002851: SUB
00002852: SLT
00002853: ISZERO
00002854: PUSH2 0x285c
00002857: JUMPI
00002858: PUSH1 0x00
0000285a: DUP1
0000285b: REVERT
0000285c: JUMPDEST
0000285d: DUP2
0000285e: MLOAD
0000285f: PUSH2 0x11bd
00002862: DUP2
00002863: PUSH2 0x2703
00002866: JUMP
00002867: JUMPDEST
00002868: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002889: PUSH1 0x00
0000288b: MSTORE
0000288c: PUSH1 0x32
0000288e: PUSH1 0x04
00002890: MSTORE
00002891: PUSH1 0x24
00002893: PUSH1 0x00
00002895: REVERT
00002896: JUMPDEST
00002897: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000028b8: PUSH1 0x00
000028ba: MSTORE
000028bb: PUSH1 0x11
000028bd: PUSH1 0x04
000028bf: MSTORE
000028c0: PUSH1 0x24
000028c2: PUSH1 0x00
000028c4: REVERT
000028c5: JUMPDEST
000028c6: PUSH1 0x00
000028c8: DUP2
000028c9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000028ea: DIV
000028eb: DUP4
000028ec: GT
000028ed: DUP3
000028ee: ISZERO
000028ef: ISZERO
000028f0: AND
000028f1: ISZERO
000028f2: PUSH2 0x28fd
000028f5: JUMPI
000028f6: PUSH2 0x28fd
000028f9: PUSH2 0x2896
000028fc: JUMP
000028fd: JUMPDEST
000028fe: POP
000028ff: MUL
00002900: SWAP1
00002901: JUMP
00002902: JUMPDEST
00002903: PUSH1 0x00
00002905: DUP3
00002906: NOT
00002907: DUP3
00002908: GT
00002909: ISZERO
0000290a: PUSH2 0x2915
0000290d: JUMPI
0000290e: PUSH2 0x2915
00002911: PUSH2 0x2896
00002914: JUMP
00002915: JUMPDEST
00002916: POP
00002917: ADD
00002918: SWAP1
00002919: JUMP
0000291a: JUMPDEST
0000291b: PUSH1 0x00
0000291d: DUP3
0000291e: DUP3
0000291f: LT
00002920: ISZERO
00002921: PUSH2 0x292c
00002924: JUMPI
00002925: PUSH2 0x292c
00002928: PUSH2 0x2896
0000292b: JUMP
0000292c: JUMPDEST
0000292d: POP
0000292e: SUB
0000292f: SWAP1
00002930: JUMP
00002931: JUMPDEST
00002932: PUSH1 0x00
00002934: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002955: DUP3
00002956: SUB
00002957: PUSH2 0x2962
0000295a: JUMPI
0000295b: PUSH2 0x2962
0000295e: PUSH2 0x2896
00002961: JUMP
00002962: JUMPDEST
00002963: POP
00002964: PUSH1 0x01
00002966: ADD
00002967: SWAP1
00002968: JUMP
00002969: JUMPDEST
0000296a: PUSH1 0x00
0000296c: DUP4
0000296d: MLOAD
0000296e: PUSH2 0x297b
00002971: DUP2
00002972: DUP5
00002973: PUSH1 0x20
00002975: DUP9
00002976: ADD
00002977: PUSH2 0x24ab
0000297a: JUMP
0000297b: JUMPDEST
0000297c: DUP4
0000297d: MLOAD
0000297e: SWAP1
0000297f: DUP4
00002980: ADD
00002981: SWAP1
00002982: PUSH2 0x298f
00002985: DUP2
00002986: DUP4
00002987: PUSH1 0x20
00002989: DUP9
0000298a: ADD
0000298b: PUSH2 0x24ab
0000298e: JUMP
0000298f: JUMPDEST
00002990: ADD
00002991: SWAP5
00002992: SWAP4
00002993: POP
00002994: POP
00002995: POP
00002996: POP
00002997: JUMP
00002998: JUMPDEST
00002999: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000029ba: PUSH1 0x00
000029bc: MSTORE
000029bd: PUSH1 0x12
000029bf: PUSH1 0x04
000029c1: MSTORE
000029c2: PUSH1 0x24
000029c4: PUSH1 0x00
000029c6: REVERT
000029c7: JUMPDEST
000029c8: PUSH1 0x00
000029ca: DUP3
000029cb: PUSH2 0x29d6
000029ce: JUMPI
000029cf: PUSH2 0x29d6
000029d2: PUSH2 0x2998
000029d5: JUMP
000029d6: JUMPDEST
000029d7: POP
000029d8: DIV
000029d9: SWAP1
000029da: JUMP
000029db: JUMPDEST
000029dc: PUSH1 0x00
000029de: DUP3
000029df: PUSH2 0x29ea
000029e2: JUMPI
000029e3: PUSH2 0x29ea
000029e6: PUSH2 0x2998
000029e9: JUMP
000029ea: JUMPDEST
000029eb: POP
000029ec: MOD
000029ed: SWAP1
000029ee: JUMP
000029ef: JUMPDEST
000029f0: PUSH1 0x00
000029f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a07: DUP1
00002a08: DUP8
00002a09: AND
00002a0a: DUP4
00002a0b: MSTORE
00002a0c: DUP1
00002a0d: DUP7
00002a0e: AND
00002a0f: PUSH1 0x20
00002a11: DUP5
00002a12: ADD
00002a13: MSTORE
00002a14: POP
00002a15: DUP4
00002a16: PUSH1 0x40
00002a18: DUP4
00002a19: ADD
00002a1a: MSTORE
00002a1b: PUSH1 0x80
00002a1d: PUSH1 0x60
00002a1f: DUP4
00002a20: ADD
00002a21: MSTORE
00002a22: PUSH2 0x2a2e
00002a25: PUSH1 0x80
00002a27: DUP4
00002a28: ADD
00002a29: DUP5
00002a2a: PUSH2 0x24d7
00002a2d: JUMP
00002a2e: JUMPDEST
00002a2f: SWAP7
00002a30: SWAP6
00002a31: POP
00002a32: POP
00002a33: POP
00002a34: POP
00002a35: POP
00002a36: POP
00002a37: JUMP
00002a38: JUMPDEST
00002a39: PUSH1 0x00
00002a3b: PUSH1 0x20
00002a3d: DUP3
00002a3e: DUP5
00002a3f: SUB
00002a40: SLT
00002a41: ISZERO
00002a42: PUSH2 0x2a4a
00002a45: JUMPI
00002a46: PUSH1 0x00
00002a48: DUP1
00002a49: REVERT
00002a4a: JUMPDEST
00002a4b: DUP2
00002a4c: MLOAD
00002a4d: PUSH2 0x11bd
00002a50: DUP2
00002a51: PUSH2 0x2460
00002a54: JUMP
00002a55: JUMPDEST
00002a56: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002a77: PUSH1 0x00
00002a79: MSTORE
00002a7a: PUSH1 0x31
00002a7c: PUSH1 0x04
00002a7e: MSTORE
00002a7f: PUSH1 0x24
00002a81: PUSH1 0x00
00002a83: REVERT
00002a84: INVALID
00002a85: LOG2
00002a86: PUSH5 0x6970667358
00002a8c: UNKNOWN(0x22)
00002a8d: SLT
00002a8e: KECCAK256
00002a8f: SIGNEXTEND
00002a90: POP
00002a91: STOP
00002a92: UNKNOWN(0x2B)
00002a93: MSTORE8
00002a94: CALLDATASIZE
00002a95: UNKNOWN(0xB5)
00002a96: UNKNOWN(0xC4)
00002a97: UNKNOWN(0xE3)
00002a98: RETURNDATASIZE
00002a99: RETURN
00002a9a: UNKNOWN(0xBA)
00002a9b: DUP12
00002a9c: CHAINID
00002a9d: UNKNOWN(0x29)
00002a9e: PUSH28

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: 0xaf9b69b95ede8bab6f5d2b657a9e1555bc3d00feac4b0e3f69dab3a54d81d444
call_targets: 0xa347d6a871e12725ab615f79bfff3c5f97deb910
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xaf9b69b95ede8bab6f5d2b657a9e1555bc3d00feac4b0e3f69dab3a54d81d444",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa347d6a871e12725ab615f79bfff3c5f97deb910"
    ],
    "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": "0xd0888d44",
            "selector": "0xd0888d44",
            "calldata_variants": [
                "0xd0888d44",
                "0xd0888d440000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe8a3d485",
            "selector": "0xe8a3d485",
            "calldata_variants": [
                "0xe8a3d485",
                "0xe8a3d4850000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa22cb465",
            "selector": "0xa22cb465",
            "calldata_variants": [
                "0xa22cb465",
                "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc8796572",
            "selector": "0xc8796572",
            "calldata_variants": [
                "0xc8796572",
                "0xc87965720000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2441,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6460,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6550,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 7,
    "guards_detected": [
        {
            "pc": 2034,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 7
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xaf9b69b95ede8bab6f5d2b657a9e1555bc3d00feac4b0e3f69dab3a54d81d444
call_targets: 0xa347d6a871e12725ab615f79bfff3c5f97deb910
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xaf9b69b95ede8bab6f5d2b657a9e1555bc3d00feac4b0e3f69dab3a54d81d444",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa347d6a871e12725ab615f79bfff3c5f97deb910"
    ],
    "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": "0xd0888d44",
            "selector": "0xd0888d44",
            "calldata_variants": [
                "0xd0888d44",
                "0xd0888d440000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe8a3d485",
            "selector": "0xe8a3d485",
            "calldata_variants": [
                "0xe8a3d485",
                "0xe8a3d4850000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa22cb465",
            "selector": "0xa22cb465",
            "calldata_variants": [
                "0xa22cb465",
                "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc8796572",
            "selector": "0xc8796572",
            "calldata_variants": [
                "0xc8796572",
                "0xc87965720000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2441,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6460,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6550,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 7,
    "guards_detected": [
        {
            "pc": 2034,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}