TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b477e-dacc-7365-bca1-195a20d736e8

complete
Chain ID
1
Address
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?

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
29529 artifact.fetch complete 1 / 3 3 months ago
29530 tool.cast_disasm complete 1 / 3 3 months ago
108589 analysis.bundle complete 1 / 3 1 week ago
108590 capability.graph complete 1 / 3 1 week ago
108591 detector.run complete 1 / 3 1 week ago
108592 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
7
EXT*/BALANCE
4
Total opcodes
3993
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0xa0
00000002: DUP1
00000003: PUSH1 0x40
00000005: MSTORE
00000006: PUSH1 0x04
00000008: CALLDATASIZE
00000009: LT
0000000a: ISZERO
0000000b: PUSH2 0x001c
0000000e: JUMPI
0000000f: JUMPDEST
00000010: POP
00000011: CALLDATASIZE
00000012: ISZERO
00000013: PUSH2 0x001a
00000016: JUMPI
00000017: PUSH0
00000018: DUP1
00000019: REVERT
0000001a: JUMPDEST
0000001b: STOP
0000001c: JUMPDEST
0000001d: PUSH0
0000001e: CALLDATALOAD
0000001f: PUSH1 0xe0
00000021: SHR
00000022: SWAP1
00000023: DUP2
00000024: PUSH4 0x01ffc9a7
00000029: EQ
0000002a: PUSH2 0x1a93
0000002d: JUMPI
0000002e: POP
0000002f: DUP1
00000030: PUSH4 0x054a68ad
00000035: EQ
00000036: PUSH2 0x19ff
00000039: JUMPI
0000003a: DUP1
0000003b: PUSH4 0x2194f3a2
00000040: EQ
00000041: PUSH2 0x19ae
00000044: JUMPI
00000045: DUP1
00000046: PUSH4 0x248a9ca3
0000004b: EQ
0000004c: PUSH2 0x1964
0000004f: JUMPI
00000050: DUP1
00000051: PUSH4 0x2f2ff15d
00000056: EQ
00000057: PUSH2 0x190a
0000005a: JUMPI
0000005b: DUP1
0000005c: PUSH4 0x2fde3826
00000061: EQ
00000062: PUSH2 0x1845
00000065: JUMPI
00000066: DUP1
00000067: PUSH4 0x36568abe
0000006c: EQ
0000006d: PUSH2 0x17bb
00000070: JUMPI
00000071: DUP1
00000072: PUSH4 0x3f3a0311
00000077: EQ
00000078: PUSH2 0x1651
0000007b: JUMPI
0000007c: DUP1
0000007d: PUSH4 0x461c48cd
00000082: EQ
00000083: PUSH2 0x14f2
00000086: JUMPI
00000087: DUP1
00000088: PUSH4 0x47437b68
0000008d: EQ
0000008e: PUSH2 0x11c4
00000091: JUMPI
00000092: DUP1
00000093: PUSH4 0x5f91d406
00000098: EQ
00000099: PUSH2 0x116c
0000009c: JUMPI
0000009d: DUP1
0000009e: PUSH4 0x64f0d35e
000000a3: EQ
000000a4: PUSH2 0x111b
000000a7: JUMPI
000000a8: DUP1
000000a9: PUSH4 0x65263303
000000ae: EQ
000000af: PUSH2 0x0a7b
000000b2: JUMPI
000000b3: DUP1
000000b4: PUSH4 0x75b238fc
000000b9: EQ
000000ba: PUSH2 0x0a23
000000bd: JUMPI
000000be: DUP1
000000bf: PUSH4 0x7d6f0d5f
000000c4: EQ
000000c5: PUSH2 0x0943
000000c8: JUMPI
000000c9: DUP1
000000ca: PUSH4 0x91d14854
000000cf: EQ
000000d0: PUSH2 0x08cf
000000d3: JUMPI
000000d4: DUP1
000000d5: PUSH4 0xa217fddf
000000da: EQ
000000db: PUSH2 0x0897
000000de: JUMPI
000000df: DUP1
000000e0: PUSH4 0xa24e1788
000000e5: EQ
000000e6: PUSH2 0x06d9
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0xaad2b723
000000f0: EQ
000000f1: PUSH2 0x05a5
000000f4: JUMPI
000000f5: DUP1
000000f6: PUSH4 0xb0f09f9b
000000fb: EQ
000000fc: PUSH2 0x03a4
000000ff: JUMPI
00000100: DUP1
00000101: PUSH4 0xcabb4549
00000106: EQ
00000107: PUSH2 0x034c
0000010a: JUMPI
0000010b: DUP1
0000010c: PUSH4 0xd547741f
00000111: EQ
00000112: PUSH2 0x02f2
00000115: JUMPI
00000116: DUP1
00000117: PUSH4 0xfdea8e0b
0000011c: EQ
0000011d: PUSH2 0x02a1
00000120: JUMPI
00000121: PUSH4 0xff93be03
00000126: EQ
00000127: PUSH2 0x0130
0000012a: JUMPI
0000012b: PUSH0
0000012c: PUSH2 0x000f
0000012f: JUMP
00000130: JUMPDEST
00000131: CALLVALUE
00000132: PUSH2 0x029d
00000135: JUMPI
00000136: PUSH1 0x40
00000138: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000159: CALLDATASIZE
0000015a: ADD
0000015b: SLT
0000015c: PUSH2 0x029d
0000015f: JUMPI
00000160: PUSH2 0x0167
00000163: PUSH2 0x1ba8
00000166: JUMP
00000167: JUMPDEST
00000168: PUSH1 0x24
0000016a: CALLDATALOAD
0000016b: PUSH8 0xffffffffffffffff
00000174: DUP2
00000175: GT
00000176: PUSH2 0x029d
00000179: JUMPI
0000017a: PUSH2 0x0187
0000017d: SWAP1
0000017e: CALLDATASIZE
0000017f: SWAP1
00000180: PUSH1 0x04
00000182: ADD
00000183: PUSH2 0x1bdc
00000186: JUMP
00000187: JUMPDEST
00000188: SWAP2
00000189: PUSH2 0x0190
0000018c: PUSH2 0x1fed
0000018f: JUMP
00000190: JUMPDEST
00000191: PUSH2 0x0199
00000194: DUP2
00000195: PUSH2 0x2044
00000198: JUMP
00000199: JUMPDEST
0000019a: CALLER
0000019b: PUSH0
0000019c: MSTORE
0000019d: PUSH1 0x20
0000019f: PUSH1 0x04
000001a1: PUSH1 0x20
000001a3: MSTORE
000001a4: PUSH4 0xffffffff
000001a9: PUSH1 0x40
000001ab: PUSH0
000001ac: KECCAK256
000001ad: SWAP3
000001ae: AND
000001af: SWAP2
000001b0: DUP3
000001b1: PUSH0
000001b2: MSTORE
000001b3: PUSH1 0x20
000001b5: MSTORE
000001b6: PUSH1 0x40
000001b8: PUSH0
000001b9: KECCAK256
000001ba: PUSH0
000001bb: JUMPDEST
000001bc: DUP6
000001bd: DUP2
000001be: LT
000001bf: PUSH2 0x01e7
000001c2: JUMPI
000001c3: PUSH0
000001c4: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00
000001e5: TSTORE
000001e6: STOP
000001e7: JUMPDEST
000001e8: DUP1
000001e9: DUP5
000001ea: PUSH2 0x01fe
000001ed: PUSH2 0x01f9
000001f0: PUSH1 0x01
000001f2: SWAP5
000001f3: DUP11
000001f4: DUP11
000001f5: PUSH2 0x1ca2
000001f8: JUMP
000001f9: JUMPDEST
000001fa: PUSH2 0x1cb2
000001fd: JUMP
000001fe: JUMPDEST
000001ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000214: DUP2
00000215: AND
00000216: PUSH0
00000217: MSTORE
00000218: DUP5
00000219: DUP7
0000021a: MSTORE
0000021b: PUSH1 0x40
0000021d: PUSH0
0000021e: KECCAK256
0000021f: DUP1
00000220: SLOAD
00000221: SWAP1
00000222: DUP2
00000223: ISZERO
00000224: PUSH2 0x0294
00000227: JUMPI
00000228: PUSH32 0x4978506686bd9ae370ab4cd6b1b3093dad6682e7840df229a6534e9dc4ba5223
00000249: SWAP2
0000024a: PUSH0
0000024b: PUSH2 0x028a
0000024e: SWAP3
0000024f: SSTORE
00000250: PUSH2 0x0259
00000253: DUP2
00000254: DUP6
00000255: PUSH2 0x2182
00000258: JUMP
00000259: JUMPDEST
0000025a: PUSH1 0x40
0000025c: MLOAD
0000025d: SWAP2
0000025e: DUP3
0000025f: SWAP2
00000260: CALLER
00000261: SWAP6
00000262: DUP4
00000263: PUSH1 0x20
00000265: SWAP1
00000266: SWAP4
00000267: SWAP3
00000268: SWAP2
00000269: SWAP4
0000026a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000027f: PUSH1 0x40
00000281: DUP3
00000282: ADD
00000283: SWAP6
00000284: AND
00000285: DUP2
00000286: MSTORE
00000287: ADD
00000288: MSTORE
00000289: JUMP
0000028a: JUMPDEST
0000028b: SUB
0000028c: SWAP1
0000028d: LOG3
0000028e: JUMPDEST
0000028f: ADD
00000290: PUSH2 0x01bb
00000293: JUMP
00000294: JUMPDEST
00000295: POP
00000296: POP
00000297: POP
00000298: POP
00000299: PUSH2 0x028e
0000029c: JUMP
0000029d: JUMPDEST
0000029e: PUSH0
0000029f: DUP1
000002a0: REVERT
000002a1: JUMPDEST
000002a2: CALLVALUE
000002a3: PUSH2 0x029d
000002a6: JUMPI
000002a7: PUSH0
000002a8: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000002c9: CALLDATASIZE
000002ca: ADD
000002cb: SLT
000002cc: PUSH2 0x029d
000002cf: JUMPI
000002d0: PUSH1 0x20
000002d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002e7: PUSH1 0x01
000002e9: SLOAD
000002ea: AND
000002eb: PUSH1 0x40
000002ed: MLOAD
000002ee: SWAP1
000002ef: DUP2
000002f0: MSTORE
000002f1: RETURN
000002f2: JUMPDEST
000002f3: CALLVALUE
000002f4: PUSH2 0x029d
000002f7: JUMPI
000002f8: PUSH1 0x40
000002fa: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000031b: CALLDATASIZE
0000031c: ADD
0000031d: SLT
0000031e: PUSH2 0x029d
00000321: JUMPI
00000322: PUSH2 0x001a
00000325: PUSH1 0x04
00000327: CALLDATALOAD
00000328: PUSH2 0x032f
0000032b: PUSH2 0x1b72
0000032e: JUMP
0000032f: JUMPDEST
00000330: SWAP1
00000331: DUP1
00000332: PUSH0
00000333: MSTORE
00000334: PUSH0
00000335: PUSH1 0x20
00000337: MSTORE
00000338: PUSH2 0x0347
0000033b: PUSH1 0x01
0000033d: PUSH1 0x40
0000033f: PUSH0
00000340: KECCAK256
00000341: ADD
00000342: SLOAD
00000343: PUSH2 0x1e23
00000346: JUMP
00000347: JUMPDEST
00000348: PUSH2 0x1eec
0000034b: JUMP
0000034c: JUMPDEST
0000034d: CALLVALUE
0000034e: PUSH2 0x029d
00000351: JUMPI
00000352: PUSH0
00000353: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000374: CALLDATASIZE
00000375: ADD
00000376: SLT
00000377: PUSH2 0x029d
0000037a: JUMPI
0000037b: PUSH1 0x20
0000037d: PUSH1 0x40
0000037f: MLOAD
00000380: PUSH32 0x28d695c7dfc0dc20c36b38cc22e861d8a3c0da73ef3975e85a4bf12193642a5c
000003a1: DUP2
000003a2: MSTORE
000003a3: RETURN
000003a4: JUMPDEST
000003a5: CALLVALUE
000003a6: PUSH2 0x029d
000003a9: JUMPI
000003aa: PUSH2 0x03b2
000003ad: CALLDATASIZE
000003ae: PUSH2 0x1c0d
000003b1: JUMP
000003b2: JUMPDEST
000003b3: SWAP2
000003b4: SWAP3
000003b5: PUSH2 0x03c1
000003b8: SWAP7
000003b9: SWAP5
000003ba: SWAP6
000003bb: SWAP2
000003bc: SWAP7
000003bd: PUSH2 0x1dc8
000003c0: JUMP
000003c1: JUMPDEST
000003c2: DUP2
000003c3: ISZERO
000003c4: PUSH2 0x057b
000003c7: JUMPI
000003c8: DUP7
000003c9: DUP2
000003ca: EQ
000003cb: DUP1
000003cc: ISZERO
000003cd: SWAP1
000003ce: PUSH2 0x0571
000003d1: JUMPI
000003d2: JUMPDEST
000003d3: PUSH2 0x0547
000003d6: JUMPI
000003d7: PUSH0
000003d8: JUMPDEST
000003d9: DUP3
000003da: DUP2
000003db: LT
000003dc: PUSH2 0x03e1
000003df: JUMPI
000003e0: STOP
000003e1: JUMPDEST
000003e2: PUSH2 0x03ef
000003e5: PUSH2 0x01f9
000003e8: DUP3
000003e9: DUP6
000003ea: DUP10
000003eb: PUSH2 0x1ca2
000003ee: JUMP
000003ef: JUMPDEST
000003f0: PUSH2 0x03fa
000003f3: DUP3
000003f4: DUP5
000003f5: DUP11
000003f6: PUSH2 0x1f8a
000003f9: JUMP
000003fa: JUMPDEST
000003fb: PUSH2 0x0405
000003fe: DUP5
000003ff: DUP13
00000400: DUP11
00000401: PUSH2 0x1f8a
00000404: JUMP
00000405: JUMPDEST
00000406: SWAP4
00000407: SWAP1
00000408: SWAP2
00000409: DUP5
0000040a: DUP2
0000040b: SUB
0000040c: PUSH2 0x0547
0000040f: JUMPI
00000410: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000425: DUP1
00000426: DUP4
00000427: AND
00000428: PUSH0
00000429: MSTORE
0000042a: PUSH1 0x20
0000042c: SWAP2
0000042d: PUSH1 0x04
0000042f: DUP4
00000430: MSTORE
00000431: PUSH1 0x40
00000433: PUSH0
00000434: KECCAK256
00000435: PUSH4 0xffffffff
0000043a: DUP13
0000043b: AND
0000043c: PUSH0
0000043d: MSTORE
0000043e: DUP4
0000043f: MSTORE
00000440: PUSH1 0x40
00000442: PUSH0
00000443: KECCAK256
00000444: SWAP1
00000445: PUSH0
00000446: JUMPDEST
00000447: DUP13
00000448: DUP3
00000449: DUP3
0000044a: LT
0000044b: PUSH2 0x0460
0000044e: JUMPI
0000044f: POP
00000450: POP
00000451: POP
00000452: POP
00000453: POP
00000454: POP
00000455: POP
00000456: POP
00000457: POP
00000458: POP
00000459: PUSH1 0x01
0000045b: ADD
0000045c: PUSH2 0x03d8
0000045f: JUMP
00000460: JUMPDEST
00000461: SWAP1
00000462: PUSH32 0x417f35c26082857703ae6c899579ddffbf6474393d19bdbf0fbde87267048b4e
00000483: PUSH1 0x01
00000485: SWAP3
00000486: DUP10
00000487: PUSH2 0x052a
0000048a: PUSH2 0x04a3
0000048d: DUP6
0000048e: DUP16
0000048f: DUP16
00000490: PUSH2 0x01f9
00000493: DUP4
00000494: DUP13
00000495: PUSH2 0x049d
00000498: SWAP4
00000499: PUSH2 0x1ca2
0000049c: JUMP
0000049d: JUMPDEST
0000049e: SWAP5
0000049f: PUSH2 0x1ca2
000004a2: JUMP
000004a3: JUMPDEST
000004a4: CALLDATALOAD
000004a5: SWAP3
000004a6: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
000004bb: DUP11
000004bc: DUP5
000004bd: AND
000004be: DUP1
000004bf: PUSH0
000004c0: MSTORE
000004c1: DUP11
000004c2: DUP14
000004c3: MSTORE
000004c4: PUSH1 0x40
000004c6: PUSH0
000004c7: KECCAK256
000004c8: PUSH2 0x04d2
000004cb: DUP8
000004cc: DUP3
000004cd: SLOAD
000004ce: PUSH2 0x1d7e
000004d1: JUMP
000004d2: JUMPDEST
000004d3: SWAP1
000004d4: SSTORE
000004d5: SUB
000004d6: PUSH2 0x0533
000004d9: JUMPI
000004da: PUSH2 0x04e7
000004dd: DUP5
000004de: DUP12
000004df: PUSH1 0x03
000004e1: SLOAD
000004e2: AND
000004e3: PUSH2 0x222a
000004e6: JUMP
000004e7: JUMPDEST
000004e8: PUSH1 0x40
000004ea: DUP1
000004eb: MLOAD
000004ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000501: DUP1
00000502: DUP16
00000503: AND
00000504: DUP3
00000505: MSTORE
00000506: SWAP1
00000507: SWAP5
00000508: AND
00000509: PUSH1 0x20
0000050b: DUP6
0000050c: ADD
0000050d: MSTORE
0000050e: DUP4
0000050f: ADD
00000510: SWAP4
00000511: SWAP1
00000512: SWAP4
00000513: MSTORE
00000514: PUSH4 0xffffffff
00000519: SWAP1
0000051a: SWAP3
0000051b: AND
0000051c: PUSH1 0x60
0000051e: DUP3
0000051f: ADD
00000520: MSTORE
00000521: SWAP1
00000522: DUP2
00000523: SWAP1
00000524: PUSH1 0x80
00000526: DUP3
00000527: ADD
00000528: SWAP1
00000529: JUMP
0000052a: JUMPDEST
0000052b: SUB
0000052c: SWAP1
0000052d: LOG1
0000052e: ADD
0000052f: PUSH2 0x0446
00000532: JUMP
00000533: JUMPDEST
00000534: PUSH2 0x0542
00000537: DUP5
00000538: DUP12
00000539: PUSH1 0x03
0000053b: SLOAD
0000053c: AND
0000053d: DUP6
0000053e: PUSH2 0x21c8
00000541: JUMP
00000542: JUMPDEST
00000543: PUSH2 0x04e7
00000546: JUMP
00000547: JUMPDEST
00000548: PUSH1 0x04
0000054a: PUSH1 0x40
0000054c: MLOAD
0000054d: PUSH32 0xa24a13a600000000000000000000000000000000000000000000000000000000
0000056e: DUP2
0000056f: MSTORE
00000570: REVERT
00000571: JUMPDEST
00000572: POP
00000573: DUP2
00000574: DUP8
00000575: EQ
00000576: ISZERO
00000577: PUSH2 0x03d2
0000057a: JUMP
0000057b: JUMPDEST
0000057c: PUSH1 0x04
0000057e: PUSH1 0x40
00000580: MLOAD
00000581: PUSH32 0x0f59b9ff00000000000000000000000000000000000000000000000000000000
000005a2: DUP2
000005a3: MSTORE
000005a4: REVERT
000005a5: JUMPDEST
000005a6: CALLVALUE
000005a7: PUSH2 0x029d
000005aa: JUMPI
000005ab: PUSH1 0x20
000005ad: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000005ce: CALLDATASIZE
000005cf: ADD
000005d0: SLT
000005d1: PUSH2 0x029d
000005d4: JUMPI
000005d5: PUSH2 0x05dc
000005d8: PUSH2 0x1b4f
000005db: JUMP
000005dc: JUMPDEST
000005dd: PUSH2 0x05e4
000005e0: PUSH2 0x1dc8
000005e3: JUMP
000005e4: JUMPDEST
000005e5: PUSH1 0x02
000005e7: SLOAD
000005e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005fd: DUP1
000005fe: DUP4
000005ff: AND
00000600: SWAP3
00000601: SWAP2
00000602: SWAP1
00000603: DUP2
00000604: AND
00000605: DUP4
00000606: ISZERO
00000607: PUSH2 0x06af
0000060a: JUMPI
0000060b: DUP4
0000060c: DUP2
0000060d: EQ
0000060e: PUSH2 0x0685
00000611: JUMPI
00000612: PUSH1 0x40
00000614: DUP1
00000615: MLOAD
00000616: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000062b: SWAP3
0000062c: DUP4
0000062d: AND
0000062e: DUP2
0000062f: MSTORE
00000630: SWAP4
00000631: SWAP1
00000632: SWAP2
00000633: AND
00000634: PUSH1 0x20
00000636: DUP5
00000637: ADD
00000638: MSTORE
00000639: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000065a: SWAP3
0000065b: PUSH32 0x2d025324f0a785e8c12d0a0d91a9caa49df4ef20ff87e0df7213a1d4f3157beb
0000067c: SWAP2
0000067d: SWAP1
0000067e: LOG1
0000067f: AND
00000680: OR
00000681: PUSH1 0x02
00000683: SSTORE
00000684: STOP
00000685: JUMPDEST
00000686: PUSH1 0x04
00000688: PUSH1 0x40
0000068a: MLOAD
0000068b: PUSH32 0x2620eb3a00000000000000000000000000000000000000000000000000000000
000006ac: DUP2
000006ad: MSTORE
000006ae: REVERT
000006af: JUMPDEST
000006b0: PUSH1 0x04
000006b2: PUSH1 0x40
000006b4: MLOAD
000006b5: PUSH32 0xd92e233d00000000000000000000000000000000000000000000000000000000
000006d6: DUP2
000006d7: MSTORE
000006d8: REVERT
000006d9: JUMPDEST
000006da: CALLVALUE
000006db: PUSH2 0x029d
000006de: JUMPI
000006df: PUSH1 0x20
000006e1: DUP1
000006e2: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000703: CALLDATASIZE
00000704: ADD
00000705: SLT
00000706: PUSH2 0x029d
00000709: JUMPI
0000070a: PUSH8 0xffffffffffffffff
00000713: SWAP1
00000714: PUSH1 0x04
00000716: CALLDATALOAD
00000717: DUP3
00000718: DUP2
00000719: GT
0000071a: PUSH2 0x029d
0000071d: JUMPI
0000071e: PUSH2 0x072b
00000721: SWAP1
00000722: CALLDATASIZE
00000723: SWAP1
00000724: PUSH1 0x04
00000726: ADD
00000727: PUSH2 0x1bdc
0000072a: JUMP
0000072b: JUMPDEST
0000072c: SWAP2
0000072d: SWAP1
0000072e: PUSH2 0x0735
00000731: PUSH2 0x1dc8
00000734: JUMP
00000735: JUMPDEST
00000736: PUSH0
00000737: JUMPDEST
00000738: DUP4
00000739: DUP2
0000073a: LT
0000073b: PUSH2 0x0740
0000073e: JUMPI
0000073f: STOP
00000740: JUMPDEST
00000741: PUSH2 0x074e
00000744: PUSH2 0x01f9
00000747: DUP3
00000748: DUP7
00000749: DUP6
0000074a: PUSH2 0x1ca2
0000074d: JUMP
0000074e: JUMPDEST
0000074f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000764: SWAP1
00000765: PUSH1 0x01
00000767: DUP3
00000768: DUP2
00000769: SLOAD
0000076a: AND
0000076b: SWAP3
0000076c: PUSH1 0x40
0000076e: MLOAD
0000076f: SWAP4
00000770: DUP8
00000771: DUP6
00000772: ADD
00000773: SWAP1
00000774: PUSH32 0x095ea7b300000000000000000000000000000000000000000000000000000000
00000795: SWAP4
00000796: DUP5
00000797: DUP4
00000798: MSTORE
00000799: PUSH1 0x24
0000079b: SWAP4
0000079c: DUP3
0000079d: DUP6
0000079e: DUP10
0000079f: ADD
000007a0: MSTORE
000007a1: DUP11
000007a2: PUSH0
000007a3: PUSH1 0x44
000007a5: SWAP6
000007a6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000007c7: DUP8
000007c8: DUP13
000007c9: ADD
000007ca: MSTORE
000007cb: DUP7
000007cc: DUP12
000007cd: MSTORE
000007ce: PUSH2 0x07d6
000007d1: DUP12
000007d2: PUSH2 0x1ce7
000007d5: JUMP
000007d6: JUMPDEST
000007d7: DUP11
000007d8: MLOAD
000007d9: SWAP1
000007da: DUP3
000007db: DUP12
000007dc: GAS
000007dd: CALL
000007de: SWAP2
000007df: RETURNDATASIZE
000007e0: PUSH0
000007e1: MLOAD
000007e2: SWAP1
000007e3: DUP5
000007e4: PUSH2 0x0875
000007e7: JUMPI
000007e8: JUMPDEST
000007e9: POP
000007ea: POP
000007eb: POP
000007ec: POP
000007ed: ISZERO
000007ee: PUSH2 0x0800
000007f1: JUMPI
000007f2: JUMPDEST
000007f3: POP
000007f4: POP
000007f5: POP
000007f6: POP
000007f7: POP
000007f8: POP
000007f9: PUSH1 0x01
000007fb: ADD
000007fc: PUSH2 0x0737
000007ff: JUMP
00000800: JUMPDEST
00000801: PUSH1 0x40
00000803: MLOAD
00000804: SWAP4
00000805: DUP10
00000806: DUP6
00000807: ADD
00000808: MSTORE
00000809: DUP3
0000080a: DUP5
0000080b: ADD
0000080c: MSTORE
0000080d: PUSH0
0000080e: DUP2
0000080f: DUP5
00000810: ADD
00000811: MSTORE
00000812: DUP3
00000813: MSTORE
00000814: PUSH1 0x80
00000816: DUP3
00000817: ADD
00000818: SWAP1
00000819: DUP3
0000081a: DUP3
0000081b: LT
0000081c: DUP11
0000081d: DUP4
0000081e: GT
0000081f: OR
00000820: PUSH2 0x084a
00000823: JUMPI
00000824: POP
00000825: SWAP2
00000826: PUSH2 0x083a
00000829: PUSH1 0x01
0000082b: SWAP6
0000082c: SWAP5
0000082d: SWAP3
0000082e: PUSH2 0x083f
00000831: SWAP5
00000832: PUSH1 0x40
00000834: MSTORE
00000835: DUP3
00000836: PUSH2 0x2313
00000839: JUMP
0000083a: JUMPDEST
0000083b: PUSH2 0x2313
0000083e: JUMP
0000083f: JUMPDEST
00000840: SWAP1
00000841: DUP7
00000842: DUP1
00000843: DUP1
00000844: DUP1
00000845: DUP1
00000846: PUSH2 0x07f2
00000849: JUMP
0000084a: JUMPDEST
0000084b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000086c: PUSH0
0000086d: MSTORE
0000086e: PUSH1 0x41
00000870: PUSH1 0x04
00000872: MSTORE
00000873: PUSH0
00000874: REVERT
00000875: JUMPDEST
00000876: SWAP3
00000877: SWAP4
00000878: POP
00000879: SWAP1
0000087a: SWAP2
0000087b: PUSH2 0x088f
0000087e: JUMPI
0000087f: POP
00000880: POP
00000881: DUP6
00000882: AND
00000883: EXTCODESIZE
00000884: ISZERO
00000885: ISZERO
00000886: JUMPDEST
00000887: DUP13
00000888: DUP1
00000889: DUP1
0000088a: DUP1
0000088b: PUSH2 0x07e8
0000088e: JUMP
0000088f: JUMPDEST
00000890: EQ
00000891: SWAP1
00000892: POP
00000893: PUSH2 0x0886
00000896: JUMP
00000897: JUMPDEST
00000898: CALLVALUE
00000899: PUSH2 0x029d
0000089c: JUMPI
0000089d: PUSH0
0000089e: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000008bf: CALLDATASIZE
000008c0: ADD
000008c1: SLT
000008c2: PUSH2 0x029d
000008c5: JUMPI
000008c6: PUSH1 0x20
000008c8: PUSH1 0x40
000008ca: MLOAD
000008cb: PUSH0
000008cc: DUP2
000008cd: MSTORE
000008ce: RETURN
000008cf: JUMPDEST
000008d0: CALLVALUE
000008d1: PUSH2 0x029d
000008d4: JUMPI
000008d5: PUSH1 0x40
000008d7: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000008f8: CALLDATASIZE
000008f9: ADD
000008fa: SLT
000008fb: PUSH2 0x029d
000008fe: JUMPI
000008ff: PUSH2 0x0906
00000902: PUSH2 0x1b72
00000905: JUMP
00000906: JUMPDEST
00000907: PUSH1 0x04
00000909: CALLDATALOAD
0000090a: PUSH0
0000090b: MSTORE
0000090c: PUSH0
0000090d: PUSH1 0x20
0000090f: MSTORE
00000910: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000925: PUSH1 0x40
00000927: PUSH0
00000928: KECCAK256
00000929: SWAP2
0000092a: AND
0000092b: PUSH0
0000092c: MSTORE
0000092d: PUSH1 0x20
0000092f: MSTORE
00000930: PUSH1 0x20
00000932: PUSH1 0xff
00000934: PUSH1 0x40
00000936: PUSH0
00000937: KECCAK256
00000938: SLOAD
00000939: AND
0000093a: PUSH1 0x40
0000093c: MLOAD
0000093d: SWAP1
0000093e: ISZERO
0000093f: ISZERO
00000940: DUP2
00000941: MSTORE
00000942: RETURN
00000943: JUMPDEST
00000944: CALLVALUE
00000945: PUSH2 0x029d
00000948: JUMPI
00000949: PUSH1 0x20
0000094b: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000096c: CALLDATASIZE
0000096d: ADD
0000096e: SLT
0000096f: PUSH2 0x029d
00000972: JUMPI
00000973: PUSH2 0x097a
00000976: PUSH2 0x1b4f
00000979: JUMP
0000097a: JUMPDEST
0000097b: PUSH2 0x0982
0000097e: PUSH2 0x1dc8
00000981: JUMP
00000982: JUMPDEST
00000983: PUSH1 0x03
00000985: SLOAD
00000986: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000099b: DUP1
0000099c: DUP4
0000099d: AND
0000099e: SWAP3
0000099f: SWAP2
000009a0: SWAP1
000009a1: DUP2
000009a2: AND
000009a3: DUP4
000009a4: ISZERO
000009a5: PUSH2 0x06af
000009a8: JUMPI
000009a9: DUP4
000009aa: DUP2
000009ab: EQ
000009ac: PUSH2 0x0685
000009af: JUMPI
000009b0: PUSH1 0x40
000009b2: DUP1
000009b3: MLOAD
000009b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009c9: SWAP3
000009ca: DUP4
000009cb: AND
000009cc: DUP2
000009cd: MSTORE
000009ce: SWAP4
000009cf: SWAP1
000009d0: SWAP2
000009d1: AND
000009d2: PUSH1 0x20
000009d4: DUP5
000009d5: ADD
000009d6: MSTORE
000009d7: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000009f8: SWAP3
000009f9: PUSH32 0xe22b566ac7db56412e2e041c88a7fd3151151ad6c6647e954f9bdc054bcb780e
00000a1a: SWAP2
00000a1b: SWAP1
00000a1c: LOG1
00000a1d: AND
00000a1e: OR
00000a1f: PUSH1 0x03
00000a21: SSTORE
00000a22: STOP
00000a23: JUMPDEST
00000a24: CALLVALUE
00000a25: PUSH2 0x029d
00000a28: JUMPI
00000a29: PUSH0
00000a2a: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000a4b: CALLDATASIZE
00000a4c: ADD
00000a4d: SLT
00000a4e: PUSH2 0x029d
00000a51: JUMPI
00000a52: PUSH1 0x20
00000a54: PUSH1 0x40
00000a56: MLOAD
00000a57: PUSH32 0xdf8b4c520ffe197c5343c6f5aec59570151ef9a492f2c624fd45ddde6135ec42
00000a78: DUP2
00000a79: MSTORE
00000a7a: RETURN
00000a7b: JUMPDEST
00000a7c: CALLVALUE
00000a7d: PUSH2 0x029d
00000a80: JUMPI
00000a81: PUSH2 0x0160
00000a84: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000aa5: CALLDATASIZE
00000aa6: ADD
00000aa7: SLT
00000aa8: PUSH2 0x029d
00000aab: JUMPI
00000aac: PUSH1 0x24
00000aae: CALLDATALOAD
00000aaf: PUSH8 0xffffffffffffffff
00000ab8: DUP2
00000ab9: GT
00000aba: PUSH2 0x029d
00000abd: JUMPI
00000abe: PUSH2 0x0acb
00000ac1: SWAP1
00000ac2: CALLDATASIZE
00000ac3: SWAP1
00000ac4: PUSH1 0x04
00000ac6: ADD
00000ac7: PUSH2 0x1bdc
00000aca: JUMP
00000acb: JUMPDEST
00000acc: SWAP1
00000acd: PUSH1 0x44
00000acf: CALLDATALOAD
00000ad0: PUSH8 0xffffffffffffffff
00000ad9: DUP2
00000ada: GT
00000adb: PUSH2 0x029d
00000ade: JUMPI
00000adf: PUSH2 0x0aec
00000ae2: SWAP1
00000ae3: CALLDATASIZE
00000ae4: SWAP1
00000ae5: PUSH1 0x04
00000ae7: ADD
00000ae8: PUSH2 0x1bdc
00000aeb: JUMP
00000aec: JUMPDEST
00000aed: PUSH1 0x80
00000aef: MSTORE
00000af0: SWAP2
00000af1: PUSH1 0x64
00000af3: CALLDATALOAD
00000af4: PUSH8 0xffffffffffffffff
00000afd: DUP2
00000afe: GT
00000aff: PUSH2 0x029d
00000b02: JUMPI
00000b03: PUSH2 0x0b10
00000b06: SWAP1
00000b07: CALLDATASIZE
00000b08: SWAP1
00000b09: PUSH1 0x04
00000b0b: ADD
00000b0c: PUSH2 0x1bdc
00000b0f: JUMP
00000b10: JUMPDEST
00000b11: SWAP3
00000b12: SWAP1
00000b13: SWAP2
00000b14: PUSH1 0x84
00000b16: CALLDATALOAD
00000b17: PUSH8 0xffffffffffffffff
00000b20: DUP2
00000b21: GT
00000b22: PUSH2 0x029d
00000b25: JUMPI
00000b26: PUSH2 0x0b33
00000b29: SWAP1
00000b2a: CALLDATASIZE
00000b2b: SWAP1
00000b2c: PUSH1 0x04
00000b2e: ADD
00000b2f: PUSH2 0x1bdc
00000b32: JUMP
00000b33: JUMPDEST
00000b34: SWAP4
00000b35: PUSH1 0xa4
00000b37: CALLDATALOAD
00000b38: PUSH8 0xffffffffffffffff
00000b41: DUP2
00000b42: GT
00000b43: PUSH2 0x029d
00000b46: JUMPI
00000b47: PUSH2 0x0b54
00000b4a: SWAP1
00000b4b: CALLDATASIZE
00000b4c: SWAP1
00000b4d: PUSH1 0x04
00000b4f: ADD
00000b50: PUSH2 0x1bdc
00000b53: JUMP
00000b54: JUMPDEST
00000b55: SWAP3
00000b56: SWAP1
00000b57: SWAP7
00000b58: PUSH4 0xffffffff
00000b5d: PUSH1 0xc4
00000b5f: CALLDATALOAD
00000b60: AND
00000b61: PUSH1 0xc4
00000b63: CALLDATALOAD
00000b64: SUB
00000b65: PUSH2 0x029d
00000b68: JUMPI
00000b69: PUSH1 0xe4
00000b6b: CALLDATALOAD
00000b6c: PUSH8 0xffffffffffffffff
00000b75: DUP2
00000b76: GT
00000b77: PUSH2 0x029d
00000b7a: JUMPI
00000b7b: PUSH2 0x0b88
00000b7e: SWAP1
00000b7f: CALLDATASIZE
00000b80: SWAP1
00000b81: PUSH1 0x04
00000b83: ADD
00000b84: PUSH2 0x1bdc
00000b87: JUMP
00000b88: JUMPDEST
00000b89: SWAP5
00000b8a: SWAP1
00000b8b: SWAP6
00000b8c: PUSH1 0xff
00000b8e: PUSH2 0x0104
00000b91: CALLDATALOAD
00000b92: AND
00000b93: PUSH2 0x0104
00000b96: CALLDATALOAD
00000b97: SUB
00000b98: PUSH2 0x029d
00000b9b: JUMPI
00000b9c: PUSH2 0x0ba3
00000b9f: PUSH2 0x1fed
00000ba2: JUMP
00000ba3: JUMPDEST
00000ba4: PUSH2 0x0bae
00000ba7: PUSH1 0xc4
00000ba9: CALLDATALOAD
00000baa: PUSH2 0x2044
00000bad: JUMP
00000bae: JUMPDEST
00000baf: DUP6
00000bb0: ISZERO
00000bb1: PUSH2 0x057b
00000bb4: JUMPI
00000bb5: DUP9
00000bb6: DUP7
00000bb7: EQ
00000bb8: DUP1
00000bb9: ISZERO
00000bba: SWAP1
00000bbb: PUSH2 0x1111
00000bbe: JUMPI
00000bbf: JUMPDEST
00000bc0: DUP1
00000bc1: ISZERO
00000bc2: PUSH2 0x1107
00000bc5: JUMPI
00000bc6: JUMPDEST
00000bc7: DUP1
00000bc8: ISZERO
00000bc9: PUSH2 0x10fd
00000bcc: JUMPI
00000bcd: JUMPDEST
00000bce: PUSH2 0x0547
00000bd1: JUMPI
00000bd2: PUSH1 0x40
00000bd4: MLOAD
00000bd5: CALLER
00000bd6: PUSH1 0x60
00000bd8: SHL
00000bd9: PUSH1 0x20
00000bdb: DUP3
00000bdc: ADD
00000bdd: MSTORE
00000bde: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000bff: PUSH1 0xc4
00000c01: CALLDATALOAD
00000c02: PUSH1 0xe0
00000c04: SHL
00000c05: AND
00000c06: PUSH1 0x34
00000c08: DUP3
00000c09: ADD
00000c0a: MSTORE
00000c0b: PUSH2 0x0c18
00000c0e: PUSH1 0x38
00000c10: DUP3
00000c11: ADD
00000c12: DUP12
00000c13: DUP8
00000c14: PUSH2 0x214e
00000c17: JUMP
00000c18: JUMPDEST
00000c19: DUP9
00000c1a: SWAP1
00000c1b: PUSH0
00000c1c: JUMPDEST
00000c1d: DUP10
00000c1e: DUP2
00000c1f: LT
00000c20: PUSH2 0x10db
00000c23: JUMPI
00000c24: POP
00000c25: PUSH1 0x20
00000c27: SWAP2
00000c28: POP
00000c29: PUSH1 0x04
00000c2b: CALLDATALOAD
00000c2c: DUP2
00000c2d: MSTORE
00000c2e: ADD
00000c2f: DUP2
00000c30: DUP13
00000c31: PUSH0
00000c32: JUMPDEST
00000c33: DUP7
00000c34: DUP2
00000c35: LT
00000c36: PUSH2 0x10a4
00000c39: JUMPI
00000c3a: POP
00000c3b: POP
00000c3c: PUSH2 0x0c49
00000c3f: PUSH2 0x0c75
00000c42: SWAP3
00000c43: DUP6
00000c44: DUP14
00000c45: PUSH2 0x214e
00000c48: JUMP
00000c49: JUMPDEST
00000c4a: SUB
00000c4b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00000c6c: DUP2
00000c6d: ADD
00000c6e: DUP4
00000c6f: MSTORE
00000c70: DUP3
00000c71: PUSH2 0x1d03
00000c74: JUMP
00000c75: JUMPDEST
00000c76: PUSH1 0x20
00000c78: DUP2
00000c79: MLOAD
00000c7a: SWAP2
00000c7b: ADD
00000c7c: KECCAK256
00000c7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c92: PUSH1 0x02
00000c94: SLOAD
00000c95: AND
00000c96: SWAP1
00000c97: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
00000cb8: PUSH0
00000cb9: MSTORE
00000cba: PUSH1 0x1c
00000cbc: MSTORE
00000cbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cd2: PUSH2 0x0cf5
00000cd5: PUSH2 0x0cec
00000cd8: PUSH2 0x0144
00000cdb: CALLDATALOAD
00000cdc: PUSH2 0x0124
00000cdf: CALLDATALOAD
00000ce0: PUSH2 0x0104
00000ce3: CALLDATALOAD
00000ce4: PUSH1 0x3c
00000ce6: PUSH0
00000ce7: KECCAK256
00000ce8: PUSH2 0x239f
00000ceb: JUMP
00000cec: JUMPDEST
00000ced: SWAP1
00000cee: SWAP3
00000cef: SWAP2
00000cf0: SWAP3
00000cf1: PUSH2 0x242e
00000cf4: JUMP
00000cf5: JUMPDEST
00000cf6: AND
00000cf7: SUB
00000cf8: PUSH2 0x107a
00000cfb: JUMPI
00000cfc: CALLER
00000cfd: PUSH0
00000cfe: MSTORE
00000cff: PUSH1 0x04
00000d01: PUSH1 0x20
00000d03: MSTORE
00000d04: PUSH1 0x40
00000d06: PUSH0
00000d07: KECCAK256
00000d08: PUSH4 0xffffffff
00000d0d: PUSH1 0xc4
00000d0f: CALLDATALOAD
00000d10: AND
00000d11: PUSH0
00000d12: MSTORE
00000d13: PUSH1 0x20
00000d15: MSTORE
00000d16: PUSH1 0x40
00000d18: PUSH0
00000d19: KECCAK256
00000d1a: SWAP6
00000d1b: PUSH0
00000d1c: JUMPDEST
00000d1d: DUP4
00000d1e: DUP2
00000d1f: LT
00000d20: PUSH2 0x0d48
00000d23: JUMPI
00000d24: PUSH0
00000d25: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00
00000d46: TSTORE
00000d47: STOP
00000d48: JUMPDEST
00000d49: PUSH2 0x0d56
00000d4c: PUSH2 0x01f9
00000d4f: DUP3
00000d50: DUP7
00000d51: DUP16
00000d52: PUSH2 0x1ca2
00000d55: JUMP
00000d56: JUMPDEST
00000d57: SWAP1
00000d58: PUSH2 0x0d62
00000d5b: DUP2
00000d5c: DUP6
00000d5d: DUP14
00000d5e: PUSH2 0x1ca2
00000d61: JUMP
00000d62: JUMPDEST
00000d63: CALLDATALOAD
00000d64: SWAP2
00000d65: PUSH2 0x0d6f
00000d68: DUP3
00000d69: DUP6
00000d6a: DUP14
00000d6b: PUSH2 0x1ca2
00000d6e: JUMP
00000d6f: JUMPDEST
00000d70: CALLDATALOAD
00000d71: SWAP1
00000d72: PUSH1 0xff
00000d74: DUP3
00000d75: AND
00000d76: DUP3
00000d77: SUB
00000d78: PUSH2 0x029d
00000d7b: JUMPI
00000d7c: DUP16
00000d7d: SWAP4
00000d7e: DUP15
00000d7f: SWAP3
00000d80: PUSH2 0x0d8a
00000d83: DUP6
00000d84: DUP12
00000d85: DUP15
00000d86: PUSH2 0x1ca2
00000d89: JUMP
00000d8a: JUMPDEST
00000d8b: CALLDATALOAD
00000d8c: SWAP1
00000d8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da2: DUP5
00000da3: AND
00000da4: PUSH0
00000da5: MSTORE
00000da6: DUP14
00000da7: PUSH1 0x20
00000da9: MSTORE
00000daa: DUP12
00000dab: PUSH1 0x40
00000dad: PUSH0
00000dae: KECCAK256
00000daf: DUP1
00000db0: SLOAD
00000db1: SWAP1
00000db2: DUP2
00000db3: ISZERO
00000db4: PUSH2 0x1069
00000db7: JUMPI
00000db8: DUP2
00000db9: DUP7
00000dba: GT
00000dbb: PUSH2 0x1069
00000dbe: JUMPI
00000dbf: PUSH2 0x0dcb
00000dc2: SWAP2
00000dc3: PUSH0
00000dc4: DUP8
00000dc5: SWAP3
00000dc6: SSTORE
00000dc7: PUSH2 0x1d7e
00000dca: JUMP
00000dcb: JUMPDEST
00000dcc: SWAP6
00000dcd: DUP5
00000dce: PUSH2 0x0e5b
00000dd1: JUMPI
00000dd2: JUMPDEST
00000dd3: POP
00000dd4: POP
00000dd5: POP
00000dd6: POP
00000dd7: POP
00000dd8: PUSH1 0x01
00000dda: SWAP4
00000ddb: POP
00000ddc: DUP2
00000ddd: PUSH2 0x0dea
00000de0: JUMPI
00000de1: JUMPDEST
00000de2: POP
00000de3: POP
00000de4: JUMPDEST
00000de5: ADD
00000de6: PUSH2 0x0d1c
00000de9: JUMP
00000dea: JUMPDEST
00000deb: PUSH2 0x0df4
00000dee: DUP3
00000def: DUP3
00000df0: PUSH2 0x2182
00000df3: JUMP
00000df4: JUMPDEST
00000df5: PUSH32 0x4978506686bd9ae370ab4cd6b1b3093dad6682e7840df229a6534e9dc4ba5223
00000e16: PUSH1 0x40
00000e18: MLOAD
00000e19: DUP1
00000e1a: PUSH2 0x0e51
00000e1d: PUSH4 0xffffffff
00000e22: PUSH1 0xc4
00000e24: CALLDATALOAD
00000e25: AND
00000e26: SWAP6
00000e27: CALLER
00000e28: SWAP6
00000e29: DUP4
00000e2a: PUSH1 0x20
00000e2c: SWAP1
00000e2d: SWAP4
00000e2e: SWAP3
00000e2f: SWAP2
00000e30: SWAP4
00000e31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e46: PUSH1 0x40
00000e48: DUP3
00000e49: ADD
00000e4a: SWAP6
00000e4b: AND
00000e4c: DUP2
00000e4d: MSTORE
00000e4e: ADD
00000e4f: MSTORE
00000e50: JUMP
00000e51: JUMPDEST
00000e52: SUB
00000e53: SWAP1
00000e54: LOG3
00000e55: DUP15
00000e56: DUP1
00000e57: PUSH2 0x0de1
00000e5a: JUMP
00000e5b: JUMPDEST
00000e5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e71: DUP7
00000e72: AND
00000e73: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00000e88: SUB
00000e89: PUSH2 0x0f7a
00000e8c: JUMPI
00000e8d: POP
00000e8e: POP
00000e8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ea4: PUSH1 0x01
00000ea6: SLOAD
00000ea7: AND
00000ea8: SWAP1
00000ea9: DUP2
00000eaa: EXTCODESIZE
00000eab: ISZERO
00000eac: PUSH2 0x029d
00000eaf: JUMPI
00000eb0: PUSH0
00000eb1: SWAP4
00000eb2: PUSH1 0xff
00000eb4: SWAP2
00000eb5: PUSH2 0x0f2c
00000eb8: PUSH1 0x40
00000eba: MLOAD
00000ebb: SWAP11
00000ebc: DUP12
00000ebd: SWAP7
00000ebe: DUP8
00000ebf: SWAP6
00000ec0: DUP7
00000ec1: SWAP5
00000ec2: PUSH32 0xade1721e00000000000000000000000000000000000000000000000000000000
00000ee3: DUP7
00000ee4: MSTORE
00000ee5: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
00000efa: PUSH1 0x04
00000efc: DUP8
00000efd: ADD
00000efe: MSTORE
00000eff: DUP11
00000f00: PUSH1 0x24
00000f02: DUP8
00000f03: ADD
00000f04: MSTORE
00000f05: AND
00000f06: PUSH1 0x44
00000f08: DUP6
00000f09: ADD
00000f0a: MSTORE
00000f0b: DUP5
00000f0c: PUSH1 0x64
00000f0e: DUP6
00000f0f: ADD
00000f10: MSTORE
00000f11: PUSH1 0x84
00000f13: DUP5
00000f14: ADD
00000f15: MSTORE
00000f16: PUSH2 0x0100
00000f19: PUSH1 0xa4
00000f1b: DUP5
00000f1c: ADD
00000f1d: MSTORE
00000f1e: PUSH2 0x0104
00000f21: DUP4
00000f22: ADD
00000f23: SWAP1
00000f24: PUSH1 0x80
00000f26: MLOAD
00000f27: SWAP1
00000f28: PUSH2 0x1d8b
00000f2b: JUMP
00000f2c: JUMPDEST
00000f2d: CALLER
00000f2e: PUSH1 0xc4
00000f30: DUP4
00000f31: ADD
00000f32: MSTORE
00000f33: PUSH4 0xffffffff
00000f38: PUSH1 0xc4
00000f3a: CALLDATALOAD
00000f3b: AND
00000f3c: PUSH1 0xe4
00000f3e: DUP4
00000f3f: ADD
00000f40: MSTORE
00000f41: SUB
00000f42: SWAP3
00000f43: GAS
00000f44: CALL
00000f45: SWAP4
00000f46: DUP5
00000f47: ISZERO
00000f48: PUSH2 0x0f6f
00000f4b: JUMPI
00000f4c: PUSH1 0x01
00000f4e: SWAP5
00000f4f: PUSH2 0x0f60
00000f52: JUMPI
00000f53: JUMPDEST
00000f54: POP
00000f55: JUMPDEST
00000f56: DUP16
00000f57: SWAP4
00000f58: PUSH0
00000f59: DUP16
00000f5a: DUP12
00000f5b: DUP2
00000f5c: PUSH2 0x0dd2
00000f5f: JUMP
00000f60: JUMPDEST
00000f61: PUSH2 0x0f69
00000f64: SWAP1
00000f65: PUSH2 0x1cd3
00000f68: JUMP
00000f69: JUMPDEST
00000f6a: PUSH0
00000f6b: PUSH2 0x0f53
00000f6e: JUMP
00000f6f: JUMPDEST
00000f70: PUSH1 0x40
00000f72: MLOAD
00000f73: RETURNDATASIZE
00000f74: PUSH0
00000f75: DUP3
00000f76: RETURNDATACOPY
00000f77: RETURNDATASIZE
00000f78: SWAP1
00000f79: REVERT
00000f7a: JUMPDEST
00000f7b: DUP8
00000f7c: PUSH2 0x0fa4
00000f7f: SWAP2
00000f80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f95: PUSH1 0x01
00000f97: SWAP12
00000f98: SWAP7
00000f99: SWAP8
00000f9a: SWAP5
00000f9b: SWAP6
00000f9c: SWAP12
00000f9d: SLOAD
00000f9e: AND
00000f9f: SWAP5
00000fa0: PUSH2 0x1ca2
00000fa3: JUMP
00000fa4: JUMPDEST
00000fa5: CALLDATALOAD
00000fa6: SWAP3
00000fa7: DUP3
00000fa8: EXTCODESIZE
00000fa9: ISZERO
00000faa: PUSH2 0x029d
00000fad: JUMPI
00000fae: DUP6
00000faf: PUSH2 0x102d
00000fb2: PUSH0
00000fb3: SWAP7
00000fb4: SWAP3
00000fb5: DUP8
00000fb6: SWAP4
00000fb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fcc: SWAP6
00000fcd: PUSH1 0xff
00000fcf: PUSH1 0x40
00000fd1: MLOAD
00000fd2: SWAP15
00000fd3: DUP16
00000fd4: SWAP11
00000fd5: DUP12
00000fd6: SWAP10
00000fd7: DUP11
00000fd8: SWAP9
00000fd9: PUSH32 0xade1721e00000000000000000000000000000000000000000000000000000000
00000ffa: DUP11
00000ffb: MSTORE
00000ffc: AND
00000ffd: PUSH1 0x04
00000fff: DUP10
00001000: ADD
00001001: MSTORE
00001002: PUSH1 0x24
00001004: DUP9
00001005: ADD
00001006: MSTORE
00001007: AND
00001008: PUSH1 0x44
0000100a: DUP7
0000100b: ADD
0000100c: MSTORE
0000100d: PUSH1 0x64
0000100f: DUP6
00001010: ADD
00001011: MSTORE
00001012: PUSH1 0x84
00001014: DUP5
00001015: ADD
00001016: MSTORE
00001017: PUSH2 0x0100
0000101a: PUSH1 0xa4
0000101c: DUP5
0000101d: ADD
0000101e: MSTORE
0000101f: PUSH2 0x0104
00001022: DUP4
00001023: ADD
00001024: SWAP1
00001025: PUSH1 0x80
00001027: MLOAD
00001028: SWAP1
00001029: PUSH2 0x1d8b
0000102c: JUMP
0000102d: JUMPDEST
0000102e: CALLER
0000102f: PUSH1 0xc4
00001031: DUP4
00001032: ADD
00001033: MSTORE
00001034: PUSH4 0xffffffff
00001039: PUSH1 0xc4
0000103b: CALLDATALOAD
0000103c: AND
0000103d: PUSH1 0xe4
0000103f: DUP4
00001040: ADD
00001041: MSTORE
00001042: SUB
00001043: SWAP3
00001044: GAS
00001045: CALL
00001046: SWAP4
00001047: DUP5
00001048: ISZERO
00001049: PUSH2 0x0f6f
0000104c: JUMPI
0000104d: PUSH1 0x01
0000104f: SWAP5
00001050: PUSH2 0x105a
00001053: JUMPI
00001054: JUMPDEST
00001055: POP
00001056: PUSH2 0x0f55
00001059: JUMP
0000105a: JUMPDEST
0000105b: PUSH2 0x1063
0000105e: SWAP1
0000105f: PUSH2 0x1cd3
00001062: JUMP
00001063: JUMPDEST
00001064: PUSH0
00001065: PUSH2 0x1054
00001068: JUMP
00001069: JUMPDEST
0000106a: POP
0000106b: POP
0000106c: POP
0000106d: POP
0000106e: POP
0000106f: POP
00001070: POP
00001071: POP
00001072: PUSH1 0x01
00001074: SWAP2
00001075: POP
00001076: PUSH2 0x0de4
00001079: JUMP
0000107a: JUMPDEST
0000107b: PUSH1 0x04
0000107d: PUSH1 0x40
0000107f: MLOAD
00001080: PUSH32 0x8baa579f00000000000000000000000000000000000000000000000000000000
000010a1: DUP2
000010a2: MSTORE
000010a3: REVERT
000010a4: JUMPDEST
000010a5: SWAP2
000010a6: POP
000010a7: SWAP2
000010a8: PUSH1 0x20
000010aa: DUP1
000010ab: PUSH1 0x01
000010ad: SWAP3
000010ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c3: PUSH2 0x10cb
000010c6: DUP8
000010c7: PUSH2 0x1bbb
000010ca: JUMP
000010cb: JUMPDEST
000010cc: AND
000010cd: DUP2
000010ce: MSTORE
000010cf: ADD
000010d0: SWAP4
000010d1: ADD
000010d2: SWAP2
000010d3: ADD
000010d4: SWAP1
000010d5: DUP4
000010d6: SWAP2
000010d7: PUSH2 0x0c32
000010da: JUMP
000010db: JUMPDEST
000010dc: SWAP1
000010dd: DUP3
000010de: CALLDATALOAD
000010df: SWAP1
000010e0: PUSH1 0xff
000010e2: DUP3
000010e3: AND
000010e4: DUP1
000010e5: SWAP3
000010e6: SUB
000010e7: PUSH2 0x029d
000010ea: JUMPI
000010eb: SWAP1
000010ec: DUP2
000010ed: MSTORE
000010ee: PUSH1 0x20
000010f0: SWAP3
000010f1: DUP4
000010f2: ADD
000010f3: SWAP3
000010f4: ADD
000010f5: SWAP1
000010f6: PUSH1 0x01
000010f8: ADD
000010f9: PUSH2 0x0c1c
000010fc: JUMP
000010fd: JUMPDEST
000010fe: POP
000010ff: DUP3
00001100: DUP2
00001101: EQ
00001102: ISZERO
00001103: PUSH2 0x0bcd
00001106: JUMP
00001107: JUMPDEST
00001108: POP
00001109: DUP1
0000110a: DUP3
0000110b: EQ
0000110c: ISZERO
0000110d: PUSH2 0x0bc6
00001110: JUMP
00001111: JUMPDEST
00001112: POP
00001113: DUP2
00001114: DUP10
00001115: EQ
00001116: ISZERO
00001117: PUSH2 0x0bbf
0000111a: JUMP
0000111b: JUMPDEST
0000111c: CALLVALUE
0000111d: PUSH2 0x029d
00001120: JUMPI
00001121: PUSH0
00001122: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001143: CALLDATASIZE
00001144: ADD
00001145: SLT
00001146: PUSH2 0x029d
00001149: JUMPI
0000114a: PUSH1 0x20
0000114c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001161: PUSH1 0x02
00001163: SLOAD
00001164: AND
00001165: PUSH1 0x40
00001167: MLOAD
00001168: SWAP1
00001169: DUP2
0000116a: MSTORE
0000116b: RETURN
0000116c: JUMPDEST
0000116d: CALLVALUE
0000116e: PUSH2 0x029d
00001171: JUMPI
00001172: PUSH1 0x20
00001174: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001195: CALLDATASIZE
00001196: ADD
00001197: SLT
00001198: PUSH2 0x029d
0000119b: JUMPI
0000119c: PUSH4 0xffffffff
000011a1: PUSH2 0x11a8
000011a4: PUSH2 0x1ba8
000011a7: JUMP
000011a8: JUMPDEST
000011a9: AND
000011aa: PUSH0
000011ab: MSTORE
000011ac: PUSH1 0x05
000011ae: PUSH1 0x20
000011b0: MSTORE
000011b1: PUSH1 0x20
000011b3: PUSH1 0xff
000011b5: PUSH1 0x40
000011b7: PUSH0
000011b8: KECCAK256
000011b9: SLOAD
000011ba: AND
000011bb: PUSH1 0x40
000011bd: MLOAD
000011be: SWAP1
000011bf: ISZERO
000011c0: ISZERO
000011c1: DUP2
000011c2: MSTORE
000011c3: RETURN
000011c4: JUMPDEST
000011c5: CALLVALUE
000011c6: PUSH2 0x029d
000011c9: JUMPI
000011ca: PUSH1 0x60
000011cc: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000011ed: CALLDATASIZE
000011ee: ADD
000011ef: SLT
000011f0: PUSH2 0x029d
000011f3: JUMPI
000011f4: PUSH1 0x04
000011f6: CALLDATALOAD
000011f7: PUSH8 0xffffffffffffffff
00001200: DUP2
00001201: GT
00001202: PUSH2 0x029d
00001205: JUMPI
00001206: PUSH2 0x1213
00001209: SWAP1
0000120a: CALLDATASIZE
0000120b: SWAP1
0000120c: PUSH1 0x04
0000120e: ADD
0000120f: PUSH2 0x1bdc
00001212: JUMP
00001213: JUMPDEST
00001214: SWAP1
00001215: PUSH2 0x121c
00001218: PUSH2 0x1b95
0000121b: JUMP
0000121c: JUMPDEST
0000121d: SWAP2
0000121e: PUSH8 0xffffffffffffffff
00001227: PUSH1 0x44
00001229: CALLDATALOAD
0000122a: GT
0000122b: PUSH2 0x029d
0000122e: JUMPI
0000122f: CALLDATASIZE
00001230: PUSH1 0x23
00001232: PUSH1 0x44
00001234: CALLDATALOAD
00001235: ADD
00001236: SLT
00001237: ISZERO
00001238: PUSH2 0x029d
0000123b: JUMPI
0000123c: PUSH8 0xffffffffffffffff
00001245: PUSH1 0x44
00001247: CALLDATALOAD
00001248: PUSH1 0x04
0000124a: ADD
0000124b: CALLDATALOAD
0000124c: GT
0000124d: PUSH2 0x029d
00001250: JUMPI
00001251: CALLDATASIZE
00001252: PUSH1 0x24
00001254: PUSH1 0x44
00001256: CALLDATALOAD
00001257: PUSH1 0x04
00001259: ADD
0000125a: CALLDATALOAD
0000125b: PUSH1 0x06
0000125d: SHL
0000125e: PUSH1 0x44
00001260: CALLDATALOAD
00001261: ADD
00001262: ADD
00001263: GT
00001264: PUSH2 0x029d
00001267: JUMPI
00001268: PUSH4 0xffffffff
0000126d: DUP4
0000126e: AND
0000126f: PUSH0
00001270: MSTORE
00001271: PUSH1 0x05
00001273: PUSH1 0x20
00001275: MSTORE
00001276: PUSH1 0xff
00001278: PUSH1 0x40
0000127a: PUSH0
0000127b: KECCAK256
0000127c: SLOAD
0000127d: AND
0000127e: PUSH2 0x14c8
00001281: JUMPI
00001282: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001297: PUSH1 0x01
00001299: SLOAD
0000129a: AND
0000129b: CALLER
0000129c: SUB
0000129d: PUSH2 0x149e
000012a0: JUMPI
000012a1: DUP1
000012a2: ISZERO
000012a3: PUSH2 0x1474
000012a6: JUMPI
000012a7: PUSH1 0x44
000012a9: CALLDATALOAD
000012aa: PUSH1 0x04
000012ac: ADD
000012ad: CALLDATALOAD
000012ae: DUP2
000012af: SUB
000012b0: PUSH2 0x0547
000012b3: JUMPI
000012b4: PUSH0
000012b5: JUMPDEST
000012b6: DUP2
000012b7: DUP2
000012b8: LT
000012b9: PUSH2 0x12be
000012bc: JUMPI
000012bd: STOP
000012be: JUMPDEST
000012bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012d4: PUSH2 0x12e1
000012d7: PUSH2 0x01f9
000012da: DUP4
000012db: DUP6
000012dc: DUP8
000012dd: PUSH2 0x1ca2
000012e0: JUMP
000012e1: JUMPDEST
000012e2: AND
000012e3: SWAP1
000012e4: DUP2
000012e5: ISZERO
000012e6: PUSH2 0x06af
000012e9: JUMPI
000012ea: DUP2
000012eb: PUSH0
000012ec: MSTORE
000012ed: PUSH1 0x04
000012ef: PUSH1 0x20
000012f1: MSTORE
000012f2: PUSH1 0x40
000012f4: PUSH0
000012f5: KECCAK256
000012f6: PUSH4 0xffffffff
000012fb: DUP7
000012fc: AND
000012fd: PUSH0
000012fe: MSTORE
000012ff: PUSH1 0x20
00001301: MSTORE
00001302: PUSH1 0x40
00001304: PUSH0
00001305: KECCAK256
00001306: SWAP2
00001307: PUSH1 0x44
00001309: CALLDATALOAD
0000130a: PUSH1 0x04
0000130c: ADD
0000130d: CALLDATALOAD
0000130e: DUP3
0000130f: LT
00001310: ISZERO
00001311: PUSH2 0x1447
00001314: JUMPI
00001315: PUSH1 0x40
00001317: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdc
00001338: DUP4
00001339: PUSH1 0x06
0000133b: SHL
0000133c: PUSH1 0x44
0000133e: CALLDATALOAD
0000133f: ADD
00001340: CALLDATASIZE
00001341: SUB
00001342: ADD
00001343: SLT
00001344: PUSH2 0x029d
00001347: JUMPI
00001348: PUSH1 0x40
0000134a: MLOAD
0000134b: SWAP1
0000134c: DUP2
0000134d: PUSH1 0x40
0000134f: DUP2
00001350: ADD
00001351: LT
00001352: PUSH8 0xffffffffffffffff
0000135b: PUSH1 0x40
0000135d: DUP5
0000135e: ADD
0000135f: GT
00001360: OR
00001361: PUSH2 0x141a
00001364: JUMPI
00001365: PUSH1 0x01
00001367: SWAP4
00001368: PUSH1 0x40
0000136a: DUP4
0000136b: ADD
0000136c: PUSH1 0x40
0000136e: MSTORE
0000136f: PUSH2 0x1381
00001372: PUSH1 0x24
00001374: DUP6
00001375: PUSH1 0x06
00001377: SHL
00001378: PUSH1 0x44
0000137a: CALLDATALOAD
0000137b: ADD
0000137c: ADD
0000137d: PUSH2 0x1bbb
00001380: JUMP
00001381: JUMPDEST
00001382: SWAP1
00001383: DUP2
00001384: DUP5
00001385: MSTORE
00001386: PUSH1 0x44
00001388: DUP6
00001389: PUSH1 0x06
0000138b: SHL
0000138c: DUP2
0000138d: CALLDATALOAD
0000138e: ADD
0000138f: ADD
00001390: CALLDATALOAD
00001391: SWAP1
00001392: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013a7: PUSH1 0x20
000013a9: DUP7
000013aa: ADD
000013ab: SWAP4
000013ac: DUP4
000013ad: DUP6
000013ae: MSTORE
000013af: AND
000013b0: PUSH0
000013b1: MSTORE
000013b2: PUSH1 0x20
000013b4: MSTORE
000013b5: PUSH2 0x13c3
000013b8: PUSH1 0x40
000013ba: PUSH0
000013bb: KECCAK256
000013bc: SWAP2
000013bd: DUP3
000013be: SLOAD
000013bf: PUSH2 0x1d44
000013c2: JUMP
000013c3: JUMPDEST
000013c4: SWAP1
000013c5: SSTORE
000013c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013db: PUSH1 0x40
000013dd: MLOAD
000013de: SWAP4
000013df: MLOAD
000013e0: AND
000013e1: DUP4
000013e2: MSTORE
000013e3: MLOAD
000013e4: PUSH1 0x20
000013e6: DUP4
000013e7: ADD
000013e8: MSTORE
000013e9: PUSH32 0xe58012850783f5239c792b9394f0264e9c95cf3882980249ae8efc411a921dee
0000140a: PUSH1 0x40
0000140c: PUSH4 0xffffffff
00001411: DUP10
00001412: AND
00001413: SWAP4
00001414: LOG3
00001415: ADD
00001416: PUSH2 0x12b5
00001419: JUMP
0000141a: JUMPDEST
0000141b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000143c: PUSH0
0000143d: MSTORE
0000143e: PUSH1 0x41
00001440: PUSH1 0x04
00001442: MSTORE
00001443: PUSH1 0x24
00001445: PUSH0
00001446: REVERT
00001447: JUMPDEST
00001448: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001469: PUSH0
0000146a: MSTORE
0000146b: PUSH1 0x32
0000146d: PUSH1 0x04
0000146f: MSTORE
00001470: PUSH1 0x24
00001472: PUSH0
00001473: REVERT
00001474: JUMPDEST
00001475: PUSH1 0x04
00001477: PUSH1 0x40
00001479: MLOAD
0000147a: PUSH32 0x5cb045db00000000000000000000000000000000000000000000000000000000
0000149b: DUP2
0000149c: MSTORE
0000149d: REVERT
0000149e: JUMPDEST
0000149f: PUSH1 0x04
000014a1: PUSH1 0x40
000014a3: MLOAD
000014a4: PUSH32 0x92ed0e8100000000000000000000000000000000000000000000000000000000
000014c5: DUP2
000014c6: MSTORE
000014c7: REVERT
000014c8: JUMPDEST
000014c9: PUSH1 0x04
000014cb: PUSH1 0x40
000014cd: MLOAD
000014ce: PUSH32 0x2f51603500000000000000000000000000000000000000000000000000000000
000014ef: DUP2
000014f0: MSTORE
000014f1: REVERT
000014f2: JUMPDEST
000014f3: CALLVALUE
000014f4: PUSH2 0x029d
000014f7: JUMPI
000014f8: PUSH1 0x40
000014fa: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000151b: CALLDATASIZE
0000151c: ADD
0000151d: SLT
0000151e: PUSH2 0x029d
00001521: JUMPI
00001522: PUSH2 0x1529
00001525: PUSH2 0x1ba8
00001528: JUMP
00001529: JUMPDEST
0000152a: PUSH1 0x24
0000152c: CALLDATALOAD
0000152d: SWAP1
0000152e: DUP2
0000152f: ISZERO
00001530: ISZERO
00001531: DUP1
00001532: SWAP3
00001533: SUB
00001534: PUSH2 0x029d
00001537: JUMPI
00001538: CALLER
00001539: PUSH0
0000153a: SWAP1
0000153b: DUP2
0000153c: MSTORE
0000153d: PUSH32 0x344c38c63afa63cc0790d03fd9f5e1b1e0cb81e2f69d7bd71f512be2ba8de6de
0000155e: PUSH1 0x20
00001560: MSTORE
00001561: PUSH1 0x40
00001563: SWAP1
00001564: KECCAK256
00001565: SLOAD
00001566: PUSH32 0x28d695c7dfc0dc20c36b38cc22e861d8a3c0da73ef3975e85a4bf12193642a5c
00001587: SWAP1
00001588: PUSH1 0xff
0000158a: AND
0000158b: ISZERO
0000158c: PUSH2 0x161a
0000158f: JUMPI
00001590: POP
00001591: PUSH4 0xffffffff
00001596: AND
00001597: DUP1
00001598: PUSH0
00001599: MSTORE
0000159a: PUSH1 0x05
0000159c: PUSH1 0x20
0000159e: MSTORE
0000159f: PUSH1 0xff
000015a1: PUSH1 0x40
000015a3: PUSH0
000015a4: KECCAK256
000015a5: SLOAD
000015a6: AND
000015a7: ISZERO
000015a8: ISZERO
000015a9: DUP3
000015aa: DUP2
000015ab: EQ
000015ac: PUSH2 0x0685
000015af: JUMPI
000015b0: PUSH1 0x40
000015b2: PUSH32 0x747f56458041cea2ada41de00c95f1a8dc602dfa334765aafe548611948502d2
000015d3: SWAP2
000015d4: DUP2
000015d5: MLOAD
000015d6: SWAP1
000015d7: DUP2
000015d8: MSTORE
000015d9: DUP5
000015da: PUSH1 0x20
000015dc: DUP3
000015dd: ADD
000015de: MSTORE
000015df: LOG1
000015e0: PUSH0
000015e1: MSTORE
000015e2: PUSH1 0x05
000015e4: PUSH1 0x20
000015e6: MSTORE
000015e7: PUSH1 0x40
000015e9: PUSH0
000015ea: KECCAK256
000015eb: SWAP1
000015ec: PUSH1 0xff
000015ee: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
0000160f: DUP4
00001610: SLOAD
00001611: AND
00001612: SWAP2
00001613: AND
00001614: OR
00001615: SWAP1
00001616: SSTORE
00001617: PUSH0
00001618: DUP1
00001619: RETURN
0000161a: JUMPDEST
0000161b: PUSH1 0x44
0000161d: SWAP1
0000161e: PUSH1 0x40
00001620: MLOAD
00001621: SWAP1
00001622: PUSH32 0xe2517d3f00000000000000000000000000000000000000000000000000000000
00001643: DUP3
00001644: MSTORE
00001645: CALLER
00001646: PUSH1 0x04
00001648: DUP4
00001649: ADD
0000164a: MSTORE
0000164b: PUSH1 0x24
0000164d: DUP3
0000164e: ADD
0000164f: MSTORE
00001650: REVERT
00001651: JUMPDEST
00001652: CALLVALUE
00001653: PUSH2 0x029d
00001656: JUMPI
00001657: PUSH2 0x165f
0000165a: CALLDATASIZE
0000165b: PUSH2 0x1c0d
0000165e: JUMP
0000165f: JUMPDEST
00001660: SWAP2
00001661: SWAP3
00001662: PUSH2 0x166e
00001665: SWAP7
00001666: SWAP5
00001667: SWAP6
00001668: SWAP2
00001669: SWAP7
0000166a: PUSH2 0x1dc8
0000166d: JUMP
0000166e: JUMPDEST
0000166f: DUP2
00001670: ISZERO
00001671: PUSH2 0x057b
00001674: JUMPI
00001675: DUP7
00001676: DUP2
00001677: EQ
00001678: DUP1
00001679: ISZERO
0000167a: SWAP1
0000167b: PUSH2 0x17b1
0000167e: JUMPI
0000167f: JUMPDEST
00001680: PUSH2 0x0547
00001683: JUMPI
00001684: PUSH0
00001685: JUMPDEST
00001686: DUP3
00001687: DUP2
00001688: LT
00001689: PUSH2 0x168e
0000168c: JUMPI
0000168d: STOP
0000168e: JUMPDEST
0000168f: PUSH2 0x169c
00001692: PUSH2 0x01f9
00001695: DUP3
00001696: DUP6
00001697: DUP10
00001698: PUSH2 0x1ca2
0000169b: JUMP
0000169c: JUMPDEST
0000169d: PUSH2 0x16a7
000016a0: DUP3
000016a1: DUP5
000016a2: DUP11
000016a3: PUSH2 0x1f8a
000016a6: JUMP
000016a7: JUMPDEST
000016a8: PUSH2 0x16b2
000016ab: DUP5
000016ac: DUP13
000016ad: DUP11
000016ae: PUSH2 0x1f8a
000016b1: JUMP
000016b2: JUMPDEST
000016b3: SWAP4
000016b4: SWAP1
000016b5: SWAP2
000016b6: DUP5
000016b7: DUP2
000016b8: SUB
000016b9: PUSH2 0x0547
000016bc: JUMPI
000016bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016d2: SWAP1
000016d3: DUP2
000016d4: DUP4
000016d5: AND
000016d6: PUSH0
000016d7: MSTORE
000016d8: PUSH1 0x20
000016da: PUSH1 0x04
000016dc: DUP2
000016dd: MSTORE
000016de: PUSH1 0x40
000016e0: PUSH0
000016e1: KECCAK256
000016e2: PUSH4 0xffffffff
000016e7: DUP13
000016e8: AND
000016e9: PUSH0
000016ea: MSTORE
000016eb: DUP2
000016ec: MSTORE
000016ed: PUSH1 0x40
000016ef: PUSH0
000016f0: KECCAK256
000016f1: SWAP2
000016f2: PUSH0
000016f3: JUMPDEST
000016f4: DUP13
000016f5: DUP3
000016f6: DUP3
000016f7: LT
000016f8: PUSH2 0x170d
000016fb: JUMPI
000016fc: POP
000016fd: POP
000016fe: POP
000016ff: POP
00001700: POP
00001701: POP
00001702: POP
00001703: POP
00001704: POP
00001705: POP
00001706: PUSH1 0x01
00001708: ADD
00001709: PUSH2 0x1685
0000170c: JUMP
0000170d: JUMPDEST
0000170e: SWAP1
0000170f: PUSH32 0x79d5c6b4e45613646dedf33b8eb7e88cd8cdea3ea09f15cbc89a4bf158c5ba97
00001730: PUSH1 0x01
00001732: SWAP3
00001733: DUP10
00001734: PUSH2 0x17a8
00001737: PUSH2 0x174a
0000173a: DUP6
0000173b: DUP16
0000173c: DUP16
0000173d: PUSH2 0x01f9
00001740: DUP4
00001741: DUP13
00001742: PUSH2 0x049d
00001745: SWAP4
00001746: PUSH2 0x1ca2
00001749: JUMP
0000174a: JUMPDEST
0000174b: CALLDATALOAD
0000174c: SWAP3
0000174d: DUP11
0000174e: DUP4
0000174f: AND
00001750: PUSH0
00001751: MSTORE
00001752: DUP10
00001753: DUP10
00001754: MSTORE
00001755: PUSH1 0x40
00001757: PUSH0
00001758: KECCAK256
00001759: PUSH2 0x1763
0000175c: DUP6
0000175d: DUP3
0000175e: SLOAD
0000175f: PUSH2 0x1d44
00001762: JUMP
00001763: JUMPDEST
00001764: SWAP1
00001765: SSTORE
00001766: PUSH1 0x40
00001768: DUP1
00001769: MLOAD
0000176a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000177f: DUP1
00001780: DUP16
00001781: AND
00001782: DUP3
00001783: MSTORE
00001784: SWAP1
00001785: SWAP5
00001786: AND
00001787: PUSH1 0x20
00001789: DUP6
0000178a: ADD
0000178b: MSTORE
0000178c: DUP4
0000178d: ADD
0000178e: SWAP4
0000178f: SWAP1
00001790: SWAP4
00001791: MSTORE
00001792: PUSH4 0xffffffff
00001797: SWAP1
00001798: SWAP3
00001799: AND
0000179a: PUSH1 0x60
0000179c: DUP3
0000179d: ADD
0000179e: MSTORE
0000179f: SWAP1
000017a0: DUP2
000017a1: SWAP1
000017a2: PUSH1 0x80
000017a4: DUP3
000017a5: ADD
000017a6: SWAP1
000017a7: JUMP
000017a8: JUMPDEST
000017a9: SUB
000017aa: SWAP1
000017ab: LOG1
000017ac: ADD
000017ad: PUSH2 0x16f3
000017b0: JUMP
000017b1: JUMPDEST
000017b2: POP
000017b3: DUP2
000017b4: DUP8
000017b5: EQ
000017b6: ISZERO
000017b7: PUSH2 0x167f
000017ba: JUMP
000017bb: JUMPDEST
000017bc: CALLVALUE
000017bd: PUSH2 0x029d
000017c0: JUMPI
000017c1: PUSH1 0x40
000017c3: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000017e4: CALLDATASIZE
000017e5: ADD
000017e6: SLT
000017e7: PUSH2 0x029d
000017ea: JUMPI
000017eb: PUSH2 0x17f2
000017ee: PUSH2 0x1b72
000017f1: JUMP
000017f2: JUMPDEST
000017f3: CALLER
000017f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001809: DUP3
0000180a: AND
0000180b: SUB
0000180c: PUSH2 0x181b
0000180f: JUMPI
00001810: PUSH2 0x001a
00001813: SWAP1
00001814: PUSH1 0x04
00001816: CALLDATALOAD
00001817: PUSH2 0x1eec
0000181a: JUMP
0000181b: JUMPDEST
0000181c: PUSH1 0x04
0000181e: PUSH1 0x40
00001820: MLOAD
00001821: PUSH32 0x6697b23200000000000000000000000000000000000000000000000000000000
00001842: DUP2
00001843: MSTORE
00001844: REVERT
00001845: JUMPDEST
00001846: CALLVALUE
00001847: PUSH2 0x029d
0000184a: JUMPI
0000184b: PUSH1 0x20
0000184d: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000186e: CALLDATASIZE
0000186f: ADD
00001870: SLT
00001871: PUSH2 0x029d
00001874: JUMPI
00001875: PUSH1 0x04
00001877: CALLDATALOAD
00001878: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000188d: DUP1
0000188e: DUP3
0000188f: AND
00001890: DUP1
00001891: SWAP3
00001892: SUB
00001893: PUSH2 0x029d
00001896: JUMPI
00001897: PUSH2 0x189e
0000189a: PUSH2 0x1dc8
0000189d: JUMP
0000189e: JUMPDEST
0000189f: PUSH1 0x01
000018a1: SLOAD
000018a2: SWAP1
000018a3: DUP2
000018a4: AND
000018a5: SWAP1
000018a6: DUP3
000018a7: ISZERO
000018a8: PUSH2 0x06af
000018ab: JUMPI
000018ac: DUP3
000018ad: DUP3
000018ae: EQ
000018af: PUSH2 0x0685
000018b2: JUMPI
000018b3: PUSH32 0x42e6b4d0f422db8acba71d0435d0dd4e46fadb4a2d99683b66eded85126fb285
000018d4: PUSH1 0x40
000018d6: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000018f7: SWAP4
000018f8: DUP2
000018f9: MLOAD
000018fa: SWAP1
000018fb: DUP2
000018fc: MSTORE
000018fd: DUP6
000018fe: PUSH1 0x20
00001900: DUP3
00001901: ADD
00001902: MSTORE
00001903: LOG1
00001904: AND
00001905: OR
00001906: PUSH1 0x01
00001908: SSTORE
00001909: STOP
0000190a: JUMPDEST
0000190b: CALLVALUE
0000190c: PUSH2 0x029d
0000190f: JUMPI
00001910: PUSH1 0x40
00001912: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001933: CALLDATASIZE
00001934: ADD
00001935: SLT
00001936: PUSH2 0x029d
00001939: JUMPI
0000193a: PUSH2 0x001a
0000193d: PUSH1 0x04
0000193f: CALLDATALOAD
00001940: PUSH2 0x1947
00001943: PUSH2 0x1b72
00001946: JUMP
00001947: JUMPDEST
00001948: SWAP1
00001949: DUP1
0000194a: PUSH0
0000194b: MSTORE
0000194c: PUSH0
0000194d: PUSH1 0x20
0000194f: MSTORE
00001950: PUSH2 0x195f
00001953: PUSH1 0x01
00001955: PUSH1 0x40
00001957: PUSH0
00001958: KECCAK256
00001959: ADD
0000195a: SLOAD
0000195b: PUSH2 0x1e23
0000195e: JUMP
0000195f: JUMPDEST
00001960: PUSH2 0x1e44
00001963: JUMP
00001964: JUMPDEST
00001965: CALLVALUE
00001966: PUSH2 0x029d
00001969: JUMPI
0000196a: PUSH1 0x20
0000196c: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000198d: CALLDATASIZE
0000198e: ADD
0000198f: SLT
00001990: PUSH2 0x029d
00001993: JUMPI
00001994: PUSH1 0x04
00001996: CALLDATALOAD
00001997: PUSH0
00001998: MSTORE
00001999: PUSH0
0000199a: PUSH1 0x20
0000199c: MSTORE
0000199d: PUSH1 0x20
0000199f: PUSH1 0x01
000019a1: PUSH1 0x40
000019a3: PUSH0
000019a4: KECCAK256
000019a5: ADD
000019a6: SLOAD
000019a7: PUSH1 0x40
000019a9: MLOAD
000019aa: SWAP1
000019ab: DUP2
000019ac: MSTORE
000019ad: RETURN
000019ae: JUMPDEST
000019af: CALLVALUE
000019b0: PUSH2 0x029d
000019b3: JUMPI
000019b4: PUSH0
000019b5: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000019d6: CALLDATASIZE
000019d7: ADD
000019d8: SLT
000019d9: PUSH2 0x029d
000019dc: JUMPI
000019dd: PUSH1 0x20
000019df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019f4: PUSH1 0x03
000019f6: SLOAD
000019f7: AND
000019f8: PUSH1 0x40
000019fa: MLOAD
000019fb: SWAP1
000019fc: DUP2
000019fd: MSTORE
000019fe: RETURN
000019ff: JUMPDEST
00001a00: CALLVALUE
00001a01: PUSH2 0x029d
00001a04: JUMPI
00001a05: PUSH1 0x60
00001a07: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001a28: CALLDATASIZE
00001a29: ADD
00001a2a: SLT
00001a2b: PUSH2 0x029d
00001a2e: JUMPI
00001a2f: PUSH2 0x1a36
00001a32: PUSH2 0x1b4f
00001a35: JUMP
00001a36: JUMPDEST
00001a37: PUSH2 0x1a3e
00001a3a: PUSH2 0x1b95
00001a3d: JUMP
00001a3e: JUMPDEST
00001a3f: PUSH1 0x44
00001a41: CALLDATALOAD
00001a42: SWAP2
00001a43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a58: SWAP1
00001a59: DUP2
00001a5a: DUP5
00001a5b: AND
00001a5c: DUP1
00001a5d: SWAP5
00001a5e: SUB
00001a5f: PUSH2 0x029d
00001a62: JUMPI
00001a63: AND
00001a64: PUSH0
00001a65: MSTORE
00001a66: PUSH1 0x04
00001a68: PUSH1 0x20
00001a6a: MSTORE
00001a6b: PUSH4 0xffffffff
00001a70: PUSH1 0x40
00001a72: PUSH0
00001a73: KECCAK256
00001a74: SWAP2
00001a75: AND
00001a76: PUSH0
00001a77: MSTORE
00001a78: PUSH1 0x20
00001a7a: MSTORE
00001a7b: PUSH1 0x40
00001a7d: PUSH0
00001a7e: KECCAK256
00001a7f: SWAP1
00001a80: PUSH0
00001a81: MSTORE
00001a82: PUSH1 0x20
00001a84: MSTORE
00001a85: PUSH1 0x20
00001a87: PUSH1 0x40
00001a89: PUSH0
00001a8a: KECCAK256
00001a8b: SLOAD
00001a8c: PUSH1 0x40
00001a8e: MLOAD
00001a8f: SWAP1
00001a90: DUP2
00001a91: MSTORE
00001a92: RETURN
00001a93: JUMPDEST
00001a94: CALLVALUE
00001a95: PUSH2 0x029d
00001a98: JUMPI
00001a99: PUSH1 0x20
00001a9b: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001abc: CALLDATASIZE
00001abd: ADD
00001abe: SLT
00001abf: PUSH2 0x029d
00001ac2: JUMPI
00001ac3: PUSH1 0x04
00001ac5: CALLDATALOAD
00001ac6: SWAP1
00001ac7: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001ae8: DUP3
00001ae9: AND
00001aea: DUP1
00001aeb: SWAP3
00001aec: SUB
00001aed: PUSH2 0x029d
00001af0: JUMPI
00001af1: DUP2
00001af2: PUSH32 0x7965db0b00000000000000000000000000000000000000000000000000000000
00001b13: PUSH1 0x20
00001b15: SWAP4
00001b16: EQ
00001b17: SWAP1
00001b18: DUP2
00001b19: ISZERO
00001b1a: PUSH2 0x1b25
00001b1d: JUMPI
00001b1e: JUMPDEST
00001b1f: POP
00001b20: ISZERO
00001b21: ISZERO
00001b22: DUP2
00001b23: MSTORE
00001b24: RETURN
00001b25: JUMPDEST
00001b26: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00001b47: SWAP2
00001b48: POP
00001b49: EQ
00001b4a: DUP4
00001b4b: PUSH2 0x1b1e
00001b4e: JUMP
00001b4f: JUMPDEST
00001b50: PUSH1 0x04
00001b52: CALLDATALOAD
00001b53: SWAP1
00001b54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b69: DUP3
00001b6a: AND
00001b6b: DUP3
00001b6c: SUB
00001b6d: PUSH2 0x029d
00001b70: JUMPI
00001b71: JUMP
00001b72: JUMPDEST
00001b73: PUSH1 0x24
00001b75: CALLDATALOAD
00001b76: SWAP1
00001b77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b8c: DUP3
00001b8d: AND
00001b8e: DUP3
00001b8f: SUB
00001b90: PUSH2 0x029d
00001b93: JUMPI
00001b94: JUMP
00001b95: JUMPDEST
00001b96: PUSH1 0x24
00001b98: CALLDATALOAD
00001b99: SWAP1
00001b9a: PUSH4 0xffffffff
00001b9f: DUP3
00001ba0: AND
00001ba1: DUP3
00001ba2: SUB
00001ba3: PUSH2 0x029d
00001ba6: JUMPI
00001ba7: JUMP
00001ba8: JUMPDEST
00001ba9: PUSH1 0x04
00001bab: CALLDATALOAD
00001bac: SWAP1
00001bad: PUSH4 0xffffffff
00001bb2: DUP3
00001bb3: AND
00001bb4: DUP3
00001bb5: SUB
00001bb6: PUSH2 0x029d
00001bb9: JUMPI
00001bba: JUMP
00001bbb: JUMPDEST
00001bbc: CALLDATALOAD
00001bbd: SWAP1
00001bbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd3: DUP3
00001bd4: AND
00001bd5: DUP3
00001bd6: SUB
00001bd7: PUSH2 0x029d
00001bda: JUMPI
00001bdb: JUMP
00001bdc: JUMPDEST
00001bdd: SWAP2
00001bde: DUP2
00001bdf: PUSH1 0x1f
00001be1: DUP5
00001be2: ADD
00001be3: SLT
00001be4: ISZERO
00001be5: PUSH2 0x029d
00001be8: JUMPI
00001be9: DUP3
00001bea: CALLDATALOAD
00001beb: SWAP2
00001bec: PUSH8 0xffffffffffffffff
00001bf5: DUP4
00001bf6: GT
00001bf7: PUSH2 0x029d
00001bfa: JUMPI
00001bfb: PUSH1 0x20
00001bfd: DUP1
00001bfe: DUP6
00001bff: ADD
00001c00: SWAP5
00001c01: DUP5
00001c02: PUSH1 0x05
00001c04: SHL
00001c05: ADD
00001c06: ADD
00001c07: GT
00001c08: PUSH2 0x029d
00001c0b: JUMPI
00001c0c: JUMP
00001c0d: JUMPDEST
00001c0e: SWAP1
00001c0f: PUSH1 0x80
00001c11: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001c32: DUP4
00001c33: ADD
00001c34: SLT
00001c35: PUSH2 0x029d
00001c38: JUMPI
00001c39: PUSH8 0xffffffffffffffff
00001c42: PUSH1 0x04
00001c44: CALLDATALOAD
00001c45: DUP2
00001c46: DUP2
00001c47: GT
00001c48: PUSH2 0x029d
00001c4b: JUMPI
00001c4c: DUP4
00001c4d: PUSH2 0x1c58
00001c50: SWAP2
00001c51: PUSH1 0x04
00001c53: ADD
00001c54: PUSH2 0x1bdc
00001c57: JUMP
00001c58: JUMPDEST
00001c59: SWAP4
00001c5a: SWAP1
00001c5b: SWAP4
00001c5c: SWAP3
00001c5d: PUSH1 0x24
00001c5f: CALLDATALOAD
00001c60: DUP4
00001c61: DUP2
00001c62: GT
00001c63: PUSH2 0x029d
00001c66: JUMPI
00001c67: DUP3
00001c68: PUSH2 0x1c73
00001c6b: SWAP2
00001c6c: PUSH1 0x04
00001c6e: ADD
00001c6f: PUSH2 0x1bdc
00001c72: JUMP
00001c73: JUMPDEST
00001c74: SWAP4
00001c75: SWAP1
00001c76: SWAP4
00001c77: SWAP3
00001c78: PUSH1 0x44
00001c7a: CALLDATALOAD
00001c7b: SWAP2
00001c7c: DUP3
00001c7d: GT
00001c7e: PUSH2 0x029d
00001c81: JUMPI
00001c82: PUSH2 0x1c8d
00001c85: SWAP2
00001c86: PUSH1 0x04
00001c88: ADD
00001c89: PUSH2 0x1bdc
00001c8c: JUMP
00001c8d: JUMPDEST
00001c8e: SWAP1
00001c8f: SWAP2
00001c90: PUSH1 0x64
00001c92: CALLDATALOAD
00001c93: PUSH4 0xffffffff
00001c98: DUP2
00001c99: AND
00001c9a: DUP2
00001c9b: SUB
00001c9c: PUSH2 0x029d
00001c9f: JUMPI
00001ca0: SWAP1
00001ca1: JUMP
00001ca2: JUMPDEST
00001ca3: SWAP2
00001ca4: SWAP1
00001ca5: DUP2
00001ca6: LT
00001ca7: ISZERO
00001ca8: PUSH2 0x1447
00001cab: JUMPI
00001cac: PUSH1 0x05
00001cae: SHL
00001caf: ADD
00001cb0: SWAP1
00001cb1: JUMP
00001cb2: JUMPDEST
00001cb3: CALLDATALOAD
00001cb4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cc9: DUP2
00001cca: AND
00001ccb: DUP2
00001ccc: SUB
00001ccd: PUSH2 0x029d
00001cd0: JUMPI
00001cd1: SWAP1
00001cd2: JUMP
00001cd3: JUMPDEST
00001cd4: PUSH8 0xffffffffffffffff
00001cdd: DUP2
00001cde: GT
00001cdf: PUSH2 0x141a
00001ce2: JUMPI
00001ce3: PUSH1 0x40
00001ce5: MSTORE
00001ce6: JUMP
00001ce7: JUMPDEST
00001ce8: PUSH1 0x80
00001cea: DUP2
00001ceb: ADD
00001cec: SWAP1
00001ced: DUP2
00001cee: LT
00001cef: PUSH8 0xffffffffffffffff
00001cf8: DUP3
00001cf9: GT
00001cfa: OR
00001cfb: PUSH2 0x141a
00001cfe: JUMPI
00001cff: PUSH1 0x40
00001d01: MSTORE
00001d02: JUMP
00001d03: JUMPDEST
00001d04: SWAP1
00001d05: PUSH1 0x1f
00001d07: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001d28: SWAP2
00001d29: ADD
00001d2a: AND
00001d2b: DUP2
00001d2c: ADD
00001d2d: SWAP1
00001d2e: DUP2
00001d2f: LT
00001d30: PUSH8 0xffffffffffffffff
00001d39: DUP3
00001d3a: GT
00001d3b: OR
00001d3c: PUSH2 0x141a
00001d3f: JUMPI
00001d40: PUSH1 0x40
00001d42: MSTORE
00001d43: JUMP
00001d44: JUMPDEST
00001d45: SWAP2
00001d46: SWAP1
00001d47: DUP3
00001d48: ADD
00001d49: DUP1
00001d4a: SWAP3
00001d4b: GT
00001d4c: PUSH2 0x1d51
00001d4f: JUMPI
00001d50: JUMP
00001d51: JUMPDEST
00001d52: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001d73: PUSH0
00001d74: MSTORE
00001d75: PUSH1 0x11
00001d77: PUSH1 0x04
00001d79: MSTORE
00001d7a: PUSH1 0x24
00001d7c: PUSH0
00001d7d: REVERT
00001d7e: JUMPDEST
00001d7f: SWAP2
00001d80: SWAP1
00001d81: DUP3
00001d82: SUB
00001d83: SWAP2
00001d84: DUP3
00001d85: GT
00001d86: PUSH2 0x1d51
00001d89: JUMPI
00001d8a: JUMP
00001d8b: JUMPDEST
00001d8c: SWAP1
00001d8d: SWAP2
00001d8e: DUP3
00001d8f: DUP2
00001d90: MSTORE
00001d91: PUSH32 0x07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001db2: DUP4
00001db3: GT
00001db4: PUSH2 0x029d
00001db7: JUMPI
00001db8: PUSH1 0x20
00001dba: SWAP3
00001dbb: PUSH1 0x05
00001dbd: SHL
00001dbe: DUP1
00001dbf: SWAP3
00001dc0: DUP5
00001dc1: DUP4
00001dc2: ADD
00001dc3: CALLDATACOPY
00001dc4: ADD
00001dc5: ADD
00001dc6: SWAP1
00001dc7: JUMP
00001dc8: JUMPDEST
00001dc9: CALLER
00001dca: PUSH0
00001dcb: SWAP1
00001dcc: DUP2
00001dcd: MSTORE
00001dce: PUSH32 0x5cbfc8ee58ca47855df7bcf648dd304ddb6b932f9b87878bdf6318d7ec7ee5b7
00001def: PUSH1 0x20
00001df1: MSTORE
00001df2: PUSH1 0x40
00001df4: SWAP1
00001df5: KECCAK256
00001df6: SLOAD
00001df7: PUSH32 0xdf8b4c520ffe197c5343c6f5aec59570151ef9a492f2c624fd45ddde6135ec42
00001e18: SWAP1
00001e19: PUSH1 0xff
00001e1b: AND
00001e1c: ISZERO
00001e1d: PUSH2 0x161a
00001e20: JUMPI
00001e21: POP
00001e22: JUMP
00001e23: JUMPDEST
00001e24: DUP1
00001e25: PUSH0
00001e26: MSTORE
00001e27: PUSH0
00001e28: PUSH1 0x20
00001e2a: MSTORE
00001e2b: PUSH1 0x40
00001e2d: PUSH0
00001e2e: KECCAK256
00001e2f: CALLER
00001e30: PUSH0
00001e31: MSTORE
00001e32: PUSH1 0x20
00001e34: MSTORE
00001e35: PUSH1 0xff
00001e37: PUSH1 0x40
00001e39: PUSH0
00001e3a: KECCAK256
00001e3b: SLOAD
00001e3c: AND
00001e3d: ISZERO
00001e3e: PUSH2 0x161a
00001e41: JUMPI
00001e42: POP
00001e43: JUMP
00001e44: JUMPDEST
00001e45: SWAP1
00001e46: DUP2
00001e47: PUSH0
00001e48: MSTORE
00001e49: PUSH0
00001e4a: PUSH1 0x20
00001e4c: MSTORE
00001e4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e62: PUSH1 0x40
00001e64: PUSH0
00001e65: KECCAK256
00001e66: SWAP2
00001e67: AND
00001e68: SWAP1
00001e69: DUP2
00001e6a: PUSH0
00001e6b: MSTORE
00001e6c: PUSH1 0x20
00001e6e: MSTORE
00001e6f: PUSH1 0xff
00001e71: PUSH1 0x40
00001e73: PUSH0
00001e74: KECCAK256
00001e75: SLOAD
00001e76: AND
00001e77: ISZERO
00001e78: PUSH0
00001e79: EQ
00001e7a: PUSH2 0x1ee6
00001e7d: JUMPI
00001e7e: DUP2
00001e7f: PUSH0
00001e80: MSTORE
00001e81: PUSH0
00001e82: PUSH1 0x20
00001e84: MSTORE
00001e85: PUSH1 0x40
00001e87: PUSH0
00001e88: KECCAK256
00001e89: DUP2
00001e8a: PUSH0
00001e8b: MSTORE
00001e8c: PUSH1 0x20
00001e8e: MSTORE
00001e8f: PUSH1 0x40
00001e91: PUSH0
00001e92: KECCAK256
00001e93: PUSH1 0x01
00001e95: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001eb6: DUP3
00001eb7: SLOAD
00001eb8: AND
00001eb9: OR
00001eba: SWAP1
00001ebb: SSTORE
00001ebc: CALLER
00001ebd: SWAP2
00001ebe: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
00001edf: PUSH0
00001ee0: DUP1
00001ee1: LOG4
00001ee2: PUSH1 0x01
00001ee4: SWAP1
00001ee5: JUMP
00001ee6: JUMPDEST
00001ee7: POP
00001ee8: POP
00001ee9: PUSH0
00001eea: SWAP1
00001eeb: JUMP
00001eec: JUMPDEST
00001eed: SWAP1
00001eee: DUP2
00001eef: PUSH0
00001ef0: MSTORE
00001ef1: PUSH0
00001ef2: PUSH1 0x20
00001ef4: MSTORE
00001ef5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f0a: PUSH1 0x40
00001f0c: PUSH0
00001f0d: KECCAK256
00001f0e: SWAP2
00001f0f: AND
00001f10: SWAP1
00001f11: DUP2
00001f12: PUSH0
00001f13: MSTORE
00001f14: PUSH1 0x20
00001f16: MSTORE
00001f17: PUSH1 0xff
00001f19: PUSH1 0x40
00001f1b: PUSH0
00001f1c: KECCAK256
00001f1d: SLOAD
00001f1e: AND
00001f1f: PUSH0
00001f20: EQ
00001f21: PUSH2 0x1ee6
00001f24: JUMPI
00001f25: DUP2
00001f26: PUSH0
00001f27: MSTORE
00001f28: PUSH0
00001f29: PUSH1 0x20
00001f2b: MSTORE
00001f2c: PUSH1 0x40
00001f2e: PUSH0
00001f2f: KECCAK256
00001f30: DUP2
00001f31: PUSH0
00001f32: MSTORE
00001f33: PUSH1 0x20
00001f35: MSTORE
00001f36: PUSH1 0x40
00001f38: PUSH0
00001f39: KECCAK256
00001f3a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001f5b: DUP2
00001f5c: SLOAD
00001f5d: AND
00001f5e: SWAP1
00001f5f: SSTORE
00001f60: CALLER
00001f61: SWAP2
00001f62: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
00001f83: PUSH0
00001f84: DUP1
00001f85: LOG4
00001f86: PUSH1 0x01
00001f88: SWAP1
00001f89: JUMP
00001f8a: JUMPDEST
00001f8b: SWAP2
00001f8c: SWAP1
00001f8d: DUP2
00001f8e: LT
00001f8f: ISZERO
00001f90: PUSH2 0x1447
00001f93: JUMPI
00001f94: PUSH1 0x05
00001f96: SHL
00001f97: DUP2
00001f98: ADD
00001f99: CALLDATALOAD
00001f9a: SWAP1
00001f9b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
00001fbc: DUP2
00001fbd: CALLDATASIZE
00001fbe: SUB
00001fbf: ADD
00001fc0: DUP3
00001fc1: SLT
00001fc2: ISZERO
00001fc3: PUSH2 0x029d
00001fc6: JUMPI
00001fc7: ADD
00001fc8: SWAP1
00001fc9: DUP2
00001fca: CALLDATALOAD
00001fcb: SWAP2
00001fcc: PUSH8 0xffffffffffffffff
00001fd5: DUP4
00001fd6: GT
00001fd7: PUSH2 0x029d
00001fda: JUMPI
00001fdb: PUSH1 0x20
00001fdd: ADD
00001fde: DUP3
00001fdf: PUSH1 0x05
00001fe1: SHL
00001fe2: CALLDATASIZE
00001fe3: SUB
00001fe4: DUP2
00001fe5: SGT
00001fe6: PUSH2 0x029d
00001fe9: JUMPI
00001fea: SWAP2
00001feb: SWAP1
00001fec: JUMP
00001fed: JUMPDEST
00001fee: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00
0000200f: DUP1
00002010: TLOAD
00002011: PUSH2 0x201a
00002014: JUMPI
00002015: PUSH1 0x01
00002017: SWAP1
00002018: TSTORE
00002019: JUMP
0000201a: JUMPDEST
0000201b: PUSH1 0x04
0000201d: PUSH1 0x40
0000201f: MLOAD
00002020: PUSH32 0x3ee5aeb500000000000000000000000000000000000000000000000000000000
00002041: DUP2
00002042: MSTORE
00002043: REVERT
00002044: JUMPDEST
00002045: PUSH4 0xffffffff
0000204a: AND
0000204b: DUP1
0000204c: PUSH0
0000204d: MSTORE
0000204e: PUSH1 0x05
00002050: PUSH1 0x20
00002052: MSTORE
00002053: PUSH1 0xff
00002055: PUSH1 0x40
00002057: PUSH0
00002058: KECCAK256
00002059: SLOAD
0000205a: AND
0000205b: ISZERO
0000205c: PUSH2 0x2124
0000205f: JUMPI
00002060: PUSH1 0x60
00002062: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002077: PUSH1 0x01
00002079: SLOAD
0000207a: AND
0000207b: SWAP2
0000207c: PUSH1 0x24
0000207e: PUSH1 0x40
00002080: MLOAD
00002081: DUP1
00002082: SWAP5
00002083: DUP2
00002084: SWAP4
00002085: PUSH32 0x79a6d51f00000000000000000000000000000000000000000000000000000000
000020a6: DUP4
000020a7: MSTORE
000020a8: PUSH1 0x04
000020aa: DUP4
000020ab: ADD
000020ac: MSTORE
000020ad: GAS
000020ae: STATICCALL
000020af: SWAP1
000020b0: DUP2
000020b1: ISZERO
000020b2: PUSH2 0x0f6f
000020b5: JUMPI
000020b6: PUSH0
000020b7: SWAP2
000020b8: PUSH2 0x20ef
000020bb: JUMPI
000020bc: JUMPDEST
000020bd: POP
000020be: TIMESTAMP
000020bf: LT
000020c0: PUSH2 0x20c5
000020c3: JUMPI
000020c4: JUMP
000020c5: JUMPDEST
000020c6: PUSH1 0x04
000020c8: PUSH1 0x40
000020ca: MLOAD
000020cb: PUSH32 0xc43172d200000000000000000000000000000000000000000000000000000000
000020ec: DUP2
000020ed: MSTORE
000020ee: REVERT
000020ef: JUMPDEST
000020f0: SWAP1
000020f1: POP
000020f2: PUSH1 0x60
000020f4: DUP2
000020f5: RETURNDATASIZE
000020f6: PUSH1 0x60
000020f8: GT
000020f9: PUSH2 0x211c
000020fc: JUMPI
000020fd: JUMPDEST
000020fe: DUP2
000020ff: PUSH2 0x210a
00002102: PUSH1 0x60
00002104: SWAP4
00002105: DUP4
00002106: PUSH2 0x1d03
00002109: JUMP
0000210a: JUMPDEST
0000210b: DUP2
0000210c: ADD
0000210d: SUB
0000210e: SLT
0000210f: PUSH2 0x029d
00002112: JUMPI
00002113: PUSH1 0x20
00002115: ADD
00002116: MLOAD
00002117: PUSH0
00002118: PUSH2 0x20bc
0000211b: JUMP
0000211c: JUMPDEST
0000211d: RETURNDATASIZE
0000211e: SWAP2
0000211f: POP
00002120: PUSH2 0x20fd
00002123: JUMP
00002124: JUMPDEST
00002125: PUSH1 0x04
00002127: PUSH1 0x40
00002129: MLOAD
0000212a: PUSH32 0xde69955000000000000000000000000000000000000000000000000000000000
0000214b: DUP2
0000214c: MSTORE
0000214d: REVERT
0000214e: JUMPDEST
0000214f: SWAP2
00002150: SWAP1
00002151: PUSH32 0x07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002172: DUP2
00002173: GT
00002174: PUSH2 0x029d
00002177: JUMPI
00002178: PUSH1 0x05
0000217a: SHL
0000217b: DUP1
0000217c: SWAP3
0000217d: DUP3
0000217e: CALLDATACOPY
0000217f: ADD
00002180: SWAP1
00002181: JUMP
00002182: JUMPDEST
00002183: SWAP1
00002184: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002199: DUP3
0000219a: AND
0000219b: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
000021b0: SUB
000021b1: PUSH2 0x21c1
000021b4: JUMPI
000021b5: PUSH2 0x21bf
000021b8: SWAP2
000021b9: POP
000021ba: CALLER
000021bb: PUSH2 0x222a
000021be: JUMP
000021bf: JUMPDEST
000021c0: JUMP
000021c1: JUMPDEST
000021c2: PUSH2 0x21bf
000021c5: SWAP2
000021c6: CALLER
000021c7: SWAP1
000021c8: JUMPDEST
000021c9: PUSH1 0x40
000021cb: MLOAD
000021cc: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
000021ed: PUSH1 0x20
000021ef: DUP3
000021f0: ADD
000021f1: MSTORE
000021f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002207: SWAP3
00002208: SWAP1
00002209: SWAP3
0000220a: AND
0000220b: PUSH1 0x24
0000220d: DUP4
0000220e: ADD
0000220f: MSTORE
00002210: PUSH1 0x44
00002212: DUP1
00002213: DUP4
00002214: ADD
00002215: SWAP4
00002216: SWAP1
00002217: SWAP4
00002218: MSTORE
00002219: SWAP2
0000221a: DUP2
0000221b: MSTORE
0000221c: PUSH2 0x21bf
0000221f: SWAP2
00002220: PUSH2 0x083a
00002223: PUSH1 0x64
00002225: DUP4
00002226: PUSH2 0x1d03
00002229: JUMP
0000222a: JUMPDEST
0000222b: DUP2
0000222c: SELFBALANCE
0000222d: LT
0000222e: PUSH2 0x22db
00002231: JUMPI
00002232: PUSH0
00002233: DUP1
00002234: DUP1
00002235: SWAP4
00002236: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000224b: DUP3
0000224c: SWAP5
0000224d: AND
0000224e: GAS
0000224f: CALL
00002250: RETURNDATASIZE
00002251: ISZERO
00002252: PUSH2 0x22d6
00002255: JUMPI
00002256: RETURNDATASIZE
00002257: PUSH8 0xffffffffffffffff
00002260: DUP2
00002261: GT
00002262: PUSH2 0x141a
00002265: JUMPI
00002266: PUSH1 0x40
00002268: MLOAD
00002269: SWAP1
0000226a: PUSH2 0x229b
0000226d: PUSH1 0x20
0000226f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002290: PUSH1 0x1f
00002292: DUP5
00002293: ADD
00002294: AND
00002295: ADD
00002296: DUP4
00002297: PUSH2 0x1d03
0000229a: JUMP
0000229b: JUMPDEST
0000229c: DUP2
0000229d: MSTORE
0000229e: PUSH0
0000229f: PUSH1 0x20
000022a1: RETURNDATASIZE
000022a2: SWAP3
000022a3: ADD
000022a4: RETURNDATACOPY
000022a5: JUMPDEST
000022a6: ISZERO
000022a7: PUSH2 0x22ac
000022aa: JUMPI
000022ab: JUMP
000022ac: JUMPDEST
000022ad: PUSH1 0x04
000022af: PUSH1 0x40
000022b1: MLOAD
000022b2: PUSH32 0xd6bda27500000000000000000000000000000000000000000000000000000000
000022d3: DUP2
000022d4: MSTORE
000022d5: REVERT
000022d6: JUMPDEST
000022d7: PUSH2 0x22a5
000022da: JUMP
000022db: JUMPDEST
000022dc: PUSH1 0x44
000022de: DUP3
000022df: SELFBALANCE
000022e0: SWAP1
000022e1: PUSH1 0x40
000022e3: MLOAD
000022e4: SWAP2
000022e5: PUSH32 0xcf47918100000000000000000000000000000000000000000000000000000000
00002306: DUP4
00002307: MSTORE
00002308: PUSH1 0x04
0000230a: DUP4
0000230b: ADD
0000230c: MSTORE
0000230d: PUSH1 0x24
0000230f: DUP3
00002310: ADD
00002311: MSTORE
00002312: REVERT
00002313: JUMPDEST
00002314: SWAP1
00002315: PUSH0
00002316: PUSH1 0x20
00002318: SWAP2
00002319: DUP3
0000231a: DUP2
0000231b: MLOAD
0000231c: SWAP2
0000231d: ADD
0000231e: DUP3
0000231f: DUP6
00002320: GAS
00002321: CALL
00002322: ISZERO
00002323: PUSH2 0x0f6f
00002326: JUMPI
00002327: PUSH0
00002328: MLOAD
00002329: RETURNDATASIZE
0000232a: PUSH2 0x2396
0000232d: JUMPI
0000232e: POP
0000232f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002344: DUP2
00002345: AND
00002346: EXTCODESIZE
00002347: ISZERO
00002348: JUMPDEST
00002349: PUSH2 0x234f
0000234c: JUMPI
0000234d: POP
0000234e: JUMP
0000234f: JUMPDEST
00002350: PUSH1 0x24
00002352: SWAP1
00002353: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002368: PUSH1 0x40
0000236a: MLOAD
0000236b: SWAP2
0000236c: PUSH32 0x5274afe700000000000000000000000000000000000000000000000000000000
0000238d: DUP4
0000238e: MSTORE
0000238f: AND
00002390: PUSH1 0x04
00002392: DUP3
00002393: ADD
00002394: MSTORE
00002395: REVERT
00002396: JUMPDEST
00002397: PUSH1 0x01
00002399: EQ
0000239a: ISZERO
0000239b: PUSH2 0x2348
0000239e: JUMP
0000239f: JUMPDEST
000023a0: SWAP2
000023a1: SWAP1
000023a2: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0
000023c3: DUP5
000023c4: GT
000023c5: PUSH2 0x2423
000023c8: JUMPI
000023c9: SWAP2
000023ca: PUSH1 0x20
000023cc: SWAP4
000023cd: PUSH1 0x80
000023cf: SWAP3
000023d0: PUSH1 0xff
000023d2: PUSH0
000023d3: SWAP6
000023d4: PUSH1 0x40
000023d6: MLOAD
000023d7: SWAP5
000023d8: DUP6
000023d9: MSTORE
000023da: AND
000023db: DUP7
000023dc: DUP5
000023dd: ADD
000023de: MSTORE
000023df: PUSH1 0x40
000023e1: DUP4
000023e2: ADD
000023e3: MSTORE
000023e4: PUSH1 0x60
000023e6: DUP3
000023e7: ADD
000023e8: MSTORE
000023e9: DUP3
000023ea: DUP1
000023eb: MSTORE
000023ec: PUSH1 0x01
000023ee: GAS
000023ef: STATICCALL
000023f0: ISZERO
000023f1: PUSH2 0x0f6f
000023f4: JUMPI
000023f5: PUSH0
000023f6: MLOAD
000023f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000240c: DUP2
0000240d: AND
0000240e: ISZERO
0000240f: PUSH2 0x2419
00002412: JUMPI
00002413: SWAP1
00002414: PUSH0
00002415: SWAP1
00002416: PUSH0
00002417: SWAP1
00002418: JUMP
00002419: JUMPDEST
0000241a: POP
0000241b: PUSH0
0000241c: SWAP1
0000241d: PUSH1 0x01
0000241f: SWAP1
00002420: PUSH0
00002421: SWAP1
00002422: JUMP
00002423: JUMPDEST
00002424: POP
00002425: POP
00002426: POP
00002427: PUSH0
00002428: SWAP2
00002429: PUSH1 0x03
0000242b: SWAP2
0000242c: SWAP1
0000242d: JUMP
0000242e: JUMPDEST
0000242f: PUSH1 0x04
00002431: DUP2
00002432: LT
00002433: ISZERO
00002434: PUSH2 0x24e6
00002437: JUMPI
00002438: DUP1
00002439: PUSH2 0x2440
0000243c: JUMPI
0000243d: POP
0000243e: POP
0000243f: JUMP
00002440: JUMPDEST
00002441: PUSH1 0x01
00002443: DUP2
00002444: SUB
00002445: PUSH2 0x2472
00002448: JUMPI
00002449: PUSH1 0x04
0000244b: PUSH1 0x40
0000244d: MLOAD
0000244e: PUSH32 0xf645eedf00000000000000000000000000000000000000000000000000000000
0000246f: DUP2
00002470: MSTORE
00002471: REVERT
00002472: JUMPDEST
00002473: PUSH1 0x02
00002475: DUP2
00002476: SUB
00002477: PUSH2 0x24ab
0000247a: JUMPI
0000247b: PUSH1 0x24
0000247d: DUP3
0000247e: PUSH1 0x40
00002480: MLOAD
00002481: SWAP1
00002482: PUSH32 0xfce698f700000000000000000000000000000000000000000000000000000000
000024a3: DUP3
000024a4: MSTORE
000024a5: PUSH1 0x04
000024a7: DUP3
000024a8: ADD
000024a9: MSTORE
000024aa: REVERT
000024ab: JUMPDEST
000024ac: PUSH1 0x03
000024ae: EQ
000024af: PUSH2 0x24b5
000024b2: JUMPI
000024b3: POP
000024b4: JUMP
000024b5: JUMPDEST
000024b6: PUSH1 0x24
000024b8: SWAP1
000024b9: PUSH1 0x40
000024bb: MLOAD
000024bc: SWAP1
000024bd: PUSH32 0xd78bce0c00000000000000000000000000000000000000000000000000000000
000024de: DUP3
000024df: MSTORE
000024e0: PUSH1 0x04
000024e2: DUP3
000024e3: ADD
000024e4: MSTORE
000024e5: REVERT
000024e6: JUMPDEST
000024e7: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002508: PUSH0
00002509: MSTORE
0000250a: PUSH1 0x21
0000250c: PUSH1 0x04
0000250e: MSTORE
0000250f: PUSH1 0x24
00002511: PUSH0
00002512: REVERT
00002513: INVALID
00002514: LOG2
00002515: PUSH5 0x6970667358
0000251b: UNKNOWN(0x22)
0000251c: SLT
0000251d: KECCAK256
0000251e: MSTORE
0000251f: UNKNOWN(0xC2)
00002520: PUSH6 0xddccc012da5d
00002527: NOT
00002528: UNKNOWN(0xF7)
00002529: UNKNOWN(0xB6)
0000252a: UNKNOWN(0xBE)
0000252b: UNKNOWN(0xA9)
0000252c: UNKNOWN(0xD5)
0000252d: MLOAD
0000252e: ISZERO
0000252f: CALLVALUE
00002530: PUSH19 0xbe40ab91f9865ded662589dea864736f6c6343
00002544: STOP
00002545: ADDMOD
00002546: NOT
00002547: STOP
00002548: CALLER

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: 0x85c972dd15a79b6f44f4a479669eb0958cd625a2d9a7cbc42410d59ea3cf0edd
call_targets: 0x2d5a000e4c2fb1843ffab1fe94767d0fb45f179d
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x85c972dd15a79b6f44f4a479669eb0958cd625a2d9a7cbc42410d59ea3cf0edd",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x2d5a000e4c2fb1843ffab1fe94767d0fb45f179d"
    ],
    "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": "0x01ffc9a7",
            "selector": "0x01ffc9a7",
            "calldata_variants": [
                "0x01ffc9a7",
                "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x054a68ad",
            "selector": "0x054a68ad",
            "calldata_variants": [
                "0x054a68ad",
                "0x054a68ad0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2194f3a2",
            "selector": "0x2194f3a2",
            "calldata_variants": [
                "0x2194f3a2",
                "0x2194f3a20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x248a9ca3",
            "selector": "0x248a9ca3",
            "calldata_variants": [
                "0x248a9ca3",
                "0x248a9ca30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f2ff15d",
            "selector": "0x2f2ff15d",
            "calldata_variants": [
                "0x2f2ff15d",
                "0x2f2ff15d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2fde3826",
            "selector": "0x2fde3826",
            "calldata_variants": [
                "0x2fde3826",
                "0x2fde38260000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x36568abe",
            "selector": "0x36568abe",
            "calldata_variants": [
                "0x36568abe",
                "0x36568abe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3f3a0311",
            "selector": "0x3f3a0311",
            "calldata_variants": [
                "0x3f3a0311",
                "0x3f3a03110000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2013,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3908,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4165,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [],
    "untrusted_call_count": 5
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x85c972dd15a79b6f44f4a479669eb0958cd625a2d9a7cbc42410d59ea3cf0edd
call_targets: 0x2d5a000e4c2fb1843ffab1fe94767d0fb45f179d
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x85c972dd15a79b6f44f4a479669eb0958cd625a2d9a7cbc42410d59ea3cf0edd",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x2d5a000e4c2fb1843ffab1fe94767d0fb45f179d"
    ],
    "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": "0x01ffc9a7",
            "selector": "0x01ffc9a7",
            "calldata_variants": [
                "0x01ffc9a7",
                "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x054a68ad",
            "selector": "0x054a68ad",
            "calldata_variants": [
                "0x054a68ad",
                "0x054a68ad0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2194f3a2",
            "selector": "0x2194f3a2",
            "calldata_variants": [
                "0x2194f3a2",
                "0x2194f3a20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x248a9ca3",
            "selector": "0x248a9ca3",
            "calldata_variants": [
                "0x248a9ca3",
                "0x248a9ca30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f2ff15d",
            "selector": "0x2f2ff15d",
            "calldata_variants": [
                "0x2f2ff15d",
                "0x2f2ff15d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2fde3826",
            "selector": "0x2fde3826",
            "calldata_variants": [
                "0x2fde3826",
                "0x2fde38260000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x36568abe",
            "selector": "0x36568abe",
            "calldata_variants": [
                "0x36568abe",
                "0x36568abe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3f3a0311",
            "selector": "0x3f3a0311",
            "calldata_variants": [
                "0x3f3a0311",
                "0x3f3a03110000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2013,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3908,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4165,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": []
}