Analysis Run

019b477e-ad32-7345-a4be-844e7492b9b4
complete
Chain ID
1
Address
0x42a9253168ef7757a437310bd291ea1f82a86679
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

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

Status & attempts
ID	Type	Status	Attempts	Heartbeat
21375	artifact.fetch	complete	1 / 3	3 months ago
21376	tool.cast_disasm	complete	1 / 3	3 months ago
101567	analysis.bundle	complete	1 / 3	1 week ago
101568	capability.graph	complete	1 / 3	1 week ago
101569	detector.run	complete	1 / 3	1 week ago
101570	validation.fork	complete	1 / 3	1 week ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
1
EXT*/BALANCE
0
Total opcodes
4460
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0151
0000000a: JUMPI
0000000b: PUSH4 0xffffffff
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: PUSH1 0x00
00000030: CALLDATALOAD
00000031: DIV
00000032: AND
00000033: PUSH4 0x025e7c27
00000038: DUP2
00000039: EQ
0000003a: PUSH2 0x019c
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0x173825d9
00000044: EQ
00000045: PUSH2 0x01ce
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0x20ea8d86
0000004f: EQ
00000050: PUSH2 0x01ef
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0x2f54bf6e
0000005a: EQ
0000005b: PUSH2 0x0207
0000005e: JUMPI
0000005f: DUP1
00000060: PUSH4 0x3411c81c
00000065: EQ
00000066: PUSH2 0x023a
00000069: JUMPI
0000006a: DUP1
0000006b: PUSH4 0x4bc9fdc2
00000070: EQ
00000071: PUSH2 0x0270
00000074: JUMPI
00000075: DUP1
00000076: PUSH4 0x54741525
0000007b: EQ
0000007c: PUSH2 0x0295
0000007f: JUMPI
00000080: DUP1
00000081: PUSH4 0x67eeba0c
00000086: EQ
00000087: PUSH2 0x02c4
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x6b0c932d
00000091: EQ
00000092: PUSH2 0x02e9
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x7065cb48
0000009c: EQ
0000009d: PUSH2 0x030e
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x784547a7
000000a7: EQ
000000a8: PUSH2 0x032f
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x8b51d13f
000000b2: EQ
000000b3: PUSH2 0x0359
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x9ace38c2
000000bd: EQ
000000be: PUSH2 0x0381
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xa0e67e2b
000000c8: EQ
000000c9: PUSH2 0x0440
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xa8abe69a
000000d3: EQ
000000d4: PUSH2 0x04a7
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xb5dc40c3
000000de: EQ
000000df: PUSH2 0x051e
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xb77bf600
000000e9: EQ
000000ea: PUSH2 0x0588
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0xba51a6df
000000f4: EQ
000000f5: PUSH2 0x05ad
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0xc01a8c84
000000ff: EQ
00000100: PUSH2 0x05c5
00000103: JUMPI
00000104: DUP1
00000105: PUSH4 0xc6427474
0000010a: EQ
0000010b: PUSH2 0x05dd
0000010e: JUMPI
0000010f: DUP1
00000110: PUSH4 0xcea08621
00000115: EQ
00000116: PUSH2 0x0654
00000119: JUMPI
0000011a: DUP1
0000011b: PUSH4 0xd74f8edd
00000120: EQ
00000121: PUSH2 0x066c
00000124: JUMPI
00000125: DUP1
00000126: PUSH4 0xdc8452cd
0000012b: EQ
0000012c: PUSH2 0x0691
0000012f: JUMPI
00000130: DUP1
00000131: PUSH4 0xe20056e6
00000136: EQ
00000137: PUSH2 0x06b6
0000013a: JUMPI
0000013b: DUP1
0000013c: PUSH4 0xee22610b
00000141: EQ
00000142: PUSH2 0x06dd
00000145: JUMPI
00000146: DUP1
00000147: PUSH4 0xf059cf2b
0000014c: EQ
0000014d: PUSH2 0x06f5
00000150: JUMPI
00000151: JUMPDEST
00000152: JUMPDEST
00000153: PUSH1 0x00
00000155: CALLVALUE
00000156: GT
00000157: ISZERO
00000158: PUSH2 0x0199
0000015b: JUMPI
0000015c: CALLER
0000015d: PUSH1 0x01
0000015f: PUSH1 0xa0
00000161: PUSH1 0x02
00000163: EXP
00000164: SUB
00000165: AND
00000166: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c
00000187: CALLVALUE
00000188: PUSH1 0x40
0000018a: MLOAD
0000018b: SWAP1
0000018c: DUP2
0000018d: MSTORE
0000018e: PUSH1 0x20
00000190: ADD
00000191: PUSH1 0x40
00000193: MLOAD
00000194: DUP1
00000195: SWAP2
00000196: SUB
00000197: SWAP1
00000198: LOG2
00000199: JUMPDEST
0000019a: JUMPDEST
0000019b: STOP
0000019c: JUMPDEST
0000019d: CALLVALUE
0000019e: ISZERO
0000019f: PUSH2 0x01a7
000001a2: JUMPI
000001a3: PUSH1 0x00
000001a5: DUP1
000001a6: REVERT
000001a7: JUMPDEST
000001a8: PUSH2 0x01b2
000001ab: PUSH1 0x04
000001ad: CALLDATALOAD
000001ae: PUSH2 0x071a
000001b1: JUMP
000001b2: JUMPDEST
000001b3: PUSH1 0x40
000001b5: MLOAD
000001b6: PUSH1 0x01
000001b8: PUSH1 0xa0
000001ba: PUSH1 0x02
000001bc: EXP
000001bd: SUB
000001be: SWAP1
000001bf: SWAP2
000001c0: AND
000001c1: DUP2
000001c2: MSTORE
000001c3: PUSH1 0x20
000001c5: ADD
000001c6: PUSH1 0x40
000001c8: MLOAD
000001c9: DUP1
000001ca: SWAP2
000001cb: SUB
000001cc: SWAP1
000001cd: RETURN
000001ce: JUMPDEST
000001cf: CALLVALUE
000001d0: ISZERO
000001d1: PUSH2 0x01d9
000001d4: JUMPI
000001d5: PUSH1 0x00
000001d7: DUP1
000001d8: REVERT
000001d9: JUMPDEST
000001da: PUSH2 0x0199
000001dd: PUSH1 0x01
000001df: PUSH1 0xa0
000001e1: PUSH1 0x02
000001e3: EXP
000001e4: SUB
000001e5: PUSH1 0x04
000001e7: CALLDATALOAD
000001e8: AND
000001e9: PUSH2 0x074c
000001ec: JUMP
000001ed: JUMPDEST
000001ee: STOP
000001ef: JUMPDEST
000001f0: CALLVALUE
000001f1: ISZERO
000001f2: PUSH2 0x01fa
000001f5: JUMPI
000001f6: PUSH1 0x00
000001f8: DUP1
000001f9: REVERT
000001fa: JUMPDEST
000001fb: PUSH2 0x0199
000001fe: PUSH1 0x04
00000200: CALLDATALOAD
00000201: PUSH2 0x08fd
00000204: JUMP
00000205: JUMPDEST
00000206: STOP
00000207: JUMPDEST
00000208: CALLVALUE
00000209: ISZERO
0000020a: PUSH2 0x0212
0000020d: JUMPI
0000020e: PUSH1 0x00
00000210: DUP1
00000211: REVERT
00000212: JUMPDEST
00000213: PUSH2 0x0226
00000216: PUSH1 0x01
00000218: PUSH1 0xa0
0000021a: PUSH1 0x02
0000021c: EXP
0000021d: SUB
0000021e: PUSH1 0x04
00000220: CALLDATALOAD
00000221: AND
00000222: PUSH2 0x09df
00000225: JUMP
00000226: JUMPDEST
00000227: PUSH1 0x40
00000229: MLOAD
0000022a: SWAP1
0000022b: ISZERO
0000022c: ISZERO
0000022d: DUP2
0000022e: MSTORE
0000022f: PUSH1 0x20
00000231: ADD
00000232: PUSH1 0x40
00000234: MLOAD
00000235: DUP1
00000236: SWAP2
00000237: SUB
00000238: SWAP1
00000239: RETURN
0000023a: JUMPDEST
0000023b: CALLVALUE
0000023c: ISZERO
0000023d: PUSH2 0x0245
00000240: JUMPI
00000241: PUSH1 0x00
00000243: DUP1
00000244: REVERT
00000245: JUMPDEST
00000246: PUSH2 0x0226
00000249: PUSH1 0x04
0000024b: CALLDATALOAD
0000024c: PUSH1 0x01
0000024e: PUSH1 0xa0
00000250: PUSH1 0x02
00000252: EXP
00000253: SUB
00000254: PUSH1 0x24
00000256: CALLDATALOAD
00000257: AND
00000258: PUSH2 0x09f4
0000025b: JUMP
0000025c: JUMPDEST
0000025d: PUSH1 0x40
0000025f: MLOAD
00000260: SWAP1
00000261: ISZERO
00000262: ISZERO
00000263: DUP2
00000264: MSTORE
00000265: PUSH1 0x20
00000267: ADD
00000268: PUSH1 0x40
0000026a: MLOAD
0000026b: DUP1
0000026c: SWAP2
0000026d: SUB
0000026e: SWAP1
0000026f: RETURN
00000270: JUMPDEST
00000271: CALLVALUE
00000272: ISZERO
00000273: PUSH2 0x027b
00000276: JUMPI
00000277: PUSH1 0x00
00000279: DUP1
0000027a: REVERT
0000027b: JUMPDEST
0000027c: PUSH2 0x0283
0000027f: PUSH2 0x0a14
00000282: JUMP
00000283: JUMPDEST
00000284: PUSH1 0x40
00000286: MLOAD
00000287: SWAP1
00000288: DUP2
00000289: MSTORE
0000028a: PUSH1 0x20
0000028c: ADD
0000028d: PUSH1 0x40
0000028f: MLOAD
00000290: DUP1
00000291: SWAP2
00000292: SUB
00000293: SWAP1
00000294: RETURN
00000295: JUMPDEST
00000296: CALLVALUE
00000297: ISZERO
00000298: PUSH2 0x02a0
0000029b: JUMPI
0000029c: PUSH1 0x00
0000029e: DUP1
0000029f: REVERT
000002a0: JUMPDEST
000002a1: PUSH2 0x0283
000002a4: PUSH1 0x04
000002a6: CALLDATALOAD
000002a7: ISZERO
000002a8: ISZERO
000002a9: PUSH1 0x24
000002ab: CALLDATALOAD
000002ac: ISZERO
000002ad: ISZERO
000002ae: PUSH2 0x0a4e
000002b1: JUMP
000002b2: JUMPDEST
000002b3: PUSH1 0x40
000002b5: MLOAD
000002b6: SWAP1
000002b7: DUP2
000002b8: MSTORE
000002b9: PUSH1 0x20
000002bb: ADD
000002bc: PUSH1 0x40
000002be: MLOAD
000002bf: DUP1
000002c0: SWAP2
000002c1: SUB
000002c2: SWAP1
000002c3: RETURN
000002c4: JUMPDEST
000002c5: CALLVALUE
000002c6: ISZERO
000002c7: PUSH2 0x02cf
000002ca: JUMPI
000002cb: PUSH1 0x00
000002cd: DUP1
000002ce: REVERT
000002cf: JUMPDEST
000002d0: PUSH2 0x0283
000002d3: PUSH2 0x0abd
000002d6: JUMP
000002d7: JUMPDEST
000002d8: PUSH1 0x40
000002da: MLOAD
000002db: SWAP1
000002dc: DUP2
000002dd: MSTORE
000002de: PUSH1 0x20
000002e0: ADD
000002e1: PUSH1 0x40
000002e3: MLOAD
000002e4: DUP1
000002e5: SWAP2
000002e6: SUB
000002e7: SWAP1
000002e8: RETURN
000002e9: JUMPDEST
000002ea: CALLVALUE
000002eb: ISZERO
000002ec: PUSH2 0x02f4
000002ef: JUMPI
000002f0: PUSH1 0x00
000002f2: DUP1
000002f3: REVERT
000002f4: JUMPDEST
000002f5: PUSH2 0x0283
000002f8: PUSH2 0x0ac3
000002fb: JUMP
000002fc: JUMPDEST
000002fd: PUSH1 0x40
000002ff: MLOAD
00000300: SWAP1
00000301: DUP2
00000302: MSTORE
00000303: PUSH1 0x20
00000305: ADD
00000306: PUSH1 0x40
00000308: MLOAD
00000309: DUP1
0000030a: SWAP2
0000030b: SUB
0000030c: SWAP1
0000030d: RETURN
0000030e: JUMPDEST
0000030f: CALLVALUE
00000310: ISZERO
00000311: PUSH2 0x0319
00000314: JUMPI
00000315: PUSH1 0x00
00000317: DUP1
00000318: REVERT
00000319: JUMPDEST
0000031a: PUSH2 0x0199
0000031d: PUSH1 0x01
0000031f: PUSH1 0xa0
00000321: PUSH1 0x02
00000323: EXP
00000324: SUB
00000325: PUSH1 0x04
00000327: CALLDATALOAD
00000328: AND
00000329: PUSH2 0x0ac9
0000032c: JUMP
0000032d: JUMPDEST
0000032e: STOP
0000032f: JUMPDEST
00000330: CALLVALUE
00000331: ISZERO
00000332: PUSH2 0x033a
00000335: JUMPI
00000336: PUSH1 0x00
00000338: DUP1
00000339: REVERT
0000033a: JUMPDEST
0000033b: PUSH2 0x0226
0000033e: PUSH1 0x04
00000340: CALLDATALOAD
00000341: PUSH2 0x0c06
00000344: JUMP
00000345: JUMPDEST
00000346: PUSH1 0x40
00000348: MLOAD
00000349: SWAP1
0000034a: ISZERO
0000034b: ISZERO
0000034c: DUP2
0000034d: MSTORE
0000034e: PUSH1 0x20
00000350: ADD
00000351: PUSH1 0x40
00000353: MLOAD
00000354: DUP1
00000355: SWAP2
00000356: SUB
00000357: SWAP1
00000358: RETURN
00000359: JUMPDEST
0000035a: CALLVALUE
0000035b: ISZERO
0000035c: PUSH2 0x0364
0000035f: JUMPI
00000360: PUSH1 0x00
00000362: DUP1
00000363: REVERT
00000364: JUMPDEST
00000365: PUSH2 0x0283
00000368: PUSH1 0x04
0000036a: CALLDATALOAD
0000036b: PUSH2 0x0c9a
0000036e: JUMP
0000036f: JUMPDEST
00000370: PUSH1 0x40
00000372: MLOAD
00000373: SWAP1
00000374: DUP2
00000375: MSTORE
00000376: PUSH1 0x20
00000378: ADD
00000379: PUSH1 0x40
0000037b: MLOAD
0000037c: DUP1
0000037d: SWAP2
0000037e: SUB
0000037f: SWAP1
00000380: RETURN
00000381: JUMPDEST
00000382: CALLVALUE
00000383: ISZERO
00000384: PUSH2 0x038c
00000387: JUMPI
00000388: PUSH1 0x00
0000038a: DUP1
0000038b: REVERT
0000038c: JUMPDEST
0000038d: PUSH2 0x0397
00000390: PUSH1 0x04
00000392: CALLDATALOAD
00000393: PUSH2 0x0d19
00000396: JUMP
00000397: JUMPDEST
00000398: PUSH1 0x40
0000039a: MLOAD
0000039b: PUSH1 0x01
0000039d: PUSH1 0xa0
0000039f: PUSH1 0x02
000003a1: EXP
000003a2: SUB
000003a3: DUP6
000003a4: AND
000003a5: DUP2
000003a6: MSTORE
000003a7: PUSH1 0x20
000003a9: DUP2
000003aa: ADD
000003ab: DUP5
000003ac: SWAP1
000003ad: MSTORE
000003ae: DUP2
000003af: ISZERO
000003b0: ISZERO
000003b1: PUSH1 0x60
000003b3: DUP3
000003b4: ADD
000003b5: MSTORE
000003b6: PUSH1 0x80
000003b8: PUSH1 0x40
000003ba: DUP3
000003bb: ADD
000003bc: DUP2
000003bd: DUP2
000003be: MSTORE
000003bf: DUP5
000003c0: SLOAD
000003c1: PUSH1 0x02
000003c3: PUSH1 0x00
000003c5: NOT
000003c6: PUSH2 0x0100
000003c9: PUSH1 0x01
000003cb: DUP5
000003cc: AND
000003cd: ISZERO
000003ce: MUL
000003cf: ADD
000003d0: SWAP1
000003d1: SWAP2
000003d2: AND
000003d3: DIV
000003d4: SWAP2
000003d5: DUP4
000003d6: ADD
000003d7: DUP3
000003d8: SWAP1
000003d9: MSTORE
000003da: SWAP1
000003db: PUSH1 0xa0
000003dd: DUP4
000003de: ADD
000003df: SWAP1
000003e0: DUP6
000003e1: SWAP1
000003e2: DUP1
000003e3: ISZERO
000003e4: PUSH2 0x042e
000003e7: JUMPI
000003e8: DUP1
000003e9: PUSH1 0x1f
000003eb: LT
000003ec: PUSH2 0x0403
000003ef: JUMPI
000003f0: PUSH2 0x0100
000003f3: DUP1
000003f4: DUP4
000003f5: SLOAD
000003f6: DIV
000003f7: MUL
000003f8: DUP4
000003f9: MSTORE
000003fa: SWAP2
000003fb: PUSH1 0x20
000003fd: ADD
000003fe: SWAP2
000003ff: PUSH2 0x042e
00000402: JUMP
00000403: JUMPDEST
00000404: DUP3
00000405: ADD
00000406: SWAP2
00000407: SWAP1
00000408: PUSH1 0x00
0000040a: MSTORE
0000040b: PUSH1 0x20
0000040d: PUSH1 0x00
0000040f: KECCAK256
00000410: SWAP1
00000411: JUMPDEST
00000412: DUP2
00000413: SLOAD
00000414: DUP2
00000415: MSTORE
00000416: SWAP1
00000417: PUSH1 0x01
00000419: ADD
0000041a: SWAP1
0000041b: PUSH1 0x20
0000041d: ADD
0000041e: DUP1
0000041f: DUP4
00000420: GT
00000421: PUSH2 0x0411
00000424: JUMPI
00000425: DUP3
00000426: SWAP1
00000427: SUB
00000428: PUSH1 0x1f
0000042a: AND
0000042b: DUP3
0000042c: ADD
0000042d: SWAP2
0000042e: JUMPDEST
0000042f: POP
00000430: POP
00000431: SWAP6
00000432: POP
00000433: POP
00000434: POP
00000435: POP
00000436: POP
00000437: POP
00000438: PUSH1 0x40
0000043a: MLOAD
0000043b: DUP1
0000043c: SWAP2
0000043d: SUB
0000043e: SWAP1
0000043f: RETURN
00000440: JUMPDEST
00000441: CALLVALUE
00000442: ISZERO
00000443: PUSH2 0x044b
00000446: JUMPI
00000447: PUSH1 0x00
00000449: DUP1
0000044a: REVERT
0000044b: JUMPDEST
0000044c: PUSH2 0x0453
0000044f: PUSH2 0x0d4d
00000452: JUMP
00000453: JUMPDEST
00000454: PUSH1 0x40
00000456: MLOAD
00000457: PUSH1 0x20
00000459: DUP1
0000045a: DUP3
0000045b: MSTORE
0000045c: DUP2
0000045d: SWAP1
0000045e: DUP2
0000045f: ADD
00000460: DUP4
00000461: DUP2
00000462: DUP2
00000463: MLOAD
00000464: DUP2
00000465: MSTORE
00000466: PUSH1 0x20
00000468: ADD
00000469: SWAP2
0000046a: POP
0000046b: DUP1
0000046c: MLOAD
0000046d: SWAP1
0000046e: PUSH1 0x20
00000470: ADD
00000471: SWAP1
00000472: PUSH1 0x20
00000474: MUL
00000475: DUP1
00000476: DUP4
00000477: DUP4
00000478: PUSH1 0x00
0000047a: JUMPDEST
0000047b: DUP4
0000047c: DUP2
0000047d: LT
0000047e: ISZERO
0000047f: PUSH2 0x0493
00000482: JUMPI
00000483: DUP1
00000484: DUP3
00000485: ADD
00000486: MLOAD
00000487: DUP2
00000488: DUP5
00000489: ADD
0000048a: MSTORE
0000048b: JUMPDEST
0000048c: PUSH1 0x20
0000048e: ADD
0000048f: PUSH2 0x047a
00000492: JUMP
00000493: JUMPDEST
00000494: POP
00000495: POP
00000496: POP
00000497: POP
00000498: SWAP1
00000499: POP
0000049a: ADD
0000049b: SWAP3
0000049c: POP
0000049d: POP
0000049e: POP
0000049f: PUSH1 0x40
000004a1: MLOAD
000004a2: DUP1
000004a3: SWAP2
000004a4: SUB
000004a5: SWAP1
000004a6: RETURN
000004a7: JUMPDEST
000004a8: CALLVALUE
000004a9: ISZERO
000004aa: PUSH2 0x04b2
000004ad: JUMPI
000004ae: PUSH1 0x00
000004b0: DUP1
000004b1: REVERT
000004b2: JUMPDEST
000004b3: PUSH2 0x0453
000004b6: PUSH1 0x04
000004b8: CALLDATALOAD
000004b9: PUSH1 0x24
000004bb: CALLDATALOAD
000004bc: PUSH1 0x44
000004be: CALLDATALOAD
000004bf: ISZERO
000004c0: ISZERO
000004c1: PUSH1 0x64
000004c3: CALLDATALOAD
000004c4: ISZERO
000004c5: ISZERO
000004c6: PUSH2 0x0db6
000004c9: JUMP
000004ca: JUMPDEST
000004cb: PUSH1 0x40
000004cd: MLOAD
000004ce: PUSH1 0x20
000004d0: DUP1
000004d1: DUP3
000004d2: MSTORE
000004d3: DUP2
000004d4: SWAP1
000004d5: DUP2
000004d6: ADD
000004d7: DUP4
000004d8: DUP2
000004d9: DUP2
000004da: MLOAD
000004db: DUP2
000004dc: MSTORE
000004dd: PUSH1 0x20
000004df: ADD
000004e0: SWAP2
000004e1: POP
000004e2: DUP1
000004e3: MLOAD
000004e4: SWAP1
000004e5: PUSH1 0x20
000004e7: ADD
000004e8: SWAP1
000004e9: PUSH1 0x20
000004eb: MUL
000004ec: DUP1
000004ed: DUP4
000004ee: DUP4
000004ef: PUSH1 0x00
000004f1: JUMPDEST
000004f2: DUP4
000004f3: DUP2
000004f4: LT
000004f5: ISZERO
000004f6: PUSH2 0x0493
000004f9: JUMPI
000004fa: DUP1
000004fb: DUP3
000004fc: ADD
000004fd: MLOAD
000004fe: DUP2
000004ff: DUP5
00000500: ADD
00000501: MSTORE
00000502: JUMPDEST
00000503: PUSH1 0x20
00000505: ADD
00000506: PUSH2 0x047a
00000509: JUMP
0000050a: JUMPDEST
0000050b: POP
0000050c: POP
0000050d: POP
0000050e: POP
0000050f: SWAP1
00000510: POP
00000511: ADD
00000512: SWAP3
00000513: POP
00000514: POP
00000515: POP
00000516: PUSH1 0x40
00000518: MLOAD
00000519: DUP1
0000051a: SWAP2
0000051b: SUB
0000051c: SWAP1
0000051d: RETURN
0000051e: JUMPDEST
0000051f: CALLVALUE
00000520: ISZERO
00000521: PUSH2 0x0529
00000524: JUMPI
00000525: PUSH1 0x00
00000527: DUP1
00000528: REVERT
00000529: JUMPDEST
0000052a: PUSH2 0x0453
0000052d: PUSH1 0x04
0000052f: CALLDATALOAD
00000530: PUSH2 0x0ee4
00000533: JUMP
00000534: JUMPDEST
00000535: PUSH1 0x40
00000537: MLOAD
00000538: PUSH1 0x20
0000053a: DUP1
0000053b: DUP3
0000053c: MSTORE
0000053d: DUP2
0000053e: SWAP1
0000053f: DUP2
00000540: ADD
00000541: DUP4
00000542: DUP2
00000543: DUP2
00000544: MLOAD
00000545: DUP2
00000546: MSTORE
00000547: PUSH1 0x20
00000549: ADD
0000054a: SWAP2
0000054b: POP
0000054c: DUP1
0000054d: MLOAD
0000054e: SWAP1
0000054f: PUSH1 0x20
00000551: ADD
00000552: SWAP1
00000553: PUSH1 0x20
00000555: MUL
00000556: DUP1
00000557: DUP4
00000558: DUP4
00000559: PUSH1 0x00
0000055b: JUMPDEST
0000055c: DUP4
0000055d: DUP2
0000055e: LT
0000055f: ISZERO
00000560: PUSH2 0x0493
00000563: JUMPI
00000564: DUP1
00000565: DUP3
00000566: ADD
00000567: MLOAD
00000568: DUP2
00000569: DUP5
0000056a: ADD
0000056b: MSTORE
0000056c: JUMPDEST
0000056d: PUSH1 0x20
0000056f: ADD
00000570: PUSH2 0x047a
00000573: JUMP
00000574: JUMPDEST
00000575: POP
00000576: POP
00000577: POP
00000578: POP
00000579: SWAP1
0000057a: POP
0000057b: ADD
0000057c: SWAP3
0000057d: POP
0000057e: POP
0000057f: POP
00000580: PUSH1 0x40
00000582: MLOAD
00000583: DUP1
00000584: SWAP2
00000585: SUB
00000586: SWAP1
00000587: RETURN
00000588: JUMPDEST
00000589: CALLVALUE
0000058a: ISZERO
0000058b: PUSH2 0x0593
0000058e: JUMPI
0000058f: PUSH1 0x00
00000591: DUP1
00000592: REVERT
00000593: JUMPDEST
00000594: PUSH2 0x0283
00000597: PUSH2 0x1066
0000059a: JUMP
0000059b: JUMPDEST
0000059c: PUSH1 0x40
0000059e: MLOAD
0000059f: SWAP1
000005a0: DUP2
000005a1: MSTORE
000005a2: PUSH1 0x20
000005a4: ADD
000005a5: PUSH1 0x40
000005a7: MLOAD
000005a8: DUP1
000005a9: SWAP2
000005aa: SUB
000005ab: SWAP1
000005ac: RETURN
000005ad: JUMPDEST
000005ae: CALLVALUE
000005af: ISZERO
000005b0: PUSH2 0x05b8
000005b3: JUMPI
000005b4: PUSH1 0x00
000005b6: DUP1
000005b7: REVERT
000005b8: JUMPDEST
000005b9: PUSH2 0x0199
000005bc: PUSH1 0x04
000005be: CALLDATALOAD
000005bf: PUSH2 0x106c
000005c2: JUMP
000005c3: JUMPDEST
000005c4: STOP
000005c5: JUMPDEST
000005c6: CALLVALUE
000005c7: ISZERO
000005c8: PUSH2 0x05d0
000005cb: JUMPI
000005cc: PUSH1 0x00
000005ce: DUP1
000005cf: REVERT
000005d0: JUMPDEST
000005d1: PUSH2 0x0199
000005d4: PUSH1 0x04
000005d6: CALLDATALOAD
000005d7: PUSH2 0x1102
000005da: JUMP
000005db: JUMPDEST
000005dc: STOP
000005dd: JUMPDEST
000005de: CALLVALUE
000005df: ISZERO
000005e0: PUSH2 0x05e8
000005e3: JUMPI
000005e4: PUSH1 0x00
000005e6: DUP1
000005e7: REVERT
000005e8: JUMPDEST
000005e9: PUSH2 0x0283
000005ec: PUSH1 0x04
000005ee: DUP1
000005ef: CALLDATALOAD
000005f0: PUSH1 0x01
000005f2: PUSH1 0xa0
000005f4: PUSH1 0x02
000005f6: EXP
000005f7: SUB
000005f8: AND
000005f9: SWAP1
000005fa: PUSH1 0x24
000005fc: DUP1
000005fd: CALLDATALOAD
000005fe: SWAP2
000005ff: SWAP1
00000600: PUSH1 0x64
00000602: SWAP1
00000603: PUSH1 0x44
00000605: CALLDATALOAD
00000606: SWAP1
00000607: DUP2
00000608: ADD
00000609: SWAP1
0000060a: DUP4
0000060b: ADD
0000060c: CALLDATALOAD
0000060d: DUP1
0000060e: PUSH1 0x20
00000610: PUSH1 0x1f
00000612: DUP3
00000613: ADD
00000614: DUP2
00000615: SWAP1
00000616: DIV
00000617: DUP2
00000618: MUL
00000619: ADD
0000061a: PUSH1 0x40
0000061c: MLOAD
0000061d: SWAP1
0000061e: DUP2
0000061f: ADD
00000620: PUSH1 0x40
00000622: MSTORE
00000623: DUP2
00000624: DUP2
00000625: MSTORE
00000626: SWAP3
00000627: SWAP2
00000628: SWAP1
00000629: PUSH1 0x20
0000062b: DUP5
0000062c: ADD
0000062d: DUP4
0000062e: DUP4
0000062f: DUP1
00000630: DUP3
00000631: DUP5
00000632: CALLDATACOPY
00000633: POP
00000634: SWAP5
00000635: SWAP7
00000636: POP
00000637: PUSH2 0x11f4
0000063a: SWAP6
0000063b: POP
0000063c: POP
0000063d: POP
0000063e: POP
0000063f: POP
00000640: POP
00000641: JUMP
00000642: JUMPDEST
00000643: PUSH1 0x40
00000645: MLOAD
00000646: SWAP1
00000647: DUP2
00000648: MSTORE
00000649: PUSH1 0x20
0000064b: ADD
0000064c: PUSH1 0x40
0000064e: MLOAD
0000064f: DUP1
00000650: SWAP2
00000651: SUB
00000652: SWAP1
00000653: RETURN
00000654: JUMPDEST
00000655: CALLVALUE
00000656: ISZERO
00000657: PUSH2 0x065f
0000065a: JUMPI
0000065b: PUSH1 0x00
0000065d: DUP1
0000065e: REVERT
0000065f: JUMPDEST
00000660: PUSH2 0x0199
00000663: PUSH1 0x04
00000665: CALLDATALOAD
00000666: PUSH2 0x1214
00000669: JUMP
0000066a: JUMPDEST
0000066b: STOP
0000066c: JUMPDEST
0000066d: CALLVALUE
0000066e: ISZERO
0000066f: PUSH2 0x0677
00000672: JUMPI
00000673: PUSH1 0x00
00000675: DUP1
00000676: REVERT
00000677: JUMPDEST
00000678: PUSH2 0x0283
0000067b: PUSH2 0x1271
0000067e: JUMP
0000067f: JUMPDEST
00000680: PUSH1 0x40
00000682: MLOAD
00000683: SWAP1
00000684: DUP2
00000685: MSTORE
00000686: PUSH1 0x20
00000688: ADD
00000689: PUSH1 0x40
0000068b: MLOAD
0000068c: DUP1
0000068d: SWAP2
0000068e: SUB
0000068f: SWAP1
00000690: RETURN
00000691: JUMPDEST
00000692: CALLVALUE
00000693: ISZERO
00000694: PUSH2 0x069c
00000697: JUMPI
00000698: PUSH1 0x00
0000069a: DUP1
0000069b: REVERT
0000069c: JUMPDEST
0000069d: PUSH2 0x0283
000006a0: PUSH2 0x1276
000006a3: JUMP
000006a4: JUMPDEST
000006a5: PUSH1 0x40
000006a7: MLOAD
000006a8: SWAP1
000006a9: DUP2
000006aa: MSTORE
000006ab: PUSH1 0x20
000006ad: ADD
000006ae: PUSH1 0x40
000006b0: MLOAD
000006b1: DUP1
000006b2: SWAP2
000006b3: SUB
000006b4: SWAP1
000006b5: RETURN
000006b6: JUMPDEST
000006b7: CALLVALUE
000006b8: ISZERO
000006b9: PUSH2 0x06c1
000006bc: JUMPI
000006bd: PUSH1 0x00
000006bf: DUP1
000006c0: REVERT
000006c1: JUMPDEST
000006c2: PUSH2 0x0199
000006c5: PUSH1 0x01
000006c7: PUSH1 0xa0
000006c9: PUSH1 0x02
000006cb: EXP
000006cc: SUB
000006cd: PUSH1 0x04
000006cf: CALLDATALOAD
000006d0: DUP2
000006d1: AND
000006d2: SWAP1
000006d3: PUSH1 0x24
000006d5: CALLDATALOAD
000006d6: AND
000006d7: PUSH2 0x127c
000006da: JUMP
000006db: JUMPDEST
000006dc: STOP
000006dd: JUMPDEST
000006de: CALLVALUE
000006df: ISZERO
000006e0: PUSH2 0x06e8
000006e3: JUMPI
000006e4: PUSH1 0x00
000006e6: DUP1
000006e7: REVERT
000006e8: JUMPDEST
000006e9: PUSH2 0x0199
000006ec: PUSH1 0x04
000006ee: CALLDATALOAD
000006ef: PUSH2 0x143d
000006f2: JUMP
000006f3: JUMPDEST
000006f4: STOP
000006f5: JUMPDEST
000006f6: CALLVALUE
000006f7: ISZERO
000006f8: PUSH2 0x0700
000006fb: JUMPI
000006fc: PUSH1 0x00
000006fe: DUP1
000006ff: REVERT
00000700: JUMPDEST
00000701: PUSH2 0x0283
00000704: PUSH2 0x1663
00000707: JUMP
00000708: JUMPDEST
00000709: PUSH1 0x40
0000070b: MLOAD
0000070c: SWAP1
0000070d: DUP2
0000070e: MSTORE
0000070f: PUSH1 0x20
00000711: ADD
00000712: PUSH1 0x40
00000714: MLOAD
00000715: DUP1
00000716: SWAP2
00000717: SUB
00000718: SWAP1
00000719: RETURN
0000071a: JUMPDEST
0000071b: PUSH1 0x03
0000071d: DUP1
0000071e: SLOAD
0000071f: DUP3
00000720: SWAP1
00000721: DUP2
00000722: LT
00000723: PUSH2 0x0728
00000726: JUMPI
00000727: INVALID
00000728: JUMPDEST
00000729: SWAP1
0000072a: PUSH1 0x00
0000072c: MSTORE
0000072d: PUSH1 0x20
0000072f: PUSH1 0x00
00000731: KECCAK256
00000732: SWAP1
00000733: ADD
00000734: PUSH1 0x00
00000736: JUMPDEST
00000737: SWAP2
00000738: POP
00000739: SLOAD
0000073a: SWAP1
0000073b: PUSH2 0x0100
0000073e: EXP
0000073f: SWAP1
00000740: DIV
00000741: PUSH1 0x01
00000743: PUSH1 0xa0
00000745: PUSH1 0x02
00000747: EXP
00000748: SUB
00000749: AND
0000074a: DUP2
0000074b: JUMP
0000074c: JUMPDEST
0000074d: PUSH1 0x00
0000074f: ADDRESS
00000750: PUSH1 0x01
00000752: PUSH1 0xa0
00000754: PUSH1 0x02
00000756: EXP
00000757: SUB
00000758: AND
00000759: CALLER
0000075a: PUSH1 0x01
0000075c: PUSH1 0xa0
0000075e: PUSH1 0x02
00000760: EXP
00000761: SUB
00000762: AND
00000763: EQ
00000764: ISZERO
00000765: ISZERO
00000766: PUSH2 0x076e
00000769: JUMPI
0000076a: PUSH1 0x00
0000076c: DUP1
0000076d: REVERT
0000076e: JUMPDEST
0000076f: PUSH1 0x01
00000771: PUSH1 0xa0
00000773: PUSH1 0x02
00000775: EXP
00000776: SUB
00000777: DUP3
00000778: AND
00000779: PUSH1 0x00
0000077b: SWAP1
0000077c: DUP2
0000077d: MSTORE
0000077e: PUSH1 0x02
00000780: PUSH1 0x20
00000782: MSTORE
00000783: PUSH1 0x40
00000785: SWAP1
00000786: KECCAK256
00000787: SLOAD
00000788: DUP3
00000789: SWAP1
0000078a: PUSH1 0xff
0000078c: AND
0000078d: ISZERO
0000078e: ISZERO
0000078f: PUSH2 0x0797
00000792: JUMPI
00000793: PUSH1 0x00
00000795: DUP1
00000796: REVERT
00000797: JUMPDEST
00000798: PUSH1 0x01
0000079a: PUSH1 0xa0
0000079c: PUSH1 0x02
0000079e: EXP
0000079f: SUB
000007a0: DUP4
000007a1: AND
000007a2: PUSH1 0x00
000007a4: SWAP1
000007a5: DUP2
000007a6: MSTORE
000007a7: PUSH1 0x02
000007a9: PUSH1 0x20
000007ab: MSTORE
000007ac: PUSH1 0x40
000007ae: DUP2
000007af: KECCAK256
000007b0: DUP1
000007b1: SLOAD
000007b2: PUSH1 0xff
000007b4: NOT
000007b5: AND
000007b6: SWAP1
000007b7: SSTORE
000007b8: SWAP2
000007b9: POP
000007ba: JUMPDEST
000007bb: PUSH1 0x03
000007bd: SLOAD
000007be: PUSH1 0x00
000007c0: NOT
000007c1: ADD
000007c2: DUP3
000007c3: LT
000007c4: ISZERO
000007c5: PUSH2 0x0892
000007c8: JUMPI
000007c9: DUP3
000007ca: PUSH1 0x01
000007cc: PUSH1 0xa0
000007ce: PUSH1 0x02
000007d0: EXP
000007d1: SUB
000007d2: AND
000007d3: PUSH1 0x03
000007d5: DUP4
000007d6: DUP2
000007d7: SLOAD
000007d8: DUP2
000007d9: LT
000007da: ISZERO
000007db: ISZERO
000007dc: PUSH2 0x07e1
000007df: JUMPI
000007e0: INVALID
000007e1: JUMPDEST
000007e2: SWAP1
000007e3: PUSH1 0x00
000007e5: MSTORE
000007e6: PUSH1 0x20
000007e8: PUSH1 0x00
000007ea: KECCAK256
000007eb: SWAP1
000007ec: ADD
000007ed: PUSH1 0x00
000007ef: JUMPDEST
000007f0: SWAP1
000007f1: SLOAD
000007f2: SWAP1
000007f3: PUSH2 0x0100
000007f6: EXP
000007f7: SWAP1
000007f8: DIV
000007f9: PUSH1 0x01
000007fb: PUSH1 0xa0
000007fd: PUSH1 0x02
000007ff: EXP
00000800: SUB
00000801: AND
00000802: PUSH1 0x01
00000804: PUSH1 0xa0
00000806: PUSH1 0x02
00000808: EXP
00000809: SUB
0000080a: AND
0000080b: EQ
0000080c: ISZERO
0000080d: PUSH2 0x0886
00000810: JUMPI
00000811: PUSH1 0x03
00000813: DUP1
00000814: SLOAD
00000815: PUSH1 0x00
00000817: NOT
00000818: DUP2
00000819: ADD
0000081a: SWAP1
0000081b: DUP2
0000081c: LT
0000081d: PUSH2 0x0822
00000820: JUMPI
00000821: INVALID
00000822: JUMPDEST
00000823: SWAP1
00000824: PUSH1 0x00
00000826: MSTORE
00000827: PUSH1 0x20
00000829: PUSH1 0x00
0000082b: KECCAK256
0000082c: SWAP1
0000082d: ADD
0000082e: PUSH1 0x00
00000830: JUMPDEST
00000831: SWAP1
00000832: SLOAD
00000833: SWAP1
00000834: PUSH2 0x0100
00000837: EXP
00000838: SWAP1
00000839: DIV
0000083a: PUSH1 0x01
0000083c: PUSH1 0xa0
0000083e: PUSH1 0x02
00000840: EXP
00000841: SUB
00000842: AND
00000843: PUSH1 0x03
00000845: DUP4
00000846: DUP2
00000847: SLOAD
00000848: DUP2
00000849: LT
0000084a: ISZERO
0000084b: ISZERO
0000084c: PUSH2 0x0851
0000084f: JUMPI
00000850: INVALID
00000851: JUMPDEST
00000852: SWAP1
00000853: PUSH1 0x00
00000855: MSTORE
00000856: PUSH1 0x20
00000858: PUSH1 0x00
0000085a: KECCAK256
0000085b: SWAP1
0000085c: ADD
0000085d: PUSH1 0x00
0000085f: JUMPDEST
00000860: PUSH2 0x0100
00000863: EXP
00000864: DUP2
00000865: SLOAD
00000866: DUP2
00000867: PUSH1 0x01
00000869: PUSH1 0xa0
0000086b: PUSH1 0x02
0000086d: EXP
0000086e: SUB
0000086f: MUL
00000870: NOT
00000871: AND
00000872: SWAP1
00000873: DUP4
00000874: PUSH1 0x01
00000876: PUSH1 0xa0
00000878: PUSH1 0x02
0000087a: EXP
0000087b: SUB
0000087c: AND
0000087d: MUL
0000087e: OR
0000087f: SWAP1
00000880: SSTORE
00000881: POP
00000882: PUSH2 0x0892
00000885: JUMP
00000886: JUMPDEST
00000887: JUMPDEST
00000888: PUSH1 0x01
0000088a: SWAP1
0000088b: SWAP2
0000088c: ADD
0000088d: SWAP1
0000088e: PUSH2 0x07ba
00000891: JUMP
00000892: JUMPDEST
00000893: PUSH1 0x03
00000895: DUP1
00000896: SLOAD
00000897: PUSH1 0x00
00000899: NOT
0000089a: ADD
0000089b: SWAP1
0000089c: PUSH2 0x08a5
0000089f: SWAP1
000008a0: DUP3
000008a1: PUSH2 0x17b0
000008a4: JUMP
000008a5: JUMPDEST
000008a6: POP
000008a7: PUSH1 0x03
000008a9: SLOAD
000008aa: PUSH1 0x04
000008ac: SLOAD
000008ad: GT
000008ae: ISZERO
000008af: PUSH2 0x08be
000008b2: JUMPI
000008b3: PUSH1 0x03
000008b5: SLOAD
000008b6: PUSH2 0x08be
000008b9: SWAP1
000008ba: PUSH2 0x106c
000008bd: JUMP
000008be: JUMPDEST
000008bf: JUMPDEST
000008c0: DUP3
000008c1: PUSH1 0x01
000008c3: PUSH1 0xa0
000008c5: PUSH1 0x02
000008c7: EXP
000008c8: SUB
000008c9: AND
000008ca: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
000008eb: PUSH1 0x40
000008ed: MLOAD
000008ee: PUSH1 0x40
000008f0: MLOAD
000008f1: DUP1
000008f2: SWAP2
000008f3: SUB
000008f4: SWAP1
000008f5: LOG2
000008f6: JUMPDEST
000008f7: JUMPDEST
000008f8: POP
000008f9: JUMPDEST
000008fa: POP
000008fb: POP
000008fc: JUMP
000008fd: JUMPDEST
000008fe: CALLER
000008ff: PUSH1 0x01
00000901: PUSH1 0xa0
00000903: PUSH1 0x02
00000905: EXP
00000906: SUB
00000907: DUP2
00000908: AND
00000909: PUSH1 0x00
0000090b: SWAP1
0000090c: DUP2
0000090d: MSTORE
0000090e: PUSH1 0x02
00000910: PUSH1 0x20
00000912: MSTORE
00000913: PUSH1 0x40
00000915: SWAP1
00000916: KECCAK256
00000917: SLOAD
00000918: PUSH1 0xff
0000091a: AND
0000091b: ISZERO
0000091c: ISZERO
0000091d: PUSH2 0x0925
00000920: JUMPI
00000921: PUSH1 0x00
00000923: DUP1
00000924: REVERT
00000925: JUMPDEST
00000926: PUSH1 0x00
00000928: DUP3
00000929: DUP2
0000092a: MSTORE
0000092b: PUSH1 0x01
0000092d: PUSH1 0x20
0000092f: SWAP1
00000930: DUP2
00000931: MSTORE
00000932: PUSH1 0x40
00000934: DUP1
00000935: DUP4
00000936: KECCAK256
00000937: CALLER
00000938: PUSH1 0x01
0000093a: PUSH1 0xa0
0000093c: PUSH1 0x02
0000093e: EXP
0000093f: SUB
00000940: DUP2
00000941: AND
00000942: DUP6
00000943: MSTORE
00000944: SWAP3
00000945: MSTORE
00000946: SWAP1
00000947: SWAP2
00000948: KECCAK256
00000949: SLOAD
0000094a: DUP4
0000094b: SWAP2
0000094c: SWAP1
0000094d: PUSH1 0xff
0000094f: AND
00000950: ISZERO
00000951: ISZERO
00000952: PUSH2 0x095a
00000955: JUMPI
00000956: PUSH1 0x00
00000958: DUP1
00000959: REVERT
0000095a: JUMPDEST
0000095b: PUSH1 0x00
0000095d: DUP5
0000095e: DUP2
0000095f: MSTORE
00000960: PUSH1 0x20
00000962: DUP2
00000963: SWAP1
00000964: MSTORE
00000965: PUSH1 0x40
00000967: SWAP1
00000968: KECCAK256
00000969: PUSH1 0x03
0000096b: ADD
0000096c: SLOAD
0000096d: DUP5
0000096e: SWAP1
0000096f: PUSH1 0xff
00000971: AND
00000972: ISZERO
00000973: PUSH2 0x097b
00000976: JUMPI
00000977: PUSH1 0x00
00000979: DUP1
0000097a: REVERT
0000097b: JUMPDEST
0000097c: PUSH1 0x00
0000097e: DUP6
0000097f: DUP2
00000980: MSTORE
00000981: PUSH1 0x01
00000983: PUSH1 0x20
00000985: SWAP1
00000986: DUP2
00000987: MSTORE
00000988: PUSH1 0x40
0000098a: DUP1
0000098b: DUP4
0000098c: KECCAK256
0000098d: PUSH1 0x01
0000098f: PUSH1 0xa0
00000991: PUSH1 0x02
00000993: EXP
00000994: SUB
00000995: CALLER
00000996: AND
00000997: DUP1
00000998: DUP6
00000999: MSTORE
0000099a: SWAP3
0000099b: MSTORE
0000099c: SWAP2
0000099d: DUP3
0000099e: SWAP1
0000099f: KECCAK256
000009a0: DUP1
000009a1: SLOAD
000009a2: PUSH1 0xff
000009a4: NOT
000009a5: AND
000009a6: SWAP1
000009a7: SSTORE
000009a8: DUP7
000009a9: SWAP2
000009aa: PUSH32 0xf6a317157440607f36269043eb55f1287a5a19ba2216afeab88cd46cbcfb88e9
000009cb: SWAP1
000009cc: MLOAD
000009cd: PUSH1 0x40
000009cf: MLOAD
000009d0: DUP1
000009d1: SWAP2
000009d2: SUB
000009d3: SWAP1
000009d4: LOG3
000009d5: JUMPDEST
000009d6: JUMPDEST
000009d7: POP
000009d8: JUMPDEST
000009d9: POP
000009da: POP
000009db: JUMPDEST
000009dc: POP
000009dd: POP
000009de: JUMP
000009df: JUMPDEST
000009e0: PUSH1 0x02
000009e2: PUSH1 0x20
000009e4: MSTORE
000009e5: PUSH1 0x00
000009e7: SWAP1
000009e8: DUP2
000009e9: MSTORE
000009ea: PUSH1 0x40
000009ec: SWAP1
000009ed: KECCAK256
000009ee: SLOAD
000009ef: PUSH1 0xff
000009f1: AND
000009f2: DUP2
000009f3: JUMP
000009f4: JUMPDEST
000009f5: PUSH1 0x01
000009f7: PUSH1 0x20
000009f9: SWAP1
000009fa: DUP2
000009fb: MSTORE
000009fc: PUSH1 0x00
000009fe: SWAP3
000009ff: DUP4
00000a00: MSTORE
00000a01: PUSH1 0x40
00000a03: DUP1
00000a04: DUP5
00000a05: KECCAK256
00000a06: SWAP1
00000a07: SWAP2
00000a08: MSTORE
00000a09: SWAP1
00000a0a: DUP3
00000a0b: MSTORE
00000a0c: SWAP1
00000a0d: KECCAK256
00000a0e: SLOAD
00000a0f: PUSH1 0xff
00000a11: AND
00000a12: DUP2
00000a13: JUMP
00000a14: JUMPDEST
00000a15: PUSH1 0x00
00000a17: PUSH1 0x07
00000a19: SLOAD
00000a1a: PUSH3 0x015180
00000a1e: ADD
00000a1f: TIMESTAMP
00000a20: GT
00000a21: ISZERO
00000a22: PUSH2 0x0a2e
00000a25: JUMPI
00000a26: POP
00000a27: PUSH1 0x06
00000a29: SLOAD
00000a2a: PUSH2 0x0a4b
00000a2d: JUMP
00000a2e: JUMPDEST
00000a2f: PUSH1 0x08
00000a31: SLOAD
00000a32: PUSH1 0x06
00000a34: SLOAD
00000a35: LT
00000a36: ISZERO
00000a37: PUSH2 0x0a42
00000a3a: JUMPI
00000a3b: POP
00000a3c: PUSH1 0x00
00000a3e: PUSH2 0x0a4b
00000a41: JUMP
00000a42: JUMPDEST
00000a43: POP
00000a44: PUSH1 0x08
00000a46: SLOAD
00000a47: PUSH1 0x06
00000a49: SLOAD
00000a4a: SUB
00000a4b: JUMPDEST
00000a4c: SWAP1
00000a4d: JUMP
00000a4e: JUMPDEST
00000a4f: PUSH1 0x00
00000a51: DUP1
00000a52: JUMPDEST
00000a53: PUSH1 0x05
00000a55: SLOAD
00000a56: DUP2
00000a57: LT
00000a58: ISZERO
00000a59: PUSH2 0x0ab5
00000a5c: JUMPI
00000a5d: DUP4
00000a5e: DUP1
00000a5f: ISZERO
00000a60: PUSH2 0x0a7b
00000a63: JUMPI
00000a64: POP
00000a65: PUSH1 0x00
00000a67: DUP2
00000a68: DUP2
00000a69: MSTORE
00000a6a: PUSH1 0x20
00000a6c: DUP2
00000a6d: SWAP1
00000a6e: MSTORE
00000a6f: PUSH1 0x40
00000a71: SWAP1
00000a72: KECCAK256
00000a73: PUSH1 0x03
00000a75: ADD
00000a76: SLOAD
00000a77: PUSH1 0xff
00000a79: AND
00000a7a: ISZERO
00000a7b: JUMPDEST
00000a7c: DUP1
00000a7d: PUSH2 0x0a9f
00000a80: JUMPI
00000a81: POP
00000a82: DUP3
00000a83: DUP1
00000a84: ISZERO
00000a85: PUSH2 0x0a9f
00000a88: JUMPI
00000a89: POP
00000a8a: PUSH1 0x00
00000a8c: DUP2
00000a8d: DUP2
00000a8e: MSTORE
00000a8f: PUSH1 0x20
00000a91: DUP2
00000a92: SWAP1
00000a93: MSTORE
00000a94: PUSH1 0x40
00000a96: SWAP1
00000a97: KECCAK256
00000a98: PUSH1 0x03
00000a9a: ADD
00000a9b: SLOAD
00000a9c: PUSH1 0xff
00000a9e: AND
00000a9f: JUMPDEST
00000aa0: JUMPDEST
00000aa1: ISZERO
00000aa2: PUSH2 0x0aac
00000aa5: JUMPI
00000aa6: PUSH1 0x01
00000aa8: DUP3
00000aa9: ADD
00000aaa: SWAP2
00000aab: POP
00000aac: JUMPDEST
00000aad: JUMPDEST
00000aae: PUSH1 0x01
00000ab0: ADD
00000ab1: PUSH2 0x0a52
00000ab4: JUMP
00000ab5: JUMPDEST
00000ab6: JUMPDEST
00000ab7: POP
00000ab8: SWAP3
00000ab9: SWAP2
00000aba: POP
00000abb: POP
00000abc: JUMP
00000abd: JUMPDEST
00000abe: PUSH1 0x06
00000ac0: SLOAD
00000ac1: DUP2
00000ac2: JUMP
00000ac3: JUMPDEST
00000ac4: PUSH1 0x07
00000ac6: SLOAD
00000ac7: DUP2
00000ac8: JUMP
00000ac9: JUMPDEST
00000aca: ADDRESS
00000acb: PUSH1 0x01
00000acd: PUSH1 0xa0
00000acf: PUSH1 0x02
00000ad1: EXP
00000ad2: SUB
00000ad3: AND
00000ad4: CALLER
00000ad5: PUSH1 0x01
00000ad7: PUSH1 0xa0
00000ad9: PUSH1 0x02
00000adb: EXP
00000adc: SUB
00000add: AND
00000ade: EQ
00000adf: ISZERO
00000ae0: ISZERO
00000ae1: PUSH2 0x0ae9
00000ae4: JUMPI
00000ae5: PUSH1 0x00
00000ae7: DUP1
00000ae8: REVERT
00000ae9: JUMPDEST
00000aea: PUSH1 0x01
00000aec: PUSH1 0xa0
00000aee: PUSH1 0x02
00000af0: EXP
00000af1: SUB
00000af2: DUP2
00000af3: AND
00000af4: PUSH1 0x00
00000af6: SWAP1
00000af7: DUP2
00000af8: MSTORE
00000af9: PUSH1 0x02
00000afb: PUSH1 0x20
00000afd: MSTORE
00000afe: PUSH1 0x40
00000b00: SWAP1
00000b01: KECCAK256
00000b02: SLOAD
00000b03: DUP2
00000b04: SWAP1
00000b05: PUSH1 0xff
00000b07: AND
00000b08: ISZERO
00000b09: PUSH2 0x0b11
00000b0c: JUMPI
00000b0d: PUSH1 0x00
00000b0f: DUP1
00000b10: REVERT
00000b11: JUMPDEST
00000b12: DUP2
00000b13: PUSH1 0x01
00000b15: PUSH1 0xa0
00000b17: PUSH1 0x02
00000b19: EXP
00000b1a: SUB
00000b1b: DUP2
00000b1c: AND
00000b1d: ISZERO
00000b1e: ISZERO
00000b1f: PUSH2 0x0b27
00000b22: JUMPI
00000b23: PUSH1 0x00
00000b25: DUP1
00000b26: REVERT
00000b27: JUMPDEST
00000b28: PUSH1 0x03
00000b2a: DUP1
00000b2b: SLOAD
00000b2c: SWAP1
00000b2d: POP
00000b2e: PUSH1 0x01
00000b30: ADD
00000b31: PUSH1 0x04
00000b33: SLOAD
00000b34: PUSH1 0x32
00000b36: DUP3
00000b37: GT
00000b38: ISZERO
00000b39: DUP1
00000b3a: ISZERO
00000b3b: PUSH2 0x0b44
00000b3e: JUMPI
00000b3f: POP
00000b40: DUP2
00000b41: DUP2
00000b42: GT
00000b43: ISZERO
00000b44: JUMPDEST
00000b45: DUP1
00000b46: ISZERO
00000b47: PUSH2 0x0b4f
00000b4a: JUMPI
00000b4b: POP
00000b4c: DUP1
00000b4d: ISZERO
00000b4e: ISZERO
00000b4f: JUMPDEST
00000b50: DUP1
00000b51: ISZERO
00000b52: PUSH2 0x0b5a
00000b55: JUMPI
00000b56: POP
00000b57: DUP2
00000b58: ISZERO
00000b59: ISZERO
00000b5a: JUMPDEST
00000b5b: ISZERO
00000b5c: ISZERO
00000b5d: PUSH2 0x0b65
00000b60: JUMPI
00000b61: PUSH1 0x00
00000b63: DUP1
00000b64: REVERT
00000b65: JUMPDEST
00000b66: PUSH1 0x01
00000b68: PUSH1 0xa0
00000b6a: PUSH1 0x02
00000b6c: EXP
00000b6d: SUB
00000b6e: DUP6
00000b6f: AND
00000b70: PUSH1 0x00
00000b72: SWAP1
00000b73: DUP2
00000b74: MSTORE
00000b75: PUSH1 0x02
00000b77: PUSH1 0x20
00000b79: MSTORE
00000b7a: PUSH1 0x40
00000b7c: SWAP1
00000b7d: KECCAK256
00000b7e: DUP1
00000b7f: SLOAD
00000b80: PUSH1 0xff
00000b82: NOT
00000b83: AND
00000b84: PUSH1 0x01
00000b86: SWAP1
00000b87: DUP2
00000b88: OR
00000b89: SWAP1
00000b8a: SWAP2
00000b8b: SSTORE
00000b8c: PUSH1 0x03
00000b8e: DUP1
00000b8f: SLOAD
00000b90: SWAP1
00000b91: SWAP2
00000b92: DUP2
00000b93: ADD
00000b94: PUSH2 0x0b9d
00000b97: DUP4
00000b98: DUP3
00000b99: PUSH2 0x17b0
00000b9c: JUMP
00000b9d: JUMPDEST
00000b9e: SWAP2
00000b9f: PUSH1 0x00
00000ba1: MSTORE
00000ba2: PUSH1 0x20
00000ba4: PUSH1 0x00
00000ba6: KECCAK256
00000ba7: SWAP1
00000ba8: ADD
00000ba9: PUSH1 0x00
00000bab: JUMPDEST
00000bac: DUP2
00000bad: SLOAD
00000bae: PUSH1 0x01
00000bb0: PUSH1 0xa0
00000bb2: PUSH1 0x02
00000bb4: EXP
00000bb5: SUB
00000bb6: DUP1
00000bb7: DUP11
00000bb8: AND
00000bb9: PUSH2 0x0100
00000bbc: SWAP4
00000bbd: SWAP1
00000bbe: SWAP4
00000bbf: EXP
00000bc0: DUP4
00000bc1: DUP2
00000bc2: MUL
00000bc3: SWAP2
00000bc4: MUL
00000bc5: NOT
00000bc6: SWAP1
00000bc7: SWAP2
00000bc8: AND
00000bc9: OR
00000bca: SWAP1
00000bcb: SWAP2
00000bcc: SSTORE
00000bcd: SWAP1
00000bce: POP
00000bcf: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
00000bf0: PUSH1 0x40
00000bf2: MLOAD
00000bf3: PUSH1 0x40
00000bf5: MLOAD
00000bf6: DUP1
00000bf7: SWAP2
00000bf8: SUB
00000bf9: SWAP1
00000bfa: LOG2
00000bfb: JUMPDEST
00000bfc: JUMPDEST
00000bfd: POP
00000bfe: POP
00000bff: JUMPDEST
00000c00: POP
00000c01: JUMPDEST
00000c02: POP
00000c03: JUMPDEST
00000c04: POP
00000c05: JUMP
00000c06: JUMPDEST
00000c07: PUSH1 0x00
00000c09: DUP1
00000c0a: DUP1
00000c0b: JUMPDEST
00000c0c: PUSH1 0x03
00000c0e: SLOAD
00000c0f: DUP2
00000c10: LT
00000c11: ISZERO
00000c12: PUSH2 0x0c92
00000c15: JUMPI
00000c16: PUSH1 0x00
00000c18: DUP5
00000c19: DUP2
00000c1a: MSTORE
00000c1b: PUSH1 0x01
00000c1d: PUSH1 0x20
00000c1f: MSTORE
00000c20: PUSH1 0x40
00000c22: DUP2
00000c23: KECCAK256
00000c24: PUSH1 0x03
00000c26: DUP1
00000c27: SLOAD
00000c28: SWAP2
00000c29: SWAP3
00000c2a: SWAP2
00000c2b: DUP5
00000c2c: SWAP1
00000c2d: DUP2
00000c2e: LT
00000c2f: PUSH2 0x0c34
00000c32: JUMPI
00000c33: INVALID
00000c34: JUMPDEST
00000c35: SWAP1
00000c36: PUSH1 0x00
00000c38: MSTORE
00000c39: PUSH1 0x20
00000c3b: PUSH1 0x00
00000c3d: KECCAK256
00000c3e: SWAP1
00000c3f: ADD
00000c40: PUSH1 0x00
00000c42: JUMPDEST
00000c43: SWAP1
00000c44: SLOAD
00000c45: PUSH1 0x01
00000c47: PUSH1 0xa0
00000c49: PUSH1 0x02
00000c4b: EXP
00000c4c: SUB
00000c4d: PUSH2 0x0100
00000c50: SWAP3
00000c51: SWAP1
00000c52: SWAP3
00000c53: EXP
00000c54: SWAP1
00000c55: DIV
00000c56: AND
00000c57: DUP2
00000c58: MSTORE
00000c59: PUSH1 0x20
00000c5b: DUP2
00000c5c: ADD
00000c5d: SWAP2
00000c5e: SWAP1
00000c5f: SWAP2
00000c60: MSTORE
00000c61: PUSH1 0x40
00000c63: ADD
00000c64: PUSH1 0x00
00000c66: KECCAK256
00000c67: SLOAD
00000c68: PUSH1 0xff
00000c6a: AND
00000c6b: ISZERO
00000c6c: PUSH2 0x0c76
00000c6f: JUMPI
00000c70: PUSH1 0x01
00000c72: DUP3
00000c73: ADD
00000c74: SWAP2
00000c75: POP
00000c76: JUMPDEST
00000c77: PUSH1 0x04
00000c79: SLOAD
00000c7a: DUP3
00000c7b: EQ
00000c7c: ISZERO
00000c7d: PUSH2 0x0c89
00000c80: JUMPI
00000c81: PUSH1 0x01
00000c83: SWAP3
00000c84: POP
00000c85: PUSH2 0x0c92
00000c88: JUMP
00000c89: JUMPDEST
00000c8a: JUMPDEST
00000c8b: PUSH1 0x01
00000c8d: ADD
00000c8e: PUSH2 0x0c0b
00000c91: JUMP
00000c92: JUMPDEST
00000c93: JUMPDEST
00000c94: POP
00000c95: POP
00000c96: SWAP2
00000c97: SWAP1
00000c98: POP
00000c99: JUMP
00000c9a: JUMPDEST
00000c9b: PUSH1 0x00
00000c9d: DUP1
00000c9e: JUMPDEST
00000c9f: PUSH1 0x03
00000ca1: SLOAD
00000ca2: DUP2
00000ca3: LT
00000ca4: ISZERO
00000ca5: PUSH2 0x0d12
00000ca8: JUMPI
00000ca9: PUSH1 0x00
00000cab: DUP4
00000cac: DUP2
00000cad: MSTORE
00000cae: PUSH1 0x01
00000cb0: PUSH1 0x20
00000cb2: MSTORE
00000cb3: PUSH1 0x40
00000cb5: DUP2
00000cb6: KECCAK256
00000cb7: PUSH1 0x03
00000cb9: DUP1
00000cba: SLOAD
00000cbb: SWAP2
00000cbc: SWAP3
00000cbd: SWAP2
00000cbe: DUP5
00000cbf: SWAP1
00000cc0: DUP2
00000cc1: LT
00000cc2: PUSH2 0x0cc7
00000cc5: JUMPI
00000cc6: INVALID
00000cc7: JUMPDEST
00000cc8: SWAP1
00000cc9: PUSH1 0x00
00000ccb: MSTORE
00000ccc: PUSH1 0x20
00000cce: PUSH1 0x00
00000cd0: KECCAK256
00000cd1: SWAP1
00000cd2: ADD
00000cd3: PUSH1 0x00
00000cd5: JUMPDEST
00000cd6: SWAP1
00000cd7: SLOAD
00000cd8: PUSH1 0x01
00000cda: PUSH1 0xa0
00000cdc: PUSH1 0x02
00000cde: EXP
00000cdf: SUB
00000ce0: PUSH2 0x0100
00000ce3: SWAP3
00000ce4: SWAP1
00000ce5: SWAP3
00000ce6: EXP
00000ce7: SWAP1
00000ce8: DIV
00000ce9: AND
00000cea: DUP2
00000ceb: MSTORE
00000cec: PUSH1 0x20
00000cee: DUP2
00000cef: ADD
00000cf0: SWAP2
00000cf1: SWAP1
00000cf2: SWAP2
00000cf3: MSTORE
00000cf4: PUSH1 0x40
00000cf6: ADD
00000cf7: PUSH1 0x00
00000cf9: KECCAK256
00000cfa: SLOAD
00000cfb: PUSH1 0xff
00000cfd: AND
00000cfe: ISZERO
00000cff: PUSH2 0x0d09
00000d02: JUMPI
00000d03: PUSH1 0x01
00000d05: DUP3
00000d06: ADD
00000d07: SWAP2
00000d08: POP
00000d09: JUMPDEST
00000d0a: JUMPDEST
00000d0b: PUSH1 0x01
00000d0d: ADD
00000d0e: PUSH2 0x0c9e
00000d11: JUMP
00000d12: JUMPDEST
00000d13: JUMPDEST
00000d14: POP
00000d15: SWAP2
00000d16: SWAP1
00000d17: POP
00000d18: JUMP
00000d19: JUMPDEST
00000d1a: PUSH1 0x00
00000d1c: PUSH1 0x20
00000d1e: DUP2
00000d1f: SWAP1
00000d20: MSTORE
00000d21: SWAP1
00000d22: DUP2
00000d23: MSTORE
00000d24: PUSH1 0x40
00000d26: SWAP1
00000d27: KECCAK256
00000d28: DUP1
00000d29: SLOAD
00000d2a: PUSH1 0x01
00000d2c: DUP3
00000d2d: ADD
00000d2e: SLOAD
00000d2f: PUSH1 0x03
00000d31: DUP4
00000d32: ADD
00000d33: SLOAD
00000d34: PUSH1 0x01
00000d36: PUSH1 0xa0
00000d38: PUSH1 0x02
00000d3a: EXP
00000d3b: SUB
00000d3c: SWAP1
00000d3d: SWAP3
00000d3e: AND
00000d3f: SWAP3
00000d40: SWAP1
00000d41: SWAP2
00000d42: PUSH1 0x02
00000d44: SWAP1
00000d45: SWAP2
00000d46: ADD
00000d47: SWAP1
00000d48: PUSH1 0xff
00000d4a: AND
00000d4b: DUP5
00000d4c: JUMP
00000d4d: JUMPDEST
00000d4e: PUSH2 0x0d55
00000d51: PUSH2 0x1804
00000d54: JUMP
00000d55: JUMPDEST
00000d56: PUSH1 0x03
00000d58: DUP1
00000d59: SLOAD
00000d5a: DUP1
00000d5b: PUSH1 0x20
00000d5d: MUL
00000d5e: PUSH1 0x20
00000d60: ADD
00000d61: PUSH1 0x40
00000d63: MLOAD
00000d64: SWAP1
00000d65: DUP2
00000d66: ADD
00000d67: PUSH1 0x40
00000d69: MSTORE
00000d6a: DUP1
00000d6b: SWAP3
00000d6c: SWAP2
00000d6d: SWAP1
00000d6e: DUP2
00000d6f: DUP2
00000d70: MSTORE
00000d71: PUSH1 0x20
00000d73: ADD
00000d74: DUP3
00000d75: DUP1
00000d76: SLOAD
00000d77: DUP1
00000d78: ISZERO
00000d79: PUSH2 0x0dab
00000d7c: JUMPI
00000d7d: PUSH1 0x20
00000d7f: MUL
00000d80: DUP3
00000d81: ADD
00000d82: SWAP2
00000d83: SWAP1
00000d84: PUSH1 0x00
00000d86: MSTORE
00000d87: PUSH1 0x20
00000d89: PUSH1 0x00
00000d8b: KECCAK256
00000d8c: SWAP1
00000d8d: JUMPDEST
00000d8e: DUP2
00000d8f: SLOAD
00000d90: PUSH1 0x01
00000d92: PUSH1 0xa0
00000d94: PUSH1 0x02
00000d96: EXP
00000d97: SUB
00000d98: AND
00000d99: DUP2
00000d9a: MSTORE
00000d9b: PUSH1 0x01
00000d9d: SWAP1
00000d9e: SWAP2
00000d9f: ADD
00000da0: SWAP1
00000da1: PUSH1 0x20
00000da3: ADD
00000da4: DUP1
00000da5: DUP4
00000da6: GT
00000da7: PUSH2 0x0d8d
00000daa: JUMPI
00000dab: JUMPDEST
00000dac: POP
00000dad: POP
00000dae: POP
00000daf: POP
00000db0: POP
00000db1: SWAP1
00000db2: POP
00000db3: JUMPDEST
00000db4: SWAP1
00000db5: JUMP
00000db6: JUMPDEST
00000db7: PUSH2 0x0dbe
00000dba: PUSH2 0x1804
00000dbd: JUMP
00000dbe: JUMPDEST
00000dbf: PUSH2 0x0dc6
00000dc2: PUSH2 0x1804
00000dc5: JUMP
00000dc6: JUMPDEST
00000dc7: PUSH1 0x00
00000dc9: DUP1
00000dca: PUSH1 0x05
00000dcc: SLOAD
00000dcd: PUSH1 0x40
00000dcf: MLOAD
00000dd0: DUP1
00000dd1: MSIZE
00000dd2: LT
00000dd3: PUSH2 0x0dd9
00000dd6: JUMPI
00000dd7: POP
00000dd8: MSIZE
00000dd9: JUMPDEST
00000dda: SWAP1
00000ddb: DUP1
00000ddc: DUP3
00000ddd: MSTORE
00000dde: DUP1
00000ddf: PUSH1 0x20
00000de1: MUL
00000de2: PUSH1 0x20
00000de4: ADD
00000de5: DUP3
00000de6: ADD
00000de7: PUSH1 0x40
00000de9: MSTORE
00000dea: JUMPDEST
00000deb: POP
00000dec: SWAP3
00000ded: POP
00000dee: PUSH1 0x00
00000df0: SWAP2
00000df1: POP
00000df2: PUSH1 0x00
00000df4: SWAP1
00000df5: POP
00000df6: JUMPDEST
00000df7: PUSH1 0x05
00000df9: SLOAD
00000dfa: DUP2
00000dfb: LT
00000dfc: ISZERO
00000dfd: PUSH2 0x0e71
00000e00: JUMPI
00000e01: DUP6
00000e02: DUP1
00000e03: ISZERO
00000e04: PUSH2 0x0e1f
00000e07: JUMPI
00000e08: POP
00000e09: PUSH1 0x00
00000e0b: DUP2
00000e0c: DUP2
00000e0d: MSTORE
00000e0e: PUSH1 0x20
00000e10: DUP2
00000e11: SWAP1
00000e12: MSTORE
00000e13: PUSH1 0x40
00000e15: SWAP1
00000e16: KECCAK256
00000e17: PUSH1 0x03
00000e19: ADD
00000e1a: SLOAD
00000e1b: PUSH1 0xff
00000e1d: AND
00000e1e: ISZERO
00000e1f: JUMPDEST
00000e20: DUP1
00000e21: PUSH2 0x0e43
00000e24: JUMPI
00000e25: POP
00000e26: DUP5
00000e27: DUP1
00000e28: ISZERO
00000e29: PUSH2 0x0e43
00000e2c: JUMPI
00000e2d: POP
00000e2e: PUSH1 0x00
00000e30: DUP2
00000e31: DUP2
00000e32: MSTORE
00000e33: PUSH1 0x20
00000e35: DUP2
00000e36: SWAP1
00000e37: MSTORE
00000e38: PUSH1 0x40
00000e3a: SWAP1
00000e3b: KECCAK256
00000e3c: PUSH1 0x03
00000e3e: ADD
00000e3f: SLOAD
00000e40: PUSH1 0xff
00000e42: AND
00000e43: JUMPDEST
00000e44: JUMPDEST
00000e45: ISZERO
00000e46: PUSH2 0x0e68
00000e49: JUMPI
00000e4a: DUP1
00000e4b: DUP4
00000e4c: DUP4
00000e4d: DUP2
00000e4e: MLOAD
00000e4f: DUP2
00000e50: LT
00000e51: PUSH2 0x0e56
00000e54: JUMPI
00000e55: INVALID
00000e56: JUMPDEST
00000e57: PUSH1 0x20
00000e59: SWAP1
00000e5a: DUP2
00000e5b: MUL
00000e5c: SWAP1
00000e5d: SWAP2
00000e5e: ADD
00000e5f: ADD
00000e60: MSTORE
00000e61: PUSH1 0x01
00000e63: SWAP2
00000e64: SWAP1
00000e65: SWAP2
00000e66: ADD
00000e67: SWAP1
00000e68: JUMPDEST
00000e69: JUMPDEST
00000e6a: PUSH1 0x01
00000e6c: ADD
00000e6d: PUSH2 0x0df6
00000e70: JUMP
00000e71: JUMPDEST
00000e72: DUP8
00000e73: DUP8
00000e74: SUB
00000e75: PUSH1 0x40
00000e77: MLOAD
00000e78: DUP1
00000e79: MSIZE
00000e7a: LT
00000e7b: PUSH2 0x0e81
00000e7e: JUMPI
00000e7f: POP
00000e80: MSIZE
00000e81: JUMPDEST
00000e82: SWAP1
00000e83: DUP1
00000e84: DUP3
00000e85: MSTORE
00000e86: DUP1
00000e87: PUSH1 0x20
00000e89: MUL
00000e8a: PUSH1 0x20
00000e8c: ADD
00000e8d: DUP3
00000e8e: ADD
00000e8f: PUSH1 0x40
00000e91: MSTORE
00000e92: JUMPDEST
00000e93: POP
00000e94: SWAP4
00000e95: POP
00000e96: DUP8
00000e97: SWAP1
00000e98: POP
00000e99: JUMPDEST
00000e9a: DUP7
00000e9b: DUP2
00000e9c: LT
00000e9d: ISZERO
00000e9e: PUSH2 0x0ed8
00000ea1: JUMPI
00000ea2: DUP3
00000ea3: DUP2
00000ea4: DUP2
00000ea5: MLOAD
00000ea6: DUP2
00000ea7: LT
00000ea8: PUSH2 0x0ead
00000eab: JUMPI
00000eac: INVALID
00000ead: JUMPDEST
00000eae: SWAP1
00000eaf: PUSH1 0x20
00000eb1: ADD
00000eb2: SWAP1
00000eb3: PUSH1 0x20
00000eb5: MUL
00000eb6: ADD
00000eb7: MLOAD
00000eb8: DUP5
00000eb9: DUP10
00000eba: DUP4
00000ebb: SUB
00000ebc: DUP2
00000ebd: MLOAD
00000ebe: DUP2
00000ebf: LT
00000ec0: PUSH2 0x0ec5
00000ec3: JUMPI
00000ec4: INVALID
00000ec5: JUMPDEST
00000ec6: PUSH1 0x20
00000ec8: SWAP1
00000ec9: DUP2
00000eca: MUL
00000ecb: SWAP1
00000ecc: SWAP2
00000ecd: ADD
00000ece: ADD
00000ecf: MSTORE
00000ed0: JUMPDEST
00000ed1: PUSH1 0x01
00000ed3: ADD
00000ed4: PUSH2 0x0e99
00000ed7: JUMP
00000ed8: JUMPDEST
00000ed9: JUMPDEST
00000eda: POP
00000edb: POP
00000edc: POP
00000edd: SWAP5
00000ede: SWAP4
00000edf: POP
00000ee0: POP
00000ee1: POP
00000ee2: POP
00000ee3: JUMP
00000ee4: JUMPDEST
00000ee5: PUSH2 0x0eec
00000ee8: PUSH2 0x1804
00000eeb: JUMP
00000eec: JUMPDEST
00000eed: PUSH2 0x0ef4
00000ef0: PUSH2 0x1804
00000ef3: JUMP
00000ef4: JUMPDEST
00000ef5: PUSH1 0x03
00000ef7: SLOAD
00000ef8: PUSH1 0x00
00000efa: SWAP1
00000efb: DUP2
00000efc: SWAP1
00000efd: PUSH1 0x40
00000eff: MLOAD
00000f00: DUP1
00000f01: MSIZE
00000f02: LT
00000f03: PUSH2 0x0f09
00000f06: JUMPI
00000f07: POP
00000f08: MSIZE
00000f09: JUMPDEST
00000f0a: SWAP1
00000f0b: DUP1
00000f0c: DUP3
00000f0d: MSTORE
00000f0e: DUP1
00000f0f: PUSH1 0x20
00000f11: MUL
00000f12: PUSH1 0x20
00000f14: ADD
00000f15: DUP3
00000f16: ADD
00000f17: PUSH1 0x40
00000f19: MSTORE
00000f1a: JUMPDEST
00000f1b: POP
00000f1c: SWAP3
00000f1d: POP
00000f1e: PUSH1 0x00
00000f20: SWAP2
00000f21: POP
00000f22: PUSH1 0x00
00000f24: SWAP1
00000f25: POP
00000f26: JUMPDEST
00000f27: PUSH1 0x03
00000f29: SLOAD
00000f2a: DUP2
00000f2b: LT
00000f2c: ISZERO
00000f2d: PUSH2 0x0fec
00000f30: JUMPI
00000f31: PUSH1 0x00
00000f33: DUP6
00000f34: DUP2
00000f35: MSTORE
00000f36: PUSH1 0x01
00000f38: PUSH1 0x20
00000f3a: MSTORE
00000f3b: PUSH1 0x40
00000f3d: DUP2
00000f3e: KECCAK256
00000f3f: PUSH1 0x03
00000f41: DUP1
00000f42: SLOAD
00000f43: SWAP2
00000f44: SWAP3
00000f45: SWAP2
00000f46: DUP5
00000f47: SWAP1
00000f48: DUP2
00000f49: LT
00000f4a: PUSH2 0x0f4f
00000f4d: JUMPI
00000f4e: INVALID
00000f4f: JUMPDEST
00000f50: SWAP1
00000f51: PUSH1 0x00
00000f53: MSTORE
00000f54: PUSH1 0x20
00000f56: PUSH1 0x00
00000f58: KECCAK256
00000f59: SWAP1
00000f5a: ADD
00000f5b: PUSH1 0x00
00000f5d: JUMPDEST
00000f5e: SWAP1
00000f5f: SLOAD
00000f60: PUSH1 0x01
00000f62: PUSH1 0xa0
00000f64: PUSH1 0x02
00000f66: EXP
00000f67: SUB
00000f68: PUSH2 0x0100
00000f6b: SWAP3
00000f6c: SWAP1
00000f6d: SWAP3
00000f6e: EXP
00000f6f: SWAP1
00000f70: DIV
00000f71: AND
00000f72: DUP2
00000f73: MSTORE
00000f74: PUSH1 0x20
00000f76: DUP2
00000f77: ADD
00000f78: SWAP2
00000f79: SWAP1
00000f7a: SWAP2
00000f7b: MSTORE
00000f7c: PUSH1 0x40
00000f7e: ADD
00000f7f: PUSH1 0x00
00000f81: KECCAK256
00000f82: SLOAD
00000f83: PUSH1 0xff
00000f85: AND
00000f86: ISZERO
00000f87: PUSH2 0x0fe3
00000f8a: JUMPI
00000f8b: PUSH1 0x03
00000f8d: DUP1
00000f8e: SLOAD
00000f8f: DUP3
00000f90: SWAP1
00000f91: DUP2
00000f92: LT
00000f93: PUSH2 0x0f98
00000f96: JUMPI
00000f97: INVALID
00000f98: JUMPDEST
00000f99: SWAP1
00000f9a: PUSH1 0x00
00000f9c: MSTORE
00000f9d: PUSH1 0x20
00000f9f: PUSH1 0x00
00000fa1: KECCAK256
00000fa2: SWAP1
00000fa3: ADD
00000fa4: PUSH1 0x00
00000fa6: JUMPDEST
00000fa7: SWAP1
00000fa8: SLOAD
00000fa9: SWAP1
00000faa: PUSH2 0x0100
00000fad: EXP
00000fae: SWAP1
00000faf: DIV
00000fb0: PUSH1 0x01
00000fb2: PUSH1 0xa0
00000fb4: PUSH1 0x02
00000fb6: EXP
00000fb7: SUB
00000fb8: AND
00000fb9: DUP4
00000fba: DUP4
00000fbb: DUP2
00000fbc: MLOAD
00000fbd: DUP2
00000fbe: LT
00000fbf: PUSH2 0x0fc4
00000fc2: JUMPI
00000fc3: INVALID
00000fc4: JUMPDEST
00000fc5: PUSH1 0x01
00000fc7: PUSH1 0xa0
00000fc9: PUSH1 0x02
00000fcb: EXP
00000fcc: SUB
00000fcd: SWAP1
00000fce: SWAP3
00000fcf: AND
00000fd0: PUSH1 0x20
00000fd2: SWAP3
00000fd3: DUP4
00000fd4: MUL
00000fd5: SWAP1
00000fd6: SWAP2
00000fd7: ADD
00000fd8: SWAP1
00000fd9: SWAP2
00000fda: ADD
00000fdb: MSTORE
00000fdc: PUSH1 0x01
00000fde: SWAP2
00000fdf: SWAP1
00000fe0: SWAP2
00000fe1: ADD
00000fe2: SWAP1
00000fe3: JUMPDEST
00000fe4: JUMPDEST
00000fe5: PUSH1 0x01
00000fe7: ADD
00000fe8: PUSH2 0x0f26
00000feb: JUMP
00000fec: JUMPDEST
00000fed: DUP2
00000fee: PUSH1 0x40
00000ff0: MLOAD
00000ff1: DUP1
00000ff2: MSIZE
00000ff3: LT
00000ff4: PUSH2 0x0ffa
00000ff7: JUMPI
00000ff8: POP
00000ff9: MSIZE
00000ffa: JUMPDEST
00000ffb: SWAP1
00000ffc: DUP1
00000ffd: DUP3
00000ffe: MSTORE
00000fff: DUP1
00001000: PUSH1 0x20
00001002: MUL
00001003: PUSH1 0x20
00001005: ADD
00001006: DUP3
00001007: ADD
00001008: PUSH1 0x40
0000100a: MSTORE
0000100b: JUMPDEST
0000100c: POP
0000100d: SWAP4
0000100e: POP
0000100f: PUSH1 0x00
00001011: SWAP1
00001012: POP
00001013: JUMPDEST
00001014: DUP2
00001015: DUP2
00001016: LT
00001017: ISZERO
00001018: PUSH2 0x105d
0000101b: JUMPI
0000101c: DUP3
0000101d: DUP2
0000101e: DUP2
0000101f: MLOAD
00001020: DUP2
00001021: LT
00001022: PUSH2 0x1027
00001025: JUMPI
00001026: INVALID
00001027: JUMPDEST
00001028: SWAP1
00001029: PUSH1 0x20
0000102b: ADD
0000102c: SWAP1
0000102d: PUSH1 0x20
0000102f: MUL
00001030: ADD
00001031: MLOAD
00001032: DUP5
00001033: DUP3
00001034: DUP2
00001035: MLOAD
00001036: DUP2
00001037: LT
00001038: PUSH2 0x103d
0000103b: JUMPI
0000103c: INVALID
0000103d: JUMPDEST
0000103e: PUSH1 0x01
00001040: PUSH1 0xa0
00001042: PUSH1 0x02
00001044: EXP
00001045: SUB
00001046: SWAP1
00001047: SWAP3
00001048: AND
00001049: PUSH1 0x20
0000104b: SWAP3
0000104c: DUP4
0000104d: MUL
0000104e: SWAP1
0000104f: SWAP2
00001050: ADD
00001051: SWAP1
00001052: SWAP2
00001053: ADD
00001054: MSTORE
00001055: JUMPDEST
00001056: PUSH1 0x01
00001058: ADD
00001059: PUSH2 0x1013
0000105c: JUMP
0000105d: JUMPDEST
0000105e: JUMPDEST
0000105f: POP
00001060: POP
00001061: POP
00001062: SWAP2
00001063: SWAP1
00001064: POP
00001065: JUMP
00001066: JUMPDEST
00001067: PUSH1 0x05
00001069: SLOAD
0000106a: DUP2
0000106b: JUMP
0000106c: JUMPDEST
0000106d: ADDRESS
0000106e: PUSH1 0x01
00001070: PUSH1 0xa0
00001072: PUSH1 0x02
00001074: EXP
00001075: SUB
00001076: AND
00001077: CALLER
00001078: PUSH1 0x01
0000107a: PUSH1 0xa0
0000107c: PUSH1 0x02
0000107e: EXP
0000107f: SUB
00001080: AND
00001081: EQ
00001082: ISZERO
00001083: ISZERO
00001084: PUSH2 0x108c
00001087: JUMPI
00001088: PUSH1 0x00
0000108a: DUP1
0000108b: REVERT
0000108c: JUMPDEST
0000108d: PUSH1 0x03
0000108f: SLOAD
00001090: DUP2
00001091: PUSH1 0x32
00001093: DUP3
00001094: GT
00001095: DUP1
00001096: ISZERO
00001097: SWAP1
00001098: PUSH2 0x10a1
0000109b: JUMPI
0000109c: POP
0000109d: DUP2
0000109e: DUP2
0000109f: GT
000010a0: ISZERO
000010a1: JUMPDEST
000010a2: DUP1
000010a3: ISZERO
000010a4: PUSH2 0x10ac
000010a7: JUMPI
000010a8: POP
000010a9: DUP1
000010aa: ISZERO
000010ab: ISZERO
000010ac: JUMPDEST
000010ad: DUP1
000010ae: ISZERO
000010af: PUSH2 0x10b7
000010b2: JUMPI
000010b3: POP
000010b4: DUP2
000010b5: ISZERO
000010b6: ISZERO
000010b7: JUMPDEST
000010b8: ISZERO
000010b9: ISZERO
000010ba: PUSH2 0x10c2
000010bd: JUMPI
000010be: PUSH1 0x00
000010c0: DUP1
000010c1: REVERT
000010c2: JUMPDEST
000010c3: PUSH1 0x04
000010c5: DUP4
000010c6: SWAP1
000010c7: SSTORE
000010c8: PUSH32 0xa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a
000010e9: DUP4
000010ea: PUSH1 0x40
000010ec: MLOAD
000010ed: SWAP1
000010ee: DUP2
000010ef: MSTORE
000010f0: PUSH1 0x20
000010f2: ADD
000010f3: PUSH1 0x40
000010f5: MLOAD
000010f6: DUP1
000010f7: SWAP2
000010f8: SUB
000010f9: SWAP1
000010fa: LOG1
000010fb: JUMPDEST
000010fc: JUMPDEST
000010fd: POP
000010fe: POP
000010ff: JUMPDEST
00001100: POP
00001101: JUMP
00001102: JUMPDEST
00001103: CALLER
00001104: PUSH1 0x01
00001106: PUSH1 0xa0
00001108: PUSH1 0x02
0000110a: EXP
0000110b: SUB
0000110c: DUP2
0000110d: AND
0000110e: PUSH1 0x00
00001110: SWAP1
00001111: DUP2
00001112: MSTORE
00001113: PUSH1 0x02
00001115: PUSH1 0x20
00001117: MSTORE
00001118: PUSH1 0x40
0000111a: SWAP1
0000111b: KECCAK256
0000111c: SLOAD
0000111d: PUSH1 0xff
0000111f: AND
00001120: ISZERO
00001121: ISZERO
00001122: PUSH2 0x112a
00001125: JUMPI
00001126: PUSH1 0x00
00001128: DUP1
00001129: REVERT
0000112a: JUMPDEST
0000112b: PUSH1 0x00
0000112d: DUP3
0000112e: DUP2
0000112f: MSTORE
00001130: PUSH1 0x20
00001132: DUP2
00001133: SWAP1
00001134: MSTORE
00001135: PUSH1 0x40
00001137: SWAP1
00001138: KECCAK256
00001139: SLOAD
0000113a: DUP3
0000113b: SWAP1
0000113c: PUSH1 0x01
0000113e: PUSH1 0xa0
00001140: PUSH1 0x02
00001142: EXP
00001143: SUB
00001144: AND
00001145: ISZERO
00001146: ISZERO
00001147: PUSH2 0x114f
0000114a: JUMPI
0000114b: PUSH1 0x00
0000114d: DUP1
0000114e: REVERT
0000114f: JUMPDEST
00001150: PUSH1 0x00
00001152: DUP4
00001153: DUP2
00001154: MSTORE
00001155: PUSH1 0x01
00001157: PUSH1 0x20
00001159: SWAP1
0000115a: DUP2
0000115b: MSTORE
0000115c: PUSH1 0x40
0000115e: DUP1
0000115f: DUP4
00001160: KECCAK256
00001161: CALLER
00001162: PUSH1 0x01
00001164: PUSH1 0xa0
00001166: PUSH1 0x02
00001168: EXP
00001169: SUB
0000116a: DUP2
0000116b: AND
0000116c: DUP6
0000116d: MSTORE
0000116e: SWAP3
0000116f: MSTORE
00001170: SWAP1
00001171: SWAP2
00001172: KECCAK256
00001173: SLOAD
00001174: DUP5
00001175: SWAP2
00001176: SWAP1
00001177: PUSH1 0xff
00001179: AND
0000117a: ISZERO
0000117b: PUSH2 0x1183
0000117e: JUMPI
0000117f: PUSH1 0x00
00001181: DUP1
00001182: REVERT
00001183: JUMPDEST
00001184: PUSH1 0x00
00001186: DUP6
00001187: DUP2
00001188: MSTORE
00001189: PUSH1 0x01
0000118b: PUSH1 0x20
0000118d: DUP2
0000118e: DUP2
0000118f: MSTORE
00001190: PUSH1 0x40
00001192: DUP1
00001193: DUP5
00001194: KECCAK256
00001195: PUSH1 0x01
00001197: PUSH1 0xa0
00001199: PUSH1 0x02
0000119b: EXP
0000119c: SUB
0000119d: CALLER
0000119e: AND
0000119f: DUP1
000011a0: DUP7
000011a1: MSTORE
000011a2: SWAP3
000011a3: MSTORE
000011a4: SWAP3
000011a5: DUP4
000011a6: SWAP1
000011a7: KECCAK256
000011a8: DUP1
000011a9: SLOAD
000011aa: PUSH1 0xff
000011ac: NOT
000011ad: AND
000011ae: SWAP1
000011af: SWAP3
000011b0: OR
000011b1: SWAP1
000011b2: SWAP2
000011b3: SSTORE
000011b4: DUP7
000011b5: SWAP2
000011b6: PUSH32 0x4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef
000011d7: SWAP1
000011d8: MLOAD
000011d9: PUSH1 0x40
000011db: MLOAD
000011dc: DUP1
000011dd: SWAP2
000011de: SUB
000011df: SWAP1
000011e0: LOG3
000011e1: PUSH2 0x09d5
000011e4: DUP6
000011e5: PUSH2 0x143d
000011e8: JUMP
000011e9: JUMPDEST
000011ea: JUMPDEST
000011eb: JUMPDEST
000011ec: POP
000011ed: POP
000011ee: JUMPDEST
000011ef: POP
000011f0: JUMPDEST
000011f1: POP
000011f2: POP
000011f3: JUMP
000011f4: JUMPDEST
000011f5: PUSH1 0x00
000011f7: PUSH2 0x1201
000011fa: DUP5
000011fb: DUP5
000011fc: DUP5
000011fd: PUSH2 0x1669
00001200: JUMP
00001201: JUMPDEST
00001202: SWAP1
00001203: POP
00001204: PUSH2 0x120c
00001207: DUP2
00001208: PUSH2 0x1102
0000120b: JUMP
0000120c: JUMPDEST
0000120d: JUMPDEST
0000120e: SWAP4
0000120f: SWAP3
00001210: POP
00001211: POP
00001212: POP
00001213: JUMP
00001214: JUMPDEST
00001215: ADDRESS
00001216: PUSH1 0x01
00001218: PUSH1 0xa0
0000121a: PUSH1 0x02
0000121c: EXP
0000121d: SUB
0000121e: AND
0000121f: CALLER
00001220: PUSH1 0x01
00001222: PUSH1 0xa0
00001224: PUSH1 0x02
00001226: EXP
00001227: SUB
00001228: AND
00001229: EQ
0000122a: ISZERO
0000122b: ISZERO
0000122c: PUSH2 0x1234
0000122f: JUMPI
00001230: PUSH1 0x00
00001232: DUP1
00001233: REVERT
00001234: JUMPDEST
00001235: PUSH1 0x06
00001237: DUP2
00001238: SWAP1
00001239: SSTORE
0000123a: PUSH32 0xc71bdc6afaf9b1aa90a7078191d4fc1adf3bf680fca3183697df6b0dc226bca2
0000125b: DUP2
0000125c: PUSH1 0x40
0000125e: MLOAD
0000125f: SWAP1
00001260: DUP2
00001261: MSTORE
00001262: PUSH1 0x20
00001264: ADD
00001265: PUSH1 0x40
00001267: MLOAD
00001268: DUP1
00001269: SWAP2
0000126a: SUB
0000126b: SWAP1
0000126c: LOG1
0000126d: JUMPDEST
0000126e: JUMPDEST
0000126f: POP
00001270: JUMP
00001271: JUMPDEST
00001272: PUSH1 0x32
00001274: DUP2
00001275: JUMP
00001276: JUMPDEST
00001277: PUSH1 0x04
00001279: SLOAD
0000127a: DUP2
0000127b: JUMP
0000127c: JUMPDEST
0000127d: PUSH1 0x00
0000127f: ADDRESS
00001280: PUSH1 0x01
00001282: PUSH1 0xa0
00001284: PUSH1 0x02
00001286: EXP
00001287: SUB
00001288: AND
00001289: CALLER
0000128a: PUSH1 0x01
0000128c: PUSH1 0xa0
0000128e: PUSH1 0x02
00001290: EXP
00001291: SUB
00001292: AND
00001293: EQ
00001294: ISZERO
00001295: ISZERO
00001296: PUSH2 0x129e
00001299: JUMPI
0000129a: PUSH1 0x00
0000129c: DUP1
0000129d: REVERT
0000129e: JUMPDEST
0000129f: PUSH1 0x01
000012a1: PUSH1 0xa0
000012a3: PUSH1 0x02
000012a5: EXP
000012a6: SUB
000012a7: DUP4
000012a8: AND
000012a9: PUSH1 0x00
000012ab: SWAP1
000012ac: DUP2
000012ad: MSTORE
000012ae: PUSH1 0x02
000012b0: PUSH1 0x20
000012b2: MSTORE
000012b3: PUSH1 0x40
000012b5: SWAP1
000012b6: KECCAK256
000012b7: SLOAD
000012b8: DUP4
000012b9: SWAP1
000012ba: PUSH1 0xff
000012bc: AND
000012bd: ISZERO
000012be: ISZERO
000012bf: PUSH2 0x12c7
000012c2: JUMPI
000012c3: PUSH1 0x00
000012c5: DUP1
000012c6: REVERT
000012c7: JUMPDEST
000012c8: PUSH1 0x01
000012ca: PUSH1 0xa0
000012cc: PUSH1 0x02
000012ce: EXP
000012cf: SUB
000012d0: DUP4
000012d1: AND
000012d2: PUSH1 0x00
000012d4: SWAP1
000012d5: DUP2
000012d6: MSTORE
000012d7: PUSH1 0x02
000012d9: PUSH1 0x20
000012db: MSTORE
000012dc: PUSH1 0x40
000012de: SWAP1
000012df: KECCAK256
000012e0: SLOAD
000012e1: DUP4
000012e2: SWAP1
000012e3: PUSH1 0xff
000012e5: AND
000012e6: ISZERO
000012e7: PUSH2 0x12ef
000012ea: JUMPI
000012eb: PUSH1 0x00
000012ed: DUP1
000012ee: REVERT
000012ef: JUMPDEST
000012f0: PUSH1 0x00
000012f2: SWAP3
000012f3: POP
000012f4: JUMPDEST
000012f5: PUSH1 0x03
000012f7: SLOAD
000012f8: DUP4
000012f9: LT
000012fa: ISZERO
000012fb: PUSH2 0x1397
000012fe: JUMPI
000012ff: DUP5
00001300: PUSH1 0x01
00001302: PUSH1 0xa0
00001304: PUSH1 0x02
00001306: EXP
00001307: SUB
00001308: AND
00001309: PUSH1 0x03
0000130b: DUP5
0000130c: DUP2
0000130d: SLOAD
0000130e: DUP2
0000130f: LT
00001310: ISZERO
00001311: ISZERO
00001312: PUSH2 0x1317
00001315: JUMPI
00001316: INVALID
00001317: JUMPDEST
00001318: SWAP1
00001319: PUSH1 0x00
0000131b: MSTORE
0000131c: PUSH1 0x20
0000131e: PUSH1 0x00
00001320: KECCAK256
00001321: SWAP1
00001322: ADD
00001323: PUSH1 0x00
00001325: JUMPDEST
00001326: SWAP1
00001327: SLOAD
00001328: SWAP1
00001329: PUSH2 0x0100
0000132c: EXP
0000132d: SWAP1
0000132e: DIV
0000132f: PUSH1 0x01
00001331: PUSH1 0xa0
00001333: PUSH1 0x02
00001335: EXP
00001336: SUB
00001337: AND
00001338: PUSH1 0x01
0000133a: PUSH1 0xa0
0000133c: PUSH1 0x02
0000133e: EXP
0000133f: SUB
00001340: AND
00001341: EQ
00001342: ISZERO
00001343: PUSH2 0x138b
00001346: JUMPI
00001347: DUP4
00001348: PUSH1 0x03
0000134a: DUP5
0000134b: DUP2
0000134c: SLOAD
0000134d: DUP2
0000134e: LT
0000134f: ISZERO
00001350: ISZERO
00001351: PUSH2 0x1356
00001354: JUMPI
00001355: INVALID
00001356: JUMPDEST
00001357: SWAP1
00001358: PUSH1 0x00
0000135a: MSTORE
0000135b: PUSH1 0x20
0000135d: PUSH1 0x00
0000135f: KECCAK256
00001360: SWAP1
00001361: ADD
00001362: PUSH1 0x00
00001364: JUMPDEST
00001365: PUSH2 0x0100
00001368: EXP
00001369: DUP2
0000136a: SLOAD
0000136b: DUP2
0000136c: PUSH1 0x01
0000136e: PUSH1 0xa0
00001370: PUSH1 0x02
00001372: EXP
00001373: SUB
00001374: MUL
00001375: NOT
00001376: AND
00001377: SWAP1
00001378: DUP4
00001379: PUSH1 0x01
0000137b: PUSH1 0xa0
0000137d: PUSH1 0x02
0000137f: EXP
00001380: SUB
00001381: AND
00001382: MUL
00001383: OR
00001384: SWAP1
00001385: SSTORE
00001386: POP
00001387: PUSH2 0x1397
0000138a: JUMP
0000138b: JUMPDEST
0000138c: JUMPDEST
0000138d: PUSH1 0x01
0000138f: SWAP1
00001390: SWAP3
00001391: ADD
00001392: SWAP2
00001393: PUSH2 0x12f4
00001396: JUMP
00001397: JUMPDEST
00001398: PUSH1 0x01
0000139a: PUSH1 0xa0
0000139c: PUSH1 0x02
0000139e: EXP
0000139f: SUB
000013a0: DUP1
000013a1: DUP7
000013a2: AND
000013a3: PUSH1 0x00
000013a5: DUP2
000013a6: DUP2
000013a7: MSTORE
000013a8: PUSH1 0x02
000013aa: PUSH1 0x20
000013ac: MSTORE
000013ad: PUSH1 0x40
000013af: DUP1
000013b0: DUP3
000013b1: KECCAK256
000013b2: DUP1
000013b3: SLOAD
000013b4: PUSH1 0xff
000013b6: NOT
000013b7: SWAP1
000013b8: DUP2
000013b9: AND
000013ba: SWAP1
000013bb: SWAP2
000013bc: SSTORE
000013bd: SWAP4
000013be: DUP9
000013bf: AND
000013c0: DUP3
000013c1: MSTORE
000013c2: SWAP1
000013c3: DUP2
000013c4: SWAP1
000013c5: KECCAK256
000013c6: DUP1
000013c7: SLOAD
000013c8: SWAP1
000013c9: SWAP4
000013ca: AND
000013cb: PUSH1 0x01
000013cd: OR
000013ce: SWAP1
000013cf: SWAP3
000013d0: SSTORE
000013d1: SWAP1
000013d2: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
000013f3: SWAP1
000013f4: MLOAD
000013f5: PUSH1 0x40
000013f7: MLOAD
000013f8: DUP1
000013f9: SWAP2
000013fa: SUB
000013fb: SWAP1
000013fc: LOG2
000013fd: DUP4
000013fe: PUSH1 0x01
00001400: PUSH1 0xa0
00001402: PUSH1 0x02
00001404: EXP
00001405: SUB
00001406: AND
00001407: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
00001428: PUSH1 0x40
0000142a: MLOAD
0000142b: PUSH1 0x40
0000142d: MLOAD
0000142e: DUP1
0000142f: SWAP2
00001430: SUB
00001431: SWAP1
00001432: LOG2
00001433: JUMPDEST
00001434: JUMPDEST
00001435: POP
00001436: JUMPDEST
00001437: POP
00001438: JUMPDEST
00001439: POP
0000143a: POP
0000143b: POP
0000143c: JUMP
0000143d: JUMPDEST
0000143e: CALLER
0000143f: PUSH1 0x01
00001441: PUSH1 0xa0
00001443: PUSH1 0x02
00001445: EXP
00001446: SUB
00001447: DUP2
00001448: AND
00001449: PUSH1 0x00
0000144b: SWAP1
0000144c: DUP2
0000144d: MSTORE
0000144e: PUSH1 0x02
00001450: PUSH1 0x20
00001452: MSTORE
00001453: PUSH1 0x40
00001455: DUP2
00001456: KECCAK256
00001457: SLOAD
00001458: SWAP1
00001459: SWAP2
0000145a: DUP3
0000145b: SWAP2
0000145c: PUSH1 0xff
0000145e: AND
0000145f: ISZERO
00001460: ISZERO
00001461: PUSH2 0x1469
00001464: JUMPI
00001465: PUSH1 0x00
00001467: DUP1
00001468: REVERT
00001469: JUMPDEST
0000146a: PUSH1 0x00
0000146c: DUP5
0000146d: DUP2
0000146e: MSTORE
0000146f: PUSH1 0x01
00001471: PUSH1 0x20
00001473: SWAP1
00001474: DUP2
00001475: MSTORE
00001476: PUSH1 0x40
00001478: DUP1
00001479: DUP4
0000147a: KECCAK256
0000147b: CALLER
0000147c: PUSH1 0x01
0000147e: PUSH1 0xa0
00001480: PUSH1 0x02
00001482: EXP
00001483: SUB
00001484: DUP2
00001485: AND
00001486: DUP6
00001487: MSTORE
00001488: SWAP3
00001489: MSTORE
0000148a: SWAP1
0000148b: SWAP2
0000148c: KECCAK256
0000148d: SLOAD
0000148e: DUP6
0000148f: SWAP2
00001490: SWAP1
00001491: PUSH1 0xff
00001493: AND
00001494: ISZERO
00001495: ISZERO
00001496: PUSH2 0x149e
00001499: JUMPI
0000149a: PUSH1 0x00
0000149c: DUP1
0000149d: REVERT
0000149e: JUMPDEST
0000149f: PUSH1 0x00
000014a1: DUP7
000014a2: DUP2
000014a3: MSTORE
000014a4: PUSH1 0x20
000014a6: DUP2
000014a7: SWAP1
000014a8: MSTORE
000014a9: PUSH1 0x40
000014ab: SWAP1
000014ac: KECCAK256
000014ad: PUSH1 0x03
000014af: ADD
000014b0: SLOAD
000014b1: DUP7
000014b2: SWAP1
000014b3: PUSH1 0xff
000014b5: AND
000014b6: ISZERO
000014b7: PUSH2 0x14bf
000014ba: JUMPI
000014bb: PUSH1 0x00
000014bd: DUP1
000014be: REVERT
000014bf: JUMPDEST
000014c0: PUSH1 0x00
000014c2: DUP8
000014c3: DUP2
000014c4: MSTORE
000014c5: PUSH1 0x20
000014c7: DUP2
000014c8: SWAP1
000014c9: MSTORE
000014ca: PUSH1 0x40
000014cc: SWAP1
000014cd: KECCAK256
000014ce: SWAP6
000014cf: POP
000014d0: PUSH2 0x14d8
000014d3: DUP8
000014d4: PUSH2 0x0c06
000014d7: JUMP
000014d8: JUMPDEST
000014d9: SWAP5
000014da: POP
000014db: DUP5
000014dc: DUP1
000014dd: PUSH2 0x150b
000014e0: JUMPI
000014e1: POP
000014e2: PUSH1 0x02
000014e4: DUP1
000014e5: DUP8
000014e6: ADD
000014e7: SLOAD
000014e8: PUSH1 0x00
000014ea: NOT
000014eb: PUSH2 0x0100
000014ee: PUSH1 0x01
000014f0: DUP4
000014f1: AND
000014f2: ISZERO
000014f3: MUL
000014f4: ADD
000014f5: AND
000014f6: DIV
000014f7: ISZERO
000014f8: DUP1
000014f9: ISZERO
000014fa: PUSH2 0x150b
000014fd: JUMPI
000014fe: POP
000014ff: PUSH2 0x150b
00001502: DUP7
00001503: PUSH1 0x01
00001505: ADD
00001506: SLOAD
00001507: PUSH2 0x1768
0000150a: JUMP
0000150b: JUMPDEST
0000150c: JUMPDEST
0000150d: JUMPDEST
0000150e: ISZERO
0000150f: PUSH2 0x1654
00001512: JUMPI
00001513: PUSH1 0x03
00001515: DUP7
00001516: ADD
00001517: DUP1
00001518: SLOAD
00001519: PUSH1 0xff
0000151b: NOT
0000151c: AND
0000151d: PUSH1 0x01
0000151f: OR
00001520: SWAP1
00001521: SSTORE
00001522: DUP5
00001523: ISZERO
00001524: ISZERO
00001525: PUSH2 0x1537
00001528: JUMPI
00001529: PUSH1 0x01
0000152b: DUP7
0000152c: ADD
0000152d: SLOAD
0000152e: PUSH1 0x08
00001530: DUP1
00001531: SLOAD
00001532: SWAP1
00001533: SWAP2
00001534: ADD
00001535: SWAP1
00001536: SSTORE
00001537: JUMPDEST
00001538: DUP6
00001539: SLOAD
0000153a: PUSH1 0x01
0000153c: DUP8
0000153d: ADD
0000153e: SLOAD
0000153f: PUSH1 0x01
00001541: PUSH1 0xa0
00001543: PUSH1 0x02
00001545: EXP
00001546: SUB
00001547: SWAP1
00001548: SWAP2
00001549: AND
0000154a: SWAP1
0000154b: PUSH1 0x02
0000154d: DUP9
0000154e: ADD
0000154f: PUSH1 0x40
00001551: MLOAD
00001552: DUP1
00001553: DUP3
00001554: DUP1
00001555: SLOAD
00001556: PUSH1 0x01
00001558: DUP2
00001559: PUSH1 0x01
0000155b: AND
0000155c: ISZERO
0000155d: PUSH2 0x0100
00001560: MUL
00001561: SUB
00001562: AND
00001563: PUSH1 0x02
00001565: SWAP1
00001566: DIV
00001567: DUP1
00001568: ISZERO
00001569: PUSH2 0x15b3
0000156c: JUMPI
0000156d: DUP1
0000156e: PUSH1 0x1f
00001570: LT
00001571: PUSH2 0x1588
00001574: JUMPI
00001575: PUSH2 0x0100
00001578: DUP1
00001579: DUP4
0000157a: SLOAD
0000157b: DIV
0000157c: MUL
0000157d: DUP4
0000157e: MSTORE
0000157f: SWAP2
00001580: PUSH1 0x20
00001582: ADD
00001583: SWAP2
00001584: PUSH2 0x15b3
00001587: JUMP
00001588: JUMPDEST
00001589: DUP3
0000158a: ADD
0000158b: SWAP2
0000158c: SWAP1
0000158d: PUSH1 0x00
0000158f: MSTORE
00001590: PUSH1 0x20
00001592: PUSH1 0x00
00001594: KECCAK256
00001595: SWAP1
00001596: JUMPDEST
00001597: DUP2
00001598: SLOAD
00001599: DUP2
0000159a: MSTORE
0000159b: SWAP1
0000159c: PUSH1 0x01
0000159e: ADD
0000159f: SWAP1
000015a0: PUSH1 0x20
000015a2: ADD
000015a3: DUP1
000015a4: DUP4
000015a5: GT
000015a6: PUSH2 0x1596
000015a9: JUMPI
000015aa: DUP3
000015ab: SWAP1
000015ac: SUB
000015ad: PUSH1 0x1f
000015af: AND
000015b0: DUP3
000015b1: ADD
000015b2: SWAP2
000015b3: JUMPDEST
000015b4: POP
000015b5: POP
000015b6: SWAP2
000015b7: POP
000015b8: POP
000015b9: PUSH1 0x00
000015bb: PUSH1 0x40
000015bd: MLOAD
000015be: DUP1
000015bf: DUP4
000015c0: SUB
000015c1: DUP2
000015c2: DUP6
000015c3: DUP8
000015c4: PUSH2 0x8796
000015c7: GAS
000015c8: SUB
000015c9: CALL
000015ca: SWAP3
000015cb: POP
000015cc: POP
000015cd: POP
000015ce: ISZERO
000015cf: PUSH2 0x1604
000015d2: JUMPI
000015d3: DUP7
000015d4: PUSH32 0x33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed75
000015f5: PUSH1 0x40
000015f7: MLOAD
000015f8: PUSH1 0x40
000015fa: MLOAD
000015fb: DUP1
000015fc: SWAP2
000015fd: SUB
000015fe: SWAP1
000015ff: LOG2
00001600: PUSH2 0x1654
00001603: JUMP
00001604: JUMPDEST
00001605: DUP7
00001606: PUSH32 0x526441bb6c1aba3c9a4a6ca1d6545da9c2333c8c48343ef398eb858d72b79236
00001627: PUSH1 0x40
00001629: MLOAD
0000162a: PUSH1 0x40
0000162c: MLOAD
0000162d: DUP1
0000162e: SWAP2
0000162f: SUB
00001630: SWAP1
00001631: LOG2
00001632: PUSH1 0x03
00001634: DUP7
00001635: ADD
00001636: DUP1
00001637: SLOAD
00001638: PUSH1 0xff
0000163a: NOT
0000163b: AND
0000163c: SWAP1
0000163d: SSTORE
0000163e: DUP5
0000163f: ISZERO
00001640: ISZERO
00001641: PUSH2 0x1654
00001644: JUMPI
00001645: PUSH1 0x01
00001647: DUP7
00001648: ADD
00001649: SLOAD
0000164a: PUSH1 0x08
0000164c: DUP1
0000164d: SLOAD
0000164e: SWAP2
0000164f: SWAP1
00001650: SWAP2
00001651: SUB
00001652: SWAP1
00001653: SSTORE
00001654: JUMPDEST
00001655: JUMPDEST
00001656: JUMPDEST
00001657: JUMPDEST
00001658: JUMPDEST
00001659: POP
0000165a: JUMPDEST
0000165b: POP
0000165c: POP
0000165d: JUMPDEST
0000165e: POP
0000165f: POP
00001660: POP
00001661: POP
00001662: JUMP
00001663: JUMPDEST
00001664: PUSH1 0x08
00001666: SLOAD
00001667: DUP2
00001668: JUMP
00001669: JUMPDEST
0000166a: PUSH1 0x00
0000166c: DUP4
0000166d: PUSH1 0x01
0000166f: PUSH1 0xa0
00001671: PUSH1 0x02
00001673: EXP
00001674: SUB
00001675: DUP2
00001676: AND
00001677: ISZERO
00001678: ISZERO
00001679: PUSH2 0x1681
0000167c: JUMPI
0000167d: PUSH1 0x00
0000167f: DUP1
00001680: REVERT
00001681: JUMPDEST
00001682: PUSH1 0x05
00001684: SLOAD
00001685: SWAP2
00001686: POP
00001687: PUSH1 0x80
00001689: PUSH1 0x40
0000168b: MLOAD
0000168c: SWAP1
0000168d: DUP2
0000168e: ADD
0000168f: PUSH1 0x40
00001691: SWAP1
00001692: DUP2
00001693: MSTORE
00001694: PUSH1 0x01
00001696: PUSH1 0xa0
00001698: PUSH1 0x02
0000169a: EXP
0000169b: SUB
0000169c: DUP8
0000169d: AND
0000169e: DUP3
0000169f: MSTORE
000016a0: PUSH1 0x20
000016a2: DUP1
000016a3: DUP4
000016a4: ADD
000016a5: DUP8
000016a6: SWAP1
000016a7: MSTORE
000016a8: DUP2
000016a9: DUP4
000016aa: ADD
000016ab: DUP7
000016ac: SWAP1
000016ad: MSTORE
000016ae: PUSH1 0x00
000016b0: PUSH1 0x60
000016b2: DUP5
000016b3: ADD
000016b4: DUP2
000016b5: SWAP1
000016b6: MSTORE
000016b7: DUP6
000016b8: DUP2
000016b9: MSTORE
000016ba: SWAP1
000016bb: DUP2
000016bc: SWAP1
000016bd: MSTORE
000016be: KECCAK256
000016bf: DUP2
000016c0: MLOAD
000016c1: DUP2
000016c2: SLOAD
000016c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016d8: NOT
000016d9: AND
000016da: PUSH1 0x01
000016dc: PUSH1 0xa0
000016de: PUSH1 0x02
000016e0: EXP
000016e1: SUB
000016e2: SWAP2
000016e3: SWAP1
000016e4: SWAP2
000016e5: AND
000016e6: OR
000016e7: DUP2
000016e8: SSTORE
000016e9: PUSH1 0x20
000016eb: DUP3
000016ec: ADD
000016ed: MLOAD
000016ee: DUP2
000016ef: PUSH1 0x01
000016f1: ADD
000016f2: SSTORE
000016f3: PUSH1 0x40
000016f5: DUP3
000016f6: ADD
000016f7: MLOAD
000016f8: DUP2
000016f9: PUSH1 0x02
000016fb: ADD
000016fc: SWAP1
000016fd: DUP1
000016fe: MLOAD
000016ff: PUSH2 0x170c
00001702: SWAP3
00001703: SWAP2
00001704: PUSH1 0x20
00001706: ADD
00001707: SWAP1
00001708: PUSH2 0x1828
0000170b: JUMP
0000170c: JUMPDEST
0000170d: POP
0000170e: PUSH1 0x60
00001710: DUP3
00001711: ADD
00001712: MLOAD
00001713: PUSH1 0x03
00001715: SWAP2
00001716: SWAP1
00001717: SWAP2
00001718: ADD
00001719: DUP1
0000171a: SLOAD
0000171b: PUSH1 0xff
0000171d: NOT
0000171e: AND
0000171f: SWAP2
00001720: ISZERO
00001721: ISZERO
00001722: SWAP2
00001723: SWAP1
00001724: SWAP2
00001725: OR
00001726: SWAP1
00001727: SSTORE
00001728: POP
00001729: PUSH1 0x05
0000172b: DUP1
0000172c: SLOAD
0000172d: PUSH1 0x01
0000172f: ADD
00001730: SWAP1
00001731: SSTORE
00001732: DUP2
00001733: PUSH32 0xc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e51
00001754: PUSH1 0x40
00001756: MLOAD
00001757: PUSH1 0x40
00001759: MLOAD
0000175a: DUP1
0000175b: SWAP2
0000175c: SUB
0000175d: SWAP1
0000175e: LOG2
0000175f: JUMPDEST
00001760: JUMPDEST
00001761: POP
00001762: SWAP4
00001763: SWAP3
00001764: POP
00001765: POP
00001766: POP
00001767: JUMP
00001768: JUMPDEST
00001769: PUSH1 0x00
0000176b: PUSH1 0x07
0000176d: SLOAD
0000176e: PUSH3 0x015180
00001772: ADD
00001773: TIMESTAMP
00001774: GT
00001775: ISZERO
00001776: PUSH2 0x1783
00001779: JUMPI
0000177a: TIMESTAMP
0000177b: PUSH1 0x07
0000177d: SSTORE
0000177e: PUSH1 0x00
00001780: PUSH1 0x08
00001782: SSTORE
00001783: JUMPDEST
00001784: PUSH1 0x06
00001786: SLOAD
00001787: DUP3
00001788: PUSH1 0x08
0000178a: SLOAD
0000178b: ADD
0000178c: GT
0000178d: DUP1
0000178e: PUSH2 0x179a
00001791: JUMPI
00001792: POP
00001793: PUSH1 0x08
00001795: SLOAD
00001796: DUP3
00001797: DUP2
00001798: ADD
00001799: LT
0000179a: JUMPDEST
0000179b: ISZERO
0000179c: PUSH2 0x17a7
0000179f: JUMPI
000017a0: POP
000017a1: PUSH1 0x00
000017a3: PUSH2 0x17ab
000017a6: JUMP
000017a7: JUMPDEST
000017a8: POP
000017a9: PUSH1 0x01
000017ab: JUMPDEST
000017ac: SWAP2
000017ad: SWAP1
000017ae: POP
000017af: JUMP
000017b0: JUMPDEST
000017b1: DUP2
000017b2: SLOAD
000017b3: DUP2
000017b4: DUP4
000017b5: SSTORE
000017b6: DUP2
000017b7: DUP2
000017b8: ISZERO
000017b9: GT
000017ba: PUSH2 0x08f6
000017bd: JUMPI
000017be: PUSH1 0x00
000017c0: DUP4
000017c1: DUP2
000017c2: MSTORE
000017c3: PUSH1 0x20
000017c5: SWAP1
000017c6: KECCAK256
000017c7: PUSH2 0x08f6
000017ca: SWAP2
000017cb: DUP2
000017cc: ADD
000017cd: SWAP1
000017ce: DUP4
000017cf: ADD
000017d0: PUSH2 0x18a7
000017d3: JUMP
000017d4: JUMPDEST
000017d5: JUMPDEST
000017d6: POP
000017d7: POP
000017d8: POP
000017d9: JUMP
000017da: JUMPDEST
000017db: DUP2
000017dc: SLOAD
000017dd: DUP2
000017de: DUP4
000017df: SSTORE
000017e0: DUP2
000017e1: DUP2
000017e2: ISZERO
000017e3: GT
000017e4: PUSH2 0x08f6
000017e7: JUMPI
000017e8: PUSH1 0x00
000017ea: DUP4
000017eb: DUP2
000017ec: MSTORE
000017ed: PUSH1 0x20
000017ef: SWAP1
000017f0: KECCAK256
000017f1: PUSH2 0x08f6
000017f4: SWAP2
000017f5: DUP2
000017f6: ADD
000017f7: SWAP1
000017f8: DUP4
000017f9: ADD
000017fa: PUSH2 0x18a7
000017fd: JUMP
000017fe: JUMPDEST
000017ff: JUMPDEST
00001800: POP
00001801: POP
00001802: POP
00001803: JUMP
00001804: JUMPDEST
00001805: PUSH1 0x20
00001807: PUSH1 0x40
00001809: MLOAD
0000180a: SWAP1
0000180b: DUP2
0000180c: ADD
0000180d: PUSH1 0x40
0000180f: MSTORE
00001810: PUSH1 0x00
00001812: DUP2
00001813: MSTORE
00001814: SWAP1
00001815: JUMP
00001816: JUMPDEST
00001817: PUSH1 0x20
00001819: PUSH1 0x40
0000181b: MLOAD
0000181c: SWAP1
0000181d: DUP2
0000181e: ADD
0000181f: PUSH1 0x40
00001821: MSTORE
00001822: PUSH1 0x00
00001824: DUP2
00001825: MSTORE
00001826: SWAP1
00001827: JUMP
00001828: JUMPDEST
00001829: DUP3
0000182a: DUP1
0000182b: SLOAD
0000182c: PUSH1 0x01
0000182e: DUP2
0000182f: PUSH1 0x01
00001831: AND
00001832: ISZERO
00001833: PUSH2 0x0100
00001836: MUL
00001837: SUB
00001838: AND
00001839: PUSH1 0x02
0000183b: SWAP1
0000183c: DIV
0000183d: SWAP1
0000183e: PUSH1 0x00
00001840: MSTORE
00001841: PUSH1 0x20
00001843: PUSH1 0x00
00001845: KECCAK256
00001846: SWAP1
00001847: PUSH1 0x1f
00001849: ADD
0000184a: PUSH1 0x20
0000184c: SWAP1
0000184d: DIV
0000184e: DUP2
0000184f: ADD
00001850: SWAP3
00001851: DUP3
00001852: PUSH1 0x1f
00001854: LT
00001855: PUSH2 0x1869
00001858: JUMPI
00001859: DUP1
0000185a: MLOAD
0000185b: PUSH1 0xff
0000185d: NOT
0000185e: AND
0000185f: DUP4
00001860: DUP1
00001861: ADD
00001862: OR
00001863: DUP6
00001864: SSTORE
00001865: PUSH2 0x1896
00001868: JUMP
00001869: JUMPDEST
0000186a: DUP3
0000186b: DUP1
0000186c: ADD
0000186d: PUSH1 0x01
0000186f: ADD
00001870: DUP6
00001871: SSTORE
00001872: DUP3
00001873: ISZERO
00001874: PUSH2 0x1896
00001877: JUMPI
00001878: SWAP2
00001879: DUP3
0000187a: ADD
0000187b: JUMPDEST
0000187c: DUP3
0000187d: DUP2
0000187e: GT
0000187f: ISZERO
00001880: PUSH2 0x1896
00001883: JUMPI
00001884: DUP3
00001885: MLOAD
00001886: DUP3
00001887: SSTORE
00001888: SWAP2
00001889: PUSH1 0x20
0000188b: ADD
0000188c: SWAP2
0000188d: SWAP1
0000188e: PUSH1 0x01
00001890: ADD
00001891: SWAP1
00001892: PUSH2 0x187b
00001895: JUMP
00001896: JUMPDEST
00001897: JUMPDEST
00001898: POP
00001899: PUSH2 0x18a3
0000189c: SWAP3
0000189d: SWAP2
0000189e: POP
0000189f: PUSH2 0x18a7
000018a2: JUMP
000018a3: JUMPDEST
000018a4: POP
000018a5: SWAP1
000018a6: JUMP
000018a7: JUMPDEST
000018a8: PUSH2 0x0a4b
000018ab: SWAP2
000018ac: SWAP1
000018ad: JUMPDEST
000018ae: DUP1
000018af: DUP3
000018b0: GT
000018b1: ISZERO
000018b2: PUSH2 0x18a3
000018b5: JUMPI
000018b6: PUSH1 0x00
000018b8: DUP2
000018b9: SSTORE
000018ba: PUSH1 0x01
000018bc: ADD
000018bd: PUSH2 0x18ad
000018c0: JUMP
000018c1: JUMPDEST
000018c2: POP
000018c3: SWAP1
000018c4: JUMP
000018c5: JUMPDEST
000018c6: SWAP1
000018c7: JUMP
000018c8: STOP
000018c9: LOG1
000018ca: PUSH6 0x627a7a723058
000018d1: KECCAK256
000018d2: GAS
000018d3: PUSH12 0xcb4254b30d14c200dce25140
000018e0: PUSH25
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x10763a0d3ac1d329cba07ce9227befe76c0fd7b0fc32c4f11da47410dd191106 call_targets: 0x42a9253168ef7757a437310bd291ea1f82a86679 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x10763a0d3ac1d329cba07ce9227befe76c0fd7b0fc32c4f11da47410dd191106", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x42a9253168ef7757a437310bd291ea1f82a86679" ], "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": "0x025e7c27", "selector": "0x025e7c27", "calldata_variants": [ "0x025e7c27", "0x025e7c270000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x173825d9", "selector": "0x173825d9", "calldata_variants": [ "0x173825d9", "0x173825d90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x20ea8d86", "selector": "0x20ea8d86", "calldata_variants": [ "0x20ea8d86", "0x20ea8d860000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2f54bf6e", "selector": "0x2f54bf6e", "calldata_variants": [ "0x2f54bf6e", "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3411c81c", "selector": "0x3411c81c", "calldata_variants": [ "0x3411c81c", "0x3411c81c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4bc9fdc2", "selector": "0x4bc9fdc2", "calldata_variants": [ "0x4bc9fdc2", "0x4bc9fdc20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x54741525", "selector": "0x54741525", "calldata_variants": [ "0x54741525", "0x547415250000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x67eeba0c", "selector": "0x67eeba0c", "calldata_variants": [ "0x67eeba0c", "0x67eeba0c0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5577, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 1, "guards_detected": [], "untrusted_call_count": 1 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x10763a0d3ac1d329cba07ce9227befe76c0fd7b0fc32c4f11da47410dd191106 call_targets: 0x42a9253168ef7757a437310bd291ea1f82a86679 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x10763a0d3ac1d329cba07ce9227befe76c0fd7b0fc32c4f11da47410dd191106", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x42a9253168ef7757a437310bd291ea1f82a86679" ], "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": "0x025e7c27", "selector": "0x025e7c27", "calldata_variants": [ "0x025e7c27", "0x025e7c270000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x173825d9", "selector": "0x173825d9", "calldata_variants": [ "0x173825d9", "0x173825d90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x20ea8d86", "selector": "0x20ea8d86", "calldata_variants": [ "0x20ea8d86", "0x20ea8d860000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2f54bf6e", "selector": "0x2f54bf6e", "calldata_variants": [ "0x2f54bf6e", "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3411c81c", "selector": "0x3411c81c", "calldata_variants": [ "0x3411c81c", "0x3411c81c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4bc9fdc2", "selector": "0x4bc9fdc2", "calldata_variants": [ "0x4bc9fdc2", "0x4bc9fdc20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x54741525", "selector": "0x54741525", "calldata_variants": [ "0x54741525", "0x547415250000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x67eeba0c", "selector": "0x67eeba0c", "calldata_variants": [ "0x67eeba0c", "0x67eeba0c0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5577, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 1, "guards_detected": [] }
Severity