Analysis Run

019b477e-d535-722d-8ffc-f695359072f7
complete
Chain ID
1
Address
0x0000000071727de22e5e9d8baf0edac6f37da032
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted DELEGATECALL target 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
28493	artifact.fetch	complete	1 / 3	3 months ago
28494	tool.cast_disasm	complete	1 / 3	3 months ago
92561	analysis.bundle	complete	1 / 3	1 week ago
92562	capability.graph	complete	1 / 3	1 week ago
92563	detector.run	complete	1 / 3	1 week ago
92564	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
1
Selfdestruct
1
CREATE2
0
CALL-family (heavy)
12
EXT*/BALANCE
4
Total opcodes
6968
Flags
delegatecall_present selfdestruct_present call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: ISZERO
0000000a: PUSH2 0x0024
0000000d: JUMPI
0000000e: JUMPDEST
0000000f: CALLDATASIZE
00000010: ISZERO
00000011: PUSH2 0x0019
00000014: JUMPI
00000015: PUSH1 0x00
00000017: DUP1
00000018: REVERT
00000019: JUMPDEST
0000001a: PUSH2 0x0022
0000001d: CALLER
0000001e: PUSH2 0x2748
00000021: JUMP
00000022: JUMPDEST
00000023: STOP
00000024: JUMPDEST
00000025: PUSH1 0x00
00000027: CALLDATALOAD
00000028: PUSH1 0xe0
0000002a: SHR
0000002b: DUP1
0000002c: PUSH3 0x42dc53
00000030: EQ
00000031: PUSH2 0x1b00
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x01ffc9a7
0000003b: EQ
0000003c: PUSH2 0x19ae
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x0396cb60
00000046: EQ
00000047: PUSH2 0x1676
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x0bd28e3b
00000051: EQ
00000052: PUSH2 0x15fa
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x1b2e01b8
0000005c: EQ
0000005d: PUSH2 0x1566
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x205c2878
00000067: EQ
00000068: PUSH2 0x13d1
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x22cdde4c
00000072: EQ
00000073: PUSH2 0x136b
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x35567e1a
0000007d: EQ
0000007e: PUSH2 0x12b3
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x5287ce12
00000088: EQ
00000089: PUSH2 0x11a5
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x70a08231
00000093: EQ
00000094: PUSH2 0x1140
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x765e827f
0000009e: EQ
0000009f: PUSH2 0x0e82
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x850aaf62
000000a9: EQ
000000aa: PUSH2 0x0dc3
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x9b249f69
000000b4: EQ
000000b5: PUSH2 0x0c74
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xb760faf9
000000bf: EQ
000000c0: PUSH2 0x0c3a
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xbb9fe6bf
000000ca: EQ
000000cb: PUSH2 0x0a68
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xc23a5cea
000000d5: EQ
000000d6: PUSH2 0x07c4
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0xdbed18e0
000000e0: EQ
000000e1: PUSH2 0x01a1
000000e4: JUMPI
000000e5: PUSH4 0xfc7e286d
000000ea: SUB
000000eb: PUSH2 0x000e
000000ee: JUMPI
000000ef: CALLVALUE
000000f0: PUSH2 0x019c
000000f3: JUMPI
000000f4: PUSH1 0x20
000000f6: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000117: CALLDATASIZE
00000118: ADD
00000119: SLT
0000011a: PUSH2 0x019c
0000011d: JUMPI
0000011e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000133: PUSH2 0x013a
00000136: PUSH2 0x229f
00000139: JUMP
0000013a: JUMPDEST
0000013b: AND
0000013c: PUSH1 0x00
0000013e: MSTORE
0000013f: PUSH1 0x00
00000141: PUSH1 0x20
00000143: MSTORE
00000144: PUSH1 0xa0
00000146: PUSH1 0x40
00000148: PUSH1 0x00
0000014a: KECCAK256
0000014b: PUSH6 0xffffffffffff
00000152: PUSH1 0x01
00000154: DUP3
00000155: SLOAD
00000156: SWAP3
00000157: ADD
00000158: SLOAD
00000159: PUSH1 0x40
0000015b: MLOAD
0000015c: SWAP3
0000015d: DUP4
0000015e: MSTORE
0000015f: PUSH1 0xff
00000161: DUP2
00000162: AND
00000163: ISZERO
00000164: ISZERO
00000165: PUSH1 0x20
00000167: DUP5
00000168: ADD
00000169: MSTORE
0000016a: PUSH14 0xffffffffffffffffffffffffffff
00000179: DUP2
0000017a: PUSH1 0x08
0000017c: SHR
0000017d: AND
0000017e: PUSH1 0x40
00000180: DUP5
00000181: ADD
00000182: MSTORE
00000183: PUSH4 0xffffffff
00000188: DUP2
00000189: PUSH1 0x78
0000018b: SHR
0000018c: AND
0000018d: PUSH1 0x60
0000018f: DUP5
00000190: ADD
00000191: MSTORE
00000192: PUSH1 0x98
00000194: SHR
00000195: AND
00000196: PUSH1 0x80
00000198: DUP3
00000199: ADD
0000019a: MSTORE
0000019b: RETURN
0000019c: JUMPDEST
0000019d: PUSH1 0x00
0000019f: DUP1
000001a0: REVERT
000001a1: JUMPDEST
000001a2: CALLVALUE
000001a3: PUSH2 0x019c
000001a6: JUMPI
000001a7: PUSH2 0x01af
000001aa: CALLDATASIZE
000001ab: PUSH2 0x2317
000001ae: JUMP
000001af: JUMPDEST
000001b0: SWAP1
000001b1: PUSH2 0x01b8
000001b4: PUSH2 0x29bd
000001b7: JUMP
000001b8: JUMPDEST
000001b9: PUSH1 0x00
000001bb: SWAP2
000001bc: PUSH1 0x00
000001be: JUMPDEST
000001bf: DUP3
000001c0: DUP2
000001c1: LT
000001c2: PUSH2 0x056f
000001c5: JUMPI
000001c6: POP
000001c7: PUSH2 0x01d0
000001ca: DUP5
000001cb: SWAP4
000001cc: PUSH2 0x2588
000001cf: JUMP
000001d0: JUMPDEST
000001d1: PUSH1 0x00
000001d3: DUP1
000001d4: JUMPDEST
000001d5: DUP5
000001d6: DUP2
000001d7: LT
000001d8: PUSH2 0x02fc
000001db: JUMPI
000001dc: POP
000001dd: POP
000001de: PUSH32 0xbb47ee3e183a558b1a2ff0874b079f3fc5478b7454eacf2bfc5af2ff5878f972
000001ff: PUSH1 0x00
00000201: DUP1
00000202: LOG1
00000203: PUSH1 0x00
00000205: DUP1
00000206: SWAP4
00000207: PUSH1 0x00
00000209: JUMPDEST
0000020a: DUP2
0000020b: DUP2
0000020c: LT
0000020d: PUSH2 0x0247
00000210: JUMPI
00000211: PUSH2 0x0240
00000214: DUP7
00000215: DUP7
00000216: PUSH1 0x00
00000218: PUSH32 0x575ff3acadd5ab348fe1855e217e0f3678f8d767d7494c9f9fefbee2e17cca4d
00000239: DUP2
0000023a: DUP1
0000023b: LOG2
0000023c: PUSH2 0x3ba7
0000023f: JUMP
00000240: JUMPDEST
00000241: PUSH1 0x01
00000243: PUSH1 0x02
00000245: SSTORE
00000246: STOP
00000247: JUMPDEST
00000248: PUSH2 0x02a2
0000024b: PUSH2 0x0255
0000024e: DUP3
0000024f: DUP5
00000250: DUP11
00000251: PUSH2 0x2796
00000254: JUMP
00000255: JUMPDEST
00000256: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000026b: PUSH2 0x0276
0000026e: PUSH1 0x20
00000270: DUP4
00000271: ADD
00000272: PUSH2 0x282a
00000275: JUMP
00000276: JUMPDEST
00000277: AND
00000278: PUSH32 0x575ff3acadd5ab348fe1855e217e0f3678f8d767d7494c9f9fefbee2e17cca4d
00000299: PUSH1 0x00
0000029b: DUP1
0000029c: LOG2
0000029d: DUP1
0000029e: PUSH2 0x27d6
000002a1: JUMP
000002a2: JUMPDEST
000002a3: SWAP1
000002a4: PUSH1 0x00
000002a6: SWAP2
000002a7: JUMPDEST
000002a8: DUP1
000002a9: DUP4
000002aa: LT
000002ab: PUSH2 0x02b9
000002ae: JUMPI
000002af: POP
000002b0: POP
000002b1: POP
000002b2: PUSH1 0x01
000002b4: ADD
000002b5: PUSH2 0x0209
000002b8: JUMP
000002b9: JUMPDEST
000002ba: SWAP1
000002bb: SWAP2
000002bc: SWAP5
000002bd: SWAP8
000002be: PUSH2 0x02f3
000002c1: PUSH2 0x02ed
000002c4: PUSH1 0x01
000002c6: SWAP3
000002c7: PUSH2 0x02e7
000002ca: DUP13
000002cb: DUP12
000002cc: PUSH2 0x02e0
000002cf: DUP3
000002d0: PUSH2 0x02da
000002d3: DUP15
000002d4: DUP12
000002d5: DUP14
000002d6: PUSH2 0x269d
000002d9: JUMP
000002da: JUMPDEST
000002db: SWAP3
000002dc: PUSH2 0x265a
000002df: JUMP
000002e0: JUMPDEST
000002e1: MLOAD
000002e2: SWAP2
000002e3: PUSH2 0x3597
000002e6: JUMP
000002e7: JUMPDEST
000002e8: SWAP1
000002e9: PUSH2 0x2409
000002ec: JUMP
000002ed: JUMPDEST
000002ee: SWAP10
000002ef: PUSH2 0x2416
000002f2: JUMP
000002f3: JUMPDEST
000002f4: SWAP6
000002f5: ADD
000002f6: SWAP2
000002f7: SWAP1
000002f8: PUSH2 0x02a7
000002fb: JUMP
000002fc: JUMPDEST
000002fd: PUSH1 0x20
000002ff: PUSH2 0x0309
00000302: DUP3
00000303: DUP8
00000304: DUP10
00000305: PUSH2 0x2796
00000308: JUMP
00000309: JUMPDEST
0000030a: PUSH2 0x031f
0000030d: PUSH2 0x0316
00000310: DUP3
00000311: DUP1
00000312: PUSH2 0x27d6
00000315: JUMP
00000316: JUMPDEST
00000317: SWAP4
00000318: SWAP1
00000319: SWAP3
0000031a: ADD
0000031b: PUSH2 0x282a
0000031e: JUMP
0000031f: JUMPDEST
00000320: SWAP2
00000321: PUSH1 0x00
00000323: SWAP3
00000324: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000339: DUP1
0000033a: SWAP2
0000033b: AND
0000033c: JUMPDEST
0000033d: DUP3
0000033e: DUP6
0000033f: LT
00000340: PUSH2 0x0350
00000343: JUMPI
00000344: POP
00000345: POP
00000346: POP
00000347: POP
00000348: POP
00000349: PUSH1 0x01
0000034b: ADD
0000034c: PUSH2 0x01d4
0000034f: JUMP
00000350: JUMPDEST
00000351: SWAP1
00000352: SWAP2
00000353: SWAP3
00000354: SWAP4
00000355: SWAP6
00000356: PUSH2 0x037f
00000359: DUP4
0000035a: PUSH2 0x0378
0000035d: PUSH2 0x0366
00000360: DUP5
00000361: DUP13
00000362: PUSH2 0x265a
00000365: JUMP
00000366: JUMPDEST
00000367: MLOAD
00000368: PUSH2 0x0372
0000036b: DUP12
0000036c: DUP10
0000036d: DUP12
0000036e: PUSH2 0x269d
00000371: JUMP
00000372: JUMPDEST
00000373: DUP6
00000374: PUSH2 0x29f6
00000377: JUMP
00000378: JUMPDEST
00000379: SWAP3
0000037a: SWAP1
0000037b: PUSH2 0x3dd7
0000037e: JUMP
0000037f: JUMPDEST
00000380: SWAP2
00000381: AND
00000382: DUP5
00000383: SUB
00000384: PUSH2 0x050a
00000387: JUMPI
00000388: PUSH2 0x04a5
0000038b: JUMPI
0000038c: PUSH2 0x0395
0000038f: DUP5
00000390: SWAP2
00000391: PUSH2 0x3dd7
00000394: JUMP
00000395: JUMPDEST
00000396: SWAP2
00000397: AND
00000398: PUSH2 0x0440
0000039b: JUMPI
0000039c: PUSH2 0x03b5
0000039f: JUMPI
000003a0: PUSH2 0x03aa
000003a3: PUSH1 0x01
000003a5: SWAP2
000003a6: PUSH2 0x2416
000003a9: JUMP
000003aa: JUMPDEST
000003ab: SWAP7
000003ac: ADD
000003ad: SWAP4
000003ae: SWAP3
000003af: SWAP2
000003b0: SWAP1
000003b1: PUSH2 0x033c
000003b4: JUMP
000003b5: JUMPDEST
000003b6: PUSH1 0xa4
000003b8: DUP8
000003b9: PUSH1 0x40
000003bb: MLOAD
000003bc: SWAP1
000003bd: PUSH32 0x220266b600000000000000000000000000000000000000000000000000000000
000003de: DUP3
000003df: MSTORE
000003e0: PUSH1 0x04
000003e2: DUP3
000003e3: ADD
000003e4: MSTORE
000003e5: PUSH1 0x40
000003e7: PUSH1 0x24
000003e9: DUP3
000003ea: ADD
000003eb: MSTORE
000003ec: PUSH1 0x21
000003ee: PUSH1 0x44
000003f0: DUP3
000003f1: ADD
000003f2: MSTORE
000003f3: PUSH32 0x41413332207061796d61737465722065787069726564206f72206e6f74206475
00000414: PUSH1 0x64
00000416: DUP3
00000417: ADD
00000418: MSTORE
00000419: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000
0000043a: PUSH1 0x84
0000043c: DUP3
0000043d: ADD
0000043e: MSTORE
0000043f: REVERT
00000440: JUMPDEST
00000441: PUSH1 0x84
00000443: DUP9
00000444: PUSH1 0x40
00000446: MLOAD
00000447: SWAP1
00000448: PUSH32 0x220266b600000000000000000000000000000000000000000000000000000000
00000469: DUP3
0000046a: MSTORE
0000046b: PUSH1 0x04
0000046d: DUP3
0000046e: ADD
0000046f: MSTORE
00000470: PUSH1 0x40
00000472: PUSH1 0x24
00000474: DUP3
00000475: ADD
00000476: MSTORE
00000477: PUSH1 0x14
00000479: PUSH1 0x44
0000047b: DUP3
0000047c: ADD
0000047d: MSTORE
0000047e: PUSH32 0x41413334207369676e6174757265206572726f72000000000000000000000000
0000049f: PUSH1 0x64
000004a1: DUP3
000004a2: ADD
000004a3: MSTORE
000004a4: REVERT
000004a5: JUMPDEST
000004a6: PUSH1 0x84
000004a8: DUP9
000004a9: PUSH1 0x40
000004ab: MLOAD
000004ac: SWAP1
000004ad: PUSH32 0x220266b600000000000000000000000000000000000000000000000000000000
000004ce: DUP3
000004cf: MSTORE
000004d0: PUSH1 0x04
000004d2: DUP3
000004d3: ADD
000004d4: MSTORE
000004d5: PUSH1 0x40
000004d7: PUSH1 0x24
000004d9: DUP3
000004da: ADD
000004db: MSTORE
000004dc: PUSH1 0x17
000004de: PUSH1 0x44
000004e0: DUP3
000004e1: ADD
000004e2: MSTORE
000004e3: PUSH32 0x414132322065787069726564206f72206e6f7420647565000000000000000000
00000504: PUSH1 0x64
00000506: DUP3
00000507: ADD
00000508: MSTORE
00000509: REVERT
0000050a: JUMPDEST
0000050b: PUSH1 0x84
0000050d: DUP10
0000050e: PUSH1 0x40
00000510: MLOAD
00000511: SWAP1
00000512: PUSH32 0x220266b600000000000000000000000000000000000000000000000000000000
00000533: DUP3
00000534: MSTORE
00000535: PUSH1 0x04
00000537: DUP3
00000538: ADD
00000539: MSTORE
0000053a: PUSH1 0x40
0000053c: PUSH1 0x24
0000053e: DUP3
0000053f: ADD
00000540: MSTORE
00000541: PUSH1 0x14
00000543: PUSH1 0x44
00000545: DUP3
00000546: ADD
00000547: MSTORE
00000548: PUSH32 0x41413234207369676e6174757265206572726f72000000000000000000000000
00000569: PUSH1 0x64
0000056b: DUP3
0000056c: ADD
0000056d: MSTORE
0000056e: REVERT
0000056f: JUMPDEST
00000570: PUSH2 0x057a
00000573: DUP2
00000574: DUP5
00000575: DUP8
00000576: PUSH2 0x2796
00000579: JUMP
0000057a: JUMPDEST
0000057b: SWAP4
0000057c: PUSH2 0x0585
0000057f: DUP6
00000580: DUP1
00000581: PUSH2 0x27d6
00000584: JUMP
00000585: JUMPDEST
00000586: SWAP2
00000587: SWAP1
00000588: SWAP6
00000589: PUSH1 0x20
0000058b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005a0: PUSH2 0x05aa
000005a3: DUP3
000005a4: DUP5
000005a5: ADD
000005a6: PUSH2 0x282a
000005a9: JUMP
000005aa: JUMPDEST
000005ab: AND
000005ac: SWAP8
000005ad: PUSH1 0x01
000005af: SWAP3
000005b0: DUP4
000005b1: DUP11
000005b2: EQ
000005b3: PUSH2 0x0766
000005b6: JUMPI
000005b7: DUP10
000005b8: PUSH2 0x05da
000005bb: JUMPI
000005bc: JUMPDEST
000005bd: POP
000005be: POP
000005bf: POP
000005c0: POP
000005c1: PUSH1 0x01
000005c3: SWAP3
000005c4: SWAP4
000005c5: SWAP5
000005c6: SWAP6
000005c7: POP
000005c8: SWAP1
000005c9: PUSH2 0x05d1
000005cc: SWAP2
000005cd: PUSH2 0x2409
000005d0: JUMP
000005d1: JUMPDEST
000005d2: SWAP4
000005d3: SWAP3
000005d4: SWAP2
000005d5: ADD
000005d6: PUSH2 0x01be
000005d9: JUMP
000005da: JUMPDEST
000005db: DUP1
000005dc: PUSH1 0x40
000005de: PUSH2 0x05e8
000005e1: SWAP3
000005e2: ADD
000005e3: SWAP1
000005e4: PUSH2 0x284b
000005e7: JUMP
000005e8: JUMPDEST
000005e9: SWAP2
000005ea: DUP11
000005eb: EXTCODESIZE
000005ec: ISZERO
000005ed: PUSH2 0x019c
000005f0: JUMPI
000005f1: SWAP3
000005f2: SWAP4
000005f3: SWAP2
000005f4: SWAP1
000005f5: PUSH1 0x40
000005f7: MLOAD
000005f8: SWAP5
000005f9: DUP6
000005fa: SWAP4
000005fb: PUSH32 0x2dd8113300000000000000000000000000000000000000000000000000000000
0000061c: DUP6
0000061d: MSTORE
0000061e: DUP9
0000061f: PUSH1 0x44
00000621: DUP7
00000622: ADD
00000623: PUSH1 0x40
00000625: PUSH1 0x04
00000627: DUP9
00000628: ADD
00000629: MSTORE
0000062a: MSTORE
0000062b: PUSH1 0x64
0000062d: SWAP1
0000062e: DUP2
0000062f: DUP7
00000630: ADD
00000631: SWAP2
00000632: DUP11
00000633: PUSH1 0x05
00000635: SHL
00000636: DUP8
00000637: ADD
00000638: ADD
00000639: SWAP7
0000063a: DUP1
0000063b: SWAP4
0000063c: PUSH1 0x00
0000063e: SWAP2
0000063f: JUMPDEST
00000640: DUP13
00000641: DUP4
00000642: LT
00000643: PUSH2 0x06e6
00000646: JUMPI
00000647: POP
00000648: POP
00000649: POP
0000064a: POP
0000064b: POP
0000064c: POP
0000064d: DUP4
0000064e: DUP4
0000064f: SWAP3
00000650: PUSH2 0x0684
00000653: SWAP3
00000654: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000675: DUP6
00000676: PUSH1 0x00
00000678: SWAP9
00000679: SUB
0000067a: ADD
0000067b: PUSH1 0x24
0000067d: DUP7
0000067e: ADD
0000067f: MSTORE
00000680: PUSH2 0x2709
00000683: JUMP
00000684: JUMPDEST
00000685: SUB
00000686: DUP2
00000687: DUP11
00000688: GAS
00000689: STATICCALL
0000068a: SWAP1
0000068b: DUP2
0000068c: PUSH2 0x06d7
0000068f: JUMPI
00000690: JUMPDEST
00000691: POP
00000692: PUSH2 0x06c6
00000695: JUMPI
00000696: PUSH1 0x24
00000698: DUP7
00000699: PUSH1 0x40
0000069b: MLOAD
0000069c: SWAP1
0000069d: PUSH32 0x86a9f75000000000000000000000000000000000000000000000000000000000
000006be: DUP3
000006bf: MSTORE
000006c0: PUSH1 0x04
000006c2: DUP3
000006c3: ADD
000006c4: MSTORE
000006c5: REVERT
000006c6: JUMPDEST
000006c7: SWAP4
000006c8: SWAP5
000006c9: POP
000006ca: DUP5
000006cb: SWAP4
000006cc: PUSH2 0x05d1
000006cf: PUSH1 0x01
000006d1: DUP10
000006d2: DUP1
000006d3: PUSH2 0x05bc
000006d6: JUMP
000006d7: JUMPDEST
000006d8: PUSH2 0x06e0
000006db: SWAP1
000006dc: PUSH2 0x21bd
000006df: JUMP
000006e0: JUMPDEST
000006e1: DUP9
000006e2: PUSH2 0x0690
000006e5: JUMP
000006e6: JUMPDEST
000006e7: SWAP2
000006e8: SWAP4
000006e9: SWAP6
000006ea: SWAP7
000006eb: SWAP8
000006ec: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff9c
0000070d: SWAP1
0000070e: DUP11
0000070f: SWAP3
00000710: SWAP5
00000711: SWAP7
00000712: SWAP11
00000713: SUB
00000714: ADD
00000715: DUP7
00000716: MSTORE
00000717: DUP9
00000718: CALLDATALOAD
00000719: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffee1
0000073a: DUP4
0000073b: CALLDATASIZE
0000073c: SUB
0000073d: ADD
0000073e: DUP2
0000073f: SLT
00000740: ISZERO
00000741: PUSH2 0x019c
00000744: JUMPI
00000745: DUP4
00000746: PUSH2 0x0753
00000749: DUP8
0000074a: SWAP4
0000074b: DUP6
0000074c: DUP4
0000074d: SWAP5
0000074e: ADD
0000074f: PUSH2 0x28ec
00000752: JUMP
00000753: JUMPDEST
00000754: SWAP11
00000755: ADD
00000756: SWAP7
00000757: ADD
00000758: SWAP4
00000759: ADD
0000075a: SWAP1
0000075b: SWAP2
0000075c: DUP10
0000075d: SWAP8
0000075e: SWAP7
0000075f: SWAP6
00000760: SWAP5
00000761: SWAP3
00000762: PUSH2 0x063f
00000765: JUMP
00000766: JUMPDEST
00000767: PUSH1 0x64
00000769: DUP4
0000076a: PUSH1 0x40
0000076c: MLOAD
0000076d: SWAP1
0000076e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000078f: DUP3
00000790: MSTORE
00000791: PUSH1 0x04
00000793: DUP3
00000794: ADD
00000795: MSTORE
00000796: PUSH1 0x17
00000798: PUSH1 0x24
0000079a: DUP3
0000079b: ADD
0000079c: MSTORE
0000079d: PUSH32 0x4141393620696e76616c69642061676772656761746f72000000000000000000
000007be: PUSH1 0x44
000007c0: DUP3
000007c1: ADD
000007c2: MSTORE
000007c3: REVERT
000007c4: JUMPDEST
000007c5: CALLVALUE
000007c6: PUSH2 0x019c
000007c9: JUMPI
000007ca: PUSH1 0x20
000007cc: DUP1
000007cd: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000007ee: CALLDATASIZE
000007ef: ADD
000007f0: SLT
000007f1: PUSH2 0x019c
000007f4: JUMPI
000007f5: PUSH2 0x07fc
000007f8: PUSH2 0x229f
000007fb: JUMP
000007fc: JUMPDEST
000007fd: CALLER
000007fe: PUSH1 0x00
00000800: MSTORE
00000801: PUSH1 0x00
00000803: DUP3
00000804: MSTORE
00000805: PUSH1 0x01
00000807: PUSH1 0x40
00000809: PUSH1 0x00
0000080b: KECCAK256
0000080c: ADD
0000080d: SWAP1
0000080e: DUP2
0000080f: SLOAD
00000810: SWAP2
00000811: PUSH14 0xffffffffffffffffffffffffffff
00000820: DUP4
00000821: PUSH1 0x08
00000823: SHR
00000824: AND
00000825: SWAP3
00000826: DUP4
00000827: ISZERO
00000828: PUSH2 0x0a0a
0000082b: JUMPI
0000082c: PUSH6 0xffffffffffff
00000833: DUP2
00000834: PUSH1 0x98
00000836: SHR
00000837: AND
00000838: DUP1
00000839: ISZERO
0000083a: PUSH2 0x09ac
0000083d: JUMPI
0000083e: TIMESTAMP
0000083f: LT
00000840: PUSH2 0x094e
00000843: JUMPI
00000844: PUSH1 0x00
00000846: SWAP4
00000847: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000085c: DUP6
0000085d: SWAP5
0000085e: DUP6
0000085f: SWAP5
00000860: PUSH32 0xffffffffffffff000000000000000000000000000000000000000000000000ff
00000881: DUP7
00000882: SWAP6
00000883: AND
00000884: SWAP1
00000885: SSTORE
00000886: PUSH1 0x40
00000888: MLOAD
00000889: PUSH32 0xb7c918e0e249f999e965cafeb6c664271b3f4317d296461500e71da39f0cbda3
000008aa: CALLER
000008ab: SWAP2
000008ac: DUP1
000008ad: PUSH2 0x08da
000008b0: DUP8
000008b1: DUP7
000008b2: DUP4
000008b3: PUSH1 0x20
000008b5: SWAP1
000008b6: SWAP4
000008b7: SWAP3
000008b8: SWAP2
000008b9: SWAP4
000008ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008cf: PUSH1 0x40
000008d1: DUP3
000008d2: ADD
000008d3: SWAP6
000008d4: AND
000008d5: DUP2
000008d6: MSTORE
000008d7: ADD
000008d8: MSTORE
000008d9: JUMP
000008da: JUMPDEST
000008db: SUB
000008dc: SWAP1
000008dd: LOG2
000008de: AND
000008df: GAS
000008e0: CALL
000008e1: PUSH2 0x08e8
000008e4: PUSH2 0x2450
000008e7: JUMP
000008e8: JUMPDEST
000008e9: POP
000008ea: ISZERO
000008eb: PUSH2 0x08f0
000008ee: JUMPI
000008ef: STOP
000008f0: JUMPDEST
000008f1: PUSH1 0x64
000008f3: SWAP1
000008f4: PUSH1 0x40
000008f6: MLOAD
000008f7: SWAP1
000008f8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000919: DUP3
0000091a: MSTORE
0000091b: PUSH1 0x04
0000091d: DUP3
0000091e: ADD
0000091f: MSTORE
00000920: PUSH1 0x18
00000922: PUSH1 0x24
00000924: DUP3
00000925: ADD
00000926: MSTORE
00000927: PUSH32 0x6661696c656420746f207769746864726177207374616b650000000000000000
00000948: PUSH1 0x44
0000094a: DUP3
0000094b: ADD
0000094c: MSTORE
0000094d: REVERT
0000094e: JUMPDEST
0000094f: PUSH1 0x64
00000951: DUP6
00000952: PUSH1 0x40
00000954: MLOAD
00000955: SWAP1
00000956: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000977: DUP3
00000978: MSTORE
00000979: PUSH1 0x04
0000097b: DUP3
0000097c: ADD
0000097d: MSTORE
0000097e: PUSH1 0x1b
00000980: PUSH1 0x24
00000982: DUP3
00000983: ADD
00000984: MSTORE
00000985: PUSH32 0x5374616b65207769746864726177616c206973206e6f74206475650000000000
000009a6: PUSH1 0x44
000009a8: DUP3
000009a9: ADD
000009aa: MSTORE
000009ab: REVERT
000009ac: JUMPDEST
000009ad: PUSH1 0x64
000009af: DUP7
000009b0: PUSH1 0x40
000009b2: MLOAD
000009b3: SWAP1
000009b4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009d5: DUP3
000009d6: MSTORE
000009d7: PUSH1 0x04
000009d9: DUP3
000009da: ADD
000009db: MSTORE
000009dc: PUSH1 0x1d
000009de: PUSH1 0x24
000009e0: DUP3
000009e1: ADD
000009e2: MSTORE
000009e3: PUSH32 0x6d7573742063616c6c20756e6c6f636b5374616b652829206669727374000000
00000a04: PUSH1 0x44
00000a06: DUP3
00000a07: ADD
00000a08: MSTORE
00000a09: REVERT
00000a0a: JUMPDEST
00000a0b: PUSH1 0x64
00000a0d: DUP6
00000a0e: PUSH1 0x40
00000a10: MLOAD
00000a11: SWAP1
00000a12: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a33: DUP3
00000a34: MSTORE
00000a35: PUSH1 0x04
00000a37: DUP3
00000a38: ADD
00000a39: MSTORE
00000a3a: PUSH1 0x14
00000a3c: PUSH1 0x24
00000a3e: DUP3
00000a3f: ADD
00000a40: MSTORE
00000a41: PUSH32 0x4e6f207374616b6520746f207769746864726177000000000000000000000000
00000a62: PUSH1 0x44
00000a64: DUP3
00000a65: ADD
00000a66: MSTORE
00000a67: REVERT
00000a68: JUMPDEST
00000a69: CALLVALUE
00000a6a: PUSH2 0x019c
00000a6d: JUMPI
00000a6e: PUSH1 0x00
00000a70: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000a91: CALLDATASIZE
00000a92: ADD
00000a93: SLT
00000a94: PUSH2 0x019c
00000a97: JUMPI
00000a98: CALLER
00000a99: PUSH1 0x00
00000a9b: MSTORE
00000a9c: PUSH1 0x00
00000a9e: PUSH1 0x20
00000aa0: MSTORE
00000aa1: PUSH1 0x01
00000aa3: PUSH1 0x40
00000aa5: PUSH1 0x00
00000aa7: KECCAK256
00000aa8: ADD
00000aa9: DUP1
00000aaa: SLOAD
00000aab: PUSH4 0xffffffff
00000ab0: DUP2
00000ab1: PUSH1 0x78
00000ab3: SHR
00000ab4: AND
00000ab5: SWAP1
00000ab6: DUP2
00000ab7: ISZERO
00000ab8: PUSH2 0x0bdc
00000abb: JUMPI
00000abc: PUSH1 0xff
00000abe: AND
00000abf: ISZERO
00000ac0: PUSH2 0x0b7e
00000ac3: JUMPI
00000ac4: PUSH6 0xffffffffffff
00000acb: SWAP1
00000acc: DUP2
00000acd: TIMESTAMP
00000ace: AND
00000acf: ADD
00000ad0: SWAP2
00000ad1: DUP2
00000ad2: DUP4
00000ad3: GT
00000ad4: PUSH2 0x0b4f
00000ad7: JUMPI
00000ad8: DUP1
00000ad9: SLOAD
00000ada: PUSH32 0xffffffffffffff000000000000ffffffffffffffffffffffffffffffffffff00
00000afb: AND
00000afc: PUSH25 0xffffffffffff00000000000000000000000000000000000000
00000b16: PUSH1 0x98
00000b18: DUP6
00000b19: SWAP1
00000b1a: SHL
00000b1b: AND
00000b1c: OR
00000b1d: SWAP1
00000b1e: SSTORE
00000b1f: PUSH1 0x40
00000b21: MLOAD
00000b22: SWAP2
00000b23: AND
00000b24: DUP2
00000b25: MSTORE
00000b26: CALLER
00000b27: SWAP1
00000b28: PUSH32 0xfa9b3c14cc825c412c9ed81b3ba365a5b459439403f18829e572ed53a4180f0a
00000b49: SWAP1
00000b4a: PUSH1 0x20
00000b4c: SWAP1
00000b4d: LOG2
00000b4e: STOP
00000b4f: JUMPDEST
00000b50: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000b71: PUSH1 0x00
00000b73: MSTORE
00000b74: PUSH1 0x11
00000b76: PUSH1 0x04
00000b78: MSTORE
00000b79: PUSH1 0x24
00000b7b: PUSH1 0x00
00000b7d: REVERT
00000b7e: JUMPDEST
00000b7f: PUSH1 0x64
00000b81: PUSH1 0x40
00000b83: MLOAD
00000b84: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ba5: DUP2
00000ba6: MSTORE
00000ba7: PUSH1 0x20
00000ba9: PUSH1 0x04
00000bab: DUP3
00000bac: ADD
00000bad: MSTORE
00000bae: PUSH1 0x11
00000bb0: PUSH1 0x24
00000bb2: DUP3
00000bb3: ADD
00000bb4: MSTORE
00000bb5: PUSH32 0x616c726561647920756e7374616b696e67000000000000000000000000000000
00000bd6: PUSH1 0x44
00000bd8: DUP3
00000bd9: ADD
00000bda: MSTORE
00000bdb: REVERT
00000bdc: JUMPDEST
00000bdd: PUSH1 0x64
00000bdf: PUSH1 0x40
00000be1: MLOAD
00000be2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c03: DUP2
00000c04: MSTORE
00000c05: PUSH1 0x20
00000c07: PUSH1 0x04
00000c09: DUP3
00000c0a: ADD
00000c0b: MSTORE
00000c0c: PUSH1 0x0a
00000c0e: PUSH1 0x24
00000c10: DUP3
00000c11: ADD
00000c12: MSTORE
00000c13: PUSH32 0x6e6f74207374616b656400000000000000000000000000000000000000000000
00000c34: PUSH1 0x44
00000c36: DUP3
00000c37: ADD
00000c38: MSTORE
00000c39: REVERT
00000c3a: JUMPDEST
00000c3b: PUSH1 0x20
00000c3d: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000c5e: CALLDATASIZE
00000c5f: ADD
00000c60: SLT
00000c61: PUSH2 0x019c
00000c64: JUMPI
00000c65: PUSH2 0x0022
00000c68: PUSH2 0x0c6f
00000c6b: PUSH2 0x229f
00000c6e: JUMP
00000c6f: JUMPDEST
00000c70: PUSH2 0x2748
00000c73: JUMP
00000c74: JUMPDEST
00000c75: CALLVALUE
00000c76: PUSH2 0x019c
00000c79: JUMPI
00000c7a: PUSH1 0x20
00000c7c: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000c9d: CALLDATASIZE
00000c9e: ADD
00000c9f: SLT
00000ca0: PUSH2 0x019c
00000ca3: JUMPI
00000ca4: PUSH1 0x04
00000ca6: CALLDATALOAD
00000ca7: PUSH8 0xffffffffffffffff
00000cb0: DUP2
00000cb1: GT
00000cb2: PUSH2 0x019c
00000cb5: JUMPI
00000cb6: PUSH1 0x20
00000cb8: PUSH2 0x0cc8
00000cbb: PUSH2 0x0d1b
00000cbe: SWAP3
00000cbf: CALLDATASIZE
00000cc0: SWAP1
00000cc1: PUSH1 0x04
00000cc3: ADD
00000cc4: PUSH2 0x22c2
00000cc7: JUMP
00000cc8: JUMPDEST
00000cc9: SWAP2
00000cca: SWAP1
00000ccb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce0: SWAP3
00000ce1: PUSH1 0x40
00000ce3: MLOAD
00000ce4: SWAP5
00000ce5: DUP6
00000ce6: SWAP3
00000ce7: DUP4
00000ce8: SWAP3
00000ce9: PUSH32 0x570e1a3600000000000000000000000000000000000000000000000000000000
00000d0a: DUP5
00000d0b: MSTORE
00000d0c: DUP6
00000d0d: PUSH1 0x04
00000d0f: DUP6
00000d10: ADD
00000d11: MSTORE
00000d12: PUSH1 0x24
00000d14: DUP5
00000d15: ADD
00000d16: SWAP2
00000d17: PUSH2 0x2709
00000d1a: JUMP
00000d1b: JUMPDEST
00000d1c: SUB
00000d1d: DUP2
00000d1e: PUSH1 0x00
00000d20: DUP6
00000d21: PUSH32 0x000000000000000000000000efc2c1444ebcc4db75e7613d20c6a62ff67a167c
00000d42: AND
00000d43: GAS
00000d44: CALL
00000d45: SWAP1
00000d46: DUP2
00000d47: ISZERO
00000d48: PUSH2 0x0db7
00000d4b: JUMPI
00000d4c: PUSH1 0x24
00000d4e: SWAP3
00000d4f: PUSH1 0x00
00000d51: SWAP3
00000d52: PUSH2 0x0d86
00000d55: JUMPI
00000d56: JUMPDEST
00000d57: POP
00000d58: PUSH1 0x40
00000d5a: MLOAD
00000d5b: SWAP2
00000d5c: PUSH32 0x6ca7b80600000000000000000000000000000000000000000000000000000000
00000d7d: DUP4
00000d7e: MSTORE
00000d7f: AND
00000d80: PUSH1 0x04
00000d82: DUP3
00000d83: ADD
00000d84: MSTORE
00000d85: REVERT
00000d86: JUMPDEST
00000d87: PUSH2 0x0da9
00000d8a: SWAP2
00000d8b: SWAP3
00000d8c: POP
00000d8d: PUSH1 0x20
00000d8f: RETURNDATASIZE
00000d90: PUSH1 0x20
00000d92: GT
00000d93: PUSH2 0x0db0
00000d96: JUMPI
00000d97: JUMPDEST
00000d98: PUSH2 0x0da1
00000d9b: DUP2
00000d9c: DUP4
00000d9d: PUSH2 0x21ed
00000da0: JUMP
00000da1: JUMPDEST
00000da2: DUP2
00000da3: ADD
00000da4: SWAP1
00000da5: PUSH2 0x26dd
00000da8: JUMP
00000da9: JUMPDEST
00000daa: SWAP1
00000dab: DUP4
00000dac: PUSH2 0x0d56
00000daf: JUMP
00000db0: JUMPDEST
00000db1: POP
00000db2: RETURNDATASIZE
00000db3: PUSH2 0x0d97
00000db6: JUMP
00000db7: JUMPDEST
00000db8: PUSH1 0x40
00000dba: MLOAD
00000dbb: RETURNDATASIZE
00000dbc: PUSH1 0x00
00000dbe: DUP3
00000dbf: RETURNDATACOPY
00000dc0: RETURNDATASIZE
00000dc1: SWAP1
00000dc2: REVERT
00000dc3: JUMPDEST
00000dc4: CALLVALUE
00000dc5: PUSH2 0x019c
00000dc8: JUMPI
00000dc9: PUSH1 0x40
00000dcb: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000dec: CALLDATASIZE
00000ded: ADD
00000dee: SLT
00000def: PUSH2 0x019c
00000df2: JUMPI
00000df3: PUSH2 0x0dfa
00000df6: PUSH2 0x229f
00000df9: JUMP
00000dfa: JUMPDEST
00000dfb: PUSH1 0x24
00000dfd: CALLDATALOAD
00000dfe: PUSH8 0xffffffffffffffff
00000e07: DUP2
00000e08: GT
00000e09: PUSH2 0x019c
00000e0c: JUMPI
00000e0d: PUSH1 0x00
00000e0f: SWAP2
00000e10: PUSH2 0x0e1e
00000e13: DUP4
00000e14: SWAP3
00000e15: CALLDATASIZE
00000e16: SWAP1
00000e17: PUSH1 0x04
00000e19: ADD
00000e1a: PUSH2 0x22c2
00000e1d: JUMP
00000e1e: JUMPDEST
00000e1f: SWAP1
00000e20: DUP2
00000e21: PUSH1 0x40
00000e23: MLOAD
00000e24: SWAP3
00000e25: DUP4
00000e26: SWAP3
00000e27: DUP4
00000e28: CALLDATACOPY
00000e29: DUP2
00000e2a: ADD
00000e2b: DUP5
00000e2c: DUP2
00000e2d: MSTORE
00000e2e: SUB
00000e2f: SWAP2
00000e30: GAS
00000e31: DELEGATECALL
00000e32: PUSH2 0x0e39
00000e35: PUSH2 0x2450
00000e38: JUMP
00000e39: JUMPDEST
00000e3a: SWAP1
00000e3b: PUSH2 0x0e7e
00000e3e: PUSH1 0x40
00000e40: MLOAD
00000e41: SWAP3
00000e42: DUP4
00000e43: SWAP3
00000e44: PUSH32 0x9941055400000000000000000000000000000000000000000000000000000000
00000e65: DUP5
00000e66: MSTORE
00000e67: ISZERO
00000e68: ISZERO
00000e69: PUSH1 0x04
00000e6b: DUP5
00000e6c: ADD
00000e6d: MSTORE
00000e6e: PUSH1 0x40
00000e70: PUSH1 0x24
00000e72: DUP5
00000e73: ADD
00000e74: MSTORE
00000e75: PUSH1 0x44
00000e77: DUP4
00000e78: ADD
00000e79: SWAP1
00000e7a: PUSH2 0x23c6
00000e7d: JUMP
00000e7e: JUMPDEST
00000e7f: SUB
00000e80: SWAP1
00000e81: REVERT
00000e82: JUMPDEST
00000e83: CALLVALUE
00000e84: PUSH2 0x019c
00000e87: JUMPI
00000e88: PUSH2 0x0e90
00000e8b: CALLDATASIZE
00000e8c: PUSH2 0x2317
00000e8f: JUMP
00000e90: JUMPDEST
00000e91: PUSH2 0x0e9b
00000e94: SWAP3
00000e95: SWAP2
00000e96: SWAP3
00000e97: PUSH2 0x29bd
00000e9a: JUMP
00000e9b: JUMPDEST
00000e9c: PUSH2 0x0ea4
00000e9f: DUP4
00000ea0: PUSH2 0x2588
00000ea3: JUMP
00000ea4: JUMPDEST
00000ea5: PUSH1 0x00
00000ea7: JUMPDEST
00000ea8: DUP5
00000ea9: DUP2
00000eaa: LT
00000eab: PUSH2 0x0f1c
00000eae: JUMPI
00000eaf: POP
00000eb0: PUSH1 0x00
00000eb2: SWAP3
00000eb3: PUSH32 0xbb47ee3e183a558b1a2ff0874b079f3fc5478b7454eacf2bfc5af2ff5878f972
00000ed4: PUSH1 0x00
00000ed6: DUP1
00000ed7: LOG1
00000ed8: PUSH1 0x00
00000eda: SWAP2
00000edb: JUMPDEST
00000edc: DUP6
00000edd: DUP4
00000ede: LT
00000edf: PUSH2 0x0eec
00000ee2: JUMPI
00000ee3: PUSH2 0x0240
00000ee6: DUP6
00000ee7: DUP6
00000ee8: PUSH2 0x3ba7
00000eeb: JUMP
00000eec: JUMPDEST
00000eed: SWAP1
00000eee: SWAP2
00000eef: SWAP4
00000ef0: PUSH1 0x01
00000ef2: SWAP1
00000ef3: PUSH2 0x0f12
00000ef6: PUSH2 0x0f00
00000ef9: DUP8
00000efa: DUP10
00000efb: DUP8
00000efc: PUSH2 0x269d
00000eff: JUMP
00000f00: JUMPDEST
00000f01: PUSH2 0x0f0a
00000f04: DUP9
00000f05: DUP7
00000f06: PUSH2 0x265a
00000f09: JUMP
00000f0a: JUMPDEST
00000f0b: MLOAD
00000f0c: SWAP1
00000f0d: DUP9
00000f0e: PUSH2 0x3597
00000f11: JUMP
00000f12: JUMPDEST
00000f13: ADD
00000f14: SWAP5
00000f15: ADD
00000f16: SWAP2
00000f17: SWAP1
00000f18: PUSH2 0x0edb
00000f1b: JUMP
00000f1c: JUMPDEST
00000f1d: PUSH2 0x0f47
00000f20: PUSH2 0x0f40
00000f23: PUSH2 0x0f2e
00000f26: DUP4
00000f27: DUP6
00000f28: SWAP8
00000f29: SWAP6
00000f2a: PUSH2 0x265a
00000f2d: JUMP
00000f2e: JUMPDEST
00000f2f: MLOAD
00000f30: PUSH2 0x0f3a
00000f33: DUP5
00000f34: DUP10
00000f35: DUP8
00000f36: PUSH2 0x269d
00000f39: JUMP
00000f3a: JUMPDEST
00000f3b: DUP5
00000f3c: PUSH2 0x29f6
00000f3f: JUMP
00000f40: JUMPDEST
00000f41: SWAP2
00000f42: SWAP1
00000f43: PUSH2 0x3dd7
00000f46: JUMP
00000f47: JUMPDEST
00000f48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f5d: SWAP3
00000f5e: SWAP2
00000f5f: DUP4
00000f60: AND
00000f61: PUSH2 0x10db
00000f64: JUMPI
00000f65: PUSH2 0x1076
00000f68: JUMPI
00000f69: PUSH2 0x0f71
00000f6c: SWAP1
00000f6d: PUSH2 0x3dd7
00000f70: JUMP
00000f71: JUMPDEST
00000f72: SWAP2
00000f73: AND
00000f74: PUSH2 0x1011
00000f77: JUMPI
00000f78: PUSH2 0x0f86
00000f7b: JUMPI
00000f7c: PUSH1 0x01
00000f7e: ADD
00000f7f: SWAP3
00000f80: SWAP1
00000f81: SWAP3
00000f82: PUSH2 0x0ea7
00000f85: JUMP
00000f86: JUMPDEST
00000f87: PUSH1 0xa4
00000f89: SWAP1
00000f8a: PUSH1 0x40
00000f8c: MLOAD
00000f8d: SWAP1
00000f8e: PUSH32 0x220266b600000000000000000000000000000000000000000000000000000000
00000faf: DUP3
00000fb0: MSTORE
00000fb1: PUSH1 0x04
00000fb3: DUP3
00000fb4: ADD
00000fb5: MSTORE
00000fb6: PUSH1 0x40
00000fb8: PUSH1 0x24
00000fba: DUP3
00000fbb: ADD
00000fbc: MSTORE
00000fbd: PUSH1 0x21
00000fbf: PUSH1 0x44
00000fc1: DUP3
00000fc2: ADD
00000fc3: MSTORE
00000fc4: PUSH32 0x41413332207061796d61737465722065787069726564206f72206e6f74206475
00000fe5: PUSH1 0x64
00000fe7: DUP3
00000fe8: ADD
00000fe9: MSTORE
00000fea: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000
0000100b: PUSH1 0x84
0000100d: DUP3
0000100e: ADD
0000100f: MSTORE
00001010: REVERT
00001011: JUMPDEST
00001012: PUSH1 0x84
00001014: DUP3
00001015: PUSH1 0x40
00001017: MLOAD
00001018: SWAP1
00001019: PUSH32 0x220266b600000000000000000000000000000000000000000000000000000000
0000103a: DUP3
0000103b: MSTORE
0000103c: PUSH1 0x04
0000103e: DUP3
0000103f: ADD
00001040: MSTORE
00001041: PUSH1 0x40
00001043: PUSH1 0x24
00001045: DUP3
00001046: ADD
00001047: MSTORE
00001048: PUSH1 0x14
0000104a: PUSH1 0x44
0000104c: DUP3
0000104d: ADD
0000104e: MSTORE
0000104f: PUSH32 0x41413334207369676e6174757265206572726f72000000000000000000000000
00001070: PUSH1 0x64
00001072: DUP3
00001073: ADD
00001074: MSTORE
00001075: REVERT
00001076: JUMPDEST
00001077: PUSH1 0x84
00001079: DUP4
0000107a: PUSH1 0x40
0000107c: MLOAD
0000107d: SWAP1
0000107e: PUSH32 0x220266b600000000000000000000000000000000000000000000000000000000
0000109f: DUP3
000010a0: MSTORE
000010a1: PUSH1 0x04
000010a3: DUP3
000010a4: ADD
000010a5: MSTORE
000010a6: PUSH1 0x40
000010a8: PUSH1 0x24
000010aa: DUP3
000010ab: ADD
000010ac: MSTORE
000010ad: PUSH1 0x17
000010af: PUSH1 0x44
000010b1: DUP3
000010b2: ADD
000010b3: MSTORE
000010b4: PUSH32 0x414132322065787069726564206f72206e6f7420647565000000000000000000
000010d5: PUSH1 0x64
000010d7: DUP3
000010d8: ADD
000010d9: MSTORE
000010da: REVERT
000010db: JUMPDEST
000010dc: PUSH1 0x84
000010de: DUP5
000010df: PUSH1 0x40
000010e1: MLOAD
000010e2: SWAP1
000010e3: PUSH32 0x220266b600000000000000000000000000000000000000000000000000000000
00001104: DUP3
00001105: MSTORE
00001106: PUSH1 0x04
00001108: DUP3
00001109: ADD
0000110a: MSTORE
0000110b: PUSH1 0x40
0000110d: PUSH1 0x24
0000110f: DUP3
00001110: ADD
00001111: MSTORE
00001112: PUSH1 0x14
00001114: PUSH1 0x44
00001116: DUP3
00001117: ADD
00001118: MSTORE
00001119: PUSH32 0x41413234207369676e6174757265206572726f72000000000000000000000000
0000113a: PUSH1 0x64
0000113c: DUP3
0000113d: ADD
0000113e: MSTORE
0000113f: REVERT
00001140: JUMPDEST
00001141: CALLVALUE
00001142: PUSH2 0x019c
00001145: JUMPI
00001146: PUSH1 0x20
00001148: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001169: CALLDATASIZE
0000116a: ADD
0000116b: SLT
0000116c: PUSH2 0x019c
0000116f: JUMPI
00001170: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001185: PUSH2 0x118c
00001188: PUSH2 0x229f
0000118b: JUMP
0000118c: JUMPDEST
0000118d: AND
0000118e: PUSH1 0x00
00001190: MSTORE
00001191: PUSH1 0x00
00001193: PUSH1 0x20
00001195: MSTORE
00001196: PUSH1 0x20
00001198: PUSH1 0x40
0000119a: PUSH1 0x00
0000119c: KECCAK256
0000119d: SLOAD
0000119e: PUSH1 0x40
000011a0: MLOAD
000011a1: SWAP1
000011a2: DUP2
000011a3: MSTORE
000011a4: RETURN
000011a5: JUMPDEST
000011a6: CALLVALUE
000011a7: PUSH2 0x019c
000011aa: JUMPI
000011ab: PUSH1 0x20
000011ad: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000011ce: CALLDATASIZE
000011cf: ADD
000011d0: SLT
000011d1: PUSH2 0x019c
000011d4: JUMPI
000011d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011ea: PUSH2 0x11f1
000011ed: PUSH2 0x229f
000011f0: JUMP
000011f1: JUMPDEST
000011f2: PUSH1 0x00
000011f4: PUSH1 0x80
000011f6: PUSH1 0x40
000011f8: MLOAD
000011f9: PUSH2 0x1201
000011fc: DUP2
000011fd: PUSH2 0x2155
00001200: JUMP
00001201: JUMPDEST
00001202: DUP3
00001203: DUP2
00001204: MSTORE
00001205: DUP3
00001206: PUSH1 0x20
00001208: DUP3
00001209: ADD
0000120a: MSTORE
0000120b: DUP3
0000120c: PUSH1 0x40
0000120e: DUP3
0000120f: ADD
00001210: MSTORE
00001211: DUP3
00001212: PUSH1 0x60
00001214: DUP3
00001215: ADD
00001216: MSTORE
00001217: ADD
00001218: MSTORE
00001219: AND
0000121a: PUSH1 0x00
0000121c: MSTORE
0000121d: PUSH1 0x00
0000121f: PUSH1 0x20
00001221: MSTORE
00001222: PUSH1 0xa0
00001224: PUSH1 0x40
00001226: PUSH1 0x00
00001228: KECCAK256
00001229: PUSH1 0x80
0000122b: PUSH1 0x40
0000122d: MLOAD
0000122e: PUSH2 0x1236
00001231: DUP2
00001232: PUSH2 0x2155
00001235: JUMP
00001236: JUMPDEST
00001237: PUSH1 0x01
00001239: DUP4
0000123a: SLOAD
0000123b: SWAP4
0000123c: DUP5
0000123d: DUP4
0000123e: MSTORE
0000123f: ADD
00001240: SLOAD
00001241: SWAP1
00001242: PUSH1 0x20
00001244: DUP2
00001245: ADD
00001246: SWAP1
00001247: PUSH1 0xff
00001249: DUP4
0000124a: AND
0000124b: ISZERO
0000124c: ISZERO
0000124d: DUP3
0000124e: MSTORE
0000124f: PUSH14 0xffffffffffffffffffffffffffff
0000125e: PUSH1 0x40
00001260: DUP3
00001261: ADD
00001262: DUP2
00001263: DUP6
00001264: PUSH1 0x08
00001266: SHR
00001267: AND
00001268: DUP2
00001269: MSTORE
0000126a: PUSH4 0xffffffff
0000126f: SWAP4
00001270: PUSH1 0x60
00001272: DUP5
00001273: ADD
00001274: SWAP4
00001275: DUP6
00001276: DUP8
00001277: PUSH1 0x78
00001279: SHR
0000127a: AND
0000127b: DUP6
0000127c: MSTORE
0000127d: PUSH6 0xffffffffffff
00001284: SWAP8
00001285: DUP9
00001286: SWAP2
00001287: ADD
00001288: SWAP7
00001289: PUSH1 0x98
0000128b: SHR
0000128c: AND
0000128d: DUP7
0000128e: MSTORE
0000128f: PUSH1 0x40
00001291: MLOAD
00001292: SWAP8
00001293: DUP9
00001294: MSTORE
00001295: MLOAD
00001296: ISZERO
00001297: ISZERO
00001298: PUSH1 0x20
0000129a: DUP9
0000129b: ADD
0000129c: MSTORE
0000129d: MLOAD
0000129e: AND
0000129f: PUSH1 0x40
000012a1: DUP7
000012a2: ADD
000012a3: MSTORE
000012a4: MLOAD
000012a5: AND
000012a6: PUSH1 0x60
000012a8: DUP5
000012a9: ADD
000012aa: MSTORE
000012ab: MLOAD
000012ac: AND
000012ad: PUSH1 0x80
000012af: DUP3
000012b0: ADD
000012b1: MSTORE
000012b2: RETURN
000012b3: JUMPDEST
000012b4: CALLVALUE
000012b5: PUSH2 0x019c
000012b8: JUMPI
000012b9: PUSH1 0x40
000012bb: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000012dc: CALLDATASIZE
000012dd: ADD
000012de: SLT
000012df: PUSH2 0x019c
000012e2: JUMPI
000012e3: PUSH1 0x20
000012e5: PUSH2 0x12ec
000012e8: PUSH2 0x229f
000012eb: JUMP
000012ec: JUMPDEST
000012ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001302: PUSH2 0x1309
00001305: PUSH2 0x22f0
00001308: JUMP
00001309: JUMPDEST
0000130a: SWAP2
0000130b: AND
0000130c: PUSH1 0x00
0000130e: MSTORE
0000130f: PUSH1 0x01
00001311: DUP3
00001312: MSTORE
00001313: PUSH1 0x40
00001315: PUSH1 0x00
00001317: KECCAK256
00001318: PUSH24 0xffffffffffffffffffffffffffffffffffffffffffffffff
00001331: DUP3
00001332: AND
00001333: PUSH1 0x00
00001335: MSTORE
00001336: DUP3
00001337: MSTORE
00001338: PUSH1 0x40
0000133a: PUSH1 0x00
0000133c: KECCAK256
0000133d: SLOAD
0000133e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000
0000135f: PUSH1 0x40
00001361: MLOAD
00001362: SWAP3
00001363: PUSH1 0x40
00001365: SHL
00001366: AND
00001367: OR
00001368: DUP2
00001369: MSTORE
0000136a: RETURN
0000136b: JUMPDEST
0000136c: CALLVALUE
0000136d: PUSH2 0x019c
00001370: JUMPI
00001371: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001392: PUSH1 0x20
00001394: DUP2
00001395: CALLDATASIZE
00001396: ADD
00001397: SLT
00001398: PUSH2 0x019c
0000139b: JUMPI
0000139c: PUSH1 0x04
0000139e: CALLDATALOAD
0000139f: SWAP1
000013a0: PUSH8 0xffffffffffffffff
000013a9: DUP3
000013aa: GT
000013ab: PUSH2 0x019c
000013ae: JUMPI
000013af: PUSH2 0x0120
000013b2: SWAP1
000013b3: DUP3
000013b4: CALLDATASIZE
000013b5: SUB
000013b6: ADD
000013b7: SLT
000013b8: PUSH2 0x019c
000013bb: JUMPI
000013bc: PUSH2 0x13c9
000013bf: PUSH1 0x20
000013c1: SWAP2
000013c2: PUSH1 0x04
000013c4: ADD
000013c5: PUSH2 0x2480
000013c8: JUMP
000013c9: JUMPDEST
000013ca: PUSH1 0x40
000013cc: MLOAD
000013cd: SWAP1
000013ce: DUP2
000013cf: MSTORE
000013d0: RETURN
000013d1: JUMPDEST
000013d2: CALLVALUE
000013d3: PUSH2 0x019c
000013d6: JUMPI
000013d7: PUSH1 0x40
000013d9: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000013fa: CALLDATASIZE
000013fb: ADD
000013fc: SLT
000013fd: PUSH2 0x019c
00001400: JUMPI
00001401: PUSH2 0x1408
00001404: PUSH2 0x229f
00001407: JUMP
00001408: JUMPDEST
00001409: PUSH1 0x24
0000140b: CALLDATALOAD
0000140c: SWAP1
0000140d: CALLER
0000140e: PUSH1 0x00
00001410: MSTORE
00001411: PUSH1 0x00
00001413: PUSH1 0x20
00001415: MSTORE
00001416: PUSH1 0x40
00001418: PUSH1 0x00
0000141a: KECCAK256
0000141b: SWAP1
0000141c: DUP2
0000141d: SLOAD
0000141e: SWAP2
0000141f: DUP3
00001420: DUP5
00001421: GT
00001422: PUSH2 0x1508
00001425: JUMPI
00001426: PUSH1 0x00
00001428: DUP1
00001429: DUP6
0000142a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000143f: DUP3
00001440: SWAP6
00001441: DUP4
00001442: SWAP6
00001443: PUSH2 0x144c
00001446: DUP5
00001447: DUP11
00001448: PUSH2 0x2443
0000144b: JUMP
0000144c: JUMPDEST
0000144d: SWAP1
0000144e: SSTORE
0000144f: PUSH1 0x40
00001451: DUP1
00001452: MLOAD
00001453: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001468: DUP4
00001469: AND
0000146a: DUP2
0000146b: MSTORE
0000146c: PUSH1 0x20
0000146e: DUP2
0000146f: ADD
00001470: DUP6
00001471: SWAP1
00001472: MSTORE
00001473: CALLER
00001474: SWAP2
00001475: PUSH32 0xd1c19fbcd4551a5edfb66d43d2e337c04837afda3482b42bdf569a8fccdae5fb
00001496: SWAP2
00001497: LOG2
00001498: AND
00001499: GAS
0000149a: CALL
0000149b: PUSH2 0x14a2
0000149e: PUSH2 0x2450
000014a1: JUMP
000014a2: JUMPDEST
000014a3: POP
000014a4: ISZERO
000014a5: PUSH2 0x14aa
000014a8: JUMPI
000014a9: STOP
000014aa: JUMPDEST
000014ab: PUSH1 0x64
000014ad: PUSH1 0x40
000014af: MLOAD
000014b0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014d1: DUP2
000014d2: MSTORE
000014d3: PUSH1 0x20
000014d5: PUSH1 0x04
000014d7: DUP3
000014d8: ADD
000014d9: MSTORE
000014da: PUSH1 0x12
000014dc: PUSH1 0x24
000014de: DUP3
000014df: ADD
000014e0: MSTORE
000014e1: PUSH32 0x6661696c656420746f2077697468647261770000000000000000000000000000
00001502: PUSH1 0x44
00001504: DUP3
00001505: ADD
00001506: MSTORE
00001507: REVERT
00001508: JUMPDEST
00001509: PUSH1 0x64
0000150b: PUSH1 0x40
0000150d: MLOAD
0000150e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000152f: DUP2
00001530: MSTORE
00001531: PUSH1 0x20
00001533: PUSH1 0x04
00001535: DUP3
00001536: ADD
00001537: MSTORE
00001538: PUSH1 0x19
0000153a: PUSH1 0x24
0000153c: DUP3
0000153d: ADD
0000153e: MSTORE
0000153f: PUSH32 0x576974686472617720616d6f756e7420746f6f206c6172676500000000000000
00001560: PUSH1 0x44
00001562: DUP3
00001563: ADD
00001564: MSTORE
00001565: REVERT
00001566: JUMPDEST
00001567: CALLVALUE
00001568: PUSH2 0x019c
0000156b: JUMPI
0000156c: PUSH1 0x40
0000156e: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000158f: CALLDATASIZE
00001590: ADD
00001591: SLT
00001592: PUSH2 0x019c
00001595: JUMPI
00001596: PUSH2 0x159d
00001599: PUSH2 0x229f
0000159c: JUMP
0000159d: JUMPDEST
0000159e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015b3: PUSH2 0x15ba
000015b6: PUSH2 0x22f0
000015b9: JUMP
000015ba: JUMPDEST
000015bb: SWAP2
000015bc: AND
000015bd: PUSH1 0x00
000015bf: MSTORE
000015c0: PUSH1 0x01
000015c2: PUSH1 0x20
000015c4: MSTORE
000015c5: PUSH24 0xffffffffffffffffffffffffffffffffffffffffffffffff
000015de: PUSH1 0x40
000015e0: PUSH1 0x00
000015e2: KECCAK256
000015e3: SWAP2
000015e4: AND
000015e5: PUSH1 0x00
000015e7: MSTORE
000015e8: PUSH1 0x20
000015ea: MSTORE
000015eb: PUSH1 0x20
000015ed: PUSH1 0x40
000015ef: PUSH1 0x00
000015f1: KECCAK256
000015f2: SLOAD
000015f3: PUSH1 0x40
000015f5: MLOAD
000015f6: SWAP1
000015f7: DUP2
000015f8: MSTORE
000015f9: RETURN
000015fa: JUMPDEST
000015fb: CALLVALUE
000015fc: PUSH2 0x019c
000015ff: JUMPI
00001600: PUSH1 0x20
00001602: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001623: CALLDATASIZE
00001624: ADD
00001625: SLT
00001626: PUSH2 0x019c
00001629: JUMPI
0000162a: PUSH1 0x04
0000162c: CALLDATALOAD
0000162d: PUSH24 0xffffffffffffffffffffffffffffffffffffffffffffffff
00001646: DUP2
00001647: AND
00001648: DUP1
00001649: SWAP2
0000164a: SUB
0000164b: PUSH2 0x019c
0000164e: JUMPI
0000164f: CALLER
00001650: PUSH1 0x00
00001652: MSTORE
00001653: PUSH1 0x01
00001655: PUSH1 0x20
00001657: MSTORE
00001658: PUSH1 0x40
0000165a: PUSH1 0x00
0000165c: KECCAK256
0000165d: SWAP1
0000165e: PUSH1 0x00
00001660: MSTORE
00001661: PUSH1 0x20
00001663: MSTORE
00001664: PUSH1 0x40
00001666: PUSH1 0x00
00001668: KECCAK256
00001669: PUSH2 0x1672
0000166c: DUP2
0000166d: SLOAD
0000166e: PUSH2 0x2416
00001671: JUMP
00001672: JUMPDEST
00001673: SWAP1
00001674: SSTORE
00001675: STOP
00001676: JUMPDEST
00001677: PUSH1 0x20
00001679: DUP1
0000167a: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000169b: CALLDATASIZE
0000169c: ADD
0000169d: SLT
0000169e: PUSH2 0x019c
000016a1: JUMPI
000016a2: PUSH1 0x04
000016a4: CALLDATALOAD
000016a5: PUSH4 0xffffffff
000016aa: SWAP2
000016ab: DUP3
000016ac: DUP3
000016ad: AND
000016ae: DUP1
000016af: SWAP3
000016b0: SUB
000016b1: PUSH2 0x019c
000016b4: JUMPI
000016b5: CALLER
000016b6: PUSH1 0x00
000016b8: MSTORE
000016b9: PUSH1 0x00
000016bb: DUP2
000016bc: MSTORE
000016bd: PUSH1 0x40
000016bf: PUSH1 0x00
000016c1: KECCAK256
000016c2: SWAP3
000016c3: DUP3
000016c4: ISZERO
000016c5: PUSH2 0x1950
000016c8: JUMPI
000016c9: PUSH1 0x01
000016cb: DUP5
000016cc: ADD
000016cd: SLOAD
000016ce: SWAP1
000016cf: DUP2
000016d0: PUSH1 0x78
000016d2: SHR
000016d3: AND
000016d4: DUP4
000016d5: LT
000016d6: PUSH2 0x18f2
000016d9: JUMPI
000016da: PUSH2 0x16f8
000016dd: PUSH14 0xffffffffffffffffffffffffffff
000016ec: SWAP2
000016ed: DUP3
000016ee: CALLVALUE
000016ef: SWAP2
000016f0: PUSH1 0x08
000016f2: SHR
000016f3: AND
000016f4: PUSH2 0x2409
000016f7: JUMP
000016f8: JUMPDEST
000016f9: SWAP4
000016fa: DUP5
000016fb: ISZERO
000016fc: PUSH2 0x1894
000016ff: JUMPI
00001700: DUP2
00001701: DUP6
00001702: GT
00001703: PUSH2 0x1836
00001706: JUMPI
00001707: SWAP1
00001708: PUSH6 0xffffffffffff
0000170f: PUSH2 0x1805
00001712: SWAP3
00001713: SLOAD
00001714: PUSH1 0x40
00001716: MLOAD
00001717: SWAP1
00001718: PUSH2 0x1720
0000171b: DUP3
0000171c: PUSH2 0x2155
0000171f: JUMP
00001720: JUMPDEST
00001721: DUP2
00001722: MSTORE
00001723: DUP5
00001724: DUP2
00001725: ADD
00001726: SWAP3
00001727: PUSH1 0x01
00001729: DUP5
0000172a: MSTORE
0000172b: PUSH1 0x40
0000172d: DUP3
0000172e: ADD
0000172f: SWAP1
00001730: DUP9
00001731: AND
00001732: DUP2
00001733: MSTORE
00001734: PUSH1 0x60
00001736: DUP3
00001737: ADD
00001738: DUP8
00001739: DUP2
0000173a: MSTORE
0000173b: PUSH1 0x01
0000173d: PUSH1 0x80
0000173f: DUP5
00001740: ADD
00001741: SWAP4
00001742: PUSH1 0x00
00001744: DUP6
00001745: MSTORE
00001746: CALLER
00001747: PUSH1 0x00
00001749: MSTORE
0000174a: PUSH1 0x00
0000174c: DUP10
0000174d: MSTORE
0000174e: PUSH1 0x40
00001750: PUSH1 0x00
00001752: KECCAK256
00001753: SWAP1
00001754: MLOAD
00001755: DUP2
00001756: SSTORE
00001757: ADD
00001758: SWAP5
00001759: MLOAD
0000175a: ISZERO
0000175b: ISZERO
0000175c: SWAP2
0000175d: PUSH32 0xffffffffffffffffffffffffff00000000000000000000000000000000000000
0000177e: PUSH1 0xff
00001780: PUSH19 0xffffffff000000000000000000000000000000
00001794: PUSH15 0xffffffffffffffffffffffffffff00
000017a4: DUP10
000017a5: SLOAD
000017a6: SWAP5
000017a7: MLOAD
000017a8: PUSH1 0x08
000017aa: SHL
000017ab: AND
000017ac: SWAP5
000017ad: MLOAD
000017ae: PUSH1 0x78
000017b0: SHL
000017b1: AND
000017b2: SWAP5
000017b3: AND
000017b4: SWAP2
000017b5: AND
000017b6: OR
000017b7: OR
000017b8: OR
000017b9: DUP4
000017ba: SSTORE
000017bb: MLOAD
000017bc: AND
000017bd: PUSH32 0xffffffffffffff000000000000ffffffffffffffffffffffffffffffffffffff
000017de: PUSH25 0xffffffffffff00000000000000000000000000000000000000
000017f8: DUP4
000017f9: SLOAD
000017fa: SWAP3
000017fb: PUSH1 0x98
000017fd: SHL
000017fe: AND
000017ff: SWAP2
00001800: AND
00001801: OR
00001802: SWAP1
00001803: SSTORE
00001804: JUMP
00001805: JUMPDEST
00001806: PUSH1 0x40
00001808: MLOAD
00001809: SWAP3
0000180a: DUP4
0000180b: MSTORE
0000180c: DUP3
0000180d: ADD
0000180e: MSTORE
0000180f: PUSH32 0xa5ae833d0bb1dcd632d98a8b70973e8516812898e19bf27b70071ebc8dc52c01
00001830: PUSH1 0x40
00001832: CALLER
00001833: SWAP3
00001834: LOG2
00001835: STOP
00001836: JUMPDEST
00001837: PUSH1 0x64
00001839: DUP4
0000183a: PUSH1 0x40
0000183c: MLOAD
0000183d: SWAP1
0000183e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000185f: DUP3
00001860: MSTORE
00001861: PUSH1 0x04
00001863: DUP3
00001864: ADD
00001865: MSTORE
00001866: PUSH1 0x0e
00001868: PUSH1 0x24
0000186a: DUP3
0000186b: ADD
0000186c: MSTORE
0000186d: PUSH32 0x7374616b65206f766572666c6f77000000000000000000000000000000000000
0000188e: PUSH1 0x44
00001890: DUP3
00001891: ADD
00001892: MSTORE
00001893: REVERT
00001894: JUMPDEST
00001895: PUSH1 0x64
00001897: DUP4
00001898: PUSH1 0x40
0000189a: MLOAD
0000189b: SWAP1
0000189c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018bd: DUP3
000018be: MSTORE
000018bf: PUSH1 0x04
000018c1: DUP3
000018c2: ADD
000018c3: MSTORE
000018c4: PUSH1 0x12
000018c6: PUSH1 0x24
000018c8: DUP3
000018c9: ADD
000018ca: MSTORE
000018cb: PUSH32 0x6e6f207374616b65207370656369666965640000000000000000000000000000
000018ec: PUSH1 0x44
000018ee: DUP3
000018ef: ADD
000018f0: MSTORE
000018f1: REVERT
000018f2: JUMPDEST
000018f3: PUSH1 0x64
000018f5: DUP3
000018f6: PUSH1 0x40
000018f8: MLOAD
000018f9: SWAP1
000018fa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000191b: DUP3
0000191c: MSTORE
0000191d: PUSH1 0x04
0000191f: DUP3
00001920: ADD
00001921: MSTORE
00001922: PUSH1 0x1c
00001924: PUSH1 0x24
00001926: DUP3
00001927: ADD
00001928: MSTORE
00001929: PUSH32 0x63616e6e6f7420646563726561736520756e7374616b652074696d6500000000
0000194a: PUSH1 0x44
0000194c: DUP3
0000194d: ADD
0000194e: MSTORE
0000194f: REVERT
00001950: JUMPDEST
00001951: PUSH1 0x64
00001953: DUP3
00001954: PUSH1 0x40
00001956: MLOAD
00001957: SWAP1
00001958: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001979: DUP3
0000197a: MSTORE
0000197b: PUSH1 0x04
0000197d: DUP3
0000197e: ADD
0000197f: MSTORE
00001980: PUSH1 0x1a
00001982: PUSH1 0x24
00001984: DUP3
00001985: ADD
00001986: MSTORE
00001987: PUSH32 0x6d757374207370656369667920756e7374616b652064656c6179000000000000
000019a8: PUSH1 0x44
000019aa: DUP3
000019ab: ADD
000019ac: MSTORE
000019ad: REVERT
000019ae: JUMPDEST
000019af: CALLVALUE
000019b0: PUSH2 0x019c
000019b3: JUMPI
000019b4: PUSH1 0x20
000019b6: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000019d7: CALLDATASIZE
000019d8: ADD
000019d9: SLT
000019da: PUSH2 0x019c
000019dd: JUMPI
000019de: PUSH1 0x04
000019e0: CALLDATALOAD
000019e1: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001a02: DUP2
00001a03: AND
00001a04: DUP1
00001a05: SWAP2
00001a06: SUB
00001a07: PUSH2 0x019c
00001a0a: JUMPI
00001a0b: DUP1
00001a0c: PUSH32 0x60fc6b6e00000000000000000000000000000000000000000000000000000000
00001a2d: PUSH1 0x20
00001a2f: SWAP3
00001a30: EQ
00001a31: SWAP1
00001a32: DUP2
00001a33: ISZERO
00001a34: PUSH2 0x1ad6
00001a37: JUMPI
00001a38: JUMPDEST
00001a39: DUP2
00001a3a: ISZERO
00001a3b: PUSH2 0x1aac
00001a3e: JUMPI
00001a3f: JUMPDEST
00001a40: DUP2
00001a41: ISZERO
00001a42: PUSH2 0x1a82
00001a45: JUMPI
00001a46: JUMPDEST
00001a47: DUP2
00001a48: ISZERO
00001a49: PUSH2 0x1a58
00001a4c: JUMPI
00001a4d: JUMPDEST
00001a4e: POP
00001a4f: PUSH1 0x40
00001a51: MLOAD
00001a52: SWAP1
00001a53: ISZERO
00001a54: ISZERO
00001a55: DUP2
00001a56: MSTORE
00001a57: RETURN
00001a58: JUMPDEST
00001a59: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00001a7a: SWAP2
00001a7b: POP
00001a7c: EQ
00001a7d: DUP3
00001a7e: PUSH2 0x1a4d
00001a81: JUMP
00001a82: JUMPDEST
00001a83: PUSH32 0x3e84f02100000000000000000000000000000000000000000000000000000000
00001aa4: DUP2
00001aa5: EQ
00001aa6: SWAP2
00001aa7: POP
00001aa8: PUSH2 0x1a46
00001aab: JUMP
00001aac: JUMPDEST
00001aad: PUSH32 0xcf28ef9700000000000000000000000000000000000000000000000000000000
00001ace: DUP2
00001acf: EQ
00001ad0: SWAP2
00001ad1: POP
00001ad2: PUSH2 0x1a3f
00001ad5: JUMP
00001ad6: JUMPDEST
00001ad7: PUSH32 0x915074d800000000000000000000000000000000000000000000000000000000
00001af8: DUP2
00001af9: EQ
00001afa: SWAP2
00001afb: POP
00001afc: PUSH2 0x1a38
00001aff: JUMP
00001b00: JUMPDEST
00001b01: CALLVALUE
00001b02: PUSH2 0x019c
00001b05: JUMPI
00001b06: PUSH2 0x0200
00001b09: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001b2a: CALLDATASIZE
00001b2b: ADD
00001b2c: SLT
00001b2d: PUSH2 0x019c
00001b30: JUMPI
00001b31: PUSH8 0xffffffffffffffff
00001b3a: PUSH1 0x04
00001b3c: CALLDATALOAD
00001b3d: DUP2
00001b3e: DUP2
00001b3f: GT
00001b40: PUSH2 0x019c
00001b43: JUMPI
00001b44: CALLDATASIZE
00001b45: PUSH1 0x23
00001b47: DUP3
00001b48: ADD
00001b49: SLT
00001b4a: ISZERO
00001b4b: PUSH2 0x019c
00001b4e: JUMPI
00001b4f: PUSH2 0x1b62
00001b52: SWAP1
00001b53: CALLDATASIZE
00001b54: SWAP1
00001b55: PUSH1 0x24
00001b57: DUP2
00001b58: PUSH1 0x04
00001b5a: ADD
00001b5b: CALLDATALOAD
00001b5c: SWAP2
00001b5d: ADD
00001b5e: PUSH2 0x2268
00001b61: JUMP
00001b62: JUMPDEST
00001b63: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdc
00001b84: CALLDATASIZE
00001b85: ADD
00001b86: PUSH2 0x01c0
00001b89: DUP2
00001b8a: SLT
00001b8b: PUSH2 0x019c
00001b8e: JUMPI
00001b8f: PUSH2 0x0140
00001b92: PUSH1 0x40
00001b94: MLOAD
00001b95: SWAP2
00001b96: PUSH2 0x1b9e
00001b99: DUP4
00001b9a: PUSH2 0x2155
00001b9d: JUMP
00001b9e: JUMPDEST
00001b9f: SLT
00001ba0: PUSH2 0x019c
00001ba3: JUMPI
00001ba4: PUSH1 0x40
00001ba6: MLOAD
00001ba7: SWAP3
00001ba8: PUSH2 0x1bb0
00001bab: DUP5
00001bac: PUSH2 0x21a0
00001baf: JUMP
00001bb0: JUMPDEST
00001bb1: PUSH1 0x24
00001bb3: CALLDATALOAD
00001bb4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bc9: DUP2
00001bca: AND
00001bcb: DUP2
00001bcc: SUB
00001bcd: PUSH2 0x019c
00001bd0: JUMPI
00001bd1: DUP5
00001bd2: MSTORE
00001bd3: PUSH1 0x20
00001bd5: SWAP4
00001bd6: PUSH1 0x44
00001bd8: CALLDATALOAD
00001bd9: DUP6
00001bda: DUP3
00001bdb: ADD
00001bdc: MSTORE
00001bdd: PUSH1 0x64
00001bdf: CALLDATALOAD
00001be0: PUSH1 0x40
00001be2: DUP3
00001be3: ADD
00001be4: MSTORE
00001be5: PUSH1 0x84
00001be7: CALLDATALOAD
00001be8: PUSH1 0x60
00001bea: DUP3
00001beb: ADD
00001bec: MSTORE
00001bed: PUSH1 0xa4
00001bef: CALLDATALOAD
00001bf0: PUSH1 0x80
00001bf2: DUP3
00001bf3: ADD
00001bf4: MSTORE
00001bf5: PUSH1 0xc4
00001bf7: CALLDATALOAD
00001bf8: PUSH1 0xa0
00001bfa: DUP3
00001bfb: ADD
00001bfc: MSTORE
00001bfd: PUSH1 0xe4
00001bff: CALLDATALOAD
00001c00: PUSH1 0xc0
00001c02: DUP3
00001c03: ADD
00001c04: MSTORE
00001c05: PUSH2 0x0104
00001c08: CALLDATALOAD
00001c09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c1e: DUP2
00001c1f: AND
00001c20: DUP2
00001c21: SUB
00001c22: PUSH2 0x019c
00001c25: JUMPI
00001c26: PUSH1 0xe0
00001c28: DUP3
00001c29: ADD
00001c2a: MSTORE
00001c2b: PUSH2 0x0124
00001c2e: CALLDATALOAD
00001c2f: PUSH2 0x0100
00001c32: DUP3
00001c33: ADD
00001c34: MSTORE
00001c35: PUSH2 0x0144
00001c38: CALLDATALOAD
00001c39: PUSH2 0x0120
00001c3c: DUP3
00001c3d: ADD
00001c3e: MSTORE
00001c3f: DUP3
00001c40: MSTORE
00001c41: PUSH2 0x0164
00001c44: CALLDATALOAD
00001c45: DUP5
00001c46: DUP4
00001c47: ADD
00001c48: MSTORE
00001c49: PUSH2 0x0184
00001c4c: CALLDATALOAD
00001c4d: PUSH1 0x40
00001c4f: DUP4
00001c50: ADD
00001c51: MSTORE
00001c52: PUSH2 0x01a4
00001c55: CALLDATALOAD
00001c56: PUSH1 0x60
00001c58: DUP4
00001c59: ADD
00001c5a: MSTORE
00001c5b: PUSH2 0x01c4
00001c5e: CALLDATALOAD
00001c5f: PUSH1 0x80
00001c61: DUP4
00001c62: ADD
00001c63: MSTORE
00001c64: PUSH2 0x01e4
00001c67: CALLDATALOAD
00001c68: SWAP1
00001c69: DUP2
00001c6a: GT
00001c6b: PUSH2 0x019c
00001c6e: JUMPI
00001c6f: PUSH2 0x1c7c
00001c72: SWAP1
00001c73: CALLDATASIZE
00001c74: SWAP1
00001c75: PUSH1 0x04
00001c77: ADD
00001c78: PUSH2 0x22c2
00001c7b: JUMP
00001c7c: JUMPDEST
00001c7d: SWAP1
00001c7e: GAS
00001c7f: ADDRESS
00001c80: CALLER
00001c81: SUB
00001c82: PUSH2 0x20f7
00001c85: JUMPI
00001c86: DUP4
00001c87: MLOAD
00001c88: PUSH1 0x60
00001c8a: DUP2
00001c8b: ADD
00001c8c: MLOAD
00001c8d: SWAP6
00001c8e: PUSH1 0x3f
00001c90: GAS
00001c91: MUL
00001c92: PUSH1 0x06
00001c94: SHR
00001c95: PUSH2 0x2710
00001c98: PUSH1 0xa0
00001c9a: DUP5
00001c9b: ADD
00001c9c: MLOAD
00001c9d: DUP10
00001c9e: ADD
00001c9f: ADD
00001ca0: GT
00001ca1: PUSH2 0x20ce
00001ca4: JUMPI
00001ca5: PUSH1 0x00
00001ca7: SWAP7
00001ca8: DUP2
00001ca9: MLOAD
00001caa: SWAP2
00001cab: DUP3
00001cac: PUSH2 0x1ff0
00001caf: JUMPI
00001cb0: JUMPDEST
00001cb1: POP
00001cb2: POP
00001cb3: POP
00001cb4: POP
00001cb5: SWAP1
00001cb6: PUSH2 0x1cca
00001cb9: SWAP2
00001cba: GAS
00001cbb: SWAP1
00001cbc: SUB
00001cbd: PUSH1 0x80
00001cbf: DUP6
00001cc0: ADD
00001cc1: MLOAD
00001cc2: ADD
00001cc3: SWAP3
00001cc4: CALLDATASIZE
00001cc5: SWAP2
00001cc6: PUSH2 0x2268
00001cc9: JUMP
00001cca: JUMPDEST
00001ccb: SWAP3
00001ccc: GAS
00001ccd: SWAP1
00001cce: PUSH1 0x00
00001cd0: SWAP5
00001cd1: DUP5
00001cd2: MLOAD
00001cd3: SWAP4
00001cd4: PUSH2 0x1cdc
00001cd7: DUP6
00001cd8: PUSH2 0x3ccc
00001cdb: JUMP
00001cdc: JUMPDEST
00001cdd: SWAP2
00001cde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cf3: PUSH1 0xe0
00001cf5: DUP8
00001cf6: ADD
00001cf7: MLOAD
00001cf8: AND
00001cf9: DUP1
00001cfa: ISZERO
00001cfb: PUSH1 0x00
00001cfd: EQ
00001cfe: PUSH2 0x1ea9
00001d01: JUMPI
00001d02: POP
00001d03: POP
00001d04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d19: DUP6
00001d1a: MLOAD
00001d1b: AND
00001d1c: SWAP4
00001d1d: JUMPDEST
00001d1e: GAS
00001d1f: SWAP1
00001d20: SUB
00001d21: ADD
00001d22: SWAP4
00001d23: PUSH1 0xa0
00001d25: PUSH1 0x60
00001d27: DUP3
00001d28: ADD
00001d29: MLOAD
00001d2a: SWAP2
00001d2b: ADD
00001d2c: MLOAD
00001d2d: ADD
00001d2e: PUSH1 0x80
00001d30: DUP7
00001d31: ADD
00001d32: MLOAD
00001d33: DUP6
00001d34: SUB
00001d35: SWAP1
00001d36: DUP2
00001d37: DUP2
00001d38: GT
00001d39: PUSH2 0x1e95
00001d3c: JUMPI
00001d3d: JUMPDEST
00001d3e: POP
00001d3f: POP
00001d40: DUP4
00001d41: MUL
00001d42: PUSH1 0x40
00001d44: DUP6
00001d45: ADD
00001d46: MLOAD
00001d47: SWAP3
00001d48: DUP2
00001d49: DUP5
00001d4a: LT
00001d4b: PUSH1 0x00
00001d4d: EQ
00001d4e: PUSH2 0x1dce
00001d51: JUMPI
00001d52: POP
00001d53: POP
00001d54: PUSH1 0x03
00001d56: DUP2
00001d57: LT
00001d58: ISZERO
00001d59: PUSH2 0x1da1
00001d5c: JUMPI
00001d5d: PUSH1 0x02
00001d5f: SUB
00001d60: PUSH2 0x1d79
00001d63: JUMPI
00001d64: PUSH2 0x13c9
00001d67: SWAP3
00001d68: SWAP4
00001d69: POP
00001d6a: DUP1
00001d6b: SWAP4
00001d6c: PUSH2 0x1d74
00001d6f: DUP2
00001d70: PUSH2 0x3d65
00001d73: JUMP
00001d74: JUMPDEST
00001d75: PUSH2 0x3cf6
00001d78: JUMP
00001d79: JUMPDEST
00001d7a: POP
00001d7b: POP
00001d7c: POP
00001d7d: PUSH32 0xdeadaa5100000000000000000000000000000000000000000000000000000000
00001d9e: DUP2
00001d9f: MSTORE
00001da0: REVERT
00001da1: JUMPDEST
00001da2: PUSH1 0x24
00001da4: DUP6
00001da5: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001dc6: DUP2
00001dc7: MSTORE
00001dc8: PUSH1 0x21
00001dca: PUSH1 0x04
00001dcc: MSTORE
00001dcd: REVERT
00001dce: JUMPDEST
00001dcf: DUP2
00001dd0: PUSH2 0x1dde
00001dd3: SWAP3
00001dd4: SWAP8
00001dd5: SWAP4
00001dd6: SWAP7
00001dd7: SWAP5
00001dd8: SUB
00001dd9: SWAP1
00001dda: PUSH2 0x3c98
00001ddd: JUMP
00001dde: JUMPDEST
00001ddf: POP
00001de0: PUSH1 0x03
00001de2: DUP5
00001de3: LT
00001de4: ISZERO
00001de5: PUSH2 0x1e68
00001de8: JUMPI
00001de9: POP
00001dea: PUSH32 0x49628fd1471006c1482da88028e9ce4dbb080b815c9b0344d39e5a8e6ec1419f
00001e0b: PUSH1 0x80
00001e0d: DUP7
00001e0e: DUP4
00001e0f: ADD
00001e10: MLOAD
00001e11: SWAP3
00001e12: MLOAD
00001e13: SWAP5
00001e14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e29: DUP7
00001e2a: MLOAD
00001e2b: AND
00001e2c: SWAP5
00001e2d: DUP9
00001e2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e43: PUSH1 0xe0
00001e45: DUP10
00001e46: ADD
00001e47: MLOAD
00001e48: AND
00001e49: SWAP8
00001e4a: ADD
00001e4b: MLOAD
00001e4c: SWAP2
00001e4d: PUSH1 0x40
00001e4f: MLOAD
00001e50: SWAP3
00001e51: DUP4
00001e52: MSTORE
00001e53: ISZERO
00001e54: DUP10
00001e55: DUP4
00001e56: ADD
00001e57: MSTORE
00001e58: DUP8
00001e59: PUSH1 0x40
00001e5b: DUP4
00001e5c: ADD
00001e5d: MSTORE
00001e5e: PUSH1 0x60
00001e60: DUP3
00001e61: ADD
00001e62: MSTORE
00001e63: LOG4
00001e64: PUSH2 0x13c9
00001e67: JUMP
00001e68: JUMPDEST
00001e69: DUP1
00001e6a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001e8b: PUSH1 0x24
00001e8d: SWAP3
00001e8e: MSTORE
00001e8f: PUSH1 0x21
00001e91: PUSH1 0x04
00001e93: MSTORE
00001e94: REVERT
00001e95: JUMPDEST
00001e96: PUSH1 0x64
00001e98: SWAP2
00001e99: SWAP1
00001e9a: SUB
00001e9b: PUSH1 0x0a
00001e9d: MUL
00001e9e: DIV
00001e9f: SWAP1
00001ea0: SWAP4
00001ea1: ADD
00001ea2: SWAP3
00001ea3: DUP8
00001ea4: DUP1
00001ea5: PUSH2 0x1d3d
00001ea8: JUMP
00001ea9: JUMPDEST
00001eaa: DUP1
00001eab: SWAP6
00001eac: SWAP2
00001ead: DUP1
00001eae: MLOAD
00001eaf: PUSH2 0x1eba
00001eb2: JUMPI
00001eb3: JUMPDEST
00001eb4: POP
00001eb5: POP
00001eb6: PUSH2 0x1d1d
00001eb9: JUMP
00001eba: JUMPDEST
00001ebb: PUSH1 0x03
00001ebd: DUP7
00001ebe: LT
00001ebf: ISZERO
00001ec0: PUSH2 0x1fc1
00001ec3: JUMPI
00001ec4: PUSH1 0x02
00001ec6: DUP7
00001ec7: SUB
00001ec8: ISZERO
00001ec9: PUSH2 0x1eb3
00001ecc: JUMPI
00001ecd: PUSH1 0xa0
00001ecf: DUP9
00001ed0: ADD
00001ed1: MLOAD
00001ed2: SWAP1
00001ed3: DUP3
00001ed4: EXTCODESIZE
00001ed5: ISZERO
00001ed6: PUSH2 0x019c
00001ed9: JUMPI
00001eda: PUSH1 0x00
00001edc: SWAP2
00001edd: PUSH2 0x1f24
00001ee0: SWAP2
00001ee1: DUP4
00001ee2: PUSH1 0x40
00001ee4: MLOAD
00001ee5: SWAP6
00001ee6: DUP7
00001ee7: DUP1
00001ee8: SWAP6
00001ee9: DUP2
00001eea: SWAP5
00001eeb: PUSH32 0x7c627b2100000000000000000000000000000000000000000000000000000000
00001f0c: DUP4
00001f0d: MSTORE
00001f0e: DUP14
00001f0f: PUSH1 0x04
00001f11: DUP5
00001f12: ADD
00001f13: MSTORE
00001f14: PUSH1 0x80
00001f16: PUSH1 0x24
00001f18: DUP5
00001f19: ADD
00001f1a: MSTORE
00001f1b: PUSH1 0x84
00001f1d: DUP4
00001f1e: ADD
00001f1f: SWAP1
00001f20: PUSH2 0x23c6
00001f23: JUMP
00001f24: JUMPDEST
00001f25: DUP12
00001f26: DUP12
00001f27: MUL
00001f28: PUSH1 0x44
00001f2a: DUP4
00001f2b: ADD
00001f2c: MSTORE
00001f2d: DUP12
00001f2e: PUSH1 0x64
00001f30: DUP4
00001f31: ADD
00001f32: MSTORE
00001f33: SUB
00001f34: SWAP4
00001f35: CALL
00001f36: SWAP1
00001f37: DUP2
00001f38: PUSH2 0x1fad
00001f3b: JUMPI
00001f3c: JUMPDEST
00001f3d: POP
00001f3e: PUSH2 0x1fa6
00001f41: JUMPI
00001f42: DUP8
00001f43: DUP10
00001f44: RETURNDATASIZE
00001f45: PUSH2 0x0800
00001f48: DUP1
00001f49: DUP3
00001f4a: GT
00001f4b: PUSH2 0x1f9e
00001f4e: JUMPI
00001f4f: JUMPDEST
00001f50: POP
00001f51: PUSH1 0x40
00001f53: MLOAD
00001f54: SWAP3
00001f55: DUP3
00001f56: DUP3
00001f57: DUP6
00001f58: ADD
00001f59: ADD
00001f5a: PUSH1 0x40
00001f5c: MSTORE
00001f5d: DUP2
00001f5e: DUP5
00001f5f: MSTORE
00001f60: DUP3
00001f61: DUP5
00001f62: ADD
00001f63: RETURNDATACOPY
00001f64: PUSH2 0x0e7e
00001f67: PUSH1 0x40
00001f69: MLOAD
00001f6a: SWAP3
00001f6b: DUP4
00001f6c: SWAP3
00001f6d: PUSH32 0xad7954bc00000000000000000000000000000000000000000000000000000000
00001f8e: DUP5
00001f8f: MSTORE
00001f90: PUSH1 0x04
00001f92: DUP5
00001f93: ADD
00001f94: MSTORE
00001f95: PUSH1 0x24
00001f97: DUP4
00001f98: ADD
00001f99: SWAP1
00001f9a: PUSH2 0x23c6
00001f9d: JUMP
00001f9e: JUMPDEST
00001f9f: SWAP1
00001fa0: POP
00001fa1: DUP4
00001fa2: PUSH2 0x1f4f
00001fa5: JUMP
00001fa6: JUMPDEST
00001fa7: DUP10
00001fa8: DUP1
00001fa9: PUSH2 0x1eb3
00001fac: JUMP
00001fad: JUMPDEST
00001fae: PUSH2 0x1fb8
00001fb1: SWAP2
00001fb2: SWAP10
00001fb3: POP
00001fb4: PUSH2 0x21bd
00001fb7: JUMP
00001fb8: JUMPDEST
00001fb9: PUSH1 0x00
00001fbb: SWAP8
00001fbc: DUP11
00001fbd: PUSH2 0x1f3c
00001fc0: JUMP
00001fc1: JUMPDEST
00001fc2: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001fe3: PUSH1 0x00
00001fe5: MSTORE
00001fe6: PUSH1 0x21
00001fe8: PUSH1 0x04
00001fea: MSTORE
00001feb: PUSH1 0x24
00001fed: PUSH1 0x00
00001fef: REVERT
00001ff0: JUMPDEST
00001ff1: SWAP2
00001ff2: PUSH1 0x00
00001ff4: SWAP3
00001ff5: SWAP2
00001ff6: DUP4
00001ff7: DUP1
00001ff8: SWAP4
00001ff9: DUP13
00001ffa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000200f: DUP9
00002010: MLOAD
00002011: AND
00002012: SWAP2
00002013: ADD
00002014: SWAP3
00002015: CALL
00002016: ISZERO
00002017: PUSH2 0x2023
0000201a: JUMPI
0000201b: JUMPDEST
0000201c: DUP1
0000201d: DUP1
0000201e: DUP1
0000201f: PUSH2 0x1cb0
00002022: JUMP
00002023: JUMPDEST
00002024: PUSH2 0x1cca
00002027: SWAP3
00002028: SWAP2
00002029: SWAP6
0000202a: POP
0000202b: RETURNDATASIZE
0000202c: PUSH2 0x0800
0000202f: DUP1
00002030: DUP3
00002031: GT
00002032: PUSH2 0x20c6
00002035: JUMPI
00002036: JUMPDEST
00002037: POP
00002038: PUSH1 0x40
0000203a: MLOAD
0000203b: SWAP1
0000203c: DUP9
0000203d: DUP2
0000203e: DUP4
0000203f: ADD
00002040: ADD
00002041: PUSH1 0x40
00002043: MSTORE
00002044: DUP1
00002045: DUP3
00002046: MSTORE
00002047: PUSH1 0x00
00002049: DUP10
0000204a: DUP4
0000204b: ADD
0000204c: RETURNDATACOPY
0000204d: DUP1
0000204e: MLOAD
0000204f: PUSH2 0x205f
00002052: JUMPI
00002053: JUMPDEST
00002054: POP
00002055: POP
00002056: PUSH1 0x01
00002058: SWAP5
00002059: SWAP1
0000205a: SWAP2
0000205b: PUSH2 0x201b
0000205e: JUMP
0000205f: JUMPDEST
00002060: PUSH32 0x1c4fada7374c0a9ee8841fc38afe82932dc0f8e69012e927f061a8bae611a201
00002081: DUP9
00002082: DUP8
00002083: ADD
00002084: MLOAD
00002085: SWAP2
00002086: DUP10
00002087: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000209c: DUP6
0000209d: MLOAD
0000209e: AND
0000209f: SWAP5
000020a0: ADD
000020a1: MLOAD
000020a2: PUSH2 0x20bc
000020a5: PUSH1 0x40
000020a7: MLOAD
000020a8: SWAP3
000020a9: DUP4
000020aa: SWAP3
000020ab: DUP4
000020ac: MSTORE
000020ad: PUSH1 0x40
000020af: DUP14
000020b0: DUP5
000020b1: ADD
000020b2: MSTORE
000020b3: PUSH1 0x40
000020b5: DUP4
000020b6: ADD
000020b7: SWAP1
000020b8: PUSH2 0x23c6
000020bb: JUMP
000020bc: JUMPDEST
000020bd: SUB
000020be: SWAP1
000020bf: LOG3
000020c0: DUP7
000020c1: DUP1
000020c2: PUSH2 0x2053
000020c5: JUMP
000020c6: JUMPDEST
000020c7: SWAP1
000020c8: POP
000020c9: DUP9
000020ca: PUSH2 0x2036
000020cd: JUMP
000020ce: JUMPDEST
000020cf: DUP8
000020d0: PUSH32 0xdeaddead00000000000000000000000000000000000000000000000000000000
000020f1: PUSH1 0x00
000020f3: MSTORE
000020f4: PUSH1 0x00
000020f6: REVERT
000020f7: JUMPDEST
000020f8: PUSH1 0x64
000020fa: DUP7
000020fb: PUSH1 0x40
000020fd: MLOAD
000020fe: SWAP1
000020ff: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002120: DUP3
00002121: MSTORE
00002122: PUSH1 0x04
00002124: DUP3
00002125: ADD
00002126: MSTORE
00002127: PUSH1 0x17
00002129: PUSH1 0x24
0000212b: DUP3
0000212c: ADD
0000212d: MSTORE
0000212e: PUSH32 0x4141393220696e7465726e616c2063616c6c206f6e6c79000000000000000000
0000214f: PUSH1 0x44
00002151: DUP3
00002152: ADD
00002153: MSTORE
00002154: REVERT
00002155: JUMPDEST
00002156: PUSH1 0xa0
00002158: DUP2
00002159: ADD
0000215a: SWAP1
0000215b: DUP2
0000215c: LT
0000215d: PUSH8 0xffffffffffffffff
00002166: DUP3
00002167: GT
00002168: OR
00002169: PUSH2 0x2171
0000216c: JUMPI
0000216d: PUSH1 0x40
0000216f: MSTORE
00002170: JUMP
00002171: JUMPDEST
00002172: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002193: PUSH1 0x00
00002195: MSTORE
00002196: PUSH1 0x41
00002198: PUSH1 0x04
0000219a: MSTORE
0000219b: PUSH1 0x24
0000219d: PUSH1 0x00
0000219f: REVERT
000021a0: JUMPDEST
000021a1: PUSH2 0x0140
000021a4: DUP2
000021a5: ADD
000021a6: SWAP1
000021a7: DUP2
000021a8: LT
000021a9: PUSH8 0xffffffffffffffff
000021b2: DUP3
000021b3: GT
000021b4: OR
000021b5: PUSH2 0x2171
000021b8: JUMPI
000021b9: PUSH1 0x40
000021bb: MSTORE
000021bc: JUMP
000021bd: JUMPDEST
000021be: PUSH8 0xffffffffffffffff
000021c7: DUP2
000021c8: GT
000021c9: PUSH2 0x2171
000021cc: JUMPI
000021cd: PUSH1 0x40
000021cf: MSTORE
000021d0: JUMP
000021d1: JUMPDEST
000021d2: PUSH1 0x60
000021d4: DUP2
000021d5: ADD
000021d6: SWAP1
000021d7: DUP2
000021d8: LT
000021d9: PUSH8 0xffffffffffffffff
000021e2: DUP3
000021e3: GT
000021e4: OR
000021e5: PUSH2 0x2171
000021e8: JUMPI
000021e9: PUSH1 0x40
000021eb: MSTORE
000021ec: JUMP
000021ed: JUMPDEST
000021ee: SWAP1
000021ef: PUSH1 0x1f
000021f1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002212: SWAP2
00002213: ADD
00002214: AND
00002215: DUP2
00002216: ADD
00002217: SWAP1
00002218: DUP2
00002219: LT
0000221a: PUSH8 0xffffffffffffffff
00002223: DUP3
00002224: GT
00002225: OR
00002226: PUSH2 0x2171
00002229: JUMPI
0000222a: PUSH1 0x40
0000222c: MSTORE
0000222d: JUMP
0000222e: JUMPDEST
0000222f: PUSH8 0xffffffffffffffff
00002238: DUP2
00002239: GT
0000223a: PUSH2 0x2171
0000223d: JUMPI
0000223e: PUSH1 0x1f
00002240: ADD
00002241: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002262: AND
00002263: PUSH1 0x20
00002265: ADD
00002266: SWAP1
00002267: JUMP
00002268: JUMPDEST
00002269: SWAP3
0000226a: SWAP2
0000226b: SWAP3
0000226c: PUSH2 0x2274
0000226f: DUP3
00002270: PUSH2 0x222e
00002273: JUMP
00002274: JUMPDEST
00002275: SWAP2
00002276: PUSH2 0x2282
00002279: PUSH1 0x40
0000227b: MLOAD
0000227c: SWAP4
0000227d: DUP5
0000227e: PUSH2 0x21ed
00002281: JUMP
00002282: JUMPDEST
00002283: DUP3
00002284: SWAP5
00002285: DUP2
00002286: DUP5
00002287: MSTORE
00002288: DUP2
00002289: DUP4
0000228a: ADD
0000228b: GT
0000228c: PUSH2 0x019c
0000228f: JUMPI
00002290: DUP3
00002291: DUP2
00002292: PUSH1 0x20
00002294: SWAP4
00002295: DUP5
00002296: PUSH1 0x00
00002298: SWAP7
00002299: ADD
0000229a: CALLDATACOPY
0000229b: ADD
0000229c: ADD
0000229d: MSTORE
0000229e: JUMP
0000229f: JUMPDEST
000022a0: PUSH1 0x04
000022a2: CALLDATALOAD
000022a3: SWAP1
000022a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022b9: DUP3
000022ba: AND
000022bb: DUP3
000022bc: SUB
000022bd: PUSH2 0x019c
000022c0: JUMPI
000022c1: JUMP
000022c2: JUMPDEST
000022c3: SWAP2
000022c4: DUP2
000022c5: PUSH1 0x1f
000022c7: DUP5
000022c8: ADD
000022c9: SLT
000022ca: ISZERO
000022cb: PUSH2 0x019c
000022ce: JUMPI
000022cf: DUP3
000022d0: CALLDATALOAD
000022d1: SWAP2
000022d2: PUSH8 0xffffffffffffffff
000022db: DUP4
000022dc: GT
000022dd: PUSH2 0x019c
000022e0: JUMPI
000022e1: PUSH1 0x20
000022e3: DUP4
000022e4: DUP2
000022e5: DUP7
000022e6: ADD
000022e7: SWAP6
000022e8: ADD
000022e9: ADD
000022ea: GT
000022eb: PUSH2 0x019c
000022ee: JUMPI
000022ef: JUMP
000022f0: JUMPDEST
000022f1: PUSH1 0x24
000022f3: CALLDATALOAD
000022f4: SWAP1
000022f5: PUSH24 0xffffffffffffffffffffffffffffffffffffffffffffffff
0000230e: DUP3
0000230f: AND
00002310: DUP3
00002311: SUB
00002312: PUSH2 0x019c
00002315: JUMPI
00002316: JUMP
00002317: JUMPDEST
00002318: SWAP1
00002319: PUSH1 0x40
0000231b: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000233c: DUP4
0000233d: ADD
0000233e: SLT
0000233f: PUSH2 0x019c
00002342: JUMPI
00002343: PUSH1 0x04
00002345: CALLDATALOAD
00002346: PUSH8 0xffffffffffffffff
0000234f: SWAP3
00002350: DUP4
00002351: DUP3
00002352: GT
00002353: PUSH2 0x019c
00002356: JUMPI
00002357: DUP1
00002358: PUSH1 0x23
0000235a: DUP4
0000235b: ADD
0000235c: SLT
0000235d: ISZERO
0000235e: PUSH2 0x019c
00002361: JUMPI
00002362: DUP2
00002363: PUSH1 0x04
00002365: ADD
00002366: CALLDATALOAD
00002367: SWAP4
00002368: DUP5
00002369: GT
0000236a: PUSH2 0x019c
0000236d: JUMPI
0000236e: PUSH1 0x24
00002370: DUP5
00002371: PUSH1 0x05
00002373: SHL
00002374: DUP4
00002375: ADD
00002376: ADD
00002377: GT
00002378: PUSH2 0x019c
0000237b: JUMPI
0000237c: PUSH1 0x24
0000237e: ADD
0000237f: SWAP2
00002380: SWAP1
00002381: PUSH1 0x24
00002383: CALLDATALOAD
00002384: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002399: DUP2
0000239a: AND
0000239b: DUP2
0000239c: SUB
0000239d: PUSH2 0x019c
000023a0: JUMPI
000023a1: SWAP1
000023a2: JUMP
000023a3: JUMPDEST
000023a4: PUSH1 0x00
000023a6: JUMPDEST
000023a7: DUP4
000023a8: DUP2
000023a9: LT
000023aa: PUSH2 0x23b6
000023ad: JUMPI
000023ae: POP
000023af: POP
000023b0: PUSH1 0x00
000023b2: SWAP2
000023b3: ADD
000023b4: MSTORE
000023b5: JUMP
000023b6: JUMPDEST
000023b7: DUP2
000023b8: DUP2
000023b9: ADD
000023ba: MLOAD
000023bb: DUP4
000023bc: DUP3
000023bd: ADD
000023be: MSTORE
000023bf: PUSH1 0x20
000023c1: ADD
000023c2: PUSH2 0x23a6
000023c5: JUMP
000023c6: JUMPDEST
000023c7: SWAP1
000023c8: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000023e9: PUSH1 0x1f
000023eb: PUSH1 0x20
000023ed: SWAP4
000023ee: PUSH2 0x2402
000023f1: DUP2
000023f2: MLOAD
000023f3: DUP1
000023f4: SWAP3
000023f5: DUP2
000023f6: DUP8
000023f7: MSTORE
000023f8: DUP8
000023f9: DUP1
000023fa: DUP9
000023fb: ADD
000023fc: SWAP2
000023fd: ADD
000023fe: PUSH2 0x23a3
00002401: JUMP
00002402: JUMPDEST
00002403: ADD
00002404: AND
00002405: ADD
00002406: ADD
00002407: SWAP1
00002408: JUMP
00002409: JUMPDEST
0000240a: SWAP2
0000240b: SWAP1
0000240c: DUP3
0000240d: ADD
0000240e: DUP1
0000240f: SWAP3
00002410: GT
00002411: PUSH2 0x0b4f
00002414: JUMPI
00002415: JUMP
00002416: JUMPDEST
00002417: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002438: DUP2
00002439: EQ
0000243a: PUSH2 0x0b4f
0000243d: JUMPI
0000243e: PUSH1 0x01
00002440: ADD
00002441: SWAP1
00002442: JUMP
00002443: JUMPDEST
00002444: SWAP2
00002445: SWAP1
00002446: DUP3
00002447: SUB
00002448: SWAP2
00002449: DUP3
0000244a: GT
0000244b: PUSH2 0x0b4f
0000244e: JUMPI
0000244f: JUMP
00002450: JUMPDEST
00002451: RETURNDATASIZE
00002452: ISZERO
00002453: PUSH2 0x247b
00002456: JUMPI
00002457: RETURNDATASIZE
00002458: SWAP1
00002459: PUSH2 0x2461
0000245c: DUP3
0000245d: PUSH2 0x222e
00002460: JUMP
00002461: JUMPDEST
00002462: SWAP2
00002463: PUSH2 0x246f
00002466: PUSH1 0x40
00002468: MLOAD
00002469: SWAP4
0000246a: DUP5
0000246b: PUSH2 0x21ed
0000246e: JUMP
0000246f: JUMPDEST
00002470: DUP3
00002471: MSTORE
00002472: RETURNDATASIZE
00002473: PUSH1 0x00
00002475: PUSH1 0x20
00002477: DUP5
00002478: ADD
00002479: RETURNDATACOPY
0000247a: JUMP
0000247b: JUMPDEST
0000247c: PUSH1 0x60
0000247e: SWAP1
0000247f: JUMP
00002480: JUMPDEST
00002481: PUSH1 0x40
00002483: PUSH2 0x248e
00002486: DUP2
00002487: DUP4
00002488: ADD
00002489: DUP4
0000248a: PUSH2 0x284b
0000248d: JUMP
0000248e: JUMPDEST
0000248f: SWAP1
00002490: DUP2
00002491: DUP4
00002492: MLOAD
00002493: SWAP2
00002494: DUP3
00002495: CALLDATACOPY
00002496: KECCAK256
00002497: PUSH2 0x24a3
0000249a: PUSH1 0x60
0000249c: DUP5
0000249d: ADD
0000249e: DUP5
0000249f: PUSH2 0x284b
000024a2: JUMP
000024a3: JUMPDEST
000024a4: SWAP1
000024a5: DUP2
000024a6: DUP5
000024a7: MLOAD
000024a8: SWAP2
000024a9: DUP3
000024aa: CALLDATACOPY
000024ab: KECCAK256
000024ac: SWAP3
000024ad: PUSH1 0xc0
000024af: PUSH2 0x24bb
000024b2: PUSH1 0xe0
000024b4: DUP4
000024b5: ADD
000024b6: DUP4
000024b7: PUSH2 0x284b
000024ba: JUMP
000024bb: JUMPDEST
000024bc: SWAP1
000024bd: DUP2
000024be: DUP7
000024bf: MLOAD
000024c0: SWAP2
000024c1: DUP3
000024c2: CALLDATACOPY
000024c3: KECCAK256
000024c4: SWAP2
000024c5: DUP5
000024c6: MLOAD
000024c7: SWAP6
000024c8: PUSH1 0x20
000024ca: DUP8
000024cb: ADD
000024cc: SWAP5
000024cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024e2: DUP4
000024e3: CALLDATALOAD
000024e4: AND
000024e5: DUP7
000024e6: MSTORE
000024e7: PUSH1 0x20
000024e9: DUP4
000024ea: ADD
000024eb: CALLDATALOAD
000024ec: DUP8
000024ed: DUP10
000024ee: ADD
000024ef: MSTORE
000024f0: PUSH1 0x60
000024f2: DUP9
000024f3: ADD
000024f4: MSTORE
000024f5: PUSH1 0x80
000024f7: DUP8
000024f8: ADD
000024f9: MSTORE
000024fa: PUSH1 0x80
000024fc: DUP2
000024fd: ADD
000024fe: CALLDATALOAD
000024ff: PUSH1 0xa0
00002501: DUP8
00002502: ADD
00002503: MSTORE
00002504: PUSH1 0xa0
00002506: DUP2
00002507: ADD
00002508: CALLDATALOAD
00002509: DUP3
0000250a: DUP8
0000250b: ADD
0000250c: MSTORE
0000250d: ADD
0000250e: CALLDATALOAD
0000250f: PUSH1 0xe0
00002511: DUP6
00002512: ADD
00002513: MSTORE
00002514: PUSH2 0x0100
00002517: SWAP1
00002518: DUP2
00002519: DUP6
0000251a: ADD
0000251b: MSTORE
0000251c: DUP4
0000251d: MSTORE
0000251e: PUSH2 0x0120
00002521: DUP4
00002522: ADD
00002523: SWAP2
00002524: PUSH8 0xffffffffffffffff
0000252d: SWAP2
0000252e: DUP5
0000252f: DUP5
00002530: LT
00002531: DUP4
00002532: DUP6
00002533: GT
00002534: OR
00002535: PUSH2 0x2171
00002538: JUMPI
00002539: DUP4
0000253a: DUP3
0000253b: MSTORE
0000253c: DUP5
0000253d: MLOAD
0000253e: SWAP1
0000253f: KECCAK256
00002540: PUSH2 0x0140
00002543: DUP6
00002544: ADD
00002545: SWAP1
00002546: DUP2
00002547: MSTORE
00002548: ADDRESS
00002549: PUSH2 0x0160
0000254c: DUP7
0000254d: ADD
0000254e: MSTORE
0000254f: CHAINID
00002550: PUSH2 0x0180
00002553: DUP7
00002554: ADD
00002555: MSTORE
00002556: PUSH1 0x60
00002558: DUP5
00002559: MSTORE
0000255a: SWAP4
0000255b: PUSH2 0x01a0
0000255e: ADD
0000255f: SWAP2
00002560: DUP3
00002561: GT
00002562: DUP4
00002563: DUP4
00002564: LT
00002565: OR
00002566: PUSH2 0x2171
00002569: JUMPI
0000256a: MSTORE
0000256b: MLOAD
0000256c: SWAP1
0000256d: KECCAK256
0000256e: SWAP1
0000256f: JUMP
00002570: JUMPDEST
00002571: PUSH8 0xffffffffffffffff
0000257a: DUP2
0000257b: GT
0000257c: PUSH2 0x2171
0000257f: JUMPI
00002580: PUSH1 0x05
00002582: SHL
00002583: PUSH1 0x20
00002585: ADD
00002586: SWAP1
00002587: JUMP
00002588: JUMPDEST
00002589: SWAP1
0000258a: PUSH2 0x2592
0000258d: DUP3
0000258e: PUSH2 0x2570
00002591: JUMP
00002592: JUMPDEST
00002593: PUSH1 0x40
00002595: SWAP1
00002596: PUSH2 0x25a2
00002599: PUSH1 0x40
0000259b: MLOAD
0000259c: SWAP2
0000259d: DUP3
0000259e: PUSH2 0x21ed
000025a1: JUMP
000025a2: JUMPDEST
000025a3: DUP4
000025a4: DUP2
000025a5: MSTORE
000025a6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000025c7: PUSH2 0x25d0
000025ca: DUP3
000025cb: SWAP6
000025cc: PUSH2 0x2570
000025cf: JUMP
000025d0: JUMPDEST
000025d1: ADD
000025d2: SWAP2
000025d3: PUSH1 0x00
000025d5: JUMPDEST
000025d6: DUP4
000025d7: DUP2
000025d8: LT
000025d9: PUSH2 0x25e2
000025dc: JUMPI
000025dd: POP
000025de: POP
000025df: POP
000025e0: POP
000025e1: JUMP
000025e2: JUMPDEST
000025e3: PUSH1 0x20
000025e5: SWAP1
000025e6: DUP3
000025e7: MLOAD
000025e8: PUSH2 0x25f0
000025eb: DUP2
000025ec: PUSH2 0x2155
000025ef: JUMP
000025f0: JUMPDEST
000025f1: DUP4
000025f2: MLOAD
000025f3: PUSH2 0x25fb
000025f6: DUP2
000025f7: PUSH2 0x21a0
000025fa: JUMP
000025fb: JUMPDEST
000025fc: PUSH1 0x00
000025fe: DUP2
000025ff: MSTORE
00002600: PUSH1 0x00
00002602: DUP5
00002603: SWAP2
00002604: DUP2
00002605: DUP4
00002606: DUP3
00002607: ADD
00002608: MSTORE
00002609: DUP2
0000260a: DUP8
0000260b: DUP3
0000260c: ADD
0000260d: MSTORE
0000260e: DUP2
0000260f: PUSH1 0x60
00002611: DUP2
00002612: DUP2
00002613: DUP5
00002614: ADD
00002615: MSTORE
00002616: PUSH1 0x80
00002618: SWAP3
00002619: DUP3
0000261a: DUP5
0000261b: DUP3
0000261c: ADD
0000261d: MSTORE
0000261e: DUP3
0000261f: PUSH1 0xa0
00002621: DUP3
00002622: ADD
00002623: MSTORE
00002624: DUP3
00002625: PUSH1 0xc0
00002627: DUP3
00002628: ADD
00002629: MSTORE
0000262a: DUP3
0000262b: PUSH1 0xe0
0000262d: DUP3
0000262e: ADD
0000262f: MSTORE
00002630: DUP3
00002631: PUSH2 0x0100
00002634: DUP3
00002635: ADD
00002636: MSTORE
00002637: DUP3
00002638: PUSH2 0x0120
0000263b: DUP3
0000263c: ADD
0000263d: MSTORE
0000263e: DUP7
0000263f: MSTORE
00002640: DUP2
00002641: DUP6
00002642: DUP8
00002643: ADD
00002644: MSTORE
00002645: DUP2
00002646: DUP10
00002647: DUP8
00002648: ADD
00002649: MSTORE
0000264a: DUP6
0000264b: ADD
0000264c: MSTORE
0000264d: DUP4
0000264e: ADD
0000264f: MSTORE
00002650: DUP3
00002651: DUP7
00002652: ADD
00002653: ADD
00002654: MSTORE
00002655: ADD
00002656: PUSH2 0x25d5
00002659: JUMP
0000265a: JUMPDEST
0000265b: DUP1
0000265c: MLOAD
0000265d: DUP3
0000265e: LT
0000265f: ISZERO
00002660: PUSH2 0x266e
00002663: JUMPI
00002664: PUSH1 0x20
00002666: SWAP2
00002667: PUSH1 0x05
00002669: SHL
0000266a: ADD
0000266b: ADD
0000266c: SWAP1
0000266d: JUMP
0000266e: JUMPDEST
0000266f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002690: PUSH1 0x00
00002692: MSTORE
00002693: PUSH1 0x32
00002695: PUSH1 0x04
00002697: MSTORE
00002698: PUSH1 0x24
0000269a: PUSH1 0x00
0000269c: REVERT
0000269d: JUMPDEST
0000269e: SWAP2
0000269f: SWAP1
000026a0: DUP2
000026a1: LT
000026a2: ISZERO
000026a3: PUSH2 0x266e
000026a6: JUMPI
000026a7: PUSH1 0x05
000026a9: SHL
000026aa: DUP2
000026ab: ADD
000026ac: CALLDATALOAD
000026ad: SWAP1
000026ae: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffee1
000026cf: DUP2
000026d0: CALLDATASIZE
000026d1: SUB
000026d2: ADD
000026d3: DUP3
000026d4: SLT
000026d5: ISZERO
000026d6: PUSH2 0x019c
000026d9: JUMPI
000026da: ADD
000026db: SWAP1
000026dc: JUMP
000026dd: JUMPDEST
000026de: SWAP1
000026df: DUP2
000026e0: PUSH1 0x20
000026e2: SWAP2
000026e3: SUB
000026e4: SLT
000026e5: PUSH2 0x019c
000026e8: JUMPI
000026e9: MLOAD
000026ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026ff: DUP2
00002700: AND
00002701: DUP2
00002702: SUB
00002703: PUSH2 0x019c
00002706: JUMPI
00002707: SWAP1
00002708: JUMP
00002709: JUMPDEST
0000270a: PUSH1 0x1f
0000270c: DUP3
0000270d: PUSH1 0x20
0000270f: SWAP5
00002710: SWAP4
00002711: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002732: SWAP4
00002733: DUP2
00002734: DUP7
00002735: MSTORE
00002736: DUP7
00002737: DUP7
00002738: ADD
00002739: CALLDATACOPY
0000273a: PUSH1 0x00
0000273c: DUP6
0000273d: DUP3
0000273e: DUP7
0000273f: ADD
00002740: ADD
00002741: MSTORE
00002742: ADD
00002743: AND
00002744: ADD
00002745: ADD
00002746: SWAP1
00002747: JUMP
00002748: JUMPDEST
00002749: PUSH32 0x2da466a7b24304f47e87fa2e1e5a81b9831ce54fec19055ce277ca2f39ba42c4
0000276a: PUSH1 0x20
0000276c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002781: PUSH2 0x278a
00002784: CALLVALUE
00002785: DUP6
00002786: PUSH2 0x3c98
00002789: JUMP
0000278a: JUMPDEST
0000278b: SWAP4
0000278c: PUSH1 0x40
0000278e: MLOAD
0000278f: SWAP5
00002790: DUP6
00002791: MSTORE
00002792: AND
00002793: SWAP3
00002794: LOG2
00002795: JUMP
00002796: JUMPDEST
00002797: SWAP2
00002798: SWAP1
00002799: DUP2
0000279a: LT
0000279b: ISZERO
0000279c: PUSH2 0x266e
0000279f: JUMPI
000027a0: PUSH1 0x05
000027a2: SHL
000027a3: DUP2
000027a4: ADD
000027a5: CALLDATALOAD
000027a6: SWAP1
000027a7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa1
000027c8: DUP2
000027c9: CALLDATASIZE
000027ca: SUB
000027cb: ADD
000027cc: DUP3
000027cd: SLT
000027ce: ISZERO
000027cf: PUSH2 0x019c
000027d2: JUMPI
000027d3: ADD
000027d4: SWAP1
000027d5: JUMP
000027d6: JUMPDEST
000027d7: SWAP1
000027d8: CALLDATALOAD
000027d9: SWAP1
000027da: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
000027fb: DUP2
000027fc: CALLDATASIZE
000027fd: SUB
000027fe: ADD
000027ff: DUP3
00002800: SLT
00002801: ISZERO
00002802: PUSH2 0x019c
00002805: JUMPI
00002806: ADD
00002807: DUP1
00002808: CALLDATALOAD
00002809: SWAP1
0000280a: PUSH8 0xffffffffffffffff
00002813: DUP3
00002814: GT
00002815: PUSH2 0x019c
00002818: JUMPI
00002819: PUSH1 0x20
0000281b: ADD
0000281c: SWAP2
0000281d: DUP2
0000281e: PUSH1 0x05
00002820: SHL
00002821: CALLDATASIZE
00002822: SUB
00002823: DUP4
00002824: SGT
00002825: PUSH2 0x019c
00002828: JUMPI
00002829: JUMP
0000282a: JUMPDEST
0000282b: CALLDATALOAD
0000282c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002841: DUP2
00002842: AND
00002843: DUP2
00002844: SUB
00002845: PUSH2 0x019c
00002848: JUMPI
00002849: SWAP1
0000284a: JUMP
0000284b: JUMPDEST
0000284c: SWAP1
0000284d: CALLDATALOAD
0000284e: SWAP1
0000284f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
00002870: DUP2
00002871: CALLDATASIZE
00002872: SUB
00002873: ADD
00002874: DUP3
00002875: SLT
00002876: ISZERO
00002877: PUSH2 0x019c
0000287a: JUMPI
0000287b: ADD
0000287c: DUP1
0000287d: CALLDATALOAD
0000287e: SWAP1
0000287f: PUSH8 0xffffffffffffffff
00002888: DUP3
00002889: GT
0000288a: PUSH2 0x019c
0000288d: JUMPI
0000288e: PUSH1 0x20
00002890: ADD
00002891: SWAP2
00002892: DUP2
00002893: CALLDATASIZE
00002894: SUB
00002895: DUP4
00002896: SGT
00002897: PUSH2 0x019c
0000289a: JUMPI
0000289b: JUMP
0000289c: JUMPDEST
0000289d: SWAP1
0000289e: CALLDATALOAD
0000289f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe1
000028c0: DUP3
000028c1: CALLDATASIZE
000028c2: SUB
000028c3: ADD
000028c4: DUP2
000028c5: SLT
000028c6: ISZERO
000028c7: PUSH2 0x019c
000028ca: JUMPI
000028cb: ADD
000028cc: PUSH1 0x20
000028ce: DUP2
000028cf: CALLDATALOAD
000028d0: SWAP2
000028d1: ADD
000028d2: SWAP2
000028d3: PUSH8 0xffffffffffffffff
000028dc: DUP3
000028dd: GT
000028de: PUSH2 0x019c
000028e1: JUMPI
000028e2: DUP2
000028e3: CALLDATASIZE
000028e4: SUB
000028e5: DUP4
000028e6: SGT
000028e7: PUSH2 0x019c
000028ea: JUMPI
000028eb: JUMP
000028ec: JUMPDEST
000028ed: PUSH2 0x0120
000028f0: SWAP2
000028f1: DUP2
000028f2: CALLDATALOAD
000028f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002908: DUP2
00002909: AND
0000290a: DUP1
0000290b: SWAP2
0000290c: SUB
0000290d: PUSH2 0x019c
00002910: JUMPI
00002911: PUSH2 0x2962
00002914: PUSH2 0x2947
00002917: PUSH2 0x29ba
0000291a: SWAP6
0000291b: PUSH2 0x299b
0000291e: SWAP4
0000291f: DUP6
00002920: MSTORE
00002921: PUSH1 0x20
00002923: DUP7
00002924: ADD
00002925: CALLDATALOAD
00002926: PUSH1 0x20
00002928: DUP7
00002929: ADD
0000292a: MSTORE
0000292b: PUSH2 0x2937
0000292e: PUSH1 0x40
00002930: DUP8
00002931: ADD
00002932: DUP8
00002933: PUSH2 0x289c
00002936: JUMP
00002937: JUMPDEST
00002938: SWAP1
00002939: SWAP2
0000293a: DUP1
0000293b: PUSH1 0x40
0000293d: DUP9
0000293e: ADD
0000293f: MSTORE
00002940: DUP7
00002941: ADD
00002942: SWAP2
00002943: PUSH2 0x2709
00002946: JUMP
00002947: JUMPDEST
00002948: PUSH2 0x2954
0000294b: PUSH1 0x60
0000294d: DUP7
0000294e: ADD
0000294f: DUP7
00002950: PUSH2 0x289c
00002953: JUMP
00002954: JUMPDEST
00002955: SWAP1
00002956: DUP6
00002957: DUP4
00002958: SUB
00002959: PUSH1 0x60
0000295b: DUP8
0000295c: ADD
0000295d: MSTORE
0000295e: PUSH2 0x2709
00002961: JUMP
00002962: JUMPDEST
00002963: PUSH1 0x80
00002965: DUP5
00002966: ADD
00002967: CALLDATALOAD
00002968: PUSH1 0x80
0000296a: DUP5
0000296b: ADD
0000296c: MSTORE
0000296d: PUSH1 0xa0
0000296f: DUP5
00002970: ADD
00002971: CALLDATALOAD
00002972: PUSH1 0xa0
00002974: DUP5
00002975: ADD
00002976: MSTORE
00002977: PUSH1 0xc0
00002979: DUP5
0000297a: ADD
0000297b: CALLDATALOAD
0000297c: PUSH1 0xc0
0000297e: DUP5
0000297f: ADD
00002980: MSTORE
00002981: PUSH2 0x298d
00002984: PUSH1 0xe0
00002986: DUP6
00002987: ADD
00002988: DUP6
00002989: PUSH2 0x289c
0000298c: JUMP
0000298d: JUMPDEST
0000298e: SWAP1
0000298f: DUP5
00002990: DUP4
00002991: SUB
00002992: PUSH1 0xe0
00002994: DUP7
00002995: ADD
00002996: MSTORE
00002997: PUSH2 0x2709
0000299a: JUMP
0000299b: JUMPDEST
0000299c: SWAP2
0000299d: PUSH2 0x29ac
000029a0: PUSH2 0x0100
000029a3: SWAP2
000029a4: DUP3
000029a5: DUP2
000029a6: ADD
000029a7: SWAP1
000029a8: PUSH2 0x289c
000029ab: JUMP
000029ac: JUMPDEST
000029ad: SWAP3
000029ae: SWAP1
000029af: SWAP2
000029b0: DUP2
000029b1: DUP6
000029b2: SUB
000029b3: SWAP2
000029b4: ADD
000029b5: MSTORE
000029b6: PUSH2 0x2709
000029b9: JUMP
000029ba: JUMPDEST
000029bb: SWAP1
000029bc: JUMP
000029bd: JUMPDEST
000029be: PUSH1 0x02
000029c0: DUP1
000029c1: SLOAD
000029c2: EQ
000029c3: PUSH2 0x29cc
000029c6: JUMPI
000029c7: PUSH1 0x02
000029c9: DUP1
000029ca: SSTORE
000029cb: JUMP
000029cc: JUMPDEST
000029cd: PUSH1 0x04
000029cf: PUSH1 0x40
000029d1: MLOAD
000029d2: PUSH32 0x3ee5aeb500000000000000000000000000000000000000000000000000000000
000029f3: DUP2
000029f4: MSTORE
000029f5: REVERT
000029f6: JUMPDEST
000029f7: SWAP3
000029f8: PUSH1 0x00
000029fa: SWAP1
000029fb: GAS
000029fc: SWAP4
000029fd: DUP1
000029fe: MLOAD
000029ff: SWAP5
00002a00: DUP5
00002a01: CALLDATALOAD
00002a02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a17: DUP2
00002a18: AND
00002a19: DUP1
00002a1a: SWAP2
00002a1b: SUB
00002a1c: PUSH2 0x019c
00002a1f: JUMPI
00002a20: DUP7
00002a21: MSTORE
00002a22: PUSH1 0x20
00002a24: DUP6
00002a25: ADD
00002a26: CALLDATALOAD
00002a27: PUSH1 0x20
00002a29: DUP8
00002a2a: ADD
00002a2b: MSTORE
00002a2c: PUSH1 0x80
00002a2e: DUP6
00002a2f: ADD
00002a30: CALLDATALOAD
00002a31: PUSH16 0xffffffffffffffffffffffffffffffff
00002a42: SWAP1
00002a43: DUP2
00002a44: DUP2
00002a45: AND
00002a46: PUSH1 0x60
00002a48: DUP10
00002a49: ADD
00002a4a: MSTORE
00002a4b: PUSH1 0x80
00002a4d: SHR
00002a4e: PUSH1 0x40
00002a50: DUP9
00002a51: ADD
00002a52: MSTORE
00002a53: PUSH1 0xa0
00002a55: DUP7
00002a56: ADD
00002a57: CALLDATALOAD
00002a58: PUSH1 0xc0
00002a5a: DUP9
00002a5b: ADD
00002a5c: MSTORE
00002a5d: PUSH1 0xc0
00002a5f: DUP7
00002a60: ADD
00002a61: CALLDATALOAD
00002a62: SWAP1
00002a63: DUP2
00002a64: AND
00002a65: PUSH2 0x0100
00002a68: DUP9
00002a69: ADD
00002a6a: MSTORE
00002a6b: PUSH1 0x80
00002a6d: SHR
00002a6e: PUSH2 0x0120
00002a71: DUP8
00002a72: ADD
00002a73: MSTORE
00002a74: PUSH2 0x2a80
00002a77: PUSH1 0xe0
00002a79: DUP7
00002a7a: ADD
00002a7b: DUP7
00002a7c: PUSH2 0x284b
00002a7f: JUMP
00002a80: JUMPDEST
00002a81: DUP1
00002a82: ISZERO
00002a83: PUSH2 0x357b
00002a86: JUMPI
00002a87: PUSH1 0x34
00002a89: DUP2
00002a8a: LT
00002a8b: PUSH2 0x351d
00002a8e: JUMPI
00002a8f: DUP1
00002a90: PUSH1 0x14
00002a92: GT
00002a93: PUSH2 0x019c
00002a96: JUMPI
00002a97: DUP1
00002a98: PUSH1 0x24
00002a9a: GT
00002a9b: PUSH2 0x019c
00002a9e: JUMPI
00002a9f: PUSH1 0x34
00002aa1: GT
00002aa2: PUSH2 0x019c
00002aa5: JUMPI
00002aa6: PUSH1 0x24
00002aa8: DUP2
00002aa9: ADD
00002aaa: CALLDATALOAD
00002aab: PUSH1 0x80
00002aad: SHR
00002aae: PUSH1 0xa0
00002ab0: DUP9
00002ab1: ADD
00002ab2: MSTORE
00002ab3: PUSH1 0x14
00002ab5: DUP2
00002ab6: ADD
00002ab7: CALLDATALOAD
00002ab8: PUSH1 0x80
00002aba: SHR
00002abb: PUSH1 0x80
00002abd: DUP9
00002abe: ADD
00002abf: MSTORE
00002ac0: CALLDATALOAD
00002ac1: PUSH1 0x60
00002ac3: SHR
00002ac4: PUSH1 0xe0
00002ac6: DUP8
00002ac7: ADD
00002ac8: MSTORE
00002ac9: JUMPDEST
00002aca: PUSH2 0x2ad2
00002acd: DUP6
00002ace: PUSH2 0x2480
00002ad1: JUMP
00002ad2: JUMPDEST
00002ad3: PUSH1 0x20
00002ad5: DUP4
00002ad6: ADD
00002ad7: MSTORE
00002ad8: PUSH1 0x40
00002ada: DUP7
00002adb: ADD
00002adc: MLOAD
00002add: SWAP5
00002ade: PUSH15 0xffffffffffffffffffffffffffffff
00002aee: DUP7
00002aef: PUSH1 0xc0
00002af1: DUP10
00002af2: ADD
00002af3: MLOAD
00002af4: OR
00002af5: PUSH1 0x60
00002af7: DUP10
00002af8: ADD
00002af9: MLOAD
00002afa: OR
00002afb: PUSH1 0x80
00002afd: DUP10
00002afe: ADD
00002aff: MLOAD
00002b00: OR
00002b01: PUSH1 0xa0
00002b03: DUP10
00002b04: ADD
00002b05: MLOAD
00002b06: OR
00002b07: PUSH2 0x0100
00002b0a: DUP10
00002b0b: ADD
00002b0c: MLOAD
00002b0d: OR
00002b0e: PUSH2 0x0120
00002b11: DUP10
00002b12: ADD
00002b13: MLOAD
00002b14: OR
00002b15: GT
00002b16: PUSH2 0x34bf
00002b19: JUMPI
00002b1a: PUSH1 0x40
00002b1c: DUP8
00002b1d: ADD
00002b1e: MLOAD
00002b1f: PUSH1 0x60
00002b21: DUP9
00002b22: ADD
00002b23: MLOAD
00002b24: ADD
00002b25: PUSH1 0x80
00002b27: DUP9
00002b28: ADD
00002b29: MLOAD
00002b2a: ADD
00002b2b: PUSH1 0xa0
00002b2d: DUP9
00002b2e: ADD
00002b2f: MLOAD
00002b30: ADD
00002b31: PUSH1 0xc0
00002b33: DUP9
00002b34: ADD
00002b35: MLOAD
00002b36: ADD
00002b37: PUSH2 0x0100
00002b3a: DUP9
00002b3b: ADD
00002b3c: MLOAD
00002b3d: MUL
00002b3e: SWAP7
00002b3f: DUP4
00002b40: MLOAD
00002b41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b56: DUP2
00002b57: MLOAD
00002b58: AND
00002b59: SWAP1
00002b5a: PUSH2 0x2b66
00002b5d: PUSH1 0x40
00002b5f: DUP6
00002b60: ADD
00002b61: DUP6
00002b62: PUSH2 0x284b
00002b65: JUMP
00002b66: JUMPDEST
00002b67: DUP1
00002b68: PUSH2 0x31e4
00002b6b: JUMPI
00002b6c: JUMPDEST
00002b6d: POP
00002b6e: POP
00002b6f: PUSH1 0xe0
00002b71: ADD
00002b72: MLOAD
00002b73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b88: AND
00002b89: SWAP1
00002b8a: PUSH1 0x00
00002b8c: DUP3
00002b8d: ISZERO
00002b8e: PUSH2 0x31ac
00002b91: JUMPI
00002b92: JUMPDEST
00002b93: PUSH1 0x20
00002b95: PUSH2 0x2bd7
00002b98: SWAP2
00002b99: DUP12
00002b9a: DUP3
00002b9b: DUP11
00002b9c: ADD
00002b9d: MLOAD
00002b9e: PUSH1 0x00
00002ba0: DUP7
00002ba1: DUP11
00002ba2: PUSH1 0x40
00002ba4: MLOAD
00002ba5: SWAP8
00002ba6: DUP9
00002ba7: SWAP7
00002ba8: DUP8
00002ba9: SWAP6
00002baa: DUP7
00002bab: SWAP4
00002bac: PUSH32 0x19822f7c00000000000000000000000000000000000000000000000000000000
00002bcd: DUP6
00002bce: MSTORE
00002bcf: PUSH1 0x04
00002bd1: DUP6
00002bd2: ADD
00002bd3: PUSH2 0x3db5
00002bd6: JUMP
00002bd7: JUMPDEST
00002bd8: SUB
00002bd9: SWAP4
00002bda: CALL
00002bdb: PUSH1 0x00
00002bdd: SWAP2
00002bde: DUP2
00002bdf: PUSH2 0x3178
00002be2: JUMPI
00002be3: JUMPDEST
00002be4: POP
00002be5: PUSH2 0x2c8b
00002be8: JUMPI
00002be9: RETURNDATASIZE
00002bea: DUP13
00002beb: PUSH2 0x0800
00002bee: DUP1
00002bef: DUP4
00002bf0: GT
00002bf1: PUSH2 0x2c83
00002bf4: JUMPI
00002bf5: JUMPDEST
00002bf6: POP
00002bf7: PUSH1 0x40
00002bf9: MLOAD
00002bfa: SWAP2
00002bfb: PUSH1 0x20
00002bfd: DUP2
00002bfe: DUP5
00002bff: ADD
00002c00: ADD
00002c01: PUSH1 0x40
00002c03: MSTORE
00002c04: DUP1
00002c05: DUP4
00002c06: MSTORE
00002c07: PUSH1 0x00
00002c09: PUSH1 0x20
00002c0b: DUP5
00002c0c: ADD
00002c0d: RETURNDATACOPY
00002c0e: PUSH2 0x0e7e
00002c11: PUSH1 0x40
00002c13: MLOAD
00002c14: SWAP3
00002c15: DUP4
00002c16: SWAP3
00002c17: PUSH32 0x65c8fd4d00000000000000000000000000000000000000000000000000000000
00002c38: DUP5
00002c39: MSTORE
00002c3a: PUSH1 0x04
00002c3c: DUP5
00002c3d: ADD
00002c3e: MSTORE
00002c3f: PUSH1 0x60
00002c41: PUSH1 0x24
00002c43: DUP5
00002c44: ADD
00002c45: MSTORE
00002c46: PUSH1 0x0d
00002c48: PUSH1 0x64
00002c4a: DUP5
00002c4b: ADD
00002c4c: MSTORE
00002c4d: PUSH32 0x4141323320726576657274656400000000000000000000000000000000000000
00002c6e: PUSH1 0x84
00002c70: DUP5
00002c71: ADD
00002c72: MSTORE
00002c73: PUSH1 0xa0
00002c75: PUSH1 0x44
00002c77: DUP5
00002c78: ADD
00002c79: MSTORE
00002c7a: PUSH1 0xa4
00002c7c: DUP4
00002c7d: ADD
00002c7e: SWAP1
00002c7f: PUSH2 0x23c6
00002c82: JUMP
00002c83: JUMPDEST
00002c84: SWAP2
00002c85: POP
00002c86: DUP3
00002c87: PUSH2 0x2bf5
00002c8a: JUMP
00002c8b: JUMPDEST
00002c8c: SWAP11
00002c8d: SWAP3
00002c8e: SWAP4
00002c8f: SWAP5
00002c90: SWAP6
00002c91: SWAP7
00002c92: SWAP8
00002c93: SWAP9
00002c94: SWAP10
00002c95: SWAP11
00002c96: SWAP2
00002c97: ISZERO
00002c98: PUSH2 0x30f2
00002c9b: JUMPI
00002c9c: JUMPDEST
00002c9d: POP
00002c9e: SWAP8
00002c9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cb4: DUP4
00002cb5: MLOAD
00002cb6: AND
00002cb7: PUSH1 0x20
00002cb9: DUP5
00002cba: ADD
00002cbb: MLOAD
00002cbc: SWAP1
00002cbd: PUSH1 0x00
00002cbf: MSTORE
00002cc0: PUSH1 0x01
00002cc2: PUSH1 0x20
00002cc4: MSTORE
00002cc5: PUSH1 0x40
00002cc7: PUSH1 0x00
00002cc9: KECCAK256
00002cca: DUP2
00002ccb: PUSH1 0x40
00002ccd: SHR
00002cce: PUSH1 0x00
00002cd0: MSTORE
00002cd1: PUSH1 0x20
00002cd3: MSTORE
00002cd4: PUSH8 0xffffffffffffffff
00002cdd: PUSH1 0x40
00002cdf: PUSH1 0x00
00002ce1: KECCAK256
00002ce2: SWAP2
00002ce3: DUP3
00002ce4: SLOAD
00002ce5: SWAP3
00002ce6: PUSH2 0x2cee
00002ce9: DUP5
00002cea: PUSH2 0x2416
00002ced: JUMP
00002cee: JUMPDEST
00002cef: SWAP1
00002cf0: SSTORE
00002cf1: AND
00002cf2: SUB
00002cf3: PUSH2 0x308d
00002cf6: JUMPI
00002cf7: GAS
00002cf8: DUP6
00002cf9: SUB
00002cfa: GT
00002cfb: PUSH2 0x3028
00002cfe: JUMPI
00002cff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d14: PUSH1 0xe0
00002d16: PUSH1 0x60
00002d18: SWAP4
00002d19: ADD
00002d1a: MLOAD
00002d1b: AND
00002d1c: PUSH2 0x2d42
00002d1f: JUMPI
00002d20: JUMPDEST
00002d21: POP
00002d22: SWAP1
00002d23: PUSH1 0xa0
00002d25: SWAP2
00002d26: DUP5
00002d27: SWAP6
00002d28: SWAP7
00002d29: SWAP8
00002d2a: SWAP9
00002d2b: PUSH1 0x40
00002d2d: PUSH1 0x80
00002d2f: SWAP7
00002d30: ADD
00002d31: MSTORE
00002d32: PUSH1 0x60
00002d34: DUP7
00002d35: ADD
00002d36: MSTORE
00002d37: ADD
00002d38: CALLDATALOAD
00002d39: SWAP1
00002d3a: GAS
00002d3b: SWAP1
00002d3c: SUB
00002d3d: ADD
00002d3e: SWAP2
00002d3f: ADD
00002d40: MSTORE
00002d41: JUMP
00002d42: JUMPDEST
00002d43: SWAP7
00002d44: SWAP6
00002d45: POP
00002d46: POP
00002d47: GAS
00002d48: SWAP7
00002d49: DUP4
00002d4a: MLOAD
00002d4b: SWAP8
00002d4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d61: PUSH1 0xe0
00002d63: DUP11
00002d64: ADD
00002d65: MLOAD
00002d66: AND
00002d67: DUP1
00002d68: PUSH1 0x00
00002d6a: MSTORE
00002d6b: PUSH1 0x00
00002d6d: PUSH1 0x20
00002d6f: MSTORE
00002d70: PUSH1 0x40
00002d72: PUSH1 0x00
00002d74: KECCAK256
00002d75: DUP1
00002d76: SLOAD
00002d77: DUP5
00002d78: DUP2
00002d79: LT
00002d7a: PUSH2 0x2fc3
00002d7d: JUMPI
00002d7e: PUSH1 0x80
00002d80: PUSH2 0x2dcd
00002d83: SWAP11
00002d84: SWAP12
00002d85: SWAP13
00002d86: PUSH1 0x00
00002d88: SWAP4
00002d89: DUP8
00002d8a: DUP1
00002d8b: SWAP5
00002d8c: SUB
00002d8d: SWAP1
00002d8e: SSTORE
00002d8f: ADD
00002d90: MLOAD
00002d91: SWAP3
00002d92: PUSH1 0x20
00002d94: DUP10
00002d95: ADD
00002d96: MLOAD
00002d97: DUP4
00002d98: PUSH1 0x40
00002d9a: MLOAD
00002d9b: DUP1
00002d9c: SWAP14
00002d9d: DUP2
00002d9e: SWAP6
00002d9f: DUP3
00002da0: SWAP5
00002da1: PUSH32 0x52b7512c00000000000000000000000000000000000000000000000000000000
00002dc2: DUP5
00002dc3: MSTORE
00002dc4: DUP13
00002dc5: PUSH1 0x04
00002dc7: DUP6
00002dc8: ADD
00002dc9: PUSH2 0x3db5
00002dcc: JUMP
00002dcd: JUMPDEST
00002dce: SUB
00002dcf: SWAP3
00002dd0: DUP7
00002dd1: CALL
00002dd2: SWAP8
00002dd3: DUP9
00002dd4: PUSH1 0x00
00002dd6: SWAP2
00002dd7: PUSH1 0x00
00002dd9: SWAP11
00002dda: PUSH2 0x2f36
00002ddd: JUMPI
00002dde: JUMPDEST
00002ddf: POP
00002de0: PUSH2 0x2e86
00002de3: JUMPI
00002de4: RETURNDATASIZE
00002de5: DUP12
00002de6: PUSH2 0x0800
00002de9: DUP1
00002dea: DUP4
00002deb: GT
00002dec: PUSH2 0x2e7e
00002def: JUMPI
00002df0: JUMPDEST
00002df1: POP
00002df2: PUSH1 0x40
00002df4: MLOAD
00002df5: SWAP2
00002df6: PUSH1 0x20
00002df8: DUP2
00002df9: DUP5
00002dfa: ADD
00002dfb: ADD
00002dfc: PUSH1 0x40
00002dfe: MSTORE
00002dff: DUP1
00002e00: DUP4
00002e01: MSTORE
00002e02: PUSH1 0x00
00002e04: PUSH1 0x20
00002e06: DUP5
00002e07: ADD
00002e08: RETURNDATACOPY
00002e09: PUSH2 0x0e7e
00002e0c: PUSH1 0x40
00002e0e: MLOAD
00002e0f: SWAP3
00002e10: DUP4
00002e11: SWAP3
00002e12: PUSH32 0x65c8fd4d00000000000000000000000000000000000000000000000000000000
00002e33: DUP5
00002e34: MSTORE
00002e35: PUSH1 0x04
00002e37: DUP5
00002e38: ADD
00002e39: MSTORE
00002e3a: PUSH1 0x60
00002e3c: PUSH1 0x24
00002e3e: DUP5
00002e3f: ADD
00002e40: MSTORE
00002e41: PUSH1 0x0d
00002e43: PUSH1 0x64
00002e45: DUP5
00002e46: ADD
00002e47: MSTORE
00002e48: PUSH32 0x4141333320726576657274656400000000000000000000000000000000000000
00002e69: PUSH1 0x84
00002e6b: DUP5
00002e6c: ADD
00002e6d: MSTORE
00002e6e: PUSH1 0xa0
00002e70: PUSH1 0x44
00002e72: DUP5
00002e73: ADD
00002e74: MSTORE
00002e75: PUSH1 0xa4
00002e77: DUP4
00002e78: ADD
00002e79: SWAP1
00002e7a: PUSH2 0x23c6
00002e7d: JUMP
00002e7e: JUMPDEST
00002e7f: SWAP2
00002e80: POP
00002e81: DUP3
00002e82: PUSH2 0x2df0
00002e85: JUMP
00002e86: JUMPDEST
00002e87: SWAP10
00002e88: SWAP2
00002e89: SWAP3
00002e8a: SWAP4
00002e8b: SWAP5
00002e8c: SWAP6
00002e8d: SWAP7
00002e8e: SWAP8
00002e8f: SWAP9
00002e90: SWAP10
00002e91: SWAP9
00002e92: SWAP3
00002e93: GAS
00002e94: SWAP1
00002e95: SUB
00002e96: GT
00002e97: PUSH2 0x2eab
00002e9a: JUMPI
00002e9b: POP
00002e9c: SWAP1
00002e9d: SWAP7
00002e9e: SWAP6
00002e9f: SWAP1
00002ea0: SWAP5
00002ea1: SWAP4
00002ea2: SWAP3
00002ea3: SWAP2
00002ea4: SWAP1
00002ea5: PUSH1 0x80
00002ea7: PUSH2 0x2d20
00002eaa: JUMP
00002eab: JUMPDEST
00002eac: PUSH1 0xa4
00002eae: SWAP1
00002eaf: PUSH1 0x40
00002eb1: MLOAD
00002eb2: SWAP1
00002eb3: PUSH32 0x220266b600000000000000000000000000000000000000000000000000000000
00002ed4: DUP3
00002ed5: MSTORE
00002ed6: PUSH1 0x04
00002ed8: DUP3
00002ed9: ADD
00002eda: MSTORE
00002edb: PUSH1 0x40
00002edd: PUSH1 0x24
00002edf: DUP3
00002ee0: ADD
00002ee1: MSTORE
00002ee2: PUSH1 0x27
00002ee4: PUSH1 0x44
00002ee6: DUP3
00002ee7: ADD
00002ee8: MSTORE
00002ee9: PUSH32 0x41413336206f766572207061796d6173746572566572696669636174696f6e47
00002f0a: PUSH1 0x64
00002f0c: DUP3
00002f0d: ADD
00002f0e: MSTORE
00002f0f: PUSH32 0x61734c696d697400000000000000000000000000000000000000000000000000
00002f30: PUSH1 0x84
00002f32: DUP3
00002f33: ADD
00002f34: MSTORE
00002f35: REVERT
00002f36: JUMPDEST
00002f37: SWAP2
00002f38: POP
00002f39: SWAP9
00002f3a: POP
00002f3b: RETURNDATASIZE
00002f3c: SWAP1
00002f3d: DUP2
00002f3e: PUSH1 0x00
00002f40: DUP3
00002f41: RETURNDATACOPY
00002f42: PUSH2 0x2f4b
00002f45: DUP3
00002f46: DUP3
00002f47: PUSH2 0x21ed
00002f4a: JUMP
00002f4b: JUMPDEST
00002f4c: PUSH1 0x40
00002f4e: DUP2
00002f4f: DUP4
00002f50: DUP2
00002f51: ADD
00002f52: SUB
00002f53: SLT
00002f54: PUSH2 0x019c
00002f57: JUMPI
00002f58: DUP1
00002f59: MLOAD
00002f5a: SWAP1
00002f5b: PUSH8 0xffffffffffffffff
00002f64: DUP3
00002f65: GT
00002f66: PUSH2 0x019c
00002f69: JUMPI
00002f6a: DUP3
00002f6b: DUP2
00002f6c: ADD
00002f6d: PUSH1 0x1f
00002f6f: DUP4
00002f70: DUP4
00002f71: ADD
00002f72: ADD
00002f73: SLT
00002f74: ISZERO
00002f75: PUSH2 0x019c
00002f78: JUMPI
00002f79: DUP2
00002f7a: DUP2
00002f7b: ADD
00002f7c: MLOAD
00002f7d: SWAP2
00002f7e: PUSH2 0x2f86
00002f81: DUP4
00002f82: PUSH2 0x222e
00002f85: JUMP
00002f86: JUMPDEST
00002f87: SWAP4
00002f88: PUSH2 0x2f94
00002f8b: PUSH1 0x40
00002f8d: MLOAD
00002f8e: SWAP6
00002f8f: DUP7
00002f90: PUSH2 0x21ed
00002f93: JUMP
00002f94: JUMPDEST
00002f95: DUP4
00002f96: DUP6
00002f97: MSTORE
00002f98: DUP3
00002f99: ADD
00002f9a: PUSH1 0x20
00002f9c: DUP5
00002f9d: DUP4
00002f9e: DUP6
00002f9f: ADD
00002fa0: ADD
00002fa1: ADD
00002fa2: GT
00002fa3: PUSH2 0x019c
00002fa6: JUMPI
00002fa7: PUSH1 0x20
00002fa9: SWAP3
00002faa: PUSH2 0x2fba
00002fad: SWAP2
00002fae: DUP5
00002faf: DUP1
00002fb0: DUP8
00002fb1: ADD
00002fb2: SWAP2
00002fb3: DUP6
00002fb4: ADD
00002fb5: ADD
00002fb6: PUSH2 0x23a3
00002fb9: JUMP
00002fba: JUMPDEST
00002fbb: ADD
00002fbc: MLOAD
00002fbd: SWAP9
00002fbe: CODESIZE
00002fbf: PUSH2 0x2dde
00002fc2: JUMP
00002fc3: JUMPDEST
00002fc4: PUSH1 0x84
00002fc6: DUP12
00002fc7: PUSH1 0x40
00002fc9: MLOAD
00002fca: SWAP1
00002fcb: PUSH32 0x220266b600000000000000000000000000000000000000000000000000000000
00002fec: DUP3
00002fed: MSTORE
00002fee: PUSH1 0x04
00002ff0: DUP3
00002ff1: ADD
00002ff2: MSTORE
00002ff3: PUSH1 0x40
00002ff5: PUSH1 0x24
00002ff7: DUP3
00002ff8: ADD
00002ff9: MSTORE
00002ffa: PUSH1 0x1e
00002ffc: PUSH1 0x44
00002ffe: DUP3
00002fff: ADD
00003000: MSTORE
00003001: PUSH32 0x41413331207061796d6173746572206465706f73697420746f6f206c6f770000
00003022: PUSH1 0x64
00003024: DUP3
00003025: ADD
00003026: MSTORE
00003027: REVERT
00003028: JUMPDEST
00003029: PUSH1 0x84
0000302b: SWAP1
0000302c: PUSH1 0x40
0000302e: MLOAD
0000302f: SWAP1
00003030: PUSH32 0x220266b600000000000000000000000000000000000000000000000000000000
00003051: DUP3
00003052: MSTORE
00003053: PUSH1 0x04
00003055: DUP3
00003056: ADD
00003057: MSTORE
00003058: PUSH1 0x40
0000305a: PUSH1 0x24
0000305c: DUP3
0000305d: ADD
0000305e: MSTORE
0000305f: PUSH1 0x1e
00003061: PUSH1 0x44
00003063: DUP3
00003064: ADD
00003065: MSTORE
00003066: PUSH32 0x41413236206f76657220766572696669636174696f6e4761734c696d69740000
00003087: PUSH1 0x64
00003089: DUP3
0000308a: ADD
0000308b: MSTORE
0000308c: REVERT
0000308d: JUMPDEST
0000308e: PUSH1 0x84
00003090: DUP3
00003091: PUSH1 0x40
00003093: MLOAD
00003094: SWAP1
00003095: PUSH32 0x220266b600000000000000000000000000000000000000000000000000000000
000030b6: DUP3
000030b7: MSTORE
000030b8: PUSH1 0x04
000030ba: DUP3
000030bb: ADD
000030bc: MSTORE
000030bd: PUSH1 0x40
000030bf: PUSH1 0x24
000030c1: DUP3
000030c2: ADD
000030c3: MSTORE
000030c4: PUSH1 0x1a
000030c6: PUSH1 0x44
000030c8: DUP3
000030c9: ADD
000030ca: MSTORE
000030cb: PUSH32 0x4141323520696e76616c6964206163636f756e74206e6f6e6365000000000000
000030ec: PUSH1 0x64
000030ee: DUP3
000030ef: ADD
000030f0: MSTORE
000030f1: REVERT
000030f2: JUMPDEST
000030f3: PUSH1 0x00
000030f5: MSTORE
000030f6: PUSH1 0x00
000030f8: PUSH1 0x20
000030fa: MSTORE
000030fb: PUSH1 0x40
000030fd: PUSH1 0x00
000030ff: KECCAK256
00003100: DUP1
00003101: SLOAD
00003102: DUP1
00003103: DUP13
00003104: GT
00003105: PUSH2 0x3113
00003108: JUMPI
00003109: DUP12
0000310a: SWAP1
0000310b: SUB
0000310c: SWAP1
0000310d: SSTORE
0000310e: CODESIZE
0000310f: PUSH2 0x2c9c
00003112: JUMP
00003113: JUMPDEST
00003114: PUSH1 0x84
00003116: DUP5
00003117: PUSH1 0x40
00003119: MLOAD
0000311a: SWAP1
0000311b: PUSH32 0x220266b600000000000000000000000000000000000000000000000000000000
0000313c: DUP3
0000313d: MSTORE
0000313e: PUSH1 0x04
00003140: DUP3
00003141: ADD
00003142: MSTORE
00003143: PUSH1 0x40
00003145: PUSH1 0x24
00003147: DUP3
00003148: ADD
00003149: MSTORE
0000314a: PUSH1 0x17
0000314c: PUSH1 0x44
0000314e: DUP3
0000314f: ADD
00003150: MSTORE
00003151: PUSH32 0x41413231206469646e2774207061792070726566756e64000000000000000000
00003172: PUSH1 0x64
00003174: DUP3
00003175: ADD
00003176: MSTORE
00003177: REVERT
00003178: JUMPDEST
00003179: SWAP1
0000317a: SWAP2
0000317b: POP
0000317c: PUSH1 0x20
0000317e: DUP2
0000317f: RETURNDATASIZE
00003180: PUSH1 0x20
00003182: GT
00003183: PUSH2 0x31a4
00003186: JUMPI
00003187: JUMPDEST
00003188: DUP2
00003189: PUSH2 0x3194
0000318c: PUSH1 0x20
0000318e: SWAP4
0000318f: DUP4
00003190: PUSH2 0x21ed
00003193: JUMP
00003194: JUMPDEST
00003195: DUP2
00003196: ADD
00003197: SUB
00003198: SLT
00003199: PUSH2 0x019c
0000319c: JUMPI
0000319d: MLOAD
0000319e: SWAP1
0000319f: CODESIZE
000031a0: PUSH2 0x2be3
000031a3: JUMP
000031a4: JUMPDEST
000031a5: RETURNDATASIZE
000031a6: SWAP2
000031a7: POP
000031a8: PUSH2 0x3187
000031ab: JUMP
000031ac: JUMPDEST
000031ad: POP
000031ae: DUP1
000031af: PUSH1 0x00
000031b1: MSTORE
000031b2: PUSH1 0x00
000031b4: PUSH1 0x20
000031b6: MSTORE
000031b7: PUSH1 0x40
000031b9: PUSH1 0x00
000031bb: KECCAK256
000031bc: SLOAD
000031bd: DUP11
000031be: DUP2
000031bf: GT
000031c0: PUSH1 0x00
000031c2: EQ
000031c3: PUSH2 0x31d7
000031c6: JUMPI
000031c7: POP
000031c8: PUSH2 0x2bd7
000031cb: PUSH1 0x20
000031cd: PUSH1 0x00
000031cf: JUMPDEST
000031d0: SWAP2
000031d1: POP
000031d2: POP
000031d3: PUSH2 0x2b92
000031d6: JUMP
000031d7: JUMPDEST
000031d8: PUSH1 0x20
000031da: PUSH2 0x2bd7
000031dd: SWAP2
000031de: DUP13
000031df: SUB
000031e0: PUSH2 0x31cf
000031e3: JUMP
000031e4: JUMPDEST
000031e5: DUP4
000031e6: EXTCODESIZE
000031e7: PUSH2 0x345a
000031ea: JUMPI
000031eb: PUSH1 0x40
000031ed: DUP9
000031ee: MLOAD
000031ef: ADD
000031f0: MLOAD
000031f1: PUSH1 0x20
000031f3: PUSH1 0x40
000031f5: MLOAD
000031f6: DUP1
000031f7: SWAP3
000031f8: PUSH32 0x570e1a3600000000000000000000000000000000000000000000000000000000
00003219: DUP3
0000321a: MSTORE
0000321b: DUP3
0000321c: PUSH1 0x04
0000321e: DUP4
0000321f: ADD
00003220: MSTORE
00003221: DUP2
00003222: PUSH1 0x00
00003224: DUP2
00003225: PUSH2 0x3232
00003228: PUSH1 0x24
0000322a: DUP3
0000322b: ADD
0000322c: DUP10
0000322d: DUP12
0000322e: PUSH2 0x2709
00003231: JUMP
00003232: JUMPDEST
00003233: SUB
00003234: SWAP3
00003235: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000324a: PUSH32 0x000000000000000000000000efc2c1444ebcc4db75e7613d20c6a62ff67a167c
0000326b: AND
0000326c: SWAP1
0000326d: CALL
0000326e: SWAP1
0000326f: DUP2
00003270: ISZERO
00003271: PUSH2 0x0db7
00003274: JUMPI
00003275: PUSH1 0x00
00003277: SWAP2
00003278: PUSH2 0x343b
0000327b: JUMPI
0000327c: JUMPDEST
0000327d: POP
0000327e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003293: DUP2
00003294: AND
00003295: DUP1
00003296: ISZERO
00003297: PUSH2 0x33d6
0000329a: JUMPI
0000329b: DUP6
0000329c: SUB
0000329d: PUSH2 0x3371
000032a0: JUMPI
000032a1: EXTCODESIZE
000032a2: ISZERO
000032a3: PUSH2 0x330c
000032a6: JUMPI
000032a7: PUSH1 0x14
000032a9: GT
000032aa: PUSH2 0x019c
000032ad: JUMPI
000032ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032c3: SWAP2
000032c4: DUP4
000032c5: DUP9
000032c6: PUSH32 0xd51a9c61267aa6196961883ecf5ff2da6619c37dac0fa92122513fb32c032d2d
000032e7: PUSH1 0x40
000032e9: PUSH1 0xe0
000032eb: SWAP6
000032ec: DUP8
000032ed: DUP8
000032ee: PUSH1 0x20
000032f0: DUP7
000032f1: ADD
000032f2: MLOAD
000032f3: SWAP6
000032f4: MLOAD
000032f5: ADD
000032f6: MLOAD
000032f7: AND
000032f8: DUP3
000032f9: MLOAD
000032fa: SWAP2
000032fb: CALLDATALOAD
000032fc: PUSH1 0x60
000032fe: SHR
000032ff: DUP3
00003300: MSTORE
00003301: PUSH1 0x20
00003303: DUP3
00003304: ADD
00003305: MSTORE
00003306: LOG3
00003307: SWAP2
00003308: PUSH2 0x2b6c
0000330b: JUMP
0000330c: JUMPDEST
0000330d: PUSH1 0x84
0000330f: DUP14
00003310: PUSH1 0x40
00003312: MLOAD
00003313: SWAP1
00003314: PUSH32 0x220266b600000000000000000000000000000000000000000000000000000000
00003335: DUP3
00003336: MSTORE
00003337: PUSH1 0x04
00003339: DUP3
0000333a: ADD
0000333b: MSTORE
0000333c: PUSH1 0x40
0000333e: PUSH1 0x24
00003340: DUP3
00003341: ADD
00003342: MSTORE
00003343: PUSH1 0x20
00003345: PUSH1 0x44
00003347: DUP3
00003348: ADD
00003349: MSTORE
0000334a: PUSH32 0x4141313520696e6974436f6465206d757374206372656174652073656e646572
0000336b: PUSH1 0x64
0000336d: DUP3
0000336e: ADD
0000336f: MSTORE
00003370: REVERT
00003371: JUMPDEST
00003372: PUSH1 0x84
00003374: DUP15
00003375: PUSH1 0x40
00003377: MLOAD
00003378: SWAP1
00003379: PUSH32 0x220266b600000000000000000000000000000000000000000000000000000000
0000339a: DUP3
0000339b: MSTORE
0000339c: PUSH1 0x04
0000339e: DUP3
0000339f: ADD
000033a0: MSTORE
000033a1: PUSH1 0x40
000033a3: PUSH1 0x24
000033a5: DUP3
000033a6: ADD
000033a7: MSTORE
000033a8: PUSH1 0x20
000033aa: PUSH1 0x44
000033ac: DUP3
000033ad: ADD
000033ae: MSTORE
000033af: PUSH32 0x4141313420696e6974436f6465206d7573742072657475726e2073656e646572
000033d0: PUSH1 0x64
000033d2: DUP3
000033d3: ADD
000033d4: MSTORE
000033d5: REVERT
000033d6: JUMPDEST
000033d7: PUSH1 0x84
000033d9: DUP16
000033da: PUSH1 0x40
000033dc: MLOAD
000033dd: SWAP1
000033de: PUSH32 0x220266b600000000000000000000000000000000000000000000000000000000
000033ff: DUP3
00003400: MSTORE
00003401: PUSH1 0x04
00003403: DUP3
00003404: ADD
00003405: MSTORE
00003406: PUSH1 0x40
00003408: PUSH1 0x24
0000340a: DUP3
0000340b: ADD
0000340c: MSTORE
0000340d: PUSH1 0x1b
0000340f: PUSH1 0x44
00003411: DUP3
00003412: ADD
00003413: MSTORE
00003414: PUSH32 0x4141313320696e6974436f6465206661696c6564206f72204f4f470000000000
00003435: PUSH1 0x64
00003437: DUP3
00003438: ADD
00003439: MSTORE
0000343a: REVERT
0000343b: JUMPDEST
0000343c: PUSH2 0x3454
0000343f: SWAP2
00003440: POP
00003441: PUSH1 0x20
00003443: RETURNDATASIZE
00003444: PUSH1 0x20
00003446: GT
00003447: PUSH2 0x0db0
0000344a: JUMPI
0000344b: PUSH2 0x0da1
0000344e: DUP2
0000344f: DUP4
00003450: PUSH2 0x21ed
00003453: JUMP
00003454: JUMPDEST
00003455: CODESIZE
00003456: PUSH2 0x327c
00003459: JUMP
0000345a: JUMPDEST
0000345b: PUSH1 0x84
0000345d: DUP14
0000345e: PUSH1 0x40
00003460: MLOAD
00003461: SWAP1
00003462: PUSH32 0x220266b600000000000000000000000000000000000000000000000000000000
00003483: DUP3
00003484: MSTORE
00003485: PUSH1 0x04
00003487: DUP3
00003488: ADD
00003489: MSTORE
0000348a: PUSH1 0x40
0000348c: PUSH1 0x24
0000348e: DUP3
0000348f: ADD
00003490: MSTORE
00003491: PUSH1 0x1f
00003493: PUSH1 0x44
00003495: DUP3
00003496: ADD
00003497: MSTORE
00003498: PUSH32 0x414131302073656e64657220616c726561647920636f6e737472756374656400
000034b9: PUSH1 0x64
000034bb: DUP3
000034bc: ADD
000034bd: MSTORE
000034be: REVERT
000034bf: JUMPDEST
000034c0: PUSH1 0x64
000034c2: PUSH1 0x40
000034c4: MLOAD
000034c5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000034e6: DUP2
000034e7: MSTORE
000034e8: PUSH1 0x20
000034ea: PUSH1 0x04
000034ec: DUP3
000034ed: ADD
000034ee: MSTORE
000034ef: PUSH1 0x18
000034f1: PUSH1 0x24
000034f3: DUP3
000034f4: ADD
000034f5: MSTORE
000034f6: PUSH32 0x41413934206761732076616c756573206f766572666c6f770000000000000000
00003517: PUSH1 0x44
00003519: DUP3
0000351a: ADD
0000351b: MSTORE
0000351c: REVERT
0000351d: JUMPDEST
0000351e: PUSH1 0x64
00003520: PUSH1 0x40
00003522: MLOAD
00003523: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003544: DUP2
00003545: MSTORE
00003546: PUSH1 0x20
00003548: PUSH1 0x04
0000354a: DUP3
0000354b: ADD
0000354c: MSTORE
0000354d: PUSH1 0x1d
0000354f: PUSH1 0x24
00003551: DUP3
00003552: ADD
00003553: MSTORE
00003554: PUSH32 0x4141393320696e76616c6964207061796d6173746572416e6444617461000000
00003575: PUSH1 0x44
00003577: DUP3
00003578: ADD
00003579: MSTORE
0000357a: REVERT
0000357b: JUMPDEST
0000357c: POP
0000357d: POP
0000357e: PUSH1 0x00
00003580: PUSH1 0xe0
00003582: DUP8
00003583: ADD
00003584: MSTORE
00003585: PUSH1 0x00
00003587: PUSH1 0x80
00003589: DUP8
0000358a: ADD
0000358b: MSTORE
0000358c: PUSH1 0x00
0000358e: PUSH1 0xa0
00003590: DUP8
00003591: ADD
00003592: MSTORE
00003593: PUSH2 0x2ac9
00003596: JUMP
00003597: JUMPDEST
00003598: SWAP1
00003599: SWAP3
0000359a: SWAP2
0000359b: GAS
0000359c: SWAP1
0000359d: PUSH1 0x60
0000359f: DUP2
000035a0: ADD
000035a1: MLOAD
000035a2: SWAP2
000035a3: PUSH1 0x40
000035a5: SWAP3
000035a6: DUP4
000035a7: MLOAD
000035a8: SWAP7
000035a9: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000035ca: DUP9
000035cb: PUSH2 0x35d7
000035ce: PUSH1 0x60
000035d0: DUP5
000035d1: ADD
000035d2: DUP5
000035d3: PUSH2 0x284b
000035d6: JUMP
000035d7: JUMPDEST
000035d8: PUSH1 0x00
000035da: PUSH1 0x03
000035dc: DUP3
000035dd: GT
000035de: PUSH2 0x3b9f
000035e1: JUMPI
000035e2: JUMPDEST
000035e3: PUSH32 0x8dd7712f00000000000000000000000000000000000000000000000000000000
00003604: SWAP5
00003605: AND
00003606: DUP5
00003607: SUB
00003608: PUSH2 0x3a44
0000360b: JUMPI
0000360c: POP
0000360d: POP
0000360e: POP
0000360f: PUSH2 0x379d
00003612: PUSH1 0x00
00003614: SWAP3
00003615: PUSH2 0x36b2
00003618: SWAP3
00003619: PUSH1 0x20
0000361b: DUP9
0000361c: ADD
0000361d: MLOAD
0000361e: PUSH2 0x363a
00003621: DUP11
00003622: MLOAD
00003623: SWAP4
00003624: DUP5
00003625: SWAP4
00003626: PUSH1 0x20
00003628: DUP6
00003629: ADD
0000362a: MSTORE
0000362b: DUP12
0000362c: PUSH1 0x24
0000362e: DUP6
0000362f: ADD
00003630: MSTORE
00003631: PUSH1 0x64
00003633: DUP5
00003634: ADD
00003635: SWAP1
00003636: PUSH2 0x28ec
00003639: JUMP
0000363a: JUMPDEST
0000363b: SWAP1
0000363c: PUSH1 0x44
0000363e: DUP4
0000363f: ADD
00003640: MSTORE
00003641: SUB
00003642: SWAP1
00003643: PUSH2 0x3672
00003646: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00003667: SWAP3
00003668: DUP4
00003669: DUP2
0000366a: ADD
0000366b: DUP4
0000366c: MSTORE
0000366d: DUP3
0000366e: PUSH2 0x21ed
00003671: JUMP
00003672: JUMPDEST
00003673: PUSH2 0x3791
00003676: DUP10
00003677: MLOAD
00003678: SWAP5
00003679: DUP6
0000367a: SWAP3
0000367b: PUSH31 0x42dc5300000000000000000000000000000000000000000000000000000000
0000369b: PUSH1 0x20
0000369d: DUP6
0000369e: ADD
0000369f: MSTORE
000036a0: PUSH2 0x0200
000036a3: PUSH1 0x24
000036a5: DUP6
000036a6: ADD
000036a7: MSTORE
000036a8: PUSH2 0x0224
000036ab: DUP5
000036ac: ADD
000036ad: SWAP1
000036ae: PUSH2 0x23c6
000036b1: JUMP
000036b2: JUMPDEST
000036b3: PUSH2 0x3760
000036b6: PUSH1 0x44
000036b8: DUP5
000036b9: ADD
000036ba: DUP12
000036bb: PUSH1 0x80
000036bd: PUSH2 0x01a0
000036c0: SWAP2
000036c1: DUP1
000036c2: MLOAD
000036c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036d8: DUP1
000036d9: DUP3
000036da: MLOAD
000036db: AND
000036dc: DUP7
000036dd: MSTORE
000036de: PUSH1 0x20
000036e0: DUP3
000036e1: ADD
000036e2: MLOAD
000036e3: PUSH1 0x20
000036e5: DUP8
000036e6: ADD
000036e7: MSTORE
000036e8: PUSH1 0x40
000036ea: DUP3
000036eb: ADD
000036ec: MLOAD
000036ed: PUSH1 0x40
000036ef: DUP8
000036f0: ADD
000036f1: MSTORE
000036f2: PUSH1 0x60
000036f4: DUP3
000036f5: ADD
000036f6: MLOAD
000036f7: PUSH1 0x60
000036f9: DUP8
000036fa: ADD
000036fb: MSTORE
000036fc: DUP4
000036fd: DUP3
000036fe: ADD
000036ff: MLOAD
00003700: DUP5
00003701: DUP8
00003702: ADD
00003703: MSTORE
00003704: PUSH1 0xa0
00003706: DUP3
00003707: ADD
00003708: MLOAD
00003709: PUSH1 0xa0
0000370b: DUP8
0000370c: ADD
0000370d: MSTORE
0000370e: PUSH1 0xc0
00003710: DUP3
00003711: ADD
00003712: MLOAD
00003713: PUSH1 0xc0
00003715: DUP8
00003716: ADD
00003717: MSTORE
00003718: PUSH1 0xe0
0000371a: DUP3
0000371b: ADD
0000371c: MLOAD
0000371d: AND
0000371e: PUSH1 0xe0
00003720: DUP7
00003721: ADD
00003722: MSTORE
00003723: PUSH2 0x0100
00003726: DUP1
00003727: DUP3
00003728: ADD
00003729: MLOAD
0000372a: SWAP1
0000372b: DUP7
0000372c: ADD
0000372d: MSTORE
0000372e: PUSH2 0x0120
00003731: DUP1
00003732: SWAP2
00003733: ADD
00003734: MLOAD
00003735: SWAP1
00003736: DUP6
00003737: ADD
00003738: MSTORE
00003739: PUSH1 0x20
0000373b: DUP2
0000373c: ADD
0000373d: MLOAD
0000373e: PUSH2 0x0140
00003741: DUP6
00003742: ADD
00003743: MSTORE
00003744: PUSH1 0x40
00003746: DUP2
00003747: ADD
00003748: MLOAD
00003749: PUSH2 0x0160
0000374c: DUP6
0000374d: ADD
0000374e: MSTORE
0000374f: PUSH1 0x60
00003751: DUP2
00003752: ADD
00003753: MLOAD
00003754: PUSH2 0x0180
00003757: DUP6
00003758: ADD
00003759: MSTORE
0000375a: ADD
0000375b: MLOAD
0000375c: SWAP2
0000375d: ADD
0000375e: MSTORE
0000375f: JUMP
00003760: JUMPDEST
00003761: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdc
00003782: DUP4
00003783: DUP3
00003784: SUB
00003785: ADD
00003786: PUSH2 0x0204
00003789: DUP5
0000378a: ADD
0000378b: MSTORE
0000378c: DUP8
0000378d: PUSH2 0x23c6
00003790: JUMP
00003791: JUMPDEST
00003792: SUB
00003793: SWAP1
00003794: DUP2
00003795: ADD
00003796: DUP4
00003797: MSTORE
00003798: DUP3
00003799: PUSH2 0x21ed
0000379c: JUMP
0000379d: JUMPDEST
0000379e: PUSH1 0x20
000037a0: SWAP2
000037a1: DUP2
000037a2: DUP4
000037a3: DUP1
000037a4: SWAP4
000037a5: MLOAD
000037a6: SWAP2
000037a7: ADD
000037a8: DUP3
000037a9: ADDRESS
000037aa: GAS
000037ab: CALL
000037ac: PUSH1 0x00
000037ae: MLOAD
000037af: SWAP9
000037b0: DUP7
000037b1: MSTORE
000037b2: ISZERO
000037b3: PUSH2 0x37bf
000037b6: JUMPI
000037b7: JUMPDEST
000037b8: POP
000037b9: POP
000037ba: POP
000037bb: POP
000037bc: POP
000037bd: POP
000037be: JUMP
000037bf: JUMPDEST
000037c0: SWAP1
000037c1: SWAP2
000037c2: SWAP3
000037c3: SWAP4
000037c4: SWAP5
000037c5: SWAP6
000037c6: SWAP7
000037c7: POP
000037c8: PUSH1 0x00
000037ca: RETURNDATASIZE
000037cb: DUP3
000037cc: EQ
000037cd: PUSH2 0x3a3a
000037d0: JUMPI
000037d1: JUMPDEST
000037d2: PUSH32 0xdeaddead00000000000000000000000000000000000000000000000000000000
000037f3: DUP2
000037f4: SUB
000037f5: PUSH2 0x385b
000037f8: JUMPI
000037f9: PUSH1 0x84
000037fb: DUP8
000037fc: DUP8
000037fd: DUP1
000037fe: MLOAD
000037ff: SWAP2
00003800: PUSH32 0x220266b600000000000000000000000000000000000000000000000000000000
00003821: DUP4
00003822: MSTORE
00003823: PUSH1 0x04
00003825: DUP4
00003826: ADD
00003827: MSTORE
00003828: PUSH1 0x24
0000382a: DUP3
0000382b: ADD
0000382c: MSTORE
0000382d: PUSH1 0x0f
0000382f: PUSH1 0x44
00003831: DUP3
00003832: ADD
00003833: MSTORE
00003834: PUSH32 0x41413935206f7574206f66206761730000000000000000000000000000000000
00003855: PUSH1 0x64
00003857: DUP3
00003858: ADD
00003859: MSTORE
0000385a: REVERT
0000385b: JUMPDEST
0000385c: PUSH32 0xdeadaa5100000000000000000000000000000000000000000000000000000000
0000387d: SWAP2
0000387e: SWAP3
0000387f: SWAP4
00003880: SWAP6
00003881: SWAP5
00003882: SWAP7
00003883: POP
00003884: EQ
00003885: PUSH1 0x00
00003887: EQ
00003888: PUSH2 0x38c5
0000388b: JUMPI
0000388c: POP
0000388d: POP
0000388e: PUSH2 0x38a9
00003891: PUSH2 0x389e
00003894: PUSH2 0x38b8
00003897: SWAP4
00003898: GAS
00003899: SWAP1
0000389a: PUSH2 0x2443
0000389d: JUMP
0000389e: JUMPDEST
0000389f: PUSH1 0x80
000038a1: DUP6
000038a2: ADD
000038a3: MLOAD
000038a4: SWAP1
000038a5: PUSH2 0x2409
000038a8: JUMP
000038a9: JUMPDEST
000038aa: SWAP1
000038ab: DUP4
000038ac: ADD
000038ad: MLOAD
000038ae: DUP4
000038af: PUSH2 0x1d74
000038b2: DUP3
000038b3: SWAP6
000038b4: PUSH2 0x3d65
000038b7: JUMP
000038b8: JUMPDEST
000038b9: SWAP1
000038ba: JUMPDEST
000038bb: CODESIZE
000038bc: DUP1
000038bd: DUP1
000038be: DUP1
000038bf: DUP1
000038c0: DUP1
000038c1: PUSH2 0x37b7
000038c4: JUMP
000038c5: JUMPDEST
000038c6: SWAP1
000038c7: SWAP3
000038c8: PUSH2 0x3952
000038cb: SWAP1
000038cc: DUP3
000038cd: DUP7
000038ce: ADD
000038cf: MLOAD
000038d0: DUP7
000038d1: MLOAD
000038d2: SWAP1
000038d3: PUSH32 0xf62676f440ff169a3a9afdbf812e89e7f95975ee8e5c31214ffdef631c5f4792
000038f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003909: SWAP6
0000390a: DUP1
0000390b: DUP8
0000390c: DUP6
0000390d: MLOAD
0000390e: AND
0000390f: SWAP5
00003910: ADD
00003911: MLOAD
00003912: PUSH2 0x3948
00003915: RETURNDATASIZE
00003916: PUSH2 0x0800
00003919: DUP1
0000391a: DUP3
0000391b: GT
0000391c: PUSH2 0x3a32
0000391f: JUMPI
00003920: JUMPDEST
00003921: POP
00003922: DUP11
00003923: MLOAD
00003924: SWAP1
00003925: DUP5
00003926: DUP2
00003927: DUP4
00003928: ADD
00003929: ADD
0000392a: DUP13
0000392b: MSTORE
0000392c: DUP1
0000392d: DUP3
0000392e: MSTORE
0000392f: PUSH1 0x00
00003931: DUP6
00003932: DUP4
00003933: ADD
00003934: RETURNDATACOPY
00003935: DUP11
00003936: DUP1
00003937: MLOAD
00003938: SWAP5
00003939: DUP6
0000393a: SWAP5
0000393b: DUP6
0000393c: MSTORE
0000393d: DUP5
0000393e: ADD
0000393f: MSTORE
00003940: DUP11
00003941: DUP4
00003942: ADD
00003943: SWAP1
00003944: PUSH2 0x23c6
00003947: JUMP
00003948: JUMPDEST
00003949: SUB
0000394a: SWAP1
0000394b: LOG3
0000394c: GAS
0000394d: SWAP1
0000394e: PUSH2 0x2443
00003951: JUMP
00003952: JUMPDEST
00003953: SWAP2
00003954: PUSH2 0x3963
00003957: PUSH1 0x80
00003959: DUP7
0000395a: ADD
0000395b: SWAP4
0000395c: DUP5
0000395d: MLOAD
0000395e: SWAP1
0000395f: PUSH2 0x2409
00003962: JUMP
00003963: JUMPDEST
00003964: SWAP3
00003965: PUSH1 0x00
00003967: SWAP1
00003968: GAS
00003969: SWAP5
0000396a: DUP3
0000396b: SWAP5
0000396c: DUP9
0000396d: MLOAD
0000396e: SWAP8
0000396f: PUSH2 0x3977
00003972: DUP10
00003973: PUSH2 0x3ccc
00003976: JUMP
00003977: JUMPDEST
00003978: SWAP5
00003979: DUP3
0000397a: PUSH1 0xe0
0000397c: DUP12
0000397d: ADD
0000397e: MLOAD
0000397f: AND
00003980: DUP1
00003981: ISZERO
00003982: PUSH1 0x00
00003984: EQ
00003985: PUSH2 0x3a18
00003988: JUMPI
00003989: POP
0000398a: POP
0000398b: POP
0000398c: DUP8
0000398d: MLOAD
0000398e: AND
0000398f: SWAP6
00003990: JUMPDEST
00003991: GAS
00003992: SWAP1
00003993: SUB
00003994: ADD
00003995: SWAP6
00003996: PUSH1 0xa0
00003998: PUSH1 0x60
0000399a: DUP3
0000399b: ADD
0000399c: MLOAD
0000399d: SWAP2
0000399e: ADD
0000399f: MLOAD
000039a0: ADD
000039a1: SWAP1
000039a2: MLOAD
000039a3: DUP7
000039a4: SUB
000039a5: SWAP1
000039a6: DUP2
000039a7: DUP2
000039a8: GT
000039a9: PUSH2 0x3a04
000039ac: JUMPI
000039ad: JUMPDEST
000039ae: POP
000039af: POP
000039b0: DUP5
000039b1: MUL
000039b2: SWAP1
000039b3: DUP6
000039b4: ADD
000039b5: MLOAD
000039b6: SWAP3
000039b7: DUP2
000039b8: DUP5
000039b9: LT
000039ba: PUSH1 0x00
000039bc: EQ
000039bd: PUSH2 0x39de
000039c0: JUMPI
000039c1: POP
000039c2: POP
000039c3: DUP1
000039c4: PUSH2 0x1e68
000039c7: JUMPI
000039c8: POP
000039c9: SWAP1
000039ca: DUP2
000039cb: PUSH2 0x39d8
000039ce: SWAP3
000039cf: SWAP4
000039d0: PUSH2 0x1d74
000039d3: DUP2
000039d4: PUSH2 0x3d65
000039d7: JUMP
000039d8: JUMPDEST
000039d9: SWAP1
000039da: PUSH2 0x38ba
000039dd: JUMP
000039de: JUMPDEST
000039df: PUSH2 0x39ee
000039e2: SWAP1
000039e3: DUP3
000039e4: DUP5
000039e5: SWAP4
000039e6: SWAP8
000039e7: SWAP6
000039e8: SUB
000039e9: SWAP1
000039ea: PUSH2 0x3c98
000039ed: JUMP
000039ee: JUMPDEST
000039ef: POP
000039f0: PUSH2 0x1e68
000039f3: JUMPI
000039f4: POP
000039f5: SWAP1
000039f6: DUP3
000039f7: PUSH2 0x39ff
000039fa: SWAP3
000039fb: PUSH2 0x3cf6
000039fe: JUMP
000039ff: JUMPDEST
00003a00: PUSH2 0x39d8
00003a03: JUMP
00003a04: JUMPDEST
00003a05: PUSH1 0x64
00003a07: SWAP2
00003a08: SWAP1
00003a09: SUB
00003a0a: PUSH1 0x0a
00003a0c: MUL
00003a0d: DIV
00003a0e: SWAP1
00003a0f: SWAP5
00003a10: ADD
00003a11: SWAP4
00003a12: CODESIZE
00003a13: DUP1
00003a14: PUSH2 0x39ad
00003a17: JUMP
00003a18: JUMPDEST
00003a19: SWAP1
00003a1a: SWAP2
00003a1b: SWAP9
00003a1c: SWAP3
00003a1d: POP
00003a1e: SWAP8
00003a1f: MLOAD
00003a20: PUSH2 0x3a2a
00003a23: JUMPI
00003a24: JUMPDEST
00003a25: POP
00003a26: PUSH2 0x3990
00003a29: JUMP
00003a2a: JUMPDEST
00003a2b: SWAP6
00003a2c: POP
00003a2d: CODESIZE
00003a2e: PUSH2 0x3a24
00003a31: JUMP
00003a32: JUMPDEST
00003a33: SWAP1
00003a34: POP
00003a35: CODESIZE
00003a36: PUSH2 0x3920
00003a39: JUMP
00003a3a: JUMPDEST
00003a3b: DUP2
00003a3c: DUP2
00003a3d: DUP1
00003a3e: RETURNDATACOPY
00003a3f: MLOAD
00003a40: PUSH2 0x37d1
00003a43: JUMP
00003a44: JUMPDEST
00003a45: PUSH2 0x3b97
00003a48: SWAP5
00003a49: POP
00003a4a: DUP3
00003a4b: SWAP4
00003a4c: POP
00003a4d: SWAP1
00003a4e: PUSH2 0x3a8c
00003a51: SWAP2
00003a52: PUSH31 0x42dc5300000000000000000000000000000000000000000000000000000000
00003a72: PUSH1 0x20
00003a74: PUSH2 0x3b6b
00003a77: SWAP6
00003a78: ADD
00003a79: MSTORE
00003a7a: PUSH2 0x0200
00003a7d: PUSH1 0x24
00003a7f: DUP7
00003a80: ADD
00003a81: MSTORE
00003a82: PUSH2 0x0224
00003a85: DUP6
00003a86: ADD
00003a87: SWAP2
00003a88: PUSH2 0x2709
00003a8b: JUMP
00003a8c: JUMPDEST
00003a8d: PUSH2 0x3b3a
00003a90: PUSH1 0x44
00003a92: DUP5
00003a93: ADD
00003a94: DUP9
00003a95: PUSH1 0x80
00003a97: PUSH2 0x01a0
00003a9a: SWAP2
00003a9b: DUP1
00003a9c: MLOAD
00003a9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ab2: DUP1
00003ab3: DUP3
00003ab4: MLOAD
00003ab5: AND
00003ab6: DUP7
00003ab7: MSTORE
00003ab8: PUSH1 0x20
00003aba: DUP3
00003abb: ADD
00003abc: MLOAD
00003abd: PUSH1 0x20
00003abf: DUP8
00003ac0: ADD
00003ac1: MSTORE
00003ac2: PUSH1 0x40
00003ac4: DUP3
00003ac5: ADD
00003ac6: MLOAD
00003ac7: PUSH1 0x40
00003ac9: DUP8
00003aca: ADD
00003acb: MSTORE
00003acc: PUSH1 0x60
00003ace: DUP3
00003acf: ADD
00003ad0: MLOAD
00003ad1: PUSH1 0x60
00003ad3: DUP8
00003ad4: ADD
00003ad5: MSTORE
00003ad6: DUP4
00003ad7: DUP3
00003ad8: ADD
00003ad9: MLOAD
00003ada: DUP5
00003adb: DUP8
00003adc: ADD
00003add: MSTORE
00003ade: PUSH1 0xa0
00003ae0: DUP3
00003ae1: ADD
00003ae2: MLOAD
00003ae3: PUSH1 0xa0
00003ae5: DUP8
00003ae6: ADD
00003ae7: MSTORE
00003ae8: PUSH1 0xc0
00003aea: DUP3
00003aeb: ADD
00003aec: MLOAD
00003aed: PUSH1 0xc0
00003aef: DUP8
00003af0: ADD
00003af1: MSTORE
00003af2: PUSH1 0xe0
00003af4: DUP3
00003af5: ADD
00003af6: MLOAD
00003af7: AND
00003af8: PUSH1 0xe0
00003afa: DUP7
00003afb: ADD
00003afc: MSTORE
00003afd: PUSH2 0x0100
00003b00: DUP1
00003b01: DUP3
00003b02: ADD
00003b03: MLOAD
00003b04: SWAP1
00003b05: DUP7
00003b06: ADD
00003b07: MSTORE
00003b08: PUSH2 0x0120
00003b0b: DUP1
00003b0c: SWAP2
00003b0d: ADD
00003b0e: MLOAD
00003b0f: SWAP1
00003b10: DUP6
00003b11: ADD
00003b12: MSTORE
00003b13: PUSH1 0x20
00003b15: DUP2
00003b16: ADD
00003b17: MLOAD
00003b18: PUSH2 0x0140
00003b1b: DUP6
00003b1c: ADD
00003b1d: MSTORE
00003b1e: PUSH1 0x40
00003b20: DUP2
00003b21: ADD
00003b22: MLOAD
00003b23: PUSH2 0x0160
00003b26: DUP6
00003b27: ADD
00003b28: MSTORE
00003b29: PUSH1 0x60
00003b2b: DUP2
00003b2c: ADD
00003b2d: MLOAD
00003b2e: PUSH2 0x0180
00003b31: DUP6
00003b32: ADD
00003b33: MSTORE
00003b34: ADD
00003b35: MLOAD
00003b36: SWAP2
00003b37: ADD
00003b38: MSTORE
00003b39: JUMP
00003b3a: JUMPDEST
00003b3b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdc
00003b5c: DUP4
00003b5d: DUP3
00003b5e: SUB
00003b5f: ADD
00003b60: PUSH2 0x0204
00003b63: DUP5
00003b64: ADD
00003b65: MSTORE
00003b66: DUP5
00003b67: PUSH2 0x23c6
00003b6a: JUMP
00003b6b: JUMPDEST
00003b6c: SUB
00003b6d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00003b8e: DUP2
00003b8f: ADD
00003b90: DUP10
00003b91: MSTORE
00003b92: DUP9
00003b93: PUSH2 0x21ed
00003b96: JUMP
00003b97: JUMPDEST
00003b98: PUSH1 0x00
00003b9a: DUP8
00003b9b: PUSH2 0x379d
00003b9e: JUMP
00003b9f: JUMPDEST
00003ba0: POP
00003ba1: DUP2
00003ba2: CALLDATALOAD
00003ba3: PUSH2 0x35e2
00003ba6: JUMP
00003ba7: JUMPDEST
00003ba8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003bbd: AND
00003bbe: DUP1
00003bbf: ISZERO
00003bc0: PUSH2 0x3c3a
00003bc3: JUMPI
00003bc4: PUSH1 0x00
00003bc6: DUP1
00003bc7: DUP1
00003bc8: SWAP4
00003bc9: DUP2
00003bca: SWAP4
00003bcb: GAS
00003bcc: CALL
00003bcd: PUSH2 0x3bd4
00003bd0: PUSH2 0x2450
00003bd3: JUMP
00003bd4: JUMPDEST
00003bd5: POP
00003bd6: ISZERO
00003bd7: PUSH2 0x3bdc
00003bda: JUMPI
00003bdb: JUMP
00003bdc: JUMPDEST
00003bdd: PUSH1 0x64
00003bdf: PUSH1 0x40
00003be1: MLOAD
00003be2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003c03: DUP2
00003c04: MSTORE
00003c05: PUSH1 0x20
00003c07: PUSH1 0x04
00003c09: DUP3
00003c0a: ADD
00003c0b: MSTORE
00003c0c: PUSH1 0x1f
00003c0e: PUSH1 0x24
00003c10: DUP3
00003c11: ADD
00003c12: MSTORE
00003c13: PUSH32 0x41413931206661696c65642073656e6420746f2062656e656669636961727900
00003c34: PUSH1 0x44
00003c36: DUP3
00003c37: ADD
00003c38: MSTORE
00003c39: REVERT
00003c3a: JUMPDEST
00003c3b: PUSH1 0x64
00003c3d: PUSH1 0x40
00003c3f: MLOAD
00003c40: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003c61: DUP2
00003c62: MSTORE
00003c63: PUSH1 0x20
00003c65: PUSH1 0x04
00003c67: DUP3
00003c68: ADD
00003c69: MSTORE
00003c6a: PUSH1 0x18
00003c6c: PUSH1 0x24
00003c6e: DUP3
00003c6f: ADD
00003c70: MSTORE
00003c71: PUSH32 0x4141393020696e76616c69642062656e65666963696172790000000000000000
00003c92: PUSH1 0x44
00003c94: DUP3
00003c95: ADD
00003c96: MSTORE
00003c97: REVERT
00003c98: JUMPDEST
00003c99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003cae: AND
00003caf: PUSH1 0x00
00003cb1: MSTORE
00003cb2: PUSH1 0x00
00003cb4: PUSH1 0x20
00003cb6: MSTORE
00003cb7: PUSH2 0x3cc6
00003cba: PUSH1 0x40
00003cbc: PUSH1 0x00
00003cbe: KECCAK256
00003cbf: SWAP2
00003cc0: DUP3
00003cc1: SLOAD
00003cc2: PUSH2 0x2409
00003cc5: JUMP
00003cc6: JUMPDEST
00003cc7: DUP1
00003cc8: SWAP2
00003cc9: SSTORE
00003cca: SWAP1
00003ccb: JUMP
00003ccc: JUMPDEST
00003ccd: PUSH2 0x0120
00003cd0: PUSH2 0x0100
00003cd3: DUP3
00003cd4: ADD
00003cd5: MLOAD
00003cd6: SWAP2
00003cd7: ADD
00003cd8: MLOAD
00003cd9: DUP1
00003cda: DUP3
00003cdb: EQ
00003cdc: PUSH2 0x3cf2
00003cdf: JUMPI
00003ce0: BASEFEE
00003ce1: ADD
00003ce2: DUP1
00003ce3: DUP3
00003ce4: LT
00003ce5: ISZERO
00003ce6: PUSH2 0x3ced
00003ce9: JUMPI
00003cea: POP
00003ceb: SWAP1
00003cec: JUMP
00003ced: JUMPDEST
00003cee: SWAP1
00003cef: POP
00003cf0: SWAP1
00003cf1: JUMP
00003cf2: JUMPDEST
00003cf3: POP
00003cf4: SWAP1
00003cf5: JUMP
00003cf6: JUMPDEST
00003cf7: SWAP2
00003cf8: SWAP1
00003cf9: SWAP2
00003cfa: PUSH32 0x49628fd1471006c1482da88028e9ce4dbb080b815c9b0344d39e5a8e6ec1419f
00003d1b: PUSH1 0x80
00003d1d: PUSH1 0x20
00003d1f: DUP4
00003d20: ADD
00003d21: MLOAD
00003d22: SWAP3
00003d23: MLOAD
00003d24: SWAP5
00003d25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d3a: SWAP5
00003d3b: PUSH1 0x20
00003d3d: DUP7
00003d3e: DUP9
00003d3f: MLOAD
00003d40: AND
00003d41: SWAP7
00003d42: PUSH1 0xe0
00003d44: DUP10
00003d45: ADD
00003d46: MLOAD
00003d47: AND
00003d48: SWAP8
00003d49: ADD
00003d4a: MLOAD
00003d4b: SWAP2
00003d4c: PUSH1 0x40
00003d4e: MLOAD
00003d4f: SWAP3
00003d50: DUP4
00003d51: MSTORE
00003d52: PUSH1 0x00
00003d54: PUSH1 0x20
00003d56: DUP5
00003d57: ADD
00003d58: MSTORE
00003d59: PUSH1 0x40
00003d5b: DUP4
00003d5c: ADD
00003d5d: MSTORE
00003d5e: PUSH1 0x60
00003d60: DUP3
00003d61: ADD
00003d62: MSTORE
00003d63: LOG4
00003d64: JUMP
00003d65: JUMPDEST
00003d66: PUSH1 0x20
00003d68: DUP2
00003d69: ADD
00003d6a: MLOAD
00003d6b: SWAP1
00003d6c: MLOAD
00003d6d: SWAP1
00003d6e: PUSH32 0x67b4fa9642f42120bf031f3051d1824b0fe25627945b27b8a6a65d5761d5482e
00003d8f: PUSH1 0x20
00003d91: DUP1
00003d92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003da7: DUP6
00003da8: MLOAD
00003da9: AND
00003daa: SWAP5
00003dab: ADD
00003dac: MLOAD
00003dad: PUSH1 0x40
00003daf: MLOAD
00003db0: SWAP1
00003db1: DUP2
00003db2: MSTORE
00003db3: LOG3
00003db4: JUMP
00003db5: JUMPDEST
00003db6: PUSH2 0x3dcd
00003db9: PUSH1 0x40
00003dbb: SWAP3
00003dbc: SWAP6
00003dbd: SWAP5
00003dbe: SWAP4
00003dbf: SWAP6
00003dc0: PUSH1 0x60
00003dc2: DUP4
00003dc3: MSTORE
00003dc4: PUSH1 0x60
00003dc6: DUP4
00003dc7: ADD
00003dc8: SWAP1
00003dc9: PUSH2 0x28ec
00003dcc: JUMP
00003dcd: JUMPDEST
00003dce: SWAP5
00003dcf: PUSH1 0x20
00003dd1: DUP3
00003dd2: ADD
00003dd3: MSTORE
00003dd4: ADD
00003dd5: MSTORE
00003dd6: JUMP
00003dd7: JUMPDEST
00003dd8: DUP1
00003dd9: ISZERO
00003dda: PUSH2 0x3e64
00003ddd: JUMPI
00003dde: PUSH1 0x00
00003de0: PUSH1 0x40
00003de2: DUP1
00003de3: MLOAD
00003de4: PUSH2 0x3dec
00003de7: DUP2
00003de8: PUSH2 0x21d1
00003deb: JUMP
00003dec: JUMPDEST
00003ded: DUP3
00003dee: DUP2
00003def: MSTORE
00003df0: DUP3
00003df1: PUSH1 0x20
00003df3: DUP3
00003df4: ADD
00003df5: MSTORE
00003df6: ADD
00003df7: MSTORE
00003df8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003e0d: DUP2
00003e0e: AND
00003e0f: SWAP1
00003e10: PUSH1 0x40
00003e12: PUSH6 0xffffffffffff
00003e19: SWAP2
00003e1a: DUP3
00003e1b: DUP2
00003e1c: PUSH1 0xa0
00003e1e: SHR
00003e1f: AND
00003e20: SWAP1
00003e21: DUP2
00003e22: ISZERO
00003e23: PUSH2 0x3e5c
00003e26: JUMPI
00003e27: JUMPDEST
00003e28: PUSH1 0xd0
00003e2a: SHR
00003e2b: SWAP3
00003e2c: DUP3
00003e2d: MLOAD
00003e2e: SWAP2
00003e2f: PUSH2 0x3e37
00003e32: DUP4
00003e33: PUSH2 0x21d1
00003e36: JUMP
00003e37: JUMPDEST
00003e38: DUP6
00003e39: DUP4
00003e3a: MSTORE
00003e3b: DUP5
00003e3c: PUSH1 0x20
00003e3e: DUP5
00003e3f: ADD
00003e40: MSTORE
00003e41: AND
00003e42: SWAP2
00003e43: DUP3
00003e44: SWAP2
00003e45: ADD
00003e46: MSTORE
00003e47: TIMESTAMP
00003e48: GT
00003e49: SWAP1
00003e4a: DUP2
00003e4b: ISZERO
00003e4c: PUSH2 0x3e54
00003e4f: JUMPI
00003e50: POP
00003e51: SWAP1
00003e52: SWAP2
00003e53: JUMP
00003e54: JUMPDEST
00003e55: SWAP1
00003e56: POP
00003e57: TIMESTAMP
00003e58: LT
00003e59: SWAP1
00003e5a: SWAP2
00003e5b: JUMP
00003e5c: JUMPDEST
00003e5d: DUP4
00003e5e: SWAP2
00003e5f: POP
00003e60: PUSH2 0x3e27
00003e63: JUMP
00003e64: JUMPDEST
00003e65: POP
00003e66: PUSH1 0x00
00003e68: SWAP1
00003e69: PUSH1 0x00
00003e6b: SWAP1
00003e6c: JUMP
00003e6d: INVALID
00003e6e: LOG2
00003e6f: PUSH5 0x6970667358
00003e75: UNKNOWN(0x22)
00003e76: SLT
00003e77: KECCAK256
00003e78: UNKNOWN(0xB0)
00003e79: SWAP5
00003e7a: REVERT
00003e7b: PUSH10 0xf04977ae9458e5ba422d
00003e86: ADD
00003e87: UNKNOWN(0xCD)
00003e88: UNKNOWN(0x2D)
00003e89: KECCAK256
00003e8a: UNKNOWN(0xDB)
00003e8b: UNKNOWN(0xCF)
00003e8c: UNKNOWN(0xCA)
00003e8d: MULMOD
00003e8e: SWAP3
00003e8f: SELFDESTRUCT
00003e90: CALLDATACOPY
00003e91: CALL
00003e92: SWAP11
00003e93: LOG0
00003e94: PUSH30
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
critical	upgradeability	detector	Untrusted DELEGATECALL target reachable	70	no	no	view trace_id: 0x1c0a249045bdff85d20212620686597a06b078652cbed4a0a2a51692de35ae5d call_targets: 0x0000000000000000000000000000000000000000 target_varies: no classification: constant_target validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "sink_reached", "attempts": 125, "trace_id": "0x1c0a249045bdff85d20212620686597a06b078652cbed4a0a2a51692de35ae5d", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x0000000000000000000000000000000000000000" ], "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": "0x0396cb60", "selector": "0x0396cb60", "calldata_variants": [ "0x0396cb60", "0x0396cb600000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0bd28e3b", "selector": "0x0bd28e3b", "calldata_variants": [ "0x0bd28e3b", "0x0bd28e3b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1b2e01b8", "selector": "0x1b2e01b8", "calldata_variants": [ "0x1b2e01b8", "0x1b2e01b80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x205c2878", "selector": "0x205c2878", "calldata_variants": [ "0x205c2878", "0x205c28780000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22cdde4c", "selector": "0x22cdde4c", "calldata_variants": [ "0x22cdde4c", "0x22cdde4c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x35567e1a", "selector": "0x35567e1a", "calldata_variants": [ "0x35567e1a", "0x35567e1a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5287ce12", "selector": "0x5287ce12", "calldata_variants": [ "0x5287ce12", "0x5287ce120000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3633, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [], "delegatecall_count": 1, "untrusted_delegatecall_count": 1 }
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xf076590e6ad81e3b567f273a0dcad61c40e5bf84e933bc0518dfc8e55bc355aa call_targets: 0x0000000071727de22e5e9d8baf0edac6f37da032 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xf076590e6ad81e3b567f273a0dcad61c40e5bf84e933bc0518dfc8e55bc355aa", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x0000000071727de22e5e9d8baf0edac6f37da032" ], "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": "0x0396cb60", "selector": "0x0396cb60", "calldata_variants": [ "0x0396cb60", "0x0396cb600000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0bd28e3b", "selector": "0x0bd28e3b", "calldata_variants": [ "0x0bd28e3b", "0x0bd28e3b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1b2e01b8", "selector": "0x1b2e01b8", "calldata_variants": [ "0x1b2e01b8", "0x1b2e01b80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x205c2878", "selector": "0x205c2878", "calldata_variants": [ "0x205c2878", "0x205c28780000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22cdde4c", "selector": "0x22cdde4c", "calldata_variants": [ "0x22cdde4c", "0x22cdde4c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x35567e1a", "selector": "0x35567e1a", "calldata_variants": [ "0x35567e1a", "0x35567e1a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5287ce12", "selector": "0x5287ce12", "calldata_variants": [ "0x5287ce12", "0x5287ce120000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2272, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3396, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5274, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 11, "guards_detected": [], "untrusted_call_count": 11 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xf076590e6ad81e3b567f273a0dcad61c40e5bf84e933bc0518dfc8e55bc355aa call_targets: 0x0000000071727de22e5e9d8baf0edac6f37da032 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xf076590e6ad81e3b567f273a0dcad61c40e5bf84e933bc0518dfc8e55bc355aa", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x0000000071727de22e5e9d8baf0edac6f37da032" ], "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": "0x0396cb60", "selector": "0x0396cb60", "calldata_variants": [ "0x0396cb60", "0x0396cb600000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0bd28e3b", "selector": "0x0bd28e3b", "calldata_variants": [ "0x0bd28e3b", "0x0bd28e3b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1b2e01b8", "selector": "0x1b2e01b8", "calldata_variants": [ "0x1b2e01b8", "0x1b2e01b80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x205c2878", "selector": "0x205c2878", "calldata_variants": [ "0x205c2878", "0x205c28780000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22cdde4c", "selector": "0x22cdde4c", "calldata_variants": [ "0x22cdde4c", "0x22cdde4c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x35567e1a", "selector": "0x35567e1a", "calldata_variants": [ "0x35567e1a", "0x35567e1a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5287ce12", "selector": "0x5287ce12", "calldata_variants": [ "0x5287ce12", "0x5287ce120000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2272, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3396, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5274, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 11, "guards_detected": [] }
high	other	detector	SELFDESTRUCT reachable	65	no	no	view trace_id: 0x2f2af09a9c61a05bfbbe7d4b0f2662db9153fb75bf097833708e62025d1c3ba8 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0x2f2af09a9c61a05bfbbe7d4b0f2662db9153fb75bf097833708e62025d1c3ba8", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x01ffc9a7", "selector": "0x01ffc9a7", "calldata_variants": [ "0x01ffc9a7", "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0396cb60", "selector": "0x0396cb60", "calldata_variants": [ "0x0396cb60", "0x0396cb600000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0bd28e3b", "selector": "0x0bd28e3b", "calldata_variants": [ "0x0bd28e3b", "0x0bd28e3b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1b2e01b8", "selector": "0x1b2e01b8", "calldata_variants": [ "0x1b2e01b8", "0x1b2e01b80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x205c2878", "selector": "0x205c2878", "calldata_variants": [ "0x205c2878", "0x205c28780000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22cdde4c", "selector": "0x22cdde4c", "calldata_variants": [ "0x22cdde4c", "0x22cdde4c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x35567e1a", "selector": "0x35567e1a", "calldata_variants": [ "0x35567e1a", "0x35567e1a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5287ce12", "selector": "0x5287ce12", "calldata_variants": [ "0x5287ce12", "0x5287ce120000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [], "selfdestruct_count": 1 }