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

Analysis Run

019b3844-8eed-715c-9111-89e8b2e4f9dc

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

What survived the funnel

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

Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
12355 artifact.fetch complete 1 / 3 3 months ago
12356 tool.cast_disasm complete 1 / 3 3 months ago
55060 analysis.bundle complete 1 / 3 1 week ago
55061 capability.graph complete 1 / 3 1 week ago
55062 detector.run complete 1 / 3 1 week ago
55063 validation.fork complete 1 / 3 1 week 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
0
CREATE2
0
CALL-family (heavy)
9
EXT*/BALANCE
5
Total opcodes
5316
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01e9
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH1 0xe0
00000014: PUSH1 0x02
00000016: EXP
00000017: PUSH1 0x00
00000019: CALLDATALOAD
0000001a: DIV
0000001b: AND
0000001c: PUSH3 0x923f9e
00000020: DUP2
00000021: EQ
00000022: PUSH2 0x01ee
00000025: JUMPI
00000026: DUP1
00000027: PUSH4 0x0562b9f7
0000002c: EQ
0000002d: PUSH2 0x021a
00000030: JUMPI
00000031: DUP1
00000032: PUSH4 0x06fdde03
00000037: EQ
00000038: PUSH2 0x0234
0000003b: JUMPI
0000003c: DUP1
0000003d: PUSH4 0x081812fc
00000042: EQ
00000043: PUSH2 0x02be
00000046: JUMPI
00000047: DUP1
00000048: PUSH4 0x095ea7b3
0000004d: EQ
0000004e: PUSH2 0x02f2
00000051: JUMPI
00000052: DUP1
00000053: PUSH4 0x1051db34
00000058: EQ
00000059: PUSH2 0x0316
0000005c: JUMPI
0000005d: DUP1
0000005e: PUSH4 0x1114fce5
00000063: EQ
00000064: PUSH2 0x032b
00000067: JUMPI
00000068: DUP1
00000069: PUSH4 0x15c73afd
0000006e: EQ
0000006f: PUSH2 0x0340
00000072: JUMPI
00000073: DUP1
00000074: PUSH4 0x1785f53c
00000079: EQ
0000007a: PUSH2 0x0355
0000007d: JUMPI
0000007e: DUP1
0000007f: PUSH4 0x18160ddd
00000084: EQ
00000085: PUSH2 0x0376
00000088: JUMPI
00000089: DUP1
0000008a: PUSH4 0x23b872dd
0000008f: EQ
00000090: PUSH2 0x039d
00000093: JUMPI
00000094: DUP1
00000095: PUSH4 0x24d7806c
0000009a: EQ
0000009b: PUSH2 0x03c7
0000009e: JUMPI
0000009f: DUP1
000000a0: PUSH4 0x2e4f43bf
000000a5: EQ
000000a6: PUSH2 0x03e8
000000a9: JUMPI
000000aa: DUP1
000000ab: PUSH4 0x2f745c59
000000b0: EQ
000000b1: PUSH2 0x0430
000000b4: JUMPI
000000b5: DUP1
000000b6: PUSH4 0x320e028d
000000bb: EQ
000000bc: PUSH2 0x0454
000000bf: JUMPI
000000c0: DUP1
000000c1: PUSH4 0x49f73d3d
000000c6: EQ
000000c7: PUSH2 0x0475
000000ca: JUMPI
000000cb: DUP1
000000cc: PUSH4 0x4f6ccce7
000000d1: EQ
000000d2: PUSH2 0x048d
000000d5: JUMPI
000000d6: DUP1
000000d7: PUSH4 0x54b8dd66
000000dc: EQ
000000dd: PUSH2 0x04a5
000000e0: JUMPI
000000e1: DUP1
000000e2: PUSH4 0x5a3f2672
000000e7: EQ
000000e8: PUSH2 0x0513
000000eb: JUMPI
000000ec: DUP1
000000ed: PUSH4 0x5ba9e48e
000000f2: EQ
000000f3: PUSH2 0x0534
000000f6: JUMPI
000000f7: DUP1
000000f8: PUSH4 0x6352211e
000000fd: EQ
000000fe: PUSH2 0x054c
00000101: JUMPI
00000102: DUP1
00000103: PUSH4 0x65121205
00000108: EQ
00000109: PUSH2 0x0475
0000010c: JUMPI
0000010d: DUP1
0000010e: PUSH4 0x6d2c51a7
00000113: EQ
00000114: PUSH2 0x0564
00000117: JUMPI
00000118: DUP1
00000119: PUSH4 0x70480275
0000011e: EQ
0000011f: PUSH2 0x057c
00000122: JUMPI
00000123: DUP1
00000124: PUSH4 0x70a08231
00000129: EQ
0000012a: PUSH2 0x059d
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0x71dc761e
00000134: EQ
00000135: PUSH2 0x05be
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0x83d8bae3
0000013f: EQ
00000140: PUSH2 0x05d3
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x853828b6
0000014a: EQ
0000014b: PUSH2 0x05fd
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0x8da5cb5b
00000155: EQ
00000156: PUSH2 0x0612
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x95d89b41
00000160: EQ
00000161: PUSH2 0x0627
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0xa55231f4
0000016b: EQ
0000016c: PUSH2 0x063c
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0xa5de3619
00000176: EQ
00000177: PUSH2 0x0695
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0xa9059cbb
00000181: EQ
00000182: PUSH2 0x06aa
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0xb9186d7d
0000018c: EQ
0000018d: PUSH2 0x06ce
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0xc87b56dd
00000197: EQ
00000198: PUSH2 0x06e6
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0xcaa6fea4
000001a2: EQ
000001a3: PUSH2 0x06fe
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0xd96a094a
000001ad: EQ
000001ae: PUSH2 0x0713
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0xde21cd78
000001b8: EQ
000001b9: PUSH2 0x071e
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0xe08503ec
000001c3: EQ
000001c4: PUSH2 0x0739
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0xf2fde38b
000001ce: EQ
000001cf: PUSH2 0x0751
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0xf567a72a
000001d9: EQ
000001da: PUSH2 0x0772
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0xfce48558
000001e4: EQ
000001e5: PUSH2 0x07ad
000001e8: JUMPI
000001e9: JUMPDEST
000001ea: PUSH1 0x00
000001ec: DUP1
000001ed: REVERT
000001ee: JUMPDEST
000001ef: CALLVALUE
000001f0: DUP1
000001f1: ISZERO
000001f2: PUSH2 0x01fa
000001f5: JUMPI
000001f6: PUSH1 0x00
000001f8: DUP1
000001f9: REVERT
000001fa: JUMPDEST
000001fb: POP
000001fc: PUSH2 0x0206
000001ff: PUSH1 0x04
00000201: CALLDATALOAD
00000202: PUSH2 0x07c5
00000205: JUMP
00000206: JUMPDEST
00000207: PUSH1 0x40
00000209: DUP1
0000020a: MLOAD
0000020b: SWAP2
0000020c: ISZERO
0000020d: ISZERO
0000020e: DUP3
0000020f: MSTORE
00000210: MLOAD
00000211: SWAP1
00000212: DUP2
00000213: SWAP1
00000214: SUB
00000215: PUSH1 0x20
00000217: ADD
00000218: SWAP1
00000219: RETURN
0000021a: JUMPDEST
0000021b: CALLVALUE
0000021c: DUP1
0000021d: ISZERO
0000021e: PUSH2 0x0226
00000221: JUMPI
00000222: PUSH1 0x00
00000224: DUP1
00000225: REVERT
00000226: JUMPDEST
00000227: POP
00000228: PUSH2 0x0232
0000022b: PUSH1 0x04
0000022d: CALLDATALOAD
0000022e: PUSH2 0x07d8
00000231: JUMP
00000232: JUMPDEST
00000233: STOP
00000234: JUMPDEST
00000235: CALLVALUE
00000236: DUP1
00000237: ISZERO
00000238: PUSH2 0x0240
0000023b: JUMPI
0000023c: PUSH1 0x00
0000023e: DUP1
0000023f: REVERT
00000240: JUMPDEST
00000241: POP
00000242: PUSH2 0x0249
00000245: PUSH2 0x0833
00000248: JUMP
00000249: JUMPDEST
0000024a: PUSH1 0x40
0000024c: DUP1
0000024d: MLOAD
0000024e: PUSH1 0x20
00000250: DUP1
00000251: DUP3
00000252: MSTORE
00000253: DUP4
00000254: MLOAD
00000255: DUP2
00000256: DUP4
00000257: ADD
00000258: MSTORE
00000259: DUP4
0000025a: MLOAD
0000025b: SWAP2
0000025c: SWAP3
0000025d: DUP4
0000025e: SWAP3
0000025f: SWAP1
00000260: DUP4
00000261: ADD
00000262: SWAP2
00000263: DUP6
00000264: ADD
00000265: SWAP1
00000266: DUP1
00000267: DUP4
00000268: DUP4
00000269: PUSH1 0x00
0000026b: JUMPDEST
0000026c: DUP4
0000026d: DUP2
0000026e: LT
0000026f: ISZERO
00000270: PUSH2 0x0283
00000273: JUMPI
00000274: DUP2
00000275: DUP2
00000276: ADD
00000277: MLOAD
00000278: DUP4
00000279: DUP3
0000027a: ADD
0000027b: MSTORE
0000027c: PUSH1 0x20
0000027e: ADD
0000027f: PUSH2 0x026b
00000282: JUMP
00000283: JUMPDEST
00000284: POP
00000285: POP
00000286: POP
00000287: POP
00000288: SWAP1
00000289: POP
0000028a: SWAP1
0000028b: DUP2
0000028c: ADD
0000028d: SWAP1
0000028e: PUSH1 0x1f
00000290: AND
00000291: DUP1
00000292: ISZERO
00000293: PUSH2 0x02b0
00000296: JUMPI
00000297: DUP1
00000298: DUP3
00000299: SUB
0000029a: DUP1
0000029b: MLOAD
0000029c: PUSH1 0x01
0000029e: DUP4
0000029f: PUSH1 0x20
000002a1: SUB
000002a2: PUSH2 0x0100
000002a5: EXP
000002a6: SUB
000002a7: NOT
000002a8: AND
000002a9: DUP2
000002aa: MSTORE
000002ab: PUSH1 0x20
000002ad: ADD
000002ae: SWAP2
000002af: POP
000002b0: JUMPDEST
000002b1: POP
000002b2: SWAP3
000002b3: POP
000002b4: POP
000002b5: POP
000002b6: PUSH1 0x40
000002b8: MLOAD
000002b9: DUP1
000002ba: SWAP2
000002bb: SUB
000002bc: SWAP1
000002bd: RETURN
000002be: JUMPDEST
000002bf: CALLVALUE
000002c0: DUP1
000002c1: ISZERO
000002c2: PUSH2 0x02ca
000002c5: JUMPI
000002c6: PUSH1 0x00
000002c8: DUP1
000002c9: REVERT
000002ca: JUMPDEST
000002cb: POP
000002cc: PUSH2 0x02d6
000002cf: PUSH1 0x04
000002d1: CALLDATALOAD
000002d2: PUSH2 0x086b
000002d5: JUMP
000002d6: JUMPDEST
000002d7: PUSH1 0x40
000002d9: DUP1
000002da: MLOAD
000002db: PUSH1 0x01
000002dd: PUSH1 0xa0
000002df: PUSH1 0x02
000002e1: EXP
000002e2: SUB
000002e3: SWAP1
000002e4: SWAP3
000002e5: AND
000002e6: DUP3
000002e7: MSTORE
000002e8: MLOAD
000002e9: SWAP1
000002ea: DUP2
000002eb: SWAP1
000002ec: SUB
000002ed: PUSH1 0x20
000002ef: ADD
000002f0: SWAP1
000002f1: RETURN
000002f2: JUMPDEST
000002f3: CALLVALUE
000002f4: DUP1
000002f5: ISZERO
000002f6: PUSH2 0x02fe
000002f9: JUMPI
000002fa: PUSH1 0x00
000002fc: DUP1
000002fd: REVERT
000002fe: JUMPDEST
000002ff: POP
00000300: PUSH2 0x0232
00000303: PUSH1 0x01
00000305: PUSH1 0xa0
00000307: PUSH1 0x02
00000309: EXP
0000030a: SUB
0000030b: PUSH1 0x04
0000030d: CALLDATALOAD
0000030e: AND
0000030f: PUSH1 0x24
00000311: CALLDATALOAD
00000312: PUSH2 0x089d
00000315: JUMP
00000316: JUMPDEST
00000317: CALLVALUE
00000318: DUP1
00000319: ISZERO
0000031a: PUSH2 0x0322
0000031d: JUMPI
0000031e: PUSH1 0x00
00000320: DUP1
00000321: REVERT
00000322: JUMPDEST
00000323: POP
00000324: PUSH2 0x0206
00000327: PUSH2 0x09e5
0000032a: JUMP
0000032b: JUMPDEST
0000032c: CALLVALUE
0000032d: DUP1
0000032e: ISZERO
0000032f: PUSH2 0x0337
00000332: JUMPI
00000333: PUSH1 0x00
00000335: DUP1
00000336: REVERT
00000337: JUMPDEST
00000338: POP
00000339: PUSH2 0x0232
0000033c: PUSH2 0x09f5
0000033f: JUMP
00000340: JUMPDEST
00000341: CALLVALUE
00000342: DUP1
00000343: ISZERO
00000344: PUSH2 0x034c
00000347: JUMPI
00000348: PUSH1 0x00
0000034a: DUP1
0000034b: REVERT
0000034c: JUMPDEST
0000034d: POP
0000034e: PUSH2 0x0232
00000351: PUSH2 0x0a2b
00000354: JUMP
00000355: JUMPDEST
00000356: CALLVALUE
00000357: DUP1
00000358: ISZERO
00000359: PUSH2 0x0361
0000035c: JUMPI
0000035d: PUSH1 0x00
0000035f: DUP1
00000360: REVERT
00000361: JUMPDEST
00000362: POP
00000363: PUSH2 0x0232
00000366: PUSH1 0x01
00000368: PUSH1 0xa0
0000036a: PUSH1 0x02
0000036c: EXP
0000036d: SUB
0000036e: PUSH1 0x04
00000370: CALLDATALOAD
00000371: AND
00000372: PUSH2 0x0a88
00000375: JUMP
00000376: JUMPDEST
00000377: CALLVALUE
00000378: DUP1
00000379: ISZERO
0000037a: PUSH2 0x0382
0000037d: JUMPI
0000037e: PUSH1 0x00
00000380: DUP1
00000381: REVERT
00000382: JUMPDEST
00000383: POP
00000384: PUSH2 0x038b
00000387: PUSH2 0x0bb1
0000038a: JUMP
0000038b: JUMPDEST
0000038c: PUSH1 0x40
0000038e: DUP1
0000038f: MLOAD
00000390: SWAP2
00000391: DUP3
00000392: MSTORE
00000393: MLOAD
00000394: SWAP1
00000395: DUP2
00000396: SWAP1
00000397: SUB
00000398: PUSH1 0x20
0000039a: ADD
0000039b: SWAP1
0000039c: RETURN
0000039d: JUMPDEST
0000039e: CALLVALUE
0000039f: DUP1
000003a0: ISZERO
000003a1: PUSH2 0x03a9
000003a4: JUMPI
000003a5: PUSH1 0x00
000003a7: DUP1
000003a8: REVERT
000003a9: JUMPDEST
000003aa: POP
000003ab: PUSH2 0x0232
000003ae: PUSH1 0x01
000003b0: PUSH1 0xa0
000003b2: PUSH1 0x02
000003b4: EXP
000003b5: SUB
000003b6: PUSH1 0x04
000003b8: CALLDATALOAD
000003b9: DUP2
000003ba: AND
000003bb: SWAP1
000003bc: PUSH1 0x24
000003be: CALLDATALOAD
000003bf: AND
000003c0: PUSH1 0x44
000003c2: CALLDATALOAD
000003c3: PUSH2 0x0bb7
000003c6: JUMP
000003c7: JUMPDEST
000003c8: CALLVALUE
000003c9: DUP1
000003ca: ISZERO
000003cb: PUSH2 0x03d3
000003ce: JUMPI
000003cf: PUSH1 0x00
000003d1: DUP1
000003d2: REVERT
000003d3: JUMPDEST
000003d4: POP
000003d5: PUSH2 0x0206
000003d8: PUSH1 0x01
000003da: PUSH1 0xa0
000003dc: PUSH1 0x02
000003de: EXP
000003df: SUB
000003e0: PUSH1 0x04
000003e2: CALLDATALOAD
000003e3: AND
000003e4: PUSH2 0x0bfc
000003e7: JUMP
000003e8: JUMPDEST
000003e9: CALLVALUE
000003ea: DUP1
000003eb: ISZERO
000003ec: PUSH2 0x03f4
000003ef: JUMPI
000003f0: PUSH1 0x00
000003f2: DUP1
000003f3: REVERT
000003f4: JUMPDEST
000003f5: POP
000003f6: PUSH2 0x0400
000003f9: PUSH1 0x04
000003fb: CALLDATALOAD
000003fc: PUSH2 0x0c7c
000003ff: JUMP
00000400: JUMPDEST
00000401: PUSH1 0x40
00000403: DUP1
00000404: MLOAD
00000405: PUSH1 0x01
00000407: PUSH1 0xa0
00000409: PUSH1 0x02
0000040b: EXP
0000040c: SUB
0000040d: SWAP1
0000040e: SWAP6
0000040f: AND
00000410: DUP6
00000411: MSTORE
00000412: PUSH1 0x20
00000414: DUP6
00000415: ADD
00000416: SWAP4
00000417: SWAP1
00000418: SWAP4
00000419: MSTORE
0000041a: DUP4
0000041b: DUP4
0000041c: ADD
0000041d: SWAP2
0000041e: SWAP1
0000041f: SWAP2
00000420: MSTORE
00000421: PUSH1 0x60
00000423: DUP4
00000424: ADD
00000425: MSTORE
00000426: MLOAD
00000427: SWAP1
00000428: DUP2
00000429: SWAP1
0000042a: SUB
0000042b: PUSH1 0x80
0000042d: ADD
0000042e: SWAP1
0000042f: RETURN
00000430: JUMPDEST
00000431: CALLVALUE
00000432: DUP1
00000433: ISZERO
00000434: PUSH2 0x043c
00000437: JUMPI
00000438: PUSH1 0x00
0000043a: DUP1
0000043b: REVERT
0000043c: JUMPDEST
0000043d: POP
0000043e: PUSH2 0x038b
00000441: PUSH1 0x01
00000443: PUSH1 0xa0
00000445: PUSH1 0x02
00000447: EXP
00000448: SUB
00000449: PUSH1 0x04
0000044b: CALLDATALOAD
0000044c: AND
0000044d: PUSH1 0x24
0000044f: CALLDATALOAD
00000450: PUSH2 0x0cb5
00000453: JUMP
00000454: JUMPDEST
00000455: CALLVALUE
00000456: DUP1
00000457: ISZERO
00000458: PUSH2 0x0460
0000045b: JUMPI
0000045c: PUSH1 0x00
0000045e: DUP1
0000045f: REVERT
00000460: JUMPDEST
00000461: POP
00000462: PUSH2 0x0232
00000465: PUSH1 0x01
00000467: PUSH1 0xa0
00000469: PUSH1 0x02
0000046b: EXP
0000046c: SUB
0000046d: PUSH1 0x04
0000046f: CALLDATALOAD
00000470: AND
00000471: PUSH2 0x0d4c
00000474: JUMP
00000475: JUMPDEST
00000476: CALLVALUE
00000477: DUP1
00000478: ISZERO
00000479: PUSH2 0x0481
0000047c: JUMPI
0000047d: PUSH1 0x00
0000047f: DUP1
00000480: REVERT
00000481: JUMPDEST
00000482: POP
00000483: PUSH2 0x038b
00000486: PUSH1 0x04
00000488: CALLDATALOAD
00000489: PUSH2 0x0d98
0000048c: JUMP
0000048d: JUMPDEST
0000048e: CALLVALUE
0000048f: DUP1
00000490: ISZERO
00000491: PUSH2 0x0499
00000494: JUMPI
00000495: PUSH1 0x00
00000497: DUP1
00000498: REVERT
00000499: JUMPDEST
0000049a: POP
0000049b: PUSH2 0x038b
0000049e: PUSH1 0x04
000004a0: CALLDATALOAD
000004a1: PUSH2 0x0dc2
000004a4: JUMP
000004a5: JUMPDEST
000004a6: CALLVALUE
000004a7: DUP1
000004a8: ISZERO
000004a9: PUSH2 0x04b1
000004ac: JUMPI
000004ad: PUSH1 0x00
000004af: DUP1
000004b0: REVERT
000004b1: JUMPDEST
000004b2: POP
000004b3: PUSH2 0x04c3
000004b6: PUSH1 0x04
000004b8: CALLDATALOAD
000004b9: PUSH1 0x24
000004bb: CALLDATALOAD
000004bc: PUSH1 0x44
000004be: CALLDATALOAD
000004bf: PUSH2 0x0df7
000004c2: JUMP
000004c3: JUMPDEST
000004c4: PUSH1 0x40
000004c6: DUP1
000004c7: MLOAD
000004c8: PUSH1 0x20
000004ca: DUP1
000004cb: DUP3
000004cc: MSTORE
000004cd: DUP4
000004ce: MLOAD
000004cf: DUP2
000004d0: DUP4
000004d1: ADD
000004d2: MSTORE
000004d3: DUP4
000004d4: MLOAD
000004d5: SWAP2
000004d6: SWAP3
000004d7: DUP4
000004d8: SWAP3
000004d9: SWAP1
000004da: DUP4
000004db: ADD
000004dc: SWAP2
000004dd: DUP6
000004de: DUP2
000004df: ADD
000004e0: SWAP2
000004e1: MUL
000004e2: DUP1
000004e3: DUP4
000004e4: DUP4
000004e5: PUSH1 0x00
000004e7: JUMPDEST
000004e8: DUP4
000004e9: DUP2
000004ea: LT
000004eb: ISZERO
000004ec: PUSH2 0x04ff
000004ef: JUMPI
000004f0: DUP2
000004f1: DUP2
000004f2: ADD
000004f3: MLOAD
000004f4: DUP4
000004f5: DUP3
000004f6: ADD
000004f7: MSTORE
000004f8: PUSH1 0x20
000004fa: ADD
000004fb: PUSH2 0x04e7
000004fe: JUMP
000004ff: JUMPDEST
00000500: POP
00000501: POP
00000502: POP
00000503: POP
00000504: SWAP1
00000505: POP
00000506: ADD
00000507: SWAP3
00000508: POP
00000509: POP
0000050a: POP
0000050b: PUSH1 0x40
0000050d: MLOAD
0000050e: DUP1
0000050f: SWAP2
00000510: SUB
00000511: SWAP1
00000512: RETURN
00000513: JUMPDEST
00000514: CALLVALUE
00000515: DUP1
00000516: ISZERO
00000517: PUSH2 0x051f
0000051a: JUMPI
0000051b: PUSH1 0x00
0000051d: DUP1
0000051e: REVERT
0000051f: JUMPDEST
00000520: POP
00000521: PUSH2 0x04c3
00000524: PUSH1 0x01
00000526: PUSH1 0xa0
00000528: PUSH1 0x02
0000052a: EXP
0000052b: SUB
0000052c: PUSH1 0x04
0000052e: CALLDATALOAD
0000052f: AND
00000530: PUSH2 0x0eaf
00000533: JUMP
00000534: JUMPDEST
00000535: CALLVALUE
00000536: DUP1
00000537: ISZERO
00000538: PUSH2 0x0540
0000053b: JUMPI
0000053c: PUSH1 0x00
0000053e: DUP1
0000053f: REVERT
00000540: JUMPDEST
00000541: POP
00000542: PUSH2 0x038b
00000545: PUSH1 0x04
00000547: CALLDATALOAD
00000548: PUSH2 0x0f82
0000054b: JUMP
0000054c: JUMPDEST
0000054d: CALLVALUE
0000054e: DUP1
0000054f: ISZERO
00000550: PUSH2 0x0558
00000553: JUMPI
00000554: PUSH1 0x00
00000556: DUP1
00000557: REVERT
00000558: JUMPDEST
00000559: POP
0000055a: PUSH2 0x02d6
0000055d: PUSH1 0x04
0000055f: CALLDATALOAD
00000560: PUSH2 0x0f95
00000563: JUMP
00000564: JUMPDEST
00000565: CALLVALUE
00000566: DUP1
00000567: ISZERO
00000568: PUSH2 0x0570
0000056b: JUMPI
0000056c: PUSH1 0x00
0000056e: DUP1
0000056f: REVERT
00000570: JUMPDEST
00000571: POP
00000572: PUSH2 0x038b
00000575: PUSH1 0x04
00000577: CALLDATALOAD
00000578: PUSH2 0x0fb0
0000057b: JUMP
0000057c: JUMPDEST
0000057d: CALLVALUE
0000057e: DUP1
0000057f: ISZERO
00000580: PUSH2 0x0588
00000583: JUMPI
00000584: PUSH1 0x00
00000586: DUP1
00000587: REVERT
00000588: JUMPDEST
00000589: POP
0000058a: PUSH2 0x0232
0000058d: PUSH1 0x01
0000058f: PUSH1 0xa0
00000591: PUSH1 0x02
00000593: EXP
00000594: SUB
00000595: PUSH1 0x04
00000597: CALLDATALOAD
00000598: AND
00000599: PUSH2 0x0fc2
0000059c: JUMP
0000059d: JUMPDEST
0000059e: CALLVALUE
0000059f: DUP1
000005a0: ISZERO
000005a1: PUSH2 0x05a9
000005a4: JUMPI
000005a5: PUSH1 0x00
000005a7: DUP1
000005a8: REVERT
000005a9: JUMPDEST
000005aa: POP
000005ab: PUSH2 0x038b
000005ae: PUSH1 0x01
000005b0: PUSH1 0xa0
000005b2: PUSH1 0x02
000005b4: EXP
000005b5: SUB
000005b6: PUSH1 0x04
000005b8: CALLDATALOAD
000005b9: AND
000005ba: PUSH2 0x102a
000005bd: JUMP
000005be: JUMPDEST
000005bf: CALLVALUE
000005c0: DUP1
000005c1: ISZERO
000005c2: PUSH2 0x05ca
000005c5: JUMPI
000005c6: PUSH1 0x00
000005c8: DUP1
000005c9: REVERT
000005ca: JUMPDEST
000005cb: POP
000005cc: PUSH2 0x0232
000005cf: PUSH2 0x107a
000005d2: JUMP
000005d3: JUMPDEST
000005d4: CALLVALUE
000005d5: DUP1
000005d6: ISZERO
000005d7: PUSH2 0x05df
000005da: JUMPI
000005db: PUSH1 0x00
000005dd: DUP1
000005de: REVERT
000005df: JUMPDEST
000005e0: POP
000005e1: PUSH2 0x0232
000005e4: PUSH1 0x04
000005e6: CALLDATALOAD
000005e7: PUSH1 0x24
000005e9: CALLDATALOAD
000005ea: PUSH1 0x44
000005ec: CALLDATALOAD
000005ed: PUSH1 0x01
000005ef: PUSH1 0xa0
000005f1: PUSH1 0x02
000005f3: EXP
000005f4: SUB
000005f5: PUSH1 0x64
000005f7: CALLDATALOAD
000005f8: AND
000005f9: PUSH2 0x10b8
000005fc: JUMP
000005fd: JUMPDEST
000005fe: CALLVALUE
000005ff: DUP1
00000600: ISZERO
00000601: PUSH2 0x0609
00000604: JUMPI
00000605: PUSH1 0x00
00000607: DUP1
00000608: REVERT
00000609: JUMPDEST
0000060a: POP
0000060b: PUSH2 0x0232
0000060e: PUSH2 0x1364
00000611: JUMP
00000612: JUMPDEST
00000613: CALLVALUE
00000614: DUP1
00000615: ISZERO
00000616: PUSH2 0x061e
00000619: JUMPI
0000061a: PUSH1 0x00
0000061c: DUP1
0000061d: REVERT
0000061e: JUMPDEST
0000061f: POP
00000620: PUSH2 0x02d6
00000623: PUSH2 0x13bb
00000626: JUMP
00000627: JUMPDEST
00000628: CALLVALUE
00000629: DUP1
0000062a: ISZERO
0000062b: PUSH2 0x0633
0000062e: JUMPI
0000062f: PUSH1 0x00
00000631: DUP1
00000632: REVERT
00000633: JUMPDEST
00000634: POP
00000635: PUSH2 0x0249
00000638: PUSH2 0x13ca
0000063b: JUMP
0000063c: JUMPDEST
0000063d: CALLVALUE
0000063e: DUP1
0000063f: ISZERO
00000640: PUSH2 0x0648
00000643: JUMPI
00000644: PUSH1 0x00
00000646: DUP1
00000647: REVERT
00000648: JUMPDEST
00000649: POP
0000064a: PUSH1 0x40
0000064c: DUP1
0000064d: MLOAD
0000064e: PUSH1 0x20
00000650: PUSH1 0x04
00000652: DUP1
00000653: CALLDATALOAD
00000654: DUP1
00000655: DUP3
00000656: ADD
00000657: CALLDATALOAD
00000658: PUSH1 0x1f
0000065a: DUP2
0000065b: ADD
0000065c: DUP5
0000065d: SWAP1
0000065e: DIV
0000065f: DUP5
00000660: MUL
00000661: DUP6
00000662: ADD
00000663: DUP5
00000664: ADD
00000665: SWAP1
00000666: SWAP6
00000667: MSTORE
00000668: DUP5
00000669: DUP5
0000066a: MSTORE
0000066b: PUSH2 0x0232
0000066e: SWAP5
0000066f: CALLDATASIZE
00000670: SWAP5
00000671: SWAP3
00000672: SWAP4
00000673: PUSH1 0x24
00000675: SWAP4
00000676: SWAP3
00000677: DUP5
00000678: ADD
00000679: SWAP2
0000067a: SWAP1
0000067b: DUP2
0000067c: SWAP1
0000067d: DUP5
0000067e: ADD
0000067f: DUP4
00000680: DUP3
00000681: DUP1
00000682: DUP3
00000683: DUP5
00000684: CALLDATACOPY
00000685: POP
00000686: SWAP5
00000687: SWAP8
00000688: POP
00000689: PUSH2 0x1401
0000068c: SWAP7
0000068d: POP
0000068e: POP
0000068f: POP
00000690: POP
00000691: POP
00000692: POP
00000693: POP
00000694: JUMP
00000695: JUMPDEST
00000696: CALLVALUE
00000697: DUP1
00000698: ISZERO
00000699: PUSH2 0x06a1
0000069c: JUMPI
0000069d: PUSH1 0x00
0000069f: DUP1
000006a0: REVERT
000006a1: JUMPDEST
000006a2: POP
000006a3: PUSH2 0x04c3
000006a6: PUSH2 0x14d0
000006a9: JUMP
000006aa: JUMPDEST
000006ab: CALLVALUE
000006ac: DUP1
000006ad: ISZERO
000006ae: PUSH2 0x06b6
000006b1: JUMPI
000006b2: PUSH1 0x00
000006b4: DUP1
000006b5: REVERT
000006b6: JUMPDEST
000006b7: POP
000006b8: PUSH2 0x0232
000006bb: PUSH1 0x01
000006bd: PUSH1 0xa0
000006bf: PUSH1 0x02
000006c1: EXP
000006c2: SUB
000006c3: PUSH1 0x04
000006c5: CALLDATALOAD
000006c6: AND
000006c7: PUSH1 0x24
000006c9: CALLDATALOAD
000006ca: PUSH2 0x1532
000006cd: JUMP
000006ce: JUMPDEST
000006cf: CALLVALUE
000006d0: DUP1
000006d1: ISZERO
000006d2: PUSH2 0x06da
000006d5: JUMPI
000006d6: PUSH1 0x00
000006d8: DUP1
000006d9: REVERT
000006da: JUMPDEST
000006db: POP
000006dc: PUSH2 0x038b
000006df: PUSH1 0x04
000006e1: CALLDATALOAD
000006e2: PUSH2 0x1572
000006e5: JUMP
000006e6: JUMPDEST
000006e7: CALLVALUE
000006e8: DUP1
000006e9: ISZERO
000006ea: PUSH2 0x06f2
000006ed: JUMPI
000006ee: PUSH1 0x00
000006f0: DUP1
000006f1: REVERT
000006f2: JUMPDEST
000006f3: POP
000006f4: PUSH2 0x0249
000006f7: PUSH1 0x04
000006f9: CALLDATALOAD
000006fa: PUSH2 0x1584
000006fd: JUMP
000006fe: JUMPDEST
000006ff: CALLVALUE
00000700: DUP1
00000701: ISZERO
00000702: PUSH2 0x070a
00000705: JUMPI
00000706: PUSH1 0x00
00000708: DUP1
00000709: REVERT
0000070a: JUMPDEST
0000070b: POP
0000070c: PUSH2 0x0206
0000070f: PUSH2 0x15f4
00000712: JUMP
00000713: JUMPDEST
00000714: PUSH2 0x0232
00000717: PUSH1 0x04
00000719: CALLDATALOAD
0000071a: PUSH2 0x15fd
0000071d: JUMP
0000071e: JUMPDEST
0000071f: CALLVALUE
00000720: DUP1
00000721: ISZERO
00000722: PUSH2 0x072a
00000725: JUMPI
00000726: PUSH1 0x00
00000728: DUP1
00000729: REVERT
0000072a: JUMPDEST
0000072b: POP
0000072c: PUSH2 0x04c3
0000072f: PUSH1 0x04
00000731: CALLDATALOAD
00000732: PUSH1 0x24
00000734: CALLDATALOAD
00000735: PUSH2 0x198c
00000738: JUMP
00000739: JUMPDEST
0000073a: CALLVALUE
0000073b: DUP1
0000073c: ISZERO
0000073d: PUSH2 0x0745
00000740: JUMPI
00000741: PUSH1 0x00
00000743: DUP1
00000744: REVERT
00000745: JUMPDEST
00000746: POP
00000747: PUSH2 0x038b
0000074a: PUSH1 0x04
0000074c: CALLDATALOAD
0000074d: PUSH2 0x1a36
00000750: JUMP
00000751: JUMPDEST
00000752: CALLVALUE
00000753: DUP1
00000754: ISZERO
00000755: PUSH2 0x075d
00000758: JUMPI
00000759: PUSH1 0x00
0000075b: DUP1
0000075c: REVERT
0000075d: JUMPDEST
0000075e: POP
0000075f: PUSH2 0x0232
00000762: PUSH1 0x01
00000764: PUSH1 0xa0
00000766: PUSH1 0x02
00000768: EXP
00000769: SUB
0000076a: PUSH1 0x04
0000076c: CALLDATALOAD
0000076d: AND
0000076e: PUSH2 0x1a4e
00000771: JUMP
00000772: JUMPDEST
00000773: CALLVALUE
00000774: DUP1
00000775: ISZERO
00000776: PUSH2 0x077e
00000779: JUMPI
0000077a: PUSH1 0x00
0000077c: DUP1
0000077d: REVERT
0000077e: JUMPDEST
0000077f: POP
00000780: PUSH2 0x0232
00000783: PUSH1 0x24
00000785: PUSH1 0x04
00000787: DUP1
00000788: CALLDATALOAD
00000789: DUP3
0000078a: DUP2
0000078b: ADD
0000078c: SWAP3
0000078d: SWAP1
0000078e: DUP3
0000078f: ADD
00000790: CALLDATALOAD
00000791: SWAP2
00000792: DUP2
00000793: CALLDATALOAD
00000794: SWAP2
00000795: DUP3
00000796: ADD
00000797: SWAP2
00000798: ADD
00000799: CALLDATALOAD
0000079a: PUSH1 0x44
0000079c: CALLDATALOAD
0000079d: PUSH1 0x01
0000079f: PUSH1 0xa0
000007a1: PUSH1 0x02
000007a3: EXP
000007a4: SUB
000007a5: PUSH1 0x64
000007a7: CALLDATALOAD
000007a8: AND
000007a9: PUSH2 0x1a8f
000007ac: JUMP
000007ad: JUMPDEST
000007ae: CALLVALUE
000007af: DUP1
000007b0: ISZERO
000007b1: PUSH2 0x07b9
000007b4: JUMPI
000007b5: PUSH1 0x00
000007b7: DUP1
000007b8: REVERT
000007b9: JUMPDEST
000007ba: POP
000007bb: PUSH2 0x038b
000007be: PUSH1 0x04
000007c0: CALLDATALOAD
000007c1: PUSH2 0x1b2c
000007c4: JUMP
000007c5: JUMPDEST
000007c6: PUSH1 0x00
000007c8: DUP1
000007c9: PUSH2 0x07d1
000007cc: DUP4
000007cd: PUSH2 0x1572
000007d0: JUMP
000007d1: JUMPDEST
000007d2: GT
000007d3: SWAP3
000007d4: SWAP2
000007d5: POP
000007d6: POP
000007d7: JUMP
000007d8: JUMPDEST
000007d9: PUSH1 0x00
000007db: SLOAD
000007dc: PUSH1 0x01
000007de: PUSH1 0xa0
000007e0: PUSH1 0x02
000007e2: EXP
000007e3: SUB
000007e4: AND
000007e5: CALLER
000007e6: EQ
000007e7: PUSH2 0x07ef
000007ea: JUMPI
000007eb: PUSH1 0x00
000007ed: DUP1
000007ee: REVERT
000007ef: JUMPDEST
000007f0: PUSH2 0x07f7
000007f3: PUSH2 0x13bb
000007f6: JUMP
000007f7: JUMPDEST
000007f8: PUSH1 0x01
000007fa: PUSH1 0xa0
000007fc: PUSH1 0x02
000007fe: EXP
000007ff: SUB
00000800: AND
00000801: PUSH2 0x08fc
00000804: DUP3
00000805: SWAP1
00000806: DUP2
00000807: ISZERO
00000808: MUL
00000809: SWAP1
0000080a: PUSH1 0x40
0000080c: MLOAD
0000080d: PUSH1 0x00
0000080f: PUSH1 0x40
00000811: MLOAD
00000812: DUP1
00000813: DUP4
00000814: SUB
00000815: DUP2
00000816: DUP6
00000817: DUP9
00000818: DUP9
00000819: CALL
0000081a: SWAP4
0000081b: POP
0000081c: POP
0000081d: POP
0000081e: POP
0000081f: ISZERO
00000820: DUP1
00000821: ISZERO
00000822: PUSH2 0x082f
00000825: JUMPI
00000826: RETURNDATASIZE
00000827: PUSH1 0x00
00000829: DUP1
0000082a: RETURNDATACOPY
0000082b: RETURNDATASIZE
0000082c: PUSH1 0x00
0000082e: REVERT
0000082f: JUMPDEST
00000830: POP
00000831: POP
00000832: JUMP
00000833: JUMPDEST
00000834: PUSH1 0x40
00000836: DUP1
00000837: MLOAD
00000838: DUP1
00000839: DUP3
0000083a: ADD
0000083b: SWAP1
0000083c: SWAP2
0000083d: MSTORE
0000083e: PUSH1 0x19
00000840: DUP2
00000841: MSTORE
00000842: PUSH32 0x43727970746f436f756e74726965732e696f2043697469657300000000000000
00000863: PUSH1 0x20
00000865: DUP3
00000866: ADD
00000867: MSTORE
00000868: JUMPDEST
00000869: SWAP1
0000086a: JUMP
0000086b: JUMPDEST
0000086c: PUSH1 0x00
0000086e: PUSH2 0x0876
00000871: DUP3
00000872: PUSH2 0x07c5
00000875: JUMP
00000876: JUMPDEST
00000877: ISZERO
00000878: ISZERO
00000879: PUSH2 0x0881
0000087c: JUMPI
0000087d: PUSH1 0x00
0000087f: DUP1
00000880: REVERT
00000881: JUMPDEST
00000882: POP
00000883: PUSH1 0x00
00000885: SWAP1
00000886: DUP2
00000887: MSTORE
00000888: PUSH1 0x08
0000088a: PUSH1 0x20
0000088c: MSTORE
0000088d: PUSH1 0x40
0000088f: SWAP1
00000890: KECCAK256
00000891: SLOAD
00000892: PUSH1 0x01
00000894: PUSH1 0xa0
00000896: PUSH1 0x02
00000898: EXP
00000899: SUB
0000089a: AND
0000089b: SWAP1
0000089c: JUMP
0000089d: JUMPDEST
0000089e: PUSH1 0x02
000008a0: SLOAD
000008a1: PUSH1 0xa8
000008a3: PUSH1 0x02
000008a5: EXP
000008a6: SWAP1
000008a7: DIV
000008a8: PUSH1 0xff
000008aa: AND
000008ab: ISZERO
000008ac: ISZERO
000008ad: PUSH2 0x08b5
000008b0: JUMPI
000008b1: PUSH1 0x00
000008b3: DUP1
000008b4: REVERT
000008b5: JUMPDEST
000008b6: CALLER
000008b7: PUSH1 0x01
000008b9: PUSH1 0xa0
000008bb: PUSH1 0x02
000008bd: EXP
000008be: SUB
000008bf: DUP4
000008c0: AND
000008c1: EQ
000008c2: ISZERO
000008c3: PUSH2 0x08cb
000008c6: JUMPI
000008c7: PUSH1 0x00
000008c9: DUP1
000008ca: REVERT
000008cb: JUMPDEST
000008cc: PUSH2 0x08d4
000008cf: DUP2
000008d0: PUSH2 0x07c5
000008d3: JUMP
000008d4: JUMPDEST
000008d5: ISZERO
000008d6: ISZERO
000008d7: PUSH2 0x08df
000008da: JUMPI
000008db: PUSH1 0x00
000008dd: DUP1
000008de: REVERT
000008df: JUMPDEST
000008e0: CALLER
000008e1: PUSH2 0x08e9
000008e4: DUP3
000008e5: PUSH2 0x0f95
000008e8: JUMP
000008e9: JUMPDEST
000008ea: PUSH1 0x01
000008ec: PUSH1 0xa0
000008ee: PUSH1 0x02
000008f0: EXP
000008f1: SUB
000008f2: AND
000008f3: EQ
000008f4: PUSH2 0x08fc
000008f7: JUMPI
000008f8: PUSH1 0x00
000008fa: DUP1
000008fb: REVERT
000008fc: JUMPDEST
000008fd: PUSH1 0x01
000008ff: PUSH1 0xa0
00000901: PUSH1 0x02
00000903: EXP
00000904: SUB
00000905: DUP3
00000906: AND
00000907: ISZERO
00000908: ISZERO
00000909: PUSH2 0x097f
0000090c: JUMPI
0000090d: PUSH1 0x00
0000090f: DUP2
00000910: DUP2
00000911: MSTORE
00000912: PUSH1 0x08
00000914: PUSH1 0x20
00000916: MSTORE
00000917: PUSH1 0x40
00000919: SWAP1
0000091a: KECCAK256
0000091b: SLOAD
0000091c: PUSH1 0x01
0000091e: PUSH1 0xa0
00000920: PUSH1 0x02
00000922: EXP
00000923: SUB
00000924: AND
00000925: ISZERO
00000926: PUSH2 0x097a
00000929: JUMPI
0000092a: PUSH1 0x00
0000092c: DUP2
0000092d: DUP2
0000092e: MSTORE
0000092f: PUSH1 0x08
00000931: PUSH1 0x20
00000933: SWAP1
00000934: DUP2
00000935: MSTORE
00000936: PUSH1 0x40
00000938: DUP1
00000939: DUP4
0000093a: KECCAK256
0000093b: DUP1
0000093c: SLOAD
0000093d: PUSH1 0x01
0000093f: PUSH1 0xa0
00000941: PUSH1 0x02
00000943: EXP
00000944: SUB
00000945: NOT
00000946: AND
00000947: SWAP1
00000948: SSTORE
00000949: DUP1
0000094a: MLOAD
0000094b: DUP5
0000094c: DUP2
0000094d: MSTORE
0000094e: SWAP1
0000094f: MLOAD
00000950: CALLER
00000951: SWAP3
00000952: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000973: SWAP3
00000974: DUP3
00000975: SWAP1
00000976: SUB
00000977: ADD
00000978: SWAP1
00000979: LOG3
0000097a: JUMPDEST
0000097b: PUSH2 0x082f
0000097e: JUMP
0000097f: JUMPDEST
00000980: PUSH1 0x00
00000982: DUP2
00000983: DUP2
00000984: MSTORE
00000985: PUSH1 0x08
00000987: PUSH1 0x20
00000989: SWAP1
0000098a: DUP2
0000098b: MSTORE
0000098c: PUSH1 0x40
0000098e: SWAP2
0000098f: DUP3
00000990: SWAP1
00000991: KECCAK256
00000992: DUP1
00000993: SLOAD
00000994: PUSH1 0x01
00000996: PUSH1 0xa0
00000998: PUSH1 0x02
0000099a: EXP
0000099b: SUB
0000099c: NOT
0000099d: AND
0000099e: PUSH1 0x01
000009a0: PUSH1 0xa0
000009a2: PUSH1 0x02
000009a4: EXP
000009a5: SUB
000009a6: DUP7
000009a7: AND
000009a8: SWAP1
000009a9: DUP2
000009aa: OR
000009ab: SWAP1
000009ac: SWAP2
000009ad: SSTORE
000009ae: DUP3
000009af: MLOAD
000009b0: DUP5
000009b1: DUP2
000009b2: MSTORE
000009b3: SWAP3
000009b4: MLOAD
000009b5: SWAP1
000009b6: SWAP3
000009b7: CALLER
000009b8: SWAP3
000009b9: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000009da: SWAP3
000009db: SWAP2
000009dc: DUP3
000009dd: SWAP1
000009de: SUB
000009df: ADD
000009e0: SWAP1
000009e1: LOG3
000009e2: POP
000009e3: POP
000009e4: JUMP
000009e5: JUMPDEST
000009e6: PUSH1 0x02
000009e8: SLOAD
000009e9: PUSH1 0xa8
000009eb: PUSH1 0x02
000009ed: EXP
000009ee: SWAP1
000009ef: DIV
000009f0: PUSH1 0xff
000009f2: AND
000009f3: SWAP1
000009f4: JUMP
000009f5: JUMPDEST
000009f6: PUSH1 0x00
000009f8: SLOAD
000009f9: PUSH1 0x01
000009fb: PUSH1 0xa0
000009fd: PUSH1 0x02
000009ff: EXP
00000a00: SUB
00000a01: AND
00000a02: CALLER
00000a03: EQ
00000a04: PUSH2 0x0a0c
00000a07: JUMPI
00000a08: PUSH1 0x00
00000a0a: DUP1
00000a0b: REVERT
00000a0c: JUMPDEST
00000a0d: PUSH1 0x01
00000a0f: SLOAD
00000a10: PUSH1 0x00
00000a12: LT
00000a13: PUSH2 0x0a1b
00000a16: JUMPI
00000a17: PUSH1 0x00
00000a19: DUP1
00000a1a: REVERT
00000a1b: JUMPDEST
00000a1c: PUSH1 0x00
00000a1e: PUSH2 0x0a28
00000a21: PUSH1 0x01
00000a23: DUP3
00000a24: PUSH2 0x1ecf
00000a27: JUMP
00000a28: JUMPDEST
00000a29: POP
00000a2a: JUMP
00000a2b: JUMPDEST
00000a2c: PUSH1 0x00
00000a2e: SLOAD
00000a2f: PUSH1 0x01
00000a31: PUSH1 0xa0
00000a33: PUSH1 0x02
00000a35: EXP
00000a36: SUB
00000a37: AND
00000a38: CALLER
00000a39: EQ
00000a3a: PUSH2 0x0a42
00000a3d: JUMPI
00000a3e: PUSH1 0x00
00000a40: DUP1
00000a41: REVERT
00000a42: JUMPDEST
00000a43: PUSH1 0x02
00000a45: SLOAD
00000a46: PUSH1 0xff
00000a48: AND
00000a49: ISZERO
00000a4a: ISZERO
00000a4b: PUSH2 0x0a53
00000a4e: JUMPI
00000a4f: PUSH1 0x00
00000a51: DUP1
00000a52: REVERT
00000a53: JUMPDEST
00000a54: PUSH1 0x02
00000a56: DUP1
00000a57: SLOAD
00000a58: PUSH1 0xff
00000a5a: NOT
00000a5b: AND
00000a5c: SWAP1
00000a5d: SSTORE
00000a5e: PUSH1 0x40
00000a60: MLOAD
00000a61: PUSH32 0xcd1edd3018973cd5506b3cbfbd904dac48d81ad72345b4f4e0b08b198e787e2f
00000a82: SWAP1
00000a83: PUSH1 0x00
00000a85: SWAP1
00000a86: LOG1
00000a87: JUMP
00000a88: JUMPDEST
00000a89: PUSH1 0x00
00000a8b: DUP1
00000a8c: SLOAD
00000a8d: DUP2
00000a8e: SWAP1
00000a8f: DUP2
00000a90: SWAP1
00000a91: DUP2
00000a92: SWAP1
00000a93: PUSH1 0x01
00000a95: PUSH1 0xa0
00000a97: PUSH1 0x02
00000a99: EXP
00000a9a: SUB
00000a9b: AND
00000a9c: CALLER
00000a9d: EQ
00000a9e: PUSH2 0x0aa6
00000aa1: JUMPI
00000aa2: PUSH1 0x00
00000aa4: DUP1
00000aa5: REVERT
00000aa6: JUMPDEST
00000aa7: PUSH2 0x0aaf
00000aaa: DUP6
00000aab: PUSH2 0x0bfc
00000aae: JUMP
00000aaf: JUMPDEST
00000ab0: ISZERO
00000ab1: ISZERO
00000ab2: PUSH2 0x0aba
00000ab5: JUMPI
00000ab6: PUSH1 0x00
00000ab8: DUP1
00000ab9: REVERT
00000aba: JUMPDEST
00000abb: PUSH1 0x01
00000abd: DUP1
00000abe: SLOAD
00000abf: SWAP5
00000ac0: POP
00000ac1: PUSH1 0x00
00000ac3: NOT
00000ac4: DUP6
00000ac5: ADD
00000ac6: DUP6
00000ac7: DUP2
00000ac8: LT
00000ac9: PUSH2 0x0ace
00000acc: JUMPI
00000acd: INVALID
00000ace: JUMPDEST
00000acf: PUSH1 0x00
00000ad1: SWAP2
00000ad2: DUP3
00000ad3: MSTORE
00000ad4: PUSH1 0x20
00000ad6: DUP3
00000ad7: KECCAK256
00000ad8: ADD
00000ad9: SLOAD
00000ada: PUSH1 0x01
00000adc: PUSH1 0xa0
00000ade: PUSH1 0x02
00000ae0: EXP
00000ae1: SUB
00000ae2: AND
00000ae3: SWAP4
00000ae4: POP
00000ae5: SWAP2
00000ae6: POP
00000ae7: DUP2
00000ae8: SWAP1
00000ae9: POP
00000aea: JUMPDEST
00000aeb: DUP4
00000aec: DUP2
00000aed: LT
00000aee: ISZERO
00000aef: PUSH2 0x0b32
00000af2: JUMPI
00000af3: DUP5
00000af4: PUSH1 0x01
00000af6: PUSH1 0xa0
00000af8: PUSH1 0x02
00000afa: EXP
00000afb: SUB
00000afc: AND
00000afd: PUSH1 0x01
00000aff: DUP3
00000b00: DUP2
00000b01: SLOAD
00000b02: DUP2
00000b03: LT
00000b04: ISZERO
00000b05: ISZERO
00000b06: PUSH2 0x0b0b
00000b09: JUMPI
00000b0a: INVALID
00000b0b: JUMPDEST
00000b0c: PUSH1 0x00
00000b0e: SWAP2
00000b0f: DUP3
00000b10: MSTORE
00000b11: PUSH1 0x20
00000b13: SWAP1
00000b14: SWAP2
00000b15: KECCAK256
00000b16: ADD
00000b17: SLOAD
00000b18: PUSH1 0x01
00000b1a: PUSH1 0xa0
00000b1c: PUSH1 0x02
00000b1e: EXP
00000b1f: SUB
00000b20: AND
00000b21: EQ
00000b22: ISZERO
00000b23: PUSH2 0x0b2a
00000b26: JUMPI
00000b27: DUP1
00000b28: SWAP2
00000b29: POP
00000b2a: JUMPDEST
00000b2b: PUSH1 0x01
00000b2d: ADD
00000b2e: PUSH2 0x0aea
00000b31: JUMP
00000b32: JUMPDEST
00000b33: DUP3
00000b34: PUSH1 0x01
00000b36: DUP4
00000b37: DUP2
00000b38: SLOAD
00000b39: DUP2
00000b3a: LT
00000b3b: ISZERO
00000b3c: ISZERO
00000b3d: PUSH2 0x0b42
00000b40: JUMPI
00000b41: INVALID
00000b42: JUMPDEST
00000b43: PUSH1 0x00
00000b45: SWAP2
00000b46: DUP3
00000b47: MSTORE
00000b48: PUSH1 0x20
00000b4a: SWAP1
00000b4b: SWAP2
00000b4c: KECCAK256
00000b4d: ADD
00000b4e: DUP1
00000b4f: SLOAD
00000b50: PUSH1 0x01
00000b52: PUSH1 0xa0
00000b54: PUSH1 0x02
00000b56: EXP
00000b57: SUB
00000b58: NOT
00000b59: AND
00000b5a: PUSH1 0x01
00000b5c: PUSH1 0xa0
00000b5e: PUSH1 0x02
00000b60: EXP
00000b61: SUB
00000b62: SWAP3
00000b63: SWAP1
00000b64: SWAP3
00000b65: AND
00000b66: SWAP2
00000b67: SWAP1
00000b68: SWAP2
00000b69: OR
00000b6a: SWAP1
00000b6b: SSTORE
00000b6c: PUSH1 0x01
00000b6e: DUP1
00000b6f: SLOAD
00000b70: PUSH1 0x00
00000b72: NOT
00000b73: DUP7
00000b74: ADD
00000b75: SWAP1
00000b76: DUP2
00000b77: LT
00000b78: PUSH2 0x0b7d
00000b7b: JUMPI
00000b7c: INVALID
00000b7d: JUMPDEST
00000b7e: PUSH1 0x00
00000b80: SWAP2
00000b81: DUP3
00000b82: MSTORE
00000b83: PUSH1 0x20
00000b85: SWAP1
00000b86: SWAP2
00000b87: KECCAK256
00000b88: ADD
00000b89: DUP1
00000b8a: SLOAD
00000b8b: PUSH1 0x01
00000b8d: PUSH1 0xa0
00000b8f: PUSH1 0x02
00000b91: EXP
00000b92: SUB
00000b93: NOT
00000b94: AND
00000b95: SWAP1
00000b96: SSTORE
00000b97: PUSH1 0x01
00000b99: DUP1
00000b9a: SLOAD
00000b9b: SWAP1
00000b9c: PUSH2 0x0ba9
00000b9f: SWAP1
00000ba0: PUSH1 0x00
00000ba2: NOT
00000ba3: DUP4
00000ba4: ADD
00000ba5: PUSH2 0x1ecf
00000ba8: JUMP
00000ba9: JUMPDEST
00000baa: POP
00000bab: POP
00000bac: POP
00000bad: POP
00000bae: POP
00000baf: POP
00000bb0: JUMP
00000bb1: JUMPDEST
00000bb2: PUSH1 0x03
00000bb4: SLOAD
00000bb5: SWAP1
00000bb6: JUMP
00000bb7: JUMPDEST
00000bb8: PUSH1 0x02
00000bba: SLOAD
00000bbb: PUSH1 0xa8
00000bbd: PUSH1 0x02
00000bbf: EXP
00000bc0: SWAP1
00000bc1: DIV
00000bc2: PUSH1 0xff
00000bc4: AND
00000bc5: ISZERO
00000bc6: ISZERO
00000bc7: PUSH2 0x0bcf
00000bca: JUMPI
00000bcb: PUSH1 0x00
00000bcd: DUP1
00000bce: REVERT
00000bcf: JUMPDEST
00000bd0: CALLER
00000bd1: PUSH2 0x0bd9
00000bd4: DUP3
00000bd5: PUSH2 0x086b
00000bd8: JUMP
00000bd9: JUMPDEST
00000bda: PUSH1 0x01
00000bdc: PUSH1 0xa0
00000bde: PUSH1 0x02
00000be0: EXP
00000be1: SUB
00000be2: AND
00000be3: EQ
00000be4: PUSH2 0x0bec
00000be7: JUMPI
00000be8: PUSH1 0x00
00000bea: DUP1
00000beb: REVERT
00000bec: JUMPDEST
00000bed: PUSH2 0x0bf7
00000bf0: DUP4
00000bf1: DUP4
00000bf2: DUP4
00000bf3: PUSH2 0x1b3e
00000bf6: JUMP
00000bf7: JUMPDEST
00000bf8: POP
00000bf9: POP
00000bfa: POP
00000bfb: JUMP
00000bfc: JUMPDEST
00000bfd: PUSH1 0x00
00000bff: DUP1
00000c00: SLOAD
00000c01: DUP2
00000c02: SWAP1
00000c03: PUSH1 0x01
00000c05: PUSH1 0xa0
00000c07: PUSH1 0x02
00000c09: EXP
00000c0a: SUB
00000c0b: DUP5
00000c0c: DUP2
00000c0d: AND
00000c0e: SWAP2
00000c0f: AND
00000c10: EQ
00000c11: ISZERO
00000c12: PUSH2 0x0c1e
00000c15: JUMPI
00000c16: PUSH1 0x01
00000c18: SWAP2
00000c19: POP
00000c1a: PUSH2 0x0c76
00000c1d: JUMP
00000c1e: JUMPDEST
00000c1f: POP
00000c20: PUSH1 0x00
00000c22: JUMPDEST
00000c23: PUSH1 0x01
00000c25: SLOAD
00000c26: DUP2
00000c27: LT
00000c28: ISZERO
00000c29: PUSH2 0x0c71
00000c2c: JUMPI
00000c2d: DUP3
00000c2e: PUSH1 0x01
00000c30: PUSH1 0xa0
00000c32: PUSH1 0x02
00000c34: EXP
00000c35: SUB
00000c36: AND
00000c37: PUSH1 0x01
00000c39: DUP3
00000c3a: DUP2
00000c3b: SLOAD
00000c3c: DUP2
00000c3d: LT
00000c3e: ISZERO
00000c3f: ISZERO
00000c40: PUSH2 0x0c45
00000c43: JUMPI
00000c44: INVALID
00000c45: JUMPDEST
00000c46: PUSH1 0x00
00000c48: SWAP2
00000c49: DUP3
00000c4a: MSTORE
00000c4b: PUSH1 0x20
00000c4d: SWAP1
00000c4e: SWAP2
00000c4f: KECCAK256
00000c50: ADD
00000c51: SLOAD
00000c52: PUSH1 0x01
00000c54: PUSH1 0xa0
00000c56: PUSH1 0x02
00000c58: EXP
00000c59: SUB
00000c5a: AND
00000c5b: EQ
00000c5c: ISZERO
00000c5d: PUSH2 0x0c69
00000c60: JUMPI
00000c61: PUSH1 0x01
00000c63: SWAP2
00000c64: POP
00000c65: PUSH2 0x0c76
00000c68: JUMP
00000c69: JUMPDEST
00000c6a: PUSH1 0x01
00000c6c: ADD
00000c6d: PUSH2 0x0c22
00000c70: JUMP
00000c71: JUMPDEST
00000c72: PUSH1 0x00
00000c74: SWAP2
00000c75: POP
00000c76: JUMPDEST
00000c77: POP
00000c78: SWAP2
00000c79: SWAP1
00000c7a: POP
00000c7b: JUMP
00000c7c: JUMPDEST
00000c7d: PUSH1 0x00
00000c7f: DUP1
00000c80: PUSH1 0x00
00000c82: DUP1
00000c83: PUSH2 0x0c8b
00000c86: DUP6
00000c87: PUSH2 0x0f95
00000c8a: JUMP
00000c8b: JUMPDEST
00000c8c: PUSH2 0x0c94
00000c8f: DUP7
00000c90: PUSH2 0x1572
00000c93: JUMP
00000c94: JUMPDEST
00000c95: PUSH2 0x0c9d
00000c98: DUP8
00000c99: PUSH2 0x0f82
00000c9c: JUMP
00000c9d: JUMPDEST
00000c9e: PUSH2 0x0ca6
00000ca1: DUP9
00000ca2: PUSH2 0x1b2c
00000ca5: JUMP
00000ca6: JUMPDEST
00000ca7: SWAP4
00000ca8: POP
00000ca9: SWAP4
00000caa: POP
00000cab: SWAP4
00000cac: POP
00000cad: SWAP4
00000cae: POP
00000caf: SWAP2
00000cb0: SWAP4
00000cb1: POP
00000cb2: SWAP2
00000cb3: SWAP4
00000cb4: JUMP
00000cb5: JUMPDEST
00000cb6: PUSH1 0x00
00000cb8: DUP1
00000cb9: PUSH1 0x00
00000cbb: DUP1
00000cbc: PUSH2 0x0cc4
00000cbf: DUP7
00000cc0: PUSH2 0x102a
00000cc3: JUMP
00000cc4: JUMPDEST
00000cc5: DUP6
00000cc6: LT
00000cc7: PUSH2 0x0ccf
00000cca: JUMPI
00000ccb: PUSH1 0x00
00000ccd: DUP1
00000cce: REVERT
00000ccf: JUMPDEST
00000cd0: PUSH1 0x00
00000cd2: SWAP3
00000cd3: POP
00000cd4: PUSH1 0x00
00000cd6: SWAP2
00000cd7: POP
00000cd8: JUMPDEST
00000cd9: PUSH1 0x03
00000cdb: SLOAD
00000cdc: DUP3
00000cdd: LT
00000cde: ISZERO
00000cdf: PUSH2 0x0d41
00000ce2: JUMPI
00000ce3: PUSH1 0x03
00000ce5: DUP1
00000ce6: SLOAD
00000ce7: DUP4
00000ce8: SWAP1
00000ce9: DUP2
00000cea: LT
00000ceb: PUSH2 0x0cf0
00000cee: JUMPI
00000cef: INVALID
00000cf0: JUMPDEST
00000cf1: SWAP1
00000cf2: PUSH1 0x00
00000cf4: MSTORE
00000cf5: PUSH1 0x20
00000cf7: PUSH1 0x00
00000cf9: KECCAK256
00000cfa: ADD
00000cfb: SLOAD
00000cfc: SWAP1
00000cfd: POP
00000cfe: DUP6
00000cff: PUSH1 0x01
00000d01: PUSH1 0xa0
00000d03: PUSH1 0x02
00000d05: EXP
00000d06: SUB
00000d07: AND
00000d08: PUSH2 0x0d10
00000d0b: DUP3
00000d0c: PUSH2 0x0f95
00000d0f: JUMP
00000d10: JUMPDEST
00000d11: PUSH1 0x01
00000d13: PUSH1 0xa0
00000d15: PUSH1 0x02
00000d17: EXP
00000d18: SUB
00000d19: AND
00000d1a: EQ
00000d1b: ISZERO
00000d1c: PUSH2 0x0d36
00000d1f: JUMPI
00000d20: DUP5
00000d21: DUP4
00000d22: EQ
00000d23: ISZERO
00000d24: PUSH2 0x0d2f
00000d27: JUMPI
00000d28: DUP1
00000d29: SWAP4
00000d2a: POP
00000d2b: PUSH2 0x0d43
00000d2e: JUMP
00000d2f: JUMPDEST
00000d30: PUSH1 0x01
00000d32: DUP4
00000d33: ADD
00000d34: SWAP3
00000d35: POP
00000d36: JUMPDEST
00000d37: PUSH1 0x01
00000d39: SWAP1
00000d3a: SWAP2
00000d3b: ADD
00000d3c: SWAP1
00000d3d: PUSH2 0x0cd8
00000d40: JUMP
00000d41: JUMPDEST
00000d42: INVALID
00000d43: JUMPDEST
00000d44: POP
00000d45: POP
00000d46: POP
00000d47: SWAP3
00000d48: SWAP2
00000d49: POP
00000d4a: POP
00000d4b: JUMP
00000d4c: JUMPDEST
00000d4d: PUSH1 0x00
00000d4f: SLOAD
00000d50: PUSH1 0x01
00000d52: PUSH1 0xa0
00000d54: PUSH1 0x02
00000d56: EXP
00000d57: SUB
00000d58: AND
00000d59: CALLER
00000d5a: EQ
00000d5b: PUSH2 0x0d63
00000d5e: JUMPI
00000d5f: PUSH1 0x00
00000d61: DUP1
00000d62: REVERT
00000d63: JUMPDEST
00000d64: PUSH1 0x02
00000d66: DUP1
00000d67: SLOAD
00000d68: PUSH1 0x01
00000d6a: PUSH1 0xa0
00000d6c: PUSH1 0x02
00000d6e: EXP
00000d6f: SUB
00000d70: SWAP1
00000d71: SWAP3
00000d72: AND
00000d73: PUSH2 0x0100
00000d76: MUL
00000d77: PUSH21 0xffffffffffffffffffffffffffffffffffffffff00
00000d8d: NOT
00000d8e: SWAP1
00000d8f: SWAP3
00000d90: AND
00000d91: SWAP2
00000d92: SWAP1
00000d93: SWAP2
00000d94: OR
00000d95: SWAP1
00000d96: SSTORE
00000d97: JUMP
00000d98: JUMPDEST
00000d99: PUSH1 0x00
00000d9b: PUSH2 0x0dbc
00000d9e: PUSH1 0x64
00000da0: PUSH2 0x0db0
00000da3: DUP5
00000da4: PUSH1 0x03
00000da6: PUSH4 0xffffffff
00000dab: PUSH2 0x1c1a
00000dae: AND
00000daf: JUMP
00000db0: JUMPDEST
00000db1: SWAP1
00000db2: PUSH4 0xffffffff
00000db7: PUSH2 0x1c4c
00000dba: AND
00000dbb: JUMP
00000dbc: JUMPDEST
00000dbd: SWAP3
00000dbe: SWAP2
00000dbf: POP
00000dc0: POP
00000dc1: JUMP
00000dc2: JUMPDEST
00000dc3: PUSH1 0x00
00000dc5: PUSH2 0x0dcc
00000dc8: PUSH2 0x0bb1
00000dcb: JUMP
00000dcc: JUMPDEST
00000dcd: DUP3
00000dce: LT
00000dcf: PUSH2 0x0dd7
00000dd2: JUMPI
00000dd3: PUSH1 0x00
00000dd5: DUP1
00000dd6: REVERT
00000dd7: JUMPDEST
00000dd8: PUSH1 0x03
00000dda: DUP1
00000ddb: SLOAD
00000ddc: DUP4
00000ddd: SWAP1
00000dde: DUP2
00000ddf: LT
00000de0: PUSH2 0x0de5
00000de3: JUMPI
00000de4: INVALID
00000de5: JUMPDEST
00000de6: SWAP1
00000de7: PUSH1 0x00
00000de9: MSTORE
00000dea: PUSH1 0x20
00000dec: PUSH1 0x00
00000dee: KECCAK256
00000def: ADD
00000df0: SLOAD
00000df1: SWAP1
00000df2: POP
00000df3: SWAP2
00000df4: SWAP1
00000df5: POP
00000df6: JUMP
00000df7: JUMPDEST
00000df8: PUSH1 0x60
00000dfa: DUP1
00000dfb: PUSH1 0x00
00000dfd: PUSH2 0x0e05
00000e00: DUP7
00000e01: PUSH2 0x0fb0
00000e04: JUMP
00000e05: JUMPDEST
00000e06: ISZERO
00000e07: ISZERO
00000e08: PUSH2 0x0e21
00000e0b: JUMPI
00000e0c: PUSH1 0x40
00000e0e: DUP1
00000e0f: MLOAD
00000e10: PUSH1 0x00
00000e12: DUP2
00000e13: MSTORE
00000e14: PUSH1 0x20
00000e16: DUP2
00000e17: ADD
00000e18: SWAP1
00000e19: SWAP2
00000e1a: MSTORE
00000e1b: SWAP3
00000e1c: POP
00000e1d: PUSH2 0x0ea6
00000e20: JUMP
00000e21: JUMPDEST
00000e22: DUP4
00000e23: PUSH1 0x40
00000e25: MLOAD
00000e26: SWAP1
00000e27: DUP1
00000e28: DUP3
00000e29: MSTORE
00000e2a: DUP1
00000e2b: PUSH1 0x20
00000e2d: MUL
00000e2e: PUSH1 0x20
00000e30: ADD
00000e31: DUP3
00000e32: ADD
00000e33: PUSH1 0x40
00000e35: MSTORE
00000e36: DUP1
00000e37: ISZERO
00000e38: PUSH2 0x0e4b
00000e3b: JUMPI
00000e3c: DUP2
00000e3d: PUSH1 0x20
00000e3f: ADD
00000e40: PUSH1 0x20
00000e42: DUP3
00000e43: MUL
00000e44: DUP1
00000e45: CODESIZE
00000e46: DUP4
00000e47: CODECOPY
00000e48: ADD
00000e49: SWAP1
00000e4a: POP
00000e4b: JUMPDEST
00000e4c: POP
00000e4d: SWAP2
00000e4e: POP
00000e4f: PUSH1 0x00
00000e51: SWAP1
00000e52: POP
00000e53: JUMPDEST
00000e54: DUP4
00000e55: DUP2
00000e56: LT
00000e57: ISZERO
00000e58: PUSH2 0x0ea2
00000e5b: JUMPI
00000e5c: PUSH1 0x00
00000e5e: DUP7
00000e5f: DUP2
00000e60: MSTORE
00000e61: PUSH1 0x07
00000e63: PUSH1 0x20
00000e65: MSTORE
00000e66: PUSH1 0x40
00000e68: SWAP1
00000e69: KECCAK256
00000e6a: DUP1
00000e6b: SLOAD
00000e6c: DUP7
00000e6d: DUP4
00000e6e: ADD
00000e6f: SWAP1
00000e70: DUP2
00000e71: LT
00000e72: PUSH2 0x0e77
00000e75: JUMPI
00000e76: INVALID
00000e77: JUMPDEST
00000e78: SWAP1
00000e79: PUSH1 0x00
00000e7b: MSTORE
00000e7c: PUSH1 0x20
00000e7e: PUSH1 0x00
00000e80: KECCAK256
00000e81: ADD
00000e82: SLOAD
00000e83: DUP3
00000e84: DUP3
00000e85: DUP2
00000e86: MLOAD
00000e87: DUP2
00000e88: LT
00000e89: ISZERO
00000e8a: ISZERO
00000e8b: PUSH2 0x0e90
00000e8e: JUMPI
00000e8f: INVALID
00000e90: JUMPDEST
00000e91: PUSH1 0x20
00000e93: SWAP1
00000e94: DUP2
00000e95: MUL
00000e96: SWAP1
00000e97: SWAP2
00000e98: ADD
00000e99: ADD
00000e9a: MSTORE
00000e9b: PUSH1 0x01
00000e9d: ADD
00000e9e: PUSH2 0x0e53
00000ea1: JUMP
00000ea2: JUMPDEST
00000ea3: DUP2
00000ea4: SWAP3
00000ea5: POP
00000ea6: JUMPDEST
00000ea7: POP
00000ea8: POP
00000ea9: SWAP4
00000eaa: SWAP3
00000eab: POP
00000eac: POP
00000ead: POP
00000eae: JUMP
00000eaf: JUMPDEST
00000eb0: PUSH1 0x60
00000eb2: DUP1
00000eb3: PUSH1 0x00
00000eb5: DUP1
00000eb6: PUSH2 0x0ebe
00000eb9: DUP6
00000eba: PUSH2 0x102a
00000ebd: JUMP
00000ebe: JUMPDEST
00000ebf: PUSH1 0x40
00000ec1: MLOAD
00000ec2: SWAP1
00000ec3: DUP1
00000ec4: DUP3
00000ec5: MSTORE
00000ec6: DUP1
00000ec7: PUSH1 0x20
00000ec9: MUL
00000eca: PUSH1 0x20
00000ecc: ADD
00000ecd: DUP3
00000ece: ADD
00000ecf: PUSH1 0x40
00000ed1: MSTORE
00000ed2: DUP1
00000ed3: ISZERO
00000ed4: PUSH2 0x0ee7
00000ed7: JUMPI
00000ed8: DUP2
00000ed9: PUSH1 0x20
00000edb: ADD
00000edc: PUSH1 0x20
00000ede: DUP3
00000edf: MUL
00000ee0: DUP1
00000ee1: CODESIZE
00000ee2: DUP4
00000ee3: CODECOPY
00000ee4: ADD
00000ee5: SWAP1
00000ee6: POP
00000ee7: JUMPDEST
00000ee8: POP
00000ee9: SWAP3
00000eea: POP
00000eeb: PUSH1 0x00
00000eed: SWAP2
00000eee: POP
00000eef: PUSH1 0x00
00000ef1: SWAP1
00000ef2: POP
00000ef3: JUMPDEST
00000ef4: PUSH1 0x03
00000ef6: SLOAD
00000ef7: DUP2
00000ef8: LT
00000ef9: ISZERO
00000efa: PUSH2 0x0f79
00000efd: JUMPI
00000efe: DUP5
00000eff: PUSH1 0x01
00000f01: PUSH1 0xa0
00000f03: PUSH1 0x02
00000f05: EXP
00000f06: SUB
00000f07: AND
00000f08: PUSH2 0x0f29
00000f0b: PUSH1 0x03
00000f0d: DUP4
00000f0e: DUP2
00000f0f: SLOAD
00000f10: DUP2
00000f11: LT
00000f12: ISZERO
00000f13: ISZERO
00000f14: PUSH2 0x0f19
00000f17: JUMPI
00000f18: INVALID
00000f19: JUMPDEST
00000f1a: SWAP1
00000f1b: PUSH1 0x00
00000f1d: MSTORE
00000f1e: PUSH1 0x20
00000f20: PUSH1 0x00
00000f22: KECCAK256
00000f23: ADD
00000f24: SLOAD
00000f25: PUSH2 0x0f95
00000f28: JUMP
00000f29: JUMPDEST
00000f2a: PUSH1 0x01
00000f2c: PUSH1 0xa0
00000f2e: PUSH1 0x02
00000f30: EXP
00000f31: SUB
00000f32: AND
00000f33: EQ
00000f34: ISZERO
00000f35: PUSH2 0x0f71
00000f38: JUMPI
00000f39: PUSH1 0x03
00000f3b: DUP1
00000f3c: SLOAD
00000f3d: DUP3
00000f3e: SWAP1
00000f3f: DUP2
00000f40: LT
00000f41: PUSH2 0x0f46
00000f44: JUMPI
00000f45: INVALID
00000f46: JUMPDEST
00000f47: SWAP1
00000f48: PUSH1 0x00
00000f4a: MSTORE
00000f4b: PUSH1 0x20
00000f4d: PUSH1 0x00
00000f4f: KECCAK256
00000f50: ADD
00000f51: SLOAD
00000f52: DUP4
00000f53: DUP4
00000f54: DUP2
00000f55: MLOAD
00000f56: DUP2
00000f57: LT
00000f58: ISZERO
00000f59: ISZERO
00000f5a: PUSH2 0x0f5f
00000f5d: JUMPI
00000f5e: INVALID
00000f5f: JUMPDEST
00000f60: PUSH1 0x20
00000f62: SWAP1
00000f63: DUP2
00000f64: MUL
00000f65: SWAP1
00000f66: SWAP2
00000f67: ADD
00000f68: ADD
00000f69: MSTORE
00000f6a: PUSH1 0x01
00000f6c: SWAP2
00000f6d: SWAP1
00000f6e: SWAP2
00000f6f: ADD
00000f70: SWAP1
00000f71: JUMPDEST
00000f72: PUSH1 0x01
00000f74: ADD
00000f75: PUSH2 0x0ef3
00000f78: JUMP
00000f79: JUMPDEST
00000f7a: POP
00000f7b: SWAP1
00000f7c: SWAP4
00000f7d: SWAP3
00000f7e: POP
00000f7f: POP
00000f80: POP
00000f81: JUMP
00000f82: JUMPDEST
00000f83: PUSH1 0x00
00000f85: PUSH2 0x0dbc
00000f88: PUSH2 0x0f90
00000f8b: DUP4
00000f8c: PUSH2 0x1572
00000f8f: JUMP
00000f90: JUMPDEST
00000f91: PUSH2 0x1a36
00000f94: JUMP
00000f95: JUMPDEST
00000f96: PUSH1 0x00
00000f98: SWAP1
00000f99: DUP2
00000f9a: MSTORE
00000f9b: PUSH1 0x04
00000f9d: PUSH1 0x20
00000f9f: MSTORE
00000fa0: PUSH1 0x40
00000fa2: SWAP1
00000fa3: KECCAK256
00000fa4: SLOAD
00000fa5: PUSH1 0x01
00000fa7: PUSH1 0xa0
00000fa9: PUSH1 0x02
00000fab: EXP
00000fac: SUB
00000fad: AND
00000fae: SWAP1
00000faf: JUMP
00000fb0: JUMPDEST
00000fb1: PUSH1 0x00
00000fb3: SWAP1
00000fb4: DUP2
00000fb5: MSTORE
00000fb6: PUSH1 0x07
00000fb8: PUSH1 0x20
00000fba: MSTORE
00000fbb: PUSH1 0x40
00000fbd: SWAP1
00000fbe: KECCAK256
00000fbf: SLOAD
00000fc0: SWAP1
00000fc1: JUMP
00000fc2: JUMPDEST
00000fc3: PUSH1 0x00
00000fc5: SLOAD
00000fc6: PUSH1 0x01
00000fc8: PUSH1 0xa0
00000fca: PUSH1 0x02
00000fcc: EXP
00000fcd: SUB
00000fce: AND
00000fcf: CALLER
00000fd0: EQ
00000fd1: PUSH2 0x0fd9
00000fd4: JUMPI
00000fd5: PUSH1 0x00
00000fd7: DUP1
00000fd8: REVERT
00000fd9: JUMPDEST
00000fda: PUSH1 0x01
00000fdc: DUP1
00000fdd: SLOAD
00000fde: DUP1
00000fdf: DUP3
00000fe0: ADD
00000fe1: DUP3
00000fe2: SSTORE
00000fe3: PUSH1 0x00
00000fe5: SWAP2
00000fe6: SWAP1
00000fe7: SWAP2
00000fe8: MSTORE
00000fe9: PUSH32 0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6
0000100a: ADD
0000100b: DUP1
0000100c: SLOAD
0000100d: PUSH1 0x01
0000100f: PUSH1 0xa0
00001011: PUSH1 0x02
00001013: EXP
00001014: SUB
00001015: NOT
00001016: AND
00001017: PUSH1 0x01
00001019: PUSH1 0xa0
0000101b: PUSH1 0x02
0000101d: EXP
0000101e: SUB
0000101f: SWAP3
00001020: SWAP1
00001021: SWAP3
00001022: AND
00001023: SWAP2
00001024: SWAP1
00001025: SWAP2
00001026: OR
00001027: SWAP1
00001028: SSTORE
00001029: JUMP
0000102a: JUMPDEST
0000102b: PUSH1 0x00
0000102d: DUP1
0000102e: DUP1
0000102f: JUMPDEST
00001030: PUSH1 0x03
00001032: SLOAD
00001033: DUP2
00001034: LT
00001035: ISZERO
00001036: PUSH2 0x1073
00001039: JUMPI
0000103a: DUP4
0000103b: PUSH1 0x01
0000103d: PUSH1 0xa0
0000103f: PUSH1 0x02
00001041: EXP
00001042: SUB
00001043: AND
00001044: PUSH2 0x1055
00001047: PUSH1 0x03
00001049: DUP4
0000104a: DUP2
0000104b: SLOAD
0000104c: DUP2
0000104d: LT
0000104e: ISZERO
0000104f: ISZERO
00001050: PUSH2 0x0f19
00001053: JUMPI
00001054: INVALID
00001055: JUMPDEST
00001056: PUSH1 0x01
00001058: PUSH1 0xa0
0000105a: PUSH1 0x02
0000105c: EXP
0000105d: SUB
0000105e: AND
0000105f: EQ
00001060: ISZERO
00001061: PUSH2 0x106b
00001064: JUMPI
00001065: PUSH1 0x01
00001067: SWAP1
00001068: SWAP2
00001069: ADD
0000106a: SWAP1
0000106b: JUMPDEST
0000106c: PUSH1 0x01
0000106e: ADD
0000106f: PUSH2 0x102f
00001072: JUMP
00001073: JUMPDEST
00001074: POP
00001075: SWAP3
00001076: SWAP2
00001077: POP
00001078: POP
00001079: JUMP
0000107a: JUMPDEST
0000107b: PUSH1 0x00
0000107d: SLOAD
0000107e: PUSH1 0x01
00001080: PUSH1 0xa0
00001082: PUSH1 0x02
00001084: EXP
00001085: SUB
00001086: AND
00001087: CALLER
00001088: EQ
00001089: PUSH2 0x1091
0000108c: JUMPI
0000108d: PUSH1 0x00
0000108f: DUP1
00001090: REVERT
00001091: JUMPDEST
00001092: PUSH1 0x02
00001094: DUP1
00001095: SLOAD
00001096: PUSH22 0xff000000000000000000000000000000000000000000
000010ad: NOT
000010ae: AND
000010af: PUSH1 0xa8
000010b1: PUSH1 0x02
000010b3: EXP
000010b4: OR
000010b5: SWAP1
000010b6: SSTORE
000010b7: JUMP
000010b8: JUMPDEST
000010b9: PUSH2 0x10c1
000010bc: CALLER
000010bd: PUSH2 0x0bfc
000010c0: JUMP
000010c1: JUMPDEST
000010c2: ISZERO
000010c3: ISZERO
000010c4: PUSH2 0x10cc
000010c7: JUMPI
000010c8: PUSH1 0x00
000010ca: DUP1
000010cb: REVERT
000010cc: JUMPDEST
000010cd: PUSH1 0x02
000010cf: SLOAD
000010d0: PUSH1 0xff
000010d2: AND
000010d3: ISZERO
000010d4: PUSH2 0x10dc
000010d7: JUMPI
000010d8: PUSH1 0x00
000010da: DUP1
000010db: REVERT
000010dc: JUMPDEST
000010dd: PUSH1 0x02
000010df: SLOAD
000010e0: PUSH2 0x0100
000010e3: SWAP1
000010e4: DIV
000010e5: PUSH1 0x01
000010e7: PUSH1 0xa0
000010e9: PUSH1 0x02
000010eb: EXP
000010ec: SUB
000010ed: AND
000010ee: ISZERO
000010ef: ISZERO
000010f0: PUSH2 0x10f8
000010f3: JUMPI
000010f4: PUSH1 0x00
000010f6: DUP1
000010f7: REVERT
000010f8: JUMPDEST
000010f9: PUSH1 0x02
000010fb: SLOAD
000010fc: PUSH2 0x0100
000010ff: SWAP1
00001100: DIV
00001101: PUSH1 0x01
00001103: PUSH1 0xa0
00001105: PUSH1 0x02
00001107: EXP
00001108: SUB
00001109: AND
0000110a: ISZERO
0000110b: ISZERO
0000110c: PUSH2 0x1114
0000110f: JUMPI
00001110: PUSH1 0x00
00001112: DUP1
00001113: REVERT
00001114: JUMPDEST
00001115: PUSH1 0x00
00001117: DUP3
00001118: GT
00001119: PUSH2 0x1121
0000111c: JUMPI
0000111d: PUSH1 0x00
0000111f: DUP1
00001120: REVERT
00001121: JUMPDEST
00001122: PUSH2 0x112a
00001125: DUP5
00001126: PUSH2 0x1572
00001129: JUMP
0000112a: JUMPDEST
0000112b: ISZERO
0000112c: PUSH2 0x1134
0000112f: JUMPI
00001130: PUSH1 0x00
00001132: DUP1
00001133: REVERT
00001134: JUMPDEST
00001135: PUSH1 0x00
00001137: PUSH2 0x113f
0000113a: DUP6
0000113b: PUSH2 0x0f95
0000113e: JUMP
0000113f: JUMPDEST
00001140: PUSH1 0x01
00001142: PUSH1 0xa0
00001144: PUSH1 0x02
00001146: EXP
00001147: SUB
00001148: AND
00001149: EQ
0000114a: PUSH2 0x1152
0000114d: JUMPI
0000114e: PUSH1 0x00
00001150: DUP1
00001151: REVERT
00001152: JUMPDEST
00001153: PUSH1 0x02
00001155: SLOAD
00001156: PUSH1 0x40
00001158: DUP1
00001159: MLOAD
0000115a: PUSH32 0x6352211e00000000000000000000000000000000000000000000000000000000
0000117b: DUP2
0000117c: MSTORE
0000117d: PUSH1 0x04
0000117f: DUP2
00001180: ADD
00001181: DUP7
00001182: SWAP1
00001183: MSTORE
00001184: SWAP1
00001185: MLOAD
00001186: PUSH1 0x00
00001188: SWAP3
00001189: PUSH2 0x0100
0000118c: SWAP1
0000118d: DIV
0000118e: PUSH1 0x01
00001190: PUSH1 0xa0
00001192: PUSH1 0x02
00001194: EXP
00001195: SUB
00001196: AND
00001197: SWAP2
00001198: PUSH4 0x6352211e
0000119d: SWAP2
0000119e: PUSH1 0x24
000011a0: DUP1
000011a1: DUP4
000011a2: ADD
000011a3: SWAP3
000011a4: PUSH1 0x20
000011a6: SWAP3
000011a7: SWAP2
000011a8: SWAP1
000011a9: DUP3
000011aa: SWAP1
000011ab: SUB
000011ac: ADD
000011ad: DUP2
000011ae: DUP8
000011af: DUP8
000011b0: DUP1
000011b1: EXTCODESIZE
000011b2: ISZERO
000011b3: DUP1
000011b4: ISZERO
000011b5: PUSH2 0x11bd
000011b8: JUMPI
000011b9: PUSH1 0x00
000011bb: DUP1
000011bc: REVERT
000011bd: JUMPDEST
000011be: POP
000011bf: GAS
000011c0: CALL
000011c1: ISZERO
000011c2: DUP1
000011c3: ISZERO
000011c4: PUSH2 0x11d1
000011c7: JUMPI
000011c8: RETURNDATASIZE
000011c9: PUSH1 0x00
000011cb: DUP1
000011cc: RETURNDATACOPY
000011cd: RETURNDATASIZE
000011ce: PUSH1 0x00
000011d0: REVERT
000011d1: JUMPDEST
000011d2: POP
000011d3: POP
000011d4: POP
000011d5: POP
000011d6: PUSH1 0x40
000011d8: MLOAD
000011d9: RETURNDATASIZE
000011da: PUSH1 0x20
000011dc: DUP2
000011dd: LT
000011de: ISZERO
000011df: PUSH2 0x11e7
000011e2: JUMPI
000011e3: PUSH1 0x00
000011e5: DUP1
000011e6: REVERT
000011e7: JUMPDEST
000011e8: POP
000011e9: MLOAD
000011ea: PUSH1 0x01
000011ec: PUSH1 0xa0
000011ee: PUSH1 0x02
000011f0: EXP
000011f1: SUB
000011f2: AND
000011f3: EQ
000011f4: ISZERO
000011f5: PUSH2 0x11fd
000011f8: JUMPI
000011f9: PUSH1 0x00
000011fb: DUP1
000011fc: REVERT
000011fd: JUMPDEST
000011fe: PUSH1 0x02
00001200: SLOAD
00001201: PUSH1 0x40
00001203: DUP1
00001204: MLOAD
00001205: PUSH32 0xb9186d7d00000000000000000000000000000000000000000000000000000000
00001226: DUP2
00001227: MSTORE
00001228: PUSH1 0x04
0000122a: DUP2
0000122b: ADD
0000122c: DUP7
0000122d: SWAP1
0000122e: MSTORE
0000122f: SWAP1
00001230: MLOAD
00001231: PUSH1 0x00
00001233: SWAP3
00001234: PUSH2 0x0100
00001237: SWAP1
00001238: DIV
00001239: PUSH1 0x01
0000123b: PUSH1 0xa0
0000123d: PUSH1 0x02
0000123f: EXP
00001240: SUB
00001241: AND
00001242: SWAP2
00001243: PUSH4 0xb9186d7d
00001248: SWAP2
00001249: PUSH1 0x24
0000124b: DUP1
0000124c: DUP4
0000124d: ADD
0000124e: SWAP3
0000124f: PUSH1 0x20
00001251: SWAP3
00001252: SWAP2
00001253: SWAP1
00001254: DUP3
00001255: SWAP1
00001256: SUB
00001257: ADD
00001258: DUP2
00001259: DUP8
0000125a: DUP8
0000125b: DUP1
0000125c: EXTCODESIZE
0000125d: ISZERO
0000125e: DUP1
0000125f: ISZERO
00001260: PUSH2 0x1268
00001263: JUMPI
00001264: PUSH1 0x00
00001266: DUP1
00001267: REVERT
00001268: JUMPDEST
00001269: POP
0000126a: GAS
0000126b: CALL
0000126c: ISZERO
0000126d: DUP1
0000126e: ISZERO
0000126f: PUSH2 0x127c
00001272: JUMPI
00001273: RETURNDATASIZE
00001274: PUSH1 0x00
00001276: DUP1
00001277: RETURNDATACOPY
00001278: RETURNDATASIZE
00001279: PUSH1 0x00
0000127b: REVERT
0000127c: JUMPDEST
0000127d: POP
0000127e: POP
0000127f: POP
00001280: POP
00001281: PUSH1 0x40
00001283: MLOAD
00001284: RETURNDATASIZE
00001285: PUSH1 0x20
00001287: DUP2
00001288: LT
00001289: ISZERO
0000128a: PUSH2 0x1292
0000128d: JUMPI
0000128e: PUSH1 0x00
00001290: DUP1
00001291: REVERT
00001292: JUMPDEST
00001293: POP
00001294: MLOAD
00001295: GT
00001296: PUSH2 0x129e
00001299: JUMPI
0000129a: PUSH1 0x00
0000129c: DUP1
0000129d: REVERT
0000129e: JUMPDEST
0000129f: PUSH1 0x00
000012a1: DUP5
000012a2: DUP2
000012a3: MSTORE
000012a4: PUSH1 0x04
000012a6: PUSH1 0x20
000012a8: SWAP1
000012a9: DUP2
000012aa: MSTORE
000012ab: PUSH1 0x40
000012ad: DUP1
000012ae: DUP4
000012af: KECCAK256
000012b0: DUP1
000012b1: SLOAD
000012b2: PUSH1 0x01
000012b4: PUSH1 0xa0
000012b6: PUSH1 0x02
000012b8: EXP
000012b9: SUB
000012ba: NOT
000012bb: AND
000012bc: PUSH1 0x01
000012be: PUSH1 0xa0
000012c0: PUSH1 0x02
000012c2: EXP
000012c3: SUB
000012c4: DUP7
000012c5: AND
000012c6: SWAP1
000012c7: DUP2
000012c8: OR
000012c9: SWAP1
000012ca: SWAP2
000012cb: SSTORE
000012cc: PUSH1 0x05
000012ce: DUP4
000012cf: MSTORE
000012d0: DUP2
000012d1: DUP5
000012d2: KECCAK256
000012d3: DUP7
000012d4: SWAP1
000012d5: SSTORE
000012d6: PUSH1 0x06
000012d8: DUP4
000012d9: MSTORE
000012da: DUP2
000012db: DUP5
000012dc: KECCAK256
000012dd: DUP8
000012de: SWAP1
000012df: SSTORE
000012e0: PUSH1 0x03
000012e2: DUP1
000012e3: SLOAD
000012e4: PUSH1 0x01
000012e6: DUP2
000012e7: DUP2
000012e8: ADD
000012e9: SWAP1
000012ea: SWAP3
000012eb: SSTORE
000012ec: PUSH32 0xc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b
0000130d: ADD
0000130e: DUP10
0000130f: SWAP1
00001310: SSTORE
00001311: DUP8
00001312: DUP6
00001313: MSTORE
00001314: PUSH1 0x07
00001316: DUP5
00001317: MSTORE
00001318: DUP3
00001319: DUP6
0000131a: KECCAK256
0000131b: DUP1
0000131c: SLOAD
0000131d: SWAP2
0000131e: DUP3
0000131f: ADD
00001320: DUP2
00001321: SSTORE
00001322: DUP6
00001323: MSTORE
00001324: SWAP4
00001325: DUP4
00001326: SWAP1
00001327: KECCAK256
00001328: SWAP1
00001329: SWAP4
0000132a: ADD
0000132b: DUP8
0000132c: SWAP1
0000132d: SSTORE
0000132e: DUP1
0000132f: MLOAD
00001330: DUP6
00001331: DUP2
00001332: MSTORE
00001333: SWAP1
00001334: MLOAD
00001335: DUP8
00001336: SWAP3
00001337: PUSH32 0x656fea2aeb2af9841f5b2d9a77be15564d1a00f76fff68c5435aec927eb4d5d6
00001358: SWAP3
00001359: DUP3
0000135a: SWAP1
0000135b: SUB
0000135c: ADD
0000135d: SWAP1
0000135e: LOG3
0000135f: POP
00001360: POP
00001361: POP
00001362: POP
00001363: JUMP
00001364: JUMPDEST
00001365: PUSH1 0x00
00001367: SLOAD
00001368: PUSH1 0x01
0000136a: PUSH1 0xa0
0000136c: PUSH1 0x02
0000136e: EXP
0000136f: SUB
00001370: AND
00001371: CALLER
00001372: EQ
00001373: PUSH2 0x137b
00001376: JUMPI
00001377: PUSH1 0x00
00001379: DUP1
0000137a: REVERT
0000137b: JUMPDEST
0000137c: PUSH2 0x1383
0000137f: PUSH2 0x13bb
00001382: JUMP
00001383: JUMPDEST
00001384: PUSH1 0x40
00001386: MLOAD
00001387: PUSH1 0x01
00001389: PUSH1 0xa0
0000138b: PUSH1 0x02
0000138d: EXP
0000138e: SUB
0000138f: SWAP2
00001390: SWAP1
00001391: SWAP2
00001392: AND
00001393: SWAP1
00001394: ADDRESS
00001395: BALANCE
00001396: DUP1
00001397: ISZERO
00001398: PUSH2 0x08fc
0000139b: MUL
0000139c: SWAP2
0000139d: PUSH1 0x00
0000139f: DUP2
000013a0: DUP2
000013a1: DUP2
000013a2: DUP6
000013a3: DUP9
000013a4: DUP9
000013a5: CALL
000013a6: SWAP4
000013a7: POP
000013a8: POP
000013a9: POP
000013aa: POP
000013ab: ISZERO
000013ac: DUP1
000013ad: ISZERO
000013ae: PUSH2 0x0a28
000013b1: JUMPI
000013b2: RETURNDATASIZE
000013b3: PUSH1 0x00
000013b5: DUP1
000013b6: RETURNDATACOPY
000013b7: RETURNDATASIZE
000013b8: PUSH1 0x00
000013ba: REVERT
000013bb: JUMPDEST
000013bc: PUSH1 0x00
000013be: SLOAD
000013bf: PUSH1 0x01
000013c1: PUSH1 0xa0
000013c3: PUSH1 0x02
000013c5: EXP
000013c6: SUB
000013c7: AND
000013c8: SWAP1
000013c9: JUMP
000013ca: JUMPDEST
000013cb: PUSH1 0x40
000013cd: DUP1
000013ce: MLOAD
000013cf: DUP1
000013d0: DUP3
000013d1: ADD
000013d2: SWAP1
000013d3: SWAP2
000013d4: MSTORE
000013d5: PUSH1 0x03
000013d7: DUP2
000013d8: MSTORE
000013d9: PUSH32 0x4343320000000000000000000000000000000000000000000000000000000000
000013fa: PUSH1 0x20
000013fc: DUP3
000013fd: ADD
000013fe: MSTORE
000013ff: SWAP1
00001400: JUMP
00001401: JUMPDEST
00001402: PUSH1 0x00
00001404: SLOAD
00001405: PUSH1 0x01
00001407: PUSH1 0xa0
00001409: PUSH1 0x02
0000140b: EXP
0000140c: SUB
0000140d: AND
0000140e: CALLER
0000140f: EQ
00001410: PUSH2 0x1418
00001413: JUMPI
00001414: PUSH1 0x00
00001416: DUP1
00001417: REVERT
00001418: JUMPDEST
00001419: PUSH1 0x02
0000141b: SLOAD
0000141c: PUSH1 0xff
0000141e: AND
0000141f: ISZERO
00001420: PUSH2 0x1428
00001423: JUMPI
00001424: PUSH1 0x00
00001426: DUP1
00001427: REVERT
00001428: JUMPDEST
00001429: PUSH1 0x02
0000142b: DUP1
0000142c: SLOAD
0000142d: PUSH1 0xff
0000142f: NOT
00001430: AND
00001431: PUSH1 0x01
00001433: OR
00001434: SWAP1
00001435: SSTORE
00001436: PUSH1 0x40
00001438: DUP1
00001439: MLOAD
0000143a: PUSH1 0x20
0000143c: DUP1
0000143d: DUP3
0000143e: MSTORE
0000143f: DUP4
00001440: MLOAD
00001441: DUP2
00001442: DUP4
00001443: ADD
00001444: MSTORE
00001445: DUP4
00001446: MLOAD
00001447: PUSH32 0x8892ac824b5e54f09f85ea6b8f828f57615a4a95070a702c56ac74d15d4f10e4
00001468: SWAP4
00001469: DUP6
0000146a: SWAP4
0000146b: SWAP3
0000146c: DUP4
0000146d: SWAP3
0000146e: SWAP2
0000146f: DUP4
00001470: ADD
00001471: SWAP2
00001472: SWAP1
00001473: DUP6
00001474: ADD
00001475: SWAP1
00001476: DUP1
00001477: DUP4
00001478: DUP4
00001479: PUSH1 0x00
0000147b: JUMPDEST
0000147c: DUP4
0000147d: DUP2
0000147e: LT
0000147f: ISZERO
00001480: PUSH2 0x1493
00001483: JUMPI
00001484: DUP2
00001485: DUP2
00001486: ADD
00001487: MLOAD
00001488: DUP4
00001489: DUP3
0000148a: ADD
0000148b: MSTORE
0000148c: PUSH1 0x20
0000148e: ADD
0000148f: PUSH2 0x147b
00001492: JUMP
00001493: JUMPDEST
00001494: POP
00001495: POP
00001496: POP
00001497: POP
00001498: SWAP1
00001499: POP
0000149a: SWAP1
0000149b: DUP2
0000149c: ADD
0000149d: SWAP1
0000149e: PUSH1 0x1f
000014a0: AND
000014a1: DUP1
000014a2: ISZERO
000014a3: PUSH2 0x14c0
000014a6: JUMPI
000014a7: DUP1
000014a8: DUP3
000014a9: SUB
000014aa: DUP1
000014ab: MLOAD
000014ac: PUSH1 0x01
000014ae: DUP4
000014af: PUSH1 0x20
000014b1: SUB
000014b2: PUSH2 0x0100
000014b5: EXP
000014b6: SUB
000014b7: NOT
000014b8: AND
000014b9: DUP2
000014ba: MSTORE
000014bb: PUSH1 0x20
000014bd: ADD
000014be: SWAP2
000014bf: POP
000014c0: JUMPDEST
000014c1: POP
000014c2: SWAP3
000014c3: POP
000014c4: POP
000014c5: POP
000014c6: PUSH1 0x40
000014c8: MLOAD
000014c9: DUP1
000014ca: SWAP2
000014cb: SUB
000014cc: SWAP1
000014cd: LOG1
000014ce: POP
000014cf: JUMP
000014d0: JUMPDEST
000014d1: PUSH1 0x60
000014d3: PUSH1 0x01
000014d5: DUP1
000014d6: SLOAD
000014d7: DUP1
000014d8: PUSH1 0x20
000014da: MUL
000014db: PUSH1 0x20
000014dd: ADD
000014de: PUSH1 0x40
000014e0: MLOAD
000014e1: SWAP1
000014e2: DUP2
000014e3: ADD
000014e4: PUSH1 0x40
000014e6: MSTORE
000014e7: DUP1
000014e8: SWAP3
000014e9: SWAP2
000014ea: SWAP1
000014eb: DUP2
000014ec: DUP2
000014ed: MSTORE
000014ee: PUSH1 0x20
000014f0: ADD
000014f1: DUP3
000014f2: DUP1
000014f3: SLOAD
000014f4: DUP1
000014f5: ISZERO
000014f6: PUSH2 0x1528
000014f9: JUMPI
000014fa: PUSH1 0x20
000014fc: MUL
000014fd: DUP3
000014fe: ADD
000014ff: SWAP2
00001500: SWAP1
00001501: PUSH1 0x00
00001503: MSTORE
00001504: PUSH1 0x20
00001506: PUSH1 0x00
00001508: KECCAK256
00001509: SWAP1
0000150a: JUMPDEST
0000150b: DUP2
0000150c: SLOAD
0000150d: PUSH1 0x01
0000150f: PUSH1 0xa0
00001511: PUSH1 0x02
00001513: EXP
00001514: SUB
00001515: AND
00001516: DUP2
00001517: MSTORE
00001518: PUSH1 0x01
0000151a: SWAP1
0000151b: SWAP2
0000151c: ADD
0000151d: SWAP1
0000151e: PUSH1 0x20
00001520: ADD
00001521: DUP1
00001522: DUP4
00001523: GT
00001524: PUSH2 0x150a
00001527: JUMPI
00001528: JUMPDEST
00001529: POP
0000152a: POP
0000152b: POP
0000152c: POP
0000152d: POP
0000152e: SWAP1
0000152f: POP
00001530: SWAP1
00001531: JUMP
00001532: JUMPDEST
00001533: PUSH1 0x02
00001535: SLOAD
00001536: PUSH1 0xa8
00001538: PUSH1 0x02
0000153a: EXP
0000153b: SWAP1
0000153c: DIV
0000153d: PUSH1 0xff
0000153f: AND
00001540: ISZERO
00001541: ISZERO
00001542: PUSH2 0x154a
00001545: JUMPI
00001546: PUSH1 0x00
00001548: DUP1
00001549: REVERT
0000154a: JUMPDEST
0000154b: PUSH2 0x1553
0000154e: DUP2
0000154f: PUSH2 0x0f95
00001552: JUMP
00001553: JUMPDEST
00001554: PUSH1 0x01
00001556: PUSH1 0xa0
00001558: PUSH1 0x02
0000155a: EXP
0000155b: SUB
0000155c: AND
0000155d: CALLER
0000155e: EQ
0000155f: PUSH2 0x1567
00001562: JUMPI
00001563: PUSH1 0x00
00001565: DUP1
00001566: REVERT
00001567: JUMPDEST
00001568: PUSH2 0x082f
0000156b: CALLER
0000156c: DUP4
0000156d: DUP4
0000156e: PUSH2 0x1b3e
00001571: JUMP
00001572: JUMPDEST
00001573: PUSH1 0x00
00001575: SWAP1
00001576: DUP2
00001577: MSTORE
00001578: PUSH1 0x05
0000157a: PUSH1 0x20
0000157c: MSTORE
0000157d: PUSH1 0x40
0000157f: SWAP1
00001580: KECCAK256
00001581: SLOAD
00001582: SWAP1
00001583: JUMP
00001584: JUMPDEST
00001585: PUSH1 0x60
00001587: PUSH2 0x0dbc
0000158a: PUSH1 0x60
0000158c: PUSH1 0x40
0000158e: MLOAD
0000158f: SWAP1
00001590: DUP2
00001591: ADD
00001592: PUSH1 0x40
00001594: MSTORE
00001595: DUP1
00001596: PUSH1 0x2d
00001598: DUP2
00001599: MSTORE
0000159a: PUSH1 0x20
0000159c: ADD
0000159d: PUSH32 0x68747470733a2f2f63727970746f636f756e74726965732e696f2f6170692f6d
000015be: DUP2
000015bf: MSTORE
000015c0: PUSH1 0x20
000015c2: ADD
000015c3: PUSH32 0x657461646174612f636974792f00000000000000000000000000000000000000
000015e4: DUP2
000015e5: MSTORE
000015e6: POP
000015e7: PUSH2 0x15ef
000015ea: DUP5
000015eb: PUSH2 0x1c63
000015ee: JUMP
000015ef: JUMPDEST
000015f0: PUSH2 0x1d6e
000015f3: JUMP
000015f4: JUMPDEST
000015f5: PUSH1 0x02
000015f7: SLOAD
000015f8: PUSH1 0xff
000015fa: AND
000015fb: SWAP1
000015fc: JUMP
000015fd: JUMPDEST
000015fe: PUSH1 0x02
00001600: SLOAD
00001601: PUSH1 0x00
00001603: SWAP1
00001604: DUP2
00001605: SWAP1
00001606: DUP2
00001607: SWAP1
00001608: DUP2
00001609: SWAP1
0000160a: DUP2
0000160b: SWAP1
0000160c: DUP2
0000160d: SWAP1
0000160e: DUP2
0000160f: SWAP1
00001610: DUP2
00001611: SWAP1
00001612: PUSH1 0xff
00001614: AND
00001615: ISZERO
00001616: PUSH2 0x161e
00001619: JUMPI
0000161a: PUSH1 0x00
0000161c: DUP1
0000161d: REVERT
0000161e: JUMPDEST
0000161f: PUSH1 0x02
00001621: SLOAD
00001622: PUSH2 0x0100
00001625: SWAP1
00001626: DIV
00001627: PUSH1 0x01
00001629: PUSH1 0xa0
0000162b: PUSH1 0x02
0000162d: EXP
0000162e: SUB
0000162f: AND
00001630: ISZERO
00001631: ISZERO
00001632: PUSH2 0x163a
00001635: JUMPI
00001636: PUSH1 0x00
00001638: DUP1
00001639: REVERT
0000163a: JUMPDEST
0000163b: PUSH1 0x00
0000163d: PUSH2 0x1645
00001640: DUP11
00001641: PUSH2 0x1572
00001644: JUMP
00001645: JUMPDEST
00001646: GT
00001647: PUSH2 0x164f
0000164a: JUMPI
0000164b: PUSH1 0x00
0000164d: DUP1
0000164e: REVERT
0000164f: JUMPDEST
00001650: PUSH1 0x00
00001652: PUSH2 0x165a
00001655: DUP11
00001656: PUSH2 0x0f95
00001659: JUMP
0000165a: JUMPDEST
0000165b: PUSH1 0x01
0000165d: PUSH1 0xa0
0000165f: PUSH1 0x02
00001661: EXP
00001662: SUB
00001663: AND
00001664: EQ
00001665: ISZERO
00001666: PUSH2 0x166e
00001669: JUMPI
0000166a: PUSH1 0x00
0000166c: DUP1
0000166d: REVERT
0000166e: JUMPDEST
0000166f: PUSH2 0x1677
00001672: DUP10
00001673: PUSH2 0x1572
00001676: JUMP
00001677: JUMPDEST
00001678: CALLVALUE
00001679: LT
0000167a: ISZERO
0000167b: PUSH2 0x1683
0000167e: JUMPI
0000167f: PUSH1 0x00
00001681: DUP1
00001682: REVERT
00001683: JUMPDEST
00001684: CALLER
00001685: PUSH2 0x168d
00001688: DUP11
00001689: PUSH2 0x0f95
0000168c: JUMP
0000168d: JUMPDEST
0000168e: PUSH1 0x01
00001690: PUSH1 0xa0
00001692: PUSH1 0x02
00001694: EXP
00001695: SUB
00001696: AND
00001697: EQ
00001698: ISZERO
00001699: PUSH2 0x16a1
0000169c: JUMPI
0000169d: PUSH1 0x00
0000169f: DUP1
000016a0: REVERT
000016a1: JUMPDEST
000016a2: CALLER
000016a3: ISZERO
000016a4: ISZERO
000016a5: PUSH2 0x16ad
000016a8: JUMPI
000016a9: PUSH1 0x00
000016ab: DUP1
000016ac: REVERT
000016ad: JUMPDEST
000016ae: PUSH1 0x02
000016b0: SLOAD
000016b1: PUSH1 0x00
000016b3: SWAP1
000016b4: PUSH2 0x0100
000016b7: SWAP1
000016b8: DIV
000016b9: PUSH1 0x01
000016bb: PUSH1 0xa0
000016bd: PUSH1 0x02
000016bf: EXP
000016c0: SUB
000016c1: AND
000016c2: PUSH4 0x6352211e
000016c7: PUSH2 0x16cf
000016ca: DUP13
000016cb: PUSH2 0x1b2c
000016ce: JUMP
000016cf: JUMPDEST
000016d0: PUSH1 0x40
000016d2: MLOAD
000016d3: DUP3
000016d4: PUSH4 0xffffffff
000016d9: AND
000016da: PUSH1 0xe0
000016dc: PUSH1 0x02
000016de: EXP
000016df: MUL
000016e0: DUP2
000016e1: MSTORE
000016e2: PUSH1 0x04
000016e4: ADD
000016e5: DUP1
000016e6: DUP3
000016e7: DUP2
000016e8: MSTORE
000016e9: PUSH1 0x20
000016eb: ADD
000016ec: SWAP2
000016ed: POP
000016ee: POP
000016ef: PUSH1 0x20
000016f1: PUSH1 0x40
000016f3: MLOAD
000016f4: DUP1
000016f5: DUP4
000016f6: SUB
000016f7: DUP2
000016f8: PUSH1 0x00
000016fa: DUP8
000016fb: DUP1
000016fc: EXTCODESIZE
000016fd: ISZERO
000016fe: DUP1
000016ff: ISZERO
00001700: PUSH2 0x1708
00001703: JUMPI
00001704: PUSH1 0x00
00001706: DUP1
00001707: REVERT
00001708: JUMPDEST
00001709: POP
0000170a: GAS
0000170b: CALL
0000170c: ISZERO
0000170d: DUP1
0000170e: ISZERO
0000170f: PUSH2 0x171c
00001712: JUMPI
00001713: RETURNDATASIZE
00001714: PUSH1 0x00
00001716: DUP1
00001717: RETURNDATACOPY
00001718: RETURNDATASIZE
00001719: PUSH1 0x00
0000171b: REVERT
0000171c: JUMPDEST
0000171d: POP
0000171e: POP
0000171f: POP
00001720: POP
00001721: PUSH1 0x40
00001723: MLOAD
00001724: RETURNDATASIZE
00001725: PUSH1 0x20
00001727: DUP2
00001728: LT
00001729: ISZERO
0000172a: PUSH2 0x1732
0000172d: JUMPI
0000172e: PUSH1 0x00
00001730: DUP1
00001731: REVERT
00001732: JUMPDEST
00001733: POP
00001734: MLOAD
00001735: PUSH1 0x01
00001737: PUSH1 0xa0
00001739: PUSH1 0x02
0000173b: EXP
0000173c: SUB
0000173d: AND
0000173e: EQ
0000173f: ISZERO
00001740: PUSH2 0x1748
00001743: JUMPI
00001744: PUSH1 0x00
00001746: DUP1
00001747: REVERT
00001748: JUMPDEST
00001749: PUSH2 0x1751
0000174c: DUP10
0000174d: PUSH2 0x0f95
00001750: JUMP
00001751: JUMPDEST
00001752: PUSH1 0x02
00001754: SLOAD
00001755: SWAP1
00001756: SWAP9
00001757: POP
00001758: CALLER
00001759: SWAP8
0000175a: POP
0000175b: PUSH2 0x0100
0000175e: SWAP1
0000175f: DIV
00001760: PUSH1 0x01
00001762: PUSH1 0xa0
00001764: PUSH1 0x02
00001766: EXP
00001767: SUB
00001768: AND
00001769: PUSH4 0x6352211e
0000176e: PUSH2 0x1776
00001771: DUP12
00001772: PUSH2 0x1b2c
00001775: JUMP
00001776: JUMPDEST
00001777: PUSH1 0x40
00001779: MLOAD
0000177a: DUP3
0000177b: PUSH4 0xffffffff
00001780: AND
00001781: PUSH1 0xe0
00001783: PUSH1 0x02
00001785: EXP
00001786: MUL
00001787: DUP2
00001788: MSTORE
00001789: PUSH1 0x04
0000178b: ADD
0000178c: DUP1
0000178d: DUP3
0000178e: DUP2
0000178f: MSTORE
00001790: PUSH1 0x20
00001792: ADD
00001793: SWAP2
00001794: POP
00001795: POP
00001796: PUSH1 0x20
00001798: PUSH1 0x40
0000179a: MLOAD
0000179b: DUP1
0000179c: DUP4
0000179d: SUB
0000179e: DUP2
0000179f: PUSH1 0x00
000017a1: DUP8
000017a2: DUP1
000017a3: EXTCODESIZE
000017a4: ISZERO
000017a5: DUP1
000017a6: ISZERO
000017a7: PUSH2 0x17af
000017aa: JUMPI
000017ab: PUSH1 0x00
000017ad: DUP1
000017ae: REVERT
000017af: JUMPDEST
000017b0: POP
000017b1: GAS
000017b2: CALL
000017b3: ISZERO
000017b4: DUP1
000017b5: ISZERO
000017b6: PUSH2 0x17c3
000017b9: JUMPI
000017ba: RETURNDATASIZE
000017bb: PUSH1 0x00
000017bd: DUP1
000017be: RETURNDATACOPY
000017bf: RETURNDATASIZE
000017c0: PUSH1 0x00
000017c2: REVERT
000017c3: JUMPDEST
000017c4: POP
000017c5: POP
000017c6: POP
000017c7: POP
000017c8: PUSH1 0x40
000017ca: MLOAD
000017cb: RETURNDATASIZE
000017cc: PUSH1 0x20
000017ce: DUP2
000017cf: LT
000017d0: ISZERO
000017d1: PUSH2 0x17d9
000017d4: JUMPI
000017d5: PUSH1 0x00
000017d7: DUP1
000017d8: REVERT
000017d9: JUMPDEST
000017da: POP
000017db: MLOAD
000017dc: SWAP6
000017dd: POP
000017de: PUSH2 0x17e6
000017e1: DUP10
000017e2: PUSH2 0x1572
000017e5: JUMP
000017e6: JUMPDEST
000017e7: SWAP5
000017e8: POP
000017e9: PUSH2 0x17f8
000017ec: CALLVALUE
000017ed: DUP7
000017ee: PUSH4 0xffffffff
000017f3: PUSH2 0x1ebd
000017f6: AND
000017f7: JUMP
000017f8: JUMPDEST
000017f9: SWAP4
000017fa: POP
000017fb: PUSH2 0x1805
000017fe: DUP9
000017ff: DUP9
00001800: DUP12
00001801: PUSH2 0x1b3e
00001804: JUMP
00001805: JUMPDEST
00001806: PUSH2 0x180e
00001809: DUP10
0000180a: PUSH2 0x0f82
0000180d: JUMP
0000180e: JUMPDEST
0000180f: PUSH1 0x05
00001811: PUSH1 0x00
00001813: DUP12
00001814: DUP2
00001815: MSTORE
00001816: PUSH1 0x20
00001818: ADD
00001819: SWAP1
0000181a: DUP2
0000181b: MSTORE
0000181c: PUSH1 0x20
0000181e: ADD
0000181f: PUSH1 0x00
00001821: KECCAK256
00001822: DUP2
00001823: SWAP1
00001824: SSTORE
00001825: POP
00001826: DUP7
00001827: PUSH1 0x01
00001829: PUSH1 0xa0
0000182b: PUSH1 0x02
0000182d: EXP
0000182e: SUB
0000182f: AND
00001830: DUP10
00001831: PUSH32 0xd2728f908c7e0feb83c6278798370fcb86b62f236c9dbf1a3f541096c2159040
00001852: DUP8
00001853: PUSH1 0x40
00001855: MLOAD
00001856: DUP1
00001857: DUP3
00001858: DUP2
00001859: MSTORE
0000185a: PUSH1 0x20
0000185c: ADD
0000185d: SWAP2
0000185e: POP
0000185f: POP
00001860: PUSH1 0x40
00001862: MLOAD
00001863: DUP1
00001864: SWAP2
00001865: SUB
00001866: SWAP1
00001867: LOG3
00001868: PUSH1 0x40
0000186a: DUP1
0000186b: MLOAD
0000186c: DUP7
0000186d: DUP2
0000186e: MSTORE
0000186f: SWAP1
00001870: MLOAD
00001871: PUSH1 0x01
00001873: PUSH1 0xa0
00001875: PUSH1 0x02
00001877: EXP
00001878: SUB
00001879: DUP11
0000187a: AND
0000187b: SWAP2
0000187c: DUP12
0000187d: SWAP2
0000187e: PUSH32 0x66f5cd880edf48cdde6c966e5da0784fcc4c5e85572b8b3b62c4357798d447d7
0000189f: SWAP2
000018a0: DUP2
000018a1: SWAP1
000018a2: SUB
000018a3: PUSH1 0x20
000018a5: ADD
000018a6: SWAP1
000018a7: LOG3
000018a8: PUSH2 0x18b0
000018ab: DUP6
000018ac: PUSH2 0x0d98
000018af: JUMP
000018b0: JUMPDEST
000018b1: SWAP3
000018b2: POP
000018b3: PUSH2 0x18bb
000018b6: DUP6
000018b7: PUSH2 0x0d98
000018ba: JUMP
000018bb: JUMPDEST
000018bc: PUSH1 0x40
000018be: MLOAD
000018bf: SWAP1
000018c0: SWAP3
000018c1: POP
000018c2: DUP4
000018c3: DUP4
000018c4: ADD
000018c5: SWAP2
000018c6: POP
000018c7: PUSH1 0x01
000018c9: PUSH1 0xa0
000018cb: PUSH1 0x02
000018cd: EXP
000018ce: SUB
000018cf: DUP8
000018d0: AND
000018d1: SWAP1
000018d2: DUP4
000018d3: ISZERO
000018d4: PUSH2 0x08fc
000018d7: MUL
000018d8: SWAP1
000018d9: DUP5
000018da: SWAP1
000018db: PUSH1 0x00
000018dd: DUP2
000018de: DUP2
000018df: DUP2
000018e0: DUP6
000018e1: DUP9
000018e2: DUP9
000018e3: CALL
000018e4: SWAP4
000018e5: POP
000018e6: POP
000018e7: POP
000018e8: POP
000018e9: ISZERO
000018ea: DUP1
000018eb: ISZERO
000018ec: PUSH2 0x18f9
000018ef: JUMPI
000018f0: RETURNDATASIZE
000018f1: PUSH1 0x00
000018f3: DUP1
000018f4: RETURNDATACOPY
000018f5: RETURNDATASIZE
000018f6: PUSH1 0x00
000018f8: REVERT
000018f9: JUMPDEST
000018fa: POP
000018fb: PUSH1 0x01
000018fd: PUSH1 0xa0
000018ff: PUSH1 0x02
00001901: EXP
00001902: SUB
00001903: DUP9
00001904: AND
00001905: PUSH2 0x08fc
00001908: PUSH2 0x1917
0000190b: DUP8
0000190c: DUP5
0000190d: PUSH4 0xffffffff
00001912: PUSH2 0x1ebd
00001915: AND
00001916: JUMP
00001917: JUMPDEST
00001918: PUSH1 0x40
0000191a: MLOAD
0000191b: DUP2
0000191c: ISZERO
0000191d: SWAP1
0000191e: SWAP3
0000191f: MUL
00001920: SWAP2
00001921: PUSH1 0x00
00001923: DUP2
00001924: DUP2
00001925: DUP2
00001926: DUP6
00001927: DUP9
00001928: DUP9
00001929: CALL
0000192a: SWAP4
0000192b: POP
0000192c: POP
0000192d: POP
0000192e: POP
0000192f: ISZERO
00001930: DUP1
00001931: ISZERO
00001932: PUSH2 0x193f
00001935: JUMPI
00001936: RETURNDATASIZE
00001937: PUSH1 0x00
00001939: DUP1
0000193a: RETURNDATACOPY
0000193b: RETURNDATASIZE
0000193c: PUSH1 0x00
0000193e: REVERT
0000193f: JUMPDEST
00001940: POP
00001941: PUSH1 0x00
00001943: DUP5
00001944: GT
00001945: ISZERO
00001946: PUSH2 0x1981
00001949: JUMPI
0000194a: PUSH1 0x40
0000194c: MLOAD
0000194d: PUSH1 0x01
0000194f: PUSH1 0xa0
00001951: PUSH1 0x02
00001953: EXP
00001954: SUB
00001955: DUP9
00001956: AND
00001957: SWAP1
00001958: DUP6
00001959: ISZERO
0000195a: PUSH2 0x08fc
0000195d: MUL
0000195e: SWAP1
0000195f: DUP7
00001960: SWAP1
00001961: PUSH1 0x00
00001963: DUP2
00001964: DUP2
00001965: DUP2
00001966: DUP6
00001967: DUP9
00001968: DUP9
00001969: CALL
0000196a: SWAP4
0000196b: POP
0000196c: POP
0000196d: POP
0000196e: POP
0000196f: ISZERO
00001970: DUP1
00001971: ISZERO
00001972: PUSH2 0x197f
00001975: JUMPI
00001976: RETURNDATASIZE
00001977: PUSH1 0x00
00001979: DUP1
0000197a: RETURNDATACOPY
0000197b: RETURNDATASIZE
0000197c: PUSH1 0x00
0000197e: REVERT
0000197f: JUMPDEST
00001980: POP
00001981: JUMPDEST
00001982: POP
00001983: POP
00001984: POP
00001985: POP
00001986: POP
00001987: POP
00001988: POP
00001989: POP
0000198a: POP
0000198b: JUMP
0000198c: JUMPDEST
0000198d: PUSH1 0x60
0000198f: DUP1
00001990: PUSH1 0x00
00001992: PUSH2 0x1999
00001995: PUSH2 0x0bb1
00001998: JUMP
00001999: JUMPDEST
0000199a: ISZERO
0000199b: ISZERO
0000199c: PUSH2 0x19b5
0000199f: JUMPI
000019a0: PUSH1 0x40
000019a2: DUP1
000019a3: MLOAD
000019a4: PUSH1 0x00
000019a6: DUP2
000019a7: MSTORE
000019a8: PUSH1 0x20
000019aa: DUP2
000019ab: ADD
000019ac: SWAP1
000019ad: SWAP2
000019ae: MSTORE
000019af: SWAP3
000019b0: POP
000019b1: PUSH2 0x1a2e
000019b4: JUMP
000019b5: JUMPDEST
000019b6: DUP4
000019b7: PUSH1 0x40
000019b9: MLOAD
000019ba: SWAP1
000019bb: DUP1
000019bc: DUP3
000019bd: MSTORE
000019be: DUP1
000019bf: PUSH1 0x20
000019c1: MUL
000019c2: PUSH1 0x20
000019c4: ADD
000019c5: DUP3
000019c6: ADD
000019c7: PUSH1 0x40
000019c9: MSTORE
000019ca: DUP1
000019cb: ISZERO
000019cc: PUSH2 0x19df
000019cf: JUMPI
000019d0: DUP2
000019d1: PUSH1 0x20
000019d3: ADD
000019d4: PUSH1 0x20
000019d6: DUP3
000019d7: MUL
000019d8: DUP1
000019d9: CODESIZE
000019da: DUP4
000019db: CODECOPY
000019dc: ADD
000019dd: SWAP1
000019de: POP
000019df: JUMPDEST
000019e0: POP
000019e1: SWAP2
000019e2: POP
000019e3: PUSH1 0x00
000019e5: SWAP1
000019e6: POP
000019e7: JUMPDEST
000019e8: DUP4
000019e9: DUP2
000019ea: LT
000019eb: ISZERO
000019ec: PUSH2 0x1a2a
000019ef: JUMPI
000019f0: PUSH1 0x03
000019f2: DUP1
000019f3: SLOAD
000019f4: DUP7
000019f5: DUP4
000019f6: ADD
000019f7: SWAP1
000019f8: DUP2
000019f9: LT
000019fa: PUSH2 0x19ff
000019fd: JUMPI
000019fe: INVALID
000019ff: JUMPDEST
00001a00: SWAP1
00001a01: PUSH1 0x00
00001a03: MSTORE
00001a04: PUSH1 0x20
00001a06: PUSH1 0x00
00001a08: KECCAK256
00001a09: ADD
00001a0a: SLOAD
00001a0b: DUP3
00001a0c: DUP3
00001a0d: DUP2
00001a0e: MLOAD
00001a0f: DUP2
00001a10: LT
00001a11: ISZERO
00001a12: ISZERO
00001a13: PUSH2 0x1a18
00001a16: JUMPI
00001a17: INVALID
00001a18: JUMPDEST
00001a19: PUSH1 0x20
00001a1b: SWAP1
00001a1c: DUP2
00001a1d: MUL
00001a1e: SWAP1
00001a1f: SWAP2
00001a20: ADD
00001a21: ADD
00001a22: MSTORE
00001a23: PUSH1 0x01
00001a25: ADD
00001a26: PUSH2 0x19e7
00001a29: JUMP
00001a2a: JUMPDEST
00001a2b: DUP2
00001a2c: SWAP3
00001a2d: POP
00001a2e: JUMPDEST
00001a2f: POP
00001a30: POP
00001a31: SWAP3
00001a32: SWAP2
00001a33: POP
00001a34: POP
00001a35: JUMP
00001a36: JUMPDEST
00001a37: PUSH1 0x00
00001a39: PUSH2 0x0dbc
00001a3c: PUSH1 0x5e
00001a3e: PUSH2 0x0db0
00001a41: DUP5
00001a42: PUSH1 0x78
00001a44: PUSH4 0xffffffff
00001a49: PUSH2 0x1c1a
00001a4c: AND
00001a4d: JUMP
00001a4e: JUMPDEST
00001a4f: PUSH1 0x00
00001a51: SLOAD
00001a52: PUSH1 0x01
00001a54: PUSH1 0xa0
00001a56: PUSH1 0x02
00001a58: EXP
00001a59: SUB
00001a5a: AND
00001a5b: CALLER
00001a5c: EQ
00001a5d: PUSH2 0x1a65
00001a60: JUMPI
00001a61: PUSH1 0x00
00001a63: DUP1
00001a64: REVERT
00001a65: JUMPDEST
00001a66: PUSH2 0x1a6d
00001a69: PUSH2 0x09f5
00001a6c: JUMP
00001a6d: JUMPDEST
00001a6e: PUSH1 0x00
00001a70: DUP1
00001a71: SLOAD
00001a72: PUSH1 0x01
00001a74: PUSH1 0xa0
00001a76: PUSH1 0x02
00001a78: EXP
00001a79: SUB
00001a7a: NOT
00001a7b: AND
00001a7c: PUSH1 0x01
00001a7e: PUSH1 0xa0
00001a80: PUSH1 0x02
00001a82: EXP
00001a83: SUB
00001a84: SWAP3
00001a85: SWAP1
00001a86: SWAP3
00001a87: AND
00001a88: SWAP2
00001a89: SWAP1
00001a8a: SWAP2
00001a8b: OR
00001a8c: SWAP1
00001a8d: SSTORE
00001a8e: JUMP
00001a8f: JUMPDEST
00001a90: PUSH1 0x00
00001a92: PUSH2 0x1a9a
00001a95: CALLER
00001a96: PUSH2 0x0bfc
00001a99: JUMP
00001a9a: JUMPDEST
00001a9b: ISZERO
00001a9c: ISZERO
00001a9d: PUSH2 0x1aa5
00001aa0: JUMPI
00001aa1: PUSH1 0x00
00001aa3: DUP1
00001aa4: REVERT
00001aa5: JUMPDEST
00001aa6: PUSH1 0x02
00001aa8: SLOAD
00001aa9: PUSH1 0xff
00001aab: AND
00001aac: ISZERO
00001aad: PUSH2 0x1ab5
00001ab0: JUMPI
00001ab1: PUSH1 0x00
00001ab3: DUP1
00001ab4: REVERT
00001ab5: JUMPDEST
00001ab6: PUSH1 0x02
00001ab8: SLOAD
00001ab9: PUSH2 0x0100
00001abc: SWAP1
00001abd: DIV
00001abe: PUSH1 0x01
00001ac0: PUSH1 0xa0
00001ac2: PUSH1 0x02
00001ac4: EXP
00001ac5: SUB
00001ac6: AND
00001ac7: ISZERO
00001ac8: ISZERO
00001ac9: PUSH2 0x1ad1
00001acc: JUMPI
00001acd: PUSH1 0x00
00001acf: DUP1
00001ad0: REVERT
00001ad1: JUMPDEST
00001ad2: DUP6
00001ad3: DUP5
00001ad4: EQ
00001ad5: PUSH2 0x1add
00001ad8: JUMPI
00001ad9: PUSH1 0x00
00001adb: DUP1
00001adc: REVERT
00001add: JUMPDEST
00001ade: POP
00001adf: PUSH1 0x00
00001ae1: JUMPDEST
00001ae2: DUP6
00001ae3: DUP2
00001ae4: LT
00001ae5: ISZERO
00001ae6: PUSH2 0x1b23
00001ae9: JUMPI
00001aea: PUSH2 0x1b1b
00001aed: DUP8
00001aee: DUP8
00001aef: DUP4
00001af0: DUP2
00001af1: DUP2
00001af2: LT
00001af3: PUSH2 0x1af8
00001af6: JUMPI
00001af7: INVALID
00001af8: JUMPDEST
00001af9: SWAP1
00001afa: POP
00001afb: PUSH1 0x20
00001afd: MUL
00001afe: ADD
00001aff: CALLDATALOAD
00001b00: DUP7
00001b01: DUP7
00001b02: DUP5
00001b03: DUP2
00001b04: DUP2
00001b05: LT
00001b06: ISZERO
00001b07: ISZERO
00001b08: PUSH2 0x1b0d
00001b0b: JUMPI
00001b0c: INVALID
00001b0d: JUMPDEST
00001b0e: SWAP1
00001b0f: POP
00001b10: PUSH1 0x20
00001b12: MUL
00001b13: ADD
00001b14: CALLDATALOAD
00001b15: DUP6
00001b16: DUP6
00001b17: PUSH2 0x10b8
00001b1a: JUMP
00001b1b: JUMPDEST
00001b1c: PUSH1 0x01
00001b1e: ADD
00001b1f: PUSH2 0x1ae1
00001b22: JUMP
00001b23: JUMPDEST
00001b24: POP
00001b25: POP
00001b26: POP
00001b27: POP
00001b28: POP
00001b29: POP
00001b2a: POP
00001b2b: JUMP
00001b2c: JUMPDEST
00001b2d: PUSH1 0x00
00001b2f: SWAP1
00001b30: DUP2
00001b31: MSTORE
00001b32: PUSH1 0x06
00001b34: PUSH1 0x20
00001b36: MSTORE
00001b37: PUSH1 0x40
00001b39: SWAP1
00001b3a: KECCAK256
00001b3b: SLOAD
00001b3c: SWAP1
00001b3d: JUMP
00001b3e: JUMPDEST
00001b3f: PUSH2 0x1b47
00001b42: DUP2
00001b43: PUSH2 0x07c5
00001b46: JUMP
00001b47: JUMPDEST
00001b48: ISZERO
00001b49: ISZERO
00001b4a: PUSH2 0x1b52
00001b4d: JUMPI
00001b4e: PUSH1 0x00
00001b50: DUP1
00001b51: REVERT
00001b52: JUMPDEST
00001b53: DUP3
00001b54: PUSH1 0x01
00001b56: PUSH1 0xa0
00001b58: PUSH1 0x02
00001b5a: EXP
00001b5b: SUB
00001b5c: AND
00001b5d: PUSH2 0x1b65
00001b60: DUP3
00001b61: PUSH2 0x0f95
00001b64: JUMP
00001b65: JUMPDEST
00001b66: PUSH1 0x01
00001b68: PUSH1 0xa0
00001b6a: PUSH1 0x02
00001b6c: EXP
00001b6d: SUB
00001b6e: AND
00001b6f: EQ
00001b70: PUSH2 0x1b78
00001b73: JUMPI
00001b74: PUSH1 0x00
00001b76: DUP1
00001b77: REVERT
00001b78: JUMPDEST
00001b79: PUSH1 0x01
00001b7b: PUSH1 0xa0
00001b7d: PUSH1 0x02
00001b7f: EXP
00001b80: SUB
00001b81: DUP3
00001b82: AND
00001b83: ISZERO
00001b84: ISZERO
00001b85: PUSH2 0x1b8d
00001b88: JUMPI
00001b89: PUSH1 0x00
00001b8b: DUP1
00001b8c: REVERT
00001b8d: JUMPDEST
00001b8e: PUSH1 0x01
00001b90: PUSH1 0xa0
00001b92: PUSH1 0x02
00001b94: EXP
00001b95: SUB
00001b96: DUP3
00001b97: AND
00001b98: ADDRESS
00001b99: EQ
00001b9a: ISZERO
00001b9b: PUSH2 0x1ba3
00001b9e: JUMPI
00001b9f: PUSH1 0x00
00001ba1: DUP1
00001ba2: REVERT
00001ba3: JUMPDEST
00001ba4: PUSH1 0x00
00001ba6: DUP2
00001ba7: DUP2
00001ba8: MSTORE
00001ba9: PUSH1 0x04
00001bab: PUSH1 0x20
00001bad: SWAP1
00001bae: DUP2
00001baf: MSTORE
00001bb0: PUSH1 0x40
00001bb2: DUP1
00001bb3: DUP4
00001bb4: KECCAK256
00001bb5: DUP1
00001bb6: SLOAD
00001bb7: PUSH1 0x01
00001bb9: PUSH1 0xa0
00001bbb: PUSH1 0x02
00001bbd: EXP
00001bbe: SUB
00001bbf: DUP1
00001bc0: DUP9
00001bc1: AND
00001bc2: PUSH1 0x01
00001bc4: PUSH1 0xa0
00001bc6: PUSH1 0x02
00001bc8: EXP
00001bc9: SUB
00001bca: NOT
00001bcb: SWAP3
00001bcc: DUP4
00001bcd: AND
00001bce: DUP2
00001bcf: OR
00001bd0: SWAP1
00001bd1: SWAP4
00001bd2: SSTORE
00001bd3: PUSH1 0x08
00001bd5: DUP6
00001bd6: MSTORE
00001bd7: SWAP5
00001bd8: DUP4
00001bd9: SWAP1
00001bda: KECCAK256
00001bdb: DUP1
00001bdc: SLOAD
00001bdd: SWAP1
00001bde: SWAP2
00001bdf: AND
00001be0: SWAP1
00001be1: SSTORE
00001be2: DUP2
00001be3: MLOAD
00001be4: DUP6
00001be5: DUP2
00001be6: MSTORE
00001be7: SWAP2
00001be8: MLOAD
00001be9: SWAP1
00001bea: SWAP4
00001beb: DUP8
00001bec: AND
00001bed: SWAP3
00001bee: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001c0f: SWAP3
00001c10: DUP3
00001c11: SWAP1
00001c12: SUB
00001c13: ADD
00001c14: SWAP1
00001c15: LOG3
00001c16: POP
00001c17: POP
00001c18: POP
00001c19: JUMP
00001c1a: JUMPDEST
00001c1b: PUSH1 0x00
00001c1d: DUP1
00001c1e: DUP4
00001c1f: ISZERO
00001c20: ISZERO
00001c21: PUSH2 0x1c2d
00001c24: JUMPI
00001c25: PUSH1 0x00
00001c27: SWAP2
00001c28: POP
00001c29: PUSH2 0x1073
00001c2c: JUMP
00001c2d: JUMPDEST
00001c2e: POP
00001c2f: DUP3
00001c30: DUP3
00001c31: MUL
00001c32: DUP3
00001c33: DUP5
00001c34: DUP3
00001c35: DUP2
00001c36: ISZERO
00001c37: ISZERO
00001c38: PUSH2 0x1c3d
00001c3b: JUMPI
00001c3c: INVALID
00001c3d: JUMPDEST
00001c3e: DIV
00001c3f: EQ
00001c40: PUSH2 0x1c45
00001c43: JUMPI
00001c44: INVALID
00001c45: JUMPDEST
00001c46: SWAP4
00001c47: SWAP3
00001c48: POP
00001c49: POP
00001c4a: POP
00001c4b: JUMP
00001c4c: JUMPDEST
00001c4d: PUSH1 0x00
00001c4f: DUP1
00001c50: DUP3
00001c51: DUP5
00001c52: DUP2
00001c53: ISZERO
00001c54: ISZERO
00001c55: PUSH2 0x1c5a
00001c58: JUMPI
00001c59: INVALID
00001c5a: JUMPDEST
00001c5b: DIV
00001c5c: SWAP5
00001c5d: SWAP4
00001c5e: POP
00001c5f: POP
00001c60: POP
00001c61: POP
00001c62: JUMP
00001c63: JUMPDEST
00001c64: PUSH1 0x60
00001c66: PUSH1 0x00
00001c68: DUP1
00001c69: DUP3
00001c6a: DUP2
00001c6b: DUP6
00001c6c: ISZERO
00001c6d: ISZERO
00001c6e: PUSH2 0x1cac
00001c71: JUMPI
00001c72: PUSH1 0x40
00001c74: DUP1
00001c75: MLOAD
00001c76: DUP1
00001c77: DUP3
00001c78: ADD
00001c79: SWAP1
00001c7a: SWAP2
00001c7b: MSTORE
00001c7c: PUSH1 0x01
00001c7e: DUP2
00001c7f: MSTORE
00001c80: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
00001ca1: PUSH1 0x20
00001ca3: DUP3
00001ca4: ADD
00001ca5: MSTORE
00001ca6: SWAP5
00001ca7: POP
00001ca8: PUSH2 0x1d65
00001cab: JUMP
00001cac: JUMPDEST
00001cad: DUP6
00001cae: SWAP4
00001caf: POP
00001cb0: JUMPDEST
00001cb1: DUP4
00001cb2: ISZERO
00001cb3: PUSH2 0x1cc7
00001cb6: JUMPI
00001cb7: PUSH1 0x01
00001cb9: SWAP1
00001cba: SWAP3
00001cbb: ADD
00001cbc: SWAP2
00001cbd: PUSH1 0x0a
00001cbf: DUP5
00001cc0: DIV
00001cc1: SWAP4
00001cc2: POP
00001cc3: PUSH2 0x1cb0
00001cc6: JUMP
00001cc7: JUMPDEST
00001cc8: DUP3
00001cc9: PUSH1 0x40
00001ccb: MLOAD
00001ccc: SWAP1
00001ccd: DUP1
00001cce: DUP3
00001ccf: MSTORE
00001cd0: DUP1
00001cd1: PUSH1 0x1f
00001cd3: ADD
00001cd4: PUSH1 0x1f
00001cd6: NOT
00001cd7: AND
00001cd8: PUSH1 0x20
00001cda: ADD
00001cdb: DUP3
00001cdc: ADD
00001cdd: PUSH1 0x40
00001cdf: MSTORE
00001ce0: DUP1
00001ce1: ISZERO
00001ce2: PUSH2 0x1cf5
00001ce5: JUMPI
00001ce6: DUP2
00001ce7: PUSH1 0x20
00001ce9: ADD
00001cea: PUSH1 0x20
00001cec: DUP3
00001ced: MUL
00001cee: DUP1
00001cef: CODESIZE
00001cf0: DUP4
00001cf1: CODECOPY
00001cf2: ADD
00001cf3: SWAP1
00001cf4: POP
00001cf5: JUMPDEST
00001cf6: POP
00001cf7: SWAP2
00001cf8: POP
00001cf9: POP
00001cfa: PUSH1 0x00
00001cfc: NOT
00001cfd: DUP3
00001cfe: ADD
00001cff: JUMPDEST
00001d00: DUP6
00001d01: ISZERO
00001d02: PUSH2 0x1d61
00001d05: JUMPI
00001d06: DUP2
00001d07: MLOAD
00001d08: PUSH1 0x00
00001d0a: NOT
00001d0b: DUP3
00001d0c: ADD
00001d0d: SWAP2
00001d0e: PUSH1 0xf8
00001d10: PUSH1 0x02
00001d12: EXP
00001d13: PUSH1 0x30
00001d15: PUSH1 0x0a
00001d17: DUP11
00001d18: MOD
00001d19: ADD
00001d1a: MUL
00001d1b: SWAP2
00001d1c: DUP5
00001d1d: SWAP2
00001d1e: SWAP1
00001d1f: DUP2
00001d20: LT
00001d21: PUSH2 0x1d26
00001d24: JUMPI
00001d25: INVALID
00001d26: JUMPDEST
00001d27: SWAP1
00001d28: PUSH1 0x20
00001d2a: ADD
00001d2b: ADD
00001d2c: SWAP1
00001d2d: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001d4d: NOT
00001d4e: AND
00001d4f: SWAP1
00001d50: DUP2
00001d51: PUSH1 0x00
00001d53: BYTE
00001d54: SWAP1
00001d55: MSTORE8
00001d56: POP
00001d57: PUSH1 0x0a
00001d59: DUP7
00001d5a: DIV
00001d5b: SWAP6
00001d5c: POP
00001d5d: PUSH2 0x1cff
00001d60: JUMP
00001d61: JUMPDEST
00001d62: DUP2
00001d63: SWAP5
00001d64: POP
00001d65: JUMPDEST
00001d66: POP
00001d67: POP
00001d68: POP
00001d69: POP
00001d6a: SWAP2
00001d6b: SWAP1
00001d6c: POP
00001d6d: JUMP
00001d6e: JUMPDEST
00001d6f: PUSH1 0x60
00001d71: DUP1
00001d72: PUSH1 0x60
00001d74: DUP1
00001d75: PUSH1 0x60
00001d77: PUSH1 0x00
00001d79: DUP1
00001d7a: DUP9
00001d7b: SWAP6
00001d7c: POP
00001d7d: DUP8
00001d7e: SWAP5
00001d7f: POP
00001d80: DUP5
00001d81: MLOAD
00001d82: DUP7
00001d83: MLOAD
00001d84: ADD
00001d85: PUSH1 0x40
00001d87: MLOAD
00001d88: SWAP1
00001d89: DUP1
00001d8a: DUP3
00001d8b: MSTORE
00001d8c: DUP1
00001d8d: PUSH1 0x1f
00001d8f: ADD
00001d90: PUSH1 0x1f
00001d92: NOT
00001d93: AND
00001d94: PUSH1 0x20
00001d96: ADD
00001d97: DUP3
00001d98: ADD
00001d99: PUSH1 0x40
00001d9b: MSTORE
00001d9c: DUP1
00001d9d: ISZERO
00001d9e: PUSH2 0x1db1
00001da1: JUMPI
00001da2: DUP2
00001da3: PUSH1 0x20
00001da5: ADD
00001da6: PUSH1 0x20
00001da8: DUP3
00001da9: MUL
00001daa: DUP1
00001dab: CODESIZE
00001dac: DUP4
00001dad: CODECOPY
00001dae: ADD
00001daf: SWAP1
00001db0: POP
00001db1: JUMPDEST
00001db2: POP
00001db3: SWAP4
00001db4: POP
00001db5: DUP4
00001db6: SWAP3
00001db7: POP
00001db8: PUSH1 0x00
00001dba: SWAP2
00001dbb: POP
00001dbc: PUSH1 0x00
00001dbe: SWAP1
00001dbf: POP
00001dc0: JUMPDEST
00001dc1: DUP6
00001dc2: MLOAD
00001dc3: DUP2
00001dc4: LT
00001dc5: ISZERO
00001dc6: PUSH2 0x1e36
00001dc9: JUMPI
00001dca: DUP6
00001dcb: DUP2
00001dcc: DUP2
00001dcd: MLOAD
00001dce: DUP2
00001dcf: LT
00001dd0: ISZERO
00001dd1: ISZERO
00001dd2: PUSH2 0x1dd7
00001dd5: JUMPI
00001dd6: INVALID
00001dd7: JUMPDEST
00001dd8: SWAP1
00001dd9: PUSH1 0x20
00001ddb: ADD
00001ddc: ADD
00001ddd: MLOAD
00001dde: PUSH1 0xf8
00001de0: PUSH1 0x02
00001de2: EXP
00001de3: SWAP1
00001de4: DIV
00001de5: PUSH1 0xf8
00001de7: PUSH1 0x02
00001de9: EXP
00001dea: MUL
00001deb: DUP4
00001dec: DUP4
00001ded: DUP1
00001dee: PUSH1 0x01
00001df0: ADD
00001df1: SWAP5
00001df2: POP
00001df3: DUP2
00001df4: MLOAD
00001df5: DUP2
00001df6: LT
00001df7: ISZERO
00001df8: ISZERO
00001df9: PUSH2 0x1dfe
00001dfc: JUMPI
00001dfd: INVALID
00001dfe: JUMPDEST
00001dff: SWAP1
00001e00: PUSH1 0x20
00001e02: ADD
00001e03: ADD
00001e04: SWAP1
00001e05: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001e25: NOT
00001e26: AND
00001e27: SWAP1
00001e28: DUP2
00001e29: PUSH1 0x00
00001e2b: BYTE
00001e2c: SWAP1
00001e2d: MSTORE8
00001e2e: POP
00001e2f: PUSH1 0x01
00001e31: ADD
00001e32: PUSH2 0x1dc0
00001e35: JUMP
00001e36: JUMPDEST
00001e37: POP
00001e38: PUSH1 0x00
00001e3a: JUMPDEST
00001e3b: DUP5
00001e3c: MLOAD
00001e3d: DUP2
00001e3e: LT
00001e3f: ISZERO
00001e40: PUSH2 0x1eb0
00001e43: JUMPI
00001e44: DUP5
00001e45: DUP2
00001e46: DUP2
00001e47: MLOAD
00001e48: DUP2
00001e49: LT
00001e4a: ISZERO
00001e4b: ISZERO
00001e4c: PUSH2 0x1e51
00001e4f: JUMPI
00001e50: INVALID
00001e51: JUMPDEST
00001e52: SWAP1
00001e53: PUSH1 0x20
00001e55: ADD
00001e56: ADD
00001e57: MLOAD
00001e58: PUSH1 0xf8
00001e5a: PUSH1 0x02
00001e5c: EXP
00001e5d: SWAP1
00001e5e: DIV
00001e5f: PUSH1 0xf8
00001e61: PUSH1 0x02
00001e63: EXP
00001e64: MUL
00001e65: DUP4
00001e66: DUP4
00001e67: DUP1
00001e68: PUSH1 0x01
00001e6a: ADD
00001e6b: SWAP5
00001e6c: POP
00001e6d: DUP2
00001e6e: MLOAD
00001e6f: DUP2
00001e70: LT
00001e71: ISZERO
00001e72: ISZERO
00001e73: PUSH2 0x1e78
00001e76: JUMPI
00001e77: INVALID
00001e78: JUMPDEST
00001e79: SWAP1
00001e7a: PUSH1 0x20
00001e7c: ADD
00001e7d: ADD
00001e7e: SWAP1
00001e7f: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001e9f: NOT
00001ea0: AND
00001ea1: SWAP1
00001ea2: DUP2
00001ea3: PUSH1 0x00
00001ea5: BYTE
00001ea6: SWAP1
00001ea7: MSTORE8
00001ea8: POP
00001ea9: PUSH1 0x01
00001eab: ADD
00001eac: PUSH2 0x1e3a
00001eaf: JUMP
00001eb0: JUMPDEST
00001eb1: POP
00001eb2: SWAP1
00001eb3: SWAP8
00001eb4: SWAP7
00001eb5: POP
00001eb6: POP
00001eb7: POP
00001eb8: POP
00001eb9: POP
00001eba: POP
00001ebb: POP
00001ebc: JUMP
00001ebd: JUMPDEST
00001ebe: PUSH1 0x00
00001ec0: DUP3
00001ec1: DUP3
00001ec2: GT
00001ec3: ISZERO
00001ec4: PUSH2 0x1ec9
00001ec7: JUMPI
00001ec8: INVALID
00001ec9: JUMPDEST
00001eca: POP
00001ecb: SWAP1
00001ecc: SUB
00001ecd: SWAP1
00001ece: JUMP
00001ecf: JUMPDEST
00001ed0: DUP2
00001ed1: SLOAD
00001ed2: DUP2
00001ed3: DUP4
00001ed4: SSTORE
00001ed5: DUP2
00001ed6: DUP2
00001ed7: GT
00001ed8: ISZERO
00001ed9: PUSH2 0x0bf7
00001edc: JUMPI
00001edd: PUSH1 0x00
00001edf: DUP4
00001ee0: DUP2
00001ee1: MSTORE
00001ee2: PUSH1 0x20
00001ee4: SWAP1
00001ee5: KECCAK256
00001ee6: PUSH2 0x0bf7
00001ee9: SWAP2
00001eea: DUP2
00001eeb: ADD
00001eec: SWAP1
00001eed: DUP4
00001eee: ADD
00001eef: PUSH2 0x0868
00001ef2: SWAP2
00001ef3: SWAP1
00001ef4: JUMPDEST
00001ef5: DUP1
00001ef6: DUP3
00001ef7: GT
00001ef8: ISZERO
00001ef9: PUSH2 0x1f08
00001efc: JUMPI
00001efd: PUSH1 0x00
00001eff: DUP2
00001f00: SSTORE
00001f01: PUSH1 0x01
00001f03: ADD
00001f04: PUSH2 0x1ef4
00001f07: JUMP
00001f08: JUMPDEST
00001f09: POP
00001f0a: SWAP1
00001f0b: JUMP
00001f0c: STOP
00001f0d: LOG1
00001f0e: PUSH6 0x627a7a723058
00001f15: KECCAK256
00001f16: UNKNOWN(0xDB)
00001f17: UNKNOWN(0xB7)
00001f18: UNKNOWN(0xC5)
00001f19: UNKNOWN(0xF7)
00001f1a: PUSH29 0xafc38fe8a52b4fdedc19d1906b2e63ac88af071819189f778d35a30029
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 other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xdd7f7fee5f317e0fc1d597b475b9513bf0c3859c06d409e6e42ae80d77f42714
call_targets: 0x3012d31fcc4b6a7fa03bb0af1fba9639f405edea
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xdd7f7fee5f317e0fc1d597b475b9513bf0c3859c06d409e6e42ae80d77f42714",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x3012d31fcc4b6a7fa03bb0af1fba9639f405edea"
    ],
    "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": "0x0562b9f7",
            "selector": "0x0562b9f7",
            "calldata_variants": [
                "0x0562b9f7",
                "0x0562b9f70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x081812fc",
            "selector": "0x081812fc",
            "calldata_variants": [
                "0x081812fc",
                "0x081812fc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1051db34",
            "selector": "0x1051db34",
            "calldata_variants": [
                "0x1051db34",
                "0x1051db340000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1114fce5",
            "selector": "0x1114fce5",
            "calldata_variants": [
                "0x1114fce5",
                "0x1114fce50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x15c73afd",
            "selector": "0x15c73afd",
            "calldata_variants": [
                "0x15c73afd",
                "0x15c73afd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1785f53c",
            "selector": "0x1785f53c",
            "calldata_variants": [
                "0x1785f53c",
                "0x1785f53c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2073,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4544,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4715,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 9,
    "guards_detected": [],
    "untrusted_call_count": 9
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xdd7f7fee5f317e0fc1d597b475b9513bf0c3859c06d409e6e42ae80d77f42714
call_targets: 0x3012d31fcc4b6a7fa03bb0af1fba9639f405edea
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xdd7f7fee5f317e0fc1d597b475b9513bf0c3859c06d409e6e42ae80d77f42714",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x3012d31fcc4b6a7fa03bb0af1fba9639f405edea"
    ],
    "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": "0x0562b9f7",
            "selector": "0x0562b9f7",
            "calldata_variants": [
                "0x0562b9f7",
                "0x0562b9f70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x081812fc",
            "selector": "0x081812fc",
            "calldata_variants": [
                "0x081812fc",
                "0x081812fc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1051db34",
            "selector": "0x1051db34",
            "calldata_variants": [
                "0x1051db34",
                "0x1051db340000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1114fce5",
            "selector": "0x1114fce5",
            "calldata_variants": [
                "0x1114fce5",
                "0x1114fce50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x15c73afd",
            "selector": "0x15c73afd",
            "calldata_variants": [
                "0x15c73afd",
                "0x15c73afd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1785f53c",
            "selector": "0x1785f53c",
            "calldata_variants": [
                "0x1785f53c",
                "0x1785f53c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2073,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4544,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4715,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 9,
    "guards_detected": []
}