Analysis Run

019b477e-bb12-7286-a58e-f6770a215a86
complete
Chain ID
1
Address
0xd2f95789ac1b9d3d3a71e3fd5cb57e07c7698dac
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
Bytecode only
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
23843	artifact.fetch	complete	1 / 3	3 months ago
23844	tool.cast_disasm	complete	1 / 3	3 months ago
90017	analysis.bundle	complete	1 / 3	2 weeks ago
90018	capability.graph	complete	1 / 3	2 weeks ago
90019	detector.run	complete	1 / 3	2 weeks ago
90020	validation.fork	complete	1 / 3	2 weeks ago
Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: no
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)
4
EXT*/BALANCE
3
Total opcodes
3962
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00fe
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8da5cb5b
00000019: GT
0000001a: PUSH2 0x0095
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xacc7f0ed
00000024: GT
00000025: PUSH2 0x0064
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xacc7f0ed
0000002f: EQ
00000030: PUSH2 0x029d
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xbabe9a9e
0000003a: EQ
0000003b: PUSH2 0x0356
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xbc197c81
00000045: EQ
00000046: PUSH2 0x0380
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf23a6e61
00000050: EQ
00000051: PUSH2 0x056b
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x0641
0000005f: JUMPI
00000060: PUSH2 0x00fe
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x8da5cb5b
0000006b: EQ
0000006c: PUSH2 0x0249
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x8fbb5fa7
00000076: EQ
00000077: PUSH2 0x025e
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x91fd054e
00000081: EQ
00000082: PUSH2 0x0273
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x9e65741e
0000008c: EQ
0000008d: PUSH2 0x0288
00000090: JUMPI
00000091: PUSH2 0x00fe
00000094: JUMP
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0x5fa8c7a8
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x5fa8c7a8
000000a7: EQ
000000a8: PUSH2 0x01ce
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x715018a6
000000b2: EQ
000000b3: PUSH2 0x01f5
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x86ecd1e2
000000bd: EQ
000000be: PUSH2 0x020a
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x8aa4e315
000000c8: EQ
000000c9: PUSH2 0x021f
000000cc: JUMPI
000000cd: PUSH2 0x00fe
000000d0: JUMP
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x01ffc9a7
000000d8: EQ
000000d9: PUSH2 0x0103
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x20689541
000000e3: EQ
000000e4: PUSH2 0x014b
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x51cff8d9
000000ee: EQ
000000ef: PUSH2 0x017c
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x53556559
000000f9: EQ
000000fa: PUSH2 0x01b1
000000fd: JUMPI
000000fe: JUMPDEST
000000ff: PUSH1 0x00
00000101: DUP1
00000102: REVERT
00000103: JUMPDEST
00000104: CALLVALUE
00000105: DUP1
00000106: ISZERO
00000107: PUSH2 0x010f
0000010a: JUMPI
0000010b: PUSH1 0x00
0000010d: DUP1
0000010e: REVERT
0000010f: JUMPDEST
00000110: POP
00000111: PUSH2 0x0137
00000114: PUSH1 0x04
00000116: DUP1
00000117: CALLDATASIZE
00000118: SUB
00000119: PUSH1 0x20
0000011b: DUP2
0000011c: LT
0000011d: ISZERO
0000011e: PUSH2 0x0126
00000121: JUMPI
00000122: PUSH1 0x00
00000124: DUP1
00000125: REVERT
00000126: JUMPDEST
00000127: POP
00000128: CALLDATALOAD
00000129: PUSH1 0x01
0000012b: PUSH1 0x01
0000012d: PUSH1 0xe0
0000012f: SHL
00000130: SUB
00000131: NOT
00000132: AND
00000133: PUSH2 0x0674
00000136: JUMP
00000137: JUMPDEST
00000138: PUSH1 0x40
0000013a: DUP1
0000013b: MLOAD
0000013c: SWAP2
0000013d: ISZERO
0000013e: ISZERO
0000013f: DUP3
00000140: MSTORE
00000141: MLOAD
00000142: SWAP1
00000143: DUP2
00000144: SWAP1
00000145: SUB
00000146: PUSH1 0x20
00000148: ADD
00000149: SWAP1
0000014a: RETURN
0000014b: JUMPDEST
0000014c: CALLVALUE
0000014d: DUP1
0000014e: ISZERO
0000014f: PUSH2 0x0157
00000152: JUMPI
00000153: PUSH1 0x00
00000155: DUP1
00000156: REVERT
00000157: JUMPDEST
00000158: POP
00000159: PUSH2 0x0160
0000015c: PUSH2 0x0693
0000015f: JUMP
00000160: JUMPDEST
00000161: PUSH1 0x40
00000163: DUP1
00000164: MLOAD
00000165: PUSH1 0x01
00000167: PUSH1 0x01
00000169: PUSH1 0xa0
0000016b: SHL
0000016c: SUB
0000016d: SWAP1
0000016e: SWAP3
0000016f: AND
00000170: DUP3
00000171: MSTORE
00000172: MLOAD
00000173: SWAP1
00000174: DUP2
00000175: SWAP1
00000176: SUB
00000177: PUSH1 0x20
00000179: ADD
0000017a: SWAP1
0000017b: RETURN
0000017c: JUMPDEST
0000017d: CALLVALUE
0000017e: DUP1
0000017f: ISZERO
00000180: PUSH2 0x0188
00000183: JUMPI
00000184: PUSH1 0x00
00000186: DUP1
00000187: REVERT
00000188: JUMPDEST
00000189: POP
0000018a: PUSH2 0x01af
0000018d: PUSH1 0x04
0000018f: DUP1
00000190: CALLDATASIZE
00000191: SUB
00000192: PUSH1 0x20
00000194: DUP2
00000195: LT
00000196: ISZERO
00000197: PUSH2 0x019f
0000019a: JUMPI
0000019b: PUSH1 0x00
0000019d: DUP1
0000019e: REVERT
0000019f: JUMPDEST
000001a0: POP
000001a1: CALLDATALOAD
000001a2: PUSH1 0x01
000001a4: PUSH1 0x01
000001a6: PUSH1 0xa0
000001a8: SHL
000001a9: SUB
000001aa: AND
000001ab: PUSH2 0x06a2
000001ae: JUMP
000001af: JUMPDEST
000001b0: STOP
000001b1: JUMPDEST
000001b2: PUSH2 0x01af
000001b5: PUSH1 0x04
000001b7: DUP1
000001b8: CALLDATASIZE
000001b9: SUB
000001ba: PUSH1 0x20
000001bc: DUP2
000001bd: LT
000001be: ISZERO
000001bf: PUSH2 0x01c7
000001c2: JUMPI
000001c3: PUSH1 0x00
000001c5: DUP1
000001c6: REVERT
000001c7: JUMPDEST
000001c8: POP
000001c9: CALLDATALOAD
000001ca: PUSH2 0x0733
000001cd: JUMP
000001ce: JUMPDEST
000001cf: CALLVALUE
000001d0: DUP1
000001d1: ISZERO
000001d2: PUSH2 0x01da
000001d5: JUMPI
000001d6: PUSH1 0x00
000001d8: DUP1
000001d9: REVERT
000001da: JUMPDEST
000001db: POP
000001dc: PUSH2 0x01e3
000001df: PUSH2 0x0a81
000001e2: JUMP
000001e3: JUMPDEST
000001e4: PUSH1 0x40
000001e6: DUP1
000001e7: MLOAD
000001e8: SWAP2
000001e9: DUP3
000001ea: MSTORE
000001eb: MLOAD
000001ec: SWAP1
000001ed: DUP2
000001ee: SWAP1
000001ef: SUB
000001f0: PUSH1 0x20
000001f2: ADD
000001f3: SWAP1
000001f4: RETURN
000001f5: JUMPDEST
000001f6: CALLVALUE
000001f7: DUP1
000001f8: ISZERO
000001f9: PUSH2 0x0201
000001fc: JUMPI
000001fd: PUSH1 0x00
000001ff: DUP1
00000200: REVERT
00000201: JUMPDEST
00000202: POP
00000203: PUSH2 0x01af
00000206: PUSH2 0x0a87
00000209: JUMP
0000020a: JUMPDEST
0000020b: CALLVALUE
0000020c: DUP1
0000020d: ISZERO
0000020e: PUSH2 0x0216
00000211: JUMPI
00000212: PUSH1 0x00
00000214: DUP1
00000215: REVERT
00000216: JUMPDEST
00000217: POP
00000218: PUSH2 0x01e3
0000021b: PUSH2 0x0b29
0000021e: JUMP
0000021f: JUMPDEST
00000220: CALLVALUE
00000221: DUP1
00000222: ISZERO
00000223: PUSH2 0x022b
00000226: JUMPI
00000227: PUSH1 0x00
00000229: DUP1
0000022a: REVERT
0000022b: JUMPDEST
0000022c: POP
0000022d: PUSH2 0x01af
00000230: PUSH1 0x04
00000232: DUP1
00000233: CALLDATASIZE
00000234: SUB
00000235: PUSH1 0x20
00000237: DUP2
00000238: LT
00000239: ISZERO
0000023a: PUSH2 0x0242
0000023d: JUMPI
0000023e: PUSH1 0x00
00000240: DUP1
00000241: REVERT
00000242: JUMPDEST
00000243: POP
00000244: CALLDATALOAD
00000245: PUSH2 0x0b3a
00000248: JUMP
00000249: JUMPDEST
0000024a: CALLVALUE
0000024b: DUP1
0000024c: ISZERO
0000024d: PUSH2 0x0255
00000250: JUMPI
00000251: PUSH1 0x00
00000253: DUP1
00000254: REVERT
00000255: JUMPDEST
00000256: POP
00000257: PUSH2 0x0160
0000025a: PUSH2 0x0b97
0000025d: JUMP
0000025e: JUMPDEST
0000025f: CALLVALUE
00000260: DUP1
00000261: ISZERO
00000262: PUSH2 0x026a
00000265: JUMPI
00000266: PUSH1 0x00
00000268: DUP1
00000269: REVERT
0000026a: JUMPDEST
0000026b: POP
0000026c: PUSH2 0x0160
0000026f: PUSH2 0x0ba6
00000272: JUMP
00000273: JUMPDEST
00000274: CALLVALUE
00000275: DUP1
00000276: ISZERO
00000277: PUSH2 0x027f
0000027a: JUMPI
0000027b: PUSH1 0x00
0000027d: DUP1
0000027e: REVERT
0000027f: JUMPDEST
00000280: POP
00000281: PUSH2 0x0160
00000284: PUSH2 0x0bb5
00000287: JUMP
00000288: JUMPDEST
00000289: CALLVALUE
0000028a: DUP1
0000028b: ISZERO
0000028c: PUSH2 0x0294
0000028f: JUMPI
00000290: PUSH1 0x00
00000292: DUP1
00000293: REVERT
00000294: JUMPDEST
00000295: POP
00000296: PUSH2 0x01e3
00000299: PUSH2 0x0bc4
0000029c: JUMP
0000029d: JUMPDEST
0000029e: CALLVALUE
0000029f: DUP1
000002a0: ISZERO
000002a1: PUSH2 0x02a9
000002a4: JUMPI
000002a5: PUSH1 0x00
000002a7: DUP1
000002a8: REVERT
000002a9: JUMPDEST
000002aa: POP
000002ab: PUSH2 0x01af
000002ae: PUSH1 0x04
000002b0: DUP1
000002b1: CALLDATASIZE
000002b2: SUB
000002b3: PUSH1 0x40
000002b5: DUP2
000002b6: LT
000002b7: ISZERO
000002b8: PUSH2 0x02c0
000002bb: JUMPI
000002bc: PUSH1 0x00
000002be: DUP1
000002bf: REVERT
000002c0: JUMPDEST
000002c1: DUP2
000002c2: ADD
000002c3: SWAP1
000002c4: PUSH1 0x20
000002c6: DUP2
000002c7: ADD
000002c8: DUP2
000002c9: CALLDATALOAD
000002ca: PUSH1 0x01
000002cc: PUSH1 0x20
000002ce: SHL
000002cf: DUP2
000002d0: GT
000002d1: ISZERO
000002d2: PUSH2 0x02da
000002d5: JUMPI
000002d6: PUSH1 0x00
000002d8: DUP1
000002d9: REVERT
000002da: JUMPDEST
000002db: DUP3
000002dc: ADD
000002dd: DUP4
000002de: PUSH1 0x20
000002e0: DUP3
000002e1: ADD
000002e2: GT
000002e3: ISZERO
000002e4: PUSH2 0x02ec
000002e7: JUMPI
000002e8: PUSH1 0x00
000002ea: DUP1
000002eb: REVERT
000002ec: JUMPDEST
000002ed: DUP1
000002ee: CALLDATALOAD
000002ef: SWAP1
000002f0: PUSH1 0x20
000002f2: ADD
000002f3: SWAP2
000002f4: DUP5
000002f5: PUSH1 0x20
000002f7: DUP4
000002f8: MUL
000002f9: DUP5
000002fa: ADD
000002fb: GT
000002fc: PUSH1 0x01
000002fe: PUSH1 0x20
00000300: SHL
00000301: DUP4
00000302: GT
00000303: OR
00000304: ISZERO
00000305: PUSH2 0x030d
00000308: JUMPI
00000309: PUSH1 0x00
0000030b: DUP1
0000030c: REVERT
0000030d: JUMPDEST
0000030e: SWAP2
0000030f: SWAP1
00000310: DUP1
00000311: DUP1
00000312: PUSH1 0x20
00000314: MUL
00000315: PUSH1 0x20
00000317: ADD
00000318: PUSH1 0x40
0000031a: MLOAD
0000031b: SWAP1
0000031c: DUP2
0000031d: ADD
0000031e: PUSH1 0x40
00000320: MSTORE
00000321: DUP1
00000322: SWAP4
00000323: SWAP3
00000324: SWAP2
00000325: SWAP1
00000326: DUP2
00000327: DUP2
00000328: MSTORE
00000329: PUSH1 0x20
0000032b: ADD
0000032c: DUP4
0000032d: DUP4
0000032e: PUSH1 0x20
00000330: MUL
00000331: DUP1
00000332: DUP3
00000333: DUP5
00000334: CALLDATACOPY
00000335: PUSH1 0x00
00000337: SWAP3
00000338: ADD
00000339: SWAP2
0000033a: SWAP1
0000033b: SWAP2
0000033c: MSTORE
0000033d: POP
0000033e: SWAP3
0000033f: SWAP6
00000340: POP
00000341: POP
00000342: POP
00000343: SWAP1
00000344: CALLDATALOAD
00000345: PUSH1 0x01
00000347: PUSH1 0x01
00000349: PUSH1 0xa0
0000034b: SHL
0000034c: SUB
0000034d: AND
0000034e: SWAP2
0000034f: POP
00000350: PUSH2 0x0bca
00000353: SWAP1
00000354: POP
00000355: JUMP
00000356: JUMPDEST
00000357: CALLVALUE
00000358: DUP1
00000359: ISZERO
0000035a: PUSH2 0x0362
0000035d: JUMPI
0000035e: PUSH1 0x00
00000360: DUP1
00000361: REVERT
00000362: JUMPDEST
00000363: POP
00000364: PUSH2 0x01af
00000367: PUSH1 0x04
00000369: DUP1
0000036a: CALLDATASIZE
0000036b: SUB
0000036c: PUSH1 0x20
0000036e: DUP2
0000036f: LT
00000370: ISZERO
00000371: PUSH2 0x0379
00000374: JUMPI
00000375: PUSH1 0x00
00000377: DUP1
00000378: REVERT
00000379: JUMPDEST
0000037a: POP
0000037b: CALLDATALOAD
0000037c: PUSH2 0x0ddb
0000037f: JUMP
00000380: JUMPDEST
00000381: CALLVALUE
00000382: DUP1
00000383: ISZERO
00000384: PUSH2 0x038c
00000387: JUMPI
00000388: PUSH1 0x00
0000038a: DUP1
0000038b: REVERT
0000038c: JUMPDEST
0000038d: POP
0000038e: PUSH2 0x054e
00000391: PUSH1 0x04
00000393: DUP1
00000394: CALLDATASIZE
00000395: SUB
00000396: PUSH1 0xa0
00000398: DUP2
00000399: LT
0000039a: ISZERO
0000039b: PUSH2 0x03a3
0000039e: JUMPI
0000039f: PUSH1 0x00
000003a1: DUP1
000003a2: REVERT
000003a3: JUMPDEST
000003a4: PUSH1 0x01
000003a6: PUSH1 0x01
000003a8: PUSH1 0xa0
000003aa: SHL
000003ab: SUB
000003ac: DUP3
000003ad: CALLDATALOAD
000003ae: DUP2
000003af: AND
000003b0: SWAP3
000003b1: PUSH1 0x20
000003b3: DUP2
000003b4: ADD
000003b5: CALLDATALOAD
000003b6: SWAP1
000003b7: SWAP2
000003b8: AND
000003b9: SWAP2
000003ba: DUP2
000003bb: ADD
000003bc: SWAP1
000003bd: PUSH1 0x60
000003bf: DUP2
000003c0: ADD
000003c1: PUSH1 0x40
000003c3: DUP3
000003c4: ADD
000003c5: CALLDATALOAD
000003c6: PUSH1 0x01
000003c8: PUSH1 0x20
000003ca: SHL
000003cb: DUP2
000003cc: GT
000003cd: ISZERO
000003ce: PUSH2 0x03d6
000003d1: JUMPI
000003d2: PUSH1 0x00
000003d4: DUP1
000003d5: REVERT
000003d6: JUMPDEST
000003d7: DUP3
000003d8: ADD
000003d9: DUP4
000003da: PUSH1 0x20
000003dc: DUP3
000003dd: ADD
000003de: GT
000003df: ISZERO
000003e0: PUSH2 0x03e8
000003e3: JUMPI
000003e4: PUSH1 0x00
000003e6: DUP1
000003e7: REVERT
000003e8: JUMPDEST
000003e9: DUP1
000003ea: CALLDATALOAD
000003eb: SWAP1
000003ec: PUSH1 0x20
000003ee: ADD
000003ef: SWAP2
000003f0: DUP5
000003f1: PUSH1 0x20
000003f3: DUP4
000003f4: MUL
000003f5: DUP5
000003f6: ADD
000003f7: GT
000003f8: PUSH1 0x01
000003fa: PUSH1 0x20
000003fc: SHL
000003fd: DUP4
000003fe: GT
000003ff: OR
00000400: ISZERO
00000401: PUSH2 0x0409
00000404: JUMPI
00000405: PUSH1 0x00
00000407: DUP1
00000408: REVERT
00000409: JUMPDEST
0000040a: SWAP2
0000040b: SWAP1
0000040c: DUP1
0000040d: DUP1
0000040e: PUSH1 0x20
00000410: MUL
00000411: PUSH1 0x20
00000413: ADD
00000414: PUSH1 0x40
00000416: MLOAD
00000417: SWAP1
00000418: DUP2
00000419: ADD
0000041a: PUSH1 0x40
0000041c: MSTORE
0000041d: DUP1
0000041e: SWAP4
0000041f: SWAP3
00000420: SWAP2
00000421: SWAP1
00000422: DUP2
00000423: DUP2
00000424: MSTORE
00000425: PUSH1 0x20
00000427: ADD
00000428: DUP4
00000429: DUP4
0000042a: PUSH1 0x20
0000042c: MUL
0000042d: DUP1
0000042e: DUP3
0000042f: DUP5
00000430: CALLDATACOPY
00000431: PUSH1 0x00
00000433: SWAP3
00000434: ADD
00000435: SWAP2
00000436: SWAP1
00000437: SWAP2
00000438: MSTORE
00000439: POP
0000043a: SWAP3
0000043b: SWAP6
0000043c: SWAP5
0000043d: SWAP4
0000043e: PUSH1 0x20
00000440: DUP2
00000441: ADD
00000442: SWAP4
00000443: POP
00000444: CALLDATALOAD
00000445: SWAP2
00000446: POP
00000447: POP
00000448: PUSH1 0x01
0000044a: PUSH1 0x20
0000044c: SHL
0000044d: DUP2
0000044e: GT
0000044f: ISZERO
00000450: PUSH2 0x0458
00000453: JUMPI
00000454: PUSH1 0x00
00000456: DUP1
00000457: REVERT
00000458: JUMPDEST
00000459: DUP3
0000045a: ADD
0000045b: DUP4
0000045c: PUSH1 0x20
0000045e: DUP3
0000045f: ADD
00000460: GT
00000461: ISZERO
00000462: PUSH2 0x046a
00000465: JUMPI
00000466: PUSH1 0x00
00000468: DUP1
00000469: REVERT
0000046a: JUMPDEST
0000046b: DUP1
0000046c: CALLDATALOAD
0000046d: SWAP1
0000046e: PUSH1 0x20
00000470: ADD
00000471: SWAP2
00000472: DUP5
00000473: PUSH1 0x20
00000475: DUP4
00000476: MUL
00000477: DUP5
00000478: ADD
00000479: GT
0000047a: PUSH1 0x01
0000047c: PUSH1 0x20
0000047e: SHL
0000047f: DUP4
00000480: GT
00000481: OR
00000482: ISZERO
00000483: PUSH2 0x048b
00000486: JUMPI
00000487: PUSH1 0x00
00000489: DUP1
0000048a: REVERT
0000048b: JUMPDEST
0000048c: SWAP2
0000048d: SWAP1
0000048e: DUP1
0000048f: DUP1
00000490: PUSH1 0x20
00000492: MUL
00000493: PUSH1 0x20
00000495: ADD
00000496: PUSH1 0x40
00000498: MLOAD
00000499: SWAP1
0000049a: DUP2
0000049b: ADD
0000049c: PUSH1 0x40
0000049e: MSTORE
0000049f: DUP1
000004a0: SWAP4
000004a1: SWAP3
000004a2: SWAP2
000004a3: SWAP1
000004a4: DUP2
000004a5: DUP2
000004a6: MSTORE
000004a7: PUSH1 0x20
000004a9: ADD
000004aa: DUP4
000004ab: DUP4
000004ac: PUSH1 0x20
000004ae: MUL
000004af: DUP1
000004b0: DUP3
000004b1: DUP5
000004b2: CALLDATACOPY
000004b3: PUSH1 0x00
000004b5: SWAP3
000004b6: ADD
000004b7: SWAP2
000004b8: SWAP1
000004b9: SWAP2
000004ba: MSTORE
000004bb: POP
000004bc: SWAP3
000004bd: SWAP6
000004be: SWAP5
000004bf: SWAP4
000004c0: PUSH1 0x20
000004c2: DUP2
000004c3: ADD
000004c4: SWAP4
000004c5: POP
000004c6: CALLDATALOAD
000004c7: SWAP2
000004c8: POP
000004c9: POP
000004ca: PUSH1 0x01
000004cc: PUSH1 0x20
000004ce: SHL
000004cf: DUP2
000004d0: GT
000004d1: ISZERO
000004d2: PUSH2 0x04da
000004d5: JUMPI
000004d6: PUSH1 0x00
000004d8: DUP1
000004d9: REVERT
000004da: JUMPDEST
000004db: DUP3
000004dc: ADD
000004dd: DUP4
000004de: PUSH1 0x20
000004e0: DUP3
000004e1: ADD
000004e2: GT
000004e3: ISZERO
000004e4: PUSH2 0x04ec
000004e7: JUMPI
000004e8: PUSH1 0x00
000004ea: DUP1
000004eb: REVERT
000004ec: JUMPDEST
000004ed: DUP1
000004ee: CALLDATALOAD
000004ef: SWAP1
000004f0: PUSH1 0x20
000004f2: ADD
000004f3: SWAP2
000004f4: DUP5
000004f5: PUSH1 0x01
000004f7: DUP4
000004f8: MUL
000004f9: DUP5
000004fa: ADD
000004fb: GT
000004fc: PUSH1 0x01
000004fe: PUSH1 0x20
00000500: SHL
00000501: DUP4
00000502: GT
00000503: OR
00000504: ISZERO
00000505: PUSH2 0x050d
00000508: JUMPI
00000509: PUSH1 0x00
0000050b: DUP1
0000050c: REVERT
0000050d: JUMPDEST
0000050e: SWAP2
0000050f: SWAP1
00000510: DUP1
00000511: DUP1
00000512: PUSH1 0x1f
00000514: ADD
00000515: PUSH1 0x20
00000517: DUP1
00000518: SWAP2
00000519: DIV
0000051a: MUL
0000051b: PUSH1 0x20
0000051d: ADD
0000051e: PUSH1 0x40
00000520: MLOAD
00000521: SWAP1
00000522: DUP2
00000523: ADD
00000524: PUSH1 0x40
00000526: MSTORE
00000527: DUP1
00000528: SWAP4
00000529: SWAP3
0000052a: SWAP2
0000052b: SWAP1
0000052c: DUP2
0000052d: DUP2
0000052e: MSTORE
0000052f: PUSH1 0x20
00000531: ADD
00000532: DUP4
00000533: DUP4
00000534: DUP1
00000535: DUP3
00000536: DUP5
00000537: CALLDATACOPY
00000538: PUSH1 0x00
0000053a: SWAP3
0000053b: ADD
0000053c: SWAP2
0000053d: SWAP1
0000053e: SWAP2
0000053f: MSTORE
00000540: POP
00000541: SWAP3
00000542: SWAP6
00000543: POP
00000544: PUSH2 0x0e38
00000547: SWAP5
00000548: POP
00000549: POP
0000054a: POP
0000054b: POP
0000054c: POP
0000054d: JUMP
0000054e: JUMPDEST
0000054f: PUSH1 0x40
00000551: DUP1
00000552: MLOAD
00000553: PUSH1 0x01
00000555: PUSH1 0x01
00000557: PUSH1 0xe0
00000559: SHL
0000055a: SUB
0000055b: NOT
0000055c: SWAP1
0000055d: SWAP3
0000055e: AND
0000055f: DUP3
00000560: MSTORE
00000561: MLOAD
00000562: SWAP1
00000563: DUP2
00000564: SWAP1
00000565: SUB
00000566: PUSH1 0x20
00000568: ADD
00000569: SWAP1
0000056a: RETURN
0000056b: JUMPDEST
0000056c: CALLVALUE
0000056d: DUP1
0000056e: ISZERO
0000056f: PUSH2 0x0577
00000572: JUMPI
00000573: PUSH1 0x00
00000575: DUP1
00000576: REVERT
00000577: JUMPDEST
00000578: POP
00000579: PUSH2 0x054e
0000057c: PUSH1 0x04
0000057e: DUP1
0000057f: CALLDATASIZE
00000580: SUB
00000581: PUSH1 0xa0
00000583: DUP2
00000584: LT
00000585: ISZERO
00000586: PUSH2 0x058e
00000589: JUMPI
0000058a: PUSH1 0x00
0000058c: DUP1
0000058d: REVERT
0000058e: JUMPDEST
0000058f: PUSH1 0x01
00000591: PUSH1 0x01
00000593: PUSH1 0xa0
00000595: SHL
00000596: SUB
00000597: DUP3
00000598: CALLDATALOAD
00000599: DUP2
0000059a: AND
0000059b: SWAP3
0000059c: PUSH1 0x20
0000059e: DUP2
0000059f: ADD
000005a0: CALLDATALOAD
000005a1: SWAP1
000005a2: SWAP2
000005a3: AND
000005a4: SWAP2
000005a5: PUSH1 0x40
000005a7: DUP3
000005a8: ADD
000005a9: CALLDATALOAD
000005aa: SWAP2
000005ab: PUSH1 0x60
000005ad: DUP2
000005ae: ADD
000005af: CALLDATALOAD
000005b0: SWAP2
000005b1: DUP2
000005b2: ADD
000005b3: SWAP1
000005b4: PUSH1 0xa0
000005b6: DUP2
000005b7: ADD
000005b8: PUSH1 0x80
000005ba: DUP3
000005bb: ADD
000005bc: CALLDATALOAD
000005bd: PUSH1 0x01
000005bf: PUSH1 0x20
000005c1: SHL
000005c2: DUP2
000005c3: GT
000005c4: ISZERO
000005c5: PUSH2 0x05cd
000005c8: JUMPI
000005c9: PUSH1 0x00
000005cb: DUP1
000005cc: REVERT
000005cd: JUMPDEST
000005ce: DUP3
000005cf: ADD
000005d0: DUP4
000005d1: PUSH1 0x20
000005d3: DUP3
000005d4: ADD
000005d5: GT
000005d6: ISZERO
000005d7: PUSH2 0x05df
000005da: JUMPI
000005db: PUSH1 0x00
000005dd: DUP1
000005de: REVERT
000005df: JUMPDEST
000005e0: DUP1
000005e1: CALLDATALOAD
000005e2: SWAP1
000005e3: PUSH1 0x20
000005e5: ADD
000005e6: SWAP2
000005e7: DUP5
000005e8: PUSH1 0x01
000005ea: DUP4
000005eb: MUL
000005ec: DUP5
000005ed: ADD
000005ee: GT
000005ef: PUSH1 0x01
000005f1: PUSH1 0x20
000005f3: SHL
000005f4: DUP4
000005f5: GT
000005f6: OR
000005f7: ISZERO
000005f8: PUSH2 0x0600
000005fb: JUMPI
000005fc: PUSH1 0x00
000005fe: DUP1
000005ff: REVERT
00000600: JUMPDEST
00000601: SWAP2
00000602: SWAP1
00000603: DUP1
00000604: DUP1
00000605: PUSH1 0x1f
00000607: ADD
00000608: PUSH1 0x20
0000060a: DUP1
0000060b: SWAP2
0000060c: DIV
0000060d: MUL
0000060e: PUSH1 0x20
00000610: ADD
00000611: PUSH1 0x40
00000613: MLOAD
00000614: SWAP1
00000615: DUP2
00000616: ADD
00000617: PUSH1 0x40
00000619: MSTORE
0000061a: DUP1
0000061b: SWAP4
0000061c: SWAP3
0000061d: SWAP2
0000061e: SWAP1
0000061f: DUP2
00000620: DUP2
00000621: MSTORE
00000622: PUSH1 0x20
00000624: ADD
00000625: DUP4
00000626: DUP4
00000627: DUP1
00000628: DUP3
00000629: DUP5
0000062a: CALLDATACOPY
0000062b: PUSH1 0x00
0000062d: SWAP3
0000062e: ADD
0000062f: SWAP2
00000630: SWAP1
00000631: SWAP2
00000632: MSTORE
00000633: POP
00000634: SWAP3
00000635: SWAP6
00000636: POP
00000637: PUSH2 0x0f00
0000063a: SWAP5
0000063b: POP
0000063c: POP
0000063d: POP
0000063e: POP
0000063f: POP
00000640: JUMP
00000641: JUMPDEST
00000642: CALLVALUE
00000643: DUP1
00000644: ISZERO
00000645: PUSH2 0x064d
00000648: JUMPI
00000649: PUSH1 0x00
0000064b: DUP1
0000064c: REVERT
0000064d: JUMPDEST
0000064e: POP
0000064f: PUSH2 0x01af
00000652: PUSH1 0x04
00000654: DUP1
00000655: CALLDATASIZE
00000656: SUB
00000657: PUSH1 0x20
00000659: DUP2
0000065a: LT
0000065b: ISZERO
0000065c: PUSH2 0x0664
0000065f: JUMPI
00000660: PUSH1 0x00
00000662: DUP1
00000663: REVERT
00000664: JUMPDEST
00000665: POP
00000666: CALLDATALOAD
00000667: PUSH1 0x01
00000669: PUSH1 0x01
0000066b: PUSH1 0xa0
0000066d: SHL
0000066e: SUB
0000066f: AND
00000670: PUSH2 0x0fd6
00000673: JUMP
00000674: JUMPDEST
00000675: PUSH1 0x01
00000677: PUSH1 0x01
00000679: PUSH1 0xe0
0000067b: SHL
0000067c: SUB
0000067d: NOT
0000067e: AND
0000067f: PUSH1 0x00
00000681: SWAP1
00000682: DUP2
00000683: MSTORE
00000684: PUSH1 0x20
00000686: DUP2
00000687: SWAP1
00000688: MSTORE
00000689: PUSH1 0x40
0000068b: SWAP1
0000068c: KECCAK256
0000068d: SLOAD
0000068e: PUSH1 0xff
00000690: AND
00000691: SWAP1
00000692: JUMP
00000693: JUMPDEST
00000694: PUSH1 0x04
00000696: SLOAD
00000697: PUSH1 0x01
00000699: PUSH1 0x01
0000069b: PUSH1 0xa0
0000069d: SHL
0000069e: SUB
0000069f: AND
000006a0: DUP2
000006a1: JUMP
000006a2: JUMPDEST
000006a3: PUSH2 0x06aa
000006a6: PUSH2 0x10cf
000006a9: JUMP
000006aa: JUMPDEST
000006ab: PUSH1 0x01
000006ad: SLOAD
000006ae: PUSH1 0x01
000006b0: PUSH1 0x01
000006b2: PUSH1 0xa0
000006b4: SHL
000006b5: SUB
000006b6: SWAP1
000006b7: DUP2
000006b8: AND
000006b9: SWAP2
000006ba: AND
000006bb: EQ
000006bc: PUSH2 0x06fa
000006bf: JUMPI
000006c0: PUSH1 0x40
000006c2: DUP1
000006c3: MLOAD
000006c4: PUSH3 0x461bcd
000006c8: PUSH1 0xe5
000006ca: SHL
000006cb: DUP2
000006cc: MSTORE
000006cd: PUSH1 0x20
000006cf: PUSH1 0x04
000006d1: DUP3
000006d2: ADD
000006d3: DUP2
000006d4: SWAP1
000006d5: MSTORE
000006d6: PUSH1 0x24
000006d8: DUP3
000006d9: ADD
000006da: MSTORE
000006db: PUSH1 0x00
000006dd: DUP1
000006de: MLOAD
000006df: PUSH1 0x20
000006e1: PUSH2 0x1603
000006e4: DUP4
000006e5: CODECOPY
000006e6: DUP2
000006e7: MLOAD
000006e8: SWAP2
000006e9: MSTORE
000006ea: PUSH1 0x44
000006ec: DUP3
000006ed: ADD
000006ee: MSTORE
000006ef: SWAP1
000006f0: MLOAD
000006f1: SWAP1
000006f2: DUP2
000006f3: SWAP1
000006f4: SUB
000006f5: PUSH1 0x64
000006f7: ADD
000006f8: SWAP1
000006f9: REVERT
000006fa: JUMPDEST
000006fb: PUSH1 0x40
000006fd: MLOAD
000006fe: PUSH1 0x01
00000700: PUSH1 0x01
00000702: PUSH1 0xa0
00000704: SHL
00000705: SUB
00000706: DUP3
00000707: AND
00000708: SWAP1
00000709: SELFBALANCE
0000070a: DUP1
0000070b: ISZERO
0000070c: PUSH2 0x08fc
0000070f: MUL
00000710: SWAP2
00000711: PUSH1 0x00
00000713: DUP2
00000714: DUP2
00000715: DUP2
00000716: DUP6
00000717: DUP9
00000718: DUP9
00000719: CALL
0000071a: SWAP4
0000071b: POP
0000071c: POP
0000071d: POP
0000071e: POP
0000071f: ISZERO
00000720: DUP1
00000721: ISZERO
00000722: PUSH2 0x072f
00000725: JUMPI
00000726: RETURNDATASIZE
00000727: PUSH1 0x00
00000729: DUP1
0000072a: RETURNDATACOPY
0000072b: RETURNDATASIZE
0000072c: PUSH1 0x00
0000072e: REVERT
0000072f: JUMPDEST
00000730: POP
00000731: POP
00000732: JUMP
00000733: JUMPDEST
00000734: PUSH1 0x00
00000736: DUP2
00000737: GT
00000738: PUSH2 0x0772
0000073b: JUMPI
0000073c: PUSH1 0x40
0000073e: MLOAD
0000073f: PUSH3 0x461bcd
00000743: PUSH1 0xe5
00000745: SHL
00000746: DUP2
00000747: MSTORE
00000748: PUSH1 0x04
0000074a: ADD
0000074b: DUP1
0000074c: DUP1
0000074d: PUSH1 0x20
0000074f: ADD
00000750: DUP3
00000751: DUP2
00000752: SUB
00000753: DUP3
00000754: MSTORE
00000755: PUSH1 0x23
00000757: DUP2
00000758: MSTORE
00000759: PUSH1 0x20
0000075b: ADD
0000075c: DUP1
0000075d: PUSH2 0x155d
00000760: PUSH1 0x23
00000762: SWAP2
00000763: CODECOPY
00000764: PUSH1 0x40
00000766: ADD
00000767: SWAP2
00000768: POP
00000769: POP
0000076a: PUSH1 0x40
0000076c: MLOAD
0000076d: DUP1
0000076e: SWAP2
0000076f: SUB
00000770: SWAP1
00000771: REVERT
00000772: JUMPDEST
00000773: PUSH2 0x077a
00000776: PUSH2 0x0b29
00000779: JUMP
0000077a: JUMPDEST
0000077b: DUP2
0000077c: GT
0000077d: ISZERO
0000077e: PUSH2 0x07b8
00000781: JUMPI
00000782: PUSH1 0x40
00000784: MLOAD
00000785: PUSH3 0x461bcd
00000789: PUSH1 0xe5
0000078b: SHL
0000078c: DUP2
0000078d: MSTORE
0000078e: PUSH1 0x04
00000790: ADD
00000791: DUP1
00000792: DUP1
00000793: PUSH1 0x20
00000795: ADD
00000796: DUP3
00000797: DUP2
00000798: SUB
00000799: DUP3
0000079a: MSTORE
0000079b: PUSH1 0x3a
0000079d: DUP2
0000079e: MSTORE
0000079f: PUSH1 0x20
000007a1: ADD
000007a2: DUP1
000007a3: PUSH2 0x15c9
000007a6: PUSH1 0x3a
000007a8: SWAP2
000007a9: CODECOPY
000007aa: PUSH1 0x40
000007ac: ADD
000007ad: SWAP2
000007ae: POP
000007af: POP
000007b0: PUSH1 0x40
000007b2: MLOAD
000007b3: DUP1
000007b4: SWAP2
000007b5: SUB
000007b6: SWAP1
000007b7: REVERT
000007b8: JUMPDEST
000007b9: PUSH1 0x06
000007bb: SLOAD
000007bc: PUSH1 0x00
000007be: SWAP1
000007bf: PUSH2 0x07c8
000007c2: SWAP1
000007c3: DUP4
000007c4: PUSH2 0x10d3
000007c7: JUMP
000007c8: JUMPDEST
000007c9: SWAP1
000007ca: POP
000007cb: PUSH1 0x00
000007cd: PUSH2 0x07e1
000007d0: DUP4
000007d1: PUSH1 0x05
000007d3: SLOAD
000007d4: PUSH2 0x10d3
000007d7: SWAP1
000007d8: SWAP2
000007d9: SWAP1
000007da: PUSH4 0xffffffff
000007df: AND
000007e0: JUMP
000007e1: JUMPDEST
000007e2: SWAP1
000007e3: POP
000007e4: CALLVALUE
000007e5: DUP2
000007e6: EQ
000007e7: PUSH2 0x0821
000007ea: JUMPI
000007eb: PUSH1 0x40
000007ed: MLOAD
000007ee: PUSH3 0x461bcd
000007f2: PUSH1 0xe5
000007f4: SHL
000007f5: DUP2
000007f6: MSTORE
000007f7: PUSH1 0x04
000007f9: ADD
000007fa: DUP1
000007fb: DUP1
000007fc: PUSH1 0x20
000007fe: ADD
000007ff: DUP3
00000800: DUP2
00000801: SUB
00000802: DUP3
00000803: MSTORE
00000804: PUSH1 0x28
00000806: DUP2
00000807: MSTORE
00000808: PUSH1 0x20
0000080a: ADD
0000080b: DUP1
0000080c: PUSH2 0x1580
0000080f: PUSH1 0x28
00000811: SWAP2
00000812: CODECOPY
00000813: PUSH1 0x40
00000815: ADD
00000816: SWAP2
00000817: POP
00000818: POP
00000819: PUSH1 0x40
0000081b: MLOAD
0000081c: DUP1
0000081d: SWAP2
0000081e: SUB
0000081f: SWAP1
00000820: REVERT
00000821: JUMPDEST
00000822: PUSH1 0x03
00000824: SLOAD
00000825: PUSH1 0x40
00000827: DUP1
00000828: MLOAD
00000829: PUSH4 0x2770a7eb
0000082e: PUSH1 0xe2
00000830: SHL
00000831: DUP2
00000832: MSTORE
00000833: CALLER
00000834: PUSH1 0x04
00000836: DUP3
00000837: ADD
00000838: DUP2
00000839: SWAP1
0000083a: MSTORE
0000083b: PUSH1 0x24
0000083d: DUP3
0000083e: ADD
0000083f: DUP7
00000840: SWAP1
00000841: MSTORE
00000842: SWAP2
00000843: MLOAD
00000844: SWAP2
00000845: SWAP3
00000846: PUSH1 0x01
00000848: PUSH1 0x01
0000084a: PUSH1 0xa0
0000084c: SHL
0000084d: SUB
0000084e: AND
0000084f: SWAP2
00000850: PUSH4 0x9dc29fac
00000855: SWAP2
00000856: PUSH1 0x44
00000858: DUP1
00000859: DUP3
0000085a: ADD
0000085b: SWAP3
0000085c: PUSH1 0x00
0000085e: SWAP3
0000085f: SWAP1
00000860: SWAP2
00000861: SWAP1
00000862: DUP3
00000863: SWAP1
00000864: SUB
00000865: ADD
00000866: DUP2
00000867: DUP4
00000868: DUP8
00000869: DUP1
0000086a: EXTCODESIZE
0000086b: ISZERO
0000086c: DUP1
0000086d: ISZERO
0000086e: PUSH2 0x0876
00000871: JUMPI
00000872: PUSH1 0x00
00000874: DUP1
00000875: REVERT
00000876: JUMPDEST
00000877: POP
00000878: GAS
00000879: CALL
0000087a: ISZERO
0000087b: DUP1
0000087c: ISZERO
0000087d: PUSH2 0x088a
00000880: JUMPI
00000881: RETURNDATASIZE
00000882: PUSH1 0x00
00000884: DUP1
00000885: RETURNDATACOPY
00000886: RETURNDATASIZE
00000887: PUSH1 0x00
00000889: REVERT
0000088a: JUMPDEST
0000088b: POP
0000088c: POP
0000088d: POP
0000088e: POP
0000088f: PUSH1 0x60
00000891: DUP5
00000892: PUSH8 0xffffffffffffffff
0000089b: DUP2
0000089c: GT
0000089d: DUP1
0000089e: ISZERO
0000089f: PUSH2 0x08a7
000008a2: JUMPI
000008a3: PUSH1 0x00
000008a5: DUP1
000008a6: REVERT
000008a7: JUMPDEST
000008a8: POP
000008a9: PUSH1 0x40
000008ab: MLOAD
000008ac: SWAP1
000008ad: DUP1
000008ae: DUP3
000008af: MSTORE
000008b0: DUP1
000008b1: PUSH1 0x20
000008b3: MUL
000008b4: PUSH1 0x20
000008b6: ADD
000008b7: DUP3
000008b8: ADD
000008b9: PUSH1 0x40
000008bb: MSTORE
000008bc: DUP1
000008bd: ISZERO
000008be: PUSH2 0x08d1
000008c1: JUMPI
000008c2: DUP2
000008c3: PUSH1 0x20
000008c5: ADD
000008c6: PUSH1 0x20
000008c8: DUP3
000008c9: MUL
000008ca: DUP1
000008cb: CALLDATASIZE
000008cc: DUP4
000008cd: CALLDATACOPY
000008ce: ADD
000008cf: SWAP1
000008d0: POP
000008d1: JUMPDEST
000008d2: POP
000008d3: SWAP1
000008d4: POP
000008d5: PUSH1 0x60
000008d7: DUP6
000008d8: PUSH8 0xffffffffffffffff
000008e1: DUP2
000008e2: GT
000008e3: DUP1
000008e4: ISZERO
000008e5: PUSH2 0x08ed
000008e8: JUMPI
000008e9: PUSH1 0x00
000008eb: DUP1
000008ec: REVERT
000008ed: JUMPDEST
000008ee: POP
000008ef: PUSH1 0x40
000008f1: MLOAD
000008f2: SWAP1
000008f3: DUP1
000008f4: DUP3
000008f5: MSTORE
000008f6: DUP1
000008f7: PUSH1 0x20
000008f9: MUL
000008fa: PUSH1 0x20
000008fc: ADD
000008fd: DUP3
000008fe: ADD
000008ff: PUSH1 0x40
00000901: MSTORE
00000902: DUP1
00000903: ISZERO
00000904: PUSH2 0x0917
00000907: JUMPI
00000908: DUP2
00000909: PUSH1 0x20
0000090b: ADD
0000090c: PUSH1 0x20
0000090e: DUP3
0000090f: MUL
00000910: DUP1
00000911: CALLDATASIZE
00000912: DUP4
00000913: CALLDATACOPY
00000914: ADD
00000915: SWAP1
00000916: POP
00000917: JUMPDEST
00000918: POP
00000919: SWAP1
0000091a: POP
0000091b: PUSH1 0x00
0000091d: JUMPDEST
0000091e: DUP7
0000091f: DUP2
00000920: LT
00000921: ISZERO
00000922: PUSH2 0x0966
00000925: JUMPI
00000926: PUSH2 0x092d
00000929: PUSH2 0x1135
0000092c: JUMP
0000092d: JUMPDEST
0000092e: DUP4
0000092f: DUP3
00000930: DUP2
00000931: MLOAD
00000932: DUP2
00000933: LT
00000934: PUSH2 0x0939
00000937: JUMPI
00000938: INVALID
00000939: JUMPDEST
0000093a: PUSH1 0x20
0000093c: MUL
0000093d: PUSH1 0x20
0000093f: ADD
00000940: ADD
00000941: DUP2
00000942: DUP2
00000943: MSTORE
00000944: POP
00000945: POP
00000946: PUSH1 0x01
00000948: DUP3
00000949: DUP3
0000094a: DUP2
0000094b: MLOAD
0000094c: DUP2
0000094d: LT
0000094e: PUSH2 0x0953
00000951: JUMPI
00000952: INVALID
00000953: JUMPDEST
00000954: PUSH1 0x20
00000956: SWAP1
00000957: DUP2
00000958: MUL
00000959: SWAP2
0000095a: SWAP1
0000095b: SWAP2
0000095c: ADD
0000095d: ADD
0000095e: MSTORE
0000095f: PUSH1 0x01
00000961: ADD
00000962: PUSH2 0x091d
00000965: JUMP
00000966: JUMPDEST
00000967: POP
00000968: PUSH1 0x04
0000096a: DUP1
0000096b: SLOAD
0000096c: PUSH1 0x40
0000096e: MLOAD
0000096f: PUSH4 0x1759616b
00000974: PUSH1 0xe1
00000976: SHL
00000977: DUP2
00000978: MSTORE
00000979: ADDRESS
0000097a: SWAP3
0000097b: DUP2
0000097c: ADD
0000097d: DUP4
0000097e: DUP2
0000097f: MSTORE
00000980: PUSH1 0x01
00000982: PUSH1 0x01
00000984: PUSH1 0xa0
00000986: SHL
00000987: SUB
00000988: DUP8
00000989: DUP2
0000098a: AND
0000098b: PUSH1 0x24
0000098d: DUP5
0000098e: ADD
0000098f: MSTORE
00000990: PUSH1 0xa0
00000992: PUSH1 0x44
00000994: DUP5
00000995: ADD
00000996: SWAP1
00000997: DUP2
00000998: MSTORE
00000999: DUP8
0000099a: MLOAD
0000099b: PUSH1 0xa4
0000099d: DUP6
0000099e: ADD
0000099f: MSTORE
000009a0: DUP8
000009a1: MLOAD
000009a2: SWAP2
000009a3: SWAP1
000009a4: SWAP5
000009a5: AND
000009a6: SWAP5
000009a7: PUSH4 0x2eb2c2d6
000009ac: SWAP5
000009ad: SWAP1
000009ae: SWAP4
000009af: DUP10
000009b0: SWAP4
000009b1: DUP10
000009b2: SWAP4
000009b3: DUP10
000009b4: SWAP4
000009b5: SWAP2
000009b6: SWAP3
000009b7: PUSH1 0x64
000009b9: DUP2
000009ba: ADD
000009bb: SWAP2
000009bc: PUSH1 0x84
000009be: DUP3
000009bf: ADD
000009c0: SWAP2
000009c1: PUSH1 0xc4
000009c3: ADD
000009c4: SWAP1
000009c5: PUSH1 0x20
000009c7: DUP1
000009c8: DUP10
000009c9: ADD
000009ca: SWAP2
000009cb: MUL
000009cc: DUP1
000009cd: DUP4
000009ce: DUP4
000009cf: PUSH1 0x00
000009d1: JUMPDEST
000009d2: DUP4
000009d3: DUP2
000009d4: LT
000009d5: ISZERO
000009d6: PUSH2 0x09e9
000009d9: JUMPI
000009da: DUP2
000009db: DUP2
000009dc: ADD
000009dd: MLOAD
000009de: DUP4
000009df: DUP3
000009e0: ADD
000009e1: MSTORE
000009e2: PUSH1 0x20
000009e4: ADD
000009e5: PUSH2 0x09d1
000009e8: JUMP
000009e9: JUMPDEST
000009ea: POP
000009eb: POP
000009ec: POP
000009ed: POP
000009ee: SWAP1
000009ef: POP
000009f0: ADD
000009f1: DUP5
000009f2: DUP2
000009f3: SUB
000009f4: DUP4
000009f5: MSTORE
000009f6: DUP6
000009f7: DUP2
000009f8: DUP2
000009f9: MLOAD
000009fa: DUP2
000009fb: MSTORE
000009fc: PUSH1 0x20
000009fe: ADD
000009ff: SWAP2
00000a00: POP
00000a01: DUP1
00000a02: MLOAD
00000a03: SWAP1
00000a04: PUSH1 0x20
00000a06: ADD
00000a07: SWAP1
00000a08: PUSH1 0x20
00000a0a: MUL
00000a0b: DUP1
00000a0c: DUP4
00000a0d: DUP4
00000a0e: PUSH1 0x00
00000a10: JUMPDEST
00000a11: DUP4
00000a12: DUP2
00000a13: LT
00000a14: ISZERO
00000a15: PUSH2 0x0a28
00000a18: JUMPI
00000a19: DUP2
00000a1a: DUP2
00000a1b: ADD
00000a1c: MLOAD
00000a1d: DUP4
00000a1e: DUP3
00000a1f: ADD
00000a20: MSTORE
00000a21: PUSH1 0x20
00000a23: ADD
00000a24: PUSH2 0x0a10
00000a27: JUMP
00000a28: JUMPDEST
00000a29: POP
00000a2a: POP
00000a2b: POP
00000a2c: POP
00000a2d: SWAP1
00000a2e: POP
00000a2f: ADD
00000a30: DUP5
00000a31: DUP2
00000a32: SUB
00000a33: DUP3
00000a34: MSTORE
00000a35: PUSH1 0x00
00000a37: DUP2
00000a38: MSTORE
00000a39: PUSH1 0x20
00000a3b: ADD
00000a3c: PUSH1 0x20
00000a3e: ADD
00000a3f: SWAP8
00000a40: POP
00000a41: POP
00000a42: POP
00000a43: POP
00000a44: POP
00000a45: POP
00000a46: POP
00000a47: POP
00000a48: PUSH1 0x00
00000a4a: PUSH1 0x40
00000a4c: MLOAD
00000a4d: DUP1
00000a4e: DUP4
00000a4f: SUB
00000a50: DUP2
00000a51: PUSH1 0x00
00000a53: DUP8
00000a54: DUP1
00000a55: EXTCODESIZE
00000a56: ISZERO
00000a57: DUP1
00000a58: ISZERO
00000a59: PUSH2 0x0a61
00000a5c: JUMPI
00000a5d: PUSH1 0x00
00000a5f: DUP1
00000a60: REVERT
00000a61: JUMPDEST
00000a62: POP
00000a63: GAS
00000a64: CALL
00000a65: ISZERO
00000a66: DUP1
00000a67: ISZERO
00000a68: PUSH2 0x0a75
00000a6b: JUMPI
00000a6c: RETURNDATASIZE
00000a6d: PUSH1 0x00
00000a6f: DUP1
00000a70: RETURNDATACOPY
00000a71: RETURNDATASIZE
00000a72: PUSH1 0x00
00000a74: REVERT
00000a75: JUMPDEST
00000a76: POP
00000a77: POP
00000a78: POP
00000a79: POP
00000a7a: POP
00000a7b: POP
00000a7c: POP
00000a7d: POP
00000a7e: POP
00000a7f: POP
00000a80: JUMP
00000a81: JUMPDEST
00000a82: PUSH1 0x06
00000a84: SLOAD
00000a85: DUP2
00000a86: JUMP
00000a87: JUMPDEST
00000a88: PUSH2 0x0a8f
00000a8b: PUSH2 0x10cf
00000a8e: JUMP
00000a8f: JUMPDEST
00000a90: PUSH1 0x01
00000a92: SLOAD
00000a93: PUSH1 0x01
00000a95: PUSH1 0x01
00000a97: PUSH1 0xa0
00000a99: SHL
00000a9a: SUB
00000a9b: SWAP1
00000a9c: DUP2
00000a9d: AND
00000a9e: SWAP2
00000a9f: AND
00000aa0: EQ
00000aa1: PUSH2 0x0adf
00000aa4: JUMPI
00000aa5: PUSH1 0x40
00000aa7: DUP1
00000aa8: MLOAD
00000aa9: PUSH3 0x461bcd
00000aad: PUSH1 0xe5
00000aaf: SHL
00000ab0: DUP2
00000ab1: MSTORE
00000ab2: PUSH1 0x20
00000ab4: PUSH1 0x04
00000ab6: DUP3
00000ab7: ADD
00000ab8: DUP2
00000ab9: SWAP1
00000aba: MSTORE
00000abb: PUSH1 0x24
00000abd: DUP3
00000abe: ADD
00000abf: MSTORE
00000ac0: PUSH1 0x00
00000ac2: DUP1
00000ac3: MLOAD
00000ac4: PUSH1 0x20
00000ac6: PUSH2 0x1603
00000ac9: DUP4
00000aca: CODECOPY
00000acb: DUP2
00000acc: MLOAD
00000acd: SWAP2
00000ace: MSTORE
00000acf: PUSH1 0x44
00000ad1: DUP3
00000ad2: ADD
00000ad3: MSTORE
00000ad4: SWAP1
00000ad5: MLOAD
00000ad6: SWAP1
00000ad7: DUP2
00000ad8: SWAP1
00000ad9: SUB
00000ada: PUSH1 0x64
00000adc: ADD
00000add: SWAP1
00000ade: REVERT
00000adf: JUMPDEST
00000ae0: PUSH1 0x01
00000ae2: SLOAD
00000ae3: PUSH1 0x40
00000ae5: MLOAD
00000ae6: PUSH1 0x00
00000ae8: SWAP2
00000ae9: PUSH1 0x01
00000aeb: PUSH1 0x01
00000aed: PUSH1 0xa0
00000aef: SHL
00000af0: SUB
00000af1: AND
00000af2: SWAP1
00000af3: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000b14: SWAP1
00000b15: DUP4
00000b16: SWAP1
00000b17: LOG3
00000b18: PUSH1 0x01
00000b1a: DUP1
00000b1b: SLOAD
00000b1c: PUSH1 0x01
00000b1e: PUSH1 0x01
00000b20: PUSH1 0xa0
00000b22: SHL
00000b23: SUB
00000b24: NOT
00000b25: AND
00000b26: SWAP1
00000b27: SSTORE
00000b28: JUMP
00000b29: JUMPDEST
00000b2a: PUSH1 0x00
00000b2c: PUSH2 0x0b35
00000b2f: PUSH1 0x07
00000b31: PUSH2 0x11f4
00000b34: JUMP
00000b35: JUMPDEST
00000b36: SWAP1
00000b37: POP
00000b38: SWAP1
00000b39: JUMP
00000b3a: JUMPDEST
00000b3b: PUSH2 0x0b42
00000b3e: PUSH2 0x10cf
00000b41: JUMP
00000b42: JUMPDEST
00000b43: PUSH1 0x01
00000b45: SLOAD
00000b46: PUSH1 0x01
00000b48: PUSH1 0x01
00000b4a: PUSH1 0xa0
00000b4c: SHL
00000b4d: SUB
00000b4e: SWAP1
00000b4f: DUP2
00000b50: AND
00000b51: SWAP2
00000b52: AND
00000b53: EQ
00000b54: PUSH2 0x0b92
00000b57: JUMPI
00000b58: PUSH1 0x40
00000b5a: DUP1
00000b5b: MLOAD
00000b5c: PUSH3 0x461bcd
00000b60: PUSH1 0xe5
00000b62: SHL
00000b63: DUP2
00000b64: MSTORE
00000b65: PUSH1 0x20
00000b67: PUSH1 0x04
00000b69: DUP3
00000b6a: ADD
00000b6b: DUP2
00000b6c: SWAP1
00000b6d: MSTORE
00000b6e: PUSH1 0x24
00000b70: DUP3
00000b71: ADD
00000b72: MSTORE
00000b73: PUSH1 0x00
00000b75: DUP1
00000b76: MLOAD
00000b77: PUSH1 0x20
00000b79: PUSH2 0x1603
00000b7c: DUP4
00000b7d: CODECOPY
00000b7e: DUP2
00000b7f: MLOAD
00000b80: SWAP2
00000b81: MSTORE
00000b82: PUSH1 0x44
00000b84: DUP3
00000b85: ADD
00000b86: MSTORE
00000b87: SWAP1
00000b88: MLOAD
00000b89: SWAP1
00000b8a: DUP2
00000b8b: SWAP1
00000b8c: SUB
00000b8d: PUSH1 0x64
00000b8f: ADD
00000b90: SWAP1
00000b91: REVERT
00000b92: JUMPDEST
00000b93: PUSH1 0x05
00000b95: SSTORE
00000b96: JUMP
00000b97: JUMPDEST
00000b98: PUSH1 0x01
00000b9a: SLOAD
00000b9b: PUSH1 0x01
00000b9d: PUSH1 0x01
00000b9f: PUSH1 0xa0
00000ba1: SHL
00000ba2: SUB
00000ba3: AND
00000ba4: SWAP1
00000ba5: JUMP
00000ba6: JUMPDEST
00000ba7: PUSH1 0x02
00000ba9: SLOAD
00000baa: PUSH1 0x01
00000bac: PUSH1 0x01
00000bae: PUSH1 0xa0
00000bb0: SHL
00000bb1: SUB
00000bb2: AND
00000bb3: DUP2
00000bb4: JUMP
00000bb5: JUMPDEST
00000bb6: PUSH1 0x03
00000bb8: SLOAD
00000bb9: PUSH1 0x01
00000bbb: PUSH1 0x01
00000bbd: PUSH1 0xa0
00000bbf: SHL
00000bc0: SUB
00000bc1: AND
00000bc2: DUP2
00000bc3: JUMP
00000bc4: JUMPDEST
00000bc5: PUSH1 0x05
00000bc7: SLOAD
00000bc8: DUP2
00000bc9: JUMP
00000bca: JUMPDEST
00000bcb: PUSH2 0x0bd2
00000bce: PUSH2 0x10cf
00000bd1: JUMP
00000bd2: JUMPDEST
00000bd3: PUSH1 0x01
00000bd5: SLOAD
00000bd6: PUSH1 0x01
00000bd8: PUSH1 0x01
00000bda: PUSH1 0xa0
00000bdc: SHL
00000bdd: SUB
00000bde: SWAP1
00000bdf: DUP2
00000be0: AND
00000be1: SWAP2
00000be2: AND
00000be3: EQ
00000be4: PUSH2 0x0c22
00000be7: JUMPI
00000be8: PUSH1 0x40
00000bea: DUP1
00000beb: MLOAD
00000bec: PUSH3 0x461bcd
00000bf0: PUSH1 0xe5
00000bf2: SHL
00000bf3: DUP2
00000bf4: MSTORE
00000bf5: PUSH1 0x20
00000bf7: PUSH1 0x04
00000bf9: DUP3
00000bfa: ADD
00000bfb: DUP2
00000bfc: SWAP1
00000bfd: MSTORE
00000bfe: PUSH1 0x24
00000c00: DUP3
00000c01: ADD
00000c02: MSTORE
00000c03: PUSH1 0x00
00000c05: DUP1
00000c06: MLOAD
00000c07: PUSH1 0x20
00000c09: PUSH2 0x1603
00000c0c: DUP4
00000c0d: CODECOPY
00000c0e: DUP2
00000c0f: MLOAD
00000c10: SWAP2
00000c11: MSTORE
00000c12: PUSH1 0x44
00000c14: DUP3
00000c15: ADD
00000c16: MSTORE
00000c17: SWAP1
00000c18: MLOAD
00000c19: SWAP1
00000c1a: DUP2
00000c1b: SWAP1
00000c1c: SUB
00000c1d: PUSH1 0x64
00000c1f: ADD
00000c20: SWAP1
00000c21: REVERT
00000c22: JUMPDEST
00000c23: PUSH1 0x60
00000c25: DUP3
00000c26: MLOAD
00000c27: PUSH8 0xffffffffffffffff
00000c30: DUP2
00000c31: GT
00000c32: DUP1
00000c33: ISZERO
00000c34: PUSH2 0x0c3c
00000c37: JUMPI
00000c38: PUSH1 0x00
00000c3a: DUP1
00000c3b: REVERT
00000c3c: JUMPDEST
00000c3d: POP
00000c3e: PUSH1 0x40
00000c40: MLOAD
00000c41: SWAP1
00000c42: DUP1
00000c43: DUP3
00000c44: MSTORE
00000c45: DUP1
00000c46: PUSH1 0x20
00000c48: MUL
00000c49: PUSH1 0x20
00000c4b: ADD
00000c4c: DUP3
00000c4d: ADD
00000c4e: PUSH1 0x40
00000c50: MSTORE
00000c51: DUP1
00000c52: ISZERO
00000c53: PUSH2 0x0c66
00000c56: JUMPI
00000c57: DUP2
00000c58: PUSH1 0x20
00000c5a: ADD
00000c5b: PUSH1 0x20
00000c5d: DUP3
00000c5e: MUL
00000c5f: DUP1
00000c60: CALLDATASIZE
00000c61: DUP4
00000c62: CALLDATACOPY
00000c63: ADD
00000c64: SWAP1
00000c65: POP
00000c66: JUMPDEST
00000c67: POP
00000c68: SWAP1
00000c69: POP
00000c6a: PUSH1 0x00
00000c6c: JUMPDEST
00000c6d: DUP4
00000c6e: MLOAD
00000c6f: DUP2
00000c70: LT
00000c71: ISZERO
00000c72: PUSH2 0x0cc3
00000c75: JUMPI
00000c76: PUSH1 0x00
00000c78: DUP5
00000c79: DUP3
00000c7a: DUP2
00000c7b: MLOAD
00000c7c: DUP2
00000c7d: LT
00000c7e: PUSH2 0x0c83
00000c81: JUMPI
00000c82: INVALID
00000c83: JUMPDEST
00000c84: PUSH1 0x20
00000c86: MUL
00000c87: PUSH1 0x20
00000c89: ADD
00000c8a: ADD
00000c8b: MLOAD
00000c8c: SWAP1
00000c8d: POP
00000c8e: PUSH1 0x01
00000c90: DUP4
00000c91: DUP4
00000c92: DUP2
00000c93: MLOAD
00000c94: DUP2
00000c95: LT
00000c96: PUSH2 0x0c9b
00000c99: JUMPI
00000c9a: INVALID
00000c9b: JUMPDEST
00000c9c: PUSH1 0x20
00000c9e: SWAP1
00000c9f: DUP2
00000ca0: MUL
00000ca1: SWAP2
00000ca2: SWAP1
00000ca3: SWAP2
00000ca4: ADD
00000ca5: ADD
00000ca6: MSTORE
00000ca7: PUSH2 0x0cb1
00000caa: PUSH1 0x07
00000cac: DUP3
00000cad: PUSH2 0x11ff
00000cb0: JUMP
00000cb1: JUMPDEST
00000cb2: PUSH2 0x0cba
00000cb5: JUMPI
00000cb6: PUSH1 0x00
00000cb8: DUP1
00000cb9: REVERT
00000cba: JUMPDEST
00000cbb: POP
00000cbc: PUSH1 0x01
00000cbe: ADD
00000cbf: PUSH2 0x0c6c
00000cc2: JUMP
00000cc3: JUMPDEST
00000cc4: POP
00000cc5: PUSH1 0x04
00000cc7: DUP1
00000cc8: SLOAD
00000cc9: PUSH1 0x40
00000ccb: MLOAD
00000ccc: PUSH4 0x1759616b
00000cd1: PUSH1 0xe1
00000cd3: SHL
00000cd4: DUP2
00000cd5: MSTORE
00000cd6: ADDRESS
00000cd7: SWAP3
00000cd8: DUP2
00000cd9: ADD
00000cda: DUP4
00000cdb: DUP2
00000cdc: MSTORE
00000cdd: PUSH1 0x01
00000cdf: PUSH1 0x01
00000ce1: PUSH1 0xa0
00000ce3: SHL
00000ce4: SUB
00000ce5: DUP7
00000ce6: DUP2
00000ce7: AND
00000ce8: PUSH1 0x24
00000cea: DUP5
00000ceb: ADD
00000cec: MSTORE
00000ced: PUSH1 0xa0
00000cef: PUSH1 0x44
00000cf1: DUP5
00000cf2: ADD
00000cf3: SWAP1
00000cf4: DUP2
00000cf5: MSTORE
00000cf6: DUP9
00000cf7: MLOAD
00000cf8: PUSH1 0xa4
00000cfa: DUP6
00000cfb: ADD
00000cfc: MSTORE
00000cfd: DUP9
00000cfe: MLOAD
00000cff: SWAP2
00000d00: SWAP1
00000d01: SWAP5
00000d02: AND
00000d03: SWAP5
00000d04: PUSH4 0x2eb2c2d6
00000d09: SWAP5
00000d0a: SWAP1
00000d0b: SWAP4
00000d0c: DUP9
00000d0d: SWAP4
00000d0e: DUP11
00000d0f: SWAP4
00000d10: DUP10
00000d11: SWAP4
00000d12: SWAP2
00000d13: SWAP3
00000d14: PUSH1 0x64
00000d16: DUP2
00000d17: ADD
00000d18: SWAP2
00000d19: PUSH1 0x84
00000d1b: DUP3
00000d1c: ADD
00000d1d: SWAP2
00000d1e: PUSH1 0xc4
00000d20: ADD
00000d21: SWAP1
00000d22: PUSH1 0x20
00000d24: DUP1
00000d25: DUP10
00000d26: ADD
00000d27: SWAP2
00000d28: MUL
00000d29: DUP1
00000d2a: DUP4
00000d2b: DUP4
00000d2c: PUSH1 0x00
00000d2e: JUMPDEST
00000d2f: DUP4
00000d30: DUP2
00000d31: LT
00000d32: ISZERO
00000d33: PUSH2 0x0d46
00000d36: JUMPI
00000d37: DUP2
00000d38: DUP2
00000d39: ADD
00000d3a: MLOAD
00000d3b: DUP4
00000d3c: DUP3
00000d3d: ADD
00000d3e: MSTORE
00000d3f: PUSH1 0x20
00000d41: ADD
00000d42: PUSH2 0x0d2e
00000d45: JUMP
00000d46: JUMPDEST
00000d47: POP
00000d48: POP
00000d49: POP
00000d4a: POP
00000d4b: SWAP1
00000d4c: POP
00000d4d: ADD
00000d4e: DUP5
00000d4f: DUP2
00000d50: SUB
00000d51: DUP4
00000d52: MSTORE
00000d53: DUP6
00000d54: DUP2
00000d55: DUP2
00000d56: MLOAD
00000d57: DUP2
00000d58: MSTORE
00000d59: PUSH1 0x20
00000d5b: ADD
00000d5c: SWAP2
00000d5d: POP
00000d5e: DUP1
00000d5f: MLOAD
00000d60: SWAP1
00000d61: PUSH1 0x20
00000d63: ADD
00000d64: SWAP1
00000d65: PUSH1 0x20
00000d67: MUL
00000d68: DUP1
00000d69: DUP4
00000d6a: DUP4
00000d6b: PUSH1 0x00
00000d6d: JUMPDEST
00000d6e: DUP4
00000d6f: DUP2
00000d70: LT
00000d71: ISZERO
00000d72: PUSH2 0x0d85
00000d75: JUMPI
00000d76: DUP2
00000d77: DUP2
00000d78: ADD
00000d79: MLOAD
00000d7a: DUP4
00000d7b: DUP3
00000d7c: ADD
00000d7d: MSTORE
00000d7e: PUSH1 0x20
00000d80: ADD
00000d81: PUSH2 0x0d6d
00000d84: JUMP
00000d85: JUMPDEST
00000d86: POP
00000d87: POP
00000d88: POP
00000d89: POP
00000d8a: SWAP1
00000d8b: POP
00000d8c: ADD
00000d8d: DUP5
00000d8e: DUP2
00000d8f: SUB
00000d90: DUP3
00000d91: MSTORE
00000d92: PUSH1 0x00
00000d94: DUP2
00000d95: MSTORE
00000d96: PUSH1 0x20
00000d98: ADD
00000d99: PUSH1 0x20
00000d9b: ADD
00000d9c: SWAP8
00000d9d: POP
00000d9e: POP
00000d9f: POP
00000da0: POP
00000da1: POP
00000da2: POP
00000da3: POP
00000da4: POP
00000da5: PUSH1 0x00
00000da7: PUSH1 0x40
00000da9: MLOAD
00000daa: DUP1
00000dab: DUP4
00000dac: SUB
00000dad: DUP2
00000dae: PUSH1 0x00
00000db0: DUP8
00000db1: DUP1
00000db2: EXTCODESIZE
00000db3: ISZERO
00000db4: DUP1
00000db5: ISZERO
00000db6: PUSH2 0x0dbe
00000db9: JUMPI
00000dba: PUSH1 0x00
00000dbc: DUP1
00000dbd: REVERT
00000dbe: JUMPDEST
00000dbf: POP
00000dc0: GAS
00000dc1: CALL
00000dc2: ISZERO
00000dc3: DUP1
00000dc4: ISZERO
00000dc5: PUSH2 0x0dd2
00000dc8: JUMPI
00000dc9: RETURNDATASIZE
00000dca: PUSH1 0x00
00000dcc: DUP1
00000dcd: RETURNDATACOPY
00000dce: RETURNDATASIZE
00000dcf: PUSH1 0x00
00000dd1: REVERT
00000dd2: JUMPDEST
00000dd3: POP
00000dd4: POP
00000dd5: POP
00000dd6: POP
00000dd7: POP
00000dd8: POP
00000dd9: POP
00000dda: JUMP
00000ddb: JUMPDEST
00000ddc: PUSH2 0x0de3
00000ddf: PUSH2 0x10cf
00000de2: JUMP
00000de3: JUMPDEST
00000de4: PUSH1 0x01
00000de6: SLOAD
00000de7: PUSH1 0x01
00000de9: PUSH1 0x01
00000deb: PUSH1 0xa0
00000ded: SHL
00000dee: SUB
00000def: SWAP1
00000df0: DUP2
00000df1: AND
00000df2: SWAP2
00000df3: AND
00000df4: EQ
00000df5: PUSH2 0x0e33
00000df8: JUMPI
00000df9: PUSH1 0x40
00000dfb: DUP1
00000dfc: MLOAD
00000dfd: PUSH3 0x461bcd
00000e01: PUSH1 0xe5
00000e03: SHL
00000e04: DUP2
00000e05: MSTORE
00000e06: PUSH1 0x20
00000e08: PUSH1 0x04
00000e0a: DUP3
00000e0b: ADD
00000e0c: DUP2
00000e0d: SWAP1
00000e0e: MSTORE
00000e0f: PUSH1 0x24
00000e11: DUP3
00000e12: ADD
00000e13: MSTORE
00000e14: PUSH1 0x00
00000e16: DUP1
00000e17: MLOAD
00000e18: PUSH1 0x20
00000e1a: PUSH2 0x1603
00000e1d: DUP4
00000e1e: CODECOPY
00000e1f: DUP2
00000e20: MLOAD
00000e21: SWAP2
00000e22: MSTORE
00000e23: PUSH1 0x44
00000e25: DUP3
00000e26: ADD
00000e27: MSTORE
00000e28: SWAP1
00000e29: MLOAD
00000e2a: SWAP1
00000e2b: DUP2
00000e2c: SWAP1
00000e2d: SUB
00000e2e: PUSH1 0x64
00000e30: ADD
00000e31: SWAP1
00000e32: REVERT
00000e33: JUMPDEST
00000e34: PUSH1 0x06
00000e36: SSTORE
00000e37: JUMP
00000e38: JUMPDEST
00000e39: PUSH1 0x04
00000e3b: SLOAD
00000e3c: PUSH1 0x00
00000e3e: SWAP1
00000e3f: PUSH1 0x01
00000e41: PUSH1 0x01
00000e43: PUSH1 0xa0
00000e45: SHL
00000e46: SUB
00000e47: AND
00000e48: CALLER
00000e49: EQ
00000e4a: PUSH2 0x0e84
00000e4d: JUMPI
00000e4e: PUSH1 0x40
00000e50: MLOAD
00000e51: PUSH3 0x461bcd
00000e55: PUSH1 0xe5
00000e57: SHL
00000e58: DUP2
00000e59: MSTORE
00000e5a: PUSH1 0x04
00000e5c: ADD
00000e5d: DUP1
00000e5e: DUP1
00000e5f: PUSH1 0x20
00000e61: ADD
00000e62: DUP3
00000e63: DUP2
00000e64: SUB
00000e65: DUP3
00000e66: MSTORE
00000e67: PUSH1 0x39
00000e69: DUP2
00000e6a: MSTORE
00000e6b: PUSH1 0x20
00000e6d: ADD
00000e6e: DUP1
00000e6f: PUSH2 0x165d
00000e72: PUSH1 0x39
00000e74: SWAP2
00000e75: CODECOPY
00000e76: PUSH1 0x40
00000e78: ADD
00000e79: SWAP2
00000e7a: POP
00000e7b: POP
00000e7c: PUSH1 0x40
00000e7e: MLOAD
00000e7f: DUP1
00000e80: SWAP2
00000e81: SUB
00000e82: SWAP1
00000e83: REVERT
00000e84: JUMPDEST
00000e85: DUP5
00000e86: PUSH1 0x01
00000e88: PUSH1 0x01
00000e8a: PUSH1 0xa0
00000e8c: SHL
00000e8d: SUB
00000e8e: DUP2
00000e8f: AND
00000e90: ISZERO
00000e91: PUSH2 0x0ecb
00000e94: JUMPI
00000e95: PUSH1 0x40
00000e97: MLOAD
00000e98: PUSH3 0x461bcd
00000e9c: PUSH1 0xe5
00000e9e: SHL
00000e9f: DUP2
00000ea0: MSTORE
00000ea1: PUSH1 0x04
00000ea3: ADD
00000ea4: DUP1
00000ea5: DUP1
00000ea6: PUSH1 0x20
00000ea8: ADD
00000ea9: DUP3
00000eaa: DUP2
00000eab: SUB
00000eac: DUP3
00000ead: MSTORE
00000eae: PUSH1 0x3a
00000eb0: DUP2
00000eb1: MSTORE
00000eb2: PUSH1 0x20
00000eb4: ADD
00000eb5: DUP1
00000eb6: PUSH2 0x1623
00000eb9: PUSH1 0x3a
00000ebb: SWAP2
00000ebc: CODECOPY
00000ebd: PUSH1 0x40
00000ebf: ADD
00000ec0: SWAP2
00000ec1: POP
00000ec2: POP
00000ec3: PUSH1 0x40
00000ec5: MLOAD
00000ec6: DUP1
00000ec7: SWAP2
00000ec8: SUB
00000ec9: SWAP1
00000eca: REVERT
00000ecb: JUMPDEST
00000ecc: PUSH2 0x0ed4
00000ecf: DUP6
00000ed0: PUSH2 0x120b
00000ed3: JUMP
00000ed4: JUMPDEST
00000ed5: POP
00000ed6: PUSH32 0xbc197c819b3e337a6f9652dd10becd7eef83032af3b9d958d3d42f6694146621
00000ef7: SWAP7
00000ef8: SWAP6
00000ef9: POP
00000efa: POP
00000efb: POP
00000efc: POP
00000efd: POP
00000efe: POP
00000eff: JUMP
00000f00: JUMPDEST
00000f01: PUSH1 0x04
00000f03: SLOAD
00000f04: PUSH1 0x00
00000f06: SWAP1
00000f07: PUSH1 0x01
00000f09: PUSH1 0x01
00000f0b: PUSH1 0xa0
00000f0d: SHL
00000f0e: SUB
00000f0f: AND
00000f10: CALLER
00000f11: EQ
00000f12: PUSH2 0x0f4c
00000f15: JUMPI
00000f16: PUSH1 0x40
00000f18: MLOAD
00000f19: PUSH3 0x461bcd
00000f1d: PUSH1 0xe5
00000f1f: SHL
00000f20: DUP2
00000f21: MSTORE
00000f22: PUSH1 0x04
00000f24: ADD
00000f25: DUP1
00000f26: DUP1
00000f27: PUSH1 0x20
00000f29: ADD
00000f2a: DUP3
00000f2b: DUP2
00000f2c: SUB
00000f2d: DUP3
00000f2e: MSTORE
00000f2f: PUSH1 0x39
00000f31: DUP2
00000f32: MSTORE
00000f33: PUSH1 0x20
00000f35: ADD
00000f36: DUP1
00000f37: PUSH2 0x165d
00000f3a: PUSH1 0x39
00000f3c: SWAP2
00000f3d: CODECOPY
00000f3e: PUSH1 0x40
00000f40: ADD
00000f41: SWAP2
00000f42: POP
00000f43: POP
00000f44: PUSH1 0x40
00000f46: MLOAD
00000f47: DUP1
00000f48: SWAP2
00000f49: SUB
00000f4a: SWAP1
00000f4b: REVERT
00000f4c: JUMPDEST
00000f4d: DUP5
00000f4e: PUSH1 0x01
00000f50: PUSH1 0x01
00000f52: PUSH1 0xa0
00000f54: SHL
00000f55: SUB
00000f56: DUP2
00000f57: AND
00000f58: ISZERO
00000f59: PUSH2 0x0f93
00000f5c: JUMPI
00000f5d: PUSH1 0x40
00000f5f: MLOAD
00000f60: PUSH3 0x461bcd
00000f64: PUSH1 0xe5
00000f66: SHL
00000f67: DUP2
00000f68: MSTORE
00000f69: PUSH1 0x04
00000f6b: ADD
00000f6c: DUP1
00000f6d: DUP1
00000f6e: PUSH1 0x20
00000f70: ADD
00000f71: DUP3
00000f72: DUP2
00000f73: SUB
00000f74: DUP3
00000f75: MSTORE
00000f76: PUSH1 0x3a
00000f78: DUP2
00000f79: MSTORE
00000f7a: PUSH1 0x20
00000f7c: ADD
00000f7d: DUP1
00000f7e: PUSH2 0x1623
00000f81: PUSH1 0x3a
00000f83: SWAP2
00000f84: CODECOPY
00000f85: PUSH1 0x40
00000f87: ADD
00000f88: SWAP2
00000f89: POP
00000f8a: POP
00000f8b: PUSH1 0x40
00000f8d: MLOAD
00000f8e: DUP1
00000f8f: SWAP2
00000f90: SUB
00000f91: SWAP1
00000f92: REVERT
00000f93: JUMPDEST
00000f94: PUSH1 0x60
00000f96: PUSH2 0x0f9e
00000f99: DUP7
00000f9a: PUSH2 0x1247
00000f9d: JUMP
00000f9e: JUMPDEST
00000f9f: SWAP1
00000fa0: POP
00000fa1: PUSH2 0x0fa9
00000fa4: DUP2
00000fa5: PUSH2 0x120b
00000fa8: JUMP
00000fa9: JUMPDEST
00000faa: POP
00000fab: PUSH32 0xf23a6e612e1ff4830e658fe43f4e3cb4a5f8170bd5d9e69fb5d7a7fa9e4fdf97
00000fcc: SWAP8
00000fcd: SWAP7
00000fce: POP
00000fcf: POP
00000fd0: POP
00000fd1: POP
00000fd2: POP
00000fd3: POP
00000fd4: POP
00000fd5: JUMP
00000fd6: JUMPDEST
00000fd7: PUSH2 0x0fde
00000fda: PUSH2 0x10cf
00000fdd: JUMP
00000fde: JUMPDEST
00000fdf: PUSH1 0x01
00000fe1: SLOAD
00000fe2: PUSH1 0x01
00000fe4: PUSH1 0x01
00000fe6: PUSH1 0xa0
00000fe8: SHL
00000fe9: SUB
00000fea: SWAP1
00000feb: DUP2
00000fec: AND
00000fed: SWAP2
00000fee: AND
00000fef: EQ
00000ff0: PUSH2 0x102e
00000ff3: JUMPI
00000ff4: PUSH1 0x40
00000ff6: DUP1
00000ff7: MLOAD
00000ff8: PUSH3 0x461bcd
00000ffc: PUSH1 0xe5
00000ffe: SHL
00000fff: DUP2
00001000: MSTORE
00001001: PUSH1 0x20
00001003: PUSH1 0x04
00001005: DUP3
00001006: ADD
00001007: DUP2
00001008: SWAP1
00001009: MSTORE
0000100a: PUSH1 0x24
0000100c: DUP3
0000100d: ADD
0000100e: MSTORE
0000100f: PUSH1 0x00
00001011: DUP1
00001012: MLOAD
00001013: PUSH1 0x20
00001015: PUSH2 0x1603
00001018: DUP4
00001019: CODECOPY
0000101a: DUP2
0000101b: MLOAD
0000101c: SWAP2
0000101d: MSTORE
0000101e: PUSH1 0x44
00001020: DUP3
00001021: ADD
00001022: MSTORE
00001023: SWAP1
00001024: MLOAD
00001025: SWAP1
00001026: DUP2
00001027: SWAP1
00001028: SUB
00001029: PUSH1 0x64
0000102b: ADD
0000102c: SWAP1
0000102d: REVERT
0000102e: JUMPDEST
0000102f: PUSH1 0x01
00001031: PUSH1 0x01
00001033: PUSH1 0xa0
00001035: SHL
00001036: SUB
00001037: DUP2
00001038: AND
00001039: PUSH2 0x1073
0000103c: JUMPI
0000103d: PUSH1 0x40
0000103f: MLOAD
00001040: PUSH3 0x461bcd
00001044: PUSH1 0xe5
00001046: SHL
00001047: DUP2
00001048: MSTORE
00001049: PUSH1 0x04
0000104b: ADD
0000104c: DUP1
0000104d: DUP1
0000104e: PUSH1 0x20
00001050: ADD
00001051: DUP3
00001052: DUP2
00001053: SUB
00001054: DUP3
00001055: MSTORE
00001056: PUSH1 0x26
00001058: DUP2
00001059: MSTORE
0000105a: PUSH1 0x20
0000105c: ADD
0000105d: DUP1
0000105e: PUSH2 0x1537
00001061: PUSH1 0x26
00001063: SWAP2
00001064: CODECOPY
00001065: PUSH1 0x40
00001067: ADD
00001068: SWAP2
00001069: POP
0000106a: POP
0000106b: PUSH1 0x40
0000106d: MLOAD
0000106e: DUP1
0000106f: SWAP2
00001070: SUB
00001071: SWAP1
00001072: REVERT
00001073: JUMPDEST
00001074: PUSH1 0x01
00001076: SLOAD
00001077: PUSH1 0x40
00001079: MLOAD
0000107a: PUSH1 0x01
0000107c: PUSH1 0x01
0000107e: PUSH1 0xa0
00001080: SHL
00001081: SUB
00001082: DUP1
00001083: DUP5
00001084: AND
00001085: SWAP3
00001086: AND
00001087: SWAP1
00001088: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000010a9: SWAP1
000010aa: PUSH1 0x00
000010ac: SWAP1
000010ad: LOG3
000010ae: PUSH1 0x01
000010b0: DUP1
000010b1: SLOAD
000010b2: PUSH1 0x01
000010b4: PUSH1 0x01
000010b6: PUSH1 0xa0
000010b8: SHL
000010b9: SUB
000010ba: NOT
000010bb: AND
000010bc: PUSH1 0x01
000010be: PUSH1 0x01
000010c0: PUSH1 0xa0
000010c2: SHL
000010c3: SUB
000010c4: SWAP3
000010c5: SWAP1
000010c6: SWAP3
000010c7: AND
000010c8: SWAP2
000010c9: SWAP1
000010ca: SWAP2
000010cb: OR
000010cc: SWAP1
000010cd: SSTORE
000010ce: JUMP
000010cf: JUMPDEST
000010d0: CALLER
000010d1: SWAP1
000010d2: JUMP
000010d3: JUMPDEST
000010d4: PUSH1 0x00
000010d6: DUP3
000010d7: PUSH2 0x10e2
000010da: JUMPI
000010db: POP
000010dc: PUSH1 0x00
000010de: PUSH2 0x112f
000010e1: JUMP
000010e2: JUMPDEST
000010e3: DUP3
000010e4: DUP3
000010e5: MUL
000010e6: DUP3
000010e7: DUP5
000010e8: DUP3
000010e9: DUP2
000010ea: PUSH2 0x10ef
000010ed: JUMPI
000010ee: INVALID
000010ef: JUMPDEST
000010f0: DIV
000010f1: EQ
000010f2: PUSH2 0x112c
000010f5: JUMPI
000010f6: PUSH1 0x40
000010f8: MLOAD
000010f9: PUSH3 0x461bcd
000010fd: PUSH1 0xe5
000010ff: SHL
00001100: DUP2
00001101: MSTORE
00001102: PUSH1 0x04
00001104: ADD
00001105: DUP1
00001106: DUP1
00001107: PUSH1 0x20
00001109: ADD
0000110a: DUP3
0000110b: DUP2
0000110c: SUB
0000110d: DUP3
0000110e: MSTORE
0000110f: PUSH1 0x21
00001111: DUP2
00001112: MSTORE
00001113: PUSH1 0x20
00001115: ADD
00001116: DUP1
00001117: PUSH2 0x15a8
0000111a: PUSH1 0x21
0000111c: SWAP2
0000111d: CODECOPY
0000111e: PUSH1 0x40
00001120: ADD
00001121: SWAP2
00001122: POP
00001123: POP
00001124: PUSH1 0x40
00001126: MLOAD
00001127: DUP1
00001128: SWAP2
00001129: SUB
0000112a: SWAP1
0000112b: REVERT
0000112c: JUMPDEST
0000112d: SWAP1
0000112e: POP
0000112f: JUMPDEST
00001130: SWAP3
00001131: SWAP2
00001132: POP
00001133: POP
00001134: JUMP
00001135: JUMPDEST
00001136: PUSH1 0x00
00001138: DUP1
00001139: PUSH2 0x1142
0000113c: PUSH1 0x07
0000113e: PUSH2 0x11f4
00001141: JUMP
00001142: JUMPDEST
00001143: GT
00001144: PUSH2 0x117e
00001147: JUMPI
00001148: PUSH1 0x40
0000114a: MLOAD
0000114b: PUSH3 0x461bcd
0000114f: PUSH1 0xe5
00001151: SHL
00001152: DUP2
00001153: MSTORE
00001154: PUSH1 0x04
00001156: ADD
00001157: DUP1
00001158: DUP1
00001159: PUSH1 0x20
0000115b: ADD
0000115c: DUP3
0000115d: DUP2
0000115e: SUB
0000115f: DUP3
00001160: MSTORE
00001161: PUSH1 0x3a
00001163: DUP2
00001164: MSTORE
00001165: PUSH1 0x20
00001167: ADD
00001168: DUP1
00001169: PUSH2 0x15c9
0000116c: PUSH1 0x3a
0000116e: SWAP2
0000116f: CODECOPY
00001170: PUSH1 0x40
00001172: ADD
00001173: SWAP2
00001174: POP
00001175: POP
00001176: PUSH1 0x40
00001178: MLOAD
00001179: DUP1
0000117a: SWAP2
0000117b: SUB
0000117c: SWAP1
0000117d: REVERT
0000117e: JUMPDEST
0000117f: PUSH1 0x00
00001181: PUSH2 0x118a
00001184: PUSH1 0x07
00001186: PUSH2 0x11f4
00001189: JUMP
0000118a: JUMPDEST
0000118b: PUSH1 0x40
0000118d: DUP1
0000118e: MLOAD
0000118f: PUSH1 0x00
00001191: NOT
00001192: NUMBER
00001193: ADD
00001194: BLOCKHASH
00001195: PUSH1 0x20
00001197: DUP1
00001198: DUP4
00001199: ADD
0000119a: DUP3
0000119b: SWAP1
0000119c: MSTORE
0000119d: DUP3
0000119e: DUP5
0000119f: ADD
000011a0: DUP6
000011a1: SWAP1
000011a2: MSTORE
000011a3: DUP4
000011a4: MLOAD
000011a5: DUP1
000011a6: DUP5
000011a7: SUB
000011a8: DUP6
000011a9: ADD
000011aa: DUP2
000011ab: MSTORE
000011ac: PUSH1 0x60
000011ae: SWAP1
000011af: SWAP4
000011b0: ADD
000011b1: SWAP1
000011b2: SWAP4
000011b3: MSTORE
000011b4: DUP2
000011b5: MLOAD
000011b6: SWAP2
000011b7: SWAP1
000011b8: SWAP3
000011b9: ADD
000011ba: KECCAK256
000011bb: SWAP2
000011bc: SWAP3
000011bd: POP
000011be: SWAP1
000011bf: PUSH2 0x11c8
000011c2: SWAP1
000011c3: DUP4
000011c4: PUSH2 0x128b
000011c7: JUMP
000011c8: JUMPDEST
000011c9: SWAP1
000011ca: POP
000011cb: PUSH1 0x00
000011cd: PUSH2 0x11d7
000011d0: PUSH1 0x07
000011d2: DUP4
000011d3: PUSH2 0x12cd
000011d6: JUMP
000011d7: JUMPDEST
000011d8: SWAP1
000011d9: POP
000011da: PUSH2 0x11e4
000011dd: PUSH1 0x07
000011df: DUP3
000011e0: PUSH2 0x11ff
000011e3: JUMP
000011e4: JUMPDEST
000011e5: PUSH2 0x11ed
000011e8: JUMPI
000011e9: PUSH1 0x00
000011eb: DUP1
000011ec: REVERT
000011ed: JUMPDEST
000011ee: SWAP3
000011ef: POP
000011f0: POP
000011f1: POP
000011f2: SWAP1
000011f3: JUMP
000011f4: JUMPDEST
000011f5: PUSH1 0x00
000011f7: PUSH2 0x112f
000011fa: DUP3
000011fb: PUSH2 0x12d9
000011fe: JUMP
000011ff: JUMPDEST
00001200: PUSH1 0x00
00001202: PUSH2 0x112c
00001205: DUP4
00001206: DUP4
00001207: PUSH2 0x12dd
0000120a: JUMP
0000120b: JUMPDEST
0000120c: PUSH1 0x00
0000120e: JUMPDEST
0000120f: DUP2
00001210: MLOAD
00001211: DUP2
00001212: LT
00001213: ISZERO
00001214: PUSH2 0x072f
00001217: JUMPI
00001218: PUSH2 0x123e
0000121b: DUP3
0000121c: DUP3
0000121d: DUP2
0000121e: MLOAD
0000121f: DUP2
00001220: LT
00001221: PUSH2 0x1226
00001224: JUMPI
00001225: INVALID
00001226: JUMPDEST
00001227: PUSH1 0x20
00001229: MUL
0000122a: PUSH1 0x20
0000122c: ADD
0000122d: ADD
0000122e: MLOAD
0000122f: PUSH1 0x07
00001231: PUSH2 0x13a3
00001234: SWAP1
00001235: SWAP2
00001236: SWAP1
00001237: PUSH4 0xffffffff
0000123c: AND
0000123d: JUMP
0000123e: JUMPDEST
0000123f: POP
00001240: PUSH1 0x01
00001242: ADD
00001243: PUSH2 0x120e
00001246: JUMP
00001247: JUMPDEST
00001248: PUSH1 0x40
0000124a: DUP1
0000124b: MLOAD
0000124c: PUSH1 0x01
0000124e: DUP1
0000124f: DUP3
00001250: MSTORE
00001251: DUP2
00001252: DUP4
00001253: ADD
00001254: SWAP1
00001255: SWAP3
00001256: MSTORE
00001257: PUSH1 0x60
00001259: SWAP2
0000125a: DUP3
0000125b: SWAP2
0000125c: SWAP1
0000125d: PUSH1 0x20
0000125f: DUP1
00001260: DUP4
00001261: ADD
00001262: SWAP1
00001263: DUP1
00001264: CALLDATASIZE
00001265: DUP4
00001266: CALLDATACOPY
00001267: ADD
00001268: SWAP1
00001269: POP
0000126a: POP
0000126b: SWAP1
0000126c: POP
0000126d: DUP3
0000126e: DUP2
0000126f: PUSH1 0x00
00001271: DUP2
00001272: MLOAD
00001273: DUP2
00001274: LT
00001275: PUSH2 0x127a
00001278: JUMPI
00001279: INVALID
0000127a: JUMPDEST
0000127b: PUSH1 0x20
0000127d: SWAP1
0000127e: DUP2
0000127f: MUL
00001280: SWAP2
00001281: SWAP1
00001282: SWAP2
00001283: ADD
00001284: ADD
00001285: MSTORE
00001286: SWAP3
00001287: SWAP2
00001288: POP
00001289: POP
0000128a: JUMP
0000128b: JUMPDEST
0000128c: PUSH1 0x00
0000128e: PUSH2 0x112c
00001291: DUP4
00001292: DUP4
00001293: PUSH1 0x40
00001295: MLOAD
00001296: DUP1
00001297: PUSH1 0x40
00001299: ADD
0000129a: PUSH1 0x40
0000129c: MSTORE
0000129d: DUP1
0000129e: PUSH1 0x18
000012a0: DUP2
000012a1: MSTORE
000012a2: PUSH1 0x20
000012a4: ADD
000012a5: PUSH32 0x536166654d6174683a206d6f64756c6f206279207a65726f0000000000000000
000012c6: DUP2
000012c7: MSTORE
000012c8: POP
000012c9: PUSH2 0x13af
000012cc: JUMP
000012cd: JUMPDEST
000012ce: PUSH1 0x00
000012d0: PUSH2 0x112c
000012d3: DUP4
000012d4: DUP4
000012d5: PUSH2 0x144e
000012d8: JUMP
000012d9: JUMPDEST
000012da: SLOAD
000012db: SWAP1
000012dc: JUMP
000012dd: JUMPDEST
000012de: PUSH1 0x00
000012e0: DUP2
000012e1: DUP2
000012e2: MSTORE
000012e3: PUSH1 0x01
000012e5: DUP4
000012e6: ADD
000012e7: PUSH1 0x20
000012e9: MSTORE
000012ea: PUSH1 0x40
000012ec: DUP2
000012ed: KECCAK256
000012ee: SLOAD
000012ef: DUP1
000012f0: ISZERO
000012f1: PUSH2 0x1399
000012f4: JUMPI
000012f5: DUP4
000012f6: SLOAD
000012f7: PUSH1 0x00
000012f9: NOT
000012fa: DUP1
000012fb: DUP4
000012fc: ADD
000012fd: SWAP2
000012fe: SWAP1
000012ff: DUP2
00001300: ADD
00001301: SWAP1
00001302: PUSH1 0x00
00001304: SWAP1
00001305: DUP8
00001306: SWAP1
00001307: DUP4
00001308: SWAP1
00001309: DUP2
0000130a: LT
0000130b: PUSH2 0x1310
0000130e: JUMPI
0000130f: INVALID
00001310: JUMPDEST
00001311: SWAP1
00001312: PUSH1 0x00
00001314: MSTORE
00001315: PUSH1 0x20
00001317: PUSH1 0x00
00001319: KECCAK256
0000131a: ADD
0000131b: SLOAD
0000131c: SWAP1
0000131d: POP
0000131e: DUP1
0000131f: DUP8
00001320: PUSH1 0x00
00001322: ADD
00001323: DUP5
00001324: DUP2
00001325: SLOAD
00001326: DUP2
00001327: LT
00001328: PUSH2 0x132d
0000132b: JUMPI
0000132c: INVALID
0000132d: JUMPDEST
0000132e: PUSH1 0x00
00001330: SWAP2
00001331: DUP3
00001332: MSTORE
00001333: PUSH1 0x20
00001335: DUP1
00001336: DUP4
00001337: KECCAK256
00001338: SWAP1
00001339: SWAP2
0000133a: ADD
0000133b: SWAP3
0000133c: SWAP1
0000133d: SWAP3
0000133e: SSTORE
0000133f: DUP3
00001340: DUP2
00001341: MSTORE
00001342: PUSH1 0x01
00001344: DUP10
00001345: DUP2
00001346: ADD
00001347: SWAP1
00001348: SWAP3
00001349: MSTORE
0000134a: PUSH1 0x40
0000134c: SWAP1
0000134d: KECCAK256
0000134e: SWAP1
0000134f: DUP5
00001350: ADD
00001351: SWAP1
00001352: SSTORE
00001353: DUP7
00001354: SLOAD
00001355: DUP8
00001356: SWAP1
00001357: DUP1
00001358: PUSH2 0x135d
0000135b: JUMPI
0000135c: INVALID
0000135d: JUMPDEST
0000135e: PUSH1 0x01
00001360: SWAP1
00001361: SUB
00001362: DUP2
00001363: DUP2
00001364: SWAP1
00001365: PUSH1 0x00
00001367: MSTORE
00001368: PUSH1 0x20
0000136a: PUSH1 0x00
0000136c: KECCAK256
0000136d: ADD
0000136e: PUSH1 0x00
00001370: SWAP1
00001371: SSTORE
00001372: SWAP1
00001373: SSTORE
00001374: DUP7
00001375: PUSH1 0x01
00001377: ADD
00001378: PUSH1 0x00
0000137a: DUP8
0000137b: DUP2
0000137c: MSTORE
0000137d: PUSH1 0x20
0000137f: ADD
00001380: SWAP1
00001381: DUP2
00001382: MSTORE
00001383: PUSH1 0x20
00001385: ADD
00001386: PUSH1 0x00
00001388: KECCAK256
00001389: PUSH1 0x00
0000138b: SWAP1
0000138c: SSTORE
0000138d: PUSH1 0x01
0000138f: SWAP5
00001390: POP
00001391: POP
00001392: POP
00001393: POP
00001394: POP
00001395: PUSH2 0x112f
00001398: JUMP
00001399: JUMPDEST
0000139a: PUSH1 0x00
0000139c: SWAP2
0000139d: POP
0000139e: POP
0000139f: PUSH2 0x112f
000013a2: JUMP
000013a3: JUMPDEST
000013a4: PUSH1 0x00
000013a6: PUSH2 0x112c
000013a9: DUP4
000013aa: DUP4
000013ab: PUSH2 0x14b2
000013ae: JUMP
000013af: JUMPDEST
000013b0: PUSH1 0x00
000013b2: DUP2
000013b3: DUP4
000013b4: PUSH2 0x143b
000013b7: JUMPI
000013b8: PUSH1 0x40
000013ba: MLOAD
000013bb: PUSH3 0x461bcd
000013bf: PUSH1 0xe5
000013c1: SHL
000013c2: DUP2
000013c3: MSTORE
000013c4: PUSH1 0x04
000013c6: ADD
000013c7: DUP1
000013c8: DUP1
000013c9: PUSH1 0x20
000013cb: ADD
000013cc: DUP3
000013cd: DUP2
000013ce: SUB
000013cf: DUP3
000013d0: MSTORE
000013d1: DUP4
000013d2: DUP2
000013d3: DUP2
000013d4: MLOAD
000013d5: DUP2
000013d6: MSTORE
000013d7: PUSH1 0x20
000013d9: ADD
000013da: SWAP2
000013db: POP
000013dc: DUP1
000013dd: MLOAD
000013de: SWAP1
000013df: PUSH1 0x20
000013e1: ADD
000013e2: SWAP1
000013e3: DUP1
000013e4: DUP4
000013e5: DUP4
000013e6: PUSH1 0x00
000013e8: JUMPDEST
000013e9: DUP4
000013ea: DUP2
000013eb: LT
000013ec: ISZERO
000013ed: PUSH2 0x1400
000013f0: JUMPI
000013f1: DUP2
000013f2: DUP2
000013f3: ADD
000013f4: MLOAD
000013f5: DUP4
000013f6: DUP3
000013f7: ADD
000013f8: MSTORE
000013f9: PUSH1 0x20
000013fb: ADD
000013fc: PUSH2 0x13e8
000013ff: JUMP
00001400: JUMPDEST
00001401: POP
00001402: POP
00001403: POP
00001404: POP
00001405: SWAP1
00001406: POP
00001407: SWAP1
00001408: DUP2
00001409: ADD
0000140a: SWAP1
0000140b: PUSH1 0x1f
0000140d: AND
0000140e: DUP1
0000140f: ISZERO
00001410: PUSH2 0x142d
00001413: JUMPI
00001414: DUP1
00001415: DUP3
00001416: SUB
00001417: DUP1
00001418: MLOAD
00001419: PUSH1 0x01
0000141b: DUP4
0000141c: PUSH1 0x20
0000141e: SUB
0000141f: PUSH2 0x0100
00001422: EXP
00001423: SUB
00001424: NOT
00001425: AND
00001426: DUP2
00001427: MSTORE
00001428: PUSH1 0x20
0000142a: ADD
0000142b: SWAP2
0000142c: POP
0000142d: JUMPDEST
0000142e: POP
0000142f: SWAP3
00001430: POP
00001431: POP
00001432: POP
00001433: PUSH1 0x40
00001435: MLOAD
00001436: DUP1
00001437: SWAP2
00001438: SUB
00001439: SWAP1
0000143a: REVERT
0000143b: JUMPDEST
0000143c: POP
0000143d: DUP3
0000143e: DUP5
0000143f: DUP2
00001440: PUSH2 0x1445
00001443: JUMPI
00001444: INVALID
00001445: JUMPDEST
00001446: MOD
00001447: SWAP5
00001448: SWAP4
00001449: POP
0000144a: POP
0000144b: POP
0000144c: POP
0000144d: JUMP
0000144e: JUMPDEST
0000144f: DUP2
00001450: SLOAD
00001451: PUSH1 0x00
00001453: SWAP1
00001454: DUP3
00001455: LT
00001456: PUSH2 0x1490
00001459: JUMPI
0000145a: PUSH1 0x40
0000145c: MLOAD
0000145d: PUSH3 0x461bcd
00001461: PUSH1 0xe5
00001463: SHL
00001464: DUP2
00001465: MSTORE
00001466: PUSH1 0x04
00001468: ADD
00001469: DUP1
0000146a: DUP1
0000146b: PUSH1 0x20
0000146d: ADD
0000146e: DUP3
0000146f: DUP2
00001470: SUB
00001471: DUP3
00001472: MSTORE
00001473: PUSH1 0x22
00001475: DUP2
00001476: MSTORE
00001477: PUSH1 0x20
00001479: ADD
0000147a: DUP1
0000147b: PUSH2 0x1515
0000147e: PUSH1 0x22
00001480: SWAP2
00001481: CODECOPY
00001482: PUSH1 0x40
00001484: ADD
00001485: SWAP2
00001486: POP
00001487: POP
00001488: PUSH1 0x40
0000148a: MLOAD
0000148b: DUP1
0000148c: SWAP2
0000148d: SUB
0000148e: SWAP1
0000148f: REVERT
00001490: JUMPDEST
00001491: DUP3
00001492: PUSH1 0x00
00001494: ADD
00001495: DUP3
00001496: DUP2
00001497: SLOAD
00001498: DUP2
00001499: LT
0000149a: PUSH2 0x149f
0000149d: JUMPI
0000149e: INVALID
0000149f: JUMPDEST
000014a0: SWAP1
000014a1: PUSH1 0x00
000014a3: MSTORE
000014a4: PUSH1 0x20
000014a6: PUSH1 0x00
000014a8: KECCAK256
000014a9: ADD
000014aa: SLOAD
000014ab: SWAP1
000014ac: POP
000014ad: SWAP3
000014ae: SWAP2
000014af: POP
000014b0: POP
000014b1: JUMP
000014b2: JUMPDEST
000014b3: PUSH1 0x00
000014b5: PUSH2 0x14be
000014b8: DUP4
000014b9: DUP4
000014ba: PUSH2 0x14fc
000014bd: JUMP
000014be: JUMPDEST
000014bf: PUSH2 0x14f4
000014c2: JUMPI
000014c3: POP
000014c4: DUP2
000014c5: SLOAD
000014c6: PUSH1 0x01
000014c8: DUP2
000014c9: DUP2
000014ca: ADD
000014cb: DUP5
000014cc: SSTORE
000014cd: PUSH1 0x00
000014cf: DUP5
000014d0: DUP2
000014d1: MSTORE
000014d2: PUSH1 0x20
000014d4: DUP1
000014d5: DUP3
000014d6: KECCAK256
000014d7: SWAP1
000014d8: SWAP4
000014d9: ADD
000014da: DUP5
000014db: SWAP1
000014dc: SSTORE
000014dd: DUP5
000014de: SLOAD
000014df: DUP5
000014e0: DUP3
000014e1: MSTORE
000014e2: DUP3
000014e3: DUP7
000014e4: ADD
000014e5: SWAP1
000014e6: SWAP4
000014e7: MSTORE
000014e8: PUSH1 0x40
000014ea: SWAP1
000014eb: KECCAK256
000014ec: SWAP2
000014ed: SWAP1
000014ee: SWAP2
000014ef: SSTORE
000014f0: PUSH2 0x112f
000014f3: JUMP
000014f4: JUMPDEST
000014f5: POP
000014f6: PUSH1 0x00
000014f8: PUSH2 0x112f
000014fb: JUMP
000014fc: JUMPDEST
000014fd: PUSH1 0x00
000014ff: SWAP1
00001500: DUP2
00001501: MSTORE
00001502: PUSH1 0x01
00001504: SWAP2
00001505: SWAP1
00001506: SWAP2
00001507: ADD
00001508: PUSH1 0x20
0000150a: MSTORE
0000150b: PUSH1 0x40
0000150d: SWAP1
0000150e: KECCAK256
0000150f: SLOAD
00001510: ISZERO
00001511: ISZERO
00001512: SWAP1
00001513: JUMP
00001514: INVALID
00001515: GASLIMIT
00001516: PUSH15 0x756d657261626c655365743a20696e
00001526: PUSH5 0x6578206f75
0000152c: PUSH21 0x206f6620626f756e64734f776e61626c653a206e65
00001542: PUSH24 0x206f776e657220697320746865207a65726f206164647265
0000155b: PUSH20 0x73416c7061636145786368616e676543656e7465
00001570: PUSH19 0x3a20696e76616c696420636f756e74416c7061
00001584: PUSH4 0x61457863
00001589: PUSH9 0x616e676543656e7465
00001593: PUSH19 0x3a20696e73756666696369656e742066756e64
000015a7: PUSH20 0x536166654d6174683a206d756c7469706c696361
000015bc: PUSH21 0x696f6e206f766572666c6f77416c70616361457863
000015d2: PUSH9 0x616e676543656e7465
000015dc: PUSH19 0x3a206e6f206d6f726520616c70616361206c65
000015f0: PUSH7 0x7420696e207468
000015f8: PUSH10 0x732065786368616e6765
00001603: UNKNOWN(0x4F)
00001604: PUSH24 0x6e61626c653a2063616c6c6572206973206e6f7420746865
0000161d: KECCAK256
0000161e: PUSH16 0x776e6572416c706163614661726d3a20
0000162f: PUSH19 0x656365697665642067656e3020616c70616361
00001643: KECCAK256
00001644: PUSH7 0x726f6d20756e61
0000164c: PUSH22 0x7468656e746963617465642075736572416c70616361
00001663: CHAINID
00001664: PUSH2 0x726d
00001667: GASPRICE
00001668: KECCAK256
00001669: PUSH19 0x6563656976656420616c706163612066726f6d
0000167d: KECCAK256
0000167e: PUSH22 0x6e61757468656e7469636174656420636f6e74726163
00001695: PUSH21 0xa2646970667358221220216680f8b8768b6f7949de
000016ab: UNKNOWN(0xB3)
000016ac: PUSH9 0x4f56e96e2115509d5e
000016b6: SELFBALANCE
000016b7: DUP1
000016b8: RETURNDATASIZE
000016b9: PUSH29
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: 0x94de72546c1410d479d417e36882199634da0fb25c1c164cc0f2c91bf1ca090c call_targets: 0xd2f95789ac1b9d3d3a71e3fd5cb57e07c7698dac target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x94de72546c1410d479d417e36882199634da0fb25c1c164cc0f2c91bf1ca090c", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xd2f95789ac1b9d3d3a71e3fd5cb57e07c7698dac" ], "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": "0xacc7f0ed", "selector": "0xacc7f0ed", "calldata_variants": [ "0xacc7f0ed", "0xacc7f0ed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbabe9a9e", "selector": "0xbabe9a9e", "calldata_variants": [ "0xbabe9a9e", "0xbabe9a9e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbc197c81", "selector": "0xbc197c81", "calldata_variants": [ "0xbc197c81", "0xbc197c810000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf23a6e61", "selector": "0xf23a6e61", "calldata_variants": [ "0xf23a6e61", "0xf23a6e610000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8fbb5fa7", "selector": "0x8fbb5fa7", "calldata_variants": [ "0x8fbb5fa7", "0x8fbb5fa70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x91fd054e", "selector": "0x91fd054e", "calldata_variants": [ "0x91fd054e", "0x91fd054e0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1817, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2169, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2660, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 4, "guards_detected": [], "untrusted_call_count": 4 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x94de72546c1410d479d417e36882199634da0fb25c1c164cc0f2c91bf1ca090c call_targets: 0xd2f95789ac1b9d3d3a71e3fd5cb57e07c7698dac target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x94de72546c1410d479d417e36882199634da0fb25c1c164cc0f2c91bf1ca090c", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xd2f95789ac1b9d3d3a71e3fd5cb57e07c7698dac" ], "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": "0xacc7f0ed", "selector": "0xacc7f0ed", "calldata_variants": [ "0xacc7f0ed", "0xacc7f0ed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbabe9a9e", "selector": "0xbabe9a9e", "calldata_variants": [ "0xbabe9a9e", "0xbabe9a9e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbc197c81", "selector": "0xbc197c81", "calldata_variants": [ "0xbc197c81", "0xbc197c810000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf23a6e61", "selector": "0xf23a6e61", "calldata_variants": [ "0xf23a6e61", "0xf23a6e610000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8fbb5fa7", "selector": "0x8fbb5fa7", "calldata_variants": [ "0x8fbb5fa7", "0x8fbb5fa70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x91fd054e", "selector": "0x91fd054e", "calldata_variants": [ "0x91fd054e", "0x91fd054e0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1817, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2169, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2660, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 4, "guards_detected": [] }
Severity