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

Analysis Run

019b3844-ada9-732d-a6b2-7dc5988a0ac2

complete
Chain ID
1
Address
0x85d6e6e680b0a6db68ec557dc860abbc061f8c0d
Block Number
—
Created
Fri, Dec 19, 2025 8:19 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
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
17645 artifact.fetch complete 1 / 3 3 months ago
17646 tool.cast_disasm complete 1 / 3 3 months ago
86668 analysis.bundle complete 1 / 3 2 weeks ago
86669 capability.graph complete 1 / 3 2 weeks ago
86670 detector.run complete 1 / 3 2 weeks ago
86671 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
1
CALL-family (heavy)
7
EXT*/BALANCE
5
Total opcodes
8133
Flags
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 0x0181
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x9e7e2346
00000019: GT
0000001a: PUSH2 0x00d1
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb33b7cea
00000024: GT
00000025: PUSH2 0x008a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe1f8d223
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe1f8d223
0000003a: EQ
0000003b: PUSH2 0x08d3
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xea25e176
00000045: EQ
00000046: PUSH2 0x0903
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x0991
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf364c90c
0000005b: EQ
0000005c: PUSH2 0x09c4
0000005f: JUMPI
00000060: PUSH2 0x0181
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xb33b7cea
0000006b: EQ
0000006c: PUSH2 0x0757
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xc6e73f5f
00000076: EQ
00000077: PUSH2 0x078a
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xcf7fbe9d
00000081: EQ
00000082: PUSH2 0x07b3
00000085: JUMPI
00000086: PUSH2 0x0181
00000089: JUMP
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x9e7e2346
00000091: EQ
00000092: PUSH2 0x05dc
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xa7ecfd1e
0000009c: EQ
0000009d: PUSH2 0x05f1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xaa8b76ea
000000a7: EQ
000000a8: PUSH2 0x0627
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xb09adeae
000000b2: EQ
000000b3: PUSH2 0x0651
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xb2aa2ef5
000000bd: EQ
000000be: PUSH2 0x0666
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xb3293602
000000c8: EQ
000000c9: PUSH2 0x0702
000000cc: JUMPI
000000cd: PUSH2 0x0181
000000d0: JUMP
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x715018a6
000000d8: GT
000000d9: PUSH2 0x013e
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x87e38890
000000e3: GT
000000e4: PUSH2 0x0118
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x87e38890
000000ee: EQ
000000ef: PUSH2 0x03d8
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x8da5cb5b
000000f9: EQ
000000fa: PUSH2 0x047a
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x957d485d
00000104: EQ
00000105: PUSH2 0x048f
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x9ad4949d
0000010f: EQ
00000110: PUSH2 0x0511
00000113: JUMPI
00000114: PUSH2 0x0181
00000117: JUMP
00000118: JUMPDEST
00000119: DUP1
0000011a: PUSH4 0x715018a6
0000011f: EQ
00000120: PUSH2 0x02d5
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x7a29bb6d
0000012a: EQ
0000012b: PUSH2 0x02ea
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x814b3fe0
00000135: EQ
00000136: PUSH2 0x036c
00000139: JUMPI
0000013a: PUSH2 0x0181
0000013d: JUMP
0000013e: JUMPDEST
0000013f: DUP1
00000140: PUSH4 0x01877020
00000145: EQ
00000146: PUSH2 0x0186
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x02fa6137
00000150: EQ
00000151: PUSH2 0x01bb
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x0f2a0919
0000015b: EQ
0000015c: PUSH2 0x01e2
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x338d6c30
00000166: EQ
00000167: PUSH2 0x0228
0000016a: JUMPI
0000016b: DUP1
0000016c: PUSH4 0x665a11ca
00000171: EQ
00000172: PUSH2 0x028d
00000175: JUMPI
00000176: DUP1
00000177: PUSH4 0x6f2c0d30
0000017c: EQ
0000017d: PUSH2 0x02a2
00000180: JUMPI
00000181: JUMPDEST
00000182: PUSH1 0x00
00000184: DUP1
00000185: REVERT
00000186: JUMPDEST
00000187: CALLVALUE
00000188: DUP1
00000189: ISZERO
0000018a: PUSH2 0x0192
0000018d: JUMPI
0000018e: PUSH1 0x00
00000190: DUP1
00000191: REVERT
00000192: JUMPDEST
00000193: POP
00000194: PUSH2 0x01b9
00000197: PUSH1 0x04
00000199: DUP1
0000019a: CALLDATASIZE
0000019b: SUB
0000019c: PUSH1 0x20
0000019e: DUP2
0000019f: LT
000001a0: ISZERO
000001a1: PUSH2 0x01a9
000001a4: JUMPI
000001a5: PUSH1 0x00
000001a7: DUP1
000001a8: REVERT
000001a9: JUMPDEST
000001aa: POP
000001ab: CALLDATALOAD
000001ac: PUSH1 0x01
000001ae: PUSH1 0x01
000001b0: PUSH1 0xa0
000001b2: SHL
000001b3: SUB
000001b4: AND
000001b5: PUSH2 0x09f4
000001b8: JUMP
000001b9: JUMPDEST
000001ba: STOP
000001bb: JUMPDEST
000001bc: CALLVALUE
000001bd: DUP1
000001be: ISZERO
000001bf: PUSH2 0x01c7
000001c2: JUMPI
000001c3: PUSH1 0x00
000001c5: DUP1
000001c6: REVERT
000001c7: JUMPDEST
000001c8: POP
000001c9: PUSH2 0x01d0
000001cc: PUSH2 0x0afa
000001cf: JUMP
000001d0: JUMPDEST
000001d1: PUSH1 0x40
000001d3: DUP1
000001d4: MLOAD
000001d5: SWAP2
000001d6: DUP3
000001d7: MSTORE
000001d8: MLOAD
000001d9: SWAP1
000001da: DUP2
000001db: SWAP1
000001dc: SUB
000001dd: PUSH1 0x20
000001df: ADD
000001e0: SWAP1
000001e1: RETURN
000001e2: JUMPDEST
000001e3: CALLVALUE
000001e4: DUP1
000001e5: ISZERO
000001e6: PUSH2 0x01ee
000001e9: JUMPI
000001ea: PUSH1 0x00
000001ec: DUP1
000001ed: REVERT
000001ee: JUMPDEST
000001ef: POP
000001f0: PUSH2 0x020c
000001f3: PUSH1 0x04
000001f5: DUP1
000001f6: CALLDATASIZE
000001f7: SUB
000001f8: PUSH1 0x20
000001fa: DUP2
000001fb: LT
000001fc: ISZERO
000001fd: PUSH2 0x0205
00000200: JUMPI
00000201: PUSH1 0x00
00000203: DUP1
00000204: REVERT
00000205: JUMPDEST
00000206: POP
00000207: CALLDATALOAD
00000208: PUSH2 0x0b00
0000020b: JUMP
0000020c: JUMPDEST
0000020d: PUSH1 0x40
0000020f: DUP1
00000210: MLOAD
00000211: PUSH1 0x01
00000213: PUSH1 0x01
00000215: PUSH1 0xa0
00000217: SHL
00000218: SUB
00000219: SWAP1
0000021a: SWAP3
0000021b: AND
0000021c: DUP3
0000021d: MSTORE
0000021e: MLOAD
0000021f: SWAP1
00000220: DUP2
00000221: SWAP1
00000222: SUB
00000223: PUSH1 0x20
00000225: ADD
00000226: SWAP1
00000227: RETURN
00000228: JUMPDEST
00000229: CALLVALUE
0000022a: DUP1
0000022b: ISZERO
0000022c: PUSH2 0x0234
0000022f: JUMPI
00000230: PUSH1 0x00
00000232: DUP1
00000233: REVERT
00000234: JUMPDEST
00000235: POP
00000236: PUSH2 0x023d
00000239: PUSH2 0x0b2a
0000023c: JUMP
0000023d: JUMPDEST
0000023e: PUSH1 0x40
00000240: DUP1
00000241: MLOAD
00000242: PUSH1 0x20
00000244: DUP1
00000245: DUP3
00000246: MSTORE
00000247: DUP4
00000248: MLOAD
00000249: DUP2
0000024a: DUP4
0000024b: ADD
0000024c: MSTORE
0000024d: DUP4
0000024e: MLOAD
0000024f: SWAP2
00000250: SWAP3
00000251: DUP4
00000252: SWAP3
00000253: SWAP1
00000254: DUP4
00000255: ADD
00000256: SWAP2
00000257: DUP6
00000258: DUP2
00000259: ADD
0000025a: SWAP2
0000025b: MUL
0000025c: DUP1
0000025d: DUP4
0000025e: DUP4
0000025f: PUSH1 0x00
00000261: JUMPDEST
00000262: DUP4
00000263: DUP2
00000264: LT
00000265: ISZERO
00000266: PUSH2 0x0279
00000269: JUMPI
0000026a: DUP2
0000026b: DUP2
0000026c: ADD
0000026d: MLOAD
0000026e: DUP4
0000026f: DUP3
00000270: ADD
00000271: MSTORE
00000272: PUSH1 0x20
00000274: ADD
00000275: PUSH2 0x0261
00000278: JUMP
00000279: JUMPDEST
0000027a: POP
0000027b: POP
0000027c: POP
0000027d: POP
0000027e: SWAP1
0000027f: POP
00000280: ADD
00000281: SWAP3
00000282: POP
00000283: POP
00000284: POP
00000285: PUSH1 0x40
00000287: MLOAD
00000288: DUP1
00000289: SWAP2
0000028a: SUB
0000028b: SWAP1
0000028c: RETURN
0000028d: JUMPDEST
0000028e: CALLVALUE
0000028f: DUP1
00000290: ISZERO
00000291: PUSH2 0x0299
00000294: JUMPI
00000295: PUSH1 0x00
00000297: DUP1
00000298: REVERT
00000299: JUMPDEST
0000029a: POP
0000029b: PUSH2 0x020c
0000029e: PUSH2 0x0cae
000002a1: JUMP
000002a2: JUMPDEST
000002a3: CALLVALUE
000002a4: DUP1
000002a5: ISZERO
000002a6: PUSH2 0x02ae
000002a9: JUMPI
000002aa: PUSH1 0x00
000002ac: DUP1
000002ad: REVERT
000002ae: JUMPDEST
000002af: POP
000002b0: PUSH2 0x01d0
000002b3: PUSH1 0x04
000002b5: DUP1
000002b6: CALLDATASIZE
000002b7: SUB
000002b8: PUSH1 0x20
000002ba: DUP2
000002bb: LT
000002bc: ISZERO
000002bd: PUSH2 0x02c5
000002c0: JUMPI
000002c1: PUSH1 0x00
000002c3: DUP1
000002c4: REVERT
000002c5: JUMPDEST
000002c6: POP
000002c7: CALLDATALOAD
000002c8: PUSH1 0x01
000002ca: PUSH1 0x01
000002cc: PUSH1 0xa0
000002ce: SHL
000002cf: SUB
000002d0: AND
000002d1: PUSH2 0x0cbd
000002d4: JUMP
000002d5: JUMPDEST
000002d6: CALLVALUE
000002d7: DUP1
000002d8: ISZERO
000002d9: PUSH2 0x02e1
000002dc: JUMPI
000002dd: PUSH1 0x00
000002df: DUP1
000002e0: REVERT
000002e1: JUMPDEST
000002e2: POP
000002e3: PUSH2 0x01b9
000002e6: PUSH2 0x0ccf
000002e9: JUMP
000002ea: JUMPDEST
000002eb: CALLVALUE
000002ec: DUP1
000002ed: ISZERO
000002ee: PUSH2 0x02f6
000002f1: JUMPI
000002f2: PUSH1 0x00
000002f4: DUP1
000002f5: REVERT
000002f6: JUMPDEST
000002f7: POP
000002f8: PUSH2 0x023d
000002fb: PUSH1 0x04
000002fd: DUP1
000002fe: CALLDATASIZE
000002ff: SUB
00000300: PUSH1 0x40
00000302: DUP2
00000303: LT
00000304: ISZERO
00000305: PUSH2 0x030d
00000308: JUMPI
00000309: PUSH1 0x00
0000030b: DUP1
0000030c: REVERT
0000030d: JUMPDEST
0000030e: DUP2
0000030f: CALLDATALOAD
00000310: SWAP2
00000311: SWAP1
00000312: DUP2
00000313: ADD
00000314: SWAP1
00000315: PUSH1 0x40
00000317: DUP2
00000318: ADD
00000319: PUSH1 0x20
0000031b: DUP3
0000031c: ADD
0000031d: CALLDATALOAD
0000031e: PUSH1 0x01
00000320: PUSH1 0x20
00000322: SHL
00000323: DUP2
00000324: GT
00000325: ISZERO
00000326: PUSH2 0x032e
00000329: JUMPI
0000032a: PUSH1 0x00
0000032c: DUP1
0000032d: REVERT
0000032e: JUMPDEST
0000032f: DUP3
00000330: ADD
00000331: DUP4
00000332: PUSH1 0x20
00000334: DUP3
00000335: ADD
00000336: GT
00000337: ISZERO
00000338: PUSH2 0x0340
0000033b: JUMPI
0000033c: PUSH1 0x00
0000033e: DUP1
0000033f: REVERT
00000340: JUMPDEST
00000341: DUP1
00000342: CALLDATALOAD
00000343: SWAP1
00000344: PUSH1 0x20
00000346: ADD
00000347: SWAP2
00000348: DUP5
00000349: PUSH1 0x20
0000034b: DUP4
0000034c: MUL
0000034d: DUP5
0000034e: ADD
0000034f: GT
00000350: PUSH1 0x01
00000352: PUSH1 0x20
00000354: SHL
00000355: DUP4
00000356: GT
00000357: OR
00000358: ISZERO
00000359: PUSH2 0x0361
0000035c: JUMPI
0000035d: PUSH1 0x00
0000035f: DUP1
00000360: REVERT
00000361: JUMPDEST
00000362: POP
00000363: SWAP1
00000364: SWAP3
00000365: POP
00000366: SWAP1
00000367: POP
00000368: PUSH2 0x0d7b
0000036b: JUMP
0000036c: JUMPDEST
0000036d: CALLVALUE
0000036e: DUP1
0000036f: ISZERO
00000370: PUSH2 0x0378
00000373: JUMPI
00000374: PUSH1 0x00
00000376: DUP1
00000377: REVERT
00000378: JUMPDEST
00000379: POP
0000037a: PUSH2 0x0396
0000037d: PUSH1 0x04
0000037f: DUP1
00000380: CALLDATASIZE
00000381: SUB
00000382: PUSH1 0x20
00000384: DUP2
00000385: LT
00000386: ISZERO
00000387: PUSH2 0x038f
0000038a: JUMPI
0000038b: PUSH1 0x00
0000038d: DUP1
0000038e: REVERT
0000038f: JUMPDEST
00000390: POP
00000391: CALLDATALOAD
00000392: PUSH2 0x0edb
00000395: JUMP
00000396: JUMPDEST
00000397: PUSH1 0x40
00000399: DUP1
0000039a: MLOAD
0000039b: SWAP8
0000039c: DUP9
0000039d: MSTORE
0000039e: PUSH1 0x20
000003a0: DUP9
000003a1: ADD
000003a2: SWAP7
000003a3: SWAP1
000003a4: SWAP7
000003a5: MSTORE
000003a6: PUSH1 0x01
000003a8: PUSH1 0x01
000003aa: PUSH1 0xa0
000003ac: SHL
000003ad: SUB
000003ae: SWAP1
000003af: SWAP5
000003b0: AND
000003b1: DUP7
000003b2: DUP7
000003b3: ADD
000003b4: MSTORE
000003b5: PUSH1 0x60
000003b7: DUP7
000003b8: ADD
000003b9: SWAP3
000003ba: SWAP1
000003bb: SWAP3
000003bc: MSTORE
000003bd: PUSH1 0x80
000003bf: DUP6
000003c0: ADD
000003c1: MSTORE
000003c2: PUSH1 0xa0
000003c4: DUP5
000003c5: ADD
000003c6: MSTORE
000003c7: ISZERO
000003c8: ISZERO
000003c9: PUSH1 0xc0
000003cb: DUP4
000003cc: ADD
000003cd: MSTORE
000003ce: MLOAD
000003cf: SWAP1
000003d0: DUP2
000003d1: SWAP1
000003d2: SUB
000003d3: PUSH1 0xe0
000003d5: ADD
000003d6: SWAP1
000003d7: RETURN
000003d8: JUMPDEST
000003d9: CALLVALUE
000003da: DUP1
000003db: ISZERO
000003dc: PUSH2 0x03e4
000003df: JUMPI
000003e0: PUSH1 0x00
000003e2: DUP1
000003e3: REVERT
000003e4: JUMPDEST
000003e5: POP
000003e6: PUSH2 0x0466
000003e9: PUSH1 0x04
000003eb: DUP1
000003ec: CALLDATASIZE
000003ed: SUB
000003ee: PUSH1 0x80
000003f0: DUP2
000003f1: LT
000003f2: ISZERO
000003f3: PUSH2 0x03fb
000003f6: JUMPI
000003f7: PUSH1 0x00
000003f9: DUP1
000003fa: REVERT
000003fb: JUMPDEST
000003fc: DUP2
000003fd: CALLDATALOAD
000003fe: SWAP2
000003ff: PUSH1 0x20
00000401: DUP2
00000402: ADD
00000403: CALLDATALOAD
00000404: SWAP2
00000405: PUSH1 0x40
00000407: DUP3
00000408: ADD
00000409: CALLDATALOAD
0000040a: SWAP2
0000040b: SWAP1
0000040c: DUP2
0000040d: ADD
0000040e: SWAP1
0000040f: PUSH1 0x80
00000411: DUP2
00000412: ADD
00000413: PUSH1 0x60
00000415: DUP3
00000416: ADD
00000417: CALLDATALOAD
00000418: PUSH1 0x01
0000041a: PUSH1 0x20
0000041c: SHL
0000041d: DUP2
0000041e: GT
0000041f: ISZERO
00000420: PUSH2 0x0428
00000423: JUMPI
00000424: PUSH1 0x00
00000426: DUP1
00000427: REVERT
00000428: JUMPDEST
00000429: DUP3
0000042a: ADD
0000042b: DUP4
0000042c: PUSH1 0x20
0000042e: DUP3
0000042f: ADD
00000430: GT
00000431: ISZERO
00000432: PUSH2 0x043a
00000435: JUMPI
00000436: PUSH1 0x00
00000438: DUP1
00000439: REVERT
0000043a: JUMPDEST
0000043b: DUP1
0000043c: CALLDATALOAD
0000043d: SWAP1
0000043e: PUSH1 0x20
00000440: ADD
00000441: SWAP2
00000442: DUP5
00000443: PUSH1 0x20
00000445: DUP4
00000446: MUL
00000447: DUP5
00000448: ADD
00000449: GT
0000044a: PUSH1 0x01
0000044c: PUSH1 0x20
0000044e: SHL
0000044f: DUP4
00000450: GT
00000451: OR
00000452: ISZERO
00000453: PUSH2 0x045b
00000456: JUMPI
00000457: PUSH1 0x00
00000459: DUP1
0000045a: REVERT
0000045b: JUMPDEST
0000045c: POP
0000045d: SWAP1
0000045e: SWAP3
0000045f: POP
00000460: SWAP1
00000461: POP
00000462: PUSH2 0x0f37
00000465: JUMP
00000466: JUMPDEST
00000467: PUSH1 0x40
00000469: DUP1
0000046a: MLOAD
0000046b: SWAP2
0000046c: ISZERO
0000046d: ISZERO
0000046e: DUP3
0000046f: MSTORE
00000470: MLOAD
00000471: SWAP1
00000472: DUP2
00000473: SWAP1
00000474: SUB
00000475: PUSH1 0x20
00000477: ADD
00000478: SWAP1
00000479: RETURN
0000047a: JUMPDEST
0000047b: CALLVALUE
0000047c: DUP1
0000047d: ISZERO
0000047e: PUSH2 0x0486
00000481: JUMPI
00000482: PUSH1 0x00
00000484: DUP1
00000485: REVERT
00000486: JUMPDEST
00000487: POP
00000488: PUSH2 0x020c
0000048b: PUSH2 0x0f51
0000048e: JUMP
0000048f: JUMPDEST
00000490: CALLVALUE
00000491: DUP1
00000492: ISZERO
00000493: PUSH2 0x049b
00000496: JUMPI
00000497: PUSH1 0x00
00000499: DUP1
0000049a: REVERT
0000049b: JUMPDEST
0000049c: POP
0000049d: PUSH2 0x023d
000004a0: PUSH1 0x04
000004a2: DUP1
000004a3: CALLDATASIZE
000004a4: SUB
000004a5: PUSH1 0x40
000004a7: DUP2
000004a8: LT
000004a9: ISZERO
000004aa: PUSH2 0x04b2
000004ad: JUMPI
000004ae: PUSH1 0x00
000004b0: DUP1
000004b1: REVERT
000004b2: JUMPDEST
000004b3: DUP2
000004b4: CALLDATALOAD
000004b5: SWAP2
000004b6: SWAP1
000004b7: DUP2
000004b8: ADD
000004b9: SWAP1
000004ba: PUSH1 0x40
000004bc: DUP2
000004bd: ADD
000004be: PUSH1 0x20
000004c0: DUP3
000004c1: ADD
000004c2: CALLDATALOAD
000004c3: PUSH1 0x01
000004c5: PUSH1 0x20
000004c7: SHL
000004c8: DUP2
000004c9: GT
000004ca: ISZERO
000004cb: PUSH2 0x04d3
000004ce: JUMPI
000004cf: PUSH1 0x00
000004d1: DUP1
000004d2: REVERT
000004d3: JUMPDEST
000004d4: DUP3
000004d5: ADD
000004d6: DUP4
000004d7: PUSH1 0x20
000004d9: DUP3
000004da: ADD
000004db: GT
000004dc: ISZERO
000004dd: PUSH2 0x04e5
000004e0: JUMPI
000004e1: PUSH1 0x00
000004e3: DUP1
000004e4: REVERT
000004e5: JUMPDEST
000004e6: DUP1
000004e7: CALLDATALOAD
000004e8: SWAP1
000004e9: PUSH1 0x20
000004eb: ADD
000004ec: SWAP2
000004ed: DUP5
000004ee: PUSH1 0x20
000004f0: DUP4
000004f1: MUL
000004f2: DUP5
000004f3: ADD
000004f4: GT
000004f5: PUSH1 0x01
000004f7: PUSH1 0x20
000004f9: SHL
000004fa: DUP4
000004fb: GT
000004fc: OR
000004fd: ISZERO
000004fe: PUSH2 0x0506
00000501: JUMPI
00000502: PUSH1 0x00
00000504: DUP1
00000505: REVERT
00000506: JUMPDEST
00000507: POP
00000508: SWAP1
00000509: SWAP3
0000050a: POP
0000050b: SWAP1
0000050c: POP
0000050d: PUSH2 0x0f60
00000510: JUMP
00000511: JUMPDEST
00000512: CALLVALUE
00000513: DUP1
00000514: ISZERO
00000515: PUSH2 0x051d
00000518: JUMPI
00000519: PUSH1 0x00
0000051b: DUP1
0000051c: REVERT
0000051d: JUMPDEST
0000051e: POP
0000051f: PUSH2 0x01b9
00000522: PUSH1 0x04
00000524: DUP1
00000525: CALLDATASIZE
00000526: SUB
00000527: PUSH1 0x40
00000529: DUP2
0000052a: LT
0000052b: ISZERO
0000052c: PUSH2 0x0534
0000052f: JUMPI
00000530: PUSH1 0x00
00000532: DUP1
00000533: REVERT
00000534: JUMPDEST
00000535: DUP2
00000536: ADD
00000537: SWAP1
00000538: PUSH1 0x20
0000053a: DUP2
0000053b: ADD
0000053c: DUP2
0000053d: CALLDATALOAD
0000053e: PUSH1 0x01
00000540: PUSH1 0x20
00000542: SHL
00000543: DUP2
00000544: GT
00000545: ISZERO
00000546: PUSH2 0x054e
00000549: JUMPI
0000054a: PUSH1 0x00
0000054c: DUP1
0000054d: REVERT
0000054e: JUMPDEST
0000054f: DUP3
00000550: ADD
00000551: DUP4
00000552: PUSH1 0x20
00000554: DUP3
00000555: ADD
00000556: GT
00000557: ISZERO
00000558: PUSH2 0x0560
0000055b: JUMPI
0000055c: PUSH1 0x00
0000055e: DUP1
0000055f: REVERT
00000560: JUMPDEST
00000561: DUP1
00000562: CALLDATALOAD
00000563: SWAP1
00000564: PUSH1 0x20
00000566: ADD
00000567: SWAP2
00000568: DUP5
00000569: PUSH1 0x20
0000056b: DUP4
0000056c: MUL
0000056d: DUP5
0000056e: ADD
0000056f: GT
00000570: PUSH1 0x01
00000572: PUSH1 0x20
00000574: SHL
00000575: DUP4
00000576: GT
00000577: OR
00000578: ISZERO
00000579: PUSH2 0x0581
0000057c: JUMPI
0000057d: PUSH1 0x00
0000057f: DUP1
00000580: REVERT
00000581: JUMPDEST
00000582: SWAP2
00000583: SWAP4
00000584: SWAP1
00000585: SWAP3
00000586: SWAP1
00000587: SWAP2
00000588: PUSH1 0x20
0000058a: DUP2
0000058b: ADD
0000058c: SWAP1
0000058d: CALLDATALOAD
0000058e: PUSH1 0x01
00000590: PUSH1 0x20
00000592: SHL
00000593: DUP2
00000594: GT
00000595: ISZERO
00000596: PUSH2 0x059e
00000599: JUMPI
0000059a: PUSH1 0x00
0000059c: DUP1
0000059d: REVERT
0000059e: JUMPDEST
0000059f: DUP3
000005a0: ADD
000005a1: DUP4
000005a2: PUSH1 0x20
000005a4: DUP3
000005a5: ADD
000005a6: GT
000005a7: ISZERO
000005a8: PUSH2 0x05b0
000005ab: JUMPI
000005ac: PUSH1 0x00
000005ae: DUP1
000005af: REVERT
000005b0: JUMPDEST
000005b1: DUP1
000005b2: CALLDATALOAD
000005b3: SWAP1
000005b4: PUSH1 0x20
000005b6: ADD
000005b7: SWAP2
000005b8: DUP5
000005b9: PUSH1 0x20
000005bb: DUP4
000005bc: MUL
000005bd: DUP5
000005be: ADD
000005bf: GT
000005c0: PUSH1 0x01
000005c2: PUSH1 0x20
000005c4: SHL
000005c5: DUP4
000005c6: GT
000005c7: OR
000005c8: ISZERO
000005c9: PUSH2 0x05d1
000005cc: JUMPI
000005cd: PUSH1 0x00
000005cf: DUP1
000005d0: REVERT
000005d1: JUMPDEST
000005d2: POP
000005d3: SWAP1
000005d4: SWAP3
000005d5: POP
000005d6: SWAP1
000005d7: POP
000005d8: PUSH2 0x1036
000005db: JUMP
000005dc: JUMPDEST
000005dd: CALLVALUE
000005de: DUP1
000005df: ISZERO
000005e0: PUSH2 0x05e8
000005e3: JUMPI
000005e4: PUSH1 0x00
000005e6: DUP1
000005e7: REVERT
000005e8: JUMPDEST
000005e9: POP
000005ea: PUSH2 0x020c
000005ed: PUSH2 0x14cf
000005f0: JUMP
000005f1: JUMPDEST
000005f2: CALLVALUE
000005f3: DUP1
000005f4: ISZERO
000005f5: PUSH2 0x05fd
000005f8: JUMPI
000005f9: PUSH1 0x00
000005fb: DUP1
000005fc: REVERT
000005fd: JUMPDEST
000005fe: POP
000005ff: PUSH2 0x01d0
00000602: PUSH1 0x04
00000604: DUP1
00000605: CALLDATASIZE
00000606: SUB
00000607: PUSH1 0x60
00000609: DUP2
0000060a: LT
0000060b: ISZERO
0000060c: PUSH2 0x0614
0000060f: JUMPI
00000610: PUSH1 0x00
00000612: DUP1
00000613: REVERT
00000614: JUMPDEST
00000615: POP
00000616: DUP1
00000617: CALLDATALOAD
00000618: SWAP1
00000619: PUSH1 0x20
0000061b: DUP2
0000061c: ADD
0000061d: CALLDATALOAD
0000061e: SWAP1
0000061f: PUSH1 0x40
00000621: ADD
00000622: CALLDATALOAD
00000623: PUSH2 0x14de
00000626: JUMP
00000627: JUMPDEST
00000628: CALLVALUE
00000629: DUP1
0000062a: ISZERO
0000062b: PUSH2 0x0633
0000062e: JUMPI
0000062f: PUSH1 0x00
00000631: DUP1
00000632: REVERT
00000633: JUMPDEST
00000634: POP
00000635: PUSH2 0x01b9
00000638: PUSH1 0x04
0000063a: DUP1
0000063b: CALLDATASIZE
0000063c: SUB
0000063d: PUSH1 0x20
0000063f: DUP2
00000640: LT
00000641: ISZERO
00000642: PUSH2 0x064a
00000645: JUMPI
00000646: PUSH1 0x00
00000648: DUP1
00000649: REVERT
0000064a: JUMPDEST
0000064b: POP
0000064c: CALLDATALOAD
0000064d: PUSH2 0x14f4
00000650: JUMP
00000651: JUMPDEST
00000652: CALLVALUE
00000653: DUP1
00000654: ISZERO
00000655: PUSH2 0x065d
00000658: JUMPI
00000659: PUSH1 0x00
0000065b: DUP1
0000065c: REVERT
0000065d: JUMPDEST
0000065e: POP
0000065f: PUSH2 0x020c
00000662: PUSH2 0x182c
00000665: JUMP
00000666: JUMPDEST
00000667: CALLVALUE
00000668: DUP1
00000669: ISZERO
0000066a: PUSH2 0x0672
0000066d: JUMPI
0000066e: PUSH1 0x00
00000670: DUP1
00000671: REVERT
00000672: JUMPDEST
00000673: POP
00000674: PUSH2 0x01b9
00000677: PUSH1 0x04
00000679: DUP1
0000067a: CALLDATASIZE
0000067b: SUB
0000067c: PUSH1 0xa0
0000067e: DUP2
0000067f: LT
00000680: ISZERO
00000681: PUSH2 0x0689
00000684: JUMPI
00000685: PUSH1 0x00
00000687: DUP1
00000688: REVERT
00000689: JUMPDEST
0000068a: PUSH1 0x01
0000068c: PUSH1 0x01
0000068e: PUSH1 0xa0
00000690: SHL
00000691: SUB
00000692: DUP3
00000693: CALLDATALOAD
00000694: AND
00000695: SWAP2
00000696: PUSH1 0x20
00000698: DUP2
00000699: ADD
0000069a: CALLDATALOAD
0000069b: SWAP2
0000069c: PUSH1 0x40
0000069e: DUP3
0000069f: ADD
000006a0: CALLDATALOAD
000006a1: SWAP2
000006a2: PUSH1 0x60
000006a4: DUP2
000006a5: ADD
000006a6: CALLDATALOAD
000006a7: SWAP2
000006a8: DUP2
000006a9: ADD
000006aa: SWAP1
000006ab: PUSH1 0xa0
000006ad: DUP2
000006ae: ADD
000006af: PUSH1 0x80
000006b1: DUP3
000006b2: ADD
000006b3: CALLDATALOAD
000006b4: PUSH1 0x01
000006b6: PUSH1 0x20
000006b8: SHL
000006b9: DUP2
000006ba: GT
000006bb: ISZERO
000006bc: PUSH2 0x06c4
000006bf: JUMPI
000006c0: PUSH1 0x00
000006c2: DUP1
000006c3: REVERT
000006c4: JUMPDEST
000006c5: DUP3
000006c6: ADD
000006c7: DUP4
000006c8: PUSH1 0x20
000006ca: DUP3
000006cb: ADD
000006cc: GT
000006cd: ISZERO
000006ce: PUSH2 0x06d6
000006d1: JUMPI
000006d2: PUSH1 0x00
000006d4: DUP1
000006d5: REVERT
000006d6: JUMPDEST
000006d7: DUP1
000006d8: CALLDATALOAD
000006d9: SWAP1
000006da: PUSH1 0x20
000006dc: ADD
000006dd: SWAP2
000006de: DUP5
000006df: PUSH1 0x20
000006e1: DUP4
000006e2: MUL
000006e3: DUP5
000006e4: ADD
000006e5: GT
000006e6: PUSH1 0x01
000006e8: PUSH1 0x20
000006ea: SHL
000006eb: DUP4
000006ec: GT
000006ed: OR
000006ee: ISZERO
000006ef: PUSH2 0x06f7
000006f2: JUMPI
000006f3: PUSH1 0x00
000006f5: DUP1
000006f6: REVERT
000006f7: JUMPDEST
000006f8: POP
000006f9: SWAP1
000006fa: SWAP3
000006fb: POP
000006fc: SWAP1
000006fd: POP
000006fe: PUSH2 0x183b
00000701: JUMP
00000702: JUMPDEST
00000703: CALLVALUE
00000704: DUP1
00000705: ISZERO
00000706: PUSH2 0x070e
00000709: JUMPI
0000070a: PUSH1 0x00
0000070c: DUP1
0000070d: REVERT
0000070e: JUMPDEST
0000070f: POP
00000710: PUSH2 0x01b9
00000713: PUSH1 0x04
00000715: DUP1
00000716: CALLDATASIZE
00000717: SUB
00000718: PUSH1 0xc0
0000071a: DUP2
0000071b: LT
0000071c: ISZERO
0000071d: PUSH2 0x0725
00000720: JUMPI
00000721: PUSH1 0x00
00000723: DUP1
00000724: REVERT
00000725: JUMPDEST
00000726: POP
00000727: DUP1
00000728: CALLDATALOAD
00000729: SWAP1
0000072a: PUSH1 0x20
0000072c: DUP2
0000072d: ADD
0000072e: CALLDATALOAD
0000072f: SWAP1
00000730: PUSH1 0x01
00000732: PUSH1 0x01
00000734: PUSH1 0xa0
00000736: SHL
00000737: SUB
00000738: PUSH1 0x40
0000073a: DUP3
0000073b: ADD
0000073c: CALLDATALOAD
0000073d: DUP2
0000073e: AND
0000073f: SWAP2
00000740: PUSH1 0x60
00000742: DUP2
00000743: ADD
00000744: CALLDATALOAD
00000745: SWAP1
00000746: SWAP2
00000747: AND
00000748: SWAP1
00000749: PUSH1 0x80
0000074b: DUP2
0000074c: ADD
0000074d: CALLDATALOAD
0000074e: SWAP1
0000074f: PUSH1 0xa0
00000751: ADD
00000752: CALLDATALOAD
00000753: PUSH2 0x18b3
00000756: JUMP
00000757: JUMPDEST
00000758: CALLVALUE
00000759: DUP1
0000075a: ISZERO
0000075b: PUSH2 0x0763
0000075e: JUMPI
0000075f: PUSH1 0x00
00000761: DUP1
00000762: REVERT
00000763: JUMPDEST
00000764: POP
00000765: PUSH2 0x01b9
00000768: PUSH1 0x04
0000076a: DUP1
0000076b: CALLDATASIZE
0000076c: SUB
0000076d: PUSH1 0x20
0000076f: DUP2
00000770: LT
00000771: ISZERO
00000772: PUSH2 0x077a
00000775: JUMPI
00000776: PUSH1 0x00
00000778: DUP1
00000779: REVERT
0000077a: JUMPDEST
0000077b: POP
0000077c: CALLDATALOAD
0000077d: PUSH1 0x01
0000077f: PUSH1 0x01
00000781: PUSH1 0xa0
00000783: SHL
00000784: SUB
00000785: AND
00000786: PUSH2 0x1cae
00000789: JUMP
0000078a: JUMPDEST
0000078b: PUSH2 0x01b9
0000078e: PUSH1 0x04
00000790: DUP1
00000791: CALLDATASIZE
00000792: SUB
00000793: PUSH1 0x60
00000795: DUP2
00000796: LT
00000797: ISZERO
00000798: PUSH2 0x07a0
0000079b: JUMPI
0000079c: PUSH1 0x00
0000079e: DUP1
0000079f: REVERT
000007a0: JUMPDEST
000007a1: POP
000007a2: DUP1
000007a3: CALLDATALOAD
000007a4: SWAP1
000007a5: PUSH1 0x20
000007a7: DUP2
000007a8: ADD
000007a9: CALLDATALOAD
000007aa: SWAP1
000007ab: PUSH1 0x40
000007ad: ADD
000007ae: CALLDATALOAD
000007af: PUSH2 0x1db4
000007b2: JUMP
000007b3: JUMPDEST
000007b4: CALLVALUE
000007b5: DUP1
000007b6: ISZERO
000007b7: PUSH2 0x07bf
000007ba: JUMPI
000007bb: PUSH1 0x00
000007bd: DUP1
000007be: REVERT
000007bf: JUMPDEST
000007c0: POP
000007c1: PUSH2 0x083a
000007c4: PUSH1 0x04
000007c6: DUP1
000007c7: CALLDATASIZE
000007c8: SUB
000007c9: PUSH1 0x60
000007cb: DUP2
000007cc: LT
000007cd: ISZERO
000007ce: PUSH2 0x07d6
000007d1: JUMPI
000007d2: PUSH1 0x00
000007d4: DUP1
000007d5: REVERT
000007d6: JUMPDEST
000007d7: DUP2
000007d8: CALLDATALOAD
000007d9: SWAP2
000007da: PUSH1 0x20
000007dc: DUP2
000007dd: ADD
000007de: CALLDATALOAD
000007df: SWAP2
000007e0: DUP2
000007e1: ADD
000007e2: SWAP1
000007e3: PUSH1 0x60
000007e5: DUP2
000007e6: ADD
000007e7: PUSH1 0x40
000007e9: DUP3
000007ea: ADD
000007eb: CALLDATALOAD
000007ec: PUSH1 0x01
000007ee: PUSH1 0x20
000007f0: SHL
000007f1: DUP2
000007f2: GT
000007f3: ISZERO
000007f4: PUSH2 0x07fc
000007f7: JUMPI
000007f8: PUSH1 0x00
000007fa: DUP1
000007fb: REVERT
000007fc: JUMPDEST
000007fd: DUP3
000007fe: ADD
000007ff: DUP4
00000800: PUSH1 0x20
00000802: DUP3
00000803: ADD
00000804: GT
00000805: ISZERO
00000806: PUSH2 0x080e
00000809: JUMPI
0000080a: PUSH1 0x00
0000080c: DUP1
0000080d: REVERT
0000080e: JUMPDEST
0000080f: DUP1
00000810: CALLDATALOAD
00000811: SWAP1
00000812: PUSH1 0x20
00000814: ADD
00000815: SWAP2
00000816: DUP5
00000817: PUSH1 0x20
00000819: DUP4
0000081a: MUL
0000081b: DUP5
0000081c: ADD
0000081d: GT
0000081e: PUSH1 0x01
00000820: PUSH1 0x20
00000822: SHL
00000823: DUP4
00000824: GT
00000825: OR
00000826: ISZERO
00000827: PUSH2 0x082f
0000082a: JUMPI
0000082b: PUSH1 0x00
0000082d: DUP1
0000082e: REVERT
0000082f: JUMPDEST
00000830: POP
00000831: SWAP1
00000832: SWAP3
00000833: POP
00000834: SWAP1
00000835: POP
00000836: PUSH2 0x20d4
00000839: JUMP
0000083a: JUMPDEST
0000083b: PUSH1 0x40
0000083d: MLOAD
0000083e: DUP1
0000083f: DUP1
00000840: PUSH1 0x20
00000842: ADD
00000843: DUP1
00000844: PUSH1 0x20
00000846: ADD
00000847: DUP4
00000848: DUP2
00000849: SUB
0000084a: DUP4
0000084b: MSTORE
0000084c: DUP6
0000084d: DUP2
0000084e: DUP2
0000084f: MLOAD
00000850: DUP2
00000851: MSTORE
00000852: PUSH1 0x20
00000854: ADD
00000855: SWAP2
00000856: POP
00000857: DUP1
00000858: MLOAD
00000859: SWAP1
0000085a: PUSH1 0x20
0000085c: ADD
0000085d: SWAP1
0000085e: PUSH1 0x20
00000860: MUL
00000861: DUP1
00000862: DUP4
00000863: DUP4
00000864: PUSH1 0x00
00000866: JUMPDEST
00000867: DUP4
00000868: DUP2
00000869: LT
0000086a: ISZERO
0000086b: PUSH2 0x087e
0000086e: JUMPI
0000086f: DUP2
00000870: DUP2
00000871: ADD
00000872: MLOAD
00000873: DUP4
00000874: DUP3
00000875: ADD
00000876: MSTORE
00000877: PUSH1 0x20
00000879: ADD
0000087a: PUSH2 0x0866
0000087d: JUMP
0000087e: JUMPDEST
0000087f: POP
00000880: POP
00000881: POP
00000882: POP
00000883: SWAP1
00000884: POP
00000885: ADD
00000886: DUP4
00000887: DUP2
00000888: SUB
00000889: DUP3
0000088a: MSTORE
0000088b: DUP5
0000088c: DUP2
0000088d: DUP2
0000088e: MLOAD
0000088f: DUP2
00000890: MSTORE
00000891: PUSH1 0x20
00000893: ADD
00000894: SWAP2
00000895: POP
00000896: DUP1
00000897: MLOAD
00000898: SWAP1
00000899: PUSH1 0x20
0000089b: ADD
0000089c: SWAP1
0000089d: PUSH1 0x20
0000089f: MUL
000008a0: DUP1
000008a1: DUP4
000008a2: DUP4
000008a3: PUSH1 0x00
000008a5: JUMPDEST
000008a6: DUP4
000008a7: DUP2
000008a8: LT
000008a9: ISZERO
000008aa: PUSH2 0x08bd
000008ad: JUMPI
000008ae: DUP2
000008af: DUP2
000008b0: ADD
000008b1: MLOAD
000008b2: DUP4
000008b3: DUP3
000008b4: ADD
000008b5: MSTORE
000008b6: PUSH1 0x20
000008b8: ADD
000008b9: PUSH2 0x08a5
000008bc: JUMP
000008bd: JUMPDEST
000008be: POP
000008bf: POP
000008c0: POP
000008c1: POP
000008c2: SWAP1
000008c3: POP
000008c4: ADD
000008c5: SWAP5
000008c6: POP
000008c7: POP
000008c8: POP
000008c9: POP
000008ca: POP
000008cb: PUSH1 0x40
000008cd: MLOAD
000008ce: DUP1
000008cf: SWAP2
000008d0: SUB
000008d1: SWAP1
000008d2: RETURN
000008d3: JUMPDEST
000008d4: CALLVALUE
000008d5: DUP1
000008d6: ISZERO
000008d7: PUSH2 0x08df
000008da: JUMPI
000008db: PUSH1 0x00
000008dd: DUP1
000008de: REVERT
000008df: JUMPDEST
000008e0: POP
000008e1: PUSH2 0x01d0
000008e4: PUSH1 0x04
000008e6: DUP1
000008e7: CALLDATASIZE
000008e8: SUB
000008e9: PUSH1 0x40
000008eb: DUP2
000008ec: LT
000008ed: ISZERO
000008ee: PUSH2 0x08f6
000008f1: JUMPI
000008f2: PUSH1 0x00
000008f4: DUP1
000008f5: REVERT
000008f6: JUMPDEST
000008f7: POP
000008f8: DUP1
000008f9: CALLDATALOAD
000008fa: SWAP1
000008fb: PUSH1 0x20
000008fd: ADD
000008fe: CALLDATALOAD
000008ff: PUSH2 0x230e
00000902: JUMP
00000903: JUMPDEST
00000904: CALLVALUE
00000905: DUP1
00000906: ISZERO
00000907: PUSH2 0x090f
0000090a: JUMPI
0000090b: PUSH1 0x00
0000090d: DUP1
0000090e: REVERT
0000090f: JUMPDEST
00000910: POP
00000911: PUSH2 0x01b9
00000914: PUSH1 0x04
00000916: DUP1
00000917: CALLDATASIZE
00000918: SUB
00000919: PUSH1 0x80
0000091b: DUP2
0000091c: LT
0000091d: ISZERO
0000091e: PUSH2 0x0926
00000921: JUMPI
00000922: PUSH1 0x00
00000924: DUP1
00000925: REVERT
00000926: JUMPDEST
00000927: DUP2
00000928: CALLDATALOAD
00000929: SWAP2
0000092a: PUSH1 0x20
0000092c: DUP2
0000092d: ADD
0000092e: CALLDATALOAD
0000092f: SWAP2
00000930: PUSH1 0x40
00000932: DUP3
00000933: ADD
00000934: CALLDATALOAD
00000935: SWAP2
00000936: SWAP1
00000937: DUP2
00000938: ADD
00000939: SWAP1
0000093a: PUSH1 0x80
0000093c: DUP2
0000093d: ADD
0000093e: PUSH1 0x60
00000940: DUP3
00000941: ADD
00000942: CALLDATALOAD
00000943: PUSH1 0x01
00000945: PUSH1 0x20
00000947: SHL
00000948: DUP2
00000949: GT
0000094a: ISZERO
0000094b: PUSH2 0x0953
0000094e: JUMPI
0000094f: PUSH1 0x00
00000951: DUP1
00000952: REVERT
00000953: JUMPDEST
00000954: DUP3
00000955: ADD
00000956: DUP4
00000957: PUSH1 0x20
00000959: DUP3
0000095a: ADD
0000095b: GT
0000095c: ISZERO
0000095d: PUSH2 0x0965
00000960: JUMPI
00000961: PUSH1 0x00
00000963: DUP1
00000964: REVERT
00000965: JUMPDEST
00000966: DUP1
00000967: CALLDATALOAD
00000968: SWAP1
00000969: PUSH1 0x20
0000096b: ADD
0000096c: SWAP2
0000096d: DUP5
0000096e: PUSH1 0x20
00000970: DUP4
00000971: MUL
00000972: DUP5
00000973: ADD
00000974: GT
00000975: PUSH1 0x01
00000977: PUSH1 0x20
00000979: SHL
0000097a: DUP4
0000097b: GT
0000097c: OR
0000097d: ISZERO
0000097e: PUSH2 0x0986
00000981: JUMPI
00000982: PUSH1 0x00
00000984: DUP1
00000985: REVERT
00000986: JUMPDEST
00000987: POP
00000988: SWAP1
00000989: SWAP3
0000098a: POP
0000098b: SWAP1
0000098c: POP
0000098d: PUSH2 0x232b
00000990: JUMP
00000991: JUMPDEST
00000992: CALLVALUE
00000993: DUP1
00000994: ISZERO
00000995: PUSH2 0x099d
00000998: JUMPI
00000999: PUSH1 0x00
0000099b: DUP1
0000099c: REVERT
0000099d: JUMPDEST
0000099e: POP
0000099f: PUSH2 0x01b9
000009a2: PUSH1 0x04
000009a4: DUP1
000009a5: CALLDATASIZE
000009a6: SUB
000009a7: PUSH1 0x20
000009a9: DUP2
000009aa: LT
000009ab: ISZERO
000009ac: PUSH2 0x09b4
000009af: JUMPI
000009b0: PUSH1 0x00
000009b2: DUP1
000009b3: REVERT
000009b4: JUMPDEST
000009b5: POP
000009b6: CALLDATALOAD
000009b7: PUSH1 0x01
000009b9: PUSH1 0x01
000009bb: PUSH1 0xa0
000009bd: SHL
000009be: SUB
000009bf: AND
000009c0: PUSH2 0x2339
000009c3: JUMP
000009c4: JUMPDEST
000009c5: CALLVALUE
000009c6: DUP1
000009c7: ISZERO
000009c8: PUSH2 0x09d0
000009cb: JUMPI
000009cc: PUSH1 0x00
000009ce: DUP1
000009cf: REVERT
000009d0: JUMPDEST
000009d1: POP
000009d2: PUSH2 0x0466
000009d5: PUSH1 0x04
000009d7: DUP1
000009d8: CALLDATASIZE
000009d9: SUB
000009da: PUSH1 0x40
000009dc: DUP2
000009dd: LT
000009de: ISZERO
000009df: PUSH2 0x09e7
000009e2: JUMPI
000009e3: PUSH1 0x00
000009e5: DUP1
000009e6: REVERT
000009e7: JUMPDEST
000009e8: POP
000009e9: DUP1
000009ea: CALLDATALOAD
000009eb: SWAP1
000009ec: PUSH1 0x20
000009ee: ADD
000009ef: CALLDATALOAD
000009f0: PUSH2 0x243b
000009f3: JUMP
000009f4: JUMPDEST
000009f5: PUSH2 0x09fc
000009f8: PUSH2 0x246b
000009fb: JUMP
000009fc: JUMPDEST
000009fd: PUSH1 0x01
000009ff: PUSH1 0x01
00000a01: PUSH1 0xa0
00000a03: SHL
00000a04: SUB
00000a05: AND
00000a06: PUSH2 0x0a0d
00000a09: PUSH2 0x0f51
00000a0c: JUMP
00000a0d: JUMPDEST
00000a0e: PUSH1 0x01
00000a10: PUSH1 0x01
00000a12: PUSH1 0xa0
00000a14: SHL
00000a15: SUB
00000a16: AND
00000a17: EQ
00000a18: PUSH2 0x0a56
00000a1b: JUMPI
00000a1c: PUSH1 0x40
00000a1e: DUP1
00000a1f: MLOAD
00000a20: PUSH3 0x461bcd
00000a24: PUSH1 0xe5
00000a26: SHL
00000a27: DUP2
00000a28: MSTORE
00000a29: PUSH1 0x20
00000a2b: PUSH1 0x04
00000a2d: DUP3
00000a2e: ADD
00000a2f: DUP2
00000a30: SWAP1
00000a31: MSTORE
00000a32: PUSH1 0x24
00000a34: DUP3
00000a35: ADD
00000a36: MSTORE
00000a37: PUSH1 0x00
00000a39: DUP1
00000a3a: MLOAD
00000a3b: PUSH1 0x20
00000a3d: PUSH2 0x3047
00000a40: DUP4
00000a41: CODECOPY
00000a42: DUP2
00000a43: MLOAD
00000a44: SWAP2
00000a45: MSTORE
00000a46: PUSH1 0x44
00000a48: DUP3
00000a49: ADD
00000a4a: MSTORE
00000a4b: SWAP1
00000a4c: MLOAD
00000a4d: SWAP1
00000a4e: DUP2
00000a4f: SWAP1
00000a50: SUB
00000a51: PUSH1 0x64
00000a53: ADD
00000a54: SWAP1
00000a55: REVERT
00000a56: JUMPDEST
00000a57: PUSH1 0x01
00000a59: PUSH1 0x01
00000a5b: PUSH1 0xa0
00000a5d: SHL
00000a5e: SUB
00000a5f: DUP2
00000a60: AND
00000a61: PUSH2 0x0aaa
00000a64: JUMPI
00000a65: PUSH1 0x40
00000a67: DUP1
00000a68: MLOAD
00000a69: PUSH3 0x461bcd
00000a6d: PUSH1 0xe5
00000a6f: SHL
00000a70: DUP2
00000a71: MSTORE
00000a72: PUSH1 0x20
00000a74: PUSH1 0x04
00000a76: DUP3
00000a77: ADD
00000a78: MSTORE
00000a79: PUSH1 0x16
00000a7b: PUSH1 0x24
00000a7d: DUP3
00000a7e: ADD
00000a7f: MSTORE
00000a80: PUSH22 0x131a5c5d5a591a5d1e481c1bdbdb081b9bdd081cd95d
00000a97: PUSH1 0x52
00000a99: SHL
00000a9a: PUSH1 0x44
00000a9c: DUP3
00000a9d: ADD
00000a9e: MSTORE
00000a9f: SWAP1
00000aa0: MLOAD
00000aa1: SWAP1
00000aa2: DUP2
00000aa3: SWAP1
00000aa4: SUB
00000aa5: PUSH1 0x64
00000aa7: ADD
00000aa8: SWAP1
00000aa9: REVERT
00000aaa: JUMPDEST
00000aab: PUSH1 0x03
00000aad: DUP1
00000aae: SLOAD
00000aaf: PUSH1 0x01
00000ab1: PUSH1 0x01
00000ab3: PUSH1 0xa0
00000ab5: SHL
00000ab6: SUB
00000ab7: NOT
00000ab8: AND
00000ab9: PUSH1 0x01
00000abb: PUSH1 0x01
00000abd: PUSH1 0xa0
00000abf: SHL
00000ac0: SUB
00000ac1: DUP4
00000ac2: DUP2
00000ac3: AND
00000ac4: SWAP2
00000ac5: SWAP1
00000ac6: SWAP2
00000ac7: OR
00000ac8: SWAP2
00000ac9: DUP3
00000aca: SWAP1
00000acb: SSTORE
00000acc: PUSH1 0x40
00000ace: MLOAD
00000acf: SWAP2
00000ad0: AND
00000ad1: SWAP1
00000ad2: PUSH32 0xe57f71636571365571c0eaeaeb54e1d9e0065804f056a57a2a29448524f7d18a
00000af3: SWAP1
00000af4: PUSH1 0x00
00000af6: SWAP1
00000af7: LOG2
00000af8: POP
00000af9: JUMP
00000afa: JUMPDEST
00000afb: PUSH1 0x04
00000afd: SLOAD
00000afe: SWAP1
00000aff: JUMP
00000b00: JUMPDEST
00000b01: PUSH1 0x06
00000b03: DUP2
00000b04: DUP2
00000b05: SLOAD
00000b06: DUP2
00000b07: LT
00000b08: PUSH2 0x0b10
00000b0b: JUMPI
00000b0c: PUSH1 0x00
00000b0e: DUP1
00000b0f: REVERT
00000b10: JUMPDEST
00000b11: PUSH1 0x00
00000b13: SWAP2
00000b14: DUP3
00000b15: MSTORE
00000b16: PUSH1 0x20
00000b18: SWAP1
00000b19: SWAP2
00000b1a: KECCAK256
00000b1b: ADD
00000b1c: SLOAD
00000b1d: PUSH1 0x01
00000b1f: PUSH1 0x01
00000b21: PUSH1 0xa0
00000b23: SHL
00000b24: SUB
00000b25: AND
00000b26: SWAP1
00000b27: POP
00000b28: DUP2
00000b29: JUMP
00000b2a: JUMPDEST
00000b2b: PUSH1 0x06
00000b2d: SLOAD
00000b2e: PUSH1 0x60
00000b30: SWAP1
00000b31: PUSH1 0x00
00000b33: SWAP1
00000b34: PUSH8 0xffffffffffffffff
00000b3d: DUP2
00000b3e: GT
00000b3f: DUP1
00000b40: ISZERO
00000b41: PUSH2 0x0b49
00000b44: JUMPI
00000b45: PUSH1 0x00
00000b47: DUP1
00000b48: REVERT
00000b49: JUMPDEST
00000b4a: POP
00000b4b: PUSH1 0x40
00000b4d: MLOAD
00000b4e: SWAP1
00000b4f: DUP1
00000b50: DUP3
00000b51: MSTORE
00000b52: DUP1
00000b53: PUSH1 0x20
00000b55: MUL
00000b56: PUSH1 0x20
00000b58: ADD
00000b59: DUP3
00000b5a: ADD
00000b5b: PUSH1 0x40
00000b5d: MSTORE
00000b5e: DUP1
00000b5f: ISZERO
00000b60: PUSH2 0x0b73
00000b63: JUMPI
00000b64: DUP2
00000b65: PUSH1 0x20
00000b67: ADD
00000b68: PUSH1 0x20
00000b6a: DUP3
00000b6b: MUL
00000b6c: DUP1
00000b6d: CALLDATASIZE
00000b6e: DUP4
00000b6f: CALLDATACOPY
00000b70: ADD
00000b71: SWAP1
00000b72: POP
00000b73: JUMPDEST
00000b74: POP
00000b75: SWAP1
00000b76: POP
00000b77: PUSH1 0x00
00000b79: DUP1
00000b7a: JUMPDEST
00000b7b: PUSH1 0x06
00000b7d: SLOAD
00000b7e: DUP2
00000b7f: LT
00000b80: ISZERO
00000b81: PUSH2 0x0c14
00000b84: JUMPI
00000b85: PUSH1 0x00
00000b87: PUSH1 0x01
00000b89: PUSH1 0x01
00000b8b: PUSH1 0xa0
00000b8d: SHL
00000b8e: SUB
00000b8f: AND
00000b90: PUSH1 0x06
00000b92: DUP3
00000b93: DUP2
00000b94: SLOAD
00000b95: DUP2
00000b96: LT
00000b97: PUSH2 0x0b9c
00000b9a: JUMPI
00000b9b: INVALID
00000b9c: JUMPDEST
00000b9d: PUSH1 0x00
00000b9f: SWAP2
00000ba0: DUP3
00000ba1: MSTORE
00000ba2: PUSH1 0x20
00000ba4: SWAP1
00000ba5: SWAP2
00000ba6: KECCAK256
00000ba7: ADD
00000ba8: SLOAD
00000ba9: PUSH1 0x01
00000bab: PUSH1 0x01
00000bad: PUSH1 0xa0
00000baf: SHL
00000bb0: SUB
00000bb1: AND
00000bb2: EQ
00000bb3: PUSH2 0x0c0c
00000bb6: JUMPI
00000bb7: PUSH1 0x06
00000bb9: DUP2
00000bba: DUP2
00000bbb: SLOAD
00000bbc: DUP2
00000bbd: LT
00000bbe: PUSH2 0x0bc3
00000bc1: JUMPI
00000bc2: INVALID
00000bc3: JUMPDEST
00000bc4: SWAP1
00000bc5: PUSH1 0x00
00000bc7: MSTORE
00000bc8: PUSH1 0x20
00000bca: PUSH1 0x00
00000bcc: KECCAK256
00000bcd: ADD
00000bce: PUSH1 0x00
00000bd0: SWAP1
00000bd1: SLOAD
00000bd2: SWAP1
00000bd3: PUSH2 0x0100
00000bd6: EXP
00000bd7: SWAP1
00000bd8: DIV
00000bd9: PUSH1 0x01
00000bdb: PUSH1 0x01
00000bdd: PUSH1 0xa0
00000bdf: SHL
00000be0: SUB
00000be1: AND
00000be2: DUP4
00000be3: DUP4
00000be4: DUP2
00000be5: MLOAD
00000be6: DUP2
00000be7: LT
00000be8: PUSH2 0x0bed
00000beb: JUMPI
00000bec: INVALID
00000bed: JUMPDEST
00000bee: PUSH1 0x01
00000bf0: PUSH1 0x01
00000bf2: PUSH1 0xa0
00000bf4: SHL
00000bf5: SUB
00000bf6: SWAP1
00000bf7: SWAP3
00000bf8: AND
00000bf9: PUSH1 0x20
00000bfb: SWAP3
00000bfc: DUP4
00000bfd: MUL
00000bfe: SWAP2
00000bff: SWAP1
00000c00: SWAP2
00000c01: ADD
00000c02: SWAP1
00000c03: SWAP2
00000c04: ADD
00000c05: MSTORE
00000c06: PUSH1 0x01
00000c08: SWAP1
00000c09: SWAP2
00000c0a: ADD
00000c0b: SWAP1
00000c0c: JUMPDEST
00000c0d: PUSH1 0x01
00000c0f: ADD
00000c10: PUSH2 0x0b7a
00000c13: JUMP
00000c14: JUMPDEST
00000c15: POP
00000c16: PUSH1 0x00
00000c18: DUP2
00000c19: PUSH8 0xffffffffffffffff
00000c22: DUP2
00000c23: GT
00000c24: DUP1
00000c25: ISZERO
00000c26: PUSH2 0x0c2e
00000c29: JUMPI
00000c2a: PUSH1 0x00
00000c2c: DUP1
00000c2d: REVERT
00000c2e: JUMPDEST
00000c2f: POP
00000c30: PUSH1 0x40
00000c32: MLOAD
00000c33: SWAP1
00000c34: DUP1
00000c35: DUP3
00000c36: MSTORE
00000c37: DUP1
00000c38: PUSH1 0x20
00000c3a: MUL
00000c3b: PUSH1 0x20
00000c3d: ADD
00000c3e: DUP3
00000c3f: ADD
00000c40: PUSH1 0x40
00000c42: MSTORE
00000c43: DUP1
00000c44: ISZERO
00000c45: PUSH2 0x0c58
00000c48: JUMPI
00000c49: DUP2
00000c4a: PUSH1 0x20
00000c4c: ADD
00000c4d: PUSH1 0x20
00000c4f: DUP3
00000c50: MUL
00000c51: DUP1
00000c52: CALLDATASIZE
00000c53: DUP4
00000c54: CALLDATACOPY
00000c55: ADD
00000c56: SWAP1
00000c57: POP
00000c58: JUMPDEST
00000c59: POP
00000c5a: SWAP1
00000c5b: POP
00000c5c: PUSH1 0x00
00000c5e: JUMPDEST
00000c5f: DUP3
00000c60: DUP2
00000c61: LT
00000c62: ISZERO
00000c63: PUSH2 0x0ca6
00000c66: JUMPI
00000c67: DUP4
00000c68: DUP2
00000c69: DUP2
00000c6a: MLOAD
00000c6b: DUP2
00000c6c: LT
00000c6d: PUSH2 0x0c72
00000c70: JUMPI
00000c71: INVALID
00000c72: JUMPDEST
00000c73: PUSH1 0x20
00000c75: MUL
00000c76: PUSH1 0x20
00000c78: ADD
00000c79: ADD
00000c7a: MLOAD
00000c7b: DUP3
00000c7c: DUP3
00000c7d: DUP2
00000c7e: MLOAD
00000c7f: DUP2
00000c80: LT
00000c81: PUSH2 0x0c86
00000c84: JUMPI
00000c85: INVALID
00000c86: JUMPDEST
00000c87: PUSH1 0x01
00000c89: PUSH1 0x01
00000c8b: PUSH1 0xa0
00000c8d: SHL
00000c8e: SUB
00000c8f: SWAP1
00000c90: SWAP3
00000c91: AND
00000c92: PUSH1 0x20
00000c94: SWAP3
00000c95: DUP4
00000c96: MUL
00000c97: SWAP2
00000c98: SWAP1
00000c99: SWAP2
00000c9a: ADD
00000c9b: SWAP1
00000c9c: SWAP2
00000c9d: ADD
00000c9e: MSTORE
00000c9f: PUSH1 0x01
00000ca1: ADD
00000ca2: PUSH2 0x0c5e
00000ca5: JUMP
00000ca6: JUMPDEST
00000ca7: POP
00000ca8: SWAP3
00000ca9: POP
00000caa: POP
00000cab: POP
00000cac: SWAP1
00000cad: JUMP
00000cae: JUMPDEST
00000caf: PUSH1 0x03
00000cb1: SLOAD
00000cb2: PUSH1 0x01
00000cb4: PUSH1 0x01
00000cb6: PUSH1 0xa0
00000cb8: SHL
00000cb9: SUB
00000cba: AND
00000cbb: DUP2
00000cbc: JUMP
00000cbd: JUMPDEST
00000cbe: PUSH1 0x07
00000cc0: PUSH1 0x20
00000cc2: MSTORE
00000cc3: PUSH1 0x00
00000cc5: SWAP1
00000cc6: DUP2
00000cc7: MSTORE
00000cc8: PUSH1 0x40
00000cca: SWAP1
00000ccb: KECCAK256
00000ccc: SLOAD
00000ccd: DUP2
00000cce: JUMP
00000ccf: JUMPDEST
00000cd0: PUSH2 0x0cd7
00000cd3: PUSH2 0x246b
00000cd6: JUMP
00000cd7: JUMPDEST
00000cd8: PUSH1 0x01
00000cda: PUSH1 0x01
00000cdc: PUSH1 0xa0
00000cde: SHL
00000cdf: SUB
00000ce0: AND
00000ce1: PUSH2 0x0ce8
00000ce4: PUSH2 0x0f51
00000ce7: JUMP
00000ce8: JUMPDEST
00000ce9: PUSH1 0x01
00000ceb: PUSH1 0x01
00000ced: PUSH1 0xa0
00000cef: SHL
00000cf0: SUB
00000cf1: AND
00000cf2: EQ
00000cf3: PUSH2 0x0d31
00000cf6: JUMPI
00000cf7: PUSH1 0x40
00000cf9: DUP1
00000cfa: MLOAD
00000cfb: PUSH3 0x461bcd
00000cff: PUSH1 0xe5
00000d01: SHL
00000d02: DUP2
00000d03: MSTORE
00000d04: PUSH1 0x20
00000d06: PUSH1 0x04
00000d08: DUP3
00000d09: ADD
00000d0a: DUP2
00000d0b: SWAP1
00000d0c: MSTORE
00000d0d: PUSH1 0x24
00000d0f: DUP3
00000d10: ADD
00000d11: MSTORE
00000d12: PUSH1 0x00
00000d14: DUP1
00000d15: MLOAD
00000d16: PUSH1 0x20
00000d18: PUSH2 0x3047
00000d1b: DUP4
00000d1c: CODECOPY
00000d1d: DUP2
00000d1e: MLOAD
00000d1f: SWAP2
00000d20: MSTORE
00000d21: PUSH1 0x44
00000d23: DUP3
00000d24: ADD
00000d25: MSTORE
00000d26: SWAP1
00000d27: MLOAD
00000d28: SWAP1
00000d29: DUP2
00000d2a: SWAP1
00000d2b: SUB
00000d2c: PUSH1 0x64
00000d2e: ADD
00000d2f: SWAP1
00000d30: REVERT
00000d31: JUMPDEST
00000d32: PUSH1 0x00
00000d34: DUP1
00000d35: SLOAD
00000d36: PUSH1 0x40
00000d38: MLOAD
00000d39: PUSH1 0x01
00000d3b: PUSH1 0x01
00000d3d: PUSH1 0xa0
00000d3f: SHL
00000d40: SUB
00000d41: SWAP1
00000d42: SWAP2
00000d43: AND
00000d44: SWAP1
00000d45: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000d66: SWAP1
00000d67: DUP4
00000d68: SWAP1
00000d69: LOG3
00000d6a: PUSH1 0x00
00000d6c: DUP1
00000d6d: SLOAD
00000d6e: PUSH1 0x01
00000d70: PUSH1 0x01
00000d72: PUSH1 0xa0
00000d74: SHL
00000d75: SUB
00000d76: NOT
00000d77: AND
00000d78: SWAP1
00000d79: SSTORE
00000d7a: JUMP
00000d7b: JUMPDEST
00000d7c: PUSH1 0x60
00000d7e: NUMBER
00000d7f: DUP5
00000d80: GT
00000d81: ISZERO
00000d82: PUSH2 0x0dc2
00000d85: JUMPI
00000d86: PUSH1 0x40
00000d88: DUP1
00000d89: MLOAD
00000d8a: PUSH3 0x461bcd
00000d8e: PUSH1 0xe5
00000d90: SHL
00000d91: DUP2
00000d92: MSTORE
00000d93: PUSH1 0x20
00000d95: PUSH1 0x04
00000d97: DUP3
00000d98: ADD
00000d99: MSTORE
00000d9a: PUSH1 0x0d
00000d9c: PUSH1 0x24
00000d9e: DUP3
00000d9f: ADD
00000da0: MSTORE
00000da1: PUSH13 0x496e76616c696420626c6f636b
00000daf: PUSH1 0x98
00000db1: SHL
00000db2: PUSH1 0x44
00000db4: DUP3
00000db5: ADD
00000db6: MSTORE
00000db7: SWAP1
00000db8: MLOAD
00000db9: SWAP1
00000dba: DUP2
00000dbb: SWAP1
00000dbc: SUB
00000dbd: PUSH1 0x64
00000dbf: ADD
00000dc0: SWAP1
00000dc1: REVERT
00000dc2: JUMPDEST
00000dc3: PUSH1 0x00
00000dc5: DUP3
00000dc6: PUSH8 0xffffffffffffffff
00000dcf: DUP2
00000dd0: GT
00000dd1: DUP1
00000dd2: ISZERO
00000dd3: PUSH2 0x0ddb
00000dd6: JUMPI
00000dd7: PUSH1 0x00
00000dd9: DUP1
00000dda: REVERT
00000ddb: JUMPDEST
00000ddc: POP
00000ddd: PUSH1 0x40
00000ddf: MLOAD
00000de0: SWAP1
00000de1: DUP1
00000de2: DUP3
00000de3: MSTORE
00000de4: DUP1
00000de5: PUSH1 0x20
00000de7: MUL
00000de8: PUSH1 0x20
00000dea: ADD
00000deb: DUP3
00000dec: ADD
00000ded: PUSH1 0x40
00000def: MSTORE
00000df0: DUP1
00000df1: ISZERO
00000df2: PUSH2 0x0e05
00000df5: JUMPI
00000df6: DUP2
00000df7: PUSH1 0x20
00000df9: ADD
00000dfa: PUSH1 0x20
00000dfc: DUP3
00000dfd: MUL
00000dfe: DUP1
00000dff: CALLDATASIZE
00000e00: DUP4
00000e01: CALLDATACOPY
00000e02: ADD
00000e03: SWAP1
00000e04: POP
00000e05: JUMPDEST
00000e06: POP
00000e07: SWAP1
00000e08: POP
00000e09: PUSH1 0x00
00000e0b: JUMPDEST
00000e0c: DUP4
00000e0d: DUP2
00000e0e: LT
00000e0f: ISZERO
00000e10: PUSH2 0x0ed2
00000e13: JUMPI
00000e14: PUSH1 0x01
00000e16: SLOAD
00000e17: PUSH1 0x01
00000e19: PUSH1 0x01
00000e1b: PUSH1 0xa0
00000e1d: SHL
00000e1e: SUB
00000e1f: AND
00000e20: PUSH4 0x4ee2cd7e
00000e25: DUP7
00000e26: DUP7
00000e27: DUP5
00000e28: DUP2
00000e29: DUP2
00000e2a: LT
00000e2b: PUSH2 0x0e30
00000e2e: JUMPI
00000e2f: INVALID
00000e30: JUMPDEST
00000e31: SWAP1
00000e32: POP
00000e33: PUSH1 0x20
00000e35: MUL
00000e36: ADD
00000e37: CALLDATALOAD
00000e38: PUSH1 0x01
00000e3a: PUSH1 0x01
00000e3c: PUSH1 0xa0
00000e3e: SHL
00000e3f: SUB
00000e40: AND
00000e41: DUP9
00000e42: PUSH1 0x40
00000e44: MLOAD
00000e45: DUP4
00000e46: PUSH4 0xffffffff
00000e4b: AND
00000e4c: PUSH1 0xe0
00000e4e: SHL
00000e4f: DUP2
00000e50: MSTORE
00000e51: PUSH1 0x04
00000e53: ADD
00000e54: DUP1
00000e55: DUP4
00000e56: PUSH1 0x01
00000e58: PUSH1 0x01
00000e5a: PUSH1 0xa0
00000e5c: SHL
00000e5d: SUB
00000e5e: AND
00000e5f: DUP2
00000e60: MSTORE
00000e61: PUSH1 0x20
00000e63: ADD
00000e64: DUP3
00000e65: DUP2
00000e66: MSTORE
00000e67: PUSH1 0x20
00000e69: ADD
00000e6a: SWAP3
00000e6b: POP
00000e6c: POP
00000e6d: POP
00000e6e: PUSH1 0x20
00000e70: PUSH1 0x40
00000e72: MLOAD
00000e73: DUP1
00000e74: DUP4
00000e75: SUB
00000e76: DUP2
00000e77: DUP7
00000e78: DUP1
00000e79: EXTCODESIZE
00000e7a: ISZERO
00000e7b: DUP1
00000e7c: ISZERO
00000e7d: PUSH2 0x0e85
00000e80: JUMPI
00000e81: PUSH1 0x00
00000e83: DUP1
00000e84: REVERT
00000e85: JUMPDEST
00000e86: POP
00000e87: GAS
00000e88: STATICCALL
00000e89: ISZERO
00000e8a: DUP1
00000e8b: ISZERO
00000e8c: PUSH2 0x0e99
00000e8f: JUMPI
00000e90: RETURNDATASIZE
00000e91: PUSH1 0x00
00000e93: DUP1
00000e94: RETURNDATACOPY
00000e95: RETURNDATASIZE
00000e96: PUSH1 0x00
00000e98: REVERT
00000e99: JUMPDEST
00000e9a: POP
00000e9b: POP
00000e9c: POP
00000e9d: POP
00000e9e: PUSH1 0x40
00000ea0: MLOAD
00000ea1: RETURNDATASIZE
00000ea2: PUSH1 0x20
00000ea4: DUP2
00000ea5: LT
00000ea6: ISZERO
00000ea7: PUSH2 0x0eaf
00000eaa: JUMPI
00000eab: PUSH1 0x00
00000ead: DUP1
00000eae: REVERT
00000eaf: JUMPDEST
00000eb0: POP
00000eb1: MLOAD
00000eb2: DUP3
00000eb3: MLOAD
00000eb4: DUP4
00000eb5: SWAP1
00000eb6: DUP4
00000eb7: SWAP1
00000eb8: DUP2
00000eb9: LT
00000eba: PUSH2 0x0ebf
00000ebd: JUMPI
00000ebe: INVALID
00000ebf: JUMPDEST
00000ec0: PUSH1 0x20
00000ec2: SWAP1
00000ec3: DUP2
00000ec4: MUL
00000ec5: SWAP2
00000ec6: SWAP1
00000ec7: SWAP2
00000ec8: ADD
00000ec9: ADD
00000eca: MSTORE
00000ecb: PUSH1 0x01
00000ecd: ADD
00000ece: PUSH2 0x0e0b
00000ed1: JUMP
00000ed2: JUMPDEST
00000ed3: POP
00000ed4: SWAP5
00000ed5: SWAP4
00000ed6: POP
00000ed7: POP
00000ed8: POP
00000ed9: POP
00000eda: JUMP
00000edb: JUMPDEST
00000edc: PUSH1 0x04
00000ede: DUP2
00000edf: DUP2
00000ee0: SLOAD
00000ee1: DUP2
00000ee2: LT
00000ee3: PUSH2 0x0eeb
00000ee6: JUMPI
00000ee7: PUSH1 0x00
00000ee9: DUP1
00000eea: REVERT
00000eeb: JUMPDEST
00000eec: PUSH1 0x00
00000eee: SWAP2
00000eef: DUP3
00000ef0: MSTORE
00000ef1: PUSH1 0x20
00000ef3: SWAP1
00000ef4: SWAP2
00000ef5: KECCAK256
00000ef6: PUSH1 0x07
00000ef8: SWAP1
00000ef9: SWAP2
00000efa: MUL
00000efb: ADD
00000efc: DUP1
00000efd: SLOAD
00000efe: PUSH1 0x01
00000f00: DUP3
00000f01: ADD
00000f02: SLOAD
00000f03: PUSH1 0x02
00000f05: DUP4
00000f06: ADD
00000f07: SLOAD
00000f08: PUSH1 0x03
00000f0a: DUP5
00000f0b: ADD
00000f0c: SLOAD
00000f0d: PUSH1 0x04
00000f0f: DUP6
00000f10: ADD
00000f11: SLOAD
00000f12: PUSH1 0x05
00000f14: DUP7
00000f15: ADD
00000f16: SLOAD
00000f17: PUSH1 0x06
00000f19: SWAP1
00000f1a: SWAP7
00000f1b: ADD
00000f1c: SLOAD
00000f1d: SWAP5
00000f1e: SWAP7
00000f1f: POP
00000f20: SWAP3
00000f21: SWAP5
00000f22: PUSH1 0x01
00000f24: PUSH1 0x01
00000f26: PUSH1 0xa0
00000f28: SHL
00000f29: SUB
00000f2a: SWAP1
00000f2b: SWAP3
00000f2c: AND
00000f2d: SWAP4
00000f2e: SWAP1
00000f2f: SWAP3
00000f30: SWAP2
00000f31: SWAP1
00000f32: PUSH1 0xff
00000f34: AND
00000f35: DUP8
00000f36: JUMP
00000f37: JUMPDEST
00000f38: PUSH1 0x00
00000f3a: PUSH2 0x0f47
00000f3d: CALLER
00000f3e: DUP8
00000f3f: DUP8
00000f40: DUP8
00000f41: DUP8
00000f42: DUP8
00000f43: PUSH2 0x246f
00000f46: JUMP
00000f47: JUMPDEST
00000f48: SWAP7
00000f49: SWAP6
00000f4a: POP
00000f4b: POP
00000f4c: POP
00000f4d: POP
00000f4e: POP
00000f4f: POP
00000f50: JUMP
00000f51: JUMPDEST
00000f52: PUSH1 0x00
00000f54: SLOAD
00000f55: PUSH1 0x01
00000f57: PUSH1 0x01
00000f59: PUSH1 0xa0
00000f5b: SHL
00000f5c: SUB
00000f5d: AND
00000f5e: SWAP1
00000f5f: JUMP
00000f60: JUMPDEST
00000f61: PUSH1 0x60
00000f63: PUSH1 0x00
00000f65: DUP3
00000f66: PUSH8 0xffffffffffffffff
00000f6f: DUP2
00000f70: GT
00000f71: DUP1
00000f72: ISZERO
00000f73: PUSH2 0x0f7b
00000f76: JUMPI
00000f77: PUSH1 0x00
00000f79: DUP1
00000f7a: REVERT
00000f7b: JUMPDEST
00000f7c: POP
00000f7d: PUSH1 0x40
00000f7f: MLOAD
00000f80: SWAP1
00000f81: DUP1
00000f82: DUP3
00000f83: MSTORE
00000f84: DUP1
00000f85: PUSH1 0x20
00000f87: MUL
00000f88: PUSH1 0x20
00000f8a: ADD
00000f8b: DUP3
00000f8c: ADD
00000f8d: PUSH1 0x40
00000f8f: MSTORE
00000f90: DUP1
00000f91: ISZERO
00000f92: PUSH2 0x0fa5
00000f95: JUMPI
00000f96: DUP2
00000f97: PUSH1 0x20
00000f99: ADD
00000f9a: PUSH1 0x20
00000f9c: DUP3
00000f9d: MUL
00000f9e: DUP1
00000f9f: CALLDATASIZE
00000fa0: DUP4
00000fa1: CALLDATACOPY
00000fa2: ADD
00000fa3: SWAP1
00000fa4: POP
00000fa5: JUMPDEST
00000fa6: POP
00000fa7: SWAP1
00000fa8: POP
00000fa9: PUSH1 0x00
00000fab: JUMPDEST
00000fac: DUP4
00000fad: DUP2
00000fae: LT
00000faf: ISZERO
00000fb0: PUSH2 0x0ed2
00000fb3: JUMPI
00000fb4: PUSH1 0x00
00000fb6: DUP6
00000fb7: DUP6
00000fb8: DUP4
00000fb9: DUP2
00000fba: DUP2
00000fbb: LT
00000fbc: PUSH2 0x0fc1
00000fbf: JUMPI
00000fc0: INVALID
00000fc1: JUMPDEST
00000fc2: SWAP1
00000fc3: POP
00000fc4: PUSH1 0x20
00000fc6: MUL
00000fc7: ADD
00000fc8: CALLDATALOAD
00000fc9: SWAP1
00000fca: POP
00000fcb: PUSH1 0x00
00000fcd: PUSH2 0x0100
00000fd0: DUP3
00000fd1: DUP2
00000fd2: PUSH2 0x0fd7
00000fd5: JUMPI
00000fd6: INVALID
00000fd7: JUMPDEST
00000fd8: PUSH1 0x00
00000fda: DUP11
00000fdb: DUP2
00000fdc: MSTORE
00000fdd: PUSH1 0x05
00000fdf: PUSH1 0x20
00000fe1: SWAP1
00000fe2: DUP2
00000fe3: MSTORE
00000fe4: PUSH1 0x40
00000fe6: DUP1
00000fe7: DUP4
00000fe8: KECCAK256
00000fe9: SWAP5
00000fea: SWAP1
00000feb: SWAP4
00000fec: DIV
00000fed: DUP1
00000fee: DUP4
00000fef: MSTORE
00000ff0: SWAP4
00000ff1: SWAP1
00000ff2: MSTORE
00000ff3: KECCAK256
00000ff4: SLOAD
00000ff5: DUP6
00000ff6: MLOAD
00000ff7: SWAP2
00000ff8: SWAP3
00000ff9: POP
00000ffa: PUSH1 0xff
00000ffc: DUP5
00000ffd: AND
00000ffe: SWAP2
00000fff: PUSH1 0x01
00001001: DUP4
00001002: SHL
00001003: SWAP1
00001004: DUP2
00001005: DUP4
00001006: AND
00001007: DUP3
00001008: EQ
00001009: SWAP1
0000100a: DUP9
0000100b: SWAP1
0000100c: DUP9
0000100d: SWAP1
0000100e: DUP2
0000100f: LT
00001010: PUSH2 0x1015
00001013: JUMPI
00001014: INVALID
00001015: JUMPDEST
00001016: SWAP2
00001017: ISZERO
00001018: ISZERO
00001019: PUSH1 0x20
0000101b: SWAP3
0000101c: DUP4
0000101d: MUL
0000101e: SWAP2
0000101f: SWAP1
00001020: SWAP2
00001021: ADD
00001022: SWAP1
00001023: SWAP2
00001024: ADD
00001025: MSTORE
00001026: POP
00001027: POP
00001028: PUSH1 0x01
0000102a: SWAP1
0000102b: SWAP4
0000102c: ADD
0000102d: SWAP3
0000102e: POP
0000102f: PUSH2 0x0fab
00001032: SWAP2
00001033: POP
00001034: POP
00001035: JUMP
00001036: JUMPDEST
00001037: PUSH2 0x103e
0000103a: PUSH2 0x246b
0000103d: JUMP
0000103e: JUMPDEST
0000103f: PUSH1 0x01
00001041: PUSH1 0x01
00001043: PUSH1 0xa0
00001045: SHL
00001046: SUB
00001047: AND
00001048: PUSH2 0x104f
0000104b: PUSH2 0x0f51
0000104e: JUMP
0000104f: JUMPDEST
00001050: PUSH1 0x01
00001052: PUSH1 0x01
00001054: PUSH1 0xa0
00001056: SHL
00001057: SUB
00001058: AND
00001059: EQ
0000105a: PUSH2 0x1098
0000105d: JUMPI
0000105e: PUSH1 0x40
00001060: DUP1
00001061: MLOAD
00001062: PUSH3 0x461bcd
00001066: PUSH1 0xe5
00001068: SHL
00001069: DUP2
0000106a: MSTORE
0000106b: PUSH1 0x20
0000106d: PUSH1 0x04
0000106f: DUP3
00001070: ADD
00001071: DUP2
00001072: SWAP1
00001073: MSTORE
00001074: PUSH1 0x24
00001076: DUP3
00001077: ADD
00001078: MSTORE
00001079: PUSH1 0x00
0000107b: DUP1
0000107c: MLOAD
0000107d: PUSH1 0x20
0000107f: PUSH2 0x3047
00001082: DUP4
00001083: CODECOPY
00001084: DUP2
00001085: MLOAD
00001086: SWAP2
00001087: MSTORE
00001088: PUSH1 0x44
0000108a: DUP3
0000108b: ADD
0000108c: MSTORE
0000108d: SWAP1
0000108e: MLOAD
0000108f: SWAP1
00001090: DUP2
00001091: SWAP1
00001092: SUB
00001093: PUSH1 0x64
00001095: ADD
00001096: SWAP1
00001097: REVERT
00001098: JUMPDEST
00001099: DUP3
0000109a: DUP2
0000109b: EQ
0000109c: PUSH2 0x10e0
0000109f: JUMPI
000010a0: PUSH1 0x40
000010a2: DUP1
000010a3: MLOAD
000010a4: PUSH3 0x461bcd
000010a8: PUSH1 0xe5
000010aa: SHL
000010ab: DUP2
000010ac: MSTORE
000010ad: PUSH1 0x20
000010af: PUSH1 0x04
000010b1: DUP3
000010b2: ADD
000010b3: MSTORE
000010b4: PUSH1 0x11
000010b6: PUSH1 0x24
000010b8: DUP3
000010b9: ADD
000010ba: MSTORE
000010bb: PUSH17 0x4d69736d61746368656420496e70757473
000010cd: PUSH1 0x78
000010cf: SHL
000010d0: PUSH1 0x44
000010d2: DUP3
000010d3: ADD
000010d4: MSTORE
000010d5: SWAP1
000010d6: MLOAD
000010d7: SWAP1
000010d8: DUP2
000010d9: SWAP1
000010da: SUB
000010db: PUSH1 0x64
000010dd: ADD
000010de: SWAP1
000010df: REVERT
000010e0: JUMPDEST
000010e1: PUSH1 0x00
000010e3: JUMPDEST
000010e4: DUP4
000010e5: DUP2
000010e6: LT
000010e7: ISZERO
000010e8: PUSH2 0x14c8
000010eb: JUMPI
000010ec: PUSH1 0x00
000010ee: DUP6
000010ef: DUP6
000010f0: DUP4
000010f1: DUP2
000010f2: DUP2
000010f3: LT
000010f4: PUSH2 0x10f9
000010f7: JUMPI
000010f8: INVALID
000010f9: JUMPDEST
000010fa: SWAP1
000010fb: POP
000010fc: PUSH1 0x20
000010fe: MUL
000010ff: ADD
00001100: CALLDATALOAD
00001101: PUSH1 0x01
00001103: PUSH1 0x01
00001105: PUSH1 0xa0
00001107: SHL
00001108: SUB
00001109: AND
0000110a: PUSH1 0x01
0000110c: PUSH1 0x01
0000110e: PUSH1 0xa0
00001110: SHL
00001111: SUB
00001112: AND
00001113: EQ
00001114: ISZERO
00001115: PUSH2 0x1159
00001118: JUMPI
00001119: PUSH1 0x40
0000111b: DUP1
0000111c: MLOAD
0000111d: PUSH3 0x461bcd
00001121: PUSH1 0xe5
00001123: SHL
00001124: DUP2
00001125: MSTORE
00001126: PUSH1 0x20
00001128: PUSH1 0x04
0000112a: DUP3
0000112b: ADD
0000112c: MSTORE
0000112d: PUSH1 0x11
0000112f: PUSH1 0x24
00001131: DUP3
00001132: ADD
00001133: MSTORE
00001134: PUSH17 0x043616e6e6f74207570646174652030783
00001146: PUSH1 0x7c
00001148: SHL
00001149: PUSH1 0x44
0000114b: DUP3
0000114c: ADD
0000114d: MSTORE
0000114e: SWAP1
0000114f: MLOAD
00001150: SWAP1
00001151: DUP2
00001152: SWAP1
00001153: SUB
00001154: PUSH1 0x64
00001156: ADD
00001157: SWAP1
00001158: REVERT
00001159: JUMPDEST
0000115a: DUP3
0000115b: DUP3
0000115c: DUP3
0000115d: DUP2
0000115e: DUP2
0000115f: LT
00001160: PUSH2 0x1165
00001163: JUMPI
00001164: INVALID
00001165: JUMPDEST
00001166: SWAP1
00001167: POP
00001168: PUSH1 0x20
0000116a: MUL
0000116b: ADD
0000116c: CALLDATALOAD
0000116d: PUSH2 0x1396
00001170: JUMPI
00001171: PUSH1 0x07
00001173: PUSH1 0x00
00001175: DUP7
00001176: DUP7
00001177: DUP5
00001178: DUP2
00001179: DUP2
0000117a: LT
0000117b: PUSH2 0x1180
0000117e: JUMPI
0000117f: INVALID
00001180: JUMPDEST
00001181: SWAP1
00001182: POP
00001183: PUSH1 0x20
00001185: MUL
00001186: ADD
00001187: CALLDATALOAD
00001188: PUSH1 0x01
0000118a: PUSH1 0x01
0000118c: PUSH1 0xa0
0000118e: SHL
0000118f: SUB
00001190: AND
00001191: PUSH1 0x01
00001193: PUSH1 0x01
00001195: PUSH1 0xa0
00001197: SHL
00001198: SUB
00001199: AND
0000119a: PUSH1 0x01
0000119c: PUSH1 0x01
0000119e: PUSH1 0xa0
000011a0: SHL
000011a1: SUB
000011a2: AND
000011a3: DUP2
000011a4: MSTORE
000011a5: PUSH1 0x20
000011a7: ADD
000011a8: SWAP1
000011a9: DUP2
000011aa: MSTORE
000011ab: PUSH1 0x20
000011ad: ADD
000011ae: PUSH1 0x00
000011b0: KECCAK256
000011b1: SLOAD
000011b2: PUSH1 0x00
000011b4: EQ
000011b5: ISZERO
000011b6: PUSH2 0x1206
000011b9: JUMPI
000011ba: PUSH1 0x40
000011bc: DUP1
000011bd: MLOAD
000011be: PUSH3 0x461bcd
000011c2: PUSH1 0xe5
000011c4: SHL
000011c5: DUP2
000011c6: MSTORE
000011c7: PUSH1 0x20
000011c9: PUSH1 0x04
000011cb: DUP3
000011cc: ADD
000011cd: MSTORE
000011ce: PUSH1 0x1a
000011d0: PUSH1 0x24
000011d2: DUP3
000011d3: ADD
000011d4: MSTORE
000011d5: PUSH32 0x41646472657373206973206e6f7420626c61636b6c6973746564000000000000
000011f6: PUSH1 0x44
000011f8: DUP3
000011f9: ADD
000011fa: MSTORE
000011fb: SWAP1
000011fc: MLOAD
000011fd: SWAP1
000011fe: DUP2
000011ff: SWAP1
00001200: SUB
00001201: PUSH1 0x64
00001203: ADD
00001204: SWAP1
00001205: REVERT
00001206: JUMPDEST
00001207: DUP5
00001208: DUP5
00001209: DUP3
0000120a: DUP2
0000120b: DUP2
0000120c: LT
0000120d: PUSH2 0x1212
00001210: JUMPI
00001211: INVALID
00001212: JUMPDEST
00001213: SWAP1
00001214: POP
00001215: PUSH1 0x20
00001217: MUL
00001218: ADD
00001219: CALLDATALOAD
0000121a: PUSH1 0x01
0000121c: PUSH1 0x01
0000121e: PUSH1 0xa0
00001220: SHL
00001221: SUB
00001222: AND
00001223: PUSH1 0x01
00001225: PUSH1 0x01
00001227: PUSH1 0xa0
00001229: SHL
0000122a: SUB
0000122b: AND
0000122c: PUSH1 0x06
0000122e: PUSH1 0x01
00001230: PUSH1 0x07
00001232: PUSH1 0x00
00001234: DUP10
00001235: DUP10
00001236: DUP8
00001237: DUP2
00001238: DUP2
00001239: LT
0000123a: PUSH2 0x123f
0000123d: JUMPI
0000123e: INVALID
0000123f: JUMPDEST
00001240: SWAP1
00001241: POP
00001242: PUSH1 0x20
00001244: MUL
00001245: ADD
00001246: CALLDATALOAD
00001247: PUSH1 0x01
00001249: PUSH1 0x01
0000124b: PUSH1 0xa0
0000124d: SHL
0000124e: SUB
0000124f: AND
00001250: PUSH1 0x01
00001252: PUSH1 0x01
00001254: PUSH1 0xa0
00001256: SHL
00001257: SUB
00001258: AND
00001259: PUSH1 0x01
0000125b: PUSH1 0x01
0000125d: PUSH1 0xa0
0000125f: SHL
00001260: SUB
00001261: AND
00001262: DUP2
00001263: MSTORE
00001264: PUSH1 0x20
00001266: ADD
00001267: SWAP1
00001268: DUP2
00001269: MSTORE
0000126a: PUSH1 0x20
0000126c: ADD
0000126d: PUSH1 0x00
0000126f: KECCAK256
00001270: SLOAD
00001271: SUB
00001272: DUP2
00001273: SLOAD
00001274: DUP2
00001275: LT
00001276: PUSH2 0x127b
00001279: JUMPI
0000127a: INVALID
0000127b: JUMPDEST
0000127c: PUSH1 0x00
0000127e: SWAP2
0000127f: DUP3
00001280: MSTORE
00001281: PUSH1 0x20
00001283: SWAP1
00001284: SWAP2
00001285: KECCAK256
00001286: ADD
00001287: SLOAD
00001288: PUSH1 0x01
0000128a: PUSH1 0x01
0000128c: PUSH1 0xa0
0000128e: SHL
0000128f: SUB
00001290: AND
00001291: EQ
00001292: PUSH2 0x12d3
00001295: JUMPI
00001296: PUSH1 0x40
00001298: DUP1
00001299: MLOAD
0000129a: PUSH3 0x461bcd
0000129e: PUSH1 0xe5
000012a0: SHL
000012a1: DUP2
000012a2: MSTORE
000012a3: PUSH1 0x20
000012a5: PUSH1 0x04
000012a7: DUP3
000012a8: ADD
000012a9: MSTORE
000012aa: PUSH1 0x0e
000012ac: PUSH1 0x24
000012ae: DUP3
000012af: ADD
000012b0: MSTORE
000012b1: PUSH14 0x11185d184818dbdc9c9d5c1d1959
000012c0: PUSH1 0x92
000012c2: SHL
000012c3: PUSH1 0x44
000012c5: DUP3
000012c6: ADD
000012c7: MSTORE
000012c8: SWAP1
000012c9: MLOAD
000012ca: SWAP1
000012cb: DUP2
000012cc: SWAP1
000012cd: SUB
000012ce: PUSH1 0x64
000012d0: ADD
000012d1: SWAP1
000012d2: REVERT
000012d3: JUMPDEST
000012d4: PUSH1 0x00
000012d6: PUSH1 0x06
000012d8: PUSH1 0x01
000012da: PUSH1 0x07
000012dc: PUSH1 0x00
000012de: DUP10
000012df: DUP10
000012e0: DUP8
000012e1: DUP2
000012e2: DUP2
000012e3: LT
000012e4: PUSH2 0x12e9
000012e7: JUMPI
000012e8: INVALID
000012e9: JUMPDEST
000012ea: SWAP1
000012eb: POP
000012ec: PUSH1 0x20
000012ee: MUL
000012ef: ADD
000012f0: CALLDATALOAD
000012f1: PUSH1 0x01
000012f3: PUSH1 0x01
000012f5: PUSH1 0xa0
000012f7: SHL
000012f8: SUB
000012f9: AND
000012fa: PUSH1 0x01
000012fc: PUSH1 0x01
000012fe: PUSH1 0xa0
00001300: SHL
00001301: SUB
00001302: AND
00001303: PUSH1 0x01
00001305: PUSH1 0x01
00001307: PUSH1 0xa0
00001309: SHL
0000130a: SUB
0000130b: AND
0000130c: DUP2
0000130d: MSTORE
0000130e: PUSH1 0x20
00001310: ADD
00001311: SWAP1
00001312: DUP2
00001313: MSTORE
00001314: PUSH1 0x20
00001316: ADD
00001317: PUSH1 0x00
00001319: KECCAK256
0000131a: SLOAD
0000131b: SUB
0000131c: DUP2
0000131d: SLOAD
0000131e: DUP2
0000131f: LT
00001320: PUSH2 0x1325
00001323: JUMPI
00001324: INVALID
00001325: JUMPDEST
00001326: PUSH1 0x00
00001328: SWAP2
00001329: DUP3
0000132a: MSTORE
0000132b: PUSH1 0x20
0000132d: DUP3
0000132e: KECCAK256
0000132f: ADD
00001330: DUP1
00001331: SLOAD
00001332: PUSH1 0x01
00001334: PUSH1 0x01
00001336: PUSH1 0xa0
00001338: SHL
00001339: SUB
0000133a: NOT
0000133b: AND
0000133c: PUSH1 0x01
0000133e: PUSH1 0x01
00001340: PUSH1 0xa0
00001342: SHL
00001343: SUB
00001344: SWAP4
00001345: SWAP1
00001346: SWAP4
00001347: AND
00001348: SWAP3
00001349: SWAP1
0000134a: SWAP3
0000134b: OR
0000134c: SWAP1
0000134d: SWAP2
0000134e: SSTORE
0000134f: PUSH1 0x07
00001351: DUP2
00001352: DUP8
00001353: DUP8
00001354: DUP6
00001355: DUP2
00001356: DUP2
00001357: LT
00001358: PUSH2 0x135d
0000135b: JUMPI
0000135c: INVALID
0000135d: JUMPDEST
0000135e: SWAP1
0000135f: POP
00001360: PUSH1 0x20
00001362: MUL
00001363: ADD
00001364: CALLDATALOAD
00001365: PUSH1 0x01
00001367: PUSH1 0x01
00001369: PUSH1 0xa0
0000136b: SHL
0000136c: SUB
0000136d: AND
0000136e: PUSH1 0x01
00001370: PUSH1 0x01
00001372: PUSH1 0xa0
00001374: SHL
00001375: SUB
00001376: AND
00001377: PUSH1 0x01
00001379: PUSH1 0x01
0000137b: PUSH1 0xa0
0000137d: SHL
0000137e: SUB
0000137f: AND
00001380: DUP2
00001381: MSTORE
00001382: PUSH1 0x20
00001384: ADD
00001385: SWAP1
00001386: DUP2
00001387: MSTORE
00001388: PUSH1 0x20
0000138a: ADD
0000138b: PUSH1 0x00
0000138d: KECCAK256
0000138e: DUP2
0000138f: SWAP1
00001390: SSTORE
00001391: POP
00001392: PUSH2 0x14c0
00001395: JUMP
00001396: JUMPDEST
00001397: PUSH1 0x07
00001399: PUSH1 0x00
0000139b: DUP7
0000139c: DUP7
0000139d: DUP5
0000139e: DUP2
0000139f: DUP2
000013a0: LT
000013a1: PUSH2 0x13a6
000013a4: JUMPI
000013a5: INVALID
000013a6: JUMPDEST
000013a7: SWAP1
000013a8: POP
000013a9: PUSH1 0x20
000013ab: MUL
000013ac: ADD
000013ad: CALLDATALOAD
000013ae: PUSH1 0x01
000013b0: PUSH1 0x01
000013b2: PUSH1 0xa0
000013b4: SHL
000013b5: SUB
000013b6: AND
000013b7: PUSH1 0x01
000013b9: PUSH1 0x01
000013bb: PUSH1 0xa0
000013bd: SHL
000013be: SUB
000013bf: AND
000013c0: PUSH1 0x01
000013c2: PUSH1 0x01
000013c4: PUSH1 0xa0
000013c6: SHL
000013c7: SUB
000013c8: AND
000013c9: DUP2
000013ca: MSTORE
000013cb: PUSH1 0x20
000013cd: ADD
000013ce: SWAP1
000013cf: DUP2
000013d0: MSTORE
000013d1: PUSH1 0x20
000013d3: ADD
000013d4: PUSH1 0x00
000013d6: KECCAK256
000013d7: SLOAD
000013d8: PUSH1 0x00
000013da: EQ
000013db: PUSH2 0x142b
000013de: JUMPI
000013df: PUSH1 0x40
000013e1: DUP1
000013e2: MLOAD
000013e3: PUSH3 0x461bcd
000013e7: PUSH1 0xe5
000013e9: SHL
000013ea: DUP2
000013eb: MSTORE
000013ec: PUSH1 0x20
000013ee: PUSH1 0x04
000013f0: DUP3
000013f1: ADD
000013f2: MSTORE
000013f3: PUSH1 0x1e
000013f5: PUSH1 0x24
000013f7: DUP3
000013f8: ADD
000013f9: MSTORE
000013fa: PUSH32 0x4164647265737320697320616c726561647920626c61636b6c69737465640000
0000141b: PUSH1 0x44
0000141d: DUP3
0000141e: ADD
0000141f: MSTORE
00001420: SWAP1
00001421: MLOAD
00001422: SWAP1
00001423: DUP2
00001424: SWAP1
00001425: SUB
00001426: PUSH1 0x64
00001428: ADD
00001429: SWAP1
0000142a: REVERT
0000142b: JUMPDEST
0000142c: PUSH1 0x06
0000142e: SLOAD
0000142f: PUSH1 0x01
00001431: ADD
00001432: PUSH1 0x07
00001434: PUSH1 0x00
00001436: DUP8
00001437: DUP8
00001438: DUP6
00001439: DUP2
0000143a: DUP2
0000143b: LT
0000143c: PUSH2 0x1441
0000143f: JUMPI
00001440: INVALID
00001441: JUMPDEST
00001442: SWAP1
00001443: POP
00001444: PUSH1 0x20
00001446: MUL
00001447: ADD
00001448: CALLDATALOAD
00001449: PUSH1 0x01
0000144b: PUSH1 0x01
0000144d: PUSH1 0xa0
0000144f: SHL
00001450: SUB
00001451: AND
00001452: PUSH1 0x01
00001454: PUSH1 0x01
00001456: PUSH1 0xa0
00001458: SHL
00001459: SUB
0000145a: AND
0000145b: PUSH1 0x01
0000145d: PUSH1 0x01
0000145f: PUSH1 0xa0
00001461: SHL
00001462: SUB
00001463: AND
00001464: DUP2
00001465: MSTORE
00001466: PUSH1 0x20
00001468: ADD
00001469: SWAP1
0000146a: DUP2
0000146b: MSTORE
0000146c: PUSH1 0x20
0000146e: ADD
0000146f: PUSH1 0x00
00001471: KECCAK256
00001472: DUP2
00001473: SWAP1
00001474: SSTORE
00001475: POP
00001476: PUSH1 0x06
00001478: DUP6
00001479: DUP6
0000147a: DUP4
0000147b: DUP2
0000147c: DUP2
0000147d: LT
0000147e: PUSH2 0x1483
00001481: JUMPI
00001482: INVALID
00001483: JUMPDEST
00001484: DUP4
00001485: SLOAD
00001486: PUSH1 0x01
00001488: DUP2
00001489: ADD
0000148a: DUP6
0000148b: SSTORE
0000148c: PUSH1 0x00
0000148e: SWAP5
0000148f: DUP6
00001490: MSTORE
00001491: PUSH1 0x20
00001493: SWAP5
00001494: DUP6
00001495: SWAP1
00001496: KECCAK256
00001497: ADD
00001498: DUP1
00001499: SLOAD
0000149a: PUSH1 0x01
0000149c: PUSH1 0x01
0000149e: PUSH1 0xa0
000014a0: SHL
000014a1: SUB
000014a2: NOT
000014a3: AND
000014a4: PUSH1 0x01
000014a6: PUSH1 0x01
000014a8: PUSH1 0xa0
000014aa: SHL
000014ab: SUB
000014ac: SWAP6
000014ad: SWAP1
000014ae: SWAP3
000014af: MUL
000014b0: SWAP4
000014b1: SWAP1
000014b2: SWAP4
000014b3: ADD
000014b4: CALLDATALOAD
000014b5: SWAP4
000014b6: SWAP1
000014b7: SWAP4
000014b8: AND
000014b9: SWAP3
000014ba: SWAP1
000014bb: SWAP3
000014bc: OR
000014bd: SWAP1
000014be: SSTORE
000014bf: POP
000014c0: JUMPDEST
000014c1: PUSH1 0x01
000014c3: ADD
000014c4: PUSH2 0x10e3
000014c7: JUMP
000014c8: JUMPDEST
000014c9: POP
000014ca: POP
000014cb: POP
000014cc: POP
000014cd: POP
000014ce: JUMP
000014cf: JUMPDEST
000014d0: PUSH1 0x02
000014d2: SLOAD
000014d3: PUSH1 0x01
000014d5: PUSH1 0x01
000014d7: PUSH1 0xa0
000014d9: SHL
000014da: SUB
000014db: AND
000014dc: DUP2
000014dd: JUMP
000014de: JUMPDEST
000014df: PUSH1 0x00
000014e1: PUSH2 0x14ec
000014e4: CALLER
000014e5: DUP6
000014e6: DUP6
000014e7: DUP6
000014e8: PUSH2 0x269e
000014eb: JUMP
000014ec: JUMPDEST
000014ed: SWAP5
000014ee: SWAP4
000014ef: POP
000014f0: POP
000014f1: POP
000014f2: POP
000014f3: JUMP
000014f4: JUMPDEST
000014f5: PUSH2 0x14fc
000014f8: PUSH2 0x246b
000014fb: JUMP
000014fc: JUMPDEST
000014fd: PUSH1 0x01
000014ff: PUSH1 0x01
00001501: PUSH1 0xa0
00001503: SHL
00001504: SUB
00001505: AND
00001506: PUSH2 0x150d
00001509: PUSH2 0x0f51
0000150c: JUMP
0000150d: JUMPDEST
0000150e: PUSH1 0x01
00001510: PUSH1 0x01
00001512: PUSH1 0xa0
00001514: SHL
00001515: SUB
00001516: AND
00001517: EQ
00001518: PUSH2 0x1556
0000151b: JUMPI
0000151c: PUSH1 0x40
0000151e: DUP1
0000151f: MLOAD
00001520: PUSH3 0x461bcd
00001524: PUSH1 0xe5
00001526: SHL
00001527: DUP2
00001528: MSTORE
00001529: PUSH1 0x20
0000152b: PUSH1 0x04
0000152d: DUP3
0000152e: ADD
0000152f: DUP2
00001530: SWAP1
00001531: MSTORE
00001532: PUSH1 0x24
00001534: DUP3
00001535: ADD
00001536: MSTORE
00001537: PUSH1 0x00
00001539: DUP1
0000153a: MLOAD
0000153b: PUSH1 0x20
0000153d: PUSH2 0x3047
00001540: DUP4
00001541: CODECOPY
00001542: DUP2
00001543: MLOAD
00001544: SWAP2
00001545: MSTORE
00001546: PUSH1 0x44
00001548: DUP3
00001549: ADD
0000154a: MSTORE
0000154b: SWAP1
0000154c: MLOAD
0000154d: SWAP1
0000154e: DUP2
0000154f: SWAP1
00001550: SUB
00001551: PUSH1 0x64
00001553: ADD
00001554: SWAP1
00001555: REVERT
00001556: JUMPDEST
00001557: PUSH1 0x04
00001559: SLOAD
0000155a: DUP2
0000155b: SWAP1
0000155c: DUP2
0000155d: LT
0000155e: PUSH2 0x15a9
00001561: JUMPI
00001562: PUSH1 0x40
00001564: DUP1
00001565: MLOAD
00001566: PUSH3 0x461bcd
0000156a: PUSH1 0xe5
0000156c: SHL
0000156d: DUP2
0000156e: MSTORE
0000156f: PUSH1 0x20
00001571: PUSH1 0x04
00001573: DUP3
00001574: ADD
00001575: MSTORE
00001576: PUSH1 0x18
00001578: PUSH1 0x24
0000157a: DUP3
0000157b: ADD
0000157c: MSTORE
0000157d: PUSH24 0x092dcc6dee4e4cac6e84088d2ecd2c8cadcc84092dcc8caf
00001596: PUSH1 0x43
00001598: SHL
00001599: PUSH1 0x44
0000159b: DUP3
0000159c: ADD
0000159d: MSTORE
0000159e: SWAP1
0000159f: MLOAD
000015a0: SWAP1
000015a1: DUP2
000015a2: SWAP1
000015a3: SUB
000015a4: PUSH1 0x64
000015a6: ADD
000015a7: SWAP1
000015a8: REVERT
000015a9: JUMPDEST
000015aa: PUSH1 0x02
000015ac: SLOAD
000015ad: PUSH1 0x01
000015af: PUSH1 0x01
000015b1: PUSH1 0xa0
000015b3: SHL
000015b4: SUB
000015b5: AND
000015b6: PUSH2 0x15ff
000015b9: JUMPI
000015ba: PUSH1 0x40
000015bc: DUP1
000015bd: MLOAD
000015be: PUSH3 0x461bcd
000015c2: PUSH1 0xe5
000015c4: SHL
000015c5: DUP2
000015c6: MSTORE
000015c7: PUSH1 0x20
000015c9: PUSH1 0x04
000015cb: DUP3
000015cc: ADD
000015cd: MSTORE
000015ce: PUSH1 0x16
000015d0: PUSH1 0x24
000015d2: DUP3
000015d3: ADD
000015d4: MSTORE
000015d5: PUSH22 0x14dc1958dd1c99481dd85b1b195d081b9bdd081cd95d
000015ec: PUSH1 0x52
000015ee: SHL
000015ef: PUSH1 0x44
000015f1: DUP3
000015f2: ADD
000015f3: MSTORE
000015f4: SWAP1
000015f5: MLOAD
000015f6: SWAP1
000015f7: DUP2
000015f8: SWAP1
000015f9: SUB
000015fa: PUSH1 0x64
000015fc: ADD
000015fd: SWAP1
000015fe: REVERT
000015ff: JUMPDEST
00001600: PUSH1 0x00
00001602: PUSH1 0x04
00001604: DUP4
00001605: DUP2
00001606: SLOAD
00001607: DUP2
00001608: LT
00001609: PUSH2 0x160e
0000160c: JUMPI
0000160d: INVALID
0000160e: JUMPDEST
0000160f: PUSH1 0x00
00001611: SWAP2
00001612: DUP3
00001613: MSTORE
00001614: PUSH1 0x20
00001616: SWAP1
00001617: SWAP2
00001618: KECCAK256
00001619: PUSH1 0x06
0000161b: PUSH1 0x07
0000161d: SWAP1
0000161e: SWAP3
0000161f: MUL
00001620: ADD
00001621: SWAP1
00001622: DUP2
00001623: ADD
00001624: SLOAD
00001625: SWAP1
00001626: SWAP2
00001627: POP
00001628: PUSH1 0xff
0000162a: AND
0000162b: ISZERO
0000162c: ISZERO
0000162d: PUSH1 0x01
0000162f: EQ
00001630: PUSH2 0x166a
00001633: JUMPI
00001634: PUSH1 0x40
00001636: MLOAD
00001637: PUSH3 0x461bcd
0000163b: PUSH1 0xe5
0000163d: SHL
0000163e: DUP2
0000163f: MSTORE
00001640: PUSH1 0x04
00001642: ADD
00001643: DUP1
00001644: DUP1
00001645: PUSH1 0x20
00001647: ADD
00001648: DUP3
00001649: DUP2
0000164a: SUB
0000164b: DUP3
0000164c: MSTORE
0000164d: PUSH1 0x23
0000164f: DUP2
00001650: MSTORE
00001651: PUSH1 0x20
00001653: ADD
00001654: DUP1
00001655: PUSH2 0x3067
00001658: PUSH1 0x23
0000165a: SWAP2
0000165b: CODECOPY
0000165c: PUSH1 0x40
0000165e: ADD
0000165f: SWAP2
00001660: POP
00001661: POP
00001662: PUSH1 0x40
00001664: MLOAD
00001665: DUP1
00001666: SWAP2
00001667: SUB
00001668: SWAP1
00001669: REVERT
0000166a: JUMPDEST
0000166b: PUSH1 0x06
0000166d: DUP2
0000166e: ADD
0000166f: DUP1
00001670: SLOAD
00001671: PUSH1 0xff
00001673: NOT
00001674: AND
00001675: SWAP1
00001676: SSTORE
00001677: PUSH1 0x05
00001679: DUP2
0000167a: ADD
0000167b: SLOAD
0000167c: PUSH1 0x03
0000167e: DUP3
0000167f: ADD
00001680: SLOAD
00001681: PUSH1 0x00
00001683: SWAP2
00001684: PUSH2 0x168d
00001687: SWAP2
00001688: SWAP1
00001689: PUSH2 0x2866
0000168c: JUMP
0000168d: JUMPDEST
0000168e: SWAP1
0000168f: POP
00001690: PUSH1 0x00
00001692: PUSH1 0x01
00001694: PUSH1 0x01
00001696: PUSH1 0xa0
00001698: SHL
00001699: SUB
0000169a: AND
0000169b: PUSH1 0x04
0000169d: DUP6
0000169e: DUP2
0000169f: SLOAD
000016a0: DUP2
000016a1: LT
000016a2: PUSH2 0x16a7
000016a5: JUMPI
000016a6: INVALID
000016a7: JUMPDEST
000016a8: PUSH1 0x00
000016aa: SWAP2
000016ab: DUP3
000016ac: MSTORE
000016ad: PUSH1 0x20
000016af: SWAP1
000016b0: SWAP2
000016b1: KECCAK256
000016b2: PUSH1 0x02
000016b4: PUSH1 0x07
000016b6: SWAP1
000016b7: SWAP3
000016b8: MUL
000016b9: ADD
000016ba: ADD
000016bb: SLOAD
000016bc: PUSH1 0x01
000016be: PUSH1 0x01
000016c0: PUSH1 0xa0
000016c2: SHL
000016c3: SUB
000016c4: AND
000016c5: EQ
000016c6: ISZERO
000016c7: PUSH2 0x170a
000016ca: JUMPI
000016cb: PUSH1 0x02
000016cd: SLOAD
000016ce: PUSH1 0x40
000016d0: MLOAD
000016d1: PUSH1 0x01
000016d3: PUSH1 0x01
000016d5: PUSH1 0xa0
000016d7: SHL
000016d8: SUB
000016d9: SWAP1
000016da: SWAP2
000016db: AND
000016dc: SWAP1
000016dd: DUP3
000016de: ISZERO
000016df: PUSH2 0x08fc
000016e2: MUL
000016e3: SWAP1
000016e4: DUP4
000016e5: SWAP1
000016e6: PUSH1 0x00
000016e8: DUP2
000016e9: DUP2
000016ea: DUP2
000016eb: DUP6
000016ec: DUP9
000016ed: DUP9
000016ee: CALL
000016ef: SWAP4
000016f0: POP
000016f1: POP
000016f2: POP
000016f3: POP
000016f4: ISZERO
000016f5: DUP1
000016f6: ISZERO
000016f7: PUSH2 0x1704
000016fa: JUMPI
000016fb: RETURNDATASIZE
000016fc: PUSH1 0x00
000016fe: DUP1
000016ff: RETURNDATACOPY
00001700: RETURNDATASIZE
00001701: PUSH1 0x00
00001703: REVERT
00001704: JUMPDEST
00001705: POP
00001706: PUSH2 0x17da
00001709: JUMP
0000170a: JUMPDEST
0000170b: PUSH1 0x02
0000170d: DUP1
0000170e: DUP4
0000170f: ADD
00001710: SLOAD
00001711: SWAP1
00001712: SLOAD
00001713: PUSH1 0x40
00001715: DUP1
00001716: MLOAD
00001717: PUSH4 0xa9059cbb
0000171c: PUSH1 0xe0
0000171e: SHL
0000171f: DUP2
00001720: MSTORE
00001721: PUSH1 0x01
00001723: PUSH1 0x01
00001725: PUSH1 0xa0
00001727: SHL
00001728: SUB
00001729: SWAP3
0000172a: DUP4
0000172b: AND
0000172c: PUSH1 0x04
0000172e: DUP3
0000172f: ADD
00001730: MSTORE
00001731: PUSH1 0x24
00001733: DUP2
00001734: ADD
00001735: DUP6
00001736: SWAP1
00001737: MSTORE
00001738: SWAP1
00001739: MLOAD
0000173a: SWAP2
0000173b: SWAP1
0000173c: SWAP3
0000173d: AND
0000173e: SWAP2
0000173f: PUSH4 0xa9059cbb
00001744: SWAP2
00001745: PUSH1 0x44
00001747: DUP1
00001748: DUP4
00001749: ADD
0000174a: SWAP3
0000174b: PUSH1 0x20
0000174d: SWAP3
0000174e: SWAP2
0000174f: SWAP1
00001750: DUP3
00001751: SWAP1
00001752: SUB
00001753: ADD
00001754: DUP2
00001755: PUSH1 0x00
00001757: DUP8
00001758: DUP1
00001759: EXTCODESIZE
0000175a: ISZERO
0000175b: DUP1
0000175c: ISZERO
0000175d: PUSH2 0x1765
00001760: JUMPI
00001761: PUSH1 0x00
00001763: DUP1
00001764: REVERT
00001765: JUMPDEST
00001766: POP
00001767: GAS
00001768: CALL
00001769: ISZERO
0000176a: DUP1
0000176b: ISZERO
0000176c: PUSH2 0x1779
0000176f: JUMPI
00001770: RETURNDATASIZE
00001771: PUSH1 0x00
00001773: DUP1
00001774: RETURNDATACOPY
00001775: RETURNDATASIZE
00001776: PUSH1 0x00
00001778: REVERT
00001779: JUMPDEST
0000177a: POP
0000177b: POP
0000177c: POP
0000177d: POP
0000177e: PUSH1 0x40
00001780: MLOAD
00001781: RETURNDATASIZE
00001782: PUSH1 0x20
00001784: DUP2
00001785: LT
00001786: ISZERO
00001787: PUSH2 0x178f
0000178a: JUMPI
0000178b: PUSH1 0x00
0000178d: DUP1
0000178e: REVERT
0000178f: JUMPDEST
00001790: POP
00001791: MLOAD
00001792: PUSH2 0x17da
00001795: JUMPI
00001796: PUSH1 0x40
00001798: DUP1
00001799: MLOAD
0000179a: PUSH3 0x461bcd
0000179e: PUSH1 0xe5
000017a0: SHL
000017a1: DUP2
000017a2: MSTORE
000017a3: PUSH1 0x20
000017a5: PUSH1 0x04
000017a7: DUP3
000017a8: ADD
000017a9: MSTORE
000017aa: PUSH1 0x15
000017ac: PUSH1 0x24
000017ae: DUP3
000017af: ADD
000017b0: MSTORE
000017b1: PUSH21 0x151bdad95b881d1c985b9cd9995c8819985a5b1959
000017c7: PUSH1 0x5a
000017c9: SHL
000017ca: PUSH1 0x44
000017cc: DUP3
000017cd: ADD
000017ce: MSTORE
000017cf: SWAP1
000017d0: MLOAD
000017d1: SWAP1
000017d2: DUP2
000017d3: SWAP1
000017d4: SUB
000017d5: PUSH1 0x64
000017d7: ADD
000017d8: SWAP1
000017d9: REVERT
000017da: JUMPDEST
000017db: PUSH1 0x02
000017dd: DUP3
000017de: ADD
000017df: SLOAD
000017e0: PUSH1 0x40
000017e2: DUP1
000017e3: MLOAD
000017e4: PUSH1 0x01
000017e6: PUSH1 0x01
000017e8: PUSH1 0xa0
000017ea: SHL
000017eb: SUB
000017ec: SWAP1
000017ed: SWAP3
000017ee: AND
000017ef: DUP3
000017f0: MSTORE
000017f1: PUSH1 0x20
000017f3: DUP3
000017f4: ADD
000017f5: DUP4
000017f6: SWAP1
000017f7: MSTORE
000017f8: DUP1
000017f9: MLOAD
000017fa: DUP7
000017fb: SWAP3
000017fc: CALLER
000017fd: SWAP3
000017fe: PUSH32 0xe34dbd32bf773e77800eff7852abb83c3c72fac53296f924ea73e7d9cf7736ee
0000181f: SWAP3
00001820: SWAP2
00001821: DUP3
00001822: SWAP1
00001823: SUB
00001824: ADD
00001825: SWAP1
00001826: LOG3
00001827: POP
00001828: POP
00001829: POP
0000182a: POP
0000182b: JUMP
0000182c: JUMPDEST
0000182d: PUSH1 0x01
0000182f: SLOAD
00001830: PUSH1 0x01
00001832: PUSH1 0x01
00001834: PUSH1 0xa0
00001836: SHL
00001837: SUB
00001838: AND
00001839: DUP2
0000183a: JUMP
0000183b: JUMPDEST
0000183c: PUSH2 0x1843
0000183f: PUSH2 0x246b
00001842: JUMP
00001843: JUMPDEST
00001844: PUSH1 0x01
00001846: PUSH1 0x01
00001848: PUSH1 0xa0
0000184a: SHL
0000184b: SUB
0000184c: AND
0000184d: PUSH2 0x1854
00001850: PUSH2 0x0f51
00001853: JUMP
00001854: JUMPDEST
00001855: PUSH1 0x01
00001857: PUSH1 0x01
00001859: PUSH1 0xa0
0000185b: SHL
0000185c: SUB
0000185d: AND
0000185e: EQ
0000185f: PUSH2 0x189d
00001862: JUMPI
00001863: PUSH1 0x40
00001865: DUP1
00001866: MLOAD
00001867: PUSH3 0x461bcd
0000186b: PUSH1 0xe5
0000186d: SHL
0000186e: DUP2
0000186f: MSTORE
00001870: PUSH1 0x20
00001872: PUSH1 0x04
00001874: DUP3
00001875: ADD
00001876: DUP2
00001877: SWAP1
00001878: MSTORE
00001879: PUSH1 0x24
0000187b: DUP3
0000187c: ADD
0000187d: MSTORE
0000187e: PUSH1 0x00
00001880: DUP1
00001881: MLOAD
00001882: PUSH1 0x20
00001884: PUSH2 0x3047
00001887: DUP4
00001888: CODECOPY
00001889: DUP2
0000188a: MLOAD
0000188b: SWAP2
0000188c: MSTORE
0000188d: PUSH1 0x44
0000188f: DUP3
00001890: ADD
00001891: MSTORE
00001892: SWAP1
00001893: MLOAD
00001894: SWAP1
00001895: DUP2
00001896: SWAP1
00001897: SUB
00001898: PUSH1 0x64
0000189a: ADD
0000189b: SWAP1
0000189c: REVERT
0000189d: JUMPDEST
0000189e: PUSH2 0x18ab
000018a1: DUP7
000018a2: DUP7
000018a3: DUP7
000018a4: DUP7
000018a5: DUP7
000018a6: DUP7
000018a7: PUSH2 0x28c3
000018aa: JUMP
000018ab: JUMPDEST
000018ac: POP
000018ad: POP
000018ae: POP
000018af: POP
000018b0: POP
000018b1: POP
000018b2: JUMP
000018b3: JUMPDEST
000018b4: PUSH2 0x18bb
000018b7: PUSH2 0x0f51
000018ba: JUMP
000018bb: JUMPDEST
000018bc: PUSH1 0x01
000018be: PUSH1 0x01
000018c0: PUSH1 0xa0
000018c2: SHL
000018c3: SUB
000018c4: AND
000018c5: CALLER
000018c6: PUSH1 0x01
000018c8: PUSH1 0x01
000018ca: PUSH1 0xa0
000018cc: SHL
000018cd: SUB
000018ce: AND
000018cf: EQ
000018d0: DUP1
000018d1: PUSH2 0x18e4
000018d4: JUMPI
000018d5: POP
000018d6: PUSH1 0x02
000018d8: SLOAD
000018d9: PUSH1 0x01
000018db: PUSH1 0x01
000018dd: PUSH1 0xa0
000018df: SHL
000018e0: SUB
000018e1: AND
000018e2: CALLER
000018e3: EQ
000018e4: JUMPDEST
000018e5: DUP1
000018e6: PUSH2 0x18f9
000018e9: JUMPI
000018ea: POP
000018eb: PUSH1 0x03
000018ed: SLOAD
000018ee: PUSH1 0x01
000018f0: PUSH1 0x01
000018f2: PUSH1 0xa0
000018f4: SHL
000018f5: SUB
000018f6: AND
000018f7: CALLER
000018f8: EQ
000018f9: JUMPDEST
000018fa: PUSH2 0x1934
000018fd: JUMPI
000018fe: PUSH1 0x40
00001900: MLOAD
00001901: PUSH3 0x461bcd
00001905: PUSH1 0xe5
00001907: SHL
00001908: DUP2
00001909: MSTORE
0000190a: PUSH1 0x04
0000190c: ADD
0000190d: DUP1
0000190e: DUP1
0000190f: PUSH1 0x20
00001911: ADD
00001912: DUP3
00001913: DUP2
00001914: SUB
00001915: DUP3
00001916: MSTORE
00001917: PUSH1 0x29
00001919: DUP2
0000191a: MSTORE
0000191b: PUSH1 0x20
0000191d: ADD
0000191e: DUP1
0000191f: PUSH2 0x2ffd
00001922: PUSH1 0x29
00001924: SWAP2
00001925: CODECOPY
00001926: PUSH1 0x40
00001928: ADD
00001929: SWAP2
0000192a: POP
0000192b: POP
0000192c: PUSH1 0x40
0000192e: MLOAD
0000192f: DUP1
00001930: SWAP2
00001931: SUB
00001932: SWAP1
00001933: REVERT
00001934: JUMPDEST
00001935: PUSH1 0x04
00001937: SLOAD
00001938: NUMBER
00001939: DUP7
0000193a: LT
0000193b: PUSH2 0x197c
0000193e: JUMPI
0000193f: PUSH1 0x40
00001941: DUP1
00001942: MLOAD
00001943: PUSH3 0x461bcd
00001947: PUSH1 0xe5
00001949: SHL
0000194a: DUP2
0000194b: MSTORE
0000194c: PUSH1 0x20
0000194e: PUSH1 0x04
00001950: DUP3
00001951: ADD
00001952: MSTORE
00001953: PUSH1 0x0e
00001955: PUSH1 0x24
00001957: DUP3
00001958: ADD
00001959: MSTORE
0000195a: PUSH14 0x084d8dec6d640e8dede40d0d2ced
00001969: PUSH1 0x93
0000196b: SHL
0000196c: PUSH1 0x44
0000196e: DUP3
0000196f: ADD
00001970: MSTORE
00001971: SWAP1
00001972: MLOAD
00001973: SWAP1
00001974: DUP2
00001975: SWAP1
00001976: SUB
00001977: PUSH1 0x64
00001979: ADD
0000197a: SWAP1
0000197b: REVERT
0000197c: JUMPDEST
0000197d: DUP1
0000197e: ISZERO
0000197f: PUSH2 0x19af
00001982: JUMPI
00001983: PUSH1 0x04
00001985: PUSH1 0x01
00001987: DUP3
00001988: SUB
00001989: DUP2
0000198a: SLOAD
0000198b: DUP2
0000198c: LT
0000198d: PUSH2 0x1992
00001990: JUMPI
00001991: INVALID
00001992: JUMPDEST
00001993: PUSH1 0x00
00001995: SWAP2
00001996: DUP3
00001997: MSTORE
00001998: PUSH1 0x20
0000199a: SWAP1
0000199b: SWAP2
0000199c: KECCAK256
0000199d: PUSH1 0x06
0000199f: PUSH1 0x07
000019a1: SWAP1
000019a2: SWAP3
000019a3: MUL
000019a4: ADD
000019a5: ADD
000019a6: SLOAD
000019a7: PUSH1 0xff
000019a9: AND
000019aa: ISZERO
000019ab: PUSH2 0x19b2
000019ae: JUMP
000019af: JUMPDEST
000019b0: PUSH1 0x01
000019b2: JUMPDEST
000019b3: PUSH2 0x1a03
000019b6: JUMPI
000019b7: PUSH1 0x40
000019b9: DUP1
000019ba: MLOAD
000019bb: PUSH3 0x461bcd
000019bf: PUSH1 0xe5
000019c1: SHL
000019c2: DUP2
000019c3: MSTORE
000019c4: PUSH1 0x20
000019c6: PUSH1 0x04
000019c8: DUP3
000019c9: ADD
000019ca: MSTORE
000019cb: PUSH1 0x1e
000019cd: PUSH1 0x24
000019cf: DUP3
000019d0: ADD
000019d1: MSTORE
000019d2: PUSH32 0x50726576696f7573206469766964656e64207374696c6c206163746976650000
000019f3: PUSH1 0x44
000019f5: DUP3
000019f6: ADD
000019f7: MSTORE
000019f8: SWAP1
000019f9: MLOAD
000019fa: SWAP1
000019fb: DUP2
000019fc: SWAP1
000019fd: SUB
000019fe: PUSH1 0x64
00001a00: ADD
00001a01: SWAP1
00001a02: REVERT
00001a03: JUMPDEST
00001a04: PUSH1 0x40
00001a06: DUP1
00001a07: MLOAD
00001a08: PUSH4 0x23b872dd
00001a0d: PUSH1 0xe0
00001a0f: SHL
00001a10: DUP2
00001a11: MSTORE
00001a12: PUSH1 0x01
00001a14: PUSH1 0x01
00001a16: PUSH1 0xa0
00001a18: SHL
00001a19: SUB
00001a1a: DUP7
00001a1b: DUP2
00001a1c: AND
00001a1d: PUSH1 0x04
00001a1f: DUP4
00001a20: ADD
00001a21: MSTORE
00001a22: ADDRESS
00001a23: PUSH1 0x24
00001a25: DUP4
00001a26: ADD
00001a27: MSTORE
00001a28: PUSH1 0x44
00001a2a: DUP3
00001a2b: ADD
00001a2c: DUP7
00001a2d: SWAP1
00001a2e: MSTORE
00001a2f: SWAP2
00001a30: MLOAD
00001a31: SWAP2
00001a32: DUP8
00001a33: AND
00001a34: SWAP2
00001a35: PUSH4 0x23b872dd
00001a3a: SWAP2
00001a3b: PUSH1 0x64
00001a3d: DUP1
00001a3e: DUP3
00001a3f: ADD
00001a40: SWAP3
00001a41: PUSH1 0x20
00001a43: SWAP3
00001a44: SWAP1
00001a45: SWAP2
00001a46: SWAP1
00001a47: DUP3
00001a48: SWAP1
00001a49: SUB
00001a4a: ADD
00001a4b: DUP2
00001a4c: PUSH1 0x00
00001a4e: DUP8
00001a4f: DUP1
00001a50: EXTCODESIZE
00001a51: ISZERO
00001a52: DUP1
00001a53: ISZERO
00001a54: PUSH2 0x1a5c
00001a57: JUMPI
00001a58: PUSH1 0x00
00001a5a: DUP1
00001a5b: REVERT
00001a5c: JUMPDEST
00001a5d: POP
00001a5e: GAS
00001a5f: CALL
00001a60: ISZERO
00001a61: DUP1
00001a62: ISZERO
00001a63: PUSH2 0x1a70
00001a66: JUMPI
00001a67: RETURNDATASIZE
00001a68: PUSH1 0x00
00001a6a: DUP1
00001a6b: RETURNDATACOPY
00001a6c: RETURNDATASIZE
00001a6d: PUSH1 0x00
00001a6f: REVERT
00001a70: JUMPDEST
00001a71: POP
00001a72: POP
00001a73: POP
00001a74: POP
00001a75: PUSH1 0x40
00001a77: MLOAD
00001a78: RETURNDATASIZE
00001a79: PUSH1 0x20
00001a7b: DUP2
00001a7c: LT
00001a7d: ISZERO
00001a7e: PUSH2 0x1a86
00001a81: JUMPI
00001a82: PUSH1 0x00
00001a84: DUP1
00001a85: REVERT
00001a86: JUMPDEST
00001a87: POP
00001a88: MLOAD
00001a89: PUSH2 0x1ad9
00001a8c: JUMPI
00001a8d: PUSH1 0x40
00001a8f: DUP1
00001a90: MLOAD
00001a91: PUSH3 0x461bcd
00001a95: PUSH1 0xe5
00001a97: SHL
00001a98: DUP2
00001a99: MSTORE
00001a9a: PUSH1 0x20
00001a9c: PUSH1 0x04
00001a9e: DUP3
00001a9f: ADD
00001aa0: MSTORE
00001aa1: PUSH1 0x18
00001aa3: PUSH1 0x24
00001aa5: DUP3
00001aa6: ADD
00001aa7: MSTORE
00001aa8: PUSH32 0x556e61626c6520746f206465706f73697420746f6b656e730000000000000000
00001ac9: PUSH1 0x44
00001acb: DUP3
00001acc: ADD
00001acd: MSTORE
00001ace: SWAP1
00001acf: MLOAD
00001ad0: SWAP1
00001ad1: DUP2
00001ad2: SWAP1
00001ad3: SUB
00001ad4: PUSH1 0x64
00001ad6: ADD
00001ad7: SWAP1
00001ad8: REVERT
00001ad9: JUMPDEST
00001ada: PUSH1 0x40
00001adc: DUP1
00001add: MLOAD
00001ade: PUSH1 0xe0
00001ae0: DUP2
00001ae1: ADD
00001ae2: DUP3
00001ae3: MSTORE
00001ae4: DUP9
00001ae5: DUP2
00001ae6: MSTORE
00001ae7: PUSH1 0x20
00001ae9: DUP1
00001aea: DUP3
00001aeb: ADD
00001aec: DUP10
00001aed: DUP2
00001aee: MSTORE
00001aef: PUSH1 0x01
00001af1: PUSH1 0x01
00001af3: PUSH1 0xa0
00001af5: SHL
00001af6: SUB
00001af7: DUP10
00001af8: DUP2
00001af9: AND
00001afa: DUP5
00001afb: DUP7
00001afc: ADD
00001afd: DUP2
00001afe: DUP2
00001aff: MSTORE
00001b00: PUSH1 0x60
00001b02: DUP1
00001b03: DUP8
00001b04: ADD
00001b05: DUP12
00001b06: DUP2
00001b07: MSTORE
00001b08: PUSH1 0x80
00001b0a: DUP1
00001b0b: DUP10
00001b0c: ADD
00001b0d: DUP13
00001b0e: DUP2
00001b0f: MSTORE
00001b10: PUSH1 0x00
00001b12: PUSH1 0xa0
00001b14: DUP12
00001b15: ADD
00001b16: DUP2
00001b17: DUP2
00001b18: MSTORE
00001b19: PUSH1 0x01
00001b1b: PUSH1 0xc0
00001b1d: DUP14
00001b1e: ADD
00001b1f: DUP2
00001b20: DUP2
00001b21: MSTORE
00001b22: PUSH1 0x04
00001b24: DUP1
00001b25: SLOAD
00001b26: SWAP3
00001b27: DUP4
00001b28: ADD
00001b29: DUP2
00001b2a: SSTORE
00001b2b: SWAP1
00001b2c: SWAP4
00001b2d: MSTORE
00001b2e: SWAP12
00001b2f: MLOAD
00001b30: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b
00001b51: PUSH1 0x07
00001b53: SWAP1
00001b54: SWAP14
00001b55: MUL
00001b56: SWAP13
00001b57: DUP14
00001b58: ADD
00001b59: SSTORE
00001b5a: SWAP9
00001b5b: MLOAD
00001b5c: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19c
00001b7d: DUP13
00001b7e: ADD
00001b7f: SSTORE
00001b80: SWAP5
00001b81: MLOAD
00001b82: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19d
00001ba3: DUP12
00001ba4: ADD
00001ba5: DUP1
00001ba6: SLOAD
00001ba7: PUSH1 0x01
00001ba9: PUSH1 0x01
00001bab: PUSH1 0xa0
00001bad: SHL
00001bae: SUB
00001baf: NOT
00001bb0: AND
00001bb1: SWAP2
00001bb2: SWAP1
00001bb3: SWAP9
00001bb4: AND
00001bb5: OR
00001bb6: SWAP1
00001bb7: SWAP7
00001bb8: SSTORE
00001bb9: SWAP1
00001bba: MLOAD
00001bbb: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19e
00001bdc: DUP10
00001bdd: ADD
00001bde: SSTORE
00001bdf: SWAP4
00001be0: MLOAD
00001be1: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19f
00001c02: DUP9
00001c03: ADD
00001c04: SSTORE
00001c05: SWAP4
00001c06: MLOAD
00001c07: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd1a0
00001c28: DUP8
00001c29: ADD
00001c2a: SSTORE
00001c2b: MLOAD
00001c2c: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd1a1
00001c4d: SWAP1
00001c4e: SWAP6
00001c4f: ADD
00001c50: DUP1
00001c51: SLOAD
00001c52: PUSH1 0xff
00001c54: NOT
00001c55: AND
00001c56: SWAP6
00001c57: ISZERO
00001c58: ISZERO
00001c59: SWAP6
00001c5a: SWAP1
00001c5b: SWAP6
00001c5c: OR
00001c5d: SWAP1
00001c5e: SWAP5
00001c5f: SSTORE
00001c60: DUP5
00001c61: MLOAD
00001c62: DUP13
00001c63: DUP2
00001c64: MSTORE
00001c65: SWAP3
00001c66: DUP4
00001c67: ADD
00001c68: DUP12
00001c69: SWAP1
00001c6a: MSTORE
00001c6b: DUP3
00001c6c: DUP6
00001c6d: ADD
00001c6e: SWAP4
00001c6f: SWAP1
00001c70: SWAP4
00001c71: MSTORE
00001c72: DUP2
00001c73: ADD
00001c74: DUP7
00001c75: SWAP1
00001c76: MSTORE
00001c77: SWAP2
00001c78: MLOAD
00001c79: DUP4
00001c7a: SWAP3
00001c7b: CALLER
00001c7c: SWAP3
00001c7d: PUSH32 0xf6a34d2ce609cade94ee9efbb0ee70f70def79a0b569f41a8b715cac435802a1
00001c9e: SWAP3
00001c9f: SWAP2
00001ca0: DUP3
00001ca1: SWAP1
00001ca2: SUB
00001ca3: ADD
00001ca4: SWAP1
00001ca5: LOG3
00001ca6: POP
00001ca7: POP
00001ca8: POP
00001ca9: POP
00001caa: POP
00001cab: POP
00001cac: POP
00001cad: JUMP
00001cae: JUMPDEST
00001caf: PUSH2 0x1cb6
00001cb2: PUSH2 0x246b
00001cb5: JUMP
00001cb6: JUMPDEST
00001cb7: PUSH1 0x01
00001cb9: PUSH1 0x01
00001cbb: PUSH1 0xa0
00001cbd: SHL
00001cbe: SUB
00001cbf: AND
00001cc0: PUSH2 0x1cc7
00001cc3: PUSH2 0x0f51
00001cc6: JUMP
00001cc7: JUMPDEST
00001cc8: PUSH1 0x01
00001cca: PUSH1 0x01
00001ccc: PUSH1 0xa0
00001cce: SHL
00001ccf: SUB
00001cd0: AND
00001cd1: EQ
00001cd2: PUSH2 0x1d10
00001cd5: JUMPI
00001cd6: PUSH1 0x40
00001cd8: DUP1
00001cd9: MLOAD
00001cda: PUSH3 0x461bcd
00001cde: PUSH1 0xe5
00001ce0: SHL
00001ce1: DUP2
00001ce2: MSTORE
00001ce3: PUSH1 0x20
00001ce5: PUSH1 0x04
00001ce7: DUP3
00001ce8: ADD
00001ce9: DUP2
00001cea: SWAP1
00001ceb: MSTORE
00001cec: PUSH1 0x24
00001cee: DUP3
00001cef: ADD
00001cf0: MSTORE
00001cf1: PUSH1 0x00
00001cf3: DUP1
00001cf4: MLOAD
00001cf5: PUSH1 0x20
00001cf7: PUSH2 0x3047
00001cfa: DUP4
00001cfb: CODECOPY
00001cfc: DUP2
00001cfd: MLOAD
00001cfe: SWAP2
00001cff: MSTORE
00001d00: PUSH1 0x44
00001d02: DUP3
00001d03: ADD
00001d04: MSTORE
00001d05: SWAP1
00001d06: MLOAD
00001d07: SWAP1
00001d08: DUP2
00001d09: SWAP1
00001d0a: SUB
00001d0b: PUSH1 0x64
00001d0d: ADD
00001d0e: SWAP1
00001d0f: REVERT
00001d10: JUMPDEST
00001d11: PUSH1 0x01
00001d13: PUSH1 0x01
00001d15: PUSH1 0xa0
00001d17: SHL
00001d18: SUB
00001d19: DUP2
00001d1a: AND
00001d1b: PUSH2 0x1d64
00001d1e: JUMPI
00001d1f: PUSH1 0x40
00001d21: DUP1
00001d22: MLOAD
00001d23: PUSH3 0x461bcd
00001d27: PUSH1 0xe5
00001d29: SHL
00001d2a: DUP2
00001d2b: MSTORE
00001d2c: PUSH1 0x20
00001d2e: PUSH1 0x04
00001d30: DUP3
00001d31: ADD
00001d32: MSTORE
00001d33: PUSH1 0x16
00001d35: PUSH1 0x24
00001d37: DUP3
00001d38: ADD
00001d39: MSTORE
00001d3a: PUSH22 0x14dc1958dd1c99481dd85b1b195d081b9bdd081cd95d
00001d51: PUSH1 0x52
00001d53: SHL
00001d54: PUSH1 0x44
00001d56: DUP3
00001d57: ADD
00001d58: MSTORE
00001d59: SWAP1
00001d5a: MLOAD
00001d5b: SWAP1
00001d5c: DUP2
00001d5d: SWAP1
00001d5e: SUB
00001d5f: PUSH1 0x64
00001d61: ADD
00001d62: SWAP1
00001d63: REVERT
00001d64: JUMPDEST
00001d65: PUSH1 0x02
00001d67: DUP1
00001d68: SLOAD
00001d69: PUSH1 0x01
00001d6b: PUSH1 0x01
00001d6d: PUSH1 0xa0
00001d6f: SHL
00001d70: SUB
00001d71: NOT
00001d72: AND
00001d73: PUSH1 0x01
00001d75: PUSH1 0x01
00001d77: PUSH1 0xa0
00001d79: SHL
00001d7a: SUB
00001d7b: DUP4
00001d7c: DUP2
00001d7d: AND
00001d7e: SWAP2
00001d7f: SWAP1
00001d80: SWAP2
00001d81: OR
00001d82: SWAP2
00001d83: DUP3
00001d84: SWAP1
00001d85: SSTORE
00001d86: PUSH1 0x40
00001d88: MLOAD
00001d89: SWAP2
00001d8a: AND
00001d8b: SWAP1
00001d8c: PUSH32 0x0290de845563bd1e142b137ab78cb1867c78179e8d5a912295a4c07adccdbadb
00001dad: SWAP1
00001dae: PUSH1 0x00
00001db0: SWAP1
00001db1: LOG2
00001db2: POP
00001db3: JUMP
00001db4: JUMPDEST
00001db5: PUSH2 0x1dbc
00001db8: PUSH2 0x0f51
00001dbb: JUMP
00001dbc: JUMPDEST
00001dbd: PUSH1 0x01
00001dbf: PUSH1 0x01
00001dc1: PUSH1 0xa0
00001dc3: SHL
00001dc4: SUB
00001dc5: AND
00001dc6: CALLER
00001dc7: PUSH1 0x01
00001dc9: PUSH1 0x01
00001dcb: PUSH1 0xa0
00001dcd: SHL
00001dce: SUB
00001dcf: AND
00001dd0: EQ
00001dd1: DUP1
00001dd2: PUSH2 0x1de5
00001dd5: JUMPI
00001dd6: POP
00001dd7: PUSH1 0x02
00001dd9: SLOAD
00001dda: PUSH1 0x01
00001ddc: PUSH1 0x01
00001dde: PUSH1 0xa0
00001de0: SHL
00001de1: SUB
00001de2: AND
00001de3: CALLER
00001de4: EQ
00001de5: JUMPDEST
00001de6: DUP1
00001de7: PUSH2 0x1dfa
00001dea: JUMPI
00001deb: POP
00001dec: PUSH1 0x03
00001dee: SLOAD
00001def: PUSH1 0x01
00001df1: PUSH1 0x01
00001df3: PUSH1 0xa0
00001df5: SHL
00001df6: SUB
00001df7: AND
00001df8: CALLER
00001df9: EQ
00001dfa: JUMPDEST
00001dfb: PUSH2 0x1e35
00001dfe: JUMPI
00001dff: PUSH1 0x40
00001e01: MLOAD
00001e02: PUSH3 0x461bcd
00001e06: PUSH1 0xe5
00001e08: SHL
00001e09: DUP2
00001e0a: MSTORE
00001e0b: PUSH1 0x04
00001e0d: ADD
00001e0e: DUP1
00001e0f: DUP1
00001e10: PUSH1 0x20
00001e12: ADD
00001e13: DUP3
00001e14: DUP2
00001e15: SUB
00001e16: DUP3
00001e17: MSTORE
00001e18: PUSH1 0x29
00001e1a: DUP2
00001e1b: MSTORE
00001e1c: PUSH1 0x20
00001e1e: ADD
00001e1f: DUP1
00001e20: PUSH2 0x2ffd
00001e23: PUSH1 0x29
00001e25: SWAP2
00001e26: CODECOPY
00001e27: PUSH1 0x40
00001e29: ADD
00001e2a: SWAP2
00001e2b: POP
00001e2c: POP
00001e2d: PUSH1 0x40
00001e2f: MLOAD
00001e30: DUP1
00001e31: SWAP2
00001e32: SUB
00001e33: SWAP1
00001e34: REVERT
00001e35: JUMPDEST
00001e36: PUSH1 0x04
00001e38: SLOAD
00001e39: NUMBER
00001e3a: DUP4
00001e3b: LT
00001e3c: PUSH2 0x1e7d
00001e3f: JUMPI
00001e40: PUSH1 0x40
00001e42: DUP1
00001e43: MLOAD
00001e44: PUSH3 0x461bcd
00001e48: PUSH1 0xe5
00001e4a: SHL
00001e4b: DUP2
00001e4c: MSTORE
00001e4d: PUSH1 0x20
00001e4f: PUSH1 0x04
00001e51: DUP3
00001e52: ADD
00001e53: MSTORE
00001e54: PUSH1 0x0e
00001e56: PUSH1 0x24
00001e58: DUP3
00001e59: ADD
00001e5a: MSTORE
00001e5b: PUSH14 0x084d8dec6d640e8dede40d0d2ced
00001e6a: PUSH1 0x93
00001e6c: SHL
00001e6d: PUSH1 0x44
00001e6f: DUP3
00001e70: ADD
00001e71: MSTORE
00001e72: SWAP1
00001e73: MLOAD
00001e74: SWAP1
00001e75: DUP2
00001e76: SWAP1
00001e77: SUB
00001e78: PUSH1 0x64
00001e7a: ADD
00001e7b: SWAP1
00001e7c: REVERT
00001e7d: JUMPDEST
00001e7e: DUP1
00001e7f: ISZERO
00001e80: PUSH2 0x1eb0
00001e83: JUMPI
00001e84: PUSH1 0x04
00001e86: PUSH1 0x01
00001e88: DUP3
00001e89: SUB
00001e8a: DUP2
00001e8b: SLOAD
00001e8c: DUP2
00001e8d: LT
00001e8e: PUSH2 0x1e93
00001e91: JUMPI
00001e92: INVALID
00001e93: JUMPDEST
00001e94: PUSH1 0x00
00001e96: SWAP2
00001e97: DUP3
00001e98: MSTORE
00001e99: PUSH1 0x20
00001e9b: SWAP1
00001e9c: SWAP2
00001e9d: KECCAK256
00001e9e: PUSH1 0x06
00001ea0: PUSH1 0x07
00001ea2: SWAP1
00001ea3: SWAP3
00001ea4: MUL
00001ea5: ADD
00001ea6: ADD
00001ea7: SLOAD
00001ea8: PUSH1 0xff
00001eaa: AND
00001eab: ISZERO
00001eac: PUSH2 0x1eb3
00001eaf: JUMP
00001eb0: JUMPDEST
00001eb1: PUSH1 0x01
00001eb3: JUMPDEST
00001eb4: PUSH2 0x1f04
00001eb7: JUMPI
00001eb8: PUSH1 0x40
00001eba: DUP1
00001ebb: MLOAD
00001ebc: PUSH3 0x461bcd
00001ec0: PUSH1 0xe5
00001ec2: SHL
00001ec3: DUP2
00001ec4: MSTORE
00001ec5: PUSH1 0x20
00001ec7: PUSH1 0x04
00001ec9: DUP3
00001eca: ADD
00001ecb: MSTORE
00001ecc: PUSH1 0x1e
00001ece: PUSH1 0x24
00001ed0: DUP3
00001ed1: ADD
00001ed2: MSTORE
00001ed3: PUSH32 0x50726576696f7573206469766964656e64207374696c6c206163746976650000
00001ef4: PUSH1 0x44
00001ef6: DUP3
00001ef7: ADD
00001ef8: MSTORE
00001ef9: SWAP1
00001efa: MLOAD
00001efb: SWAP1
00001efc: DUP2
00001efd: SWAP1
00001efe: SUB
00001eff: PUSH1 0x64
00001f01: ADD
00001f02: SWAP1
00001f03: REVERT
00001f04: JUMPDEST
00001f05: PUSH1 0x40
00001f07: DUP1
00001f08: MLOAD
00001f09: PUSH1 0xe0
00001f0b: DUP2
00001f0c: ADD
00001f0d: DUP3
00001f0e: MSTORE
00001f0f: DUP6
00001f10: DUP2
00001f11: MSTORE
00001f12: PUSH1 0x20
00001f14: DUP1
00001f15: DUP3
00001f16: ADD
00001f17: DUP7
00001f18: DUP2
00001f19: MSTORE
00001f1a: PUSH1 0x00
00001f1c: DUP4
00001f1d: DUP6
00001f1e: ADD
00001f1f: DUP2
00001f20: DUP2
00001f21: MSTORE
00001f22: CALLVALUE
00001f23: PUSH1 0x60
00001f25: DUP1
00001f26: DUP8
00001f27: ADD
00001f28: DUP3
00001f29: DUP2
00001f2a: MSTORE
00001f2b: PUSH1 0x80
00001f2d: DUP1
00001f2e: DUP10
00001f2f: ADD
00001f30: DUP13
00001f31: DUP2
00001f32: MSTORE
00001f33: PUSH1 0xa0
00001f35: DUP11
00001f36: ADD
00001f37: DUP8
00001f38: DUP2
00001f39: MSTORE
00001f3a: PUSH1 0x01
00001f3c: PUSH1 0xc0
00001f3e: DUP13
00001f3f: ADD
00001f40: DUP2
00001f41: DUP2
00001f42: MSTORE
00001f43: PUSH1 0x04
00001f45: DUP1
00001f46: SLOAD
00001f47: SWAP3
00001f48: DUP4
00001f49: ADD
00001f4a: DUP2
00001f4b: SSTORE
00001f4c: DUP11
00001f4d: MSTORE
00001f4e: SWAP12
00001f4f: MLOAD
00001f50: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b
00001f71: PUSH1 0x07
00001f73: SWAP1
00001f74: SWAP3
00001f75: MUL
00001f76: SWAP2
00001f77: DUP3
00001f78: ADD
00001f79: SSTORE
00001f7a: SWAP9
00001f7b: MLOAD
00001f7c: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19c
00001f9d: DUP11
00001f9e: ADD
00001f9f: SSTORE
00001fa0: SWAP6
00001fa1: MLOAD
00001fa2: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19d
00001fc3: DUP10
00001fc4: ADD
00001fc5: DUP1
00001fc6: SLOAD
00001fc7: PUSH1 0x01
00001fc9: PUSH1 0x01
00001fcb: PUSH1 0xa0
00001fcd: SHL
00001fce: SUB
00001fcf: NOT
00001fd0: AND
00001fd1: PUSH1 0x01
00001fd3: PUSH1 0x01
00001fd5: PUSH1 0xa0
00001fd7: SHL
00001fd8: SUB
00001fd9: SWAP1
00001fda: SWAP3
00001fdb: AND
00001fdc: SWAP2
00001fdd: SWAP1
00001fde: SWAP2
00001fdf: OR
00001fe0: SWAP1
00001fe1: SSTORE
00001fe2: SWAP2
00001fe3: MLOAD
00001fe4: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19e
00002005: DUP9
00002006: ADD
00002007: SSTORE
00002008: SWAP1
00002009: MLOAD
0000200a: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19f
0000202b: DUP8
0000202c: ADD
0000202d: SSTORE
0000202e: SWAP3
0000202f: MLOAD
00002030: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd1a0
00002051: DUP7
00002052: ADD
00002053: SSTORE
00002054: SWAP6
00002055: MLOAD
00002056: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd1a1
00002077: SWAP1
00002078: SWAP5
00002079: ADD
0000207a: DUP1
0000207b: SLOAD
0000207c: PUSH1 0xff
0000207e: NOT
0000207f: AND
00002080: SWAP5
00002081: ISZERO
00002082: ISZERO
00002083: SWAP5
00002084: SWAP1
00002085: SWAP5
00002086: OR
00002087: SWAP1
00002088: SWAP4
00002089: SSTORE
0000208a: DUP6
0000208b: MLOAD
0000208c: DUP11
0000208d: DUP2
0000208e: MSTORE
0000208f: SWAP4
00002090: DUP5
00002091: ADD
00002092: DUP10
00002093: SWAP1
00002094: MSTORE
00002095: DUP4
00002096: DUP7
00002097: ADD
00002098: SWAP2
00002099: SWAP1
0000209a: SWAP2
0000209b: MSTORE
0000209c: SWAP3
0000209d: DUP3
0000209e: ADD
0000209f: MSTORE
000020a0: SWAP2
000020a1: MLOAD
000020a2: DUP4
000020a3: SWAP3
000020a4: CALLER
000020a5: SWAP3
000020a6: PUSH32 0xf6a34d2ce609cade94ee9efbb0ee70f70def79a0b569f41a8b715cac435802a1
000020c7: SWAP3
000020c8: SWAP2
000020c9: DUP3
000020ca: SWAP1
000020cb: SUB
000020cc: ADD
000020cd: SWAP1
000020ce: LOG3
000020cf: POP
000020d0: POP
000020d1: POP
000020d2: POP
000020d3: JUMP
000020d4: JUMPDEST
000020d5: PUSH1 0x60
000020d7: DUP1
000020d8: NUMBER
000020d9: DUP7
000020da: GT
000020db: ISZERO
000020dc: PUSH2 0x211c
000020df: JUMPI
000020e0: PUSH1 0x40
000020e2: DUP1
000020e3: MLOAD
000020e4: PUSH3 0x461bcd
000020e8: PUSH1 0xe5
000020ea: SHL
000020eb: DUP2
000020ec: MSTORE
000020ed: PUSH1 0x20
000020ef: PUSH1 0x04
000020f1: DUP3
000020f2: ADD
000020f3: MSTORE
000020f4: PUSH1 0x0d
000020f6: PUSH1 0x24
000020f8: DUP3
000020f9: ADD
000020fa: MSTORE
000020fb: PUSH13 0x496e76616c696420626c6f636b
00002109: PUSH1 0x98
0000210b: SHL
0000210c: PUSH1 0x44
0000210e: DUP3
0000210f: ADD
00002110: MSTORE
00002111: SWAP1
00002112: MLOAD
00002113: SWAP1
00002114: DUP2
00002115: SWAP1
00002116: SUB
00002117: PUSH1 0x64
00002119: ADD
0000211a: SWAP1
0000211b: REVERT
0000211c: JUMPDEST
0000211d: PUSH1 0x00
0000211f: DUP4
00002120: PUSH8 0xffffffffffffffff
00002129: DUP2
0000212a: GT
0000212b: DUP1
0000212c: ISZERO
0000212d: PUSH2 0x2135
00002130: JUMPI
00002131: PUSH1 0x00
00002133: DUP1
00002134: REVERT
00002135: JUMPDEST
00002136: POP
00002137: PUSH1 0x40
00002139: MLOAD
0000213a: SWAP1
0000213b: DUP1
0000213c: DUP3
0000213d: MSTORE
0000213e: DUP1
0000213f: PUSH1 0x20
00002141: MUL
00002142: PUSH1 0x20
00002144: ADD
00002145: DUP3
00002146: ADD
00002147: PUSH1 0x40
00002149: MSTORE
0000214a: DUP1
0000214b: ISZERO
0000214c: PUSH2 0x215f
0000214f: JUMPI
00002150: DUP2
00002151: PUSH1 0x20
00002153: ADD
00002154: PUSH1 0x20
00002156: DUP3
00002157: MUL
00002158: DUP1
00002159: CALLDATASIZE
0000215a: DUP4
0000215b: CALLDATACOPY
0000215c: ADD
0000215d: SWAP1
0000215e: POP
0000215f: JUMPDEST
00002160: POP
00002161: SWAP1
00002162: POP
00002163: PUSH1 0x00
00002165: DUP1
00002166: JUMPDEST
00002167: DUP6
00002168: DUP2
00002169: LT
0000216a: ISZERO
0000216b: PUSH2 0x2256
0000216e: JUMPI
0000216f: PUSH1 0x01
00002171: SLOAD
00002172: PUSH1 0x01
00002174: PUSH1 0x01
00002176: PUSH1 0xa0
00002178: SHL
00002179: SUB
0000217a: AND
0000217b: PUSH4 0x4ee2cd7e
00002180: DUP9
00002181: DUP9
00002182: DUP5
00002183: DUP2
00002184: DUP2
00002185: LT
00002186: PUSH2 0x218b
00002189: JUMPI
0000218a: INVALID
0000218b: JUMPDEST
0000218c: SWAP1
0000218d: POP
0000218e: PUSH1 0x20
00002190: MUL
00002191: ADD
00002192: CALLDATALOAD
00002193: PUSH1 0x01
00002195: PUSH1 0x01
00002197: PUSH1 0xa0
00002199: SHL
0000219a: SUB
0000219b: AND
0000219c: DUP12
0000219d: PUSH1 0x40
0000219f: MLOAD
000021a0: DUP4
000021a1: PUSH4 0xffffffff
000021a6: AND
000021a7: PUSH1 0xe0
000021a9: SHL
000021aa: DUP2
000021ab: MSTORE
000021ac: PUSH1 0x04
000021ae: ADD
000021af: DUP1
000021b0: DUP4
000021b1: PUSH1 0x01
000021b3: PUSH1 0x01
000021b5: PUSH1 0xa0
000021b7: SHL
000021b8: SUB
000021b9: AND
000021ba: DUP2
000021bb: MSTORE
000021bc: PUSH1 0x20
000021be: ADD
000021bf: DUP3
000021c0: DUP2
000021c1: MSTORE
000021c2: PUSH1 0x20
000021c4: ADD
000021c5: SWAP3
000021c6: POP
000021c7: POP
000021c8: POP
000021c9: PUSH1 0x20
000021cb: PUSH1 0x40
000021cd: MLOAD
000021ce: DUP1
000021cf: DUP4
000021d0: SUB
000021d1: DUP2
000021d2: DUP7
000021d3: DUP1
000021d4: EXTCODESIZE
000021d5: ISZERO
000021d6: DUP1
000021d7: ISZERO
000021d8: PUSH2 0x21e0
000021db: JUMPI
000021dc: PUSH1 0x00
000021de: DUP1
000021df: REVERT
000021e0: JUMPDEST
000021e1: POP
000021e2: GAS
000021e3: STATICCALL
000021e4: ISZERO
000021e5: DUP1
000021e6: ISZERO
000021e7: PUSH2 0x21f4
000021ea: JUMPI
000021eb: RETURNDATASIZE
000021ec: PUSH1 0x00
000021ee: DUP1
000021ef: RETURNDATACOPY
000021f0: RETURNDATASIZE
000021f1: PUSH1 0x00
000021f3: REVERT
000021f4: JUMPDEST
000021f5: POP
000021f6: POP
000021f7: POP
000021f8: POP
000021f9: PUSH1 0x40
000021fb: MLOAD
000021fc: RETURNDATASIZE
000021fd: PUSH1 0x20
000021ff: DUP2
00002200: LT
00002201: ISZERO
00002202: PUSH2 0x220a
00002205: JUMPI
00002206: PUSH1 0x00
00002208: DUP1
00002209: REVERT
0000220a: JUMPDEST
0000220b: POP
0000220c: MLOAD
0000220d: DUP4
0000220e: MLOAD
0000220f: DUP5
00002210: SWAP1
00002211: DUP4
00002212: SWAP1
00002213: DUP2
00002214: LT
00002215: PUSH2 0x221a
00002218: JUMPI
00002219: INVALID
0000221a: JUMPDEST
0000221b: PUSH1 0x20
0000221d: MUL
0000221e: PUSH1 0x20
00002220: ADD
00002221: ADD
00002222: DUP2
00002223: DUP2
00002224: MSTORE
00002225: POP
00002226: POP
00002227: PUSH2 0x224c
0000222a: DUP4
0000222b: DUP3
0000222c: DUP2
0000222d: MLOAD
0000222e: DUP2
0000222f: LT
00002230: PUSH2 0x2235
00002233: JUMPI
00002234: INVALID
00002235: JUMPDEST
00002236: PUSH1 0x20
00002238: MUL
00002239: PUSH1 0x20
0000223b: ADD
0000223c: ADD
0000223d: MLOAD
0000223e: DUP4
0000223f: PUSH2 0x2dda
00002242: SWAP1
00002243: SWAP2
00002244: SWAP1
00002245: PUSH4 0xffffffff
0000224a: AND
0000224b: JUMP
0000224c: JUMPDEST
0000224d: SWAP2
0000224e: POP
0000224f: PUSH1 0x01
00002251: ADD
00002252: PUSH2 0x2166
00002255: JUMP
00002256: JUMPDEST
00002257: POP
00002258: PUSH1 0x00
0000225a: DUP6
0000225b: PUSH8 0xffffffffffffffff
00002264: DUP2
00002265: GT
00002266: DUP1
00002267: ISZERO
00002268: PUSH2 0x2270
0000226b: JUMPI
0000226c: PUSH1 0x00
0000226e: DUP1
0000226f: REVERT
00002270: JUMPDEST
00002271: POP
00002272: PUSH1 0x40
00002274: MLOAD
00002275: SWAP1
00002276: DUP1
00002277: DUP3
00002278: MSTORE
00002279: DUP1
0000227a: PUSH1 0x20
0000227c: MUL
0000227d: PUSH1 0x20
0000227f: ADD
00002280: DUP3
00002281: ADD
00002282: PUSH1 0x40
00002284: MSTORE
00002285: DUP1
00002286: ISZERO
00002287: PUSH2 0x229a
0000228a: JUMPI
0000228b: DUP2
0000228c: PUSH1 0x20
0000228e: ADD
0000228f: PUSH1 0x20
00002291: DUP3
00002292: MUL
00002293: DUP1
00002294: CALLDATASIZE
00002295: DUP4
00002296: CALLDATACOPY
00002297: ADD
00002298: SWAP1
00002299: POP
0000229a: JUMPDEST
0000229b: POP
0000229c: SWAP1
0000229d: POP
0000229e: DUP2
0000229f: ISZERO
000022a0: PUSH2 0x22ff
000022a3: JUMPI
000022a4: PUSH1 0x00
000022a6: JUMPDEST
000022a7: DUP7
000022a8: DUP2
000022a9: LT
000022aa: ISZERO
000022ab: PUSH2 0x22fd
000022ae: JUMPI
000022af: PUSH2 0x22de
000022b2: DUP4
000022b3: PUSH2 0x22d8
000022b6: DUP7
000022b7: DUP5
000022b8: DUP2
000022b9: MLOAD
000022ba: DUP2
000022bb: LT
000022bc: PUSH2 0x22c1
000022bf: JUMPI
000022c0: INVALID
000022c1: JUMPDEST
000022c2: PUSH1 0x20
000022c4: MUL
000022c5: PUSH1 0x20
000022c7: ADD
000022c8: ADD
000022c9: MLOAD
000022ca: DUP13
000022cb: PUSH2 0x2e3b
000022ce: SWAP1
000022cf: SWAP2
000022d0: SWAP1
000022d1: PUSH4 0xffffffff
000022d6: AND
000022d7: JUMP
000022d8: JUMPDEST
000022d9: SWAP1
000022da: PUSH2 0x2e94
000022dd: JUMP
000022de: JUMPDEST
000022df: DUP3
000022e0: DUP3
000022e1: DUP2
000022e2: MLOAD
000022e3: DUP2
000022e4: LT
000022e5: PUSH2 0x22ea
000022e8: JUMPI
000022e9: INVALID
000022ea: JUMPDEST
000022eb: PUSH1 0x20
000022ed: SWAP1
000022ee: DUP2
000022ef: MUL
000022f0: SWAP2
000022f1: SWAP1
000022f2: SWAP2
000022f3: ADD
000022f4: ADD
000022f5: MSTORE
000022f6: PUSH1 0x01
000022f8: ADD
000022f9: PUSH2 0x22a6
000022fc: JUMP
000022fd: JUMPDEST
000022fe: POP
000022ff: JUMPDEST
00002300: SWAP2
00002301: SWAP9
00002302: SWAP2
00002303: SWAP8
00002304: POP
00002305: SWAP1
00002306: SWAP6
00002307: POP
00002308: POP
00002309: POP
0000230a: POP
0000230b: POP
0000230c: POP
0000230d: JUMP
0000230e: JUMPDEST
0000230f: PUSH1 0x05
00002311: PUSH1 0x20
00002313: SWAP1
00002314: DUP2
00002315: MSTORE
00002316: PUSH1 0x00
00002318: SWAP3
00002319: DUP4
0000231a: MSTORE
0000231b: PUSH1 0x40
0000231d: DUP1
0000231e: DUP5
0000231f: KECCAK256
00002320: SWAP1
00002321: SWAP2
00002322: MSTORE
00002323: SWAP1
00002324: DUP3
00002325: MSTORE
00002326: SWAP1
00002327: KECCAK256
00002328: SLOAD
00002329: DUP2
0000232a: JUMP
0000232b: JUMPDEST
0000232c: PUSH2 0x14c8
0000232f: CALLER
00002330: DUP7
00002331: DUP7
00002332: DUP7
00002333: DUP7
00002334: DUP7
00002335: PUSH2 0x28c3
00002338: JUMP
00002339: JUMPDEST
0000233a: PUSH2 0x2341
0000233d: PUSH2 0x246b
00002340: JUMP
00002341: JUMPDEST
00002342: PUSH1 0x01
00002344: PUSH1 0x01
00002346: PUSH1 0xa0
00002348: SHL
00002349: SUB
0000234a: AND
0000234b: PUSH2 0x2352
0000234e: PUSH2 0x0f51
00002351: JUMP
00002352: JUMPDEST
00002353: PUSH1 0x01
00002355: PUSH1 0x01
00002357: PUSH1 0xa0
00002359: SHL
0000235a: SUB
0000235b: AND
0000235c: EQ
0000235d: PUSH2 0x239b
00002360: JUMPI
00002361: PUSH1 0x40
00002363: DUP1
00002364: MLOAD
00002365: PUSH3 0x461bcd
00002369: PUSH1 0xe5
0000236b: SHL
0000236c: DUP2
0000236d: MSTORE
0000236e: PUSH1 0x20
00002370: PUSH1 0x04
00002372: DUP3
00002373: ADD
00002374: DUP2
00002375: SWAP1
00002376: MSTORE
00002377: PUSH1 0x24
00002379: DUP3
0000237a: ADD
0000237b: MSTORE
0000237c: PUSH1 0x00
0000237e: DUP1
0000237f: MLOAD
00002380: PUSH1 0x20
00002382: PUSH2 0x3047
00002385: DUP4
00002386: CODECOPY
00002387: DUP2
00002388: MLOAD
00002389: SWAP2
0000238a: MSTORE
0000238b: PUSH1 0x44
0000238d: DUP3
0000238e: ADD
0000238f: MSTORE
00002390: SWAP1
00002391: MLOAD
00002392: SWAP1
00002393: DUP2
00002394: SWAP1
00002395: SUB
00002396: PUSH1 0x64
00002398: ADD
00002399: SWAP1
0000239a: REVERT
0000239b: JUMPDEST
0000239c: PUSH1 0x01
0000239e: PUSH1 0x01
000023a0: PUSH1 0xa0
000023a2: SHL
000023a3: SUB
000023a4: DUP2
000023a5: AND
000023a6: PUSH2 0x23e0
000023a9: JUMPI
000023aa: PUSH1 0x40
000023ac: MLOAD
000023ad: PUSH3 0x461bcd
000023b1: PUSH1 0xe5
000023b3: SHL
000023b4: DUP2
000023b5: MSTORE
000023b6: PUSH1 0x04
000023b8: ADD
000023b9: DUP1
000023ba: DUP1
000023bb: PUSH1 0x20
000023bd: ADD
000023be: DUP3
000023bf: DUP2
000023c0: SUB
000023c1: DUP3
000023c2: MSTORE
000023c3: PUSH1 0x26
000023c5: DUP2
000023c6: MSTORE
000023c7: PUSH1 0x20
000023c9: ADD
000023ca: DUP1
000023cb: PUSH2 0x2fd7
000023ce: PUSH1 0x26
000023d0: SWAP2
000023d1: CODECOPY
000023d2: PUSH1 0x40
000023d4: ADD
000023d5: SWAP2
000023d6: POP
000023d7: POP
000023d8: PUSH1 0x40
000023da: MLOAD
000023db: DUP1
000023dc: SWAP2
000023dd: SUB
000023de: SWAP1
000023df: REVERT
000023e0: JUMPDEST
000023e1: PUSH1 0x00
000023e3: DUP1
000023e4: SLOAD
000023e5: PUSH1 0x40
000023e7: MLOAD
000023e8: PUSH1 0x01
000023ea: PUSH1 0x01
000023ec: PUSH1 0xa0
000023ee: SHL
000023ef: SUB
000023f0: DUP1
000023f1: DUP6
000023f2: AND
000023f3: SWAP4
000023f4: SWAP3
000023f5: AND
000023f6: SWAP2
000023f7: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002418: SWAP2
00002419: LOG3
0000241a: PUSH1 0x00
0000241c: DUP1
0000241d: SLOAD
0000241e: PUSH1 0x01
00002420: PUSH1 0x01
00002422: PUSH1 0xa0
00002424: SHL
00002425: SUB
00002426: NOT
00002427: AND
00002428: PUSH1 0x01
0000242a: PUSH1 0x01
0000242c: PUSH1 0xa0
0000242e: SHL
0000242f: SUB
00002430: SWAP3
00002431: SWAP1
00002432: SWAP3
00002433: AND
00002434: SWAP2
00002435: SWAP1
00002436: SWAP2
00002437: OR
00002438: SWAP1
00002439: SSTORE
0000243a: JUMP
0000243b: JUMPDEST
0000243c: PUSH1 0x00
0000243e: DUP3
0000243f: DUP2
00002440: MSTORE
00002441: PUSH1 0x05
00002443: PUSH1 0x20
00002445: SWAP1
00002446: DUP2
00002447: MSTORE
00002448: PUSH1 0x40
0000244a: DUP1
0000244b: DUP4
0000244c: KECCAK256
0000244d: PUSH2 0x0100
00002450: DUP6
00002451: DIV
00002452: DUP5
00002453: MSTORE
00002454: SWAP1
00002455: SWAP2
00002456: MSTORE
00002457: SWAP1
00002458: KECCAK256
00002459: SLOAD
0000245a: PUSH1 0x01
0000245c: PUSH1 0xff
0000245e: DUP4
0000245f: AND
00002460: SHL
00002461: SWAP1
00002462: DUP2
00002463: AND
00002464: EQ
00002465: JUMPDEST
00002466: SWAP3
00002467: SWAP2
00002468: POP
00002469: POP
0000246a: JUMP
0000246b: JUMPDEST
0000246c: CALLER
0000246d: SWAP1
0000246e: JUMP
0000246f: JUMPDEST
00002470: PUSH1 0x04
00002472: SLOAD
00002473: PUSH1 0x00
00002475: SWAP1
00002476: DUP7
00002477: SWAP1
00002478: DUP2
00002479: LT
0000247a: PUSH2 0x24c5
0000247d: JUMPI
0000247e: PUSH1 0x40
00002480: DUP1
00002481: MLOAD
00002482: PUSH3 0x461bcd
00002486: PUSH1 0xe5
00002488: SHL
00002489: DUP2
0000248a: MSTORE
0000248b: PUSH1 0x20
0000248d: PUSH1 0x04
0000248f: DUP3
00002490: ADD
00002491: MSTORE
00002492: PUSH1 0x18
00002494: PUSH1 0x24
00002496: DUP3
00002497: ADD
00002498: MSTORE
00002499: PUSH24 0x092dcc6dee4e4cac6e84088d2ecd2c8cadcc84092dcc8caf
000024b2: PUSH1 0x43
000024b4: SHL
000024b5: PUSH1 0x44
000024b7: DUP3
000024b8: ADD
000024b9: MSTORE
000024ba: SWAP1
000024bb: MLOAD
000024bc: SWAP1
000024bd: DUP2
000024be: SWAP1
000024bf: SUB
000024c0: PUSH1 0x64
000024c2: ADD
000024c3: SWAP1
000024c4: REVERT
000024c5: JUMPDEST
000024c6: PUSH1 0x01
000024c8: PUSH1 0x01
000024ca: PUSH1 0xa0
000024cc: SHL
000024cd: SUB
000024ce: DUP9
000024cf: AND
000024d0: PUSH1 0x00
000024d2: SWAP1
000024d3: DUP2
000024d4: MSTORE
000024d5: PUSH1 0x07
000024d7: PUSH1 0x20
000024d9: MSTORE
000024da: PUSH1 0x40
000024dc: SWAP1
000024dd: KECCAK256
000024de: SLOAD
000024df: DUP9
000024e0: SWAP1
000024e1: ISZERO
000024e2: PUSH2 0x252a
000024e5: JUMPI
000024e6: PUSH1 0x40
000024e8: DUP1
000024e9: MLOAD
000024ea: PUSH3 0x461bcd
000024ee: PUSH1 0xe5
000024f0: SHL
000024f1: DUP2
000024f2: MSTORE
000024f3: PUSH1 0x20
000024f5: PUSH1 0x04
000024f7: DUP3
000024f8: ADD
000024f9: MSTORE
000024fa: PUSH1 0x15
000024fc: PUSH1 0x24
000024fe: DUP3
000024ff: ADD
00002500: MSTORE
00002501: PUSH21 0x10d85b1b195c88125cc8109b1858dadb1a5cdd1959
00002517: PUSH1 0x5a
00002519: SHL
0000251a: PUSH1 0x44
0000251c: DUP3
0000251d: ADD
0000251e: MSTORE
0000251f: SWAP1
00002520: MLOAD
00002521: SWAP1
00002522: DUP2
00002523: SWAP1
00002524: SUB
00002525: PUSH1 0x64
00002527: ADD
00002528: SWAP1
00002529: REVERT
0000252a: JUMPDEST
0000252b: PUSH1 0x04
0000252d: DUP9
0000252e: DUP2
0000252f: SLOAD
00002530: DUP2
00002531: LT
00002532: PUSH2 0x2537
00002535: JUMPI
00002536: INVALID
00002537: JUMPDEST
00002538: PUSH1 0x00
0000253a: SWAP2
0000253b: DUP3
0000253c: MSTORE
0000253d: PUSH1 0x20
0000253f: SWAP1
00002540: SWAP2
00002541: KECCAK256
00002542: PUSH1 0x06
00002544: PUSH1 0x07
00002546: SWAP1
00002547: SWAP3
00002548: MUL
00002549: ADD
0000254a: ADD
0000254b: SLOAD
0000254c: PUSH1 0xff
0000254e: AND
0000254f: PUSH2 0x2595
00002552: JUMPI
00002553: PUSH1 0x40
00002555: DUP1
00002556: MLOAD
00002557: PUSH3 0x461bcd
0000255b: PUSH1 0xe5
0000255d: SHL
0000255e: DUP2
0000255f: MSTORE
00002560: PUSH1 0x20
00002562: PUSH1 0x04
00002564: DUP3
00002565: ADD
00002566: MSTORE
00002567: PUSH1 0x13
00002569: PUSH1 0x24
0000256b: DUP3
0000256c: ADD
0000256d: MSTORE
0000256e: PUSH19 0x4469766964656e64206e6f7420616374697665
00002582: PUSH1 0x68
00002584: SHL
00002585: PUSH1 0x44
00002587: DUP3
00002588: ADD
00002589: MSTORE
0000258a: SWAP1
0000258b: MLOAD
0000258c: SWAP1
0000258d: DUP2
0000258e: SWAP1
0000258f: SUB
00002590: PUSH1 0x64
00002592: ADD
00002593: SWAP1
00002594: REVERT
00002595: JUMPDEST
00002596: PUSH2 0x259f
00002599: DUP9
0000259a: DUP9
0000259b: PUSH2 0x243b
0000259e: JUMP
0000259f: JUMPDEST
000025a0: ISZERO
000025a1: PUSH2 0x25e3
000025a4: JUMPI
000025a5: PUSH1 0x40
000025a7: DUP1
000025a8: MLOAD
000025a9: PUSH3 0x461bcd
000025ad: PUSH1 0xe5
000025af: SHL
000025b0: DUP2
000025b1: MSTORE
000025b2: PUSH1 0x20
000025b4: PUSH1 0x04
000025b6: DUP3
000025b7: ADD
000025b8: MSTORE
000025b9: PUSH1 0x0f
000025bb: PUSH1 0x24
000025bd: DUP3
000025be: ADD
000025bf: MSTORE
000025c0: PUSH15 0x105b1c9958591e4818db185a5b5959
000025d0: PUSH1 0x8a
000025d2: SHL
000025d3: PUSH1 0x44
000025d5: DUP3
000025d6: ADD
000025d7: MSTORE
000025d8: SWAP1
000025d9: MLOAD
000025da: SWAP1
000025db: DUP2
000025dc: SWAP1
000025dd: SUB
000025de: PUSH1 0x64
000025e0: ADD
000025e1: SWAP1
000025e2: REVERT
000025e3: JUMPDEST
000025e4: PUSH1 0x00
000025e6: DUP8
000025e7: DUP11
000025e8: DUP9
000025e9: DUP12
000025ea: PUSH1 0x40
000025ec: MLOAD
000025ed: PUSH1 0x20
000025ef: ADD
000025f0: DUP1
000025f1: DUP6
000025f2: DUP2
000025f3: MSTORE
000025f4: PUSH1 0x20
000025f6: ADD
000025f7: DUP5
000025f8: PUSH1 0x01
000025fa: PUSH1 0x01
000025fc: PUSH1 0xa0
000025fe: SHL
000025ff: SUB
00002600: AND
00002601: PUSH1 0x60
00002603: SHL
00002604: DUP2
00002605: MSTORE
00002606: PUSH1 0x14
00002608: ADD
00002609: DUP4
0000260a: DUP2
0000260b: MSTORE
0000260c: PUSH1 0x20
0000260e: ADD
0000260f: DUP3
00002610: DUP2
00002611: MSTORE
00002612: PUSH1 0x20
00002614: ADD
00002615: SWAP5
00002616: POP
00002617: POP
00002618: POP
00002619: POP
0000261a: POP
0000261b: PUSH1 0x40
0000261d: MLOAD
0000261e: PUSH1 0x20
00002620: DUP2
00002621: DUP4
00002622: SUB
00002623: SUB
00002624: DUP2
00002625: MSTORE
00002626: SWAP1
00002627: PUSH1 0x40
00002629: MSTORE
0000262a: DUP1
0000262b: MLOAD
0000262c: SWAP1
0000262d: PUSH1 0x20
0000262f: ADD
00002630: KECCAK256
00002631: SWAP1
00002632: POP
00002633: PUSH2 0x2690
00002636: DUP7
00002637: DUP7
00002638: DUP1
00002639: DUP1
0000263a: PUSH1 0x20
0000263c: MUL
0000263d: PUSH1 0x20
0000263f: ADD
00002640: PUSH1 0x40
00002642: MLOAD
00002643: SWAP1
00002644: DUP2
00002645: ADD
00002646: PUSH1 0x40
00002648: MSTORE
00002649: DUP1
0000264a: SWAP4
0000264b: SWAP3
0000264c: SWAP2
0000264d: SWAP1
0000264e: DUP2
0000264f: DUP2
00002650: MSTORE
00002651: PUSH1 0x20
00002653: ADD
00002654: DUP4
00002655: DUP4
00002656: PUSH1 0x20
00002658: MUL
00002659: DUP1
0000265a: DUP3
0000265b: DUP5
0000265c: CALLDATACOPY
0000265d: PUSH1 0x00
0000265f: SWAP3
00002660: ADD
00002661: SWAP2
00002662: SWAP1
00002663: SWAP2
00002664: MSTORE
00002665: POP
00002666: POP
00002667: PUSH1 0x04
00002669: DUP1
0000266a: SLOAD
0000266b: SWAP1
0000266c: SWAP3
0000266d: POP
0000266e: DUP14
0000266f: SWAP2
00002670: POP
00002671: DUP2
00002672: LT
00002673: PUSH2 0x2678
00002676: JUMPI
00002677: INVALID
00002678: JUMPDEST
00002679: SWAP1
0000267a: PUSH1 0x00
0000267c: MSTORE
0000267d: PUSH1 0x20
0000267f: PUSH1 0x00
00002681: KECCAK256
00002682: SWAP1
00002683: PUSH1 0x07
00002685: MUL
00002686: ADD
00002687: PUSH1 0x00
00002689: ADD
0000268a: SLOAD
0000268b: DUP4
0000268c: PUSH2 0x2efb
0000268f: JUMP
00002690: JUMPDEST
00002691: SWAP11
00002692: SWAP10
00002693: POP
00002694: POP
00002695: POP
00002696: POP
00002697: POP
00002698: POP
00002699: POP
0000269a: POP
0000269b: POP
0000269c: POP
0000269d: JUMP
0000269e: JUMPDEST
0000269f: PUSH1 0x04
000026a1: SLOAD
000026a2: PUSH1 0x00
000026a4: SWAP1
000026a5: DUP5
000026a6: SWAP1
000026a7: DUP2
000026a8: LT
000026a9: PUSH2 0x26f4
000026ac: JUMPI
000026ad: PUSH1 0x40
000026af: DUP1
000026b0: MLOAD
000026b1: PUSH3 0x461bcd
000026b5: PUSH1 0xe5
000026b7: SHL
000026b8: DUP2
000026b9: MSTORE
000026ba: PUSH1 0x20
000026bc: PUSH1 0x04
000026be: DUP3
000026bf: ADD
000026c0: MSTORE
000026c1: PUSH1 0x18
000026c3: PUSH1 0x24
000026c5: DUP3
000026c6: ADD
000026c7: MSTORE
000026c8: PUSH24 0x092dcc6dee4e4cac6e84088d2ecd2c8cadcc84092dcc8caf
000026e1: PUSH1 0x43
000026e3: SHL
000026e4: PUSH1 0x44
000026e6: DUP3
000026e7: ADD
000026e8: MSTORE
000026e9: SWAP1
000026ea: MLOAD
000026eb: SWAP1
000026ec: DUP2
000026ed: SWAP1
000026ee: SUB
000026ef: PUSH1 0x64
000026f1: ADD
000026f2: SWAP1
000026f3: REVERT
000026f4: JUMPDEST
000026f5: PUSH1 0x01
000026f7: PUSH1 0x01
000026f9: PUSH1 0xa0
000026fb: SHL
000026fc: SUB
000026fd: DUP7
000026fe: AND
000026ff: PUSH1 0x00
00002701: SWAP1
00002702: DUP2
00002703: MSTORE
00002704: PUSH1 0x07
00002706: PUSH1 0x20
00002708: MSTORE
00002709: PUSH1 0x40
0000270b: SWAP1
0000270c: KECCAK256
0000270d: SLOAD
0000270e: DUP7
0000270f: SWAP1
00002710: ISZERO
00002711: PUSH2 0x2759
00002714: JUMPI
00002715: PUSH1 0x40
00002717: DUP1
00002718: MLOAD
00002719: PUSH3 0x461bcd
0000271d: PUSH1 0xe5
0000271f: SHL
00002720: DUP2
00002721: MSTORE
00002722: PUSH1 0x20
00002724: PUSH1 0x04
00002726: DUP3
00002727: ADD
00002728: MSTORE
00002729: PUSH1 0x15
0000272b: PUSH1 0x24
0000272d: DUP3
0000272e: ADD
0000272f: MSTORE
00002730: PUSH21 0x10d85b1b195c88125cc8109b1858dadb1a5cdd1959
00002746: PUSH1 0x5a
00002748: SHL
00002749: PUSH1 0x44
0000274b: DUP3
0000274c: ADD
0000274d: MSTORE
0000274e: SWAP1
0000274f: MLOAD
00002750: SWAP1
00002751: DUP2
00002752: SWAP1
00002753: SUB
00002754: PUSH1 0x64
00002756: ADD
00002757: SWAP1
00002758: REVERT
00002759: JUMPDEST
0000275a: PUSH1 0x04
0000275c: DUP7
0000275d: DUP2
0000275e: SLOAD
0000275f: DUP2
00002760: LT
00002761: PUSH2 0x2766
00002764: JUMPI
00002765: INVALID
00002766: JUMPDEST
00002767: PUSH1 0x00
00002769: SWAP2
0000276a: DUP3
0000276b: MSTORE
0000276c: PUSH1 0x20
0000276e: SWAP1
0000276f: SWAP2
00002770: KECCAK256
00002771: PUSH1 0x06
00002773: PUSH1 0x07
00002775: SWAP1
00002776: SWAP3
00002777: MUL
00002778: ADD
00002779: ADD
0000277a: SLOAD
0000277b: PUSH1 0xff
0000277d: AND
0000277e: PUSH2 0x27c4
00002781: JUMPI
00002782: PUSH1 0x40
00002784: DUP1
00002785: MLOAD
00002786: PUSH3 0x461bcd
0000278a: PUSH1 0xe5
0000278c: SHL
0000278d: DUP2
0000278e: MSTORE
0000278f: PUSH1 0x20
00002791: PUSH1 0x04
00002793: DUP3
00002794: ADD
00002795: MSTORE
00002796: PUSH1 0x13
00002798: PUSH1 0x24
0000279a: DUP3
0000279b: ADD
0000279c: MSTORE
0000279d: PUSH19 0x4469766964656e64206e6f7420616374697665
000027b1: PUSH1 0x68
000027b3: SHL
000027b4: PUSH1 0x44
000027b6: DUP3
000027b7: ADD
000027b8: MSTORE
000027b9: SWAP1
000027ba: MLOAD
000027bb: SWAP1
000027bc: DUP2
000027bd: SWAP1
000027be: SUB
000027bf: PUSH1 0x64
000027c1: ADD
000027c2: SWAP1
000027c3: REVERT
000027c4: JUMPDEST
000027c5: PUSH2 0x27ce
000027c8: DUP7
000027c9: DUP7
000027ca: PUSH2 0x243b
000027cd: JUMP
000027ce: JUMPDEST
000027cf: ISZERO
000027d0: PUSH2 0x2812
000027d3: JUMPI
000027d4: PUSH1 0x40
000027d6: DUP1
000027d7: MLOAD
000027d8: PUSH3 0x461bcd
000027dc: PUSH1 0xe5
000027de: SHL
000027df: DUP2
000027e0: MSTORE
000027e1: PUSH1 0x20
000027e3: PUSH1 0x04
000027e5: DUP3
000027e6: ADD
000027e7: MSTORE
000027e8: PUSH1 0x0f
000027ea: PUSH1 0x24
000027ec: DUP3
000027ed: ADD
000027ee: MSTORE
000027ef: PUSH15 0x105b1c9958591e4818db185a5b5959
000027ff: PUSH1 0x8a
00002801: SHL
00002802: PUSH1 0x44
00002804: DUP3
00002805: ADD
00002806: MSTORE
00002807: SWAP1
00002808: MLOAD
00002809: SWAP1
0000280a: DUP2
0000280b: SWAP1
0000280c: SUB
0000280d: PUSH1 0x64
0000280f: ADD
00002810: SWAP1
00002811: REVERT
00002812: JUMPDEST
00002813: POP
00002814: POP
00002815: PUSH1 0x40
00002817: DUP1
00002818: MLOAD
00002819: PUSH1 0x20
0000281b: DUP1
0000281c: DUP3
0000281d: ADD
0000281e: SWAP6
0000281f: SWAP1
00002820: SWAP6
00002821: MSTORE
00002822: PUSH1 0x60
00002824: SWAP7
00002825: SWAP1
00002826: SWAP7
00002827: SHL
00002828: PUSH12 0xffffffffffffffffffffffff
00002835: NOT
00002836: AND
00002837: DUP7
00002838: DUP3
00002839: ADD
0000283a: MSTORE
0000283b: PUSH1 0x54
0000283d: DUP7
0000283e: ADD
0000283f: SWAP3
00002840: SWAP1
00002841: SWAP3
00002842: MSTORE
00002843: POP
00002844: PUSH1 0x74
00002846: DUP1
00002847: DUP6
00002848: ADD
00002849: SWAP4
0000284a: SWAP1
0000284b: SWAP4
0000284c: MSTORE
0000284d: DUP1
0000284e: MLOAD
0000284f: DUP1
00002850: DUP6
00002851: SUB
00002852: SWAP1
00002853: SWAP4
00002854: ADD
00002855: DUP4
00002856: MSTORE
00002857: PUSH1 0x94
00002859: SWAP1
0000285a: SWAP4
0000285b: ADD
0000285c: SWAP1
0000285d: SWAP3
0000285e: MSTORE
0000285f: DUP1
00002860: MLOAD
00002861: SWAP2
00002862: ADD
00002863: KECCAK256
00002864: SWAP1
00002865: JUMP
00002866: JUMPDEST
00002867: PUSH1 0x00
00002869: DUP3
0000286a: DUP3
0000286b: GT
0000286c: ISZERO
0000286d: PUSH2 0x28bd
00002870: JUMPI
00002871: PUSH1 0x40
00002873: DUP1
00002874: MLOAD
00002875: PUSH3 0x461bcd
00002879: PUSH1 0xe5
0000287b: SHL
0000287c: DUP2
0000287d: MSTORE
0000287e: PUSH1 0x20
00002880: PUSH1 0x04
00002882: DUP3
00002883: ADD
00002884: MSTORE
00002885: PUSH1 0x1e
00002887: PUSH1 0x24
00002889: DUP3
0000288a: ADD
0000288b: MSTORE
0000288c: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000028ad: PUSH1 0x44
000028af: DUP3
000028b0: ADD
000028b1: MSTORE
000028b2: SWAP1
000028b3: MLOAD
000028b4: SWAP1
000028b5: DUP2
000028b6: SWAP1
000028b7: SUB
000028b8: PUSH1 0x64
000028ba: ADD
000028bb: SWAP1
000028bc: REVERT
000028bd: JUMPDEST
000028be: POP
000028bf: SWAP1
000028c0: SUB
000028c1: SWAP1
000028c2: JUMP
000028c3: JUMPDEST
000028c4: PUSH1 0x04
000028c6: SLOAD
000028c7: DUP6
000028c8: SWAP1
000028c9: DUP2
000028ca: LT
000028cb: PUSH2 0x2916
000028ce: JUMPI
000028cf: PUSH1 0x40
000028d1: DUP1
000028d2: MLOAD
000028d3: PUSH3 0x461bcd
000028d7: PUSH1 0xe5
000028d9: SHL
000028da: DUP2
000028db: MSTORE
000028dc: PUSH1 0x20
000028de: PUSH1 0x04
000028e0: DUP3
000028e1: ADD
000028e2: MSTORE
000028e3: PUSH1 0x18
000028e5: PUSH1 0x24
000028e7: DUP3
000028e8: ADD
000028e9: MSTORE
000028ea: PUSH24 0x092dcc6dee4e4cac6e84088d2ecd2c8cadcc84092dcc8caf
00002903: PUSH1 0x43
00002905: SHL
00002906: PUSH1 0x44
00002908: DUP3
00002909: ADD
0000290a: MSTORE
0000290b: SWAP1
0000290c: MLOAD
0000290d: SWAP1
0000290e: DUP2
0000290f: SWAP1
00002910: SUB
00002911: PUSH1 0x64
00002913: ADD
00002914: SWAP1
00002915: REVERT
00002916: JUMPDEST
00002917: PUSH1 0x01
00002919: PUSH1 0x01
0000291b: PUSH1 0xa0
0000291d: SHL
0000291e: SUB
0000291f: DUP8
00002920: AND
00002921: PUSH1 0x00
00002923: SWAP1
00002924: DUP2
00002925: MSTORE
00002926: PUSH1 0x07
00002928: PUSH1 0x20
0000292a: MSTORE
0000292b: PUSH1 0x40
0000292d: SWAP1
0000292e: KECCAK256
0000292f: SLOAD
00002930: DUP8
00002931: SWAP1
00002932: ISZERO
00002933: PUSH2 0x297b
00002936: JUMPI
00002937: PUSH1 0x40
00002939: DUP1
0000293a: MLOAD
0000293b: PUSH3 0x461bcd
0000293f: PUSH1 0xe5
00002941: SHL
00002942: DUP2
00002943: MSTORE
00002944: PUSH1 0x20
00002946: PUSH1 0x04
00002948: DUP3
00002949: ADD
0000294a: MSTORE
0000294b: PUSH1 0x15
0000294d: PUSH1 0x24
0000294f: DUP3
00002950: ADD
00002951: MSTORE
00002952: PUSH21 0x10d85b1b195c88125cc8109b1858dadb1a5cdd1959
00002968: PUSH1 0x5a
0000296a: SHL
0000296b: PUSH1 0x44
0000296d: DUP3
0000296e: ADD
0000296f: MSTORE
00002970: SWAP1
00002971: MLOAD
00002972: SWAP1
00002973: DUP2
00002974: SWAP1
00002975: SUB
00002976: PUSH1 0x64
00002978: ADD
00002979: SWAP1
0000297a: REVERT
0000297b: JUMPDEST
0000297c: PUSH1 0x04
0000297e: DUP8
0000297f: DUP2
00002980: SLOAD
00002981: DUP2
00002982: LT
00002983: PUSH2 0x2988
00002986: JUMPI
00002987: INVALID
00002988: JUMPDEST
00002989: PUSH1 0x00
0000298b: SWAP2
0000298c: DUP3
0000298d: MSTORE
0000298e: PUSH1 0x20
00002990: SWAP1
00002991: SWAP2
00002992: KECCAK256
00002993: PUSH1 0x06
00002995: PUSH1 0x07
00002997: SWAP1
00002998: SWAP3
00002999: MUL
0000299a: ADD
0000299b: ADD
0000299c: SLOAD
0000299d: PUSH1 0xff
0000299f: AND
000029a0: PUSH2 0x29e6
000029a3: JUMPI
000029a4: PUSH1 0x40
000029a6: DUP1
000029a7: MLOAD
000029a8: PUSH3 0x461bcd
000029ac: PUSH1 0xe5
000029ae: SHL
000029af: DUP2
000029b0: MSTORE
000029b1: PUSH1 0x20
000029b3: PUSH1 0x04
000029b5: DUP3
000029b6: ADD
000029b7: MSTORE
000029b8: PUSH1 0x13
000029ba: PUSH1 0x24
000029bc: DUP3
000029bd: ADD
000029be: MSTORE
000029bf: PUSH19 0x4469766964656e64206e6f7420616374697665
000029d3: PUSH1 0x68
000029d5: SHL
000029d6: PUSH1 0x44
000029d8: DUP3
000029d9: ADD
000029da: MSTORE
000029db: SWAP1
000029dc: MLOAD
000029dd: SWAP1
000029de: DUP2
000029df: SWAP1
000029e0: SUB
000029e1: PUSH1 0x64
000029e3: ADD
000029e4: SWAP1
000029e5: REVERT
000029e6: JUMPDEST
000029e7: PUSH2 0x29f0
000029ea: DUP8
000029eb: DUP8
000029ec: PUSH2 0x243b
000029ef: JUMP
000029f0: JUMPDEST
000029f1: ISZERO
000029f2: PUSH2 0x2a34
000029f5: JUMPI
000029f6: PUSH1 0x40
000029f8: DUP1
000029f9: MLOAD
000029fa: PUSH3 0x461bcd
000029fe: PUSH1 0xe5
00002a00: SHL
00002a01: DUP2
00002a02: MSTORE
00002a03: PUSH1 0x20
00002a05: PUSH1 0x04
00002a07: DUP3
00002a08: ADD
00002a09: MSTORE
00002a0a: PUSH1 0x0f
00002a0c: PUSH1 0x24
00002a0e: DUP3
00002a0f: ADD
00002a10: MSTORE
00002a11: PUSH15 0x105b1c9958591e4818db185a5b5959
00002a21: PUSH1 0x8a
00002a23: SHL
00002a24: PUSH1 0x44
00002a26: DUP3
00002a27: ADD
00002a28: MSTORE
00002a29: SWAP1
00002a2a: MLOAD
00002a2b: SWAP1
00002a2c: DUP2
00002a2d: SWAP1
00002a2e: SUB
00002a2f: PUSH1 0x64
00002a31: ADD
00002a32: SWAP1
00002a33: REVERT
00002a34: JUMPDEST
00002a35: PUSH1 0x00
00002a37: DUP7
00002a38: DUP10
00002a39: DUP8
00002a3a: DUP11
00002a3b: PUSH1 0x40
00002a3d: MLOAD
00002a3e: PUSH1 0x20
00002a40: ADD
00002a41: DUP1
00002a42: DUP6
00002a43: DUP2
00002a44: MSTORE
00002a45: PUSH1 0x20
00002a47: ADD
00002a48: DUP5
00002a49: PUSH1 0x01
00002a4b: PUSH1 0x01
00002a4d: PUSH1 0xa0
00002a4f: SHL
00002a50: SUB
00002a51: AND
00002a52: PUSH1 0x60
00002a54: SHL
00002a55: DUP2
00002a56: MSTORE
00002a57: PUSH1 0x14
00002a59: ADD
00002a5a: DUP4
00002a5b: DUP2
00002a5c: MSTORE
00002a5d: PUSH1 0x20
00002a5f: ADD
00002a60: DUP3
00002a61: DUP2
00002a62: MSTORE
00002a63: PUSH1 0x20
00002a65: ADD
00002a66: SWAP5
00002a67: POP
00002a68: POP
00002a69: POP
00002a6a: POP
00002a6b: POP
00002a6c: PUSH1 0x40
00002a6e: MLOAD
00002a6f: PUSH1 0x20
00002a71: DUP2
00002a72: DUP4
00002a73: SUB
00002a74: SUB
00002a75: DUP2
00002a76: MSTORE
00002a77: SWAP1
00002a78: PUSH1 0x40
00002a7a: MSTORE
00002a7b: DUP1
00002a7c: MLOAD
00002a7d: SWAP1
00002a7e: PUSH1 0x20
00002a80: ADD
00002a81: KECCAK256
00002a82: SWAP1
00002a83: POP
00002a84: PUSH2 0x2ac9
00002a87: DUP6
00002a88: DUP6
00002a89: DUP1
00002a8a: DUP1
00002a8b: PUSH1 0x20
00002a8d: MUL
00002a8e: PUSH1 0x20
00002a90: ADD
00002a91: PUSH1 0x40
00002a93: MLOAD
00002a94: SWAP1
00002a95: DUP2
00002a96: ADD
00002a97: PUSH1 0x40
00002a99: MSTORE
00002a9a: DUP1
00002a9b: SWAP4
00002a9c: SWAP3
00002a9d: SWAP2
00002a9e: SWAP1
00002a9f: DUP2
00002aa0: DUP2
00002aa1: MSTORE
00002aa2: PUSH1 0x20
00002aa4: ADD
00002aa5: DUP4
00002aa6: DUP4
00002aa7: PUSH1 0x20
00002aa9: MUL
00002aaa: DUP1
00002aab: DUP3
00002aac: DUP5
00002aad: CALLDATACOPY
00002aae: PUSH1 0x00
00002ab0: SWAP3
00002ab1: ADD
00002ab2: SWAP2
00002ab3: SWAP1
00002ab4: SWAP2
00002ab5: MSTORE
00002ab6: POP
00002ab7: POP
00002ab8: PUSH1 0x04
00002aba: DUP1
00002abb: SLOAD
00002abc: SWAP1
00002abd: SWAP3
00002abe: POP
00002abf: DUP13
00002ac0: SWAP2
00002ac1: POP
00002ac2: DUP2
00002ac3: LT
00002ac4: PUSH2 0x2678
00002ac7: JUMPI
00002ac8: INVALID
00002ac9: JUMPDEST
00002aca: PUSH2 0x2b0a
00002acd: JUMPI
00002ace: PUSH1 0x40
00002ad0: DUP1
00002ad1: MLOAD
00002ad2: PUSH3 0x461bcd
00002ad6: PUSH1 0xe5
00002ad8: SHL
00002ad9: DUP2
00002ada: MSTORE
00002adb: PUSH1 0x20
00002add: PUSH1 0x04
00002adf: DUP3
00002ae0: ADD
00002ae1: MSTORE
00002ae2: PUSH1 0x0d
00002ae4: PUSH1 0x24
00002ae6: DUP3
00002ae7: ADD
00002ae8: MSTORE
00002ae9: PUSH13 0x24b73b30b634b210383937b7b3
00002af7: PUSH1 0x99
00002af9: SHL
00002afa: PUSH1 0x44
00002afc: DUP3
00002afd: ADD
00002afe: MSTORE
00002aff: SWAP1
00002b00: MLOAD
00002b01: SWAP1
00002b02: DUP2
00002b03: SWAP1
00002b04: SUB
00002b05: PUSH1 0x64
00002b07: ADD
00002b08: SWAP1
00002b09: REVERT
00002b0a: JUMPDEST
00002b0b: PUSH2 0x2b14
00002b0e: DUP9
00002b0f: DUP9
00002b10: PUSH2 0x2fa4
00002b13: JUMP
00002b14: JUMPDEST
00002b15: PUSH2 0x2b45
00002b18: DUP7
00002b19: PUSH1 0x04
00002b1b: DUP11
00002b1c: DUP2
00002b1d: SLOAD
00002b1e: DUP2
00002b1f: LT
00002b20: PUSH2 0x2b25
00002b23: JUMPI
00002b24: INVALID
00002b25: JUMPDEST
00002b26: SWAP1
00002b27: PUSH1 0x00
00002b29: MSTORE
00002b2a: PUSH1 0x20
00002b2c: PUSH1 0x00
00002b2e: KECCAK256
00002b2f: SWAP1
00002b30: PUSH1 0x07
00002b32: MUL
00002b33: ADD
00002b34: PUSH1 0x05
00002b36: ADD
00002b37: SLOAD
00002b38: PUSH2 0x2dda
00002b3b: SWAP1
00002b3c: SWAP2
00002b3d: SWAP1
00002b3e: PUSH4 0xffffffff
00002b43: AND
00002b44: JUMP
00002b45: JUMPDEST
00002b46: PUSH1 0x04
00002b48: DUP10
00002b49: DUP2
00002b4a: SLOAD
00002b4b: DUP2
00002b4c: LT
00002b4d: PUSH2 0x2b52
00002b50: JUMPI
00002b51: INVALID
00002b52: JUMPDEST
00002b53: SWAP1
00002b54: PUSH1 0x00
00002b56: MSTORE
00002b57: PUSH1 0x20
00002b59: PUSH1 0x00
00002b5b: KECCAK256
00002b5c: SWAP1
00002b5d: PUSH1 0x07
00002b5f: MUL
00002b60: ADD
00002b61: PUSH1 0x05
00002b63: ADD
00002b64: DUP2
00002b65: SWAP1
00002b66: SSTORE
00002b67: POP
00002b68: PUSH1 0x04
00002b6a: DUP9
00002b6b: DUP2
00002b6c: SLOAD
00002b6d: DUP2
00002b6e: LT
00002b6f: PUSH2 0x2b74
00002b72: JUMPI
00002b73: INVALID
00002b74: JUMPDEST
00002b75: SWAP1
00002b76: PUSH1 0x00
00002b78: MSTORE
00002b79: PUSH1 0x20
00002b7b: PUSH1 0x00
00002b7d: KECCAK256
00002b7e: SWAP1
00002b7f: PUSH1 0x07
00002b81: MUL
00002b82: ADD
00002b83: PUSH1 0x03
00002b85: ADD
00002b86: SLOAD
00002b87: PUSH1 0x04
00002b89: DUP10
00002b8a: DUP2
00002b8b: SLOAD
00002b8c: DUP2
00002b8d: LT
00002b8e: PUSH2 0x2b93
00002b91: JUMPI
00002b92: INVALID
00002b93: JUMPDEST
00002b94: SWAP1
00002b95: PUSH1 0x00
00002b97: MSTORE
00002b98: PUSH1 0x20
00002b9a: PUSH1 0x00
00002b9c: KECCAK256
00002b9d: SWAP1
00002b9e: PUSH1 0x07
00002ba0: MUL
00002ba1: ADD
00002ba2: PUSH1 0x05
00002ba4: ADD
00002ba5: SLOAD
00002ba6: GT
00002ba7: ISZERO
00002ba8: PUSH2 0x2bf0
00002bab: JUMPI
00002bac: PUSH1 0x40
00002bae: DUP1
00002baf: MLOAD
00002bb0: PUSH3 0x461bcd
00002bb4: PUSH1 0xe5
00002bb6: SHL
00002bb7: DUP2
00002bb8: MSTORE
00002bb9: PUSH1 0x20
00002bbb: PUSH1 0x04
00002bbd: DUP3
00002bbe: ADD
00002bbf: MSTORE
00002bc0: PUSH1 0x15
00002bc2: PUSH1 0x24
00002bc4: DUP3
00002bc5: ADD
00002bc6: MSTORE
00002bc7: PUSH21 0x2234bb34b232b7321034b99037bb32b9323930bbb7
00002bdd: PUSH1 0x59
00002bdf: SHL
00002be0: PUSH1 0x44
00002be2: DUP3
00002be3: ADD
00002be4: MSTORE
00002be5: SWAP1
00002be6: MLOAD
00002be7: SWAP1
00002be8: DUP2
00002be9: SWAP1
00002bea: SUB
00002beb: PUSH1 0x64
00002bed: ADD
00002bee: SWAP1
00002bef: REVERT
00002bf0: JUMPDEST
00002bf1: PUSH1 0x00
00002bf3: PUSH1 0x01
00002bf5: PUSH1 0x01
00002bf7: PUSH1 0xa0
00002bf9: SHL
00002bfa: SUB
00002bfb: AND
00002bfc: PUSH1 0x04
00002bfe: DUP10
00002bff: DUP2
00002c00: SLOAD
00002c01: DUP2
00002c02: LT
00002c03: PUSH2 0x2c08
00002c06: JUMPI
00002c07: INVALID
00002c08: JUMPDEST
00002c09: PUSH1 0x00
00002c0b: SWAP2
00002c0c: DUP3
00002c0d: MSTORE
00002c0e: PUSH1 0x20
00002c10: SWAP1
00002c11: SWAP2
00002c12: KECCAK256
00002c13: PUSH1 0x02
00002c15: PUSH1 0x07
00002c17: SWAP1
00002c18: SWAP3
00002c19: MUL
00002c1a: ADD
00002c1b: ADD
00002c1c: SLOAD
00002c1d: PUSH1 0x01
00002c1f: PUSH1 0x01
00002c21: PUSH1 0xa0
00002c23: SHL
00002c24: SUB
00002c25: AND
00002c26: EQ
00002c27: ISZERO
00002c28: PUSH2 0x2c67
00002c2b: JUMPI
00002c2c: PUSH1 0x40
00002c2e: MLOAD
00002c2f: PUSH1 0x01
00002c31: PUSH1 0x01
00002c33: PUSH1 0xa0
00002c35: SHL
00002c36: SUB
00002c37: DUP11
00002c38: AND
00002c39: SWAP1
00002c3a: DUP8
00002c3b: ISZERO
00002c3c: PUSH2 0x08fc
00002c3f: MUL
00002c40: SWAP1
00002c41: DUP9
00002c42: SWAP1
00002c43: PUSH1 0x00
00002c45: DUP2
00002c46: DUP2
00002c47: DUP2
00002c48: DUP6
00002c49: DUP9
00002c4a: DUP9
00002c4b: CALL
00002c4c: SWAP4
00002c4d: POP
00002c4e: POP
00002c4f: POP
00002c50: POP
00002c51: ISZERO
00002c52: DUP1
00002c53: ISZERO
00002c54: PUSH2 0x2c61
00002c57: JUMPI
00002c58: RETURNDATASIZE
00002c59: PUSH1 0x00
00002c5b: DUP1
00002c5c: RETURNDATACOPY
00002c5d: RETURNDATASIZE
00002c5e: PUSH1 0x00
00002c60: REVERT
00002c61: JUMPDEST
00002c62: POP
00002c63: PUSH2 0x2d5e
00002c66: JUMP
00002c67: JUMPDEST
00002c68: PUSH1 0x04
00002c6a: DUP9
00002c6b: DUP2
00002c6c: SLOAD
00002c6d: DUP2
00002c6e: LT
00002c6f: PUSH2 0x2c74
00002c72: JUMPI
00002c73: INVALID
00002c74: JUMPDEST
00002c75: SWAP1
00002c76: PUSH1 0x00
00002c78: MSTORE
00002c79: PUSH1 0x20
00002c7b: PUSH1 0x00
00002c7d: KECCAK256
00002c7e: SWAP1
00002c7f: PUSH1 0x07
00002c81: MUL
00002c82: ADD
00002c83: PUSH1 0x02
00002c85: ADD
00002c86: PUSH1 0x00
00002c88: SWAP1
00002c89: SLOAD
00002c8a: SWAP1
00002c8b: PUSH2 0x0100
00002c8e: EXP
00002c8f: SWAP1
00002c90: DIV
00002c91: PUSH1 0x01
00002c93: PUSH1 0x01
00002c95: PUSH1 0xa0
00002c97: SHL
00002c98: SUB
00002c99: AND
00002c9a: PUSH1 0x01
00002c9c: PUSH1 0x01
00002c9e: PUSH1 0xa0
00002ca0: SHL
00002ca1: SUB
00002ca2: AND
00002ca3: PUSH4 0xa9059cbb
00002ca8: DUP11
00002ca9: DUP9
00002caa: PUSH1 0x40
00002cac: MLOAD
00002cad: DUP4
00002cae: PUSH4 0xffffffff
00002cb3: AND
00002cb4: PUSH1 0xe0
00002cb6: SHL
00002cb7: DUP2
00002cb8: MSTORE
00002cb9: PUSH1 0x04
00002cbb: ADD
00002cbc: DUP1
00002cbd: DUP4
00002cbe: PUSH1 0x01
00002cc0: PUSH1 0x01
00002cc2: PUSH1 0xa0
00002cc4: SHL
00002cc5: SUB
00002cc6: AND
00002cc7: DUP2
00002cc8: MSTORE
00002cc9: PUSH1 0x20
00002ccb: ADD
00002ccc: DUP3
00002ccd: DUP2
00002cce: MSTORE
00002ccf: PUSH1 0x20
00002cd1: ADD
00002cd2: SWAP3
00002cd3: POP
00002cd4: POP
00002cd5: POP
00002cd6: PUSH1 0x20
00002cd8: PUSH1 0x40
00002cda: MLOAD
00002cdb: DUP1
00002cdc: DUP4
00002cdd: SUB
00002cde: DUP2
00002cdf: PUSH1 0x00
00002ce1: DUP8
00002ce2: DUP1
00002ce3: EXTCODESIZE
00002ce4: ISZERO
00002ce5: DUP1
00002ce6: ISZERO
00002ce7: PUSH2 0x2cef
00002cea: JUMPI
00002ceb: PUSH1 0x00
00002ced: DUP1
00002cee: REVERT
00002cef: JUMPDEST
00002cf0: POP
00002cf1: GAS
00002cf2: CALL
00002cf3: ISZERO
00002cf4: DUP1
00002cf5: ISZERO
00002cf6: PUSH2 0x2d03
00002cf9: JUMPI
00002cfa: RETURNDATASIZE
00002cfb: PUSH1 0x00
00002cfd: DUP1
00002cfe: RETURNDATACOPY
00002cff: RETURNDATASIZE
00002d00: PUSH1 0x00
00002d02: REVERT
00002d03: JUMPDEST
00002d04: POP
00002d05: POP
00002d06: POP
00002d07: POP
00002d08: PUSH1 0x40
00002d0a: MLOAD
00002d0b: RETURNDATASIZE
00002d0c: PUSH1 0x20
00002d0e: DUP2
00002d0f: LT
00002d10: ISZERO
00002d11: PUSH2 0x2d19
00002d14: JUMPI
00002d15: PUSH1 0x00
00002d17: DUP1
00002d18: REVERT
00002d19: JUMPDEST
00002d1a: POP
00002d1b: MLOAD
00002d1c: PUSH2 0x2d5e
00002d1f: JUMPI
00002d20: PUSH1 0x40
00002d22: DUP1
00002d23: MLOAD
00002d24: PUSH3 0x461bcd
00002d28: PUSH1 0xe5
00002d2a: SHL
00002d2b: DUP2
00002d2c: MSTORE
00002d2d: PUSH1 0x20
00002d2f: PUSH1 0x04
00002d31: DUP3
00002d32: ADD
00002d33: MSTORE
00002d34: PUSH1 0x0f
00002d36: PUSH1 0x24
00002d38: DUP3
00002d39: ADD
00002d3a: MSTORE
00002d3b: PUSH15 0x151c985b9cd9995c8819985a5b1959
00002d4b: PUSH1 0x8a
00002d4d: SHL
00002d4e: PUSH1 0x44
00002d50: DUP3
00002d51: ADD
00002d52: MSTORE
00002d53: SWAP1
00002d54: MLOAD
00002d55: SWAP1
00002d56: DUP2
00002d57: SWAP1
00002d58: SUB
00002d59: PUSH1 0x64
00002d5b: ADD
00002d5c: SWAP1
00002d5d: REVERT
00002d5e: JUMPDEST
00002d5f: DUP7
00002d60: DUP9
00002d61: DUP11
00002d62: PUSH1 0x01
00002d64: PUSH1 0x01
00002d66: PUSH1 0xa0
00002d68: SHL
00002d69: SUB
00002d6a: AND
00002d6b: PUSH32 0xf3421ba6e8e231756fd14c48cd16f2c244608024ec9bd029d0e4abaec423e39e
00002d8c: PUSH1 0x04
00002d8e: DUP13
00002d8f: DUP2
00002d90: SLOAD
00002d91: DUP2
00002d92: LT
00002d93: PUSH2 0x2d98
00002d96: JUMPI
00002d97: INVALID
00002d98: JUMPDEST
00002d99: PUSH1 0x00
00002d9b: SWAP2
00002d9c: DUP3
00002d9d: MSTORE
00002d9e: PUSH1 0x20
00002da0: SWAP2
00002da1: DUP3
00002da2: SWAP1
00002da3: KECCAK256
00002da4: PUSH1 0x02
00002da6: PUSH1 0x07
00002da8: SWAP1
00002da9: SWAP3
00002daa: MUL
00002dab: ADD
00002dac: ADD
00002dad: SLOAD
00002dae: PUSH1 0x40
00002db0: DUP1
00002db1: MLOAD
00002db2: PUSH1 0x01
00002db4: PUSH1 0x01
00002db6: PUSH1 0xa0
00002db8: SHL
00002db9: SUB
00002dba: SWAP1
00002dbb: SWAP3
00002dbc: AND
00002dbd: DUP3
00002dbe: MSTORE
00002dbf: SWAP2
00002dc0: DUP2
00002dc1: ADD
00002dc2: DUP13
00002dc3: SWAP1
00002dc4: MSTORE
00002dc5: DUP2
00002dc6: MLOAD
00002dc7: SWAP1
00002dc8: DUP2
00002dc9: SWAP1
00002dca: SUB
00002dcb: SWAP1
00002dcc: SWAP2
00002dcd: ADD
00002dce: SWAP1
00002dcf: LOG4
00002dd0: POP
00002dd1: POP
00002dd2: POP
00002dd3: POP
00002dd4: POP
00002dd5: POP
00002dd6: POP
00002dd7: POP
00002dd8: POP
00002dd9: JUMP
00002dda: JUMPDEST
00002ddb: PUSH1 0x00
00002ddd: DUP3
00002dde: DUP3
00002ddf: ADD
00002de0: DUP4
00002de1: DUP2
00002de2: LT
00002de3: ISZERO
00002de4: PUSH2 0x2e34
00002de7: JUMPI
00002de8: PUSH1 0x40
00002dea: DUP1
00002deb: MLOAD
00002dec: PUSH3 0x461bcd
00002df0: PUSH1 0xe5
00002df2: SHL
00002df3: DUP2
00002df4: MSTORE
00002df5: PUSH1 0x20
00002df7: PUSH1 0x04
00002df9: DUP3
00002dfa: ADD
00002dfb: MSTORE
00002dfc: PUSH1 0x1b
00002dfe: PUSH1 0x24
00002e00: DUP3
00002e01: ADD
00002e02: MSTORE
00002e03: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00002e24: PUSH1 0x44
00002e26: DUP3
00002e27: ADD
00002e28: MSTORE
00002e29: SWAP1
00002e2a: MLOAD
00002e2b: SWAP1
00002e2c: DUP2
00002e2d: SWAP1
00002e2e: SUB
00002e2f: PUSH1 0x64
00002e31: ADD
00002e32: SWAP1
00002e33: REVERT
00002e34: JUMPDEST
00002e35: SWAP4
00002e36: SWAP3
00002e37: POP
00002e38: POP
00002e39: POP
00002e3a: JUMP
00002e3b: JUMPDEST
00002e3c: PUSH1 0x00
00002e3e: DUP3
00002e3f: PUSH2 0x2e4a
00002e42: JUMPI
00002e43: POP
00002e44: PUSH1 0x00
00002e46: PUSH2 0x2465
00002e49: JUMP
00002e4a: JUMPDEST
00002e4b: DUP3
00002e4c: DUP3
00002e4d: MUL
00002e4e: DUP3
00002e4f: DUP5
00002e50: DUP3
00002e51: DUP2
00002e52: PUSH2 0x2e57
00002e55: JUMPI
00002e56: INVALID
00002e57: JUMPDEST
00002e58: DIV
00002e59: EQ
00002e5a: PUSH2 0x2e34
00002e5d: JUMPI
00002e5e: PUSH1 0x40
00002e60: MLOAD
00002e61: PUSH3 0x461bcd
00002e65: PUSH1 0xe5
00002e67: SHL
00002e68: DUP2
00002e69: MSTORE
00002e6a: PUSH1 0x04
00002e6c: ADD
00002e6d: DUP1
00002e6e: DUP1
00002e6f: PUSH1 0x20
00002e71: ADD
00002e72: DUP3
00002e73: DUP2
00002e74: SUB
00002e75: DUP3
00002e76: MSTORE
00002e77: PUSH1 0x21
00002e79: DUP2
00002e7a: MSTORE
00002e7b: PUSH1 0x20
00002e7d: ADD
00002e7e: DUP1
00002e7f: PUSH2 0x3026
00002e82: PUSH1 0x21
00002e84: SWAP2
00002e85: CODECOPY
00002e86: PUSH1 0x40
00002e88: ADD
00002e89: SWAP2
00002e8a: POP
00002e8b: POP
00002e8c: PUSH1 0x40
00002e8e: MLOAD
00002e8f: DUP1
00002e90: SWAP2
00002e91: SUB
00002e92: SWAP1
00002e93: REVERT
00002e94: JUMPDEST
00002e95: PUSH1 0x00
00002e97: DUP1
00002e98: DUP3
00002e99: GT
00002e9a: PUSH2 0x2eea
00002e9d: JUMPI
00002e9e: PUSH1 0x40
00002ea0: DUP1
00002ea1: MLOAD
00002ea2: PUSH3 0x461bcd
00002ea6: PUSH1 0xe5
00002ea8: SHL
00002ea9: DUP2
00002eaa: MSTORE
00002eab: PUSH1 0x20
00002ead: PUSH1 0x04
00002eaf: DUP3
00002eb0: ADD
00002eb1: MSTORE
00002eb2: PUSH1 0x1a
00002eb4: PUSH1 0x24
00002eb6: DUP3
00002eb7: ADD
00002eb8: MSTORE
00002eb9: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00002eda: PUSH1 0x44
00002edc: DUP3
00002edd: ADD
00002ede: MSTORE
00002edf: SWAP1
00002ee0: MLOAD
00002ee1: SWAP1
00002ee2: DUP2
00002ee3: SWAP1
00002ee4: SUB
00002ee5: PUSH1 0x64
00002ee7: ADD
00002ee8: SWAP1
00002ee9: REVERT
00002eea: JUMPDEST
00002eeb: DUP2
00002eec: DUP4
00002eed: DUP2
00002eee: PUSH2 0x2ef3
00002ef1: JUMPI
00002ef2: INVALID
00002ef3: JUMPDEST
00002ef4: DIV
00002ef5: SWAP4
00002ef6: SWAP3
00002ef7: POP
00002ef8: POP
00002ef9: POP
00002efa: JUMP
00002efb: JUMPDEST
00002efc: PUSH1 0x00
00002efe: DUP2
00002eff: DUP2
00002f00: JUMPDEST
00002f01: DUP6
00002f02: MLOAD
00002f03: DUP2
00002f04: LT
00002f05: ISZERO
00002f06: PUSH2 0x2f99
00002f09: JUMPI
00002f0a: PUSH1 0x00
00002f0c: DUP7
00002f0d: DUP3
00002f0e: DUP2
00002f0f: MLOAD
00002f10: DUP2
00002f11: LT
00002f12: PUSH2 0x2f17
00002f15: JUMPI
00002f16: INVALID
00002f17: JUMPDEST
00002f18: PUSH1 0x20
00002f1a: MUL
00002f1b: PUSH1 0x20
00002f1d: ADD
00002f1e: ADD
00002f1f: MLOAD
00002f20: SWAP1
00002f21: POP
00002f22: DUP1
00002f23: DUP4
00002f24: GT
00002f25: PUSH2 0x2f5e
00002f28: JUMPI
00002f29: DUP3
00002f2a: DUP2
00002f2b: PUSH1 0x40
00002f2d: MLOAD
00002f2e: PUSH1 0x20
00002f30: ADD
00002f31: DUP1
00002f32: DUP4
00002f33: DUP2
00002f34: MSTORE
00002f35: PUSH1 0x20
00002f37: ADD
00002f38: DUP3
00002f39: DUP2
00002f3a: MSTORE
00002f3b: PUSH1 0x20
00002f3d: ADD
00002f3e: SWAP3
00002f3f: POP
00002f40: POP
00002f41: POP
00002f42: PUSH1 0x40
00002f44: MLOAD
00002f45: PUSH1 0x20
00002f47: DUP2
00002f48: DUP4
00002f49: SUB
00002f4a: SUB
00002f4b: DUP2
00002f4c: MSTORE
00002f4d: SWAP1
00002f4e: PUSH1 0x40
00002f50: MSTORE
00002f51: DUP1
00002f52: MLOAD
00002f53: SWAP1
00002f54: PUSH1 0x20
00002f56: ADD
00002f57: KECCAK256
00002f58: SWAP3
00002f59: POP
00002f5a: PUSH2 0x2f90
00002f5d: JUMP
00002f5e: JUMPDEST
00002f5f: DUP1
00002f60: DUP4
00002f61: PUSH1 0x40
00002f63: MLOAD
00002f64: PUSH1 0x20
00002f66: ADD
00002f67: DUP1
00002f68: DUP4
00002f69: DUP2
00002f6a: MSTORE
00002f6b: PUSH1 0x20
00002f6d: ADD
00002f6e: DUP3
00002f6f: DUP2
00002f70: MSTORE
00002f71: PUSH1 0x20
00002f73: ADD
00002f74: SWAP3
00002f75: POP
00002f76: POP
00002f77: POP
00002f78: PUSH1 0x40
00002f7a: MLOAD
00002f7b: PUSH1 0x20
00002f7d: DUP2
00002f7e: DUP4
00002f7f: SUB
00002f80: SUB
00002f81: DUP2
00002f82: MSTORE
00002f83: SWAP1
00002f84: PUSH1 0x40
00002f86: MSTORE
00002f87: DUP1
00002f88: MLOAD
00002f89: SWAP1
00002f8a: PUSH1 0x20
00002f8c: ADD
00002f8d: KECCAK256
00002f8e: SWAP3
00002f8f: POP
00002f90: JUMPDEST
00002f91: POP
00002f92: PUSH1 0x01
00002f94: ADD
00002f95: PUSH2 0x2f00
00002f98: JUMP
00002f99: JUMPDEST
00002f9a: POP
00002f9b: SWAP1
00002f9c: SWAP3
00002f9d: EQ
00002f9e: SWAP4
00002f9f: SWAP3
00002fa0: POP
00002fa1: POP
00002fa2: POP
00002fa3: JUMP
00002fa4: JUMPDEST
00002fa5: PUSH1 0x00
00002fa7: SWAP2
00002fa8: DUP3
00002fa9: MSTORE
00002faa: PUSH1 0x05
00002fac: PUSH1 0x20
00002fae: SWAP1
00002faf: DUP2
00002fb0: MSTORE
00002fb1: PUSH1 0x40
00002fb3: DUP1
00002fb4: DUP5
00002fb5: KECCAK256
00002fb6: PUSH2 0x0100
00002fb9: DUP5
00002fba: DIV
00002fbb: DUP6
00002fbc: MSTORE
00002fbd: SWAP1
00002fbe: SWAP2
00002fbf: MSTORE
00002fc0: SWAP1
00002fc1: SWAP2
00002fc2: KECCAK256
00002fc3: DUP1
00002fc4: SLOAD
00002fc5: PUSH1 0x01
00002fc7: PUSH1 0xff
00002fc9: SWAP1
00002fca: SWAP4
00002fcb: AND
00002fcc: SWAP3
00002fcd: SWAP1
00002fce: SWAP3
00002fcf: SHL
00002fd0: SWAP1
00002fd1: SWAP2
00002fd2: OR
00002fd3: SWAP1
00002fd4: SSTORE
00002fd5: JUMP
00002fd6: INVALID
00002fd7: UNKNOWN(0x4F)
00002fd8: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520
00002ff1: PUSH27 0x65726f20616464726573734e6f74204f776e65722c205370656374
0000300d: PUSH19 0x6557616c6c6574204f72204c69717569646974
00003021: PUSH26 0x506f6f6c536166654d6174683a206d756c7469706c6963617469
0000303c: PUSH16 0x6e206f766572666c6f774f776e61626c
0000304d: PUSH6 0x3a2063616c6c
00003054: PUSH6 0x72206973206e
0000305b: PUSH16 0x7420746865206f776e65724469766964
0000306c: PUSH6 0x6e6420686173
00003073: KECCAK256
00003074: PUSH2 0x6c72
00003077: PUSH6 0x616479206265
0000307e: PUSH6 0x6e207265636c
00003085: PUSH2 0x696d
00003088: PUSH6 0x64a264697066
0000308f: PUSH20 0x582212209e058d278f45aa363982e9d82a52d497
000030a4: LOG4
000030a5: JUMPI
000030a6: CREATE2
000030a7: UNKNOWN(0xEB)
000030a8: LOG2
000030a9: PUSH26
View stderr 
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xbc2dcc88ebbe307b78d1376ccf2aaab611a9cd3f0a6cba9ae83e0e68ea94c045
call_targets: 0x85d6e6e680b0a6db68ec557dc860abbc061f8c0d
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xbc2dcc88ebbe307b78d1376ccf2aaab611a9cd3f0a6cba9ae83e0e68ea94c045",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x85d6e6e680b0a6db68ec557dc860abbc061f8c0d"
    ],
    "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": "0xe1f8d223",
            "selector": "0xe1f8d223",
            "calldata_variants": [
                "0xe1f8d223",
                "0xe1f8d2230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xea25e176",
            "selector": "0xea25e176",
            "calldata_variants": [
                "0xea25e176",
                "0xea25e1760000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf364c90c",
            "selector": "0xf364c90c",
            "calldata_variants": [
                "0xf364c90c",
                "0xf364c90c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb33b7cea",
            "selector": "0xb33b7cea",
            "calldata_variants": [
                "0xb33b7cea",
                "0xb33b7cea0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc6e73f5f",
            "selector": "0xc6e73f5f",
            "calldata_variants": [
                "0xc6e73f5f",
                "0xc6e73f5f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcf7fbe9d",
            "selector": "0xcf7fbe9d",
            "calldata_variants": [
                "0xcf7fbe9d",
                "0xcf7fbe9d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9e7e2346",
            "selector": "0x9e7e2346",
            "calldata_variants": [
                "0x9e7e2346",
                "0x9e7e23460000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 5870,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5992,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6751,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [],
    "untrusted_call_count": 5
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xbc2dcc88ebbe307b78d1376ccf2aaab611a9cd3f0a6cba9ae83e0e68ea94c045
call_targets: 0x85d6e6e680b0a6db68ec557dc860abbc061f8c0d
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xbc2dcc88ebbe307b78d1376ccf2aaab611a9cd3f0a6cba9ae83e0e68ea94c045",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x85d6e6e680b0a6db68ec557dc860abbc061f8c0d"
    ],
    "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": "0xe1f8d223",
            "selector": "0xe1f8d223",
            "calldata_variants": [
                "0xe1f8d223",
                "0xe1f8d2230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xea25e176",
            "selector": "0xea25e176",
            "calldata_variants": [
                "0xea25e176",
                "0xea25e1760000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf364c90c",
            "selector": "0xf364c90c",
            "calldata_variants": [
                "0xf364c90c",
                "0xf364c90c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb33b7cea",
            "selector": "0xb33b7cea",
            "calldata_variants": [
                "0xb33b7cea",
                "0xb33b7cea0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc6e73f5f",
            "selector": "0xc6e73f5f",
            "calldata_variants": [
                "0xc6e73f5f",
                "0xc6e73f5f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcf7fbe9d",
            "selector": "0xcf7fbe9d",
            "calldata_variants": [
                "0xcf7fbe9d",
                "0xcf7fbe9d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9e7e2346",
            "selector": "0x9e7e2346",
            "calldata_variants": [
                "0x9e7e2346",
                "0x9e7e23460000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 5870,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5992,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6751,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": []
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0x7439c764917242fd8fc5abfe1e5c7f35232fce1b5e9aa5e58bcd4066f0d6f76f
validation_json 
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x7439c764917242fd8fc5abfe1e5c7f35232fce1b5e9aa5e58bcd4066f0d6f76f",
    "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": "0xe1f8d223",
            "selector": "0xe1f8d223",
            "calldata_variants": [
                "0xe1f8d223",
                "0xe1f8d2230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xea25e176",
            "selector": "0xea25e176",
            "calldata_variants": [
                "0xea25e176",
                "0xea25e1760000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf364c90c",
            "selector": "0xf364c90c",
            "calldata_variants": [
                "0xf364c90c",
                "0xf364c90c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb33b7cea",
            "selector": "0xb33b7cea",
            "calldata_variants": [
                "0xb33b7cea",
                "0xb33b7cea0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc6e73f5f",
            "selector": "0xc6e73f5f",
            "calldata_variants": [
                "0xc6e73f5f",
                "0xc6e73f5f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcf7fbe9d",
            "selector": "0xcf7fbe9d",
            "calldata_variants": [
                "0xcf7fbe9d",
                "0xcf7fbe9d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9e7e2346",
            "selector": "0x9e7e2346",
            "calldata_variants": [
                "0x9e7e2346",
                "0x9e7e23460000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "create_count": 0,
    "create2_count": 1
}