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

Analysis Run

019b3836-35fa-7322-9955-05ee9e3670e5

complete
Chain ID
1
Address
0x225bc3affc1da39bd3cb2100c74a41c62310d1e1
Block Number
—
Created
Fri, Dec 19, 2025 8:03 PM
Review Summary

What survived the funnel

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

back to vulns open contract
Confirmed
0
Validated
0
Source
Bytecode only
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
3505 artifact.fetch complete 1 / 3 3 months ago
3506 tool.cast_disasm complete 1 / 3 3 months ago
46764 analysis.bundle complete 1 / 3 2 weeks ago
46765 capability.graph complete 1 / 3 2 weeks ago
46766 detector.run complete 1 / 3 2 weeks ago
46767 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
1
CREATE2
0
CALL-family (heavy)
26
EXT*/BALANCE
0
Total opcodes
5619
Flags
selfdestruct_present call_family_heavy
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0171
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: DUP1
0000002f: PUSH4 0x06fdde03
00000034: EQ
00000035: PUSH2 0x0173
00000038: JUMPI
00000039: DUP1
0000003a: PUSH4 0x095ea7b3
0000003f: EQ
00000040: PUSH2 0x0196
00000043: JUMPI
00000044: DUP1
00000045: PUSH4 0x13c8a376
0000004a: EQ
0000004b: PUSH2 0x01cb
0000004e: JUMPI
0000004f: DUP1
00000050: PUSH4 0x18160ddd
00000055: EQ
00000056: PUSH2 0x020d
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x21f8a721
00000060: EQ
00000061: PUSH2 0x0230
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x23b872dd
0000006b: EQ
0000006c: PUSH2 0x0272
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x3751707c
00000076: EQ
00000077: PUSH2 0x02b0
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x39e7fddc
00000081: EQ
00000082: PUSH2 0x02e9
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x431e83ce
0000008c: EQ
0000008d: PUSH2 0x0322
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x5b65b9ab
00000097: EQ
00000098: PUSH2 0x0345
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0x5b69f2ca
000000a2: EQ
000000a3: PUSH2 0x0383
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0x70a08231
000000ad: EQ
000000ae: PUSH2 0x03e9
000000b1: JUMPI
000000b2: DUP1
000000b3: PUSH4 0x7948f523
000000b8: EQ
000000b9: PUSH2 0x0415
000000bc: JUMPI
000000bd: DUP1
000000be: PUSH4 0x7fd6f15c
000000c3: EQ
000000c4: PUSH2 0x044a
000000c7: JUMPI
000000c8: DUP1
000000c9: PUSH4 0x88d695b2
000000ce: EQ
000000cf: PUSH2 0x046d
000000d2: JUMPI
000000d3: DUP1
000000d4: PUSH4 0x93423e9c
000000d9: EQ
000000da: PUSH2 0x0518
000000dd: JUMPI
000000de: DUP1
000000df: PUSH4 0x99a5d747
000000e4: EQ
000000e5: PUSH2 0x0544
000000e8: JUMPI
000000e9: DUP1
000000ea: PUSH4 0xa5f2a152
000000ef: EQ
000000f0: PUSH2 0x0570
000000f3: JUMPI
000000f4: DUP1
000000f5: PUSH4 0xa7f43779
000000fa: EQ
000000fb: PUSH2 0x05ae
000000fe: JUMPI
000000ff: DUP1
00000100: PUSH4 0xa9059cbb
00000105: EQ
00000106: PUSH2 0x05bd
00000109: JUMPI
0000010a: DUP1
0000010b: PUSH4 0xaa64c43b
00000110: EQ
00000111: PUSH2 0x05f2
00000114: JUMPI
00000115: DUP1
00000116: PUSH4 0xab77b178
0000011b: EQ
0000011c: PUSH2 0x0630
0000011f: JUMPI
00000120: DUP1
00000121: PUSH4 0xace30883
00000126: EQ
00000127: PUSH2 0x0665
0000012a: JUMPI
0000012b: DUP1
0000012c: PUSH4 0xb2478cfe
00000131: EQ
00000132: PUSH2 0x0688
00000135: JUMPI
00000136: DUP1
00000137: PUSH4 0xb2855b4f
0000013c: EQ
0000013d: PUSH2 0x06b4
00000140: JUMPI
00000141: DUP1
00000142: PUSH4 0xc71cbcf3
00000147: EQ
00000148: PUSH2 0x06cc
0000014b: JUMPI
0000014c: DUP1
0000014d: PUSH4 0xd6d0802a
00000152: EQ
00000153: PUSH2 0x0701
00000156: JUMPI
00000157: DUP1
00000158: PUSH4 0xdd62ed3e
0000015d: EQ
0000015e: PUSH2 0x072d
00000161: JUMPI
00000162: DUP1
00000163: PUSH4 0xfbf1f78a
00000168: EQ
00000169: PUSH2 0x0762
0000016c: JUMPI
0000016d: PUSH2 0x0171
00000170: JUMP
00000171: JUMPDEST
00000172: STOP
00000173: JUMPDEST
00000174: PUSH2 0x0180
00000177: PUSH1 0x04
00000179: DUP1
0000017a: POP
0000017b: POP
0000017c: PUSH2 0x07b4
0000017f: JUMP
00000180: JUMPDEST
00000181: PUSH1 0x40
00000183: MLOAD
00000184: DUP1
00000185: DUP3
00000186: DUP2
00000187: MSTORE
00000188: PUSH1 0x20
0000018a: ADD
0000018b: SWAP2
0000018c: POP
0000018d: POP
0000018e: PUSH1 0x40
00000190: MLOAD
00000191: DUP1
00000192: SWAP2
00000193: SUB
00000194: SWAP1
00000195: RETURN
00000196: JUMPDEST
00000197: PUSH2 0x01b5
0000019a: PUSH1 0x04
0000019c: DUP1
0000019d: DUP1
0000019e: CALLDATALOAD
0000019f: SWAP1
000001a0: PUSH1 0x20
000001a2: ADD
000001a3: SWAP1
000001a4: SWAP2
000001a5: SWAP1
000001a6: DUP1
000001a7: CALLDATALOAD
000001a8: SWAP1
000001a9: PUSH1 0x20
000001ab: ADD
000001ac: SWAP1
000001ad: SWAP2
000001ae: SWAP1
000001af: POP
000001b0: POP
000001b1: PUSH2 0x0b5e
000001b4: JUMP
000001b5: JUMPDEST
000001b6: PUSH1 0x40
000001b8: MLOAD
000001b9: DUP1
000001ba: DUP3
000001bb: DUP2
000001bc: MSTORE
000001bd: PUSH1 0x20
000001bf: ADD
000001c0: SWAP2
000001c1: POP
000001c2: POP
000001c3: PUSH1 0x40
000001c5: MLOAD
000001c6: DUP1
000001c7: SWAP2
000001c8: SUB
000001c9: SWAP1
000001ca: RETURN
000001cb: JUMPDEST
000001cc: PUSH2 0x01e1
000001cf: PUSH1 0x04
000001d1: DUP1
000001d2: DUP1
000001d3: CALLDATALOAD
000001d4: SWAP1
000001d5: PUSH1 0x20
000001d7: ADD
000001d8: SWAP1
000001d9: SWAP2
000001da: SWAP1
000001db: POP
000001dc: POP
000001dd: PUSH2 0x0b93
000001e0: JUMP
000001e1: JUMPDEST
000001e2: PUSH1 0x40
000001e4: MLOAD
000001e5: DUP1
000001e6: DUP3
000001e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001fc: AND
000001fd: DUP2
000001fe: MSTORE
000001ff: PUSH1 0x20
00000201: ADD
00000202: SWAP2
00000203: POP
00000204: POP
00000205: PUSH1 0x40
00000207: MLOAD
00000208: DUP1
00000209: SWAP2
0000020a: SUB
0000020b: SWAP1
0000020c: RETURN
0000020d: JUMPDEST
0000020e: PUSH2 0x021a
00000211: PUSH1 0x04
00000213: DUP1
00000214: POP
00000215: POP
00000216: PUSH2 0x0bd5
00000219: JUMP
0000021a: JUMPDEST
0000021b: PUSH1 0x40
0000021d: MLOAD
0000021e: DUP1
0000021f: DUP3
00000220: DUP2
00000221: MSTORE
00000222: PUSH1 0x20
00000224: ADD
00000225: SWAP2
00000226: POP
00000227: POP
00000228: PUSH1 0x40
0000022a: MLOAD
0000022b: DUP1
0000022c: SWAP2
0000022d: SUB
0000022e: SWAP1
0000022f: RETURN
00000230: JUMPDEST
00000231: PUSH2 0x0246
00000234: PUSH1 0x04
00000236: DUP1
00000237: DUP1
00000238: CALLDATALOAD
00000239: SWAP1
0000023a: PUSH1 0x20
0000023c: ADD
0000023d: SWAP1
0000023e: SWAP2
0000023f: SWAP1
00000240: POP
00000241: POP
00000242: PUSH2 0x07bd
00000245: JUMP
00000246: JUMPDEST
00000247: PUSH1 0x40
00000249: MLOAD
0000024a: DUP1
0000024b: DUP3
0000024c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000261: AND
00000262: DUP2
00000263: MSTORE
00000264: PUSH1 0x20
00000266: ADD
00000267: SWAP2
00000268: POP
00000269: POP
0000026a: PUSH1 0x40
0000026c: MLOAD
0000026d: DUP1
0000026e: SWAP2
0000026f: SUB
00000270: SWAP1
00000271: RETURN
00000272: JUMPDEST
00000273: PUSH2 0x029a
00000276: PUSH1 0x04
00000278: DUP1
00000279: DUP1
0000027a: CALLDATALOAD
0000027b: SWAP1
0000027c: PUSH1 0x20
0000027e: ADD
0000027f: SWAP1
00000280: SWAP2
00000281: SWAP1
00000282: DUP1
00000283: CALLDATALOAD
00000284: SWAP1
00000285: PUSH1 0x20
00000287: ADD
00000288: SWAP1
00000289: SWAP2
0000028a: SWAP1
0000028b: DUP1
0000028c: CALLDATALOAD
0000028d: SWAP1
0000028e: PUSH1 0x20
00000290: ADD
00000291: SWAP1
00000292: SWAP2
00000293: SWAP1
00000294: POP
00000295: POP
00000296: PUSH2 0x190f
00000299: JUMP
0000029a: JUMPDEST
0000029b: PUSH1 0x40
0000029d: MLOAD
0000029e: DUP1
0000029f: DUP3
000002a0: DUP2
000002a1: MSTORE
000002a2: PUSH1 0x20
000002a4: ADD
000002a5: SWAP2
000002a6: POP
000002a7: POP
000002a8: PUSH1 0x40
000002aa: MLOAD
000002ab: DUP1
000002ac: SWAP2
000002ad: SUB
000002ae: SWAP1
000002af: RETURN
000002b0: JUMPDEST
000002b1: PUSH2 0x02bd
000002b4: PUSH1 0x04
000002b6: DUP1
000002b7: POP
000002b8: POP
000002b9: PUSH2 0x078e
000002bc: JUMP
000002bd: JUMPDEST
000002be: PUSH1 0x40
000002c0: MLOAD
000002c1: DUP1
000002c2: DUP3
000002c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002d8: AND
000002d9: DUP2
000002da: MSTORE
000002db: PUSH1 0x20
000002dd: ADD
000002de: SWAP2
000002df: POP
000002e0: POP
000002e1: PUSH1 0x40
000002e3: MLOAD
000002e4: DUP1
000002e5: SWAP2
000002e6: SUB
000002e7: SWAP1
000002e8: RETURN
000002e9: JUMPDEST
000002ea: PUSH2 0x02f6
000002ed: PUSH1 0x04
000002ef: DUP1
000002f0: POP
000002f1: POP
000002f2: PUSH2 0x0bf9
000002f5: JUMP
000002f6: JUMPDEST
000002f7: PUSH1 0x40
000002f9: MLOAD
000002fa: DUP1
000002fb: DUP3
000002fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000311: AND
00000312: DUP2
00000313: MSTORE
00000314: PUSH1 0x20
00000316: ADD
00000317: SWAP2
00000318: POP
00000319: POP
0000031a: PUSH1 0x40
0000031c: MLOAD
0000031d: DUP1
0000031e: SWAP2
0000031f: SUB
00000320: SWAP1
00000321: RETURN
00000322: JUMPDEST
00000323: PUSH2 0x032f
00000326: PUSH1 0x04
00000328: DUP1
00000329: POP
0000032a: POP
0000032b: PUSH2 0x0bf0
0000032e: JUMP
0000032f: JUMPDEST
00000330: PUSH1 0x40
00000332: MLOAD
00000333: DUP1
00000334: DUP3
00000335: DUP2
00000336: MSTORE
00000337: PUSH1 0x20
00000339: ADD
0000033a: SWAP2
0000033b: POP
0000033c: POP
0000033d: PUSH1 0x40
0000033f: MLOAD
00000340: DUP1
00000341: SWAP2
00000342: SUB
00000343: SWAP1
00000344: RETURN
00000345: JUMPDEST
00000346: PUSH2 0x036d
00000349: PUSH1 0x04
0000034b: DUP1
0000034c: DUP1
0000034d: CALLDATALOAD
0000034e: SWAP1
0000034f: PUSH1 0x20
00000351: ADD
00000352: SWAP1
00000353: SWAP2
00000354: SWAP1
00000355: DUP1
00000356: CALLDATALOAD
00000357: SWAP1
00000358: PUSH1 0x20
0000035a: ADD
0000035b: SWAP1
0000035c: SWAP2
0000035d: SWAP1
0000035e: DUP1
0000035f: CALLDATALOAD
00000360: SWAP1
00000361: PUSH1 0x20
00000363: ADD
00000364: SWAP1
00000365: SWAP2
00000366: SWAP1
00000367: POP
00000368: POP
00000369: PUSH2 0x2051
0000036c: JUMP
0000036d: JUMPDEST
0000036e: PUSH1 0x40
00000370: MLOAD
00000371: DUP1
00000372: DUP3
00000373: DUP2
00000374: MSTORE
00000375: PUSH1 0x20
00000377: ADD
00000378: SWAP2
00000379: POP
0000037a: POP
0000037b: PUSH1 0x40
0000037d: MLOAD
0000037e: DUP1
0000037f: SWAP2
00000380: SUB
00000381: SWAP1
00000382: RETURN
00000383: JUMPDEST
00000384: PUSH2 0x0399
00000387: PUSH1 0x04
00000389: DUP1
0000038a: DUP1
0000038b: CALLDATALOAD
0000038c: SWAP1
0000038d: PUSH1 0x20
0000038f: ADD
00000390: SWAP1
00000391: SWAP2
00000392: SWAP1
00000393: POP
00000394: POP
00000395: PUSH2 0x0c3a
00000398: JUMP
00000399: JUMPDEST
0000039a: PUSH1 0x40
0000039c: MLOAD
0000039d: DUP1
0000039e: DUP5
0000039f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003b4: AND
000003b5: DUP2
000003b6: MSTORE
000003b7: PUSH1 0x20
000003b9: ADD
000003ba: DUP4
000003bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003d0: AND
000003d1: DUP2
000003d2: MSTORE
000003d3: PUSH1 0x20
000003d5: ADD
000003d6: DUP3
000003d7: DUP2
000003d8: MSTORE
000003d9: PUSH1 0x20
000003db: ADD
000003dc: SWAP4
000003dd: POP
000003de: POP
000003df: POP
000003e0: POP
000003e1: PUSH1 0x40
000003e3: MLOAD
000003e4: DUP1
000003e5: SWAP2
000003e6: SUB
000003e7: SWAP1
000003e8: RETURN
000003e9: JUMPDEST
000003ea: PUSH2 0x03ff
000003ed: PUSH1 0x04
000003ef: DUP1
000003f0: DUP1
000003f1: CALLDATALOAD
000003f2: SWAP1
000003f3: PUSH1 0x20
000003f5: ADD
000003f6: SWAP1
000003f7: SWAP2
000003f8: SWAP1
000003f9: POP
000003fa: POP
000003fb: PUSH2 0x0cce
000003fe: JUMP
000003ff: JUMPDEST
00000400: PUSH1 0x40
00000402: MLOAD
00000403: DUP1
00000404: DUP3
00000405: DUP2
00000406: MSTORE
00000407: PUSH1 0x20
00000409: ADD
0000040a: SWAP2
0000040b: POP
0000040c: POP
0000040d: PUSH1 0x40
0000040f: MLOAD
00000410: DUP1
00000411: SWAP2
00000412: SUB
00000413: SWAP1
00000414: RETURN
00000415: JUMPDEST
00000416: PUSH2 0x0434
00000419: PUSH1 0x04
0000041b: DUP1
0000041c: DUP1
0000041d: CALLDATALOAD
0000041e: SWAP1
0000041f: PUSH1 0x20
00000421: ADD
00000422: SWAP1
00000423: SWAP2
00000424: SWAP1
00000425: DUP1
00000426: CALLDATALOAD
00000427: SWAP1
00000428: PUSH1 0x20
0000042a: ADD
0000042b: SWAP1
0000042c: SWAP2
0000042d: SWAP1
0000042e: POP
0000042f: POP
00000430: PUSH2 0x0860
00000433: JUMP
00000434: JUMPDEST
00000435: PUSH1 0x40
00000437: MLOAD
00000438: DUP1
00000439: DUP3
0000043a: DUP2
0000043b: MSTORE
0000043c: PUSH1 0x20
0000043e: ADD
0000043f: SWAP2
00000440: POP
00000441: POP
00000442: PUSH1 0x40
00000444: MLOAD
00000445: DUP1
00000446: SWAP2
00000447: SUB
00000448: SWAP1
00000449: RETURN
0000044a: JUMPDEST
0000044b: PUSH2 0x0457
0000044e: PUSH1 0x04
00000450: DUP1
00000451: POP
00000452: POP
00000453: PUSH2 0x0be7
00000456: JUMP
00000457: JUMPDEST
00000458: PUSH1 0x40
0000045a: MLOAD
0000045b: DUP1
0000045c: DUP3
0000045d: DUP2
0000045e: MSTORE
0000045f: PUSH1 0x20
00000461: ADD
00000462: SWAP2
00000463: POP
00000464: POP
00000465: PUSH1 0x40
00000467: MLOAD
00000468: DUP1
00000469: SWAP2
0000046a: SUB
0000046b: SWAP1
0000046c: RETURN
0000046d: JUMPDEST
0000046e: PUSH2 0x0502
00000471: PUSH1 0x04
00000473: DUP1
00000474: DUP1
00000475: CALLDATALOAD
00000476: SWAP1
00000477: PUSH1 0x20
00000479: ADD
0000047a: SWAP1
0000047b: DUP3
0000047c: ADD
0000047d: DUP1
0000047e: CALLDATALOAD
0000047f: SWAP1
00000480: PUSH1 0x20
00000482: ADD
00000483: SWAP2
00000484: SWAP2
00000485: SWAP1
00000486: DUP1
00000487: DUP1
00000488: PUSH1 0x20
0000048a: MUL
0000048b: PUSH1 0x20
0000048d: ADD
0000048e: PUSH1 0x40
00000490: MLOAD
00000491: SWAP1
00000492: DUP2
00000493: ADD
00000494: PUSH1 0x40
00000496: MSTORE
00000497: DUP1
00000498: SWAP4
00000499: SWAP3
0000049a: SWAP2
0000049b: SWAP1
0000049c: DUP2
0000049d: DUP2
0000049e: MSTORE
0000049f: PUSH1 0x20
000004a1: ADD
000004a2: DUP4
000004a3: DUP4
000004a4: PUSH1 0x20
000004a6: MUL
000004a7: DUP1
000004a8: DUP3
000004a9: DUP5
000004aa: CALLDATACOPY
000004ab: DUP3
000004ac: ADD
000004ad: SWAP2
000004ae: POP
000004af: POP
000004b0: POP
000004b1: POP
000004b2: POP
000004b3: POP
000004b4: SWAP1
000004b5: SWAP1
000004b6: SWAP2
000004b7: SWAP1
000004b8: DUP1
000004b9: CALLDATALOAD
000004ba: SWAP1
000004bb: PUSH1 0x20
000004bd: ADD
000004be: SWAP1
000004bf: DUP3
000004c0: ADD
000004c1: DUP1
000004c2: CALLDATALOAD
000004c3: SWAP1
000004c4: PUSH1 0x20
000004c6: ADD
000004c7: SWAP2
000004c8: SWAP2
000004c9: SWAP1
000004ca: DUP1
000004cb: DUP1
000004cc: PUSH1 0x20
000004ce: MUL
000004cf: PUSH1 0x20
000004d1: ADD
000004d2: PUSH1 0x40
000004d4: MLOAD
000004d5: SWAP1
000004d6: DUP2
000004d7: ADD
000004d8: PUSH1 0x40
000004da: MSTORE
000004db: DUP1
000004dc: SWAP4
000004dd: SWAP3
000004de: SWAP2
000004df: SWAP1
000004e0: DUP2
000004e1: DUP2
000004e2: MSTORE
000004e3: PUSH1 0x20
000004e5: ADD
000004e6: DUP4
000004e7: DUP4
000004e8: PUSH1 0x20
000004ea: MUL
000004eb: DUP1
000004ec: DUP3
000004ed: DUP5
000004ee: CALLDATACOPY
000004ef: DUP3
000004f0: ADD
000004f1: SWAP2
000004f2: POP
000004f3: POP
000004f4: POP
000004f5: POP
000004f6: POP
000004f7: POP
000004f8: SWAP1
000004f9: SWAP1
000004fa: SWAP2
000004fb: SWAP1
000004fc: POP
000004fd: POP
000004fe: PUSH2 0x11c1
00000501: JUMP
00000502: JUMPDEST
00000503: PUSH1 0x40
00000505: MLOAD
00000506: DUP1
00000507: DUP3
00000508: DUP2
00000509: MSTORE
0000050a: PUSH1 0x20
0000050c: ADD
0000050d: SWAP2
0000050e: POP
0000050f: POP
00000510: PUSH1 0x40
00000512: MLOAD
00000513: DUP1
00000514: SWAP2
00000515: SUB
00000516: SWAP1
00000517: RETURN
00000518: JUMPDEST
00000519: PUSH2 0x052e
0000051c: PUSH1 0x04
0000051e: DUP1
0000051f: DUP1
00000520: CALLDATALOAD
00000521: SWAP1
00000522: PUSH1 0x20
00000524: ADD
00000525: SWAP1
00000526: SWAP2
00000527: SWAP1
00000528: POP
00000529: POP
0000052a: PUSH2 0x0cb7
0000052d: JUMP
0000052e: JUMPDEST
0000052f: PUSH1 0x40
00000531: MLOAD
00000532: DUP1
00000533: DUP3
00000534: DUP2
00000535: MSTORE
00000536: PUSH1 0x20
00000538: ADD
00000539: SWAP2
0000053a: POP
0000053b: POP
0000053c: PUSH1 0x40
0000053e: MLOAD
0000053f: DUP1
00000540: SWAP2
00000541: SUB
00000542: SWAP1
00000543: RETURN
00000544: JUMPDEST
00000545: PUSH2 0x055a
00000548: PUSH1 0x04
0000054a: DUP1
0000054b: DUP1
0000054c: CALLDATALOAD
0000054d: SWAP1
0000054e: PUSH1 0x20
00000550: ADD
00000551: SWAP1
00000552: SWAP2
00000553: SWAP1
00000554: POP
00000555: POP
00000556: PUSH2 0x0d93
00000559: JUMP
0000055a: JUMPDEST
0000055b: PUSH1 0x40
0000055d: MLOAD
0000055e: DUP1
0000055f: DUP3
00000560: DUP2
00000561: MSTORE
00000562: PUSH1 0x20
00000564: ADD
00000565: SWAP2
00000566: POP
00000567: POP
00000568: PUSH1 0x40
0000056a: MLOAD
0000056b: DUP1
0000056c: SWAP2
0000056d: SUB
0000056e: SWAP1
0000056f: RETURN
00000570: JUMPDEST
00000571: PUSH2 0x0598
00000574: PUSH1 0x04
00000576: DUP1
00000577: DUP1
00000578: CALLDATALOAD
00000579: SWAP1
0000057a: PUSH1 0x20
0000057c: ADD
0000057d: SWAP1
0000057e: SWAP2
0000057f: SWAP1
00000580: DUP1
00000581: CALLDATALOAD
00000582: SWAP1
00000583: PUSH1 0x20
00000585: ADD
00000586: SWAP1
00000587: SWAP2
00000588: SWAP1
00000589: DUP1
0000058a: CALLDATALOAD
0000058b: SWAP1
0000058c: PUSH1 0x20
0000058e: ADD
0000058f: SWAP1
00000590: SWAP2
00000591: SWAP1
00000592: POP
00000593: POP
00000594: PUSH2 0x154b
00000597: JUMP
00000598: JUMPDEST
00000599: PUSH1 0x40
0000059b: MLOAD
0000059c: DUP1
0000059d: DUP3
0000059e: DUP2
0000059f: MSTORE
000005a0: PUSH1 0x20
000005a2: ADD
000005a3: SWAP2
000005a4: POP
000005a5: POP
000005a6: PUSH1 0x40
000005a8: MLOAD
000005a9: DUP1
000005aa: SWAP2
000005ab: SUB
000005ac: SWAP1
000005ad: RETURN
000005ae: JUMPDEST
000005af: PUSH2 0x05bb
000005b2: PUSH1 0x04
000005b4: DUP1
000005b5: POP
000005b6: POP
000005b7: PUSH2 0x0aca
000005ba: JUMP
000005bb: JUMPDEST
000005bc: STOP
000005bd: JUMPDEST
000005be: PUSH2 0x05dc
000005c1: PUSH1 0x04
000005c3: DUP1
000005c4: DUP1
000005c5: CALLDATALOAD
000005c6: SWAP1
000005c7: PUSH1 0x20
000005c9: ADD
000005ca: SWAP1
000005cb: SWAP2
000005cc: SWAP1
000005cd: DUP1
000005ce: CALLDATALOAD
000005cf: SWAP1
000005d0: PUSH1 0x20
000005d2: ADD
000005d3: SWAP1
000005d4: SWAP2
000005d5: SWAP1
000005d6: POP
000005d7: POP
000005d8: PUSH2 0x1798
000005db: JUMP
000005dc: JUMPDEST
000005dd: PUSH1 0x40
000005df: MLOAD
000005e0: DUP1
000005e1: DUP3
000005e2: DUP2
000005e3: MSTORE
000005e4: PUSH1 0x20
000005e6: ADD
000005e7: SWAP2
000005e8: POP
000005e9: POP
000005ea: PUSH1 0x40
000005ec: MLOAD
000005ed: DUP1
000005ee: SWAP2
000005ef: SUB
000005f0: SWAP1
000005f1: RETURN
000005f2: JUMPDEST
000005f3: PUSH2 0x061a
000005f6: PUSH1 0x04
000005f8: DUP1
000005f9: DUP1
000005fa: CALLDATALOAD
000005fb: SWAP1
000005fc: PUSH1 0x20
000005fe: ADD
000005ff: SWAP1
00000600: SWAP2
00000601: SWAP1
00000602: DUP1
00000603: CALLDATALOAD
00000604: SWAP1
00000605: PUSH1 0x20
00000607: ADD
00000608: SWAP1
00000609: SWAP2
0000060a: SWAP1
0000060b: DUP1
0000060c: CALLDATALOAD
0000060d: SWAP1
0000060e: PUSH1 0x20
00000610: ADD
00000611: SWAP1
00000612: SWAP2
00000613: SWAP1
00000614: POP
00000615: POP
00000616: PUSH2 0x219a
00000619: JUMP
0000061a: JUMPDEST
0000061b: PUSH1 0x40
0000061d: MLOAD
0000061e: DUP1
0000061f: DUP3
00000620: DUP2
00000621: MSTORE
00000622: PUSH1 0x20
00000624: ADD
00000625: SWAP2
00000626: POP
00000627: POP
00000628: PUSH1 0x40
0000062a: MLOAD
0000062b: DUP1
0000062c: SWAP2
0000062d: SUB
0000062e: SWAP1
0000062f: RETURN
00000630: JUMPDEST
00000631: PUSH2 0x064f
00000634: PUSH1 0x04
00000636: DUP1
00000637: DUP1
00000638: CALLDATALOAD
00000639: SWAP1
0000063a: PUSH1 0x20
0000063c: ADD
0000063d: SWAP1
0000063e: SWAP2
0000063f: SWAP1
00000640: DUP1
00000641: CALLDATALOAD
00000642: SWAP1
00000643: PUSH1 0x20
00000645: ADD
00000646: SWAP1
00000647: SWAP2
00000648: SWAP1
00000649: POP
0000064a: POP
0000064b: PUSH2 0x0daa
0000064e: JUMP
0000064f: JUMPDEST
00000650: PUSH1 0x40
00000652: MLOAD
00000653: DUP1
00000654: DUP3
00000655: DUP2
00000656: MSTORE
00000657: PUSH1 0x20
00000659: ADD
0000065a: SWAP2
0000065b: POP
0000065c: POP
0000065d: PUSH1 0x40
0000065f: MLOAD
00000660: DUP1
00000661: SWAP2
00000662: SUB
00000663: SWAP1
00000664: RETURN
00000665: JUMPDEST
00000666: PUSH2 0x0672
00000669: PUSH1 0x04
0000066b: DUP1
0000066c: POP
0000066d: POP
0000066e: PUSH2 0x0bde
00000671: JUMP
00000672: JUMPDEST
00000673: PUSH1 0x40
00000675: MLOAD
00000676: DUP1
00000677: DUP3
00000678: DUP2
00000679: MSTORE
0000067a: PUSH1 0x20
0000067c: ADD
0000067d: SWAP2
0000067e: POP
0000067f: POP
00000680: PUSH1 0x40
00000682: MLOAD
00000683: DUP1
00000684: SWAP2
00000685: SUB
00000686: SWAP1
00000687: RETURN
00000688: JUMPDEST
00000689: PUSH2 0x069e
0000068c: PUSH1 0x04
0000068e: DUP1
0000068f: DUP1
00000690: CALLDATALOAD
00000691: SWAP1
00000692: PUSH1 0x20
00000694: ADD
00000695: SWAP1
00000696: SWAP2
00000697: SWAP1
00000698: POP
00000699: POP
0000069a: PUSH2 0x0b78
0000069d: JUMP
0000069e: JUMPDEST
0000069f: PUSH1 0x40
000006a1: MLOAD
000006a2: DUP1
000006a3: DUP3
000006a4: DUP2
000006a5: MSTORE
000006a6: PUSH1 0x20
000006a8: ADD
000006a9: SWAP2
000006aa: POP
000006ab: POP
000006ac: PUSH1 0x40
000006ae: MLOAD
000006af: DUP1
000006b0: SWAP2
000006b1: SUB
000006b2: SWAP1
000006b3: RETURN
000006b4: JUMPDEST
000006b5: PUSH2 0x06ca
000006b8: PUSH1 0x04
000006ba: DUP1
000006bb: DUP1
000006bc: CALLDATALOAD
000006bd: SWAP1
000006be: PUSH1 0x20
000006c0: ADD
000006c1: SWAP1
000006c2: SWAP2
000006c3: SWAP1
000006c4: POP
000006c5: POP
000006c6: PUSH2 0x1065
000006c9: JUMP
000006ca: JUMPDEST
000006cb: STOP
000006cc: JUMPDEST
000006cd: PUSH2 0x06eb
000006d0: PUSH1 0x04
000006d2: DUP1
000006d3: DUP1
000006d4: CALLDATALOAD
000006d5: SWAP1
000006d6: PUSH1 0x20
000006d8: ADD
000006d9: SWAP1
000006da: SWAP2
000006db: SWAP1
000006dc: DUP1
000006dd: CALLDATALOAD
000006de: SWAP1
000006df: PUSH1 0x20
000006e1: ADD
000006e2: SWAP1
000006e3: SWAP2
000006e4: SWAP1
000006e5: POP
000006e6: POP
000006e7: PUSH2 0x1e94
000006ea: JUMP
000006eb: JUMPDEST
000006ec: PUSH1 0x40
000006ee: MLOAD
000006ef: DUP1
000006f0: DUP3
000006f1: DUP2
000006f2: MSTORE
000006f3: PUSH1 0x20
000006f5: ADD
000006f6: SWAP2
000006f7: POP
000006f8: POP
000006f9: PUSH1 0x40
000006fb: MLOAD
000006fc: DUP1
000006fd: SWAP2
000006fe: SUB
000006ff: SWAP1
00000700: RETURN
00000701: JUMPDEST
00000702: PUSH2 0x0717
00000705: PUSH1 0x04
00000707: DUP1
00000708: DUP1
00000709: CALLDATALOAD
0000070a: SWAP1
0000070b: PUSH1 0x20
0000070d: ADD
0000070e: SWAP1
0000070f: SWAP2
00000710: SWAP1
00000711: POP
00000712: POP
00000713: PUSH2 0x0c1f
00000716: JUMP
00000717: JUMPDEST
00000718: PUSH1 0x40
0000071a: MLOAD
0000071b: DUP1
0000071c: DUP3
0000071d: DUP2
0000071e: MSTORE
0000071f: PUSH1 0x20
00000721: ADD
00000722: SWAP2
00000723: POP
00000724: POP
00000725: PUSH1 0x40
00000727: MLOAD
00000728: DUP1
00000729: SWAP2
0000072a: SUB
0000072b: SWAP1
0000072c: RETURN
0000072d: JUMPDEST
0000072e: PUSH2 0x074c
00000731: PUSH1 0x04
00000733: DUP1
00000734: DUP1
00000735: CALLDATALOAD
00000736: SWAP1
00000737: PUSH1 0x20
00000739: ADD
0000073a: SWAP1
0000073b: SWAP2
0000073c: SWAP1
0000073d: DUP1
0000073e: CALLDATALOAD
0000073f: SWAP1
00000740: PUSH1 0x20
00000742: ADD
00000743: SWAP1
00000744: SWAP2
00000745: SWAP1
00000746: POP
00000747: POP
00000748: PUSH2 0x0b6f
0000074b: JUMP
0000074c: JUMPDEST
0000074d: PUSH1 0x40
0000074f: MLOAD
00000750: DUP1
00000751: DUP3
00000752: DUP2
00000753: MSTORE
00000754: PUSH1 0x20
00000756: ADD
00000757: SWAP2
00000758: POP
00000759: POP
0000075a: PUSH1 0x40
0000075c: MLOAD
0000075d: DUP1
0000075e: SWAP2
0000075f: SUB
00000760: SWAP1
00000761: RETURN
00000762: JUMPDEST
00000763: PUSH2 0x0778
00000766: PUSH1 0x04
00000768: DUP1
00000769: DUP1
0000076a: CALLDATALOAD
0000076b: SWAP1
0000076c: PUSH1 0x20
0000076e: ADD
0000076f: SWAP1
00000770: SWAP2
00000771: SWAP1
00000772: POP
00000773: POP
00000774: PUSH2 0x0b67
00000777: JUMP
00000778: JUMPDEST
00000779: PUSH1 0x40
0000077b: MLOAD
0000077c: DUP1
0000077d: DUP3
0000077e: DUP2
0000077f: MSTORE
00000780: PUSH1 0x20
00000782: ADD
00000783: SWAP2
00000784: POP
00000785: POP
00000786: PUSH1 0x40
00000788: MLOAD
00000789: DUP1
0000078a: SWAP2
0000078b: SUB
0000078c: SWAP1
0000078d: RETURN
0000078e: JUMPDEST
0000078f: PUSH1 0x00
00000791: PUSH1 0x00
00000793: SWAP1
00000794: SLOAD
00000795: SWAP1
00000796: PUSH2 0x0100
00000799: EXP
0000079a: SWAP1
0000079b: DIV
0000079c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007b1: AND
000007b2: DUP2
000007b3: JUMP
000007b4: JUMPDEST
000007b5: PUSH1 0x02
000007b7: PUSH1 0x00
000007b9: POP
000007ba: SLOAD
000007bb: DUP2
000007bc: JUMP
000007bd: JUMPDEST
000007be: PUSH1 0x00
000007c0: PUSH1 0x01
000007c2: PUSH1 0x00
000007c4: SWAP1
000007c5: SLOAD
000007c6: SWAP1
000007c7: PUSH2 0x0100
000007ca: EXP
000007cb: SWAP1
000007cc: DIV
000007cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007e2: AND
000007e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007f8: AND
000007f9: PUSH4 0x2ade6c36
000007fe: DUP4
000007ff: PUSH1 0x40
00000801: MLOAD
00000802: DUP3
00000803: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000821: MUL
00000822: DUP2
00000823: MSTORE
00000824: PUSH1 0x04
00000826: ADD
00000827: DUP1
00000828: DUP3
00000829: DUP2
0000082a: MSTORE
0000082b: PUSH1 0x20
0000082d: ADD
0000082e: SWAP2
0000082f: POP
00000830: POP
00000831: PUSH1 0x20
00000833: PUSH1 0x40
00000835: MLOAD
00000836: DUP1
00000837: DUP4
00000838: SUB
00000839: DUP2
0000083a: PUSH1 0x00
0000083c: DUP8
0000083d: PUSH2 0x61da
00000840: GAS
00000841: SUB
00000842: CALL
00000843: ISZERO
00000844: PUSH2 0x0002
00000847: JUMPI
00000848: POP
00000849: POP
0000084a: POP
0000084b: PUSH1 0x40
0000084d: MLOAD
0000084e: DUP1
0000084f: MLOAD
00000850: SWAP1
00000851: PUSH1 0x20
00000853: ADD
00000854: POP
00000855: SWAP1
00000856: POP
00000857: PUSH2 0x085b
0000085a: JUMP
0000085b: JUMPDEST
0000085c: SWAP2
0000085d: SWAP1
0000085e: POP
0000085f: JUMP
00000860: JUMPDEST
00000861: PUSH1 0x00
00000863: PUSH1 0x00
00000865: PUSH1 0x00
00000867: PUSH1 0x00
00000869: PUSH1 0x00
0000086b: PUSH1 0x00
0000086d: SWAP1
0000086e: SLOAD
0000086f: SWAP1
00000870: PUSH2 0x0100
00000873: EXP
00000874: SWAP1
00000875: DIV
00000876: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000088b: AND
0000088c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008a1: AND
000008a2: EQ
000008a3: ISZERO
000008a4: DUP1
000008a5: ISZERO
000008a6: PUSH2 0x08fd
000008a9: JUMPI
000008aa: POP
000008ab: PUSH1 0x00
000008ad: PUSH1 0x00
000008af: SWAP1
000008b0: SLOAD
000008b1: SWAP1
000008b2: PUSH2 0x0100
000008b5: EXP
000008b6: SWAP1
000008b7: DIV
000008b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008cd: AND
000008ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008e3: AND
000008e4: DUP6
000008e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008fa: AND
000008fb: EQ
000008fc: ISZERO
000008fd: JUMPDEST
000008fe: ISZERO
000008ff: PUSH2 0x090b
00000902: JUMPI
00000903: PUSH1 0x00
00000905: SWAP3
00000906: POP
00000907: PUSH2 0x0ac2
0000090a: JUMP
0000090b: JUMPDEST
0000090c: DUP5
0000090d: SWAP2
0000090e: POP
0000090f: ADDRESS
00000910: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000925: AND
00000926: DUP3
00000927: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000093c: AND
0000093d: PUSH4 0x2ade6c36
00000942: DUP7
00000943: PUSH1 0x40
00000945: MLOAD
00000946: DUP3
00000947: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000965: MUL
00000966: DUP2
00000967: MSTORE
00000968: PUSH1 0x04
0000096a: ADD
0000096b: DUP1
0000096c: DUP3
0000096d: DUP2
0000096e: MSTORE
0000096f: PUSH1 0x20
00000971: ADD
00000972: SWAP2
00000973: POP
00000974: POP
00000975: PUSH1 0x20
00000977: PUSH1 0x40
00000979: MLOAD
0000097a: DUP1
0000097b: DUP4
0000097c: SUB
0000097d: DUP2
0000097e: PUSH1 0x00
00000980: DUP8
00000981: PUSH2 0x61da
00000984: GAS
00000985: SUB
00000986: CALL
00000987: ISZERO
00000988: PUSH2 0x0002
0000098b: JUMPI
0000098c: POP
0000098d: POP
0000098e: POP
0000098f: PUSH1 0x40
00000991: MLOAD
00000992: DUP1
00000993: MLOAD
00000994: SWAP1
00000995: PUSH1 0x20
00000997: ADD
00000998: POP
00000999: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ae: AND
000009af: EQ
000009b0: ISZERO
000009b1: ISZERO
000009b2: PUSH2 0x0a59
000009b5: JUMPI
000009b6: DUP2
000009b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009cc: AND
000009cd: PUSH4 0x76849376
000009d2: DUP6
000009d3: ADDRESS
000009d4: PUSH1 0x40
000009d6: MLOAD
000009d7: DUP4
000009d8: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000009f6: MUL
000009f7: DUP2
000009f8: MSTORE
000009f9: PUSH1 0x04
000009fb: ADD
000009fc: DUP1
000009fd: DUP4
000009fe: DUP2
000009ff: MSTORE
00000a00: PUSH1 0x20
00000a02: ADD
00000a03: DUP3
00000a04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a19: AND
00000a1a: DUP2
00000a1b: MSTORE
00000a1c: PUSH1 0x20
00000a1e: ADD
00000a1f: SWAP3
00000a20: POP
00000a21: POP
00000a22: POP
00000a23: PUSH1 0x20
00000a25: PUSH1 0x40
00000a27: MLOAD
00000a28: DUP1
00000a29: DUP4
00000a2a: SUB
00000a2b: DUP2
00000a2c: PUSH1 0x00
00000a2e: DUP8
00000a2f: PUSH2 0x61da
00000a32: GAS
00000a33: SUB
00000a34: CALL
00000a35: ISZERO
00000a36: PUSH2 0x0002
00000a39: JUMPI
00000a3a: POP
00000a3b: POP
00000a3c: POP
00000a3d: PUSH1 0x40
00000a3f: MLOAD
00000a40: DUP1
00000a41: MLOAD
00000a42: SWAP1
00000a43: PUSH1 0x20
00000a45: ADD
00000a46: POP
00000a47: SWAP1
00000a48: POP
00000a49: DUP1
00000a4a: ISZERO
00000a4b: ISZERO
00000a4c: PUSH2 0x0a58
00000a4f: JUMPI
00000a50: PUSH1 0x00
00000a52: SWAP3
00000a53: POP
00000a54: PUSH2 0x0ac2
00000a57: JUMP
00000a58: JUMPDEST
00000a59: JUMPDEST
00000a5a: DUP4
00000a5b: PUSH1 0x02
00000a5d: PUSH1 0x00
00000a5f: POP
00000a60: DUP2
00000a61: SWAP1
00000a62: SSTORE
00000a63: POP
00000a64: DUP5
00000a65: PUSH1 0x00
00000a67: PUSH1 0x00
00000a69: PUSH2 0x0100
00000a6c: EXP
00000a6d: DUP2
00000a6e: SLOAD
00000a6f: DUP2
00000a70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a85: MUL
00000a86: NOT
00000a87: AND
00000a88: SWAP1
00000a89: DUP4
00000a8a: MUL
00000a8b: OR
00000a8c: SWAP1
00000a8d: SSTORE
00000a8e: POP
00000a8f: DUP2
00000a90: PUSH1 0x01
00000a92: PUSH1 0x00
00000a94: PUSH2 0x0100
00000a97: EXP
00000a98: DUP2
00000a99: SLOAD
00000a9a: DUP2
00000a9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ab0: MUL
00000ab1: NOT
00000ab2: AND
00000ab3: SWAP1
00000ab4: DUP4
00000ab5: MUL
00000ab6: OR
00000ab7: SWAP1
00000ab8: SSTORE
00000ab9: POP
00000aba: PUSH1 0x01
00000abc: SWAP3
00000abd: POP
00000abe: PUSH2 0x0ac2
00000ac1: JUMP
00000ac2: JUMPDEST
00000ac3: POP
00000ac4: POP
00000ac5: SWAP3
00000ac6: SWAP2
00000ac7: POP
00000ac8: POP
00000ac9: JUMP
00000aca: JUMPDEST
00000acb: PUSH1 0x00
00000acd: PUSH1 0x00
00000acf: SWAP1
00000ad0: SLOAD
00000ad1: SWAP1
00000ad2: PUSH2 0x0100
00000ad5: EXP
00000ad6: SWAP1
00000ad7: DIV
00000ad8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aed: AND
00000aee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b03: AND
00000b04: CALLER
00000b05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b1a: AND
00000b1b: EQ
00000b1c: ISZERO
00000b1d: PUSH2 0x0b5b
00000b20: JUMPI
00000b21: PUSH1 0x00
00000b23: PUSH1 0x00
00000b25: SWAP1
00000b26: SLOAD
00000b27: SWAP1
00000b28: PUSH2 0x0100
00000b2b: EXP
00000b2c: SWAP1
00000b2d: DIV
00000b2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b43: AND
00000b44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b59: AND
00000b5a: SELFDESTRUCT
00000b5b: JUMPDEST
00000b5c: JUMPDEST
00000b5d: JUMP
00000b5e: JUMPDEST
00000b5f: PUSH1 0x00
00000b61: JUMPDEST
00000b62: SWAP3
00000b63: SWAP2
00000b64: POP
00000b65: POP
00000b66: JUMP
00000b67: JUMPDEST
00000b68: PUSH1 0x00
00000b6a: JUMPDEST
00000b6b: SWAP2
00000b6c: SWAP1
00000b6d: POP
00000b6e: JUMP
00000b6f: JUMPDEST
00000b70: PUSH1 0x00
00000b72: JUMPDEST
00000b73: SWAP3
00000b74: SWAP2
00000b75: POP
00000b76: POP
00000b77: JUMP
00000b78: JUMPDEST
00000b79: PUSH1 0x03
00000b7b: PUSH1 0x00
00000b7d: POP
00000b7e: PUSH1 0x20
00000b80: MSTORE
00000b81: DUP1
00000b82: PUSH1 0x00
00000b84: MSTORE
00000b85: PUSH1 0x40
00000b87: PUSH1 0x00
00000b89: KECCAK256
00000b8a: PUSH1 0x00
00000b8c: SWAP2
00000b8d: POP
00000b8e: SWAP1
00000b8f: POP
00000b90: SLOAD
00000b91: DUP2
00000b92: JUMP
00000b93: JUMPDEST
00000b94: PUSH1 0x04
00000b96: PUSH1 0x00
00000b98: POP
00000b99: DUP2
00000b9a: DUP2
00000b9b: SLOAD
00000b9c: DUP2
00000b9d: LT
00000b9e: ISZERO
00000b9f: PUSH2 0x0002
00000ba2: JUMPI
00000ba3: SWAP1
00000ba4: PUSH1 0x00
00000ba6: MSTORE
00000ba7: PUSH1 0x20
00000ba9: PUSH1 0x00
00000bab: KECCAK256
00000bac: SWAP1
00000bad: ADD
00000bae: PUSH1 0x00
00000bb0: JUMPDEST
00000bb1: SWAP2
00000bb2: POP
00000bb3: SWAP1
00000bb4: SWAP1
00000bb5: SLOAD
00000bb6: SWAP1
00000bb7: PUSH2 0x0100
00000bba: EXP
00000bbb: SWAP1
00000bbc: DIV
00000bbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bd2: AND
00000bd3: DUP2
00000bd4: JUMP
00000bd5: JUMPDEST
00000bd6: PUSH1 0x05
00000bd8: PUSH1 0x00
00000bda: POP
00000bdb: SLOAD
00000bdc: DUP2
00000bdd: JUMP
00000bde: JUMPDEST
00000bdf: PUSH1 0x06
00000be1: PUSH1 0x00
00000be3: POP
00000be4: SLOAD
00000be5: DUP2
00000be6: JUMP
00000be7: JUMPDEST
00000be8: PUSH1 0x07
00000bea: PUSH1 0x00
00000bec: POP
00000bed: SLOAD
00000bee: DUP2
00000bef: JUMP
00000bf0: JUMPDEST
00000bf1: PUSH1 0x08
00000bf3: PUSH1 0x00
00000bf5: POP
00000bf6: SLOAD
00000bf7: DUP2
00000bf8: JUMP
00000bf9: JUMPDEST
00000bfa: PUSH1 0x09
00000bfc: PUSH1 0x00
00000bfe: SWAP1
00000bff: SLOAD
00000c00: SWAP1
00000c01: PUSH2 0x0100
00000c04: EXP
00000c05: SWAP1
00000c06: DIV
00000c07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c1c: AND
00000c1d: DUP2
00000c1e: JUMP
00000c1f: JUMPDEST
00000c20: PUSH1 0x0a
00000c22: PUSH1 0x00
00000c24: POP
00000c25: PUSH1 0x20
00000c27: MSTORE
00000c28: DUP1
00000c29: PUSH1 0x00
00000c2b: MSTORE
00000c2c: PUSH1 0x40
00000c2e: PUSH1 0x00
00000c30: KECCAK256
00000c31: PUSH1 0x00
00000c33: SWAP2
00000c34: POP
00000c35: SWAP1
00000c36: POP
00000c37: SLOAD
00000c38: DUP2
00000c39: JUMP
00000c3a: JUMPDEST
00000c3b: PUSH1 0x0b
00000c3d: PUSH1 0x00
00000c3f: POP
00000c40: DUP2
00000c41: DUP2
00000c42: SLOAD
00000c43: DUP2
00000c44: LT
00000c45: ISZERO
00000c46: PUSH2 0x0002
00000c49: JUMPI
00000c4a: SWAP1
00000c4b: PUSH1 0x00
00000c4d: MSTORE
00000c4e: PUSH1 0x20
00000c50: PUSH1 0x00
00000c52: KECCAK256
00000c53: SWAP1
00000c54: PUSH1 0x03
00000c56: MUL
00000c57: ADD
00000c58: PUSH1 0x00
00000c5a: JUMPDEST
00000c5b: SWAP2
00000c5c: POP
00000c5d: SWAP1
00000c5e: POP
00000c5f: DUP1
00000c60: PUSH1 0x00
00000c62: ADD
00000c63: PUSH1 0x00
00000c65: SWAP1
00000c66: SLOAD
00000c67: SWAP1
00000c68: PUSH2 0x0100
00000c6b: EXP
00000c6c: SWAP1
00000c6d: DIV
00000c6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c83: AND
00000c84: SWAP1
00000c85: DUP1
00000c86: PUSH1 0x01
00000c88: ADD
00000c89: PUSH1 0x00
00000c8b: SWAP1
00000c8c: SLOAD
00000c8d: SWAP1
00000c8e: PUSH2 0x0100
00000c91: EXP
00000c92: SWAP1
00000c93: DIV
00000c94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ca9: AND
00000caa: SWAP1
00000cab: DUP1
00000cac: PUSH1 0x02
00000cae: ADD
00000caf: PUSH1 0x00
00000cb1: POP
00000cb2: SLOAD
00000cb3: SWAP1
00000cb4: POP
00000cb5: DUP4
00000cb6: JUMP
00000cb7: JUMPDEST
00000cb8: PUSH1 0x00
00000cba: PUSH2 0x0cc2
00000cbd: DUP3
00000cbe: PUSH2 0x0cce
00000cc1: JUMP
00000cc2: JUMPDEST
00000cc3: SWAP1
00000cc4: POP
00000cc5: PUSH2 0x0cc9
00000cc8: JUMP
00000cc9: JUMPDEST
00000cca: SWAP2
00000ccb: SWAP1
00000ccc: POP
00000ccd: JUMP
00000cce: JUMPDEST
00000ccf: PUSH1 0x00
00000cd1: PUSH1 0x00
00000cd3: PUSH2 0x0cfb
00000cd6: PUSH32 0x656c636f696e4462000000000000000000000000000000000000000000000000
00000cf7: PUSH2 0x07bd
00000cfa: JUMP
00000cfb: JUMPDEST
00000cfc: SWAP1
00000cfd: POP
00000cfe: DUP1
00000cff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d14: AND
00000d15: PUSH4 0xf8b2cb4f
00000d1a: DUP5
00000d1b: PUSH1 0x40
00000d1d: MLOAD
00000d1e: DUP3
00000d1f: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000d3d: MUL
00000d3e: DUP2
00000d3f: MSTORE
00000d40: PUSH1 0x04
00000d42: ADD
00000d43: DUP1
00000d44: DUP3
00000d45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d5a: AND
00000d5b: DUP2
00000d5c: MSTORE
00000d5d: PUSH1 0x20
00000d5f: ADD
00000d60: SWAP2
00000d61: POP
00000d62: POP
00000d63: PUSH1 0x20
00000d65: PUSH1 0x40
00000d67: MLOAD
00000d68: DUP1
00000d69: DUP4
00000d6a: SUB
00000d6b: DUP2
00000d6c: PUSH1 0x00
00000d6e: DUP8
00000d6f: PUSH2 0x61da
00000d72: GAS
00000d73: SUB
00000d74: CALL
00000d75: ISZERO
00000d76: PUSH2 0x0002
00000d79: JUMPI
00000d7a: POP
00000d7b: POP
00000d7c: POP
00000d7d: PUSH1 0x40
00000d7f: MLOAD
00000d80: DUP1
00000d81: MLOAD
00000d82: SWAP1
00000d83: PUSH1 0x20
00000d85: ADD
00000d86: POP
00000d87: SWAP2
00000d88: POP
00000d89: PUSH2 0x0d8d
00000d8c: JUMP
00000d8d: JUMPDEST
00000d8e: POP
00000d8f: SWAP2
00000d90: SWAP1
00000d91: POP
00000d92: JUMP
00000d93: JUMPDEST
00000d94: PUSH1 0x00
00000d96: PUSH2 0x0d9e
00000d99: DUP3
00000d9a: PUSH2 0x2312
00000d9d: JUMP
00000d9e: JUMPDEST
00000d9f: SWAP1
00000da0: POP
00000da1: PUSH2 0x0da5
00000da4: JUMP
00000da5: JUMPDEST
00000da6: SWAP2
00000da7: SWAP1
00000da8: POP
00000da9: JUMP
00000daa: JUMPDEST
00000dab: PUSH1 0x00
00000dad: PUSH1 0x00
00000daf: PUSH1 0x00
00000db1: PUSH32 0x63757272656e63794f776e657200000000000000000000000000000000000000
00000dd2: PUSH1 0x00
00000dd4: PUSH1 0x00
00000dd6: PUSH1 0x00
00000dd8: SWAP1
00000dd9: SLOAD
00000dda: SWAP1
00000ddb: PUSH2 0x0100
00000dde: EXP
00000ddf: SWAP1
00000de0: DIV
00000de1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df6: AND
00000df7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e0c: AND
00000e0d: EQ
00000e0e: ISZERO
00000e0f: DUP1
00000e10: ISZERO
00000e11: PUSH2 0x0ed6
00000e14: JUMPI
00000e15: POP
00000e16: PUSH1 0x01
00000e18: PUSH1 0x00
00000e1a: SWAP1
00000e1b: SLOAD
00000e1c: SWAP1
00000e1d: PUSH2 0x0100
00000e20: EXP
00000e21: SWAP1
00000e22: DIV
00000e23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e38: AND
00000e39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e4e: AND
00000e4f: PUSH4 0xa1add510
00000e54: PUSH1 0x02
00000e56: PUSH1 0x00
00000e58: POP
00000e59: SLOAD
00000e5a: DUP4
00000e5b: CALLER
00000e5c: PUSH1 0x40
00000e5e: MLOAD
00000e5f: DUP5
00000e60: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000e7e: MUL
00000e7f: DUP2
00000e80: MSTORE
00000e81: PUSH1 0x04
00000e83: ADD
00000e84: DUP1
00000e85: DUP5
00000e86: DUP2
00000e87: MSTORE
00000e88: PUSH1 0x20
00000e8a: ADD
00000e8b: DUP4
00000e8c: DUP2
00000e8d: MSTORE
00000e8e: PUSH1 0x20
00000e90: ADD
00000e91: DUP3
00000e92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ea7: AND
00000ea8: DUP2
00000ea9: MSTORE
00000eaa: PUSH1 0x20
00000eac: ADD
00000ead: SWAP4
00000eae: POP
00000eaf: POP
00000eb0: POP
00000eb1: POP
00000eb2: PUSH1 0x20
00000eb4: PUSH1 0x40
00000eb6: MLOAD
00000eb7: DUP1
00000eb8: DUP4
00000eb9: SUB
00000eba: DUP2
00000ebb: PUSH1 0x00
00000ebd: DUP8
00000ebe: PUSH2 0x61da
00000ec1: GAS
00000ec2: SUB
00000ec3: CALL
00000ec4: ISZERO
00000ec5: PUSH2 0x0002
00000ec8: JUMPI
00000ec9: POP
00000eca: POP
00000ecb: POP
00000ecc: PUSH1 0x40
00000ece: MLOAD
00000ecf: DUP1
00000ed0: MLOAD
00000ed1: SWAP1
00000ed2: PUSH1 0x20
00000ed4: ADD
00000ed5: POP
00000ed6: JUMPDEST
00000ed7: ISZERO
00000ed8: PUSH2 0x105b
00000edb: JUMPI
00000edc: PUSH1 0x00
00000ede: PUSH1 0x05
00000ee0: PUSH1 0x00
00000ee2: POP
00000ee3: SLOAD
00000ee4: GT
00000ee5: ISZERO
00000ee6: PUSH2 0x0f52
00000ee9: JUMPI
00000eea: CALLER
00000eeb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f00: AND
00000f01: ORIGIN
00000f02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f17: AND
00000f18: PUSH1 0x06
00000f1a: PUSH32 0x4be6c20aede7dc7a2a5f9377a665a16687d76e6c5c6e8016cad407f7d5218425
00000f3b: PUSH1 0x40
00000f3d: MLOAD
00000f3e: DUP1
00000f3f: SWAP1
00000f40: POP
00000f41: PUSH1 0x40
00000f43: MLOAD
00000f44: DUP1
00000f45: SWAP2
00000f46: SUB
00000f47: SWAP1
00000f48: LOG4
00000f49: PUSH1 0x00
00000f4b: SWAP4
00000f4c: POP
00000f4d: POP
00000f4e: PUSH2 0x105d
00000f51: JUMP
00000f52: JUMPDEST
00000f53: PUSH1 0x00
00000f55: DUP6
00000f56: EQ
00000f57: ISZERO
00000f58: PUSH2 0x0f75
00000f5b: JUMPI
00000f5c: PUSH6 0xb5e620f48000
00000f63: PUSH1 0x05
00000f65: PUSH1 0x00
00000f67: POP
00000f68: DUP2
00000f69: SWAP1
00000f6a: SSTORE
00000f6b: POP
00000f6c: PUSH1 0x01
00000f6e: SWAP4
00000f6f: POP
00000f70: POP
00000f71: PUSH2 0x105d
00000f74: JUMP
00000f75: JUMPDEST
00000f76: PUSH2 0x0f9e
00000f79: PUSH32 0x656c636f696e4462000000000000000000000000000000000000000000000000
00000f9a: PUSH2 0x07bd
00000f9d: JUMP
00000f9e: JUMPDEST
00000f9f: SWAP3
00000fa0: POP
00000fa1: DUP3
00000fa2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fb7: AND
00000fb8: PUSH4 0xec2ac54e
00000fbd: DUP8
00000fbe: DUP8
00000fbf: PUSH1 0x00
00000fc1: PUSH1 0x00
00000fc3: PUSH1 0x40
00000fc5: MLOAD
00000fc6: DUP6
00000fc7: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000fe5: MUL
00000fe6: DUP2
00000fe7: MSTORE
00000fe8: PUSH1 0x04
00000fea: ADD
00000feb: DUP1
00000fec: DUP6
00000fed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001002: AND
00001003: DUP2
00001004: MSTORE
00001005: PUSH1 0x20
00001007: ADD
00001008: DUP5
00001009: DUP2
0000100a: MSTORE
0000100b: PUSH1 0x20
0000100d: ADD
0000100e: DUP4
0000100f: PUSH1 0x01
00001011: MUL
00001012: DUP2
00001013: MSTORE
00001014: PUSH1 0x20
00001016: ADD
00001017: DUP3
00001018: DUP2
00001019: MSTORE
0000101a: PUSH1 0x20
0000101c: ADD
0000101d: SWAP5
0000101e: POP
0000101f: POP
00001020: POP
00001021: POP
00001022: POP
00001023: PUSH1 0x20
00001025: PUSH1 0x40
00001027: MLOAD
00001028: DUP1
00001029: DUP4
0000102a: SUB
0000102b: DUP2
0000102c: PUSH1 0x00
0000102e: DUP8
0000102f: PUSH2 0x61da
00001032: GAS
00001033: SUB
00001034: CALL
00001035: ISZERO
00001036: PUSH2 0x0002
00001039: JUMPI
0000103a: POP
0000103b: POP
0000103c: POP
0000103d: PUSH1 0x40
0000103f: MLOAD
00001040: DUP1
00001041: MLOAD
00001042: SWAP1
00001043: PUSH1 0x20
00001045: ADD
00001046: POP
00001047: SWAP2
00001048: POP
00001049: DUP5
0000104a: PUSH1 0x05
0000104c: PUSH1 0x00
0000104e: POP
0000104f: DUP2
00001050: SWAP1
00001051: SSTORE
00001052: POP
00001053: DUP2
00001054: SWAP4
00001055: POP
00001056: POP
00001057: PUSH2 0x105d
0000105a: JUMP
0000105b: JUMPDEST
0000105c: POP
0000105d: JUMPDEST
0000105e: POP
0000105f: POP
00001060: SWAP3
00001061: SWAP2
00001062: POP
00001063: POP
00001064: JUMP
00001065: JUMPDEST
00001066: PUSH32 0x63757272656e63794f776e657200000000000000000000000000000000000000
00001087: PUSH1 0x00
00001089: PUSH1 0x00
0000108b: PUSH1 0x00
0000108d: SWAP1
0000108e: SLOAD
0000108f: SWAP1
00001090: PUSH2 0x0100
00001093: EXP
00001094: SWAP1
00001095: DIV
00001096: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ab: AND
000010ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c1: AND
000010c2: EQ
000010c3: ISZERO
000010c4: DUP1
000010c5: ISZERO
000010c6: PUSH2 0x118b
000010c9: JUMPI
000010ca: POP
000010cb: PUSH1 0x01
000010cd: PUSH1 0x00
000010cf: SWAP1
000010d0: SLOAD
000010d1: SWAP1
000010d2: PUSH2 0x0100
000010d5: EXP
000010d6: SWAP1
000010d7: DIV
000010d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ed: AND
000010ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001103: AND
00001104: PUSH4 0xa1add510
00001109: PUSH1 0x02
0000110b: PUSH1 0x00
0000110d: POP
0000110e: SLOAD
0000110f: DUP4
00001110: CALLER
00001111: PUSH1 0x40
00001113: MLOAD
00001114: DUP5
00001115: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001133: MUL
00001134: DUP2
00001135: MSTORE
00001136: PUSH1 0x04
00001138: ADD
00001139: DUP1
0000113a: DUP5
0000113b: DUP2
0000113c: MSTORE
0000113d: PUSH1 0x20
0000113f: ADD
00001140: DUP4
00001141: DUP2
00001142: MSTORE
00001143: PUSH1 0x20
00001145: ADD
00001146: DUP3
00001147: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000115c: AND
0000115d: DUP2
0000115e: MSTORE
0000115f: PUSH1 0x20
00001161: ADD
00001162: SWAP4
00001163: POP
00001164: POP
00001165: POP
00001166: POP
00001167: PUSH1 0x20
00001169: PUSH1 0x40
0000116b: MLOAD
0000116c: DUP1
0000116d: DUP4
0000116e: SUB
0000116f: DUP2
00001170: PUSH1 0x00
00001172: DUP8
00001173: PUSH2 0x61da
00001176: GAS
00001177: SUB
00001178: CALL
00001179: ISZERO
0000117a: PUSH2 0x0002
0000117d: JUMPI
0000117e: POP
0000117f: POP
00001180: POP
00001181: PUSH1 0x40
00001183: MLOAD
00001184: DUP1
00001185: MLOAD
00001186: SWAP1
00001187: PUSH1 0x20
00001189: ADD
0000118a: POP
0000118b: JUMPDEST
0000118c: ISZERO
0000118d: PUSH2 0x11bc
00001190: JUMPI
00001191: DUP2
00001192: PUSH1 0x09
00001194: PUSH1 0x00
00001196: PUSH2 0x0100
00001199: EXP
0000119a: DUP2
0000119b: SLOAD
0000119c: DUP2
0000119d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011b2: MUL
000011b3: NOT
000011b4: AND
000011b5: SWAP1
000011b6: DUP4
000011b7: MUL
000011b8: OR
000011b9: SWAP1
000011ba: SSTORE
000011bb: POP
000011bc: JUMPDEST
000011bd: POP
000011be: JUMPDEST
000011bf: POP
000011c0: JUMP
000011c1: JUMPDEST
000011c2: PUSH1 0x00
000011c4: PUSH1 0x00
000011c6: PUSH1 0x00
000011c8: PUSH1 0x00
000011ca: PUSH1 0x00
000011cc: PUSH32 0x63757272656e63794f776e657200000000000000000000000000000000000000
000011ed: PUSH1 0x00
000011ef: PUSH1 0x00
000011f1: PUSH1 0x00
000011f3: SWAP1
000011f4: SLOAD
000011f5: SWAP1
000011f6: PUSH2 0x0100
000011f9: EXP
000011fa: SWAP1
000011fb: DIV
000011fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001211: AND
00001212: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001227: AND
00001228: EQ
00001229: ISZERO
0000122a: DUP1
0000122b: ISZERO
0000122c: PUSH2 0x12f1
0000122f: JUMPI
00001230: POP
00001231: PUSH1 0x01
00001233: PUSH1 0x00
00001235: SWAP1
00001236: SLOAD
00001237: SWAP1
00001238: PUSH2 0x0100
0000123b: EXP
0000123c: SWAP1
0000123d: DIV
0000123e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001253: AND
00001254: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001269: AND
0000126a: PUSH4 0xa1add510
0000126f: PUSH1 0x02
00001271: PUSH1 0x00
00001273: POP
00001274: SLOAD
00001275: DUP4
00001276: CALLER
00001277: PUSH1 0x40
00001279: MLOAD
0000127a: DUP5
0000127b: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001299: MUL
0000129a: DUP2
0000129b: MSTORE
0000129c: PUSH1 0x04
0000129e: ADD
0000129f: DUP1
000012a0: DUP5
000012a1: DUP2
000012a2: MSTORE
000012a3: PUSH1 0x20
000012a5: ADD
000012a6: DUP4
000012a7: DUP2
000012a8: MSTORE
000012a9: PUSH1 0x20
000012ab: ADD
000012ac: DUP3
000012ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012c2: AND
000012c3: DUP2
000012c4: MSTORE
000012c5: PUSH1 0x20
000012c7: ADD
000012c8: SWAP4
000012c9: POP
000012ca: POP
000012cb: POP
000012cc: POP
000012cd: PUSH1 0x20
000012cf: PUSH1 0x40
000012d1: MLOAD
000012d2: DUP1
000012d3: DUP4
000012d4: SUB
000012d5: DUP2
000012d6: PUSH1 0x00
000012d8: DUP8
000012d9: PUSH2 0x61da
000012dc: GAS
000012dd: SUB
000012de: CALL
000012df: ISZERO
000012e0: PUSH2 0x0002
000012e3: JUMPI
000012e4: POP
000012e5: POP
000012e6: POP
000012e7: PUSH1 0x40
000012e9: MLOAD
000012ea: DUP1
000012eb: MLOAD
000012ec: SWAP1
000012ed: PUSH1 0x20
000012ef: ADD
000012f0: POP
000012f1: JUMPDEST
000012f2: ISZERO
000012f3: PUSH2 0x153f
000012f6: JUMPI
000012f7: PUSH1 0x00
000012f9: SWAP5
000012fa: POP
000012fb: PUSH1 0x00
000012fd: SWAP4
000012fe: POP
000012ff: JUMPDEST
00001300: DUP7
00001301: MLOAD
00001302: DUP5
00001303: PUSH1 0xff
00001305: AND
00001306: LT
00001307: ISZERO
00001308: PUSH2 0x13be
0000130b: JUMPI
0000130c: PUSH1 0x06
0000130e: PUSH1 0x00
00001310: POP
00001311: SLOAD
00001312: DUP8
00001313: DUP6
00001314: DUP2
00001315: MLOAD
00001316: DUP2
00001317: LT
00001318: ISZERO
00001319: PUSH2 0x0002
0000131c: JUMPI
0000131d: SWAP1
0000131e: PUSH1 0x20
00001320: ADD
00001321: SWAP1
00001322: PUSH1 0x20
00001324: MUL
00001325: ADD
00001326: MLOAD
00001327: LT
00001328: ISZERO
00001329: PUSH2 0x1395
0000132c: JUMPI
0000132d: CALLER
0000132e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001343: AND
00001344: ORIGIN
00001345: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000135a: AND
0000135b: PUSH1 0x07
0000135d: PUSH32 0x4be6c20aede7dc7a2a5f9377a665a16687d76e6c5c6e8016cad407f7d5218425
0000137e: PUSH1 0x40
00001380: MLOAD
00001381: DUP1
00001382: SWAP1
00001383: POP
00001384: PUSH1 0x40
00001386: MLOAD
00001387: DUP1
00001388: SWAP2
00001389: SUB
0000138a: SWAP1
0000138b: LOG4
0000138c: PUSH1 0x00
0000138e: SWAP6
0000138f: POP
00001390: POP
00001391: PUSH2 0x1541
00001394: JUMP
00001395: JUMPDEST
00001396: DUP7
00001397: DUP5
00001398: DUP2
00001399: MLOAD
0000139a: DUP2
0000139b: LT
0000139c: ISZERO
0000139d: PUSH2 0x0002
000013a0: JUMPI
000013a1: SWAP1
000013a2: PUSH1 0x20
000013a4: ADD
000013a5: SWAP1
000013a6: PUSH1 0x20
000013a8: MUL
000013a9: ADD
000013aa: MLOAD
000013ab: DUP6
000013ac: ADD
000013ad: SWAP5
000013ae: POP
000013af: DUP5
000013b0: POP
000013b1: JUMPDEST
000013b2: DUP4
000013b3: DUP1
000013b4: PUSH1 0x01
000013b6: ADD
000013b7: SWAP5
000013b8: POP
000013b9: POP
000013ba: PUSH2 0x12ff
000013bd: JUMP
000013be: JUMPDEST
000013bf: PUSH2 0x13e7
000013c2: PUSH32 0x656c636f696e4462000000000000000000000000000000000000000000000000
000013e3: PUSH2 0x07bd
000013e6: JUMP
000013e7: JUMPDEST
000013e8: SWAP3
000013e9: POP
000013ea: DUP5
000013eb: DUP4
000013ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001401: AND
00001402: PUSH4 0xf8b2cb4f
00001407: ORIGIN
00001408: PUSH1 0x40
0000140a: MLOAD
0000140b: DUP3
0000140c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000142a: MUL
0000142b: DUP2
0000142c: MSTORE
0000142d: PUSH1 0x04
0000142f: ADD
00001430: DUP1
00001431: DUP3
00001432: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001447: AND
00001448: DUP2
00001449: MSTORE
0000144a: PUSH1 0x20
0000144c: ADD
0000144d: SWAP2
0000144e: POP
0000144f: POP
00001450: PUSH1 0x20
00001452: PUSH1 0x40
00001454: MLOAD
00001455: DUP1
00001456: DUP4
00001457: SUB
00001458: DUP2
00001459: PUSH1 0x00
0000145b: DUP8
0000145c: PUSH2 0x61da
0000145f: GAS
00001460: SUB
00001461: CALL
00001462: ISZERO
00001463: PUSH2 0x0002
00001466: JUMPI
00001467: POP
00001468: POP
00001469: POP
0000146a: PUSH1 0x40
0000146c: MLOAD
0000146d: DUP1
0000146e: MLOAD
0000146f: SWAP1
00001470: PUSH1 0x20
00001472: ADD
00001473: POP
00001474: LT
00001475: ISZERO
00001476: PUSH2 0x14e2
00001479: JUMPI
0000147a: CALLER
0000147b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001490: AND
00001491: ORIGIN
00001492: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014a7: AND
000014a8: PUSH1 0x08
000014aa: PUSH32 0x4be6c20aede7dc7a2a5f9377a665a16687d76e6c5c6e8016cad407f7d5218425
000014cb: PUSH1 0x40
000014cd: MLOAD
000014ce: DUP1
000014cf: SWAP1
000014d0: POP
000014d1: PUSH1 0x40
000014d3: MLOAD
000014d4: DUP1
000014d5: SWAP2
000014d6: SUB
000014d7: SWAP1
000014d8: LOG4
000014d9: PUSH1 0x00
000014db: SWAP6
000014dc: POP
000014dd: POP
000014de: PUSH2 0x1541
000014e1: JUMP
000014e2: JUMPDEST
000014e3: PUSH1 0x00
000014e5: SWAP2
000014e6: POP
000014e7: JUMPDEST
000014e8: DUP8
000014e9: MLOAD
000014ea: DUP3
000014eb: PUSH1 0xff
000014ed: AND
000014ee: LT
000014ef: ISZERO
000014f0: PUSH2 0x1535
000014f3: JUMPI
000014f4: PUSH2 0x1527
000014f7: DUP4
000014f8: ORIGIN
000014f9: DUP11
000014fa: DUP6
000014fb: DUP2
000014fc: MLOAD
000014fd: DUP2
000014fe: LT
000014ff: ISZERO
00001500: PUSH2 0x0002
00001503: JUMPI
00001504: SWAP1
00001505: PUSH1 0x20
00001507: ADD
00001508: SWAP1
00001509: PUSH1 0x20
0000150b: MUL
0000150c: ADD
0000150d: MLOAD
0000150e: DUP11
0000150f: DUP7
00001510: DUP2
00001511: MLOAD
00001512: DUP2
00001513: LT
00001514: ISZERO
00001515: PUSH2 0x0002
00001518: JUMPI
00001519: SWAP1
0000151a: PUSH1 0x20
0000151c: ADD
0000151d: SWAP1
0000151e: PUSH1 0x20
00001520: MUL
00001521: ADD
00001522: MLOAD
00001523: PUSH2 0x2433
00001526: JUMP
00001527: JUMPDEST
00001528: JUMPDEST
00001529: DUP2
0000152a: DUP1
0000152b: PUSH1 0x01
0000152d: ADD
0000152e: SWAP3
0000152f: POP
00001530: POP
00001531: PUSH2 0x14e7
00001534: JUMP
00001535: JUMPDEST
00001536: PUSH1 0x01
00001538: SWAP6
00001539: POP
0000153a: POP
0000153b: PUSH2 0x1541
0000153e: JUMP
0000153f: JUMPDEST
00001540: POP
00001541: JUMPDEST
00001542: POP
00001543: POP
00001544: POP
00001545: POP
00001546: SWAP3
00001547: SWAP2
00001548: POP
00001549: POP
0000154a: JUMP
0000154b: JUMPDEST
0000154c: PUSH1 0x00
0000154e: PUSH1 0x00
00001550: PUSH32 0x7365637572697479000000000000000000000000000000000000000000000000
00001571: PUSH1 0x00
00001573: PUSH1 0x00
00001575: PUSH1 0x00
00001577: SWAP1
00001578: SLOAD
00001579: SWAP1
0000157a: PUSH2 0x0100
0000157d: EXP
0000157e: SWAP1
0000157f: DIV
00001580: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001595: AND
00001596: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ab: AND
000015ac: EQ
000015ad: ISZERO
000015ae: DUP1
000015af: ISZERO
000015b0: PUSH2 0x1675
000015b3: JUMPI
000015b4: POP
000015b5: PUSH1 0x01
000015b7: PUSH1 0x00
000015b9: SWAP1
000015ba: SLOAD
000015bb: SWAP1
000015bc: PUSH2 0x0100
000015bf: EXP
000015c0: SWAP1
000015c1: DIV
000015c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d7: AND
000015d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ed: AND
000015ee: PUSH4 0xa1add510
000015f3: PUSH1 0x02
000015f5: PUSH1 0x00
000015f7: POP
000015f8: SLOAD
000015f9: DUP4
000015fa: CALLER
000015fb: PUSH1 0x40
000015fd: MLOAD
000015fe: DUP5
000015ff: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000161d: MUL
0000161e: DUP2
0000161f: MSTORE
00001620: PUSH1 0x04
00001622: ADD
00001623: DUP1
00001624: DUP5
00001625: DUP2
00001626: MSTORE
00001627: PUSH1 0x20
00001629: ADD
0000162a: DUP4
0000162b: DUP2
0000162c: MSTORE
0000162d: PUSH1 0x20
0000162f: ADD
00001630: DUP3
00001631: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001646: AND
00001647: DUP2
00001648: MSTORE
00001649: PUSH1 0x20
0000164b: ADD
0000164c: SWAP4
0000164d: POP
0000164e: POP
0000164f: POP
00001650: POP
00001651: PUSH1 0x20
00001653: PUSH1 0x40
00001655: MLOAD
00001656: DUP1
00001657: DUP4
00001658: SUB
00001659: DUP2
0000165a: PUSH1 0x00
0000165c: DUP8
0000165d: PUSH2 0x61da
00001660: GAS
00001661: SUB
00001662: CALL
00001663: ISZERO
00001664: PUSH2 0x0002
00001667: JUMPI
00001668: POP
00001669: POP
0000166a: POP
0000166b: PUSH1 0x40
0000166d: MLOAD
0000166e: DUP1
0000166f: MLOAD
00001670: SWAP1
00001671: PUSH1 0x20
00001673: ADD
00001674: POP
00001675: JUMPDEST
00001676: ISZERO
00001677: PUSH2 0x178e
0000167a: JUMPI
0000167b: DUP6
0000167c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001691: AND
00001692: ORIGIN
00001693: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016a8: AND
000016a9: EQ
000016aa: ISZERO
000016ab: DUP1
000016ac: PUSH2 0x16e1
000016af: JUMPI
000016b0: POP
000016b1: DUP6
000016b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016c7: AND
000016c8: CALLER
000016c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016de: AND
000016df: EQ
000016e0: ISZERO
000016e1: JUMPDEST
000016e2: ISZERO
000016e3: PUSH2 0x174f
000016e6: JUMPI
000016e7: CALLER
000016e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016fd: AND
000016fe: ORIGIN
000016ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001714: AND
00001715: PUSH1 0x09
00001717: PUSH32 0x4be6c20aede7dc7a2a5f9377a665a16687d76e6c5c6e8016cad407f7d5218425
00001738: PUSH1 0x40
0000173a: MLOAD
0000173b: DUP1
0000173c: SWAP1
0000173d: POP
0000173e: PUSH1 0x40
00001740: MLOAD
00001741: DUP1
00001742: SWAP2
00001743: SUB
00001744: SWAP1
00001745: LOG4
00001746: PUSH1 0x00
00001748: SWAP3
00001749: POP
0000174a: POP
0000174b: PUSH2 0x1790
0000174e: JUMP
0000174f: JUMPDEST
00001750: PUSH2 0x1778
00001753: PUSH32 0x656c636f696e4462000000000000000000000000000000000000000000000000
00001774: PUSH2 0x07bd
00001777: JUMP
00001778: JUMPDEST
00001779: SWAP2
0000177a: POP
0000177b: PUSH2 0x1786
0000177e: DUP3
0000177f: DUP8
00001780: DUP8
00001781: DUP8
00001782: PUSH2 0x27e8
00001785: JUMP
00001786: JUMPDEST
00001787: SWAP3
00001788: POP
00001789: POP
0000178a: PUSH2 0x1790
0000178d: JUMP
0000178e: JUMPDEST
0000178f: POP
00001790: JUMPDEST
00001791: POP
00001792: SWAP4
00001793: SWAP3
00001794: POP
00001795: POP
00001796: POP
00001797: JUMP
00001798: JUMPDEST
00001799: PUSH1 0x00
0000179b: PUSH1 0x00
0000179d: PUSH32 0x7365637572697479000000000000000000000000000000000000000000000000
000017be: PUSH1 0x00
000017c0: PUSH1 0x00
000017c2: PUSH1 0x00
000017c4: SWAP1
000017c5: SLOAD
000017c6: SWAP1
000017c7: PUSH2 0x0100
000017ca: EXP
000017cb: SWAP1
000017cc: DIV
000017cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017e2: AND
000017e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017f8: AND
000017f9: EQ
000017fa: ISZERO
000017fb: DUP1
000017fc: ISZERO
000017fd: PUSH2 0x18c2
00001800: JUMPI
00001801: POP
00001802: PUSH1 0x01
00001804: PUSH1 0x00
00001806: SWAP1
00001807: SLOAD
00001808: SWAP1
00001809: PUSH2 0x0100
0000180c: EXP
0000180d: SWAP1
0000180e: DIV
0000180f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001824: AND
00001825: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000183a: AND
0000183b: PUSH4 0xa1add510
00001840: PUSH1 0x02
00001842: PUSH1 0x00
00001844: POP
00001845: SLOAD
00001846: DUP4
00001847: CALLER
00001848: PUSH1 0x40
0000184a: MLOAD
0000184b: DUP5
0000184c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000186a: MUL
0000186b: DUP2
0000186c: MSTORE
0000186d: PUSH1 0x04
0000186f: ADD
00001870: DUP1
00001871: DUP5
00001872: DUP2
00001873: MSTORE
00001874: PUSH1 0x20
00001876: ADD
00001877: DUP4
00001878: DUP2
00001879: MSTORE
0000187a: PUSH1 0x20
0000187c: ADD
0000187d: DUP3
0000187e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001893: AND
00001894: DUP2
00001895: MSTORE
00001896: PUSH1 0x20
00001898: ADD
00001899: SWAP4
0000189a: POP
0000189b: POP
0000189c: POP
0000189d: POP
0000189e: PUSH1 0x20
000018a0: PUSH1 0x40
000018a2: MLOAD
000018a3: DUP1
000018a4: DUP4
000018a5: SUB
000018a6: DUP2
000018a7: PUSH1 0x00
000018a9: DUP8
000018aa: PUSH2 0x61da
000018ad: GAS
000018ae: SUB
000018af: CALL
000018b0: ISZERO
000018b1: PUSH2 0x0002
000018b4: JUMPI
000018b5: POP
000018b6: POP
000018b7: POP
000018b8: PUSH1 0x40
000018ba: MLOAD
000018bb: DUP1
000018bc: MLOAD
000018bd: SWAP1
000018be: PUSH1 0x20
000018c0: ADD
000018c1: POP
000018c2: JUMPDEST
000018c3: ISZERO
000018c4: PUSH2 0x1906
000018c7: JUMPI
000018c8: PUSH2 0x18f0
000018cb: PUSH32 0x656c636f696e4462000000000000000000000000000000000000000000000000
000018ec: PUSH2 0x07bd
000018ef: JUMP
000018f0: JUMPDEST
000018f1: SWAP2
000018f2: POP
000018f3: PUSH2 0x18fe
000018f6: DUP3
000018f7: ORIGIN
000018f8: DUP8
000018f9: DUP8
000018fa: PUSH2 0x27e8
000018fd: JUMP
000018fe: JUMPDEST
000018ff: SWAP3
00001900: POP
00001901: POP
00001902: PUSH2 0x1908
00001905: JUMP
00001906: JUMPDEST
00001907: POP
00001908: JUMPDEST
00001909: POP
0000190a: SWAP3
0000190b: SWAP2
0000190c: POP
0000190d: POP
0000190e: JUMP
0000190f: JUMPDEST
00001910: PUSH1 0x00
00001912: PUSH1 0x00
00001914: PUSH1 0x00
00001916: PUSH1 0x00
00001918: PUSH1 0x00
0000191a: PUSH1 0x00
0000191c: PUSH1 0x00
0000191e: PUSH32 0x7365637572697479000000000000000000000000000000000000000000000000
0000193f: PUSH1 0x00
00001941: PUSH1 0x00
00001943: PUSH1 0x00
00001945: SWAP1
00001946: SLOAD
00001947: SWAP1
00001948: PUSH2 0x0100
0000194b: EXP
0000194c: SWAP1
0000194d: DIV
0000194e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001963: AND
00001964: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001979: AND
0000197a: EQ
0000197b: ISZERO
0000197c: DUP1
0000197d: ISZERO
0000197e: PUSH2 0x1a43
00001981: JUMPI
00001982: POP
00001983: PUSH1 0x01
00001985: PUSH1 0x00
00001987: SWAP1
00001988: SLOAD
00001989: SWAP1
0000198a: PUSH2 0x0100
0000198d: EXP
0000198e: SWAP1
0000198f: DIV
00001990: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019a5: AND
000019a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019bb: AND
000019bc: PUSH4 0xa1add510
000019c1: PUSH1 0x02
000019c3: PUSH1 0x00
000019c5: POP
000019c6: SLOAD
000019c7: DUP4
000019c8: CALLER
000019c9: PUSH1 0x40
000019cb: MLOAD
000019cc: DUP5
000019cd: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000019eb: MUL
000019ec: DUP2
000019ed: MSTORE
000019ee: PUSH1 0x04
000019f0: ADD
000019f1: DUP1
000019f2: DUP5
000019f3: DUP2
000019f4: MSTORE
000019f5: PUSH1 0x20
000019f7: ADD
000019f8: DUP4
000019f9: DUP2
000019fa: MSTORE
000019fb: PUSH1 0x20
000019fd: ADD
000019fe: DUP3
000019ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a14: AND
00001a15: DUP2
00001a16: MSTORE
00001a17: PUSH1 0x20
00001a19: ADD
00001a1a: SWAP4
00001a1b: POP
00001a1c: POP
00001a1d: POP
00001a1e: POP
00001a1f: PUSH1 0x20
00001a21: PUSH1 0x40
00001a23: MLOAD
00001a24: DUP1
00001a25: DUP4
00001a26: SUB
00001a27: DUP2
00001a28: PUSH1 0x00
00001a2a: DUP8
00001a2b: PUSH2 0x61da
00001a2e: GAS
00001a2f: SUB
00001a30: CALL
00001a31: ISZERO
00001a32: PUSH2 0x0002
00001a35: JUMPI
00001a36: POP
00001a37: POP
00001a38: POP
00001a39: PUSH1 0x40
00001a3b: MLOAD
00001a3c: DUP1
00001a3d: MLOAD
00001a3e: SWAP1
00001a3f: PUSH1 0x20
00001a41: ADD
00001a42: POP
00001a43: JUMPDEST
00001a44: ISZERO
00001a45: PUSH2 0x1e85
00001a48: JUMPI
00001a49: DUP11
00001a4a: DUP11
00001a4b: PUSH1 0x40
00001a4d: MLOAD
00001a4e: DUP1
00001a4f: DUP4
00001a50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a65: AND
00001a66: PUSH13 0x01000000000000000000000000
00001a74: MUL
00001a75: DUP2
00001a76: MSTORE
00001a77: PUSH1 0x14
00001a79: ADD
00001a7a: DUP3
00001a7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a90: AND
00001a91: PUSH13 0x01000000000000000000000000
00001a9f: MUL
00001aa0: DUP2
00001aa1: MSTORE
00001aa2: PUSH1 0x14
00001aa4: ADD
00001aa5: SWAP3
00001aa6: POP
00001aa7: POP
00001aa8: POP
00001aa9: PUSH1 0x40
00001aab: MLOAD
00001aac: DUP1
00001aad: SWAP2
00001aae: SUB
00001aaf: SWAP1
00001ab0: KECCAK256
00001ab1: SWAP7
00001ab2: POP
00001ab3: PUSH1 0x0a
00001ab5: PUSH1 0x00
00001ab7: POP
00001ab8: PUSH1 0x00
00001aba: DUP9
00001abb: DUP2
00001abc: MSTORE
00001abd: PUSH1 0x20
00001abf: ADD
00001ac0: SWAP1
00001ac1: DUP2
00001ac2: MSTORE
00001ac3: PUSH1 0x20
00001ac5: ADD
00001ac6: PUSH1 0x00
00001ac8: KECCAK256
00001ac9: PUSH1 0x00
00001acb: POP
00001acc: SLOAD
00001acd: SWAP6
00001ace: POP
00001acf: PUSH1 0x00
00001ad1: DUP7
00001ad2: EQ
00001ad3: ISZERO
00001ad4: PUSH2 0x1b40
00001ad7: JUMPI
00001ad8: CALLER
00001ad9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aee: AND
00001aef: ORIGIN
00001af0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b05: AND
00001b06: PUSH1 0x0c
00001b08: PUSH32 0x4be6c20aede7dc7a2a5f9377a665a16687d76e6c5c6e8016cad407f7d5218425
00001b29: PUSH1 0x40
00001b2b: MLOAD
00001b2c: DUP1
00001b2d: SWAP1
00001b2e: POP
00001b2f: PUSH1 0x40
00001b31: MLOAD
00001b32: DUP1
00001b33: SWAP2
00001b34: SUB
00001b35: SWAP1
00001b36: LOG4
00001b37: PUSH1 0x00
00001b39: SWAP8
00001b3a: POP
00001b3b: POP
00001b3c: PUSH2 0x1e87
00001b3f: JUMP
00001b40: JUMPDEST
00001b41: DUP9
00001b42: PUSH1 0x0b
00001b44: PUSH1 0x00
00001b46: POP
00001b47: DUP8
00001b48: DUP2
00001b49: SLOAD
00001b4a: DUP2
00001b4b: LT
00001b4c: ISZERO
00001b4d: PUSH2 0x0002
00001b50: JUMPI
00001b51: SWAP1
00001b52: PUSH1 0x00
00001b54: MSTORE
00001b55: PUSH1 0x20
00001b57: PUSH1 0x00
00001b59: KECCAK256
00001b5a: SWAP1
00001b5b: PUSH1 0x03
00001b5d: MUL
00001b5e: ADD
00001b5f: PUSH1 0x00
00001b61: JUMPDEST
00001b62: POP
00001b63: PUSH1 0x02
00001b65: ADD
00001b66: PUSH1 0x00
00001b68: POP
00001b69: SLOAD
00001b6a: LT
00001b6b: ISZERO
00001b6c: PUSH2 0x1bd8
00001b6f: JUMPI
00001b70: CALLER
00001b71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b86: AND
00001b87: ORIGIN
00001b88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b9d: AND
00001b9e: PUSH1 0x0d
00001ba0: PUSH32 0x4be6c20aede7dc7a2a5f9377a665a16687d76e6c5c6e8016cad407f7d5218425
00001bc1: PUSH1 0x40
00001bc3: MLOAD
00001bc4: DUP1
00001bc5: SWAP1
00001bc6: POP
00001bc7: PUSH1 0x40
00001bc9: MLOAD
00001bca: DUP1
00001bcb: SWAP2
00001bcc: SUB
00001bcd: SWAP1
00001bce: LOG4
00001bcf: PUSH1 0x00
00001bd1: SWAP8
00001bd2: POP
00001bd3: POP
00001bd4: PUSH2 0x1e87
00001bd7: JUMP
00001bd8: JUMPDEST
00001bd9: PUSH2 0x1c01
00001bdc: PUSH32 0x656c636f696e4462000000000000000000000000000000000000000000000000
00001bfd: PUSH2 0x07bd
00001c00: JUMP
00001c01: JUMPDEST
00001c02: SWAP5
00001c03: POP
00001c04: PUSH2 0x1c0f
00001c07: DUP6
00001c08: DUP13
00001c09: DUP13
00001c0a: DUP13
00001c0b: PUSH2 0x26d6
00001c0e: JUMP
00001c0f: JUMPDEST
00001c10: SWAP4
00001c11: POP
00001c12: PUSH1 0x00
00001c14: DUP5
00001c15: SLT
00001c16: ISZERO
00001c17: PUSH2 0x1c83
00001c1a: JUMPI
00001c1b: CALLER
00001c1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c31: AND
00001c32: ORIGIN
00001c33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c48: AND
00001c49: PUSH1 0x0e
00001c4b: PUSH32 0x4be6c20aede7dc7a2a5f9377a665a16687d76e6c5c6e8016cad407f7d5218425
00001c6c: PUSH1 0x40
00001c6e: MLOAD
00001c6f: DUP1
00001c70: SWAP1
00001c71: POP
00001c72: PUSH1 0x40
00001c74: MLOAD
00001c75: DUP1
00001c76: SWAP2
00001c77: SUB
00001c78: SWAP1
00001c79: LOG4
00001c7a: PUSH1 0x00
00001c7c: SWAP8
00001c7d: POP
00001c7e: POP
00001c7f: PUSH2 0x1e87
00001c82: JUMP
00001c83: JUMPDEST
00001c84: DUP9
00001c85: PUSH1 0x0b
00001c87: PUSH1 0x00
00001c89: POP
00001c8a: DUP8
00001c8b: DUP2
00001c8c: SLOAD
00001c8d: DUP2
00001c8e: LT
00001c8f: ISZERO
00001c90: PUSH2 0x0002
00001c93: JUMPI
00001c94: SWAP1
00001c95: PUSH1 0x00
00001c97: MSTORE
00001c98: PUSH1 0x20
00001c9a: PUSH1 0x00
00001c9c: KECCAK256
00001c9d: SWAP1
00001c9e: PUSH1 0x03
00001ca0: MUL
00001ca1: ADD
00001ca2: PUSH1 0x00
00001ca4: JUMPDEST
00001ca5: POP
00001ca6: PUSH1 0x02
00001ca8: ADD
00001ca9: PUSH1 0x00
00001cab: DUP3
00001cac: DUP3
00001cad: DUP3
00001cae: POP
00001caf: SLOAD
00001cb0: SUB
00001cb1: SWAP3
00001cb2: POP
00001cb3: POP
00001cb4: DUP2
00001cb5: SWAP1
00001cb6: SSTORE
00001cb7: POP
00001cb8: PUSH2 0x1ce0
00001cbb: PUSH32 0x656c636f696e506f530000000000000000000000000000000000000000000000
00001cdc: PUSH2 0x07bd
00001cdf: JUMP
00001ce0: JUMPDEST
00001ce1: SWAP3
00001ce2: POP
00001ce3: PUSH1 0x00
00001ce5: DUP4
00001ce6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cfb: AND
00001cfc: EQ
00001cfd: ISZERO
00001cfe: ISZERO
00001cff: PUSH2 0x1d8a
00001d02: JUMPI
00001d03: DUP3
00001d04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d19: AND
00001d1a: PUSH4 0xa9059cbb
00001d1f: DUP13
00001d20: DUP7
00001d21: PUSH1 0x40
00001d23: MLOAD
00001d24: DUP4
00001d25: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001d43: MUL
00001d44: DUP2
00001d45: MSTORE
00001d46: PUSH1 0x04
00001d48: ADD
00001d49: DUP1
00001d4a: DUP4
00001d4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d60: AND
00001d61: DUP2
00001d62: MSTORE
00001d63: PUSH1 0x20
00001d65: ADD
00001d66: DUP3
00001d67: DUP2
00001d68: MSTORE
00001d69: PUSH1 0x20
00001d6b: ADD
00001d6c: SWAP3
00001d6d: POP
00001d6e: POP
00001d6f: POP
00001d70: PUSH1 0x00
00001d72: PUSH1 0x40
00001d74: MLOAD
00001d75: DUP1
00001d76: DUP4
00001d77: SUB
00001d78: DUP2
00001d79: PUSH1 0x00
00001d7b: DUP8
00001d7c: PUSH2 0x61da
00001d7f: GAS
00001d80: SUB
00001d81: CALL
00001d82: ISZERO
00001d83: PUSH2 0x0002
00001d86: JUMPI
00001d87: POP
00001d88: POP
00001d89: POP
00001d8a: JUMPDEST
00001d8b: PUSH2 0x1db3
00001d8e: PUSH32 0x656c636f696e506f540000000000000000000000000000000000000000000000
00001daf: PUSH2 0x07bd
00001db2: JUMP
00001db3: JUMPDEST
00001db4: SWAP2
00001db5: POP
00001db6: PUSH1 0x00
00001db8: DUP3
00001db9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dce: AND
00001dcf: EQ
00001dd0: ISZERO
00001dd1: ISZERO
00001dd2: PUSH2 0x1e7b
00001dd5: JUMPI
00001dd6: DUP2
00001dd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dec: AND
00001ded: PUSH4 0xbeabacc8
00001df2: DUP13
00001df3: DUP13
00001df4: DUP13
00001df5: PUSH1 0x40
00001df7: MLOAD
00001df8: DUP5
00001df9: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001e17: MUL
00001e18: DUP2
00001e19: MSTORE
00001e1a: PUSH1 0x04
00001e1c: ADD
00001e1d: DUP1
00001e1e: DUP5
00001e1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e34: AND
00001e35: DUP2
00001e36: MSTORE
00001e37: PUSH1 0x20
00001e39: ADD
00001e3a: DUP4
00001e3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e50: AND
00001e51: DUP2
00001e52: MSTORE
00001e53: PUSH1 0x20
00001e55: ADD
00001e56: DUP3
00001e57: DUP2
00001e58: MSTORE
00001e59: PUSH1 0x20
00001e5b: ADD
00001e5c: SWAP4
00001e5d: POP
00001e5e: POP
00001e5f: POP
00001e60: POP
00001e61: PUSH1 0x00
00001e63: PUSH1 0x40
00001e65: MLOAD
00001e66: DUP1
00001e67: DUP4
00001e68: SUB
00001e69: DUP2
00001e6a: PUSH1 0x00
00001e6c: DUP8
00001e6d: PUSH2 0x61da
00001e70: GAS
00001e71: SUB
00001e72: CALL
00001e73: ISZERO
00001e74: PUSH2 0x0002
00001e77: JUMPI
00001e78: POP
00001e79: POP
00001e7a: POP
00001e7b: JUMPDEST
00001e7c: PUSH1 0x01
00001e7e: SWAP8
00001e7f: POP
00001e80: POP
00001e81: PUSH2 0x1e87
00001e84: JUMP
00001e85: JUMPDEST
00001e86: POP
00001e87: JUMPDEST
00001e88: POP
00001e89: POP
00001e8a: POP
00001e8b: POP
00001e8c: POP
00001e8d: POP
00001e8e: SWAP4
00001e8f: SWAP3
00001e90: POP
00001e91: POP
00001e92: POP
00001e93: JUMP
00001e94: JUMPDEST
00001e95: PUSH1 0x00
00001e97: PUSH1 0x00
00001e99: PUSH32 0x7265636f76657279000000000000000000000000000000000000000000000000
00001eba: PUSH1 0x00
00001ebc: PUSH1 0x00
00001ebe: PUSH1 0x00
00001ec0: SWAP1
00001ec1: SLOAD
00001ec2: SWAP1
00001ec3: PUSH2 0x0100
00001ec6: EXP
00001ec7: SWAP1
00001ec8: DIV
00001ec9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ede: AND
00001edf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ef4: AND
00001ef5: EQ
00001ef6: ISZERO
00001ef7: DUP1
00001ef8: ISZERO
00001ef9: PUSH2 0x1fbe
00001efc: JUMPI
00001efd: POP
00001efe: PUSH1 0x01
00001f00: PUSH1 0x00
00001f02: SWAP1
00001f03: SLOAD
00001f04: SWAP1
00001f05: PUSH2 0x0100
00001f08: EXP
00001f09: SWAP1
00001f0a: DIV
00001f0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f20: AND
00001f21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f36: AND
00001f37: PUSH4 0xa1add510
00001f3c: PUSH1 0x02
00001f3e: PUSH1 0x00
00001f40: POP
00001f41: SLOAD
00001f42: DUP4
00001f43: CALLER
00001f44: PUSH1 0x40
00001f46: MLOAD
00001f47: DUP5
00001f48: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001f66: MUL
00001f67: DUP2
00001f68: MSTORE
00001f69: PUSH1 0x04
00001f6b: ADD
00001f6c: DUP1
00001f6d: DUP5
00001f6e: DUP2
00001f6f: MSTORE
00001f70: PUSH1 0x20
00001f72: ADD
00001f73: DUP4
00001f74: DUP2
00001f75: MSTORE
00001f76: PUSH1 0x20
00001f78: ADD
00001f79: DUP3
00001f7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f8f: AND
00001f90: DUP2
00001f91: MSTORE
00001f92: PUSH1 0x20
00001f94: ADD
00001f95: SWAP4
00001f96: POP
00001f97: POP
00001f98: POP
00001f99: POP
00001f9a: PUSH1 0x20
00001f9c: PUSH1 0x40
00001f9e: MLOAD
00001f9f: DUP1
00001fa0: DUP4
00001fa1: SUB
00001fa2: DUP2
00001fa3: PUSH1 0x00
00001fa5: DUP8
00001fa6: PUSH2 0x61da
00001fa9: GAS
00001faa: SUB
00001fab: CALL
00001fac: ISZERO
00001fad: PUSH2 0x0002
00001fb0: JUMPI
00001fb1: POP
00001fb2: POP
00001fb3: POP
00001fb4: PUSH1 0x40
00001fb6: MLOAD
00001fb7: DUP1
00001fb8: MLOAD
00001fb9: SWAP1
00001fba: PUSH1 0x20
00001fbc: ADD
00001fbd: POP
00001fbe: JUMPDEST
00001fbf: ISZERO
00001fc0: PUSH2 0x2048
00001fc3: JUMPI
00001fc4: DUP5
00001fc5: PUSH1 0x00
00001fc7: PUSH1 0x03
00001fc9: PUSH1 0x00
00001fcb: POP
00001fcc: PUSH1 0x00
00001fce: DUP4
00001fcf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fe4: AND
00001fe5: DUP2
00001fe6: MSTORE
00001fe7: PUSH1 0x20
00001fe9: ADD
00001fea: SWAP1
00001feb: DUP2
00001fec: MSTORE
00001fed: PUSH1 0x20
00001fef: ADD
00001ff0: PUSH1 0x00
00001ff2: KECCAK256
00001ff3: PUSH1 0x00
00001ff5: POP
00001ff6: SLOAD
00001ff7: EQ
00001ff8: ISZERO
00001ff9: PUSH2 0x203f
00001ffc: JUMPI
00001ffd: PUSH2 0x2025
00002000: PUSH32 0x656c636f696e4462000000000000000000000000000000000000000000000000
00002021: PUSH2 0x07bd
00002024: JUMP
00002025: JUMPDEST
00002026: SWAP3
00002027: POP
00002028: PUSH2 0x2032
0000202b: DUP4
0000202c: DUP8
0000202d: DUP8
0000202e: PUSH2 0x2a47
00002031: JUMP
00002032: JUMPDEST
00002033: SWAP4
00002034: POP
00002035: POP
00002036: POP
00002037: PUSH2 0x204a
0000203a: JUMP
0000203b: PUSH2 0x2046
0000203e: JUMP
0000203f: JUMPDEST
00002040: POP
00002041: POP
00002042: PUSH2 0x204a
00002045: JUMP
00002046: JUMPDEST
00002047: POP
00002048: JUMPDEST
00002049: POP
0000204a: JUMPDEST
0000204b: POP
0000204c: SWAP3
0000204d: SWAP2
0000204e: POP
0000204f: POP
00002050: JUMP
00002051: JUMPDEST
00002052: PUSH1 0x00
00002054: PUSH32 0x63726f6e00000000000000000000000000000000000000000000000000000000
00002075: PUSH1 0x00
00002077: PUSH1 0x00
00002079: PUSH1 0x00
0000207b: SWAP1
0000207c: SLOAD
0000207d: SWAP1
0000207e: PUSH2 0x0100
00002081: EXP
00002082: SWAP1
00002083: DIV
00002084: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002099: AND
0000209a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020af: AND
000020b0: EQ
000020b1: ISZERO
000020b2: DUP1
000020b3: ISZERO
000020b4: PUSH2 0x2179
000020b7: JUMPI
000020b8: POP
000020b9: PUSH1 0x01
000020bb: PUSH1 0x00
000020bd: SWAP1
000020be: SLOAD
000020bf: SWAP1
000020c0: PUSH2 0x0100
000020c3: EXP
000020c4: SWAP1
000020c5: DIV
000020c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020db: AND
000020dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020f1: AND
000020f2: PUSH4 0xa1add510
000020f7: PUSH1 0x02
000020f9: PUSH1 0x00
000020fb: POP
000020fc: SLOAD
000020fd: DUP4
000020fe: CALLER
000020ff: PUSH1 0x40
00002101: MLOAD
00002102: DUP5
00002103: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002121: MUL
00002122: DUP2
00002123: MSTORE
00002124: PUSH1 0x04
00002126: ADD
00002127: DUP1
00002128: DUP5
00002129: DUP2
0000212a: MSTORE
0000212b: PUSH1 0x20
0000212d: ADD
0000212e: DUP4
0000212f: DUP2
00002130: MSTORE
00002131: PUSH1 0x20
00002133: ADD
00002134: DUP3
00002135: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000214a: AND
0000214b: DUP2
0000214c: MSTORE
0000214d: PUSH1 0x20
0000214f: ADD
00002150: SWAP4
00002151: POP
00002152: POP
00002153: POP
00002154: POP
00002155: PUSH1 0x20
00002157: PUSH1 0x40
00002159: MLOAD
0000215a: DUP1
0000215b: DUP4
0000215c: SUB
0000215d: DUP2
0000215e: PUSH1 0x00
00002160: DUP8
00002161: PUSH2 0x61da
00002164: GAS
00002165: SUB
00002166: CALL
00002167: ISZERO
00002168: PUSH2 0x0002
0000216b: JUMPI
0000216c: POP
0000216d: POP
0000216e: POP
0000216f: PUSH1 0x40
00002171: MLOAD
00002172: DUP1
00002173: MLOAD
00002174: SWAP1
00002175: PUSH1 0x20
00002177: ADD
00002178: POP
00002179: JUMPDEST
0000217a: ISZERO
0000217b: PUSH2 0x2191
0000217e: JUMPI
0000217f: PUSH2 0x2189
00002182: DUP6
00002183: DUP6
00002184: DUP6
00002185: PUSH2 0x2366
00002188: JUMP
00002189: JUMPDEST
0000218a: SWAP2
0000218b: POP
0000218c: POP
0000218d: PUSH2 0x2193
00002190: JUMP
00002191: JUMPDEST
00002192: POP
00002193: JUMPDEST
00002194: SWAP4
00002195: SWAP3
00002196: POP
00002197: POP
00002198: POP
00002199: JUMP
0000219a: JUMPDEST
0000219b: PUSH1 0x00
0000219d: PUSH1 0x00
0000219f: PUSH32 0x706f6f6c00000000000000000000000000000000000000000000000000000000
000021c0: PUSH1 0x00
000021c2: PUSH1 0x00
000021c4: PUSH1 0x00
000021c6: SWAP1
000021c7: SLOAD
000021c8: SWAP1
000021c9: PUSH2 0x0100
000021cc: EXP
000021cd: SWAP1
000021ce: DIV
000021cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021e4: AND
000021e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021fa: AND
000021fb: EQ
000021fc: ISZERO
000021fd: DUP1
000021fe: ISZERO
000021ff: PUSH2 0x22c4
00002202: JUMPI
00002203: POP
00002204: PUSH1 0x01
00002206: PUSH1 0x00
00002208: SWAP1
00002209: SLOAD
0000220a: SWAP1
0000220b: PUSH2 0x0100
0000220e: EXP
0000220f: SWAP1
00002210: DIV
00002211: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002226: AND
00002227: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000223c: AND
0000223d: PUSH4 0xa1add510
00002242: PUSH1 0x02
00002244: PUSH1 0x00
00002246: POP
00002247: SLOAD
00002248: DUP4
00002249: CALLER
0000224a: PUSH1 0x40
0000224c: MLOAD
0000224d: DUP5
0000224e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000226c: MUL
0000226d: DUP2
0000226e: MSTORE
0000226f: PUSH1 0x04
00002271: ADD
00002272: DUP1
00002273: DUP5
00002274: DUP2
00002275: MSTORE
00002276: PUSH1 0x20
00002278: ADD
00002279: DUP4
0000227a: DUP2
0000227b: MSTORE
0000227c: PUSH1 0x20
0000227e: ADD
0000227f: DUP3
00002280: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002295: AND
00002296: DUP2
00002297: MSTORE
00002298: PUSH1 0x20
0000229a: ADD
0000229b: SWAP4
0000229c: POP
0000229d: POP
0000229e: POP
0000229f: POP
000022a0: PUSH1 0x20
000022a2: PUSH1 0x40
000022a4: MLOAD
000022a5: DUP1
000022a6: DUP4
000022a7: SUB
000022a8: DUP2
000022a9: PUSH1 0x00
000022ab: DUP8
000022ac: PUSH2 0x61da
000022af: GAS
000022b0: SUB
000022b1: CALL
000022b2: ISZERO
000022b3: PUSH2 0x0002
000022b6: JUMPI
000022b7: POP
000022b8: POP
000022b9: POP
000022ba: PUSH1 0x40
000022bc: MLOAD
000022bd: DUP1
000022be: MLOAD
000022bf: SWAP1
000022c0: PUSH1 0x20
000022c2: ADD
000022c3: POP
000022c4: JUMPDEST
000022c5: ISZERO
000022c6: PUSH2 0x2308
000022c9: JUMPI
000022ca: PUSH2 0x22f2
000022cd: PUSH32 0x656c636f696e4462000000000000000000000000000000000000000000000000
000022ee: PUSH2 0x07bd
000022f1: JUMP
000022f2: JUMPDEST
000022f3: SWAP2
000022f4: POP
000022f5: PUSH2 0x2300
000022f8: DUP3
000022f9: DUP8
000022fa: DUP8
000022fb: DUP8
000022fc: PUSH2 0x27e8
000022ff: JUMP
00002300: JUMPDEST
00002301: SWAP3
00002302: POP
00002303: POP
00002304: PUSH2 0x230a
00002307: JUMP
00002308: JUMPDEST
00002309: POP
0000230a: JUMPDEST
0000230b: POP
0000230c: SWAP4
0000230d: SWAP3
0000230e: POP
0000230f: POP
00002310: POP
00002311: JUMP
00002312: JUMPDEST
00002313: PUSH1 0x00
00002315: PUSH1 0x00
00002317: PUSH2 0x2710
0000231a: PUSH1 0x07
0000231c: PUSH1 0x00
0000231e: POP
0000231f: SLOAD
00002320: DUP5
00002321: MUL
00002322: DIV
00002323: SWAP1
00002324: POP
00002325: PUSH1 0x06
00002327: PUSH1 0x00
00002329: POP
0000232a: SLOAD
0000232b: DUP2
0000232c: LT
0000232d: ISZERO
0000232e: PUSH2 0x233e
00002331: JUMPI
00002332: PUSH1 0x06
00002334: PUSH1 0x00
00002336: POP
00002337: SLOAD
00002338: SWAP2
00002339: POP
0000233a: PUSH2 0x2360
0000233d: JUMP
0000233e: JUMPDEST
0000233f: PUSH1 0x08
00002341: PUSH1 0x00
00002343: POP
00002344: SLOAD
00002345: DUP2
00002346: GT
00002347: ISZERO
00002348: PUSH2 0x2358
0000234b: JUMPI
0000234c: PUSH1 0x08
0000234e: PUSH1 0x00
00002350: POP
00002351: SLOAD
00002352: SWAP2
00002353: POP
00002354: PUSH2 0x2360
00002357: JUMP
00002358: JUMPDEST
00002359: DUP1
0000235a: SWAP2
0000235b: POP
0000235c: PUSH2 0x2360
0000235f: JUMP
00002360: JUMPDEST
00002361: POP
00002362: SWAP2
00002363: SWAP1
00002364: POP
00002365: JUMP
00002366: JUMPDEST
00002367: PUSH1 0x00
00002369: PUSH1 0x00
0000236b: DUP5
0000236c: LT
0000236d: DUP1
0000236e: PUSH2 0x2377
00002371: JUMPI
00002372: POP
00002373: PUSH1 0x00
00002375: DUP4
00002376: LT
00002377: JUMPDEST
00002378: DUP1
00002379: PUSH2 0x2383
0000237c: JUMPI
0000237d: POP
0000237e: PUSH2 0x2710
00002381: DUP4
00002382: GT
00002383: JUMPDEST
00002384: DUP1
00002385: PUSH2 0x238e
00002388: JUMPI
00002389: POP
0000238a: PUSH1 0x00
0000238c: DUP3
0000238d: LT
0000238e: JUMPDEST
0000238f: DUP1
00002390: PUSH2 0x2398
00002393: JUMPI
00002394: POP
00002395: DUP4
00002396: DUP3
00002397: LT
00002398: JUMPDEST
00002399: ISZERO
0000239a: PUSH2 0x2405
0000239d: JUMPI
0000239e: CALLER
0000239f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023b4: AND
000023b5: ORIGIN
000023b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023cb: AND
000023cc: PUSH1 0x01
000023ce: PUSH32 0x4be6c20aede7dc7a2a5f9377a665a16687d76e6c5c6e8016cad407f7d5218425
000023ef: PUSH1 0x40
000023f1: MLOAD
000023f2: DUP1
000023f3: SWAP1
000023f4: POP
000023f5: PUSH1 0x40
000023f7: MLOAD
000023f8: DUP1
000023f9: SWAP2
000023fa: SUB
000023fb: SWAP1
000023fc: LOG4
000023fd: PUSH1 0x00
000023ff: SWAP1
00002400: POP
00002401: PUSH2 0x242c
00002404: JUMP
00002405: JUMPDEST
00002406: DUP4
00002407: PUSH1 0x06
00002409: PUSH1 0x00
0000240b: POP
0000240c: DUP2
0000240d: SWAP1
0000240e: SSTORE
0000240f: POP
00002410: DUP3
00002411: PUSH1 0x07
00002413: PUSH1 0x00
00002415: POP
00002416: DUP2
00002417: SWAP1
00002418: SSTORE
00002419: POP
0000241a: DUP2
0000241b: PUSH1 0x08
0000241d: PUSH1 0x00
0000241f: POP
00002420: DUP2
00002421: SWAP1
00002422: SSTORE
00002423: POP
00002424: PUSH1 0x01
00002426: SWAP1
00002427: POP
00002428: PUSH2 0x242c
0000242b: JUMP
0000242c: JUMPDEST
0000242d: SWAP4
0000242e: SWAP3
0000242f: POP
00002430: POP
00002431: POP
00002432: JUMP
00002433: JUMPDEST
00002434: PUSH1 0x00
00002436: PUSH1 0x00
00002438: DUP6
00002439: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000244e: AND
0000244f: PUSH4 0x07bc6fad
00002454: DUP7
00002455: DUP6
00002456: PUSH1 0x00
00002458: PUSH1 0x00
0000245a: PUSH1 0x40
0000245c: MLOAD
0000245d: DUP6
0000245e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000247c: MUL
0000247d: DUP2
0000247e: MSTORE
0000247f: PUSH1 0x04
00002481: ADD
00002482: DUP1
00002483: DUP6
00002484: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002499: AND
0000249a: DUP2
0000249b: MSTORE
0000249c: PUSH1 0x20
0000249e: ADD
0000249f: DUP5
000024a0: DUP2
000024a1: MSTORE
000024a2: PUSH1 0x20
000024a4: ADD
000024a5: DUP4
000024a6: PUSH1 0x01
000024a8: MUL
000024a9: DUP2
000024aa: MSTORE
000024ab: PUSH1 0x20
000024ad: ADD
000024ae: DUP3
000024af: DUP2
000024b0: MSTORE
000024b1: PUSH1 0x20
000024b3: ADD
000024b4: SWAP5
000024b5: POP
000024b6: POP
000024b7: POP
000024b8: POP
000024b9: POP
000024ba: PUSH1 0x20
000024bc: PUSH1 0x40
000024be: MLOAD
000024bf: DUP1
000024c0: DUP4
000024c1: SUB
000024c2: DUP2
000024c3: PUSH1 0x00
000024c5: DUP8
000024c6: PUSH2 0x61da
000024c9: GAS
000024ca: SUB
000024cb: CALL
000024cc: ISZERO
000024cd: PUSH2 0x0002
000024d0: JUMPI
000024d1: POP
000024d2: POP
000024d3: POP
000024d4: PUSH1 0x40
000024d6: MLOAD
000024d7: DUP1
000024d8: MLOAD
000024d9: SWAP1
000024da: PUSH1 0x20
000024dc: ADD
000024dd: POP
000024de: POP
000024df: PUSH2 0x24e7
000024e2: DUP4
000024e3: PUSH2 0x2312
000024e6: JUMP
000024e7: JUMPDEST
000024e8: SWAP2
000024e9: POP
000024ea: DUP2
000024eb: DUP4
000024ec: SUB
000024ed: SWAP1
000024ee: POP
000024ef: DUP6
000024f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002505: AND
00002506: PUSH4 0xec2ac54e
0000250b: DUP6
0000250c: DUP4
0000250d: PUSH1 0x00
0000250f: PUSH1 0x00
00002511: PUSH1 0x40
00002513: MLOAD
00002514: DUP6
00002515: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002533: MUL
00002534: DUP2
00002535: MSTORE
00002536: PUSH1 0x04
00002538: ADD
00002539: DUP1
0000253a: DUP6
0000253b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002550: AND
00002551: DUP2
00002552: MSTORE
00002553: PUSH1 0x20
00002555: ADD
00002556: DUP5
00002557: DUP2
00002558: MSTORE
00002559: PUSH1 0x20
0000255b: ADD
0000255c: DUP4
0000255d: PUSH1 0x01
0000255f: MUL
00002560: DUP2
00002561: MSTORE
00002562: PUSH1 0x20
00002564: ADD
00002565: DUP3
00002566: DUP2
00002567: MSTORE
00002568: PUSH1 0x20
0000256a: ADD
0000256b: SWAP5
0000256c: POP
0000256d: POP
0000256e: POP
0000256f: POP
00002570: POP
00002571: PUSH1 0x20
00002573: PUSH1 0x40
00002575: MLOAD
00002576: DUP1
00002577: DUP4
00002578: SUB
00002579: DUP2
0000257a: PUSH1 0x00
0000257c: DUP8
0000257d: PUSH2 0x61da
00002580: GAS
00002581: SUB
00002582: CALL
00002583: ISZERO
00002584: PUSH2 0x0002
00002587: JUMPI
00002588: POP
00002589: POP
0000258a: POP
0000258b: PUSH1 0x40
0000258d: MLOAD
0000258e: DUP1
0000258f: MLOAD
00002590: SWAP1
00002591: PUSH1 0x20
00002593: ADD
00002594: POP
00002595: POP
00002596: DUP4
00002597: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025ac: AND
000025ad: DUP6
000025ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025c3: AND
000025c4: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000025e5: DUP6
000025e6: PUSH1 0x40
000025e8: MLOAD
000025e9: DUP1
000025ea: DUP3
000025eb: DUP2
000025ec: MSTORE
000025ed: PUSH1 0x20
000025ef: ADD
000025f0: SWAP2
000025f1: POP
000025f2: POP
000025f3: PUSH1 0x40
000025f5: MLOAD
000025f6: DUP1
000025f7: SWAP2
000025f8: SUB
000025f9: SWAP1
000025fa: LOG3
000025fb: PUSH1 0x00
000025fd: DUP3
000025fe: GT
000025ff: ISZERO
00002600: PUSH2 0x26cd
00002603: JUMPI
00002604: DUP6
00002605: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000261a: AND
0000261b: PUSH4 0xec2ac54e
00002620: PUSH1 0x09
00002622: PUSH1 0x00
00002624: SWAP1
00002625: SLOAD
00002626: SWAP1
00002627: PUSH2 0x0100
0000262a: EXP
0000262b: SWAP1
0000262c: DIV
0000262d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002642: AND
00002643: DUP5
00002644: PUSH1 0x00
00002646: PUSH1 0x00
00002648: PUSH1 0x40
0000264a: MLOAD
0000264b: DUP6
0000264c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000266a: MUL
0000266b: DUP2
0000266c: MSTORE
0000266d: PUSH1 0x04
0000266f: ADD
00002670: DUP1
00002671: DUP6
00002672: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002687: AND
00002688: DUP2
00002689: MSTORE
0000268a: PUSH1 0x20
0000268c: ADD
0000268d: DUP5
0000268e: DUP2
0000268f: MSTORE
00002690: PUSH1 0x20
00002692: ADD
00002693: DUP4
00002694: PUSH1 0x01
00002696: MUL
00002697: DUP2
00002698: MSTORE
00002699: PUSH1 0x20
0000269b: ADD
0000269c: DUP3
0000269d: DUP2
0000269e: MSTORE
0000269f: PUSH1 0x20
000026a1: ADD
000026a2: SWAP5
000026a3: POP
000026a4: POP
000026a5: POP
000026a6: POP
000026a7: POP
000026a8: PUSH1 0x20
000026aa: PUSH1 0x40
000026ac: MLOAD
000026ad: DUP1
000026ae: DUP4
000026af: SUB
000026b0: DUP2
000026b1: PUSH1 0x00
000026b3: DUP8
000026b4: PUSH2 0x61da
000026b7: GAS
000026b8: SUB
000026b9: CALL
000026ba: ISZERO
000026bb: PUSH2 0x0002
000026be: JUMPI
000026bf: POP
000026c0: POP
000026c1: POP
000026c2: PUSH1 0x40
000026c4: MLOAD
000026c5: DUP1
000026c6: MLOAD
000026c7: SWAP1
000026c8: PUSH1 0x20
000026ca: ADD
000026cb: POP
000026cc: POP
000026cd: JUMPDEST
000026ce: JUMPDEST
000026cf: POP
000026d0: POP
000026d1: POP
000026d2: POP
000026d3: POP
000026d4: POP
000026d5: JUMP
000026d6: JUMPDEST
000026d7: PUSH1 0x00
000026d9: PUSH1 0x00
000026db: PUSH1 0x06
000026dd: PUSH1 0x00
000026df: POP
000026e0: SLOAD
000026e1: DUP4
000026e2: LT
000026e3: ISZERO
000026e4: PUSH2 0x270f
000026e7: JUMPI
000026e8: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002709: SWAP2
0000270a: POP
0000270b: PUSH2 0x27df
0000270e: JUMP
0000270f: JUMPDEST
00002710: DUP6
00002711: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002726: AND
00002727: PUSH4 0xf8b2cb4f
0000272c: DUP7
0000272d: PUSH1 0x40
0000272f: MLOAD
00002730: DUP3
00002731: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000274f: MUL
00002750: DUP2
00002751: MSTORE
00002752: PUSH1 0x04
00002754: ADD
00002755: DUP1
00002756: DUP3
00002757: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000276c: AND
0000276d: DUP2
0000276e: MSTORE
0000276f: PUSH1 0x20
00002771: ADD
00002772: SWAP2
00002773: POP
00002774: POP
00002775: PUSH1 0x20
00002777: PUSH1 0x40
00002779: MLOAD
0000277a: DUP1
0000277b: DUP4
0000277c: SUB
0000277d: DUP2
0000277e: PUSH1 0x00
00002780: DUP8
00002781: PUSH2 0x61da
00002784: GAS
00002785: SUB
00002786: CALL
00002787: ISZERO
00002788: PUSH2 0x0002
0000278b: JUMPI
0000278c: POP
0000278d: POP
0000278e: POP
0000278f: PUSH1 0x40
00002791: MLOAD
00002792: DUP1
00002793: MLOAD
00002794: SWAP1
00002795: PUSH1 0x20
00002797: ADD
00002798: POP
00002799: SWAP1
0000279a: POP
0000279b: DUP3
0000279c: DUP2
0000279d: LT
0000279e: ISZERO
0000279f: PUSH2 0x27ca
000027a2: JUMPI
000027a3: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd
000027c4: SWAP2
000027c5: POP
000027c6: PUSH2 0x27df
000027c9: JUMP
000027ca: JUMPDEST
000027cb: PUSH2 0x27d6
000027ce: DUP7
000027cf: DUP7
000027d0: DUP7
000027d1: DUP7
000027d2: PUSH2 0x2433
000027d5: JUMP
000027d6: JUMPDEST
000027d7: PUSH1 0x00
000027d9: SWAP2
000027da: POP
000027db: PUSH2 0x27df
000027de: JUMP
000027df: JUMPDEST
000027e0: POP
000027e1: SWAP5
000027e2: SWAP4
000027e3: POP
000027e4: POP
000027e5: POP
000027e6: POP
000027e7: JUMP
000027e8: JUMPDEST
000027e9: PUSH1 0x00
000027eb: PUSH1 0x00
000027ed: PUSH1 0x00
000027ef: PUSH1 0x00
000027f1: PUSH2 0x27fc
000027f4: DUP9
000027f5: DUP9
000027f6: DUP9
000027f7: DUP9
000027f8: PUSH2 0x26d6
000027fb: JUMP
000027fc: JUMPDEST
000027fd: SWAP3
000027fe: POP
000027ff: PUSH1 0x00
00002801: DUP4
00002802: SLT
00002803: ISZERO
00002804: PUSH2 0x286f
00002807: JUMPI
00002808: CALLER
00002809: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000281e: AND
0000281f: ORIGIN
00002820: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002835: AND
00002836: PUSH1 0x02
00002838: PUSH32 0x4be6c20aede7dc7a2a5f9377a665a16687d76e6c5c6e8016cad407f7d5218425
00002859: PUSH1 0x40
0000285b: MLOAD
0000285c: DUP1
0000285d: SWAP1
0000285e: POP
0000285f: PUSH1 0x40
00002861: MLOAD
00002862: DUP1
00002863: SWAP2
00002864: SUB
00002865: SWAP1
00002866: LOG4
00002867: PUSH1 0x00
00002869: SWAP4
0000286a: POP
0000286b: PUSH2 0x2a3c
0000286e: JUMP
0000286f: JUMPDEST
00002870: PUSH2 0x2898
00002873: PUSH32 0x656c636f696e506f530000000000000000000000000000000000000000000000
00002894: PUSH2 0x07bd
00002897: JUMP
00002898: JUMPDEST
00002899: SWAP2
0000289a: POP
0000289b: PUSH2 0x28c3
0000289e: PUSH32 0x656c636f696e506f540000000000000000000000000000000000000000000000
000028bf: PUSH2 0x07bd
000028c2: JUMP
000028c3: JUMPDEST
000028c4: SWAP1
000028c5: POP
000028c6: PUSH1 0x00
000028c8: DUP3
000028c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028de: AND
000028df: EQ
000028e0: ISZERO
000028e1: ISZERO
000028e2: PUSH2 0x296d
000028e5: JUMPI
000028e6: DUP2
000028e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028fc: AND
000028fd: PUSH4 0xa9059cbb
00002902: DUP9
00002903: DUP6
00002904: PUSH1 0x40
00002906: MLOAD
00002907: DUP4
00002908: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002926: MUL
00002927: DUP2
00002928: MSTORE
00002929: PUSH1 0x04
0000292b: ADD
0000292c: DUP1
0000292d: DUP4
0000292e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002943: AND
00002944: DUP2
00002945: MSTORE
00002946: PUSH1 0x20
00002948: ADD
00002949: DUP3
0000294a: DUP2
0000294b: MSTORE
0000294c: PUSH1 0x20
0000294e: ADD
0000294f: SWAP3
00002950: POP
00002951: POP
00002952: POP
00002953: PUSH1 0x00
00002955: PUSH1 0x40
00002957: MLOAD
00002958: DUP1
00002959: DUP4
0000295a: SUB
0000295b: DUP2
0000295c: PUSH1 0x00
0000295e: DUP8
0000295f: PUSH2 0x61da
00002962: GAS
00002963: SUB
00002964: CALL
00002965: ISZERO
00002966: PUSH2 0x0002
00002969: JUMPI
0000296a: POP
0000296b: POP
0000296c: POP
0000296d: JUMPDEST
0000296e: PUSH1 0x00
00002970: DUP2
00002971: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002986: AND
00002987: EQ
00002988: ISZERO
00002989: ISZERO
0000298a: PUSH2 0x2a33
0000298d: JUMPI
0000298e: DUP1
0000298f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029a4: AND
000029a5: PUSH4 0xbeabacc8
000029aa: DUP9
000029ab: DUP9
000029ac: DUP9
000029ad: PUSH1 0x40
000029af: MLOAD
000029b0: DUP5
000029b1: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000029cf: MUL
000029d0: DUP2
000029d1: MSTORE
000029d2: PUSH1 0x04
000029d4: ADD
000029d5: DUP1
000029d6: DUP5
000029d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029ec: AND
000029ed: DUP2
000029ee: MSTORE
000029ef: PUSH1 0x20
000029f1: ADD
000029f2: DUP4
000029f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a08: AND
00002a09: DUP2
00002a0a: MSTORE
00002a0b: PUSH1 0x20
00002a0d: ADD
00002a0e: DUP3
00002a0f: DUP2
00002a10: MSTORE
00002a11: PUSH1 0x20
00002a13: ADD
00002a14: SWAP4
00002a15: POP
00002a16: POP
00002a17: POP
00002a18: POP
00002a19: PUSH1 0x00
00002a1b: PUSH1 0x40
00002a1d: MLOAD
00002a1e: DUP1
00002a1f: DUP4
00002a20: SUB
00002a21: DUP2
00002a22: PUSH1 0x00
00002a24: DUP8
00002a25: PUSH2 0x61da
00002a28: GAS
00002a29: SUB
00002a2a: CALL
00002a2b: ISZERO
00002a2c: PUSH2 0x0002
00002a2f: JUMPI
00002a30: POP
00002a31: POP
00002a32: POP
00002a33: JUMPDEST
00002a34: PUSH1 0x01
00002a36: SWAP4
00002a37: POP
00002a38: PUSH2 0x2a3c
00002a3b: JUMP
00002a3c: JUMPDEST
00002a3d: POP
00002a3e: POP
00002a3f: POP
00002a40: SWAP5
00002a41: SWAP4
00002a42: POP
00002a43: POP
00002a44: POP
00002a45: POP
00002a46: JUMP
00002a47: JUMPDEST
00002a48: PUSH1 0x00
00002a4a: PUSH1 0x00
00002a4c: PUSH1 0x00
00002a4e: PUSH1 0x00
00002a50: PUSH1 0x00
00002a52: PUSH1 0x00
00002a54: PUSH1 0x00
00002a56: PUSH1 0x00
00002a58: PUSH1 0x04
00002a5a: PUSH1 0x00
00002a5c: POP
00002a5d: DUP1
00002a5e: SLOAD
00002a5f: DUP1
00002a60: SWAP2
00002a61: SWAP1
00002a62: PUSH1 0x01
00002a64: ADD
00002a65: SWAP1
00002a66: SWAP1
00002a67: DUP2
00002a68: SLOAD
00002a69: DUP2
00002a6a: DUP4
00002a6b: SSTORE
00002a6c: DUP2
00002a6d: DUP2
00002a6e: ISZERO
00002a6f: GT
00002a70: PUSH2 0x2aab
00002a73: JUMPI
00002a74: DUP2
00002a75: DUP4
00002a76: PUSH1 0x00
00002a78: MSTORE
00002a79: PUSH1 0x20
00002a7b: PUSH1 0x00
00002a7d: KECCAK256
00002a7e: SWAP2
00002a7f: DUP3
00002a80: ADD
00002a81: SWAP2
00002a82: ADD
00002a83: PUSH2 0x2aaa
00002a86: SWAP2
00002a87: SWAP1
00002a88: PUSH2 0x2a8c
00002a8b: JUMP
00002a8c: JUMPDEST
00002a8d: DUP1
00002a8e: DUP3
00002a8f: GT
00002a90: ISZERO
00002a91: PUSH2 0x2aa6
00002a94: JUMPI
00002a95: PUSH1 0x00
00002a97: DUP2
00002a98: DUP2
00002a99: POP
00002a9a: PUSH1 0x00
00002a9c: SWAP1
00002a9d: SSTORE
00002a9e: POP
00002a9f: PUSH1 0x01
00002aa1: ADD
00002aa2: PUSH2 0x2a8c
00002aa5: JUMP
00002aa6: JUMPDEST
00002aa7: POP
00002aa8: SWAP1
00002aa9: JUMP
00002aaa: JUMPDEST
00002aab: JUMPDEST
00002aac: POP
00002aad: POP
00002aae: POP
00002aaf: SWAP7
00002ab0: POP
00002ab1: DUP10
00002ab2: PUSH1 0x04
00002ab4: PUSH1 0x00
00002ab6: POP
00002ab7: DUP9
00002ab8: DUP2
00002ab9: SLOAD
00002aba: DUP2
00002abb: LT
00002abc: ISZERO
00002abd: PUSH2 0x0002
00002ac0: JUMPI
00002ac1: SWAP1
00002ac2: PUSH1 0x00
00002ac4: MSTORE
00002ac5: PUSH1 0x20
00002ac7: PUSH1 0x00
00002ac9: KECCAK256
00002aca: SWAP1
00002acb: ADD
00002acc: PUSH1 0x00
00002ace: JUMPDEST
00002acf: PUSH2 0x0100
00002ad2: EXP
00002ad3: DUP2
00002ad4: SLOAD
00002ad5: DUP2
00002ad6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002aeb: MUL
00002aec: NOT
00002aed: AND
00002aee: SWAP1
00002aef: DUP4
00002af0: MUL
00002af1: OR
00002af2: SWAP1
00002af3: SSTORE
00002af4: POP
00002af5: DUP7
00002af6: PUSH1 0x03
00002af8: PUSH1 0x00
00002afa: POP
00002afb: PUSH1 0x00
00002afd: DUP13
00002afe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b13: AND
00002b14: DUP2
00002b15: MSTORE
00002b16: PUSH1 0x20
00002b18: ADD
00002b19: SWAP1
00002b1a: DUP2
00002b1b: MSTORE
00002b1c: PUSH1 0x20
00002b1e: ADD
00002b1f: PUSH1 0x00
00002b21: KECCAK256
00002b22: PUSH1 0x00
00002b24: POP
00002b25: DUP2
00002b26: SWAP1
00002b27: SSTORE
00002b28: POP
00002b29: DUP11
00002b2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b3f: AND
00002b40: PUSH4 0xf8b2cb4f
00002b45: DUP12
00002b46: PUSH1 0x40
00002b48: MLOAD
00002b49: DUP3
00002b4a: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002b68: MUL
00002b69: DUP2
00002b6a: MSTORE
00002b6b: PUSH1 0x04
00002b6d: ADD
00002b6e: DUP1
00002b6f: DUP3
00002b70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b85: AND
00002b86: DUP2
00002b87: MSTORE
00002b88: PUSH1 0x20
00002b8a: ADD
00002b8b: SWAP2
00002b8c: POP
00002b8d: POP
00002b8e: PUSH1 0x20
00002b90: PUSH1 0x40
00002b92: MLOAD
00002b93: DUP1
00002b94: DUP4
00002b95: SUB
00002b96: DUP2
00002b97: PUSH1 0x00
00002b99: DUP8
00002b9a: PUSH2 0x61da
00002b9d: GAS
00002b9e: SUB
00002b9f: CALL
00002ba0: ISZERO
00002ba1: PUSH2 0x0002
00002ba4: JUMPI
00002ba5: POP
00002ba6: POP
00002ba7: POP
00002ba8: PUSH1 0x40
00002baa: MLOAD
00002bab: DUP1
00002bac: MLOAD
00002bad: SWAP1
00002bae: PUSH1 0x20
00002bb0: ADD
00002bb1: POP
00002bb2: SWAP6
00002bb3: POP
00002bb4: DUP11
00002bb5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bca: AND
00002bcb: PUSH4 0x07bc6fad
00002bd0: DUP12
00002bd1: DUP9
00002bd2: PUSH1 0x00
00002bd4: PUSH1 0x00
00002bd6: PUSH1 0x40
00002bd8: MLOAD
00002bd9: DUP6
00002bda: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002bf8: MUL
00002bf9: DUP2
00002bfa: MSTORE
00002bfb: PUSH1 0x04
00002bfd: ADD
00002bfe: DUP1
00002bff: DUP6
00002c00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c15: AND
00002c16: DUP2
00002c17: MSTORE
00002c18: PUSH1 0x20
00002c1a: ADD
00002c1b: DUP5
00002c1c: DUP2
00002c1d: MSTORE
00002c1e: PUSH1 0x20
00002c20: ADD
00002c21: DUP4
00002c22: PUSH1 0x01
00002c24: MUL
00002c25: DUP2
00002c26: MSTORE
00002c27: PUSH1 0x20
00002c29: ADD
00002c2a: DUP3
00002c2b: DUP2
00002c2c: MSTORE
00002c2d: PUSH1 0x20
00002c2f: ADD
00002c30: SWAP5
00002c31: POP
00002c32: POP
00002c33: POP
00002c34: POP
00002c35: POP
00002c36: PUSH1 0x20
00002c38: PUSH1 0x40
00002c3a: MLOAD
00002c3b: DUP1
00002c3c: DUP4
00002c3d: SUB
00002c3e: DUP2
00002c3f: PUSH1 0x00
00002c41: DUP8
00002c42: PUSH2 0x61da
00002c45: GAS
00002c46: SUB
00002c47: CALL
00002c48: ISZERO
00002c49: PUSH2 0x0002
00002c4c: JUMPI
00002c4d: POP
00002c4e: POP
00002c4f: POP
00002c50: PUSH1 0x40
00002c52: MLOAD
00002c53: DUP1
00002c54: MLOAD
00002c55: SWAP1
00002c56: PUSH1 0x20
00002c58: ADD
00002c59: POP
00002c5a: SWAP5
00002c5b: POP
00002c5c: DUP5
00002c5d: ISZERO
00002c5e: ISZERO
00002c5f: PUSH2 0x2cca
00002c62: JUMPI
00002c63: CALLER
00002c64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c79: AND
00002c7a: ORIGIN
00002c7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c90: AND
00002c91: PUSH1 0x05
00002c93: PUSH32 0x4be6c20aede7dc7a2a5f9377a665a16687d76e6c5c6e8016cad407f7d5218425
00002cb4: PUSH1 0x40
00002cb6: MLOAD
00002cb7: DUP1
00002cb8: SWAP1
00002cb9: POP
00002cba: PUSH1 0x40
00002cbc: MLOAD
00002cbd: DUP1
00002cbe: SWAP2
00002cbf: SUB
00002cc0: SWAP1
00002cc1: LOG4
00002cc2: PUSH1 0x00
00002cc4: SWAP8
00002cc5: POP
00002cc6: PUSH2 0x305a
00002cc9: JUMP
00002cca: JUMPDEST
00002ccb: DUP11
00002ccc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ce1: AND
00002ce2: PUSH4 0xec2ac54e
00002ce7: DUP11
00002ce8: DUP9
00002ce9: PUSH1 0x00
00002ceb: PUSH1 0x00
00002ced: PUSH1 0x40
00002cef: MLOAD
00002cf0: DUP6
00002cf1: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002d0f: MUL
00002d10: DUP2
00002d11: MSTORE
00002d12: PUSH1 0x04
00002d14: ADD
00002d15: DUP1
00002d16: DUP6
00002d17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d2c: AND
00002d2d: DUP2
00002d2e: MSTORE
00002d2f: PUSH1 0x20
00002d31: ADD
00002d32: DUP5
00002d33: DUP2
00002d34: MSTORE
00002d35: PUSH1 0x20
00002d37: ADD
00002d38: DUP4
00002d39: PUSH1 0x01
00002d3b: MUL
00002d3c: DUP2
00002d3d: MSTORE
00002d3e: PUSH1 0x20
00002d40: ADD
00002d41: DUP3
00002d42: DUP2
00002d43: MSTORE
00002d44: PUSH1 0x20
00002d46: ADD
00002d47: SWAP5
00002d48: POP
00002d49: POP
00002d4a: POP
00002d4b: POP
00002d4c: POP
00002d4d: PUSH1 0x20
00002d4f: PUSH1 0x40
00002d51: MLOAD
00002d52: DUP1
00002d53: DUP4
00002d54: SUB
00002d55: DUP2
00002d56: PUSH1 0x00
00002d58: DUP8
00002d59: PUSH2 0x61da
00002d5c: GAS
00002d5d: SUB
00002d5e: CALL
00002d5f: ISZERO
00002d60: PUSH2 0x0002
00002d63: JUMPI
00002d64: POP
00002d65: POP
00002d66: POP
00002d67: PUSH1 0x40
00002d69: MLOAD
00002d6a: DUP1
00002d6b: MLOAD
00002d6c: SWAP1
00002d6d: PUSH1 0x20
00002d6f: ADD
00002d70: POP
00002d71: POP
00002d72: PUSH1 0x01
00002d74: SWAP4
00002d75: POP
00002d76: JUMPDEST
00002d77: PUSH1 0x0b
00002d79: PUSH1 0x00
00002d7b: POP
00002d7c: DUP1
00002d7d: SLOAD
00002d7e: SWAP1
00002d7f: POP
00002d80: DUP5
00002d81: LT
00002d82: ISZERO
00002d83: PUSH2 0x3051
00002d86: JUMPI
00002d87: DUP10
00002d88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d9d: AND
00002d9e: PUSH1 0x0b
00002da0: PUSH1 0x00
00002da2: POP
00002da3: DUP6
00002da4: DUP2
00002da5: SLOAD
00002da6: DUP2
00002da7: LT
00002da8: ISZERO
00002da9: PUSH2 0x0002
00002dac: JUMPI
00002dad: SWAP1
00002dae: PUSH1 0x00
00002db0: MSTORE
00002db1: PUSH1 0x20
00002db3: PUSH1 0x00
00002db5: KECCAK256
00002db6: SWAP1
00002db7: PUSH1 0x03
00002db9: MUL
00002dba: ADD
00002dbb: PUSH1 0x00
00002dbd: JUMPDEST
00002dbe: POP
00002dbf: PUSH1 0x00
00002dc1: ADD
00002dc2: PUSH1 0x00
00002dc4: SWAP1
00002dc5: SLOAD
00002dc6: SWAP1
00002dc7: PUSH2 0x0100
00002dca: EXP
00002dcb: SWAP1
00002dcc: DIV
00002dcd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002de2: AND
00002de3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002df8: AND
00002df9: EQ
00002dfa: ISZERO
00002dfb: PUSH2 0x3043
00002dfe: JUMPI
00002dff: PUSH1 0x0b
00002e01: PUSH1 0x00
00002e03: POP
00002e04: DUP5
00002e05: DUP2
00002e06: SLOAD
00002e07: DUP2
00002e08: LT
00002e09: ISZERO
00002e0a: PUSH2 0x0002
00002e0d: JUMPI
00002e0e: SWAP1
00002e0f: PUSH1 0x00
00002e11: MSTORE
00002e12: PUSH1 0x20
00002e14: PUSH1 0x00
00002e16: KECCAK256
00002e17: SWAP1
00002e18: PUSH1 0x03
00002e1a: MUL
00002e1b: ADD
00002e1c: PUSH1 0x00
00002e1e: JUMPDEST
00002e1f: POP
00002e20: PUSH1 0x00
00002e22: ADD
00002e23: PUSH1 0x00
00002e25: SWAP1
00002e26: SLOAD
00002e27: SWAP1
00002e28: PUSH2 0x0100
00002e2b: EXP
00002e2c: SWAP1
00002e2d: DIV
00002e2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e43: AND
00002e44: PUSH1 0x0b
00002e46: PUSH1 0x00
00002e48: POP
00002e49: DUP6
00002e4a: DUP2
00002e4b: SLOAD
00002e4c: DUP2
00002e4d: LT
00002e4e: ISZERO
00002e4f: PUSH2 0x0002
00002e52: JUMPI
00002e53: SWAP1
00002e54: PUSH1 0x00
00002e56: MSTORE
00002e57: PUSH1 0x20
00002e59: PUSH1 0x00
00002e5b: KECCAK256
00002e5c: SWAP1
00002e5d: PUSH1 0x03
00002e5f: MUL
00002e60: ADD
00002e61: PUSH1 0x00
00002e63: JUMPDEST
00002e64: POP
00002e65: PUSH1 0x01
00002e67: ADD
00002e68: PUSH1 0x00
00002e6a: SWAP1
00002e6b: SLOAD
00002e6c: SWAP1
00002e6d: PUSH2 0x0100
00002e70: EXP
00002e71: SWAP1
00002e72: DIV
00002e73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e88: AND
00002e89: PUSH1 0x40
00002e8b: MLOAD
00002e8c: DUP1
00002e8d: DUP4
00002e8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ea3: AND
00002ea4: PUSH13 0x01000000000000000000000000
00002eb2: MUL
00002eb3: DUP2
00002eb4: MSTORE
00002eb5: PUSH1 0x14
00002eb7: ADD
00002eb8: DUP3
00002eb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ece: AND
00002ecf: PUSH13 0x01000000000000000000000000
00002edd: MUL
00002ede: DUP2
00002edf: MSTORE
00002ee0: PUSH1 0x14
00002ee2: ADD
00002ee3: SWAP3
00002ee4: POP
00002ee5: POP
00002ee6: POP
00002ee7: PUSH1 0x40
00002ee9: MLOAD
00002eea: DUP1
00002eeb: SWAP2
00002eec: SUB
00002eed: SWAP1
00002eee: KECCAK256
00002eef: SWAP3
00002ef0: POP
00002ef1: DUP9
00002ef2: PUSH1 0x0b
00002ef4: PUSH1 0x00
00002ef6: POP
00002ef7: DUP6
00002ef8: DUP2
00002ef9: SLOAD
00002efa: DUP2
00002efb: LT
00002efc: ISZERO
00002efd: PUSH2 0x0002
00002f00: JUMPI
00002f01: SWAP1
00002f02: PUSH1 0x00
00002f04: MSTORE
00002f05: PUSH1 0x20
00002f07: PUSH1 0x00
00002f09: KECCAK256
00002f0a: SWAP1
00002f0b: PUSH1 0x03
00002f0d: MUL
00002f0e: ADD
00002f0f: PUSH1 0x00
00002f11: JUMPDEST
00002f12: POP
00002f13: PUSH1 0x01
00002f15: ADD
00002f16: PUSH1 0x00
00002f18: SWAP1
00002f19: SLOAD
00002f1a: SWAP1
00002f1b: PUSH2 0x0100
00002f1e: EXP
00002f1f: SWAP1
00002f20: DIV
00002f21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f36: AND
00002f37: PUSH1 0x40
00002f39: MLOAD
00002f3a: DUP1
00002f3b: DUP4
00002f3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f51: AND
00002f52: PUSH13 0x01000000000000000000000000
00002f60: MUL
00002f61: DUP2
00002f62: MSTORE
00002f63: PUSH1 0x14
00002f65: ADD
00002f66: DUP3
00002f67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f7c: AND
00002f7d: PUSH13 0x01000000000000000000000000
00002f8b: MUL
00002f8c: DUP2
00002f8d: MSTORE
00002f8e: PUSH1 0x14
00002f90: ADD
00002f91: SWAP3
00002f92: POP
00002f93: POP
00002f94: POP
00002f95: PUSH1 0x40
00002f97: MLOAD
00002f98: DUP1
00002f99: SWAP2
00002f9a: SUB
00002f9b: SWAP1
00002f9c: KECCAK256
00002f9d: SWAP2
00002f9e: POP
00002f9f: PUSH1 0x0a
00002fa1: PUSH1 0x00
00002fa3: POP
00002fa4: PUSH1 0x00
00002fa6: DUP5
00002fa7: DUP2
00002fa8: MSTORE
00002fa9: PUSH1 0x20
00002fab: ADD
00002fac: SWAP1
00002fad: DUP2
00002fae: MSTORE
00002faf: PUSH1 0x20
00002fb1: ADD
00002fb2: PUSH1 0x00
00002fb4: KECCAK256
00002fb5: PUSH1 0x00
00002fb7: POP
00002fb8: SLOAD
00002fb9: SWAP1
00002fba: POP
00002fbb: DUP1
00002fbc: PUSH1 0x0a
00002fbe: PUSH1 0x00
00002fc0: POP
00002fc1: PUSH1 0x00
00002fc3: DUP5
00002fc4: DUP2
00002fc5: MSTORE
00002fc6: PUSH1 0x20
00002fc8: ADD
00002fc9: SWAP1
00002fca: DUP2
00002fcb: MSTORE
00002fcc: PUSH1 0x20
00002fce: ADD
00002fcf: PUSH1 0x00
00002fd1: KECCAK256
00002fd2: PUSH1 0x00
00002fd4: POP
00002fd5: DUP2
00002fd6: SWAP1
00002fd7: SSTORE
00002fd8: POP
00002fd9: PUSH1 0x0a
00002fdb: PUSH1 0x00
00002fdd: POP
00002fde: PUSH1 0x00
00002fe0: DUP5
00002fe1: DUP2
00002fe2: MSTORE
00002fe3: PUSH1 0x20
00002fe5: ADD
00002fe6: SWAP1
00002fe7: DUP2
00002fe8: MSTORE
00002fe9: PUSH1 0x20
00002feb: ADD
00002fec: PUSH1 0x00
00002fee: KECCAK256
00002fef: PUSH1 0x00
00002ff1: POP
00002ff2: PUSH1 0x00
00002ff4: SWAP1
00002ff5: SSTORE
00002ff6: DUP9
00002ff7: PUSH1 0x0b
00002ff9: PUSH1 0x00
00002ffb: POP
00002ffc: DUP3
00002ffd: DUP2
00002ffe: SLOAD
00002fff: DUP2
00003000: LT
00003001: ISZERO
00003002: PUSH2 0x0002
00003005: JUMPI
00003006: SWAP1
00003007: PUSH1 0x00
00003009: MSTORE
0000300a: PUSH1 0x20
0000300c: PUSH1 0x00
0000300e: KECCAK256
0000300f: SWAP1
00003010: PUSH1 0x03
00003012: MUL
00003013: ADD
00003014: PUSH1 0x00
00003016: JUMPDEST
00003017: POP
00003018: PUSH1 0x00
0000301a: ADD
0000301b: PUSH1 0x00
0000301d: PUSH2 0x0100
00003020: EXP
00003021: DUP2
00003022: SLOAD
00003023: DUP2
00003024: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003039: MUL
0000303a: NOT
0000303b: AND
0000303c: SWAP1
0000303d: DUP4
0000303e: MUL
0000303f: OR
00003040: SWAP1
00003041: SSTORE
00003042: POP
00003043: JUMPDEST
00003044: JUMPDEST
00003045: DUP4
00003046: DUP1
00003047: PUSH1 0x01
00003049: ADD
0000304a: SWAP5
0000304b: POP
0000304c: POP
0000304d: PUSH2 0x2d76
00003050: JUMP
00003051: JUMPDEST
00003052: PUSH1 0x01
00003054: SWAP8
00003055: POP
00003056: PUSH2 0x305a
00003059: JUMP
0000305a: JUMPDEST
0000305b: POP
0000305c: POP
0000305d: POP
0000305e: POP
0000305f: POP
00003060: POP
00003061: POP
00003062: SWAP4
00003063: SWAP3
00003064: POP
00003065: POP
00003066: POP
00003067: JUMP
View stderr 
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x13c8a376",
            "selector": "0x13c8a376",
            "calldata_variants": [
                "0x13c8a376",
                "0x13c8a3760000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x21f8a721",
            "selector": "0x21f8a721",
            "calldata_variants": [
                "0x21f8a721",
                "0x21f8a7210000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3751707c",
            "selector": "0x3751707c",
            "calldata_variants": [
                "0x3751707c",
                "0x3751707c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x39e7fddc",
            "selector": "0x39e7fddc",
            "calldata_variants": [
                "0x39e7fddc",
                "0x39e7fddc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [
        {
            "pc": 2820,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3841,
            "type": "tx_origin_used"
        },
        {
            "pc": 4932,
            "type": "tx_origin_used"
        },
        {
            "pc": 5127,
            "type": "tx_origin_used"
        },
        {
            "pc": 5265,
            "type": "tx_origin_used"
        },
        {
            "pc": 5368,
            "type": "tx_origin_used"
        },
        {
            "pc": 5778,
            "type": "tx_origin_used"
        },
        {
            "pc": 5832,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5886,
            "type": "tx_origin_used"
        },
        {
            "pc": 6391,
            "type": "tx_origin_used"
        },
        {
            "pc": 6895,
            "type": "tx_origin_used"
        },
        {
            "pc": 7047,
            "type": "tx_origin_used"
        },
        {
            "pc": 7218,
            "type": "tx_origin_used"
        },
        {
            "pc": 9141,
            "type": "tx_origin_used"
        },
        {
            "pc": 10271,
            "type": "tx_origin_used"
        },
        {
            "pc": 11386,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x3c0b4ba3532522bb431f50f701dd6c9cdb19b67601ddeb00b7f73693172956fd
call_targets: 0x225bc3affc1da39bd3cb2100c74a41c62310d1e1
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x3c0b4ba3532522bb431f50f701dd6c9cdb19b67601ddeb00b7f73693172956fd",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x225bc3affc1da39bd3cb2100c74a41c62310d1e1"
    ],
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x13c8a376",
            "selector": "0x13c8a376",
            "calldata_variants": [
                "0x13c8a376",
                "0x13c8a3760000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x21f8a721",
            "selector": "0x21f8a721",
            "calldata_variants": [
                "0x21f8a721",
                "0x21f8a7210000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3751707c",
            "selector": "0x3751707c",
            "calldata_variants": [
                "0x3751707c",
                "0x3751707c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x39e7fddc",
            "selector": "0x39e7fddc",
            "calldata_variants": [
                "0x39e7fddc",
                "0x39e7fddc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2114,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2438,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2612,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 26,
    "guards_detected": [
        {
            "pc": 2820,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3841,
            "type": "tx_origin_used"
        },
        {
            "pc": 4932,
            "type": "tx_origin_used"
        },
        {
            "pc": 5127,
            "type": "tx_origin_used"
        },
        {
            "pc": 5265,
            "type": "tx_origin_used"
        },
        {
            "pc": 5368,
            "type": "tx_origin_used"
        },
        {
            "pc": 5778,
            "type": "tx_origin_used"
        },
        {
            "pc": 5832,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5886,
            "type": "tx_origin_used"
        },
        {
            "pc": 6391,
            "type": "tx_origin_used"
        },
        {
            "pc": 6895,
            "type": "tx_origin_used"
        },
        {
            "pc": 7047,
            "type": "tx_origin_used"
        },
        {
            "pc": 7218,
            "type": "tx_origin_used"
        },
        {
            "pc": 9141,
            "type": "tx_origin_used"
        },
        {
            "pc": 10271,
            "type": "tx_origin_used"
        },
        {
            "pc": 11386,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 26
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x3c0b4ba3532522bb431f50f701dd6c9cdb19b67601ddeb00b7f73693172956fd
call_targets: 0x225bc3affc1da39bd3cb2100c74a41c62310d1e1
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x3c0b4ba3532522bb431f50f701dd6c9cdb19b67601ddeb00b7f73693172956fd",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x225bc3affc1da39bd3cb2100c74a41c62310d1e1"
    ],
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x13c8a376",
            "selector": "0x13c8a376",
            "calldata_variants": [
                "0x13c8a376",
                "0x13c8a3760000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x21f8a721",
            "selector": "0x21f8a721",
            "calldata_variants": [
                "0x21f8a721",
                "0x21f8a7210000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3751707c",
            "selector": "0x3751707c",
            "calldata_variants": [
                "0x3751707c",
                "0x3751707c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x39e7fddc",
            "selector": "0x39e7fddc",
            "calldata_variants": [
                "0x39e7fddc",
                "0x39e7fddc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2114,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2438,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2612,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 26,
    "guards_detected": [
        {
            "pc": 2820,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3841,
            "type": "tx_origin_used"
        },
        {
            "pc": 4932,
            "type": "tx_origin_used"
        },
        {
            "pc": 5127,
            "type": "tx_origin_used"
        },
        {
            "pc": 5265,
            "type": "tx_origin_used"
        },
        {
            "pc": 5368,
            "type": "tx_origin_used"
        },
        {
            "pc": 5778,
            "type": "tx_origin_used"
        },
        {
            "pc": 5832,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5886,
            "type": "tx_origin_used"
        },
        {
            "pc": 6391,
            "type": "tx_origin_used"
        },
        {
            "pc": 6895,
            "type": "tx_origin_used"
        },
        {
            "pc": 7047,
            "type": "tx_origin_used"
        },
        {
            "pc": 7218,
            "type": "tx_origin_used"
        },
        {
            "pc": 9141,
            "type": "tx_origin_used"
        },
        {
            "pc": 10271,
            "type": "tx_origin_used"
        },
        {
            "pc": 11386,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector SELFDESTRUCT reachable 45 no no
view
trace_id: 0x2b372c2288c1f15b042df775460ce3f179dce40d812e4c6e8a790e0a454e0988
validation_json 
{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x2b372c2288c1f15b042df775460ce3f179dce40d812e4c6e8a790e0a454e0988",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x13c8a376",
            "selector": "0x13c8a376",
            "calldata_variants": [
                "0x13c8a376",
                "0x13c8a3760000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x21f8a721",
            "selector": "0x21f8a721",
            "calldata_variants": [
                "0x21f8a721",
                "0x21f8a7210000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3751707c",
            "selector": "0x3751707c",
            "calldata_variants": [
                "0x3751707c",
                "0x3751707c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x39e7fddc",
            "selector": "0x39e7fddc",
            "calldata_variants": [
                "0x39e7fddc",
                "0x39e7fddc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [
        {
            "pc": 2820,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3841,
            "type": "tx_origin_used"
        },
        {
            "pc": 4932,
            "type": "tx_origin_used"
        },
        {
            "pc": 5127,
            "type": "tx_origin_used"
        },
        {
            "pc": 5265,
            "type": "tx_origin_used"
        },
        {
            "pc": 5368,
            "type": "tx_origin_used"
        },
        {
            "pc": 5778,
            "type": "tx_origin_used"
        },
        {
            "pc": 5832,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5886,
            "type": "tx_origin_used"
        },
        {
            "pc": 6391,
            "type": "tx_origin_used"
        },
        {
            "pc": 6895,
            "type": "tx_origin_used"
        },
        {
            "pc": 7047,
            "type": "tx_origin_used"
        },
        {
            "pc": 7218,
            "type": "tx_origin_used"
        },
        {
            "pc": 9141,
            "type": "tx_origin_used"
        },
        {
            "pc": 10271,
            "type": "tx_origin_used"
        },
        {
            "pc": 11386,
            "type": "tx_origin_used"
        }
    ],
    "selfdestruct_count": 1
}