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

Analysis Run

019b477e-c719-7010-943c-227d50bd6831

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
25907 artifact.fetch complete 1 / 3 3 months ago
25908 tool.cast_disasm complete 1 / 3 3 months ago
69394 analysis.bundle complete 1 / 3 2 weeks ago
69395 capability.graph complete 1 / 3 2 weeks ago
69396 detector.run complete 1 / 3 2 weeks ago
69397 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)
5
EXT*/BALANCE
1
Total opcodes
6082
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 0x012e
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x715018a6
00000019: GT
0000001a: PUSH2 0x00ab
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xcf58b8ea
00000024: GT
00000025: PUSH2 0x006f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xcf58b8ea
0000002f: EQ
00000030: PUSH2 0x0419
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xdb2e21bc
0000003a: EQ
0000003b: PUSH2 0x0435
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x044c
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf65a0b3e
00000050: EQ
00000051: PUSH2 0x0475
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf746701e
0000005b: EQ
0000005c: PUSH2 0x049e
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfbf95fec
00000066: EQ
00000067: PUSH2 0x04c9
0000006a: JUMPI
0000006b: PUSH2 0x0183
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0x715018a6
00000076: EQ
00000077: PUSH2 0x035a
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x8da5cb5b
00000081: EQ
00000082: PUSH2 0x0371
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x90aafc01
0000008c: EQ
0000008d: PUSH2 0x039c
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x99863754
00000097: EQ
00000098: PUSH2 0x03c7
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0x9fdb7105
000000a2: EQ
000000a3: PUSH2 0x03f0
000000a6: JUMPI
000000a7: PUSH2 0x0183
000000aa: JUMP
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0x429b62e5
000000b2: GT
000000b3: PUSH2 0x00f2
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x429b62e5
000000bd: EQ
000000be: PUSH2 0x0272
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x4aee68a1
000000c8: EQ
000000c9: PUSH2 0x02af
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x6210d817
000000d3: EQ
000000d4: PUSH2 0x02cb
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x62f388c0
000000de: EQ
000000df: PUSH2 0x02f4
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x6ebcf607
000000e9: EQ
000000ea: PUSH2 0x031d
000000ed: JUMPI
000000ee: PUSH2 0x0183
000000f1: JUMP
000000f2: JUMPDEST
000000f3: DUP1
000000f4: PUSH4 0x0e0aff94
000000f9: EQ
000000fa: PUSH2 0x0188
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x19165587
00000104: EQ
00000105: PUSH2 0x01b3
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x2757525e
0000010f: EQ
00000110: PUSH2 0x01dc
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x29a72ca3
0000011a: EQ
0000011b: PUSH2 0x0219
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x306e38be
00000125: EQ
00000126: PUSH2 0x0235
00000129: JUMPI
0000012a: PUSH2 0x0183
0000012d: JUMP
0000012e: JUMPDEST
0000012f: CALLDATASIZE
00000130: PUSH2 0x0183
00000133: JUMPI
00000134: PUSH2 0x013b
00000137: PUSH2 0x0506
0000013a: JUMP
0000013b: JUMPDEST
0000013c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000151: AND
00000152: PUSH2 0x08fc
00000155: CALLVALUE
00000156: SWAP1
00000157: DUP2
00000158: ISZERO
00000159: MUL
0000015a: SWAP1
0000015b: PUSH1 0x40
0000015d: MLOAD
0000015e: PUSH1 0x00
00000160: PUSH1 0x40
00000162: MLOAD
00000163: DUP1
00000164: DUP4
00000165: SUB
00000166: DUP2
00000167: DUP6
00000168: DUP9
00000169: DUP9
0000016a: CALL
0000016b: SWAP4
0000016c: POP
0000016d: POP
0000016e: POP
0000016f: POP
00000170: ISZERO
00000171: DUP1
00000172: ISZERO
00000173: PUSH2 0x0180
00000176: JUMPI
00000177: RETURNDATASIZE
00000178: PUSH1 0x00
0000017a: DUP1
0000017b: RETURNDATACOPY
0000017c: RETURNDATASIZE
0000017d: PUSH1 0x00
0000017f: REVERT
00000180: JUMPDEST
00000181: POP
00000182: STOP
00000183: JUMPDEST
00000184: PUSH1 0x00
00000186: DUP1
00000187: REVERT
00000188: JUMPDEST
00000189: CALLVALUE
0000018a: DUP1
0000018b: ISZERO
0000018c: PUSH2 0x0194
0000018f: JUMPI
00000190: PUSH1 0x00
00000192: DUP1
00000193: REVERT
00000194: JUMPDEST
00000195: POP
00000196: PUSH2 0x019d
00000199: PUSH2 0x052f
0000019c: JUMP
0000019d: JUMPDEST
0000019e: PUSH1 0x40
000001a0: MLOAD
000001a1: PUSH2 0x01aa
000001a4: SWAP2
000001a5: SWAP1
000001a6: PUSH2 0x2903
000001a9: JUMP
000001aa: JUMPDEST
000001ab: PUSH1 0x40
000001ad: MLOAD
000001ae: DUP1
000001af: SWAP2
000001b0: SUB
000001b1: SWAP1
000001b2: RETURN
000001b3: JUMPDEST
000001b4: CALLVALUE
000001b5: DUP1
000001b6: ISZERO
000001b7: PUSH2 0x01bf
000001ba: JUMPI
000001bb: PUSH1 0x00
000001bd: DUP1
000001be: REVERT
000001bf: JUMPDEST
000001c0: POP
000001c1: PUSH2 0x01da
000001c4: PUSH1 0x04
000001c6: DUP1
000001c7: CALLDATASIZE
000001c8: SUB
000001c9: DUP2
000001ca: ADD
000001cb: SWAP1
000001cc: PUSH2 0x01d5
000001cf: SWAP2
000001d0: SWAP1
000001d1: PUSH2 0x2595
000001d4: JUMP
000001d5: JUMPDEST
000001d6: PUSH2 0x0555
000001d9: JUMP
000001da: JUMPDEST
000001db: STOP
000001dc: JUMPDEST
000001dd: CALLVALUE
000001de: DUP1
000001df: ISZERO
000001e0: PUSH2 0x01e8
000001e3: JUMPI
000001e4: PUSH1 0x00
000001e6: DUP1
000001e7: REVERT
000001e8: JUMPDEST
000001e9: POP
000001ea: PUSH2 0x0203
000001ed: PUSH1 0x04
000001ef: DUP1
000001f0: CALLDATASIZE
000001f1: SUB
000001f2: DUP2
000001f3: ADD
000001f4: SWAP1
000001f5: PUSH2 0x01fe
000001f8: SWAP2
000001f9: SWAP1
000001fa: PUSH2 0x2595
000001fd: JUMP
000001fe: JUMPDEST
000001ff: PUSH2 0x0815
00000202: JUMP
00000203: JUMPDEST
00000204: PUSH1 0x40
00000206: MLOAD
00000207: PUSH2 0x0210
0000020a: SWAP2
0000020b: SWAP1
0000020c: PUSH2 0x2b0c
0000020f: JUMP
00000210: JUMPDEST
00000211: PUSH1 0x40
00000213: MLOAD
00000214: DUP1
00000215: SWAP2
00000216: SUB
00000217: SWAP1
00000218: RETURN
00000219: JUMPDEST
0000021a: PUSH2 0x0233
0000021d: PUSH1 0x04
0000021f: DUP1
00000220: CALLDATASIZE
00000221: SUB
00000222: DUP2
00000223: ADD
00000224: SWAP1
00000225: PUSH2 0x022e
00000228: SWAP2
00000229: SWAP1
0000022a: PUSH2 0x2595
0000022d: JUMP
0000022e: JUMPDEST
0000022f: PUSH2 0x08ae
00000232: JUMP
00000233: JUMPDEST
00000234: STOP
00000235: JUMPDEST
00000236: CALLVALUE
00000237: DUP1
00000238: ISZERO
00000239: PUSH2 0x0241
0000023c: JUMPI
0000023d: PUSH1 0x00
0000023f: DUP1
00000240: REVERT
00000241: JUMPDEST
00000242: POP
00000243: PUSH2 0x025c
00000246: PUSH1 0x04
00000248: DUP1
00000249: CALLDATASIZE
0000024a: SUB
0000024b: DUP2
0000024c: ADD
0000024d: SWAP1
0000024e: PUSH2 0x0257
00000251: SWAP2
00000252: SWAP1
00000253: PUSH2 0x26b5
00000256: JUMP
00000257: JUMPDEST
00000258: PUSH2 0x0c2b
0000025b: JUMP
0000025c: JUMPDEST
0000025d: PUSH1 0x40
0000025f: MLOAD
00000260: PUSH2 0x0269
00000263: SWAP2
00000264: SWAP1
00000265: PUSH2 0x2b0c
00000268: JUMP
00000269: JUMPDEST
0000026a: PUSH1 0x40
0000026c: MLOAD
0000026d: DUP1
0000026e: SWAP2
0000026f: SUB
00000270: SWAP1
00000271: RETURN
00000272: JUMPDEST
00000273: CALLVALUE
00000274: DUP1
00000275: ISZERO
00000276: PUSH2 0x027e
00000279: JUMPI
0000027a: PUSH1 0x00
0000027c: DUP1
0000027d: REVERT
0000027e: JUMPDEST
0000027f: POP
00000280: PUSH2 0x0299
00000283: PUSH1 0x04
00000285: DUP1
00000286: CALLDATASIZE
00000287: SUB
00000288: DUP2
00000289: ADD
0000028a: SWAP1
0000028b: PUSH2 0x0294
0000028e: SWAP2
0000028f: SWAP1
00000290: PUSH2 0x2595
00000293: JUMP
00000294: JUMPDEST
00000295: PUSH2 0x0e39
00000298: JUMP
00000299: JUMPDEST
0000029a: PUSH1 0x40
0000029c: MLOAD
0000029d: PUSH2 0x02a6
000002a0: SWAP2
000002a1: SWAP1
000002a2: PUSH2 0x29d1
000002a5: JUMP
000002a6: JUMPDEST
000002a7: PUSH1 0x40
000002a9: MLOAD
000002aa: DUP1
000002ab: SWAP2
000002ac: SUB
000002ad: SWAP1
000002ae: RETURN
000002af: JUMPDEST
000002b0: PUSH2 0x02c9
000002b3: PUSH1 0x04
000002b5: DUP1
000002b6: CALLDATASIZE
000002b7: SUB
000002b8: DUP2
000002b9: ADD
000002ba: SWAP1
000002bb: PUSH2 0x02c4
000002be: SWAP2
000002bf: SWAP1
000002c0: PUSH2 0x2679
000002c3: JUMP
000002c4: JUMPDEST
000002c5: PUSH2 0x0e59
000002c8: JUMP
000002c9: JUMPDEST
000002ca: STOP
000002cb: JUMPDEST
000002cc: CALLVALUE
000002cd: DUP1
000002ce: ISZERO
000002cf: PUSH2 0x02d7
000002d2: JUMPI
000002d3: PUSH1 0x00
000002d5: DUP1
000002d6: REVERT
000002d7: JUMPDEST
000002d8: POP
000002d9: PUSH2 0x02f2
000002dc: PUSH1 0x04
000002de: DUP1
000002df: CALLDATASIZE
000002e0: SUB
000002e1: DUP2
000002e2: ADD
000002e3: SWAP1
000002e4: PUSH2 0x02ed
000002e7: SWAP2
000002e8: SWAP1
000002e9: PUSH2 0x25be
000002ec: JUMP
000002ed: JUMPDEST
000002ee: PUSH2 0x11d7
000002f1: JUMP
000002f2: JUMPDEST
000002f3: STOP
000002f4: JUMPDEST
000002f5: CALLVALUE
000002f6: DUP1
000002f7: ISZERO
000002f8: PUSH2 0x0300
000002fb: JUMPI
000002fc: PUSH1 0x00
000002fe: DUP1
000002ff: REVERT
00000300: JUMPDEST
00000301: POP
00000302: PUSH2 0x031b
00000305: PUSH1 0x04
00000307: DUP1
00000308: CALLDATASIZE
00000309: SUB
0000030a: DUP2
0000030b: ADD
0000030c: SWAP1
0000030d: PUSH2 0x0316
00000310: SWAP2
00000311: SWAP1
00000312: PUSH2 0x25be
00000315: JUMP
00000316: JUMPDEST
00000317: PUSH2 0x13e4
0000031a: JUMP
0000031b: JUMPDEST
0000031c: STOP
0000031d: JUMPDEST
0000031e: CALLVALUE
0000031f: DUP1
00000320: ISZERO
00000321: PUSH2 0x0329
00000324: JUMPI
00000325: PUSH1 0x00
00000327: DUP1
00000328: REVERT
00000329: JUMPDEST
0000032a: POP
0000032b: PUSH2 0x0344
0000032e: PUSH1 0x04
00000330: DUP1
00000331: CALLDATASIZE
00000332: SUB
00000333: DUP2
00000334: ADD
00000335: SWAP1
00000336: PUSH2 0x033f
00000339: SWAP2
0000033a: SWAP1
0000033b: PUSH2 0x2595
0000033e: JUMP
0000033f: JUMPDEST
00000340: PUSH2 0x15f1
00000343: JUMP
00000344: JUMPDEST
00000345: PUSH1 0x40
00000347: MLOAD
00000348: PUSH2 0x0351
0000034b: SWAP2
0000034c: SWAP1
0000034d: PUSH2 0x2b0c
00000350: JUMP
00000351: JUMPDEST
00000352: PUSH1 0x40
00000354: MLOAD
00000355: DUP1
00000356: SWAP2
00000357: SUB
00000358: SWAP1
00000359: RETURN
0000035a: JUMPDEST
0000035b: CALLVALUE
0000035c: DUP1
0000035d: ISZERO
0000035e: PUSH2 0x0366
00000361: JUMPI
00000362: PUSH1 0x00
00000364: DUP1
00000365: REVERT
00000366: JUMPDEST
00000367: POP
00000368: PUSH2 0x036f
0000036b: PUSH2 0x1609
0000036e: JUMP
0000036f: JUMPDEST
00000370: STOP
00000371: JUMPDEST
00000372: CALLVALUE
00000373: DUP1
00000374: ISZERO
00000375: PUSH2 0x037d
00000378: JUMPI
00000379: PUSH1 0x00
0000037b: DUP1
0000037c: REVERT
0000037d: JUMPDEST
0000037e: POP
0000037f: PUSH2 0x0386
00000382: PUSH2 0x0506
00000385: JUMP
00000386: JUMPDEST
00000387: PUSH1 0x40
00000389: MLOAD
0000038a: PUSH2 0x0393
0000038d: SWAP2
0000038e: SWAP1
0000038f: PUSH2 0x2903
00000392: JUMP
00000393: JUMPDEST
00000394: PUSH1 0x40
00000396: MLOAD
00000397: DUP1
00000398: SWAP2
00000399: SUB
0000039a: SWAP1
0000039b: RETURN
0000039c: JUMPDEST
0000039d: CALLVALUE
0000039e: DUP1
0000039f: ISZERO
000003a0: PUSH2 0x03a8
000003a3: JUMPI
000003a4: PUSH1 0x00
000003a6: DUP1
000003a7: REVERT
000003a8: JUMPDEST
000003a9: POP
000003aa: PUSH2 0x03b1
000003ad: PUSH2 0x1691
000003b0: JUMP
000003b1: JUMPDEST
000003b2: PUSH1 0x40
000003b4: MLOAD
000003b5: PUSH2 0x03be
000003b8: SWAP2
000003b9: SWAP1
000003ba: PUSH2 0x2903
000003bd: JUMP
000003be: JUMPDEST
000003bf: PUSH1 0x40
000003c1: MLOAD
000003c2: DUP1
000003c3: SWAP2
000003c4: SUB
000003c5: SWAP1
000003c6: RETURN
000003c7: JUMPDEST
000003c8: CALLVALUE
000003c9: DUP1
000003ca: ISZERO
000003cb: PUSH2 0x03d3
000003ce: JUMPI
000003cf: PUSH1 0x00
000003d1: DUP1
000003d2: REVERT
000003d3: JUMPDEST
000003d4: POP
000003d5: PUSH2 0x03ee
000003d8: PUSH1 0x04
000003da: DUP1
000003db: CALLDATASIZE
000003dc: SUB
000003dd: DUP2
000003de: ADD
000003df: SWAP1
000003e0: PUSH2 0x03e9
000003e3: SWAP2
000003e4: SWAP1
000003e5: PUSH2 0x2595
000003e8: JUMP
000003e9: JUMPDEST
000003ea: PUSH2 0x16b7
000003ed: JUMP
000003ee: JUMPDEST
000003ef: STOP
000003f0: JUMPDEST
000003f1: CALLVALUE
000003f2: DUP1
000003f3: ISZERO
000003f4: PUSH2 0x03fc
000003f7: JUMPI
000003f8: PUSH1 0x00
000003fa: DUP1
000003fb: REVERT
000003fc: JUMPDEST
000003fd: POP
000003fe: PUSH2 0x0417
00000401: PUSH1 0x04
00000403: DUP1
00000404: CALLDATASIZE
00000405: SUB
00000406: DUP2
00000407: ADD
00000408: SWAP1
00000409: PUSH2 0x0412
0000040c: SWAP2
0000040d: SWAP1
0000040e: PUSH2 0x26f1
00000411: JUMP
00000412: JUMPDEST
00000413: PUSH2 0x1798
00000416: JUMP
00000417: JUMPDEST
00000418: STOP
00000419: JUMPDEST
0000041a: PUSH2 0x0433
0000041d: PUSH1 0x04
0000041f: DUP1
00000420: CALLDATASIZE
00000421: SUB
00000422: DUP2
00000423: ADD
00000424: SWAP1
00000425: PUSH2 0x042e
00000428: SWAP2
00000429: SWAP1
0000042a: PUSH2 0x2595
0000042d: JUMP
0000042e: JUMPDEST
0000042f: PUSH2 0x19a1
00000432: JUMP
00000433: JUMPDEST
00000434: STOP
00000435: JUMPDEST
00000436: CALLVALUE
00000437: DUP1
00000438: ISZERO
00000439: PUSH2 0x0441
0000043c: JUMPI
0000043d: PUSH1 0x00
0000043f: DUP1
00000440: REVERT
00000441: JUMPDEST
00000442: POP
00000443: PUSH2 0x044a
00000446: PUSH2 0x1d1e
00000449: JUMP
0000044a: JUMPDEST
0000044b: STOP
0000044c: JUMPDEST
0000044d: CALLVALUE
0000044e: DUP1
0000044f: ISZERO
00000450: PUSH2 0x0458
00000453: JUMPI
00000454: PUSH1 0x00
00000456: DUP1
00000457: REVERT
00000458: JUMPDEST
00000459: POP
0000045a: PUSH2 0x0473
0000045d: PUSH1 0x04
0000045f: DUP1
00000460: CALLDATASIZE
00000461: SUB
00000462: DUP2
00000463: ADD
00000464: SWAP1
00000465: PUSH2 0x046e
00000468: SWAP2
00000469: SWAP1
0000046a: PUSH2 0x2595
0000046d: JUMP
0000046e: JUMPDEST
0000046f: PUSH2 0x1e05
00000472: JUMP
00000473: JUMPDEST
00000474: STOP
00000475: JUMPDEST
00000476: CALLVALUE
00000477: DUP1
00000478: ISZERO
00000479: PUSH2 0x0481
0000047c: JUMPI
0000047d: PUSH1 0x00
0000047f: DUP1
00000480: REVERT
00000481: JUMPDEST
00000482: POP
00000483: PUSH2 0x049c
00000486: PUSH1 0x04
00000488: DUP1
00000489: CALLDATASIZE
0000048a: SUB
0000048b: DUP2
0000048c: ADD
0000048d: SWAP1
0000048e: PUSH2 0x0497
00000491: SWAP2
00000492: SWAP1
00000493: PUSH2 0x263d
00000496: JUMP
00000497: JUMPDEST
00000498: PUSH2 0x1efd
0000049b: JUMP
0000049c: JUMPDEST
0000049d: STOP
0000049e: JUMPDEST
0000049f: CALLVALUE
000004a0: DUP1
000004a1: ISZERO
000004a2: PUSH2 0x04aa
000004a5: JUMPI
000004a6: PUSH1 0x00
000004a8: DUP1
000004a9: REVERT
000004aa: JUMPDEST
000004ab: POP
000004ac: PUSH2 0x04b3
000004af: PUSH2 0x1ff5
000004b2: JUMP
000004b3: JUMPDEST
000004b4: PUSH1 0x40
000004b6: MLOAD
000004b7: PUSH2 0x04c0
000004ba: SWAP2
000004bb: SWAP1
000004bc: PUSH2 0x29d1
000004bf: JUMP
000004c0: JUMPDEST
000004c1: PUSH1 0x40
000004c3: MLOAD
000004c4: DUP1
000004c5: SWAP2
000004c6: SUB
000004c7: SWAP1
000004c8: RETURN
000004c9: JUMPDEST
000004ca: CALLVALUE
000004cb: DUP1
000004cc: ISZERO
000004cd: PUSH2 0x04d5
000004d0: JUMPI
000004d1: PUSH1 0x00
000004d3: DUP1
000004d4: REVERT
000004d5: JUMPDEST
000004d6: POP
000004d7: PUSH2 0x04f0
000004da: PUSH1 0x04
000004dc: DUP1
000004dd: CALLDATASIZE
000004de: SUB
000004df: DUP2
000004e0: ADD
000004e1: SWAP1
000004e2: PUSH2 0x04eb
000004e5: SWAP2
000004e6: SWAP1
000004e7: PUSH2 0x2595
000004ea: JUMP
000004eb: JUMPDEST
000004ec: PUSH2 0x2008
000004ef: JUMP
000004f0: JUMPDEST
000004f1: PUSH1 0x40
000004f3: MLOAD
000004f4: PUSH2 0x04fd
000004f7: SWAP2
000004f8: SWAP1
000004f9: PUSH2 0x2b0c
000004fc: JUMP
000004fd: JUMPDEST
000004fe: PUSH1 0x40
00000500: MLOAD
00000501: DUP1
00000502: SWAP2
00000503: SUB
00000504: SWAP1
00000505: RETURN
00000506: JUMPDEST
00000507: PUSH1 0x00
00000509: DUP1
0000050a: PUSH1 0x00
0000050c: SWAP1
0000050d: SLOAD
0000050e: SWAP1
0000050f: PUSH2 0x0100
00000512: EXP
00000513: SWAP1
00000514: DIV
00000515: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000052a: AND
0000052b: SWAP1
0000052c: POP
0000052d: SWAP1
0000052e: JUMP
0000052f: JUMPDEST
00000530: PUSH1 0x02
00000532: PUSH1 0x00
00000534: SWAP1
00000535: SLOAD
00000536: SWAP1
00000537: PUSH2 0x0100
0000053a: EXP
0000053b: SWAP1
0000053c: DIV
0000053d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000552: AND
00000553: DUP2
00000554: JUMP
00000555: JUMPDEST
00000556: PUSH1 0x07
00000558: PUSH1 0x14
0000055a: SWAP1
0000055b: SLOAD
0000055c: SWAP1
0000055d: PUSH2 0x0100
00000560: EXP
00000561: SWAP1
00000562: DIV
00000563: PUSH1 0xff
00000565: AND
00000566: ISZERO
00000567: PUSH2 0x05a5
0000056a: JUMPI
0000056b: PUSH1 0x40
0000056d: MLOAD
0000056e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000058f: DUP2
00000590: MSTORE
00000591: PUSH1 0x04
00000593: ADD
00000594: PUSH2 0x059c
00000597: SWAP1
00000598: PUSH2 0x29ec
0000059b: JUMP
0000059c: JUMPDEST
0000059d: PUSH1 0x40
0000059f: MLOAD
000005a0: DUP1
000005a1: SWAP2
000005a2: SUB
000005a3: SWAP1
000005a4: REVERT
000005a5: JUMPDEST
000005a6: PUSH1 0x00
000005a8: PUSH1 0x03
000005aa: PUSH1 0x00
000005ac: DUP4
000005ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005c2: AND
000005c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005d8: AND
000005d9: DUP2
000005da: MSTORE
000005db: PUSH1 0x20
000005dd: ADD
000005de: SWAP1
000005df: DUP2
000005e0: MSTORE
000005e1: PUSH1 0x20
000005e3: ADD
000005e4: PUSH1 0x00
000005e6: KECCAK256
000005e7: SLOAD
000005e8: SWAP1
000005e9: POP
000005ea: PUSH1 0x00
000005ec: PUSH1 0x04
000005ee: PUSH1 0x00
000005f0: DUP5
000005f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000606: AND
00000607: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000061c: AND
0000061d: DUP2
0000061e: MSTORE
0000061f: PUSH1 0x20
00000621: ADD
00000622: SWAP1
00000623: DUP2
00000624: MSTORE
00000625: PUSH1 0x20
00000627: ADD
00000628: PUSH1 0x00
0000062a: KECCAK256
0000062b: SLOAD
0000062c: SWAP1
0000062d: POP
0000062e: PUSH1 0x00
00000630: DUP3
00000631: GT
00000632: DUP1
00000633: PUSH2 0x063c
00000636: JUMPI
00000637: POP
00000638: PUSH1 0x00
0000063a: DUP2
0000063b: GT
0000063c: JUMPDEST
0000063d: PUSH2 0x067b
00000640: JUMPI
00000641: PUSH1 0x40
00000643: MLOAD
00000644: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000665: DUP2
00000666: MSTORE
00000667: PUSH1 0x04
00000669: ADD
0000066a: PUSH2 0x0672
0000066d: SWAP1
0000066e: PUSH2 0x2acc
00000671: JUMP
00000672: JUMPDEST
00000673: PUSH1 0x40
00000675: MLOAD
00000676: DUP1
00000677: SWAP2
00000678: SUB
00000679: SWAP1
0000067a: REVERT
0000067b: JUMPDEST
0000067c: PUSH1 0x00
0000067e: DUP3
0000067f: GT
00000680: ISZERO
00000681: PUSH2 0x0711
00000684: JUMPI
00000685: PUSH1 0x00
00000687: PUSH1 0x03
00000689: PUSH1 0x00
0000068b: DUP6
0000068c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006a1: AND
000006a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006b7: AND
000006b8: DUP2
000006b9: MSTORE
000006ba: PUSH1 0x20
000006bc: ADD
000006bd: SWAP1
000006be: DUP2
000006bf: MSTORE
000006c0: PUSH1 0x20
000006c2: ADD
000006c3: PUSH1 0x00
000006c5: KECCAK256
000006c6: DUP2
000006c7: SWAP1
000006c8: SSTORE
000006c9: POP
000006ca: DUP3
000006cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006e0: AND
000006e1: PUSH2 0x08fc
000006e4: DUP4
000006e5: SWAP1
000006e6: DUP2
000006e7: ISZERO
000006e8: MUL
000006e9: SWAP1
000006ea: PUSH1 0x40
000006ec: MLOAD
000006ed: PUSH1 0x00
000006ef: PUSH1 0x40
000006f1: MLOAD
000006f2: DUP1
000006f3: DUP4
000006f4: SUB
000006f5: DUP2
000006f6: DUP6
000006f7: DUP9
000006f8: DUP9
000006f9: CALL
000006fa: SWAP4
000006fb: POP
000006fc: POP
000006fd: POP
000006fe: POP
000006ff: ISZERO
00000700: DUP1
00000701: ISZERO
00000702: PUSH2 0x070f
00000705: JUMPI
00000706: RETURNDATASIZE
00000707: PUSH1 0x00
00000709: DUP1
0000070a: RETURNDATACOPY
0000070b: RETURNDATASIZE
0000070c: PUSH1 0x00
0000070e: REVERT
0000070f: JUMPDEST
00000710: POP
00000711: JUMPDEST
00000712: PUSH1 0x00
00000714: DUP2
00000715: GT
00000716: ISZERO
00000717: PUSH2 0x0810
0000071a: JUMPI
0000071b: PUSH1 0x00
0000071d: PUSH1 0x04
0000071f: PUSH1 0x00
00000721: DUP6
00000722: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000737: AND
00000738: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000074d: AND
0000074e: DUP2
0000074f: MSTORE
00000750: PUSH1 0x20
00000752: ADD
00000753: SWAP1
00000754: DUP2
00000755: MSTORE
00000756: PUSH1 0x20
00000758: ADD
00000759: PUSH1 0x00
0000075b: KECCAK256
0000075c: DUP2
0000075d: SWAP1
0000075e: SSTORE
0000075f: POP
00000760: PUSH1 0x07
00000762: PUSH1 0x00
00000764: SWAP1
00000765: SLOAD
00000766: SWAP1
00000767: PUSH2 0x0100
0000076a: EXP
0000076b: SWAP1
0000076c: DIV
0000076d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000782: AND
00000783: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000798: AND
00000799: PUSH4 0xa9059cbb
0000079e: DUP5
0000079f: DUP4
000007a0: PUSH1 0x40
000007a2: MLOAD
000007a3: DUP4
000007a4: PUSH4 0xffffffff
000007a9: AND
000007aa: PUSH1 0xe0
000007ac: SHL
000007ad: DUP2
000007ae: MSTORE
000007af: PUSH1 0x04
000007b1: ADD
000007b2: PUSH2 0x07bc
000007b5: SWAP3
000007b6: SWAP2
000007b7: SWAP1
000007b8: PUSH2 0x29a8
000007bb: JUMP
000007bc: JUMPDEST
000007bd: PUSH1 0x20
000007bf: PUSH1 0x40
000007c1: MLOAD
000007c2: DUP1
000007c3: DUP4
000007c4: SUB
000007c5: DUP2
000007c6: PUSH1 0x00
000007c8: DUP8
000007c9: DUP1
000007ca: EXTCODESIZE
000007cb: ISZERO
000007cc: DUP1
000007cd: ISZERO
000007ce: PUSH2 0x07d6
000007d1: JUMPI
000007d2: PUSH1 0x00
000007d4: DUP1
000007d5: REVERT
000007d6: JUMPDEST
000007d7: POP
000007d8: GAS
000007d9: CALL
000007da: ISZERO
000007db: DUP1
000007dc: ISZERO
000007dd: PUSH2 0x07ea
000007e0: JUMPI
000007e1: RETURNDATASIZE
000007e2: PUSH1 0x00
000007e4: DUP1
000007e5: RETURNDATACOPY
000007e6: RETURNDATASIZE
000007e7: PUSH1 0x00
000007e9: REVERT
000007ea: JUMPDEST
000007eb: POP
000007ec: POP
000007ed: POP
000007ee: POP
000007ef: PUSH1 0x40
000007f1: MLOAD
000007f2: RETURNDATASIZE
000007f3: PUSH1 0x1f
000007f5: NOT
000007f6: PUSH1 0x1f
000007f8: DUP3
000007f9: ADD
000007fa: AND
000007fb: DUP3
000007fc: ADD
000007fd: DUP1
000007fe: PUSH1 0x40
00000800: MSTORE
00000801: POP
00000802: DUP2
00000803: ADD
00000804: SWAP1
00000805: PUSH2 0x080e
00000808: SWAP2
00000809: SWAP1
0000080a: PUSH2 0x2754
0000080d: JUMP
0000080e: JUMPDEST
0000080f: POP
00000810: JUMPDEST
00000811: POP
00000812: POP
00000813: POP
00000814: JUMP
00000815: JUMPDEST
00000816: PUSH1 0x00
00000818: PUSH1 0x07
0000081a: PUSH1 0x14
0000081c: SWAP1
0000081d: SLOAD
0000081e: SWAP1
0000081f: PUSH2 0x0100
00000822: EXP
00000823: SWAP1
00000824: DIV
00000825: PUSH1 0xff
00000827: AND
00000828: ISZERO
00000829: PUSH2 0x0867
0000082c: JUMPI
0000082d: PUSH1 0x40
0000082f: MLOAD
00000830: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000851: DUP2
00000852: MSTORE
00000853: PUSH1 0x04
00000855: ADD
00000856: PUSH2 0x085e
00000859: SWAP1
0000085a: PUSH2 0x29ec
0000085d: JUMP
0000085e: JUMPDEST
0000085f: PUSH1 0x40
00000861: MLOAD
00000862: DUP1
00000863: SWAP2
00000864: SUB
00000865: SWAP1
00000866: REVERT
00000867: JUMPDEST
00000868: PUSH1 0x03
0000086a: PUSH1 0x00
0000086c: DUP4
0000086d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000882: AND
00000883: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000898: AND
00000899: DUP2
0000089a: MSTORE
0000089b: PUSH1 0x20
0000089d: ADD
0000089e: SWAP1
0000089f: DUP2
000008a0: MSTORE
000008a1: PUSH1 0x20
000008a3: ADD
000008a4: PUSH1 0x00
000008a6: KECCAK256
000008a7: SLOAD
000008a8: SWAP1
000008a9: POP
000008aa: SWAP2
000008ab: SWAP1
000008ac: POP
000008ad: JUMP
000008ae: JUMPDEST
000008af: PUSH1 0x00
000008b1: PUSH1 0x06
000008b3: PUSH1 0x00
000008b5: CALLER
000008b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008cb: AND
000008cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008e1: AND
000008e2: DUP2
000008e3: MSTORE
000008e4: PUSH1 0x20
000008e6: ADD
000008e7: SWAP1
000008e8: DUP2
000008e9: MSTORE
000008ea: PUSH1 0x20
000008ec: ADD
000008ed: PUSH1 0x00
000008ef: KECCAK256
000008f0: PUSH1 0x00
000008f2: ADD
000008f3: DUP1
000008f4: SLOAD
000008f5: SWAP1
000008f6: POP
000008f7: GT
000008f8: PUSH1 0x00
000008fa: PUSH2 0x0901
000008fd: PUSH2 0x2020
00000900: JUMP
00000901: JUMPDEST
00000902: SWAP1
00000903: POP
00000904: DUP2
00000905: DUP1
00000906: PUSH2 0x0941
00000909: JUMPI
0000090a: POP
0000090b: DUP1
0000090c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000921: AND
00000922: PUSH2 0x0929
00000925: PUSH2 0x0506
00000928: JUMP
00000929: JUMPDEST
0000092a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000093f: AND
00000940: EQ
00000941: JUMPDEST
00000942: DUP1
00000943: PUSH2 0x0995
00000946: JUMPI
00000947: POP
00000948: PUSH1 0x01
0000094a: PUSH1 0x00
0000094c: DUP3
0000094d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000962: AND
00000963: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000978: AND
00000979: DUP2
0000097a: MSTORE
0000097b: PUSH1 0x20
0000097d: ADD
0000097e: SWAP1
0000097f: DUP2
00000980: MSTORE
00000981: PUSH1 0x20
00000983: ADD
00000984: PUSH1 0x00
00000986: KECCAK256
00000987: PUSH1 0x00
00000989: SWAP1
0000098a: SLOAD
0000098b: SWAP1
0000098c: PUSH2 0x0100
0000098f: EXP
00000990: SWAP1
00000991: DIV
00000992: PUSH1 0xff
00000994: AND
00000995: JUMPDEST
00000996: PUSH2 0x09d4
00000999: JUMPI
0000099a: PUSH1 0x40
0000099c: MLOAD
0000099d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009be: DUP2
000009bf: MSTORE
000009c0: PUSH1 0x04
000009c2: ADD
000009c3: PUSH2 0x09cb
000009c6: SWAP1
000009c7: PUSH2 0x2aec
000009ca: JUMP
000009cb: JUMPDEST
000009cc: PUSH1 0x40
000009ce: MLOAD
000009cf: DUP1
000009d0: SWAP2
000009d1: SUB
000009d2: SWAP1
000009d3: REVERT
000009d4: JUMPDEST
000009d5: PUSH1 0x00
000009d7: PUSH2 0x09e1
000009da: DUP5
000009db: PUSH1 0x01
000009dd: PUSH2 0x0c2b
000009e0: JUMP
000009e1: JUMPDEST
000009e2: SWAP1
000009e3: POP
000009e4: PUSH1 0x00
000009e6: JUMPDEST
000009e7: PUSH1 0x06
000009e9: PUSH1 0x00
000009eb: DUP7
000009ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a01: AND
00000a02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a17: AND
00000a18: DUP2
00000a19: MSTORE
00000a1a: PUSH1 0x20
00000a1c: ADD
00000a1d: SWAP1
00000a1e: DUP2
00000a1f: MSTORE
00000a20: PUSH1 0x20
00000a22: ADD
00000a23: PUSH1 0x00
00000a25: KECCAK256
00000a26: PUSH1 0x00
00000a28: ADD
00000a29: DUP1
00000a2a: SLOAD
00000a2b: SWAP1
00000a2c: POP
00000a2d: DUP2
00000a2e: PUSH1 0xff
00000a30: AND
00000a31: LT
00000a32: ISZERO
00000a33: PUSH2 0x0c24
00000a36: JUMPI
00000a37: PUSH1 0x00
00000a39: PUSH1 0x06
00000a3b: PUSH1 0x00
00000a3d: DUP8
00000a3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a53: AND
00000a54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a69: AND
00000a6a: DUP2
00000a6b: MSTORE
00000a6c: PUSH1 0x20
00000a6e: ADD
00000a6f: SWAP1
00000a70: DUP2
00000a71: MSTORE
00000a72: PUSH1 0x20
00000a74: ADD
00000a75: PUSH1 0x00
00000a77: KECCAK256
00000a78: PUSH1 0x00
00000a7a: ADD
00000a7b: DUP3
00000a7c: PUSH1 0xff
00000a7e: AND
00000a7f: DUP2
00000a80: SLOAD
00000a81: DUP2
00000a82: LT
00000a83: PUSH2 0x0ab5
00000a86: JUMPI
00000a87: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000aa8: PUSH1 0x00
00000aaa: MSTORE
00000aab: PUSH1 0x32
00000aad: PUSH1 0x04
00000aaf: MSTORE
00000ab0: PUSH1 0x24
00000ab2: PUSH1 0x00
00000ab4: REVERT
00000ab5: JUMPDEST
00000ab6: SWAP1
00000ab7: PUSH1 0x00
00000ab9: MSTORE
00000aba: PUSH1 0x20
00000abc: PUSH1 0x00
00000abe: KECCAK256
00000abf: ADD
00000ac0: PUSH1 0x00
00000ac2: SWAP1
00000ac3: SLOAD
00000ac4: SWAP1
00000ac5: PUSH2 0x0100
00000ac8: EXP
00000ac9: SWAP1
00000aca: DIV
00000acb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ae0: AND
00000ae1: SWAP1
00000ae2: POP
00000ae3: PUSH1 0x00
00000ae5: DUP4
00000ae6: PUSH1 0x06
00000ae8: PUSH1 0x00
00000aea: DUP10
00000aeb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b00: AND
00000b01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b16: AND
00000b17: DUP2
00000b18: MSTORE
00000b19: PUSH1 0x20
00000b1b: ADD
00000b1c: SWAP1
00000b1d: DUP2
00000b1e: MSTORE
00000b1f: PUSH1 0x20
00000b21: ADD
00000b22: PUSH1 0x00
00000b24: KECCAK256
00000b25: PUSH1 0x01
00000b27: ADD
00000b28: DUP5
00000b29: PUSH1 0xff
00000b2b: AND
00000b2c: DUP2
00000b2d: SLOAD
00000b2e: DUP2
00000b2f: LT
00000b30: PUSH2 0x0b62
00000b33: JUMPI
00000b34: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000b55: PUSH1 0x00
00000b57: MSTORE
00000b58: PUSH1 0x32
00000b5a: PUSH1 0x04
00000b5c: MSTORE
00000b5d: PUSH1 0x24
00000b5f: PUSH1 0x00
00000b61: REVERT
00000b62: JUMPDEST
00000b63: SWAP1
00000b64: PUSH1 0x00
00000b66: MSTORE
00000b67: PUSH1 0x20
00000b69: PUSH1 0x00
00000b6b: KECCAK256
00000b6c: ADD
00000b6d: SLOAD
00000b6e: CALLVALUE
00000b6f: PUSH2 0x0b78
00000b72: SWAP2
00000b73: SWAP1
00000b74: PUSH2 0x2be6
00000b77: JUMP
00000b78: JUMPDEST
00000b79: PUSH2 0x0b82
00000b7c: SWAP2
00000b7d: SWAP1
00000b7e: PUSH2 0x2bb5
00000b81: JUMP
00000b82: JUMPDEST
00000b83: SWAP1
00000b84: POP
00000b85: DUP1
00000b86: PUSH1 0x03
00000b88: PUSH1 0x00
00000b8a: DUP5
00000b8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba0: AND
00000ba1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb6: AND
00000bb7: DUP2
00000bb8: MSTORE
00000bb9: PUSH1 0x20
00000bbb: ADD
00000bbc: SWAP1
00000bbd: DUP2
00000bbe: MSTORE
00000bbf: PUSH1 0x20
00000bc1: ADD
00000bc2: PUSH1 0x00
00000bc4: KECCAK256
00000bc5: PUSH1 0x00
00000bc7: DUP3
00000bc8: DUP3
00000bc9: SLOAD
00000bca: ADD
00000bcb: SWAP3
00000bcc: POP
00000bcd: POP
00000bce: DUP2
00000bcf: SWAP1
00000bd0: SSTORE
00000bd1: POP
00000bd2: PUSH32 0xd87a73d4607b60cda515715f4837335c7eeaeb515decf86241c056196f6362a1
00000bf3: DUP8
00000bf4: PUSH1 0x01
00000bf6: DUP5
00000bf7: DUP5
00000bf8: PUSH1 0x40
00000bfa: MLOAD
00000bfb: PUSH2 0x0c07
00000bfe: SWAP5
00000bff: SWAP4
00000c00: SWAP3
00000c01: SWAP2
00000c02: SWAP1
00000c03: PUSH2 0x2963
00000c06: JUMP
00000c07: JUMPDEST
00000c08: PUSH1 0x40
00000c0a: MLOAD
00000c0b: DUP1
00000c0c: SWAP2
00000c0d: SUB
00000c0e: SWAP1
00000c0f: LOG1
00000c10: POP
00000c11: POP
00000c12: DUP1
00000c13: DUP1
00000c14: PUSH2 0x0c1c
00000c17: SWAP1
00000c18: PUSH2 0x2cea
00000c1b: JUMP
00000c1c: JUMPDEST
00000c1d: SWAP2
00000c1e: POP
00000c1f: POP
00000c20: PUSH2 0x09e6
00000c23: JUMP
00000c24: JUMPDEST
00000c25: POP
00000c26: POP
00000c27: POP
00000c28: POP
00000c29: POP
00000c2a: JUMP
00000c2b: JUMPDEST
00000c2c: PUSH1 0x00
00000c2e: PUSH2 0x0c37
00000c31: DUP4
00000c32: DUP4
00000c33: PUSH2 0x2028
00000c36: JUMP
00000c37: JUMPDEST
00000c38: PUSH1 0x00
00000c3a: DUP1
00000c3b: DUP4
00000c3c: PUSH1 0xff
00000c3e: AND
00000c3f: EQ
00000c40: PUSH2 0x0c87
00000c43: JUMPI
00000c44: PUSH1 0x06
00000c46: PUSH1 0x00
00000c48: DUP6
00000c49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c5e: AND
00000c5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c74: AND
00000c75: DUP2
00000c76: MSTORE
00000c77: PUSH1 0x20
00000c79: ADD
00000c7a: SWAP1
00000c7b: DUP2
00000c7c: MSTORE
00000c7d: PUSH1 0x20
00000c7f: ADD
00000c80: PUSH1 0x00
00000c82: KECCAK256
00000c83: PUSH2 0x0cc7
00000c86: JUMP
00000c87: JUMPDEST
00000c88: PUSH1 0x05
00000c8a: PUSH1 0x00
00000c8c: DUP6
00000c8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ca2: AND
00000ca3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cb8: AND
00000cb9: DUP2
00000cba: MSTORE
00000cbb: PUSH1 0x20
00000cbd: ADD
00000cbe: SWAP1
00000cbf: DUP2
00000cc0: MSTORE
00000cc1: PUSH1 0x20
00000cc3: ADD
00000cc4: PUSH1 0x00
00000cc6: KECCAK256
00000cc7: JUMPDEST
00000cc8: PUSH1 0x40
00000cca: MLOAD
00000ccb: DUP1
00000ccc: PUSH1 0x40
00000cce: ADD
00000ccf: PUSH1 0x40
00000cd1: MSTORE
00000cd2: SWAP1
00000cd3: DUP2
00000cd4: PUSH1 0x00
00000cd6: DUP3
00000cd7: ADD
00000cd8: DUP1
00000cd9: SLOAD
00000cda: DUP1
00000cdb: PUSH1 0x20
00000cdd: MUL
00000cde: PUSH1 0x20
00000ce0: ADD
00000ce1: PUSH1 0x40
00000ce3: MLOAD
00000ce4: SWAP1
00000ce5: DUP2
00000ce6: ADD
00000ce7: PUSH1 0x40
00000ce9: MSTORE
00000cea: DUP1
00000ceb: SWAP3
00000cec: SWAP2
00000ced: SWAP1
00000cee: DUP2
00000cef: DUP2
00000cf0: MSTORE
00000cf1: PUSH1 0x20
00000cf3: ADD
00000cf4: DUP3
00000cf5: DUP1
00000cf6: SLOAD
00000cf7: DUP1
00000cf8: ISZERO
00000cf9: PUSH2 0x0d57
00000cfc: JUMPI
00000cfd: PUSH1 0x20
00000cff: MUL
00000d00: DUP3
00000d01: ADD
00000d02: SWAP2
00000d03: SWAP1
00000d04: PUSH1 0x00
00000d06: MSTORE
00000d07: PUSH1 0x20
00000d09: PUSH1 0x00
00000d0b: KECCAK256
00000d0c: SWAP1
00000d0d: JUMPDEST
00000d0e: DUP2
00000d0f: PUSH1 0x00
00000d11: SWAP1
00000d12: SLOAD
00000d13: SWAP1
00000d14: PUSH2 0x0100
00000d17: EXP
00000d18: SWAP1
00000d19: DIV
00000d1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d2f: AND
00000d30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d45: AND
00000d46: DUP2
00000d47: MSTORE
00000d48: PUSH1 0x20
00000d4a: ADD
00000d4b: SWAP1
00000d4c: PUSH1 0x01
00000d4e: ADD
00000d4f: SWAP1
00000d50: DUP1
00000d51: DUP4
00000d52: GT
00000d53: PUSH2 0x0d0d
00000d56: JUMPI
00000d57: JUMPDEST
00000d58: POP
00000d59: POP
00000d5a: POP
00000d5b: POP
00000d5c: POP
00000d5d: DUP2
00000d5e: MSTORE
00000d5f: PUSH1 0x20
00000d61: ADD
00000d62: PUSH1 0x01
00000d64: DUP3
00000d65: ADD
00000d66: DUP1
00000d67: SLOAD
00000d68: DUP1
00000d69: PUSH1 0x20
00000d6b: MUL
00000d6c: PUSH1 0x20
00000d6e: ADD
00000d6f: PUSH1 0x40
00000d71: MLOAD
00000d72: SWAP1
00000d73: DUP2
00000d74: ADD
00000d75: PUSH1 0x40
00000d77: MSTORE
00000d78: DUP1
00000d79: SWAP3
00000d7a: SWAP2
00000d7b: SWAP1
00000d7c: DUP2
00000d7d: DUP2
00000d7e: MSTORE
00000d7f: PUSH1 0x20
00000d81: ADD
00000d82: DUP3
00000d83: DUP1
00000d84: SLOAD
00000d85: DUP1
00000d86: ISZERO
00000d87: PUSH2 0x0daf
00000d8a: JUMPI
00000d8b: PUSH1 0x20
00000d8d: MUL
00000d8e: DUP3
00000d8f: ADD
00000d90: SWAP2
00000d91: SWAP1
00000d92: PUSH1 0x00
00000d94: MSTORE
00000d95: PUSH1 0x20
00000d97: PUSH1 0x00
00000d99: KECCAK256
00000d9a: SWAP1
00000d9b: JUMPDEST
00000d9c: DUP2
00000d9d: SLOAD
00000d9e: DUP2
00000d9f: MSTORE
00000da0: PUSH1 0x20
00000da2: ADD
00000da3: SWAP1
00000da4: PUSH1 0x01
00000da6: ADD
00000da7: SWAP1
00000da8: DUP1
00000da9: DUP4
00000daa: GT
00000dab: PUSH2 0x0d9b
00000dae: JUMPI
00000daf: JUMPDEST
00000db0: POP
00000db1: POP
00000db2: POP
00000db3: POP
00000db4: POP
00000db5: DUP2
00000db6: MSTORE
00000db7: POP
00000db8: POP
00000db9: SWAP1
00000dba: POP
00000dbb: PUSH1 0x00
00000dbd: DUP1
00000dbe: JUMPDEST
00000dbf: DUP3
00000dc0: PUSH1 0x20
00000dc2: ADD
00000dc3: MLOAD
00000dc4: MLOAD
00000dc5: DUP2
00000dc6: PUSH1 0xff
00000dc8: AND
00000dc9: LT
00000dca: ISZERO
00000dcb: PUSH2 0x0e2d
00000dce: JUMPI
00000dcf: DUP3
00000dd0: PUSH1 0x20
00000dd2: ADD
00000dd3: MLOAD
00000dd4: DUP2
00000dd5: PUSH1 0xff
00000dd7: AND
00000dd8: DUP2
00000dd9: MLOAD
00000dda: DUP2
00000ddb: LT
00000ddc: PUSH2 0x0e0e
00000ddf: JUMPI
00000de0: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000e01: PUSH1 0x00
00000e03: MSTORE
00000e04: PUSH1 0x32
00000e06: PUSH1 0x04
00000e08: MSTORE
00000e09: PUSH1 0x24
00000e0b: PUSH1 0x00
00000e0d: REVERT
00000e0e: JUMPDEST
00000e0f: PUSH1 0x20
00000e11: MUL
00000e12: PUSH1 0x20
00000e14: ADD
00000e15: ADD
00000e16: MLOAD
00000e17: DUP3
00000e18: ADD
00000e19: SWAP2
00000e1a: POP
00000e1b: DUP1
00000e1c: DUP1
00000e1d: PUSH2 0x0e25
00000e20: SWAP1
00000e21: PUSH2 0x2cea
00000e24: JUMP
00000e25: JUMPDEST
00000e26: SWAP2
00000e27: POP
00000e28: POP
00000e29: PUSH2 0x0dbe
00000e2c: JUMP
00000e2d: JUMPDEST
00000e2e: POP
00000e2f: DUP1
00000e30: SWAP3
00000e31: POP
00000e32: POP
00000e33: POP
00000e34: SWAP3
00000e35: SWAP2
00000e36: POP
00000e37: POP
00000e38: JUMP
00000e39: JUMPDEST
00000e3a: PUSH1 0x01
00000e3c: PUSH1 0x20
00000e3e: MSTORE
00000e3f: DUP1
00000e40: PUSH1 0x00
00000e42: MSTORE
00000e43: PUSH1 0x40
00000e45: PUSH1 0x00
00000e47: KECCAK256
00000e48: PUSH1 0x00
00000e4a: SWAP2
00000e4b: POP
00000e4c: SLOAD
00000e4d: SWAP1
00000e4e: PUSH2 0x0100
00000e51: EXP
00000e52: SWAP1
00000e53: DIV
00000e54: PUSH1 0xff
00000e56: AND
00000e57: DUP2
00000e58: JUMP
00000e59: JUMPDEST
00000e5a: PUSH1 0x00
00000e5c: PUSH1 0x06
00000e5e: PUSH1 0x00
00000e60: CALLER
00000e61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e76: AND
00000e77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e8c: AND
00000e8d: DUP2
00000e8e: MSTORE
00000e8f: PUSH1 0x20
00000e91: ADD
00000e92: SWAP1
00000e93: DUP2
00000e94: MSTORE
00000e95: PUSH1 0x20
00000e97: ADD
00000e98: PUSH1 0x00
00000e9a: KECCAK256
00000e9b: PUSH1 0x00
00000e9d: ADD
00000e9e: DUP1
00000e9f: SLOAD
00000ea0: SWAP1
00000ea1: POP
00000ea2: GT
00000ea3: PUSH1 0x00
00000ea5: PUSH2 0x0eac
00000ea8: PUSH2 0x2020
00000eab: JUMP
00000eac: JUMPDEST
00000ead: SWAP1
00000eae: POP
00000eaf: DUP2
00000eb0: DUP1
00000eb1: PUSH2 0x0eec
00000eb4: JUMPI
00000eb5: POP
00000eb6: DUP1
00000eb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ecc: AND
00000ecd: PUSH2 0x0ed4
00000ed0: PUSH2 0x0506
00000ed3: JUMP
00000ed4: JUMPDEST
00000ed5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eea: AND
00000eeb: EQ
00000eec: JUMPDEST
00000eed: DUP1
00000eee: PUSH2 0x0f40
00000ef1: JUMPI
00000ef2: POP
00000ef3: PUSH1 0x01
00000ef5: PUSH1 0x00
00000ef7: DUP3
00000ef8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f0d: AND
00000f0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f23: AND
00000f24: DUP2
00000f25: MSTORE
00000f26: PUSH1 0x20
00000f28: ADD
00000f29: SWAP1
00000f2a: DUP2
00000f2b: MSTORE
00000f2c: PUSH1 0x20
00000f2e: ADD
00000f2f: PUSH1 0x00
00000f31: KECCAK256
00000f32: PUSH1 0x00
00000f34: SWAP1
00000f35: SLOAD
00000f36: SWAP1
00000f37: PUSH2 0x0100
00000f3a: EXP
00000f3b: SWAP1
00000f3c: DIV
00000f3d: PUSH1 0xff
00000f3f: AND
00000f40: JUMPDEST
00000f41: PUSH2 0x0f7f
00000f44: JUMPI
00000f45: PUSH1 0x40
00000f47: MLOAD
00000f48: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f69: DUP2
00000f6a: MSTORE
00000f6b: PUSH1 0x04
00000f6d: ADD
00000f6e: PUSH2 0x0f76
00000f71: SWAP1
00000f72: PUSH2 0x2aec
00000f75: JUMP
00000f76: JUMPDEST
00000f77: PUSH1 0x40
00000f79: MLOAD
00000f7a: DUP1
00000f7b: SWAP2
00000f7c: SUB
00000f7d: SWAP1
00000f7e: REVERT
00000f7f: JUMPDEST
00000f80: PUSH1 0x00
00000f82: PUSH2 0x0f8c
00000f85: DUP6
00000f86: PUSH1 0x01
00000f88: PUSH2 0x0c2b
00000f8b: JUMP
00000f8c: JUMPDEST
00000f8d: SWAP1
00000f8e: POP
00000f8f: PUSH1 0x00
00000f91: JUMPDEST
00000f92: PUSH1 0x06
00000f94: PUSH1 0x00
00000f96: DUP8
00000f97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fac: AND
00000fad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fc2: AND
00000fc3: DUP2
00000fc4: MSTORE
00000fc5: PUSH1 0x20
00000fc7: ADD
00000fc8: SWAP1
00000fc9: DUP2
00000fca: MSTORE
00000fcb: PUSH1 0x20
00000fcd: ADD
00000fce: PUSH1 0x00
00000fd0: KECCAK256
00000fd1: PUSH1 0x00
00000fd3: ADD
00000fd4: DUP1
00000fd5: SLOAD
00000fd6: SWAP1
00000fd7: POP
00000fd8: DUP2
00000fd9: PUSH1 0xff
00000fdb: AND
00000fdc: LT
00000fdd: ISZERO
00000fde: PUSH2 0x11cf
00000fe1: JUMPI
00000fe2: PUSH1 0x00
00000fe4: PUSH1 0x06
00000fe6: PUSH1 0x00
00000fe8: DUP9
00000fe9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ffe: AND
00000fff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001014: AND
00001015: DUP2
00001016: MSTORE
00001017: PUSH1 0x20
00001019: ADD
0000101a: SWAP1
0000101b: DUP2
0000101c: MSTORE
0000101d: PUSH1 0x20
0000101f: ADD
00001020: PUSH1 0x00
00001022: KECCAK256
00001023: PUSH1 0x00
00001025: ADD
00001026: DUP3
00001027: PUSH1 0xff
00001029: AND
0000102a: DUP2
0000102b: SLOAD
0000102c: DUP2
0000102d: LT
0000102e: PUSH2 0x1060
00001031: JUMPI
00001032: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001053: PUSH1 0x00
00001055: MSTORE
00001056: PUSH1 0x32
00001058: PUSH1 0x04
0000105a: MSTORE
0000105b: PUSH1 0x24
0000105d: PUSH1 0x00
0000105f: REVERT
00001060: JUMPDEST
00001061: SWAP1
00001062: PUSH1 0x00
00001064: MSTORE
00001065: PUSH1 0x20
00001067: PUSH1 0x00
00001069: KECCAK256
0000106a: ADD
0000106b: PUSH1 0x00
0000106d: SWAP1
0000106e: SLOAD
0000106f: SWAP1
00001070: PUSH2 0x0100
00001073: EXP
00001074: SWAP1
00001075: DIV
00001076: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000108b: AND
0000108c: SWAP1
0000108d: POP
0000108e: PUSH1 0x00
00001090: DUP4
00001091: PUSH1 0x06
00001093: PUSH1 0x00
00001095: DUP11
00001096: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ab: AND
000010ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c1: AND
000010c2: DUP2
000010c3: MSTORE
000010c4: PUSH1 0x20
000010c6: ADD
000010c7: SWAP1
000010c8: DUP2
000010c9: MSTORE
000010ca: PUSH1 0x20
000010cc: ADD
000010cd: PUSH1 0x00
000010cf: KECCAK256
000010d0: PUSH1 0x01
000010d2: ADD
000010d3: DUP5
000010d4: PUSH1 0xff
000010d6: AND
000010d7: DUP2
000010d8: SLOAD
000010d9: DUP2
000010da: LT
000010db: PUSH2 0x110d
000010de: JUMPI
000010df: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001100: PUSH1 0x00
00001102: MSTORE
00001103: PUSH1 0x32
00001105: PUSH1 0x04
00001107: MSTORE
00001108: PUSH1 0x24
0000110a: PUSH1 0x00
0000110c: REVERT
0000110d: JUMPDEST
0000110e: SWAP1
0000110f: PUSH1 0x00
00001111: MSTORE
00001112: PUSH1 0x20
00001114: PUSH1 0x00
00001116: KECCAK256
00001117: ADD
00001118: SLOAD
00001119: DUP9
0000111a: PUSH2 0x1123
0000111d: SWAP2
0000111e: SWAP1
0000111f: PUSH2 0x2be6
00001122: JUMP
00001123: JUMPDEST
00001124: PUSH2 0x112d
00001127: SWAP2
00001128: SWAP1
00001129: PUSH2 0x2bb5
0000112c: JUMP
0000112d: JUMPDEST
0000112e: SWAP1
0000112f: POP
00001130: DUP1
00001131: PUSH1 0x04
00001133: PUSH1 0x00
00001135: DUP5
00001136: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000114b: AND
0000114c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001161: AND
00001162: DUP2
00001163: MSTORE
00001164: PUSH1 0x20
00001166: ADD
00001167: SWAP1
00001168: DUP2
00001169: MSTORE
0000116a: PUSH1 0x20
0000116c: ADD
0000116d: PUSH1 0x00
0000116f: KECCAK256
00001170: PUSH1 0x00
00001172: DUP3
00001173: DUP3
00001174: SLOAD
00001175: ADD
00001176: SWAP3
00001177: POP
00001178: POP
00001179: DUP2
0000117a: SWAP1
0000117b: SSTORE
0000117c: POP
0000117d: PUSH32 0xd87a73d4607b60cda515715f4837335c7eeaeb515decf86241c056196f6362a1
0000119e: DUP9
0000119f: PUSH1 0x01
000011a1: DUP5
000011a2: DUP5
000011a3: PUSH1 0x40
000011a5: MLOAD
000011a6: PUSH2 0x11b2
000011a9: SWAP5
000011aa: SWAP4
000011ab: SWAP3
000011ac: SWAP2
000011ad: SWAP1
000011ae: PUSH2 0x2963
000011b1: JUMP
000011b2: JUMPDEST
000011b3: PUSH1 0x40
000011b5: MLOAD
000011b6: DUP1
000011b7: SWAP2
000011b8: SUB
000011b9: SWAP1
000011ba: LOG1
000011bb: POP
000011bc: POP
000011bd: DUP1
000011be: DUP1
000011bf: PUSH2 0x11c7
000011c2: SWAP1
000011c3: PUSH2 0x2cea
000011c6: JUMP
000011c7: JUMPDEST
000011c8: SWAP2
000011c9: POP
000011ca: POP
000011cb: PUSH2 0x0f91
000011ce: JUMP
000011cf: JUMPDEST
000011d0: POP
000011d1: POP
000011d2: POP
000011d3: POP
000011d4: POP
000011d5: POP
000011d6: JUMP
000011d7: JUMPDEST
000011d8: PUSH1 0x00
000011da: PUSH2 0x11e1
000011dd: PUSH2 0x2020
000011e0: JUMP
000011e1: JUMPDEST
000011e2: SWAP1
000011e3: POP
000011e4: DUP1
000011e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011fa: AND
000011fb: PUSH2 0x1202
000011fe: PUSH2 0x0506
00001201: JUMP
00001202: JUMPDEST
00001203: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001218: AND
00001219: EQ
0000121a: DUP1
0000121b: PUSH2 0x126d
0000121e: JUMPI
0000121f: POP
00001220: PUSH1 0x01
00001222: PUSH1 0x00
00001224: DUP3
00001225: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000123a: AND
0000123b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001250: AND
00001251: DUP2
00001252: MSTORE
00001253: PUSH1 0x20
00001255: ADD
00001256: SWAP1
00001257: DUP2
00001258: MSTORE
00001259: PUSH1 0x20
0000125b: ADD
0000125c: PUSH1 0x00
0000125e: KECCAK256
0000125f: PUSH1 0x00
00001261: SWAP1
00001262: SLOAD
00001263: SWAP1
00001264: PUSH2 0x0100
00001267: EXP
00001268: SWAP1
00001269: DIV
0000126a: PUSH1 0xff
0000126c: AND
0000126d: JUMPDEST
0000126e: PUSH2 0x12ac
00001271: JUMPI
00001272: PUSH1 0x40
00001274: MLOAD
00001275: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001296: DUP2
00001297: MSTORE
00001298: PUSH1 0x04
0000129a: ADD
0000129b: PUSH2 0x12a3
0000129e: SWAP1
0000129f: PUSH2 0x2aec
000012a2: JUMP
000012a3: JUMPDEST
000012a4: PUSH1 0x40
000012a6: MLOAD
000012a7: DUP1
000012a8: SWAP2
000012a9: SUB
000012aa: SWAP1
000012ab: REVERT
000012ac: JUMPDEST
000012ad: PUSH1 0x07
000012af: PUSH1 0x14
000012b1: SWAP1
000012b2: SLOAD
000012b3: SWAP1
000012b4: PUSH2 0x0100
000012b7: EXP
000012b8: SWAP1
000012b9: DIV
000012ba: PUSH1 0xff
000012bc: AND
000012bd: ISZERO
000012be: PUSH2 0x12fc
000012c1: JUMPI
000012c2: PUSH1 0x40
000012c4: MLOAD
000012c5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012e6: DUP2
000012e7: MSTORE
000012e8: PUSH1 0x04
000012ea: ADD
000012eb: PUSH2 0x12f3
000012ee: SWAP1
000012ef: PUSH2 0x29ec
000012f2: JUMP
000012f3: JUMPDEST
000012f4: PUSH1 0x40
000012f6: MLOAD
000012f7: DUP1
000012f8: SWAP2
000012f9: SUB
000012fa: SWAP1
000012fb: REVERT
000012fc: JUMPDEST
000012fd: PUSH1 0x00
000012ff: DUP3
00001300: MLOAD
00001301: GT
00001302: DUP1
00001303: ISZERO
00001304: PUSH2 0x130e
00001307: JUMPI
00001308: POP
00001309: DUP3
0000130a: MLOAD
0000130b: DUP3
0000130c: MLOAD
0000130d: EQ
0000130e: JUMPDEST
0000130f: PUSH2 0x134d
00001312: JUMPI
00001313: PUSH1 0x40
00001315: MLOAD
00001316: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001337: DUP2
00001338: MSTORE
00001339: PUSH1 0x04
0000133b: ADD
0000133c: PUSH2 0x1344
0000133f: SWAP1
00001340: PUSH2 0x2a0c
00001343: JUMP
00001344: JUMPDEST
00001345: PUSH1 0x40
00001347: MLOAD
00001348: DUP1
00001349: SWAP2
0000134a: SUB
0000134b: SWAP1
0000134c: REVERT
0000134d: JUMPDEST
0000134e: PUSH1 0x40
00001350: MLOAD
00001351: DUP1
00001352: PUSH1 0x40
00001354: ADD
00001355: PUSH1 0x40
00001357: MSTORE
00001358: DUP1
00001359: DUP5
0000135a: DUP2
0000135b: MSTORE
0000135c: PUSH1 0x20
0000135e: ADD
0000135f: DUP4
00001360: DUP2
00001361: MSTORE
00001362: POP
00001363: PUSH1 0x05
00001365: PUSH1 0x00
00001367: DUP7
00001368: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000137d: AND
0000137e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001393: AND
00001394: DUP2
00001395: MSTORE
00001396: PUSH1 0x20
00001398: ADD
00001399: SWAP1
0000139a: DUP2
0000139b: MSTORE
0000139c: PUSH1 0x20
0000139e: ADD
0000139f: PUSH1 0x00
000013a1: KECCAK256
000013a2: PUSH1 0x00
000013a4: DUP3
000013a5: ADD
000013a6: MLOAD
000013a7: DUP2
000013a8: PUSH1 0x00
000013aa: ADD
000013ab: SWAP1
000013ac: DUP1
000013ad: MLOAD
000013ae: SWAP1
000013af: PUSH1 0x20
000013b1: ADD
000013b2: SWAP1
000013b3: PUSH2 0x13bd
000013b6: SWAP3
000013b7: SWAP2
000013b8: SWAP1
000013b9: PUSH2 0x230c
000013bc: JUMP
000013bd: JUMPDEST
000013be: POP
000013bf: PUSH1 0x20
000013c1: DUP3
000013c2: ADD
000013c3: MLOAD
000013c4: DUP2
000013c5: PUSH1 0x01
000013c7: ADD
000013c8: SWAP1
000013c9: DUP1
000013ca: MLOAD
000013cb: SWAP1
000013cc: PUSH1 0x20
000013ce: ADD
000013cf: SWAP1
000013d0: PUSH2 0x13da
000013d3: SWAP3
000013d4: SWAP2
000013d5: SWAP1
000013d6: PUSH2 0x2396
000013d9: JUMP
000013da: JUMPDEST
000013db: POP
000013dc: SWAP1
000013dd: POP
000013de: POP
000013df: POP
000013e0: POP
000013e1: POP
000013e2: POP
000013e3: JUMP
000013e4: JUMPDEST
000013e5: PUSH1 0x00
000013e7: PUSH2 0x13ee
000013ea: PUSH2 0x2020
000013ed: JUMP
000013ee: JUMPDEST
000013ef: SWAP1
000013f0: POP
000013f1: DUP1
000013f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001407: AND
00001408: PUSH2 0x140f
0000140b: PUSH2 0x0506
0000140e: JUMP
0000140f: JUMPDEST
00001410: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001425: AND
00001426: EQ
00001427: DUP1
00001428: PUSH2 0x147a
0000142b: JUMPI
0000142c: POP
0000142d: PUSH1 0x01
0000142f: PUSH1 0x00
00001431: DUP3
00001432: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001447: AND
00001448: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000145d: AND
0000145e: DUP2
0000145f: MSTORE
00001460: PUSH1 0x20
00001462: ADD
00001463: SWAP1
00001464: DUP2
00001465: MSTORE
00001466: PUSH1 0x20
00001468: ADD
00001469: PUSH1 0x00
0000146b: KECCAK256
0000146c: PUSH1 0x00
0000146e: SWAP1
0000146f: SLOAD
00001470: SWAP1
00001471: PUSH2 0x0100
00001474: EXP
00001475: SWAP1
00001476: DIV
00001477: PUSH1 0xff
00001479: AND
0000147a: JUMPDEST
0000147b: PUSH2 0x14b9
0000147e: JUMPI
0000147f: PUSH1 0x40
00001481: MLOAD
00001482: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014a3: DUP2
000014a4: MSTORE
000014a5: PUSH1 0x04
000014a7: ADD
000014a8: PUSH2 0x14b0
000014ab: SWAP1
000014ac: PUSH2 0x2aec
000014af: JUMP
000014b0: JUMPDEST
000014b1: PUSH1 0x40
000014b3: MLOAD
000014b4: DUP1
000014b5: SWAP2
000014b6: SUB
000014b7: SWAP1
000014b8: REVERT
000014b9: JUMPDEST
000014ba: PUSH1 0x07
000014bc: PUSH1 0x14
000014be: SWAP1
000014bf: SLOAD
000014c0: SWAP1
000014c1: PUSH2 0x0100
000014c4: EXP
000014c5: SWAP1
000014c6: DIV
000014c7: PUSH1 0xff
000014c9: AND
000014ca: ISZERO
000014cb: PUSH2 0x1509
000014ce: JUMPI
000014cf: PUSH1 0x40
000014d1: MLOAD
000014d2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014f3: DUP2
000014f4: MSTORE
000014f5: PUSH1 0x04
000014f7: ADD
000014f8: PUSH2 0x1500
000014fb: SWAP1
000014fc: PUSH2 0x29ec
000014ff: JUMP
00001500: JUMPDEST
00001501: PUSH1 0x40
00001503: MLOAD
00001504: DUP1
00001505: SWAP2
00001506: SUB
00001507: SWAP1
00001508: REVERT
00001509: JUMPDEST
0000150a: PUSH1 0x00
0000150c: DUP3
0000150d: MLOAD
0000150e: GT
0000150f: DUP1
00001510: ISZERO
00001511: PUSH2 0x151b
00001514: JUMPI
00001515: POP
00001516: DUP3
00001517: MLOAD
00001518: DUP3
00001519: MLOAD
0000151a: EQ
0000151b: JUMPDEST
0000151c: PUSH2 0x155a
0000151f: JUMPI
00001520: PUSH1 0x40
00001522: MLOAD
00001523: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001544: DUP2
00001545: MSTORE
00001546: PUSH1 0x04
00001548: ADD
00001549: PUSH2 0x1551
0000154c: SWAP1
0000154d: PUSH2 0x2a0c
00001550: JUMP
00001551: JUMPDEST
00001552: PUSH1 0x40
00001554: MLOAD
00001555: DUP1
00001556: SWAP2
00001557: SUB
00001558: SWAP1
00001559: REVERT
0000155a: JUMPDEST
0000155b: PUSH1 0x40
0000155d: MLOAD
0000155e: DUP1
0000155f: PUSH1 0x40
00001561: ADD
00001562: PUSH1 0x40
00001564: MSTORE
00001565: DUP1
00001566: DUP5
00001567: DUP2
00001568: MSTORE
00001569: PUSH1 0x20
0000156b: ADD
0000156c: DUP4
0000156d: DUP2
0000156e: MSTORE
0000156f: POP
00001570: PUSH1 0x06
00001572: PUSH1 0x00
00001574: DUP7
00001575: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000158a: AND
0000158b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015a0: AND
000015a1: DUP2
000015a2: MSTORE
000015a3: PUSH1 0x20
000015a5: ADD
000015a6: SWAP1
000015a7: DUP2
000015a8: MSTORE
000015a9: PUSH1 0x20
000015ab: ADD
000015ac: PUSH1 0x00
000015ae: KECCAK256
000015af: PUSH1 0x00
000015b1: DUP3
000015b2: ADD
000015b3: MLOAD
000015b4: DUP2
000015b5: PUSH1 0x00
000015b7: ADD
000015b8: SWAP1
000015b9: DUP1
000015ba: MLOAD
000015bb: SWAP1
000015bc: PUSH1 0x20
000015be: ADD
000015bf: SWAP1
000015c0: PUSH2 0x15ca
000015c3: SWAP3
000015c4: SWAP2
000015c5: SWAP1
000015c6: PUSH2 0x230c
000015c9: JUMP
000015ca: JUMPDEST
000015cb: POP
000015cc: PUSH1 0x20
000015ce: DUP3
000015cf: ADD
000015d0: MLOAD
000015d1: DUP2
000015d2: PUSH1 0x01
000015d4: ADD
000015d5: SWAP1
000015d6: DUP1
000015d7: MLOAD
000015d8: SWAP1
000015d9: PUSH1 0x20
000015db: ADD
000015dc: SWAP1
000015dd: PUSH2 0x15e7
000015e0: SWAP3
000015e1: SWAP2
000015e2: SWAP1
000015e3: PUSH2 0x2396
000015e6: JUMP
000015e7: JUMPDEST
000015e8: POP
000015e9: SWAP1
000015ea: POP
000015eb: POP
000015ec: POP
000015ed: POP
000015ee: POP
000015ef: POP
000015f0: JUMP
000015f1: JUMPDEST
000015f2: PUSH1 0x03
000015f4: PUSH1 0x20
000015f6: MSTORE
000015f7: DUP1
000015f8: PUSH1 0x00
000015fa: MSTORE
000015fb: PUSH1 0x40
000015fd: PUSH1 0x00
000015ff: KECCAK256
00001600: PUSH1 0x00
00001602: SWAP2
00001603: POP
00001604: SWAP1
00001605: POP
00001606: SLOAD
00001607: DUP2
00001608: JUMP
00001609: JUMPDEST
0000160a: PUSH2 0x1611
0000160d: PUSH2 0x2020
00001610: JUMP
00001611: JUMPDEST
00001612: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001627: AND
00001628: PUSH2 0x162f
0000162b: PUSH2 0x0506
0000162e: JUMP
0000162f: JUMPDEST
00001630: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001645: AND
00001646: EQ
00001647: PUSH2 0x1685
0000164a: JUMPI
0000164b: PUSH1 0x40
0000164d: MLOAD
0000164e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000166f: DUP2
00001670: MSTORE
00001671: PUSH1 0x04
00001673: ADD
00001674: PUSH2 0x167c
00001677: SWAP1
00001678: PUSH2 0x2a6c
0000167b: JUMP
0000167c: JUMPDEST
0000167d: PUSH1 0x40
0000167f: MLOAD
00001680: DUP1
00001681: SWAP2
00001682: SUB
00001683: SWAP1
00001684: REVERT
00001685: JUMPDEST
00001686: PUSH2 0x168f
00001689: PUSH1 0x00
0000168b: PUSH2 0x2248
0000168e: JUMP
0000168f: JUMPDEST
00001690: JUMP
00001691: JUMPDEST
00001692: PUSH1 0x07
00001694: PUSH1 0x00
00001696: SWAP1
00001697: SLOAD
00001698: SWAP1
00001699: PUSH2 0x0100
0000169c: EXP
0000169d: SWAP1
0000169e: DIV
0000169f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016b4: AND
000016b5: DUP2
000016b6: JUMP
000016b7: JUMPDEST
000016b8: PUSH1 0x00
000016ba: PUSH2 0x16c1
000016bd: PUSH2 0x2020
000016c0: JUMP
000016c1: JUMPDEST
000016c2: SWAP1
000016c3: POP
000016c4: DUP1
000016c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016da: AND
000016db: PUSH1 0x02
000016dd: PUSH1 0x00
000016df: SWAP1
000016e0: SLOAD
000016e1: SWAP1
000016e2: PUSH2 0x0100
000016e5: EXP
000016e6: SWAP1
000016e7: DIV
000016e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016fd: AND
000016fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001713: AND
00001714: EQ
00001715: PUSH2 0x1753
00001718: JUMPI
00001719: PUSH1 0x40
0000171b: MLOAD
0000171c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000173d: DUP2
0000173e: MSTORE
0000173f: PUSH1 0x04
00001741: ADD
00001742: PUSH2 0x174a
00001745: SWAP1
00001746: PUSH2 0x2aac
00001749: JUMP
0000174a: JUMPDEST
0000174b: PUSH1 0x40
0000174d: MLOAD
0000174e: DUP1
0000174f: SWAP2
00001750: SUB
00001751: SWAP1
00001752: REVERT
00001753: JUMPDEST
00001754: DUP2
00001755: PUSH1 0x02
00001757: PUSH1 0x00
00001759: PUSH2 0x0100
0000175c: EXP
0000175d: DUP2
0000175e: SLOAD
0000175f: DUP2
00001760: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001775: MUL
00001776: NOT
00001777: AND
00001778: SWAP1
00001779: DUP4
0000177a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000178f: AND
00001790: MUL
00001791: OR
00001792: SWAP1
00001793: SSTORE
00001794: POP
00001795: POP
00001796: POP
00001797: JUMP
00001798: JUMPDEST
00001799: PUSH2 0x17a2
0000179c: DUP5
0000179d: DUP5
0000179e: PUSH2 0x2028
000017a1: JUMP
000017a2: JUMPDEST
000017a3: PUSH1 0x00
000017a5: DUP1
000017a6: DUP5
000017a7: PUSH1 0xff
000017a9: AND
000017aa: EQ
000017ab: PUSH2 0x17f2
000017ae: JUMPI
000017af: PUSH1 0x06
000017b1: PUSH1 0x00
000017b3: DUP7
000017b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017c9: AND
000017ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017df: AND
000017e0: DUP2
000017e1: MSTORE
000017e2: PUSH1 0x20
000017e4: ADD
000017e5: SWAP1
000017e6: DUP2
000017e7: MSTORE
000017e8: PUSH1 0x20
000017ea: ADD
000017eb: PUSH1 0x00
000017ed: KECCAK256
000017ee: PUSH2 0x1832
000017f1: JUMP
000017f2: JUMPDEST
000017f3: PUSH1 0x05
000017f5: PUSH1 0x00
000017f7: DUP7
000017f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000180d: AND
0000180e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001823: AND
00001824: DUP2
00001825: MSTORE
00001826: PUSH1 0x20
00001828: ADD
00001829: SWAP1
0000182a: DUP2
0000182b: MSTORE
0000182c: PUSH1 0x20
0000182e: ADD
0000182f: PUSH1 0x00
00001831: KECCAK256
00001832: JUMPDEST
00001833: SWAP1
00001834: POP
00001835: PUSH1 0x00
00001837: DUP2
00001838: PUSH1 0x00
0000183a: ADD
0000183b: DUP5
0000183c: DUP2
0000183d: SLOAD
0000183e: DUP2
0000183f: LT
00001840: PUSH2 0x1872
00001843: JUMPI
00001844: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001865: PUSH1 0x00
00001867: MSTORE
00001868: PUSH1 0x32
0000186a: PUSH1 0x04
0000186c: MSTORE
0000186d: PUSH1 0x24
0000186f: PUSH1 0x00
00001871: REVERT
00001872: JUMPDEST
00001873: SWAP1
00001874: PUSH1 0x00
00001876: MSTORE
00001877: PUSH1 0x20
00001879: PUSH1 0x00
0000187b: KECCAK256
0000187c: ADD
0000187d: PUSH1 0x00
0000187f: SWAP1
00001880: SLOAD
00001881: SWAP1
00001882: PUSH2 0x0100
00001885: EXP
00001886: SWAP1
00001887: DIV
00001888: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000189d: AND
0000189e: SWAP1
0000189f: POP
000018a0: PUSH2 0x18a7
000018a3: PUSH2 0x2020
000018a6: JUMP
000018a7: JUMPDEST
000018a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018bd: AND
000018be: DUP2
000018bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018d4: AND
000018d5: EQ
000018d6: PUSH2 0x1914
000018d9: JUMPI
000018da: PUSH1 0x40
000018dc: MLOAD
000018dd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018fe: DUP2
000018ff: MSTORE
00001900: PUSH1 0x04
00001902: ADD
00001903: PUSH2 0x190b
00001906: SWAP1
00001907: PUSH2 0x2a8c
0000190a: JUMP
0000190b: JUMPDEST
0000190c: PUSH1 0x40
0000190e: MLOAD
0000190f: DUP1
00001910: SWAP2
00001911: SUB
00001912: SWAP1
00001913: REVERT
00001914: JUMPDEST
00001915: DUP3
00001916: DUP3
00001917: PUSH1 0x00
00001919: ADD
0000191a: DUP6
0000191b: DUP2
0000191c: SLOAD
0000191d: DUP2
0000191e: LT
0000191f: PUSH2 0x1951
00001922: JUMPI
00001923: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001944: PUSH1 0x00
00001946: MSTORE
00001947: PUSH1 0x32
00001949: PUSH1 0x04
0000194b: MSTORE
0000194c: PUSH1 0x24
0000194e: PUSH1 0x00
00001950: REVERT
00001951: JUMPDEST
00001952: SWAP1
00001953: PUSH1 0x00
00001955: MSTORE
00001956: PUSH1 0x20
00001958: PUSH1 0x00
0000195a: KECCAK256
0000195b: ADD
0000195c: PUSH1 0x00
0000195e: PUSH2 0x0100
00001961: EXP
00001962: DUP2
00001963: SLOAD
00001964: DUP2
00001965: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000197a: MUL
0000197b: NOT
0000197c: AND
0000197d: SWAP1
0000197e: DUP4
0000197f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001994: AND
00001995: MUL
00001996: OR
00001997: SWAP1
00001998: SSTORE
00001999: POP
0000199a: POP
0000199b: POP
0000199c: POP
0000199d: POP
0000199e: POP
0000199f: POP
000019a0: JUMP
000019a1: JUMPDEST
000019a2: PUSH1 0x00
000019a4: PUSH1 0x05
000019a6: PUSH1 0x00
000019a8: CALLER
000019a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019be: AND
000019bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019d4: AND
000019d5: DUP2
000019d6: MSTORE
000019d7: PUSH1 0x20
000019d9: ADD
000019da: SWAP1
000019db: DUP2
000019dc: MSTORE
000019dd: PUSH1 0x20
000019df: ADD
000019e0: PUSH1 0x00
000019e2: KECCAK256
000019e3: PUSH1 0x00
000019e5: ADD
000019e6: DUP1
000019e7: SLOAD
000019e8: SWAP1
000019e9: POP
000019ea: GT
000019eb: PUSH1 0x00
000019ed: PUSH2 0x19f4
000019f0: PUSH2 0x2020
000019f3: JUMP
000019f4: JUMPDEST
000019f5: SWAP1
000019f6: POP
000019f7: DUP2
000019f8: DUP1
000019f9: PUSH2 0x1a34
000019fc: JUMPI
000019fd: POP
000019fe: DUP1
000019ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a14: AND
00001a15: PUSH2 0x1a1c
00001a18: PUSH2 0x0506
00001a1b: JUMP
00001a1c: JUMPDEST
00001a1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a32: AND
00001a33: EQ
00001a34: JUMPDEST
00001a35: DUP1
00001a36: PUSH2 0x1a88
00001a39: JUMPI
00001a3a: POP
00001a3b: PUSH1 0x01
00001a3d: PUSH1 0x00
00001a3f: DUP3
00001a40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a55: AND
00001a56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a6b: AND
00001a6c: DUP2
00001a6d: MSTORE
00001a6e: PUSH1 0x20
00001a70: ADD
00001a71: SWAP1
00001a72: DUP2
00001a73: MSTORE
00001a74: PUSH1 0x20
00001a76: ADD
00001a77: PUSH1 0x00
00001a79: KECCAK256
00001a7a: PUSH1 0x00
00001a7c: SWAP1
00001a7d: SLOAD
00001a7e: SWAP1
00001a7f: PUSH2 0x0100
00001a82: EXP
00001a83: SWAP1
00001a84: DIV
00001a85: PUSH1 0xff
00001a87: AND
00001a88: JUMPDEST
00001a89: PUSH2 0x1ac7
00001a8c: JUMPI
00001a8d: PUSH1 0x40
00001a8f: MLOAD
00001a90: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ab1: DUP2
00001ab2: MSTORE
00001ab3: PUSH1 0x04
00001ab5: ADD
00001ab6: PUSH2 0x1abe
00001ab9: SWAP1
00001aba: PUSH2 0x2aec
00001abd: JUMP
00001abe: JUMPDEST
00001abf: PUSH1 0x40
00001ac1: MLOAD
00001ac2: DUP1
00001ac3: SWAP2
00001ac4: SUB
00001ac5: SWAP1
00001ac6: REVERT
00001ac7: JUMPDEST
00001ac8: PUSH1 0x00
00001aca: PUSH2 0x1ad4
00001acd: DUP5
00001ace: PUSH1 0x00
00001ad0: PUSH2 0x0c2b
00001ad3: JUMP
00001ad4: JUMPDEST
00001ad5: SWAP1
00001ad6: POP
00001ad7: PUSH1 0x00
00001ad9: JUMPDEST
00001ada: PUSH1 0x05
00001adc: PUSH1 0x00
00001ade: DUP7
00001adf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001af4: AND
00001af5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b0a: AND
00001b0b: DUP2
00001b0c: MSTORE
00001b0d: PUSH1 0x20
00001b0f: ADD
00001b10: SWAP1
00001b11: DUP2
00001b12: MSTORE
00001b13: PUSH1 0x20
00001b15: ADD
00001b16: PUSH1 0x00
00001b18: KECCAK256
00001b19: PUSH1 0x00
00001b1b: ADD
00001b1c: DUP1
00001b1d: SLOAD
00001b1e: SWAP1
00001b1f: POP
00001b20: DUP2
00001b21: PUSH1 0xff
00001b23: AND
00001b24: LT
00001b25: ISZERO
00001b26: PUSH2 0x1d17
00001b29: JUMPI
00001b2a: PUSH1 0x00
00001b2c: PUSH1 0x05
00001b2e: PUSH1 0x00
00001b30: DUP8
00001b31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b46: AND
00001b47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b5c: AND
00001b5d: DUP2
00001b5e: MSTORE
00001b5f: PUSH1 0x20
00001b61: ADD
00001b62: SWAP1
00001b63: DUP2
00001b64: MSTORE
00001b65: PUSH1 0x20
00001b67: ADD
00001b68: PUSH1 0x00
00001b6a: KECCAK256
00001b6b: PUSH1 0x00
00001b6d: ADD
00001b6e: DUP3
00001b6f: PUSH1 0xff
00001b71: AND
00001b72: DUP2
00001b73: SLOAD
00001b74: DUP2
00001b75: LT
00001b76: PUSH2 0x1ba8
00001b79: JUMPI
00001b7a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001b9b: PUSH1 0x00
00001b9d: MSTORE
00001b9e: PUSH1 0x32
00001ba0: PUSH1 0x04
00001ba2: MSTORE
00001ba3: PUSH1 0x24
00001ba5: PUSH1 0x00
00001ba7: REVERT
00001ba8: JUMPDEST
00001ba9: SWAP1
00001baa: PUSH1 0x00
00001bac: MSTORE
00001bad: PUSH1 0x20
00001baf: PUSH1 0x00
00001bb1: KECCAK256
00001bb2: ADD
00001bb3: PUSH1 0x00
00001bb5: SWAP1
00001bb6: SLOAD
00001bb7: SWAP1
00001bb8: PUSH2 0x0100
00001bbb: EXP
00001bbc: SWAP1
00001bbd: DIV
00001bbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd3: AND
00001bd4: SWAP1
00001bd5: POP
00001bd6: PUSH1 0x00
00001bd8: DUP4
00001bd9: PUSH1 0x05
00001bdb: PUSH1 0x00
00001bdd: DUP10
00001bde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bf3: AND
00001bf4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c09: AND
00001c0a: DUP2
00001c0b: MSTORE
00001c0c: PUSH1 0x20
00001c0e: ADD
00001c0f: SWAP1
00001c10: DUP2
00001c11: MSTORE
00001c12: PUSH1 0x20
00001c14: ADD
00001c15: PUSH1 0x00
00001c17: KECCAK256
00001c18: PUSH1 0x01
00001c1a: ADD
00001c1b: DUP5
00001c1c: PUSH1 0xff
00001c1e: AND
00001c1f: DUP2
00001c20: SLOAD
00001c21: DUP2
00001c22: LT
00001c23: PUSH2 0x1c55
00001c26: JUMPI
00001c27: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001c48: PUSH1 0x00
00001c4a: MSTORE
00001c4b: PUSH1 0x32
00001c4d: PUSH1 0x04
00001c4f: MSTORE
00001c50: PUSH1 0x24
00001c52: PUSH1 0x00
00001c54: REVERT
00001c55: JUMPDEST
00001c56: SWAP1
00001c57: PUSH1 0x00
00001c59: MSTORE
00001c5a: PUSH1 0x20
00001c5c: PUSH1 0x00
00001c5e: KECCAK256
00001c5f: ADD
00001c60: SLOAD
00001c61: CALLVALUE
00001c62: PUSH2 0x1c6b
00001c65: SWAP2
00001c66: SWAP1
00001c67: PUSH2 0x2be6
00001c6a: JUMP
00001c6b: JUMPDEST
00001c6c: PUSH2 0x1c75
00001c6f: SWAP2
00001c70: SWAP1
00001c71: PUSH2 0x2bb5
00001c74: JUMP
00001c75: JUMPDEST
00001c76: SWAP1
00001c77: POP
00001c78: DUP1
00001c79: PUSH1 0x03
00001c7b: PUSH1 0x00
00001c7d: DUP5
00001c7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c93: AND
00001c94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ca9: AND
00001caa: DUP2
00001cab: MSTORE
00001cac: PUSH1 0x20
00001cae: ADD
00001caf: SWAP1
00001cb0: DUP2
00001cb1: MSTORE
00001cb2: PUSH1 0x20
00001cb4: ADD
00001cb5: PUSH1 0x00
00001cb7: KECCAK256
00001cb8: PUSH1 0x00
00001cba: DUP3
00001cbb: DUP3
00001cbc: SLOAD
00001cbd: ADD
00001cbe: SWAP3
00001cbf: POP
00001cc0: POP
00001cc1: DUP2
00001cc2: SWAP1
00001cc3: SSTORE
00001cc4: POP
00001cc5: PUSH32 0xd87a73d4607b60cda515715f4837335c7eeaeb515decf86241c056196f6362a1
00001ce6: DUP8
00001ce7: PUSH1 0x00
00001ce9: DUP5
00001cea: DUP5
00001ceb: PUSH1 0x40
00001ced: MLOAD
00001cee: PUSH2 0x1cfa
00001cf1: SWAP5
00001cf2: SWAP4
00001cf3: SWAP3
00001cf4: SWAP2
00001cf5: SWAP1
00001cf6: PUSH2 0x291e
00001cf9: JUMP
00001cfa: JUMPDEST
00001cfb: PUSH1 0x40
00001cfd: MLOAD
00001cfe: DUP1
00001cff: SWAP2
00001d00: SUB
00001d01: SWAP1
00001d02: LOG1
00001d03: POP
00001d04: POP
00001d05: DUP1
00001d06: DUP1
00001d07: PUSH2 0x1d0f
00001d0a: SWAP1
00001d0b: PUSH2 0x2cea
00001d0e: JUMP
00001d0f: JUMPDEST
00001d10: SWAP2
00001d11: POP
00001d12: POP
00001d13: PUSH2 0x1ad9
00001d16: JUMP
00001d17: JUMPDEST
00001d18: POP
00001d19: POP
00001d1a: POP
00001d1b: POP
00001d1c: POP
00001d1d: JUMP
00001d1e: JUMPDEST
00001d1f: PUSH2 0x1d26
00001d22: PUSH2 0x2020
00001d25: JUMP
00001d26: JUMPDEST
00001d27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d3c: AND
00001d3d: PUSH2 0x1d44
00001d40: PUSH2 0x0506
00001d43: JUMP
00001d44: JUMPDEST
00001d45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d5a: AND
00001d5b: EQ
00001d5c: PUSH2 0x1d9a
00001d5f: JUMPI
00001d60: PUSH1 0x40
00001d62: MLOAD
00001d63: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d84: DUP2
00001d85: MSTORE
00001d86: PUSH1 0x04
00001d88: ADD
00001d89: PUSH2 0x1d91
00001d8c: SWAP1
00001d8d: PUSH2 0x2a6c
00001d90: JUMP
00001d91: JUMPDEST
00001d92: PUSH1 0x40
00001d94: MLOAD
00001d95: DUP1
00001d96: SWAP2
00001d97: SUB
00001d98: SWAP1
00001d99: REVERT
00001d9a: JUMPDEST
00001d9b: PUSH1 0x01
00001d9d: PUSH1 0x07
00001d9f: PUSH1 0x14
00001da1: PUSH2 0x0100
00001da4: EXP
00001da5: DUP2
00001da6: SLOAD
00001da7: DUP2
00001da8: PUSH1 0xff
00001daa: MUL
00001dab: NOT
00001dac: AND
00001dad: SWAP1
00001dae: DUP4
00001daf: ISZERO
00001db0: ISZERO
00001db1: MUL
00001db2: OR
00001db3: SWAP1
00001db4: SSTORE
00001db5: POP
00001db6: PUSH2 0x1dbd
00001db9: PUSH2 0x0506
00001dbc: JUMP
00001dbd: JUMPDEST
00001dbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dd3: AND
00001dd4: PUSH2 0x08fc
00001dd7: SELFBALANCE
00001dd8: SWAP1
00001dd9: DUP2
00001dda: ISZERO
00001ddb: MUL
00001ddc: SWAP1
00001ddd: PUSH1 0x40
00001ddf: MLOAD
00001de0: PUSH1 0x00
00001de2: PUSH1 0x40
00001de4: MLOAD
00001de5: DUP1
00001de6: DUP4
00001de7: SUB
00001de8: DUP2
00001de9: DUP6
00001dea: DUP9
00001deb: DUP9
00001dec: CALL
00001ded: SWAP4
00001dee: POP
00001def: POP
00001df0: POP
00001df1: POP
00001df2: ISZERO
00001df3: DUP1
00001df4: ISZERO
00001df5: PUSH2 0x1e02
00001df8: JUMPI
00001df9: RETURNDATASIZE
00001dfa: PUSH1 0x00
00001dfc: DUP1
00001dfd: RETURNDATACOPY
00001dfe: RETURNDATASIZE
00001dff: PUSH1 0x00
00001e01: REVERT
00001e02: JUMPDEST
00001e03: POP
00001e04: JUMP
00001e05: JUMPDEST
00001e06: PUSH2 0x1e0d
00001e09: PUSH2 0x2020
00001e0c: JUMP
00001e0d: JUMPDEST
00001e0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e23: AND
00001e24: PUSH2 0x1e2b
00001e27: PUSH2 0x0506
00001e2a: JUMP
00001e2b: JUMPDEST
00001e2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e41: AND
00001e42: EQ
00001e43: PUSH2 0x1e81
00001e46: JUMPI
00001e47: PUSH1 0x40
00001e49: MLOAD
00001e4a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e6b: DUP2
00001e6c: MSTORE
00001e6d: PUSH1 0x04
00001e6f: ADD
00001e70: PUSH2 0x1e78
00001e73: SWAP1
00001e74: PUSH2 0x2a6c
00001e77: JUMP
00001e78: JUMPDEST
00001e79: PUSH1 0x40
00001e7b: MLOAD
00001e7c: DUP1
00001e7d: SWAP2
00001e7e: SUB
00001e7f: SWAP1
00001e80: REVERT
00001e81: JUMPDEST
00001e82: PUSH1 0x00
00001e84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e99: AND
00001e9a: DUP2
00001e9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eb0: AND
00001eb1: EQ
00001eb2: ISZERO
00001eb3: PUSH2 0x1ef1
00001eb6: JUMPI
00001eb7: PUSH1 0x40
00001eb9: MLOAD
00001eba: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001edb: DUP2
00001edc: MSTORE
00001edd: PUSH1 0x04
00001edf: ADD
00001ee0: PUSH2 0x1ee8
00001ee3: SWAP1
00001ee4: PUSH2 0x2a2c
00001ee7: JUMP
00001ee8: JUMPDEST
00001ee9: PUSH1 0x40
00001eeb: MLOAD
00001eec: DUP1
00001eed: SWAP2
00001eee: SUB
00001eef: SWAP1
00001ef0: REVERT
00001ef1: JUMPDEST
00001ef2: PUSH2 0x1efa
00001ef5: DUP2
00001ef6: PUSH2 0x2248
00001ef9: JUMP
00001efa: JUMPDEST
00001efb: POP
00001efc: JUMP
00001efd: JUMPDEST
00001efe: PUSH1 0x00
00001f00: PUSH2 0x1f07
00001f03: PUSH2 0x2020
00001f06: JUMP
00001f07: JUMPDEST
00001f08: SWAP1
00001f09: POP
00001f0a: DUP1
00001f0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f20: AND
00001f21: PUSH1 0x02
00001f23: PUSH1 0x00
00001f25: SWAP1
00001f26: SLOAD
00001f27: SWAP1
00001f28: PUSH2 0x0100
00001f2b: EXP
00001f2c: SWAP1
00001f2d: DIV
00001f2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f43: AND
00001f44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f59: AND
00001f5a: EQ
00001f5b: PUSH2 0x1f99
00001f5e: JUMPI
00001f5f: PUSH1 0x40
00001f61: MLOAD
00001f62: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f83: DUP2
00001f84: MSTORE
00001f85: PUSH1 0x04
00001f87: ADD
00001f88: PUSH2 0x1f90
00001f8b: SWAP1
00001f8c: PUSH2 0x2aac
00001f8f: JUMP
00001f90: JUMPDEST
00001f91: PUSH1 0x40
00001f93: MLOAD
00001f94: DUP1
00001f95: SWAP2
00001f96: SUB
00001f97: SWAP1
00001f98: REVERT
00001f99: JUMPDEST
00001f9a: DUP2
00001f9b: PUSH1 0x01
00001f9d: PUSH1 0x00
00001f9f: DUP6
00001fa0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fb5: AND
00001fb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fcb: AND
00001fcc: DUP2
00001fcd: MSTORE
00001fce: PUSH1 0x20
00001fd0: ADD
00001fd1: SWAP1
00001fd2: DUP2
00001fd3: MSTORE
00001fd4: PUSH1 0x20
00001fd6: ADD
00001fd7: PUSH1 0x00
00001fd9: KECCAK256
00001fda: PUSH1 0x00
00001fdc: PUSH2 0x0100
00001fdf: EXP
00001fe0: DUP2
00001fe1: SLOAD
00001fe2: DUP2
00001fe3: PUSH1 0xff
00001fe5: MUL
00001fe6: NOT
00001fe7: AND
00001fe8: SWAP1
00001fe9: DUP4
00001fea: ISZERO
00001feb: ISZERO
00001fec: MUL
00001fed: OR
00001fee: SWAP1
00001fef: SSTORE
00001ff0: POP
00001ff1: POP
00001ff2: POP
00001ff3: POP
00001ff4: JUMP
00001ff5: JUMPDEST
00001ff6: PUSH1 0x07
00001ff8: PUSH1 0x14
00001ffa: SWAP1
00001ffb: SLOAD
00001ffc: SWAP1
00001ffd: PUSH2 0x0100
00002000: EXP
00002001: SWAP1
00002002: DIV
00002003: PUSH1 0xff
00002005: AND
00002006: DUP2
00002007: JUMP
00002008: JUMPDEST
00002009: PUSH1 0x04
0000200b: PUSH1 0x20
0000200d: MSTORE
0000200e: DUP1
0000200f: PUSH1 0x00
00002011: MSTORE
00002012: PUSH1 0x40
00002014: PUSH1 0x00
00002016: KECCAK256
00002017: PUSH1 0x00
00002019: SWAP2
0000201a: POP
0000201b: SWAP1
0000201c: POP
0000201d: SLOAD
0000201e: DUP2
0000201f: JUMP
00002020: JUMPDEST
00002021: PUSH1 0x00
00002023: CALLER
00002024: SWAP1
00002025: POP
00002026: SWAP1
00002027: JUMP
00002028: JUMPDEST
00002029: PUSH1 0x07
0000202b: PUSH1 0x14
0000202d: SWAP1
0000202e: SLOAD
0000202f: SWAP1
00002030: PUSH2 0x0100
00002033: EXP
00002034: SWAP1
00002035: DIV
00002036: PUSH1 0xff
00002038: AND
00002039: ISZERO
0000203a: PUSH2 0x2078
0000203d: JUMPI
0000203e: PUSH1 0x40
00002040: MLOAD
00002041: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002062: DUP2
00002063: MSTORE
00002064: PUSH1 0x04
00002066: ADD
00002067: PUSH2 0x206f
0000206a: SWAP1
0000206b: PUSH2 0x29ec
0000206e: JUMP
0000206f: JUMPDEST
00002070: PUSH1 0x40
00002072: MLOAD
00002073: DUP1
00002074: SWAP2
00002075: SUB
00002076: SWAP1
00002077: REVERT
00002078: JUMPDEST
00002079: PUSH1 0x00
0000207b: DUP1
0000207c: DUP3
0000207d: PUSH1 0xff
0000207f: AND
00002080: EQ
00002081: PUSH2 0x20c8
00002084: JUMPI
00002085: PUSH1 0x06
00002087: PUSH1 0x00
00002089: DUP5
0000208a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000209f: AND
000020a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020b5: AND
000020b6: DUP2
000020b7: MSTORE
000020b8: PUSH1 0x20
000020ba: ADD
000020bb: SWAP1
000020bc: DUP2
000020bd: MSTORE
000020be: PUSH1 0x20
000020c0: ADD
000020c1: PUSH1 0x00
000020c3: KECCAK256
000020c4: PUSH2 0x2108
000020c7: JUMP
000020c8: JUMPDEST
000020c9: PUSH1 0x05
000020cb: PUSH1 0x00
000020cd: DUP5
000020ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020e3: AND
000020e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020f9: AND
000020fa: DUP2
000020fb: MSTORE
000020fc: PUSH1 0x20
000020fe: ADD
000020ff: SWAP1
00002100: DUP2
00002101: MSTORE
00002102: PUSH1 0x20
00002104: ADD
00002105: PUSH1 0x00
00002107: KECCAK256
00002108: JUMPDEST
00002109: PUSH1 0x40
0000210b: MLOAD
0000210c: DUP1
0000210d: PUSH1 0x40
0000210f: ADD
00002110: PUSH1 0x40
00002112: MSTORE
00002113: SWAP1
00002114: DUP2
00002115: PUSH1 0x00
00002117: DUP3
00002118: ADD
00002119: DUP1
0000211a: SLOAD
0000211b: DUP1
0000211c: PUSH1 0x20
0000211e: MUL
0000211f: PUSH1 0x20
00002121: ADD
00002122: PUSH1 0x40
00002124: MLOAD
00002125: SWAP1
00002126: DUP2
00002127: ADD
00002128: PUSH1 0x40
0000212a: MSTORE
0000212b: DUP1
0000212c: SWAP3
0000212d: SWAP2
0000212e: SWAP1
0000212f: DUP2
00002130: DUP2
00002131: MSTORE
00002132: PUSH1 0x20
00002134: ADD
00002135: DUP3
00002136: DUP1
00002137: SLOAD
00002138: DUP1
00002139: ISZERO
0000213a: PUSH2 0x2198
0000213d: JUMPI
0000213e: PUSH1 0x20
00002140: MUL
00002141: DUP3
00002142: ADD
00002143: SWAP2
00002144: SWAP1
00002145: PUSH1 0x00
00002147: MSTORE
00002148: PUSH1 0x20
0000214a: PUSH1 0x00
0000214c: KECCAK256
0000214d: SWAP1
0000214e: JUMPDEST
0000214f: DUP2
00002150: PUSH1 0x00
00002152: SWAP1
00002153: SLOAD
00002154: SWAP1
00002155: PUSH2 0x0100
00002158: EXP
00002159: SWAP1
0000215a: DIV
0000215b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002170: AND
00002171: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002186: AND
00002187: DUP2
00002188: MSTORE
00002189: PUSH1 0x20
0000218b: ADD
0000218c: SWAP1
0000218d: PUSH1 0x01
0000218f: ADD
00002190: SWAP1
00002191: DUP1
00002192: DUP4
00002193: GT
00002194: PUSH2 0x214e
00002197: JUMPI
00002198: JUMPDEST
00002199: POP
0000219a: POP
0000219b: POP
0000219c: POP
0000219d: POP
0000219e: DUP2
0000219f: MSTORE
000021a0: PUSH1 0x20
000021a2: ADD
000021a3: PUSH1 0x01
000021a5: DUP3
000021a6: ADD
000021a7: DUP1
000021a8: SLOAD
000021a9: DUP1
000021aa: PUSH1 0x20
000021ac: MUL
000021ad: PUSH1 0x20
000021af: ADD
000021b0: PUSH1 0x40
000021b2: MLOAD
000021b3: SWAP1
000021b4: DUP2
000021b5: ADD
000021b6: PUSH1 0x40
000021b8: MSTORE
000021b9: DUP1
000021ba: SWAP3
000021bb: SWAP2
000021bc: SWAP1
000021bd: DUP2
000021be: DUP2
000021bf: MSTORE
000021c0: PUSH1 0x20
000021c2: ADD
000021c3: DUP3
000021c4: DUP1
000021c5: SLOAD
000021c6: DUP1
000021c7: ISZERO
000021c8: PUSH2 0x21f0
000021cb: JUMPI
000021cc: PUSH1 0x20
000021ce: MUL
000021cf: DUP3
000021d0: ADD
000021d1: SWAP2
000021d2: SWAP1
000021d3: PUSH1 0x00
000021d5: MSTORE
000021d6: PUSH1 0x20
000021d8: PUSH1 0x00
000021da: KECCAK256
000021db: SWAP1
000021dc: JUMPDEST
000021dd: DUP2
000021de: SLOAD
000021df: DUP2
000021e0: MSTORE
000021e1: PUSH1 0x20
000021e3: ADD
000021e4: SWAP1
000021e5: PUSH1 0x01
000021e7: ADD
000021e8: SWAP1
000021e9: DUP1
000021ea: DUP4
000021eb: GT
000021ec: PUSH2 0x21dc
000021ef: JUMPI
000021f0: JUMPDEST
000021f1: POP
000021f2: POP
000021f3: POP
000021f4: POP
000021f5: POP
000021f6: DUP2
000021f7: MSTORE
000021f8: POP
000021f9: POP
000021fa: SWAP1
000021fb: POP
000021fc: PUSH1 0x00
000021fe: DUP2
000021ff: PUSH1 0x00
00002201: ADD
00002202: MLOAD
00002203: MLOAD
00002204: GT
00002205: PUSH2 0x2243
00002208: JUMPI
00002209: PUSH1 0x40
0000220b: MLOAD
0000220c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000222d: DUP2
0000222e: MSTORE
0000222f: PUSH1 0x04
00002231: ADD
00002232: PUSH2 0x223a
00002235: SWAP1
00002236: PUSH2 0x2a4c
00002239: JUMP
0000223a: JUMPDEST
0000223b: PUSH1 0x40
0000223d: MLOAD
0000223e: DUP1
0000223f: SWAP2
00002240: SUB
00002241: SWAP1
00002242: REVERT
00002243: JUMPDEST
00002244: POP
00002245: POP
00002246: POP
00002247: JUMP
00002248: JUMPDEST
00002249: PUSH1 0x00
0000224b: DUP1
0000224c: PUSH1 0x00
0000224e: SWAP1
0000224f: SLOAD
00002250: SWAP1
00002251: PUSH2 0x0100
00002254: EXP
00002255: SWAP1
00002256: DIV
00002257: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000226c: AND
0000226d: SWAP1
0000226e: POP
0000226f: DUP2
00002270: PUSH1 0x00
00002272: DUP1
00002273: PUSH2 0x0100
00002276: EXP
00002277: DUP2
00002278: SLOAD
00002279: DUP2
0000227a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000228f: MUL
00002290: NOT
00002291: AND
00002292: SWAP1
00002293: DUP4
00002294: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022a9: AND
000022aa: MUL
000022ab: OR
000022ac: SWAP1
000022ad: SSTORE
000022ae: POP
000022af: DUP2
000022b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022c5: AND
000022c6: DUP2
000022c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022dc: AND
000022dd: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000022fe: PUSH1 0x40
00002300: MLOAD
00002301: PUSH1 0x40
00002303: MLOAD
00002304: DUP1
00002305: SWAP2
00002306: SUB
00002307: SWAP1
00002308: LOG3
00002309: POP
0000230a: POP
0000230b: JUMP
0000230c: JUMPDEST
0000230d: DUP3
0000230e: DUP1
0000230f: SLOAD
00002310: DUP3
00002311: DUP3
00002312: SSTORE
00002313: SWAP1
00002314: PUSH1 0x00
00002316: MSTORE
00002317: PUSH1 0x20
00002319: PUSH1 0x00
0000231b: KECCAK256
0000231c: SWAP1
0000231d: DUP2
0000231e: ADD
0000231f: SWAP3
00002320: DUP3
00002321: ISZERO
00002322: PUSH2 0x2385
00002325: JUMPI
00002326: SWAP2
00002327: PUSH1 0x20
00002329: MUL
0000232a: DUP3
0000232b: ADD
0000232c: JUMPDEST
0000232d: DUP3
0000232e: DUP2
0000232f: GT
00002330: ISZERO
00002331: PUSH2 0x2384
00002334: JUMPI
00002335: DUP3
00002336: MLOAD
00002337: DUP3
00002338: PUSH1 0x00
0000233a: PUSH2 0x0100
0000233d: EXP
0000233e: DUP2
0000233f: SLOAD
00002340: DUP2
00002341: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002356: MUL
00002357: NOT
00002358: AND
00002359: SWAP1
0000235a: DUP4
0000235b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002370: AND
00002371: MUL
00002372: OR
00002373: SWAP1
00002374: SSTORE
00002375: POP
00002376: SWAP2
00002377: PUSH1 0x20
00002379: ADD
0000237a: SWAP2
0000237b: SWAP1
0000237c: PUSH1 0x01
0000237e: ADD
0000237f: SWAP1
00002380: PUSH2 0x232c
00002383: JUMP
00002384: JUMPDEST
00002385: JUMPDEST
00002386: POP
00002387: SWAP1
00002388: POP
00002389: PUSH2 0x2392
0000238c: SWAP2
0000238d: SWAP1
0000238e: PUSH2 0x23e3
00002391: JUMP
00002392: JUMPDEST
00002393: POP
00002394: SWAP1
00002395: JUMP
00002396: JUMPDEST
00002397: DUP3
00002398: DUP1
00002399: SLOAD
0000239a: DUP3
0000239b: DUP3
0000239c: SSTORE
0000239d: SWAP1
0000239e: PUSH1 0x00
000023a0: MSTORE
000023a1: PUSH1 0x20
000023a3: PUSH1 0x00
000023a5: KECCAK256
000023a6: SWAP1
000023a7: DUP2
000023a8: ADD
000023a9: SWAP3
000023aa: DUP3
000023ab: ISZERO
000023ac: PUSH2 0x23d2
000023af: JUMPI
000023b0: SWAP2
000023b1: PUSH1 0x20
000023b3: MUL
000023b4: DUP3
000023b5: ADD
000023b6: JUMPDEST
000023b7: DUP3
000023b8: DUP2
000023b9: GT
000023ba: ISZERO
000023bb: PUSH2 0x23d1
000023be: JUMPI
000023bf: DUP3
000023c0: MLOAD
000023c1: DUP3
000023c2: SSTORE
000023c3: SWAP2
000023c4: PUSH1 0x20
000023c6: ADD
000023c7: SWAP2
000023c8: SWAP1
000023c9: PUSH1 0x01
000023cb: ADD
000023cc: SWAP1
000023cd: PUSH2 0x23b6
000023d0: JUMP
000023d1: JUMPDEST
000023d2: JUMPDEST
000023d3: POP
000023d4: SWAP1
000023d5: POP
000023d6: PUSH2 0x23df
000023d9: SWAP2
000023da: SWAP1
000023db: PUSH2 0x23e3
000023de: JUMP
000023df: JUMPDEST
000023e0: POP
000023e1: SWAP1
000023e2: JUMP
000023e3: JUMPDEST
000023e4: JUMPDEST
000023e5: DUP1
000023e6: DUP3
000023e7: GT
000023e8: ISZERO
000023e9: PUSH2 0x23fc
000023ec: JUMPI
000023ed: PUSH1 0x00
000023ef: DUP2
000023f0: PUSH1 0x00
000023f2: SWAP1
000023f3: SSTORE
000023f4: POP
000023f5: PUSH1 0x01
000023f7: ADD
000023f8: PUSH2 0x23e4
000023fb: JUMP
000023fc: JUMPDEST
000023fd: POP
000023fe: SWAP1
000023ff: JUMP
00002400: JUMPDEST
00002401: PUSH1 0x00
00002403: PUSH2 0x2413
00002406: PUSH2 0x240e
00002409: DUP5
0000240a: PUSH2 0x2b4c
0000240d: JUMP
0000240e: JUMPDEST
0000240f: PUSH2 0x2b27
00002412: JUMP
00002413: JUMPDEST
00002414: SWAP1
00002415: POP
00002416: DUP1
00002417: DUP4
00002418: DUP3
00002419: MSTORE
0000241a: PUSH1 0x20
0000241c: DUP3
0000241d: ADD
0000241e: SWAP1
0000241f: POP
00002420: DUP3
00002421: DUP6
00002422: PUSH1 0x20
00002424: DUP7
00002425: MUL
00002426: DUP3
00002427: ADD
00002428: GT
00002429: ISZERO
0000242a: PUSH2 0x2432
0000242d: JUMPI
0000242e: PUSH1 0x00
00002430: DUP1
00002431: REVERT
00002432: JUMPDEST
00002433: PUSH1 0x00
00002435: JUMPDEST
00002436: DUP6
00002437: DUP2
00002438: LT
00002439: ISZERO
0000243a: PUSH2 0x2462
0000243d: JUMPI
0000243e: DUP2
0000243f: PUSH2 0x2448
00002442: DUP9
00002443: DUP3
00002444: PUSH2 0x24d8
00002447: JUMP
00002448: JUMPDEST
00002449: DUP5
0000244a: MSTORE
0000244b: PUSH1 0x20
0000244d: DUP5
0000244e: ADD
0000244f: SWAP4
00002450: POP
00002451: PUSH1 0x20
00002453: DUP4
00002454: ADD
00002455: SWAP3
00002456: POP
00002457: POP
00002458: PUSH1 0x01
0000245a: DUP2
0000245b: ADD
0000245c: SWAP1
0000245d: POP
0000245e: PUSH2 0x2435
00002461: JUMP
00002462: JUMPDEST
00002463: POP
00002464: POP
00002465: POP
00002466: SWAP4
00002467: SWAP3
00002468: POP
00002469: POP
0000246a: POP
0000246b: JUMP
0000246c: JUMPDEST
0000246d: PUSH1 0x00
0000246f: PUSH2 0x247f
00002472: PUSH2 0x247a
00002475: DUP5
00002476: PUSH2 0x2b78
00002479: JUMP
0000247a: JUMPDEST
0000247b: PUSH2 0x2b27
0000247e: JUMP
0000247f: JUMPDEST
00002480: SWAP1
00002481: POP
00002482: DUP1
00002483: DUP4
00002484: DUP3
00002485: MSTORE
00002486: PUSH1 0x20
00002488: DUP3
00002489: ADD
0000248a: SWAP1
0000248b: POP
0000248c: DUP3
0000248d: DUP6
0000248e: PUSH1 0x20
00002490: DUP7
00002491: MUL
00002492: DUP3
00002493: ADD
00002494: GT
00002495: ISZERO
00002496: PUSH2 0x249e
00002499: JUMPI
0000249a: PUSH1 0x00
0000249c: DUP1
0000249d: REVERT
0000249e: JUMPDEST
0000249f: PUSH1 0x00
000024a1: JUMPDEST
000024a2: DUP6
000024a3: DUP2
000024a4: LT
000024a5: ISZERO
000024a6: PUSH2 0x24ce
000024a9: JUMPI
000024aa: DUP2
000024ab: PUSH2 0x24b4
000024ae: DUP9
000024af: DUP3
000024b0: PUSH2 0x256b
000024b3: JUMP
000024b4: JUMPDEST
000024b5: DUP5
000024b6: MSTORE
000024b7: PUSH1 0x20
000024b9: DUP5
000024ba: ADD
000024bb: SWAP4
000024bc: POP
000024bd: PUSH1 0x20
000024bf: DUP4
000024c0: ADD
000024c1: SWAP3
000024c2: POP
000024c3: POP
000024c4: PUSH1 0x01
000024c6: DUP2
000024c7: ADD
000024c8: SWAP1
000024c9: POP
000024ca: PUSH2 0x24a1
000024cd: JUMP
000024ce: JUMPDEST
000024cf: POP
000024d0: POP
000024d1: POP
000024d2: SWAP4
000024d3: SWAP3
000024d4: POP
000024d5: POP
000024d6: POP
000024d7: JUMP
000024d8: JUMPDEST
000024d9: PUSH1 0x00
000024db: DUP2
000024dc: CALLDATALOAD
000024dd: SWAP1
000024de: POP
000024df: PUSH2 0x24e7
000024e2: DUP2
000024e3: PUSH2 0x3053
000024e6: JUMP
000024e7: JUMPDEST
000024e8: SWAP3
000024e9: SWAP2
000024ea: POP
000024eb: POP
000024ec: JUMP
000024ed: JUMPDEST
000024ee: PUSH1 0x00
000024f0: DUP3
000024f1: PUSH1 0x1f
000024f3: DUP4
000024f4: ADD
000024f5: SLT
000024f6: PUSH2 0x24fe
000024f9: JUMPI
000024fa: PUSH1 0x00
000024fc: DUP1
000024fd: REVERT
000024fe: JUMPDEST
000024ff: DUP2
00002500: CALLDATALOAD
00002501: PUSH2 0x250e
00002504: DUP5
00002505: DUP3
00002506: PUSH1 0x20
00002508: DUP7
00002509: ADD
0000250a: PUSH2 0x2400
0000250d: JUMP
0000250e: JUMPDEST
0000250f: SWAP2
00002510: POP
00002511: POP
00002512: SWAP3
00002513: SWAP2
00002514: POP
00002515: POP
00002516: JUMP
00002517: JUMPDEST
00002518: PUSH1 0x00
0000251a: DUP3
0000251b: PUSH1 0x1f
0000251d: DUP4
0000251e: ADD
0000251f: SLT
00002520: PUSH2 0x2528
00002523: JUMPI
00002524: PUSH1 0x00
00002526: DUP1
00002527: REVERT
00002528: JUMPDEST
00002529: DUP2
0000252a: CALLDATALOAD
0000252b: PUSH2 0x2538
0000252e: DUP5
0000252f: DUP3
00002530: PUSH1 0x20
00002532: DUP7
00002533: ADD
00002534: PUSH2 0x246c
00002537: JUMP
00002538: JUMPDEST
00002539: SWAP2
0000253a: POP
0000253b: POP
0000253c: SWAP3
0000253d: SWAP2
0000253e: POP
0000253f: POP
00002540: JUMP
00002541: JUMPDEST
00002542: PUSH1 0x00
00002544: DUP2
00002545: CALLDATALOAD
00002546: SWAP1
00002547: POP
00002548: PUSH2 0x2550
0000254b: DUP2
0000254c: PUSH2 0x306a
0000254f: JUMP
00002550: JUMPDEST
00002551: SWAP3
00002552: SWAP2
00002553: POP
00002554: POP
00002555: JUMP
00002556: JUMPDEST
00002557: PUSH1 0x00
00002559: DUP2
0000255a: MLOAD
0000255b: SWAP1
0000255c: POP
0000255d: PUSH2 0x2565
00002560: DUP2
00002561: PUSH2 0x306a
00002564: JUMP
00002565: JUMPDEST
00002566: SWAP3
00002567: SWAP2
00002568: POP
00002569: POP
0000256a: JUMP
0000256b: JUMPDEST
0000256c: PUSH1 0x00
0000256e: DUP2
0000256f: CALLDATALOAD
00002570: SWAP1
00002571: POP
00002572: PUSH2 0x257a
00002575: DUP2
00002576: PUSH2 0x3081
00002579: JUMP
0000257a: JUMPDEST
0000257b: SWAP3
0000257c: SWAP2
0000257d: POP
0000257e: POP
0000257f: JUMP
00002580: JUMPDEST
00002581: PUSH1 0x00
00002583: DUP2
00002584: CALLDATALOAD
00002585: SWAP1
00002586: POP
00002587: PUSH2 0x258f
0000258a: DUP2
0000258b: PUSH2 0x3098
0000258e: JUMP
0000258f: JUMPDEST
00002590: SWAP3
00002591: SWAP2
00002592: POP
00002593: POP
00002594: JUMP
00002595: JUMPDEST
00002596: PUSH1 0x00
00002598: PUSH1 0x20
0000259a: DUP3
0000259b: DUP5
0000259c: SUB
0000259d: SLT
0000259e: ISZERO
0000259f: PUSH2 0x25a7
000025a2: JUMPI
000025a3: PUSH1 0x00
000025a5: DUP1
000025a6: REVERT
000025a7: JUMPDEST
000025a8: PUSH1 0x00
000025aa: PUSH2 0x25b5
000025ad: DUP5
000025ae: DUP3
000025af: DUP6
000025b0: ADD
000025b1: PUSH2 0x24d8
000025b4: JUMP
000025b5: JUMPDEST
000025b6: SWAP2
000025b7: POP
000025b8: POP
000025b9: SWAP3
000025ba: SWAP2
000025bb: POP
000025bc: POP
000025bd: JUMP
000025be: JUMPDEST
000025bf: PUSH1 0x00
000025c1: DUP1
000025c2: PUSH1 0x00
000025c4: PUSH1 0x60
000025c6: DUP5
000025c7: DUP7
000025c8: SUB
000025c9: SLT
000025ca: ISZERO
000025cb: PUSH2 0x25d3
000025ce: JUMPI
000025cf: PUSH1 0x00
000025d1: DUP1
000025d2: REVERT
000025d3: JUMPDEST
000025d4: PUSH1 0x00
000025d6: PUSH2 0x25e1
000025d9: DUP7
000025da: DUP3
000025db: DUP8
000025dc: ADD
000025dd: PUSH2 0x24d8
000025e0: JUMP
000025e1: JUMPDEST
000025e2: SWAP4
000025e3: POP
000025e4: POP
000025e5: PUSH1 0x20
000025e7: DUP5
000025e8: ADD
000025e9: CALLDATALOAD
000025ea: PUSH8 0xffffffffffffffff
000025f3: DUP2
000025f4: GT
000025f5: ISZERO
000025f6: PUSH2 0x25fe
000025f9: JUMPI
000025fa: PUSH1 0x00
000025fc: DUP1
000025fd: REVERT
000025fe: JUMPDEST
000025ff: PUSH2 0x260a
00002602: DUP7
00002603: DUP3
00002604: DUP8
00002605: ADD
00002606: PUSH2 0x24ed
00002609: JUMP
0000260a: JUMPDEST
0000260b: SWAP3
0000260c: POP
0000260d: POP
0000260e: PUSH1 0x40
00002610: DUP5
00002611: ADD
00002612: CALLDATALOAD
00002613: PUSH8 0xffffffffffffffff
0000261c: DUP2
0000261d: GT
0000261e: ISZERO
0000261f: PUSH2 0x2627
00002622: JUMPI
00002623: PUSH1 0x00
00002625: DUP1
00002626: REVERT
00002627: JUMPDEST
00002628: PUSH2 0x2633
0000262b: DUP7
0000262c: DUP3
0000262d: DUP8
0000262e: ADD
0000262f: PUSH2 0x2517
00002632: JUMP
00002633: JUMPDEST
00002634: SWAP2
00002635: POP
00002636: POP
00002637: SWAP3
00002638: POP
00002639: SWAP3
0000263a: POP
0000263b: SWAP3
0000263c: JUMP
0000263d: JUMPDEST
0000263e: PUSH1 0x00
00002640: DUP1
00002641: PUSH1 0x40
00002643: DUP4
00002644: DUP6
00002645: SUB
00002646: SLT
00002647: ISZERO
00002648: PUSH2 0x2650
0000264b: JUMPI
0000264c: PUSH1 0x00
0000264e: DUP1
0000264f: REVERT
00002650: JUMPDEST
00002651: PUSH1 0x00
00002653: PUSH2 0x265e
00002656: DUP6
00002657: DUP3
00002658: DUP7
00002659: ADD
0000265a: PUSH2 0x24d8
0000265d: JUMP
0000265e: JUMPDEST
0000265f: SWAP3
00002660: POP
00002661: POP
00002662: PUSH1 0x20
00002664: PUSH2 0x266f
00002667: DUP6
00002668: DUP3
00002669: DUP7
0000266a: ADD
0000266b: PUSH2 0x2541
0000266e: JUMP
0000266f: JUMPDEST
00002670: SWAP2
00002671: POP
00002672: POP
00002673: SWAP3
00002674: POP
00002675: SWAP3
00002676: SWAP1
00002677: POP
00002678: JUMP
00002679: JUMPDEST
0000267a: PUSH1 0x00
0000267c: DUP1
0000267d: PUSH1 0x40
0000267f: DUP4
00002680: DUP6
00002681: SUB
00002682: SLT
00002683: ISZERO
00002684: PUSH2 0x268c
00002687: JUMPI
00002688: PUSH1 0x00
0000268a: DUP1
0000268b: REVERT
0000268c: JUMPDEST
0000268d: PUSH1 0x00
0000268f: PUSH2 0x269a
00002692: DUP6
00002693: DUP3
00002694: DUP7
00002695: ADD
00002696: PUSH2 0x24d8
00002699: JUMP
0000269a: JUMPDEST
0000269b: SWAP3
0000269c: POP
0000269d: POP
0000269e: PUSH1 0x20
000026a0: PUSH2 0x26ab
000026a3: DUP6
000026a4: DUP3
000026a5: DUP7
000026a6: ADD
000026a7: PUSH2 0x256b
000026aa: JUMP
000026ab: JUMPDEST
000026ac: SWAP2
000026ad: POP
000026ae: POP
000026af: SWAP3
000026b0: POP
000026b1: SWAP3
000026b2: SWAP1
000026b3: POP
000026b4: JUMP
000026b5: JUMPDEST
000026b6: PUSH1 0x00
000026b8: DUP1
000026b9: PUSH1 0x40
000026bb: DUP4
000026bc: DUP6
000026bd: SUB
000026be: SLT
000026bf: ISZERO
000026c0: PUSH2 0x26c8
000026c3: JUMPI
000026c4: PUSH1 0x00
000026c6: DUP1
000026c7: REVERT
000026c8: JUMPDEST
000026c9: PUSH1 0x00
000026cb: PUSH2 0x26d6
000026ce: DUP6
000026cf: DUP3
000026d0: DUP7
000026d1: ADD
000026d2: PUSH2 0x24d8
000026d5: JUMP
000026d6: JUMPDEST
000026d7: SWAP3
000026d8: POP
000026d9: POP
000026da: PUSH1 0x20
000026dc: PUSH2 0x26e7
000026df: DUP6
000026e0: DUP3
000026e1: DUP7
000026e2: ADD
000026e3: PUSH2 0x2580
000026e6: JUMP
000026e7: JUMPDEST
000026e8: SWAP2
000026e9: POP
000026ea: POP
000026eb: SWAP3
000026ec: POP
000026ed: SWAP3
000026ee: SWAP1
000026ef: POP
000026f0: JUMP
000026f1: JUMPDEST
000026f2: PUSH1 0x00
000026f4: DUP1
000026f5: PUSH1 0x00
000026f7: DUP1
000026f8: PUSH1 0x80
000026fa: DUP6
000026fb: DUP8
000026fc: SUB
000026fd: SLT
000026fe: ISZERO
000026ff: PUSH2 0x2707
00002702: JUMPI
00002703: PUSH1 0x00
00002705: DUP1
00002706: REVERT
00002707: JUMPDEST
00002708: PUSH1 0x00
0000270a: PUSH2 0x2715
0000270d: DUP8
0000270e: DUP3
0000270f: DUP9
00002710: ADD
00002711: PUSH2 0x24d8
00002714: JUMP
00002715: JUMPDEST
00002716: SWAP5
00002717: POP
00002718: POP
00002719: PUSH1 0x20
0000271b: PUSH2 0x2726
0000271e: DUP8
0000271f: DUP3
00002720: DUP9
00002721: ADD
00002722: PUSH2 0x2580
00002725: JUMP
00002726: JUMPDEST
00002727: SWAP4
00002728: POP
00002729: POP
0000272a: PUSH1 0x40
0000272c: PUSH2 0x2737
0000272f: DUP8
00002730: DUP3
00002731: DUP9
00002732: ADD
00002733: PUSH2 0x256b
00002736: JUMP
00002737: JUMPDEST
00002738: SWAP3
00002739: POP
0000273a: POP
0000273b: PUSH1 0x60
0000273d: PUSH2 0x2748
00002740: DUP8
00002741: DUP3
00002742: DUP9
00002743: ADD
00002744: PUSH2 0x24d8
00002747: JUMP
00002748: JUMPDEST
00002749: SWAP2
0000274a: POP
0000274b: POP
0000274c: SWAP3
0000274d: SWAP6
0000274e: SWAP2
0000274f: SWAP5
00002750: POP
00002751: SWAP3
00002752: POP
00002753: JUMP
00002754: JUMPDEST
00002755: PUSH1 0x00
00002757: PUSH1 0x20
00002759: DUP3
0000275a: DUP5
0000275b: SUB
0000275c: SLT
0000275d: ISZERO
0000275e: PUSH2 0x2766
00002761: JUMPI
00002762: PUSH1 0x00
00002764: DUP1
00002765: REVERT
00002766: JUMPDEST
00002767: PUSH1 0x00
00002769: PUSH2 0x2774
0000276c: DUP5
0000276d: DUP3
0000276e: DUP6
0000276f: ADD
00002770: PUSH2 0x2556
00002773: JUMP
00002774: JUMPDEST
00002775: SWAP2
00002776: POP
00002777: POP
00002778: SWAP3
00002779: SWAP2
0000277a: POP
0000277b: POP
0000277c: JUMP
0000277d: JUMPDEST
0000277e: PUSH2 0x2786
00002781: DUP2
00002782: PUSH2 0x2c40
00002785: JUMP
00002786: JUMPDEST
00002787: DUP3
00002788: MSTORE
00002789: POP
0000278a: POP
0000278b: JUMP
0000278c: JUMPDEST
0000278d: PUSH2 0x2795
00002790: DUP2
00002791: PUSH2 0x2c52
00002794: JUMP
00002795: JUMPDEST
00002796: DUP3
00002797: MSTORE
00002798: POP
00002799: POP
0000279a: JUMP
0000279b: JUMPDEST
0000279c: PUSH2 0x27a4
0000279f: DUP2
000027a0: PUSH2 0x2c95
000027a3: JUMP
000027a4: JUMPDEST
000027a5: DUP3
000027a6: MSTORE
000027a7: POP
000027a8: POP
000027a9: JUMP
000027aa: JUMPDEST
000027ab: PUSH2 0x27b3
000027ae: DUP2
000027af: PUSH2 0x2ca7
000027b2: JUMP
000027b3: JUMPDEST
000027b4: DUP3
000027b5: MSTORE
000027b6: POP
000027b7: POP
000027b8: JUMP
000027b9: JUMPDEST
000027ba: PUSH1 0x00
000027bc: PUSH2 0x27c6
000027bf: PUSH1 0x2e
000027c1: DUP4
000027c2: PUSH2 0x2ba4
000027c5: JUMP
000027c6: JUMPDEST
000027c7: SWAP2
000027c8: POP
000027c9: PUSH2 0x27d1
000027cc: DUP3
000027cd: PUSH2 0x2db2
000027d0: JUMP
000027d1: JUMPDEST
000027d2: PUSH1 0x40
000027d4: DUP3
000027d5: ADD
000027d6: SWAP1
000027d7: POP
000027d8: SWAP2
000027d9: SWAP1
000027da: POP
000027db: JUMP
000027dc: JUMPDEST
000027dd: PUSH1 0x00
000027df: PUSH2 0x27e9
000027e2: PUSH1 0x2a
000027e4: DUP4
000027e5: PUSH2 0x2ba4
000027e8: JUMP
000027e9: JUMPDEST
000027ea: SWAP2
000027eb: POP
000027ec: PUSH2 0x27f4
000027ef: DUP3
000027f0: PUSH2 0x2e01
000027f3: JUMP
000027f4: JUMPDEST
000027f5: PUSH1 0x40
000027f7: DUP3
000027f8: ADD
000027f9: SWAP1
000027fa: POP
000027fb: SWAP2
000027fc: SWAP1
000027fd: POP
000027fe: JUMP
000027ff: JUMPDEST
00002800: PUSH1 0x00
00002802: PUSH2 0x280c
00002805: PUSH1 0x26
00002807: DUP4
00002808: PUSH2 0x2ba4
0000280b: JUMP
0000280c: JUMPDEST
0000280d: SWAP2
0000280e: POP
0000280f: PUSH2 0x2817
00002812: DUP3
00002813: PUSH2 0x2e50
00002816: JUMP
00002817: JUMPDEST
00002818: PUSH1 0x40
0000281a: DUP3
0000281b: ADD
0000281c: SWAP1
0000281d: POP
0000281e: SWAP2
0000281f: SWAP1
00002820: POP
00002821: JUMP
00002822: JUMPDEST
00002823: PUSH1 0x00
00002825: PUSH2 0x282f
00002828: PUSH1 0x39
0000282a: DUP4
0000282b: PUSH2 0x2ba4
0000282e: JUMP
0000282f: JUMPDEST
00002830: SWAP2
00002831: POP
00002832: PUSH2 0x283a
00002835: DUP3
00002836: PUSH2 0x2e9f
00002839: JUMP
0000283a: JUMPDEST
0000283b: PUSH1 0x40
0000283d: DUP3
0000283e: ADD
0000283f: SWAP1
00002840: POP
00002841: SWAP2
00002842: SWAP1
00002843: POP
00002844: JUMP
00002845: JUMPDEST
00002846: PUSH1 0x00
00002848: PUSH2 0x2852
0000284b: PUSH1 0x20
0000284d: DUP4
0000284e: PUSH2 0x2ba4
00002851: JUMP
00002852: JUMPDEST
00002853: SWAP2
00002854: POP
00002855: PUSH2 0x285d
00002858: DUP3
00002859: PUSH2 0x2eee
0000285c: JUMP
0000285d: JUMPDEST
0000285e: PUSH1 0x20
00002860: DUP3
00002861: ADD
00002862: SWAP1
00002863: POP
00002864: SWAP2
00002865: SWAP1
00002866: POP
00002867: JUMP
00002868: JUMPDEST
00002869: PUSH1 0x00
0000286b: PUSH2 0x2875
0000286e: PUSH1 0x34
00002870: DUP4
00002871: PUSH2 0x2ba4
00002874: JUMP
00002875: JUMPDEST
00002876: SWAP2
00002877: POP
00002878: PUSH2 0x2880
0000287b: DUP3
0000287c: PUSH2 0x2f17
0000287f: JUMP
00002880: JUMPDEST
00002881: PUSH1 0x40
00002883: DUP3
00002884: ADD
00002885: SWAP1
00002886: POP
00002887: SWAP2
00002888: SWAP1
00002889: POP
0000288a: JUMP
0000288b: JUMPDEST
0000288c: PUSH1 0x00
0000288e: PUSH2 0x2898
00002891: PUSH1 0x28
00002893: DUP4
00002894: PUSH2 0x2ba4
00002897: JUMP
00002898: JUMPDEST
00002899: SWAP2
0000289a: POP
0000289b: PUSH2 0x28a3
0000289e: DUP3
0000289f: PUSH2 0x2f66
000028a2: JUMP
000028a3: JUMPDEST
000028a4: PUSH1 0x40
000028a6: DUP3
000028a7: ADD
000028a8: SWAP1
000028a9: POP
000028aa: SWAP2
000028ab: SWAP1
000028ac: POP
000028ad: JUMP
000028ae: JUMPDEST
000028af: PUSH1 0x00
000028b1: PUSH2 0x28bb
000028b4: PUSH1 0x2c
000028b6: DUP4
000028b7: PUSH2 0x2ba4
000028ba: JUMP
000028bb: JUMPDEST
000028bc: SWAP2
000028bd: POP
000028be: PUSH2 0x28c6
000028c1: DUP3
000028c2: PUSH2 0x2fb5
000028c5: JUMP
000028c6: JUMPDEST
000028c7: PUSH1 0x40
000028c9: DUP3
000028ca: ADD
000028cb: SWAP1
000028cc: POP
000028cd: SWAP2
000028ce: SWAP1
000028cf: POP
000028d0: JUMP
000028d1: JUMPDEST
000028d2: PUSH1 0x00
000028d4: PUSH2 0x28de
000028d7: PUSH1 0x2f
000028d9: DUP4
000028da: PUSH2 0x2ba4
000028dd: JUMP
000028de: JUMPDEST
000028df: SWAP2
000028e0: POP
000028e1: PUSH2 0x28e9
000028e4: DUP3
000028e5: PUSH2 0x3004
000028e8: JUMP
000028e9: JUMPDEST
000028ea: PUSH1 0x40
000028ec: DUP3
000028ed: ADD
000028ee: SWAP1
000028ef: POP
000028f0: SWAP2
000028f1: SWAP1
000028f2: POP
000028f3: JUMP
000028f4: JUMPDEST
000028f5: PUSH2 0x28fd
000028f8: DUP2
000028f9: PUSH2 0x2c7e
000028fc: JUMP
000028fd: JUMPDEST
000028fe: DUP3
000028ff: MSTORE
00002900: POP
00002901: POP
00002902: JUMP
00002903: JUMPDEST
00002904: PUSH1 0x00
00002906: PUSH1 0x20
00002908: DUP3
00002909: ADD
0000290a: SWAP1
0000290b: POP
0000290c: PUSH2 0x2918
0000290f: PUSH1 0x00
00002911: DUP4
00002912: ADD
00002913: DUP5
00002914: PUSH2 0x277d
00002917: JUMP
00002918: JUMPDEST
00002919: SWAP3
0000291a: SWAP2
0000291b: POP
0000291c: POP
0000291d: JUMP
0000291e: JUMPDEST
0000291f: PUSH1 0x00
00002921: PUSH1 0x80
00002923: DUP3
00002924: ADD
00002925: SWAP1
00002926: POP
00002927: PUSH2 0x2933
0000292a: PUSH1 0x00
0000292c: DUP4
0000292d: ADD
0000292e: DUP8
0000292f: PUSH2 0x277d
00002932: JUMP
00002933: JUMPDEST
00002934: PUSH2 0x2940
00002937: PUSH1 0x20
00002939: DUP4
0000293a: ADD
0000293b: DUP7
0000293c: PUSH2 0x279b
0000293f: JUMP
00002940: JUMPDEST
00002941: PUSH2 0x294d
00002944: PUSH1 0x40
00002946: DUP4
00002947: ADD
00002948: DUP6
00002949: PUSH2 0x277d
0000294c: JUMP
0000294d: JUMPDEST
0000294e: PUSH2 0x295a
00002951: PUSH1 0x60
00002953: DUP4
00002954: ADD
00002955: DUP5
00002956: PUSH2 0x28f4
00002959: JUMP
0000295a: JUMPDEST
0000295b: SWAP6
0000295c: SWAP5
0000295d: POP
0000295e: POP
0000295f: POP
00002960: POP
00002961: POP
00002962: JUMP
00002963: JUMPDEST
00002964: PUSH1 0x00
00002966: PUSH1 0x80
00002968: DUP3
00002969: ADD
0000296a: SWAP1
0000296b: POP
0000296c: PUSH2 0x2978
0000296f: PUSH1 0x00
00002971: DUP4
00002972: ADD
00002973: DUP8
00002974: PUSH2 0x277d
00002977: JUMP
00002978: JUMPDEST
00002979: PUSH2 0x2985
0000297c: PUSH1 0x20
0000297e: DUP4
0000297f: ADD
00002980: DUP7
00002981: PUSH2 0x27aa
00002984: JUMP
00002985: JUMPDEST
00002986: PUSH2 0x2992
00002989: PUSH1 0x40
0000298b: DUP4
0000298c: ADD
0000298d: DUP6
0000298e: PUSH2 0x277d
00002991: JUMP
00002992: JUMPDEST
00002993: PUSH2 0x299f
00002996: PUSH1 0x60
00002998: DUP4
00002999: ADD
0000299a: DUP5
0000299b: PUSH2 0x28f4
0000299e: JUMP
0000299f: JUMPDEST
000029a0: SWAP6
000029a1: SWAP5
000029a2: POP
000029a3: POP
000029a4: POP
000029a5: POP
000029a6: POP
000029a7: JUMP
000029a8: JUMPDEST
000029a9: PUSH1 0x00
000029ab: PUSH1 0x40
000029ad: DUP3
000029ae: ADD
000029af: SWAP1
000029b0: POP
000029b1: PUSH2 0x29bd
000029b4: PUSH1 0x00
000029b6: DUP4
000029b7: ADD
000029b8: DUP6
000029b9: PUSH2 0x277d
000029bc: JUMP
000029bd: JUMPDEST
000029be: PUSH2 0x29ca
000029c1: PUSH1 0x20
000029c3: DUP4
000029c4: ADD
000029c5: DUP5
000029c6: PUSH2 0x28f4
000029c9: JUMP
000029ca: JUMPDEST
000029cb: SWAP4
000029cc: SWAP3
000029cd: POP
000029ce: POP
000029cf: POP
000029d0: JUMP
000029d1: JUMPDEST
000029d2: PUSH1 0x00
000029d4: PUSH1 0x20
000029d6: DUP3
000029d7: ADD
000029d8: SWAP1
000029d9: POP
000029da: PUSH2 0x29e6
000029dd: PUSH1 0x00
000029df: DUP4
000029e0: ADD
000029e1: DUP5
000029e2: PUSH2 0x278c
000029e5: JUMP
000029e6: JUMPDEST
000029e7: SWAP3
000029e8: SWAP2
000029e9: POP
000029ea: POP
000029eb: JUMP
000029ec: JUMPDEST
000029ed: PUSH1 0x00
000029ef: PUSH1 0x20
000029f1: DUP3
000029f2: ADD
000029f3: SWAP1
000029f4: POP
000029f5: DUP2
000029f6: DUP2
000029f7: SUB
000029f8: PUSH1 0x00
000029fa: DUP4
000029fb: ADD
000029fc: MSTORE
000029fd: PUSH2 0x2a05
00002a00: DUP2
00002a01: PUSH2 0x27b9
00002a04: JUMP
00002a05: JUMPDEST
00002a06: SWAP1
00002a07: POP
00002a08: SWAP2
00002a09: SWAP1
00002a0a: POP
00002a0b: JUMP
00002a0c: JUMPDEST
00002a0d: PUSH1 0x00
00002a0f: PUSH1 0x20
00002a11: DUP3
00002a12: ADD
00002a13: SWAP1
00002a14: POP
00002a15: DUP2
00002a16: DUP2
00002a17: SUB
00002a18: PUSH1 0x00
00002a1a: DUP4
00002a1b: ADD
00002a1c: MSTORE
00002a1d: PUSH2 0x2a25
00002a20: DUP2
00002a21: PUSH2 0x27dc
00002a24: JUMP
00002a25: JUMPDEST
00002a26: SWAP1
00002a27: POP
00002a28: SWAP2
00002a29: SWAP1
00002a2a: POP
00002a2b: JUMP
00002a2c: JUMPDEST
00002a2d: PUSH1 0x00
00002a2f: PUSH1 0x20
00002a31: DUP3
00002a32: ADD
00002a33: SWAP1
00002a34: POP
00002a35: DUP2
00002a36: DUP2
00002a37: SUB
00002a38: PUSH1 0x00
00002a3a: DUP4
00002a3b: ADD
00002a3c: MSTORE
00002a3d: PUSH2 0x2a45
00002a40: DUP2
00002a41: PUSH2 0x27ff
00002a44: JUMP
00002a45: JUMPDEST
00002a46: SWAP1
00002a47: POP
00002a48: SWAP2
00002a49: SWAP1
00002a4a: POP
00002a4b: JUMP
00002a4c: JUMPDEST
00002a4d: PUSH1 0x00
00002a4f: PUSH1 0x20
00002a51: DUP3
00002a52: ADD
00002a53: SWAP1
00002a54: POP
00002a55: DUP2
00002a56: DUP2
00002a57: SUB
00002a58: PUSH1 0x00
00002a5a: DUP4
00002a5b: ADD
00002a5c: MSTORE
00002a5d: PUSH2 0x2a65
00002a60: DUP2
00002a61: PUSH2 0x2822
00002a64: JUMP
00002a65: JUMPDEST
00002a66: SWAP1
00002a67: POP
00002a68: SWAP2
00002a69: SWAP1
00002a6a: POP
00002a6b: JUMP
00002a6c: JUMPDEST
00002a6d: PUSH1 0x00
00002a6f: PUSH1 0x20
00002a71: DUP3
00002a72: ADD
00002a73: SWAP1
00002a74: POP
00002a75: DUP2
00002a76: DUP2
00002a77: SUB
00002a78: PUSH1 0x00
00002a7a: DUP4
00002a7b: ADD
00002a7c: MSTORE
00002a7d: PUSH2 0x2a85
00002a80: DUP2
00002a81: PUSH2 0x2845
00002a84: JUMP
00002a85: JUMPDEST
00002a86: SWAP1
00002a87: POP
00002a88: SWAP2
00002a89: SWAP1
00002a8a: POP
00002a8b: JUMP
00002a8c: JUMPDEST
00002a8d: PUSH1 0x00
00002a8f: PUSH1 0x20
00002a91: DUP3
00002a92: ADD
00002a93: SWAP1
00002a94: POP
00002a95: DUP2
00002a96: DUP2
00002a97: SUB
00002a98: PUSH1 0x00
00002a9a: DUP4
00002a9b: ADD
00002a9c: MSTORE
00002a9d: PUSH2 0x2aa5
00002aa0: DUP2
00002aa1: PUSH2 0x2868
00002aa4: JUMP
00002aa5: JUMPDEST
00002aa6: SWAP1
00002aa7: POP
00002aa8: SWAP2
00002aa9: SWAP1
00002aaa: POP
00002aab: JUMP
00002aac: JUMPDEST
00002aad: PUSH1 0x00
00002aaf: PUSH1 0x20
00002ab1: DUP3
00002ab2: ADD
00002ab3: SWAP1
00002ab4: POP
00002ab5: DUP2
00002ab6: DUP2
00002ab7: SUB
00002ab8: PUSH1 0x00
00002aba: DUP4
00002abb: ADD
00002abc: MSTORE
00002abd: PUSH2 0x2ac5
00002ac0: DUP2
00002ac1: PUSH2 0x288b
00002ac4: JUMP
00002ac5: JUMPDEST
00002ac6: SWAP1
00002ac7: POP
00002ac8: SWAP2
00002ac9: SWAP1
00002aca: POP
00002acb: JUMP
00002acc: JUMPDEST
00002acd: PUSH1 0x00
00002acf: PUSH1 0x20
00002ad1: DUP3
00002ad2: ADD
00002ad3: SWAP1
00002ad4: POP
00002ad5: DUP2
00002ad6: DUP2
00002ad7: SUB
00002ad8: PUSH1 0x00
00002ada: DUP4
00002adb: ADD
00002adc: MSTORE
00002add: PUSH2 0x2ae5
00002ae0: DUP2
00002ae1: PUSH2 0x28ae
00002ae4: JUMP
00002ae5: JUMPDEST
00002ae6: SWAP1
00002ae7: POP
00002ae8: SWAP2
00002ae9: SWAP1
00002aea: POP
00002aeb: JUMP
00002aec: JUMPDEST
00002aed: PUSH1 0x00
00002aef: PUSH1 0x20
00002af1: DUP3
00002af2: ADD
00002af3: SWAP1
00002af4: POP
00002af5: DUP2
00002af6: DUP2
00002af7: SUB
00002af8: PUSH1 0x00
00002afa: DUP4
00002afb: ADD
00002afc: MSTORE
00002afd: PUSH2 0x2b05
00002b00: DUP2
00002b01: PUSH2 0x28d1
00002b04: JUMP
00002b05: JUMPDEST
00002b06: SWAP1
00002b07: POP
00002b08: SWAP2
00002b09: SWAP1
00002b0a: POP
00002b0b: JUMP
00002b0c: JUMPDEST
00002b0d: PUSH1 0x00
00002b0f: PUSH1 0x20
00002b11: DUP3
00002b12: ADD
00002b13: SWAP1
00002b14: POP
00002b15: PUSH2 0x2b21
00002b18: PUSH1 0x00
00002b1a: DUP4
00002b1b: ADD
00002b1c: DUP5
00002b1d: PUSH2 0x28f4
00002b20: JUMP
00002b21: JUMPDEST
00002b22: SWAP3
00002b23: SWAP2
00002b24: POP
00002b25: POP
00002b26: JUMP
00002b27: JUMPDEST
00002b28: PUSH1 0x00
00002b2a: PUSH2 0x2b31
00002b2d: PUSH2 0x2b42
00002b30: JUMP
00002b31: JUMPDEST
00002b32: SWAP1
00002b33: POP
00002b34: PUSH2 0x2b3d
00002b37: DUP3
00002b38: DUP3
00002b39: PUSH2 0x2cb9
00002b3c: JUMP
00002b3d: JUMPDEST
00002b3e: SWAP2
00002b3f: SWAP1
00002b40: POP
00002b41: JUMP
00002b42: JUMPDEST
00002b43: PUSH1 0x00
00002b45: PUSH1 0x40
00002b47: MLOAD
00002b48: SWAP1
00002b49: POP
00002b4a: SWAP1
00002b4b: JUMP
00002b4c: JUMPDEST
00002b4d: PUSH1 0x00
00002b4f: PUSH8 0xffffffffffffffff
00002b58: DUP3
00002b59: GT
00002b5a: ISZERO
00002b5b: PUSH2 0x2b67
00002b5e: JUMPI
00002b5f: PUSH2 0x2b66
00002b62: PUSH2 0x2d72
00002b65: JUMP
00002b66: JUMPDEST
00002b67: JUMPDEST
00002b68: PUSH1 0x20
00002b6a: DUP3
00002b6b: MUL
00002b6c: SWAP1
00002b6d: POP
00002b6e: PUSH1 0x20
00002b70: DUP2
00002b71: ADD
00002b72: SWAP1
00002b73: POP
00002b74: SWAP2
00002b75: SWAP1
00002b76: POP
00002b77: JUMP
00002b78: JUMPDEST
00002b79: PUSH1 0x00
00002b7b: PUSH8 0xffffffffffffffff
00002b84: DUP3
00002b85: GT
00002b86: ISZERO
00002b87: PUSH2 0x2b93
00002b8a: JUMPI
00002b8b: PUSH2 0x2b92
00002b8e: PUSH2 0x2d72
00002b91: JUMP
00002b92: JUMPDEST
00002b93: JUMPDEST
00002b94: PUSH1 0x20
00002b96: DUP3
00002b97: MUL
00002b98: SWAP1
00002b99: POP
00002b9a: PUSH1 0x20
00002b9c: DUP2
00002b9d: ADD
00002b9e: SWAP1
00002b9f: POP
00002ba0: SWAP2
00002ba1: SWAP1
00002ba2: POP
00002ba3: JUMP
00002ba4: JUMPDEST
00002ba5: PUSH1 0x00
00002ba7: DUP3
00002ba8: DUP3
00002ba9: MSTORE
00002baa: PUSH1 0x20
00002bac: DUP3
00002bad: ADD
00002bae: SWAP1
00002baf: POP
00002bb0: SWAP3
00002bb1: SWAP2
00002bb2: POP
00002bb3: POP
00002bb4: JUMP
00002bb5: JUMPDEST
00002bb6: PUSH1 0x00
00002bb8: PUSH2 0x2bc0
00002bbb: DUP3
00002bbc: PUSH2 0x2c7e
00002bbf: JUMP
00002bc0: JUMPDEST
00002bc1: SWAP2
00002bc2: POP
00002bc3: PUSH2 0x2bcb
00002bc6: DUP4
00002bc7: PUSH2 0x2c7e
00002bca: JUMP
00002bcb: JUMPDEST
00002bcc: SWAP3
00002bcd: POP
00002bce: DUP3
00002bcf: PUSH2 0x2bdb
00002bd2: JUMPI
00002bd3: PUSH2 0x2bda
00002bd6: PUSH2 0x2d43
00002bd9: JUMP
00002bda: JUMPDEST
00002bdb: JUMPDEST
00002bdc: DUP3
00002bdd: DUP3
00002bde: DIV
00002bdf: SWAP1
00002be0: POP
00002be1: SWAP3
00002be2: SWAP2
00002be3: POP
00002be4: POP
00002be5: JUMP
00002be6: JUMPDEST
00002be7: PUSH1 0x00
00002be9: PUSH2 0x2bf1
00002bec: DUP3
00002bed: PUSH2 0x2c7e
00002bf0: JUMP
00002bf1: JUMPDEST
00002bf2: SWAP2
00002bf3: POP
00002bf4: PUSH2 0x2bfc
00002bf7: DUP4
00002bf8: PUSH2 0x2c7e
00002bfb: JUMP
00002bfc: JUMPDEST
00002bfd: SWAP3
00002bfe: POP
00002bff: DUP2
00002c00: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002c21: DIV
00002c22: DUP4
00002c23: GT
00002c24: DUP3
00002c25: ISZERO
00002c26: ISZERO
00002c27: AND
00002c28: ISZERO
00002c29: PUSH2 0x2c35
00002c2c: JUMPI
00002c2d: PUSH2 0x2c34
00002c30: PUSH2 0x2d14
00002c33: JUMP
00002c34: JUMPDEST
00002c35: JUMPDEST
00002c36: DUP3
00002c37: DUP3
00002c38: MUL
00002c39: SWAP1
00002c3a: POP
00002c3b: SWAP3
00002c3c: SWAP2
00002c3d: POP
00002c3e: POP
00002c3f: JUMP
00002c40: JUMPDEST
00002c41: PUSH1 0x00
00002c43: PUSH2 0x2c4b
00002c46: DUP3
00002c47: PUSH2 0x2c5e
00002c4a: JUMP
00002c4b: JUMPDEST
00002c4c: SWAP1
00002c4d: POP
00002c4e: SWAP2
00002c4f: SWAP1
00002c50: POP
00002c51: JUMP
00002c52: JUMPDEST
00002c53: PUSH1 0x00
00002c55: DUP2
00002c56: ISZERO
00002c57: ISZERO
00002c58: SWAP1
00002c59: POP
00002c5a: SWAP2
00002c5b: SWAP1
00002c5c: POP
00002c5d: JUMP
00002c5e: JUMPDEST
00002c5f: PUSH1 0x00
00002c61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c76: DUP3
00002c77: AND
00002c78: SWAP1
00002c79: POP
00002c7a: SWAP2
00002c7b: SWAP1
00002c7c: POP
00002c7d: JUMP
00002c7e: JUMPDEST
00002c7f: PUSH1 0x00
00002c81: DUP2
00002c82: SWAP1
00002c83: POP
00002c84: SWAP2
00002c85: SWAP1
00002c86: POP
00002c87: JUMP
00002c88: JUMPDEST
00002c89: PUSH1 0x00
00002c8b: PUSH1 0xff
00002c8d: DUP3
00002c8e: AND
00002c8f: SWAP1
00002c90: POP
00002c91: SWAP2
00002c92: SWAP1
00002c93: POP
00002c94: JUMP
00002c95: JUMPDEST
00002c96: PUSH1 0x00
00002c98: PUSH2 0x2ca0
00002c9b: DUP3
00002c9c: PUSH2 0x2c7e
00002c9f: JUMP
00002ca0: JUMPDEST
00002ca1: SWAP1
00002ca2: POP
00002ca3: SWAP2
00002ca4: SWAP1
00002ca5: POP
00002ca6: JUMP
00002ca7: JUMPDEST
00002ca8: PUSH1 0x00
00002caa: PUSH2 0x2cb2
00002cad: DUP3
00002cae: PUSH2 0x2c7e
00002cb1: JUMP
00002cb2: JUMPDEST
00002cb3: SWAP1
00002cb4: POP
00002cb5: SWAP2
00002cb6: SWAP1
00002cb7: POP
00002cb8: JUMP
00002cb9: JUMPDEST
00002cba: PUSH2 0x2cc2
00002cbd: DUP3
00002cbe: PUSH2 0x2da1
00002cc1: JUMP
00002cc2: JUMPDEST
00002cc3: DUP2
00002cc4: ADD
00002cc5: DUP2
00002cc6: DUP2
00002cc7: LT
00002cc8: PUSH8 0xffffffffffffffff
00002cd1: DUP3
00002cd2: GT
00002cd3: OR
00002cd4: ISZERO
00002cd5: PUSH2 0x2ce1
00002cd8: JUMPI
00002cd9: PUSH2 0x2ce0
00002cdc: PUSH2 0x2d72
00002cdf: JUMP
00002ce0: JUMPDEST
00002ce1: JUMPDEST
00002ce2: DUP1
00002ce3: PUSH1 0x40
00002ce5: MSTORE
00002ce6: POP
00002ce7: POP
00002ce8: POP
00002ce9: JUMP
00002cea: JUMPDEST
00002ceb: PUSH1 0x00
00002ced: PUSH2 0x2cf5
00002cf0: DUP3
00002cf1: PUSH2 0x2c88
00002cf4: JUMP
00002cf5: JUMPDEST
00002cf6: SWAP2
00002cf7: POP
00002cf8: PUSH1 0xff
00002cfa: DUP3
00002cfb: EQ
00002cfc: ISZERO
00002cfd: PUSH2 0x2d09
00002d00: JUMPI
00002d01: PUSH2 0x2d08
00002d04: PUSH2 0x2d14
00002d07: JUMP
00002d08: JUMPDEST
00002d09: JUMPDEST
00002d0a: PUSH1 0x01
00002d0c: DUP3
00002d0d: ADD
00002d0e: SWAP1
00002d0f: POP
00002d10: SWAP2
00002d11: SWAP1
00002d12: POP
00002d13: JUMP
00002d14: JUMPDEST
00002d15: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002d36: PUSH1 0x00
00002d38: MSTORE
00002d39: PUSH1 0x11
00002d3b: PUSH1 0x04
00002d3d: MSTORE
00002d3e: PUSH1 0x24
00002d40: PUSH1 0x00
00002d42: REVERT
00002d43: JUMPDEST
00002d44: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002d65: PUSH1 0x00
00002d67: MSTORE
00002d68: PUSH1 0x12
00002d6a: PUSH1 0x04
00002d6c: MSTORE
00002d6d: PUSH1 0x24
00002d6f: PUSH1 0x00
00002d71: REVERT
00002d72: JUMPDEST
00002d73: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002d94: PUSH1 0x00
00002d96: MSTORE
00002d97: PUSH1 0x41
00002d99: PUSH1 0x04
00002d9b: MSTORE
00002d9c: PUSH1 0x24
00002d9e: PUSH1 0x00
00002da0: REVERT
00002da1: JUMPDEST
00002da2: PUSH1 0x00
00002da4: PUSH1 0x1f
00002da6: NOT
00002da7: PUSH1 0x1f
00002da9: DUP4
00002daa: ADD
00002dab: AND
00002dac: SWAP1
00002dad: POP
00002dae: SWAP2
00002daf: SWAP1
00002db0: POP
00002db1: JUMP
00002db2: JUMPDEST
00002db3: PUSH32 0x47656e4172745061796d656e7453706c697474657256323a20636f6e74726163
00002dd4: PUSH1 0x00
00002dd6: DUP3
00002dd7: ADD
00002dd8: MSTORE
00002dd9: PUSH32 0x742069732064657374726f796564000000000000000000000000000000000000
00002dfa: PUSH1 0x20
00002dfc: DUP3
00002dfd: ADD
00002dfe: MSTORE
00002dff: POP
00002e00: JUMP
00002e01: JUMPDEST
00002e02: PUSH32 0x47656e4172745061796d656e7453706c697474657256323a20696e76616c6964
00002e23: PUSH1 0x00
00002e25: DUP3
00002e26: ADD
00002e27: MSTORE
00002e28: PUSH32 0x20617267756d656e747300000000000000000000000000000000000000000000
00002e49: PUSH1 0x20
00002e4b: DUP3
00002e4c: ADD
00002e4d: MSTORE
00002e4e: POP
00002e4f: JUMP
00002e50: JUMPDEST
00002e51: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00002e72: PUSH1 0x00
00002e74: DUP3
00002e75: ADD
00002e76: MSTORE
00002e77: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00002e98: PUSH1 0x20
00002e9a: DUP3
00002e9b: ADD
00002e9c: MSTORE
00002e9d: POP
00002e9e: JUMP
00002e9f: JUMPDEST
00002ea0: PUSH32 0x47656e4172745061796d656e7453706c697474657256323a207061796d656e74
00002ec1: PUSH1 0x00
00002ec3: DUP3
00002ec4: ADD
00002ec5: MSTORE
00002ec6: PUSH32 0x206e6f7420666f756e6420666f7220636f6c6c656374696f6e00000000000000
00002ee7: PUSH1 0x20
00002ee9: DUP3
00002eea: ADD
00002eeb: MSTORE
00002eec: POP
00002eed: JUMP
00002eee: JUMPDEST
00002eef: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002f10: PUSH1 0x00
00002f12: DUP3
00002f13: ADD
00002f14: MSTORE
00002f15: POP
00002f16: JUMP
00002f17: JUMPDEST
00002f18: PUSH32 0x47656e4172745061796d656e7453706c697474657256323a2073656e64657220
00002f39: PUSH1 0x00
00002f3b: DUP3
00002f3c: ADD
00002f3d: MSTORE
00002f3e: PUSH32 0x6973206e6f742063757272656e74207061796565000000000000000000000000
00002f5f: PUSH1 0x20
00002f61: DUP3
00002f62: ADD
00002f63: MSTORE
00002f64: POP
00002f65: JUMP
00002f66: JUMPDEST
00002f67: PUSH32 0x47656e4172744163636573733a2063616c6c6572206973206e6f742067656e61
00002f88: PUSH1 0x00
00002f8a: DUP3
00002f8b: ADD
00002f8c: MSTORE
00002f8d: PUSH32 0x72742061646d696e000000000000000000000000000000000000000000000000
00002fae: PUSH1 0x20
00002fb0: DUP3
00002fb1: ADD
00002fb2: MSTORE
00002fb3: POP
00002fb4: JUMP
00002fb5: JUMPDEST
00002fb6: PUSH32 0x47656e4172745061796d656e7453706c697474657256323a206e6f2066756e64
00002fd7: PUSH1 0x00
00002fd9: DUP3
00002fda: ADD
00002fdb: MSTORE
00002fdc: PUSH32 0x7320746f2072656c656173650000000000000000000000000000000000000000
00002ffd: PUSH1 0x20
00002fff: DUP3
00003000: ADD
00003001: MSTORE
00003002: POP
00003003: JUMP
00003004: JUMPDEST
00003005: PUSH32 0x47656e4172744163636573733a2063616c6c6572206973206e6f742074686520
00003026: PUSH1 0x00
00003028: DUP3
00003029: ADD
0000302a: MSTORE
0000302b: PUSH32 0x6f776e6572206e6f722061646d696e0000000000000000000000000000000000
0000304c: PUSH1 0x20
0000304e: DUP3
0000304f: ADD
00003050: MSTORE
00003051: POP
00003052: JUMP
00003053: JUMPDEST
00003054: PUSH2 0x305c
00003057: DUP2
00003058: PUSH2 0x2c40
0000305b: JUMP
0000305c: JUMPDEST
0000305d: DUP2
0000305e: EQ
0000305f: PUSH2 0x3067
00003062: JUMPI
00003063: PUSH1 0x00
00003065: DUP1
00003066: REVERT
00003067: JUMPDEST
00003068: POP
00003069: JUMP
0000306a: JUMPDEST
0000306b: PUSH2 0x3073
0000306e: DUP2
0000306f: PUSH2 0x2c52
00003072: JUMP
00003073: JUMPDEST
00003074: DUP2
00003075: EQ
00003076: PUSH2 0x307e
00003079: JUMPI
0000307a: PUSH1 0x00
0000307c: DUP1
0000307d: REVERT
0000307e: JUMPDEST
0000307f: POP
00003080: JUMP
00003081: JUMPDEST
00003082: PUSH2 0x308a
00003085: DUP2
00003086: PUSH2 0x2c7e
00003089: JUMP
0000308a: JUMPDEST
0000308b: DUP2
0000308c: EQ
0000308d: PUSH2 0x3095
00003090: JUMPI
00003091: PUSH1 0x00
00003093: DUP1
00003094: REVERT
00003095: JUMPDEST
00003096: POP
00003097: JUMP
00003098: JUMPDEST
00003099: PUSH2 0x30a1
0000309c: DUP2
0000309d: PUSH2 0x2c88
000030a0: JUMP
000030a1: JUMPDEST
000030a2: DUP2
000030a3: EQ
000030a4: PUSH2 0x30ac
000030a7: JUMPI
000030a8: PUSH1 0x00
000030aa: DUP1
000030ab: REVERT
000030ac: JUMPDEST
000030ad: POP
000030ae: JUMP
000030af: INVALID
000030b0: LOG2
000030b1: PUSH5 0x6970667358
000030b7: UNKNOWN(0x22)
000030b8: SLT
000030b9: KECCAK256
000030ba: CODECOPY
000030bb: SWAP3
000030bc: CALL
000030bd: TLOAD
000030be: UNKNOWN(0xF9)
000030bf: UNKNOWN(0x0D)
000030c0: UNKNOWN(0xAF)
000030c1: PC
000030c2: UNKNOWN(0x23)
000030c3: UNKNOWN(0xDB)
000030c4: MCOPY
000030c5: UNKNOWN(0xED)
000030c6: REVERT
000030c7: UNKNOWN(0xC4)
000030c8: DUP9
000030c9: PUSH3 0x747e8f
000030cd: SLT
000030ce: POP
000030cf: UNKNOWN(0xB0)
000030d0: REVERT
000030d1: UNKNOWN(0xA7)
000030d2: PUSH7 0x894a239fa3f6ae
000030da: PUSH5 0x736f6c6343
000030e0: STOP
000030e1: ADDMOD
000030e2: DIV
000030e3: STOP
000030e4: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xeb320e397327593fea1005e23aec67d092073d4538c914aa9c10bdd1cad17c08
call_targets: 0xb42970b84c25aa3b1fd145fc41d2f301ec4bb9ad
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xeb320e397327593fea1005e23aec67d092073d4538c914aa9c10bdd1cad17c08",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xb42970b84c25aa3b1fd145fc41d2f301ec4bb9ad"
    ],
    "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": "0xcf58b8ea",
            "selector": "0xcf58b8ea",
            "calldata_variants": [
                "0xcf58b8ea",
                "0xcf58b8ea0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdb2e21bc",
            "selector": "0xdb2e21bc",
            "calldata_variants": [
                "0xdb2e21bc",
                "0xdb2e21bc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf65a0b3e",
            "selector": "0xf65a0b3e",
            "calldata_variants": [
                "0xf65a0b3e",
                "0xf65a0b3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf746701e",
            "selector": "0xf746701e",
            "calldata_variants": [
                "0xf746701e",
                "0xf746701e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfbf95fec",
            "selector": "0xfbf95fec",
            "calldata_variants": [
                "0xfbf95fec",
                "0xfbf95fec0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 362,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1785,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2009,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [],
    "untrusted_call_count": 5
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xeb320e397327593fea1005e23aec67d092073d4538c914aa9c10bdd1cad17c08
call_targets: 0xb42970b84c25aa3b1fd145fc41d2f301ec4bb9ad
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xeb320e397327593fea1005e23aec67d092073d4538c914aa9c10bdd1cad17c08",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xb42970b84c25aa3b1fd145fc41d2f301ec4bb9ad"
    ],
    "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": "0xcf58b8ea",
            "selector": "0xcf58b8ea",
            "calldata_variants": [
                "0xcf58b8ea",
                "0xcf58b8ea0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdb2e21bc",
            "selector": "0xdb2e21bc",
            "calldata_variants": [
                "0xdb2e21bc",
                "0xdb2e21bc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf65a0b3e",
            "selector": "0xf65a0b3e",
            "calldata_variants": [
                "0xf65a0b3e",
                "0xf65a0b3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf746701e",
            "selector": "0xf746701e",
            "calldata_variants": [
                "0xf746701e",
                "0xf746701e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfbf95fec",
            "selector": "0xfbf95fec",
            "calldata_variants": [
                "0xfbf95fec",
                "0xfbf95fec0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 362,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1785,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2009,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": []
}