Analysis Run

019b477e-b3b6-718f-867d-bfe078c3abdf
complete
Chain ID
1
Address
0x15ebe584d7a0c28a3a4e73e5430b08324f3296f9
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

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

Status & attempts
ID	Type	Status	Attempts	Heartbeat
22603	artifact.fetch	complete	1 / 3	3 months ago
22604	tool.cast_disasm	complete	1 / 3	3 months ago
89681	analysis.bundle	complete	1 / 3	1 week ago
89682	capability.graph	complete	1 / 3	1 week ago
89683	detector.run	complete	1 / 3	1 week ago
89684	validation.fork	complete	1 / 3	1 week ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
17
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
2
EXT*/BALANCE
23
Total opcodes
8751
Flags
delegatecall_present create_opcodes_present heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x010e
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH1 0xe0
00000014: PUSH1 0x02
00000016: EXP
00000017: PUSH1 0x00
00000019: CALLDATALOAD
0000001a: DIV
0000001b: AND
0000001c: PUSH4 0x06fdde03
00000021: DUP2
00000022: EQ
00000023: PUSH2 0x0113
00000026: JUMPI
00000027: DUP1
00000028: PUSH4 0x0830602b
0000002d: EQ
0000002e: PUSH2 0x019d
00000031: JUMPI
00000032: DUP1
00000033: PUSH4 0x095ea7b3
00000038: EQ
00000039: PUSH2 0x01eb
0000003c: JUMPI
0000003d: DUP1
0000003e: PUSH4 0x0baa86f5
00000043: EQ
00000044: PUSH2 0x0223
00000047: JUMPI
00000048: DUP1
00000049: PUSH4 0x18160ddd
0000004e: EQ
0000004f: PUSH2 0x0250
00000052: JUMPI
00000053: DUP1
00000054: PUSH4 0x18b0efb6
00000059: EQ
0000005a: PUSH2 0x0265
0000005d: JUMPI
0000005e: DUP1
0000005f: PUSH4 0x22565c6e
00000064: EQ
00000065: PUSH2 0x02be
00000068: JUMPI
00000069: DUP1
0000006a: PUSH4 0x23b872dd
0000006f: EQ
00000070: PUSH2 0x02fc
00000073: JUMPI
00000074: DUP1
00000075: PUSH4 0x313ce567
0000007a: EQ
0000007b: PUSH2 0x0326
0000007e: JUMPI
0000007f: DUP1
00000080: PUSH4 0x39509351
00000085: EQ
00000086: PUSH2 0x0351
00000089: JUMPI
0000008a: DUP1
0000008b: PUSH4 0x43c6ce3e
00000090: EQ
00000091: PUSH2 0x0375
00000094: JUMPI
00000095: DUP1
00000096: PUSH4 0x475b8b4c
0000009b: EQ
0000009c: PUSH2 0x03c6
0000009f: JUMPI
000000a0: DUP1
000000a1: PUSH4 0x5a9b0b89
000000a6: EQ
000000a7: PUSH2 0x03de
000000aa: JUMPI
000000ab: DUP1
000000ac: PUSH4 0x63857b5e
000000b1: EQ
000000b2: PUSH2 0x044c
000000b5: JUMPI
000000b6: DUP1
000000b7: PUSH4 0x70a08231
000000bc: EQ
000000bd: PUSH2 0x04a1
000000c0: JUMPI
000000c1: DUP1
000000c2: PUSH4 0x8f15dc96
000000c7: EQ
000000c8: PUSH2 0x04c2
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0x95d89b41
000000d2: EQ
000000d3: PUSH2 0x0520
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0xa457c2d7
000000dd: EQ
000000de: PUSH2 0x0535
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0xa9059cbb
000000e8: EQ
000000e9: PUSH2 0x0559
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0xd82947dd
000000f3: EQ
000000f4: PUSH2 0x057d
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0xdbd862c0
000000fe: EQ
000000ff: PUSH2 0x0592
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0xdd62ed3e
00000109: EQ
0000010a: PUSH2 0x05ee
0000010d: JUMPI
0000010e: JUMPDEST
0000010f: PUSH1 0x00
00000111: DUP1
00000112: REVERT
00000113: JUMPDEST
00000114: CALLVALUE
00000115: DUP1
00000116: ISZERO
00000117: PUSH2 0x011f
0000011a: JUMPI
0000011b: PUSH1 0x00
0000011d: DUP1
0000011e: REVERT
0000011f: JUMPDEST
00000120: POP
00000121: PUSH2 0x0128
00000124: PUSH2 0x0615
00000127: JUMP
00000128: JUMPDEST
00000129: PUSH1 0x40
0000012b: DUP1
0000012c: MLOAD
0000012d: PUSH1 0x20
0000012f: DUP1
00000130: DUP3
00000131: MSTORE
00000132: DUP4
00000133: MLOAD
00000134: DUP2
00000135: DUP4
00000136: ADD
00000137: MSTORE
00000138: DUP4
00000139: MLOAD
0000013a: SWAP2
0000013b: SWAP3
0000013c: DUP4
0000013d: SWAP3
0000013e: SWAP1
0000013f: DUP4
00000140: ADD
00000141: SWAP2
00000142: DUP6
00000143: ADD
00000144: SWAP1
00000145: DUP1
00000146: DUP4
00000147: DUP4
00000148: PUSH1 0x00
0000014a: JUMPDEST
0000014b: DUP4
0000014c: DUP2
0000014d: LT
0000014e: ISZERO
0000014f: PUSH2 0x0162
00000152: JUMPI
00000153: DUP2
00000154: DUP2
00000155: ADD
00000156: MLOAD
00000157: DUP4
00000158: DUP3
00000159: ADD
0000015a: MSTORE
0000015b: PUSH1 0x20
0000015d: ADD
0000015e: PUSH2 0x014a
00000161: JUMP
00000162: JUMPDEST
00000163: POP
00000164: POP
00000165: POP
00000166: POP
00000167: SWAP1
00000168: POP
00000169: SWAP1
0000016a: DUP2
0000016b: ADD
0000016c: SWAP1
0000016d: PUSH1 0x1f
0000016f: AND
00000170: DUP1
00000171: ISZERO
00000172: PUSH2 0x018f
00000175: JUMPI
00000176: DUP1
00000177: DUP3
00000178: SUB
00000179: DUP1
0000017a: MLOAD
0000017b: PUSH1 0x01
0000017d: DUP4
0000017e: PUSH1 0x20
00000180: SUB
00000181: PUSH2 0x0100
00000184: EXP
00000185: SUB
00000186: NOT
00000187: AND
00000188: DUP2
00000189: MSTORE
0000018a: PUSH1 0x20
0000018c: ADD
0000018d: SWAP2
0000018e: POP
0000018f: JUMPDEST
00000190: POP
00000191: SWAP3
00000192: POP
00000193: POP
00000194: POP
00000195: PUSH1 0x40
00000197: MLOAD
00000198: DUP1
00000199: SWAP2
0000019a: SUB
0000019b: SWAP1
0000019c: RETURN
0000019d: JUMPDEST
0000019e: PUSH1 0x40
000001a0: DUP1
000001a1: MLOAD
000001a2: PUSH1 0x20
000001a4: PUSH1 0x04
000001a6: DUP1
000001a7: CALLDATALOAD
000001a8: DUP1
000001a9: DUP3
000001aa: ADD
000001ab: CALLDATALOAD
000001ac: PUSH1 0x1f
000001ae: DUP2
000001af: ADD
000001b0: DUP5
000001b1: SWAP1
000001b2: DIV
000001b3: DUP5
000001b4: MUL
000001b5: DUP6
000001b6: ADD
000001b7: DUP5
000001b8: ADD
000001b9: SWAP1
000001ba: SWAP6
000001bb: MSTORE
000001bc: DUP5
000001bd: DUP5
000001be: MSTORE
000001bf: PUSH2 0x01e9
000001c2: SWAP5
000001c3: CALLDATASIZE
000001c4: SWAP5
000001c5: SWAP3
000001c6: SWAP4
000001c7: PUSH1 0x24
000001c9: SWAP4
000001ca: SWAP3
000001cb: DUP5
000001cc: ADD
000001cd: SWAP2
000001ce: SWAP1
000001cf: DUP2
000001d0: SWAP1
000001d1: DUP5
000001d2: ADD
000001d3: DUP4
000001d4: DUP3
000001d5: DUP1
000001d6: DUP3
000001d7: DUP5
000001d8: CALLDATACOPY
000001d9: POP
000001da: SWAP5
000001db: SWAP8
000001dc: POP
000001dd: PUSH2 0x06ab
000001e0: SWAP7
000001e1: POP
000001e2: POP
000001e3: POP
000001e4: POP
000001e5: POP
000001e6: POP
000001e7: POP
000001e8: JUMP
000001e9: JUMPDEST
000001ea: STOP
000001eb: JUMPDEST
000001ec: CALLVALUE
000001ed: DUP1
000001ee: ISZERO
000001ef: PUSH2 0x01f7
000001f2: JUMPI
000001f3: PUSH1 0x00
000001f5: DUP1
000001f6: REVERT
000001f7: JUMPDEST
000001f8: POP
000001f9: PUSH2 0x020f
000001fc: PUSH1 0x01
000001fe: PUSH1 0xa0
00000200: PUSH1 0x02
00000202: EXP
00000203: SUB
00000204: PUSH1 0x04
00000206: CALLDATALOAD
00000207: AND
00000208: PUSH1 0x24
0000020a: CALLDATALOAD
0000020b: PUSH2 0x0727
0000020e: JUMP
0000020f: JUMPDEST
00000210: PUSH1 0x40
00000212: DUP1
00000213: MLOAD
00000214: SWAP2
00000215: ISZERO
00000216: ISZERO
00000217: DUP3
00000218: MSTORE
00000219: MLOAD
0000021a: SWAP1
0000021b: DUP2
0000021c: SWAP1
0000021d: SUB
0000021e: PUSH1 0x20
00000220: ADD
00000221: SWAP1
00000222: RETURN
00000223: JUMPDEST
00000224: CALLVALUE
00000225: DUP1
00000226: ISZERO
00000227: PUSH2 0x022f
0000022a: JUMPI
0000022b: PUSH1 0x00
0000022d: DUP1
0000022e: REVERT
0000022f: JUMPDEST
00000230: POP
00000231: PUSH2 0x023e
00000234: PUSH1 0x04
00000236: CALLDATALOAD
00000237: PUSH1 0x24
00000239: CALLDATALOAD
0000023a: PUSH2 0x07a6
0000023d: JUMP
0000023e: JUMPDEST
0000023f: PUSH1 0x40
00000241: DUP1
00000242: MLOAD
00000243: SWAP2
00000244: DUP3
00000245: MSTORE
00000246: MLOAD
00000247: SWAP1
00000248: DUP2
00000249: SWAP1
0000024a: SUB
0000024b: PUSH1 0x20
0000024d: ADD
0000024e: SWAP1
0000024f: RETURN
00000250: JUMPDEST
00000251: CALLVALUE
00000252: DUP1
00000253: ISZERO
00000254: PUSH2 0x025c
00000257: JUMPI
00000258: PUSH1 0x00
0000025a: DUP1
0000025b: REVERT
0000025c: JUMPDEST
0000025d: POP
0000025e: PUSH2 0x023e
00000261: PUSH2 0x08c1
00000264: JUMP
00000265: JUMPDEST
00000266: CALLVALUE
00000267: DUP1
00000268: ISZERO
00000269: PUSH2 0x0271
0000026c: JUMPI
0000026d: PUSH1 0x00
0000026f: DUP1
00000270: REVERT
00000271: JUMPDEST
00000272: POP
00000273: PUSH1 0x40
00000275: DUP1
00000276: MLOAD
00000277: PUSH1 0x20
00000279: PUSH1 0x04
0000027b: DUP1
0000027c: CALLDATALOAD
0000027d: DUP1
0000027e: DUP3
0000027f: ADD
00000280: CALLDATALOAD
00000281: PUSH1 0x1f
00000283: DUP2
00000284: ADD
00000285: DUP5
00000286: SWAP1
00000287: DIV
00000288: DUP5
00000289: MUL
0000028a: DUP6
0000028b: ADD
0000028c: DUP5
0000028d: ADD
0000028e: SWAP1
0000028f: SWAP6
00000290: MSTORE
00000291: DUP5
00000292: DUP5
00000293: MSTORE
00000294: PUSH2 0x020f
00000297: SWAP5
00000298: CALLDATASIZE
00000299: SWAP5
0000029a: SWAP3
0000029b: SWAP4
0000029c: PUSH1 0x24
0000029e: SWAP4
0000029f: SWAP3
000002a0: DUP5
000002a1: ADD
000002a2: SWAP2
000002a3: SWAP1
000002a4: DUP2
000002a5: SWAP1
000002a6: DUP5
000002a7: ADD
000002a8: DUP4
000002a9: DUP3
000002aa: DUP1
000002ab: DUP3
000002ac: DUP5
000002ad: CALLDATACOPY
000002ae: POP
000002af: SWAP5
000002b0: SWAP8
000002b1: POP
000002b2: PUSH2 0x08c7
000002b5: SWAP7
000002b6: POP
000002b7: POP
000002b8: POP
000002b9: POP
000002ba: POP
000002bb: POP
000002bc: POP
000002bd: JUMP
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 0x02d6
000002cf: PUSH1 0x04
000002d1: CALLDATALOAD
000002d2: PUSH2 0x0966
000002d5: JUMP
000002d6: JUMPDEST
000002d7: PUSH1 0x40
000002d9: DUP1
000002da: MLOAD
000002db: SWAP5
000002dc: DUP6
000002dd: MSTORE
000002de: PUSH1 0x20
000002e0: DUP6
000002e1: ADD
000002e2: SWAP4
000002e3: SWAP1
000002e4: SWAP4
000002e5: MSTORE
000002e6: DUP4
000002e7: DUP4
000002e8: ADD
000002e9: SWAP2
000002ea: SWAP1
000002eb: SWAP2
000002ec: MSTORE
000002ed: PUSH1 0x60
000002ef: DUP4
000002f0: ADD
000002f1: MSTORE
000002f2: MLOAD
000002f3: SWAP1
000002f4: DUP2
000002f5: SWAP1
000002f6: SUB
000002f7: PUSH1 0x80
000002f9: ADD
000002fa: SWAP1
000002fb: RETURN
000002fc: JUMPDEST
000002fd: CALLVALUE
000002fe: DUP1
000002ff: ISZERO
00000300: PUSH2 0x0308
00000303: JUMPI
00000304: PUSH1 0x00
00000306: DUP1
00000307: REVERT
00000308: JUMPDEST
00000309: POP
0000030a: PUSH2 0x020f
0000030d: PUSH1 0x01
0000030f: PUSH1 0xa0
00000311: PUSH1 0x02
00000313: EXP
00000314: SUB
00000315: PUSH1 0x04
00000317: CALLDATALOAD
00000318: DUP2
00000319: AND
0000031a: SWAP1
0000031b: PUSH1 0x24
0000031d: CALLDATALOAD
0000031e: AND
0000031f: PUSH1 0x44
00000321: CALLDATALOAD
00000322: PUSH2 0x0a84
00000325: JUMP
00000326: JUMPDEST
00000327: CALLVALUE
00000328: DUP1
00000329: ISZERO
0000032a: PUSH2 0x0332
0000032d: JUMPI
0000032e: PUSH1 0x00
00000330: DUP1
00000331: REVERT
00000332: JUMPDEST
00000333: POP
00000334: PUSH2 0x033b
00000337: PUSH2 0x0ab6
0000033a: JUMP
0000033b: JUMPDEST
0000033c: PUSH1 0x40
0000033e: DUP1
0000033f: MLOAD
00000340: PUSH1 0xff
00000342: SWAP1
00000343: SWAP3
00000344: AND
00000345: DUP3
00000346: MSTORE
00000347: MLOAD
00000348: SWAP1
00000349: DUP2
0000034a: SWAP1
0000034b: SUB
0000034c: PUSH1 0x20
0000034e: ADD
0000034f: SWAP1
00000350: RETURN
00000351: JUMPDEST
00000352: CALLVALUE
00000353: DUP1
00000354: ISZERO
00000355: PUSH2 0x035d
00000358: JUMPI
00000359: PUSH1 0x00
0000035b: DUP1
0000035c: REVERT
0000035d: JUMPDEST
0000035e: POP
0000035f: PUSH2 0x020f
00000362: PUSH1 0x01
00000364: PUSH1 0xa0
00000366: PUSH1 0x02
00000368: EXP
00000369: SUB
0000036a: PUSH1 0x04
0000036c: CALLDATALOAD
0000036d: AND
0000036e: PUSH1 0x24
00000370: CALLDATALOAD
00000371: PUSH2 0x0abf
00000374: JUMP
00000375: JUMPDEST
00000376: PUSH1 0x40
00000378: DUP1
00000379: MLOAD
0000037a: PUSH1 0x20
0000037c: PUSH1 0x04
0000037e: PUSH1 0x24
00000380: DUP1
00000381: CALLDATALOAD
00000382: DUP3
00000383: DUP2
00000384: ADD
00000385: CALLDATALOAD
00000386: PUSH1 0x1f
00000388: DUP2
00000389: ADD
0000038a: DUP6
0000038b: SWAP1
0000038c: DIV
0000038d: DUP6
0000038e: MUL
0000038f: DUP7
00000390: ADD
00000391: DUP6
00000392: ADD
00000393: SWAP1
00000394: SWAP7
00000395: MSTORE
00000396: DUP6
00000397: DUP6
00000398: MSTORE
00000399: PUSH2 0x01e9
0000039c: SWAP6
0000039d: DUP4
0000039e: CALLDATALOAD
0000039f: SWAP6
000003a0: CALLDATASIZE
000003a1: SWAP6
000003a2: PUSH1 0x44
000003a4: SWAP5
000003a5: SWAP2
000003a6: SWAP4
000003a7: SWAP1
000003a8: SWAP2
000003a9: ADD
000003aa: SWAP2
000003ab: SWAP1
000003ac: DUP2
000003ad: SWAP1
000003ae: DUP5
000003af: ADD
000003b0: DUP4
000003b1: DUP3
000003b2: DUP1
000003b3: DUP3
000003b4: DUP5
000003b5: CALLDATACOPY
000003b6: POP
000003b7: SWAP5
000003b8: SWAP8
000003b9: POP
000003ba: PUSH2 0x0b6f
000003bd: SWAP7
000003be: POP
000003bf: POP
000003c0: POP
000003c1: POP
000003c2: POP
000003c3: POP
000003c4: POP
000003c5: JUMP
000003c6: JUMPDEST
000003c7: CALLVALUE
000003c8: DUP1
000003c9: ISZERO
000003ca: PUSH2 0x03d2
000003cd: JUMPI
000003ce: PUSH1 0x00
000003d0: DUP1
000003d1: REVERT
000003d2: JUMPDEST
000003d3: POP
000003d4: PUSH2 0x02d6
000003d7: PUSH1 0x04
000003d9: CALLDATALOAD
000003da: PUSH2 0x0f54
000003dd: JUMP
000003de: JUMPDEST
000003df: CALLVALUE
000003e0: DUP1
000003e1: ISZERO
000003e2: PUSH2 0x03ea
000003e5: JUMPI
000003e6: PUSH1 0x00
000003e8: DUP1
000003e9: REVERT
000003ea: JUMPDEST
000003eb: POP
000003ec: PUSH2 0x03f3
000003ef: PUSH2 0x1032
000003f2: JUMP
000003f3: JUMPDEST
000003f4: PUSH1 0x40
000003f6: DUP1
000003f7: MLOAD
000003f8: SWAP11
000003f9: DUP12
000003fa: MSTORE
000003fb: PUSH1 0x20
000003fd: DUP12
000003fe: ADD
000003ff: SWAP10
00000400: SWAP1
00000401: SWAP10
00000402: MSTORE
00000403: DUP10
00000404: DUP10
00000405: ADD
00000406: SWAP8
00000407: SWAP1
00000408: SWAP8
00000409: MSTORE
0000040a: PUSH1 0x60
0000040c: DUP10
0000040d: ADD
0000040e: SWAP6
0000040f: SWAP1
00000410: SWAP6
00000411: MSTORE
00000412: PUSH1 0x80
00000414: DUP9
00000415: ADD
00000416: SWAP4
00000417: SWAP1
00000418: SWAP4
00000419: MSTORE
0000041a: PUSH1 0xa0
0000041c: DUP8
0000041d: ADD
0000041e: SWAP2
0000041f: SWAP1
00000420: SWAP2
00000421: MSTORE
00000422: PUSH1 0xc0
00000424: DUP7
00000425: ADD
00000426: MSTORE
00000427: PUSH1 0xe0
00000429: DUP6
0000042a: ADD
0000042b: MSTORE
0000042c: PUSH2 0x0100
0000042f: DUP5
00000430: ADD
00000431: MSTORE
00000432: PUSH1 0x01
00000434: PUSH1 0xa0
00000436: PUSH1 0x02
00000438: EXP
00000439: SUB
0000043a: AND
0000043b: PUSH2 0x0120
0000043e: DUP4
0000043f: ADD
00000440: MSTORE
00000441: MLOAD
00000442: SWAP1
00000443: DUP2
00000444: SWAP1
00000445: SUB
00000446: PUSH2 0x0140
00000449: ADD
0000044a: SWAP1
0000044b: RETURN
0000044c: JUMPDEST
0000044d: CALLVALUE
0000044e: DUP1
0000044f: ISZERO
00000450: PUSH2 0x0458
00000453: JUMPI
00000454: PUSH1 0x00
00000456: DUP1
00000457: REVERT
00000458: JUMPDEST
00000459: POP
0000045a: PUSH1 0x40
0000045c: DUP1
0000045d: MLOAD
0000045e: PUSH1 0x20
00000460: PUSH1 0x04
00000462: DUP1
00000463: CALLDATALOAD
00000464: DUP1
00000465: DUP3
00000466: ADD
00000467: CALLDATALOAD
00000468: DUP4
00000469: DUP2
0000046a: MUL
0000046b: DUP1
0000046c: DUP7
0000046d: ADD
0000046e: DUP6
0000046f: ADD
00000470: SWAP1
00000471: SWAP7
00000472: MSTORE
00000473: DUP1
00000474: DUP6
00000475: MSTORE
00000476: PUSH2 0x01e9
00000479: SWAP6
0000047a: CALLDATASIZE
0000047b: SWAP6
0000047c: SWAP4
0000047d: SWAP5
0000047e: PUSH1 0x24
00000480: SWAP5
00000481: SWAP4
00000482: DUP6
00000483: ADD
00000484: SWAP3
00000485: SWAP2
00000486: DUP3
00000487: SWAP2
00000488: DUP6
00000489: ADD
0000048a: SWAP1
0000048b: DUP5
0000048c: SWAP1
0000048d: DUP1
0000048e: DUP3
0000048f: DUP5
00000490: CALLDATACOPY
00000491: POP
00000492: SWAP5
00000493: SWAP8
00000494: POP
00000495: PUSH2 0x1287
00000498: SWAP7
00000499: POP
0000049a: POP
0000049b: POP
0000049c: POP
0000049d: POP
0000049e: POP
0000049f: POP
000004a0: JUMP
000004a1: JUMPDEST
000004a2: CALLVALUE
000004a3: DUP1
000004a4: ISZERO
000004a5: PUSH2 0x04ad
000004a8: JUMPI
000004a9: PUSH1 0x00
000004ab: DUP1
000004ac: REVERT
000004ad: JUMPDEST
000004ae: POP
000004af: PUSH2 0x023e
000004b2: PUSH1 0x01
000004b4: PUSH1 0xa0
000004b6: PUSH1 0x02
000004b8: EXP
000004b9: SUB
000004ba: PUSH1 0x04
000004bc: CALLDATALOAD
000004bd: AND
000004be: PUSH2 0x12da
000004c1: JUMP
000004c2: JUMPDEST
000004c3: CALLVALUE
000004c4: DUP1
000004c5: ISZERO
000004c6: PUSH2 0x04ce
000004c9: JUMPI
000004ca: PUSH1 0x00
000004cc: DUP1
000004cd: REVERT
000004ce: JUMPDEST
000004cf: POP
000004d0: PUSH1 0x40
000004d2: DUP1
000004d3: MLOAD
000004d4: PUSH1 0x20
000004d6: PUSH1 0x04
000004d8: PUSH1 0x24
000004da: DUP1
000004db: CALLDATALOAD
000004dc: DUP3
000004dd: DUP2
000004de: ADD
000004df: CALLDATALOAD
000004e0: PUSH1 0x1f
000004e2: DUP2
000004e3: ADD
000004e4: DUP6
000004e5: SWAP1
000004e6: DIV
000004e7: DUP6
000004e8: MUL
000004e9: DUP7
000004ea: ADD
000004eb: DUP6
000004ec: ADD
000004ed: SWAP1
000004ee: SWAP7
000004ef: MSTORE
000004f0: DUP6
000004f1: DUP6
000004f2: MSTORE
000004f3: PUSH2 0x01e9
000004f6: SWAP6
000004f7: DUP4
000004f8: CALLDATALOAD
000004f9: SWAP6
000004fa: CALLDATASIZE
000004fb: SWAP6
000004fc: PUSH1 0x44
000004fe: SWAP5
000004ff: SWAP2
00000500: SWAP4
00000501: SWAP1
00000502: SWAP2
00000503: ADD
00000504: SWAP2
00000505: SWAP1
00000506: DUP2
00000507: SWAP1
00000508: DUP5
00000509: ADD
0000050a: DUP4
0000050b: DUP3
0000050c: DUP1
0000050d: DUP3
0000050e: DUP5
0000050f: CALLDATACOPY
00000510: POP
00000511: SWAP5
00000512: SWAP8
00000513: POP
00000514: PUSH2 0x12f5
00000517: SWAP7
00000518: POP
00000519: POP
0000051a: POP
0000051b: POP
0000051c: POP
0000051d: POP
0000051e: POP
0000051f: JUMP
00000520: JUMPDEST
00000521: CALLVALUE
00000522: DUP1
00000523: ISZERO
00000524: PUSH2 0x052c
00000527: JUMPI
00000528: PUSH1 0x00
0000052a: DUP1
0000052b: REVERT
0000052c: JUMPDEST
0000052d: POP
0000052e: PUSH2 0x0128
00000531: PUSH2 0x1751
00000534: JUMP
00000535: JUMPDEST
00000536: CALLVALUE
00000537: DUP1
00000538: ISZERO
00000539: PUSH2 0x0541
0000053c: JUMPI
0000053d: PUSH1 0x00
0000053f: DUP1
00000540: REVERT
00000541: JUMPDEST
00000542: POP
00000543: PUSH2 0x020f
00000546: PUSH1 0x01
00000548: PUSH1 0xa0
0000054a: PUSH1 0x02
0000054c: EXP
0000054d: SUB
0000054e: PUSH1 0x04
00000550: CALLDATALOAD
00000551: AND
00000552: PUSH1 0x24
00000554: CALLDATALOAD
00000555: PUSH2 0x17b2
00000558: JUMP
00000559: JUMPDEST
0000055a: CALLVALUE
0000055b: DUP1
0000055c: ISZERO
0000055d: PUSH2 0x0565
00000560: JUMPI
00000561: PUSH1 0x00
00000563: DUP1
00000564: REVERT
00000565: JUMPDEST
00000566: POP
00000567: PUSH2 0x020f
0000056a: PUSH1 0x01
0000056c: PUSH1 0xa0
0000056e: PUSH1 0x02
00000570: EXP
00000571: SUB
00000572: PUSH1 0x04
00000574: CALLDATALOAD
00000575: AND
00000576: PUSH1 0x24
00000578: CALLDATALOAD
00000579: PUSH2 0x17fd
0000057c: JUMP
0000057d: JUMPDEST
0000057e: CALLVALUE
0000057f: DUP1
00000580: ISZERO
00000581: PUSH2 0x0589
00000584: JUMPI
00000585: PUSH1 0x00
00000587: DUP1
00000588: REVERT
00000589: JUMPDEST
0000058a: POP
0000058b: PUSH2 0x01e9
0000058e: PUSH2 0x181d
00000591: JUMP
00000592: JUMPDEST
00000593: CALLVALUE
00000594: DUP1
00000595: ISZERO
00000596: PUSH2 0x059e
00000599: JUMPI
0000059a: PUSH1 0x00
0000059c: DUP1
0000059d: REVERT
0000059e: JUMPDEST
0000059f: POP
000005a0: PUSH2 0x05a7
000005a3: PUSH2 0x1a58
000005a6: JUMP
000005a7: JUMPDEST
000005a8: PUSH1 0x40
000005aa: DUP1
000005ab: MLOAD
000005ac: SWAP10
000005ad: DUP11
000005ae: MSTORE
000005af: PUSH1 0x20
000005b1: DUP11
000005b2: ADD
000005b3: SWAP9
000005b4: SWAP1
000005b5: SWAP9
000005b6: MSTORE
000005b7: DUP9
000005b8: DUP9
000005b9: ADD
000005ba: SWAP7
000005bb: SWAP1
000005bc: SWAP7
000005bd: MSTORE
000005be: PUSH1 0x60
000005c0: DUP9
000005c1: ADD
000005c2: SWAP5
000005c3: SWAP1
000005c4: SWAP5
000005c5: MSTORE
000005c6: PUSH1 0x80
000005c8: DUP8
000005c9: ADD
000005ca: SWAP3
000005cb: SWAP1
000005cc: SWAP3
000005cd: MSTORE
000005ce: PUSH1 0xa0
000005d0: DUP7
000005d1: ADD
000005d2: MSTORE
000005d3: PUSH1 0xc0
000005d5: DUP6
000005d6: ADD
000005d7: MSTORE
000005d8: PUSH1 0xe0
000005da: DUP5
000005db: ADD
000005dc: MSTORE
000005dd: PUSH2 0x0100
000005e0: DUP4
000005e1: ADD
000005e2: MSTORE
000005e3: MLOAD
000005e4: SWAP1
000005e5: DUP2
000005e6: SWAP1
000005e7: SUB
000005e8: PUSH2 0x0120
000005eb: ADD
000005ec: SWAP1
000005ed: RETURN
000005ee: JUMPDEST
000005ef: CALLVALUE
000005f0: DUP1
000005f1: ISZERO
000005f2: PUSH2 0x05fa
000005f5: JUMPI
000005f6: PUSH1 0x00
000005f8: DUP1
000005f9: REVERT
000005fa: JUMPDEST
000005fb: POP
000005fc: PUSH2 0x023e
000005ff: PUSH1 0x01
00000601: PUSH1 0xa0
00000603: PUSH1 0x02
00000605: EXP
00000606: SUB
00000607: PUSH1 0x04
00000609: CALLDATALOAD
0000060a: DUP2
0000060b: AND
0000060c: SWAP1
0000060d: PUSH1 0x24
0000060f: CALLDATALOAD
00000610: AND
00000611: PUSH2 0x1c87
00000614: JUMP
00000615: JUMPDEST
00000616: PUSH1 0x03
00000618: DUP1
00000619: SLOAD
0000061a: PUSH1 0x40
0000061c: DUP1
0000061d: MLOAD
0000061e: PUSH1 0x20
00000620: PUSH1 0x1f
00000622: PUSH1 0x02
00000624: PUSH1 0x00
00000626: NOT
00000627: PUSH2 0x0100
0000062a: PUSH1 0x01
0000062c: DUP9
0000062d: AND
0000062e: ISZERO
0000062f: MUL
00000630: ADD
00000631: SWAP1
00000632: SWAP6
00000633: AND
00000634: SWAP5
00000635: SWAP1
00000636: SWAP5
00000637: DIV
00000638: SWAP4
00000639: DUP5
0000063a: ADD
0000063b: DUP2
0000063c: SWAP1
0000063d: DIV
0000063e: DUP2
0000063f: MUL
00000640: DUP3
00000641: ADD
00000642: DUP2
00000643: ADD
00000644: SWAP1
00000645: SWAP3
00000646: MSTORE
00000647: DUP3
00000648: DUP2
00000649: MSTORE
0000064a: PUSH1 0x60
0000064c: SWAP4
0000064d: SWAP1
0000064e: SWAP3
0000064f: SWAP1
00000650: SWAP2
00000651: DUP4
00000652: ADD
00000653: DUP3
00000654: DUP3
00000655: DUP1
00000656: ISZERO
00000657: PUSH2 0x06a1
0000065a: JUMPI
0000065b: DUP1
0000065c: PUSH1 0x1f
0000065e: LT
0000065f: PUSH2 0x0676
00000662: JUMPI
00000663: PUSH2 0x0100
00000666: DUP1
00000667: DUP4
00000668: SLOAD
00000669: DIV
0000066a: MUL
0000066b: DUP4
0000066c: MSTORE
0000066d: SWAP2
0000066e: PUSH1 0x20
00000670: ADD
00000671: SWAP2
00000672: PUSH2 0x06a1
00000675: JUMP
00000676: JUMPDEST
00000677: DUP3
00000678: ADD
00000679: SWAP2
0000067a: SWAP1
0000067b: PUSH1 0x00
0000067d: MSTORE
0000067e: PUSH1 0x20
00000680: PUSH1 0x00
00000682: KECCAK256
00000683: SWAP1
00000684: JUMPDEST
00000685: DUP2
00000686: SLOAD
00000687: DUP2
00000688: MSTORE
00000689: SWAP1
0000068a: PUSH1 0x01
0000068c: ADD
0000068d: SWAP1
0000068e: PUSH1 0x20
00000690: ADD
00000691: DUP1
00000692: DUP4
00000693: GT
00000694: PUSH2 0x0684
00000697: JUMPI
00000698: DUP3
00000699: SWAP1
0000069a: SUB
0000069b: PUSH1 0x1f
0000069d: AND
0000069e: DUP3
0000069f: ADD
000006a0: SWAP2
000006a1: JUMPDEST
000006a2: POP
000006a3: POP
000006a4: POP
000006a5: POP
000006a6: POP
000006a7: SWAP1
000006a8: POP
000006a9: SWAP1
000006aa: JUMP
000006ab: JUMPDEST
000006ac: PUSH7 0x470de4df820000
000006b4: CALLVALUE
000006b5: LT
000006b6: ISZERO
000006b7: PUSH2 0x070a
000006ba: JUMPI
000006bb: PUSH1 0x40
000006bd: DUP1
000006be: MLOAD
000006bf: PUSH1 0xe5
000006c1: PUSH1 0x02
000006c3: EXP
000006c4: PUSH3 0x461bcd
000006c8: MUL
000006c9: DUP2
000006ca: MSTORE
000006cb: PUSH1 0x20
000006cd: PUSH1 0x04
000006cf: DUP3
000006d0: ADD
000006d1: MSTORE
000006d2: PUSH1 0x0e
000006d4: PUSH1 0x24
000006d6: DUP3
000006d7: ADD
000006d8: MSTORE
000006d9: PUSH32 0x666565206e6f7420656e6f756768000000000000000000000000000000000000
000006fa: PUSH1 0x44
000006fc: DUP3
000006fd: ADD
000006fe: MSTORE
000006ff: SWAP1
00000700: MLOAD
00000701: SWAP1
00000702: DUP2
00000703: SWAP1
00000704: SUB
00000705: PUSH1 0x64
00000707: ADD
00000708: SWAP1
00000709: REVERT
0000070a: JUMPDEST
0000070b: PUSH2 0x0724
0000070e: PUSH2 0x0716
00000711: DUP3
00000712: PUSH2 0x1cb2
00000715: JUMP
00000716: JUMPDEST
00000717: PUSH1 0x08
00000719: SWAP1
0000071a: PUSH4 0xffffffff
0000071f: PUSH2 0x24c5
00000722: AND
00000723: JUMP
00000724: JUMPDEST
00000725: POP
00000726: JUMP
00000727: JUMPDEST
00000728: PUSH1 0x00
0000072a: PUSH1 0x01
0000072c: PUSH1 0xa0
0000072e: PUSH1 0x02
00000730: EXP
00000731: SUB
00000732: DUP4
00000733: AND
00000734: ISZERO
00000735: ISZERO
00000736: PUSH2 0x073e
00000739: JUMPI
0000073a: PUSH1 0x00
0000073c: DUP1
0000073d: REVERT
0000073e: JUMPDEST
0000073f: CALLER
00000740: PUSH1 0x00
00000742: DUP2
00000743: DUP2
00000744: MSTORE
00000745: PUSH1 0x01
00000747: PUSH1 0x20
00000749: SWAP1
0000074a: DUP2
0000074b: MSTORE
0000074c: PUSH1 0x40
0000074e: DUP1
0000074f: DUP4
00000750: KECCAK256
00000751: PUSH1 0x01
00000753: PUSH1 0xa0
00000755: PUSH1 0x02
00000757: EXP
00000758: SUB
00000759: DUP9
0000075a: AND
0000075b: DUP1
0000075c: DUP6
0000075d: MSTORE
0000075e: SWAP1
0000075f: DUP4
00000760: MSTORE
00000761: SWAP3
00000762: DUP2
00000763: SWAP1
00000764: KECCAK256
00000765: DUP7
00000766: SWAP1
00000767: SSTORE
00000768: DUP1
00000769: MLOAD
0000076a: DUP7
0000076b: DUP2
0000076c: MSTORE
0000076d: SWAP1
0000076e: MLOAD
0000076f: SWAP3
00000770: SWAP4
00000771: SWAP3
00000772: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000793: SWAP3
00000794: SWAP2
00000795: DUP2
00000796: SWAP1
00000797: SUB
00000798: SWAP1
00000799: SWAP2
0000079a: ADD
0000079b: SWAP1
0000079c: LOG3
0000079d: POP
0000079e: PUSH1 0x01
000007a0: JUMPDEST
000007a1: SWAP3
000007a2: SWAP2
000007a3: POP
000007a4: POP
000007a5: JUMP
000007a6: JUMPDEST
000007a7: PUSH1 0x00
000007a9: DUP1
000007aa: DUP1
000007ab: DUP5
000007ac: DUP5
000007ad: GT
000007ae: PUSH2 0x0801
000007b1: JUMPI
000007b2: PUSH1 0x40
000007b4: DUP1
000007b5: MLOAD
000007b6: PUSH1 0xe5
000007b8: PUSH1 0x02
000007ba: EXP
000007bb: PUSH3 0x461bcd
000007bf: MUL
000007c0: DUP2
000007c1: MSTORE
000007c2: PUSH1 0x20
000007c4: PUSH1 0x04
000007c6: DUP3
000007c7: ADD
000007c8: MSTORE
000007c9: PUSH1 0x10
000007cb: PUSH1 0x24
000007cd: DUP3
000007ce: ADD
000007cf: MSTORE
000007d0: PUSH32 0x6d75737420656e64203e20737461727400000000000000000000000000000000
000007f1: PUSH1 0x44
000007f3: DUP3
000007f4: ADD
000007f5: MSTORE
000007f6: SWAP1
000007f7: MLOAD
000007f8: SWAP1
000007f9: DUP2
000007fa: SWAP1
000007fb: SUB
000007fc: PUSH1 0x64
000007fe: ADD
000007ff: SWAP1
00000800: REVERT
00000801: JUMPDEST
00000802: PUSH1 0x40
00000804: DUP1
00000805: MLOAD
00000806: DUP1
00000807: DUP3
00000808: ADD
00000809: SWAP1
0000080a: SWAP2
0000080b: MSTORE
0000080c: PUSH1 0x0e
0000080e: SLOAD
0000080f: DUP2
00000810: MSTORE
00000811: PUSH1 0x0f
00000813: SLOAD
00000814: PUSH1 0x20
00000816: DUP3
00000817: ADD
00000818: MSTORE
00000819: PUSH2 0x082c
0000081c: SWAP1
0000081d: DUP6
0000081e: PUSH1 0x09
00000820: PUSH1 0x02
00000822: PUSH4 0xffffffff
00000827: PUSH2 0x252c
0000082a: AND
0000082b: JUMP
0000082c: JUMPDEST
0000082d: PUSH1 0x40
0000082f: DUP1
00000830: MLOAD
00000831: DUP1
00000832: DUP3
00000833: ADD
00000834: SWAP1
00000835: SWAP2
00000836: MSTORE
00000837: PUSH1 0x0e
00000839: SLOAD
0000083a: DUP2
0000083b: MSTORE
0000083c: PUSH1 0x0f
0000083e: SLOAD
0000083f: PUSH1 0x20
00000841: DUP3
00000842: ADD
00000843: MSTORE
00000844: SWAP1
00000845: SWAP3
00000846: POP
00000847: PUSH2 0x085a
0000084a: SWAP1
0000084b: DUP7
0000084c: PUSH1 0x09
0000084e: PUSH1 0x02
00000850: PUSH4 0xffffffff
00000855: PUSH2 0x252c
00000858: AND
00000859: JUMP
0000085a: JUMPDEST
0000085b: SWAP1
0000085c: POP
0000085d: DUP1
0000085e: DUP3
0000085f: GT
00000860: PUSH2 0x08b3
00000863: JUMPI
00000864: PUSH1 0x40
00000866: DUP1
00000867: MLOAD
00000868: PUSH1 0xe5
0000086a: PUSH1 0x02
0000086c: EXP
0000086d: PUSH3 0x461bcd
00000871: MUL
00000872: DUP2
00000873: MSTORE
00000874: PUSH1 0x20
00000876: PUSH1 0x04
00000878: DUP3
00000879: ADD
0000087a: MSTORE
0000087b: PUSH1 0x1c
0000087d: PUSH1 0x24
0000087f: DUP3
00000880: ADD
00000881: MSTORE
00000882: PUSH32 0x6974607320656e64492020496e74656772616c203e2073746172744900000000
000008a3: PUSH1 0x44
000008a5: DUP3
000008a6: ADD
000008a7: MSTORE
000008a8: SWAP1
000008a9: MLOAD
000008aa: SWAP1
000008ab: DUP2
000008ac: SWAP1
000008ad: SUB
000008ae: PUSH1 0x64
000008b0: ADD
000008b1: SWAP1
000008b2: REVERT
000008b3: JUMPDEST
000008b4: DUP1
000008b5: DUP3
000008b6: SUB
000008b7: SWAP3
000008b8: POP
000008b9: JUMPDEST
000008ba: POP
000008bb: POP
000008bc: SWAP3
000008bd: SWAP2
000008be: POP
000008bf: POP
000008c0: JUMP
000008c1: JUMPDEST
000008c2: PUSH1 0x02
000008c4: SLOAD
000008c5: SWAP1
000008c6: JUMP
000008c7: JUMPDEST
000008c8: PUSH1 0x00
000008ca: PUSH20 0xef99396e68fdf7f45040a64f9f2915565c8356df
000008df: PUSH4 0x630640d2
000008e4: PUSH1 0x08
000008e6: PUSH2 0x08ee
000008e9: DUP6
000008ea: PUSH2 0x1cb2
000008ed: JUMP
000008ee: JUMPDEST
000008ef: PUSH1 0x40
000008f1: MLOAD
000008f2: DUP4
000008f3: PUSH4 0xffffffff
000008f8: AND
000008f9: PUSH1 0xe0
000008fb: PUSH1 0x02
000008fd: EXP
000008fe: MUL
000008ff: DUP2
00000900: MSTORE
00000901: PUSH1 0x04
00000903: ADD
00000904: DUP1
00000905: DUP4
00000906: DUP2
00000907: MSTORE
00000908: PUSH1 0x20
0000090a: ADD
0000090b: DUP3
0000090c: PUSH1 0x00
0000090e: NOT
0000090f: AND
00000910: PUSH1 0x00
00000912: NOT
00000913: AND
00000914: DUP2
00000915: MSTORE
00000916: PUSH1 0x20
00000918: ADD
00000919: SWAP3
0000091a: POP
0000091b: POP
0000091c: POP
0000091d: PUSH1 0x20
0000091f: PUSH1 0x40
00000921: MLOAD
00000922: DUP1
00000923: DUP4
00000924: SUB
00000925: DUP2
00000926: DUP7
00000927: DUP1
00000928: EXTCODESIZE
00000929: ISZERO
0000092a: DUP1
0000092b: ISZERO
0000092c: PUSH2 0x0934
0000092f: JUMPI
00000930: PUSH1 0x00
00000932: DUP1
00000933: REVERT
00000934: JUMPDEST
00000935: POP
00000936: GAS
00000937: DELEGATECALL
00000938: ISZERO
00000939: DUP1
0000093a: ISZERO
0000093b: PUSH2 0x0948
0000093e: JUMPI
0000093f: RETURNDATASIZE
00000940: PUSH1 0x00
00000942: DUP1
00000943: RETURNDATACOPY
00000944: RETURNDATASIZE
00000945: PUSH1 0x00
00000947: REVERT
00000948: JUMPDEST
00000949: POP
0000094a: POP
0000094b: POP
0000094c: POP
0000094d: PUSH1 0x40
0000094f: MLOAD
00000950: RETURNDATASIZE
00000951: PUSH1 0x20
00000953: DUP2
00000954: LT
00000955: ISZERO
00000956: PUSH2 0x095e
00000959: JUMPI
0000095a: PUSH1 0x00
0000095c: DUP1
0000095d: REVERT
0000095e: JUMPDEST
0000095f: POP
00000960: MLOAD
00000961: SWAP3
00000962: SWAP2
00000963: POP
00000964: POP
00000965: JUMP
00000966: JUMPDEST
00000967: PUSH1 0x00
00000969: DUP1
0000096a: PUSH1 0x00
0000096c: DUP1
0000096d: PUSH2 0x0974
00000970: PUSH2 0x3509
00000973: JUMP
00000974: JUMPDEST
00000975: PUSH2 0x097c
00000978: PUSH2 0x3509
0000097b: JUMP
0000097c: JUMPDEST
0000097d: PUSH2 0x0984
00000980: PUSH2 0x3509
00000983: JUMP
00000984: JUMPDEST
00000985: PUSH2 0x098c
00000988: PUSH2 0x3509
0000098b: JUMP
0000098c: JUMPDEST
0000098d: PUSH1 0x00
0000098f: PUSH2 0x0996
00000992: PUSH2 0x3509
00000995: JUMP
00000996: JUMPDEST
00000997: PUSH2 0x099e
0000099a: PUSH2 0x3509
0000099d: JUMP
0000099e: JUMPDEST
0000099f: PUSH1 0x06
000009a1: SLOAD
000009a2: PUSH1 0x40
000009a4: DUP1
000009a5: MLOAD
000009a6: DUP1
000009a7: DUP3
000009a8: ADD
000009a9: SWAP1
000009aa: SWAP2
000009ab: MSTORE
000009ac: DUP2
000009ad: DUP2
000009ae: MSTORE
000009af: PUSH1 0x09
000009b1: PUSH1 0x20
000009b3: DUP3
000009b4: ADD
000009b5: MSTORE
000009b6: PUSH1 0x03
000009b8: SWAP13
000009b9: POP
000009ba: SWAP1
000009bb: SWAP11
000009bc: POP
000009bd: PUSH2 0x09cc
000009c0: SWAP1
000009c1: DUP13
000009c2: PUSH4 0xffffffff
000009c7: PUSH2 0x25b0
000009ca: AND
000009cb: JUMP
000009cc: JUMPDEST
000009cd: PUSH1 0x40
000009cf: DUP1
000009d0: MLOAD
000009d1: DUP1
000009d2: DUP3
000009d3: ADD
000009d4: SWAP1
000009d5: SWAP2
000009d6: MSTORE
000009d7: PUSH1 0x0e
000009d9: SLOAD
000009da: DUP2
000009db: MSTORE
000009dc: PUSH1 0x0f
000009de: SLOAD
000009df: PUSH1 0x20
000009e1: DUP3
000009e2: ADD
000009e3: MSTORE
000009e4: SWAP1
000009e5: SWAP8
000009e6: POP
000009e7: PUSH2 0x09f7
000009ea: SWAP1
000009eb: PUSH1 0x02
000009ed: PUSH4 0xffffffff
000009f2: PUSH2 0x25b0
000009f5: AND
000009f6: JUMP
000009f7: JUMPDEST
000009f8: PUSH1 0x40
000009fa: DUP1
000009fb: MLOAD
000009fc: DUP1
000009fd: DUP3
000009fe: ADD
000009ff: SWAP1
00000a00: SWAP2
00000a01: MSTORE
00000a02: PUSH1 0x03
00000a04: DUP15
00000a05: MUL
00000a06: DUP2
00000a07: MSTORE
00000a08: PUSH1 0x00
00000a0a: PUSH1 0x20
00000a0c: DUP3
00000a0d: ADD
00000a0e: MSTORE
00000a0f: SWAP1
00000a10: SWAP7
00000a11: POP
00000a12: SWAP5
00000a13: POP
00000a14: PUSH2 0x0a23
00000a17: DUP6
00000a18: DUP8
00000a19: PUSH4 0xffffffff
00000a1e: PUSH2 0x2612
00000a21: AND
00000a22: JUMP
00000a23: JUMPDEST
00000a24: SWAP4
00000a25: POP
00000a26: PUSH2 0x0a35
00000a29: DUP8
00000a2a: DUP6
00000a2b: PUSH4 0xffffffff
00000a30: PUSH2 0x268b
00000a33: AND
00000a34: JUMP
00000a35: JUMPDEST
00000a36: SWAP3
00000a37: POP
00000a38: SWAP3
00000a39: POP
00000a3a: DUP3
00000a3b: PUSH2 0x0a67
00000a3e: JUMPI
00000a3f: PUSH1 0x40
00000a41: DUP1
00000a42: MLOAD
00000a43: DUP1
00000a44: DUP3
00000a45: ADD
00000a46: SWAP1
00000a47: SWAP2
00000a48: MSTORE
00000a49: DUP11
00000a4a: DUP2
00000a4b: MSTORE
00000a4c: PUSH1 0x09
00000a4e: PUSH1 0x20
00000a50: DUP3
00000a51: ADD
00000a52: MSTORE
00000a53: PUSH2 0x0a62
00000a56: SWAP1
00000a57: DUP13
00000a58: PUSH4 0xffffffff
00000a5d: PUSH2 0x25b0
00000a60: AND
00000a61: JUMP
00000a62: JUMPDEST
00000a63: PUSH2 0x0a69
00000a66: JUMP
00000a67: JUMPDEST
00000a68: DUP2
00000a69: JUMPDEST
00000a6a: DUP1
00000a6b: MLOAD
00000a6c: PUSH1 0x20
00000a6e: SWAP1
00000a6f: SWAP2
00000a70: ADD
00000a71: MLOAD
00000a72: SWAP12
00000a73: SWAP14
00000a74: SWAP11
00000a75: SWAP13
00000a76: POP
00000a77: SWAP11
00000a78: SWAP10
00000a79: SWAP9
00000a7a: POP
00000a7b: POP
00000a7c: POP
00000a7d: POP
00000a7e: POP
00000a7f: POP
00000a80: POP
00000a81: POP
00000a82: POP
00000a83: JUMP
00000a84: JUMPDEST
00000a85: PUSH1 0x00
00000a87: PUSH2 0x0aa3
00000a8a: DUP4
00000a8b: PUSH2 0x0a93
00000a8e: DUP6
00000a8f: PUSH2 0x12da
00000a92: JUMP
00000a93: JUMPDEST
00000a94: PUSH1 0x08
00000a96: SWAP2
00000a97: SWAP1
00000a98: DUP6
00000a99: PUSH4 0xffffffff
00000a9e: PUSH2 0x2724
00000aa1: AND
00000aa2: JUMP
00000aa3: JUMPDEST
00000aa4: PUSH2 0x0aae
00000aa7: DUP5
00000aa8: DUP5
00000aa9: DUP5
00000aaa: PUSH2 0x27e2
00000aad: JUMP
00000aae: JUMPDEST
00000aaf: SWAP5
00000ab0: SWAP4
00000ab1: POP
00000ab2: POP
00000ab3: POP
00000ab4: POP
00000ab5: JUMP
00000ab6: JUMPDEST
00000ab7: PUSH1 0x05
00000ab9: SLOAD
00000aba: PUSH1 0xff
00000abc: AND
00000abd: SWAP1
00000abe: JUMP
00000abf: JUMPDEST
00000ac0: PUSH1 0x00
00000ac2: PUSH1 0x01
00000ac4: PUSH1 0xa0
00000ac6: PUSH1 0x02
00000ac8: EXP
00000ac9: SUB
00000aca: DUP4
00000acb: AND
00000acc: ISZERO
00000acd: ISZERO
00000ace: PUSH2 0x0ad6
00000ad1: JUMPI
00000ad2: PUSH1 0x00
00000ad4: DUP1
00000ad5: REVERT
00000ad6: JUMPDEST
00000ad7: CALLER
00000ad8: PUSH1 0x00
00000ada: SWAP1
00000adb: DUP2
00000adc: MSTORE
00000add: PUSH1 0x01
00000adf: PUSH1 0x20
00000ae1: SWAP1
00000ae2: DUP2
00000ae3: MSTORE
00000ae4: PUSH1 0x40
00000ae6: DUP1
00000ae7: DUP4
00000ae8: KECCAK256
00000ae9: PUSH1 0x01
00000aeb: PUSH1 0xa0
00000aed: PUSH1 0x02
00000aef: EXP
00000af0: SUB
00000af1: DUP8
00000af2: AND
00000af3: DUP5
00000af4: MSTORE
00000af5: SWAP1
00000af6: SWAP2
00000af7: MSTORE
00000af8: SWAP1
00000af9: KECCAK256
00000afa: SLOAD
00000afb: PUSH2 0x0b0a
00000afe: SWAP1
00000aff: DUP4
00000b00: PUSH4 0xffffffff
00000b05: PUSH2 0x287f
00000b08: AND
00000b09: JUMP
00000b0a: JUMPDEST
00000b0b: CALLER
00000b0c: PUSH1 0x00
00000b0e: DUP2
00000b0f: DUP2
00000b10: MSTORE
00000b11: PUSH1 0x01
00000b13: PUSH1 0x20
00000b15: SWAP1
00000b16: DUP2
00000b17: MSTORE
00000b18: PUSH1 0x40
00000b1a: DUP1
00000b1b: DUP4
00000b1c: KECCAK256
00000b1d: PUSH1 0x01
00000b1f: PUSH1 0xa0
00000b21: PUSH1 0x02
00000b23: EXP
00000b24: SUB
00000b25: DUP10
00000b26: AND
00000b27: DUP1
00000b28: DUP6
00000b29: MSTORE
00000b2a: SWAP1
00000b2b: DUP4
00000b2c: MSTORE
00000b2d: SWAP3
00000b2e: DUP2
00000b2f: SWAP1
00000b30: KECCAK256
00000b31: DUP6
00000b32: SWAP1
00000b33: SSTORE
00000b34: DUP1
00000b35: MLOAD
00000b36: SWAP5
00000b37: DUP6
00000b38: MSTORE
00000b39: MLOAD
00000b3a: SWAP2
00000b3b: SWAP4
00000b3c: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000b5d: SWAP3
00000b5e: SWAP1
00000b5f: DUP2
00000b60: SWAP1
00000b61: SUB
00000b62: SWAP1
00000b63: SWAP2
00000b64: ADD
00000b65: SWAP1
00000b66: LOG3
00000b67: POP
00000b68: PUSH1 0x01
00000b6a: SWAP3
00000b6b: SWAP2
00000b6c: POP
00000b6d: POP
00000b6e: JUMP
00000b6f: JUMPDEST
00000b70: PUSH1 0x00
00000b72: DUP1
00000b73: PUSH1 0x00
00000b75: DUP1
00000b76: PUSH2 0x0c66
00000b79: DUP7
00000b7a: PUSH20 0xf0139fac9684ad7372c190a4defcac2b488a79d3
00000b8f: PUSH4 0xee7fc5a3
00000b94: PUSH1 0x06
00000b96: SLOAD
00000b97: PUSH4 0x3b9aca00
00000b9c: PUSH4 0x05f5e100
00000ba1: MUL
00000ba2: SUB
00000ba3: PUSH1 0x03
00000ba5: PUSH1 0x40
00000ba7: MLOAD
00000ba8: DUP4
00000ba9: PUSH4 0xffffffff
00000bae: AND
00000baf: PUSH1 0xe0
00000bb1: PUSH1 0x02
00000bb3: EXP
00000bb4: MUL
00000bb5: DUP2
00000bb6: MSTORE
00000bb7: PUSH1 0x04
00000bb9: ADD
00000bba: DUP1
00000bbb: DUP4
00000bbc: DUP2
00000bbd: MSTORE
00000bbe: PUSH1 0x20
00000bc0: ADD
00000bc1: DUP3
00000bc2: DUP2
00000bc3: MSTORE
00000bc4: PUSH1 0x20
00000bc6: ADD
00000bc7: SWAP3
00000bc8: POP
00000bc9: POP
00000bca: POP
00000bcb: PUSH1 0x20
00000bcd: PUSH1 0x40
00000bcf: MLOAD
00000bd0: DUP1
00000bd1: DUP4
00000bd2: SUB
00000bd3: DUP2
00000bd4: DUP7
00000bd5: DUP1
00000bd6: EXTCODESIZE
00000bd7: ISZERO
00000bd8: DUP1
00000bd9: ISZERO
00000bda: PUSH2 0x0be2
00000bdd: JUMPI
00000bde: PUSH1 0x00
00000be0: DUP1
00000be1: REVERT
00000be2: JUMPDEST
00000be3: POP
00000be4: GAS
00000be5: DELEGATECALL
00000be6: ISZERO
00000be7: DUP1
00000be8: ISZERO
00000be9: PUSH2 0x0bf6
00000bec: JUMPI
00000bed: RETURNDATASIZE
00000bee: PUSH1 0x00
00000bf0: DUP1
00000bf1: RETURNDATACOPY
00000bf2: RETURNDATASIZE
00000bf3: PUSH1 0x00
00000bf5: REVERT
00000bf6: JUMPDEST
00000bf7: POP
00000bf8: POP
00000bf9: POP
00000bfa: POP
00000bfb: PUSH1 0x40
00000bfd: MLOAD
00000bfe: RETURNDATASIZE
00000bff: PUSH1 0x20
00000c01: DUP2
00000c02: LT
00000c03: ISZERO
00000c04: PUSH2 0x0c0c
00000c07: JUMPI
00000c08: PUSH1 0x00
00000c0a: DUP1
00000c0b: REVERT
00000c0c: JUMPDEST
00000c0d: POP
00000c0e: MLOAD
00000c0f: PUSH1 0x40
00000c11: DUP1
00000c12: MLOAD
00000c13: PUSH1 0xa0
00000c15: DUP2
00000c16: ADD
00000c17: DUP3
00000c18: MSTORE
00000c19: PUSH1 0x10
00000c1b: SLOAD
00000c1c: PUSH1 0x01
00000c1e: PUSH1 0x80
00000c20: PUSH1 0x02
00000c22: EXP
00000c23: SUB
00000c24: DUP1
00000c25: DUP3
00000c26: AND
00000c27: DUP4
00000c28: MSTORE
00000c29: PUSH1 0x80
00000c2b: PUSH1 0x02
00000c2d: EXP
00000c2e: SWAP1
00000c2f: SWAP2
00000c30: DIV
00000c31: AND
00000c32: PUSH1 0x20
00000c34: DUP3
00000c35: ADD
00000c36: MSTORE
00000c37: PUSH1 0x11
00000c39: SLOAD
00000c3a: SWAP2
00000c3b: DUP2
00000c3c: ADD
00000c3d: SWAP2
00000c3e: SWAP1
00000c3f: SWAP2
00000c40: MSTORE
00000c41: PUSH1 0x12
00000c43: SLOAD
00000c44: PUSH1 0x60
00000c46: DUP3
00000c47: ADD
00000c48: MSTORE
00000c49: PUSH1 0x13
00000c4b: SLOAD
00000c4c: PUSH1 0xff
00000c4e: AND
00000c4f: ISZERO
00000c50: ISZERO
00000c51: PUSH1 0x80
00000c53: DUP3
00000c54: ADD
00000c55: MSTORE
00000c56: SWAP2
00000c57: SWAP1
00000c58: PUSH3 0x015180
00000c5c: PUSH4 0xffffffff
00000c61: PUSH2 0x2891
00000c64: AND
00000c65: JUMP
00000c66: JUMPDEST
00000c67: DUP1
00000c68: MLOAD
00000c69: PUSH1 0x10
00000c6b: DUP1
00000c6c: SLOAD
00000c6d: PUSH1 0x20
00000c6f: DUP5
00000c70: ADD
00000c71: MLOAD
00000c72: PUSH1 0x01
00000c74: PUSH1 0x80
00000c76: PUSH1 0x02
00000c78: EXP
00000c79: SUB
00000c7a: SWAP1
00000c7b: DUP2
00000c7c: AND
00000c7d: PUSH1 0x80
00000c7f: PUSH1 0x02
00000c81: EXP
00000c82: MUL
00000c83: SWAP4
00000c84: DUP2
00000c85: AND
00000c86: PUSH16 0xffffffffffffffffffffffffffffffff
00000c97: NOT
00000c98: SWAP1
00000c99: SWAP3
00000c9a: AND
00000c9b: SWAP2
00000c9c: SWAP1
00000c9d: SWAP2
00000c9e: OR
00000c9f: AND
00000ca0: SWAP2
00000ca1: SWAP1
00000ca2: SWAP2
00000ca3: OR
00000ca4: SWAP1
00000ca5: SSTORE
00000ca6: PUSH1 0x40
00000ca8: DUP2
00000ca9: ADD
00000caa: MLOAD
00000cab: PUSH1 0x11
00000cad: SSTORE
00000cae: PUSH1 0x60
00000cb0: DUP2
00000cb1: ADD
00000cb2: MLOAD
00000cb3: PUSH1 0x12
00000cb5: SSTORE
00000cb6: PUSH1 0x80
00000cb8: ADD
00000cb9: MLOAD
00000cba: PUSH1 0x13
00000cbc: DUP1
00000cbd: SLOAD
00000cbe: SWAP2
00000cbf: ISZERO
00000cc0: ISZERO
00000cc1: PUSH1 0xff
00000cc3: NOT
00000cc4: SWAP1
00000cc5: SWAP3
00000cc6: AND
00000cc7: SWAP2
00000cc8: SWAP1
00000cc9: SWAP2
00000cca: OR
00000ccb: SWAP1
00000ccc: DUP2
00000ccd: SWAP1
00000cce: SSTORE
00000ccf: PUSH1 0xff
00000cd1: AND
00000cd2: ISZERO
00000cd3: ISZERO
00000cd4: PUSH2 0x0d27
00000cd7: JUMPI
00000cd8: PUSH1 0x40
00000cda: DUP1
00000cdb: MLOAD
00000cdc: PUSH1 0xe5
00000cde: PUSH1 0x02
00000ce0: EXP
00000ce1: PUSH3 0x461bcd
00000ce5: MUL
00000ce6: DUP2
00000ce7: MSTORE
00000ce8: PUSH1 0x20
00000cea: PUSH1 0x04
00000cec: DUP3
00000ced: ADD
00000cee: MSTORE
00000cef: PUSH1 0x17
00000cf1: PUSH1 0x24
00000cf3: DUP3
00000cf4: ADD
00000cf5: MSTORE
00000cf6: PUSH32 0x69746073206f76657220627579206d617820636f756e74000000000000000000
00000d17: PUSH1 0x44
00000d19: DUP3
00000d1a: ADD
00000d1b: MSTORE
00000d1c: SWAP1
00000d1d: MLOAD
00000d1e: SWAP1
00000d1f: DUP2
00000d20: SWAP1
00000d21: SUB
00000d22: PUSH1 0x64
00000d24: ADD
00000d25: SWAP1
00000d26: REVERT
00000d27: JUMPDEST
00000d28: PUSH2 0x0d30
00000d2b: DUP6
00000d2c: PUSH2 0x2946
00000d2f: JUMP
00000d30: JUMPDEST
00000d31: PUSH1 0x06
00000d33: SLOAD
00000d34: DUP7
00000d35: ADD
00000d36: SWAP4
00000d37: POP
00000d38: PUSH8 0x016345785d8a0000
00000d41: DUP5
00000d42: GT
00000d43: ISZERO
00000d44: PUSH2 0x0d97
00000d47: JUMPI
00000d48: PUSH1 0x40
00000d4a: DUP1
00000d4b: MLOAD
00000d4c: PUSH1 0xe5
00000d4e: PUSH1 0x02
00000d50: EXP
00000d51: PUSH3 0x461bcd
00000d55: MUL
00000d56: DUP2
00000d57: MSTORE
00000d58: PUSH1 0x20
00000d5a: PUSH1 0x04
00000d5c: DUP3
00000d5d: ADD
00000d5e: MSTORE
00000d5f: PUSH1 0x19
00000d61: PUSH1 0x24
00000d63: DUP3
00000d64: ADD
00000d65: MSTORE
00000d66: PUSH32 0x636f756e74206f76657220494e495449414c5f535550504c5900000000000000
00000d87: PUSH1 0x44
00000d89: DUP3
00000d8a: ADD
00000d8b: MSTORE
00000d8c: SWAP1
00000d8d: MLOAD
00000d8e: SWAP1
00000d8f: DUP2
00000d90: SWAP1
00000d91: SUB
00000d92: PUSH1 0x64
00000d94: ADD
00000d95: SWAP1
00000d96: REVERT
00000d97: JUMPDEST
00000d98: PUSH2 0x0da7
00000d9b: PUSH1 0x06
00000d9d: SLOAD
00000d9e: DUP8
00000d9f: PUSH1 0x06
00000da1: SLOAD
00000da2: ADD
00000da3: PUSH2 0x07a6
00000da6: JUMP
00000da7: JUMPDEST
00000da8: SWAP3
00000da9: POP
00000daa: PUSH2 0x03e8
00000dad: PUSH2 0x0438
00000db0: DUP5
00000db1: MUL
00000db2: DIV
00000db3: SWAP2
00000db4: POP
00000db5: CALLVALUE
00000db6: DUP3
00000db7: GT
00000db8: ISZERO
00000db9: PUSH2 0x0e0c
00000dbc: JUMPI
00000dbd: PUSH1 0x40
00000dbf: DUP1
00000dc0: MLOAD
00000dc1: PUSH1 0xe5
00000dc3: PUSH1 0x02
00000dc5: EXP
00000dc6: PUSH3 0x461bcd
00000dca: MUL
00000dcb: DUP2
00000dcc: MSTORE
00000dcd: PUSH1 0x20
00000dcf: PUSH1 0x04
00000dd1: DUP3
00000dd2: ADD
00000dd3: MSTORE
00000dd4: PUSH1 0x0e
00000dd6: PUSH1 0x24
00000dd8: DUP3
00000dd9: ADD
00000dda: MSTORE
00000ddb: PUSH32 0x6e6f7420656e6f75676820657468000000000000000000000000000000000000
00000dfc: PUSH1 0x44
00000dfe: DUP3
00000dff: ADD
00000e00: MSTORE
00000e01: SWAP1
00000e02: MLOAD
00000e03: SWAP1
00000e04: DUP2
00000e05: SWAP1
00000e06: SUB
00000e07: PUSH1 0x64
00000e09: ADD
00000e0a: SWAP1
00000e0b: REVERT
00000e0c: JUMPDEST
00000e0d: PUSH2 0x0e16
00000e10: DUP4
00000e11: DUP4
00000e12: PUSH2 0x296a
00000e15: JUMP
00000e16: JUMPDEST
00000e17: PUSH1 0x06
00000e19: DUP5
00000e1a: SWAP1
00000e1b: SSTORE
00000e1c: PUSH1 0x40
00000e1e: DUP1
00000e1f: MLOAD
00000e20: PUSH32 0x3a4b53fe00000000000000000000000000000000000000000000000000000000
00000e41: DUP2
00000e42: MSTORE
00000e43: PUSH1 0x04
00000e45: DUP2
00000e46: ADD
00000e47: DUP9
00000e48: SWAP1
00000e49: MSTORE
00000e4a: PUSH1 0x1e
00000e4c: PUSH1 0x24
00000e4e: DUP3
00000e4f: ADD
00000e50: MSTORE
00000e51: SWAP1
00000e52: MLOAD
00000e53: PUSH20 0xf0139fac9684ad7372c190a4defcac2b488a79d3
00000e68: SWAP2
00000e69: PUSH4 0x3a4b53fe
00000e6e: SWAP2
00000e6f: PUSH1 0x44
00000e71: DUP1
00000e72: DUP4
00000e73: ADD
00000e74: SWAP3
00000e75: PUSH1 0x20
00000e77: SWAP3
00000e78: SWAP2
00000e79: SWAP1
00000e7a: DUP3
00000e7b: SWAP1
00000e7c: SUB
00000e7d: ADD
00000e7e: DUP2
00000e7f: DUP7
00000e80: DUP1
00000e81: EXTCODESIZE
00000e82: ISZERO
00000e83: DUP1
00000e84: ISZERO
00000e85: PUSH2 0x0e8d
00000e88: JUMPI
00000e89: PUSH1 0x00
00000e8b: DUP1
00000e8c: REVERT
00000e8d: JUMPDEST
00000e8e: POP
00000e8f: GAS
00000e90: DELEGATECALL
00000e91: ISZERO
00000e92: DUP1
00000e93: ISZERO
00000e94: PUSH2 0x0ea1
00000e97: JUMPI
00000e98: RETURNDATASIZE
00000e99: PUSH1 0x00
00000e9b: DUP1
00000e9c: RETURNDATACOPY
00000e9d: RETURNDATASIZE
00000e9e: PUSH1 0x00
00000ea0: REVERT
00000ea1: JUMPDEST
00000ea2: POP
00000ea3: POP
00000ea4: POP
00000ea5: POP
00000ea6: PUSH1 0x40
00000ea8: MLOAD
00000ea9: RETURNDATASIZE
00000eaa: PUSH1 0x20
00000eac: DUP2
00000ead: LT
00000eae: ISZERO
00000eaf: PUSH2 0x0eb7
00000eb2: JUMPI
00000eb3: PUSH1 0x00
00000eb5: DUP1
00000eb6: REVERT
00000eb7: JUMPDEST
00000eb8: POP
00000eb9: MLOAD
00000eba: SWAP1
00000ebb: POP
00000ebc: PUSH2 0x0ec8
00000ebf: ADDRESS
00000ec0: CALLER
00000ec1: DUP4
00000ec2: DUP10
00000ec3: SUB
00000ec4: PUSH2 0x2bce
00000ec7: JUMP
00000ec8: JUMPDEST
00000ec9: PUSH1 0x05
00000ecb: SLOAD
00000ecc: PUSH2 0x0ee5
00000ecf: SWAP1
00000ed0: ADDRESS
00000ed1: SWAP1
00000ed2: PUSH2 0x0100
00000ed5: SWAP1
00000ed6: DIV
00000ed7: PUSH1 0x01
00000ed9: PUSH1 0xa0
00000edb: PUSH1 0x02
00000edd: EXP
00000ede: SUB
00000edf: AND
00000ee0: DUP4
00000ee1: PUSH2 0x2bce
00000ee4: JUMP
00000ee5: JUMPDEST
00000ee6: PUSH2 0x0f02
00000ee9: CALLER
00000eea: PUSH2 0x0ef2
00000eed: CALLER
00000eee: PUSH2 0x12da
00000ef1: JUMP
00000ef2: JUMPDEST
00000ef3: PUSH1 0x08
00000ef5: SWAP2
00000ef6: SWAP1
00000ef7: DUP10
00000ef8: PUSH4 0xffffffff
00000efd: PUSH2 0x2724
00000f00: AND
00000f01: JUMP
00000f02: JUMPDEST
00000f03: PUSH1 0x06
00000f05: SLOAD
00000f06: PUSH1 0x40
00000f08: DUP1
00000f09: MLOAD
00000f0a: CALLER
00000f0b: DUP2
00000f0c: MSTORE
00000f0d: PUSH1 0x01
00000f0f: PUSH1 0x20
00000f11: DUP3
00000f12: ADD
00000f13: MSTORE
00000f14: DUP1
00000f15: DUP3
00000f16: ADD
00000f17: DUP10
00000f18: SWAP1
00000f19: MSTORE
00000f1a: PUSH1 0x60
00000f1c: DUP2
00000f1d: ADD
00000f1e: SWAP3
00000f1f: SWAP1
00000f20: SWAP3
00000f21: MSTORE
00000f22: MLOAD
00000f23: PUSH32 0xad0c4829f35c314c6ecc0cb7e87b6b58a2c90210033e95aba296593e147dc667
00000f44: SWAP2
00000f45: DUP2
00000f46: SWAP1
00000f47: SUB
00000f48: PUSH1 0x80
00000f4a: ADD
00000f4b: SWAP1
00000f4c: LOG1
00000f4d: POP
00000f4e: POP
00000f4f: POP
00000f50: POP
00000f51: POP
00000f52: POP
00000f53: JUMP
00000f54: JUMPDEST
00000f55: PUSH1 0x00
00000f57: DUP1
00000f58: PUSH1 0x00
00000f5a: DUP1
00000f5b: PUSH2 0x0f62
00000f5e: PUSH2 0x3509
00000f61: JUMP
00000f62: JUMPDEST
00000f63: PUSH2 0x0f6a
00000f66: PUSH2 0x3509
00000f69: JUMP
00000f6a: JUMPDEST
00000f6b: PUSH2 0x0f72
00000f6e: PUSH2 0x3509
00000f71: JUMP
00000f72: JUMPDEST
00000f73: PUSH2 0x0f7a
00000f76: PUSH2 0x3509
00000f79: JUMP
00000f7a: JUMPDEST
00000f7b: PUSH2 0x0f82
00000f7e: PUSH2 0x3509
00000f81: JUMP
00000f82: JUMPDEST
00000f83: PUSH1 0x06
00000f85: SLOAD
00000f86: PUSH1 0x40
00000f88: DUP1
00000f89: MLOAD
00000f8a: DUP1
00000f8b: DUP3
00000f8c: ADD
00000f8d: SWAP1
00000f8e: SWAP2
00000f8f: MSTORE
00000f90: DUP2
00000f91: DUP2
00000f92: MSTORE
00000f93: PUSH1 0x09
00000f95: PUSH1 0x20
00000f97: DUP3
00000f98: ADD
00000f99: MSTORE
00000f9a: PUSH1 0x03
00000f9c: SWAP11
00000f9d: POP
00000f9e: SWAP1
00000f9f: SWAP9
00000fa0: POP
00000fa1: PUSH2 0x0fb0
00000fa4: SWAP1
00000fa5: DUP11
00000fa6: PUSH4 0xffffffff
00000fab: PUSH2 0x25b0
00000fae: AND
00000faf: JUMP
00000fb0: JUMPDEST
00000fb1: PUSH1 0x40
00000fb3: DUP1
00000fb4: MLOAD
00000fb5: DUP1
00000fb6: DUP3
00000fb7: ADD
00000fb8: SWAP1
00000fb9: SWAP2
00000fba: MSTORE
00000fbb: PUSH1 0x0e
00000fbd: SLOAD
00000fbe: DUP2
00000fbf: MSTORE
00000fc0: PUSH1 0x0f
00000fc2: SLOAD
00000fc3: PUSH1 0x20
00000fc5: DUP3
00000fc6: ADD
00000fc7: MSTORE
00000fc8: SWAP1
00000fc9: SWAP6
00000fca: POP
00000fcb: PUSH2 0x0fdb
00000fce: SWAP1
00000fcf: PUSH1 0x02
00000fd1: PUSH4 0xffffffff
00000fd6: PUSH2 0x25b0
00000fd9: AND
00000fda: JUMP
00000fdb: JUMPDEST
00000fdc: PUSH1 0x40
00000fde: DUP1
00000fdf: MLOAD
00000fe0: DUP1
00000fe1: DUP3
00000fe2: ADD
00000fe3: SWAP1
00000fe4: SWAP2
00000fe5: MSTORE
00000fe6: PUSH1 0x03
00000fe8: DUP13
00000fe9: MUL
00000fea: DUP2
00000feb: MSTORE
00000fec: PUSH1 0x00
00000fee: PUSH1 0x20
00000ff0: DUP3
00000ff1: ADD
00000ff2: MSTORE
00000ff3: SWAP1
00000ff4: SWAP5
00000ff5: POP
00000ff6: SWAP3
00000ff7: POP
00000ff8: PUSH2 0x1007
00000ffb: DUP4
00000ffc: DUP6
00000ffd: PUSH4 0xffffffff
00001002: PUSH2 0x2612
00001005: AND
00001006: JUMP
00001007: JUMPDEST
00001008: SWAP2
00001009: POP
0000100a: PUSH2 0x1019
0000100d: DUP3
0000100e: DUP7
0000100f: PUSH4 0xffffffff
00001014: PUSH2 0x2cc0
00001017: AND
00001018: JUMP
00001019: JUMPDEST
0000101a: DUP1
0000101b: MLOAD
0000101c: PUSH1 0x20
0000101e: SWAP1
0000101f: SWAP2
00001020: ADD
00001021: MLOAD
00001022: SWAP10
00001023: SWAP12
00001024: SWAP9
00001025: SWAP11
00001026: POP
00001027: SWAP9
00001028: SWAP8
00001029: SWAP7
0000102a: POP
0000102b: POP
0000102c: POP
0000102d: POP
0000102e: POP
0000102f: POP
00001030: POP
00001031: JUMP
00001032: JUMPDEST
00001033: PUSH1 0x00
00001035: DUP1
00001036: PUSH1 0x00
00001038: DUP1
00001039: PUSH1 0x00
0000103b: DUP1
0000103c: PUSH1 0x00
0000103e: DUP1
0000103f: PUSH1 0x00
00001041: DUP1
00001042: ADDRESS
00001043: PUSH1 0x01
00001045: PUSH1 0xa0
00001047: PUSH1 0x02
00001049: EXP
0000104a: SUB
0000104b: AND
0000104c: BALANCE
0000104d: PUSH1 0x06
0000104f: SLOAD
00001050: PUSH2 0x1058
00001053: CALLER
00001054: PUSH2 0x12da
00001057: JUMP
00001058: JUMPDEST
00001059: PUSH2 0x1060
0000105c: PUSH2 0x2d48
0000105f: JUMP
00001060: JUMPDEST
00001061: CALLER
00001062: PUSH1 0x00
00001064: SWAP1
00001065: DUP2
00001066: MSTORE
00001067: PUSH1 0x08
00001069: PUSH1 0x20
0000106b: DUP2
0000106c: DUP2
0000106d: MSTORE
0000106e: PUSH1 0x40
00001070: SWAP3
00001071: DUP4
00001072: SWAP1
00001073: KECCAK256
00001074: SLOAD
00001075: DUP4
00001076: MLOAD
00001077: PUSH32 0x4ac823f400000000000000000000000000000000000000000000000000000000
00001098: DUP2
00001099: MSTORE
0000109a: PUSH1 0x04
0000109c: DUP2
0000109d: ADD
0000109e: SWAP4
0000109f: SWAP1
000010a0: SWAP4
000010a1: MSTORE
000010a2: SWAP3
000010a3: MLOAD
000010a4: TIMESTAMP
000010a5: SWAP4
000010a6: SWAP3
000010a7: PUSH20 0xef99396e68fdf7f45040a64f9f2915565c8356df
000010bc: SWAP3
000010bd: PUSH4 0x4ac823f4
000010c2: SWAP3
000010c3: PUSH1 0x24
000010c5: DUP1
000010c6: DUP5
000010c7: ADD
000010c8: SWAP4
000010c9: DUP3
000010ca: SWAP1
000010cb: SUB
000010cc: ADD
000010cd: DUP2
000010ce: DUP7
000010cf: DUP1
000010d0: EXTCODESIZE
000010d1: ISZERO
000010d2: DUP1
000010d3: ISZERO
000010d4: PUSH2 0x10dc
000010d7: JUMPI
000010d8: PUSH1 0x00
000010da: DUP1
000010db: REVERT
000010dc: JUMPDEST
000010dd: POP
000010de: GAS
000010df: DELEGATECALL
000010e0: ISZERO
000010e1: DUP1
000010e2: ISZERO
000010e3: PUSH2 0x10f0
000010e6: JUMPI
000010e7: RETURNDATASIZE
000010e8: PUSH1 0x00
000010ea: DUP1
000010eb: RETURNDATACOPY
000010ec: RETURNDATASIZE
000010ed: PUSH1 0x00
000010ef: REVERT
000010f0: JUMPDEST
000010f1: POP
000010f2: POP
000010f3: POP
000010f4: POP
000010f5: PUSH1 0x40
000010f7: MLOAD
000010f8: RETURNDATASIZE
000010f9: PUSH1 0x20
000010fb: DUP2
000010fc: LT
000010fd: ISZERO
000010fe: PUSH2 0x1106
00001101: JUMPI
00001102: PUSH1 0x00
00001104: DUP1
00001105: REVERT
00001106: JUMPDEST
00001107: POP
00001108: MLOAD
00001109: PUSH1 0x40
0000110b: DUP1
0000110c: MLOAD
0000110d: PUSH32 0xbc0e322600000000000000000000000000000000000000000000000000000000
0000112e: DUP2
0000112f: MSTORE
00001130: PUSH1 0x08
00001132: PUSH1 0x04
00001134: DUP3
00001135: ADD
00001136: MSTORE
00001137: CALLER
00001138: PUSH1 0x24
0000113a: DUP3
0000113b: ADD
0000113c: MSTORE
0000113d: SWAP1
0000113e: MLOAD
0000113f: PUSH20 0xef99396e68fdf7f45040a64f9f2915565c8356df
00001154: SWAP2
00001155: PUSH4 0xbc0e3226
0000115a: SWAP2
0000115b: PUSH1 0x44
0000115d: DUP1
0000115e: DUP4
0000115f: ADD
00001160: SWAP3
00001161: PUSH1 0x20
00001163: SWAP3
00001164: SWAP2
00001165: SWAP1
00001166: DUP3
00001167: SWAP1
00001168: SUB
00001169: ADD
0000116a: DUP2
0000116b: DUP7
0000116c: DUP1
0000116d: EXTCODESIZE
0000116e: ISZERO
0000116f: DUP1
00001170: ISZERO
00001171: PUSH2 0x1179
00001174: JUMPI
00001175: PUSH1 0x00
00001177: DUP1
00001178: REVERT
00001179: JUMPDEST
0000117a: POP
0000117b: GAS
0000117c: DELEGATECALL
0000117d: ISZERO
0000117e: DUP1
0000117f: ISZERO
00001180: PUSH2 0x118d
00001183: JUMPI
00001184: RETURNDATASIZE
00001185: PUSH1 0x00
00001187: DUP1
00001188: RETURNDATACOPY
00001189: RETURNDATASIZE
0000118a: PUSH1 0x00
0000118c: REVERT
0000118d: JUMPDEST
0000118e: POP
0000118f: POP
00001190: POP
00001191: POP
00001192: PUSH1 0x40
00001194: MLOAD
00001195: RETURNDATASIZE
00001196: PUSH1 0x20
00001198: DUP2
00001199: LT
0000119a: ISZERO
0000119b: PUSH2 0x11a3
0000119e: JUMPI
0000119f: PUSH1 0x00
000011a1: DUP1
000011a2: REVERT
000011a3: JUMPDEST
000011a4: POP
000011a5: MLOAD
000011a6: PUSH1 0x40
000011a8: DUP1
000011a9: MLOAD
000011aa: PUSH32 0x8d46cde200000000000000000000000000000000000000000000000000000000
000011cb: DUP2
000011cc: MSTORE
000011cd: PUSH1 0x08
000011cf: PUSH1 0x04
000011d1: DUP3
000011d2: ADD
000011d3: MSTORE
000011d4: CALLER
000011d5: PUSH1 0x24
000011d7: DUP3
000011d8: ADD
000011d9: MSTORE
000011da: SWAP1
000011db: MLOAD
000011dc: PUSH20 0xef99396e68fdf7f45040a64f9f2915565c8356df
000011f1: SWAP2
000011f2: PUSH4 0x8d46cde2
000011f7: SWAP2
000011f8: PUSH1 0x44
000011fa: DUP1
000011fb: DUP4
000011fc: ADD
000011fd: SWAP3
000011fe: PUSH1 0x20
00001200: SWAP3
00001201: SWAP2
00001202: SWAP1
00001203: DUP3
00001204: SWAP1
00001205: SUB
00001206: ADD
00001207: DUP2
00001208: DUP7
00001209: DUP1
0000120a: EXTCODESIZE
0000120b: ISZERO
0000120c: DUP1
0000120d: ISZERO
0000120e: PUSH2 0x1216
00001211: JUMPI
00001212: PUSH1 0x00
00001214: DUP1
00001215: REVERT
00001216: JUMPDEST
00001217: POP
00001218: GAS
00001219: DELEGATECALL
0000121a: ISZERO
0000121b: DUP1
0000121c: ISZERO
0000121d: PUSH2 0x122a
00001220: JUMPI
00001221: RETURNDATASIZE
00001222: PUSH1 0x00
00001224: DUP1
00001225: RETURNDATACOPY
00001226: RETURNDATASIZE
00001227: PUSH1 0x00
00001229: REVERT
0000122a: JUMPDEST
0000122b: POP
0000122c: POP
0000122d: POP
0000122e: POP
0000122f: PUSH1 0x40
00001231: MLOAD
00001232: RETURNDATASIZE
00001233: PUSH1 0x20
00001235: DUP2
00001236: LT
00001237: ISZERO
00001238: PUSH2 0x1240
0000123b: JUMPI
0000123c: PUSH1 0x00
0000123e: DUP1
0000123f: REVERT
00001240: JUMPDEST
00001241: DUP2
00001242: ADD
00001243: SWAP1
00001244: DUP1
00001245: DUP1
00001246: MLOAD
00001247: SWAP1
00001248: PUSH1 0x20
0000124a: ADD
0000124b: SWAP1
0000124c: SWAP3
0000124d: SWAP2
0000124e: SWAP1
0000124f: POP
00001250: POP
00001251: POP
00001252: PUSH1 0x05
00001254: PUSH1 0x01
00001256: SWAP1
00001257: SLOAD
00001258: SWAP1
00001259: PUSH2 0x0100
0000125c: EXP
0000125d: SWAP1
0000125e: DIV
0000125f: PUSH1 0x01
00001261: PUSH1 0xa0
00001263: PUSH1 0x02
00001265: EXP
00001266: SUB
00001267: AND
00001268: SWAP10
00001269: POP
0000126a: SWAP10
0000126b: POP
0000126c: SWAP10
0000126d: POP
0000126e: SWAP10
0000126f: POP
00001270: SWAP10
00001271: POP
00001272: SWAP10
00001273: POP
00001274: SWAP10
00001275: POP
00001276: SWAP10
00001277: POP
00001278: SWAP10
00001279: POP
0000127a: SWAP10
0000127b: POP
0000127c: SWAP1
0000127d: SWAP2
0000127e: SWAP3
0000127f: SWAP4
00001280: SWAP5
00001281: SWAP6
00001282: SWAP7
00001283: SWAP8
00001284: SWAP9
00001285: SWAP10
00001286: JUMP
00001287: JUMPDEST
00001288: PUSH1 0x00
0000128a: DUP2
0000128b: MLOAD
0000128c: PUSH1 0x00
0000128e: EQ
0000128f: ISZERO
00001290: PUSH2 0x12a1
00001293: JUMPI
00001294: PUSH2 0x129c
00001297: CALLER
00001298: PUSH2 0x2d5e
0000129b: JUMP
0000129c: JUMPDEST
0000129d: PUSH2 0x12d6
000012a0: JUMP
000012a1: JUMPDEST
000012a2: POP
000012a3: PUSH1 0x00
000012a5: JUMPDEST
000012a6: DUP2
000012a7: MLOAD
000012a8: DUP2
000012a9: LT
000012aa: ISZERO
000012ab: PUSH2 0x12d6
000012ae: JUMPI
000012af: PUSH2 0x12ce
000012b2: DUP3
000012b3: DUP3
000012b4: DUP2
000012b5: MLOAD
000012b6: DUP2
000012b7: LT
000012b8: ISZERO
000012b9: ISZERO
000012ba: PUSH2 0x12bf
000012bd: JUMPI
000012be: INVALID
000012bf: JUMPDEST
000012c0: SWAP1
000012c1: PUSH1 0x20
000012c3: ADD
000012c4: SWAP1
000012c5: PUSH1 0x20
000012c7: MUL
000012c8: ADD
000012c9: MLOAD
000012ca: PUSH2 0x2d5e
000012cd: JUMP
000012ce: JUMPDEST
000012cf: PUSH1 0x01
000012d1: ADD
000012d2: PUSH2 0x12a5
000012d5: JUMP
000012d6: JUMPDEST
000012d7: POP
000012d8: POP
000012d9: JUMP
000012da: JUMPDEST
000012db: PUSH1 0x01
000012dd: PUSH1 0xa0
000012df: PUSH1 0x02
000012e1: EXP
000012e2: SUB
000012e3: AND
000012e4: PUSH1 0x00
000012e6: SWAP1
000012e7: DUP2
000012e8: MSTORE
000012e9: PUSH1 0x20
000012eb: DUP2
000012ec: SWAP1
000012ed: MSTORE
000012ee: PUSH1 0x40
000012f0: SWAP1
000012f1: KECCAK256
000012f2: SLOAD
000012f3: SWAP1
000012f4: JUMP
000012f5: JUMPDEST
000012f6: PUSH1 0x00
000012f8: DUP1
000012f9: PUSH1 0x00
000012fb: DUP1
000012fc: PUSH1 0x00
000012fe: DUP1
000012ff: DUP8
00001300: PUSH1 0x06
00001302: SLOAD
00001303: LT
00001304: ISZERO
00001305: ISZERO
00001306: ISZERO
00001307: PUSH2 0x135a
0000130a: JUMPI
0000130b: PUSH1 0x40
0000130d: DUP1
0000130e: MLOAD
0000130f: PUSH1 0xe5
00001311: PUSH1 0x02
00001313: EXP
00001314: PUSH3 0x461bcd
00001318: MUL
00001319: DUP2
0000131a: MSTORE
0000131b: PUSH1 0x20
0000131d: PUSH1 0x04
0000131f: DUP3
00001320: ADD
00001321: MSTORE
00001322: PUSH1 0x19
00001324: PUSH1 0x24
00001326: DUP3
00001327: ADD
00001328: MSTORE
00001329: PUSH32 0x636f756e74206f7665722070726f7669646564436f756e742000000000000000
0000134a: PUSH1 0x44
0000134c: DUP3
0000134d: ADD
0000134e: MSTORE
0000134f: SWAP1
00001350: MLOAD
00001351: SWAP1
00001352: DUP2
00001353: SWAP1
00001354: SUB
00001355: PUSH1 0x64
00001357: ADD
00001358: SWAP1
00001359: REVERT
0000135a: JUMPDEST
0000135b: PUSH2 0x143f
0000135e: DUP9
0000135f: PUSH20 0xf0139fac9684ad7372c190a4defcac2b488a79d3
00001374: PUSH4 0xee7fc5a3
00001379: PUSH1 0x06
0000137b: SLOAD
0000137c: PUSH1 0x0a
0000137e: PUSH1 0x40
00001380: MLOAD
00001381: DUP4
00001382: PUSH4 0xffffffff
00001387: AND
00001388: PUSH1 0xe0
0000138a: PUSH1 0x02
0000138c: EXP
0000138d: MUL
0000138e: DUP2
0000138f: MSTORE
00001390: PUSH1 0x04
00001392: ADD
00001393: DUP1
00001394: DUP4
00001395: DUP2
00001396: MSTORE
00001397: PUSH1 0x20
00001399: ADD
0000139a: DUP3
0000139b: DUP2
0000139c: MSTORE
0000139d: PUSH1 0x20
0000139f: ADD
000013a0: SWAP3
000013a1: POP
000013a2: POP
000013a3: POP
000013a4: PUSH1 0x20
000013a6: PUSH1 0x40
000013a8: MLOAD
000013a9: DUP1
000013aa: DUP4
000013ab: SUB
000013ac: DUP2
000013ad: DUP7
000013ae: DUP1
000013af: EXTCODESIZE
000013b0: ISZERO
000013b1: DUP1
000013b2: ISZERO
000013b3: PUSH2 0x13bb
000013b6: JUMPI
000013b7: PUSH1 0x00
000013b9: DUP1
000013ba: REVERT
000013bb: JUMPDEST
000013bc: POP
000013bd: GAS
000013be: DELEGATECALL
000013bf: ISZERO
000013c0: DUP1
000013c1: ISZERO
000013c2: PUSH2 0x13cf
000013c5: JUMPI
000013c6: RETURNDATASIZE
000013c7: PUSH1 0x00
000013c9: DUP1
000013ca: RETURNDATACOPY
000013cb: RETURNDATASIZE
000013cc: PUSH1 0x00
000013ce: REVERT
000013cf: JUMPDEST
000013d0: POP
000013d1: POP
000013d2: POP
000013d3: POP
000013d4: PUSH1 0x40
000013d6: MLOAD
000013d7: RETURNDATASIZE
000013d8: PUSH1 0x20
000013da: DUP2
000013db: LT
000013dc: ISZERO
000013dd: PUSH2 0x13e5
000013e0: JUMPI
000013e1: PUSH1 0x00
000013e3: DUP1
000013e4: REVERT
000013e5: JUMPDEST
000013e6: POP
000013e7: MLOAD
000013e8: PUSH1 0x40
000013ea: DUP1
000013eb: MLOAD
000013ec: PUSH1 0xa0
000013ee: DUP2
000013ef: ADD
000013f0: DUP3
000013f1: MSTORE
000013f2: PUSH1 0x14
000013f4: SLOAD
000013f5: PUSH1 0x01
000013f7: PUSH1 0x80
000013f9: PUSH1 0x02
000013fb: EXP
000013fc: SUB
000013fd: DUP1
000013fe: DUP3
000013ff: AND
00001400: DUP4
00001401: MSTORE
00001402: PUSH1 0x80
00001404: PUSH1 0x02
00001406: EXP
00001407: SWAP1
00001408: SWAP2
00001409: DIV
0000140a: AND
0000140b: PUSH1 0x20
0000140d: DUP3
0000140e: ADD
0000140f: MSTORE
00001410: PUSH1 0x15
00001412: SLOAD
00001413: SWAP2
00001414: DUP2
00001415: ADD
00001416: SWAP2
00001417: SWAP1
00001418: SWAP2
00001419: MSTORE
0000141a: PUSH1 0x16
0000141c: SLOAD
0000141d: PUSH1 0x60
0000141f: DUP3
00001420: ADD
00001421: MSTORE
00001422: PUSH1 0x17
00001424: SLOAD
00001425: PUSH1 0xff
00001427: AND
00001428: ISZERO
00001429: ISZERO
0000142a: PUSH1 0x80
0000142c: DUP3
0000142d: ADD
0000142e: MSTORE
0000142f: SWAP2
00001430: SWAP1
00001431: PUSH3 0x015180
00001435: PUSH4 0xffffffff
0000143a: PUSH2 0x2891
0000143d: AND
0000143e: JUMP
0000143f: JUMPDEST
00001440: DUP1
00001441: MLOAD
00001442: PUSH1 0x14
00001444: DUP1
00001445: SLOAD
00001446: PUSH1 0x20
00001448: DUP5
00001449: ADD
0000144a: MLOAD
0000144b: PUSH1 0x01
0000144d: PUSH1 0x80
0000144f: PUSH1 0x02
00001451: EXP
00001452: SUB
00001453: SWAP1
00001454: DUP2
00001455: AND
00001456: PUSH1 0x80
00001458: PUSH1 0x02
0000145a: EXP
0000145b: MUL
0000145c: SWAP4
0000145d: DUP2
0000145e: AND
0000145f: PUSH16 0xffffffffffffffffffffffffffffffff
00001470: NOT
00001471: SWAP1
00001472: SWAP3
00001473: AND
00001474: SWAP2
00001475: SWAP1
00001476: SWAP2
00001477: OR
00001478: AND
00001479: SWAP2
0000147a: SWAP1
0000147b: SWAP2
0000147c: OR
0000147d: SWAP1
0000147e: SSTORE
0000147f: PUSH1 0x40
00001481: DUP2
00001482: ADD
00001483: MLOAD
00001484: PUSH1 0x15
00001486: SSTORE
00001487: PUSH1 0x60
00001489: DUP2
0000148a: ADD
0000148b: MLOAD
0000148c: PUSH1 0x16
0000148e: SSTORE
0000148f: PUSH1 0x80
00001491: ADD
00001492: MLOAD
00001493: PUSH1 0x17
00001495: DUP1
00001496: SLOAD
00001497: SWAP2
00001498: ISZERO
00001499: ISZERO
0000149a: PUSH1 0xff
0000149c: NOT
0000149d: SWAP1
0000149e: SWAP3
0000149f: AND
000014a0: SWAP2
000014a1: SWAP1
000014a2: SWAP2
000014a3: OR
000014a4: SWAP1
000014a5: DUP2
000014a6: SWAP1
000014a7: SSTORE
000014a8: PUSH1 0xff
000014aa: AND
000014ab: ISZERO
000014ac: ISZERO
000014ad: PUSH2 0x1500
000014b0: JUMPI
000014b1: PUSH1 0x40
000014b3: DUP1
000014b4: MLOAD
000014b5: PUSH1 0xe5
000014b7: PUSH1 0x02
000014b9: EXP
000014ba: PUSH3 0x461bcd
000014be: MUL
000014bf: DUP2
000014c0: MSTORE
000014c1: PUSH1 0x20
000014c3: PUSH1 0x04
000014c5: DUP3
000014c6: ADD
000014c7: MSTORE
000014c8: PUSH1 0x18
000014ca: PUSH1 0x24
000014cc: DUP3
000014cd: ADD
000014ce: MSTORE
000014cf: PUSH32 0x69746073206f7665722073656c6c206d617820636f756e740000000000000000
000014f0: PUSH1 0x44
000014f2: DUP3
000014f3: ADD
000014f4: MSTORE
000014f5: SWAP1
000014f6: MLOAD
000014f7: SWAP1
000014f8: DUP2
000014f9: SWAP1
000014fa: SUB
000014fb: PUSH1 0x64
000014fd: ADD
000014fe: SWAP1
000014ff: REVERT
00001500: JUMPDEST
00001501: PUSH2 0x15a6
00001504: DUP9
00001505: PUSH20 0xf0139fac9684ad7372c190a4defcac2b488a79d3
0000151a: PUSH4 0xee7fc5a3
0000151f: PUSH2 0x1527
00001522: CALLER
00001523: PUSH2 0x12da
00001526: JUMP
00001527: JUMPDEST
00001528: PUSH1 0x19
0000152a: PUSH1 0x40
0000152c: MLOAD
0000152d: DUP4
0000152e: PUSH4 0xffffffff
00001533: AND
00001534: PUSH1 0xe0
00001536: PUSH1 0x02
00001538: EXP
00001539: MUL
0000153a: DUP2
0000153b: MSTORE
0000153c: PUSH1 0x04
0000153e: ADD
0000153f: DUP1
00001540: DUP4
00001541: DUP2
00001542: MSTORE
00001543: PUSH1 0x20
00001545: ADD
00001546: DUP3
00001547: DUP2
00001548: MSTORE
00001549: PUSH1 0x20
0000154b: ADD
0000154c: SWAP3
0000154d: POP
0000154e: POP
0000154f: POP
00001550: PUSH1 0x20
00001552: PUSH1 0x40
00001554: MLOAD
00001555: DUP1
00001556: DUP4
00001557: SUB
00001558: DUP2
00001559: DUP7
0000155a: DUP1
0000155b: EXTCODESIZE
0000155c: ISZERO
0000155d: DUP1
0000155e: ISZERO
0000155f: PUSH2 0x1567
00001562: JUMPI
00001563: PUSH1 0x00
00001565: DUP1
00001566: REVERT
00001567: JUMPDEST
00001568: POP
00001569: GAS
0000156a: DELEGATECALL
0000156b: ISZERO
0000156c: DUP1
0000156d: ISZERO
0000156e: PUSH2 0x157b
00001571: JUMPI
00001572: RETURNDATASIZE
00001573: PUSH1 0x00
00001575: DUP1
00001576: RETURNDATACOPY
00001577: RETURNDATASIZE
00001578: PUSH1 0x00
0000157a: REVERT
0000157b: JUMPDEST
0000157c: POP
0000157d: POP
0000157e: POP
0000157f: POP
00001580: PUSH1 0x40
00001582: MLOAD
00001583: RETURNDATASIZE
00001584: PUSH1 0x20
00001586: DUP2
00001587: LT
00001588: ISZERO
00001589: PUSH2 0x1591
0000158c: JUMPI
0000158d: PUSH1 0x00
0000158f: DUP1
00001590: REVERT
00001591: JUMPDEST
00001592: POP
00001593: MLOAD
00001594: PUSH1 0x08
00001596: SWAP2
00001597: SWAP1
00001598: PUSH3 0x015180
0000159c: PUSH4 0xffffffff
000015a1: PUSH2 0x2db0
000015a4: AND
000015a5: JUMP
000015a6: JUMPDEST
000015a7: PUSH1 0x80
000015a9: ADD
000015aa: MLOAD
000015ab: ISZERO
000015ac: ISZERO
000015ad: PUSH2 0x1600
000015b0: JUMPI
000015b1: PUSH1 0x40
000015b3: DUP1
000015b4: MLOAD
000015b5: PUSH1 0xe5
000015b7: PUSH1 0x02
000015b9: EXP
000015ba: PUSH3 0x461bcd
000015be: MUL
000015bf: DUP2
000015c0: MSTORE
000015c1: PUSH1 0x20
000015c3: PUSH1 0x04
000015c5: DUP3
000015c6: ADD
000015c7: MSTORE
000015c8: PUSH1 0x18
000015ca: PUSH1 0x24
000015cc: DUP3
000015cd: ADD
000015ce: MSTORE
000015cf: PUSH32 0x53454c4c206f76657220706572207573657220636f756e740000000000000000
000015f0: PUSH1 0x44
000015f2: DUP3
000015f3: ADD
000015f4: MSTORE
000015f5: SWAP1
000015f6: MLOAD
000015f7: SWAP1
000015f8: DUP2
000015f9: SWAP1
000015fa: SUB
000015fb: PUSH1 0x64
000015fd: ADD
000015fe: SWAP1
000015ff: REVERT
00001600: JUMPDEST
00001601: PUSH2 0x1609
00001604: DUP8
00001605: PUSH2 0x2946
00001608: JUMP
00001609: JUMPDEST
0000160a: PUSH20 0xf0139fac9684ad7372c190a4defcac2b488a79d3
0000161f: PUSH4 0x3a4b53fe
00001624: DUP10
00001625: PUSH1 0x32
00001627: PUSH1 0x40
00001629: MLOAD
0000162a: DUP4
0000162b: PUSH4 0xffffffff
00001630: AND
00001631: PUSH1 0xe0
00001633: PUSH1 0x02
00001635: EXP
00001636: MUL
00001637: DUP2
00001638: MSTORE
00001639: PUSH1 0x04
0000163b: ADD
0000163c: DUP1
0000163d: DUP4
0000163e: DUP2
0000163f: MSTORE
00001640: PUSH1 0x20
00001642: ADD
00001643: DUP3
00001644: DUP2
00001645: MSTORE
00001646: PUSH1 0x20
00001648: ADD
00001649: SWAP3
0000164a: POP
0000164b: POP
0000164c: POP
0000164d: PUSH1 0x20
0000164f: PUSH1 0x40
00001651: MLOAD
00001652: DUP1
00001653: DUP4
00001654: SUB
00001655: DUP2
00001656: DUP7
00001657: DUP1
00001658: EXTCODESIZE
00001659: ISZERO
0000165a: DUP1
0000165b: ISZERO
0000165c: PUSH2 0x1664
0000165f: JUMPI
00001660: PUSH1 0x00
00001662: DUP1
00001663: REVERT
00001664: JUMPDEST
00001665: POP
00001666: GAS
00001667: DELEGATECALL
00001668: ISZERO
00001669: DUP1
0000166a: ISZERO
0000166b: PUSH2 0x1678
0000166e: JUMPI
0000166f: RETURNDATASIZE
00001670: PUSH1 0x00
00001672: DUP1
00001673: RETURNDATACOPY
00001674: RETURNDATASIZE
00001675: PUSH1 0x00
00001677: REVERT
00001678: JUMPDEST
00001679: POP
0000167a: POP
0000167b: POP
0000167c: POP
0000167d: PUSH1 0x40
0000167f: MLOAD
00001680: RETURNDATASIZE
00001681: PUSH1 0x20
00001683: DUP2
00001684: LT
00001685: ISZERO
00001686: PUSH2 0x168e
00001689: JUMPI
0000168a: PUSH1 0x00
0000168c: DUP1
0000168d: REVERT
0000168e: JUMPDEST
0000168f: POP
00001690: MLOAD
00001691: PUSH1 0x06
00001693: SLOAD
00001694: SWAP1
00001695: SWAP7
00001696: POP
00001697: DUP7
00001698: DUP10
00001699: SUB
0000169a: SWAP6
0000169b: POP
0000169c: DUP6
0000169d: DUP2
0000169e: SUB
0000169f: SWAP5
000016a0: POP
000016a1: SWAP3
000016a2: POP
000016a3: PUSH2 0x16ac
000016a6: DUP5
000016a7: DUP5
000016a8: PUSH2 0x07a6
000016ab: JUMP
000016ac: JUMPDEST
000016ad: PUSH1 0x06
000016af: DUP1
000016b0: SLOAD
000016b1: DUP8
000016b2: SWAP1
000016b3: SUB
000016b4: SWAP1
000016b5: SSTORE
000016b6: SWAP2
000016b7: POP
000016b8: POP
000016b9: PUSH2 0x03e8
000016bc: PUSH2 0x0384
000016bf: DUP3
000016c0: MUL
000016c1: DIV
000016c2: PUSH2 0x16cb
000016c5: DUP2
000016c6: DUP4
000016c7: PUSH2 0x296a
000016ca: JUMP
000016cb: JUMPDEST
000016cc: PUSH2 0x16d5
000016cf: ADDRESS
000016d0: DUP10
000016d1: PUSH2 0x17fd
000016d4: JUMP
000016d5: JUMPDEST
000016d6: POP
000016d7: PUSH1 0x05
000016d9: SLOAD
000016da: PUSH2 0x16f3
000016dd: SWAP1
000016de: ADDRESS
000016df: SWAP1
000016e0: PUSH2 0x0100
000016e3: SWAP1
000016e4: DIV
000016e5: PUSH1 0x01
000016e7: PUSH1 0xa0
000016e9: PUSH1 0x02
000016eb: EXP
000016ec: SUB
000016ed: AND
000016ee: DUP9
000016ef: PUSH2 0x2bce
000016f2: JUMP
000016f3: JUMPDEST
000016f4: PUSH1 0x06
000016f6: SLOAD
000016f7: PUSH1 0x40
000016f9: DUP1
000016fa: MLOAD
000016fb: CALLER
000016fc: DUP2
000016fd: MSTORE
000016fe: PUSH1 0x00
00001700: PUSH1 0x20
00001702: DUP3
00001703: ADD
00001704: MSTORE
00001705: DUP1
00001706: DUP3
00001707: ADD
00001708: DUP12
00001709: SWAP1
0000170a: MSTORE
0000170b: PUSH1 0x60
0000170d: DUP2
0000170e: ADD
0000170f: SWAP3
00001710: SWAP1
00001711: SWAP3
00001712: MSTORE
00001713: MLOAD
00001714: PUSH32 0xad0c4829f35c314c6ecc0cb7e87b6b58a2c90210033e95aba296593e147dc667
00001735: SWAP2
00001736: DUP2
00001737: SWAP1
00001738: SUB
00001739: PUSH1 0x80
0000173b: ADD
0000173c: SWAP1
0000173d: LOG1
0000173e: PUSH2 0x1747
00001741: CALLER
00001742: DUP3
00001743: PUSH2 0x2ef8
00001746: JUMP
00001747: JUMPDEST
00001748: POP
00001749: POP
0000174a: POP
0000174b: POP
0000174c: POP
0000174d: POP
0000174e: POP
0000174f: POP
00001750: JUMP
00001751: JUMPDEST
00001752: PUSH1 0x04
00001754: DUP1
00001755: SLOAD
00001756: PUSH1 0x40
00001758: DUP1
00001759: MLOAD
0000175a: PUSH1 0x20
0000175c: PUSH1 0x1f
0000175e: PUSH1 0x02
00001760: PUSH1 0x00
00001762: NOT
00001763: PUSH2 0x0100
00001766: PUSH1 0x01
00001768: DUP9
00001769: AND
0000176a: ISZERO
0000176b: MUL
0000176c: ADD
0000176d: SWAP1
0000176e: SWAP6
0000176f: AND
00001770: SWAP5
00001771: SWAP1
00001772: SWAP5
00001773: DIV
00001774: SWAP4
00001775: DUP5
00001776: ADD
00001777: DUP2
00001778: SWAP1
00001779: DIV
0000177a: DUP2
0000177b: MUL
0000177c: DUP3
0000177d: ADD
0000177e: DUP2
0000177f: ADD
00001780: SWAP1
00001781: SWAP3
00001782: MSTORE
00001783: DUP3
00001784: DUP2
00001785: MSTORE
00001786: PUSH1 0x60
00001788: SWAP4
00001789: SWAP1
0000178a: SWAP3
0000178b: SWAP1
0000178c: SWAP2
0000178d: DUP4
0000178e: ADD
0000178f: DUP3
00001790: DUP3
00001791: DUP1
00001792: ISZERO
00001793: PUSH2 0x06a1
00001796: JUMPI
00001797: DUP1
00001798: PUSH1 0x1f
0000179a: LT
0000179b: PUSH2 0x0676
0000179e: JUMPI
0000179f: PUSH2 0x0100
000017a2: DUP1
000017a3: DUP4
000017a4: SLOAD
000017a5: DIV
000017a6: MUL
000017a7: DUP4
000017a8: MSTORE
000017a9: SWAP2
000017aa: PUSH1 0x20
000017ac: ADD
000017ad: SWAP2
000017ae: PUSH2 0x06a1
000017b1: JUMP
000017b2: JUMPDEST
000017b3: PUSH1 0x00
000017b5: PUSH1 0x01
000017b7: PUSH1 0xa0
000017b9: PUSH1 0x02
000017bb: EXP
000017bc: SUB
000017bd: DUP4
000017be: AND
000017bf: ISZERO
000017c0: ISZERO
000017c1: PUSH2 0x17c9
000017c4: JUMPI
000017c5: PUSH1 0x00
000017c7: DUP1
000017c8: REVERT
000017c9: JUMPDEST
000017ca: CALLER
000017cb: PUSH1 0x00
000017cd: SWAP1
000017ce: DUP2
000017cf: MSTORE
000017d0: PUSH1 0x01
000017d2: PUSH1 0x20
000017d4: SWAP1
000017d5: DUP2
000017d6: MSTORE
000017d7: PUSH1 0x40
000017d9: DUP1
000017da: DUP4
000017db: KECCAK256
000017dc: PUSH1 0x01
000017de: PUSH1 0xa0
000017e0: PUSH1 0x02
000017e2: EXP
000017e3: SUB
000017e4: DUP8
000017e5: AND
000017e6: DUP5
000017e7: MSTORE
000017e8: SWAP1
000017e9: SWAP2
000017ea: MSTORE
000017eb: SWAP1
000017ec: KECCAK256
000017ed: SLOAD
000017ee: PUSH2 0x0b0a
000017f1: SWAP1
000017f2: DUP4
000017f3: PUSH4 0xffffffff
000017f8: PUSH2 0x2f72
000017fb: AND
000017fc: JUMP
000017fd: JUMPDEST
000017fe: PUSH1 0x00
00001800: PUSH2 0x180c
00001803: DUP4
00001804: PUSH2 0x0a93
00001807: DUP6
00001808: PUSH2 0x12da
0000180b: JUMP
0000180c: JUMPDEST
0000180d: PUSH2 0x1816
00001810: DUP4
00001811: DUP4
00001812: PUSH2 0x2f89
00001815: JUMP
00001816: JUMPDEST
00001817: SWAP4
00001818: SWAP3
00001819: POP
0000181a: POP
0000181b: POP
0000181c: JUMP
0000181d: JUMPDEST
0000181e: PUSH1 0x40
00001820: DUP1
00001821: MLOAD
00001822: PUSH32 0x5636c58200000000000000000000000000000000000000000000000000000000
00001843: DUP2
00001844: MSTORE
00001845: PUSH1 0x08
00001847: PUSH1 0x04
00001849: DUP3
0000184a: ADD
0000184b: MSTORE
0000184c: CALLER
0000184d: PUSH1 0x24
0000184f: DUP3
00001850: ADD
00001851: MSTORE
00001852: SWAP1
00001853: MLOAD
00001854: PUSH1 0x00
00001856: SWAP2
00001857: DUP3
00001858: SWAP2
00001859: DUP3
0000185a: SWAP2
0000185b: DUP3
0000185c: SWAP2
0000185d: PUSH20 0xef99396e68fdf7f45040a64f9f2915565c8356df
00001872: SWAP2
00001873: PUSH4 0x5636c582
00001878: SWAP2
00001879: PUSH1 0x44
0000187b: DUP1
0000187c: DUP4
0000187d: ADD
0000187e: SWAP3
0000187f: PUSH1 0x20
00001881: SWAP3
00001882: SWAP2
00001883: SWAP1
00001884: DUP3
00001885: SWAP1
00001886: SUB
00001887: ADD
00001888: DUP2
00001889: DUP7
0000188a: DUP1
0000188b: EXTCODESIZE
0000188c: ISZERO
0000188d: DUP1
0000188e: ISZERO
0000188f: PUSH2 0x1897
00001892: JUMPI
00001893: PUSH1 0x00
00001895: DUP1
00001896: REVERT
00001897: JUMPDEST
00001898: POP
00001899: GAS
0000189a: DELEGATECALL
0000189b: ISZERO
0000189c: DUP1
0000189d: ISZERO
0000189e: PUSH2 0x18ab
000018a1: JUMPI
000018a2: RETURNDATASIZE
000018a3: PUSH1 0x00
000018a5: DUP1
000018a6: RETURNDATACOPY
000018a7: RETURNDATASIZE
000018a8: PUSH1 0x00
000018aa: REVERT
000018ab: JUMPDEST
000018ac: POP
000018ad: POP
000018ae: POP
000018af: POP
000018b0: PUSH1 0x40
000018b2: MLOAD
000018b3: RETURNDATASIZE
000018b4: PUSH1 0x20
000018b6: DUP2
000018b7: LT
000018b8: ISZERO
000018b9: PUSH2 0x18c1
000018bc: JUMPI
000018bd: PUSH1 0x00
000018bf: DUP1
000018c0: REVERT
000018c1: JUMPDEST
000018c2: POP
000018c3: MLOAD
000018c4: PUSH1 0x40
000018c6: DUP1
000018c7: MLOAD
000018c8: PUSH32 0x3a4b53fe00000000000000000000000000000000000000000000000000000000
000018e9: DUP2
000018ea: MSTORE
000018eb: PUSH1 0x04
000018ed: DUP2
000018ee: ADD
000018ef: DUP4
000018f0: SWAP1
000018f1: MSTORE
000018f2: PUSH1 0x6e
000018f4: PUSH1 0x24
000018f6: DUP3
000018f7: ADD
000018f8: MSTORE
000018f9: SWAP1
000018fa: MLOAD
000018fb: SWAP2
000018fc: SWAP6
000018fd: POP
000018fe: PUSH20 0xf0139fac9684ad7372c190a4defcac2b488a79d3
00001913: SWAP2
00001914: PUSH4 0x3a4b53fe
00001919: SWAP2
0000191a: PUSH1 0x44
0000191c: DUP1
0000191d: DUP3
0000191e: ADD
0000191f: SWAP3
00001920: PUSH1 0x20
00001922: SWAP3
00001923: SWAP1
00001924: SWAP2
00001925: SWAP1
00001926: DUP3
00001927: SWAP1
00001928: SUB
00001929: ADD
0000192a: DUP2
0000192b: DUP7
0000192c: DUP1
0000192d: EXTCODESIZE
0000192e: ISZERO
0000192f: DUP1
00001930: ISZERO
00001931: PUSH2 0x1939
00001934: JUMPI
00001935: PUSH1 0x00
00001937: DUP1
00001938: REVERT
00001939: JUMPDEST
0000193a: POP
0000193b: GAS
0000193c: DELEGATECALL
0000193d: ISZERO
0000193e: DUP1
0000193f: ISZERO
00001940: PUSH2 0x194d
00001943: JUMPI
00001944: RETURNDATASIZE
00001945: PUSH1 0x00
00001947: DUP1
00001948: RETURNDATACOPY
00001949: RETURNDATASIZE
0000194a: PUSH1 0x00
0000194c: REVERT
0000194d: JUMPDEST
0000194e: POP
0000194f: POP
00001950: POP
00001951: POP
00001952: PUSH1 0x40
00001954: MLOAD
00001955: RETURNDATASIZE
00001956: PUSH1 0x20
00001958: DUP2
00001959: LT
0000195a: ISZERO
0000195b: PUSH2 0x1963
0000195e: JUMPI
0000195f: PUSH1 0x00
00001961: DUP1
00001962: REVERT
00001963: JUMPDEST
00001964: POP
00001965: MLOAD
00001966: PUSH1 0x07
00001968: DUP1
00001969: SLOAD
0000196a: DUP3
0000196b: DUP8
0000196c: SUB
0000196d: SWAP1
0000196e: DUP2
0000196f: SWAP1
00001970: SUB
00001971: SWAP1
00001972: SWAP2
00001973: SSTORE
00001974: SWAP1
00001975: SWAP4
00001976: POP
00001977: SWAP2
00001978: POP
00001979: PUSH2 0x1982
0000197c: CALLER
0000197d: DUP4
0000197e: PUSH2 0x2ef8
00001981: JUMP
00001982: JUMPDEST
00001983: PUSH1 0x40
00001985: DUP1
00001986: MLOAD
00001987: PUSH32 0x138091e200000000000000000000000000000000000000000000000000000000
000019a8: DUP2
000019a9: MSTORE
000019aa: PUSH1 0x08
000019ac: PUSH1 0x04
000019ae: DUP3
000019af: ADD
000019b0: MSTORE
000019b1: CALLER
000019b2: PUSH1 0x24
000019b4: DUP3
000019b5: ADD
000019b6: MSTORE
000019b7: SWAP1
000019b8: MLOAD
000019b9: PUSH20 0xef99396e68fdf7f45040a64f9f2915565c8356df
000019ce: SWAP2
000019cf: PUSH4 0x138091e2
000019d4: SWAP2
000019d5: PUSH1 0x44
000019d7: DUP1
000019d8: DUP4
000019d9: ADD
000019da: SWAP3
000019db: PUSH1 0x20
000019dd: SWAP3
000019de: SWAP2
000019df: SWAP1
000019e0: DUP3
000019e1: SWAP1
000019e2: SUB
000019e3: ADD
000019e4: DUP2
000019e5: DUP7
000019e6: DUP1
000019e7: EXTCODESIZE
000019e8: ISZERO
000019e9: DUP1
000019ea: ISZERO
000019eb: PUSH2 0x19f3
000019ee: JUMPI
000019ef: PUSH1 0x00
000019f1: DUP1
000019f2: REVERT
000019f3: JUMPDEST
000019f4: POP
000019f5: GAS
000019f6: DELEGATECALL
000019f7: ISZERO
000019f8: DUP1
000019f9: ISZERO
000019fa: PUSH2 0x1a07
000019fd: JUMPI
000019fe: RETURNDATASIZE
000019ff: PUSH1 0x00
00001a01: DUP1
00001a02: RETURNDATACOPY
00001a03: RETURNDATASIZE
00001a04: PUSH1 0x00
00001a06: REVERT
00001a07: JUMPDEST
00001a08: POP
00001a09: POP
00001a0a: POP
00001a0b: POP
00001a0c: PUSH1 0x40
00001a0e: MLOAD
00001a0f: RETURNDATASIZE
00001a10: PUSH1 0x20
00001a12: DUP2
00001a13: LT
00001a14: ISZERO
00001a15: PUSH2 0x1a1d
00001a18: JUMPI
00001a19: PUSH1 0x00
00001a1b: DUP1
00001a1c: REVERT
00001a1d: JUMPDEST
00001a1e: POP
00001a1f: MLOAD
00001a20: SWAP1
00001a21: POP
00001a22: PUSH1 0x01
00001a24: PUSH1 0xa0
00001a26: PUSH1 0x02
00001a28: EXP
00001a29: SUB
00001a2a: DUP2
00001a2b: AND
00001a2c: ISZERO
00001a2d: PUSH2 0x1a48
00001a30: JUMPI
00001a31: PUSH2 0x1a42
00001a34: PUSH1 0x08
00001a36: DUP3
00001a37: DUP6
00001a38: PUSH4 0xffffffff
00001a3d: PUSH2 0x2f9f
00001a40: AND
00001a41: JUMP
00001a42: JUMPDEST
00001a43: POP
00001a44: PUSH2 0x1a52
00001a47: JUMP
00001a48: JUMPDEST
00001a49: PUSH1 0x07
00001a4b: DUP1
00001a4c: SLOAD
00001a4d: DUP5
00001a4e: SWAP1
00001a4f: SUB
00001a50: SWAP1
00001a51: SSTORE
00001a52: JUMPDEST
00001a53: POP
00001a54: POP
00001a55: POP
00001a56: POP
00001a57: JUMP
00001a58: JUMPDEST
00001a59: PUSH1 0x00
00001a5b: DUP1
00001a5c: PUSH1 0x00
00001a5e: DUP1
00001a5f: PUSH1 0x00
00001a61: DUP1
00001a62: PUSH1 0x00
00001a64: DUP1
00001a65: PUSH1 0x00
00001a67: PUSH2 0x1a6e
00001a6a: PUSH2 0x3520
00001a6d: JUMP
00001a6e: JUMPDEST
00001a6f: PUSH2 0x1a76
00001a72: PUSH2 0x3520
00001a75: JUMP
00001a76: JUMPDEST
00001a77: PUSH2 0x1a7e
00001a7a: PUSH2 0x3520
00001a7d: JUMP
00001a7e: JUMPDEST
00001a7f: PUSH2 0x1aec
00001a82: PUSH1 0x00
00001a84: PUSH20 0xf0139fac9684ad7372c190a4defcac2b488a79d3
00001a99: PUSH4 0xee7fc5a3
00001a9e: PUSH1 0x06
00001aa0: SLOAD
00001aa1: PUSH4 0x3b9aca00
00001aa6: PUSH4 0x05f5e100
00001aab: MUL
00001aac: SUB
00001aad: PUSH1 0x03
00001aaf: PUSH1 0x40
00001ab1: MLOAD
00001ab2: DUP4
00001ab3: PUSH4 0xffffffff
00001ab8: AND
00001ab9: PUSH1 0xe0
00001abb: PUSH1 0x02
00001abd: EXP
00001abe: MUL
00001abf: DUP2
00001ac0: MSTORE
00001ac1: PUSH1 0x04
00001ac3: ADD
00001ac4: DUP1
00001ac5: DUP4
00001ac6: DUP2
00001ac7: MSTORE
00001ac8: PUSH1 0x20
00001aca: ADD
00001acb: DUP3
00001acc: DUP2
00001acd: MSTORE
00001ace: PUSH1 0x20
00001ad0: ADD
00001ad1: SWAP3
00001ad2: POP
00001ad3: POP
00001ad4: POP
00001ad5: PUSH1 0x20
00001ad7: PUSH1 0x40
00001ad9: MLOAD
00001ada: DUP1
00001adb: DUP4
00001adc: SUB
00001add: DUP2
00001ade: DUP7
00001adf: DUP1
00001ae0: EXTCODESIZE
00001ae1: ISZERO
00001ae2: DUP1
00001ae3: ISZERO
00001ae4: PUSH2 0x0be2
00001ae7: JUMPI
00001ae8: PUSH1 0x00
00001aea: DUP1
00001aeb: REVERT
00001aec: JUMPDEST
00001aed: SWAP3
00001aee: POP
00001aef: DUP3
00001af0: PUSH1 0x00
00001af2: ADD
00001af3: MLOAD
00001af4: PUSH1 0x01
00001af6: PUSH1 0x80
00001af8: PUSH1 0x02
00001afa: EXP
00001afb: SUB
00001afc: AND
00001afd: SWAP12
00001afe: POP
00001aff: DUP3
00001b00: PUSH1 0x20
00001b02: ADD
00001b03: MLOAD
00001b04: PUSH1 0x01
00001b06: PUSH1 0x80
00001b08: PUSH1 0x02
00001b0a: EXP
00001b0b: SUB
00001b0c: AND
00001b0d: SWAP11
00001b0e: POP
00001b0f: DUP3
00001b10: PUSH1 0x40
00001b12: ADD
00001b13: MLOAD
00001b14: SWAP10
00001b15: POP
00001b16: PUSH2 0x1b77
00001b19: PUSH1 0x00
00001b1b: PUSH20 0xf0139fac9684ad7372c190a4defcac2b488a79d3
00001b30: PUSH4 0xee7fc5a3
00001b35: PUSH1 0x06
00001b37: SLOAD
00001b38: PUSH1 0x0a
00001b3a: PUSH1 0x40
00001b3c: MLOAD
00001b3d: DUP4
00001b3e: PUSH4 0xffffffff
00001b43: AND
00001b44: PUSH1 0xe0
00001b46: PUSH1 0x02
00001b48: EXP
00001b49: MUL
00001b4a: DUP2
00001b4b: MSTORE
00001b4c: PUSH1 0x04
00001b4e: ADD
00001b4f: DUP1
00001b50: DUP4
00001b51: DUP2
00001b52: MSTORE
00001b53: PUSH1 0x20
00001b55: ADD
00001b56: DUP3
00001b57: DUP2
00001b58: MSTORE
00001b59: PUSH1 0x20
00001b5b: ADD
00001b5c: SWAP3
00001b5d: POP
00001b5e: POP
00001b5f: POP
00001b60: PUSH1 0x20
00001b62: PUSH1 0x40
00001b64: MLOAD
00001b65: DUP1
00001b66: DUP4
00001b67: SUB
00001b68: DUP2
00001b69: DUP7
00001b6a: DUP1
00001b6b: EXTCODESIZE
00001b6c: ISZERO
00001b6d: DUP1
00001b6e: ISZERO
00001b6f: PUSH2 0x13bb
00001b72: JUMPI
00001b73: PUSH1 0x00
00001b75: DUP1
00001b76: REVERT
00001b77: JUMPDEST
00001b78: SWAP2
00001b79: POP
00001b7a: DUP2
00001b7b: PUSH1 0x00
00001b7d: ADD
00001b7e: MLOAD
00001b7f: PUSH1 0x01
00001b81: PUSH1 0x80
00001b83: PUSH1 0x02
00001b85: EXP
00001b86: SUB
00001b87: AND
00001b88: SWAP9
00001b89: POP
00001b8a: DUP2
00001b8b: PUSH1 0x20
00001b8d: ADD
00001b8e: MLOAD
00001b8f: PUSH1 0x01
00001b91: PUSH1 0x80
00001b93: PUSH1 0x02
00001b95: EXP
00001b96: SUB
00001b97: AND
00001b98: SWAP8
00001b99: POP
00001b9a: DUP2
00001b9b: PUSH1 0x40
00001b9d: ADD
00001b9e: MLOAD
00001b9f: SWAP7
00001ba0: POP
00001ba1: PUSH2 0x1c50
00001ba4: PUSH1 0x00
00001ba6: PUSH20 0xf0139fac9684ad7372c190a4defcac2b488a79d3
00001bbb: PUSH4 0xee7fc5a3
00001bc0: PUSH2 0x1bc8
00001bc3: CALLER
00001bc4: PUSH2 0x12da
00001bc7: JUMP
00001bc8: JUMPDEST
00001bc9: PUSH1 0x19
00001bcb: PUSH1 0x40
00001bcd: MLOAD
00001bce: DUP4
00001bcf: PUSH4 0xffffffff
00001bd4: AND
00001bd5: PUSH1 0xe0
00001bd7: PUSH1 0x02
00001bd9: EXP
00001bda: MUL
00001bdb: DUP2
00001bdc: MSTORE
00001bdd: PUSH1 0x04
00001bdf: ADD
00001be0: DUP1
00001be1: DUP4
00001be2: DUP2
00001be3: MSTORE
00001be4: PUSH1 0x20
00001be6: ADD
00001be7: DUP3
00001be8: DUP2
00001be9: MSTORE
00001bea: PUSH1 0x20
00001bec: ADD
00001bed: SWAP3
00001bee: POP
00001bef: POP
00001bf0: POP
00001bf1: PUSH1 0x20
00001bf3: PUSH1 0x40
00001bf5: MLOAD
00001bf6: DUP1
00001bf7: DUP4
00001bf8: SUB
00001bf9: DUP2
00001bfa: DUP7
00001bfb: DUP1
00001bfc: EXTCODESIZE
00001bfd: ISZERO
00001bfe: DUP1
00001bff: ISZERO
00001c00: PUSH2 0x1c08
00001c03: JUMPI
00001c04: PUSH1 0x00
00001c06: DUP1
00001c07: REVERT
00001c08: JUMPDEST
00001c09: POP
00001c0a: GAS
00001c0b: DELEGATECALL
00001c0c: ISZERO
00001c0d: DUP1
00001c0e: ISZERO
00001c0f: PUSH2 0x1c1c
00001c12: JUMPI
00001c13: RETURNDATASIZE
00001c14: PUSH1 0x00
00001c16: DUP1
00001c17: RETURNDATACOPY
00001c18: RETURNDATASIZE
00001c19: PUSH1 0x00
00001c1b: REVERT
00001c1c: JUMPDEST
00001c1d: POP
00001c1e: POP
00001c1f: POP
00001c20: POP
00001c21: PUSH1 0x40
00001c23: MLOAD
00001c24: RETURNDATASIZE
00001c25: PUSH1 0x20
00001c27: DUP2
00001c28: LT
00001c29: ISZERO
00001c2a: PUSH2 0x1c32
00001c2d: JUMPI
00001c2e: PUSH1 0x00
00001c30: DUP1
00001c31: REVERT
00001c32: JUMPDEST
00001c33: POP
00001c34: MLOAD
00001c35: PUSH3 0x015180
00001c39: PUSH2 0x1c42
00001c3c: PUSH1 0x08
00001c3e: PUSH2 0x2fc7
00001c41: JUMP
00001c42: JUMPDEST
00001c43: SWAP3
00001c44: SWAP2
00001c45: SWAP1
00001c46: PUSH4 0xffffffff
00001c4b: PUSH2 0x2891
00001c4e: AND
00001c4f: JUMP
00001c50: JUMPDEST
00001c51: SWAP1
00001c52: POP
00001c53: DUP1
00001c54: PUSH1 0x00
00001c56: ADD
00001c57: MLOAD
00001c58: PUSH1 0x01
00001c5a: PUSH1 0x80
00001c5c: PUSH1 0x02
00001c5e: EXP
00001c5f: SUB
00001c60: AND
00001c61: SWAP6
00001c62: POP
00001c63: DUP1
00001c64: PUSH1 0x20
00001c66: ADD
00001c67: MLOAD
00001c68: PUSH1 0x01
00001c6a: PUSH1 0x80
00001c6c: PUSH1 0x02
00001c6e: EXP
00001c6f: SUB
00001c70: AND
00001c71: SWAP5
00001c72: POP
00001c73: DUP1
00001c74: PUSH1 0x40
00001c76: ADD
00001c77: MLOAD
00001c78: SWAP4
00001c79: POP
00001c7a: POP
00001c7b: POP
00001c7c: POP
00001c7d: SWAP1
00001c7e: SWAP2
00001c7f: SWAP3
00001c80: SWAP4
00001c81: SWAP5
00001c82: SWAP6
00001c83: SWAP7
00001c84: SWAP8
00001c85: SWAP9
00001c86: JUMP
00001c87: JUMPDEST
00001c88: PUSH1 0x01
00001c8a: PUSH1 0xa0
00001c8c: PUSH1 0x02
00001c8e: EXP
00001c8f: SUB
00001c90: SWAP2
00001c91: DUP3
00001c92: AND
00001c93: PUSH1 0x00
00001c95: SWAP1
00001c96: DUP2
00001c97: MSTORE
00001c98: PUSH1 0x01
00001c9a: PUSH1 0x20
00001c9c: SWAP1
00001c9d: DUP2
00001c9e: MSTORE
00001c9f: PUSH1 0x40
00001ca1: DUP1
00001ca2: DUP4
00001ca3: KECCAK256
00001ca4: SWAP4
00001ca5: SWAP1
00001ca6: SWAP5
00001ca7: AND
00001ca8: DUP3
00001ca9: MSTORE
00001caa: SWAP2
00001cab: SWAP1
00001cac: SWAP2
00001cad: MSTORE
00001cae: KECCAK256
00001caf: SLOAD
00001cb0: SWAP1
00001cb1: JUMP
00001cb2: JUMPDEST
00001cb3: DUP1
00001cb4: MLOAD
00001cb5: PUSH1 0x00
00001cb7: SWAP1
00001cb8: DUP3
00001cb9: SWAP1
00001cba: DUP3
00001cbb: DUP1
00001cbc: DUP1
00001cbd: PUSH1 0x20
00001cbf: DUP5
00001cc0: GT
00001cc1: DUP1
00001cc2: ISZERO
00001cc3: SWAP1
00001cc4: PUSH2 0x1ccd
00001cc7: JUMPI
00001cc8: POP
00001cc9: PUSH1 0x00
00001ccb: DUP5
00001ccc: GT
00001ccd: JUMPDEST
00001cce: ISZERO
00001ccf: ISZERO
00001cd0: PUSH2 0x1d49
00001cd3: JUMPI
00001cd4: PUSH1 0x40
00001cd6: DUP1
00001cd7: MLOAD
00001cd8: PUSH1 0xe5
00001cda: PUSH1 0x02
00001cdc: EXP
00001cdd: PUSH3 0x461bcd
00001ce1: MUL
00001ce2: DUP2
00001ce3: MSTORE
00001ce4: PUSH1 0x20
00001ce6: PUSH1 0x04
00001ce8: DUP3
00001ce9: ADD
00001cea: MSTORE
00001ceb: PUSH1 0x2a
00001ced: PUSH1 0x24
00001cef: DUP3
00001cf0: ADD
00001cf1: MSTORE
00001cf2: PUSH32 0x737472696e67206d757374206265206265747765656e203120616e6420333220
00001d13: PUSH1 0x44
00001d15: DUP3
00001d16: ADD
00001d17: MSTORE
00001d18: PUSH32 0x6368617261637465727300000000000000000000000000000000000000000000
00001d39: PUSH1 0x64
00001d3b: DUP3
00001d3c: ADD
00001d3d: MSTORE
00001d3e: SWAP1
00001d3f: MLOAD
00001d40: SWAP1
00001d41: DUP2
00001d42: SWAP1
00001d43: SUB
00001d44: PUSH1 0x84
00001d46: ADD
00001d47: SWAP1
00001d48: REVERT
00001d49: JUMPDEST
00001d4a: DUP5
00001d4b: PUSH1 0x00
00001d4d: DUP2
00001d4e: MLOAD
00001d4f: DUP2
00001d50: LT
00001d51: ISZERO
00001d52: ISZERO
00001d53: PUSH2 0x1d58
00001d56: JUMPI
00001d57: INVALID
00001d58: JUMPDEST
00001d59: SWAP1
00001d5a: PUSH1 0x20
00001d5c: ADD
00001d5d: ADD
00001d5e: MLOAD
00001d5f: PUSH1 0xf8
00001d61: PUSH1 0x02
00001d63: EXP
00001d64: SWAP1
00001d65: DIV
00001d66: PUSH1 0xf8
00001d68: PUSH1 0x02
00001d6a: EXP
00001d6b: MUL
00001d6c: PUSH1 0x01
00001d6e: PUSH1 0xf8
00001d70: PUSH1 0x02
00001d72: EXP
00001d73: SUB
00001d74: NOT
00001d75: AND
00001d76: PUSH1 0x20
00001d78: PUSH1 0xf8
00001d7a: PUSH1 0x02
00001d7c: EXP
00001d7d: MUL
00001d7e: EQ
00001d7f: ISZERO
00001d80: DUP1
00001d81: ISZERO
00001d82: PUSH2 0x1dbf
00001d85: JUMPI
00001d86: POP
00001d87: DUP5
00001d88: PUSH1 0x01
00001d8a: DUP6
00001d8b: SUB
00001d8c: DUP2
00001d8d: MLOAD
00001d8e: DUP2
00001d8f: LT
00001d90: ISZERO
00001d91: ISZERO
00001d92: PUSH2 0x1d97
00001d95: JUMPI
00001d96: INVALID
00001d97: JUMPDEST
00001d98: SWAP1
00001d99: PUSH1 0x20
00001d9b: ADD
00001d9c: ADD
00001d9d: MLOAD
00001d9e: PUSH1 0xf8
00001da0: PUSH1 0x02
00001da2: EXP
00001da3: SWAP1
00001da4: DIV
00001da5: PUSH1 0xf8
00001da7: PUSH1 0x02
00001da9: EXP
00001daa: MUL
00001dab: PUSH1 0x01
00001dad: PUSH1 0xf8
00001daf: PUSH1 0x02
00001db1: EXP
00001db2: SUB
00001db3: NOT
00001db4: AND
00001db5: PUSH1 0x20
00001db7: PUSH1 0xf8
00001db9: PUSH1 0x02
00001dbb: EXP
00001dbc: MUL
00001dbd: EQ
00001dbe: ISZERO
00001dbf: JUMPDEST
00001dc0: ISZERO
00001dc1: ISZERO
00001dc2: PUSH2 0x1e3b
00001dc5: JUMPI
00001dc6: PUSH1 0x40
00001dc8: DUP1
00001dc9: MLOAD
00001dca: PUSH1 0xe5
00001dcc: PUSH1 0x02
00001dce: EXP
00001dcf: PUSH3 0x461bcd
00001dd3: MUL
00001dd4: DUP2
00001dd5: MSTORE
00001dd6: PUSH1 0x20
00001dd8: PUSH1 0x04
00001dda: DUP3
00001ddb: ADD
00001ddc: MSTORE
00001ddd: PUSH1 0x25
00001ddf: PUSH1 0x24
00001de1: DUP3
00001de2: ADD
00001de3: MSTORE
00001de4: PUSH32 0x737472696e672063616e6e6f74207374617274206f7220656e64207769746820
00001e05: PUSH1 0x44
00001e07: DUP3
00001e08: ADD
00001e09: MSTORE
00001e0a: PUSH32 0x7370616365000000000000000000000000000000000000000000000000000000
00001e2b: PUSH1 0x64
00001e2d: DUP3
00001e2e: ADD
00001e2f: MSTORE
00001e30: SWAP1
00001e31: MLOAD
00001e32: SWAP1
00001e33: DUP2
00001e34: SWAP1
00001e35: SUB
00001e36: PUSH1 0x84
00001e38: ADD
00001e39: SWAP1
00001e3a: REVERT
00001e3b: JUMPDEST
00001e3c: DUP5
00001e3d: PUSH1 0x00
00001e3f: DUP2
00001e40: MLOAD
00001e41: DUP2
00001e42: LT
00001e43: ISZERO
00001e44: ISZERO
00001e45: PUSH2 0x1e4a
00001e48: JUMPI
00001e49: INVALID
00001e4a: JUMPDEST
00001e4b: SWAP1
00001e4c: PUSH1 0x20
00001e4e: ADD
00001e4f: ADD
00001e50: MLOAD
00001e51: PUSH1 0xf8
00001e53: PUSH1 0x02
00001e55: EXP
00001e56: SWAP1
00001e57: DIV
00001e58: PUSH1 0xf8
00001e5a: PUSH1 0x02
00001e5c: EXP
00001e5d: MUL
00001e5e: PUSH1 0x01
00001e60: PUSH1 0xf8
00001e62: PUSH1 0x02
00001e64: EXP
00001e65: SUB
00001e66: NOT
00001e67: AND
00001e68: PUSH1 0x30
00001e6a: PUSH1 0xf8
00001e6c: PUSH1 0x02
00001e6e: EXP
00001e6f: MUL
00001e70: EQ
00001e71: ISZERO
00001e72: PUSH2 0x1f8d
00001e75: JUMPI
00001e76: DUP5
00001e77: PUSH1 0x01
00001e79: DUP2
00001e7a: MLOAD
00001e7b: DUP2
00001e7c: LT
00001e7d: ISZERO
00001e7e: ISZERO
00001e7f: PUSH2 0x1e84
00001e82: JUMPI
00001e83: INVALID
00001e84: JUMPDEST
00001e85: SWAP1
00001e86: PUSH1 0x20
00001e88: ADD
00001e89: ADD
00001e8a: MLOAD
00001e8b: PUSH1 0xf8
00001e8d: PUSH1 0x02
00001e8f: EXP
00001e90: SWAP1
00001e91: DIV
00001e92: PUSH1 0xf8
00001e94: PUSH1 0x02
00001e96: EXP
00001e97: MUL
00001e98: PUSH1 0x01
00001e9a: PUSH1 0xf8
00001e9c: PUSH1 0x02
00001e9e: EXP
00001e9f: SUB
00001ea0: NOT
00001ea1: AND
00001ea2: PUSH1 0x78
00001ea4: PUSH1 0xf8
00001ea6: PUSH1 0x02
00001ea8: EXP
00001ea9: MUL
00001eaa: EQ
00001eab: ISZERO
00001eac: ISZERO
00001ead: ISZERO
00001eae: PUSH2 0x1f01
00001eb1: JUMPI
00001eb2: PUSH1 0x40
00001eb4: DUP1
00001eb5: MLOAD
00001eb6: PUSH1 0xe5
00001eb8: PUSH1 0x02
00001eba: EXP
00001ebb: PUSH3 0x461bcd
00001ebf: MUL
00001ec0: DUP2
00001ec1: MSTORE
00001ec2: PUSH1 0x20
00001ec4: PUSH1 0x04
00001ec6: DUP3
00001ec7: ADD
00001ec8: MSTORE
00001ec9: PUSH1 0x1b
00001ecb: PUSH1 0x24
00001ecd: DUP3
00001ece: ADD
00001ecf: MSTORE
00001ed0: PUSH32 0x737472696e672063616e6e6f7420737461727420776974682030780000000000
00001ef1: PUSH1 0x44
00001ef3: DUP3
00001ef4: ADD
00001ef5: MSTORE
00001ef6: SWAP1
00001ef7: MLOAD
00001ef8: SWAP1
00001ef9: DUP2
00001efa: SWAP1
00001efb: SUB
00001efc: PUSH1 0x64
00001efe: ADD
00001eff: SWAP1
00001f00: REVERT
00001f01: JUMPDEST
00001f02: DUP5
00001f03: PUSH1 0x01
00001f05: DUP2
00001f06: MLOAD
00001f07: DUP2
00001f08: LT
00001f09: ISZERO
00001f0a: ISZERO
00001f0b: PUSH2 0x1f10
00001f0e: JUMPI
00001f0f: INVALID
00001f10: JUMPDEST
00001f11: SWAP1
00001f12: PUSH1 0x20
00001f14: ADD
00001f15: ADD
00001f16: MLOAD
00001f17: PUSH1 0xf8
00001f19: PUSH1 0x02
00001f1b: EXP
00001f1c: SWAP1
00001f1d: DIV
00001f1e: PUSH1 0xf8
00001f20: PUSH1 0x02
00001f22: EXP
00001f23: MUL
00001f24: PUSH1 0x01
00001f26: PUSH1 0xf8
00001f28: PUSH1 0x02
00001f2a: EXP
00001f2b: SUB
00001f2c: NOT
00001f2d: AND
00001f2e: PUSH1 0x58
00001f30: PUSH1 0xf8
00001f32: PUSH1 0x02
00001f34: EXP
00001f35: MUL
00001f36: EQ
00001f37: ISZERO
00001f38: ISZERO
00001f39: ISZERO
00001f3a: PUSH2 0x1f8d
00001f3d: JUMPI
00001f3e: PUSH1 0x40
00001f40: DUP1
00001f41: MLOAD
00001f42: PUSH1 0xe5
00001f44: PUSH1 0x02
00001f46: EXP
00001f47: PUSH3 0x461bcd
00001f4b: MUL
00001f4c: DUP2
00001f4d: MSTORE
00001f4e: PUSH1 0x20
00001f50: PUSH1 0x04
00001f52: DUP3
00001f53: ADD
00001f54: MSTORE
00001f55: PUSH1 0x1b
00001f57: PUSH1 0x24
00001f59: DUP3
00001f5a: ADD
00001f5b: MSTORE
00001f5c: PUSH32 0x737472696e672063616e6e6f7420737461727420776974682030580000000000
00001f7d: PUSH1 0x44
00001f7f: DUP3
00001f80: ADD
00001f81: MSTORE
00001f82: SWAP1
00001f83: MLOAD
00001f84: SWAP1
00001f85: DUP2
00001f86: SWAP1
00001f87: SUB
00001f88: PUSH1 0x64
00001f8a: ADD
00001f8b: SWAP1
00001f8c: REVERT
00001f8d: JUMPDEST
00001f8e: PUSH1 0x00
00001f90: SWAP2
00001f91: POP
00001f92: JUMPDEST
00001f93: DUP4
00001f94: DUP3
00001f95: LT
00001f96: ISZERO
00001f97: PUSH2 0x245d
00001f9a: JUMPI
00001f9b: DUP5
00001f9c: MLOAD
00001f9d: PUSH32 0x4000000000000000000000000000000000000000000000000000000000000000
00001fbe: SWAP1
00001fbf: DUP7
00001fc0: SWAP1
00001fc1: DUP5
00001fc2: SWAP1
00001fc3: DUP2
00001fc4: LT
00001fc5: PUSH2 0x1fca
00001fc8: JUMPI
00001fc9: INVALID
00001fca: JUMPDEST
00001fcb: SWAP1
00001fcc: PUSH1 0x20
00001fce: ADD
00001fcf: ADD
00001fd0: MLOAD
00001fd1: PUSH1 0xf8
00001fd3: PUSH1 0x02
00001fd5: EXP
00001fd6: SWAP1
00001fd7: DIV
00001fd8: PUSH1 0xf8
00001fda: PUSH1 0x02
00001fdc: EXP
00001fdd: MUL
00001fde: PUSH1 0x01
00001fe0: PUSH1 0xf8
00001fe2: PUSH1 0x02
00001fe4: EXP
00001fe5: SUB
00001fe6: NOT
00001fe7: AND
00001fe8: GT
00001fe9: DUP1
00001fea: ISZERO
00001feb: PUSH2 0x203e
00001fee: JUMPI
00001fef: POP
00001ff0: DUP5
00001ff1: MLOAD
00001ff2: PUSH32 0x5b00000000000000000000000000000000000000000000000000000000000000
00002013: SWAP1
00002014: DUP7
00002015: SWAP1
00002016: DUP5
00002017: SWAP1
00002018: DUP2
00002019: LT
0000201a: PUSH2 0x201f
0000201d: JUMPI
0000201e: INVALID
0000201f: JUMPDEST
00002020: SWAP1
00002021: PUSH1 0x20
00002023: ADD
00002024: ADD
00002025: MLOAD
00002026: PUSH1 0xf8
00002028: PUSH1 0x02
0000202a: EXP
0000202b: SWAP1
0000202c: DIV
0000202d: PUSH1 0xf8
0000202f: PUSH1 0x02
00002031: EXP
00002032: MUL
00002033: PUSH1 0x01
00002035: PUSH1 0xf8
00002037: PUSH1 0x02
00002039: EXP
0000203a: SUB
0000203b: NOT
0000203c: AND
0000203d: LT
0000203e: JUMPDEST
0000203f: ISZERO
00002040: PUSH2 0x20ab
00002043: JUMPI
00002044: DUP5
00002045: DUP3
00002046: DUP2
00002047: MLOAD
00002048: DUP2
00002049: LT
0000204a: ISZERO
0000204b: ISZERO
0000204c: PUSH2 0x2051
0000204f: JUMPI
00002050: INVALID
00002051: JUMPDEST
00002052: SWAP1
00002053: PUSH1 0x20
00002055: ADD
00002056: ADD
00002057: MLOAD
00002058: PUSH1 0xf8
0000205a: PUSH1 0x02
0000205c: EXP
0000205d: SWAP1
0000205e: DIV
0000205f: PUSH1 0xf8
00002061: PUSH1 0x02
00002063: EXP
00002064: MUL
00002065: PUSH1 0xf8
00002067: PUSH1 0x02
00002069: EXP
0000206a: SWAP1
0000206b: DIV
0000206c: PUSH1 0x20
0000206e: ADD
0000206f: PUSH1 0xf8
00002071: PUSH1 0x02
00002073: EXP
00002074: MUL
00002075: DUP6
00002076: DUP4
00002077: DUP2
00002078: MLOAD
00002079: DUP2
0000207a: LT
0000207b: ISZERO
0000207c: ISZERO
0000207d: PUSH2 0x2082
00002080: JUMPI
00002081: INVALID
00002082: JUMPDEST
00002083: SWAP1
00002084: PUSH1 0x20
00002086: ADD
00002087: ADD
00002088: SWAP1
00002089: PUSH1 0x01
0000208b: PUSH1 0xf8
0000208d: PUSH1 0x02
0000208f: EXP
00002090: SUB
00002091: NOT
00002092: AND
00002093: SWAP1
00002094: DUP2
00002095: PUSH1 0x00
00002097: BYTE
00002098: SWAP1
00002099: MSTORE8
0000209a: POP
0000209b: DUP3
0000209c: ISZERO
0000209d: ISZERO
0000209e: PUSH2 0x20a6
000020a1: JUMPI
000020a2: PUSH1 0x01
000020a4: SWAP3
000020a5: POP
000020a6: JUMPDEST
000020a7: PUSH2 0x2452
000020aa: JUMP
000020ab: JUMPDEST
000020ac: DUP5
000020ad: DUP3
000020ae: DUP2
000020af: MLOAD
000020b0: DUP2
000020b1: LT
000020b2: ISZERO
000020b3: ISZERO
000020b4: PUSH2 0x20b9
000020b7: JUMPI
000020b8: INVALID
000020b9: JUMPDEST
000020ba: SWAP1
000020bb: PUSH1 0x20
000020bd: ADD
000020be: ADD
000020bf: MLOAD
000020c0: PUSH1 0xf8
000020c2: PUSH1 0x02
000020c4: EXP
000020c5: SWAP1
000020c6: DIV
000020c7: PUSH1 0xf8
000020c9: PUSH1 0x02
000020cb: EXP
000020cc: MUL
000020cd: PUSH1 0x01
000020cf: PUSH1 0xf8
000020d1: PUSH1 0x02
000020d3: EXP
000020d4: SUB
000020d5: NOT
000020d6: AND
000020d7: PUSH1 0x20
000020d9: PUSH1 0xf8
000020db: PUSH1 0x02
000020dd: EXP
000020de: MUL
000020df: EQ
000020e0: DUP1
000020e1: PUSH2 0x2189
000020e4: JUMPI
000020e5: POP
000020e6: DUP5
000020e7: MLOAD
000020e8: PUSH32 0x6000000000000000000000000000000000000000000000000000000000000000
00002109: SWAP1
0000210a: DUP7
0000210b: SWAP1
0000210c: DUP5
0000210d: SWAP1
0000210e: DUP2
0000210f: LT
00002110: PUSH2 0x2115
00002113: JUMPI
00002114: INVALID
00002115: JUMPDEST
00002116: SWAP1
00002117: PUSH1 0x20
00002119: ADD
0000211a: ADD
0000211b: MLOAD
0000211c: PUSH1 0xf8
0000211e: PUSH1 0x02
00002120: EXP
00002121: SWAP1
00002122: DIV
00002123: PUSH1 0xf8
00002125: PUSH1 0x02
00002127: EXP
00002128: MUL
00002129: PUSH1 0x01
0000212b: PUSH1 0xf8
0000212d: PUSH1 0x02
0000212f: EXP
00002130: SUB
00002131: NOT
00002132: AND
00002133: GT
00002134: DUP1
00002135: ISZERO
00002136: PUSH2 0x2189
00002139: JUMPI
0000213a: POP
0000213b: DUP5
0000213c: MLOAD
0000213d: PUSH32 0x7b00000000000000000000000000000000000000000000000000000000000000
0000215e: SWAP1
0000215f: DUP7
00002160: SWAP1
00002161: DUP5
00002162: SWAP1
00002163: DUP2
00002164: LT
00002165: PUSH2 0x216a
00002168: JUMPI
00002169: INVALID
0000216a: JUMPDEST
0000216b: SWAP1
0000216c: PUSH1 0x20
0000216e: ADD
0000216f: ADD
00002170: MLOAD
00002171: PUSH1 0xf8
00002173: PUSH1 0x02
00002175: EXP
00002176: SWAP1
00002177: DIV
00002178: PUSH1 0xf8
0000217a: PUSH1 0x02
0000217c: EXP
0000217d: MUL
0000217e: PUSH1 0x01
00002180: PUSH1 0xf8
00002182: PUSH1 0x02
00002184: EXP
00002185: SUB
00002186: NOT
00002187: AND
00002188: LT
00002189: JUMPDEST
0000218a: DUP1
0000218b: PUSH2 0x2233
0000218e: JUMPI
0000218f: POP
00002190: DUP5
00002191: MLOAD
00002192: PUSH32 0x2f00000000000000000000000000000000000000000000000000000000000000
000021b3: SWAP1
000021b4: DUP7
000021b5: SWAP1
000021b6: DUP5
000021b7: SWAP1
000021b8: DUP2
000021b9: LT
000021ba: PUSH2 0x21bf
000021bd: JUMPI
000021be: INVALID
000021bf: JUMPDEST
000021c0: SWAP1
000021c1: PUSH1 0x20
000021c3: ADD
000021c4: ADD
000021c5: MLOAD
000021c6: PUSH1 0xf8
000021c8: PUSH1 0x02
000021ca: EXP
000021cb: SWAP1
000021cc: DIV
000021cd: PUSH1 0xf8
000021cf: PUSH1 0x02
000021d1: EXP
000021d2: MUL
000021d3: PUSH1 0x01
000021d5: PUSH1 0xf8
000021d7: PUSH1 0x02
000021d9: EXP
000021da: SUB
000021db: NOT
000021dc: AND
000021dd: GT
000021de: DUP1
000021df: ISZERO
000021e0: PUSH2 0x2233
000021e3: JUMPI
000021e4: POP
000021e5: DUP5
000021e6: MLOAD
000021e7: PUSH32 0x3a00000000000000000000000000000000000000000000000000000000000000
00002208: SWAP1
00002209: DUP7
0000220a: SWAP1
0000220b: DUP5
0000220c: SWAP1
0000220d: DUP2
0000220e: LT
0000220f: PUSH2 0x2214
00002212: JUMPI
00002213: INVALID
00002214: JUMPDEST
00002215: SWAP1
00002216: PUSH1 0x20
00002218: ADD
00002219: ADD
0000221a: MLOAD
0000221b: PUSH1 0xf8
0000221d: PUSH1 0x02
0000221f: EXP
00002220: SWAP1
00002221: DIV
00002222: PUSH1 0xf8
00002224: PUSH1 0x02
00002226: EXP
00002227: MUL
00002228: PUSH1 0x01
0000222a: PUSH1 0xf8
0000222c: PUSH1 0x02
0000222e: EXP
0000222f: SUB
00002230: NOT
00002231: AND
00002232: LT
00002233: JUMPDEST
00002234: ISZERO
00002235: ISZERO
00002236: PUSH2 0x22af
00002239: JUMPI
0000223a: PUSH1 0x40
0000223c: DUP1
0000223d: MLOAD
0000223e: PUSH1 0xe5
00002240: PUSH1 0x02
00002242: EXP
00002243: PUSH3 0x461bcd
00002247: MUL
00002248: DUP2
00002249: MSTORE
0000224a: PUSH1 0x20
0000224c: PUSH1 0x04
0000224e: DUP3
0000224f: ADD
00002250: MSTORE
00002251: PUSH1 0x22
00002253: PUSH1 0x24
00002255: DUP3
00002256: ADD
00002257: MSTORE
00002258: PUSH32 0x737472696e6720636f6e7461696e7320696e76616c6964206368617261637465
00002279: PUSH1 0x44
0000227b: DUP3
0000227c: ADD
0000227d: MSTORE
0000227e: PUSH32 0x7273000000000000000000000000000000000000000000000000000000000000
0000229f: PUSH1 0x64
000022a1: DUP3
000022a2: ADD
000022a3: MSTORE
000022a4: SWAP1
000022a5: MLOAD
000022a6: SWAP1
000022a7: DUP2
000022a8: SWAP1
000022a9: SUB
000022aa: PUSH1 0x84
000022ac: ADD
000022ad: SWAP1
000022ae: REVERT
000022af: JUMPDEST
000022b0: DUP5
000022b1: DUP3
000022b2: DUP2
000022b3: MLOAD
000022b4: DUP2
000022b5: LT
000022b6: ISZERO
000022b7: ISZERO
000022b8: PUSH2 0x22bd
000022bb: JUMPI
000022bc: INVALID
000022bd: JUMPDEST
000022be: SWAP1
000022bf: PUSH1 0x20
000022c1: ADD
000022c2: ADD
000022c3: MLOAD
000022c4: PUSH1 0xf8
000022c6: PUSH1 0x02
000022c8: EXP
000022c9: SWAP1
000022ca: DIV
000022cb: PUSH1 0xf8
000022cd: PUSH1 0x02
000022cf: EXP
000022d0: MUL
000022d1: PUSH1 0x01
000022d3: PUSH1 0xf8
000022d5: PUSH1 0x02
000022d7: EXP
000022d8: SUB
000022d9: NOT
000022da: AND
000022db: PUSH1 0x20
000022dd: PUSH1 0xf8
000022df: PUSH1 0x02
000022e1: EXP
000022e2: MUL
000022e3: EQ
000022e4: ISZERO
000022e5: PUSH2 0x239c
000022e8: JUMPI
000022e9: DUP5
000022ea: DUP3
000022eb: PUSH1 0x01
000022ed: ADD
000022ee: DUP2
000022ef: MLOAD
000022f0: DUP2
000022f1: LT
000022f2: ISZERO
000022f3: ISZERO
000022f4: PUSH2 0x22f9
000022f7: JUMPI
000022f8: INVALID
000022f9: JUMPDEST
000022fa: SWAP1
000022fb: PUSH1 0x20
000022fd: ADD
000022fe: ADD
000022ff: MLOAD
00002300: PUSH1 0xf8
00002302: PUSH1 0x02
00002304: EXP
00002305: SWAP1
00002306: DIV
00002307: PUSH1 0xf8
00002309: PUSH1 0x02
0000230b: EXP
0000230c: MUL
0000230d: PUSH1 0x01
0000230f: PUSH1 0xf8
00002311: PUSH1 0x02
00002313: EXP
00002314: SUB
00002315: NOT
00002316: AND
00002317: PUSH1 0x20
00002319: PUSH1 0xf8
0000231b: PUSH1 0x02
0000231d: EXP
0000231e: MUL
0000231f: EQ
00002320: ISZERO
00002321: ISZERO
00002322: ISZERO
00002323: PUSH2 0x239c
00002326: JUMPI
00002327: PUSH1 0x40
00002329: DUP1
0000232a: MLOAD
0000232b: PUSH1 0xe5
0000232d: PUSH1 0x02
0000232f: EXP
00002330: PUSH3 0x461bcd
00002334: MUL
00002335: DUP2
00002336: MSTORE
00002337: PUSH1 0x20
00002339: PUSH1 0x04
0000233b: DUP3
0000233c: ADD
0000233d: MSTORE
0000233e: PUSH1 0x28
00002340: PUSH1 0x24
00002342: DUP3
00002343: ADD
00002344: MSTORE
00002345: PUSH32 0x737472696e672063616e6e6f7420636f6e7461696e20636f6e73656375746976
00002366: PUSH1 0x44
00002368: DUP3
00002369: ADD
0000236a: MSTORE
0000236b: PUSH32 0x6520737061636573000000000000000000000000000000000000000000000000
0000238c: PUSH1 0x64
0000238e: DUP3
0000238f: ADD
00002390: MSTORE
00002391: SWAP1
00002392: MLOAD
00002393: SWAP1
00002394: DUP2
00002395: SWAP1
00002396: SUB
00002397: PUSH1 0x84
00002399: ADD
0000239a: SWAP1
0000239b: REVERT
0000239c: JUMPDEST
0000239d: DUP3
0000239e: ISZERO
0000239f: DUP1
000023a0: ISZERO
000023a1: PUSH2 0x2448
000023a4: JUMPI
000023a5: POP
000023a6: DUP5
000023a7: MLOAD
000023a8: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
000023c9: SWAP1
000023ca: DUP7
000023cb: SWAP1
000023cc: DUP5
000023cd: SWAP1
000023ce: DUP2
000023cf: LT
000023d0: PUSH2 0x23d5
000023d3: JUMPI
000023d4: INVALID
000023d5: JUMPDEST
000023d6: SWAP1
000023d7: PUSH1 0x20
000023d9: ADD
000023da: ADD
000023db: MLOAD
000023dc: PUSH1 0xf8
000023de: PUSH1 0x02
000023e0: EXP
000023e1: SWAP1
000023e2: DIV
000023e3: PUSH1 0xf8
000023e5: PUSH1 0x02
000023e7: EXP
000023e8: MUL
000023e9: PUSH1 0x01
000023eb: PUSH1 0xf8
000023ed: PUSH1 0x02
000023ef: EXP
000023f0: SUB
000023f1: NOT
000023f2: AND
000023f3: LT
000023f4: DUP1
000023f5: PUSH2 0x2448
000023f8: JUMPI
000023f9: POP
000023fa: DUP5
000023fb: MLOAD
000023fc: PUSH32 0x3900000000000000000000000000000000000000000000000000000000000000
0000241d: SWAP1
0000241e: DUP7
0000241f: SWAP1
00002420: DUP5
00002421: SWAP1
00002422: DUP2
00002423: LT
00002424: PUSH2 0x2429
00002427: JUMPI
00002428: INVALID
00002429: JUMPDEST
0000242a: SWAP1
0000242b: PUSH1 0x20
0000242d: ADD
0000242e: ADD
0000242f: MLOAD
00002430: PUSH1 0xf8
00002432: PUSH1 0x02
00002434: EXP
00002435: SWAP1
00002436: DIV
00002437: PUSH1 0xf8
00002439: PUSH1 0x02
0000243b: EXP
0000243c: MUL
0000243d: PUSH1 0x01
0000243f: PUSH1 0xf8
00002441: PUSH1 0x02
00002443: EXP
00002444: SUB
00002445: NOT
00002446: AND
00002447: GT
00002448: JUMPDEST
00002449: ISZERO
0000244a: PUSH2 0x2452
0000244d: JUMPI
0000244e: PUSH1 0x01
00002450: SWAP3
00002451: POP
00002452: JUMPDEST
00002453: PUSH1 0x01
00002455: SWAP1
00002456: SWAP2
00002457: ADD
00002458: SWAP1
00002459: PUSH2 0x1f92
0000245c: JUMP
0000245d: JUMPDEST
0000245e: PUSH1 0x01
00002460: DUP4
00002461: ISZERO
00002462: ISZERO
00002463: EQ
00002464: PUSH2 0x24b7
00002467: JUMPI
00002468: PUSH1 0x40
0000246a: DUP1
0000246b: MLOAD
0000246c: PUSH1 0xe5
0000246e: PUSH1 0x02
00002470: EXP
00002471: PUSH3 0x461bcd
00002475: MUL
00002476: DUP2
00002477: MSTORE
00002478: PUSH1 0x20
0000247a: PUSH1 0x04
0000247c: DUP3
0000247d: ADD
0000247e: MSTORE
0000247f: PUSH1 0x1d
00002481: PUSH1 0x24
00002483: DUP3
00002484: ADD
00002485: MSTORE
00002486: PUSH32 0x737472696e672063616e6e6f74206265206f6e6c79206e756d62657273000000
000024a7: PUSH1 0x44
000024a9: DUP3
000024aa: ADD
000024ab: MSTORE
000024ac: SWAP1
000024ad: MLOAD
000024ae: SWAP1
000024af: DUP2
000024b0: SWAP1
000024b1: SUB
000024b2: PUSH1 0x64
000024b4: ADD
000024b5: SWAP1
000024b6: REVERT
000024b7: JUMPDEST
000024b8: POP
000024b9: POP
000024ba: POP
000024bb: POP
000024bc: PUSH1 0x20
000024be: ADD
000024bf: MLOAD
000024c0: SWAP3
000024c1: SWAP2
000024c2: POP
000024c3: POP
000024c4: JUMP
000024c5: JUMPDEST
000024c6: PUSH1 0x00
000024c8: DUP2
000024c9: DUP2
000024ca: MSTORE
000024cb: PUSH1 0x04
000024cd: DUP4
000024ce: ADD
000024cf: PUSH1 0x20
000024d1: MSTORE
000024d2: PUSH1 0x40
000024d4: SWAP1
000024d5: KECCAK256
000024d6: SLOAD
000024d7: PUSH1 0x01
000024d9: PUSH1 0xa0
000024db: PUSH1 0x02
000024dd: EXP
000024de: SUB
000024df: AND
000024e0: ISZERO
000024e1: PUSH2 0x24e9
000024e4: JUMPI
000024e5: PUSH1 0x00
000024e7: DUP1
000024e8: REVERT
000024e9: JUMPDEST
000024ea: PUSH1 0x00
000024ec: DUP2
000024ed: DUP2
000024ee: MSTORE
000024ef: PUSH1 0x04
000024f1: DUP4
000024f2: ADD
000024f3: PUSH1 0x20
000024f5: SWAP1
000024f6: DUP2
000024f7: MSTORE
000024f8: PUSH1 0x40
000024fa: DUP1
000024fb: DUP4
000024fc: KECCAK256
000024fd: DUP1
000024fe: SLOAD
000024ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002514: NOT
00002515: AND
00002516: CALLER
00002517: SWAP1
00002518: DUP2
00002519: OR
0000251a: SWAP1
0000251b: SWAP2
0000251c: SSTORE
0000251d: DUP4
0000251e: MSTORE
0000251f: PUSH1 0x03
00002521: SWAP1
00002522: SWAP5
00002523: ADD
00002524: SWAP1
00002525: MSTORE
00002526: SWAP2
00002527: SWAP1
00002528: SWAP2
00002529: KECCAK256
0000252a: SSTORE
0000252b: JUMP
0000252c: JUMPDEST
0000252d: PUSH1 0x00
0000252f: PUSH2 0x2536
00002532: PUSH2 0x3509
00002535: JUMP
00002536: JUMPDEST
00002537: PUSH2 0x253e
0000253a: PUSH2 0x3509
0000253d: JUMP
0000253e: JUMPDEST
0000253f: PUSH2 0x2546
00002542: PUSH2 0x3509
00002545: JUMP
00002546: JUMPDEST
00002547: PUSH2 0x254e
0000254a: PUSH2 0x3509
0000254d: JUMP
0000254e: JUMPDEST
0000254f: PUSH1 0x40
00002551: DUP1
00002552: MLOAD
00002553: SWAP1
00002554: DUP2
00002555: ADD
00002556: PUSH1 0x40
00002558: MSTORE
00002559: DUP1
0000255a: DUP10
0000255b: DUP2
0000255c: MSTORE
0000255d: PUSH1 0x20
0000255f: ADD
00002560: DUP9
00002561: DUP2
00002562: MSTORE
00002563: POP
00002564: SWAP4
00002565: POP
00002566: PUSH2 0x2572
00002569: DUP5
0000256a: DUP8
0000256b: PUSH1 0x01
0000256d: ADD
0000256e: PUSH2 0x25b0
00002571: JUMP
00002572: JUMPDEST
00002573: SWAP3
00002574: POP
00002575: PUSH2 0x257e
00002578: DUP10
00002579: DUP8
0000257a: PUSH2 0x25b0
0000257d: JUMP
0000257e: JUMPDEST
0000257f: SWAP2
00002580: POP
00002581: PUSH2 0x258a
00002584: DUP4
00002585: DUP4
00002586: PUSH2 0x3037
00002589: JUMP
0000258a: JUMPDEST
0000258b: SWAP1
0000258c: POP
0000258d: DUP6
0000258e: PUSH1 0x01
00002590: ADD
00002591: PUSH2 0x2599
00002594: DUP3
00002595: PUSH2 0x3079
00002598: JUMP
00002599: JUMPDEST
0000259a: DUP2
0000259b: ISZERO
0000259c: ISZERO
0000259d: PUSH2 0x25a2
000025a0: JUMPI
000025a1: INVALID
000025a2: JUMPDEST
000025a3: DIV
000025a4: SWAP10
000025a5: SWAP9
000025a6: POP
000025a7: POP
000025a8: POP
000025a9: POP
000025aa: POP
000025ab: POP
000025ac: POP
000025ad: POP
000025ae: POP
000025af: JUMP
000025b0: JUMPDEST
000025b1: PUSH2 0x25b8
000025b4: PUSH2 0x3509
000025b7: JUMP
000025b8: JUMPDEST
000025b9: PUSH1 0x00
000025bb: DUP3
000025bc: ISZERO
000025bd: ISZERO
000025be: PUSH2 0x25dd
000025c1: JUMPI
000025c2: PUSH1 0x40
000025c4: DUP1
000025c5: MLOAD
000025c6: DUP1
000025c7: DUP3
000025c8: ADD
000025c9: SWAP1
000025ca: SWAP2
000025cb: MSTORE
000025cc: PUSH1 0x0a
000025ce: DUP2
000025cf: MSTORE
000025d0: PUSH1 0x01
000025d2: PUSH1 0x20
000025d4: DUP3
000025d5: ADD
000025d6: MSTORE
000025d7: SWAP2
000025d8: POP
000025d9: PUSH2 0x260b
000025dc: JUMP
000025dd: JUMPDEST
000025de: POP
000025df: DUP3
000025e0: MLOAD
000025e1: DUP2
000025e2: MSTORE
000025e3: PUSH1 0x20
000025e5: DUP1
000025e6: DUP5
000025e7: ADD
000025e8: MLOAD
000025e9: SWAP1
000025ea: DUP3
000025eb: ADD
000025ec: MSTORE
000025ed: PUSH1 0x01
000025ef: JUMPDEST
000025f0: DUP3
000025f1: DUP2
000025f2: LT
000025f3: ISZERO
000025f4: PUSH2 0x260b
000025f7: JUMPI
000025f8: PUSH2 0x2601
000025fb: DUP3
000025fc: DUP6
000025fd: PUSH2 0x3037
00002600: JUMP
00002601: JUMPDEST
00002602: SWAP2
00002603: POP
00002604: PUSH1 0x01
00002606: ADD
00002607: PUSH2 0x25ef
0000260a: JUMP
0000260b: JUMPDEST
0000260c: POP
0000260d: SWAP3
0000260e: SWAP2
0000260f: POP
00002610: POP
00002611: JUMP
00002612: JUMPDEST
00002613: PUSH2 0x261a
00002616: PUSH2 0x3509
00002619: JUMP
0000261a: JUMPDEST
0000261b: PUSH1 0x00
0000261d: DUP3
0000261e: PUSH1 0x20
00002620: ADD
00002621: MLOAD
00002622: DUP5
00002623: PUSH1 0x20
00002625: ADD
00002626: MLOAD
00002627: LT
00002628: ISZERO
00002629: ISZERO
0000262a: PUSH2 0x2641
0000262d: JUMPI
0000262e: PUSH1 0x20
00002630: DUP1
00002631: DUP5
00002632: ADD
00002633: MLOAD
00002634: DUP6
00002635: DUP3
00002636: ADD
00002637: MLOAD
00002638: SUB
00002639: SWAP1
0000263a: DUP4
0000263b: ADD
0000263c: MSTORE
0000263d: PUSH2 0x2674
00002640: JUMP
00002641: JUMPDEST
00002642: DUP4
00002643: PUSH1 0x20
00002645: ADD
00002646: MLOAD
00002647: DUP4
00002648: PUSH1 0x20
0000264a: ADD
0000264b: MLOAD
0000264c: SUB
0000264d: SWAP1
0000264e: POP
0000264f: PUSH1 0x00
00002651: DUP3
00002652: PUSH1 0x20
00002654: ADD
00002655: DUP2
00002656: DUP2
00002657: MSTORE
00002658: POP
00002659: POP
0000265a: PUSH2 0x2671
0000265d: DUP5
0000265e: PUSH1 0x00
00002660: ADD
00002661: MLOAD
00002662: PUSH2 0x266c
00002665: PUSH1 0x0a
00002667: DUP5
00002668: PUSH2 0x309e
0000266b: JUMP
0000266c: JUMPDEST
0000266d: PUSH2 0x30ed
00002670: JUMP
00002671: JUMPDEST
00002672: DUP3
00002673: MSTORE
00002674: JUMPDEST
00002675: DUP3
00002676: MLOAD
00002677: DUP3
00002678: MLOAD
00002679: DUP2
0000267a: ISZERO
0000267b: ISZERO
0000267c: PUSH2 0x2681
0000267f: JUMPI
00002680: INVALID
00002681: JUMPDEST
00002682: DIV
00002683: DUP3
00002684: MSTORE
00002685: POP
00002686: SWAP3
00002687: SWAP2
00002688: POP
00002689: POP
0000268a: JUMP
0000268b: JUMPDEST
0000268c: PUSH1 0x00
0000268e: PUSH2 0x2695
00002691: PUSH2 0x3509
00002694: JUMP
00002695: JUMPDEST
00002696: PUSH2 0x269f
00002699: DUP5
0000269a: DUP5
0000269b: PUSH2 0x3164
0000269e: JUMP
0000269f: JUMPDEST
000026a0: PUSH1 0x20
000026a2: DUP1
000026a3: DUP5
000026a4: ADD
000026a5: MLOAD
000026a6: SWAP1
000026a7: DUP6
000026a8: ADD
000026a9: MLOAD
000026aa: EQ
000026ab: PUSH2 0x26fe
000026ae: JUMPI
000026af: PUSH1 0x40
000026b1: DUP1
000026b2: MLOAD
000026b3: PUSH1 0xe5
000026b5: PUSH1 0x02
000026b7: EXP
000026b8: PUSH3 0x461bcd
000026bc: MUL
000026bd: DUP2
000026be: MSTORE
000026bf: PUSH1 0x20
000026c1: PUSH1 0x04
000026c3: DUP3
000026c4: ADD
000026c5: MSTORE
000026c6: PUSH1 0x19
000026c8: PUSH1 0x24
000026ca: DUP3
000026cb: ADD
000026cc: MSTORE
000026cd: PUSH32 0x69746073206d7573742073616d652073616d6544696769747300000000000000
000026ee: PUSH1 0x44
000026f0: DUP3
000026f1: ADD
000026f2: MSTORE
000026f3: SWAP1
000026f4: MLOAD
000026f5: SWAP1
000026f6: DUP2
000026f7: SWAP1
000026f8: SUB
000026f9: PUSH1 0x64
000026fb: ADD
000026fc: SWAP1
000026fd: REVERT
000026fe: JUMPDEST
000026ff: DUP3
00002700: MLOAD
00002701: DUP5
00002702: MLOAD
00002703: LT
00002704: PUSH2 0x271d
00002707: JUMPI
00002708: DUP3
00002709: MLOAD
0000270a: DUP5
0000270b: MLOAD
0000270c: SUB
0000270d: DUP2
0000270e: MSTORE
0000270f: PUSH1 0x20
00002711: DUP1
00002712: DUP6
00002713: ADD
00002714: MLOAD
00002715: SWAP1
00002716: DUP3
00002717: ADD
00002718: MSTORE
00002719: PUSH1 0x01
0000271b: SWAP2
0000271c: POP
0000271d: JUMPDEST
0000271e: SWAP3
0000271f: POP
00002720: SWAP3
00002721: SWAP1
00002722: POP
00002723: JUMP
00002724: JUMPDEST
00002725: PUSH1 0x01
00002727: PUSH1 0xa0
00002729: PUSH1 0x02
0000272b: EXP
0000272c: SUB
0000272d: DUP4
0000272e: AND
0000272f: PUSH1 0x00
00002731: SWAP1
00002732: DUP2
00002733: MSTORE
00002734: PUSH1 0x20
00002736: DUP6
00002737: SWAP1
00002738: MSTORE
00002739: PUSH1 0x40
0000273b: DUP2
0000273c: KECCAK256
0000273d: SLOAD
0000273e: ISZERO
0000273f: ISZERO
00002740: PUSH2 0x2763
00002743: JUMPI
00002744: PUSH1 0x01
00002746: PUSH1 0xa0
00002748: PUSH1 0x02
0000274a: EXP
0000274b: SUB
0000274c: DUP5
0000274d: AND
0000274e: PUSH1 0x00
00002750: SWAP1
00002751: DUP2
00002752: MSTORE
00002753: PUSH1 0x20
00002755: DUP7
00002756: SWAP1
00002757: MSTORE
00002758: PUSH1 0x40
0000275a: SWAP1
0000275b: KECCAK256
0000275c: TIMESTAMP
0000275d: SWAP1
0000275e: SSTORE
0000275f: PUSH2 0x27db
00002762: JUMP
00002763: JUMPDEST
00002764: DUP3
00002765: DUP3
00002766: PUSH3 0x093a80
0000276a: MUL
0000276b: DUP2
0000276c: ISZERO
0000276d: ISZERO
0000276e: PUSH2 0x2773
00002771: JUMPI
00002772: INVALID
00002773: JUMPDEST
00002774: PUSH1 0x01
00002776: PUSH1 0xa0
00002778: PUSH1 0x02
0000277a: EXP
0000277b: SUB
0000277c: DUP7
0000277d: AND
0000277e: PUSH1 0x00
00002780: SWAP1
00002781: DUP2
00002782: MSTORE
00002783: PUSH1 0x20
00002785: DUP9
00002786: SWAP1
00002787: MSTORE
00002788: PUSH1 0x40
0000278a: SWAP1
0000278b: KECCAK256
0000278c: DUP1
0000278d: SLOAD
0000278e: SWAP3
0000278f: SWAP1
00002790: SWAP2
00002791: DIV
00002792: SWAP2
00002793: DUP3
00002794: ADD
00002795: SWAP1
00002796: DUP2
00002797: SWAP1
00002798: SSTORE
00002799: SWAP1
0000279a: SWAP2
0000279b: POP
0000279c: TIMESTAMP
0000279d: LT
0000279e: PUSH2 0x27bf
000027a1: JUMPI
000027a2: PUSH1 0x01
000027a4: PUSH1 0xa0
000027a6: PUSH1 0x02
000027a8: EXP
000027a9: SUB
000027aa: DUP5
000027ab: AND
000027ac: PUSH1 0x00
000027ae: SWAP1
000027af: DUP2
000027b0: MSTORE
000027b1: PUSH1 0x20
000027b3: DUP7
000027b4: SWAP1
000027b5: MSTORE
000027b6: PUSH1 0x40
000027b8: SWAP1
000027b9: KECCAK256
000027ba: SLOAD
000027bb: PUSH2 0x27c1
000027be: JUMP
000027bf: JUMPDEST
000027c0: TIMESTAMP
000027c1: JUMPDEST
000027c2: PUSH1 0x01
000027c4: PUSH1 0xa0
000027c6: PUSH1 0x02
000027c8: EXP
000027c9: SUB
000027ca: DUP6
000027cb: AND
000027cc: PUSH1 0x00
000027ce: SWAP1
000027cf: DUP2
000027d0: MSTORE
000027d1: PUSH1 0x20
000027d3: DUP8
000027d4: SWAP1
000027d5: MSTORE
000027d6: PUSH1 0x40
000027d8: SWAP1
000027d9: KECCAK256
000027da: SSTORE
000027db: JUMPDEST
000027dc: POP
000027dd: POP
000027de: POP
000027df: POP
000027e0: POP
000027e1: JUMP
000027e2: JUMPDEST
000027e3: PUSH1 0x01
000027e5: PUSH1 0xa0
000027e7: PUSH1 0x02
000027e9: EXP
000027ea: SUB
000027eb: DUP4
000027ec: AND
000027ed: PUSH1 0x00
000027ef: SWAP1
000027f0: DUP2
000027f1: MSTORE
000027f2: PUSH1 0x01
000027f4: PUSH1 0x20
000027f6: SWAP1
000027f7: DUP2
000027f8: MSTORE
000027f9: PUSH1 0x40
000027fb: DUP1
000027fc: DUP4
000027fd: KECCAK256
000027fe: CALLER
000027ff: DUP5
00002800: MSTORE
00002801: SWAP1
00002802: SWAP2
00002803: MSTORE
00002804: DUP2
00002805: KECCAK256
00002806: SLOAD
00002807: DUP3
00002808: GT
00002809: ISZERO
0000280a: PUSH2 0x2812
0000280d: JUMPI
0000280e: PUSH1 0x00
00002810: DUP1
00002811: REVERT
00002812: JUMPDEST
00002813: PUSH1 0x01
00002815: PUSH1 0xa0
00002817: PUSH1 0x02
00002819: EXP
0000281a: SUB
0000281b: DUP5
0000281c: AND
0000281d: PUSH1 0x00
0000281f: SWAP1
00002820: DUP2
00002821: MSTORE
00002822: PUSH1 0x01
00002824: PUSH1 0x20
00002826: SWAP1
00002827: DUP2
00002828: MSTORE
00002829: PUSH1 0x40
0000282b: DUP1
0000282c: DUP4
0000282d: KECCAK256
0000282e: CALLER
0000282f: DUP5
00002830: MSTORE
00002831: SWAP1
00002832: SWAP2
00002833: MSTORE
00002834: SWAP1
00002835: KECCAK256
00002836: SLOAD
00002837: PUSH2 0x2846
0000283a: SWAP1
0000283b: DUP4
0000283c: PUSH4 0xffffffff
00002841: PUSH2 0x2f72
00002844: AND
00002845: JUMP
00002846: JUMPDEST
00002847: PUSH1 0x01
00002849: PUSH1 0xa0
0000284b: PUSH1 0x02
0000284d: EXP
0000284e: SUB
0000284f: DUP6
00002850: AND
00002851: PUSH1 0x00
00002853: SWAP1
00002854: DUP2
00002855: MSTORE
00002856: PUSH1 0x01
00002858: PUSH1 0x20
0000285a: SWAP1
0000285b: DUP2
0000285c: MSTORE
0000285d: PUSH1 0x40
0000285f: DUP1
00002860: DUP4
00002861: KECCAK256
00002862: CALLER
00002863: DUP5
00002864: MSTORE
00002865: SWAP1
00002866: SWAP2
00002867: MSTORE
00002868: SWAP1
00002869: KECCAK256
0000286a: SSTORE
0000286b: PUSH2 0x2875
0000286e: DUP5
0000286f: DUP5
00002870: DUP5
00002871: PUSH2 0x2bce
00002874: JUMP
00002875: JUMPDEST
00002876: POP
00002877: PUSH1 0x01
00002879: SWAP4
0000287a: SWAP3
0000287b: POP
0000287c: POP
0000287d: POP
0000287e: JUMP
0000287f: JUMPDEST
00002880: PUSH1 0x00
00002882: DUP3
00002883: DUP3
00002884: ADD
00002885: DUP4
00002886: DUP2
00002887: LT
00002888: ISZERO
00002889: PUSH2 0x1816
0000288c: JUMPI
0000288d: PUSH1 0x00
0000288f: DUP1
00002890: REVERT
00002891: JUMPDEST
00002892: PUSH2 0x2899
00002895: PUSH2 0x3520
00002898: JUMP
00002899: JUMPDEST
0000289a: PUSH1 0x40
0000289c: DUP6
0000289d: ADD
0000289e: MLOAD
0000289f: ISZERO
000028a0: ISZERO
000028a1: PUSH2 0x28da
000028a4: JUMPI
000028a5: PUSH1 0x40
000028a7: DUP1
000028a8: MLOAD
000028a9: PUSH1 0xa0
000028ab: DUP2
000028ac: ADD
000028ad: DUP3
000028ae: MSTORE
000028af: PUSH1 0x01
000028b1: PUSH1 0x80
000028b3: PUSH1 0x02
000028b5: EXP
000028b6: SUB
000028b7: DUP6
000028b8: AND
000028b9: DUP2
000028ba: MSTORE
000028bb: PUSH1 0x00
000028bd: PUSH1 0x20
000028bf: DUP3
000028c0: ADD
000028c1: MSTORE
000028c2: TIMESTAMP
000028c3: SWAP2
000028c4: DUP2
000028c5: ADD
000028c6: SWAP2
000028c7: SWAP1
000028c8: SWAP2
000028c9: MSTORE
000028ca: PUSH1 0x60
000028cc: DUP2
000028cd: ADD
000028ce: DUP4
000028cf: SWAP1
000028d0: MSTORE
000028d1: PUSH1 0x01
000028d3: PUSH1 0x80
000028d5: DUP3
000028d6: ADD
000028d7: MSTORE
000028d8: SWAP5
000028d9: POP
000028da: JUMPDEST
000028db: DUP2
000028dc: DUP6
000028dd: PUSH1 0x40
000028df: ADD
000028e0: MLOAD
000028e1: TIMESTAMP
000028e2: SUB
000028e3: GT
000028e4: ISZERO
000028e5: PUSH2 0x291e
000028e8: JUMPI
000028e9: PUSH1 0x40
000028eb: DUP1
000028ec: MLOAD
000028ed: PUSH1 0xa0
000028ef: DUP2
000028f0: ADD
000028f1: DUP3
000028f2: MSTORE
000028f3: PUSH1 0x01
000028f5: PUSH1 0x80
000028f7: PUSH1 0x02
000028f9: EXP
000028fa: SUB
000028fb: DUP6
000028fc: AND
000028fd: DUP2
000028fe: MSTORE
000028ff: PUSH1 0x00
00002901: PUSH1 0x20
00002903: DUP3
00002904: ADD
00002905: MSTORE
00002906: TIMESTAMP
00002907: SWAP2
00002908: DUP2
00002909: ADD
0000290a: SWAP2
0000290b: SWAP1
0000290c: SWAP2
0000290d: MSTORE
0000290e: PUSH1 0x60
00002910: DUP2
00002911: ADD
00002912: DUP4
00002913: SWAP1
00002914: MSTORE
00002915: PUSH1 0x01
00002917: PUSH1 0x80
00002919: DUP3
0000291a: ADD
0000291b: MSTORE
0000291c: SWAP5
0000291d: POP
0000291e: JUMPDEST
0000291f: POP
00002920: POP
00002921: POP
00002922: PUSH1 0x20
00002924: DUP3
00002925: ADD
00002926: DUP1
00002927: MLOAD
00002928: PUSH1 0x01
0000292a: PUSH1 0x80
0000292c: PUSH1 0x02
0000292e: EXP
0000292f: SUB
00002930: SWAP3
00002931: ADD
00002932: DUP3
00002933: AND
00002934: SWAP1
00002935: DUP2
00002936: SWAP1
00002937: MSTORE
00002938: DUP3
00002939: MLOAD
0000293a: SWAP1
0000293b: SWAP2
0000293c: AND
0000293d: LT
0000293e: ISZERO
0000293f: PUSH1 0x80
00002941: DUP3
00002942: ADD
00002943: MSTORE
00002944: SWAP1
00002945: JUMP
00002946: JUMPDEST
00002947: PUSH2 0x294f
0000294a: DUP2
0000294b: PUSH2 0x3187
0000294e: JUMP
0000294f: JUMPDEST
00002950: ISZERO
00002951: PUSH2 0x2959
00002954: JUMPI
00002955: PUSH2 0x0724
00002958: JUMP
00002959: JUMPDEST
0000295a: PUSH2 0x0724
0000295d: PUSH1 0x08
0000295f: DUP3
00002960: PUSH4 0xffffffff
00002965: PUSH2 0x318c
00002968: AND
00002969: JUMP
0000296a: JUMPDEST
0000296b: PUSH1 0x40
0000296d: DUP1
0000296e: MLOAD
0000296f: PUSH32 0x138091e200000000000000000000000000000000000000000000000000000000
00002990: DUP2
00002991: MSTORE
00002992: PUSH1 0x08
00002994: PUSH1 0x04
00002996: DUP3
00002997: ADD
00002998: MSTORE
00002999: CALLER
0000299a: PUSH1 0x24
0000299c: DUP3
0000299d: ADD
0000299e: MSTORE
0000299f: SWAP1
000029a0: MLOAD
000029a1: PUSH1 0x00
000029a3: SWAP2
000029a4: DUP3
000029a5: SWAP2
000029a6: DUP3
000029a7: SWAP2
000029a8: DUP3
000029a9: SWAP2
000029aa: DUP3
000029ab: SWAP2
000029ac: PUSH20 0xef99396e68fdf7f45040a64f9f2915565c8356df
000029c1: SWAP2
000029c2: PUSH4 0x138091e2
000029c7: SWAP2
000029c8: PUSH1 0x44
000029ca: DUP1
000029cb: DUP3
000029cc: ADD
000029cd: SWAP3
000029ce: PUSH1 0x20
000029d0: SWAP3
000029d1: SWAP1
000029d2: SWAP2
000029d3: SWAP1
000029d4: DUP3
000029d5: SWAP1
000029d6: SUB
000029d7: ADD
000029d8: DUP2
000029d9: DUP7
000029da: DUP1
000029db: EXTCODESIZE
000029dc: ISZERO
000029dd: DUP1
000029de: ISZERO
000029df: PUSH2 0x29e7
000029e2: JUMPI
000029e3: PUSH1 0x00
000029e5: DUP1
000029e6: REVERT
000029e7: JUMPDEST
000029e8: POP
000029e9: GAS
000029ea: DELEGATECALL
000029eb: ISZERO
000029ec: DUP1
000029ed: ISZERO
000029ee: PUSH2 0x29fb
000029f1: JUMPI
000029f2: RETURNDATASIZE
000029f3: PUSH1 0x00
000029f5: DUP1
000029f6: RETURNDATACOPY
000029f7: RETURNDATASIZE
000029f8: PUSH1 0x00
000029fa: REVERT
000029fb: JUMPDEST
000029fc: POP
000029fd: POP
000029fe: POP
000029ff: POP
00002a00: PUSH1 0x40
00002a02: MLOAD
00002a03: RETURNDATASIZE
00002a04: PUSH1 0x20
00002a06: DUP2
00002a07: LT
00002a08: ISZERO
00002a09: PUSH2 0x2a11
00002a0c: JUMPI
00002a0d: PUSH1 0x00
00002a0f: DUP1
00002a10: REVERT
00002a11: JUMPDEST
00002a12: POP
00002a13: MLOAD
00002a14: PUSH1 0x40
00002a16: DUP1
00002a17: MLOAD
00002a18: PUSH32 0x4ac823f400000000000000000000000000000000000000000000000000000000
00002a39: DUP2
00002a3a: MSTORE
00002a3b: PUSH1 0x08
00002a3d: PUSH1 0x04
00002a3f: DUP3
00002a40: ADD
00002a41: MSTORE
00002a42: SWAP1
00002a43: MLOAD
00002a44: SWAP2
00002a45: SWAP7
00002a46: POP
00002a47: PUSH20 0xef99396e68fdf7f45040a64f9f2915565c8356df
00002a5c: SWAP2
00002a5d: PUSH4 0x4ac823f4
00002a62: SWAP2
00002a63: PUSH1 0x24
00002a65: DUP1
00002a66: DUP3
00002a67: ADD
00002a68: SWAP3
00002a69: PUSH1 0x20
00002a6b: SWAP3
00002a6c: SWAP1
00002a6d: SWAP2
00002a6e: SWAP1
00002a6f: DUP3
00002a70: SWAP1
00002a71: SUB
00002a72: ADD
00002a73: DUP2
00002a74: DUP7
00002a75: DUP1
00002a76: EXTCODESIZE
00002a77: ISZERO
00002a78: DUP1
00002a79: ISZERO
00002a7a: PUSH2 0x2a82
00002a7d: JUMPI
00002a7e: PUSH1 0x00
00002a80: DUP1
00002a81: REVERT
00002a82: JUMPDEST
00002a83: POP
00002a84: GAS
00002a85: DELEGATECALL
00002a86: ISZERO
00002a87: DUP1
00002a88: ISZERO
00002a89: PUSH2 0x2a96
00002a8c: JUMPI
00002a8d: RETURNDATASIZE
00002a8e: PUSH1 0x00
00002a90: DUP1
00002a91: RETURNDATACOPY
00002a92: RETURNDATASIZE
00002a93: PUSH1 0x00
00002a95: REVERT
00002a96: JUMPDEST
00002a97: POP
00002a98: POP
00002a99: POP
00002a9a: POP
00002a9b: PUSH1 0x40
00002a9d: MLOAD
00002a9e: RETURNDATASIZE
00002a9f: PUSH1 0x20
00002aa1: DUP2
00002aa2: LT
00002aa3: ISZERO
00002aa4: PUSH2 0x2aac
00002aa7: JUMPI
00002aa8: PUSH1 0x00
00002aaa: DUP1
00002aab: REVERT
00002aac: JUMPDEST
00002aad: POP
00002aae: POP
00002aaf: PUSH1 0x40
00002ab1: DUP1
00002ab2: MLOAD
00002ab3: PUSH32 0x4ac823f400000000000000000000000000000000000000000000000000000000
00002ad4: DUP2
00002ad5: MSTORE
00002ad6: PUSH1 0x08
00002ad8: PUSH1 0x04
00002ada: DUP3
00002adb: ADD
00002adc: MSTORE
00002add: SWAP1
00002ade: MLOAD
00002adf: PUSH1 0x00
00002ae1: SWAP2
00002ae2: PUSH20 0xef99396e68fdf7f45040a64f9f2915565c8356df
00002af7: SWAP2
00002af8: PUSH4 0x4ac823f4
00002afd: SWAP2
00002afe: PUSH1 0x24
00002b00: DUP1
00002b01: DUP3
00002b02: ADD
00002b03: SWAP3
00002b04: PUSH1 0x20
00002b06: SWAP3
00002b07: SWAP1
00002b08: SWAP2
00002b09: SWAP1
00002b0a: DUP3
00002b0b: SWAP1
00002b0c: SUB
00002b0d: ADD
00002b0e: DUP2
00002b0f: DUP7
00002b10: DUP1
00002b11: EXTCODESIZE
00002b12: ISZERO
00002b13: DUP1
00002b14: ISZERO
00002b15: PUSH2 0x2b1d
00002b18: JUMPI
00002b19: PUSH1 0x00
00002b1b: DUP1
00002b1c: REVERT
00002b1d: JUMPDEST
00002b1e: POP
00002b1f: GAS
00002b20: DELEGATECALL
00002b21: ISZERO
00002b22: DUP1
00002b23: ISZERO
00002b24: PUSH2 0x2b31
00002b27: JUMPI
00002b28: RETURNDATASIZE
00002b29: PUSH1 0x00
00002b2b: DUP1
00002b2c: RETURNDATACOPY
00002b2d: RETURNDATASIZE
00002b2e: PUSH1 0x00
00002b30: REVERT
00002b31: JUMPDEST
00002b32: POP
00002b33: POP
00002b34: POP
00002b35: POP
00002b36: PUSH1 0x40
00002b38: MLOAD
00002b39: RETURNDATASIZE
00002b3a: PUSH1 0x20
00002b3c: DUP2
00002b3d: LT
00002b3e: ISZERO
00002b3f: PUSH2 0x2b47
00002b42: JUMPI
00002b43: PUSH1 0x00
00002b45: DUP1
00002b46: REVERT
00002b47: JUMPDEST
00002b48: POP
00002b49: MLOAD
00002b4a: EQ
00002b4b: SWAP4
00002b4c: POP
00002b4d: DUP4
00002b4e: DUP1
00002b4f: ISZERO
00002b50: PUSH2 0x2b60
00002b53: JUMPI
00002b54: POP
00002b55: PUSH1 0x01
00002b57: PUSH1 0xa0
00002b59: PUSH1 0x02
00002b5b: EXP
00002b5c: SUB
00002b5d: DUP6
00002b5e: AND
00002b5f: ISZERO
00002b60: JUMPDEST
00002b61: ISZERO
00002b62: PUSH2 0x2b6a
00002b65: JUMPI
00002b66: PUSH2 0x2bc5
00002b69: JUMP
00002b6a: JUMPDEST
00002b6b: DUP7
00002b6c: DUP7
00002b6d: LT
00002b6e: ISZERO
00002b6f: PUSH2 0x2b77
00002b72: JUMPI
00002b73: PUSH2 0x2bc5
00002b76: JUMP
00002b77: JUMPDEST
00002b78: POP
00002b79: POP
00002b7a: POP
00002b7b: DUP4
00002b7c: DUP4
00002b7d: SUB
00002b7e: PUSH1 0x09
00002b80: PUSH1 0x03
00002b82: DUP3
00002b83: MUL
00002b84: DIV
00002b85: DUP1
00002b86: PUSH2 0x2b91
00002b89: PUSH1 0x08
00002b8b: CALLER
00002b8c: DUP4
00002b8d: PUSH2 0x2f9f
00002b90: JUMP
00002b91: JUMPDEST
00002b92: POP
00002b93: PUSH1 0x07
00002b95: DUP1
00002b96: SLOAD
00002b97: DUP4
00002b98: ADD
00002b99: SWAP1
00002b9a: SSTORE
00002b9b: PUSH1 0x01
00002b9d: PUSH1 0xa0
00002b9f: PUSH1 0x02
00002ba1: EXP
00002ba2: SUB
00002ba3: DUP6
00002ba4: AND
00002ba5: ISZERO
00002ba6: PUSH2 0x2bc5
00002ba9: JUMPI
00002baa: PUSH2 0x2bbb
00002bad: PUSH1 0x08
00002baf: DUP7
00002bb0: DUP4
00002bb1: PUSH4 0xffffffff
00002bb6: PUSH2 0x2f9f
00002bb9: AND
00002bba: JUMP
00002bbb: JUMPDEST
00002bbc: POP
00002bbd: PUSH1 0x07
00002bbf: DUP1
00002bc0: SLOAD
00002bc1: DUP3
00002bc2: ADD
00002bc3: SWAP1
00002bc4: SSTORE
00002bc5: JUMPDEST
00002bc6: POP
00002bc7: POP
00002bc8: POP
00002bc9: POP
00002bca: POP
00002bcb: POP
00002bcc: POP
00002bcd: JUMP
00002bce: JUMPDEST
00002bcf: PUSH1 0x01
00002bd1: PUSH1 0xa0
00002bd3: PUSH1 0x02
00002bd5: EXP
00002bd6: SUB
00002bd7: DUP4
00002bd8: AND
00002bd9: PUSH1 0x00
00002bdb: SWAP1
00002bdc: DUP2
00002bdd: MSTORE
00002bde: PUSH1 0x20
00002be0: DUP2
00002be1: SWAP1
00002be2: MSTORE
00002be3: PUSH1 0x40
00002be5: SWAP1
00002be6: KECCAK256
00002be7: SLOAD
00002be8: DUP2
00002be9: GT
00002bea: ISZERO
00002beb: PUSH2 0x2bf3
00002bee: JUMPI
00002bef: PUSH1 0x00
00002bf1: DUP1
00002bf2: REVERT
00002bf3: JUMPDEST
00002bf4: PUSH1 0x01
00002bf6: PUSH1 0xa0
00002bf8: PUSH1 0x02
00002bfa: EXP
00002bfb: SUB
00002bfc: DUP3
00002bfd: AND
00002bfe: ISZERO
00002bff: ISZERO
00002c00: PUSH2 0x2c08
00002c03: JUMPI
00002c04: PUSH1 0x00
00002c06: DUP1
00002c07: REVERT
00002c08: JUMPDEST
00002c09: PUSH1 0x01
00002c0b: PUSH1 0xa0
00002c0d: PUSH1 0x02
00002c0f: EXP
00002c10: SUB
00002c11: DUP4
00002c12: AND
00002c13: PUSH1 0x00
00002c15: SWAP1
00002c16: DUP2
00002c17: MSTORE
00002c18: PUSH1 0x20
00002c1a: DUP2
00002c1b: SWAP1
00002c1c: MSTORE
00002c1d: PUSH1 0x40
00002c1f: SWAP1
00002c20: KECCAK256
00002c21: SLOAD
00002c22: PUSH2 0x2c31
00002c25: SWAP1
00002c26: DUP3
00002c27: PUSH4 0xffffffff
00002c2c: PUSH2 0x2f72
00002c2f: AND
00002c30: JUMP
00002c31: JUMPDEST
00002c32: PUSH1 0x01
00002c34: PUSH1 0xa0
00002c36: PUSH1 0x02
00002c38: EXP
00002c39: SUB
00002c3a: DUP1
00002c3b: DUP6
00002c3c: AND
00002c3d: PUSH1 0x00
00002c3f: SWAP1
00002c40: DUP2
00002c41: MSTORE
00002c42: PUSH1 0x20
00002c44: DUP2
00002c45: SWAP1
00002c46: MSTORE
00002c47: PUSH1 0x40
00002c49: DUP1
00002c4a: DUP3
00002c4b: KECCAK256
00002c4c: SWAP4
00002c4d: SWAP1
00002c4e: SWAP4
00002c4f: SSTORE
00002c50: SWAP1
00002c51: DUP5
00002c52: AND
00002c53: DUP2
00002c54: MSTORE
00002c55: KECCAK256
00002c56: SLOAD
00002c57: PUSH2 0x2c66
00002c5a: SWAP1
00002c5b: DUP3
00002c5c: PUSH4 0xffffffff
00002c61: PUSH2 0x287f
00002c64: AND
00002c65: JUMP
00002c66: JUMPDEST
00002c67: PUSH1 0x01
00002c69: PUSH1 0xa0
00002c6b: PUSH1 0x02
00002c6d: EXP
00002c6e: SUB
00002c6f: DUP1
00002c70: DUP5
00002c71: AND
00002c72: PUSH1 0x00
00002c74: DUP2
00002c75: DUP2
00002c76: MSTORE
00002c77: PUSH1 0x20
00002c79: DUP2
00002c7a: DUP2
00002c7b: MSTORE
00002c7c: PUSH1 0x40
00002c7e: SWAP2
00002c7f: DUP3
00002c80: SWAP1
00002c81: KECCAK256
00002c82: SWAP5
00002c83: SWAP1
00002c84: SWAP5
00002c85: SSTORE
00002c86: DUP1
00002c87: MLOAD
00002c88: DUP6
00002c89: DUP2
00002c8a: MSTORE
00002c8b: SWAP1
00002c8c: MLOAD
00002c8d: SWAP2
00002c8e: SWAP4
00002c8f: SWAP3
00002c90: DUP8
00002c91: AND
00002c92: SWAP3
00002c93: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002cb4: SWAP3
00002cb5: SWAP2
00002cb6: DUP3
00002cb7: SWAP1
00002cb8: SUB
00002cb9: ADD
00002cba: SWAP1
00002cbb: LOG3
00002cbc: POP
00002cbd: POP
00002cbe: POP
00002cbf: JUMP
00002cc0: JUMPDEST
00002cc1: PUSH2 0x2cc8
00002cc4: PUSH2 0x3509
00002cc7: JUMP
00002cc8: JUMPDEST
00002cc9: PUSH2 0x2cd2
00002ccc: DUP4
00002ccd: DUP4
00002cce: PUSH2 0x3164
00002cd1: JUMP
00002cd2: JUMPDEST
00002cd3: PUSH1 0x20
00002cd5: DUP1
00002cd6: DUP4
00002cd7: ADD
00002cd8: MLOAD
00002cd9: SWAP1
00002cda: DUP5
00002cdb: ADD
00002cdc: MLOAD
00002cdd: EQ
00002cde: PUSH2 0x2d31
00002ce1: JUMPI
00002ce2: PUSH1 0x40
00002ce4: DUP1
00002ce5: MLOAD
00002ce6: PUSH1 0xe5
00002ce8: PUSH1 0x02
00002cea: EXP
00002ceb: PUSH3 0x461bcd
00002cef: MUL
00002cf0: DUP2
00002cf1: MSTORE
00002cf2: PUSH1 0x20
00002cf4: PUSH1 0x04
00002cf6: DUP3
00002cf7: ADD
00002cf8: MSTORE
00002cf9: PUSH1 0x19
00002cfb: PUSH1 0x24
00002cfd: DUP3
00002cfe: ADD
00002cff: MSTORE
00002d00: PUSH32 0x69746073206d7573742073616d652073616d6544696769747300000000000000
00002d21: PUSH1 0x44
00002d23: DUP3
00002d24: ADD
00002d25: MSTORE
00002d26: SWAP1
00002d27: MLOAD
00002d28: SWAP1
00002d29: DUP2
00002d2a: SWAP1
00002d2b: SUB
00002d2c: PUSH1 0x64
00002d2e: ADD
00002d2f: SWAP1
00002d30: REVERT
00002d31: JUMPDEST
00002d32: SWAP1
00002d33: MLOAD
00002d34: DUP3
00002d35: MLOAD
00002d36: ADD
00002d37: DUP2
00002d38: MSTORE
00002d39: PUSH1 0x20
00002d3b: SWAP2
00002d3c: DUP3
00002d3d: ADD
00002d3e: MLOAD
00002d3f: SWAP2
00002d40: DUP2
00002d41: ADD
00002d42: SWAP2
00002d43: SWAP1
00002d44: SWAP2
00002d45: MSTORE
00002d46: SWAP1
00002d47: JUMP
00002d48: JUMPDEST
00002d49: PUSH1 0x00
00002d4b: PUSH1 0x07
00002d4d: SLOAD
00002d4e: PUSH2 0x2d55
00002d51: PUSH2 0x3346
00002d54: JUMP
00002d55: JUMPDEST
00002d56: ADD
00002d57: ADDRESS
00002d58: BALANCE
00002d59: SUB
00002d5a: SWAP1
00002d5b: POP
00002d5c: SWAP1
00002d5d: JUMP
00002d5e: JUMPDEST
00002d5f: PUSH1 0x00
00002d61: DUP1
00002d62: PUSH2 0x2d72
00002d65: PUSH1 0x08
00002d67: DUP5
00002d68: PUSH4 0xffffffff
00002d6d: PUSH2 0x337c
00002d70: AND
00002d71: JUMP
00002d72: JUMPDEST
00002d73: SWAP2
00002d74: POP
00002d75: DUP2
00002d76: ISZERO
00002d77: ISZERO
00002d78: PUSH2 0x2d80
00002d7b: JUMPI
00002d7c: PUSH2 0x2dab
00002d7f: JUMP
00002d80: JUMPDEST
00002d81: PUSH1 0x06
00002d83: SLOAD
00002d84: PUSH2 0x2d8c
00002d87: DUP5
00002d88: PUSH2 0x12da
00002d8b: JUMP
00002d8c: JUMPDEST
00002d8d: PUSH2 0x2d94
00002d90: PUSH2 0x2d48
00002d93: JUMP
00002d94: JUMPDEST
00002d95: MUL
00002d96: DUP2
00002d97: ISZERO
00002d98: ISZERO
00002d99: PUSH2 0x2d9e
00002d9c: JUMPI
00002d9d: INVALID
00002d9e: JUMPDEST
00002d9f: DIV
00002da0: SWAP1
00002da1: POP
00002da2: PUSH2 0x2dab
00002da5: DUP4
00002da6: DUP3
00002da7: PUSH2 0x2ef8
00002daa: JUMP
00002dab: JUMPDEST
00002dac: POP
00002dad: POP
00002dae: POP
00002daf: JUMP
00002db0: JUMPDEST
00002db1: PUSH2 0x2db8
00002db4: PUSH2 0x3520
00002db7: JUMP
00002db8: JUMPDEST
00002db9: CALLER
00002dba: PUSH1 0x00
00002dbc: SWAP1
00002dbd: DUP2
00002dbe: MSTORE
00002dbf: PUSH1 0x05
00002dc1: DUP7
00002dc2: ADD
00002dc3: PUSH1 0x20
00002dc5: SWAP1
00002dc6: DUP2
00002dc7: MSTORE
00002dc8: PUSH1 0x40
00002dca: SWAP2
00002dcb: DUP3
00002dcc: SWAP1
00002dcd: KECCAK256
00002dce: DUP3
00002dcf: MLOAD
00002dd0: PUSH1 0xa0
00002dd2: DUP2
00002dd3: ADD
00002dd4: DUP5
00002dd5: MSTORE
00002dd6: DUP2
00002dd7: SLOAD
00002dd8: PUSH1 0x01
00002dda: PUSH1 0x80
00002ddc: PUSH1 0x02
00002dde: EXP
00002ddf: SUB
00002de0: DUP1
00002de1: DUP3
00002de2: AND
00002de3: DUP4
00002de4: MSTORE
00002de5: PUSH1 0x80
00002de7: PUSH1 0x02
00002de9: EXP
00002dea: SWAP1
00002deb: SWAP2
00002dec: DIV
00002ded: AND
00002dee: SWAP3
00002def: DUP2
00002df0: ADD
00002df1: SWAP3
00002df2: SWAP1
00002df3: SWAP3
00002df4: MSTORE
00002df5: PUSH1 0x01
00002df7: DUP2
00002df8: ADD
00002df9: SLOAD
00002dfa: SWAP3
00002dfb: DUP3
00002dfc: ADD
00002dfd: SWAP3
00002dfe: SWAP1
00002dff: SWAP3
00002e00: MSTORE
00002e01: PUSH1 0x02
00002e03: DUP3
00002e04: ADD
00002e05: SLOAD
00002e06: PUSH1 0x60
00002e08: DUP3
00002e09: ADD
00002e0a: MSTORE
00002e0b: PUSH1 0x03
00002e0d: DUP3
00002e0e: ADD
00002e0f: SLOAD
00002e10: PUSH1 0xff
00002e12: AND
00002e13: ISZERO
00002e14: ISZERO
00002e15: PUSH1 0x80
00002e17: DUP3
00002e18: ADD
00002e19: MSTORE
00002e1a: PUSH2 0x2e2b
00002e1d: SWAP1
00002e1e: DUP7
00002e1f: DUP7
00002e20: DUP7
00002e21: PUSH4 0xffffffff
00002e26: PUSH2 0x2891
00002e29: AND
00002e2a: JUMP
00002e2b: JUMPDEST
00002e2c: CALLER
00002e2d: PUSH1 0x00
00002e2f: SWAP1
00002e30: DUP2
00002e31: MSTORE
00002e32: PUSH1 0x05
00002e34: DUP9
00002e35: ADD
00002e36: PUSH1 0x20
00002e38: SWAP1
00002e39: DUP2
00002e3a: MSTORE
00002e3b: PUSH1 0x40
00002e3d: SWAP2
00002e3e: DUP3
00002e3f: SWAP1
00002e40: KECCAK256
00002e41: DUP4
00002e42: MLOAD
00002e43: DUP2
00002e44: SLOAD
00002e45: DUP6
00002e46: DUP5
00002e47: ADD
00002e48: MLOAD
00002e49: PUSH1 0x01
00002e4b: PUSH1 0x80
00002e4d: PUSH1 0x02
00002e4f: EXP
00002e50: SUB
00002e51: SWAP1
00002e52: DUP2
00002e53: AND
00002e54: PUSH1 0x80
00002e56: PUSH1 0x02
00002e58: EXP
00002e59: SWAP1
00002e5a: DUP2
00002e5b: MUL
00002e5c: SWAP4
00002e5d: DUP3
00002e5e: AND
00002e5f: PUSH16 0xffffffffffffffffffffffffffffffff
00002e70: NOT
00002e71: SWAP1
00002e72: SWAP4
00002e73: AND
00002e74: SWAP3
00002e75: SWAP1
00002e76: SWAP3
00002e77: OR
00002e78: DUP2
00002e79: AND
00002e7a: SWAP3
00002e7b: SWAP1
00002e7c: SWAP3
00002e7d: OR
00002e7e: DUP1
00002e7f: DUP5
00002e80: SSTORE
00002e81: DUP7
00002e82: DUP7
00002e83: ADD
00002e84: MLOAD
00002e85: PUSH1 0x01
00002e87: DUP6
00002e88: ADD
00002e89: DUP2
00002e8a: SWAP1
00002e8b: SSTORE
00002e8c: PUSH1 0x60
00002e8e: DUP1
00002e8f: DUP10
00002e90: ADD
00002e91: MLOAD
00002e92: PUSH1 0x02
00002e94: DUP8
00002e95: ADD
00002e96: DUP2
00002e97: SWAP1
00002e98: SSTORE
00002e99: PUSH1 0x80
00002e9b: SWAP10
00002e9c: DUP11
00002e9d: ADD
00002e9e: MLOAD
00002e9f: PUSH1 0x03
00002ea1: SWAP1
00002ea2: SWAP8
00002ea3: ADD
00002ea4: DUP1
00002ea5: SLOAD
00002ea6: SWAP8
00002ea7: ISZERO
00002ea8: ISZERO
00002ea9: PUSH1 0xff
00002eab: NOT
00002eac: SWAP1
00002ead: SWAP9
00002eae: AND
00002eaf: SWAP8
00002eb0: SWAP1
00002eb1: SWAP8
00002eb2: OR
00002eb3: SWAP7
00002eb4: DUP8
00002eb5: SWAP1
00002eb6: SSTORE
00002eb7: DUP9
00002eb8: MLOAD
00002eb9: PUSH1 0xa0
00002ebb: DUP2
00002ebc: ADD
00002ebd: DUP11
00002ebe: MSTORE
00002ebf: DUP5
00002ec0: DUP8
00002ec1: AND
00002ec2: DUP2
00002ec3: MSTORE
00002ec4: SWAP5
00002ec5: SWAP1
00002ec6: SWAP4
00002ec7: DIV
00002ec8: SWAP1
00002ec9: SWAP5
00002eca: AND
00002ecb: SWAP6
00002ecc: DUP4
00002ecd: ADD
00002ece: SWAP6
00002ecf: SWAP1
00002ed0: SWAP6
00002ed1: MSTORE
00002ed2: SWAP5
00002ed3: DUP2
00002ed4: ADD
00002ed5: SWAP4
00002ed6: SWAP1
00002ed7: SWAP4
00002ed8: MSTORE
00002ed9: DUP3
00002eda: ADD
00002edb: SWAP3
00002edc: SWAP1
00002edd: SWAP3
00002ede: MSTORE
00002edf: PUSH1 0xff
00002ee1: SWAP2
00002ee2: SWAP1
00002ee3: SWAP2
00002ee4: AND
00002ee5: ISZERO
00002ee6: ISZERO
00002ee7: SWAP2
00002ee8: DUP2
00002ee9: ADD
00002eea: SWAP2
00002eeb: SWAP1
00002eec: SWAP2
00002eed: MSTORE
00002eee: SWAP2
00002eef: POP
00002ef0: POP
00002ef1: SWAP5
00002ef2: SWAP4
00002ef3: POP
00002ef4: POP
00002ef5: POP
00002ef6: POP
00002ef7: JUMP
00002ef8: JUMPDEST
00002ef9: ADDRESS
00002efa: BALANCE
00002efb: DUP2
00002efc: GT
00002efd: PUSH2 0x2f3c
00002f00: JUMPI
00002f01: PUSH1 0x40
00002f03: MLOAD
00002f04: PUSH1 0x01
00002f06: PUSH1 0xa0
00002f08: PUSH1 0x02
00002f0a: EXP
00002f0b: SUB
00002f0c: DUP4
00002f0d: AND
00002f0e: SWAP1
00002f0f: DUP3
00002f10: ISZERO
00002f11: PUSH2 0x08fc
00002f14: MUL
00002f15: SWAP1
00002f16: DUP4
00002f17: SWAP1
00002f18: PUSH1 0x00
00002f1a: DUP2
00002f1b: DUP2
00002f1c: DUP2
00002f1d: DUP6
00002f1e: DUP9
00002f1f: DUP9
00002f20: CALL
00002f21: SWAP4
00002f22: POP
00002f23: POP
00002f24: POP
00002f25: POP
00002f26: ISZERO
00002f27: DUP1
00002f28: ISZERO
00002f29: PUSH2 0x2f36
00002f2c: JUMPI
00002f2d: RETURNDATASIZE
00002f2e: PUSH1 0x00
00002f30: DUP1
00002f31: RETURNDATACOPY
00002f32: RETURNDATASIZE
00002f33: PUSH1 0x00
00002f35: REVERT
00002f36: JUMPDEST
00002f37: POP
00002f38: PUSH2 0x12d6
00002f3b: JUMP
00002f3c: JUMPDEST
00002f3d: PUSH1 0x40
00002f3f: MLOAD
00002f40: PUSH1 0x01
00002f42: PUSH1 0xa0
00002f44: PUSH1 0x02
00002f46: EXP
00002f47: SUB
00002f48: DUP4
00002f49: AND
00002f4a: SWAP1
00002f4b: ADDRESS
00002f4c: BALANCE
00002f4d: DUP1
00002f4e: ISZERO
00002f4f: PUSH2 0x08fc
00002f52: MUL
00002f53: SWAP2
00002f54: PUSH1 0x00
00002f56: DUP2
00002f57: DUP2
00002f58: DUP2
00002f59: DUP6
00002f5a: DUP9
00002f5b: DUP9
00002f5c: CALL
00002f5d: SWAP4
00002f5e: POP
00002f5f: POP
00002f60: POP
00002f61: POP
00002f62: ISZERO
00002f63: DUP1
00002f64: ISZERO
00002f65: PUSH2 0x2dab
00002f68: JUMPI
00002f69: RETURNDATASIZE
00002f6a: PUSH1 0x00
00002f6c: DUP1
00002f6d: RETURNDATACOPY
00002f6e: RETURNDATASIZE
00002f6f: PUSH1 0x00
00002f71: REVERT
00002f72: JUMPDEST
00002f73: PUSH1 0x00
00002f75: DUP1
00002f76: DUP4
00002f77: DUP4
00002f78: GT
00002f79: ISZERO
00002f7a: PUSH2 0x2f82
00002f7d: JUMPI
00002f7e: PUSH1 0x00
00002f80: DUP1
00002f81: REVERT
00002f82: JUMPDEST
00002f83: POP
00002f84: POP
00002f85: SWAP1
00002f86: SUB
00002f87: SWAP1
00002f88: JUMP
00002f89: JUMPDEST
00002f8a: PUSH1 0x00
00002f8c: PUSH2 0x2f96
00002f8f: CALLER
00002f90: DUP5
00002f91: DUP5
00002f92: PUSH2 0x2bce
00002f95: JUMP
00002f96: JUMPDEST
00002f97: POP
00002f98: PUSH1 0x01
00002f9a: SWAP3
00002f9b: SWAP2
00002f9c: POP
00002f9d: POP
00002f9e: JUMP
00002f9f: JUMPDEST
00002fa0: PUSH1 0x01
00002fa2: PUSH1 0xa0
00002fa4: PUSH1 0x02
00002fa6: EXP
00002fa7: SUB
00002fa8: DUP3
00002fa9: AND
00002faa: PUSH1 0x00
00002fac: SWAP1
00002fad: DUP2
00002fae: MSTORE
00002faf: PUSH1 0x01
00002fb1: DUP5
00002fb2: ADD
00002fb3: PUSH1 0x20
00002fb5: MSTORE
00002fb6: PUSH1 0x40
00002fb8: SWAP1
00002fb9: KECCAK256
00002fba: DUP1
00002fbb: SLOAD
00002fbc: DUP3
00002fbd: ADD
00002fbe: SWAP1
00002fbf: SSTORE
00002fc0: DUP1
00002fc1: SWAP4
00002fc2: SWAP3
00002fc3: POP
00002fc4: POP
00002fc5: POP
00002fc6: JUMP
00002fc7: JUMPDEST
00002fc8: PUSH2 0x2fcf
00002fcb: PUSH2 0x3520
00002fce: JUMP
00002fcf: JUMPDEST
00002fd0: POP
00002fd1: CALLER
00002fd2: PUSH1 0x00
00002fd4: SWAP1
00002fd5: DUP2
00002fd6: MSTORE
00002fd7: PUSH1 0x05
00002fd9: DUP3
00002fda: ADD
00002fdb: PUSH1 0x20
00002fdd: SWAP1
00002fde: DUP2
00002fdf: MSTORE
00002fe0: PUSH1 0x40
00002fe2: SWAP2
00002fe3: DUP3
00002fe4: SWAP1
00002fe5: KECCAK256
00002fe6: DUP3
00002fe7: MLOAD
00002fe8: PUSH1 0xa0
00002fea: DUP2
00002feb: ADD
00002fec: DUP5
00002fed: MSTORE
00002fee: DUP2
00002fef: SLOAD
00002ff0: PUSH1 0x01
00002ff2: PUSH1 0x80
00002ff4: PUSH1 0x02
00002ff6: EXP
00002ff7: SUB
00002ff8: DUP1
00002ff9: DUP3
00002ffa: AND
00002ffb: DUP4
00002ffc: MSTORE
00002ffd: PUSH1 0x80
00002fff: PUSH1 0x02
00003001: EXP
00003002: SWAP1
00003003: SWAP2
00003004: DIV
00003005: AND
00003006: SWAP3
00003007: DUP2
00003008: ADD
00003009: SWAP3
0000300a: SWAP1
0000300b: SWAP3
0000300c: MSTORE
0000300d: PUSH1 0x01
0000300f: DUP2
00003010: ADD
00003011: SLOAD
00003012: SWAP3
00003013: DUP3
00003014: ADD
00003015: SWAP3
00003016: SWAP1
00003017: SWAP3
00003018: MSTORE
00003019: PUSH1 0x02
0000301b: DUP3
0000301c: ADD
0000301d: SLOAD
0000301e: PUSH1 0x60
00003020: DUP3
00003021: ADD
00003022: MSTORE
00003023: PUSH1 0x03
00003025: SWAP1
00003026: SWAP2
00003027: ADD
00003028: SLOAD
00003029: PUSH1 0xff
0000302b: AND
0000302c: ISZERO
0000302d: ISZERO
0000302e: PUSH1 0x80
00003030: DUP3
00003031: ADD
00003032: MSTORE
00003033: SWAP2
00003034: SWAP1
00003035: POP
00003036: JUMP
00003037: JUMPDEST
00003038: PUSH2 0x303f
0000303b: PUSH2 0x3509
0000303e: JUMP
0000303f: JUMPDEST
00003040: PUSH1 0x00
00003042: DUP1
00003043: PUSH1 0x00
00003045: PUSH2 0x3056
00003048: DUP7
00003049: PUSH1 0x00
0000304b: ADD
0000304c: MLOAD
0000304d: DUP7
0000304e: PUSH1 0x00
00003050: ADD
00003051: MLOAD
00003052: PUSH2 0x33cf
00003055: JUMP
00003056: JUMPDEST
00003057: SWAP2
00003058: DUP7
00003059: MSTORE
0000305a: PUSH1 0x20
0000305c: SWAP7
0000305d: DUP8
0000305e: ADD
0000305f: MLOAD
00003060: SWAP8
00003061: DUP8
00003062: ADD
00003063: MLOAD
00003064: SWAP2
00003065: ADD
00003066: SWAP7
00003067: ADD
00003068: SWAP6
00003069: SWAP1
0000306a: SWAP6
0000306b: SUB
0000306c: SWAP4
0000306d: DUP4
0000306e: ADD
0000306f: SWAP4
00003070: SWAP1
00003071: SWAP4
00003072: MSTORE
00003073: POP
00003074: SWAP3
00003075: SWAP2
00003076: POP
00003077: POP
00003078: JUMP
00003079: JUMPDEST
0000307a: DUP1
0000307b: MLOAD
0000307c: PUSH1 0x00
0000307e: JUMPDEST
0000307f: DUP3
00003080: PUSH1 0x20
00003082: ADD
00003083: MLOAD
00003084: DUP2
00003085: LT
00003086: ISZERO
00003087: PUSH2 0x3098
0000308a: JUMPI
0000308b: PUSH1 0x0a
0000308d: DUP3
0000308e: DIV
0000308f: SWAP2
00003090: POP
00003091: PUSH1 0x01
00003093: ADD
00003094: PUSH2 0x307e
00003097: JUMP
00003098: JUMPDEST
00003099: POP
0000309a: SWAP2
0000309b: SWAP1
0000309c: POP
0000309d: JUMP
0000309e: JUMPDEST
0000309f: PUSH1 0x00
000030a1: DUP1
000030a2: DUP1
000030a3: DUP5
000030a4: ISZERO
000030a5: ISZERO
000030a6: PUSH2 0x30b2
000030a9: JUMPI
000030aa: PUSH1 0x00
000030ac: SWAP3
000030ad: POP
000030ae: PUSH2 0x08b9
000030b1: JUMP
000030b2: JUMPDEST
000030b3: DUP4
000030b4: ISZERO
000030b5: ISZERO
000030b6: PUSH2 0x30c2
000030b9: JUMPI
000030ba: PUSH1 0x01
000030bc: SWAP3
000030bd: POP
000030be: PUSH2 0x08b9
000030c1: JUMP
000030c2: JUMPDEST
000030c3: POP
000030c4: DUP4
000030c5: SWAP1
000030c6: POP
000030c7: PUSH1 0x01
000030c9: JUMPDEST
000030ca: DUP4
000030cb: DUP2
000030cc: LT
000030cd: ISZERO
000030ce: PUSH2 0x30e5
000030d1: JUMPI
000030d2: PUSH2 0x30db
000030d5: DUP3
000030d6: DUP7
000030d7: PUSH2 0x30ed
000030da: JUMP
000030db: JUMPDEST
000030dc: SWAP2
000030dd: POP
000030de: PUSH1 0x01
000030e0: ADD
000030e1: PUSH2 0x30c9
000030e4: JUMP
000030e5: JUMPDEST
000030e6: DUP2
000030e7: SWAP3
000030e8: POP
000030e9: PUSH2 0x08b9
000030ec: JUMP
000030ed: JUMPDEST
000030ee: PUSH1 0x00
000030f0: DUP3
000030f1: ISZERO
000030f2: ISZERO
000030f3: PUSH2 0x30fe
000030f6: JUMPI
000030f7: POP
000030f8: PUSH1 0x00
000030fa: PUSH2 0x07a0
000030fd: JUMP
000030fe: JUMPDEST
000030ff: POP
00003100: DUP2
00003101: DUP2
00003102: MUL
00003103: DUP2
00003104: DUP4
00003105: DUP3
00003106: DUP2
00003107: ISZERO
00003108: ISZERO
00003109: PUSH2 0x310e
0000310c: JUMPI
0000310d: INVALID
0000310e: JUMPDEST
0000310f: DIV
00003110: EQ
00003111: PUSH2 0x07a0
00003114: JUMPI
00003115: PUSH1 0x40
00003117: DUP1
00003118: MLOAD
00003119: PUSH1 0xe5
0000311b: PUSH1 0x02
0000311d: EXP
0000311e: PUSH3 0x461bcd
00003122: MUL
00003123: DUP2
00003124: MSTORE
00003125: PUSH1 0x20
00003127: PUSH1 0x04
00003129: DUP3
0000312a: ADD
0000312b: MSTORE
0000312c: PUSH1 0x13
0000312e: PUSH1 0x24
00003130: DUP3
00003131: ADD
00003132: MSTORE
00003133: PUSH32 0x536166654d617468206d756c206661696c656400000000000000000000000000
00003154: PUSH1 0x44
00003156: DUP3
00003157: ADD
00003158: MSTORE
00003159: SWAP1
0000315a: MLOAD
0000315b: SWAP1
0000315c: DUP2
0000315d: SWAP1
0000315e: SUB
0000315f: PUSH1 0x64
00003161: ADD
00003162: SWAP1
00003163: REVERT
00003164: JUMPDEST
00003165: DUP1
00003166: PUSH1 0x20
00003168: ADD
00003169: MLOAD
0000316a: DUP3
0000316b: PUSH1 0x20
0000316d: ADD
0000316e: MLOAD
0000316f: GT
00003170: PUSH2 0x317d
00003173: JUMPI
00003174: PUSH2 0x129c
00003177: DUP2
00003178: DUP4
00003179: PUSH2 0x340d
0000317c: JUMP
0000317d: JUMPDEST
0000317e: PUSH2 0x12d6
00003181: DUP3
00003182: DUP3
00003183: PUSH2 0x340d
00003186: JUMP
00003187: JUMPDEST
00003188: MLOAD
00003189: ISZERO
0000318a: SWAP1
0000318b: JUMP
0000318c: JUMPDEST
0000318d: PUSH1 0x00
0000318f: DUP1
00003190: PUSH2 0x3198
00003193: DUP4
00003194: PUSH2 0x1cb2
00003197: JUMP
00003198: JUMPDEST
00003199: SWAP2
0000319a: POP
0000319b: PUSH2 0x31a4
0000319e: DUP5
0000319f: DUP4
000031a0: PUSH2 0x3434
000031a3: JUMP
000031a4: JUMPDEST
000031a5: SWAP1
000031a6: POP
000031a7: PUSH1 0x01
000031a9: PUSH1 0xa0
000031ab: PUSH1 0x02
000031ad: EXP
000031ae: SUB
000031af: DUP2
000031b0: AND
000031b1: ISZERO
000031b2: ISZERO
000031b3: PUSH2 0x3206
000031b6: JUMPI
000031b7: PUSH1 0x40
000031b9: DUP1
000031ba: MLOAD
000031bb: PUSH1 0xe5
000031bd: PUSH1 0x02
000031bf: EXP
000031c0: PUSH3 0x461bcd
000031c4: MUL
000031c5: DUP2
000031c6: MSTORE
000031c7: PUSH1 0x20
000031c9: PUSH1 0x04
000031cb: DUP3
000031cc: ADD
000031cd: MSTORE
000031ce: PUSH1 0x13
000031d0: PUSH1 0x24
000031d2: DUP3
000031d3: ADD
000031d4: MSTORE
000031d5: PUSH32 0x7265666572726572416472206973206e756c6c00000000000000000000000000
000031f6: PUSH1 0x44
000031f8: DUP3
000031f9: ADD
000031fa: MSTORE
000031fb: SWAP1
000031fc: MLOAD
000031fd: SWAP1
000031fe: DUP2
000031ff: SWAP1
00003200: SUB
00003201: PUSH1 0x64
00003203: ADD
00003204: SWAP1
00003205: REVERT
00003206: JUMPDEST
00003207: PUSH1 0x00
00003209: PUSH2 0x3212
0000320c: DUP6
0000320d: CALLER
0000320e: PUSH2 0x3453
00003211: JUMP
00003212: JUMPDEST
00003213: PUSH1 0x01
00003215: PUSH1 0xa0
00003217: PUSH1 0x02
00003219: EXP
0000321a: SUB
0000321b: AND
0000321c: EQ
0000321d: PUSH2 0x3270
00003220: JUMPI
00003221: PUSH1 0x40
00003223: DUP1
00003224: MLOAD
00003225: PUSH1 0xe5
00003227: PUSH1 0x02
00003229: EXP
0000322a: PUSH3 0x461bcd
0000322e: MUL
0000322f: DUP2
00003230: MSTORE
00003231: PUSH1 0x20
00003233: PUSH1 0x04
00003235: DUP3
00003236: ADD
00003237: MSTORE
00003238: PUSH1 0x13
0000323a: PUSH1 0x24
0000323c: DUP3
0000323d: ADD
0000323e: MSTORE
0000323f: PUSH32 0x6d75737420726566666572206973206e756c6c00000000000000000000000000
00003260: PUSH1 0x44
00003262: DUP3
00003263: ADD
00003264: MSTORE
00003265: SWAP1
00003266: MLOAD
00003267: SWAP1
00003268: DUP2
00003269: SWAP1
0000326a: SUB
0000326b: PUSH1 0x64
0000326d: ADD
0000326e: SWAP1
0000326f: REVERT
00003270: JUMPDEST
00003271: PUSH1 0x01
00003273: PUSH1 0xa0
00003275: PUSH1 0x02
00003277: EXP
00003278: SUB
00003279: DUP2
0000327a: AND
0000327b: CALLER
0000327c: EQ
0000327d: ISZERO
0000327e: PUSH2 0x32d1
00003281: JUMPI
00003282: PUSH1 0x40
00003284: DUP1
00003285: MLOAD
00003286: PUSH1 0xe5
00003288: PUSH1 0x02
0000328a: EXP
0000328b: PUSH3 0x461bcd
0000328f: MUL
00003290: DUP2
00003291: MSTORE
00003292: PUSH1 0x20
00003294: PUSH1 0x04
00003296: DUP3
00003297: ADD
00003298: MSTORE
00003299: PUSH1 0x14
0000329b: PUSH1 0x24
0000329d: DUP3
0000329e: ADD
0000329f: MSTORE
000032a0: PUSH32 0x72656665727265724164722069732073656c6620000000000000000000000000
000032c1: PUSH1 0x44
000032c3: DUP3
000032c4: ADD
000032c5: MSTORE
000032c6: SWAP1
000032c7: MLOAD
000032c8: SWAP1
000032c9: DUP2
000032ca: SWAP1
000032cb: SUB
000032cc: PUSH1 0x64
000032ce: ADD
000032cf: SWAP1
000032d0: REVERT
000032d1: JUMPDEST
000032d2: PUSH2 0x32da
000032d5: DUP5
000032d6: PUSH2 0x3482
000032d9: JUMP
000032da: JUMPDEST
000032db: POP
000032dc: PUSH1 0x00
000032de: PUSH2 0x32e6
000032e1: DUP6
000032e2: PUSH2 0x3482
000032e5: JUMP
000032e6: JUMPDEST
000032e7: EQ
000032e8: PUSH2 0x333b
000032eb: JUMPI
000032ec: PUSH1 0x40
000032ee: DUP1
000032ef: MLOAD
000032f0: PUSH1 0xe5
000032f2: PUSH1 0x02
000032f4: EXP
000032f5: PUSH3 0x461bcd
000032f9: MUL
000032fa: DUP2
000032fb: MSTORE
000032fc: PUSH1 0x20
000032fe: PUSH1 0x04
00003300: DUP3
00003301: ADD
00003302: MSTORE
00003303: PUSH1 0x11
00003305: PUSH1 0x24
00003307: DUP3
00003308: ADD
00003309: MSTORE
0000330a: PUSH32 0x6d757374206e6f74207265716573746572000000000000000000000000000000
0000332b: PUSH1 0x44
0000332d: DUP3
0000332e: ADD
0000332f: MSTORE
00003330: SWAP1
00003331: MLOAD
00003332: SWAP1
00003333: DUP2
00003334: SWAP1
00003335: SUB
00003336: PUSH1 0x64
00003338: ADD
00003339: SWAP1
0000333a: REVERT
0000333b: JUMPDEST
0000333c: PUSH2 0x1a52
0000333f: DUP5
00003340: CALLER
00003341: DUP4
00003342: PUSH2 0x3499
00003345: JUMP
00003346: JUMPDEST
00003347: PUSH1 0x06
00003349: SLOAD
0000334a: PUSH1 0x40
0000334c: DUP1
0000334d: MLOAD
0000334e: DUP1
0000334f: DUP3
00003350: ADD
00003351: SWAP1
00003352: SWAP2
00003353: MSTORE
00003354: PUSH1 0x0e
00003356: SLOAD
00003357: DUP2
00003358: MSTORE
00003359: PUSH1 0x0f
0000335b: SLOAD
0000335c: PUSH1 0x20
0000335e: DUP3
0000335f: ADD
00003360: MSTORE
00003361: PUSH1 0x00
00003363: SWAP2
00003364: PUSH2 0x3377
00003367: SWAP2
00003368: SWAP1
00003369: PUSH1 0x09
0000336b: PUSH1 0x02
0000336d: PUSH4 0xffffffff
00003372: PUSH2 0x252c
00003375: AND
00003376: JUMP
00003377: JUMPDEST
00003378: SWAP1
00003379: POP
0000337a: SWAP1
0000337b: JUMP
0000337c: JUMPDEST
0000337d: PUSH1 0x01
0000337f: PUSH1 0xa0
00003381: PUSH1 0x02
00003383: EXP
00003384: SUB
00003385: DUP2
00003386: AND
00003387: PUSH1 0x00
00003389: SWAP1
0000338a: DUP2
0000338b: MSTORE
0000338c: PUSH1 0x20
0000338e: DUP4
0000338f: SWAP1
00003390: MSTORE
00003391: PUSH1 0x40
00003393: DUP2
00003394: KECCAK256
00003395: SLOAD
00003396: PUSH3 0x093a80
0000339a: TIMESTAMP
0000339b: SWAP1
0000339c: SWAP2
0000339d: SUB
0000339e: GT
0000339f: ISZERO
000033a0: PUSH2 0x33c6
000033a3: JUMPI
000033a4: POP
000033a5: PUSH1 0x01
000033a7: PUSH1 0xa0
000033a9: PUSH1 0x02
000033ab: EXP
000033ac: SUB
000033ad: DUP2
000033ae: AND
000033af: PUSH1 0x00
000033b1: SWAP1
000033b2: DUP2
000033b3: MSTORE
000033b4: PUSH1 0x20
000033b6: DUP4
000033b7: SWAP1
000033b8: MSTORE
000033b9: PUSH1 0x40
000033bb: SWAP1
000033bc: KECCAK256
000033bd: TIMESTAMP
000033be: SWAP1
000033bf: SSTORE
000033c0: PUSH1 0x01
000033c2: PUSH2 0x07a0
000033c5: JUMP
000033c6: JUMPDEST
000033c7: POP
000033c8: PUSH1 0x00
000033ca: SWAP3
000033cb: SWAP2
000033cc: POP
000033cd: POP
000033ce: JUMP
000033cf: JUMPDEST
000033d0: PUSH1 0x00
000033d2: DUP1
000033d3: PUSH1 0x00
000033d5: DUP1
000033d6: PUSH1 0x00
000033d8: DUP1
000033d9: PUSH1 0x00
000033db: PUSH2 0x33e3
000033de: DUP10
000033df: PUSH2 0x34da
000033e2: JUMP
000033e3: JUMPDEST
000033e4: SWAP4
000033e5: POP
000033e6: SWAP4
000033e7: POP
000033e8: PUSH2 0x33f0
000033eb: DUP9
000033ec: PUSH2 0x34da
000033ef: JUMP
000033f0: JUMPDEST
000033f1: SWAP2
000033f2: POP
000033f3: SWAP2
000033f4: POP
000033f5: PUSH2 0x33fe
000033f8: DUP5
000033f9: DUP4
000033fa: PUSH2 0x30ed
000033fd: JUMP
000033fe: JUMPDEST
000033ff: SWAP10
00003400: SWAP3
00003401: SWAP9
00003402: POP
00003403: SWAP7
00003404: POP
00003405: SWAP1
00003406: SWAP5
00003407: POP
00003408: POP
00003409: POP
0000340a: POP
0000340b: POP
0000340c: JUMP
0000340d: JUMPDEST
0000340e: PUSH1 0x20
00003410: DUP1
00003411: DUP3
00003412: ADD
00003413: MLOAD
00003414: SWAP1
00003415: DUP4
00003416: ADD
00003417: MLOAD
00003418: SUB
00003419: PUSH2 0x3423
0000341c: PUSH1 0x0a
0000341e: DUP3
0000341f: PUSH2 0x309e
00003422: JUMP
00003423: JUMPDEST
00003424: DUP3
00003425: MLOAD
00003426: MUL
00003427: DUP3
00003428: MSTORE
00003429: POP
0000342a: PUSH1 0x20
0000342c: SWAP2
0000342d: DUP3
0000342e: ADD
0000342f: MLOAD
00003430: SWAP2
00003431: ADD
00003432: MSTORE
00003433: JUMP
00003434: JUMPDEST
00003435: PUSH1 0x00
00003437: SWAP1
00003438: DUP2
00003439: MSTORE
0000343a: PUSH1 0x04
0000343c: SWAP2
0000343d: SWAP1
0000343e: SWAP2
0000343f: ADD
00003440: PUSH1 0x20
00003442: MSTORE
00003443: PUSH1 0x40
00003445: SWAP1
00003446: KECCAK256
00003447: SLOAD
00003448: PUSH1 0x01
0000344a: PUSH1 0xa0
0000344c: PUSH1 0x02
0000344e: EXP
0000344f: SUB
00003450: AND
00003451: SWAP1
00003452: JUMP
00003453: JUMPDEST
00003454: PUSH1 0x01
00003456: PUSH1 0xa0
00003458: PUSH1 0x02
0000345a: EXP
0000345b: SUB
0000345c: SWAP1
0000345d: DUP2
0000345e: AND
0000345f: PUSH1 0x00
00003461: SWAP1
00003462: DUP2
00003463: MSTORE
00003464: PUSH1 0x02
00003466: DUP4
00003467: ADD
00003468: PUSH1 0x20
0000346a: SWAP1
0000346b: DUP2
0000346c: MSTORE
0000346d: PUSH1 0x40
0000346f: DUP3
00003470: KECCAK256
00003471: SLOAD
00003472: SWAP1
00003473: SWAP3
00003474: AND
00003475: SWAP1
00003476: DUP2
00003477: SWAP1
00003478: MSTORE
00003479: PUSH1 0x03
0000347b: SWAP1
0000347c: SWAP3
0000347d: ADD
0000347e: SWAP1
0000347f: MSTORE
00003480: SWAP1
00003481: JUMP
00003482: JUMPDEST
00003483: CALLER
00003484: PUSH1 0x00
00003486: SWAP1
00003487: DUP2
00003488: MSTORE
00003489: PUSH1 0x03
0000348b: DUP3
0000348c: ADD
0000348d: PUSH1 0x20
0000348f: MSTORE
00003490: PUSH1 0x40
00003492: SWAP1
00003493: KECCAK256
00003494: SLOAD
00003495: SWAP2
00003496: SWAP1
00003497: POP
00003498: JUMP
00003499: JUMPDEST
0000349a: PUSH1 0x01
0000349c: PUSH1 0xa0
0000349e: PUSH1 0x02
000034a0: EXP
000034a1: SUB
000034a2: SWAP2
000034a3: DUP3
000034a4: AND
000034a5: PUSH1 0x00
000034a7: SWAP1
000034a8: DUP2
000034a9: MSTORE
000034aa: PUSH1 0x02
000034ac: SWAP1
000034ad: SWAP4
000034ae: ADD
000034af: PUSH1 0x20
000034b1: MSTORE
000034b2: PUSH1 0x40
000034b4: SWAP1
000034b5: SWAP3
000034b6: KECCAK256
000034b7: DUP1
000034b8: SLOAD
000034b9: SWAP2
000034ba: SWAP1
000034bb: SWAP3
000034bc: AND
000034bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034d2: NOT
000034d3: SWAP1
000034d4: SWAP2
000034d5: AND
000034d6: OR
000034d7: SWAP1
000034d8: SSTORE
000034d9: JUMP
000034da: JUMPDEST
000034db: DUP1
000034dc: PUSH1 0x00
000034de: JUMPDEST
000034df: PUSH17 0x01000000000000719db57035aacb000000
000034f1: DUP3
000034f2: LT
000034f3: PUSH2 0x3504
000034f6: JUMPI
000034f7: PUSH1 0x01
000034f9: ADD
000034fa: PUSH1 0x0a
000034fc: DUP3
000034fd: DIV
000034fe: SWAP2
000034ff: POP
00003500: PUSH2 0x34de
00003503: JUMP
00003504: JUMPDEST
00003505: SWAP2
00003506: POP
00003507: SWAP2
00003508: JUMP
00003509: JUMPDEST
0000350a: PUSH1 0x40
0000350c: DUP1
0000350d: MLOAD
0000350e: DUP1
0000350f: DUP3
00003510: ADD
00003511: SWAP1
00003512: SWAP2
00003513: MSTORE
00003514: PUSH1 0x00
00003516: DUP1
00003517: DUP3
00003518: MSTORE
00003519: PUSH1 0x20
0000351b: DUP3
0000351c: ADD
0000351d: MSTORE
0000351e: SWAP1
0000351f: JUMP
00003520: JUMPDEST
00003521: PUSH1 0x40
00003523: DUP1
00003524: MLOAD
00003525: PUSH1 0xa0
00003527: DUP2
00003528: ADD
00003529: DUP3
0000352a: MSTORE
0000352b: PUSH1 0x00
0000352d: DUP1
0000352e: DUP3
0000352f: MSTORE
00003530: PUSH1 0x20
00003532: DUP3
00003533: ADD
00003534: DUP2
00003535: SWAP1
00003536: MSTORE
00003537: SWAP2
00003538: DUP2
00003539: ADD
0000353a: DUP3
0000353b: SWAP1
0000353c: MSTORE
0000353d: PUSH1 0x60
0000353f: DUP2
00003540: ADD
00003541: DUP3
00003542: SWAP1
00003543: MSTORE
00003544: PUSH1 0x80
00003546: DUP2
00003547: ADD
00003548: SWAP2
00003549: SWAP1
0000354a: SWAP2
0000354b: MSTORE
0000354c: SWAP1
0000354d: JUMP
0000354e: STOP
0000354f: LOG1
00003550: PUSH6 0x627a7a723058
00003557: KECCAK256
00003558: UNKNOWN(0x22)
00003559: UNKNOWN(0xA6)
0000355a: UNKNOWN(0xE1)
0000355b: DUP8
0000355c: LOG4
0000355d: DELEGATECALL
0000355e: UNKNOWN(0xA8)
0000355f: UNKNOWN(0xC4)
00003560: UNKNOWN(0xAF)
00003561: EXTCODECOPY
00003562: SWAP12
00003563: REVERT
00003564: STOP
00003565: DUP14
00003566: UNKNOWN(0x22)
00003567: CODECOPY
00003568: SGT
00003569: BYTE
0000356a: SWAP13
0000356b: RETURNDATASIZE
0000356c: UNKNOWN(0x2C)
0000356d: UNKNOWN(0xA6)
0000356e: UNKNOWN(0xBE)
0000356f: UNKNOWN(0xCE)
00003570: UNKNOWN(0xAD)
00003571: UNKNOWN(0xDE)
00003572: UNKNOWN(0xA9)
00003573: UNKNOWN(0xD3)
00003574: CREATE
00003575: JUMP
00003576: SMOD
00003577: PUSH1 0x00
00003579: UNKNOWN(0x29)
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
critical	upgradeability	detector	Untrusted DELEGATECALL target reachable	70	no	no	view trace_id: 0xe2d2b37397a77520f5b928e1ebae924631d829eb37c12adb9404815e4cdbc14c call_targets: 0xf0139fac9684ad7372c190a4defcac2b488a79d3 target_varies: no classification: constant_target validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "sink_reached", "attempts": 121, "trace_id": "0xe2d2b37397a77520f5b928e1ebae924631d829eb37c12adb9404815e4cdbc14c", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf0139fac9684ad7372c190a4defcac2b488a79d3" ], "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": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0830602b", "selector": "0x0830602b", "calldata_variants": [ "0x0830602b", "0x0830602b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x095ea7b3", "selector": "0x095ea7b3", "calldata_variants": [ "0x095ea7b3", "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0baa86f5", "selector": "0x0baa86f5", "calldata_variants": [ "0x0baa86f5", "0x0baa86f50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18b0efb6", "selector": "0x18b0efb6", "calldata_variants": [ "0x18b0efb6", "0x18b0efb60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22565c6e", "selector": "0x22565c6e", "calldata_variants": [ "0x22565c6e", "0x22565c6e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x23b872dd", "selector": "0x23b872dd", "calldata_variants": [ "0x23b872dd", "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2359, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" }, { "pc": 3045, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" }, { "pc": 3728, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [], "delegatecall_count": 17, "untrusted_delegatecall_count": 17 }
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x40e6489888705554edf6a929d4c14cd9e8e647d729b4ae90067d4ce28f627732 call_targets: 0x15ebe584d7a0c28a3a4e73e5430b08324f3296f9 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x40e6489888705554edf6a929d4c14cd9e8e647d729b4ae90067d4ce28f627732", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x15ebe584d7a0c28a3a4e73e5430b08324f3296f9" ], "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": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0830602b", "selector": "0x0830602b", "calldata_variants": [ "0x0830602b", "0x0830602b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x095ea7b3", "selector": "0x095ea7b3", "calldata_variants": [ "0x095ea7b3", "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0baa86f5", "selector": "0x0baa86f5", "calldata_variants": [ "0x0baa86f5", "0x0baa86f50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18b0efb6", "selector": "0x18b0efb6", "calldata_variants": [ "0x18b0efb6", "0x18b0efb60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22565c6e", "selector": "0x22565c6e", "calldata_variants": [ "0x22565c6e", "0x22565c6e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x23b872dd", "selector": "0x23b872dd", "calldata_variants": [ "0x23b872dd", "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 12064, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 12124, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [], "untrusted_call_count": 2 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x40e6489888705554edf6a929d4c14cd9e8e647d729b4ae90067d4ce28f627732 call_targets: 0x15ebe584d7a0c28a3a4e73e5430b08324f3296f9 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x40e6489888705554edf6a929d4c14cd9e8e647d729b4ae90067d4ce28f627732", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x15ebe584d7a0c28a3a4e73e5430b08324f3296f9" ], "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": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0830602b", "selector": "0x0830602b", "calldata_variants": [ "0x0830602b", "0x0830602b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x095ea7b3", "selector": "0x095ea7b3", "calldata_variants": [ "0x095ea7b3", "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0baa86f5", "selector": "0x0baa86f5", "calldata_variants": [ "0x0baa86f5", "0x0baa86f50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18b0efb6", "selector": "0x18b0efb6", "calldata_variants": [ "0x18b0efb6", "0x18b0efb60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22565c6e", "selector": "0x22565c6e", "calldata_variants": [ "0x22565c6e", "0x22565c6e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x23b872dd", "selector": "0x23b872dd", "calldata_variants": [ "0x23b872dd", "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 12064, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 12124, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0x5af8e1b772aa514b1e2030857b428bd541ca6435e1e1ba404ef940810bc271ce validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0x5af8e1b772aa514b1e2030857b428bd541ca6435e1e1ba404ef940810bc271ce", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0830602b", "selector": "0x0830602b", "calldata_variants": [ "0x0830602b", "0x0830602b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x095ea7b3", "selector": "0x095ea7b3", "calldata_variants": [ "0x095ea7b3", "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x0baa86f5", "selector": "0x0baa86f5", "calldata_variants": [ "0x0baa86f5", "0x0baa86f50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18b0efb6", "selector": "0x18b0efb6", "calldata_variants": [ "0x18b0efb6", "0x18b0efb60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22565c6e", "selector": "0x22565c6e", "calldata_variants": [ "0x22565c6e", "0x22565c6e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x23b872dd", "selector": "0x23b872dd", "calldata_variants": [ "0x23b872dd", "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 1, "create2_count": 0 }