Analysis Run

019b477e-bfea-72ef-8525-f188a5fa5bd8
complete
Chain ID
1
Address
0x3760a06e2487a99d21698b03cc1d70c59bd4acea
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
24607	artifact.fetch	complete	1 / 3	3 months ago
24608	tool.cast_disasm	complete	1 / 3	3 months ago
102051	analysis.bundle	complete	1 / 3	2 weeks ago
102052	capability.graph	complete	1 / 3	2 weeks ago
102053	detector.run	complete	1 / 3	2 weeks ago
102054	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)
12
EXT*/BALANCE
12
Total opcodes
4335
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0074
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x56159c62
00000019: GT
0000001a: PUSH2 0x004e
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x56159c62
00000024: EQ
00000025: PUSH2 0x00eb
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc683630d
0000002f: EQ
00000030: PUSH2 0x0114
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe0b22c4c
0000003a: EQ
0000003b: PUSH2 0x0151
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf4217648
00000045: EQ
00000046: PUSH2 0x017a
00000049: JUMPI
0000004a: PUSH2 0x007b
0000004d: JUMP
0000004e: JUMPDEST
0000004f: DUP1
00000050: PUSH4 0x0baac66f
00000055: EQ
00000056: PUSH2 0x0080
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x2aeb35d6
00000060: EQ
00000061: PUSH2 0x0097
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x481c6a75
0000006b: EQ
0000006c: PUSH2 0x00c0
0000006f: JUMPI
00000070: PUSH2 0x007b
00000073: JUMP
00000074: JUMPDEST
00000075: CALLDATASIZE
00000076: PUSH2 0x007b
00000079: JUMPI
0000007a: STOP
0000007b: JUMPDEST
0000007c: PUSH1 0x00
0000007e: DUP1
0000007f: REVERT
00000080: JUMPDEST
00000081: CALLVALUE
00000082: DUP1
00000083: ISZERO
00000084: PUSH2 0x008c
00000087: JUMPI
00000088: PUSH1 0x00
0000008a: DUP1
0000008b: REVERT
0000008c: JUMPDEST
0000008d: POP
0000008e: PUSH2 0x0095
00000091: PUSH2 0x01a3
00000094: JUMP
00000095: JUMPDEST
00000096: STOP
00000097: JUMPDEST
00000098: CALLVALUE
00000099: DUP1
0000009a: ISZERO
0000009b: PUSH2 0x00a3
0000009e: JUMPI
0000009f: PUSH1 0x00
000000a1: DUP1
000000a2: REVERT
000000a3: JUMPDEST
000000a4: POP
000000a5: PUSH2 0x00be
000000a8: PUSH1 0x04
000000aa: DUP1
000000ab: CALLDATASIZE
000000ac: SUB
000000ad: DUP2
000000ae: ADD
000000af: SWAP1
000000b0: PUSH2 0x00b9
000000b3: SWAP2
000000b4: SWAP1
000000b5: PUSH2 0x152f
000000b8: JUMP
000000b9: JUMPDEST
000000ba: PUSH2 0x02a0
000000bd: JUMP
000000be: JUMPDEST
000000bf: STOP
000000c0: JUMPDEST
000000c1: CALLVALUE
000000c2: DUP1
000000c3: ISZERO
000000c4: PUSH2 0x00cc
000000c7: JUMPI
000000c8: PUSH1 0x00
000000ca: DUP1
000000cb: REVERT
000000cc: JUMPDEST
000000cd: POP
000000ce: PUSH2 0x00d5
000000d1: PUSH2 0x0b15
000000d4: JUMP
000000d5: JUMPDEST
000000d6: PUSH1 0x40
000000d8: MLOAD
000000d9: PUSH2 0x00e2
000000dc: SWAP2
000000dd: SWAP1
000000de: PUSH2 0x181f
000000e1: JUMP
000000e2: JUMPDEST
000000e3: PUSH1 0x40
000000e5: MLOAD
000000e6: DUP1
000000e7: SWAP2
000000e8: SUB
000000e9: SWAP1
000000ea: RETURN
000000eb: JUMPDEST
000000ec: CALLVALUE
000000ed: DUP1
000000ee: ISZERO
000000ef: PUSH2 0x00f7
000000f2: JUMPI
000000f3: PUSH1 0x00
000000f5: DUP1
000000f6: REVERT
000000f7: JUMPDEST
000000f8: POP
000000f9: PUSH2 0x0112
000000fc: PUSH1 0x04
000000fe: DUP1
000000ff: CALLDATASIZE
00000100: SUB
00000101: DUP2
00000102: ADD
00000103: SWAP1
00000104: PUSH2 0x010d
00000107: SWAP2
00000108: SWAP1
00000109: PUSH2 0x14d7
0000010c: JUMP
0000010d: JUMPDEST
0000010e: PUSH2 0x0b39
00000111: JUMP
00000112: JUMPDEST
00000113: STOP
00000114: JUMPDEST
00000115: CALLVALUE
00000116: DUP1
00000117: ISZERO
00000118: PUSH2 0x0120
0000011b: JUMPI
0000011c: PUSH1 0x00
0000011e: DUP1
0000011f: REVERT
00000120: JUMPDEST
00000121: POP
00000122: PUSH2 0x013b
00000125: PUSH1 0x04
00000127: DUP1
00000128: CALLDATASIZE
00000129: SUB
0000012a: DUP2
0000012b: ADD
0000012c: SWAP1
0000012d: PUSH2 0x0136
00000130: SWAP2
00000131: SWAP1
00000132: PUSH2 0x14ae
00000135: JUMP
00000136: JUMPDEST
00000137: PUSH2 0x0e09
0000013a: JUMP
0000013b: JUMPDEST
0000013c: PUSH1 0x40
0000013e: MLOAD
0000013f: PUSH2 0x0148
00000142: SWAP2
00000143: SWAP1
00000144: PUSH2 0x18b5
00000147: JUMP
00000148: JUMPDEST
00000149: PUSH1 0x40
0000014b: MLOAD
0000014c: DUP1
0000014d: SWAP2
0000014e: SUB
0000014f: SWAP1
00000150: RETURN
00000151: JUMPDEST
00000152: CALLVALUE
00000153: DUP1
00000154: ISZERO
00000155: PUSH2 0x015d
00000158: JUMPI
00000159: PUSH1 0x00
0000015b: DUP1
0000015c: REVERT
0000015d: JUMPDEST
0000015e: POP
0000015f: PUSH2 0x0178
00000162: PUSH1 0x04
00000164: DUP1
00000165: CALLDATASIZE
00000166: SUB
00000167: DUP2
00000168: ADD
00000169: SWAP1
0000016a: PUSH2 0x0173
0000016d: SWAP2
0000016e: SWAP1
0000016f: PUSH2 0x14ae
00000172: JUMP
00000173: JUMPDEST
00000174: PUSH2 0x0e5f
00000177: JUMP
00000178: JUMPDEST
00000179: STOP
0000017a: JUMPDEST
0000017b: CALLVALUE
0000017c: DUP1
0000017d: ISZERO
0000017e: PUSH2 0x0186
00000181: JUMPI
00000182: PUSH1 0x00
00000184: DUP1
00000185: REVERT
00000186: JUMPDEST
00000187: POP
00000188: PUSH2 0x01a1
0000018b: PUSH1 0x04
0000018d: DUP1
0000018e: CALLDATASIZE
0000018f: SUB
00000190: DUP2
00000191: ADD
00000192: SWAP1
00000193: PUSH2 0x019c
00000196: SWAP2
00000197: SWAP1
00000198: PUSH2 0x159b
0000019b: JUMP
0000019c: JUMPDEST
0000019d: PUSH2 0x1032
000001a0: JUMP
000001a1: JUMPDEST
000001a2: STOP
000001a3: JUMPDEST
000001a4: PUSH1 0x00
000001a6: DUP1
000001a7: SLOAD
000001a8: SWAP1
000001a9: PUSH2 0x0100
000001ac: EXP
000001ad: SWAP1
000001ae: DIV
000001af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001c4: AND
000001c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001da: AND
000001db: CALLER
000001dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001f1: AND
000001f2: EQ
000001f3: PUSH2 0x0231
000001f6: JUMPI
000001f7: PUSH1 0x40
000001f9: MLOAD
000001fa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000021b: DUP2
0000021c: MSTORE
0000021d: PUSH1 0x04
0000021f: ADD
00000220: PUSH2 0x0228
00000223: SWAP1
00000224: PUSH2 0x18d0
00000227: JUMP
00000228: JUMPDEST
00000229: PUSH1 0x40
0000022b: MLOAD
0000022c: DUP1
0000022d: SWAP2
0000022e: SUB
0000022f: SWAP1
00000230: REVERT
00000231: JUMPDEST
00000232: PUSH1 0x00
00000234: SELFBALANCE
00000235: SWAP1
00000236: POP
00000237: PUSH1 0x00
00000239: DUP1
0000023a: SLOAD
0000023b: SWAP1
0000023c: PUSH2 0x0100
0000023f: EXP
00000240: SWAP1
00000241: DIV
00000242: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000257: AND
00000258: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000026d: AND
0000026e: PUSH2 0x08fc
00000271: DUP3
00000272: SWAP1
00000273: DUP2
00000274: ISZERO
00000275: MUL
00000276: SWAP1
00000277: PUSH1 0x40
00000279: MLOAD
0000027a: PUSH1 0x00
0000027c: PUSH1 0x40
0000027e: MLOAD
0000027f: DUP1
00000280: DUP4
00000281: SUB
00000282: DUP2
00000283: DUP6
00000284: DUP9
00000285: DUP9
00000286: CALL
00000287: SWAP4
00000288: POP
00000289: POP
0000028a: POP
0000028b: POP
0000028c: ISZERO
0000028d: DUP1
0000028e: ISZERO
0000028f: PUSH2 0x029c
00000292: JUMPI
00000293: RETURNDATASIZE
00000294: PUSH1 0x00
00000296: DUP1
00000297: RETURNDATACOPY
00000298: RETURNDATASIZE
00000299: PUSH1 0x00
0000029b: REVERT
0000029c: JUMPDEST
0000029d: POP
0000029e: POP
0000029f: JUMP
000002a0: JUMPDEST
000002a1: PUSH1 0x01
000002a3: ISZERO
000002a4: ISZERO
000002a5: PUSH1 0x04
000002a7: PUSH1 0x00
000002a9: CALLER
000002aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002bf: AND
000002c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002d5: AND
000002d6: DUP2
000002d7: MSTORE
000002d8: PUSH1 0x20
000002da: ADD
000002db: SWAP1
000002dc: DUP2
000002dd: MSTORE
000002de: PUSH1 0x20
000002e0: ADD
000002e1: PUSH1 0x00
000002e3: KECCAK256
000002e4: PUSH1 0x00
000002e6: SWAP1
000002e7: SLOAD
000002e8: SWAP1
000002e9: PUSH2 0x0100
000002ec: EXP
000002ed: SWAP1
000002ee: DIV
000002ef: PUSH1 0xff
000002f1: AND
000002f2: ISZERO
000002f3: ISZERO
000002f4: EQ
000002f5: DUP1
000002f6: PUSH2 0x034a
000002f9: JUMPI
000002fa: POP
000002fb: PUSH1 0x00
000002fd: DUP1
000002fe: SLOAD
000002ff: SWAP1
00000300: PUSH2 0x0100
00000303: EXP
00000304: SWAP1
00000305: DIV
00000306: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000031b: AND
0000031c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000331: AND
00000332: CALLER
00000333: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000348: AND
00000349: EQ
0000034a: JUMPDEST
0000034b: PUSH2 0x0389
0000034e: JUMPI
0000034f: PUSH1 0x40
00000351: MLOAD
00000352: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000373: DUP2
00000374: MSTORE
00000375: PUSH1 0x04
00000377: ADD
00000378: PUSH2 0x0380
0000037b: SWAP1
0000037c: PUSH2 0x1930
0000037f: JUMP
00000380: JUMPDEST
00000381: PUSH1 0x40
00000383: MLOAD
00000384: DUP1
00000385: SWAP2
00000386: SUB
00000387: SWAP1
00000388: REVERT
00000389: JUMPDEST
0000038a: DUP4
0000038b: DUP4
0000038c: PUSH1 0x01
0000038e: SWAP2
0000038f: SWAP1
00000390: PUSH2 0x039a
00000393: SWAP3
00000394: SWAP2
00000395: SWAP1
00000396: PUSH2 0x119d
00000399: JUMP
0000039a: JUMPDEST
0000039b: POP
0000039c: DUP2
0000039d: PUSH1 0x03
0000039f: DUP2
000003a0: SWAP1
000003a1: SSTORE
000003a2: POP
000003a3: PUSH1 0x40
000003a5: MLOAD
000003a6: DUP1
000003a7: PUSH1 0x40
000003a9: ADD
000003aa: PUSH1 0x40
000003ac: MSTORE
000003ad: DUP1
000003ae: PUSH1 0x01
000003b0: DUP1
000003b1: DUP2
000003b2: SLOAD
000003b3: DUP2
000003b4: LT
000003b5: PUSH2 0x03e7
000003b8: JUMPI
000003b9: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000003da: PUSH1 0x00
000003dc: MSTORE
000003dd: PUSH1 0x32
000003df: PUSH1 0x04
000003e1: MSTORE
000003e2: PUSH1 0x24
000003e4: PUSH1 0x00
000003e6: REVERT
000003e7: JUMPDEST
000003e8: SWAP1
000003e9: PUSH1 0x00
000003eb: MSTORE
000003ec: PUSH1 0x20
000003ee: PUSH1 0x00
000003f0: KECCAK256
000003f1: ADD
000003f2: PUSH1 0x00
000003f4: SWAP1
000003f5: SLOAD
000003f6: SWAP1
000003f7: PUSH2 0x0100
000003fa: EXP
000003fb: SWAP1
000003fc: DIV
000003fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000412: AND
00000413: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000428: AND
00000429: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000043e: AND
0000043f: DUP2
00000440: MSTORE
00000441: PUSH1 0x20
00000443: ADD
00000444: PUSH1 0x01
00000446: PUSH1 0x00
00000448: DUP2
00000449: SLOAD
0000044a: DUP2
0000044b: LT
0000044c: PUSH2 0x047e
0000044f: JUMPI
00000450: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000471: PUSH1 0x00
00000473: MSTORE
00000474: PUSH1 0x32
00000476: PUSH1 0x04
00000478: MSTORE
00000479: PUSH1 0x24
0000047b: PUSH1 0x00
0000047d: REVERT
0000047e: JUMPDEST
0000047f: SWAP1
00000480: PUSH1 0x00
00000482: MSTORE
00000483: PUSH1 0x20
00000485: PUSH1 0x00
00000487: KECCAK256
00000488: ADD
00000489: PUSH1 0x00
0000048b: SWAP1
0000048c: SLOAD
0000048d: SWAP1
0000048e: PUSH2 0x0100
00000491: EXP
00000492: SWAP1
00000493: DIV
00000494: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004a9: AND
000004aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004bf: AND
000004c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004d5: AND
000004d6: DUP2
000004d7: MSTORE
000004d8: POP
000004d9: PUSH1 0x02
000004db: SWAP1
000004dc: PUSH1 0x02
000004de: PUSH2 0x04e8
000004e1: SWAP3
000004e2: SWAP2
000004e3: SWAP1
000004e4: PUSH2 0x123d
000004e7: JUMP
000004e8: JUMPDEST
000004e9: POP
000004ea: PUSH1 0x03
000004ec: SLOAD
000004ed: SELFBALANCE
000004ee: LT
000004ef: ISZERO
000004f0: PUSH2 0x052e
000004f3: JUMPI
000004f4: PUSH1 0x40
000004f6: MLOAD
000004f7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000518: DUP2
00000519: MSTORE
0000051a: PUSH1 0x04
0000051c: ADD
0000051d: PUSH2 0x0525
00000520: SWAP1
00000521: PUSH2 0x1910
00000524: JUMP
00000525: JUMPDEST
00000526: PUSH1 0x40
00000528: MLOAD
00000529: DUP1
0000052a: SWAP2
0000052b: SUB
0000052c: SWAP1
0000052d: REVERT
0000052e: JUMPDEST
0000052f: PUSH1 0x00
00000531: PUSH1 0x01
00000533: DUP1
00000534: DUP1
00000535: DUP1
00000536: SLOAD
00000537: SWAP1
00000538: POP
00000539: PUSH2 0x0542
0000053c: SWAP2
0000053d: SWAP1
0000053e: PUSH2 0x1b6d
00000541: JUMP
00000542: JUMPDEST
00000543: DUP2
00000544: SLOAD
00000545: DUP2
00000546: LT
00000547: PUSH2 0x0579
0000054a: JUMPI
0000054b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000056c: PUSH1 0x00
0000056e: MSTORE
0000056f: PUSH1 0x32
00000571: PUSH1 0x04
00000573: MSTORE
00000574: PUSH1 0x24
00000576: PUSH1 0x00
00000578: REVERT
00000579: JUMPDEST
0000057a: SWAP1
0000057b: PUSH1 0x00
0000057d: MSTORE
0000057e: PUSH1 0x20
00000580: PUSH1 0x00
00000582: KECCAK256
00000583: ADD
00000584: PUSH1 0x00
00000586: SWAP1
00000587: SLOAD
00000588: SWAP1
00000589: PUSH2 0x0100
0000058c: EXP
0000058d: SWAP1
0000058e: DIV
0000058f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005a4: AND
000005a5: SWAP1
000005a6: POP
000005a7: PUSH1 0x00
000005a9: DUP2
000005aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005bf: AND
000005c0: PUSH4 0x70a08231
000005c5: ADDRESS
000005c6: PUSH1 0x40
000005c8: MLOAD
000005c9: DUP3
000005ca: PUSH4 0xffffffff
000005cf: AND
000005d0: PUSH1 0xe0
000005d2: SHL
000005d3: DUP2
000005d4: MSTORE
000005d5: PUSH1 0x04
000005d7: ADD
000005d8: PUSH2 0x05e1
000005db: SWAP2
000005dc: SWAP1
000005dd: PUSH2 0x1804
000005e0: JUMP
000005e1: JUMPDEST
000005e2: PUSH1 0x20
000005e4: PUSH1 0x40
000005e6: MLOAD
000005e7: DUP1
000005e8: DUP4
000005e9: SUB
000005ea: DUP2
000005eb: DUP7
000005ec: DUP1
000005ed: EXTCODESIZE
000005ee: ISZERO
000005ef: DUP1
000005f0: ISZERO
000005f1: PUSH2 0x05f9
000005f4: JUMPI
000005f5: PUSH1 0x00
000005f7: DUP1
000005f8: REVERT
000005f9: JUMPDEST
000005fa: POP
000005fb: GAS
000005fc: STATICCALL
000005fd: ISZERO
000005fe: DUP1
000005ff: ISZERO
00000600: PUSH2 0x060d
00000603: JUMPI
00000604: RETURNDATASIZE
00000605: PUSH1 0x00
00000607: DUP1
00000608: RETURNDATACOPY
00000609: RETURNDATASIZE
0000060a: PUSH1 0x00
0000060c: REVERT
0000060d: JUMPDEST
0000060e: POP
0000060f: POP
00000610: POP
00000611: POP
00000612: PUSH1 0x40
00000614: MLOAD
00000615: RETURNDATASIZE
00000616: PUSH1 0x1f
00000618: NOT
00000619: PUSH1 0x1f
0000061b: DUP3
0000061c: ADD
0000061d: AND
0000061e: DUP3
0000061f: ADD
00000620: DUP1
00000621: PUSH1 0x40
00000623: MSTORE
00000624: POP
00000625: DUP2
00000626: ADD
00000627: SWAP1
00000628: PUSH2 0x0631
0000062b: SWAP2
0000062c: SWAP1
0000062d: PUSH2 0x1646
00000630: JUMP
00000631: JUMPDEST
00000632: SWAP1
00000633: POP
00000634: PUSH1 0x00
00000636: DUP2
00000637: EQ
00000638: PUSH2 0x0676
0000063b: JUMPI
0000063c: PUSH1 0x40
0000063e: MLOAD
0000063f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000660: DUP2
00000661: MSTORE
00000662: PUSH1 0x04
00000664: ADD
00000665: PUSH2 0x066d
00000668: SWAP1
00000669: PUSH2 0x1950
0000066c: JUMP
0000066d: JUMPDEST
0000066e: PUSH1 0x40
00000670: MLOAD
00000671: DUP1
00000672: SWAP2
00000673: SUB
00000674: SWAP1
00000675: REVERT
00000676: JUMPDEST
00000677: PUSH1 0x06
00000679: PUSH1 0x00
0000067b: SWAP1
0000067c: SLOAD
0000067d: SWAP1
0000067e: PUSH2 0x0100
00000681: EXP
00000682: SWAP1
00000683: DIV
00000684: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000699: AND
0000069a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006af: AND
000006b0: PUSH4 0x7ff36ab5
000006b5: PUSH1 0x03
000006b7: SLOAD
000006b8: DUP6
000006b9: PUSH1 0x01
000006bb: ADDRESS
000006bc: TIMESTAMP
000006bd: PUSH1 0x40
000006bf: MLOAD
000006c0: DUP7
000006c1: PUSH4 0xffffffff
000006c6: AND
000006c7: PUSH1 0xe0
000006c9: SHL
000006ca: DUP2
000006cb: MSTORE
000006cc: PUSH1 0x04
000006ce: ADD
000006cf: PUSH2 0x06db
000006d2: SWAP5
000006d3: SWAP4
000006d4: SWAP3
000006d5: SWAP2
000006d6: SWAP1
000006d7: PUSH2 0x1970
000006da: JUMP
000006db: JUMPDEST
000006dc: PUSH1 0x00
000006de: PUSH1 0x40
000006e0: MLOAD
000006e1: DUP1
000006e2: DUP4
000006e3: SUB
000006e4: DUP2
000006e5: DUP6
000006e6: DUP9
000006e7: DUP1
000006e8: EXTCODESIZE
000006e9: ISZERO
000006ea: DUP1
000006eb: ISZERO
000006ec: PUSH2 0x06f4
000006ef: JUMPI
000006f0: PUSH1 0x00
000006f2: DUP1
000006f3: REVERT
000006f4: JUMPDEST
000006f5: POP
000006f6: GAS
000006f7: CALL
000006f8: ISZERO
000006f9: DUP1
000006fa: ISZERO
000006fb: PUSH2 0x0708
000006fe: JUMPI
000006ff: RETURNDATASIZE
00000700: PUSH1 0x00
00000702: DUP1
00000703: RETURNDATACOPY
00000704: RETURNDATASIZE
00000705: PUSH1 0x00
00000707: REVERT
00000708: JUMPDEST
00000709: POP
0000070a: POP
0000070b: POP
0000070c: POP
0000070d: POP
0000070e: PUSH1 0x40
00000710: MLOAD
00000711: RETURNDATASIZE
00000712: PUSH1 0x00
00000714: DUP3
00000715: RETURNDATACOPY
00000716: RETURNDATASIZE
00000717: PUSH1 0x1f
00000719: NOT
0000071a: PUSH1 0x1f
0000071c: DUP3
0000071d: ADD
0000071e: AND
0000071f: DUP3
00000720: ADD
00000721: DUP1
00000722: PUSH1 0x40
00000724: MSTORE
00000725: POP
00000726: DUP2
00000727: ADD
00000728: SWAP1
00000729: PUSH2 0x0732
0000072c: SWAP2
0000072d: SWAP1
0000072e: PUSH2 0x15dc
00000731: JUMP
00000732: JUMPDEST
00000733: POP
00000734: PUSH1 0x00
00000736: DUP3
00000737: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000074c: AND
0000074d: PUSH4 0x70a08231
00000752: ADDRESS
00000753: PUSH1 0x40
00000755: MLOAD
00000756: DUP3
00000757: PUSH4 0xffffffff
0000075c: AND
0000075d: PUSH1 0xe0
0000075f: SHL
00000760: DUP2
00000761: MSTORE
00000762: PUSH1 0x04
00000764: ADD
00000765: PUSH2 0x076e
00000768: SWAP2
00000769: SWAP1
0000076a: PUSH2 0x1804
0000076d: JUMP
0000076e: JUMPDEST
0000076f: PUSH1 0x20
00000771: PUSH1 0x40
00000773: MLOAD
00000774: DUP1
00000775: DUP4
00000776: SUB
00000777: DUP2
00000778: DUP7
00000779: DUP1
0000077a: EXTCODESIZE
0000077b: ISZERO
0000077c: DUP1
0000077d: ISZERO
0000077e: PUSH2 0x0786
00000781: JUMPI
00000782: PUSH1 0x00
00000784: DUP1
00000785: REVERT
00000786: JUMPDEST
00000787: POP
00000788: GAS
00000789: STATICCALL
0000078a: ISZERO
0000078b: DUP1
0000078c: ISZERO
0000078d: PUSH2 0x079a
00000790: JUMPI
00000791: RETURNDATASIZE
00000792: PUSH1 0x00
00000794: DUP1
00000795: RETURNDATACOPY
00000796: RETURNDATASIZE
00000797: PUSH1 0x00
00000799: REVERT
0000079a: JUMPDEST
0000079b: POP
0000079c: POP
0000079d: POP
0000079e: POP
0000079f: PUSH1 0x40
000007a1: MLOAD
000007a2: RETURNDATASIZE
000007a3: PUSH1 0x1f
000007a5: NOT
000007a6: PUSH1 0x1f
000007a8: DUP3
000007a9: ADD
000007aa: AND
000007ab: DUP3
000007ac: ADD
000007ad: DUP1
000007ae: PUSH1 0x40
000007b0: MSTORE
000007b1: POP
000007b2: DUP2
000007b3: ADD
000007b4: SWAP1
000007b5: PUSH2 0x07be
000007b8: SWAP2
000007b9: SWAP1
000007ba: PUSH2 0x1646
000007bd: JUMP
000007be: JUMPDEST
000007bf: SWAP1
000007c0: POP
000007c1: PUSH1 0x00
000007c3: DUP4
000007c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007d9: AND
000007da: PUSH4 0x095ea7b3
000007df: PUSH1 0x05
000007e1: PUSH1 0x00
000007e3: SWAP1
000007e4: SLOAD
000007e5: SWAP1
000007e6: PUSH2 0x0100
000007e9: EXP
000007ea: SWAP1
000007eb: DIV
000007ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000801: AND
00000802: DUP5
00000803: PUSH1 0x40
00000805: MLOAD
00000806: DUP4
00000807: PUSH4 0xffffffff
0000080c: AND
0000080d: PUSH1 0xe0
0000080f: SHL
00000810: DUP2
00000811: MSTORE
00000812: PUSH1 0x04
00000814: ADD
00000815: PUSH2 0x081f
00000818: SWAP3
00000819: SWAP2
0000081a: SWAP1
0000081b: PUSH2 0x188c
0000081e: JUMP
0000081f: JUMPDEST
00000820: PUSH1 0x20
00000822: PUSH1 0x40
00000824: MLOAD
00000825: DUP1
00000826: DUP4
00000827: SUB
00000828: DUP2
00000829: PUSH1 0x00
0000082b: DUP8
0000082c: DUP1
0000082d: EXTCODESIZE
0000082e: ISZERO
0000082f: DUP1
00000830: ISZERO
00000831: PUSH2 0x0839
00000834: JUMPI
00000835: PUSH1 0x00
00000837: DUP1
00000838: REVERT
00000839: JUMPDEST
0000083a: POP
0000083b: GAS
0000083c: CALL
0000083d: ISZERO
0000083e: DUP1
0000083f: ISZERO
00000840: PUSH2 0x084d
00000843: JUMPI
00000844: RETURNDATASIZE
00000845: PUSH1 0x00
00000847: DUP1
00000848: RETURNDATACOPY
00000849: RETURNDATASIZE
0000084a: PUSH1 0x00
0000084c: REVERT
0000084d: JUMPDEST
0000084e: POP
0000084f: POP
00000850: POP
00000851: POP
00000852: PUSH1 0x40
00000854: MLOAD
00000855: RETURNDATASIZE
00000856: PUSH1 0x1f
00000858: NOT
00000859: PUSH1 0x1f
0000085b: DUP3
0000085c: ADD
0000085d: AND
0000085e: DUP3
0000085f: ADD
00000860: DUP1
00000861: PUSH1 0x40
00000863: MSTORE
00000864: POP
00000865: DUP2
00000866: ADD
00000867: SWAP1
00000868: PUSH2 0x0871
0000086b: SWAP2
0000086c: SWAP1
0000086d: PUSH2 0x161d
00000870: JUMP
00000871: JUMPDEST
00000872: SWAP1
00000873: POP
00000874: PUSH1 0x00
00000876: DUP5
00000877: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000088c: AND
0000088d: PUSH4 0xdd62ed3e
00000892: ADDRESS
00000893: PUSH1 0x05
00000895: PUSH1 0x00
00000897: SWAP1
00000898: SLOAD
00000899: SWAP1
0000089a: PUSH2 0x0100
0000089d: EXP
0000089e: SWAP1
0000089f: DIV
000008a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b5: AND
000008b6: PUSH1 0x40
000008b8: MLOAD
000008b9: DUP4
000008ba: PUSH4 0xffffffff
000008bf: AND
000008c0: PUSH1 0xe0
000008c2: SHL
000008c3: DUP2
000008c4: MSTORE
000008c5: PUSH1 0x04
000008c7: ADD
000008c8: PUSH2 0x08d2
000008cb: SWAP3
000008cc: SWAP2
000008cd: SWAP1
000008ce: PUSH2 0x1863
000008d1: JUMP
000008d2: JUMPDEST
000008d3: PUSH1 0x20
000008d5: PUSH1 0x40
000008d7: MLOAD
000008d8: DUP1
000008d9: DUP4
000008da: SUB
000008db: DUP2
000008dc: DUP7
000008dd: DUP1
000008de: EXTCODESIZE
000008df: ISZERO
000008e0: DUP1
000008e1: ISZERO
000008e2: PUSH2 0x08ea
000008e5: JUMPI
000008e6: PUSH1 0x00
000008e8: DUP1
000008e9: REVERT
000008ea: JUMPDEST
000008eb: POP
000008ec: GAS
000008ed: STATICCALL
000008ee: ISZERO
000008ef: DUP1
000008f0: ISZERO
000008f1: PUSH2 0x08fe
000008f4: JUMPI
000008f5: RETURNDATASIZE
000008f6: PUSH1 0x00
000008f8: DUP1
000008f9: RETURNDATACOPY
000008fa: RETURNDATASIZE
000008fb: PUSH1 0x00
000008fd: REVERT
000008fe: JUMPDEST
000008ff: POP
00000900: POP
00000901: POP
00000902: POP
00000903: PUSH1 0x40
00000905: MLOAD
00000906: RETURNDATASIZE
00000907: PUSH1 0x1f
00000909: NOT
0000090a: PUSH1 0x1f
0000090c: DUP3
0000090d: ADD
0000090e: AND
0000090f: DUP3
00000910: ADD
00000911: DUP1
00000912: PUSH1 0x40
00000914: MSTORE
00000915: POP
00000916: DUP2
00000917: ADD
00000918: SWAP1
00000919: PUSH2 0x0922
0000091c: SWAP2
0000091d: SWAP1
0000091e: PUSH2 0x1646
00000921: JUMP
00000922: JUMPDEST
00000923: SWAP1
00000924: POP
00000925: DUP3
00000926: DUP2
00000927: LT
00000928: ISZERO
00000929: PUSH2 0x0967
0000092c: JUMPI
0000092d: PUSH1 0x40
0000092f: MLOAD
00000930: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000951: DUP2
00000952: MSTORE
00000953: PUSH1 0x04
00000955: ADD
00000956: PUSH2 0x095e
00000959: SWAP1
0000095a: PUSH2 0x18f0
0000095d: JUMP
0000095e: JUMPDEST
0000095f: PUSH1 0x40
00000961: MLOAD
00000962: DUP1
00000963: SWAP2
00000964: SUB
00000965: SWAP1
00000966: REVERT
00000967: JUMPDEST
00000968: PUSH1 0x00
0000096a: PUSH1 0x64
0000096c: PUSH1 0x0a
0000096e: DUP6
0000096f: PUSH2 0x0978
00000972: SWAP2
00000973: SWAP1
00000974: PUSH2 0x1b13
00000977: JUMP
00000978: JUMPDEST
00000979: PUSH2 0x0982
0000097c: SWAP2
0000097d: SWAP1
0000097e: PUSH2 0x1ae2
00000981: JUMP
00000982: JUMPDEST
00000983: SWAP1
00000984: POP
00000985: PUSH1 0x06
00000987: PUSH1 0x00
00000989: SWAP1
0000098a: SLOAD
0000098b: SWAP1
0000098c: PUSH2 0x0100
0000098f: EXP
00000990: SWAP1
00000991: DIV
00000992: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009a7: AND
000009a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009bd: AND
000009be: PUSH4 0x791ac947
000009c3: DUP3
000009c4: PUSH1 0x00
000009c6: PUSH1 0x02
000009c8: PUSH1 0x00
000009ca: DUP1
000009cb: SLOAD
000009cc: SWAP1
000009cd: PUSH2 0x0100
000009d0: EXP
000009d1: SWAP1
000009d2: DIV
000009d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009e8: AND
000009e9: TIMESTAMP
000009ea: PUSH1 0x40
000009ec: MLOAD
000009ed: DUP7
000009ee: PUSH4 0xffffffff
000009f3: AND
000009f4: PUSH1 0xe0
000009f6: SHL
000009f7: DUP2
000009f8: MSTORE
000009f9: PUSH1 0x04
000009fb: ADD
000009fc: PUSH2 0x0a09
000009ff: SWAP6
00000a00: SWAP5
00000a01: SWAP4
00000a02: SWAP3
00000a03: SWAP2
00000a04: SWAP1
00000a05: PUSH2 0x19bc
00000a08: JUMP
00000a09: JUMPDEST
00000a0a: PUSH1 0x00
00000a0c: PUSH1 0x40
00000a0e: MLOAD
00000a0f: DUP1
00000a10: DUP4
00000a11: SUB
00000a12: DUP2
00000a13: PUSH1 0x00
00000a15: DUP8
00000a16: DUP1
00000a17: EXTCODESIZE
00000a18: ISZERO
00000a19: DUP1
00000a1a: ISZERO
00000a1b: PUSH2 0x0a23
00000a1e: JUMPI
00000a1f: PUSH1 0x00
00000a21: DUP1
00000a22: REVERT
00000a23: JUMPDEST
00000a24: POP
00000a25: GAS
00000a26: CALL
00000a27: ISZERO
00000a28: DUP1
00000a29: ISZERO
00000a2a: PUSH2 0x0a37
00000a2d: JUMPI
00000a2e: RETURNDATASIZE
00000a2f: PUSH1 0x00
00000a31: DUP1
00000a32: RETURNDATACOPY
00000a33: RETURNDATASIZE
00000a34: PUSH1 0x00
00000a36: REVERT
00000a37: JUMPDEST
00000a38: POP
00000a39: POP
00000a3a: POP
00000a3b: POP
00000a3c: PUSH1 0x00
00000a3e: PUSH1 0x64
00000a40: PUSH1 0x1e
00000a42: DUP7
00000a43: PUSH2 0x0a4c
00000a46: SWAP2
00000a47: SWAP1
00000a48: PUSH2 0x1b13
00000a4b: JUMP
00000a4c: JUMPDEST
00000a4d: PUSH2 0x0a56
00000a50: SWAP2
00000a51: SWAP1
00000a52: PUSH2 0x1ae2
00000a55: JUMP
00000a56: JUMPDEST
00000a57: SWAP1
00000a58: POP
00000a59: DUP7
00000a5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a6f: AND
00000a70: PUSH4 0xa9059cbb
00000a75: PUSH1 0x07
00000a77: PUSH1 0x00
00000a79: SWAP1
00000a7a: SLOAD
00000a7b: SWAP1
00000a7c: PUSH2 0x0100
00000a7f: EXP
00000a80: SWAP1
00000a81: DIV
00000a82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a97: AND
00000a98: DUP4
00000a99: PUSH1 0x40
00000a9b: MLOAD
00000a9c: DUP4
00000a9d: PUSH4 0xffffffff
00000aa2: AND
00000aa3: PUSH1 0xe0
00000aa5: SHL
00000aa6: DUP2
00000aa7: MSTORE
00000aa8: PUSH1 0x04
00000aaa: ADD
00000aab: PUSH2 0x0ab5
00000aae: SWAP3
00000aaf: SWAP2
00000ab0: SWAP1
00000ab1: PUSH2 0x188c
00000ab4: JUMP
00000ab5: JUMPDEST
00000ab6: PUSH1 0x20
00000ab8: PUSH1 0x40
00000aba: MLOAD
00000abb: DUP1
00000abc: DUP4
00000abd: SUB
00000abe: DUP2
00000abf: PUSH1 0x00
00000ac1: DUP8
00000ac2: DUP1
00000ac3: EXTCODESIZE
00000ac4: ISZERO
00000ac5: DUP1
00000ac6: ISZERO
00000ac7: PUSH2 0x0acf
00000aca: JUMPI
00000acb: PUSH1 0x00
00000acd: DUP1
00000ace: REVERT
00000acf: JUMPDEST
00000ad0: POP
00000ad1: GAS
00000ad2: CALL
00000ad3: ISZERO
00000ad4: DUP1
00000ad5: ISZERO
00000ad6: PUSH2 0x0ae3
00000ad9: JUMPI
00000ada: RETURNDATASIZE
00000adb: PUSH1 0x00
00000add: DUP1
00000ade: RETURNDATACOPY
00000adf: RETURNDATASIZE
00000ae0: PUSH1 0x00
00000ae2: REVERT
00000ae3: JUMPDEST
00000ae4: POP
00000ae5: POP
00000ae6: POP
00000ae7: POP
00000ae8: PUSH1 0x40
00000aea: MLOAD
00000aeb: RETURNDATASIZE
00000aec: PUSH1 0x1f
00000aee: NOT
00000aef: PUSH1 0x1f
00000af1: DUP3
00000af2: ADD
00000af3: AND
00000af4: DUP3
00000af5: ADD
00000af6: DUP1
00000af7: PUSH1 0x40
00000af9: MSTORE
00000afa: POP
00000afb: DUP2
00000afc: ADD
00000afd: SWAP1
00000afe: PUSH2 0x0b07
00000b01: SWAP2
00000b02: SWAP1
00000b03: PUSH2 0x161d
00000b06: JUMP
00000b07: JUMPDEST
00000b08: POP
00000b09: POP
00000b0a: POP
00000b0b: POP
00000b0c: POP
00000b0d: POP
00000b0e: POP
00000b0f: POP
00000b10: POP
00000b11: POP
00000b12: POP
00000b13: POP
00000b14: JUMP
00000b15: JUMPDEST
00000b16: PUSH1 0x00
00000b18: DUP1
00000b19: SLOAD
00000b1a: SWAP1
00000b1b: PUSH2 0x0100
00000b1e: EXP
00000b1f: SWAP1
00000b20: DIV
00000b21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b36: AND
00000b37: DUP2
00000b38: JUMP
00000b39: JUMPDEST
00000b3a: PUSH1 0x01
00000b3c: ISZERO
00000b3d: ISZERO
00000b3e: PUSH1 0x04
00000b40: PUSH1 0x00
00000b42: CALLER
00000b43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b58: AND
00000b59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b6e: AND
00000b6f: DUP2
00000b70: MSTORE
00000b71: PUSH1 0x20
00000b73: ADD
00000b74: SWAP1
00000b75: DUP2
00000b76: MSTORE
00000b77: PUSH1 0x20
00000b79: ADD
00000b7a: PUSH1 0x00
00000b7c: KECCAK256
00000b7d: PUSH1 0x00
00000b7f: SWAP1
00000b80: SLOAD
00000b81: SWAP1
00000b82: PUSH2 0x0100
00000b85: EXP
00000b86: SWAP1
00000b87: DIV
00000b88: PUSH1 0xff
00000b8a: AND
00000b8b: ISZERO
00000b8c: ISZERO
00000b8d: EQ
00000b8e: DUP1
00000b8f: PUSH2 0x0be3
00000b92: JUMPI
00000b93: POP
00000b94: PUSH1 0x00
00000b96: DUP1
00000b97: SLOAD
00000b98: SWAP1
00000b99: PUSH2 0x0100
00000b9c: EXP
00000b9d: SWAP1
00000b9e: DIV
00000b9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb4: AND
00000bb5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bca: AND
00000bcb: CALLER
00000bcc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000be1: AND
00000be2: EQ
00000be3: JUMPDEST
00000be4: PUSH2 0x0c22
00000be7: JUMPI
00000be8: PUSH1 0x40
00000bea: MLOAD
00000beb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c0c: DUP2
00000c0d: MSTORE
00000c0e: PUSH1 0x04
00000c10: ADD
00000c11: PUSH2 0x0c19
00000c14: SWAP1
00000c15: PUSH2 0x1930
00000c18: JUMP
00000c19: JUMPDEST
00000c1a: PUSH1 0x40
00000c1c: MLOAD
00000c1d: DUP1
00000c1e: SWAP2
00000c1f: SUB
00000c20: SWAP1
00000c21: REVERT
00000c22: JUMPDEST
00000c23: DUP3
00000c24: DUP3
00000c25: PUSH1 0x02
00000c27: SWAP2
00000c28: SWAP1
00000c29: PUSH2 0x0c33
00000c2c: SWAP3
00000c2d: SWAP2
00000c2e: SWAP1
00000c2f: PUSH2 0x119d
00000c32: JUMP
00000c33: JUMPDEST
00000c34: POP
00000c35: PUSH1 0x00
00000c37: DUP1
00000c38: PUSH1 0x02
00000c3a: PUSH1 0x00
00000c3c: DUP2
00000c3d: SLOAD
00000c3e: DUP2
00000c3f: LT
00000c40: PUSH2 0x0c72
00000c43: JUMPI
00000c44: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000c65: PUSH1 0x00
00000c67: MSTORE
00000c68: PUSH1 0x32
00000c6a: PUSH1 0x04
00000c6c: MSTORE
00000c6d: PUSH1 0x24
00000c6f: PUSH1 0x00
00000c71: REVERT
00000c72: JUMPDEST
00000c73: SWAP1
00000c74: PUSH1 0x00
00000c76: MSTORE
00000c77: PUSH1 0x20
00000c79: PUSH1 0x00
00000c7b: KECCAK256
00000c7c: ADD
00000c7d: PUSH1 0x00
00000c7f: SWAP1
00000c80: SLOAD
00000c81: SWAP1
00000c82: PUSH2 0x0100
00000c85: EXP
00000c86: SWAP1
00000c87: DIV
00000c88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c9d: AND
00000c9e: SWAP1
00000c9f: POP
00000ca0: PUSH1 0x00
00000ca2: DUP2
00000ca3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cb8: AND
00000cb9: PUSH4 0x70a08231
00000cbe: ADDRESS
00000cbf: PUSH1 0x40
00000cc1: MLOAD
00000cc2: DUP3
00000cc3: PUSH4 0xffffffff
00000cc8: AND
00000cc9: PUSH1 0xe0
00000ccb: SHL
00000ccc: DUP2
00000ccd: MSTORE
00000cce: PUSH1 0x04
00000cd0: ADD
00000cd1: PUSH2 0x0cda
00000cd4: SWAP2
00000cd5: SWAP1
00000cd6: PUSH2 0x1804
00000cd9: JUMP
00000cda: JUMPDEST
00000cdb: PUSH1 0x20
00000cdd: PUSH1 0x40
00000cdf: MLOAD
00000ce0: DUP1
00000ce1: DUP4
00000ce2: SUB
00000ce3: DUP2
00000ce4: DUP7
00000ce5: DUP1
00000ce6: EXTCODESIZE
00000ce7: ISZERO
00000ce8: DUP1
00000ce9: ISZERO
00000cea: PUSH2 0x0cf2
00000ced: JUMPI
00000cee: PUSH1 0x00
00000cf0: DUP1
00000cf1: REVERT
00000cf2: JUMPDEST
00000cf3: POP
00000cf4: GAS
00000cf5: STATICCALL
00000cf6: ISZERO
00000cf7: DUP1
00000cf8: ISZERO
00000cf9: PUSH2 0x0d06
00000cfc: JUMPI
00000cfd: RETURNDATASIZE
00000cfe: PUSH1 0x00
00000d00: DUP1
00000d01: RETURNDATACOPY
00000d02: RETURNDATASIZE
00000d03: PUSH1 0x00
00000d05: REVERT
00000d06: JUMPDEST
00000d07: POP
00000d08: POP
00000d09: POP
00000d0a: POP
00000d0b: PUSH1 0x40
00000d0d: MLOAD
00000d0e: RETURNDATASIZE
00000d0f: PUSH1 0x1f
00000d11: NOT
00000d12: PUSH1 0x1f
00000d14: DUP3
00000d15: ADD
00000d16: AND
00000d17: DUP3
00000d18: ADD
00000d19: DUP1
00000d1a: PUSH1 0x40
00000d1c: MSTORE
00000d1d: POP
00000d1e: DUP2
00000d1f: ADD
00000d20: SWAP1
00000d21: PUSH2 0x0d2a
00000d24: SWAP2
00000d25: SWAP1
00000d26: PUSH2 0x1646
00000d29: JUMP
00000d2a: JUMPDEST
00000d2b: SWAP1
00000d2c: POP
00000d2d: PUSH1 0x64
00000d2f: DUP5
00000d30: EQ
00000d31: ISZERO
00000d32: PUSH2 0x0d3d
00000d35: JUMPI
00000d36: DUP1
00000d37: SWAP3
00000d38: POP
00000d39: PUSH2 0x0d4a
00000d3c: JUMP
00000d3d: JUMPDEST
00000d3e: PUSH2 0x0d47
00000d41: DUP2
00000d42: DUP6
00000d43: PUSH2 0x117b
00000d46: JUMP
00000d47: JUMPDEST
00000d48: SWAP3
00000d49: POP
00000d4a: JUMPDEST
00000d4b: PUSH1 0x06
00000d4d: PUSH1 0x00
00000d4f: SWAP1
00000d50: SLOAD
00000d51: SWAP1
00000d52: PUSH2 0x0100
00000d55: EXP
00000d56: SWAP1
00000d57: DIV
00000d58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d6d: AND
00000d6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d83: AND
00000d84: PUSH4 0x791ac947
00000d89: DUP5
00000d8a: PUSH1 0x00
00000d8c: PUSH1 0x02
00000d8e: PUSH1 0x00
00000d90: DUP1
00000d91: SLOAD
00000d92: SWAP1
00000d93: PUSH2 0x0100
00000d96: EXP
00000d97: SWAP1
00000d98: DIV
00000d99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dae: AND
00000daf: TIMESTAMP
00000db0: PUSH1 0x40
00000db2: MLOAD
00000db3: DUP7
00000db4: PUSH4 0xffffffff
00000db9: AND
00000dba: PUSH1 0xe0
00000dbc: SHL
00000dbd: DUP2
00000dbe: MSTORE
00000dbf: PUSH1 0x04
00000dc1: ADD
00000dc2: PUSH2 0x0dcf
00000dc5: SWAP6
00000dc6: SWAP5
00000dc7: SWAP4
00000dc8: SWAP3
00000dc9: SWAP2
00000dca: SWAP1
00000dcb: PUSH2 0x19bc
00000dce: JUMP
00000dcf: JUMPDEST
00000dd0: PUSH1 0x00
00000dd2: PUSH1 0x40
00000dd4: MLOAD
00000dd5: DUP1
00000dd6: DUP4
00000dd7: SUB
00000dd8: DUP2
00000dd9: PUSH1 0x00
00000ddb: DUP8
00000ddc: DUP1
00000ddd: EXTCODESIZE
00000dde: ISZERO
00000ddf: DUP1
00000de0: ISZERO
00000de1: PUSH2 0x0de9
00000de4: JUMPI
00000de5: PUSH1 0x00
00000de7: DUP1
00000de8: REVERT
00000de9: JUMPDEST
00000dea: POP
00000deb: GAS
00000dec: CALL
00000ded: ISZERO
00000dee: DUP1
00000def: ISZERO
00000df0: PUSH2 0x0dfd
00000df3: JUMPI
00000df4: RETURNDATASIZE
00000df5: PUSH1 0x00
00000df7: DUP1
00000df8: RETURNDATACOPY
00000df9: RETURNDATASIZE
00000dfa: PUSH1 0x00
00000dfc: REVERT
00000dfd: JUMPDEST
00000dfe: POP
00000dff: POP
00000e00: POP
00000e01: POP
00000e02: POP
00000e03: POP
00000e04: POP
00000e05: POP
00000e06: POP
00000e07: POP
00000e08: JUMP
00000e09: JUMPDEST
00000e0a: PUSH1 0x00
00000e0c: PUSH1 0x04
00000e0e: PUSH1 0x00
00000e10: DUP4
00000e11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e26: AND
00000e27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e3c: AND
00000e3d: DUP2
00000e3e: MSTORE
00000e3f: PUSH1 0x20
00000e41: ADD
00000e42: SWAP1
00000e43: DUP2
00000e44: MSTORE
00000e45: PUSH1 0x20
00000e47: ADD
00000e48: PUSH1 0x00
00000e4a: KECCAK256
00000e4b: PUSH1 0x00
00000e4d: SWAP1
00000e4e: SLOAD
00000e4f: SWAP1
00000e50: PUSH2 0x0100
00000e53: EXP
00000e54: SWAP1
00000e55: DIV
00000e56: PUSH1 0xff
00000e58: AND
00000e59: SWAP1
00000e5a: POP
00000e5b: SWAP2
00000e5c: SWAP1
00000e5d: POP
00000e5e: JUMP
00000e5f: JUMPDEST
00000e60: PUSH1 0x00
00000e62: DUP1
00000e63: SLOAD
00000e64: SWAP1
00000e65: PUSH2 0x0100
00000e68: EXP
00000e69: SWAP1
00000e6a: DIV
00000e6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e80: AND
00000e81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e96: AND
00000e97: CALLER
00000e98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ead: AND
00000eae: EQ
00000eaf: PUSH2 0x0eed
00000eb2: JUMPI
00000eb3: PUSH1 0x40
00000eb5: MLOAD
00000eb6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ed7: DUP2
00000ed8: MSTORE
00000ed9: PUSH1 0x04
00000edb: ADD
00000edc: PUSH2 0x0ee4
00000edf: SWAP1
00000ee0: PUSH2 0x18d0
00000ee3: JUMP
00000ee4: JUMPDEST
00000ee5: PUSH1 0x40
00000ee7: MLOAD
00000ee8: DUP1
00000ee9: SWAP2
00000eea: SUB
00000eeb: SWAP1
00000eec: REVERT
00000eed: JUMPDEST
00000eee: PUSH1 0x00
00000ef0: DUP2
00000ef1: SWAP1
00000ef2: POP
00000ef3: PUSH1 0x00
00000ef5: DUP2
00000ef6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f0b: AND
00000f0c: PUSH4 0x70a08231
00000f11: ADDRESS
00000f12: PUSH1 0x40
00000f14: MLOAD
00000f15: DUP3
00000f16: PUSH4 0xffffffff
00000f1b: AND
00000f1c: PUSH1 0xe0
00000f1e: SHL
00000f1f: DUP2
00000f20: MSTORE
00000f21: PUSH1 0x04
00000f23: ADD
00000f24: PUSH2 0x0f2d
00000f27: SWAP2
00000f28: SWAP1
00000f29: PUSH2 0x1804
00000f2c: JUMP
00000f2d: JUMPDEST
00000f2e: PUSH1 0x20
00000f30: PUSH1 0x40
00000f32: MLOAD
00000f33: DUP1
00000f34: DUP4
00000f35: SUB
00000f36: DUP2
00000f37: DUP7
00000f38: DUP1
00000f39: EXTCODESIZE
00000f3a: ISZERO
00000f3b: DUP1
00000f3c: ISZERO
00000f3d: PUSH2 0x0f45
00000f40: JUMPI
00000f41: PUSH1 0x00
00000f43: DUP1
00000f44: REVERT
00000f45: JUMPDEST
00000f46: POP
00000f47: GAS
00000f48: STATICCALL
00000f49: ISZERO
00000f4a: DUP1
00000f4b: ISZERO
00000f4c: PUSH2 0x0f59
00000f4f: JUMPI
00000f50: RETURNDATASIZE
00000f51: PUSH1 0x00
00000f53: DUP1
00000f54: RETURNDATACOPY
00000f55: RETURNDATASIZE
00000f56: PUSH1 0x00
00000f58: REVERT
00000f59: JUMPDEST
00000f5a: POP
00000f5b: POP
00000f5c: POP
00000f5d: POP
00000f5e: PUSH1 0x40
00000f60: MLOAD
00000f61: RETURNDATASIZE
00000f62: PUSH1 0x1f
00000f64: NOT
00000f65: PUSH1 0x1f
00000f67: DUP3
00000f68: ADD
00000f69: AND
00000f6a: DUP3
00000f6b: ADD
00000f6c: DUP1
00000f6d: PUSH1 0x40
00000f6f: MSTORE
00000f70: POP
00000f71: DUP2
00000f72: ADD
00000f73: SWAP1
00000f74: PUSH2 0x0f7d
00000f77: SWAP2
00000f78: SWAP1
00000f79: PUSH2 0x1646
00000f7c: JUMP
00000f7d: JUMPDEST
00000f7e: SWAP1
00000f7f: POP
00000f80: DUP2
00000f81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f96: AND
00000f97: PUSH4 0xa9059cbb
00000f9c: PUSH1 0x00
00000f9e: DUP1
00000f9f: SLOAD
00000fa0: SWAP1
00000fa1: PUSH2 0x0100
00000fa4: EXP
00000fa5: SWAP1
00000fa6: DIV
00000fa7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fbc: AND
00000fbd: DUP4
00000fbe: PUSH1 0x40
00000fc0: MLOAD
00000fc1: DUP4
00000fc2: PUSH4 0xffffffff
00000fc7: AND
00000fc8: PUSH1 0xe0
00000fca: SHL
00000fcb: DUP2
00000fcc: MSTORE
00000fcd: PUSH1 0x04
00000fcf: ADD
00000fd0: PUSH2 0x0fda
00000fd3: SWAP3
00000fd4: SWAP2
00000fd5: SWAP1
00000fd6: PUSH2 0x183a
00000fd9: JUMP
00000fda: JUMPDEST
00000fdb: PUSH1 0x20
00000fdd: PUSH1 0x40
00000fdf: MLOAD
00000fe0: DUP1
00000fe1: DUP4
00000fe2: SUB
00000fe3: DUP2
00000fe4: PUSH1 0x00
00000fe6: DUP8
00000fe7: DUP1
00000fe8: EXTCODESIZE
00000fe9: ISZERO
00000fea: DUP1
00000feb: ISZERO
00000fec: PUSH2 0x0ff4
00000fef: JUMPI
00000ff0: PUSH1 0x00
00000ff2: DUP1
00000ff3: REVERT
00000ff4: JUMPDEST
00000ff5: POP
00000ff6: GAS
00000ff7: CALL
00000ff8: ISZERO
00000ff9: DUP1
00000ffa: ISZERO
00000ffb: PUSH2 0x1008
00000ffe: JUMPI
00000fff: RETURNDATASIZE
00001000: PUSH1 0x00
00001002: DUP1
00001003: RETURNDATACOPY
00001004: RETURNDATASIZE
00001005: PUSH1 0x00
00001007: REVERT
00001008: JUMPDEST
00001009: POP
0000100a: POP
0000100b: POP
0000100c: POP
0000100d: PUSH1 0x40
0000100f: MLOAD
00001010: RETURNDATASIZE
00001011: PUSH1 0x1f
00001013: NOT
00001014: PUSH1 0x1f
00001016: DUP3
00001017: ADD
00001018: AND
00001019: DUP3
0000101a: ADD
0000101b: DUP1
0000101c: PUSH1 0x40
0000101e: MSTORE
0000101f: POP
00001020: DUP2
00001021: ADD
00001022: SWAP1
00001023: PUSH2 0x102c
00001026: SWAP2
00001027: SWAP1
00001028: PUSH2 0x161d
0000102b: JUMP
0000102c: JUMPDEST
0000102d: POP
0000102e: POP
0000102f: POP
00001030: POP
00001031: JUMP
00001032: JUMPDEST
00001033: PUSH1 0x00
00001035: DUP1
00001036: SLOAD
00001037: SWAP1
00001038: PUSH2 0x0100
0000103b: EXP
0000103c: SWAP1
0000103d: DIV
0000103e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001053: AND
00001054: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001069: AND
0000106a: CALLER
0000106b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001080: AND
00001081: EQ
00001082: PUSH2 0x10c0
00001085: JUMPI
00001086: PUSH1 0x40
00001088: MLOAD
00001089: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000010aa: DUP2
000010ab: MSTORE
000010ac: PUSH1 0x04
000010ae: ADD
000010af: PUSH2 0x10b7
000010b2: SWAP1
000010b3: PUSH2 0x18d0
000010b6: JUMP
000010b7: JUMPDEST
000010b8: PUSH1 0x40
000010ba: MLOAD
000010bb: DUP1
000010bc: SWAP2
000010bd: SUB
000010be: SWAP1
000010bf: REVERT
000010c0: JUMPDEST
000010c1: PUSH1 0x00
000010c3: JUMPDEST
000010c4: DUP2
000010c5: MLOAD
000010c6: DUP2
000010c7: LT
000010c8: ISZERO
000010c9: PUSH2 0x1177
000010cc: JUMPI
000010cd: PUSH1 0x01
000010cf: PUSH1 0x04
000010d1: PUSH1 0x00
000010d3: DUP5
000010d4: DUP5
000010d5: DUP2
000010d6: MLOAD
000010d7: DUP2
000010d8: LT
000010d9: PUSH2 0x110b
000010dc: JUMPI
000010dd: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000010fe: PUSH1 0x00
00001100: MSTORE
00001101: PUSH1 0x32
00001103: PUSH1 0x04
00001105: MSTORE
00001106: PUSH1 0x24
00001108: PUSH1 0x00
0000110a: REVERT
0000110b: JUMPDEST
0000110c: PUSH1 0x20
0000110e: MUL
0000110f: PUSH1 0x20
00001111: ADD
00001112: ADD
00001113: MLOAD
00001114: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001129: AND
0000112a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000113f: AND
00001140: DUP2
00001141: MSTORE
00001142: PUSH1 0x20
00001144: ADD
00001145: SWAP1
00001146: DUP2
00001147: MSTORE
00001148: PUSH1 0x20
0000114a: ADD
0000114b: PUSH1 0x00
0000114d: KECCAK256
0000114e: PUSH1 0x00
00001150: PUSH2 0x0100
00001153: EXP
00001154: DUP2
00001155: SLOAD
00001156: DUP2
00001157: PUSH1 0xff
00001159: MUL
0000115a: NOT
0000115b: AND
0000115c: SWAP1
0000115d: DUP4
0000115e: ISZERO
0000115f: ISZERO
00001160: MUL
00001161: OR
00001162: SWAP1
00001163: SSTORE
00001164: POP
00001165: DUP1
00001166: DUP1
00001167: PUSH2 0x116f
0000116a: SWAP1
0000116b: PUSH2 0x1cae
0000116e: JUMP
0000116f: JUMPDEST
00001170: SWAP2
00001171: POP
00001172: POP
00001173: PUSH2 0x10c3
00001176: JUMP
00001177: JUMPDEST
00001178: POP
00001179: POP
0000117a: JUMP
0000117b: JUMPDEST
0000117c: PUSH1 0x00
0000117e: PUSH1 0x64
00001180: DUP3
00001181: DUP5
00001182: PUSH2 0x118b
00001185: SWAP2
00001186: SWAP1
00001187: PUSH2 0x1b13
0000118a: JUMP
0000118b: JUMPDEST
0000118c: PUSH2 0x1195
0000118f: SWAP2
00001190: SWAP1
00001191: PUSH2 0x1ae2
00001194: JUMP
00001195: JUMPDEST
00001196: SWAP1
00001197: POP
00001198: SWAP3
00001199: SWAP2
0000119a: POP
0000119b: POP
0000119c: JUMP
0000119d: JUMPDEST
0000119e: DUP3
0000119f: DUP1
000011a0: SLOAD
000011a1: DUP3
000011a2: DUP3
000011a3: SSTORE
000011a4: SWAP1
000011a5: PUSH1 0x00
000011a7: MSTORE
000011a8: PUSH1 0x20
000011aa: PUSH1 0x00
000011ac: KECCAK256
000011ad: SWAP1
000011ae: DUP2
000011af: ADD
000011b0: SWAP3
000011b1: DUP3
000011b2: ISZERO
000011b3: PUSH2 0x122c
000011b6: JUMPI
000011b7: SWAP2
000011b8: PUSH1 0x20
000011ba: MUL
000011bb: DUP3
000011bc: ADD
000011bd: JUMPDEST
000011be: DUP3
000011bf: DUP2
000011c0: GT
000011c1: ISZERO
000011c2: PUSH2 0x122b
000011c5: JUMPI
000011c6: DUP3
000011c7: CALLDATALOAD
000011c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011dd: AND
000011de: DUP3
000011df: PUSH1 0x00
000011e1: PUSH2 0x0100
000011e4: EXP
000011e5: DUP2
000011e6: SLOAD
000011e7: DUP2
000011e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011fd: MUL
000011fe: NOT
000011ff: AND
00001200: SWAP1
00001201: DUP4
00001202: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001217: AND
00001218: MUL
00001219: OR
0000121a: SWAP1
0000121b: SSTORE
0000121c: POP
0000121d: SWAP2
0000121e: PUSH1 0x20
00001220: ADD
00001221: SWAP2
00001222: SWAP1
00001223: PUSH1 0x01
00001225: ADD
00001226: SWAP1
00001227: PUSH2 0x11bd
0000122a: JUMP
0000122b: JUMPDEST
0000122c: JUMPDEST
0000122d: POP
0000122e: SWAP1
0000122f: POP
00001230: PUSH2 0x1239
00001233: SWAP2
00001234: SWAP1
00001235: PUSH2 0x12c7
00001238: JUMP
00001239: JUMPDEST
0000123a: POP
0000123b: SWAP1
0000123c: JUMP
0000123d: JUMPDEST
0000123e: DUP3
0000123f: DUP1
00001240: SLOAD
00001241: DUP3
00001242: DUP3
00001243: SSTORE
00001244: SWAP1
00001245: PUSH1 0x00
00001247: MSTORE
00001248: PUSH1 0x20
0000124a: PUSH1 0x00
0000124c: KECCAK256
0000124d: SWAP1
0000124e: DUP2
0000124f: ADD
00001250: SWAP3
00001251: DUP3
00001252: ISZERO
00001253: PUSH2 0x12b6
00001256: JUMPI
00001257: SWAP2
00001258: PUSH1 0x20
0000125a: MUL
0000125b: DUP3
0000125c: ADD
0000125d: JUMPDEST
0000125e: DUP3
0000125f: DUP2
00001260: GT
00001261: ISZERO
00001262: PUSH2 0x12b5
00001265: JUMPI
00001266: DUP3
00001267: MLOAD
00001268: DUP3
00001269: PUSH1 0x00
0000126b: PUSH2 0x0100
0000126e: EXP
0000126f: DUP2
00001270: SLOAD
00001271: DUP2
00001272: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001287: MUL
00001288: NOT
00001289: AND
0000128a: SWAP1
0000128b: DUP4
0000128c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012a1: AND
000012a2: MUL
000012a3: OR
000012a4: SWAP1
000012a5: SSTORE
000012a6: POP
000012a7: SWAP2
000012a8: PUSH1 0x20
000012aa: ADD
000012ab: SWAP2
000012ac: SWAP1
000012ad: PUSH1 0x01
000012af: ADD
000012b0: SWAP1
000012b1: PUSH2 0x125d
000012b4: JUMP
000012b5: JUMPDEST
000012b6: JUMPDEST
000012b7: POP
000012b8: SWAP1
000012b9: POP
000012ba: PUSH2 0x12c3
000012bd: SWAP2
000012be: SWAP1
000012bf: PUSH2 0x12c7
000012c2: JUMP
000012c3: JUMPDEST
000012c4: POP
000012c5: SWAP1
000012c6: JUMP
000012c7: JUMPDEST
000012c8: JUMPDEST
000012c9: DUP1
000012ca: DUP3
000012cb: GT
000012cc: ISZERO
000012cd: PUSH2 0x12e0
000012d0: JUMPI
000012d1: PUSH1 0x00
000012d3: DUP2
000012d4: PUSH1 0x00
000012d6: SWAP1
000012d7: SSTORE
000012d8: POP
000012d9: PUSH1 0x01
000012db: ADD
000012dc: PUSH2 0x12c8
000012df: JUMP
000012e0: JUMPDEST
000012e1: POP
000012e2: SWAP1
000012e3: JUMP
000012e4: JUMPDEST
000012e5: PUSH1 0x00
000012e7: PUSH2 0x12f7
000012ea: PUSH2 0x12f2
000012ed: DUP5
000012ee: PUSH2 0x1a3b
000012f1: JUMP
000012f2: JUMPDEST
000012f3: PUSH2 0x1a16
000012f6: JUMP
000012f7: JUMPDEST
000012f8: SWAP1
000012f9: POP
000012fa: DUP1
000012fb: DUP4
000012fc: DUP3
000012fd: MSTORE
000012fe: PUSH1 0x20
00001300: DUP3
00001301: ADD
00001302: SWAP1
00001303: POP
00001304: DUP3
00001305: DUP6
00001306: PUSH1 0x20
00001308: DUP7
00001309: MUL
0000130a: DUP3
0000130b: ADD
0000130c: GT
0000130d: ISZERO
0000130e: PUSH2 0x1316
00001311: JUMPI
00001312: PUSH1 0x00
00001314: DUP1
00001315: REVERT
00001316: JUMPDEST
00001317: PUSH1 0x00
00001319: JUMPDEST
0000131a: DUP6
0000131b: DUP2
0000131c: LT
0000131d: ISZERO
0000131e: PUSH2 0x1346
00001321: JUMPI
00001322: DUP2
00001323: PUSH2 0x132c
00001326: DUP9
00001327: DUP3
00001328: PUSH2 0x13bc
0000132b: JUMP
0000132c: JUMPDEST
0000132d: DUP5
0000132e: MSTORE
0000132f: PUSH1 0x20
00001331: DUP5
00001332: ADD
00001333: SWAP4
00001334: POP
00001335: PUSH1 0x20
00001337: DUP4
00001338: ADD
00001339: SWAP3
0000133a: POP
0000133b: POP
0000133c: PUSH1 0x01
0000133e: DUP2
0000133f: ADD
00001340: SWAP1
00001341: POP
00001342: PUSH2 0x1319
00001345: JUMP
00001346: JUMPDEST
00001347: POP
00001348: POP
00001349: POP
0000134a: SWAP4
0000134b: SWAP3
0000134c: POP
0000134d: POP
0000134e: POP
0000134f: JUMP
00001350: JUMPDEST
00001351: PUSH1 0x00
00001353: PUSH2 0x1363
00001356: PUSH2 0x135e
00001359: DUP5
0000135a: PUSH2 0x1a67
0000135d: JUMP
0000135e: JUMPDEST
0000135f: PUSH2 0x1a16
00001362: JUMP
00001363: JUMPDEST
00001364: SWAP1
00001365: POP
00001366: DUP1
00001367: DUP4
00001368: DUP3
00001369: MSTORE
0000136a: PUSH1 0x20
0000136c: DUP3
0000136d: ADD
0000136e: SWAP1
0000136f: POP
00001370: DUP3
00001371: DUP6
00001372: PUSH1 0x20
00001374: DUP7
00001375: MUL
00001376: DUP3
00001377: ADD
00001378: GT
00001379: ISZERO
0000137a: PUSH2 0x1382
0000137d: JUMPI
0000137e: PUSH1 0x00
00001380: DUP1
00001381: REVERT
00001382: JUMPDEST
00001383: PUSH1 0x00
00001385: JUMPDEST
00001386: DUP6
00001387: DUP2
00001388: LT
00001389: ISZERO
0000138a: PUSH2 0x13b2
0000138d: JUMPI
0000138e: DUP2
0000138f: PUSH2 0x1398
00001392: DUP9
00001393: DUP3
00001394: PUSH2 0x1499
00001397: JUMP
00001398: JUMPDEST
00001399: DUP5
0000139a: MSTORE
0000139b: PUSH1 0x20
0000139d: DUP5
0000139e: ADD
0000139f: SWAP4
000013a0: POP
000013a1: PUSH1 0x20
000013a3: DUP4
000013a4: ADD
000013a5: SWAP3
000013a6: POP
000013a7: POP
000013a8: PUSH1 0x01
000013aa: DUP2
000013ab: ADD
000013ac: SWAP1
000013ad: POP
000013ae: PUSH2 0x1385
000013b1: JUMP
000013b2: JUMPDEST
000013b3: POP
000013b4: POP
000013b5: POP
000013b6: SWAP4
000013b7: SWAP3
000013b8: POP
000013b9: POP
000013ba: POP
000013bb: JUMP
000013bc: JUMPDEST
000013bd: PUSH1 0x00
000013bf: DUP2
000013c0: CALLDATALOAD
000013c1: SWAP1
000013c2: POP
000013c3: PUSH2 0x13cb
000013c6: DUP2
000013c7: PUSH2 0x1e82
000013ca: JUMP
000013cb: JUMPDEST
000013cc: SWAP3
000013cd: SWAP2
000013ce: POP
000013cf: POP
000013d0: JUMP
000013d1: JUMPDEST
000013d2: PUSH1 0x00
000013d4: DUP1
000013d5: DUP4
000013d6: PUSH1 0x1f
000013d8: DUP5
000013d9: ADD
000013da: SLT
000013db: PUSH2 0x13e3
000013de: JUMPI
000013df: PUSH1 0x00
000013e1: DUP1
000013e2: REVERT
000013e3: JUMPDEST
000013e4: DUP3
000013e5: CALLDATALOAD
000013e6: SWAP1
000013e7: POP
000013e8: PUSH8 0xffffffffffffffff
000013f1: DUP2
000013f2: GT
000013f3: ISZERO
000013f4: PUSH2 0x13fc
000013f7: JUMPI
000013f8: PUSH1 0x00
000013fa: DUP1
000013fb: REVERT
000013fc: JUMPDEST
000013fd: PUSH1 0x20
000013ff: DUP4
00001400: ADD
00001401: SWAP2
00001402: POP
00001403: DUP4
00001404: PUSH1 0x20
00001406: DUP3
00001407: MUL
00001408: DUP4
00001409: ADD
0000140a: GT
0000140b: ISZERO
0000140c: PUSH2 0x1414
0000140f: JUMPI
00001410: PUSH1 0x00
00001412: DUP1
00001413: REVERT
00001414: JUMPDEST
00001415: SWAP3
00001416: POP
00001417: SWAP3
00001418: SWAP1
00001419: POP
0000141a: JUMP
0000141b: JUMPDEST
0000141c: PUSH1 0x00
0000141e: DUP3
0000141f: PUSH1 0x1f
00001421: DUP4
00001422: ADD
00001423: SLT
00001424: PUSH2 0x142c
00001427: JUMPI
00001428: PUSH1 0x00
0000142a: DUP1
0000142b: REVERT
0000142c: JUMPDEST
0000142d: DUP2
0000142e: CALLDATALOAD
0000142f: PUSH2 0x143c
00001432: DUP5
00001433: DUP3
00001434: PUSH1 0x20
00001436: DUP7
00001437: ADD
00001438: PUSH2 0x12e4
0000143b: JUMP
0000143c: JUMPDEST
0000143d: SWAP2
0000143e: POP
0000143f: POP
00001440: SWAP3
00001441: SWAP2
00001442: POP
00001443: POP
00001444: JUMP
00001445: JUMPDEST
00001446: PUSH1 0x00
00001448: DUP3
00001449: PUSH1 0x1f
0000144b: DUP4
0000144c: ADD
0000144d: SLT
0000144e: PUSH2 0x1456
00001451: JUMPI
00001452: PUSH1 0x00
00001454: DUP1
00001455: REVERT
00001456: JUMPDEST
00001457: DUP2
00001458: MLOAD
00001459: PUSH2 0x1466
0000145c: DUP5
0000145d: DUP3
0000145e: PUSH1 0x20
00001460: DUP7
00001461: ADD
00001462: PUSH2 0x1350
00001465: JUMP
00001466: JUMPDEST
00001467: SWAP2
00001468: POP
00001469: POP
0000146a: SWAP3
0000146b: SWAP2
0000146c: POP
0000146d: POP
0000146e: JUMP
0000146f: JUMPDEST
00001470: PUSH1 0x00
00001472: DUP2
00001473: MLOAD
00001474: SWAP1
00001475: POP
00001476: PUSH2 0x147e
00001479: DUP2
0000147a: PUSH2 0x1e99
0000147d: JUMP
0000147e: JUMPDEST
0000147f: SWAP3
00001480: SWAP2
00001481: POP
00001482: POP
00001483: JUMP
00001484: JUMPDEST
00001485: PUSH1 0x00
00001487: DUP2
00001488: CALLDATALOAD
00001489: SWAP1
0000148a: POP
0000148b: PUSH2 0x1493
0000148e: DUP2
0000148f: PUSH2 0x1eb0
00001492: JUMP
00001493: JUMPDEST
00001494: SWAP3
00001495: SWAP2
00001496: POP
00001497: POP
00001498: JUMP
00001499: JUMPDEST
0000149a: PUSH1 0x00
0000149c: DUP2
0000149d: MLOAD
0000149e: SWAP1
0000149f: POP
000014a0: PUSH2 0x14a8
000014a3: DUP2
000014a4: PUSH2 0x1eb0
000014a7: JUMP
000014a8: JUMPDEST
000014a9: SWAP3
000014aa: SWAP2
000014ab: POP
000014ac: POP
000014ad: JUMP
000014ae: JUMPDEST
000014af: PUSH1 0x00
000014b1: PUSH1 0x20
000014b3: DUP3
000014b4: DUP5
000014b5: SUB
000014b6: SLT
000014b7: ISZERO
000014b8: PUSH2 0x14c0
000014bb: JUMPI
000014bc: PUSH1 0x00
000014be: DUP1
000014bf: REVERT
000014c0: JUMPDEST
000014c1: PUSH1 0x00
000014c3: PUSH2 0x14ce
000014c6: DUP5
000014c7: DUP3
000014c8: DUP6
000014c9: ADD
000014ca: PUSH2 0x13bc
000014cd: JUMP
000014ce: JUMPDEST
000014cf: SWAP2
000014d0: POP
000014d1: POP
000014d2: SWAP3
000014d3: SWAP2
000014d4: POP
000014d5: POP
000014d6: JUMP
000014d7: JUMPDEST
000014d8: PUSH1 0x00
000014da: DUP1
000014db: PUSH1 0x00
000014dd: PUSH1 0x40
000014df: DUP5
000014e0: DUP7
000014e1: SUB
000014e2: SLT
000014e3: ISZERO
000014e4: PUSH2 0x14ec
000014e7: JUMPI
000014e8: PUSH1 0x00
000014ea: DUP1
000014eb: REVERT
000014ec: JUMPDEST
000014ed: PUSH1 0x00
000014ef: DUP5
000014f0: ADD
000014f1: CALLDATALOAD
000014f2: PUSH8 0xffffffffffffffff
000014fb: DUP2
000014fc: GT
000014fd: ISZERO
000014fe: PUSH2 0x1506
00001501: JUMPI
00001502: PUSH1 0x00
00001504: DUP1
00001505: REVERT
00001506: JUMPDEST
00001507: PUSH2 0x1512
0000150a: DUP7
0000150b: DUP3
0000150c: DUP8
0000150d: ADD
0000150e: PUSH2 0x13d1
00001511: JUMP
00001512: JUMPDEST
00001513: SWAP4
00001514: POP
00001515: SWAP4
00001516: POP
00001517: POP
00001518: PUSH1 0x20
0000151a: PUSH2 0x1525
0000151d: DUP7
0000151e: DUP3
0000151f: DUP8
00001520: ADD
00001521: PUSH2 0x1484
00001524: JUMP
00001525: JUMPDEST
00001526: SWAP2
00001527: POP
00001528: POP
00001529: SWAP3
0000152a: POP
0000152b: SWAP3
0000152c: POP
0000152d: SWAP3
0000152e: JUMP
0000152f: JUMPDEST
00001530: PUSH1 0x00
00001532: DUP1
00001533: PUSH1 0x00
00001535: DUP1
00001536: PUSH1 0x60
00001538: DUP6
00001539: DUP8
0000153a: SUB
0000153b: SLT
0000153c: ISZERO
0000153d: PUSH2 0x1545
00001540: JUMPI
00001541: PUSH1 0x00
00001543: DUP1
00001544: REVERT
00001545: JUMPDEST
00001546: PUSH1 0x00
00001548: DUP6
00001549: ADD
0000154a: CALLDATALOAD
0000154b: PUSH8 0xffffffffffffffff
00001554: DUP2
00001555: GT
00001556: ISZERO
00001557: PUSH2 0x155f
0000155a: JUMPI
0000155b: PUSH1 0x00
0000155d: DUP1
0000155e: REVERT
0000155f: JUMPDEST
00001560: PUSH2 0x156b
00001563: DUP8
00001564: DUP3
00001565: DUP9
00001566: ADD
00001567: PUSH2 0x13d1
0000156a: JUMP
0000156b: JUMPDEST
0000156c: SWAP5
0000156d: POP
0000156e: SWAP5
0000156f: POP
00001570: POP
00001571: PUSH1 0x20
00001573: PUSH2 0x157e
00001576: DUP8
00001577: DUP3
00001578: DUP9
00001579: ADD
0000157a: PUSH2 0x1484
0000157d: JUMP
0000157e: JUMPDEST
0000157f: SWAP3
00001580: POP
00001581: POP
00001582: PUSH1 0x40
00001584: PUSH2 0x158f
00001587: DUP8
00001588: DUP3
00001589: DUP9
0000158a: ADD
0000158b: PUSH2 0x1484
0000158e: JUMP
0000158f: JUMPDEST
00001590: SWAP2
00001591: POP
00001592: POP
00001593: SWAP3
00001594: SWAP6
00001595: SWAP2
00001596: SWAP5
00001597: POP
00001598: SWAP3
00001599: POP
0000159a: JUMP
0000159b: JUMPDEST
0000159c: PUSH1 0x00
0000159e: PUSH1 0x20
000015a0: DUP3
000015a1: DUP5
000015a2: SUB
000015a3: SLT
000015a4: ISZERO
000015a5: PUSH2 0x15ad
000015a8: JUMPI
000015a9: PUSH1 0x00
000015ab: DUP1
000015ac: REVERT
000015ad: JUMPDEST
000015ae: PUSH1 0x00
000015b0: DUP3
000015b1: ADD
000015b2: CALLDATALOAD
000015b3: PUSH8 0xffffffffffffffff
000015bc: DUP2
000015bd: GT
000015be: ISZERO
000015bf: PUSH2 0x15c7
000015c2: JUMPI
000015c3: PUSH1 0x00
000015c5: DUP1
000015c6: REVERT
000015c7: JUMPDEST
000015c8: PUSH2 0x15d3
000015cb: DUP5
000015cc: DUP3
000015cd: DUP6
000015ce: ADD
000015cf: PUSH2 0x141b
000015d2: JUMP
000015d3: JUMPDEST
000015d4: SWAP2
000015d5: POP
000015d6: POP
000015d7: SWAP3
000015d8: SWAP2
000015d9: POP
000015da: POP
000015db: JUMP
000015dc: JUMPDEST
000015dd: PUSH1 0x00
000015df: PUSH1 0x20
000015e1: DUP3
000015e2: DUP5
000015e3: SUB
000015e4: SLT
000015e5: ISZERO
000015e6: PUSH2 0x15ee
000015e9: JUMPI
000015ea: PUSH1 0x00
000015ec: DUP1
000015ed: REVERT
000015ee: JUMPDEST
000015ef: PUSH1 0x00
000015f1: DUP3
000015f2: ADD
000015f3: MLOAD
000015f4: PUSH8 0xffffffffffffffff
000015fd: DUP2
000015fe: GT
000015ff: ISZERO
00001600: PUSH2 0x1608
00001603: JUMPI
00001604: PUSH1 0x00
00001606: DUP1
00001607: REVERT
00001608: JUMPDEST
00001609: PUSH2 0x1614
0000160c: DUP5
0000160d: DUP3
0000160e: DUP6
0000160f: ADD
00001610: PUSH2 0x1445
00001613: JUMP
00001614: JUMPDEST
00001615: SWAP2
00001616: POP
00001617: POP
00001618: SWAP3
00001619: SWAP2
0000161a: POP
0000161b: POP
0000161c: JUMP
0000161d: JUMPDEST
0000161e: PUSH1 0x00
00001620: PUSH1 0x20
00001622: DUP3
00001623: DUP5
00001624: SUB
00001625: SLT
00001626: ISZERO
00001627: PUSH2 0x162f
0000162a: JUMPI
0000162b: PUSH1 0x00
0000162d: DUP1
0000162e: REVERT
0000162f: JUMPDEST
00001630: PUSH1 0x00
00001632: PUSH2 0x163d
00001635: DUP5
00001636: DUP3
00001637: DUP6
00001638: ADD
00001639: PUSH2 0x146f
0000163c: JUMP
0000163d: JUMPDEST
0000163e: SWAP2
0000163f: POP
00001640: POP
00001641: SWAP3
00001642: SWAP2
00001643: POP
00001644: POP
00001645: JUMP
00001646: JUMPDEST
00001647: PUSH1 0x00
00001649: PUSH1 0x20
0000164b: DUP3
0000164c: DUP5
0000164d: SUB
0000164e: SLT
0000164f: ISZERO
00001650: PUSH2 0x1658
00001653: JUMPI
00001654: PUSH1 0x00
00001656: DUP1
00001657: REVERT
00001658: JUMPDEST
00001659: PUSH1 0x00
0000165b: PUSH2 0x1666
0000165e: DUP5
0000165f: DUP3
00001660: DUP6
00001661: ADD
00001662: PUSH2 0x1499
00001665: JUMP
00001666: JUMPDEST
00001667: SWAP2
00001668: POP
00001669: POP
0000166a: SWAP3
0000166b: SWAP2
0000166c: POP
0000166d: POP
0000166e: JUMP
0000166f: JUMPDEST
00001670: PUSH1 0x00
00001672: PUSH2 0x167b
00001675: DUP4
00001676: DUP4
00001677: PUSH2 0x16a5
0000167a: JUMP
0000167b: JUMPDEST
0000167c: PUSH1 0x20
0000167e: DUP4
0000167f: ADD
00001680: SWAP1
00001681: POP
00001682: SWAP3
00001683: SWAP2
00001684: POP
00001685: POP
00001686: JUMP
00001687: JUMPDEST
00001688: PUSH2 0x1690
0000168b: DUP2
0000168c: PUSH2 0x1c1b
0000168f: JUMP
00001690: JUMPDEST
00001691: DUP3
00001692: MSTORE
00001693: POP
00001694: POP
00001695: JUMP
00001696: JUMPDEST
00001697: PUSH2 0x169f
0000169a: DUP2
0000169b: PUSH2 0x1bd3
0000169e: JUMP
0000169f: JUMPDEST
000016a0: DUP3
000016a1: MSTORE
000016a2: POP
000016a3: POP
000016a4: JUMP
000016a5: JUMPDEST
000016a6: PUSH2 0x16ae
000016a9: DUP2
000016aa: PUSH2 0x1bc1
000016ad: JUMP
000016ae: JUMPDEST
000016af: DUP3
000016b0: MSTORE
000016b1: POP
000016b2: POP
000016b3: JUMP
000016b4: JUMPDEST
000016b5: PUSH2 0x16bd
000016b8: DUP2
000016b9: PUSH2 0x1bc1
000016bc: JUMP
000016bd: JUMPDEST
000016be: DUP3
000016bf: MSTORE
000016c0: POP
000016c1: POP
000016c2: JUMP
000016c3: JUMPDEST
000016c4: PUSH1 0x00
000016c6: PUSH2 0x16ce
000016c9: DUP3
000016ca: PUSH2 0x1aa8
000016cd: JUMP
000016ce: JUMPDEST
000016cf: PUSH2 0x16d8
000016d2: DUP2
000016d3: DUP6
000016d4: PUSH2 0x1ac0
000016d7: JUMP
000016d8: JUMPDEST
000016d9: SWAP4
000016da: POP
000016db: PUSH2 0x16e3
000016de: DUP4
000016df: PUSH2 0x1a93
000016e2: JUMP
000016e3: JUMPDEST
000016e4: DUP1
000016e5: PUSH1 0x00
000016e7: JUMPDEST
000016e8: DUP4
000016e9: DUP2
000016ea: LT
000016eb: ISZERO
000016ec: PUSH2 0x171b
000016ef: JUMPI
000016f0: PUSH2 0x16f8
000016f3: DUP3
000016f4: PUSH2 0x1d84
000016f7: JUMP
000016f8: JUMPDEST
000016f9: PUSH2 0x1702
000016fc: DUP9
000016fd: DUP3
000016fe: PUSH2 0x166f
00001701: JUMP
00001702: JUMPDEST
00001703: SWAP8
00001704: POP
00001705: PUSH2 0x170d
00001708: DUP4
00001709: PUSH2 0x1ab3
0000170c: JUMP
0000170d: JUMPDEST
0000170e: SWAP3
0000170f: POP
00001710: POP
00001711: PUSH1 0x01
00001713: DUP2
00001714: ADD
00001715: SWAP1
00001716: POP
00001717: PUSH2 0x16e7
0000171a: JUMP
0000171b: JUMPDEST
0000171c: POP
0000171d: DUP6
0000171e: SWAP4
0000171f: POP
00001720: POP
00001721: POP
00001722: POP
00001723: SWAP3
00001724: SWAP2
00001725: POP
00001726: POP
00001727: JUMP
00001728: JUMPDEST
00001729: PUSH2 0x1731
0000172c: DUP2
0000172d: PUSH2 0x1be5
00001730: JUMP
00001731: JUMPDEST
00001732: DUP3
00001733: MSTORE
00001734: POP
00001735: POP
00001736: JUMP
00001737: JUMPDEST
00001738: PUSH2 0x1740
0000173b: DUP2
0000173c: PUSH2 0x1c2d
0000173f: JUMP
00001740: JUMPDEST
00001741: DUP3
00001742: MSTORE
00001743: POP
00001744: POP
00001745: JUMP
00001746: JUMPDEST
00001747: PUSH1 0x00
00001749: PUSH2 0x1753
0000174c: PUSH1 0x14
0000174e: DUP4
0000174f: PUSH2 0x1ad1
00001752: JUMP
00001753: JUMPDEST
00001754: SWAP2
00001755: POP
00001756: PUSH2 0x175e
00001759: DUP3
0000175a: PUSH2 0x1db5
0000175d: JUMP
0000175e: JUMPDEST
0000175f: PUSH1 0x20
00001761: DUP3
00001762: ADD
00001763: SWAP1
00001764: POP
00001765: SWAP2
00001766: SWAP1
00001767: POP
00001768: JUMP
00001769: JUMPDEST
0000176a: PUSH1 0x00
0000176c: PUSH2 0x1776
0000176f: PUSH1 0x07
00001771: DUP4
00001772: PUSH2 0x1ad1
00001775: JUMP
00001776: JUMPDEST
00001777: SWAP2
00001778: POP
00001779: PUSH2 0x1781
0000177c: DUP3
0000177d: PUSH2 0x1dde
00001780: JUMP
00001781: JUMPDEST
00001782: PUSH1 0x20
00001784: DUP3
00001785: ADD
00001786: SWAP1
00001787: POP
00001788: SWAP2
00001789: SWAP1
0000178a: POP
0000178b: JUMP
0000178c: JUMPDEST
0000178d: PUSH1 0x00
0000178f: PUSH2 0x1799
00001792: PUSH1 0x12
00001794: DUP4
00001795: PUSH2 0x1ad1
00001798: JUMP
00001799: JUMPDEST
0000179a: SWAP2
0000179b: POP
0000179c: PUSH2 0x17a4
0000179f: DUP3
000017a0: PUSH2 0x1e07
000017a3: JUMP
000017a4: JUMPDEST
000017a5: PUSH1 0x20
000017a7: DUP3
000017a8: ADD
000017a9: SWAP1
000017aa: POP
000017ab: SWAP2
000017ac: SWAP1
000017ad: POP
000017ae: JUMP
000017af: JUMPDEST
000017b0: PUSH1 0x00
000017b2: PUSH2 0x17bc
000017b5: PUSH1 0x0f
000017b7: DUP4
000017b8: PUSH2 0x1ad1
000017bb: JUMP
000017bc: JUMPDEST
000017bd: SWAP2
000017be: POP
000017bf: PUSH2 0x17c7
000017c2: DUP3
000017c3: PUSH2 0x1e30
000017c6: JUMP
000017c7: JUMPDEST
000017c8: PUSH1 0x20
000017ca: DUP3
000017cb: ADD
000017cc: SWAP1
000017cd: POP
000017ce: SWAP2
000017cf: SWAP1
000017d0: POP
000017d1: JUMP
000017d2: JUMPDEST
000017d3: PUSH1 0x00
000017d5: PUSH2 0x17df
000017d8: PUSH1 0x07
000017da: DUP4
000017db: PUSH2 0x1ad1
000017de: JUMP
000017df: JUMPDEST
000017e0: SWAP2
000017e1: POP
000017e2: PUSH2 0x17ea
000017e5: DUP3
000017e6: PUSH2 0x1e59
000017e9: JUMP
000017ea: JUMPDEST
000017eb: PUSH1 0x20
000017ed: DUP3
000017ee: ADD
000017ef: SWAP1
000017f0: POP
000017f1: SWAP2
000017f2: SWAP1
000017f3: POP
000017f4: JUMP
000017f5: JUMPDEST
000017f6: PUSH2 0x17fe
000017f9: DUP2
000017fa: PUSH2 0x1c11
000017fd: JUMP
000017fe: JUMPDEST
000017ff: DUP3
00001800: MSTORE
00001801: POP
00001802: POP
00001803: JUMP
00001804: JUMPDEST
00001805: PUSH1 0x00
00001807: PUSH1 0x20
00001809: DUP3
0000180a: ADD
0000180b: SWAP1
0000180c: POP
0000180d: PUSH2 0x1819
00001810: PUSH1 0x00
00001812: DUP4
00001813: ADD
00001814: DUP5
00001815: PUSH2 0x16b4
00001818: JUMP
00001819: JUMPDEST
0000181a: SWAP3
0000181b: SWAP2
0000181c: POP
0000181d: POP
0000181e: JUMP
0000181f: JUMPDEST
00001820: PUSH1 0x00
00001822: PUSH1 0x20
00001824: DUP3
00001825: ADD
00001826: SWAP1
00001827: POP
00001828: PUSH2 0x1834
0000182b: PUSH1 0x00
0000182d: DUP4
0000182e: ADD
0000182f: DUP5
00001830: PUSH2 0x1696
00001833: JUMP
00001834: JUMPDEST
00001835: SWAP3
00001836: SWAP2
00001837: POP
00001838: POP
00001839: JUMP
0000183a: JUMPDEST
0000183b: PUSH1 0x00
0000183d: PUSH1 0x40
0000183f: DUP3
00001840: ADD
00001841: SWAP1
00001842: POP
00001843: PUSH2 0x184f
00001846: PUSH1 0x00
00001848: DUP4
00001849: ADD
0000184a: DUP6
0000184b: PUSH2 0x1687
0000184e: JUMP
0000184f: JUMPDEST
00001850: PUSH2 0x185c
00001853: PUSH1 0x20
00001855: DUP4
00001856: ADD
00001857: DUP5
00001858: PUSH2 0x17f5
0000185b: JUMP
0000185c: JUMPDEST
0000185d: SWAP4
0000185e: SWAP3
0000185f: POP
00001860: POP
00001861: POP
00001862: JUMP
00001863: JUMPDEST
00001864: PUSH1 0x00
00001866: PUSH1 0x40
00001868: DUP3
00001869: ADD
0000186a: SWAP1
0000186b: POP
0000186c: PUSH2 0x1878
0000186f: PUSH1 0x00
00001871: DUP4
00001872: ADD
00001873: DUP6
00001874: PUSH2 0x16b4
00001877: JUMP
00001878: JUMPDEST
00001879: PUSH2 0x1885
0000187c: PUSH1 0x20
0000187e: DUP4
0000187f: ADD
00001880: DUP5
00001881: PUSH2 0x16b4
00001884: JUMP
00001885: JUMPDEST
00001886: SWAP4
00001887: SWAP3
00001888: POP
00001889: POP
0000188a: POP
0000188b: JUMP
0000188c: JUMPDEST
0000188d: PUSH1 0x00
0000188f: PUSH1 0x40
00001891: DUP3
00001892: ADD
00001893: SWAP1
00001894: POP
00001895: PUSH2 0x18a1
00001898: PUSH1 0x00
0000189a: DUP4
0000189b: ADD
0000189c: DUP6
0000189d: PUSH2 0x16b4
000018a0: JUMP
000018a1: JUMPDEST
000018a2: PUSH2 0x18ae
000018a5: PUSH1 0x20
000018a7: DUP4
000018a8: ADD
000018a9: DUP5
000018aa: PUSH2 0x17f5
000018ad: JUMP
000018ae: JUMPDEST
000018af: SWAP4
000018b0: SWAP3
000018b1: POP
000018b2: POP
000018b3: POP
000018b4: JUMP
000018b5: JUMPDEST
000018b6: PUSH1 0x00
000018b8: PUSH1 0x20
000018ba: DUP3
000018bb: ADD
000018bc: SWAP1
000018bd: POP
000018be: PUSH2 0x18ca
000018c1: PUSH1 0x00
000018c3: DUP4
000018c4: ADD
000018c5: DUP5
000018c6: PUSH2 0x1728
000018c9: JUMP
000018ca: JUMPDEST
000018cb: SWAP3
000018cc: SWAP2
000018cd: POP
000018ce: POP
000018cf: JUMP
000018d0: JUMPDEST
000018d1: PUSH1 0x00
000018d3: PUSH1 0x20
000018d5: DUP3
000018d6: ADD
000018d7: SWAP1
000018d8: POP
000018d9: DUP2
000018da: DUP2
000018db: SUB
000018dc: PUSH1 0x00
000018de: DUP4
000018df: ADD
000018e0: MSTORE
000018e1: PUSH2 0x18e9
000018e4: DUP2
000018e5: PUSH2 0x1746
000018e8: JUMP
000018e9: JUMPDEST
000018ea: SWAP1
000018eb: POP
000018ec: SWAP2
000018ed: SWAP1
000018ee: POP
000018ef: JUMP
000018f0: JUMPDEST
000018f1: PUSH1 0x00
000018f3: PUSH1 0x20
000018f5: DUP3
000018f6: ADD
000018f7: SWAP1
000018f8: POP
000018f9: DUP2
000018fa: DUP2
000018fb: SUB
000018fc: PUSH1 0x00
000018fe: DUP4
000018ff: ADD
00001900: MSTORE
00001901: PUSH2 0x1909
00001904: DUP2
00001905: PUSH2 0x1769
00001908: JUMP
00001909: JUMPDEST
0000190a: SWAP1
0000190b: POP
0000190c: SWAP2
0000190d: SWAP1
0000190e: POP
0000190f: JUMP
00001910: JUMPDEST
00001911: PUSH1 0x00
00001913: PUSH1 0x20
00001915: DUP3
00001916: ADD
00001917: SWAP1
00001918: POP
00001919: DUP2
0000191a: DUP2
0000191b: SUB
0000191c: PUSH1 0x00
0000191e: DUP4
0000191f: ADD
00001920: MSTORE
00001921: PUSH2 0x1929
00001924: DUP2
00001925: PUSH2 0x178c
00001928: JUMP
00001929: JUMPDEST
0000192a: SWAP1
0000192b: POP
0000192c: SWAP2
0000192d: SWAP1
0000192e: POP
0000192f: JUMP
00001930: JUMPDEST
00001931: PUSH1 0x00
00001933: PUSH1 0x20
00001935: DUP3
00001936: ADD
00001937: SWAP1
00001938: POP
00001939: DUP2
0000193a: DUP2
0000193b: SUB
0000193c: PUSH1 0x00
0000193e: DUP4
0000193f: ADD
00001940: MSTORE
00001941: PUSH2 0x1949
00001944: DUP2
00001945: PUSH2 0x17af
00001948: JUMP
00001949: JUMPDEST
0000194a: SWAP1
0000194b: POP
0000194c: SWAP2
0000194d: SWAP1
0000194e: POP
0000194f: JUMP
00001950: JUMPDEST
00001951: PUSH1 0x00
00001953: PUSH1 0x20
00001955: DUP3
00001956: ADD
00001957: SWAP1
00001958: POP
00001959: DUP2
0000195a: DUP2
0000195b: SUB
0000195c: PUSH1 0x00
0000195e: DUP4
0000195f: ADD
00001960: MSTORE
00001961: PUSH2 0x1969
00001964: DUP2
00001965: PUSH2 0x17d2
00001968: JUMP
00001969: JUMPDEST
0000196a: SWAP1
0000196b: POP
0000196c: SWAP2
0000196d: SWAP1
0000196e: POP
0000196f: JUMP
00001970: JUMPDEST
00001971: PUSH1 0x00
00001973: PUSH1 0x80
00001975: DUP3
00001976: ADD
00001977: SWAP1
00001978: POP
00001979: PUSH2 0x1985
0000197c: PUSH1 0x00
0000197e: DUP4
0000197f: ADD
00001980: DUP8
00001981: PUSH2 0x17f5
00001984: JUMP
00001985: JUMPDEST
00001986: DUP2
00001987: DUP2
00001988: SUB
00001989: PUSH1 0x20
0000198b: DUP4
0000198c: ADD
0000198d: MSTORE
0000198e: PUSH2 0x1997
00001991: DUP2
00001992: DUP7
00001993: PUSH2 0x16c3
00001996: JUMP
00001997: JUMPDEST
00001998: SWAP1
00001999: POP
0000199a: PUSH2 0x19a6
0000199d: PUSH1 0x40
0000199f: DUP4
000019a0: ADD
000019a1: DUP6
000019a2: PUSH2 0x16b4
000019a5: JUMP
000019a6: JUMPDEST
000019a7: PUSH2 0x19b3
000019aa: PUSH1 0x60
000019ac: DUP4
000019ad: ADD
000019ae: DUP5
000019af: PUSH2 0x17f5
000019b2: JUMP
000019b3: JUMPDEST
000019b4: SWAP6
000019b5: SWAP5
000019b6: POP
000019b7: POP
000019b8: POP
000019b9: POP
000019ba: POP
000019bb: JUMP
000019bc: JUMPDEST
000019bd: PUSH1 0x00
000019bf: PUSH1 0xa0
000019c1: DUP3
000019c2: ADD
000019c3: SWAP1
000019c4: POP
000019c5: PUSH2 0x19d1
000019c8: PUSH1 0x00
000019ca: DUP4
000019cb: ADD
000019cc: DUP9
000019cd: PUSH2 0x17f5
000019d0: JUMP
000019d1: JUMPDEST
000019d2: PUSH2 0x19de
000019d5: PUSH1 0x20
000019d7: DUP4
000019d8: ADD
000019d9: DUP8
000019da: PUSH2 0x1737
000019dd: JUMP
000019de: JUMPDEST
000019df: DUP2
000019e0: DUP2
000019e1: SUB
000019e2: PUSH1 0x40
000019e4: DUP4
000019e5: ADD
000019e6: MSTORE
000019e7: PUSH2 0x19f0
000019ea: DUP2
000019eb: DUP7
000019ec: PUSH2 0x16c3
000019ef: JUMP
000019f0: JUMPDEST
000019f1: SWAP1
000019f2: POP
000019f3: PUSH2 0x19ff
000019f6: PUSH1 0x60
000019f8: DUP4
000019f9: ADD
000019fa: DUP6
000019fb: PUSH2 0x16b4
000019fe: JUMP
000019ff: JUMPDEST
00001a00: PUSH2 0x1a0c
00001a03: PUSH1 0x80
00001a05: DUP4
00001a06: ADD
00001a07: DUP5
00001a08: PUSH2 0x17f5
00001a0b: JUMP
00001a0c: JUMPDEST
00001a0d: SWAP7
00001a0e: SWAP6
00001a0f: POP
00001a10: POP
00001a11: POP
00001a12: POP
00001a13: POP
00001a14: POP
00001a15: JUMP
00001a16: JUMPDEST
00001a17: PUSH1 0x00
00001a19: PUSH2 0x1a20
00001a1c: PUSH2 0x1a31
00001a1f: JUMP
00001a20: JUMPDEST
00001a21: SWAP1
00001a22: POP
00001a23: PUSH2 0x1a2c
00001a26: DUP3
00001a27: DUP3
00001a28: PUSH2 0x1c7d
00001a2b: JUMP
00001a2c: JUMPDEST
00001a2d: SWAP2
00001a2e: SWAP1
00001a2f: POP
00001a30: JUMP
00001a31: JUMPDEST
00001a32: PUSH1 0x00
00001a34: PUSH1 0x40
00001a36: MLOAD
00001a37: SWAP1
00001a38: POP
00001a39: SWAP1
00001a3a: JUMP
00001a3b: JUMPDEST
00001a3c: PUSH1 0x00
00001a3e: PUSH8 0xffffffffffffffff
00001a47: DUP3
00001a48: GT
00001a49: ISZERO
00001a4a: PUSH2 0x1a56
00001a4d: JUMPI
00001a4e: PUSH2 0x1a55
00001a51: PUSH2 0x1d55
00001a54: JUMP
00001a55: JUMPDEST
00001a56: JUMPDEST
00001a57: PUSH1 0x20
00001a59: DUP3
00001a5a: MUL
00001a5b: SWAP1
00001a5c: POP
00001a5d: PUSH1 0x20
00001a5f: DUP2
00001a60: ADD
00001a61: SWAP1
00001a62: POP
00001a63: SWAP2
00001a64: SWAP1
00001a65: POP
00001a66: JUMP
00001a67: JUMPDEST
00001a68: PUSH1 0x00
00001a6a: PUSH8 0xffffffffffffffff
00001a73: DUP3
00001a74: GT
00001a75: ISZERO
00001a76: PUSH2 0x1a82
00001a79: JUMPI
00001a7a: PUSH2 0x1a81
00001a7d: PUSH2 0x1d55
00001a80: JUMP
00001a81: JUMPDEST
00001a82: JUMPDEST
00001a83: PUSH1 0x20
00001a85: DUP3
00001a86: MUL
00001a87: SWAP1
00001a88: POP
00001a89: PUSH1 0x20
00001a8b: DUP2
00001a8c: ADD
00001a8d: SWAP1
00001a8e: POP
00001a8f: SWAP2
00001a90: SWAP1
00001a91: POP
00001a92: JUMP
00001a93: JUMPDEST
00001a94: PUSH1 0x00
00001a96: DUP2
00001a97: SWAP1
00001a98: POP
00001a99: DUP2
00001a9a: PUSH1 0x00
00001a9c: MSTORE
00001a9d: PUSH1 0x20
00001a9f: PUSH1 0x00
00001aa1: KECCAK256
00001aa2: SWAP1
00001aa3: POP
00001aa4: SWAP2
00001aa5: SWAP1
00001aa6: POP
00001aa7: JUMP
00001aa8: JUMPDEST
00001aa9: PUSH1 0x00
00001aab: DUP2
00001aac: SLOAD
00001aad: SWAP1
00001aae: POP
00001aaf: SWAP2
00001ab0: SWAP1
00001ab1: POP
00001ab2: JUMP
00001ab3: JUMPDEST
00001ab4: PUSH1 0x00
00001ab6: PUSH1 0x01
00001ab8: DUP3
00001ab9: ADD
00001aba: SWAP1
00001abb: POP
00001abc: SWAP2
00001abd: SWAP1
00001abe: POP
00001abf: JUMP
00001ac0: JUMPDEST
00001ac1: PUSH1 0x00
00001ac3: DUP3
00001ac4: DUP3
00001ac5: MSTORE
00001ac6: PUSH1 0x20
00001ac8: DUP3
00001ac9: ADD
00001aca: SWAP1
00001acb: POP
00001acc: SWAP3
00001acd: SWAP2
00001ace: POP
00001acf: POP
00001ad0: JUMP
00001ad1: JUMPDEST
00001ad2: PUSH1 0x00
00001ad4: DUP3
00001ad5: DUP3
00001ad6: MSTORE
00001ad7: PUSH1 0x20
00001ad9: DUP3
00001ada: ADD
00001adb: SWAP1
00001adc: POP
00001add: SWAP3
00001ade: SWAP2
00001adf: POP
00001ae0: POP
00001ae1: JUMP
00001ae2: JUMPDEST
00001ae3: PUSH1 0x00
00001ae5: PUSH2 0x1aed
00001ae8: DUP3
00001ae9: PUSH2 0x1c11
00001aec: JUMP
00001aed: JUMPDEST
00001aee: SWAP2
00001aef: POP
00001af0: PUSH2 0x1af8
00001af3: DUP4
00001af4: PUSH2 0x1c11
00001af7: JUMP
00001af8: JUMPDEST
00001af9: SWAP3
00001afa: POP
00001afb: DUP3
00001afc: PUSH2 0x1b08
00001aff: JUMPI
00001b00: PUSH2 0x1b07
00001b03: PUSH2 0x1d26
00001b06: JUMP
00001b07: JUMPDEST
00001b08: JUMPDEST
00001b09: DUP3
00001b0a: DUP3
00001b0b: DIV
00001b0c: SWAP1
00001b0d: POP
00001b0e: SWAP3
00001b0f: SWAP2
00001b10: POP
00001b11: POP
00001b12: JUMP
00001b13: JUMPDEST
00001b14: PUSH1 0x00
00001b16: PUSH2 0x1b1e
00001b19: DUP3
00001b1a: PUSH2 0x1c11
00001b1d: JUMP
00001b1e: JUMPDEST
00001b1f: SWAP2
00001b20: POP
00001b21: PUSH2 0x1b29
00001b24: DUP4
00001b25: PUSH2 0x1c11
00001b28: JUMP
00001b29: JUMPDEST
00001b2a: SWAP3
00001b2b: POP
00001b2c: DUP2
00001b2d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001b4e: DIV
00001b4f: DUP4
00001b50: GT
00001b51: DUP3
00001b52: ISZERO
00001b53: ISZERO
00001b54: AND
00001b55: ISZERO
00001b56: PUSH2 0x1b62
00001b59: JUMPI
00001b5a: PUSH2 0x1b61
00001b5d: PUSH2 0x1cf7
00001b60: JUMP
00001b61: JUMPDEST
00001b62: JUMPDEST
00001b63: DUP3
00001b64: DUP3
00001b65: MUL
00001b66: SWAP1
00001b67: POP
00001b68: SWAP3
00001b69: SWAP2
00001b6a: POP
00001b6b: POP
00001b6c: JUMP
00001b6d: JUMPDEST
00001b6e: PUSH1 0x00
00001b70: PUSH2 0x1b78
00001b73: DUP3
00001b74: PUSH2 0x1c11
00001b77: JUMP
00001b78: JUMPDEST
00001b79: SWAP2
00001b7a: POP
00001b7b: PUSH2 0x1b83
00001b7e: DUP4
00001b7f: PUSH2 0x1c11
00001b82: JUMP
00001b83: JUMPDEST
00001b84: SWAP3
00001b85: POP
00001b86: DUP3
00001b87: DUP3
00001b88: LT
00001b89: ISZERO
00001b8a: PUSH2 0x1b96
00001b8d: JUMPI
00001b8e: PUSH2 0x1b95
00001b91: PUSH2 0x1cf7
00001b94: JUMP
00001b95: JUMPDEST
00001b96: JUMPDEST
00001b97: DUP3
00001b98: DUP3
00001b99: SUB
00001b9a: SWAP1
00001b9b: POP
00001b9c: SWAP3
00001b9d: SWAP2
00001b9e: POP
00001b9f: POP
00001ba0: JUMP
00001ba1: JUMPDEST
00001ba2: PUSH1 0x00
00001ba4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bb9: DUP3
00001bba: AND
00001bbb: SWAP1
00001bbc: POP
00001bbd: SWAP2
00001bbe: SWAP1
00001bbf: POP
00001bc0: JUMP
00001bc1: JUMPDEST
00001bc2: PUSH1 0x00
00001bc4: PUSH2 0x1bcc
00001bc7: DUP3
00001bc8: PUSH2 0x1bf1
00001bcb: JUMP
00001bcc: JUMPDEST
00001bcd: SWAP1
00001bce: POP
00001bcf: SWAP2
00001bd0: SWAP1
00001bd1: POP
00001bd2: JUMP
00001bd3: JUMPDEST
00001bd4: PUSH1 0x00
00001bd6: PUSH2 0x1bde
00001bd9: DUP3
00001bda: PUSH2 0x1bf1
00001bdd: JUMP
00001bde: JUMPDEST
00001bdf: SWAP1
00001be0: POP
00001be1: SWAP2
00001be2: SWAP1
00001be3: POP
00001be4: JUMP
00001be5: JUMPDEST
00001be6: PUSH1 0x00
00001be8: DUP2
00001be9: ISZERO
00001bea: ISZERO
00001beb: SWAP1
00001bec: POP
00001bed: SWAP2
00001bee: SWAP1
00001bef: POP
00001bf0: JUMP
00001bf1: JUMPDEST
00001bf2: PUSH1 0x00
00001bf4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c09: DUP3
00001c0a: AND
00001c0b: SWAP1
00001c0c: POP
00001c0d: SWAP2
00001c0e: SWAP1
00001c0f: POP
00001c10: JUMP
00001c11: JUMPDEST
00001c12: PUSH1 0x00
00001c14: DUP2
00001c15: SWAP1
00001c16: POP
00001c17: SWAP2
00001c18: SWAP1
00001c19: POP
00001c1a: JUMP
00001c1b: JUMPDEST
00001c1c: PUSH1 0x00
00001c1e: PUSH2 0x1c26
00001c21: DUP3
00001c22: PUSH2 0x1c3f
00001c25: JUMP
00001c26: JUMPDEST
00001c27: SWAP1
00001c28: POP
00001c29: SWAP2
00001c2a: SWAP1
00001c2b: POP
00001c2c: JUMP
00001c2d: JUMPDEST
00001c2e: PUSH1 0x00
00001c30: PUSH2 0x1c38
00001c33: DUP3
00001c34: PUSH2 0x1c11
00001c37: JUMP
00001c38: JUMPDEST
00001c39: SWAP1
00001c3a: POP
00001c3b: SWAP2
00001c3c: SWAP1
00001c3d: POP
00001c3e: JUMP
00001c3f: JUMPDEST
00001c40: PUSH1 0x00
00001c42: PUSH2 0x1c4a
00001c45: DUP3
00001c46: PUSH2 0x1c51
00001c49: JUMP
00001c4a: JUMPDEST
00001c4b: SWAP1
00001c4c: POP
00001c4d: SWAP2
00001c4e: SWAP1
00001c4f: POP
00001c50: JUMP
00001c51: JUMPDEST
00001c52: PUSH1 0x00
00001c54: PUSH2 0x1c5c
00001c57: DUP3
00001c58: PUSH2 0x1bf1
00001c5b: JUMP
00001c5c: JUMPDEST
00001c5d: SWAP1
00001c5e: POP
00001c5f: SWAP2
00001c60: SWAP1
00001c61: POP
00001c62: JUMP
00001c63: JUMPDEST
00001c64: PUSH1 0x00
00001c66: PUSH2 0x1c76
00001c69: PUSH2 0x1c71
00001c6c: DUP4
00001c6d: PUSH2 0x1da8
00001c70: JUMP
00001c71: JUMPDEST
00001c72: PUSH2 0x1ba1
00001c75: JUMP
00001c76: JUMPDEST
00001c77: SWAP1
00001c78: POP
00001c79: SWAP2
00001c7a: SWAP1
00001c7b: POP
00001c7c: JUMP
00001c7d: JUMPDEST
00001c7e: PUSH2 0x1c86
00001c81: DUP3
00001c82: PUSH2 0x1d97
00001c85: JUMP
00001c86: JUMPDEST
00001c87: DUP2
00001c88: ADD
00001c89: DUP2
00001c8a: DUP2
00001c8b: LT
00001c8c: PUSH8 0xffffffffffffffff
00001c95: DUP3
00001c96: GT
00001c97: OR
00001c98: ISZERO
00001c99: PUSH2 0x1ca5
00001c9c: JUMPI
00001c9d: PUSH2 0x1ca4
00001ca0: PUSH2 0x1d55
00001ca3: JUMP
00001ca4: JUMPDEST
00001ca5: JUMPDEST
00001ca6: DUP1
00001ca7: PUSH1 0x40
00001ca9: MSTORE
00001caa: POP
00001cab: POP
00001cac: POP
00001cad: JUMP
00001cae: JUMPDEST
00001caf: PUSH1 0x00
00001cb1: PUSH2 0x1cb9
00001cb4: DUP3
00001cb5: PUSH2 0x1c11
00001cb8: JUMP
00001cb9: JUMPDEST
00001cba: SWAP2
00001cbb: POP
00001cbc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001cdd: DUP3
00001cde: EQ
00001cdf: ISZERO
00001ce0: PUSH2 0x1cec
00001ce3: JUMPI
00001ce4: PUSH2 0x1ceb
00001ce7: PUSH2 0x1cf7
00001cea: JUMP
00001ceb: JUMPDEST
00001cec: JUMPDEST
00001ced: PUSH1 0x01
00001cef: DUP3
00001cf0: ADD
00001cf1: SWAP1
00001cf2: POP
00001cf3: SWAP2
00001cf4: SWAP1
00001cf5: POP
00001cf6: JUMP
00001cf7: JUMPDEST
00001cf8: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001d19: PUSH1 0x00
00001d1b: MSTORE
00001d1c: PUSH1 0x11
00001d1e: PUSH1 0x04
00001d20: MSTORE
00001d21: PUSH1 0x24
00001d23: PUSH1 0x00
00001d25: REVERT
00001d26: JUMPDEST
00001d27: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001d48: PUSH1 0x00
00001d4a: MSTORE
00001d4b: PUSH1 0x12
00001d4d: PUSH1 0x04
00001d4f: MSTORE
00001d50: PUSH1 0x24
00001d52: PUSH1 0x00
00001d54: REVERT
00001d55: JUMPDEST
00001d56: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001d77: PUSH1 0x00
00001d79: MSTORE
00001d7a: PUSH1 0x41
00001d7c: PUSH1 0x04
00001d7e: MSTORE
00001d7f: PUSH1 0x24
00001d81: PUSH1 0x00
00001d83: REVERT
00001d84: JUMPDEST
00001d85: PUSH1 0x00
00001d87: PUSH2 0x1d90
00001d8a: DUP3
00001d8b: SLOAD
00001d8c: PUSH2 0x1c63
00001d8f: JUMP
00001d90: JUMPDEST
00001d91: SWAP1
00001d92: POP
00001d93: SWAP2
00001d94: SWAP1
00001d95: POP
00001d96: JUMP
00001d97: JUMPDEST
00001d98: PUSH1 0x00
00001d9a: PUSH1 0x1f
00001d9c: NOT
00001d9d: PUSH1 0x1f
00001d9f: DUP4
00001da0: ADD
00001da1: AND
00001da2: SWAP1
00001da3: POP
00001da4: SWAP2
00001da5: SWAP1
00001da6: POP
00001da7: JUMP
00001da8: JUMPDEST
00001da9: PUSH1 0x00
00001dab: DUP2
00001dac: PUSH1 0x00
00001dae: SHR
00001daf: SWAP1
00001db0: POP
00001db1: SWAP2
00001db2: SWAP1
00001db3: POP
00001db4: JUMP
00001db5: JUMPDEST
00001db6: PUSH32 0x6d616e6167657220616c6c6f776564206f6e6c79000000000000000000000000
00001dd7: PUSH1 0x00
00001dd9: DUP3
00001dda: ADD
00001ddb: MSTORE
00001ddc: POP
00001ddd: JUMP
00001dde: JUMPDEST
00001ddf: PUSH32 0x41206572726f7200000000000000000000000000000000000000000000000000
00001e00: PUSH1 0x00
00001e02: DUP3
00001e03: ADD
00001e04: MSTORE
00001e05: POP
00001e06: JUMP
00001e07: JUMPDEST
00001e08: PUSH32 0x696e73756666696369656e742066756e64730000000000000000000000000000
00001e29: PUSH1 0x00
00001e2b: DUP3
00001e2c: ADD
00001e2d: MSTORE
00001e2e: POP
00001e2f: JUMP
00001e30: JUMPDEST
00001e31: PUSH32 0x6e6f742077686974656c69737465640000000000000000000000000000000000
00001e52: PUSH1 0x00
00001e54: DUP3
00001e55: ADD
00001e56: MSTORE
00001e57: POP
00001e58: JUMP
00001e59: JUMPDEST
00001e5a: PUSH32 0x44206572726f7200000000000000000000000000000000000000000000000000
00001e7b: PUSH1 0x00
00001e7d: DUP3
00001e7e: ADD
00001e7f: MSTORE
00001e80: POP
00001e81: JUMP
00001e82: JUMPDEST
00001e83: PUSH2 0x1e8b
00001e86: DUP2
00001e87: PUSH2 0x1bc1
00001e8a: JUMP
00001e8b: JUMPDEST
00001e8c: DUP2
00001e8d: EQ
00001e8e: PUSH2 0x1e96
00001e91: JUMPI
00001e92: PUSH1 0x00
00001e94: DUP1
00001e95: REVERT
00001e96: JUMPDEST
00001e97: POP
00001e98: JUMP
00001e99: JUMPDEST
00001e9a: PUSH2 0x1ea2
00001e9d: DUP2
00001e9e: PUSH2 0x1be5
00001ea1: JUMP
00001ea2: JUMPDEST
00001ea3: DUP2
00001ea4: EQ
00001ea5: PUSH2 0x1ead
00001ea8: JUMPI
00001ea9: PUSH1 0x00
00001eab: DUP1
00001eac: REVERT
00001ead: JUMPDEST
00001eae: POP
00001eaf: JUMP
00001eb0: JUMPDEST
00001eb1: PUSH2 0x1eb9
00001eb4: DUP2
00001eb5: PUSH2 0x1c11
00001eb8: JUMP
00001eb9: JUMPDEST
00001eba: DUP2
00001ebb: EQ
00001ebc: PUSH2 0x1ec4
00001ebf: JUMPI
00001ec0: PUSH1 0x00
00001ec2: DUP1
00001ec3: REVERT
00001ec4: JUMPDEST
00001ec5: POP
00001ec6: JUMP
00001ec7: INVALID
00001ec8: LOG2
00001ec9: PUSH5 0x6970667358
00001ecf: UNKNOWN(0x22)
00001ed0: SLT
00001ed1: KECCAK256
00001ed2: EXTCODECOPY
00001ed3: PUSH27 0xdd9c5f4d0e040ba25640f4ff3ee6397e881150eae58045a102fc11
00001eef: SWAP16
00001ef0: INVALID
00001ef1: SIGNEXTEND
00001ef2: PUSH5 0x736f6c6343
00001ef8: STOP
00001ef9: ADDMOD
00001efa: DIV
00001efb: STOP
00001efc: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x0b61960afcb179b943575057c68c222c205e11d9e081263ddd1a29a28c76d251 call_targets: 0x3760a06e2487a99d21698b03cc1d70c59bd4acea target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x0b61960afcb179b943575057c68c222c205e11d9e081263ddd1a29a28c76d251", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x3760a06e2487a99d21698b03cc1d70c59bd4acea" ], "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": "0x56159c62", "selector": "0x56159c62", "calldata_variants": [ "0x56159c62", "0x56159c620000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc683630d", "selector": "0xc683630d", "calldata_variants": [ "0xc683630d", "0xc683630d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe0b22c4c", "selector": "0xe0b22c4c", "calldata_variants": [ "0xe0b22c4c", "0xe0b22c4c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf4217648", "selector": "0xf4217648", "calldata_variants": [ "0xf4217648", "0xf42176480000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0baac66f", "selector": "0x0baac66f", "calldata_variants": [ "0x0baac66f", "0x0baac66f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2aeb35d6", "selector": "0x2aeb35d6", "calldata_variants": [ "0x2aeb35d6", "0x2aeb35d60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x481c6a75", "selector": "0x481c6a75", "calldata_variants": [ "0x481c6a75", "0x481c6a750000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 646, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1783, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2108, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 7, "guards_detected": [ { "pc": 475, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 818, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3019, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3735, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 4202, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 7 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x0b61960afcb179b943575057c68c222c205e11d9e081263ddd1a29a28c76d251 call_targets: 0x3760a06e2487a99d21698b03cc1d70c59bd4acea target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x0b61960afcb179b943575057c68c222c205e11d9e081263ddd1a29a28c76d251", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x3760a06e2487a99d21698b03cc1d70c59bd4acea" ], "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": "0x56159c62", "selector": "0x56159c62", "calldata_variants": [ "0x56159c62", "0x56159c620000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc683630d", "selector": "0xc683630d", "calldata_variants": [ "0xc683630d", "0xc683630d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe0b22c4c", "selector": "0xe0b22c4c", "calldata_variants": [ "0xe0b22c4c", "0xe0b22c4c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf4217648", "selector": "0xf4217648", "calldata_variants": [ "0xf4217648", "0xf42176480000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0baac66f", "selector": "0x0baac66f", "calldata_variants": [ "0x0baac66f", "0x0baac66f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2aeb35d6", "selector": "0x2aeb35d6", "calldata_variants": [ "0x2aeb35d6", "0x2aeb35d60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x481c6a75", "selector": "0x481c6a75", "calldata_variants": [ "0x481c6a75", "0x481c6a750000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 646, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1783, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2108, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 7, "guards_detected": [ { "pc": 475, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 818, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3019, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 3735, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 4202, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
Severity