Analysis Run

019b477e-b132-7043-aef7-8f6ad58de722
complete
Chain ID
1
Address
0x3a8a97123bccd826228e5eb4144b48cce169517b
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
22111	artifact.fetch	complete	1 / 3	3 months ago
22112	tool.cast_disasm	complete	1 / 3	3 months ago
101755	analysis.bundle	complete	1 / 3	1 week ago
101756	capability.graph	complete	1 / 3	1 week ago
101757	detector.run	complete	1 / 3	1 week ago
101758	validation.fork	complete	1 / 3	1 week ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
2
CALL-family (heavy)
6
EXT*/BALANCE
2
Total opcodes
4576
Flags
create_opcodes_present
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01f5
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH1 0xe0
00000014: PUSH1 0x02
00000016: EXP
00000017: PUSH1 0x00
00000019: CALLDATALOAD
0000001a: DIV
0000001b: AND
0000001c: PUSH4 0x04b2bf99
00000021: DUP2
00000022: EQ
00000023: PUSH2 0x02c9
00000026: JUMPI
00000027: DUP1
00000028: PUSH4 0x05d2035b
0000002d: EQ
0000002e: PUSH2 0x02f8
00000031: JUMPI
00000032: DUP1
00000033: PUSH4 0x06fdde03
00000038: EQ
00000039: PUSH2 0x031f
0000003c: JUMPI
0000003d: DUP1
0000003e: PUSH4 0x083c6323
00000043: EQ
00000044: PUSH2 0x03a9
00000047: JUMPI
00000048: DUP1
00000049: PUSH4 0x095ea7b3
0000004e: EQ
0000004f: PUSH2 0x03ce
00000052: JUMPI
00000053: DUP1
00000054: PUSH4 0x09f3ad26
00000059: EQ
0000005a: PUSH2 0x03f0
0000005d: JUMPI
0000005e: DUP1
0000005f: PUSH4 0x18160ddd
00000064: EQ
00000065: PUSH2 0x0406
00000068: JUMPI
00000069: DUP1
0000006a: PUSH4 0x2344acdf
0000006f: EQ
00000070: PUSH2 0x0419
00000073: JUMPI
00000074: DUP1
00000075: PUSH4 0x23b872dd
0000007a: EQ
0000007b: PUSH2 0x042c
0000007e: JUMPI
0000007f: DUP1
00000080: PUSH4 0x28250d43
00000085: EQ
00000086: PUSH2 0x0454
00000089: JUMPI
0000008a: DUP1
0000008b: PUSH4 0x2ab4d052
00000090: EQ
00000091: PUSH2 0x0467
00000094: JUMPI
00000095: DUP1
00000096: PUSH4 0x313ce567
0000009b: EQ
0000009c: PUSH2 0x047a
0000009f: JUMPI
000000a0: DUP1
000000a1: PUSH4 0x32b3c323
000000a6: EQ
000000a7: PUSH2 0x04a3
000000aa: JUMPI
000000ab: DUP1
000000ac: PUSH4 0x34bb3ee1
000000b1: EQ
000000b2: PUSH2 0x04b8
000000b5: JUMPI
000000b6: DUP1
000000b7: PUSH4 0x35a063b4
000000bc: EQ
000000bd: PUSH2 0x04d1
000000c0: JUMPI
000000c1: DUP1
000000c2: PUSH4 0x41f1d4dd
000000c7: EQ
000000c8: PUSH2 0x04e4
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0x4707d000
000000d2: EQ
000000d3: PUSH2 0x04f7
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x47f8b863
000000dd: EQ
000000de: PUSH2 0x051c
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x4f248409
000000e8: EQ
000000e9: PUSH2 0x052f
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x59927044
000000f3: EQ
000000f4: PUSH2 0x0542
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x5ed9ebfc
000000fe: EQ
000000ff: PUSH2 0x0555
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x66188463
00000109: EQ
0000010a: PUSH2 0x0568
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x6aa9c82b
00000114: EQ
00000115: PUSH2 0x058a
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x70a08231
0000011f: EQ
00000120: PUSH2 0x059d
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x75172a8b
0000012a: EQ
0000012b: PUSH2 0x05bc
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x7d363720
00000135: EQ
00000136: PUSH2 0x05cf
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x7fa8c158
00000140: EQ
00000141: PUSH2 0x05e2
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x8456cb59
0000014b: EQ
0000014c: PUSH2 0x05f5
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x8f97e3a0
00000156: EQ
00000157: PUSH2 0x0608
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x95d89b41
00000161: EQ
00000162: PUSH2 0x061e
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x9b19251a
0000016c: EQ
0000016d: PUSH2 0x0631
00000170: JUMPI
00000171: DUP1
00000172: PUSH4 0x9cbd7da5
00000177: EQ
00000178: PUSH2 0x0650
0000017b: JUMPI
0000017c: DUP1
0000017d: PUSH4 0xa9059cbb
00000182: EQ
00000183: PUSH2 0x0663
00000186: JUMPI
00000187: DUP1
00000188: PUSH4 0xb21ed44e
0000018d: EQ
0000018e: PUSH2 0x0685
00000191: JUMPI
00000192: DUP1
00000193: PUSH4 0xc19d93fb
00000198: EQ
00000199: PUSH2 0x0698
0000019c: JUMPI
0000019d: DUP1
0000019e: PUSH4 0xc4bebd69
000001a3: EQ
000001a4: PUSH2 0x06cf
000001a7: JUMPI
000001a8: DUP1
000001a9: PUSH4 0xc8c2ed54
000001ae: EQ
000001af: PUSH2 0x06e2
000001b2: JUMPI
000001b3: DUP1
000001b4: PUSH4 0xcc577f38
000001b9: EQ
000001ba: PUSH2 0x06f5
000001bd: JUMPI
000001be: DUP1
000001bf: PUSH4 0xd5cef133
000001c4: EQ
000001c5: PUSH2 0x0717
000001c8: JUMPI
000001c9: DUP1
000001ca: PUSH4 0xd73dd623
000001cf: EQ
000001d0: PUSH2 0x072a
000001d3: JUMPI
000001d4: DUP1
000001d5: PUSH4 0xdd62ed3e
000001da: EQ
000001db: PUSH2 0x074c
000001de: JUMPI
000001df: DUP1
000001e0: PUSH4 0xe43252d7
000001e5: EQ
000001e6: PUSH2 0x0771
000001e9: JUMPI
000001ea: DUP1
000001eb: PUSH4 0xf8b1fb12
000001f0: EQ
000001f1: PUSH2 0x0790
000001f4: JUMPI
000001f5: JUMPDEST
000001f6: PUSH1 0x00
000001f8: PUSH1 0x02
000001fa: DUP1
000001fb: PUSH1 0x0b
000001fd: SLOAD
000001fe: PUSH1 0xa0
00000200: PUSH1 0x02
00000202: EXP
00000203: SWAP1
00000204: DIV
00000205: PUSH1 0xff
00000207: AND
00000208: PUSH1 0x05
0000020a: DUP2
0000020b: GT
0000020c: ISZERO
0000020d: PUSH2 0x0212
00000210: JUMPI
00000211: INVALID
00000212: JUMPDEST
00000213: EQ
00000214: PUSH2 0x021c
00000217: JUMPI
00000218: PUSH1 0x00
0000021a: DUP1
0000021b: REVERT
0000021c: JUMPDEST
0000021d: PUSH1 0x01
0000021f: PUSH1 0xa0
00000221: PUSH1 0x02
00000223: EXP
00000224: SUB
00000225: CALLER
00000226: AND
00000227: PUSH1 0x00
00000229: SWAP1
0000022a: DUP2
0000022b: MSTORE
0000022c: PUSH1 0x05
0000022e: PUSH1 0x20
00000230: MSTORE
00000231: PUSH1 0x40
00000233: SWAP1
00000234: KECCAK256
00000235: SLOAD
00000236: PUSH1 0xff
00000238: AND
00000239: ISZERO
0000023a: ISZERO
0000023b: PUSH1 0x01
0000023d: EQ
0000023e: PUSH2 0x0246
00000241: JUMPI
00000242: PUSH1 0x00
00000244: DUP1
00000245: REVERT
00000246: JUMPDEST
00000247: PUSH1 0x00
00000249: CALLVALUE
0000024a: GT
0000024b: PUSH2 0x0253
0000024e: JUMPI
0000024f: PUSH1 0x00
00000251: DUP1
00000252: REVERT
00000253: JUMPDEST
00000254: PUSH1 0x04
00000256: CALLDATASIZE
00000257: LT
00000258: PUSH2 0x0260
0000025b: JUMPI
0000025c: PUSH1 0x00
0000025e: DUP1
0000025f: REVERT
00000260: JUMPDEST
00000261: PUSH1 0x0c
00000263: SLOAD
00000264: NUMBER
00000265: LT
00000266: PUSH2 0x026e
00000269: JUMPI
0000026a: PUSH1 0x00
0000026c: DUP1
0000026d: REVERT
0000026e: JUMPDEST
0000026f: PUSH2 0x0277
00000272: CALLVALUE
00000273: PUSH2 0x07af
00000276: JUMP
00000277: JUMPDEST
00000278: SWAP2
00000279: POP
0000027a: PUSH2 0x0283
0000027d: CALLER
0000027e: DUP4
0000027f: PUSH2 0x0801
00000282: JUMP
00000283: JUMPDEST
00000284: PUSH1 0x01
00000286: PUSH1 0xa0
00000288: PUSH1 0x02
0000028a: EXP
0000028b: SUB
0000028c: CALLER
0000028d: AND
0000028e: PUSH1 0x00
00000290: SWAP1
00000291: DUP2
00000292: MSTORE
00000293: PUSH1 0x03
00000295: PUSH1 0x20
00000297: MSTORE
00000298: PUSH1 0x40
0000029a: SWAP1
0000029b: KECCAK256
0000029c: SLOAD
0000029d: PUSH2 0x02ac
000002a0: SWAP1
000002a1: CALLVALUE
000002a2: PUSH4 0xffffffff
000002a7: PUSH2 0x08ff
000002aa: AND
000002ab: JUMP
000002ac: JUMPDEST
000002ad: PUSH1 0x01
000002af: PUSH1 0xa0
000002b1: PUSH1 0x02
000002b3: EXP
000002b4: SUB
000002b5: CALLER
000002b6: AND
000002b7: PUSH1 0x00
000002b9: SWAP1
000002ba: DUP2
000002bb: MSTORE
000002bc: PUSH1 0x03
000002be: PUSH1 0x20
000002c0: MSTORE
000002c1: PUSH1 0x40
000002c3: SWAP1
000002c4: KECCAK256
000002c5: SSTORE
000002c6: POP
000002c7: POP
000002c8: STOP
000002c9: JUMPDEST
000002ca: CALLVALUE
000002cb: ISZERO
000002cc: PUSH2 0x02d4
000002cf: JUMPI
000002d0: PUSH1 0x00
000002d2: DUP1
000002d3: REVERT
000002d4: JUMPDEST
000002d5: PUSH2 0x02dc
000002d8: PUSH2 0x0915
000002db: JUMP
000002dc: JUMPDEST
000002dd: PUSH1 0x40
000002df: MLOAD
000002e0: PUSH1 0x01
000002e2: PUSH1 0xa0
000002e4: PUSH1 0x02
000002e6: EXP
000002e7: SUB
000002e8: SWAP1
000002e9: SWAP2
000002ea: AND
000002eb: DUP2
000002ec: MSTORE
000002ed: PUSH1 0x20
000002ef: ADD
000002f0: PUSH1 0x40
000002f2: MLOAD
000002f3: DUP1
000002f4: SWAP2
000002f5: SUB
000002f6: SWAP1
000002f7: RETURN
000002f8: JUMPDEST
000002f9: CALLVALUE
000002fa: ISZERO
000002fb: PUSH2 0x0303
000002fe: JUMPI
000002ff: PUSH1 0x00
00000301: DUP1
00000302: REVERT
00000303: JUMPDEST
00000304: PUSH2 0x030b
00000307: PUSH2 0x0924
0000030a: JUMP
0000030b: JUMPDEST
0000030c: PUSH1 0x40
0000030e: MLOAD
0000030f: SWAP1
00000310: ISZERO
00000311: ISZERO
00000312: DUP2
00000313: MSTORE
00000314: PUSH1 0x20
00000316: ADD
00000317: PUSH1 0x40
00000319: MLOAD
0000031a: DUP1
0000031b: SWAP2
0000031c: SUB
0000031d: SWAP1
0000031e: RETURN
0000031f: JUMPDEST
00000320: CALLVALUE
00000321: ISZERO
00000322: PUSH2 0x032a
00000325: JUMPI
00000326: PUSH1 0x00
00000328: DUP1
00000329: REVERT
0000032a: JUMPDEST
0000032b: PUSH2 0x0332
0000032e: PUSH2 0x092d
00000331: JUMP
00000332: JUMPDEST
00000333: PUSH1 0x40
00000335: MLOAD
00000336: PUSH1 0x20
00000338: DUP1
00000339: DUP3
0000033a: MSTORE
0000033b: DUP2
0000033c: SWAP1
0000033d: DUP2
0000033e: ADD
0000033f: DUP4
00000340: DUP2
00000341: DUP2
00000342: MLOAD
00000343: DUP2
00000344: MSTORE
00000345: PUSH1 0x20
00000347: ADD
00000348: SWAP2
00000349: POP
0000034a: DUP1
0000034b: MLOAD
0000034c: SWAP1
0000034d: PUSH1 0x20
0000034f: ADD
00000350: SWAP1
00000351: DUP1
00000352: DUP4
00000353: DUP4
00000354: PUSH1 0x00
00000356: JUMPDEST
00000357: DUP4
00000358: DUP2
00000359: LT
0000035a: ISZERO
0000035b: PUSH2 0x036e
0000035e: JUMPI
0000035f: DUP1
00000360: DUP3
00000361: ADD
00000362: MLOAD
00000363: DUP4
00000364: DUP3
00000365: ADD
00000366: MSTORE
00000367: PUSH1 0x20
00000369: ADD
0000036a: PUSH2 0x0356
0000036d: JUMP
0000036e: JUMPDEST
0000036f: POP
00000370: POP
00000371: POP
00000372: POP
00000373: SWAP1
00000374: POP
00000375: SWAP1
00000376: DUP2
00000377: ADD
00000378: SWAP1
00000379: PUSH1 0x1f
0000037b: AND
0000037c: DUP1
0000037d: ISZERO
0000037e: PUSH2 0x039b
00000381: JUMPI
00000382: DUP1
00000383: DUP3
00000384: SUB
00000385: DUP1
00000386: MLOAD
00000387: PUSH1 0x01
00000389: DUP4
0000038a: PUSH1 0x20
0000038c: SUB
0000038d: PUSH2 0x0100
00000390: EXP
00000391: SUB
00000392: NOT
00000393: AND
00000394: DUP2
00000395: MSTORE
00000396: PUSH1 0x20
00000398: ADD
00000399: SWAP2
0000039a: POP
0000039b: JUMPDEST
0000039c: POP
0000039d: SWAP3
0000039e: POP
0000039f: POP
000003a0: POP
000003a1: PUSH1 0x40
000003a3: MLOAD
000003a4: DUP1
000003a5: SWAP2
000003a6: SUB
000003a7: SWAP1
000003a8: RETURN
000003a9: JUMPDEST
000003aa: CALLVALUE
000003ab: ISZERO
000003ac: PUSH2 0x03b4
000003af: JUMPI
000003b0: PUSH1 0x00
000003b2: DUP1
000003b3: REVERT
000003b4: JUMPDEST
000003b5: PUSH2 0x03bc
000003b8: PUSH2 0x0964
000003bb: JUMP
000003bc: JUMPDEST
000003bd: PUSH1 0x40
000003bf: MLOAD
000003c0: SWAP1
000003c1: DUP2
000003c2: MSTORE
000003c3: PUSH1 0x20
000003c5: ADD
000003c6: PUSH1 0x40
000003c8: MLOAD
000003c9: DUP1
000003ca: SWAP2
000003cb: SUB
000003cc: SWAP1
000003cd: RETURN
000003ce: JUMPDEST
000003cf: CALLVALUE
000003d0: ISZERO
000003d1: PUSH2 0x03d9
000003d4: JUMPI
000003d5: PUSH1 0x00
000003d7: DUP1
000003d8: REVERT
000003d9: JUMPDEST
000003da: PUSH2 0x030b
000003dd: PUSH1 0x01
000003df: PUSH1 0xa0
000003e1: PUSH1 0x02
000003e3: EXP
000003e4: SUB
000003e5: PUSH1 0x04
000003e7: CALLDATALOAD
000003e8: AND
000003e9: PUSH1 0x24
000003eb: CALLDATALOAD
000003ec: PUSH2 0x096a
000003ef: JUMP
000003f0: JUMPDEST
000003f1: CALLVALUE
000003f2: ISZERO
000003f3: PUSH2 0x03fb
000003f6: JUMPI
000003f7: PUSH1 0x00
000003f9: DUP1
000003fa: REVERT
000003fb: JUMPDEST
000003fc: PUSH2 0x03bc
000003ff: PUSH1 0x04
00000401: CALLDATALOAD
00000402: PUSH2 0x07af
00000405: JUMP
00000406: JUMPDEST
00000407: CALLVALUE
00000408: ISZERO
00000409: PUSH2 0x0411
0000040c: JUMPI
0000040d: PUSH1 0x00
0000040f: DUP1
00000410: REVERT
00000411: JUMPDEST
00000412: PUSH2 0x03bc
00000415: PUSH2 0x09d6
00000418: JUMP
00000419: JUMPDEST
0000041a: CALLVALUE
0000041b: ISZERO
0000041c: PUSH2 0x0424
0000041f: JUMPI
00000420: PUSH1 0x00
00000422: DUP1
00000423: REVERT
00000424: JUMPDEST
00000425: PUSH2 0x03bc
00000428: PUSH2 0x09dc
0000042b: JUMP
0000042c: JUMPDEST
0000042d: CALLVALUE
0000042e: ISZERO
0000042f: PUSH2 0x0437
00000432: JUMPI
00000433: PUSH1 0x00
00000435: DUP1
00000436: REVERT
00000437: JUMPDEST
00000438: PUSH2 0x030b
0000043b: PUSH1 0x01
0000043d: PUSH1 0xa0
0000043f: PUSH1 0x02
00000441: EXP
00000442: SUB
00000443: PUSH1 0x04
00000445: CALLDATALOAD
00000446: DUP2
00000447: AND
00000448: SWAP1
00000449: PUSH1 0x24
0000044b: CALLDATALOAD
0000044c: AND
0000044d: PUSH1 0x44
0000044f: CALLDATALOAD
00000450: PUSH2 0x09e2
00000453: JUMP
00000454: JUMPDEST
00000455: CALLVALUE
00000456: ISZERO
00000457: PUSH2 0x045f
0000045a: JUMPI
0000045b: PUSH1 0x00
0000045d: DUP1
0000045e: REVERT
0000045f: JUMPDEST
00000460: PUSH2 0x03bc
00000463: PUSH2 0x0a1d
00000466: JUMP
00000467: JUMPDEST
00000468: CALLVALUE
00000469: ISZERO
0000046a: PUSH2 0x0472
0000046d: JUMPI
0000046e: PUSH1 0x00
00000470: DUP1
00000471: REVERT
00000472: JUMPDEST
00000473: PUSH2 0x03bc
00000476: PUSH2 0x0a23
00000479: JUMP
0000047a: JUMPDEST
0000047b: CALLVALUE
0000047c: ISZERO
0000047d: PUSH2 0x0485
00000480: JUMPI
00000481: PUSH1 0x00
00000483: DUP1
00000484: REVERT
00000485: JUMPDEST
00000486: PUSH2 0x048d
00000489: PUSH2 0x0a33
0000048c: JUMP
0000048d: JUMPDEST
0000048e: PUSH1 0x40
00000490: MLOAD
00000491: PUSH1 0xff
00000493: SWAP1
00000494: SWAP2
00000495: AND
00000496: DUP2
00000497: MSTORE
00000498: PUSH1 0x20
0000049a: ADD
0000049b: PUSH1 0x40
0000049d: MLOAD
0000049e: DUP1
0000049f: SWAP2
000004a0: SUB
000004a1: SWAP1
000004a2: RETURN
000004a3: JUMPDEST
000004a4: CALLVALUE
000004a5: ISZERO
000004a6: PUSH2 0x04ae
000004a9: JUMPI
000004aa: PUSH1 0x00
000004ac: DUP1
000004ad: REVERT
000004ae: JUMPDEST
000004af: PUSH2 0x04b6
000004b2: PUSH2 0x0a38
000004b5: JUMP
000004b6: JUMPDEST
000004b7: STOP
000004b8: JUMPDEST
000004b9: CALLVALUE
000004ba: ISZERO
000004bb: PUSH2 0x04c3
000004be: JUMPI
000004bf: PUSH1 0x00
000004c1: DUP1
000004c2: REVERT
000004c3: JUMPDEST
000004c4: PUSH2 0x04b6
000004c7: PUSH1 0x04
000004c9: CALLDATALOAD
000004ca: PUSH1 0x24
000004cc: CALLDATALOAD
000004cd: PUSH2 0x0a80
000004d0: JUMP
000004d1: JUMPDEST
000004d2: CALLVALUE
000004d3: ISZERO
000004d4: PUSH2 0x04dc
000004d7: JUMPI
000004d8: PUSH1 0x00
000004da: DUP1
000004db: REVERT
000004dc: JUMPDEST
000004dd: PUSH2 0x04b6
000004e0: PUSH2 0x0b15
000004e3: JUMP
000004e4: JUMPDEST
000004e5: CALLVALUE
000004e6: ISZERO
000004e7: PUSH2 0x04ef
000004ea: JUMPI
000004eb: PUSH1 0x00
000004ed: DUP1
000004ee: REVERT
000004ef: JUMPDEST
000004f0: PUSH2 0x02dc
000004f3: PUSH2 0x0b5f
000004f6: JUMP
000004f7: JUMPDEST
000004f8: CALLVALUE
000004f9: ISZERO
000004fa: PUSH2 0x0502
000004fd: JUMPI
000004fe: PUSH1 0x00
00000500: DUP1
00000501: REVERT
00000502: JUMPDEST
00000503: PUSH2 0x04b6
00000506: PUSH1 0x01
00000508: PUSH1 0xa0
0000050a: PUSH1 0x02
0000050c: EXP
0000050d: SUB
0000050e: PUSH1 0x04
00000510: CALLDATALOAD
00000511: DUP2
00000512: AND
00000513: SWAP1
00000514: PUSH1 0x24
00000516: CALLDATALOAD
00000517: AND
00000518: PUSH2 0x0b6e
0000051b: JUMP
0000051c: JUMPDEST
0000051d: CALLVALUE
0000051e: ISZERO
0000051f: PUSH2 0x0527
00000522: JUMPI
00000523: PUSH1 0x00
00000525: DUP1
00000526: REVERT
00000527: JUMPDEST
00000528: PUSH2 0x03bc
0000052b: PUSH2 0x0c6d
0000052e: JUMP
0000052f: JUMPDEST
00000530: CALLVALUE
00000531: ISZERO
00000532: PUSH2 0x053a
00000535: JUMPI
00000536: PUSH1 0x00
00000538: DUP1
00000539: REVERT
0000053a: JUMPDEST
0000053b: PUSH2 0x04b6
0000053e: PUSH2 0x0c84
00000541: JUMP
00000542: JUMPDEST
00000543: CALLVALUE
00000544: ISZERO
00000545: PUSH2 0x054d
00000548: JUMPI
00000549: PUSH1 0x00
0000054b: DUP1
0000054c: REVERT
0000054d: JUMPDEST
0000054e: PUSH2 0x02dc
00000551: PUSH2 0x0cc4
00000554: JUMP
00000555: JUMPDEST
00000556: CALLVALUE
00000557: ISZERO
00000558: PUSH2 0x0560
0000055b: JUMPI
0000055c: PUSH1 0x00
0000055e: DUP1
0000055f: REVERT
00000560: JUMPDEST
00000561: PUSH2 0x03bc
00000564: PUSH2 0x0cd3
00000567: JUMP
00000568: JUMPDEST
00000569: CALLVALUE
0000056a: ISZERO
0000056b: PUSH2 0x0573
0000056e: JUMPI
0000056f: PUSH1 0x00
00000571: DUP1
00000572: REVERT
00000573: JUMPDEST
00000574: PUSH2 0x030b
00000577: PUSH1 0x01
00000579: PUSH1 0xa0
0000057b: PUSH1 0x02
0000057d: EXP
0000057e: SUB
0000057f: PUSH1 0x04
00000581: CALLDATALOAD
00000582: AND
00000583: PUSH1 0x24
00000585: CALLDATALOAD
00000586: PUSH2 0x0cd9
00000589: JUMP
0000058a: JUMPDEST
0000058b: CALLVALUE
0000058c: ISZERO
0000058d: PUSH2 0x0595
00000590: JUMPI
00000591: PUSH1 0x00
00000593: DUP1
00000594: REVERT
00000595: JUMPDEST
00000596: PUSH2 0x02dc
00000599: PUSH2 0x0dd3
0000059c: JUMP
0000059d: JUMPDEST
0000059e: CALLVALUE
0000059f: ISZERO
000005a0: PUSH2 0x05a8
000005a3: JUMPI
000005a4: PUSH1 0x00
000005a6: DUP1
000005a7: REVERT
000005a8: JUMPDEST
000005a9: PUSH2 0x03bc
000005ac: PUSH1 0x01
000005ae: PUSH1 0xa0
000005b0: PUSH1 0x02
000005b2: EXP
000005b3: SUB
000005b4: PUSH1 0x04
000005b6: CALLDATALOAD
000005b7: AND
000005b8: PUSH2 0x0de2
000005bb: JUMP
000005bc: JUMPDEST
000005bd: CALLVALUE
000005be: ISZERO
000005bf: PUSH2 0x05c7
000005c2: JUMPI
000005c3: PUSH1 0x00
000005c5: DUP1
000005c6: REVERT
000005c7: JUMPDEST
000005c8: PUSH2 0x02dc
000005cb: PUSH2 0x0e01
000005ce: JUMP
000005cf: JUMPDEST
000005d0: CALLVALUE
000005d1: ISZERO
000005d2: PUSH2 0x05da
000005d5: JUMPI
000005d6: PUSH1 0x00
000005d8: DUP1
000005d9: REVERT
000005da: JUMPDEST
000005db: PUSH2 0x03bc
000005de: PUSH2 0x0e10
000005e1: JUMP
000005e2: JUMPDEST
000005e3: CALLVALUE
000005e4: ISZERO
000005e5: PUSH2 0x05ed
000005e8: JUMPI
000005e9: PUSH1 0x00
000005eb: DUP1
000005ec: REVERT
000005ed: JUMPDEST
000005ee: PUSH2 0x04b6
000005f1: PUSH2 0x0e21
000005f4: JUMP
000005f5: JUMPDEST
000005f6: CALLVALUE
000005f7: ISZERO
000005f8: PUSH2 0x0600
000005fb: JUMPI
000005fc: PUSH1 0x00
000005fe: DUP1
000005ff: REVERT
00000600: JUMPDEST
00000601: PUSH2 0x04b6
00000604: PUSH2 0x0e79
00000607: JUMP
00000608: JUMPDEST
00000609: CALLVALUE
0000060a: ISZERO
0000060b: PUSH2 0x0613
0000060e: JUMPI
0000060f: PUSH1 0x00
00000611: DUP1
00000612: REVERT
00000613: JUMPDEST
00000614: PUSH2 0x04b6
00000617: PUSH1 0x04
00000619: CALLDATALOAD
0000061a: PUSH2 0x0eca
0000061d: JUMP
0000061e: JUMPDEST
0000061f: CALLVALUE
00000620: ISZERO
00000621: PUSH2 0x0629
00000624: JUMPI
00000625: PUSH1 0x00
00000627: DUP1
00000628: REVERT
00000629: JUMPDEST
0000062a: PUSH2 0x0332
0000062d: PUSH2 0x0f3b
00000630: JUMP
00000631: JUMPDEST
00000632: CALLVALUE
00000633: ISZERO
00000634: PUSH2 0x063c
00000637: JUMPI
00000638: PUSH1 0x00
0000063a: DUP1
0000063b: REVERT
0000063c: JUMPDEST
0000063d: PUSH2 0x030b
00000640: PUSH1 0x01
00000642: PUSH1 0xa0
00000644: PUSH1 0x02
00000646: EXP
00000647: SUB
00000648: PUSH1 0x04
0000064a: CALLDATALOAD
0000064b: AND
0000064c: PUSH2 0x0f72
0000064f: JUMP
00000650: JUMPDEST
00000651: CALLVALUE
00000652: ISZERO
00000653: PUSH2 0x065b
00000656: JUMPI
00000657: PUSH1 0x00
00000659: DUP1
0000065a: REVERT
0000065b: JUMPDEST
0000065c: PUSH2 0x04b6
0000065f: PUSH2 0x0f87
00000662: JUMP
00000663: JUMPDEST
00000664: CALLVALUE
00000665: ISZERO
00000666: PUSH2 0x066e
00000669: JUMPI
0000066a: PUSH1 0x00
0000066c: DUP1
0000066d: REVERT
0000066e: JUMPDEST
0000066f: PUSH2 0x030b
00000672: PUSH1 0x01
00000674: PUSH1 0xa0
00000676: PUSH1 0x02
00000678: EXP
00000679: SUB
0000067a: PUSH1 0x04
0000067c: CALLDATALOAD
0000067d: AND
0000067e: PUSH1 0x24
00000680: CALLDATALOAD
00000681: PUSH2 0x0fe3
00000684: JUMP
00000685: JUMPDEST
00000686: CALLVALUE
00000687: ISZERO
00000688: PUSH2 0x0690
0000068b: JUMPI
0000068c: PUSH1 0x00
0000068e: DUP1
0000068f: REVERT
00000690: JUMPDEST
00000691: PUSH2 0x03bc
00000694: PUSH2 0x1014
00000697: JUMP
00000698: JUMPDEST
00000699: CALLVALUE
0000069a: ISZERO
0000069b: PUSH2 0x06a3
0000069e: JUMPI
0000069f: PUSH1 0x00
000006a1: DUP1
000006a2: REVERT
000006a3: JUMPDEST
000006a4: PUSH2 0x06ab
000006a7: PUSH2 0x1019
000006aa: JUMP
000006ab: JUMPDEST
000006ac: PUSH1 0x40
000006ae: MLOAD
000006af: DUP1
000006b0: DUP3
000006b1: PUSH1 0x05
000006b3: DUP2
000006b4: GT
000006b5: ISZERO
000006b6: PUSH2 0x06bb
000006b9: JUMPI
000006ba: INVALID
000006bb: JUMPDEST
000006bc: PUSH1 0xff
000006be: AND
000006bf: DUP2
000006c0: MSTORE
000006c1: PUSH1 0x20
000006c3: ADD
000006c4: SWAP2
000006c5: POP
000006c6: POP
000006c7: PUSH1 0x40
000006c9: MLOAD
000006ca: DUP1
000006cb: SWAP2
000006cc: SUB
000006cd: SWAP1
000006ce: RETURN
000006cf: JUMPDEST
000006d0: CALLVALUE
000006d1: ISZERO
000006d2: PUSH2 0x06da
000006d5: JUMPI
000006d6: PUSH1 0x00
000006d8: DUP1
000006d9: REVERT
000006da: JUMPDEST
000006db: PUSH2 0x03bc
000006de: PUSH2 0x1029
000006e1: JUMP
000006e2: JUMPDEST
000006e3: CALLVALUE
000006e4: ISZERO
000006e5: PUSH2 0x06ed
000006e8: JUMPI
000006e9: PUSH1 0x00
000006eb: DUP1
000006ec: REVERT
000006ed: JUMPDEST
000006ee: PUSH2 0x02dc
000006f1: PUSH2 0x102f
000006f4: JUMP
000006f5: JUMPDEST
000006f6: CALLVALUE
000006f7: ISZERO
000006f8: PUSH2 0x0700
000006fb: JUMPI
000006fc: PUSH1 0x00
000006fe: DUP1
000006ff: REVERT
00000700: JUMPDEST
00000701: PUSH2 0x04b6
00000704: PUSH1 0x01
00000706: PUSH1 0xa0
00000708: PUSH1 0x02
0000070a: EXP
0000070b: SUB
0000070c: PUSH1 0x04
0000070e: CALLDATALOAD
0000070f: AND
00000710: PUSH1 0x24
00000712: CALLDATALOAD
00000713: PUSH2 0x103e
00000716: JUMP
00000717: JUMPDEST
00000718: CALLVALUE
00000719: ISZERO
0000071a: PUSH2 0x0722
0000071d: JUMPI
0000071e: PUSH1 0x00
00000720: DUP1
00000721: REVERT
00000722: JUMPDEST
00000723: PUSH2 0x04b6
00000726: PUSH2 0x10ab
00000729: JUMP
0000072a: JUMPDEST
0000072b: CALLVALUE
0000072c: ISZERO
0000072d: PUSH2 0x0735
00000730: JUMPI
00000731: PUSH1 0x00
00000733: DUP1
00000734: REVERT
00000735: JUMPDEST
00000736: PUSH2 0x030b
00000739: PUSH1 0x01
0000073b: PUSH1 0xa0
0000073d: PUSH1 0x02
0000073f: EXP
00000740: SUB
00000741: PUSH1 0x04
00000743: CALLDATALOAD
00000744: AND
00000745: PUSH1 0x24
00000747: CALLDATALOAD
00000748: PUSH2 0x113d
0000074b: JUMP
0000074c: JUMPDEST
0000074d: CALLVALUE
0000074e: ISZERO
0000074f: PUSH2 0x0757
00000752: JUMPI
00000753: PUSH1 0x00
00000755: DUP1
00000756: REVERT
00000757: JUMPDEST
00000758: PUSH2 0x03bc
0000075b: PUSH1 0x01
0000075d: PUSH1 0xa0
0000075f: PUSH1 0x02
00000761: EXP
00000762: SUB
00000763: PUSH1 0x04
00000765: CALLDATALOAD
00000766: DUP2
00000767: AND
00000768: SWAP1
00000769: PUSH1 0x24
0000076b: CALLDATALOAD
0000076c: AND
0000076d: PUSH2 0x11e1
00000770: JUMP
00000771: JUMPDEST
00000772: CALLVALUE
00000773: ISZERO
00000774: PUSH2 0x077c
00000777: JUMPI
00000778: PUSH1 0x00
0000077a: DUP1
0000077b: REVERT
0000077c: JUMPDEST
0000077d: PUSH2 0x04b6
00000780: PUSH1 0x01
00000782: PUSH1 0xa0
00000784: PUSH1 0x02
00000786: EXP
00000787: SUB
00000788: PUSH1 0x04
0000078a: CALLDATALOAD
0000078b: AND
0000078c: PUSH2 0x120c
0000078f: JUMP
00000790: JUMPDEST
00000791: CALLVALUE
00000792: ISZERO
00000793: PUSH2 0x079b
00000796: JUMPI
00000797: PUSH1 0x00
00000799: DUP1
0000079a: REVERT
0000079b: JUMPDEST
0000079c: PUSH2 0x03bc
0000079f: PUSH1 0x01
000007a1: PUSH1 0xa0
000007a3: PUSH1 0x02
000007a5: EXP
000007a6: SUB
000007a7: PUSH1 0x04
000007a9: CALLDATALOAD
000007aa: AND
000007ab: PUSH2 0x128c
000007ae: JUMP
000007af: JUMPDEST
000007b0: PUSH1 0x00
000007b2: DUP1
000007b3: PUSH1 0x00
000007b5: PUSH2 0x07c9
000007b8: PUSH1 0x0d
000007ba: SLOAD
000007bb: DUP6
000007bc: PUSH2 0x129e
000007bf: SWAP1
000007c0: SWAP2
000007c1: SWAP1
000007c2: PUSH4 0xffffffff
000007c7: AND
000007c8: JUMP
000007c9: JUMPDEST
000007ca: SWAP2
000007cb: POP
000007cc: PUSH2 0x07d3
000007cf: PUSH2 0x0e10
000007d2: JUMP
000007d3: JUMPDEST
000007d4: SWAP1
000007d5: POP
000007d6: PUSH2 0x07f9
000007d9: PUSH2 0x03e8
000007dc: PUSH2 0x07ed
000007df: DUP5
000007e0: DUP3
000007e1: DUP6
000007e2: ADD
000007e3: PUSH4 0xffffffff
000007e8: PUSH2 0x129e
000007eb: AND
000007ec: JUMP
000007ed: JUMPDEST
000007ee: SWAP1
000007ef: PUSH4 0xffffffff
000007f4: PUSH2 0x12c2
000007f7: AND
000007f8: JUMP
000007f9: JUMPDEST
000007fa: SWAP5
000007fb: SWAP4
000007fc: POP
000007fd: POP
000007fe: POP
000007ff: POP
00000800: JUMP
00000801: JUMPDEST
00000802: PUSH1 0x04
00000804: SLOAD
00000805: PUSH1 0x00
00000807: SWAP1
00000808: PUSH2 0x0817
0000080b: SWAP1
0000080c: DUP4
0000080d: PUSH4 0xffffffff
00000812: PUSH2 0x08ff
00000815: AND
00000816: JUMP
00000817: JUMPDEST
00000818: SWAP1
00000819: POP
0000081a: PUSH2 0x083b
0000081d: PUSH1 0x64
0000081f: PUSH2 0x07ed
00000822: PUSH12 0x033b2e3c9fd0803ce8000000
0000082f: PUSH1 0x32
00000831: PUSH4 0xffffffff
00000836: PUSH2 0x129e
00000839: AND
0000083a: JUMP
0000083b: JUMPDEST
0000083c: DUP2
0000083d: GT
0000083e: ISZERO
0000083f: PUSH2 0x0847
00000842: JUMPI
00000843: PUSH1 0x00
00000845: DUP1
00000846: REVERT
00000847: JUMPDEST
00000848: PUSH1 0x01
0000084a: PUSH1 0xa0
0000084c: PUSH1 0x02
0000084e: EXP
0000084f: SUB
00000850: DUP4
00000851: AND
00000852: PUSH1 0x00
00000854: SWAP1
00000855: DUP2
00000856: MSTORE
00000857: PUSH1 0x01
00000859: PUSH1 0x20
0000085b: MSTORE
0000085c: PUSH1 0x40
0000085e: SWAP1
0000085f: KECCAK256
00000860: SLOAD
00000861: PUSH2 0x0870
00000864: SWAP1
00000865: DUP4
00000866: PUSH4 0xffffffff
0000086b: PUSH2 0x08ff
0000086e: AND
0000086f: JUMP
00000870: JUMPDEST
00000871: PUSH1 0x01
00000873: PUSH1 0xa0
00000875: PUSH1 0x02
00000877: EXP
00000878: SUB
00000879: DUP1
0000087a: DUP6
0000087b: AND
0000087c: PUSH1 0x00
0000087e: SWAP1
0000087f: DUP2
00000880: MSTORE
00000881: PUSH1 0x01
00000883: PUSH1 0x20
00000885: MSTORE
00000886: PUSH1 0x40
00000888: DUP1
00000889: DUP3
0000088a: KECCAK256
0000088b: SWAP4
0000088c: SWAP1
0000088d: SWAP4
0000088e: SSTORE
0000088f: PUSH1 0x0b
00000891: SLOAD
00000892: SWAP1
00000893: SWAP2
00000894: AND
00000895: DUP2
00000896: MSTORE
00000897: KECCAK256
00000898: SLOAD
00000899: PUSH2 0x08a8
0000089c: SWAP1
0000089d: DUP4
0000089e: PUSH4 0xffffffff
000008a3: PUSH2 0x12d9
000008a6: AND
000008a7: JUMP
000008a8: JUMPDEST
000008a9: PUSH1 0x0b
000008ab: DUP1
000008ac: SLOAD
000008ad: PUSH1 0x01
000008af: PUSH1 0xa0
000008b1: PUSH1 0x02
000008b3: EXP
000008b4: SUB
000008b5: SWAP1
000008b6: DUP2
000008b7: AND
000008b8: PUSH1 0x00
000008ba: SWAP1
000008bb: DUP2
000008bc: MSTORE
000008bd: PUSH1 0x01
000008bf: PUSH1 0x20
000008c1: MSTORE
000008c2: PUSH1 0x40
000008c4: SWAP1
000008c5: DUP2
000008c6: SWAP1
000008c7: KECCAK256
000008c8: SWAP4
000008c9: SWAP1
000008ca: SWAP4
000008cb: SSTORE
000008cc: PUSH1 0x04
000008ce: DUP5
000008cf: SWAP1
000008d0: SSTORE
000008d1: SWAP1
000008d2: SLOAD
000008d3: DUP6
000008d4: DUP3
000008d5: AND
000008d6: SWAP3
000008d7: SWAP2
000008d8: AND
000008d9: SWAP1
000008da: PUSH1 0x00
000008dc: DUP1
000008dd: MLOAD
000008de: PUSH1 0x20
000008e0: PUSH2 0x1a84
000008e3: DUP4
000008e4: CODECOPY
000008e5: DUP2
000008e6: MLOAD
000008e7: SWAP2
000008e8: MSTORE
000008e9: SWAP1
000008ea: DUP6
000008eb: SWAP1
000008ec: MLOAD
000008ed: SWAP1
000008ee: DUP2
000008ef: MSTORE
000008f0: PUSH1 0x20
000008f2: ADD
000008f3: PUSH1 0x40
000008f5: MLOAD
000008f6: DUP1
000008f7: SWAP2
000008f8: SUB
000008f9: SWAP1
000008fa: LOG3
000008fb: POP
000008fc: POP
000008fd: POP
000008fe: JUMP
000008ff: JUMPDEST
00000900: PUSH1 0x00
00000902: DUP3
00000903: DUP3
00000904: ADD
00000905: DUP4
00000906: DUP2
00000907: LT
00000908: ISZERO
00000909: PUSH2 0x090e
0000090c: JUMPI
0000090d: INVALID
0000090e: JUMPDEST
0000090f: SWAP4
00000910: SWAP3
00000911: POP
00000912: POP
00000913: POP
00000914: JUMP
00000915: JUMPDEST
00000916: PUSH1 0x06
00000918: SLOAD
00000919: PUSH1 0x01
0000091b: PUSH1 0xa0
0000091d: PUSH1 0x02
0000091f: EXP
00000920: SUB
00000921: AND
00000922: DUP2
00000923: JUMP
00000924: JUMPDEST
00000925: PUSH1 0x1b
00000927: SLOAD
00000928: PUSH1 0xff
0000092a: AND
0000092b: DUP2
0000092c: JUMP
0000092d: JUMPDEST
0000092e: PUSH1 0x40
00000930: DUP1
00000931: MLOAD
00000932: SWAP1
00000933: DUP2
00000934: ADD
00000935: PUSH1 0x40
00000937: MSTORE
00000938: PUSH1 0x12
0000093a: DUP2
0000093b: MSTORE
0000093c: PUSH32 0x5172617669747920436f696e20546f6b656e0000000000000000000000000000
0000095d: PUSH1 0x20
0000095f: DUP3
00000960: ADD
00000961: MSTORE
00000962: DUP2
00000963: JUMP
00000964: JUMPDEST
00000965: PUSH1 0x0c
00000967: SLOAD
00000968: DUP2
00000969: JUMP
0000096a: JUMPDEST
0000096b: PUSH1 0x01
0000096d: PUSH1 0xa0
0000096f: PUSH1 0x02
00000971: EXP
00000972: SUB
00000973: CALLER
00000974: DUP2
00000975: AND
00000976: PUSH1 0x00
00000978: DUP2
00000979: DUP2
0000097a: MSTORE
0000097b: PUSH1 0x02
0000097d: PUSH1 0x20
0000097f: SWAP1
00000980: DUP2
00000981: MSTORE
00000982: PUSH1 0x40
00000984: DUP1
00000985: DUP4
00000986: KECCAK256
00000987: SWAP5
00000988: DUP8
00000989: AND
0000098a: DUP1
0000098b: DUP5
0000098c: MSTORE
0000098d: SWAP5
0000098e: SWAP1
0000098f: SWAP2
00000990: MSTORE
00000991: DUP1
00000992: DUP3
00000993: KECCAK256
00000994: DUP6
00000995: SWAP1
00000996: SSTORE
00000997: SWAP1
00000998: SWAP3
00000999: SWAP2
0000099a: SWAP1
0000099b: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000009bc: SWAP1
000009bd: DUP6
000009be: SWAP1
000009bf: MLOAD
000009c0: SWAP1
000009c1: DUP2
000009c2: MSTORE
000009c3: PUSH1 0x20
000009c5: ADD
000009c6: PUSH1 0x40
000009c8: MLOAD
000009c9: DUP1
000009ca: SWAP2
000009cb: SUB
000009cc: SWAP1
000009cd: LOG3
000009ce: POP
000009cf: PUSH1 0x01
000009d1: SWAP3
000009d2: SWAP2
000009d3: POP
000009d4: POP
000009d5: JUMP
000009d6: JUMPDEST
000009d7: PUSH1 0x00
000009d9: SLOAD
000009da: DUP2
000009db: JUMP
000009dc: JUMPDEST
000009dd: PUSH1 0x1c
000009df: SLOAD
000009e0: DUP2
000009e1: JUMP
000009e2: JUMPDEST
000009e3: PUSH1 0x00
000009e5: PUSH1 0x04
000009e7: DUP1
000009e8: PUSH1 0x0b
000009ea: SLOAD
000009eb: PUSH1 0xa0
000009ed: PUSH1 0x02
000009ef: EXP
000009f0: SWAP1
000009f1: DIV
000009f2: PUSH1 0xff
000009f4: AND
000009f5: PUSH1 0x05
000009f7: DUP2
000009f8: GT
000009f9: ISZERO
000009fa: PUSH2 0x09ff
000009fd: JUMPI
000009fe: INVALID
000009ff: JUMPDEST
00000a00: EQ
00000a01: PUSH2 0x0a09
00000a04: JUMPI
00000a05: PUSH1 0x00
00000a07: DUP1
00000a08: REVERT
00000a09: JUMPDEST
00000a0a: PUSH2 0x0a14
00000a0d: DUP6
00000a0e: DUP6
00000a0f: DUP6
00000a10: PUSH2 0x12eb
00000a13: JUMP
00000a14: JUMPDEST
00000a15: SWAP6
00000a16: SWAP5
00000a17: POP
00000a18: POP
00000a19: POP
00000a1a: POP
00000a1b: POP
00000a1c: JUMP
00000a1d: JUMPDEST
00000a1e: PUSH1 0x0d
00000a20: SLOAD
00000a21: DUP2
00000a22: JUMP
00000a23: JUMPDEST
00000a24: PUSH12 0x033b2e3c9fd0803ce8000000
00000a31: DUP2
00000a32: JUMP
00000a33: JUMPDEST
00000a34: PUSH1 0x12
00000a36: DUP2
00000a37: JUMP
00000a38: JUMPDEST
00000a39: PUSH1 0x02
00000a3b: DUP1
00000a3c: PUSH1 0x0b
00000a3e: SLOAD
00000a3f: PUSH1 0xa0
00000a41: PUSH1 0x02
00000a43: EXP
00000a44: SWAP1
00000a45: DIV
00000a46: PUSH1 0xff
00000a48: AND
00000a49: PUSH1 0x05
00000a4b: DUP2
00000a4c: GT
00000a4d: ISZERO
00000a4e: PUSH2 0x0a53
00000a51: JUMPI
00000a52: INVALID
00000a53: JUMPDEST
00000a54: EQ
00000a55: PUSH2 0x0a5d
00000a58: JUMPI
00000a59: PUSH1 0x00
00000a5b: DUP1
00000a5c: REVERT
00000a5d: JUMPDEST
00000a5e: PUSH1 0x0c
00000a60: SLOAD
00000a61: NUMBER
00000a62: GT
00000a63: PUSH2 0x0a6b
00000a66: JUMPI
00000a67: PUSH1 0x00
00000a69: DUP1
00000a6a: REVERT
00000a6b: JUMPDEST
00000a6c: PUSH2 0x0a73
00000a6f: PUSH2 0x1403
00000a72: JUMP
00000a73: JUMPDEST
00000a74: PUSH2 0x0a7d
00000a77: PUSH1 0x04
00000a79: PUSH2 0x1568
00000a7c: JUMP
00000a7d: JUMPDEST
00000a7e: POP
00000a7f: JUMP
00000a80: JUMPDEST
00000a81: PUSH1 0x06
00000a83: SLOAD
00000a84: CALLER
00000a85: PUSH1 0x01
00000a87: PUSH1 0xa0
00000a89: PUSH1 0x02
00000a8b: EXP
00000a8c: SUB
00000a8d: SWAP1
00000a8e: DUP2
00000a8f: AND
00000a90: SWAP2
00000a91: AND
00000a92: EQ
00000a93: PUSH2 0x0a9b
00000a96: JUMPI
00000a97: PUSH1 0x00
00000a99: DUP1
00000a9a: REVERT
00000a9b: JUMPDEST
00000a9c: PUSH1 0x00
00000a9e: PUSH1 0x0b
00000aa0: SLOAD
00000aa1: PUSH1 0xa0
00000aa3: PUSH1 0x02
00000aa5: EXP
00000aa6: SWAP1
00000aa7: DIV
00000aa8: PUSH1 0xff
00000aaa: AND
00000aab: PUSH1 0x05
00000aad: DUP2
00000aae: GT
00000aaf: ISZERO
00000ab0: PUSH2 0x0ab5
00000ab3: JUMPI
00000ab4: INVALID
00000ab5: JUMPDEST
00000ab6: EQ
00000ab7: DUP1
00000ab8: PUSH2 0x0ad8
00000abb: JUMPI
00000abc: POP
00000abd: PUSH1 0x01
00000abf: PUSH1 0x0b
00000ac1: SLOAD
00000ac2: PUSH1 0xa0
00000ac4: PUSH1 0x02
00000ac6: EXP
00000ac7: SWAP1
00000ac8: DIV
00000ac9: PUSH1 0xff
00000acb: AND
00000acc: PUSH1 0x05
00000ace: DUP2
00000acf: GT
00000ad0: ISZERO
00000ad1: PUSH2 0x0ad6
00000ad4: JUMPI
00000ad5: INVALID
00000ad6: JUMPDEST
00000ad7: EQ
00000ad8: JUMPDEST
00000ad9: ISZERO
00000ada: ISZERO
00000adb: PUSH2 0x0ae3
00000ade: JUMPI
00000adf: PUSH1 0x00
00000ae1: DUP1
00000ae2: REVERT
00000ae3: JUMPDEST
00000ae4: PUSH1 0x00
00000ae6: DUP3
00000ae7: GT
00000ae8: PUSH2 0x0af0
00000aeb: JUMPI
00000aec: PUSH1 0x00
00000aee: DUP1
00000aef: REVERT
00000af0: JUMPDEST
00000af1: NUMBER
00000af2: DUP2
00000af3: SWAP1
00000af4: LT
00000af5: PUSH2 0x0afd
00000af8: JUMPI
00000af9: PUSH1 0x00
00000afb: DUP1
00000afc: REVERT
00000afd: JUMPDEST
00000afe: PUSH1 0x0c
00000b00: DUP2
00000b01: SWAP1
00000b02: SSTORE
00000b03: PUSH1 0x0d
00000b05: DUP3
00000b06: SWAP1
00000b07: SSTORE
00000b08: PUSH2 0x0b11
00000b0b: PUSH1 0x01
00000b0d: PUSH2 0x1568
00000b10: JUMP
00000b11: JUMPDEST
00000b12: POP
00000b13: POP
00000b14: JUMP
00000b15: JUMPDEST
00000b16: PUSH1 0x06
00000b18: SLOAD
00000b19: CALLER
00000b1a: PUSH1 0x01
00000b1c: PUSH1 0xa0
00000b1e: PUSH1 0x02
00000b20: EXP
00000b21: SUB
00000b22: SWAP1
00000b23: DUP2
00000b24: AND
00000b25: SWAP2
00000b26: AND
00000b27: EQ
00000b28: PUSH2 0x0b30
00000b2b: JUMPI
00000b2c: PUSH1 0x00
00000b2e: DUP1
00000b2f: REVERT
00000b30: JUMPDEST
00000b31: PUSH1 0x05
00000b33: DUP1
00000b34: PUSH1 0x0b
00000b36: SLOAD
00000b37: PUSH1 0xa0
00000b39: PUSH1 0x02
00000b3b: EXP
00000b3c: SWAP1
00000b3d: DIV
00000b3e: PUSH1 0xff
00000b40: AND
00000b41: PUSH1 0x05
00000b43: DUP2
00000b44: GT
00000b45: ISZERO
00000b46: PUSH2 0x0b4b
00000b49: JUMPI
00000b4a: INVALID
00000b4b: JUMPDEST
00000b4c: EQ
00000b4d: PUSH2 0x0b55
00000b50: JUMPI
00000b51: PUSH1 0x00
00000b53: DUP1
00000b54: REVERT
00000b55: JUMPDEST
00000b56: PUSH2 0x0a7d
00000b59: PUSH1 0x03
00000b5b: PUSH2 0x1568
00000b5e: JUMP
00000b5f: JUMPDEST
00000b60: PUSH1 0x07
00000b62: SLOAD
00000b63: PUSH1 0x01
00000b65: PUSH1 0xa0
00000b67: PUSH1 0x02
00000b69: EXP
00000b6a: SUB
00000b6b: AND
00000b6c: DUP2
00000b6d: JUMP
00000b6e: JUMPDEST
00000b6f: PUSH1 0x09
00000b71: SLOAD
00000b72: CALLER
00000b73: PUSH1 0x01
00000b75: PUSH1 0xa0
00000b77: PUSH1 0x02
00000b79: EXP
00000b7a: SUB
00000b7b: SWAP1
00000b7c: DUP2
00000b7d: AND
00000b7e: SWAP2
00000b7f: AND
00000b80: EQ
00000b81: PUSH2 0x0b89
00000b84: JUMPI
00000b85: PUSH1 0x00
00000b87: DUP1
00000b88: REVERT
00000b89: JUMPDEST
00000b8a: PUSH1 0x01
00000b8c: PUSH1 0xa0
00000b8e: PUSH1 0x02
00000b90: EXP
00000b91: SUB
00000b92: DUP3
00000b93: AND
00000b94: PUSH4 0xa9059cbb
00000b99: DUP3
00000b9a: DUP3
00000b9b: PUSH4 0x70a08231
00000ba0: ADDRESS
00000ba1: PUSH1 0x00
00000ba3: PUSH1 0x40
00000ba5: MLOAD
00000ba6: PUSH1 0x20
00000ba8: ADD
00000ba9: MSTORE
00000baa: PUSH1 0x40
00000bac: MLOAD
00000bad: PUSH1 0xe0
00000baf: PUSH1 0x02
00000bb1: EXP
00000bb2: PUSH4 0xffffffff
00000bb7: DUP5
00000bb8: AND
00000bb9: MUL
00000bba: DUP2
00000bbb: MSTORE
00000bbc: PUSH1 0x01
00000bbe: PUSH1 0xa0
00000bc0: PUSH1 0x02
00000bc2: EXP
00000bc3: SUB
00000bc4: SWAP1
00000bc5: SWAP2
00000bc6: AND
00000bc7: PUSH1 0x04
00000bc9: DUP3
00000bca: ADD
00000bcb: MSTORE
00000bcc: PUSH1 0x24
00000bce: ADD
00000bcf: PUSH1 0x20
00000bd1: PUSH1 0x40
00000bd3: MLOAD
00000bd4: DUP1
00000bd5: DUP4
00000bd6: SUB
00000bd7: DUP2
00000bd8: PUSH1 0x00
00000bda: DUP8
00000bdb: DUP1
00000bdc: EXTCODESIZE
00000bdd: ISZERO
00000bde: ISZERO
00000bdf: PUSH2 0x0be7
00000be2: JUMPI
00000be3: PUSH1 0x00
00000be5: DUP1
00000be6: REVERT
00000be7: JUMPDEST
00000be8: PUSH2 0x02c6
00000beb: GAS
00000bec: SUB
00000bed: CALL
00000bee: ISZERO
00000bef: ISZERO
00000bf0: PUSH2 0x0bf8
00000bf3: JUMPI
00000bf4: PUSH1 0x00
00000bf6: DUP1
00000bf7: REVERT
00000bf8: JUMPDEST
00000bf9: POP
00000bfa: POP
00000bfb: POP
00000bfc: PUSH1 0x40
00000bfe: MLOAD
00000bff: DUP1
00000c00: MLOAD
00000c01: SWAP1
00000c02: POP
00000c03: PUSH1 0x00
00000c05: PUSH1 0x40
00000c07: MLOAD
00000c08: PUSH1 0x20
00000c0a: ADD
00000c0b: MSTORE
00000c0c: PUSH1 0x40
00000c0e: MLOAD
00000c0f: PUSH1 0xe0
00000c11: PUSH1 0x02
00000c13: EXP
00000c14: PUSH4 0xffffffff
00000c19: DUP6
00000c1a: AND
00000c1b: MUL
00000c1c: DUP2
00000c1d: MSTORE
00000c1e: PUSH1 0x01
00000c20: PUSH1 0xa0
00000c22: PUSH1 0x02
00000c24: EXP
00000c25: SUB
00000c26: SWAP1
00000c27: SWAP3
00000c28: AND
00000c29: PUSH1 0x04
00000c2b: DUP4
00000c2c: ADD
00000c2d: MSTORE
00000c2e: PUSH1 0x24
00000c30: DUP3
00000c31: ADD
00000c32: MSTORE
00000c33: PUSH1 0x44
00000c35: ADD
00000c36: PUSH1 0x20
00000c38: PUSH1 0x40
00000c3a: MLOAD
00000c3b: DUP1
00000c3c: DUP4
00000c3d: SUB
00000c3e: DUP2
00000c3f: PUSH1 0x00
00000c41: DUP8
00000c42: DUP1
00000c43: EXTCODESIZE
00000c44: ISZERO
00000c45: ISZERO
00000c46: PUSH2 0x0c4e
00000c49: JUMPI
00000c4a: PUSH1 0x00
00000c4c: DUP1
00000c4d: REVERT
00000c4e: JUMPDEST
00000c4f: PUSH2 0x02c6
00000c52: GAS
00000c53: SUB
00000c54: CALL
00000c55: ISZERO
00000c56: ISZERO
00000c57: PUSH2 0x0c5f
00000c5a: JUMPI
00000c5b: PUSH1 0x00
00000c5d: DUP1
00000c5e: REVERT
00000c5f: JUMPDEST
00000c60: POP
00000c61: POP
00000c62: POP
00000c63: PUSH1 0x40
00000c65: MLOAD
00000c66: DUP1
00000c67: MLOAD
00000c68: POP
00000c69: POP
00000c6a: POP
00000c6b: POP
00000c6c: JUMP
00000c6d: JUMPDEST
00000c6e: PUSH1 0x00
00000c70: PUSH2 0x0c7e
00000c73: PUSH1 0x1c
00000c75: SLOAD
00000c76: TIMESTAMP
00000c77: SUB
00000c78: PUSH1 0x0e
00000c7a: PUSH2 0x1608
00000c7d: JUMP
00000c7e: JUMPDEST
00000c7f: SWAP1
00000c80: POP
00000c81: JUMPDEST
00000c82: SWAP1
00000c83: JUMP
00000c84: JUMPDEST
00000c85: PUSH1 0x06
00000c87: SLOAD
00000c88: CALLER
00000c89: PUSH1 0x01
00000c8b: PUSH1 0xa0
00000c8d: PUSH1 0x02
00000c8f: EXP
00000c90: SUB
00000c91: SWAP1
00000c92: DUP2
00000c93: AND
00000c94: SWAP2
00000c95: AND
00000c96: EQ
00000c97: PUSH2 0x0c9f
00000c9a: JUMPI
00000c9b: PUSH1 0x00
00000c9d: DUP1
00000c9e: REVERT
00000c9f: JUMPDEST
00000ca0: PUSH1 0x02
00000ca2: DUP1
00000ca3: PUSH1 0x0b
00000ca5: SLOAD
00000ca6: PUSH1 0xa0
00000ca8: PUSH1 0x02
00000caa: EXP
00000cab: SWAP1
00000cac: DIV
00000cad: PUSH1 0xff
00000caf: AND
00000cb0: PUSH1 0x05
00000cb2: DUP2
00000cb3: GT
00000cb4: ISZERO
00000cb5: PUSH2 0x0cba
00000cb8: JUMPI
00000cb9: INVALID
00000cba: JUMPDEST
00000cbb: EQ
00000cbc: PUSH2 0x0a6b
00000cbf: JUMPI
00000cc0: PUSH1 0x00
00000cc2: DUP1
00000cc3: REVERT
00000cc4: JUMPDEST
00000cc5: PUSH1 0x0a
00000cc7: SLOAD
00000cc8: PUSH1 0x01
00000cca: PUSH1 0xa0
00000ccc: PUSH1 0x02
00000cce: EXP
00000ccf: SUB
00000cd0: AND
00000cd1: DUP2
00000cd2: JUMP
00000cd3: JUMPDEST
00000cd4: PUSH1 0x04
00000cd6: SLOAD
00000cd7: DUP2
00000cd8: JUMP
00000cd9: JUMPDEST
00000cda: PUSH1 0x01
00000cdc: PUSH1 0xa0
00000cde: PUSH1 0x02
00000ce0: EXP
00000ce1: SUB
00000ce2: CALLER
00000ce3: DUP2
00000ce4: AND
00000ce5: PUSH1 0x00
00000ce7: SWAP1
00000ce8: DUP2
00000ce9: MSTORE
00000cea: PUSH1 0x02
00000cec: PUSH1 0x20
00000cee: SWAP1
00000cef: DUP2
00000cf0: MSTORE
00000cf1: PUSH1 0x40
00000cf3: DUP1
00000cf4: DUP4
00000cf5: KECCAK256
00000cf6: SWAP4
00000cf7: DUP7
00000cf8: AND
00000cf9: DUP4
00000cfa: MSTORE
00000cfb: SWAP3
00000cfc: SWAP1
00000cfd: MSTORE
00000cfe: SWAP1
00000cff: DUP2
00000d00: KECCAK256
00000d01: SLOAD
00000d02: DUP1
00000d03: DUP4
00000d04: GT
00000d05: ISZERO
00000d06: PUSH2 0x0d36
00000d09: JUMPI
00000d0a: PUSH1 0x01
00000d0c: PUSH1 0xa0
00000d0e: PUSH1 0x02
00000d10: EXP
00000d11: SUB
00000d12: CALLER
00000d13: DUP2
00000d14: AND
00000d15: PUSH1 0x00
00000d17: SWAP1
00000d18: DUP2
00000d19: MSTORE
00000d1a: PUSH1 0x02
00000d1c: PUSH1 0x20
00000d1e: SWAP1
00000d1f: DUP2
00000d20: MSTORE
00000d21: PUSH1 0x40
00000d23: DUP1
00000d24: DUP4
00000d25: KECCAK256
00000d26: SWAP4
00000d27: DUP9
00000d28: AND
00000d29: DUP4
00000d2a: MSTORE
00000d2b: SWAP3
00000d2c: SWAP1
00000d2d: MSTORE
00000d2e: SWAP1
00000d2f: DUP2
00000d30: KECCAK256
00000d31: SSTORE
00000d32: PUSH2 0x0d6d
00000d35: JUMP
00000d36: JUMPDEST
00000d37: PUSH2 0x0d46
00000d3a: DUP2
00000d3b: DUP5
00000d3c: PUSH4 0xffffffff
00000d41: PUSH2 0x12d9
00000d44: AND
00000d45: JUMP
00000d46: JUMPDEST
00000d47: PUSH1 0x01
00000d49: PUSH1 0xa0
00000d4b: PUSH1 0x02
00000d4d: EXP
00000d4e: SUB
00000d4f: CALLER
00000d50: DUP2
00000d51: AND
00000d52: PUSH1 0x00
00000d54: SWAP1
00000d55: DUP2
00000d56: MSTORE
00000d57: PUSH1 0x02
00000d59: PUSH1 0x20
00000d5b: SWAP1
00000d5c: DUP2
00000d5d: MSTORE
00000d5e: PUSH1 0x40
00000d60: DUP1
00000d61: DUP4
00000d62: KECCAK256
00000d63: SWAP4
00000d64: DUP10
00000d65: AND
00000d66: DUP4
00000d67: MSTORE
00000d68: SWAP3
00000d69: SWAP1
00000d6a: MSTORE
00000d6b: KECCAK256
00000d6c: SSTORE
00000d6d: JUMPDEST
00000d6e: PUSH1 0x01
00000d70: PUSH1 0xa0
00000d72: PUSH1 0x02
00000d74: EXP
00000d75: SUB
00000d76: CALLER
00000d77: DUP2
00000d78: AND
00000d79: PUSH1 0x00
00000d7b: DUP2
00000d7c: DUP2
00000d7d: MSTORE
00000d7e: PUSH1 0x02
00000d80: PUSH1 0x20
00000d82: SWAP1
00000d83: DUP2
00000d84: MSTORE
00000d85: PUSH1 0x40
00000d87: DUP1
00000d88: DUP4
00000d89: KECCAK256
00000d8a: SWAP5
00000d8b: DUP10
00000d8c: AND
00000d8d: DUP1
00000d8e: DUP5
00000d8f: MSTORE
00000d90: SWAP5
00000d91: SWAP1
00000d92: SWAP2
00000d93: MSTORE
00000d94: SWAP1
00000d95: DUP2
00000d96: SWAP1
00000d97: KECCAK256
00000d98: SLOAD
00000d99: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000dba: SWAP2
00000dbb: MLOAD
00000dbc: SWAP1
00000dbd: DUP2
00000dbe: MSTORE
00000dbf: PUSH1 0x20
00000dc1: ADD
00000dc2: PUSH1 0x40
00000dc4: MLOAD
00000dc5: DUP1
00000dc6: SWAP2
00000dc7: SUB
00000dc8: SWAP1
00000dc9: LOG3
00000dca: POP
00000dcb: PUSH1 0x01
00000dcd: SWAP4
00000dce: SWAP3
00000dcf: POP
00000dd0: POP
00000dd1: POP
00000dd2: JUMP
00000dd3: JUMPDEST
00000dd4: PUSH1 0x08
00000dd6: SLOAD
00000dd7: PUSH1 0x01
00000dd9: PUSH1 0xa0
00000ddb: PUSH1 0x02
00000ddd: EXP
00000dde: SUB
00000ddf: AND
00000de0: DUP2
00000de1: JUMP
00000de2: JUMPDEST
00000de3: PUSH1 0x01
00000de5: PUSH1 0xa0
00000de7: PUSH1 0x02
00000de9: EXP
00000dea: SUB
00000deb: DUP2
00000dec: AND
00000ded: PUSH1 0x00
00000def: SWAP1
00000df0: DUP2
00000df1: MSTORE
00000df2: PUSH1 0x01
00000df4: PUSH1 0x20
00000df6: MSTORE
00000df7: PUSH1 0x40
00000df9: SWAP1
00000dfa: KECCAK256
00000dfb: SLOAD
00000dfc: JUMPDEST
00000dfd: SWAP2
00000dfe: SWAP1
00000dff: POP
00000e00: JUMP
00000e01: JUMPDEST
00000e02: PUSH1 0x0b
00000e04: SLOAD
00000e05: PUSH1 0x01
00000e07: PUSH1 0xa0
00000e09: PUSH1 0x02
00000e0b: EXP
00000e0c: SUB
00000e0d: AND
00000e0e: DUP2
00000e0f: JUMP
00000e10: JUMPDEST
00000e11: PUSH1 0x00
00000e13: PUSH2 0x0c7e
00000e16: PUSH1 0x1c
00000e18: SLOAD
00000e19: TIMESTAMP
00000e1a: SUB
00000e1b: PUSH1 0x0e
00000e1d: PUSH2 0x1656
00000e20: JUMP
00000e21: JUMPDEST
00000e22: PUSH1 0x06
00000e24: SLOAD
00000e25: CALLER
00000e26: PUSH1 0x01
00000e28: PUSH1 0xa0
00000e2a: PUSH1 0x02
00000e2c: EXP
00000e2d: SUB
00000e2e: SWAP1
00000e2f: DUP2
00000e30: AND
00000e31: SWAP2
00000e32: AND
00000e33: EQ
00000e34: PUSH2 0x0e3c
00000e37: JUMPI
00000e38: PUSH1 0x00
00000e3a: DUP1
00000e3b: REVERT
00000e3c: JUMPDEST
00000e3d: PUSH1 0x01
00000e3f: DUP1
00000e40: PUSH1 0x0b
00000e42: SLOAD
00000e43: PUSH1 0xa0
00000e45: PUSH1 0x02
00000e47: EXP
00000e48: SWAP1
00000e49: DIV
00000e4a: PUSH1 0xff
00000e4c: AND
00000e4d: PUSH1 0x05
00000e4f: DUP2
00000e50: GT
00000e51: ISZERO
00000e52: PUSH2 0x0e57
00000e55: JUMPI
00000e56: INVALID
00000e57: JUMPDEST
00000e58: EQ
00000e59: PUSH2 0x0e61
00000e5c: JUMPI
00000e5d: PUSH1 0x00
00000e5f: DUP1
00000e60: REVERT
00000e61: JUMPDEST
00000e62: PUSH1 0x0c
00000e64: SLOAD
00000e65: NUMBER
00000e66: LT
00000e67: PUSH2 0x0e6f
00000e6a: JUMPI
00000e6b: PUSH1 0x00
00000e6d: DUP1
00000e6e: REVERT
00000e6f: JUMPDEST
00000e70: PUSH2 0x0a7d
00000e73: PUSH1 0x02
00000e75: PUSH2 0x1568
00000e78: JUMP
00000e79: JUMPDEST
00000e7a: PUSH1 0x06
00000e7c: SLOAD
00000e7d: CALLER
00000e7e: PUSH1 0x01
00000e80: PUSH1 0xa0
00000e82: PUSH1 0x02
00000e84: EXP
00000e85: SUB
00000e86: SWAP1
00000e87: DUP2
00000e88: AND
00000e89: SWAP2
00000e8a: AND
00000e8b: EQ
00000e8c: PUSH2 0x0e94
00000e8f: JUMPI
00000e90: PUSH1 0x00
00000e92: DUP1
00000e93: REVERT
00000e94: JUMPDEST
00000e95: PUSH1 0x02
00000e97: DUP1
00000e98: PUSH1 0x0b
00000e9a: SLOAD
00000e9b: PUSH1 0xa0
00000e9d: PUSH1 0x02
00000e9f: EXP
00000ea0: SWAP1
00000ea1: DIV
00000ea2: PUSH1 0xff
00000ea4: AND
00000ea5: PUSH1 0x05
00000ea7: DUP2
00000ea8: GT
00000ea9: ISZERO
00000eaa: PUSH2 0x0eaf
00000ead: JUMPI
00000eae: INVALID
00000eaf: JUMPDEST
00000eb0: EQ
00000eb1: PUSH2 0x0eb9
00000eb4: JUMPI
00000eb5: PUSH1 0x00
00000eb7: DUP1
00000eb8: REVERT
00000eb9: JUMPDEST
00000eba: PUSH2 0x0ec3
00000ebd: PUSH1 0x05
00000ebf: PUSH2 0x1568
00000ec2: JUMP
00000ec3: JUMPDEST
00000ec4: POP
00000ec5: TIMESTAMP
00000ec6: PUSH1 0x1d
00000ec8: SSTORE
00000ec9: JUMP
00000eca: JUMPDEST
00000ecb: PUSH1 0x08
00000ecd: SLOAD
00000ece: CALLER
00000ecf: PUSH1 0x01
00000ed1: PUSH1 0xa0
00000ed3: PUSH1 0x02
00000ed5: EXP
00000ed6: SUB
00000ed7: SWAP1
00000ed8: DUP2
00000ed9: AND
00000eda: SWAP2
00000edb: AND
00000edc: EQ
00000edd: PUSH2 0x0ee5
00000ee0: JUMPI
00000ee1: PUSH1 0x00
00000ee3: DUP1
00000ee4: REVERT
00000ee5: JUMPDEST
00000ee6: PUSH1 0x04
00000ee8: DUP1
00000ee9: PUSH1 0x0b
00000eeb: SLOAD
00000eec: PUSH1 0xa0
00000eee: PUSH1 0x02
00000ef0: EXP
00000ef1: SWAP1
00000ef2: DIV
00000ef3: PUSH1 0xff
00000ef5: AND
00000ef6: PUSH1 0x05
00000ef8: DUP2
00000ef9: GT
00000efa: ISZERO
00000efb: PUSH2 0x0f00
00000efe: JUMPI
00000eff: INVALID
00000f00: JUMPDEST
00000f01: EQ
00000f02: PUSH2 0x0f0a
00000f05: JUMPI
00000f06: PUSH1 0x00
00000f08: DUP1
00000f09: REVERT
00000f0a: JUMPDEST
00000f0b: PUSH1 0x01
00000f0d: PUSH1 0xa0
00000f0f: PUSH1 0x02
00000f11: EXP
00000f12: SUB
00000f13: CALLER
00000f14: AND
00000f15: DUP3
00000f16: ISZERO
00000f17: PUSH2 0x08fc
00000f1a: MUL
00000f1b: DUP4
00000f1c: PUSH1 0x40
00000f1e: MLOAD
00000f1f: PUSH1 0x00
00000f21: PUSH1 0x40
00000f23: MLOAD
00000f24: DUP1
00000f25: DUP4
00000f26: SUB
00000f27: DUP2
00000f28: DUP6
00000f29: DUP9
00000f2a: DUP9
00000f2b: CALL
00000f2c: SWAP4
00000f2d: POP
00000f2e: POP
00000f2f: POP
00000f30: POP
00000f31: ISZERO
00000f32: ISZERO
00000f33: PUSH2 0x0b11
00000f36: JUMPI
00000f37: PUSH1 0x00
00000f39: DUP1
00000f3a: REVERT
00000f3b: JUMPDEST
00000f3c: PUSH1 0x40
00000f3e: DUP1
00000f3f: MLOAD
00000f40: SWAP1
00000f41: DUP2
00000f42: ADD
00000f43: PUSH1 0x40
00000f45: MSTORE
00000f46: PUSH1 0x03
00000f48: DUP2
00000f49: MSTORE
00000f4a: PUSH32 0x51434f0000000000000000000000000000000000000000000000000000000000
00000f6b: PUSH1 0x20
00000f6d: DUP3
00000f6e: ADD
00000f6f: MSTORE
00000f70: DUP2
00000f71: JUMP
00000f72: JUMPDEST
00000f73: PUSH1 0x05
00000f75: PUSH1 0x20
00000f77: MSTORE
00000f78: PUSH1 0x00
00000f7a: SWAP1
00000f7b: DUP2
00000f7c: MSTORE
00000f7d: PUSH1 0x40
00000f7f: SWAP1
00000f80: KECCAK256
00000f81: SLOAD
00000f82: PUSH1 0xff
00000f84: AND
00000f85: DUP2
00000f86: JUMP
00000f87: JUMPDEST
00000f88: PUSH1 0x06
00000f8a: SLOAD
00000f8b: CALLER
00000f8c: PUSH1 0x01
00000f8e: PUSH1 0xa0
00000f90: PUSH1 0x02
00000f92: EXP
00000f93: SUB
00000f94: SWAP1
00000f95: DUP2
00000f96: AND
00000f97: SWAP2
00000f98: AND
00000f99: EQ
00000f9a: PUSH2 0x0fa2
00000f9d: JUMPI
00000f9e: PUSH1 0x00
00000fa0: DUP1
00000fa1: REVERT
00000fa2: JUMPDEST
00000fa3: PUSH1 0x05
00000fa5: DUP1
00000fa6: PUSH1 0x0b
00000fa8: SLOAD
00000fa9: PUSH1 0xa0
00000fab: PUSH1 0x02
00000fad: EXP
00000fae: SWAP1
00000faf: DIV
00000fb0: PUSH1 0xff
00000fb2: AND
00000fb3: PUSH1 0x05
00000fb5: DUP2
00000fb6: GT
00000fb7: ISZERO
00000fb8: PUSH2 0x0fbd
00000fbb: JUMPI
00000fbc: INVALID
00000fbd: JUMPDEST
00000fbe: EQ
00000fbf: PUSH2 0x0fc7
00000fc2: JUMPI
00000fc3: PUSH1 0x00
00000fc5: DUP1
00000fc6: REVERT
00000fc7: JUMPDEST
00000fc8: PUSH2 0x0fd1
00000fcb: PUSH1 0x02
00000fcd: PUSH2 0x1568
00000fd0: JUMP
00000fd1: JUMPDEST
00000fd2: PUSH1 0x1d
00000fd4: SLOAD
00000fd5: TIMESTAMP
00000fd6: SUB
00000fd7: PUSH1 0x1c
00000fd9: SLOAD
00000fda: ADD
00000fdb: PUSH1 0x1c
00000fdd: DUP2
00000fde: SWAP1
00000fdf: SSTORE
00000fe0: POP
00000fe1: POP
00000fe2: JUMP
00000fe3: JUMPDEST
00000fe4: PUSH1 0x00
00000fe6: PUSH1 0x04
00000fe8: DUP1
00000fe9: PUSH1 0x0b
00000feb: SLOAD
00000fec: PUSH1 0xa0
00000fee: PUSH1 0x02
00000ff0: EXP
00000ff1: SWAP1
00000ff2: DIV
00000ff3: PUSH1 0xff
00000ff5: AND
00000ff6: PUSH1 0x05
00000ff8: DUP2
00000ff9: GT
00000ffa: ISZERO
00000ffb: PUSH2 0x1000
00000ffe: JUMPI
00000fff: INVALID
00001000: JUMPDEST
00001001: EQ
00001002: PUSH2 0x100a
00001005: JUMPI
00001006: PUSH1 0x00
00001008: DUP1
00001009: REVERT
0000100a: JUMPDEST
0000100b: PUSH2 0x07f9
0000100e: DUP5
0000100f: DUP5
00001010: PUSH2 0x16a5
00001013: JUMP
00001014: JUMPDEST
00001015: PUSH1 0x32
00001017: DUP2
00001018: JUMP
00001019: JUMPDEST
0000101a: PUSH1 0x0b
0000101c: SLOAD
0000101d: PUSH1 0xa0
0000101f: PUSH1 0x02
00001021: EXP
00001022: SWAP1
00001023: DIV
00001024: PUSH1 0xff
00001026: AND
00001027: DUP2
00001028: JUMP
00001029: JUMPDEST
0000102a: PUSH1 0x1d
0000102c: SLOAD
0000102d: DUP2
0000102e: JUMP
0000102f: JUMPDEST
00001030: PUSH1 0x09
00001032: SLOAD
00001033: PUSH1 0x01
00001035: PUSH1 0xa0
00001037: PUSH1 0x02
00001039: EXP
0000103a: SUB
0000103b: AND
0000103c: DUP2
0000103d: JUMP
0000103e: JUMPDEST
0000103f: PUSH1 0x09
00001041: SLOAD
00001042: CALLER
00001043: PUSH1 0x01
00001045: PUSH1 0xa0
00001047: PUSH1 0x02
00001049: EXP
0000104a: SUB
0000104b: SWAP1
0000104c: DUP2
0000104d: AND
0000104e: SWAP2
0000104f: AND
00001050: EQ
00001051: PUSH2 0x1059
00001054: JUMPI
00001055: PUSH1 0x00
00001057: DUP1
00001058: REVERT
00001059: JUMPDEST
0000105a: PUSH1 0x01
0000105c: PUSH1 0x0b
0000105e: SLOAD
0000105f: PUSH1 0xa0
00001061: PUSH1 0x02
00001063: EXP
00001064: SWAP1
00001065: DIV
00001066: PUSH1 0xff
00001068: AND
00001069: PUSH1 0x05
0000106b: DUP2
0000106c: GT
0000106d: ISZERO
0000106e: PUSH2 0x1073
00001071: JUMPI
00001072: INVALID
00001073: JUMPDEST
00001074: EQ
00001075: DUP1
00001076: PUSH2 0x1096
00001079: JUMPI
0000107a: POP
0000107b: PUSH1 0x02
0000107d: PUSH1 0x0b
0000107f: SLOAD
00001080: PUSH1 0xa0
00001082: PUSH1 0x02
00001084: EXP
00001085: SWAP1
00001086: DIV
00001087: PUSH1 0xff
00001089: AND
0000108a: PUSH1 0x05
0000108c: DUP2
0000108d: GT
0000108e: ISZERO
0000108f: PUSH2 0x1094
00001092: JUMPI
00001093: INVALID
00001094: JUMPDEST
00001095: EQ
00001096: JUMPDEST
00001097: ISZERO
00001098: ISZERO
00001099: PUSH2 0x10a1
0000109c: JUMPI
0000109d: PUSH1 0x00
0000109f: DUP1
000010a0: REVERT
000010a1: JUMPDEST
000010a2: PUSH2 0x0b11
000010a5: DUP3
000010a6: DUP3
000010a7: PUSH2 0x0801
000010aa: JUMP
000010ab: JUMPDEST
000010ac: PUSH1 0x00
000010ae: PUSH1 0x03
000010b0: DUP1
000010b1: PUSH1 0x0b
000010b3: SLOAD
000010b4: PUSH1 0xa0
000010b6: PUSH1 0x02
000010b8: EXP
000010b9: SWAP1
000010ba: DIV
000010bb: PUSH1 0xff
000010bd: AND
000010be: PUSH1 0x05
000010c0: DUP2
000010c1: GT
000010c2: ISZERO
000010c3: PUSH2 0x10c8
000010c6: JUMPI
000010c7: INVALID
000010c8: JUMPDEST
000010c9: EQ
000010ca: PUSH2 0x10d2
000010cd: JUMPI
000010ce: PUSH1 0x00
000010d0: DUP1
000010d1: REVERT
000010d2: JUMPDEST
000010d3: PUSH1 0x01
000010d5: PUSH1 0xa0
000010d7: PUSH1 0x02
000010d9: EXP
000010da: SUB
000010db: CALLER
000010dc: AND
000010dd: PUSH1 0x00
000010df: SWAP1
000010e0: DUP2
000010e1: MSTORE
000010e2: PUSH1 0x03
000010e4: PUSH1 0x20
000010e6: MSTORE
000010e7: PUSH1 0x40
000010e9: DUP2
000010ea: KECCAK256
000010eb: SLOAD
000010ec: GT
000010ed: PUSH2 0x10f5
000010f0: JUMPI
000010f1: PUSH1 0x00
000010f3: DUP1
000010f4: REVERT
000010f5: JUMPDEST
000010f6: PUSH1 0x01
000010f8: PUSH1 0xa0
000010fa: PUSH1 0x02
000010fc: EXP
000010fd: SUB
000010fe: CALLER
000010ff: AND
00001100: PUSH1 0x00
00001102: DUP2
00001103: DUP2
00001104: MSTORE
00001105: PUSH1 0x03
00001107: PUSH1 0x20
00001109: MSTORE
0000110a: PUSH1 0x40
0000110c: DUP1
0000110d: DUP3
0000110e: KECCAK256
0000110f: DUP1
00001110: SLOAD
00001111: SWAP3
00001112: SWAP1
00001113: SSTORE
00001114: SWAP1
00001115: SWAP4
00001116: POP
00001117: DUP4
00001118: ISZERO
00001119: PUSH2 0x08fc
0000111c: MUL
0000111d: SWAP1
0000111e: DUP5
0000111f: SWAP1
00001120: MLOAD
00001121: PUSH1 0x00
00001123: PUSH1 0x40
00001125: MLOAD
00001126: DUP1
00001127: DUP4
00001128: SUB
00001129: DUP2
0000112a: DUP6
0000112b: DUP9
0000112c: DUP9
0000112d: CALL
0000112e: SWAP4
0000112f: POP
00001130: POP
00001131: POP
00001132: POP
00001133: ISZERO
00001134: ISZERO
00001135: PUSH2 0x0b11
00001138: JUMPI
00001139: PUSH1 0x00
0000113b: DUP1
0000113c: REVERT
0000113d: JUMPDEST
0000113e: PUSH1 0x01
00001140: PUSH1 0xa0
00001142: PUSH1 0x02
00001144: EXP
00001145: SUB
00001146: CALLER
00001147: DUP2
00001148: AND
00001149: PUSH1 0x00
0000114b: SWAP1
0000114c: DUP2
0000114d: MSTORE
0000114e: PUSH1 0x02
00001150: PUSH1 0x20
00001152: SWAP1
00001153: DUP2
00001154: MSTORE
00001155: PUSH1 0x40
00001157: DUP1
00001158: DUP4
00001159: KECCAK256
0000115a: SWAP4
0000115b: DUP7
0000115c: AND
0000115d: DUP4
0000115e: MSTORE
0000115f: SWAP3
00001160: SWAP1
00001161: MSTORE
00001162: SWAP1
00001163: DUP2
00001164: KECCAK256
00001165: SLOAD
00001166: PUSH2 0x1175
00001169: SWAP1
0000116a: DUP4
0000116b: PUSH4 0xffffffff
00001170: PUSH2 0x08ff
00001173: AND
00001174: JUMP
00001175: JUMPDEST
00001176: PUSH1 0x01
00001178: PUSH1 0xa0
0000117a: PUSH1 0x02
0000117c: EXP
0000117d: SUB
0000117e: CALLER
0000117f: DUP2
00001180: AND
00001181: PUSH1 0x00
00001183: DUP2
00001184: DUP2
00001185: MSTORE
00001186: PUSH1 0x02
00001188: PUSH1 0x20
0000118a: SWAP1
0000118b: DUP2
0000118c: MSTORE
0000118d: PUSH1 0x40
0000118f: DUP1
00001190: DUP4
00001191: KECCAK256
00001192: SWAP5
00001193: DUP10
00001194: AND
00001195: DUP1
00001196: DUP5
00001197: MSTORE
00001198: SWAP5
00001199: SWAP1
0000119a: SWAP2
0000119b: MSTORE
0000119c: SWAP1
0000119d: DUP2
0000119e: SWAP1
0000119f: KECCAK256
000011a0: DUP5
000011a1: SWAP1
000011a2: SSTORE
000011a3: SWAP2
000011a4: SWAP3
000011a5: SWAP1
000011a6: SWAP2
000011a7: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000011c8: SWAP2
000011c9: SWAP1
000011ca: MLOAD
000011cb: SWAP1
000011cc: DUP2
000011cd: MSTORE
000011ce: PUSH1 0x20
000011d0: ADD
000011d1: PUSH1 0x40
000011d3: MLOAD
000011d4: DUP1
000011d5: SWAP2
000011d6: SUB
000011d7: SWAP1
000011d8: LOG3
000011d9: POP
000011da: PUSH1 0x01
000011dc: SWAP3
000011dd: SWAP2
000011de: POP
000011df: POP
000011e0: JUMP
000011e1: JUMPDEST
000011e2: PUSH1 0x01
000011e4: PUSH1 0xa0
000011e6: PUSH1 0x02
000011e8: EXP
000011e9: SUB
000011ea: SWAP2
000011eb: DUP3
000011ec: AND
000011ed: PUSH1 0x00
000011ef: SWAP1
000011f0: DUP2
000011f1: MSTORE
000011f2: PUSH1 0x02
000011f4: PUSH1 0x20
000011f6: SWAP1
000011f7: DUP2
000011f8: MSTORE
000011f9: PUSH1 0x40
000011fb: DUP1
000011fc: DUP4
000011fd: KECCAK256
000011fe: SWAP4
000011ff: SWAP1
00001200: SWAP5
00001201: AND
00001202: DUP3
00001203: MSTORE
00001204: SWAP2
00001205: SWAP1
00001206: SWAP2
00001207: MSTORE
00001208: KECCAK256
00001209: SLOAD
0000120a: SWAP1
0000120b: JUMP
0000120c: JUMPDEST
0000120d: PUSH1 0x07
0000120f: SLOAD
00001210: CALLER
00001211: PUSH1 0x01
00001213: PUSH1 0xa0
00001215: PUSH1 0x02
00001217: EXP
00001218: SUB
00001219: SWAP1
0000121a: DUP2
0000121b: AND
0000121c: SWAP2
0000121d: AND
0000121e: EQ
0000121f: PUSH2 0x1227
00001222: JUMPI
00001223: PUSH1 0x00
00001225: DUP1
00001226: REVERT
00001227: JUMPDEST
00001228: PUSH1 0x01
0000122a: PUSH1 0xa0
0000122c: PUSH1 0x02
0000122e: EXP
0000122f: SUB
00001230: DUP2
00001231: AND
00001232: PUSH1 0x00
00001234: SWAP1
00001235: DUP2
00001236: MSTORE
00001237: PUSH1 0x05
00001239: PUSH1 0x20
0000123b: MSTORE
0000123c: PUSH1 0x40
0000123e: SWAP1
0000123f: DUP2
00001240: SWAP1
00001241: KECCAK256
00001242: DUP1
00001243: SLOAD
00001244: PUSH1 0xff
00001246: NOT
00001247: AND
00001248: PUSH1 0x01
0000124a: OR
0000124b: SWAP1
0000124c: SSTORE
0000124d: PUSH32 0xaab7954e9d246b167ef88aeddad35209ca2489d95a8aeb59e288d9b19fae5a54
0000126e: SWAP1
0000126f: DUP3
00001270: SWAP1
00001271: MLOAD
00001272: PUSH1 0x01
00001274: PUSH1 0xa0
00001276: PUSH1 0x02
00001278: EXP
00001279: SUB
0000127a: SWAP1
0000127b: SWAP2
0000127c: AND
0000127d: DUP2
0000127e: MSTORE
0000127f: PUSH1 0x20
00001281: ADD
00001282: PUSH1 0x40
00001284: MLOAD
00001285: DUP1
00001286: SWAP2
00001287: SUB
00001288: SWAP1
00001289: LOG1
0000128a: POP
0000128b: JUMP
0000128c: JUMPDEST
0000128d: PUSH1 0x03
0000128f: PUSH1 0x20
00001291: MSTORE
00001292: PUSH1 0x00
00001294: SWAP1
00001295: DUP2
00001296: MSTORE
00001297: PUSH1 0x40
00001299: SWAP1
0000129a: KECCAK256
0000129b: SLOAD
0000129c: DUP2
0000129d: JUMP
0000129e: JUMPDEST
0000129f: PUSH1 0x00
000012a1: DUP3
000012a2: DUP3
000012a3: MUL
000012a4: DUP4
000012a5: ISZERO
000012a6: DUP1
000012a7: PUSH2 0x12ba
000012aa: JUMPI
000012ab: POP
000012ac: DUP3
000012ad: DUP5
000012ae: DUP3
000012af: DUP2
000012b0: ISZERO
000012b1: ISZERO
000012b2: PUSH2 0x12b7
000012b5: JUMPI
000012b6: INVALID
000012b7: JUMPDEST
000012b8: DIV
000012b9: EQ
000012ba: JUMPDEST
000012bb: ISZERO
000012bc: ISZERO
000012bd: PUSH2 0x090e
000012c0: JUMPI
000012c1: INVALID
000012c2: JUMPDEST
000012c3: PUSH1 0x00
000012c5: DUP1
000012c6: DUP3
000012c7: DUP5
000012c8: DUP2
000012c9: ISZERO
000012ca: ISZERO
000012cb: PUSH2 0x12d0
000012ce: JUMPI
000012cf: INVALID
000012d0: JUMPDEST
000012d1: DIV
000012d2: SWAP5
000012d3: SWAP4
000012d4: POP
000012d5: POP
000012d6: POP
000012d7: POP
000012d8: JUMP
000012d9: JUMPDEST
000012da: PUSH1 0x00
000012dc: DUP3
000012dd: DUP3
000012de: GT
000012df: ISZERO
000012e0: PUSH2 0x12e5
000012e3: JUMPI
000012e4: INVALID
000012e5: JUMPDEST
000012e6: POP
000012e7: SWAP1
000012e8: SUB
000012e9: SWAP1
000012ea: JUMP
000012eb: JUMPDEST
000012ec: PUSH1 0x00
000012ee: DUP1
000012ef: PUSH1 0x01
000012f1: PUSH1 0xa0
000012f3: PUSH1 0x02
000012f5: EXP
000012f6: SUB
000012f7: DUP5
000012f8: AND
000012f9: ISZERO
000012fa: ISZERO
000012fb: PUSH2 0x1303
000012fe: JUMPI
000012ff: PUSH1 0x00
00001301: DUP1
00001302: REVERT
00001303: JUMPDEST
00001304: POP
00001305: PUSH1 0x01
00001307: PUSH1 0xa0
00001309: PUSH1 0x02
0000130b: EXP
0000130c: SUB
0000130d: DUP1
0000130e: DUP6
0000130f: AND
00001310: PUSH1 0x00
00001312: DUP2
00001313: DUP2
00001314: MSTORE
00001315: PUSH1 0x02
00001317: PUSH1 0x20
00001319: SWAP1
0000131a: DUP2
0000131b: MSTORE
0000131c: PUSH1 0x40
0000131e: DUP1
0000131f: DUP4
00001320: KECCAK256
00001321: CALLER
00001322: SWAP1
00001323: SWAP6
00001324: AND
00001325: DUP4
00001326: MSTORE
00001327: SWAP4
00001328: DUP2
00001329: MSTORE
0000132a: DUP4
0000132b: DUP3
0000132c: KECCAK256
0000132d: SLOAD
0000132e: SWAP3
0000132f: DUP3
00001330: MSTORE
00001331: PUSH1 0x01
00001333: SWAP1
00001334: MSTORE
00001335: SWAP2
00001336: SWAP1
00001337: SWAP2
00001338: KECCAK256
00001339: SLOAD
0000133a: PUSH2 0x1349
0000133d: SWAP1
0000133e: DUP5
0000133f: PUSH4 0xffffffff
00001344: PUSH2 0x12d9
00001347: AND
00001348: JUMP
00001349: JUMPDEST
0000134a: PUSH1 0x01
0000134c: PUSH1 0xa0
0000134e: PUSH1 0x02
00001350: EXP
00001351: SUB
00001352: DUP1
00001353: DUP8
00001354: AND
00001355: PUSH1 0x00
00001357: SWAP1
00001358: DUP2
00001359: MSTORE
0000135a: PUSH1 0x01
0000135c: PUSH1 0x20
0000135e: MSTORE
0000135f: PUSH1 0x40
00001361: DUP1
00001362: DUP3
00001363: KECCAK256
00001364: SWAP4
00001365: SWAP1
00001366: SWAP4
00001367: SSTORE
00001368: SWAP1
00001369: DUP7
0000136a: AND
0000136b: DUP2
0000136c: MSTORE
0000136d: KECCAK256
0000136e: SLOAD
0000136f: PUSH2 0x137e
00001372: SWAP1
00001373: DUP5
00001374: PUSH4 0xffffffff
00001379: PUSH2 0x08ff
0000137c: AND
0000137d: JUMP
0000137e: JUMPDEST
0000137f: PUSH1 0x01
00001381: PUSH1 0xa0
00001383: PUSH1 0x02
00001385: EXP
00001386: SUB
00001387: DUP6
00001388: AND
00001389: PUSH1 0x00
0000138b: SWAP1
0000138c: DUP2
0000138d: MSTORE
0000138e: PUSH1 0x01
00001390: PUSH1 0x20
00001392: MSTORE
00001393: PUSH1 0x40
00001395: SWAP1
00001396: KECCAK256
00001397: SSTORE
00001398: PUSH2 0x13a7
0000139b: DUP2
0000139c: DUP5
0000139d: PUSH4 0xffffffff
000013a2: PUSH2 0x12d9
000013a5: AND
000013a6: JUMP
000013a7: JUMPDEST
000013a8: PUSH1 0x01
000013aa: PUSH1 0xa0
000013ac: PUSH1 0x02
000013ae: EXP
000013af: SUB
000013b0: DUP1
000013b1: DUP8
000013b2: AND
000013b3: PUSH1 0x00
000013b5: DUP2
000013b6: DUP2
000013b7: MSTORE
000013b8: PUSH1 0x02
000013ba: PUSH1 0x20
000013bc: SWAP1
000013bd: DUP2
000013be: MSTORE
000013bf: PUSH1 0x40
000013c1: DUP1
000013c2: DUP4
000013c3: KECCAK256
000013c4: CALLER
000013c5: DUP7
000013c6: AND
000013c7: DUP5
000013c8: MSTORE
000013c9: SWAP1
000013ca: SWAP2
000013cb: MSTORE
000013cc: SWAP1
000013cd: DUP2
000013ce: SWAP1
000013cf: KECCAK256
000013d0: SWAP4
000013d1: SWAP1
000013d2: SWAP4
000013d3: SSTORE
000013d4: SWAP1
000013d5: DUP7
000013d6: AND
000013d7: SWAP2
000013d8: PUSH1 0x00
000013da: DUP1
000013db: MLOAD
000013dc: PUSH1 0x20
000013de: PUSH2 0x1a84
000013e1: DUP4
000013e2: CODECOPY
000013e3: DUP2
000013e4: MLOAD
000013e5: SWAP2
000013e6: MSTORE
000013e7: SWAP1
000013e8: DUP7
000013e9: SWAP1
000013ea: MLOAD
000013eb: SWAP1
000013ec: DUP2
000013ed: MSTORE
000013ee: PUSH1 0x20
000013f0: ADD
000013f1: PUSH1 0x40
000013f3: MLOAD
000013f4: DUP1
000013f5: SWAP2
000013f6: SUB
000013f7: SWAP1
000013f8: LOG3
000013f9: POP
000013fa: PUSH1 0x01
000013fc: SWAP5
000013fd: SWAP4
000013fe: POP
000013ff: POP
00001400: POP
00001401: POP
00001402: JUMP
00001403: JUMPDEST
00001404: PUSH1 0x00
00001406: DUP1
00001407: PUSH2 0x1421
0000140a: PUSH1 0x32
0000140c: PUSH2 0x07ed
0000140f: PUSH1 0x64
00001411: PUSH1 0x04
00001413: SLOAD
00001414: PUSH2 0x129e
00001417: SWAP1
00001418: SWAP2
00001419: SWAP1
0000141a: PUSH4 0xffffffff
0000141f: AND
00001420: JUMP
00001421: JUMPDEST
00001422: PUSH1 0x00
00001424: DUP2
00001425: SWAP1
00001426: SSTORE
00001427: PUSH2 0x143e
0000142a: SWAP1
0000142b: PUSH1 0x64
0000142d: SWAP1
0000142e: PUSH2 0x07ed
00001431: SWAP1
00001432: PUSH1 0x16
00001434: PUSH4 0xffffffff
00001439: PUSH2 0x129e
0000143c: AND
0000143d: JUMP
0000143e: JUMPDEST
0000143f: PUSH1 0x0a
00001441: DUP1
00001442: SLOAD
00001443: PUSH1 0x01
00001445: PUSH1 0xa0
00001447: PUSH1 0x02
00001449: EXP
0000144a: SUB
0000144b: SWAP1
0000144c: DUP2
0000144d: AND
0000144e: PUSH1 0x00
00001450: SWAP1
00001451: DUP2
00001452: MSTORE
00001453: PUSH1 0x01
00001455: PUSH1 0x20
00001457: MSTORE
00001458: PUSH1 0x40
0000145a: SWAP1
0000145b: DUP2
0000145c: SWAP1
0000145d: KECCAK256
0000145e: DUP5
0000145f: SWAP1
00001460: SSTORE
00001461: SWAP2
00001462: SLOAD
00001463: PUSH1 0x0b
00001465: SLOAD
00001466: SWAP4
00001467: SWAP6
00001468: POP
00001469: DUP2
0000146a: AND
0000146b: SWAP3
0000146c: AND
0000146d: SWAP1
0000146e: PUSH1 0x00
00001470: DUP1
00001471: MLOAD
00001472: PUSH1 0x20
00001474: PUSH2 0x1a84
00001477: DUP4
00001478: CODECOPY
00001479: DUP2
0000147a: MLOAD
0000147b: SWAP2
0000147c: MSTORE
0000147d: SWAP1
0000147e: DUP6
0000147f: SWAP1
00001480: MLOAD
00001481: SWAP1
00001482: DUP2
00001483: MSTORE
00001484: PUSH1 0x20
00001486: ADD
00001487: PUSH1 0x40
00001489: MLOAD
0000148a: DUP1
0000148b: SWAP2
0000148c: SUB
0000148d: SWAP1
0000148e: LOG3
0000148f: PUSH2 0x14b5
00001492: DUP3
00001493: PUSH2 0x14a9
00001496: PUSH1 0x04
00001498: SLOAD
00001499: PUSH1 0x00
0000149b: SLOAD
0000149c: PUSH2 0x12d9
0000149f: SWAP1
000014a0: SWAP2
000014a1: SWAP1
000014a2: PUSH4 0xffffffff
000014a7: AND
000014a8: JUMP
000014a9: JUMPDEST
000014aa: SWAP1
000014ab: PUSH4 0xffffffff
000014b0: PUSH2 0x12d9
000014b3: AND
000014b4: JUMP
000014b5: JUMPDEST
000014b6: PUSH1 0x0b
000014b8: SLOAD
000014b9: PUSH1 0x01
000014bb: PUSH1 0xa0
000014bd: PUSH1 0x02
000014bf: EXP
000014c0: SUB
000014c1: AND
000014c2: PUSH1 0x00
000014c4: DUP2
000014c5: DUP2
000014c6: MSTORE
000014c7: PUSH1 0x01
000014c9: PUSH1 0x20
000014cb: MSTORE
000014cc: PUSH1 0x40
000014ce: DUP2
000014cf: KECCAK256
000014d0: SLOAD
000014d1: SWAP3
000014d2: SWAP4
000014d3: POP
000014d4: SWAP2
000014d5: PUSH1 0x00
000014d7: DUP1
000014d8: MLOAD
000014d9: PUSH1 0x20
000014db: PUSH2 0x1a84
000014de: DUP4
000014df: CODECOPY
000014e0: DUP2
000014e1: MLOAD
000014e2: SWAP2
000014e3: MSTORE
000014e4: SWAP1
000014e5: PUSH2 0x14fa
000014e8: SWAP1
000014e9: DUP7
000014ea: SWAP1
000014eb: PUSH2 0x14a9
000014ee: SWAP1
000014ef: DUP8
000014f0: PUSH4 0xffffffff
000014f5: PUSH2 0x12d9
000014f8: AND
000014f9: JUMP
000014fa: JUMPDEST
000014fb: PUSH1 0x40
000014fd: MLOAD
000014fe: SWAP1
000014ff: DUP2
00001500: MSTORE
00001501: PUSH1 0x20
00001503: ADD
00001504: PUSH1 0x40
00001506: MLOAD
00001507: DUP1
00001508: SWAP2
00001509: SUB
0000150a: SWAP1
0000150b: LOG3
0000150c: PUSH1 0x0b
0000150e: SLOAD
0000150f: PUSH1 0x01
00001511: PUSH1 0xa0
00001513: PUSH1 0x02
00001515: EXP
00001516: SUB
00001517: AND
00001518: PUSH1 0x00
0000151a: SWAP1
0000151b: DUP2
0000151c: MSTORE
0000151d: PUSH1 0x01
0000151f: PUSH1 0x20
00001521: DUP2
00001522: SWAP1
00001523: MSTORE
00001524: PUSH1 0x40
00001526: SWAP2
00001527: DUP3
00001528: SWAP1
00001529: KECCAK256
0000152a: DUP4
0000152b: SWAP1
0000152c: SSTORE
0000152d: PUSH1 0x1b
0000152f: DUP1
00001530: SLOAD
00001531: PUSH1 0xff
00001533: NOT
00001534: AND
00001535: SWAP1
00001536: SWAP2
00001537: OR
00001538: SWAP1
00001539: SSTORE
0000153a: PUSH32 0xae5184fba832cb2b1f702aca6117b8d265eaf03ad33eb133f19dde0f5920fa08
0000155b: SWAP1
0000155c: MLOAD
0000155d: PUSH1 0x40
0000155f: MLOAD
00001560: DUP1
00001561: SWAP2
00001562: SUB
00001563: SWAP1
00001564: LOG1
00001565: POP
00001566: POP
00001567: JUMP
00001568: JUMPDEST
00001569: PUSH1 0x0b
0000156b: SLOAD
0000156c: PUSH32 0x3a779de46631dd65116ae538600f1bc3c338200c6aef638429b5de43301c28f7
0000158d: SWAP1
0000158e: PUSH1 0xa0
00001590: PUSH1 0x02
00001592: EXP
00001593: SWAP1
00001594: DIV
00001595: PUSH1 0xff
00001597: AND
00001598: DUP3
00001599: PUSH1 0x40
0000159b: MLOAD
0000159c: DUP1
0000159d: DUP4
0000159e: PUSH1 0x05
000015a0: DUP2
000015a1: GT
000015a2: ISZERO
000015a3: PUSH2 0x15a8
000015a6: JUMPI
000015a7: INVALID
000015a8: JUMPDEST
000015a9: PUSH1 0xff
000015ab: AND
000015ac: DUP2
000015ad: MSTORE
000015ae: PUSH1 0x20
000015b0: ADD
000015b1: DUP3
000015b2: PUSH1 0x05
000015b4: DUP2
000015b5: GT
000015b6: ISZERO
000015b7: PUSH2 0x15bc
000015ba: JUMPI
000015bb: INVALID
000015bc: JUMPDEST
000015bd: PUSH1 0xff
000015bf: AND
000015c0: DUP2
000015c1: MSTORE
000015c2: PUSH1 0x20
000015c4: ADD
000015c5: SWAP3
000015c6: POP
000015c7: POP
000015c8: POP
000015c9: PUSH1 0x40
000015cb: MLOAD
000015cc: DUP1
000015cd: SWAP2
000015ce: SUB
000015cf: SWAP1
000015d0: LOG1
000015d1: PUSH1 0x0b
000015d3: DUP1
000015d4: SLOAD
000015d5: DUP3
000015d6: SWAP2
000015d7: SWAP1
000015d8: PUSH21 0xff0000000000000000000000000000000000000000
000015ee: NOT
000015ef: AND
000015f0: PUSH1 0xa0
000015f2: PUSH1 0x02
000015f4: EXP
000015f5: DUP4
000015f6: PUSH1 0x05
000015f8: DUP2
000015f9: GT
000015fa: ISZERO
000015fb: PUSH2 0x1600
000015fe: JUMPI
000015ff: INVALID
00001600: JUMPDEST
00001601: MUL
00001602: OR
00001603: SWAP1
00001604: SSTORE
00001605: POP
00001606: POP
00001607: JUMP
00001608: JUMPDEST
00001609: PUSH1 0x00
0000160b: PUSH1 0x06
0000160d: DUP2
0000160e: JUMPDEST
0000160f: DUP2
00001610: DUP2
00001611: LT
00001612: ISZERO
00001613: PUSH2 0x164e
00001616: JUMPI
00001617: PUSH1 0x07
00001619: DUP5
0000161a: ADD
0000161b: DUP2
0000161c: PUSH1 0x06
0000161e: DUP2
0000161f: LT
00001620: PUSH2 0x1625
00001623: JUMPI
00001624: INVALID
00001625: JUMPDEST
00001626: ADD
00001627: SLOAD
00001628: DUP6
00001629: LT
0000162a: ISZERO
0000162b: PUSH2 0x1646
0000162e: JUMPI
0000162f: PUSH1 0x07
00001631: DUP5
00001632: ADD
00001633: DUP2
00001634: PUSH1 0x06
00001636: DUP2
00001637: LT
00001638: PUSH2 0x163d
0000163b: JUMPI
0000163c: INVALID
0000163d: JUMPDEST
0000163e: ADD
0000163f: SLOAD
00001640: SWAP3
00001641: POP
00001642: PUSH2 0x164e
00001645: JUMP
00001646: JUMPDEST
00001647: PUSH1 0x01
00001649: ADD
0000164a: PUSH2 0x160e
0000164d: JUMP
0000164e: JUMPDEST
0000164f: POP
00001650: POP
00001651: SWAP3
00001652: SWAP2
00001653: POP
00001654: POP
00001655: JUMP
00001656: JUMPDEST
00001657: PUSH1 0x00
00001659: PUSH1 0x06
0000165b: DUP1
0000165c: DUP3
0000165d: JUMPDEST
0000165e: DUP3
0000165f: DUP2
00001660: LT
00001661: ISZERO
00001662: PUSH2 0x168d
00001665: JUMPI
00001666: PUSH1 0x07
00001668: DUP6
00001669: ADD
0000166a: DUP2
0000166b: PUSH1 0x06
0000166d: DUP2
0000166e: LT
0000166f: PUSH2 0x1674
00001672: JUMPI
00001673: INVALID
00001674: JUMPDEST
00001675: ADD
00001676: SLOAD
00001677: DUP7
00001678: LT
00001679: ISZERO
0000167a: PUSH2 0x1685
0000167d: JUMPI
0000167e: DUP1
0000167f: SWAP2
00001680: POP
00001681: PUSH2 0x168d
00001684: JUMP
00001685: JUMPDEST
00001686: PUSH1 0x01
00001688: ADD
00001689: PUSH2 0x165d
0000168c: JUMP
0000168d: JUMPDEST
0000168e: DUP5
0000168f: DUP3
00001690: PUSH1 0x07
00001692: DUP2
00001693: LT
00001694: PUSH2 0x1699
00001697: JUMPI
00001698: INVALID
00001699: JUMPDEST
0000169a: ADD
0000169b: SLOAD
0000169c: SWAP7
0000169d: SWAP6
0000169e: POP
0000169f: POP
000016a0: POP
000016a1: POP
000016a2: POP
000016a3: POP
000016a4: JUMP
000016a5: JUMPDEST
000016a6: PUSH1 0x00
000016a8: PUSH1 0x01
000016aa: PUSH1 0xa0
000016ac: PUSH1 0x02
000016ae: EXP
000016af: SUB
000016b0: DUP4
000016b1: AND
000016b2: ISZERO
000016b3: ISZERO
000016b4: PUSH2 0x16bc
000016b7: JUMPI
000016b8: PUSH1 0x00
000016ba: DUP1
000016bb: REVERT
000016bc: JUMPDEST
000016bd: PUSH1 0x01
000016bf: PUSH1 0xa0
000016c1: PUSH1 0x02
000016c3: EXP
000016c4: SUB
000016c5: CALLER
000016c6: AND
000016c7: PUSH1 0x00
000016c9: SWAP1
000016ca: DUP2
000016cb: MSTORE
000016cc: PUSH1 0x01
000016ce: PUSH1 0x20
000016d0: MSTORE
000016d1: PUSH1 0x40
000016d3: SWAP1
000016d4: KECCAK256
000016d5: SLOAD
000016d6: PUSH2 0x16e5
000016d9: SWAP1
000016da: DUP4
000016db: PUSH4 0xffffffff
000016e0: PUSH2 0x12d9
000016e3: AND
000016e4: JUMP
000016e5: JUMPDEST
000016e6: PUSH1 0x01
000016e8: PUSH1 0xa0
000016ea: PUSH1 0x02
000016ec: EXP
000016ed: SUB
000016ee: CALLER
000016ef: DUP2
000016f0: AND
000016f1: PUSH1 0x00
000016f3: SWAP1
000016f4: DUP2
000016f5: MSTORE
000016f6: PUSH1 0x01
000016f8: PUSH1 0x20
000016fa: MSTORE
000016fb: PUSH1 0x40
000016fd: DUP1
000016fe: DUP3
000016ff: KECCAK256
00001700: SWAP4
00001701: SWAP1
00001702: SWAP4
00001703: SSTORE
00001704: SWAP1
00001705: DUP6
00001706: AND
00001707: DUP2
00001708: MSTORE
00001709: KECCAK256
0000170a: SLOAD
0000170b: PUSH2 0x171a
0000170e: SWAP1
0000170f: DUP4
00001710: PUSH4 0xffffffff
00001715: PUSH2 0x08ff
00001718: AND
00001719: JUMP
0000171a: JUMPDEST
0000171b: PUSH1 0x01
0000171d: PUSH1 0xa0
0000171f: PUSH1 0x02
00001721: EXP
00001722: SUB
00001723: DUP1
00001724: DUP6
00001725: AND
00001726: PUSH1 0x00
00001728: DUP2
00001729: DUP2
0000172a: MSTORE
0000172b: PUSH1 0x01
0000172d: PUSH1 0x20
0000172f: MSTORE
00001730: PUSH1 0x40
00001732: SWAP1
00001733: DUP2
00001734: SWAP1
00001735: KECCAK256
00001736: SWAP4
00001737: SWAP1
00001738: SWAP4
00001739: SSTORE
0000173a: SWAP2
0000173b: CALLER
0000173c: SWAP1
0000173d: SWAP2
0000173e: AND
0000173f: SWAP1
00001740: PUSH1 0x00
00001742: DUP1
00001743: MLOAD
00001744: PUSH1 0x20
00001746: PUSH2 0x1a84
00001749: DUP4
0000174a: CODECOPY
0000174b: DUP2
0000174c: MLOAD
0000174d: SWAP2
0000174e: MSTORE
0000174f: SWAP1
00001750: DUP6
00001751: SWAP1
00001752: MLOAD
00001753: SWAP1
00001754: DUP2
00001755: MSTORE
00001756: PUSH1 0x20
00001758: ADD
00001759: PUSH1 0x40
0000175b: MLOAD
0000175c: DUP1
0000175d: SWAP2
0000175e: SUB
0000175f: SWAP1
00001760: LOG3
00001761: POP
00001762: PUSH1 0x01
00001764: SWAP3
00001765: SWAP2
00001766: POP
00001767: POP
00001768: JUMP
00001769: JUMPDEST
0000176a: PUSH1 0xe0
0000176c: PUSH1 0x40
0000176e: MLOAD
0000176f: SWAP1
00001770: DUP2
00001771: ADD
00001772: PUSH1 0x40
00001774: SWAP1
00001775: DUP2
00001776: MSTORE
00001777: PUSH2 0x012c
0000177a: DUP3
0000177b: MSTORE
0000177c: PUSH1 0xfa
0000177e: PUSH1 0x20
00001780: DUP4
00001781: ADD
00001782: MSTORE
00001783: PUSH1 0xc8
00001785: SWAP1
00001786: DUP3
00001787: ADD
00001788: MSTORE
00001789: PUSH1 0x96
0000178b: PUSH1 0x60
0000178d: DUP3
0000178e: ADD
0000178f: MSTORE
00001790: PUSH1 0x64
00001792: PUSH1 0x80
00001794: DUP3
00001795: ADD
00001796: MSTORE
00001797: PUSH1 0x32
00001799: PUSH1 0xa0
0000179b: DUP3
0000179c: ADD
0000179d: MSTORE
0000179e: PUSH1 0x00
000017a0: PUSH1 0xc0
000017a2: DUP3
000017a3: ADD
000017a4: MSTORE
000017a5: PUSH2 0x17b1
000017a8: SWAP1
000017a9: DUP3
000017aa: SWAP1
000017ab: PUSH1 0x07
000017ad: PUSH2 0x19d5
000017b0: JUMP
000017b1: JUMPDEST
000017b2: POP
000017b3: PUSH1 0xc0
000017b5: PUSH1 0x40
000017b7: MLOAD
000017b8: SWAP1
000017b9: DUP2
000017ba: ADD
000017bb: PUSH1 0x40
000017bd: MSTORE
000017be: DUP1
000017bf: PUSH2 0x17cd
000017c2: PUSH2 0x07e2
000017c5: PUSH1 0x09
000017c7: PUSH1 0x01
000017c9: PUSH2 0x1843
000017cc: JUMP
000017cd: JUMPDEST
000017ce: DUP2
000017cf: MSTORE
000017d0: PUSH1 0x20
000017d2: ADD
000017d3: PUSH2 0x17e1
000017d6: PUSH2 0x07e2
000017d9: PUSH1 0x09
000017db: PUSH1 0x08
000017dd: PUSH2 0x1843
000017e0: JUMP
000017e1: JUMPDEST
000017e2: DUP2
000017e3: MSTORE
000017e4: PUSH1 0x20
000017e6: ADD
000017e7: PUSH2 0x17f5
000017ea: PUSH2 0x07e2
000017ed: PUSH1 0x09
000017ef: PUSH1 0x0f
000017f1: PUSH2 0x1843
000017f4: JUMP
000017f5: JUMPDEST
000017f6: DUP2
000017f7: MSTORE
000017f8: PUSH1 0x20
000017fa: ADD
000017fb: PUSH2 0x1809
000017fe: PUSH2 0x07e2
00001801: PUSH1 0x09
00001803: PUSH1 0x16
00001805: PUSH2 0x1843
00001808: JUMP
00001809: JUMPDEST
0000180a: DUP2
0000180b: MSTORE
0000180c: PUSH1 0x20
0000180e: ADD
0000180f: PUSH2 0x181d
00001812: PUSH2 0x07e2
00001815: PUSH1 0x09
00001817: PUSH1 0x1d
00001819: PUSH2 0x1843
0000181c: JUMP
0000181d: JUMPDEST
0000181e: DUP2
0000181f: MSTORE
00001820: PUSH1 0x20
00001822: ADD
00001823: PUSH2 0x1831
00001826: PUSH2 0x07e2
00001829: PUSH1 0x0a
0000182b: PUSH1 0x08
0000182d: PUSH2 0x1843
00001830: JUMP
00001831: JUMPDEST
00001832: SWAP1
00001833: MSTORE
00001834: PUSH2 0x0b11
00001837: SWAP1
00001838: PUSH1 0x07
0000183a: DUP4
0000183b: ADD
0000183c: SWAP1
0000183d: PUSH1 0x06
0000183f: PUSH2 0x1a13
00001842: JUMP
00001843: JUMPDEST
00001844: PUSH1 0x00
00001846: DUP1
00001847: PUSH2 0x184e
0000184a: PUSH2 0x1a40
0000184d: JUMP
0000184e: JUMPDEST
0000184f: PUSH4 0xffffffff
00001854: PUSH4 0x01e13380
00001859: PUSH2 0xffff
0000185c: PUSH2 0x07b1
0000185f: NOT
00001860: DUP10
00001861: ADD
00001862: AND
00001863: MUL
00001864: AND
00001865: SWAP3
00001866: SWAP1
00001867: SWAP3
00001868: ADD
00001869: SWAP2
0000186a: PUSH2 0x1874
0000186d: PUSH2 0x07b2
00001870: PUSH2 0x1964
00001873: JUMP
00001874: JUMPDEST
00001875: PUSH2 0x1881
00001878: DUP8
00001879: PUSH2 0xffff
0000187c: AND
0000187d: PUSH2 0x1964
00001880: JUMP
00001881: JUMPDEST
00001882: PUSH1 0x1f
00001884: DUP4
00001885: MSTORE
00001886: SUB
00001887: PUSH3 0x015180
0000188b: MUL
0000188c: SWAP3
0000188d: SWAP1
0000188e: SWAP3
0000188f: ADD
00001890: SWAP2
00001891: PUSH2 0x1899
00001894: DUP7
00001895: PUSH2 0x197f
00001898: JUMP
00001899: JUMPDEST
0000189a: ISZERO
0000189b: PUSH2 0x18aa
0000189e: JUMPI
0000189f: PUSH1 0x1d
000018a1: PUSH1 0x20
000018a3: DUP3
000018a4: ADD
000018a5: MSTORE
000018a6: PUSH2 0x18b2
000018a9: JUMP
000018aa: JUMPDEST
000018ab: PUSH1 0x1c
000018ad: PUSH1 0x20
000018af: DUP3
000018b0: ADD
000018b1: MSTORE
000018b2: JUMPDEST
000018b3: PUSH1 0x1f
000018b5: PUSH1 0x40
000018b7: DUP3
000018b8: ADD
000018b9: DUP2
000018ba: SWAP1
000018bb: MSTORE
000018bc: PUSH1 0x1e
000018be: PUSH1 0x60
000018c0: DUP4
000018c1: ADD
000018c2: DUP2
000018c3: SWAP1
000018c4: MSTORE
000018c5: PUSH1 0x80
000018c7: DUP4
000018c8: ADD
000018c9: DUP3
000018ca: SWAP1
000018cb: MSTORE
000018cc: PUSH1 0xa0
000018ce: DUP4
000018cf: ADD
000018d0: DUP2
000018d1: SWAP1
000018d2: MSTORE
000018d3: PUSH1 0xc0
000018d5: DUP4
000018d6: ADD
000018d7: DUP3
000018d8: SWAP1
000018d9: MSTORE
000018da: PUSH1 0xe0
000018dc: DUP4
000018dd: ADD
000018de: DUP3
000018df: SWAP1
000018e0: MSTORE
000018e1: PUSH2 0x0100
000018e4: DUP4
000018e5: ADD
000018e6: DUP2
000018e7: SWAP1
000018e8: MSTORE
000018e9: PUSH2 0x0120
000018ec: DUP4
000018ed: ADD
000018ee: DUP3
000018ef: SWAP1
000018f0: MSTORE
000018f1: PUSH2 0x0140
000018f4: DUP4
000018f5: ADD
000018f6: MSTORE
000018f7: PUSH2 0x0160
000018fa: DUP3
000018fb: ADD
000018fc: MSTORE
000018fd: PUSH1 0x01
000018ff: SWAP2
00001900: POP
00001901: JUMPDEST
00001902: DUP5
00001903: PUSH1 0xff
00001905: AND
00001906: DUP3
00001907: PUSH2 0xffff
0000190a: AND
0000190b: LT
0000190c: ISZERO
0000190d: PUSH2 0x1947
00001910: JUMPI
00001911: DUP1
00001912: PUSH2 0xffff
00001915: PUSH1 0x00
00001917: NOT
00001918: DUP5
00001919: ADD
0000191a: AND
0000191b: PUSH1 0x0c
0000191d: DUP2
0000191e: LT
0000191f: PUSH2 0x1924
00001922: JUMPI
00001923: INVALID
00001924: JUMPDEST
00001925: PUSH1 0x20
00001927: MUL
00001928: ADD
00001929: MLOAD
0000192a: PUSH1 0xff
0000192c: AND
0000192d: PUSH3 0x015180
00001931: MUL
00001932: PUSH3 0xffffff
00001936: AND
00001937: DUP4
00001938: ADD
00001939: SWAP3
0000193a: POP
0000193b: DUP2
0000193c: DUP1
0000193d: PUSH1 0x01
0000193f: ADD
00001940: SWAP3
00001941: POP
00001942: POP
00001943: PUSH2 0x1901
00001946: JUMP
00001947: JUMPDEST
00001948: POP
00001949: POP
0000194a: PUSH1 0x00
0000194c: NOT
0000194d: SWAP2
0000194e: SWAP1
0000194f: SWAP2
00001950: ADD
00001951: PUSH1 0xff
00001953: AND
00001954: PUSH3 0x015180
00001958: MUL
00001959: PUSH3 0xffffff
0000195d: AND
0000195e: ADD
0000195f: SWAP3
00001960: SWAP2
00001961: POP
00001962: POP
00001963: JUMP
00001964: JUMPDEST
00001965: PUSH1 0x00
00001967: NOT
00001968: ADD
00001969: PUSH1 0x00
0000196b: PUSH2 0x0190
0000196e: DUP3
0000196f: DIV
00001970: PUSH1 0x64
00001972: DUP4
00001973: DIV
00001974: PUSH1 0x04
00001976: DUP5
00001977: DIV
00001978: SUB
00001979: ADD
0000197a: SWAP3
0000197b: SWAP2
0000197c: POP
0000197d: POP
0000197e: JUMP
0000197f: JUMPDEST
00001980: PUSH1 0x00
00001982: PUSH1 0x04
00001984: PUSH2 0xffff
00001987: DUP4
00001988: AND
00001989: MOD
0000198a: PUSH2 0xffff
0000198d: AND
0000198e: ISZERO
0000198f: PUSH2 0x199a
00001992: JUMPI
00001993: POP
00001994: PUSH1 0x00
00001996: PUSH2 0x0dfc
00001999: JUMP
0000199a: JUMPDEST
0000199b: PUSH1 0x64
0000199d: PUSH2 0xffff
000019a0: DUP4
000019a1: AND
000019a2: MOD
000019a3: PUSH2 0xffff
000019a6: AND
000019a7: ISZERO
000019a8: PUSH2 0x19b3
000019ab: JUMPI
000019ac: POP
000019ad: PUSH1 0x01
000019af: PUSH2 0x0dfc
000019b2: JUMP
000019b3: JUMPDEST
000019b4: PUSH2 0x0190
000019b7: PUSH2 0xffff
000019ba: DUP4
000019bb: AND
000019bc: MOD
000019bd: PUSH2 0xffff
000019c0: AND
000019c1: ISZERO
000019c2: PUSH2 0x19cd
000019c5: JUMPI
000019c6: POP
000019c7: PUSH1 0x00
000019c9: PUSH2 0x0dfc
000019cc: JUMP
000019cd: JUMPDEST
000019ce: POP
000019cf: PUSH1 0x01
000019d1: SWAP2
000019d2: SWAP1
000019d3: POP
000019d4: JUMP
000019d5: JUMPDEST
000019d6: DUP3
000019d7: PUSH1 0x07
000019d9: DUP2
000019da: ADD
000019db: SWAP3
000019dc: DUP3
000019dd: ISZERO
000019de: PUSH2 0x1a03
000019e1: JUMPI
000019e2: SWAP2
000019e3: PUSH1 0x20
000019e5: MUL
000019e6: DUP3
000019e7: ADD
000019e8: JUMPDEST
000019e9: DUP3
000019ea: DUP2
000019eb: GT
000019ec: ISZERO
000019ed: PUSH2 0x1a03
000019f0: JUMPI
000019f1: DUP3
000019f2: MLOAD
000019f3: DUP3
000019f4: SSTORE
000019f5: SWAP2
000019f6: PUSH1 0x20
000019f8: ADD
000019f9: SWAP2
000019fa: SWAP1
000019fb: PUSH1 0x01
000019fd: ADD
000019fe: SWAP1
000019ff: PUSH2 0x19e8
00001a02: JUMP
00001a03: JUMPDEST
00001a04: POP
00001a05: PUSH2 0x1a0f
00001a08: SWAP3
00001a09: SWAP2
00001a0a: POP
00001a0b: PUSH2 0x1a69
00001a0e: JUMP
00001a0f: JUMPDEST
00001a10: POP
00001a11: SWAP1
00001a12: JUMP
00001a13: JUMPDEST
00001a14: DUP3
00001a15: PUSH1 0x06
00001a17: DUP2
00001a18: ADD
00001a19: SWAP3
00001a1a: DUP3
00001a1b: ISZERO
00001a1c: PUSH2 0x1a03
00001a1f: JUMPI
00001a20: SWAP2
00001a21: PUSH1 0x20
00001a23: MUL
00001a24: DUP3
00001a25: ADD
00001a26: DUP3
00001a27: DUP2
00001a28: GT
00001a29: ISZERO
00001a2a: PUSH2 0x1a03
00001a2d: JUMPI
00001a2e: DUP3
00001a2f: MLOAD
00001a30: DUP3
00001a31: SSTORE
00001a32: SWAP2
00001a33: PUSH1 0x20
00001a35: ADD
00001a36: SWAP2
00001a37: SWAP1
00001a38: PUSH1 0x01
00001a3a: ADD
00001a3b: SWAP1
00001a3c: PUSH2 0x19e8
00001a3f: JUMP
00001a40: JUMPDEST
00001a41: PUSH2 0x0180
00001a44: PUSH1 0x40
00001a46: MLOAD
00001a47: SWAP1
00001a48: DUP2
00001a49: ADD
00001a4a: PUSH1 0x40
00001a4c: MSTORE
00001a4d: PUSH1 0x0c
00001a4f: DUP2
00001a50: JUMPDEST
00001a51: PUSH1 0x00
00001a53: DUP2
00001a54: MSTORE
00001a55: PUSH1 0x00
00001a57: NOT
00001a58: SWAP1
00001a59: SWAP2
00001a5a: ADD
00001a5b: SWAP1
00001a5c: PUSH1 0x20
00001a5e: ADD
00001a5f: DUP2
00001a60: PUSH2 0x1a50
00001a63: JUMPI
00001a64: SWAP1
00001a65: POP
00001a66: POP
00001a67: SWAP1
00001a68: JUMP
00001a69: JUMPDEST
00001a6a: PUSH2 0x0c81
00001a6d: SWAP2
00001a6e: SWAP1
00001a6f: JUMPDEST
00001a70: DUP1
00001a71: DUP3
00001a72: GT
00001a73: ISZERO
00001a74: PUSH2 0x1a0f
00001a77: JUMPI
00001a78: PUSH1 0x00
00001a7a: DUP2
00001a7b: SSTORE
00001a7c: PUSH1 0x01
00001a7e: ADD
00001a7f: PUSH2 0x1a6f
00001a82: JUMP
00001a83: STOP
00001a84: UNKNOWN(0xDD)
00001a85: CALLCODE
00001a86: MSTORE
00001a87: UNKNOWN(0xAD)
00001a88: SHL
00001a89: UNKNOWN(0xE2)
00001a8a: UNKNOWN(0xC8)
00001a8b: SWAP12
00001a8c: PUSH10 0xc2b068fc378daa952ba7
00001a97: CALL
00001a98: PUSH4 0xc4a11628
00001a9d: CREATE2
00001a9e: GAS
00001a9f: UNKNOWN(0x4D)
00001aa0: CREATE2
00001aa1: UNKNOWN(0x23)
00001aa2: UNKNOWN(0xB3)
00001aa3: UNKNOWN(0xEF)
00001aa4: LOG1
00001aa5: PUSH6 0x627a7a723058
00001aac: KECCAK256
00001aad: UNKNOWN(0xD1)
00001aae: UNKNOWN(0x1F)
00001aaf: UNKNOWN(0xF8)
00001ab0: UNKNOWN(0xB5)
00001ab1: UNKNOWN(0x22)
00001ab2: UNKNOWN(0xB1)
00001ab3: BLOCKHASH
00001ab4: DUP8
00001ab5: UNKNOWN(0x4D)
00001ab6: ADD
00001ab7: LOG0
00001ab8: UNKNOWN(0xB0)
00001ab9: TIMESTAMP
00001aba: UNKNOWN(0x26)
00001abb: UNKNOWN(0xC1)
00001abc: SWAP6
00001abd: SWAP16
00001abe: SWAP9
00001abf: SWAP4
00001ac0: NOT
00001ac1: SWAP5
00001ac2: UNKNOWN(0xE0)
00001ac3: SWAP14
00001ac4: JUMPDEST
00001ac5: PUSH12
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: 0x7a547a19301bc752cc2b1d190e38c13dd61d1c3fc87cf757a262ad8fa03cce33 call_targets: 0x3a8a97123bccd826228e5eb4144b48cce169517b target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x7a547a19301bc752cc2b1d190e38c13dd61d1c3fc87cf757a262ad8fa03cce33", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x3a8a97123bccd826228e5eb4144b48cce169517b" ], "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": "0x04b2bf99", "selector": "0x04b2bf99", "calldata_variants": [ "0x04b2bf99", "0x04b2bf990000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x05d2035b", "selector": "0x05d2035b", "calldata_variants": [ "0x05d2035b", "0x05d2035b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x083c6323", "selector": "0x083c6323", "calldata_variants": [ "0x083c6323", "0x083c63230000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x095ea7b3", "selector": "0x095ea7b3", "calldata_variants": [ "0x095ea7b3", "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x09f3ad26", "selector": "0x09f3ad26", "calldata_variants": [ "0x09f3ad26", "0x09f3ad260000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2344acdf", "selector": "0x2344acdf", "calldata_variants": [ "0x2344acdf", "0x2344acdf0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3053, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3156, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3883, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 6, "guards_detected": [], "untrusted_call_count": 6 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x7a547a19301bc752cc2b1d190e38c13dd61d1c3fc87cf757a262ad8fa03cce33 call_targets: 0x3a8a97123bccd826228e5eb4144b48cce169517b target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x7a547a19301bc752cc2b1d190e38c13dd61d1c3fc87cf757a262ad8fa03cce33", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x3a8a97123bccd826228e5eb4144b48cce169517b" ], "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": "0x04b2bf99", "selector": "0x04b2bf99", "calldata_variants": [ "0x04b2bf99", "0x04b2bf990000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x05d2035b", "selector": "0x05d2035b", "calldata_variants": [ "0x05d2035b", "0x05d2035b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x083c6323", "selector": "0x083c6323", "calldata_variants": [ "0x083c6323", "0x083c63230000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x095ea7b3", "selector": "0x095ea7b3", "calldata_variants": [ "0x095ea7b3", "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x09f3ad26", "selector": "0x09f3ad26", "calldata_variants": [ "0x09f3ad26", "0x09f3ad260000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2344acdf", "selector": "0x2344acdf", "calldata_variants": [ "0x2344acdf", "0x2344acdf0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3053, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3156, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3883, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 6, "guards_detected": [] }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0xfd7b6664a841e172dcf71bb4dab3520987f16c90c809a1d41443846cc2a59753 validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0xfd7b6664a841e172dcf71bb4dab3520987f16c90c809a1d41443846cc2a59753", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x04b2bf99", "selector": "0x04b2bf99", "calldata_variants": [ "0x04b2bf99", "0x04b2bf990000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x05d2035b", "selector": "0x05d2035b", "calldata_variants": [ "0x05d2035b", "0x05d2035b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x083c6323", "selector": "0x083c6323", "calldata_variants": [ "0x083c6323", "0x083c63230000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x095ea7b3", "selector": "0x095ea7b3", "calldata_variants": [ "0x095ea7b3", "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x09f3ad26", "selector": "0x09f3ad26", "calldata_variants": [ "0x09f3ad26", "0x09f3ad260000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2344acdf", "selector": "0x2344acdf", "calldata_variants": [ "0x2344acdf", "0x2344acdf0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 0, "create2_count": 2 }
Severity