Analysis Run

019b477e-b8fc-7298-9588-27acca98f511
complete
Chain ID
1
Address
0xb0c4382d4355cdfe94a132fadf92a509b1e25939
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
23527	artifact.fetch	complete	1 / 3	3 months ago
23528	tool.cast_disasm	complete	1 / 3	3 months ago
66990	analysis.bundle	complete	1 / 3	2 weeks ago
66991	capability.graph	complete	1 / 3	2 weeks ago
66992	detector.run	complete	1 / 3	2 weeks ago
66993	validation.fork	complete	1 / 3	2 weeks 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
5286
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 0x58dd7c45
000000d5: EQ
000000d6: PUSH2 0x052f
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x688abbf7
000000e0: EQ
000000e1: PUSH2 0x0595
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x6b2f4632
000000eb: EQ
000000ec: PUSH2 0x05d8
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x70a08231
000000f6: EQ
000000f7: PUSH2 0x0603
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x74475319
00000101: EQ
00000102: PUSH2 0x065a
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x8328b610
0000010c: EQ
0000010d: PUSH2 0x0685
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0x855a8512
00000117: EQ
00000118: PUSH2 0x06b2
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0x8620410b
00000122: EQ
00000123: PUSH2 0x0709
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0x8f32d59b
0000012d: EQ
0000012e: PUSH2 0x0734
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0x949e8acd
00000138: EQ
00000139: PUSH2 0x0763
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0x95d89b41
00000143: EQ
00000144: PUSH2 0x078e
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0x96348e5e
0000014e: EQ
0000014f: PUSH2 0x081e
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0x997664d7
00000159: EQ
0000015a: PUSH2 0x084d
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0xa68b91ab
00000164: EQ
00000165: PUSH2 0x0878
00000168: JUMPI
00000169: DUP1
0000016a: PUSH4 0xa8e04f34
0000016f: EQ
00000170: PUSH2 0x08bf
00000173: JUMPI
00000174: DUP1
00000175: PUSH4 0xa9059cbb
0000017a: EQ
0000017b: PUSH2 0x08d6
0000017e: JUMPI
0000017f: DUP1
00000180: PUSH4 0xb772bbc8
00000185: EQ
00000186: PUSH2 0x093b
00000189: JUMPI
0000018a: DUP1
0000018b: PUSH4 0xcb93f7ef
00000190: EQ
00000191: PUSH2 0x0992
00000194: JUMPI
00000195: DUP1
00000196: PUSH4 0xd8edeb1b
0000019b: EQ
0000019c: PUSH2 0x09a9
0000019f: JUMPI
000001a0: DUP1
000001a1: PUSH4 0xe4849b32
000001a6: EQ
000001a7: PUSH2 0x09c0
000001aa: JUMPI
000001ab: DUP1
000001ac: PUSH4 0xe9fad8ee
000001b1: EQ
000001b2: PUSH2 0x09ed
000001b5: JUMPI
000001b6: DUP1
000001b7: PUSH4 0xf088d547
000001bc: EQ
000001bd: PUSH2 0x0a04
000001c0: JUMPI
000001c1: DUP1
000001c2: PUSH4 0xfdb5a03e
000001c7: EQ
000001c8: PUSH2 0x0a4e
000001cb: JUMPI
000001cc: JUMPDEST
000001cd: PUSH2 0x01d7
000001d0: CALLVALUE
000001d1: PUSH1 0x00
000001d3: PUSH2 0x0a65
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 0x1074
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 0x1116
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 0x1136
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 0x11d4
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 0x11da
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 0x121c
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 0x1226
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 0x12dc
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 0x132f
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 0x1334
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 0x139a
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 0x15ca
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 0x1632
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 0x1638
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 0x0593
00000540: PUSH1 0x04
00000542: DUP1
00000543: CALLDATASIZE
00000544: SUB
00000545: DUP2
00000546: ADD
00000547: SWAP1
00000548: DUP1
00000549: DUP1
0000054a: CALLDATALOAD
0000054b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000560: AND
00000561: SWAP1
00000562: PUSH1 0x20
00000564: ADD
00000565: SWAP1
00000566: SWAP3
00000567: SWAP2
00000568: SWAP1
00000569: DUP1
0000056a: CALLDATALOAD
0000056b: ISZERO
0000056c: ISZERO
0000056d: SWAP1
0000056e: PUSH1 0x20
00000570: ADD
00000571: SWAP1
00000572: SWAP3
00000573: SWAP2
00000574: SWAP1
00000575: DUP1
00000576: CALLDATALOAD
00000577: PUSH1 0xff
00000579: AND
0000057a: SWAP1
0000057b: PUSH1 0x20
0000057d: ADD
0000057e: SWAP1
0000057f: SWAP3
00000580: SWAP2
00000581: SWAP1
00000582: DUP1
00000583: CALLDATALOAD
00000584: SWAP1
00000585: PUSH1 0x20
00000587: ADD
00000588: SWAP1
00000589: SWAP3
0000058a: SWAP2
0000058b: SWAP1
0000058c: POP
0000058d: POP
0000058e: POP
0000058f: PUSH2 0x163e
00000592: JUMP
00000593: JUMPDEST
00000594: STOP
00000595: JUMPDEST
00000596: CALLVALUE
00000597: DUP1
00000598: ISZERO
00000599: PUSH2 0x05a1
0000059c: JUMPI
0000059d: PUSH1 0x00
0000059f: DUP1
000005a0: REVERT
000005a1: JUMPDEST
000005a2: POP
000005a3: PUSH2 0x05c2
000005a6: PUSH1 0x04
000005a8: DUP1
000005a9: CALLDATASIZE
000005aa: SUB
000005ab: DUP2
000005ac: ADD
000005ad: SWAP1
000005ae: DUP1
000005af: DUP1
000005b0: CALLDATALOAD
000005b1: ISZERO
000005b2: ISZERO
000005b3: SWAP1
000005b4: PUSH1 0x20
000005b6: ADD
000005b7: SWAP1
000005b8: SWAP3
000005b9: SWAP2
000005ba: SWAP1
000005bb: POP
000005bc: POP
000005bd: POP
000005be: PUSH2 0x1745
000005c1: JUMP
000005c2: JUMPDEST
000005c3: PUSH1 0x40
000005c5: MLOAD
000005c6: DUP1
000005c7: DUP3
000005c8: DUP2
000005c9: MSTORE
000005ca: PUSH1 0x20
000005cc: ADD
000005cd: SWAP2
000005ce: POP
000005cf: POP
000005d0: PUSH1 0x40
000005d2: MLOAD
000005d3: DUP1
000005d4: SWAP2
000005d5: SUB
000005d6: SWAP1
000005d7: RETURN
000005d8: JUMPDEST
000005d9: CALLVALUE
000005da: DUP1
000005db: ISZERO
000005dc: PUSH2 0x05e4
000005df: JUMPI
000005e0: PUSH1 0x00
000005e2: DUP1
000005e3: REVERT
000005e4: JUMPDEST
000005e5: POP
000005e6: PUSH2 0x05ed
000005e9: PUSH2 0x17b1
000005ec: JUMP
000005ed: JUMPDEST
000005ee: PUSH1 0x40
000005f0: MLOAD
000005f1: DUP1
000005f2: DUP3
000005f3: DUP2
000005f4: MSTORE
000005f5: PUSH1 0x20
000005f7: ADD
000005f8: SWAP2
000005f9: POP
000005fa: POP
000005fb: PUSH1 0x40
000005fd: MLOAD
000005fe: DUP1
000005ff: SWAP2
00000600: SUB
00000601: SWAP1
00000602: RETURN
00000603: JUMPDEST
00000604: CALLVALUE
00000605: DUP1
00000606: ISZERO
00000607: PUSH2 0x060f
0000060a: JUMPI
0000060b: PUSH1 0x00
0000060d: DUP1
0000060e: REVERT
0000060f: JUMPDEST
00000610: POP
00000611: PUSH2 0x0644
00000614: PUSH1 0x04
00000616: DUP1
00000617: CALLDATASIZE
00000618: SUB
00000619: DUP2
0000061a: ADD
0000061b: SWAP1
0000061c: DUP1
0000061d: DUP1
0000061e: CALLDATALOAD
0000061f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000634: AND
00000635: SWAP1
00000636: PUSH1 0x20
00000638: ADD
00000639: SWAP1
0000063a: SWAP3
0000063b: SWAP2
0000063c: SWAP1
0000063d: POP
0000063e: POP
0000063f: POP
00000640: PUSH2 0x17d0
00000643: JUMP
00000644: JUMPDEST
00000645: PUSH1 0x40
00000647: MLOAD
00000648: DUP1
00000649: DUP3
0000064a: DUP2
0000064b: MSTORE
0000064c: PUSH1 0x20
0000064e: ADD
0000064f: SWAP2
00000650: POP
00000651: POP
00000652: PUSH1 0x40
00000654: MLOAD
00000655: DUP1
00000656: SWAP2
00000657: SUB
00000658: SWAP1
00000659: RETURN
0000065a: JUMPDEST
0000065b: CALLVALUE
0000065c: DUP1
0000065d: ISZERO
0000065e: PUSH2 0x0666
00000661: JUMPI
00000662: PUSH1 0x00
00000664: DUP1
00000665: REVERT
00000666: JUMPDEST
00000667: POP
00000668: PUSH2 0x066f
0000066b: PUSH2 0x1819
0000066e: JUMP
0000066f: JUMPDEST
00000670: PUSH1 0x40
00000672: MLOAD
00000673: DUP1
00000674: DUP3
00000675: DUP2
00000676: MSTORE
00000677: PUSH1 0x20
00000679: ADD
0000067a: SWAP2
0000067b: POP
0000067c: POP
0000067d: PUSH1 0x40
0000067f: MLOAD
00000680: DUP1
00000681: SWAP2
00000682: SUB
00000683: SWAP1
00000684: RETURN
00000685: JUMPDEST
00000686: CALLVALUE
00000687: DUP1
00000688: ISZERO
00000689: PUSH2 0x0691
0000068c: JUMPI
0000068d: PUSH1 0x00
0000068f: DUP1
00000690: REVERT
00000691: JUMPDEST
00000692: POP
00000693: PUSH2 0x06b0
00000696: PUSH1 0x04
00000698: DUP1
00000699: CALLDATASIZE
0000069a: SUB
0000069b: DUP2
0000069c: ADD
0000069d: SWAP1
0000069e: DUP1
0000069f: DUP1
000006a0: CALLDATALOAD
000006a1: SWAP1
000006a2: PUSH1 0x20
000006a4: ADD
000006a5: SWAP1
000006a6: SWAP3
000006a7: SWAP2
000006a8: SWAP1
000006a9: POP
000006aa: POP
000006ab: POP
000006ac: PUSH2 0x181f
000006af: JUMP
000006b0: JUMPDEST
000006b1: STOP
000006b2: JUMPDEST
000006b3: CALLVALUE
000006b4: DUP1
000006b5: ISZERO
000006b6: PUSH2 0x06be
000006b9: JUMPI
000006ba: PUSH1 0x00
000006bc: DUP1
000006bd: REVERT
000006be: JUMPDEST
000006bf: POP
000006c0: PUSH2 0x06f3
000006c3: PUSH1 0x04
000006c5: DUP1
000006c6: CALLDATASIZE
000006c7: SUB
000006c8: DUP2
000006c9: ADD
000006ca: SWAP1
000006cb: DUP1
000006cc: DUP1
000006cd: CALLDATALOAD
000006ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006e3: AND
000006e4: SWAP1
000006e5: PUSH1 0x20
000006e7: ADD
000006e8: SWAP1
000006e9: SWAP3
000006ea: SWAP2
000006eb: SWAP1
000006ec: POP
000006ed: POP
000006ee: POP
000006ef: PUSH2 0x1885
000006f2: JUMP
000006f3: JUMPDEST
000006f4: PUSH1 0x40
000006f6: MLOAD
000006f7: DUP1
000006f8: DUP3
000006f9: DUP2
000006fa: MSTORE
000006fb: PUSH1 0x20
000006fd: ADD
000006fe: SWAP2
000006ff: POP
00000700: POP
00000701: PUSH1 0x40
00000703: MLOAD
00000704: DUP1
00000705: SWAP2
00000706: SUB
00000707: SWAP1
00000708: RETURN
00000709: JUMPDEST
0000070a: CALLVALUE
0000070b: DUP1
0000070c: ISZERO
0000070d: PUSH2 0x0715
00000710: JUMPI
00000711: PUSH1 0x00
00000713: DUP1
00000714: REVERT
00000715: JUMPDEST
00000716: POP
00000717: PUSH2 0x071e
0000071a: PUSH2 0x189d
0000071d: JUMP
0000071e: JUMPDEST
0000071f: PUSH1 0x40
00000721: MLOAD
00000722: DUP1
00000723: DUP3
00000724: DUP2
00000725: MSTORE
00000726: PUSH1 0x20
00000728: ADD
00000729: SWAP2
0000072a: POP
0000072b: POP
0000072c: PUSH1 0x40
0000072e: MLOAD
0000072f: DUP1
00000730: SWAP2
00000731: SUB
00000732: SWAP1
00000733: RETURN
00000734: JUMPDEST
00000735: CALLVALUE
00000736: DUP1
00000737: ISZERO
00000738: PUSH2 0x0740
0000073b: JUMPI
0000073c: PUSH1 0x00
0000073e: DUP1
0000073f: REVERT
00000740: JUMPDEST
00000741: POP
00000742: PUSH2 0x0749
00000745: PUSH2 0x1905
00000748: JUMP
00000749: JUMPDEST
0000074a: PUSH1 0x40
0000074c: MLOAD
0000074d: DUP1
0000074e: DUP3
0000074f: ISZERO
00000750: ISZERO
00000751: ISZERO
00000752: ISZERO
00000753: DUP2
00000754: MSTORE
00000755: PUSH1 0x20
00000757: ADD
00000758: SWAP2
00000759: POP
0000075a: POP
0000075b: PUSH1 0x40
0000075d: MLOAD
0000075e: DUP1
0000075f: SWAP2
00000760: SUB
00000761: SWAP1
00000762: RETURN
00000763: JUMPDEST
00000764: CALLVALUE
00000765: DUP1
00000766: ISZERO
00000767: PUSH2 0x076f
0000076a: JUMPI
0000076b: PUSH1 0x00
0000076d: DUP1
0000076e: REVERT
0000076f: JUMPDEST
00000770: POP
00000771: PUSH2 0x0778
00000774: PUSH2 0x195d
00000777: JUMP
00000778: JUMPDEST
00000779: PUSH1 0x40
0000077b: MLOAD
0000077c: DUP1
0000077d: DUP3
0000077e: DUP2
0000077f: MSTORE
00000780: PUSH1 0x20
00000782: ADD
00000783: SWAP2
00000784: POP
00000785: POP
00000786: PUSH1 0x40
00000788: MLOAD
00000789: DUP1
0000078a: SWAP2
0000078b: SUB
0000078c: SWAP1
0000078d: RETURN
0000078e: JUMPDEST
0000078f: CALLVALUE
00000790: DUP1
00000791: ISZERO
00000792: PUSH2 0x079a
00000795: JUMPI
00000796: PUSH1 0x00
00000798: DUP1
00000799: REVERT
0000079a: JUMPDEST
0000079b: POP
0000079c: PUSH2 0x07a3
0000079f: PUSH2 0x1972
000007a2: JUMP
000007a3: JUMPDEST
000007a4: PUSH1 0x40
000007a6: MLOAD
000007a7: DUP1
000007a8: DUP1
000007a9: PUSH1 0x20
000007ab: ADD
000007ac: DUP3
000007ad: DUP2
000007ae: SUB
000007af: DUP3
000007b0: MSTORE
000007b1: DUP4
000007b2: DUP2
000007b3: DUP2
000007b4: MLOAD
000007b5: DUP2
000007b6: MSTORE
000007b7: PUSH1 0x20
000007b9: ADD
000007ba: SWAP2
000007bb: POP
000007bc: DUP1
000007bd: MLOAD
000007be: SWAP1
000007bf: PUSH1 0x20
000007c1: ADD
000007c2: SWAP1
000007c3: DUP1
000007c4: DUP4
000007c5: DUP4
000007c6: PUSH1 0x00
000007c8: JUMPDEST
000007c9: DUP4
000007ca: DUP2
000007cb: LT
000007cc: ISZERO
000007cd: PUSH2 0x07e3
000007d0: JUMPI
000007d1: DUP1
000007d2: DUP3
000007d3: ADD
000007d4: MLOAD
000007d5: DUP2
000007d6: DUP5
000007d7: ADD
000007d8: MSTORE
000007d9: PUSH1 0x20
000007db: DUP2
000007dc: ADD
000007dd: SWAP1
000007de: POP
000007df: PUSH2 0x07c8
000007e2: JUMP
000007e3: JUMPDEST
000007e4: POP
000007e5: POP
000007e6: POP
000007e7: POP
000007e8: SWAP1
000007e9: POP
000007ea: SWAP1
000007eb: DUP2
000007ec: ADD
000007ed: SWAP1
000007ee: PUSH1 0x1f
000007f0: AND
000007f1: DUP1
000007f2: ISZERO
000007f3: PUSH2 0x0810
000007f6: JUMPI
000007f7: DUP1
000007f8: DUP3
000007f9: SUB
000007fa: DUP1
000007fb: MLOAD
000007fc: PUSH1 0x01
000007fe: DUP4
000007ff: PUSH1 0x20
00000801: SUB
00000802: PUSH2 0x0100
00000805: EXP
00000806: SUB
00000807: NOT
00000808: AND
00000809: DUP2
0000080a: MSTORE
0000080b: PUSH1 0x20
0000080d: ADD
0000080e: SWAP2
0000080f: POP
00000810: JUMPDEST
00000811: POP
00000812: SWAP3
00000813: POP
00000814: POP
00000815: POP
00000816: PUSH1 0x40
00000818: MLOAD
00000819: DUP1
0000081a: SWAP2
0000081b: SUB
0000081c: SWAP1
0000081d: RETURN
0000081e: JUMPDEST
0000081f: CALLVALUE
00000820: DUP1
00000821: ISZERO
00000822: PUSH2 0x082a
00000825: JUMPI
00000826: PUSH1 0x00
00000828: DUP1
00000829: REVERT
0000082a: JUMPDEST
0000082b: POP
0000082c: PUSH2 0x0833
0000082f: PUSH2 0x1a10
00000832: JUMP
00000833: JUMPDEST
00000834: PUSH1 0x40
00000836: MLOAD
00000837: DUP1
00000838: DUP3
00000839: ISZERO
0000083a: ISZERO
0000083b: ISZERO
0000083c: ISZERO
0000083d: DUP2
0000083e: MSTORE
0000083f: PUSH1 0x20
00000841: ADD
00000842: SWAP2
00000843: POP
00000844: POP
00000845: PUSH1 0x40
00000847: MLOAD
00000848: DUP1
00000849: SWAP2
0000084a: SUB
0000084b: SWAP1
0000084c: RETURN
0000084d: JUMPDEST
0000084e: CALLVALUE
0000084f: DUP1
00000850: ISZERO
00000851: PUSH2 0x0859
00000854: JUMPI
00000855: PUSH1 0x00
00000857: DUP1
00000858: REVERT
00000859: JUMPDEST
0000085a: POP
0000085b: PUSH2 0x0862
0000085e: PUSH2 0x1a23
00000861: JUMP
00000862: JUMPDEST
00000863: PUSH1 0x40
00000865: MLOAD
00000866: DUP1
00000867: DUP3
00000868: DUP2
00000869: MSTORE
0000086a: PUSH1 0x20
0000086c: ADD
0000086d: SWAP2
0000086e: POP
0000086f: POP
00000870: PUSH1 0x40
00000872: MLOAD
00000873: DUP1
00000874: SWAP2
00000875: SUB
00000876: SWAP1
00000877: RETURN
00000878: JUMPDEST
00000879: CALLVALUE
0000087a: DUP1
0000087b: ISZERO
0000087c: PUSH2 0x0884
0000087f: JUMPI
00000880: PUSH1 0x00
00000882: DUP1
00000883: REVERT
00000884: JUMPDEST
00000885: POP
00000886: PUSH2 0x088d
00000889: PUSH2 0x1a29
0000088c: JUMP
0000088d: JUMPDEST
0000088e: PUSH1 0x40
00000890: MLOAD
00000891: DUP1
00000892: DUP7
00000893: DUP2
00000894: MSTORE
00000895: PUSH1 0x20
00000897: ADD
00000898: DUP6
00000899: DUP2
0000089a: MSTORE
0000089b: PUSH1 0x20
0000089d: ADD
0000089e: DUP5
0000089f: DUP2
000008a0: MSTORE
000008a1: PUSH1 0x20
000008a3: ADD
000008a4: DUP4
000008a5: DUP2
000008a6: MSTORE
000008a7: PUSH1 0x20
000008a9: ADD
000008aa: DUP3
000008ab: DUP2
000008ac: MSTORE
000008ad: PUSH1 0x20
000008af: ADD
000008b0: SWAP6
000008b1: POP
000008b2: POP
000008b3: POP
000008b4: POP
000008b5: POP
000008b6: POP
000008b7: PUSH1 0x40
000008b9: MLOAD
000008ba: DUP1
000008bb: SWAP2
000008bc: SUB
000008bd: SWAP1
000008be: RETURN
000008bf: JUMPDEST
000008c0: CALLVALUE
000008c1: DUP1
000008c2: ISZERO
000008c3: PUSH2 0x08cb
000008c6: JUMPI
000008c7: PUSH1 0x00
000008c9: DUP1
000008ca: REVERT
000008cb: JUMPDEST
000008cc: POP
000008cd: PUSH2 0x08d4
000008d0: PUSH2 0x1a5b
000008d3: JUMP
000008d4: JUMPDEST
000008d5: STOP
000008d6: JUMPDEST
000008d7: CALLVALUE
000008d8: DUP1
000008d9: ISZERO
000008da: PUSH2 0x08e2
000008dd: JUMPI
000008de: PUSH1 0x00
000008e0: DUP1
000008e1: REVERT
000008e2: JUMPDEST
000008e3: POP
000008e4: PUSH2 0x0921
000008e7: PUSH1 0x04
000008e9: DUP1
000008ea: CALLDATASIZE
000008eb: SUB
000008ec: DUP2
000008ed: ADD
000008ee: SWAP1
000008ef: DUP1
000008f0: DUP1
000008f1: CALLDATALOAD
000008f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000907: AND
00000908: SWAP1
00000909: PUSH1 0x20
0000090b: ADD
0000090c: SWAP1
0000090d: SWAP3
0000090e: SWAP2
0000090f: SWAP1
00000910: DUP1
00000911: CALLDATALOAD
00000912: SWAP1
00000913: PUSH1 0x20
00000915: ADD
00000916: SWAP1
00000917: SWAP3
00000918: SWAP2
00000919: SWAP1
0000091a: POP
0000091b: POP
0000091c: POP
0000091d: PUSH2 0x1ad4
00000920: JUMP
00000921: JUMPDEST
00000922: PUSH1 0x40
00000924: MLOAD
00000925: DUP1
00000926: DUP3
00000927: ISZERO
00000928: ISZERO
00000929: ISZERO
0000092a: ISZERO
0000092b: DUP2
0000092c: MSTORE
0000092d: PUSH1 0x20
0000092f: ADD
00000930: SWAP2
00000931: POP
00000932: POP
00000933: PUSH1 0x40
00000935: MLOAD
00000936: DUP1
00000937: SWAP2
00000938: SUB
00000939: SWAP1
0000093a: RETURN
0000093b: JUMPDEST
0000093c: CALLVALUE
0000093d: DUP1
0000093e: ISZERO
0000093f: PUSH2 0x0947
00000942: JUMPI
00000943: PUSH1 0x00
00000945: DUP1
00000946: REVERT
00000947: JUMPDEST
00000948: POP
00000949: PUSH2 0x097c
0000094c: PUSH1 0x04
0000094e: DUP1
0000094f: CALLDATASIZE
00000950: SUB
00000951: DUP2
00000952: ADD
00000953: SWAP1
00000954: DUP1
00000955: DUP1
00000956: CALLDATALOAD
00000957: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000096c: AND
0000096d: SWAP1
0000096e: PUSH1 0x20
00000970: ADD
00000971: SWAP1
00000972: SWAP3
00000973: SWAP2
00000974: SWAP1
00000975: POP
00000976: POP
00000977: POP
00000978: PUSH2 0x1e18
0000097b: JUMP
0000097c: JUMPDEST
0000097d: PUSH1 0x40
0000097f: MLOAD
00000980: DUP1
00000981: DUP3
00000982: DUP2
00000983: MSTORE
00000984: PUSH1 0x20
00000986: ADD
00000987: SWAP2
00000988: POP
00000989: POP
0000098a: PUSH1 0x40
0000098c: MLOAD
0000098d: DUP1
0000098e: SWAP2
0000098f: SUB
00000990: SWAP1
00000991: RETURN
00000992: JUMPDEST
00000993: CALLVALUE
00000994: DUP1
00000995: ISZERO
00000996: PUSH2 0x099e
00000999: JUMPI
0000099a: PUSH1 0x00
0000099c: DUP1
0000099d: REVERT
0000099e: JUMPDEST
0000099f: POP
000009a0: PUSH2 0x09a7
000009a3: PUSH2 0x1e30
000009a6: JUMP
000009a7: JUMPDEST
000009a8: STOP
000009a9: JUMPDEST
000009aa: CALLVALUE
000009ab: DUP1
000009ac: ISZERO
000009ad: PUSH2 0x09b5
000009b0: JUMPI
000009b1: PUSH1 0x00
000009b3: DUP1
000009b4: REVERT
000009b5: JUMPDEST
000009b6: POP
000009b7: PUSH2 0x09be
000009ba: PUSH2 0x1f07
000009bd: JUMP
000009be: JUMPDEST
000009bf: STOP
000009c0: JUMPDEST
000009c1: CALLVALUE
000009c2: DUP1
000009c3: ISZERO
000009c4: PUSH2 0x09cc
000009c7: JUMPI
000009c8: PUSH1 0x00
000009ca: DUP1
000009cb: REVERT
000009cc: JUMPDEST
000009cd: POP
000009ce: PUSH2 0x09eb
000009d1: PUSH1 0x04
000009d3: DUP1
000009d4: CALLDATASIZE
000009d5: SUB
000009d6: DUP2
000009d7: ADD
000009d8: SWAP1
000009d9: DUP1
000009da: DUP1
000009db: CALLDATALOAD
000009dc: SWAP1
000009dd: PUSH1 0x20
000009df: ADD
000009e0: SWAP1
000009e1: SWAP3
000009e2: SWAP2
000009e3: SWAP1
000009e4: POP
000009e5: POP
000009e6: POP
000009e7: PUSH2 0x1f1c
000009ea: JUMP
000009eb: JUMPDEST
000009ec: STOP
000009ed: JUMPDEST
000009ee: CALLVALUE
000009ef: DUP1
000009f0: ISZERO
000009f1: PUSH2 0x09f9
000009f4: JUMPI
000009f5: PUSH1 0x00
000009f7: DUP1
000009f8: REVERT
000009f9: JUMPDEST
000009fa: POP
000009fb: PUSH2 0x0a02
000009fe: PUSH2 0x2196
00000a01: JUMP
00000a02: JUMPDEST
00000a03: STOP
00000a04: JUMPDEST
00000a05: PUSH2 0x0a38
00000a08: PUSH1 0x04
00000a0a: DUP1
00000a0b: CALLDATASIZE
00000a0c: SUB
00000a0d: DUP2
00000a0e: ADD
00000a0f: SWAP1
00000a10: DUP1
00000a11: DUP1
00000a12: CALLDATALOAD
00000a13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a28: AND
00000a29: SWAP1
00000a2a: PUSH1 0x20
00000a2c: ADD
00000a2d: SWAP1
00000a2e: SWAP3
00000a2f: SWAP2
00000a30: SWAP1
00000a31: POP
00000a32: POP
00000a33: POP
00000a34: PUSH2 0x21fd
00000a37: JUMP
00000a38: JUMPDEST
00000a39: PUSH1 0x40
00000a3b: MLOAD
00000a3c: DUP1
00000a3d: DUP3
00000a3e: DUP2
00000a3f: MSTORE
00000a40: PUSH1 0x20
00000a42: ADD
00000a43: SWAP2
00000a44: POP
00000a45: POP
00000a46: PUSH1 0x40
00000a48: MLOAD
00000a49: DUP1
00000a4a: SWAP2
00000a4b: SUB
00000a4c: SWAP1
00000a4d: RETURN
00000a4e: JUMPDEST
00000a4f: CALLVALUE
00000a50: DUP1
00000a51: ISZERO
00000a52: PUSH2 0x0a5a
00000a55: JUMPI
00000a56: PUSH1 0x00
00000a58: DUP1
00000a59: REVERT
00000a5a: JUMPDEST
00000a5b: POP
00000a5c: PUSH2 0x0a63
00000a5f: PUSH2 0x236b
00000a62: JUMP
00000a63: JUMPDEST
00000a64: STOP
00000a65: JUMPDEST
00000a66: PUSH1 0x00
00000a68: DUP1
00000a69: PUSH1 0x00
00000a6b: DUP1
00000a6c: PUSH1 0x00
00000a6e: DUP1
00000a6f: PUSH1 0x00
00000a71: DUP1
00000a72: PUSH1 0x00
00000a74: DUP1
00000a75: DUP12
00000a76: PUSH1 0x14
00000a78: PUSH1 0x00
00000a7a: SWAP1
00000a7b: SLOAD
00000a7c: SWAP1
00000a7d: PUSH2 0x0100
00000a80: EXP
00000a81: SWAP1
00000a82: DIV
00000a83: PUSH1 0xff
00000a85: AND
00000a86: ISZERO
00000a87: PUSH2 0x0bc0
00000a8a: JUMPI
00000a8b: PUSH1 0x0f
00000a8d: PUSH1 0x00
00000a8f: CALLER
00000a90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aa5: AND
00000aa6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000abb: AND
00000abc: DUP2
00000abd: MSTORE
00000abe: PUSH1 0x20
00000ac0: ADD
00000ac1: SWAP1
00000ac2: DUP2
00000ac3: MSTORE
00000ac4: PUSH1 0x20
00000ac6: ADD
00000ac7: PUSH1 0x00
00000ac9: KECCAK256
00000aca: PUSH1 0x00
00000acc: SWAP1
00000acd: SLOAD
00000ace: SWAP1
00000acf: PUSH2 0x0100
00000ad2: EXP
00000ad3: SWAP1
00000ad4: DIV
00000ad5: PUSH1 0xff
00000ad7: AND
00000ad8: DUP1
00000ad9: ISZERO
00000ada: PUSH2 0x0b22
00000add: JUMPI
00000ade: POP
00000adf: PUSH1 0x10
00000ae1: PUSH1 0x00
00000ae3: CALLER
00000ae4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af9: AND
00000afa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b0f: AND
00000b10: DUP2
00000b11: MSTORE
00000b12: PUSH1 0x20
00000b14: ADD
00000b15: SWAP1
00000b16: DUP2
00000b17: MSTORE
00000b18: PUSH1 0x20
00000b1a: ADD
00000b1b: PUSH1 0x00
00000b1d: KECCAK256
00000b1e: SLOAD
00000b1f: CALLVALUE
00000b20: GT
00000b21: ISZERO
00000b22: JUMPDEST
00000b23: ISZERO
00000b24: ISZERO
00000b25: PUSH2 0x0b2d
00000b28: JUMPI
00000b29: PUSH1 0x00
00000b2b: DUP1
00000b2c: REVERT
00000b2d: JUMPDEST
00000b2e: PUSH1 0x00
00000b30: PUSH1 0x0f
00000b32: PUSH1 0x00
00000b34: CALLER
00000b35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b4a: AND
00000b4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b60: AND
00000b61: DUP2
00000b62: MSTORE
00000b63: PUSH1 0x20
00000b65: ADD
00000b66: SWAP1
00000b67: DUP2
00000b68: MSTORE
00000b69: PUSH1 0x20
00000b6b: ADD
00000b6c: PUSH1 0x00
00000b6e: KECCAK256
00000b6f: PUSH1 0x00
00000b71: PUSH2 0x0100
00000b74: EXP
00000b75: DUP2
00000b76: SLOAD
00000b77: DUP2
00000b78: PUSH1 0xff
00000b7a: MUL
00000b7b: NOT
00000b7c: AND
00000b7d: SWAP1
00000b7e: DUP4
00000b7f: ISZERO
00000b80: ISZERO
00000b81: MUL
00000b82: OR
00000b83: SWAP1
00000b84: SSTORE
00000b85: POP
00000b86: PUSH2 0x0b92
00000b89: PUSH1 0x04
00000b8b: SLOAD
00000b8c: PUSH1 0x01
00000b8e: PUSH2 0x24df
00000b91: JUMP
00000b92: JUMPDEST
00000b93: PUSH1 0x04
00000b95: DUP2
00000b96: SWAP1
00000b97: SSTORE
00000b98: POP
00000b99: PUSH1 0x00
00000b9b: PUSH1 0x04
00000b9d: SLOAD
00000b9e: EQ
00000b9f: ISZERO
00000ba0: PUSH2 0x0bbf
00000ba3: JUMPI
00000ba4: PUSH1 0x00
00000ba6: PUSH1 0x14
00000ba8: PUSH1 0x00
00000baa: PUSH2 0x0100
00000bad: EXP
00000bae: DUP2
00000baf: SLOAD
00000bb0: DUP2
00000bb1: PUSH1 0xff
00000bb3: MUL
00000bb4: NOT
00000bb5: AND
00000bb6: SWAP1
00000bb7: DUP4
00000bb8: ISZERO
00000bb9: ISZERO
00000bba: MUL
00000bbb: OR
00000bbc: SWAP1
00000bbd: SSTORE
00000bbe: POP
00000bbf: JUMPDEST
00000bc0: JUMPDEST
00000bc1: CALLER
00000bc2: SWAP10
00000bc3: POP
00000bc4: PUSH2 0x0bdb
00000bc7: PUSH2 0x0bd4
00000bca: DUP15
00000bcb: PUSH1 0x0f
00000bcd: PUSH1 0xff
00000bcf: AND
00000bd0: PUSH2 0x24f8
00000bd3: JUMP
00000bd4: JUMPDEST
00000bd5: PUSH1 0x64
00000bd7: PUSH2 0x2533
00000bda: JUMP
00000bdb: JUMPDEST
00000bdc: SWAP9
00000bdd: POP
00000bde: PUSH2 0x0be8
00000be1: DUP14
00000be2: PUSH1 0x14
00000be4: PUSH2 0x2533
00000be7: JUMP
00000be8: JUMPDEST
00000be9: SWAP8
00000bea: POP
00000beb: PUSH2 0x0bf4
00000bee: DUP10
00000bef: DUP10
00000bf0: PUSH2 0x24df
00000bf3: JUMP
00000bf4: JUMPDEST
00000bf5: SWAP7
00000bf6: POP
00000bf7: PUSH2 0x0c04
00000bfa: DUP14
00000bfb: PUSH1 0x14
00000bfd: PUSH1 0xff
00000bff: AND
00000c00: PUSH2 0x2533
00000c03: JUMP
00000c04: JUMPDEST
00000c05: SWAP6
00000c06: POP
00000c07: PUSH2 0x0c10
00000c0a: DUP8
00000c0b: DUP8
00000c0c: PUSH2 0x24df
00000c0f: JUMP
00000c10: JUMPDEST
00000c11: SWAP7
00000c12: POP
00000c13: PUSH2 0x0c1e
00000c16: PUSH1 0x02
00000c18: SLOAD
00000c19: DUP8
00000c1a: PUSH2 0x254e
00000c1d: JUMP
00000c1e: JUMPDEST
00000c1f: PUSH1 0x02
00000c21: DUP2
00000c22: SWAP1
00000c23: SSTORE
00000c24: POP
00000c25: PUSH2 0x0c2e
00000c28: DUP14
00000c29: DUP11
00000c2a: PUSH2 0x24df
00000c2d: JUMP
00000c2e: JUMPDEST
00000c2f: SWAP5
00000c30: POP
00000c31: PUSH2 0x0c39
00000c34: DUP6
00000c35: PUSH2 0x256c
00000c38: JUMP
00000c39: JUMPDEST
00000c3a: SWAP4
00000c3b: POP
00000c3c: PUSH9 0x010000000000000000
00000c46: DUP8
00000c47: MUL
00000c48: SWAP3
00000c49: POP
00000c4a: PUSH2 0x0c55
00000c4d: PUSH1 0x09
00000c4f: SLOAD
00000c50: DUP11
00000c51: PUSH2 0x254e
00000c54: JUMP
00000c55: JUMPDEST
00000c56: PUSH1 0x09
00000c58: DUP2
00000c59: SWAP1
00000c5a: SSTORE
00000c5b: POP
00000c5c: PUSH1 0x00
00000c5e: DUP5
00000c5f: GT
00000c60: DUP1
00000c61: ISZERO
00000c62: PUSH2 0x0c77
00000c65: JUMPI
00000c66: POP
00000c67: PUSH1 0x03
00000c69: SLOAD
00000c6a: PUSH2 0x0c75
00000c6d: DUP6
00000c6e: PUSH1 0x03
00000c70: SLOAD
00000c71: PUSH2 0x254e
00000c74: JUMP
00000c75: JUMPDEST
00000c76: GT
00000c77: JUMPDEST
00000c78: ISZERO
00000c79: ISZERO
00000c7a: PUSH2 0x0c82
00000c7d: JUMPI
00000c7e: PUSH1 0x00
00000c80: DUP1
00000c81: REVERT
00000c82: JUMPDEST
00000c83: PUSH1 0x00
00000c85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c9a: AND
00000c9b: DUP13
00000c9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cb1: AND
00000cb2: EQ
00000cb3: ISZERO
00000cb4: DUP1
00000cb5: ISZERO
00000cb6: PUSH2 0x0ceb
00000cb9: JUMPI
00000cba: POP
00000cbb: DUP10
00000cbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cd1: AND
00000cd2: DUP13
00000cd3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce8: AND
00000ce9: EQ
00000cea: ISZERO
00000ceb: JUMPDEST
00000cec: DUP1
00000ced: ISZERO
00000cee: PUSH2 0x0d38
00000cf1: JUMPI
00000cf2: POP
00000cf3: PUSH1 0x06
00000cf5: SLOAD
00000cf6: PUSH1 0x0c
00000cf8: PUSH1 0x00
00000cfa: DUP15
00000cfb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d10: AND
00000d11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d26: AND
00000d27: DUP2
00000d28: MSTORE
00000d29: PUSH1 0x20
00000d2b: ADD
00000d2c: SWAP1
00000d2d: DUP2
00000d2e: MSTORE
00000d2f: PUSH1 0x20
00000d31: ADD
00000d32: PUSH1 0x00
00000d34: KECCAK256
00000d35: SLOAD
00000d36: LT
00000d37: ISZERO
00000d38: JUMPDEST
00000d39: ISZERO
00000d3a: PUSH2 0x0dce
00000d3d: JUMPI
00000d3e: PUSH2 0x0d86
00000d41: PUSH1 0x0d
00000d43: PUSH1 0x00
00000d45: DUP15
00000d46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d5b: AND
00000d5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d71: AND
00000d72: DUP2
00000d73: MSTORE
00000d74: PUSH1 0x20
00000d76: ADD
00000d77: SWAP1
00000d78: DUP2
00000d79: MSTORE
00000d7a: PUSH1 0x20
00000d7c: ADD
00000d7d: PUSH1 0x00
00000d7f: KECCAK256
00000d80: SLOAD
00000d81: DUP10
00000d82: PUSH2 0x254e
00000d85: JUMP
00000d86: JUMPDEST
00000d87: PUSH1 0x0d
00000d89: PUSH1 0x00
00000d8b: DUP15
00000d8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da1: AND
00000da2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000db7: AND
00000db8: DUP2
00000db9: MSTORE
00000dba: PUSH1 0x20
00000dbc: ADD
00000dbd: SWAP1
00000dbe: DUP2
00000dbf: MSTORE
00000dc0: PUSH1 0x20
00000dc2: ADD
00000dc3: PUSH1 0x00
00000dc5: KECCAK256
00000dc6: DUP2
00000dc7: SWAP1
00000dc8: SSTORE
00000dc9: POP
00000dca: PUSH2 0x0e9f
00000dcd: JUMP
00000dce: JUMPDEST
00000dcf: PUSH2 0x0e39
00000dd2: PUSH1 0x0d
00000dd4: PUSH1 0x00
00000dd6: PUSH1 0x0b
00000dd8: PUSH1 0x00
00000dda: SWAP1
00000ddb: SLOAD
00000ddc: SWAP1
00000ddd: PUSH2 0x0100
00000de0: EXP
00000de1: SWAP1
00000de2: DIV
00000de3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df8: AND
00000df9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e0e: AND
00000e0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e24: AND
00000e25: DUP2
00000e26: MSTORE
00000e27: PUSH1 0x20
00000e29: ADD
00000e2a: SWAP1
00000e2b: DUP2
00000e2c: MSTORE
00000e2d: PUSH1 0x20
00000e2f: ADD
00000e30: PUSH1 0x00
00000e32: KECCAK256
00000e33: SLOAD
00000e34: DUP10
00000e35: PUSH2 0x254e
00000e38: JUMP
00000e39: JUMPDEST
00000e3a: PUSH1 0x0d
00000e3c: PUSH1 0x00
00000e3e: PUSH1 0x0b
00000e40: PUSH1 0x00
00000e42: SWAP1
00000e43: SLOAD
00000e44: SWAP1
00000e45: PUSH2 0x0100
00000e48: EXP
00000e49: SWAP1
00000e4a: DIV
00000e4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e60: AND
00000e61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e76: AND
00000e77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e8c: AND
00000e8d: DUP2
00000e8e: MSTORE
00000e8f: PUSH1 0x20
00000e91: ADD
00000e92: SWAP1
00000e93: DUP2
00000e94: MSTORE
00000e95: PUSH1 0x20
00000e97: ADD
00000e98: PUSH1 0x00
00000e9a: KECCAK256
00000e9b: DUP2
00000e9c: SWAP1
00000e9d: SSTORE
00000e9e: POP
00000e9f: JUMPDEST
00000ea0: PUSH1 0x00
00000ea2: PUSH1 0x03
00000ea4: SLOAD
00000ea5: GT
00000ea6: ISZERO
00000ea7: PUSH2 0x0f0a
00000eaa: JUMPI
00000eab: PUSH2 0x0eb6
00000eae: PUSH1 0x03
00000eb0: SLOAD
00000eb1: DUP6
00000eb2: PUSH2 0x254e
00000eb5: JUMP
00000eb6: JUMPDEST
00000eb7: PUSH1 0x03
00000eb9: DUP2
00000eba: SWAP1
00000ebb: SSTORE
00000ebc: POP
00000ebd: PUSH1 0x03
00000ebf: SLOAD
00000ec0: PUSH9 0x010000000000000000
00000eca: DUP9
00000ecb: MUL
00000ecc: DUP2
00000ecd: ISZERO
00000ece: ISZERO
00000ecf: PUSH2 0x0ed4
00000ed2: JUMPI
00000ed3: INVALID
00000ed4: JUMPDEST
00000ed5: DIV
00000ed6: PUSH1 0x05
00000ed8: PUSH1 0x00
00000eda: DUP3
00000edb: DUP3
00000edc: SLOAD
00000edd: ADD
00000ede: SWAP3
00000edf: POP
00000ee0: POP
00000ee1: DUP2
00000ee2: SWAP1
00000ee3: SSTORE
00000ee4: POP
00000ee5: PUSH1 0x03
00000ee7: SLOAD
00000ee8: PUSH9 0x010000000000000000
00000ef2: DUP9
00000ef3: MUL
00000ef4: DUP2
00000ef5: ISZERO
00000ef6: ISZERO
00000ef7: PUSH2 0x0efc
00000efa: JUMPI
00000efb: INVALID
00000efc: JUMPDEST
00000efd: DIV
00000efe: DUP5
00000eff: MUL
00000f00: DUP4
00000f01: SUB
00000f02: DUP4
00000f03: SUB
00000f04: SWAP3
00000f05: POP
00000f06: PUSH2 0x0f12
00000f09: JUMP
00000f0a: JUMPDEST
00000f0b: DUP4
00000f0c: PUSH1 0x03
00000f0e: DUP2
00000f0f: SWAP1
00000f10: SSTORE
00000f11: POP
00000f12: JUMPDEST
00000f13: PUSH2 0x0f5b
00000f16: PUSH1 0x0c
00000f18: PUSH1 0x00
00000f1a: DUP13
00000f1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f30: AND
00000f31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f46: AND
00000f47: DUP2
00000f48: MSTORE
00000f49: PUSH1 0x20
00000f4b: ADD
00000f4c: SWAP1
00000f4d: DUP2
00000f4e: MSTORE
00000f4f: PUSH1 0x20
00000f51: ADD
00000f52: PUSH1 0x00
00000f54: KECCAK256
00000f55: SLOAD
00000f56: DUP6
00000f57: PUSH2 0x254e
00000f5a: JUMP
00000f5b: JUMPDEST
00000f5c: PUSH1 0x0c
00000f5e: PUSH1 0x00
00000f60: DUP13
00000f61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f76: AND
00000f77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f8c: AND
00000f8d: DUP2
00000f8e: MSTORE
00000f8f: PUSH1 0x20
00000f91: ADD
00000f92: SWAP1
00000f93: DUP2
00000f94: MSTORE
00000f95: PUSH1 0x20
00000f97: ADD
00000f98: PUSH1 0x00
00000f9a: KECCAK256
00000f9b: DUP2
00000f9c: SWAP1
00000f9d: SSTORE
00000f9e: POP
00000f9f: DUP3
00000fa0: DUP5
00000fa1: PUSH1 0x05
00000fa3: SLOAD
00000fa4: MUL
00000fa5: SUB
00000fa6: SWAP2
00000fa7: POP
00000fa8: DUP2
00000fa9: PUSH1 0x0e
00000fab: PUSH1 0x00
00000fad: DUP13
00000fae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fc3: AND
00000fc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fd9: AND
00000fda: DUP2
00000fdb: MSTORE
00000fdc: PUSH1 0x20
00000fde: ADD
00000fdf: SWAP1
00000fe0: DUP2
00000fe1: MSTORE
00000fe2: PUSH1 0x20
00000fe4: ADD
00000fe5: PUSH1 0x00
00000fe7: KECCAK256
00000fe8: PUSH1 0x00
00000fea: DUP3
00000feb: DUP3
00000fec: SLOAD
00000fed: ADD
00000fee: SWAP3
00000fef: POP
00000ff0: POP
00000ff1: DUP2
00000ff2: SWAP1
00000ff3: SSTORE
00000ff4: POP
00000ff5: DUP12
00000ff6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000100b: AND
0000100c: DUP11
0000100d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001022: AND
00001023: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
00001044: DUP16
00001045: DUP8
00001046: PUSH1 0x40
00001048: MLOAD
00001049: DUP1
0000104a: DUP4
0000104b: DUP2
0000104c: MSTORE
0000104d: PUSH1 0x20
0000104f: ADD
00001050: DUP3
00001051: DUP2
00001052: MSTORE
00001053: PUSH1 0x20
00001055: ADD
00001056: SWAP3
00001057: POP
00001058: POP
00001059: POP
0000105a: PUSH1 0x40
0000105c: MLOAD
0000105d: DUP1
0000105e: SWAP2
0000105f: SUB
00001060: SWAP1
00001061: LOG3
00001062: DUP4
00001063: SWAP11
00001064: POP
00001065: POP
00001066: POP
00001067: POP
00001068: POP
00001069: POP
0000106a: POP
0000106b: POP
0000106c: POP
0000106d: POP
0000106e: POP
0000106f: SWAP3
00001070: SWAP2
00001071: POP
00001072: POP
00001073: JUMP
00001074: JUMPDEST
00001075: PUSH1 0x00
00001077: PUSH9 0x010000000000000000
00001081: PUSH1 0x0e
00001083: PUSH1 0x00
00001085: DUP5
00001086: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000109b: AND
0000109c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010b1: AND
000010b2: DUP2
000010b3: MSTORE
000010b4: PUSH1 0x20
000010b6: ADD
000010b7: SWAP1
000010b8: DUP2
000010b9: MSTORE
000010ba: PUSH1 0x20
000010bc: ADD
000010bd: PUSH1 0x00
000010bf: KECCAK256
000010c0: SLOAD
000010c1: PUSH1 0x0c
000010c3: PUSH1 0x00
000010c5: DUP6
000010c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010db: AND
000010dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010f1: AND
000010f2: DUP2
000010f3: MSTORE
000010f4: PUSH1 0x20
000010f6: ADD
000010f7: SWAP1
000010f8: DUP2
000010f9: MSTORE
000010fa: PUSH1 0x20
000010fc: ADD
000010fd: PUSH1 0x00
000010ff: KECCAK256
00001100: SLOAD
00001101: PUSH1 0x05
00001103: SLOAD
00001104: MUL
00001105: SUB
00001106: DUP2
00001107: ISZERO
00001108: ISZERO
00001109: PUSH2 0x110e
0000110c: JUMPI
0000110d: INVALID
0000110e: JUMPDEST
0000110f: DIV
00001110: SWAP1
00001111: POP
00001112: SWAP2
00001113: SWAP1
00001114: POP
00001115: JUMP
00001116: JUMPDEST
00001117: PUSH1 0x11
00001119: PUSH1 0x20
0000111b: MSTORE
0000111c: DUP1
0000111d: PUSH1 0x00
0000111f: MSTORE
00001120: PUSH1 0x40
00001122: PUSH1 0x00
00001124: KECCAK256
00001125: PUSH1 0x00
00001127: SWAP2
00001128: POP
00001129: SLOAD
0000112a: SWAP1
0000112b: PUSH2 0x0100
0000112e: EXP
0000112f: SWAP1
00001130: DIV
00001131: PUSH1 0xff
00001133: AND
00001134: DUP2
00001135: JUMP
00001136: JUMPDEST
00001137: PUSH1 0x00
00001139: DUP1
0000113a: SLOAD
0000113b: PUSH1 0x01
0000113d: DUP2
0000113e: PUSH1 0x01
00001140: AND
00001141: ISZERO
00001142: PUSH2 0x0100
00001145: MUL
00001146: SUB
00001147: AND
00001148: PUSH1 0x02
0000114a: SWAP1
0000114b: DIV
0000114c: DUP1
0000114d: PUSH1 0x1f
0000114f: ADD
00001150: PUSH1 0x20
00001152: DUP1
00001153: SWAP2
00001154: DIV
00001155: MUL
00001156: PUSH1 0x20
00001158: ADD
00001159: PUSH1 0x40
0000115b: MLOAD
0000115c: SWAP1
0000115d: DUP2
0000115e: ADD
0000115f: PUSH1 0x40
00001161: MSTORE
00001162: DUP1
00001163: SWAP3
00001164: SWAP2
00001165: SWAP1
00001166: DUP2
00001167: DUP2
00001168: MSTORE
00001169: PUSH1 0x20
0000116b: ADD
0000116c: DUP3
0000116d: DUP1
0000116e: SLOAD
0000116f: PUSH1 0x01
00001171: DUP2
00001172: PUSH1 0x01
00001174: AND
00001175: ISZERO
00001176: PUSH2 0x0100
00001179: MUL
0000117a: SUB
0000117b: AND
0000117c: PUSH1 0x02
0000117e: SWAP1
0000117f: DIV
00001180: DUP1
00001181: ISZERO
00001182: PUSH2 0x11cc
00001185: JUMPI
00001186: DUP1
00001187: PUSH1 0x1f
00001189: LT
0000118a: PUSH2 0x11a1
0000118d: JUMPI
0000118e: PUSH2 0x0100
00001191: DUP1
00001192: DUP4
00001193: SLOAD
00001194: DIV
00001195: MUL
00001196: DUP4
00001197: MSTORE
00001198: SWAP2
00001199: PUSH1 0x20
0000119b: ADD
0000119c: SWAP2
0000119d: PUSH2 0x11cc
000011a0: JUMP
000011a1: JUMPDEST
000011a2: DUP3
000011a3: ADD
000011a4: SWAP2
000011a5: SWAP1
000011a6: PUSH1 0x00
000011a8: MSTORE
000011a9: PUSH1 0x20
000011ab: PUSH1 0x00
000011ad: KECCAK256
000011ae: SWAP1
000011af: JUMPDEST
000011b0: DUP2
000011b1: SLOAD
000011b2: DUP2
000011b3: MSTORE
000011b4: SWAP1
000011b5: PUSH1 0x01
000011b7: ADD
000011b8: SWAP1
000011b9: PUSH1 0x20
000011bb: ADD
000011bc: DUP1
000011bd: DUP4
000011be: GT
000011bf: PUSH2 0x11af
000011c2: JUMPI
000011c3: DUP3
000011c4: SWAP1
000011c5: SUB
000011c6: PUSH1 0x1f
000011c8: AND
000011c9: DUP3
000011ca: ADD
000011cb: SWAP2
000011cc: JUMPDEST
000011cd: POP
000011ce: POP
000011cf: POP
000011d0: POP
000011d1: POP
000011d2: DUP2
000011d3: JUMP
000011d4: JUMPDEST
000011d5: PUSH1 0x07
000011d7: SLOAD
000011d8: DUP2
000011d9: JUMP
000011da: JUMPDEST
000011db: PUSH1 0x00
000011dd: DUP1
000011de: PUSH1 0x00
000011e0: DUP1
000011e1: PUSH2 0x11f8
000011e4: PUSH2 0x11f1
000011e7: DUP7
000011e8: PUSH1 0x0f
000011ea: PUSH1 0xff
000011ec: AND
000011ed: PUSH2 0x24f8
000011f0: JUMP
000011f1: JUMPDEST
000011f2: PUSH1 0x64
000011f4: PUSH2 0x2533
000011f7: JUMP
000011f8: JUMPDEST
000011f9: SWAP3
000011fa: POP
000011fb: PUSH2 0x1204
000011fe: DUP6
000011ff: DUP5
00001200: PUSH2 0x24df
00001203: JUMP
00001204: JUMPDEST
00001205: SWAP2
00001206: POP
00001207: PUSH2 0x120f
0000120a: DUP3
0000120b: PUSH2 0x256c
0000120e: JUMP
0000120f: JUMPDEST
00001210: SWAP1
00001211: POP
00001212: DUP1
00001213: SWAP4
00001214: POP
00001215: POP
00001216: POP
00001217: POP
00001218: SWAP2
00001219: SWAP1
0000121a: POP
0000121b: JUMP
0000121c: JUMPDEST
0000121d: PUSH1 0x00
0000121f: PUSH1 0x03
00001221: SLOAD
00001222: SWAP1
00001223: POP
00001224: SWAP1
00001225: JUMP
00001226: JUMPDEST
00001227: PUSH1 0x00
00001229: DUP1
0000122a: PUSH1 0x00
0000122c: DUP1
0000122d: PUSH1 0x00
0000122f: PUSH1 0x12
00001231: PUSH1 0x00
00001233: CALLER
00001234: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001249: AND
0000124a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000125f: AND
00001260: DUP2
00001261: MSTORE
00001262: PUSH1 0x20
00001264: ADD
00001265: SWAP1
00001266: DUP2
00001267: MSTORE
00001268: PUSH1 0x20
0000126a: ADD
0000126b: PUSH1 0x00
0000126d: KECCAK256
0000126e: SLOAD
0000126f: PUSH1 0x13
00001271: PUSH1 0x00
00001273: CALLER
00001274: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001289: AND
0000128a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000129f: AND
000012a0: DUP2
000012a1: MSTORE
000012a2: PUSH1 0x20
000012a4: ADD
000012a5: SWAP1
000012a6: DUP2
000012a7: MSTORE
000012a8: PUSH1 0x20
000012aa: ADD
000012ab: PUSH1 0x00
000012ad: KECCAK256
000012ae: SLOAD
000012af: PUSH2 0x12b7
000012b2: CALLER
000012b3: PUSH2 0x17d0
000012b6: JUMP
000012b7: JUMPDEST
000012b8: PUSH2 0x12c1
000012bb: PUSH1 0x01
000012bd: PUSH2 0x1745
000012c0: JUMP
000012c1: JUMPDEST
000012c2: PUSH2 0x12cb
000012c5: PUSH1 0x00
000012c7: PUSH2 0x1745
000012ca: JUMP
000012cb: JUMPDEST
000012cc: SWAP5
000012cd: POP
000012ce: SWAP5
000012cf: POP
000012d0: SWAP5
000012d1: POP
000012d2: SWAP5
000012d3: POP
000012d4: SWAP5
000012d5: POP
000012d6: SWAP1
000012d7: SWAP2
000012d8: SWAP3
000012d9: SWAP4
000012da: SWAP5
000012db: JUMP
000012dc: JUMPDEST
000012dd: PUSH1 0x00
000012df: DUP1
000012e0: PUSH1 0x00
000012e2: DUP1
000012e3: PUSH1 0x03
000012e5: SLOAD
000012e6: DUP6
000012e7: GT
000012e8: ISZERO
000012e9: ISZERO
000012ea: ISZERO
000012eb: PUSH2 0x12f3
000012ee: JUMPI
000012ef: PUSH1 0x00
000012f1: DUP1
000012f2: REVERT
000012f3: JUMPDEST
000012f4: PUSH2 0x12fc
000012f7: DUP6
000012f8: PUSH2 0x25f9
000012fb: JUMP
000012fc: JUMPDEST
000012fd: SWAP3
000012fe: POP
000012ff: PUSH2 0x1316
00001302: PUSH2 0x130f
00001305: DUP5
00001306: PUSH1 0x0a
00001308: PUSH1 0xff
0000130a: AND
0000130b: PUSH2 0x24f8
0000130e: JUMP
0000130f: JUMPDEST
00001310: PUSH1 0x64
00001312: PUSH2 0x2533
00001315: JUMP
00001316: JUMPDEST
00001317: SWAP2
00001318: POP
00001319: PUSH2 0x1322
0000131c: DUP4
0000131d: DUP4
0000131e: PUSH2 0x24df
00001321: JUMP
00001322: JUMPDEST
00001323: SWAP1
00001324: POP
00001325: DUP1
00001326: SWAP4
00001327: POP
00001328: POP
00001329: POP
0000132a: POP
0000132b: SWAP2
0000132c: SWAP1
0000132d: POP
0000132e: JUMP
0000132f: JUMPDEST
00001330: PUSH1 0x12
00001332: DUP2
00001333: JUMP
00001334: JUMPDEST
00001335: PUSH1 0x00
00001337: PUSH1 0x0b
00001339: PUSH1 0x00
0000133b: SWAP1
0000133c: SLOAD
0000133d: SWAP1
0000133e: PUSH2 0x0100
00001341: EXP
00001342: SWAP1
00001343: DIV
00001344: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001359: AND
0000135a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000136f: AND
00001370: CALLER
00001371: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001386: AND
00001387: EQ
00001388: ISZERO
00001389: ISZERO
0000138a: PUSH2 0x1392
0000138d: JUMPI
0000138e: PUSH1 0x00
00001390: DUP1
00001391: REVERT
00001392: JUMPDEST
00001393: PUSH1 0x02
00001395: SLOAD
00001396: SWAP1
00001397: POP
00001398: SWAP1
00001399: JUMP
0000139a: JUMPDEST
0000139b: PUSH1 0x00
0000139d: DUP1
0000139e: PUSH1 0x00
000013a0: PUSH2 0x13a9
000013a3: PUSH1 0x01
000013a5: PUSH2 0x1745
000013a8: JUMP
000013a9: JUMPDEST
000013aa: GT
000013ab: ISZERO
000013ac: ISZERO
000013ad: PUSH2 0x13b5
000013b0: JUMPI
000013b1: PUSH1 0x00
000013b3: DUP1
000013b4: REVERT
000013b5: JUMPDEST
000013b6: CALLER
000013b7: SWAP2
000013b8: POP
000013b9: PUSH2 0x13c2
000013bc: PUSH1 0x00
000013be: PUSH2 0x1745
000013c1: JUMP
000013c2: JUMPDEST
000013c3: SWAP1
000013c4: POP
000013c5: PUSH9 0x010000000000000000
000013cf: DUP2
000013d0: MUL
000013d1: PUSH1 0x0e
000013d3: PUSH1 0x00
000013d5: DUP5
000013d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013eb: AND
000013ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001401: AND
00001402: DUP2
00001403: MSTORE
00001404: PUSH1 0x20
00001406: ADD
00001407: SWAP1
00001408: DUP2
00001409: MSTORE
0000140a: PUSH1 0x20
0000140c: ADD
0000140d: PUSH1 0x00
0000140f: KECCAK256
00001410: PUSH1 0x00
00001412: DUP3
00001413: DUP3
00001414: SLOAD
00001415: ADD
00001416: SWAP3
00001417: POP
00001418: POP
00001419: DUP2
0000141a: SWAP1
0000141b: SSTORE
0000141c: POP
0000141d: PUSH1 0x0d
0000141f: PUSH1 0x00
00001421: DUP4
00001422: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001437: AND
00001438: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000144d: AND
0000144e: DUP2
0000144f: MSTORE
00001450: PUSH1 0x20
00001452: ADD
00001453: SWAP1
00001454: DUP2
00001455: MSTORE
00001456: PUSH1 0x20
00001458: ADD
00001459: PUSH1 0x00
0000145b: KECCAK256
0000145c: SLOAD
0000145d: DUP2
0000145e: ADD
0000145f: SWAP1
00001460: POP
00001461: PUSH1 0x00
00001463: PUSH1 0x0d
00001465: PUSH1 0x00
00001467: DUP5
00001468: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000147d: AND
0000147e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001493: AND
00001494: DUP2
00001495: MSTORE
00001496: PUSH1 0x20
00001498: ADD
00001499: SWAP1
0000149a: DUP2
0000149b: MSTORE
0000149c: PUSH1 0x20
0000149e: ADD
0000149f: PUSH1 0x00
000014a1: KECCAK256
000014a2: DUP2
000014a3: SWAP1
000014a4: SSTORE
000014a5: POP
000014a6: PUSH2 0x14ee
000014a9: PUSH1 0x13
000014ab: PUSH1 0x00
000014ad: DUP5
000014ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014c3: AND
000014c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014d9: AND
000014da: DUP2
000014db: MSTORE
000014dc: PUSH1 0x20
000014de: ADD
000014df: SWAP1
000014e0: DUP2
000014e1: MSTORE
000014e2: PUSH1 0x20
000014e4: ADD
000014e5: PUSH1 0x00
000014e7: KECCAK256
000014e8: SLOAD
000014e9: DUP3
000014ea: PUSH2 0x254e
000014ed: JUMP
000014ee: JUMPDEST
000014ef: PUSH1 0x13
000014f1: PUSH1 0x00
000014f3: DUP5
000014f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001509: AND
0000150a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000151f: AND
00001520: DUP2
00001521: MSTORE
00001522: PUSH1 0x20
00001524: ADD
00001525: SWAP1
00001526: DUP2
00001527: MSTORE
00001528: PUSH1 0x20
0000152a: ADD
0000152b: PUSH1 0x00
0000152d: KECCAK256
0000152e: DUP2
0000152f: SWAP1
00001530: SSTORE
00001531: POP
00001532: DUP2
00001533: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001548: AND
00001549: PUSH2 0x08fc
0000154c: DUP3
0000154d: SWAP1
0000154e: DUP2
0000154f: ISZERO
00001550: MUL
00001551: SWAP1
00001552: PUSH1 0x40
00001554: MLOAD
00001555: PUSH1 0x00
00001557: PUSH1 0x40
00001559: MLOAD
0000155a: DUP1
0000155b: DUP4
0000155c: SUB
0000155d: DUP2
0000155e: DUP6
0000155f: DUP9
00001560: DUP9
00001561: CALL
00001562: SWAP4
00001563: POP
00001564: POP
00001565: POP
00001566: POP
00001567: ISZERO
00001568: DUP1
00001569: ISZERO
0000156a: PUSH2 0x1577
0000156d: JUMPI
0000156e: RETURNDATASIZE
0000156f: PUSH1 0x00
00001571: DUP1
00001572: RETURNDATACOPY
00001573: RETURNDATASIZE
00001574: PUSH1 0x00
00001576: REVERT
00001577: JUMPDEST
00001578: POP
00001579: DUP2
0000157a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000158f: AND
00001590: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc
000015b1: DUP3
000015b2: PUSH1 0x40
000015b4: MLOAD
000015b5: DUP1
000015b6: DUP3
000015b7: DUP2
000015b8: MSTORE
000015b9: PUSH1 0x20
000015bb: ADD
000015bc: SWAP2
000015bd: POP
000015be: POP
000015bf: PUSH1 0x40
000015c1: MLOAD
000015c2: DUP1
000015c3: SWAP2
000015c4: SUB
000015c5: SWAP1
000015c6: LOG2
000015c7: POP
000015c8: POP
000015c9: JUMP
000015ca: JUMPDEST
000015cb: PUSH1 0x00
000015cd: DUP1
000015ce: PUSH1 0x00
000015d0: DUP1
000015d1: PUSH1 0x00
000015d3: PUSH1 0x03
000015d5: SLOAD
000015d6: EQ
000015d7: ISZERO
000015d8: PUSH2 0x15ef
000015db: JUMPI
000015dc: PUSH5 0x02540be400
000015e2: PUSH5 0x174876e800
000015e8: SUB
000015e9: SWAP4
000015ea: POP
000015eb: PUSH2 0x162c
000015ee: JUMP
000015ef: JUMPDEST
000015f0: PUSH2 0x1600
000015f3: PUSH8 0x0de0b6b3a7640000
000015fc: PUSH2 0x25f9
000015ff: JUMP
00001600: JUMPDEST
00001601: SWAP3
00001602: POP
00001603: PUSH2 0x161a
00001606: PUSH2 0x1613
00001609: DUP5
0000160a: PUSH1 0x0a
0000160c: PUSH1 0xff
0000160e: AND
0000160f: PUSH2 0x24f8
00001612: JUMP
00001613: JUMPDEST
00001614: PUSH1 0x64
00001616: PUSH2 0x2533
00001619: JUMP
0000161a: JUMPDEST
0000161b: SWAP2
0000161c: POP
0000161d: PUSH2 0x1626
00001620: DUP4
00001621: DUP4
00001622: PUSH2 0x24df
00001625: JUMP
00001626: JUMPDEST
00001627: SWAP1
00001628: POP
00001629: DUP1
0000162a: SWAP4
0000162b: POP
0000162c: JUMPDEST
0000162d: POP
0000162e: POP
0000162f: POP
00001630: SWAP1
00001631: JUMP
00001632: JUMPDEST
00001633: PUSH1 0x08
00001635: SLOAD
00001636: DUP2
00001637: JUMP
00001638: JUMPDEST
00001639: PUSH1 0x06
0000163b: SLOAD
0000163c: DUP2
0000163d: JUMP
0000163e: JUMPDEST
0000163f: PUSH1 0x0b
00001641: PUSH1 0x00
00001643: SWAP1
00001644: SLOAD
00001645: SWAP1
00001646: PUSH2 0x0100
00001649: EXP
0000164a: SWAP1
0000164b: DIV
0000164c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001661: AND
00001662: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001677: AND
00001678: CALLER
00001679: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000168e: AND
0000168f: EQ
00001690: ISZERO
00001691: ISZERO
00001692: PUSH2 0x169a
00001695: JUMPI
00001696: PUSH1 0x00
00001698: DUP1
00001699: REVERT
0000169a: JUMPDEST
0000169b: DUP3
0000169c: PUSH1 0x0f
0000169e: PUSH1 0x00
000016a0: DUP7
000016a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016b6: AND
000016b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016cc: AND
000016cd: DUP2
000016ce: MSTORE
000016cf: PUSH1 0x20
000016d1: ADD
000016d2: SWAP1
000016d3: DUP2
000016d4: MSTORE
000016d5: PUSH1 0x20
000016d7: ADD
000016d8: PUSH1 0x00
000016da: KECCAK256
000016db: PUSH1 0x00
000016dd: PUSH2 0x0100
000016e0: EXP
000016e1: DUP2
000016e2: SLOAD
000016e3: DUP2
000016e4: PUSH1 0xff
000016e6: MUL
000016e7: NOT
000016e8: AND
000016e9: SWAP1
000016ea: DUP4
000016eb: ISZERO
000016ec: ISZERO
000016ed: MUL
000016ee: OR
000016ef: SWAP1
000016f0: SSTORE
000016f1: POP
000016f2: DUP1
000016f3: PUSH1 0x10
000016f5: PUSH1 0x00
000016f7: DUP7
000016f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000170d: AND
0000170e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001723: AND
00001724: DUP2
00001725: MSTORE
00001726: PUSH1 0x20
00001728: ADD
00001729: SWAP1
0000172a: DUP2
0000172b: MSTORE
0000172c: PUSH1 0x20
0000172e: ADD
0000172f: PUSH1 0x00
00001731: KECCAK256
00001732: DUP2
00001733: SWAP1
00001734: SSTORE
00001735: POP
00001736: DUP2
00001737: PUSH1 0xff
00001739: AND
0000173a: PUSH1 0x04
0000173c: DUP2
0000173d: SWAP1
0000173e: SSTORE
0000173f: POP
00001740: POP
00001741: POP
00001742: POP
00001743: POP
00001744: JUMP
00001745: JUMPDEST
00001746: PUSH1 0x00
00001748: DUP1
00001749: CALLER
0000174a: SWAP1
0000174b: POP
0000174c: DUP3
0000174d: PUSH2 0x175e
00001750: JUMPI
00001751: PUSH2 0x1759
00001754: DUP2
00001755: PUSH2 0x1074
00001758: JUMP
00001759: JUMPDEST
0000175a: PUSH2 0x17a9
0000175d: JUMP
0000175e: JUMPDEST
0000175f: PUSH1 0x0d
00001761: PUSH1 0x00
00001763: DUP3
00001764: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001779: AND
0000177a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000178f: AND
00001790: DUP2
00001791: MSTORE
00001792: PUSH1 0x20
00001794: ADD
00001795: SWAP1
00001796: DUP2
00001797: MSTORE
00001798: PUSH1 0x20
0000179a: ADD
0000179b: PUSH1 0x00
0000179d: KECCAK256
0000179e: SLOAD
0000179f: PUSH2 0x17a7
000017a2: DUP3
000017a3: PUSH2 0x1074
000017a6: JUMP
000017a7: JUMPDEST
000017a8: ADD
000017a9: JUMPDEST
000017aa: SWAP2
000017ab: POP
000017ac: POP
000017ad: SWAP2
000017ae: SWAP1
000017af: POP
000017b0: JUMP
000017b1: JUMPDEST
000017b2: PUSH1 0x00
000017b4: ADDRESS
000017b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017ca: AND
000017cb: BALANCE
000017cc: SWAP1
000017cd: POP
000017ce: SWAP1
000017cf: JUMP
000017d0: JUMPDEST
000017d1: PUSH1 0x00
000017d3: PUSH1 0x0c
000017d5: PUSH1 0x00
000017d7: DUP4
000017d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017ed: AND
000017ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001803: AND
00001804: DUP2
00001805: MSTORE
00001806: PUSH1 0x20
00001808: ADD
00001809: SWAP1
0000180a: DUP2
0000180b: MSTORE
0000180c: PUSH1 0x20
0000180e: ADD
0000180f: PUSH1 0x00
00001811: KECCAK256
00001812: SLOAD
00001813: SWAP1
00001814: POP
00001815: SWAP2
00001816: SWAP1
00001817: POP
00001818: JUMP
00001819: JUMPDEST
0000181a: PUSH1 0x0a
0000181c: SLOAD
0000181d: DUP2
0000181e: JUMP
0000181f: JUMPDEST
00001820: PUSH1 0x0b
00001822: PUSH1 0x00
00001824: SWAP1
00001825: SLOAD
00001826: SWAP1
00001827: PUSH2 0x0100
0000182a: EXP
0000182b: SWAP1
0000182c: DIV
0000182d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001842: AND
00001843: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001858: AND
00001859: CALLER
0000185a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000186f: AND
00001870: EQ
00001871: ISZERO
00001872: ISZERO
00001873: PUSH2 0x187b
00001876: JUMPI
00001877: PUSH1 0x00
00001879: DUP1
0000187a: REVERT
0000187b: JUMPDEST
0000187c: DUP1
0000187d: PUSH1 0x06
0000187f: DUP2
00001880: SWAP1
00001881: SSTORE
00001882: POP
00001883: POP
00001884: JUMP
00001885: JUMPDEST
00001886: PUSH1 0x12
00001888: PUSH1 0x20
0000188a: MSTORE
0000188b: DUP1
0000188c: PUSH1 0x00
0000188e: MSTORE
0000188f: PUSH1 0x40
00001891: PUSH1 0x00
00001893: KECCAK256
00001894: PUSH1 0x00
00001896: SWAP2
00001897: POP
00001898: SWAP1
00001899: POP
0000189a: SLOAD
0000189b: DUP2
0000189c: JUMP
0000189d: JUMPDEST
0000189e: PUSH1 0x00
000018a0: DUP1
000018a1: PUSH1 0x00
000018a3: DUP1
000018a4: PUSH1 0x00
000018a6: PUSH1 0x03
000018a8: SLOAD
000018a9: EQ
000018aa: ISZERO
000018ab: PUSH2 0x18c2
000018ae: JUMPI
000018af: PUSH5 0x02540be400
000018b5: PUSH5 0x174876e800
000018bb: ADD
000018bc: SWAP4
000018bd: POP
000018be: PUSH2 0x18ff
000018c1: JUMP
000018c2: JUMPDEST
000018c3: PUSH2 0x18d3
000018c6: PUSH8 0x0de0b6b3a7640000
000018cf: PUSH2 0x25f9
000018d2: JUMP
000018d3: JUMPDEST
000018d4: SWAP3
000018d5: POP
000018d6: PUSH2 0x18ed
000018d9: PUSH2 0x18e6
000018dc: DUP5
000018dd: PUSH1 0x0f
000018df: PUSH1 0xff
000018e1: AND
000018e2: PUSH2 0x24f8
000018e5: JUMP
000018e6: JUMPDEST
000018e7: PUSH1 0x64
000018e9: PUSH2 0x2533
000018ec: JUMP
000018ed: JUMPDEST
000018ee: SWAP2
000018ef: POP
000018f0: PUSH2 0x18f9
000018f3: DUP4
000018f4: DUP4
000018f5: PUSH2 0x254e
000018f8: JUMP
000018f9: JUMPDEST
000018fa: SWAP1
000018fb: POP
000018fc: DUP1
000018fd: SWAP4
000018fe: POP
000018ff: JUMPDEST
00001900: POP
00001901: POP
00001902: POP
00001903: SWAP1
00001904: JUMP
00001905: JUMPDEST
00001906: PUSH1 0x00
00001908: PUSH1 0x0b
0000190a: PUSH1 0x00
0000190c: SWAP1
0000190d: SLOAD
0000190e: SWAP1
0000190f: PUSH2 0x0100
00001912: EXP
00001913: SWAP1
00001914: DIV
00001915: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000192a: AND
0000192b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001940: AND
00001941: CALLER
00001942: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001957: AND
00001958: EQ
00001959: SWAP1
0000195a: POP
0000195b: SWAP1
0000195c: JUMP
0000195d: JUMPDEST
0000195e: PUSH1 0x00
00001960: DUP1
00001961: CALLER
00001962: SWAP1
00001963: POP
00001964: PUSH2 0x196c
00001967: DUP2
00001968: PUSH2 0x17d0
0000196b: JUMP
0000196c: JUMPDEST
0000196d: SWAP2
0000196e: POP
0000196f: POP
00001970: SWAP1
00001971: JUMP
00001972: JUMPDEST
00001973: PUSH1 0x01
00001975: DUP1
00001976: SLOAD
00001977: PUSH1 0x01
00001979: DUP2
0000197a: PUSH1 0x01
0000197c: AND
0000197d: ISZERO
0000197e: PUSH2 0x0100
00001981: MUL
00001982: SUB
00001983: AND
00001984: PUSH1 0x02
00001986: SWAP1
00001987: DIV
00001988: DUP1
00001989: PUSH1 0x1f
0000198b: ADD
0000198c: PUSH1 0x20
0000198e: DUP1
0000198f: SWAP2
00001990: DIV
00001991: MUL
00001992: PUSH1 0x20
00001994: ADD
00001995: PUSH1 0x40
00001997: MLOAD
00001998: SWAP1
00001999: DUP2
0000199a: ADD
0000199b: PUSH1 0x40
0000199d: MSTORE
0000199e: DUP1
0000199f: SWAP3
000019a0: SWAP2
000019a1: SWAP1
000019a2: DUP2
000019a3: DUP2
000019a4: MSTORE
000019a5: PUSH1 0x20
000019a7: ADD
000019a8: DUP3
000019a9: DUP1
000019aa: SLOAD
000019ab: PUSH1 0x01
000019ad: DUP2
000019ae: PUSH1 0x01
000019b0: AND
000019b1: ISZERO
000019b2: PUSH2 0x0100
000019b5: MUL
000019b6: SUB
000019b7: AND
000019b8: PUSH1 0x02
000019ba: SWAP1
000019bb: DIV
000019bc: DUP1
000019bd: ISZERO
000019be: PUSH2 0x1a08
000019c1: JUMPI
000019c2: DUP1
000019c3: PUSH1 0x1f
000019c5: LT
000019c6: PUSH2 0x19dd
000019c9: JUMPI
000019ca: PUSH2 0x0100
000019cd: DUP1
000019ce: DUP4
000019cf: SLOAD
000019d0: DIV
000019d1: MUL
000019d2: DUP4
000019d3: MSTORE
000019d4: SWAP2
000019d5: PUSH1 0x20
000019d7: ADD
000019d8: SWAP2
000019d9: PUSH2 0x1a08
000019dc: JUMP
000019dd: JUMPDEST
000019de: DUP3
000019df: ADD
000019e0: SWAP2
000019e1: SWAP1
000019e2: PUSH1 0x00
000019e4: MSTORE
000019e5: PUSH1 0x20
000019e7: PUSH1 0x00
000019e9: KECCAK256
000019ea: SWAP1
000019eb: JUMPDEST
000019ec: DUP2
000019ed: SLOAD
000019ee: DUP2
000019ef: MSTORE
000019f0: SWAP1
000019f1: PUSH1 0x01
000019f3: ADD
000019f4: SWAP1
000019f5: PUSH1 0x20
000019f7: ADD
000019f8: DUP1
000019f9: DUP4
000019fa: GT
000019fb: PUSH2 0x19eb
000019fe: JUMPI
000019ff: DUP3
00001a00: SWAP1
00001a01: SUB
00001a02: PUSH1 0x1f
00001a04: AND
00001a05: DUP3
00001a06: ADD
00001a07: SWAP2
00001a08: JUMPDEST
00001a09: POP
00001a0a: POP
00001a0b: POP
00001a0c: POP
00001a0d: POP
00001a0e: DUP2
00001a0f: JUMP
00001a10: JUMPDEST
00001a11: PUSH1 0x14
00001a13: PUSH1 0x00
00001a15: SWAP1
00001a16: SLOAD
00001a17: SWAP1
00001a18: PUSH2 0x0100
00001a1b: EXP
00001a1c: SWAP1
00001a1d: DIV
00001a1e: PUSH1 0xff
00001a20: AND
00001a21: DUP2
00001a22: JUMP
00001a23: JUMPDEST
00001a24: PUSH1 0x09
00001a26: SLOAD
00001a27: DUP2
00001a28: JUMP
00001a29: JUMPDEST
00001a2a: PUSH1 0x00
00001a2c: DUP1
00001a2d: PUSH1 0x00
00001a2f: DUP1
00001a30: PUSH1 0x00
00001a32: PUSH1 0x07
00001a34: SLOAD
00001a35: PUSH2 0x1a3c
00001a38: PUSH2 0x121c
00001a3b: JUMP
00001a3c: JUMPDEST
00001a3d: PUSH2 0x1a44
00001a40: PUSH2 0x17b1
00001a43: JUMP
00001a44: JUMPDEST
00001a45: PUSH1 0x08
00001a47: SLOAD
00001a48: PUSH1 0x09
00001a4a: SLOAD
00001a4b: SWAP5
00001a4c: POP
00001a4d: SWAP5
00001a4e: POP
00001a4f: SWAP5
00001a50: POP
00001a51: SWAP5
00001a52: POP
00001a53: SWAP5
00001a54: POP
00001a55: SWAP1
00001a56: SWAP2
00001a57: SWAP3
00001a58: SWAP4
00001a59: SWAP5
00001a5a: JUMP
00001a5b: JUMPDEST
00001a5c: PUSH1 0x0b
00001a5e: PUSH1 0x00
00001a60: SWAP1
00001a61: SLOAD
00001a62: SWAP1
00001a63: PUSH2 0x0100
00001a66: EXP
00001a67: SWAP1
00001a68: DIV
00001a69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a7e: AND
00001a7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a94: AND
00001a95: CALLER
00001a96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aab: AND
00001aac: EQ
00001aad: ISZERO
00001aae: ISZERO
00001aaf: PUSH2 0x1ab7
00001ab2: JUMPI
00001ab3: PUSH1 0x00
00001ab5: DUP1
00001ab6: REVERT
00001ab7: JUMPDEST
00001ab8: PUSH1 0x00
00001aba: PUSH1 0x14
00001abc: PUSH1 0x00
00001abe: PUSH2 0x0100
00001ac1: EXP
00001ac2: DUP2
00001ac3: SLOAD
00001ac4: DUP2
00001ac5: PUSH1 0xff
00001ac7: MUL
00001ac8: NOT
00001ac9: AND
00001aca: SWAP1
00001acb: DUP4
00001acc: ISZERO
00001acd: ISZERO
00001ace: MUL
00001acf: OR
00001ad0: SWAP1
00001ad1: SSTORE
00001ad2: POP
00001ad3: JUMP
00001ad4: JUMPDEST
00001ad5: PUSH1 0x00
00001ad7: DUP1
00001ad8: PUSH1 0x00
00001ada: DUP1
00001adb: PUSH1 0x00
00001add: DUP1
00001ade: PUSH2 0x1ae5
00001ae1: PUSH2 0x195d
00001ae4: JUMP
00001ae5: JUMPDEST
00001ae6: GT
00001ae7: ISZERO
00001ae8: ISZERO
00001ae9: PUSH2 0x1af1
00001aec: JUMPI
00001aed: PUSH1 0x00
00001aef: DUP1
00001af0: REVERT
00001af1: JUMPDEST
00001af2: CALLER
00001af3: SWAP4
00001af4: POP
00001af5: PUSH1 0x14
00001af7: PUSH1 0x00
00001af9: SWAP1
00001afa: SLOAD
00001afb: SWAP1
00001afc: PUSH2 0x0100
00001aff: EXP
00001b00: SWAP1
00001b01: DIV
00001b02: PUSH1 0xff
00001b04: AND
00001b05: ISZERO
00001b06: DUP1
00001b07: ISZERO
00001b08: PUSH2 0x1b50
00001b0b: JUMPI
00001b0c: POP
00001b0d: PUSH1 0x0c
00001b0f: PUSH1 0x00
00001b11: DUP6
00001b12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b27: AND
00001b28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b3d: AND
00001b3e: DUP2
00001b3f: MSTORE
00001b40: PUSH1 0x20
00001b42: ADD
00001b43: SWAP1
00001b44: DUP2
00001b45: MSTORE
00001b46: PUSH1 0x20
00001b48: ADD
00001b49: PUSH1 0x00
00001b4b: KECCAK256
00001b4c: SLOAD
00001b4d: DUP7
00001b4e: GT
00001b4f: ISZERO
00001b50: JUMPDEST
00001b51: ISZERO
00001b52: ISZERO
00001b53: PUSH2 0x1b5b
00001b56: JUMPI
00001b57: PUSH1 0x00
00001b59: DUP1
00001b5a: REVERT
00001b5b: JUMPDEST
00001b5c: PUSH1 0x00
00001b5e: PUSH2 0x1b67
00001b61: PUSH1 0x01
00001b63: PUSH2 0x1745
00001b66: JUMP
00001b67: JUMPDEST
00001b68: GT
00001b69: ISZERO
00001b6a: PUSH2 0x1b76
00001b6d: JUMPI
00001b6e: PUSH2 0x1b75
00001b71: PUSH2 0x139a
00001b74: JUMP
00001b75: JUMPDEST
00001b76: JUMPDEST
00001b77: PUSH2 0x1b84
00001b7a: DUP7
00001b7b: PUSH1 0x0a
00001b7d: PUSH1 0xff
00001b7f: AND
00001b80: PUSH2 0x2533
00001b83: JUMP
00001b84: JUMPDEST
00001b85: SWAP3
00001b86: POP
00001b87: PUSH2 0x1b90
00001b8a: DUP7
00001b8b: DUP5
00001b8c: PUSH2 0x24df
00001b8f: JUMP
00001b90: JUMPDEST
00001b91: SWAP2
00001b92: POP
00001b93: PUSH2 0x1b9b
00001b96: DUP4
00001b97: PUSH2 0x25f9
00001b9a: JUMP
00001b9b: JUMPDEST
00001b9c: SWAP1
00001b9d: POP
00001b9e: PUSH2 0x1ba9
00001ba1: PUSH1 0x09
00001ba3: SLOAD
00001ba4: DUP3
00001ba5: PUSH2 0x254e
00001ba8: JUMP
00001ba9: JUMPDEST
00001baa: PUSH1 0x09
00001bac: DUP2
00001bad: SWAP1
00001bae: SSTORE
00001baf: POP
00001bb0: PUSH2 0x1bbb
00001bb3: PUSH1 0x03
00001bb5: SLOAD
00001bb6: DUP5
00001bb7: PUSH2 0x24df
00001bba: JUMP
00001bbb: JUMPDEST
00001bbc: PUSH1 0x03
00001bbe: DUP2
00001bbf: SWAP1
00001bc0: SSTORE
00001bc1: POP
00001bc2: PUSH2 0x1c0a
00001bc5: PUSH1 0x0c
00001bc7: PUSH1 0x00
00001bc9: DUP7
00001bca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bdf: AND
00001be0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bf5: AND
00001bf6: DUP2
00001bf7: MSTORE
00001bf8: PUSH1 0x20
00001bfa: ADD
00001bfb: SWAP1
00001bfc: DUP2
00001bfd: MSTORE
00001bfe: PUSH1 0x20
00001c00: ADD
00001c01: PUSH1 0x00
00001c03: KECCAK256
00001c04: SLOAD
00001c05: DUP8
00001c06: PUSH2 0x24df
00001c09: JUMP
00001c0a: JUMPDEST
00001c0b: PUSH1 0x0c
00001c0d: PUSH1 0x00
00001c0f: DUP7
00001c10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c25: AND
00001c26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c3b: AND
00001c3c: DUP2
00001c3d: MSTORE
00001c3e: PUSH1 0x20
00001c40: ADD
00001c41: SWAP1
00001c42: DUP2
00001c43: MSTORE
00001c44: PUSH1 0x20
00001c46: ADD
00001c47: PUSH1 0x00
00001c49: KECCAK256
00001c4a: DUP2
00001c4b: SWAP1
00001c4c: SSTORE
00001c4d: POP
00001c4e: PUSH2 0x1c96
00001c51: PUSH1 0x0c
00001c53: PUSH1 0x00
00001c55: DUP10
00001c56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c6b: AND
00001c6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c81: AND
00001c82: DUP2
00001c83: MSTORE
00001c84: PUSH1 0x20
00001c86: ADD
00001c87: SWAP1
00001c88: DUP2
00001c89: MSTORE
00001c8a: PUSH1 0x20
00001c8c: ADD
00001c8d: PUSH1 0x00
00001c8f: KECCAK256
00001c90: SLOAD
00001c91: DUP4
00001c92: PUSH2 0x254e
00001c95: JUMP
00001c96: JUMPDEST
00001c97: PUSH1 0x0c
00001c99: PUSH1 0x00
00001c9b: DUP10
00001c9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cb1: AND
00001cb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cc7: AND
00001cc8: DUP2
00001cc9: MSTORE
00001cca: PUSH1 0x20
00001ccc: ADD
00001ccd: SWAP1
00001cce: DUP2
00001ccf: MSTORE
00001cd0: PUSH1 0x20
00001cd2: ADD
00001cd3: PUSH1 0x00
00001cd5: KECCAK256
00001cd6: DUP2
00001cd7: SWAP1
00001cd8: SSTORE
00001cd9: POP
00001cda: DUP6
00001cdb: PUSH1 0x05
00001cdd: SLOAD
00001cde: MUL
00001cdf: PUSH1 0x0e
00001ce1: PUSH1 0x00
00001ce3: DUP7
00001ce4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cf9: AND
00001cfa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d0f: AND
00001d10: DUP2
00001d11: MSTORE
00001d12: PUSH1 0x20
00001d14: ADD
00001d15: SWAP1
00001d16: DUP2
00001d17: MSTORE
00001d18: PUSH1 0x20
00001d1a: ADD
00001d1b: PUSH1 0x00
00001d1d: KECCAK256
00001d1e: PUSH1 0x00
00001d20: DUP3
00001d21: DUP3
00001d22: SLOAD
00001d23: SUB
00001d24: SWAP3
00001d25: POP
00001d26: POP
00001d27: DUP2
00001d28: SWAP1
00001d29: SSTORE
00001d2a: POP
00001d2b: DUP2
00001d2c: PUSH1 0x05
00001d2e: SLOAD
00001d2f: MUL
00001d30: PUSH1 0x0e
00001d32: PUSH1 0x00
00001d34: DUP10
00001d35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d4a: AND
00001d4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d60: AND
00001d61: DUP2
00001d62: MSTORE
00001d63: PUSH1 0x20
00001d65: ADD
00001d66: SWAP1
00001d67: DUP2
00001d68: MSTORE
00001d69: PUSH1 0x20
00001d6b: ADD
00001d6c: PUSH1 0x00
00001d6e: KECCAK256
00001d6f: PUSH1 0x00
00001d71: DUP3
00001d72: DUP3
00001d73: SLOAD
00001d74: ADD
00001d75: SWAP3
00001d76: POP
00001d77: POP
00001d78: DUP2
00001d79: SWAP1
00001d7a: SSTORE
00001d7b: POP
00001d7c: PUSH2 0x1d9f
00001d7f: PUSH1 0x05
00001d81: SLOAD
00001d82: PUSH1 0x03
00001d84: SLOAD
00001d85: PUSH9 0x010000000000000000
00001d8f: DUP5
00001d90: MUL
00001d91: DUP2
00001d92: ISZERO
00001d93: ISZERO
00001d94: PUSH2 0x1d99
00001d97: JUMPI
00001d98: INVALID
00001d99: JUMPDEST
00001d9a: DIV
00001d9b: PUSH2 0x254e
00001d9e: JUMP
00001d9f: JUMPDEST
00001da0: PUSH1 0x05
00001da2: DUP2
00001da3: SWAP1
00001da4: SSTORE
00001da5: POP
00001da6: DUP7
00001da7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dbc: AND
00001dbd: DUP5
00001dbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dd3: AND
00001dd4: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001df5: DUP5
00001df6: PUSH1 0x40
00001df8: MLOAD
00001df9: DUP1
00001dfa: DUP3
00001dfb: DUP2
00001dfc: MSTORE
00001dfd: PUSH1 0x20
00001dff: ADD
00001e00: SWAP2
00001e01: POP
00001e02: POP
00001e03: PUSH1 0x40
00001e05: MLOAD
00001e06: DUP1
00001e07: SWAP2
00001e08: SUB
00001e09: SWAP1
00001e0a: LOG3
00001e0b: PUSH1 0x01
00001e0d: SWAP5
00001e0e: POP
00001e0f: POP
00001e10: POP
00001e11: POP
00001e12: POP
00001e13: SWAP3
00001e14: SWAP2
00001e15: POP
00001e16: POP
00001e17: JUMP
00001e18: JUMPDEST
00001e19: PUSH1 0x13
00001e1b: PUSH1 0x20
00001e1d: MSTORE
00001e1e: DUP1
00001e1f: PUSH1 0x00
00001e21: MSTORE
00001e22: PUSH1 0x40
00001e24: PUSH1 0x00
00001e26: KECCAK256
00001e27: PUSH1 0x00
00001e29: SWAP2
00001e2a: POP
00001e2b: SWAP1
00001e2c: POP
00001e2d: SLOAD
00001e2e: DUP2
00001e2f: JUMP
00001e30: JUMPDEST
00001e31: PUSH1 0x00
00001e33: PUSH1 0x0b
00001e35: PUSH1 0x00
00001e37: SWAP1
00001e38: SLOAD
00001e39: SWAP1
00001e3a: PUSH2 0x0100
00001e3d: EXP
00001e3e: SWAP1
00001e3f: DIV
00001e40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e55: AND
00001e56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e6b: AND
00001e6c: CALLER
00001e6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e82: AND
00001e83: EQ
00001e84: ISZERO
00001e85: ISZERO
00001e86: PUSH2 0x1e8e
00001e89: JUMPI
00001e8a: PUSH1 0x00
00001e8c: DUP1
00001e8d: REVERT
00001e8e: JUMPDEST
00001e8f: PUSH1 0x02
00001e91: SLOAD
00001e92: SWAP1
00001e93: POP
00001e94: PUSH1 0x00
00001e96: PUSH1 0x02
00001e98: DUP2
00001e99: SWAP1
00001e9a: SSTORE
00001e9b: POP
00001e9c: PUSH1 0x0b
00001e9e: PUSH1 0x00
00001ea0: SWAP1
00001ea1: SLOAD
00001ea2: SWAP1
00001ea3: PUSH2 0x0100
00001ea6: EXP
00001ea7: SWAP1
00001ea8: DIV
00001ea9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ebe: AND
00001ebf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ed4: AND
00001ed5: PUSH2 0x08fc
00001ed8: DUP3
00001ed9: SWAP1
00001eda: DUP2
00001edb: ISZERO
00001edc: MUL
00001edd: SWAP1
00001ede: PUSH1 0x40
00001ee0: MLOAD
00001ee1: PUSH1 0x00
00001ee3: PUSH1 0x40
00001ee5: MLOAD
00001ee6: DUP1
00001ee7: DUP4
00001ee8: SUB
00001ee9: DUP2
00001eea: DUP6
00001eeb: DUP9
00001eec: DUP9
00001eed: CALL
00001eee: SWAP4
00001eef: POP
00001ef0: POP
00001ef1: POP
00001ef2: POP
00001ef3: ISZERO
00001ef4: DUP1
00001ef5: ISZERO
00001ef6: PUSH2 0x1f03
00001ef9: JUMPI
00001efa: RETURNDATASIZE
00001efb: PUSH1 0x00
00001efd: DUP1
00001efe: RETURNDATACOPY
00001eff: RETURNDATASIZE
00001f00: PUSH1 0x00
00001f02: REVERT
00001f03: JUMPDEST
00001f04: POP
00001f05: POP
00001f06: JUMP
00001f07: JUMPDEST
00001f08: PUSH2 0x1f14
00001f0b: PUSH1 0x0a
00001f0d: SLOAD
00001f0e: PUSH1 0x01
00001f10: PUSH2 0x254e
00001f13: JUMP
00001f14: JUMPDEST
00001f15: PUSH1 0x0a
00001f17: DUP2
00001f18: SWAP1
00001f19: SSTORE
00001f1a: POP
00001f1b: JUMP
00001f1c: JUMPDEST
00001f1d: PUSH1 0x00
00001f1f: DUP1
00001f20: PUSH1 0x00
00001f22: DUP1
00001f23: PUSH1 0x00
00001f25: DUP1
00001f26: PUSH1 0x00
00001f28: DUP1
00001f29: PUSH2 0x1f30
00001f2c: PUSH2 0x195d
00001f2f: JUMP
00001f30: JUMPDEST
00001f31: GT
00001f32: ISZERO
00001f33: ISZERO
00001f34: PUSH2 0x1f3c
00001f37: JUMPI
00001f38: PUSH1 0x00
00001f3a: DUP1
00001f3b: REVERT
00001f3c: JUMPDEST
00001f3d: CALLER
00001f3e: SWAP7
00001f3f: POP
00001f40: PUSH1 0x0c
00001f42: PUSH1 0x00
00001f44: DUP9
00001f45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f5a: AND
00001f5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f70: AND
00001f71: DUP2
00001f72: MSTORE
00001f73: PUSH1 0x20
00001f75: ADD
00001f76: SWAP1
00001f77: DUP2
00001f78: MSTORE
00001f79: PUSH1 0x20
00001f7b: ADD
00001f7c: PUSH1 0x00
00001f7e: KECCAK256
00001f7f: SLOAD
00001f80: DUP9
00001f81: GT
00001f82: ISZERO
00001f83: ISZERO
00001f84: ISZERO
00001f85: PUSH2 0x1f8d
00001f88: JUMPI
00001f89: PUSH1 0x00
00001f8b: DUP1
00001f8c: REVERT
00001f8d: JUMPDEST
00001f8e: DUP8
00001f8f: SWAP6
00001f90: POP
00001f91: PUSH2 0x1f99
00001f94: DUP7
00001f95: PUSH2 0x25f9
00001f98: JUMP
00001f99: JUMPDEST
00001f9a: SWAP5
00001f9b: POP
00001f9c: PUSH2 0x1fb3
00001f9f: PUSH2 0x1fac
00001fa2: DUP7
00001fa3: PUSH1 0x0a
00001fa5: PUSH1 0xff
00001fa7: AND
00001fa8: PUSH2 0x24f8
00001fab: JUMP
00001fac: JUMPDEST
00001fad: PUSH1 0x64
00001faf: PUSH2 0x2533
00001fb2: JUMP
00001fb3: JUMPDEST
00001fb4: SWAP4
00001fb5: POP
00001fb6: PUSH2 0x1fc3
00001fb9: DUP6
00001fba: PUSH1 0x14
00001fbc: PUSH1 0xff
00001fbe: AND
00001fbf: PUSH2 0x2533
00001fc2: JUMP
00001fc3: JUMPDEST
00001fc4: SWAP3
00001fc5: POP
00001fc6: PUSH2 0x1fd1
00001fc9: PUSH1 0x02
00001fcb: SLOAD
00001fcc: DUP5
00001fcd: PUSH2 0x254e
00001fd0: JUMP
00001fd1: JUMPDEST
00001fd2: PUSH1 0x02
00001fd4: DUP2
00001fd5: SWAP1
00001fd6: SSTORE
00001fd7: POP
00001fd8: PUSH2 0x1fe1
00001fdb: DUP6
00001fdc: DUP6
00001fdd: PUSH2 0x24df
00001fe0: JUMP
00001fe1: JUMPDEST
00001fe2: SWAP2
00001fe3: POP
00001fe4: PUSH2 0x1fef
00001fe7: PUSH1 0x09
00001fe9: SLOAD
00001fea: DUP6
00001feb: PUSH2 0x254e
00001fee: JUMP
00001fef: JUMPDEST
00001ff0: PUSH1 0x09
00001ff2: DUP2
00001ff3: SWAP1
00001ff4: SSTORE
00001ff5: POP
00001ff6: PUSH2 0x1fff
00001ff9: DUP5
00001ffa: DUP5
00001ffb: PUSH2 0x24df
00001ffe: JUMP
00001fff: JUMPDEST
00002000: SWAP4
00002001: POP
00002002: PUSH2 0x200d
00002005: PUSH1 0x03
00002007: SLOAD
00002008: DUP8
00002009: PUSH2 0x24df
0000200c: JUMP
0000200d: JUMPDEST
0000200e: PUSH1 0x03
00002010: DUP2
00002011: SWAP1
00002012: SSTORE
00002013: POP
00002014: PUSH2 0x205c
00002017: PUSH1 0x0c
00002019: PUSH1 0x00
0000201b: DUP10
0000201c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002031: AND
00002032: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002047: AND
00002048: DUP2
00002049: MSTORE
0000204a: PUSH1 0x20
0000204c: ADD
0000204d: SWAP1
0000204e: DUP2
0000204f: MSTORE
00002050: PUSH1 0x20
00002052: ADD
00002053: PUSH1 0x00
00002055: KECCAK256
00002056: SLOAD
00002057: DUP8
00002058: PUSH2 0x24df
0000205b: JUMP
0000205c: JUMPDEST
0000205d: PUSH1 0x0c
0000205f: PUSH1 0x00
00002061: DUP10
00002062: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002077: AND
00002078: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000208d: AND
0000208e: DUP2
0000208f: MSTORE
00002090: PUSH1 0x20
00002092: ADD
00002093: SWAP1
00002094: DUP2
00002095: MSTORE
00002096: PUSH1 0x20
00002098: ADD
00002099: PUSH1 0x00
0000209b: KECCAK256
0000209c: DUP2
0000209d: SWAP1
0000209e: SSTORE
0000209f: POP
000020a0: PUSH9 0x010000000000000000
000020aa: DUP3
000020ab: MUL
000020ac: DUP7
000020ad: PUSH1 0x05
000020af: SLOAD
000020b0: MUL
000020b1: ADD
000020b2: SWAP1
000020b3: POP
000020b4: DUP1
000020b5: PUSH1 0x0e
000020b7: PUSH1 0x00
000020b9: DUP10
000020ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020cf: AND
000020d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020e5: AND
000020e6: DUP2
000020e7: MSTORE
000020e8: PUSH1 0x20
000020ea: ADD
000020eb: SWAP1
000020ec: DUP2
000020ed: MSTORE
000020ee: PUSH1 0x20
000020f0: ADD
000020f1: PUSH1 0x00
000020f3: KECCAK256
000020f4: PUSH1 0x00
000020f6: DUP3
000020f7: DUP3
000020f8: SLOAD
000020f9: SUB
000020fa: SWAP3
000020fb: POP
000020fc: POP
000020fd: DUP2
000020fe: SWAP1
000020ff: SSTORE
00002100: POP
00002101: PUSH1 0x00
00002103: PUSH1 0x03
00002105: SLOAD
00002106: GT
00002107: ISZERO
00002108: PUSH2 0x2136
0000210b: JUMPI
0000210c: PUSH2 0x212f
0000210f: PUSH1 0x05
00002111: SLOAD
00002112: PUSH1 0x03
00002114: SLOAD
00002115: PUSH9 0x010000000000000000
0000211f: DUP8
00002120: MUL
00002121: DUP2
00002122: ISZERO
00002123: ISZERO
00002124: PUSH2 0x2129
00002127: JUMPI
00002128: INVALID
00002129: JUMPDEST
0000212a: DIV
0000212b: PUSH2 0x254e
0000212e: JUMP
0000212f: JUMPDEST
00002130: PUSH1 0x05
00002132: DUP2
00002133: SWAP1
00002134: SSTORE
00002135: POP
00002136: JUMPDEST
00002137: DUP7
00002138: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000214d: AND
0000214e: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139
0000216f: DUP8
00002170: DUP5
00002171: PUSH1 0x40
00002173: MLOAD
00002174: DUP1
00002175: DUP4
00002176: DUP2
00002177: MSTORE
00002178: PUSH1 0x20
0000217a: ADD
0000217b: DUP3
0000217c: DUP2
0000217d: MSTORE
0000217e: PUSH1 0x20
00002180: ADD
00002181: SWAP3
00002182: POP
00002183: POP
00002184: POP
00002185: PUSH1 0x40
00002187: MLOAD
00002188: DUP1
00002189: SWAP2
0000218a: SUB
0000218b: SWAP1
0000218c: LOG2
0000218d: POP
0000218e: POP
0000218f: POP
00002190: POP
00002191: POP
00002192: POP
00002193: POP
00002194: POP
00002195: JUMP
00002196: JUMPDEST
00002197: PUSH1 0x00
00002199: DUP1
0000219a: CALLER
0000219b: SWAP2
0000219c: POP
0000219d: PUSH1 0x0c
0000219f: PUSH1 0x00
000021a1: DUP4
000021a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021b7: AND
000021b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021cd: AND
000021ce: DUP2
000021cf: MSTORE
000021d0: PUSH1 0x20
000021d2: ADD
000021d3: SWAP1
000021d4: DUP2
000021d5: MSTORE
000021d6: PUSH1 0x20
000021d8: ADD
000021d9: PUSH1 0x00
000021db: KECCAK256
000021dc: SLOAD
000021dd: SWAP1
000021de: POP
000021df: PUSH1 0x00
000021e1: DUP2
000021e2: GT
000021e3: ISZERO
000021e4: PUSH2 0x21f1
000021e7: JUMPI
000021e8: PUSH2 0x21f0
000021eb: DUP2
000021ec: PUSH2 0x1f1c
000021ef: JUMP
000021f0: JUMPDEST
000021f1: JUMPDEST
000021f2: PUSH2 0x21f9
000021f5: PUSH2 0x139a
000021f8: JUMP
000021f9: JUMPDEST
000021fa: POP
000021fb: POP
000021fc: JUMP
000021fd: JUMPDEST
000021fe: PUSH1 0x00
00002200: PUSH2 0x220b
00002203: PUSH1 0x08
00002205: SLOAD
00002206: CALLVALUE
00002207: PUSH2 0x254e
0000220a: JUMP
0000220b: JUMPDEST
0000220c: PUSH1 0x08
0000220e: DUP2
0000220f: SWAP1
00002210: SSTORE
00002211: POP
00002212: PUSH2 0x225a
00002215: PUSH1 0x12
00002217: PUSH1 0x00
00002219: CALLER
0000221a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000222f: AND
00002230: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002245: AND
00002246: DUP2
00002247: MSTORE
00002248: PUSH1 0x20
0000224a: ADD
0000224b: SWAP1
0000224c: DUP2
0000224d: MSTORE
0000224e: PUSH1 0x20
00002250: ADD
00002251: PUSH1 0x00
00002253: KECCAK256
00002254: SLOAD
00002255: CALLVALUE
00002256: PUSH2 0x254e
00002259: JUMP
0000225a: JUMPDEST
0000225b: PUSH1 0x12
0000225d: PUSH1 0x00
0000225f: CALLER
00002260: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002275: AND
00002276: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000228b: AND
0000228c: DUP2
0000228d: MSTORE
0000228e: PUSH1 0x20
00002290: ADD
00002291: SWAP1
00002292: DUP2
00002293: MSTORE
00002294: PUSH1 0x20
00002296: ADD
00002297: PUSH1 0x00
00002299: KECCAK256
0000229a: DUP2
0000229b: SWAP1
0000229c: SSTORE
0000229d: POP
0000229e: PUSH1 0x00
000022a0: ISZERO
000022a1: ISZERO
000022a2: PUSH1 0x11
000022a4: PUSH1 0x00
000022a6: CALLER
000022a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022bc: AND
000022bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022d2: AND
000022d3: DUP2
000022d4: MSTORE
000022d5: PUSH1 0x20
000022d7: ADD
000022d8: SWAP1
000022d9: DUP2
000022da: MSTORE
000022db: PUSH1 0x20
000022dd: ADD
000022de: PUSH1 0x00
000022e0: KECCAK256
000022e1: PUSH1 0x00
000022e3: SWAP1
000022e4: SLOAD
000022e5: SWAP1
000022e6: PUSH2 0x0100
000022e9: EXP
000022ea: SWAP1
000022eb: DIV
000022ec: PUSH1 0xff
000022ee: AND
000022ef: ISZERO
000022f0: ISZERO
000022f1: EQ
000022f2: ISZERO
000022f3: PUSH2 0x235b
000022f6: JUMPI
000022f7: PUSH1 0x01
000022f9: PUSH1 0x07
000022fb: SLOAD
000022fc: ADD
000022fd: PUSH1 0x07
000022ff: DUP2
00002300: SWAP1
00002301: SSTORE
00002302: POP
00002303: PUSH1 0x01
00002305: PUSH1 0x11
00002307: PUSH1 0x00
00002309: CALLER
0000230a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000231f: AND
00002320: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002335: AND
00002336: DUP2
00002337: MSTORE
00002338: PUSH1 0x20
0000233a: ADD
0000233b: SWAP1
0000233c: DUP2
0000233d: MSTORE
0000233e: PUSH1 0x20
00002340: ADD
00002341: PUSH1 0x00
00002343: KECCAK256
00002344: PUSH1 0x00
00002346: PUSH2 0x0100
00002349: EXP
0000234a: DUP2
0000234b: SLOAD
0000234c: DUP2
0000234d: PUSH1 0xff
0000234f: MUL
00002350: NOT
00002351: AND
00002352: SWAP1
00002353: DUP4
00002354: ISZERO
00002355: ISZERO
00002356: MUL
00002357: OR
00002358: SWAP1
00002359: SSTORE
0000235a: POP
0000235b: JUMPDEST
0000235c: PUSH2 0x2365
0000235f: CALLVALUE
00002360: DUP4
00002361: PUSH2 0x0a65
00002364: JUMP
00002365: JUMPDEST
00002366: POP
00002367: SWAP2
00002368: SWAP1
00002369: POP
0000236a: JUMP
0000236b: JUMPDEST
0000236c: PUSH1 0x00
0000236e: DUP1
0000236f: PUSH1 0x00
00002371: DUP1
00002372: PUSH2 0x237b
00002375: PUSH1 0x01
00002377: PUSH2 0x1745
0000237a: JUMP
0000237b: JUMPDEST
0000237c: GT
0000237d: ISZERO
0000237e: ISZERO
0000237f: PUSH2 0x2387
00002382: JUMPI
00002383: PUSH1 0x00
00002385: DUP1
00002386: REVERT
00002387: JUMPDEST
00002388: PUSH2 0x2391
0000238b: PUSH1 0x00
0000238d: PUSH2 0x1745
00002390: JUMP
00002391: JUMPDEST
00002392: SWAP3
00002393: POP
00002394: CALLER
00002395: SWAP2
00002396: POP
00002397: PUSH9 0x010000000000000000
000023a1: DUP4
000023a2: MUL
000023a3: PUSH1 0x0e
000023a5: PUSH1 0x00
000023a7: DUP5
000023a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023bd: AND
000023be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023d3: AND
000023d4: DUP2
000023d5: MSTORE
000023d6: PUSH1 0x20
000023d8: ADD
000023d9: SWAP1
000023da: DUP2
000023db: MSTORE
000023dc: PUSH1 0x20
000023de: ADD
000023df: PUSH1 0x00
000023e1: KECCAK256
000023e2: PUSH1 0x00
000023e4: DUP3
000023e5: DUP3
000023e6: SLOAD
000023e7: ADD
000023e8: SWAP3
000023e9: POP
000023ea: POP
000023eb: DUP2
000023ec: SWAP1
000023ed: SSTORE
000023ee: POP
000023ef: PUSH1 0x0d
000023f1: PUSH1 0x00
000023f3: DUP4
000023f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002409: AND
0000240a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000241f: AND
00002420: DUP2
00002421: MSTORE
00002422: PUSH1 0x20
00002424: ADD
00002425: SWAP1
00002426: DUP2
00002427: MSTORE
00002428: PUSH1 0x20
0000242a: ADD
0000242b: PUSH1 0x00
0000242d: KECCAK256
0000242e: SLOAD
0000242f: DUP4
00002430: ADD
00002431: SWAP3
00002432: POP
00002433: PUSH1 0x00
00002435: PUSH1 0x0d
00002437: PUSH1 0x00
00002439: DUP5
0000243a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000244f: AND
00002450: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002465: AND
00002466: DUP2
00002467: MSTORE
00002468: PUSH1 0x20
0000246a: ADD
0000246b: SWAP1
0000246c: DUP2
0000246d: MSTORE
0000246e: PUSH1 0x20
00002470: ADD
00002471: PUSH1 0x00
00002473: KECCAK256
00002474: DUP2
00002475: SWAP1
00002476: SSTORE
00002477: POP
00002478: PUSH2 0x2482
0000247b: DUP4
0000247c: PUSH1 0x00
0000247e: PUSH2 0x0a65
00002481: JUMP
00002482: JUMPDEST
00002483: SWAP1
00002484: POP
00002485: DUP2
00002486: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000249b: AND
0000249c: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458
000024bd: DUP5
000024be: DUP4
000024bf: PUSH1 0x40
000024c1: MLOAD
000024c2: DUP1
000024c3: DUP4
000024c4: DUP2
000024c5: MSTORE
000024c6: PUSH1 0x20
000024c8: ADD
000024c9: DUP3
000024ca: DUP2
000024cb: MSTORE
000024cc: PUSH1 0x20
000024ce: ADD
000024cf: SWAP3
000024d0: POP
000024d1: POP
000024d2: POP
000024d3: PUSH1 0x40
000024d5: MLOAD
000024d6: DUP1
000024d7: SWAP2
000024d8: SUB
000024d9: SWAP1
000024da: LOG2
000024db: POP
000024dc: POP
000024dd: POP
000024de: JUMP
000024df: JUMPDEST
000024e0: PUSH1 0x00
000024e2: DUP3
000024e3: DUP3
000024e4: GT
000024e5: ISZERO
000024e6: ISZERO
000024e7: ISZERO
000024e8: PUSH2 0x24ed
000024eb: JUMPI
000024ec: INVALID
000024ed: JUMPDEST
000024ee: DUP2
000024ef: DUP4
000024f0: SUB
000024f1: SWAP1
000024f2: POP
000024f3: SWAP3
000024f4: SWAP2
000024f5: POP
000024f6: POP
000024f7: JUMP
000024f8: JUMPDEST
000024f9: PUSH1 0x00
000024fb: DUP1
000024fc: PUSH1 0x00
000024fe: DUP5
000024ff: EQ
00002500: ISZERO
00002501: PUSH2 0x250d
00002504: JUMPI
00002505: PUSH1 0x00
00002507: SWAP2
00002508: POP
00002509: PUSH2 0x252c
0000250c: JUMP
0000250d: JUMPDEST
0000250e: DUP3
0000250f: DUP5
00002510: MUL
00002511: SWAP1
00002512: POP
00002513: DUP3
00002514: DUP5
00002515: DUP3
00002516: DUP2
00002517: ISZERO
00002518: ISZERO
00002519: PUSH2 0x251e
0000251c: JUMPI
0000251d: INVALID
0000251e: JUMPDEST
0000251f: DIV
00002520: EQ
00002521: ISZERO
00002522: ISZERO
00002523: PUSH2 0x2528
00002526: JUMPI
00002527: INVALID
00002528: JUMPDEST
00002529: DUP1
0000252a: SWAP2
0000252b: POP
0000252c: JUMPDEST
0000252d: POP
0000252e: SWAP3
0000252f: SWAP2
00002530: POP
00002531: POP
00002532: JUMP
00002533: JUMPDEST
00002534: PUSH1 0x00
00002536: DUP1
00002537: DUP3
00002538: DUP5
00002539: DUP2
0000253a: ISZERO
0000253b: ISZERO
0000253c: PUSH2 0x2541
0000253f: JUMPI
00002540: INVALID
00002541: JUMPDEST
00002542: DIV
00002543: SWAP1
00002544: POP
00002545: DUP1
00002546: SWAP2
00002547: POP
00002548: POP
00002549: SWAP3
0000254a: SWAP2
0000254b: POP
0000254c: POP
0000254d: JUMP
0000254e: JUMPDEST
0000254f: PUSH1 0x00
00002551: DUP1
00002552: DUP3
00002553: DUP5
00002554: ADD
00002555: SWAP1
00002556: POP
00002557: DUP4
00002558: DUP2
00002559: LT
0000255a: ISZERO
0000255b: ISZERO
0000255c: ISZERO
0000255d: PUSH2 0x2562
00002560: JUMPI
00002561: INVALID
00002562: JUMPDEST
00002563: DUP1
00002564: SWAP2
00002565: POP
00002566: POP
00002567: SWAP3
00002568: SWAP2
00002569: POP
0000256a: POP
0000256b: JUMP
0000256c: JUMPDEST
0000256d: PUSH1 0x00
0000256f: DUP1
00002570: PUSH1 0x00
00002572: PUSH8 0x0de0b6b3a7640000
0000257b: PUSH5 0x174876e800
00002581: MUL
00002582: SWAP2
00002583: POP
00002584: PUSH1 0x03
00002586: SLOAD
00002587: PUSH5 0x02540be400
0000258d: PUSH2 0x25e2
00002590: PUSH2 0x25dc
00002593: PUSH1 0x03
00002595: SLOAD
00002596: DUP7
00002597: PUSH5 0x02540be400
0000259d: PUSH1 0x02
0000259f: MUL
000025a0: MUL
000025a1: MUL
000025a2: PUSH1 0x02
000025a4: PUSH1 0x03
000025a6: SLOAD
000025a7: EXP
000025a8: PUSH1 0x02
000025aa: PUSH5 0x02540be400
000025b0: EXP
000025b1: MUL
000025b2: PUSH8 0x0de0b6b3a7640000
000025bb: DUP11
000025bc: MUL
000025bd: PUSH8 0x0de0b6b3a7640000
000025c6: PUSH5 0x02540be400
000025cc: MUL
000025cd: PUSH1 0x02
000025cf: MUL
000025d0: MUL
000025d1: PUSH1 0x02
000025d3: DUP10
000025d4: EXP
000025d5: ADD
000025d6: ADD
000025d7: ADD
000025d8: PUSH2 0x26a4
000025db: JUMP
000025dc: JUMPDEST
000025dd: DUP6
000025de: PUSH2 0x24df
000025e1: JUMP
000025e2: JUMPDEST
000025e3: DUP2
000025e4: ISZERO
000025e5: ISZERO
000025e6: PUSH2 0x25eb
000025e9: JUMPI
000025ea: INVALID
000025eb: JUMPDEST
000025ec: DIV
000025ed: SUB
000025ee: SWAP1
000025ef: POP
000025f0: DUP1
000025f1: SWAP3
000025f2: POP
000025f3: POP
000025f4: POP
000025f5: SWAP2
000025f6: SWAP1
000025f7: POP
000025f8: JUMP
000025f9: JUMPDEST
000025fa: PUSH1 0x00
000025fc: DUP1
000025fd: PUSH1 0x00
000025ff: DUP1
00002600: PUSH8 0x0de0b6b3a7640000
00002609: DUP6
0000260a: ADD
0000260b: SWAP3
0000260c: POP
0000260d: PUSH8 0x0de0b6b3a7640000
00002616: PUSH1 0x03
00002618: SLOAD
00002619: ADD
0000261a: SWAP2
0000261b: POP
0000261c: PUSH8 0x0de0b6b3a7640000
00002625: PUSH2 0x268d
00002628: PUSH8 0x0de0b6b3a7640000
00002631: DUP6
00002632: SUB
00002633: PUSH5 0x02540be400
00002639: PUSH8 0x0de0b6b3a7640000
00002642: DUP7
00002643: DUP2
00002644: ISZERO
00002645: ISZERO
00002646: PUSH2 0x264b
00002649: JUMPI
0000264a: INVALID
0000264b: JUMPDEST
0000264c: DIV
0000264d: PUSH5 0x02540be400
00002653: MUL
00002654: PUSH5 0x174876e800
0000265a: ADD
0000265b: SUB
0000265c: MUL
0000265d: PUSH1 0x02
0000265f: PUSH8 0x0de0b6b3a7640000
00002668: DUP8
00002669: PUSH1 0x02
0000266b: DUP10
0000266c: EXP
0000266d: SUB
0000266e: DUP2
0000266f: ISZERO
00002670: ISZERO
00002671: PUSH2 0x2676
00002674: JUMPI
00002675: INVALID
00002676: JUMPDEST
00002677: DIV
00002678: PUSH5 0x02540be400
0000267e: MUL
0000267f: DUP2
00002680: ISZERO
00002681: ISZERO
00002682: PUSH2 0x2687
00002685: JUMPI
00002686: INVALID
00002687: JUMPDEST
00002688: DIV
00002689: PUSH2 0x24df
0000268c: JUMP
0000268d: JUMPDEST
0000268e: DUP2
0000268f: ISZERO
00002690: ISZERO
00002691: PUSH2 0x2696
00002694: JUMPI
00002695: INVALID
00002696: JUMPDEST
00002697: DIV
00002698: SWAP1
00002699: POP
0000269a: DUP1
0000269b: SWAP4
0000269c: POP
0000269d: POP
0000269e: POP
0000269f: POP
000026a0: SWAP2
000026a1: SWAP1
000026a2: POP
000026a3: JUMP
000026a4: JUMPDEST
000026a5: PUSH1 0x00
000026a7: DUP1
000026a8: PUSH1 0x02
000026aa: PUSH1 0x01
000026ac: DUP5
000026ad: ADD
000026ae: DUP2
000026af: ISZERO
000026b0: ISZERO
000026b1: PUSH2 0x26b6
000026b4: JUMPI
000026b5: INVALID
000026b6: JUMPDEST
000026b7: DIV
000026b8: SWAP1
000026b9: POP
000026ba: DUP3
000026bb: SWAP2
000026bc: POP
000026bd: JUMPDEST
000026be: DUP2
000026bf: DUP2
000026c0: LT
000026c1: ISZERO
000026c2: PUSH2 0x26e9
000026c5: JUMPI
000026c6: DUP1
000026c7: SWAP2
000026c8: POP
000026c9: PUSH1 0x02
000026cb: DUP2
000026cc: DUP3
000026cd: DUP6
000026ce: DUP2
000026cf: ISZERO
000026d0: ISZERO
000026d1: PUSH2 0x26d6
000026d4: JUMPI
000026d5: INVALID
000026d6: JUMPDEST
000026d7: DIV
000026d8: ADD
000026d9: DUP2
000026da: ISZERO
000026db: ISZERO
000026dc: PUSH2 0x26e1
000026df: JUMPI
000026e0: INVALID
000026e1: JUMPDEST
000026e2: DIV
000026e3: SWAP1
000026e4: POP
000026e5: PUSH2 0x26bd
000026e8: JUMP
000026e9: JUMPDEST
000026ea: POP
000026eb: SWAP2
000026ec: SWAP1
000026ed: POP
000026ee: JUMP
000026ef: STOP
000026f0: LOG1
000026f1: PUSH6 0x627a7a723058
000026f8: KECCAK256
000026f9: SWAP11
000026fa: UNKNOWN(0xB3)
000026fb: UNKNOWN(0xAD)
000026fc: DUP3
000026fd: SWAP7
000026fe: JUMP
000026ff: SHL
00002700: UNKNOWN(0xAD)
00002701: UNKNOWN(0x2D)
00002702: UNKNOWN(0xAD)
00002703: JUMP
00002704: DUP14
00002705: UNKNOWN(0xA5)
00002706: DUP12
00002707: UNKNOWN(0xE8)
00002708: PUSH10 0xb29bfe47f1909a6b8776
00002713: UNKNOWN(0xBC)
00002714: DUP12
00002715: XOR
00002716: ORIGIN
00002717: PUSH4
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": 4976, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5752, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6233, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6465, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6805, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 7788, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 10006, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x9e92104421296886139497d1430e76f7b75fdb9399888dbadc6eebebef88b2aa call_targets: 0xb0c4382d4355cdfe94a132fadf92a509b1e25939 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x9e92104421296886139497d1430e76f7b75fdb9399888dbadc6eebebef88b2aa", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb0c4382d4355cdfe94a132fadf92a509b1e25939" ], "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": 5473, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7917, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [ { "pc": 4976, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5752, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6233, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6465, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6805, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 7788, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 10006, "type": "tx_origin_used" } ], "untrusted_call_count": 2 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x9e92104421296886139497d1430e76f7b75fdb9399888dbadc6eebebef88b2aa call_targets: 0xb0c4382d4355cdfe94a132fadf92a509b1e25939 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x9e92104421296886139497d1430e76f7b75fdb9399888dbadc6eebebef88b2aa", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb0c4382d4355cdfe94a132fadf92a509b1e25939" ], "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": 5473, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7917, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [ { "pc": 4976, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 5752, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6233, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6465, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6805, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 7788, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 10006, "type": "tx_origin_used" } ] }
Severity