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

Analysis Run

019b477e-d07d-70db-b0d0-c5d4111b5948

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
27577 artifact.fetch complete 1 / 3 3 months ago
27578 tool.cast_disasm complete 1 / 3 3 months ago
102928 analysis.bundle complete 1 / 3 2 weeks ago
102929 capability.graph complete 1 / 3 2 weeks ago
102930 detector.run complete 1 / 3 2 weeks ago
102931 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
1
CREATE2
0
CALL-family (heavy)
1
EXT*/BALANCE
0
Total opcodes
5179
Flags
selfdestruct_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0114
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x715018a6
00000019: GT
0000001a: PUSH2 0x00a0
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa6f2ae3a
00000024: GT
00000025: PUSH2 0x0064
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xa6f2ae3a
0000002f: EQ
00000030: PUSH2 0x0391
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xa9059cbb
0000003a: EQ
0000003b: PUSH2 0x039b
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xdd62ed3e
00000045: EQ
00000046: PUSH2 0x03d8
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe4849b32
00000050: EQ
00000051: PUSH2 0x0415
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x043e
0000005f: JUMPI
00000060: PUSH2 0x0114
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x715018a6
0000006b: EQ
0000006c: PUSH2 0x02d0
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x7cdc65f2
00000076: EQ
00000077: PUSH2 0x02e7
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x8ba4cc3c
00000081: EQ
00000082: PUSH2 0x0312
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x8da5cb5b
0000008c: EQ
0000008d: PUSH2 0x033b
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x95d89b41
00000097: EQ
00000098: PUSH2 0x0366
0000009b: JUMPI
0000009c: PUSH2 0x0114
0000009f: JUMP
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0x23b872dd
000000a7: GT
000000a8: PUSH2 0x00e7
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x23b872dd
000000b2: EQ
000000b3: PUSH2 0x01d5
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x2b14ca56
000000bd: EQ
000000be: PUSH2 0x0212
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x313ce567
000000c8: EQ
000000c9: PUSH2 0x023d
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x47062402
000000d3: EQ
000000d4: PUSH2 0x0268
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x70a08231
000000de: EQ
000000df: PUSH2 0x0293
000000e2: JUMPI
000000e3: PUSH2 0x0114
000000e6: JUMP
000000e7: JUMPDEST
000000e8: DUP1
000000e9: PUSH4 0x06fdde03
000000ee: EQ
000000ef: PUSH2 0x0119
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x095ea7b3
000000f9: EQ
000000fa: PUSH2 0x0144
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x0b78f9c0
00000104: EQ
00000105: PUSH2 0x0181
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x18160ddd
0000010f: EQ
00000110: PUSH2 0x01aa
00000113: JUMPI
00000114: JUMPDEST
00000115: PUSH1 0x00
00000117: DUP1
00000118: REVERT
00000119: JUMPDEST
0000011a: CALLVALUE
0000011b: DUP1
0000011c: ISZERO
0000011d: PUSH2 0x0125
00000120: JUMPI
00000121: PUSH1 0x00
00000123: DUP1
00000124: REVERT
00000125: JUMPDEST
00000126: POP
00000127: PUSH2 0x012e
0000012a: PUSH2 0x0467
0000012d: JUMP
0000012e: JUMPDEST
0000012f: PUSH1 0x40
00000131: MLOAD
00000132: PUSH2 0x013b
00000135: SWAP2
00000136: SWAP1
00000137: PUSH2 0x2af0
0000013a: JUMP
0000013b: JUMPDEST
0000013c: PUSH1 0x40
0000013e: MLOAD
0000013f: DUP1
00000140: SWAP2
00000141: SUB
00000142: SWAP1
00000143: RETURN
00000144: JUMPDEST
00000145: CALLVALUE
00000146: DUP1
00000147: ISZERO
00000148: PUSH2 0x0150
0000014b: JUMPI
0000014c: PUSH1 0x00
0000014e: DUP1
0000014f: REVERT
00000150: JUMPDEST
00000151: POP
00000152: PUSH2 0x016b
00000155: PUSH1 0x04
00000157: DUP1
00000158: CALLDATASIZE
00000159: SUB
0000015a: DUP2
0000015b: ADD
0000015c: SWAP1
0000015d: PUSH2 0x0166
00000160: SWAP2
00000161: SWAP1
00000162: PUSH2 0x25f2
00000165: JUMP
00000166: JUMPDEST
00000167: PUSH2 0x04f5
0000016a: JUMP
0000016b: JUMPDEST
0000016c: PUSH1 0x40
0000016e: MLOAD
0000016f: PUSH2 0x0178
00000172: SWAP2
00000173: SWAP1
00000174: PUSH2 0x2ad5
00000177: JUMP
00000178: JUMPDEST
00000179: PUSH1 0x40
0000017b: MLOAD
0000017c: DUP1
0000017d: SWAP2
0000017e: SUB
0000017f: SWAP1
00000180: RETURN
00000181: JUMPDEST
00000182: CALLVALUE
00000183: DUP1
00000184: ISZERO
00000185: PUSH2 0x018d
00000188: JUMPI
00000189: PUSH1 0x00
0000018b: DUP1
0000018c: REVERT
0000018d: JUMPDEST
0000018e: POP
0000018f: PUSH2 0x01a8
00000192: PUSH1 0x04
00000194: DUP1
00000195: CALLDATASIZE
00000196: SUB
00000197: DUP2
00000198: ADD
00000199: SWAP1
0000019a: PUSH2 0x01a3
0000019d: SWAP2
0000019e: SWAP1
0000019f: PUSH2 0x2657
000001a2: JUMP
000001a3: JUMPDEST
000001a4: PUSH2 0x05e7
000001a7: JUMP
000001a8: JUMPDEST
000001a9: STOP
000001aa: JUMPDEST
000001ab: CALLVALUE
000001ac: DUP1
000001ad: ISZERO
000001ae: PUSH2 0x01b6
000001b1: JUMPI
000001b2: PUSH1 0x00
000001b4: DUP1
000001b5: REVERT
000001b6: JUMPDEST
000001b7: POP
000001b8: PUSH2 0x01bf
000001bb: PUSH2 0x07a2
000001be: JUMP
000001bf: JUMPDEST
000001c0: PUSH1 0x40
000001c2: MLOAD
000001c3: PUSH2 0x01cc
000001c6: SWAP2
000001c7: SWAP1
000001c8: PUSH2 0x2cb2
000001cb: JUMP
000001cc: JUMPDEST
000001cd: PUSH1 0x40
000001cf: MLOAD
000001d0: DUP1
000001d1: SWAP2
000001d2: SUB
000001d3: SWAP1
000001d4: RETURN
000001d5: JUMPDEST
000001d6: CALLVALUE
000001d7: DUP1
000001d8: ISZERO
000001d9: PUSH2 0x01e1
000001dc: JUMPI
000001dd: PUSH1 0x00
000001df: DUP1
000001e0: REVERT
000001e1: JUMPDEST
000001e2: POP
000001e3: PUSH2 0x01fc
000001e6: PUSH1 0x04
000001e8: DUP1
000001e9: CALLDATASIZE
000001ea: SUB
000001eb: DUP2
000001ec: ADD
000001ed: SWAP1
000001ee: PUSH2 0x01f7
000001f1: SWAP2
000001f2: SWAP1
000001f3: PUSH2 0x25a3
000001f6: JUMP
000001f7: JUMPDEST
000001f8: PUSH2 0x07a8
000001fb: JUMP
000001fc: JUMPDEST
000001fd: PUSH1 0x40
000001ff: MLOAD
00000200: PUSH2 0x0209
00000203: SWAP2
00000204: SWAP1
00000205: PUSH2 0x2ad5
00000208: JUMP
00000209: JUMPDEST
0000020a: PUSH1 0x40
0000020c: MLOAD
0000020d: DUP1
0000020e: SWAP2
0000020f: SUB
00000210: SWAP1
00000211: RETURN
00000212: JUMPDEST
00000213: CALLVALUE
00000214: DUP1
00000215: ISZERO
00000216: PUSH2 0x021e
00000219: JUMPI
0000021a: PUSH1 0x00
0000021c: DUP1
0000021d: REVERT
0000021e: JUMPDEST
0000021f: POP
00000220: PUSH2 0x0227
00000223: PUSH2 0x10c2
00000226: JUMP
00000227: JUMPDEST
00000228: PUSH1 0x40
0000022a: MLOAD
0000022b: PUSH2 0x0234
0000022e: SWAP2
0000022f: SWAP1
00000230: PUSH2 0x2cb2
00000233: JUMP
00000234: JUMPDEST
00000235: PUSH1 0x40
00000237: MLOAD
00000238: DUP1
00000239: SWAP2
0000023a: SUB
0000023b: SWAP1
0000023c: RETURN
0000023d: JUMPDEST
0000023e: CALLVALUE
0000023f: DUP1
00000240: ISZERO
00000241: PUSH2 0x0249
00000244: JUMPI
00000245: PUSH1 0x00
00000247: DUP1
00000248: REVERT
00000249: JUMPDEST
0000024a: POP
0000024b: PUSH2 0x0252
0000024e: PUSH2 0x10c8
00000251: JUMP
00000252: JUMPDEST
00000253: PUSH1 0x40
00000255: MLOAD
00000256: PUSH2 0x025f
00000259: SWAP2
0000025a: SWAP1
0000025b: PUSH2 0x2cf6
0000025e: JUMP
0000025f: JUMPDEST
00000260: PUSH1 0x40
00000262: MLOAD
00000263: DUP1
00000264: SWAP2
00000265: SUB
00000266: SWAP1
00000267: RETURN
00000268: JUMPDEST
00000269: CALLVALUE
0000026a: DUP1
0000026b: ISZERO
0000026c: PUSH2 0x0274
0000026f: JUMPI
00000270: PUSH1 0x00
00000272: DUP1
00000273: REVERT
00000274: JUMPDEST
00000275: POP
00000276: PUSH2 0x027d
00000279: PUSH2 0x10db
0000027c: JUMP
0000027d: JUMPDEST
0000027e: PUSH1 0x40
00000280: MLOAD
00000281: PUSH2 0x028a
00000284: SWAP2
00000285: SWAP1
00000286: PUSH2 0x2cb2
00000289: JUMP
0000028a: JUMPDEST
0000028b: PUSH1 0x40
0000028d: MLOAD
0000028e: DUP1
0000028f: SWAP2
00000290: SUB
00000291: SWAP1
00000292: RETURN
00000293: JUMPDEST
00000294: CALLVALUE
00000295: DUP1
00000296: ISZERO
00000297: PUSH2 0x029f
0000029a: JUMPI
0000029b: PUSH1 0x00
0000029d: DUP1
0000029e: REVERT
0000029f: JUMPDEST
000002a0: POP
000002a1: PUSH2 0x02ba
000002a4: PUSH1 0x04
000002a6: DUP1
000002a7: CALLDATASIZE
000002a8: SUB
000002a9: DUP2
000002aa: ADD
000002ab: SWAP1
000002ac: PUSH2 0x02b5
000002af: SWAP2
000002b0: SWAP1
000002b1: PUSH2 0x253e
000002b4: JUMP
000002b5: JUMPDEST
000002b6: PUSH2 0x10e1
000002b9: JUMP
000002ba: JUMPDEST
000002bb: PUSH1 0x40
000002bd: MLOAD
000002be: PUSH2 0x02c7
000002c1: SWAP2
000002c2: SWAP1
000002c3: PUSH2 0x2cb2
000002c6: JUMP
000002c7: JUMPDEST
000002c8: PUSH1 0x40
000002ca: MLOAD
000002cb: DUP1
000002cc: SWAP2
000002cd: SUB
000002ce: SWAP1
000002cf: RETURN
000002d0: JUMPDEST
000002d1: CALLVALUE
000002d2: DUP1
000002d3: ISZERO
000002d4: PUSH2 0x02dc
000002d7: JUMPI
000002d8: PUSH1 0x00
000002da: DUP1
000002db: REVERT
000002dc: JUMPDEST
000002dd: POP
000002de: PUSH2 0x02e5
000002e1: PUSH2 0x10f9
000002e4: JUMP
000002e5: JUMPDEST
000002e6: STOP
000002e7: JUMPDEST
000002e8: CALLVALUE
000002e9: DUP1
000002ea: ISZERO
000002eb: PUSH2 0x02f3
000002ee: JUMPI
000002ef: PUSH1 0x00
000002f1: DUP1
000002f2: REVERT
000002f3: JUMPDEST
000002f4: POP
000002f5: PUSH2 0x02fc
000002f8: PUSH2 0x124a
000002fb: JUMP
000002fc: JUMPDEST
000002fd: PUSH1 0x40
000002ff: MLOAD
00000300: PUSH2 0x0309
00000303: SWAP2
00000304: SWAP1
00000305: PUSH2 0x2aba
00000308: JUMP
00000309: JUMPDEST
0000030a: PUSH1 0x40
0000030c: MLOAD
0000030d: DUP1
0000030e: SWAP2
0000030f: SUB
00000310: SWAP1
00000311: RETURN
00000312: JUMPDEST
00000313: CALLVALUE
00000314: DUP1
00000315: ISZERO
00000316: PUSH2 0x031e
00000319: JUMPI
0000031a: PUSH1 0x00
0000031c: DUP1
0000031d: REVERT
0000031e: JUMPDEST
0000031f: POP
00000320: PUSH2 0x0339
00000323: PUSH1 0x04
00000325: DUP1
00000326: CALLDATASIZE
00000327: SUB
00000328: DUP2
00000329: ADD
0000032a: SWAP1
0000032b: PUSH2 0x0334
0000032e: SWAP2
0000032f: SWAP1
00000330: PUSH2 0x25f2
00000333: JUMP
00000334: JUMPDEST
00000335: PUSH2 0x1270
00000338: JUMP
00000339: JUMPDEST
0000033a: STOP
0000033b: JUMPDEST
0000033c: CALLVALUE
0000033d: DUP1
0000033e: ISZERO
0000033f: PUSH2 0x0347
00000342: JUMPI
00000343: PUSH1 0x00
00000345: DUP1
00000346: REVERT
00000347: JUMPDEST
00000348: POP
00000349: PUSH2 0x0350
0000034c: PUSH2 0x14e4
0000034f: JUMP
00000350: JUMPDEST
00000351: PUSH1 0x40
00000353: MLOAD
00000354: PUSH2 0x035d
00000357: SWAP2
00000358: SWAP1
00000359: PUSH2 0x2aba
0000035c: JUMP
0000035d: JUMPDEST
0000035e: PUSH1 0x40
00000360: MLOAD
00000361: DUP1
00000362: SWAP2
00000363: SUB
00000364: SWAP1
00000365: RETURN
00000366: JUMPDEST
00000367: CALLVALUE
00000368: DUP1
00000369: ISZERO
0000036a: PUSH2 0x0372
0000036d: JUMPI
0000036e: PUSH1 0x00
00000370: DUP1
00000371: REVERT
00000372: JUMPDEST
00000373: POP
00000374: PUSH2 0x037b
00000377: PUSH2 0x150a
0000037a: JUMP
0000037b: JUMPDEST
0000037c: PUSH1 0x40
0000037e: MLOAD
0000037f: PUSH2 0x0388
00000382: SWAP2
00000383: SWAP1
00000384: PUSH2 0x2af0
00000387: JUMP
00000388: JUMPDEST
00000389: PUSH1 0x40
0000038b: MLOAD
0000038c: DUP1
0000038d: SWAP2
0000038e: SUB
0000038f: SWAP1
00000390: RETURN
00000391: JUMPDEST
00000392: PUSH2 0x0399
00000395: PUSH2 0x1598
00000398: JUMP
00000399: JUMPDEST
0000039a: STOP
0000039b: JUMPDEST
0000039c: CALLVALUE
0000039d: DUP1
0000039e: ISZERO
0000039f: PUSH2 0x03a7
000003a2: JUMPI
000003a3: PUSH1 0x00
000003a5: DUP1
000003a6: REVERT
000003a7: JUMPDEST
000003a8: POP
000003a9: PUSH2 0x03c2
000003ac: PUSH1 0x04
000003ae: DUP1
000003af: CALLDATASIZE
000003b0: SUB
000003b1: DUP2
000003b2: ADD
000003b3: SWAP1
000003b4: PUSH2 0x03bd
000003b7: SWAP2
000003b8: SWAP1
000003b9: PUSH2 0x25f2
000003bc: JUMP
000003bd: JUMPDEST
000003be: PUSH2 0x19fd
000003c1: JUMP
000003c2: JUMPDEST
000003c3: PUSH1 0x40
000003c5: MLOAD
000003c6: PUSH2 0x03cf
000003c9: SWAP2
000003ca: SWAP1
000003cb: PUSH2 0x2ad5
000003ce: JUMP
000003cf: JUMPDEST
000003d0: PUSH1 0x40
000003d2: MLOAD
000003d3: DUP1
000003d4: SWAP2
000003d5: SUB
000003d6: SWAP1
000003d7: RETURN
000003d8: JUMPDEST
000003d9: CALLVALUE
000003da: DUP1
000003db: ISZERO
000003dc: PUSH2 0x03e4
000003df: JUMPI
000003e0: PUSH1 0x00
000003e2: DUP1
000003e3: REVERT
000003e4: JUMPDEST
000003e5: POP
000003e6: PUSH2 0x03ff
000003e9: PUSH1 0x04
000003eb: DUP1
000003ec: CALLDATASIZE
000003ed: SUB
000003ee: DUP2
000003ef: ADD
000003f0: SWAP1
000003f1: PUSH2 0x03fa
000003f4: SWAP2
000003f5: SWAP1
000003f6: PUSH2 0x2567
000003f9: JUMP
000003fa: JUMPDEST
000003fb: PUSH2 0x1c1e
000003fe: JUMP
000003ff: JUMPDEST
00000400: PUSH1 0x40
00000402: MLOAD
00000403: PUSH2 0x040c
00000406: SWAP2
00000407: SWAP1
00000408: PUSH2 0x2cb2
0000040b: JUMP
0000040c: JUMPDEST
0000040d: PUSH1 0x40
0000040f: MLOAD
00000410: DUP1
00000411: SWAP2
00000412: SUB
00000413: SWAP1
00000414: RETURN
00000415: JUMPDEST
00000416: CALLVALUE
00000417: DUP1
00000418: ISZERO
00000419: PUSH2 0x0421
0000041c: JUMPI
0000041d: PUSH1 0x00
0000041f: DUP1
00000420: REVERT
00000421: JUMPDEST
00000422: POP
00000423: PUSH2 0x043c
00000426: PUSH1 0x04
00000428: DUP1
00000429: CALLDATASIZE
0000042a: SUB
0000042b: DUP2
0000042c: ADD
0000042d: SWAP1
0000042e: PUSH2 0x0437
00000431: SWAP2
00000432: SWAP1
00000433: PUSH2 0x262e
00000436: JUMP
00000437: JUMPDEST
00000438: PUSH2 0x1c43
0000043b: JUMP
0000043c: JUMPDEST
0000043d: STOP
0000043e: JUMPDEST
0000043f: CALLVALUE
00000440: DUP1
00000441: ISZERO
00000442: PUSH2 0x044a
00000445: JUMPI
00000446: PUSH1 0x00
00000448: DUP1
00000449: REVERT
0000044a: JUMPDEST
0000044b: POP
0000044c: PUSH2 0x0465
0000044f: PUSH1 0x04
00000451: DUP1
00000452: CALLDATASIZE
00000453: SUB
00000454: DUP2
00000455: ADD
00000456: SWAP1
00000457: PUSH2 0x0460
0000045a: SWAP2
0000045b: SWAP1
0000045c: PUSH2 0x253e
0000045f: JUMP
00000460: JUMPDEST
00000461: PUSH2 0x2200
00000464: JUMP
00000465: JUMPDEST
00000466: STOP
00000467: JUMPDEST
00000468: PUSH1 0x00
0000046a: DUP1
0000046b: SLOAD
0000046c: PUSH2 0x0474
0000046f: SWAP1
00000470: PUSH2 0x2eca
00000473: JUMP
00000474: JUMPDEST
00000475: DUP1
00000476: PUSH1 0x1f
00000478: ADD
00000479: PUSH1 0x20
0000047b: DUP1
0000047c: SWAP2
0000047d: DIV
0000047e: MUL
0000047f: PUSH1 0x20
00000481: ADD
00000482: PUSH1 0x40
00000484: MLOAD
00000485: SWAP1
00000486: DUP2
00000487: ADD
00000488: PUSH1 0x40
0000048a: MSTORE
0000048b: DUP1
0000048c: SWAP3
0000048d: SWAP2
0000048e: SWAP1
0000048f: DUP2
00000490: DUP2
00000491: MSTORE
00000492: PUSH1 0x20
00000494: ADD
00000495: DUP3
00000496: DUP1
00000497: SLOAD
00000498: PUSH2 0x04a0
0000049b: SWAP1
0000049c: PUSH2 0x2eca
0000049f: JUMP
000004a0: JUMPDEST
000004a1: DUP1
000004a2: ISZERO
000004a3: PUSH2 0x04ed
000004a6: JUMPI
000004a7: DUP1
000004a8: PUSH1 0x1f
000004aa: LT
000004ab: PUSH2 0x04c2
000004ae: JUMPI
000004af: PUSH2 0x0100
000004b2: DUP1
000004b3: DUP4
000004b4: SLOAD
000004b5: DIV
000004b6: MUL
000004b7: DUP4
000004b8: MSTORE
000004b9: SWAP2
000004ba: PUSH1 0x20
000004bc: ADD
000004bd: SWAP2
000004be: PUSH2 0x04ed
000004c1: JUMP
000004c2: JUMPDEST
000004c3: DUP3
000004c4: ADD
000004c5: SWAP2
000004c6: SWAP1
000004c7: PUSH1 0x00
000004c9: MSTORE
000004ca: PUSH1 0x20
000004cc: PUSH1 0x00
000004ce: KECCAK256
000004cf: SWAP1
000004d0: JUMPDEST
000004d1: DUP2
000004d2: SLOAD
000004d3: DUP2
000004d4: MSTORE
000004d5: SWAP1
000004d6: PUSH1 0x01
000004d8: ADD
000004d9: SWAP1
000004da: PUSH1 0x20
000004dc: ADD
000004dd: DUP1
000004de: DUP4
000004df: GT
000004e0: PUSH2 0x04d0
000004e3: JUMPI
000004e4: DUP3
000004e5: SWAP1
000004e6: SUB
000004e7: PUSH1 0x1f
000004e9: AND
000004ea: DUP3
000004eb: ADD
000004ec: SWAP2
000004ed: JUMPDEST
000004ee: POP
000004ef: POP
000004f0: POP
000004f1: POP
000004f2: POP
000004f3: DUP2
000004f4: JUMP
000004f5: JUMPDEST
000004f6: PUSH1 0x00
000004f8: DUP2
000004f9: PUSH1 0x05
000004fb: PUSH1 0x00
000004fd: CALLER
000004fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000513: AND
00000514: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000529: AND
0000052a: DUP2
0000052b: MSTORE
0000052c: PUSH1 0x20
0000052e: ADD
0000052f: SWAP1
00000530: DUP2
00000531: MSTORE
00000532: PUSH1 0x20
00000534: ADD
00000535: PUSH1 0x00
00000537: KECCAK256
00000538: PUSH1 0x00
0000053a: DUP6
0000053b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000550: AND
00000551: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000566: AND
00000567: DUP2
00000568: MSTORE
00000569: PUSH1 0x20
0000056b: ADD
0000056c: SWAP1
0000056d: DUP2
0000056e: MSTORE
0000056f: PUSH1 0x20
00000571: ADD
00000572: PUSH1 0x00
00000574: KECCAK256
00000575: DUP2
00000576: SWAP1
00000577: SSTORE
00000578: POP
00000579: DUP3
0000057a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000058f: AND
00000590: CALLER
00000591: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005a6: AND
000005a7: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000005c8: DUP5
000005c9: PUSH1 0x40
000005cb: MLOAD
000005cc: PUSH2 0x05d5
000005cf: SWAP2
000005d0: SWAP1
000005d1: PUSH2 0x2cb2
000005d4: JUMP
000005d5: JUMPDEST
000005d6: PUSH1 0x40
000005d8: MLOAD
000005d9: DUP1
000005da: SWAP2
000005db: SUB
000005dc: SWAP1
000005dd: LOG3
000005de: PUSH1 0x01
000005e0: SWAP1
000005e1: POP
000005e2: SWAP3
000005e3: SWAP2
000005e4: POP
000005e5: POP
000005e6: JUMP
000005e7: JUMPDEST
000005e8: PUSH1 0x06
000005ea: PUSH1 0x00
000005ec: SWAP1
000005ed: SLOAD
000005ee: SWAP1
000005ef: PUSH2 0x0100
000005f2: EXP
000005f3: SWAP1
000005f4: DIV
000005f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000060a: AND
0000060b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000620: AND
00000621: CALLER
00000622: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000637: AND
00000638: EQ
00000639: DUP1
0000063a: PUSH2 0x0690
0000063d: JUMPI
0000063e: POP
0000063f: PUSH1 0x07
00000641: PUSH1 0x00
00000643: SWAP1
00000644: SLOAD
00000645: SWAP1
00000646: PUSH2 0x0100
00000649: EXP
0000064a: SWAP1
0000064b: DIV
0000064c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000661: AND
00000662: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000677: AND
00000678: CALLER
00000679: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000068e: AND
0000068f: EQ
00000690: JUMPDEST
00000691: PUSH2 0x06cf
00000694: JUMPI
00000695: PUSH1 0x40
00000697: MLOAD
00000698: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000006b9: DUP2
000006ba: MSTORE
000006bb: PUSH1 0x04
000006bd: ADD
000006be: PUSH2 0x06c6
000006c1: SWAP1
000006c2: PUSH2 0x2b92
000006c5: JUMP
000006c6: JUMPDEST
000006c7: PUSH1 0x40
000006c9: MLOAD
000006ca: DUP1
000006cb: SWAP2
000006cc: SUB
000006cd: SWAP1
000006ce: REVERT
000006cf: JUMPDEST
000006d0: PUSH1 0x64
000006d2: DUP3
000006d3: GT
000006d4: ISZERO
000006d5: PUSH2 0x0713
000006d8: JUMPI
000006d9: PUSH1 0x40
000006db: MLOAD
000006dc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000006fd: DUP2
000006fe: MSTORE
000006ff: PUSH1 0x04
00000701: ADD
00000702: PUSH2 0x070a
00000705: SWAP1
00000706: PUSH2 0x2c52
00000709: JUMP
0000070a: JUMPDEST
0000070b: PUSH1 0x40
0000070d: MLOAD
0000070e: DUP1
0000070f: SWAP2
00000710: SUB
00000711: SWAP1
00000712: REVERT
00000713: JUMPDEST
00000714: PUSH1 0x64
00000716: DUP2
00000717: GT
00000718: ISZERO
00000719: PUSH2 0x0757
0000071c: JUMPI
0000071d: PUSH1 0x40
0000071f: MLOAD
00000720: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000741: DUP2
00000742: MSTORE
00000743: PUSH1 0x04
00000745: ADD
00000746: PUSH2 0x074e
00000749: SWAP1
0000074a: PUSH2 0x2c72
0000074d: JUMP
0000074e: JUMPDEST
0000074f: PUSH1 0x40
00000751: MLOAD
00000752: DUP1
00000753: SWAP2
00000754: SUB
00000755: SWAP1
00000756: REVERT
00000757: JUMPDEST
00000758: DUP2
00000759: PUSH1 0x08
0000075b: DUP2
0000075c: SWAP1
0000075d: SSTORE
0000075e: POP
0000075f: DUP1
00000760: PUSH1 0x09
00000762: DUP2
00000763: SWAP1
00000764: SSTORE
00000765: POP
00000766: PUSH32 0x5c6323bf1c2d7aaea2c091a4751c1c87af7f2864650c336507a77d0557af37a1
00000787: DUP3
00000788: DUP3
00000789: PUSH1 0x40
0000078b: MLOAD
0000078c: PUSH2 0x0796
0000078f: SWAP3
00000790: SWAP2
00000791: SWAP1
00000792: PUSH2 0x2ccd
00000795: JUMP
00000796: JUMPDEST
00000797: PUSH1 0x40
00000799: MLOAD
0000079a: DUP1
0000079b: SWAP2
0000079c: SUB
0000079d: SWAP1
0000079e: LOG1
0000079f: POP
000007a0: POP
000007a1: JUMP
000007a2: JUMPDEST
000007a3: PUSH1 0x02
000007a5: SLOAD
000007a6: DUP2
000007a7: JUMP
000007a8: JUMPDEST
000007a9: PUSH1 0x00
000007ab: DUP2
000007ac: PUSH1 0x04
000007ae: PUSH1 0x00
000007b0: DUP7
000007b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c6: AND
000007c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007dc: AND
000007dd: DUP2
000007de: MSTORE
000007df: PUSH1 0x20
000007e1: ADD
000007e2: SWAP1
000007e3: DUP2
000007e4: MSTORE
000007e5: PUSH1 0x20
000007e7: ADD
000007e8: PUSH1 0x00
000007ea: KECCAK256
000007eb: SLOAD
000007ec: LT
000007ed: ISZERO
000007ee: PUSH2 0x082c
000007f1: JUMPI
000007f2: PUSH1 0x40
000007f4: MLOAD
000007f5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000816: DUP2
00000817: MSTORE
00000818: PUSH1 0x04
0000081a: ADD
0000081b: PUSH2 0x0823
0000081e: SWAP1
0000081f: PUSH2 0x2b72
00000822: JUMP
00000823: JUMPDEST
00000824: PUSH1 0x40
00000826: MLOAD
00000827: DUP1
00000828: SWAP2
00000829: SUB
0000082a: SWAP1
0000082b: REVERT
0000082c: JUMPDEST
0000082d: DUP2
0000082e: PUSH1 0x05
00000830: PUSH1 0x00
00000832: DUP7
00000833: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000848: AND
00000849: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000085e: AND
0000085f: DUP2
00000860: MSTORE
00000861: PUSH1 0x20
00000863: ADD
00000864: SWAP1
00000865: DUP2
00000866: MSTORE
00000867: PUSH1 0x20
00000869: ADD
0000086a: PUSH1 0x00
0000086c: KECCAK256
0000086d: PUSH1 0x00
0000086f: CALLER
00000870: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000885: AND
00000886: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000089b: AND
0000089c: DUP2
0000089d: MSTORE
0000089e: PUSH1 0x20
000008a0: ADD
000008a1: SWAP1
000008a2: DUP2
000008a3: MSTORE
000008a4: PUSH1 0x20
000008a6: ADD
000008a7: PUSH1 0x00
000008a9: KECCAK256
000008aa: SLOAD
000008ab: LT
000008ac: ISZERO
000008ad: PUSH2 0x08eb
000008b0: JUMPI
000008b1: PUSH1 0x40
000008b3: MLOAD
000008b4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000008d5: DUP2
000008d6: MSTORE
000008d7: PUSH1 0x04
000008d9: ADD
000008da: PUSH2 0x08e2
000008dd: SWAP1
000008de: PUSH2 0x2b52
000008e1: JUMP
000008e2: JUMPDEST
000008e3: PUSH1 0x40
000008e5: MLOAD
000008e6: DUP1
000008e7: SWAP2
000008e8: SUB
000008e9: SWAP1
000008ea: REVERT
000008eb: JUMPDEST
000008ec: PUSH1 0x00
000008ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000903: AND
00000904: DUP4
00000905: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000091a: AND
0000091b: EQ
0000091c: ISZERO
0000091d: PUSH2 0x095b
00000920: JUMPI
00000921: PUSH1 0x40
00000923: MLOAD
00000924: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000945: DUP2
00000946: MSTORE
00000947: PUSH1 0x04
00000949: ADD
0000094a: PUSH2 0x0952
0000094d: SWAP1
0000094e: PUSH2 0x2bf2
00000951: JUMP
00000952: JUMPDEST
00000953: PUSH1 0x40
00000955: MLOAD
00000956: DUP1
00000957: SWAP2
00000958: SUB
00000959: SWAP1
0000095a: REVERT
0000095b: JUMPDEST
0000095c: PUSH1 0x00
0000095e: DUP1
0000095f: DUP4
00000960: SWAP1
00000961: POP
00000962: PUSH1 0x00
00000964: PUSH1 0x09
00000966: SLOAD
00000967: GT
00000968: DUP1
00000969: ISZERO
0000096a: PUSH2 0x09c1
0000096d: JUMPI
0000096e: POP
0000096f: PUSH1 0x07
00000971: PUSH1 0x00
00000973: SWAP1
00000974: SLOAD
00000975: SWAP1
00000976: PUSH2 0x0100
00000979: EXP
0000097a: SWAP1
0000097b: DIV
0000097c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000991: AND
00000992: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009a7: AND
000009a8: DUP7
000009a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009be: AND
000009bf: EQ
000009c0: ISZERO
000009c1: JUMPDEST
000009c2: ISZERO
000009c3: PUSH2 0x0a06
000009c6: JUMPI
000009c7: PUSH2 0x09ee
000009ca: PUSH1 0x64
000009cc: PUSH2 0x09e0
000009cf: PUSH1 0x09
000009d1: SLOAD
000009d2: DUP8
000009d3: PUSH2 0x238a
000009d6: SWAP1
000009d7: SWAP2
000009d8: SWAP1
000009d9: PUSH4 0xffffffff
000009de: AND
000009df: JUMP
000009e0: JUMPDEST
000009e1: PUSH2 0x2405
000009e4: SWAP1
000009e5: SWAP2
000009e6: SWAP1
000009e7: PUSH4 0xffffffff
000009ec: AND
000009ed: JUMP
000009ee: JUMPDEST
000009ef: SWAP2
000009f0: POP
000009f1: PUSH2 0x0a03
000009f4: DUP3
000009f5: DUP6
000009f6: PUSH2 0x245d
000009f9: SWAP1
000009fa: SWAP2
000009fb: SWAP1
000009fc: PUSH4 0xffffffff
00000a01: AND
00000a02: JUMP
00000a03: JUMPDEST
00000a04: SWAP1
00000a05: POP
00000a06: JUMPDEST
00000a07: PUSH2 0x0a58
00000a0a: DUP5
00000a0b: PUSH1 0x04
00000a0d: PUSH1 0x00
00000a0f: DUP10
00000a10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a25: AND
00000a26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a3b: AND
00000a3c: DUP2
00000a3d: MSTORE
00000a3e: PUSH1 0x20
00000a40: ADD
00000a41: SWAP1
00000a42: DUP2
00000a43: MSTORE
00000a44: PUSH1 0x20
00000a46: ADD
00000a47: PUSH1 0x00
00000a49: KECCAK256
00000a4a: SLOAD
00000a4b: PUSH2 0x245d
00000a4e: SWAP1
00000a4f: SWAP2
00000a50: SWAP1
00000a51: PUSH4 0xffffffff
00000a56: AND
00000a57: JUMP
00000a58: JUMPDEST
00000a59: PUSH1 0x04
00000a5b: PUSH1 0x00
00000a5d: DUP9
00000a5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a73: AND
00000a74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a89: AND
00000a8a: DUP2
00000a8b: MSTORE
00000a8c: PUSH1 0x20
00000a8e: ADD
00000a8f: SWAP1
00000a90: DUP2
00000a91: MSTORE
00000a92: PUSH1 0x20
00000a94: ADD
00000a95: PUSH1 0x00
00000a97: KECCAK256
00000a98: DUP2
00000a99: SWAP1
00000a9a: SSTORE
00000a9b: POP
00000a9c: PUSH2 0x0aed
00000a9f: DUP2
00000aa0: PUSH1 0x04
00000aa2: PUSH1 0x00
00000aa4: DUP9
00000aa5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aba: AND
00000abb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad0: AND
00000ad1: DUP2
00000ad2: MSTORE
00000ad3: PUSH1 0x20
00000ad5: ADD
00000ad6: SWAP1
00000ad7: DUP2
00000ad8: MSTORE
00000ad9: PUSH1 0x20
00000adb: ADD
00000adc: PUSH1 0x00
00000ade: KECCAK256
00000adf: SLOAD
00000ae0: PUSH2 0x24b6
00000ae3: SWAP1
00000ae4: SWAP2
00000ae5: SWAP1
00000ae6: PUSH4 0xffffffff
00000aeb: AND
00000aec: JUMP
00000aed: JUMPDEST
00000aee: PUSH1 0x04
00000af0: PUSH1 0x00
00000af2: DUP8
00000af3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b08: AND
00000b09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b1e: AND
00000b1f: DUP2
00000b20: MSTORE
00000b21: PUSH1 0x20
00000b23: ADD
00000b24: SWAP1
00000b25: DUP2
00000b26: MSTORE
00000b27: PUSH1 0x20
00000b29: ADD
00000b2a: PUSH1 0x00
00000b2c: KECCAK256
00000b2d: DUP2
00000b2e: SWAP1
00000b2f: SSTORE
00000b30: POP
00000b31: DUP5
00000b32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b47: AND
00000b48: DUP7
00000b49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b5e: AND
00000b5f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000b80: DUP4
00000b81: PUSH1 0x40
00000b83: MLOAD
00000b84: PUSH2 0x0b8d
00000b87: SWAP2
00000b88: SWAP1
00000b89: PUSH2 0x2cb2
00000b8c: JUMP
00000b8d: JUMPDEST
00000b8e: PUSH1 0x40
00000b90: MLOAD
00000b91: DUP1
00000b92: SWAP2
00000b93: SUB
00000b94: SWAP1
00000b95: LOG3
00000b96: PUSH1 0x00
00000b98: DUP3
00000b99: GT
00000b9a: ISZERO
00000b9b: PUSH2 0x0de7
00000b9e: JUMPI
00000b9f: PUSH1 0x00
00000ba1: PUSH20 0x5c69bee701ef814a2b6a3edd4b1652cb9cc5aa6f
00000bb6: SWAP1
00000bb7: POP
00000bb8: DUP1
00000bb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bce: AND
00000bcf: DUP7
00000bd0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000be5: AND
00000be6: EQ
00000be7: ISZERO
00000be8: PUSH2 0x0cea
00000beb: JUMPI
00000bec: PUSH2 0x0c3d
00000bef: DUP4
00000bf0: PUSH1 0x04
00000bf2: PUSH1 0x00
00000bf4: DUP5
00000bf5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c0a: AND
00000c0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c20: AND
00000c21: DUP2
00000c22: MSTORE
00000c23: PUSH1 0x20
00000c25: ADD
00000c26: SWAP1
00000c27: DUP2
00000c28: MSTORE
00000c29: PUSH1 0x20
00000c2b: ADD
00000c2c: PUSH1 0x00
00000c2e: KECCAK256
00000c2f: SLOAD
00000c30: PUSH2 0x24b6
00000c33: SWAP1
00000c34: SWAP2
00000c35: SWAP1
00000c36: PUSH4 0xffffffff
00000c3b: AND
00000c3c: JUMP
00000c3d: JUMPDEST
00000c3e: PUSH1 0x04
00000c40: PUSH1 0x00
00000c42: DUP4
00000c43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c58: AND
00000c59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c6e: AND
00000c6f: DUP2
00000c70: MSTORE
00000c71: PUSH1 0x20
00000c73: ADD
00000c74: SWAP1
00000c75: DUP2
00000c76: MSTORE
00000c77: PUSH1 0x20
00000c79: ADD
00000c7a: PUSH1 0x00
00000c7c: KECCAK256
00000c7d: DUP2
00000c7e: SWAP1
00000c7f: SSTORE
00000c80: POP
00000c81: DUP1
00000c82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c97: AND
00000c98: DUP8
00000c99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cae: AND
00000caf: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000cd0: DUP6
00000cd1: PUSH1 0x40
00000cd3: MLOAD
00000cd4: PUSH2 0x0cdd
00000cd7: SWAP2
00000cd8: SWAP1
00000cd9: PUSH2 0x2cb2
00000cdc: JUMP
00000cdd: JUMPDEST
00000cde: PUSH1 0x40
00000ce0: MLOAD
00000ce1: DUP1
00000ce2: SWAP2
00000ce3: SUB
00000ce4: SWAP1
00000ce5: LOG3
00000ce6: PUSH2 0x0de5
00000ce9: JUMP
00000cea: JUMPDEST
00000ceb: PUSH2 0x0d3c
00000cee: DUP4
00000cef: PUSH1 0x04
00000cf1: PUSH1 0x00
00000cf3: ADDRESS
00000cf4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d09: AND
00000d0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d1f: AND
00000d20: DUP2
00000d21: MSTORE
00000d22: PUSH1 0x20
00000d24: ADD
00000d25: SWAP1
00000d26: DUP2
00000d27: MSTORE
00000d28: PUSH1 0x20
00000d2a: ADD
00000d2b: PUSH1 0x00
00000d2d: KECCAK256
00000d2e: SLOAD
00000d2f: PUSH2 0x24b6
00000d32: SWAP1
00000d33: SWAP2
00000d34: SWAP1
00000d35: PUSH4 0xffffffff
00000d3a: AND
00000d3b: JUMP
00000d3c: JUMPDEST
00000d3d: PUSH1 0x04
00000d3f: PUSH1 0x00
00000d41: ADDRESS
00000d42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d57: AND
00000d58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d6d: AND
00000d6e: DUP2
00000d6f: MSTORE
00000d70: PUSH1 0x20
00000d72: ADD
00000d73: SWAP1
00000d74: DUP2
00000d75: MSTORE
00000d76: PUSH1 0x20
00000d78: ADD
00000d79: PUSH1 0x00
00000d7b: KECCAK256
00000d7c: DUP2
00000d7d: SWAP1
00000d7e: SSTORE
00000d7f: POP
00000d80: ADDRESS
00000d81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d96: AND
00000d97: DUP8
00000d98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dad: AND
00000dae: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000dcf: DUP6
00000dd0: PUSH1 0x40
00000dd2: MLOAD
00000dd3: PUSH2 0x0ddc
00000dd6: SWAP2
00000dd7: SWAP1
00000dd8: PUSH2 0x2cb2
00000ddb: JUMP
00000ddc: JUMPDEST
00000ddd: PUSH1 0x40
00000ddf: MLOAD
00000de0: DUP1
00000de1: SWAP2
00000de2: SUB
00000de3: SWAP1
00000de4: LOG3
00000de5: JUMPDEST
00000de6: POP
00000de7: JUMPDEST
00000de8: CALLER
00000de9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dfe: AND
00000dff: DUP7
00000e00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e15: AND
00000e16: EQ
00000e17: ISZERO
00000e18: DUP1
00000e19: ISZERO
00000e1a: PUSH2 0x0ebf
00000e1d: JUMPI
00000e1e: POP
00000e1f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000e40: PUSH1 0x05
00000e42: PUSH1 0x00
00000e44: DUP9
00000e45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e5a: AND
00000e5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e70: AND
00000e71: DUP2
00000e72: MSTORE
00000e73: PUSH1 0x20
00000e75: ADD
00000e76: SWAP1
00000e77: DUP2
00000e78: MSTORE
00000e79: PUSH1 0x20
00000e7b: ADD
00000e7c: PUSH1 0x00
00000e7e: KECCAK256
00000e7f: PUSH1 0x00
00000e81: CALLER
00000e82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e97: AND
00000e98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ead: AND
00000eae: DUP2
00000eaf: MSTORE
00000eb0: PUSH1 0x20
00000eb2: ADD
00000eb3: SWAP1
00000eb4: DUP2
00000eb5: MSTORE
00000eb6: PUSH1 0x20
00000eb8: ADD
00000eb9: PUSH1 0x00
00000ebb: KECCAK256
00000ebc: SLOAD
00000ebd: EQ
00000ebe: ISZERO
00000ebf: JUMPDEST
00000ec0: ISZERO
00000ec1: PUSH2 0x10b5
00000ec4: JUMPI
00000ec5: PUSH2 0x0f53
00000ec8: DUP5
00000ec9: PUSH1 0x05
00000ecb: PUSH1 0x00
00000ecd: DUP10
00000ece: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ee3: AND
00000ee4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef9: AND
00000efa: DUP2
00000efb: MSTORE
00000efc: PUSH1 0x20
00000efe: ADD
00000eff: SWAP1
00000f00: DUP2
00000f01: MSTORE
00000f02: PUSH1 0x20
00000f04: ADD
00000f05: PUSH1 0x00
00000f07: KECCAK256
00000f08: PUSH1 0x00
00000f0a: CALLER
00000f0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f20: AND
00000f21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f36: AND
00000f37: DUP2
00000f38: MSTORE
00000f39: PUSH1 0x20
00000f3b: ADD
00000f3c: SWAP1
00000f3d: DUP2
00000f3e: MSTORE
00000f3f: PUSH1 0x20
00000f41: ADD
00000f42: PUSH1 0x00
00000f44: KECCAK256
00000f45: SLOAD
00000f46: PUSH2 0x245d
00000f49: SWAP1
00000f4a: SWAP2
00000f4b: SWAP1
00000f4c: PUSH4 0xffffffff
00000f51: AND
00000f52: JUMP
00000f53: JUMPDEST
00000f54: PUSH1 0x05
00000f56: PUSH1 0x00
00000f58: DUP9
00000f59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f6e: AND
00000f6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f84: AND
00000f85: DUP2
00000f86: MSTORE
00000f87: PUSH1 0x20
00000f89: ADD
00000f8a: SWAP1
00000f8b: DUP2
00000f8c: MSTORE
00000f8d: PUSH1 0x20
00000f8f: ADD
00000f90: PUSH1 0x00
00000f92: KECCAK256
00000f93: PUSH1 0x00
00000f95: CALLER
00000f96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fab: AND
00000fac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fc1: AND
00000fc2: DUP2
00000fc3: MSTORE
00000fc4: PUSH1 0x20
00000fc6: ADD
00000fc7: SWAP1
00000fc8: DUP2
00000fc9: MSTORE
00000fca: PUSH1 0x20
00000fcc: ADD
00000fcd: PUSH1 0x00
00000fcf: KECCAK256
00000fd0: DUP2
00000fd1: SWAP1
00000fd2: SSTORE
00000fd3: POP
00000fd4: CALLER
00000fd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fea: AND
00000feb: DUP7
00000fec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001001: AND
00001002: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001023: PUSH1 0x05
00001025: PUSH1 0x00
00001027: DUP11
00001028: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000103d: AND
0000103e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001053: AND
00001054: DUP2
00001055: MSTORE
00001056: PUSH1 0x20
00001058: ADD
00001059: SWAP1
0000105a: DUP2
0000105b: MSTORE
0000105c: PUSH1 0x20
0000105e: ADD
0000105f: PUSH1 0x00
00001061: KECCAK256
00001062: PUSH1 0x00
00001064: CALLER
00001065: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000107a: AND
0000107b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001090: AND
00001091: DUP2
00001092: MSTORE
00001093: PUSH1 0x20
00001095: ADD
00001096: SWAP1
00001097: DUP2
00001098: MSTORE
00001099: PUSH1 0x20
0000109b: ADD
0000109c: PUSH1 0x00
0000109e: KECCAK256
0000109f: SLOAD
000010a0: PUSH1 0x40
000010a2: MLOAD
000010a3: PUSH2 0x10ac
000010a6: SWAP2
000010a7: SWAP1
000010a8: PUSH2 0x2cb2
000010ab: JUMP
000010ac: JUMPDEST
000010ad: PUSH1 0x40
000010af: MLOAD
000010b0: DUP1
000010b1: SWAP2
000010b2: SUB
000010b3: SWAP1
000010b4: LOG3
000010b5: JUMPDEST
000010b6: PUSH1 0x01
000010b8: SWAP3
000010b9: POP
000010ba: POP
000010bb: POP
000010bc: SWAP4
000010bd: SWAP3
000010be: POP
000010bf: POP
000010c0: POP
000010c1: JUMP
000010c2: JUMPDEST
000010c3: PUSH1 0x09
000010c5: SLOAD
000010c6: DUP2
000010c7: JUMP
000010c8: JUMPDEST
000010c9: PUSH1 0x03
000010cb: PUSH1 0x00
000010cd: SWAP1
000010ce: SLOAD
000010cf: SWAP1
000010d0: PUSH2 0x0100
000010d3: EXP
000010d4: SWAP1
000010d5: DIV
000010d6: PUSH1 0xff
000010d8: AND
000010d9: DUP2
000010da: JUMP
000010db: JUMPDEST
000010dc: PUSH1 0x08
000010de: SLOAD
000010df: DUP2
000010e0: JUMP
000010e1: JUMPDEST
000010e2: PUSH1 0x04
000010e4: PUSH1 0x20
000010e6: MSTORE
000010e7: DUP1
000010e8: PUSH1 0x00
000010ea: MSTORE
000010eb: PUSH1 0x40
000010ed: PUSH1 0x00
000010ef: KECCAK256
000010f0: PUSH1 0x00
000010f2: SWAP2
000010f3: POP
000010f4: SWAP1
000010f5: POP
000010f6: SLOAD
000010f7: DUP2
000010f8: JUMP
000010f9: JUMPDEST
000010fa: PUSH1 0x06
000010fc: PUSH1 0x00
000010fe: SWAP1
000010ff: SLOAD
00001100: SWAP1
00001101: PUSH2 0x0100
00001104: EXP
00001105: SWAP1
00001106: DIV
00001107: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000111c: AND
0000111d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001132: AND
00001133: CALLER
00001134: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001149: AND
0000114a: EQ
0000114b: PUSH2 0x1189
0000114e: JUMPI
0000114f: PUSH1 0x40
00001151: MLOAD
00001152: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001173: DUP2
00001174: MSTORE
00001175: PUSH1 0x04
00001177: ADD
00001178: PUSH2 0x1180
0000117b: SWAP1
0000117c: PUSH2 0x2b12
0000117f: JUMP
00001180: JUMPDEST
00001181: PUSH1 0x40
00001183: MLOAD
00001184: DUP1
00001185: SWAP2
00001186: SUB
00001187: SWAP1
00001188: REVERT
00001189: JUMPDEST
0000118a: PUSH1 0x00
0000118c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011a1: AND
000011a2: PUSH1 0x06
000011a4: PUSH1 0x00
000011a6: SWAP1
000011a7: SLOAD
000011a8: SWAP1
000011a9: PUSH2 0x0100
000011ac: EXP
000011ad: SWAP1
000011ae: DIV
000011af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011c4: AND
000011c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011da: AND
000011db: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000011fc: PUSH1 0x40
000011fe: MLOAD
000011ff: PUSH1 0x40
00001201: MLOAD
00001202: DUP1
00001203: SWAP2
00001204: SUB
00001205: SWAP1
00001206: LOG3
00001207: PUSH1 0x00
00001209: PUSH1 0x06
0000120b: PUSH1 0x00
0000120d: PUSH2 0x0100
00001210: EXP
00001211: DUP2
00001212: SLOAD
00001213: DUP2
00001214: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001229: MUL
0000122a: NOT
0000122b: AND
0000122c: SWAP1
0000122d: DUP4
0000122e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001243: AND
00001244: MUL
00001245: OR
00001246: SWAP1
00001247: SSTORE
00001248: POP
00001249: JUMP
0000124a: JUMPDEST
0000124b: PUSH1 0x07
0000124d: PUSH1 0x00
0000124f: SWAP1
00001250: SLOAD
00001251: SWAP1
00001252: PUSH2 0x0100
00001255: EXP
00001256: SWAP1
00001257: DIV
00001258: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000126d: AND
0000126e: DUP2
0000126f: JUMP
00001270: JUMPDEST
00001271: PUSH1 0x06
00001273: PUSH1 0x00
00001275: SWAP1
00001276: SLOAD
00001277: SWAP1
00001278: PUSH2 0x0100
0000127b: EXP
0000127c: SWAP1
0000127d: DIV
0000127e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001293: AND
00001294: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012a9: AND
000012aa: CALLER
000012ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012c0: AND
000012c1: EQ
000012c2: DUP1
000012c3: PUSH2 0x1319
000012c6: JUMPI
000012c7: POP
000012c8: PUSH1 0x07
000012ca: PUSH1 0x00
000012cc: SWAP1
000012cd: SLOAD
000012ce: SWAP1
000012cf: PUSH2 0x0100
000012d2: EXP
000012d3: SWAP1
000012d4: DIV
000012d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012ea: AND
000012eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001300: AND
00001301: CALLER
00001302: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001317: AND
00001318: EQ
00001319: JUMPDEST
0000131a: PUSH2 0x1358
0000131d: JUMPI
0000131e: PUSH1 0x40
00001320: MLOAD
00001321: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001342: DUP2
00001343: MSTORE
00001344: PUSH1 0x04
00001346: ADD
00001347: PUSH2 0x134f
0000134a: SWAP1
0000134b: PUSH2 0x2b92
0000134e: JUMP
0000134f: JUMPDEST
00001350: PUSH1 0x40
00001352: MLOAD
00001353: DUP1
00001354: SWAP2
00001355: SUB
00001356: SWAP1
00001357: REVERT
00001358: JUMPDEST
00001359: PUSH1 0x00
0000135b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001370: AND
00001371: DUP3
00001372: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001387: AND
00001388: EQ
00001389: ISZERO
0000138a: PUSH2 0x13c8
0000138d: JUMPI
0000138e: PUSH1 0x40
00001390: MLOAD
00001391: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000013b2: DUP2
000013b3: MSTORE
000013b4: PUSH1 0x04
000013b6: ADD
000013b7: PUSH2 0x13bf
000013ba: SWAP1
000013bb: PUSH2 0x2bf2
000013be: JUMP
000013bf: JUMPDEST
000013c0: PUSH1 0x40
000013c2: MLOAD
000013c3: DUP1
000013c4: SWAP2
000013c5: SUB
000013c6: SWAP1
000013c7: REVERT
000013c8: JUMPDEST
000013c9: PUSH1 0x00
000013cb: DUP2
000013cc: GT
000013cd: PUSH2 0x140b
000013d0: JUMPI
000013d1: PUSH1 0x40
000013d3: MLOAD
000013d4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000013f5: DUP2
000013f6: MSTORE
000013f7: PUSH1 0x04
000013f9: ADD
000013fa: PUSH2 0x1402
000013fd: SWAP1
000013fe: PUSH2 0x2b32
00001401: JUMP
00001402: JUMPDEST
00001403: PUSH1 0x40
00001405: MLOAD
00001406: DUP1
00001407: SWAP2
00001408: SUB
00001409: SWAP1
0000140a: REVERT
0000140b: JUMPDEST
0000140c: DUP1
0000140d: PUSH1 0x04
0000140f: PUSH1 0x00
00001411: DUP5
00001412: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001427: AND
00001428: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000143d: AND
0000143e: DUP2
0000143f: MSTORE
00001440: PUSH1 0x20
00001442: ADD
00001443: SWAP1
00001444: DUP2
00001445: MSTORE
00001446: PUSH1 0x20
00001448: ADD
00001449: PUSH1 0x00
0000144b: KECCAK256
0000144c: PUSH1 0x00
0000144e: DUP3
0000144f: DUP3
00001450: SLOAD
00001451: PUSH2 0x145a
00001454: SWAP2
00001455: SWAP1
00001456: PUSH2 0x2d2d
00001459: JUMP
0000145a: JUMPDEST
0000145b: SWAP3
0000145c: POP
0000145d: POP
0000145e: DUP2
0000145f: SWAP1
00001460: SSTORE
00001461: POP
00001462: DUP1
00001463: PUSH1 0x02
00001465: PUSH1 0x00
00001467: DUP3
00001468: DUP3
00001469: SLOAD
0000146a: PUSH2 0x1473
0000146d: SWAP2
0000146e: SWAP1
0000146f: PUSH2 0x2d2d
00001472: JUMP
00001473: JUMPDEST
00001474: SWAP3
00001475: POP
00001476: POP
00001477: DUP2
00001478: SWAP1
00001479: SSTORE
0000147a: POP
0000147b: DUP2
0000147c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001491: AND
00001492: PUSH1 0x00
00001494: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014a9: AND
000014aa: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000014cb: DUP4
000014cc: PUSH1 0x40
000014ce: MLOAD
000014cf: PUSH2 0x14d8
000014d2: SWAP2
000014d3: SWAP1
000014d4: PUSH2 0x2cb2
000014d7: JUMP
000014d8: JUMPDEST
000014d9: PUSH1 0x40
000014db: MLOAD
000014dc: DUP1
000014dd: SWAP2
000014de: SUB
000014df: SWAP1
000014e0: LOG3
000014e1: POP
000014e2: POP
000014e3: JUMP
000014e4: JUMPDEST
000014e5: PUSH1 0x06
000014e7: PUSH1 0x00
000014e9: SWAP1
000014ea: SLOAD
000014eb: SWAP1
000014ec: PUSH2 0x0100
000014ef: EXP
000014f0: SWAP1
000014f1: DIV
000014f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001507: AND
00001508: DUP2
00001509: JUMP
0000150a: JUMPDEST
0000150b: PUSH1 0x01
0000150d: DUP1
0000150e: SLOAD
0000150f: PUSH2 0x1517
00001512: SWAP1
00001513: PUSH2 0x2eca
00001516: JUMP
00001517: JUMPDEST
00001518: DUP1
00001519: PUSH1 0x1f
0000151b: ADD
0000151c: PUSH1 0x20
0000151e: DUP1
0000151f: SWAP2
00001520: DIV
00001521: MUL
00001522: PUSH1 0x20
00001524: ADD
00001525: PUSH1 0x40
00001527: MLOAD
00001528: SWAP1
00001529: DUP2
0000152a: ADD
0000152b: PUSH1 0x40
0000152d: MSTORE
0000152e: DUP1
0000152f: SWAP3
00001530: SWAP2
00001531: SWAP1
00001532: DUP2
00001533: DUP2
00001534: MSTORE
00001535: PUSH1 0x20
00001537: ADD
00001538: DUP3
00001539: DUP1
0000153a: SLOAD
0000153b: PUSH2 0x1543
0000153e: SWAP1
0000153f: PUSH2 0x2eca
00001542: JUMP
00001543: JUMPDEST
00001544: DUP1
00001545: ISZERO
00001546: PUSH2 0x1590
00001549: JUMPI
0000154a: DUP1
0000154b: PUSH1 0x1f
0000154d: LT
0000154e: PUSH2 0x1565
00001551: JUMPI
00001552: PUSH2 0x0100
00001555: DUP1
00001556: DUP4
00001557: SLOAD
00001558: DIV
00001559: MUL
0000155a: DUP4
0000155b: MSTORE
0000155c: SWAP2
0000155d: PUSH1 0x20
0000155f: ADD
00001560: SWAP2
00001561: PUSH2 0x1590
00001564: JUMP
00001565: JUMPDEST
00001566: DUP3
00001567: ADD
00001568: SWAP2
00001569: SWAP1
0000156a: PUSH1 0x00
0000156c: MSTORE
0000156d: PUSH1 0x20
0000156f: PUSH1 0x00
00001571: KECCAK256
00001572: SWAP1
00001573: JUMPDEST
00001574: DUP2
00001575: SLOAD
00001576: DUP2
00001577: MSTORE
00001578: SWAP1
00001579: PUSH1 0x01
0000157b: ADD
0000157c: SWAP1
0000157d: PUSH1 0x20
0000157f: ADD
00001580: DUP1
00001581: DUP4
00001582: GT
00001583: PUSH2 0x1573
00001586: JUMPI
00001587: DUP3
00001588: SWAP1
00001589: SUB
0000158a: PUSH1 0x1f
0000158c: AND
0000158d: DUP3
0000158e: ADD
0000158f: SWAP2
00001590: JUMPDEST
00001591: POP
00001592: POP
00001593: POP
00001594: POP
00001595: POP
00001596: DUP2
00001597: JUMP
00001598: JUMPDEST
00001599: PUSH1 0x00
0000159b: CALLVALUE
0000159c: GT
0000159d: PUSH2 0x15db
000015a0: JUMPI
000015a1: PUSH1 0x40
000015a3: MLOAD
000015a4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015c5: DUP2
000015c6: MSTORE
000015c7: PUSH1 0x04
000015c9: ADD
000015ca: PUSH2 0x15d2
000015cd: SWAP1
000015ce: PUSH2 0x2c32
000015d1: JUMP
000015d2: JUMPDEST
000015d3: PUSH1 0x40
000015d5: MLOAD
000015d6: DUP1
000015d7: SWAP2
000015d8: SUB
000015d9: SWAP1
000015da: REVERT
000015db: JUMPDEST
000015dc: PUSH1 0x00
000015de: CALLVALUE
000015df: SWAP1
000015e0: POP
000015e1: PUSH1 0x00
000015e3: PUSH1 0x08
000015e5: SLOAD
000015e6: GT
000015e7: ISZERO
000015e8: PUSH2 0x1899
000015eb: JUMPI
000015ec: PUSH1 0x00
000015ee: PUSH2 0x1615
000015f1: PUSH1 0x64
000015f3: PUSH2 0x1607
000015f6: PUSH1 0x08
000015f8: SLOAD
000015f9: DUP6
000015fa: PUSH2 0x238a
000015fd: SWAP1
000015fe: SWAP2
000015ff: SWAP1
00001600: PUSH4 0xffffffff
00001605: AND
00001606: JUMP
00001607: JUMPDEST
00001608: PUSH2 0x2405
0000160b: SWAP1
0000160c: SWAP2
0000160d: SWAP1
0000160e: PUSH4 0xffffffff
00001613: AND
00001614: JUMP
00001615: JUMPDEST
00001616: SWAP1
00001617: POP
00001618: PUSH1 0x00
0000161a: PUSH2 0x162c
0000161d: DUP3
0000161e: DUP5
0000161f: PUSH2 0x245d
00001622: SWAP1
00001623: SWAP2
00001624: SWAP1
00001625: PUSH4 0xffffffff
0000162a: AND
0000162b: JUMP
0000162c: JUMPDEST
0000162d: SWAP1
0000162e: POP
0000162f: PUSH2 0x16a2
00001632: DUP2
00001633: PUSH1 0x04
00001635: PUSH1 0x00
00001637: PUSH1 0x07
00001639: PUSH1 0x00
0000163b: SWAP1
0000163c: SLOAD
0000163d: SWAP1
0000163e: PUSH2 0x0100
00001641: EXP
00001642: SWAP1
00001643: DIV
00001644: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001659: AND
0000165a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000166f: AND
00001670: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001685: AND
00001686: DUP2
00001687: MSTORE
00001688: PUSH1 0x20
0000168a: ADD
0000168b: SWAP1
0000168c: DUP2
0000168d: MSTORE
0000168e: PUSH1 0x20
00001690: ADD
00001691: PUSH1 0x00
00001693: KECCAK256
00001694: SLOAD
00001695: PUSH2 0x24b6
00001698: SWAP1
00001699: SWAP2
0000169a: SWAP1
0000169b: PUSH4 0xffffffff
000016a0: AND
000016a1: JUMP
000016a2: JUMPDEST
000016a3: PUSH1 0x04
000016a5: PUSH1 0x00
000016a7: PUSH1 0x07
000016a9: PUSH1 0x00
000016ab: SWAP1
000016ac: SLOAD
000016ad: SWAP1
000016ae: PUSH2 0x0100
000016b1: EXP
000016b2: SWAP1
000016b3: DIV
000016b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016c9: AND
000016ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016df: AND
000016e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016f5: AND
000016f6: DUP2
000016f7: MSTORE
000016f8: PUSH1 0x20
000016fa: ADD
000016fb: SWAP1
000016fc: DUP2
000016fd: MSTORE
000016fe: PUSH1 0x20
00001700: ADD
00001701: PUSH1 0x00
00001703: KECCAK256
00001704: DUP2
00001705: SWAP1
00001706: SSTORE
00001707: POP
00001708: PUSH1 0x07
0000170a: PUSH1 0x00
0000170c: SWAP1
0000170d: SLOAD
0000170e: SWAP1
0000170f: PUSH2 0x0100
00001712: EXP
00001713: SWAP1
00001714: DIV
00001715: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000172a: AND
0000172b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001740: AND
00001741: ADDRESS
00001742: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001757: AND
00001758: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001779: DUP4
0000177a: PUSH1 0x40
0000177c: MLOAD
0000177d: PUSH2 0x1786
00001780: SWAP2
00001781: SWAP1
00001782: PUSH2 0x2cb2
00001785: JUMP
00001786: JUMPDEST
00001787: PUSH1 0x40
00001789: MLOAD
0000178a: DUP1
0000178b: SWAP2
0000178c: SUB
0000178d: SWAP1
0000178e: LOG3
0000178f: PUSH1 0x00
00001791: DUP3
00001792: GT
00001793: ISZERO
00001794: PUSH2 0x1892
00001797: JUMPI
00001798: PUSH2 0x17e9
0000179b: DUP3
0000179c: PUSH1 0x04
0000179e: PUSH1 0x00
000017a0: ADDRESS
000017a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017b6: AND
000017b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017cc: AND
000017cd: DUP2
000017ce: MSTORE
000017cf: PUSH1 0x20
000017d1: ADD
000017d2: SWAP1
000017d3: DUP2
000017d4: MSTORE
000017d5: PUSH1 0x20
000017d7: ADD
000017d8: PUSH1 0x00
000017da: KECCAK256
000017db: SLOAD
000017dc: PUSH2 0x24b6
000017df: SWAP1
000017e0: SWAP2
000017e1: SWAP1
000017e2: PUSH4 0xffffffff
000017e7: AND
000017e8: JUMP
000017e9: JUMPDEST
000017ea: PUSH1 0x04
000017ec: PUSH1 0x00
000017ee: ADDRESS
000017ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001804: AND
00001805: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000181a: AND
0000181b: DUP2
0000181c: MSTORE
0000181d: PUSH1 0x20
0000181f: ADD
00001820: SWAP1
00001821: DUP2
00001822: MSTORE
00001823: PUSH1 0x20
00001825: ADD
00001826: PUSH1 0x00
00001828: KECCAK256
00001829: DUP2
0000182a: SWAP1
0000182b: SSTORE
0000182c: POP
0000182d: ADDRESS
0000182e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001843: AND
00001844: ADDRESS
00001845: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000185a: AND
0000185b: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000187c: DUP5
0000187d: PUSH1 0x40
0000187f: MLOAD
00001880: PUSH2 0x1889
00001883: SWAP2
00001884: SWAP1
00001885: PUSH2 0x2cb2
00001888: JUMP
00001889: JUMPDEST
0000188a: PUSH1 0x40
0000188c: MLOAD
0000188d: DUP1
0000188e: SWAP2
0000188f: SUB
00001890: SWAP1
00001891: LOG3
00001892: JUMPDEST
00001893: POP
00001894: POP
00001895: PUSH2 0x19fa
00001898: JUMP
00001899: JUMPDEST
0000189a: PUSH2 0x190d
0000189d: DUP2
0000189e: PUSH1 0x04
000018a0: PUSH1 0x00
000018a2: PUSH1 0x07
000018a4: PUSH1 0x00
000018a6: SWAP1
000018a7: SLOAD
000018a8: SWAP1
000018a9: PUSH2 0x0100
000018ac: EXP
000018ad: SWAP1
000018ae: DIV
000018af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018c4: AND
000018c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018da: AND
000018db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018f0: AND
000018f1: DUP2
000018f2: MSTORE
000018f3: PUSH1 0x20
000018f5: ADD
000018f6: SWAP1
000018f7: DUP2
000018f8: MSTORE
000018f9: PUSH1 0x20
000018fb: ADD
000018fc: PUSH1 0x00
000018fe: KECCAK256
000018ff: SLOAD
00001900: PUSH2 0x24b6
00001903: SWAP1
00001904: SWAP2
00001905: SWAP1
00001906: PUSH4 0xffffffff
0000190b: AND
0000190c: JUMP
0000190d: JUMPDEST
0000190e: PUSH1 0x04
00001910: PUSH1 0x00
00001912: PUSH1 0x07
00001914: PUSH1 0x00
00001916: SWAP1
00001917: SLOAD
00001918: SWAP1
00001919: PUSH2 0x0100
0000191c: EXP
0000191d: SWAP1
0000191e: DIV
0000191f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001934: AND
00001935: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000194a: AND
0000194b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001960: AND
00001961: DUP2
00001962: MSTORE
00001963: PUSH1 0x20
00001965: ADD
00001966: SWAP1
00001967: DUP2
00001968: MSTORE
00001969: PUSH1 0x20
0000196b: ADD
0000196c: PUSH1 0x00
0000196e: KECCAK256
0000196f: DUP2
00001970: SWAP1
00001971: SSTORE
00001972: POP
00001973: PUSH1 0x07
00001975: PUSH1 0x00
00001977: SWAP1
00001978: SLOAD
00001979: SWAP1
0000197a: PUSH2 0x0100
0000197d: EXP
0000197e: SWAP1
0000197f: DIV
00001980: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001995: AND
00001996: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019ab: AND
000019ac: ADDRESS
000019ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019c2: AND
000019c3: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000019e4: DUP4
000019e5: PUSH1 0x40
000019e7: MLOAD
000019e8: PUSH2 0x19f1
000019eb: SWAP2
000019ec: SWAP1
000019ed: PUSH2 0x2cb2
000019f0: JUMP
000019f1: JUMPDEST
000019f2: PUSH1 0x40
000019f4: MLOAD
000019f5: DUP1
000019f6: SWAP2
000019f7: SUB
000019f8: SWAP1
000019f9: LOG3
000019fa: JUMPDEST
000019fb: POP
000019fc: JUMP
000019fd: JUMPDEST
000019fe: PUSH1 0x00
00001a00: DUP2
00001a01: PUSH1 0x04
00001a03: PUSH1 0x00
00001a05: CALLER
00001a06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a1b: AND
00001a1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a31: AND
00001a32: DUP2
00001a33: MSTORE
00001a34: PUSH1 0x20
00001a36: ADD
00001a37: SWAP1
00001a38: DUP2
00001a39: MSTORE
00001a3a: PUSH1 0x20
00001a3c: ADD
00001a3d: PUSH1 0x00
00001a3f: KECCAK256
00001a40: SLOAD
00001a41: LT
00001a42: ISZERO
00001a43: PUSH2 0x1a4b
00001a46: JUMPI
00001a47: PUSH1 0x00
00001a49: DUP1
00001a4a: REVERT
00001a4b: JUMPDEST
00001a4c: PUSH1 0x00
00001a4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a63: AND
00001a64: DUP4
00001a65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a7a: AND
00001a7b: EQ
00001a7c: ISZERO
00001a7d: PUSH2 0x1a85
00001a80: JUMPI
00001a81: PUSH1 0x00
00001a83: DUP1
00001a84: REVERT
00001a85: JUMPDEST
00001a86: PUSH2 0x1ad7
00001a89: DUP3
00001a8a: PUSH1 0x04
00001a8c: PUSH1 0x00
00001a8e: CALLER
00001a8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aa4: AND
00001aa5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aba: AND
00001abb: DUP2
00001abc: MSTORE
00001abd: PUSH1 0x20
00001abf: ADD
00001ac0: SWAP1
00001ac1: DUP2
00001ac2: MSTORE
00001ac3: PUSH1 0x20
00001ac5: ADD
00001ac6: PUSH1 0x00
00001ac8: KECCAK256
00001ac9: SLOAD
00001aca: PUSH2 0x245d
00001acd: SWAP1
00001ace: SWAP2
00001acf: SWAP1
00001ad0: PUSH4 0xffffffff
00001ad5: AND
00001ad6: JUMP
00001ad7: JUMPDEST
00001ad8: PUSH1 0x04
00001ada: PUSH1 0x00
00001adc: CALLER
00001add: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001af2: AND
00001af3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b08: AND
00001b09: DUP2
00001b0a: MSTORE
00001b0b: PUSH1 0x20
00001b0d: ADD
00001b0e: SWAP1
00001b0f: DUP2
00001b10: MSTORE
00001b11: PUSH1 0x20
00001b13: ADD
00001b14: PUSH1 0x00
00001b16: KECCAK256
00001b17: DUP2
00001b18: SWAP1
00001b19: SSTORE
00001b1a: POP
00001b1b: PUSH2 0x1b6c
00001b1e: DUP3
00001b1f: PUSH1 0x04
00001b21: PUSH1 0x00
00001b23: DUP7
00001b24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b39: AND
00001b3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b4f: AND
00001b50: DUP2
00001b51: MSTORE
00001b52: PUSH1 0x20
00001b54: ADD
00001b55: SWAP1
00001b56: DUP2
00001b57: MSTORE
00001b58: PUSH1 0x20
00001b5a: ADD
00001b5b: PUSH1 0x00
00001b5d: KECCAK256
00001b5e: SLOAD
00001b5f: PUSH2 0x24b6
00001b62: SWAP1
00001b63: SWAP2
00001b64: SWAP1
00001b65: PUSH4 0xffffffff
00001b6a: AND
00001b6b: JUMP
00001b6c: JUMPDEST
00001b6d: PUSH1 0x04
00001b6f: PUSH1 0x00
00001b71: DUP6
00001b72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b87: AND
00001b88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b9d: AND
00001b9e: DUP2
00001b9f: MSTORE
00001ba0: PUSH1 0x20
00001ba2: ADD
00001ba3: SWAP1
00001ba4: DUP2
00001ba5: MSTORE
00001ba6: PUSH1 0x20
00001ba8: ADD
00001ba9: PUSH1 0x00
00001bab: KECCAK256
00001bac: DUP2
00001bad: SWAP1
00001bae: SSTORE
00001baf: POP
00001bb0: DUP3
00001bb1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bc6: AND
00001bc7: CALLER
00001bc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bdd: AND
00001bde: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001bff: DUP5
00001c00: PUSH1 0x40
00001c02: MLOAD
00001c03: PUSH2 0x1c0c
00001c06: SWAP2
00001c07: SWAP1
00001c08: PUSH2 0x2cb2
00001c0b: JUMP
00001c0c: JUMPDEST
00001c0d: PUSH1 0x40
00001c0f: MLOAD
00001c10: DUP1
00001c11: SWAP2
00001c12: SUB
00001c13: SWAP1
00001c14: LOG3
00001c15: PUSH1 0x01
00001c17: SWAP1
00001c18: POP
00001c19: SWAP3
00001c1a: SWAP2
00001c1b: POP
00001c1c: POP
00001c1d: JUMP
00001c1e: JUMPDEST
00001c1f: PUSH1 0x05
00001c21: PUSH1 0x20
00001c23: MSTORE
00001c24: DUP2
00001c25: PUSH1 0x00
00001c27: MSTORE
00001c28: PUSH1 0x40
00001c2a: PUSH1 0x00
00001c2c: KECCAK256
00001c2d: PUSH1 0x20
00001c2f: MSTORE
00001c30: DUP1
00001c31: PUSH1 0x00
00001c33: MSTORE
00001c34: PUSH1 0x40
00001c36: PUSH1 0x00
00001c38: KECCAK256
00001c39: PUSH1 0x00
00001c3b: SWAP2
00001c3c: POP
00001c3d: SWAP2
00001c3e: POP
00001c3f: POP
00001c40: SLOAD
00001c41: DUP2
00001c42: JUMP
00001c43: JUMPDEST
00001c44: DUP1
00001c45: PUSH1 0x04
00001c47: PUSH1 0x00
00001c49: CALLER
00001c4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c5f: AND
00001c60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c75: AND
00001c76: DUP2
00001c77: MSTORE
00001c78: PUSH1 0x20
00001c7a: ADD
00001c7b: SWAP1
00001c7c: DUP2
00001c7d: MSTORE
00001c7e: PUSH1 0x20
00001c80: ADD
00001c81: PUSH1 0x00
00001c83: KECCAK256
00001c84: SLOAD
00001c85: LT
00001c86: ISZERO
00001c87: PUSH2 0x1cc5
00001c8a: JUMPI
00001c8b: PUSH1 0x40
00001c8d: MLOAD
00001c8e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001caf: DUP2
00001cb0: MSTORE
00001cb1: PUSH1 0x04
00001cb3: ADD
00001cb4: PUSH2 0x1cbc
00001cb7: SWAP1
00001cb8: PUSH2 0x2b72
00001cbb: JUMP
00001cbc: JUMPDEST
00001cbd: PUSH1 0x40
00001cbf: MLOAD
00001cc0: DUP1
00001cc1: SWAP2
00001cc2: SUB
00001cc3: SWAP1
00001cc4: REVERT
00001cc5: JUMPDEST
00001cc6: PUSH1 0x00
00001cc8: PUSH1 0x09
00001cca: SLOAD
00001ccb: GT
00001ccc: DUP1
00001ccd: ISZERO
00001cce: PUSH2 0x1d25
00001cd1: JUMPI
00001cd2: POP
00001cd3: PUSH1 0x07
00001cd5: PUSH1 0x00
00001cd7: SWAP1
00001cd8: SLOAD
00001cd9: SWAP1
00001cda: PUSH2 0x0100
00001cdd: EXP
00001cde: SWAP1
00001cdf: DIV
00001ce0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cf5: AND
00001cf6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d0b: AND
00001d0c: CALLER
00001d0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d22: AND
00001d23: EQ
00001d24: ISZERO
00001d25: JUMPDEST
00001d26: ISZERO
00001d27: PUSH2 0x206d
00001d2a: JUMPI
00001d2b: PUSH1 0x00
00001d2d: PUSH2 0x1d54
00001d30: PUSH1 0x64
00001d32: PUSH2 0x1d46
00001d35: PUSH1 0x09
00001d37: SLOAD
00001d38: DUP6
00001d39: PUSH2 0x238a
00001d3c: SWAP1
00001d3d: SWAP2
00001d3e: SWAP1
00001d3f: PUSH4 0xffffffff
00001d44: AND
00001d45: JUMP
00001d46: JUMPDEST
00001d47: PUSH2 0x2405
00001d4a: SWAP1
00001d4b: SWAP2
00001d4c: SWAP1
00001d4d: PUSH4 0xffffffff
00001d52: AND
00001d53: JUMP
00001d54: JUMPDEST
00001d55: SWAP1
00001d56: POP
00001d57: PUSH1 0x00
00001d59: PUSH2 0x1d6b
00001d5c: DUP3
00001d5d: DUP5
00001d5e: PUSH2 0x245d
00001d61: SWAP1
00001d62: SWAP2
00001d63: SWAP1
00001d64: PUSH4 0xffffffff
00001d69: AND
00001d6a: JUMP
00001d6b: JUMPDEST
00001d6c: SWAP1
00001d6d: POP
00001d6e: PUSH2 0x1dbf
00001d71: DUP4
00001d72: PUSH1 0x04
00001d74: PUSH1 0x00
00001d76: CALLER
00001d77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d8c: AND
00001d8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001da2: AND
00001da3: DUP2
00001da4: MSTORE
00001da5: PUSH1 0x20
00001da7: ADD
00001da8: SWAP1
00001da9: DUP2
00001daa: MSTORE
00001dab: PUSH1 0x20
00001dad: ADD
00001dae: PUSH1 0x00
00001db0: KECCAK256
00001db1: SLOAD
00001db2: PUSH2 0x245d
00001db5: SWAP1
00001db6: SWAP2
00001db7: SWAP1
00001db8: PUSH4 0xffffffff
00001dbd: AND
00001dbe: JUMP
00001dbf: JUMPDEST
00001dc0: PUSH1 0x04
00001dc2: PUSH1 0x00
00001dc4: CALLER
00001dc5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dda: AND
00001ddb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001df0: AND
00001df1: DUP2
00001df2: MSTORE
00001df3: PUSH1 0x20
00001df5: ADD
00001df6: SWAP1
00001df7: DUP2
00001df8: MSTORE
00001df9: PUSH1 0x20
00001dfb: ADD
00001dfc: PUSH1 0x00
00001dfe: KECCAK256
00001dff: DUP2
00001e00: SWAP1
00001e01: SSTORE
00001e02: POP
00001e03: PUSH2 0x1e76
00001e06: DUP2
00001e07: PUSH1 0x04
00001e09: PUSH1 0x00
00001e0b: PUSH1 0x07
00001e0d: PUSH1 0x00
00001e0f: SWAP1
00001e10: SLOAD
00001e11: SWAP1
00001e12: PUSH2 0x0100
00001e15: EXP
00001e16: SWAP1
00001e17: DIV
00001e18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e2d: AND
00001e2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e43: AND
00001e44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e59: AND
00001e5a: DUP2
00001e5b: MSTORE
00001e5c: PUSH1 0x20
00001e5e: ADD
00001e5f: SWAP1
00001e60: DUP2
00001e61: MSTORE
00001e62: PUSH1 0x20
00001e64: ADD
00001e65: PUSH1 0x00
00001e67: KECCAK256
00001e68: SLOAD
00001e69: PUSH2 0x24b6
00001e6c: SWAP1
00001e6d: SWAP2
00001e6e: SWAP1
00001e6f: PUSH4 0xffffffff
00001e74: AND
00001e75: JUMP
00001e76: JUMPDEST
00001e77: PUSH1 0x04
00001e79: PUSH1 0x00
00001e7b: PUSH1 0x07
00001e7d: PUSH1 0x00
00001e7f: SWAP1
00001e80: SLOAD
00001e81: SWAP1
00001e82: PUSH2 0x0100
00001e85: EXP
00001e86: SWAP1
00001e87: DIV
00001e88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e9d: AND
00001e9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eb3: AND
00001eb4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ec9: AND
00001eca: DUP2
00001ecb: MSTORE
00001ecc: PUSH1 0x20
00001ece: ADD
00001ecf: SWAP1
00001ed0: DUP2
00001ed1: MSTORE
00001ed2: PUSH1 0x20
00001ed4: ADD
00001ed5: PUSH1 0x00
00001ed7: KECCAK256
00001ed8: DUP2
00001ed9: SWAP1
00001eda: SSTORE
00001edb: POP
00001edc: PUSH1 0x07
00001ede: PUSH1 0x00
00001ee0: SWAP1
00001ee1: SLOAD
00001ee2: SWAP1
00001ee3: PUSH2 0x0100
00001ee6: EXP
00001ee7: SWAP1
00001ee8: DIV
00001ee9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001efe: AND
00001eff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f14: AND
00001f15: CALLER
00001f16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f2b: AND
00001f2c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001f4d: DUP4
00001f4e: PUSH1 0x40
00001f50: MLOAD
00001f51: PUSH2 0x1f5a
00001f54: SWAP2
00001f55: SWAP1
00001f56: PUSH2 0x2cb2
00001f59: JUMP
00001f5a: JUMPDEST
00001f5b: PUSH1 0x40
00001f5d: MLOAD
00001f5e: DUP1
00001f5f: SWAP2
00001f60: SUB
00001f61: SWAP1
00001f62: LOG3
00001f63: PUSH1 0x00
00001f65: DUP3
00001f66: GT
00001f67: ISZERO
00001f68: PUSH2 0x2066
00001f6b: JUMPI
00001f6c: PUSH2 0x1fbd
00001f6f: DUP3
00001f70: PUSH1 0x04
00001f72: PUSH1 0x00
00001f74: ADDRESS
00001f75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f8a: AND
00001f8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fa0: AND
00001fa1: DUP2
00001fa2: MSTORE
00001fa3: PUSH1 0x20
00001fa5: ADD
00001fa6: SWAP1
00001fa7: DUP2
00001fa8: MSTORE
00001fa9: PUSH1 0x20
00001fab: ADD
00001fac: PUSH1 0x00
00001fae: KECCAK256
00001faf: SLOAD
00001fb0: PUSH2 0x24b6
00001fb3: SWAP1
00001fb4: SWAP2
00001fb5: SWAP1
00001fb6: PUSH4 0xffffffff
00001fbb: AND
00001fbc: JUMP
00001fbd: JUMPDEST
00001fbe: PUSH1 0x04
00001fc0: PUSH1 0x00
00001fc2: ADDRESS
00001fc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fd8: AND
00001fd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fee: AND
00001fef: DUP2
00001ff0: MSTORE
00001ff1: PUSH1 0x20
00001ff3: ADD
00001ff4: SWAP1
00001ff5: DUP2
00001ff6: MSTORE
00001ff7: PUSH1 0x20
00001ff9: ADD
00001ffa: PUSH1 0x00
00001ffc: KECCAK256
00001ffd: DUP2
00001ffe: SWAP1
00001fff: SSTORE
00002000: POP
00002001: ADDRESS
00002002: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002017: AND
00002018: CALLER
00002019: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000202e: AND
0000202f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002050: DUP5
00002051: PUSH1 0x40
00002053: MLOAD
00002054: PUSH2 0x205d
00002057: SWAP2
00002058: SWAP1
00002059: PUSH2 0x2cb2
0000205c: JUMP
0000205d: JUMPDEST
0000205e: PUSH1 0x40
00002060: MLOAD
00002061: DUP1
00002062: SWAP2
00002063: SUB
00002064: SWAP1
00002065: LOG3
00002066: JUMPDEST
00002067: POP
00002068: POP
00002069: PUSH2 0x21fd
0000206c: JUMP
0000206d: JUMPDEST
0000206e: PUSH2 0x20bf
00002071: DUP2
00002072: PUSH1 0x04
00002074: PUSH1 0x00
00002076: CALLER
00002077: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000208c: AND
0000208d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020a2: AND
000020a3: DUP2
000020a4: MSTORE
000020a5: PUSH1 0x20
000020a7: ADD
000020a8: SWAP1
000020a9: DUP2
000020aa: MSTORE
000020ab: PUSH1 0x20
000020ad: ADD
000020ae: PUSH1 0x00
000020b0: KECCAK256
000020b1: SLOAD
000020b2: PUSH2 0x245d
000020b5: SWAP1
000020b6: SWAP2
000020b7: SWAP1
000020b8: PUSH4 0xffffffff
000020bd: AND
000020be: JUMP
000020bf: JUMPDEST
000020c0: PUSH1 0x04
000020c2: PUSH1 0x00
000020c4: CALLER
000020c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020da: AND
000020db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020f0: AND
000020f1: DUP2
000020f2: MSTORE
000020f3: PUSH1 0x20
000020f5: ADD
000020f6: SWAP1
000020f7: DUP2
000020f8: MSTORE
000020f9: PUSH1 0x20
000020fb: ADD
000020fc: PUSH1 0x00
000020fe: KECCAK256
000020ff: DUP2
00002100: SWAP1
00002101: SSTORE
00002102: POP
00002103: PUSH2 0x2154
00002106: DUP2
00002107: PUSH1 0x04
00002109: PUSH1 0x00
0000210b: ADDRESS
0000210c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002121: AND
00002122: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002137: AND
00002138: DUP2
00002139: MSTORE
0000213a: PUSH1 0x20
0000213c: ADD
0000213d: SWAP1
0000213e: DUP2
0000213f: MSTORE
00002140: PUSH1 0x20
00002142: ADD
00002143: PUSH1 0x00
00002145: KECCAK256
00002146: SLOAD
00002147: PUSH2 0x24b6
0000214a: SWAP1
0000214b: SWAP2
0000214c: SWAP1
0000214d: PUSH4 0xffffffff
00002152: AND
00002153: JUMP
00002154: JUMPDEST
00002155: PUSH1 0x04
00002157: PUSH1 0x00
00002159: ADDRESS
0000215a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000216f: AND
00002170: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002185: AND
00002186: DUP2
00002187: MSTORE
00002188: PUSH1 0x20
0000218a: ADD
0000218b: SWAP1
0000218c: DUP2
0000218d: MSTORE
0000218e: PUSH1 0x20
00002190: ADD
00002191: PUSH1 0x00
00002193: KECCAK256
00002194: DUP2
00002195: SWAP1
00002196: SSTORE
00002197: POP
00002198: ADDRESS
00002199: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021ae: AND
000021af: CALLER
000021b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021c5: AND
000021c6: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000021e7: DUP4
000021e8: PUSH1 0x40
000021ea: MLOAD
000021eb: PUSH2 0x21f4
000021ee: SWAP2
000021ef: SWAP1
000021f0: PUSH2 0x2cb2
000021f3: JUMP
000021f4: JUMPDEST
000021f5: PUSH1 0x40
000021f7: MLOAD
000021f8: DUP1
000021f9: SWAP2
000021fa: SUB
000021fb: SWAP1
000021fc: LOG3
000021fd: JUMPDEST
000021fe: POP
000021ff: JUMP
00002200: JUMPDEST
00002201: PUSH1 0x06
00002203: PUSH1 0x00
00002205: SWAP1
00002206: SLOAD
00002207: SWAP1
00002208: PUSH2 0x0100
0000220b: EXP
0000220c: SWAP1
0000220d: DIV
0000220e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002223: AND
00002224: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002239: AND
0000223a: CALLER
0000223b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002250: AND
00002251: EQ
00002252: PUSH2 0x2290
00002255: JUMPI
00002256: PUSH1 0x40
00002258: MLOAD
00002259: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000227a: DUP2
0000227b: MSTORE
0000227c: PUSH1 0x04
0000227e: ADD
0000227f: PUSH2 0x2287
00002282: SWAP1
00002283: PUSH2 0x2b12
00002286: JUMP
00002287: JUMPDEST
00002288: PUSH1 0x40
0000228a: MLOAD
0000228b: DUP1
0000228c: SWAP2
0000228d: SUB
0000228e: SWAP1
0000228f: REVERT
00002290: JUMPDEST
00002291: PUSH1 0x00
00002293: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022a8: AND
000022a9: DUP2
000022aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022bf: AND
000022c0: EQ
000022c1: ISZERO
000022c2: PUSH2 0x22ca
000022c5: JUMPI
000022c6: PUSH1 0x00
000022c8: DUP1
000022c9: REVERT
000022ca: JUMPDEST
000022cb: DUP1
000022cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022e1: AND
000022e2: PUSH1 0x06
000022e4: PUSH1 0x00
000022e6: SWAP1
000022e7: SLOAD
000022e8: SWAP1
000022e9: PUSH2 0x0100
000022ec: EXP
000022ed: SWAP1
000022ee: DIV
000022ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002304: AND
00002305: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000231a: AND
0000231b: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000233c: PUSH1 0x40
0000233e: MLOAD
0000233f: PUSH1 0x40
00002341: MLOAD
00002342: DUP1
00002343: SWAP2
00002344: SUB
00002345: SWAP1
00002346: LOG3
00002347: DUP1
00002348: PUSH1 0x06
0000234a: PUSH1 0x00
0000234c: PUSH2 0x0100
0000234f: EXP
00002350: DUP2
00002351: SLOAD
00002352: DUP2
00002353: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002368: MUL
00002369: NOT
0000236a: AND
0000236b: SWAP1
0000236c: DUP4
0000236d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002382: AND
00002383: MUL
00002384: OR
00002385: SWAP1
00002386: SSTORE
00002387: POP
00002388: POP
00002389: JUMP
0000238a: JUMPDEST
0000238b: PUSH1 0x00
0000238d: DUP1
0000238e: DUP4
0000238f: EQ
00002390: ISZERO
00002391: PUSH2 0x239d
00002394: JUMPI
00002395: PUSH1 0x00
00002397: SWAP1
00002398: POP
00002399: PUSH2 0x23ff
0000239c: JUMP
0000239d: JUMPDEST
0000239e: PUSH1 0x00
000023a0: DUP3
000023a1: DUP5
000023a2: PUSH2 0x23ab
000023a5: SWAP2
000023a6: SWAP1
000023a7: PUSH2 0x2db4
000023aa: JUMP
000023ab: JUMPDEST
000023ac: SWAP1
000023ad: POP
000023ae: DUP3
000023af: DUP5
000023b0: DUP3
000023b1: PUSH2 0x23ba
000023b4: SWAP2
000023b5: SWAP1
000023b6: PUSH2 0x2d83
000023b9: JUMP
000023ba: JUMPDEST
000023bb: EQ
000023bc: PUSH2 0x23fa
000023bf: JUMPI
000023c0: PUSH1 0x40
000023c2: MLOAD
000023c3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000023e4: DUP2
000023e5: MSTORE
000023e6: PUSH1 0x04
000023e8: ADD
000023e9: PUSH2 0x23f1
000023ec: SWAP1
000023ed: PUSH2 0x2c92
000023f0: JUMP
000023f1: JUMPDEST
000023f2: PUSH1 0x40
000023f4: MLOAD
000023f5: DUP1
000023f6: SWAP2
000023f7: SUB
000023f8: SWAP1
000023f9: REVERT
000023fa: JUMPDEST
000023fb: DUP1
000023fc: SWAP2
000023fd: POP
000023fe: POP
000023ff: JUMPDEST
00002400: SWAP3
00002401: SWAP2
00002402: POP
00002403: POP
00002404: JUMP
00002405: JUMPDEST
00002406: PUSH1 0x00
00002408: DUP1
00002409: DUP3
0000240a: GT
0000240b: PUSH2 0x2449
0000240e: JUMPI
0000240f: PUSH1 0x40
00002411: MLOAD
00002412: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002433: DUP2
00002434: MSTORE
00002435: PUSH1 0x04
00002437: ADD
00002438: PUSH2 0x2440
0000243b: SWAP1
0000243c: PUSH2 0x2c12
0000243f: JUMP
00002440: JUMPDEST
00002441: PUSH1 0x40
00002443: MLOAD
00002444: DUP1
00002445: SWAP2
00002446: SUB
00002447: SWAP1
00002448: REVERT
00002449: JUMPDEST
0000244a: DUP2
0000244b: DUP4
0000244c: PUSH2 0x2455
0000244f: SWAP2
00002450: SWAP1
00002451: PUSH2 0x2d83
00002454: JUMP
00002455: JUMPDEST
00002456: SWAP1
00002457: POP
00002458: SWAP3
00002459: SWAP2
0000245a: POP
0000245b: POP
0000245c: JUMP
0000245d: JUMPDEST
0000245e: PUSH1 0x00
00002460: DUP3
00002461: DUP3
00002462: GT
00002463: ISZERO
00002464: PUSH2 0x24a2
00002467: JUMPI
00002468: PUSH1 0x40
0000246a: MLOAD
0000246b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000248c: DUP2
0000248d: MSTORE
0000248e: PUSH1 0x04
00002490: ADD
00002491: PUSH2 0x2499
00002494: SWAP1
00002495: PUSH2 0x2bb2
00002498: JUMP
00002499: JUMPDEST
0000249a: PUSH1 0x40
0000249c: MLOAD
0000249d: DUP1
0000249e: SWAP2
0000249f: SUB
000024a0: SWAP1
000024a1: REVERT
000024a2: JUMPDEST
000024a3: DUP2
000024a4: DUP4
000024a5: PUSH2 0x24ae
000024a8: SWAP2
000024a9: SWAP1
000024aa: PUSH2 0x2e0e
000024ad: JUMP
000024ae: JUMPDEST
000024af: SWAP1
000024b0: POP
000024b1: SWAP3
000024b2: SWAP2
000024b3: POP
000024b4: POP
000024b5: JUMP
000024b6: JUMPDEST
000024b7: PUSH1 0x00
000024b9: DUP1
000024ba: DUP3
000024bb: DUP5
000024bc: PUSH2 0x24c5
000024bf: SWAP2
000024c0: SWAP1
000024c1: PUSH2 0x2d2d
000024c4: JUMP
000024c5: JUMPDEST
000024c6: SWAP1
000024c7: POP
000024c8: DUP4
000024c9: DUP2
000024ca: LT
000024cb: ISZERO
000024cc: PUSH2 0x250a
000024cf: JUMPI
000024d0: PUSH1 0x40
000024d2: MLOAD
000024d3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000024f4: DUP2
000024f5: MSTORE
000024f6: PUSH1 0x04
000024f8: ADD
000024f9: PUSH2 0x2501
000024fc: SWAP1
000024fd: PUSH2 0x2bd2
00002500: JUMP
00002501: JUMPDEST
00002502: PUSH1 0x40
00002504: MLOAD
00002505: DUP1
00002506: SWAP2
00002507: SUB
00002508: SWAP1
00002509: REVERT
0000250a: JUMPDEST
0000250b: DUP1
0000250c: SWAP2
0000250d: POP
0000250e: POP
0000250f: SWAP3
00002510: SWAP2
00002511: POP
00002512: POP
00002513: JUMP
00002514: JUMPDEST
00002515: PUSH1 0x00
00002517: DUP2
00002518: CALLDATALOAD
00002519: SWAP1
0000251a: POP
0000251b: PUSH2 0x2523
0000251e: DUP2
0000251f: PUSH2 0x2f9a
00002522: JUMP
00002523: JUMPDEST
00002524: SWAP3
00002525: SWAP2
00002526: POP
00002527: POP
00002528: JUMP
00002529: JUMPDEST
0000252a: PUSH1 0x00
0000252c: DUP2
0000252d: CALLDATALOAD
0000252e: SWAP1
0000252f: POP
00002530: PUSH2 0x2538
00002533: DUP2
00002534: PUSH2 0x2fb1
00002537: JUMP
00002538: JUMPDEST
00002539: SWAP3
0000253a: SWAP2
0000253b: POP
0000253c: POP
0000253d: JUMP
0000253e: JUMPDEST
0000253f: PUSH1 0x00
00002541: PUSH1 0x20
00002543: DUP3
00002544: DUP5
00002545: SUB
00002546: SLT
00002547: ISZERO
00002548: PUSH2 0x2550
0000254b: JUMPI
0000254c: PUSH1 0x00
0000254e: DUP1
0000254f: REVERT
00002550: JUMPDEST
00002551: PUSH1 0x00
00002553: PUSH2 0x255e
00002556: DUP5
00002557: DUP3
00002558: DUP6
00002559: ADD
0000255a: PUSH2 0x2514
0000255d: JUMP
0000255e: JUMPDEST
0000255f: SWAP2
00002560: POP
00002561: POP
00002562: SWAP3
00002563: SWAP2
00002564: POP
00002565: POP
00002566: JUMP
00002567: JUMPDEST
00002568: PUSH1 0x00
0000256a: DUP1
0000256b: PUSH1 0x40
0000256d: DUP4
0000256e: DUP6
0000256f: SUB
00002570: SLT
00002571: ISZERO
00002572: PUSH2 0x257a
00002575: JUMPI
00002576: PUSH1 0x00
00002578: DUP1
00002579: REVERT
0000257a: JUMPDEST
0000257b: PUSH1 0x00
0000257d: PUSH2 0x2588
00002580: DUP6
00002581: DUP3
00002582: DUP7
00002583: ADD
00002584: PUSH2 0x2514
00002587: JUMP
00002588: JUMPDEST
00002589: SWAP3
0000258a: POP
0000258b: POP
0000258c: PUSH1 0x20
0000258e: PUSH2 0x2599
00002591: DUP6
00002592: DUP3
00002593: DUP7
00002594: ADD
00002595: PUSH2 0x2514
00002598: JUMP
00002599: JUMPDEST
0000259a: SWAP2
0000259b: POP
0000259c: POP
0000259d: SWAP3
0000259e: POP
0000259f: SWAP3
000025a0: SWAP1
000025a1: POP
000025a2: JUMP
000025a3: JUMPDEST
000025a4: PUSH1 0x00
000025a6: DUP1
000025a7: PUSH1 0x00
000025a9: PUSH1 0x60
000025ab: DUP5
000025ac: DUP7
000025ad: SUB
000025ae: SLT
000025af: ISZERO
000025b0: PUSH2 0x25b8
000025b3: JUMPI
000025b4: PUSH1 0x00
000025b6: DUP1
000025b7: REVERT
000025b8: JUMPDEST
000025b9: PUSH1 0x00
000025bb: PUSH2 0x25c6
000025be: DUP7
000025bf: DUP3
000025c0: DUP8
000025c1: ADD
000025c2: PUSH2 0x2514
000025c5: JUMP
000025c6: JUMPDEST
000025c7: SWAP4
000025c8: POP
000025c9: POP
000025ca: PUSH1 0x20
000025cc: PUSH2 0x25d7
000025cf: DUP7
000025d0: DUP3
000025d1: DUP8
000025d2: ADD
000025d3: PUSH2 0x2514
000025d6: JUMP
000025d7: JUMPDEST
000025d8: SWAP3
000025d9: POP
000025da: POP
000025db: PUSH1 0x40
000025dd: PUSH2 0x25e8
000025e0: DUP7
000025e1: DUP3
000025e2: DUP8
000025e3: ADD
000025e4: PUSH2 0x2529
000025e7: JUMP
000025e8: JUMPDEST
000025e9: SWAP2
000025ea: POP
000025eb: POP
000025ec: SWAP3
000025ed: POP
000025ee: SWAP3
000025ef: POP
000025f0: SWAP3
000025f1: JUMP
000025f2: JUMPDEST
000025f3: PUSH1 0x00
000025f5: DUP1
000025f6: PUSH1 0x40
000025f8: DUP4
000025f9: DUP6
000025fa: SUB
000025fb: SLT
000025fc: ISZERO
000025fd: PUSH2 0x2605
00002600: JUMPI
00002601: PUSH1 0x00
00002603: DUP1
00002604: REVERT
00002605: JUMPDEST
00002606: PUSH1 0x00
00002608: PUSH2 0x2613
0000260b: DUP6
0000260c: DUP3
0000260d: DUP7
0000260e: ADD
0000260f: PUSH2 0x2514
00002612: JUMP
00002613: JUMPDEST
00002614: SWAP3
00002615: POP
00002616: POP
00002617: PUSH1 0x20
00002619: PUSH2 0x2624
0000261c: DUP6
0000261d: DUP3
0000261e: DUP7
0000261f: ADD
00002620: PUSH2 0x2529
00002623: JUMP
00002624: JUMPDEST
00002625: SWAP2
00002626: POP
00002627: POP
00002628: SWAP3
00002629: POP
0000262a: SWAP3
0000262b: SWAP1
0000262c: POP
0000262d: JUMP
0000262e: JUMPDEST
0000262f: PUSH1 0x00
00002631: PUSH1 0x20
00002633: DUP3
00002634: DUP5
00002635: SUB
00002636: SLT
00002637: ISZERO
00002638: PUSH2 0x2640
0000263b: JUMPI
0000263c: PUSH1 0x00
0000263e: DUP1
0000263f: REVERT
00002640: JUMPDEST
00002641: PUSH1 0x00
00002643: PUSH2 0x264e
00002646: DUP5
00002647: DUP3
00002648: DUP6
00002649: ADD
0000264a: PUSH2 0x2529
0000264d: JUMP
0000264e: JUMPDEST
0000264f: SWAP2
00002650: POP
00002651: POP
00002652: SWAP3
00002653: SWAP2
00002654: POP
00002655: POP
00002656: JUMP
00002657: JUMPDEST
00002658: PUSH1 0x00
0000265a: DUP1
0000265b: PUSH1 0x40
0000265d: DUP4
0000265e: DUP6
0000265f: SUB
00002660: SLT
00002661: ISZERO
00002662: PUSH2 0x266a
00002665: JUMPI
00002666: PUSH1 0x00
00002668: DUP1
00002669: REVERT
0000266a: JUMPDEST
0000266b: PUSH1 0x00
0000266d: PUSH2 0x2678
00002670: DUP6
00002671: DUP3
00002672: DUP7
00002673: ADD
00002674: PUSH2 0x2529
00002677: JUMP
00002678: JUMPDEST
00002679: SWAP3
0000267a: POP
0000267b: POP
0000267c: PUSH1 0x20
0000267e: PUSH2 0x2689
00002681: DUP6
00002682: DUP3
00002683: DUP7
00002684: ADD
00002685: PUSH2 0x2529
00002688: JUMP
00002689: JUMPDEST
0000268a: SWAP2
0000268b: POP
0000268c: POP
0000268d: SWAP3
0000268e: POP
0000268f: SWAP3
00002690: SWAP1
00002691: POP
00002692: JUMP
00002693: JUMPDEST
00002694: PUSH2 0x269c
00002697: DUP2
00002698: PUSH2 0x2e42
0000269b: JUMP
0000269c: JUMPDEST
0000269d: DUP3
0000269e: MSTORE
0000269f: POP
000026a0: POP
000026a1: JUMP
000026a2: JUMPDEST
000026a3: PUSH2 0x26ab
000026a6: DUP2
000026a7: PUSH2 0x2e54
000026aa: JUMP
000026ab: JUMPDEST
000026ac: DUP3
000026ad: MSTORE
000026ae: POP
000026af: POP
000026b0: JUMP
000026b1: JUMPDEST
000026b2: PUSH1 0x00
000026b4: PUSH2 0x26bc
000026b7: DUP3
000026b8: PUSH2 0x2d11
000026bb: JUMP
000026bc: JUMPDEST
000026bd: PUSH2 0x26c6
000026c0: DUP2
000026c1: DUP6
000026c2: PUSH2 0x2d1c
000026c5: JUMP
000026c6: JUMPDEST
000026c7: SWAP4
000026c8: POP
000026c9: PUSH2 0x26d6
000026cc: DUP2
000026cd: DUP6
000026ce: PUSH1 0x20
000026d0: DUP7
000026d1: ADD
000026d2: PUSH2 0x2e97
000026d5: JUMP
000026d6: JUMPDEST
000026d7: PUSH2 0x26df
000026da: DUP2
000026db: PUSH2 0x2f89
000026de: JUMP
000026df: JUMPDEST
000026e0: DUP5
000026e1: ADD
000026e2: SWAP2
000026e3: POP
000026e4: POP
000026e5: SWAP3
000026e6: SWAP2
000026e7: POP
000026e8: POP
000026e9: JUMP
000026ea: JUMPDEST
000026eb: PUSH1 0x00
000026ed: PUSH2 0x26f7
000026f0: PUSH1 0x26
000026f2: DUP4
000026f3: PUSH2 0x2d1c
000026f6: JUMP
000026f7: JUMPDEST
000026f8: SWAP2
000026f9: POP
000026fa: PUSH32 0x4f6e6c7920746865206f776e65722063616e2063616c6c20746869732066756e
0000271b: PUSH1 0x00
0000271d: DUP4
0000271e: ADD
0000271f: MSTORE
00002720: PUSH32 0x6374696f6e2e0000000000000000000000000000000000000000000000000000
00002741: PUSH1 0x20
00002743: DUP4
00002744: ADD
00002745: MSTORE
00002746: PUSH1 0x40
00002748: DUP3
00002749: ADD
0000274a: SWAP1
0000274b: POP
0000274c: SWAP2
0000274d: SWAP1
0000274e: POP
0000274f: JUMP
00002750: JUMPDEST
00002751: PUSH1 0x00
00002753: PUSH2 0x275d
00002756: PUSH1 0x0e
00002758: DUP4
00002759: PUSH2 0x2d1c
0000275c: JUMP
0000275d: JUMPDEST
0000275e: SWAP2
0000275f: POP
00002760: PUSH32 0x496e76616c696420616d6f756e74000000000000000000000000000000000000
00002781: PUSH1 0x00
00002783: DUP4
00002784: ADD
00002785: MSTORE
00002786: PUSH1 0x20
00002788: DUP3
00002789: ADD
0000278a: SWAP1
0000278b: POP
0000278c: SWAP2
0000278d: SWAP1
0000278e: POP
0000278f: JUMP
00002790: JUMPDEST
00002791: PUSH1 0x00
00002793: PUSH2 0x279d
00002796: PUSH1 0x16
00002798: DUP4
00002799: PUSH2 0x2d1c
0000279c: JUMP
0000279d: JUMPDEST
0000279e: SWAP2
0000279f: POP
000027a0: PUSH32 0x496e73756666696369656e7420616c6c6f77616e636500000000000000000000
000027c1: PUSH1 0x00
000027c3: DUP4
000027c4: ADD
000027c5: MSTORE
000027c6: PUSH1 0x20
000027c8: DUP3
000027c9: ADD
000027ca: SWAP1
000027cb: POP
000027cc: SWAP2
000027cd: SWAP1
000027ce: POP
000027cf: JUMP
000027d0: JUMPDEST
000027d1: PUSH1 0x00
000027d3: PUSH2 0x27dd
000027d6: PUSH1 0x14
000027d8: DUP4
000027d9: PUSH2 0x2d1c
000027dc: JUMP
000027dd: JUMPDEST
000027de: SWAP2
000027df: POP
000027e0: PUSH32 0x496e73756666696369656e742062616c616e6365000000000000000000000000
00002801: PUSH1 0x00
00002803: DUP4
00002804: ADD
00002805: MSTORE
00002806: PUSH1 0x20
00002808: DUP3
00002809: ADD
0000280a: SWAP1
0000280b: POP
0000280c: SWAP2
0000280d: SWAP1
0000280e: POP
0000280f: JUMP
00002810: JUMPDEST
00002811: PUSH1 0x00
00002813: PUSH2 0x281d
00002816: PUSH1 0x2f
00002818: DUP4
00002819: PUSH2 0x2d1c
0000281c: JUMP
0000281d: JUMPDEST
0000281e: SWAP2
0000281f: POP
00002820: PUSH32 0x4f6e6c7920617574686f72697a65642077616c6c6574732063616e2063616c6c
00002841: PUSH1 0x00
00002843: DUP4
00002844: ADD
00002845: MSTORE
00002846: PUSH32 0x20746869732066756e6374696f6e2e0000000000000000000000000000000000
00002867: PUSH1 0x20
00002869: DUP4
0000286a: ADD
0000286b: MSTORE
0000286c: PUSH1 0x40
0000286e: DUP3
0000286f: ADD
00002870: SWAP1
00002871: POP
00002872: SWAP2
00002873: SWAP1
00002874: POP
00002875: JUMP
00002876: JUMPDEST
00002877: PUSH1 0x00
00002879: PUSH2 0x2883
0000287c: PUSH1 0x14
0000287e: DUP4
0000287f: PUSH2 0x2d1c
00002882: JUMP
00002883: JUMPDEST
00002884: SWAP2
00002885: POP
00002886: PUSH32 0x5375627472616374696f6e206f766572666c6f77000000000000000000000000
000028a7: PUSH1 0x00
000028a9: DUP4
000028aa: ADD
000028ab: MSTORE
000028ac: PUSH1 0x20
000028ae: DUP3
000028af: ADD
000028b0: SWAP1
000028b1: POP
000028b2: SWAP2
000028b3: SWAP1
000028b4: POP
000028b5: JUMP
000028b6: JUMPDEST
000028b7: PUSH1 0x00
000028b9: PUSH2 0x28c3
000028bc: PUSH1 0x11
000028be: DUP4
000028bf: PUSH2 0x2d1c
000028c2: JUMP
000028c3: JUMPDEST
000028c4: SWAP2
000028c5: POP
000028c6: PUSH32 0x4164646974696f6e206f766572666c6f77000000000000000000000000000000
000028e7: PUSH1 0x00
000028e9: DUP4
000028ea: ADD
000028eb: MSTORE
000028ec: PUSH1 0x20
000028ee: DUP3
000028ef: ADD
000028f0: SWAP1
000028f1: POP
000028f2: SWAP2
000028f3: SWAP1
000028f4: POP
000028f5: JUMP
000028f6: JUMPDEST
000028f7: PUSH1 0x00
000028f9: PUSH2 0x2903
000028fc: PUSH1 0x19
000028fe: DUP4
000028ff: PUSH2 0x2d1c
00002902: JUMP
00002903: JUMPDEST
00002904: SWAP2
00002905: POP
00002906: PUSH32 0x496e76616c696420726563697069656e74206164647265737300000000000000
00002927: PUSH1 0x00
00002929: DUP4
0000292a: ADD
0000292b: MSTORE
0000292c: PUSH1 0x20
0000292e: DUP3
0000292f: ADD
00002930: SWAP1
00002931: POP
00002932: SWAP2
00002933: SWAP1
00002934: POP
00002935: JUMP
00002936: JUMPDEST
00002937: PUSH1 0x00
00002939: PUSH2 0x2943
0000293c: PUSH1 0x10
0000293e: DUP4
0000293f: PUSH2 0x2d1c
00002942: JUMP
00002943: JUMPDEST
00002944: SWAP2
00002945: POP
00002946: PUSH32 0x4469766973696f6e206279207a65726f00000000000000000000000000000000
00002967: PUSH1 0x00
00002969: DUP4
0000296a: ADD
0000296b: MSTORE
0000296c: PUSH1 0x20
0000296e: DUP3
0000296f: ADD
00002970: SWAP1
00002971: POP
00002972: SWAP2
00002973: SWAP1
00002974: POP
00002975: JUMP
00002976: JUMPDEST
00002977: PUSH1 0x00
00002979: PUSH2 0x2983
0000297c: PUSH1 0x23
0000297e: DUP4
0000297f: PUSH2 0x2d1c
00002982: JUMP
00002983: JUMPDEST
00002984: SWAP2
00002985: POP
00002986: PUSH32 0x45544820616d6f756e742073686f756c64206265206772656174657220746861
000029a7: PUSH1 0x00
000029a9: DUP4
000029aa: ADD
000029ab: MSTORE
000029ac: PUSH32 0x6e20300000000000000000000000000000000000000000000000000000000000
000029cd: PUSH1 0x20
000029cf: DUP4
000029d0: ADD
000029d1: MSTORE
000029d2: PUSH1 0x40
000029d4: DUP3
000029d5: ADD
000029d6: SWAP1
000029d7: POP
000029d8: SWAP2
000029d9: SWAP1
000029da: POP
000029db: JUMP
000029dc: JUMPDEST
000029dd: PUSH1 0x00
000029df: PUSH2 0x29e9
000029e2: PUSH1 0x1a
000029e4: DUP4
000029e5: PUSH2 0x2d1c
000029e8: JUMP
000029e9: JUMPDEST
000029ea: SWAP2
000029eb: POP
000029ec: PUSH32 0x427579206665652063616e6e6f74206578636565642031303025000000000000
00002a0d: PUSH1 0x00
00002a0f: DUP4
00002a10: ADD
00002a11: MSTORE
00002a12: PUSH1 0x20
00002a14: DUP3
00002a15: ADD
00002a16: SWAP1
00002a17: POP
00002a18: SWAP2
00002a19: SWAP1
00002a1a: POP
00002a1b: JUMP
00002a1c: JUMPDEST
00002a1d: PUSH1 0x00
00002a1f: PUSH2 0x2a29
00002a22: PUSH1 0x1b
00002a24: DUP4
00002a25: PUSH2 0x2d1c
00002a28: JUMP
00002a29: JUMPDEST
00002a2a: SWAP2
00002a2b: POP
00002a2c: PUSH32 0x53656c6c206665652063616e6e6f742065786365656420313030250000000000
00002a4d: PUSH1 0x00
00002a4f: DUP4
00002a50: ADD
00002a51: MSTORE
00002a52: PUSH1 0x20
00002a54: DUP3
00002a55: ADD
00002a56: SWAP1
00002a57: POP
00002a58: SWAP2
00002a59: SWAP1
00002a5a: POP
00002a5b: JUMP
00002a5c: JUMPDEST
00002a5d: PUSH1 0x00
00002a5f: PUSH2 0x2a69
00002a62: PUSH1 0x17
00002a64: DUP4
00002a65: PUSH2 0x2d1c
00002a68: JUMP
00002a69: JUMPDEST
00002a6a: SWAP2
00002a6b: POP
00002a6c: PUSH32 0x4d756c7469706c69636174696f6e206f766572666c6f77000000000000000000
00002a8d: PUSH1 0x00
00002a8f: DUP4
00002a90: ADD
00002a91: MSTORE
00002a92: PUSH1 0x20
00002a94: DUP3
00002a95: ADD
00002a96: SWAP1
00002a97: POP
00002a98: SWAP2
00002a99: SWAP1
00002a9a: POP
00002a9b: JUMP
00002a9c: JUMPDEST
00002a9d: PUSH2 0x2aa5
00002aa0: DUP2
00002aa1: PUSH2 0x2e80
00002aa4: JUMP
00002aa5: JUMPDEST
00002aa6: DUP3
00002aa7: MSTORE
00002aa8: POP
00002aa9: POP
00002aaa: JUMP
00002aab: JUMPDEST
00002aac: PUSH2 0x2ab4
00002aaf: DUP2
00002ab0: PUSH2 0x2e8a
00002ab3: JUMP
00002ab4: JUMPDEST
00002ab5: DUP3
00002ab6: MSTORE
00002ab7: POP
00002ab8: POP
00002ab9: JUMP
00002aba: JUMPDEST
00002abb: PUSH1 0x00
00002abd: PUSH1 0x20
00002abf: DUP3
00002ac0: ADD
00002ac1: SWAP1
00002ac2: POP
00002ac3: PUSH2 0x2acf
00002ac6: PUSH1 0x00
00002ac8: DUP4
00002ac9: ADD
00002aca: DUP5
00002acb: PUSH2 0x2693
00002ace: JUMP
00002acf: JUMPDEST
00002ad0: SWAP3
00002ad1: SWAP2
00002ad2: POP
00002ad3: POP
00002ad4: JUMP
00002ad5: JUMPDEST
00002ad6: PUSH1 0x00
00002ad8: PUSH1 0x20
00002ada: DUP3
00002adb: ADD
00002adc: SWAP1
00002add: POP
00002ade: PUSH2 0x2aea
00002ae1: PUSH1 0x00
00002ae3: DUP4
00002ae4: ADD
00002ae5: DUP5
00002ae6: PUSH2 0x26a2
00002ae9: JUMP
00002aea: JUMPDEST
00002aeb: SWAP3
00002aec: SWAP2
00002aed: POP
00002aee: POP
00002aef: JUMP
00002af0: JUMPDEST
00002af1: PUSH1 0x00
00002af3: PUSH1 0x20
00002af5: DUP3
00002af6: ADD
00002af7: SWAP1
00002af8: POP
00002af9: DUP2
00002afa: DUP2
00002afb: SUB
00002afc: PUSH1 0x00
00002afe: DUP4
00002aff: ADD
00002b00: MSTORE
00002b01: PUSH2 0x2b0a
00002b04: DUP2
00002b05: DUP5
00002b06: PUSH2 0x26b1
00002b09: JUMP
00002b0a: JUMPDEST
00002b0b: SWAP1
00002b0c: POP
00002b0d: SWAP3
00002b0e: SWAP2
00002b0f: POP
00002b10: POP
00002b11: JUMP
00002b12: JUMPDEST
00002b13: PUSH1 0x00
00002b15: PUSH1 0x20
00002b17: DUP3
00002b18: ADD
00002b19: SWAP1
00002b1a: POP
00002b1b: DUP2
00002b1c: DUP2
00002b1d: SUB
00002b1e: PUSH1 0x00
00002b20: DUP4
00002b21: ADD
00002b22: MSTORE
00002b23: PUSH2 0x2b2b
00002b26: DUP2
00002b27: PUSH2 0x26ea
00002b2a: JUMP
00002b2b: JUMPDEST
00002b2c: SWAP1
00002b2d: POP
00002b2e: SWAP2
00002b2f: SWAP1
00002b30: POP
00002b31: JUMP
00002b32: JUMPDEST
00002b33: PUSH1 0x00
00002b35: PUSH1 0x20
00002b37: DUP3
00002b38: ADD
00002b39: SWAP1
00002b3a: POP
00002b3b: DUP2
00002b3c: DUP2
00002b3d: SUB
00002b3e: PUSH1 0x00
00002b40: DUP4
00002b41: ADD
00002b42: MSTORE
00002b43: PUSH2 0x2b4b
00002b46: DUP2
00002b47: PUSH2 0x2750
00002b4a: JUMP
00002b4b: JUMPDEST
00002b4c: SWAP1
00002b4d: POP
00002b4e: SWAP2
00002b4f: SWAP1
00002b50: POP
00002b51: JUMP
00002b52: JUMPDEST
00002b53: PUSH1 0x00
00002b55: PUSH1 0x20
00002b57: DUP3
00002b58: ADD
00002b59: SWAP1
00002b5a: POP
00002b5b: DUP2
00002b5c: DUP2
00002b5d: SUB
00002b5e: PUSH1 0x00
00002b60: DUP4
00002b61: ADD
00002b62: MSTORE
00002b63: PUSH2 0x2b6b
00002b66: DUP2
00002b67: PUSH2 0x2790
00002b6a: JUMP
00002b6b: JUMPDEST
00002b6c: SWAP1
00002b6d: POP
00002b6e: SWAP2
00002b6f: SWAP1
00002b70: POP
00002b71: JUMP
00002b72: JUMPDEST
00002b73: PUSH1 0x00
00002b75: PUSH1 0x20
00002b77: DUP3
00002b78: ADD
00002b79: SWAP1
00002b7a: POP
00002b7b: DUP2
00002b7c: DUP2
00002b7d: SUB
00002b7e: PUSH1 0x00
00002b80: DUP4
00002b81: ADD
00002b82: MSTORE
00002b83: PUSH2 0x2b8b
00002b86: DUP2
00002b87: PUSH2 0x27d0
00002b8a: JUMP
00002b8b: JUMPDEST
00002b8c: SWAP1
00002b8d: POP
00002b8e: SWAP2
00002b8f: SWAP1
00002b90: POP
00002b91: JUMP
00002b92: JUMPDEST
00002b93: PUSH1 0x00
00002b95: PUSH1 0x20
00002b97: DUP3
00002b98: ADD
00002b99: SWAP1
00002b9a: POP
00002b9b: DUP2
00002b9c: DUP2
00002b9d: SUB
00002b9e: PUSH1 0x00
00002ba0: DUP4
00002ba1: ADD
00002ba2: MSTORE
00002ba3: PUSH2 0x2bab
00002ba6: DUP2
00002ba7: PUSH2 0x2810
00002baa: JUMP
00002bab: JUMPDEST
00002bac: SWAP1
00002bad: POP
00002bae: SWAP2
00002baf: SWAP1
00002bb0: POP
00002bb1: JUMP
00002bb2: JUMPDEST
00002bb3: PUSH1 0x00
00002bb5: PUSH1 0x20
00002bb7: DUP3
00002bb8: ADD
00002bb9: SWAP1
00002bba: POP
00002bbb: DUP2
00002bbc: DUP2
00002bbd: SUB
00002bbe: PUSH1 0x00
00002bc0: DUP4
00002bc1: ADD
00002bc2: MSTORE
00002bc3: PUSH2 0x2bcb
00002bc6: DUP2
00002bc7: PUSH2 0x2876
00002bca: JUMP
00002bcb: JUMPDEST
00002bcc: SWAP1
00002bcd: POP
00002bce: SWAP2
00002bcf: SWAP1
00002bd0: POP
00002bd1: JUMP
00002bd2: JUMPDEST
00002bd3: PUSH1 0x00
00002bd5: PUSH1 0x20
00002bd7: DUP3
00002bd8: ADD
00002bd9: SWAP1
00002bda: POP
00002bdb: DUP2
00002bdc: DUP2
00002bdd: SUB
00002bde: PUSH1 0x00
00002be0: DUP4
00002be1: ADD
00002be2: MSTORE
00002be3: PUSH2 0x2beb
00002be6: DUP2
00002be7: PUSH2 0x28b6
00002bea: JUMP
00002beb: JUMPDEST
00002bec: SWAP1
00002bed: POP
00002bee: SWAP2
00002bef: SWAP1
00002bf0: POP
00002bf1: JUMP
00002bf2: JUMPDEST
00002bf3: PUSH1 0x00
00002bf5: PUSH1 0x20
00002bf7: DUP3
00002bf8: ADD
00002bf9: SWAP1
00002bfa: POP
00002bfb: DUP2
00002bfc: DUP2
00002bfd: SUB
00002bfe: PUSH1 0x00
00002c00: DUP4
00002c01: ADD
00002c02: MSTORE
00002c03: PUSH2 0x2c0b
00002c06: DUP2
00002c07: PUSH2 0x28f6
00002c0a: JUMP
00002c0b: JUMPDEST
00002c0c: SWAP1
00002c0d: POP
00002c0e: SWAP2
00002c0f: SWAP1
00002c10: POP
00002c11: JUMP
00002c12: JUMPDEST
00002c13: PUSH1 0x00
00002c15: PUSH1 0x20
00002c17: DUP3
00002c18: ADD
00002c19: SWAP1
00002c1a: POP
00002c1b: DUP2
00002c1c: DUP2
00002c1d: SUB
00002c1e: PUSH1 0x00
00002c20: DUP4
00002c21: ADD
00002c22: MSTORE
00002c23: PUSH2 0x2c2b
00002c26: DUP2
00002c27: PUSH2 0x2936
00002c2a: JUMP
00002c2b: JUMPDEST
00002c2c: SWAP1
00002c2d: POP
00002c2e: SWAP2
00002c2f: SWAP1
00002c30: POP
00002c31: JUMP
00002c32: JUMPDEST
00002c33: PUSH1 0x00
00002c35: PUSH1 0x20
00002c37: DUP3
00002c38: ADD
00002c39: SWAP1
00002c3a: POP
00002c3b: DUP2
00002c3c: DUP2
00002c3d: SUB
00002c3e: PUSH1 0x00
00002c40: DUP4
00002c41: ADD
00002c42: MSTORE
00002c43: PUSH2 0x2c4b
00002c46: DUP2
00002c47: PUSH2 0x2976
00002c4a: JUMP
00002c4b: JUMPDEST
00002c4c: SWAP1
00002c4d: POP
00002c4e: SWAP2
00002c4f: SWAP1
00002c50: POP
00002c51: JUMP
00002c52: JUMPDEST
00002c53: PUSH1 0x00
00002c55: PUSH1 0x20
00002c57: DUP3
00002c58: ADD
00002c59: SWAP1
00002c5a: POP
00002c5b: DUP2
00002c5c: DUP2
00002c5d: SUB
00002c5e: PUSH1 0x00
00002c60: DUP4
00002c61: ADD
00002c62: MSTORE
00002c63: PUSH2 0x2c6b
00002c66: DUP2
00002c67: PUSH2 0x29dc
00002c6a: JUMP
00002c6b: JUMPDEST
00002c6c: SWAP1
00002c6d: POP
00002c6e: SWAP2
00002c6f: SWAP1
00002c70: POP
00002c71: JUMP
00002c72: JUMPDEST
00002c73: PUSH1 0x00
00002c75: PUSH1 0x20
00002c77: DUP3
00002c78: ADD
00002c79: SWAP1
00002c7a: POP
00002c7b: DUP2
00002c7c: DUP2
00002c7d: SUB
00002c7e: PUSH1 0x00
00002c80: DUP4
00002c81: ADD
00002c82: MSTORE
00002c83: PUSH2 0x2c8b
00002c86: DUP2
00002c87: PUSH2 0x2a1c
00002c8a: JUMP
00002c8b: JUMPDEST
00002c8c: SWAP1
00002c8d: POP
00002c8e: SWAP2
00002c8f: SWAP1
00002c90: POP
00002c91: JUMP
00002c92: JUMPDEST
00002c93: PUSH1 0x00
00002c95: PUSH1 0x20
00002c97: DUP3
00002c98: ADD
00002c99: SWAP1
00002c9a: POP
00002c9b: DUP2
00002c9c: DUP2
00002c9d: SUB
00002c9e: PUSH1 0x00
00002ca0: DUP4
00002ca1: ADD
00002ca2: MSTORE
00002ca3: PUSH2 0x2cab
00002ca6: DUP2
00002ca7: PUSH2 0x2a5c
00002caa: JUMP
00002cab: JUMPDEST
00002cac: SWAP1
00002cad: POP
00002cae: SWAP2
00002caf: SWAP1
00002cb0: POP
00002cb1: JUMP
00002cb2: JUMPDEST
00002cb3: PUSH1 0x00
00002cb5: PUSH1 0x20
00002cb7: DUP3
00002cb8: ADD
00002cb9: SWAP1
00002cba: POP
00002cbb: PUSH2 0x2cc7
00002cbe: PUSH1 0x00
00002cc0: DUP4
00002cc1: ADD
00002cc2: DUP5
00002cc3: PUSH2 0x2a9c
00002cc6: JUMP
00002cc7: JUMPDEST
00002cc8: SWAP3
00002cc9: SWAP2
00002cca: POP
00002ccb: POP
00002ccc: JUMP
00002ccd: JUMPDEST
00002cce: PUSH1 0x00
00002cd0: PUSH1 0x40
00002cd2: DUP3
00002cd3: ADD
00002cd4: SWAP1
00002cd5: POP
00002cd6: PUSH2 0x2ce2
00002cd9: PUSH1 0x00
00002cdb: DUP4
00002cdc: ADD
00002cdd: DUP6
00002cde: PUSH2 0x2a9c
00002ce1: JUMP
00002ce2: JUMPDEST
00002ce3: PUSH2 0x2cef
00002ce6: PUSH1 0x20
00002ce8: DUP4
00002ce9: ADD
00002cea: DUP5
00002ceb: PUSH2 0x2a9c
00002cee: JUMP
00002cef: JUMPDEST
00002cf0: SWAP4
00002cf1: SWAP3
00002cf2: POP
00002cf3: POP
00002cf4: POP
00002cf5: JUMP
00002cf6: JUMPDEST
00002cf7: PUSH1 0x00
00002cf9: PUSH1 0x20
00002cfb: DUP3
00002cfc: ADD
00002cfd: SWAP1
00002cfe: POP
00002cff: PUSH2 0x2d0b
00002d02: PUSH1 0x00
00002d04: DUP4
00002d05: ADD
00002d06: DUP5
00002d07: PUSH2 0x2aab
00002d0a: JUMP
00002d0b: JUMPDEST
00002d0c: SWAP3
00002d0d: SWAP2
00002d0e: POP
00002d0f: POP
00002d10: JUMP
00002d11: JUMPDEST
00002d12: PUSH1 0x00
00002d14: DUP2
00002d15: MLOAD
00002d16: SWAP1
00002d17: POP
00002d18: SWAP2
00002d19: SWAP1
00002d1a: POP
00002d1b: JUMP
00002d1c: JUMPDEST
00002d1d: PUSH1 0x00
00002d1f: DUP3
00002d20: DUP3
00002d21: MSTORE
00002d22: PUSH1 0x20
00002d24: DUP3
00002d25: ADD
00002d26: SWAP1
00002d27: POP
00002d28: SWAP3
00002d29: SWAP2
00002d2a: POP
00002d2b: POP
00002d2c: JUMP
00002d2d: JUMPDEST
00002d2e: PUSH1 0x00
00002d30: PUSH2 0x2d38
00002d33: DUP3
00002d34: PUSH2 0x2e80
00002d37: JUMP
00002d38: JUMPDEST
00002d39: SWAP2
00002d3a: POP
00002d3b: PUSH2 0x2d43
00002d3e: DUP4
00002d3f: PUSH2 0x2e80
00002d42: JUMP
00002d43: JUMPDEST
00002d44: SWAP3
00002d45: POP
00002d46: DUP3
00002d47: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002d68: SUB
00002d69: DUP3
00002d6a: GT
00002d6b: ISZERO
00002d6c: PUSH2 0x2d78
00002d6f: JUMPI
00002d70: PUSH2 0x2d77
00002d73: PUSH2 0x2efc
00002d76: JUMP
00002d77: JUMPDEST
00002d78: JUMPDEST
00002d79: DUP3
00002d7a: DUP3
00002d7b: ADD
00002d7c: SWAP1
00002d7d: POP
00002d7e: SWAP3
00002d7f: SWAP2
00002d80: POP
00002d81: POP
00002d82: JUMP
00002d83: JUMPDEST
00002d84: PUSH1 0x00
00002d86: PUSH2 0x2d8e
00002d89: DUP3
00002d8a: PUSH2 0x2e80
00002d8d: JUMP
00002d8e: JUMPDEST
00002d8f: SWAP2
00002d90: POP
00002d91: PUSH2 0x2d99
00002d94: DUP4
00002d95: PUSH2 0x2e80
00002d98: JUMP
00002d99: JUMPDEST
00002d9a: SWAP3
00002d9b: POP
00002d9c: DUP3
00002d9d: PUSH2 0x2da9
00002da0: JUMPI
00002da1: PUSH2 0x2da8
00002da4: PUSH2 0x2f2b
00002da7: JUMP
00002da8: JUMPDEST
00002da9: JUMPDEST
00002daa: DUP3
00002dab: DUP3
00002dac: DIV
00002dad: SWAP1
00002dae: POP
00002daf: SWAP3
00002db0: SWAP2
00002db1: POP
00002db2: POP
00002db3: JUMP
00002db4: JUMPDEST
00002db5: PUSH1 0x00
00002db7: PUSH2 0x2dbf
00002dba: DUP3
00002dbb: PUSH2 0x2e80
00002dbe: JUMP
00002dbf: JUMPDEST
00002dc0: SWAP2
00002dc1: POP
00002dc2: PUSH2 0x2dca
00002dc5: DUP4
00002dc6: PUSH2 0x2e80
00002dc9: JUMP
00002dca: JUMPDEST
00002dcb: SWAP3
00002dcc: POP
00002dcd: DUP2
00002dce: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002def: DIV
00002df0: DUP4
00002df1: GT
00002df2: DUP3
00002df3: ISZERO
00002df4: ISZERO
00002df5: AND
00002df6: ISZERO
00002df7: PUSH2 0x2e03
00002dfa: JUMPI
00002dfb: PUSH2 0x2e02
00002dfe: PUSH2 0x2efc
00002e01: JUMP
00002e02: JUMPDEST
00002e03: JUMPDEST
00002e04: DUP3
00002e05: DUP3
00002e06: MUL
00002e07: SWAP1
00002e08: POP
00002e09: SWAP3
00002e0a: SWAP2
00002e0b: POP
00002e0c: POP
00002e0d: JUMP
00002e0e: JUMPDEST
00002e0f: PUSH1 0x00
00002e11: PUSH2 0x2e19
00002e14: DUP3
00002e15: PUSH2 0x2e80
00002e18: JUMP
00002e19: JUMPDEST
00002e1a: SWAP2
00002e1b: POP
00002e1c: PUSH2 0x2e24
00002e1f: DUP4
00002e20: PUSH2 0x2e80
00002e23: JUMP
00002e24: JUMPDEST
00002e25: SWAP3
00002e26: POP
00002e27: DUP3
00002e28: DUP3
00002e29: LT
00002e2a: ISZERO
00002e2b: PUSH2 0x2e37
00002e2e: JUMPI
00002e2f: PUSH2 0x2e36
00002e32: PUSH2 0x2efc
00002e35: JUMP
00002e36: JUMPDEST
00002e37: JUMPDEST
00002e38: DUP3
00002e39: DUP3
00002e3a: SUB
00002e3b: SWAP1
00002e3c: POP
00002e3d: SWAP3
00002e3e: SWAP2
00002e3f: POP
00002e40: POP
00002e41: JUMP
00002e42: JUMPDEST
00002e43: PUSH1 0x00
00002e45: PUSH2 0x2e4d
00002e48: DUP3
00002e49: PUSH2 0x2e60
00002e4c: JUMP
00002e4d: JUMPDEST
00002e4e: SWAP1
00002e4f: POP
00002e50: SWAP2
00002e51: SWAP1
00002e52: POP
00002e53: JUMP
00002e54: JUMPDEST
00002e55: PUSH1 0x00
00002e57: DUP2
00002e58: ISZERO
00002e59: ISZERO
00002e5a: SWAP1
00002e5b: POP
00002e5c: SWAP2
00002e5d: SWAP1
00002e5e: POP
00002e5f: JUMP
00002e60: JUMPDEST
00002e61: PUSH1 0x00
00002e63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e78: DUP3
00002e79: AND
00002e7a: SWAP1
00002e7b: POP
00002e7c: SWAP2
00002e7d: SWAP1
00002e7e: POP
00002e7f: JUMP
00002e80: JUMPDEST
00002e81: PUSH1 0x00
00002e83: DUP2
00002e84: SWAP1
00002e85: POP
00002e86: SWAP2
00002e87: SWAP1
00002e88: POP
00002e89: JUMP
00002e8a: JUMPDEST
00002e8b: PUSH1 0x00
00002e8d: PUSH1 0xff
00002e8f: DUP3
00002e90: AND
00002e91: SWAP1
00002e92: POP
00002e93: SWAP2
00002e94: SWAP1
00002e95: POP
00002e96: JUMP
00002e97: JUMPDEST
00002e98: PUSH1 0x00
00002e9a: JUMPDEST
00002e9b: DUP4
00002e9c: DUP2
00002e9d: LT
00002e9e: ISZERO
00002e9f: PUSH2 0x2eb5
00002ea2: JUMPI
00002ea3: DUP1
00002ea4: DUP3
00002ea5: ADD
00002ea6: MLOAD
00002ea7: DUP2
00002ea8: DUP5
00002ea9: ADD
00002eaa: MSTORE
00002eab: PUSH1 0x20
00002ead: DUP2
00002eae: ADD
00002eaf: SWAP1
00002eb0: POP
00002eb1: PUSH2 0x2e9a
00002eb4: JUMP
00002eb5: JUMPDEST
00002eb6: DUP4
00002eb7: DUP2
00002eb8: GT
00002eb9: ISZERO
00002eba: PUSH2 0x2ec4
00002ebd: JUMPI
00002ebe: PUSH1 0x00
00002ec0: DUP5
00002ec1: DUP5
00002ec2: ADD
00002ec3: MSTORE
00002ec4: JUMPDEST
00002ec5: POP
00002ec6: POP
00002ec7: POP
00002ec8: POP
00002ec9: JUMP
00002eca: JUMPDEST
00002ecb: PUSH1 0x00
00002ecd: PUSH1 0x02
00002ecf: DUP3
00002ed0: DIV
00002ed1: SWAP1
00002ed2: POP
00002ed3: PUSH1 0x01
00002ed5: DUP3
00002ed6: AND
00002ed7: DUP1
00002ed8: PUSH2 0x2ee2
00002edb: JUMPI
00002edc: PUSH1 0x7f
00002ede: DUP3
00002edf: AND
00002ee0: SWAP2
00002ee1: POP
00002ee2: JUMPDEST
00002ee3: PUSH1 0x20
00002ee5: DUP3
00002ee6: LT
00002ee7: DUP2
00002ee8: EQ
00002ee9: ISZERO
00002eea: PUSH2 0x2ef6
00002eed: JUMPI
00002eee: PUSH2 0x2ef5
00002ef1: PUSH2 0x2f5a
00002ef4: JUMP
00002ef5: JUMPDEST
00002ef6: JUMPDEST
00002ef7: POP
00002ef8: SWAP2
00002ef9: SWAP1
00002efa: POP
00002efb: JUMP
00002efc: JUMPDEST
00002efd: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002f1e: PUSH1 0x00
00002f20: MSTORE
00002f21: PUSH1 0x11
00002f23: PUSH1 0x04
00002f25: MSTORE
00002f26: PUSH1 0x24
00002f28: PUSH1 0x00
00002f2a: REVERT
00002f2b: JUMPDEST
00002f2c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002f4d: PUSH1 0x00
00002f4f: MSTORE
00002f50: PUSH1 0x12
00002f52: PUSH1 0x04
00002f54: MSTORE
00002f55: PUSH1 0x24
00002f57: PUSH1 0x00
00002f59: REVERT
00002f5a: JUMPDEST
00002f5b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002f7c: PUSH1 0x00
00002f7e: MSTORE
00002f7f: PUSH1 0x22
00002f81: PUSH1 0x04
00002f83: MSTORE
00002f84: PUSH1 0x24
00002f86: PUSH1 0x00
00002f88: REVERT
00002f89: JUMPDEST
00002f8a: PUSH1 0x00
00002f8c: PUSH1 0x1f
00002f8e: NOT
00002f8f: PUSH1 0x1f
00002f91: DUP4
00002f92: ADD
00002f93: AND
00002f94: SWAP1
00002f95: POP
00002f96: SWAP2
00002f97: SWAP1
00002f98: POP
00002f99: JUMP
00002f9a: JUMPDEST
00002f9b: PUSH2 0x2fa3
00002f9e: DUP2
00002f9f: PUSH2 0x2e42
00002fa2: JUMP
00002fa3: JUMPDEST
00002fa4: DUP2
00002fa5: EQ
00002fa6: PUSH2 0x2fae
00002fa9: JUMPI
00002faa: PUSH1 0x00
00002fac: DUP1
00002fad: REVERT
00002fae: JUMPDEST
00002faf: POP
00002fb0: JUMP
00002fb1: JUMPDEST
00002fb2: PUSH2 0x2fba
00002fb5: DUP2
00002fb6: PUSH2 0x2e80
00002fb9: JUMP
00002fba: JUMPDEST
00002fbb: DUP2
00002fbc: EQ
00002fbd: PUSH2 0x2fc5
00002fc0: JUMPI
00002fc1: PUSH1 0x00
00002fc3: DUP1
00002fc4: REVERT
00002fc5: JUMPDEST
00002fc6: POP
00002fc7: JUMP
00002fc8: INVALID
00002fc9: LOG2
00002fca: PUSH5 0x6970667358
00002fd0: UNKNOWN(0x22)
00002fd1: SLT
00002fd2: KECCAK256
00002fd3: ADD
00002fd4: PUSH24 0x6c71a9fd122d2fbc951ecf60b5fa0b65e8daca5221daf813
00002fed: SELFDESTRUCT
00002fee: UNKNOWN(0xC1)
00002fef: UNKNOWN(0xCC)
00002ff0: BYTE
00002ff1: RETURNDATASIZE
00002ff2: CALLCODE
00002ff3: PUSH5 0x736f6c6343
00002ff9: STOP
00002ffa: ADDMOD
00002ffb: STOP
00002ffc: STOP
00002ffd: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x93bbbedfbef1ab5932ce13f6a9e1ed2f0ddcf6975e6474ca985397b6fe41107b
call_targets: 0xb38a51217ae8325b47cfc6c7e2394ea027657372
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x93bbbedfbef1ab5932ce13f6a9e1ed2f0ddcf6975e6474ca985397b6fe41107b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xb38a51217ae8325b47cfc6c7e2394ea027657372"
    ],
    "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": "0xa6f2ae3a",
            "selector": "0xa6f2ae3a",
            "calldata_variants": [
                "0xa6f2ae3a",
                "0xa6f2ae3a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe4849b32",
            "selector": "0xe4849b32",
            "calldata_variants": [
                "0xe4849b32",
                "0xe4849b320000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7cdc65f2",
            "selector": "0x7cdc65f2",
            "calldata_variants": [
                "0x7cdc65f2",
                "0x7cdc65f20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8ba4cc3c",
            "selector": "0x8ba4cc3c",
            "calldata_variants": [
                "0x8ba4cc3c",
                "0x8ba4cc3c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 12274,
            "opcode": "CALLCODE",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [
        {
            "pc": 1569,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1656,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4403,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4778,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4865,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7436,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8762,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 1
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x93bbbedfbef1ab5932ce13f6a9e1ed2f0ddcf6975e6474ca985397b6fe41107b
call_targets: 0xb38a51217ae8325b47cfc6c7e2394ea027657372
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x93bbbedfbef1ab5932ce13f6a9e1ed2f0ddcf6975e6474ca985397b6fe41107b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xb38a51217ae8325b47cfc6c7e2394ea027657372"
    ],
    "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": "0xa6f2ae3a",
            "selector": "0xa6f2ae3a",
            "calldata_variants": [
                "0xa6f2ae3a",
                "0xa6f2ae3a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe4849b32",
            "selector": "0xe4849b32",
            "calldata_variants": [
                "0xe4849b32",
                "0xe4849b320000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7cdc65f2",
            "selector": "0x7cdc65f2",
            "calldata_variants": [
                "0x7cdc65f2",
                "0x7cdc65f20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8ba4cc3c",
            "selector": "0x8ba4cc3c",
            "calldata_variants": [
                "0x8ba4cc3c",
                "0x8ba4cc3c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 12274,
            "opcode": "CALLCODE",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": [
        {
            "pc": 1569,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1656,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4403,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4778,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4865,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7436,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8762,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}
medium other detector SELFDESTRUCT reachable 45 no no
view
trace_id: 0x3de4e7a1d4cb3033d3a4129b93e0764cec95faf2cd5e93347ae4b2eded516cbf
validation_json
{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x3de4e7a1d4cb3033d3a4129b93e0764cec95faf2cd5e93347ae4b2eded516cbf",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xa6f2ae3a",
            "selector": "0xa6f2ae3a",
            "calldata_variants": [
                "0xa6f2ae3a",
                "0xa6f2ae3a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe4849b32",
            "selector": "0xe4849b32",
            "calldata_variants": [
                "0xe4849b32",
                "0xe4849b320000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7cdc65f2",
            "selector": "0x7cdc65f2",
            "calldata_variants": [
                "0x7cdc65f2",
                "0x7cdc65f20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8ba4cc3c",
            "selector": "0x8ba4cc3c",
            "calldata_variants": [
                "0x8ba4cc3c",
                "0x8ba4cc3c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 1569,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1656,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4403,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4778,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4865,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7436,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 8762,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "selfdestruct_count": 1
}