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

019b477e-b7c1-71c9-be61-299a8455b200
complete
Chain ID
Address
0x0d43d69d8a5580c9b9f736b9476440ef9578cbc7
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
Validated
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
23333	artifact.fetch	complete	1 / 3	4 months ago
23334	tool.cast_disasm	complete	1 / 3	4 months ago
66234	analysis.bundle	complete	1 / 3	2 weeks ago
66235	capability.graph	complete	1 / 3	2 weeks ago
66236	detector.run	complete	1 / 3	2 weeks ago
66237	validation.fork	complete	1 / 3	2 weeks ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
Selfdestruct
CREATE2
CALL-family (heavy)
EXT*/BALANCE
Total opcodes
9551
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01cd
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8129fc1c
00000019: GT
0000001a: PUSH2 0x00f7
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xd809d248
00000024: GT
00000025: PUSH2 0x0095
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe138cd3a
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe138cd3a
0000003a: EQ
0000003b: PUSH2 0x0c6f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe1489191
00000045: EQ
00000046: PUSH2 0x0c9a
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xfbbfa574
00000050: EQ
00000051: PUSH2 0x0cc5
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfdb0a43e
0000005b: EQ
0000005c: PUSH2 0x0cf0
0000005f: JUMPI
00000060: PUSH2 0x01cd
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xd809d248
0000006b: EQ
0000006c: PUSH2 0x0b30
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xd8d40cee
00000076: EQ
00000077: PUSH2 0x0b47
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xdc0ed854
00000081: EQ
00000082: PUSH2 0x0b72
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xe06e0e22
0000008c: EQ
0000008d: PUSH2 0x0bc9
00000090: JUMPI
00000091: PUSH2 0x01cd
00000094: JUMP
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0x953b8fb8
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x953b8fb8
000000a7: EQ
000000a8: PUSH2 0x09e1
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xad61ccd5
000000b2: EQ
000000b3: PUSH2 0x0a0c
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xce4aa49d
000000bd: EQ
000000be: PUSH2 0x0a9c
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xd297a89f
000000c8: EQ
000000c9: PUSH2 0x0b05
000000cc: JUMPI
000000cd: PUSH2 0x01cd
000000d0: JUMP
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x8129fc1c
000000d8: EQ
000000d9: PUSH2 0x07a9
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x83947ea0
000000e3: EQ
000000e4: PUSH2 0x07c0
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x89a2cdcb
000000ee: EQ
000000ef: PUSH2 0x098e
000000f2: JUMPI
000000f3: PUSH2 0x01cd
000000f6: JUMP
000000f7: JUMPDEST
000000f8: DUP1
000000f9: PUSH4 0x3b6e345b
000000fe: GT
000000ff: PUSH2 0x016f
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x720927dc
00000109: GT
0000010a: PUSH2 0x013e
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x720927dc
00000114: EQ
00000115: PUSH2 0x05e4
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x74e861d6
0000011f: EQ
00000120: PUSH2 0x0649
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x758fbbee
0000012a: EQ
0000012b: PUSH2 0x06a0
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x80274db7
00000135: EQ
00000136: PUSH2 0x070f
00000139: JUMPI
0000013a: PUSH2 0x01cd
0000013d: JUMP
0000013e: JUMPDEST
0000013f: DUP1
00000140: PUSH4 0x3b6e345b
00000145: EQ
00000146: PUSH2 0x0524
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x3fadcc66
00000150: EQ
00000151: PUSH2 0x0553
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x65e23ce3
0000015b: EQ
0000015c: PUSH2 0x057e
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x67dd74ca
00000166: EQ
00000167: PUSH2 0x05a9
0000016a: JUMPI
0000016b: PUSH2 0x01cd
0000016e: JUMP
0000016f: JUMPDEST
00000170: DUP1
00000171: PUSH4 0x1220e2ff
00000176: GT
00000177: PUSH2 0x01ab
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x1220e2ff
00000181: EQ
00000182: PUSH2 0x02a7
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x27dc297e
0000018c: EQ
0000018d: PUSH2 0x02be
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x29dcb0cf
00000197: EQ
00000198: PUSH2 0x0390
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x38bbfa50
000001a2: EQ
000001a3: PUSH2 0x03bb
000001a6: JUMPI
000001a7: PUSH2 0x01cd
000001aa: JUMP
000001ab: JUMPDEST
000001ac: DUP1
000001ad: PUSH4 0x0cba0be0
000001b2: EQ
000001b3: PUSH2 0x01cf
000001b6: JUMPI
000001b7: DUP1
000001b8: PUSH4 0x117a5b90
000001bd: EQ
000001be: PUSH2 0x01fa
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x1209b1f6
000001c8: EQ
000001c9: PUSH2 0x027c
000001cc: JUMPI
000001cd: JUMPDEST
000001ce: STOP
000001cf: JUMPDEST
000001d0: CALLVALUE
000001d1: DUP1
000001d2: ISZERO
000001d3: PUSH2 0x01db
000001d6: JUMPI
000001d7: PUSH1 0x00
000001d9: DUP1
000001da: REVERT
000001db: JUMPDEST
000001dc: POP
000001dd: PUSH2 0x01e4
000001e0: PUSH2 0x0d1b
000001e3: JUMP
000001e4: JUMPDEST
000001e5: PUSH1 0x40
000001e7: MLOAD
000001e8: DUP1
000001e9: DUP3
000001ea: DUP2
000001eb: MSTORE
000001ec: PUSH1 0x20
000001ee: ADD
000001ef: SWAP2
000001f0: POP
000001f1: POP
000001f2: PUSH1 0x40
000001f4: MLOAD
000001f5: DUP1
000001f6: SWAP2
000001f7: SUB
000001f8: SWAP1
000001f9: RETURN
000001fa: JUMPDEST
000001fb: CALLVALUE
000001fc: DUP1
000001fd: ISZERO
000001fe: PUSH2 0x0206
00000201: JUMPI
00000202: PUSH1 0x00
00000204: DUP1
00000205: REVERT
00000206: JUMPDEST
00000207: POP
00000208: PUSH2 0x0233
0000020b: PUSH1 0x04
0000020d: DUP1
0000020e: CALLDATASIZE
0000020f: SUB
00000210: PUSH1 0x20
00000212: DUP2
00000213: LT
00000214: ISZERO
00000215: PUSH2 0x021d
00000218: JUMPI
00000219: PUSH1 0x00
0000021b: DUP1
0000021c: REVERT
0000021d: JUMPDEST
0000021e: DUP2
0000021f: ADD
00000220: SWAP1
00000221: DUP1
00000222: DUP1
00000223: CALLDATALOAD
00000224: SWAP1
00000225: PUSH1 0x20
00000227: ADD
00000228: SWAP1
00000229: SWAP3
0000022a: SWAP2
0000022b: SWAP1
0000022c: POP
0000022d: POP
0000022e: POP
0000022f: PUSH2 0x0d21
00000232: JUMP
00000233: JUMPDEST
00000234: PUSH1 0x40
00000236: MLOAD
00000237: DUP1
00000238: DUP4
00000239: DUP2
0000023a: MSTORE
0000023b: PUSH1 0x20
0000023d: ADD
0000023e: DUP3
0000023f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000254: AND
00000255: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000026a: AND
0000026b: DUP2
0000026c: MSTORE
0000026d: PUSH1 0x20
0000026f: ADD
00000270: SWAP3
00000271: POP
00000272: POP
00000273: POP
00000274: PUSH1 0x40
00000276: MLOAD
00000277: DUP1
00000278: SWAP2
00000279: SUB
0000027a: SWAP1
0000027b: RETURN
0000027c: JUMPDEST
0000027d: CALLVALUE
0000027e: DUP1
0000027f: ISZERO
00000280: PUSH2 0x0288
00000283: JUMPI
00000284: PUSH1 0x00
00000286: DUP1
00000287: REVERT
00000288: JUMPDEST
00000289: POP
0000028a: PUSH2 0x0291
0000028d: PUSH2 0x0d65
00000290: JUMP
00000291: JUMPDEST
00000292: PUSH1 0x40
00000294: MLOAD
00000295: DUP1
00000296: DUP3
00000297: DUP2
00000298: MSTORE
00000299: PUSH1 0x20
0000029b: ADD
0000029c: SWAP2
0000029d: POP
0000029e: POP
0000029f: PUSH1 0x40
000002a1: MLOAD
000002a2: DUP1
000002a3: SWAP2
000002a4: SUB
000002a5: SWAP1
000002a6: RETURN
000002a7: JUMPDEST
000002a8: CALLVALUE
000002a9: DUP1
000002aa: ISZERO
000002ab: PUSH2 0x02b3
000002ae: JUMPI
000002af: PUSH1 0x00
000002b1: DUP1
000002b2: REVERT
000002b3: JUMPDEST
000002b4: POP
000002b5: PUSH2 0x02bc
000002b8: PUSH2 0x0d6b
000002bb: JUMP
000002bc: JUMPDEST
000002bd: STOP
000002be: JUMPDEST
000002bf: CALLVALUE
000002c0: DUP1
000002c1: ISZERO
000002c2: PUSH2 0x02ca
000002c5: JUMPI
000002c6: PUSH1 0x00
000002c8: DUP1
000002c9: REVERT
000002ca: JUMPDEST
000002cb: POP
000002cc: PUSH2 0x038e
000002cf: PUSH1 0x04
000002d1: DUP1
000002d2: CALLDATASIZE
000002d3: SUB
000002d4: PUSH1 0x40
000002d6: DUP2
000002d7: LT
000002d8: ISZERO
000002d9: PUSH2 0x02e1
000002dc: JUMPI
000002dd: PUSH1 0x00
000002df: DUP1
000002e0: REVERT
000002e1: JUMPDEST
000002e2: DUP2
000002e3: ADD
000002e4: SWAP1
000002e5: DUP1
000002e6: DUP1
000002e7: CALLDATALOAD
000002e8: SWAP1
000002e9: PUSH1 0x20
000002eb: ADD
000002ec: SWAP1
000002ed: SWAP3
000002ee: SWAP2
000002ef: SWAP1
000002f0: DUP1
000002f1: CALLDATALOAD
000002f2: SWAP1
000002f3: PUSH1 0x20
000002f5: ADD
000002f6: SWAP1
000002f7: PUSH5 0x0100000000
000002fd: DUP2
000002fe: GT
000002ff: ISZERO
00000300: PUSH2 0x0308
00000303: JUMPI
00000304: PUSH1 0x00
00000306: DUP1
00000307: REVERT
00000308: JUMPDEST
00000309: DUP3
0000030a: ADD
0000030b: DUP4
0000030c: PUSH1 0x20
0000030e: DUP3
0000030f: ADD
00000310: GT
00000311: ISZERO
00000312: PUSH2 0x031a
00000315: JUMPI
00000316: PUSH1 0x00
00000318: DUP1
00000319: REVERT
0000031a: JUMPDEST
0000031b: DUP1
0000031c: CALLDATALOAD
0000031d: SWAP1
0000031e: PUSH1 0x20
00000320: ADD
00000321: SWAP2
00000322: DUP5
00000323: PUSH1 0x01
00000325: DUP4
00000326: MUL
00000327: DUP5
00000328: ADD
00000329: GT
0000032a: PUSH5 0x0100000000
00000330: DUP4
00000331: GT
00000332: OR
00000333: ISZERO
00000334: PUSH2 0x033c
00000337: JUMPI
00000338: PUSH1 0x00
0000033a: DUP1
0000033b: REVERT
0000033c: JUMPDEST
0000033d: SWAP2
0000033e: SWAP1
0000033f: DUP1
00000340: DUP1
00000341: PUSH1 0x1f
00000343: ADD
00000344: PUSH1 0x20
00000346: DUP1
00000347: SWAP2
00000348: DIV
00000349: MUL
0000034a: PUSH1 0x20
0000034c: ADD
0000034d: PUSH1 0x40
0000034f: MLOAD
00000350: SWAP1
00000351: DUP2
00000352: ADD
00000353: PUSH1 0x40
00000355: MSTORE
00000356: DUP1
00000357: SWAP4
00000358: SWAP3
00000359: SWAP2
0000035a: SWAP1
0000035b: DUP2
0000035c: DUP2
0000035d: MSTORE
0000035e: PUSH1 0x20
00000360: ADD
00000361: DUP4
00000362: DUP4
00000363: DUP1
00000364: DUP3
00000365: DUP5
00000366: CALLDATACOPY
00000367: PUSH1 0x00
00000369: DUP2
0000036a: DUP5
0000036b: ADD
0000036c: MSTORE
0000036d: PUSH1 0x1f
0000036f: NOT
00000370: PUSH1 0x1f
00000372: DUP3
00000373: ADD
00000374: AND
00000375: SWAP1
00000376: POP
00000377: DUP1
00000378: DUP4
00000379: ADD
0000037a: SWAP3
0000037b: POP
0000037c: POP
0000037d: POP
0000037e: POP
0000037f: POP
00000380: POP
00000381: POP
00000382: SWAP2
00000383: SWAP3
00000384: SWAP2
00000385: SWAP3
00000386: SWAP1
00000387: POP
00000388: POP
00000389: POP
0000038a: PUSH2 0x0d8a
0000038d: JUMP
0000038e: JUMPDEST
0000038f: STOP
00000390: JUMPDEST
00000391: CALLVALUE
00000392: DUP1
00000393: ISZERO
00000394: PUSH2 0x039c
00000397: JUMPI
00000398: PUSH1 0x00
0000039a: DUP1
0000039b: REVERT
0000039c: JUMPDEST
0000039d: POP
0000039e: PUSH2 0x03a5
000003a1: PUSH2 0x0f00
000003a4: JUMP
000003a5: JUMPDEST
000003a6: PUSH1 0x40
000003a8: MLOAD
000003a9: DUP1
000003aa: DUP3
000003ab: DUP2
000003ac: MSTORE
000003ad: PUSH1 0x20
000003af: ADD
000003b0: SWAP2
000003b1: POP
000003b2: POP
000003b3: PUSH1 0x40
000003b5: MLOAD
000003b6: DUP1
000003b7: SWAP2
000003b8: SUB
000003b9: SWAP1
000003ba: RETURN
000003bb: JUMPDEST
000003bc: CALLVALUE
000003bd: DUP1
000003be: ISZERO
000003bf: PUSH2 0x03c7
000003c2: JUMPI
000003c3: PUSH1 0x00
000003c5: DUP1
000003c6: REVERT
000003c7: JUMPDEST
000003c8: POP
000003c9: PUSH2 0x0522
000003cc: PUSH1 0x04
000003ce: DUP1
000003cf: CALLDATASIZE
000003d0: SUB
000003d1: PUSH1 0x60
000003d3: DUP2
000003d4: LT
000003d5: ISZERO
000003d6: PUSH2 0x03de
000003d9: JUMPI
000003da: PUSH1 0x00
000003dc: DUP1
000003dd: REVERT
000003de: JUMPDEST
000003df: DUP2
000003e0: ADD
000003e1: SWAP1
000003e2: DUP1
000003e3: DUP1
000003e4: CALLDATALOAD
000003e5: SWAP1
000003e6: PUSH1 0x20
000003e8: ADD
000003e9: SWAP1
000003ea: SWAP3
000003eb: SWAP2
000003ec: SWAP1
000003ed: DUP1
000003ee: CALLDATALOAD
000003ef: SWAP1
000003f0: PUSH1 0x20
000003f2: ADD
000003f3: SWAP1
000003f4: PUSH5 0x0100000000
000003fa: DUP2
000003fb: GT
000003fc: ISZERO
000003fd: PUSH2 0x0405
00000400: JUMPI
00000401: PUSH1 0x00
00000403: DUP1
00000404: REVERT
00000405: JUMPDEST
00000406: DUP3
00000407: ADD
00000408: DUP4
00000409: PUSH1 0x20
0000040b: DUP3
0000040c: ADD
0000040d: GT
0000040e: ISZERO
0000040f: PUSH2 0x0417
00000412: JUMPI
00000413: PUSH1 0x00
00000415: DUP1
00000416: REVERT
00000417: JUMPDEST
00000418: DUP1
00000419: CALLDATALOAD
0000041a: SWAP1
0000041b: PUSH1 0x20
0000041d: ADD
0000041e: SWAP2
0000041f: DUP5
00000420: PUSH1 0x01
00000422: DUP4
00000423: MUL
00000424: DUP5
00000425: ADD
00000426: GT
00000427: PUSH5 0x0100000000
0000042d: DUP4
0000042e: GT
0000042f: OR
00000430: ISZERO
00000431: PUSH2 0x0439
00000434: JUMPI
00000435: PUSH1 0x00
00000437: DUP1
00000438: REVERT
00000439: JUMPDEST
0000043a: SWAP2
0000043b: SWAP1
0000043c: DUP1
0000043d: DUP1
0000043e: PUSH1 0x1f
00000440: ADD
00000441: PUSH1 0x20
00000443: DUP1
00000444: SWAP2
00000445: DIV
00000446: MUL
00000447: PUSH1 0x20
00000449: ADD
0000044a: PUSH1 0x40
0000044c: MLOAD
0000044d: SWAP1
0000044e: DUP2
0000044f: ADD
00000450: PUSH1 0x40
00000452: MSTORE
00000453: DUP1
00000454: SWAP4
00000455: SWAP3
00000456: SWAP2
00000457: SWAP1
00000458: DUP2
00000459: DUP2
0000045a: MSTORE
0000045b: PUSH1 0x20
0000045d: ADD
0000045e: DUP4
0000045f: DUP4
00000460: DUP1
00000461: DUP3
00000462: DUP5
00000463: CALLDATACOPY
00000464: PUSH1 0x00
00000466: DUP2
00000467: DUP5
00000468: ADD
00000469: MSTORE
0000046a: PUSH1 0x1f
0000046c: NOT
0000046d: PUSH1 0x1f
0000046f: DUP3
00000470: ADD
00000471: AND
00000472: SWAP1
00000473: POP
00000474: DUP1
00000475: DUP4
00000476: ADD
00000477: SWAP3
00000478: POP
00000479: POP
0000047a: POP
0000047b: POP
0000047c: POP
0000047d: POP
0000047e: POP
0000047f: SWAP2
00000480: SWAP3
00000481: SWAP2
00000482: SWAP3
00000483: SWAP1
00000484: DUP1
00000485: CALLDATALOAD
00000486: SWAP1
00000487: PUSH1 0x20
00000489: ADD
0000048a: SWAP1
0000048b: PUSH5 0x0100000000
00000491: DUP2
00000492: GT
00000493: ISZERO
00000494: PUSH2 0x049c
00000497: JUMPI
00000498: PUSH1 0x00
0000049a: DUP1
0000049b: REVERT
0000049c: JUMPDEST
0000049d: DUP3
0000049e: ADD
0000049f: DUP4
000004a0: PUSH1 0x20
000004a2: DUP3
000004a3: ADD
000004a4: GT
000004a5: ISZERO
000004a6: PUSH2 0x04ae
000004a9: JUMPI
000004aa: PUSH1 0x00
000004ac: DUP1
000004ad: REVERT
000004ae: JUMPDEST
000004af: DUP1
000004b0: CALLDATALOAD
000004b1: SWAP1
000004b2: PUSH1 0x20
000004b4: ADD
000004b5: SWAP2
000004b6: DUP5
000004b7: PUSH1 0x01
000004b9: DUP4
000004ba: MUL
000004bb: DUP5
000004bc: ADD
000004bd: GT
000004be: PUSH5 0x0100000000
000004c4: DUP4
000004c5: GT
000004c6: OR
000004c7: ISZERO
000004c8: PUSH2 0x04d0
000004cb: JUMPI
000004cc: PUSH1 0x00
000004ce: DUP1
000004cf: REVERT
000004d0: JUMPDEST
000004d1: SWAP2
000004d2: SWAP1
000004d3: DUP1
000004d4: DUP1
000004d5: PUSH1 0x1f
000004d7: ADD
000004d8: PUSH1 0x20
000004da: DUP1
000004db: SWAP2
000004dc: DIV
000004dd: MUL
000004de: PUSH1 0x20
000004e0: ADD
000004e1: PUSH1 0x40
000004e3: MLOAD
000004e4: SWAP1
000004e5: DUP2
000004e6: ADD
000004e7: PUSH1 0x40
000004e9: MSTORE
000004ea: DUP1
000004eb: SWAP4
000004ec: SWAP3
000004ed: SWAP2
000004ee: SWAP1
000004ef: DUP2
000004f0: DUP2
000004f1: MSTORE
000004f2: PUSH1 0x20
000004f4: ADD
000004f5: DUP4
000004f6: DUP4
000004f7: DUP1
000004f8: DUP3
000004f9: DUP5
000004fa: CALLDATACOPY
000004fb: PUSH1 0x00
000004fd: DUP2
000004fe: DUP5
000004ff: ADD
00000500: MSTORE
00000501: PUSH1 0x1f
00000503: NOT
00000504: PUSH1 0x1f
00000506: DUP3
00000507: ADD
00000508: AND
00000509: SWAP1
0000050a: POP
0000050b: DUP1
0000050c: DUP4
0000050d: ADD
0000050e: SWAP3
0000050f: POP
00000510: POP
00000511: POP
00000512: POP
00000513: POP
00000514: POP
00000515: POP
00000516: SWAP2
00000517: SWAP3
00000518: SWAP2
00000519: SWAP3
0000051a: SWAP1
0000051b: POP
0000051c: POP
0000051d: POP
0000051e: PUSH2 0x0f06
00000521: JUMP
00000522: JUMPDEST
00000523: STOP
00000524: JUMPDEST
00000525: CALLVALUE
00000526: DUP1
00000527: ISZERO
00000528: PUSH2 0x0530
0000052b: JUMPI
0000052c: PUSH1 0x00
0000052e: DUP1
0000052f: REVERT
00000530: JUMPDEST
00000531: POP
00000532: PUSH2 0x0539
00000535: PUSH2 0x0f29
00000538: JUMP
00000539: JUMPDEST
0000053a: PUSH1 0x40
0000053c: MLOAD
0000053d: DUP1
0000053e: DUP3
0000053f: ISZERO
00000540: ISZERO
00000541: ISZERO
00000542: ISZERO
00000543: DUP2
00000544: MSTORE
00000545: PUSH1 0x20
00000547: ADD
00000548: SWAP2
00000549: POP
0000054a: POP
0000054b: PUSH1 0x40
0000054d: MLOAD
0000054e: DUP1
0000054f: SWAP2
00000550: SUB
00000551: SWAP1
00000552: RETURN
00000553: JUMPDEST
00000554: CALLVALUE
00000555: DUP1
00000556: ISZERO
00000557: PUSH2 0x055f
0000055a: JUMPI
0000055b: PUSH1 0x00
0000055d: DUP1
0000055e: REVERT
0000055f: JUMPDEST
00000560: POP
00000561: PUSH2 0x0568
00000564: PUSH2 0x0f3c
00000567: JUMP
00000568: JUMPDEST
00000569: PUSH1 0x40
0000056b: MLOAD
0000056c: DUP1
0000056d: DUP3
0000056e: DUP2
0000056f: MSTORE
00000570: PUSH1 0x20
00000572: ADD
00000573: SWAP2
00000574: POP
00000575: POP
00000576: PUSH1 0x40
00000578: MLOAD
00000579: DUP1
0000057a: SWAP2
0000057b: SUB
0000057c: SWAP1
0000057d: RETURN
0000057e: JUMPDEST
0000057f: CALLVALUE
00000580: DUP1
00000581: ISZERO
00000582: PUSH2 0x058a
00000585: JUMPI
00000586: PUSH1 0x00
00000588: DUP1
00000589: REVERT
0000058a: JUMPDEST
0000058b: POP
0000058c: PUSH2 0x0593
0000058f: PUSH2 0x0f42
00000592: JUMP
00000593: JUMPDEST
00000594: PUSH1 0x40
00000596: MLOAD
00000597: DUP1
00000598: DUP3
00000599: DUP2
0000059a: MSTORE
0000059b: PUSH1 0x20
0000059d: ADD
0000059e: SWAP2
0000059f: POP
000005a0: POP
000005a1: PUSH1 0x40
000005a3: MLOAD
000005a4: DUP1
000005a5: SWAP2
000005a6: SUB
000005a7: SWAP1
000005a8: RETURN
000005a9: JUMPDEST
000005aa: CALLVALUE
000005ab: DUP1
000005ac: ISZERO
000005ad: PUSH2 0x05b5
000005b0: JUMPI
000005b1: PUSH1 0x00
000005b3: DUP1
000005b4: REVERT
000005b5: JUMPDEST
000005b6: POP
000005b7: PUSH2 0x05e2
000005ba: PUSH1 0x04
000005bc: DUP1
000005bd: CALLDATASIZE
000005be: SUB
000005bf: PUSH1 0x20
000005c1: DUP2
000005c2: LT
000005c3: ISZERO
000005c4: PUSH2 0x05cc
000005c7: JUMPI
000005c8: PUSH1 0x00
000005ca: DUP1
000005cb: REVERT
000005cc: JUMPDEST
000005cd: DUP2
000005ce: ADD
000005cf: SWAP1
000005d0: DUP1
000005d1: DUP1
000005d2: CALLDATALOAD
000005d3: SWAP1
000005d4: PUSH1 0x20
000005d6: ADD
000005d7: SWAP1
000005d8: SWAP3
000005d9: SWAP2
000005da: SWAP1
000005db: POP
000005dc: POP
000005dd: POP
000005de: PUSH2 0x0f48
000005e1: JUMP
000005e2: JUMPDEST
000005e3: STOP
000005e4: JUMPDEST
000005e5: CALLVALUE
000005e6: DUP1
000005e7: ISZERO
000005e8: PUSH2 0x05f0
000005eb: JUMPI
000005ec: PUSH1 0x00
000005ee: DUP1
000005ef: REVERT
000005f0: JUMPDEST
000005f1: POP
000005f2: PUSH2 0x0633
000005f5: PUSH1 0x04
000005f7: DUP1
000005f8: CALLDATASIZE
000005f9: SUB
000005fa: PUSH1 0x20
000005fc: DUP2
000005fd: LT
000005fe: ISZERO
000005ff: PUSH2 0x0607
00000602: JUMPI
00000603: PUSH1 0x00
00000605: DUP1
00000606: REVERT
00000607: JUMPDEST
00000608: DUP2
00000609: ADD
0000060a: SWAP1
0000060b: DUP1
0000060c: DUP1
0000060d: CALLDATALOAD
0000060e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000623: AND
00000624: SWAP1
00000625: PUSH1 0x20
00000627: ADD
00000628: SWAP1
00000629: SWAP3
0000062a: SWAP2
0000062b: SWAP1
0000062c: POP
0000062d: POP
0000062e: POP
0000062f: PUSH2 0x17b0
00000632: JUMP
00000633: JUMPDEST
00000634: PUSH1 0x40
00000636: MLOAD
00000637: DUP1
00000638: DUP3
00000639: DUP2
0000063a: MSTORE
0000063b: PUSH1 0x20
0000063d: ADD
0000063e: SWAP2
0000063f: POP
00000640: POP
00000641: PUSH1 0x40
00000643: MLOAD
00000644: DUP1
00000645: SWAP2
00000646: SUB
00000647: SWAP1
00000648: RETURN
00000649: JUMPDEST
0000064a: CALLVALUE
0000064b: DUP1
0000064c: ISZERO
0000064d: PUSH2 0x0655
00000650: JUMPI
00000651: PUSH1 0x00
00000653: DUP1
00000654: REVERT
00000655: JUMPDEST
00000656: POP
00000657: PUSH2 0x065e
0000065a: PUSH2 0x17c8
0000065d: JUMP
0000065e: JUMPDEST
0000065f: PUSH1 0x40
00000661: MLOAD
00000662: DUP1
00000663: DUP3
00000664: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000679: AND
0000067a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000068f: AND
00000690: DUP2
00000691: MSTORE
00000692: PUSH1 0x20
00000694: ADD
00000695: SWAP2
00000696: POP
00000697: POP
00000698: PUSH1 0x40
0000069a: MLOAD
0000069b: DUP1
0000069c: SWAP2
0000069d: SUB
0000069e: SWAP1
0000069f: RETURN
000006a0: JUMPDEST
000006a1: CALLVALUE
000006a2: DUP1
000006a3: ISZERO
000006a4: PUSH2 0x06ac
000006a7: JUMPI
000006a8: PUSH1 0x00
000006aa: DUP1
000006ab: REVERT
000006ac: JUMPDEST
000006ad: POP
000006ae: PUSH2 0x06f9
000006b1: PUSH1 0x04
000006b3: DUP1
000006b4: CALLDATASIZE
000006b5: SUB
000006b6: PUSH1 0x40
000006b8: DUP2
000006b9: LT
000006ba: ISZERO
000006bb: PUSH2 0x06c3
000006be: JUMPI
000006bf: PUSH1 0x00
000006c1: DUP1
000006c2: REVERT
000006c3: JUMPDEST
000006c4: DUP2
000006c5: ADD
000006c6: SWAP1
000006c7: DUP1
000006c8: DUP1
000006c9: CALLDATALOAD
000006ca: SWAP1
000006cb: PUSH1 0x20
000006cd: ADD
000006ce: SWAP1
000006cf: SWAP3
000006d0: SWAP2
000006d1: SWAP1
000006d2: DUP1
000006d3: CALLDATALOAD
000006d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006e9: AND
000006ea: SWAP1
000006eb: PUSH1 0x20
000006ed: ADD
000006ee: SWAP1
000006ef: SWAP3
000006f0: SWAP2
000006f1: SWAP1
000006f2: POP
000006f3: POP
000006f4: POP
000006f5: PUSH2 0x17f2
000006f8: JUMP
000006f9: JUMPDEST
000006fa: PUSH1 0x40
000006fc: MLOAD
000006fd: DUP1
000006fe: DUP3
000006ff: DUP2
00000700: MSTORE
00000701: PUSH1 0x20
00000703: ADD
00000704: SWAP2
00000705: POP
00000706: POP
00000707: PUSH1 0x40
00000709: MLOAD
0000070a: DUP1
0000070b: SWAP2
0000070c: SUB
0000070d: SWAP1
0000070e: RETURN
0000070f: JUMPDEST
00000710: CALLVALUE
00000711: DUP1
00000712: ISZERO
00000713: PUSH2 0x071b
00000716: JUMPI
00000717: PUSH1 0x00
00000719: DUP1
0000071a: REVERT
0000071b: JUMPDEST
0000071c: POP
0000071d: PUSH2 0x0793
00000720: PUSH1 0x04
00000722: DUP1
00000723: CALLDATASIZE
00000724: SUB
00000725: PUSH1 0x20
00000727: DUP2
00000728: LT
00000729: ISZERO
0000072a: PUSH2 0x0732
0000072d: JUMPI
0000072e: PUSH1 0x00
00000730: DUP1
00000731: REVERT
00000732: JUMPDEST
00000733: DUP2
00000734: ADD
00000735: SWAP1
00000736: DUP1
00000737: DUP1
00000738: CALLDATALOAD
00000739: SWAP1
0000073a: PUSH1 0x20
0000073c: ADD
0000073d: SWAP1
0000073e: PUSH5 0x0100000000
00000744: DUP2
00000745: GT
00000746: ISZERO
00000747: PUSH2 0x074f
0000074a: JUMPI
0000074b: PUSH1 0x00
0000074d: DUP1
0000074e: REVERT
0000074f: JUMPDEST
00000750: DUP3
00000751: ADD
00000752: DUP4
00000753: PUSH1 0x20
00000755: DUP3
00000756: ADD
00000757: GT
00000758: ISZERO
00000759: PUSH2 0x0761
0000075c: JUMPI
0000075d: PUSH1 0x00
0000075f: DUP1
00000760: REVERT
00000761: JUMPDEST
00000762: DUP1
00000763: CALLDATALOAD
00000764: SWAP1
00000765: PUSH1 0x20
00000767: ADD
00000768: SWAP2
00000769: DUP5
0000076a: PUSH1 0x01
0000076c: DUP4
0000076d: MUL
0000076e: DUP5
0000076f: ADD
00000770: GT
00000771: PUSH5 0x0100000000
00000777: DUP4
00000778: GT
00000779: OR
0000077a: ISZERO
0000077b: PUSH2 0x0783
0000077e: JUMPI
0000077f: PUSH1 0x00
00000781: DUP1
00000782: REVERT
00000783: JUMPDEST
00000784: SWAP1
00000785: SWAP2
00000786: SWAP3
00000787: SWAP4
00000788: SWAP2
00000789: SWAP3
0000078a: SWAP4
0000078b: SWAP1
0000078c: POP
0000078d: POP
0000078e: POP
0000078f: PUSH2 0x1817
00000792: JUMP
00000793: JUMPDEST
00000794: PUSH1 0x40
00000796: MLOAD
00000797: DUP1
00000798: DUP3
00000799: DUP2
0000079a: MSTORE
0000079b: PUSH1 0x20
0000079d: ADD
0000079e: SWAP2
0000079f: POP
000007a0: POP
000007a1: PUSH1 0x40
000007a3: MLOAD
000007a4: DUP1
000007a5: SWAP2
000007a6: SUB
000007a7: SWAP1
000007a8: RETURN
000007a9: JUMPDEST
000007aa: CALLVALUE
000007ab: DUP1
000007ac: ISZERO
000007ad: PUSH2 0x07b5
000007b0: JUMPI
000007b1: PUSH1 0x00
000007b3: DUP1
000007b4: REVERT
000007b5: JUMPDEST
000007b6: POP
000007b7: PUSH2 0x07be
000007ba: PUSH2 0x18f9
000007bd: JUMP
000007be: JUMPDEST
000007bf: STOP
000007c0: JUMPDEST
000007c1: CALLVALUE
000007c2: DUP1
000007c3: ISZERO
000007c4: PUSH2 0x07cc
000007c7: JUMPI
000007c8: PUSH1 0x00
000007ca: DUP1
000007cb: REVERT
000007cc: JUMPDEST
000007cd: POP
000007ce: PUSH2 0x090c
000007d1: PUSH1 0x04
000007d3: DUP1
000007d4: CALLDATASIZE
000007d5: SUB
000007d6: PUSH2 0x0120
000007d9: DUP2
000007da: LT
000007db: ISZERO
000007dc: PUSH2 0x07e4
000007df: JUMPI
000007e0: PUSH1 0x00
000007e2: DUP1
000007e3: REVERT
000007e4: JUMPDEST
000007e5: DUP2
000007e6: ADD
000007e7: SWAP1
000007e8: DUP1
000007e9: DUP1
000007ea: CALLDATALOAD
000007eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000800: AND
00000801: SWAP1
00000802: PUSH1 0x20
00000804: ADD
00000805: SWAP1
00000806: SWAP3
00000807: SWAP2
00000808: SWAP1
00000809: DUP1
0000080a: CALLDATALOAD
0000080b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000820: AND
00000821: SWAP1
00000822: PUSH1 0x20
00000824: ADD
00000825: SWAP1
00000826: SWAP3
00000827: SWAP2
00000828: SWAP1
00000829: DUP1
0000082a: CALLDATALOAD
0000082b: SWAP1
0000082c: PUSH1 0x20
0000082e: ADD
0000082f: SWAP1
00000830: PUSH5 0x0100000000
00000836: DUP2
00000837: GT
00000838: ISZERO
00000839: PUSH2 0x0841
0000083c: JUMPI
0000083d: PUSH1 0x00
0000083f: DUP1
00000840: REVERT
00000841: JUMPDEST
00000842: DUP3
00000843: ADD
00000844: DUP4
00000845: PUSH1 0x20
00000847: DUP3
00000848: ADD
00000849: GT
0000084a: ISZERO
0000084b: PUSH2 0x0853
0000084e: JUMPI
0000084f: PUSH1 0x00
00000851: DUP1
00000852: REVERT
00000853: JUMPDEST
00000854: DUP1
00000855: CALLDATALOAD
00000856: SWAP1
00000857: PUSH1 0x20
00000859: ADD
0000085a: SWAP2
0000085b: DUP5
0000085c: PUSH1 0x01
0000085e: DUP4
0000085f: MUL
00000860: DUP5
00000861: ADD
00000862: GT
00000863: PUSH5 0x0100000000
00000869: DUP4
0000086a: GT
0000086b: OR
0000086c: ISZERO
0000086d: PUSH2 0x0875
00000870: JUMPI
00000871: PUSH1 0x00
00000873: DUP1
00000874: REVERT
00000875: JUMPDEST
00000876: SWAP1
00000877: SWAP2
00000878: SWAP3
00000879: SWAP4
0000087a: SWAP2
0000087b: SWAP3
0000087c: SWAP4
0000087d: SWAP1
0000087e: DUP1
0000087f: CALLDATALOAD
00000880: SWAP1
00000881: PUSH1 0x20
00000883: ADD
00000884: SWAP1
00000885: SWAP3
00000886: SWAP2
00000887: SWAP1
00000888: DUP1
00000889: CALLDATALOAD
0000088a: SWAP1
0000088b: PUSH1 0x20
0000088d: ADD
0000088e: SWAP1
0000088f: SWAP3
00000890: SWAP2
00000891: SWAP1
00000892: DUP1
00000893: CALLDATALOAD
00000894: SWAP1
00000895: PUSH1 0x20
00000897: ADD
00000898: SWAP1
00000899: SWAP3
0000089a: SWAP2
0000089b: SWAP1
0000089c: DUP1
0000089d: CALLDATALOAD
0000089e: SWAP1
0000089f: PUSH1 0x20
000008a1: ADD
000008a2: SWAP1
000008a3: SWAP3
000008a4: SWAP2
000008a5: SWAP1
000008a6: DUP1
000008a7: CALLDATALOAD
000008a8: SWAP1
000008a9: PUSH1 0x20
000008ab: ADD
000008ac: SWAP1
000008ad: PUSH5 0x0100000000
000008b3: DUP2
000008b4: GT
000008b5: ISZERO
000008b6: PUSH2 0x08be
000008b9: JUMPI
000008ba: PUSH1 0x00
000008bc: DUP1
000008bd: REVERT
000008be: JUMPDEST
000008bf: DUP3
000008c0: ADD
000008c1: DUP4
000008c2: PUSH1 0x20
000008c4: DUP3
000008c5: ADD
000008c6: GT
000008c7: ISZERO
000008c8: PUSH2 0x08d0
000008cb: JUMPI
000008cc: PUSH1 0x00
000008ce: DUP1
000008cf: REVERT
000008d0: JUMPDEST
000008d1: DUP1
000008d2: CALLDATALOAD
000008d3: SWAP1
000008d4: PUSH1 0x20
000008d6: ADD
000008d7: SWAP2
000008d8: DUP5
000008d9: PUSH1 0x01
000008db: DUP4
000008dc: MUL
000008dd: DUP5
000008de: ADD
000008df: GT
000008e0: PUSH5 0x0100000000
000008e6: DUP4
000008e7: GT
000008e8: OR
000008e9: ISZERO
000008ea: PUSH2 0x08f2
000008ed: JUMPI
000008ee: PUSH1 0x00
000008f0: DUP1
000008f1: REVERT
000008f2: JUMPDEST
000008f3: SWAP1
000008f4: SWAP2
000008f5: SWAP3
000008f6: SWAP4
000008f7: SWAP2
000008f8: SWAP3
000008f9: SWAP4
000008fa: SWAP1
000008fb: DUP1
000008fc: CALLDATALOAD
000008fd: SWAP1
000008fe: PUSH1 0x20
00000900: ADD
00000901: SWAP1
00000902: SWAP3
00000903: SWAP2
00000904: SWAP1
00000905: POP
00000906: POP
00000907: POP
00000908: PUSH2 0x1a58
0000090b: JUMP
0000090c: JUMPDEST
0000090d: PUSH1 0x40
0000090f: MLOAD
00000910: DUP1
00000911: DUP4
00000912: DUP2
00000913: MSTORE
00000914: PUSH1 0x20
00000916: ADD
00000917: DUP1
00000918: PUSH1 0x20
0000091a: ADD
0000091b: DUP3
0000091c: DUP2
0000091d: SUB
0000091e: DUP3
0000091f: MSTORE
00000920: DUP4
00000921: DUP2
00000922: DUP2
00000923: MLOAD
00000924: DUP2
00000925: MSTORE
00000926: PUSH1 0x20
00000928: ADD
00000929: SWAP2
0000092a: POP
0000092b: DUP1
0000092c: MLOAD
0000092d: SWAP1
0000092e: PUSH1 0x20
00000930: ADD
00000931: SWAP1
00000932: DUP1
00000933: DUP4
00000934: DUP4
00000935: PUSH1 0x00
00000937: JUMPDEST
00000938: DUP4
00000939: DUP2
0000093a: LT
0000093b: ISZERO
0000093c: PUSH2 0x0952
0000093f: JUMPI
00000940: DUP1
00000941: DUP3
00000942: ADD
00000943: MLOAD
00000944: DUP2
00000945: DUP5
00000946: ADD
00000947: MSTORE
00000948: PUSH1 0x20
0000094a: DUP2
0000094b: ADD
0000094c: SWAP1
0000094d: POP
0000094e: PUSH2 0x0937
00000951: JUMP
00000952: JUMPDEST
00000953: POP
00000954: POP
00000955: POP
00000956: POP
00000957: SWAP1
00000958: POP
00000959: SWAP1
0000095a: DUP2
0000095b: ADD
0000095c: SWAP1
0000095d: PUSH1 0x1f
0000095f: AND
00000960: DUP1
00000961: ISZERO
00000962: PUSH2 0x097f
00000965: JUMPI
00000966: DUP1
00000967: DUP3
00000968: SUB
00000969: DUP1
0000096a: MLOAD
0000096b: PUSH1 0x01
0000096d: DUP4
0000096e: PUSH1 0x20
00000970: SUB
00000971: PUSH2 0x0100
00000974: EXP
00000975: SUB
00000976: NOT
00000977: AND
00000978: DUP2
00000979: MSTORE
0000097a: PUSH1 0x20
0000097c: ADD
0000097d: SWAP2
0000097e: POP
0000097f: JUMPDEST
00000980: POP
00000981: SWAP4
00000982: POP
00000983: POP
00000984: POP
00000985: POP
00000986: PUSH1 0x40
00000988: MLOAD
00000989: DUP1
0000098a: SWAP2
0000098b: SUB
0000098c: SWAP1
0000098d: RETURN
0000098e: JUMPDEST
0000098f: CALLVALUE
00000990: DUP1
00000991: ISZERO
00000992: PUSH2 0x099a
00000995: JUMPI
00000996: PUSH1 0x00
00000998: DUP1
00000999: REVERT
0000099a: JUMPDEST
0000099b: POP
0000099c: PUSH2 0x09c7
0000099f: PUSH1 0x04
000009a1: DUP1
000009a2: CALLDATASIZE
000009a3: SUB
000009a4: PUSH1 0x20
000009a6: DUP2
000009a7: LT
000009a8: ISZERO
000009a9: PUSH2 0x09b1
000009ac: JUMPI
000009ad: PUSH1 0x00
000009af: DUP1
000009b0: REVERT
000009b1: JUMPDEST
000009b2: DUP2
000009b3: ADD
000009b4: SWAP1
000009b5: DUP1
000009b6: DUP1
000009b7: CALLDATALOAD
000009b8: SWAP1
000009b9: PUSH1 0x20
000009bb: ADD
000009bc: SWAP1
000009bd: SWAP3
000009be: SWAP2
000009bf: SWAP1
000009c0: POP
000009c1: POP
000009c2: POP
000009c3: PUSH2 0x1b38
000009c6: JUMP
000009c7: JUMPDEST
000009c8: PUSH1 0x40
000009ca: MLOAD
000009cb: DUP1
000009cc: DUP3
000009cd: ISZERO
000009ce: ISZERO
000009cf: ISZERO
000009d0: ISZERO
000009d1: DUP2
000009d2: MSTORE
000009d3: PUSH1 0x20
000009d5: ADD
000009d6: SWAP2
000009d7: POP
000009d8: POP
000009d9: PUSH1 0x40
000009db: MLOAD
000009dc: DUP1
000009dd: SWAP2
000009de: SUB
000009df: SWAP1
000009e0: RETURN
000009e1: JUMPDEST
000009e2: CALLVALUE
000009e3: DUP1
000009e4: ISZERO
000009e5: PUSH2 0x09ed
000009e8: JUMPI
000009e9: PUSH1 0x00
000009eb: DUP1
000009ec: REVERT
000009ed: JUMPDEST
000009ee: POP
000009ef: PUSH2 0x09f6
000009f2: PUSH2 0x1b58
000009f5: JUMP
000009f6: JUMPDEST
000009f7: PUSH1 0x40
000009f9: MLOAD
000009fa: DUP1
000009fb: DUP3
000009fc: DUP2
000009fd: MSTORE
000009fe: PUSH1 0x20
00000a00: ADD
00000a01: SWAP2
00000a02: POP
00000a03: POP
00000a04: PUSH1 0x40
00000a06: MLOAD
00000a07: DUP1
00000a08: SWAP2
00000a09: SUB
00000a0a: SWAP1
00000a0b: RETURN
00000a0c: JUMPDEST
00000a0d: CALLVALUE
00000a0e: DUP1
00000a0f: ISZERO
00000a10: PUSH2 0x0a18
00000a13: JUMPI
00000a14: PUSH1 0x00
00000a16: DUP1
00000a17: REVERT
00000a18: JUMPDEST
00000a19: POP
00000a1a: PUSH2 0x0a21
00000a1d: PUSH2 0x1b5e
00000a20: JUMP
00000a21: JUMPDEST
00000a22: PUSH1 0x40
00000a24: MLOAD
00000a25: DUP1
00000a26: DUP1
00000a27: PUSH1 0x20
00000a29: ADD
00000a2a: DUP3
00000a2b: DUP2
00000a2c: SUB
00000a2d: DUP3
00000a2e: MSTORE
00000a2f: DUP4
00000a30: DUP2
00000a31: DUP2
00000a32: MLOAD
00000a33: DUP2
00000a34: MSTORE
00000a35: PUSH1 0x20
00000a37: ADD
00000a38: SWAP2
00000a39: POP
00000a3a: DUP1
00000a3b: MLOAD
00000a3c: SWAP1
00000a3d: PUSH1 0x20
00000a3f: ADD
00000a40: SWAP1
00000a41: DUP1
00000a42: DUP4
00000a43: DUP4
00000a44: PUSH1 0x00
00000a46: JUMPDEST
00000a47: DUP4
00000a48: DUP2
00000a49: LT
00000a4a: ISZERO
00000a4b: PUSH2 0x0a61
00000a4e: JUMPI
00000a4f: DUP1
00000a50: DUP3
00000a51: ADD
00000a52: MLOAD
00000a53: DUP2
00000a54: DUP5
00000a55: ADD
00000a56: MSTORE
00000a57: PUSH1 0x20
00000a59: DUP2
00000a5a: ADD
00000a5b: SWAP1
00000a5c: POP
00000a5d: PUSH2 0x0a46
00000a60: JUMP
00000a61: JUMPDEST
00000a62: POP
00000a63: POP
00000a64: POP
00000a65: POP
00000a66: SWAP1
00000a67: POP
00000a68: SWAP1
00000a69: DUP2
00000a6a: ADD
00000a6b: SWAP1
00000a6c: PUSH1 0x1f
00000a6e: AND
00000a6f: DUP1
00000a70: ISZERO
00000a71: PUSH2 0x0a8e
00000a74: JUMPI
00000a75: DUP1
00000a76: DUP3
00000a77: SUB
00000a78: DUP1
00000a79: MLOAD
00000a7a: PUSH1 0x01
00000a7c: DUP4
00000a7d: PUSH1 0x20
00000a7f: SUB
00000a80: PUSH2 0x0100
00000a83: EXP
00000a84: SUB
00000a85: NOT
00000a86: AND
00000a87: DUP2
00000a88: MSTORE
00000a89: PUSH1 0x20
00000a8b: ADD
00000a8c: SWAP2
00000a8d: POP
00000a8e: JUMPDEST
00000a8f: POP
00000a90: SWAP3
00000a91: POP
00000a92: POP
00000a93: POP
00000a94: PUSH1 0x40
00000a96: MLOAD
00000a97: DUP1
00000a98: SWAP2
00000a99: SUB
00000a9a: SWAP1
00000a9b: RETURN
00000a9c: JUMPDEST
00000a9d: CALLVALUE
00000a9e: DUP1
00000a9f: ISZERO
00000aa0: PUSH2 0x0aa8
00000aa3: JUMPI
00000aa4: PUSH1 0x00
00000aa6: DUP1
00000aa7: REVERT
00000aa8: JUMPDEST
00000aa9: POP
00000aaa: PUSH2 0x0aeb
00000aad: PUSH1 0x04
00000aaf: DUP1
00000ab0: CALLDATASIZE
00000ab1: SUB
00000ab2: PUSH1 0x20
00000ab4: DUP2
00000ab5: LT
00000ab6: ISZERO
00000ab7: PUSH2 0x0abf
00000aba: JUMPI
00000abb: PUSH1 0x00
00000abd: DUP1
00000abe: REVERT
00000abf: JUMPDEST
00000ac0: DUP2
00000ac1: ADD
00000ac2: SWAP1
00000ac3: DUP1
00000ac4: DUP1
00000ac5: CALLDATALOAD
00000ac6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000adb: AND
00000adc: SWAP1
00000add: PUSH1 0x20
00000adf: ADD
00000ae0: SWAP1
00000ae1: SWAP3
00000ae2: SWAP2
00000ae3: SWAP1
00000ae4: POP
00000ae5: POP
00000ae6: POP
00000ae7: PUSH2 0x1b9b
00000aea: JUMP
00000aeb: JUMPDEST
00000aec: PUSH1 0x40
00000aee: MLOAD
00000aef: DUP1
00000af0: DUP3
00000af1: ISZERO
00000af2: ISZERO
00000af3: ISZERO
00000af4: ISZERO
00000af5: DUP2
00000af6: MSTORE
00000af7: PUSH1 0x20
00000af9: ADD
00000afa: SWAP2
00000afb: POP
00000afc: POP
00000afd: PUSH1 0x40
00000aff: MLOAD
00000b00: DUP1
00000b01: SWAP2
00000b02: SUB
00000b03: SWAP1
00000b04: RETURN
00000b05: JUMPDEST
00000b06: CALLVALUE
00000b07: DUP1
00000b08: ISZERO
00000b09: PUSH2 0x0b11
00000b0c: JUMPI
00000b0d: PUSH1 0x00
00000b0f: DUP1
00000b10: REVERT
00000b11: JUMPDEST
00000b12: POP
00000b13: PUSH2 0x0b1a
00000b16: PUSH2 0x1bbb
00000b19: JUMP
00000b1a: JUMPDEST
00000b1b: PUSH1 0x40
00000b1d: MLOAD
00000b1e: DUP1
00000b1f: DUP3
00000b20: DUP2
00000b21: MSTORE
00000b22: PUSH1 0x20
00000b24: ADD
00000b25: SWAP2
00000b26: POP
00000b27: POP
00000b28: PUSH1 0x40
00000b2a: MLOAD
00000b2b: DUP1
00000b2c: SWAP2
00000b2d: SUB
00000b2e: SWAP1
00000b2f: RETURN
00000b30: JUMPDEST
00000b31: CALLVALUE
00000b32: DUP1
00000b33: ISZERO
00000b34: PUSH2 0x0b3c
00000b37: JUMPI
00000b38: PUSH1 0x00
00000b3a: DUP1
00000b3b: REVERT
00000b3c: JUMPDEST
00000b3d: POP
00000b3e: PUSH2 0x0b45
00000b41: PUSH2 0x1bc1
00000b44: JUMP
00000b45: JUMPDEST
00000b46: STOP
00000b47: JUMPDEST
00000b48: CALLVALUE
00000b49: DUP1
00000b4a: ISZERO
00000b4b: PUSH2 0x0b53
00000b4e: JUMPI
00000b4f: PUSH1 0x00
00000b51: DUP1
00000b52: REVERT
00000b53: JUMPDEST
00000b54: POP
00000b55: PUSH2 0x0b5c
00000b58: PUSH2 0x1bcb
00000b5b: JUMP
00000b5c: JUMPDEST
00000b5d: PUSH1 0x40
00000b5f: MLOAD
00000b60: DUP1
00000b61: DUP3
00000b62: DUP2
00000b63: MSTORE
00000b64: PUSH1 0x20
00000b66: ADD
00000b67: SWAP2
00000b68: POP
00000b69: POP
00000b6a: PUSH1 0x40
00000b6c: MLOAD
00000b6d: DUP1
00000b6e: SWAP2
00000b6f: SUB
00000b70: SWAP1
00000b71: RETURN
00000b72: JUMPDEST
00000b73: CALLVALUE
00000b74: DUP1
00000b75: ISZERO
00000b76: PUSH2 0x0b7e
00000b79: JUMPI
00000b7a: PUSH1 0x00
00000b7c: DUP1
00000b7d: REVERT
00000b7e: JUMPDEST
00000b7f: POP
00000b80: PUSH2 0x0b87
00000b83: PUSH2 0x1bd1
00000b86: JUMP
00000b87: JUMPDEST
00000b88: PUSH1 0x40
00000b8a: MLOAD
00000b8b: DUP1
00000b8c: DUP3
00000b8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba2: AND
00000ba3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb8: AND
00000bb9: DUP2
00000bba: MSTORE
00000bbb: PUSH1 0x20
00000bbd: ADD
00000bbe: SWAP2
00000bbf: POP
00000bc0: POP
00000bc1: PUSH1 0x40
00000bc3: MLOAD
00000bc4: DUP1
00000bc5: SWAP2
00000bc6: SUB
00000bc7: SWAP1
00000bc8: RETURN
00000bc9: JUMPDEST
00000bca: CALLVALUE
00000bcb: DUP1
00000bcc: ISZERO
00000bcd: PUSH2 0x0bd5
00000bd0: JUMPI
00000bd1: PUSH1 0x00
00000bd3: DUP1
00000bd4: REVERT
00000bd5: JUMPDEST
00000bd6: POP
00000bd7: PUSH2 0x0c6d
00000bda: PUSH1 0x04
00000bdc: DUP1
00000bdd: CALLDATASIZE
00000bde: SUB
00000bdf: PUSH1 0x80
00000be1: DUP2
00000be2: LT
00000be3: ISZERO
00000be4: PUSH2 0x0bec
00000be7: JUMPI
00000be8: PUSH1 0x00
00000bea: DUP1
00000beb: REVERT
00000bec: JUMPDEST
00000bed: DUP2
00000bee: ADD
00000bef: SWAP1
00000bf0: DUP1
00000bf1: DUP1
00000bf2: CALLDATALOAD
00000bf3: SWAP1
00000bf4: PUSH1 0x20
00000bf6: ADD
00000bf7: SWAP1
00000bf8: PUSH5 0x0100000000
00000bfe: DUP2
00000bff: GT
00000c00: ISZERO
00000c01: PUSH2 0x0c09
00000c04: JUMPI
00000c05: PUSH1 0x00
00000c07: DUP1
00000c08: REVERT
00000c09: JUMPDEST
00000c0a: DUP3
00000c0b: ADD
00000c0c: DUP4
00000c0d: PUSH1 0x20
00000c0f: DUP3
00000c10: ADD
00000c11: GT
00000c12: ISZERO
00000c13: PUSH2 0x0c1b
00000c16: JUMPI
00000c17: PUSH1 0x00
00000c19: DUP1
00000c1a: REVERT
00000c1b: JUMPDEST
00000c1c: DUP1
00000c1d: CALLDATALOAD
00000c1e: SWAP1
00000c1f: PUSH1 0x20
00000c21: ADD
00000c22: SWAP2
00000c23: DUP5
00000c24: PUSH1 0x01
00000c26: DUP4
00000c27: MUL
00000c28: DUP5
00000c29: ADD
00000c2a: GT
00000c2b: PUSH5 0x0100000000
00000c31: DUP4
00000c32: GT
00000c33: OR
00000c34: ISZERO
00000c35: PUSH2 0x0c3d
00000c38: JUMPI
00000c39: PUSH1 0x00
00000c3b: DUP1
00000c3c: REVERT
00000c3d: JUMPDEST
00000c3e: SWAP1
00000c3f: SWAP2
00000c40: SWAP3
00000c41: SWAP4
00000c42: SWAP2
00000c43: SWAP3
00000c44: SWAP4
00000c45: SWAP1
00000c46: DUP1
00000c47: CALLDATALOAD
00000c48: ISZERO
00000c49: ISZERO
00000c4a: SWAP1
00000c4b: PUSH1 0x20
00000c4d: ADD
00000c4e: SWAP1
00000c4f: SWAP3
00000c50: SWAP2
00000c51: SWAP1
00000c52: DUP1
00000c53: CALLDATALOAD
00000c54: SWAP1
00000c55: PUSH1 0x20
00000c57: ADD
00000c58: SWAP1
00000c59: SWAP3
00000c5a: SWAP2
00000c5b: SWAP1
00000c5c: DUP1
00000c5d: CALLDATALOAD
00000c5e: SWAP1
00000c5f: PUSH1 0x20
00000c61: ADD
00000c62: SWAP1
00000c63: SWAP3
00000c64: SWAP2
00000c65: SWAP1
00000c66: POP
00000c67: POP
00000c68: POP
00000c69: PUSH2 0x1bfb
00000c6c: JUMP
00000c6d: JUMPDEST
00000c6e: STOP
00000c6f: JUMPDEST
00000c70: CALLVALUE
00000c71: DUP1
00000c72: ISZERO
00000c73: PUSH2 0x0c7b
00000c76: JUMPI
00000c77: PUSH1 0x00
00000c79: DUP1
00000c7a: REVERT
00000c7b: JUMPDEST
00000c7c: POP
00000c7d: PUSH2 0x0c84
00000c80: PUSH2 0x1cdd
00000c83: JUMP
00000c84: JUMPDEST
00000c85: PUSH1 0x40
00000c87: MLOAD
00000c88: DUP1
00000c89: DUP3
00000c8a: DUP2
00000c8b: MSTORE
00000c8c: PUSH1 0x20
00000c8e: ADD
00000c8f: SWAP2
00000c90: POP
00000c91: POP
00000c92: PUSH1 0x40
00000c94: MLOAD
00000c95: DUP1
00000c96: SWAP2
00000c97: SUB
00000c98: SWAP1
00000c99: RETURN
00000c9a: JUMPDEST
00000c9b: CALLVALUE
00000c9c: DUP1
00000c9d: ISZERO
00000c9e: PUSH2 0x0ca6
00000ca1: JUMPI
00000ca2: PUSH1 0x00
00000ca4: DUP1
00000ca5: REVERT
00000ca6: JUMPDEST
00000ca7: POP
00000ca8: PUSH2 0x0caf
00000cab: PUSH2 0x1d1f
00000cae: JUMP
00000caf: JUMPDEST
00000cb0: PUSH1 0x40
00000cb2: MLOAD
00000cb3: DUP1
00000cb4: DUP3
00000cb5: DUP2
00000cb6: MSTORE
00000cb7: PUSH1 0x20
00000cb9: ADD
00000cba: SWAP2
00000cbb: POP
00000cbc: POP
00000cbd: PUSH1 0x40
00000cbf: MLOAD
00000cc0: DUP1
00000cc1: SWAP2
00000cc2: SUB
00000cc3: SWAP1
00000cc4: RETURN
00000cc5: JUMPDEST
00000cc6: CALLVALUE
00000cc7: DUP1
00000cc8: ISZERO
00000cc9: PUSH2 0x0cd1
00000ccc: JUMPI
00000ccd: PUSH1 0x00
00000ccf: DUP1
00000cd0: REVERT
00000cd1: JUMPDEST
00000cd2: POP
00000cd3: PUSH2 0x0cda
00000cd6: PUSH2 0x1d25
00000cd9: JUMP
00000cda: JUMPDEST
00000cdb: PUSH1 0x40
00000cdd: MLOAD
00000cde: DUP1
00000cdf: DUP3
00000ce0: DUP2
00000ce1: MSTORE
00000ce2: PUSH1 0x20
00000ce4: ADD
00000ce5: SWAP2
00000ce6: POP
00000ce7: POP
00000ce8: PUSH1 0x40
00000cea: MLOAD
00000ceb: DUP1
00000cec: SWAP2
00000ced: SUB
00000cee: SWAP1
00000cef: RETURN
00000cf0: JUMPDEST
00000cf1: CALLVALUE
00000cf2: DUP1
00000cf3: ISZERO
00000cf4: PUSH2 0x0cfc
00000cf7: JUMPI
00000cf8: PUSH1 0x00
00000cfa: DUP1
00000cfb: REVERT
00000cfc: JUMPDEST
00000cfd: POP
00000cfe: PUSH2 0x0d05
00000d01: PUSH2 0x1d2b
00000d04: JUMP
00000d05: JUMPDEST
00000d06: PUSH1 0x40
00000d08: MLOAD
00000d09: DUP1
00000d0a: DUP3
00000d0b: DUP2
00000d0c: MSTORE
00000d0d: PUSH1 0x20
00000d0f: ADD
00000d10: SWAP2
00000d11: POP
00000d12: POP
00000d13: PUSH1 0x40
00000d15: MLOAD
00000d16: DUP1
00000d17: SWAP2
00000d18: SUB
00000d19: SWAP1
00000d1a: RETURN
00000d1b: JUMPDEST
00000d1c: PUSH1 0x43
00000d1e: SLOAD
00000d1f: DUP2
00000d20: JUMP
00000d21: JUMPDEST
00000d22: PUSH1 0x47
00000d24: PUSH1 0x20
00000d26: MSTORE
00000d27: DUP1
00000d28: PUSH1 0x00
00000d2a: MSTORE
00000d2b: PUSH1 0x40
00000d2d: PUSH1 0x00
00000d2f: KECCAK256
00000d30: PUSH1 0x00
00000d32: SWAP2
00000d33: POP
00000d34: SWAP1
00000d35: POP
00000d36: DUP1
00000d37: PUSH1 0x00
00000d39: ADD
00000d3a: SLOAD
00000d3b: SWAP1
00000d3c: DUP1
00000d3d: PUSH1 0x02
00000d3f: ADD
00000d40: PUSH1 0x00
00000d42: SWAP1
00000d43: SLOAD
00000d44: SWAP1
00000d45: PUSH2 0x0100
00000d48: EXP
00000d49: SWAP1
00000d4a: DIV
00000d4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d60: AND
00000d61: SWAP1
00000d62: POP
00000d63: DUP3
00000d64: JUMP
00000d65: JUMPDEST
00000d66: PUSH1 0x40
00000d68: SLOAD
00000d69: DUP2
00000d6a: JUMP
00000d6b: JUMPDEST
00000d6c: PUSH2 0x0d88
00000d6f: PUSH20 0xd216153c06e857cd7f72665e0af1d7d82172f494
00000d84: PUSH2 0x1d59
00000d87: JUMP
00000d88: JUMPDEST
00000d89: JUMP
00000d8a: JUMPDEST
00000d8b: PUSH2 0x0d92
00000d8e: PUSH2 0x1f2a
00000d91: JUMP
00000d92: JUMPDEST
00000d93: PUSH2 0x0d9a
00000d96: PUSH2 0x1f97
00000d99: JUMP
00000d9a: JUMPDEST
00000d9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000db0: AND
00000db1: DUP2
00000db2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dc7: AND
00000dc8: EQ
00000dc9: PUSH2 0x0e1d
00000dcc: JUMPI
00000dcd: PUSH1 0x40
00000dcf: MLOAD
00000dd0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000df1: DUP2
00000df2: MSTORE
00000df3: PUSH1 0x04
00000df5: ADD
00000df6: DUP1
00000df7: DUP1
00000df8: PUSH1 0x20
00000dfa: ADD
00000dfb: DUP3
00000dfc: DUP2
00000dfd: SUB
00000dfe: DUP3
00000dff: MSTORE
00000e00: PUSH1 0x3a
00000e02: DUP2
00000e03: MSTORE
00000e04: PUSH1 0x20
00000e06: ADD
00000e07: DUP1
00000e08: PUSH2 0x435f
00000e0b: PUSH1 0x3a
00000e0d: SWAP2
00000e0e: CODECOPY
00000e0f: PUSH1 0x40
00000e11: ADD
00000e12: SWAP2
00000e13: POP
00000e14: POP
00000e15: PUSH1 0x40
00000e17: MLOAD
00000e18: DUP1
00000e19: SWAP2
00000e1a: SUB
00000e1b: SWAP1
00000e1c: REVERT
00000e1d: JUMPDEST
00000e1e: DUP3
00000e1f: PUSH1 0x01
00000e21: ISZERO
00000e22: ISZERO
00000e23: PUSH1 0x4b
00000e25: PUSH1 0x00
00000e27: DUP4
00000e28: DUP2
00000e29: MSTORE
00000e2a: PUSH1 0x20
00000e2c: ADD
00000e2d: SWAP1
00000e2e: DUP2
00000e2f: MSTORE
00000e30: PUSH1 0x20
00000e32: ADD
00000e33: PUSH1 0x00
00000e35: KECCAK256
00000e36: PUSH1 0x00
00000e38: SWAP1
00000e39: SLOAD
00000e3a: SWAP1
00000e3b: PUSH2 0x0100
00000e3e: EXP
00000e3f: SWAP1
00000e40: DIV
00000e41: PUSH1 0xff
00000e43: AND
00000e44: ISZERO
00000e45: ISZERO
00000e46: EQ
00000e47: PUSH2 0x0e4f
00000e4a: JUMPI
00000e4b: PUSH1 0x00
00000e4d: DUP1
00000e4e: REVERT
00000e4f: JUMPDEST
00000e50: PUSH1 0x42
00000e52: SLOAD
00000e53: PUSH1 0x47
00000e55: PUSH1 0x00
00000e57: PUSH1 0x3e
00000e59: SLOAD
00000e5a: DUP2
00000e5b: MSTORE
00000e5c: PUSH1 0x20
00000e5e: ADD
00000e5f: SWAP1
00000e60: DUP2
00000e61: MSTORE
00000e62: PUSH1 0x20
00000e64: ADD
00000e65: PUSH1 0x00
00000e67: KECCAK256
00000e68: PUSH1 0x01
00000e6a: ADD
00000e6b: DUP1
00000e6c: SLOAD
00000e6d: SWAP1
00000e6e: POP
00000e6f: EQ
00000e70: ISZERO
00000e71: PUSH2 0x0efa
00000e74: JUMPI
00000e75: PUSH1 0x00
00000e77: PUSH2 0x0e7f
00000e7a: DUP5
00000e7b: PUSH2 0x22b7
00000e7e: JUMP
00000e7f: JUMPDEST
00000e80: SWAP1
00000e81: POP
00000e82: PUSH32 0x84b027da2abd556ef787dd35b17c4eafe2eedb771aa5a51000503cc58803309a
00000ea3: DUP2
00000ea4: PUSH1 0x40
00000ea6: MLOAD
00000ea7: DUP1
00000ea8: DUP3
00000ea9: PUSH2 0xffff
00000eac: AND
00000ead: PUSH2 0xffff
00000eb0: AND
00000eb1: DUP2
00000eb2: MSTORE
00000eb3: PUSH1 0x20
00000eb5: ADD
00000eb6: SWAP2
00000eb7: POP
00000eb8: POP
00000eb9: PUSH1 0x40
00000ebb: MLOAD
00000ebc: DUP1
00000ebd: SWAP2
00000ebe: SUB
00000ebf: SWAP1
00000ec0: LOG1
00000ec1: PUSH1 0x4b
00000ec3: PUSH1 0x00
00000ec5: DUP7
00000ec6: DUP2
00000ec7: MSTORE
00000ec8: PUSH1 0x20
00000eca: ADD
00000ecb: SWAP1
00000ecc: DUP2
00000ecd: MSTORE
00000ece: PUSH1 0x20
00000ed0: ADD
00000ed1: PUSH1 0x00
00000ed3: KECCAK256
00000ed4: PUSH1 0x00
00000ed6: PUSH2 0x0100
00000ed9: EXP
00000eda: DUP2
00000edb: SLOAD
00000edc: SWAP1
00000edd: PUSH1 0xff
00000edf: MUL
00000ee0: NOT
00000ee1: AND
00000ee2: SWAP1
00000ee3: SSTORE
00000ee4: PUSH2 0x0ef0
00000ee7: DUP2
00000ee8: PUSH2 0xffff
00000eeb: AND
00000eec: PUSH2 0x2335
00000eef: JUMP
00000ef0: JUMPDEST
00000ef1: PUSH2 0x0ef8
00000ef4: PUSH2 0x2580
00000ef7: JUMP
00000ef8: JUMPDEST
00000ef9: POP
00000efa: JUMPDEST
00000efb: POP
00000efc: POP
00000efd: POP
00000efe: POP
00000eff: JUMP
00000f00: JUMPDEST
00000f01: PUSH1 0x3f
00000f03: SLOAD
00000f04: DUP2
00000f05: JUMP
00000f06: JUMPDEST
00000f07: PUSH1 0x00
00000f09: DUP1
00000f0a: SHL
00000f0b: PUSH1 0x37
00000f0d: PUSH1 0x00
00000f0f: DUP1
00000f10: PUSH1 0x00
00000f12: SHL
00000f13: DUP2
00000f14: MSTORE
00000f15: PUSH1 0x20
00000f17: ADD
00000f18: SWAP1
00000f19: DUP2
00000f1a: MSTORE
00000f1b: PUSH1 0x20
00000f1d: ADD
00000f1e: PUSH1 0x00
00000f20: KECCAK256
00000f21: DUP2
00000f22: SWAP1
00000f23: SSTORE
00000f24: POP
00000f25: POP
00000f26: POP
00000f27: POP
00000f28: JUMP
00000f29: JUMPDEST
00000f2a: PUSH1 0x46
00000f2c: PUSH1 0x00
00000f2e: SWAP1
00000f2f: SLOAD
00000f30: SWAP1
00000f31: PUSH2 0x0100
00000f34: EXP
00000f35: SWAP1
00000f36: DIV
00000f37: PUSH1 0xff
00000f39: AND
00000f3a: DUP2
00000f3b: JUMP
00000f3c: JUMPDEST
00000f3d: PUSH1 0x42
00000f3f: SLOAD
00000f40: DUP2
00000f41: JUMP
00000f42: JUMPDEST
00000f43: PUSH1 0x41
00000f45: SLOAD
00000f46: DUP2
00000f47: JUMP
00000f48: JUMPDEST
00000f49: DUP1
00000f4a: PUSH1 0x01
00000f4c: DUP2
00000f4d: LT
00000f4e: ISZERO
00000f4f: PUSH2 0x0fc0
00000f52: JUMPI
00000f53: PUSH1 0x40
00000f55: MLOAD
00000f56: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f77: DUP2
00000f78: MSTORE
00000f79: PUSH1 0x04
00000f7b: ADD
00000f7c: DUP1
00000f7d: DUP1
00000f7e: PUSH1 0x20
00000f80: ADD
00000f81: DUP3
00000f82: DUP2
00000f83: SUB
00000f84: DUP3
00000f85: MSTORE
00000f86: PUSH1 0x1f
00000f88: DUP2
00000f89: MSTORE
00000f8a: PUSH1 0x20
00000f8c: ADD
00000f8d: DUP1
00000f8e: PUSH32 0x43616e6e6f7420627579206c657373207468616e206f6e65207469636b657400
00000faf: DUP2
00000fb0: MSTORE
00000fb1: POP
00000fb2: PUSH1 0x20
00000fb4: ADD
00000fb5: SWAP2
00000fb6: POP
00000fb7: POP
00000fb8: PUSH1 0x40
00000fba: MLOAD
00000fbb: DUP1
00000fbc: SWAP2
00000fbd: SUB
00000fbe: SWAP1
00000fbf: REVERT
00000fc0: JUMPDEST
00000fc1: DUP2
00000fc2: PUSH1 0x42
00000fc4: SLOAD
00000fc5: DUP2
00000fc6: PUSH1 0x47
00000fc8: PUSH1 0x00
00000fca: PUSH1 0x3e
00000fcc: SLOAD
00000fcd: DUP2
00000fce: MSTORE
00000fcf: PUSH1 0x20
00000fd1: ADD
00000fd2: SWAP1
00000fd3: DUP2
00000fd4: MSTORE
00000fd5: PUSH1 0x20
00000fd7: ADD
00000fd8: PUSH1 0x00
00000fda: KECCAK256
00000fdb: PUSH1 0x01
00000fdd: ADD
00000fde: DUP1
00000fdf: SLOAD
00000fe0: SWAP1
00000fe1: POP
00000fe2: ADD
00000fe3: GT
00000fe4: ISZERO
00000fe5: PUSH2 0x1039
00000fe8: JUMPI
00000fe9: PUSH1 0x40
00000feb: MLOAD
00000fec: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000100d: DUP2
0000100e: MSTORE
0000100f: PUSH1 0x04
00001011: ADD
00001012: DUP1
00001013: DUP1
00001014: PUSH1 0x20
00001016: ADD
00001017: DUP3
00001018: DUP2
00001019: SUB
0000101a: DUP3
0000101b: MSTORE
0000101c: PUSH1 0x24
0000101e: DUP2
0000101f: MSTORE
00001020: PUSH1 0x20
00001022: ADD
00001023: DUP1
00001024: PUSH2 0x433b
00001027: PUSH1 0x24
00001029: SWAP2
0000102a: CODECOPY
0000102b: PUSH1 0x40
0000102d: ADD
0000102e: SWAP2
0000102f: POP
00001030: POP
00001031: PUSH1 0x40
00001033: MLOAD
00001034: DUP1
00001035: SWAP2
00001036: SUB
00001037: SWAP1
00001038: REVERT
00001039: JUMPDEST
0000103a: PUSH2 0x1041
0000103d: PUSH2 0x1f2a
00001040: JUMP
00001041: JUMPDEST
00001042: DUP4
00001043: PUSH1 0x43
00001045: SLOAD
00001046: DUP2
00001047: PUSH1 0x49
00001049: PUSH1 0x00
0000104b: PUSH1 0x3e
0000104d: SLOAD
0000104e: DUP2
0000104f: MSTORE
00001050: PUSH1 0x20
00001052: ADD
00001053: SWAP1
00001054: DUP2
00001055: MSTORE
00001056: PUSH1 0x20
00001058: ADD
00001059: PUSH1 0x00
0000105b: KECCAK256
0000105c: PUSH1 0x00
0000105e: DUP6
0000105f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001074: AND
00001075: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000108a: AND
0000108b: DUP2
0000108c: MSTORE
0000108d: PUSH1 0x20
0000108f: ADD
00001090: SWAP1
00001091: DUP2
00001092: MSTORE
00001093: PUSH1 0x20
00001095: ADD
00001096: PUSH1 0x00
00001098: KECCAK256
00001099: SLOAD
0000109a: ADD
0000109b: GT
0000109c: ISZERO
0000109d: PUSH2 0x10f1
000010a0: JUMPI
000010a1: PUSH1 0x40
000010a3: MLOAD
000010a4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000010c5: DUP2
000010c6: MSTORE
000010c7: PUSH1 0x04
000010c9: ADD
000010ca: DUP1
000010cb: DUP1
000010cc: PUSH1 0x20
000010ce: ADD
000010cf: DUP3
000010d0: DUP2
000010d1: SUB
000010d2: DUP3
000010d3: MSTORE
000010d4: PUSH1 0x29
000010d6: DUP2
000010d7: MSTORE
000010d8: PUSH1 0x20
000010da: ADD
000010db: DUP1
000010dc: PUSH2 0x4312
000010df: PUSH1 0x29
000010e1: SWAP2
000010e2: CODECOPY
000010e3: PUSH1 0x40
000010e5: ADD
000010e6: SWAP2
000010e7: POP
000010e8: POP
000010e9: PUSH1 0x40
000010eb: MLOAD
000010ec: DUP1
000010ed: SWAP2
000010ee: SUB
000010ef: SWAP1
000010f0: REVERT
000010f1: JUMPDEST
000010f2: PUSH1 0x00
000010f4: PUSH2 0x1108
000010f7: DUP7
000010f8: PUSH1 0x40
000010fa: SLOAD
000010fb: PUSH2 0x259c
000010fe: SWAP1
000010ff: SWAP2
00001100: SWAP1
00001101: PUSH4 0xffffffff
00001106: AND
00001107: JUMP
00001108: JUMPDEST
00001109: SWAP1
0000110a: POP
0000110b: PUSH1 0x00
0000110d: PUSH1 0x48
0000110f: PUSH1 0x00
00001111: PUSH2 0x1118
00001114: PUSH2 0x1f2a
00001117: JUMP
00001118: JUMPDEST
00001119: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000112e: AND
0000112f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001144: AND
00001145: DUP2
00001146: MSTORE
00001147: PUSH1 0x20
00001149: ADD
0000114a: SWAP1
0000114b: DUP2
0000114c: MSTORE
0000114d: PUSH1 0x20
0000114f: ADD
00001150: PUSH1 0x00
00001152: KECCAK256
00001153: SLOAD
00001154: SWAP1
00001155: POP
00001156: PUSH1 0x00
00001158: PUSH1 0x49
0000115a: PUSH1 0x00
0000115c: PUSH1 0x3e
0000115e: SLOAD
0000115f: DUP2
00001160: MSTORE
00001161: PUSH1 0x20
00001163: ADD
00001164: SWAP1
00001165: DUP2
00001166: MSTORE
00001167: PUSH1 0x20
00001169: ADD
0000116a: PUSH1 0x00
0000116c: KECCAK256
0000116d: PUSH1 0x00
0000116f: PUSH2 0x1176
00001172: PUSH2 0x1f2a
00001175: JUMP
00001176: JUMPDEST
00001177: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000118c: AND
0000118d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011a2: AND
000011a3: DUP2
000011a4: MSTORE
000011a5: PUSH1 0x20
000011a7: ADD
000011a8: SWAP1
000011a9: DUP2
000011aa: MSTORE
000011ab: PUSH1 0x20
000011ad: ADD
000011ae: PUSH1 0x00
000011b0: KECCAK256
000011b1: SLOAD
000011b2: SWAP1
000011b3: POP
000011b4: PUSH1 0x4a
000011b6: PUSH1 0x00
000011b8: PUSH2 0x11bf
000011bb: PUSH2 0x1f2a
000011be: JUMP
000011bf: JUMPDEST
000011c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011d5: AND
000011d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011eb: AND
000011ec: DUP2
000011ed: MSTORE
000011ee: PUSH1 0x20
000011f0: ADD
000011f1: SWAP1
000011f2: DUP2
000011f3: MSTORE
000011f4: PUSH1 0x20
000011f6: ADD
000011f7: PUSH1 0x00
000011f9: KECCAK256
000011fa: PUSH1 0x00
000011fc: SWAP1
000011fd: SLOAD
000011fe: SWAP1
000011ff: PUSH2 0x0100
00001202: EXP
00001203: SWAP1
00001204: DIV
00001205: PUSH1 0xff
00001207: AND
00001208: PUSH2 0x1336
0000120b: JUMPI
0000120c: PUSH1 0x00
0000120e: PUSH1 0x39
00001210: PUSH1 0x00
00001212: SWAP1
00001213: SLOAD
00001214: SWAP1
00001215: PUSH2 0x0100
00001218: EXP
00001219: SWAP1
0000121a: DIV
0000121b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001230: AND
00001231: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001246: AND
00001247: PUSH4 0x9d440f68
0000124c: PUSH1 0x40
0000124e: MLOAD
0000124f: DUP2
00001250: PUSH4 0xffffffff
00001255: AND
00001256: PUSH1 0xe0
00001258: SHL
00001259: DUP2
0000125a: MSTORE
0000125b: PUSH1 0x04
0000125d: ADD
0000125e: PUSH1 0x20
00001260: PUSH1 0x40
00001262: MLOAD
00001263: DUP1
00001264: DUP4
00001265: SUB
00001266: DUP2
00001267: DUP7
00001268: DUP1
00001269: EXTCODESIZE
0000126a: ISZERO
0000126b: DUP1
0000126c: ISZERO
0000126d: PUSH2 0x1275
00001270: JUMPI
00001271: PUSH1 0x00
00001273: DUP1
00001274: REVERT
00001275: JUMPDEST
00001276: POP
00001277: GAS
00001278: STATICCALL
00001279: ISZERO
0000127a: DUP1
0000127b: ISZERO
0000127c: PUSH2 0x1289
0000127f: JUMPI
00001280: RETURNDATASIZE
00001281: PUSH1 0x00
00001283: DUP1
00001284: RETURNDATACOPY
00001285: RETURNDATASIZE
00001286: PUSH1 0x00
00001288: REVERT
00001289: JUMPDEST
0000128a: POP
0000128b: POP
0000128c: POP
0000128d: POP
0000128e: PUSH1 0x40
00001290: MLOAD
00001291: RETURNDATASIZE
00001292: PUSH1 0x20
00001294: DUP2
00001295: LT
00001296: ISZERO
00001297: PUSH2 0x129f
0000129a: JUMPI
0000129b: PUSH1 0x00
0000129d: DUP1
0000129e: REVERT
0000129f: JUMPDEST
000012a0: DUP2
000012a1: ADD
000012a2: SWAP1
000012a3: DUP1
000012a4: DUP1
000012a5: MLOAD
000012a6: SWAP1
000012a7: PUSH1 0x20
000012a9: ADD
000012aa: SWAP1
000012ab: SWAP3
000012ac: SWAP2
000012ad: SWAP1
000012ae: POP
000012af: POP
000012b0: POP
000012b1: SWAP1
000012b2: POP
000012b3: PUSH1 0x00
000012b5: DUP2
000012b6: GT
000012b7: PUSH2 0x12c0
000012ba: JUMPI
000012bb: PUSH2 0x1388
000012be: SWAP1
000012bf: POP
000012c0: JUMPDEST
000012c1: PUSH2 0x12d3
000012c4: DUP2
000012c5: DUP6
000012c6: PUSH2 0x2622
000012c9: SWAP1
000012ca: SWAP2
000012cb: SWAP1
000012cc: PUSH4 0xffffffff
000012d1: AND
000012d2: JUMP
000012d3: JUMPDEST
000012d4: SWAP4
000012d5: POP
000012d6: PUSH1 0x01
000012d8: PUSH1 0x4a
000012da: PUSH1 0x00
000012dc: PUSH2 0x12e3
000012df: PUSH2 0x1f2a
000012e2: JUMP
000012e3: JUMPDEST
000012e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012f9: AND
000012fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000130f: AND
00001310: DUP2
00001311: MSTORE
00001312: PUSH1 0x20
00001314: ADD
00001315: SWAP1
00001316: DUP2
00001317: MSTORE
00001318: PUSH1 0x20
0000131a: ADD
0000131b: PUSH1 0x00
0000131d: KECCAK256
0000131e: PUSH1 0x00
00001320: PUSH2 0x0100
00001323: EXP
00001324: DUP2
00001325: SLOAD
00001326: DUP2
00001327: PUSH1 0xff
00001329: MUL
0000132a: NOT
0000132b: AND
0000132c: SWAP1
0000132d: DUP4
0000132e: ISZERO
0000132f: ISZERO
00001330: MUL
00001331: OR
00001332: SWAP1
00001333: SSTORE
00001334: POP
00001335: POP
00001336: JUMPDEST
00001337: DUP3
00001338: PUSH1 0x3c
0000133a: PUSH1 0x00
0000133c: DUP3
0000133d: DUP3
0000133e: SLOAD
0000133f: ADD
00001340: SWAP3
00001341: POP
00001342: POP
00001343: DUP2
00001344: SWAP1
00001345: SSTORE
00001346: POP
00001347: PUSH1 0x39
00001349: PUSH1 0x00
0000134b: SWAP1
0000134c: SLOAD
0000134d: SWAP1
0000134e: PUSH2 0x0100
00001351: EXP
00001352: SWAP1
00001353: DIV
00001354: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001369: AND
0000136a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000137f: AND
00001380: PUSH4 0x23b872dd
00001385: PUSH2 0x138c
00001388: PUSH2 0x1f2a
0000138b: JUMP
0000138c: JUMPDEST
0000138d: ADDRESS
0000138e: DUP7
0000138f: PUSH1 0x40
00001391: MLOAD
00001392: DUP5
00001393: PUSH4 0xffffffff
00001398: AND
00001399: PUSH1 0xe0
0000139b: SHL
0000139c: DUP2
0000139d: MSTORE
0000139e: PUSH1 0x04
000013a0: ADD
000013a1: DUP1
000013a2: DUP5
000013a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013b8: AND
000013b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013ce: AND
000013cf: DUP2
000013d0: MSTORE
000013d1: PUSH1 0x20
000013d3: ADD
000013d4: DUP4
000013d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013ea: AND
000013eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001400: AND
00001401: DUP2
00001402: MSTORE
00001403: PUSH1 0x20
00001405: ADD
00001406: DUP3
00001407: DUP2
00001408: MSTORE
00001409: PUSH1 0x20
0000140b: ADD
0000140c: SWAP4
0000140d: POP
0000140e: POP
0000140f: POP
00001410: POP
00001411: PUSH1 0x20
00001413: PUSH1 0x40
00001415: MLOAD
00001416: DUP1
00001417: DUP4
00001418: SUB
00001419: DUP2
0000141a: PUSH1 0x00
0000141c: DUP8
0000141d: DUP1
0000141e: EXTCODESIZE
0000141f: ISZERO
00001420: DUP1
00001421: ISZERO
00001422: PUSH2 0x142a
00001425: JUMPI
00001426: PUSH1 0x00
00001428: DUP1
00001429: REVERT
0000142a: JUMPDEST
0000142b: POP
0000142c: GAS
0000142d: CALL
0000142e: ISZERO
0000142f: DUP1
00001430: ISZERO
00001431: PUSH2 0x143e
00001434: JUMPI
00001435: RETURNDATASIZE
00001436: PUSH1 0x00
00001438: DUP1
00001439: RETURNDATACOPY
0000143a: RETURNDATASIZE
0000143b: PUSH1 0x00
0000143d: REVERT
0000143e: JUMPDEST
0000143f: POP
00001440: POP
00001441: POP
00001442: POP
00001443: PUSH1 0x40
00001445: MLOAD
00001446: RETURNDATASIZE
00001447: PUSH1 0x20
00001449: DUP2
0000144a: LT
0000144b: ISZERO
0000144c: PUSH2 0x1454
0000144f: JUMPI
00001450: PUSH1 0x00
00001452: DUP1
00001453: REVERT
00001454: JUMPDEST
00001455: DUP2
00001456: ADD
00001457: SWAP1
00001458: DUP1
00001459: DUP1
0000145a: MLOAD
0000145b: SWAP1
0000145c: PUSH1 0x20
0000145e: ADD
0000145f: SWAP1
00001460: SWAP3
00001461: SWAP2
00001462: SWAP1
00001463: POP
00001464: POP
00001465: POP
00001466: POP
00001467: DUP8
00001468: DUP3
00001469: ADD
0000146a: SWAP2
0000146b: POP
0000146c: DUP8
0000146d: DUP2
0000146e: ADD
0000146f: SWAP1
00001470: POP
00001471: DUP2
00001472: PUSH1 0x48
00001474: PUSH1 0x00
00001476: PUSH2 0x147d
00001479: PUSH2 0x1f2a
0000147c: JUMP
0000147d: JUMPDEST
0000147e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001493: AND
00001494: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014a9: AND
000014aa: DUP2
000014ab: MSTORE
000014ac: PUSH1 0x20
000014ae: ADD
000014af: SWAP1
000014b0: DUP2
000014b1: MSTORE
000014b2: PUSH1 0x20
000014b4: ADD
000014b5: PUSH1 0x00
000014b7: KECCAK256
000014b8: DUP2
000014b9: SWAP1
000014ba: SSTORE
000014bb: POP
000014bc: DUP1
000014bd: PUSH1 0x49
000014bf: PUSH1 0x00
000014c1: PUSH1 0x3e
000014c3: SLOAD
000014c4: DUP2
000014c5: MSTORE
000014c6: PUSH1 0x20
000014c8: ADD
000014c9: SWAP1
000014ca: DUP2
000014cb: MSTORE
000014cc: PUSH1 0x20
000014ce: ADD
000014cf: PUSH1 0x00
000014d1: KECCAK256
000014d2: PUSH1 0x00
000014d4: PUSH2 0x14db
000014d7: PUSH2 0x1f2a
000014da: JUMP
000014db: JUMPDEST
000014dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014f1: AND
000014f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001507: AND
00001508: DUP2
00001509: MSTORE
0000150a: PUSH1 0x20
0000150c: ADD
0000150d: SWAP1
0000150e: DUP2
0000150f: MSTORE
00001510: PUSH1 0x20
00001512: ADD
00001513: PUSH1 0x00
00001515: KECCAK256
00001516: DUP2
00001517: SWAP1
00001518: SSTORE
00001519: POP
0000151a: PUSH1 0x00
0000151c: PUSH1 0x47
0000151e: PUSH1 0x00
00001520: PUSH1 0x3e
00001522: SLOAD
00001523: DUP2
00001524: MSTORE
00001525: PUSH1 0x20
00001527: ADD
00001528: SWAP1
00001529: DUP2
0000152a: MSTORE
0000152b: PUSH1 0x20
0000152d: ADD
0000152e: PUSH1 0x00
00001530: KECCAK256
00001531: SWAP1
00001532: POP
00001533: PUSH1 0x3e
00001535: SLOAD
00001536: DUP2
00001537: PUSH1 0x00
00001539: ADD
0000153a: DUP2
0000153b: SWAP1
0000153c: SSTORE
0000153d: POP
0000153e: PUSH1 0x00
00001540: DUP1
00001541: SWAP1
00001542: POP
00001543: JUMPDEST
00001544: DUP10
00001545: DUP2
00001546: LT
00001547: ISZERO
00001548: PUSH2 0x15c7
0000154b: JUMPI
0000154c: DUP2
0000154d: PUSH1 0x01
0000154f: ADD
00001550: PUSH2 0x1557
00001553: PUSH2 0x1f2a
00001556: JUMP
00001557: JUMPDEST
00001558: SWAP1
00001559: DUP1
0000155a: PUSH1 0x01
0000155c: DUP2
0000155d: SLOAD
0000155e: ADD
0000155f: DUP1
00001560: DUP3
00001561: SSTORE
00001562: DUP1
00001563: SWAP2
00001564: POP
00001565: POP
00001566: SWAP1
00001567: PUSH1 0x01
00001569: DUP3
0000156a: SUB
0000156b: SWAP1
0000156c: PUSH1 0x00
0000156e: MSTORE
0000156f: PUSH1 0x20
00001571: PUSH1 0x00
00001573: KECCAK256
00001574: ADD
00001575: PUSH1 0x00
00001577: SWAP1
00001578: SWAP2
00001579: SWAP3
0000157a: SWAP1
0000157b: SWAP2
0000157c: SWAP1
0000157d: SWAP2
0000157e: PUSH2 0x0100
00001581: EXP
00001582: DUP2
00001583: SLOAD
00001584: DUP2
00001585: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000159a: MUL
0000159b: NOT
0000159c: AND
0000159d: SWAP1
0000159e: DUP4
0000159f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015b4: AND
000015b5: MUL
000015b6: OR
000015b7: SWAP1
000015b8: SSTORE
000015b9: POP
000015ba: POP
000015bb: DUP1
000015bc: DUP1
000015bd: PUSH1 0x01
000015bf: ADD
000015c0: SWAP2
000015c1: POP
000015c2: POP
000015c3: PUSH2 0x1543
000015c6: JUMP
000015c7: JUMPDEST
000015c8: POP
000015c9: PUSH1 0x60
000015cb: DUP2
000015cc: PUSH1 0x01
000015ce: ADD
000015cf: DUP1
000015d0: SLOAD
000015d1: DUP1
000015d2: PUSH1 0x20
000015d4: MUL
000015d5: PUSH1 0x20
000015d7: ADD
000015d8: PUSH1 0x40
000015da: MLOAD
000015db: SWAP1
000015dc: DUP2
000015dd: ADD
000015de: PUSH1 0x40
000015e0: MSTORE
000015e1: DUP1
000015e2: SWAP3
000015e3: SWAP2
000015e4: SWAP1
000015e5: DUP2
000015e6: DUP2
000015e7: MSTORE
000015e8: PUSH1 0x20
000015ea: ADD
000015eb: DUP3
000015ec: DUP1
000015ed: SLOAD
000015ee: DUP1
000015ef: ISZERO
000015f0: PUSH2 0x164e
000015f3: JUMPI
000015f4: PUSH1 0x20
000015f6: MUL
000015f7: DUP3
000015f8: ADD
000015f9: SWAP2
000015fa: SWAP1
000015fb: PUSH1 0x00
000015fd: MSTORE
000015fe: PUSH1 0x20
00001600: PUSH1 0x00
00001602: KECCAK256
00001603: SWAP1
00001604: JUMPDEST
00001605: DUP2
00001606: PUSH1 0x00
00001608: SWAP1
00001609: SLOAD
0000160a: SWAP1
0000160b: PUSH2 0x0100
0000160e: EXP
0000160f: SWAP1
00001610: DIV
00001611: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001626: AND
00001627: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000163c: AND
0000163d: DUP2
0000163e: MSTORE
0000163f: PUSH1 0x20
00001641: ADD
00001642: SWAP1
00001643: PUSH1 0x01
00001645: ADD
00001646: SWAP1
00001647: DUP1
00001648: DUP4
00001649: GT
0000164a: PUSH2 0x1604
0000164d: JUMPI
0000164e: JUMPDEST
0000164f: POP
00001650: POP
00001651: POP
00001652: POP
00001653: POP
00001654: SWAP1
00001655: POP
00001656: PUSH32 0x360330060f3e852e9c9989e78f54b5dafc52d2c055662b302d3c7125f077c77a
00001677: PUSH2 0x167e
0000167a: PUSH2 0x1f2a
0000167d: JUMP
0000167e: JUMPDEST
0000167f: DUP12
00001680: DUP8
00001681: PUSH1 0x40
00001683: MLOAD
00001684: DUP1
00001685: DUP5
00001686: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000169b: AND
0000169c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016b1: AND
000016b2: DUP2
000016b3: MSTORE
000016b4: PUSH1 0x20
000016b6: ADD
000016b7: DUP4
000016b8: DUP2
000016b9: MSTORE
000016ba: PUSH1 0x20
000016bc: ADD
000016bd: DUP3
000016be: DUP2
000016bf: MSTORE
000016c0: PUSH1 0x20
000016c2: ADD
000016c3: SWAP4
000016c4: POP
000016c5: POP
000016c6: POP
000016c7: POP
000016c8: PUSH1 0x40
000016ca: MLOAD
000016cb: DUP1
000016cc: SWAP2
000016cd: SUB
000016ce: SWAP1
000016cf: LOG1
000016d0: PUSH32 0xc5cb959c08e91c5b7df8f1338508ff2c1b9175f8feea32ba533bc6f1d7b38292
000016f1: DUP2
000016f2: PUSH1 0x40
000016f4: MLOAD
000016f5: DUP1
000016f6: DUP1
000016f7: PUSH1 0x20
000016f9: ADD
000016fa: DUP3
000016fb: DUP2
000016fc: SUB
000016fd: DUP3
000016fe: MSTORE
000016ff: DUP4
00001700: DUP2
00001701: DUP2
00001702: MLOAD
00001703: DUP2
00001704: MSTORE
00001705: PUSH1 0x20
00001707: ADD
00001708: SWAP2
00001709: POP
0000170a: DUP1
0000170b: MLOAD
0000170c: SWAP1
0000170d: PUSH1 0x20
0000170f: ADD
00001710: SWAP1
00001711: PUSH1 0x20
00001713: MUL
00001714: DUP1
00001715: DUP4
00001716: DUP4
00001717: PUSH1 0x00
00001719: JUMPDEST
0000171a: DUP4
0000171b: DUP2
0000171c: LT
0000171d: ISZERO
0000171e: PUSH2 0x1734
00001721: JUMPI
00001722: DUP1
00001723: DUP3
00001724: ADD
00001725: MLOAD
00001726: DUP2
00001727: DUP5
00001728: ADD
00001729: MSTORE
0000172a: PUSH1 0x20
0000172c: DUP2
0000172d: ADD
0000172e: SWAP1
0000172f: POP
00001730: PUSH2 0x1719
00001733: JUMP
00001734: JUMPDEST
00001735: POP
00001736: POP
00001737: POP
00001738: POP
00001739: SWAP1
0000173a: POP
0000173b: ADD
0000173c: SWAP3
0000173d: POP
0000173e: POP
0000173f: POP
00001740: PUSH1 0x40
00001742: MLOAD
00001743: DUP1
00001744: SWAP2
00001745: SUB
00001746: SWAP1
00001747: LOG1
00001748: PUSH1 0x42
0000174a: SLOAD
0000174b: PUSH1 0x47
0000174d: PUSH1 0x00
0000174f: PUSH1 0x3e
00001751: SLOAD
00001752: DUP2
00001753: MSTORE
00001754: PUSH1 0x20
00001756: ADD
00001757: SWAP1
00001758: DUP2
00001759: MSTORE
0000175a: PUSH1 0x20
0000175c: ADD
0000175d: PUSH1 0x00
0000175f: KECCAK256
00001760: PUSH1 0x01
00001762: ADD
00001763: DUP1
00001764: SLOAD
00001765: SWAP1
00001766: POP
00001767: EQ
00001768: ISZERO
00001769: PUSH2 0x17a4
0000176c: JUMPI
0000176d: PUSH1 0x00
0000176f: PUSH2 0x1784
00001772: PUSH1 0x05
00001774: PUSH1 0x3e
00001776: SLOAD
00001777: PUSH2 0x266c
0000177a: SWAP1
0000177b: SWAP2
0000177c: SWAP1
0000177d: PUSH4 0xffffffff
00001782: AND
00001783: JUMP
00001784: JUMPDEST
00001785: EQ
00001786: ISZERO
00001787: PUSH2 0x179b
0000178a: JUMPI
0000178b: PUSH2 0x1792
0000178e: PUSH2 0x26b6
00001791: JUMP
00001792: JUMPDEST
00001793: PUSH2 0x179a
00001796: PUSH2 0x28d4
00001799: JUMP
0000179a: JUMPDEST
0000179b: JUMPDEST
0000179c: PUSH2 0x17a3
0000179f: PUSH2 0x2b5c
000017a2: JUMP
000017a3: JUMPDEST
000017a4: JUMPDEST
000017a5: POP
000017a6: POP
000017a7: POP
000017a8: POP
000017a9: POP
000017aa: POP
000017ab: POP
000017ac: POP
000017ad: POP
000017ae: POP
000017af: JUMP
000017b0: JUMPDEST
000017b1: PUSH1 0x48
000017b3: PUSH1 0x20
000017b5: MSTORE
000017b6: DUP1
000017b7: PUSH1 0x00
000017b9: MSTORE
000017ba: PUSH1 0x40
000017bc: PUSH1 0x00
000017be: KECCAK256
000017bf: PUSH1 0x00
000017c1: SWAP2
000017c2: POP
000017c3: SWAP1
000017c4: POP
000017c5: SLOAD
000017c6: DUP2
000017c7: JUMP
000017c8: JUMPDEST
000017c9: PUSH1 0x00
000017cb: PUSH1 0x33
000017cd: PUSH1 0x00
000017cf: SWAP1
000017d0: SLOAD
000017d1: SWAP1
000017d2: PUSH2 0x0100
000017d5: EXP
000017d6: SWAP1
000017d7: DIV
000017d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017ed: AND
000017ee: SWAP1
000017ef: POP
000017f0: SWAP1
000017f1: JUMP
000017f2: JUMPDEST
000017f3: PUSH1 0x49
000017f5: PUSH1 0x20
000017f7: MSTORE
000017f8: DUP2
000017f9: PUSH1 0x00
000017fb: MSTORE
000017fc: PUSH1 0x40
000017fe: PUSH1 0x00
00001800: KECCAK256
00001801: PUSH1 0x20
00001803: MSTORE
00001804: DUP1
00001805: PUSH1 0x00
00001807: MSTORE
00001808: PUSH1 0x40
0000180a: PUSH1 0x00
0000180c: KECCAK256
0000180d: PUSH1 0x00
0000180f: SWAP2
00001810: POP
00001811: SWAP2
00001812: POP
00001813: POP
00001814: SLOAD
00001815: DUP2
00001816: JUMP
00001817: JUMPDEST
00001818: PUSH1 0x00
0000181a: PUSH2 0x1821
0000181d: PUSH2 0x17c8
00001820: JUMP
00001821: JUMPDEST
00001822: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001837: AND
00001838: CALLER
00001839: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000184e: AND
0000184f: EQ
00001850: PUSH2 0x18a4
00001853: JUMPI
00001854: PUSH1 0x40
00001856: MLOAD
00001857: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001878: DUP2
00001879: MSTORE
0000187a: PUSH1 0x04
0000187c: ADD
0000187d: DUP1
0000187e: DUP1
0000187f: PUSH1 0x20
00001881: ADD
00001882: DUP3
00001883: DUP2
00001884: SUB
00001885: DUP3
00001886: MSTORE
00001887: PUSH1 0x24
00001889: DUP2
0000188a: MSTORE
0000188b: PUSH1 0x20
0000188d: ADD
0000188e: DUP1
0000188f: PUSH2 0x4443
00001892: PUSH1 0x24
00001894: SWAP2
00001895: CODECOPY
00001896: PUSH1 0x40
00001898: ADD
00001899: SWAP2
0000189a: POP
0000189b: POP
0000189c: PUSH1 0x40
0000189e: MLOAD
0000189f: DUP1
000018a0: SWAP2
000018a1: SUB
000018a2: SWAP1
000018a3: REVERT
000018a4: JUMPDEST
000018a5: PUSH2 0x18f1
000018a8: DUP4
000018a9: DUP4
000018aa: DUP1
000018ab: DUP1
000018ac: PUSH1 0x1f
000018ae: ADD
000018af: PUSH1 0x20
000018b1: DUP1
000018b2: SWAP2
000018b3: DIV
000018b4: MUL
000018b5: PUSH1 0x20
000018b7: ADD
000018b8: PUSH1 0x40
000018ba: MLOAD
000018bb: SWAP1
000018bc: DUP2
000018bd: ADD
000018be: PUSH1 0x40
000018c0: MSTORE
000018c1: DUP1
000018c2: SWAP4
000018c3: SWAP3
000018c4: SWAP2
000018c5: SWAP1
000018c6: DUP2
000018c7: DUP2
000018c8: MSTORE
000018c9: PUSH1 0x20
000018cb: ADD
000018cc: DUP4
000018cd: DUP4
000018ce: DUP1
000018cf: DUP3
000018d0: DUP5
000018d1: CALLDATACOPY
000018d2: PUSH1 0x00
000018d4: DUP2
000018d5: DUP5
000018d6: ADD
000018d7: MSTORE
000018d8: PUSH1 0x1f
000018da: NOT
000018db: PUSH1 0x1f
000018dd: DUP3
000018de: ADD
000018df: AND
000018e0: SWAP1
000018e1: POP
000018e2: DUP1
000018e3: DUP4
000018e4: ADD
000018e5: SWAP3
000018e6: POP
000018e7: POP
000018e8: POP
000018e9: POP
000018ea: POP
000018eb: POP
000018ec: POP
000018ed: PUSH2 0x2b9f
000018f0: JUMP
000018f1: JUMPDEST
000018f2: SWAP1
000018f3: POP
000018f4: SWAP3
000018f5: SWAP2
000018f6: POP
000018f7: POP
000018f8: JUMP
000018f9: JUMPDEST
000018fa: PUSH1 0x00
000018fc: PUSH1 0x01
000018fe: SWAP1
000018ff: SLOAD
00001900: SWAP1
00001901: PUSH2 0x0100
00001904: EXP
00001905: SWAP1
00001906: DIV
00001907: PUSH1 0xff
00001909: AND
0000190a: DUP1
0000190b: PUSH2 0x1918
0000190e: JUMPI
0000190f: POP
00001910: PUSH2 0x1917
00001913: PUSH2 0x2ba6
00001916: JUMP
00001917: JUMPDEST
00001918: JUMPDEST
00001919: DUP1
0000191a: PUSH2 0x192f
0000191d: JUMPI
0000191e: POP
0000191f: PUSH1 0x00
00001921: DUP1
00001922: SWAP1
00001923: SLOAD
00001924: SWAP1
00001925: PUSH2 0x0100
00001928: EXP
00001929: SWAP1
0000192a: DIV
0000192b: PUSH1 0xff
0000192d: AND
0000192e: ISZERO
0000192f: JUMPDEST
00001930: PUSH2 0x1984
00001933: JUMPI
00001934: PUSH1 0x40
00001936: MLOAD
00001937: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001958: DUP2
00001959: MSTORE
0000195a: PUSH1 0x04
0000195c: ADD
0000195d: DUP1
0000195e: DUP1
0000195f: PUSH1 0x20
00001961: ADD
00001962: DUP3
00001963: DUP2
00001964: SUB
00001965: DUP3
00001966: MSTORE
00001967: PUSH1 0x2e
00001969: DUP2
0000196a: MSTORE
0000196b: PUSH1 0x20
0000196d: ADD
0000196e: DUP1
0000196f: PUSH2 0x43e8
00001972: PUSH1 0x2e
00001974: SWAP2
00001975: CODECOPY
00001976: PUSH1 0x40
00001978: ADD
00001979: SWAP2
0000197a: POP
0000197b: POP
0000197c: PUSH1 0x40
0000197e: MLOAD
0000197f: DUP1
00001980: SWAP2
00001981: SUB
00001982: SWAP1
00001983: REVERT
00001984: JUMPDEST
00001985: PUSH1 0x00
00001987: DUP1
00001988: PUSH1 0x01
0000198a: SWAP1
0000198b: SLOAD
0000198c: SWAP1
0000198d: PUSH2 0x0100
00001990: EXP
00001991: SWAP1
00001992: DIV
00001993: PUSH1 0xff
00001995: AND
00001996: ISZERO
00001997: SWAP1
00001998: POP
00001999: DUP1
0000199a: ISZERO
0000199b: PUSH2 0x19d4
0000199e: JUMPI
0000199f: PUSH1 0x01
000019a1: PUSH1 0x00
000019a3: PUSH1 0x01
000019a5: PUSH2 0x0100
000019a8: EXP
000019a9: DUP2
000019aa: SLOAD
000019ab: DUP2
000019ac: PUSH1 0xff
000019ae: MUL
000019af: NOT
000019b0: AND
000019b1: SWAP1
000019b2: DUP4
000019b3: ISZERO
000019b4: ISZERO
000019b5: MUL
000019b6: OR
000019b7: SWAP1
000019b8: SSTORE
000019b9: POP
000019ba: PUSH1 0x01
000019bc: PUSH1 0x00
000019be: DUP1
000019bf: PUSH2 0x0100
000019c2: EXP
000019c3: DUP2
000019c4: SLOAD
000019c5: DUP2
000019c6: PUSH1 0xff
000019c8: MUL
000019c9: NOT
000019ca: AND
000019cb: SWAP1
000019cc: DUP4
000019cd: ISZERO
000019ce: ISZERO
000019cf: MUL
000019d0: OR
000019d1: SWAP1
000019d2: SSTORE
000019d3: POP
000019d4: JUMPDEST
000019d5: PUSH1 0x00
000019d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019ec: AND
000019ed: PUSH1 0x33
000019ef: PUSH1 0x00
000019f1: SWAP1
000019f2: SLOAD
000019f3: SWAP1
000019f4: PUSH2 0x0100
000019f7: EXP
000019f8: SWAP1
000019f9: DIV
000019fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a0f: AND
00001a10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a25: AND
00001a26: EQ
00001a27: ISZERO
00001a28: PUSH2 0x1a34
00001a2b: JUMPI
00001a2c: PUSH2 0x1a33
00001a2f: PUSH2 0x0d6b
00001a32: JUMP
00001a33: JUMPDEST
00001a34: JUMPDEST
00001a35: DUP1
00001a36: ISZERO
00001a37: PUSH2 0x1a55
00001a3a: JUMPI
00001a3b: PUSH1 0x00
00001a3d: DUP1
00001a3e: PUSH1 0x01
00001a40: PUSH2 0x0100
00001a43: EXP
00001a44: DUP2
00001a45: SLOAD
00001a46: DUP2
00001a47: PUSH1 0xff
00001a49: MUL
00001a4a: NOT
00001a4b: AND
00001a4c: SWAP1
00001a4d: DUP4
00001a4e: ISZERO
00001a4f: ISZERO
00001a50: MUL
00001a51: OR
00001a52: SWAP1
00001a53: SSTORE
00001a54: POP
00001a55: JUMPDEST
00001a56: POP
00001a57: JUMP
00001a58: JUMPDEST
00001a59: PUSH1 0x00
00001a5b: PUSH1 0x60
00001a5d: PUSH1 0x00
00001a5f: PUSH2 0x1aad
00001a62: DUP13
00001a63: DUP13
00001a64: DUP1
00001a65: DUP1
00001a66: PUSH1 0x1f
00001a68: ADD
00001a69: PUSH1 0x20
00001a6b: DUP1
00001a6c: SWAP2
00001a6d: DIV
00001a6e: MUL
00001a6f: PUSH1 0x20
00001a71: ADD
00001a72: PUSH1 0x40
00001a74: MLOAD
00001a75: SWAP1
00001a76: DUP2
00001a77: ADD
00001a78: PUSH1 0x40
00001a7a: MSTORE
00001a7b: DUP1
00001a7c: SWAP4
00001a7d: SWAP3
00001a7e: SWAP2
00001a7f: SWAP1
00001a80: DUP2
00001a81: DUP2
00001a82: MSTORE
00001a83: PUSH1 0x20
00001a85: ADD
00001a86: DUP4
00001a87: DUP4
00001a88: DUP1
00001a89: DUP3
00001a8a: DUP5
00001a8b: CALLDATACOPY
00001a8c: PUSH1 0x00
00001a8e: DUP2
00001a8f: DUP5
00001a90: ADD
00001a91: MSTORE
00001a92: PUSH1 0x1f
00001a94: NOT
00001a95: PUSH1 0x1f
00001a97: DUP3
00001a98: ADD
00001a99: AND
00001a9a: SWAP1
00001a9b: POP
00001a9c: DUP1
00001a9d: DUP4
00001a9e: ADD
00001a9f: SWAP3
00001aa0: POP
00001aa1: POP
00001aa2: POP
00001aa3: POP
00001aa4: POP
00001aa5: POP
00001aa6: POP
00001aa7: PUSH1 0x00
00001aa9: PUSH2 0x2bb7
00001aac: JUMP
00001aad: JUMPDEST
00001aae: SWAP1
00001aaf: POP
00001ab0: PUSH4 0x67dd74ca
00001ab5: PUSH1 0xe0
00001ab7: SHL
00001ab8: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001ad5: NOT
00001ad6: AND
00001ad7: DUP2
00001ad8: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001af5: NOT
00001af6: AND
00001af7: EQ
00001af8: ISZERO
00001af9: PUSH2 0x1b0e
00001afc: JUMPI
00001afd: PUSH2 0x1b04
00001b00: PUSH2 0x2c50
00001b03: JUMP
00001b04: JUMPDEST
00001b05: SWAP3
00001b06: POP
00001b07: SWAP3
00001b08: POP
00001b09: POP
00001b0a: PUSH2 0x1b28
00001b0d: JUMP
00001b0e: JUMPDEST
00001b0f: PUSH2 0x1b22
00001b12: PUSH1 0x01
00001b14: DUP1
00001b15: DUP2
00001b16: GT
00001b17: ISZERO
00001b18: PUSH2 0x1b1d
00001b1b: JUMPI
00001b1c: INVALID
00001b1d: JUMPDEST
00001b1e: PUSH2 0x2c74
00001b21: JUMP
00001b22: JUMPDEST
00001b23: SWAP3
00001b24: POP
00001b25: SWAP3
00001b26: POP
00001b27: POP
00001b28: JUMPDEST
00001b29: SWAP12
00001b2a: POP
00001b2b: SWAP12
00001b2c: SWAP10
00001b2d: POP
00001b2e: POP
00001b2f: POP
00001b30: POP
00001b31: POP
00001b32: POP
00001b33: POP
00001b34: POP
00001b35: POP
00001b36: POP
00001b37: JUMP
00001b38: JUMPDEST
00001b39: PUSH1 0x4b
00001b3b: PUSH1 0x20
00001b3d: MSTORE
00001b3e: DUP1
00001b3f: PUSH1 0x00
00001b41: MSTORE
00001b42: PUSH1 0x40
00001b44: PUSH1 0x00
00001b46: KECCAK256
00001b47: PUSH1 0x00
00001b49: SWAP2
00001b4a: POP
00001b4b: SLOAD
00001b4c: SWAP1
00001b4d: PUSH2 0x0100
00001b50: EXP
00001b51: SWAP1
00001b52: DIV
00001b53: PUSH1 0xff
00001b55: AND
00001b56: DUP2
00001b57: JUMP
00001b58: JUMPDEST
00001b59: PUSH1 0x45
00001b5b: SLOAD
00001b5c: DUP2
00001b5d: JUMP
00001b5e: JUMPDEST
00001b5f: PUSH1 0x60
00001b61: PUSH1 0x40
00001b63: MLOAD
00001b64: DUP1
00001b65: PUSH1 0x40
00001b67: ADD
00001b68: PUSH1 0x40
00001b6a: MSTORE
00001b6b: DUP1
00001b6c: PUSH1 0x05
00001b6e: DUP2
00001b6f: MSTORE
00001b70: PUSH1 0x20
00001b72: ADD
00001b73: PUSH32 0x312e302e30000000000000000000000000000000000000000000000000000000
00001b94: DUP2
00001b95: MSTORE
00001b96: POP
00001b97: SWAP1
00001b98: POP
00001b99: SWAP1
00001b9a: JUMP
00001b9b: JUMPDEST
00001b9c: PUSH1 0x4a
00001b9e: PUSH1 0x20
00001ba0: MSTORE
00001ba1: DUP1
00001ba2: PUSH1 0x00
00001ba4: MSTORE
00001ba5: PUSH1 0x40
00001ba7: PUSH1 0x00
00001ba9: KECCAK256
00001baa: PUSH1 0x00
00001bac: SWAP2
00001bad: POP
00001bae: SLOAD
00001baf: SWAP1
00001bb0: PUSH2 0x0100
00001bb3: EXP
00001bb4: SWAP1
00001bb5: DIV
00001bb6: PUSH1 0xff
00001bb8: AND
00001bb9: DUP2
00001bba: JUMP
00001bbb: JUMPDEST
00001bbc: PUSH1 0x44
00001bbe: SLOAD
00001bbf: DUP2
00001bc0: JUMP
00001bc1: JUMPDEST
00001bc2: PUSH2 0x1bc9
00001bc5: PUSH2 0x2c95
00001bc8: JUMP
00001bc9: JUMPDEST
00001bca: JUMP
00001bcb: JUMPDEST
00001bcc: PUSH1 0x3e
00001bce: SLOAD
00001bcf: DUP2
00001bd0: JUMP
00001bd1: JUMPDEST
00001bd2: PUSH1 0x00
00001bd4: PUSH1 0x39
00001bd6: PUSH1 0x00
00001bd8: SWAP1
00001bd9: SLOAD
00001bda: SWAP1
00001bdb: PUSH2 0x0100
00001bde: EXP
00001bdf: SWAP1
00001be0: DIV
00001be1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bf6: AND
00001bf7: SWAP1
00001bf8: POP
00001bf9: SWAP1
00001bfa: JUMP
00001bfb: JUMPDEST
00001bfc: PUSH2 0x1c03
00001bff: PUSH2 0x17c8
00001c02: JUMP
00001c03: JUMPDEST
00001c04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c19: AND
00001c1a: CALLER
00001c1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c30: AND
00001c31: EQ
00001c32: PUSH2 0x1c86
00001c35: JUMPI
00001c36: PUSH1 0x40
00001c38: MLOAD
00001c39: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c5a: DUP2
00001c5b: MSTORE
00001c5c: PUSH1 0x04
00001c5e: ADD
00001c5f: DUP1
00001c60: DUP1
00001c61: PUSH1 0x20
00001c63: ADD
00001c64: DUP3
00001c65: DUP2
00001c66: SUB
00001c67: DUP3
00001c68: MSTORE
00001c69: PUSH1 0x24
00001c6b: DUP2
00001c6c: MSTORE
00001c6d: PUSH1 0x20
00001c6f: ADD
00001c70: DUP1
00001c71: PUSH2 0x4443
00001c74: PUSH1 0x24
00001c76: SWAP2
00001c77: CODECOPY
00001c78: PUSH1 0x40
00001c7a: ADD
00001c7b: SWAP2
00001c7c: POP
00001c7d: POP
00001c7e: PUSH1 0x40
00001c80: MLOAD
00001c81: DUP1
00001c82: SWAP2
00001c83: SUB
00001c84: SWAP1
00001c85: REVERT
00001c86: JUMPDEST
00001c87: PUSH2 0x1cd6
00001c8a: DUP6
00001c8b: DUP6
00001c8c: DUP1
00001c8d: DUP1
00001c8e: PUSH1 0x1f
00001c90: ADD
00001c91: PUSH1 0x20
00001c93: DUP1
00001c94: SWAP2
00001c95: DIV
00001c96: MUL
00001c97: PUSH1 0x20
00001c99: ADD
00001c9a: PUSH1 0x40
00001c9c: MLOAD
00001c9d: SWAP1
00001c9e: DUP2
00001c9f: ADD
00001ca0: PUSH1 0x40
00001ca2: MSTORE
00001ca3: DUP1
00001ca4: SWAP4
00001ca5: SWAP3
00001ca6: SWAP2
00001ca7: SWAP1
00001ca8: DUP2
00001ca9: DUP2
00001caa: MSTORE
00001cab: PUSH1 0x20
00001cad: ADD
00001cae: DUP4
00001caf: DUP4
00001cb0: DUP1
00001cb1: DUP3
00001cb2: DUP5
00001cb3: CALLDATACOPY
00001cb4: PUSH1 0x00
00001cb6: DUP2
00001cb7: DUP5
00001cb8: ADD
00001cb9: MSTORE
00001cba: PUSH1 0x1f
00001cbc: NOT
00001cbd: PUSH1 0x1f
00001cbf: DUP3
00001cc0: ADD
00001cc1: AND
00001cc2: SWAP1
00001cc3: POP
00001cc4: DUP1
00001cc5: DUP4
00001cc6: ADD
00001cc7: SWAP3
00001cc8: POP
00001cc9: POP
00001cca: POP
00001ccb: POP
00001ccc: POP
00001ccd: POP
00001cce: POP
00001ccf: DUP5
00001cd0: DUP5
00001cd1: DUP5
00001cd2: PUSH2 0x2f28
00001cd5: JUMP
00001cd6: JUMPDEST
00001cd7: POP
00001cd8: POP
00001cd9: POP
00001cda: POP
00001cdb: POP
00001cdc: JUMP
00001cdd: JUMPDEST
00001cde: PUSH1 0x00
00001ce0: DUP1
00001ce1: PUSH1 0x47
00001ce3: PUSH1 0x00
00001ce5: PUSH1 0x3e
00001ce7: SLOAD
00001ce8: DUP2
00001ce9: MSTORE
00001cea: PUSH1 0x20
00001cec: ADD
00001ced: SWAP1
00001cee: DUP2
00001cef: MSTORE
00001cf0: PUSH1 0x20
00001cf2: ADD
00001cf3: PUSH1 0x00
00001cf5: KECCAK256
00001cf6: SWAP1
00001cf7: POP
00001cf8: PUSH1 0x00
00001cfa: DUP2
00001cfb: PUSH1 0x01
00001cfd: ADD
00001cfe: DUP1
00001cff: SLOAD
00001d00: SWAP1
00001d01: POP
00001d02: SWAP1
00001d03: POP
00001d04: PUSH2 0x1d18
00001d07: DUP2
00001d08: PUSH1 0x42
00001d0a: SLOAD
00001d0b: PUSH2 0x2622
00001d0e: SWAP1
00001d0f: SWAP2
00001d10: SWAP1
00001d11: PUSH4 0xffffffff
00001d16: AND
00001d17: JUMP
00001d18: JUMPDEST
00001d19: SWAP3
00001d1a: POP
00001d1b: POP
00001d1c: POP
00001d1d: SWAP1
00001d1e: JUMP
00001d1f: JUMPDEST
00001d20: PUSH1 0x3d
00001d22: SLOAD
00001d23: DUP2
00001d24: JUMP
00001d25: JUMPDEST
00001d26: PUSH1 0x3c
00001d28: SLOAD
00001d29: DUP2
00001d2a: JUMP
00001d2b: JUMPDEST
00001d2c: PUSH1 0x00
00001d2e: DUP1
00001d2f: PUSH1 0x47
00001d31: PUSH1 0x00
00001d33: PUSH1 0x3e
00001d35: SLOAD
00001d36: DUP2
00001d37: MSTORE
00001d38: PUSH1 0x20
00001d3a: ADD
00001d3b: SWAP1
00001d3c: DUP2
00001d3d: MSTORE
00001d3e: PUSH1 0x20
00001d40: ADD
00001d41: PUSH1 0x00
00001d43: KECCAK256
00001d44: SWAP1
00001d45: POP
00001d46: PUSH1 0x00
00001d48: DUP2
00001d49: PUSH1 0x01
00001d4b: ADD
00001d4c: DUP1
00001d4d: SLOAD
00001d4e: SWAP1
00001d4f: POP
00001d50: SWAP1
00001d51: POP
00001d52: DUP1
00001d53: SWAP3
00001d54: POP
00001d55: POP
00001d56: POP
00001d57: SWAP1
00001d58: JUMP
00001d59: JUMPDEST
00001d5a: PUSH1 0x00
00001d5c: PUSH1 0x33
00001d5e: PUSH1 0x00
00001d60: SWAP1
00001d61: SLOAD
00001d62: SWAP1
00001d63: PUSH2 0x0100
00001d66: EXP
00001d67: SWAP1
00001d68: DIV
00001d69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d7e: AND
00001d7f: SWAP1
00001d80: POP
00001d81: PUSH1 0x00
00001d83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d98: AND
00001d99: DUP3
00001d9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001daf: AND
00001db0: EQ
00001db1: ISZERO
00001db2: PUSH2 0x1e06
00001db5: JUMPI
00001db6: PUSH1 0x40
00001db8: MLOAD
00001db9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001dda: DUP2
00001ddb: MSTORE
00001ddc: PUSH1 0x04
00001dde: ADD
00001ddf: DUP1
00001de0: DUP1
00001de1: PUSH1 0x20
00001de3: ADD
00001de4: DUP3
00001de5: DUP2
00001de6: SUB
00001de7: DUP3
00001de8: MSTORE
00001de9: PUSH1 0x2e
00001deb: DUP2
00001dec: MSTORE
00001ded: PUSH1 0x20
00001def: ADD
00001df0: DUP1
00001df1: PUSH2 0x4399
00001df4: PUSH1 0x2e
00001df6: SWAP2
00001df7: CODECOPY
00001df8: PUSH1 0x40
00001dfa: ADD
00001dfb: SWAP2
00001dfc: POP
00001dfd: POP
00001dfe: PUSH1 0x40
00001e00: MLOAD
00001e01: DUP1
00001e02: SWAP2
00001e03: SUB
00001e04: SWAP1
00001e05: REVERT
00001e06: JUMPDEST
00001e07: DUP1
00001e08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e1d: AND
00001e1e: DUP3
00001e1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e34: AND
00001e35: EQ
00001e36: ISZERO
00001e37: PUSH2 0x1e8b
00001e3a: JUMPI
00001e3b: PUSH1 0x40
00001e3d: MLOAD
00001e3e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e5f: DUP2
00001e60: MSTORE
00001e61: PUSH1 0x04
00001e63: ADD
00001e64: DUP1
00001e65: DUP1
00001e66: PUSH1 0x20
00001e68: ADD
00001e69: DUP3
00001e6a: DUP2
00001e6b: SUB
00001e6c: DUP3
00001e6d: MSTORE
00001e6e: PUSH1 0x2d
00001e70: DUP2
00001e71: MSTORE
00001e72: PUSH1 0x20
00001e74: ADD
00001e75: DUP1
00001e76: PUSH2 0x4416
00001e79: PUSH1 0x2d
00001e7b: SWAP2
00001e7c: CODECOPY
00001e7d: PUSH1 0x40
00001e7f: ADD
00001e80: SWAP2
00001e81: POP
00001e82: POP
00001e83: PUSH1 0x40
00001e85: MLOAD
00001e86: DUP1
00001e87: SWAP2
00001e88: SUB
00001e89: SWAP1
00001e8a: REVERT
00001e8b: JUMPDEST
00001e8c: DUP2
00001e8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ea2: AND
00001ea3: DUP2
00001ea4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eb9: AND
00001eba: PUSH32 0xb9f84b8e65164b14439ae3620df0a4d8786d896996c0282b683f9d8c08f046e8
00001edb: PUSH1 0x40
00001edd: MLOAD
00001ede: PUSH1 0x40
00001ee0: MLOAD
00001ee1: DUP1
00001ee2: SWAP2
00001ee3: SUB
00001ee4: SWAP1
00001ee5: LOG3
00001ee6: DUP2
00001ee7: PUSH1 0x33
00001ee9: PUSH1 0x00
00001eeb: PUSH2 0x0100
00001eee: EXP
00001eef: DUP2
00001ef0: SLOAD
00001ef1: DUP2
00001ef2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f07: MUL
00001f08: NOT
00001f09: AND
00001f0a: SWAP1
00001f0b: DUP4
00001f0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f21: AND
00001f22: MUL
00001f23: OR
00001f24: SWAP1
00001f25: SSTORE
00001f26: POP
00001f27: POP
00001f28: POP
00001f29: JUMP
00001f2a: JUMPDEST
00001f2b: PUSH1 0x00
00001f2d: PUSH1 0x33
00001f2f: PUSH1 0x00
00001f31: SWAP1
00001f32: SLOAD
00001f33: SWAP1
00001f34: PUSH2 0x0100
00001f37: EXP
00001f38: SWAP1
00001f39: DIV
00001f3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f4f: AND
00001f50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f65: AND
00001f66: CALLER
00001f67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f7c: AND
00001f7d: EQ
00001f7e: PUSH2 0x1f89
00001f81: JUMPI
00001f82: CALLER
00001f83: SWAP1
00001f84: POP
00001f85: PUSH2 0x1f94
00001f88: JUMP
00001f89: JUMPDEST
00001f8a: PUSH2 0x1f91
00001f8d: PUSH2 0x2f2e
00001f90: JUMP
00001f91: JUMPDEST
00001f92: SWAP1
00001f93: POP
00001f94: JUMPDEST
00001f95: SWAP1
00001f96: JUMP
00001f97: JUMPDEST
00001f98: PUSH1 0x00
00001f9a: DUP1
00001f9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fb0: AND
00001fb1: PUSH1 0x35
00001fb3: PUSH1 0x00
00001fb5: SWAP1
00001fb6: SLOAD
00001fb7: SWAP1
00001fb8: PUSH2 0x0100
00001fbb: EXP
00001fbc: SWAP1
00001fbd: DIV
00001fbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fd3: AND
00001fd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fe9: AND
00001fea: EQ
00001feb: DUP1
00001fec: PUSH2 0x201f
00001fef: JUMPI
00001ff0: POP
00001ff1: PUSH1 0x00
00001ff3: PUSH2 0x201d
00001ff6: PUSH1 0x35
00001ff8: PUSH1 0x00
00001ffa: SWAP1
00001ffb: SLOAD
00001ffc: SWAP1
00001ffd: PUSH2 0x0100
00002000: EXP
00002001: SWAP1
00002002: DIV
00002003: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002018: AND
00002019: PUSH2 0x2fa6
0000201c: JUMP
0000201d: JUMPDEST
0000201e: EQ
0000201f: JUMPDEST
00002020: ISZERO
00002021: PUSH2 0x2030
00002024: JUMPI
00002025: PUSH2 0x202e
00002028: PUSH1 0x00
0000202a: PUSH2 0x2fb1
0000202d: JUMP
0000202e: JUMPDEST
0000202f: POP
00002030: JUMPDEST
00002031: PUSH1 0x35
00002033: PUSH1 0x00
00002035: SWAP1
00002036: SLOAD
00002037: SWAP1
00002038: PUSH2 0x0100
0000203b: EXP
0000203c: SWAP1
0000203d: DIV
0000203e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002053: AND
00002054: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002069: AND
0000206a: PUSH4 0x38cc4831
0000206f: PUSH1 0x40
00002071: MLOAD
00002072: DUP2
00002073: PUSH4 0xffffffff
00002078: AND
00002079: PUSH1 0xe0
0000207b: SHL
0000207c: DUP2
0000207d: MSTORE
0000207e: PUSH1 0x04
00002080: ADD
00002081: PUSH1 0x20
00002083: PUSH1 0x40
00002085: MLOAD
00002086: DUP1
00002087: DUP4
00002088: SUB
00002089: DUP2
0000208a: PUSH1 0x00
0000208c: DUP8
0000208d: DUP1
0000208e: EXTCODESIZE
0000208f: ISZERO
00002090: DUP1
00002091: ISZERO
00002092: PUSH2 0x209a
00002095: JUMPI
00002096: PUSH1 0x00
00002098: DUP1
00002099: REVERT
0000209a: JUMPDEST
0000209b: POP
0000209c: GAS
0000209d: CALL
0000209e: ISZERO
0000209f: DUP1
000020a0: ISZERO
000020a1: PUSH2 0x20ae
000020a4: JUMPI
000020a5: RETURNDATASIZE
000020a6: PUSH1 0x00
000020a8: DUP1
000020a9: RETURNDATACOPY
000020aa: RETURNDATASIZE
000020ab: PUSH1 0x00
000020ad: REVERT
000020ae: JUMPDEST
000020af: POP
000020b0: POP
000020b1: POP
000020b2: POP
000020b3: PUSH1 0x40
000020b5: MLOAD
000020b6: RETURNDATASIZE
000020b7: PUSH1 0x20
000020b9: DUP2
000020ba: LT
000020bb: ISZERO
000020bc: PUSH2 0x20c4
000020bf: JUMPI
000020c0: PUSH1 0x00
000020c2: DUP1
000020c3: REVERT
000020c4: JUMPDEST
000020c5: DUP2
000020c6: ADD
000020c7: SWAP1
000020c8: DUP1
000020c9: DUP1
000020ca: MLOAD
000020cb: SWAP1
000020cc: PUSH1 0x20
000020ce: ADD
000020cf: SWAP1
000020d0: SWAP3
000020d1: SWAP2
000020d2: SWAP1
000020d3: POP
000020d4: POP
000020d5: POP
000020d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020eb: AND
000020ec: PUSH1 0x34
000020ee: PUSH1 0x00
000020f0: SWAP1
000020f1: SLOAD
000020f2: SWAP1
000020f3: PUSH2 0x0100
000020f6: EXP
000020f7: SWAP1
000020f8: DIV
000020f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000210e: AND
0000210f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002124: AND
00002125: EQ
00002126: PUSH2 0x220f
00002129: JUMPI
0000212a: PUSH1 0x35
0000212c: PUSH1 0x00
0000212e: SWAP1
0000212f: SLOAD
00002130: SWAP1
00002131: PUSH2 0x0100
00002134: EXP
00002135: SWAP1
00002136: DIV
00002137: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000214c: AND
0000214d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002162: AND
00002163: PUSH4 0x38cc4831
00002168: PUSH1 0x40
0000216a: MLOAD
0000216b: DUP2
0000216c: PUSH4 0xffffffff
00002171: AND
00002172: PUSH1 0xe0
00002174: SHL
00002175: DUP2
00002176: MSTORE
00002177: PUSH1 0x04
00002179: ADD
0000217a: PUSH1 0x20
0000217c: PUSH1 0x40
0000217e: MLOAD
0000217f: DUP1
00002180: DUP4
00002181: SUB
00002182: DUP2
00002183: PUSH1 0x00
00002185: DUP8
00002186: DUP1
00002187: EXTCODESIZE
00002188: ISZERO
00002189: DUP1
0000218a: ISZERO
0000218b: PUSH2 0x2193
0000218e: JUMPI
0000218f: PUSH1 0x00
00002191: DUP1
00002192: REVERT
00002193: JUMPDEST
00002194: POP
00002195: GAS
00002196: CALL
00002197: ISZERO
00002198: DUP1
00002199: ISZERO
0000219a: PUSH2 0x21a7
0000219d: JUMPI
0000219e: RETURNDATASIZE
0000219f: PUSH1 0x00
000021a1: DUP1
000021a2: RETURNDATACOPY
000021a3: RETURNDATASIZE
000021a4: PUSH1 0x00
000021a6: REVERT
000021a7: JUMPDEST
000021a8: POP
000021a9: POP
000021aa: POP
000021ab: POP
000021ac: PUSH1 0x40
000021ae: MLOAD
000021af: RETURNDATASIZE
000021b0: PUSH1 0x20
000021b2: DUP2
000021b3: LT
000021b4: ISZERO
000021b5: PUSH2 0x21bd
000021b8: JUMPI
000021b9: PUSH1 0x00
000021bb: DUP1
000021bc: REVERT
000021bd: JUMPDEST
000021be: DUP2
000021bf: ADD
000021c0: SWAP1
000021c1: DUP1
000021c2: DUP1
000021c3: MLOAD
000021c4: SWAP1
000021c5: PUSH1 0x20
000021c7: ADD
000021c8: SWAP1
000021c9: SWAP3
000021ca: SWAP2
000021cb: SWAP1
000021cc: POP
000021cd: POP
000021ce: POP
000021cf: PUSH1 0x34
000021d1: PUSH1 0x00
000021d3: PUSH2 0x0100
000021d6: EXP
000021d7: DUP2
000021d8: SLOAD
000021d9: DUP2
000021da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021ef: MUL
000021f0: NOT
000021f1: AND
000021f2: SWAP1
000021f3: DUP4
000021f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002209: AND
0000220a: MUL
0000220b: OR
0000220c: SWAP1
0000220d: SSTORE
0000220e: POP
0000220f: JUMPDEST
00002210: PUSH1 0x34
00002212: PUSH1 0x00
00002214: SWAP1
00002215: SLOAD
00002216: SWAP1
00002217: PUSH2 0x0100
0000221a: EXP
0000221b: SWAP1
0000221c: DIV
0000221d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002232: AND
00002233: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002248: AND
00002249: PUSH4 0xc281d19e
0000224e: PUSH1 0x40
00002250: MLOAD
00002251: DUP2
00002252: PUSH4 0xffffffff
00002257: AND
00002258: PUSH1 0xe0
0000225a: SHL
0000225b: DUP2
0000225c: MSTORE
0000225d: PUSH1 0x04
0000225f: ADD
00002260: PUSH1 0x20
00002262: PUSH1 0x40
00002264: MLOAD
00002265: DUP1
00002266: DUP4
00002267: SUB
00002268: DUP2
00002269: DUP7
0000226a: DUP1
0000226b: EXTCODESIZE
0000226c: ISZERO
0000226d: DUP1
0000226e: ISZERO
0000226f: PUSH2 0x2277
00002272: JUMPI
00002273: PUSH1 0x00
00002275: DUP1
00002276: REVERT
00002277: JUMPDEST
00002278: POP
00002279: GAS
0000227a: STATICCALL
0000227b: ISZERO
0000227c: DUP1
0000227d: ISZERO
0000227e: PUSH2 0x228b
00002281: JUMPI
00002282: RETURNDATASIZE
00002283: PUSH1 0x00
00002285: DUP1
00002286: RETURNDATACOPY
00002287: RETURNDATASIZE
00002288: PUSH1 0x00
0000228a: REVERT
0000228b: JUMPDEST
0000228c: POP
0000228d: POP
0000228e: POP
0000228f: POP
00002290: PUSH1 0x40
00002292: MLOAD
00002293: RETURNDATASIZE
00002294: PUSH1 0x20
00002296: DUP2
00002297: LT
00002298: ISZERO
00002299: PUSH2 0x22a1
0000229c: JUMPI
0000229d: PUSH1 0x00
0000229f: DUP1
000022a0: REVERT
000022a1: JUMPDEST
000022a2: DUP2
000022a3: ADD
000022a4: SWAP1
000022a5: DUP1
000022a6: DUP1
000022a7: MLOAD
000022a8: SWAP1
000022a9: PUSH1 0x20
000022ab: ADD
000022ac: SWAP1
000022ad: SWAP3
000022ae: SWAP2
000022af: SWAP1
000022b0: POP
000022b1: POP
000022b2: POP
000022b3: SWAP1
000022b4: POP
000022b5: SWAP1
000022b6: JUMP
000022b7: JUMPDEST
000022b8: PUSH1 0x00
000022ba: DUP1
000022bb: PUSH1 0x00
000022bd: SWAP1
000022be: POP
000022bf: PUSH1 0x60
000022c1: DUP4
000022c2: SWAP1
000022c3: POP
000022c4: PUSH1 0x00
000022c6: DUP1
000022c7: SWAP1
000022c8: POP
000022c9: JUMPDEST
000022ca: DUP2
000022cb: MLOAD
000022cc: DUP2
000022cd: LT
000022ce: ISZERO
000022cf: PUSH2 0x232a
000022d2: JUMPI
000022d3: PUSH1 0x00
000022d5: DUP3
000022d6: DUP3
000022d7: DUP2
000022d8: MLOAD
000022d9: DUP2
000022da: LT
000022db: PUSH2 0x22e0
000022de: JUMPI
000022df: INVALID
000022e0: JUMPDEST
000022e1: PUSH1 0x20
000022e3: ADD
000022e4: ADD
000022e5: MLOAD
000022e6: PUSH1 0xf8
000022e8: SHR
000022e9: PUSH1 0xf8
000022eb: SHL
000022ec: PUSH1 0xf8
000022ee: SHR
000022ef: SWAP1
000022f0: POP
000022f1: PUSH1 0x30
000022f3: DUP2
000022f4: PUSH1 0xff
000022f6: AND
000022f7: LT
000022f8: ISZERO
000022f9: DUP1
000022fa: ISZERO
000022fb: PUSH2 0x2308
000022fe: JUMPI
000022ff: POP
00002300: PUSH1 0x39
00002302: DUP2
00002303: PUSH1 0xff
00002305: AND
00002306: GT
00002307: ISZERO
00002308: JUMPDEST
00002309: ISZERO
0000230a: PUSH2 0x231c
0000230d: JUMPI
0000230e: PUSH1 0x30
00002310: DUP2
00002311: SUB
00002312: PUSH1 0xff
00002314: AND
00002315: PUSH1 0x0a
00002317: DUP6
00002318: MUL
00002319: ADD
0000231a: SWAP4
0000231b: POP
0000231c: JUMPDEST
0000231d: POP
0000231e: DUP1
0000231f: DUP1
00002320: PUSH1 0x01
00002322: ADD
00002323: SWAP2
00002324: POP
00002325: POP
00002326: PUSH2 0x22c9
00002329: JUMP
0000232a: JUMPDEST
0000232b: POP
0000232c: DUP2
0000232d: SWAP3
0000232e: POP
0000232f: POP
00002330: POP
00002331: SWAP2
00002332: SWAP1
00002333: POP
00002334: JUMP
00002335: JUMPDEST
00002336: PUSH1 0x00
00002338: PUSH1 0x47
0000233a: PUSH1 0x00
0000233c: PUSH1 0x3e
0000233e: SLOAD
0000233f: DUP2
00002340: MSTORE
00002341: PUSH1 0x20
00002343: ADD
00002344: SWAP1
00002345: DUP2
00002346: MSTORE
00002347: PUSH1 0x20
00002349: ADD
0000234a: PUSH1 0x00
0000234c: KECCAK256
0000234d: SWAP1
0000234e: POP
0000234f: PUSH1 0x00
00002351: DUP2
00002352: PUSH1 0x01
00002354: ADD
00002355: DUP4
00002356: DUP2
00002357: SLOAD
00002358: DUP2
00002359: LT
0000235a: PUSH2 0x235f
0000235d: JUMPI
0000235e: INVALID
0000235f: JUMPDEST
00002360: SWAP1
00002361: PUSH1 0x00
00002363: MSTORE
00002364: PUSH1 0x20
00002366: PUSH1 0x00
00002368: KECCAK256
00002369: ADD
0000236a: PUSH1 0x00
0000236c: SWAP1
0000236d: SLOAD
0000236e: SWAP1
0000236f: PUSH2 0x0100
00002372: EXP
00002373: SWAP1
00002374: DIV
00002375: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000238a: AND
0000238b: SWAP1
0000238c: POP
0000238d: DUP1
0000238e: DUP3
0000238f: PUSH1 0x02
00002391: ADD
00002392: PUSH1 0x00
00002394: PUSH2 0x0100
00002397: EXP
00002398: DUP2
00002399: SLOAD
0000239a: DUP2
0000239b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023b0: MUL
000023b1: NOT
000023b2: AND
000023b3: SWAP1
000023b4: DUP4
000023b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023ca: AND
000023cb: MUL
000023cc: OR
000023cd: SWAP1
000023ce: SSTORE
000023cf: POP
000023d0: PUSH1 0x00
000023d2: PUSH2 0x23fa
000023d5: PUSH1 0x64
000023d7: PUSH2 0x23ec
000023da: PUSH1 0x5a
000023dc: PUSH1 0x3c
000023de: SLOAD
000023df: PUSH2 0x259c
000023e2: SWAP1
000023e3: SWAP2
000023e4: SWAP1
000023e5: PUSH4 0xffffffff
000023ea: AND
000023eb: JUMP
000023ec: JUMPDEST
000023ed: PUSH2 0x2fc2
000023f0: SWAP1
000023f1: SWAP2
000023f2: SWAP1
000023f3: PUSH4 0xffffffff
000023f8: AND
000023f9: JUMP
000023fa: JUMPDEST
000023fb: SWAP1
000023fc: POP
000023fd: PUSH2 0x2411
00002400: DUP2
00002401: PUSH1 0x3c
00002403: SLOAD
00002404: PUSH2 0x2622
00002407: SWAP1
00002408: SWAP2
00002409: SWAP1
0000240a: PUSH4 0xffffffff
0000240f: AND
00002410: JUMP
00002411: JUMPDEST
00002412: PUSH1 0x3d
00002414: PUSH1 0x00
00002416: DUP3
00002417: DUP3
00002418: SLOAD
00002419: ADD
0000241a: SWAP3
0000241b: POP
0000241c: POP
0000241d: DUP2
0000241e: SWAP1
0000241f: SSTORE
00002420: POP
00002421: PUSH1 0x39
00002423: PUSH1 0x00
00002425: SWAP1
00002426: SLOAD
00002427: SWAP1
00002428: PUSH2 0x0100
0000242b: EXP
0000242c: SWAP1
0000242d: DIV
0000242e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002443: AND
00002444: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002459: AND
0000245a: PUSH4 0xa9059cbb
0000245f: DUP4
00002460: DUP4
00002461: PUSH1 0x40
00002463: MLOAD
00002464: DUP4
00002465: PUSH4 0xffffffff
0000246a: AND
0000246b: PUSH1 0xe0
0000246d: SHL
0000246e: DUP2
0000246f: MSTORE
00002470: PUSH1 0x04
00002472: ADD
00002473: DUP1
00002474: DUP4
00002475: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000248a: AND
0000248b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024a0: AND
000024a1: DUP2
000024a2: MSTORE
000024a3: PUSH1 0x20
000024a5: ADD
000024a6: DUP3
000024a7: DUP2
000024a8: MSTORE
000024a9: PUSH1 0x20
000024ab: ADD
000024ac: SWAP3
000024ad: POP
000024ae: POP
000024af: POP
000024b0: PUSH1 0x20
000024b2: PUSH1 0x40
000024b4: MLOAD
000024b5: DUP1
000024b6: DUP4
000024b7: SUB
000024b8: DUP2
000024b9: PUSH1 0x00
000024bb: DUP8
000024bc: DUP1
000024bd: EXTCODESIZE
000024be: ISZERO
000024bf: DUP1
000024c0: ISZERO
000024c1: PUSH2 0x24c9
000024c4: JUMPI
000024c5: PUSH1 0x00
000024c7: DUP1
000024c8: REVERT
000024c9: JUMPDEST
000024ca: POP
000024cb: GAS
000024cc: CALL
000024cd: ISZERO
000024ce: DUP1
000024cf: ISZERO
000024d0: PUSH2 0x24dd
000024d3: JUMPI
000024d4: RETURNDATASIZE
000024d5: PUSH1 0x00
000024d7: DUP1
000024d8: RETURNDATACOPY
000024d9: RETURNDATASIZE
000024da: PUSH1 0x00
000024dc: REVERT
000024dd: JUMPDEST
000024de: POP
000024df: POP
000024e0: POP
000024e1: POP
000024e2: PUSH1 0x40
000024e4: MLOAD
000024e5: RETURNDATASIZE
000024e6: PUSH1 0x20
000024e8: DUP2
000024e9: LT
000024ea: ISZERO
000024eb: PUSH2 0x24f3
000024ee: JUMPI
000024ef: PUSH1 0x00
000024f1: DUP1
000024f2: REVERT
000024f3: JUMPDEST
000024f4: DUP2
000024f5: ADD
000024f6: SWAP1
000024f7: DUP1
000024f8: DUP1
000024f9: MLOAD
000024fa: SWAP1
000024fb: PUSH1 0x20
000024fd: ADD
000024fe: SWAP1
000024ff: SWAP3
00002500: SWAP2
00002501: SWAP1
00002502: POP
00002503: POP
00002504: POP
00002505: POP
00002506: PUSH32 0x866efae43947560fe9d0de9013bc323d5718730d5c1543261b48a7bcb0717b93
00002527: DUP3
00002528: DUP3
00002529: PUSH1 0x3e
0000252b: SLOAD
0000252c: PUSH1 0x40
0000252e: MLOAD
0000252f: DUP1
00002530: DUP5
00002531: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002546: AND
00002547: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000255c: AND
0000255d: DUP2
0000255e: MSTORE
0000255f: PUSH1 0x20
00002561: ADD
00002562: DUP4
00002563: DUP2
00002564: MSTORE
00002565: PUSH1 0x20
00002567: ADD
00002568: DUP3
00002569: DUP2
0000256a: MSTORE
0000256b: PUSH1 0x20
0000256d: ADD
0000256e: SWAP4
0000256f: POP
00002570: POP
00002571: POP
00002572: POP
00002573: PUSH1 0x40
00002575: MLOAD
00002576: DUP1
00002577: SWAP2
00002578: SUB
00002579: SWAP1
0000257a: LOG1
0000257b: POP
0000257c: POP
0000257d: POP
0000257e: POP
0000257f: JUMP
00002580: JUMPDEST
00002581: PUSH1 0x3e
00002583: PUSH1 0x00
00002585: DUP2
00002586: SLOAD
00002587: DUP1
00002588: SWAP3
00002589: SWAP2
0000258a: SWAP1
0000258b: PUSH1 0x01
0000258d: ADD
0000258e: SWAP2
0000258f: SWAP1
00002590: POP
00002591: SSTORE
00002592: POP
00002593: PUSH1 0x00
00002595: PUSH1 0x3c
00002597: DUP2
00002598: SWAP1
00002599: SSTORE
0000259a: POP
0000259b: JUMP
0000259c: JUMPDEST
0000259d: PUSH1 0x00
0000259f: DUP1
000025a0: DUP4
000025a1: EQ
000025a2: ISZERO
000025a3: PUSH2 0x25af
000025a6: JUMPI
000025a7: PUSH1 0x00
000025a9: SWAP1
000025aa: POP
000025ab: PUSH2 0x261c
000025ae: JUMP
000025af: JUMPDEST
000025b0: PUSH1 0x00
000025b2: DUP3
000025b3: DUP5
000025b4: MUL
000025b5: SWAP1
000025b6: POP
000025b7: DUP3
000025b8: DUP5
000025b9: DUP3
000025ba: DUP2
000025bb: PUSH2 0x25c0
000025be: JUMPI
000025bf: INVALID
000025c0: JUMPDEST
000025c1: DIV
000025c2: EQ
000025c3: PUSH2 0x2617
000025c6: JUMPI
000025c7: PUSH1 0x40
000025c9: MLOAD
000025ca: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000025eb: DUP2
000025ec: MSTORE
000025ed: PUSH1 0x04
000025ef: ADD
000025f0: DUP1
000025f1: DUP1
000025f2: PUSH1 0x20
000025f4: ADD
000025f5: DUP3
000025f6: DUP2
000025f7: SUB
000025f8: DUP3
000025f9: MSTORE
000025fa: PUSH1 0x21
000025fc: DUP2
000025fd: MSTORE
000025fe: PUSH1 0x20
00002600: ADD
00002601: DUP1
00002602: PUSH2 0x43c7
00002605: PUSH1 0x21
00002607: SWAP2
00002608: CODECOPY
00002609: PUSH1 0x40
0000260b: ADD
0000260c: SWAP2
0000260d: POP
0000260e: POP
0000260f: PUSH1 0x40
00002611: MLOAD
00002612: DUP1
00002613: SWAP2
00002614: SUB
00002615: SWAP1
00002616: REVERT
00002617: JUMPDEST
00002618: DUP1
00002619: SWAP2
0000261a: POP
0000261b: POP
0000261c: JUMPDEST
0000261d: SWAP3
0000261e: SWAP2
0000261f: POP
00002620: POP
00002621: JUMP
00002622: JUMPDEST
00002623: PUSH1 0x00
00002625: PUSH2 0x2664
00002628: DUP4
00002629: DUP4
0000262a: PUSH1 0x40
0000262c: MLOAD
0000262d: DUP1
0000262e: PUSH1 0x40
00002630: ADD
00002631: PUSH1 0x40
00002633: MSTORE
00002634: DUP1
00002635: PUSH1 0x1e
00002637: DUP2
00002638: MSTORE
00002639: PUSH1 0x20
0000263b: ADD
0000263c: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
0000265d: DUP2
0000265e: MSTORE
0000265f: POP
00002660: PUSH2 0x300c
00002663: JUMP
00002664: JUMPDEST
00002665: SWAP1
00002666: POP
00002667: SWAP3
00002668: SWAP2
00002669: POP
0000266a: POP
0000266b: JUMP
0000266c: JUMPDEST
0000266d: PUSH1 0x00
0000266f: PUSH2 0x26ae
00002672: DUP4
00002673: DUP4
00002674: PUSH1 0x40
00002676: MLOAD
00002677: DUP1
00002678: PUSH1 0x40
0000267a: ADD
0000267b: PUSH1 0x40
0000267d: MSTORE
0000267e: DUP1
0000267f: PUSH1 0x18
00002681: DUP2
00002682: MSTORE
00002683: PUSH1 0x20
00002685: ADD
00002686: PUSH32 0x536166654d6174683a206d6f64756c6f206279207a65726f0000000000000000
000026a7: DUP2
000026a8: MSTORE
000026a9: POP
000026aa: PUSH2 0x30cc
000026ad: JUMP
000026ae: JUMPDEST
000026af: SWAP1
000026b0: POP
000026b1: SWAP3
000026b2: SWAP2
000026b3: POP
000026b4: POP
000026b5: JUMP
000026b6: JUMPDEST
000026b7: PUSH1 0x44
000026b9: SLOAD
000026ba: SELFBALANCE
000026bb: LT
000026bc: ISZERO
000026bd: PUSH2 0x28d2
000026c0: JUMPI
000026c1: PUSH1 0x46
000026c3: PUSH1 0x00
000026c5: SWAP1
000026c6: SLOAD
000026c7: SWAP1
000026c8: PUSH2 0x0100
000026cb: EXP
000026cc: SWAP1
000026cd: DIV
000026ce: PUSH1 0xff
000026d0: AND
000026d1: PUSH2 0x27fc
000026d4: JUMPI
000026d5: PUSH1 0x39
000026d7: PUSH1 0x00
000026d9: SWAP1
000026da: SLOAD
000026db: SWAP1
000026dc: PUSH2 0x0100
000026df: EXP
000026e0: SWAP1
000026e1: DIV
000026e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026f7: AND
000026f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000270d: AND
0000270e: PUSH4 0x095ea7b3
00002713: PUSH1 0x3a
00002715: PUSH1 0x00
00002717: SWAP1
00002718: SLOAD
00002719: SWAP1
0000271a: PUSH2 0x0100
0000271d: EXP
0000271e: SWAP1
0000271f: DIV
00002720: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002735: AND
00002736: PUSH5 0x174876e800
0000273c: PUSH1 0x40
0000273e: MLOAD
0000273f: DUP4
00002740: PUSH4 0xffffffff
00002745: AND
00002746: PUSH1 0xe0
00002748: SHL
00002749: DUP2
0000274a: MSTORE
0000274b: PUSH1 0x04
0000274d: ADD
0000274e: DUP1
0000274f: DUP4
00002750: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002765: AND
00002766: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000277b: AND
0000277c: DUP2
0000277d: MSTORE
0000277e: PUSH1 0x20
00002780: ADD
00002781: DUP3
00002782: DUP2
00002783: MSTORE
00002784: PUSH1 0x20
00002786: ADD
00002787: SWAP3
00002788: POP
00002789: POP
0000278a: POP
0000278b: PUSH1 0x20
0000278d: PUSH1 0x40
0000278f: MLOAD
00002790: DUP1
00002791: DUP4
00002792: SUB
00002793: DUP2
00002794: PUSH1 0x00
00002796: DUP8
00002797: DUP1
00002798: EXTCODESIZE
00002799: ISZERO
0000279a: DUP1
0000279b: ISZERO
0000279c: PUSH2 0x27a4
0000279f: JUMPI
000027a0: PUSH1 0x00
000027a2: DUP1
000027a3: REVERT
000027a4: JUMPDEST
000027a5: POP
000027a6: GAS
000027a7: CALL
000027a8: ISZERO
000027a9: DUP1
000027aa: ISZERO
000027ab: PUSH2 0x27b8
000027ae: JUMPI
000027af: RETURNDATASIZE
000027b0: PUSH1 0x00
000027b2: DUP1
000027b3: RETURNDATACOPY
000027b4: RETURNDATASIZE
000027b5: PUSH1 0x00
000027b7: REVERT
000027b8: JUMPDEST
000027b9: POP
000027ba: POP
000027bb: POP
000027bc: POP
000027bd: PUSH1 0x40
000027bf: MLOAD
000027c0: RETURNDATASIZE
000027c1: PUSH1 0x20
000027c3: DUP2
000027c4: LT
000027c5: ISZERO
000027c6: PUSH2 0x27ce
000027c9: JUMPI
000027ca: PUSH1 0x00
000027cc: DUP1
000027cd: REVERT
000027ce: JUMPDEST
000027cf: DUP2
000027d0: ADD
000027d1: SWAP1
000027d2: DUP1
000027d3: DUP1
000027d4: MLOAD
000027d5: SWAP1
000027d6: PUSH1 0x20
000027d8: ADD
000027d9: SWAP1
000027da: SWAP3
000027db: SWAP2
000027dc: SWAP1
000027dd: POP
000027de: POP
000027df: POP
000027e0: POP
000027e1: PUSH1 0x01
000027e3: PUSH1 0x46
000027e5: PUSH1 0x00
000027e7: PUSH2 0x0100
000027ea: EXP
000027eb: DUP2
000027ec: SLOAD
000027ed: DUP2
000027ee: PUSH1 0xff
000027f0: MUL
000027f1: NOT
000027f2: AND
000027f3: SWAP1
000027f4: DUP4
000027f5: ISZERO
000027f6: ISZERO
000027f7: MUL
000027f8: OR
000027f9: SWAP1
000027fa: SSTORE
000027fb: POP
000027fc: JUMPDEST
000027fd: PUSH1 0x00
000027ff: PUSH1 0x3d
00002801: SLOAD
00002802: SWAP1
00002803: POP
00002804: PUSH1 0x3a
00002806: PUSH1 0x00
00002808: SWAP1
00002809: SLOAD
0000280a: SWAP1
0000280b: PUSH2 0x0100
0000280e: EXP
0000280f: SWAP1
00002810: DIV
00002811: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002826: AND
00002827: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000283c: AND
0000283d: PUSH4 0x95e3c50b
00002842: DUP3
00002843: PUSH1 0x41
00002845: SLOAD
00002846: PUSH1 0x3f
00002848: SLOAD
00002849: PUSH1 0x40
0000284b: MLOAD
0000284c: DUP5
0000284d: PUSH4 0xffffffff
00002852: AND
00002853: PUSH1 0xe0
00002855: SHL
00002856: DUP2
00002857: MSTORE
00002858: PUSH1 0x04
0000285a: ADD
0000285b: DUP1
0000285c: DUP5
0000285d: DUP2
0000285e: MSTORE
0000285f: PUSH1 0x20
00002861: ADD
00002862: DUP4
00002863: DUP2
00002864: MSTORE
00002865: PUSH1 0x20
00002867: ADD
00002868: DUP3
00002869: DUP2
0000286a: MSTORE
0000286b: PUSH1 0x20
0000286d: ADD
0000286e: SWAP4
0000286f: POP
00002870: POP
00002871: POP
00002872: POP
00002873: PUSH1 0x20
00002875: PUSH1 0x40
00002877: MLOAD
00002878: DUP1
00002879: DUP4
0000287a: SUB
0000287b: DUP2
0000287c: PUSH1 0x00
0000287e: DUP8
0000287f: DUP1
00002880: EXTCODESIZE
00002881: ISZERO
00002882: DUP1
00002883: ISZERO
00002884: PUSH2 0x288c
00002887: JUMPI
00002888: PUSH1 0x00
0000288a: DUP1
0000288b: REVERT
0000288c: JUMPDEST
0000288d: POP
0000288e: GAS
0000288f: CALL
00002890: ISZERO
00002891: DUP1
00002892: ISZERO
00002893: PUSH2 0x28a0
00002896: JUMPI
00002897: RETURNDATASIZE
00002898: PUSH1 0x00
0000289a: DUP1
0000289b: RETURNDATACOPY
0000289c: RETURNDATASIZE
0000289d: PUSH1 0x00
0000289f: REVERT
000028a0: JUMPDEST
000028a1: POP
000028a2: POP
000028a3: POP
000028a4: POP
000028a5: PUSH1 0x40
000028a7: MLOAD
000028a8: RETURNDATASIZE
000028a9: PUSH1 0x20
000028ab: DUP2
000028ac: LT
000028ad: ISZERO
000028ae: PUSH2 0x28b6
000028b1: JUMPI
000028b2: PUSH1 0x00
000028b4: DUP1
000028b5: REVERT
000028b6: JUMPDEST
000028b7: DUP2
000028b8: ADD
000028b9: SWAP1
000028ba: DUP1
000028bb: DUP1
000028bc: MLOAD
000028bd: SWAP1
000028be: PUSH1 0x20
000028c0: ADD
000028c1: SWAP1
000028c2: SWAP3
000028c3: SWAP2
000028c4: SWAP1
000028c5: POP
000028c6: POP
000028c7: POP
000028c8: POP
000028c9: PUSH1 0x00
000028cb: PUSH1 0x3d
000028cd: DUP2
000028ce: SWAP1
000028cf: SSTORE
000028d0: POP
000028d1: POP
000028d2: JUMPDEST
000028d3: JUMP
000028d4: JUMPDEST
000028d5: PUSH1 0x00
000028d7: PUSH1 0x3b
000028d9: PUSH1 0x00
000028db: SWAP1
000028dc: SLOAD
000028dd: SWAP1
000028de: PUSH2 0x0100
000028e1: EXP
000028e2: SWAP1
000028e3: DIV
000028e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028f9: AND
000028fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000290f: AND
00002910: PUSH4 0x70a08231
00002915: ADDRESS
00002916: PUSH1 0x40
00002918: MLOAD
00002919: DUP3
0000291a: PUSH4 0xffffffff
0000291f: AND
00002920: PUSH1 0xe0
00002922: SHL
00002923: DUP2
00002924: MSTORE
00002925: PUSH1 0x04
00002927: ADD
00002928: DUP1
00002929: DUP3
0000292a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000293f: AND
00002940: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002955: AND
00002956: DUP2
00002957: MSTORE
00002958: PUSH1 0x20
0000295a: ADD
0000295b: SWAP2
0000295c: POP
0000295d: POP
0000295e: PUSH1 0x20
00002960: PUSH1 0x40
00002962: MLOAD
00002963: DUP1
00002964: DUP4
00002965: SUB
00002966: DUP2
00002967: DUP7
00002968: DUP1
00002969: EXTCODESIZE
0000296a: ISZERO
0000296b: DUP1
0000296c: ISZERO
0000296d: PUSH2 0x2975
00002970: JUMPI
00002971: PUSH1 0x00
00002973: DUP1
00002974: REVERT
00002975: JUMPDEST
00002976: POP
00002977: GAS
00002978: STATICCALL
00002979: ISZERO
0000297a: DUP1
0000297b: ISZERO
0000297c: PUSH2 0x2989
0000297f: JUMPI
00002980: RETURNDATASIZE
00002981: PUSH1 0x00
00002983: DUP1
00002984: RETURNDATACOPY
00002985: RETURNDATASIZE
00002986: PUSH1 0x00
00002988: REVERT
00002989: JUMPDEST
0000298a: POP
0000298b: POP
0000298c: POP
0000298d: POP
0000298e: PUSH1 0x40
00002990: MLOAD
00002991: RETURNDATASIZE
00002992: PUSH1 0x20
00002994: DUP2
00002995: LT
00002996: ISZERO
00002997: PUSH2 0x299f
0000299a: JUMPI
0000299b: PUSH1 0x00
0000299d: DUP1
0000299e: REVERT
0000299f: JUMPDEST
000029a0: DUP2
000029a1: ADD
000029a2: SWAP1
000029a3: DUP1
000029a4: DUP1
000029a5: MLOAD
000029a6: SWAP1
000029a7: PUSH1 0x20
000029a9: ADD
000029aa: SWAP1
000029ab: SWAP3
000029ac: SWAP2
000029ad: SWAP1
000029ae: POP
000029af: POP
000029b0: POP
000029b1: SWAP1
000029b2: POP
000029b3: PUSH1 0x45
000029b5: SLOAD
000029b6: DUP2
000029b7: LT
000029b8: ISZERO
000029b9: PUSH2 0x2b59
000029bc: JUMPI
000029bd: PUSH1 0x00
000029bf: PUSH2 0x29d3
000029c2: DUP3
000029c3: PUSH1 0x45
000029c5: SLOAD
000029c6: PUSH2 0x2622
000029c9: SWAP1
000029ca: SWAP2
000029cb: SWAP1
000029cc: PUSH4 0xffffffff
000029d1: AND
000029d2: JUMP
000029d3: JUMPDEST
000029d4: SWAP1
000029d5: POP
000029d6: DUP1
000029d7: SELFBALANCE
000029d8: GT
000029d9: ISZERO
000029da: PUSH2 0x2a9c
000029dd: JUMPI
000029de: PUSH1 0x3b
000029e0: PUSH1 0x00
000029e2: SWAP1
000029e3: SLOAD
000029e4: SWAP1
000029e5: PUSH2 0x0100
000029e8: EXP
000029e9: SWAP1
000029ea: DIV
000029eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a00: AND
00002a01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a16: AND
00002a17: PUSH4 0xaa67c919
00002a1c: DUP3
00002a1d: ADDRESS
00002a1e: PUSH1 0x40
00002a20: MLOAD
00002a21: DUP4
00002a22: PUSH4 0xffffffff
00002a27: AND
00002a28: PUSH1 0xe0
00002a2a: SHL
00002a2b: DUP2
00002a2c: MSTORE
00002a2d: PUSH1 0x04
00002a2f: ADD
00002a30: DUP1
00002a31: DUP3
00002a32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a47: AND
00002a48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a5d: AND
00002a5e: DUP2
00002a5f: MSTORE
00002a60: PUSH1 0x20
00002a62: ADD
00002a63: SWAP2
00002a64: POP
00002a65: POP
00002a66: PUSH1 0x00
00002a68: PUSH1 0x40
00002a6a: MLOAD
00002a6b: DUP1
00002a6c: DUP4
00002a6d: SUB
00002a6e: DUP2
00002a6f: DUP6
00002a70: DUP9
00002a71: DUP1
00002a72: EXTCODESIZE
00002a73: ISZERO
00002a74: DUP1
00002a75: ISZERO
00002a76: PUSH2 0x2a7e
00002a79: JUMPI
00002a7a: PUSH1 0x00
00002a7c: DUP1
00002a7d: REVERT
00002a7e: JUMPDEST
00002a7f: POP
00002a80: GAS
00002a81: CALL
00002a82: ISZERO
00002a83: DUP1
00002a84: ISZERO
00002a85: PUSH2 0x2a92
00002a88: JUMPI
00002a89: RETURNDATASIZE
00002a8a: PUSH1 0x00
00002a8c: DUP1
00002a8d: RETURNDATACOPY
00002a8e: RETURNDATASIZE
00002a8f: PUSH1 0x00
00002a91: REVERT
00002a92: JUMPDEST
00002a93: POP
00002a94: POP
00002a95: POP
00002a96: POP
00002a97: POP
00002a98: PUSH2 0x2b57
00002a9b: JUMP
00002a9c: JUMPDEST
00002a9d: PUSH1 0x3b
00002a9f: PUSH1 0x00
00002aa1: SWAP1
00002aa2: SLOAD
00002aa3: SWAP1
00002aa4: PUSH2 0x0100
00002aa7: EXP
00002aa8: SWAP1
00002aa9: DIV
00002aaa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002abf: AND
00002ac0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ad5: AND
00002ad6: PUSH4 0xaa67c919
00002adb: SELFBALANCE
00002adc: ADDRESS
00002add: PUSH1 0x40
00002adf: MLOAD
00002ae0: DUP4
00002ae1: PUSH4 0xffffffff
00002ae6: AND
00002ae7: PUSH1 0xe0
00002ae9: SHL
00002aea: DUP2
00002aeb: MSTORE
00002aec: PUSH1 0x04
00002aee: ADD
00002aef: DUP1
00002af0: DUP3
00002af1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b06: AND
00002b07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b1c: AND
00002b1d: DUP2
00002b1e: MSTORE
00002b1f: PUSH1 0x20
00002b21: ADD
00002b22: SWAP2
00002b23: POP
00002b24: POP
00002b25: PUSH1 0x00
00002b27: PUSH1 0x40
00002b29: MLOAD
00002b2a: DUP1
00002b2b: DUP4
00002b2c: SUB
00002b2d: DUP2
00002b2e: DUP6
00002b2f: DUP9
00002b30: DUP1
00002b31: EXTCODESIZE
00002b32: ISZERO
00002b33: DUP1
00002b34: ISZERO
00002b35: PUSH2 0x2b3d
00002b38: JUMPI
00002b39: PUSH1 0x00
00002b3b: DUP1
00002b3c: REVERT
00002b3d: JUMPDEST
00002b3e: POP
00002b3f: GAS
00002b40: CALL
00002b41: ISZERO
00002b42: DUP1
00002b43: ISZERO
00002b44: PUSH2 0x2b51
00002b47: JUMPI
00002b48: RETURNDATASIZE
00002b49: PUSH1 0x00
00002b4b: DUP1
00002b4c: RETURNDATACOPY
00002b4d: RETURNDATASIZE
00002b4e: PUSH1 0x00
00002b50: REVERT
00002b51: JUMPDEST
00002b52: POP
00002b53: POP
00002b54: POP
00002b55: POP
00002b56: POP
00002b57: JUMPDEST
00002b58: POP
00002b59: JUMPDEST
00002b5a: POP
00002b5b: JUMP
00002b5c: JUMPDEST
00002b5d: PUSH32 0xce24807f7e4b60b4e641462f13029fa5e5f79075bbc3f8e5cd43ecd19661d760
00002b7e: PUSH1 0x3e
00002b80: SLOAD
00002b81: PUSH1 0x40
00002b83: MLOAD
00002b84: DUP1
00002b85: DUP3
00002b86: DUP2
00002b87: MSTORE
00002b88: PUSH1 0x20
00002b8a: ADD
00002b8b: SWAP2
00002b8c: POP
00002b8d: POP
00002b8e: PUSH1 0x40
00002b90: MLOAD
00002b91: DUP1
00002b92: SWAP2
00002b93: SUB
00002b94: SWAP1
00002b95: LOG1
00002b96: PUSH2 0x2b9d
00002b99: PUSH2 0x2c95
00002b9c: JUMP
00002b9d: JUMPDEST
00002b9e: JUMP
00002b9f: JUMPDEST
00002ba0: PUSH1 0x00
00002ba2: SWAP2
00002ba3: SWAP1
00002ba4: POP
00002ba5: JUMP
00002ba6: JUMPDEST
00002ba7: PUSH1 0x00
00002ba9: DUP1
00002baa: ADDRESS
00002bab: EXTCODESIZE
00002bac: SWAP1
00002bad: POP
00002bae: PUSH1 0x00
00002bb0: DUP2
00002bb1: EQ
00002bb2: SWAP2
00002bb3: POP
00002bb4: POP
00002bb5: SWAP1
00002bb6: JUMP
00002bb7: JUMPDEST
00002bb8: PUSH1 0x00
00002bba: PUSH1 0x04
00002bbc: DUP3
00002bbd: ADD
00002bbe: DUP4
00002bbf: MLOAD
00002bc0: LT
00002bc1: ISZERO
00002bc2: PUSH2 0x2c16
00002bc5: JUMPI
00002bc6: PUSH1 0x40
00002bc8: MLOAD
00002bc9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002bea: DUP2
00002beb: MSTORE
00002bec: PUSH1 0x04
00002bee: ADD
00002bef: DUP1
00002bf0: DUP1
00002bf1: PUSH1 0x20
00002bf3: ADD
00002bf4: DUP3
00002bf5: DUP2
00002bf6: SUB
00002bf7: DUP3
00002bf8: MSTORE
00002bf9: PUSH1 0x25
00002bfb: DUP2
00002bfc: MSTORE
00002bfd: PUSH1 0x20
00002bff: ADD
00002c00: DUP1
00002c01: PUSH2 0x449d
00002c04: PUSH1 0x25
00002c06: SWAP2
00002c07: CODECOPY
00002c08: PUSH1 0x40
00002c0a: ADD
00002c0b: SWAP2
00002c0c: POP
00002c0d: POP
00002c0e: PUSH1 0x40
00002c10: MLOAD
00002c11: DUP1
00002c12: SWAP2
00002c13: SUB
00002c14: SWAP1
00002c15: REVERT
00002c16: JUMPDEST
00002c17: PUSH1 0x20
00002c19: DUP3
00002c1a: ADD
00002c1b: SWAP2
00002c1c: POP
00002c1d: DUP2
00002c1e: DUP4
00002c1f: ADD
00002c20: MLOAD
00002c21: SWAP1
00002c22: POP
00002c23: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002c44: DUP2
00002c45: AND
00002c46: SWAP1
00002c47: POP
00002c48: DUP1
00002c49: SWAP1
00002c4a: POP
00002c4b: SWAP3
00002c4c: SWAP2
00002c4d: POP
00002c4e: POP
00002c4f: JUMP
00002c50: JUMPDEST
00002c51: PUSH1 0x00
00002c53: PUSH1 0x60
00002c55: PUSH2 0x2c6c
00002c58: PUSH1 0x40
00002c5a: MLOAD
00002c5b: DUP1
00002c5c: PUSH1 0x20
00002c5e: ADD
00002c5f: PUSH1 0x40
00002c61: MSTORE
00002c62: DUP1
00002c63: PUSH1 0x00
00002c65: DUP2
00002c66: MSTORE
00002c67: POP
00002c68: PUSH2 0x318d
00002c6b: JUMP
00002c6c: JUMPDEST
00002c6d: SWAP2
00002c6e: POP
00002c6f: SWAP2
00002c70: POP
00002c71: SWAP1
00002c72: SWAP2
00002c73: JUMP
00002c74: JUMPDEST
00002c75: PUSH1 0x00
00002c77: PUSH1 0x60
00002c79: DUP3
00002c7a: PUSH1 0x0b
00002c7c: ADD
00002c7d: PUSH1 0x40
00002c7f: MLOAD
00002c80: DUP1
00002c81: PUSH1 0x20
00002c83: ADD
00002c84: PUSH1 0x40
00002c86: MSTORE
00002c87: DUP1
00002c88: PUSH1 0x00
00002c8a: DUP2
00002c8b: MSTORE
00002c8c: POP
00002c8d: SWAP2
00002c8e: POP
00002c8f: SWAP2
00002c90: POP
00002c91: SWAP2
00002c92: POP
00002c93: SWAP2
00002c94: JUMP
00002c95: JUMPDEST
00002c96: SELFBALANCE
00002c97: PUSH2 0x2cd4
00002c9a: PUSH1 0x40
00002c9c: MLOAD
00002c9d: DUP1
00002c9e: PUSH1 0x40
00002ca0: ADD
00002ca1: PUSH1 0x40
00002ca3: MSTORE
00002ca4: DUP1
00002ca5: PUSH1 0x0c
00002ca7: DUP2
00002ca8: MSTORE
00002ca9: PUSH1 0x20
00002cab: ADD
00002cac: PUSH32 0x576f6c6672616d416c7068610000000000000000000000000000000000000000
00002ccd: DUP2
00002cce: MSTORE
00002ccf: POP
00002cd0: PUSH2 0x319d
00002cd3: JUMP
00002cd4: JUMPDEST
00002cd5: GT
00002cd6: ISZERO
00002cd7: PUSH2 0x2d2a
00002cda: JUMPI
00002cdb: PUSH32 0xc4dc360d0a9c0677a3379ae0a3d81e887f761e65fdf3d7e00859d1bcd3c47389
00002cfc: PUSH1 0x40
00002cfe: MLOAD
00002cff: DUP1
00002d00: DUP1
00002d01: PUSH1 0x20
00002d03: ADD
00002d04: DUP3
00002d05: DUP2
00002d06: SUB
00002d07: DUP3
00002d08: MSTORE
00002d09: PUSH1 0x4b
00002d0b: DUP2
00002d0c: MSTORE
00002d0d: PUSH1 0x20
00002d0f: ADD
00002d10: DUP1
00002d11: PUSH2 0x42c7
00002d14: PUSH1 0x4b
00002d16: SWAP2
00002d17: CODECOPY
00002d18: PUSH1 0x60
00002d1a: ADD
00002d1b: SWAP2
00002d1c: POP
00002d1d: POP
00002d1e: PUSH1 0x40
00002d20: MLOAD
00002d21: DUP1
00002d22: SWAP2
00002d23: SUB
00002d24: SWAP1
00002d25: LOG1
00002d26: PUSH2 0x2f26
00002d29: JUMP
00002d2a: JUMPDEST
00002d2b: PUSH1 0x00
00002d2d: DUP1
00002d2e: SWAP1
00002d2f: POP
00002d30: PUSH1 0x00
00002d32: PUSH1 0x47
00002d34: PUSH1 0x00
00002d36: PUSH1 0x3e
00002d38: SLOAD
00002d39: DUP2
00002d3a: MSTORE
00002d3b: PUSH1 0x20
00002d3d: ADD
00002d3e: SWAP1
00002d3f: DUP2
00002d40: MSTORE
00002d41: PUSH1 0x20
00002d43: ADD
00002d44: PUSH1 0x00
00002d46: KECCAK256
00002d47: SWAP1
00002d48: POP
00002d49: PUSH1 0x01
00002d4b: DUP2
00002d4c: PUSH1 0x01
00002d4e: ADD
00002d4f: DUP1
00002d50: SLOAD
00002d51: SWAP1
00002d52: POP
00002d53: SUB
00002d54: SWAP2
00002d55: POP
00002d56: PUSH1 0x60
00002d58: PUSH2 0x2d60
00002d5b: DUP4
00002d5c: PUSH2 0x3531
00002d5f: JUMP
00002d60: JUMPDEST
00002d61: PUSH1 0x40
00002d63: MLOAD
00002d64: PUSH1 0x20
00002d66: ADD
00002d67: DUP1
00002d68: DUP3
00002d69: DUP1
00002d6a: MLOAD
00002d6b: SWAP1
00002d6c: PUSH1 0x20
00002d6e: ADD
00002d6f: SWAP1
00002d70: DUP1
00002d71: DUP4
00002d72: DUP4
00002d73: JUMPDEST
00002d74: PUSH1 0x20
00002d76: DUP4
00002d77: LT
00002d78: PUSH2 0x2d96
00002d7b: JUMPI
00002d7c: DUP1
00002d7d: MLOAD
00002d7e: DUP3
00002d7f: MSTORE
00002d80: PUSH1 0x20
00002d82: DUP3
00002d83: ADD
00002d84: SWAP2
00002d85: POP
00002d86: PUSH1 0x20
00002d88: DUP2
00002d89: ADD
00002d8a: SWAP1
00002d8b: POP
00002d8c: PUSH1 0x20
00002d8e: DUP4
00002d8f: SUB
00002d90: SWAP3
00002d91: POP
00002d92: PUSH2 0x2d73
00002d95: JUMP
00002d96: JUMPDEST
00002d97: PUSH1 0x01
00002d99: DUP4
00002d9a: PUSH1 0x20
00002d9c: SUB
00002d9d: PUSH2 0x0100
00002da0: EXP
00002da1: SUB
00002da2: DUP1
00002da3: NOT
00002da4: DUP3
00002da5: MLOAD
00002da6: AND
00002da7: DUP2
00002da8: DUP5
00002da9: MLOAD
00002daa: AND
00002dab: DUP1
00002dac: DUP3
00002dad: OR
00002dae: DUP6
00002daf: MSTORE
00002db0: POP
00002db1: POP
00002db2: POP
00002db3: POP
00002db4: POP
00002db5: POP
00002db6: SWAP1
00002db7: POP
00002db8: ADD
00002db9: SWAP2
00002dba: POP
00002dbb: POP
00002dbc: PUSH1 0x40
00002dbe: MLOAD
00002dbf: PUSH1 0x20
00002dc1: DUP2
00002dc2: DUP4
00002dc3: SUB
00002dc4: SUB
00002dc5: DUP2
00002dc6: MSTORE
00002dc7: SWAP1
00002dc8: PUSH1 0x40
00002dca: MSTORE
00002dcb: SWAP1
00002dcc: POP
00002dcd: DUP1
00002dce: PUSH1 0x40
00002dd0: MLOAD
00002dd1: PUSH1 0x20
00002dd3: ADD
00002dd4: DUP1
00002dd5: DUP1
00002dd6: PUSH32 0x72616e646f6d206e756d626572206265747765656e203020616e642000000000
00002df7: DUP2
00002df8: MSTORE
00002df9: POP
00002dfa: PUSH1 0x1c
00002dfc: ADD
00002dfd: DUP3
00002dfe: DUP1
00002dff: MLOAD
00002e00: SWAP1
00002e01: PUSH1 0x20
00002e03: ADD
00002e04: SWAP1
00002e05: DUP1
00002e06: DUP4
00002e07: DUP4
00002e08: JUMPDEST
00002e09: PUSH1 0x20
00002e0b: DUP4
00002e0c: LT
00002e0d: PUSH2 0x2e2b
00002e10: JUMPI
00002e11: DUP1
00002e12: MLOAD
00002e13: DUP3
00002e14: MSTORE
00002e15: PUSH1 0x20
00002e17: DUP3
00002e18: ADD
00002e19: SWAP2
00002e1a: POP
00002e1b: PUSH1 0x20
00002e1d: DUP2
00002e1e: ADD
00002e1f: SWAP1
00002e20: POP
00002e21: PUSH1 0x20
00002e23: DUP4
00002e24: SUB
00002e25: SWAP3
00002e26: POP
00002e27: PUSH2 0x2e08
00002e2a: JUMP
00002e2b: JUMPDEST
00002e2c: PUSH1 0x01
00002e2e: DUP4
00002e2f: PUSH1 0x20
00002e31: SUB
00002e32: PUSH2 0x0100
00002e35: EXP
00002e36: SUB
00002e37: DUP1
00002e38: NOT
00002e39: DUP3
00002e3a: MLOAD
00002e3b: AND
00002e3c: DUP2
00002e3d: DUP5
00002e3e: MLOAD
00002e3f: AND
00002e40: DUP1
00002e41: DUP3
00002e42: OR
00002e43: DUP6
00002e44: MSTORE
00002e45: POP
00002e46: POP
00002e47: POP
00002e48: POP
00002e49: POP
00002e4a: POP
00002e4b: SWAP1
00002e4c: POP
00002e4d: ADD
00002e4e: SWAP2
00002e4f: POP
00002e50: POP
00002e51: PUSH1 0x40
00002e53: MLOAD
00002e54: PUSH1 0x20
00002e56: DUP2
00002e57: DUP4
00002e58: SUB
00002e59: SUB
00002e5a: DUP2
00002e5b: MSTORE
00002e5c: SWAP1
00002e5d: PUSH1 0x40
00002e5f: MSTORE
00002e60: SWAP1
00002e61: POP
00002e62: PUSH1 0x60
00002e64: DUP2
00002e65: SWAP1
00002e66: POP
00002e67: PUSH32 0xc4dc360d0a9c0677a3379ae0a3d81e887f761e65fdf3d7e00859d1bcd3c47389
00002e88: PUSH1 0x40
00002e8a: MLOAD
00002e8b: DUP1
00002e8c: DUP1
00002e8d: PUSH1 0x20
00002e8f: ADD
00002e90: DUP3
00002e91: DUP2
00002e92: SUB
00002e93: DUP3
00002e94: MSTORE
00002e95: PUSH1 0x36
00002e97: DUP2
00002e98: MSTORE
00002e99: PUSH1 0x20
00002e9b: ADD
00002e9c: DUP1
00002e9d: PUSH2 0x4467
00002ea0: PUSH1 0x36
00002ea2: SWAP2
00002ea3: CODECOPY
00002ea4: PUSH1 0x40
00002ea6: ADD
00002ea7: SWAP2
00002ea8: POP
00002ea9: POP
00002eaa: PUSH1 0x40
00002eac: MLOAD
00002ead: DUP1
00002eae: SWAP2
00002eaf: SUB
00002eb0: SWAP1
00002eb1: LOG1
00002eb2: PUSH1 0x00
00002eb4: PUSH2 0x2ef2
00002eb7: PUSH1 0x40
00002eb9: MLOAD
00002eba: DUP1
00002ebb: PUSH1 0x40
00002ebd: ADD
00002ebe: PUSH1 0x40
00002ec0: MSTORE
00002ec1: DUP1
00002ec2: PUSH1 0x0c
00002ec4: DUP2
00002ec5: MSTORE
00002ec6: PUSH1 0x20
00002ec8: ADD
00002ec9: PUSH32 0x576f6c6672616d416c7068610000000000000000000000000000000000000000
00002eea: DUP2
00002eeb: MSTORE
00002eec: POP
00002eed: DUP4
00002eee: PUSH2 0x36a0
00002ef1: JUMP
00002ef2: JUMPDEST
00002ef3: SWAP1
00002ef4: POP
00002ef5: PUSH1 0x01
00002ef7: PUSH1 0x4b
00002ef9: PUSH1 0x00
00002efb: DUP4
00002efc: DUP2
00002efd: MSTORE
00002efe: PUSH1 0x20
00002f00: ADD
00002f01: SWAP1
00002f02: DUP2
00002f03: MSTORE
00002f04: PUSH1 0x20
00002f06: ADD
00002f07: PUSH1 0x00
00002f09: KECCAK256
00002f0a: PUSH1 0x00
00002f0c: PUSH2 0x0100
00002f0f: EXP
00002f10: DUP2
00002f11: SLOAD
00002f12: DUP2
00002f13: PUSH1 0xff
00002f15: MUL
00002f16: NOT
00002f17: AND
00002f18: SWAP1
00002f19: DUP4
00002f1a: ISZERO
00002f1b: ISZERO
00002f1c: MUL
00002f1d: OR
00002f1e: SWAP1
00002f1f: SSTORE
00002f20: POP
00002f21: POP
00002f22: POP
00002f23: POP
00002f24: POP
00002f25: POP
00002f26: JUMPDEST
00002f27: JUMP
00002f28: JUMPDEST
00002f29: POP
00002f2a: POP
00002f2b: POP
00002f2c: POP
00002f2d: JUMP
00002f2e: JUMPDEST
00002f2f: PUSH1 0x00
00002f31: PUSH1 0x60
00002f33: PUSH1 0x00
00002f35: CALLDATASIZE
00002f36: DUP1
00002f37: DUP1
00002f38: PUSH1 0x1f
00002f3a: ADD
00002f3b: PUSH1 0x20
00002f3d: DUP1
00002f3e: SWAP2
00002f3f: DIV
00002f40: MUL
00002f41: PUSH1 0x20
00002f43: ADD
00002f44: PUSH1 0x40
00002f46: MLOAD
00002f47: SWAP1
00002f48: DUP2
00002f49: ADD
00002f4a: PUSH1 0x40
00002f4c: MSTORE
00002f4d: DUP1
00002f4e: SWAP4
00002f4f: SWAP3
00002f50: SWAP2
00002f51: SWAP1
00002f52: DUP2
00002f53: DUP2
00002f54: MSTORE
00002f55: PUSH1 0x20
00002f57: ADD
00002f58: DUP4
00002f59: DUP4
00002f5a: DUP1
00002f5b: DUP3
00002f5c: DUP5
00002f5d: CALLDATACOPY
00002f5e: PUSH1 0x00
00002f60: DUP2
00002f61: DUP5
00002f62: ADD
00002f63: MSTORE
00002f64: PUSH1 0x1f
00002f66: NOT
00002f67: PUSH1 0x1f
00002f69: DUP3
00002f6a: ADD
00002f6b: AND
00002f6c: SWAP1
00002f6d: POP
00002f6e: DUP1
00002f6f: DUP4
00002f70: ADD
00002f71: SWAP3
00002f72: POP
00002f73: POP
00002f74: POP
00002f75: POP
00002f76: POP
00002f77: POP
00002f78: POP
00002f79: SWAP1
00002f7a: POP
00002f7b: PUSH1 0x00
00002f7d: DUP1
00002f7e: CALLDATASIZE
00002f7f: SWAP1
00002f80: POP
00002f81: SWAP1
00002f82: POP
00002f83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f98: DUP2
00002f99: DUP4
00002f9a: ADD
00002f9b: MLOAD
00002f9c: AND
00002f9d: SWAP3
00002f9e: POP
00002f9f: DUP3
00002fa0: SWAP3
00002fa1: POP
00002fa2: POP
00002fa3: POP
00002fa4: SWAP1
00002fa5: JUMP
00002fa6: JUMPDEST
00002fa7: PUSH1 0x00
00002fa9: DUP2
00002faa: EXTCODESIZE
00002fab: SWAP1
00002fac: POP
00002fad: SWAP2
00002fae: SWAP1
00002faf: POP
00002fb0: JUMP
00002fb1: JUMPDEST
00002fb2: PUSH1 0x00
00002fb4: PUSH2 0x2fbb
00002fb7: PUSH2 0x3bea
00002fba: JUMP
00002fbb: JUMPDEST
00002fbc: SWAP1
00002fbd: POP
00002fbe: SWAP2
00002fbf: SWAP1
00002fc0: POP
00002fc1: JUMP
00002fc2: JUMPDEST
00002fc3: PUSH1 0x00
00002fc5: PUSH2 0x3004
00002fc8: DUP4
00002fc9: DUP4
00002fca: PUSH1 0x40
00002fcc: MLOAD
00002fcd: DUP1
00002fce: PUSH1 0x40
00002fd0: ADD
00002fd1: PUSH1 0x40
00002fd3: MSTORE
00002fd4: DUP1
00002fd5: PUSH1 0x1a
00002fd7: DUP2
00002fd8: MSTORE
00002fd9: PUSH1 0x20
00002fdb: ADD
00002fdc: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00002ffd: DUP2
00002ffe: MSTORE
00002fff: POP
00003000: PUSH2 0x4141
00003003: JUMP
00003004: JUMPDEST
00003005: SWAP1
00003006: POP
00003007: SWAP3
00003008: SWAP2
00003009: POP
0000300a: POP
0000300b: JUMP
0000300c: JUMPDEST
0000300d: PUSH1 0x00
0000300f: DUP4
00003010: DUP4
00003011: GT
00003012: ISZERO
00003013: DUP3
00003014: SWAP1
00003015: PUSH2 0x30b9
00003018: JUMPI
00003019: PUSH1 0x40
0000301b: MLOAD
0000301c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000303d: DUP2
0000303e: MSTORE
0000303f: PUSH1 0x04
00003041: ADD
00003042: DUP1
00003043: DUP1
00003044: PUSH1 0x20
00003046: ADD
00003047: DUP3
00003048: DUP2
00003049: SUB
0000304a: DUP3
0000304b: MSTORE
0000304c: DUP4
0000304d: DUP2
0000304e: DUP2
0000304f: MLOAD
00003050: DUP2
00003051: MSTORE
00003052: PUSH1 0x20
00003054: ADD
00003055: SWAP2
00003056: POP
00003057: DUP1
00003058: MLOAD
00003059: SWAP1
0000305a: PUSH1 0x20
0000305c: ADD
0000305d: SWAP1
0000305e: DUP1
0000305f: DUP4
00003060: DUP4
00003061: PUSH1 0x00
00003063: JUMPDEST
00003064: DUP4
00003065: DUP2
00003066: LT
00003067: ISZERO
00003068: PUSH2 0x307e
0000306b: JUMPI
0000306c: DUP1
0000306d: DUP3
0000306e: ADD
0000306f: MLOAD
00003070: DUP2
00003071: DUP5
00003072: ADD
00003073: MSTORE
00003074: PUSH1 0x20
00003076: DUP2
00003077: ADD
00003078: SWAP1
00003079: POP
0000307a: PUSH2 0x3063
0000307d: JUMP
0000307e: JUMPDEST
0000307f: POP
00003080: POP
00003081: POP
00003082: POP
00003083: SWAP1
00003084: POP
00003085: SWAP1
00003086: DUP2
00003087: ADD
00003088: SWAP1
00003089: PUSH1 0x1f
0000308b: AND
0000308c: DUP1
0000308d: ISZERO
0000308e: PUSH2 0x30ab
00003091: JUMPI
00003092: DUP1
00003093: DUP3
00003094: SUB
00003095: DUP1
00003096: MLOAD
00003097: PUSH1 0x01
00003099: DUP4
0000309a: PUSH1 0x20
0000309c: SUB
0000309d: PUSH2 0x0100
000030a0: EXP
000030a1: SUB
000030a2: NOT
000030a3: AND
000030a4: DUP2
000030a5: MSTORE
000030a6: PUSH1 0x20
000030a8: ADD
000030a9: SWAP2
000030aa: POP
000030ab: JUMPDEST
000030ac: POP
000030ad: SWAP3
000030ae: POP
000030af: POP
000030b0: POP
000030b1: PUSH1 0x40
000030b3: MLOAD
000030b4: DUP1
000030b5: SWAP2
000030b6: SUB
000030b7: SWAP1
000030b8: REVERT
000030b9: JUMPDEST
000030ba: POP
000030bb: PUSH1 0x00
000030bd: DUP4
000030be: DUP6
000030bf: SUB
000030c0: SWAP1
000030c1: POP
000030c2: DUP1
000030c3: SWAP2
000030c4: POP
000030c5: POP
000030c6: SWAP4
000030c7: SWAP3
000030c8: POP
000030c9: POP
000030ca: POP
000030cb: JUMP
000030cc: JUMPDEST
000030cd: PUSH1 0x00
000030cf: DUP1
000030d0: DUP4
000030d1: EQ
000030d2: ISZERO
000030d3: DUP3
000030d4: SWAP1
000030d5: PUSH2 0x3179
000030d8: JUMPI
000030d9: PUSH1 0x40
000030db: MLOAD
000030dc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000030fd: DUP2
000030fe: MSTORE
000030ff: PUSH1 0x04
00003101: ADD
00003102: DUP1
00003103: DUP1
00003104: PUSH1 0x20
00003106: ADD
00003107: DUP3
00003108: DUP2
00003109: SUB
0000310a: DUP3
0000310b: MSTORE
0000310c: DUP4
0000310d: DUP2
0000310e: DUP2
0000310f: MLOAD
00003110: DUP2
00003111: MSTORE
00003112: PUSH1 0x20
00003114: ADD
00003115: SWAP2
00003116: POP
00003117: DUP1
00003118: MLOAD
00003119: SWAP1
0000311a: PUSH1 0x20
0000311c: ADD
0000311d: SWAP1
0000311e: DUP1
0000311f: DUP4
00003120: DUP4
00003121: PUSH1 0x00
00003123: JUMPDEST
00003124: DUP4
00003125: DUP2
00003126: LT
00003127: ISZERO
00003128: PUSH2 0x313e
0000312b: JUMPI
0000312c: DUP1
0000312d: DUP3
0000312e: ADD
0000312f: MLOAD
00003130: DUP2
00003131: DUP5
00003132: ADD
00003133: MSTORE
00003134: PUSH1 0x20
00003136: DUP2
00003137: ADD
00003138: SWAP1
00003139: POP
0000313a: PUSH2 0x3123
0000313d: JUMP
0000313e: JUMPDEST
0000313f: POP
00003140: POP
00003141: POP
00003142: POP
00003143: SWAP1
00003144: POP
00003145: SWAP1
00003146: DUP2
00003147: ADD
00003148: SWAP1
00003149: PUSH1 0x1f
0000314b: AND
0000314c: DUP1
0000314d: ISZERO
0000314e: PUSH2 0x316b
00003151: JUMPI
00003152: DUP1
00003153: DUP3
00003154: SUB
00003155: DUP1
00003156: MLOAD
00003157: PUSH1 0x01
00003159: DUP4
0000315a: PUSH1 0x20
0000315c: SUB
0000315d: PUSH2 0x0100
00003160: EXP
00003161: SUB
00003162: NOT
00003163: AND
00003164: DUP2
00003165: MSTORE
00003166: PUSH1 0x20
00003168: ADD
00003169: SWAP2
0000316a: POP
0000316b: JUMPDEST
0000316c: POP
0000316d: SWAP3
0000316e: POP
0000316f: POP
00003170: POP
00003171: PUSH1 0x40
00003173: MLOAD
00003174: DUP1
00003175: SWAP2
00003176: SUB
00003177: SWAP1
00003178: REVERT
00003179: JUMPDEST
0000317a: POP
0000317b: DUP3
0000317c: DUP5
0000317d: DUP2
0000317e: PUSH2 0x3183
00003181: JUMPI
00003182: INVALID
00003183: JUMPDEST
00003184: MOD
00003185: SWAP1
00003186: POP
00003187: SWAP4
00003188: SWAP3
00003189: POP
0000318a: POP
0000318b: POP
0000318c: JUMP
0000318d: JUMPDEST
0000318e: PUSH1 0x00
00003190: PUSH1 0x60
00003192: PUSH1 0x00
00003194: DUP4
00003195: SWAP2
00003196: POP
00003197: SWAP2
00003198: POP
00003199: SWAP2
0000319a: POP
0000319b: SWAP2
0000319c: JUMP
0000319d: JUMPDEST
0000319e: PUSH1 0x00
000031a0: DUP1
000031a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000031b6: AND
000031b7: PUSH1 0x35
000031b9: PUSH1 0x00
000031bb: SWAP1
000031bc: SLOAD
000031bd: SWAP1
000031be: PUSH2 0x0100
000031c1: EXP
000031c2: SWAP1
000031c3: DIV
000031c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000031d9: AND
000031da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000031ef: AND
000031f0: EQ
000031f1: DUP1
000031f2: PUSH2 0x3225
000031f5: JUMPI
000031f6: POP
000031f7: PUSH1 0x00
000031f9: PUSH2 0x3223
000031fc: PUSH1 0x35
000031fe: PUSH1 0x00
00003200: SWAP1
00003201: SLOAD
00003202: SWAP1
00003203: PUSH2 0x0100
00003206: EXP
00003207: SWAP1
00003208: DIV
00003209: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000321e: AND
0000321f: PUSH2 0x2fa6
00003222: JUMP
00003223: JUMPDEST
00003224: EQ
00003225: JUMPDEST
00003226: ISZERO
00003227: PUSH2 0x3236
0000322a: JUMPI
0000322b: PUSH2 0x3234
0000322e: PUSH1 0x00
00003230: PUSH2 0x2fb1
00003233: JUMP
00003234: JUMPDEST
00003235: POP
00003236: JUMPDEST
00003237: PUSH1 0x35
00003239: PUSH1 0x00
0000323b: SWAP1
0000323c: SLOAD
0000323d: SWAP1
0000323e: PUSH2 0x0100
00003241: EXP
00003242: SWAP1
00003243: DIV
00003244: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003259: AND
0000325a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000326f: AND
00003270: PUSH4 0x38cc4831
00003275: PUSH1 0x40
00003277: MLOAD
00003278: DUP2
00003279: PUSH4 0xffffffff
0000327e: AND
0000327f: PUSH1 0xe0
00003281: SHL
00003282: DUP2
00003283: MSTORE
00003284: PUSH1 0x04
00003286: ADD
00003287: PUSH1 0x20
00003289: PUSH1 0x40
0000328b: MLOAD
0000328c: DUP1
0000328d: DUP4
0000328e: SUB
0000328f: DUP2
00003290: PUSH1 0x00
00003292: DUP8
00003293: DUP1
00003294: EXTCODESIZE
00003295: ISZERO
00003296: DUP1
00003297: ISZERO
00003298: PUSH2 0x32a0
0000329b: JUMPI
0000329c: PUSH1 0x00
0000329e: DUP1
0000329f: REVERT
000032a0: JUMPDEST
000032a1: POP
000032a2: GAS
000032a3: CALL
000032a4: ISZERO
000032a5: DUP1
000032a6: ISZERO
000032a7: PUSH2 0x32b4
000032aa: JUMPI
000032ab: RETURNDATASIZE
000032ac: PUSH1 0x00
000032ae: DUP1
000032af: RETURNDATACOPY
000032b0: RETURNDATASIZE
000032b1: PUSH1 0x00
000032b3: REVERT
000032b4: JUMPDEST
000032b5: POP
000032b6: POP
000032b7: POP
000032b8: POP
000032b9: PUSH1 0x40
000032bb: MLOAD
000032bc: RETURNDATASIZE
000032bd: PUSH1 0x20
000032bf: DUP2
000032c0: LT
000032c1: ISZERO
000032c2: PUSH2 0x32ca
000032c5: JUMPI
000032c6: PUSH1 0x00
000032c8: DUP1
000032c9: REVERT
000032ca: JUMPDEST
000032cb: DUP2
000032cc: ADD
000032cd: SWAP1
000032ce: DUP1
000032cf: DUP1
000032d0: MLOAD
000032d1: SWAP1
000032d2: PUSH1 0x20
000032d4: ADD
000032d5: SWAP1
000032d6: SWAP3
000032d7: SWAP2
000032d8: SWAP1
000032d9: POP
000032da: POP
000032db: POP
000032dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032f1: AND
000032f2: PUSH1 0x34
000032f4: PUSH1 0x00
000032f6: SWAP1
000032f7: SLOAD
000032f8: SWAP1
000032f9: PUSH2 0x0100
000032fc: EXP
000032fd: SWAP1
000032fe: DIV
000032ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003314: AND
00003315: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000332a: AND
0000332b: EQ
0000332c: PUSH2 0x3415
0000332f: JUMPI
00003330: PUSH1 0x35
00003332: PUSH1 0x00
00003334: SWAP1
00003335: SLOAD
00003336: SWAP1
00003337: PUSH2 0x0100
0000333a: EXP
0000333b: SWAP1
0000333c: DIV
0000333d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003352: AND
00003353: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003368: AND
00003369: PUSH4 0x38cc4831
0000336e: PUSH1 0x40
00003370: MLOAD
00003371: DUP2
00003372: PUSH4 0xffffffff
00003377: AND
00003378: PUSH1 0xe0
0000337a: SHL
0000337b: DUP2
0000337c: MSTORE
0000337d: PUSH1 0x04
0000337f: ADD
00003380: PUSH1 0x20
00003382: PUSH1 0x40
00003384: MLOAD
00003385: DUP1
00003386: DUP4
00003387: SUB
00003388: DUP2
00003389: PUSH1 0x00
0000338b: DUP8
0000338c: DUP1
0000338d: EXTCODESIZE
0000338e: ISZERO
0000338f: DUP1
00003390: ISZERO
00003391: PUSH2 0x3399
00003394: JUMPI
00003395: PUSH1 0x00
00003397: DUP1
00003398: REVERT
00003399: JUMPDEST
0000339a: POP
0000339b: GAS
0000339c: CALL
0000339d: ISZERO
0000339e: DUP1
0000339f: ISZERO
000033a0: PUSH2 0x33ad
000033a3: JUMPI
000033a4: RETURNDATASIZE
000033a5: PUSH1 0x00
000033a7: DUP1
000033a8: RETURNDATACOPY
000033a9: RETURNDATASIZE
000033aa: PUSH1 0x00
000033ac: REVERT
000033ad: JUMPDEST
000033ae: POP
000033af: POP
000033b0: POP
000033b1: POP
000033b2: PUSH1 0x40
000033b4: MLOAD
000033b5: RETURNDATASIZE
000033b6: PUSH1 0x20
000033b8: DUP2
000033b9: LT
000033ba: ISZERO
000033bb: PUSH2 0x33c3
000033be: JUMPI
000033bf: PUSH1 0x00
000033c1: DUP1
000033c2: REVERT
000033c3: JUMPDEST
000033c4: DUP2
000033c5: ADD
000033c6: SWAP1
000033c7: DUP1
000033c8: DUP1
000033c9: MLOAD
000033ca: SWAP1
000033cb: PUSH1 0x20
000033cd: ADD
000033ce: SWAP1
000033cf: SWAP3
000033d0: SWAP2
000033d1: SWAP1
000033d2: POP
000033d3: POP
000033d4: POP
000033d5: PUSH1 0x34
000033d7: PUSH1 0x00
000033d9: PUSH2 0x0100
000033dc: EXP
000033dd: DUP2
000033de: SLOAD
000033df: DUP2
000033e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033f5: MUL
000033f6: NOT
000033f7: AND
000033f8: SWAP1
000033f9: DUP4
000033fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000340f: AND
00003410: MUL
00003411: OR
00003412: SWAP1
00003413: SSTORE
00003414: POP
00003415: JUMPDEST
00003416: PUSH1 0x34
00003418: PUSH1 0x00
0000341a: SWAP1
0000341b: SLOAD
0000341c: SWAP1
0000341d: PUSH2 0x0100
00003420: EXP
00003421: SWAP1
00003422: DIV
00003423: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003438: AND
00003439: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000344e: AND
0000344f: PUSH4 0x524f3889
00003454: DUP4
00003455: PUSH1 0x40
00003457: MLOAD
00003458: DUP3
00003459: PUSH4 0xffffffff
0000345e: AND
0000345f: PUSH1 0xe0
00003461: SHL
00003462: DUP2
00003463: MSTORE
00003464: PUSH1 0x04
00003466: ADD
00003467: DUP1
00003468: DUP1
00003469: PUSH1 0x20
0000346b: ADD
0000346c: DUP3
0000346d: DUP2
0000346e: SUB
0000346f: DUP3
00003470: MSTORE
00003471: DUP4
00003472: DUP2
00003473: DUP2
00003474: MLOAD
00003475: DUP2
00003476: MSTORE
00003477: PUSH1 0x20
00003479: ADD
0000347a: SWAP2
0000347b: POP
0000347c: DUP1
0000347d: MLOAD
0000347e: SWAP1
0000347f: PUSH1 0x20
00003481: ADD
00003482: SWAP1
00003483: DUP1
00003484: DUP4
00003485: DUP4
00003486: PUSH1 0x00
00003488: JUMPDEST
00003489: DUP4
0000348a: DUP2
0000348b: LT
0000348c: ISZERO
0000348d: PUSH2 0x34a3
00003490: JUMPI
00003491: DUP1
00003492: DUP3
00003493: ADD
00003494: MLOAD
00003495: DUP2
00003496: DUP5
00003497: ADD
00003498: MSTORE
00003499: PUSH1 0x20
0000349b: DUP2
0000349c: ADD
0000349d: SWAP1
0000349e: POP
0000349f: PUSH2 0x3488
000034a2: JUMP
000034a3: JUMPDEST
000034a4: POP
000034a5: POP
000034a6: POP
000034a7: POP
000034a8: SWAP1
000034a9: POP
000034aa: SWAP1
000034ab: DUP2
000034ac: ADD
000034ad: SWAP1
000034ae: PUSH1 0x1f
000034b0: AND
000034b1: DUP1
000034b2: ISZERO
000034b3: PUSH2 0x34d0
000034b6: JUMPI
000034b7: DUP1
000034b8: DUP3
000034b9: SUB
000034ba: DUP1
000034bb: MLOAD
000034bc: PUSH1 0x01
000034be: DUP4
000034bf: PUSH1 0x20
000034c1: SUB
000034c2: PUSH2 0x0100
000034c5: EXP
000034c6: SUB
000034c7: NOT
000034c8: AND
000034c9: DUP2
000034ca: MSTORE
000034cb: PUSH1 0x20
000034cd: ADD
000034ce: SWAP2
000034cf: POP
000034d0: JUMPDEST
000034d1: POP
000034d2: SWAP3
000034d3: POP
000034d4: POP
000034d5: POP
000034d6: PUSH1 0x20
000034d8: PUSH1 0x40
000034da: MLOAD
000034db: DUP1
000034dc: DUP4
000034dd: SUB
000034de: DUP2
000034df: PUSH1 0x00
000034e1: DUP8
000034e2: DUP1
000034e3: EXTCODESIZE
000034e4: ISZERO
000034e5: DUP1
000034e6: ISZERO
000034e7: PUSH2 0x34ef
000034ea: JUMPI
000034eb: PUSH1 0x00
000034ed: DUP1
000034ee: REVERT
000034ef: JUMPDEST
000034f0: POP
000034f1: GAS
000034f2: CALL
000034f3: ISZERO
000034f4: DUP1
000034f5: ISZERO
000034f6: PUSH2 0x3503
000034f9: JUMPI
000034fa: RETURNDATASIZE
000034fb: PUSH1 0x00
000034fd: DUP1
000034fe: RETURNDATACOPY
000034ff: RETURNDATASIZE
00003500: PUSH1 0x00
00003502: REVERT
00003503: JUMPDEST
00003504: POP
00003505: POP
00003506: POP
00003507: POP
00003508: PUSH1 0x40
0000350a: MLOAD
0000350b: RETURNDATASIZE
0000350c: PUSH1 0x20
0000350e: DUP2
0000350f: LT
00003510: ISZERO
00003511: PUSH2 0x3519
00003514: JUMPI
00003515: PUSH1 0x00
00003517: DUP1
00003518: REVERT
00003519: JUMPDEST
0000351a: DUP2
0000351b: ADD
0000351c: SWAP1
0000351d: DUP1
0000351e: DUP1
0000351f: MLOAD
00003520: SWAP1
00003521: PUSH1 0x20
00003523: ADD
00003524: SWAP1
00003525: SWAP3
00003526: SWAP2
00003527: SWAP1
00003528: POP
00003529: POP
0000352a: POP
0000352b: SWAP1
0000352c: POP
0000352d: SWAP2
0000352e: SWAP1
0000352f: POP
00003530: JUMP
00003531: JUMPDEST
00003532: PUSH1 0x60
00003534: DUP1
00003535: PUSH1 0x20
00003537: PUSH1 0x40
00003539: MLOAD
0000353a: SWAP1
0000353b: DUP1
0000353c: DUP3
0000353d: MSTORE
0000353e: DUP1
0000353f: PUSH1 0x1f
00003541: ADD
00003542: PUSH1 0x1f
00003544: NOT
00003545: AND
00003546: PUSH1 0x20
00003548: ADD
00003549: DUP3
0000354a: ADD
0000354b: PUSH1 0x40
0000354d: MSTORE
0000354e: DUP1
0000354f: ISZERO
00003550: PUSH2 0x3568
00003553: JUMPI
00003554: DUP2
00003555: PUSH1 0x20
00003557: ADD
00003558: PUSH1 0x01
0000355a: DUP3
0000355b: MUL
0000355c: DUP1
0000355d: CODESIZE
0000355e: DUP4
0000355f: CODECOPY
00003560: DUP1
00003561: DUP3
00003562: ADD
00003563: SWAP2
00003564: POP
00003565: POP
00003566: SWAP1
00003567: POP
00003568: JUMPDEST
00003569: POP
0000356a: SWAP1
0000356b: POP
0000356c: PUSH1 0x00
0000356e: DUP1
0000356f: SWAP1
00003570: POP
00003571: JUMPDEST
00003572: PUSH1 0x00
00003574: DUP5
00003575: GT
00003576: ISZERO
00003577: PUSH2 0x35e0
0000357a: JUMPI
0000357b: PUSH1 0x30
0000357d: PUSH1 0x0a
0000357f: DUP6
00003580: DUP2
00003581: PUSH2 0x3586
00003584: JUMPI
00003585: INVALID
00003586: JUMPDEST
00003587: MOD
00003588: ADD
00003589: PUSH1 0xf8
0000358b: SHL
0000358c: DUP3
0000358d: DUP3
0000358e: DUP2
0000358f: MLOAD
00003590: DUP2
00003591: LT
00003592: PUSH2 0x3597
00003595: JUMPI
00003596: INVALID
00003597: JUMPDEST
00003598: PUSH1 0x20
0000359a: ADD
0000359b: ADD
0000359c: SWAP1
0000359d: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000035bd: NOT
000035be: AND
000035bf: SWAP1
000035c0: DUP2
000035c1: PUSH1 0x00
000035c3: BYTE
000035c4: SWAP1
000035c5: MSTORE8
000035c6: POP
000035c7: PUSH1 0x0a
000035c9: DUP5
000035ca: DUP2
000035cb: PUSH2 0x35d0
000035ce: JUMPI
000035cf: INVALID
000035d0: JUMPDEST
000035d1: DIV
000035d2: SWAP4
000035d3: POP
000035d4: DUP1
000035d5: DUP1
000035d6: PUSH1 0x01
000035d8: ADD
000035d9: SWAP2
000035da: POP
000035db: POP
000035dc: PUSH2 0x3571
000035df: JUMP
000035e0: JUMPDEST
000035e1: PUSH1 0x60
000035e3: DUP2
000035e4: DUP1
000035e5: PUSH1 0x01
000035e7: SWAP1
000035e8: SUB
000035e9: SWAP3
000035ea: POP
000035eb: PUSH1 0x40
000035ed: MLOAD
000035ee: SWAP1
000035ef: DUP1
000035f0: DUP3
000035f1: MSTORE
000035f2: DUP1
000035f3: PUSH1 0x1f
000035f5: ADD
000035f6: PUSH1 0x1f
000035f8: NOT
000035f9: AND
000035fa: PUSH1 0x20
000035fc: ADD
000035fd: DUP3
000035fe: ADD
000035ff: PUSH1 0x40
00003601: MSTORE
00003602: DUP1
00003603: ISZERO
00003604: PUSH2 0x361c
00003607: JUMPI
00003608: DUP2
00003609: PUSH1 0x20
0000360b: ADD
0000360c: PUSH1 0x01
0000360e: DUP3
0000360f: MUL
00003610: DUP1
00003611: CODESIZE
00003612: DUP4
00003613: CODECOPY
00003614: DUP1
00003615: DUP3
00003616: ADD
00003617: SWAP2
00003618: POP
00003619: POP
0000361a: SWAP1
0000361b: POP
0000361c: JUMPDEST
0000361d: POP
0000361e: SWAP1
0000361f: POP
00003620: PUSH1 0x00
00003622: DUP1
00003623: SWAP1
00003624: POP
00003625: JUMPDEST
00003626: DUP2
00003627: MLOAD
00003628: DUP2
00003629: LT
0000362a: ISZERO
0000362b: PUSH2 0x3694
0000362e: JUMPI
0000362f: DUP4
00003630: DUP4
00003631: DUP1
00003632: PUSH1 0x01
00003634: SWAP1
00003635: SUB
00003636: SWAP5
00003637: POP
00003638: DUP2
00003639: MLOAD
0000363a: DUP2
0000363b: LT
0000363c: PUSH2 0x3641
0000363f: JUMPI
00003640: INVALID
00003641: JUMPDEST
00003642: PUSH1 0x20
00003644: ADD
00003645: ADD
00003646: MLOAD
00003647: PUSH1 0xf8
00003649: SHR
0000364a: PUSH1 0xf8
0000364c: SHL
0000364d: DUP3
0000364e: DUP3
0000364f: DUP2
00003650: MLOAD
00003651: DUP2
00003652: LT
00003653: PUSH2 0x3658
00003656: JUMPI
00003657: INVALID
00003658: JUMPDEST
00003659: PUSH1 0x20
0000365b: ADD
0000365c: ADD
0000365d: SWAP1
0000365e: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000367e: NOT
0000367f: AND
00003680: SWAP1
00003681: DUP2
00003682: PUSH1 0x00
00003684: BYTE
00003685: SWAP1
00003686: MSTORE8
00003687: POP
00003688: DUP1
00003689: DUP1
0000368a: PUSH1 0x01
0000368c: ADD
0000368d: SWAP2
0000368e: POP
0000368f: POP
00003690: PUSH2 0x3625
00003693: JUMP
00003694: JUMPDEST
00003695: POP
00003696: DUP1
00003697: SWAP4
00003698: POP
00003699: POP
0000369a: POP
0000369b: POP
0000369c: SWAP2
0000369d: SWAP1
0000369e: POP
0000369f: JUMP
000036a0: JUMPDEST
000036a1: PUSH1 0x00
000036a3: DUP1
000036a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036b9: AND
000036ba: PUSH1 0x35
000036bc: PUSH1 0x00
000036be: SWAP1
000036bf: SLOAD
000036c0: SWAP1
000036c1: PUSH2 0x0100
000036c4: EXP
000036c5: SWAP1
000036c6: DIV
000036c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036dc: AND
000036dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036f2: AND
000036f3: EQ
000036f4: DUP1
000036f5: PUSH2 0x3728
000036f8: JUMPI
000036f9: POP
000036fa: PUSH1 0x00
000036fc: PUSH2 0x3726
000036ff: PUSH1 0x35
00003701: PUSH1 0x00
00003703: SWAP1
00003704: SLOAD
00003705: SWAP1
00003706: PUSH2 0x0100
00003709: EXP
0000370a: SWAP1
0000370b: DIV
0000370c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003721: AND
00003722: PUSH2 0x2fa6
00003725: JUMP
00003726: JUMPDEST
00003727: EQ
00003728: JUMPDEST
00003729: ISZERO
0000372a: PUSH2 0x3739
0000372d: JUMPI
0000372e: PUSH2 0x3737
00003731: PUSH1 0x00
00003733: PUSH2 0x2fb1
00003736: JUMP
00003737: JUMPDEST
00003738: POP
00003739: JUMPDEST
0000373a: PUSH1 0x35
0000373c: PUSH1 0x00
0000373e: SWAP1
0000373f: SLOAD
00003740: SWAP1
00003741: PUSH2 0x0100
00003744: EXP
00003745: SWAP1
00003746: DIV
00003747: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000375c: AND
0000375d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003772: AND
00003773: PUSH4 0x38cc4831
00003778: PUSH1 0x40
0000377a: MLOAD
0000377b: DUP2
0000377c: PUSH4 0xffffffff
00003781: AND
00003782: PUSH1 0xe0
00003784: SHL
00003785: DUP2
00003786: MSTORE
00003787: PUSH1 0x04
00003789: ADD
0000378a: PUSH1 0x20
0000378c: PUSH1 0x40
0000378e: MLOAD
0000378f: DUP1
00003790: DUP4
00003791: SUB
00003792: DUP2
00003793: PUSH1 0x00
00003795: DUP8
00003796: DUP1
00003797: EXTCODESIZE
00003798: ISZERO
00003799: DUP1
0000379a: ISZERO
0000379b: PUSH2 0x37a3
0000379e: JUMPI
0000379f: PUSH1 0x00
000037a1: DUP1
000037a2: REVERT
000037a3: JUMPDEST
000037a4: POP
000037a5: GAS
000037a6: CALL
000037a7: ISZERO
000037a8: DUP1
000037a9: ISZERO
000037aa: PUSH2 0x37b7
000037ad: JUMPI
000037ae: RETURNDATASIZE
000037af: PUSH1 0x00
000037b1: DUP1
000037b2: RETURNDATACOPY
000037b3: RETURNDATASIZE
000037b4: PUSH1 0x00
000037b6: REVERT
000037b7: JUMPDEST
000037b8: POP
000037b9: POP
000037ba: POP
000037bb: POP
000037bc: PUSH1 0x40
000037be: MLOAD
000037bf: RETURNDATASIZE
000037c0: PUSH1 0x20
000037c2: DUP2
000037c3: LT
000037c4: ISZERO
000037c5: PUSH2 0x37cd
000037c8: JUMPI
000037c9: PUSH1 0x00
000037cb: DUP1
000037cc: REVERT
000037cd: JUMPDEST
000037ce: DUP2
000037cf: ADD
000037d0: SWAP1
000037d1: DUP1
000037d2: DUP1
000037d3: MLOAD
000037d4: SWAP1
000037d5: PUSH1 0x20
000037d7: ADD
000037d8: SWAP1
000037d9: SWAP3
000037da: SWAP2
000037db: SWAP1
000037dc: POP
000037dd: POP
000037de: POP
000037df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037f4: AND
000037f5: PUSH1 0x34
000037f7: PUSH1 0x00
000037f9: SWAP1
000037fa: SLOAD
000037fb: SWAP1
000037fc: PUSH2 0x0100
000037ff: EXP
00003800: SWAP1
00003801: DIV
00003802: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003817: AND
00003818: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000382d: AND
0000382e: EQ
0000382f: PUSH2 0x3918
00003832: JUMPI
00003833: PUSH1 0x35
00003835: PUSH1 0x00
00003837: SWAP1
00003838: SLOAD
00003839: SWAP1
0000383a: PUSH2 0x0100
0000383d: EXP
0000383e: SWAP1
0000383f: DIV
00003840: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003855: AND
00003856: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000386b: AND
0000386c: PUSH4 0x38cc4831
00003871: PUSH1 0x40
00003873: MLOAD
00003874: DUP2
00003875: PUSH4 0xffffffff
0000387a: AND
0000387b: PUSH1 0xe0
0000387d: SHL
0000387e: DUP2
0000387f: MSTORE
00003880: PUSH1 0x04
00003882: ADD
00003883: PUSH1 0x20
00003885: PUSH1 0x40
00003887: MLOAD
00003888: DUP1
00003889: DUP4
0000388a: SUB
0000388b: DUP2
0000388c: PUSH1 0x00
0000388e: DUP8
0000388f: DUP1
00003890: EXTCODESIZE
00003891: ISZERO
00003892: DUP1
00003893: ISZERO
00003894: PUSH2 0x389c
00003897: JUMPI
00003898: PUSH1 0x00
0000389a: DUP1
0000389b: REVERT
0000389c: JUMPDEST
0000389d: POP
0000389e: GAS
0000389f: CALL
000038a0: ISZERO
000038a1: DUP1
000038a2: ISZERO
000038a3: PUSH2 0x38b0
000038a6: JUMPI
000038a7: RETURNDATASIZE
000038a8: PUSH1 0x00
000038aa: DUP1
000038ab: RETURNDATACOPY
000038ac: RETURNDATASIZE
000038ad: PUSH1 0x00
000038af: REVERT
000038b0: JUMPDEST
000038b1: POP
000038b2: POP
000038b3: POP
000038b4: POP
000038b5: PUSH1 0x40
000038b7: MLOAD
000038b8: RETURNDATASIZE
000038b9: PUSH1 0x20
000038bb: DUP2
000038bc: LT
000038bd: ISZERO
000038be: PUSH2 0x38c6
000038c1: JUMPI
000038c2: PUSH1 0x00
000038c4: DUP1
000038c5: REVERT
000038c6: JUMPDEST
000038c7: DUP2
000038c8: ADD
000038c9: SWAP1
000038ca: DUP1
000038cb: DUP1
000038cc: MLOAD
000038cd: SWAP1
000038ce: PUSH1 0x20
000038d0: ADD
000038d1: SWAP1
000038d2: SWAP3
000038d3: SWAP2
000038d4: SWAP1
000038d5: POP
000038d6: POP
000038d7: POP
000038d8: PUSH1 0x34
000038da: PUSH1 0x00
000038dc: PUSH2 0x0100
000038df: EXP
000038e0: DUP2
000038e1: SLOAD
000038e2: DUP2
000038e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038f8: MUL
000038f9: NOT
000038fa: AND
000038fb: SWAP1
000038fc: DUP4
000038fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003912: AND
00003913: MUL
00003914: OR
00003915: SWAP1
00003916: SSTORE
00003917: POP
00003918: JUMPDEST
00003919: PUSH1 0x00
0000391b: PUSH1 0x34
0000391d: PUSH1 0x00
0000391f: SWAP1
00003920: SLOAD
00003921: SWAP1
00003922: PUSH2 0x0100
00003925: EXP
00003926: SWAP1
00003927: DIV
00003928: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000393d: AND
0000393e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003953: AND
00003954: PUSH4 0x524f3889
00003959: DUP6
0000395a: PUSH1 0x40
0000395c: MLOAD
0000395d: DUP3
0000395e: PUSH4 0xffffffff
00003963: AND
00003964: PUSH1 0xe0
00003966: SHL
00003967: DUP2
00003968: MSTORE
00003969: PUSH1 0x04
0000396b: ADD
0000396c: DUP1
0000396d: DUP1
0000396e: PUSH1 0x20
00003970: ADD
00003971: DUP3
00003972: DUP2
00003973: SUB
00003974: DUP3
00003975: MSTORE
00003976: DUP4
00003977: DUP2
00003978: DUP2
00003979: MLOAD
0000397a: DUP2
0000397b: MSTORE
0000397c: PUSH1 0x20
0000397e: ADD
0000397f: SWAP2
00003980: POP
00003981: DUP1
00003982: MLOAD
00003983: SWAP1
00003984: PUSH1 0x20
00003986: ADD
00003987: SWAP1
00003988: DUP1
00003989: DUP4
0000398a: DUP4
0000398b: PUSH1 0x00
0000398d: JUMPDEST
0000398e: DUP4
0000398f: DUP2
00003990: LT
00003991: ISZERO
00003992: PUSH2 0x39a8
00003995: JUMPI
00003996: DUP1
00003997: DUP3
00003998: ADD
00003999: MLOAD
0000399a: DUP2
0000399b: DUP5
0000399c: ADD
0000399d: MSTORE
0000399e: PUSH1 0x20
000039a0: DUP2
000039a1: ADD
000039a2: SWAP1
000039a3: POP
000039a4: PUSH2 0x398d
000039a7: JUMP
000039a8: JUMPDEST
000039a9: POP
000039aa: POP
000039ab: POP
000039ac: POP
000039ad: SWAP1
000039ae: POP
000039af: SWAP1
000039b0: DUP2
000039b1: ADD
000039b2: SWAP1
000039b3: PUSH1 0x1f
000039b5: AND
000039b6: DUP1
000039b7: ISZERO
000039b8: PUSH2 0x39d5
000039bb: JUMPI
000039bc: DUP1
000039bd: DUP3
000039be: SUB
000039bf: DUP1
000039c0: MLOAD
000039c1: PUSH1 0x01
000039c3: DUP4
000039c4: PUSH1 0x20
000039c6: SUB
000039c7: PUSH2 0x0100
000039ca: EXP
000039cb: SUB
000039cc: NOT
000039cd: AND
000039ce: DUP2
000039cf: MSTORE
000039d0: PUSH1 0x20
000039d2: ADD
000039d3: SWAP2
000039d4: POP
000039d5: JUMPDEST
000039d6: POP
000039d7: SWAP3
000039d8: POP
000039d9: POP
000039da: POP
000039db: PUSH1 0x20
000039dd: PUSH1 0x40
000039df: MLOAD
000039e0: DUP1
000039e1: DUP4
000039e2: SUB
000039e3: DUP2
000039e4: PUSH1 0x00
000039e6: DUP8
000039e7: DUP1
000039e8: EXTCODESIZE
000039e9: ISZERO
000039ea: DUP1
000039eb: ISZERO
000039ec: PUSH2 0x39f4
000039ef: JUMPI
000039f0: PUSH1 0x00
000039f2: DUP1
000039f3: REVERT
000039f4: JUMPDEST
000039f5: POP
000039f6: GAS
000039f7: CALL
000039f8: ISZERO
000039f9: DUP1
000039fa: ISZERO
000039fb: PUSH2 0x3a08
000039fe: JUMPI
000039ff: RETURNDATASIZE
00003a00: PUSH1 0x00
00003a02: DUP1
00003a03: RETURNDATACOPY
00003a04: RETURNDATASIZE
00003a05: PUSH1 0x00
00003a07: REVERT
00003a08: JUMPDEST
00003a09: POP
00003a0a: POP
00003a0b: POP
00003a0c: POP
00003a0d: PUSH1 0x40
00003a0f: MLOAD
00003a10: RETURNDATASIZE
00003a11: PUSH1 0x20
00003a13: DUP2
00003a14: LT
00003a15: ISZERO
00003a16: PUSH2 0x3a1e
00003a19: JUMPI
00003a1a: PUSH1 0x00
00003a1c: DUP1
00003a1d: REVERT
00003a1e: JUMPDEST
00003a1f: DUP2
00003a20: ADD
00003a21: SWAP1
00003a22: DUP1
00003a23: DUP1
00003a24: MLOAD
00003a25: SWAP1
00003a26: PUSH1 0x20
00003a28: ADD
00003a29: SWAP1
00003a2a: SWAP3
00003a2b: SWAP2
00003a2c: SWAP1
00003a2d: POP
00003a2e: POP
00003a2f: POP
00003a30: SWAP1
00003a31: POP
00003a32: PUSH3 0x030d40
00003a36: GASPRICE
00003a37: MUL
00003a38: PUSH8 0x0de0b6b3a7640000
00003a41: ADD
00003a42: DUP2
00003a43: GT
00003a44: ISZERO
00003a45: PUSH2 0x3a54
00003a48: JUMPI
00003a49: PUSH1 0x00
00003a4b: DUP1
00003a4c: SHL
00003a4d: SWAP2
00003a4e: POP
00003a4f: POP
00003a50: PUSH2 0x3be4
00003a53: JUMP
00003a54: JUMPDEST
00003a55: PUSH1 0x34
00003a57: PUSH1 0x00
00003a59: SWAP1
00003a5a: SLOAD
00003a5b: SWAP1
00003a5c: PUSH2 0x0100
00003a5f: EXP
00003a60: SWAP1
00003a61: DIV
00003a62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a77: AND
00003a78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a8d: AND
00003a8e: PUSH4 0xadf59f99
00003a93: DUP3
00003a94: PUSH1 0x00
00003a96: DUP8
00003a97: DUP8
00003a98: PUSH1 0x40
00003a9a: MLOAD
00003a9b: DUP6
00003a9c: PUSH4 0xffffffff
00003aa1: AND
00003aa2: PUSH1 0xe0
00003aa4: SHL
00003aa5: DUP2
00003aa6: MSTORE
00003aa7: PUSH1 0x04
00003aa9: ADD
00003aaa: DUP1
00003aab: DUP5
00003aac: DUP2
00003aad: MSTORE
00003aae: PUSH1 0x20
00003ab0: ADD
00003ab1: DUP1
00003ab2: PUSH1 0x20
00003ab4: ADD
00003ab5: DUP1
00003ab6: PUSH1 0x20
00003ab8: ADD
00003ab9: DUP4
00003aba: DUP2
00003abb: SUB
00003abc: DUP4
00003abd: MSTORE
00003abe: DUP6
00003abf: DUP2
00003ac0: DUP2
00003ac1: MLOAD
00003ac2: DUP2
00003ac3: MSTORE
00003ac4: PUSH1 0x20
00003ac6: ADD
00003ac7: SWAP2
00003ac8: POP
00003ac9: DUP1
00003aca: MLOAD
00003acb: SWAP1
00003acc: PUSH1 0x20
00003ace: ADD
00003acf: SWAP1
00003ad0: DUP1
00003ad1: DUP4
00003ad2: DUP4
00003ad3: PUSH1 0x00
00003ad5: JUMPDEST
00003ad6: DUP4
00003ad7: DUP2
00003ad8: LT
00003ad9: ISZERO
00003ada: PUSH2 0x3af0
00003add: JUMPI
00003ade: DUP1
00003adf: DUP3
00003ae0: ADD
00003ae1: MLOAD
00003ae2: DUP2
00003ae3: DUP5
00003ae4: ADD
00003ae5: MSTORE
00003ae6: PUSH1 0x20
00003ae8: DUP2
00003ae9: ADD
00003aea: SWAP1
00003aeb: POP
00003aec: PUSH2 0x3ad5
00003aef: JUMP
00003af0: JUMPDEST
00003af1: POP
00003af2: POP
00003af3: POP
00003af4: POP
00003af5: SWAP1
00003af6: POP
00003af7: SWAP1
00003af8: DUP2
00003af9: ADD
00003afa: SWAP1
00003afb: PUSH1 0x1f
00003afd: AND
00003afe: DUP1
00003aff: ISZERO
00003b00: PUSH2 0x3b1d
00003b03: JUMPI
00003b04: DUP1
00003b05: DUP3
00003b06: SUB
00003b07: DUP1
00003b08: MLOAD
00003b09: PUSH1 0x01
00003b0b: DUP4
00003b0c: PUSH1 0x20
00003b0e: SUB
00003b0f: PUSH2 0x0100
00003b12: EXP
00003b13: SUB
00003b14: NOT
00003b15: AND
00003b16: DUP2
00003b17: MSTORE
00003b18: PUSH1 0x20
00003b1a: ADD
00003b1b: SWAP2
00003b1c: POP
00003b1d: JUMPDEST
00003b1e: POP
00003b1f: DUP4
00003b20: DUP2
00003b21: SUB
00003b22: DUP3
00003b23: MSTORE
00003b24: DUP5
00003b25: DUP2
00003b26: DUP2
00003b27: MLOAD
00003b28: DUP2
00003b29: MSTORE
00003b2a: PUSH1 0x20
00003b2c: ADD
00003b2d: SWAP2
00003b2e: POP
00003b2f: DUP1
00003b30: MLOAD
00003b31: SWAP1
00003b32: PUSH1 0x20
00003b34: ADD
00003b35: SWAP1
00003b36: DUP1
00003b37: DUP4
00003b38: DUP4
00003b39: PUSH1 0x00
00003b3b: JUMPDEST
00003b3c: DUP4
00003b3d: DUP2
00003b3e: LT
00003b3f: ISZERO
00003b40: PUSH2 0x3b56
00003b43: JUMPI
00003b44: DUP1
00003b45: DUP3
00003b46: ADD
00003b47: MLOAD
00003b48: DUP2
00003b49: DUP5
00003b4a: ADD
00003b4b: MSTORE
00003b4c: PUSH1 0x20
00003b4e: DUP2
00003b4f: ADD
00003b50: SWAP1
00003b51: POP
00003b52: PUSH2 0x3b3b
00003b55: JUMP
00003b56: JUMPDEST
00003b57: POP
00003b58: POP
00003b59: POP
00003b5a: POP
00003b5b: SWAP1
00003b5c: POP
00003b5d: SWAP1
00003b5e: DUP2
00003b5f: ADD
00003b60: SWAP1
00003b61: PUSH1 0x1f
00003b63: AND
00003b64: DUP1
00003b65: ISZERO
00003b66: PUSH2 0x3b83
00003b69: JUMPI
00003b6a: DUP1
00003b6b: DUP3
00003b6c: SUB
00003b6d: DUP1
00003b6e: MLOAD
00003b6f: PUSH1 0x01
00003b71: DUP4
00003b72: PUSH1 0x20
00003b74: SUB
00003b75: PUSH2 0x0100
00003b78: EXP
00003b79: SUB
00003b7a: NOT
00003b7b: AND
00003b7c: DUP2
00003b7d: MSTORE
00003b7e: PUSH1 0x20
00003b80: ADD
00003b81: SWAP2
00003b82: POP
00003b83: JUMPDEST
00003b84: POP
00003b85: SWAP6
00003b86: POP
00003b87: POP
00003b88: POP
00003b89: POP
00003b8a: POP
00003b8b: POP
00003b8c: PUSH1 0x20
00003b8e: PUSH1 0x40
00003b90: MLOAD
00003b91: DUP1
00003b92: DUP4
00003b93: SUB
00003b94: DUP2
00003b95: DUP6
00003b96: DUP9
00003b97: DUP1
00003b98: EXTCODESIZE
00003b99: ISZERO
00003b9a: DUP1
00003b9b: ISZERO
00003b9c: PUSH2 0x3ba4
00003b9f: JUMPI
00003ba0: PUSH1 0x00
00003ba2: DUP1
00003ba3: REVERT
00003ba4: JUMPDEST
00003ba5: POP
00003ba6: GAS
00003ba7: CALL
00003ba8: ISZERO
00003ba9: DUP1
00003baa: ISZERO
00003bab: PUSH2 0x3bb8
00003bae: JUMPI
00003baf: RETURNDATASIZE
00003bb0: PUSH1 0x00
00003bb2: DUP1
00003bb3: RETURNDATACOPY
00003bb4: RETURNDATASIZE
00003bb5: PUSH1 0x00
00003bb7: REVERT
00003bb8: JUMPDEST
00003bb9: POP
00003bba: POP
00003bbb: POP
00003bbc: POP
00003bbd: POP
00003bbe: PUSH1 0x40
00003bc0: MLOAD
00003bc1: RETURNDATASIZE
00003bc2: PUSH1 0x20
00003bc4: DUP2
00003bc5: LT
00003bc6: ISZERO
00003bc7: PUSH2 0x3bcf
00003bca: JUMPI
00003bcb: PUSH1 0x00
00003bcd: DUP1
00003bce: REVERT
00003bcf: JUMPDEST
00003bd0: DUP2
00003bd1: ADD
00003bd2: SWAP1
00003bd3: DUP1
00003bd4: DUP1
00003bd5: MLOAD
00003bd6: SWAP1
00003bd7: PUSH1 0x20
00003bd9: ADD
00003bda: SWAP1
00003bdb: SWAP3
00003bdc: SWAP2
00003bdd: SWAP1
00003bde: POP
00003bdf: POP
00003be0: POP
00003be1: SWAP2
00003be2: POP
00003be3: POP
00003be4: JUMPDEST
00003be5: SWAP3
00003be6: SWAP2
00003be7: POP
00003be8: POP
00003be9: JUMP
00003bea: JUMPDEST
00003beb: PUSH1 0x00
00003bed: DUP1
00003bee: PUSH2 0x3c0a
00003bf1: PUSH20 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed
00003c06: PUSH2 0x2fa6
00003c09: JUMP
00003c0a: JUMPDEST
00003c0b: GT
00003c0c: ISZERO
00003c0d: PUSH2 0x3cac
00003c10: JUMPI
00003c11: PUSH20 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed
00003c26: PUSH1 0x35
00003c28: PUSH1 0x00
00003c2a: PUSH2 0x0100
00003c2d: EXP
00003c2e: DUP2
00003c2f: SLOAD
00003c30: DUP2
00003c31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c46: MUL
00003c47: NOT
00003c48: AND
00003c49: SWAP1
00003c4a: DUP4
00003c4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c60: AND
00003c61: MUL
00003c62: OR
00003c63: SWAP1
00003c64: SSTORE
00003c65: POP
00003c66: PUSH2 0x3ca3
00003c69: PUSH1 0x40
00003c6b: MLOAD
00003c6c: DUP1
00003c6d: PUSH1 0x40
00003c6f: ADD
00003c70: PUSH1 0x40
00003c72: MSTORE
00003c73: DUP1
00003c74: PUSH1 0x0b
00003c76: DUP2
00003c77: MSTORE
00003c78: PUSH1 0x20
00003c7a: ADD
00003c7b: PUSH32 0x6574685f6d61696e6e6574000000000000000000000000000000000000000000
00003c9c: DUP2
00003c9d: MSTORE
00003c9e: POP
00003c9f: PUSH2 0x4207
00003ca2: JUMP
00003ca3: JUMPDEST
00003ca4: PUSH1 0x01
00003ca6: SWAP1
00003ca7: POP
00003ca8: PUSH2 0x413e
00003cab: JUMP
00003cac: JUMPDEST
00003cad: PUSH1 0x00
00003caf: PUSH2 0x3ccb
00003cb2: PUSH20 0xc03a2615d5efaf5f49f60b7bb6583eaec212fdf1
00003cc7: PUSH2 0x2fa6
00003cca: JUMP
00003ccb: JUMPDEST
00003ccc: GT
00003ccd: ISZERO
00003cce: PUSH2 0x3d6d
00003cd1: JUMPI
00003cd2: PUSH20 0xc03a2615d5efaf5f49f60b7bb6583eaec212fdf1
00003ce7: PUSH1 0x35
00003ce9: PUSH1 0x00
00003ceb: PUSH2 0x0100
00003cee: EXP
00003cef: DUP2
00003cf0: SLOAD
00003cf1: DUP2
00003cf2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d07: MUL
00003d08: NOT
00003d09: AND
00003d0a: SWAP1
00003d0b: DUP4
00003d0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d21: AND
00003d22: MUL
00003d23: OR
00003d24: SWAP1
00003d25: SSTORE
00003d26: POP
00003d27: PUSH2 0x3d64
00003d2a: PUSH1 0x40
00003d2c: MLOAD
00003d2d: DUP1
00003d2e: PUSH1 0x40
00003d30: ADD
00003d31: PUSH1 0x40
00003d33: MSTORE
00003d34: DUP1
00003d35: PUSH1 0x0c
00003d37: DUP2
00003d38: MSTORE
00003d39: PUSH1 0x20
00003d3b: ADD
00003d3c: PUSH32 0x6574685f726f707374656e330000000000000000000000000000000000000000
00003d5d: DUP2
00003d5e: MSTORE
00003d5f: POP
00003d60: PUSH2 0x4207
00003d63: JUMP
00003d64: JUMPDEST
00003d65: PUSH1 0x01
00003d67: SWAP1
00003d68: POP
00003d69: PUSH2 0x413e
00003d6c: JUMP
00003d6d: JUMPDEST
00003d6e: PUSH1 0x00
00003d70: PUSH2 0x3d8c
00003d73: PUSH20 0xb7a07bcf2ba2f2703b24c0691b5278999c59ac7e
00003d88: PUSH2 0x2fa6
00003d8b: JUMP
00003d8c: JUMPDEST
00003d8d: GT
00003d8e: ISZERO
00003d8f: PUSH2 0x3e2e
00003d92: JUMPI
00003d93: PUSH20 0xb7a07bcf2ba2f2703b24c0691b5278999c59ac7e
00003da8: PUSH1 0x35
00003daa: PUSH1 0x00
00003dac: PUSH2 0x0100
00003daf: EXP
00003db0: DUP2
00003db1: SLOAD
00003db2: DUP2
00003db3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003dc8: MUL
00003dc9: NOT
00003dca: AND
00003dcb: SWAP1
00003dcc: DUP4
00003dcd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003de2: AND
00003de3: MUL
00003de4: OR
00003de5: SWAP1
00003de6: SSTORE
00003de7: POP
00003de8: PUSH2 0x3e25
00003deb: PUSH1 0x40
00003ded: MLOAD
00003dee: DUP1
00003def: PUSH1 0x40
00003df1: ADD
00003df2: PUSH1 0x40
00003df4: MSTORE
00003df5: DUP1
00003df6: PUSH1 0x09
00003df8: DUP2
00003df9: MSTORE
00003dfa: PUSH1 0x20
00003dfc: ADD
00003dfd: PUSH32 0x6574685f6b6f76616e0000000000000000000000000000000000000000000000
00003e1e: DUP2
00003e1f: MSTORE
00003e20: POP
00003e21: PUSH2 0x4207
00003e24: JUMP
00003e25: JUMPDEST
00003e26: PUSH1 0x01
00003e28: SWAP1
00003e29: POP
00003e2a: PUSH2 0x413e
00003e2d: JUMP
00003e2e: JUMPDEST
00003e2f: PUSH1 0x00
00003e31: PUSH2 0x3e4d
00003e34: PUSH20 0x146500cfd35b22e4a392fe0adc06de1a1368ed48
00003e49: PUSH2 0x2fa6
00003e4c: JUMP
00003e4d: JUMPDEST
00003e4e: GT
00003e4f: ISZERO
00003e50: PUSH2 0x3eef
00003e53: JUMPI
00003e54: PUSH20 0x146500cfd35b22e4a392fe0adc06de1a1368ed48
00003e69: PUSH1 0x35
00003e6b: PUSH1 0x00
00003e6d: PUSH2 0x0100
00003e70: EXP
00003e71: DUP2
00003e72: SLOAD
00003e73: DUP2
00003e74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003e89: MUL
00003e8a: NOT
00003e8b: AND
00003e8c: SWAP1
00003e8d: DUP4
00003e8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ea3: AND
00003ea4: MUL
00003ea5: OR
00003ea6: SWAP1
00003ea7: SSTORE
00003ea8: POP
00003ea9: PUSH2 0x3ee6
00003eac: PUSH1 0x40
00003eae: MLOAD
00003eaf: DUP1
00003eb0: PUSH1 0x40
00003eb2: ADD
00003eb3: PUSH1 0x40
00003eb5: MSTORE
00003eb6: DUP1
00003eb7: PUSH1 0x0b
00003eb9: DUP2
00003eba: MSTORE
00003ebb: PUSH1 0x20
00003ebd: ADD
00003ebe: PUSH32 0x6574685f72696e6b656279000000000000000000000000000000000000000000
00003edf: DUP2
00003ee0: MSTORE
00003ee1: POP
00003ee2: PUSH2 0x4207
00003ee5: JUMP
00003ee6: JUMPDEST
00003ee7: PUSH1 0x01
00003ee9: SWAP1
00003eea: POP
00003eeb: PUSH2 0x413e
00003eee: JUMP
00003eef: JUMPDEST
00003ef0: PUSH1 0x00
00003ef2: PUSH2 0x3f0e
00003ef5: PUSH20 0xa2998efd205fb9d4b4963afb70778d6354ad3a41
00003f0a: PUSH2 0x2fa6
00003f0d: JUMP
00003f0e: JUMPDEST
00003f0f: GT
00003f10: ISZERO
00003f11: PUSH2 0x3fb0
00003f14: JUMPI
00003f15: PUSH20 0xa2998efd205fb9d4b4963afb70778d6354ad3a41
00003f2a: PUSH1 0x35
00003f2c: PUSH1 0x00
00003f2e: PUSH2 0x0100
00003f31: EXP
00003f32: DUP2
00003f33: SLOAD
00003f34: DUP2
00003f35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f4a: MUL
00003f4b: NOT
00003f4c: AND
00003f4d: SWAP1
00003f4e: DUP4
00003f4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f64: AND
00003f65: MUL
00003f66: OR
00003f67: SWAP1
00003f68: SSTORE
00003f69: POP
00003f6a: PUSH2 0x3fa7
00003f6d: PUSH1 0x40
00003f6f: MLOAD
00003f70: DUP1
00003f71: PUSH1 0x40
00003f73: ADD
00003f74: PUSH1 0x40
00003f76: MSTORE
00003f77: DUP1
00003f78: PUSH1 0x0a
00003f7a: DUP2
00003f7b: MSTORE
00003f7c: PUSH1 0x20
00003f7e: ADD
00003f7f: PUSH32 0x6574685f676f65726c6900000000000000000000000000000000000000000000
00003fa0: DUP2
00003fa1: MSTORE
00003fa2: POP
00003fa3: PUSH2 0x4207
00003fa6: JUMP
00003fa7: JUMPDEST
00003fa8: PUSH1 0x01
00003faa: SWAP1
00003fab: POP
00003fac: PUSH2 0x413e
00003faf: JUMP
00003fb0: JUMPDEST
00003fb1: PUSH1 0x00
00003fb3: PUSH2 0x3fcf
00003fb6: PUSH20 0x6f485c8bf6fc43ea212e93bbf8ce046c7f1cb475
00003fcb: PUSH2 0x2fa6
00003fce: JUMP
00003fcf: JUMPDEST
00003fd0: GT
00003fd1: ISZERO
00003fd2: PUSH2 0x4033
00003fd5: JUMPI
00003fd6: PUSH20 0x6f485c8bf6fc43ea212e93bbf8ce046c7f1cb475
00003feb: PUSH1 0x35
00003fed: PUSH1 0x00
00003fef: PUSH2 0x0100
00003ff2: EXP
00003ff3: DUP2
00003ff4: SLOAD
00003ff5: DUP2
00003ff6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000400b: MUL
0000400c: NOT
0000400d: AND
0000400e: SWAP1
0000400f: DUP4
00004010: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004025: AND
00004026: MUL
00004027: OR
00004028: SWAP1
00004029: SSTORE
0000402a: POP
0000402b: PUSH1 0x01
0000402d: SWAP1
0000402e: POP
0000402f: PUSH2 0x413e
00004032: JUMP
00004033: JUMPDEST
00004034: PUSH1 0x00
00004036: PUSH2 0x4052
00004039: PUSH20 0x20e12a1f859b3feae5fb2a0a32c18f5a65555bbf
0000404e: PUSH2 0x2fa6
00004051: JUMP
00004052: JUMPDEST
00004053: GT
00004054: ISZERO
00004055: PUSH2 0x40b6
00004058: JUMPI
00004059: PUSH20 0x20e12a1f859b3feae5fb2a0a32c18f5a65555bbf
0000406e: PUSH1 0x35
00004070: PUSH1 0x00
00004072: PUSH2 0x0100
00004075: EXP
00004076: DUP2
00004077: SLOAD
00004078: DUP2
00004079: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000408e: MUL
0000408f: NOT
00004090: AND
00004091: SWAP1
00004092: DUP4
00004093: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000040a8: AND
000040a9: MUL
000040aa: OR
000040ab: SWAP1
000040ac: SSTORE
000040ad: POP
000040ae: PUSH1 0x01
000040b0: SWAP1
000040b1: POP
000040b2: PUSH2 0x413e
000040b5: JUMP
000040b6: JUMPDEST
000040b7: PUSH1 0x00
000040b9: PUSH2 0x40d5
000040bc: PUSH20 0x51efaf4c8b3c9afbd5ab9f4bbc82784ab6ef8faa
000040d1: PUSH2 0x2fa6
000040d4: JUMP
000040d5: JUMPDEST
000040d6: GT
000040d7: ISZERO
000040d8: PUSH2 0x4139
000040db: JUMPI
000040dc: PUSH20 0x51efaf4c8b3c9afbd5ab9f4bbc82784ab6ef8faa
000040f1: PUSH1 0x35
000040f3: PUSH1 0x00
000040f5: PUSH2 0x0100
000040f8: EXP
000040f9: DUP2
000040fa: SLOAD
000040fb: DUP2
000040fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004111: MUL
00004112: NOT
00004113: AND
00004114: SWAP1
00004115: DUP4
00004116: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000412b: AND
0000412c: MUL
0000412d: OR
0000412e: SWAP1
0000412f: SSTORE
00004130: POP
00004131: PUSH1 0x01
00004133: SWAP1
00004134: POP
00004135: PUSH2 0x413e
00004138: JUMP
00004139: JUMPDEST
0000413a: PUSH1 0x00
0000413c: SWAP1
0000413d: POP
0000413e: JUMPDEST
0000413f: SWAP1
00004140: JUMP
00004141: JUMPDEST
00004142: PUSH1 0x00
00004144: DUP1
00004145: DUP4
00004146: GT
00004147: DUP3
00004148: SWAP1
00004149: PUSH2 0x41ed
0000414c: JUMPI
0000414d: PUSH1 0x40
0000414f: MLOAD
00004150: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00004171: DUP2
00004172: MSTORE
00004173: PUSH1 0x04
00004175: ADD
00004176: DUP1
00004177: DUP1
00004178: PUSH1 0x20
0000417a: ADD
0000417b: DUP3
0000417c: DUP2
0000417d: SUB
0000417e: DUP3
0000417f: MSTORE
00004180: DUP4
00004181: DUP2
00004182: DUP2
00004183: MLOAD
00004184: DUP2
00004185: MSTORE
00004186: PUSH1 0x20
00004188: ADD
00004189: SWAP2
0000418a: POP
0000418b: DUP1
0000418c: MLOAD
0000418d: SWAP1
0000418e: PUSH1 0x20
00004190: ADD
00004191: SWAP1
00004192: DUP1
00004193: DUP4
00004194: DUP4
00004195: PUSH1 0x00
00004197: JUMPDEST
00004198: DUP4
00004199: DUP2
0000419a: LT
0000419b: ISZERO
0000419c: PUSH2 0x41b2
0000419f: JUMPI
000041a0: DUP1
000041a1: DUP3
000041a2: ADD
000041a3: MLOAD
000041a4: DUP2
000041a5: DUP5
000041a6: ADD
000041a7: MSTORE
000041a8: PUSH1 0x20
000041aa: DUP2
000041ab: ADD
000041ac: SWAP1
000041ad: POP
000041ae: PUSH2 0x4197
000041b1: JUMP
000041b2: JUMPDEST
000041b3: POP
000041b4: POP
000041b5: POP
000041b6: POP
000041b7: SWAP1
000041b8: POP
000041b9: SWAP1
000041ba: DUP2
000041bb: ADD
000041bc: SWAP1
000041bd: PUSH1 0x1f
000041bf: AND
000041c0: DUP1
000041c1: ISZERO
000041c2: PUSH2 0x41df
000041c5: JUMPI
000041c6: DUP1
000041c7: DUP3
000041c8: SUB
000041c9: DUP1
000041ca: MLOAD
000041cb: PUSH1 0x01
000041cd: DUP4
000041ce: PUSH1 0x20
000041d0: SUB
000041d1: PUSH2 0x0100
000041d4: EXP
000041d5: SUB
000041d6: NOT
000041d7: AND
000041d8: DUP2
000041d9: MSTORE
000041da: PUSH1 0x20
000041dc: ADD
000041dd: SWAP2
000041de: POP
000041df: JUMPDEST
000041e0: POP
000041e1: SWAP3
000041e2: POP
000041e3: POP
000041e4: POP
000041e5: PUSH1 0x40
000041e7: MLOAD
000041e8: DUP1
000041e9: SWAP2
000041ea: SUB
000041eb: SWAP1
000041ec: REVERT
000041ed: JUMPDEST
000041ee: POP
000041ef: PUSH1 0x00
000041f1: DUP4
000041f2: DUP6
000041f3: DUP2
000041f4: PUSH2 0x41f9
000041f7: JUMPI
000041f8: INVALID
000041f9: JUMPDEST
000041fa: DIV
000041fb: SWAP1
000041fc: POP
000041fd: DUP1
000041fe: SWAP2
000041ff: POP
00004200: POP
00004201: SWAP4
00004202: SWAP3
00004203: POP
00004204: POP
00004205: POP
00004206: JUMP
00004207: JUMPDEST
00004208: DUP1
00004209: PUSH1 0x36
0000420b: SWAP1
0000420c: DUP1
0000420d: MLOAD
0000420e: SWAP1
0000420f: PUSH1 0x20
00004211: ADD
00004212: SWAP1
00004213: PUSH2 0x421d
00004216: SWAP3
00004217: SWAP2
00004218: SWAP1
00004219: PUSH2 0x4221
0000421c: JUMP
0000421d: JUMPDEST
0000421e: POP
0000421f: POP
00004220: JUMP
00004221: JUMPDEST
00004222: DUP3
00004223: DUP1
00004224: SLOAD
00004225: PUSH1 0x01
00004227: DUP2
00004228: PUSH1 0x01
0000422a: AND
0000422b: ISZERO
0000422c: PUSH2 0x0100
0000422f: MUL
00004230: SUB
00004231: AND
00004232: PUSH1 0x02
00004234: SWAP1
00004235: DIV
00004236: SWAP1
00004237: PUSH1 0x00
00004239: MSTORE
0000423a: PUSH1 0x20
0000423c: PUSH1 0x00
0000423e: KECCAK256
0000423f: SWAP1
00004240: PUSH1 0x1f
00004242: ADD
00004243: PUSH1 0x20
00004245: SWAP1
00004246: DIV
00004247: DUP2
00004248: ADD
00004249: SWAP3
0000424a: DUP3
0000424b: PUSH1 0x1f
0000424d: LT
0000424e: PUSH2 0x4262
00004251: JUMPI
00004252: DUP1
00004253: MLOAD
00004254: PUSH1 0xff
00004256: NOT
00004257: AND
00004258: DUP4
00004259: DUP1
0000425a: ADD
0000425b: OR
0000425c: DUP6
0000425d: SSTORE
0000425e: PUSH2 0x4290
00004261: JUMP
00004262: JUMPDEST
00004263: DUP3
00004264: DUP1
00004265: ADD
00004266: PUSH1 0x01
00004268: ADD
00004269: DUP6
0000426a: SSTORE
0000426b: DUP3
0000426c: ISZERO
0000426d: PUSH2 0x4290
00004270: JUMPI
00004271: SWAP2
00004272: DUP3
00004273: ADD
00004274: JUMPDEST
00004275: DUP3
00004276: DUP2
00004277: GT
00004278: ISZERO
00004279: PUSH2 0x428f
0000427c: JUMPI
0000427d: DUP3
0000427e: MLOAD
0000427f: DUP3
00004280: SSTORE
00004281: SWAP2
00004282: PUSH1 0x20
00004284: ADD
00004285: SWAP2
00004286: SWAP1
00004287: PUSH1 0x01
00004289: ADD
0000428a: SWAP1
0000428b: PUSH2 0x4274
0000428e: JUMP
0000428f: JUMPDEST
00004290: JUMPDEST
00004291: POP
00004292: SWAP1
00004293: POP
00004294: PUSH2 0x429d
00004297: SWAP2
00004298: SWAP1
00004299: PUSH2 0x42a1
0000429c: JUMP
0000429d: JUMPDEST
0000429e: POP
0000429f: SWAP1
000042a0: JUMP
000042a1: JUMPDEST
000042a2: PUSH2 0x42c3
000042a5: SWAP2
000042a6: SWAP1
000042a7: JUMPDEST
000042a8: DUP1
000042a9: DUP3
000042aa: GT
000042ab: ISZERO
000042ac: PUSH2 0x42bf
000042af: JUMPI
000042b0: PUSH1 0x00
000042b2: DUP2
000042b3: PUSH1 0x00
000042b5: SWAP1
000042b6: SSTORE
000042b7: POP
000042b8: PUSH1 0x01
000042ba: ADD
000042bb: PUSH2 0x42a7
000042be: JUMP
000042bf: JUMPDEST
000042c0: POP
000042c1: SWAP1
000042c2: JUMP
000042c3: JUMPDEST
000042c4: SWAP1
000042c5: JUMP
000042c6: INVALID
000042c7: POP
000042c8: PUSH19 0x6f7661626c6520717565727920776173204e4f
000042dc: SLOAD
000042dd: KECCAK256
000042de: PUSH20 0x656e742c20706c656173652061646420736f6d65
000042f3: KECCAK256
000042f4: GASLIMIT
000042f5: SLOAD
000042f6: BASEFEE
000042f7: KECCAK256
000042f8: PUSH21 0x6f20636f76657220666f7220746865207175657279
0000430e: KECCAK256
0000430f: PUSH7 0x65654d6178696d
00004317: PUSH22 0x6d207469636b6574206c696d69742070657220616464
0000432e: PUSH19 0x657373206578636565646564546f74616c2074
00004342: PUSH10 0x636b6574207065722067
0000434d: PUSH2 0x6d65
00004350: KECCAK256
00004351: PUSH13 0x696d6974206578636565646564
0000435f: NUMBER
00004360: PUSH2 0x6c6c
00004363: PUSH3 0x61636b
00004367: KECCAK256
00004368: PUSH4 0x616e206f
0000436d: PUSH15 0x6c792062652063616c6c6564206279
0000437d: KECCAK256
0000437e: PUSH2 0x2070
00004381: PUSH19 0x6f7661626c652063616c6c6261636b20616464
00004395: PUSH19 0x65737347534e526563697069656e743a206e65
000043a9: PUSH24 0x2052656c617948756220697320746865207a65726f206164
000043c2: PUSH5 0x7265737353
000043c8: PUSH2 0x6665
000043cb: UNKNOWN(0x4D)
000043cc: PUSH2 0x7468
000043cf: GASPRICE
000043d0: KECCAK256
000043d1: PUSH14 0x756c7469706c69636174696f6e20
000043e0: PUSH16 0x766572666c6f77436f6e747261637420
000043f1: PUSH10 0x6e7374616e6365206861
000043fc: PUSH20 0x20616c7265616479206265656e20696e69746961
00004411: PUSH13 0x697a656447534e526563697069
0000441f: PUSH6 0x6e743a206e65
00004426: PUSH24 0x2052656c6179487562206973207468652063757272656e74
0000443f: KECCAK256
00004440: PUSH16 0x6e6547534e526563697069656e743a20
00004451: PUSH4 0x616c6c65
00004456: PUSH19 0x206973206e6f742052656c617948756250726f
0000446a: PUSH23 0x61626c65207175657279207761732073656e742c207374
00004482: PUSH2 0x6e64
00004485: PUSH10 0x6e6720627920666f7220
00004490: PUSH21 0x686520616e737765722e2e2e475245415445525f4f
000044a6: MSTORE
000044a7: PUSH0
000044a8: GASLIMIT
000044a9: MLOAD
000044aa: SSTORE
000044ab: COINBASE
000044ac: UNKNOWN(0x4C)
000044ad: PUSH0
000044ae: SLOAD
000044af: UNKNOWN(0x4F)
000044b0: PUSH0
000044b1: CALLVALUE
000044b2: PUSH0
000044b3: UNKNOWN(0x4C)
000044b4: GASLIMIT
000044b5: UNKNOWN(0x4E)
000044b6: SELFBALANCE
000044b7: SLOAD
000044b8: BASEFEE
000044b9: PUSH0
000044ba: MSTORE
000044bb: GASLIMIT
000044bc: MLOAD
000044bd: SSTORE
000044be: BLOBHASH
000044bf: MSTORE
000044c0: GASLIMIT
000044c1: DIFFICULTY
000044c2: LOG2
000044c3: PUSH6 0x627a7a723158
000044ca: KECCAK256
000044cb: SWAP3
000044cc: UNKNOWN(0xF8)
000044cd: EXTCODESIZE
000044ce: PUSH30 0xff68faf9572e7a402a63bfb4e96dc440f86bc8f27f1a0151100a133e6473
000044ed: PUSH16
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xa3a3a1d769d73b967dbc412b2122e8624348c9861cc4570631afd390b913c559 call_targets: 0x0d43d69d8a5580c9b9f736b9476440ef9578cbc7 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xa3a3a1d769d73b967dbc412b2122e8624348c9861cc4570631afd390b913c559", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x0d43d69d8a5580c9b9f736b9476440ef9578cbc7" ], "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": "0xe138cd3a", "selector": "0xe138cd3a", "calldata_variants": [ "0xe138cd3a", "0xe138cd3a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe1489191", "selector": "0xe1489191", "calldata_variants": [ "0xe1489191", "0xe14891910000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfbbfa574", "selector": "0xfbbfa574", "calldata_variants": [ "0xfbbfa574", "0xfbbfa5740000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfdb0a43e", "selector": "0xfdb0a43e", "calldata_variants": [ "0xfdb0a43e", "0xfdb0a43e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd809d248", "selector": "0xd809d248", "calldata_variants": [ "0xd809d248", "0xd809d2480000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd8d40cee", "selector": "0xd8d40cee", "calldata_variants": [ "0xd8d40cee", "0xd8d40cee0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdc0ed854", "selector": "0xdc0ed854", "calldata_variants": [ "0xdc0ed854", "0xdc0ed8540000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe06e0e22", "selector": "0xe06e0e22", "calldata_variants": [ "0xe06e0e22", "0xe06e0e220000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5165, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 8349, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 8598, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 15, "guards_detected": [ { "pc": 6200, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 7194, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 8038, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 15 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xa3a3a1d769d73b967dbc412b2122e8624348c9861cc4570631afd390b913c559 call_targets: 0x0d43d69d8a5580c9b9f736b9476440ef9578cbc7 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xa3a3a1d769d73b967dbc412b2122e8624348c9861cc4570631afd390b913c559", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x0d43d69d8a5580c9b9f736b9476440ef9578cbc7" ], "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": "0xe138cd3a", "selector": "0xe138cd3a", "calldata_variants": [ "0xe138cd3a", "0xe138cd3a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe1489191", "selector": "0xe1489191", "calldata_variants": [ "0xe1489191", "0xe14891910000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfbbfa574", "selector": "0xfbbfa574", "calldata_variants": [ "0xfbbfa574", "0xfbbfa5740000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfdb0a43e", "selector": "0xfdb0a43e", "calldata_variants": [ "0xfdb0a43e", "0xfdb0a43e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd809d248", "selector": "0xd809d248", "calldata_variants": [ "0xd809d248", "0xd809d2480000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd8d40cee", "selector": "0xd8d40cee", "calldata_variants": [ "0xd8d40cee", "0xd8d40cee0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdc0ed854", "selector": "0xdc0ed854", "calldata_variants": [ "0xdc0ed854", "0xdc0ed8540000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe06e0e22", "selector": "0xe06e0e22", "calldata_variants": [ "0xe06e0e22", "0xe06e0e220000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5165, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 8349, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 8598, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 15, "guards_detected": [ { "pc": 6200, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 7194, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 8038, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }
Severity