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

Analysis Run

019b477e-d020-720d-999d-3c18f29f2311

complete
Chain ID
1
Address
Block Number
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

Confirmed
0
Validated
0
Source
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
27511 artifact.fetch complete 1 / 3 3 months ago
27512 tool.cast_disasm complete 1 / 3 3 months ago
92197 analysis.bundle complete 1 / 3 2 weeks ago
92198 capability.graph complete 1 / 3 2 weeks ago
92199 detector.run complete 1 / 3 2 weeks ago
92200 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
6
EXT*/BALANCE
1
Total opcodes
5251
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 0x014f
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7fc6686e
00000019: GT
0000001a: PUSH2 0x00b6
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x9d1b464a
00000024: GT
00000025: PUSH2 0x006f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x9d1b464a
0000002f: EQ
00000030: PUSH2 0x04d9
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xa90cc445
0000003a: EQ
0000003b: PUSH2 0x0504
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xaafb7ff0
00000045: EQ
00000046: PUSH2 0x052f
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xb84c35b3
00000050: EQ
00000051: PUSH2 0x056c
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xbfa1a855
0000005b: EQ
0000005c: PUSH2 0x0595
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf2fde38b
00000066: EQ
00000067: PUSH2 0x05c0
0000006a: JUMPI
0000006b: PUSH2 0x0156
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0x7fc6686e
00000076: EQ
00000077: PUSH2 0x03b7
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x8504cf72
00000081: EQ
00000082: PUSH2 0x03e0
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x8a5b248e
0000008c: EQ
0000008d: PUSH2 0x041d
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x8da5cb5b
00000097: EQ
00000098: PUSH2 0x045a
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0x8e15f473
000000a2: EQ
000000a3: PUSH2 0x0485
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0x909ea88c
000000ad: EQ
000000ae: PUSH2 0x04b0
000000b1: JUMPI
000000b2: PUSH2 0x0156
000000b5: JUMP
000000b6: JUMPDEST
000000b7: DUP1
000000b8: PUSH4 0x58bda02f
000000bd: GT
000000be: PUSH2 0x0108
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x58bda02f
000000c8: EQ
000000c9: PUSH2 0x02a2
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x58f88182
000000d3: EQ
000000d4: PUSH2 0x02df
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x59fe5c45
000000de: EQ
000000df: PUSH2 0x02fb
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x61150923
000000e9: EQ
000000ea: PUSH2 0x0338
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0x6909818e
000000f4: EQ
000000f5: PUSH2 0x0363
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0x715018a6
000000ff: EQ
00000100: PUSH2 0x03a0
00000103: JUMPI
00000104: PUSH2 0x0156
00000107: JUMP
00000108: JUMPDEST
00000109: DUP1
0000010a: PUSH4 0x012d77dc
0000010f: EQ
00000110: PUSH2 0x0158
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x08caa910
0000011a: EQ
0000011b: PUSH2 0x0195
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x0dcf4b8f
00000125: EQ
00000126: PUSH2 0x01c0
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x1cf64fe9
00000130: EQ
00000131: PUSH2 0x01eb
00000134: JUMPI
00000135: DUP1
00000136: PUSH4 0x4769f786
0000013b: EQ
0000013c: PUSH2 0x0228
0000013f: JUMPI
00000140: DUP1
00000141: PUSH4 0x519dc8d2
00000146: EQ
00000147: PUSH2 0x0265
0000014a: JUMPI
0000014b: PUSH2 0x0156
0000014e: JUMP
0000014f: JUMPDEST
00000150: CALLDATASIZE
00000151: PUSH2 0x0156
00000154: JUMPI
00000155: STOP
00000156: JUMPDEST
00000157: STOP
00000158: JUMPDEST
00000159: CALLVALUE
0000015a: DUP1
0000015b: ISZERO
0000015c: PUSH2 0x0164
0000015f: JUMPI
00000160: PUSH1 0x00
00000162: DUP1
00000163: REVERT
00000164: JUMPDEST
00000165: POP
00000166: PUSH2 0x017f
00000169: PUSH1 0x04
0000016b: DUP1
0000016c: CALLDATASIZE
0000016d: SUB
0000016e: DUP2
0000016f: ADD
00000170: SWAP1
00000171: PUSH2 0x017a
00000174: SWAP2
00000175: SWAP1
00000176: PUSH2 0x1861
00000179: JUMP
0000017a: JUMPDEST
0000017b: PUSH2 0x05e9
0000017e: JUMP
0000017f: JUMPDEST
00000180: PUSH1 0x40
00000182: MLOAD
00000183: PUSH2 0x018c
00000186: SWAP2
00000187: SWAP1
00000188: PUSH2 0x18c3
0000018b: JUMP
0000018c: JUMPDEST
0000018d: PUSH1 0x40
0000018f: MLOAD
00000190: DUP1
00000191: SWAP2
00000192: SUB
00000193: SWAP1
00000194: RETURN
00000195: JUMPDEST
00000196: CALLVALUE
00000197: DUP1
00000198: ISZERO
00000199: PUSH2 0x01a1
0000019c: JUMPI
0000019d: PUSH1 0x00
0000019f: DUP1
000001a0: REVERT
000001a1: JUMPDEST
000001a2: POP
000001a3: PUSH2 0x01aa
000001a6: PUSH2 0x0617
000001a9: JUMP
000001aa: JUMPDEST
000001ab: PUSH1 0x40
000001ad: MLOAD
000001ae: PUSH2 0x01b7
000001b1: SWAP2
000001b2: SWAP1
000001b3: PUSH2 0x18c3
000001b6: JUMP
000001b7: JUMPDEST
000001b8: PUSH1 0x40
000001ba: MLOAD
000001bb: DUP1
000001bc: SWAP2
000001bd: SUB
000001be: SWAP1
000001bf: RETURN
000001c0: JUMPDEST
000001c1: CALLVALUE
000001c2: DUP1
000001c3: ISZERO
000001c4: PUSH2 0x01cc
000001c7: JUMPI
000001c8: PUSH1 0x00
000001ca: DUP1
000001cb: REVERT
000001cc: JUMPDEST
000001cd: POP
000001ce: PUSH2 0x01d5
000001d1: PUSH2 0x0621
000001d4: JUMP
000001d5: JUMPDEST
000001d6: PUSH1 0x40
000001d8: MLOAD
000001d9: PUSH2 0x01e2
000001dc: SWAP2
000001dd: SWAP1
000001de: PUSH2 0x18c3
000001e1: JUMP
000001e2: JUMPDEST
000001e3: PUSH1 0x40
000001e5: MLOAD
000001e6: DUP1
000001e7: SWAP2
000001e8: SUB
000001e9: SWAP1
000001ea: RETURN
000001eb: JUMPDEST
000001ec: CALLVALUE
000001ed: DUP1
000001ee: ISZERO
000001ef: PUSH2 0x01f7
000001f2: JUMPI
000001f3: PUSH1 0x00
000001f5: DUP1
000001f6: REVERT
000001f7: JUMPDEST
000001f8: POP
000001f9: PUSH2 0x0212
000001fc: PUSH1 0x04
000001fe: DUP1
000001ff: CALLDATASIZE
00000200: SUB
00000201: DUP2
00000202: ADD
00000203: SWAP1
00000204: PUSH2 0x020d
00000207: SWAP2
00000208: SWAP1
00000209: PUSH2 0x193c
0000020c: JUMP
0000020d: JUMPDEST
0000020e: PUSH2 0x0627
00000211: JUMP
00000212: JUMPDEST
00000213: PUSH1 0x40
00000215: MLOAD
00000216: PUSH2 0x021f
00000219: SWAP2
0000021a: SWAP1
0000021b: PUSH2 0x18c3
0000021e: JUMP
0000021f: JUMPDEST
00000220: PUSH1 0x40
00000222: MLOAD
00000223: DUP1
00000224: SWAP2
00000225: SUB
00000226: SWAP1
00000227: RETURN
00000228: JUMPDEST
00000229: CALLVALUE
0000022a: DUP1
0000022b: ISZERO
0000022c: PUSH2 0x0234
0000022f: JUMPI
00000230: PUSH1 0x00
00000232: DUP1
00000233: REVERT
00000234: JUMPDEST
00000235: POP
00000236: PUSH2 0x024f
00000239: PUSH1 0x04
0000023b: DUP1
0000023c: CALLDATASIZE
0000023d: SUB
0000023e: DUP2
0000023f: ADD
00000240: SWAP1
00000241: PUSH2 0x024a
00000244: SWAP2
00000245: SWAP1
00000246: PUSH2 0x193c
00000249: JUMP
0000024a: JUMPDEST
0000024b: PUSH2 0x063f
0000024e: JUMP
0000024f: JUMPDEST
00000250: PUSH1 0x40
00000252: MLOAD
00000253: PUSH2 0x025c
00000256: SWAP2
00000257: SWAP1
00000258: PUSH2 0x18c3
0000025b: JUMP
0000025c: JUMPDEST
0000025d: PUSH1 0x40
0000025f: MLOAD
00000260: DUP1
00000261: SWAP2
00000262: SUB
00000263: SWAP1
00000264: RETURN
00000265: JUMPDEST
00000266: CALLVALUE
00000267: DUP1
00000268: ISZERO
00000269: PUSH2 0x0271
0000026c: JUMPI
0000026d: PUSH1 0x00
0000026f: DUP1
00000270: REVERT
00000271: JUMPDEST
00000272: POP
00000273: PUSH2 0x028c
00000276: PUSH1 0x04
00000278: DUP1
00000279: CALLDATASIZE
0000027a: SUB
0000027b: DUP2
0000027c: ADD
0000027d: SWAP1
0000027e: PUSH2 0x0287
00000281: SWAP2
00000282: SWAP1
00000283: PUSH2 0x193c
00000286: JUMP
00000287: JUMPDEST
00000288: PUSH2 0x0657
0000028b: JUMP
0000028c: JUMPDEST
0000028d: PUSH1 0x40
0000028f: MLOAD
00000290: PUSH2 0x0299
00000293: SWAP2
00000294: SWAP1
00000295: PUSH2 0x18c3
00000298: JUMP
00000299: JUMPDEST
0000029a: PUSH1 0x40
0000029c: MLOAD
0000029d: DUP1
0000029e: SWAP2
0000029f: SUB
000002a0: SWAP1
000002a1: RETURN
000002a2: JUMPDEST
000002a3: CALLVALUE
000002a4: DUP1
000002a5: ISZERO
000002a6: PUSH2 0x02ae
000002a9: JUMPI
000002aa: PUSH1 0x00
000002ac: DUP1
000002ad: REVERT
000002ae: JUMPDEST
000002af: POP
000002b0: PUSH2 0x02c9
000002b3: PUSH1 0x04
000002b5: DUP1
000002b6: CALLDATASIZE
000002b7: SUB
000002b8: DUP2
000002b9: ADD
000002ba: SWAP1
000002bb: PUSH2 0x02c4
000002be: SWAP2
000002bf: SWAP1
000002c0: PUSH2 0x193c
000002c3: JUMP
000002c4: JUMPDEST
000002c5: PUSH2 0x06a0
000002c8: JUMP
000002c9: JUMPDEST
000002ca: PUSH1 0x40
000002cc: MLOAD
000002cd: PUSH2 0x02d6
000002d0: SWAP2
000002d1: SWAP1
000002d2: PUSH2 0x18c3
000002d5: JUMP
000002d6: JUMPDEST
000002d7: PUSH1 0x40
000002d9: MLOAD
000002da: DUP1
000002db: SWAP2
000002dc: SUB
000002dd: SWAP1
000002de: RETURN
000002df: JUMPDEST
000002e0: PUSH2 0x02f9
000002e3: PUSH1 0x04
000002e5: DUP1
000002e6: CALLDATASIZE
000002e7: SUB
000002e8: DUP2
000002e9: ADD
000002ea: SWAP1
000002eb: PUSH2 0x02f4
000002ee: SWAP2
000002ef: SWAP1
000002f0: PUSH2 0x1995
000002f3: JUMP
000002f4: JUMPDEST
000002f5: PUSH2 0x06e9
000002f8: JUMP
000002f9: JUMPDEST
000002fa: STOP
000002fb: JUMPDEST
000002fc: CALLVALUE
000002fd: DUP1
000002fe: ISZERO
000002ff: PUSH2 0x0307
00000302: JUMPI
00000303: PUSH1 0x00
00000305: DUP1
00000306: REVERT
00000307: JUMPDEST
00000308: POP
00000309: PUSH2 0x0322
0000030c: PUSH1 0x04
0000030e: DUP1
0000030f: CALLDATASIZE
00000310: SUB
00000311: DUP2
00000312: ADD
00000313: SWAP1
00000314: PUSH2 0x031d
00000317: SWAP2
00000318: SWAP1
00000319: PUSH2 0x193c
0000031c: JUMP
0000031d: JUMPDEST
0000031e: PUSH2 0x0f1b
00000321: JUMP
00000322: JUMPDEST
00000323: PUSH1 0x40
00000325: MLOAD
00000326: PUSH2 0x032f
00000329: SWAP2
0000032a: SWAP1
0000032b: PUSH2 0x18c3
0000032e: JUMP
0000032f: JUMPDEST
00000330: PUSH1 0x40
00000332: MLOAD
00000333: DUP1
00000334: SWAP2
00000335: SUB
00000336: SWAP1
00000337: RETURN
00000338: JUMPDEST
00000339: CALLVALUE
0000033a: DUP1
0000033b: ISZERO
0000033c: PUSH2 0x0344
0000033f: JUMPI
00000340: PUSH1 0x00
00000342: DUP1
00000343: REVERT
00000344: JUMPDEST
00000345: POP
00000346: PUSH2 0x034d
00000349: PUSH2 0x0f64
0000034c: JUMP
0000034d: JUMPDEST
0000034e: PUSH1 0x40
00000350: MLOAD
00000351: PUSH2 0x035a
00000354: SWAP2
00000355: SWAP1
00000356: PUSH2 0x1a63
00000359: JUMP
0000035a: JUMPDEST
0000035b: PUSH1 0x40
0000035d: MLOAD
0000035e: DUP1
0000035f: SWAP2
00000360: SUB
00000361: SWAP1
00000362: RETURN
00000363: JUMPDEST
00000364: CALLVALUE
00000365: DUP1
00000366: ISZERO
00000367: PUSH2 0x036f
0000036a: JUMPI
0000036b: PUSH1 0x00
0000036d: DUP1
0000036e: REVERT
0000036f: JUMPDEST
00000370: POP
00000371: PUSH2 0x038a
00000374: PUSH1 0x04
00000376: DUP1
00000377: CALLDATASIZE
00000378: SUB
00000379: DUP2
0000037a: ADD
0000037b: SWAP1
0000037c: PUSH2 0x0385
0000037f: SWAP2
00000380: SWAP1
00000381: PUSH2 0x1861
00000384: JUMP
00000385: JUMPDEST
00000386: PUSH2 0x0f8a
00000389: JUMP
0000038a: JUMPDEST
0000038b: PUSH1 0x40
0000038d: MLOAD
0000038e: PUSH2 0x0397
00000391: SWAP2
00000392: SWAP1
00000393: PUSH2 0x18c3
00000396: JUMP
00000397: JUMPDEST
00000398: PUSH1 0x40
0000039a: MLOAD
0000039b: DUP1
0000039c: SWAP2
0000039d: SUB
0000039e: SWAP1
0000039f: RETURN
000003a0: JUMPDEST
000003a1: CALLVALUE
000003a2: DUP1
000003a3: ISZERO
000003a4: PUSH2 0x03ac
000003a7: JUMPI
000003a8: PUSH1 0x00
000003aa: DUP1
000003ab: REVERT
000003ac: JUMPDEST
000003ad: POP
000003ae: PUSH2 0x03b5
000003b1: PUSH2 0x0fb8
000003b4: JUMP
000003b5: JUMPDEST
000003b6: STOP
000003b7: JUMPDEST
000003b8: CALLVALUE
000003b9: DUP1
000003ba: ISZERO
000003bb: PUSH2 0x03c3
000003be: JUMPI
000003bf: PUSH1 0x00
000003c1: DUP1
000003c2: REVERT
000003c3: JUMPDEST
000003c4: POP
000003c5: PUSH2 0x03de
000003c8: PUSH1 0x04
000003ca: DUP1
000003cb: CALLDATASIZE
000003cc: SUB
000003cd: DUP2
000003ce: ADD
000003cf: SWAP1
000003d0: PUSH2 0x03d9
000003d3: SWAP2
000003d4: SWAP1
000003d5: PUSH2 0x1a7e
000003d8: JUMP
000003d9: JUMPDEST
000003da: PUSH2 0x0fcc
000003dd: JUMP
000003de: JUMPDEST
000003df: STOP
000003e0: JUMPDEST
000003e1: CALLVALUE
000003e2: DUP1
000003e3: ISZERO
000003e4: PUSH2 0x03ec
000003e7: JUMPI
000003e8: PUSH1 0x00
000003ea: DUP1
000003eb: REVERT
000003ec: JUMPDEST
000003ed: POP
000003ee: PUSH2 0x0407
000003f1: PUSH1 0x04
000003f3: DUP1
000003f4: CALLDATASIZE
000003f5: SUB
000003f6: DUP2
000003f7: ADD
000003f8: SWAP1
000003f9: PUSH2 0x0402
000003fc: SWAP2
000003fd: SWAP1
000003fe: PUSH2 0x193c
00000401: JUMP
00000402: JUMPDEST
00000403: PUSH2 0x0fde
00000406: JUMP
00000407: JUMPDEST
00000408: PUSH1 0x40
0000040a: MLOAD
0000040b: PUSH2 0x0414
0000040e: SWAP2
0000040f: SWAP1
00000410: PUSH2 0x18c3
00000413: JUMP
00000414: JUMPDEST
00000415: PUSH1 0x40
00000417: MLOAD
00000418: DUP1
00000419: SWAP2
0000041a: SUB
0000041b: SWAP1
0000041c: RETURN
0000041d: JUMPDEST
0000041e: CALLVALUE
0000041f: DUP1
00000420: ISZERO
00000421: PUSH2 0x0429
00000424: JUMPI
00000425: PUSH1 0x00
00000427: DUP1
00000428: REVERT
00000429: JUMPDEST
0000042a: POP
0000042b: PUSH2 0x0444
0000042e: PUSH1 0x04
00000430: DUP1
00000431: CALLDATASIZE
00000432: SUB
00000433: DUP2
00000434: ADD
00000435: SWAP1
00000436: PUSH2 0x043f
00000439: SWAP2
0000043a: SWAP1
0000043b: PUSH2 0x193c
0000043e: JUMP
0000043f: JUMPDEST
00000440: PUSH2 0x0ff6
00000443: JUMP
00000444: JUMPDEST
00000445: PUSH1 0x40
00000447: MLOAD
00000448: PUSH2 0x0451
0000044b: SWAP2
0000044c: SWAP1
0000044d: PUSH2 0x18c3
00000450: JUMP
00000451: JUMPDEST
00000452: PUSH1 0x40
00000454: MLOAD
00000455: DUP1
00000456: SWAP2
00000457: SUB
00000458: SWAP1
00000459: RETURN
0000045a: JUMPDEST
0000045b: CALLVALUE
0000045c: DUP1
0000045d: ISZERO
0000045e: PUSH2 0x0466
00000461: JUMPI
00000462: PUSH1 0x00
00000464: DUP1
00000465: REVERT
00000466: JUMPDEST
00000467: POP
00000468: PUSH2 0x046f
0000046b: PUSH2 0x103f
0000046e: JUMP
0000046f: JUMPDEST
00000470: PUSH1 0x40
00000472: MLOAD
00000473: PUSH2 0x047c
00000476: SWAP2
00000477: SWAP1
00000478: PUSH2 0x1aba
0000047b: JUMP
0000047c: JUMPDEST
0000047d: PUSH1 0x40
0000047f: MLOAD
00000480: DUP1
00000481: SWAP2
00000482: SUB
00000483: SWAP1
00000484: RETURN
00000485: JUMPDEST
00000486: CALLVALUE
00000487: DUP1
00000488: ISZERO
00000489: PUSH2 0x0491
0000048c: JUMPI
0000048d: PUSH1 0x00
0000048f: DUP1
00000490: REVERT
00000491: JUMPDEST
00000492: POP
00000493: PUSH2 0x049a
00000496: PUSH2 0x1068
00000499: JUMP
0000049a: JUMPDEST
0000049b: PUSH1 0x40
0000049d: MLOAD
0000049e: PUSH2 0x04a7
000004a1: SWAP2
000004a2: SWAP1
000004a3: PUSH2 0x18c3
000004a6: JUMP
000004a7: JUMPDEST
000004a8: PUSH1 0x40
000004aa: MLOAD
000004ab: DUP1
000004ac: SWAP2
000004ad: SUB
000004ae: SWAP1
000004af: RETURN
000004b0: JUMPDEST
000004b1: CALLVALUE
000004b2: DUP1
000004b3: ISZERO
000004b4: PUSH2 0x04bc
000004b7: JUMPI
000004b8: PUSH1 0x00
000004ba: DUP1
000004bb: REVERT
000004bc: JUMPDEST
000004bd: POP
000004be: PUSH2 0x04d7
000004c1: PUSH1 0x04
000004c3: DUP1
000004c4: CALLDATASIZE
000004c5: SUB
000004c6: DUP2
000004c7: ADD
000004c8: SWAP1
000004c9: PUSH2 0x04d2
000004cc: SWAP2
000004cd: SWAP1
000004ce: PUSH2 0x1ad5
000004d1: JUMP
000004d2: JUMPDEST
000004d3: PUSH2 0x115e
000004d6: JUMP
000004d7: JUMPDEST
000004d8: STOP
000004d9: JUMPDEST
000004da: CALLVALUE
000004db: DUP1
000004dc: ISZERO
000004dd: PUSH2 0x04e5
000004e0: JUMPI
000004e1: PUSH1 0x00
000004e3: DUP1
000004e4: REVERT
000004e5: JUMPDEST
000004e6: POP
000004e7: PUSH2 0x04ee
000004ea: PUSH2 0x118d
000004ed: JUMP
000004ee: JUMPDEST
000004ef: PUSH1 0x40
000004f1: MLOAD
000004f2: PUSH2 0x04fb
000004f5: SWAP2
000004f6: SWAP1
000004f7: PUSH2 0x18c3
000004fa: JUMP
000004fb: JUMPDEST
000004fc: PUSH1 0x40
000004fe: MLOAD
000004ff: DUP1
00000500: SWAP2
00000501: SUB
00000502: SWAP1
00000503: RETURN
00000504: JUMPDEST
00000505: CALLVALUE
00000506: DUP1
00000507: ISZERO
00000508: PUSH2 0x0510
0000050b: JUMPI
0000050c: PUSH1 0x00
0000050e: DUP1
0000050f: REVERT
00000510: JUMPDEST
00000511: POP
00000512: PUSH2 0x0519
00000515: PUSH2 0x1193
00000518: JUMP
00000519: JUMPDEST
0000051a: PUSH1 0x40
0000051c: MLOAD
0000051d: PUSH2 0x0526
00000520: SWAP2
00000521: SWAP1
00000522: PUSH2 0x18c3
00000525: JUMP
00000526: JUMPDEST
00000527: PUSH1 0x40
00000529: MLOAD
0000052a: DUP1
0000052b: SWAP2
0000052c: SUB
0000052d: SWAP1
0000052e: RETURN
0000052f: JUMPDEST
00000530: CALLVALUE
00000531: DUP1
00000532: ISZERO
00000533: PUSH2 0x053b
00000536: JUMPI
00000537: PUSH1 0x00
00000539: DUP1
0000053a: REVERT
0000053b: JUMPDEST
0000053c: POP
0000053d: PUSH2 0x0556
00000540: PUSH1 0x04
00000542: DUP1
00000543: CALLDATASIZE
00000544: SUB
00000545: DUP2
00000546: ADD
00000547: SWAP1
00000548: PUSH2 0x0551
0000054b: SWAP2
0000054c: SWAP1
0000054d: PUSH2 0x193c
00000550: JUMP
00000551: JUMPDEST
00000552: PUSH2 0x11a4
00000555: JUMP
00000556: JUMPDEST
00000557: PUSH1 0x40
00000559: MLOAD
0000055a: PUSH2 0x0563
0000055d: SWAP2
0000055e: SWAP1
0000055f: PUSH2 0x18c3
00000562: JUMP
00000563: JUMPDEST
00000564: PUSH1 0x40
00000566: MLOAD
00000567: DUP1
00000568: SWAP2
00000569: SUB
0000056a: SWAP1
0000056b: RETURN
0000056c: JUMPDEST
0000056d: CALLVALUE
0000056e: DUP1
0000056f: ISZERO
00000570: PUSH2 0x0578
00000573: JUMPI
00000574: PUSH1 0x00
00000576: DUP1
00000577: REVERT
00000578: JUMPDEST
00000579: POP
0000057a: PUSH2 0x0593
0000057d: PUSH1 0x04
0000057f: DUP1
00000580: CALLDATASIZE
00000581: SUB
00000582: DUP2
00000583: ADD
00000584: SWAP1
00000585: PUSH2 0x058e
00000588: SWAP2
00000589: SWAP1
0000058a: PUSH2 0x1ad5
0000058d: JUMP
0000058e: JUMPDEST
0000058f: PUSH2 0x11bc
00000592: JUMP
00000593: JUMPDEST
00000594: STOP
00000595: JUMPDEST
00000596: CALLVALUE
00000597: DUP1
00000598: ISZERO
00000599: PUSH2 0x05a1
0000059c: JUMPI
0000059d: PUSH1 0x00
0000059f: DUP1
000005a0: REVERT
000005a1: JUMPDEST
000005a2: POP
000005a3: PUSH2 0x05aa
000005a6: PUSH2 0x11eb
000005a9: JUMP
000005aa: JUMPDEST
000005ab: PUSH1 0x40
000005ad: MLOAD
000005ae: PUSH2 0x05b7
000005b1: SWAP2
000005b2: SWAP1
000005b3: PUSH2 0x18c3
000005b6: JUMP
000005b7: JUMPDEST
000005b8: PUSH1 0x40
000005ba: MLOAD
000005bb: DUP1
000005bc: SWAP2
000005bd: SUB
000005be: SWAP1
000005bf: RETURN
000005c0: JUMPDEST
000005c1: CALLVALUE
000005c2: DUP1
000005c3: ISZERO
000005c4: PUSH2 0x05cc
000005c7: JUMPI
000005c8: PUSH1 0x00
000005ca: DUP1
000005cb: REVERT
000005cc: JUMPDEST
000005cd: POP
000005ce: PUSH2 0x05e7
000005d1: PUSH1 0x04
000005d3: DUP1
000005d4: CALLDATASIZE
000005d5: SUB
000005d6: DUP2
000005d7: ADD
000005d8: SWAP1
000005d9: PUSH2 0x05e2
000005dc: SWAP2
000005dd: SWAP1
000005de: PUSH2 0x193c
000005e1: JUMP
000005e2: JUMPDEST
000005e3: PUSH2 0x11f7
000005e6: JUMP
000005e7: JUMPDEST
000005e8: STOP
000005e9: JUMPDEST
000005ea: PUSH1 0x0b
000005ec: DUP2
000005ed: DUP1
000005ee: MLOAD
000005ef: PUSH1 0x20
000005f1: DUP2
000005f2: ADD
000005f3: DUP3
000005f4: ADD
000005f5: DUP1
000005f6: MLOAD
000005f7: DUP5
000005f8: DUP3
000005f9: MSTORE
000005fa: PUSH1 0x20
000005fc: DUP4
000005fd: ADD
000005fe: PUSH1 0x20
00000600: DUP6
00000601: ADD
00000602: KECCAK256
00000603: DUP2
00000604: DUP4
00000605: MSTORE
00000606: DUP1
00000607: SWAP6
00000608: POP
00000609: POP
0000060a: POP
0000060b: POP
0000060c: POP
0000060d: POP
0000060e: PUSH1 0x00
00000610: SWAP2
00000611: POP
00000612: SWAP1
00000613: POP
00000614: SLOAD
00000615: DUP2
00000616: JUMP
00000617: JUMPDEST
00000618: PUSH1 0x00
0000061a: PUSH1 0x08
0000061c: SLOAD
0000061d: SWAP1
0000061e: POP
0000061f: SWAP1
00000620: JUMP
00000621: JUMPDEST
00000622: PUSH1 0x08
00000624: SLOAD
00000625: DUP2
00000626: JUMP
00000627: JUMPDEST
00000628: PUSH1 0x0d
0000062a: PUSH1 0x20
0000062c: MSTORE
0000062d: DUP1
0000062e: PUSH1 0x00
00000630: MSTORE
00000631: PUSH1 0x40
00000633: PUSH1 0x00
00000635: KECCAK256
00000636: PUSH1 0x00
00000638: SWAP2
00000639: POP
0000063a: SWAP1
0000063b: POP
0000063c: SLOAD
0000063d: DUP2
0000063e: JUMP
0000063f: JUMPDEST
00000640: PUSH1 0x0f
00000642: PUSH1 0x20
00000644: MSTORE
00000645: DUP1
00000646: PUSH1 0x00
00000648: MSTORE
00000649: PUSH1 0x40
0000064b: PUSH1 0x00
0000064d: KECCAK256
0000064e: PUSH1 0x00
00000650: SWAP2
00000651: POP
00000652: SWAP1
00000653: POP
00000654: SLOAD
00000655: DUP2
00000656: JUMP
00000657: JUMPDEST
00000658: PUSH1 0x00
0000065a: PUSH1 0x0e
0000065c: PUSH1 0x00
0000065e: DUP4
0000065f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000674: AND
00000675: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000068a: AND
0000068b: DUP2
0000068c: MSTORE
0000068d: PUSH1 0x20
0000068f: ADD
00000690: SWAP1
00000691: DUP2
00000692: MSTORE
00000693: PUSH1 0x20
00000695: ADD
00000696: PUSH1 0x00
00000698: KECCAK256
00000699: SLOAD
0000069a: SWAP1
0000069b: POP
0000069c: SWAP2
0000069d: SWAP1
0000069e: POP
0000069f: JUMP
000006a0: JUMPDEST
000006a1: PUSH1 0x00
000006a3: PUSH1 0x10
000006a5: PUSH1 0x00
000006a7: DUP4
000006a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006bd: AND
000006be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006d3: AND
000006d4: DUP2
000006d5: MSTORE
000006d6: PUSH1 0x20
000006d8: ADD
000006d9: SWAP1
000006da: DUP2
000006db: MSTORE
000006dc: PUSH1 0x20
000006de: ADD
000006df: PUSH1 0x00
000006e1: KECCAK256
000006e2: SLOAD
000006e3: SWAP1
000006e4: POP
000006e5: SWAP2
000006e6: SWAP1
000006e7: POP
000006e8: JUMP
000006e9: JUMPDEST
000006ea: PUSH1 0x00
000006ec: DUP1
000006ed: PUSH1 0x00
000006ef: DUP1
000006f0: PUSH2 0x06f9
000006f3: PUSH1 0x04
000006f5: PUSH2 0x127b
000006f8: JUMP
000006f9: JUMPDEST
000006fa: SWAP1
000006fb: POP
000006fc: PUSH1 0x00
000006fe: PUSH2 0x0707
00000701: PUSH1 0x04
00000703: PUSH2 0x1289
00000706: JUMP
00000707: JUMPDEST
00000708: PUSH1 0x00
0000070a: CALLVALUE
0000070b: GT
0000070c: ISZERO
0000070d: PUSH2 0x0a0a
00000710: JUMPI
00000711: PUSH2 0x0718
00000714: PUSH2 0x1068
00000717: JUMP
00000718: JUMPDEST
00000719: CALLVALUE
0000071a: PUSH2 0x0723
0000071d: SWAP2
0000071e: SWAP1
0000071f: PUSH2 0x1b60
00000722: JUMP
00000723: JUMPDEST
00000724: SWAP1
00000725: POP
00000726: PUSH6 0x5af3107a4000
0000072d: DUP2
0000072e: PUSH2 0x0737
00000731: SWAP2
00000732: SWAP1
00000733: PUSH2 0x1be9
00000736: JUMP
00000737: JUMPDEST
00000738: SWAP8
00000739: POP
0000073a: PUSH1 0x00
0000073c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000751: AND
00000752: DUP7
00000753: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000768: AND
00000769: EQ
0000076a: PUSH2 0x0935
0000076d: JUMPI
0000076e: PUSH1 0x0a
00000770: SLOAD
00000771: PUSH1 0x0c
00000773: DUP9
00000774: PUSH1 0x40
00000776: MLOAD
00000777: PUSH2 0x0780
0000077a: SWAP2
0000077b: SWAP1
0000077c: PUSH2 0x1c94
0000077f: JUMP
00000780: JUMPDEST
00000781: SWAP1
00000782: DUP2
00000783: MSTORE
00000784: PUSH1 0x20
00000786: ADD
00000787: PUSH1 0x40
00000789: MLOAD
0000078a: DUP1
0000078b: SWAP2
0000078c: SUB
0000078d: SWAP1
0000078e: KECCAK256
0000078f: SLOAD
00000790: CALLVALUE
00000791: PUSH2 0x079a
00000794: SWAP2
00000795: SWAP1
00000796: PUSH2 0x1b60
00000799: JUMP
0000079a: JUMPDEST
0000079b: PUSH2 0x07a4
0000079e: SWAP2
0000079f: SWAP1
000007a0: PUSH2 0x1be9
000007a3: JUMP
000007a4: JUMPDEST
000007a5: SWAP4
000007a6: POP
000007a7: DUP4
000007a8: CALLVALUE
000007a9: PUSH2 0x07b2
000007ac: SWAP2
000007ad: SWAP1
000007ae: PUSH2 0x1cab
000007b1: JUMP
000007b2: JUMPDEST
000007b3: SWAP3
000007b4: POP
000007b5: PUSH1 0x00
000007b7: PUSH1 0x06
000007b9: PUSH1 0x00
000007bb: SWAP1
000007bc: SLOAD
000007bd: SWAP1
000007be: PUSH2 0x0100
000007c1: EXP
000007c2: SWAP1
000007c3: DIV
000007c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007d9: AND
000007da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007ef: AND
000007f0: DUP5
000007f1: PUSH1 0x40
000007f3: MLOAD
000007f4: PUSH2 0x07fc
000007f7: SWAP1
000007f8: PUSH2 0x1d10
000007fb: JUMP
000007fc: JUMPDEST
000007fd: PUSH1 0x00
000007ff: PUSH1 0x40
00000801: MLOAD
00000802: DUP1
00000803: DUP4
00000804: SUB
00000805: DUP2
00000806: DUP6
00000807: DUP8
00000808: GAS
00000809: CALL
0000080a: SWAP3
0000080b: POP
0000080c: POP
0000080d: POP
0000080e: RETURNDATASIZE
0000080f: DUP1
00000810: PUSH1 0x00
00000812: DUP2
00000813: EQ
00000814: PUSH2 0x0839
00000817: JUMPI
00000818: PUSH1 0x40
0000081a: MLOAD
0000081b: SWAP2
0000081c: POP
0000081d: PUSH1 0x1f
0000081f: NOT
00000820: PUSH1 0x3f
00000822: RETURNDATASIZE
00000823: ADD
00000824: AND
00000825: DUP3
00000826: ADD
00000827: PUSH1 0x40
00000829: MSTORE
0000082a: RETURNDATASIZE
0000082b: DUP3
0000082c: MSTORE
0000082d: RETURNDATASIZE
0000082e: PUSH1 0x00
00000830: PUSH1 0x20
00000832: DUP5
00000833: ADD
00000834: RETURNDATACOPY
00000835: PUSH2 0x083e
00000838: JUMP
00000839: JUMPDEST
0000083a: PUSH1 0x60
0000083c: SWAP2
0000083d: POP
0000083e: JUMPDEST
0000083f: POP
00000840: POP
00000841: SWAP1
00000842: POP
00000843: DUP1
00000844: PUSH2 0x0882
00000847: JUMPI
00000848: PUSH1 0x40
0000084a: MLOAD
0000084b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000086c: DUP2
0000086d: MSTORE
0000086e: PUSH1 0x04
00000870: ADD
00000871: PUSH2 0x0879
00000874: SWAP1
00000875: PUSH2 0x1d82
00000878: JUMP
00000879: JUMPDEST
0000087a: PUSH1 0x40
0000087c: MLOAD
0000087d: DUP1
0000087e: SWAP2
0000087f: SUB
00000880: SWAP1
00000881: REVERT
00000882: JUMPDEST
00000883: PUSH1 0x00
00000885: DUP8
00000886: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000089b: AND
0000089c: DUP7
0000089d: PUSH1 0x40
0000089f: MLOAD
000008a0: PUSH2 0x08a8
000008a3: SWAP1
000008a4: PUSH2 0x1d10
000008a7: JUMP
000008a8: JUMPDEST
000008a9: PUSH1 0x00
000008ab: PUSH1 0x40
000008ad: MLOAD
000008ae: DUP1
000008af: DUP4
000008b0: SUB
000008b1: DUP2
000008b2: DUP6
000008b3: DUP8
000008b4: GAS
000008b5: CALL
000008b6: SWAP3
000008b7: POP
000008b8: POP
000008b9: POP
000008ba: RETURNDATASIZE
000008bb: DUP1
000008bc: PUSH1 0x00
000008be: DUP2
000008bf: EQ
000008c0: PUSH2 0x08e5
000008c3: JUMPI
000008c4: PUSH1 0x40
000008c6: MLOAD
000008c7: SWAP2
000008c8: POP
000008c9: PUSH1 0x1f
000008cb: NOT
000008cc: PUSH1 0x3f
000008ce: RETURNDATASIZE
000008cf: ADD
000008d0: AND
000008d1: DUP3
000008d2: ADD
000008d3: PUSH1 0x40
000008d5: MSTORE
000008d6: RETURNDATASIZE
000008d7: DUP3
000008d8: MSTORE
000008d9: RETURNDATASIZE
000008da: PUSH1 0x00
000008dc: PUSH1 0x20
000008de: DUP5
000008df: ADD
000008e0: RETURNDATACOPY
000008e1: PUSH2 0x08ea
000008e4: JUMP
000008e5: JUMPDEST
000008e6: PUSH1 0x60
000008e8: SWAP2
000008e9: POP
000008ea: JUMPDEST
000008eb: POP
000008ec: POP
000008ed: SWAP1
000008ee: POP
000008ef: DUP1
000008f0: PUSH2 0x092e
000008f3: JUMPI
000008f4: PUSH1 0x40
000008f6: MLOAD
000008f7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000918: DUP2
00000919: MSTORE
0000091a: PUSH1 0x04
0000091c: ADD
0000091d: PUSH2 0x0925
00000920: SWAP1
00000921: PUSH2 0x1dee
00000924: JUMP
00000925: JUMPDEST
00000926: PUSH1 0x40
00000928: MLOAD
00000929: DUP1
0000092a: SWAP2
0000092b: SUB
0000092c: SWAP1
0000092d: REVERT
0000092e: JUMPDEST
0000092f: POP
00000930: POP
00000931: PUSH2 0x0a05
00000934: JUMP
00000935: JUMPDEST
00000936: PUSH1 0x00
00000938: PUSH1 0x06
0000093a: PUSH1 0x00
0000093c: SWAP1
0000093d: SLOAD
0000093e: SWAP1
0000093f: PUSH2 0x0100
00000942: EXP
00000943: SWAP1
00000944: DIV
00000945: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000095a: AND
0000095b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000970: AND
00000971: CALLVALUE
00000972: PUSH1 0x40
00000974: MLOAD
00000975: PUSH2 0x097d
00000978: SWAP1
00000979: PUSH2 0x1d10
0000097c: JUMP
0000097d: JUMPDEST
0000097e: PUSH1 0x00
00000980: PUSH1 0x40
00000982: MLOAD
00000983: DUP1
00000984: DUP4
00000985: SUB
00000986: DUP2
00000987: DUP6
00000988: DUP8
00000989: GAS
0000098a: CALL
0000098b: SWAP3
0000098c: POP
0000098d: POP
0000098e: POP
0000098f: RETURNDATASIZE
00000990: DUP1
00000991: PUSH1 0x00
00000993: DUP2
00000994: EQ
00000995: PUSH2 0x09ba
00000998: JUMPI
00000999: PUSH1 0x40
0000099b: MLOAD
0000099c: SWAP2
0000099d: POP
0000099e: PUSH1 0x1f
000009a0: NOT
000009a1: PUSH1 0x3f
000009a3: RETURNDATASIZE
000009a4: ADD
000009a5: AND
000009a6: DUP3
000009a7: ADD
000009a8: PUSH1 0x40
000009aa: MSTORE
000009ab: RETURNDATASIZE
000009ac: DUP3
000009ad: MSTORE
000009ae: RETURNDATASIZE
000009af: PUSH1 0x00
000009b1: PUSH1 0x20
000009b3: DUP5
000009b4: ADD
000009b5: RETURNDATACOPY
000009b6: PUSH2 0x09bf
000009b9: JUMP
000009ba: JUMPDEST
000009bb: PUSH1 0x60
000009bd: SWAP2
000009be: POP
000009bf: JUMPDEST
000009c0: POP
000009c1: POP
000009c2: SWAP1
000009c3: POP
000009c4: DUP1
000009c5: PUSH2 0x0a03
000009c8: JUMPI
000009c9: PUSH1 0x40
000009cb: MLOAD
000009cc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009ed: DUP2
000009ee: MSTORE
000009ef: PUSH1 0x04
000009f1: ADD
000009f2: PUSH2 0x09fa
000009f5: SWAP1
000009f6: PUSH2 0x1d82
000009f9: JUMP
000009fa: JUMPDEST
000009fb: PUSH1 0x40
000009fd: MLOAD
000009fe: DUP1
000009ff: SWAP2
00000a00: SUB
00000a01: SWAP1
00000a02: REVERT
00000a03: JUMPDEST
00000a04: POP
00000a05: JUMPDEST
00000a06: PUSH2 0x0c9d
00000a09: JUMP
00000a0a: JUMPDEST
00000a0b: DUP8
00000a0c: PUSH1 0x05
00000a0e: PUSH1 0x00
00000a10: SWAP1
00000a11: SLOAD
00000a12: SWAP1
00000a13: PUSH2 0x0100
00000a16: EXP
00000a17: SWAP1
00000a18: DIV
00000a19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a2e: AND
00000a2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a44: AND
00000a45: PUSH4 0xdd62ed3e
00000a4a: CALLER
00000a4b: ADDRESS
00000a4c: PUSH1 0x40
00000a4e: MLOAD
00000a4f: DUP4
00000a50: PUSH4 0xffffffff
00000a55: AND
00000a56: PUSH1 0xe0
00000a58: SHL
00000a59: DUP2
00000a5a: MSTORE
00000a5b: PUSH1 0x04
00000a5d: ADD
00000a5e: PUSH2 0x0a68
00000a61: SWAP3
00000a62: SWAP2
00000a63: SWAP1
00000a64: PUSH2 0x1e0e
00000a67: JUMP
00000a68: JUMPDEST
00000a69: PUSH1 0x20
00000a6b: PUSH1 0x40
00000a6d: MLOAD
00000a6e: DUP1
00000a6f: DUP4
00000a70: SUB
00000a71: DUP2
00000a72: DUP7
00000a73: GAS
00000a74: STATICCALL
00000a75: ISZERO
00000a76: DUP1
00000a77: ISZERO
00000a78: PUSH2 0x0a85
00000a7b: JUMPI
00000a7c: RETURNDATASIZE
00000a7d: PUSH1 0x00
00000a7f: DUP1
00000a80: RETURNDATACOPY
00000a81: RETURNDATASIZE
00000a82: PUSH1 0x00
00000a84: REVERT
00000a85: JUMPDEST
00000a86: POP
00000a87: POP
00000a88: POP
00000a89: POP
00000a8a: PUSH1 0x40
00000a8c: MLOAD
00000a8d: RETURNDATASIZE
00000a8e: PUSH1 0x1f
00000a90: NOT
00000a91: PUSH1 0x1f
00000a93: DUP3
00000a94: ADD
00000a95: AND
00000a96: DUP3
00000a97: ADD
00000a98: DUP1
00000a99: PUSH1 0x40
00000a9b: MSTORE
00000a9c: POP
00000a9d: DUP2
00000a9e: ADD
00000a9f: SWAP1
00000aa0: PUSH2 0x0aa9
00000aa3: SWAP2
00000aa4: SWAP1
00000aa5: PUSH2 0x1e4c
00000aa8: JUMP
00000aa9: JUMPDEST
00000aaa: LT
00000aab: ISZERO
00000aac: PUSH2 0x0aea
00000aaf: JUMPI
00000ab0: PUSH1 0x40
00000ab2: MLOAD
00000ab3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ad4: DUP2
00000ad5: MSTORE
00000ad6: PUSH1 0x04
00000ad8: ADD
00000ad9: PUSH2 0x0ae1
00000adc: SWAP1
00000add: PUSH2 0x1eeb
00000ae0: JUMP
00000ae1: JUMPDEST
00000ae2: PUSH1 0x40
00000ae4: MLOAD
00000ae5: DUP1
00000ae6: SWAP2
00000ae7: SUB
00000ae8: SWAP1
00000ae9: REVERT
00000aea: JUMPDEST
00000aeb: PUSH1 0x00
00000aed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b02: AND
00000b03: DUP7
00000b04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b19: AND
00000b1a: EQ
00000b1b: PUSH2 0x0c2a
00000b1e: JUMPI
00000b1f: PUSH1 0x0a
00000b21: SLOAD
00000b22: PUSH1 0x0c
00000b24: DUP9
00000b25: PUSH1 0x40
00000b27: MLOAD
00000b28: PUSH2 0x0b31
00000b2b: SWAP2
00000b2c: SWAP1
00000b2d: PUSH2 0x1c94
00000b30: JUMP
00000b31: JUMPDEST
00000b32: SWAP1
00000b33: DUP2
00000b34: MSTORE
00000b35: PUSH1 0x20
00000b37: ADD
00000b38: PUSH1 0x40
00000b3a: MLOAD
00000b3b: DUP1
00000b3c: SWAP2
00000b3d: SUB
00000b3e: SWAP1
00000b3f: KECCAK256
00000b40: SLOAD
00000b41: DUP10
00000b42: PUSH2 0x0b4b
00000b45: SWAP2
00000b46: SWAP1
00000b47: PUSH2 0x1b60
00000b4a: JUMP
00000b4b: JUMPDEST
00000b4c: PUSH2 0x0b55
00000b4f: SWAP2
00000b50: SWAP1
00000b51: PUSH2 0x1be9
00000b54: JUMP
00000b55: JUMPDEST
00000b56: SWAP4
00000b57: POP
00000b58: DUP4
00000b59: DUP9
00000b5a: PUSH2 0x0b63
00000b5d: SWAP2
00000b5e: SWAP1
00000b5f: PUSH2 0x1cab
00000b62: JUMP
00000b63: JUMPDEST
00000b64: SWAP3
00000b65: POP
00000b66: PUSH2 0x0bd6
00000b69: CALLER
00000b6a: PUSH1 0x06
00000b6c: PUSH1 0x00
00000b6e: SWAP1
00000b6f: SLOAD
00000b70: SWAP1
00000b71: PUSH2 0x0100
00000b74: EXP
00000b75: SWAP1
00000b76: DIV
00000b77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b8c: AND
00000b8d: DUP6
00000b8e: PUSH1 0x05
00000b90: PUSH1 0x00
00000b92: SWAP1
00000b93: SLOAD
00000b94: SWAP1
00000b95: PUSH2 0x0100
00000b98: EXP
00000b99: SWAP1
00000b9a: DIV
00000b9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb0: AND
00000bb1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bc6: AND
00000bc7: PUSH2 0x129f
00000bca: SWAP1
00000bcb: SWAP4
00000bcc: SWAP3
00000bcd: SWAP2
00000bce: SWAP1
00000bcf: PUSH4 0xffffffff
00000bd4: AND
00000bd5: JUMP
00000bd6: JUMPDEST
00000bd7: PUSH2 0x0c25
00000bda: CALLER
00000bdb: DUP8
00000bdc: DUP7
00000bdd: PUSH1 0x05
00000bdf: PUSH1 0x00
00000be1: SWAP1
00000be2: SLOAD
00000be3: SWAP1
00000be4: PUSH2 0x0100
00000be7: EXP
00000be8: SWAP1
00000be9: DIV
00000bea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bff: AND
00000c00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c15: AND
00000c16: PUSH2 0x129f
00000c19: SWAP1
00000c1a: SWAP4
00000c1b: SWAP3
00000c1c: SWAP2
00000c1d: SWAP1
00000c1e: PUSH4 0xffffffff
00000c23: AND
00000c24: JUMP
00000c25: JUMPDEST
00000c26: PUSH2 0x0c9c
00000c29: JUMP
00000c2a: JUMPDEST
00000c2b: PUSH2 0x0c9b
00000c2e: CALLER
00000c2f: PUSH1 0x06
00000c31: PUSH1 0x00
00000c33: SWAP1
00000c34: SLOAD
00000c35: SWAP1
00000c36: PUSH2 0x0100
00000c39: EXP
00000c3a: SWAP1
00000c3b: DIV
00000c3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c51: AND
00000c52: DUP11
00000c53: PUSH1 0x05
00000c55: PUSH1 0x00
00000c57: SWAP1
00000c58: SLOAD
00000c59: SWAP1
00000c5a: PUSH2 0x0100
00000c5d: EXP
00000c5e: SWAP1
00000c5f: DIV
00000c60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c75: AND
00000c76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c8b: AND
00000c8c: PUSH2 0x129f
00000c8f: SWAP1
00000c90: SWAP4
00000c91: SWAP3
00000c92: SWAP2
00000c93: SWAP1
00000c94: PUSH4 0xffffffff
00000c99: AND
00000c9a: JUMP
00000c9b: JUMPDEST
00000c9c: JUMPDEST
00000c9d: JUMPDEST
00000c9e: PUSH1 0x00
00000ca0: PUSH1 0x0d
00000ca2: PUSH1 0x00
00000ca4: CALLER
00000ca5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cba: AND
00000cbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cd0: AND
00000cd1: DUP2
00000cd2: MSTORE
00000cd3: PUSH1 0x20
00000cd5: ADD
00000cd6: SWAP1
00000cd7: DUP2
00000cd8: MSTORE
00000cd9: PUSH1 0x20
00000cdb: ADD
00000cdc: PUSH1 0x00
00000cde: KECCAK256
00000cdf: SLOAD
00000ce0: EQ
00000ce1: ISZERO
00000ce2: PUSH2 0x0d2a
00000ce5: JUMPI
00000ce6: TIMESTAMP
00000ce7: PUSH1 0x10
00000ce9: PUSH1 0x00
00000ceb: CALLER
00000cec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d01: AND
00000d02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d17: AND
00000d18: DUP2
00000d19: MSTORE
00000d1a: PUSH1 0x20
00000d1c: ADD
00000d1d: SWAP1
00000d1e: DUP2
00000d1f: MSTORE
00000d20: PUSH1 0x20
00000d22: ADD
00000d23: PUSH1 0x00
00000d25: KECCAK256
00000d26: DUP2
00000d27: SWAP1
00000d28: SSTORE
00000d29: POP
00000d2a: JUMPDEST
00000d2b: DUP8
00000d2c: PUSH1 0x0d
00000d2e: PUSH1 0x00
00000d30: CALLER
00000d31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d46: AND
00000d47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d5c: AND
00000d5d: DUP2
00000d5e: MSTORE
00000d5f: PUSH1 0x20
00000d61: ADD
00000d62: SWAP1
00000d63: DUP2
00000d64: MSTORE
00000d65: PUSH1 0x20
00000d67: ADD
00000d68: PUSH1 0x00
00000d6a: KECCAK256
00000d6b: PUSH1 0x00
00000d6d: DUP3
00000d6e: DUP3
00000d6f: SLOAD
00000d70: PUSH2 0x0d79
00000d73: SWAP2
00000d74: SWAP1
00000d75: PUSH2 0x1f0b
00000d78: JUMP
00000d79: JUMPDEST
00000d7a: SWAP3
00000d7b: POP
00000d7c: POP
00000d7d: DUP2
00000d7e: SWAP1
00000d7f: SSTORE
00000d80: POP
00000d81: DUP8
00000d82: PUSH1 0x08
00000d84: PUSH1 0x00
00000d86: DUP3
00000d87: DUP3
00000d88: SLOAD
00000d89: PUSH2 0x0d92
00000d8c: SWAP2
00000d8d: SWAP1
00000d8e: PUSH2 0x1f0b
00000d91: JUMP
00000d92: JUMPDEST
00000d93: SWAP3
00000d94: POP
00000d95: POP
00000d96: DUP2
00000d97: SWAP1
00000d98: SSTORE
00000d99: POP
00000d9a: PUSH1 0x00
00000d9c: PUSH2 0x2710
00000d9f: DUP10
00000da0: PUSH2 0x0da9
00000da3: SWAP2
00000da4: SWAP1
00000da5: PUSH2 0x1be9
00000da8: JUMP
00000da9: JUMPDEST
00000daa: SWAP1
00000dab: POP
00000dac: PUSH1 0x64
00000dae: PUSH1 0x07
00000db0: SLOAD
00000db1: DUP3
00000db2: PUSH2 0x0dbb
00000db5: SWAP2
00000db6: SWAP1
00000db7: PUSH2 0x1b60
00000dba: JUMP
00000dbb: JUMPDEST
00000dbc: PUSH2 0x0dc5
00000dbf: SWAP2
00000dc0: SWAP1
00000dc1: PUSH2 0x1be9
00000dc4: JUMP
00000dc5: JUMPDEST
00000dc6: SWAP6
00000dc7: POP
00000dc8: PUSH1 0x00
00000dca: PUSH1 0x0b
00000dcc: DUP10
00000dcd: PUSH1 0x40
00000dcf: MLOAD
00000dd0: PUSH2 0x0dd9
00000dd3: SWAP2
00000dd4: SWAP1
00000dd5: PUSH2 0x1c94
00000dd8: JUMP
00000dd9: JUMPDEST
00000dda: SWAP1
00000ddb: DUP2
00000ddc: MSTORE
00000ddd: PUSH1 0x20
00000ddf: ADD
00000de0: PUSH1 0x40
00000de2: MLOAD
00000de3: DUP1
00000de4: SWAP2
00000de5: SUB
00000de6: SWAP1
00000de7: KECCAK256
00000de8: SLOAD
00000de9: EQ
00000dea: PUSH2 0x0e7a
00000ded: JUMPI
00000dee: PUSH1 0x0a
00000df0: SLOAD
00000df1: PUSH1 0x0b
00000df3: DUP10
00000df4: PUSH1 0x40
00000df6: MLOAD
00000df7: PUSH2 0x0e00
00000dfa: SWAP2
00000dfb: SWAP1
00000dfc: PUSH2 0x1c94
00000dff: JUMP
00000e00: JUMPDEST
00000e01: SWAP1
00000e02: DUP2
00000e03: MSTORE
00000e04: PUSH1 0x20
00000e06: ADD
00000e07: PUSH1 0x40
00000e09: MLOAD
00000e0a: DUP1
00000e0b: SWAP2
00000e0c: SUB
00000e0d: SWAP1
00000e0e: KECCAK256
00000e0f: SLOAD
00000e10: DUP8
00000e11: PUSH2 0x0e1a
00000e14: SWAP2
00000e15: SWAP1
00000e16: PUSH2 0x1b60
00000e19: JUMP
00000e1a: JUMPDEST
00000e1b: PUSH2 0x0e24
00000e1e: SWAP2
00000e1f: SWAP1
00000e20: PUSH2 0x1be9
00000e23: JUMP
00000e24: JUMPDEST
00000e25: PUSH1 0x0f
00000e27: PUSH1 0x00
00000e29: CALLER
00000e2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e3f: AND
00000e40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e55: AND
00000e56: DUP2
00000e57: MSTORE
00000e58: PUSH1 0x20
00000e5a: ADD
00000e5b: SWAP1
00000e5c: DUP2
00000e5d: MSTORE
00000e5e: PUSH1 0x20
00000e60: ADD
00000e61: PUSH1 0x00
00000e63: KECCAK256
00000e64: PUSH1 0x00
00000e66: DUP3
00000e67: DUP3
00000e68: SLOAD
00000e69: PUSH2 0x0e72
00000e6c: SWAP2
00000e6d: SWAP1
00000e6e: PUSH2 0x1f0b
00000e71: JUMP
00000e72: JUMPDEST
00000e73: SWAP3
00000e74: POP
00000e75: POP
00000e76: DUP2
00000e77: SWAP1
00000e78: SSTORE
00000e79: POP
00000e7a: JUMPDEST
00000e7b: DUP6
00000e7c: PUSH1 0x0e
00000e7e: PUSH1 0x00
00000e80: CALLER
00000e81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e96: AND
00000e97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eac: AND
00000ead: DUP2
00000eae: MSTORE
00000eaf: PUSH1 0x20
00000eb1: ADD
00000eb2: SWAP1
00000eb3: DUP2
00000eb4: MSTORE
00000eb5: PUSH1 0x20
00000eb7: ADD
00000eb8: PUSH1 0x00
00000eba: KECCAK256
00000ebb: PUSH1 0x00
00000ebd: DUP3
00000ebe: DUP3
00000ebf: SLOAD
00000ec0: PUSH2 0x0ec9
00000ec3: SWAP2
00000ec4: SWAP1
00000ec5: PUSH2 0x1f0b
00000ec8: JUMP
00000ec9: JUMPDEST
00000eca: SWAP3
00000ecb: POP
00000ecc: POP
00000ecd: DUP2
00000ece: SWAP1
00000ecf: SSTORE
00000ed0: POP
00000ed1: DUP3
00000ed2: PUSH32 0xfc3894b08f3f1391d01663a2756760fc77596bc4b8db6c40cb5c3836321e9e44
00000ef3: DUP11
00000ef4: CALLER
00000ef5: PUSH1 0x07
00000ef7: SLOAD
00000ef8: DUP13
00000ef9: PUSH1 0x40
00000efb: MLOAD
00000efc: PUSH2 0x0f08
00000eff: SWAP5
00000f00: SWAP4
00000f01: SWAP3
00000f02: SWAP2
00000f03: SWAP1
00000f04: PUSH2 0x1f9a
00000f07: JUMP
00000f08: JUMPDEST
00000f09: PUSH1 0x40
00000f0b: MLOAD
00000f0c: DUP1
00000f0d: SWAP2
00000f0e: SUB
00000f0f: SWAP1
00000f10: LOG2
00000f11: POP
00000f12: POP
00000f13: POP
00000f14: POP
00000f15: POP
00000f16: POP
00000f17: POP
00000f18: POP
00000f19: POP
00000f1a: JUMP
00000f1b: JUMPDEST
00000f1c: PUSH1 0x00
00000f1e: PUSH1 0x0d
00000f20: PUSH1 0x00
00000f22: DUP4
00000f23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f38: AND
00000f39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f4e: AND
00000f4f: DUP2
00000f50: MSTORE
00000f51: PUSH1 0x20
00000f53: ADD
00000f54: SWAP1
00000f55: DUP2
00000f56: MSTORE
00000f57: PUSH1 0x20
00000f59: ADD
00000f5a: PUSH1 0x00
00000f5c: KECCAK256
00000f5d: SLOAD
00000f5e: SWAP1
00000f5f: POP
00000f60: SWAP2
00000f61: SWAP1
00000f62: POP
00000f63: JUMP
00000f64: JUMPDEST
00000f65: PUSH1 0x05
00000f67: PUSH1 0x00
00000f69: SWAP1
00000f6a: SLOAD
00000f6b: SWAP1
00000f6c: PUSH2 0x0100
00000f6f: EXP
00000f70: SWAP1
00000f71: DIV
00000f72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f87: AND
00000f88: DUP2
00000f89: JUMP
00000f8a: JUMPDEST
00000f8b: PUSH1 0x0c
00000f8d: DUP2
00000f8e: DUP1
00000f8f: MLOAD
00000f90: PUSH1 0x20
00000f92: DUP2
00000f93: ADD
00000f94: DUP3
00000f95: ADD
00000f96: DUP1
00000f97: MLOAD
00000f98: DUP5
00000f99: DUP3
00000f9a: MSTORE
00000f9b: PUSH1 0x20
00000f9d: DUP4
00000f9e: ADD
00000f9f: PUSH1 0x20
00000fa1: DUP6
00000fa2: ADD
00000fa3: KECCAK256
00000fa4: DUP2
00000fa5: DUP4
00000fa6: MSTORE
00000fa7: DUP1
00000fa8: SWAP6
00000fa9: POP
00000faa: POP
00000fab: POP
00000fac: POP
00000fad: POP
00000fae: POP
00000faf: PUSH1 0x00
00000fb1: SWAP2
00000fb2: POP
00000fb3: SWAP1
00000fb4: POP
00000fb5: SLOAD
00000fb6: DUP2
00000fb7: JUMP
00000fb8: JUMPDEST
00000fb9: PUSH2 0x0fc0
00000fbc: PUSH2 0x1328
00000fbf: JUMP
00000fc0: JUMPDEST
00000fc1: PUSH2 0x0fca
00000fc4: PUSH1 0x00
00000fc6: PUSH2 0x13a6
00000fc9: JUMP
00000fca: JUMPDEST
00000fcb: JUMP
00000fcc: JUMPDEST
00000fcd: PUSH2 0x0fd4
00000fd0: PUSH2 0x1328
00000fd3: JUMP
00000fd4: JUMPDEST
00000fd5: DUP1
00000fd6: PUSH1 0x07
00000fd8: DUP2
00000fd9: SWAP1
00000fda: SSTORE
00000fdb: POP
00000fdc: POP
00000fdd: JUMP
00000fde: JUMPDEST
00000fdf: PUSH1 0x0e
00000fe1: PUSH1 0x20
00000fe3: MSTORE
00000fe4: DUP1
00000fe5: PUSH1 0x00
00000fe7: MSTORE
00000fe8: PUSH1 0x40
00000fea: PUSH1 0x00
00000fec: KECCAK256
00000fed: PUSH1 0x00
00000fef: SWAP2
00000ff0: POP
00000ff1: SWAP1
00000ff2: POP
00000ff3: SLOAD
00000ff4: DUP2
00000ff5: JUMP
00000ff6: JUMPDEST
00000ff7: PUSH1 0x00
00000ff9: PUSH1 0x0f
00000ffb: PUSH1 0x00
00000ffd: DUP4
00000ffe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001013: AND
00001014: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001029: AND
0000102a: DUP2
0000102b: MSTORE
0000102c: PUSH1 0x20
0000102e: ADD
0000102f: SWAP1
00001030: DUP2
00001031: MSTORE
00001032: PUSH1 0x20
00001034: ADD
00001035: PUSH1 0x00
00001037: KECCAK256
00001038: SLOAD
00001039: SWAP1
0000103a: POP
0000103b: SWAP2
0000103c: SWAP1
0000103d: POP
0000103e: JUMP
0000103f: JUMPDEST
00001040: PUSH1 0x00
00001042: DUP1
00001043: PUSH1 0x00
00001045: SWAP1
00001046: SLOAD
00001047: SWAP1
00001048: PUSH2 0x0100
0000104b: EXP
0000104c: SWAP1
0000104d: DIV
0000104e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001063: AND
00001064: SWAP1
00001065: POP
00001066: SWAP1
00001067: JUMP
00001068: JUMPDEST
00001069: PUSH1 0x00
0000106b: DUP1
0000106c: PUSH1 0x00
0000106e: PUSH1 0x02
00001070: PUSH1 0x00
00001072: SWAP1
00001073: SLOAD
00001074: SWAP1
00001075: PUSH2 0x0100
00001078: EXP
00001079: SWAP1
0000107a: DIV
0000107b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001090: AND
00001091: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010a6: AND
000010a7: PUSH4 0xfeaf968c
000010ac: PUSH1 0x40
000010ae: MLOAD
000010af: DUP2
000010b0: PUSH4 0xffffffff
000010b5: AND
000010b6: PUSH1 0xe0
000010b8: SHL
000010b9: DUP2
000010ba: MSTORE
000010bb: PUSH1 0x04
000010bd: ADD
000010be: PUSH1 0xa0
000010c0: PUSH1 0x40
000010c2: MLOAD
000010c3: DUP1
000010c4: DUP4
000010c5: SUB
000010c6: DUP2
000010c7: DUP7
000010c8: GAS
000010c9: STATICCALL
000010ca: ISZERO
000010cb: DUP1
000010cc: ISZERO
000010cd: PUSH2 0x10da
000010d0: JUMPI
000010d1: RETURNDATASIZE
000010d2: PUSH1 0x00
000010d4: DUP1
000010d5: RETURNDATACOPY
000010d6: RETURNDATASIZE
000010d7: PUSH1 0x00
000010d9: REVERT
000010da: JUMPDEST
000010db: POP
000010dc: POP
000010dd: POP
000010de: POP
000010df: PUSH1 0x40
000010e1: MLOAD
000010e2: RETURNDATASIZE
000010e3: PUSH1 0x1f
000010e5: NOT
000010e6: PUSH1 0x1f
000010e8: DUP3
000010e9: ADD
000010ea: AND
000010eb: DUP3
000010ec: ADD
000010ed: DUP1
000010ee: PUSH1 0x40
000010f0: MSTORE
000010f1: POP
000010f2: DUP2
000010f3: ADD
000010f4: SWAP1
000010f5: PUSH2 0x10fe
000010f8: SWAP2
000010f9: SWAP1
000010fa: PUSH2 0x205e
000010fd: JUMP
000010fe: JUMPDEST
000010ff: POP
00001100: SWAP4
00001101: POP
00001102: POP
00001103: SWAP3
00001104: POP
00001105: POP
00001106: PUSH1 0x00
00001108: DUP2
00001109: GT
0000110a: PUSH2 0x1148
0000110d: JUMPI
0000110e: PUSH1 0x40
00001110: MLOAD
00001111: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001132: DUP2
00001133: MSTORE
00001134: PUSH1 0x04
00001136: ADD
00001137: PUSH2 0x113f
0000113a: SWAP1
0000113b: PUSH2 0x2125
0000113e: JUMP
0000113f: JUMPDEST
00001140: PUSH1 0x40
00001142: MLOAD
00001143: DUP1
00001144: SWAP2
00001145: SUB
00001146: SWAP1
00001147: REVERT
00001148: JUMPDEST
00001149: PUSH3 0x0f4240
0000114d: DUP3
0000114e: PUSH2 0x1157
00001151: SWAP2
00001152: SWAP1
00001153: PUSH2 0x1be9
00001156: JUMP
00001157: JUMPDEST
00001158: SWAP3
00001159: POP
0000115a: POP
0000115b: POP
0000115c: SWAP1
0000115d: JUMP
0000115e: JUMPDEST
0000115f: PUSH2 0x1166
00001162: PUSH2 0x1328
00001165: JUMP
00001166: JUMPDEST
00001167: DUP1
00001168: PUSH1 0x0c
0000116a: DUP4
0000116b: PUSH1 0x40
0000116d: MLOAD
0000116e: PUSH2 0x1177
00001171: SWAP2
00001172: SWAP1
00001173: PUSH2 0x1c94
00001176: JUMP
00001177: JUMPDEST
00001178: SWAP1
00001179: DUP2
0000117a: MSTORE
0000117b: PUSH1 0x20
0000117d: ADD
0000117e: PUSH1 0x40
00001180: MLOAD
00001181: DUP1
00001182: SWAP2
00001183: SUB
00001184: SWAP1
00001185: KECCAK256
00001186: DUP2
00001187: SWAP1
00001188: SSTORE
00001189: POP
0000118a: POP
0000118b: POP
0000118c: JUMP
0000118d: JUMPDEST
0000118e: PUSH1 0x07
00001190: SLOAD
00001191: DUP2
00001192: JUMP
00001193: JUMPDEST
00001194: PUSH1 0x00
00001196: PUSH2 0x119f
00001199: PUSH1 0x04
0000119b: PUSH2 0x127b
0000119e: JUMP
0000119f: JUMPDEST
000011a0: SWAP1
000011a1: POP
000011a2: SWAP1
000011a3: JUMP
000011a4: JUMPDEST
000011a5: PUSH1 0x10
000011a7: PUSH1 0x20
000011a9: MSTORE
000011aa: DUP1
000011ab: PUSH1 0x00
000011ad: MSTORE
000011ae: PUSH1 0x40
000011b0: PUSH1 0x00
000011b2: KECCAK256
000011b3: PUSH1 0x00
000011b5: SWAP2
000011b6: POP
000011b7: SWAP1
000011b8: POP
000011b9: SLOAD
000011ba: DUP2
000011bb: JUMP
000011bc: JUMPDEST
000011bd: PUSH2 0x11c4
000011c0: PUSH2 0x1328
000011c3: JUMP
000011c4: JUMPDEST
000011c5: DUP1
000011c6: PUSH1 0x0b
000011c8: DUP4
000011c9: PUSH1 0x40
000011cb: MLOAD
000011cc: PUSH2 0x11d5
000011cf: SWAP2
000011d0: SWAP1
000011d1: PUSH2 0x1c94
000011d4: JUMP
000011d5: JUMPDEST
000011d6: SWAP1
000011d7: DUP2
000011d8: MSTORE
000011d9: PUSH1 0x20
000011db: ADD
000011dc: PUSH1 0x40
000011de: MLOAD
000011df: DUP1
000011e0: SWAP2
000011e1: SUB
000011e2: SWAP1
000011e3: KECCAK256
000011e4: DUP2
000011e5: SWAP1
000011e6: SSTORE
000011e7: POP
000011e8: POP
000011e9: POP
000011ea: JUMP
000011eb: JUMPDEST
000011ec: PUSH1 0x04
000011ee: DUP1
000011ef: PUSH1 0x00
000011f1: ADD
000011f2: SLOAD
000011f3: SWAP1
000011f4: POP
000011f5: DUP2
000011f6: JUMP
000011f7: JUMPDEST
000011f8: PUSH2 0x11ff
000011fb: PUSH2 0x1328
000011fe: JUMP
000011ff: JUMPDEST
00001200: PUSH1 0x00
00001202: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001217: AND
00001218: DUP2
00001219: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000122e: AND
0000122f: EQ
00001230: ISZERO
00001231: PUSH2 0x126f
00001234: JUMPI
00001235: PUSH1 0x40
00001237: MLOAD
00001238: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001259: DUP2
0000125a: MSTORE
0000125b: PUSH1 0x04
0000125d: ADD
0000125e: PUSH2 0x1266
00001261: SWAP1
00001262: PUSH2 0x21b7
00001265: JUMP
00001266: JUMPDEST
00001267: PUSH1 0x40
00001269: MLOAD
0000126a: DUP1
0000126b: SWAP2
0000126c: SUB
0000126d: SWAP1
0000126e: REVERT
0000126f: JUMPDEST
00001270: PUSH2 0x1278
00001273: DUP2
00001274: PUSH2 0x13a6
00001277: JUMP
00001278: JUMPDEST
00001279: POP
0000127a: JUMP
0000127b: JUMPDEST
0000127c: PUSH1 0x00
0000127e: DUP2
0000127f: PUSH1 0x00
00001281: ADD
00001282: SLOAD
00001283: SWAP1
00001284: POP
00001285: SWAP2
00001286: SWAP1
00001287: POP
00001288: JUMP
00001289: JUMPDEST
0000128a: PUSH1 0x01
0000128c: DUP2
0000128d: PUSH1 0x00
0000128f: ADD
00001290: PUSH1 0x00
00001292: DUP3
00001293: DUP3
00001294: SLOAD
00001295: ADD
00001296: SWAP3
00001297: POP
00001298: POP
00001299: DUP2
0000129a: SWAP1
0000129b: SSTORE
0000129c: POP
0000129d: POP
0000129e: JUMP
0000129f: JUMPDEST
000012a0: PUSH2 0x1322
000012a3: DUP5
000012a4: PUSH4 0x23b872dd
000012a9: PUSH1 0xe0
000012ab: SHL
000012ac: DUP6
000012ad: DUP6
000012ae: DUP6
000012af: PUSH1 0x40
000012b1: MLOAD
000012b2: PUSH1 0x24
000012b4: ADD
000012b5: PUSH2 0x12c0
000012b8: SWAP4
000012b9: SWAP3
000012ba: SWAP2
000012bb: SWAP1
000012bc: PUSH2 0x21d7
000012bf: JUMP
000012c0: JUMPDEST
000012c1: PUSH1 0x40
000012c3: MLOAD
000012c4: PUSH1 0x20
000012c6: DUP2
000012c7: DUP4
000012c8: SUB
000012c9: SUB
000012ca: DUP2
000012cb: MSTORE
000012cc: SWAP1
000012cd: PUSH1 0x40
000012cf: MSTORE
000012d0: SWAP1
000012d1: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000012ee: NOT
000012ef: AND
000012f0: PUSH1 0x20
000012f2: DUP3
000012f3: ADD
000012f4: DUP1
000012f5: MLOAD
000012f6: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001313: DUP4
00001314: DUP2
00001315: DUP4
00001316: AND
00001317: OR
00001318: DUP4
00001319: MSTORE
0000131a: POP
0000131b: POP
0000131c: POP
0000131d: POP
0000131e: PUSH2 0x146a
00001321: JUMP
00001322: JUMPDEST
00001323: POP
00001324: POP
00001325: POP
00001326: POP
00001327: JUMP
00001328: JUMPDEST
00001329: PUSH2 0x1330
0000132c: PUSH2 0x1531
0000132f: JUMP
00001330: JUMPDEST
00001331: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001346: AND
00001347: PUSH2 0x134e
0000134a: PUSH2 0x103f
0000134d: JUMP
0000134e: JUMPDEST
0000134f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001364: AND
00001365: EQ
00001366: PUSH2 0x13a4
00001369: JUMPI
0000136a: PUSH1 0x40
0000136c: MLOAD
0000136d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000138e: DUP2
0000138f: MSTORE
00001390: PUSH1 0x04
00001392: ADD
00001393: PUSH2 0x139b
00001396: SWAP1
00001397: PUSH2 0x225a
0000139a: JUMP
0000139b: JUMPDEST
0000139c: PUSH1 0x40
0000139e: MLOAD
0000139f: DUP1
000013a0: SWAP2
000013a1: SUB
000013a2: SWAP1
000013a3: REVERT
000013a4: JUMPDEST
000013a5: JUMP
000013a6: JUMPDEST
000013a7: PUSH1 0x00
000013a9: DUP1
000013aa: PUSH1 0x00
000013ac: SWAP1
000013ad: SLOAD
000013ae: SWAP1
000013af: PUSH2 0x0100
000013b2: EXP
000013b3: SWAP1
000013b4: DIV
000013b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013ca: AND
000013cb: SWAP1
000013cc: POP
000013cd: DUP2
000013ce: PUSH1 0x00
000013d0: DUP1
000013d1: PUSH2 0x0100
000013d4: EXP
000013d5: DUP2
000013d6: SLOAD
000013d7: DUP2
000013d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013ed: MUL
000013ee: NOT
000013ef: AND
000013f0: SWAP1
000013f1: DUP4
000013f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001407: AND
00001408: MUL
00001409: OR
0000140a: SWAP1
0000140b: SSTORE
0000140c: POP
0000140d: DUP2
0000140e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001423: AND
00001424: DUP2
00001425: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000143a: AND
0000143b: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000145c: PUSH1 0x40
0000145e: MLOAD
0000145f: PUSH1 0x40
00001461: MLOAD
00001462: DUP1
00001463: SWAP2
00001464: SUB
00001465: SWAP1
00001466: LOG3
00001467: POP
00001468: POP
00001469: JUMP
0000146a: JUMPDEST
0000146b: PUSH1 0x00
0000146d: PUSH2 0x14cc
00001470: DUP3
00001471: PUSH1 0x40
00001473: MLOAD
00001474: DUP1
00001475: PUSH1 0x40
00001477: ADD
00001478: PUSH1 0x40
0000147a: MSTORE
0000147b: DUP1
0000147c: PUSH1 0x20
0000147e: DUP2
0000147f: MSTORE
00001480: PUSH1 0x20
00001482: ADD
00001483: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
000014a4: DUP2
000014a5: MSTORE
000014a6: POP
000014a7: DUP6
000014a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014bd: AND
000014be: PUSH2 0x1539
000014c1: SWAP1
000014c2: SWAP3
000014c3: SWAP2
000014c4: SWAP1
000014c5: PUSH4 0xffffffff
000014ca: AND
000014cb: JUMP
000014cc: JUMPDEST
000014cd: SWAP1
000014ce: POP
000014cf: PUSH1 0x00
000014d1: DUP2
000014d2: MLOAD
000014d3: GT
000014d4: ISZERO
000014d5: PUSH2 0x152c
000014d8: JUMPI
000014d9: DUP1
000014da: DUP1
000014db: PUSH1 0x20
000014dd: ADD
000014de: SWAP1
000014df: MLOAD
000014e0: DUP2
000014e1: ADD
000014e2: SWAP1
000014e3: PUSH2 0x14ec
000014e6: SWAP2
000014e7: SWAP1
000014e8: PUSH2 0x22b2
000014eb: JUMP
000014ec: JUMPDEST
000014ed: PUSH2 0x152b
000014f0: JUMPI
000014f1: PUSH1 0x40
000014f3: MLOAD
000014f4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001515: DUP2
00001516: MSTORE
00001517: PUSH1 0x04
00001519: ADD
0000151a: PUSH2 0x1522
0000151d: SWAP1
0000151e: PUSH2 0x2351
00001521: JUMP
00001522: JUMPDEST
00001523: PUSH1 0x40
00001525: MLOAD
00001526: DUP1
00001527: SWAP2
00001528: SUB
00001529: SWAP1
0000152a: REVERT
0000152b: JUMPDEST
0000152c: JUMPDEST
0000152d: POP
0000152e: POP
0000152f: POP
00001530: JUMP
00001531: JUMPDEST
00001532: PUSH1 0x00
00001534: CALLER
00001535: SWAP1
00001536: POP
00001537: SWAP1
00001538: JUMP
00001539: JUMPDEST
0000153a: PUSH1 0x60
0000153c: PUSH2 0x1548
0000153f: DUP5
00001540: DUP5
00001541: PUSH1 0x00
00001543: DUP6
00001544: PUSH2 0x1551
00001547: JUMP
00001548: JUMPDEST
00001549: SWAP1
0000154a: POP
0000154b: SWAP4
0000154c: SWAP3
0000154d: POP
0000154e: POP
0000154f: POP
00001550: JUMP
00001551: JUMPDEST
00001552: PUSH1 0x60
00001554: DUP3
00001555: SELFBALANCE
00001556: LT
00001557: ISZERO
00001558: PUSH2 0x1596
0000155b: JUMPI
0000155c: PUSH1 0x40
0000155e: MLOAD
0000155f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001580: DUP2
00001581: MSTORE
00001582: PUSH1 0x04
00001584: ADD
00001585: PUSH2 0x158d
00001588: SWAP1
00001589: PUSH2 0x23e3
0000158c: JUMP
0000158d: JUMPDEST
0000158e: PUSH1 0x40
00001590: MLOAD
00001591: DUP1
00001592: SWAP2
00001593: SUB
00001594: SWAP1
00001595: REVERT
00001596: JUMPDEST
00001597: PUSH1 0x00
00001599: DUP1
0000159a: DUP7
0000159b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015b0: AND
000015b1: DUP6
000015b2: DUP8
000015b3: PUSH1 0x40
000015b5: MLOAD
000015b6: PUSH2 0x15bf
000015b9: SWAP2
000015ba: SWAP1
000015bb: PUSH2 0x243f
000015be: JUMP
000015bf: JUMPDEST
000015c0: PUSH1 0x00
000015c2: PUSH1 0x40
000015c4: MLOAD
000015c5: DUP1
000015c6: DUP4
000015c7: SUB
000015c8: DUP2
000015c9: DUP6
000015ca: DUP8
000015cb: GAS
000015cc: CALL
000015cd: SWAP3
000015ce: POP
000015cf: POP
000015d0: POP
000015d1: RETURNDATASIZE
000015d2: DUP1
000015d3: PUSH1 0x00
000015d5: DUP2
000015d6: EQ
000015d7: PUSH2 0x15fc
000015da: JUMPI
000015db: PUSH1 0x40
000015dd: MLOAD
000015de: SWAP2
000015df: POP
000015e0: PUSH1 0x1f
000015e2: NOT
000015e3: PUSH1 0x3f
000015e5: RETURNDATASIZE
000015e6: ADD
000015e7: AND
000015e8: DUP3
000015e9: ADD
000015ea: PUSH1 0x40
000015ec: MSTORE
000015ed: RETURNDATASIZE
000015ee: DUP3
000015ef: MSTORE
000015f0: RETURNDATASIZE
000015f1: PUSH1 0x00
000015f3: PUSH1 0x20
000015f5: DUP5
000015f6: ADD
000015f7: RETURNDATACOPY
000015f8: PUSH2 0x1601
000015fb: JUMP
000015fc: JUMPDEST
000015fd: PUSH1 0x60
000015ff: SWAP2
00001600: POP
00001601: JUMPDEST
00001602: POP
00001603: SWAP2
00001604: POP
00001605: SWAP2
00001606: POP
00001607: PUSH2 0x1612
0000160a: DUP8
0000160b: DUP4
0000160c: DUP4
0000160d: DUP8
0000160e: PUSH2 0x161e
00001611: JUMP
00001612: JUMPDEST
00001613: SWAP3
00001614: POP
00001615: POP
00001616: POP
00001617: SWAP5
00001618: SWAP4
00001619: POP
0000161a: POP
0000161b: POP
0000161c: POP
0000161d: JUMP
0000161e: JUMPDEST
0000161f: PUSH1 0x60
00001621: DUP4
00001622: ISZERO
00001623: PUSH2 0x1681
00001626: JUMPI
00001627: PUSH1 0x00
00001629: DUP4
0000162a: MLOAD
0000162b: EQ
0000162c: ISZERO
0000162d: PUSH2 0x1679
00001630: JUMPI
00001631: PUSH2 0x1639
00001634: DUP6
00001635: PUSH2 0x1694
00001638: JUMP
00001639: JUMPDEST
0000163a: PUSH2 0x1678
0000163d: JUMPI
0000163e: PUSH1 0x40
00001640: MLOAD
00001641: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001662: DUP2
00001663: MSTORE
00001664: PUSH1 0x04
00001666: ADD
00001667: PUSH2 0x166f
0000166a: SWAP1
0000166b: PUSH2 0x24a2
0000166e: JUMP
0000166f: JUMPDEST
00001670: PUSH1 0x40
00001672: MLOAD
00001673: DUP1
00001674: SWAP2
00001675: SUB
00001676: SWAP1
00001677: REVERT
00001678: JUMPDEST
00001679: JUMPDEST
0000167a: DUP3
0000167b: SWAP1
0000167c: POP
0000167d: PUSH2 0x168c
00001680: JUMP
00001681: JUMPDEST
00001682: PUSH2 0x168b
00001685: DUP4
00001686: DUP4
00001687: PUSH2 0x16b7
0000168a: JUMP
0000168b: JUMPDEST
0000168c: JUMPDEST
0000168d: SWAP5
0000168e: SWAP4
0000168f: POP
00001690: POP
00001691: POP
00001692: POP
00001693: JUMP
00001694: JUMPDEST
00001695: PUSH1 0x00
00001697: DUP1
00001698: DUP3
00001699: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016ae: AND
000016af: EXTCODESIZE
000016b0: GT
000016b1: SWAP1
000016b2: POP
000016b3: SWAP2
000016b4: SWAP1
000016b5: POP
000016b6: JUMP
000016b7: JUMPDEST
000016b8: PUSH1 0x00
000016ba: DUP3
000016bb: MLOAD
000016bc: GT
000016bd: ISZERO
000016be: PUSH2 0x16ca
000016c1: JUMPI
000016c2: DUP2
000016c3: MLOAD
000016c4: DUP1
000016c5: DUP4
000016c6: PUSH1 0x20
000016c8: ADD
000016c9: REVERT
000016ca: JUMPDEST
000016cb: DUP1
000016cc: PUSH1 0x40
000016ce: MLOAD
000016cf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016f0: DUP2
000016f1: MSTORE
000016f2: PUSH1 0x04
000016f4: ADD
000016f5: PUSH2 0x16fe
000016f8: SWAP2
000016f9: SWAP1
000016fa: PUSH2 0x24c2
000016fd: JUMP
000016fe: JUMPDEST
000016ff: PUSH1 0x40
00001701: MLOAD
00001702: DUP1
00001703: SWAP2
00001704: SUB
00001705: SWAP1
00001706: REVERT
00001707: JUMPDEST
00001708: PUSH1 0x00
0000170a: PUSH1 0x40
0000170c: MLOAD
0000170d: SWAP1
0000170e: POP
0000170f: SWAP1
00001710: JUMP
00001711: JUMPDEST
00001712: PUSH1 0x00
00001714: DUP1
00001715: REVERT
00001716: JUMPDEST
00001717: PUSH1 0x00
00001719: DUP1
0000171a: REVERT
0000171b: JUMPDEST
0000171c: PUSH1 0x00
0000171e: DUP1
0000171f: REVERT
00001720: JUMPDEST
00001721: PUSH1 0x00
00001723: DUP1
00001724: REVERT
00001725: JUMPDEST
00001726: PUSH1 0x00
00001728: PUSH1 0x1f
0000172a: NOT
0000172b: PUSH1 0x1f
0000172d: DUP4
0000172e: ADD
0000172f: AND
00001730: SWAP1
00001731: POP
00001732: SWAP2
00001733: SWAP1
00001734: POP
00001735: JUMP
00001736: JUMPDEST
00001737: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001758: PUSH1 0x00
0000175a: MSTORE
0000175b: PUSH1 0x41
0000175d: PUSH1 0x04
0000175f: MSTORE
00001760: PUSH1 0x24
00001762: PUSH1 0x00
00001764: REVERT
00001765: JUMPDEST
00001766: PUSH2 0x176e
00001769: DUP3
0000176a: PUSH2 0x1725
0000176d: JUMP
0000176e: JUMPDEST
0000176f: DUP2
00001770: ADD
00001771: DUP2
00001772: DUP2
00001773: LT
00001774: PUSH8 0xffffffffffffffff
0000177d: DUP3
0000177e: GT
0000177f: OR
00001780: ISZERO
00001781: PUSH2 0x178d
00001784: JUMPI
00001785: PUSH2 0x178c
00001788: PUSH2 0x1736
0000178b: JUMP
0000178c: JUMPDEST
0000178d: JUMPDEST
0000178e: DUP1
0000178f: PUSH1 0x40
00001791: MSTORE
00001792: POP
00001793: POP
00001794: POP
00001795: JUMP
00001796: JUMPDEST
00001797: PUSH1 0x00
00001799: PUSH2 0x17a0
0000179c: PUSH2 0x1707
0000179f: JUMP
000017a0: JUMPDEST
000017a1: SWAP1
000017a2: POP
000017a3: PUSH2 0x17ac
000017a6: DUP3
000017a7: DUP3
000017a8: PUSH2 0x1765
000017ab: JUMP
000017ac: JUMPDEST
000017ad: SWAP2
000017ae: SWAP1
000017af: POP
000017b0: JUMP
000017b1: JUMPDEST
000017b2: PUSH1 0x00
000017b4: PUSH8 0xffffffffffffffff
000017bd: DUP3
000017be: GT
000017bf: ISZERO
000017c0: PUSH2 0x17cc
000017c3: JUMPI
000017c4: PUSH2 0x17cb
000017c7: PUSH2 0x1736
000017ca: JUMP
000017cb: JUMPDEST
000017cc: JUMPDEST
000017cd: PUSH2 0x17d5
000017d0: DUP3
000017d1: PUSH2 0x1725
000017d4: JUMP
000017d5: JUMPDEST
000017d6: SWAP1
000017d7: POP
000017d8: PUSH1 0x20
000017da: DUP2
000017db: ADD
000017dc: SWAP1
000017dd: POP
000017de: SWAP2
000017df: SWAP1
000017e0: POP
000017e1: JUMP
000017e2: JUMPDEST
000017e3: DUP3
000017e4: DUP2
000017e5: DUP4
000017e6: CALLDATACOPY
000017e7: PUSH1 0x00
000017e9: DUP4
000017ea: DUP4
000017eb: ADD
000017ec: MSTORE
000017ed: POP
000017ee: POP
000017ef: POP
000017f0: JUMP
000017f1: JUMPDEST
000017f2: PUSH1 0x00
000017f4: PUSH2 0x1804
000017f7: PUSH2 0x17ff
000017fa: DUP5
000017fb: PUSH2 0x17b1
000017fe: JUMP
000017ff: JUMPDEST
00001800: PUSH2 0x1796
00001803: JUMP
00001804: JUMPDEST
00001805: SWAP1
00001806: POP
00001807: DUP3
00001808: DUP2
00001809: MSTORE
0000180a: PUSH1 0x20
0000180c: DUP2
0000180d: ADD
0000180e: DUP5
0000180f: DUP5
00001810: DUP5
00001811: ADD
00001812: GT
00001813: ISZERO
00001814: PUSH2 0x1820
00001817: JUMPI
00001818: PUSH2 0x181f
0000181b: PUSH2 0x1720
0000181e: JUMP
0000181f: JUMPDEST
00001820: JUMPDEST
00001821: PUSH2 0x182b
00001824: DUP5
00001825: DUP3
00001826: DUP6
00001827: PUSH2 0x17e2
0000182a: JUMP
0000182b: JUMPDEST
0000182c: POP
0000182d: SWAP4
0000182e: SWAP3
0000182f: POP
00001830: POP
00001831: POP
00001832: JUMP
00001833: JUMPDEST
00001834: PUSH1 0x00
00001836: DUP3
00001837: PUSH1 0x1f
00001839: DUP4
0000183a: ADD
0000183b: SLT
0000183c: PUSH2 0x1848
0000183f: JUMPI
00001840: PUSH2 0x1847
00001843: PUSH2 0x171b
00001846: JUMP
00001847: JUMPDEST
00001848: JUMPDEST
00001849: DUP2
0000184a: CALLDATALOAD
0000184b: PUSH2 0x1858
0000184e: DUP5
0000184f: DUP3
00001850: PUSH1 0x20
00001852: DUP7
00001853: ADD
00001854: PUSH2 0x17f1
00001857: JUMP
00001858: JUMPDEST
00001859: SWAP2
0000185a: POP
0000185b: POP
0000185c: SWAP3
0000185d: SWAP2
0000185e: POP
0000185f: POP
00001860: JUMP
00001861: JUMPDEST
00001862: PUSH1 0x00
00001864: PUSH1 0x20
00001866: DUP3
00001867: DUP5
00001868: SUB
00001869: SLT
0000186a: ISZERO
0000186b: PUSH2 0x1877
0000186e: JUMPI
0000186f: PUSH2 0x1876
00001872: PUSH2 0x1711
00001875: JUMP
00001876: JUMPDEST
00001877: JUMPDEST
00001878: PUSH1 0x00
0000187a: DUP3
0000187b: ADD
0000187c: CALLDATALOAD
0000187d: PUSH8 0xffffffffffffffff
00001886: DUP2
00001887: GT
00001888: ISZERO
00001889: PUSH2 0x1895
0000188c: JUMPI
0000188d: PUSH2 0x1894
00001890: PUSH2 0x1716
00001893: JUMP
00001894: JUMPDEST
00001895: JUMPDEST
00001896: PUSH2 0x18a1
00001899: DUP5
0000189a: DUP3
0000189b: DUP6
0000189c: ADD
0000189d: PUSH2 0x1833
000018a0: JUMP
000018a1: JUMPDEST
000018a2: SWAP2
000018a3: POP
000018a4: POP
000018a5: SWAP3
000018a6: SWAP2
000018a7: POP
000018a8: POP
000018a9: JUMP
000018aa: JUMPDEST
000018ab: PUSH1 0x00
000018ad: DUP2
000018ae: SWAP1
000018af: POP
000018b0: SWAP2
000018b1: SWAP1
000018b2: POP
000018b3: JUMP
000018b4: JUMPDEST
000018b5: PUSH2 0x18bd
000018b8: DUP2
000018b9: PUSH2 0x18aa
000018bc: JUMP
000018bd: JUMPDEST
000018be: DUP3
000018bf: MSTORE
000018c0: POP
000018c1: POP
000018c2: JUMP
000018c3: JUMPDEST
000018c4: PUSH1 0x00
000018c6: PUSH1 0x20
000018c8: DUP3
000018c9: ADD
000018ca: SWAP1
000018cb: POP
000018cc: PUSH2 0x18d8
000018cf: PUSH1 0x00
000018d1: DUP4
000018d2: ADD
000018d3: DUP5
000018d4: PUSH2 0x18b4
000018d7: JUMP
000018d8: JUMPDEST
000018d9: SWAP3
000018da: SWAP2
000018db: POP
000018dc: POP
000018dd: JUMP
000018de: JUMPDEST
000018df: PUSH1 0x00
000018e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018f6: DUP3
000018f7: AND
000018f8: SWAP1
000018f9: POP
000018fa: SWAP2
000018fb: SWAP1
000018fc: POP
000018fd: JUMP
000018fe: JUMPDEST
000018ff: PUSH1 0x00
00001901: PUSH2 0x1909
00001904: DUP3
00001905: PUSH2 0x18de
00001908: JUMP
00001909: JUMPDEST
0000190a: SWAP1
0000190b: POP
0000190c: SWAP2
0000190d: SWAP1
0000190e: POP
0000190f: JUMP
00001910: JUMPDEST
00001911: PUSH2 0x1919
00001914: DUP2
00001915: PUSH2 0x18fe
00001918: JUMP
00001919: JUMPDEST
0000191a: DUP2
0000191b: EQ
0000191c: PUSH2 0x1924
0000191f: JUMPI
00001920: PUSH1 0x00
00001922: DUP1
00001923: REVERT
00001924: JUMPDEST
00001925: POP
00001926: JUMP
00001927: JUMPDEST
00001928: PUSH1 0x00
0000192a: DUP2
0000192b: CALLDATALOAD
0000192c: SWAP1
0000192d: POP
0000192e: PUSH2 0x1936
00001931: DUP2
00001932: PUSH2 0x1910
00001935: JUMP
00001936: JUMPDEST
00001937: SWAP3
00001938: SWAP2
00001939: POP
0000193a: POP
0000193b: JUMP
0000193c: JUMPDEST
0000193d: PUSH1 0x00
0000193f: PUSH1 0x20
00001941: DUP3
00001942: DUP5
00001943: SUB
00001944: SLT
00001945: ISZERO
00001946: PUSH2 0x1952
00001949: JUMPI
0000194a: PUSH2 0x1951
0000194d: PUSH2 0x1711
00001950: JUMP
00001951: JUMPDEST
00001952: JUMPDEST
00001953: PUSH1 0x00
00001955: PUSH2 0x1960
00001958: DUP5
00001959: DUP3
0000195a: DUP6
0000195b: ADD
0000195c: PUSH2 0x1927
0000195f: JUMP
00001960: JUMPDEST
00001961: SWAP2
00001962: POP
00001963: POP
00001964: SWAP3
00001965: SWAP2
00001966: POP
00001967: POP
00001968: JUMP
00001969: JUMPDEST
0000196a: PUSH2 0x1972
0000196d: DUP2
0000196e: PUSH2 0x18aa
00001971: JUMP
00001972: JUMPDEST
00001973: DUP2
00001974: EQ
00001975: PUSH2 0x197d
00001978: JUMPI
00001979: PUSH1 0x00
0000197b: DUP1
0000197c: REVERT
0000197d: JUMPDEST
0000197e: POP
0000197f: JUMP
00001980: JUMPDEST
00001981: PUSH1 0x00
00001983: DUP2
00001984: CALLDATALOAD
00001985: SWAP1
00001986: POP
00001987: PUSH2 0x198f
0000198a: DUP2
0000198b: PUSH2 0x1969
0000198e: JUMP
0000198f: JUMPDEST
00001990: SWAP3
00001991: SWAP2
00001992: POP
00001993: POP
00001994: JUMP
00001995: JUMPDEST
00001996: PUSH1 0x00
00001998: DUP1
00001999: PUSH1 0x00
0000199b: PUSH1 0x60
0000199d: DUP5
0000199e: DUP7
0000199f: SUB
000019a0: SLT
000019a1: ISZERO
000019a2: PUSH2 0x19ae
000019a5: JUMPI
000019a6: PUSH2 0x19ad
000019a9: PUSH2 0x1711
000019ac: JUMP
000019ad: JUMPDEST
000019ae: JUMPDEST
000019af: PUSH1 0x00
000019b1: PUSH2 0x19bc
000019b4: DUP7
000019b5: DUP3
000019b6: DUP8
000019b7: ADD
000019b8: PUSH2 0x1980
000019bb: JUMP
000019bc: JUMPDEST
000019bd: SWAP4
000019be: POP
000019bf: POP
000019c0: PUSH1 0x20
000019c2: DUP5
000019c3: ADD
000019c4: CALLDATALOAD
000019c5: PUSH8 0xffffffffffffffff
000019ce: DUP2
000019cf: GT
000019d0: ISZERO
000019d1: PUSH2 0x19dd
000019d4: JUMPI
000019d5: PUSH2 0x19dc
000019d8: PUSH2 0x1716
000019db: JUMP
000019dc: JUMPDEST
000019dd: JUMPDEST
000019de: PUSH2 0x19e9
000019e1: DUP7
000019e2: DUP3
000019e3: DUP8
000019e4: ADD
000019e5: PUSH2 0x1833
000019e8: JUMP
000019e9: JUMPDEST
000019ea: SWAP3
000019eb: POP
000019ec: POP
000019ed: PUSH1 0x40
000019ef: PUSH2 0x19fa
000019f2: DUP7
000019f3: DUP3
000019f4: DUP8
000019f5: ADD
000019f6: PUSH2 0x1927
000019f9: JUMP
000019fa: JUMPDEST
000019fb: SWAP2
000019fc: POP
000019fd: POP
000019fe: SWAP3
000019ff: POP
00001a00: SWAP3
00001a01: POP
00001a02: SWAP3
00001a03: JUMP
00001a04: JUMPDEST
00001a05: PUSH1 0x00
00001a07: DUP2
00001a08: SWAP1
00001a09: POP
00001a0a: SWAP2
00001a0b: SWAP1
00001a0c: POP
00001a0d: JUMP
00001a0e: JUMPDEST
00001a0f: PUSH1 0x00
00001a11: PUSH2 0x1a29
00001a14: PUSH2 0x1a24
00001a17: PUSH2 0x1a1f
00001a1a: DUP5
00001a1b: PUSH2 0x18de
00001a1e: JUMP
00001a1f: JUMPDEST
00001a20: PUSH2 0x1a04
00001a23: JUMP
00001a24: JUMPDEST
00001a25: PUSH2 0x18de
00001a28: JUMP
00001a29: JUMPDEST
00001a2a: SWAP1
00001a2b: POP
00001a2c: SWAP2
00001a2d: SWAP1
00001a2e: POP
00001a2f: JUMP
00001a30: JUMPDEST
00001a31: PUSH1 0x00
00001a33: PUSH2 0x1a3b
00001a36: DUP3
00001a37: PUSH2 0x1a0e
00001a3a: JUMP
00001a3b: JUMPDEST
00001a3c: SWAP1
00001a3d: POP
00001a3e: SWAP2
00001a3f: SWAP1
00001a40: POP
00001a41: JUMP
00001a42: JUMPDEST
00001a43: PUSH1 0x00
00001a45: PUSH2 0x1a4d
00001a48: DUP3
00001a49: PUSH2 0x1a30
00001a4c: JUMP
00001a4d: JUMPDEST
00001a4e: SWAP1
00001a4f: POP
00001a50: SWAP2
00001a51: SWAP1
00001a52: POP
00001a53: JUMP
00001a54: JUMPDEST
00001a55: PUSH2 0x1a5d
00001a58: DUP2
00001a59: PUSH2 0x1a42
00001a5c: JUMP
00001a5d: JUMPDEST
00001a5e: DUP3
00001a5f: MSTORE
00001a60: POP
00001a61: POP
00001a62: JUMP
00001a63: JUMPDEST
00001a64: PUSH1 0x00
00001a66: PUSH1 0x20
00001a68: DUP3
00001a69: ADD
00001a6a: SWAP1
00001a6b: POP
00001a6c: PUSH2 0x1a78
00001a6f: PUSH1 0x00
00001a71: DUP4
00001a72: ADD
00001a73: DUP5
00001a74: PUSH2 0x1a54
00001a77: JUMP
00001a78: JUMPDEST
00001a79: SWAP3
00001a7a: SWAP2
00001a7b: POP
00001a7c: POP
00001a7d: JUMP
00001a7e: JUMPDEST
00001a7f: PUSH1 0x00
00001a81: PUSH1 0x20
00001a83: DUP3
00001a84: DUP5
00001a85: SUB
00001a86: SLT
00001a87: ISZERO
00001a88: PUSH2 0x1a94
00001a8b: JUMPI
00001a8c: PUSH2 0x1a93
00001a8f: PUSH2 0x1711
00001a92: JUMP
00001a93: JUMPDEST
00001a94: JUMPDEST
00001a95: PUSH1 0x00
00001a97: PUSH2 0x1aa2
00001a9a: DUP5
00001a9b: DUP3
00001a9c: DUP6
00001a9d: ADD
00001a9e: PUSH2 0x1980
00001aa1: JUMP
00001aa2: JUMPDEST
00001aa3: SWAP2
00001aa4: POP
00001aa5: POP
00001aa6: SWAP3
00001aa7: SWAP2
00001aa8: POP
00001aa9: POP
00001aaa: JUMP
00001aab: JUMPDEST
00001aac: PUSH2 0x1ab4
00001aaf: DUP2
00001ab0: PUSH2 0x18fe
00001ab3: JUMP
00001ab4: JUMPDEST
00001ab5: DUP3
00001ab6: MSTORE
00001ab7: POP
00001ab8: POP
00001ab9: JUMP
00001aba: JUMPDEST
00001abb: PUSH1 0x00
00001abd: PUSH1 0x20
00001abf: DUP3
00001ac0: ADD
00001ac1: SWAP1
00001ac2: POP
00001ac3: PUSH2 0x1acf
00001ac6: PUSH1 0x00
00001ac8: DUP4
00001ac9: ADD
00001aca: DUP5
00001acb: PUSH2 0x1aab
00001ace: JUMP
00001acf: JUMPDEST
00001ad0: SWAP3
00001ad1: SWAP2
00001ad2: POP
00001ad3: POP
00001ad4: JUMP
00001ad5: JUMPDEST
00001ad6: PUSH1 0x00
00001ad8: DUP1
00001ad9: PUSH1 0x40
00001adb: DUP4
00001adc: DUP6
00001add: SUB
00001ade: SLT
00001adf: ISZERO
00001ae0: PUSH2 0x1aec
00001ae3: JUMPI
00001ae4: PUSH2 0x1aeb
00001ae7: PUSH2 0x1711
00001aea: JUMP
00001aeb: JUMPDEST
00001aec: JUMPDEST
00001aed: PUSH1 0x00
00001aef: DUP4
00001af0: ADD
00001af1: CALLDATALOAD
00001af2: PUSH8 0xffffffffffffffff
00001afb: DUP2
00001afc: GT
00001afd: ISZERO
00001afe: PUSH2 0x1b0a
00001b01: JUMPI
00001b02: PUSH2 0x1b09
00001b05: PUSH2 0x1716
00001b08: JUMP
00001b09: JUMPDEST
00001b0a: JUMPDEST
00001b0b: PUSH2 0x1b16
00001b0e: DUP6
00001b0f: DUP3
00001b10: DUP7
00001b11: ADD
00001b12: PUSH2 0x1833
00001b15: JUMP
00001b16: JUMPDEST
00001b17: SWAP3
00001b18: POP
00001b19: POP
00001b1a: PUSH1 0x20
00001b1c: PUSH2 0x1b27
00001b1f: DUP6
00001b20: DUP3
00001b21: DUP7
00001b22: ADD
00001b23: PUSH2 0x1980
00001b26: JUMP
00001b27: JUMPDEST
00001b28: SWAP2
00001b29: POP
00001b2a: POP
00001b2b: SWAP3
00001b2c: POP
00001b2d: SWAP3
00001b2e: SWAP1
00001b2f: POP
00001b30: JUMP
00001b31: JUMPDEST
00001b32: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001b53: PUSH1 0x00
00001b55: MSTORE
00001b56: PUSH1 0x11
00001b58: PUSH1 0x04
00001b5a: MSTORE
00001b5b: PUSH1 0x24
00001b5d: PUSH1 0x00
00001b5f: REVERT
00001b60: JUMPDEST
00001b61: PUSH1 0x00
00001b63: PUSH2 0x1b6b
00001b66: DUP3
00001b67: PUSH2 0x18aa
00001b6a: JUMP
00001b6b: JUMPDEST
00001b6c: SWAP2
00001b6d: POP
00001b6e: PUSH2 0x1b76
00001b71: DUP4
00001b72: PUSH2 0x18aa
00001b75: JUMP
00001b76: JUMPDEST
00001b77: SWAP3
00001b78: POP
00001b79: DUP2
00001b7a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001b9b: DIV
00001b9c: DUP4
00001b9d: GT
00001b9e: DUP3
00001b9f: ISZERO
00001ba0: ISZERO
00001ba1: AND
00001ba2: ISZERO
00001ba3: PUSH2 0x1baf
00001ba6: JUMPI
00001ba7: PUSH2 0x1bae
00001baa: PUSH2 0x1b31
00001bad: JUMP
00001bae: JUMPDEST
00001baf: JUMPDEST
00001bb0: DUP3
00001bb1: DUP3
00001bb2: MUL
00001bb3: SWAP1
00001bb4: POP
00001bb5: SWAP3
00001bb6: SWAP2
00001bb7: POP
00001bb8: POP
00001bb9: JUMP
00001bba: JUMPDEST
00001bbb: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001bdc: PUSH1 0x00
00001bde: MSTORE
00001bdf: PUSH1 0x12
00001be1: PUSH1 0x04
00001be3: MSTORE
00001be4: PUSH1 0x24
00001be6: PUSH1 0x00
00001be8: REVERT
00001be9: JUMPDEST
00001bea: PUSH1 0x00
00001bec: PUSH2 0x1bf4
00001bef: DUP3
00001bf0: PUSH2 0x18aa
00001bf3: JUMP
00001bf4: JUMPDEST
00001bf5: SWAP2
00001bf6: POP
00001bf7: PUSH2 0x1bff
00001bfa: DUP4
00001bfb: PUSH2 0x18aa
00001bfe: JUMP
00001bff: JUMPDEST
00001c00: SWAP3
00001c01: POP
00001c02: DUP3
00001c03: PUSH2 0x1c0f
00001c06: JUMPI
00001c07: PUSH2 0x1c0e
00001c0a: PUSH2 0x1bba
00001c0d: JUMP
00001c0e: JUMPDEST
00001c0f: JUMPDEST
00001c10: DUP3
00001c11: DUP3
00001c12: DIV
00001c13: SWAP1
00001c14: POP
00001c15: SWAP3
00001c16: SWAP2
00001c17: POP
00001c18: POP
00001c19: JUMP
00001c1a: JUMPDEST
00001c1b: PUSH1 0x00
00001c1d: DUP2
00001c1e: MLOAD
00001c1f: SWAP1
00001c20: POP
00001c21: SWAP2
00001c22: SWAP1
00001c23: POP
00001c24: JUMP
00001c25: JUMPDEST
00001c26: PUSH1 0x00
00001c28: DUP2
00001c29: SWAP1
00001c2a: POP
00001c2b: SWAP3
00001c2c: SWAP2
00001c2d: POP
00001c2e: POP
00001c2f: JUMP
00001c30: JUMPDEST
00001c31: PUSH1 0x00
00001c33: JUMPDEST
00001c34: DUP4
00001c35: DUP2
00001c36: LT
00001c37: ISZERO
00001c38: PUSH2 0x1c4e
00001c3b: JUMPI
00001c3c: DUP1
00001c3d: DUP3
00001c3e: ADD
00001c3f: MLOAD
00001c40: DUP2
00001c41: DUP5
00001c42: ADD
00001c43: MSTORE
00001c44: PUSH1 0x20
00001c46: DUP2
00001c47: ADD
00001c48: SWAP1
00001c49: POP
00001c4a: PUSH2 0x1c33
00001c4d: JUMP
00001c4e: JUMPDEST
00001c4f: DUP4
00001c50: DUP2
00001c51: GT
00001c52: ISZERO
00001c53: PUSH2 0x1c5d
00001c56: JUMPI
00001c57: PUSH1 0x00
00001c59: DUP5
00001c5a: DUP5
00001c5b: ADD
00001c5c: MSTORE
00001c5d: JUMPDEST
00001c5e: POP
00001c5f: POP
00001c60: POP
00001c61: POP
00001c62: JUMP
00001c63: JUMPDEST
00001c64: PUSH1 0x00
00001c66: PUSH2 0x1c6e
00001c69: DUP3
00001c6a: PUSH2 0x1c1a
00001c6d: JUMP
00001c6e: JUMPDEST
00001c6f: PUSH2 0x1c78
00001c72: DUP2
00001c73: DUP6
00001c74: PUSH2 0x1c25
00001c77: JUMP
00001c78: JUMPDEST
00001c79: SWAP4
00001c7a: POP
00001c7b: PUSH2 0x1c88
00001c7e: DUP2
00001c7f: DUP6
00001c80: PUSH1 0x20
00001c82: DUP7
00001c83: ADD
00001c84: PUSH2 0x1c30
00001c87: JUMP
00001c88: JUMPDEST
00001c89: DUP1
00001c8a: DUP5
00001c8b: ADD
00001c8c: SWAP2
00001c8d: POP
00001c8e: POP
00001c8f: SWAP3
00001c90: SWAP2
00001c91: POP
00001c92: POP
00001c93: JUMP
00001c94: JUMPDEST
00001c95: PUSH1 0x00
00001c97: PUSH2 0x1ca0
00001c9a: DUP3
00001c9b: DUP5
00001c9c: PUSH2 0x1c63
00001c9f: JUMP
00001ca0: JUMPDEST
00001ca1: SWAP2
00001ca2: POP
00001ca3: DUP2
00001ca4: SWAP1
00001ca5: POP
00001ca6: SWAP3
00001ca7: SWAP2
00001ca8: POP
00001ca9: POP
00001caa: JUMP
00001cab: JUMPDEST
00001cac: PUSH1 0x00
00001cae: PUSH2 0x1cb6
00001cb1: DUP3
00001cb2: PUSH2 0x18aa
00001cb5: JUMP
00001cb6: JUMPDEST
00001cb7: SWAP2
00001cb8: POP
00001cb9: PUSH2 0x1cc1
00001cbc: DUP4
00001cbd: PUSH2 0x18aa
00001cc0: JUMP
00001cc1: JUMPDEST
00001cc2: SWAP3
00001cc3: POP
00001cc4: DUP3
00001cc5: DUP3
00001cc6: LT
00001cc7: ISZERO
00001cc8: PUSH2 0x1cd4
00001ccb: JUMPI
00001ccc: PUSH2 0x1cd3
00001ccf: PUSH2 0x1b31
00001cd2: JUMP
00001cd3: JUMPDEST
00001cd4: JUMPDEST
00001cd5: DUP3
00001cd6: DUP3
00001cd7: SUB
00001cd8: SWAP1
00001cd9: POP
00001cda: SWAP3
00001cdb: SWAP2
00001cdc: POP
00001cdd: POP
00001cde: JUMP
00001cdf: JUMPDEST
00001ce0: PUSH1 0x00
00001ce2: DUP2
00001ce3: SWAP1
00001ce4: POP
00001ce5: SWAP3
00001ce6: SWAP2
00001ce7: POP
00001ce8: POP
00001ce9: JUMP
00001cea: JUMPDEST
00001ceb: POP
00001cec: JUMP
00001ced: JUMPDEST
00001cee: PUSH1 0x00
00001cf0: PUSH2 0x1cfa
00001cf3: PUSH1 0x00
00001cf5: DUP4
00001cf6: PUSH2 0x1cdf
00001cf9: JUMP
00001cfa: JUMPDEST
00001cfb: SWAP2
00001cfc: POP
00001cfd: PUSH2 0x1d05
00001d00: DUP3
00001d01: PUSH2 0x1cea
00001d04: JUMP
00001d05: JUMPDEST
00001d06: PUSH1 0x00
00001d08: DUP3
00001d09: ADD
00001d0a: SWAP1
00001d0b: POP
00001d0c: SWAP2
00001d0d: SWAP1
00001d0e: POP
00001d0f: JUMP
00001d10: JUMPDEST
00001d11: PUSH1 0x00
00001d13: PUSH2 0x1d1b
00001d16: DUP3
00001d17: PUSH2 0x1ced
00001d1a: JUMP
00001d1b: JUMPDEST
00001d1c: SWAP2
00001d1d: POP
00001d1e: DUP2
00001d1f: SWAP1
00001d20: POP
00001d21: SWAP2
00001d22: SWAP1
00001d23: POP
00001d24: JUMP
00001d25: JUMPDEST
00001d26: PUSH1 0x00
00001d28: DUP3
00001d29: DUP3
00001d2a: MSTORE
00001d2b: PUSH1 0x20
00001d2d: DUP3
00001d2e: ADD
00001d2f: SWAP1
00001d30: POP
00001d31: SWAP3
00001d32: SWAP2
00001d33: POP
00001d34: POP
00001d35: JUMP
00001d36: JUMPDEST
00001d37: PUSH32 0x726566756e64206661696c656400000000000000000000000000000000000000
00001d58: PUSH1 0x00
00001d5a: DUP3
00001d5b: ADD
00001d5c: MSTORE
00001d5d: POP
00001d5e: JUMP
00001d5f: JUMPDEST
00001d60: PUSH1 0x00
00001d62: PUSH2 0x1d6c
00001d65: PUSH1 0x0d
00001d67: DUP4
00001d68: PUSH2 0x1d25
00001d6b: JUMP
00001d6c: JUMPDEST
00001d6d: SWAP2
00001d6e: POP
00001d6f: PUSH2 0x1d77
00001d72: DUP3
00001d73: PUSH2 0x1d36
00001d76: JUMP
00001d77: JUMPDEST
00001d78: PUSH1 0x20
00001d7a: DUP3
00001d7b: ADD
00001d7c: SWAP1
00001d7d: POP
00001d7e: SWAP2
00001d7f: SWAP1
00001d80: POP
00001d81: JUMP
00001d82: JUMPDEST
00001d83: PUSH1 0x00
00001d85: PUSH1 0x20
00001d87: DUP3
00001d88: ADD
00001d89: SWAP1
00001d8a: POP
00001d8b: DUP2
00001d8c: DUP2
00001d8d: SUB
00001d8e: PUSH1 0x00
00001d90: DUP4
00001d91: ADD
00001d92: MSTORE
00001d93: PUSH2 0x1d9b
00001d96: DUP2
00001d97: PUSH2 0x1d5f
00001d9a: JUMP
00001d9b: JUMPDEST
00001d9c: SWAP1
00001d9d: POP
00001d9e: SWAP2
00001d9f: SWAP1
00001da0: POP
00001da1: JUMP
00001da2: JUMPDEST
00001da3: PUSH32 0x7472616e73666572206661696c65640000000000000000000000000000000000
00001dc4: PUSH1 0x00
00001dc6: DUP3
00001dc7: ADD
00001dc8: MSTORE
00001dc9: POP
00001dca: JUMP
00001dcb: JUMPDEST
00001dcc: PUSH1 0x00
00001dce: PUSH2 0x1dd8
00001dd1: PUSH1 0x0f
00001dd3: DUP4
00001dd4: PUSH2 0x1d25
00001dd7: JUMP
00001dd8: JUMPDEST
00001dd9: SWAP2
00001dda: POP
00001ddb: PUSH2 0x1de3
00001dde: DUP3
00001ddf: PUSH2 0x1da2
00001de2: JUMP
00001de3: JUMPDEST
00001de4: PUSH1 0x20
00001de6: DUP3
00001de7: ADD
00001de8: SWAP1
00001de9: POP
00001dea: SWAP2
00001deb: SWAP1
00001dec: POP
00001ded: JUMP
00001dee: JUMPDEST
00001def: PUSH1 0x00
00001df1: PUSH1 0x20
00001df3: DUP3
00001df4: ADD
00001df5: SWAP1
00001df6: POP
00001df7: DUP2
00001df8: DUP2
00001df9: SUB
00001dfa: PUSH1 0x00
00001dfc: DUP4
00001dfd: ADD
00001dfe: MSTORE
00001dff: PUSH2 0x1e07
00001e02: DUP2
00001e03: PUSH2 0x1dcb
00001e06: JUMP
00001e07: JUMPDEST
00001e08: SWAP1
00001e09: POP
00001e0a: SWAP2
00001e0b: SWAP1
00001e0c: POP
00001e0d: JUMP
00001e0e: JUMPDEST
00001e0f: PUSH1 0x00
00001e11: PUSH1 0x40
00001e13: DUP3
00001e14: ADD
00001e15: SWAP1
00001e16: POP
00001e17: PUSH2 0x1e23
00001e1a: PUSH1 0x00
00001e1c: DUP4
00001e1d: ADD
00001e1e: DUP6
00001e1f: PUSH2 0x1aab
00001e22: JUMP
00001e23: JUMPDEST
00001e24: PUSH2 0x1e30
00001e27: PUSH1 0x20
00001e29: DUP4
00001e2a: ADD
00001e2b: DUP5
00001e2c: PUSH2 0x1aab
00001e2f: JUMP
00001e30: JUMPDEST
00001e31: SWAP4
00001e32: SWAP3
00001e33: POP
00001e34: POP
00001e35: POP
00001e36: JUMP
00001e37: JUMPDEST
00001e38: PUSH1 0x00
00001e3a: DUP2
00001e3b: MLOAD
00001e3c: SWAP1
00001e3d: POP
00001e3e: PUSH2 0x1e46
00001e41: DUP2
00001e42: PUSH2 0x1969
00001e45: JUMP
00001e46: JUMPDEST
00001e47: SWAP3
00001e48: SWAP2
00001e49: POP
00001e4a: POP
00001e4b: JUMP
00001e4c: JUMPDEST
00001e4d: PUSH1 0x00
00001e4f: PUSH1 0x20
00001e51: DUP3
00001e52: DUP5
00001e53: SUB
00001e54: SLT
00001e55: ISZERO
00001e56: PUSH2 0x1e62
00001e59: JUMPI
00001e5a: PUSH2 0x1e61
00001e5d: PUSH2 0x1711
00001e60: JUMP
00001e61: JUMPDEST
00001e62: JUMPDEST
00001e63: PUSH1 0x00
00001e65: PUSH2 0x1e70
00001e68: DUP5
00001e69: DUP3
00001e6a: DUP6
00001e6b: ADD
00001e6c: PUSH2 0x1e37
00001e6f: JUMP
00001e70: JUMPDEST
00001e71: SWAP2
00001e72: POP
00001e73: POP
00001e74: SWAP3
00001e75: SWAP2
00001e76: POP
00001e77: POP
00001e78: JUMP
00001e79: JUMPDEST
00001e7a: PUSH32 0x45524332303a204d7573742061646420616c6c6f77616e636520746f20746869
00001e9b: PUSH1 0x00
00001e9d: DUP3
00001e9e: ADD
00001e9f: MSTORE
00001ea0: PUSH32 0x7320636f6e74726163742066697273742e000000000000000000000000000000
00001ec1: PUSH1 0x20
00001ec3: DUP3
00001ec4: ADD
00001ec5: MSTORE
00001ec6: POP
00001ec7: JUMP
00001ec8: JUMPDEST
00001ec9: PUSH1 0x00
00001ecb: PUSH2 0x1ed5
00001ece: PUSH1 0x31
00001ed0: DUP4
00001ed1: PUSH2 0x1d25
00001ed4: JUMP
00001ed5: JUMPDEST
00001ed6: SWAP2
00001ed7: POP
00001ed8: PUSH2 0x1ee0
00001edb: DUP3
00001edc: PUSH2 0x1e79
00001edf: JUMP
00001ee0: JUMPDEST
00001ee1: PUSH1 0x40
00001ee3: DUP3
00001ee4: ADD
00001ee5: SWAP1
00001ee6: POP
00001ee7: SWAP2
00001ee8: SWAP1
00001ee9: POP
00001eea: JUMP
00001eeb: JUMPDEST
00001eec: PUSH1 0x00
00001eee: PUSH1 0x20
00001ef0: DUP3
00001ef1: ADD
00001ef2: SWAP1
00001ef3: POP
00001ef4: DUP2
00001ef5: DUP2
00001ef6: SUB
00001ef7: PUSH1 0x00
00001ef9: DUP4
00001efa: ADD
00001efb: MSTORE
00001efc: PUSH2 0x1f04
00001eff: DUP2
00001f00: PUSH2 0x1ec8
00001f03: JUMP
00001f04: JUMPDEST
00001f05: SWAP1
00001f06: POP
00001f07: SWAP2
00001f08: SWAP1
00001f09: POP
00001f0a: JUMP
00001f0b: JUMPDEST
00001f0c: PUSH1 0x00
00001f0e: PUSH2 0x1f16
00001f11: DUP3
00001f12: PUSH2 0x18aa
00001f15: JUMP
00001f16: JUMPDEST
00001f17: SWAP2
00001f18: POP
00001f19: PUSH2 0x1f21
00001f1c: DUP4
00001f1d: PUSH2 0x18aa
00001f20: JUMP
00001f21: JUMPDEST
00001f22: SWAP3
00001f23: POP
00001f24: DUP3
00001f25: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001f46: SUB
00001f47: DUP3
00001f48: GT
00001f49: ISZERO
00001f4a: PUSH2 0x1f56
00001f4d: JUMPI
00001f4e: PUSH2 0x1f55
00001f51: PUSH2 0x1b31
00001f54: JUMP
00001f55: JUMPDEST
00001f56: JUMPDEST
00001f57: DUP3
00001f58: DUP3
00001f59: ADD
00001f5a: SWAP1
00001f5b: POP
00001f5c: SWAP3
00001f5d: SWAP2
00001f5e: POP
00001f5f: POP
00001f60: JUMP
00001f61: JUMPDEST
00001f62: PUSH1 0x00
00001f64: PUSH2 0x1f6c
00001f67: DUP3
00001f68: PUSH2 0x1c1a
00001f6b: JUMP
00001f6c: JUMPDEST
00001f6d: PUSH2 0x1f76
00001f70: DUP2
00001f71: DUP6
00001f72: PUSH2 0x1d25
00001f75: JUMP
00001f76: JUMPDEST
00001f77: SWAP4
00001f78: POP
00001f79: PUSH2 0x1f86
00001f7c: DUP2
00001f7d: DUP6
00001f7e: PUSH1 0x20
00001f80: DUP7
00001f81: ADD
00001f82: PUSH2 0x1c30
00001f85: JUMP
00001f86: JUMPDEST
00001f87: PUSH2 0x1f8f
00001f8a: DUP2
00001f8b: PUSH2 0x1725
00001f8e: JUMP
00001f8f: JUMPDEST
00001f90: DUP5
00001f91: ADD
00001f92: SWAP2
00001f93: POP
00001f94: POP
00001f95: SWAP3
00001f96: SWAP2
00001f97: POP
00001f98: POP
00001f99: JUMP
00001f9a: JUMPDEST
00001f9b: PUSH1 0x00
00001f9d: PUSH1 0x80
00001f9f: DUP3
00001fa0: ADD
00001fa1: SWAP1
00001fa2: POP
00001fa3: PUSH2 0x1faf
00001fa6: PUSH1 0x00
00001fa8: DUP4
00001fa9: ADD
00001faa: DUP8
00001fab: PUSH2 0x18b4
00001fae: JUMP
00001faf: JUMPDEST
00001fb0: PUSH2 0x1fbc
00001fb3: PUSH1 0x20
00001fb5: DUP4
00001fb6: ADD
00001fb7: DUP7
00001fb8: PUSH2 0x1aab
00001fbb: JUMP
00001fbc: JUMPDEST
00001fbd: PUSH2 0x1fc9
00001fc0: PUSH1 0x40
00001fc2: DUP4
00001fc3: ADD
00001fc4: DUP6
00001fc5: PUSH2 0x18b4
00001fc8: JUMP
00001fc9: JUMPDEST
00001fca: DUP2
00001fcb: DUP2
00001fcc: SUB
00001fcd: PUSH1 0x60
00001fcf: DUP4
00001fd0: ADD
00001fd1: MSTORE
00001fd2: PUSH2 0x1fdb
00001fd5: DUP2
00001fd6: DUP5
00001fd7: PUSH2 0x1f61
00001fda: JUMP
00001fdb: JUMPDEST
00001fdc: SWAP1
00001fdd: POP
00001fde: SWAP6
00001fdf: SWAP5
00001fe0: POP
00001fe1: POP
00001fe2: POP
00001fe3: POP
00001fe4: POP
00001fe5: JUMP
00001fe6: JUMPDEST
00001fe7: PUSH1 0x00
00001fe9: PUSH10 0xffffffffffffffffffff
00001ff4: DUP3
00001ff5: AND
00001ff6: SWAP1
00001ff7: POP
00001ff8: SWAP2
00001ff9: SWAP1
00001ffa: POP
00001ffb: JUMP
00001ffc: JUMPDEST
00001ffd: PUSH2 0x2005
00002000: DUP2
00002001: PUSH2 0x1fe6
00002004: JUMP
00002005: JUMPDEST
00002006: DUP2
00002007: EQ
00002008: PUSH2 0x2010
0000200b: JUMPI
0000200c: PUSH1 0x00
0000200e: DUP1
0000200f: REVERT
00002010: JUMPDEST
00002011: POP
00002012: JUMP
00002013: JUMPDEST
00002014: PUSH1 0x00
00002016: DUP2
00002017: MLOAD
00002018: SWAP1
00002019: POP
0000201a: PUSH2 0x2022
0000201d: DUP2
0000201e: PUSH2 0x1ffc
00002021: JUMP
00002022: JUMPDEST
00002023: SWAP3
00002024: SWAP2
00002025: POP
00002026: POP
00002027: JUMP
00002028: JUMPDEST
00002029: PUSH1 0x00
0000202b: DUP2
0000202c: SWAP1
0000202d: POP
0000202e: SWAP2
0000202f: SWAP1
00002030: POP
00002031: JUMP
00002032: JUMPDEST
00002033: PUSH2 0x203b
00002036: DUP2
00002037: PUSH2 0x2028
0000203a: JUMP
0000203b: JUMPDEST
0000203c: DUP2
0000203d: EQ
0000203e: PUSH2 0x2046
00002041: JUMPI
00002042: PUSH1 0x00
00002044: DUP1
00002045: REVERT
00002046: JUMPDEST
00002047: POP
00002048: JUMP
00002049: JUMPDEST
0000204a: PUSH1 0x00
0000204c: DUP2
0000204d: MLOAD
0000204e: SWAP1
0000204f: POP
00002050: PUSH2 0x2058
00002053: DUP2
00002054: PUSH2 0x2032
00002057: JUMP
00002058: JUMPDEST
00002059: SWAP3
0000205a: SWAP2
0000205b: POP
0000205c: POP
0000205d: JUMP
0000205e: JUMPDEST
0000205f: PUSH1 0x00
00002061: DUP1
00002062: PUSH1 0x00
00002064: DUP1
00002065: PUSH1 0x00
00002067: PUSH1 0xa0
00002069: DUP7
0000206a: DUP9
0000206b: SUB
0000206c: SLT
0000206d: ISZERO
0000206e: PUSH2 0x207a
00002071: JUMPI
00002072: PUSH2 0x2079
00002075: PUSH2 0x1711
00002078: JUMP
00002079: JUMPDEST
0000207a: JUMPDEST
0000207b: PUSH1 0x00
0000207d: PUSH2 0x2088
00002080: DUP9
00002081: DUP3
00002082: DUP10
00002083: ADD
00002084: PUSH2 0x2013
00002087: JUMP
00002088: JUMPDEST
00002089: SWAP6
0000208a: POP
0000208b: POP
0000208c: PUSH1 0x20
0000208e: PUSH2 0x2099
00002091: DUP9
00002092: DUP3
00002093: DUP10
00002094: ADD
00002095: PUSH2 0x2049
00002098: JUMP
00002099: JUMPDEST
0000209a: SWAP5
0000209b: POP
0000209c: POP
0000209d: PUSH1 0x40
0000209f: PUSH2 0x20aa
000020a2: DUP9
000020a3: DUP3
000020a4: DUP10
000020a5: ADD
000020a6: PUSH2 0x1e37
000020a9: JUMP
000020aa: JUMPDEST
000020ab: SWAP4
000020ac: POP
000020ad: POP
000020ae: PUSH1 0x60
000020b0: PUSH2 0x20bb
000020b3: DUP9
000020b4: DUP3
000020b5: DUP10
000020b6: ADD
000020b7: PUSH2 0x1e37
000020ba: JUMP
000020bb: JUMPDEST
000020bc: SWAP3
000020bd: POP
000020be: POP
000020bf: PUSH1 0x80
000020c1: PUSH2 0x20cc
000020c4: DUP9
000020c5: DUP3
000020c6: DUP10
000020c7: ADD
000020c8: PUSH2 0x2013
000020cb: JUMP
000020cc: JUMPDEST
000020cd: SWAP2
000020ce: POP
000020cf: POP
000020d0: SWAP3
000020d1: SWAP6
000020d2: POP
000020d3: SWAP3
000020d4: SWAP6
000020d5: SWAP1
000020d6: SWAP4
000020d7: POP
000020d8: JUMP
000020d9: JUMPDEST
000020da: PUSH32 0x526f756e64206e6f7420636f6d706c6574650000000000000000000000000000
000020fb: PUSH1 0x00
000020fd: DUP3
000020fe: ADD
000020ff: MSTORE
00002100: POP
00002101: JUMP
00002102: JUMPDEST
00002103: PUSH1 0x00
00002105: PUSH2 0x210f
00002108: PUSH1 0x12
0000210a: DUP4
0000210b: PUSH2 0x1d25
0000210e: JUMP
0000210f: JUMPDEST
00002110: SWAP2
00002111: POP
00002112: PUSH2 0x211a
00002115: DUP3
00002116: PUSH2 0x20d9
00002119: JUMP
0000211a: JUMPDEST
0000211b: PUSH1 0x20
0000211d: DUP3
0000211e: ADD
0000211f: SWAP1
00002120: POP
00002121: SWAP2
00002122: SWAP1
00002123: POP
00002124: JUMP
00002125: JUMPDEST
00002126: PUSH1 0x00
00002128: PUSH1 0x20
0000212a: DUP3
0000212b: ADD
0000212c: SWAP1
0000212d: POP
0000212e: DUP2
0000212f: DUP2
00002130: SUB
00002131: PUSH1 0x00
00002133: DUP4
00002134: ADD
00002135: MSTORE
00002136: PUSH2 0x213e
00002139: DUP2
0000213a: PUSH2 0x2102
0000213d: JUMP
0000213e: JUMPDEST
0000213f: SWAP1
00002140: POP
00002141: SWAP2
00002142: SWAP1
00002143: POP
00002144: JUMP
00002145: JUMPDEST
00002146: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00002167: PUSH1 0x00
00002169: DUP3
0000216a: ADD
0000216b: MSTORE
0000216c: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
0000218d: PUSH1 0x20
0000218f: DUP3
00002190: ADD
00002191: MSTORE
00002192: POP
00002193: JUMP
00002194: JUMPDEST
00002195: PUSH1 0x00
00002197: PUSH2 0x21a1
0000219a: PUSH1 0x26
0000219c: DUP4
0000219d: PUSH2 0x1d25
000021a0: JUMP
000021a1: JUMPDEST
000021a2: SWAP2
000021a3: POP
000021a4: PUSH2 0x21ac
000021a7: DUP3
000021a8: PUSH2 0x2145
000021ab: JUMP
000021ac: JUMPDEST
000021ad: PUSH1 0x40
000021af: DUP3
000021b0: ADD
000021b1: SWAP1
000021b2: POP
000021b3: SWAP2
000021b4: SWAP1
000021b5: POP
000021b6: JUMP
000021b7: JUMPDEST
000021b8: PUSH1 0x00
000021ba: PUSH1 0x20
000021bc: DUP3
000021bd: ADD
000021be: SWAP1
000021bf: POP
000021c0: DUP2
000021c1: DUP2
000021c2: SUB
000021c3: PUSH1 0x00
000021c5: DUP4
000021c6: ADD
000021c7: MSTORE
000021c8: PUSH2 0x21d0
000021cb: DUP2
000021cc: PUSH2 0x2194
000021cf: JUMP
000021d0: JUMPDEST
000021d1: SWAP1
000021d2: POP
000021d3: SWAP2
000021d4: SWAP1
000021d5: POP
000021d6: JUMP
000021d7: JUMPDEST
000021d8: PUSH1 0x00
000021da: PUSH1 0x60
000021dc: DUP3
000021dd: ADD
000021de: SWAP1
000021df: POP
000021e0: PUSH2 0x21ec
000021e3: PUSH1 0x00
000021e5: DUP4
000021e6: ADD
000021e7: DUP7
000021e8: PUSH2 0x1aab
000021eb: JUMP
000021ec: JUMPDEST
000021ed: PUSH2 0x21f9
000021f0: PUSH1 0x20
000021f2: DUP4
000021f3: ADD
000021f4: DUP6
000021f5: PUSH2 0x1aab
000021f8: JUMP
000021f9: JUMPDEST
000021fa: PUSH2 0x2206
000021fd: PUSH1 0x40
000021ff: DUP4
00002200: ADD
00002201: DUP5
00002202: PUSH2 0x18b4
00002205: JUMP
00002206: JUMPDEST
00002207: SWAP5
00002208: SWAP4
00002209: POP
0000220a: POP
0000220b: POP
0000220c: POP
0000220d: JUMP
0000220e: JUMPDEST
0000220f: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002230: PUSH1 0x00
00002232: DUP3
00002233: ADD
00002234: MSTORE
00002235: POP
00002236: JUMP
00002237: JUMPDEST
00002238: PUSH1 0x00
0000223a: PUSH2 0x2244
0000223d: PUSH1 0x20
0000223f: DUP4
00002240: PUSH2 0x1d25
00002243: JUMP
00002244: JUMPDEST
00002245: SWAP2
00002246: POP
00002247: PUSH2 0x224f
0000224a: DUP3
0000224b: PUSH2 0x220e
0000224e: JUMP
0000224f: JUMPDEST
00002250: PUSH1 0x20
00002252: DUP3
00002253: ADD
00002254: SWAP1
00002255: POP
00002256: SWAP2
00002257: SWAP1
00002258: POP
00002259: JUMP
0000225a: JUMPDEST
0000225b: PUSH1 0x00
0000225d: PUSH1 0x20
0000225f: DUP3
00002260: ADD
00002261: SWAP1
00002262: POP
00002263: DUP2
00002264: DUP2
00002265: SUB
00002266: PUSH1 0x00
00002268: DUP4
00002269: ADD
0000226a: MSTORE
0000226b: PUSH2 0x2273
0000226e: DUP2
0000226f: PUSH2 0x2237
00002272: JUMP
00002273: JUMPDEST
00002274: SWAP1
00002275: POP
00002276: SWAP2
00002277: SWAP1
00002278: POP
00002279: JUMP
0000227a: JUMPDEST
0000227b: PUSH1 0x00
0000227d: DUP2
0000227e: ISZERO
0000227f: ISZERO
00002280: SWAP1
00002281: POP
00002282: SWAP2
00002283: SWAP1
00002284: POP
00002285: JUMP
00002286: JUMPDEST
00002287: PUSH2 0x228f
0000228a: DUP2
0000228b: PUSH2 0x227a
0000228e: JUMP
0000228f: JUMPDEST
00002290: DUP2
00002291: EQ
00002292: PUSH2 0x229a
00002295: JUMPI
00002296: PUSH1 0x00
00002298: DUP1
00002299: REVERT
0000229a: JUMPDEST
0000229b: POP
0000229c: JUMP
0000229d: JUMPDEST
0000229e: PUSH1 0x00
000022a0: DUP2
000022a1: MLOAD
000022a2: SWAP1
000022a3: POP
000022a4: PUSH2 0x22ac
000022a7: DUP2
000022a8: PUSH2 0x2286
000022ab: JUMP
000022ac: JUMPDEST
000022ad: SWAP3
000022ae: SWAP2
000022af: POP
000022b0: POP
000022b1: JUMP
000022b2: JUMPDEST
000022b3: PUSH1 0x00
000022b5: PUSH1 0x20
000022b7: DUP3
000022b8: DUP5
000022b9: SUB
000022ba: SLT
000022bb: ISZERO
000022bc: PUSH2 0x22c8
000022bf: JUMPI
000022c0: PUSH2 0x22c7
000022c3: PUSH2 0x1711
000022c6: JUMP
000022c7: JUMPDEST
000022c8: JUMPDEST
000022c9: PUSH1 0x00
000022cb: PUSH2 0x22d6
000022ce: DUP5
000022cf: DUP3
000022d0: DUP6
000022d1: ADD
000022d2: PUSH2 0x229d
000022d5: JUMP
000022d6: JUMPDEST
000022d7: SWAP2
000022d8: POP
000022d9: POP
000022da: SWAP3
000022db: SWAP2
000022dc: POP
000022dd: POP
000022de: JUMP
000022df: JUMPDEST
000022e0: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00002301: PUSH1 0x00
00002303: DUP3
00002304: ADD
00002305: MSTORE
00002306: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
00002327: PUSH1 0x20
00002329: DUP3
0000232a: ADD
0000232b: MSTORE
0000232c: POP
0000232d: JUMP
0000232e: JUMPDEST
0000232f: PUSH1 0x00
00002331: PUSH2 0x233b
00002334: PUSH1 0x2a
00002336: DUP4
00002337: PUSH2 0x1d25
0000233a: JUMP
0000233b: JUMPDEST
0000233c: SWAP2
0000233d: POP
0000233e: PUSH2 0x2346
00002341: DUP3
00002342: PUSH2 0x22df
00002345: JUMP
00002346: JUMPDEST
00002347: PUSH1 0x40
00002349: DUP3
0000234a: ADD
0000234b: SWAP1
0000234c: POP
0000234d: SWAP2
0000234e: SWAP1
0000234f: POP
00002350: JUMP
00002351: JUMPDEST
00002352: PUSH1 0x00
00002354: PUSH1 0x20
00002356: DUP3
00002357: ADD
00002358: SWAP1
00002359: POP
0000235a: DUP2
0000235b: DUP2
0000235c: SUB
0000235d: PUSH1 0x00
0000235f: DUP4
00002360: ADD
00002361: MSTORE
00002362: PUSH2 0x236a
00002365: DUP2
00002366: PUSH2 0x232e
00002369: JUMP
0000236a: JUMPDEST
0000236b: SWAP1
0000236c: POP
0000236d: SWAP2
0000236e: SWAP1
0000236f: POP
00002370: JUMP
00002371: JUMPDEST
00002372: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
00002393: PUSH1 0x00
00002395: DUP3
00002396: ADD
00002397: MSTORE
00002398: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000
000023b9: PUSH1 0x20
000023bb: DUP3
000023bc: ADD
000023bd: MSTORE
000023be: POP
000023bf: JUMP
000023c0: JUMPDEST
000023c1: PUSH1 0x00
000023c3: PUSH2 0x23cd
000023c6: PUSH1 0x26
000023c8: DUP4
000023c9: PUSH2 0x1d25
000023cc: JUMP
000023cd: JUMPDEST
000023ce: SWAP2
000023cf: POP
000023d0: PUSH2 0x23d8
000023d3: DUP3
000023d4: PUSH2 0x2371
000023d7: JUMP
000023d8: JUMPDEST
000023d9: PUSH1 0x40
000023db: DUP3
000023dc: ADD
000023dd: SWAP1
000023de: POP
000023df: SWAP2
000023e0: SWAP1
000023e1: POP
000023e2: JUMP
000023e3: JUMPDEST
000023e4: PUSH1 0x00
000023e6: PUSH1 0x20
000023e8: DUP3
000023e9: ADD
000023ea: SWAP1
000023eb: POP
000023ec: DUP2
000023ed: DUP2
000023ee: SUB
000023ef: PUSH1 0x00
000023f1: DUP4
000023f2: ADD
000023f3: MSTORE
000023f4: PUSH2 0x23fc
000023f7: DUP2
000023f8: PUSH2 0x23c0
000023fb: JUMP
000023fc: JUMPDEST
000023fd: SWAP1
000023fe: POP
000023ff: SWAP2
00002400: SWAP1
00002401: POP
00002402: JUMP
00002403: JUMPDEST
00002404: PUSH1 0x00
00002406: DUP2
00002407: MLOAD
00002408: SWAP1
00002409: POP
0000240a: SWAP2
0000240b: SWAP1
0000240c: POP
0000240d: JUMP
0000240e: JUMPDEST
0000240f: PUSH1 0x00
00002411: PUSH2 0x2419
00002414: DUP3
00002415: PUSH2 0x2403
00002418: JUMP
00002419: JUMPDEST
0000241a: PUSH2 0x2423
0000241d: DUP2
0000241e: DUP6
0000241f: PUSH2 0x1cdf
00002422: JUMP
00002423: JUMPDEST
00002424: SWAP4
00002425: POP
00002426: PUSH2 0x2433
00002429: DUP2
0000242a: DUP6
0000242b: PUSH1 0x20
0000242d: DUP7
0000242e: ADD
0000242f: PUSH2 0x1c30
00002432: JUMP
00002433: JUMPDEST
00002434: DUP1
00002435: DUP5
00002436: ADD
00002437: SWAP2
00002438: POP
00002439: POP
0000243a: SWAP3
0000243b: SWAP2
0000243c: POP
0000243d: POP
0000243e: JUMP
0000243f: JUMPDEST
00002440: PUSH1 0x00
00002442: PUSH2 0x244b
00002445: DUP3
00002446: DUP5
00002447: PUSH2 0x240e
0000244a: JUMP
0000244b: JUMPDEST
0000244c: SWAP2
0000244d: POP
0000244e: DUP2
0000244f: SWAP1
00002450: POP
00002451: SWAP3
00002452: SWAP2
00002453: POP
00002454: POP
00002455: JUMP
00002456: JUMPDEST
00002457: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002478: PUSH1 0x00
0000247a: DUP3
0000247b: ADD
0000247c: MSTORE
0000247d: POP
0000247e: JUMP
0000247f: JUMPDEST
00002480: PUSH1 0x00
00002482: PUSH2 0x248c
00002485: PUSH1 0x1d
00002487: DUP4
00002488: PUSH2 0x1d25
0000248b: JUMP
0000248c: JUMPDEST
0000248d: SWAP2
0000248e: POP
0000248f: PUSH2 0x2497
00002492: DUP3
00002493: PUSH2 0x2456
00002496: JUMP
00002497: JUMPDEST
00002498: PUSH1 0x20
0000249a: DUP3
0000249b: ADD
0000249c: SWAP1
0000249d: POP
0000249e: SWAP2
0000249f: SWAP1
000024a0: POP
000024a1: JUMP
000024a2: JUMPDEST
000024a3: PUSH1 0x00
000024a5: PUSH1 0x20
000024a7: DUP3
000024a8: ADD
000024a9: SWAP1
000024aa: POP
000024ab: DUP2
000024ac: DUP2
000024ad: SUB
000024ae: PUSH1 0x00
000024b0: DUP4
000024b1: ADD
000024b2: MSTORE
000024b3: PUSH2 0x24bb
000024b6: DUP2
000024b7: PUSH2 0x247f
000024ba: JUMP
000024bb: JUMPDEST
000024bc: SWAP1
000024bd: POP
000024be: SWAP2
000024bf: SWAP1
000024c0: POP
000024c1: JUMP
000024c2: JUMPDEST
000024c3: PUSH1 0x00
000024c5: PUSH1 0x20
000024c7: DUP3
000024c8: ADD
000024c9: SWAP1
000024ca: POP
000024cb: DUP2
000024cc: DUP2
000024cd: SUB
000024ce: PUSH1 0x00
000024d0: DUP4
000024d1: ADD
000024d2: MSTORE
000024d3: PUSH2 0x24dc
000024d6: DUP2
000024d7: DUP5
000024d8: PUSH2 0x1f61
000024db: JUMP
000024dc: JUMPDEST
000024dd: SWAP1
000024de: POP
000024df: SWAP3
000024e0: SWAP2
000024e1: POP
000024e2: POP
000024e3: JUMP
000024e4: INVALID
000024e5: LOG2
000024e6: PUSH5 0x6970667358
000024ec: UNKNOWN(0x22)
000024ed: SLT
000024ee: KECCAK256
000024ef: UNKNOWN(0xB9)
000024f0: PUSH27 0x63068191a0a4d5b6387e182d4ca88db35d2a2160535d9c5530ea46
0000250c: SWAP12
0000250d: UNKNOWN(0xE6)
0000250e: UNKNOWN(0xBE)
0000250f: PUSH5 0x736f6c6343
00002515: STOP
00002516: ADDMOD
00002517: SIGNEXTEND
00002518: STOP
00002519: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xdcda1be502a4e84aba6cb87ffa6a70e11a8bf18d5fb2a4fb21946b4434a37bf7
call_targets: 0xe84cba71588f06a29af082d4db6ef02a58e3149d
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xdcda1be502a4e84aba6cb87ffa6a70e11a8bf18d5fb2a4fb21946b4434a37bf7",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe84cba71588f06a29af082d4db6ef02a58e3149d"
    ],
    "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": "0x9d1b464a",
            "selector": "0x9d1b464a",
            "calldata_variants": [
                "0x9d1b464a",
                "0x9d1b464a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa90cc445",
            "selector": "0xa90cc445",
            "calldata_variants": [
                "0xa90cc445",
                "0xa90cc4450000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaafb7ff0",
            "selector": "0xaafb7ff0",
            "calldata_variants": [
                "0xaafb7ff0",
                "0xaafb7ff00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb84c35b3",
            "selector": "0xb84c35b3",
            "calldata_variants": [
                "0xb84c35b3",
                "0xb84c35b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbfa1a855",
            "selector": "0xbfa1a855",
            "calldata_variants": [
                "0xbfa1a855",
                "0xbfa1a8550000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7fc6686e",
            "selector": "0x7fc6686e",
            "calldata_variants": [
                "0x7fc6686e",
                "0x7fc6686e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8504cf72",
            "selector": "0x8504cf72",
            "calldata_variants": [
                "0x8504cf72",
                "0x8504cf720000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2057,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2229,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2442,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [],
    "untrusted_call_count": 4
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xdcda1be502a4e84aba6cb87ffa6a70e11a8bf18d5fb2a4fb21946b4434a37bf7
call_targets: 0xe84cba71588f06a29af082d4db6ef02a58e3149d
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xdcda1be502a4e84aba6cb87ffa6a70e11a8bf18d5fb2a4fb21946b4434a37bf7",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe84cba71588f06a29af082d4db6ef02a58e3149d"
    ],
    "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": "0x9d1b464a",
            "selector": "0x9d1b464a",
            "calldata_variants": [
                "0x9d1b464a",
                "0x9d1b464a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa90cc445",
            "selector": "0xa90cc445",
            "calldata_variants": [
                "0xa90cc445",
                "0xa90cc4450000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaafb7ff0",
            "selector": "0xaafb7ff0",
            "calldata_variants": [
                "0xaafb7ff0",
                "0xaafb7ff00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb84c35b3",
            "selector": "0xb84c35b3",
            "calldata_variants": [
                "0xb84c35b3",
                "0xb84c35b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbfa1a855",
            "selector": "0xbfa1a855",
            "calldata_variants": [
                "0xbfa1a855",
                "0xbfa1a8550000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7fc6686e",
            "selector": "0x7fc6686e",
            "calldata_variants": [
                "0x7fc6686e",
                "0x7fc6686e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8504cf72",
            "selector": "0x8504cf72",
            "calldata_variants": [
                "0x8504cf72",
                "0x8504cf720000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2057,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2229,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2442,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": []
}