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

Analysis Run

019b477e-bda1-725a-bc30-a2835c5f9a0e

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
Authorization based on tx.origin
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
24263 artifact.fetch complete 1 / 3 3 months ago
24264 tool.cast_disasm complete 1 / 3 3 months ago
90549 analysis.bundle complete 1 / 3 1 week ago
90550 capability.graph complete 1 / 3 1 week ago
90551 detector.run complete 1 / 3 1 week ago
90552 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
6
EXT*/BALANCE
4
Total opcodes
6416
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0196
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x42966c68
00000019: GT
0000001a: PUSH2 0x00e1
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x9d1b464a
00000024: GT
00000025: PUSH2 0x008a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xb510391f
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xb510391f
0000003a: EQ
0000003b: PUSH2 0x042f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xb88d4fde
00000045: EQ
00000046: PUSH2 0x0442
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xc87b56dd
00000050: EQ
00000051: PUSH2 0x0462
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xe985e9c5
0000005b: EQ
0000005c: PUSH2 0x0482
0000005f: JUMPI
00000060: PUSH2 0x0196
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x9d1b464a
0000006b: EQ
0000006c: PUSH2 0x03da
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x9ec663d2
00000076: EQ
00000077: PUSH2 0x03ef
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xa22cb465
00000081: EQ
00000082: PUSH2 0x040f
00000085: JUMPI
00000086: PUSH2 0x0196
00000089: JUMP
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x70a08231
00000091: GT
00000092: PUSH2 0x00bb
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x70a08231
0000009c: EQ
0000009d: PUSH2 0x0390
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x7e7e2d48
000000a7: EQ
000000a8: PUSH2 0x03b0
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x95d89b41
000000b2: EQ
000000b3: PUSH2 0x03c5
000000b6: JUMPI
000000b7: PUSH2 0x0196
000000ba: JUMP
000000bb: JUMPDEST
000000bc: DUP1
000000bd: PUSH4 0x42966c68
000000c2: EQ
000000c3: PUSH2 0x0330
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x6352211e
000000cd: EQ
000000ce: PUSH2 0x0350
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x6d2e4b1b
000000d8: EQ
000000d9: PUSH2 0x0370
000000dc: JUMPI
000000dd: PUSH2 0x0196
000000e0: JUMP
000000e1: JUMPDEST
000000e2: DUP1
000000e3: PUSH4 0x1d0806ae
000000e8: GT
000000e9: PUSH2 0x0143
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x2f745c59
000000f3: GT
000000f4: PUSH2 0x011d
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x2f745c59
000000fe: EQ
000000ff: PUSH2 0x02c3
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x3a5110db
00000109: EQ
0000010a: PUSH2 0x02e3
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x42842e0e
00000114: EQ
00000115: PUSH2 0x0310
00000118: JUMPI
00000119: PUSH2 0x0196
0000011c: JUMP
0000011d: JUMPDEST
0000011e: DUP1
0000011f: PUSH4 0x1d0806ae
00000124: EQ
00000125: PUSH2 0x0279
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0x23b872dd
0000012f: EQ
00000130: PUSH2 0x028e
00000133: JUMPI
00000134: DUP1
00000135: PUSH4 0x2e22dc6b
0000013a: EQ
0000013b: PUSH2 0x02ae
0000013e: JUMPI
0000013f: PUSH2 0x0196
00000142: JUMP
00000143: JUMPDEST
00000144: DUP1
00000145: PUSH4 0x081812fc
0000014a: GT
0000014b: PUSH2 0x0174
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0x081812fc
00000155: EQ
00000156: PUSH2 0x0215
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x095ea7b3
00000160: EQ
00000161: PUSH2 0x0235
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0x18160ddd
0000016b: EQ
0000016c: PUSH2 0x0257
0000016f: JUMPI
00000170: PUSH2 0x0196
00000173: JUMP
00000174: JUMPDEST
00000175: DUP1
00000176: PUSH4 0x01ffc9a7
0000017b: EQ
0000017c: PUSH2 0x019b
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0x02d05d3f
00000186: EQ
00000187: PUSH2 0x01d1
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0x06fdde03
00000191: EQ
00000192: PUSH2 0x01f3
00000195: JUMPI
00000196: JUMPDEST
00000197: PUSH1 0x00
00000199: DUP1
0000019a: REVERT
0000019b: JUMPDEST
0000019c: CALLVALUE
0000019d: DUP1
0000019e: ISZERO
0000019f: PUSH2 0x01a7
000001a2: JUMPI
000001a3: PUSH1 0x00
000001a5: DUP1
000001a6: REVERT
000001a7: JUMPDEST
000001a8: POP
000001a9: PUSH2 0x01bb
000001ac: PUSH2 0x01b6
000001af: CALLDATASIZE
000001b0: PUSH1 0x04
000001b2: PUSH2 0x21ec
000001b5: JUMP
000001b6: JUMPDEST
000001b7: PUSH2 0x04a2
000001ba: JUMP
000001bb: JUMPDEST
000001bc: PUSH1 0x40
000001be: MLOAD
000001bf: PUSH2 0x01c8
000001c2: SWAP2
000001c3: SWAP1
000001c4: PUSH2 0x23c5
000001c7: JUMP
000001c8: JUMPDEST
000001c9: PUSH1 0x40
000001cb: MLOAD
000001cc: DUP1
000001cd: SWAP2
000001ce: SUB
000001cf: SWAP1
000001d0: RETURN
000001d1: JUMPDEST
000001d2: CALLVALUE
000001d3: DUP1
000001d4: ISZERO
000001d5: PUSH2 0x01dd
000001d8: JUMPI
000001d9: PUSH1 0x00
000001db: DUP1
000001dc: REVERT
000001dd: JUMPDEST
000001de: POP
000001df: PUSH2 0x01e6
000001e2: PUSH2 0x0501
000001e5: JUMP
000001e6: JUMPDEST
000001e7: PUSH1 0x40
000001e9: MLOAD
000001ea: PUSH2 0x01c8
000001ed: SWAP2
000001ee: SWAP1
000001ef: PUSH2 0x230e
000001f2: JUMP
000001f3: JUMPDEST
000001f4: CALLVALUE
000001f5: DUP1
000001f6: ISZERO
000001f7: PUSH2 0x01ff
000001fa: JUMPI
000001fb: PUSH1 0x00
000001fd: DUP1
000001fe: REVERT
000001ff: JUMPDEST
00000200: POP
00000201: PUSH2 0x0208
00000204: PUSH2 0x0510
00000207: JUMP
00000208: JUMPDEST
00000209: PUSH1 0x40
0000020b: MLOAD
0000020c: PUSH2 0x01c8
0000020f: SWAP2
00000210: SWAP1
00000211: PUSH2 0x23ee
00000214: JUMP
00000215: JUMPDEST
00000216: CALLVALUE
00000217: DUP1
00000218: ISZERO
00000219: PUSH2 0x0221
0000021c: JUMPI
0000021d: PUSH1 0x00
0000021f: DUP1
00000220: REVERT
00000221: JUMPDEST
00000222: POP
00000223: PUSH2 0x01e6
00000226: PUSH2 0x0230
00000229: CALLDATASIZE
0000022a: PUSH1 0x04
0000022c: PUSH2 0x2224
0000022f: JUMP
00000230: JUMPDEST
00000231: PUSH2 0x0547
00000234: JUMP
00000235: JUMPDEST
00000236: CALLVALUE
00000237: DUP1
00000238: ISZERO
00000239: PUSH2 0x0241
0000023c: JUMPI
0000023d: PUSH1 0x00
0000023f: DUP1
00000240: REVERT
00000241: JUMPDEST
00000242: POP
00000243: PUSH2 0x0255
00000246: PUSH2 0x0250
00000249: CALLDATASIZE
0000024a: PUSH1 0x04
0000024c: PUSH2 0x218d
0000024f: JUMP
00000250: JUMPDEST
00000251: PUSH2 0x05ba
00000254: JUMP
00000255: JUMPDEST
00000256: STOP
00000257: JUMPDEST
00000258: CALLVALUE
00000259: DUP1
0000025a: ISZERO
0000025b: PUSH2 0x0263
0000025e: JUMPI
0000025f: PUSH1 0x00
00000261: DUP1
00000262: REVERT
00000263: JUMPDEST
00000264: POP
00000265: PUSH2 0x026c
00000268: PUSH2 0x0653
0000026b: JUMP
0000026c: JUMPDEST
0000026d: PUSH1 0x40
0000026f: MLOAD
00000270: PUSH2 0x01c8
00000273: SWAP2
00000274: SWAP1
00000275: PUSH2 0x28bf
00000278: JUMP
00000279: JUMPDEST
0000027a: CALLVALUE
0000027b: DUP1
0000027c: ISZERO
0000027d: PUSH2 0x0285
00000280: JUMPI
00000281: PUSH1 0x00
00000283: DUP1
00000284: REVERT
00000285: JUMPDEST
00000286: POP
00000287: PUSH2 0x026c
0000028a: PUSH2 0x0659
0000028d: JUMP
0000028e: JUMPDEST
0000028f: CALLVALUE
00000290: DUP1
00000291: ISZERO
00000292: PUSH2 0x029a
00000295: JUMPI
00000296: PUSH1 0x00
00000298: DUP1
00000299: REVERT
0000029a: JUMPDEST
0000029b: POP
0000029c: PUSH2 0x0255
0000029f: PUSH2 0x02a9
000002a2: CALLDATASIZE
000002a3: PUSH1 0x04
000002a5: PUSH2 0x2064
000002a8: JUMP
000002a9: JUMPDEST
000002aa: PUSH2 0x067d
000002ad: JUMP
000002ae: JUMPDEST
000002af: CALLVALUE
000002b0: DUP1
000002b1: ISZERO
000002b2: PUSH2 0x02ba
000002b5: JUMPI
000002b6: PUSH1 0x00
000002b8: DUP1
000002b9: REVERT
000002ba: JUMPDEST
000002bb: POP
000002bc: PUSH2 0x026c
000002bf: PUSH2 0x0799
000002c2: JUMP
000002c3: JUMPDEST
000002c4: CALLVALUE
000002c5: DUP1
000002c6: ISZERO
000002c7: PUSH2 0x02cf
000002ca: JUMPI
000002cb: PUSH1 0x00
000002cd: DUP1
000002ce: REVERT
000002cf: JUMPDEST
000002d0: POP
000002d1: PUSH2 0x026c
000002d4: PUSH2 0x02de
000002d7: CALLDATASIZE
000002d8: PUSH1 0x04
000002da: PUSH2 0x218d
000002dd: JUMP
000002de: JUMPDEST
000002df: PUSH2 0x07bd
000002e2: JUMP
000002e3: JUMPDEST
000002e4: CALLVALUE
000002e5: DUP1
000002e6: ISZERO
000002e7: PUSH2 0x02ef
000002ea: JUMPI
000002eb: PUSH1 0x00
000002ed: DUP1
000002ee: REVERT
000002ef: JUMPDEST
000002f0: POP
000002f1: PUSH2 0x0303
000002f4: PUSH2 0x02fe
000002f7: CALLDATASIZE
000002f8: PUSH1 0x04
000002fa: PUSH2 0x21b8
000002fd: JUMP
000002fe: JUMPDEST
000002ff: PUSH2 0x07e8
00000302: JUMP
00000303: JUMPDEST
00000304: PUSH1 0x40
00000306: MLOAD
00000307: PUSH2 0x01c8
0000030a: SWAP2
0000030b: SWAP1
0000030c: PUSH2 0x2354
0000030f: JUMP
00000310: JUMPDEST
00000311: CALLVALUE
00000312: DUP1
00000313: ISZERO
00000314: PUSH2 0x031c
00000317: JUMPI
00000318: PUSH1 0x00
0000031a: DUP1
0000031b: REVERT
0000031c: JUMPDEST
0000031d: POP
0000031e: PUSH2 0x0255
00000321: PUSH2 0x032b
00000324: CALLDATASIZE
00000325: PUSH1 0x04
00000327: PUSH2 0x2064
0000032a: JUMP
0000032b: JUMPDEST
0000032c: PUSH2 0x08e6
0000032f: JUMP
00000330: JUMPDEST
00000331: CALLVALUE
00000332: DUP1
00000333: ISZERO
00000334: PUSH2 0x033c
00000337: JUMPI
00000338: PUSH1 0x00
0000033a: DUP1
0000033b: REVERT
0000033c: JUMPDEST
0000033d: POP
0000033e: PUSH2 0x0255
00000341: PUSH2 0x034b
00000344: CALLDATASIZE
00000345: PUSH1 0x04
00000347: PUSH2 0x2224
0000034a: JUMP
0000034b: JUMPDEST
0000034c: PUSH2 0x0901
0000034f: JUMP
00000350: JUMPDEST
00000351: CALLVALUE
00000352: DUP1
00000353: ISZERO
00000354: PUSH2 0x035c
00000357: JUMPI
00000358: PUSH1 0x00
0000035a: DUP1
0000035b: REVERT
0000035c: JUMPDEST
0000035d: POP
0000035e: PUSH2 0x01e6
00000361: PUSH2 0x036b
00000364: CALLDATASIZE
00000365: PUSH1 0x04
00000367: PUSH2 0x2224
0000036a: JUMP
0000036b: JUMPDEST
0000036c: PUSH2 0x0983
0000036f: JUMP
00000370: JUMPDEST
00000371: CALLVALUE
00000372: DUP1
00000373: ISZERO
00000374: PUSH2 0x037c
00000377: JUMPI
00000378: PUSH1 0x00
0000037a: DUP1
0000037b: REVERT
0000037c: JUMPDEST
0000037d: POP
0000037e: PUSH2 0x0255
00000381: PUSH2 0x038b
00000384: CALLDATASIZE
00000385: PUSH1 0x04
00000387: PUSH2 0x1fd6
0000038a: JUMP
0000038b: JUMPDEST
0000038c: PUSH2 0x09b6
0000038f: JUMP
00000390: JUMPDEST
00000391: CALLVALUE
00000392: DUP1
00000393: ISZERO
00000394: PUSH2 0x039c
00000397: JUMPI
00000398: PUSH1 0x00
0000039a: DUP1
0000039b: REVERT
0000039c: JUMPDEST
0000039d: POP
0000039e: PUSH2 0x026c
000003a1: PUSH2 0x03ab
000003a4: CALLDATASIZE
000003a5: PUSH1 0x04
000003a7: PUSH2 0x1fd6
000003aa: JUMP
000003ab: JUMPDEST
000003ac: PUSH2 0x0a3f
000003af: JUMP
000003b0: JUMPDEST
000003b1: CALLVALUE
000003b2: DUP1
000003b3: ISZERO
000003b4: PUSH2 0x03bc
000003b7: JUMPI
000003b8: PUSH1 0x00
000003ba: DUP1
000003bb: REVERT
000003bc: JUMPDEST
000003bd: POP
000003be: PUSH2 0x026c
000003c1: PUSH2 0x0a88
000003c4: JUMP
000003c5: JUMPDEST
000003c6: CALLVALUE
000003c7: DUP1
000003c8: ISZERO
000003c9: PUSH2 0x03d1
000003cc: JUMPI
000003cd: PUSH1 0x00
000003cf: DUP1
000003d0: REVERT
000003d1: JUMPDEST
000003d2: POP
000003d3: PUSH2 0x0208
000003d6: PUSH2 0x0aac
000003d9: JUMP
000003da: JUMPDEST
000003db: CALLVALUE
000003dc: DUP1
000003dd: ISZERO
000003de: PUSH2 0x03e6
000003e1: JUMPI
000003e2: PUSH1 0x00
000003e4: DUP1
000003e5: REVERT
000003e6: JUMPDEST
000003e7: POP
000003e8: PUSH2 0x026c
000003eb: PUSH2 0x0ae3
000003ee: JUMP
000003ef: JUMPDEST
000003f0: CALLVALUE
000003f1: DUP1
000003f2: ISZERO
000003f3: PUSH2 0x03fb
000003f6: JUMPI
000003f7: PUSH1 0x00
000003f9: DUP1
000003fa: REVERT
000003fb: JUMPDEST
000003fc: POP
000003fd: PUSH2 0x0255
00000400: PUSH2 0x040a
00000403: CALLDATASIZE
00000404: PUSH1 0x04
00000406: PUSH2 0x1ff2
00000409: JUMP
0000040a: JUMPDEST
0000040b: PUSH2 0x0af5
0000040e: JUMP
0000040f: JUMPDEST
00000410: CALLVALUE
00000411: DUP1
00000412: ISZERO
00000413: PUSH2 0x041b
00000416: JUMPI
00000417: PUSH1 0x00
00000419: DUP1
0000041a: REVERT
0000041b: JUMPDEST
0000041c: POP
0000041d: PUSH2 0x0255
00000420: PUSH2 0x042a
00000423: CALLDATASIZE
00000424: PUSH1 0x04
00000426: PUSH2 0x210e
00000429: JUMP
0000042a: JUMPDEST
0000042b: PUSH2 0x0bb6
0000042e: JUMP
0000042f: JUMPDEST
00000430: PUSH2 0x026c
00000433: PUSH2 0x043d
00000436: CALLDATASIZE
00000437: PUSH1 0x04
00000439: PUSH2 0x213f
0000043c: JUMP
0000043d: JUMPDEST
0000043e: PUSH2 0x0bc5
00000441: JUMP
00000442: JUMPDEST
00000443: CALLVALUE
00000444: DUP1
00000445: ISZERO
00000446: PUSH2 0x044e
00000449: JUMPI
0000044a: PUSH1 0x00
0000044c: DUP1
0000044d: REVERT
0000044e: JUMPDEST
0000044f: POP
00000450: PUSH2 0x0255
00000453: PUSH2 0x045d
00000456: CALLDATASIZE
00000457: PUSH1 0x04
00000459: PUSH2 0x20a4
0000045c: JUMP
0000045d: JUMPDEST
0000045e: PUSH2 0x0d2b
00000461: JUMP
00000462: JUMPDEST
00000463: CALLVALUE
00000464: DUP1
00000465: ISZERO
00000466: PUSH2 0x046e
00000469: JUMPI
0000046a: PUSH1 0x00
0000046c: DUP1
0000046d: REVERT
0000046e: JUMPDEST
0000046f: POP
00000470: PUSH2 0x0208
00000473: PUSH2 0x047d
00000476: CALLDATASIZE
00000477: PUSH1 0x04
00000479: PUSH2 0x2224
0000047c: JUMP
0000047d: JUMPDEST
0000047e: PUSH2 0x0e88
00000481: JUMP
00000482: JUMPDEST
00000483: CALLVALUE
00000484: DUP1
00000485: ISZERO
00000486: PUSH2 0x048e
00000489: JUMPI
0000048a: PUSH1 0x00
0000048c: DUP1
0000048d: REVERT
0000048e: JUMPDEST
0000048f: POP
00000490: PUSH2 0x01bb
00000493: PUSH2 0x049d
00000496: CALLDATASIZE
00000497: PUSH1 0x04
00000499: PUSH2 0x202c
0000049c: JUMP
0000049d: JUMPDEST
0000049e: PUSH2 0x0ecd
000004a1: JUMP
000004a2: JUMPDEST
000004a3: PUSH1 0x00
000004a5: PUSH2 0x04ad
000004a8: DUP3
000004a9: PUSH2 0x0efb
000004ac: JUMP
000004ad: JUMPDEST
000004ae: DUP1
000004af: PUSH2 0x04f9
000004b2: JUMPI
000004b3: POP
000004b4: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000
000004d5: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000004f6: DUP4
000004f7: AND
000004f8: EQ
000004f9: JUMPDEST
000004fa: SWAP1
000004fb: POP
000004fc: JUMPDEST
000004fd: SWAP2
000004fe: SWAP1
000004ff: POP
00000500: JUMP
00000501: JUMPDEST
00000502: PUSH1 0x05
00000504: SLOAD
00000505: PUSH1 0x01
00000507: PUSH1 0x01
00000509: PUSH1 0xa0
0000050b: SHL
0000050c: SUB
0000050d: AND
0000050e: DUP2
0000050f: JUMP
00000510: JUMPDEST
00000511: PUSH1 0x40
00000513: DUP1
00000514: MLOAD
00000515: DUP1
00000516: DUP3
00000517: ADD
00000518: SWAP1
00000519: SWAP2
0000051a: MSTORE
0000051b: PUSH1 0x0e
0000051d: DUP2
0000051e: MSTORE
0000051f: PUSH32 0x4d616e64616c6120546f6b656e73000000000000000000000000000000000000
00000540: PUSH1 0x20
00000542: DUP3
00000543: ADD
00000544: MSTORE
00000545: SWAP1
00000546: JUMP
00000547: JUMPDEST
00000548: PUSH1 0x00
0000054a: DUP1
0000054b: PUSH1 0x00
0000054d: PUSH2 0x0555
00000550: DUP5
00000551: PUSH2 0x0fdc
00000554: JUMP
00000555: JUMPDEST
00000556: SWAP1
00000557: SWAP3
00000558: POP
00000559: SWAP1
0000055a: POP
0000055b: PUSH1 0x01
0000055d: PUSH1 0x01
0000055f: PUSH1 0xa0
00000561: SHL
00000562: SUB
00000563: DUP3
00000564: AND
00000565: PUSH2 0x0589
00000568: JUMPI
00000569: PUSH1 0x40
0000056b: MLOAD
0000056c: PUSH3 0x461bcd
00000570: PUSH1 0xe5
00000572: SHL
00000573: DUP2
00000574: MSTORE
00000575: PUSH1 0x04
00000577: ADD
00000578: PUSH2 0x0580
0000057b: SWAP1
0000057c: PUSH2 0x2605
0000057f: JUMP
00000580: JUMPDEST
00000581: PUSH1 0x40
00000583: MLOAD
00000584: DUP1
00000585: SWAP2
00000586: SUB
00000587: SWAP1
00000588: REVERT
00000589: JUMPDEST
0000058a: DUP1
0000058b: ISZERO
0000058c: PUSH2 0x05af
0000058f: JUMPI
00000590: POP
00000591: POP
00000592: POP
00000593: PUSH1 0x00
00000595: DUP2
00000596: DUP2
00000597: MSTORE
00000598: PUSH1 0x04
0000059a: PUSH1 0x20
0000059c: MSTORE
0000059d: PUSH1 0x40
0000059f: SWAP1
000005a0: KECCAK256
000005a1: SLOAD
000005a2: PUSH1 0x01
000005a4: PUSH1 0x01
000005a6: PUSH1 0xa0
000005a8: SHL
000005a9: SUB
000005aa: AND
000005ab: PUSH2 0x04fc
000005ae: JUMP
000005af: JUMPDEST
000005b0: PUSH1 0x00
000005b2: SWAP3
000005b3: POP
000005b4: POP
000005b5: POP
000005b6: PUSH2 0x04fc
000005b9: JUMP
000005ba: JUMPDEST
000005bb: PUSH1 0x00
000005bd: PUSH2 0x05c5
000005c0: DUP3
000005c1: PUSH2 0x1014
000005c4: JUMP
000005c5: JUMPDEST
000005c6: SWAP1
000005c7: POP
000005c8: PUSH1 0x01
000005ca: PUSH1 0x01
000005cc: PUSH1 0xa0
000005ce: SHL
000005cf: SUB
000005d0: DUP2
000005d1: AND
000005d2: PUSH2 0x05ed
000005d5: JUMPI
000005d6: PUSH1 0x40
000005d8: MLOAD
000005d9: PUSH3 0x461bcd
000005dd: PUSH1 0xe5
000005df: SHL
000005e0: DUP2
000005e1: MSTORE
000005e2: PUSH1 0x04
000005e4: ADD
000005e5: PUSH2 0x0580
000005e8: SWAP1
000005e9: PUSH2 0x2605
000005ec: JUMP
000005ed: JUMPDEST
000005ee: PUSH1 0x01
000005f0: PUSH1 0x01
000005f2: PUSH1 0xa0
000005f4: SHL
000005f5: SUB
000005f6: DUP2
000005f7: AND
000005f8: CALLER
000005f9: EQ
000005fa: DUP1
000005fb: PUSH2 0x0627
000005fe: JUMPI
000005ff: POP
00000600: PUSH1 0x01
00000602: PUSH1 0x01
00000604: PUSH1 0xa0
00000606: SHL
00000607: SUB
00000608: DUP2
00000609: AND
0000060a: PUSH1 0x00
0000060c: SWAP1
0000060d: DUP2
0000060e: MSTORE
0000060f: PUSH1 0x03
00000611: PUSH1 0x20
00000613: SWAP1
00000614: DUP2
00000615: MSTORE
00000616: PUSH1 0x40
00000618: DUP1
00000619: DUP4
0000061a: KECCAK256
0000061b: CALLER
0000061c: DUP5
0000061d: MSTORE
0000061e: SWAP1
0000061f: SWAP2
00000620: MSTORE
00000621: SWAP1
00000622: KECCAK256
00000623: SLOAD
00000624: PUSH1 0xff
00000626: AND
00000627: JUMPDEST
00000628: PUSH2 0x0643
0000062b: JUMPI
0000062c: PUSH1 0x40
0000062e: MLOAD
0000062f: PUSH3 0x461bcd
00000633: PUSH1 0xe5
00000635: SHL
00000636: DUP2
00000637: MSTORE
00000638: PUSH1 0x04
0000063a: ADD
0000063b: PUSH2 0x0580
0000063e: SWAP1
0000063f: PUSH2 0x26d0
00000642: JUMP
00000643: JUMPDEST
00000644: PUSH2 0x064e
00000647: DUP2
00000648: DUP5
00000649: DUP5
0000064a: PUSH2 0x1049
0000064d: JUMP
0000064e: JUMPDEST
0000064f: POP
00000650: POP
00000651: POP
00000652: JUMP
00000653: JUMPDEST
00000654: PUSH1 0x00
00000656: SLOAD
00000657: SWAP1
00000658: JUMP
00000659: JUMPDEST
0000065a: PUSH32 0x00000000000000000000000000000000000000000000000000038d7ea4c68000
0000067b: DUP2
0000067c: JUMP
0000067d: JUMPDEST
0000067e: PUSH1 0x00
00000680: DUP1
00000681: PUSH2 0x0689
00000684: DUP4
00000685: PUSH2 0x0fdc
00000688: JUMP
00000689: JUMPDEST
0000068a: SWAP1
0000068b: SWAP3
0000068c: POP
0000068d: SWAP1
0000068e: POP
0000068f: PUSH1 0x01
00000691: PUSH1 0x01
00000693: PUSH1 0xa0
00000695: SHL
00000696: SUB
00000697: DUP3
00000698: AND
00000699: PUSH2 0x06b4
0000069c: JUMPI
0000069d: PUSH1 0x40
0000069f: MLOAD
000006a0: PUSH3 0x461bcd
000006a4: PUSH1 0xe5
000006a6: SHL
000006a7: DUP2
000006a8: MSTORE
000006a9: PUSH1 0x04
000006ab: ADD
000006ac: PUSH2 0x0580
000006af: SWAP1
000006b0: PUSH2 0x2605
000006b3: JUMP
000006b4: JUMPDEST
000006b5: DUP5
000006b6: PUSH1 0x01
000006b8: PUSH1 0x01
000006ba: PUSH1 0xa0
000006bc: SHL
000006bd: SUB
000006be: AND
000006bf: DUP3
000006c0: PUSH1 0x01
000006c2: PUSH1 0x01
000006c4: PUSH1 0xa0
000006c6: SHL
000006c7: SUB
000006c8: AND
000006c9: EQ
000006ca: PUSH2 0x06e5
000006cd: JUMPI
000006ce: PUSH1 0x40
000006d0: MLOAD
000006d1: PUSH3 0x461bcd
000006d5: PUSH1 0xe5
000006d7: SHL
000006d8: DUP2
000006d9: MSTORE
000006da: PUSH1 0x04
000006dc: ADD
000006dd: PUSH2 0x0580
000006e0: SWAP1
000006e1: PUSH2 0x27ac
000006e4: JUMP
000006e5: JUMPDEST
000006e6: PUSH1 0x01
000006e8: PUSH1 0x01
000006ea: PUSH1 0xa0
000006ec: SHL
000006ed: SUB
000006ee: DUP5
000006ef: AND
000006f0: PUSH2 0x070b
000006f3: JUMPI
000006f4: PUSH1 0x40
000006f6: MLOAD
000006f7: PUSH3 0x461bcd
000006fb: PUSH1 0xe5
000006fd: SHL
000006fe: DUP2
000006ff: MSTORE
00000700: PUSH1 0x04
00000702: ADD
00000703: PUSH2 0x0580
00000706: SWAP1
00000707: PUSH2 0x2707
0000070a: JUMP
0000070b: JUMPDEST
0000070c: CALLER
0000070d: PUSH1 0x01
0000070f: PUSH1 0x01
00000711: PUSH1 0xa0
00000713: SHL
00000714: SUB
00000715: DUP7
00000716: AND
00000717: EQ
00000718: PUSH2 0x0787
0000071b: JUMPI
0000071c: PUSH1 0x01
0000071e: PUSH1 0x01
00000720: PUSH1 0xa0
00000722: SHL
00000723: SUB
00000724: DUP6
00000725: AND
00000726: PUSH1 0x00
00000728: SWAP1
00000729: DUP2
0000072a: MSTORE
0000072b: PUSH1 0x03
0000072d: PUSH1 0x20
0000072f: SWAP1
00000730: DUP2
00000731: MSTORE
00000732: PUSH1 0x40
00000734: DUP1
00000735: DUP4
00000736: KECCAK256
00000737: CALLER
00000738: DUP5
00000739: MSTORE
0000073a: SWAP1
0000073b: SWAP2
0000073c: MSTORE
0000073d: SWAP1
0000073e: KECCAK256
0000073f: SLOAD
00000740: PUSH1 0xff
00000742: AND
00000743: DUP1
00000744: PUSH2 0x076b
00000747: JUMPI
00000748: POP
00000749: DUP1
0000074a: DUP1
0000074b: ISZERO
0000074c: PUSH2 0x076b
0000074f: JUMPI
00000750: POP
00000751: PUSH1 0x00
00000753: DUP4
00000754: DUP2
00000755: MSTORE
00000756: PUSH1 0x04
00000758: PUSH1 0x20
0000075a: MSTORE
0000075b: PUSH1 0x40
0000075d: SWAP1
0000075e: KECCAK256
0000075f: SLOAD
00000760: PUSH1 0x01
00000762: PUSH1 0x01
00000764: PUSH1 0xa0
00000766: SHL
00000767: SUB
00000768: AND
00000769: CALLER
0000076a: EQ
0000076b: JUMPDEST
0000076c: PUSH2 0x0787
0000076f: JUMPI
00000770: PUSH1 0x40
00000772: MLOAD
00000773: PUSH3 0x461bcd
00000777: PUSH1 0xe5
00000779: SHL
0000077a: DUP2
0000077b: MSTORE
0000077c: PUSH1 0x04
0000077e: ADD
0000077f: PUSH2 0x0580
00000782: SWAP1
00000783: PUSH2 0x27e3
00000786: JUMP
00000787: JUMPDEST
00000788: PUSH2 0x0792
0000078b: DUP6
0000078c: DUP6
0000078d: DUP6
0000078e: PUSH2 0x1128
00000791: JUMP
00000792: JUMPDEST
00000793: POP
00000794: POP
00000795: POP
00000796: POP
00000797: POP
00000798: JUMP
00000799: JUMPDEST
0000079a: PUSH32 0x0000000000000000000000000000000000000000000000000001c6bf52634000
000007bb: DUP2
000007bc: JUMP
000007bd: JUMPDEST
000007be: PUSH1 0x01
000007c0: PUSH1 0x01
000007c2: PUSH1 0xa0
000007c4: SHL
000007c5: SUB
000007c6: DUP3
000007c7: AND
000007c8: PUSH1 0x00
000007ca: SWAP1
000007cb: DUP2
000007cc: MSTORE
000007cd: PUSH1 0x02
000007cf: PUSH1 0x20
000007d1: MSTORE
000007d2: PUSH1 0x40
000007d4: DUP2
000007d5: KECCAK256
000007d6: PUSH2 0x07df
000007d9: SWAP1
000007da: DUP4
000007db: PUSH2 0x11bd
000007de: JUMP
000007df: JUMPDEST
000007e0: SWAP1
000007e1: POP
000007e2: JUMPDEST
000007e3: SWAP3
000007e4: SWAP2
000007e5: POP
000007e6: POP
000007e7: JUMP
000007e8: JUMPDEST
000007e9: PUSH1 0x01
000007eb: PUSH1 0x01
000007ed: PUSH1 0xa0
000007ef: SHL
000007f0: SUB
000007f1: DUP4
000007f2: AND
000007f3: PUSH1 0x00
000007f5: SWAP1
000007f6: DUP2
000007f7: MSTORE
000007f8: PUSH1 0x02
000007fa: PUSH1 0x20
000007fc: MSTORE
000007fd: PUSH1 0x40
000007ff: DUP2
00000800: KECCAK256
00000801: PUSH1 0x60
00000803: SWAP2
00000804: PUSH2 0x080c
00000807: DUP3
00000808: PUSH2 0x11c9
0000080b: JUMP
0000080c: JUMPDEST
0000080d: SWAP1
0000080e: POP
0000080f: DUP4
00000810: DUP6
00000811: ADD
00000812: DUP2
00000813: LT
00000814: ISZERO
00000815: PUSH2 0x0830
00000818: JUMPI
00000819: PUSH1 0x40
0000081b: MLOAD
0000081c: PUSH3 0x461bcd
00000820: PUSH1 0xe5
00000822: SHL
00000823: DUP2
00000824: MSTORE
00000825: PUSH1 0x04
00000827: ADD
00000828: PUSH2 0x0580
0000082b: SWAP1
0000082c: PUSH2 0x2571
0000082f: JUMP
00000830: JUMPDEST
00000831: DUP4
00000832: PUSH8 0xffffffffffffffff
0000083b: DUP2
0000083c: GT
0000083d: DUP1
0000083e: ISZERO
0000083f: PUSH2 0x0847
00000842: JUMPI
00000843: PUSH1 0x00
00000845: DUP1
00000846: REVERT
00000847: JUMPDEST
00000848: POP
00000849: PUSH1 0x40
0000084b: MLOAD
0000084c: SWAP1
0000084d: DUP1
0000084e: DUP3
0000084f: MSTORE
00000850: DUP1
00000851: PUSH1 0x20
00000853: MUL
00000854: PUSH1 0x20
00000856: ADD
00000857: DUP3
00000858: ADD
00000859: PUSH1 0x40
0000085b: MSTORE
0000085c: DUP1
0000085d: ISZERO
0000085e: PUSH2 0x0881
00000861: JUMPI
00000862: DUP2
00000863: PUSH1 0x20
00000865: ADD
00000866: JUMPDEST
00000867: PUSH2 0x086e
0000086a: PUSH2 0x1f3e
0000086d: JUMP
0000086e: JUMPDEST
0000086f: DUP2
00000870: MSTORE
00000871: PUSH1 0x20
00000873: ADD
00000874: SWAP1
00000875: PUSH1 0x01
00000877: SWAP1
00000878: SUB
00000879: SWAP1
0000087a: DUP2
0000087b: PUSH2 0x0866
0000087e: JUMPI
0000087f: SWAP1
00000880: POP
00000881: JUMPDEST
00000882: POP
00000883: SWAP3
00000884: POP
00000885: PUSH1 0x00
00000887: JUMPDEST
00000888: DUP5
00000889: DUP2
0000088a: LT
0000088b: ISZERO
0000088c: PUSH2 0x08dc
0000088f: JUMPI
00000890: PUSH1 0x00
00000892: PUSH2 0x089d
00000895: DUP5
00000896: DUP9
00000897: DUP5
00000898: ADD
00000899: PUSH2 0x11bd
0000089c: JUMP
0000089d: JUMPDEST
0000089e: SWAP1
0000089f: POP
000008a0: PUSH1 0x40
000008a2: MLOAD
000008a3: DUP1
000008a4: PUSH1 0x40
000008a6: ADD
000008a7: PUSH1 0x40
000008a9: MSTORE
000008aa: DUP1
000008ab: DUP3
000008ac: DUP2
000008ad: MSTORE
000008ae: PUSH1 0x20
000008b0: ADD
000008b1: PUSH2 0x08b9
000008b4: DUP4
000008b5: PUSH2 0x11d4
000008b8: JUMP
000008b9: JUMPDEST
000008ba: DUP2
000008bb: MSTORE
000008bc: POP
000008bd: DUP6
000008be: DUP4
000008bf: DUP2
000008c0: MLOAD
000008c1: DUP2
000008c2: LT
000008c3: PUSH2 0x08c8
000008c6: JUMPI
000008c7: INVALID
000008c8: JUMPDEST
000008c9: PUSH1 0x20
000008cb: SWAP1
000008cc: DUP2
000008cd: MUL
000008ce: SWAP2
000008cf: SWAP1
000008d0: SWAP2
000008d1: ADD
000008d2: ADD
000008d3: MSTORE
000008d4: POP
000008d5: PUSH1 0x01
000008d7: ADD
000008d8: PUSH2 0x0887
000008db: JUMP
000008dc: JUMPDEST
000008dd: POP
000008de: POP
000008df: POP
000008e0: SWAP4
000008e1: SWAP3
000008e2: POP
000008e3: POP
000008e4: POP
000008e5: JUMP
000008e6: JUMPDEST
000008e7: PUSH2 0x064e
000008ea: DUP4
000008eb: DUP4
000008ec: DUP4
000008ed: PUSH1 0x40
000008ef: MLOAD
000008f0: DUP1
000008f1: PUSH1 0x20
000008f3: ADD
000008f4: PUSH1 0x40
000008f6: MSTORE
000008f7: DUP1
000008f8: PUSH1 0x00
000008fa: DUP2
000008fb: MSTORE
000008fc: POP
000008fd: PUSH2 0x0d2b
00000900: JUMP
00000901: JUMPDEST
00000902: PUSH1 0x00
00000904: PUSH2 0x0919
00000907: PUSH2 0x0914
0000090a: PUSH1 0x01
0000090c: PUSH1 0x00
0000090e: SLOAD
0000090f: SUB
00000910: PUSH2 0x143e
00000913: JUMP
00000914: JUMPDEST
00000915: PUSH2 0x1485
00000918: JUMP
00000919: JUMPDEST
0000091a: SWAP1
0000091b: POP
0000091c: PUSH2 0x0924
0000091f: DUP3
00000920: PUSH2 0x14b3
00000923: JUMP
00000924: JUMPDEST
00000925: PUSH1 0x40
00000927: MLOAD
00000928: CALLER
00000929: SWAP1
0000092a: DUP3
0000092b: ISZERO
0000092c: PUSH2 0x08fc
0000092f: MUL
00000930: SWAP1
00000931: DUP4
00000932: SWAP1
00000933: PUSH1 0x00
00000935: DUP2
00000936: DUP2
00000937: DUP2
00000938: DUP6
00000939: DUP9
0000093a: DUP9
0000093b: CALL
0000093c: SWAP4
0000093d: POP
0000093e: POP
0000093f: POP
00000940: POP
00000941: ISZERO
00000942: DUP1
00000943: ISZERO
00000944: PUSH2 0x0951
00000947: JUMPI
00000948: RETURNDATASIZE
00000949: PUSH1 0x00
0000094b: DUP1
0000094c: RETURNDATACOPY
0000094d: RETURNDATASIZE
0000094e: PUSH1 0x00
00000950: REVERT
00000951: JUMPDEST
00000952: POP
00000953: PUSH1 0x40
00000955: MLOAD
00000956: DUP2
00000957: SWAP1
00000958: DUP4
00000959: SWAP1
0000095a: PUSH32 0xcec1bae6e024d929f2929f3478ce70f55f9c636c8ef7b5073a61d7c3a432451b
0000097b: SWAP1
0000097c: PUSH1 0x00
0000097e: SWAP1
0000097f: LOG3
00000980: POP
00000981: POP
00000982: JUMP
00000983: JUMPDEST
00000984: PUSH1 0x00
00000986: PUSH2 0x098e
00000989: DUP3
0000098a: PUSH2 0x1014
0000098d: JUMP
0000098e: JUMPDEST
0000098f: SWAP1
00000990: POP
00000991: PUSH1 0x01
00000993: PUSH1 0x01
00000995: PUSH1 0xa0
00000997: SHL
00000998: SUB
00000999: DUP2
0000099a: AND
0000099b: PUSH2 0x04fc
0000099e: JUMPI
0000099f: PUSH1 0x40
000009a1: MLOAD
000009a2: PUSH3 0x461bcd
000009a6: PUSH1 0xe5
000009a8: SHL
000009a9: DUP2
000009aa: MSTORE
000009ab: PUSH1 0x04
000009ad: ADD
000009ae: PUSH2 0x0580
000009b1: SWAP1
000009b2: PUSH2 0x2503
000009b5: JUMP
000009b6: JUMPDEST
000009b7: PUSH1 0x05
000009b9: SLOAD
000009ba: PUSH1 0x01
000009bc: PUSH1 0x01
000009be: PUSH1 0xa0
000009c0: SHL
000009c1: SUB
000009c2: AND
000009c3: CALLER
000009c4: DUP2
000009c5: EQ
000009c6: PUSH2 0x09e1
000009c9: JUMPI
000009ca: PUSH1 0x40
000009cc: MLOAD
000009cd: PUSH3 0x461bcd
000009d1: PUSH1 0xe5
000009d3: SHL
000009d4: DUP2
000009d5: MSTORE
000009d6: PUSH1 0x04
000009d8: ADD
000009d9: PUSH2 0x0580
000009dc: SWAP1
000009dd: PUSH2 0x2851
000009e0: JUMP
000009e1: JUMPDEST
000009e2: PUSH1 0x05
000009e4: DUP1
000009e5: SLOAD
000009e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009fb: NOT
000009fc: AND
000009fd: PUSH1 0x01
000009ff: PUSH1 0x01
00000a01: PUSH1 0xa0
00000a03: SHL
00000a04: SUB
00000a05: DUP5
00000a06: DUP2
00000a07: AND
00000a08: SWAP2
00000a09: DUP3
00000a0a: OR
00000a0b: SWAP1
00000a0c: SWAP3
00000a0d: SSTORE
00000a0e: PUSH1 0x40
00000a10: MLOAD
00000a11: SWAP1
00000a12: SWAP2
00000a13: DUP4
00000a14: AND
00000a15: SWAP1
00000a16: PUSH32 0xf25c6226b06a6bf4b2c2391bb66962bb4290c323cf8b5814efb185aba3f42d5f
00000a37: SWAP1
00000a38: PUSH1 0x00
00000a3a: SWAP1
00000a3b: LOG3
00000a3c: POP
00000a3d: POP
00000a3e: JUMP
00000a3f: JUMPDEST
00000a40: PUSH1 0x00
00000a42: PUSH1 0x01
00000a44: PUSH1 0x01
00000a46: PUSH1 0xa0
00000a48: SHL
00000a49: SUB
00000a4a: DUP3
00000a4b: AND
00000a4c: PUSH2 0x0a67
00000a4f: JUMPI
00000a50: PUSH1 0x40
00000a52: MLOAD
00000a53: PUSH3 0x461bcd
00000a57: PUSH1 0xe5
00000a59: SHL
00000a5a: DUP2
00000a5b: MSTORE
00000a5c: PUSH1 0x04
00000a5e: ADD
00000a5f: PUSH2 0x0580
00000a62: SWAP1
00000a63: PUSH2 0x2775
00000a66: JUMP
00000a67: JUMPDEST
00000a68: PUSH1 0x01
00000a6a: PUSH1 0x01
00000a6c: PUSH1 0xa0
00000a6e: SHL
00000a6f: SUB
00000a70: DUP3
00000a71: AND
00000a72: PUSH1 0x00
00000a74: SWAP1
00000a75: DUP2
00000a76: MSTORE
00000a77: PUSH1 0x02
00000a79: PUSH1 0x20
00000a7b: MSTORE
00000a7c: PUSH1 0x40
00000a7e: SWAP1
00000a7f: KECCAK256
00000a80: PUSH2 0x04f9
00000a83: SWAP1
00000a84: PUSH2 0x11c9
00000a87: JUMP
00000a88: JUMPDEST
00000a89: PUSH32 0x00000000000000000000000000000000000000000000000000000000000001f4
00000aaa: DUP2
00000aab: JUMP
00000aac: JUMPDEST
00000aad: PUSH1 0x40
00000aaf: DUP1
00000ab0: MLOAD
00000ab1: DUP1
00000ab2: DUP3
00000ab3: ADD
00000ab4: SWAP1
00000ab5: SWAP2
00000ab6: MSTORE
00000ab7: PUSH1 0x07
00000ab9: DUP2
00000aba: MSTORE
00000abb: PUSH32 0x4d414e44414c4100000000000000000000000000000000000000000000000000
00000adc: PUSH1 0x20
00000ade: DUP3
00000adf: ADD
00000ae0: MSTORE
00000ae1: SWAP1
00000ae2: JUMP
00000ae3: JUMPDEST
00000ae4: PUSH1 0x00
00000ae6: PUSH2 0x0af0
00000ae9: PUSH1 0x00
00000aeb: SLOAD
00000aec: PUSH2 0x143e
00000aef: JUMP
00000af0: JUMPDEST
00000af1: SWAP1
00000af2: POP
00000af3: SWAP1
00000af4: JUMP
00000af5: JUMPDEST
00000af6: PUSH1 0x00
00000af8: PUSH2 0x0aff
00000afb: PUSH2 0x15d5
00000afe: JUMP
00000aff: JUMPDEST
00000b00: SWAP1
00000b01: POP
00000b02: PUSH1 0x01
00000b04: PUSH1 0x01
00000b06: PUSH1 0xa0
00000b08: SHL
00000b09: SUB
00000b0a: DUP2
00000b0b: AND
00000b0c: PUSH2 0x0b3e
00000b0f: JUMPI
00000b10: PUSH1 0x01
00000b12: PUSH1 0x01
00000b14: PUSH1 0xa0
00000b16: SHL
00000b17: SUB
00000b18: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103
00000b39: SSTORE
00000b3a: PUSH2 0x0b53
00000b3d: JUMP
00000b3e: JUMPDEST
00000b3f: CALLER
00000b40: PUSH1 0x01
00000b42: PUSH1 0x01
00000b44: PUSH1 0xa0
00000b46: SHL
00000b47: SUB
00000b48: DUP3
00000b49: AND
00000b4a: EQ
00000b4b: PUSH2 0x0b53
00000b4e: JUMPI
00000b4f: PUSH1 0x00
00000b51: DUP1
00000b52: REVERT
00000b53: JUMPDEST
00000b54: PUSH1 0x05
00000b56: DUP1
00000b57: SLOAD
00000b58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b6d: NOT
00000b6e: AND
00000b6f: PUSH1 0x01
00000b71: PUSH1 0x01
00000b73: PUSH1 0xa0
00000b75: SHL
00000b76: SUB
00000b77: DUP8
00000b78: DUP2
00000b79: AND
00000b7a: SWAP2
00000b7b: SWAP1
00000b7c: SWAP2
00000b7d: OR
00000b7e: SWAP2
00000b7f: DUP3
00000b80: SWAP1
00000b81: SSTORE
00000b82: PUSH1 0x40
00000b84: MLOAD
00000b85: SWAP2
00000b86: AND
00000b87: SWAP1
00000b88: PUSH1 0x00
00000b8a: SWAP1
00000b8b: PUSH32 0xf25c6226b06a6bf4b2c2391bb66962bb4290c323cf8b5814efb185aba3f42d5f
00000bac: SWAP1
00000bad: DUP3
00000bae: SWAP1
00000baf: LOG3
00000bb0: POP
00000bb1: POP
00000bb2: POP
00000bb3: POP
00000bb4: POP
00000bb5: JUMP
00000bb6: JUMPDEST
00000bb7: PUSH2 0x0bc1
00000bba: CALLER
00000bbb: DUP4
00000bbc: DUP4
00000bbd: PUSH2 0x15fa
00000bc0: JUMP
00000bc1: JUMPDEST
00000bc2: POP
00000bc3: POP
00000bc4: JUMP
00000bc5: JUMPDEST
00000bc6: PUSH1 0x00
00000bc8: DUP1
00000bc9: PUSH2 0x0bd3
00000bcc: PUSH1 0x00
00000bce: SLOAD
00000bcf: PUSH2 0x143e
00000bd2: JUMP
00000bd3: JUMPDEST
00000bd4: SWAP1
00000bd5: POP
00000bd6: DUP1
00000bd7: CALLVALUE
00000bd8: LT
00000bd9: ISZERO
00000bda: PUSH2 0x0bf5
00000bdd: JUMPI
00000bde: PUSH1 0x40
00000be0: MLOAD
00000be1: PUSH3 0x461bcd
00000be5: PUSH1 0xe5
00000be7: SHL
00000be8: DUP2
00000be9: MSTORE
00000bea: PUSH1 0x04
00000bec: ADD
00000bed: PUSH2 0x0580
00000bf0: SWAP1
00000bf1: PUSH2 0x253a
00000bf4: JUMP
00000bf5: JUMPDEST
00000bf6: PUSH1 0x00
00000bf8: DUP5
00000bf9: PUSH1 0x40
00000bfb: MLOAD
00000bfc: PUSH1 0x20
00000bfe: ADD
00000bff: PUSH2 0x0c08
00000c02: SWAP2
00000c03: SWAP1
00000c04: PUSH2 0x22b8
00000c07: JUMP
00000c08: JUMPDEST
00000c09: PUSH1 0x40
00000c0b: MLOAD
00000c0c: PUSH1 0x20
00000c0e: DUP2
00000c0f: DUP4
00000c10: SUB
00000c11: SUB
00000c12: DUP2
00000c13: MSTORE
00000c14: SWAP1
00000c15: PUSH1 0x40
00000c17: MSTORE
00000c18: DUP1
00000c19: MLOAD
00000c1a: SWAP1
00000c1b: PUSH1 0x20
00000c1d: ADD
00000c1e: KECCAK256
00000c1f: SWAP1
00000c20: POP
00000c21: PUSH1 0x00
00000c23: PUSH2 0x0c35
00000c26: DUP6
00000c27: PUSH2 0x0c2f
00000c2a: DUP5
00000c2b: PUSH2 0x1689
00000c2e: JUMP
00000c2f: JUMPDEST
00000c30: SWAP1
00000c31: PUSH2 0x16b9
00000c34: JUMP
00000c35: JUMPDEST
00000c36: SWAP1
00000c37: POP
00000c38: PUSH2 0x0c4a
00000c3b: DUP2
00000c3c: PUSH1 0x01
00000c3e: PUSH1 0x01
00000c40: PUSH1 0xa0
00000c42: SHL
00000c43: SUB
00000c44: AND
00000c45: DUP8
00000c46: PUSH2 0x1704
00000c49: JUMP
00000c4a: JUMPDEST
00000c4b: PUSH1 0x00
00000c4d: PUSH2 0x0c55
00000c50: DUP5
00000c51: PUSH2 0x1485
00000c54: JUMP
00000c55: JUMPDEST
00000c56: DUP5
00000c57: SUB
00000c58: SWAP1
00000c59: POP
00000c5a: PUSH1 0x01
00000c5c: DUP2
00000c5d: ISZERO
00000c5e: PUSH2 0x0c8c
00000c61: JUMPI
00000c62: PUSH1 0x05
00000c64: SLOAD
00000c65: PUSH1 0x40
00000c67: MLOAD
00000c68: PUSH1 0x01
00000c6a: PUSH1 0x01
00000c6c: PUSH1 0xa0
00000c6e: SHL
00000c6f: SUB
00000c70: SWAP1
00000c71: SWAP2
00000c72: AND
00000c73: SWAP1
00000c74: DUP4
00000c75: ISZERO
00000c76: PUSH2 0x08fc
00000c79: MUL
00000c7a: SWAP1
00000c7b: DUP5
00000c7c: SWAP1
00000c7d: PUSH1 0x00
00000c7f: DUP2
00000c80: DUP2
00000c81: DUP2
00000c82: DUP6
00000c83: DUP9
00000c84: DUP9
00000c85: CALL
00000c86: SWAP5
00000c87: POP
00000c88: POP
00000c89: POP
00000c8a: POP
00000c8b: POP
00000c8c: JUMPDEST
00000c8d: DUP1
00000c8e: ISZERO
00000c8f: DUP1
00000c90: PUSH2 0x0c98
00000c93: JUMPI
00000c94: POP
00000c95: DUP5
00000c96: CALLVALUE
00000c97: GT
00000c98: JUMPDEST
00000c99: ISZERO
00000c9a: PUSH2 0x0ce1
00000c9d: JUMPI
00000c9e: CALLER
00000c9f: PUSH2 0x08fc
00000ca2: DUP3
00000ca3: ISZERO
00000ca4: PUSH2 0x0cae
00000ca7: JUMPI
00000ca8: PUSH1 0x00
00000caa: PUSH2 0x0cb0
00000cad: JUMP
00000cae: JUMPDEST
00000caf: DUP4
00000cb0: JUMPDEST
00000cb1: DUP8
00000cb2: CALLVALUE
00000cb3: SUB
00000cb4: ADD
00000cb5: SWAP1
00000cb6: DUP2
00000cb7: ISZERO
00000cb8: MUL
00000cb9: SWAP1
00000cba: PUSH1 0x40
00000cbc: MLOAD
00000cbd: PUSH1 0x00
00000cbf: PUSH1 0x40
00000cc1: MLOAD
00000cc2: DUP1
00000cc3: DUP4
00000cc4: SUB
00000cc5: DUP2
00000cc6: DUP6
00000cc7: DUP9
00000cc8: DUP9
00000cc9: CALL
00000cca: SWAP4
00000ccb: POP
00000ccc: POP
00000ccd: POP
00000cce: POP
00000ccf: ISZERO
00000cd0: DUP1
00000cd1: ISZERO
00000cd2: PUSH2 0x0cdf
00000cd5: JUMPI
00000cd6: RETURNDATASIZE
00000cd7: PUSH1 0x00
00000cd9: DUP1
00000cda: RETURNDATACOPY
00000cdb: RETURNDATASIZE
00000cdc: PUSH1 0x00
00000cde: REVERT
00000cdf: JUMPDEST
00000ce0: POP
00000ce1: JUMPDEST
00000ce2: PUSH1 0x40
00000ce4: MLOAD
00000ce5: DUP6
00000ce6: SWAP1
00000ce7: PUSH1 0x01
00000ce9: PUSH1 0x01
00000ceb: PUSH1 0xa0
00000ced: SHL
00000cee: SUB
00000cef: DUP6
00000cf0: AND
00000cf1: SWAP1
00000cf2: PUSH32 0x8a9dcf4e150b1153011b29fec302d5be0c13e84fa8f56ab78587f778a32a90dd
00000d13: SWAP1
00000d14: PUSH1 0x00
00000d16: SWAP1
00000d17: LOG3
00000d18: POP
00000d19: POP
00000d1a: PUSH1 0x01
00000d1c: PUSH1 0x01
00000d1e: PUSH1 0xa0
00000d20: SHL
00000d21: SUB
00000d22: AND
00000d23: SWAP6
00000d24: SWAP5
00000d25: POP
00000d26: POP
00000d27: POP
00000d28: POP
00000d29: POP
00000d2a: JUMP
00000d2b: JUMPDEST
00000d2c: PUSH1 0x00
00000d2e: DUP1
00000d2f: PUSH2 0x0d37
00000d32: DUP5
00000d33: PUSH2 0x0fdc
00000d36: JUMP
00000d37: JUMPDEST
00000d38: SWAP1
00000d39: SWAP3
00000d3a: POP
00000d3b: SWAP1
00000d3c: POP
00000d3d: PUSH1 0x01
00000d3f: PUSH1 0x01
00000d41: PUSH1 0xa0
00000d43: SHL
00000d44: SUB
00000d45: DUP3
00000d46: AND
00000d47: PUSH2 0x0d62
00000d4a: JUMPI
00000d4b: PUSH1 0x40
00000d4d: MLOAD
00000d4e: PUSH3 0x461bcd
00000d52: PUSH1 0xe5
00000d54: SHL
00000d55: DUP2
00000d56: MSTORE
00000d57: PUSH1 0x04
00000d59: ADD
00000d5a: PUSH2 0x0580
00000d5d: SWAP1
00000d5e: PUSH2 0x2605
00000d61: JUMP
00000d62: JUMPDEST
00000d63: DUP6
00000d64: PUSH1 0x01
00000d66: PUSH1 0x01
00000d68: PUSH1 0xa0
00000d6a: SHL
00000d6b: SUB
00000d6c: AND
00000d6d: DUP3
00000d6e: PUSH1 0x01
00000d70: PUSH1 0x01
00000d72: PUSH1 0xa0
00000d74: SHL
00000d75: SUB
00000d76: AND
00000d77: EQ
00000d78: PUSH2 0x0d93
00000d7b: JUMPI
00000d7c: PUSH1 0x40
00000d7e: MLOAD
00000d7f: PUSH3 0x461bcd
00000d83: PUSH1 0xe5
00000d85: SHL
00000d86: DUP2
00000d87: MSTORE
00000d88: PUSH1 0x04
00000d8a: ADD
00000d8b: PUSH2 0x0580
00000d8e: SWAP1
00000d8f: PUSH2 0x27ac
00000d92: JUMP
00000d93: JUMPDEST
00000d94: PUSH1 0x01
00000d96: PUSH1 0x01
00000d98: PUSH1 0xa0
00000d9a: SHL
00000d9b: SUB
00000d9c: DUP6
00000d9d: AND
00000d9e: PUSH2 0x0db9
00000da1: JUMPI
00000da2: PUSH1 0x40
00000da4: MLOAD
00000da5: PUSH3 0x461bcd
00000da9: PUSH1 0xe5
00000dab: SHL
00000dac: DUP2
00000dad: MSTORE
00000dae: PUSH1 0x04
00000db0: ADD
00000db1: PUSH2 0x0580
00000db4: SWAP1
00000db5: PUSH2 0x2707
00000db8: JUMP
00000db9: JUMPDEST
00000dba: CALLER
00000dbb: PUSH1 0x01
00000dbd: PUSH1 0x01
00000dbf: PUSH1 0xa0
00000dc1: SHL
00000dc2: SUB
00000dc3: DUP8
00000dc4: AND
00000dc5: EQ
00000dc6: PUSH2 0x0e35
00000dc9: JUMPI
00000dca: PUSH1 0x01
00000dcc: PUSH1 0x01
00000dce: PUSH1 0xa0
00000dd0: SHL
00000dd1: SUB
00000dd2: DUP7
00000dd3: AND
00000dd4: PUSH1 0x00
00000dd6: SWAP1
00000dd7: DUP2
00000dd8: MSTORE
00000dd9: PUSH1 0x03
00000ddb: PUSH1 0x20
00000ddd: SWAP1
00000dde: DUP2
00000ddf: MSTORE
00000de0: PUSH1 0x40
00000de2: DUP1
00000de3: DUP4
00000de4: KECCAK256
00000de5: CALLER
00000de6: DUP5
00000de7: MSTORE
00000de8: SWAP1
00000de9: SWAP2
00000dea: MSTORE
00000deb: SWAP1
00000dec: KECCAK256
00000ded: SLOAD
00000dee: PUSH1 0xff
00000df0: AND
00000df1: DUP1
00000df2: PUSH2 0x0e19
00000df5: JUMPI
00000df6: POP
00000df7: DUP1
00000df8: DUP1
00000df9: ISZERO
00000dfa: PUSH2 0x0e19
00000dfd: JUMPI
00000dfe: POP
00000dff: PUSH1 0x00
00000e01: DUP5
00000e02: DUP2
00000e03: MSTORE
00000e04: PUSH1 0x04
00000e06: PUSH1 0x20
00000e08: MSTORE
00000e09: PUSH1 0x40
00000e0b: SWAP1
00000e0c: KECCAK256
00000e0d: SLOAD
00000e0e: PUSH1 0x01
00000e10: PUSH1 0x01
00000e12: PUSH1 0xa0
00000e14: SHL
00000e15: SUB
00000e16: AND
00000e17: CALLER
00000e18: EQ
00000e19: JUMPDEST
00000e1a: PUSH2 0x0e35
00000e1d: JUMPI
00000e1e: PUSH1 0x40
00000e20: MLOAD
00000e21: PUSH3 0x461bcd
00000e25: PUSH1 0xe5
00000e27: SHL
00000e28: DUP2
00000e29: MSTORE
00000e2a: PUSH1 0x04
00000e2c: ADD
00000e2d: PUSH2 0x0580
00000e30: SWAP1
00000e31: PUSH2 0x27e3
00000e34: JUMP
00000e35: JUMPDEST
00000e36: PUSH2 0x0e40
00000e39: DUP7
00000e3a: DUP7
00000e3b: DUP7
00000e3c: PUSH2 0x1128
00000e3f: JUMP
00000e40: JUMPDEST
00000e41: PUSH2 0x0e52
00000e44: DUP6
00000e45: PUSH1 0x01
00000e47: PUSH1 0x01
00000e49: PUSH1 0xa0
00000e4b: SHL
00000e4c: SUB
00000e4d: AND
00000e4e: PUSH2 0x17ce
00000e51: JUMP
00000e52: JUMPDEST
00000e53: ISZERO
00000e54: PUSH2 0x0e80
00000e57: JUMPI
00000e58: PUSH2 0x0e64
00000e5b: CALLER
00000e5c: DUP8
00000e5d: DUP8
00000e5e: DUP8
00000e5f: DUP8
00000e60: PUSH2 0x17d4
00000e63: JUMP
00000e64: JUMPDEST
00000e65: PUSH2 0x0e80
00000e68: JUMPI
00000e69: PUSH1 0x40
00000e6b: MLOAD
00000e6c: PUSH3 0x461bcd
00000e70: PUSH1 0xe5
00000e72: SHL
00000e73: DUP2
00000e74: MSTORE
00000e75: PUSH1 0x04
00000e77: ADD
00000e78: PUSH2 0x0580
00000e7b: SWAP1
00000e7c: PUSH2 0x263c
00000e7f: JUMP
00000e80: JUMPDEST
00000e81: POP
00000e82: POP
00000e83: POP
00000e84: POP
00000e85: POP
00000e86: POP
00000e87: JUMP
00000e88: JUMPDEST
00000e89: PUSH1 0x60
00000e8b: PUSH1 0x00
00000e8d: PUSH2 0x0e95
00000e90: DUP4
00000e91: PUSH2 0x1014
00000e94: JUMP
00000e95: JUMPDEST
00000e96: SWAP1
00000e97: POP
00000e98: PUSH1 0x01
00000e9a: PUSH1 0x01
00000e9c: PUSH1 0xa0
00000e9e: SHL
00000e9f: SUB
00000ea0: DUP2
00000ea1: AND
00000ea2: PUSH2 0x0ebd
00000ea5: JUMPI
00000ea6: PUSH1 0x40
00000ea8: MLOAD
00000ea9: PUSH3 0x461bcd
00000ead: PUSH1 0xe5
00000eaf: SHL
00000eb0: DUP2
00000eb1: MSTORE
00000eb2: PUSH1 0x04
00000eb4: ADD
00000eb5: PUSH2 0x0580
00000eb8: SWAP1
00000eb9: PUSH2 0x2888
00000ebc: JUMP
00000ebd: JUMPDEST
00000ebe: PUSH2 0x0ec6
00000ec1: DUP4
00000ec2: PUSH2 0x11d4
00000ec5: JUMP
00000ec6: JUMPDEST
00000ec7: SWAP4
00000ec8: SWAP3
00000ec9: POP
00000eca: POP
00000ecb: POP
00000ecc: JUMP
00000ecd: JUMPDEST
00000ece: PUSH1 0x01
00000ed0: PUSH1 0x01
00000ed2: PUSH1 0xa0
00000ed4: SHL
00000ed5: SUB
00000ed6: SWAP2
00000ed7: DUP3
00000ed8: AND
00000ed9: PUSH1 0x00
00000edb: SWAP1
00000edc: DUP2
00000edd: MSTORE
00000ede: PUSH1 0x03
00000ee0: PUSH1 0x20
00000ee2: SWAP1
00000ee3: DUP2
00000ee4: MSTORE
00000ee5: PUSH1 0x40
00000ee7: DUP1
00000ee8: DUP4
00000ee9: KECCAK256
00000eea: SWAP4
00000eeb: SWAP1
00000eec: SWAP5
00000eed: AND
00000eee: DUP3
00000eef: MSTORE
00000ef0: SWAP2
00000ef1: SWAP1
00000ef2: SWAP2
00000ef3: MSTORE
00000ef4: KECCAK256
00000ef5: SLOAD
00000ef6: PUSH1 0xff
00000ef8: AND
00000ef9: SWAP1
00000efa: JUMP
00000efb: JUMPDEST
00000efc: PUSH1 0x00
00000efe: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00000f1f: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000f40: DUP4
00000f41: AND
00000f42: EQ
00000f43: DUP1
00000f44: PUSH2 0x0f8e
00000f47: JUMPI
00000f48: POP
00000f49: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000
00000f6a: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000f8b: DUP4
00000f8c: AND
00000f8d: EQ
00000f8e: JUMPDEST
00000f8f: DUP1
00000f90: PUSH2 0x04f9
00000f93: JUMPI
00000f94: POP
00000f95: POP
00000f96: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000fb7: AND
00000fb8: PUSH32 0x780e9d6300000000000000000000000000000000000000000000000000000000
00000fd9: EQ
00000fda: SWAP1
00000fdb: JUMP
00000fdc: JUMPDEST
00000fdd: PUSH1 0x00
00000fdf: SWAP1
00000fe0: DUP2
00000fe1: MSTORE
00000fe2: PUSH1 0x01
00000fe4: PUSH1 0x20
00000fe6: MSTORE
00000fe7: PUSH1 0x40
00000fe9: SWAP1
00000fea: KECCAK256
00000feb: SLOAD
00000fec: SWAP1
00000fed: PUSH32 0x8000000000000000000000000000000000000000000000000000000000000000
0000100e: DUP1
0000100f: DUP4
00001010: AND
00001011: EQ
00001012: SWAP1
00001013: JUMP
00001014: JUMPDEST
00001015: PUSH1 0x00
00001017: DUP2
00001018: DUP2
00001019: MSTORE
0000101a: PUSH1 0x01
0000101c: PUSH1 0x20
0000101e: MSTORE
0000101f: PUSH1 0x40
00001021: SWAP1
00001022: KECCAK256
00001023: SLOAD
00001024: PUSH1 0x01
00001026: PUSH1 0x01
00001028: PUSH1 0xa0
0000102a: SHL
0000102b: SUB
0000102c: DUP2
0000102d: AND
0000102e: PUSH2 0x04fc
00001031: JUMPI
00001032: PUSH1 0x40
00001034: MLOAD
00001035: PUSH3 0x461bcd
00001039: PUSH1 0xe5
0000103b: SHL
0000103c: DUP2
0000103d: MSTORE
0000103e: PUSH1 0x04
00001040: ADD
00001041: PUSH2 0x0580
00001044: SWAP1
00001045: PUSH2 0x273e
00001048: JUMP
00001049: JUMPDEST
0000104a: PUSH1 0x01
0000104c: PUSH1 0x01
0000104e: PUSH1 0xa0
00001050: SHL
00001051: SUB
00001052: DUP3
00001053: AND
00001054: PUSH2 0x1076
00001057: JUMPI
00001058: PUSH1 0x00
0000105a: DUP2
0000105b: DUP2
0000105c: MSTORE
0000105d: PUSH1 0x01
0000105f: PUSH1 0x20
00001061: MSTORE
00001062: PUSH1 0x40
00001064: SWAP1
00001065: KECCAK256
00001066: PUSH1 0x01
00001068: PUSH1 0x01
0000106a: PUSH1 0xa0
0000106c: SHL
0000106d: SUB
0000106e: DUP5
0000106f: AND
00001070: SWAP1
00001071: SSTORE
00001072: PUSH2 0x10e2
00001075: JUMP
00001076: JUMPDEST
00001077: PUSH1 0x00
00001079: DUP2
0000107a: DUP2
0000107b: MSTORE
0000107c: PUSH1 0x01
0000107e: PUSH1 0x20
00001080: SWAP1
00001081: DUP2
00001082: MSTORE
00001083: PUSH1 0x40
00001085: DUP1
00001086: DUP4
00001087: KECCAK256
00001088: PUSH1 0x01
0000108a: PUSH1 0x01
0000108c: PUSH1 0xa0
0000108e: SHL
0000108f: SUB
00001090: DUP8
00001091: DUP2
00001092: AND
00001093: PUSH32 0x8000000000000000000000000000000000000000000000000000000000000000
000010b4: OR
000010b5: SWAP1
000010b6: SWAP2
000010b7: SSTORE
000010b8: PUSH1 0x04
000010ba: SWAP1
000010bb: SWAP3
000010bc: MSTORE
000010bd: SWAP1
000010be: SWAP2
000010bf: KECCAK256
000010c0: DUP1
000010c1: SLOAD
000010c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010d7: NOT
000010d8: AND
000010d9: SWAP2
000010da: DUP5
000010db: AND
000010dc: SWAP2
000010dd: SWAP1
000010de: SWAP2
000010df: OR
000010e0: SWAP1
000010e1: SSTORE
000010e2: JUMPDEST
000010e3: DUP1
000010e4: DUP3
000010e5: PUSH1 0x01
000010e7: PUSH1 0x01
000010e9: PUSH1 0xa0
000010eb: SHL
000010ec: SUB
000010ed: AND
000010ee: DUP5
000010ef: PUSH1 0x01
000010f1: PUSH1 0x01
000010f3: PUSH1 0xa0
000010f5: SHL
000010f6: SUB
000010f7: AND
000010f8: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001119: PUSH1 0x40
0000111b: MLOAD
0000111c: PUSH1 0x40
0000111e: MLOAD
0000111f: DUP1
00001120: SWAP2
00001121: SUB
00001122: SWAP1
00001123: LOG4
00001124: POP
00001125: POP
00001126: POP
00001127: JUMP
00001128: JUMPDEST
00001129: PUSH1 0x01
0000112b: PUSH1 0x01
0000112d: PUSH1 0xa0
0000112f: SHL
00001130: SUB
00001131: DUP4
00001132: AND
00001133: PUSH1 0x00
00001135: SWAP1
00001136: DUP2
00001137: MSTORE
00001138: PUSH1 0x02
0000113a: PUSH1 0x20
0000113c: MSTORE
0000113d: PUSH1 0x40
0000113f: SWAP1
00001140: KECCAK256
00001141: PUSH2 0x114a
00001144: SWAP1
00001145: DUP3
00001146: PUSH2 0x18ab
00001149: JUMP
0000114a: JUMPDEST
0000114b: POP
0000114c: PUSH1 0x01
0000114e: PUSH1 0x01
00001150: PUSH1 0xa0
00001152: SHL
00001153: SUB
00001154: DUP3
00001155: AND
00001156: PUSH1 0x00
00001158: SWAP1
00001159: DUP2
0000115a: MSTORE
0000115b: PUSH1 0x02
0000115d: PUSH1 0x20
0000115f: MSTORE
00001160: PUSH1 0x40
00001162: SWAP1
00001163: KECCAK256
00001164: PUSH2 0x116d
00001167: SWAP1
00001168: DUP3
00001169: PUSH2 0x18b7
0000116c: JUMP
0000116d: JUMPDEST
0000116e: POP
0000116f: PUSH1 0x00
00001171: DUP2
00001172: DUP2
00001173: MSTORE
00001174: PUSH1 0x01
00001176: PUSH1 0x20
00001178: MSTORE
00001179: PUSH1 0x40
0000117b: DUP1
0000117c: DUP3
0000117d: KECCAK256
0000117e: PUSH1 0x01
00001180: PUSH1 0x01
00001182: PUSH1 0xa0
00001184: SHL
00001185: SUB
00001186: DUP1
00001187: DUP7
00001188: AND
00001189: SWAP2
0000118a: DUP3
0000118b: SWAP1
0000118c: SSTORE
0000118d: SWAP2
0000118e: MLOAD
0000118f: DUP5
00001190: SWAP4
00001191: SWAP2
00001192: SWAP3
00001193: DUP8
00001194: AND
00001195: SWAP2
00001196: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000011b7: SWAP2
000011b8: LOG4
000011b9: POP
000011ba: POP
000011bb: POP
000011bc: JUMP
000011bd: JUMPDEST
000011be: PUSH1 0x00
000011c0: PUSH2 0x07df
000011c3: DUP4
000011c4: DUP4
000011c5: PUSH2 0x18c3
000011c8: JUMP
000011c9: JUMPDEST
000011ca: PUSH1 0x00
000011cc: PUSH2 0x04f9
000011cf: DUP3
000011d0: PUSH2 0x1908
000011d3: JUMP
000011d4: JUMPDEST
000011d5: PUSH1 0x60
000011d7: DUP1
000011d8: PUSH1 0x40
000011da: MLOAD
000011db: DUP1
000011dc: PUSH2 0x0440
000011df: ADD
000011e0: PUSH1 0x40
000011e2: MSTORE
000011e3: DUP1
000011e4: PUSH2 0x040c
000011e7: DUP2
000011e8: MSTORE
000011e9: PUSH1 0x20
000011eb: ADD
000011ec: PUSH2 0x290f
000011ef: PUSH2 0x040c
000011f2: SWAP2
000011f3: CODECOPY
000011f4: SWAP1
000011f5: POP
000011f6: PUSH2 0x1201
000011f9: DUP2
000011fa: PUSH1 0x4a
000011fc: DUP6
000011fd: PUSH2 0x190c
00001200: JUMP
00001201: JUMPDEST
00001202: PUSH1 0x00
00001204: JUMPDEST
00001205: PUSH1 0x28
00001207: DUP2
00001208: LT
00001209: ISZERO
0000120a: PUSH2 0x1437
0000120d: JUMPI
0000120e: PUSH1 0x00
00001210: PUSH1 0x10
00001212: DUP3
00001213: PUSH1 0x01
00001215: ADD
00001216: PUSH1 0x28
00001218: SUB
00001219: PUSH1 0x04
0000121b: MUL
0000121c: DUP7
0000121d: SWAP1
0000121e: SHR
0000121f: DUP2
00001220: PUSH2 0x1225
00001223: JUMPI
00001224: INVALID
00001225: JUMPDEST
00001226: MOD
00001227: SWAP1
00001228: POP
00001229: PUSH1 0xff
0000122b: DUP2
0000122c: AND
0000122d: PUSH2 0x1234
00001230: JUMPI
00001231: POP
00001232: PUSH1 0x10
00001234: JUMPDEST
00001235: PUSH1 0x00
00001237: PUSH2 0x1260
0000123a: PUSH32 0x8934893467893456789456789567896789789899000000000000000000000000
0000125b: DUP5
0000125c: PUSH2 0x19c7
0000125f: JUMP
00001260: JUMPDEST
00001261: SWAP1
00001262: POP
00001263: PUSH1 0x00
00001265: PUSH2 0x128d
00001268: PUSH31 0x11112222223333333444444555556666777889000000000000000000000000
00001288: DUP6
00001289: PUSH2 0x19c7
0000128c: JUMP
0000128d: JUMPDEST
0000128e: SWAP1
0000128f: POP
00001290: PUSH2 0x12ad
00001293: DUP6
00001294: PUSH2 0x0209
00001297: PUSH1 0x04
00001299: DUP5
0000129a: DIV
0000129b: PUSH1 0x02
0000129d: MUL
0000129e: DUP6
0000129f: PUSH1 0x13
000012a1: DUP7
000012a2: MUL
000012a3: ADD
000012a4: ADD
000012a5: PUSH1 0x01
000012a7: ADD
000012a8: DUP7
000012a9: PUSH2 0x19db
000012ac: JUMP
000012ad: JUMPDEST
000012ae: DUP1
000012af: DUP3
000012b0: EQ
000012b1: PUSH2 0x137f
000012b4: JUMPI
000012b5: PUSH2 0x12d2
000012b8: DUP6
000012b9: PUSH2 0x0209
000012bc: PUSH1 0x04
000012be: DUP6
000012bf: DIV
000012c0: PUSH1 0x02
000012c2: MUL
000012c3: DUP5
000012c4: PUSH1 0x13
000012c6: DUP8
000012c7: MUL
000012c8: ADD
000012c9: ADD
000012ca: PUSH1 0x01
000012cc: ADD
000012cd: DUP7
000012ce: PUSH2 0x19db
000012d1: JUMP
000012d2: JUMPDEST
000012d3: PUSH1 0x09
000012d5: DUP2
000012d6: EQ
000012d7: PUSH2 0x12f8
000012da: JUMPI
000012db: PUSH2 0x12f8
000012de: DUP6
000012df: PUSH2 0x0209
000012e2: PUSH1 0x04
000012e4: DUP6
000012e5: DIV
000012e6: PUSH1 0x02
000012e8: MUL
000012e9: PUSH1 0x13
000012eb: DUP6
000012ec: DUP2
000012ed: SUB
000012ee: SWAP1
000012ef: DUP8
000012f0: MUL
000012f1: ADD
000012f2: ADD
000012f3: DUP7
000012f4: PUSH2 0x19db
000012f7: JUMP
000012f8: JUMPDEST
000012f9: PUSH1 0x09
000012fb: DUP3
000012fc: EQ
000012fd: PUSH2 0x1331
00001300: JUMPI
00001301: PUSH2 0x1331
00001304: DUP6
00001305: PUSH2 0x0209
00001308: PUSH1 0x04
0000130a: PUSH1 0x01
0000130c: DUP7
0000130d: PUSH1 0x13
0000130f: SUB
00001310: SUB
00001311: DUP2
00001312: PUSH2 0x1317
00001315: JUMPI
00001316: INVALID
00001317: JUMPDEST
00001318: DIV
00001319: PUSH1 0x02
0000131b: MUL
0000131c: DUP5
0000131d: PUSH1 0x13
0000131f: PUSH1 0x01
00001321: DUP9
00001322: PUSH1 0x13
00001324: SUB
00001325: SUB
00001326: MUL
00001327: ADD
00001328: ADD
00001329: PUSH1 0x01
0000132b: ADD
0000132c: DUP7
0000132d: PUSH2 0x19db
00001330: JUMP
00001331: JUMPDEST
00001332: PUSH1 0x09
00001334: DUP3
00001335: EQ
00001336: DUP1
00001337: ISZERO
00001338: SWAP1
00001339: PUSH2 0x1343
0000133c: JUMPI
0000133d: POP
0000133e: PUSH1 0x09
00001340: DUP2
00001341: EQ
00001342: ISZERO
00001343: JUMPDEST
00001344: ISZERO
00001345: PUSH2 0x137f
00001348: JUMPI
00001349: PUSH2 0x137f
0000134c: DUP6
0000134d: PUSH2 0x0209
00001350: PUSH1 0x04
00001352: PUSH1 0x01
00001354: DUP7
00001355: PUSH1 0x13
00001357: SUB
00001358: SUB
00001359: DUP2
0000135a: PUSH2 0x135f
0000135d: JUMPI
0000135e: INVALID
0000135f: JUMPDEST
00001360: DIV
00001361: PUSH1 0x02
00001363: MUL
00001364: PUSH1 0x01
00001366: DUP6
00001367: PUSH1 0x13
00001369: SUB
0000136a: SUB
0000136b: PUSH1 0x13
0000136d: PUSH1 0x01
0000136f: DUP9
00001370: PUSH1 0x13
00001372: SUB
00001373: SUB
00001374: MUL
00001375: ADD
00001376: ADD
00001377: PUSH1 0x01
00001379: ADD
0000137a: DUP7
0000137b: PUSH2 0x19db
0000137e: JUMP
0000137f: JUMPDEST
00001380: PUSH1 0x09
00001382: DUP3
00001383: EQ
00001384: PUSH2 0x13a5
00001387: JUMPI
00001388: PUSH2 0x13a5
0000138b: DUP6
0000138c: PUSH2 0x0209
0000138f: PUSH1 0x04
00001391: DUP5
00001392: DIV
00001393: PUSH1 0x02
00001395: MUL
00001396: PUSH1 0x13
00001398: DUP7
00001399: DUP2
0000139a: SUB
0000139b: SWAP1
0000139c: DUP7
0000139d: MUL
0000139e: ADD
0000139f: ADD
000013a0: DUP7
000013a1: PUSH2 0x19db
000013a4: JUMP
000013a5: JUMPDEST
000013a6: PUSH1 0x09
000013a8: DUP2
000013a9: EQ
000013aa: PUSH2 0x13de
000013ad: JUMPI
000013ae: PUSH2 0x13de
000013b1: DUP6
000013b2: PUSH2 0x0209
000013b5: PUSH1 0x04
000013b7: PUSH1 0x01
000013b9: DUP6
000013ba: PUSH1 0x13
000013bc: SUB
000013bd: SUB
000013be: DUP2
000013bf: PUSH2 0x13c4
000013c2: JUMPI
000013c3: INVALID
000013c4: JUMPDEST
000013c5: DIV
000013c6: PUSH1 0x02
000013c8: MUL
000013c9: DUP6
000013ca: PUSH1 0x13
000013cc: PUSH1 0x01
000013ce: DUP8
000013cf: PUSH1 0x13
000013d1: SUB
000013d2: SUB
000013d3: MUL
000013d4: ADD
000013d5: ADD
000013d6: PUSH1 0x01
000013d8: ADD
000013d9: DUP7
000013da: PUSH2 0x19db
000013dd: JUMP
000013de: JUMPDEST
000013df: PUSH1 0x09
000013e1: DUP3
000013e2: EQ
000013e3: DUP1
000013e4: ISZERO
000013e5: SWAP1
000013e6: PUSH2 0x13f0
000013e9: JUMPI
000013ea: POP
000013eb: PUSH1 0x09
000013ed: DUP2
000013ee: EQ
000013ef: ISZERO
000013f0: JUMPDEST
000013f1: ISZERO
000013f2: PUSH2 0x142c
000013f5: JUMPI
000013f6: PUSH2 0x142c
000013f9: DUP6
000013fa: PUSH2 0x0209
000013fd: PUSH1 0x04
000013ff: PUSH1 0x01
00001401: DUP6
00001402: PUSH1 0x13
00001404: SUB
00001405: SUB
00001406: DUP2
00001407: PUSH2 0x140c
0000140a: JUMPI
0000140b: INVALID
0000140c: JUMPDEST
0000140d: DIV
0000140e: PUSH1 0x02
00001410: MUL
00001411: PUSH1 0x01
00001413: DUP7
00001414: PUSH1 0x13
00001416: SUB
00001417: SUB
00001418: PUSH1 0x13
0000141a: PUSH1 0x01
0000141c: DUP8
0000141d: PUSH1 0x13
0000141f: SUB
00001420: SUB
00001421: MUL
00001422: ADD
00001423: ADD
00001424: PUSH1 0x01
00001426: ADD
00001427: DUP7
00001428: PUSH2 0x19db
0000142b: JUMP
0000142c: JUMPDEST
0000142d: POP
0000142e: POP
0000142f: POP
00001430: PUSH1 0x01
00001432: ADD
00001433: PUSH2 0x1204
00001436: JUMP
00001437: JUMPDEST
00001438: POP
00001439: SWAP3
0000143a: SWAP2
0000143b: POP
0000143c: POP
0000143d: JUMP
0000143e: JUMPDEST
0000143f: PUSH32 0x0000000000000000000000000000000000000000000000000001c6bf52634000
00001460: MUL
00001461: PUSH32 0x00000000000000000000000000000000000000000000000000038d7ea4c68000
00001482: ADD
00001483: SWAP1
00001484: JUMP
00001485: JUMPDEST
00001486: PUSH2 0x2710
00001489: PUSH32 0x00000000000000000000000000000000000000000000000000000000000001f4
000014aa: DUP2
000014ab: SUB
000014ac: SWAP2
000014ad: SWAP1
000014ae: SWAP2
000014af: MUL
000014b0: DIV
000014b1: SWAP1
000014b2: JUMP
000014b3: JUMPDEST
000014b4: PUSH1 0x00
000014b6: DUP2
000014b7: DUP2
000014b8: MSTORE
000014b9: PUSH1 0x01
000014bb: PUSH1 0x20
000014bd: MSTORE
000014be: PUSH1 0x40
000014c0: SWAP1
000014c1: KECCAK256
000014c2: SLOAD
000014c3: DUP1
000014c4: PUSH2 0x14df
000014c7: JUMPI
000014c8: PUSH1 0x40
000014ca: MLOAD
000014cb: PUSH3 0x461bcd
000014cf: PUSH1 0xe5
000014d1: SHL
000014d2: DUP2
000014d3: MSTORE
000014d4: PUSH1 0x04
000014d6: ADD
000014d7: PUSH2 0x0580
000014da: SWAP1
000014db: PUSH2 0x273e
000014de: JUMP
000014df: JUMPDEST
000014e0: PUSH32 0x4000000000000000000000000000000000000000000000000000000000000000
00001501: DUP2
00001502: AND
00001503: ISZERO
00001504: PUSH2 0x151f
00001507: JUMPI
00001508: PUSH1 0x40
0000150a: MLOAD
0000150b: PUSH3 0x461bcd
0000150f: PUSH1 0xe5
00001511: SHL
00001512: DUP2
00001513: MSTORE
00001514: PUSH1 0x04
00001516: ADD
00001517: PUSH2 0x0580
0000151a: SWAP1
0000151b: PUSH2 0x2438
0000151e: JUMP
0000151f: JUMPDEST
00001520: DUP1
00001521: CALLER
00001522: PUSH1 0x01
00001524: PUSH1 0x01
00001526: PUSH1 0xa0
00001528: SHL
00001529: SUB
0000152a: DUP3
0000152b: AND
0000152c: EQ
0000152d: PUSH2 0x1548
00001530: JUMPI
00001531: PUSH1 0x40
00001533: MLOAD
00001534: PUSH3 0x461bcd
00001538: PUSH1 0xe5
0000153a: SHL
0000153b: DUP2
0000153c: MSTORE
0000153d: PUSH1 0x04
0000153f: ADD
00001540: PUSH2 0x0580
00001543: SWAP1
00001544: PUSH2 0x27ac
00001547: JUMP
00001548: JUMPDEST
00001549: PUSH1 0x01
0000154b: PUSH1 0x01
0000154d: PUSH1 0xa0
0000154f: SHL
00001550: SUB
00001551: DUP2
00001552: AND
00001553: PUSH1 0x00
00001555: SWAP1
00001556: DUP2
00001557: MSTORE
00001558: PUSH1 0x02
0000155a: PUSH1 0x20
0000155c: MSTORE
0000155d: PUSH1 0x40
0000155f: SWAP1
00001560: KECCAK256
00001561: PUSH2 0x156a
00001564: SWAP1
00001565: DUP5
00001566: PUSH2 0x18ab
00001569: JUMP
0000156a: JUMPDEST
0000156b: POP
0000156c: PUSH1 0x00
0000156e: DUP4
0000156f: DUP2
00001570: MSTORE
00001571: PUSH1 0x01
00001573: PUSH1 0x20
00001575: MSTORE
00001576: PUSH1 0x40
00001578: DUP1
00001579: DUP3
0000157a: KECCAK256
0000157b: PUSH32 0x4000000000000000000000000000000000000000000000000000000000000000
0000159c: SWAP1
0000159d: SSTORE
0000159e: DUP2
0000159f: SLOAD
000015a0: PUSH1 0x00
000015a2: NOT
000015a3: ADD
000015a4: DUP3
000015a5: SSTORE
000015a6: MLOAD
000015a7: DUP5
000015a8: SWAP2
000015a9: SWAP1
000015aa: CALLER
000015ab: SWAP1
000015ac: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000015cd: SWAP1
000015ce: DUP4
000015cf: SWAP1
000015d0: LOG4
000015d1: POP
000015d2: POP
000015d3: POP
000015d4: JUMP
000015d5: JUMPDEST
000015d6: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103
000015f7: SLOAD
000015f8: SWAP1
000015f9: JUMP
000015fa: JUMPDEST
000015fb: PUSH1 0x01
000015fd: PUSH1 0x01
000015ff: PUSH1 0xa0
00001601: SHL
00001602: SUB
00001603: DUP4
00001604: DUP2
00001605: AND
00001606: PUSH1 0x00
00001608: DUP2
00001609: DUP2
0000160a: MSTORE
0000160b: PUSH1 0x03
0000160d: PUSH1 0x20
0000160f: SWAP1
00001610: DUP2
00001611: MSTORE
00001612: PUSH1 0x40
00001614: DUP1
00001615: DUP4
00001616: KECCAK256
00001617: SWAP5
00001618: DUP8
00001619: AND
0000161a: DUP1
0000161b: DUP5
0000161c: MSTORE
0000161d: SWAP5
0000161e: SWAP1
0000161f: SWAP2
00001620: MSTORE
00001621: SWAP1
00001622: DUP2
00001623: SWAP1
00001624: KECCAK256
00001625: DUP1
00001626: SLOAD
00001627: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001648: AND
00001649: DUP6
0000164a: ISZERO
0000164b: ISZERO
0000164c: OR
0000164d: SWAP1
0000164e: SSTORE
0000164f: MLOAD
00001650: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00001671: SWAP1
00001672: PUSH2 0x167c
00001675: SWAP1
00001676: DUP6
00001677: SWAP1
00001678: PUSH2 0x23c5
0000167b: JUMP
0000167c: JUMPDEST
0000167d: PUSH1 0x40
0000167f: MLOAD
00001680: DUP1
00001681: SWAP2
00001682: SUB
00001683: SWAP1
00001684: LOG3
00001685: POP
00001686: POP
00001687: POP
00001688: JUMP
00001689: JUMPDEST
0000168a: PUSH1 0x00
0000168c: DUP2
0000168d: PUSH1 0x40
0000168f: MLOAD
00001690: PUSH1 0x20
00001692: ADD
00001693: PUSH2 0x169c
00001696: SWAP2
00001697: SWAP1
00001698: PUSH2 0x2287
0000169b: JUMP
0000169c: JUMPDEST
0000169d: PUSH1 0x40
0000169f: MLOAD
000016a0: PUSH1 0x20
000016a2: DUP2
000016a3: DUP4
000016a4: SUB
000016a5: SUB
000016a6: DUP2
000016a7: MSTORE
000016a8: SWAP1
000016a9: PUSH1 0x40
000016ab: MSTORE
000016ac: DUP1
000016ad: MLOAD
000016ae: SWAP1
000016af: PUSH1 0x20
000016b1: ADD
000016b2: KECCAK256
000016b3: SWAP1
000016b4: POP
000016b5: SWAP2
000016b6: SWAP1
000016b7: POP
000016b8: JUMP
000016b9: JUMPDEST
000016ba: PUSH1 0x00
000016bc: DUP2
000016bd: MLOAD
000016be: PUSH1 0x41
000016c0: EQ
000016c1: PUSH2 0x16dc
000016c4: JUMPI
000016c5: PUSH1 0x40
000016c7: MLOAD
000016c8: PUSH3 0x461bcd
000016cc: PUSH1 0xe5
000016ce: SHL
000016cf: DUP2
000016d0: MSTORE
000016d1: PUSH1 0x04
000016d3: ADD
000016d4: PUSH2 0x0580
000016d7: SWAP1
000016d8: PUSH2 0x24cc
000016db: JUMP
000016dc: JUMPDEST
000016dd: PUSH1 0x20
000016df: DUP3
000016e0: ADD
000016e1: MLOAD
000016e2: PUSH1 0x40
000016e4: DUP4
000016e5: ADD
000016e6: MLOAD
000016e7: PUSH1 0x60
000016e9: DUP5
000016ea: ADD
000016eb: MLOAD
000016ec: PUSH1 0x00
000016ee: BYTE
000016ef: PUSH2 0x16fa
000016f2: DUP7
000016f3: DUP3
000016f4: DUP6
000016f5: DUP6
000016f6: PUSH2 0x1bda
000016f9: JUMP
000016fa: JUMPDEST
000016fb: SWAP7
000016fc: SWAP6
000016fd: POP
000016fe: POP
000016ff: POP
00001700: POP
00001701: POP
00001702: POP
00001703: JUMP
00001704: JUMPDEST
00001705: PUSH1 0x01
00001707: PUSH1 0x01
00001709: PUSH1 0xa0
0000170b: SHL
0000170c: SUB
0000170d: DUP2
0000170e: AND
0000170f: PUSH2 0x172a
00001712: JUMPI
00001713: PUSH1 0x40
00001715: MLOAD
00001716: PUSH3 0x461bcd
0000171a: PUSH1 0xe5
0000171c: SHL
0000171d: DUP2
0000171e: MSTORE
0000171f: PUSH1 0x04
00001721: ADD
00001722: PUSH2 0x0580
00001725: SWAP1
00001726: PUSH2 0x2707
00001729: JUMP
0000172a: JUMPDEST
0000172b: PUSH1 0x00
0000172d: DUP3
0000172e: DUP2
0000172f: MSTORE
00001730: PUSH1 0x01
00001732: PUSH1 0x20
00001734: MSTORE
00001735: PUSH1 0x40
00001737: SWAP1
00001738: KECCAK256
00001739: SLOAD
0000173a: DUP1
0000173b: ISZERO
0000173c: PUSH2 0x1757
0000173f: JUMPI
00001740: PUSH1 0x40
00001742: MLOAD
00001743: PUSH3 0x461bcd
00001747: PUSH1 0xe5
00001749: SHL
0000174a: DUP2
0000174b: MSTORE
0000174c: PUSH1 0x04
0000174e: ADD
0000174f: PUSH2 0x0580
00001752: SWAP1
00001753: PUSH2 0x281a
00001756: JUMP
00001757: JUMPDEST
00001758: PUSH1 0x01
0000175a: PUSH1 0x01
0000175c: PUSH1 0xa0
0000175e: SHL
0000175f: SUB
00001760: DUP3
00001761: AND
00001762: PUSH1 0x00
00001764: SWAP1
00001765: DUP2
00001766: MSTORE
00001767: PUSH1 0x02
00001769: PUSH1 0x20
0000176b: MSTORE
0000176c: PUSH1 0x40
0000176e: SWAP1
0000176f: KECCAK256
00001770: PUSH2 0x1779
00001773: SWAP1
00001774: DUP5
00001775: PUSH2 0x18b7
00001778: JUMP
00001779: JUMPDEST
0000177a: POP
0000177b: PUSH1 0x00
0000177d: DUP4
0000177e: DUP2
0000177f: MSTORE
00001780: PUSH1 0x01
00001782: PUSH1 0x20
00001784: DUP2
00001785: SWAP1
00001786: MSTORE
00001787: PUSH1 0x40
00001789: DUP1
0000178a: DUP4
0000178b: KECCAK256
0000178c: PUSH1 0x01
0000178e: PUSH1 0x01
00001790: PUSH1 0xa0
00001792: SHL
00001793: SUB
00001794: DUP7
00001795: AND
00001796: SWAP1
00001797: DUP2
00001798: SWAP1
00001799: SSTORE
0000179a: DUP4
0000179b: SLOAD
0000179c: SWAP1
0000179d: SWAP3
0000179e: ADD
0000179f: DUP4
000017a0: SSTORE
000017a1: MLOAD
000017a2: DUP6
000017a3: SWAP3
000017a4: SWAP1
000017a5: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000017c6: SWAP1
000017c7: DUP3
000017c8: SWAP1
000017c9: LOG4
000017ca: POP
000017cb: POP
000017cc: POP
000017cd: JUMP
000017ce: JUMPDEST
000017cf: EXTCODESIZE
000017d0: ISZERO
000017d1: ISZERO
000017d2: SWAP1
000017d3: JUMP
000017d4: JUMPDEST
000017d5: PUSH1 0x00
000017d7: DUP1
000017d8: DUP5
000017d9: PUSH1 0x01
000017db: PUSH1 0x01
000017dd: PUSH1 0xa0
000017df: SHL
000017e0: SUB
000017e1: AND
000017e2: PUSH4 0x150b7a02
000017e7: DUP9
000017e8: DUP9
000017e9: DUP8
000017ea: DUP8
000017eb: PUSH1 0x40
000017ed: MLOAD
000017ee: DUP6
000017ef: PUSH4 0xffffffff
000017f4: AND
000017f5: PUSH1 0xe0
000017f7: SHL
000017f8: DUP2
000017f9: MSTORE
000017fa: PUSH1 0x04
000017fc: ADD
000017fd: PUSH2 0x1809
00001800: SWAP5
00001801: SWAP4
00001802: SWAP3
00001803: SWAP2
00001804: SWAP1
00001805: PUSH2 0x2322
00001808: JUMP
00001809: JUMPDEST
0000180a: PUSH1 0x20
0000180c: PUSH1 0x40
0000180e: MLOAD
0000180f: DUP1
00001810: DUP4
00001811: SUB
00001812: DUP2
00001813: PUSH1 0x00
00001815: DUP8
00001816: DUP1
00001817: EXTCODESIZE
00001818: ISZERO
00001819: DUP1
0000181a: ISZERO
0000181b: PUSH2 0x1823
0000181e: JUMPI
0000181f: PUSH1 0x00
00001821: DUP1
00001822: REVERT
00001823: JUMPDEST
00001824: POP
00001825: GAS
00001826: CALL
00001827: ISZERO
00001828: DUP1
00001829: ISZERO
0000182a: PUSH2 0x1837
0000182d: JUMPI
0000182e: RETURNDATASIZE
0000182f: PUSH1 0x00
00001831: DUP1
00001832: RETURNDATACOPY
00001833: RETURNDATASIZE
00001834: PUSH1 0x00
00001836: REVERT
00001837: JUMPDEST
00001838: POP
00001839: POP
0000183a: POP
0000183b: POP
0000183c: PUSH1 0x40
0000183e: MLOAD
0000183f: RETURNDATASIZE
00001840: PUSH1 0x1f
00001842: NOT
00001843: PUSH1 0x1f
00001845: DUP3
00001846: ADD
00001847: AND
00001848: DUP3
00001849: ADD
0000184a: DUP1
0000184b: PUSH1 0x40
0000184d: MSTORE
0000184e: POP
0000184f: DUP2
00001850: ADD
00001851: SWAP1
00001852: PUSH2 0x185b
00001855: SWAP2
00001856: SWAP1
00001857: PUSH2 0x2208
0000185a: JUMP
0000185b: JUMPDEST
0000185c: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000187d: AND
0000187e: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000
0000189f: EQ
000018a0: SWAP2
000018a1: POP
000018a2: POP
000018a3: SWAP6
000018a4: SWAP5
000018a5: POP
000018a6: POP
000018a7: POP
000018a8: POP
000018a9: POP
000018aa: JUMP
000018ab: JUMPDEST
000018ac: PUSH1 0x00
000018ae: PUSH2 0x07df
000018b1: DUP4
000018b2: DUP4
000018b3: PUSH2 0x1cd0
000018b6: JUMP
000018b7: JUMPDEST
000018b8: PUSH1 0x00
000018ba: PUSH2 0x07df
000018bd: DUP4
000018be: DUP4
000018bf: PUSH2 0x1d96
000018c2: JUMP
000018c3: JUMPDEST
000018c4: DUP2
000018c5: SLOAD
000018c6: PUSH1 0x00
000018c8: SWAP1
000018c9: DUP3
000018ca: LT
000018cb: PUSH2 0x18e6
000018ce: JUMPI
000018cf: PUSH1 0x40
000018d1: MLOAD
000018d2: PUSH3 0x461bcd
000018d6: PUSH1 0xe5
000018d8: SHL
000018d9: DUP2
000018da: MSTORE
000018db: PUSH1 0x04
000018dd: ADD
000018de: PUSH2 0x0580
000018e1: SWAP1
000018e2: PUSH2 0x246f
000018e5: JUMP
000018e6: JUMPDEST
000018e7: DUP3
000018e8: PUSH1 0x00
000018ea: ADD
000018eb: DUP3
000018ec: DUP2
000018ed: SLOAD
000018ee: DUP2
000018ef: LT
000018f0: PUSH2 0x18f5
000018f3: JUMPI
000018f4: INVALID
000018f5: JUMPDEST
000018f6: SWAP1
000018f7: PUSH1 0x00
000018f9: MSTORE
000018fa: PUSH1 0x20
000018fc: PUSH1 0x00
000018fe: KECCAK256
000018ff: ADD
00001900: SLOAD
00001901: SWAP1
00001902: POP
00001903: SWAP3
00001904: SWAP2
00001905: POP
00001906: POP
00001907: JUMP
00001908: JUMPDEST
00001909: SLOAD
0000190a: SWAP1
0000190b: JUMP
0000190c: JUMPDEST
0000190d: DUP1
0000190e: ISZERO
0000190f: PUSH2 0x064e
00001912: JUMPI
00001913: PUSH1 0x40
00001915: DUP1
00001916: MLOAD
00001917: DUP1
00001918: DUP3
00001919: ADD
0000191a: SWAP1
0000191b: SWAP2
0000191c: MSTORE
0000191d: PUSH1 0x10
0000191f: DUP1
00001920: DUP3
00001921: MSTORE
00001922: PUSH32 0x3031323334353637383961626364656600000000000000000000000000000000
00001943: PUSH1 0x20
00001945: DUP4
00001946: ADD
00001947: MSTORE
00001948: DUP3
00001949: MOD
0000194a: DUP2
0000194b: MLOAD
0000194c: DUP2
0000194d: LT
0000194e: PUSH2 0x1953
00001951: JUMPI
00001952: INVALID
00001953: JUMPDEST
00001954: ADD
00001955: PUSH1 0x20
00001957: ADD
00001958: MLOAD
00001959: DUP4
0000195a: MLOAD
0000195b: PUSH1 0x00
0000195d: NOT
0000195e: DUP5
0000195f: ADD
00001960: SWAP4
00001961: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000
00001982: SWAP1
00001983: SWAP3
00001984: AND
00001985: SWAP2
00001986: DUP6
00001987: SWAP2
00001988: DUP2
00001989: LT
0000198a: PUSH2 0x198f
0000198d: JUMPI
0000198e: INVALID
0000198f: JUMPDEST
00001990: PUSH1 0x20
00001992: ADD
00001993: ADD
00001994: SWAP1
00001995: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000019b5: NOT
000019b6: AND
000019b7: SWAP1
000019b8: DUP2
000019b9: PUSH1 0x00
000019bb: BYTE
000019bc: SWAP1
000019bd: MSTORE8
000019be: POP
000019bf: PUSH1 0x10
000019c1: SWAP1
000019c2: DIV
000019c3: PUSH2 0x190c
000019c6: JUMP
000019c7: JUMPDEST
000019c8: PUSH1 0x04
000019ca: PUSH1 0x01
000019cc: SWAP2
000019cd: SWAP1
000019ce: SWAP2
000019cf: ADD
000019d0: MUL
000019d1: PUSH2 0x0100
000019d4: SUB
000019d5: SHR
000019d6: PUSH1 0x0f
000019d8: AND
000019d9: SWAP1
000019da: JUMP
000019db: JUMPDEST
000019dc: PUSH1 0x00
000019de: PUSH1 0x06
000019e0: PUSH1 0x08
000019e2: DUP5
000019e3: MUL
000019e4: DIV
000019e5: DUP5
000019e6: ADD
000019e7: SWAP1
000019e8: POP
000019e9: PUSH1 0x00
000019eb: PUSH1 0x06
000019ed: PUSH1 0x08
000019ef: DUP6
000019f0: MUL
000019f1: MOD
000019f2: SWAP1
000019f3: POP
000019f4: PUSH1 0x00
000019f6: PUSH2 0x1a30
000019f9: DUP8
000019fa: DUP5
000019fb: DUP2
000019fc: MLOAD
000019fd: DUP2
000019fe: LT
000019ff: PUSH2 0x1a04
00001a02: JUMPI
00001a03: INVALID
00001a04: JUMPDEST
00001a05: ADD
00001a06: PUSH1 0x20
00001a08: ADD
00001a09: MLOAD
00001a0a: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000
00001a2b: AND
00001a2c: PUSH2 0x1de0
00001a2f: JUMP
00001a30: JUMPDEST
00001a31: SWAP1
00001a32: POP
00001a33: PUSH1 0xff
00001a35: DUP3
00001a36: AND
00001a37: PUSH2 0x1afd
00001a3a: JUMPI
00001a3b: PUSH2 0x1a4a
00001a3e: PUSH1 0x3f
00001a40: PUSH1 0x02
00001a42: DUP7
00001a43: SWAP1
00001a44: SHR
00001a45: AND
00001a46: PUSH2 0x1e9c
00001a49: JUMP
00001a4a: JUMPDEST
00001a4b: DUP8
00001a4c: DUP5
00001a4d: DUP2
00001a4e: MLOAD
00001a4f: DUP2
00001a50: LT
00001a51: PUSH2 0x1a56
00001a54: JUMPI
00001a55: INVALID
00001a56: JUMPDEST
00001a57: PUSH1 0x20
00001a59: ADD
00001a5a: ADD
00001a5b: SWAP1
00001a5c: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001a7c: NOT
00001a7d: AND
00001a7e: SWAP1
00001a7f: DUP2
00001a80: PUSH1 0x00
00001a82: BYTE
00001a83: SWAP1
00001a84: MSTORE8
00001a85: POP
00001a86: PUSH1 0x00
00001a88: PUSH2 0x1a99
00001a8b: DUP9
00001a8c: DUP6
00001a8d: PUSH1 0x01
00001a8f: ADD
00001a90: DUP2
00001a91: MLOAD
00001a92: DUP2
00001a93: LT
00001a94: PUSH2 0x1a04
00001a97: JUMPI
00001a98: INVALID
00001a99: JUMPDEST
00001a9a: SWAP1
00001a9b: POP
00001a9c: PUSH2 0x1ab9
00001a9f: PUSH1 0x0f
00001aa1: DUP3
00001aa2: AND
00001aa3: PUSH1 0x04
00001aa5: DUP1
00001aa6: PUSH1 0xff
00001aa8: DUP10
00001aa9: AND
00001aaa: JUMPDEST
00001aab: MOD
00001aac: PUSH1 0xff
00001aae: AND
00001aaf: SWAP1
00001ab0: SHL
00001ab1: OR
00001ab2: PUSH1 0xff
00001ab4: AND
00001ab5: PUSH2 0x1e9c
00001ab8: JUMP
00001ab9: JUMPDEST
00001aba: DUP9
00001abb: DUP6
00001abc: PUSH1 0x01
00001abe: ADD
00001abf: DUP2
00001ac0: MLOAD
00001ac1: DUP2
00001ac2: LT
00001ac3: PUSH2 0x1ac8
00001ac6: JUMPI
00001ac7: INVALID
00001ac8: JUMPDEST
00001ac9: PUSH1 0x20
00001acb: ADD
00001acc: ADD
00001acd: SWAP1
00001ace: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001aee: NOT
00001aef: AND
00001af0: SWAP1
00001af1: DUP2
00001af2: PUSH1 0x00
00001af4: BYTE
00001af5: SWAP1
00001af6: MSTORE8
00001af7: POP
00001af8: POP
00001af9: PUSH2 0x1bd1
00001afc: JUMP
00001afd: JUMPDEST
00001afe: DUP2
00001aff: PUSH1 0xff
00001b01: AND
00001b02: PUSH1 0x02
00001b04: EQ
00001b05: ISZERO
00001b06: PUSH2 0x1b86
00001b09: JUMPI
00001b0a: PUSH2 0x1b21
00001b0d: DUP2
00001b0e: PUSH1 0x30
00001b10: AND
00001b11: PUSH1 0x04
00001b13: DUP7
00001b14: PUSH1 0xff
00001b16: AND
00001b17: SWAP1
00001b18: SHR
00001b19: OR
00001b1a: PUSH1 0xff
00001b1c: AND
00001b1d: PUSH2 0x1e9c
00001b20: JUMP
00001b21: JUMPDEST
00001b22: DUP8
00001b23: DUP5
00001b24: DUP2
00001b25: MLOAD
00001b26: DUP2
00001b27: LT
00001b28: PUSH2 0x1b2d
00001b2b: JUMPI
00001b2c: INVALID
00001b2d: JUMPDEST
00001b2e: PUSH1 0x20
00001b30: ADD
00001b31: ADD
00001b32: SWAP1
00001b33: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001b53: NOT
00001b54: AND
00001b55: SWAP1
00001b56: DUP2
00001b57: PUSH1 0x00
00001b59: BYTE
00001b5a: SWAP1
00001b5b: MSTORE8
00001b5c: POP
00001b5d: PUSH1 0x00
00001b5f: PUSH2 0x1b70
00001b62: DUP9
00001b63: DUP6
00001b64: PUSH1 0x01
00001b66: ADD
00001b67: DUP2
00001b68: MLOAD
00001b69: DUP2
00001b6a: LT
00001b6b: PUSH2 0x1a04
00001b6e: JUMPI
00001b6f: INVALID
00001b70: JUMPDEST
00001b71: SWAP1
00001b72: POP
00001b73: PUSH2 0x1ab9
00001b76: PUSH1 0x03
00001b78: DUP3
00001b79: AND
00001b7a: PUSH1 0x02
00001b7c: PUSH1 0x10
00001b7e: PUSH1 0xff
00001b80: DUP10
00001b81: AND
00001b82: PUSH2 0x1aaa
00001b85: JUMP
00001b86: JUMPDEST
00001b87: PUSH2 0x1b92
00001b8a: PUSH1 0x3f
00001b8c: DUP6
00001b8d: AND
00001b8e: PUSH2 0x1e9c
00001b91: JUMP
00001b92: JUMPDEST
00001b93: DUP8
00001b94: DUP5
00001b95: PUSH1 0x01
00001b97: ADD
00001b98: DUP2
00001b99: MLOAD
00001b9a: DUP2
00001b9b: LT
00001b9c: PUSH2 0x1ba1
00001b9f: JUMPI
00001ba0: INVALID
00001ba1: JUMPDEST
00001ba2: PUSH1 0x20
00001ba4: ADD
00001ba5: ADD
00001ba6: SWAP1
00001ba7: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001bc7: NOT
00001bc8: AND
00001bc9: SWAP1
00001bca: DUP2
00001bcb: PUSH1 0x00
00001bcd: BYTE
00001bce: SWAP1
00001bcf: MSTORE8
00001bd0: POP
00001bd1: JUMPDEST
00001bd2: POP
00001bd3: POP
00001bd4: POP
00001bd5: POP
00001bd6: POP
00001bd7: POP
00001bd8: POP
00001bd9: JUMP
00001bda: JUMPDEST
00001bdb: PUSH1 0x00
00001bdd: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0
00001bfe: DUP3
00001bff: GT
00001c00: ISZERO
00001c01: PUSH2 0x1c1c
00001c04: JUMPI
00001c05: PUSH1 0x40
00001c07: MLOAD
00001c08: PUSH3 0x461bcd
00001c0c: PUSH1 0xe5
00001c0e: SHL
00001c0f: DUP2
00001c10: MSTORE
00001c11: PUSH1 0x04
00001c13: ADD
00001c14: PUSH2 0x0580
00001c17: SWAP1
00001c18: PUSH2 0x25a8
00001c1b: JUMP
00001c1c: JUMPDEST
00001c1d: DUP4
00001c1e: PUSH1 0xff
00001c20: AND
00001c21: PUSH1 0x1b
00001c23: EQ
00001c24: DUP1
00001c25: PUSH2 0x1c31
00001c28: JUMPI
00001c29: POP
00001c2a: DUP4
00001c2b: PUSH1 0xff
00001c2d: AND
00001c2e: PUSH1 0x1c
00001c30: EQ
00001c31: JUMPDEST
00001c32: PUSH2 0x1c4d
00001c35: JUMPI
00001c36: PUSH1 0x40
00001c38: MLOAD
00001c39: PUSH3 0x461bcd
00001c3d: PUSH1 0xe5
00001c3f: SHL
00001c40: DUP2
00001c41: MSTORE
00001c42: PUSH1 0x04
00001c44: ADD
00001c45: PUSH2 0x0580
00001c48: SWAP1
00001c49: PUSH2 0x2673
00001c4c: JUMP
00001c4d: JUMPDEST
00001c4e: PUSH1 0x00
00001c50: PUSH1 0x01
00001c52: DUP7
00001c53: DUP7
00001c54: DUP7
00001c55: DUP7
00001c56: PUSH1 0x40
00001c58: MLOAD
00001c59: PUSH1 0x00
00001c5b: DUP2
00001c5c: MSTORE
00001c5d: PUSH1 0x20
00001c5f: ADD
00001c60: PUSH1 0x40
00001c62: MSTORE
00001c63: PUSH1 0x40
00001c65: MLOAD
00001c66: PUSH2 0x1c72
00001c69: SWAP5
00001c6a: SWAP4
00001c6b: SWAP3
00001c6c: SWAP2
00001c6d: SWAP1
00001c6e: PUSH2 0x23d0
00001c71: JUMP
00001c72: JUMPDEST
00001c73: PUSH1 0x20
00001c75: PUSH1 0x40
00001c77: MLOAD
00001c78: PUSH1 0x20
00001c7a: DUP2
00001c7b: SUB
00001c7c: SWAP1
00001c7d: DUP1
00001c7e: DUP5
00001c7f: SUB
00001c80: SWAP1
00001c81: DUP6
00001c82: GAS
00001c83: STATICCALL
00001c84: ISZERO
00001c85: DUP1
00001c86: ISZERO
00001c87: PUSH2 0x1c94
00001c8a: JUMPI
00001c8b: RETURNDATASIZE
00001c8c: PUSH1 0x00
00001c8e: DUP1
00001c8f: RETURNDATACOPY
00001c90: RETURNDATASIZE
00001c91: PUSH1 0x00
00001c93: REVERT
00001c94: JUMPDEST
00001c95: POP
00001c96: POP
00001c97: PUSH1 0x40
00001c99: MLOAD
00001c9a: PUSH1 0x1f
00001c9c: NOT
00001c9d: ADD
00001c9e: MLOAD
00001c9f: SWAP2
00001ca0: POP
00001ca1: POP
00001ca2: PUSH1 0x01
00001ca4: PUSH1 0x01
00001ca6: PUSH1 0xa0
00001ca8: SHL
00001ca9: SUB
00001caa: DUP2
00001cab: AND
00001cac: PUSH2 0x1cc7
00001caf: JUMPI
00001cb0: PUSH1 0x40
00001cb2: MLOAD
00001cb3: PUSH3 0x461bcd
00001cb7: PUSH1 0xe5
00001cb9: SHL
00001cba: DUP2
00001cbb: MSTORE
00001cbc: PUSH1 0x04
00001cbe: ADD
00001cbf: PUSH2 0x0580
00001cc2: SWAP1
00001cc3: PUSH2 0x2401
00001cc6: JUMP
00001cc7: JUMPDEST
00001cc8: SWAP6
00001cc9: SWAP5
00001cca: POP
00001ccb: POP
00001ccc: POP
00001ccd: POP
00001cce: POP
00001ccf: JUMP
00001cd0: JUMPDEST
00001cd1: PUSH1 0x00
00001cd3: DUP2
00001cd4: DUP2
00001cd5: MSTORE
00001cd6: PUSH1 0x01
00001cd8: DUP4
00001cd9: ADD
00001cda: PUSH1 0x20
00001cdc: MSTORE
00001cdd: PUSH1 0x40
00001cdf: DUP2
00001ce0: KECCAK256
00001ce1: SLOAD
00001ce2: DUP1
00001ce3: ISZERO
00001ce4: PUSH2 0x1d8c
00001ce7: JUMPI
00001ce8: DUP4
00001ce9: SLOAD
00001cea: PUSH1 0x00
00001cec: NOT
00001ced: DUP1
00001cee: DUP4
00001cef: ADD
00001cf0: SWAP2
00001cf1: SWAP1
00001cf2: DUP2
00001cf3: ADD
00001cf4: SWAP1
00001cf5: PUSH1 0x00
00001cf7: SWAP1
00001cf8: DUP8
00001cf9: SWAP1
00001cfa: DUP4
00001cfb: SWAP1
00001cfc: DUP2
00001cfd: LT
00001cfe: PUSH2 0x1d03
00001d01: JUMPI
00001d02: INVALID
00001d03: JUMPDEST
00001d04: SWAP1
00001d05: PUSH1 0x00
00001d07: MSTORE
00001d08: PUSH1 0x20
00001d0a: PUSH1 0x00
00001d0c: KECCAK256
00001d0d: ADD
00001d0e: SLOAD
00001d0f: SWAP1
00001d10: POP
00001d11: DUP1
00001d12: DUP8
00001d13: PUSH1 0x00
00001d15: ADD
00001d16: DUP5
00001d17: DUP2
00001d18: SLOAD
00001d19: DUP2
00001d1a: LT
00001d1b: PUSH2 0x1d20
00001d1e: JUMPI
00001d1f: INVALID
00001d20: JUMPDEST
00001d21: PUSH1 0x00
00001d23: SWAP2
00001d24: DUP3
00001d25: MSTORE
00001d26: PUSH1 0x20
00001d28: DUP1
00001d29: DUP4
00001d2a: KECCAK256
00001d2b: SWAP1
00001d2c: SWAP2
00001d2d: ADD
00001d2e: SWAP3
00001d2f: SWAP1
00001d30: SWAP3
00001d31: SSTORE
00001d32: DUP3
00001d33: DUP2
00001d34: MSTORE
00001d35: PUSH1 0x01
00001d37: DUP10
00001d38: DUP2
00001d39: ADD
00001d3a: SWAP1
00001d3b: SWAP3
00001d3c: MSTORE
00001d3d: PUSH1 0x40
00001d3f: SWAP1
00001d40: KECCAK256
00001d41: SWAP1
00001d42: DUP5
00001d43: ADD
00001d44: SWAP1
00001d45: SSTORE
00001d46: DUP7
00001d47: SLOAD
00001d48: DUP8
00001d49: SWAP1
00001d4a: DUP1
00001d4b: PUSH2 0x1d50
00001d4e: JUMPI
00001d4f: INVALID
00001d50: JUMPDEST
00001d51: PUSH1 0x01
00001d53: SWAP1
00001d54: SUB
00001d55: DUP2
00001d56: DUP2
00001d57: SWAP1
00001d58: PUSH1 0x00
00001d5a: MSTORE
00001d5b: PUSH1 0x20
00001d5d: PUSH1 0x00
00001d5f: KECCAK256
00001d60: ADD
00001d61: PUSH1 0x00
00001d63: SWAP1
00001d64: SSTORE
00001d65: SWAP1
00001d66: SSTORE
00001d67: DUP7
00001d68: PUSH1 0x01
00001d6a: ADD
00001d6b: PUSH1 0x00
00001d6d: DUP8
00001d6e: DUP2
00001d6f: MSTORE
00001d70: PUSH1 0x20
00001d72: ADD
00001d73: SWAP1
00001d74: DUP2
00001d75: MSTORE
00001d76: PUSH1 0x20
00001d78: ADD
00001d79: PUSH1 0x00
00001d7b: KECCAK256
00001d7c: PUSH1 0x00
00001d7e: SWAP1
00001d7f: SSTORE
00001d80: PUSH1 0x01
00001d82: SWAP5
00001d83: POP
00001d84: POP
00001d85: POP
00001d86: POP
00001d87: POP
00001d88: PUSH2 0x07e2
00001d8b: JUMP
00001d8c: JUMPDEST
00001d8d: PUSH1 0x00
00001d8f: SWAP2
00001d90: POP
00001d91: POP
00001d92: PUSH2 0x07e2
00001d95: JUMP
00001d96: JUMPDEST
00001d97: PUSH1 0x00
00001d99: PUSH2 0x1da2
00001d9c: DUP4
00001d9d: DUP4
00001d9e: PUSH2 0x1f26
00001da1: JUMP
00001da2: JUMPDEST
00001da3: PUSH2 0x1dd8
00001da6: JUMPI
00001da7: POP
00001da8: DUP2
00001da9: SLOAD
00001daa: PUSH1 0x01
00001dac: DUP2
00001dad: DUP2
00001dae: ADD
00001daf: DUP5
00001db0: SSTORE
00001db1: PUSH1 0x00
00001db3: DUP5
00001db4: DUP2
00001db5: MSTORE
00001db6: PUSH1 0x20
00001db8: DUP1
00001db9: DUP3
00001dba: KECCAK256
00001dbb: SWAP1
00001dbc: SWAP4
00001dbd: ADD
00001dbe: DUP5
00001dbf: SWAP1
00001dc0: SSTORE
00001dc1: DUP5
00001dc2: SLOAD
00001dc3: DUP5
00001dc4: DUP3
00001dc5: MSTORE
00001dc6: DUP3
00001dc7: DUP7
00001dc8: ADD
00001dc9: SWAP1
00001dca: SWAP4
00001dcb: MSTORE
00001dcc: PUSH1 0x40
00001dce: SWAP1
00001dcf: KECCAK256
00001dd0: SWAP2
00001dd1: SWAP1
00001dd2: SWAP2
00001dd3: SSTORE
00001dd4: PUSH2 0x07e2
00001dd7: JUMP
00001dd8: JUMPDEST
00001dd9: POP
00001dda: PUSH1 0x00
00001ddc: PUSH2 0x07e2
00001ddf: JUMP
00001de0: JUMPDEST
00001de1: PUSH1 0x00
00001de3: PUSH1 0x2b
00001de5: PUSH1 0xf8
00001de7: DUP4
00001de8: SWAP1
00001de9: SHR
00001dea: EQ
00001deb: ISZERO
00001dec: PUSH2 0x1df7
00001def: JUMPI
00001df0: POP
00001df1: PUSH1 0x3e
00001df3: PUSH2 0x04fc
00001df6: JUMP
00001df7: JUMPDEST
00001df8: PUSH1 0x2f
00001dfa: PUSH1 0xf8
00001dfc: DUP4
00001dfd: SWAP1
00001dfe: SHR
00001dff: EQ
00001e00: ISZERO
00001e01: PUSH2 0x1e0c
00001e04: JUMPI
00001e05: POP
00001e06: PUSH1 0x3f
00001e08: PUSH2 0x04fc
00001e0b: JUMP
00001e0c: JUMPDEST
00001e0d: PUSH1 0x30
00001e0f: PUSH1 0xf8
00001e11: DUP4
00001e12: SWAP1
00001e13: SHR
00001e14: LT
00001e15: DUP1
00001e16: ISZERO
00001e17: SWAP1
00001e18: PUSH2 0x1e26
00001e1b: JUMPI
00001e1c: POP
00001e1d: PUSH1 0x39
00001e1f: PUSH1 0xf8
00001e21: DUP4
00001e22: SWAP1
00001e23: SHR
00001e24: GT
00001e25: ISZERO
00001e26: JUMPDEST
00001e27: ISZERO
00001e28: PUSH2 0x1e39
00001e2b: JUMPI
00001e2c: POP
00001e2d: PUSH1 0x04
00001e2f: PUSH1 0xf8
00001e31: DUP3
00001e32: SWAP1
00001e33: SHR
00001e34: ADD
00001e35: PUSH2 0x04fc
00001e38: JUMP
00001e39: JUMPDEST
00001e3a: PUSH1 0x41
00001e3c: PUSH1 0xf8
00001e3e: DUP4
00001e3f: SWAP1
00001e40: SHR
00001e41: LT
00001e42: DUP1
00001e43: ISZERO
00001e44: SWAP1
00001e45: PUSH2 0x1e53
00001e48: JUMPI
00001e49: POP
00001e4a: PUSH1 0x5a
00001e4c: PUSH1 0xf8
00001e4e: DUP4
00001e4f: SWAP1
00001e50: SHR
00001e51: GT
00001e52: ISZERO
00001e53: JUMPDEST
00001e54: ISZERO
00001e55: PUSH2 0x1e66
00001e58: JUMPI
00001e59: PUSH1 0x41
00001e5b: DUP3
00001e5c: PUSH1 0xf8
00001e5e: SHR
00001e5f: SUB
00001e60: SWAP1
00001e61: POP
00001e62: PUSH2 0x04fc
00001e65: JUMP
00001e66: JUMPDEST
00001e67: PUSH1 0x5a
00001e69: PUSH1 0xf8
00001e6b: DUP4
00001e6c: SWAP1
00001e6d: SHR
00001e6e: LT
00001e6f: DUP1
00001e70: ISZERO
00001e71: SWAP1
00001e72: PUSH2 0x1e80
00001e75: JUMPI
00001e76: POP
00001e77: PUSH1 0x7a
00001e79: PUSH1 0xf8
00001e7b: DUP4
00001e7c: SWAP1
00001e7d: SHR
00001e7e: GT
00001e7f: ISZERO
00001e80: JUMPDEST
00001e81: ISZERO
00001e82: PUSH2 0x1e94
00001e85: JUMPI
00001e86: POP
00001e87: PUSH1 0x3f
00001e89: NOT
00001e8a: PUSH1 0xf8
00001e8c: DUP3
00001e8d: SWAP1
00001e8e: SHR
00001e8f: ADD
00001e90: PUSH2 0x04fc
00001e93: JUMP
00001e94: JUMPDEST
00001e95: POP
00001e96: PUSH1 0x00
00001e98: SWAP2
00001e99: SWAP1
00001e9a: POP
00001e9b: JUMP
00001e9c: JUMPDEST
00001e9d: PUSH1 0x00
00001e9f: PUSH1 0x20
00001ea1: DUP3
00001ea2: PUSH3 0xffffff
00001ea6: AND
00001ea7: LT
00001ea8: PUSH2 0x1eeb
00001eab: JUMPI
00001eac: PUSH32 0x6768696a6b6c6d6e6f707172737475767778797a303132333435363738392b2f
00001ecd: PUSH3 0xffffff
00001ed1: PUSH1 0x1f
00001ed3: NOT
00001ed4: DUP5
00001ed5: ADD
00001ed6: AND
00001ed7: PUSH1 0x20
00001ed9: DUP2
00001eda: LT
00001edb: PUSH2 0x1ee0
00001ede: JUMPI
00001edf: INVALID
00001ee0: JUMPDEST
00001ee1: BYTE
00001ee2: PUSH1 0xf8
00001ee4: SHL
00001ee5: SWAP1
00001ee6: POP
00001ee7: PUSH2 0x04fc
00001eea: JUMP
00001eeb: JUMPDEST
00001eec: PUSH32 0x4142434445464748494a4b4c4d4e4f505152535455565758595a616263646566
00001f0d: PUSH3 0xffffff
00001f11: DUP4
00001f12: AND
00001f13: PUSH1 0x20
00001f15: DUP2
00001f16: LT
00001f17: PUSH2 0x1f1c
00001f1a: JUMPI
00001f1b: INVALID
00001f1c: JUMPDEST
00001f1d: BYTE
00001f1e: PUSH1 0xf8
00001f20: SHL
00001f21: SWAP3
00001f22: SWAP2
00001f23: POP
00001f24: POP
00001f25: JUMP
00001f26: JUMPDEST
00001f27: PUSH1 0x00
00001f29: SWAP1
00001f2a: DUP2
00001f2b: MSTORE
00001f2c: PUSH1 0x01
00001f2e: SWAP2
00001f2f: SWAP1
00001f30: SWAP2
00001f31: ADD
00001f32: PUSH1 0x20
00001f34: MSTORE
00001f35: PUSH1 0x40
00001f37: SWAP1
00001f38: KECCAK256
00001f39: SLOAD
00001f3a: ISZERO
00001f3b: ISZERO
00001f3c: SWAP1
00001f3d: JUMP
00001f3e: JUMPDEST
00001f3f: PUSH1 0x40
00001f41: MLOAD
00001f42: DUP1
00001f43: PUSH1 0x40
00001f45: ADD
00001f46: PUSH1 0x40
00001f48: MSTORE
00001f49: DUP1
00001f4a: PUSH1 0x00
00001f4c: DUP2
00001f4d: MSTORE
00001f4e: PUSH1 0x20
00001f50: ADD
00001f51: PUSH1 0x60
00001f53: DUP2
00001f54: MSTORE
00001f55: POP
00001f56: SWAP1
00001f57: JUMP
00001f58: JUMPDEST
00001f59: PUSH1 0x00
00001f5b: DUP3
00001f5c: PUSH1 0x1f
00001f5e: DUP4
00001f5f: ADD
00001f60: SLT
00001f61: PUSH2 0x1f68
00001f64: JUMPI
00001f65: DUP1
00001f66: DUP2
00001f67: REVERT
00001f68: JUMPDEST
00001f69: DUP2
00001f6a: CALLDATALOAD
00001f6b: PUSH8 0xffffffffffffffff
00001f74: DUP1
00001f75: DUP3
00001f76: GT
00001f77: ISZERO
00001f78: PUSH2 0x1f7f
00001f7b: JUMPI
00001f7c: DUP3
00001f7d: DUP4
00001f7e: REVERT
00001f7f: JUMPDEST
00001f80: PUSH1 0x40
00001f82: MLOAD
00001f83: PUSH1 0x20
00001f85: PUSH1 0x1f
00001f87: NOT
00001f88: PUSH1 0x1f
00001f8a: DUP6
00001f8b: ADD
00001f8c: AND
00001f8d: DUP3
00001f8e: ADD
00001f8f: ADD
00001f90: DUP2
00001f91: DUP2
00001f92: LT
00001f93: DUP4
00001f94: DUP3
00001f95: GT
00001f96: OR
00001f97: ISZERO
00001f98: PUSH2 0x1f9f
00001f9b: JUMPI
00001f9c: DUP5
00001f9d: DUP6
00001f9e: REVERT
00001f9f: JUMPDEST
00001fa0: PUSH1 0x40
00001fa2: MSTORE
00001fa3: DUP3
00001fa4: DUP2
00001fa5: MSTORE
00001fa6: SWAP3
00001fa7: POP
00001fa8: DUP3
00001fa9: DUP5
00001faa: DUP4
00001fab: ADD
00001fac: PUSH1 0x20
00001fae: ADD
00001faf: DUP7
00001fb0: LT
00001fb1: ISZERO
00001fb2: PUSH2 0x1fba
00001fb5: JUMPI
00001fb6: PUSH1 0x00
00001fb8: DUP1
00001fb9: REVERT
00001fba: JUMPDEST
00001fbb: DUP3
00001fbc: PUSH1 0x20
00001fbe: DUP7
00001fbf: ADD
00001fc0: PUSH1 0x20
00001fc2: DUP4
00001fc3: ADD
00001fc4: CALLDATACOPY
00001fc5: PUSH1 0x00
00001fc7: PUSH1 0x20
00001fc9: DUP5
00001fca: DUP4
00001fcb: ADD
00001fcc: ADD
00001fcd: MSTORE
00001fce: POP
00001fcf: POP
00001fd0: POP
00001fd1: SWAP3
00001fd2: SWAP2
00001fd3: POP
00001fd4: POP
00001fd5: JUMP
00001fd6: JUMPDEST
00001fd7: PUSH1 0x00
00001fd9: PUSH1 0x20
00001fdb: DUP3
00001fdc: DUP5
00001fdd: SUB
00001fde: SLT
00001fdf: ISZERO
00001fe0: PUSH2 0x1fe7
00001fe3: JUMPI
00001fe4: DUP1
00001fe5: DUP2
00001fe6: REVERT
00001fe7: JUMPDEST
00001fe8: DUP2
00001fe9: CALLDATALOAD
00001fea: PUSH2 0x0ec6
00001fed: DUP2
00001fee: PUSH2 0x28c8
00001ff1: JUMP
00001ff2: JUMPDEST
00001ff3: PUSH1 0x00
00001ff5: DUP1
00001ff6: PUSH1 0x00
00001ff8: DUP1
00001ff9: PUSH1 0x80
00001ffb: DUP6
00001ffc: DUP8
00001ffd: SUB
00001ffe: SLT
00001fff: ISZERO
00002000: PUSH2 0x2007
00002003: JUMPI
00002004: DUP3
00002005: DUP4
00002006: REVERT
00002007: JUMPDEST
00002008: DUP5
00002009: CALLDATALOAD
0000200a: PUSH2 0x2012
0000200d: DUP2
0000200e: PUSH2 0x28c8
00002011: JUMP
00002012: JUMPDEST
00002013: SWAP7
00002014: PUSH1 0x20
00002016: DUP7
00002017: ADD
00002018: CALLDATALOAD
00002019: SWAP7
0000201a: POP
0000201b: PUSH1 0x40
0000201d: DUP7
0000201e: ADD
0000201f: CALLDATALOAD
00002020: SWAP6
00002021: PUSH1 0x60
00002023: ADD
00002024: CALLDATALOAD
00002025: SWAP5
00002026: POP
00002027: SWAP3
00002028: POP
00002029: POP
0000202a: POP
0000202b: JUMP
0000202c: JUMPDEST
0000202d: PUSH1 0x00
0000202f: DUP1
00002030: PUSH1 0x40
00002032: DUP4
00002033: DUP6
00002034: SUB
00002035: SLT
00002036: ISZERO
00002037: PUSH2 0x203e
0000203a: JUMPI
0000203b: DUP2
0000203c: DUP3
0000203d: REVERT
0000203e: JUMPDEST
0000203f: DUP3
00002040: CALLDATALOAD
00002041: PUSH2 0x2049
00002044: DUP2
00002045: PUSH2 0x28c8
00002048: JUMP
00002049: JUMPDEST
0000204a: SWAP2
0000204b: POP
0000204c: PUSH1 0x20
0000204e: DUP4
0000204f: ADD
00002050: CALLDATALOAD
00002051: PUSH2 0x2059
00002054: DUP2
00002055: PUSH2 0x28c8
00002058: JUMP
00002059: JUMPDEST
0000205a: DUP1
0000205b: SWAP2
0000205c: POP
0000205d: POP
0000205e: SWAP3
0000205f: POP
00002060: SWAP3
00002061: SWAP1
00002062: POP
00002063: JUMP
00002064: JUMPDEST
00002065: PUSH1 0x00
00002067: DUP1
00002068: PUSH1 0x00
0000206a: PUSH1 0x60
0000206c: DUP5
0000206d: DUP7
0000206e: SUB
0000206f: SLT
00002070: ISZERO
00002071: PUSH2 0x2078
00002074: JUMPI
00002075: DUP3
00002076: DUP4
00002077: REVERT
00002078: JUMPDEST
00002079: DUP4
0000207a: CALLDATALOAD
0000207b: PUSH2 0x2083
0000207e: DUP2
0000207f: PUSH2 0x28c8
00002082: JUMP
00002083: JUMPDEST
00002084: SWAP3
00002085: POP
00002086: PUSH1 0x20
00002088: DUP5
00002089: ADD
0000208a: CALLDATALOAD
0000208b: PUSH2 0x2093
0000208e: DUP2
0000208f: PUSH2 0x28c8
00002092: JUMP
00002093: JUMPDEST
00002094: SWAP3
00002095: SWAP6
00002096: SWAP3
00002097: SWAP5
00002098: POP
00002099: POP
0000209a: POP
0000209b: PUSH1 0x40
0000209d: SWAP2
0000209e: SWAP1
0000209f: SWAP2
000020a0: ADD
000020a1: CALLDATALOAD
000020a2: SWAP1
000020a3: JUMP
000020a4: JUMPDEST
000020a5: PUSH1 0x00
000020a7: DUP1
000020a8: PUSH1 0x00
000020aa: DUP1
000020ab: PUSH1 0x80
000020ad: DUP6
000020ae: DUP8
000020af: SUB
000020b0: SLT
000020b1: ISZERO
000020b2: PUSH2 0x20b9
000020b5: JUMPI
000020b6: DUP4
000020b7: DUP5
000020b8: REVERT
000020b9: JUMPDEST
000020ba: DUP5
000020bb: CALLDATALOAD
000020bc: PUSH2 0x20c4
000020bf: DUP2
000020c0: PUSH2 0x28c8
000020c3: JUMP
000020c4: JUMPDEST
000020c5: SWAP4
000020c6: POP
000020c7: PUSH1 0x20
000020c9: DUP6
000020ca: ADD
000020cb: CALLDATALOAD
000020cc: PUSH2 0x20d4
000020cf: DUP2
000020d0: PUSH2 0x28c8
000020d3: JUMP
000020d4: JUMPDEST
000020d5: SWAP3
000020d6: POP
000020d7: PUSH1 0x40
000020d9: DUP6
000020da: ADD
000020db: CALLDATALOAD
000020dc: SWAP2
000020dd: POP
000020de: PUSH1 0x60
000020e0: DUP6
000020e1: ADD
000020e2: CALLDATALOAD
000020e3: PUSH8 0xffffffffffffffff
000020ec: DUP2
000020ed: GT
000020ee: ISZERO
000020ef: PUSH2 0x20f6
000020f2: JUMPI
000020f3: DUP2
000020f4: DUP3
000020f5: REVERT
000020f6: JUMPDEST
000020f7: PUSH2 0x2102
000020fa: DUP8
000020fb: DUP3
000020fc: DUP9
000020fd: ADD
000020fe: PUSH2 0x1f58
00002101: JUMP
00002102: JUMPDEST
00002103: SWAP2
00002104: POP
00002105: POP
00002106: SWAP3
00002107: SWAP6
00002108: SWAP2
00002109: SWAP5
0000210a: POP
0000210b: SWAP3
0000210c: POP
0000210d: JUMP
0000210e: JUMPDEST
0000210f: PUSH1 0x00
00002111: DUP1
00002112: PUSH1 0x40
00002114: DUP4
00002115: DUP6
00002116: SUB
00002117: SLT
00002118: ISZERO
00002119: PUSH2 0x2120
0000211c: JUMPI
0000211d: DUP2
0000211e: DUP3
0000211f: REVERT
00002120: JUMPDEST
00002121: DUP3
00002122: CALLDATALOAD
00002123: PUSH2 0x212b
00002126: DUP2
00002127: PUSH2 0x28c8
0000212a: JUMP
0000212b: JUMPDEST
0000212c: SWAP2
0000212d: POP
0000212e: PUSH1 0x20
00002130: DUP4
00002131: ADD
00002132: CALLDATALOAD
00002133: DUP1
00002134: ISZERO
00002135: ISZERO
00002136: DUP2
00002137: EQ
00002138: PUSH2 0x2059
0000213b: JUMPI
0000213c: DUP2
0000213d: DUP3
0000213e: REVERT
0000213f: JUMPDEST
00002140: PUSH1 0x00
00002142: DUP1
00002143: PUSH1 0x40
00002145: DUP4
00002146: DUP6
00002147: SUB
00002148: SLT
00002149: ISZERO
0000214a: PUSH2 0x2151
0000214d: JUMPI
0000214e: DUP2
0000214f: DUP3
00002150: REVERT
00002151: JUMPDEST
00002152: DUP3
00002153: CALLDATALOAD
00002154: PUSH2 0x215c
00002157: DUP2
00002158: PUSH2 0x28c8
0000215b: JUMP
0000215c: JUMPDEST
0000215d: SWAP2
0000215e: POP
0000215f: PUSH1 0x20
00002161: DUP4
00002162: ADD
00002163: CALLDATALOAD
00002164: PUSH8 0xffffffffffffffff
0000216d: DUP2
0000216e: GT
0000216f: ISZERO
00002170: PUSH2 0x2177
00002173: JUMPI
00002174: DUP2
00002175: DUP3
00002176: REVERT
00002177: JUMPDEST
00002178: PUSH2 0x2183
0000217b: DUP6
0000217c: DUP3
0000217d: DUP7
0000217e: ADD
0000217f: PUSH2 0x1f58
00002182: JUMP
00002183: JUMPDEST
00002184: SWAP2
00002185: POP
00002186: POP
00002187: SWAP3
00002188: POP
00002189: SWAP3
0000218a: SWAP1
0000218b: POP
0000218c: JUMP
0000218d: JUMPDEST
0000218e: PUSH1 0x00
00002190: DUP1
00002191: PUSH1 0x40
00002193: DUP4
00002194: DUP6
00002195: SUB
00002196: SLT
00002197: ISZERO
00002198: PUSH2 0x219f
0000219b: JUMPI
0000219c: DUP2
0000219d: DUP3
0000219e: REVERT
0000219f: JUMPDEST
000021a0: DUP3
000021a1: CALLDATALOAD
000021a2: PUSH2 0x21aa
000021a5: DUP2
000021a6: PUSH2 0x28c8
000021a9: JUMP
000021aa: JUMPDEST
000021ab: SWAP5
000021ac: PUSH1 0x20
000021ae: SWAP4
000021af: SWAP1
000021b0: SWAP4
000021b1: ADD
000021b2: CALLDATALOAD
000021b3: SWAP4
000021b4: POP
000021b5: POP
000021b6: POP
000021b7: JUMP
000021b8: JUMPDEST
000021b9: PUSH1 0x00
000021bb: DUP1
000021bc: PUSH1 0x00
000021be: PUSH1 0x60
000021c0: DUP5
000021c1: DUP7
000021c2: SUB
000021c3: SLT
000021c4: ISZERO
000021c5: PUSH2 0x21cc
000021c8: JUMPI
000021c9: DUP3
000021ca: DUP4
000021cb: REVERT
000021cc: JUMPDEST
000021cd: DUP4
000021ce: CALLDATALOAD
000021cf: PUSH2 0x21d7
000021d2: DUP2
000021d3: PUSH2 0x28c8
000021d6: JUMP
000021d7: JUMPDEST
000021d8: SWAP6
000021d9: PUSH1 0x20
000021db: DUP6
000021dc: ADD
000021dd: CALLDATALOAD
000021de: SWAP6
000021df: POP
000021e0: PUSH1 0x40
000021e2: SWAP1
000021e3: SWAP5
000021e4: ADD
000021e5: CALLDATALOAD
000021e6: SWAP4
000021e7: SWAP3
000021e8: POP
000021e9: POP
000021ea: POP
000021eb: JUMP
000021ec: JUMPDEST
000021ed: PUSH1 0x00
000021ef: PUSH1 0x20
000021f1: DUP3
000021f2: DUP5
000021f3: SUB
000021f4: SLT
000021f5: ISZERO
000021f6: PUSH2 0x21fd
000021f9: JUMPI
000021fa: DUP1
000021fb: DUP2
000021fc: REVERT
000021fd: JUMPDEST
000021fe: DUP2
000021ff: CALLDATALOAD
00002200: PUSH2 0x0ec6
00002203: DUP2
00002204: PUSH2 0x28e0
00002207: JUMP
00002208: JUMPDEST
00002209: PUSH1 0x00
0000220b: PUSH1 0x20
0000220d: DUP3
0000220e: DUP5
0000220f: SUB
00002210: SLT
00002211: ISZERO
00002212: PUSH2 0x2219
00002215: JUMPI
00002216: DUP1
00002217: DUP2
00002218: REVERT
00002219: JUMPDEST
0000221a: DUP2
0000221b: MLOAD
0000221c: PUSH2 0x0ec6
0000221f: DUP2
00002220: PUSH2 0x28e0
00002223: JUMP
00002224: JUMPDEST
00002225: PUSH1 0x00
00002227: PUSH1 0x20
00002229: DUP3
0000222a: DUP5
0000222b: SUB
0000222c: SLT
0000222d: ISZERO
0000222e: PUSH2 0x2235
00002231: JUMPI
00002232: DUP1
00002233: DUP2
00002234: REVERT
00002235: JUMPDEST
00002236: POP
00002237: CALLDATALOAD
00002238: SWAP2
00002239: SWAP1
0000223a: POP
0000223b: JUMP
0000223c: JUMPDEST
0000223d: PUSH1 0x00
0000223f: DUP2
00002240: MLOAD
00002241: DUP1
00002242: DUP5
00002243: MSTORE
00002244: DUP2
00002245: JUMPDEST
00002246: DUP2
00002247: DUP2
00002248: LT
00002249: ISZERO
0000224a: PUSH2 0x2261
0000224d: JUMPI
0000224e: PUSH1 0x20
00002250: DUP2
00002251: DUP6
00002252: ADD
00002253: DUP2
00002254: ADD
00002255: MLOAD
00002256: DUP7
00002257: DUP4
00002258: ADD
00002259: DUP3
0000225a: ADD
0000225b: MSTORE
0000225c: ADD
0000225d: PUSH2 0x2245
00002260: JUMP
00002261: JUMPDEST
00002262: DUP2
00002263: DUP2
00002264: GT
00002265: ISZERO
00002266: PUSH2 0x2272
00002269: JUMPI
0000226a: DUP3
0000226b: PUSH1 0x20
0000226d: DUP4
0000226e: DUP8
0000226f: ADD
00002270: ADD
00002271: MSTORE
00002272: JUMPDEST
00002273: POP
00002274: PUSH1 0x1f
00002276: ADD
00002277: PUSH1 0x1f
00002279: NOT
0000227a: AND
0000227b: SWAP3
0000227c: SWAP1
0000227d: SWAP3
0000227e: ADD
0000227f: PUSH1 0x20
00002281: ADD
00002282: SWAP3
00002283: SWAP2
00002284: POP
00002285: POP
00002286: JUMP
00002287: JUMPDEST
00002288: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
000022a9: DUP2
000022aa: MSTORE
000022ab: PUSH1 0x1c
000022ad: DUP2
000022ae: ADD
000022af: SWAP2
000022b0: SWAP1
000022b1: SWAP2
000022b2: MSTORE
000022b3: PUSH1 0x3c
000022b5: ADD
000022b6: SWAP1
000022b7: JUMP
000022b8: JUMPDEST
000022b9: PUSH32 0x4d616e64616c6100000000000000000000000000000000000000000000000000
000022da: DUP2
000022db: MSTORE
000022dc: PUSH1 0x60
000022de: SWAP2
000022df: SWAP1
000022e0: SWAP2
000022e1: SHL
000022e2: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
00002303: AND
00002304: PUSH1 0x07
00002306: DUP3
00002307: ADD
00002308: MSTORE
00002309: PUSH1 0x1b
0000230b: ADD
0000230c: SWAP1
0000230d: JUMP
0000230e: JUMPDEST
0000230f: PUSH1 0x01
00002311: PUSH1 0x01
00002313: PUSH1 0xa0
00002315: SHL
00002316: SUB
00002317: SWAP2
00002318: SWAP1
00002319: SWAP2
0000231a: AND
0000231b: DUP2
0000231c: MSTORE
0000231d: PUSH1 0x20
0000231f: ADD
00002320: SWAP1
00002321: JUMP
00002322: JUMPDEST
00002323: PUSH1 0x00
00002325: PUSH1 0x01
00002327: PUSH1 0x01
00002329: PUSH1 0xa0
0000232b: SHL
0000232c: SUB
0000232d: DUP1
0000232e: DUP8
0000232f: AND
00002330: DUP4
00002331: MSTORE
00002332: DUP1
00002333: DUP7
00002334: AND
00002335: PUSH1 0x20
00002337: DUP5
00002338: ADD
00002339: MSTORE
0000233a: POP
0000233b: DUP4
0000233c: PUSH1 0x40
0000233e: DUP4
0000233f: ADD
00002340: MSTORE
00002341: PUSH1 0x80
00002343: PUSH1 0x60
00002345: DUP4
00002346: ADD
00002347: MSTORE
00002348: PUSH2 0x16fa
0000234b: PUSH1 0x80
0000234d: DUP4
0000234e: ADD
0000234f: DUP5
00002350: PUSH2 0x223c
00002353: JUMP
00002354: JUMPDEST
00002355: PUSH1 0x20
00002357: DUP1
00002358: DUP3
00002359: MSTORE
0000235a: DUP3
0000235b: MLOAD
0000235c: DUP3
0000235d: DUP3
0000235e: ADD
0000235f: DUP2
00002360: SWAP1
00002361: MSTORE
00002362: PUSH1 0x00
00002364: SWAP2
00002365: SWAP1
00002366: PUSH1 0x40
00002368: SWAP1
00002369: DUP2
0000236a: DUP6
0000236b: ADD
0000236c: SWAP1
0000236d: DUP1
0000236e: DUP5
0000236f: MUL
00002370: DUP7
00002371: ADD
00002372: DUP4
00002373: ADD
00002374: DUP8
00002375: DUP6
00002376: ADD
00002377: DUP7
00002378: JUMPDEST
00002379: DUP4
0000237a: DUP2
0000237b: LT
0000237c: ISZERO
0000237d: PUSH2 0x23b7
00002380: JUMPI
00002381: DUP9
00002382: DUP4
00002383: SUB
00002384: PUSH1 0x3f
00002386: NOT
00002387: ADD
00002388: DUP6
00002389: MSTORE
0000238a: DUP2
0000238b: MLOAD
0000238c: DUP1
0000238d: MLOAD
0000238e: DUP5
0000238f: MSTORE
00002390: DUP8
00002391: ADD
00002392: MLOAD
00002393: DUP8
00002394: DUP5
00002395: ADD
00002396: DUP8
00002397: SWAP1
00002398: MSTORE
00002399: PUSH2 0x23a4
0000239c: DUP8
0000239d: DUP6
0000239e: ADD
0000239f: DUP3
000023a0: PUSH2 0x223c
000023a3: JUMP
000023a4: JUMPDEST
000023a5: SWAP6
000023a6: DUP9
000023a7: ADD
000023a8: SWAP6
000023a9: SWAP4
000023aa: POP
000023ab: POP
000023ac: SWAP1
000023ad: DUP7
000023ae: ADD
000023af: SWAP1
000023b0: PUSH1 0x01
000023b2: ADD
000023b3: PUSH2 0x2378
000023b6: JUMP
000023b7: JUMPDEST
000023b8: POP
000023b9: SWAP1
000023ba: SWAP9
000023bb: SWAP8
000023bc: POP
000023bd: POP
000023be: POP
000023bf: POP
000023c0: POP
000023c1: POP
000023c2: POP
000023c3: POP
000023c4: JUMP
000023c5: JUMPDEST
000023c6: SWAP1
000023c7: ISZERO
000023c8: ISZERO
000023c9: DUP2
000023ca: MSTORE
000023cb: PUSH1 0x20
000023cd: ADD
000023ce: SWAP1
000023cf: JUMP
000023d0: JUMPDEST
000023d1: SWAP4
000023d2: DUP5
000023d3: MSTORE
000023d4: PUSH1 0xff
000023d6: SWAP3
000023d7: SWAP1
000023d8: SWAP3
000023d9: AND
000023da: PUSH1 0x20
000023dc: DUP5
000023dd: ADD
000023de: MSTORE
000023df: PUSH1 0x40
000023e1: DUP4
000023e2: ADD
000023e3: MSTORE
000023e4: PUSH1 0x60
000023e6: DUP3
000023e7: ADD
000023e8: MSTORE
000023e9: PUSH1 0x80
000023eb: ADD
000023ec: SWAP1
000023ed: JUMP
000023ee: JUMPDEST
000023ef: PUSH1 0x00
000023f1: PUSH1 0x20
000023f3: DUP3
000023f4: MSTORE
000023f5: PUSH2 0x07df
000023f8: PUSH1 0x20
000023fa: DUP4
000023fb: ADD
000023fc: DUP5
000023fd: PUSH2 0x223c
00002400: JUMP
00002401: JUMPDEST
00002402: PUSH1 0x20
00002404: DUP1
00002405: DUP3
00002406: MSTORE
00002407: PUSH1 0x18
00002409: SWAP1
0000240a: DUP3
0000240b: ADD
0000240c: MSTORE
0000240d: PUSH32 0x45434453413a20696e76616c6964207369676e61747572650000000000000000
0000242e: PUSH1 0x40
00002430: DUP3
00002431: ADD
00002432: MSTORE
00002433: PUSH1 0x60
00002435: ADD
00002436: SWAP1
00002437: JUMP
00002438: JUMPDEST
00002439: PUSH1 0x20
0000243b: DUP1
0000243c: DUP3
0000243d: MSTORE
0000243e: PUSH1 0x0d
00002440: SWAP1
00002441: DUP3
00002442: ADD
00002443: MSTORE
00002444: PUSH32 0x414c52454144595f4255524e5400000000000000000000000000000000000000
00002465: PUSH1 0x40
00002467: DUP3
00002468: ADD
00002469: MSTORE
0000246a: PUSH1 0x60
0000246c: ADD
0000246d: SWAP1
0000246e: JUMP
0000246f: JUMPDEST
00002470: PUSH1 0x20
00002472: DUP1
00002473: DUP3
00002474: MSTORE
00002475: PUSH1 0x22
00002477: SWAP1
00002478: DUP3
00002479: ADD
0000247a: MSTORE
0000247b: PUSH32 0x456e756d657261626c655365743a20696e646578206f7574206f6620626f756e
0000249c: PUSH1 0x40
0000249e: DUP3
0000249f: ADD
000024a0: MSTORE
000024a1: PUSH32 0x6473000000000000000000000000000000000000000000000000000000000000
000024c2: PUSH1 0x60
000024c4: DUP3
000024c5: ADD
000024c6: MSTORE
000024c7: PUSH1 0x80
000024c9: ADD
000024ca: SWAP1
000024cb: JUMP
000024cc: JUMPDEST
000024cd: PUSH1 0x20
000024cf: DUP1
000024d0: DUP3
000024d1: MSTORE
000024d2: PUSH1 0x1f
000024d4: SWAP1
000024d5: DUP3
000024d6: ADD
000024d7: MSTORE
000024d8: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265206c656e67746800
000024f9: PUSH1 0x40
000024fb: DUP3
000024fc: ADD
000024fd: MSTORE
000024fe: PUSH1 0x60
00002500: ADD
00002501: SWAP1
00002502: JUMP
00002503: JUMPDEST
00002504: PUSH1 0x20
00002506: DUP1
00002507: DUP3
00002508: MSTORE
00002509: PUSH1 0x11
0000250b: SWAP1
0000250c: DUP3
0000250d: ADD
0000250e: MSTORE
0000250f: PUSH32 0x4e4f4e4558495354414e545f544f4b454e000000000000000000000000000000
00002530: PUSH1 0x40
00002532: DUP3
00002533: ADD
00002534: MSTORE
00002535: PUSH1 0x60
00002537: ADD
00002538: SWAP1
00002539: JUMP
0000253a: JUMPDEST
0000253b: PUSH1 0x20
0000253d: DUP1
0000253e: DUP3
0000253f: MSTORE
00002540: PUSH1 0x0e
00002542: SWAP1
00002543: DUP3
00002544: ADD
00002545: MSTORE
00002546: PUSH32 0x4e4f545f454e4f5547485f455448000000000000000000000000000000000000
00002567: PUSH1 0x40
00002569: DUP3
0000256a: ADD
0000256b: MSTORE
0000256c: PUSH1 0x60
0000256e: ADD
0000256f: SWAP1
00002570: JUMP
00002571: JUMPDEST
00002572: PUSH1 0x20
00002574: DUP1
00002575: DUP3
00002576: MSTORE
00002577: PUSH1 0x18
00002579: SWAP1
0000257a: DUP3
0000257b: ADD
0000257c: MSTORE
0000257d: PUSH32 0x544f4f5f4d414e595f544f4b454e5f5245515545535445440000000000000000
0000259e: PUSH1 0x40
000025a0: DUP3
000025a1: ADD
000025a2: MSTORE
000025a3: PUSH1 0x60
000025a5: ADD
000025a6: SWAP1
000025a7: JUMP
000025a8: JUMPDEST
000025a9: PUSH1 0x20
000025ab: DUP1
000025ac: DUP3
000025ad: MSTORE
000025ae: PUSH1 0x22
000025b0: SWAP1
000025b1: DUP3
000025b2: ADD
000025b3: MSTORE
000025b4: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202773272076616c
000025d5: PUSH1 0x40
000025d7: DUP3
000025d8: ADD
000025d9: MSTORE
000025da: PUSH32 0x7565000000000000000000000000000000000000000000000000000000000000
000025fb: PUSH1 0x60
000025fd: DUP3
000025fe: ADD
000025ff: MSTORE
00002600: PUSH1 0x80
00002602: ADD
00002603: SWAP1
00002604: JUMP
00002605: JUMPDEST
00002606: PUSH1 0x20
00002608: DUP1
00002609: DUP3
0000260a: MSTORE
0000260b: PUSH1 0x11
0000260d: SWAP1
0000260e: DUP3
0000260f: ADD
00002610: MSTORE
00002611: PUSH32 0x4e4f4e4558495354454e545f544f4b454e000000000000000000000000000000
00002632: PUSH1 0x40
00002634: DUP3
00002635: ADD
00002636: MSTORE
00002637: PUSH1 0x60
00002639: ADD
0000263a: SWAP1
0000263b: JUMP
0000263c: JUMPDEST
0000263d: PUSH1 0x20
0000263f: DUP1
00002640: DUP3
00002641: MSTORE
00002642: PUSH1 0x18
00002644: SWAP1
00002645: DUP3
00002646: ADD
00002647: MSTORE
00002648: PUSH32 0x4552433732315f5452414e534645525f52454a45435445440000000000000000
00002669: PUSH1 0x40
0000266b: DUP3
0000266c: ADD
0000266d: MSTORE
0000266e: PUSH1 0x60
00002670: ADD
00002671: SWAP1
00002672: JUMP
00002673: JUMPDEST
00002674: PUSH1 0x20
00002676: DUP1
00002677: DUP3
00002678: MSTORE
00002679: PUSH1 0x22
0000267b: SWAP1
0000267c: DUP3
0000267d: ADD
0000267e: MSTORE
0000267f: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202776272076616c
000026a0: PUSH1 0x40
000026a2: DUP3
000026a3: ADD
000026a4: MSTORE
000026a5: PUSH32 0x7565000000000000000000000000000000000000000000000000000000000000
000026c6: PUSH1 0x60
000026c8: DUP3
000026c9: ADD
000026ca: MSTORE
000026cb: PUSH1 0x80
000026cd: ADD
000026ce: SWAP1
000026cf: JUMP
000026d0: JUMPDEST
000026d1: PUSH1 0x20
000026d3: DUP1
000026d4: DUP3
000026d5: MSTORE
000026d6: PUSH1 0x15
000026d8: SWAP1
000026d9: DUP3
000026da: ADD
000026db: MSTORE
000026dc: PUSH32 0x554e415554484f52495a45445f415050524f56414c0000000000000000000000
000026fd: PUSH1 0x40
000026ff: DUP3
00002700: ADD
00002701: MSTORE
00002702: PUSH1 0x60
00002704: ADD
00002705: SWAP1
00002706: JUMP
00002707: JUMPDEST
00002708: PUSH1 0x20
0000270a: DUP1
0000270b: DUP3
0000270c: MSTORE
0000270d: PUSH1 0x12
0000270f: SWAP1
00002710: DUP3
00002711: ADD
00002712: MSTORE
00002713: PUSH32 0x4e4f545f544f5f5a45524f414444524553530000000000000000000000000000
00002734: PUSH1 0x40
00002736: DUP3
00002737: ADD
00002738: MSTORE
00002739: PUSH1 0x60
0000273b: ADD
0000273c: SWAP1
0000273d: JUMP
0000273e: JUMPDEST
0000273f: PUSH1 0x20
00002741: DUP1
00002742: DUP3
00002743: MSTORE
00002744: PUSH1 0x09
00002746: SWAP1
00002747: DUP3
00002748: ADD
00002749: MSTORE
0000274a: PUSH32 0x4e4f545f45584953540000000000000000000000000000000000000000000000
0000276b: PUSH1 0x40
0000276d: DUP3
0000276e: ADD
0000276f: MSTORE
00002770: PUSH1 0x60
00002772: ADD
00002773: SWAP1
00002774: JUMP
00002775: JUMPDEST
00002776: PUSH1 0x20
00002778: DUP1
00002779: DUP3
0000277a: MSTORE
0000277b: PUSH1 0x12
0000277d: SWAP1
0000277e: DUP3
0000277f: ADD
00002780: MSTORE
00002781: PUSH32 0x5a45524f5f414444524553535f4f574e45520000000000000000000000000000
000027a2: PUSH1 0x40
000027a4: DUP3
000027a5: ADD
000027a6: MSTORE
000027a7: PUSH1 0x60
000027a9: ADD
000027aa: SWAP1
000027ab: JUMP
000027ac: JUMPDEST
000027ad: PUSH1 0x20
000027af: DUP1
000027b0: DUP3
000027b1: MSTORE
000027b2: PUSH1 0x09
000027b4: SWAP1
000027b5: DUP3
000027b6: ADD
000027b7: MSTORE
000027b8: PUSH32 0x4e4f545f4f574e45520000000000000000000000000000000000000000000000
000027d9: PUSH1 0x40
000027db: DUP3
000027dc: ADD
000027dd: MSTORE
000027de: PUSH1 0x60
000027e0: ADD
000027e1: SWAP1
000027e2: JUMP
000027e3: JUMPDEST
000027e4: PUSH1 0x20
000027e6: DUP1
000027e7: DUP3
000027e8: MSTORE
000027e9: PUSH1 0x15
000027eb: SWAP1
000027ec: DUP3
000027ed: ADD
000027ee: MSTORE
000027ef: PUSH32 0x554e415554484f52495a45445f5452414e534645520000000000000000000000
00002810: PUSH1 0x40
00002812: DUP3
00002813: ADD
00002814: MSTORE
00002815: PUSH1 0x60
00002817: ADD
00002818: SWAP1
00002819: JUMP
0000281a: JUMPDEST
0000281b: PUSH1 0x20
0000281d: DUP1
0000281e: DUP3
0000281f: MSTORE
00002820: PUSH1 0x0e
00002822: SWAP1
00002823: DUP3
00002824: ADD
00002825: MSTORE
00002826: PUSH32 0x414c52454144595f4d494e544544000000000000000000000000000000000000
00002847: PUSH1 0x40
00002849: DUP3
0000284a: ADD
0000284b: MSTORE
0000284c: PUSH1 0x60
0000284e: ADD
0000284f: SWAP1
00002850: JUMP
00002851: JUMPDEST
00002852: PUSH1 0x20
00002854: DUP1
00002855: DUP3
00002856: MSTORE
00002857: PUSH1 0x0e
00002859: SWAP1
0000285a: DUP3
0000285b: ADD
0000285c: MSTORE
0000285d: PUSH32 0x4e4f545f415554484f52495a4544000000000000000000000000000000000000
0000287e: PUSH1 0x40
00002880: DUP3
00002881: ADD
00002882: MSTORE
00002883: PUSH1 0x60
00002885: ADD
00002886: SWAP1
00002887: JUMP
00002888: JUMPDEST
00002889: PUSH1 0x20
0000288b: DUP1
0000288c: DUP3
0000288d: MSTORE
0000288e: PUSH1 0x0a
00002890: SWAP1
00002891: DUP3
00002892: ADD
00002893: MSTORE
00002894: PUSH32 0x4e4f545f45584953545300000000000000000000000000000000000000000000
000028b5: PUSH1 0x40
000028b7: DUP3
000028b8: ADD
000028b9: MSTORE
000028ba: PUSH1 0x60
000028bc: ADD
000028bd: SWAP1
000028be: JUMP
000028bf: JUMPDEST
000028c0: SWAP1
000028c1: DUP2
000028c2: MSTORE
000028c3: PUSH1 0x20
000028c5: ADD
000028c6: SWAP1
000028c7: JUMP
000028c8: JUMPDEST
000028c9: PUSH1 0x01
000028cb: PUSH1 0x01
000028cd: PUSH1 0xa0
000028cf: SHL
000028d0: SUB
000028d1: DUP2
000028d2: AND
000028d3: DUP2
000028d4: EQ
000028d5: PUSH2 0x28dd
000028d8: JUMPI
000028d9: PUSH1 0x00
000028db: DUP1
000028dc: REVERT
000028dd: JUMPDEST
000028de: POP
000028df: JUMP
000028e0: JUMPDEST
000028e1: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002902: DUP2
00002903: AND
00002904: DUP2
00002905: EQ
00002906: PUSH2 0x28dd
00002909: JUMPI
0000290a: PUSH1 0x00
0000290c: DUP1
0000290d: REVERT
0000290e: INVALID
0000290f: PUSH5 0x6174613a74
00002915: PUSH6 0x78742f706c61
0000291c: PUSH10 0x6e2c7b226e616d65223a
00002927: UNKNOWN(0x22)
00002928: UNKNOWN(0x4D)
00002929: PUSH2 0x6e64
0000292c: PUSH2 0x6c61
0000292f: KECCAK256
00002930: ADDRESS
00002931: PUSH25 0x30303030303030303030303030303030303030303030303030
0000294b: ADDRESS
0000294c: ADDRESS
0000294d: ADDRESS
0000294e: ADDRESS
0000294f: ADDRESS
00002950: ADDRESS
00002951: ADDRESS
00002952: ADDRESS
00002953: ADDRESS
00002954: ADDRESS
00002955: ADDRESS
00002956: ADDRESS
00002957: ADDRESS
00002958: ADDRESS
00002959: ADDRESS
0000295a: UNKNOWN(0x22)
0000295b: UNKNOWN(0x2C)
0000295c: UNKNOWN(0x22)
0000295d: PUSH5 0x6573637269
00002963: PUSH17 0x74696f6e223a224120556e69717565204d
00002975: PUSH2 0x6e64
00002978: PUSH2 0x6c61
0000297b: UNKNOWN(0x22)
0000297c: UNKNOWN(0x2C)
0000297d: UNKNOWN(0x22)
0000297e: PUSH10 0x6d616765223a22646174
00002989: PUSH2 0x3a69
0000298c: PUSH14 0x6167652f7376672b786d6c2c3c73
0000299b: PUSH23 0x6720786d6c6e733d27687474703a2f2f7777772e77332e
000029b3: PUSH16 0x72672f323030302f7376672720736861
000029c4: PUSH17 0x652d72656e646572696e673d2763726973
000029d6: PUSH17 0x4564676573272077696474683d27353132
000029e8: UNKNOWN(0x27)
000029e9: KECCAK256
000029ea: PUSH9 0x65696768743d273531
000029f4: ORIGIN
000029f5: UNKNOWN(0x27)
000029f6: RETURNDATACOPY
000029f7: EXTCODECOPY
000029f8: PUSH8 0x207472616e73666f
00002a01: PUSH19 0x6d3d277363616c6528363429273e3c696d6167
00002a15: PUSH6 0x207769647468
00002a1c: RETURNDATASIZE
00002a1d: UNKNOWN(0x27)
00002a1e: CODESIZE
00002a1f: UNKNOWN(0x27)
00002a20: KECCAK256
00002a21: PUSH9 0x65696768743d273827
00002a2b: KECCAK256
00002a2c: PUSH20 0x74796c653d27696d6167652d72656e646572696e
00002a41: PUSH8 0x3a20706978656c61
00002a4a: PUSH21 0x65643b2720687265663d27646174613a696d616765
00002a60: UNKNOWN(0x2F)
00002a61: PUSH8 0x69663b6261736536
00002a6a: CALLVALUE
00002a6b: UNKNOWN(0x2C)
00002a6c: MSTORE
00002a6d: ADDRESS
00002a6e: PUSH13 0x474f44646845774154414d5141
00002a7c: COINBASE
00002a7d: COINBASE
00002a7e: COINBASE
00002a7f: COINBASE
00002a80: COINBASE
00002a81: POP
00002a82: PUSH3 0x2b592f
00002a86: CALLDATACOPY
00002a87: GASLIMIT
00002a88: BLOBBASEFEE
00002a89: PUSH7 0x4e334e4e415251
00002a91: SSTORE
00002a92: SSTORE
00002a93: UNKNOWN(0x4B)
00002a94: UNKNOWN(0x4C)
00002a95: SELFBALANCE
00002a96: ADDRESS
00002a97: PUSH3 0x4d7352
00002a9b: BALANCE
00002a9c: MSTORE8
00002a9d: PUSH22 0x6a4b715737775177652f645142636d516545716a4452
00002ab4: ADDRESS
00002ab5: SSTORE
00002ab6: PUSH8 0x586f34413076726c
00002abf: PUSH18 0x324141414141414141414141414141414141
00002ad2: COINBASE
00002ad3: COINBASE
00002ad4: COINBASE
00002ad5: COINBASE
00002ad6: COINBASE
00002ad7: COINBASE
00002ad8: COINBASE
00002ad9: COINBASE
00002ada: COINBASE
00002adb: COINBASE
00002adc: COINBASE
00002add: COINBASE
00002ade: COINBASE
00002adf: COINBASE
00002ae0: COINBASE
00002ae1: COINBASE
00002ae2: COINBASE
00002ae3: COINBASE
00002ae4: COINBASE
00002ae5: COINBASE
00002ae6: COINBASE
00002ae7: COINBASE
00002ae8: COINBASE
00002ae9: COINBASE
00002aea: COINBASE
00002aeb: COINBASE
00002aec: COINBASE
00002aed: COINBASE
00002aee: COINBASE
00002aef: COINBASE
00002af0: COINBASE
00002af1: COINBASE
00002af2: COINBASE
00002af3: COINBASE
00002af4: COINBASE
00002af5: COINBASE
00002af6: COINBASE
00002af7: COINBASE
00002af8: COINBASE
00002af9: COINBASE
00002afa: COINBASE
00002afb: COINBASE
00002afc: COINBASE
00002afd: NUMBER
00002afe: BASEFEE
00002aff: CALLDATALOAD
00002b00: TIMESTAMP
00002b01: COINBASE
00002b02: PUSH12 0x4b414141414c414141414141
00002b0f: SLOAD
00002b10: COINBASE
00002b11: TIMESTAMP
00002b12: UNKNOWN(0x4D)
00002b13: COINBASE
00002b14: COINBASE
00002b15: COINBASE
00002b16: PUSH5 0x4e67414141
00002b1c: COINBASE
00002b1d: COINBASE
00002b1e: COINBASE
00002b1f: COINBASE
00002b20: COINBASE
00002b21: COINBASE
00002b22: COINBASE
00002b23: COINBASE
00002b24: COINBASE
00002b25: COINBASE
00002b26: COINBASE
00002b27: COINBASE
00002b28: COINBASE
00002b29: COINBASE
00002b2a: COINBASE
00002b2b: COINBASE
00002b2c: COINBASE
00002b2d: COINBASE
00002b2e: COINBASE
00002b2f: COINBASE
00002b30: COINBASE
00002b31: COINBASE
00002b32: COINBASE
00002b33: COINBASE
00002b34: COINBASE
00002b35: COINBASE
00002b36: COINBASE
00002b37: COINBASE
00002b38: COINBASE
00002b39: COINBASE
00002b3a: COINBASE
00002b3b: COINBASE
00002b3c: COINBASE
00002b3d: COINBASE
00002b3e: COINBASE
00002b3f: COINBASE
00002b40: COINBASE
00002b41: COINBASE
00002b42: COINBASE
00002b43: COINBASE
00002b44: COINBASE
00002b45: COINBASE
00002b46: COINBASE
00002b47: COINBASE
00002b48: COINBASE
00002b49: COINBASE
00002b4a: COINBASE
00002b4b: COINBASE
00002b4c: COINBASE
00002b4d: COINBASE
00002b4e: COINBASE
00002b4f: COINBASE
00002b50: COINBASE
00002b51: COINBASE
00002b52: COINBASE
00002b53: COINBASE
00002b54: COINBASE
00002b55: COINBASE
00002b56: COINBASE
00002b57: COINBASE
00002b58: COINBASE
00002b59: COINBASE
00002b5a: COINBASE
00002b5b: COINBASE
00002b5c: COINBASE
00002b5d: COINBASE
00002b5e: COINBASE
00002b5f: COINBASE
00002b60: COINBASE
00002b61: COINBASE
00002b62: COINBASE
00002b63: COINBASE
00002b64: COINBASE
00002b65: COINBASE
00002b66: COINBASE
00002b67: COINBASE
00002b68: COINBASE
00002b69: COINBASE
00002b6a: COINBASE
00002b6b: COINBASE
00002b6c: COINBASE
00002b6d: COINBASE
00002b6e: COINBASE
00002b6f: COINBASE
00002b70: COINBASE
00002b71: COINBASE
00002b72: COINBASE
00002b73: COINBASE
00002b74: COINBASE
00002b75: COINBASE
00002b76: COINBASE
00002b77: COINBASE
00002b78: COINBASE
00002b79: COINBASE
00002b7a: COINBASE
00002b7b: COINBASE
00002b7c: COINBASE
00002b7d: COINBASE
00002b7e: TIMESTAMP
00002b7f: UNKNOWN(0x4E)
00002b80: PUSH8 0x4141414141414141
00002b89: COINBASE
00002b8a: COINBASE
00002b8b: COINBASE
00002b8c: COINBASE
00002b8d: COINBASE
00002b8e: COINBASE
00002b8f: COINBASE
00002b90: COINBASE
00002b91: COINBASE
00002b92: COINBASE
00002b93: COINBASE
00002b94: COINBASE
00002b95: COINBASE
00002b96: COINBASE
00002b97: COINBASE
00002b98: COINBASE
00002b99: COINBASE
00002b9a: COINBASE
00002b9b: COINBASE
00002b9c: COINBASE
00002b9d: COINBASE
00002b9e: COINBASE
00002b9f: COINBASE
00002ba0: COINBASE
00002ba1: COINBASE
00002ba2: COINBASE
00002ba3: COINBASE
00002ba4: COINBASE
00002ba5: COINBASE
00002ba6: COINBASE
00002ba7: COINBASE
00002ba8: COINBASE
00002ba9: COINBASE
00002baa: COINBASE
00002bab: COINBASE
00002bac: COINBASE
00002bad: COINBASE
00002bae: COINBASE
00002baf: COINBASE
00002bb0: COINBASE
00002bb1: COINBASE
00002bb2: COINBASE
00002bb3: COINBASE
00002bb4: COINBASE
00002bb5: COINBASE
00002bb6: COINBASE
00002bb7: COINBASE
00002bb8: COINBASE
00002bb9: COINBASE
00002bba: COINBASE
00002bbb: COINBASE
00002bbc: COINBASE
00002bbd: COINBASE
00002bbe: COINBASE
00002bbf: COINBASE
00002bc0: COINBASE
00002bc1: COINBASE
00002bc2: COINBASE
00002bc3: COINBASE
00002bc4: COINBASE
00002bc5: COINBASE
00002bc6: COINBASE
00002bc7: COINBASE
00002bc8: COINBASE
00002bc9: COINBASE
00002bca: COINBASE
00002bcb: COINBASE
00002bcc: COINBASE
00002bcd: COINBASE
00002bce: COINBASE
00002bcf: COINBASE
00002bd0: COINBASE
00002bd1: COINBASE
00002bd2: COINBASE
00002bd3: COINBASE
00002bd4: COINBASE
00002bd5: COINBASE
00002bd6: COINBASE
00002bd7: COINBASE
00002bd8: COINBASE
00002bd9: COINBASE
00002bda: COINBASE
00002bdb: COINBASE
00002bdc: COINBASE
00002bdd: COINBASE
00002bde: COINBASE
00002bdf: COINBASE
00002be0: COINBASE
00002be1: COINBASE
00002be2: COINBASE
00002be3: COINBASE
00002be4: COINBASE
00002be5: COINBASE
00002be6: TIMESTAMP
00002be7: UNKNOWN(0x4E)
00002be8: PUSH8 0x4141414141414141
00002bf1: COINBASE
00002bf2: COINBASE
00002bf3: COINBASE
00002bf4: COINBASE
00002bf5: COINBASE
00002bf6: COINBASE
00002bf7: COINBASE
00002bf8: COINBASE
00002bf9: COINBASE
00002bfa: COINBASE
00002bfb: COINBASE
00002bfc: COINBASE
00002bfd: COINBASE
00002bfe: COINBASE
00002bff: COINBASE
00002c00: COINBASE
00002c01: COINBASE
00002c02: COINBASE
00002c03: COINBASE
00002c04: COINBASE
00002c05: COINBASE
00002c06: COINBASE
00002c07: COINBASE
00002c08: COINBASE
00002c09: COINBASE
00002c0a: COINBASE
00002c0b: COINBASE
00002c0c: COINBASE
00002c0d: COINBASE
00002c0e: COINBASE
00002c0f: COINBASE
00002c10: COINBASE
00002c11: COINBASE
00002c12: COINBASE
00002c13: COINBASE
00002c14: COINBASE
00002c15: COINBASE
00002c16: COINBASE
00002c17: COINBASE
00002c18: COINBASE
00002c19: COINBASE
00002c1a: COINBASE
00002c1b: COINBASE
00002c1c: COINBASE
00002c1d: COINBASE
00002c1e: COINBASE
00002c1f: COINBASE
00002c20: COINBASE
00002c21: COINBASE
00002c22: COINBASE
00002c23: COINBASE
00002c24: COINBASE
00002c25: COINBASE
00002c26: COINBASE
00002c27: COINBASE
00002c28: COINBASE
00002c29: COINBASE
00002c2a: COINBASE
00002c2b: COINBASE
00002c2c: COINBASE
00002c2d: COINBASE
00002c2e: COINBASE
00002c2f: COINBASE
00002c30: COINBASE
00002c31: COINBASE
00002c32: COINBASE
00002c33: COINBASE
00002c34: COINBASE
00002c35: COINBASE
00002c36: COINBASE
00002c37: COINBASE
00002c38: COINBASE
00002c39: COINBASE
00002c3a: COINBASE
00002c3b: COINBASE
00002c3c: COINBASE
00002c3d: COINBASE
00002c3e: COINBASE
00002c3f: COINBASE
00002c40: COINBASE
00002c41: COINBASE
00002c42: COINBASE
00002c43: COINBASE
00002c44: COINBASE
00002c45: COINBASE
00002c46: COINBASE
00002c47: COINBASE
00002c48: COINBASE
00002c49: COINBASE
00002c4a: COINBASE
00002c4b: COINBASE
00002c4c: COINBASE
00002c4d: COINBASE
00002c4e: TIMESTAMP
00002c4f: UNKNOWN(0x4E)
00002c50: PUSH8 0x4141414141414141
00002c59: COINBASE
00002c5a: COINBASE
00002c5b: COINBASE
00002c5c: COINBASE
00002c5d: COINBASE
00002c5e: COINBASE
00002c5f: COINBASE
00002c60: COINBASE
00002c61: COINBASE
00002c62: COINBASE
00002c63: COINBASE
00002c64: COINBASE
00002c65: COINBASE
00002c66: COINBASE
00002c67: COINBASE
00002c68: COINBASE
00002c69: COINBASE
00002c6a: COINBASE
00002c6b: COINBASE
00002c6c: COINBASE
00002c6d: COINBASE
00002c6e: COINBASE
00002c6f: COINBASE
00002c70: COINBASE
00002c71: COINBASE
00002c72: COINBASE
00002c73: COINBASE
00002c74: COINBASE
00002c75: COINBASE
00002c76: COINBASE
00002c77: COINBASE
00002c78: COINBASE
00002c79: COINBASE
00002c7a: COINBASE
00002c7b: COINBASE
00002c7c: COINBASE
00002c7d: COINBASE
00002c7e: COINBASE
00002c7f: COINBASE
00002c80: COINBASE
00002c81: COINBASE
00002c82: COINBASE
00002c83: COINBASE
00002c84: COINBASE
00002c85: COINBASE
00002c86: COINBASE
00002c87: COINBASE
00002c88: COINBASE
00002c89: COINBASE
00002c8a: COINBASE
00002c8b: COINBASE
00002c8c: COINBASE
00002c8d: COINBASE
00002c8e: COINBASE
00002c8f: COINBASE
00002c90: COINBASE
00002c91: COINBASE
00002c92: COINBASE
00002c93: COINBASE
00002c94: COINBASE
00002c95: COINBASE
00002c96: COINBASE
00002c97: COINBASE
00002c98: COINBASE
00002c99: COINBASE
00002c9a: COINBASE
00002c9b: COINBASE
00002c9c: COINBASE
00002c9d: COINBASE
00002c9e: COINBASE
00002c9f: COINBASE
00002ca0: COINBASE
00002ca1: COINBASE
00002ca2: COINBASE
00002ca3: COINBASE
00002ca4: COINBASE
00002ca5: COINBASE
00002ca6: COINBASE
00002ca7: COINBASE
00002ca8: COINBASE
00002ca9: COINBASE
00002caa: COINBASE
00002cab: COINBASE
00002cac: COINBASE
00002cad: COINBASE
00002cae: COINBASE
00002caf: COINBASE
00002cb0: COINBASE
00002cb1: COINBASE
00002cb2: COINBASE
00002cb3: COINBASE
00002cb4: COINBASE
00002cb5: COINBASE
00002cb6: COINBASE
00002cb7: CALLDATASIZE
00002cb8: PUSH8 0x4141414141414141
00002cc1: COINBASE
00002cc2: COINBASE
00002cc3: COINBASE
00002cc4: COINBASE
00002cc5: COINBASE
00002cc6: COINBASE
00002cc7: COINBASE
00002cc8: COINBASE
00002cc9: COINBASE
00002cca: COINBASE
00002ccb: COINBASE
00002ccc: COINBASE
00002ccd: COINBASE
00002cce: COINBASE
00002ccf: COINBASE
00002cd0: COINBASE
00002cd1: COINBASE
00002cd2: COINBASE
00002cd3: COINBASE
00002cd4: COINBASE
00002cd5: COINBASE
00002cd6: COINBASE
00002cd7: COINBASE
00002cd8: COINBASE
00002cd9: COINBASE
00002cda: COINBASE
00002cdb: COINBASE
00002cdc: COINBASE
00002cdd: COINBASE
00002cde: COINBASE
00002cdf: COINBASE
00002ce0: COINBASE
00002ce1: COINBASE
00002ce2: COINBASE
00002ce3: COINBASE
00002ce4: COINBASE
00002ce5: COINBASE
00002ce6: COINBASE
00002ce7: COINBASE
00002ce8: COINBASE
00002ce9: COINBASE
00002cea: COINBASE
00002ceb: COINBASE
00002cec: COINBASE
00002ced: COINBASE
00002cee: COINBASE
00002cef: COINBASE
00002cf0: COINBASE
00002cf1: COINBASE
00002cf2: COINBASE
00002cf3: COINBASE
00002cf4: COINBASE
00002cf5: COINBASE
00002cf6: COINBASE
00002cf7: COINBASE
00002cf8: COINBASE
00002cf9: COINBASE
00002cfa: COINBASE
00002cfb: COINBASE
00002cfc: COINBASE
00002cfd: COINBASE
00002cfe: COINBASE
00002cff: COINBASE
00002d00: COINBASE
00002d01: COINBASE
00002d02: COINBASE
00002d03: COINBASE
00002d04: COINBASE
00002d05: COINBASE
00002d06: SELFBALANCE
00002d07: TIMESTAMP
00002d08: COINBASE
00002d09: DIFFICULTY
00002d0a: PUSH20 0x3d272f3e3c2f673e3c2f7376673e227da2646970
00002d1f: PUSH7 0x7358221220d2c1
00002d27: CALL
00002d28: UNKNOWN(0xF7)
00002d29: MSTORE
00002d2a: UNKNOWN(0xDB)
00002d2b: SGT
00002d2c: PUSH17 0x178684558780571c324d5ea502a79466d3
00002d3e: UNKNOWN(0xDF)
00002d3f: UNKNOWN(0xC5)
00002d40: MLOAD
00002d41: PUSH6 0x12b00b64736f
00002d48: PUSH13

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no
view
validation_json
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xb510391f",
            "selector": "0xb510391f",
            "calldata_variants": [
                "0xb510391f",
                "0xb510391f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9d1b464a",
            "selector": "0x9d1b464a",
            "calldata_variants": [
                "0x9d1b464a",
                "0x9d1b464a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9ec663d2",
            "selector": "0x9ec663d2",
            "calldata_variants": [
                "0x9ec663d2",
                "0x9ec663d20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa22cb465",
            "selector": "0xa22cb465",
            "calldata_variants": [
                "0xa22cb465",
                "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 10740,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xcb1d87d4028939df016342278f63aacc0fc66d5ec3519307f904ab1b4e3b1145
call_targets: 0xdaca87395f3b1bbc46f3fa187e996e03a5dcc985
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xcb1d87d4028939df016342278f63aacc0fc66d5ec3519307f904ab1b4e3b1145",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xdaca87395f3b1bbc46f3fa187e996e03a5dcc985"
    ],
    "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": "0xb510391f",
            "selector": "0xb510391f",
            "calldata_variants": [
                "0xb510391f",
                "0xb510391f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9d1b464a",
            "selector": "0x9d1b464a",
            "calldata_variants": [
                "0x9d1b464a",
                "0x9d1b464a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9ec663d2",
            "selector": "0x9ec663d2",
            "calldata_variants": [
                "0x9ec663d2",
                "0x9ec663d20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa22cb465",
            "selector": "0xa22cb465",
            "calldata_variants": [
                "0xa22cb465",
                "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2363,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3205,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3273,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [
        {
            "pc": 10740,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 4
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xcb1d87d4028939df016342278f63aacc0fc66d5ec3519307f904ab1b4e3b1145
call_targets: 0xdaca87395f3b1bbc46f3fa187e996e03a5dcc985
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xcb1d87d4028939df016342278f63aacc0fc66d5ec3519307f904ab1b4e3b1145",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xdaca87395f3b1bbc46f3fa187e996e03a5dcc985"
    ],
    "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": "0xb510391f",
            "selector": "0xb510391f",
            "calldata_variants": [
                "0xb510391f",
                "0xb510391f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9d1b464a",
            "selector": "0x9d1b464a",
            "calldata_variants": [
                "0x9d1b464a",
                "0x9d1b464a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9ec663d2",
            "selector": "0x9ec663d2",
            "calldata_variants": [
                "0x9ec663d2",
                "0x9ec663d20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa22cb465",
            "selector": "0xa22cb465",
            "calldata_variants": [
                "0xa22cb465",
                "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2363,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3205,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3273,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": [
        {
            "pc": 10740,
            "type": "tx_origin_used"
        }
    ]
}