Analysis Run

019b477e-b8e3-7313-ba5e-3cbbe979ea9e
complete
Chain ID
1
Address
0xca1cc76be1f5e5ee492859d8463653cb231991bc
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
Authorization based on tx.origin
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
23511	artifact.fetch	complete	1 / 3	3 months ago
23512	tool.cast_disasm	complete	1 / 3	3 months ago
107741	analysis.bundle	complete	1 / 3	1 week ago
107742	capability.graph	complete	1 / 3	1 week ago
107743	detector.run	complete	1 / 3	1 week ago
107744	validation.fork	complete	1 / 3	1 week ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
2
EXT*/BALANCE
1
Total opcodes
5221
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01cc
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH3 0x65318b
0000003b: EQ
0000003c: PUSH2 0x01da
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x02be5421
00000046: EQ
00000047: PUSH2 0x0231
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x06fdde03
00000051: EQ
00000052: PUSH2 0x028c
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x0829ca90
0000005c: EQ
0000005d: PUSH2 0x031c
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x10d0ffdd
00000067: EQ
00000068: PUSH2 0x0347
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x18160ddd
00000072: EQ
00000073: PUSH2 0x0388
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x1cf1f4ba
0000007d: EQ
0000007e: PUSH2 0x03b3
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x22609373
00000088: EQ
00000089: PUSH2 0x03fa
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x313ce567
00000093: EQ
00000094: PUSH2 0x043b
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x3b65dc91
0000009e: EQ
0000009f: PUSH2 0x046c
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x3ccfd60b
000000a9: EQ
000000aa: PUSH2 0x0497
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x4b750334
000000b4: EQ
000000b5: PUSH2 0x04ae
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x5216aeec
000000bf: EQ
000000c0: PUSH2 0x04d9
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x56d399e8
000000ca: EQ
000000cb: PUSH2 0x0504
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x688abbf7
000000d5: EQ
000000d6: PUSH2 0x052f
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x6b2f4632
000000e0: EQ
000000e1: PUSH2 0x0572
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x70a08231
000000eb: EQ
000000ec: PUSH2 0x059d
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x74475319
000000f6: EQ
000000f7: PUSH2 0x05f4
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x8328b610
00000101: EQ
00000102: PUSH2 0x061f
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x855a8512
0000010c: EQ
0000010d: PUSH2 0x064c
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0x8620410b
00000117: EQ
00000118: PUSH2 0x06a3
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0x8f32d59b
00000122: EQ
00000123: PUSH2 0x06ce
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0x949e8acd
0000012d: EQ
0000012e: PUSH2 0x06fd
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0x95d89b41
00000138: EQ
00000139: PUSH2 0x0728
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0x96348e5e
00000143: EQ
00000144: PUSH2 0x07b8
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0x997664d7
0000014e: EQ
0000014f: PUSH2 0x07e7
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0xa68b91ab
00000159: EQ
0000015a: PUSH2 0x0812
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0xa8e04f34
00000164: EQ
00000165: PUSH2 0x0859
00000168: JUMPI
00000169: DUP1
0000016a: PUSH4 0xa9059cbb
0000016f: EQ
00000170: PUSH2 0x0870
00000173: JUMPI
00000174: DUP1
00000175: PUSH4 0xb772bbc8
0000017a: EQ
0000017b: PUSH2 0x08d5
0000017e: JUMPI
0000017f: DUP1
00000180: PUSH4 0xcb93f7ef
00000185: EQ
00000186: PUSH2 0x092c
00000189: JUMPI
0000018a: DUP1
0000018b: PUSH4 0xd8edeb1b
00000190: EQ
00000191: PUSH2 0x0943
00000194: JUMPI
00000195: DUP1
00000196: PUSH4 0xe4849b32
0000019b: EQ
0000019c: PUSH2 0x095a
0000019f: JUMPI
000001a0: DUP1
000001a1: PUSH4 0xe8af3c35
000001a6: EQ
000001a7: PUSH2 0x0987
000001aa: JUMPI
000001ab: DUP1
000001ac: PUSH4 0xe9fad8ee
000001b1: EQ
000001b2: PUSH2 0x09e3
000001b5: JUMPI
000001b6: DUP1
000001b7: PUSH4 0xf088d547
000001bc: EQ
000001bd: PUSH2 0x09fa
000001c0: JUMPI
000001c1: DUP1
000001c2: PUSH4 0xfdb5a03e
000001c7: EQ
000001c8: PUSH2 0x0a44
000001cb: JUMPI
000001cc: JUMPDEST
000001cd: PUSH2 0x01d7
000001d0: CALLVALUE
000001d1: PUSH1 0x00
000001d3: PUSH2 0x0a5b
000001d6: JUMP
000001d7: JUMPDEST
000001d8: POP
000001d9: STOP
000001da: JUMPDEST
000001db: CALLVALUE
000001dc: DUP1
000001dd: ISZERO
000001de: PUSH2 0x01e6
000001e1: JUMPI
000001e2: PUSH1 0x00
000001e4: DUP1
000001e5: REVERT
000001e6: JUMPDEST
000001e7: POP
000001e8: PUSH2 0x021b
000001eb: PUSH1 0x04
000001ed: DUP1
000001ee: CALLDATASIZE
000001ef: SUB
000001f0: DUP2
000001f1: ADD
000001f2: SWAP1
000001f3: DUP1
000001f4: DUP1
000001f5: CALLDATALOAD
000001f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000020b: AND
0000020c: SWAP1
0000020d: PUSH1 0x20
0000020f: ADD
00000210: SWAP1
00000211: SWAP3
00000212: SWAP2
00000213: SWAP1
00000214: POP
00000215: POP
00000216: POP
00000217: PUSH2 0x101f
0000021a: JUMP
0000021b: JUMPDEST
0000021c: PUSH1 0x40
0000021e: MLOAD
0000021f: DUP1
00000220: DUP3
00000221: DUP2
00000222: MSTORE
00000223: PUSH1 0x20
00000225: ADD
00000226: SWAP2
00000227: POP
00000228: POP
00000229: PUSH1 0x40
0000022b: MLOAD
0000022c: DUP1
0000022d: SWAP2
0000022e: SUB
0000022f: SWAP1
00000230: RETURN
00000231: JUMPDEST
00000232: CALLVALUE
00000233: DUP1
00000234: ISZERO
00000235: PUSH2 0x023d
00000238: JUMPI
00000239: PUSH1 0x00
0000023b: DUP1
0000023c: REVERT
0000023d: JUMPDEST
0000023e: POP
0000023f: PUSH2 0x0272
00000242: PUSH1 0x04
00000244: DUP1
00000245: CALLDATASIZE
00000246: SUB
00000247: DUP2
00000248: ADD
00000249: SWAP1
0000024a: DUP1
0000024b: DUP1
0000024c: CALLDATALOAD
0000024d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000262: AND
00000263: SWAP1
00000264: PUSH1 0x20
00000266: ADD
00000267: SWAP1
00000268: SWAP3
00000269: SWAP2
0000026a: SWAP1
0000026b: POP
0000026c: POP
0000026d: POP
0000026e: PUSH2 0x10c1
00000271: JUMP
00000272: JUMPDEST
00000273: PUSH1 0x40
00000275: MLOAD
00000276: DUP1
00000277: DUP3
00000278: ISZERO
00000279: ISZERO
0000027a: ISZERO
0000027b: ISZERO
0000027c: DUP2
0000027d: MSTORE
0000027e: PUSH1 0x20
00000280: ADD
00000281: SWAP2
00000282: POP
00000283: POP
00000284: PUSH1 0x40
00000286: MLOAD
00000287: DUP1
00000288: SWAP2
00000289: SUB
0000028a: SWAP1
0000028b: RETURN
0000028c: JUMPDEST
0000028d: CALLVALUE
0000028e: DUP1
0000028f: ISZERO
00000290: PUSH2 0x0298
00000293: JUMPI
00000294: PUSH1 0x00
00000296: DUP1
00000297: REVERT
00000298: JUMPDEST
00000299: POP
0000029a: PUSH2 0x02a1
0000029d: PUSH2 0x10e1
000002a0: JUMP
000002a1: JUMPDEST
000002a2: PUSH1 0x40
000002a4: MLOAD
000002a5: DUP1
000002a6: DUP1
000002a7: PUSH1 0x20
000002a9: ADD
000002aa: DUP3
000002ab: DUP2
000002ac: SUB
000002ad: DUP3
000002ae: MSTORE
000002af: DUP4
000002b0: DUP2
000002b1: DUP2
000002b2: MLOAD
000002b3: DUP2
000002b4: MSTORE
000002b5: PUSH1 0x20
000002b7: ADD
000002b8: SWAP2
000002b9: POP
000002ba: DUP1
000002bb: MLOAD
000002bc: SWAP1
000002bd: PUSH1 0x20
000002bf: ADD
000002c0: SWAP1
000002c1: DUP1
000002c2: DUP4
000002c3: DUP4
000002c4: PUSH1 0x00
000002c6: JUMPDEST
000002c7: DUP4
000002c8: DUP2
000002c9: LT
000002ca: ISZERO
000002cb: PUSH2 0x02e1
000002ce: JUMPI
000002cf: DUP1
000002d0: DUP3
000002d1: ADD
000002d2: MLOAD
000002d3: DUP2
000002d4: DUP5
000002d5: ADD
000002d6: MSTORE
000002d7: PUSH1 0x20
000002d9: DUP2
000002da: ADD
000002db: SWAP1
000002dc: POP
000002dd: PUSH2 0x02c6
000002e0: JUMP
000002e1: JUMPDEST
000002e2: POP
000002e3: POP
000002e4: POP
000002e5: POP
000002e6: SWAP1
000002e7: POP
000002e8: SWAP1
000002e9: DUP2
000002ea: ADD
000002eb: SWAP1
000002ec: PUSH1 0x1f
000002ee: AND
000002ef: DUP1
000002f0: ISZERO
000002f1: PUSH2 0x030e
000002f4: JUMPI
000002f5: DUP1
000002f6: DUP3
000002f7: SUB
000002f8: DUP1
000002f9: MLOAD
000002fa: PUSH1 0x01
000002fc: DUP4
000002fd: PUSH1 0x20
000002ff: SUB
00000300: PUSH2 0x0100
00000303: EXP
00000304: SUB
00000305: NOT
00000306: AND
00000307: DUP2
00000308: MSTORE
00000309: PUSH1 0x20
0000030b: ADD
0000030c: SWAP2
0000030d: POP
0000030e: JUMPDEST
0000030f: POP
00000310: SWAP3
00000311: POP
00000312: POP
00000313: POP
00000314: PUSH1 0x40
00000316: MLOAD
00000317: DUP1
00000318: SWAP2
00000319: SUB
0000031a: SWAP1
0000031b: RETURN
0000031c: JUMPDEST
0000031d: CALLVALUE
0000031e: DUP1
0000031f: ISZERO
00000320: PUSH2 0x0328
00000323: JUMPI
00000324: PUSH1 0x00
00000326: DUP1
00000327: REVERT
00000328: JUMPDEST
00000329: POP
0000032a: PUSH2 0x0331
0000032d: PUSH2 0x117f
00000330: JUMP
00000331: JUMPDEST
00000332: PUSH1 0x40
00000334: MLOAD
00000335: DUP1
00000336: DUP3
00000337: DUP2
00000338: MSTORE
00000339: PUSH1 0x20
0000033b: ADD
0000033c: SWAP2
0000033d: POP
0000033e: POP
0000033f: PUSH1 0x40
00000341: MLOAD
00000342: DUP1
00000343: SWAP2
00000344: SUB
00000345: SWAP1
00000346: RETURN
00000347: JUMPDEST
00000348: CALLVALUE
00000349: DUP1
0000034a: ISZERO
0000034b: PUSH2 0x0353
0000034e: JUMPI
0000034f: PUSH1 0x00
00000351: DUP1
00000352: REVERT
00000353: JUMPDEST
00000354: POP
00000355: PUSH2 0x0372
00000358: PUSH1 0x04
0000035a: DUP1
0000035b: CALLDATASIZE
0000035c: SUB
0000035d: DUP2
0000035e: ADD
0000035f: SWAP1
00000360: DUP1
00000361: DUP1
00000362: CALLDATALOAD
00000363: SWAP1
00000364: PUSH1 0x20
00000366: ADD
00000367: SWAP1
00000368: SWAP3
00000369: SWAP2
0000036a: SWAP1
0000036b: POP
0000036c: POP
0000036d: POP
0000036e: PUSH2 0x1185
00000371: JUMP
00000372: JUMPDEST
00000373: PUSH1 0x40
00000375: MLOAD
00000376: DUP1
00000377: DUP3
00000378: DUP2
00000379: MSTORE
0000037a: PUSH1 0x20
0000037c: ADD
0000037d: SWAP2
0000037e: POP
0000037f: POP
00000380: PUSH1 0x40
00000382: MLOAD
00000383: DUP1
00000384: SWAP2
00000385: SUB
00000386: SWAP1
00000387: RETURN
00000388: JUMPDEST
00000389: CALLVALUE
0000038a: DUP1
0000038b: ISZERO
0000038c: PUSH2 0x0394
0000038f: JUMPI
00000390: PUSH1 0x00
00000392: DUP1
00000393: REVERT
00000394: JUMPDEST
00000395: POP
00000396: PUSH2 0x039d
00000399: PUSH2 0x11c7
0000039c: JUMP
0000039d: JUMPDEST
0000039e: PUSH1 0x40
000003a0: MLOAD
000003a1: DUP1
000003a2: DUP3
000003a3: DUP2
000003a4: MSTORE
000003a5: PUSH1 0x20
000003a7: ADD
000003a8: SWAP2
000003a9: POP
000003aa: POP
000003ab: PUSH1 0x40
000003ad: MLOAD
000003ae: DUP1
000003af: SWAP2
000003b0: SUB
000003b1: SWAP1
000003b2: RETURN
000003b3: JUMPDEST
000003b4: CALLVALUE
000003b5: DUP1
000003b6: ISZERO
000003b7: PUSH2 0x03bf
000003ba: JUMPI
000003bb: PUSH1 0x00
000003bd: DUP1
000003be: REVERT
000003bf: JUMPDEST
000003c0: POP
000003c1: PUSH2 0x03c8
000003c4: PUSH2 0x11d1
000003c7: JUMP
000003c8: JUMPDEST
000003c9: PUSH1 0x40
000003cb: MLOAD
000003cc: DUP1
000003cd: DUP7
000003ce: DUP2
000003cf: MSTORE
000003d0: PUSH1 0x20
000003d2: ADD
000003d3: DUP6
000003d4: DUP2
000003d5: MSTORE
000003d6: PUSH1 0x20
000003d8: ADD
000003d9: DUP5
000003da: DUP2
000003db: MSTORE
000003dc: PUSH1 0x20
000003de: ADD
000003df: DUP4
000003e0: DUP2
000003e1: MSTORE
000003e2: PUSH1 0x20
000003e4: ADD
000003e5: DUP3
000003e6: DUP2
000003e7: MSTORE
000003e8: PUSH1 0x20
000003ea: ADD
000003eb: SWAP6
000003ec: POP
000003ed: POP
000003ee: POP
000003ef: POP
000003f0: POP
000003f1: POP
000003f2: PUSH1 0x40
000003f4: MLOAD
000003f5: DUP1
000003f6: SWAP2
000003f7: SUB
000003f8: SWAP1
000003f9: RETURN
000003fa: JUMPDEST
000003fb: CALLVALUE
000003fc: DUP1
000003fd: ISZERO
000003fe: PUSH2 0x0406
00000401: JUMPI
00000402: PUSH1 0x00
00000404: DUP1
00000405: REVERT
00000406: JUMPDEST
00000407: POP
00000408: PUSH2 0x0425
0000040b: PUSH1 0x04
0000040d: DUP1
0000040e: CALLDATASIZE
0000040f: SUB
00000410: DUP2
00000411: ADD
00000412: SWAP1
00000413: DUP1
00000414: DUP1
00000415: CALLDATALOAD
00000416: SWAP1
00000417: PUSH1 0x20
00000419: ADD
0000041a: SWAP1
0000041b: SWAP3
0000041c: SWAP2
0000041d: SWAP1
0000041e: POP
0000041f: POP
00000420: POP
00000421: PUSH2 0x1287
00000424: JUMP
00000425: JUMPDEST
00000426: PUSH1 0x40
00000428: MLOAD
00000429: DUP1
0000042a: DUP3
0000042b: DUP2
0000042c: MSTORE
0000042d: PUSH1 0x20
0000042f: ADD
00000430: SWAP2
00000431: POP
00000432: POP
00000433: PUSH1 0x40
00000435: MLOAD
00000436: DUP1
00000437: SWAP2
00000438: SUB
00000439: SWAP1
0000043a: RETURN
0000043b: JUMPDEST
0000043c: CALLVALUE
0000043d: DUP1
0000043e: ISZERO
0000043f: PUSH2 0x0447
00000442: JUMPI
00000443: PUSH1 0x00
00000445: DUP1
00000446: REVERT
00000447: JUMPDEST
00000448: POP
00000449: PUSH2 0x0450
0000044c: PUSH2 0x12da
0000044f: JUMP
00000450: JUMPDEST
00000451: PUSH1 0x40
00000453: MLOAD
00000454: DUP1
00000455: DUP3
00000456: PUSH1 0xff
00000458: AND
00000459: PUSH1 0xff
0000045b: AND
0000045c: DUP2
0000045d: MSTORE
0000045e: PUSH1 0x20
00000460: ADD
00000461: SWAP2
00000462: POP
00000463: POP
00000464: PUSH1 0x40
00000466: MLOAD
00000467: DUP1
00000468: SWAP2
00000469: SUB
0000046a: SWAP1
0000046b: RETURN
0000046c: JUMPDEST
0000046d: CALLVALUE
0000046e: DUP1
0000046f: ISZERO
00000470: PUSH2 0x0478
00000473: JUMPI
00000474: PUSH1 0x00
00000476: DUP1
00000477: REVERT
00000478: JUMPDEST
00000479: POP
0000047a: PUSH2 0x0481
0000047d: PUSH2 0x12df
00000480: JUMP
00000481: JUMPDEST
00000482: PUSH1 0x40
00000484: MLOAD
00000485: DUP1
00000486: DUP3
00000487: DUP2
00000488: MSTORE
00000489: PUSH1 0x20
0000048b: ADD
0000048c: SWAP2
0000048d: POP
0000048e: POP
0000048f: PUSH1 0x40
00000491: MLOAD
00000492: DUP1
00000493: SWAP2
00000494: SUB
00000495: SWAP1
00000496: RETURN
00000497: JUMPDEST
00000498: CALLVALUE
00000499: DUP1
0000049a: ISZERO
0000049b: PUSH2 0x04a3
0000049e: JUMPI
0000049f: PUSH1 0x00
000004a1: DUP1
000004a2: REVERT
000004a3: JUMPDEST
000004a4: POP
000004a5: PUSH2 0x04ac
000004a8: PUSH2 0x1345
000004ab: JUMP
000004ac: JUMPDEST
000004ad: STOP
000004ae: JUMPDEST
000004af: CALLVALUE
000004b0: DUP1
000004b1: ISZERO
000004b2: PUSH2 0x04ba
000004b5: JUMPI
000004b6: PUSH1 0x00
000004b8: DUP1
000004b9: REVERT
000004ba: JUMPDEST
000004bb: POP
000004bc: PUSH2 0x04c3
000004bf: PUSH2 0x1575
000004c2: JUMP
000004c3: JUMPDEST
000004c4: PUSH1 0x40
000004c6: MLOAD
000004c7: DUP1
000004c8: DUP3
000004c9: DUP2
000004ca: MSTORE
000004cb: PUSH1 0x20
000004cd: ADD
000004ce: SWAP2
000004cf: POP
000004d0: POP
000004d1: PUSH1 0x40
000004d3: MLOAD
000004d4: DUP1
000004d5: SWAP2
000004d6: SUB
000004d7: SWAP1
000004d8: RETURN
000004d9: JUMPDEST
000004da: CALLVALUE
000004db: DUP1
000004dc: ISZERO
000004dd: PUSH2 0x04e5
000004e0: JUMPI
000004e1: PUSH1 0x00
000004e3: DUP1
000004e4: REVERT
000004e5: JUMPDEST
000004e6: POP
000004e7: PUSH2 0x04ee
000004ea: PUSH2 0x15dd
000004ed: JUMP
000004ee: JUMPDEST
000004ef: PUSH1 0x40
000004f1: MLOAD
000004f2: DUP1
000004f3: DUP3
000004f4: DUP2
000004f5: MSTORE
000004f6: PUSH1 0x20
000004f8: ADD
000004f9: SWAP2
000004fa: POP
000004fb: POP
000004fc: PUSH1 0x40
000004fe: MLOAD
000004ff: DUP1
00000500: SWAP2
00000501: SUB
00000502: SWAP1
00000503: RETURN
00000504: JUMPDEST
00000505: CALLVALUE
00000506: DUP1
00000507: ISZERO
00000508: PUSH2 0x0510
0000050b: JUMPI
0000050c: PUSH1 0x00
0000050e: DUP1
0000050f: REVERT
00000510: JUMPDEST
00000511: POP
00000512: PUSH2 0x0519
00000515: PUSH2 0x15e3
00000518: JUMP
00000519: JUMPDEST
0000051a: PUSH1 0x40
0000051c: MLOAD
0000051d: DUP1
0000051e: DUP3
0000051f: DUP2
00000520: MSTORE
00000521: PUSH1 0x20
00000523: ADD
00000524: SWAP2
00000525: POP
00000526: POP
00000527: PUSH1 0x40
00000529: MLOAD
0000052a: DUP1
0000052b: SWAP2
0000052c: SUB
0000052d: SWAP1
0000052e: RETURN
0000052f: JUMPDEST
00000530: CALLVALUE
00000531: DUP1
00000532: ISZERO
00000533: PUSH2 0x053b
00000536: JUMPI
00000537: PUSH1 0x00
00000539: DUP1
0000053a: REVERT
0000053b: JUMPDEST
0000053c: POP
0000053d: PUSH2 0x055c
00000540: PUSH1 0x04
00000542: DUP1
00000543: CALLDATASIZE
00000544: SUB
00000545: DUP2
00000546: ADD
00000547: SWAP1
00000548: DUP1
00000549: DUP1
0000054a: CALLDATALOAD
0000054b: ISZERO
0000054c: ISZERO
0000054d: SWAP1
0000054e: PUSH1 0x20
00000550: ADD
00000551: SWAP1
00000552: SWAP3
00000553: SWAP2
00000554: SWAP1
00000555: POP
00000556: POP
00000557: POP
00000558: PUSH2 0x15e9
0000055b: JUMP
0000055c: JUMPDEST
0000055d: PUSH1 0x40
0000055f: MLOAD
00000560: DUP1
00000561: DUP3
00000562: DUP2
00000563: MSTORE
00000564: PUSH1 0x20
00000566: ADD
00000567: SWAP2
00000568: POP
00000569: POP
0000056a: PUSH1 0x40
0000056c: MLOAD
0000056d: DUP1
0000056e: SWAP2
0000056f: SUB
00000570: SWAP1
00000571: RETURN
00000572: JUMPDEST
00000573: CALLVALUE
00000574: DUP1
00000575: ISZERO
00000576: PUSH2 0x057e
00000579: JUMPI
0000057a: PUSH1 0x00
0000057c: DUP1
0000057d: REVERT
0000057e: JUMPDEST
0000057f: POP
00000580: PUSH2 0x0587
00000583: PUSH2 0x1655
00000586: JUMP
00000587: JUMPDEST
00000588: PUSH1 0x40
0000058a: MLOAD
0000058b: DUP1
0000058c: DUP3
0000058d: DUP2
0000058e: MSTORE
0000058f: PUSH1 0x20
00000591: ADD
00000592: SWAP2
00000593: POP
00000594: POP
00000595: PUSH1 0x40
00000597: MLOAD
00000598: DUP1
00000599: SWAP2
0000059a: SUB
0000059b: SWAP1
0000059c: RETURN
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 0x05de
000005ae: PUSH1 0x04
000005b0: DUP1
000005b1: CALLDATASIZE
000005b2: SUB
000005b3: DUP2
000005b4: ADD
000005b5: SWAP1
000005b6: DUP1
000005b7: DUP1
000005b8: CALLDATALOAD
000005b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005ce: AND
000005cf: SWAP1
000005d0: PUSH1 0x20
000005d2: ADD
000005d3: SWAP1
000005d4: SWAP3
000005d5: SWAP2
000005d6: SWAP1
000005d7: POP
000005d8: POP
000005d9: POP
000005da: PUSH2 0x1674
000005dd: JUMP
000005de: JUMPDEST
000005df: PUSH1 0x40
000005e1: MLOAD
000005e2: DUP1
000005e3: DUP3
000005e4: DUP2
000005e5: MSTORE
000005e6: PUSH1 0x20
000005e8: ADD
000005e9: SWAP2
000005ea: POP
000005eb: POP
000005ec: PUSH1 0x40
000005ee: MLOAD
000005ef: DUP1
000005f0: SWAP2
000005f1: SUB
000005f2: SWAP1
000005f3: RETURN
000005f4: JUMPDEST
000005f5: CALLVALUE
000005f6: DUP1
000005f7: ISZERO
000005f8: PUSH2 0x0600
000005fb: JUMPI
000005fc: PUSH1 0x00
000005fe: DUP1
000005ff: REVERT
00000600: JUMPDEST
00000601: POP
00000602: PUSH2 0x0609
00000605: PUSH2 0x16bd
00000608: JUMP
00000609: JUMPDEST
0000060a: PUSH1 0x40
0000060c: MLOAD
0000060d: DUP1
0000060e: DUP3
0000060f: DUP2
00000610: MSTORE
00000611: PUSH1 0x20
00000613: ADD
00000614: SWAP2
00000615: POP
00000616: POP
00000617: PUSH1 0x40
00000619: MLOAD
0000061a: DUP1
0000061b: SWAP2
0000061c: SUB
0000061d: SWAP1
0000061e: RETURN
0000061f: JUMPDEST
00000620: CALLVALUE
00000621: DUP1
00000622: ISZERO
00000623: PUSH2 0x062b
00000626: JUMPI
00000627: PUSH1 0x00
00000629: DUP1
0000062a: REVERT
0000062b: JUMPDEST
0000062c: POP
0000062d: PUSH2 0x064a
00000630: PUSH1 0x04
00000632: DUP1
00000633: CALLDATASIZE
00000634: SUB
00000635: DUP2
00000636: ADD
00000637: SWAP1
00000638: DUP1
00000639: DUP1
0000063a: CALLDATALOAD
0000063b: SWAP1
0000063c: PUSH1 0x20
0000063e: ADD
0000063f: SWAP1
00000640: SWAP3
00000641: SWAP2
00000642: SWAP1
00000643: POP
00000644: POP
00000645: POP
00000646: PUSH2 0x16c3
00000649: JUMP
0000064a: JUMPDEST
0000064b: STOP
0000064c: JUMPDEST
0000064d: CALLVALUE
0000064e: DUP1
0000064f: ISZERO
00000650: PUSH2 0x0658
00000653: JUMPI
00000654: PUSH1 0x00
00000656: DUP1
00000657: REVERT
00000658: JUMPDEST
00000659: POP
0000065a: PUSH2 0x068d
0000065d: PUSH1 0x04
0000065f: DUP1
00000660: CALLDATASIZE
00000661: SUB
00000662: DUP2
00000663: ADD
00000664: SWAP1
00000665: DUP1
00000666: DUP1
00000667: CALLDATALOAD
00000668: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000067d: AND
0000067e: SWAP1
0000067f: PUSH1 0x20
00000681: ADD
00000682: SWAP1
00000683: SWAP3
00000684: SWAP2
00000685: SWAP1
00000686: POP
00000687: POP
00000688: POP
00000689: PUSH2 0x1729
0000068c: JUMP
0000068d: JUMPDEST
0000068e: PUSH1 0x40
00000690: MLOAD
00000691: DUP1
00000692: DUP3
00000693: DUP2
00000694: MSTORE
00000695: PUSH1 0x20
00000697: ADD
00000698: SWAP2
00000699: POP
0000069a: POP
0000069b: PUSH1 0x40
0000069d: MLOAD
0000069e: DUP1
0000069f: SWAP2
000006a0: SUB
000006a1: SWAP1
000006a2: RETURN
000006a3: JUMPDEST
000006a4: CALLVALUE
000006a5: DUP1
000006a6: ISZERO
000006a7: PUSH2 0x06af
000006aa: JUMPI
000006ab: PUSH1 0x00
000006ad: DUP1
000006ae: REVERT
000006af: JUMPDEST
000006b0: POP
000006b1: PUSH2 0x06b8
000006b4: PUSH2 0x1741
000006b7: JUMP
000006b8: JUMPDEST
000006b9: PUSH1 0x40
000006bb: MLOAD
000006bc: DUP1
000006bd: DUP3
000006be: DUP2
000006bf: MSTORE
000006c0: PUSH1 0x20
000006c2: ADD
000006c3: SWAP2
000006c4: POP
000006c5: POP
000006c6: PUSH1 0x40
000006c8: MLOAD
000006c9: DUP1
000006ca: SWAP2
000006cb: SUB
000006cc: SWAP1
000006cd: RETURN
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 0x06e3
000006df: PUSH2 0x17a9
000006e2: JUMP
000006e3: JUMPDEST
000006e4: PUSH1 0x40
000006e6: MLOAD
000006e7: DUP1
000006e8: DUP3
000006e9: ISZERO
000006ea: ISZERO
000006eb: ISZERO
000006ec: ISZERO
000006ed: DUP2
000006ee: MSTORE
000006ef: PUSH1 0x20
000006f1: ADD
000006f2: SWAP2
000006f3: POP
000006f4: POP
000006f5: PUSH1 0x40
000006f7: MLOAD
000006f8: DUP1
000006f9: SWAP2
000006fa: SUB
000006fb: SWAP1
000006fc: RETURN
000006fd: JUMPDEST
000006fe: CALLVALUE
000006ff: DUP1
00000700: ISZERO
00000701: PUSH2 0x0709
00000704: JUMPI
00000705: PUSH1 0x00
00000707: DUP1
00000708: REVERT
00000709: JUMPDEST
0000070a: POP
0000070b: PUSH2 0x0712
0000070e: PUSH2 0x1801
00000711: JUMP
00000712: JUMPDEST
00000713: PUSH1 0x40
00000715: MLOAD
00000716: DUP1
00000717: DUP3
00000718: DUP2
00000719: MSTORE
0000071a: PUSH1 0x20
0000071c: ADD
0000071d: SWAP2
0000071e: POP
0000071f: POP
00000720: PUSH1 0x40
00000722: MLOAD
00000723: DUP1
00000724: SWAP2
00000725: SUB
00000726: SWAP1
00000727: RETURN
00000728: JUMPDEST
00000729: CALLVALUE
0000072a: DUP1
0000072b: ISZERO
0000072c: PUSH2 0x0734
0000072f: JUMPI
00000730: PUSH1 0x00
00000732: DUP1
00000733: REVERT
00000734: JUMPDEST
00000735: POP
00000736: PUSH2 0x073d
00000739: PUSH2 0x1816
0000073c: JUMP
0000073d: JUMPDEST
0000073e: PUSH1 0x40
00000740: MLOAD
00000741: DUP1
00000742: DUP1
00000743: PUSH1 0x20
00000745: ADD
00000746: DUP3
00000747: DUP2
00000748: SUB
00000749: DUP3
0000074a: MSTORE
0000074b: DUP4
0000074c: DUP2
0000074d: DUP2
0000074e: MLOAD
0000074f: DUP2
00000750: MSTORE
00000751: PUSH1 0x20
00000753: ADD
00000754: SWAP2
00000755: POP
00000756: DUP1
00000757: MLOAD
00000758: SWAP1
00000759: PUSH1 0x20
0000075b: ADD
0000075c: SWAP1
0000075d: DUP1
0000075e: DUP4
0000075f: DUP4
00000760: PUSH1 0x00
00000762: JUMPDEST
00000763: DUP4
00000764: DUP2
00000765: LT
00000766: ISZERO
00000767: PUSH2 0x077d
0000076a: JUMPI
0000076b: DUP1
0000076c: DUP3
0000076d: ADD
0000076e: MLOAD
0000076f: DUP2
00000770: DUP5
00000771: ADD
00000772: MSTORE
00000773: PUSH1 0x20
00000775: DUP2
00000776: ADD
00000777: SWAP1
00000778: POP
00000779: PUSH2 0x0762
0000077c: JUMP
0000077d: JUMPDEST
0000077e: POP
0000077f: POP
00000780: POP
00000781: POP
00000782: SWAP1
00000783: POP
00000784: SWAP1
00000785: DUP2
00000786: ADD
00000787: SWAP1
00000788: PUSH1 0x1f
0000078a: AND
0000078b: DUP1
0000078c: ISZERO
0000078d: PUSH2 0x07aa
00000790: JUMPI
00000791: DUP1
00000792: DUP3
00000793: SUB
00000794: DUP1
00000795: MLOAD
00000796: PUSH1 0x01
00000798: DUP4
00000799: PUSH1 0x20
0000079b: SUB
0000079c: PUSH2 0x0100
0000079f: EXP
000007a0: SUB
000007a1: NOT
000007a2: AND
000007a3: DUP2
000007a4: MSTORE
000007a5: PUSH1 0x20
000007a7: ADD
000007a8: SWAP2
000007a9: POP
000007aa: JUMPDEST
000007ab: POP
000007ac: SWAP3
000007ad: POP
000007ae: POP
000007af: POP
000007b0: PUSH1 0x40
000007b2: MLOAD
000007b3: DUP1
000007b4: SWAP2
000007b5: SUB
000007b6: SWAP1
000007b7: RETURN
000007b8: JUMPDEST
000007b9: CALLVALUE
000007ba: DUP1
000007bb: ISZERO
000007bc: PUSH2 0x07c4
000007bf: JUMPI
000007c0: PUSH1 0x00
000007c2: DUP1
000007c3: REVERT
000007c4: JUMPDEST
000007c5: POP
000007c6: PUSH2 0x07cd
000007c9: PUSH2 0x18b4
000007cc: JUMP
000007cd: JUMPDEST
000007ce: PUSH1 0x40
000007d0: MLOAD
000007d1: DUP1
000007d2: DUP3
000007d3: ISZERO
000007d4: ISZERO
000007d5: ISZERO
000007d6: ISZERO
000007d7: DUP2
000007d8: MSTORE
000007d9: PUSH1 0x20
000007db: ADD
000007dc: SWAP2
000007dd: POP
000007de: POP
000007df: PUSH1 0x40
000007e1: MLOAD
000007e2: DUP1
000007e3: SWAP2
000007e4: SUB
000007e5: SWAP1
000007e6: RETURN
000007e7: JUMPDEST
000007e8: CALLVALUE
000007e9: DUP1
000007ea: ISZERO
000007eb: PUSH2 0x07f3
000007ee: JUMPI
000007ef: PUSH1 0x00
000007f1: DUP1
000007f2: REVERT
000007f3: JUMPDEST
000007f4: POP
000007f5: PUSH2 0x07fc
000007f8: PUSH2 0x18c7
000007fb: JUMP
000007fc: JUMPDEST
000007fd: PUSH1 0x40
000007ff: MLOAD
00000800: DUP1
00000801: DUP3
00000802: DUP2
00000803: MSTORE
00000804: PUSH1 0x20
00000806: ADD
00000807: SWAP2
00000808: POP
00000809: POP
0000080a: PUSH1 0x40
0000080c: MLOAD
0000080d: DUP1
0000080e: SWAP2
0000080f: SUB
00000810: SWAP1
00000811: RETURN
00000812: JUMPDEST
00000813: CALLVALUE
00000814: DUP1
00000815: ISZERO
00000816: PUSH2 0x081e
00000819: JUMPI
0000081a: PUSH1 0x00
0000081c: DUP1
0000081d: REVERT
0000081e: JUMPDEST
0000081f: POP
00000820: PUSH2 0x0827
00000823: PUSH2 0x18cd
00000826: JUMP
00000827: JUMPDEST
00000828: PUSH1 0x40
0000082a: MLOAD
0000082b: DUP1
0000082c: DUP7
0000082d: DUP2
0000082e: MSTORE
0000082f: PUSH1 0x20
00000831: ADD
00000832: DUP6
00000833: DUP2
00000834: MSTORE
00000835: PUSH1 0x20
00000837: ADD
00000838: DUP5
00000839: DUP2
0000083a: MSTORE
0000083b: PUSH1 0x20
0000083d: ADD
0000083e: DUP4
0000083f: DUP2
00000840: MSTORE
00000841: PUSH1 0x20
00000843: ADD
00000844: DUP3
00000845: DUP2
00000846: MSTORE
00000847: PUSH1 0x20
00000849: ADD
0000084a: SWAP6
0000084b: POP
0000084c: POP
0000084d: POP
0000084e: POP
0000084f: POP
00000850: POP
00000851: PUSH1 0x40
00000853: MLOAD
00000854: DUP1
00000855: SWAP2
00000856: SUB
00000857: SWAP1
00000858: RETURN
00000859: JUMPDEST
0000085a: CALLVALUE
0000085b: DUP1
0000085c: ISZERO
0000085d: PUSH2 0x0865
00000860: JUMPI
00000861: PUSH1 0x00
00000863: DUP1
00000864: REVERT
00000865: JUMPDEST
00000866: POP
00000867: PUSH2 0x086e
0000086a: PUSH2 0x18ff
0000086d: JUMP
0000086e: JUMPDEST
0000086f: STOP
00000870: JUMPDEST
00000871: CALLVALUE
00000872: DUP1
00000873: ISZERO
00000874: PUSH2 0x087c
00000877: JUMPI
00000878: PUSH1 0x00
0000087a: DUP1
0000087b: REVERT
0000087c: JUMPDEST
0000087d: POP
0000087e: PUSH2 0x08bb
00000881: PUSH1 0x04
00000883: DUP1
00000884: CALLDATASIZE
00000885: SUB
00000886: DUP2
00000887: ADD
00000888: SWAP1
00000889: DUP1
0000088a: DUP1
0000088b: CALLDATALOAD
0000088c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008a1: AND
000008a2: SWAP1
000008a3: PUSH1 0x20
000008a5: ADD
000008a6: SWAP1
000008a7: SWAP3
000008a8: SWAP2
000008a9: SWAP1
000008aa: DUP1
000008ab: CALLDATALOAD
000008ac: SWAP1
000008ad: PUSH1 0x20
000008af: ADD
000008b0: SWAP1
000008b1: SWAP3
000008b2: SWAP2
000008b3: SWAP1
000008b4: POP
000008b5: POP
000008b6: POP
000008b7: PUSH2 0x1978
000008ba: JUMP
000008bb: JUMPDEST
000008bc: PUSH1 0x40
000008be: MLOAD
000008bf: DUP1
000008c0: DUP3
000008c1: ISZERO
000008c2: ISZERO
000008c3: ISZERO
000008c4: ISZERO
000008c5: DUP2
000008c6: MSTORE
000008c7: PUSH1 0x20
000008c9: ADD
000008ca: SWAP2
000008cb: POP
000008cc: POP
000008cd: PUSH1 0x40
000008cf: MLOAD
000008d0: DUP1
000008d1: SWAP2
000008d2: SUB
000008d3: SWAP1
000008d4: RETURN
000008d5: JUMPDEST
000008d6: CALLVALUE
000008d7: DUP1
000008d8: ISZERO
000008d9: PUSH2 0x08e1
000008dc: JUMPI
000008dd: PUSH1 0x00
000008df: DUP1
000008e0: REVERT
000008e1: JUMPDEST
000008e2: POP
000008e3: PUSH2 0x0916
000008e6: PUSH1 0x04
000008e8: DUP1
000008e9: CALLDATASIZE
000008ea: SUB
000008eb: DUP2
000008ec: ADD
000008ed: SWAP1
000008ee: DUP1
000008ef: DUP1
000008f0: CALLDATALOAD
000008f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000906: AND
00000907: SWAP1
00000908: PUSH1 0x20
0000090a: ADD
0000090b: SWAP1
0000090c: SWAP3
0000090d: SWAP2
0000090e: SWAP1
0000090f: POP
00000910: POP
00000911: POP
00000912: PUSH2 0x1cbc
00000915: JUMP
00000916: JUMPDEST
00000917: PUSH1 0x40
00000919: MLOAD
0000091a: DUP1
0000091b: DUP3
0000091c: DUP2
0000091d: MSTORE
0000091e: PUSH1 0x20
00000920: ADD
00000921: SWAP2
00000922: POP
00000923: POP
00000924: PUSH1 0x40
00000926: MLOAD
00000927: DUP1
00000928: SWAP2
00000929: SUB
0000092a: SWAP1
0000092b: RETURN
0000092c: JUMPDEST
0000092d: CALLVALUE
0000092e: DUP1
0000092f: ISZERO
00000930: PUSH2 0x0938
00000933: JUMPI
00000934: PUSH1 0x00
00000936: DUP1
00000937: REVERT
00000938: JUMPDEST
00000939: POP
0000093a: PUSH2 0x0941
0000093d: PUSH2 0x1cd4
00000940: JUMP
00000941: JUMPDEST
00000942: STOP
00000943: JUMPDEST
00000944: CALLVALUE
00000945: DUP1
00000946: ISZERO
00000947: PUSH2 0x094f
0000094a: JUMPI
0000094b: PUSH1 0x00
0000094d: DUP1
0000094e: REVERT
0000094f: JUMPDEST
00000950: POP
00000951: PUSH2 0x0958
00000954: PUSH2 0x1dab
00000957: JUMP
00000958: JUMPDEST
00000959: STOP
0000095a: JUMPDEST
0000095b: CALLVALUE
0000095c: DUP1
0000095d: ISZERO
0000095e: PUSH2 0x0966
00000961: JUMPI
00000962: PUSH1 0x00
00000964: DUP1
00000965: REVERT
00000966: JUMPDEST
00000967: POP
00000968: PUSH2 0x0985
0000096b: PUSH1 0x04
0000096d: DUP1
0000096e: CALLDATASIZE
0000096f: SUB
00000970: DUP2
00000971: ADD
00000972: SWAP1
00000973: DUP1
00000974: DUP1
00000975: CALLDATALOAD
00000976: SWAP1
00000977: PUSH1 0x20
00000979: ADD
0000097a: SWAP1
0000097b: SWAP3
0000097c: SWAP2
0000097d: SWAP1
0000097e: POP
0000097f: POP
00000980: POP
00000981: PUSH2 0x1dc0
00000984: JUMP
00000985: JUMPDEST
00000986: STOP
00000987: JUMPDEST
00000988: CALLVALUE
00000989: DUP1
0000098a: ISZERO
0000098b: PUSH2 0x0993
0000098e: JUMPI
0000098f: PUSH1 0x00
00000991: DUP1
00000992: REVERT
00000993: JUMPDEST
00000994: POP
00000995: PUSH2 0x09e1
00000998: PUSH1 0x04
0000099a: DUP1
0000099b: CALLDATASIZE
0000099c: SUB
0000099d: DUP2
0000099e: ADD
0000099f: SWAP1
000009a0: DUP1
000009a1: DUP1
000009a2: CALLDATALOAD
000009a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b8: AND
000009b9: SWAP1
000009ba: PUSH1 0x20
000009bc: ADD
000009bd: SWAP1
000009be: SWAP3
000009bf: SWAP2
000009c0: SWAP1
000009c1: DUP1
000009c2: CALLDATALOAD
000009c3: ISZERO
000009c4: ISZERO
000009c5: SWAP1
000009c6: PUSH1 0x20
000009c8: ADD
000009c9: SWAP1
000009ca: SWAP3
000009cb: SWAP2
000009cc: SWAP1
000009cd: DUP1
000009ce: CALLDATALOAD
000009cf: PUSH1 0xff
000009d1: AND
000009d2: SWAP1
000009d3: PUSH1 0x20
000009d5: ADD
000009d6: SWAP1
000009d7: SWAP3
000009d8: SWAP2
000009d9: SWAP1
000009da: POP
000009db: POP
000009dc: POP
000009dd: PUSH2 0x203a
000009e0: JUMP
000009e1: JUMPDEST
000009e2: STOP
000009e3: JUMPDEST
000009e4: CALLVALUE
000009e5: DUP1
000009e6: ISZERO
000009e7: PUSH2 0x09ef
000009ea: JUMPI
000009eb: PUSH1 0x00
000009ed: DUP1
000009ee: REVERT
000009ef: JUMPDEST
000009f0: POP
000009f1: PUSH2 0x09f8
000009f4: PUSH2 0x20fc
000009f7: JUMP
000009f8: JUMPDEST
000009f9: STOP
000009fa: JUMPDEST
000009fb: PUSH2 0x0a2e
000009fe: PUSH1 0x04
00000a00: DUP1
00000a01: CALLDATASIZE
00000a02: SUB
00000a03: DUP2
00000a04: ADD
00000a05: SWAP1
00000a06: DUP1
00000a07: DUP1
00000a08: CALLDATALOAD
00000a09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a1e: AND
00000a1f: SWAP1
00000a20: PUSH1 0x20
00000a22: ADD
00000a23: SWAP1
00000a24: SWAP3
00000a25: SWAP2
00000a26: SWAP1
00000a27: POP
00000a28: POP
00000a29: POP
00000a2a: PUSH2 0x2163
00000a2d: JUMP
00000a2e: JUMPDEST
00000a2f: PUSH1 0x40
00000a31: MLOAD
00000a32: DUP1
00000a33: DUP3
00000a34: DUP2
00000a35: MSTORE
00000a36: PUSH1 0x20
00000a38: ADD
00000a39: SWAP2
00000a3a: POP
00000a3b: POP
00000a3c: PUSH1 0x40
00000a3e: MLOAD
00000a3f: DUP1
00000a40: SWAP2
00000a41: SUB
00000a42: SWAP1
00000a43: RETURN
00000a44: JUMPDEST
00000a45: CALLVALUE
00000a46: DUP1
00000a47: ISZERO
00000a48: PUSH2 0x0a50
00000a4b: JUMPI
00000a4c: PUSH1 0x00
00000a4e: DUP1
00000a4f: REVERT
00000a50: JUMPDEST
00000a51: POP
00000a52: PUSH2 0x0a59
00000a55: PUSH2 0x22d1
00000a58: JUMP
00000a59: JUMPDEST
00000a5a: STOP
00000a5b: JUMPDEST
00000a5c: PUSH1 0x00
00000a5e: DUP1
00000a5f: PUSH1 0x00
00000a61: DUP1
00000a62: PUSH1 0x00
00000a64: DUP1
00000a65: PUSH1 0x00
00000a67: DUP1
00000a68: PUSH1 0x00
00000a6a: DUP1
00000a6b: DUP12
00000a6c: PUSH1 0x13
00000a6e: PUSH1 0x00
00000a70: SWAP1
00000a71: SLOAD
00000a72: SWAP1
00000a73: PUSH2 0x0100
00000a76: EXP
00000a77: SWAP1
00000a78: DIV
00000a79: PUSH1 0xff
00000a7b: AND
00000a7c: ISZERO
00000a7d: PUSH2 0x0b6b
00000a80: JUMPI
00000a81: PUSH1 0x0f
00000a83: PUSH1 0x00
00000a85: CALLER
00000a86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a9b: AND
00000a9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ab1: AND
00000ab2: DUP2
00000ab3: MSTORE
00000ab4: PUSH1 0x20
00000ab6: ADD
00000ab7: SWAP1
00000ab8: DUP2
00000ab9: MSTORE
00000aba: PUSH1 0x20
00000abc: ADD
00000abd: PUSH1 0x00
00000abf: KECCAK256
00000ac0: PUSH1 0x00
00000ac2: SWAP1
00000ac3: SLOAD
00000ac4: SWAP1
00000ac5: PUSH2 0x0100
00000ac8: EXP
00000ac9: SWAP1
00000aca: DIV
00000acb: PUSH1 0xff
00000acd: AND
00000ace: ISZERO
00000acf: ISZERO
00000ad0: PUSH2 0x0ad8
00000ad3: JUMPI
00000ad4: PUSH1 0x00
00000ad6: DUP1
00000ad7: REVERT
00000ad8: JUMPDEST
00000ad9: PUSH1 0x00
00000adb: PUSH1 0x0f
00000add: PUSH1 0x00
00000adf: CALLER
00000ae0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af5: AND
00000af6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b0b: AND
00000b0c: DUP2
00000b0d: MSTORE
00000b0e: PUSH1 0x20
00000b10: ADD
00000b11: SWAP1
00000b12: DUP2
00000b13: MSTORE
00000b14: PUSH1 0x20
00000b16: ADD
00000b17: PUSH1 0x00
00000b19: KECCAK256
00000b1a: PUSH1 0x00
00000b1c: PUSH2 0x0100
00000b1f: EXP
00000b20: DUP2
00000b21: SLOAD
00000b22: DUP2
00000b23: PUSH1 0xff
00000b25: MUL
00000b26: NOT
00000b27: AND
00000b28: SWAP1
00000b29: DUP4
00000b2a: ISZERO
00000b2b: ISZERO
00000b2c: MUL
00000b2d: OR
00000b2e: SWAP1
00000b2f: SSTORE
00000b30: POP
00000b31: PUSH2 0x0b3d
00000b34: PUSH1 0x04
00000b36: SLOAD
00000b37: PUSH1 0x01
00000b39: PUSH2 0x2445
00000b3c: JUMP
00000b3d: JUMPDEST
00000b3e: PUSH1 0x04
00000b40: DUP2
00000b41: SWAP1
00000b42: SSTORE
00000b43: POP
00000b44: PUSH1 0x00
00000b46: PUSH1 0x04
00000b48: SLOAD
00000b49: EQ
00000b4a: ISZERO
00000b4b: PUSH2 0x0b6a
00000b4e: JUMPI
00000b4f: PUSH1 0x00
00000b51: PUSH1 0x13
00000b53: PUSH1 0x00
00000b55: PUSH2 0x0100
00000b58: EXP
00000b59: DUP2
00000b5a: SLOAD
00000b5b: DUP2
00000b5c: PUSH1 0xff
00000b5e: MUL
00000b5f: NOT
00000b60: AND
00000b61: SWAP1
00000b62: DUP4
00000b63: ISZERO
00000b64: ISZERO
00000b65: MUL
00000b66: OR
00000b67: SWAP1
00000b68: SSTORE
00000b69: POP
00000b6a: JUMPDEST
00000b6b: JUMPDEST
00000b6c: CALLER
00000b6d: SWAP10
00000b6e: POP
00000b6f: PUSH2 0x0b86
00000b72: PUSH2 0x0b7f
00000b75: DUP15
00000b76: PUSH1 0x1e
00000b78: PUSH1 0xff
00000b7a: AND
00000b7b: PUSH2 0x245e
00000b7e: JUMP
00000b7f: JUMPDEST
00000b80: PUSH1 0x64
00000b82: PUSH2 0x2499
00000b85: JUMP
00000b86: JUMPDEST
00000b87: SWAP9
00000b88: POP
00000b89: PUSH2 0x0b93
00000b8c: DUP14
00000b8d: PUSH1 0x0a
00000b8f: PUSH2 0x2499
00000b92: JUMP
00000b93: JUMPDEST
00000b94: SWAP8
00000b95: POP
00000b96: PUSH2 0x0b9f
00000b99: DUP10
00000b9a: DUP10
00000b9b: PUSH2 0x2445
00000b9e: JUMP
00000b9f: JUMPDEST
00000ba0: SWAP7
00000ba1: POP
00000ba2: PUSH2 0x0baf
00000ba5: DUP14
00000ba6: PUSH1 0x14
00000ba8: PUSH1 0xff
00000baa: AND
00000bab: PUSH2 0x2499
00000bae: JUMP
00000baf: JUMPDEST
00000bb0: SWAP6
00000bb1: POP
00000bb2: PUSH2 0x0bbb
00000bb5: DUP8
00000bb6: DUP8
00000bb7: PUSH2 0x2445
00000bba: JUMP
00000bbb: JUMPDEST
00000bbc: SWAP7
00000bbd: POP
00000bbe: PUSH2 0x0bc9
00000bc1: PUSH1 0x02
00000bc3: SLOAD
00000bc4: DUP8
00000bc5: PUSH2 0x24b4
00000bc8: JUMP
00000bc9: JUMPDEST
00000bca: PUSH1 0x02
00000bcc: DUP2
00000bcd: SWAP1
00000bce: SSTORE
00000bcf: POP
00000bd0: PUSH2 0x0bd9
00000bd3: DUP14
00000bd4: DUP11
00000bd5: PUSH2 0x2445
00000bd8: JUMP
00000bd9: JUMPDEST
00000bda: SWAP5
00000bdb: POP
00000bdc: PUSH2 0x0be4
00000bdf: DUP6
00000be0: PUSH2 0x24d2
00000be3: JUMP
00000be4: JUMPDEST
00000be5: SWAP4
00000be6: POP
00000be7: PUSH9 0x010000000000000000
00000bf1: DUP8
00000bf2: MUL
00000bf3: SWAP3
00000bf4: POP
00000bf5: PUSH2 0x0c00
00000bf8: PUSH1 0x09
00000bfa: SLOAD
00000bfb: DUP11
00000bfc: PUSH2 0x24b4
00000bff: JUMP
00000c00: JUMPDEST
00000c01: PUSH1 0x09
00000c03: DUP2
00000c04: SWAP1
00000c05: SSTORE
00000c06: POP
00000c07: PUSH1 0x00
00000c09: DUP5
00000c0a: GT
00000c0b: DUP1
00000c0c: ISZERO
00000c0d: PUSH2 0x0c22
00000c10: JUMPI
00000c11: POP
00000c12: PUSH1 0x03
00000c14: SLOAD
00000c15: PUSH2 0x0c20
00000c18: DUP6
00000c19: PUSH1 0x03
00000c1b: SLOAD
00000c1c: PUSH2 0x24b4
00000c1f: JUMP
00000c20: JUMPDEST
00000c21: GT
00000c22: JUMPDEST
00000c23: ISZERO
00000c24: ISZERO
00000c25: PUSH2 0x0c2d
00000c28: JUMPI
00000c29: PUSH1 0x00
00000c2b: DUP1
00000c2c: REVERT
00000c2d: JUMPDEST
00000c2e: PUSH1 0x00
00000c30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c45: AND
00000c46: DUP13
00000c47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c5c: AND
00000c5d: EQ
00000c5e: ISZERO
00000c5f: DUP1
00000c60: ISZERO
00000c61: PUSH2 0x0c96
00000c64: JUMPI
00000c65: POP
00000c66: DUP10
00000c67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c7c: AND
00000c7d: DUP13
00000c7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c93: AND
00000c94: EQ
00000c95: ISZERO
00000c96: JUMPDEST
00000c97: DUP1
00000c98: ISZERO
00000c99: PUSH2 0x0ce3
00000c9c: JUMPI
00000c9d: POP
00000c9e: PUSH1 0x06
00000ca0: SLOAD
00000ca1: PUSH1 0x0c
00000ca3: PUSH1 0x00
00000ca5: DUP15
00000ca6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cbb: AND
00000cbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cd1: AND
00000cd2: DUP2
00000cd3: MSTORE
00000cd4: PUSH1 0x20
00000cd6: ADD
00000cd7: SWAP1
00000cd8: DUP2
00000cd9: MSTORE
00000cda: PUSH1 0x20
00000cdc: ADD
00000cdd: PUSH1 0x00
00000cdf: KECCAK256
00000ce0: SLOAD
00000ce1: LT
00000ce2: ISZERO
00000ce3: JUMPDEST
00000ce4: ISZERO
00000ce5: PUSH2 0x0d79
00000ce8: JUMPI
00000ce9: PUSH2 0x0d31
00000cec: PUSH1 0x0d
00000cee: PUSH1 0x00
00000cf0: DUP15
00000cf1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d06: AND
00000d07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d1c: AND
00000d1d: DUP2
00000d1e: MSTORE
00000d1f: PUSH1 0x20
00000d21: ADD
00000d22: SWAP1
00000d23: DUP2
00000d24: MSTORE
00000d25: PUSH1 0x20
00000d27: ADD
00000d28: PUSH1 0x00
00000d2a: KECCAK256
00000d2b: SLOAD
00000d2c: DUP10
00000d2d: PUSH2 0x24b4
00000d30: JUMP
00000d31: JUMPDEST
00000d32: PUSH1 0x0d
00000d34: PUSH1 0x00
00000d36: DUP15
00000d37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d4c: AND
00000d4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d62: AND
00000d63: DUP2
00000d64: MSTORE
00000d65: PUSH1 0x20
00000d67: ADD
00000d68: SWAP1
00000d69: DUP2
00000d6a: MSTORE
00000d6b: PUSH1 0x20
00000d6d: ADD
00000d6e: PUSH1 0x00
00000d70: KECCAK256
00000d71: DUP2
00000d72: SWAP1
00000d73: SSTORE
00000d74: POP
00000d75: PUSH2 0x0e4a
00000d78: JUMP
00000d79: JUMPDEST
00000d7a: PUSH2 0x0de4
00000d7d: PUSH1 0x0d
00000d7f: PUSH1 0x00
00000d81: PUSH1 0x0b
00000d83: PUSH1 0x00
00000d85: SWAP1
00000d86: SLOAD
00000d87: SWAP1
00000d88: PUSH2 0x0100
00000d8b: EXP
00000d8c: SWAP1
00000d8d: DIV
00000d8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da3: AND
00000da4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000db9: AND
00000dba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dcf: AND
00000dd0: DUP2
00000dd1: MSTORE
00000dd2: PUSH1 0x20
00000dd4: ADD
00000dd5: SWAP1
00000dd6: DUP2
00000dd7: MSTORE
00000dd8: PUSH1 0x20
00000dda: ADD
00000ddb: PUSH1 0x00
00000ddd: KECCAK256
00000dde: SLOAD
00000ddf: DUP10
00000de0: PUSH2 0x24b4
00000de3: JUMP
00000de4: JUMPDEST
00000de5: PUSH1 0x0d
00000de7: PUSH1 0x00
00000de9: PUSH1 0x0b
00000deb: PUSH1 0x00
00000ded: SWAP1
00000dee: SLOAD
00000def: SWAP1
00000df0: PUSH2 0x0100
00000df3: EXP
00000df4: SWAP1
00000df5: DIV
00000df6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e0b: AND
00000e0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e21: AND
00000e22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e37: AND
00000e38: DUP2
00000e39: MSTORE
00000e3a: PUSH1 0x20
00000e3c: ADD
00000e3d: SWAP1
00000e3e: DUP2
00000e3f: MSTORE
00000e40: PUSH1 0x20
00000e42: ADD
00000e43: PUSH1 0x00
00000e45: KECCAK256
00000e46: DUP2
00000e47: SWAP1
00000e48: SSTORE
00000e49: POP
00000e4a: JUMPDEST
00000e4b: PUSH1 0x00
00000e4d: PUSH1 0x03
00000e4f: SLOAD
00000e50: GT
00000e51: ISZERO
00000e52: PUSH2 0x0eb5
00000e55: JUMPI
00000e56: PUSH2 0x0e61
00000e59: PUSH1 0x03
00000e5b: SLOAD
00000e5c: DUP6
00000e5d: PUSH2 0x24b4
00000e60: JUMP
00000e61: JUMPDEST
00000e62: PUSH1 0x03
00000e64: DUP2
00000e65: SWAP1
00000e66: SSTORE
00000e67: POP
00000e68: PUSH1 0x03
00000e6a: SLOAD
00000e6b: PUSH9 0x010000000000000000
00000e75: DUP9
00000e76: MUL
00000e77: DUP2
00000e78: ISZERO
00000e79: ISZERO
00000e7a: PUSH2 0x0e7f
00000e7d: JUMPI
00000e7e: INVALID
00000e7f: JUMPDEST
00000e80: DIV
00000e81: PUSH1 0x05
00000e83: PUSH1 0x00
00000e85: DUP3
00000e86: DUP3
00000e87: SLOAD
00000e88: ADD
00000e89: SWAP3
00000e8a: POP
00000e8b: POP
00000e8c: DUP2
00000e8d: SWAP1
00000e8e: SSTORE
00000e8f: POP
00000e90: PUSH1 0x03
00000e92: SLOAD
00000e93: PUSH9 0x010000000000000000
00000e9d: DUP9
00000e9e: MUL
00000e9f: DUP2
00000ea0: ISZERO
00000ea1: ISZERO
00000ea2: PUSH2 0x0ea7
00000ea5: JUMPI
00000ea6: INVALID
00000ea7: JUMPDEST
00000ea8: DIV
00000ea9: DUP5
00000eaa: MUL
00000eab: DUP4
00000eac: SUB
00000ead: DUP4
00000eae: SUB
00000eaf: SWAP3
00000eb0: POP
00000eb1: PUSH2 0x0ebd
00000eb4: JUMP
00000eb5: JUMPDEST
00000eb6: DUP4
00000eb7: PUSH1 0x03
00000eb9: DUP2
00000eba: SWAP1
00000ebb: SSTORE
00000ebc: POP
00000ebd: JUMPDEST
00000ebe: PUSH2 0x0f06
00000ec1: PUSH1 0x0c
00000ec3: PUSH1 0x00
00000ec5: DUP13
00000ec6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000edb: AND
00000edc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef1: AND
00000ef2: DUP2
00000ef3: MSTORE
00000ef4: PUSH1 0x20
00000ef6: ADD
00000ef7: SWAP1
00000ef8: DUP2
00000ef9: MSTORE
00000efa: PUSH1 0x20
00000efc: ADD
00000efd: PUSH1 0x00
00000eff: KECCAK256
00000f00: SLOAD
00000f01: DUP6
00000f02: PUSH2 0x24b4
00000f05: JUMP
00000f06: JUMPDEST
00000f07: PUSH1 0x0c
00000f09: PUSH1 0x00
00000f0b: DUP13
00000f0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f21: AND
00000f22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f37: AND
00000f38: DUP2
00000f39: MSTORE
00000f3a: PUSH1 0x20
00000f3c: ADD
00000f3d: SWAP1
00000f3e: DUP2
00000f3f: MSTORE
00000f40: PUSH1 0x20
00000f42: ADD
00000f43: PUSH1 0x00
00000f45: KECCAK256
00000f46: DUP2
00000f47: SWAP1
00000f48: SSTORE
00000f49: POP
00000f4a: DUP3
00000f4b: DUP5
00000f4c: PUSH1 0x05
00000f4e: SLOAD
00000f4f: MUL
00000f50: SUB
00000f51: SWAP2
00000f52: POP
00000f53: DUP2
00000f54: PUSH1 0x0e
00000f56: PUSH1 0x00
00000f58: DUP13
00000f59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f6e: AND
00000f6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f84: AND
00000f85: DUP2
00000f86: MSTORE
00000f87: PUSH1 0x20
00000f89: ADD
00000f8a: SWAP1
00000f8b: DUP2
00000f8c: MSTORE
00000f8d: PUSH1 0x20
00000f8f: ADD
00000f90: PUSH1 0x00
00000f92: KECCAK256
00000f93: PUSH1 0x00
00000f95: DUP3
00000f96: DUP3
00000f97: SLOAD
00000f98: ADD
00000f99: SWAP3
00000f9a: POP
00000f9b: POP
00000f9c: DUP2
00000f9d: SWAP1
00000f9e: SSTORE
00000f9f: POP
00000fa0: DUP12
00000fa1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fb6: AND
00000fb7: DUP11
00000fb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fcd: AND
00000fce: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
00000fef: DUP16
00000ff0: DUP8
00000ff1: PUSH1 0x40
00000ff3: MLOAD
00000ff4: DUP1
00000ff5: DUP4
00000ff6: DUP2
00000ff7: MSTORE
00000ff8: PUSH1 0x20
00000ffa: ADD
00000ffb: DUP3
00000ffc: DUP2
00000ffd: MSTORE
00000ffe: PUSH1 0x20
00001000: ADD
00001001: SWAP3
00001002: POP
00001003: POP
00001004: POP
00001005: PUSH1 0x40
00001007: MLOAD
00001008: DUP1
00001009: SWAP2
0000100a: SUB
0000100b: SWAP1
0000100c: LOG3
0000100d: DUP4
0000100e: SWAP11
0000100f: POP
00001010: POP
00001011: POP
00001012: POP
00001013: POP
00001014: POP
00001015: POP
00001016: POP
00001017: POP
00001018: POP
00001019: POP
0000101a: SWAP3
0000101b: SWAP2
0000101c: POP
0000101d: POP
0000101e: JUMP
0000101f: JUMPDEST
00001020: PUSH1 0x00
00001022: PUSH9 0x010000000000000000
0000102c: PUSH1 0x0e
0000102e: PUSH1 0x00
00001030: DUP5
00001031: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001046: AND
00001047: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000105c: AND
0000105d: DUP2
0000105e: MSTORE
0000105f: PUSH1 0x20
00001061: ADD
00001062: SWAP1
00001063: DUP2
00001064: MSTORE
00001065: PUSH1 0x20
00001067: ADD
00001068: PUSH1 0x00
0000106a: KECCAK256
0000106b: SLOAD
0000106c: PUSH1 0x0c
0000106e: PUSH1 0x00
00001070: DUP6
00001071: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001086: AND
00001087: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000109c: AND
0000109d: DUP2
0000109e: MSTORE
0000109f: PUSH1 0x20
000010a1: ADD
000010a2: SWAP1
000010a3: DUP2
000010a4: MSTORE
000010a5: PUSH1 0x20
000010a7: ADD
000010a8: PUSH1 0x00
000010aa: KECCAK256
000010ab: SLOAD
000010ac: PUSH1 0x05
000010ae: SLOAD
000010af: MUL
000010b0: SUB
000010b1: DUP2
000010b2: ISZERO
000010b3: ISZERO
000010b4: PUSH2 0x10b9
000010b7: JUMPI
000010b8: INVALID
000010b9: JUMPDEST
000010ba: DIV
000010bb: SWAP1
000010bc: POP
000010bd: SWAP2
000010be: SWAP1
000010bf: POP
000010c0: JUMP
000010c1: JUMPDEST
000010c2: PUSH1 0x10
000010c4: PUSH1 0x20
000010c6: MSTORE
000010c7: DUP1
000010c8: PUSH1 0x00
000010ca: MSTORE
000010cb: PUSH1 0x40
000010cd: PUSH1 0x00
000010cf: KECCAK256
000010d0: PUSH1 0x00
000010d2: SWAP2
000010d3: POP
000010d4: SLOAD
000010d5: SWAP1
000010d6: PUSH2 0x0100
000010d9: EXP
000010da: SWAP1
000010db: DIV
000010dc: PUSH1 0xff
000010de: AND
000010df: DUP2
000010e0: JUMP
000010e1: JUMPDEST
000010e2: PUSH1 0x00
000010e4: DUP1
000010e5: SLOAD
000010e6: PUSH1 0x01
000010e8: DUP2
000010e9: PUSH1 0x01
000010eb: AND
000010ec: ISZERO
000010ed: PUSH2 0x0100
000010f0: MUL
000010f1: SUB
000010f2: AND
000010f3: PUSH1 0x02
000010f5: SWAP1
000010f6: DIV
000010f7: DUP1
000010f8: PUSH1 0x1f
000010fa: ADD
000010fb: PUSH1 0x20
000010fd: DUP1
000010fe: SWAP2
000010ff: DIV
00001100: MUL
00001101: PUSH1 0x20
00001103: ADD
00001104: PUSH1 0x40
00001106: MLOAD
00001107: SWAP1
00001108: DUP2
00001109: ADD
0000110a: PUSH1 0x40
0000110c: MSTORE
0000110d: DUP1
0000110e: SWAP3
0000110f: SWAP2
00001110: SWAP1
00001111: DUP2
00001112: DUP2
00001113: MSTORE
00001114: PUSH1 0x20
00001116: ADD
00001117: DUP3
00001118: DUP1
00001119: SLOAD
0000111a: PUSH1 0x01
0000111c: DUP2
0000111d: PUSH1 0x01
0000111f: AND
00001120: ISZERO
00001121: PUSH2 0x0100
00001124: MUL
00001125: SUB
00001126: AND
00001127: PUSH1 0x02
00001129: SWAP1
0000112a: DIV
0000112b: DUP1
0000112c: ISZERO
0000112d: PUSH2 0x1177
00001130: JUMPI
00001131: DUP1
00001132: PUSH1 0x1f
00001134: LT
00001135: PUSH2 0x114c
00001138: JUMPI
00001139: PUSH2 0x0100
0000113c: DUP1
0000113d: DUP4
0000113e: SLOAD
0000113f: DIV
00001140: MUL
00001141: DUP4
00001142: MSTORE
00001143: SWAP2
00001144: PUSH1 0x20
00001146: ADD
00001147: SWAP2
00001148: PUSH2 0x1177
0000114b: JUMP
0000114c: JUMPDEST
0000114d: DUP3
0000114e: ADD
0000114f: SWAP2
00001150: SWAP1
00001151: PUSH1 0x00
00001153: MSTORE
00001154: PUSH1 0x20
00001156: PUSH1 0x00
00001158: KECCAK256
00001159: SWAP1
0000115a: JUMPDEST
0000115b: DUP2
0000115c: SLOAD
0000115d: DUP2
0000115e: MSTORE
0000115f: SWAP1
00001160: PUSH1 0x01
00001162: ADD
00001163: SWAP1
00001164: PUSH1 0x20
00001166: ADD
00001167: DUP1
00001168: DUP4
00001169: GT
0000116a: PUSH2 0x115a
0000116d: JUMPI
0000116e: DUP3
0000116f: SWAP1
00001170: SUB
00001171: PUSH1 0x1f
00001173: AND
00001174: DUP3
00001175: ADD
00001176: SWAP2
00001177: JUMPDEST
00001178: POP
00001179: POP
0000117a: POP
0000117b: POP
0000117c: POP
0000117d: DUP2
0000117e: JUMP
0000117f: JUMPDEST
00001180: PUSH1 0x07
00001182: SLOAD
00001183: DUP2
00001184: JUMP
00001185: JUMPDEST
00001186: PUSH1 0x00
00001188: DUP1
00001189: PUSH1 0x00
0000118b: DUP1
0000118c: PUSH2 0x11a3
0000118f: PUSH2 0x119c
00001192: DUP7
00001193: PUSH1 0x1e
00001195: PUSH1 0xff
00001197: AND
00001198: PUSH2 0x245e
0000119b: JUMP
0000119c: JUMPDEST
0000119d: PUSH1 0x64
0000119f: PUSH2 0x2499
000011a2: JUMP
000011a3: JUMPDEST
000011a4: SWAP3
000011a5: POP
000011a6: PUSH2 0x11af
000011a9: DUP6
000011aa: DUP5
000011ab: PUSH2 0x2445
000011ae: JUMP
000011af: JUMPDEST
000011b0: SWAP2
000011b1: POP
000011b2: PUSH2 0x11ba
000011b5: DUP3
000011b6: PUSH2 0x24d2
000011b9: JUMP
000011ba: JUMPDEST
000011bb: SWAP1
000011bc: POP
000011bd: DUP1
000011be: SWAP4
000011bf: POP
000011c0: POP
000011c1: POP
000011c2: POP
000011c3: SWAP2
000011c4: SWAP1
000011c5: POP
000011c6: JUMP
000011c7: JUMPDEST
000011c8: PUSH1 0x00
000011ca: PUSH1 0x03
000011cc: SLOAD
000011cd: SWAP1
000011ce: POP
000011cf: SWAP1
000011d0: JUMP
000011d1: JUMPDEST
000011d2: PUSH1 0x00
000011d4: DUP1
000011d5: PUSH1 0x00
000011d7: DUP1
000011d8: PUSH1 0x00
000011da: PUSH1 0x11
000011dc: PUSH1 0x00
000011de: CALLER
000011df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011f4: AND
000011f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000120a: AND
0000120b: DUP2
0000120c: MSTORE
0000120d: PUSH1 0x20
0000120f: ADD
00001210: SWAP1
00001211: DUP2
00001212: MSTORE
00001213: PUSH1 0x20
00001215: ADD
00001216: PUSH1 0x00
00001218: KECCAK256
00001219: SLOAD
0000121a: PUSH1 0x12
0000121c: PUSH1 0x00
0000121e: CALLER
0000121f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001234: AND
00001235: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000124a: AND
0000124b: DUP2
0000124c: MSTORE
0000124d: PUSH1 0x20
0000124f: ADD
00001250: SWAP1
00001251: DUP2
00001252: MSTORE
00001253: PUSH1 0x20
00001255: ADD
00001256: PUSH1 0x00
00001258: KECCAK256
00001259: SLOAD
0000125a: PUSH2 0x1262
0000125d: CALLER
0000125e: PUSH2 0x1674
00001261: JUMP
00001262: JUMPDEST
00001263: PUSH2 0x126c
00001266: PUSH1 0x01
00001268: PUSH2 0x15e9
0000126b: JUMP
0000126c: JUMPDEST
0000126d: PUSH2 0x1276
00001270: PUSH1 0x00
00001272: PUSH2 0x15e9
00001275: JUMP
00001276: JUMPDEST
00001277: SWAP5
00001278: POP
00001279: SWAP5
0000127a: POP
0000127b: SWAP5
0000127c: POP
0000127d: SWAP5
0000127e: POP
0000127f: SWAP5
00001280: POP
00001281: SWAP1
00001282: SWAP2
00001283: SWAP3
00001284: SWAP4
00001285: SWAP5
00001286: JUMP
00001287: JUMPDEST
00001288: PUSH1 0x00
0000128a: DUP1
0000128b: PUSH1 0x00
0000128d: DUP1
0000128e: PUSH1 0x03
00001290: SLOAD
00001291: DUP6
00001292: GT
00001293: ISZERO
00001294: ISZERO
00001295: ISZERO
00001296: PUSH2 0x129e
00001299: JUMPI
0000129a: PUSH1 0x00
0000129c: DUP1
0000129d: REVERT
0000129e: JUMPDEST
0000129f: PUSH2 0x12a7
000012a2: DUP6
000012a3: PUSH2 0x255f
000012a6: JUMP
000012a7: JUMPDEST
000012a8: SWAP3
000012a9: POP
000012aa: PUSH2 0x12c1
000012ad: PUSH2 0x12ba
000012b0: DUP5
000012b1: PUSH1 0x0f
000012b3: PUSH1 0xff
000012b5: AND
000012b6: PUSH2 0x245e
000012b9: JUMP
000012ba: JUMPDEST
000012bb: PUSH1 0x64
000012bd: PUSH2 0x2499
000012c0: JUMP
000012c1: JUMPDEST
000012c2: SWAP2
000012c3: POP
000012c4: PUSH2 0x12cd
000012c7: DUP4
000012c8: DUP4
000012c9: PUSH2 0x2445
000012cc: JUMP
000012cd: JUMPDEST
000012ce: SWAP1
000012cf: POP
000012d0: DUP1
000012d1: SWAP4
000012d2: POP
000012d3: POP
000012d4: POP
000012d5: POP
000012d6: SWAP2
000012d7: SWAP1
000012d8: POP
000012d9: JUMP
000012da: JUMPDEST
000012db: PUSH1 0x12
000012dd: DUP2
000012de: JUMP
000012df: JUMPDEST
000012e0: PUSH1 0x00
000012e2: PUSH1 0x0b
000012e4: PUSH1 0x00
000012e6: SWAP1
000012e7: SLOAD
000012e8: SWAP1
000012e9: PUSH2 0x0100
000012ec: EXP
000012ed: SWAP1
000012ee: DIV
000012ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001304: AND
00001305: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000131a: AND
0000131b: CALLER
0000131c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001331: AND
00001332: EQ
00001333: ISZERO
00001334: ISZERO
00001335: PUSH2 0x133d
00001338: JUMPI
00001339: PUSH1 0x00
0000133b: DUP1
0000133c: REVERT
0000133d: JUMPDEST
0000133e: PUSH1 0x02
00001340: SLOAD
00001341: SWAP1
00001342: POP
00001343: SWAP1
00001344: JUMP
00001345: JUMPDEST
00001346: PUSH1 0x00
00001348: DUP1
00001349: PUSH1 0x00
0000134b: PUSH2 0x1354
0000134e: PUSH1 0x01
00001350: PUSH2 0x15e9
00001353: JUMP
00001354: JUMPDEST
00001355: GT
00001356: ISZERO
00001357: ISZERO
00001358: PUSH2 0x1360
0000135b: JUMPI
0000135c: PUSH1 0x00
0000135e: DUP1
0000135f: REVERT
00001360: JUMPDEST
00001361: CALLER
00001362: SWAP2
00001363: POP
00001364: PUSH2 0x136d
00001367: PUSH1 0x00
00001369: PUSH2 0x15e9
0000136c: JUMP
0000136d: JUMPDEST
0000136e: SWAP1
0000136f: POP
00001370: PUSH9 0x010000000000000000
0000137a: DUP2
0000137b: MUL
0000137c: PUSH1 0x0e
0000137e: PUSH1 0x00
00001380: DUP5
00001381: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001396: AND
00001397: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013ac: AND
000013ad: DUP2
000013ae: MSTORE
000013af: PUSH1 0x20
000013b1: ADD
000013b2: SWAP1
000013b3: DUP2
000013b4: MSTORE
000013b5: PUSH1 0x20
000013b7: ADD
000013b8: PUSH1 0x00
000013ba: KECCAK256
000013bb: PUSH1 0x00
000013bd: DUP3
000013be: DUP3
000013bf: SLOAD
000013c0: ADD
000013c1: SWAP3
000013c2: POP
000013c3: POP
000013c4: DUP2
000013c5: SWAP1
000013c6: SSTORE
000013c7: POP
000013c8: PUSH1 0x0d
000013ca: PUSH1 0x00
000013cc: DUP4
000013cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013e2: AND
000013e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013f8: AND
000013f9: DUP2
000013fa: MSTORE
000013fb: PUSH1 0x20
000013fd: ADD
000013fe: SWAP1
000013ff: DUP2
00001400: MSTORE
00001401: PUSH1 0x20
00001403: ADD
00001404: PUSH1 0x00
00001406: KECCAK256
00001407: SLOAD
00001408: DUP2
00001409: ADD
0000140a: SWAP1
0000140b: POP
0000140c: PUSH1 0x00
0000140e: PUSH1 0x0d
00001410: PUSH1 0x00
00001412: DUP5
00001413: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001428: AND
00001429: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000143e: AND
0000143f: DUP2
00001440: MSTORE
00001441: PUSH1 0x20
00001443: ADD
00001444: SWAP1
00001445: DUP2
00001446: MSTORE
00001447: PUSH1 0x20
00001449: ADD
0000144a: PUSH1 0x00
0000144c: KECCAK256
0000144d: DUP2
0000144e: SWAP1
0000144f: SSTORE
00001450: POP
00001451: PUSH2 0x1499
00001454: PUSH1 0x12
00001456: PUSH1 0x00
00001458: DUP5
00001459: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000146e: AND
0000146f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001484: AND
00001485: DUP2
00001486: MSTORE
00001487: PUSH1 0x20
00001489: ADD
0000148a: SWAP1
0000148b: DUP2
0000148c: MSTORE
0000148d: PUSH1 0x20
0000148f: ADD
00001490: PUSH1 0x00
00001492: KECCAK256
00001493: SLOAD
00001494: DUP3
00001495: PUSH2 0x24b4
00001498: JUMP
00001499: JUMPDEST
0000149a: PUSH1 0x12
0000149c: PUSH1 0x00
0000149e: DUP5
0000149f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014b4: AND
000014b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014ca: AND
000014cb: DUP2
000014cc: MSTORE
000014cd: PUSH1 0x20
000014cf: ADD
000014d0: SWAP1
000014d1: DUP2
000014d2: MSTORE
000014d3: PUSH1 0x20
000014d5: ADD
000014d6: PUSH1 0x00
000014d8: KECCAK256
000014d9: DUP2
000014da: SWAP1
000014db: SSTORE
000014dc: POP
000014dd: DUP2
000014de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014f3: AND
000014f4: PUSH2 0x08fc
000014f7: DUP3
000014f8: SWAP1
000014f9: DUP2
000014fa: ISZERO
000014fb: MUL
000014fc: SWAP1
000014fd: PUSH1 0x40
000014ff: MLOAD
00001500: PUSH1 0x00
00001502: PUSH1 0x40
00001504: MLOAD
00001505: DUP1
00001506: DUP4
00001507: SUB
00001508: DUP2
00001509: DUP6
0000150a: DUP9
0000150b: DUP9
0000150c: CALL
0000150d: SWAP4
0000150e: POP
0000150f: POP
00001510: POP
00001511: POP
00001512: ISZERO
00001513: DUP1
00001514: ISZERO
00001515: PUSH2 0x1522
00001518: JUMPI
00001519: RETURNDATASIZE
0000151a: PUSH1 0x00
0000151c: DUP1
0000151d: RETURNDATACOPY
0000151e: RETURNDATASIZE
0000151f: PUSH1 0x00
00001521: REVERT
00001522: JUMPDEST
00001523: POP
00001524: DUP2
00001525: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000153a: AND
0000153b: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc
0000155c: DUP3
0000155d: PUSH1 0x40
0000155f: MLOAD
00001560: DUP1
00001561: DUP3
00001562: DUP2
00001563: MSTORE
00001564: PUSH1 0x20
00001566: ADD
00001567: SWAP2
00001568: POP
00001569: POP
0000156a: PUSH1 0x40
0000156c: MLOAD
0000156d: DUP1
0000156e: SWAP2
0000156f: SUB
00001570: SWAP1
00001571: LOG2
00001572: POP
00001573: POP
00001574: JUMP
00001575: JUMPDEST
00001576: PUSH1 0x00
00001578: DUP1
00001579: PUSH1 0x00
0000157b: DUP1
0000157c: PUSH1 0x00
0000157e: PUSH1 0x03
00001580: SLOAD
00001581: EQ
00001582: ISZERO
00001583: PUSH2 0x159a
00001586: JUMPI
00001587: PUSH5 0x02540be400
0000158d: PUSH5 0x174876e800
00001593: SUB
00001594: SWAP4
00001595: POP
00001596: PUSH2 0x15d7
00001599: JUMP
0000159a: JUMPDEST
0000159b: PUSH2 0x15ab
0000159e: PUSH8 0x0de0b6b3a7640000
000015a7: PUSH2 0x255f
000015aa: JUMP
000015ab: JUMPDEST
000015ac: SWAP3
000015ad: POP
000015ae: PUSH2 0x15c5
000015b1: PUSH2 0x15be
000015b4: DUP5
000015b5: PUSH1 0x0f
000015b7: PUSH1 0xff
000015b9: AND
000015ba: PUSH2 0x245e
000015bd: JUMP
000015be: JUMPDEST
000015bf: PUSH1 0x64
000015c1: PUSH2 0x2499
000015c4: JUMP
000015c5: JUMPDEST
000015c6: SWAP2
000015c7: POP
000015c8: PUSH2 0x15d1
000015cb: DUP4
000015cc: DUP4
000015cd: PUSH2 0x2445
000015d0: JUMP
000015d1: JUMPDEST
000015d2: SWAP1
000015d3: POP
000015d4: DUP1
000015d5: SWAP4
000015d6: POP
000015d7: JUMPDEST
000015d8: POP
000015d9: POP
000015da: POP
000015db: SWAP1
000015dc: JUMP
000015dd: JUMPDEST
000015de: PUSH1 0x08
000015e0: SLOAD
000015e1: DUP2
000015e2: JUMP
000015e3: JUMPDEST
000015e4: PUSH1 0x06
000015e6: SLOAD
000015e7: DUP2
000015e8: JUMP
000015e9: JUMPDEST
000015ea: PUSH1 0x00
000015ec: DUP1
000015ed: CALLER
000015ee: SWAP1
000015ef: POP
000015f0: DUP3
000015f1: PUSH2 0x1602
000015f4: JUMPI
000015f5: PUSH2 0x15fd
000015f8: DUP2
000015f9: PUSH2 0x101f
000015fc: JUMP
000015fd: JUMPDEST
000015fe: PUSH2 0x164d
00001601: JUMP
00001602: JUMPDEST
00001603: PUSH1 0x0d
00001605: PUSH1 0x00
00001607: DUP3
00001608: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000161d: AND
0000161e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001633: AND
00001634: DUP2
00001635: MSTORE
00001636: PUSH1 0x20
00001638: ADD
00001639: SWAP1
0000163a: DUP2
0000163b: MSTORE
0000163c: PUSH1 0x20
0000163e: ADD
0000163f: PUSH1 0x00
00001641: KECCAK256
00001642: SLOAD
00001643: PUSH2 0x164b
00001646: DUP3
00001647: PUSH2 0x101f
0000164a: JUMP
0000164b: JUMPDEST
0000164c: ADD
0000164d: JUMPDEST
0000164e: SWAP2
0000164f: POP
00001650: POP
00001651: SWAP2
00001652: SWAP1
00001653: POP
00001654: JUMP
00001655: JUMPDEST
00001656: PUSH1 0x00
00001658: ADDRESS
00001659: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000166e: AND
0000166f: BALANCE
00001670: SWAP1
00001671: POP
00001672: SWAP1
00001673: JUMP
00001674: JUMPDEST
00001675: PUSH1 0x00
00001677: PUSH1 0x0c
00001679: PUSH1 0x00
0000167b: DUP4
0000167c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001691: AND
00001692: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016a7: AND
000016a8: DUP2
000016a9: MSTORE
000016aa: PUSH1 0x20
000016ac: ADD
000016ad: SWAP1
000016ae: DUP2
000016af: MSTORE
000016b0: PUSH1 0x20
000016b2: ADD
000016b3: PUSH1 0x00
000016b5: KECCAK256
000016b6: SLOAD
000016b7: SWAP1
000016b8: POP
000016b9: SWAP2
000016ba: SWAP1
000016bb: POP
000016bc: JUMP
000016bd: JUMPDEST
000016be: PUSH1 0x0a
000016c0: SLOAD
000016c1: DUP2
000016c2: JUMP
000016c3: JUMPDEST
000016c4: PUSH1 0x0b
000016c6: PUSH1 0x00
000016c8: SWAP1
000016c9: SLOAD
000016ca: SWAP1
000016cb: PUSH2 0x0100
000016ce: EXP
000016cf: SWAP1
000016d0: DIV
000016d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016e6: AND
000016e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016fc: AND
000016fd: CALLER
000016fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001713: AND
00001714: EQ
00001715: ISZERO
00001716: ISZERO
00001717: PUSH2 0x171f
0000171a: JUMPI
0000171b: PUSH1 0x00
0000171d: DUP1
0000171e: REVERT
0000171f: JUMPDEST
00001720: DUP1
00001721: PUSH1 0x06
00001723: DUP2
00001724: SWAP1
00001725: SSTORE
00001726: POP
00001727: POP
00001728: JUMP
00001729: JUMPDEST
0000172a: PUSH1 0x11
0000172c: PUSH1 0x20
0000172e: MSTORE
0000172f: DUP1
00001730: PUSH1 0x00
00001732: MSTORE
00001733: PUSH1 0x40
00001735: PUSH1 0x00
00001737: KECCAK256
00001738: PUSH1 0x00
0000173a: SWAP2
0000173b: POP
0000173c: SWAP1
0000173d: POP
0000173e: SLOAD
0000173f: DUP2
00001740: JUMP
00001741: JUMPDEST
00001742: PUSH1 0x00
00001744: DUP1
00001745: PUSH1 0x00
00001747: DUP1
00001748: PUSH1 0x00
0000174a: PUSH1 0x03
0000174c: SLOAD
0000174d: EQ
0000174e: ISZERO
0000174f: PUSH2 0x1766
00001752: JUMPI
00001753: PUSH5 0x02540be400
00001759: PUSH5 0x174876e800
0000175f: ADD
00001760: SWAP4
00001761: POP
00001762: PUSH2 0x17a3
00001765: JUMP
00001766: JUMPDEST
00001767: PUSH2 0x1777
0000176a: PUSH8 0x0de0b6b3a7640000
00001773: PUSH2 0x255f
00001776: JUMP
00001777: JUMPDEST
00001778: SWAP3
00001779: POP
0000177a: PUSH2 0x1791
0000177d: PUSH2 0x178a
00001780: DUP5
00001781: PUSH1 0x1e
00001783: PUSH1 0xff
00001785: AND
00001786: PUSH2 0x245e
00001789: JUMP
0000178a: JUMPDEST
0000178b: PUSH1 0x64
0000178d: PUSH2 0x2499
00001790: JUMP
00001791: JUMPDEST
00001792: SWAP2
00001793: POP
00001794: PUSH2 0x179d
00001797: DUP4
00001798: DUP4
00001799: PUSH2 0x24b4
0000179c: JUMP
0000179d: JUMPDEST
0000179e: SWAP1
0000179f: POP
000017a0: DUP1
000017a1: SWAP4
000017a2: POP
000017a3: JUMPDEST
000017a4: POP
000017a5: POP
000017a6: POP
000017a7: SWAP1
000017a8: JUMP
000017a9: JUMPDEST
000017aa: PUSH1 0x00
000017ac: PUSH1 0x0b
000017ae: PUSH1 0x00
000017b0: SWAP1
000017b1: SLOAD
000017b2: SWAP1
000017b3: PUSH2 0x0100
000017b6: EXP
000017b7: SWAP1
000017b8: DIV
000017b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017ce: AND
000017cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017e4: AND
000017e5: CALLER
000017e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017fb: AND
000017fc: EQ
000017fd: SWAP1
000017fe: POP
000017ff: SWAP1
00001800: JUMP
00001801: JUMPDEST
00001802: PUSH1 0x00
00001804: DUP1
00001805: CALLER
00001806: SWAP1
00001807: POP
00001808: PUSH2 0x1810
0000180b: DUP2
0000180c: PUSH2 0x1674
0000180f: JUMP
00001810: JUMPDEST
00001811: SWAP2
00001812: POP
00001813: POP
00001814: SWAP1
00001815: JUMP
00001816: JUMPDEST
00001817: PUSH1 0x01
00001819: DUP1
0000181a: SLOAD
0000181b: PUSH1 0x01
0000181d: DUP2
0000181e: PUSH1 0x01
00001820: AND
00001821: ISZERO
00001822: PUSH2 0x0100
00001825: MUL
00001826: SUB
00001827: AND
00001828: PUSH1 0x02
0000182a: SWAP1
0000182b: DIV
0000182c: DUP1
0000182d: PUSH1 0x1f
0000182f: ADD
00001830: PUSH1 0x20
00001832: DUP1
00001833: SWAP2
00001834: DIV
00001835: MUL
00001836: PUSH1 0x20
00001838: ADD
00001839: PUSH1 0x40
0000183b: MLOAD
0000183c: SWAP1
0000183d: DUP2
0000183e: ADD
0000183f: PUSH1 0x40
00001841: MSTORE
00001842: DUP1
00001843: SWAP3
00001844: SWAP2
00001845: SWAP1
00001846: DUP2
00001847: DUP2
00001848: MSTORE
00001849: PUSH1 0x20
0000184b: ADD
0000184c: DUP3
0000184d: DUP1
0000184e: SLOAD
0000184f: PUSH1 0x01
00001851: DUP2
00001852: PUSH1 0x01
00001854: AND
00001855: ISZERO
00001856: PUSH2 0x0100
00001859: MUL
0000185a: SUB
0000185b: AND
0000185c: PUSH1 0x02
0000185e: SWAP1
0000185f: DIV
00001860: DUP1
00001861: ISZERO
00001862: PUSH2 0x18ac
00001865: JUMPI
00001866: DUP1
00001867: PUSH1 0x1f
00001869: LT
0000186a: PUSH2 0x1881
0000186d: JUMPI
0000186e: PUSH2 0x0100
00001871: DUP1
00001872: DUP4
00001873: SLOAD
00001874: DIV
00001875: MUL
00001876: DUP4
00001877: MSTORE
00001878: SWAP2
00001879: PUSH1 0x20
0000187b: ADD
0000187c: SWAP2
0000187d: PUSH2 0x18ac
00001880: JUMP
00001881: JUMPDEST
00001882: DUP3
00001883: ADD
00001884: SWAP2
00001885: SWAP1
00001886: PUSH1 0x00
00001888: MSTORE
00001889: PUSH1 0x20
0000188b: PUSH1 0x00
0000188d: KECCAK256
0000188e: SWAP1
0000188f: JUMPDEST
00001890: DUP2
00001891: SLOAD
00001892: DUP2
00001893: MSTORE
00001894: SWAP1
00001895: PUSH1 0x01
00001897: ADD
00001898: SWAP1
00001899: PUSH1 0x20
0000189b: ADD
0000189c: DUP1
0000189d: DUP4
0000189e: GT
0000189f: PUSH2 0x188f
000018a2: JUMPI
000018a3: DUP3
000018a4: SWAP1
000018a5: SUB
000018a6: PUSH1 0x1f
000018a8: AND
000018a9: DUP3
000018aa: ADD
000018ab: SWAP2
000018ac: JUMPDEST
000018ad: POP
000018ae: POP
000018af: POP
000018b0: POP
000018b1: POP
000018b2: DUP2
000018b3: JUMP
000018b4: JUMPDEST
000018b5: PUSH1 0x13
000018b7: PUSH1 0x00
000018b9: SWAP1
000018ba: SLOAD
000018bb: SWAP1
000018bc: PUSH2 0x0100
000018bf: EXP
000018c0: SWAP1
000018c1: DIV
000018c2: PUSH1 0xff
000018c4: AND
000018c5: DUP2
000018c6: JUMP
000018c7: JUMPDEST
000018c8: PUSH1 0x09
000018ca: SLOAD
000018cb: DUP2
000018cc: JUMP
000018cd: JUMPDEST
000018ce: PUSH1 0x00
000018d0: DUP1
000018d1: PUSH1 0x00
000018d3: DUP1
000018d4: PUSH1 0x00
000018d6: PUSH1 0x07
000018d8: SLOAD
000018d9: PUSH2 0x18e0
000018dc: PUSH2 0x11c7
000018df: JUMP
000018e0: JUMPDEST
000018e1: PUSH2 0x18e8
000018e4: PUSH2 0x1655
000018e7: JUMP
000018e8: JUMPDEST
000018e9: PUSH1 0x08
000018eb: SLOAD
000018ec: PUSH1 0x09
000018ee: SLOAD
000018ef: SWAP5
000018f0: POP
000018f1: SWAP5
000018f2: POP
000018f3: SWAP5
000018f4: POP
000018f5: SWAP5
000018f6: POP
000018f7: SWAP5
000018f8: POP
000018f9: SWAP1
000018fa: SWAP2
000018fb: SWAP3
000018fc: SWAP4
000018fd: SWAP5
000018fe: JUMP
000018ff: JUMPDEST
00001900: PUSH1 0x0b
00001902: PUSH1 0x00
00001904: SWAP1
00001905: SLOAD
00001906: SWAP1
00001907: PUSH2 0x0100
0000190a: EXP
0000190b: SWAP1
0000190c: DIV
0000190d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001922: AND
00001923: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001938: AND
00001939: CALLER
0000193a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000194f: AND
00001950: EQ
00001951: ISZERO
00001952: ISZERO
00001953: PUSH2 0x195b
00001956: JUMPI
00001957: PUSH1 0x00
00001959: DUP1
0000195a: REVERT
0000195b: JUMPDEST
0000195c: PUSH1 0x00
0000195e: PUSH1 0x13
00001960: PUSH1 0x00
00001962: PUSH2 0x0100
00001965: EXP
00001966: DUP2
00001967: SLOAD
00001968: DUP2
00001969: PUSH1 0xff
0000196b: MUL
0000196c: NOT
0000196d: AND
0000196e: SWAP1
0000196f: DUP4
00001970: ISZERO
00001971: ISZERO
00001972: MUL
00001973: OR
00001974: SWAP1
00001975: SSTORE
00001976: POP
00001977: JUMP
00001978: JUMPDEST
00001979: PUSH1 0x00
0000197b: DUP1
0000197c: PUSH1 0x00
0000197e: DUP1
0000197f: PUSH1 0x00
00001981: DUP1
00001982: PUSH2 0x1989
00001985: PUSH2 0x1801
00001988: JUMP
00001989: JUMPDEST
0000198a: GT
0000198b: ISZERO
0000198c: ISZERO
0000198d: PUSH2 0x1995
00001990: JUMPI
00001991: PUSH1 0x00
00001993: DUP1
00001994: REVERT
00001995: JUMPDEST
00001996: CALLER
00001997: SWAP4
00001998: POP
00001999: PUSH1 0x13
0000199b: PUSH1 0x00
0000199d: SWAP1
0000199e: SLOAD
0000199f: SWAP1
000019a0: PUSH2 0x0100
000019a3: EXP
000019a4: SWAP1
000019a5: DIV
000019a6: PUSH1 0xff
000019a8: AND
000019a9: ISZERO
000019aa: DUP1
000019ab: ISZERO
000019ac: PUSH2 0x19f4
000019af: JUMPI
000019b0: POP
000019b1: PUSH1 0x0c
000019b3: PUSH1 0x00
000019b5: DUP6
000019b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019cb: AND
000019cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019e1: AND
000019e2: DUP2
000019e3: MSTORE
000019e4: PUSH1 0x20
000019e6: ADD
000019e7: SWAP1
000019e8: DUP2
000019e9: MSTORE
000019ea: PUSH1 0x20
000019ec: ADD
000019ed: PUSH1 0x00
000019ef: KECCAK256
000019f0: SLOAD
000019f1: DUP7
000019f2: GT
000019f3: ISZERO
000019f4: JUMPDEST
000019f5: ISZERO
000019f6: ISZERO
000019f7: PUSH2 0x19ff
000019fa: JUMPI
000019fb: PUSH1 0x00
000019fd: DUP1
000019fe: REVERT
000019ff: JUMPDEST
00001a00: PUSH1 0x00
00001a02: PUSH2 0x1a0b
00001a05: PUSH1 0x01
00001a07: PUSH2 0x15e9
00001a0a: JUMP
00001a0b: JUMPDEST
00001a0c: GT
00001a0d: ISZERO
00001a0e: PUSH2 0x1a1a
00001a11: JUMPI
00001a12: PUSH2 0x1a19
00001a15: PUSH2 0x1345
00001a18: JUMP
00001a19: JUMPDEST
00001a1a: JUMPDEST
00001a1b: PUSH2 0x1a28
00001a1e: DUP7
00001a1f: PUSH1 0x0a
00001a21: PUSH1 0xff
00001a23: AND
00001a24: PUSH2 0x2499
00001a27: JUMP
00001a28: JUMPDEST
00001a29: SWAP3
00001a2a: POP
00001a2b: PUSH2 0x1a34
00001a2e: DUP7
00001a2f: DUP5
00001a30: PUSH2 0x2445
00001a33: JUMP
00001a34: JUMPDEST
00001a35: SWAP2
00001a36: POP
00001a37: PUSH2 0x1a3f
00001a3a: DUP4
00001a3b: PUSH2 0x255f
00001a3e: JUMP
00001a3f: JUMPDEST
00001a40: SWAP1
00001a41: POP
00001a42: PUSH2 0x1a4d
00001a45: PUSH1 0x09
00001a47: SLOAD
00001a48: DUP3
00001a49: PUSH2 0x24b4
00001a4c: JUMP
00001a4d: JUMPDEST
00001a4e: PUSH1 0x09
00001a50: DUP2
00001a51: SWAP1
00001a52: SSTORE
00001a53: POP
00001a54: PUSH2 0x1a5f
00001a57: PUSH1 0x03
00001a59: SLOAD
00001a5a: DUP5
00001a5b: PUSH2 0x2445
00001a5e: JUMP
00001a5f: JUMPDEST
00001a60: PUSH1 0x03
00001a62: DUP2
00001a63: SWAP1
00001a64: SSTORE
00001a65: POP
00001a66: PUSH2 0x1aae
00001a69: PUSH1 0x0c
00001a6b: PUSH1 0x00
00001a6d: DUP7
00001a6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a83: AND
00001a84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a99: AND
00001a9a: DUP2
00001a9b: MSTORE
00001a9c: PUSH1 0x20
00001a9e: ADD
00001a9f: SWAP1
00001aa0: DUP2
00001aa1: MSTORE
00001aa2: PUSH1 0x20
00001aa4: ADD
00001aa5: PUSH1 0x00
00001aa7: KECCAK256
00001aa8: SLOAD
00001aa9: DUP8
00001aaa: PUSH2 0x2445
00001aad: JUMP
00001aae: JUMPDEST
00001aaf: PUSH1 0x0c
00001ab1: PUSH1 0x00
00001ab3: DUP7
00001ab4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ac9: AND
00001aca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001adf: AND
00001ae0: DUP2
00001ae1: MSTORE
00001ae2: PUSH1 0x20
00001ae4: ADD
00001ae5: SWAP1
00001ae6: DUP2
00001ae7: MSTORE
00001ae8: PUSH1 0x20
00001aea: ADD
00001aeb: PUSH1 0x00
00001aed: KECCAK256
00001aee: DUP2
00001aef: SWAP1
00001af0: SSTORE
00001af1: POP
00001af2: PUSH2 0x1b3a
00001af5: PUSH1 0x0c
00001af7: PUSH1 0x00
00001af9: DUP10
00001afa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b0f: AND
00001b10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b25: AND
00001b26: DUP2
00001b27: MSTORE
00001b28: PUSH1 0x20
00001b2a: ADD
00001b2b: SWAP1
00001b2c: DUP2
00001b2d: MSTORE
00001b2e: PUSH1 0x20
00001b30: ADD
00001b31: PUSH1 0x00
00001b33: KECCAK256
00001b34: SLOAD
00001b35: DUP4
00001b36: PUSH2 0x24b4
00001b39: JUMP
00001b3a: JUMPDEST
00001b3b: PUSH1 0x0c
00001b3d: PUSH1 0x00
00001b3f: DUP10
00001b40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b55: AND
00001b56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b6b: AND
00001b6c: DUP2
00001b6d: MSTORE
00001b6e: PUSH1 0x20
00001b70: ADD
00001b71: SWAP1
00001b72: DUP2
00001b73: MSTORE
00001b74: PUSH1 0x20
00001b76: ADD
00001b77: PUSH1 0x00
00001b79: KECCAK256
00001b7a: DUP2
00001b7b: SWAP1
00001b7c: SSTORE
00001b7d: POP
00001b7e: DUP6
00001b7f: PUSH1 0x05
00001b81: SLOAD
00001b82: MUL
00001b83: PUSH1 0x0e
00001b85: PUSH1 0x00
00001b87: DUP7
00001b88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b9d: AND
00001b9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bb3: AND
00001bb4: DUP2
00001bb5: MSTORE
00001bb6: PUSH1 0x20
00001bb8: ADD
00001bb9: SWAP1
00001bba: DUP2
00001bbb: MSTORE
00001bbc: PUSH1 0x20
00001bbe: ADD
00001bbf: PUSH1 0x00
00001bc1: KECCAK256
00001bc2: PUSH1 0x00
00001bc4: DUP3
00001bc5: DUP3
00001bc6: SLOAD
00001bc7: SUB
00001bc8: SWAP3
00001bc9: POP
00001bca: POP
00001bcb: DUP2
00001bcc: SWAP1
00001bcd: SSTORE
00001bce: POP
00001bcf: DUP2
00001bd0: PUSH1 0x05
00001bd2: SLOAD
00001bd3: MUL
00001bd4: PUSH1 0x0e
00001bd6: PUSH1 0x00
00001bd8: DUP10
00001bd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bee: AND
00001bef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c04: AND
00001c05: DUP2
00001c06: MSTORE
00001c07: PUSH1 0x20
00001c09: ADD
00001c0a: SWAP1
00001c0b: DUP2
00001c0c: MSTORE
00001c0d: PUSH1 0x20
00001c0f: ADD
00001c10: PUSH1 0x00
00001c12: KECCAK256
00001c13: PUSH1 0x00
00001c15: DUP3
00001c16: DUP3
00001c17: SLOAD
00001c18: ADD
00001c19: SWAP3
00001c1a: POP
00001c1b: POP
00001c1c: DUP2
00001c1d: SWAP1
00001c1e: SSTORE
00001c1f: POP
00001c20: PUSH2 0x1c43
00001c23: PUSH1 0x05
00001c25: SLOAD
00001c26: PUSH1 0x03
00001c28: SLOAD
00001c29: PUSH9 0x010000000000000000
00001c33: DUP5
00001c34: MUL
00001c35: DUP2
00001c36: ISZERO
00001c37: ISZERO
00001c38: PUSH2 0x1c3d
00001c3b: JUMPI
00001c3c: INVALID
00001c3d: JUMPDEST
00001c3e: DIV
00001c3f: PUSH2 0x24b4
00001c42: JUMP
00001c43: JUMPDEST
00001c44: PUSH1 0x05
00001c46: DUP2
00001c47: SWAP1
00001c48: SSTORE
00001c49: POP
00001c4a: DUP7
00001c4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c60: AND
00001c61: DUP5
00001c62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c77: AND
00001c78: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001c99: DUP5
00001c9a: PUSH1 0x40
00001c9c: MLOAD
00001c9d: DUP1
00001c9e: DUP3
00001c9f: DUP2
00001ca0: MSTORE
00001ca1: PUSH1 0x20
00001ca3: ADD
00001ca4: SWAP2
00001ca5: POP
00001ca6: POP
00001ca7: PUSH1 0x40
00001ca9: MLOAD
00001caa: DUP1
00001cab: SWAP2
00001cac: SUB
00001cad: SWAP1
00001cae: LOG3
00001caf: PUSH1 0x01
00001cb1: SWAP5
00001cb2: POP
00001cb3: POP
00001cb4: POP
00001cb5: POP
00001cb6: POP
00001cb7: SWAP3
00001cb8: SWAP2
00001cb9: POP
00001cba: POP
00001cbb: JUMP
00001cbc: JUMPDEST
00001cbd: PUSH1 0x12
00001cbf: PUSH1 0x20
00001cc1: MSTORE
00001cc2: DUP1
00001cc3: PUSH1 0x00
00001cc5: MSTORE
00001cc6: PUSH1 0x40
00001cc8: PUSH1 0x00
00001cca: KECCAK256
00001ccb: PUSH1 0x00
00001ccd: SWAP2
00001cce: POP
00001ccf: SWAP1
00001cd0: POP
00001cd1: SLOAD
00001cd2: DUP2
00001cd3: JUMP
00001cd4: JUMPDEST
00001cd5: PUSH1 0x00
00001cd7: PUSH1 0x0b
00001cd9: PUSH1 0x00
00001cdb: SWAP1
00001cdc: SLOAD
00001cdd: SWAP1
00001cde: PUSH2 0x0100
00001ce1: EXP
00001ce2: SWAP1
00001ce3: DIV
00001ce4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cf9: AND
00001cfa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d0f: AND
00001d10: CALLER
00001d11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d26: AND
00001d27: EQ
00001d28: ISZERO
00001d29: ISZERO
00001d2a: PUSH2 0x1d32
00001d2d: JUMPI
00001d2e: PUSH1 0x00
00001d30: DUP1
00001d31: REVERT
00001d32: JUMPDEST
00001d33: PUSH1 0x02
00001d35: SLOAD
00001d36: SWAP1
00001d37: POP
00001d38: PUSH1 0x00
00001d3a: PUSH1 0x02
00001d3c: DUP2
00001d3d: SWAP1
00001d3e: SSTORE
00001d3f: POP
00001d40: PUSH1 0x0b
00001d42: PUSH1 0x00
00001d44: SWAP1
00001d45: SLOAD
00001d46: SWAP1
00001d47: PUSH2 0x0100
00001d4a: EXP
00001d4b: SWAP1
00001d4c: DIV
00001d4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d62: AND
00001d63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d78: AND
00001d79: PUSH2 0x08fc
00001d7c: DUP3
00001d7d: SWAP1
00001d7e: DUP2
00001d7f: ISZERO
00001d80: MUL
00001d81: SWAP1
00001d82: PUSH1 0x40
00001d84: MLOAD
00001d85: PUSH1 0x00
00001d87: PUSH1 0x40
00001d89: MLOAD
00001d8a: DUP1
00001d8b: DUP4
00001d8c: SUB
00001d8d: DUP2
00001d8e: DUP6
00001d8f: DUP9
00001d90: DUP9
00001d91: CALL
00001d92: SWAP4
00001d93: POP
00001d94: POP
00001d95: POP
00001d96: POP
00001d97: ISZERO
00001d98: DUP1
00001d99: ISZERO
00001d9a: PUSH2 0x1da7
00001d9d: JUMPI
00001d9e: RETURNDATASIZE
00001d9f: PUSH1 0x00
00001da1: DUP1
00001da2: RETURNDATACOPY
00001da3: RETURNDATASIZE
00001da4: PUSH1 0x00
00001da6: REVERT
00001da7: JUMPDEST
00001da8: POP
00001da9: POP
00001daa: JUMP
00001dab: JUMPDEST
00001dac: PUSH2 0x1db8
00001daf: PUSH1 0x0a
00001db1: SLOAD
00001db2: PUSH1 0x01
00001db4: PUSH2 0x24b4
00001db7: JUMP
00001db8: JUMPDEST
00001db9: PUSH1 0x0a
00001dbb: DUP2
00001dbc: SWAP1
00001dbd: SSTORE
00001dbe: POP
00001dbf: JUMP
00001dc0: JUMPDEST
00001dc1: PUSH1 0x00
00001dc3: DUP1
00001dc4: PUSH1 0x00
00001dc6: DUP1
00001dc7: PUSH1 0x00
00001dc9: DUP1
00001dca: PUSH1 0x00
00001dcc: DUP1
00001dcd: PUSH2 0x1dd4
00001dd0: PUSH2 0x1801
00001dd3: JUMP
00001dd4: JUMPDEST
00001dd5: GT
00001dd6: ISZERO
00001dd7: ISZERO
00001dd8: PUSH2 0x1de0
00001ddb: JUMPI
00001ddc: PUSH1 0x00
00001dde: DUP1
00001ddf: REVERT
00001de0: JUMPDEST
00001de1: CALLER
00001de2: SWAP7
00001de3: POP
00001de4: PUSH1 0x0c
00001de6: PUSH1 0x00
00001de8: DUP9
00001de9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dfe: AND
00001dff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e14: AND
00001e15: DUP2
00001e16: MSTORE
00001e17: PUSH1 0x20
00001e19: ADD
00001e1a: SWAP1
00001e1b: DUP2
00001e1c: MSTORE
00001e1d: PUSH1 0x20
00001e1f: ADD
00001e20: PUSH1 0x00
00001e22: KECCAK256
00001e23: SLOAD
00001e24: DUP9
00001e25: GT
00001e26: ISZERO
00001e27: ISZERO
00001e28: ISZERO
00001e29: PUSH2 0x1e31
00001e2c: JUMPI
00001e2d: PUSH1 0x00
00001e2f: DUP1
00001e30: REVERT
00001e31: JUMPDEST
00001e32: DUP8
00001e33: SWAP6
00001e34: POP
00001e35: PUSH2 0x1e3d
00001e38: DUP7
00001e39: PUSH2 0x255f
00001e3c: JUMP
00001e3d: JUMPDEST
00001e3e: SWAP5
00001e3f: POP
00001e40: PUSH2 0x1e57
00001e43: PUSH2 0x1e50
00001e46: DUP7
00001e47: PUSH1 0x0f
00001e49: PUSH1 0xff
00001e4b: AND
00001e4c: PUSH2 0x245e
00001e4f: JUMP
00001e50: JUMPDEST
00001e51: PUSH1 0x64
00001e53: PUSH2 0x2499
00001e56: JUMP
00001e57: JUMPDEST
00001e58: SWAP4
00001e59: POP
00001e5a: PUSH2 0x1e67
00001e5d: DUP6
00001e5e: PUSH1 0x14
00001e60: PUSH1 0xff
00001e62: AND
00001e63: PUSH2 0x2499
00001e66: JUMP
00001e67: JUMPDEST
00001e68: SWAP3
00001e69: POP
00001e6a: PUSH2 0x1e75
00001e6d: PUSH1 0x02
00001e6f: SLOAD
00001e70: DUP5
00001e71: PUSH2 0x24b4
00001e74: JUMP
00001e75: JUMPDEST
00001e76: PUSH1 0x02
00001e78: DUP2
00001e79: SWAP1
00001e7a: SSTORE
00001e7b: POP
00001e7c: PUSH2 0x1e85
00001e7f: DUP6
00001e80: DUP6
00001e81: PUSH2 0x2445
00001e84: JUMP
00001e85: JUMPDEST
00001e86: SWAP2
00001e87: POP
00001e88: PUSH2 0x1e93
00001e8b: PUSH1 0x09
00001e8d: SLOAD
00001e8e: DUP6
00001e8f: PUSH2 0x24b4
00001e92: JUMP
00001e93: JUMPDEST
00001e94: PUSH1 0x09
00001e96: DUP2
00001e97: SWAP1
00001e98: SSTORE
00001e99: POP
00001e9a: PUSH2 0x1ea3
00001e9d: DUP5
00001e9e: DUP5
00001e9f: PUSH2 0x2445
00001ea2: JUMP
00001ea3: JUMPDEST
00001ea4: SWAP4
00001ea5: POP
00001ea6: PUSH2 0x1eb1
00001ea9: PUSH1 0x03
00001eab: SLOAD
00001eac: DUP8
00001ead: PUSH2 0x2445
00001eb0: JUMP
00001eb1: JUMPDEST
00001eb2: PUSH1 0x03
00001eb4: DUP2
00001eb5: SWAP1
00001eb6: SSTORE
00001eb7: POP
00001eb8: PUSH2 0x1f00
00001ebb: PUSH1 0x0c
00001ebd: PUSH1 0x00
00001ebf: DUP10
00001ec0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ed5: AND
00001ed6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eeb: AND
00001eec: DUP2
00001eed: MSTORE
00001eee: PUSH1 0x20
00001ef0: ADD
00001ef1: SWAP1
00001ef2: DUP2
00001ef3: MSTORE
00001ef4: PUSH1 0x20
00001ef6: ADD
00001ef7: PUSH1 0x00
00001ef9: KECCAK256
00001efa: SLOAD
00001efb: DUP8
00001efc: PUSH2 0x2445
00001eff: JUMP
00001f00: JUMPDEST
00001f01: PUSH1 0x0c
00001f03: PUSH1 0x00
00001f05: DUP10
00001f06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f1b: AND
00001f1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f31: AND
00001f32: DUP2
00001f33: MSTORE
00001f34: PUSH1 0x20
00001f36: ADD
00001f37: SWAP1
00001f38: DUP2
00001f39: MSTORE
00001f3a: PUSH1 0x20
00001f3c: ADD
00001f3d: PUSH1 0x00
00001f3f: KECCAK256
00001f40: DUP2
00001f41: SWAP1
00001f42: SSTORE
00001f43: POP
00001f44: PUSH9 0x010000000000000000
00001f4e: DUP3
00001f4f: MUL
00001f50: DUP7
00001f51: PUSH1 0x05
00001f53: SLOAD
00001f54: MUL
00001f55: ADD
00001f56: SWAP1
00001f57: POP
00001f58: DUP1
00001f59: PUSH1 0x0e
00001f5b: PUSH1 0x00
00001f5d: DUP10
00001f5e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f73: AND
00001f74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f89: AND
00001f8a: DUP2
00001f8b: MSTORE
00001f8c: PUSH1 0x20
00001f8e: ADD
00001f8f: SWAP1
00001f90: DUP2
00001f91: MSTORE
00001f92: PUSH1 0x20
00001f94: ADD
00001f95: PUSH1 0x00
00001f97: KECCAK256
00001f98: PUSH1 0x00
00001f9a: DUP3
00001f9b: DUP3
00001f9c: SLOAD
00001f9d: SUB
00001f9e: SWAP3
00001f9f: POP
00001fa0: POP
00001fa1: DUP2
00001fa2: SWAP1
00001fa3: SSTORE
00001fa4: POP
00001fa5: PUSH1 0x00
00001fa7: PUSH1 0x03
00001fa9: SLOAD
00001faa: GT
00001fab: ISZERO
00001fac: PUSH2 0x1fda
00001faf: JUMPI
00001fb0: PUSH2 0x1fd3
00001fb3: PUSH1 0x05
00001fb5: SLOAD
00001fb6: PUSH1 0x03
00001fb8: SLOAD
00001fb9: PUSH9 0x010000000000000000
00001fc3: DUP8
00001fc4: MUL
00001fc5: DUP2
00001fc6: ISZERO
00001fc7: ISZERO
00001fc8: PUSH2 0x1fcd
00001fcb: JUMPI
00001fcc: INVALID
00001fcd: JUMPDEST
00001fce: DIV
00001fcf: PUSH2 0x24b4
00001fd2: JUMP
00001fd3: JUMPDEST
00001fd4: PUSH1 0x05
00001fd6: DUP2
00001fd7: SWAP1
00001fd8: SSTORE
00001fd9: POP
00001fda: JUMPDEST
00001fdb: DUP7
00001fdc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ff1: AND
00001ff2: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139
00002013: DUP8
00002014: DUP5
00002015: PUSH1 0x40
00002017: MLOAD
00002018: DUP1
00002019: DUP4
0000201a: DUP2
0000201b: MSTORE
0000201c: PUSH1 0x20
0000201e: ADD
0000201f: DUP3
00002020: DUP2
00002021: MSTORE
00002022: PUSH1 0x20
00002024: ADD
00002025: SWAP3
00002026: POP
00002027: POP
00002028: POP
00002029: PUSH1 0x40
0000202b: MLOAD
0000202c: DUP1
0000202d: SWAP2
0000202e: SUB
0000202f: SWAP1
00002030: LOG2
00002031: POP
00002032: POP
00002033: POP
00002034: POP
00002035: POP
00002036: POP
00002037: POP
00002038: POP
00002039: JUMP
0000203a: JUMPDEST
0000203b: PUSH1 0x0b
0000203d: PUSH1 0x00
0000203f: SWAP1
00002040: SLOAD
00002041: SWAP1
00002042: PUSH2 0x0100
00002045: EXP
00002046: SWAP1
00002047: DIV
00002048: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000205d: AND
0000205e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002073: AND
00002074: CALLER
00002075: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000208a: AND
0000208b: EQ
0000208c: ISZERO
0000208d: ISZERO
0000208e: PUSH2 0x2096
00002091: JUMPI
00002092: PUSH1 0x00
00002094: DUP1
00002095: REVERT
00002096: JUMPDEST
00002097: DUP2
00002098: PUSH1 0x0f
0000209a: PUSH1 0x00
0000209c: DUP6
0000209d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020b2: AND
000020b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020c8: AND
000020c9: DUP2
000020ca: MSTORE
000020cb: PUSH1 0x20
000020cd: ADD
000020ce: SWAP1
000020cf: DUP2
000020d0: MSTORE
000020d1: PUSH1 0x20
000020d3: ADD
000020d4: PUSH1 0x00
000020d6: KECCAK256
000020d7: PUSH1 0x00
000020d9: PUSH2 0x0100
000020dc: EXP
000020dd: DUP2
000020de: SLOAD
000020df: DUP2
000020e0: PUSH1 0xff
000020e2: MUL
000020e3: NOT
000020e4: AND
000020e5: SWAP1
000020e6: DUP4
000020e7: ISZERO
000020e8: ISZERO
000020e9: MUL
000020ea: OR
000020eb: SWAP1
000020ec: SSTORE
000020ed: POP
000020ee: DUP1
000020ef: PUSH1 0xff
000020f1: AND
000020f2: PUSH1 0x04
000020f4: DUP2
000020f5: SWAP1
000020f6: SSTORE
000020f7: POP
000020f8: POP
000020f9: POP
000020fa: POP
000020fb: JUMP
000020fc: JUMPDEST
000020fd: PUSH1 0x00
000020ff: DUP1
00002100: CALLER
00002101: SWAP2
00002102: POP
00002103: PUSH1 0x0c
00002105: PUSH1 0x00
00002107: DUP4
00002108: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000211d: AND
0000211e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002133: AND
00002134: DUP2
00002135: MSTORE
00002136: PUSH1 0x20
00002138: ADD
00002139: SWAP1
0000213a: DUP2
0000213b: MSTORE
0000213c: PUSH1 0x20
0000213e: ADD
0000213f: PUSH1 0x00
00002141: KECCAK256
00002142: SLOAD
00002143: SWAP1
00002144: POP
00002145: PUSH1 0x00
00002147: DUP2
00002148: GT
00002149: ISZERO
0000214a: PUSH2 0x2157
0000214d: JUMPI
0000214e: PUSH2 0x2156
00002151: DUP2
00002152: PUSH2 0x1dc0
00002155: JUMP
00002156: JUMPDEST
00002157: JUMPDEST
00002158: PUSH2 0x215f
0000215b: PUSH2 0x1345
0000215e: JUMP
0000215f: JUMPDEST
00002160: POP
00002161: POP
00002162: JUMP
00002163: JUMPDEST
00002164: PUSH1 0x00
00002166: PUSH2 0x2171
00002169: PUSH1 0x08
0000216b: SLOAD
0000216c: CALLVALUE
0000216d: PUSH2 0x24b4
00002170: JUMP
00002171: JUMPDEST
00002172: PUSH1 0x08
00002174: DUP2
00002175: SWAP1
00002176: SSTORE
00002177: POP
00002178: PUSH2 0x21c0
0000217b: PUSH1 0x11
0000217d: PUSH1 0x00
0000217f: CALLER
00002180: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002195: AND
00002196: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021ab: AND
000021ac: DUP2
000021ad: MSTORE
000021ae: PUSH1 0x20
000021b0: ADD
000021b1: SWAP1
000021b2: DUP2
000021b3: MSTORE
000021b4: PUSH1 0x20
000021b6: ADD
000021b7: PUSH1 0x00
000021b9: KECCAK256
000021ba: SLOAD
000021bb: CALLVALUE
000021bc: PUSH2 0x24b4
000021bf: JUMP
000021c0: JUMPDEST
000021c1: PUSH1 0x11
000021c3: PUSH1 0x00
000021c5: CALLER
000021c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021db: AND
000021dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021f1: AND
000021f2: DUP2
000021f3: MSTORE
000021f4: PUSH1 0x20
000021f6: ADD
000021f7: SWAP1
000021f8: DUP2
000021f9: MSTORE
000021fa: PUSH1 0x20
000021fc: ADD
000021fd: PUSH1 0x00
000021ff: KECCAK256
00002200: DUP2
00002201: SWAP1
00002202: SSTORE
00002203: POP
00002204: PUSH1 0x00
00002206: ISZERO
00002207: ISZERO
00002208: PUSH1 0x10
0000220a: PUSH1 0x00
0000220c: CALLER
0000220d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002222: AND
00002223: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002238: AND
00002239: DUP2
0000223a: MSTORE
0000223b: PUSH1 0x20
0000223d: ADD
0000223e: SWAP1
0000223f: DUP2
00002240: MSTORE
00002241: PUSH1 0x20
00002243: ADD
00002244: PUSH1 0x00
00002246: KECCAK256
00002247: PUSH1 0x00
00002249: SWAP1
0000224a: SLOAD
0000224b: SWAP1
0000224c: PUSH2 0x0100
0000224f: EXP
00002250: SWAP1
00002251: DIV
00002252: PUSH1 0xff
00002254: AND
00002255: ISZERO
00002256: ISZERO
00002257: EQ
00002258: ISZERO
00002259: PUSH2 0x22c1
0000225c: JUMPI
0000225d: PUSH1 0x01
0000225f: PUSH1 0x07
00002261: SLOAD
00002262: ADD
00002263: PUSH1 0x07
00002265: DUP2
00002266: SWAP1
00002267: SSTORE
00002268: POP
00002269: PUSH1 0x01
0000226b: PUSH1 0x10
0000226d: PUSH1 0x00
0000226f: CALLER
00002270: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002285: AND
00002286: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000229b: AND
0000229c: DUP2
0000229d: MSTORE
0000229e: PUSH1 0x20
000022a0: ADD
000022a1: SWAP1
000022a2: DUP2
000022a3: MSTORE
000022a4: PUSH1 0x20
000022a6: ADD
000022a7: PUSH1 0x00
000022a9: KECCAK256
000022aa: PUSH1 0x00
000022ac: PUSH2 0x0100
000022af: EXP
000022b0: DUP2
000022b1: SLOAD
000022b2: DUP2
000022b3: PUSH1 0xff
000022b5: MUL
000022b6: NOT
000022b7: AND
000022b8: SWAP1
000022b9: DUP4
000022ba: ISZERO
000022bb: ISZERO
000022bc: MUL
000022bd: OR
000022be: SWAP1
000022bf: SSTORE
000022c0: POP
000022c1: JUMPDEST
000022c2: PUSH2 0x22cb
000022c5: CALLVALUE
000022c6: DUP4
000022c7: PUSH2 0x0a5b
000022ca: JUMP
000022cb: JUMPDEST
000022cc: POP
000022cd: SWAP2
000022ce: SWAP1
000022cf: POP
000022d0: JUMP
000022d1: JUMPDEST
000022d2: PUSH1 0x00
000022d4: DUP1
000022d5: PUSH1 0x00
000022d7: DUP1
000022d8: PUSH2 0x22e1
000022db: PUSH1 0x01
000022dd: PUSH2 0x15e9
000022e0: JUMP
000022e1: JUMPDEST
000022e2: GT
000022e3: ISZERO
000022e4: ISZERO
000022e5: PUSH2 0x22ed
000022e8: JUMPI
000022e9: PUSH1 0x00
000022eb: DUP1
000022ec: REVERT
000022ed: JUMPDEST
000022ee: PUSH2 0x22f7
000022f1: PUSH1 0x00
000022f3: PUSH2 0x15e9
000022f6: JUMP
000022f7: JUMPDEST
000022f8: SWAP3
000022f9: POP
000022fa: CALLER
000022fb: SWAP2
000022fc: POP
000022fd: PUSH9 0x010000000000000000
00002307: DUP4
00002308: MUL
00002309: PUSH1 0x0e
0000230b: PUSH1 0x00
0000230d: DUP5
0000230e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002323: AND
00002324: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002339: AND
0000233a: DUP2
0000233b: MSTORE
0000233c: PUSH1 0x20
0000233e: ADD
0000233f: SWAP1
00002340: DUP2
00002341: MSTORE
00002342: PUSH1 0x20
00002344: ADD
00002345: PUSH1 0x00
00002347: KECCAK256
00002348: PUSH1 0x00
0000234a: DUP3
0000234b: DUP3
0000234c: SLOAD
0000234d: ADD
0000234e: SWAP3
0000234f: POP
00002350: POP
00002351: DUP2
00002352: SWAP1
00002353: SSTORE
00002354: POP
00002355: PUSH1 0x0d
00002357: PUSH1 0x00
00002359: DUP4
0000235a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000236f: AND
00002370: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002385: AND
00002386: DUP2
00002387: MSTORE
00002388: PUSH1 0x20
0000238a: ADD
0000238b: SWAP1
0000238c: DUP2
0000238d: MSTORE
0000238e: PUSH1 0x20
00002390: ADD
00002391: PUSH1 0x00
00002393: KECCAK256
00002394: SLOAD
00002395: DUP4
00002396: ADD
00002397: SWAP3
00002398: POP
00002399: PUSH1 0x00
0000239b: PUSH1 0x0d
0000239d: PUSH1 0x00
0000239f: DUP5
000023a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023b5: AND
000023b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023cb: AND
000023cc: DUP2
000023cd: MSTORE
000023ce: PUSH1 0x20
000023d0: ADD
000023d1: SWAP1
000023d2: DUP2
000023d3: MSTORE
000023d4: PUSH1 0x20
000023d6: ADD
000023d7: PUSH1 0x00
000023d9: KECCAK256
000023da: DUP2
000023db: SWAP1
000023dc: SSTORE
000023dd: POP
000023de: PUSH2 0x23e8
000023e1: DUP4
000023e2: PUSH1 0x00
000023e4: PUSH2 0x0a5b
000023e7: JUMP
000023e8: JUMPDEST
000023e9: SWAP1
000023ea: POP
000023eb: DUP2
000023ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002401: AND
00002402: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458
00002423: DUP5
00002424: DUP4
00002425: PUSH1 0x40
00002427: MLOAD
00002428: DUP1
00002429: DUP4
0000242a: DUP2
0000242b: MSTORE
0000242c: PUSH1 0x20
0000242e: ADD
0000242f: DUP3
00002430: DUP2
00002431: MSTORE
00002432: PUSH1 0x20
00002434: ADD
00002435: SWAP3
00002436: POP
00002437: POP
00002438: POP
00002439: PUSH1 0x40
0000243b: MLOAD
0000243c: DUP1
0000243d: SWAP2
0000243e: SUB
0000243f: SWAP1
00002440: LOG2
00002441: POP
00002442: POP
00002443: POP
00002444: JUMP
00002445: JUMPDEST
00002446: PUSH1 0x00
00002448: DUP3
00002449: DUP3
0000244a: GT
0000244b: ISZERO
0000244c: ISZERO
0000244d: ISZERO
0000244e: PUSH2 0x2453
00002451: JUMPI
00002452: INVALID
00002453: JUMPDEST
00002454: DUP2
00002455: DUP4
00002456: SUB
00002457: SWAP1
00002458: POP
00002459: SWAP3
0000245a: SWAP2
0000245b: POP
0000245c: POP
0000245d: JUMP
0000245e: JUMPDEST
0000245f: PUSH1 0x00
00002461: DUP1
00002462: PUSH1 0x00
00002464: DUP5
00002465: EQ
00002466: ISZERO
00002467: PUSH2 0x2473
0000246a: JUMPI
0000246b: PUSH1 0x00
0000246d: SWAP2
0000246e: POP
0000246f: PUSH2 0x2492
00002472: JUMP
00002473: JUMPDEST
00002474: DUP3
00002475: DUP5
00002476: MUL
00002477: SWAP1
00002478: POP
00002479: DUP3
0000247a: DUP5
0000247b: DUP3
0000247c: DUP2
0000247d: ISZERO
0000247e: ISZERO
0000247f: PUSH2 0x2484
00002482: JUMPI
00002483: INVALID
00002484: JUMPDEST
00002485: DIV
00002486: EQ
00002487: ISZERO
00002488: ISZERO
00002489: PUSH2 0x248e
0000248c: JUMPI
0000248d: INVALID
0000248e: JUMPDEST
0000248f: DUP1
00002490: SWAP2
00002491: POP
00002492: JUMPDEST
00002493: POP
00002494: SWAP3
00002495: SWAP2
00002496: POP
00002497: POP
00002498: JUMP
00002499: JUMPDEST
0000249a: PUSH1 0x00
0000249c: DUP1
0000249d: DUP3
0000249e: DUP5
0000249f: DUP2
000024a0: ISZERO
000024a1: ISZERO
000024a2: PUSH2 0x24a7
000024a5: JUMPI
000024a6: INVALID
000024a7: JUMPDEST
000024a8: DIV
000024a9: SWAP1
000024aa: POP
000024ab: DUP1
000024ac: SWAP2
000024ad: POP
000024ae: POP
000024af: SWAP3
000024b0: SWAP2
000024b1: POP
000024b2: POP
000024b3: JUMP
000024b4: JUMPDEST
000024b5: PUSH1 0x00
000024b7: DUP1
000024b8: DUP3
000024b9: DUP5
000024ba: ADD
000024bb: SWAP1
000024bc: POP
000024bd: DUP4
000024be: DUP2
000024bf: LT
000024c0: ISZERO
000024c1: ISZERO
000024c2: ISZERO
000024c3: PUSH2 0x24c8
000024c6: JUMPI
000024c7: INVALID
000024c8: JUMPDEST
000024c9: DUP1
000024ca: SWAP2
000024cb: POP
000024cc: POP
000024cd: SWAP3
000024ce: SWAP2
000024cf: POP
000024d0: POP
000024d1: JUMP
000024d2: JUMPDEST
000024d3: PUSH1 0x00
000024d5: DUP1
000024d6: PUSH1 0x00
000024d8: PUSH8 0x0de0b6b3a7640000
000024e1: PUSH5 0x174876e800
000024e7: MUL
000024e8: SWAP2
000024e9: POP
000024ea: PUSH1 0x03
000024ec: SLOAD
000024ed: PUSH5 0x02540be400
000024f3: PUSH2 0x2548
000024f6: PUSH2 0x2542
000024f9: PUSH1 0x03
000024fb: SLOAD
000024fc: DUP7
000024fd: PUSH5 0x02540be400
00002503: PUSH1 0x02
00002505: MUL
00002506: MUL
00002507: MUL
00002508: PUSH1 0x02
0000250a: PUSH1 0x03
0000250c: SLOAD
0000250d: EXP
0000250e: PUSH1 0x02
00002510: PUSH5 0x02540be400
00002516: EXP
00002517: MUL
00002518: PUSH8 0x0de0b6b3a7640000
00002521: DUP11
00002522: MUL
00002523: PUSH8 0x0de0b6b3a7640000
0000252c: PUSH5 0x02540be400
00002532: MUL
00002533: PUSH1 0x02
00002535: MUL
00002536: MUL
00002537: PUSH1 0x02
00002539: DUP10
0000253a: EXP
0000253b: ADD
0000253c: ADD
0000253d: ADD
0000253e: PUSH2 0x260a
00002541: JUMP
00002542: JUMPDEST
00002543: DUP6
00002544: PUSH2 0x2445
00002547: JUMP
00002548: JUMPDEST
00002549: DUP2
0000254a: ISZERO
0000254b: ISZERO
0000254c: PUSH2 0x2551
0000254f: JUMPI
00002550: INVALID
00002551: JUMPDEST
00002552: DIV
00002553: SUB
00002554: SWAP1
00002555: POP
00002556: DUP1
00002557: SWAP3
00002558: POP
00002559: POP
0000255a: POP
0000255b: SWAP2
0000255c: SWAP1
0000255d: POP
0000255e: JUMP
0000255f: JUMPDEST
00002560: PUSH1 0x00
00002562: DUP1
00002563: PUSH1 0x00
00002565: DUP1
00002566: PUSH8 0x0de0b6b3a7640000
0000256f: DUP6
00002570: ADD
00002571: SWAP3
00002572: POP
00002573: PUSH8 0x0de0b6b3a7640000
0000257c: PUSH1 0x03
0000257e: SLOAD
0000257f: ADD
00002580: SWAP2
00002581: POP
00002582: PUSH8 0x0de0b6b3a7640000
0000258b: PUSH2 0x25f3
0000258e: PUSH8 0x0de0b6b3a7640000
00002597: DUP6
00002598: SUB
00002599: PUSH5 0x02540be400
0000259f: PUSH8 0x0de0b6b3a7640000
000025a8: DUP7
000025a9: DUP2
000025aa: ISZERO
000025ab: ISZERO
000025ac: PUSH2 0x25b1
000025af: JUMPI
000025b0: INVALID
000025b1: JUMPDEST
000025b2: DIV
000025b3: PUSH5 0x02540be400
000025b9: MUL
000025ba: PUSH5 0x174876e800
000025c0: ADD
000025c1: SUB
000025c2: MUL
000025c3: PUSH1 0x02
000025c5: PUSH8 0x0de0b6b3a7640000
000025ce: DUP8
000025cf: PUSH1 0x02
000025d1: DUP10
000025d2: EXP
000025d3: SUB
000025d4: DUP2
000025d5: ISZERO
000025d6: ISZERO
000025d7: PUSH2 0x25dc
000025da: JUMPI
000025db: INVALID
000025dc: JUMPDEST
000025dd: DIV
000025de: PUSH5 0x02540be400
000025e4: MUL
000025e5: DUP2
000025e6: ISZERO
000025e7: ISZERO
000025e8: PUSH2 0x25ed
000025eb: JUMPI
000025ec: INVALID
000025ed: JUMPDEST
000025ee: DIV
000025ef: PUSH2 0x2445
000025f2: JUMP
000025f3: JUMPDEST
000025f4: DUP2
000025f5: ISZERO
000025f6: ISZERO
000025f7: PUSH2 0x25fc
000025fa: JUMPI
000025fb: INVALID
000025fc: JUMPDEST
000025fd: DIV
000025fe: SWAP1
000025ff: POP
00002600: DUP1
00002601: SWAP4
00002602: POP
00002603: POP
00002604: POP
00002605: POP
00002606: SWAP2
00002607: SWAP1
00002608: POP
00002609: JUMP
0000260a: JUMPDEST
0000260b: PUSH1 0x00
0000260d: DUP1
0000260e: PUSH1 0x02
00002610: PUSH1 0x01
00002612: DUP5
00002613: ADD
00002614: DUP2
00002615: ISZERO
00002616: ISZERO
00002617: PUSH2 0x261c
0000261a: JUMPI
0000261b: INVALID
0000261c: JUMPDEST
0000261d: DIV
0000261e: SWAP1
0000261f: POP
00002620: DUP3
00002621: SWAP2
00002622: POP
00002623: JUMPDEST
00002624: DUP2
00002625: DUP2
00002626: LT
00002627: ISZERO
00002628: PUSH2 0x264f
0000262b: JUMPI
0000262c: DUP1
0000262d: SWAP2
0000262e: POP
0000262f: PUSH1 0x02
00002631: DUP2
00002632: DUP3
00002633: DUP6
00002634: DUP2
00002635: ISZERO
00002636: ISZERO
00002637: PUSH2 0x263c
0000263a: JUMPI
0000263b: INVALID
0000263c: JUMPDEST
0000263d: DIV
0000263e: ADD
0000263f: DUP2
00002640: ISZERO
00002641: ISZERO
00002642: PUSH2 0x2647
00002645: JUMPI
00002646: INVALID
00002647: JUMPDEST
00002648: DIV
00002649: SWAP1
0000264a: POP
0000264b: PUSH2 0x2623
0000264e: JUMP
0000264f: JUMPDEST
00002650: POP
00002651: SWAP2
00002652: SWAP1
00002653: POP
00002654: JUMP
00002655: STOP
00002656: LOG1
00002657: PUSH6 0x627a7a723058
0000265e: KECCAK256
0000265f: CODESIZE
00002660: SELFBALANCE
00002661: CALLVALUE
00002662: DUP12
00002663: MSIZE
00002664: UNKNOWN(0xE8)
00002665: DUP12
00002666: ORIGIN
00002667: ADDMOD
00002668: CODESIZE
00002669: PUSH6 0xf948af12f7c2
00002670: UNKNOWN(0xB6)
00002671: PUSH11 0x2ba56d1d06ada3b06f18d5
0000267d: UNKNOWN(0x1F)
0000267e: UNKNOWN(0x2F)
0000267f: STOP
00002680: UNKNOWN(0x29)
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xffffffff", "selector": "0xffffffff", "calldata_variants": [ "0xffffffff", "0xffffffff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x02be5421", "selector": "0x02be5421", "calldata_variants": [ "0x02be5421", "0x02be54210000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0829ca90", "selector": "0x0829ca90", "calldata_variants": [ "0x0829ca90", "0x0829ca900000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10d0ffdd", "selector": "0x10d0ffdd", "calldata_variants": [ "0x10d0ffdd", "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1cf1f4ba", "selector": "0x1cf1f4ba", "calldata_variants": [ "0x1cf1f4ba", "0x1cf1f4ba0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22609373", "selector": "0x22609373", "calldata_variants": [ "0x22609373", "0x226093730000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 4891, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5885, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6117, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6457, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 7440, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 8308, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 9830, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xa314ff0d5c47e59e7cef210dbc925e3f6a14c9baa2b6f8d1942983005d412449 call_targets: 0xca1cc76be1f5e5ee492859d8463653cb231991bc target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xa314ff0d5c47e59e7cef210dbc925e3f6a14c9baa2b6f8d1942983005d412449", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xca1cc76be1f5e5ee492859d8463653cb231991bc" ], "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": "0xffffffff", "selector": "0xffffffff", "calldata_variants": [ "0xffffffff", "0xffffffff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x02be5421", "selector": "0x02be5421", "calldata_variants": [ "0x02be5421", "0x02be54210000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0829ca90", "selector": "0x0829ca90", "calldata_variants": [ "0x0829ca90", "0x0829ca900000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10d0ffdd", "selector": "0x10d0ffdd", "calldata_variants": [ "0x10d0ffdd", "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1cf1f4ba", "selector": "0x1cf1f4ba", "calldata_variants": [ "0x1cf1f4ba", "0x1cf1f4ba0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22609373", "selector": "0x22609373", "calldata_variants": [ "0x22609373", "0x226093730000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5388, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7569, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [ { "pc": 4891, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5885, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6117, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6457, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 7440, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 8308, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 9830, "type": "tx_origin_used" } ], "untrusted_call_count": 2 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xa314ff0d5c47e59e7cef210dbc925e3f6a14c9baa2b6f8d1942983005d412449 call_targets: 0xca1cc76be1f5e5ee492859d8463653cb231991bc target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xa314ff0d5c47e59e7cef210dbc925e3f6a14c9baa2b6f8d1942983005d412449", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xca1cc76be1f5e5ee492859d8463653cb231991bc" ], "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": "0xffffffff", "selector": "0xffffffff", "calldata_variants": [ "0xffffffff", "0xffffffff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x02be5421", "selector": "0x02be5421", "calldata_variants": [ "0x02be5421", "0x02be54210000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0829ca90", "selector": "0x0829ca90", "calldata_variants": [ "0x0829ca90", "0x0829ca900000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10d0ffdd", "selector": "0x10d0ffdd", "calldata_variants": [ "0x10d0ffdd", "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1cf1f4ba", "selector": "0x1cf1f4ba", "calldata_variants": [ "0x1cf1f4ba", "0x1cf1f4ba0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22609373", "selector": "0x22609373", "calldata_variants": [ "0x22609373", "0x226093730000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5388, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7569, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [ { "pc": 4891, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5885, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6117, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6457, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 7440, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 8308, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 9830, "type": "tx_origin_used" } ] }
Severity