Analysis Run

019b477e-aa59-7193-907d-59549350eec9
complete
Chain ID
1
Address
0xbc1ab7f58a95cf307ba5ee18cf06b7ed0120da7a
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
20811	artifact.fetch	complete	1 / 3	3 months ago
20812	tool.cast_disasm	complete	1 / 3	3 months ago
64294	analysis.bundle	complete	1 / 3	1 week ago
64295	capability.graph	complete	1 / 3	1 week ago
64296	detector.run	complete	1 / 3	1 week ago
64297	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
1
CALL-family (heavy)
1
EXT*/BALANCE
0
Total opcodes
4382
Flags
create_opcodes_present
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 0x0bfe
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 0x0c92
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 0x0d11
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 0x0d45
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 0x0dae
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 0x0edc
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 0x105e
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 0x1064
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 0x10f2
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 0x11e4
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 0x1204
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 0x1261
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 0x1266
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 0x126c
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 0x142d
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 0x15ef
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 0x173c
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 0x1064
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: DUP1
00000b39: PUSH2 0x0b41
00000b3c: JUMPI
00000b3d: POP
00000b3e: DUP2
00000b3f: DUP2
00000b40: GT
00000b41: JUMPDEST
00000b42: DUP1
00000b43: PUSH2 0x0b4a
00000b46: JUMPI
00000b47: POP
00000b48: DUP1
00000b49: ISZERO
00000b4a: JUMPDEST
00000b4b: DUP1
00000b4c: PUSH2 0x0b53
00000b4f: JUMPI
00000b50: POP
00000b51: DUP2
00000b52: ISZERO
00000b53: JUMPDEST
00000b54: ISZERO
00000b55: PUSH2 0x0b5d
00000b58: JUMPI
00000b59: PUSH1 0x00
00000b5b: DUP1
00000b5c: REVERT
00000b5d: JUMPDEST
00000b5e: PUSH1 0x01
00000b60: PUSH1 0xa0
00000b62: PUSH1 0x02
00000b64: EXP
00000b65: SUB
00000b66: DUP6
00000b67: AND
00000b68: PUSH1 0x00
00000b6a: SWAP1
00000b6b: DUP2
00000b6c: MSTORE
00000b6d: PUSH1 0x02
00000b6f: PUSH1 0x20
00000b71: MSTORE
00000b72: PUSH1 0x40
00000b74: SWAP1
00000b75: KECCAK256
00000b76: DUP1
00000b77: SLOAD
00000b78: PUSH1 0xff
00000b7a: NOT
00000b7b: AND
00000b7c: PUSH1 0x01
00000b7e: SWAP1
00000b7f: DUP2
00000b80: OR
00000b81: SWAP1
00000b82: SWAP2
00000b83: SSTORE
00000b84: PUSH1 0x03
00000b86: DUP1
00000b87: SLOAD
00000b88: SWAP1
00000b89: SWAP2
00000b8a: DUP2
00000b8b: ADD
00000b8c: PUSH2 0x0b95
00000b8f: DUP4
00000b90: DUP3
00000b91: PUSH2 0x173c
00000b94: JUMP
00000b95: JUMPDEST
00000b96: SWAP2
00000b97: PUSH1 0x00
00000b99: MSTORE
00000b9a: PUSH1 0x20
00000b9c: PUSH1 0x00
00000b9e: KECCAK256
00000b9f: SWAP1
00000ba0: ADD
00000ba1: PUSH1 0x00
00000ba3: JUMPDEST
00000ba4: DUP2
00000ba5: SLOAD
00000ba6: PUSH1 0x01
00000ba8: PUSH1 0xa0
00000baa: PUSH1 0x02
00000bac: EXP
00000bad: SUB
00000bae: DUP1
00000baf: DUP11
00000bb0: AND
00000bb1: PUSH2 0x0100
00000bb4: SWAP4
00000bb5: SWAP1
00000bb6: SWAP4
00000bb7: EXP
00000bb8: DUP4
00000bb9: DUP2
00000bba: MUL
00000bbb: SWAP2
00000bbc: MUL
00000bbd: NOT
00000bbe: SWAP1
00000bbf: SWAP2
00000bc0: AND
00000bc1: OR
00000bc2: SWAP1
00000bc3: SWAP2
00000bc4: SSTORE
00000bc5: SWAP1
00000bc6: POP
00000bc7: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
00000be8: PUSH1 0x40
00000bea: MLOAD
00000beb: PUSH1 0x40
00000bed: MLOAD
00000bee: DUP1
00000bef: SWAP2
00000bf0: SUB
00000bf1: SWAP1
00000bf2: LOG2
00000bf3: JUMPDEST
00000bf4: JUMPDEST
00000bf5: POP
00000bf6: POP
00000bf7: JUMPDEST
00000bf8: POP
00000bf9: JUMPDEST
00000bfa: POP
00000bfb: JUMPDEST
00000bfc: POP
00000bfd: JUMP
00000bfe: JUMPDEST
00000bff: PUSH1 0x00
00000c01: DUP1
00000c02: DUP1
00000c03: JUMPDEST
00000c04: PUSH1 0x03
00000c06: SLOAD
00000c07: DUP2
00000c08: LT
00000c09: ISZERO
00000c0a: PUSH2 0x0c8a
00000c0d: JUMPI
00000c0e: PUSH1 0x00
00000c10: DUP5
00000c11: DUP2
00000c12: MSTORE
00000c13: PUSH1 0x01
00000c15: PUSH1 0x20
00000c17: MSTORE
00000c18: PUSH1 0x40
00000c1a: DUP2
00000c1b: KECCAK256
00000c1c: PUSH1 0x03
00000c1e: DUP1
00000c1f: SLOAD
00000c20: SWAP2
00000c21: SWAP3
00000c22: SWAP2
00000c23: DUP5
00000c24: SWAP1
00000c25: DUP2
00000c26: LT
00000c27: PUSH2 0x0c2c
00000c2a: JUMPI
00000c2b: INVALID
00000c2c: JUMPDEST
00000c2d: SWAP1
00000c2e: PUSH1 0x00
00000c30: MSTORE
00000c31: PUSH1 0x20
00000c33: PUSH1 0x00
00000c35: KECCAK256
00000c36: SWAP1
00000c37: ADD
00000c38: PUSH1 0x00
00000c3a: JUMPDEST
00000c3b: SWAP1
00000c3c: SLOAD
00000c3d: PUSH1 0x01
00000c3f: PUSH1 0xa0
00000c41: PUSH1 0x02
00000c43: EXP
00000c44: SUB
00000c45: PUSH2 0x0100
00000c48: SWAP3
00000c49: SWAP1
00000c4a: SWAP3
00000c4b: EXP
00000c4c: SWAP1
00000c4d: DIV
00000c4e: AND
00000c4f: DUP2
00000c50: MSTORE
00000c51: PUSH1 0x20
00000c53: DUP2
00000c54: ADD
00000c55: SWAP2
00000c56: SWAP1
00000c57: SWAP2
00000c58: MSTORE
00000c59: PUSH1 0x40
00000c5b: ADD
00000c5c: PUSH1 0x00
00000c5e: KECCAK256
00000c5f: SLOAD
00000c60: PUSH1 0xff
00000c62: AND
00000c63: ISZERO
00000c64: PUSH2 0x0c6e
00000c67: JUMPI
00000c68: PUSH1 0x01
00000c6a: DUP3
00000c6b: ADD
00000c6c: SWAP2
00000c6d: POP
00000c6e: JUMPDEST
00000c6f: PUSH1 0x04
00000c71: SLOAD
00000c72: DUP3
00000c73: EQ
00000c74: ISZERO
00000c75: PUSH2 0x0c81
00000c78: JUMPI
00000c79: PUSH1 0x01
00000c7b: SWAP3
00000c7c: POP
00000c7d: PUSH2 0x0c8a
00000c80: JUMP
00000c81: JUMPDEST
00000c82: JUMPDEST
00000c83: PUSH1 0x01
00000c85: ADD
00000c86: PUSH2 0x0c03
00000c89: JUMP
00000c8a: JUMPDEST
00000c8b: JUMPDEST
00000c8c: POP
00000c8d: POP
00000c8e: SWAP2
00000c8f: SWAP1
00000c90: POP
00000c91: JUMP
00000c92: JUMPDEST
00000c93: PUSH1 0x00
00000c95: DUP1
00000c96: JUMPDEST
00000c97: PUSH1 0x03
00000c99: SLOAD
00000c9a: DUP2
00000c9b: LT
00000c9c: ISZERO
00000c9d: PUSH2 0x0d0a
00000ca0: JUMPI
00000ca1: PUSH1 0x00
00000ca3: DUP4
00000ca4: DUP2
00000ca5: MSTORE
00000ca6: PUSH1 0x01
00000ca8: PUSH1 0x20
00000caa: MSTORE
00000cab: PUSH1 0x40
00000cad: DUP2
00000cae: KECCAK256
00000caf: PUSH1 0x03
00000cb1: DUP1
00000cb2: SLOAD
00000cb3: SWAP2
00000cb4: SWAP3
00000cb5: SWAP2
00000cb6: DUP5
00000cb7: SWAP1
00000cb8: DUP2
00000cb9: LT
00000cba: PUSH2 0x0cbf
00000cbd: JUMPI
00000cbe: INVALID
00000cbf: JUMPDEST
00000cc0: SWAP1
00000cc1: PUSH1 0x00
00000cc3: MSTORE
00000cc4: PUSH1 0x20
00000cc6: PUSH1 0x00
00000cc8: KECCAK256
00000cc9: SWAP1
00000cca: ADD
00000ccb: PUSH1 0x00
00000ccd: JUMPDEST
00000cce: SWAP1
00000ccf: SLOAD
00000cd0: PUSH1 0x01
00000cd2: PUSH1 0xa0
00000cd4: PUSH1 0x02
00000cd6: EXP
00000cd7: SUB
00000cd8: PUSH2 0x0100
00000cdb: SWAP3
00000cdc: SWAP1
00000cdd: SWAP3
00000cde: EXP
00000cdf: SWAP1
00000ce0: DIV
00000ce1: AND
00000ce2: DUP2
00000ce3: MSTORE
00000ce4: PUSH1 0x20
00000ce6: DUP2
00000ce7: ADD
00000ce8: SWAP2
00000ce9: SWAP1
00000cea: SWAP2
00000ceb: MSTORE
00000cec: PUSH1 0x40
00000cee: ADD
00000cef: PUSH1 0x00
00000cf1: KECCAK256
00000cf2: SLOAD
00000cf3: PUSH1 0xff
00000cf5: AND
00000cf6: ISZERO
00000cf7: PUSH2 0x0d01
00000cfa: JUMPI
00000cfb: PUSH1 0x01
00000cfd: DUP3
00000cfe: ADD
00000cff: SWAP2
00000d00: POP
00000d01: JUMPDEST
00000d02: JUMPDEST
00000d03: PUSH1 0x01
00000d05: ADD
00000d06: PUSH2 0x0c96
00000d09: JUMP
00000d0a: JUMPDEST
00000d0b: JUMPDEST
00000d0c: POP
00000d0d: SWAP2
00000d0e: SWAP1
00000d0f: POP
00000d10: JUMP
00000d11: JUMPDEST
00000d12: PUSH1 0x00
00000d14: PUSH1 0x20
00000d16: DUP2
00000d17: SWAP1
00000d18: MSTORE
00000d19: SWAP1
00000d1a: DUP2
00000d1b: MSTORE
00000d1c: PUSH1 0x40
00000d1e: SWAP1
00000d1f: KECCAK256
00000d20: DUP1
00000d21: SLOAD
00000d22: PUSH1 0x01
00000d24: DUP3
00000d25: ADD
00000d26: SLOAD
00000d27: PUSH1 0x03
00000d29: DUP4
00000d2a: ADD
00000d2b: SLOAD
00000d2c: PUSH1 0x01
00000d2e: PUSH1 0xa0
00000d30: PUSH1 0x02
00000d32: EXP
00000d33: SUB
00000d34: SWAP1
00000d35: SWAP3
00000d36: AND
00000d37: SWAP3
00000d38: SWAP1
00000d39: SWAP2
00000d3a: PUSH1 0x02
00000d3c: SWAP1
00000d3d: SWAP2
00000d3e: ADD
00000d3f: SWAP1
00000d40: PUSH1 0xff
00000d42: AND
00000d43: DUP5
00000d44: JUMP
00000d45: JUMPDEST
00000d46: PUSH2 0x0d4d
00000d49: PUSH2 0x1790
00000d4c: JUMP
00000d4d: JUMPDEST
00000d4e: PUSH1 0x03
00000d50: DUP1
00000d51: SLOAD
00000d52: DUP1
00000d53: PUSH1 0x20
00000d55: MUL
00000d56: PUSH1 0x20
00000d58: ADD
00000d59: PUSH1 0x40
00000d5b: MLOAD
00000d5c: SWAP1
00000d5d: DUP2
00000d5e: ADD
00000d5f: PUSH1 0x40
00000d61: MSTORE
00000d62: DUP1
00000d63: SWAP3
00000d64: SWAP2
00000d65: SWAP1
00000d66: DUP2
00000d67: DUP2
00000d68: MSTORE
00000d69: PUSH1 0x20
00000d6b: ADD
00000d6c: DUP3
00000d6d: DUP1
00000d6e: SLOAD
00000d6f: DUP1
00000d70: ISZERO
00000d71: PUSH2 0x0da3
00000d74: JUMPI
00000d75: PUSH1 0x20
00000d77: MUL
00000d78: DUP3
00000d79: ADD
00000d7a: SWAP2
00000d7b: SWAP1
00000d7c: PUSH1 0x00
00000d7e: MSTORE
00000d7f: PUSH1 0x20
00000d81: PUSH1 0x00
00000d83: KECCAK256
00000d84: SWAP1
00000d85: JUMPDEST
00000d86: DUP2
00000d87: SLOAD
00000d88: PUSH1 0x01
00000d8a: PUSH1 0xa0
00000d8c: PUSH1 0x02
00000d8e: EXP
00000d8f: SUB
00000d90: AND
00000d91: DUP2
00000d92: MSTORE
00000d93: PUSH1 0x01
00000d95: SWAP1
00000d96: SWAP2
00000d97: ADD
00000d98: SWAP1
00000d99: PUSH1 0x20
00000d9b: ADD
00000d9c: DUP1
00000d9d: DUP4
00000d9e: GT
00000d9f: PUSH2 0x0d85
00000da2: JUMPI
00000da3: JUMPDEST
00000da4: POP
00000da5: POP
00000da6: POP
00000da7: POP
00000da8: POP
00000da9: SWAP1
00000daa: POP
00000dab: JUMPDEST
00000dac: SWAP1
00000dad: JUMP
00000dae: JUMPDEST
00000daf: PUSH2 0x0db6
00000db2: PUSH2 0x1790
00000db5: JUMP
00000db6: JUMPDEST
00000db7: PUSH2 0x0dbe
00000dba: PUSH2 0x1790
00000dbd: JUMP
00000dbe: JUMPDEST
00000dbf: PUSH1 0x00
00000dc1: DUP1
00000dc2: PUSH1 0x05
00000dc4: SLOAD
00000dc5: PUSH1 0x40
00000dc7: MLOAD
00000dc8: DUP1
00000dc9: MSIZE
00000dca: LT
00000dcb: PUSH2 0x0dd1
00000dce: JUMPI
00000dcf: POP
00000dd0: MSIZE
00000dd1: JUMPDEST
00000dd2: SWAP1
00000dd3: DUP1
00000dd4: DUP3
00000dd5: MSTORE
00000dd6: DUP1
00000dd7: PUSH1 0x20
00000dd9: MUL
00000dda: PUSH1 0x20
00000ddc: ADD
00000ddd: DUP3
00000dde: ADD
00000ddf: PUSH1 0x40
00000de1: MSTORE
00000de2: JUMPDEST
00000de3: POP
00000de4: SWAP3
00000de5: POP
00000de6: PUSH1 0x00
00000de8: SWAP2
00000de9: POP
00000dea: PUSH1 0x00
00000dec: SWAP1
00000ded: POP
00000dee: JUMPDEST
00000def: PUSH1 0x05
00000df1: SLOAD
00000df2: DUP2
00000df3: LT
00000df4: ISZERO
00000df5: PUSH2 0x0e69
00000df8: JUMPI
00000df9: DUP6
00000dfa: DUP1
00000dfb: ISZERO
00000dfc: PUSH2 0x0e17
00000dff: JUMPI
00000e00: POP
00000e01: PUSH1 0x00
00000e03: DUP2
00000e04: DUP2
00000e05: MSTORE
00000e06: PUSH1 0x20
00000e08: DUP2
00000e09: SWAP1
00000e0a: MSTORE
00000e0b: PUSH1 0x40
00000e0d: SWAP1
00000e0e: KECCAK256
00000e0f: PUSH1 0x03
00000e11: ADD
00000e12: SLOAD
00000e13: PUSH1 0xff
00000e15: AND
00000e16: ISZERO
00000e17: JUMPDEST
00000e18: DUP1
00000e19: PUSH2 0x0e3b
00000e1c: JUMPI
00000e1d: POP
00000e1e: DUP5
00000e1f: DUP1
00000e20: ISZERO
00000e21: PUSH2 0x0e3b
00000e24: JUMPI
00000e25: POP
00000e26: PUSH1 0x00
00000e28: DUP2
00000e29: DUP2
00000e2a: MSTORE
00000e2b: PUSH1 0x20
00000e2d: DUP2
00000e2e: SWAP1
00000e2f: MSTORE
00000e30: PUSH1 0x40
00000e32: SWAP1
00000e33: KECCAK256
00000e34: PUSH1 0x03
00000e36: ADD
00000e37: SLOAD
00000e38: PUSH1 0xff
00000e3a: AND
00000e3b: JUMPDEST
00000e3c: JUMPDEST
00000e3d: ISZERO
00000e3e: PUSH2 0x0e60
00000e41: JUMPI
00000e42: DUP1
00000e43: DUP4
00000e44: DUP4
00000e45: DUP2
00000e46: MLOAD
00000e47: DUP2
00000e48: LT
00000e49: PUSH2 0x0e4e
00000e4c: JUMPI
00000e4d: INVALID
00000e4e: JUMPDEST
00000e4f: PUSH1 0x20
00000e51: SWAP1
00000e52: DUP2
00000e53: MUL
00000e54: SWAP1
00000e55: SWAP2
00000e56: ADD
00000e57: ADD
00000e58: MSTORE
00000e59: PUSH1 0x01
00000e5b: SWAP2
00000e5c: SWAP1
00000e5d: SWAP2
00000e5e: ADD
00000e5f: SWAP1
00000e60: JUMPDEST
00000e61: JUMPDEST
00000e62: PUSH1 0x01
00000e64: ADD
00000e65: PUSH2 0x0dee
00000e68: JUMP
00000e69: JUMPDEST
00000e6a: DUP8
00000e6b: DUP8
00000e6c: SUB
00000e6d: PUSH1 0x40
00000e6f: MLOAD
00000e70: DUP1
00000e71: MSIZE
00000e72: LT
00000e73: PUSH2 0x0e79
00000e76: JUMPI
00000e77: POP
00000e78: MSIZE
00000e79: JUMPDEST
00000e7a: SWAP1
00000e7b: DUP1
00000e7c: DUP3
00000e7d: MSTORE
00000e7e: DUP1
00000e7f: PUSH1 0x20
00000e81: MUL
00000e82: PUSH1 0x20
00000e84: ADD
00000e85: DUP3
00000e86: ADD
00000e87: PUSH1 0x40
00000e89: MSTORE
00000e8a: JUMPDEST
00000e8b: POP
00000e8c: SWAP4
00000e8d: POP
00000e8e: DUP8
00000e8f: SWAP1
00000e90: POP
00000e91: JUMPDEST
00000e92: DUP7
00000e93: DUP2
00000e94: LT
00000e95: ISZERO
00000e96: PUSH2 0x0ed0
00000e99: JUMPI
00000e9a: DUP3
00000e9b: DUP2
00000e9c: DUP2
00000e9d: MLOAD
00000e9e: DUP2
00000e9f: LT
00000ea0: PUSH2 0x0ea5
00000ea3: JUMPI
00000ea4: INVALID
00000ea5: JUMPDEST
00000ea6: SWAP1
00000ea7: PUSH1 0x20
00000ea9: ADD
00000eaa: SWAP1
00000eab: PUSH1 0x20
00000ead: MUL
00000eae: ADD
00000eaf: MLOAD
00000eb0: DUP5
00000eb1: DUP10
00000eb2: DUP4
00000eb3: SUB
00000eb4: DUP2
00000eb5: MLOAD
00000eb6: DUP2
00000eb7: LT
00000eb8: PUSH2 0x0ebd
00000ebb: JUMPI
00000ebc: INVALID
00000ebd: JUMPDEST
00000ebe: PUSH1 0x20
00000ec0: SWAP1
00000ec1: DUP2
00000ec2: MUL
00000ec3: SWAP1
00000ec4: SWAP2
00000ec5: ADD
00000ec6: ADD
00000ec7: MSTORE
00000ec8: JUMPDEST
00000ec9: PUSH1 0x01
00000ecb: ADD
00000ecc: PUSH2 0x0e91
00000ecf: JUMP
00000ed0: JUMPDEST
00000ed1: JUMPDEST
00000ed2: POP
00000ed3: POP
00000ed4: POP
00000ed5: SWAP5
00000ed6: SWAP4
00000ed7: POP
00000ed8: POP
00000ed9: POP
00000eda: POP
00000edb: JUMP
00000edc: JUMPDEST
00000edd: PUSH2 0x0ee4
00000ee0: PUSH2 0x1790
00000ee3: JUMP
00000ee4: JUMPDEST
00000ee5: PUSH2 0x0eec
00000ee8: PUSH2 0x1790
00000eeb: JUMP
00000eec: JUMPDEST
00000eed: PUSH1 0x03
00000eef: SLOAD
00000ef0: PUSH1 0x00
00000ef2: SWAP1
00000ef3: DUP2
00000ef4: SWAP1
00000ef5: PUSH1 0x40
00000ef7: MLOAD
00000ef8: DUP1
00000ef9: MSIZE
00000efa: LT
00000efb: PUSH2 0x0f01
00000efe: JUMPI
00000eff: POP
00000f00: MSIZE
00000f01: JUMPDEST
00000f02: SWAP1
00000f03: DUP1
00000f04: DUP3
00000f05: MSTORE
00000f06: DUP1
00000f07: PUSH1 0x20
00000f09: MUL
00000f0a: PUSH1 0x20
00000f0c: ADD
00000f0d: DUP3
00000f0e: ADD
00000f0f: PUSH1 0x40
00000f11: MSTORE
00000f12: JUMPDEST
00000f13: POP
00000f14: SWAP3
00000f15: POP
00000f16: PUSH1 0x00
00000f18: SWAP2
00000f19: POP
00000f1a: PUSH1 0x00
00000f1c: SWAP1
00000f1d: POP
00000f1e: JUMPDEST
00000f1f: PUSH1 0x03
00000f21: SLOAD
00000f22: DUP2
00000f23: LT
00000f24: ISZERO
00000f25: PUSH2 0x0fe4
00000f28: JUMPI
00000f29: PUSH1 0x00
00000f2b: DUP6
00000f2c: DUP2
00000f2d: MSTORE
00000f2e: PUSH1 0x01
00000f30: PUSH1 0x20
00000f32: MSTORE
00000f33: PUSH1 0x40
00000f35: DUP2
00000f36: KECCAK256
00000f37: PUSH1 0x03
00000f39: DUP1
00000f3a: SLOAD
00000f3b: SWAP2
00000f3c: SWAP3
00000f3d: SWAP2
00000f3e: DUP5
00000f3f: SWAP1
00000f40: DUP2
00000f41: LT
00000f42: PUSH2 0x0f47
00000f45: JUMPI
00000f46: INVALID
00000f47: JUMPDEST
00000f48: SWAP1
00000f49: PUSH1 0x00
00000f4b: MSTORE
00000f4c: PUSH1 0x20
00000f4e: PUSH1 0x00
00000f50: KECCAK256
00000f51: SWAP1
00000f52: ADD
00000f53: PUSH1 0x00
00000f55: JUMPDEST
00000f56: SWAP1
00000f57: SLOAD
00000f58: PUSH1 0x01
00000f5a: PUSH1 0xa0
00000f5c: PUSH1 0x02
00000f5e: EXP
00000f5f: SUB
00000f60: PUSH2 0x0100
00000f63: SWAP3
00000f64: SWAP1
00000f65: SWAP3
00000f66: EXP
00000f67: SWAP1
00000f68: DIV
00000f69: AND
00000f6a: DUP2
00000f6b: MSTORE
00000f6c: PUSH1 0x20
00000f6e: DUP2
00000f6f: ADD
00000f70: SWAP2
00000f71: SWAP1
00000f72: SWAP2
00000f73: MSTORE
00000f74: PUSH1 0x40
00000f76: ADD
00000f77: PUSH1 0x00
00000f79: KECCAK256
00000f7a: SLOAD
00000f7b: PUSH1 0xff
00000f7d: AND
00000f7e: ISZERO
00000f7f: PUSH2 0x0fdb
00000f82: JUMPI
00000f83: PUSH1 0x03
00000f85: DUP1
00000f86: SLOAD
00000f87: DUP3
00000f88: SWAP1
00000f89: DUP2
00000f8a: LT
00000f8b: PUSH2 0x0f90
00000f8e: JUMPI
00000f8f: INVALID
00000f90: JUMPDEST
00000f91: SWAP1
00000f92: PUSH1 0x00
00000f94: MSTORE
00000f95: PUSH1 0x20
00000f97: PUSH1 0x00
00000f99: KECCAK256
00000f9a: SWAP1
00000f9b: ADD
00000f9c: PUSH1 0x00
00000f9e: JUMPDEST
00000f9f: SWAP1
00000fa0: SLOAD
00000fa1: SWAP1
00000fa2: PUSH2 0x0100
00000fa5: EXP
00000fa6: SWAP1
00000fa7: DIV
00000fa8: PUSH1 0x01
00000faa: PUSH1 0xa0
00000fac: PUSH1 0x02
00000fae: EXP
00000faf: SUB
00000fb0: AND
00000fb1: DUP4
00000fb2: DUP4
00000fb3: DUP2
00000fb4: MLOAD
00000fb5: DUP2
00000fb6: LT
00000fb7: PUSH2 0x0fbc
00000fba: JUMPI
00000fbb: INVALID
00000fbc: JUMPDEST
00000fbd: PUSH1 0x01
00000fbf: PUSH1 0xa0
00000fc1: PUSH1 0x02
00000fc3: EXP
00000fc4: SUB
00000fc5: SWAP1
00000fc6: SWAP3
00000fc7: AND
00000fc8: PUSH1 0x20
00000fca: SWAP3
00000fcb: DUP4
00000fcc: MUL
00000fcd: SWAP1
00000fce: SWAP2
00000fcf: ADD
00000fd0: SWAP1
00000fd1: SWAP2
00000fd2: ADD
00000fd3: MSTORE
00000fd4: PUSH1 0x01
00000fd6: SWAP2
00000fd7: SWAP1
00000fd8: SWAP2
00000fd9: ADD
00000fda: SWAP1
00000fdb: JUMPDEST
00000fdc: JUMPDEST
00000fdd: PUSH1 0x01
00000fdf: ADD
00000fe0: PUSH2 0x0f1e
00000fe3: JUMP
00000fe4: JUMPDEST
00000fe5: DUP2
00000fe6: PUSH1 0x40
00000fe8: MLOAD
00000fe9: DUP1
00000fea: MSIZE
00000feb: LT
00000fec: PUSH2 0x0ff2
00000fef: JUMPI
00000ff0: POP
00000ff1: MSIZE
00000ff2: JUMPDEST
00000ff3: SWAP1
00000ff4: DUP1
00000ff5: DUP3
00000ff6: MSTORE
00000ff7: DUP1
00000ff8: PUSH1 0x20
00000ffa: MUL
00000ffb: PUSH1 0x20
00000ffd: ADD
00000ffe: DUP3
00000fff: ADD
00001000: PUSH1 0x40
00001002: MSTORE
00001003: JUMPDEST
00001004: POP
00001005: SWAP4
00001006: POP
00001007: PUSH1 0x00
00001009: SWAP1
0000100a: POP
0000100b: JUMPDEST
0000100c: DUP2
0000100d: DUP2
0000100e: LT
0000100f: ISZERO
00001010: PUSH2 0x1055
00001013: JUMPI
00001014: DUP3
00001015: DUP2
00001016: DUP2
00001017: MLOAD
00001018: DUP2
00001019: LT
0000101a: PUSH2 0x101f
0000101d: JUMPI
0000101e: INVALID
0000101f: JUMPDEST
00001020: SWAP1
00001021: PUSH1 0x20
00001023: ADD
00001024: SWAP1
00001025: PUSH1 0x20
00001027: MUL
00001028: ADD
00001029: MLOAD
0000102a: DUP5
0000102b: DUP3
0000102c: DUP2
0000102d: MLOAD
0000102e: DUP2
0000102f: LT
00001030: PUSH2 0x1035
00001033: JUMPI
00001034: INVALID
00001035: JUMPDEST
00001036: PUSH1 0x01
00001038: PUSH1 0xa0
0000103a: PUSH1 0x02
0000103c: EXP
0000103d: SUB
0000103e: SWAP1
0000103f: SWAP3
00001040: AND
00001041: PUSH1 0x20
00001043: SWAP3
00001044: DUP4
00001045: MUL
00001046: SWAP1
00001047: SWAP2
00001048: ADD
00001049: SWAP1
0000104a: SWAP2
0000104b: ADD
0000104c: MSTORE
0000104d: JUMPDEST
0000104e: PUSH1 0x01
00001050: ADD
00001051: PUSH2 0x100b
00001054: JUMP
00001055: JUMPDEST
00001056: JUMPDEST
00001057: POP
00001058: POP
00001059: POP
0000105a: SWAP2
0000105b: SWAP1
0000105c: POP
0000105d: JUMP
0000105e: JUMPDEST
0000105f: PUSH1 0x05
00001061: SLOAD
00001062: DUP2
00001063: JUMP
00001064: JUMPDEST
00001065: ADDRESS
00001066: PUSH1 0x01
00001068: PUSH1 0xa0
0000106a: PUSH1 0x02
0000106c: EXP
0000106d: SUB
0000106e: AND
0000106f: CALLER
00001070: PUSH1 0x01
00001072: PUSH1 0xa0
00001074: PUSH1 0x02
00001076: EXP
00001077: SUB
00001078: AND
00001079: EQ
0000107a: ISZERO
0000107b: ISZERO
0000107c: PUSH2 0x1084
0000107f: JUMPI
00001080: PUSH1 0x00
00001082: DUP1
00001083: REVERT
00001084: JUMPDEST
00001085: PUSH1 0x03
00001087: SLOAD
00001088: DUP2
00001089: PUSH1 0x32
0000108b: DUP3
0000108c: GT
0000108d: DUP1
0000108e: PUSH2 0x1096
00001091: JUMPI
00001092: POP
00001093: DUP2
00001094: DUP2
00001095: GT
00001096: JUMPDEST
00001097: DUP1
00001098: PUSH2 0x109f
0000109b: JUMPI
0000109c: POP
0000109d: DUP1
0000109e: ISZERO
0000109f: JUMPDEST
000010a0: DUP1
000010a1: PUSH2 0x10a8
000010a4: JUMPI
000010a5: POP
000010a6: DUP2
000010a7: ISZERO
000010a8: JUMPDEST
000010a9: ISZERO
000010aa: PUSH2 0x10b2
000010ad: JUMPI
000010ae: PUSH1 0x00
000010b0: DUP1
000010b1: REVERT
000010b2: JUMPDEST
000010b3: PUSH1 0x04
000010b5: DUP4
000010b6: SWAP1
000010b7: SSTORE
000010b8: PUSH32 0xa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a
000010d9: DUP4
000010da: PUSH1 0x40
000010dc: MLOAD
000010dd: SWAP1
000010de: DUP2
000010df: MSTORE
000010e0: PUSH1 0x20
000010e2: ADD
000010e3: PUSH1 0x40
000010e5: MLOAD
000010e6: DUP1
000010e7: SWAP2
000010e8: SUB
000010e9: SWAP1
000010ea: LOG1
000010eb: JUMPDEST
000010ec: JUMPDEST
000010ed: POP
000010ee: POP
000010ef: JUMPDEST
000010f0: POP
000010f1: JUMP
000010f2: JUMPDEST
000010f3: CALLER
000010f4: PUSH1 0x01
000010f6: PUSH1 0xa0
000010f8: PUSH1 0x02
000010fa: EXP
000010fb: SUB
000010fc: DUP2
000010fd: AND
000010fe: PUSH1 0x00
00001100: SWAP1
00001101: DUP2
00001102: MSTORE
00001103: PUSH1 0x02
00001105: PUSH1 0x20
00001107: MSTORE
00001108: PUSH1 0x40
0000110a: SWAP1
0000110b: KECCAK256
0000110c: SLOAD
0000110d: PUSH1 0xff
0000110f: AND
00001110: ISZERO
00001111: ISZERO
00001112: PUSH2 0x111a
00001115: JUMPI
00001116: PUSH1 0x00
00001118: DUP1
00001119: REVERT
0000111a: JUMPDEST
0000111b: PUSH1 0x00
0000111d: DUP3
0000111e: DUP2
0000111f: MSTORE
00001120: PUSH1 0x20
00001122: DUP2
00001123: SWAP1
00001124: MSTORE
00001125: PUSH1 0x40
00001127: SWAP1
00001128: KECCAK256
00001129: SLOAD
0000112a: DUP3
0000112b: SWAP1
0000112c: PUSH1 0x01
0000112e: PUSH1 0xa0
00001130: PUSH1 0x02
00001132: EXP
00001133: SUB
00001134: AND
00001135: ISZERO
00001136: ISZERO
00001137: PUSH2 0x113f
0000113a: JUMPI
0000113b: PUSH1 0x00
0000113d: DUP1
0000113e: REVERT
0000113f: JUMPDEST
00001140: PUSH1 0x00
00001142: DUP4
00001143: DUP2
00001144: MSTORE
00001145: PUSH1 0x01
00001147: PUSH1 0x20
00001149: SWAP1
0000114a: DUP2
0000114b: MSTORE
0000114c: PUSH1 0x40
0000114e: DUP1
0000114f: DUP4
00001150: KECCAK256
00001151: CALLER
00001152: PUSH1 0x01
00001154: PUSH1 0xa0
00001156: PUSH1 0x02
00001158: EXP
00001159: SUB
0000115a: DUP2
0000115b: AND
0000115c: DUP6
0000115d: MSTORE
0000115e: SWAP3
0000115f: MSTORE
00001160: SWAP1
00001161: SWAP2
00001162: KECCAK256
00001163: SLOAD
00001164: DUP5
00001165: SWAP2
00001166: SWAP1
00001167: PUSH1 0xff
00001169: AND
0000116a: ISZERO
0000116b: PUSH2 0x1173
0000116e: JUMPI
0000116f: PUSH1 0x00
00001171: DUP1
00001172: REVERT
00001173: JUMPDEST
00001174: PUSH1 0x00
00001176: DUP6
00001177: DUP2
00001178: MSTORE
00001179: PUSH1 0x01
0000117b: PUSH1 0x20
0000117d: DUP2
0000117e: DUP2
0000117f: MSTORE
00001180: PUSH1 0x40
00001182: DUP1
00001183: DUP5
00001184: KECCAK256
00001185: PUSH1 0x01
00001187: PUSH1 0xa0
00001189: PUSH1 0x02
0000118b: EXP
0000118c: SUB
0000118d: CALLER
0000118e: AND
0000118f: DUP1
00001190: DUP7
00001191: MSTORE
00001192: SWAP3
00001193: MSTORE
00001194: SWAP3
00001195: DUP4
00001196: SWAP1
00001197: KECCAK256
00001198: DUP1
00001199: SLOAD
0000119a: PUSH1 0xff
0000119c: NOT
0000119d: AND
0000119e: SWAP1
0000119f: SWAP3
000011a0: OR
000011a1: SWAP1
000011a2: SWAP2
000011a3: SSTORE
000011a4: DUP7
000011a5: SWAP2
000011a6: PUSH32 0x4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef
000011c7: SWAP1
000011c8: MLOAD
000011c9: PUSH1 0x40
000011cb: MLOAD
000011cc: DUP1
000011cd: SWAP2
000011ce: SUB
000011cf: SWAP1
000011d0: LOG3
000011d1: PUSH2 0x09d5
000011d4: DUP6
000011d5: PUSH2 0x142d
000011d8: JUMP
000011d9: JUMPDEST
000011da: JUMPDEST
000011db: JUMPDEST
000011dc: POP
000011dd: POP
000011de: JUMPDEST
000011df: POP
000011e0: JUMPDEST
000011e1: POP
000011e2: POP
000011e3: JUMP
000011e4: JUMPDEST
000011e5: PUSH1 0x00
000011e7: PUSH2 0x11f1
000011ea: DUP5
000011eb: DUP5
000011ec: DUP5
000011ed: PUSH2 0x15f5
000011f0: JUMP
000011f1: JUMPDEST
000011f2: SWAP1
000011f3: POP
000011f4: PUSH2 0x11fc
000011f7: DUP2
000011f8: PUSH2 0x10f2
000011fb: JUMP
000011fc: JUMPDEST
000011fd: JUMPDEST
000011fe: SWAP4
000011ff: SWAP3
00001200: POP
00001201: POP
00001202: POP
00001203: JUMP
00001204: JUMPDEST
00001205: ADDRESS
00001206: PUSH1 0x01
00001208: PUSH1 0xa0
0000120a: PUSH1 0x02
0000120c: EXP
0000120d: SUB
0000120e: AND
0000120f: CALLER
00001210: PUSH1 0x01
00001212: PUSH1 0xa0
00001214: PUSH1 0x02
00001216: EXP
00001217: SUB
00001218: AND
00001219: EQ
0000121a: ISZERO
0000121b: ISZERO
0000121c: PUSH2 0x1224
0000121f: JUMPI
00001220: PUSH1 0x00
00001222: DUP1
00001223: REVERT
00001224: JUMPDEST
00001225: PUSH1 0x06
00001227: DUP2
00001228: SWAP1
00001229: SSTORE
0000122a: PUSH32 0xc71bdc6afaf9b1aa90a7078191d4fc1adf3bf680fca3183697df6b0dc226bca2
0000124b: DUP2
0000124c: PUSH1 0x40
0000124e: MLOAD
0000124f: SWAP1
00001250: DUP2
00001251: MSTORE
00001252: PUSH1 0x20
00001254: ADD
00001255: PUSH1 0x40
00001257: MLOAD
00001258: DUP1
00001259: SWAP2
0000125a: SUB
0000125b: SWAP1
0000125c: LOG1
0000125d: JUMPDEST
0000125e: JUMPDEST
0000125f: POP
00001260: JUMP
00001261: JUMPDEST
00001262: PUSH1 0x32
00001264: DUP2
00001265: JUMP
00001266: JUMPDEST
00001267: PUSH1 0x04
00001269: SLOAD
0000126a: DUP2
0000126b: JUMP
0000126c: JUMPDEST
0000126d: PUSH1 0x00
0000126f: ADDRESS
00001270: PUSH1 0x01
00001272: PUSH1 0xa0
00001274: PUSH1 0x02
00001276: EXP
00001277: SUB
00001278: AND
00001279: CALLER
0000127a: PUSH1 0x01
0000127c: PUSH1 0xa0
0000127e: PUSH1 0x02
00001280: EXP
00001281: SUB
00001282: AND
00001283: EQ
00001284: ISZERO
00001285: ISZERO
00001286: PUSH2 0x128e
00001289: JUMPI
0000128a: PUSH1 0x00
0000128c: DUP1
0000128d: REVERT
0000128e: JUMPDEST
0000128f: PUSH1 0x01
00001291: PUSH1 0xa0
00001293: PUSH1 0x02
00001295: EXP
00001296: SUB
00001297: DUP4
00001298: AND
00001299: PUSH1 0x00
0000129b: SWAP1
0000129c: DUP2
0000129d: MSTORE
0000129e: PUSH1 0x02
000012a0: PUSH1 0x20
000012a2: MSTORE
000012a3: PUSH1 0x40
000012a5: SWAP1
000012a6: KECCAK256
000012a7: SLOAD
000012a8: DUP4
000012a9: SWAP1
000012aa: PUSH1 0xff
000012ac: AND
000012ad: ISZERO
000012ae: ISZERO
000012af: PUSH2 0x12b7
000012b2: JUMPI
000012b3: PUSH1 0x00
000012b5: DUP1
000012b6: REVERT
000012b7: JUMPDEST
000012b8: PUSH1 0x01
000012ba: PUSH1 0xa0
000012bc: PUSH1 0x02
000012be: EXP
000012bf: SUB
000012c0: DUP4
000012c1: AND
000012c2: PUSH1 0x00
000012c4: SWAP1
000012c5: DUP2
000012c6: MSTORE
000012c7: PUSH1 0x02
000012c9: PUSH1 0x20
000012cb: MSTORE
000012cc: PUSH1 0x40
000012ce: SWAP1
000012cf: KECCAK256
000012d0: SLOAD
000012d1: DUP4
000012d2: SWAP1
000012d3: PUSH1 0xff
000012d5: AND
000012d6: ISZERO
000012d7: PUSH2 0x12df
000012da: JUMPI
000012db: PUSH1 0x00
000012dd: DUP1
000012de: REVERT
000012df: JUMPDEST
000012e0: PUSH1 0x00
000012e2: SWAP3
000012e3: POP
000012e4: JUMPDEST
000012e5: PUSH1 0x03
000012e7: SLOAD
000012e8: DUP4
000012e9: LT
000012ea: ISZERO
000012eb: PUSH2 0x1387
000012ee: JUMPI
000012ef: DUP5
000012f0: PUSH1 0x01
000012f2: PUSH1 0xa0
000012f4: PUSH1 0x02
000012f6: EXP
000012f7: SUB
000012f8: AND
000012f9: PUSH1 0x03
000012fb: DUP5
000012fc: DUP2
000012fd: SLOAD
000012fe: DUP2
000012ff: LT
00001300: ISZERO
00001301: ISZERO
00001302: PUSH2 0x1307
00001305: JUMPI
00001306: INVALID
00001307: JUMPDEST
00001308: SWAP1
00001309: PUSH1 0x00
0000130b: MSTORE
0000130c: PUSH1 0x20
0000130e: PUSH1 0x00
00001310: KECCAK256
00001311: SWAP1
00001312: ADD
00001313: PUSH1 0x00
00001315: JUMPDEST
00001316: SWAP1
00001317: SLOAD
00001318: SWAP1
00001319: PUSH2 0x0100
0000131c: EXP
0000131d: SWAP1
0000131e: DIV
0000131f: PUSH1 0x01
00001321: PUSH1 0xa0
00001323: PUSH1 0x02
00001325: EXP
00001326: SUB
00001327: AND
00001328: PUSH1 0x01
0000132a: PUSH1 0xa0
0000132c: PUSH1 0x02
0000132e: EXP
0000132f: SUB
00001330: AND
00001331: EQ
00001332: ISZERO
00001333: PUSH2 0x137b
00001336: JUMPI
00001337: DUP4
00001338: PUSH1 0x03
0000133a: DUP5
0000133b: DUP2
0000133c: SLOAD
0000133d: DUP2
0000133e: LT
0000133f: ISZERO
00001340: ISZERO
00001341: PUSH2 0x1346
00001344: JUMPI
00001345: INVALID
00001346: JUMPDEST
00001347: SWAP1
00001348: PUSH1 0x00
0000134a: MSTORE
0000134b: PUSH1 0x20
0000134d: PUSH1 0x00
0000134f: KECCAK256
00001350: SWAP1
00001351: ADD
00001352: PUSH1 0x00
00001354: JUMPDEST
00001355: PUSH2 0x0100
00001358: EXP
00001359: DUP2
0000135a: SLOAD
0000135b: DUP2
0000135c: PUSH1 0x01
0000135e: PUSH1 0xa0
00001360: PUSH1 0x02
00001362: EXP
00001363: SUB
00001364: MUL
00001365: NOT
00001366: AND
00001367: SWAP1
00001368: DUP4
00001369: PUSH1 0x01
0000136b: PUSH1 0xa0
0000136d: PUSH1 0x02
0000136f: EXP
00001370: SUB
00001371: AND
00001372: MUL
00001373: OR
00001374: SWAP1
00001375: SSTORE
00001376: POP
00001377: PUSH2 0x1387
0000137a: JUMP
0000137b: JUMPDEST
0000137c: JUMPDEST
0000137d: PUSH1 0x01
0000137f: SWAP1
00001380: SWAP3
00001381: ADD
00001382: SWAP2
00001383: PUSH2 0x12e4
00001386: JUMP
00001387: JUMPDEST
00001388: PUSH1 0x01
0000138a: PUSH1 0xa0
0000138c: PUSH1 0x02
0000138e: EXP
0000138f: SUB
00001390: DUP1
00001391: DUP7
00001392: AND
00001393: PUSH1 0x00
00001395: DUP2
00001396: DUP2
00001397: MSTORE
00001398: PUSH1 0x02
0000139a: PUSH1 0x20
0000139c: MSTORE
0000139d: PUSH1 0x40
0000139f: DUP1
000013a0: DUP3
000013a1: KECCAK256
000013a2: DUP1
000013a3: SLOAD
000013a4: PUSH1 0xff
000013a6: NOT
000013a7: SWAP1
000013a8: DUP2
000013a9: AND
000013aa: SWAP1
000013ab: SWAP2
000013ac: SSTORE
000013ad: SWAP4
000013ae: DUP9
000013af: AND
000013b0: DUP3
000013b1: MSTORE
000013b2: SWAP1
000013b3: DUP2
000013b4: SWAP1
000013b5: KECCAK256
000013b6: DUP1
000013b7: SLOAD
000013b8: SWAP1
000013b9: SWAP4
000013ba: AND
000013bb: PUSH1 0x01
000013bd: OR
000013be: SWAP1
000013bf: SWAP3
000013c0: SSTORE
000013c1: SWAP1
000013c2: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90
000013e3: SWAP1
000013e4: MLOAD
000013e5: PUSH1 0x40
000013e7: MLOAD
000013e8: DUP1
000013e9: SWAP2
000013ea: SUB
000013eb: SWAP1
000013ec: LOG2
000013ed: DUP4
000013ee: PUSH1 0x01
000013f0: PUSH1 0xa0
000013f2: PUSH1 0x02
000013f4: EXP
000013f5: SUB
000013f6: AND
000013f7: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d
00001418: PUSH1 0x40
0000141a: MLOAD
0000141b: PUSH1 0x40
0000141d: MLOAD
0000141e: DUP1
0000141f: SWAP2
00001420: SUB
00001421: SWAP1
00001422: LOG2
00001423: JUMPDEST
00001424: JUMPDEST
00001425: POP
00001426: JUMPDEST
00001427: POP
00001428: JUMPDEST
00001429: POP
0000142a: POP
0000142b: POP
0000142c: JUMP
0000142d: JUMPDEST
0000142e: PUSH1 0x00
00001430: DUP2
00001431: DUP2
00001432: MSTORE
00001433: PUSH1 0x20
00001435: DUP2
00001436: SWAP1
00001437: MSTORE
00001438: PUSH1 0x40
0000143a: DUP2
0000143b: KECCAK256
0000143c: PUSH1 0x03
0000143e: ADD
0000143f: SLOAD
00001440: DUP2
00001441: SWAP1
00001442: DUP4
00001443: SWAP1
00001444: PUSH1 0xff
00001446: AND
00001447: ISZERO
00001448: PUSH2 0x1450
0000144b: JUMPI
0000144c: PUSH1 0x00
0000144e: DUP1
0000144f: REVERT
00001450: JUMPDEST
00001451: PUSH1 0x00
00001453: DUP5
00001454: DUP2
00001455: MSTORE
00001456: PUSH1 0x20
00001458: DUP2
00001459: SWAP1
0000145a: MSTORE
0000145b: PUSH1 0x40
0000145d: SWAP1
0000145e: KECCAK256
0000145f: SWAP3
00001460: POP
00001461: PUSH2 0x1469
00001464: DUP5
00001465: PUSH2 0x0bfe
00001468: JUMP
00001469: JUMPDEST
0000146a: SWAP2
0000146b: POP
0000146c: DUP2
0000146d: DUP1
0000146e: PUSH2 0x149c
00001471: JUMPI
00001472: POP
00001473: PUSH1 0x02
00001475: DUP1
00001476: DUP5
00001477: ADD
00001478: SLOAD
00001479: PUSH1 0x00
0000147b: NOT
0000147c: PUSH2 0x0100
0000147f: PUSH1 0x01
00001481: DUP4
00001482: AND
00001483: ISZERO
00001484: MUL
00001485: ADD
00001486: AND
00001487: DIV
00001488: ISZERO
00001489: DUP1
0000148a: ISZERO
0000148b: PUSH2 0x149c
0000148e: JUMPI
0000148f: POP
00001490: PUSH2 0x149c
00001493: DUP4
00001494: PUSH1 0x01
00001496: ADD
00001497: SLOAD
00001498: PUSH2 0x16f4
0000149b: JUMP
0000149c: JUMPDEST
0000149d: JUMPDEST
0000149e: JUMPDEST
0000149f: ISZERO
000014a0: PUSH2 0x09d8
000014a3: JUMPI
000014a4: PUSH1 0x03
000014a6: DUP4
000014a7: ADD
000014a8: DUP1
000014a9: SLOAD
000014aa: PUSH1 0xff
000014ac: NOT
000014ad: AND
000014ae: PUSH1 0x01
000014b0: OR
000014b1: SWAP1
000014b2: SSTORE
000014b3: DUP2
000014b4: ISZERO
000014b5: ISZERO
000014b6: PUSH2 0x14c8
000014b9: JUMPI
000014ba: PUSH1 0x01
000014bc: DUP4
000014bd: ADD
000014be: SLOAD
000014bf: PUSH1 0x08
000014c1: DUP1
000014c2: SLOAD
000014c3: SWAP1
000014c4: SWAP2
000014c5: ADD
000014c6: SWAP1
000014c7: SSTORE
000014c8: JUMPDEST
000014c9: DUP3
000014ca: SLOAD
000014cb: PUSH1 0x01
000014cd: DUP5
000014ce: ADD
000014cf: SLOAD
000014d0: PUSH1 0x01
000014d2: PUSH1 0xa0
000014d4: PUSH1 0x02
000014d6: EXP
000014d7: SUB
000014d8: SWAP1
000014d9: SWAP2
000014da: AND
000014db: SWAP1
000014dc: PUSH1 0x02
000014de: DUP6
000014df: ADD
000014e0: PUSH1 0x40
000014e2: MLOAD
000014e3: DUP1
000014e4: DUP3
000014e5: DUP1
000014e6: SLOAD
000014e7: PUSH1 0x01
000014e9: DUP2
000014ea: PUSH1 0x01
000014ec: AND
000014ed: ISZERO
000014ee: PUSH2 0x0100
000014f1: MUL
000014f2: SUB
000014f3: AND
000014f4: PUSH1 0x02
000014f6: SWAP1
000014f7: DIV
000014f8: DUP1
000014f9: ISZERO
000014fa: PUSH2 0x1544
000014fd: JUMPI
000014fe: DUP1
000014ff: PUSH1 0x1f
00001501: LT
00001502: PUSH2 0x1519
00001505: JUMPI
00001506: PUSH2 0x0100
00001509: DUP1
0000150a: DUP4
0000150b: SLOAD
0000150c: DIV
0000150d: MUL
0000150e: DUP4
0000150f: MSTORE
00001510: SWAP2
00001511: PUSH1 0x20
00001513: ADD
00001514: SWAP2
00001515: PUSH2 0x1544
00001518: JUMP
00001519: JUMPDEST
0000151a: DUP3
0000151b: ADD
0000151c: SWAP2
0000151d: SWAP1
0000151e: PUSH1 0x00
00001520: MSTORE
00001521: PUSH1 0x20
00001523: PUSH1 0x00
00001525: KECCAK256
00001526: SWAP1
00001527: JUMPDEST
00001528: DUP2
00001529: SLOAD
0000152a: DUP2
0000152b: MSTORE
0000152c: SWAP1
0000152d: PUSH1 0x01
0000152f: ADD
00001530: SWAP1
00001531: PUSH1 0x20
00001533: ADD
00001534: DUP1
00001535: DUP4
00001536: GT
00001537: PUSH2 0x1527
0000153a: JUMPI
0000153b: DUP3
0000153c: SWAP1
0000153d: SUB
0000153e: PUSH1 0x1f
00001540: AND
00001541: DUP3
00001542: ADD
00001543: SWAP2
00001544: JUMPDEST
00001545: POP
00001546: POP
00001547: SWAP2
00001548: POP
00001549: POP
0000154a: PUSH1 0x00
0000154c: PUSH1 0x40
0000154e: MLOAD
0000154f: DUP1
00001550: DUP4
00001551: SUB
00001552: DUP2
00001553: DUP6
00001554: DUP8
00001555: PUSH2 0x8796
00001558: GAS
00001559: SUB
0000155a: CALL
0000155b: SWAP3
0000155c: POP
0000155d: POP
0000155e: POP
0000155f: ISZERO
00001560: PUSH2 0x1595
00001563: JUMPI
00001564: DUP4
00001565: PUSH32 0x33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed75
00001586: PUSH1 0x40
00001588: MLOAD
00001589: PUSH1 0x40
0000158b: MLOAD
0000158c: DUP1
0000158d: SWAP2
0000158e: SUB
0000158f: SWAP1
00001590: LOG2
00001591: PUSH2 0x09d8
00001594: JUMP
00001595: JUMPDEST
00001596: DUP4
00001597: PUSH32 0x526441bb6c1aba3c9a4a6ca1d6545da9c2333c8c48343ef398eb858d72b79236
000015b8: PUSH1 0x40
000015ba: MLOAD
000015bb: PUSH1 0x40
000015bd: MLOAD
000015be: DUP1
000015bf: SWAP2
000015c0: SUB
000015c1: SWAP1
000015c2: LOG2
000015c3: PUSH1 0x03
000015c5: DUP4
000015c6: ADD
000015c7: DUP1
000015c8: SLOAD
000015c9: PUSH1 0xff
000015cb: NOT
000015cc: AND
000015cd: SWAP1
000015ce: SSTORE
000015cf: DUP2
000015d0: ISZERO
000015d1: ISZERO
000015d2: PUSH2 0x09d8
000015d5: JUMPI
000015d6: PUSH1 0x01
000015d8: DUP4
000015d9: ADD
000015da: SLOAD
000015db: PUSH1 0x08
000015dd: DUP1
000015de: SLOAD
000015df: SWAP2
000015e0: SWAP1
000015e1: SWAP2
000015e2: SUB
000015e3: SWAP1
000015e4: SSTORE
000015e5: JUMPDEST
000015e6: JUMPDEST
000015e7: JUMPDEST
000015e8: JUMPDEST
000015e9: JUMPDEST
000015ea: POP
000015eb: POP
000015ec: POP
000015ed: POP
000015ee: JUMP
000015ef: JUMPDEST
000015f0: PUSH1 0x08
000015f2: SLOAD
000015f3: DUP2
000015f4: JUMP
000015f5: JUMPDEST
000015f6: PUSH1 0x00
000015f8: DUP4
000015f9: PUSH1 0x01
000015fb: PUSH1 0xa0
000015fd: PUSH1 0x02
000015ff: EXP
00001600: SUB
00001601: DUP2
00001602: AND
00001603: ISZERO
00001604: ISZERO
00001605: PUSH2 0x160d
00001608: JUMPI
00001609: PUSH1 0x00
0000160b: DUP1
0000160c: REVERT
0000160d: JUMPDEST
0000160e: PUSH1 0x05
00001610: SLOAD
00001611: SWAP2
00001612: POP
00001613: PUSH1 0x80
00001615: PUSH1 0x40
00001617: MLOAD
00001618: SWAP1
00001619: DUP2
0000161a: ADD
0000161b: PUSH1 0x40
0000161d: SWAP1
0000161e: DUP2
0000161f: MSTORE
00001620: PUSH1 0x01
00001622: PUSH1 0xa0
00001624: PUSH1 0x02
00001626: EXP
00001627: SUB
00001628: DUP8
00001629: AND
0000162a: DUP3
0000162b: MSTORE
0000162c: PUSH1 0x20
0000162e: DUP1
0000162f: DUP4
00001630: ADD
00001631: DUP8
00001632: SWAP1
00001633: MSTORE
00001634: DUP2
00001635: DUP4
00001636: ADD
00001637: DUP7
00001638: SWAP1
00001639: MSTORE
0000163a: PUSH1 0x00
0000163c: PUSH1 0x60
0000163e: DUP5
0000163f: ADD
00001640: DUP2
00001641: SWAP1
00001642: MSTORE
00001643: DUP6
00001644: DUP2
00001645: MSTORE
00001646: SWAP1
00001647: DUP2
00001648: SWAP1
00001649: MSTORE
0000164a: KECCAK256
0000164b: DUP2
0000164c: MLOAD
0000164d: DUP2
0000164e: SLOAD
0000164f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001664: NOT
00001665: AND
00001666: PUSH1 0x01
00001668: PUSH1 0xa0
0000166a: PUSH1 0x02
0000166c: EXP
0000166d: SUB
0000166e: SWAP2
0000166f: SWAP1
00001670: SWAP2
00001671: AND
00001672: OR
00001673: DUP2
00001674: SSTORE
00001675: PUSH1 0x20
00001677: DUP3
00001678: ADD
00001679: MLOAD
0000167a: DUP2
0000167b: PUSH1 0x01
0000167d: ADD
0000167e: SSTORE
0000167f: PUSH1 0x40
00001681: DUP3
00001682: ADD
00001683: MLOAD
00001684: DUP2
00001685: PUSH1 0x02
00001687: ADD
00001688: SWAP1
00001689: DUP1
0000168a: MLOAD
0000168b: PUSH2 0x1698
0000168e: SWAP3
0000168f: SWAP2
00001690: PUSH1 0x20
00001692: ADD
00001693: SWAP1
00001694: PUSH2 0x17b4
00001697: JUMP
00001698: JUMPDEST
00001699: POP
0000169a: PUSH1 0x60
0000169c: DUP3
0000169d: ADD
0000169e: MLOAD
0000169f: PUSH1 0x03
000016a1: SWAP2
000016a2: SWAP1
000016a3: SWAP2
000016a4: ADD
000016a5: DUP1
000016a6: SLOAD
000016a7: PUSH1 0xff
000016a9: NOT
000016aa: AND
000016ab: SWAP2
000016ac: ISZERO
000016ad: ISZERO
000016ae: SWAP2
000016af: SWAP1
000016b0: SWAP2
000016b1: OR
000016b2: SWAP1
000016b3: SSTORE
000016b4: POP
000016b5: PUSH1 0x05
000016b7: DUP1
000016b8: SLOAD
000016b9: PUSH1 0x01
000016bb: ADD
000016bc: SWAP1
000016bd: SSTORE
000016be: DUP2
000016bf: PUSH32 0xc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e51
000016e0: PUSH1 0x40
000016e2: MLOAD
000016e3: PUSH1 0x40
000016e5: MLOAD
000016e6: DUP1
000016e7: SWAP2
000016e8: SUB
000016e9: SWAP1
000016ea: LOG2
000016eb: JUMPDEST
000016ec: JUMPDEST
000016ed: POP
000016ee: SWAP4
000016ef: SWAP3
000016f0: POP
000016f1: POP
000016f2: POP
000016f3: JUMP
000016f4: JUMPDEST
000016f5: PUSH1 0x00
000016f7: PUSH1 0x07
000016f9: SLOAD
000016fa: PUSH3 0x015180
000016fe: ADD
000016ff: TIMESTAMP
00001700: GT
00001701: ISZERO
00001702: PUSH2 0x170f
00001705: JUMPI
00001706: TIMESTAMP
00001707: PUSH1 0x07
00001709: SSTORE
0000170a: PUSH1 0x00
0000170c: PUSH1 0x08
0000170e: SSTORE
0000170f: JUMPDEST
00001710: PUSH1 0x06
00001712: SLOAD
00001713: DUP3
00001714: PUSH1 0x08
00001716: SLOAD
00001717: ADD
00001718: GT
00001719: DUP1
0000171a: PUSH2 0x1726
0000171d: JUMPI
0000171e: POP
0000171f: PUSH1 0x08
00001721: SLOAD
00001722: DUP3
00001723: DUP2
00001724: ADD
00001725: LT
00001726: JUMPDEST
00001727: ISZERO
00001728: PUSH2 0x1733
0000172b: JUMPI
0000172c: POP
0000172d: PUSH1 0x00
0000172f: PUSH2 0x1737
00001732: JUMP
00001733: JUMPDEST
00001734: POP
00001735: PUSH1 0x01
00001737: JUMPDEST
00001738: SWAP2
00001739: SWAP1
0000173a: POP
0000173b: JUMP
0000173c: JUMPDEST
0000173d: DUP2
0000173e: SLOAD
0000173f: DUP2
00001740: DUP4
00001741: SSTORE
00001742: DUP2
00001743: DUP2
00001744: ISZERO
00001745: GT
00001746: PUSH2 0x08f6
00001749: JUMPI
0000174a: PUSH1 0x00
0000174c: DUP4
0000174d: DUP2
0000174e: MSTORE
0000174f: PUSH1 0x20
00001751: SWAP1
00001752: KECCAK256
00001753: PUSH2 0x08f6
00001756: SWAP2
00001757: DUP2
00001758: ADD
00001759: SWAP1
0000175a: DUP4
0000175b: ADD
0000175c: PUSH2 0x1833
0000175f: JUMP
00001760: JUMPDEST
00001761: JUMPDEST
00001762: POP
00001763: POP
00001764: POP
00001765: JUMP
00001766: JUMPDEST
00001767: DUP2
00001768: SLOAD
00001769: DUP2
0000176a: DUP4
0000176b: SSTORE
0000176c: DUP2
0000176d: DUP2
0000176e: ISZERO
0000176f: GT
00001770: PUSH2 0x08f6
00001773: JUMPI
00001774: PUSH1 0x00
00001776: DUP4
00001777: DUP2
00001778: MSTORE
00001779: PUSH1 0x20
0000177b: SWAP1
0000177c: KECCAK256
0000177d: PUSH2 0x08f6
00001780: SWAP2
00001781: DUP2
00001782: ADD
00001783: SWAP1
00001784: DUP4
00001785: ADD
00001786: PUSH2 0x1833
00001789: JUMP
0000178a: JUMPDEST
0000178b: JUMPDEST
0000178c: POP
0000178d: POP
0000178e: POP
0000178f: JUMP
00001790: JUMPDEST
00001791: PUSH1 0x20
00001793: PUSH1 0x40
00001795: MLOAD
00001796: SWAP1
00001797: DUP2
00001798: ADD
00001799: PUSH1 0x40
0000179b: MSTORE
0000179c: PUSH1 0x00
0000179e: DUP2
0000179f: MSTORE
000017a0: SWAP1
000017a1: JUMP
000017a2: JUMPDEST
000017a3: PUSH1 0x20
000017a5: PUSH1 0x40
000017a7: MLOAD
000017a8: SWAP1
000017a9: DUP2
000017aa: ADD
000017ab: PUSH1 0x40
000017ad: MSTORE
000017ae: PUSH1 0x00
000017b0: DUP2
000017b1: MSTORE
000017b2: SWAP1
000017b3: JUMP
000017b4: JUMPDEST
000017b5: DUP3
000017b6: DUP1
000017b7: SLOAD
000017b8: PUSH1 0x01
000017ba: DUP2
000017bb: PUSH1 0x01
000017bd: AND
000017be: ISZERO
000017bf: PUSH2 0x0100
000017c2: MUL
000017c3: SUB
000017c4: AND
000017c5: PUSH1 0x02
000017c7: SWAP1
000017c8: DIV
000017c9: SWAP1
000017ca: PUSH1 0x00
000017cc: MSTORE
000017cd: PUSH1 0x20
000017cf: PUSH1 0x00
000017d1: KECCAK256
000017d2: SWAP1
000017d3: PUSH1 0x1f
000017d5: ADD
000017d6: PUSH1 0x20
000017d8: SWAP1
000017d9: DIV
000017da: DUP2
000017db: ADD
000017dc: SWAP3
000017dd: DUP3
000017de: PUSH1 0x1f
000017e0: LT
000017e1: PUSH2 0x17f5
000017e4: JUMPI
000017e5: DUP1
000017e6: MLOAD
000017e7: PUSH1 0xff
000017e9: NOT
000017ea: AND
000017eb: DUP4
000017ec: DUP1
000017ed: ADD
000017ee: OR
000017ef: DUP6
000017f0: SSTORE
000017f1: PUSH2 0x1822
000017f4: JUMP
000017f5: JUMPDEST
000017f6: DUP3
000017f7: DUP1
000017f8: ADD
000017f9: PUSH1 0x01
000017fb: ADD
000017fc: DUP6
000017fd: SSTORE
000017fe: DUP3
000017ff: ISZERO
00001800: PUSH2 0x1822
00001803: JUMPI
00001804: SWAP2
00001805: DUP3
00001806: ADD
00001807: JUMPDEST
00001808: DUP3
00001809: DUP2
0000180a: GT
0000180b: ISZERO
0000180c: PUSH2 0x1822
0000180f: JUMPI
00001810: DUP3
00001811: MLOAD
00001812: DUP3
00001813: SSTORE
00001814: SWAP2
00001815: PUSH1 0x20
00001817: ADD
00001818: SWAP2
00001819: SWAP1
0000181a: PUSH1 0x01
0000181c: ADD
0000181d: SWAP1
0000181e: PUSH2 0x1807
00001821: JUMP
00001822: JUMPDEST
00001823: JUMPDEST
00001824: POP
00001825: PUSH2 0x182f
00001828: SWAP3
00001829: SWAP2
0000182a: POP
0000182b: PUSH2 0x1833
0000182e: JUMP
0000182f: JUMPDEST
00001830: POP
00001831: SWAP1
00001832: JUMP
00001833: JUMPDEST
00001834: PUSH2 0x0a4b
00001837: SWAP2
00001838: SWAP1
00001839: JUMPDEST
0000183a: DUP1
0000183b: DUP3
0000183c: GT
0000183d: ISZERO
0000183e: PUSH2 0x182f
00001841: JUMPI
00001842: PUSH1 0x00
00001844: DUP2
00001845: SSTORE
00001846: PUSH1 0x01
00001848: ADD
00001849: PUSH2 0x1839
0000184c: JUMP
0000184d: JUMPDEST
0000184e: POP
0000184f: SWAP1
00001850: JUMP
00001851: JUMPDEST
00001852: SWAP1
00001853: JUMP
00001854: STOP
00001855: LOG1
00001856: PUSH6 0x627a7a723058
0000185d: KECCAK256
0000185e: UNKNOWN(0xE1)
0000185f: UNKNOWN(0xEE)
00001860: UNKNOWN(0xC9)
00001861: UNKNOWN(0xC8)
00001862: PUSH1 0x05
00001864: CREATE2
00001865: UNKNOWN(0xDD)
00001866: UNKNOWN(0xEC)
00001867: UNKNOWN(0x4B)
00001868: GT
00001869: TIMESTAMP
0000186a: UNKNOWN(0xCF)
0000186b: SLOAD
0000186c: EQ
0000186d: UNKNOWN(0xB2)
0000186e: UNKNOWN(0xE8)
0000186f: BLOBHASH
00001870: EXP
00001871: PUSH26
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: 0xeb3cf652f48bc3c8c445a9a4976b5043830e70c7b401796fe277012343387c54 call_targets: 0xbc1ab7f58a95cf307ba5ee18cf06b7ed0120da7a target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xeb3cf652f48bc3c8c445a9a4976b5043830e70c7b401796fe277012343387c54", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xbc1ab7f58a95cf307ba5ee18cf06b7ed0120da7a" ], "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": 5466, "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: 0xeb3cf652f48bc3c8c445a9a4976b5043830e70c7b401796fe277012343387c54 call_targets: 0xbc1ab7f58a95cf307ba5ee18cf06b7ed0120da7a target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xeb3cf652f48bc3c8c445a9a4976b5043830e70c7b401796fe277012343387c54", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xbc1ab7f58a95cf307ba5ee18cf06b7ed0120da7a" ], "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": 5466, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 1, "guards_detected": [] }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0xd8617ee9d1cd4c2b73d647f63119b62da420a8ce17477ee8732cd33a70e64a15 validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0xd8617ee9d1cd4c2b73d647f63119b62da420a8ce17477ee8732cd33a70e64a15", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "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 { "create_count": 0, "create2_count": 1 }
Severity