Analysis Run

019b477e-c460-7142-a3f0-f063811ff8e7
complete
Chain ID
1
Address
0xa1c282e45f25a2af5c256cb36677018d3211cf95
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
25399	artifact.fetch	complete	1 / 3	3 months ago
25400	tool.cast_disasm	complete	1 / 3	3 months ago
90805	analysis.bundle	complete	1 / 3	2 weeks ago
90806	capability.graph	complete	1 / 3	2 weeks ago
90807	detector.run	complete	1 / 3	2 weeks ago
90808	validation.fork	complete	1 / 3	2 weeks ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
5
EXT*/BALANCE
4
Total opcodes
3566
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 0x00c2
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8d8f2adb
00000019: GT
0000001a: PUSH2 0x007f
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xda267bc8
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xda267bc8
0000002f: EQ
00000030: PUSH2 0x020f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe086e5ec
0000003a: EQ
0000003b: PUSH2 0x023a
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x0251
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf47c84c5
00000050: EQ
00000051: PUSH2 0x027a
00000054: JUMPI
00000055: PUSH2 0x00c2
00000058: JUMP
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x8d8f2adb
00000060: EQ
00000061: PUSH2 0x01b1
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x8da5cb5b
0000006b: EQ
0000006c: PUSH2 0x01c8
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xcbb8d310
00000076: EQ
00000077: PUSH2 0x01f3
0000007a: JUMPI
0000007b: PUSH2 0x00c2
0000007e: JUMP
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0x1965e183
00000086: EQ
00000087: PUSH2 0x00c7
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x3ba0b9a9
00000091: EQ
00000092: PUSH2 0x00f2
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x49590657
0000009c: EQ
0000009d: PUSH2 0x011d
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x4d8caa7e
000000a7: EQ
000000a8: PUSH2 0x0148
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x715018a6
000000b2: EQ
000000b3: PUSH2 0x0171
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x7cb64759
000000bd: EQ
000000be: PUSH2 0x0188
000000c1: JUMPI
000000c2: JUMPDEST
000000c3: PUSH1 0x00
000000c5: DUP1
000000c6: REVERT
000000c7: JUMPDEST
000000c8: CALLVALUE
000000c9: DUP1
000000ca: ISZERO
000000cb: PUSH2 0x00d3
000000ce: JUMPI
000000cf: PUSH1 0x00
000000d1: DUP1
000000d2: REVERT
000000d3: JUMPDEST
000000d4: POP
000000d5: PUSH2 0x00dc
000000d8: PUSH2 0x02a5
000000db: JUMP
000000dc: JUMPDEST
000000dd: PUSH1 0x40
000000df: MLOAD
000000e0: PUSH2 0x00e9
000000e3: SWAP2
000000e4: SWAP1
000000e5: PUSH2 0x14da
000000e8: JUMP
000000e9: JUMPDEST
000000ea: PUSH1 0x40
000000ec: MLOAD
000000ed: DUP1
000000ee: SWAP2
000000ef: SUB
000000f0: SWAP1
000000f1: RETURN
000000f2: JUMPDEST
000000f3: CALLVALUE
000000f4: DUP1
000000f5: ISZERO
000000f6: PUSH2 0x00fe
000000f9: JUMPI
000000fa: PUSH1 0x00
000000fc: DUP1
000000fd: REVERT
000000fe: JUMPDEST
000000ff: POP
00000100: PUSH2 0x0107
00000103: PUSH2 0x02b2
00000106: JUMP
00000107: JUMPDEST
00000108: PUSH1 0x40
0000010a: MLOAD
0000010b: PUSH2 0x0114
0000010e: SWAP2
0000010f: SWAP1
00000110: PUSH2 0x14da
00000113: JUMP
00000114: JUMPDEST
00000115: PUSH1 0x40
00000117: MLOAD
00000118: DUP1
00000119: SWAP2
0000011a: SUB
0000011b: SWAP1
0000011c: RETURN
0000011d: JUMPDEST
0000011e: CALLVALUE
0000011f: DUP1
00000120: ISZERO
00000121: PUSH2 0x0129
00000124: JUMPI
00000125: PUSH1 0x00
00000127: DUP1
00000128: REVERT
00000129: JUMPDEST
0000012a: POP
0000012b: PUSH2 0x0132
0000012e: PUSH2 0x02bc
00000131: JUMP
00000132: JUMPDEST
00000133: PUSH1 0x40
00000135: MLOAD
00000136: PUSH2 0x013f
00000139: SWAP2
0000013a: SWAP1
0000013b: PUSH2 0x13bf
0000013e: JUMP
0000013f: JUMPDEST
00000140: PUSH1 0x40
00000142: MLOAD
00000143: DUP1
00000144: SWAP2
00000145: SUB
00000146: SWAP1
00000147: RETURN
00000148: JUMPDEST
00000149: CALLVALUE
0000014a: DUP1
0000014b: ISZERO
0000014c: PUSH2 0x0154
0000014f: JUMPI
00000150: PUSH1 0x00
00000152: DUP1
00000153: REVERT
00000154: JUMPDEST
00000155: POP
00000156: PUSH2 0x016f
00000159: PUSH1 0x04
0000015b: DUP1
0000015c: CALLDATASIZE
0000015d: SUB
0000015e: DUP2
0000015f: ADD
00000160: SWAP1
00000161: PUSH2 0x016a
00000164: SWAP2
00000165: SWAP1
00000166: PUSH2 0x103b
00000169: JUMP
0000016a: JUMPDEST
0000016b: PUSH2 0x02c6
0000016e: JUMP
0000016f: JUMPDEST
00000170: STOP
00000171: JUMPDEST
00000172: CALLVALUE
00000173: DUP1
00000174: ISZERO
00000175: PUSH2 0x017d
00000178: JUMPI
00000179: PUSH1 0x00
0000017b: DUP1
0000017c: REVERT
0000017d: JUMPDEST
0000017e: POP
0000017f: PUSH2 0x0186
00000182: PUSH2 0x034c
00000185: JUMP
00000186: JUMPDEST
00000187: STOP
00000188: JUMPDEST
00000189: CALLVALUE
0000018a: DUP1
0000018b: ISZERO
0000018c: PUSH2 0x0194
0000018f: JUMPI
00000190: PUSH1 0x00
00000192: DUP1
00000193: REVERT
00000194: JUMPDEST
00000195: POP
00000196: PUSH2 0x01af
00000199: PUSH1 0x04
0000019b: DUP1
0000019c: CALLDATASIZE
0000019d: SUB
0000019e: DUP2
0000019f: ADD
000001a0: SWAP1
000001a1: PUSH2 0x01aa
000001a4: SWAP2
000001a5: SWAP1
000001a6: PUSH2 0x100e
000001a9: JUMP
000001aa: JUMPDEST
000001ab: PUSH2 0x03d4
000001ae: JUMP
000001af: JUMPDEST
000001b0: STOP
000001b1: JUMPDEST
000001b2: CALLVALUE
000001b3: DUP1
000001b4: ISZERO
000001b5: PUSH2 0x01bd
000001b8: JUMPI
000001b9: PUSH1 0x00
000001bb: DUP1
000001bc: REVERT
000001bd: JUMPDEST
000001be: POP
000001bf: PUSH2 0x01c6
000001c2: PUSH2 0x045a
000001c5: JUMP
000001c6: JUMPDEST
000001c7: STOP
000001c8: JUMPDEST
000001c9: CALLVALUE
000001ca: DUP1
000001cb: ISZERO
000001cc: PUSH2 0x01d4
000001cf: JUMPI
000001d0: PUSH1 0x00
000001d2: DUP1
000001d3: REVERT
000001d4: JUMPDEST
000001d5: POP
000001d6: PUSH2 0x01dd
000001d9: PUSH2 0x063f
000001dc: JUMP
000001dd: JUMPDEST
000001de: PUSH1 0x40
000001e0: MLOAD
000001e1: PUSH2 0x01ea
000001e4: SWAP2
000001e5: SWAP1
000001e6: PUSH2 0x137b
000001e9: JUMP
000001ea: JUMPDEST
000001eb: PUSH1 0x40
000001ed: MLOAD
000001ee: DUP1
000001ef: SWAP2
000001f0: SUB
000001f1: SWAP1
000001f2: RETURN
000001f3: JUMPDEST
000001f4: PUSH2 0x020d
000001f7: PUSH1 0x04
000001f9: DUP1
000001fa: CALLDATASIZE
000001fb: SUB
000001fc: DUP2
000001fd: ADD
000001fe: SWAP1
000001ff: PUSH2 0x0208
00000202: SWAP2
00000203: SWAP1
00000204: PUSH2 0x1095
00000207: JUMP
00000208: JUMPDEST
00000209: PUSH2 0x0668
0000020c: JUMP
0000020d: JUMPDEST
0000020e: STOP
0000020f: JUMPDEST
00000210: CALLVALUE
00000211: DUP1
00000212: ISZERO
00000213: PUSH2 0x021b
00000216: JUMPI
00000217: PUSH1 0x00
00000219: DUP1
0000021a: REVERT
0000021b: JUMPDEST
0000021c: POP
0000021d: PUSH2 0x0224
00000220: PUSH2 0x0ac7
00000223: JUMP
00000224: JUMPDEST
00000225: PUSH1 0x40
00000227: MLOAD
00000228: PUSH2 0x0231
0000022b: SWAP2
0000022c: SWAP1
0000022d: PUSH2 0x14da
00000230: JUMP
00000231: JUMPDEST
00000232: PUSH1 0x40
00000234: MLOAD
00000235: DUP1
00000236: SWAP2
00000237: SUB
00000238: SWAP1
00000239: RETURN
0000023a: JUMPDEST
0000023b: CALLVALUE
0000023c: DUP1
0000023d: ISZERO
0000023e: PUSH2 0x0246
00000241: JUMPI
00000242: PUSH1 0x00
00000244: DUP1
00000245: REVERT
00000246: JUMPDEST
00000247: POP
00000248: PUSH2 0x024f
0000024b: PUSH2 0x0acc
0000024e: JUMP
0000024f: JUMPDEST
00000250: STOP
00000251: JUMPDEST
00000252: CALLVALUE
00000253: DUP1
00000254: ISZERO
00000255: PUSH2 0x025d
00000258: JUMPI
00000259: PUSH1 0x00
0000025b: DUP1
0000025c: REVERT
0000025d: JUMPDEST
0000025e: POP
0000025f: PUSH2 0x0278
00000262: PUSH1 0x04
00000264: DUP1
00000265: CALLDATASIZE
00000266: SUB
00000267: DUP2
00000268: ADD
00000269: SWAP1
0000026a: PUSH2 0x0273
0000026d: SWAP2
0000026e: SWAP1
0000026f: PUSH2 0x0fb4
00000272: JUMP
00000273: JUMPDEST
00000274: PUSH2 0x0c04
00000277: JUMP
00000278: JUMPDEST
00000279: STOP
0000027a: JUMPDEST
0000027b: CALLVALUE
0000027c: DUP1
0000027d: ISZERO
0000027e: PUSH2 0x0286
00000281: JUMPI
00000282: PUSH1 0x00
00000284: DUP1
00000285: REVERT
00000286: JUMPDEST
00000287: POP
00000288: PUSH2 0x028f
0000028b: PUSH2 0x0cfc
0000028e: JUMP
0000028f: JUMPDEST
00000290: PUSH1 0x40
00000292: MLOAD
00000293: PUSH2 0x029c
00000296: SWAP2
00000297: SWAP1
00000298: PUSH2 0x14da
0000029b: JUMP
0000029c: JUMPDEST
0000029d: PUSH1 0x40
0000029f: MLOAD
000002a0: DUP1
000002a1: SWAP2
000002a2: SUB
000002a3: SWAP1
000002a4: RETURN
000002a5: JUMPDEST
000002a6: PUSH9 0x3635c9adc5dea00000
000002b0: DUP2
000002b1: JUMP
000002b2: JUMPDEST
000002b3: PUSH1 0x00
000002b5: PUSH1 0x02
000002b7: SLOAD
000002b8: SWAP1
000002b9: POP
000002ba: SWAP1
000002bb: JUMP
000002bc: JUMPDEST
000002bd: PUSH1 0x00
000002bf: PUSH1 0x03
000002c1: SLOAD
000002c2: SWAP1
000002c3: POP
000002c4: SWAP1
000002c5: JUMP
000002c6: JUMPDEST
000002c7: PUSH2 0x02ce
000002ca: PUSH2 0x0d09
000002cd: JUMP
000002ce: JUMPDEST
000002cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002e4: AND
000002e5: PUSH2 0x02ec
000002e8: PUSH2 0x063f
000002eb: JUMP
000002ec: JUMPDEST
000002ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000302: AND
00000303: EQ
00000304: PUSH2 0x0342
00000307: JUMPI
00000308: PUSH1 0x40
0000030a: MLOAD
0000030b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000032c: DUP2
0000032d: MSTORE
0000032e: PUSH1 0x04
00000330: ADD
00000331: PUSH2 0x0339
00000334: SWAP1
00000335: PUSH2 0x143a
00000338: JUMP
00000339: JUMPDEST
0000033a: PUSH1 0x40
0000033c: MLOAD
0000033d: DUP1
0000033e: SWAP2
0000033f: SUB
00000340: SWAP1
00000341: REVERT
00000342: JUMPDEST
00000343: DUP1
00000344: PUSH1 0x02
00000346: DUP2
00000347: SWAP1
00000348: SSTORE
00000349: POP
0000034a: POP
0000034b: JUMP
0000034c: JUMPDEST
0000034d: PUSH2 0x0354
00000350: PUSH2 0x0d09
00000353: JUMP
00000354: JUMPDEST
00000355: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000036a: AND
0000036b: PUSH2 0x0372
0000036e: PUSH2 0x063f
00000371: JUMP
00000372: JUMPDEST
00000373: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000388: AND
00000389: EQ
0000038a: PUSH2 0x03c8
0000038d: JUMPI
0000038e: PUSH1 0x40
00000390: MLOAD
00000391: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000003b2: DUP2
000003b3: MSTORE
000003b4: PUSH1 0x04
000003b6: ADD
000003b7: PUSH2 0x03bf
000003ba: SWAP1
000003bb: PUSH2 0x143a
000003be: JUMP
000003bf: JUMPDEST
000003c0: PUSH1 0x40
000003c2: MLOAD
000003c3: DUP1
000003c4: SWAP2
000003c5: SUB
000003c6: SWAP1
000003c7: REVERT
000003c8: JUMPDEST
000003c9: PUSH2 0x03d2
000003cc: PUSH1 0x00
000003ce: PUSH2 0x0d11
000003d1: JUMP
000003d2: JUMPDEST
000003d3: JUMP
000003d4: JUMPDEST
000003d5: PUSH2 0x03dc
000003d8: PUSH2 0x0d09
000003db: JUMP
000003dc: JUMPDEST
000003dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003f2: AND
000003f3: PUSH2 0x03fa
000003f6: PUSH2 0x063f
000003f9: JUMP
000003fa: JUMPDEST
000003fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000410: AND
00000411: EQ
00000412: PUSH2 0x0450
00000415: JUMPI
00000416: PUSH1 0x40
00000418: MLOAD
00000419: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000043a: DUP2
0000043b: MSTORE
0000043c: PUSH1 0x04
0000043e: ADD
0000043f: PUSH2 0x0447
00000442: SWAP1
00000443: PUSH2 0x143a
00000446: JUMP
00000447: JUMPDEST
00000448: PUSH1 0x40
0000044a: MLOAD
0000044b: DUP1
0000044c: SWAP2
0000044d: SUB
0000044e: SWAP1
0000044f: REVERT
00000450: JUMPDEST
00000451: DUP1
00000452: PUSH1 0x03
00000454: DUP2
00000455: SWAP1
00000456: SSTORE
00000457: POP
00000458: POP
00000459: JUMP
0000045a: JUMPDEST
0000045b: PUSH2 0x0462
0000045e: PUSH2 0x0d09
00000461: JUMP
00000462: JUMPDEST
00000463: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000478: AND
00000479: PUSH2 0x0480
0000047c: PUSH2 0x063f
0000047f: JUMP
00000480: JUMPDEST
00000481: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000496: AND
00000497: EQ
00000498: PUSH2 0x04d6
0000049b: JUMPI
0000049c: PUSH1 0x40
0000049e: MLOAD
0000049f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000004c0: DUP2
000004c1: MSTORE
000004c2: PUSH1 0x04
000004c4: ADD
000004c5: PUSH2 0x04cd
000004c8: SWAP1
000004c9: PUSH2 0x143a
000004cc: JUMP
000004cd: JUMPDEST
000004ce: PUSH1 0x40
000004d0: MLOAD
000004d1: DUP1
000004d2: SWAP2
000004d3: SUB
000004d4: SWAP1
000004d5: REVERT
000004d6: JUMPDEST
000004d7: PUSH1 0x00
000004d9: PUSH1 0x01
000004db: PUSH1 0x00
000004dd: SWAP1
000004de: SLOAD
000004df: SWAP1
000004e0: PUSH2 0x0100
000004e3: EXP
000004e4: SWAP1
000004e5: DIV
000004e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004fb: AND
000004fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000511: AND
00000512: PUSH4 0x70a08231
00000517: ADDRESS
00000518: PUSH1 0x40
0000051a: MLOAD
0000051b: DUP3
0000051c: PUSH4 0xffffffff
00000521: AND
00000522: PUSH1 0xe0
00000524: SHL
00000525: DUP2
00000526: MSTORE
00000527: PUSH1 0x04
00000529: ADD
0000052a: PUSH2 0x0533
0000052d: SWAP2
0000052e: SWAP1
0000052f: PUSH2 0x137b
00000532: JUMP
00000533: JUMPDEST
00000534: PUSH1 0x20
00000536: PUSH1 0x40
00000538: MLOAD
00000539: DUP1
0000053a: DUP4
0000053b: SUB
0000053c: DUP2
0000053d: DUP7
0000053e: DUP1
0000053f: EXTCODESIZE
00000540: ISZERO
00000541: DUP1
00000542: ISZERO
00000543: PUSH2 0x054b
00000546: JUMPI
00000547: PUSH1 0x00
00000549: DUP1
0000054a: REVERT
0000054b: JUMPDEST
0000054c: POP
0000054d: GAS
0000054e: STATICCALL
0000054f: ISZERO
00000550: DUP1
00000551: ISZERO
00000552: PUSH2 0x055f
00000555: JUMPI
00000556: RETURNDATASIZE
00000557: PUSH1 0x00
00000559: DUP1
0000055a: RETURNDATACOPY
0000055b: RETURNDATASIZE
0000055c: PUSH1 0x00
0000055e: REVERT
0000055f: JUMPDEST
00000560: POP
00000561: POP
00000562: POP
00000563: POP
00000564: PUSH1 0x40
00000566: MLOAD
00000567: RETURNDATASIZE
00000568: PUSH1 0x1f
0000056a: NOT
0000056b: PUSH1 0x1f
0000056d: DUP3
0000056e: ADD
0000056f: AND
00000570: DUP3
00000571: ADD
00000572: DUP1
00000573: PUSH1 0x40
00000575: MSTORE
00000576: POP
00000577: DUP2
00000578: ADD
00000579: SWAP1
0000057a: PUSH2 0x0583
0000057d: SWAP2
0000057e: SWAP1
0000057f: PUSH2 0x1068
00000582: JUMP
00000583: JUMPDEST
00000584: SWAP1
00000585: POP
00000586: PUSH1 0x01
00000588: PUSH1 0x00
0000058a: SWAP1
0000058b: SLOAD
0000058c: SWAP1
0000058d: PUSH2 0x0100
00000590: EXP
00000591: SWAP1
00000592: DIV
00000593: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005a8: AND
000005a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005be: AND
000005bf: PUSH4 0xa9059cbb
000005c4: PUSH2 0x05cb
000005c7: PUSH2 0x0d09
000005ca: JUMP
000005cb: JUMPDEST
000005cc: DUP4
000005cd: PUSH1 0x40
000005cf: MLOAD
000005d0: DUP4
000005d1: PUSH4 0xffffffff
000005d6: AND
000005d7: PUSH1 0xe0
000005d9: SHL
000005da: DUP2
000005db: MSTORE
000005dc: PUSH1 0x04
000005de: ADD
000005df: PUSH2 0x05e9
000005e2: SWAP3
000005e3: SWAP2
000005e4: SWAP1
000005e5: PUSH2 0x1396
000005e8: JUMP
000005e9: JUMPDEST
000005ea: PUSH1 0x20
000005ec: PUSH1 0x40
000005ee: MLOAD
000005ef: DUP1
000005f0: DUP4
000005f1: SUB
000005f2: DUP2
000005f3: PUSH1 0x00
000005f5: DUP8
000005f6: DUP1
000005f7: EXTCODESIZE
000005f8: ISZERO
000005f9: DUP1
000005fa: ISZERO
000005fb: PUSH2 0x0603
000005fe: JUMPI
000005ff: PUSH1 0x00
00000601: DUP1
00000602: REVERT
00000603: JUMPDEST
00000604: POP
00000605: GAS
00000606: CALL
00000607: ISZERO
00000608: DUP1
00000609: ISZERO
0000060a: PUSH2 0x0617
0000060d: JUMPI
0000060e: RETURNDATASIZE
0000060f: PUSH1 0x00
00000611: DUP1
00000612: RETURNDATACOPY
00000613: RETURNDATASIZE
00000614: PUSH1 0x00
00000616: REVERT
00000617: JUMPDEST
00000618: POP
00000619: POP
0000061a: POP
0000061b: POP
0000061c: PUSH1 0x40
0000061e: MLOAD
0000061f: RETURNDATASIZE
00000620: PUSH1 0x1f
00000622: NOT
00000623: PUSH1 0x1f
00000625: DUP3
00000626: ADD
00000627: AND
00000628: DUP3
00000629: ADD
0000062a: DUP1
0000062b: PUSH1 0x40
0000062d: MSTORE
0000062e: POP
0000062f: DUP2
00000630: ADD
00000631: SWAP1
00000632: PUSH2 0x063b
00000635: SWAP2
00000636: SWAP1
00000637: PUSH2 0x0fe1
0000063a: JUMP
0000063b: JUMPDEST
0000063c: POP
0000063d: POP
0000063e: JUMP
0000063f: JUMPDEST
00000640: PUSH1 0x00
00000642: DUP1
00000643: PUSH1 0x00
00000645: SWAP1
00000646: SLOAD
00000647: SWAP1
00000648: PUSH2 0x0100
0000064b: EXP
0000064c: SWAP1
0000064d: DIV
0000064e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000663: AND
00000664: SWAP1
00000665: POP
00000666: SWAP1
00000667: JUMP
00000668: JUMPDEST
00000669: PUSH9 0x3635c9adc5dea00000
00000673: DUP7
00000674: LT
00000675: ISZERO
00000676: PUSH2 0x06b4
00000679: JUMPI
0000067a: PUSH1 0x40
0000067c: MLOAD
0000067d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000069e: DUP2
0000069f: MSTORE
000006a0: PUSH1 0x04
000006a2: ADD
000006a3: PUSH2 0x06ab
000006a6: SWAP1
000006a7: PUSH2 0x14ba
000006aa: JUMP
000006ab: JUMPDEST
000006ac: PUSH1 0x40
000006ae: MLOAD
000006af: DUP1
000006b0: SWAP2
000006b1: SUB
000006b2: SWAP1
000006b3: REVERT
000006b4: JUMPDEST
000006b5: PUSH9 0xa2a15d09519be00000
000006bf: DUP7
000006c0: GT
000006c1: ISZERO
000006c2: PUSH2 0x0700
000006c5: JUMPI
000006c6: PUSH1 0x40
000006c8: MLOAD
000006c9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000006ea: DUP2
000006eb: MSTORE
000006ec: PUSH1 0x04
000006ee: ADD
000006ef: PUSH2 0x06f7
000006f2: SWAP1
000006f3: PUSH2 0x145a
000006f6: JUMP
000006f7: JUMPDEST
000006f8: PUSH1 0x40
000006fa: MLOAD
000006fb: DUP1
000006fc: SWAP2
000006fd: SUB
000006fe: SWAP1
000006ff: REVERT
00000700: JUMPDEST
00000701: PUSH1 0x04
00000703: DUP5
00000704: DUP5
00000705: PUSH1 0x40
00000707: MLOAD
00000708: PUSH2 0x0712
0000070b: SWAP3
0000070c: SWAP2
0000070d: SWAP1
0000070e: PUSH2 0x134d
00000711: JUMP
00000712: JUMPDEST
00000713: SWAP1
00000714: DUP2
00000715: MSTORE
00000716: PUSH1 0x20
00000718: ADD
00000719: PUSH1 0x40
0000071b: MLOAD
0000071c: DUP1
0000071d: SWAP2
0000071e: SUB
0000071f: SWAP1
00000720: KECCAK256
00000721: PUSH1 0x00
00000723: SWAP1
00000724: SLOAD
00000725: SWAP1
00000726: PUSH2 0x0100
00000729: EXP
0000072a: SWAP1
0000072b: DIV
0000072c: PUSH1 0xff
0000072e: AND
0000072f: ISZERO
00000730: PUSH2 0x076e
00000733: JUMPI
00000734: PUSH1 0x40
00000736: MLOAD
00000737: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000758: DUP2
00000759: MSTORE
0000075a: PUSH1 0x04
0000075c: ADD
0000075d: PUSH2 0x0765
00000760: SWAP1
00000761: PUSH2 0x147a
00000764: JUMP
00000765: JUMPDEST
00000766: PUSH1 0x40
00000768: MLOAD
00000769: DUP1
0000076a: SWAP2
0000076b: SUB
0000076c: SWAP1
0000076d: REVERT
0000076e: JUMPDEST
0000076f: PUSH1 0x00
00000771: DUP6
00000772: DUP6
00000773: DUP6
00000774: PUSH1 0x40
00000776: MLOAD
00000777: PUSH1 0x20
00000779: ADD
0000077a: PUSH2 0x0785
0000077d: SWAP4
0000077e: SWAP3
0000077f: SWAP2
00000780: SWAP1
00000781: PUSH2 0x12f7
00000784: JUMP
00000785: JUMPDEST
00000786: PUSH1 0x40
00000788: MLOAD
00000789: PUSH1 0x20
0000078b: DUP2
0000078c: DUP4
0000078d: SUB
0000078e: SUB
0000078f: DUP2
00000790: MSTORE
00000791: SWAP1
00000792: PUSH1 0x40
00000794: MSTORE
00000795: DUP1
00000796: MLOAD
00000797: SWAP1
00000798: PUSH1 0x20
0000079a: ADD
0000079b: KECCAK256
0000079c: SWAP1
0000079d: POP
0000079e: PUSH2 0x07eb
000007a1: DUP4
000007a2: DUP4
000007a3: DUP1
000007a4: DUP1
000007a5: PUSH1 0x20
000007a7: MUL
000007a8: PUSH1 0x20
000007aa: ADD
000007ab: PUSH1 0x40
000007ad: MLOAD
000007ae: SWAP1
000007af: DUP2
000007b0: ADD
000007b1: PUSH1 0x40
000007b3: MSTORE
000007b4: DUP1
000007b5: SWAP4
000007b6: SWAP3
000007b7: SWAP2
000007b8: SWAP1
000007b9: DUP2
000007ba: DUP2
000007bb: MSTORE
000007bc: PUSH1 0x20
000007be: ADD
000007bf: DUP4
000007c0: DUP4
000007c1: PUSH1 0x20
000007c3: MUL
000007c4: DUP1
000007c5: DUP3
000007c6: DUP5
000007c7: CALLDATACOPY
000007c8: PUSH1 0x00
000007ca: DUP2
000007cb: DUP5
000007cc: ADD
000007cd: MSTORE
000007ce: PUSH1 0x1f
000007d0: NOT
000007d1: PUSH1 0x1f
000007d3: DUP3
000007d4: ADD
000007d5: AND
000007d6: SWAP1
000007d7: POP
000007d8: DUP1
000007d9: DUP4
000007da: ADD
000007db: SWAP3
000007dc: POP
000007dd: POP
000007de: POP
000007df: POP
000007e0: POP
000007e1: POP
000007e2: POP
000007e3: PUSH1 0x03
000007e5: SLOAD
000007e6: DUP4
000007e7: PUSH2 0x0dd5
000007ea: JUMP
000007eb: JUMPDEST
000007ec: PUSH2 0x082a
000007ef: JUMPI
000007f0: PUSH1 0x40
000007f2: MLOAD
000007f3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000814: DUP2
00000815: MSTORE
00000816: PUSH1 0x04
00000818: ADD
00000819: PUSH2 0x0821
0000081c: SWAP1
0000081d: PUSH2 0x13da
00000820: JUMP
00000821: JUMPDEST
00000822: PUSH1 0x40
00000824: MLOAD
00000825: DUP1
00000826: SWAP2
00000827: SUB
00000828: SWAP1
00000829: REVERT
0000082a: JUMPDEST
0000082b: PUSH1 0x00
0000082d: PUSH1 0x02
0000082f: SLOAD
00000830: DUP9
00000831: PUSH2 0x083a
00000834: SWAP2
00000835: SWAP1
00000836: PUSH2 0x15a9
00000839: JUMP
0000083a: JUMPDEST
0000083b: SWAP1
0000083c: POP
0000083d: DUP1
0000083e: CALLVALUE
0000083f: EQ
00000840: PUSH2 0x087e
00000843: JUMPI
00000844: PUSH1 0x40
00000846: MLOAD
00000847: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000868: DUP2
00000869: MSTORE
0000086a: PUSH1 0x04
0000086c: ADD
0000086d: PUSH2 0x0875
00000870: SWAP1
00000871: PUSH2 0x149a
00000874: JUMP
00000875: JUMPDEST
00000876: PUSH1 0x40
00000878: MLOAD
00000879: DUP1
0000087a: SWAP2
0000087b: SUB
0000087c: SWAP1
0000087d: REVERT
0000087e: JUMPDEST
0000087f: PUSH1 0x01
00000881: PUSH1 0x04
00000883: DUP8
00000884: DUP8
00000885: PUSH1 0x40
00000887: MLOAD
00000888: PUSH2 0x0892
0000088b: SWAP3
0000088c: SWAP2
0000088d: SWAP1
0000088e: PUSH2 0x134d
00000891: JUMP
00000892: JUMPDEST
00000893: SWAP1
00000894: DUP2
00000895: MSTORE
00000896: PUSH1 0x20
00000898: ADD
00000899: PUSH1 0x40
0000089b: MLOAD
0000089c: DUP1
0000089d: SWAP2
0000089e: SUB
0000089f: SWAP1
000008a0: KECCAK256
000008a1: PUSH1 0x00
000008a3: PUSH2 0x0100
000008a6: EXP
000008a7: DUP2
000008a8: SLOAD
000008a9: DUP2
000008aa: PUSH1 0xff
000008ac: MUL
000008ad: NOT
000008ae: AND
000008af: SWAP1
000008b0: DUP4
000008b1: ISZERO
000008b2: ISZERO
000008b3: MUL
000008b4: OR
000008b5: SWAP1
000008b6: SSTORE
000008b7: POP
000008b8: PUSH1 0x00
000008ba: PUSH1 0x64
000008bc: PUSH1 0x0f
000008be: DUP11
000008bf: PUSH2 0x08c8
000008c2: SWAP2
000008c3: SWAP1
000008c4: PUSH2 0x15da
000008c7: JUMP
000008c8: JUMPDEST
000008c9: PUSH2 0x08d2
000008cc: SWAP2
000008cd: SWAP1
000008ce: PUSH2 0x15a9
000008d1: JUMP
000008d2: JUMPDEST
000008d3: SWAP1
000008d4: POP
000008d5: PUSH1 0x00
000008d7: DUP2
000008d8: DUP11
000008d9: PUSH2 0x08e2
000008dc: SWAP2
000008dd: SWAP1
000008de: PUSH2 0x1553
000008e1: JUMP
000008e2: JUMPDEST
000008e3: SWAP1
000008e4: POP
000008e5: PUSH1 0x01
000008e7: PUSH1 0x00
000008e9: SWAP1
000008ea: SLOAD
000008eb: SWAP1
000008ec: PUSH2 0x0100
000008ef: EXP
000008f0: SWAP1
000008f1: DIV
000008f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000907: AND
00000908: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000091d: AND
0000091e: PUSH4 0xa9059cbb
00000923: PUSH2 0x092a
00000926: PUSH2 0x0d09
00000929: JUMP
0000092a: JUMPDEST
0000092b: DUP4
0000092c: PUSH1 0x40
0000092e: MLOAD
0000092f: DUP4
00000930: PUSH4 0xffffffff
00000935: AND
00000936: PUSH1 0xe0
00000938: SHL
00000939: DUP2
0000093a: MSTORE
0000093b: PUSH1 0x04
0000093d: ADD
0000093e: PUSH2 0x0948
00000941: SWAP3
00000942: SWAP2
00000943: SWAP1
00000944: PUSH2 0x1396
00000947: JUMP
00000948: JUMPDEST
00000949: PUSH1 0x20
0000094b: PUSH1 0x40
0000094d: MLOAD
0000094e: DUP1
0000094f: DUP4
00000950: SUB
00000951: DUP2
00000952: PUSH1 0x00
00000954: DUP8
00000955: DUP1
00000956: EXTCODESIZE
00000957: ISZERO
00000958: DUP1
00000959: ISZERO
0000095a: PUSH2 0x0962
0000095d: JUMPI
0000095e: PUSH1 0x00
00000960: DUP1
00000961: REVERT
00000962: JUMPDEST
00000963: POP
00000964: GAS
00000965: CALL
00000966: ISZERO
00000967: DUP1
00000968: ISZERO
00000969: PUSH2 0x0976
0000096c: JUMPI
0000096d: RETURNDATASIZE
0000096e: PUSH1 0x00
00000970: DUP1
00000971: RETURNDATACOPY
00000972: RETURNDATASIZE
00000973: PUSH1 0x00
00000975: REVERT
00000976: JUMPDEST
00000977: POP
00000978: POP
00000979: POP
0000097a: POP
0000097b: PUSH1 0x40
0000097d: MLOAD
0000097e: RETURNDATASIZE
0000097f: PUSH1 0x1f
00000981: NOT
00000982: PUSH1 0x1f
00000984: DUP3
00000985: ADD
00000986: AND
00000987: DUP3
00000988: ADD
00000989: DUP1
0000098a: PUSH1 0x40
0000098c: MSTORE
0000098d: POP
0000098e: DUP2
0000098f: ADD
00000990: SWAP1
00000991: PUSH2 0x099a
00000994: SWAP2
00000995: SWAP1
00000996: PUSH2 0x0fe1
00000999: JUMP
0000099a: JUMPDEST
0000099b: POP
0000099c: PUSH1 0x01
0000099e: PUSH1 0x00
000009a0: SWAP1
000009a1: SLOAD
000009a2: SWAP1
000009a3: PUSH2 0x0100
000009a6: EXP
000009a7: SWAP1
000009a8: DIV
000009a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009be: AND
000009bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009d4: AND
000009d5: PUSH4 0xa9059cbb
000009da: DUP11
000009db: DUP5
000009dc: PUSH1 0x40
000009de: MLOAD
000009df: DUP4
000009e0: PUSH4 0xffffffff
000009e5: AND
000009e6: PUSH1 0xe0
000009e8: SHL
000009e9: DUP2
000009ea: MSTORE
000009eb: PUSH1 0x04
000009ed: ADD
000009ee: PUSH2 0x09f8
000009f1: SWAP3
000009f2: SWAP2
000009f3: SWAP1
000009f4: PUSH2 0x1396
000009f7: JUMP
000009f8: JUMPDEST
000009f9: PUSH1 0x20
000009fb: PUSH1 0x40
000009fd: MLOAD
000009fe: DUP1
000009ff: DUP4
00000a00: SUB
00000a01: DUP2
00000a02: PUSH1 0x00
00000a04: DUP8
00000a05: DUP1
00000a06: EXTCODESIZE
00000a07: ISZERO
00000a08: DUP1
00000a09: ISZERO
00000a0a: PUSH2 0x0a12
00000a0d: JUMPI
00000a0e: PUSH1 0x00
00000a10: DUP1
00000a11: REVERT
00000a12: JUMPDEST
00000a13: POP
00000a14: GAS
00000a15: CALL
00000a16: ISZERO
00000a17: DUP1
00000a18: ISZERO
00000a19: PUSH2 0x0a26
00000a1c: JUMPI
00000a1d: RETURNDATASIZE
00000a1e: PUSH1 0x00
00000a20: DUP1
00000a21: RETURNDATACOPY
00000a22: RETURNDATASIZE
00000a23: PUSH1 0x00
00000a25: REVERT
00000a26: JUMPDEST
00000a27: POP
00000a28: POP
00000a29: POP
00000a2a: POP
00000a2b: PUSH1 0x40
00000a2d: MLOAD
00000a2e: RETURNDATASIZE
00000a2f: PUSH1 0x1f
00000a31: NOT
00000a32: PUSH1 0x1f
00000a34: DUP3
00000a35: ADD
00000a36: AND
00000a37: DUP3
00000a38: ADD
00000a39: DUP1
00000a3a: PUSH1 0x40
00000a3c: MSTORE
00000a3d: POP
00000a3e: DUP2
00000a3f: ADD
00000a40: SWAP1
00000a41: PUSH2 0x0a4a
00000a44: SWAP2
00000a45: SWAP1
00000a46: PUSH2 0x0fe1
00000a49: JUMP
00000a4a: JUMPDEST
00000a4b: POP
00000a4c: DUP9
00000a4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a62: AND
00000a63: PUSH2 0x0a6a
00000a66: PUSH2 0x0d09
00000a69: JUMP
00000a6a: JUMPDEST
00000a6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a80: AND
00000a81: PUSH32 0xf4720a91274d131c55ac5bd98a14c1ad24e0d0cadcfa35e1aec01b1c35cd8826
00000aa2: CALLVALUE
00000aa3: DUP5
00000aa4: DUP7
00000aa5: PUSH1 0x40
00000aa7: MLOAD
00000aa8: PUSH2 0x0ab3
00000aab: SWAP4
00000aac: SWAP3
00000aad: SWAP2
00000aae: SWAP1
00000aaf: PUSH2 0x14f5
00000ab2: JUMP
00000ab3: JUMPDEST
00000ab4: PUSH1 0x40
00000ab6: MLOAD
00000ab7: DUP1
00000ab8: SWAP2
00000ab9: SUB
00000aba: SWAP1
00000abb: LOG3
00000abc: POP
00000abd: POP
00000abe: POP
00000abf: POP
00000ac0: POP
00000ac1: POP
00000ac2: POP
00000ac3: POP
00000ac4: POP
00000ac5: POP
00000ac6: JUMP
00000ac7: JUMPDEST
00000ac8: PUSH1 0x0f
00000aca: DUP2
00000acb: JUMP
00000acc: JUMPDEST
00000acd: PUSH2 0x0ad4
00000ad0: PUSH2 0x0d09
00000ad3: JUMP
00000ad4: JUMPDEST
00000ad5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aea: AND
00000aeb: PUSH2 0x0af2
00000aee: PUSH2 0x063f
00000af1: JUMP
00000af2: JUMPDEST
00000af3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b08: AND
00000b09: EQ
00000b0a: PUSH2 0x0b48
00000b0d: JUMPI
00000b0e: PUSH1 0x40
00000b10: MLOAD
00000b11: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b32: DUP2
00000b33: MSTORE
00000b34: PUSH1 0x04
00000b36: ADD
00000b37: PUSH2 0x0b3f
00000b3a: SWAP1
00000b3b: PUSH2 0x143a
00000b3e: JUMP
00000b3f: JUMPDEST
00000b40: PUSH1 0x40
00000b42: MLOAD
00000b43: DUP1
00000b44: SWAP2
00000b45: SUB
00000b46: SWAP1
00000b47: REVERT
00000b48: JUMPDEST
00000b49: PUSH1 0x00
00000b4b: SELFBALANCE
00000b4c: SWAP1
00000b4d: POP
00000b4e: PUSH1 0x00
00000b50: PUSH2 0x0b57
00000b53: PUSH2 0x063f
00000b56: JUMP
00000b57: JUMPDEST
00000b58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b6d: AND
00000b6e: DUP3
00000b6f: PUSH1 0x40
00000b71: MLOAD
00000b72: PUSH2 0x0b7a
00000b75: SWAP1
00000b76: PUSH2 0x1366
00000b79: JUMP
00000b7a: JUMPDEST
00000b7b: PUSH1 0x00
00000b7d: PUSH1 0x40
00000b7f: MLOAD
00000b80: DUP1
00000b81: DUP4
00000b82: SUB
00000b83: DUP2
00000b84: DUP6
00000b85: DUP8
00000b86: GAS
00000b87: CALL
00000b88: SWAP3
00000b89: POP
00000b8a: POP
00000b8b: POP
00000b8c: RETURNDATASIZE
00000b8d: DUP1
00000b8e: PUSH1 0x00
00000b90: DUP2
00000b91: EQ
00000b92: PUSH2 0x0bb7
00000b95: JUMPI
00000b96: PUSH1 0x40
00000b98: MLOAD
00000b99: SWAP2
00000b9a: POP
00000b9b: PUSH1 0x1f
00000b9d: NOT
00000b9e: PUSH1 0x3f
00000ba0: RETURNDATASIZE
00000ba1: ADD
00000ba2: AND
00000ba3: DUP3
00000ba4: ADD
00000ba5: PUSH1 0x40
00000ba7: MSTORE
00000ba8: RETURNDATASIZE
00000ba9: DUP3
00000baa: MSTORE
00000bab: RETURNDATASIZE
00000bac: PUSH1 0x00
00000bae: PUSH1 0x20
00000bb0: DUP5
00000bb1: ADD
00000bb2: RETURNDATACOPY
00000bb3: PUSH2 0x0bbc
00000bb6: JUMP
00000bb7: JUMPDEST
00000bb8: PUSH1 0x60
00000bba: SWAP2
00000bbb: POP
00000bbc: JUMPDEST
00000bbd: POP
00000bbe: POP
00000bbf: SWAP1
00000bc0: POP
00000bc1: DUP1
00000bc2: PUSH2 0x0c00
00000bc5: JUMPI
00000bc6: PUSH1 0x40
00000bc8: MLOAD
00000bc9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000bea: DUP2
00000beb: MSTORE
00000bec: PUSH1 0x04
00000bee: ADD
00000bef: PUSH2 0x0bf7
00000bf2: SWAP1
00000bf3: PUSH2 0x141a
00000bf6: JUMP
00000bf7: JUMPDEST
00000bf8: PUSH1 0x40
00000bfa: MLOAD
00000bfb: DUP1
00000bfc: SWAP2
00000bfd: SUB
00000bfe: SWAP1
00000bff: REVERT
00000c00: JUMPDEST
00000c01: POP
00000c02: POP
00000c03: JUMP
00000c04: JUMPDEST
00000c05: PUSH2 0x0c0c
00000c08: PUSH2 0x0d09
00000c0b: JUMP
00000c0c: JUMPDEST
00000c0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c22: AND
00000c23: PUSH2 0x0c2a
00000c26: PUSH2 0x063f
00000c29: JUMP
00000c2a: JUMPDEST
00000c2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c40: AND
00000c41: EQ
00000c42: PUSH2 0x0c80
00000c45: JUMPI
00000c46: PUSH1 0x40
00000c48: MLOAD
00000c49: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c6a: DUP2
00000c6b: MSTORE
00000c6c: PUSH1 0x04
00000c6e: ADD
00000c6f: PUSH2 0x0c77
00000c72: SWAP1
00000c73: PUSH2 0x143a
00000c76: JUMP
00000c77: JUMPDEST
00000c78: PUSH1 0x40
00000c7a: MLOAD
00000c7b: DUP1
00000c7c: SWAP2
00000c7d: SUB
00000c7e: SWAP1
00000c7f: REVERT
00000c80: JUMPDEST
00000c81: PUSH1 0x00
00000c83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c98: AND
00000c99: DUP2
00000c9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000caf: AND
00000cb0: EQ
00000cb1: ISZERO
00000cb2: PUSH2 0x0cf0
00000cb5: JUMPI
00000cb6: PUSH1 0x40
00000cb8: MLOAD
00000cb9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000cda: DUP2
00000cdb: MSTORE
00000cdc: PUSH1 0x04
00000cde: ADD
00000cdf: PUSH2 0x0ce7
00000ce2: SWAP1
00000ce3: PUSH2 0x13fa
00000ce6: JUMP
00000ce7: JUMPDEST
00000ce8: PUSH1 0x40
00000cea: MLOAD
00000ceb: DUP1
00000cec: SWAP2
00000ced: SUB
00000cee: SWAP1
00000cef: REVERT
00000cf0: JUMPDEST
00000cf1: PUSH2 0x0cf9
00000cf4: DUP2
00000cf5: PUSH2 0x0d11
00000cf8: JUMP
00000cf9: JUMPDEST
00000cfa: POP
00000cfb: JUMP
00000cfc: JUMPDEST
00000cfd: PUSH9 0xa2a15d09519be00000
00000d07: DUP2
00000d08: JUMP
00000d09: JUMPDEST
00000d0a: PUSH1 0x00
00000d0c: CALLER
00000d0d: SWAP1
00000d0e: POP
00000d0f: SWAP1
00000d10: JUMP
00000d11: JUMPDEST
00000d12: PUSH1 0x00
00000d14: DUP1
00000d15: PUSH1 0x00
00000d17: SWAP1
00000d18: SLOAD
00000d19: SWAP1
00000d1a: PUSH2 0x0100
00000d1d: EXP
00000d1e: SWAP1
00000d1f: DIV
00000d20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d35: AND
00000d36: SWAP1
00000d37: POP
00000d38: DUP2
00000d39: PUSH1 0x00
00000d3b: DUP1
00000d3c: PUSH2 0x0100
00000d3f: EXP
00000d40: DUP2
00000d41: SLOAD
00000d42: DUP2
00000d43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d58: MUL
00000d59: NOT
00000d5a: AND
00000d5b: SWAP1
00000d5c: DUP4
00000d5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d72: AND
00000d73: MUL
00000d74: OR
00000d75: SWAP1
00000d76: SSTORE
00000d77: POP
00000d78: DUP2
00000d79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d8e: AND
00000d8f: DUP2
00000d90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da5: AND
00000da6: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000dc7: PUSH1 0x40
00000dc9: MLOAD
00000dca: PUSH1 0x40
00000dcc: MLOAD
00000dcd: DUP1
00000dce: SWAP2
00000dcf: SUB
00000dd0: SWAP1
00000dd1: LOG3
00000dd2: POP
00000dd3: POP
00000dd4: JUMP
00000dd5: JUMPDEST
00000dd6: PUSH1 0x00
00000dd8: DUP3
00000dd9: PUSH2 0x0de2
00000ddc: DUP6
00000ddd: DUP5
00000dde: PUSH2 0x0dec
00000de1: JUMP
00000de2: JUMPDEST
00000de3: EQ
00000de4: SWAP1
00000de5: POP
00000de6: SWAP4
00000de7: SWAP3
00000de8: POP
00000de9: POP
00000dea: POP
00000deb: JUMP
00000dec: JUMPDEST
00000ded: PUSH1 0x00
00000def: DUP1
00000df0: DUP3
00000df1: SWAP1
00000df2: POP
00000df3: PUSH1 0x00
00000df5: JUMPDEST
00000df6: DUP5
00000df7: MLOAD
00000df8: DUP2
00000df9: LT
00000dfa: ISZERO
00000dfb: PUSH2 0x0e94
00000dfe: JUMPI
00000dff: PUSH1 0x00
00000e01: DUP6
00000e02: DUP3
00000e03: DUP2
00000e04: MLOAD
00000e05: DUP2
00000e06: LT
00000e07: PUSH2 0x0e13
00000e0a: JUMPI
00000e0b: PUSH2 0x0e12
00000e0e: PUSH2 0x176a
00000e11: JUMP
00000e12: JUMPDEST
00000e13: JUMPDEST
00000e14: PUSH1 0x20
00000e16: MUL
00000e17: PUSH1 0x20
00000e19: ADD
00000e1a: ADD
00000e1b: MLOAD
00000e1c: SWAP1
00000e1d: POP
00000e1e: DUP1
00000e1f: DUP4
00000e20: GT
00000e21: PUSH2 0x0e54
00000e24: JUMPI
00000e25: DUP3
00000e26: DUP2
00000e27: PUSH1 0x40
00000e29: MLOAD
00000e2a: PUSH1 0x20
00000e2c: ADD
00000e2d: PUSH2 0x0e37
00000e30: SWAP3
00000e31: SWAP2
00000e32: SWAP1
00000e33: PUSH2 0x1321
00000e36: JUMP
00000e37: JUMPDEST
00000e38: PUSH1 0x40
00000e3a: MLOAD
00000e3b: PUSH1 0x20
00000e3d: DUP2
00000e3e: DUP4
00000e3f: SUB
00000e40: SUB
00000e41: DUP2
00000e42: MSTORE
00000e43: SWAP1
00000e44: PUSH1 0x40
00000e46: MSTORE
00000e47: DUP1
00000e48: MLOAD
00000e49: SWAP1
00000e4a: PUSH1 0x20
00000e4c: ADD
00000e4d: KECCAK256
00000e4e: SWAP3
00000e4f: POP
00000e50: PUSH2 0x0e80
00000e53: JUMP
00000e54: JUMPDEST
00000e55: DUP1
00000e56: DUP4
00000e57: PUSH1 0x40
00000e59: MLOAD
00000e5a: PUSH1 0x20
00000e5c: ADD
00000e5d: PUSH2 0x0e67
00000e60: SWAP3
00000e61: SWAP2
00000e62: SWAP1
00000e63: PUSH2 0x1321
00000e66: JUMP
00000e67: JUMPDEST
00000e68: PUSH1 0x40
00000e6a: MLOAD
00000e6b: PUSH1 0x20
00000e6d: DUP2
00000e6e: DUP4
00000e6f: SUB
00000e70: SUB
00000e71: DUP2
00000e72: MSTORE
00000e73: SWAP1
00000e74: PUSH1 0x40
00000e76: MSTORE
00000e77: DUP1
00000e78: MLOAD
00000e79: SWAP1
00000e7a: PUSH1 0x20
00000e7c: ADD
00000e7d: KECCAK256
00000e7e: SWAP3
00000e7f: POP
00000e80: JUMPDEST
00000e81: POP
00000e82: DUP1
00000e83: DUP1
00000e84: PUSH2 0x0e8c
00000e87: SWAP1
00000e88: PUSH2 0x1695
00000e8b: JUMP
00000e8c: JUMPDEST
00000e8d: SWAP2
00000e8e: POP
00000e8f: POP
00000e90: PUSH2 0x0df5
00000e93: JUMP
00000e94: JUMPDEST
00000e95: POP
00000e96: DUP1
00000e97: SWAP2
00000e98: POP
00000e99: POP
00000e9a: SWAP3
00000e9b: SWAP2
00000e9c: POP
00000e9d: POP
00000e9e: JUMP
00000e9f: JUMPDEST
00000ea0: PUSH1 0x00
00000ea2: DUP2
00000ea3: CALLDATALOAD
00000ea4: SWAP1
00000ea5: POP
00000ea6: PUSH2 0x0eae
00000ea9: DUP2
00000eaa: PUSH2 0x19a2
00000ead: JUMP
00000eae: JUMPDEST
00000eaf: SWAP3
00000eb0: SWAP2
00000eb1: POP
00000eb2: POP
00000eb3: JUMP
00000eb4: JUMPDEST
00000eb5: PUSH1 0x00
00000eb7: DUP1
00000eb8: DUP4
00000eb9: PUSH1 0x1f
00000ebb: DUP5
00000ebc: ADD
00000ebd: SLT
00000ebe: PUSH2 0x0eca
00000ec1: JUMPI
00000ec2: PUSH2 0x0ec9
00000ec5: PUSH2 0x179e
00000ec8: JUMP
00000ec9: JUMPDEST
00000eca: JUMPDEST
00000ecb: DUP3
00000ecc: CALLDATALOAD
00000ecd: SWAP1
00000ece: POP
00000ecf: PUSH8 0xffffffffffffffff
00000ed8: DUP2
00000ed9: GT
00000eda: ISZERO
00000edb: PUSH2 0x0ee7
00000ede: JUMPI
00000edf: PUSH2 0x0ee6
00000ee2: PUSH2 0x1799
00000ee5: JUMP
00000ee6: JUMPDEST
00000ee7: JUMPDEST
00000ee8: PUSH1 0x20
00000eea: DUP4
00000eeb: ADD
00000eec: SWAP2
00000eed: POP
00000eee: DUP4
00000eef: PUSH1 0x20
00000ef1: DUP3
00000ef2: MUL
00000ef3: DUP4
00000ef4: ADD
00000ef5: GT
00000ef6: ISZERO
00000ef7: PUSH2 0x0f03
00000efa: JUMPI
00000efb: PUSH2 0x0f02
00000efe: PUSH2 0x17a3
00000f01: JUMP
00000f02: JUMPDEST
00000f03: JUMPDEST
00000f04: SWAP3
00000f05: POP
00000f06: SWAP3
00000f07: SWAP1
00000f08: POP
00000f09: JUMP
00000f0a: JUMPDEST
00000f0b: PUSH1 0x00
00000f0d: DUP2
00000f0e: MLOAD
00000f0f: SWAP1
00000f10: POP
00000f11: PUSH2 0x0f19
00000f14: DUP2
00000f15: PUSH2 0x19b9
00000f18: JUMP
00000f19: JUMPDEST
00000f1a: SWAP3
00000f1b: SWAP2
00000f1c: POP
00000f1d: POP
00000f1e: JUMP
00000f1f: JUMPDEST
00000f20: PUSH1 0x00
00000f22: DUP2
00000f23: CALLDATALOAD
00000f24: SWAP1
00000f25: POP
00000f26: PUSH2 0x0f2e
00000f29: DUP2
00000f2a: PUSH2 0x19d0
00000f2d: JUMP
00000f2e: JUMPDEST
00000f2f: SWAP3
00000f30: SWAP2
00000f31: POP
00000f32: POP
00000f33: JUMP
00000f34: JUMPDEST
00000f35: PUSH1 0x00
00000f37: DUP1
00000f38: DUP4
00000f39: PUSH1 0x1f
00000f3b: DUP5
00000f3c: ADD
00000f3d: SLT
00000f3e: PUSH2 0x0f4a
00000f41: JUMPI
00000f42: PUSH2 0x0f49
00000f45: PUSH2 0x179e
00000f48: JUMP
00000f49: JUMPDEST
00000f4a: JUMPDEST
00000f4b: DUP3
00000f4c: CALLDATALOAD
00000f4d: SWAP1
00000f4e: POP
00000f4f: PUSH8 0xffffffffffffffff
00000f58: DUP2
00000f59: GT
00000f5a: ISZERO
00000f5b: PUSH2 0x0f67
00000f5e: JUMPI
00000f5f: PUSH2 0x0f66
00000f62: PUSH2 0x1799
00000f65: JUMP
00000f66: JUMPDEST
00000f67: JUMPDEST
00000f68: PUSH1 0x20
00000f6a: DUP4
00000f6b: ADD
00000f6c: SWAP2
00000f6d: POP
00000f6e: DUP4
00000f6f: PUSH1 0x01
00000f71: DUP3
00000f72: MUL
00000f73: DUP4
00000f74: ADD
00000f75: GT
00000f76: ISZERO
00000f77: PUSH2 0x0f83
00000f7a: JUMPI
00000f7b: PUSH2 0x0f82
00000f7e: PUSH2 0x17a3
00000f81: JUMP
00000f82: JUMPDEST
00000f83: JUMPDEST
00000f84: SWAP3
00000f85: POP
00000f86: SWAP3
00000f87: SWAP1
00000f88: POP
00000f89: JUMP
00000f8a: JUMPDEST
00000f8b: PUSH1 0x00
00000f8d: DUP2
00000f8e: CALLDATALOAD
00000f8f: SWAP1
00000f90: POP
00000f91: PUSH2 0x0f99
00000f94: DUP2
00000f95: PUSH2 0x19e7
00000f98: JUMP
00000f99: JUMPDEST
00000f9a: SWAP3
00000f9b: SWAP2
00000f9c: POP
00000f9d: POP
00000f9e: JUMP
00000f9f: JUMPDEST
00000fa0: PUSH1 0x00
00000fa2: DUP2
00000fa3: MLOAD
00000fa4: SWAP1
00000fa5: POP
00000fa6: PUSH2 0x0fae
00000fa9: DUP2
00000faa: PUSH2 0x19e7
00000fad: JUMP
00000fae: JUMPDEST
00000faf: SWAP3
00000fb0: SWAP2
00000fb1: POP
00000fb2: POP
00000fb3: JUMP
00000fb4: JUMPDEST
00000fb5: PUSH1 0x00
00000fb7: PUSH1 0x20
00000fb9: DUP3
00000fba: DUP5
00000fbb: SUB
00000fbc: SLT
00000fbd: ISZERO
00000fbe: PUSH2 0x0fca
00000fc1: JUMPI
00000fc2: PUSH2 0x0fc9
00000fc5: PUSH2 0x17ad
00000fc8: JUMP
00000fc9: JUMPDEST
00000fca: JUMPDEST
00000fcb: PUSH1 0x00
00000fcd: PUSH2 0x0fd8
00000fd0: DUP5
00000fd1: DUP3
00000fd2: DUP6
00000fd3: ADD
00000fd4: PUSH2 0x0e9f
00000fd7: JUMP
00000fd8: JUMPDEST
00000fd9: SWAP2
00000fda: POP
00000fdb: POP
00000fdc: SWAP3
00000fdd: SWAP2
00000fde: POP
00000fdf: POP
00000fe0: JUMP
00000fe1: JUMPDEST
00000fe2: PUSH1 0x00
00000fe4: PUSH1 0x20
00000fe6: DUP3
00000fe7: DUP5
00000fe8: SUB
00000fe9: SLT
00000fea: ISZERO
00000feb: PUSH2 0x0ff7
00000fee: JUMPI
00000fef: PUSH2 0x0ff6
00000ff2: PUSH2 0x17ad
00000ff5: JUMP
00000ff6: JUMPDEST
00000ff7: JUMPDEST
00000ff8: PUSH1 0x00
00000ffa: PUSH2 0x1005
00000ffd: DUP5
00000ffe: DUP3
00000fff: DUP6
00001000: ADD
00001001: PUSH2 0x0f0a
00001004: JUMP
00001005: JUMPDEST
00001006: SWAP2
00001007: POP
00001008: POP
00001009: SWAP3
0000100a: SWAP2
0000100b: POP
0000100c: POP
0000100d: JUMP
0000100e: JUMPDEST
0000100f: PUSH1 0x00
00001011: PUSH1 0x20
00001013: DUP3
00001014: DUP5
00001015: SUB
00001016: SLT
00001017: ISZERO
00001018: PUSH2 0x1024
0000101b: JUMPI
0000101c: PUSH2 0x1023
0000101f: PUSH2 0x17ad
00001022: JUMP
00001023: JUMPDEST
00001024: JUMPDEST
00001025: PUSH1 0x00
00001027: PUSH2 0x1032
0000102a: DUP5
0000102b: DUP3
0000102c: DUP6
0000102d: ADD
0000102e: PUSH2 0x0f1f
00001031: JUMP
00001032: JUMPDEST
00001033: SWAP2
00001034: POP
00001035: POP
00001036: SWAP3
00001037: SWAP2
00001038: POP
00001039: POP
0000103a: JUMP
0000103b: JUMPDEST
0000103c: PUSH1 0x00
0000103e: PUSH1 0x20
00001040: DUP3
00001041: DUP5
00001042: SUB
00001043: SLT
00001044: ISZERO
00001045: PUSH2 0x1051
00001048: JUMPI
00001049: PUSH2 0x1050
0000104c: PUSH2 0x17ad
0000104f: JUMP
00001050: JUMPDEST
00001051: JUMPDEST
00001052: PUSH1 0x00
00001054: PUSH2 0x105f
00001057: DUP5
00001058: DUP3
00001059: DUP6
0000105a: ADD
0000105b: PUSH2 0x0f8a
0000105e: JUMP
0000105f: JUMPDEST
00001060: SWAP2
00001061: POP
00001062: POP
00001063: SWAP3
00001064: SWAP2
00001065: POP
00001066: POP
00001067: JUMP
00001068: JUMPDEST
00001069: PUSH1 0x00
0000106b: PUSH1 0x20
0000106d: DUP3
0000106e: DUP5
0000106f: SUB
00001070: SLT
00001071: ISZERO
00001072: PUSH2 0x107e
00001075: JUMPI
00001076: PUSH2 0x107d
00001079: PUSH2 0x17ad
0000107c: JUMP
0000107d: JUMPDEST
0000107e: JUMPDEST
0000107f: PUSH1 0x00
00001081: PUSH2 0x108c
00001084: DUP5
00001085: DUP3
00001086: DUP6
00001087: ADD
00001088: PUSH2 0x0f9f
0000108b: JUMP
0000108c: JUMPDEST
0000108d: SWAP2
0000108e: POP
0000108f: POP
00001090: SWAP3
00001091: SWAP2
00001092: POP
00001093: POP
00001094: JUMP
00001095: JUMPDEST
00001096: PUSH1 0x00
00001098: DUP1
00001099: PUSH1 0x00
0000109b: DUP1
0000109c: PUSH1 0x00
0000109e: DUP1
0000109f: PUSH1 0x80
000010a1: DUP8
000010a2: DUP10
000010a3: SUB
000010a4: SLT
000010a5: ISZERO
000010a6: PUSH2 0x10b2
000010a9: JUMPI
000010aa: PUSH2 0x10b1
000010ad: PUSH2 0x17ad
000010b0: JUMP
000010b1: JUMPDEST
000010b2: JUMPDEST
000010b3: PUSH1 0x00
000010b5: PUSH2 0x10c0
000010b8: DUP10
000010b9: DUP3
000010ba: DUP11
000010bb: ADD
000010bc: PUSH2 0x0f8a
000010bf: JUMP
000010c0: JUMPDEST
000010c1: SWAP7
000010c2: POP
000010c3: POP
000010c4: PUSH1 0x20
000010c6: PUSH2 0x10d1
000010c9: DUP10
000010ca: DUP3
000010cb: DUP11
000010cc: ADD
000010cd: PUSH2 0x0e9f
000010d0: JUMP
000010d1: JUMPDEST
000010d2: SWAP6
000010d3: POP
000010d4: POP
000010d5: PUSH1 0x40
000010d7: DUP8
000010d8: ADD
000010d9: CALLDATALOAD
000010da: PUSH8 0xffffffffffffffff
000010e3: DUP2
000010e4: GT
000010e5: ISZERO
000010e6: PUSH2 0x10f2
000010e9: JUMPI
000010ea: PUSH2 0x10f1
000010ed: PUSH2 0x17a8
000010f0: JUMP
000010f1: JUMPDEST
000010f2: JUMPDEST
000010f3: PUSH2 0x10fe
000010f6: DUP10
000010f7: DUP3
000010f8: DUP11
000010f9: ADD
000010fa: PUSH2 0x0f34
000010fd: JUMP
000010fe: JUMPDEST
000010ff: SWAP5
00001100: POP
00001101: SWAP5
00001102: POP
00001103: POP
00001104: PUSH1 0x60
00001106: DUP8
00001107: ADD
00001108: CALLDATALOAD
00001109: PUSH8 0xffffffffffffffff
00001112: DUP2
00001113: GT
00001114: ISZERO
00001115: PUSH2 0x1121
00001118: JUMPI
00001119: PUSH2 0x1120
0000111c: PUSH2 0x17a8
0000111f: JUMP
00001120: JUMPDEST
00001121: JUMPDEST
00001122: PUSH2 0x112d
00001125: DUP10
00001126: DUP3
00001127: DUP11
00001128: ADD
00001129: PUSH2 0x0eb4
0000112c: JUMP
0000112d: JUMPDEST
0000112e: SWAP3
0000112f: POP
00001130: SWAP3
00001131: POP
00001132: POP
00001133: SWAP3
00001134: SWAP6
00001135: POP
00001136: SWAP3
00001137: SWAP6
00001138: POP
00001139: SWAP3
0000113a: SWAP6
0000113b: JUMP
0000113c: JUMPDEST
0000113d: PUSH2 0x1145
00001140: DUP2
00001141: PUSH2 0x1634
00001144: JUMP
00001145: JUMPDEST
00001146: DUP3
00001147: MSTORE
00001148: POP
00001149: POP
0000114a: JUMP
0000114b: JUMPDEST
0000114c: PUSH2 0x115c
0000114f: PUSH2 0x1157
00001152: DUP3
00001153: PUSH2 0x1634
00001156: JUMP
00001157: JUMPDEST
00001158: PUSH2 0x16de
0000115b: JUMP
0000115c: JUMPDEST
0000115d: DUP3
0000115e: MSTORE
0000115f: POP
00001160: POP
00001161: JUMP
00001162: JUMPDEST
00001163: PUSH2 0x116b
00001166: DUP2
00001167: PUSH2 0x1652
0000116a: JUMP
0000116b: JUMPDEST
0000116c: DUP3
0000116d: MSTORE
0000116e: POP
0000116f: POP
00001170: JUMP
00001171: JUMPDEST
00001172: PUSH2 0x1182
00001175: PUSH2 0x117d
00001178: DUP3
00001179: PUSH2 0x1652
0000117c: JUMP
0000117d: JUMPDEST
0000117e: PUSH2 0x16f0
00001181: JUMP
00001182: JUMPDEST
00001183: DUP3
00001184: MSTORE
00001185: POP
00001186: POP
00001187: JUMP
00001188: JUMPDEST
00001189: PUSH1 0x00
0000118b: PUSH2 0x1194
0000118e: DUP4
0000118f: DUP6
00001190: PUSH2 0x1548
00001193: JUMP
00001194: JUMPDEST
00001195: SWAP4
00001196: POP
00001197: PUSH2 0x11a1
0000119a: DUP4
0000119b: DUP6
0000119c: DUP5
0000119d: PUSH2 0x1686
000011a0: JUMP
000011a1: JUMPDEST
000011a2: DUP3
000011a3: DUP5
000011a4: ADD
000011a5: SWAP1
000011a6: POP
000011a7: SWAP4
000011a8: SWAP3
000011a9: POP
000011aa: POP
000011ab: POP
000011ac: JUMP
000011ad: JUMPDEST
000011ae: PUSH1 0x00
000011b0: PUSH2 0x11ba
000011b3: PUSH1 0x14
000011b5: DUP4
000011b6: PUSH2 0x1537
000011b9: JUMP
000011ba: JUMPDEST
000011bb: SWAP2
000011bc: POP
000011bd: PUSH2 0x11c5
000011c0: DUP3
000011c1: PUSH2 0x17bf
000011c4: JUMP
000011c5: JUMPDEST
000011c6: PUSH1 0x20
000011c8: DUP3
000011c9: ADD
000011ca: SWAP1
000011cb: POP
000011cc: SWAP2
000011cd: SWAP1
000011ce: POP
000011cf: JUMP
000011d0: JUMPDEST
000011d1: PUSH1 0x00
000011d3: PUSH2 0x11dd
000011d6: PUSH1 0x26
000011d8: DUP4
000011d9: PUSH2 0x1537
000011dc: JUMP
000011dd: JUMPDEST
000011de: SWAP2
000011df: POP
000011e0: PUSH2 0x11e8
000011e3: DUP3
000011e4: PUSH2 0x17e8
000011e7: JUMP
000011e8: JUMPDEST
000011e9: PUSH1 0x40
000011eb: DUP3
000011ec: ADD
000011ed: SWAP1
000011ee: POP
000011ef: SWAP2
000011f0: SWAP1
000011f1: POP
000011f2: JUMP
000011f3: JUMPDEST
000011f4: PUSH1 0x00
000011f6: PUSH2 0x1200
000011f9: PUSH1 0x10
000011fb: DUP4
000011fc: PUSH2 0x1537
000011ff: JUMP
00001200: JUMPDEST
00001201: SWAP2
00001202: POP
00001203: PUSH2 0x120b
00001206: DUP3
00001207: PUSH2 0x1837
0000120a: JUMP
0000120b: JUMPDEST
0000120c: PUSH1 0x20
0000120e: DUP3
0000120f: ADD
00001210: SWAP1
00001211: POP
00001212: SWAP2
00001213: SWAP1
00001214: POP
00001215: JUMP
00001216: JUMPDEST
00001217: PUSH1 0x00
00001219: PUSH2 0x1223
0000121c: PUSH1 0x20
0000121e: DUP4
0000121f: PUSH2 0x1537
00001222: JUMP
00001223: JUMPDEST
00001224: SWAP2
00001225: POP
00001226: PUSH2 0x122e
00001229: DUP3
0000122a: PUSH2 0x1860
0000122d: JUMP
0000122e: JUMPDEST
0000122f: PUSH1 0x20
00001231: DUP3
00001232: ADD
00001233: SWAP1
00001234: POP
00001235: SWAP2
00001236: SWAP1
00001237: POP
00001238: JUMP
00001239: JUMPDEST
0000123a: PUSH1 0x00
0000123c: PUSH2 0x1246
0000123f: PUSH1 0x25
00001241: DUP4
00001242: PUSH2 0x1537
00001245: JUMP
00001246: JUMPDEST
00001247: SWAP2
00001248: POP
00001249: PUSH2 0x1251
0000124c: DUP3
0000124d: PUSH2 0x1889
00001250: JUMP
00001251: JUMPDEST
00001252: PUSH1 0x40
00001254: DUP3
00001255: ADD
00001256: SWAP1
00001257: POP
00001258: SWAP2
00001259: SWAP1
0000125a: POP
0000125b: JUMP
0000125c: JUMPDEST
0000125d: PUSH1 0x00
0000125f: PUSH2 0x1269
00001262: PUSH1 0x23
00001264: DUP4
00001265: PUSH2 0x1537
00001268: JUMP
00001269: JUMPDEST
0000126a: SWAP2
0000126b: POP
0000126c: PUSH2 0x1274
0000126f: DUP3
00001270: PUSH2 0x18d8
00001273: JUMP
00001274: JUMPDEST
00001275: PUSH1 0x40
00001277: DUP3
00001278: ADD
00001279: SWAP1
0000127a: POP
0000127b: SWAP2
0000127c: SWAP1
0000127d: POP
0000127e: JUMP
0000127f: JUMPDEST
00001280: PUSH1 0x00
00001282: PUSH2 0x128c
00001285: PUSH1 0x19
00001287: DUP4
00001288: PUSH2 0x1537
0000128b: JUMP
0000128c: JUMPDEST
0000128d: SWAP2
0000128e: POP
0000128f: PUSH2 0x1297
00001292: DUP3
00001293: PUSH2 0x1927
00001296: JUMP
00001297: JUMPDEST
00001298: PUSH1 0x20
0000129a: DUP3
0000129b: ADD
0000129c: SWAP1
0000129d: POP
0000129e: SWAP2
0000129f: SWAP1
000012a0: POP
000012a1: JUMP
000012a2: JUMPDEST
000012a3: PUSH1 0x00
000012a5: PUSH2 0x12af
000012a8: PUSH1 0x00
000012aa: DUP4
000012ab: PUSH2 0x152c
000012ae: JUMP
000012af: JUMPDEST
000012b0: SWAP2
000012b1: POP
000012b2: PUSH2 0x12ba
000012b5: DUP3
000012b6: PUSH2 0x1950
000012b9: JUMP
000012ba: JUMPDEST
000012bb: PUSH1 0x00
000012bd: DUP3
000012be: ADD
000012bf: SWAP1
000012c0: POP
000012c1: SWAP2
000012c2: SWAP1
000012c3: POP
000012c4: JUMP
000012c5: JUMPDEST
000012c6: PUSH1 0x00
000012c8: PUSH2 0x12d2
000012cb: PUSH1 0x25
000012cd: DUP4
000012ce: PUSH2 0x1537
000012d1: JUMP
000012d2: JUMPDEST
000012d3: SWAP2
000012d4: POP
000012d5: PUSH2 0x12dd
000012d8: DUP3
000012d9: PUSH2 0x1953
000012dc: JUMP
000012dd: JUMPDEST
000012de: PUSH1 0x40
000012e0: DUP3
000012e1: ADD
000012e2: SWAP1
000012e3: POP
000012e4: SWAP2
000012e5: SWAP1
000012e6: POP
000012e7: JUMP
000012e8: JUMPDEST
000012e9: PUSH2 0x12f1
000012ec: DUP2
000012ed: PUSH2 0x167c
000012f0: JUMP
000012f1: JUMPDEST
000012f2: DUP3
000012f3: MSTORE
000012f4: POP
000012f5: POP
000012f6: JUMP
000012f7: JUMPDEST
000012f8: PUSH1 0x00
000012fa: PUSH2 0x1303
000012fd: DUP3
000012fe: DUP7
000012ff: PUSH2 0x114b
00001302: JUMP
00001303: JUMPDEST
00001304: PUSH1 0x14
00001306: DUP3
00001307: ADD
00001308: SWAP2
00001309: POP
0000130a: PUSH2 0x1314
0000130d: DUP3
0000130e: DUP5
0000130f: DUP7
00001310: PUSH2 0x1188
00001313: JUMP
00001314: JUMPDEST
00001315: SWAP2
00001316: POP
00001317: DUP2
00001318: SWAP1
00001319: POP
0000131a: SWAP5
0000131b: SWAP4
0000131c: POP
0000131d: POP
0000131e: POP
0000131f: POP
00001320: JUMP
00001321: JUMPDEST
00001322: PUSH1 0x00
00001324: PUSH2 0x132d
00001327: DUP3
00001328: DUP6
00001329: PUSH2 0x1171
0000132c: JUMP
0000132d: JUMPDEST
0000132e: PUSH1 0x20
00001330: DUP3
00001331: ADD
00001332: SWAP2
00001333: POP
00001334: PUSH2 0x133d
00001337: DUP3
00001338: DUP5
00001339: PUSH2 0x1171
0000133c: JUMP
0000133d: JUMPDEST
0000133e: PUSH1 0x20
00001340: DUP3
00001341: ADD
00001342: SWAP2
00001343: POP
00001344: DUP2
00001345: SWAP1
00001346: POP
00001347: SWAP4
00001348: SWAP3
00001349: POP
0000134a: POP
0000134b: POP
0000134c: JUMP
0000134d: JUMPDEST
0000134e: PUSH1 0x00
00001350: PUSH2 0x135a
00001353: DUP3
00001354: DUP5
00001355: DUP7
00001356: PUSH2 0x1188
00001359: JUMP
0000135a: JUMPDEST
0000135b: SWAP2
0000135c: POP
0000135d: DUP2
0000135e: SWAP1
0000135f: POP
00001360: SWAP4
00001361: SWAP3
00001362: POP
00001363: POP
00001364: POP
00001365: JUMP
00001366: JUMPDEST
00001367: PUSH1 0x00
00001369: PUSH2 0x1371
0000136c: DUP3
0000136d: PUSH2 0x12a2
00001370: JUMP
00001371: JUMPDEST
00001372: SWAP2
00001373: POP
00001374: DUP2
00001375: SWAP1
00001376: POP
00001377: SWAP2
00001378: SWAP1
00001379: POP
0000137a: JUMP
0000137b: JUMPDEST
0000137c: PUSH1 0x00
0000137e: PUSH1 0x20
00001380: DUP3
00001381: ADD
00001382: SWAP1
00001383: POP
00001384: PUSH2 0x1390
00001387: PUSH1 0x00
00001389: DUP4
0000138a: ADD
0000138b: DUP5
0000138c: PUSH2 0x113c
0000138f: JUMP
00001390: JUMPDEST
00001391: SWAP3
00001392: SWAP2
00001393: POP
00001394: POP
00001395: JUMP
00001396: JUMPDEST
00001397: PUSH1 0x00
00001399: PUSH1 0x40
0000139b: DUP3
0000139c: ADD
0000139d: SWAP1
0000139e: POP
0000139f: PUSH2 0x13ab
000013a2: PUSH1 0x00
000013a4: DUP4
000013a5: ADD
000013a6: DUP6
000013a7: PUSH2 0x113c
000013aa: JUMP
000013ab: JUMPDEST
000013ac: PUSH2 0x13b8
000013af: PUSH1 0x20
000013b1: DUP4
000013b2: ADD
000013b3: DUP5
000013b4: PUSH2 0x12e8
000013b7: JUMP
000013b8: JUMPDEST
000013b9: SWAP4
000013ba: SWAP3
000013bb: POP
000013bc: POP
000013bd: POP
000013be: JUMP
000013bf: JUMPDEST
000013c0: PUSH1 0x00
000013c2: PUSH1 0x20
000013c4: DUP3
000013c5: ADD
000013c6: SWAP1
000013c7: POP
000013c8: PUSH2 0x13d4
000013cb: PUSH1 0x00
000013cd: DUP4
000013ce: ADD
000013cf: DUP5
000013d0: PUSH2 0x1162
000013d3: JUMP
000013d4: JUMPDEST
000013d5: SWAP3
000013d6: SWAP2
000013d7: POP
000013d8: POP
000013d9: JUMP
000013da: JUMPDEST
000013db: PUSH1 0x00
000013dd: PUSH1 0x20
000013df: DUP3
000013e0: ADD
000013e1: SWAP1
000013e2: POP
000013e3: DUP2
000013e4: DUP2
000013e5: SUB
000013e6: PUSH1 0x00
000013e8: DUP4
000013e9: ADD
000013ea: MSTORE
000013eb: PUSH2 0x13f3
000013ee: DUP2
000013ef: PUSH2 0x11ad
000013f2: JUMP
000013f3: JUMPDEST
000013f4: SWAP1
000013f5: POP
000013f6: SWAP2
000013f7: SWAP1
000013f8: POP
000013f9: JUMP
000013fa: JUMPDEST
000013fb: PUSH1 0x00
000013fd: PUSH1 0x20
000013ff: DUP3
00001400: ADD
00001401: SWAP1
00001402: POP
00001403: DUP2
00001404: DUP2
00001405: SUB
00001406: PUSH1 0x00
00001408: DUP4
00001409: ADD
0000140a: MSTORE
0000140b: PUSH2 0x1413
0000140e: DUP2
0000140f: PUSH2 0x11d0
00001412: JUMP
00001413: JUMPDEST
00001414: SWAP1
00001415: POP
00001416: SWAP2
00001417: SWAP1
00001418: POP
00001419: JUMP
0000141a: JUMPDEST
0000141b: PUSH1 0x00
0000141d: PUSH1 0x20
0000141f: DUP3
00001420: ADD
00001421: SWAP1
00001422: POP
00001423: DUP2
00001424: DUP2
00001425: SUB
00001426: PUSH1 0x00
00001428: DUP4
00001429: ADD
0000142a: MSTORE
0000142b: PUSH2 0x1433
0000142e: DUP2
0000142f: PUSH2 0x11f3
00001432: JUMP
00001433: JUMPDEST
00001434: SWAP1
00001435: POP
00001436: SWAP2
00001437: SWAP1
00001438: POP
00001439: JUMP
0000143a: JUMPDEST
0000143b: PUSH1 0x00
0000143d: PUSH1 0x20
0000143f: DUP3
00001440: ADD
00001441: SWAP1
00001442: POP
00001443: DUP2
00001444: DUP2
00001445: SUB
00001446: PUSH1 0x00
00001448: DUP4
00001449: ADD
0000144a: MSTORE
0000144b: PUSH2 0x1453
0000144e: DUP2
0000144f: PUSH2 0x1216
00001452: JUMP
00001453: JUMPDEST
00001454: SWAP1
00001455: POP
00001456: SWAP2
00001457: SWAP1
00001458: POP
00001459: JUMP
0000145a: JUMPDEST
0000145b: PUSH1 0x00
0000145d: PUSH1 0x20
0000145f: DUP3
00001460: ADD
00001461: SWAP1
00001462: POP
00001463: DUP2
00001464: DUP2
00001465: SUB
00001466: PUSH1 0x00
00001468: DUP4
00001469: ADD
0000146a: MSTORE
0000146b: PUSH2 0x1473
0000146e: DUP2
0000146f: PUSH2 0x1239
00001472: JUMP
00001473: JUMPDEST
00001474: SWAP1
00001475: POP
00001476: SWAP2
00001477: SWAP1
00001478: POP
00001479: JUMP
0000147a: JUMPDEST
0000147b: PUSH1 0x00
0000147d: PUSH1 0x20
0000147f: DUP3
00001480: ADD
00001481: SWAP1
00001482: POP
00001483: DUP2
00001484: DUP2
00001485: SUB
00001486: PUSH1 0x00
00001488: DUP4
00001489: ADD
0000148a: MSTORE
0000148b: PUSH2 0x1493
0000148e: DUP2
0000148f: PUSH2 0x125c
00001492: JUMP
00001493: JUMPDEST
00001494: SWAP1
00001495: POP
00001496: SWAP2
00001497: SWAP1
00001498: POP
00001499: JUMP
0000149a: JUMPDEST
0000149b: PUSH1 0x00
0000149d: PUSH1 0x20
0000149f: DUP3
000014a0: ADD
000014a1: SWAP1
000014a2: POP
000014a3: DUP2
000014a4: DUP2
000014a5: SUB
000014a6: PUSH1 0x00
000014a8: DUP4
000014a9: ADD
000014aa: MSTORE
000014ab: PUSH2 0x14b3
000014ae: DUP2
000014af: PUSH2 0x127f
000014b2: JUMP
000014b3: JUMPDEST
000014b4: SWAP1
000014b5: POP
000014b6: SWAP2
000014b7: SWAP1
000014b8: POP
000014b9: JUMP
000014ba: JUMPDEST
000014bb: PUSH1 0x00
000014bd: PUSH1 0x20
000014bf: DUP3
000014c0: ADD
000014c1: SWAP1
000014c2: POP
000014c3: DUP2
000014c4: DUP2
000014c5: SUB
000014c6: PUSH1 0x00
000014c8: DUP4
000014c9: ADD
000014ca: MSTORE
000014cb: PUSH2 0x14d3
000014ce: DUP2
000014cf: PUSH2 0x12c5
000014d2: JUMP
000014d3: JUMPDEST
000014d4: SWAP1
000014d5: POP
000014d6: SWAP2
000014d7: SWAP1
000014d8: POP
000014d9: JUMP
000014da: JUMPDEST
000014db: PUSH1 0x00
000014dd: PUSH1 0x20
000014df: DUP3
000014e0: ADD
000014e1: SWAP1
000014e2: POP
000014e3: PUSH2 0x14ef
000014e6: PUSH1 0x00
000014e8: DUP4
000014e9: ADD
000014ea: DUP5
000014eb: PUSH2 0x12e8
000014ee: JUMP
000014ef: JUMPDEST
000014f0: SWAP3
000014f1: SWAP2
000014f2: POP
000014f3: POP
000014f4: JUMP
000014f5: JUMPDEST
000014f6: PUSH1 0x00
000014f8: PUSH1 0x60
000014fa: DUP3
000014fb: ADD
000014fc: SWAP1
000014fd: POP
000014fe: PUSH2 0x150a
00001501: PUSH1 0x00
00001503: DUP4
00001504: ADD
00001505: DUP7
00001506: PUSH2 0x12e8
00001509: JUMP
0000150a: JUMPDEST
0000150b: PUSH2 0x1517
0000150e: PUSH1 0x20
00001510: DUP4
00001511: ADD
00001512: DUP6
00001513: PUSH2 0x12e8
00001516: JUMP
00001517: JUMPDEST
00001518: PUSH2 0x1524
0000151b: PUSH1 0x40
0000151d: DUP4
0000151e: ADD
0000151f: DUP5
00001520: PUSH2 0x12e8
00001523: JUMP
00001524: JUMPDEST
00001525: SWAP5
00001526: SWAP4
00001527: POP
00001528: POP
00001529: POP
0000152a: POP
0000152b: JUMP
0000152c: JUMPDEST
0000152d: PUSH1 0x00
0000152f: DUP2
00001530: SWAP1
00001531: POP
00001532: SWAP3
00001533: SWAP2
00001534: POP
00001535: POP
00001536: JUMP
00001537: JUMPDEST
00001538: PUSH1 0x00
0000153a: DUP3
0000153b: DUP3
0000153c: MSTORE
0000153d: PUSH1 0x20
0000153f: DUP3
00001540: ADD
00001541: SWAP1
00001542: POP
00001543: SWAP3
00001544: SWAP2
00001545: POP
00001546: POP
00001547: JUMP
00001548: JUMPDEST
00001549: PUSH1 0x00
0000154b: DUP2
0000154c: SWAP1
0000154d: POP
0000154e: SWAP3
0000154f: SWAP2
00001550: POP
00001551: POP
00001552: JUMP
00001553: JUMPDEST
00001554: PUSH1 0x00
00001556: PUSH2 0x155e
00001559: DUP3
0000155a: PUSH2 0x167c
0000155d: JUMP
0000155e: JUMPDEST
0000155f: SWAP2
00001560: POP
00001561: PUSH2 0x1569
00001564: DUP4
00001565: PUSH2 0x167c
00001568: JUMP
00001569: JUMPDEST
0000156a: SWAP3
0000156b: POP
0000156c: DUP3
0000156d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000158e: SUB
0000158f: DUP3
00001590: GT
00001591: ISZERO
00001592: PUSH2 0x159e
00001595: JUMPI
00001596: PUSH2 0x159d
00001599: PUSH2 0x170c
0000159c: JUMP
0000159d: JUMPDEST
0000159e: JUMPDEST
0000159f: DUP3
000015a0: DUP3
000015a1: ADD
000015a2: SWAP1
000015a3: POP
000015a4: SWAP3
000015a5: SWAP2
000015a6: POP
000015a7: POP
000015a8: JUMP
000015a9: JUMPDEST
000015aa: PUSH1 0x00
000015ac: PUSH2 0x15b4
000015af: DUP3
000015b0: PUSH2 0x167c
000015b3: JUMP
000015b4: JUMPDEST
000015b5: SWAP2
000015b6: POP
000015b7: PUSH2 0x15bf
000015ba: DUP4
000015bb: PUSH2 0x167c
000015be: JUMP
000015bf: JUMPDEST
000015c0: SWAP3
000015c1: POP
000015c2: DUP3
000015c3: PUSH2 0x15cf
000015c6: JUMPI
000015c7: PUSH2 0x15ce
000015ca: PUSH2 0x173b
000015cd: JUMP
000015ce: JUMPDEST
000015cf: JUMPDEST
000015d0: DUP3
000015d1: DUP3
000015d2: DIV
000015d3: SWAP1
000015d4: POP
000015d5: SWAP3
000015d6: SWAP2
000015d7: POP
000015d8: POP
000015d9: JUMP
000015da: JUMPDEST
000015db: PUSH1 0x00
000015dd: PUSH2 0x15e5
000015e0: DUP3
000015e1: PUSH2 0x167c
000015e4: JUMP
000015e5: JUMPDEST
000015e6: SWAP2
000015e7: POP
000015e8: PUSH2 0x15f0
000015eb: DUP4
000015ec: PUSH2 0x167c
000015ef: JUMP
000015f0: JUMPDEST
000015f1: SWAP3
000015f2: POP
000015f3: DUP2
000015f4: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001615: DIV
00001616: DUP4
00001617: GT
00001618: DUP3
00001619: ISZERO
0000161a: ISZERO
0000161b: AND
0000161c: ISZERO
0000161d: PUSH2 0x1629
00001620: JUMPI
00001621: PUSH2 0x1628
00001624: PUSH2 0x170c
00001627: JUMP
00001628: JUMPDEST
00001629: JUMPDEST
0000162a: DUP3
0000162b: DUP3
0000162c: MUL
0000162d: SWAP1
0000162e: POP
0000162f: SWAP3
00001630: SWAP2
00001631: POP
00001632: POP
00001633: JUMP
00001634: JUMPDEST
00001635: PUSH1 0x00
00001637: PUSH2 0x163f
0000163a: DUP3
0000163b: PUSH2 0x165c
0000163e: JUMP
0000163f: JUMPDEST
00001640: SWAP1
00001641: POP
00001642: SWAP2
00001643: SWAP1
00001644: POP
00001645: JUMP
00001646: JUMPDEST
00001647: PUSH1 0x00
00001649: DUP2
0000164a: ISZERO
0000164b: ISZERO
0000164c: SWAP1
0000164d: POP
0000164e: SWAP2
0000164f: SWAP1
00001650: POP
00001651: JUMP
00001652: JUMPDEST
00001653: PUSH1 0x00
00001655: DUP2
00001656: SWAP1
00001657: POP
00001658: SWAP2
00001659: SWAP1
0000165a: POP
0000165b: JUMP
0000165c: JUMPDEST
0000165d: PUSH1 0x00
0000165f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001674: DUP3
00001675: AND
00001676: SWAP1
00001677: POP
00001678: SWAP2
00001679: SWAP1
0000167a: POP
0000167b: JUMP
0000167c: JUMPDEST
0000167d: PUSH1 0x00
0000167f: DUP2
00001680: SWAP1
00001681: POP
00001682: SWAP2
00001683: SWAP1
00001684: POP
00001685: JUMP
00001686: JUMPDEST
00001687: DUP3
00001688: DUP2
00001689: DUP4
0000168a: CALLDATACOPY
0000168b: PUSH1 0x00
0000168d: DUP4
0000168e: DUP4
0000168f: ADD
00001690: MSTORE
00001691: POP
00001692: POP
00001693: POP
00001694: JUMP
00001695: JUMPDEST
00001696: PUSH1 0x00
00001698: PUSH2 0x16a0
0000169b: DUP3
0000169c: PUSH2 0x167c
0000169f: JUMP
000016a0: JUMPDEST
000016a1: SWAP2
000016a2: POP
000016a3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000016c4: DUP3
000016c5: EQ
000016c6: ISZERO
000016c7: PUSH2 0x16d3
000016ca: JUMPI
000016cb: PUSH2 0x16d2
000016ce: PUSH2 0x170c
000016d1: JUMP
000016d2: JUMPDEST
000016d3: JUMPDEST
000016d4: PUSH1 0x01
000016d6: DUP3
000016d7: ADD
000016d8: SWAP1
000016d9: POP
000016da: SWAP2
000016db: SWAP1
000016dc: POP
000016dd: JUMP
000016de: JUMPDEST
000016df: PUSH1 0x00
000016e1: PUSH2 0x16e9
000016e4: DUP3
000016e5: PUSH2 0x16fa
000016e8: JUMP
000016e9: JUMPDEST
000016ea: SWAP1
000016eb: POP
000016ec: SWAP2
000016ed: SWAP1
000016ee: POP
000016ef: JUMP
000016f0: JUMPDEST
000016f1: PUSH1 0x00
000016f3: DUP2
000016f4: SWAP1
000016f5: POP
000016f6: SWAP2
000016f7: SWAP1
000016f8: POP
000016f9: JUMP
000016fa: JUMPDEST
000016fb: PUSH1 0x00
000016fd: PUSH2 0x1705
00001700: DUP3
00001701: PUSH2 0x17b2
00001704: JUMP
00001705: JUMPDEST
00001706: SWAP1
00001707: POP
00001708: SWAP2
00001709: SWAP1
0000170a: POP
0000170b: JUMP
0000170c: JUMPDEST
0000170d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000172e: PUSH1 0x00
00001730: MSTORE
00001731: PUSH1 0x11
00001733: PUSH1 0x04
00001735: MSTORE
00001736: PUSH1 0x24
00001738: PUSH1 0x00
0000173a: REVERT
0000173b: JUMPDEST
0000173c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000175d: PUSH1 0x00
0000175f: MSTORE
00001760: PUSH1 0x12
00001762: PUSH1 0x04
00001764: MSTORE
00001765: PUSH1 0x24
00001767: PUSH1 0x00
00001769: REVERT
0000176a: JUMPDEST
0000176b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000178c: PUSH1 0x00
0000178e: MSTORE
0000178f: PUSH1 0x32
00001791: PUSH1 0x04
00001793: MSTORE
00001794: PUSH1 0x24
00001796: PUSH1 0x00
00001798: REVERT
00001799: JUMPDEST
0000179a: PUSH1 0x00
0000179c: DUP1
0000179d: REVERT
0000179e: JUMPDEST
0000179f: PUSH1 0x00
000017a1: DUP1
000017a2: REVERT
000017a3: JUMPDEST
000017a4: PUSH1 0x00
000017a6: DUP1
000017a7: REVERT
000017a8: JUMPDEST
000017a9: PUSH1 0x00
000017ab: DUP1
000017ac: REVERT
000017ad: JUMPDEST
000017ae: PUSH1 0x00
000017b0: DUP1
000017b1: REVERT
000017b2: JUMPDEST
000017b3: PUSH1 0x00
000017b5: DUP2
000017b6: PUSH1 0x60
000017b8: SHL
000017b9: SWAP1
000017ba: POP
000017bb: SWAP2
000017bc: SWAP1
000017bd: POP
000017be: JUMP
000017bf: JUMPDEST
000017c0: PUSH32 0x496e76616c6964206d65726b6c6550726f6f662e000000000000000000000000
000017e1: PUSH1 0x00
000017e3: DUP3
000017e4: ADD
000017e5: MSTORE
000017e6: POP
000017e7: JUMP
000017e8: JUMPDEST
000017e9: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
0000180a: PUSH1 0x00
0000180c: DUP3
0000180d: ADD
0000180e: MSTORE
0000180f: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00001830: PUSH1 0x20
00001832: DUP3
00001833: ADD
00001834: MSTORE
00001835: POP
00001836: JUMP
00001837: JUMPDEST
00001838: PUSH32 0x5769746864726177206661696c65642e00000000000000000000000000000000
00001859: PUSH1 0x00
0000185b: DUP3
0000185c: ADD
0000185d: MSTORE
0000185e: POP
0000185f: JUMP
00001860: JUMPDEST
00001861: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001882: PUSH1 0x00
00001884: DUP3
00001885: ADD
00001886: MSTORE
00001887: POP
00001888: JUMP
00001889: JUMPDEST
0000188a: PUSH32 0x547269656420746f20627579206d6f7265207468616e20746f6b656e206d6178
000018ab: PUSH1 0x00
000018ad: DUP3
000018ae: ADD
000018af: MSTORE
000018b0: PUSH32 0x696d756d2e000000000000000000000000000000000000000000000000000000
000018d1: PUSH1 0x20
000018d3: DUP3
000018d4: ADD
000018d5: MSTORE
000018d6: POP
000018d7: JUMP
000018d8: JUMPDEST
000018d9: PUSH32 0x526566657272616c20636f64652068617320616c7265616479206265656e2075
000018fa: PUSH1 0x00
000018fc: DUP3
000018fd: ADD
000018fe: MSTORE
000018ff: PUSH32 0x7365640000000000000000000000000000000000000000000000000000000000
00001920: PUSH1 0x20
00001922: DUP3
00001923: ADD
00001924: MSTORE
00001925: POP
00001926: JUMP
00001927: JUMPDEST
00001928: PUSH32 0x53656e742077726f6e6720616d6f756e74206f66204554482e00000000000000
00001949: PUSH1 0x00
0000194b: DUP3
0000194c: ADD
0000194d: MSTORE
0000194e: POP
0000194f: JUMP
00001950: JUMPDEST
00001951: POP
00001952: JUMP
00001953: JUMPDEST
00001954: PUSH32 0x547269656420746f20627579206c657373207468616e20746f6b656e206d696e
00001975: PUSH1 0x00
00001977: DUP3
00001978: ADD
00001979: MSTORE
0000197a: PUSH32 0x696d756d2e000000000000000000000000000000000000000000000000000000
0000199b: PUSH1 0x20
0000199d: DUP3
0000199e: ADD
0000199f: MSTORE
000019a0: POP
000019a1: JUMP
000019a2: JUMPDEST
000019a3: PUSH2 0x19ab
000019a6: DUP2
000019a7: PUSH2 0x1634
000019aa: JUMP
000019ab: JUMPDEST
000019ac: DUP2
000019ad: EQ
000019ae: PUSH2 0x19b6
000019b1: JUMPI
000019b2: PUSH1 0x00
000019b4: DUP1
000019b5: REVERT
000019b6: JUMPDEST
000019b7: POP
000019b8: JUMP
000019b9: JUMPDEST
000019ba: PUSH2 0x19c2
000019bd: DUP2
000019be: PUSH2 0x1646
000019c1: JUMP
000019c2: JUMPDEST
000019c3: DUP2
000019c4: EQ
000019c5: PUSH2 0x19cd
000019c8: JUMPI
000019c9: PUSH1 0x00
000019cb: DUP1
000019cc: REVERT
000019cd: JUMPDEST
000019ce: POP
000019cf: JUMP
000019d0: JUMPDEST
000019d1: PUSH2 0x19d9
000019d4: DUP2
000019d5: PUSH2 0x1652
000019d8: JUMP
000019d9: JUMPDEST
000019da: DUP2
000019db: EQ
000019dc: PUSH2 0x19e4
000019df: JUMPI
000019e0: PUSH1 0x00
000019e2: DUP1
000019e3: REVERT
000019e4: JUMPDEST
000019e5: POP
000019e6: JUMP
000019e7: JUMPDEST
000019e8: PUSH2 0x19f0
000019eb: DUP2
000019ec: PUSH2 0x167c
000019ef: JUMP
000019f0: JUMPDEST
000019f1: DUP2
000019f2: EQ
000019f3: PUSH2 0x19fb
000019f6: JUMPI
000019f7: PUSH1 0x00
000019f9: DUP1
000019fa: REVERT
000019fb: JUMPDEST
000019fc: POP
000019fd: JUMP
000019fe: INVALID
000019ff: LOG2
00001a00: PUSH5 0x6970667358
00001a06: UNKNOWN(0x22)
00001a07: SLT
00001a08: KECCAK256
00001a09: TLOAD
00001a0a: UNKNOWN(0x29)
00001a0b: SELFBALANCE
00001a0c: MULMOD
00001a0d: UNKNOWN(0xA5)
00001a0e: SWAP16
00001a0f: UNKNOWN(0x1F)
00001a10: UNKNOWN(0xC8)
00001a11: UNKNOWN(0xDA)
00001a12: SAR
00001a13: UNKNOWN(0x23)
00001a14: SWAP6
00001a15: PUSH10 0xb8dd3c2a73891c4d26d3
00001a20: UNKNOWN(0xD0)
00001a21: SHL
00001a22: PUSH32
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: 0x5df1646e2757dea67a01db7f4a7577fb8686043184d18197332f2e979c7404b0 call_targets: 0xa1c282e45f25a2af5c256cb36677018d3211cf95 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x5df1646e2757dea67a01db7f4a7577fb8686043184d18197332f2e979c7404b0", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xa1c282e45f25a2af5c256cb36677018d3211cf95" ], "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": "0xda267bc8", "selector": "0xda267bc8", "calldata_variants": [ "0xda267bc8", "0xda267bc80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe086e5ec", "selector": "0xe086e5ec", "calldata_variants": [ "0xe086e5ec", "0xe086e5ec0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf47c84c5", "selector": "0xf47c84c5", "calldata_variants": [ "0xf47c84c5", "0xf47c84c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8d8f2adb", "selector": "0x8d8f2adb", "calldata_variants": [ "0x8d8f2adb", "0x8d8f2adb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcbb8d310", "selector": "0xcbb8d310", "calldata_variants": [ "0xcbb8d310", "0xcbb8d3100000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1965e183", "selector": "0x1965e183", "calldata_variants": [ "0x1965e183", "0x1965e1830000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1542, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2405, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2581, "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: 0x5df1646e2757dea67a01db7f4a7577fb8686043184d18197332f2e979c7404b0 call_targets: 0xa1c282e45f25a2af5c256cb36677018d3211cf95 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x5df1646e2757dea67a01db7f4a7577fb8686043184d18197332f2e979c7404b0", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xa1c282e45f25a2af5c256cb36677018d3211cf95" ], "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": "0xda267bc8", "selector": "0xda267bc8", "calldata_variants": [ "0xda267bc8", "0xda267bc80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe086e5ec", "selector": "0xe086e5ec", "calldata_variants": [ "0xe086e5ec", "0xe086e5ec0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf47c84c5", "selector": "0xf47c84c5", "calldata_variants": [ "0xf47c84c5", "0xf47c84c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8d8f2adb", "selector": "0x8d8f2adb", "calldata_variants": [ "0x8d8f2adb", "0x8d8f2adb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcbb8d310", "selector": "0xcbb8d310", "calldata_variants": [ "0xcbb8d310", "0xcbb8d3100000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1965e183", "selector": "0x1965e183", "calldata_variants": [ "0x1965e183", "0x1965e1830000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1542, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2405, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2581, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 4, "guards_detected": [] }
Severity