Tripwire
Find contracts. Test them. Review real vulns.
Analysis Run

019b477e-d19e-70c1-8e69-f40a02afd7cb
complete
Chain ID
Address
0x31378176165ade23e3de3ea31dd33adce164e6e6
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
Validated
Source
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
27791	artifact.fetch	complete	1 / 3	4 months ago
27792	tool.cast_disasm	complete	1 / 3	4 months ago
71696	analysis.bundle	complete	1 / 3	2 weeks ago
71697	capability.graph	complete	1 / 3	2 weeks ago
71698	detector.run	complete	1 / 3	2 weeks ago
71699	validation.fork	complete	1 / 3	2 weeks ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
Selfdestruct
CREATE2
CALL-family (heavy)
EXT*/BALANCE
Total opcodes
7772
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x021a
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8d9fc795
00000019: GT
0000001a: PUSH2 0x0123
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc6f0837a
00000024: GT
00000025: PUSH2 0x00ab
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe346fba2
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe346fba2
0000003a: EQ
0000003b: PUSH2 0x07e3
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe4bf37c8
00000045: EQ
00000046: PUSH2 0x080e
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x0839
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfa5c969c
0000005b: EQ
0000005c: PUSH2 0x0862
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfc4af2bc
00000066: EQ
00000067: PUSH2 0x088b
0000006a: JUMPI
0000006b: PUSH2 0x021a
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xc6f0837a
00000076: EQ
00000077: PUSH2 0x070e
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xca789c46
00000081: EQ
00000082: PUSH2 0x0739
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xce31495b
0000008c: EQ
0000008d: PUSH2 0x0764
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xd476e5fd
00000097: EQ
00000098: PUSH2 0x078f
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xd547741f
000000a2: EQ
000000a3: PUSH2 0x07ba
000000a6: JUMPI
000000a7: PUSH2 0x021a
000000aa: JUMP
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0xa02ae3c9
000000b2: GT
000000b3: PUSH2 0x00f2
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xa02ae3c9
000000bd: EQ
000000be: PUSH2 0x0627
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xa217fddf
000000c8: EQ
000000c9: PUSH2 0x0650
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xa815119d
000000d3: EQ
000000d4: PUSH2 0x067b
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xb97dd9e2
000000de: EQ
000000df: PUSH2 0x06b8
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xc52f682d
000000e9: EQ
000000ea: PUSH2 0x06e3
000000ed: JUMPI
000000ee: PUSH2 0x021a
000000f1: JUMP
000000f2: JUMPDEST
000000f3: DUP1
000000f4: PUSH4 0x8d9fc795
000000f9: EQ
000000fa: PUSH2 0x0541
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x8da5cb5b
00000104: EQ
00000105: PUSH2 0x0580
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x91ce8f5e
0000010f: EQ
00000110: PUSH2 0x05ab
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x91d14854
0000011a: EQ
0000011b: PUSH2 0x05ea
0000011e: JUMPI
0000011f: PUSH2 0x021a
00000122: JUMP
00000123: JUMPDEST
00000124: DUP1
00000125: PUSH4 0x475bcd56
0000012a: GT
0000012b: PUSH2 0x01a6
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x6b22d197
00000135: GT
00000136: PUSH2 0x0175
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x6b22d197
00000140: EQ
00000141: PUSH2 0x047d
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x70176896
0000014b: EQ
0000014c: PUSH2 0x04a6
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x715018a6
00000156: EQ
00000157: PUSH2 0x04d6
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x83c65e97
00000161: EQ
00000162: PUSH2 0x04ed
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x859b9329
0000016c: EQ
0000016d: PUSH2 0x0518
00000170: JUMPI
00000171: PUSH2 0x021a
00000174: JUMP
00000175: JUMPDEST
00000176: DUP1
00000177: PUSH4 0x475bcd56
0000017c: EQ
0000017d: PUSH2 0x03d2
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x48880239
00000187: EQ
00000188: PUSH2 0x040f
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x5e7b3481
00000192: EQ
00000193: PUSH2 0x0438
00000196: JUMPI
00000197: DUP1
00000198: PUSH4 0x6ae166e2
0000019d: EQ
0000019e: PUSH2 0x0461
000001a1: JUMPI
000001a2: PUSH2 0x021a
000001a5: JUMP
000001a6: JUMPDEST
000001a7: DUP1
000001a8: PUSH4 0x22be3de1
000001ad: GT
000001ae: PUSH2 0x01ed
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x22be3de1
000001b8: EQ
000001b9: PUSH2 0x02ed
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x248a9ca3
000001c3: EQ
000001c4: PUSH2 0x0318
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x2c852c54
000001ce: EQ
000001cf: PUSH2 0x0355
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x2f2ff15d
000001d9: EQ
000001da: PUSH2 0x0380
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0x36568abe
000001e4: EQ
000001e5: PUSH2 0x03a9
000001e8: JUMPI
000001e9: PUSH2 0x021a
000001ec: JUMP
000001ed: JUMPDEST
000001ee: DUP1
000001ef: PUSH4 0x01ffc9a7
000001f4: EQ
000001f5: PUSH2 0x021f
000001f8: JUMPI
000001f9: DUP1
000001fa: PUSH4 0x15e5a1e5
000001ff: EQ
00000200: PUSH2 0x025c
00000203: JUMPI
00000204: DUP1
00000205: PUSH4 0x192a8e86
0000020a: EQ
0000020b: PUSH2 0x0287
0000020e: JUMPI
0000020f: DUP1
00000210: PUSH4 0x1ea9a976
00000215: EQ
00000216: PUSH2 0x02c4
00000219: JUMPI
0000021a: JUMPDEST
0000021b: PUSH1 0x00
0000021d: DUP1
0000021e: REVERT
0000021f: JUMPDEST
00000220: CALLVALUE
00000221: DUP1
00000222: ISZERO
00000223: PUSH2 0x022b
00000226: JUMPI
00000227: PUSH1 0x00
00000229: DUP1
0000022a: REVERT
0000022b: JUMPDEST
0000022c: POP
0000022d: PUSH2 0x0246
00000230: PUSH1 0x04
00000232: DUP1
00000233: CALLDATASIZE
00000234: SUB
00000235: DUP2
00000236: ADD
00000237: SWAP1
00000238: PUSH2 0x0241
0000023b: SWAP2
0000023c: SWAP1
0000023d: PUSH2 0x2793
00000240: JUMP
00000241: JUMPDEST
00000242: PUSH2 0x08c8
00000245: JUMP
00000246: JUMPDEST
00000247: PUSH1 0x40
00000249: MLOAD
0000024a: PUSH2 0x0253
0000024d: SWAP2
0000024e: SWAP1
0000024f: PUSH2 0x27db
00000252: JUMP
00000253: JUMPDEST
00000254: PUSH1 0x40
00000256: MLOAD
00000257: DUP1
00000258: SWAP2
00000259: SUB
0000025a: SWAP1
0000025b: RETURN
0000025c: JUMPDEST
0000025d: CALLVALUE
0000025e: DUP1
0000025f: ISZERO
00000260: PUSH2 0x0268
00000263: JUMPI
00000264: PUSH1 0x00
00000266: DUP1
00000267: REVERT
00000268: JUMPDEST
00000269: POP
0000026a: PUSH2 0x0271
0000026d: PUSH2 0x0942
00000270: JUMP
00000271: JUMPDEST
00000272: PUSH1 0x40
00000274: MLOAD
00000275: PUSH2 0x027e
00000278: SWAP2
00000279: SWAP1
0000027a: PUSH2 0x280f
0000027d: JUMP
0000027e: JUMPDEST
0000027f: PUSH1 0x40
00000281: MLOAD
00000282: DUP1
00000283: SWAP2
00000284: SUB
00000285: SWAP1
00000286: RETURN
00000287: JUMPDEST
00000288: CALLVALUE
00000289: DUP1
0000028a: ISZERO
0000028b: PUSH2 0x0293
0000028e: JUMPI
0000028f: PUSH1 0x00
00000291: DUP1
00000292: REVERT
00000293: JUMPDEST
00000294: POP
00000295: PUSH2 0x02ae
00000298: PUSH1 0x04
0000029a: DUP1
0000029b: CALLDATASIZE
0000029c: SUB
0000029d: DUP2
0000029e: ADD
0000029f: SWAP1
000002a0: PUSH2 0x02a9
000002a3: SWAP2
000002a4: SWAP1
000002a5: PUSH2 0x28b4
000002a8: JUMP
000002a9: JUMPDEST
000002aa: PUSH2 0x0948
000002ad: JUMP
000002ae: JUMPDEST
000002af: PUSH1 0x40
000002b1: MLOAD
000002b2: PUSH2 0x02bb
000002b5: SWAP2
000002b6: SWAP1
000002b7: PUSH2 0x280f
000002ba: JUMP
000002bb: JUMPDEST
000002bc: PUSH1 0x40
000002be: MLOAD
000002bf: DUP1
000002c0: SWAP2
000002c1: SUB
000002c2: SWAP1
000002c3: RETURN
000002c4: JUMPDEST
000002c5: CALLVALUE
000002c6: DUP1
000002c7: ISZERO
000002c8: PUSH2 0x02d0
000002cb: JUMPI
000002cc: PUSH1 0x00
000002ce: DUP1
000002cf: REVERT
000002d0: JUMPDEST
000002d1: POP
000002d2: PUSH2 0x02eb
000002d5: PUSH1 0x04
000002d7: DUP1
000002d8: CALLDATASIZE
000002d9: SUB
000002da: DUP2
000002db: ADD
000002dc: SWAP1
000002dd: PUSH2 0x02e6
000002e0: SWAP2
000002e1: SWAP1
000002e2: PUSH2 0x28f4
000002e5: JUMP
000002e6: JUMPDEST
000002e7: PUSH2 0x09a3
000002ea: JUMP
000002eb: JUMPDEST
000002ec: STOP
000002ed: JUMPDEST
000002ee: CALLVALUE
000002ef: DUP1
000002f0: ISZERO
000002f1: PUSH2 0x02f9
000002f4: JUMPI
000002f5: PUSH1 0x00
000002f7: DUP1
000002f8: REVERT
000002f9: JUMPDEST
000002fa: POP
000002fb: PUSH2 0x0302
000002fe: PUSH2 0x0cbb
00000301: JUMP
00000302: JUMPDEST
00000303: PUSH1 0x40
00000305: MLOAD
00000306: PUSH2 0x030f
00000309: SWAP2
0000030a: SWAP1
0000030b: PUSH2 0x2930
0000030e: JUMP
0000030f: JUMPDEST
00000310: PUSH1 0x40
00000312: MLOAD
00000313: DUP1
00000314: SWAP2
00000315: SUB
00000316: SWAP1
00000317: RETURN
00000318: JUMPDEST
00000319: CALLVALUE
0000031a: DUP1
0000031b: ISZERO
0000031c: PUSH2 0x0324
0000031f: JUMPI
00000320: PUSH1 0x00
00000322: DUP1
00000323: REVERT
00000324: JUMPDEST
00000325: POP
00000326: PUSH2 0x033f
00000329: PUSH1 0x04
0000032b: DUP1
0000032c: CALLDATASIZE
0000032d: SUB
0000032e: DUP2
0000032f: ADD
00000330: SWAP1
00000331: PUSH2 0x033a
00000334: SWAP2
00000335: SWAP1
00000336: PUSH2 0x2981
00000339: JUMP
0000033a: JUMPDEST
0000033b: PUSH2 0x0ce1
0000033e: JUMP
0000033f: JUMPDEST
00000340: PUSH1 0x40
00000342: MLOAD
00000343: PUSH2 0x034c
00000346: SWAP2
00000347: SWAP1
00000348: PUSH2 0x29bd
0000034b: JUMP
0000034c: JUMPDEST
0000034d: PUSH1 0x40
0000034f: MLOAD
00000350: DUP1
00000351: SWAP2
00000352: SUB
00000353: SWAP1
00000354: RETURN
00000355: JUMPDEST
00000356: CALLVALUE
00000357: DUP1
00000358: ISZERO
00000359: PUSH2 0x0361
0000035c: JUMPI
0000035d: PUSH1 0x00
0000035f: DUP1
00000360: REVERT
00000361: JUMPDEST
00000362: POP
00000363: PUSH2 0x036a
00000366: PUSH2 0x0d01
00000369: JUMP
0000036a: JUMPDEST
0000036b: PUSH1 0x40
0000036d: MLOAD
0000036e: PUSH2 0x0377
00000371: SWAP2
00000372: SWAP1
00000373: PUSH2 0x280f
00000376: JUMP
00000377: JUMPDEST
00000378: PUSH1 0x40
0000037a: MLOAD
0000037b: DUP1
0000037c: SWAP2
0000037d: SUB
0000037e: SWAP1
0000037f: RETURN
00000380: JUMPDEST
00000381: CALLVALUE
00000382: DUP1
00000383: ISZERO
00000384: PUSH2 0x038c
00000387: JUMPI
00000388: PUSH1 0x00
0000038a: DUP1
0000038b: REVERT
0000038c: JUMPDEST
0000038d: POP
0000038e: PUSH2 0x03a7
00000391: PUSH1 0x04
00000393: DUP1
00000394: CALLDATASIZE
00000395: SUB
00000396: DUP2
00000397: ADD
00000398: SWAP1
00000399: PUSH2 0x03a2
0000039c: SWAP2
0000039d: SWAP1
0000039e: PUSH2 0x29d8
000003a1: JUMP
000003a2: JUMPDEST
000003a3: PUSH2 0x0d07
000003a6: JUMP
000003a7: JUMPDEST
000003a8: STOP
000003a9: JUMPDEST
000003aa: CALLVALUE
000003ab: DUP1
000003ac: ISZERO
000003ad: PUSH2 0x03b5
000003b0: JUMPI
000003b1: PUSH1 0x00
000003b3: DUP1
000003b4: REVERT
000003b5: JUMPDEST
000003b6: POP
000003b7: PUSH2 0x03d0
000003ba: PUSH1 0x04
000003bc: DUP1
000003bd: CALLDATASIZE
000003be: SUB
000003bf: DUP2
000003c0: ADD
000003c1: SWAP1
000003c2: PUSH2 0x03cb
000003c5: SWAP2
000003c6: SWAP1
000003c7: PUSH2 0x29d8
000003ca: JUMP
000003cb: JUMPDEST
000003cc: PUSH2 0x0d28
000003cf: JUMP
000003d0: JUMPDEST
000003d1: STOP
000003d2: JUMPDEST
000003d3: CALLVALUE
000003d4: DUP1
000003d5: ISZERO
000003d6: PUSH2 0x03de
000003d9: JUMPI
000003da: PUSH1 0x00
000003dc: DUP1
000003dd: REVERT
000003de: JUMPDEST
000003df: POP
000003e0: PUSH2 0x03f9
000003e3: PUSH1 0x04
000003e5: DUP1
000003e6: CALLDATASIZE
000003e7: SUB
000003e8: DUP2
000003e9: ADD
000003ea: SWAP1
000003eb: PUSH2 0x03f4
000003ee: SWAP2
000003ef: SWAP1
000003f0: PUSH2 0x28b4
000003f3: JUMP
000003f4: JUMPDEST
000003f5: PUSH2 0x0dab
000003f8: JUMP
000003f9: JUMPDEST
000003fa: PUSH1 0x40
000003fc: MLOAD
000003fd: PUSH2 0x0406
00000400: SWAP2
00000401: SWAP1
00000402: PUSH2 0x280f
00000405: JUMP
00000406: JUMPDEST
00000407: PUSH1 0x40
00000409: MLOAD
0000040a: DUP1
0000040b: SWAP2
0000040c: SUB
0000040d: SWAP1
0000040e: RETURN
0000040f: JUMPDEST
00000410: CALLVALUE
00000411: DUP1
00000412: ISZERO
00000413: PUSH2 0x041b
00000416: JUMPI
00000417: PUSH1 0x00
00000419: DUP1
0000041a: REVERT
0000041b: JUMPDEST
0000041c: POP
0000041d: PUSH2 0x0436
00000420: PUSH1 0x04
00000422: DUP1
00000423: CALLDATASIZE
00000424: SUB
00000425: DUP2
00000426: ADD
00000427: SWAP1
00000428: PUSH2 0x0431
0000042b: SWAP2
0000042c: SWAP1
0000042d: PUSH2 0x2a18
00000430: JUMP
00000431: JUMPDEST
00000432: PUSH2 0x0dd0
00000435: JUMP
00000436: JUMPDEST
00000437: STOP
00000438: JUMPDEST
00000439: CALLVALUE
0000043a: DUP1
0000043b: ISZERO
0000043c: PUSH2 0x0444
0000043f: JUMPI
00000440: PUSH1 0x00
00000442: DUP1
00000443: REVERT
00000444: JUMPDEST
00000445: POP
00000446: PUSH2 0x045f
00000449: PUSH1 0x04
0000044b: DUP1
0000044c: CALLDATASIZE
0000044d: SUB
0000044e: DUP2
0000044f: ADD
00000450: SWAP1
00000451: PUSH2 0x045a
00000454: SWAP2
00000455: SWAP1
00000456: PUSH2 0x2a18
00000459: JUMP
0000045a: JUMPDEST
0000045b: PUSH2 0x0e74
0000045e: JUMP
0000045f: JUMPDEST
00000460: STOP
00000461: JUMPDEST
00000462: PUSH2 0x047b
00000465: PUSH1 0x04
00000467: DUP1
00000468: CALLDATASIZE
00000469: SUB
0000046a: DUP2
0000046b: ADD
0000046c: SWAP1
0000046d: PUSH2 0x0476
00000470: SWAP2
00000471: SWAP1
00000472: PUSH2 0x28f4
00000475: JUMP
00000476: JUMPDEST
00000477: PUSH2 0x0fa4
0000047a: JUMP
0000047b: JUMPDEST
0000047c: STOP
0000047d: JUMPDEST
0000047e: CALLVALUE
0000047f: DUP1
00000480: ISZERO
00000481: PUSH2 0x0489
00000484: JUMPI
00000485: PUSH1 0x00
00000487: DUP1
00000488: REVERT
00000489: JUMPDEST
0000048a: POP
0000048b: PUSH2 0x04a4
0000048e: PUSH1 0x04
00000490: DUP1
00000491: CALLDATASIZE
00000492: SUB
00000493: DUP2
00000494: ADD
00000495: SWAP1
00000496: PUSH2 0x049f
00000499: SWAP2
0000049a: SWAP1
0000049b: PUSH2 0x2a18
0000049e: JUMP
0000049f: JUMPDEST
000004a0: PUSH2 0x1132
000004a3: JUMP
000004a4: JUMPDEST
000004a5: STOP
000004a6: JUMPDEST
000004a7: PUSH2 0x04c0
000004aa: PUSH1 0x04
000004ac: DUP1
000004ad: CALLDATASIZE
000004ae: SUB
000004af: DUP2
000004b0: ADD
000004b1: SWAP1
000004b2: PUSH2 0x04bb
000004b5: SWAP2
000004b6: SWAP1
000004b7: PUSH2 0x28f4
000004ba: JUMP
000004bb: JUMPDEST
000004bc: PUSH2 0x11d6
000004bf: JUMP
000004c0: JUMPDEST
000004c1: PUSH1 0x40
000004c3: MLOAD
000004c4: PUSH2 0x04cd
000004c7: SWAP2
000004c8: SWAP1
000004c9: PUSH2 0x280f
000004cc: JUMP
000004cd: JUMPDEST
000004ce: PUSH1 0x40
000004d0: MLOAD
000004d1: DUP1
000004d2: SWAP2
000004d3: SUB
000004d4: SWAP1
000004d5: RETURN
000004d6: JUMPDEST
000004d7: CALLVALUE
000004d8: DUP1
000004d9: ISZERO
000004da: PUSH2 0x04e2
000004dd: JUMPI
000004de: PUSH1 0x00
000004e0: DUP1
000004e1: REVERT
000004e2: JUMPDEST
000004e3: POP
000004e4: PUSH2 0x04eb
000004e7: PUSH2 0x1515
000004ea: JUMP
000004eb: JUMPDEST
000004ec: STOP
000004ed: JUMPDEST
000004ee: CALLVALUE
000004ef: DUP1
000004f0: ISZERO
000004f1: PUSH2 0x04f9
000004f4: JUMPI
000004f5: PUSH1 0x00
000004f7: DUP1
000004f8: REVERT
000004f9: JUMPDEST
000004fa: POP
000004fb: PUSH2 0x0502
000004fe: PUSH2 0x1529
00000501: JUMP
00000502: JUMPDEST
00000503: PUSH1 0x40
00000505: MLOAD
00000506: PUSH2 0x050f
00000509: SWAP2
0000050a: SWAP1
0000050b: PUSH2 0x29bd
0000050e: JUMP
0000050f: JUMPDEST
00000510: PUSH1 0x40
00000512: MLOAD
00000513: DUP1
00000514: SWAP2
00000515: SUB
00000516: SWAP1
00000517: RETURN
00000518: JUMPDEST
00000519: CALLVALUE
0000051a: DUP1
0000051b: ISZERO
0000051c: PUSH2 0x0524
0000051f: JUMPI
00000520: PUSH1 0x00
00000522: DUP1
00000523: REVERT
00000524: JUMPDEST
00000525: POP
00000526: PUSH2 0x053f
00000529: PUSH1 0x04
0000052b: DUP1
0000052c: CALLDATASIZE
0000052d: SUB
0000052e: DUP2
0000052f: ADD
00000530: SWAP1
00000531: PUSH2 0x053a
00000534: SWAP2
00000535: SWAP1
00000536: PUSH2 0x2a7e
00000539: JUMP
0000053a: JUMPDEST
0000053b: PUSH2 0x154d
0000053e: JUMP
0000053f: JUMPDEST
00000540: STOP
00000541: JUMPDEST
00000542: CALLVALUE
00000543: DUP1
00000544: ISZERO
00000545: PUSH2 0x054d
00000548: JUMPI
00000549: PUSH1 0x00
0000054b: DUP1
0000054c: REVERT
0000054d: JUMPDEST
0000054e: POP
0000054f: PUSH2 0x0568
00000552: PUSH1 0x04
00000554: DUP1
00000555: CALLDATASIZE
00000556: SUB
00000557: DUP2
00000558: ADD
00000559: SWAP1
0000055a: PUSH2 0x0563
0000055d: SWAP2
0000055e: SWAP1
0000055f: PUSH2 0x28f4
00000562: JUMP
00000563: JUMPDEST
00000564: PUSH2 0x1601
00000567: JUMP
00000568: JUMPDEST
00000569: PUSH1 0x40
0000056b: MLOAD
0000056c: PUSH2 0x0577
0000056f: SWAP4
00000570: SWAP3
00000571: SWAP2
00000572: SWAP1
00000573: PUSH2 0x2b48
00000576: JUMP
00000577: JUMPDEST
00000578: PUSH1 0x40
0000057a: MLOAD
0000057b: DUP1
0000057c: SWAP2
0000057d: SUB
0000057e: SWAP1
0000057f: RETURN
00000580: JUMPDEST
00000581: CALLVALUE
00000582: DUP1
00000583: ISZERO
00000584: PUSH2 0x058c
00000587: JUMPI
00000588: PUSH1 0x00
0000058a: DUP1
0000058b: REVERT
0000058c: JUMPDEST
0000058d: POP
0000058e: PUSH2 0x0595
00000591: PUSH2 0x1638
00000594: JUMP
00000595: JUMPDEST
00000596: PUSH1 0x40
00000598: MLOAD
00000599: PUSH2 0x05a2
0000059c: SWAP2
0000059d: SWAP1
0000059e: PUSH2 0x2930
000005a1: JUMP
000005a2: JUMPDEST
000005a3: PUSH1 0x40
000005a5: MLOAD
000005a6: DUP1
000005a7: SWAP2
000005a8: SUB
000005a9: SWAP1
000005aa: RETURN
000005ab: JUMPDEST
000005ac: CALLVALUE
000005ad: DUP1
000005ae: ISZERO
000005af: PUSH2 0x05b7
000005b2: JUMPI
000005b3: PUSH1 0x00
000005b5: DUP1
000005b6: REVERT
000005b7: JUMPDEST
000005b8: POP
000005b9: PUSH2 0x05d2
000005bc: PUSH1 0x04
000005be: DUP1
000005bf: CALLDATASIZE
000005c0: SUB
000005c1: DUP2
000005c2: ADD
000005c3: SWAP1
000005c4: PUSH2 0x05cd
000005c7: SWAP2
000005c8: SWAP1
000005c9: PUSH2 0x28f4
000005cc: JUMP
000005cd: JUMPDEST
000005ce: PUSH2 0x1661
000005d1: JUMP
000005d2: JUMPDEST
000005d3: PUSH1 0x40
000005d5: MLOAD
000005d6: PUSH2 0x05e1
000005d9: SWAP4
000005da: SWAP3
000005db: SWAP2
000005dc: SWAP1
000005dd: PUSH2 0x2b48
000005e0: JUMP
000005e1: JUMPDEST
000005e2: PUSH1 0x40
000005e4: MLOAD
000005e5: DUP1
000005e6: SWAP2
000005e7: SUB
000005e8: SWAP1
000005e9: RETURN
000005ea: JUMPDEST
000005eb: CALLVALUE
000005ec: DUP1
000005ed: ISZERO
000005ee: PUSH2 0x05f6
000005f1: JUMPI
000005f2: PUSH1 0x00
000005f4: DUP1
000005f5: REVERT
000005f6: JUMPDEST
000005f7: POP
000005f8: PUSH2 0x0611
000005fb: PUSH1 0x04
000005fd: DUP1
000005fe: CALLDATASIZE
000005ff: SUB
00000600: DUP2
00000601: ADD
00000602: SWAP1
00000603: PUSH2 0x060c
00000606: SWAP2
00000607: SWAP1
00000608: PUSH2 0x29d8
0000060b: JUMP
0000060c: JUMPDEST
0000060d: PUSH2 0x16c5
00000610: JUMP
00000611: JUMPDEST
00000612: PUSH1 0x40
00000614: MLOAD
00000615: PUSH2 0x061e
00000618: SWAP2
00000619: SWAP1
0000061a: PUSH2 0x27db
0000061d: JUMP
0000061e: JUMPDEST
0000061f: PUSH1 0x40
00000621: MLOAD
00000622: DUP1
00000623: SWAP2
00000624: SUB
00000625: SWAP1
00000626: RETURN
00000627: JUMPDEST
00000628: CALLVALUE
00000629: DUP1
0000062a: ISZERO
0000062b: PUSH2 0x0633
0000062e: JUMPI
0000062f: PUSH1 0x00
00000631: DUP1
00000632: REVERT
00000633: JUMPDEST
00000634: POP
00000635: PUSH2 0x064e
00000638: PUSH1 0x04
0000063a: DUP1
0000063b: CALLDATASIZE
0000063c: SUB
0000063d: DUP2
0000063e: ADD
0000063f: SWAP1
00000640: PUSH2 0x0649
00000643: SWAP2
00000644: SWAP1
00000645: PUSH2 0x2a18
00000648: JUMP
00000649: JUMPDEST
0000064a: PUSH2 0x1730
0000064d: JUMP
0000064e: JUMPDEST
0000064f: STOP
00000650: JUMPDEST
00000651: CALLVALUE
00000652: DUP1
00000653: ISZERO
00000654: PUSH2 0x065c
00000657: JUMPI
00000658: PUSH1 0x00
0000065a: DUP1
0000065b: REVERT
0000065c: JUMPDEST
0000065d: POP
0000065e: PUSH2 0x0665
00000661: PUSH2 0x17d4
00000664: JUMP
00000665: JUMPDEST
00000666: PUSH1 0x40
00000668: MLOAD
00000669: PUSH2 0x0672
0000066c: SWAP2
0000066d: SWAP1
0000066e: PUSH2 0x29bd
00000671: JUMP
00000672: JUMPDEST
00000673: PUSH1 0x40
00000675: MLOAD
00000676: DUP1
00000677: SWAP2
00000678: SUB
00000679: SWAP1
0000067a: RETURN
0000067b: JUMPDEST
0000067c: CALLVALUE
0000067d: DUP1
0000067e: ISZERO
0000067f: PUSH2 0x0687
00000682: JUMPI
00000683: PUSH1 0x00
00000685: DUP1
00000686: REVERT
00000687: JUMPDEST
00000688: POP
00000689: PUSH2 0x06a2
0000068c: PUSH1 0x04
0000068e: DUP1
0000068f: CALLDATASIZE
00000690: SUB
00000691: DUP2
00000692: ADD
00000693: SWAP1
00000694: PUSH2 0x069d
00000697: SWAP2
00000698: SWAP1
00000699: PUSH2 0x2a18
0000069c: JUMP
0000069d: JUMPDEST
0000069e: PUSH2 0x17db
000006a1: JUMP
000006a2: JUMPDEST
000006a3: PUSH1 0x40
000006a5: MLOAD
000006a6: PUSH2 0x06af
000006a9: SWAP2
000006aa: SWAP1
000006ab: PUSH2 0x280f
000006ae: JUMP
000006af: JUMPDEST
000006b0: PUSH1 0x40
000006b2: MLOAD
000006b3: DUP1
000006b4: SWAP2
000006b5: SUB
000006b6: SWAP1
000006b7: RETURN
000006b8: JUMPDEST
000006b9: CALLVALUE
000006ba: DUP1
000006bb: ISZERO
000006bc: PUSH2 0x06c4
000006bf: JUMPI
000006c0: PUSH1 0x00
000006c2: DUP1
000006c3: REVERT
000006c4: JUMPDEST
000006c5: POP
000006c6: PUSH2 0x06cd
000006c9: PUSH2 0x17fc
000006cc: JUMP
000006cd: JUMPDEST
000006ce: PUSH1 0x40
000006d0: MLOAD
000006d1: PUSH2 0x06da
000006d4: SWAP2
000006d5: SWAP1
000006d6: PUSH2 0x280f
000006d9: JUMP
000006da: JUMPDEST
000006db: PUSH1 0x40
000006dd: MLOAD
000006de: DUP1
000006df: SWAP2
000006e0: SUB
000006e1: SWAP1
000006e2: RETURN
000006e3: JUMPDEST
000006e4: CALLVALUE
000006e5: DUP1
000006e6: ISZERO
000006e7: PUSH2 0x06ef
000006ea: JUMPI
000006eb: PUSH1 0x00
000006ed: DUP1
000006ee: REVERT
000006ef: JUMPDEST
000006f0: POP
000006f1: PUSH2 0x06f8
000006f4: PUSH2 0x181e
000006f7: JUMP
000006f8: JUMPDEST
000006f9: PUSH1 0x40
000006fb: MLOAD
000006fc: PUSH2 0x0705
000006ff: SWAP2
00000700: SWAP1
00000701: PUSH2 0x280f
00000704: JUMP
00000705: JUMPDEST
00000706: PUSH1 0x40
00000708: MLOAD
00000709: DUP1
0000070a: SWAP2
0000070b: SUB
0000070c: SWAP1
0000070d: RETURN
0000070e: JUMPDEST
0000070f: CALLVALUE
00000710: DUP1
00000711: ISZERO
00000712: PUSH2 0x071a
00000715: JUMPI
00000716: PUSH1 0x00
00000718: DUP1
00000719: REVERT
0000071a: JUMPDEST
0000071b: POP
0000071c: PUSH2 0x0723
0000071f: PUSH2 0x1824
00000722: JUMP
00000723: JUMPDEST
00000724: PUSH1 0x40
00000726: MLOAD
00000727: PUSH2 0x0730
0000072a: SWAP2
0000072b: SWAP1
0000072c: PUSH2 0x280f
0000072f: JUMP
00000730: JUMPDEST
00000731: PUSH1 0x40
00000733: MLOAD
00000734: DUP1
00000735: SWAP2
00000736: SUB
00000737: SWAP1
00000738: RETURN
00000739: JUMPDEST
0000073a: CALLVALUE
0000073b: DUP1
0000073c: ISZERO
0000073d: PUSH2 0x0745
00000740: JUMPI
00000741: PUSH1 0x00
00000743: DUP1
00000744: REVERT
00000745: JUMPDEST
00000746: POP
00000747: PUSH2 0x074e
0000074a: PUSH2 0x182a
0000074d: JUMP
0000074e: JUMPDEST
0000074f: PUSH1 0x40
00000751: MLOAD
00000752: PUSH2 0x075b
00000755: SWAP2
00000756: SWAP1
00000757: PUSH2 0x2b8e
0000075a: JUMP
0000075b: JUMPDEST
0000075c: PUSH1 0x40
0000075e: MLOAD
0000075f: DUP1
00000760: SWAP2
00000761: SUB
00000762: SWAP1
00000763: RETURN
00000764: JUMPDEST
00000765: CALLVALUE
00000766: DUP1
00000767: ISZERO
00000768: PUSH2 0x0770
0000076b: JUMPI
0000076c: PUSH1 0x00
0000076e: DUP1
0000076f: REVERT
00000770: JUMPDEST
00000771: POP
00000772: PUSH2 0x0779
00000775: PUSH2 0x183d
00000778: JUMP
00000779: JUMPDEST
0000077a: PUSH1 0x40
0000077c: MLOAD
0000077d: PUSH2 0x0786
00000780: SWAP2
00000781: SWAP1
00000782: PUSH2 0x280f
00000785: JUMP
00000786: JUMPDEST
00000787: PUSH1 0x40
00000789: MLOAD
0000078a: DUP1
0000078b: SWAP2
0000078c: SUB
0000078d: SWAP1
0000078e: RETURN
0000078f: JUMPDEST
00000790: CALLVALUE
00000791: DUP1
00000792: ISZERO
00000793: PUSH2 0x079b
00000796: JUMPI
00000797: PUSH1 0x00
00000799: DUP1
0000079a: REVERT
0000079b: JUMPDEST
0000079c: POP
0000079d: PUSH2 0x07a4
000007a0: PUSH2 0x1843
000007a3: JUMP
000007a4: JUMPDEST
000007a5: PUSH1 0x40
000007a7: MLOAD
000007a8: PUSH2 0x07b1
000007ab: SWAP2
000007ac: SWAP1
000007ad: PUSH2 0x29bd
000007b0: JUMP
000007b1: JUMPDEST
000007b2: PUSH1 0x40
000007b4: MLOAD
000007b5: DUP1
000007b6: SWAP2
000007b7: SUB
000007b8: SWAP1
000007b9: RETURN
000007ba: JUMPDEST
000007bb: CALLVALUE
000007bc: DUP1
000007bd: ISZERO
000007be: PUSH2 0x07c6
000007c1: JUMPI
000007c2: PUSH1 0x00
000007c4: DUP1
000007c5: REVERT
000007c6: JUMPDEST
000007c7: POP
000007c8: PUSH2 0x07e1
000007cb: PUSH1 0x04
000007cd: DUP1
000007ce: CALLDATASIZE
000007cf: SUB
000007d0: DUP2
000007d1: ADD
000007d2: SWAP1
000007d3: PUSH2 0x07dc
000007d6: SWAP2
000007d7: SWAP1
000007d8: PUSH2 0x29d8
000007db: JUMP
000007dc: JUMPDEST
000007dd: PUSH2 0x1867
000007e0: JUMP
000007e1: JUMPDEST
000007e2: STOP
000007e3: JUMPDEST
000007e4: CALLVALUE
000007e5: DUP1
000007e6: ISZERO
000007e7: PUSH2 0x07ef
000007ea: JUMPI
000007eb: PUSH1 0x00
000007ed: DUP1
000007ee: REVERT
000007ef: JUMPDEST
000007f0: POP
000007f1: PUSH2 0x07f8
000007f4: PUSH2 0x1888
000007f7: JUMP
000007f8: JUMPDEST
000007f9: PUSH1 0x40
000007fb: MLOAD
000007fc: PUSH2 0x0805
000007ff: SWAP2
00000800: SWAP1
00000801: PUSH2 0x280f
00000804: JUMP
00000805: JUMPDEST
00000806: PUSH1 0x40
00000808: MLOAD
00000809: DUP1
0000080a: SWAP2
0000080b: SUB
0000080c: SWAP1
0000080d: RETURN
0000080e: JUMPDEST
0000080f: CALLVALUE
00000810: DUP1
00000811: ISZERO
00000812: PUSH2 0x081a
00000815: JUMPI
00000816: PUSH1 0x00
00000818: DUP1
00000819: REVERT
0000081a: JUMPDEST
0000081b: POP
0000081c: PUSH2 0x0823
0000081f: PUSH2 0x188e
00000822: JUMP
00000823: JUMPDEST
00000824: PUSH1 0x40
00000826: MLOAD
00000827: PUSH2 0x0830
0000082a: SWAP2
0000082b: SWAP1
0000082c: PUSH2 0x2b8e
0000082f: JUMP
00000830: JUMPDEST
00000831: PUSH1 0x40
00000833: MLOAD
00000834: DUP1
00000835: SWAP2
00000836: SUB
00000837: SWAP1
00000838: RETURN
00000839: JUMPDEST
0000083a: CALLVALUE
0000083b: DUP1
0000083c: ISZERO
0000083d: PUSH2 0x0845
00000840: JUMPI
00000841: PUSH1 0x00
00000843: DUP1
00000844: REVERT
00000845: JUMPDEST
00000846: POP
00000847: PUSH2 0x0860
0000084a: PUSH1 0x04
0000084c: DUP1
0000084d: CALLDATASIZE
0000084e: SUB
0000084f: DUP2
00000850: ADD
00000851: SWAP1
00000852: PUSH2 0x085b
00000855: SWAP2
00000856: SWAP1
00000857: PUSH2 0x2a18
0000085a: JUMP
0000085b: JUMPDEST
0000085c: PUSH2 0x18a1
0000085f: JUMP
00000860: JUMPDEST
00000861: STOP
00000862: JUMPDEST
00000863: CALLVALUE
00000864: DUP1
00000865: ISZERO
00000866: PUSH2 0x086e
00000869: JUMPI
0000086a: PUSH1 0x00
0000086c: DUP1
0000086d: REVERT
0000086e: JUMPDEST
0000086f: POP
00000870: PUSH2 0x0889
00000873: PUSH1 0x04
00000875: DUP1
00000876: CALLDATASIZE
00000877: SUB
00000878: DUP2
00000879: ADD
0000087a: SWAP1
0000087b: PUSH2 0x0884
0000087e: SWAP2
0000087f: SWAP1
00000880: PUSH2 0x2a18
00000883: JUMP
00000884: JUMPDEST
00000885: PUSH2 0x1924
00000888: JUMP
00000889: JUMPDEST
0000088a: STOP
0000088b: JUMPDEST
0000088c: CALLVALUE
0000088d: DUP1
0000088e: ISZERO
0000088f: PUSH2 0x0897
00000892: JUMPI
00000893: PUSH1 0x00
00000895: DUP1
00000896: REVERT
00000897: JUMPDEST
00000898: POP
00000899: PUSH2 0x08b2
0000089c: PUSH1 0x04
0000089e: DUP1
0000089f: CALLDATASIZE
000008a0: SUB
000008a1: DUP2
000008a2: ADD
000008a3: SWAP1
000008a4: PUSH2 0x08ad
000008a7: SWAP2
000008a8: SWAP1
000008a9: PUSH2 0x2ba9
000008ac: JUMP
000008ad: JUMPDEST
000008ae: PUSH2 0x19c8
000008b1: JUMP
000008b2: JUMPDEST
000008b3: PUSH1 0x40
000008b5: MLOAD
000008b6: PUSH2 0x08bf
000008b9: SWAP2
000008ba: SWAP1
000008bb: PUSH2 0x280f
000008be: JUMP
000008bf: JUMPDEST
000008c0: PUSH1 0x40
000008c2: MLOAD
000008c3: DUP1
000008c4: SWAP2
000008c5: SUB
000008c6: SWAP1
000008c7: RETURN
000008c8: JUMPDEST
000008c9: PUSH1 0x00
000008cb: PUSH32 0x7965db0b00000000000000000000000000000000000000000000000000000000
000008ec: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000909: NOT
0000090a: AND
0000090b: DUP3
0000090c: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000929: NOT
0000092a: AND
0000092b: EQ
0000092c: DUP1
0000092d: PUSH2 0x093b
00000930: JUMPI
00000931: POP
00000932: PUSH2 0x093a
00000935: DUP3
00000936: PUSH2 0x1cb3
00000939: JUMP
0000093a: JUMPDEST
0000093b: JUMPDEST
0000093c: SWAP1
0000093d: POP
0000093e: SWAP2
0000093f: SWAP1
00000940: POP
00000941: JUMP
00000942: JUMPDEST
00000943: PUSH1 0x04
00000945: SLOAD
00000946: DUP2
00000947: JUMP
00000948: JUMPDEST
00000949: PUSH1 0x00
0000094b: PUSH1 0x0a
0000094d: PUSH1 0x00
0000094f: DUP5
00000950: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000965: AND
00000966: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000097b: AND
0000097c: DUP2
0000097d: MSTORE
0000097e: PUSH1 0x20
00000980: ADD
00000981: SWAP1
00000982: DUP2
00000983: MSTORE
00000984: PUSH1 0x20
00000986: ADD
00000987: PUSH1 0x00
00000989: KECCAK256
0000098a: PUSH1 0x00
0000098c: DUP4
0000098d: DUP2
0000098e: MSTORE
0000098f: PUSH1 0x20
00000991: ADD
00000992: SWAP1
00000993: DUP2
00000994: MSTORE
00000995: PUSH1 0x20
00000997: ADD
00000998: PUSH1 0x00
0000099a: KECCAK256
0000099b: SLOAD
0000099c: SWAP1
0000099d: POP
0000099e: SWAP3
0000099f: SWAP2
000009a0: POP
000009a1: POP
000009a2: JUMP
000009a3: JUMPDEST
000009a4: PUSH2 0x09ab
000009a7: PUSH2 0x1d1d
000009aa: JUMP
000009ab: JUMPDEST
000009ac: PUSH2 0x09d5
000009af: PUSH32 0x7cc05a1140c7294d6d2c2c77d46c42056052f369c9db7e29d41269cf3c197a6c
000009d0: CALLER
000009d1: PUSH2 0x16c5
000009d4: JUMP
000009d5: JUMPDEST
000009d6: PUSH2 0x0a14
000009d9: JUMPI
000009da: PUSH1 0x40
000009dc: MLOAD
000009dd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009fe: DUP2
000009ff: MSTORE
00000a00: PUSH1 0x04
00000a02: ADD
00000a03: PUSH2 0x0a0b
00000a06: SWAP1
00000a07: PUSH2 0x2c46
00000a0a: JUMP
00000a0b: JUMPDEST
00000a0c: PUSH1 0x40
00000a0e: MLOAD
00000a0f: DUP1
00000a10: SWAP2
00000a11: SUB
00000a12: SWAP1
00000a13: REVERT
00000a14: JUMPDEST
00000a15: PUSH1 0x00
00000a17: PUSH1 0x04
00000a19: SLOAD
00000a1a: EQ
00000a1b: ISZERO
00000a1c: DUP1
00000a1d: ISZERO
00000a1e: PUSH2 0x0a2a
00000a21: JUMPI
00000a22: POP
00000a23: PUSH1 0x00
00000a25: PUSH1 0x05
00000a27: SLOAD
00000a28: EQ
00000a29: ISZERO
00000a2a: JUMPDEST
00000a2b: PUSH2 0x0a37
00000a2e: JUMPI
00000a2f: PUSH2 0x0a36
00000a32: PUSH2 0x2c66
00000a35: JUMP
00000a36: JUMPDEST
00000a37: JUMPDEST
00000a38: PUSH2 0x0a3f
00000a3b: PUSH2 0x17fc
00000a3e: JUMP
00000a3f: JUMPDEST
00000a40: DUP2
00000a41: LT
00000a42: DUP1
00000a43: ISZERO
00000a44: PUSH2 0x0a6d
00000a47: JUMPI
00000a48: POP
00000a49: PUSH1 0x0b
00000a4b: PUSH1 0x00
00000a4d: DUP3
00000a4e: DUP2
00000a4f: MSTORE
00000a50: PUSH1 0x20
00000a52: ADD
00000a53: SWAP1
00000a54: DUP2
00000a55: MSTORE
00000a56: PUSH1 0x20
00000a58: ADD
00000a59: PUSH1 0x00
00000a5b: KECCAK256
00000a5c: PUSH1 0x00
00000a5e: ADD
00000a5f: PUSH1 0x00
00000a61: SWAP1
00000a62: SLOAD
00000a63: SWAP1
00000a64: PUSH2 0x0100
00000a67: EXP
00000a68: SWAP1
00000a69: DIV
00000a6a: PUSH1 0xff
00000a6c: AND
00000a6d: JUMPDEST
00000a6e: DUP1
00000a6f: ISZERO
00000a70: PUSH2 0x0ac9
00000a73: JUMPI
00000a74: POP
00000a75: SELFBALANCE
00000a76: PUSH1 0x0a
00000a78: PUSH1 0x00
00000a7a: CALLER
00000a7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a90: AND
00000a91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aa6: AND
00000aa7: DUP2
00000aa8: MSTORE
00000aa9: PUSH1 0x20
00000aab: ADD
00000aac: SWAP1
00000aad: DUP2
00000aae: MSTORE
00000aaf: PUSH1 0x20
00000ab1: ADD
00000ab2: PUSH1 0x00
00000ab4: KECCAK256
00000ab5: PUSH1 0x00
00000ab7: DUP4
00000ab8: DUP2
00000ab9: MSTORE
00000aba: PUSH1 0x20
00000abc: ADD
00000abd: SWAP1
00000abe: DUP2
00000abf: MSTORE
00000ac0: PUSH1 0x20
00000ac2: ADD
00000ac3: PUSH1 0x00
00000ac5: KECCAK256
00000ac6: SLOAD
00000ac7: GT
00000ac8: ISZERO
00000ac9: JUMPDEST
00000aca: PUSH2 0x0ad6
00000acd: JUMPI
00000ace: PUSH2 0x0ad5
00000ad1: PUSH2 0x2c66
00000ad4: JUMP
00000ad5: JUMPDEST
00000ad6: JUMPDEST
00000ad7: PUSH1 0x00
00000ad9: PUSH1 0x0a
00000adb: PUSH1 0x00
00000add: CALLER
00000ade: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af3: AND
00000af4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b09: AND
00000b0a: DUP2
00000b0b: MSTORE
00000b0c: PUSH1 0x20
00000b0e: ADD
00000b0f: SWAP1
00000b10: DUP2
00000b11: MSTORE
00000b12: PUSH1 0x20
00000b14: ADD
00000b15: PUSH1 0x00
00000b17: KECCAK256
00000b18: PUSH1 0x00
00000b1a: DUP4
00000b1b: DUP2
00000b1c: MSTORE
00000b1d: PUSH1 0x20
00000b1f: ADD
00000b20: SWAP1
00000b21: DUP2
00000b22: MSTORE
00000b23: PUSH1 0x20
00000b25: ADD
00000b26: PUSH1 0x00
00000b28: KECCAK256
00000b29: SLOAD
00000b2a: GT
00000b2b: ISZERO
00000b2c: PUSH2 0x0cb0
00000b2f: JUMPI
00000b30: PUSH32 0x4a26ee55a268932252b053366cb9430f862e70edceae8767cfbdbf96e1d2d87f
00000b51: CALLER
00000b52: DUP3
00000b53: PUSH1 0x00
00000b55: DUP1
00000b56: PUSH1 0x0a
00000b58: PUSH1 0x00
00000b5a: CALLER
00000b5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b70: AND
00000b71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b86: AND
00000b87: DUP2
00000b88: MSTORE
00000b89: PUSH1 0x20
00000b8b: ADD
00000b8c: SWAP1
00000b8d: DUP2
00000b8e: MSTORE
00000b8f: PUSH1 0x20
00000b91: ADD
00000b92: PUSH1 0x00
00000b94: KECCAK256
00000b95: PUSH1 0x00
00000b97: DUP8
00000b98: DUP2
00000b99: MSTORE
00000b9a: PUSH1 0x20
00000b9c: ADD
00000b9d: SWAP1
00000b9e: DUP2
00000b9f: MSTORE
00000ba0: PUSH1 0x20
00000ba2: ADD
00000ba3: PUSH1 0x00
00000ba5: KECCAK256
00000ba6: SLOAD
00000ba7: PUSH1 0x00
00000ba9: PUSH1 0x40
00000bab: MLOAD
00000bac: PUSH2 0x0bba
00000baf: SWAP7
00000bb0: SWAP6
00000bb1: SWAP5
00000bb2: SWAP4
00000bb3: SWAP3
00000bb4: SWAP2
00000bb5: SWAP1
00000bb6: PUSH2 0x2cda
00000bb9: JUMP
00000bba: JUMPDEST
00000bbb: PUSH1 0x40
00000bbd: MLOAD
00000bbe: DUP1
00000bbf: SWAP2
00000bc0: SUB
00000bc1: SWAP1
00000bc2: LOG1
00000bc3: CALLER
00000bc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bd9: AND
00000bda: PUSH2 0x08fc
00000bdd: PUSH1 0x0a
00000bdf: PUSH1 0x00
00000be1: CALLER
00000be2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bf7: AND
00000bf8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c0d: AND
00000c0e: DUP2
00000c0f: MSTORE
00000c10: PUSH1 0x20
00000c12: ADD
00000c13: SWAP1
00000c14: DUP2
00000c15: MSTORE
00000c16: PUSH1 0x20
00000c18: ADD
00000c19: PUSH1 0x00
00000c1b: KECCAK256
00000c1c: PUSH1 0x00
00000c1e: DUP5
00000c1f: DUP2
00000c20: MSTORE
00000c21: PUSH1 0x20
00000c23: ADD
00000c24: SWAP1
00000c25: DUP2
00000c26: MSTORE
00000c27: PUSH1 0x20
00000c29: ADD
00000c2a: PUSH1 0x00
00000c2c: KECCAK256
00000c2d: SLOAD
00000c2e: SWAP1
00000c2f: DUP2
00000c30: ISZERO
00000c31: MUL
00000c32: SWAP1
00000c33: PUSH1 0x40
00000c35: MLOAD
00000c36: PUSH1 0x00
00000c38: PUSH1 0x40
00000c3a: MLOAD
00000c3b: DUP1
00000c3c: DUP4
00000c3d: SUB
00000c3e: DUP2
00000c3f: DUP6
00000c40: DUP9
00000c41: DUP9
00000c42: CALL
00000c43: SWAP4
00000c44: POP
00000c45: POP
00000c46: POP
00000c47: POP
00000c48: ISZERO
00000c49: DUP1
00000c4a: ISZERO
00000c4b: PUSH2 0x0c58
00000c4e: JUMPI
00000c4f: RETURNDATASIZE
00000c50: PUSH1 0x00
00000c52: DUP1
00000c53: RETURNDATACOPY
00000c54: RETURNDATASIZE
00000c55: PUSH1 0x00
00000c57: REVERT
00000c58: JUMPDEST
00000c59: POP
00000c5a: PUSH1 0x00
00000c5c: PUSH1 0x0a
00000c5e: PUSH1 0x00
00000c60: CALLER
00000c61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c76: AND
00000c77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c8c: AND
00000c8d: DUP2
00000c8e: MSTORE
00000c8f: PUSH1 0x20
00000c91: ADD
00000c92: SWAP1
00000c93: DUP2
00000c94: MSTORE
00000c95: PUSH1 0x20
00000c97: ADD
00000c98: PUSH1 0x00
00000c9a: KECCAK256
00000c9b: PUSH1 0x00
00000c9d: DUP4
00000c9e: DUP2
00000c9f: MSTORE
00000ca0: PUSH1 0x20
00000ca2: ADD
00000ca3: SWAP1
00000ca4: DUP2
00000ca5: MSTORE
00000ca6: PUSH1 0x20
00000ca8: ADD
00000ca9: PUSH1 0x00
00000cab: KECCAK256
00000cac: DUP2
00000cad: SWAP1
00000cae: SSTORE
00000caf: POP
00000cb0: JUMPDEST
00000cb1: PUSH2 0x0cb8
00000cb4: PUSH2 0x1d6c
00000cb7: JUMP
00000cb8: JUMPDEST
00000cb9: POP
00000cba: JUMP
00000cbb: JUMPDEST
00000cbc: PUSH1 0x03
00000cbe: PUSH1 0x00
00000cc0: SWAP1
00000cc1: SLOAD
00000cc2: SWAP1
00000cc3: PUSH2 0x0100
00000cc6: EXP
00000cc7: SWAP1
00000cc8: DIV
00000cc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cde: AND
00000cdf: DUP2
00000ce0: JUMP
00000ce1: JUMPDEST
00000ce2: PUSH1 0x00
00000ce4: PUSH1 0x02
00000ce6: PUSH1 0x00
00000ce8: DUP4
00000ce9: DUP2
00000cea: MSTORE
00000ceb: PUSH1 0x20
00000ced: ADD
00000cee: SWAP1
00000cef: DUP2
00000cf0: MSTORE
00000cf1: PUSH1 0x20
00000cf3: ADD
00000cf4: PUSH1 0x00
00000cf6: KECCAK256
00000cf7: PUSH1 0x01
00000cf9: ADD
00000cfa: SLOAD
00000cfb: SWAP1
00000cfc: POP
00000cfd: SWAP2
00000cfe: SWAP1
00000cff: POP
00000d00: JUMP
00000d01: JUMPDEST
00000d02: PUSH1 0x07
00000d04: SLOAD
00000d05: DUP2
00000d06: JUMP
00000d07: JUMPDEST
00000d08: PUSH2 0x0d10
00000d0b: DUP3
00000d0c: PUSH2 0x0ce1
00000d0f: JUMP
00000d10: JUMPDEST
00000d11: PUSH2 0x0d19
00000d14: DUP2
00000d15: PUSH2 0x1d75
00000d18: JUMP
00000d19: JUMPDEST
00000d1a: PUSH2 0x0d23
00000d1d: DUP4
00000d1e: DUP4
00000d1f: PUSH2 0x1d89
00000d22: JUMP
00000d23: JUMPDEST
00000d24: POP
00000d25: POP
00000d26: POP
00000d27: JUMP
00000d28: JUMPDEST
00000d29: PUSH2 0x0d30
00000d2c: PUSH2 0x1e6a
00000d2f: JUMP
00000d30: JUMPDEST
00000d31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d46: AND
00000d47: DUP2
00000d48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d5d: AND
00000d5e: EQ
00000d5f: PUSH2 0x0d9d
00000d62: JUMPI
00000d63: PUSH1 0x40
00000d65: MLOAD
00000d66: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d87: DUP2
00000d88: MSTORE
00000d89: PUSH1 0x04
00000d8b: ADD
00000d8c: PUSH2 0x0d94
00000d8f: SWAP1
00000d90: PUSH2 0x2dad
00000d93: JUMP
00000d94: JUMPDEST
00000d95: PUSH1 0x40
00000d97: MLOAD
00000d98: DUP1
00000d99: SWAP2
00000d9a: SUB
00000d9b: SWAP1
00000d9c: REVERT
00000d9d: JUMPDEST
00000d9e: PUSH2 0x0da7
00000da1: DUP3
00000da2: DUP3
00000da3: PUSH2 0x1e72
00000da6: JUMP
00000da7: JUMPDEST
00000da8: POP
00000da9: POP
00000daa: JUMP
00000dab: JUMPDEST
00000dac: PUSH1 0x0a
00000dae: PUSH1 0x20
00000db0: MSTORE
00000db1: DUP2
00000db2: PUSH1 0x00
00000db4: MSTORE
00000db5: PUSH1 0x40
00000db7: PUSH1 0x00
00000db9: KECCAK256
00000dba: PUSH1 0x20
00000dbc: MSTORE
00000dbd: DUP1
00000dbe: PUSH1 0x00
00000dc0: MSTORE
00000dc1: PUSH1 0x40
00000dc3: PUSH1 0x00
00000dc5: KECCAK256
00000dc6: PUSH1 0x00
00000dc8: SWAP2
00000dc9: POP
00000dca: SWAP2
00000dcb: POP
00000dcc: POP
00000dcd: SLOAD
00000dce: DUP2
00000dcf: JUMP
00000dd0: JUMPDEST
00000dd1: PUSH2 0x0dd8
00000dd4: PUSH2 0x1f54
00000dd7: JUMP
00000dd8: JUMPDEST
00000dd9: PUSH1 0x00
00000ddb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df0: AND
00000df1: DUP2
00000df2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e07: AND
00000e08: SUB
00000e09: PUSH2 0x0e47
00000e0c: JUMPI
00000e0d: PUSH1 0x40
00000e0f: MLOAD
00000e10: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e31: DUP2
00000e32: MSTORE
00000e33: PUSH1 0x04
00000e35: ADD
00000e36: PUSH2 0x0e3e
00000e39: SWAP1
00000e3a: PUSH2 0x2e19
00000e3d: JUMP
00000e3e: JUMPDEST
00000e3f: PUSH1 0x40
00000e41: MLOAD
00000e42: DUP1
00000e43: SWAP2
00000e44: SUB
00000e45: SWAP1
00000e46: REVERT
00000e47: JUMPDEST
00000e48: PUSH2 0x0e71
00000e4b: PUSH32 0x31b1eef659b3a1eff8141d282b94bb64fd3fc317f01cc6ab4b25ccb3e718ce8b
00000e6c: DUP3
00000e6d: PUSH2 0x1e72
00000e70: JUMP
00000e71: JUMPDEST
00000e72: POP
00000e73: JUMP
00000e74: JUMPDEST
00000e75: PUSH2 0x0e7c
00000e78: PUSH2 0x1f54
00000e7b: JUMP
00000e7c: JUMPDEST
00000e7d: PUSH2 0x0e84
00000e80: PUSH2 0x1d1d
00000e83: JUMP
00000e84: JUMPDEST
00000e85: PUSH1 0x00
00000e87: PUSH1 0x04
00000e89: SLOAD
00000e8a: EQ
00000e8b: DUP1
00000e8c: PUSH2 0x0e97
00000e8f: JUMPI
00000e90: POP
00000e91: PUSH1 0x00
00000e93: PUSH1 0x05
00000e95: SLOAD
00000e96: EQ
00000e97: JUMPDEST
00000e98: PUSH2 0x0ea4
00000e9b: JUMPI
00000e9c: PUSH2 0x0ea3
00000e9f: PUSH2 0x2c66
00000ea2: JUMP
00000ea3: JUMPDEST
00000ea4: JUMPDEST
00000ea5: PUSH2 0x0f48
00000ea8: CALLER
00000ea9: DUP3
00000eaa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ebf: AND
00000ec0: PUSH4 0x70a08231
00000ec5: ADDRESS
00000ec6: PUSH1 0x40
00000ec8: MLOAD
00000ec9: DUP3
00000eca: PUSH4 0xffffffff
00000ecf: AND
00000ed0: PUSH1 0xe0
00000ed2: SHL
00000ed3: DUP2
00000ed4: MSTORE
00000ed5: PUSH1 0x04
00000ed7: ADD
00000ed8: PUSH2 0x0ee1
00000edb: SWAP2
00000edc: SWAP1
00000edd: PUSH2 0x2930
00000ee0: JUMP
00000ee1: JUMPDEST
00000ee2: PUSH1 0x20
00000ee4: PUSH1 0x40
00000ee6: MLOAD
00000ee7: DUP1
00000ee8: DUP4
00000ee9: SUB
00000eea: DUP2
00000eeb: DUP7
00000eec: GAS
00000eed: STATICCALL
00000eee: ISZERO
00000eef: DUP1
00000ef0: ISZERO
00000ef1: PUSH2 0x0efe
00000ef4: JUMPI
00000ef5: RETURNDATASIZE
00000ef6: PUSH1 0x00
00000ef8: DUP1
00000ef9: RETURNDATACOPY
00000efa: RETURNDATASIZE
00000efb: PUSH1 0x00
00000efd: REVERT
00000efe: JUMPDEST
00000eff: POP
00000f00: POP
00000f01: POP
00000f02: POP
00000f03: PUSH1 0x40
00000f05: MLOAD
00000f06: RETURNDATASIZE
00000f07: PUSH1 0x1f
00000f09: NOT
00000f0a: PUSH1 0x1f
00000f0c: DUP3
00000f0d: ADD
00000f0e: AND
00000f0f: DUP3
00000f10: ADD
00000f11: DUP1
00000f12: PUSH1 0x40
00000f14: MSTORE
00000f15: POP
00000f16: DUP2
00000f17: ADD
00000f18: SWAP1
00000f19: PUSH2 0x0f22
00000f1c: SWAP2
00000f1d: SWAP1
00000f1e: PUSH2 0x2e4e
00000f21: JUMP
00000f22: JUMPDEST
00000f23: DUP4
00000f24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f39: AND
00000f3a: PUSH2 0x1fd2
00000f3d: SWAP1
00000f3e: SWAP3
00000f3f: SWAP2
00000f40: SWAP1
00000f41: PUSH4 0xffffffff
00000f46: AND
00000f47: JUMP
00000f48: JUMPDEST
00000f49: PUSH1 0x00
00000f4b: SELFBALANCE
00000f4c: GT
00000f4d: ISZERO
00000f4e: PUSH2 0x0f99
00000f51: JUMPI
00000f52: CALLER
00000f53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f68: AND
00000f69: PUSH2 0x08fc
00000f6c: SELFBALANCE
00000f6d: SWAP1
00000f6e: DUP2
00000f6f: ISZERO
00000f70: MUL
00000f71: SWAP1
00000f72: PUSH1 0x40
00000f74: MLOAD
00000f75: PUSH1 0x00
00000f77: PUSH1 0x40
00000f79: MLOAD
00000f7a: DUP1
00000f7b: DUP4
00000f7c: SUB
00000f7d: DUP2
00000f7e: DUP6
00000f7f: DUP9
00000f80: DUP9
00000f81: CALL
00000f82: SWAP4
00000f83: POP
00000f84: POP
00000f85: POP
00000f86: POP
00000f87: ISZERO
00000f88: DUP1
00000f89: ISZERO
00000f8a: PUSH2 0x0f97
00000f8d: JUMPI
00000f8e: RETURNDATASIZE
00000f8f: PUSH1 0x00
00000f91: DUP1
00000f92: RETURNDATACOPY
00000f93: RETURNDATASIZE
00000f94: PUSH1 0x00
00000f96: REVERT
00000f97: JUMPDEST
00000f98: POP
00000f99: JUMPDEST
00000f9a: PUSH2 0x0fa1
00000f9d: PUSH2 0x1d6c
00000fa0: JUMP
00000fa1: JUMPDEST
00000fa2: POP
00000fa3: JUMP
00000fa4: JUMPDEST
00000fa5: PUSH2 0x0fac
00000fa8: PUSH2 0x1d1d
00000fab: JUMP
00000fac: JUMPDEST
00000fad: PUSH2 0x0fd6
00000fb0: PUSH32 0x31b1eef659b3a1eff8141d282b94bb64fd3fc317f01cc6ab4b25ccb3e718ce8b
00000fd1: CALLER
00000fd2: PUSH2 0x16c5
00000fd5: JUMP
00000fd6: JUMPDEST
00000fd7: PUSH2 0x1015
00000fda: JUMPI
00000fdb: PUSH1 0x40
00000fdd: MLOAD
00000fde: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fff: DUP2
00001000: MSTORE
00001001: PUSH1 0x04
00001003: ADD
00001004: PUSH2 0x100c
00001007: SWAP1
00001008: PUSH2 0x2c46
0000100b: JUMP
0000100c: JUMPDEST
0000100d: PUSH1 0x40
0000100f: MLOAD
00001010: DUP1
00001011: SWAP2
00001012: SUB
00001013: SWAP1
00001014: REVERT
00001015: JUMPDEST
00001016: PUSH2 0x101d
00001019: PUSH2 0x17fc
0000101c: JUMP
0000101d: JUMPDEST
0000101e: DUP2
0000101f: LT
00001020: DUP1
00001021: ISZERO
00001022: PUSH2 0x104c
00001025: JUMPI
00001026: POP
00001027: PUSH1 0x0b
00001029: PUSH1 0x00
0000102b: DUP3
0000102c: DUP2
0000102d: MSTORE
0000102e: PUSH1 0x20
00001030: ADD
00001031: SWAP1
00001032: DUP2
00001033: MSTORE
00001034: PUSH1 0x20
00001036: ADD
00001037: PUSH1 0x00
00001039: KECCAK256
0000103a: PUSH1 0x00
0000103c: ADD
0000103d: PUSH1 0x00
0000103f: SWAP1
00001040: SLOAD
00001041: SWAP1
00001042: PUSH2 0x0100
00001045: EXP
00001046: SWAP1
00001047: DIV
00001048: PUSH1 0xff
0000104a: AND
0000104b: ISZERO
0000104c: JUMPDEST
0000104d: DUP1
0000104e: ISZERO
0000104f: PUSH2 0x106e
00001052: JUMPI
00001053: POP
00001054: PUSH1 0x0b
00001056: PUSH1 0x00
00001058: DUP3
00001059: DUP2
0000105a: MSTORE
0000105b: PUSH1 0x20
0000105d: ADD
0000105e: SWAP1
0000105f: DUP2
00001060: MSTORE
00001061: PUSH1 0x20
00001063: ADD
00001064: PUSH1 0x00
00001066: KECCAK256
00001067: PUSH1 0x02
00001069: ADD
0000106a: SLOAD
0000106b: CALLVALUE
0000106c: LT
0000106d: ISZERO
0000106e: JUMPDEST
0000106f: PUSH2 0x107b
00001072: JUMPI
00001073: PUSH2 0x107a
00001076: PUSH2 0x2c66
00001079: JUMP
0000107a: JUMPDEST
0000107b: JUMPDEST
0000107c: PUSH1 0x00
0000107e: PUSH1 0x0b
00001080: PUSH1 0x00
00001082: DUP4
00001083: DUP2
00001084: MSTORE
00001085: PUSH1 0x20
00001087: ADD
00001088: SWAP1
00001089: DUP2
0000108a: MSTORE
0000108b: PUSH1 0x20
0000108d: ADD
0000108e: PUSH1 0x00
00001090: KECCAK256
00001091: PUSH1 0x01
00001093: ADD
00001094: SLOAD
00001095: GT
00001096: ISZERO
00001097: PUSH2 0x10f8
0000109a: JUMPI
0000109b: CALLER
0000109c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010b1: AND
000010b2: PUSH2 0x08fc
000010b5: PUSH1 0x0b
000010b7: PUSH1 0x00
000010b9: DUP5
000010ba: DUP2
000010bb: MSTORE
000010bc: PUSH1 0x20
000010be: ADD
000010bf: SWAP1
000010c0: DUP2
000010c1: MSTORE
000010c2: PUSH1 0x20
000010c4: ADD
000010c5: PUSH1 0x00
000010c7: KECCAK256
000010c8: PUSH1 0x01
000010ca: ADD
000010cb: SLOAD
000010cc: SWAP1
000010cd: DUP2
000010ce: ISZERO
000010cf: MUL
000010d0: SWAP1
000010d1: PUSH1 0x40
000010d3: MLOAD
000010d4: PUSH1 0x00
000010d6: PUSH1 0x40
000010d8: MLOAD
000010d9: DUP1
000010da: DUP4
000010db: SUB
000010dc: DUP2
000010dd: DUP6
000010de: DUP9
000010df: DUP9
000010e0: CALL
000010e1: SWAP4
000010e2: POP
000010e3: POP
000010e4: POP
000010e5: POP
000010e6: ISZERO
000010e7: DUP1
000010e8: ISZERO
000010e9: PUSH2 0x10f6
000010ec: JUMPI
000010ed: RETURNDATASIZE
000010ee: PUSH1 0x00
000010f0: DUP1
000010f1: RETURNDATACOPY
000010f2: RETURNDATASIZE
000010f3: PUSH1 0x00
000010f5: REVERT
000010f6: JUMPDEST
000010f7: POP
000010f8: JUMPDEST
000010f9: PUSH1 0x01
000010fb: PUSH1 0x0b
000010fd: PUSH1 0x00
000010ff: DUP4
00001100: DUP2
00001101: MSTORE
00001102: PUSH1 0x20
00001104: ADD
00001105: SWAP1
00001106: DUP2
00001107: MSTORE
00001108: PUSH1 0x20
0000110a: ADD
0000110b: PUSH1 0x00
0000110d: KECCAK256
0000110e: PUSH1 0x00
00001110: ADD
00001111: PUSH1 0x00
00001113: PUSH2 0x0100
00001116: EXP
00001117: DUP2
00001118: SLOAD
00001119: DUP2
0000111a: PUSH1 0xff
0000111c: MUL
0000111d: NOT
0000111e: AND
0000111f: SWAP1
00001120: DUP4
00001121: ISZERO
00001122: ISZERO
00001123: MUL
00001124: OR
00001125: SWAP1
00001126: SSTORE
00001127: POP
00001128: PUSH2 0x112f
0000112b: PUSH2 0x1d6c
0000112e: JUMP
0000112f: JUMPDEST
00001130: POP
00001131: JUMP
00001132: JUMPDEST
00001133: PUSH2 0x113a
00001136: PUSH2 0x1f54
00001139: JUMP
0000113a: JUMPDEST
0000113b: PUSH1 0x00
0000113d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001152: AND
00001153: DUP2
00001154: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001169: AND
0000116a: SUB
0000116b: PUSH2 0x11a9
0000116e: JUMPI
0000116f: PUSH1 0x40
00001171: MLOAD
00001172: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001193: DUP2
00001194: MSTORE
00001195: PUSH1 0x04
00001197: ADD
00001198: PUSH2 0x11a0
0000119b: SWAP1
0000119c: PUSH2 0x2e19
0000119f: JUMP
000011a0: JUMPDEST
000011a1: PUSH1 0x40
000011a3: MLOAD
000011a4: DUP1
000011a5: SWAP2
000011a6: SUB
000011a7: SWAP1
000011a8: REVERT
000011a9: JUMPDEST
000011aa: PUSH2 0x11d3
000011ad: PUSH32 0x7cc05a1140c7294d6d2c2c77d46c42056052f369c9db7e29d41269cf3c197a6c
000011ce: DUP3
000011cf: PUSH2 0x1e72
000011d2: JUMP
000011d3: JUMPDEST
000011d4: POP
000011d5: JUMP
000011d6: JUMPDEST
000011d7: PUSH1 0x00
000011d9: PUSH2 0x11e0
000011dc: PUSH2 0x1d1d
000011df: JUMP
000011e0: JUMPDEST
000011e1: PUSH2 0x120a
000011e4: PUSH32 0x7cc05a1140c7294d6d2c2c77d46c42056052f369c9db7e29d41269cf3c197a6c
00001205: CALLER
00001206: PUSH2 0x16c5
00001209: JUMP
0000120a: JUMPDEST
0000120b: PUSH2 0x1249
0000120e: JUMPI
0000120f: PUSH1 0x40
00001211: MLOAD
00001212: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001233: DUP2
00001234: MSTORE
00001235: PUSH1 0x04
00001237: ADD
00001238: PUSH2 0x1240
0000123b: SWAP1
0000123c: PUSH2 0x2c46
0000123f: JUMP
00001240: JUMPDEST
00001241: PUSH1 0x40
00001243: MLOAD
00001244: DUP1
00001245: SWAP2
00001246: SUB
00001247: SWAP1
00001248: REVERT
00001249: JUMPDEST
0000124a: PUSH1 0x00
0000124c: PUSH1 0x04
0000124e: SLOAD
0000124f: EQ
00001250: ISZERO
00001251: DUP1
00001252: ISZERO
00001253: PUSH2 0x125f
00001256: JUMPI
00001257: POP
00001258: PUSH1 0x00
0000125a: PUSH1 0x05
0000125c: SLOAD
0000125d: EQ
0000125e: ISZERO
0000125f: JUMPDEST
00001260: PUSH2 0x126c
00001263: JUMPI
00001264: PUSH2 0x126b
00001267: PUSH2 0x2c66
0000126a: JUMP
0000126b: JUMPDEST
0000126c: JUMPDEST
0000126d: PUSH1 0x00
0000126f: PUSH1 0x01
00001271: PUSH2 0x1278
00001274: PUSH2 0x17fc
00001277: JUMP
00001278: JUMPDEST
00001279: PUSH2 0x1282
0000127c: SWAP2
0000127d: SWAP1
0000127e: PUSH2 0x2eaa
00001281: JUMP
00001282: JUMPDEST
00001283: SWAP1
00001284: POP
00001285: PUSH1 0x00
00001287: PUSH1 0x09
00001289: SLOAD
0000128a: PUSH1 0x03
0000128c: PUSH1 0x14
0000128e: SWAP1
0000128f: SLOAD
00001290: SWAP1
00001291: PUSH2 0x0100
00001294: EXP
00001295: SWAP1
00001296: DIV
00001297: PUSH1 0xff
00001299: AND
0000129a: PUSH1 0x03
0000129c: PUSH1 0x15
0000129e: SWAP1
0000129f: SLOAD
000012a0: SWAP1
000012a1: PUSH2 0x0100
000012a4: EXP
000012a5: SWAP1
000012a6: DIV
000012a7: PUSH1 0xff
000012a9: AND
000012aa: PUSH1 0x12
000012ac: PUSH2 0x12b5
000012af: SWAP2
000012b0: SWAP1
000012b1: PUSH2 0x2ede
000012b4: JUMP
000012b5: JUMPDEST
000012b6: PUSH2 0x12bf
000012b9: SWAP2
000012ba: SWAP1
000012bb: PUSH2 0x2f13
000012be: JUMP
000012bf: JUMPDEST
000012c0: PUSH1 0x0a
000012c2: PUSH2 0x12cb
000012c5: SWAP2
000012c6: SWAP1
000012c7: PUSH2 0x307b
000012ca: JUMP
000012cb: JUMPDEST
000012cc: PUSH2 0x12d5
000012cf: SWAP2
000012d0: SWAP1
000012d1: PUSH2 0x30c6
000012d4: JUMP
000012d5: JUMPDEST
000012d6: PUSH1 0x06
000012d8: SLOAD
000012d9: DUP6
000012da: CALLVALUE
000012db: PUSH2 0x12e4
000012de: SWAP2
000012df: SWAP1
000012e0: PUSH2 0x30c6
000012e3: JUMP
000012e4: JUMPDEST
000012e5: PUSH2 0x12ee
000012e8: SWAP2
000012e9: SWAP1
000012ea: PUSH2 0x30c6
000012ed: JUMP
000012ee: JUMPDEST
000012ef: PUSH2 0x12f8
000012f2: SWAP2
000012f3: SWAP1
000012f4: PUSH2 0x3137
000012f7: JUMP
000012f8: JUMPDEST
000012f9: SWAP1
000012fa: POP
000012fb: DUP1
000012fc: PUSH1 0x03
000012fe: PUSH1 0x00
00001300: SWAP1
00001301: SLOAD
00001302: SWAP1
00001303: PUSH2 0x0100
00001306: EXP
00001307: SWAP1
00001308: DIV
00001309: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000131e: AND
0000131f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001334: AND
00001335: PUSH4 0x70a08231
0000133a: ADDRESS
0000133b: PUSH1 0x40
0000133d: MLOAD
0000133e: DUP3
0000133f: PUSH4 0xffffffff
00001344: AND
00001345: PUSH1 0xe0
00001347: SHL
00001348: DUP2
00001349: MSTORE
0000134a: PUSH1 0x04
0000134c: ADD
0000134d: PUSH2 0x1356
00001350: SWAP2
00001351: SWAP1
00001352: PUSH2 0x2930
00001355: JUMP
00001356: JUMPDEST
00001357: PUSH1 0x20
00001359: PUSH1 0x40
0000135b: MLOAD
0000135c: DUP1
0000135d: DUP4
0000135e: SUB
0000135f: DUP2
00001360: DUP7
00001361: GAS
00001362: STATICCALL
00001363: ISZERO
00001364: DUP1
00001365: ISZERO
00001366: PUSH2 0x1373
00001369: JUMPI
0000136a: RETURNDATASIZE
0000136b: PUSH1 0x00
0000136d: DUP1
0000136e: RETURNDATACOPY
0000136f: RETURNDATASIZE
00001370: PUSH1 0x00
00001372: REVERT
00001373: JUMPDEST
00001374: POP
00001375: POP
00001376: POP
00001377: POP
00001378: PUSH1 0x40
0000137a: MLOAD
0000137b: RETURNDATASIZE
0000137c: PUSH1 0x1f
0000137e: NOT
0000137f: PUSH1 0x1f
00001381: DUP3
00001382: ADD
00001383: AND
00001384: DUP3
00001385: ADD
00001386: DUP1
00001387: PUSH1 0x40
00001389: MSTORE
0000138a: POP
0000138b: DUP2
0000138c: ADD
0000138d: SWAP1
0000138e: PUSH2 0x1397
00001391: SWAP2
00001392: SWAP1
00001393: PUSH2 0x2e4e
00001396: JUMP
00001397: JUMPDEST
00001398: GT
00001399: ISZERO
0000139a: PUSH2 0x13ef
0000139d: JUMPI
0000139e: PUSH2 0x13ea
000013a1: CALLER
000013a2: DUP3
000013a3: PUSH1 0x03
000013a5: PUSH1 0x00
000013a7: SWAP1
000013a8: SLOAD
000013a9: SWAP1
000013aa: PUSH2 0x0100
000013ad: EXP
000013ae: SWAP1
000013af: DIV
000013b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013c5: AND
000013c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013db: AND
000013dc: PUSH2 0x1fd2
000013df: SWAP1
000013e0: SWAP3
000013e1: SWAP2
000013e2: SWAP1
000013e3: PUSH4 0xffffffff
000013e8: AND
000013e9: JUMP
000013ea: JUMPDEST
000013eb: PUSH2 0x147f
000013ee: JUMP
000013ef: JUMPDEST
000013f0: PUSH1 0x03
000013f2: PUSH1 0x00
000013f4: SWAP1
000013f5: SLOAD
000013f6: SWAP1
000013f7: PUSH2 0x0100
000013fa: EXP
000013fb: SWAP1
000013fc: DIV
000013fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001412: AND
00001413: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001428: AND
00001429: PUSH4 0x40c10f19
0000142e: CALLER
0000142f: DUP4
00001430: PUSH1 0x40
00001432: MLOAD
00001433: DUP4
00001434: PUSH4 0xffffffff
00001439: AND
0000143a: PUSH1 0xe0
0000143c: SHL
0000143d: DUP2
0000143e: MSTORE
0000143f: PUSH1 0x04
00001441: ADD
00001442: PUSH2 0x144c
00001445: SWAP3
00001446: SWAP2
00001447: SWAP1
00001448: PUSH2 0x3168
0000144b: JUMP
0000144c: JUMPDEST
0000144d: PUSH1 0x00
0000144f: PUSH1 0x40
00001451: MLOAD
00001452: DUP1
00001453: DUP4
00001454: SUB
00001455: DUP2
00001456: PUSH1 0x00
00001458: DUP8
00001459: DUP1
0000145a: EXTCODESIZE
0000145b: ISZERO
0000145c: DUP1
0000145d: ISZERO
0000145e: PUSH2 0x1466
00001461: JUMPI
00001462: PUSH1 0x00
00001464: DUP1
00001465: REVERT
00001466: JUMPDEST
00001467: POP
00001468: GAS
00001469: CALL
0000146a: ISZERO
0000146b: DUP1
0000146c: ISZERO
0000146d: PUSH2 0x147a
00001470: JUMPI
00001471: RETURNDATASIZE
00001472: PUSH1 0x00
00001474: DUP1
00001475: RETURNDATACOPY
00001476: RETURNDATASIZE
00001477: PUSH1 0x00
00001479: REVERT
0000147a: JUMPDEST
0000147b: POP
0000147c: POP
0000147d: POP
0000147e: POP
0000147f: JUMPDEST
00001480: PUSH1 0x09
00001482: SLOAD
00001483: PUSH1 0x08
00001485: SLOAD
00001486: CALLVALUE
00001487: PUSH2 0x1490
0000148a: SWAP2
0000148b: SWAP1
0000148c: PUSH2 0x30c6
0000148f: JUMP
00001490: JUMPDEST
00001491: PUSH2 0x149a
00001494: SWAP2
00001495: SWAP1
00001496: PUSH2 0x3137
00001499: JUMP
0000149a: JUMPDEST
0000149b: PUSH1 0x0b
0000149d: PUSH1 0x00
0000149f: DUP5
000014a0: DUP2
000014a1: MSTORE
000014a2: PUSH1 0x20
000014a4: ADD
000014a5: SWAP1
000014a6: DUP2
000014a7: MSTORE
000014a8: PUSH1 0x20
000014aa: ADD
000014ab: PUSH1 0x00
000014ad: KECCAK256
000014ae: PUSH1 0x01
000014b0: ADD
000014b1: PUSH1 0x00
000014b3: DUP3
000014b4: DUP3
000014b5: SLOAD
000014b6: PUSH2 0x14bf
000014b9: SWAP2
000014ba: SWAP1
000014bb: PUSH2 0x2eaa
000014be: JUMP
000014bf: JUMPDEST
000014c0: SWAP3
000014c1: POP
000014c2: POP
000014c3: DUP2
000014c4: SWAP1
000014c5: SSTORE
000014c6: POP
000014c7: PUSH32 0x846c37eef631e0943682d87352ec117c20008eb7f425c9b85ac011a6d4774cc0
000014e8: CALLER
000014e9: DUP6
000014ea: CALLVALUE
000014eb: DUP5
000014ec: PUSH1 0x40
000014ee: MLOAD
000014ef: PUSH2 0x14fb
000014f2: SWAP5
000014f3: SWAP4
000014f4: SWAP3
000014f5: SWAP2
000014f6: SWAP1
000014f7: PUSH2 0x3191
000014fa: JUMP
000014fb: JUMPDEST
000014fc: PUSH1 0x40
000014fe: MLOAD
000014ff: DUP1
00001500: SWAP2
00001501: SUB
00001502: SWAP1
00001503: LOG1
00001504: DUP1
00001505: SWAP3
00001506: POP
00001507: POP
00001508: POP
00001509: PUSH2 0x1510
0000150c: PUSH2 0x1d6c
0000150f: JUMP
00001510: JUMPDEST
00001511: SWAP2
00001512: SWAP1
00001513: POP
00001514: JUMP
00001515: JUMPDEST
00001516: PUSH2 0x151d
00001519: PUSH2 0x1f54
0000151c: JUMP
0000151d: JUMPDEST
0000151e: PUSH2 0x1527
00001521: PUSH1 0x00
00001523: PUSH2 0x2058
00001526: JUMP
00001527: JUMPDEST
00001528: JUMP
00001529: JUMPDEST
0000152a: PUSH32 0x31b1eef659b3a1eff8141d282b94bb64fd3fc317f01cc6ab4b25ccb3e718ce8b
0000154b: DUP2
0000154c: JUMP
0000154d: JUMPDEST
0000154e: PUSH2 0x1555
00001551: PUSH2 0x1f54
00001554: JUMP
00001555: JUMPDEST
00001556: DUP9
00001557: PUSH1 0x03
00001559: PUSH1 0x00
0000155b: PUSH2 0x0100
0000155e: EXP
0000155f: DUP2
00001560: SLOAD
00001561: DUP2
00001562: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001577: MUL
00001578: NOT
00001579: AND
0000157a: SWAP1
0000157b: DUP4
0000157c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001591: AND
00001592: MUL
00001593: OR
00001594: SWAP1
00001595: SSTORE
00001596: POP
00001597: DUP8
00001598: PUSH1 0x03
0000159a: PUSH1 0x14
0000159c: PUSH2 0x0100
0000159f: EXP
000015a0: DUP2
000015a1: SLOAD
000015a2: DUP2
000015a3: PUSH1 0xff
000015a5: MUL
000015a6: NOT
000015a7: AND
000015a8: SWAP1
000015a9: DUP4
000015aa: PUSH1 0xff
000015ac: AND
000015ad: MUL
000015ae: OR
000015af: SWAP1
000015b0: SSTORE
000015b1: POP
000015b2: DUP7
000015b3: PUSH1 0x03
000015b5: PUSH1 0x15
000015b7: PUSH2 0x0100
000015ba: EXP
000015bb: DUP2
000015bc: SLOAD
000015bd: DUP2
000015be: PUSH1 0xff
000015c0: MUL
000015c1: NOT
000015c2: AND
000015c3: SWAP1
000015c4: DUP4
000015c5: PUSH1 0xff
000015c7: AND
000015c8: MUL
000015c9: OR
000015ca: SWAP1
000015cb: SSTORE
000015cc: POP
000015cd: DUP6
000015ce: PUSH1 0x04
000015d0: DUP2
000015d1: SWAP1
000015d2: SSTORE
000015d3: POP
000015d4: DUP5
000015d5: PUSH1 0x05
000015d7: DUP2
000015d8: SWAP1
000015d9: SSTORE
000015da: POP
000015db: DUP4
000015dc: PUSH1 0x06
000015de: DUP2
000015df: SWAP1
000015e0: SSTORE
000015e1: POP
000015e2: DUP3
000015e3: PUSH1 0x07
000015e5: DUP2
000015e6: SWAP1
000015e7: SSTORE
000015e8: POP
000015e9: DUP1
000015ea: PUSH1 0x09
000015ec: DUP2
000015ed: SWAP1
000015ee: SSTORE
000015ef: POP
000015f0: DUP2
000015f1: PUSH1 0x08
000015f3: DUP2
000015f4: SWAP1
000015f5: SSTORE
000015f6: POP
000015f7: POP
000015f8: POP
000015f9: POP
000015fa: POP
000015fb: POP
000015fc: POP
000015fd: POP
000015fe: POP
000015ff: POP
00001600: JUMP
00001601: JUMPDEST
00001602: PUSH1 0x0b
00001604: PUSH1 0x20
00001606: MSTORE
00001607: DUP1
00001608: PUSH1 0x00
0000160a: MSTORE
0000160b: PUSH1 0x40
0000160d: PUSH1 0x00
0000160f: KECCAK256
00001610: PUSH1 0x00
00001612: SWAP2
00001613: POP
00001614: SWAP1
00001615: POP
00001616: DUP1
00001617: PUSH1 0x00
00001619: ADD
0000161a: PUSH1 0x00
0000161c: SWAP1
0000161d: SLOAD
0000161e: SWAP1
0000161f: PUSH2 0x0100
00001622: EXP
00001623: SWAP1
00001624: DIV
00001625: PUSH1 0xff
00001627: AND
00001628: SWAP1
00001629: DUP1
0000162a: PUSH1 0x01
0000162c: ADD
0000162d: SLOAD
0000162e: SWAP1
0000162f: DUP1
00001630: PUSH1 0x02
00001632: ADD
00001633: SLOAD
00001634: SWAP1
00001635: POP
00001636: DUP4
00001637: JUMP
00001638: JUMPDEST
00001639: PUSH1 0x00
0000163b: DUP1
0000163c: PUSH1 0x00
0000163e: SWAP1
0000163f: SLOAD
00001640: SWAP1
00001641: PUSH2 0x0100
00001644: EXP
00001645: SWAP1
00001646: DIV
00001647: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000165c: AND
0000165d: SWAP1
0000165e: POP
0000165f: SWAP1
00001660: JUMP
00001661: JUMPDEST
00001662: PUSH1 0x00
00001664: DUP1
00001665: PUSH1 0x00
00001667: PUSH1 0x0b
00001669: PUSH1 0x00
0000166b: DUP6
0000166c: DUP2
0000166d: MSTORE
0000166e: PUSH1 0x20
00001670: ADD
00001671: SWAP1
00001672: DUP2
00001673: MSTORE
00001674: PUSH1 0x20
00001676: ADD
00001677: PUSH1 0x00
00001679: KECCAK256
0000167a: PUSH1 0x00
0000167c: ADD
0000167d: PUSH1 0x00
0000167f: SWAP1
00001680: SLOAD
00001681: SWAP1
00001682: PUSH2 0x0100
00001685: EXP
00001686: SWAP1
00001687: DIV
00001688: PUSH1 0xff
0000168a: AND
0000168b: PUSH1 0x0b
0000168d: PUSH1 0x00
0000168f: DUP7
00001690: DUP2
00001691: MSTORE
00001692: PUSH1 0x20
00001694: ADD
00001695: SWAP1
00001696: DUP2
00001697: MSTORE
00001698: PUSH1 0x20
0000169a: ADD
0000169b: PUSH1 0x00
0000169d: KECCAK256
0000169e: PUSH1 0x01
000016a0: ADD
000016a1: SLOAD
000016a2: PUSH1 0x0b
000016a4: PUSH1 0x00
000016a6: DUP8
000016a7: DUP2
000016a8: MSTORE
000016a9: PUSH1 0x20
000016ab: ADD
000016ac: SWAP1
000016ad: DUP2
000016ae: MSTORE
000016af: PUSH1 0x20
000016b1: ADD
000016b2: PUSH1 0x00
000016b4: KECCAK256
000016b5: PUSH1 0x02
000016b7: ADD
000016b8: SLOAD
000016b9: SWAP3
000016ba: POP
000016bb: SWAP3
000016bc: POP
000016bd: SWAP3
000016be: POP
000016bf: SWAP2
000016c0: SWAP4
000016c1: SWAP1
000016c2: SWAP3
000016c3: POP
000016c4: JUMP
000016c5: JUMPDEST
000016c6: PUSH1 0x00
000016c8: PUSH1 0x02
000016ca: PUSH1 0x00
000016cc: DUP5
000016cd: DUP2
000016ce: MSTORE
000016cf: PUSH1 0x20
000016d1: ADD
000016d2: SWAP1
000016d3: DUP2
000016d4: MSTORE
000016d5: PUSH1 0x20
000016d7: ADD
000016d8: PUSH1 0x00
000016da: KECCAK256
000016db: PUSH1 0x00
000016dd: ADD
000016de: PUSH1 0x00
000016e0: DUP4
000016e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016f6: AND
000016f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000170c: AND
0000170d: DUP2
0000170e: MSTORE
0000170f: PUSH1 0x20
00001711: ADD
00001712: SWAP1
00001713: DUP2
00001714: MSTORE
00001715: PUSH1 0x20
00001717: ADD
00001718: PUSH1 0x00
0000171a: KECCAK256
0000171b: PUSH1 0x00
0000171d: SWAP1
0000171e: SLOAD
0000171f: SWAP1
00001720: PUSH2 0x0100
00001723: EXP
00001724: SWAP1
00001725: DIV
00001726: PUSH1 0xff
00001728: AND
00001729: SWAP1
0000172a: POP
0000172b: SWAP3
0000172c: SWAP2
0000172d: POP
0000172e: POP
0000172f: JUMP
00001730: JUMPDEST
00001731: PUSH2 0x1738
00001734: PUSH2 0x1f54
00001737: JUMP
00001738: JUMPDEST
00001739: PUSH1 0x00
0000173b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001750: AND
00001751: DUP2
00001752: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001767: AND
00001768: SUB
00001769: PUSH2 0x17a7
0000176c: JUMPI
0000176d: PUSH1 0x40
0000176f: MLOAD
00001770: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001791: DUP2
00001792: MSTORE
00001793: PUSH1 0x04
00001795: ADD
00001796: PUSH2 0x179e
00001799: SWAP1
0000179a: PUSH2 0x2e19
0000179d: JUMP
0000179e: JUMPDEST
0000179f: PUSH1 0x40
000017a1: MLOAD
000017a2: DUP1
000017a3: SWAP2
000017a4: SUB
000017a5: SWAP1
000017a6: REVERT
000017a7: JUMPDEST
000017a8: PUSH2 0x17d1
000017ab: PUSH32 0x31b1eef659b3a1eff8141d282b94bb64fd3fc317f01cc6ab4b25ccb3e718ce8b
000017cc: DUP3
000017cd: PUSH2 0x211c
000017d0: JUMP
000017d1: JUMPDEST
000017d2: POP
000017d3: JUMP
000017d4: JUMPDEST
000017d5: PUSH1 0x00
000017d7: DUP1
000017d8: SHL
000017d9: DUP2
000017da: JUMP
000017db: JUMPDEST
000017dc: PUSH1 0x00
000017de: DUP2
000017df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017f4: AND
000017f5: BALANCE
000017f6: SWAP1
000017f7: POP
000017f8: SWAP2
000017f9: SWAP1
000017fa: POP
000017fb: JUMP
000017fc: JUMPDEST
000017fd: PUSH1 0x00
000017ff: PUSH1 0x05
00001801: SLOAD
00001802: PUSH1 0x04
00001804: SLOAD
00001805: NUMBER
00001806: PUSH2 0x180f
00001809: SWAP2
0000180a: SWAP1
0000180b: PUSH2 0x31d6
0000180e: JUMP
0000180f: JUMPDEST
00001810: PUSH2 0x1819
00001813: SWAP2
00001814: SWAP1
00001815: PUSH2 0x3137
00001818: JUMP
00001819: JUMPDEST
0000181a: SWAP1
0000181b: POP
0000181c: SWAP1
0000181d: JUMP
0000181e: JUMPDEST
0000181f: PUSH1 0x08
00001821: SLOAD
00001822: DUP2
00001823: JUMP
00001824: JUMPDEST
00001825: PUSH1 0x06
00001827: SLOAD
00001828: DUP2
00001829: JUMP
0000182a: JUMPDEST
0000182b: PUSH1 0x03
0000182d: PUSH1 0x14
0000182f: SWAP1
00001830: SLOAD
00001831: SWAP1
00001832: PUSH2 0x0100
00001835: EXP
00001836: SWAP1
00001837: DIV
00001838: PUSH1 0xff
0000183a: AND
0000183b: DUP2
0000183c: JUMP
0000183d: JUMPDEST
0000183e: PUSH1 0x09
00001840: SLOAD
00001841: DUP2
00001842: JUMP
00001843: JUMPDEST
00001844: PUSH32 0x7cc05a1140c7294d6d2c2c77d46c42056052f369c9db7e29d41269cf3c197a6c
00001865: DUP2
00001866: JUMP
00001867: JUMPDEST
00001868: PUSH2 0x1870
0000186b: DUP3
0000186c: PUSH2 0x0ce1
0000186f: JUMP
00001870: JUMPDEST
00001871: PUSH2 0x1879
00001874: DUP2
00001875: PUSH2 0x1d75
00001878: JUMP
00001879: JUMPDEST
0000187a: PUSH2 0x1883
0000187d: DUP4
0000187e: DUP4
0000187f: PUSH2 0x1e72
00001882: JUMP
00001883: JUMPDEST
00001884: POP
00001885: POP
00001886: POP
00001887: JUMP
00001888: JUMPDEST
00001889: PUSH1 0x05
0000188b: SLOAD
0000188c: DUP2
0000188d: JUMP
0000188e: JUMPDEST
0000188f: PUSH1 0x03
00001891: PUSH1 0x15
00001893: SWAP1
00001894: SLOAD
00001895: SWAP1
00001896: PUSH2 0x0100
00001899: EXP
0000189a: SWAP1
0000189b: DIV
0000189c: PUSH1 0xff
0000189e: AND
0000189f: DUP2
000018a0: JUMP
000018a1: JUMPDEST
000018a2: PUSH2 0x18a9
000018a5: PUSH2 0x1f54
000018a8: JUMP
000018a9: JUMPDEST
000018aa: PUSH1 0x00
000018ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018c1: AND
000018c2: DUP2
000018c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018d8: AND
000018d9: SUB
000018da: PUSH2 0x1918
000018dd: JUMPI
000018de: PUSH1 0x40
000018e0: MLOAD
000018e1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001902: DUP2
00001903: MSTORE
00001904: PUSH1 0x04
00001906: ADD
00001907: PUSH2 0x190f
0000190a: SWAP1
0000190b: PUSH2 0x327c
0000190e: JUMP
0000190f: JUMPDEST
00001910: PUSH1 0x40
00001912: MLOAD
00001913: DUP1
00001914: SWAP2
00001915: SUB
00001916: SWAP1
00001917: REVERT
00001918: JUMPDEST
00001919: PUSH2 0x1921
0000191c: DUP2
0000191d: PUSH2 0x2058
00001920: JUMP
00001921: JUMPDEST
00001922: POP
00001923: JUMP
00001924: JUMPDEST
00001925: PUSH2 0x192c
00001928: PUSH2 0x1f54
0000192b: JUMP
0000192c: JUMPDEST
0000192d: PUSH1 0x00
0000192f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001944: AND
00001945: DUP2
00001946: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000195b: AND
0000195c: SUB
0000195d: PUSH2 0x199b
00001960: JUMPI
00001961: PUSH1 0x40
00001963: MLOAD
00001964: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001985: DUP2
00001986: MSTORE
00001987: PUSH1 0x04
00001989: ADD
0000198a: PUSH2 0x1992
0000198d: SWAP1
0000198e: PUSH2 0x2e19
00001991: JUMP
00001992: JUMPDEST
00001993: PUSH1 0x40
00001995: MLOAD
00001996: DUP1
00001997: SWAP2
00001998: SUB
00001999: SWAP1
0000199a: REVERT
0000199b: JUMPDEST
0000199c: PUSH2 0x19c5
0000199f: PUSH32 0x7cc05a1140c7294d6d2c2c77d46c42056052f369c9db7e29d41269cf3c197a6c
000019c0: DUP3
000019c1: PUSH2 0x211c
000019c4: JUMP
000019c5: JUMPDEST
000019c6: POP
000019c7: JUMP
000019c8: JUMPDEST
000019c9: PUSH1 0x00
000019cb: PUSH2 0x19d2
000019ce: PUSH2 0x1d1d
000019d1: JUMP
000019d2: JUMPDEST
000019d3: PUSH2 0x19fc
000019d6: PUSH32 0x7cc05a1140c7294d6d2c2c77d46c42056052f369c9db7e29d41269cf3c197a6c
000019f7: CALLER
000019f8: PUSH2 0x16c5
000019fb: JUMP
000019fc: JUMPDEST
000019fd: PUSH2 0x1a3b
00001a00: JUMPI
00001a01: PUSH1 0x40
00001a03: MLOAD
00001a04: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a25: DUP2
00001a26: MSTORE
00001a27: PUSH1 0x04
00001a29: ADD
00001a2a: PUSH2 0x1a32
00001a2d: SWAP1
00001a2e: PUSH2 0x2c46
00001a31: JUMP
00001a32: JUMPDEST
00001a33: PUSH1 0x40
00001a35: MLOAD
00001a36: DUP1
00001a37: SWAP2
00001a38: SUB
00001a39: SWAP1
00001a3a: REVERT
00001a3b: JUMPDEST
00001a3c: PUSH1 0x00
00001a3e: PUSH1 0x04
00001a40: SLOAD
00001a41: EQ
00001a42: ISZERO
00001a43: DUP1
00001a44: ISZERO
00001a45: PUSH2 0x1a51
00001a48: JUMPI
00001a49: POP
00001a4a: PUSH1 0x00
00001a4c: PUSH1 0x05
00001a4e: SLOAD
00001a4f: EQ
00001a50: ISZERO
00001a51: JUMPDEST
00001a52: PUSH2 0x1a5e
00001a55: JUMPI
00001a56: PUSH2 0x1a5d
00001a59: PUSH2 0x2c66
00001a5c: JUMP
00001a5d: JUMPDEST
00001a5e: JUMPDEST
00001a5f: PUSH2 0x1aad
00001a62: CALLER
00001a63: ADDRESS
00001a64: DUP6
00001a65: PUSH1 0x03
00001a67: PUSH1 0x00
00001a69: SWAP1
00001a6a: SLOAD
00001a6b: SWAP1
00001a6c: PUSH2 0x0100
00001a6f: EXP
00001a70: SWAP1
00001a71: DIV
00001a72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a87: AND
00001a88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a9d: AND
00001a9e: PUSH2 0x212a
00001aa1: SWAP1
00001aa2: SWAP4
00001aa3: SWAP3
00001aa4: SWAP2
00001aa5: SWAP1
00001aa6: PUSH4 0xffffffff
00001aab: AND
00001aac: JUMP
00001aad: JUMPDEST
00001aae: PUSH1 0x03
00001ab0: PUSH1 0x00
00001ab2: SWAP1
00001ab3: SLOAD
00001ab4: SWAP1
00001ab5: PUSH2 0x0100
00001ab8: EXP
00001ab9: SWAP1
00001aba: DIV
00001abb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ad0: AND
00001ad1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ae6: AND
00001ae7: PUSH4 0x9dc29fac
00001aec: ADDRESS
00001aed: DUP6
00001aee: PUSH1 0x40
00001af0: MLOAD
00001af1: DUP4
00001af2: PUSH4 0xffffffff
00001af7: AND
00001af8: PUSH1 0xe0
00001afa: SHL
00001afb: DUP2
00001afc: MSTORE
00001afd: PUSH1 0x04
00001aff: ADD
00001b00: PUSH2 0x1b0a
00001b03: SWAP3
00001b04: SWAP2
00001b05: SWAP1
00001b06: PUSH2 0x3168
00001b09: JUMP
00001b0a: JUMPDEST
00001b0b: PUSH1 0x00
00001b0d: PUSH1 0x40
00001b0f: MLOAD
00001b10: DUP1
00001b11: DUP4
00001b12: SUB
00001b13: DUP2
00001b14: PUSH1 0x00
00001b16: DUP8
00001b17: DUP1
00001b18: EXTCODESIZE
00001b19: ISZERO
00001b1a: DUP1
00001b1b: ISZERO
00001b1c: PUSH2 0x1b24
00001b1f: JUMPI
00001b20: PUSH1 0x00
00001b22: DUP1
00001b23: REVERT
00001b24: JUMPDEST
00001b25: POP
00001b26: GAS
00001b27: CALL
00001b28: ISZERO
00001b29: DUP1
00001b2a: ISZERO
00001b2b: PUSH2 0x1b38
00001b2e: JUMPI
00001b2f: RETURNDATASIZE
00001b30: PUSH1 0x00
00001b32: DUP1
00001b33: RETURNDATACOPY
00001b34: RETURNDATASIZE
00001b35: PUSH1 0x00
00001b37: REVERT
00001b38: JUMPDEST
00001b39: POP
00001b3a: POP
00001b3b: POP
00001b3c: POP
00001b3d: PUSH1 0x00
00001b3f: PUSH1 0x01
00001b41: PUSH2 0x1b48
00001b44: PUSH2 0x17fc
00001b47: JUMP
00001b48: JUMPDEST
00001b49: PUSH2 0x1b52
00001b4c: SWAP2
00001b4d: SWAP1
00001b4e: PUSH2 0x2eaa
00001b51: JUMP
00001b52: JUMPDEST
00001b53: SWAP1
00001b54: POP
00001b55: PUSH1 0x00
00001b57: PUSH1 0x09
00001b59: SLOAD
00001b5a: DUP5
00001b5b: PUSH2 0x1b64
00001b5e: SWAP2
00001b5f: SWAP1
00001b60: PUSH2 0x30c6
00001b63: JUMP
00001b64: JUMPDEST
00001b65: PUSH1 0x07
00001b67: SLOAD
00001b68: PUSH1 0x03
00001b6a: PUSH1 0x14
00001b6c: SWAP1
00001b6d: SLOAD
00001b6e: SWAP1
00001b6f: PUSH2 0x0100
00001b72: EXP
00001b73: SWAP1
00001b74: DIV
00001b75: PUSH1 0xff
00001b77: AND
00001b78: PUSH1 0x03
00001b7a: PUSH1 0x15
00001b7c: SWAP1
00001b7d: SLOAD
00001b7e: SWAP1
00001b7f: PUSH2 0x0100
00001b82: EXP
00001b83: SWAP1
00001b84: DIV
00001b85: PUSH1 0xff
00001b87: AND
00001b88: PUSH1 0x12
00001b8a: PUSH2 0x1b93
00001b8d: SWAP2
00001b8e: SWAP1
00001b8f: PUSH2 0x2ede
00001b92: JUMP
00001b93: JUMPDEST
00001b94: PUSH2 0x1b9d
00001b97: SWAP2
00001b98: SWAP1
00001b99: PUSH2 0x2f13
00001b9c: JUMP
00001b9d: JUMPDEST
00001b9e: PUSH1 0x0a
00001ba0: PUSH2 0x1ba9
00001ba3: SWAP2
00001ba4: SWAP1
00001ba5: PUSH2 0x307b
00001ba8: JUMP
00001ba9: JUMPDEST
00001baa: DUP8
00001bab: PUSH2 0x1bb4
00001bae: SWAP2
00001baf: SWAP1
00001bb0: PUSH2 0x30c6
00001bb3: JUMP
00001bb4: JUMPDEST
00001bb5: PUSH2 0x1bbe
00001bb8: SWAP2
00001bb9: SWAP1
00001bba: PUSH2 0x30c6
00001bbd: JUMP
00001bbe: JUMPDEST
00001bbf: PUSH2 0x1bc8
00001bc2: SWAP2
00001bc3: SWAP1
00001bc4: PUSH2 0x3137
00001bc7: JUMP
00001bc8: JUMPDEST
00001bc9: SWAP1
00001bca: POP
00001bcb: DUP1
00001bcc: PUSH1 0x0b
00001bce: PUSH1 0x00
00001bd0: DUP5
00001bd1: DUP2
00001bd2: MSTORE
00001bd3: PUSH1 0x20
00001bd5: ADD
00001bd6: SWAP1
00001bd7: DUP2
00001bd8: MSTORE
00001bd9: PUSH1 0x20
00001bdb: ADD
00001bdc: PUSH1 0x00
00001bde: KECCAK256
00001bdf: PUSH1 0x02
00001be1: ADD
00001be2: PUSH1 0x00
00001be4: DUP3
00001be5: DUP3
00001be6: SLOAD
00001be7: PUSH2 0x1bf0
00001bea: SWAP2
00001beb: SWAP1
00001bec: PUSH2 0x2eaa
00001bef: JUMP
00001bf0: JUMPDEST
00001bf1: SWAP3
00001bf2: POP
00001bf3: POP
00001bf4: DUP2
00001bf5: SWAP1
00001bf6: SSTORE
00001bf7: POP
00001bf8: DUP1
00001bf9: PUSH1 0x0a
00001bfb: PUSH1 0x00
00001bfd: CALLER
00001bfe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c13: AND
00001c14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c29: AND
00001c2a: DUP2
00001c2b: MSTORE
00001c2c: PUSH1 0x20
00001c2e: ADD
00001c2f: SWAP1
00001c30: DUP2
00001c31: MSTORE
00001c32: PUSH1 0x20
00001c34: ADD
00001c35: PUSH1 0x00
00001c37: KECCAK256
00001c38: PUSH1 0x00
00001c3a: DUP5
00001c3b: DUP2
00001c3c: MSTORE
00001c3d: PUSH1 0x20
00001c3f: ADD
00001c40: SWAP1
00001c41: DUP2
00001c42: MSTORE
00001c43: PUSH1 0x20
00001c45: ADD
00001c46: PUSH1 0x00
00001c48: KECCAK256
00001c49: PUSH1 0x00
00001c4b: DUP3
00001c4c: DUP3
00001c4d: SLOAD
00001c4e: PUSH2 0x1c57
00001c51: SWAP2
00001c52: SWAP1
00001c53: PUSH2 0x2eaa
00001c56: JUMP
00001c57: JUMPDEST
00001c58: SWAP3
00001c59: POP
00001c5a: POP
00001c5b: DUP2
00001c5c: SWAP1
00001c5d: SSTORE
00001c5e: POP
00001c5f: PUSH32 0x4a26ee55a268932252b053366cb9430f862e70edceae8767cfbdbf96e1d2d87f
00001c80: CALLER
00001c81: DUP4
00001c82: DUP7
00001c83: DUP9
00001c84: DUP6
00001c85: PUSH1 0x01
00001c87: PUSH1 0x40
00001c89: MLOAD
00001c8a: PUSH2 0x1c98
00001c8d: SWAP7
00001c8e: SWAP6
00001c8f: SWAP5
00001c90: SWAP4
00001c91: SWAP3
00001c92: SWAP2
00001c93: SWAP1
00001c94: PUSH2 0x329c
00001c97: JUMP
00001c98: JUMPDEST
00001c99: PUSH1 0x40
00001c9b: MLOAD
00001c9c: DUP1
00001c9d: SWAP2
00001c9e: SUB
00001c9f: SWAP1
00001ca0: LOG1
00001ca1: DUP1
00001ca2: SWAP3
00001ca3: POP
00001ca4: POP
00001ca5: POP
00001ca6: PUSH2 0x1cad
00001ca9: PUSH2 0x1d6c
00001cac: JUMP
00001cad: JUMPDEST
00001cae: SWAP3
00001caf: SWAP2
00001cb0: POP
00001cb1: POP
00001cb2: JUMP
00001cb3: JUMPDEST
00001cb4: PUSH1 0x00
00001cb6: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00001cd7: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001cf4: NOT
00001cf5: AND
00001cf6: DUP3
00001cf7: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001d14: NOT
00001d15: AND
00001d16: EQ
00001d17: SWAP1
00001d18: POP
00001d19: SWAP2
00001d1a: SWAP1
00001d1b: POP
00001d1c: JUMP
00001d1d: JUMPDEST
00001d1e: PUSH1 0x02
00001d20: PUSH1 0x01
00001d22: SLOAD
00001d23: SUB
00001d24: PUSH2 0x1d62
00001d27: JUMPI
00001d28: PUSH1 0x40
00001d2a: MLOAD
00001d2b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d4c: DUP2
00001d4d: MSTORE
00001d4e: PUSH1 0x04
00001d50: ADD
00001d51: PUSH2 0x1d59
00001d54: SWAP1
00001d55: PUSH2 0x3349
00001d58: JUMP
00001d59: JUMPDEST
00001d5a: PUSH1 0x40
00001d5c: MLOAD
00001d5d: DUP1
00001d5e: SWAP2
00001d5f: SUB
00001d60: SWAP1
00001d61: REVERT
00001d62: JUMPDEST
00001d63: PUSH1 0x02
00001d65: PUSH1 0x01
00001d67: DUP2
00001d68: SWAP1
00001d69: SSTORE
00001d6a: POP
00001d6b: JUMP
00001d6c: JUMPDEST
00001d6d: PUSH1 0x01
00001d6f: DUP1
00001d70: DUP2
00001d71: SWAP1
00001d72: SSTORE
00001d73: POP
00001d74: JUMP
00001d75: JUMPDEST
00001d76: PUSH2 0x1d86
00001d79: DUP2
00001d7a: PUSH2 0x1d81
00001d7d: PUSH2 0x1e6a
00001d80: JUMP
00001d81: JUMPDEST
00001d82: PUSH2 0x21b3
00001d85: JUMP
00001d86: JUMPDEST
00001d87: POP
00001d88: JUMP
00001d89: JUMPDEST
00001d8a: PUSH2 0x1d93
00001d8d: DUP3
00001d8e: DUP3
00001d8f: PUSH2 0x16c5
00001d92: JUMP
00001d93: JUMPDEST
00001d94: PUSH2 0x1e66
00001d97: JUMPI
00001d98: PUSH1 0x01
00001d9a: PUSH1 0x02
00001d9c: PUSH1 0x00
00001d9e: DUP5
00001d9f: DUP2
00001da0: MSTORE
00001da1: PUSH1 0x20
00001da3: ADD
00001da4: SWAP1
00001da5: DUP2
00001da6: MSTORE
00001da7: PUSH1 0x20
00001da9: ADD
00001daa: PUSH1 0x00
00001dac: KECCAK256
00001dad: PUSH1 0x00
00001daf: ADD
00001db0: PUSH1 0x00
00001db2: DUP4
00001db3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dc8: AND
00001dc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dde: AND
00001ddf: DUP2
00001de0: MSTORE
00001de1: PUSH1 0x20
00001de3: ADD
00001de4: SWAP1
00001de5: DUP2
00001de6: MSTORE
00001de7: PUSH1 0x20
00001de9: ADD
00001dea: PUSH1 0x00
00001dec: KECCAK256
00001ded: PUSH1 0x00
00001def: PUSH2 0x0100
00001df2: EXP
00001df3: DUP2
00001df4: SLOAD
00001df5: DUP2
00001df6: PUSH1 0xff
00001df8: MUL
00001df9: NOT
00001dfa: AND
00001dfb: SWAP1
00001dfc: DUP4
00001dfd: ISZERO
00001dfe: ISZERO
00001dff: MUL
00001e00: OR
00001e01: SWAP1
00001e02: SSTORE
00001e03: POP
00001e04: PUSH2 0x1e0b
00001e07: PUSH2 0x1e6a
00001e0a: JUMP
00001e0b: JUMPDEST
00001e0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e21: AND
00001e22: DUP2
00001e23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e38: AND
00001e39: DUP4
00001e3a: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
00001e5b: PUSH1 0x40
00001e5d: MLOAD
00001e5e: PUSH1 0x40
00001e60: MLOAD
00001e61: DUP1
00001e62: SWAP2
00001e63: SUB
00001e64: SWAP1
00001e65: LOG4
00001e66: JUMPDEST
00001e67: POP
00001e68: POP
00001e69: JUMP
00001e6a: JUMPDEST
00001e6b: PUSH1 0x00
00001e6d: CALLER
00001e6e: SWAP1
00001e6f: POP
00001e70: SWAP1
00001e71: JUMP
00001e72: JUMPDEST
00001e73: PUSH2 0x1e7c
00001e76: DUP3
00001e77: DUP3
00001e78: PUSH2 0x16c5
00001e7b: JUMP
00001e7c: JUMPDEST
00001e7d: ISZERO
00001e7e: PUSH2 0x1f50
00001e81: JUMPI
00001e82: PUSH1 0x00
00001e84: PUSH1 0x02
00001e86: PUSH1 0x00
00001e88: DUP5
00001e89: DUP2
00001e8a: MSTORE
00001e8b: PUSH1 0x20
00001e8d: ADD
00001e8e: SWAP1
00001e8f: DUP2
00001e90: MSTORE
00001e91: PUSH1 0x20
00001e93: ADD
00001e94: PUSH1 0x00
00001e96: KECCAK256
00001e97: PUSH1 0x00
00001e99: ADD
00001e9a: PUSH1 0x00
00001e9c: DUP4
00001e9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eb2: AND
00001eb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ec8: AND
00001ec9: DUP2
00001eca: MSTORE
00001ecb: PUSH1 0x20
00001ecd: ADD
00001ece: SWAP1
00001ecf: DUP2
00001ed0: MSTORE
00001ed1: PUSH1 0x20
00001ed3: ADD
00001ed4: PUSH1 0x00
00001ed6: KECCAK256
00001ed7: PUSH1 0x00
00001ed9: PUSH2 0x0100
00001edc: EXP
00001edd: DUP2
00001ede: SLOAD
00001edf: DUP2
00001ee0: PUSH1 0xff
00001ee2: MUL
00001ee3: NOT
00001ee4: AND
00001ee5: SWAP1
00001ee6: DUP4
00001ee7: ISZERO
00001ee8: ISZERO
00001ee9: MUL
00001eea: OR
00001eeb: SWAP1
00001eec: SSTORE
00001eed: POP
00001eee: PUSH2 0x1ef5
00001ef1: PUSH2 0x1e6a
00001ef4: JUMP
00001ef5: JUMPDEST
00001ef6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f0b: AND
00001f0c: DUP2
00001f0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f22: AND
00001f23: DUP4
00001f24: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
00001f45: PUSH1 0x40
00001f47: MLOAD
00001f48: PUSH1 0x40
00001f4a: MLOAD
00001f4b: DUP1
00001f4c: SWAP2
00001f4d: SUB
00001f4e: SWAP1
00001f4f: LOG4
00001f50: JUMPDEST
00001f51: POP
00001f52: POP
00001f53: JUMP
00001f54: JUMPDEST
00001f55: PUSH2 0x1f5c
00001f58: PUSH2 0x1e6a
00001f5b: JUMP
00001f5c: JUMPDEST
00001f5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f72: AND
00001f73: PUSH2 0x1f7a
00001f76: PUSH2 0x1638
00001f79: JUMP
00001f7a: JUMPDEST
00001f7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f90: AND
00001f91: EQ
00001f92: PUSH2 0x1fd0
00001f95: JUMPI
00001f96: PUSH1 0x40
00001f98: MLOAD
00001f99: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001fba: DUP2
00001fbb: MSTORE
00001fbc: PUSH1 0x04
00001fbe: ADD
00001fbf: PUSH2 0x1fc7
00001fc2: SWAP1
00001fc3: PUSH2 0x33b5
00001fc6: JUMP
00001fc7: JUMPDEST
00001fc8: PUSH1 0x40
00001fca: MLOAD
00001fcb: DUP1
00001fcc: SWAP2
00001fcd: SUB
00001fce: SWAP1
00001fcf: REVERT
00001fd0: JUMPDEST
00001fd1: JUMP
00001fd2: JUMPDEST
00001fd3: PUSH2 0x2053
00001fd6: DUP4
00001fd7: PUSH4 0xa9059cbb
00001fdc: PUSH1 0xe0
00001fde: SHL
00001fdf: DUP5
00001fe0: DUP5
00001fe1: PUSH1 0x40
00001fe3: MLOAD
00001fe4: PUSH1 0x24
00001fe6: ADD
00001fe7: PUSH2 0x1ff1
00001fea: SWAP3
00001feb: SWAP2
00001fec: SWAP1
00001fed: PUSH2 0x3168
00001ff0: JUMP
00001ff1: JUMPDEST
00001ff2: PUSH1 0x40
00001ff4: MLOAD
00001ff5: PUSH1 0x20
00001ff7: DUP2
00001ff8: DUP4
00001ff9: SUB
00001ffa: SUB
00001ffb: DUP2
00001ffc: MSTORE
00001ffd: SWAP1
00001ffe: PUSH1 0x40
00002000: MSTORE
00002001: SWAP1
00002002: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000201f: NOT
00002020: AND
00002021: PUSH1 0x20
00002023: DUP3
00002024: ADD
00002025: DUP1
00002026: MLOAD
00002027: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002044: DUP4
00002045: DUP2
00002046: DUP4
00002047: AND
00002048: OR
00002049: DUP4
0000204a: MSTORE
0000204b: POP
0000204c: POP
0000204d: POP
0000204e: POP
0000204f: PUSH2 0x2238
00002052: JUMP
00002053: JUMPDEST
00002054: POP
00002055: POP
00002056: POP
00002057: JUMP
00002058: JUMPDEST
00002059: PUSH1 0x00
0000205b: DUP1
0000205c: PUSH1 0x00
0000205e: SWAP1
0000205f: SLOAD
00002060: SWAP1
00002061: PUSH2 0x0100
00002064: EXP
00002065: SWAP1
00002066: DIV
00002067: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000207c: AND
0000207d: SWAP1
0000207e: POP
0000207f: DUP2
00002080: PUSH1 0x00
00002082: DUP1
00002083: PUSH2 0x0100
00002086: EXP
00002087: DUP2
00002088: SLOAD
00002089: DUP2
0000208a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000209f: MUL
000020a0: NOT
000020a1: AND
000020a2: SWAP1
000020a3: DUP4
000020a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020b9: AND
000020ba: MUL
000020bb: OR
000020bc: SWAP1
000020bd: SSTORE
000020be: POP
000020bf: DUP2
000020c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020d5: AND
000020d6: DUP2
000020d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020ec: AND
000020ed: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000210e: PUSH1 0x40
00002110: MLOAD
00002111: PUSH1 0x40
00002113: MLOAD
00002114: DUP1
00002115: SWAP2
00002116: SUB
00002117: SWAP1
00002118: LOG3
00002119: POP
0000211a: POP
0000211b: JUMP
0000211c: JUMPDEST
0000211d: PUSH2 0x2126
00002120: DUP3
00002121: DUP3
00002122: PUSH2 0x1d89
00002125: JUMP
00002126: JUMPDEST
00002127: POP
00002128: POP
00002129: JUMP
0000212a: JUMPDEST
0000212b: PUSH2 0x21ad
0000212e: DUP5
0000212f: PUSH4 0x23b872dd
00002134: PUSH1 0xe0
00002136: SHL
00002137: DUP6
00002138: DUP6
00002139: DUP6
0000213a: PUSH1 0x40
0000213c: MLOAD
0000213d: PUSH1 0x24
0000213f: ADD
00002140: PUSH2 0x214b
00002143: SWAP4
00002144: SWAP3
00002145: SWAP2
00002146: SWAP1
00002147: PUSH2 0x33d5
0000214a: JUMP
0000214b: JUMPDEST
0000214c: PUSH1 0x40
0000214e: MLOAD
0000214f: PUSH1 0x20
00002151: DUP2
00002152: DUP4
00002153: SUB
00002154: SUB
00002155: DUP2
00002156: MSTORE
00002157: SWAP1
00002158: PUSH1 0x40
0000215a: MSTORE
0000215b: SWAP1
0000215c: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002179: NOT
0000217a: AND
0000217b: PUSH1 0x20
0000217d: DUP3
0000217e: ADD
0000217f: DUP1
00002180: MLOAD
00002181: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000219e: DUP4
0000219f: DUP2
000021a0: DUP4
000021a1: AND
000021a2: OR
000021a3: DUP4
000021a4: MSTORE
000021a5: POP
000021a6: POP
000021a7: POP
000021a8: POP
000021a9: PUSH2 0x2238
000021ac: JUMP
000021ad: JUMPDEST
000021ae: POP
000021af: POP
000021b0: POP
000021b1: POP
000021b2: JUMP
000021b3: JUMPDEST
000021b4: PUSH2 0x21bd
000021b7: DUP3
000021b8: DUP3
000021b9: PUSH2 0x16c5
000021bc: JUMP
000021bd: JUMPDEST
000021be: PUSH2 0x2234
000021c1: JUMPI
000021c2: PUSH2 0x21ca
000021c5: DUP2
000021c6: PUSH2 0x2300
000021c9: JUMP
000021ca: JUMPDEST
000021cb: PUSH2 0x21d8
000021ce: DUP4
000021cf: PUSH1 0x00
000021d1: SHR
000021d2: PUSH1 0x20
000021d4: PUSH2 0x232d
000021d7: JUMP
000021d8: JUMPDEST
000021d9: PUSH1 0x40
000021db: MLOAD
000021dc: PUSH1 0x20
000021de: ADD
000021df: PUSH2 0x21e9
000021e2: SWAP3
000021e3: SWAP2
000021e4: SWAP1
000021e5: PUSH2 0x3515
000021e8: JUMP
000021e9: JUMPDEST
000021ea: PUSH1 0x40
000021ec: MLOAD
000021ed: PUSH1 0x20
000021ef: DUP2
000021f0: DUP4
000021f1: SUB
000021f2: SUB
000021f3: DUP2
000021f4: MSTORE
000021f5: SWAP1
000021f6: PUSH1 0x40
000021f8: MSTORE
000021f9: PUSH1 0x40
000021fb: MLOAD
000021fc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000221d: DUP2
0000221e: MSTORE
0000221f: PUSH1 0x04
00002221: ADD
00002222: PUSH2 0x222b
00002225: SWAP2
00002226: SWAP1
00002227: PUSH2 0x3599
0000222a: JUMP
0000222b: JUMPDEST
0000222c: PUSH1 0x40
0000222e: MLOAD
0000222f: DUP1
00002230: SWAP2
00002231: SUB
00002232: SWAP1
00002233: REVERT
00002234: JUMPDEST
00002235: POP
00002236: POP
00002237: JUMP
00002238: JUMPDEST
00002239: PUSH1 0x00
0000223b: PUSH2 0x229a
0000223e: DUP3
0000223f: PUSH1 0x40
00002241: MLOAD
00002242: DUP1
00002243: PUSH1 0x40
00002245: ADD
00002246: PUSH1 0x40
00002248: MSTORE
00002249: DUP1
0000224a: PUSH1 0x20
0000224c: DUP2
0000224d: MSTORE
0000224e: PUSH1 0x20
00002250: ADD
00002251: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00002272: DUP2
00002273: MSTORE
00002274: POP
00002275: DUP6
00002276: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000228b: AND
0000228c: PUSH2 0x2569
0000228f: SWAP1
00002290: SWAP3
00002291: SWAP2
00002292: SWAP1
00002293: PUSH4 0xffffffff
00002298: AND
00002299: JUMP
0000229a: JUMPDEST
0000229b: SWAP1
0000229c: POP
0000229d: PUSH1 0x00
0000229f: DUP2
000022a0: MLOAD
000022a1: EQ
000022a2: DUP1
000022a3: PUSH2 0x22bc
000022a6: JUMPI
000022a7: POP
000022a8: DUP1
000022a9: DUP1
000022aa: PUSH1 0x20
000022ac: ADD
000022ad: SWAP1
000022ae: MLOAD
000022af: DUP2
000022b0: ADD
000022b1: SWAP1
000022b2: PUSH2 0x22bb
000022b5: SWAP2
000022b6: SWAP1
000022b7: PUSH2 0x35e7
000022ba: JUMP
000022bb: JUMPDEST
000022bc: JUMPDEST
000022bd: PUSH2 0x22fb
000022c0: JUMPI
000022c1: PUSH1 0x40
000022c3: MLOAD
000022c4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000022e5: DUP2
000022e6: MSTORE
000022e7: PUSH1 0x04
000022e9: ADD
000022ea: PUSH2 0x22f2
000022ed: SWAP1
000022ee: PUSH2 0x3686
000022f1: JUMP
000022f2: JUMPDEST
000022f3: PUSH1 0x40
000022f5: MLOAD
000022f6: DUP1
000022f7: SWAP2
000022f8: SUB
000022f9: SWAP1
000022fa: REVERT
000022fb: JUMPDEST
000022fc: POP
000022fd: POP
000022fe: POP
000022ff: JUMP
00002300: JUMPDEST
00002301: PUSH1 0x60
00002303: PUSH2 0x2326
00002306: DUP3
00002307: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000231c: AND
0000231d: PUSH1 0x14
0000231f: PUSH1 0xff
00002321: AND
00002322: PUSH2 0x232d
00002325: JUMP
00002326: JUMPDEST
00002327: SWAP1
00002328: POP
00002329: SWAP2
0000232a: SWAP1
0000232b: POP
0000232c: JUMP
0000232d: JUMPDEST
0000232e: PUSH1 0x60
00002330: PUSH1 0x00
00002332: PUSH1 0x02
00002334: DUP4
00002335: PUSH1 0x02
00002337: PUSH2 0x2340
0000233a: SWAP2
0000233b: SWAP1
0000233c: PUSH2 0x30c6
0000233f: JUMP
00002340: JUMPDEST
00002341: PUSH2 0x234a
00002344: SWAP2
00002345: SWAP1
00002346: PUSH2 0x2eaa
00002349: JUMP
0000234a: JUMPDEST
0000234b: PUSH8 0xffffffffffffffff
00002354: DUP2
00002355: GT
00002356: ISZERO
00002357: PUSH2 0x2363
0000235a: JUMPI
0000235b: PUSH2 0x2362
0000235e: PUSH2 0x36a6
00002361: JUMP
00002362: JUMPDEST
00002363: JUMPDEST
00002364: PUSH1 0x40
00002366: MLOAD
00002367: SWAP1
00002368: DUP1
00002369: DUP3
0000236a: MSTORE
0000236b: DUP1
0000236c: PUSH1 0x1f
0000236e: ADD
0000236f: PUSH1 0x1f
00002371: NOT
00002372: AND
00002373: PUSH1 0x20
00002375: ADD
00002376: DUP3
00002377: ADD
00002378: PUSH1 0x40
0000237a: MSTORE
0000237b: DUP1
0000237c: ISZERO
0000237d: PUSH2 0x2395
00002380: JUMPI
00002381: DUP2
00002382: PUSH1 0x20
00002384: ADD
00002385: PUSH1 0x01
00002387: DUP3
00002388: MUL
00002389: DUP1
0000238a: CALLDATASIZE
0000238b: DUP4
0000238c: CALLDATACOPY
0000238d: DUP1
0000238e: DUP3
0000238f: ADD
00002390: SWAP2
00002391: POP
00002392: POP
00002393: SWAP1
00002394: POP
00002395: JUMPDEST
00002396: POP
00002397: SWAP1
00002398: POP
00002399: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
000023ba: DUP2
000023bb: PUSH1 0x00
000023bd: DUP2
000023be: MLOAD
000023bf: DUP2
000023c0: LT
000023c1: PUSH2 0x23cd
000023c4: JUMPI
000023c5: PUSH2 0x23cc
000023c8: PUSH2 0x36d5
000023cb: JUMP
000023cc: JUMPDEST
000023cd: JUMPDEST
000023ce: PUSH1 0x20
000023d0: ADD
000023d1: ADD
000023d2: SWAP1
000023d3: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000023f3: NOT
000023f4: AND
000023f5: SWAP1
000023f6: DUP2
000023f7: PUSH1 0x00
000023f9: BYTE
000023fa: SWAP1
000023fb: MSTORE8
000023fc: POP
000023fd: PUSH32 0x7800000000000000000000000000000000000000000000000000000000000000
0000241e: DUP2
0000241f: PUSH1 0x01
00002421: DUP2
00002422: MLOAD
00002423: DUP2
00002424: LT
00002425: PUSH2 0x2431
00002428: JUMPI
00002429: PUSH2 0x2430
0000242c: PUSH2 0x36d5
0000242f: JUMP
00002430: JUMPDEST
00002431: JUMPDEST
00002432: PUSH1 0x20
00002434: ADD
00002435: ADD
00002436: SWAP1
00002437: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002457: NOT
00002458: AND
00002459: SWAP1
0000245a: DUP2
0000245b: PUSH1 0x00
0000245d: BYTE
0000245e: SWAP1
0000245f: MSTORE8
00002460: POP
00002461: PUSH1 0x00
00002463: PUSH1 0x01
00002465: DUP5
00002466: PUSH1 0x02
00002468: PUSH2 0x2471
0000246b: SWAP2
0000246c: SWAP1
0000246d: PUSH2 0x30c6
00002470: JUMP
00002471: JUMPDEST
00002472: PUSH2 0x247b
00002475: SWAP2
00002476: SWAP1
00002477: PUSH2 0x2eaa
0000247a: JUMP
0000247b: JUMPDEST
0000247c: SWAP1
0000247d: POP
0000247e: JUMPDEST
0000247f: PUSH1 0x01
00002481: DUP2
00002482: GT
00002483: ISZERO
00002484: PUSH2 0x251b
00002487: JUMPI
00002488: PUSH32 0x3031323334353637383961626364656600000000000000000000000000000000
000024a9: PUSH1 0x0f
000024ab: DUP7
000024ac: AND
000024ad: PUSH1 0x10
000024af: DUP2
000024b0: LT
000024b1: PUSH2 0x24bd
000024b4: JUMPI
000024b5: PUSH2 0x24bc
000024b8: PUSH2 0x36d5
000024bb: JUMP
000024bc: JUMPDEST
000024bd: JUMPDEST
000024be: BYTE
000024bf: PUSH1 0xf8
000024c1: SHL
000024c2: DUP3
000024c3: DUP3
000024c4: DUP2
000024c5: MLOAD
000024c6: DUP2
000024c7: LT
000024c8: PUSH2 0x24d4
000024cb: JUMPI
000024cc: PUSH2 0x24d3
000024cf: PUSH2 0x36d5
000024d2: JUMP
000024d3: JUMPDEST
000024d4: JUMPDEST
000024d5: PUSH1 0x20
000024d7: ADD
000024d8: ADD
000024d9: SWAP1
000024da: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000024fa: NOT
000024fb: AND
000024fc: SWAP1
000024fd: DUP2
000024fe: PUSH1 0x00
00002500: BYTE
00002501: SWAP1
00002502: MSTORE8
00002503: POP
00002504: PUSH1 0x04
00002506: DUP6
00002507: SWAP1
00002508: SHR
00002509: SWAP5
0000250a: POP
0000250b: DUP1
0000250c: PUSH2 0x2514
0000250f: SWAP1
00002510: PUSH2 0x3704
00002513: JUMP
00002514: JUMPDEST
00002515: SWAP1
00002516: POP
00002517: PUSH2 0x247e
0000251a: JUMP
0000251b: JUMPDEST
0000251c: POP
0000251d: PUSH1 0x00
0000251f: DUP5
00002520: EQ
00002521: PUSH2 0x255f
00002524: JUMPI
00002525: PUSH1 0x40
00002527: MLOAD
00002528: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002549: DUP2
0000254a: MSTORE
0000254b: PUSH1 0x04
0000254d: ADD
0000254e: PUSH2 0x2556
00002551: SWAP1
00002552: PUSH2 0x3779
00002555: JUMP
00002556: JUMPDEST
00002557: PUSH1 0x40
00002559: MLOAD
0000255a: DUP1
0000255b: SWAP2
0000255c: SUB
0000255d: SWAP1
0000255e: REVERT
0000255f: JUMPDEST
00002560: DUP1
00002561: SWAP2
00002562: POP
00002563: POP
00002564: SWAP3
00002565: SWAP2
00002566: POP
00002567: POP
00002568: JUMP
00002569: JUMPDEST
0000256a: PUSH1 0x60
0000256c: PUSH2 0x2578
0000256f: DUP5
00002570: DUP5
00002571: PUSH1 0x00
00002573: DUP6
00002574: PUSH2 0x2581
00002577: JUMP
00002578: JUMPDEST
00002579: SWAP1
0000257a: POP
0000257b: SWAP4
0000257c: SWAP3
0000257d: POP
0000257e: POP
0000257f: POP
00002580: JUMP
00002581: JUMPDEST
00002582: PUSH1 0x60
00002584: DUP3
00002585: SELFBALANCE
00002586: LT
00002587: ISZERO
00002588: PUSH2 0x25c6
0000258b: JUMPI
0000258c: PUSH1 0x40
0000258e: MLOAD
0000258f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000025b0: DUP2
000025b1: MSTORE
000025b2: PUSH1 0x04
000025b4: ADD
000025b5: PUSH2 0x25bd
000025b8: SWAP1
000025b9: PUSH2 0x380b
000025bc: JUMP
000025bd: JUMPDEST
000025be: PUSH1 0x40
000025c0: MLOAD
000025c1: DUP1
000025c2: SWAP2
000025c3: SUB
000025c4: SWAP1
000025c5: REVERT
000025c6: JUMPDEST
000025c7: PUSH1 0x00
000025c9: DUP1
000025ca: DUP7
000025cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025e0: AND
000025e1: DUP6
000025e2: DUP8
000025e3: PUSH1 0x40
000025e5: MLOAD
000025e6: PUSH2 0x25ef
000025e9: SWAP2
000025ea: SWAP1
000025eb: PUSH2 0x3872
000025ee: JUMP
000025ef: JUMPDEST
000025f0: PUSH1 0x00
000025f2: PUSH1 0x40
000025f4: MLOAD
000025f5: DUP1
000025f6: DUP4
000025f7: SUB
000025f8: DUP2
000025f9: DUP6
000025fa: DUP8
000025fb: GAS
000025fc: CALL
000025fd: SWAP3
000025fe: POP
000025ff: POP
00002600: POP
00002601: RETURNDATASIZE
00002602: DUP1
00002603: PUSH1 0x00
00002605: DUP2
00002606: EQ
00002607: PUSH2 0x262c
0000260a: JUMPI
0000260b: PUSH1 0x40
0000260d: MLOAD
0000260e: SWAP2
0000260f: POP
00002610: PUSH1 0x1f
00002612: NOT
00002613: PUSH1 0x3f
00002615: RETURNDATASIZE
00002616: ADD
00002617: AND
00002618: DUP3
00002619: ADD
0000261a: PUSH1 0x40
0000261c: MSTORE
0000261d: RETURNDATASIZE
0000261e: DUP3
0000261f: MSTORE
00002620: RETURNDATASIZE
00002621: PUSH1 0x00
00002623: PUSH1 0x20
00002625: DUP5
00002626: ADD
00002627: RETURNDATACOPY
00002628: PUSH2 0x2631
0000262b: JUMP
0000262c: JUMPDEST
0000262d: PUSH1 0x60
0000262f: SWAP2
00002630: POP
00002631: JUMPDEST
00002632: POP
00002633: SWAP2
00002634: POP
00002635: SWAP2
00002636: POP
00002637: PUSH2 0x2642
0000263a: DUP8
0000263b: DUP4
0000263c: DUP4
0000263d: DUP8
0000263e: PUSH2 0x264e
00002641: JUMP
00002642: JUMPDEST
00002643: SWAP3
00002644: POP
00002645: POP
00002646: POP
00002647: SWAP5
00002648: SWAP4
00002649: POP
0000264a: POP
0000264b: POP
0000264c: POP
0000264d: JUMP
0000264e: JUMPDEST
0000264f: PUSH1 0x60
00002651: DUP4
00002652: ISZERO
00002653: PUSH2 0x26b0
00002656: JUMPI
00002657: PUSH1 0x00
00002659: DUP4
0000265a: MLOAD
0000265b: SUB
0000265c: PUSH2 0x26a8
0000265f: JUMPI
00002660: PUSH2 0x2668
00002663: DUP6
00002664: PUSH2 0x26c3
00002667: JUMP
00002668: JUMPDEST
00002669: PUSH2 0x26a7
0000266c: JUMPI
0000266d: PUSH1 0x40
0000266f: MLOAD
00002670: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002691: DUP2
00002692: MSTORE
00002693: PUSH1 0x04
00002695: ADD
00002696: PUSH2 0x269e
00002699: SWAP1
0000269a: PUSH2 0x38d5
0000269d: JUMP
0000269e: JUMPDEST
0000269f: PUSH1 0x40
000026a1: MLOAD
000026a2: DUP1
000026a3: SWAP2
000026a4: SUB
000026a5: SWAP1
000026a6: REVERT
000026a7: JUMPDEST
000026a8: JUMPDEST
000026a9: DUP3
000026aa: SWAP1
000026ab: POP
000026ac: PUSH2 0x26bb
000026af: JUMP
000026b0: JUMPDEST
000026b1: PUSH2 0x26ba
000026b4: DUP4
000026b5: DUP4
000026b6: PUSH2 0x26e6
000026b9: JUMP
000026ba: JUMPDEST
000026bb: JUMPDEST
000026bc: SWAP5
000026bd: SWAP4
000026be: POP
000026bf: POP
000026c0: POP
000026c1: POP
000026c2: JUMP
000026c3: JUMPDEST
000026c4: PUSH1 0x00
000026c6: DUP1
000026c7: DUP3
000026c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026dd: AND
000026de: EXTCODESIZE
000026df: GT
000026e0: SWAP1
000026e1: POP
000026e2: SWAP2
000026e3: SWAP1
000026e4: POP
000026e5: JUMP
000026e6: JUMPDEST
000026e7: PUSH1 0x00
000026e9: DUP3
000026ea: MLOAD
000026eb: GT
000026ec: ISZERO
000026ed: PUSH2 0x26f9
000026f0: JUMPI
000026f1: DUP2
000026f2: MLOAD
000026f3: DUP1
000026f4: DUP4
000026f5: PUSH1 0x20
000026f7: ADD
000026f8: REVERT
000026f9: JUMPDEST
000026fa: DUP1
000026fb: PUSH1 0x40
000026fd: MLOAD
000026fe: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000271f: DUP2
00002720: MSTORE
00002721: PUSH1 0x04
00002723: ADD
00002724: PUSH2 0x272d
00002727: SWAP2
00002728: SWAP1
00002729: PUSH2 0x3599
0000272c: JUMP
0000272d: JUMPDEST
0000272e: PUSH1 0x40
00002730: MLOAD
00002731: DUP1
00002732: SWAP2
00002733: SUB
00002734: SWAP1
00002735: REVERT
00002736: JUMPDEST
00002737: PUSH1 0x00
00002739: DUP1
0000273a: REVERT
0000273b: JUMPDEST
0000273c: PUSH1 0x00
0000273e: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000275f: DUP3
00002760: AND
00002761: SWAP1
00002762: POP
00002763: SWAP2
00002764: SWAP1
00002765: POP
00002766: JUMP
00002767: JUMPDEST
00002768: PUSH2 0x2770
0000276b: DUP2
0000276c: PUSH2 0x273b
0000276f: JUMP
00002770: JUMPDEST
00002771: DUP2
00002772: EQ
00002773: PUSH2 0x277b
00002776: JUMPI
00002777: PUSH1 0x00
00002779: DUP1
0000277a: REVERT
0000277b: JUMPDEST
0000277c: POP
0000277d: JUMP
0000277e: JUMPDEST
0000277f: PUSH1 0x00
00002781: DUP2
00002782: CALLDATALOAD
00002783: SWAP1
00002784: POP
00002785: PUSH2 0x278d
00002788: DUP2
00002789: PUSH2 0x2767
0000278c: JUMP
0000278d: JUMPDEST
0000278e: SWAP3
0000278f: SWAP2
00002790: POP
00002791: POP
00002792: JUMP
00002793: JUMPDEST
00002794: PUSH1 0x00
00002796: PUSH1 0x20
00002798: DUP3
00002799: DUP5
0000279a: SUB
0000279b: SLT
0000279c: ISZERO
0000279d: PUSH2 0x27a9
000027a0: JUMPI
000027a1: PUSH2 0x27a8
000027a4: PUSH2 0x2736
000027a7: JUMP
000027a8: JUMPDEST
000027a9: JUMPDEST
000027aa: PUSH1 0x00
000027ac: PUSH2 0x27b7
000027af: DUP5
000027b0: DUP3
000027b1: DUP6
000027b2: ADD
000027b3: PUSH2 0x277e
000027b6: JUMP
000027b7: JUMPDEST
000027b8: SWAP2
000027b9: POP
000027ba: POP
000027bb: SWAP3
000027bc: SWAP2
000027bd: POP
000027be: POP
000027bf: JUMP
000027c0: JUMPDEST
000027c1: PUSH1 0x00
000027c3: DUP2
000027c4: ISZERO
000027c5: ISZERO
000027c6: SWAP1
000027c7: POP
000027c8: SWAP2
000027c9: SWAP1
000027ca: POP
000027cb: JUMP
000027cc: JUMPDEST
000027cd: PUSH2 0x27d5
000027d0: DUP2
000027d1: PUSH2 0x27c0
000027d4: JUMP
000027d5: JUMPDEST
000027d6: DUP3
000027d7: MSTORE
000027d8: POP
000027d9: POP
000027da: JUMP
000027db: JUMPDEST
000027dc: PUSH1 0x00
000027de: PUSH1 0x20
000027e0: DUP3
000027e1: ADD
000027e2: SWAP1
000027e3: POP
000027e4: PUSH2 0x27f0
000027e7: PUSH1 0x00
000027e9: DUP4
000027ea: ADD
000027eb: DUP5
000027ec: PUSH2 0x27cc
000027ef: JUMP
000027f0: JUMPDEST
000027f1: SWAP3
000027f2: SWAP2
000027f3: POP
000027f4: POP
000027f5: JUMP
000027f6: JUMPDEST
000027f7: PUSH1 0x00
000027f9: DUP2
000027fa: SWAP1
000027fb: POP
000027fc: SWAP2
000027fd: SWAP1
000027fe: POP
000027ff: JUMP
00002800: JUMPDEST
00002801: PUSH2 0x2809
00002804: DUP2
00002805: PUSH2 0x27f6
00002808: JUMP
00002809: JUMPDEST
0000280a: DUP3
0000280b: MSTORE
0000280c: POP
0000280d: POP
0000280e: JUMP
0000280f: JUMPDEST
00002810: PUSH1 0x00
00002812: PUSH1 0x20
00002814: DUP3
00002815: ADD
00002816: SWAP1
00002817: POP
00002818: PUSH2 0x2824
0000281b: PUSH1 0x00
0000281d: DUP4
0000281e: ADD
0000281f: DUP5
00002820: PUSH2 0x2800
00002823: JUMP
00002824: JUMPDEST
00002825: SWAP3
00002826: SWAP2
00002827: POP
00002828: POP
00002829: JUMP
0000282a: JUMPDEST
0000282b: PUSH1 0x00
0000282d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002842: DUP3
00002843: AND
00002844: SWAP1
00002845: POP
00002846: SWAP2
00002847: SWAP1
00002848: POP
00002849: JUMP
0000284a: JUMPDEST
0000284b: PUSH1 0x00
0000284d: PUSH2 0x2855
00002850: DUP3
00002851: PUSH2 0x282a
00002854: JUMP
00002855: JUMPDEST
00002856: SWAP1
00002857: POP
00002858: SWAP2
00002859: SWAP1
0000285a: POP
0000285b: JUMP
0000285c: JUMPDEST
0000285d: PUSH2 0x2865
00002860: DUP2
00002861: PUSH2 0x284a
00002864: JUMP
00002865: JUMPDEST
00002866: DUP2
00002867: EQ
00002868: PUSH2 0x2870
0000286b: JUMPI
0000286c: PUSH1 0x00
0000286e: DUP1
0000286f: REVERT
00002870: JUMPDEST
00002871: POP
00002872: JUMP
00002873: JUMPDEST
00002874: PUSH1 0x00
00002876: DUP2
00002877: CALLDATALOAD
00002878: SWAP1
00002879: POP
0000287a: PUSH2 0x2882
0000287d: DUP2
0000287e: PUSH2 0x285c
00002881: JUMP
00002882: JUMPDEST
00002883: SWAP3
00002884: SWAP2
00002885: POP
00002886: POP
00002887: JUMP
00002888: JUMPDEST
00002889: PUSH2 0x2891
0000288c: DUP2
0000288d: PUSH2 0x27f6
00002890: JUMP
00002891: JUMPDEST
00002892: DUP2
00002893: EQ
00002894: PUSH2 0x289c
00002897: JUMPI
00002898: PUSH1 0x00
0000289a: DUP1
0000289b: REVERT
0000289c: JUMPDEST
0000289d: POP
0000289e: JUMP
0000289f: JUMPDEST
000028a0: PUSH1 0x00
000028a2: DUP2
000028a3: CALLDATALOAD
000028a4: SWAP1
000028a5: POP
000028a6: PUSH2 0x28ae
000028a9: DUP2
000028aa: PUSH2 0x2888
000028ad: JUMP
000028ae: JUMPDEST
000028af: SWAP3
000028b0: SWAP2
000028b1: POP
000028b2: POP
000028b3: JUMP
000028b4: JUMPDEST
000028b5: PUSH1 0x00
000028b7: DUP1
000028b8: PUSH1 0x40
000028ba: DUP4
000028bb: DUP6
000028bc: SUB
000028bd: SLT
000028be: ISZERO
000028bf: PUSH2 0x28cb
000028c2: JUMPI
000028c3: PUSH2 0x28ca
000028c6: PUSH2 0x2736
000028c9: JUMP
000028ca: JUMPDEST
000028cb: JUMPDEST
000028cc: PUSH1 0x00
000028ce: PUSH2 0x28d9
000028d1: DUP6
000028d2: DUP3
000028d3: DUP7
000028d4: ADD
000028d5: PUSH2 0x2873
000028d8: JUMP
000028d9: JUMPDEST
000028da: SWAP3
000028db: POP
000028dc: POP
000028dd: PUSH1 0x20
000028df: PUSH2 0x28ea
000028e2: DUP6
000028e3: DUP3
000028e4: DUP7
000028e5: ADD
000028e6: PUSH2 0x289f
000028e9: JUMP
000028ea: JUMPDEST
000028eb: SWAP2
000028ec: POP
000028ed: POP
000028ee: SWAP3
000028ef: POP
000028f0: SWAP3
000028f1: SWAP1
000028f2: POP
000028f3: JUMP
000028f4: JUMPDEST
000028f5: PUSH1 0x00
000028f7: PUSH1 0x20
000028f9: DUP3
000028fa: DUP5
000028fb: SUB
000028fc: SLT
000028fd: ISZERO
000028fe: PUSH2 0x290a
00002901: JUMPI
00002902: PUSH2 0x2909
00002905: PUSH2 0x2736
00002908: JUMP
00002909: JUMPDEST
0000290a: JUMPDEST
0000290b: PUSH1 0x00
0000290d: PUSH2 0x2918
00002910: DUP5
00002911: DUP3
00002912: DUP6
00002913: ADD
00002914: PUSH2 0x289f
00002917: JUMP
00002918: JUMPDEST
00002919: SWAP2
0000291a: POP
0000291b: POP
0000291c: SWAP3
0000291d: SWAP2
0000291e: POP
0000291f: POP
00002920: JUMP
00002921: JUMPDEST
00002922: PUSH2 0x292a
00002925: DUP2
00002926: PUSH2 0x284a
00002929: JUMP
0000292a: JUMPDEST
0000292b: DUP3
0000292c: MSTORE
0000292d: POP
0000292e: POP
0000292f: JUMP
00002930: JUMPDEST
00002931: PUSH1 0x00
00002933: PUSH1 0x20
00002935: DUP3
00002936: ADD
00002937: SWAP1
00002938: POP
00002939: PUSH2 0x2945
0000293c: PUSH1 0x00
0000293e: DUP4
0000293f: ADD
00002940: DUP5
00002941: PUSH2 0x2921
00002944: JUMP
00002945: JUMPDEST
00002946: SWAP3
00002947: SWAP2
00002948: POP
00002949: POP
0000294a: JUMP
0000294b: JUMPDEST
0000294c: PUSH1 0x00
0000294e: DUP2
0000294f: SWAP1
00002950: POP
00002951: SWAP2
00002952: SWAP1
00002953: POP
00002954: JUMP
00002955: JUMPDEST
00002956: PUSH2 0x295e
00002959: DUP2
0000295a: PUSH2 0x294b
0000295d: JUMP
0000295e: JUMPDEST
0000295f: DUP2
00002960: EQ
00002961: PUSH2 0x2969
00002964: JUMPI
00002965: PUSH1 0x00
00002967: DUP1
00002968: REVERT
00002969: JUMPDEST
0000296a: POP
0000296b: JUMP
0000296c: JUMPDEST
0000296d: PUSH1 0x00
0000296f: DUP2
00002970: CALLDATALOAD
00002971: SWAP1
00002972: POP
00002973: PUSH2 0x297b
00002976: DUP2
00002977: PUSH2 0x2955
0000297a: JUMP
0000297b: JUMPDEST
0000297c: SWAP3
0000297d: SWAP2
0000297e: POP
0000297f: POP
00002980: JUMP
00002981: JUMPDEST
00002982: PUSH1 0x00
00002984: PUSH1 0x20
00002986: DUP3
00002987: DUP5
00002988: SUB
00002989: SLT
0000298a: ISZERO
0000298b: PUSH2 0x2997
0000298e: JUMPI
0000298f: PUSH2 0x2996
00002992: PUSH2 0x2736
00002995: JUMP
00002996: JUMPDEST
00002997: JUMPDEST
00002998: PUSH1 0x00
0000299a: PUSH2 0x29a5
0000299d: DUP5
0000299e: DUP3
0000299f: DUP6
000029a0: ADD
000029a1: PUSH2 0x296c
000029a4: JUMP
000029a5: JUMPDEST
000029a6: SWAP2
000029a7: POP
000029a8: POP
000029a9: SWAP3
000029aa: SWAP2
000029ab: POP
000029ac: POP
000029ad: JUMP
000029ae: JUMPDEST
000029af: PUSH2 0x29b7
000029b2: DUP2
000029b3: PUSH2 0x294b
000029b6: JUMP
000029b7: JUMPDEST
000029b8: DUP3
000029b9: MSTORE
000029ba: POP
000029bb: POP
000029bc: JUMP
000029bd: JUMPDEST
000029be: PUSH1 0x00
000029c0: PUSH1 0x20
000029c2: DUP3
000029c3: ADD
000029c4: SWAP1
000029c5: POP
000029c6: PUSH2 0x29d2
000029c9: PUSH1 0x00
000029cb: DUP4
000029cc: ADD
000029cd: DUP5
000029ce: PUSH2 0x29ae
000029d1: JUMP
000029d2: JUMPDEST
000029d3: SWAP3
000029d4: SWAP2
000029d5: POP
000029d6: POP
000029d7: JUMP
000029d8: JUMPDEST
000029d9: PUSH1 0x00
000029db: DUP1
000029dc: PUSH1 0x40
000029de: DUP4
000029df: DUP6
000029e0: SUB
000029e1: SLT
000029e2: ISZERO
000029e3: PUSH2 0x29ef
000029e6: JUMPI
000029e7: PUSH2 0x29ee
000029ea: PUSH2 0x2736
000029ed: JUMP
000029ee: JUMPDEST
000029ef: JUMPDEST
000029f0: PUSH1 0x00
000029f2: PUSH2 0x29fd
000029f5: DUP6
000029f6: DUP3
000029f7: DUP7
000029f8: ADD
000029f9: PUSH2 0x296c
000029fc: JUMP
000029fd: JUMPDEST
000029fe: SWAP3
000029ff: POP
00002a00: POP
00002a01: PUSH1 0x20
00002a03: PUSH2 0x2a0e
00002a06: DUP6
00002a07: DUP3
00002a08: DUP7
00002a09: ADD
00002a0a: PUSH2 0x2873
00002a0d: JUMP
00002a0e: JUMPDEST
00002a0f: SWAP2
00002a10: POP
00002a11: POP
00002a12: SWAP3
00002a13: POP
00002a14: SWAP3
00002a15: SWAP1
00002a16: POP
00002a17: JUMP
00002a18: JUMPDEST
00002a19: PUSH1 0x00
00002a1b: PUSH1 0x20
00002a1d: DUP3
00002a1e: DUP5
00002a1f: SUB
00002a20: SLT
00002a21: ISZERO
00002a22: PUSH2 0x2a2e
00002a25: JUMPI
00002a26: PUSH2 0x2a2d
00002a29: PUSH2 0x2736
00002a2c: JUMP
00002a2d: JUMPDEST
00002a2e: JUMPDEST
00002a2f: PUSH1 0x00
00002a31: PUSH2 0x2a3c
00002a34: DUP5
00002a35: DUP3
00002a36: DUP6
00002a37: ADD
00002a38: PUSH2 0x2873
00002a3b: JUMP
00002a3c: JUMPDEST
00002a3d: SWAP2
00002a3e: POP
00002a3f: POP
00002a40: SWAP3
00002a41: SWAP2
00002a42: POP
00002a43: POP
00002a44: JUMP
00002a45: JUMPDEST
00002a46: PUSH1 0x00
00002a48: PUSH1 0xff
00002a4a: DUP3
00002a4b: AND
00002a4c: SWAP1
00002a4d: POP
00002a4e: SWAP2
00002a4f: SWAP1
00002a50: POP
00002a51: JUMP
00002a52: JUMPDEST
00002a53: PUSH2 0x2a5b
00002a56: DUP2
00002a57: PUSH2 0x2a45
00002a5a: JUMP
00002a5b: JUMPDEST
00002a5c: DUP2
00002a5d: EQ
00002a5e: PUSH2 0x2a66
00002a61: JUMPI
00002a62: PUSH1 0x00
00002a64: DUP1
00002a65: REVERT
00002a66: JUMPDEST
00002a67: POP
00002a68: JUMP
00002a69: JUMPDEST
00002a6a: PUSH1 0x00
00002a6c: DUP2
00002a6d: CALLDATALOAD
00002a6e: SWAP1
00002a6f: POP
00002a70: PUSH2 0x2a78
00002a73: DUP2
00002a74: PUSH2 0x2a52
00002a77: JUMP
00002a78: JUMPDEST
00002a79: SWAP3
00002a7a: SWAP2
00002a7b: POP
00002a7c: POP
00002a7d: JUMP
00002a7e: JUMPDEST
00002a7f: PUSH1 0x00
00002a81: DUP1
00002a82: PUSH1 0x00
00002a84: DUP1
00002a85: PUSH1 0x00
00002a87: DUP1
00002a88: PUSH1 0x00
00002a8a: DUP1
00002a8b: PUSH1 0x00
00002a8d: PUSH2 0x0120
00002a90: DUP11
00002a91: DUP13
00002a92: SUB
00002a93: SLT
00002a94: ISZERO
00002a95: PUSH2 0x2aa1
00002a98: JUMPI
00002a99: PUSH2 0x2aa0
00002a9c: PUSH2 0x2736
00002a9f: JUMP
00002aa0: JUMPDEST
00002aa1: JUMPDEST
00002aa2: PUSH1 0x00
00002aa4: PUSH2 0x2aaf
00002aa7: DUP13
00002aa8: DUP3
00002aa9: DUP14
00002aaa: ADD
00002aab: PUSH2 0x2873
00002aae: JUMP
00002aaf: JUMPDEST
00002ab0: SWAP10
00002ab1: POP
00002ab2: POP
00002ab3: PUSH1 0x20
00002ab5: PUSH2 0x2ac0
00002ab8: DUP13
00002ab9: DUP3
00002aba: DUP14
00002abb: ADD
00002abc: PUSH2 0x2a69
00002abf: JUMP
00002ac0: JUMPDEST
00002ac1: SWAP9
00002ac2: POP
00002ac3: POP
00002ac4: PUSH1 0x40
00002ac6: PUSH2 0x2ad1
00002ac9: DUP13
00002aca: DUP3
00002acb: DUP14
00002acc: ADD
00002acd: PUSH2 0x2a69
00002ad0: JUMP
00002ad1: JUMPDEST
00002ad2: SWAP8
00002ad3: POP
00002ad4: POP
00002ad5: PUSH1 0x60
00002ad7: PUSH2 0x2ae2
00002ada: DUP13
00002adb: DUP3
00002adc: DUP14
00002add: ADD
00002ade: PUSH2 0x289f
00002ae1: JUMP
00002ae2: JUMPDEST
00002ae3: SWAP7
00002ae4: POP
00002ae5: POP
00002ae6: PUSH1 0x80
00002ae8: PUSH2 0x2af3
00002aeb: DUP13
00002aec: DUP3
00002aed: DUP14
00002aee: ADD
00002aef: PUSH2 0x289f
00002af2: JUMP
00002af3: JUMPDEST
00002af4: SWAP6
00002af5: POP
00002af6: POP
00002af7: PUSH1 0xa0
00002af9: PUSH2 0x2b04
00002afc: DUP13
00002afd: DUP3
00002afe: DUP14
00002aff: ADD
00002b00: PUSH2 0x289f
00002b03: JUMP
00002b04: JUMPDEST
00002b05: SWAP5
00002b06: POP
00002b07: POP
00002b08: PUSH1 0xc0
00002b0a: PUSH2 0x2b15
00002b0d: DUP13
00002b0e: DUP3
00002b0f: DUP14
00002b10: ADD
00002b11: PUSH2 0x289f
00002b14: JUMP
00002b15: JUMPDEST
00002b16: SWAP4
00002b17: POP
00002b18: POP
00002b19: PUSH1 0xe0
00002b1b: PUSH2 0x2b26
00002b1e: DUP13
00002b1f: DUP3
00002b20: DUP14
00002b21: ADD
00002b22: PUSH2 0x289f
00002b25: JUMP
00002b26: JUMPDEST
00002b27: SWAP3
00002b28: POP
00002b29: POP
00002b2a: PUSH2 0x0100
00002b2d: PUSH2 0x2b38
00002b30: DUP13
00002b31: DUP3
00002b32: DUP14
00002b33: ADD
00002b34: PUSH2 0x289f
00002b37: JUMP
00002b38: JUMPDEST
00002b39: SWAP2
00002b3a: POP
00002b3b: POP
00002b3c: SWAP3
00002b3d: SWAP6
00002b3e: SWAP9
00002b3f: POP
00002b40: SWAP3
00002b41: SWAP6
00002b42: SWAP9
00002b43: POP
00002b44: SWAP3
00002b45: SWAP6
00002b46: SWAP9
00002b47: JUMP
00002b48: JUMPDEST
00002b49: PUSH1 0x00
00002b4b: PUSH1 0x60
00002b4d: DUP3
00002b4e: ADD
00002b4f: SWAP1
00002b50: POP
00002b51: PUSH2 0x2b5d
00002b54: PUSH1 0x00
00002b56: DUP4
00002b57: ADD
00002b58: DUP7
00002b59: PUSH2 0x27cc
00002b5c: JUMP
00002b5d: JUMPDEST
00002b5e: PUSH2 0x2b6a
00002b61: PUSH1 0x20
00002b63: DUP4
00002b64: ADD
00002b65: DUP6
00002b66: PUSH2 0x2800
00002b69: JUMP
00002b6a: JUMPDEST
00002b6b: PUSH2 0x2b77
00002b6e: PUSH1 0x40
00002b70: DUP4
00002b71: ADD
00002b72: DUP5
00002b73: PUSH2 0x2800
00002b76: JUMP
00002b77: JUMPDEST
00002b78: SWAP5
00002b79: SWAP4
00002b7a: POP
00002b7b: POP
00002b7c: POP
00002b7d: POP
00002b7e: JUMP
00002b7f: JUMPDEST
00002b80: PUSH2 0x2b88
00002b83: DUP2
00002b84: PUSH2 0x2a45
00002b87: JUMP
00002b88: JUMPDEST
00002b89: DUP3
00002b8a: MSTORE
00002b8b: POP
00002b8c: POP
00002b8d: JUMP
00002b8e: JUMPDEST
00002b8f: PUSH1 0x00
00002b91: PUSH1 0x20
00002b93: DUP3
00002b94: ADD
00002b95: SWAP1
00002b96: POP
00002b97: PUSH2 0x2ba3
00002b9a: PUSH1 0x00
00002b9c: DUP4
00002b9d: ADD
00002b9e: DUP5
00002b9f: PUSH2 0x2b7f
00002ba2: JUMP
00002ba3: JUMPDEST
00002ba4: SWAP3
00002ba5: SWAP2
00002ba6: POP
00002ba7: POP
00002ba8: JUMP
00002ba9: JUMPDEST
00002baa: PUSH1 0x00
00002bac: DUP1
00002bad: PUSH1 0x40
00002baf: DUP4
00002bb0: DUP6
00002bb1: SUB
00002bb2: SLT
00002bb3: ISZERO
00002bb4: PUSH2 0x2bc0
00002bb7: JUMPI
00002bb8: PUSH2 0x2bbf
00002bbb: PUSH2 0x2736
00002bbe: JUMP
00002bbf: JUMPDEST
00002bc0: JUMPDEST
00002bc1: PUSH1 0x00
00002bc3: PUSH2 0x2bce
00002bc6: DUP6
00002bc7: DUP3
00002bc8: DUP7
00002bc9: ADD
00002bca: PUSH2 0x289f
00002bcd: JUMP
00002bce: JUMPDEST
00002bcf: SWAP3
00002bd0: POP
00002bd1: POP
00002bd2: PUSH1 0x20
00002bd4: PUSH2 0x2bdf
00002bd7: DUP6
00002bd8: DUP3
00002bd9: DUP7
00002bda: ADD
00002bdb: PUSH2 0x289f
00002bde: JUMP
00002bdf: JUMPDEST
00002be0: SWAP2
00002be1: POP
00002be2: POP
00002be3: SWAP3
00002be4: POP
00002be5: SWAP3
00002be6: SWAP1
00002be7: POP
00002be8: JUMP
00002be9: JUMPDEST
00002bea: PUSH1 0x00
00002bec: DUP3
00002bed: DUP3
00002bee: MSTORE
00002bef: PUSH1 0x20
00002bf1: DUP3
00002bf2: ADD
00002bf3: SWAP1
00002bf4: POP
00002bf5: SWAP3
00002bf6: SWAP2
00002bf7: POP
00002bf8: POP
00002bf9: JUMP
00002bfa: JUMPDEST
00002bfb: PUSH32 0x4f6e6c7920416c6c6f7765642057616c6c657400000000000000000000000000
00002c1c: PUSH1 0x00
00002c1e: DUP3
00002c1f: ADD
00002c20: MSTORE
00002c21: POP
00002c22: JUMP
00002c23: JUMPDEST
00002c24: PUSH1 0x00
00002c26: PUSH2 0x2c30
00002c29: PUSH1 0x13
00002c2b: DUP4
00002c2c: PUSH2 0x2be9
00002c2f: JUMP
00002c30: JUMPDEST
00002c31: SWAP2
00002c32: POP
00002c33: PUSH2 0x2c3b
00002c36: DUP3
00002c37: PUSH2 0x2bfa
00002c3a: JUMP
00002c3b: JUMPDEST
00002c3c: PUSH1 0x20
00002c3e: DUP3
00002c3f: ADD
00002c40: SWAP1
00002c41: POP
00002c42: SWAP2
00002c43: SWAP1
00002c44: POP
00002c45: JUMP
00002c46: JUMPDEST
00002c47: PUSH1 0x00
00002c49: PUSH1 0x20
00002c4b: DUP3
00002c4c: ADD
00002c4d: SWAP1
00002c4e: POP
00002c4f: DUP2
00002c50: DUP2
00002c51: SUB
00002c52: PUSH1 0x00
00002c54: DUP4
00002c55: ADD
00002c56: MSTORE
00002c57: PUSH2 0x2c5f
00002c5a: DUP2
00002c5b: PUSH2 0x2c23
00002c5e: JUMP
00002c5f: JUMPDEST
00002c60: SWAP1
00002c61: POP
00002c62: SWAP2
00002c63: SWAP1
00002c64: POP
00002c65: JUMP
00002c66: JUMPDEST
00002c67: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002c88: PUSH1 0x00
00002c8a: MSTORE
00002c8b: PUSH1 0x01
00002c8d: PUSH1 0x04
00002c8f: MSTORE
00002c90: PUSH1 0x24
00002c92: PUSH1 0x00
00002c94: REVERT
00002c95: JUMPDEST
00002c96: PUSH1 0x00
00002c98: DUP2
00002c99: SWAP1
00002c9a: POP
00002c9b: SWAP2
00002c9c: SWAP1
00002c9d: POP
00002c9e: JUMP
00002c9f: JUMPDEST
00002ca0: PUSH1 0x00
00002ca2: DUP2
00002ca3: SWAP1
00002ca4: POP
00002ca5: SWAP2
00002ca6: SWAP1
00002ca7: POP
00002ca8: JUMP
00002ca9: JUMPDEST
00002caa: PUSH1 0x00
00002cac: PUSH2 0x2cc4
00002caf: PUSH2 0x2cbf
00002cb2: PUSH2 0x2cba
00002cb5: DUP5
00002cb6: PUSH2 0x2c95
00002cb9: JUMP
00002cba: JUMPDEST
00002cbb: PUSH2 0x2c9f
00002cbe: JUMP
00002cbf: JUMPDEST
00002cc0: PUSH2 0x27f6
00002cc3: JUMP
00002cc4: JUMPDEST
00002cc5: SWAP1
00002cc6: POP
00002cc7: SWAP2
00002cc8: SWAP1
00002cc9: POP
00002cca: JUMP
00002ccb: JUMPDEST
00002ccc: PUSH2 0x2cd4
00002ccf: DUP2
00002cd0: PUSH2 0x2ca9
00002cd3: JUMP
00002cd4: JUMPDEST
00002cd5: DUP3
00002cd6: MSTORE
00002cd7: POP
00002cd8: POP
00002cd9: JUMP
00002cda: JUMPDEST
00002cdb: PUSH1 0x00
00002cdd: PUSH1 0xc0
00002cdf: DUP3
00002ce0: ADD
00002ce1: SWAP1
00002ce2: POP
00002ce3: PUSH2 0x2cef
00002ce6: PUSH1 0x00
00002ce8: DUP4
00002ce9: ADD
00002cea: DUP10
00002ceb: PUSH2 0x2921
00002cee: JUMP
00002cef: JUMPDEST
00002cf0: PUSH2 0x2cfc
00002cf3: PUSH1 0x20
00002cf5: DUP4
00002cf6: ADD
00002cf7: DUP9
00002cf8: PUSH2 0x2800
00002cfb: JUMP
00002cfc: JUMPDEST
00002cfd: PUSH2 0x2d09
00002d00: PUSH1 0x40
00002d02: DUP4
00002d03: ADD
00002d04: DUP8
00002d05: PUSH2 0x2ccb
00002d08: JUMP
00002d09: JUMPDEST
00002d0a: PUSH2 0x2d16
00002d0d: PUSH1 0x60
00002d0f: DUP4
00002d10: ADD
00002d11: DUP7
00002d12: PUSH2 0x2ccb
00002d15: JUMP
00002d16: JUMPDEST
00002d17: PUSH2 0x2d23
00002d1a: PUSH1 0x80
00002d1c: DUP4
00002d1d: ADD
00002d1e: DUP6
00002d1f: PUSH2 0x2800
00002d22: JUMP
00002d23: JUMPDEST
00002d24: PUSH2 0x2d30
00002d27: PUSH1 0xa0
00002d29: DUP4
00002d2a: ADD
00002d2b: DUP5
00002d2c: PUSH2 0x27cc
00002d2f: JUMP
00002d30: JUMPDEST
00002d31: SWAP8
00002d32: SWAP7
00002d33: POP
00002d34: POP
00002d35: POP
00002d36: POP
00002d37: POP
00002d38: POP
00002d39: POP
00002d3a: JUMP
00002d3b: JUMPDEST
00002d3c: PUSH32 0x416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e6365
00002d5d: PUSH1 0x00
00002d5f: DUP3
00002d60: ADD
00002d61: MSTORE
00002d62: PUSH32 0x20726f6c657320666f722073656c660000000000000000000000000000000000
00002d83: PUSH1 0x20
00002d85: DUP3
00002d86: ADD
00002d87: MSTORE
00002d88: POP
00002d89: JUMP
00002d8a: JUMPDEST
00002d8b: PUSH1 0x00
00002d8d: PUSH2 0x2d97
00002d90: PUSH1 0x2f
00002d92: DUP4
00002d93: PUSH2 0x2be9
00002d96: JUMP
00002d97: JUMPDEST
00002d98: SWAP2
00002d99: POP
00002d9a: PUSH2 0x2da2
00002d9d: DUP3
00002d9e: PUSH2 0x2d3b
00002da1: JUMP
00002da2: JUMPDEST
00002da3: PUSH1 0x40
00002da5: DUP3
00002da6: ADD
00002da7: SWAP1
00002da8: POP
00002da9: SWAP2
00002daa: SWAP1
00002dab: POP
00002dac: JUMP
00002dad: JUMPDEST
00002dae: PUSH1 0x00
00002db0: PUSH1 0x20
00002db2: DUP3
00002db3: ADD
00002db4: SWAP1
00002db5: POP
00002db6: DUP2
00002db7: DUP2
00002db8: SUB
00002db9: PUSH1 0x00
00002dbb: DUP4
00002dbc: ADD
00002dbd: MSTORE
00002dbe: PUSH2 0x2dc6
00002dc1: DUP2
00002dc2: PUSH2 0x2d8a
00002dc5: JUMP
00002dc6: JUMPDEST
00002dc7: SWAP1
00002dc8: POP
00002dc9: SWAP2
00002dca: SWAP1
00002dcb: POP
00002dcc: JUMP
00002dcd: JUMPDEST
00002dce: PUSH32 0x6e756c6c2061646472657373206973206e6f742076616c696400000000000000
00002def: PUSH1 0x00
00002df1: DUP3
00002df2: ADD
00002df3: MSTORE
00002df4: POP
00002df5: JUMP
00002df6: JUMPDEST
00002df7: PUSH1 0x00
00002df9: PUSH2 0x2e03
00002dfc: PUSH1 0x19
00002dfe: DUP4
00002dff: PUSH2 0x2be9
00002e02: JUMP
00002e03: JUMPDEST
00002e04: SWAP2
00002e05: POP
00002e06: PUSH2 0x2e0e
00002e09: DUP3
00002e0a: PUSH2 0x2dcd
00002e0d: JUMP
00002e0e: JUMPDEST
00002e0f: PUSH1 0x20
00002e11: DUP3
00002e12: ADD
00002e13: SWAP1
00002e14: POP
00002e15: SWAP2
00002e16: SWAP1
00002e17: POP
00002e18: JUMP
00002e19: JUMPDEST
00002e1a: PUSH1 0x00
00002e1c: PUSH1 0x20
00002e1e: DUP3
00002e1f: ADD
00002e20: SWAP1
00002e21: POP
00002e22: DUP2
00002e23: DUP2
00002e24: SUB
00002e25: PUSH1 0x00
00002e27: DUP4
00002e28: ADD
00002e29: MSTORE
00002e2a: PUSH2 0x2e32
00002e2d: DUP2
00002e2e: PUSH2 0x2df6
00002e31: JUMP
00002e32: JUMPDEST
00002e33: SWAP1
00002e34: POP
00002e35: SWAP2
00002e36: SWAP1
00002e37: POP
00002e38: JUMP
00002e39: JUMPDEST
00002e3a: PUSH1 0x00
00002e3c: DUP2
00002e3d: MLOAD
00002e3e: SWAP1
00002e3f: POP
00002e40: PUSH2 0x2e48
00002e43: DUP2
00002e44: PUSH2 0x2888
00002e47: JUMP
00002e48: JUMPDEST
00002e49: SWAP3
00002e4a: SWAP2
00002e4b: POP
00002e4c: POP
00002e4d: JUMP
00002e4e: JUMPDEST
00002e4f: PUSH1 0x00
00002e51: PUSH1 0x20
00002e53: DUP3
00002e54: DUP5
00002e55: SUB
00002e56: SLT
00002e57: ISZERO
00002e58: PUSH2 0x2e64
00002e5b: JUMPI
00002e5c: PUSH2 0x2e63
00002e5f: PUSH2 0x2736
00002e62: JUMP
00002e63: JUMPDEST
00002e64: JUMPDEST
00002e65: PUSH1 0x00
00002e67: PUSH2 0x2e72
00002e6a: DUP5
00002e6b: DUP3
00002e6c: DUP6
00002e6d: ADD
00002e6e: PUSH2 0x2e39
00002e71: JUMP
00002e72: JUMPDEST
00002e73: SWAP2
00002e74: POP
00002e75: POP
00002e76: SWAP3
00002e77: SWAP2
00002e78: POP
00002e79: POP
00002e7a: JUMP
00002e7b: JUMPDEST
00002e7c: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002e9d: PUSH1 0x00
00002e9f: MSTORE
00002ea0: PUSH1 0x11
00002ea2: PUSH1 0x04
00002ea4: MSTORE
00002ea5: PUSH1 0x24
00002ea7: PUSH1 0x00
00002ea9: REVERT
00002eaa: JUMPDEST
00002eab: PUSH1 0x00
00002ead: PUSH2 0x2eb5
00002eb0: DUP3
00002eb1: PUSH2 0x27f6
00002eb4: JUMP
00002eb5: JUMPDEST
00002eb6: SWAP2
00002eb7: POP
00002eb8: PUSH2 0x2ec0
00002ebb: DUP4
00002ebc: PUSH2 0x27f6
00002ebf: JUMP
00002ec0: JUMPDEST
00002ec1: SWAP3
00002ec2: POP
00002ec3: DUP3
00002ec4: DUP3
00002ec5: ADD
00002ec6: SWAP1
00002ec7: POP
00002ec8: DUP1
00002ec9: DUP3
00002eca: GT
00002ecb: ISZERO
00002ecc: PUSH2 0x2ed8
00002ecf: JUMPI
00002ed0: PUSH2 0x2ed7
00002ed3: PUSH2 0x2e7b
00002ed6: JUMP
00002ed7: JUMPDEST
00002ed8: JUMPDEST
00002ed9: SWAP3
00002eda: SWAP2
00002edb: POP
00002edc: POP
00002edd: JUMP
00002ede: JUMPDEST
00002edf: PUSH1 0x00
00002ee1: PUSH2 0x2ee9
00002ee4: DUP3
00002ee5: PUSH2 0x2a45
00002ee8: JUMP
00002ee9: JUMPDEST
00002eea: SWAP2
00002eeb: POP
00002eec: PUSH2 0x2ef4
00002eef: DUP4
00002ef0: PUSH2 0x2a45
00002ef3: JUMP
00002ef4: JUMPDEST
00002ef5: SWAP3
00002ef6: POP
00002ef7: DUP3
00002ef8: DUP3
00002ef9: ADD
00002efa: SWAP1
00002efb: POP
00002efc: PUSH1 0xff
00002efe: DUP2
00002eff: GT
00002f00: ISZERO
00002f01: PUSH2 0x2f0d
00002f04: JUMPI
00002f05: PUSH2 0x2f0c
00002f08: PUSH2 0x2e7b
00002f0b: JUMP
00002f0c: JUMPDEST
00002f0d: JUMPDEST
00002f0e: SWAP3
00002f0f: SWAP2
00002f10: POP
00002f11: POP
00002f12: JUMP
00002f13: JUMPDEST
00002f14: PUSH1 0x00
00002f16: PUSH2 0x2f1e
00002f19: DUP3
00002f1a: PUSH2 0x2a45
00002f1d: JUMP
00002f1e: JUMPDEST
00002f1f: SWAP2
00002f20: POP
00002f21: PUSH2 0x2f29
00002f24: DUP4
00002f25: PUSH2 0x2a45
00002f28: JUMP
00002f29: JUMPDEST
00002f2a: SWAP3
00002f2b: POP
00002f2c: DUP3
00002f2d: DUP3
00002f2e: SUB
00002f2f: SWAP1
00002f30: POP
00002f31: PUSH1 0xff
00002f33: DUP2
00002f34: GT
00002f35: ISZERO
00002f36: PUSH2 0x2f42
00002f39: JUMPI
00002f3a: PUSH2 0x2f41
00002f3d: PUSH2 0x2e7b
00002f40: JUMP
00002f41: JUMPDEST
00002f42: JUMPDEST
00002f43: SWAP3
00002f44: SWAP2
00002f45: POP
00002f46: POP
00002f47: JUMP
00002f48: JUMPDEST
00002f49: PUSH1 0x00
00002f4b: DUP2
00002f4c: PUSH1 0x01
00002f4e: SHR
00002f4f: SWAP1
00002f50: POP
00002f51: SWAP2
00002f52: SWAP1
00002f53: POP
00002f54: JUMP
00002f55: JUMPDEST
00002f56: PUSH1 0x00
00002f58: DUP1
00002f59: DUP3
00002f5a: SWAP2
00002f5b: POP
00002f5c: DUP4
00002f5d: SWAP1
00002f5e: POP
00002f5f: JUMPDEST
00002f60: PUSH1 0x01
00002f62: DUP6
00002f63: GT
00002f64: ISZERO
00002f65: PUSH2 0x2f9f
00002f68: JUMPI
00002f69: DUP1
00002f6a: DUP7
00002f6b: DIV
00002f6c: DUP2
00002f6d: GT
00002f6e: ISZERO
00002f6f: PUSH2 0x2f7b
00002f72: JUMPI
00002f73: PUSH2 0x2f7a
00002f76: PUSH2 0x2e7b
00002f79: JUMP
00002f7a: JUMPDEST
00002f7b: JUMPDEST
00002f7c: PUSH1 0x01
00002f7e: DUP6
00002f7f: AND
00002f80: ISZERO
00002f81: PUSH2 0x2f8a
00002f84: JUMPI
00002f85: DUP1
00002f86: DUP3
00002f87: MUL
00002f88: SWAP2
00002f89: POP
00002f8a: JUMPDEST
00002f8b: DUP1
00002f8c: DUP2
00002f8d: MUL
00002f8e: SWAP1
00002f8f: POP
00002f90: PUSH2 0x2f98
00002f93: DUP6
00002f94: PUSH2 0x2f48
00002f97: JUMP
00002f98: JUMPDEST
00002f99: SWAP5
00002f9a: POP
00002f9b: PUSH2 0x2f5f
00002f9e: JUMP
00002f9f: JUMPDEST
00002fa0: SWAP5
00002fa1: POP
00002fa2: SWAP5
00002fa3: SWAP3
00002fa4: POP
00002fa5: POP
00002fa6: POP
00002fa7: JUMP
00002fa8: JUMPDEST
00002fa9: PUSH1 0x00
00002fab: DUP3
00002fac: PUSH2 0x2fb8
00002faf: JUMPI
00002fb0: PUSH1 0x01
00002fb2: SWAP1
00002fb3: POP
00002fb4: PUSH2 0x3074
00002fb7: JUMP
00002fb8: JUMPDEST
00002fb9: DUP2
00002fba: PUSH2 0x2fc6
00002fbd: JUMPI
00002fbe: PUSH1 0x00
00002fc0: SWAP1
00002fc1: POP
00002fc2: PUSH2 0x3074
00002fc5: JUMP
00002fc6: JUMPDEST
00002fc7: DUP2
00002fc8: PUSH1 0x01
00002fca: DUP2
00002fcb: EQ
00002fcc: PUSH2 0x2fdc
00002fcf: JUMPI
00002fd0: PUSH1 0x02
00002fd2: DUP2
00002fd3: EQ
00002fd4: PUSH2 0x2fe6
00002fd7: JUMPI
00002fd8: PUSH2 0x3015
00002fdb: JUMP
00002fdc: JUMPDEST
00002fdd: PUSH1 0x01
00002fdf: SWAP2
00002fe0: POP
00002fe1: POP
00002fe2: PUSH2 0x3074
00002fe5: JUMP
00002fe6: JUMPDEST
00002fe7: PUSH1 0xff
00002fe9: DUP5
00002fea: GT
00002feb: ISZERO
00002fec: PUSH2 0x2ff8
00002fef: JUMPI
00002ff0: PUSH2 0x2ff7
00002ff3: PUSH2 0x2e7b
00002ff6: JUMP
00002ff7: JUMPDEST
00002ff8: JUMPDEST
00002ff9: DUP4
00002ffa: PUSH1 0x02
00002ffc: EXP
00002ffd: SWAP2
00002ffe: POP
00002fff: DUP5
00003000: DUP3
00003001: GT
00003002: ISZERO
00003003: PUSH2 0x300f
00003006: JUMPI
00003007: PUSH2 0x300e
0000300a: PUSH2 0x2e7b
0000300d: JUMP
0000300e: JUMPDEST
0000300f: JUMPDEST
00003010: POP
00003011: PUSH2 0x3074
00003014: JUMP
00003015: JUMPDEST
00003016: POP
00003017: PUSH1 0x20
00003019: DUP4
0000301a: LT
0000301b: PUSH2 0x0133
0000301e: DUP4
0000301f: LT
00003020: AND
00003021: PUSH1 0x4e
00003023: DUP5
00003024: LT
00003025: PUSH1 0x0b
00003027: DUP5
00003028: LT
00003029: AND
0000302a: OR
0000302b: ISZERO
0000302c: PUSH2 0x304a
0000302f: JUMPI
00003030: DUP3
00003031: DUP3
00003032: EXP
00003033: SWAP1
00003034: POP
00003035: DUP4
00003036: DUP2
00003037: GT
00003038: ISZERO
00003039: PUSH2 0x3045
0000303c: JUMPI
0000303d: PUSH2 0x3044
00003040: PUSH2 0x2e7b
00003043: JUMP
00003044: JUMPDEST
00003045: JUMPDEST
00003046: PUSH2 0x3074
00003049: JUMP
0000304a: JUMPDEST
0000304b: PUSH2 0x3057
0000304e: DUP5
0000304f: DUP5
00003050: DUP5
00003051: PUSH1 0x01
00003053: PUSH2 0x2f55
00003056: JUMP
00003057: JUMPDEST
00003058: SWAP3
00003059: POP
0000305a: SWAP1
0000305b: POP
0000305c: DUP2
0000305d: DUP5
0000305e: DIV
0000305f: DUP2
00003060: GT
00003061: ISZERO
00003062: PUSH2 0x306e
00003065: JUMPI
00003066: PUSH2 0x306d
00003069: PUSH2 0x2e7b
0000306c: JUMP
0000306d: JUMPDEST
0000306e: JUMPDEST
0000306f: DUP2
00003070: DUP2
00003071: MUL
00003072: SWAP1
00003073: POP
00003074: JUMPDEST
00003075: SWAP4
00003076: SWAP3
00003077: POP
00003078: POP
00003079: POP
0000307a: JUMP
0000307b: JUMPDEST
0000307c: PUSH1 0x00
0000307e: PUSH2 0x3086
00003081: DUP3
00003082: PUSH2 0x27f6
00003085: JUMP
00003086: JUMPDEST
00003087: SWAP2
00003088: POP
00003089: PUSH2 0x3091
0000308c: DUP4
0000308d: PUSH2 0x2a45
00003090: JUMP
00003091: JUMPDEST
00003092: SWAP3
00003093: POP
00003094: PUSH2 0x30be
00003097: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000030b8: DUP5
000030b9: DUP5
000030ba: PUSH2 0x2fa8
000030bd: JUMP
000030be: JUMPDEST
000030bf: SWAP1
000030c0: POP
000030c1: SWAP3
000030c2: SWAP2
000030c3: POP
000030c4: POP
000030c5: JUMP
000030c6: JUMPDEST
000030c7: PUSH1 0x00
000030c9: PUSH2 0x30d1
000030cc: DUP3
000030cd: PUSH2 0x27f6
000030d0: JUMP
000030d1: JUMPDEST
000030d2: SWAP2
000030d3: POP
000030d4: PUSH2 0x30dc
000030d7: DUP4
000030d8: PUSH2 0x27f6
000030db: JUMP
000030dc: JUMPDEST
000030dd: SWAP3
000030de: POP
000030df: DUP3
000030e0: DUP3
000030e1: MUL
000030e2: PUSH2 0x30ea
000030e5: DUP2
000030e6: PUSH2 0x27f6
000030e9: JUMP
000030ea: JUMPDEST
000030eb: SWAP2
000030ec: POP
000030ed: DUP3
000030ee: DUP3
000030ef: DIV
000030f0: DUP5
000030f1: EQ
000030f2: DUP4
000030f3: ISZERO
000030f4: OR
000030f5: PUSH2 0x3101
000030f8: JUMPI
000030f9: PUSH2 0x3100
000030fc: PUSH2 0x2e7b
000030ff: JUMP
00003100: JUMPDEST
00003101: JUMPDEST
00003102: POP
00003103: SWAP3
00003104: SWAP2
00003105: POP
00003106: POP
00003107: JUMP
00003108: JUMPDEST
00003109: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000312a: PUSH1 0x00
0000312c: MSTORE
0000312d: PUSH1 0x12
0000312f: PUSH1 0x04
00003131: MSTORE
00003132: PUSH1 0x24
00003134: PUSH1 0x00
00003136: REVERT
00003137: JUMPDEST
00003138: PUSH1 0x00
0000313a: PUSH2 0x3142
0000313d: DUP3
0000313e: PUSH2 0x27f6
00003141: JUMP
00003142: JUMPDEST
00003143: SWAP2
00003144: POP
00003145: PUSH2 0x314d
00003148: DUP4
00003149: PUSH2 0x27f6
0000314c: JUMP
0000314d: JUMPDEST
0000314e: SWAP3
0000314f: POP
00003150: DUP3
00003151: PUSH2 0x315d
00003154: JUMPI
00003155: PUSH2 0x315c
00003158: PUSH2 0x3108
0000315b: JUMP
0000315c: JUMPDEST
0000315d: JUMPDEST
0000315e: DUP3
0000315f: DUP3
00003160: DIV
00003161: SWAP1
00003162: POP
00003163: SWAP3
00003164: SWAP2
00003165: POP
00003166: POP
00003167: JUMP
00003168: JUMPDEST
00003169: PUSH1 0x00
0000316b: PUSH1 0x40
0000316d: DUP3
0000316e: ADD
0000316f: SWAP1
00003170: POP
00003171: PUSH2 0x317d
00003174: PUSH1 0x00
00003176: DUP4
00003177: ADD
00003178: DUP6
00003179: PUSH2 0x2921
0000317c: JUMP
0000317d: JUMPDEST
0000317e: PUSH2 0x318a
00003181: PUSH1 0x20
00003183: DUP4
00003184: ADD
00003185: DUP5
00003186: PUSH2 0x2800
00003189: JUMP
0000318a: JUMPDEST
0000318b: SWAP4
0000318c: SWAP3
0000318d: POP
0000318e: POP
0000318f: POP
00003190: JUMP
00003191: JUMPDEST
00003192: PUSH1 0x00
00003194: PUSH1 0x80
00003196: DUP3
00003197: ADD
00003198: SWAP1
00003199: POP
0000319a: PUSH2 0x31a6
0000319d: PUSH1 0x00
0000319f: DUP4
000031a0: ADD
000031a1: DUP8
000031a2: PUSH2 0x2921
000031a5: JUMP
000031a6: JUMPDEST
000031a7: PUSH2 0x31b3
000031aa: PUSH1 0x20
000031ac: DUP4
000031ad: ADD
000031ae: DUP7
000031af: PUSH2 0x2800
000031b2: JUMP
000031b3: JUMPDEST
000031b4: PUSH2 0x31c0
000031b7: PUSH1 0x40
000031b9: DUP4
000031ba: ADD
000031bb: DUP6
000031bc: PUSH2 0x2800
000031bf: JUMP
000031c0: JUMPDEST
000031c1: PUSH2 0x31cd
000031c4: PUSH1 0x60
000031c6: DUP4
000031c7: ADD
000031c8: DUP5
000031c9: PUSH2 0x2800
000031cc: JUMP
000031cd: JUMPDEST
000031ce: SWAP6
000031cf: SWAP5
000031d0: POP
000031d1: POP
000031d2: POP
000031d3: POP
000031d4: POP
000031d5: JUMP
000031d6: JUMPDEST
000031d7: PUSH1 0x00
000031d9: PUSH2 0x31e1
000031dc: DUP3
000031dd: PUSH2 0x27f6
000031e0: JUMP
000031e1: JUMPDEST
000031e2: SWAP2
000031e3: POP
000031e4: PUSH2 0x31ec
000031e7: DUP4
000031e8: PUSH2 0x27f6
000031eb: JUMP
000031ec: JUMPDEST
000031ed: SWAP3
000031ee: POP
000031ef: DUP3
000031f0: DUP3
000031f1: SUB
000031f2: SWAP1
000031f3: POP
000031f4: DUP2
000031f5: DUP2
000031f6: GT
000031f7: ISZERO
000031f8: PUSH2 0x3204
000031fb: JUMPI
000031fc: PUSH2 0x3203
000031ff: PUSH2 0x2e7b
00003202: JUMP
00003203: JUMPDEST
00003204: JUMPDEST
00003205: SWAP3
00003206: SWAP2
00003207: POP
00003208: POP
00003209: JUMP
0000320a: JUMPDEST
0000320b: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
0000322c: PUSH1 0x00
0000322e: DUP3
0000322f: ADD
00003230: MSTORE
00003231: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00003252: PUSH1 0x20
00003254: DUP3
00003255: ADD
00003256: MSTORE
00003257: POP
00003258: JUMP
00003259: JUMPDEST
0000325a: PUSH1 0x00
0000325c: PUSH2 0x3266
0000325f: PUSH1 0x26
00003261: DUP4
00003262: PUSH2 0x2be9
00003265: JUMP
00003266: JUMPDEST
00003267: SWAP2
00003268: POP
00003269: PUSH2 0x3271
0000326c: DUP3
0000326d: PUSH2 0x320a
00003270: JUMP
00003271: JUMPDEST
00003272: PUSH1 0x40
00003274: DUP3
00003275: ADD
00003276: SWAP1
00003277: POP
00003278: SWAP2
00003279: SWAP1
0000327a: POP
0000327b: JUMP
0000327c: JUMPDEST
0000327d: PUSH1 0x00
0000327f: PUSH1 0x20
00003281: DUP3
00003282: ADD
00003283: SWAP1
00003284: POP
00003285: DUP2
00003286: DUP2
00003287: SUB
00003288: PUSH1 0x00
0000328a: DUP4
0000328b: ADD
0000328c: MSTORE
0000328d: PUSH2 0x3295
00003290: DUP2
00003291: PUSH2 0x3259
00003294: JUMP
00003295: JUMPDEST
00003296: SWAP1
00003297: POP
00003298: SWAP2
00003299: SWAP1
0000329a: POP
0000329b: JUMP
0000329c: JUMPDEST
0000329d: PUSH1 0x00
0000329f: PUSH1 0xc0
000032a1: DUP3
000032a2: ADD
000032a3: SWAP1
000032a4: POP
000032a5: PUSH2 0x32b1
000032a8: PUSH1 0x00
000032aa: DUP4
000032ab: ADD
000032ac: DUP10
000032ad: PUSH2 0x2921
000032b0: JUMP
000032b1: JUMPDEST
000032b2: PUSH2 0x32be
000032b5: PUSH1 0x20
000032b7: DUP4
000032b8: ADD
000032b9: DUP9
000032ba: PUSH2 0x2800
000032bd: JUMP
000032be: JUMPDEST
000032bf: PUSH2 0x32cb
000032c2: PUSH1 0x40
000032c4: DUP4
000032c5: ADD
000032c6: DUP8
000032c7: PUSH2 0x2800
000032ca: JUMP
000032cb: JUMPDEST
000032cc: PUSH2 0x32d8
000032cf: PUSH1 0x60
000032d1: DUP4
000032d2: ADD
000032d3: DUP7
000032d4: PUSH2 0x2800
000032d7: JUMP
000032d8: JUMPDEST
000032d9: PUSH2 0x32e5
000032dc: PUSH1 0x80
000032de: DUP4
000032df: ADD
000032e0: DUP6
000032e1: PUSH2 0x2800
000032e4: JUMP
000032e5: JUMPDEST
000032e6: PUSH2 0x32f2
000032e9: PUSH1 0xa0
000032eb: DUP4
000032ec: ADD
000032ed: DUP5
000032ee: PUSH2 0x27cc
000032f1: JUMP
000032f2: JUMPDEST
000032f3: SWAP8
000032f4: SWAP7
000032f5: POP
000032f6: POP
000032f7: POP
000032f8: POP
000032f9: POP
000032fa: POP
000032fb: POP
000032fc: JUMP
000032fd: JUMPDEST
000032fe: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
0000331f: PUSH1 0x00
00003321: DUP3
00003322: ADD
00003323: MSTORE
00003324: POP
00003325: JUMP
00003326: JUMPDEST
00003327: PUSH1 0x00
00003329: PUSH2 0x3333
0000332c: PUSH1 0x1f
0000332e: DUP4
0000332f: PUSH2 0x2be9
00003332: JUMP
00003333: JUMPDEST
00003334: SWAP2
00003335: POP
00003336: PUSH2 0x333e
00003339: DUP3
0000333a: PUSH2 0x32fd
0000333d: JUMP
0000333e: JUMPDEST
0000333f: PUSH1 0x20
00003341: DUP3
00003342: ADD
00003343: SWAP1
00003344: POP
00003345: SWAP2
00003346: SWAP1
00003347: POP
00003348: JUMP
00003349: JUMPDEST
0000334a: PUSH1 0x00
0000334c: PUSH1 0x20
0000334e: DUP3
0000334f: ADD
00003350: SWAP1
00003351: POP
00003352: DUP2
00003353: DUP2
00003354: SUB
00003355: PUSH1 0x00
00003357: DUP4
00003358: ADD
00003359: MSTORE
0000335a: PUSH2 0x3362
0000335d: DUP2
0000335e: PUSH2 0x3326
00003361: JUMP
00003362: JUMPDEST
00003363: SWAP1
00003364: POP
00003365: SWAP2
00003366: SWAP1
00003367: POP
00003368: JUMP
00003369: JUMPDEST
0000336a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000338b: PUSH1 0x00
0000338d: DUP3
0000338e: ADD
0000338f: MSTORE
00003390: POP
00003391: JUMP
00003392: JUMPDEST
00003393: PUSH1 0x00
00003395: PUSH2 0x339f
00003398: PUSH1 0x20
0000339a: DUP4
0000339b: PUSH2 0x2be9
0000339e: JUMP
0000339f: JUMPDEST
000033a0: SWAP2
000033a1: POP
000033a2: PUSH2 0x33aa
000033a5: DUP3
000033a6: PUSH2 0x3369
000033a9: JUMP
000033aa: JUMPDEST
000033ab: PUSH1 0x20
000033ad: DUP3
000033ae: ADD
000033af: SWAP1
000033b0: POP
000033b1: SWAP2
000033b2: SWAP1
000033b3: POP
000033b4: JUMP
000033b5: JUMPDEST
000033b6: PUSH1 0x00
000033b8: PUSH1 0x20
000033ba: DUP3
000033bb: ADD
000033bc: SWAP1
000033bd: POP
000033be: DUP2
000033bf: DUP2
000033c0: SUB
000033c1: PUSH1 0x00
000033c3: DUP4
000033c4: ADD
000033c5: MSTORE
000033c6: PUSH2 0x33ce
000033c9: DUP2
000033ca: PUSH2 0x3392
000033cd: JUMP
000033ce: JUMPDEST
000033cf: SWAP1
000033d0: POP
000033d1: SWAP2
000033d2: SWAP1
000033d3: POP
000033d4: JUMP
000033d5: JUMPDEST
000033d6: PUSH1 0x00
000033d8: PUSH1 0x60
000033da: DUP3
000033db: ADD
000033dc: SWAP1
000033dd: POP
000033de: PUSH2 0x33ea
000033e1: PUSH1 0x00
000033e3: DUP4
000033e4: ADD
000033e5: DUP7
000033e6: PUSH2 0x2921
000033e9: JUMP
000033ea: JUMPDEST
000033eb: PUSH2 0x33f7
000033ee: PUSH1 0x20
000033f0: DUP4
000033f1: ADD
000033f2: DUP6
000033f3: PUSH2 0x2921
000033f6: JUMP
000033f7: JUMPDEST
000033f8: PUSH2 0x3404
000033fb: PUSH1 0x40
000033fd: DUP4
000033fe: ADD
000033ff: DUP5
00003400: PUSH2 0x2800
00003403: JUMP
00003404: JUMPDEST
00003405: SWAP5
00003406: SWAP4
00003407: POP
00003408: POP
00003409: POP
0000340a: POP
0000340b: JUMP
0000340c: JUMPDEST
0000340d: PUSH1 0x00
0000340f: DUP2
00003410: SWAP1
00003411: POP
00003412: SWAP3
00003413: SWAP2
00003414: POP
00003415: POP
00003416: JUMP
00003417: JUMPDEST
00003418: PUSH32 0x416363657373436f6e74726f6c3a206163636f756e7420000000000000000000
00003439: PUSH1 0x00
0000343b: DUP3
0000343c: ADD
0000343d: MSTORE
0000343e: POP
0000343f: JUMP
00003440: JUMPDEST
00003441: PUSH1 0x00
00003443: PUSH2 0x344d
00003446: PUSH1 0x17
00003448: DUP4
00003449: PUSH2 0x340c
0000344c: JUMP
0000344d: JUMPDEST
0000344e: SWAP2
0000344f: POP
00003450: PUSH2 0x3458
00003453: DUP3
00003454: PUSH2 0x3417
00003457: JUMP
00003458: JUMPDEST
00003459: PUSH1 0x17
0000345b: DUP3
0000345c: ADD
0000345d: SWAP1
0000345e: POP
0000345f: SWAP2
00003460: SWAP1
00003461: POP
00003462: JUMP
00003463: JUMPDEST
00003464: PUSH1 0x00
00003466: DUP2
00003467: MLOAD
00003468: SWAP1
00003469: POP
0000346a: SWAP2
0000346b: SWAP1
0000346c: POP
0000346d: JUMP
0000346e: JUMPDEST
0000346f: PUSH1 0x00
00003471: JUMPDEST
00003472: DUP4
00003473: DUP2
00003474: LT
00003475: ISZERO
00003476: PUSH2 0x348c
00003479: JUMPI
0000347a: DUP1
0000347b: DUP3
0000347c: ADD
0000347d: MLOAD
0000347e: DUP2
0000347f: DUP5
00003480: ADD
00003481: MSTORE
00003482: PUSH1 0x20
00003484: DUP2
00003485: ADD
00003486: SWAP1
00003487: POP
00003488: PUSH2 0x3471
0000348b: JUMP
0000348c: JUMPDEST
0000348d: PUSH1 0x00
0000348f: DUP5
00003490: DUP5
00003491: ADD
00003492: MSTORE
00003493: POP
00003494: POP
00003495: POP
00003496: POP
00003497: JUMP
00003498: JUMPDEST
00003499: PUSH1 0x00
0000349b: PUSH2 0x34a3
0000349e: DUP3
0000349f: PUSH2 0x3463
000034a2: JUMP
000034a3: JUMPDEST
000034a4: PUSH2 0x34ad
000034a7: DUP2
000034a8: DUP6
000034a9: PUSH2 0x340c
000034ac: JUMP
000034ad: JUMPDEST
000034ae: SWAP4
000034af: POP
000034b0: PUSH2 0x34bd
000034b3: DUP2
000034b4: DUP6
000034b5: PUSH1 0x20
000034b7: DUP7
000034b8: ADD
000034b9: PUSH2 0x346e
000034bc: JUMP
000034bd: JUMPDEST
000034be: DUP1
000034bf: DUP5
000034c0: ADD
000034c1: SWAP2
000034c2: POP
000034c3: POP
000034c4: SWAP3
000034c5: SWAP2
000034c6: POP
000034c7: POP
000034c8: JUMP
000034c9: JUMPDEST
000034ca: PUSH32 0x206973206d697373696e6720726f6c6520000000000000000000000000000000
000034eb: PUSH1 0x00
000034ed: DUP3
000034ee: ADD
000034ef: MSTORE
000034f0: POP
000034f1: JUMP
000034f2: JUMPDEST
000034f3: PUSH1 0x00
000034f5: PUSH2 0x34ff
000034f8: PUSH1 0x11
000034fa: DUP4
000034fb: PUSH2 0x340c
000034fe: JUMP
000034ff: JUMPDEST
00003500: SWAP2
00003501: POP
00003502: PUSH2 0x350a
00003505: DUP3
00003506: PUSH2 0x34c9
00003509: JUMP
0000350a: JUMPDEST
0000350b: PUSH1 0x11
0000350d: DUP3
0000350e: ADD
0000350f: SWAP1
00003510: POP
00003511: SWAP2
00003512: SWAP1
00003513: POP
00003514: JUMP
00003515: JUMPDEST
00003516: PUSH1 0x00
00003518: PUSH2 0x3520
0000351b: DUP3
0000351c: PUSH2 0x3440
0000351f: JUMP
00003520: JUMPDEST
00003521: SWAP2
00003522: POP
00003523: PUSH2 0x352c
00003526: DUP3
00003527: DUP6
00003528: PUSH2 0x3498
0000352b: JUMP
0000352c: JUMPDEST
0000352d: SWAP2
0000352e: POP
0000352f: PUSH2 0x3537
00003532: DUP3
00003533: PUSH2 0x34f2
00003536: JUMP
00003537: JUMPDEST
00003538: SWAP2
00003539: POP
0000353a: PUSH2 0x3543
0000353d: DUP3
0000353e: DUP5
0000353f: PUSH2 0x3498
00003542: JUMP
00003543: JUMPDEST
00003544: SWAP2
00003545: POP
00003546: DUP2
00003547: SWAP1
00003548: POP
00003549: SWAP4
0000354a: SWAP3
0000354b: POP
0000354c: POP
0000354d: POP
0000354e: JUMP
0000354f: JUMPDEST
00003550: PUSH1 0x00
00003552: PUSH1 0x1f
00003554: NOT
00003555: PUSH1 0x1f
00003557: DUP4
00003558: ADD
00003559: AND
0000355a: SWAP1
0000355b: POP
0000355c: SWAP2
0000355d: SWAP1
0000355e: POP
0000355f: JUMP
00003560: JUMPDEST
00003561: PUSH1 0x00
00003563: PUSH2 0x356b
00003566: DUP3
00003567: PUSH2 0x3463
0000356a: JUMP
0000356b: JUMPDEST
0000356c: PUSH2 0x3575
0000356f: DUP2
00003570: DUP6
00003571: PUSH2 0x2be9
00003574: JUMP
00003575: JUMPDEST
00003576: SWAP4
00003577: POP
00003578: PUSH2 0x3585
0000357b: DUP2
0000357c: DUP6
0000357d: PUSH1 0x20
0000357f: DUP7
00003580: ADD
00003581: PUSH2 0x346e
00003584: JUMP
00003585: JUMPDEST
00003586: PUSH2 0x358e
00003589: DUP2
0000358a: PUSH2 0x354f
0000358d: JUMP
0000358e: JUMPDEST
0000358f: DUP5
00003590: ADD
00003591: SWAP2
00003592: POP
00003593: POP
00003594: SWAP3
00003595: SWAP2
00003596: POP
00003597: POP
00003598: JUMP
00003599: JUMPDEST
0000359a: PUSH1 0x00
0000359c: PUSH1 0x20
0000359e: DUP3
0000359f: ADD
000035a0: SWAP1
000035a1: POP
000035a2: DUP2
000035a3: DUP2
000035a4: SUB
000035a5: PUSH1 0x00
000035a7: DUP4
000035a8: ADD
000035a9: MSTORE
000035aa: PUSH2 0x35b3
000035ad: DUP2
000035ae: DUP5
000035af: PUSH2 0x3560
000035b2: JUMP
000035b3: JUMPDEST
000035b4: SWAP1
000035b5: POP
000035b6: SWAP3
000035b7: SWAP2
000035b8: POP
000035b9: POP
000035ba: JUMP
000035bb: JUMPDEST
000035bc: PUSH2 0x35c4
000035bf: DUP2
000035c0: PUSH2 0x27c0
000035c3: JUMP
000035c4: JUMPDEST
000035c5: DUP2
000035c6: EQ
000035c7: PUSH2 0x35cf
000035ca: JUMPI
000035cb: PUSH1 0x00
000035cd: DUP1
000035ce: REVERT
000035cf: JUMPDEST
000035d0: POP
000035d1: JUMP
000035d2: JUMPDEST
000035d3: PUSH1 0x00
000035d5: DUP2
000035d6: MLOAD
000035d7: SWAP1
000035d8: POP
000035d9: PUSH2 0x35e1
000035dc: DUP2
000035dd: PUSH2 0x35bb
000035e0: JUMP
000035e1: JUMPDEST
000035e2: SWAP3
000035e3: SWAP2
000035e4: POP
000035e5: POP
000035e6: JUMP
000035e7: JUMPDEST
000035e8: PUSH1 0x00
000035ea: PUSH1 0x20
000035ec: DUP3
000035ed: DUP5
000035ee: SUB
000035ef: SLT
000035f0: ISZERO
000035f1: PUSH2 0x35fd
000035f4: JUMPI
000035f5: PUSH2 0x35fc
000035f8: PUSH2 0x2736
000035fb: JUMP
000035fc: JUMPDEST
000035fd: JUMPDEST
000035fe: PUSH1 0x00
00003600: PUSH2 0x360b
00003603: DUP5
00003604: DUP3
00003605: DUP6
00003606: ADD
00003607: PUSH2 0x35d2
0000360a: JUMP
0000360b: JUMPDEST
0000360c: SWAP2
0000360d: POP
0000360e: POP
0000360f: SWAP3
00003610: SWAP2
00003611: POP
00003612: POP
00003613: JUMP
00003614: JUMPDEST
00003615: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00003636: PUSH1 0x00
00003638: DUP3
00003639: ADD
0000363a: MSTORE
0000363b: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
0000365c: PUSH1 0x20
0000365e: DUP3
0000365f: ADD
00003660: MSTORE
00003661: POP
00003662: JUMP
00003663: JUMPDEST
00003664: PUSH1 0x00
00003666: PUSH2 0x3670
00003669: PUSH1 0x2a
0000366b: DUP4
0000366c: PUSH2 0x2be9
0000366f: JUMP
00003670: JUMPDEST
00003671: SWAP2
00003672: POP
00003673: PUSH2 0x367b
00003676: DUP3
00003677: PUSH2 0x3614
0000367a: JUMP
0000367b: JUMPDEST
0000367c: PUSH1 0x40
0000367e: DUP3
0000367f: ADD
00003680: SWAP1
00003681: POP
00003682: SWAP2
00003683: SWAP1
00003684: POP
00003685: JUMP
00003686: JUMPDEST
00003687: PUSH1 0x00
00003689: PUSH1 0x20
0000368b: DUP3
0000368c: ADD
0000368d: SWAP1
0000368e: POP
0000368f: DUP2
00003690: DUP2
00003691: SUB
00003692: PUSH1 0x00
00003694: DUP4
00003695: ADD
00003696: MSTORE
00003697: PUSH2 0x369f
0000369a: DUP2
0000369b: PUSH2 0x3663
0000369e: JUMP
0000369f: JUMPDEST
000036a0: SWAP1
000036a1: POP
000036a2: SWAP2
000036a3: SWAP1
000036a4: POP
000036a5: JUMP
000036a6: JUMPDEST
000036a7: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000036c8: PUSH1 0x00
000036ca: MSTORE
000036cb: PUSH1 0x41
000036cd: PUSH1 0x04
000036cf: MSTORE
000036d0: PUSH1 0x24
000036d2: PUSH1 0x00
000036d4: REVERT
000036d5: JUMPDEST
000036d6: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000036f7: PUSH1 0x00
000036f9: MSTORE
000036fa: PUSH1 0x32
000036fc: PUSH1 0x04
000036fe: MSTORE
000036ff: PUSH1 0x24
00003701: PUSH1 0x00
00003703: REVERT
00003704: JUMPDEST
00003705: PUSH1 0x00
00003707: PUSH2 0x370f
0000370a: DUP3
0000370b: PUSH2 0x27f6
0000370e: JUMP
0000370f: JUMPDEST
00003710: SWAP2
00003711: POP
00003712: PUSH1 0x00
00003714: DUP3
00003715: SUB
00003716: PUSH2 0x3722
00003719: JUMPI
0000371a: PUSH2 0x3721
0000371d: PUSH2 0x2e7b
00003720: JUMP
00003721: JUMPDEST
00003722: JUMPDEST
00003723: PUSH1 0x01
00003725: DUP3
00003726: SUB
00003727: SWAP1
00003728: POP
00003729: SWAP2
0000372a: SWAP1
0000372b: POP
0000372c: JUMP
0000372d: JUMPDEST
0000372e: PUSH32 0x537472696e67733a20686578206c656e67746820696e73756666696369656e74
0000374f: PUSH1 0x00
00003751: DUP3
00003752: ADD
00003753: MSTORE
00003754: POP
00003755: JUMP
00003756: JUMPDEST
00003757: PUSH1 0x00
00003759: PUSH2 0x3763
0000375c: PUSH1 0x20
0000375e: DUP4
0000375f: PUSH2 0x2be9
00003762: JUMP
00003763: JUMPDEST
00003764: SWAP2
00003765: POP
00003766: PUSH2 0x376e
00003769: DUP3
0000376a: PUSH2 0x372d
0000376d: JUMP
0000376e: JUMPDEST
0000376f: PUSH1 0x20
00003771: DUP3
00003772: ADD
00003773: SWAP1
00003774: POP
00003775: SWAP2
00003776: SWAP1
00003777: POP
00003778: JUMP
00003779: JUMPDEST
0000377a: PUSH1 0x00
0000377c: PUSH1 0x20
0000377e: DUP3
0000377f: ADD
00003780: SWAP1
00003781: POP
00003782: DUP2
00003783: DUP2
00003784: SUB
00003785: PUSH1 0x00
00003787: DUP4
00003788: ADD
00003789: MSTORE
0000378a: PUSH2 0x3792
0000378d: DUP2
0000378e: PUSH2 0x3756
00003791: JUMP
00003792: JUMPDEST
00003793: SWAP1
00003794: POP
00003795: SWAP2
00003796: SWAP1
00003797: POP
00003798: JUMP
00003799: JUMPDEST
0000379a: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
000037bb: PUSH1 0x00
000037bd: DUP3
000037be: ADD
000037bf: MSTORE
000037c0: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000
000037e1: PUSH1 0x20
000037e3: DUP3
000037e4: ADD
000037e5: MSTORE
000037e6: POP
000037e7: JUMP
000037e8: JUMPDEST
000037e9: PUSH1 0x00
000037eb: PUSH2 0x37f5
000037ee: PUSH1 0x26
000037f0: DUP4
000037f1: PUSH2 0x2be9
000037f4: JUMP
000037f5: JUMPDEST
000037f6: SWAP2
000037f7: POP
000037f8: PUSH2 0x3800
000037fb: DUP3
000037fc: PUSH2 0x3799
000037ff: JUMP
00003800: JUMPDEST
00003801: PUSH1 0x40
00003803: DUP3
00003804: ADD
00003805: SWAP1
00003806: POP
00003807: SWAP2
00003808: SWAP1
00003809: POP
0000380a: JUMP
0000380b: JUMPDEST
0000380c: PUSH1 0x00
0000380e: PUSH1 0x20
00003810: DUP3
00003811: ADD
00003812: SWAP1
00003813: POP
00003814: DUP2
00003815: DUP2
00003816: SUB
00003817: PUSH1 0x00
00003819: DUP4
0000381a: ADD
0000381b: MSTORE
0000381c: PUSH2 0x3824
0000381f: DUP2
00003820: PUSH2 0x37e8
00003823: JUMP
00003824: JUMPDEST
00003825: SWAP1
00003826: POP
00003827: SWAP2
00003828: SWAP1
00003829: POP
0000382a: JUMP
0000382b: JUMPDEST
0000382c: PUSH1 0x00
0000382e: DUP2
0000382f: MLOAD
00003830: SWAP1
00003831: POP
00003832: SWAP2
00003833: SWAP1
00003834: POP
00003835: JUMP
00003836: JUMPDEST
00003837: PUSH1 0x00
00003839: DUP2
0000383a: SWAP1
0000383b: POP
0000383c: SWAP3
0000383d: SWAP2
0000383e: POP
0000383f: POP
00003840: JUMP
00003841: JUMPDEST
00003842: PUSH1 0x00
00003844: PUSH2 0x384c
00003847: DUP3
00003848: PUSH2 0x382b
0000384b: JUMP
0000384c: JUMPDEST
0000384d: PUSH2 0x3856
00003850: DUP2
00003851: DUP6
00003852: PUSH2 0x3836
00003855: JUMP
00003856: JUMPDEST
00003857: SWAP4
00003858: POP
00003859: PUSH2 0x3866
0000385c: DUP2
0000385d: DUP6
0000385e: PUSH1 0x20
00003860: DUP7
00003861: ADD
00003862: PUSH2 0x346e
00003865: JUMP
00003866: JUMPDEST
00003867: DUP1
00003868: DUP5
00003869: ADD
0000386a: SWAP2
0000386b: POP
0000386c: POP
0000386d: SWAP3
0000386e: SWAP2
0000386f: POP
00003870: POP
00003871: JUMP
00003872: JUMPDEST
00003873: PUSH1 0x00
00003875: PUSH2 0x387e
00003878: DUP3
00003879: DUP5
0000387a: PUSH2 0x3841
0000387d: JUMP
0000387e: JUMPDEST
0000387f: SWAP2
00003880: POP
00003881: DUP2
00003882: SWAP1
00003883: POP
00003884: SWAP3
00003885: SWAP2
00003886: POP
00003887: POP
00003888: JUMP
00003889: JUMPDEST
0000388a: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
000038ab: PUSH1 0x00
000038ad: DUP3
000038ae: ADD
000038af: MSTORE
000038b0: POP
000038b1: JUMP
000038b2: JUMPDEST
000038b3: PUSH1 0x00
000038b5: PUSH2 0x38bf
000038b8: PUSH1 0x1d
000038ba: DUP4
000038bb: PUSH2 0x2be9
000038be: JUMP
000038bf: JUMPDEST
000038c0: SWAP2
000038c1: POP
000038c2: PUSH2 0x38ca
000038c5: DUP3
000038c6: PUSH2 0x3889
000038c9: JUMP
000038ca: JUMPDEST
000038cb: PUSH1 0x20
000038cd: DUP3
000038ce: ADD
000038cf: SWAP1
000038d0: POP
000038d1: SWAP2
000038d2: SWAP1
000038d3: POP
000038d4: JUMP
000038d5: JUMPDEST
000038d6: PUSH1 0x00
000038d8: PUSH1 0x20
000038da: DUP3
000038db: ADD
000038dc: SWAP1
000038dd: POP
000038de: DUP2
000038df: DUP2
000038e0: SUB
000038e1: PUSH1 0x00
000038e3: DUP4
000038e4: ADD
000038e5: MSTORE
000038e6: PUSH2 0x38ee
000038e9: DUP2
000038ea: PUSH2 0x38b2
000038ed: JUMP
000038ee: JUMPDEST
000038ef: SWAP1
000038f0: POP
000038f1: SWAP2
000038f2: SWAP1
000038f3: POP
000038f4: JUMP
000038f5: INVALID
000038f6: LOG2
000038f7: PUSH5 0x6970667358
000038fd: UNKNOWN(0x22)
000038fe: SLT
000038ff: KECCAK256
00003900: LT
00003901: UNKNOWN(0xDE)
00003902: NUMBER
00003903: BASEFEE
00003904: UNKNOWN(0x24)
00003905: SWAP1
00003906: GT
00003907: UNKNOWN(0x26)
00003908: UNKNOWN(0xDC)
00003909: UNKNOWN(0xE1)
0000390a: UNKNOWN(0xE5)
0000390b: GT
0000390c: UNKNOWN(0xA8)
0000390d: UNKNOWN(0x4F)
0000390e: UNKNOWN(0xEC)
0000390f: PUSH32
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xd1789a4cf498c8285ac164397b08560a70b2620d54c74ee785aa3a8320472f47 call_targets: 0x31378176165ade23e3de3ea31dd33adce164e6e6 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xd1789a4cf498c8285ac164397b08560a70b2620d54c74ee785aa3a8320472f47", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x31378176165ade23e3de3ea31dd33adce164e6e6" ], "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": "0xe346fba2", "selector": "0xe346fba2", "calldata_variants": [ "0xe346fba2", "0xe346fba20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe4bf37c8", "selector": "0xe4bf37c8", "calldata_variants": [ "0xe4bf37c8", "0xe4bf37c80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfa5c969c", "selector": "0xfa5c969c", "calldata_variants": [ "0xfa5c969c", "0xfa5c969c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc4af2bc", "selector": "0xfc4af2bc", "calldata_variants": [ "0xfc4af2bc", "0xfc4af2bc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc6f0837a", "selector": "0xc6f0837a", "calldata_variants": [ "0xc6f0837a", "0xc6f0837a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xca789c46", "selector": "0xca789c46", "calldata_variants": [ "0xca789c46", "0xca789c460000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xce31495b", "selector": "0xce31495b", "calldata_variants": [ "0xce31495b", "0xce31495b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3138, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3969, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4320, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 6, "guards_detected": [], "untrusted_call_count": 6 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xd1789a4cf498c8285ac164397b08560a70b2620d54c74ee785aa3a8320472f47 call_targets: 0x31378176165ade23e3de3ea31dd33adce164e6e6 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xd1789a4cf498c8285ac164397b08560a70b2620d54c74ee785aa3a8320472f47", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x31378176165ade23e3de3ea31dd33adce164e6e6" ], "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": "0xe346fba2", "selector": "0xe346fba2", "calldata_variants": [ "0xe346fba2", "0xe346fba20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe4bf37c8", "selector": "0xe4bf37c8", "calldata_variants": [ "0xe4bf37c8", "0xe4bf37c80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfa5c969c", "selector": "0xfa5c969c", "calldata_variants": [ "0xfa5c969c", "0xfa5c969c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc4af2bc", "selector": "0xfc4af2bc", "calldata_variants": [ "0xfc4af2bc", "0xfc4af2bc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc6f0837a", "selector": "0xc6f0837a", "calldata_variants": [ "0xc6f0837a", "0xc6f0837a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xca789c46", "selector": "0xca789c46", "calldata_variants": [ "0xca789c46", "0xca789c460000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xce31495b", "selector": "0xce31495b", "calldata_variants": [ "0xce31495b", "0xce31495b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3138, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 3969, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 4320, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 6, "guards_detected": [] }
Severity