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

Analysis Run

019b477e-c573-7313-893c-7d3f015cd656

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

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
25583 artifact.fetch complete 1 / 3 3 months ago
25584 tool.cast_disasm complete 1 / 3 3 months ago
68782 analysis.bundle complete 1 / 3 1 week ago
68783 capability.graph complete 1 / 3 1 week ago
68784 detector.run complete 1 / 3 1 week ago
68785 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
3
EXT*/BALANCE
5
Total opcodes
7737
Flags
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 0x0140
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x6e726862
00000019: GT
0000001a: PUSH2 0x00b6
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa0712d68
00000024: GT
00000025: PUSH2 0x006f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xa0712d68
0000002f: EQ
00000030: PUSH2 0x0475
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xa22cb465
0000003a: EQ
0000003b: PUSH2 0x0491
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xb88d4fde
00000045: EQ
00000046: PUSH2 0x04ba
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xc87b56dd
00000050: EQ
00000051: PUSH2 0x04e3
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xd98bb087
0000005b: EQ
0000005c: PUSH2 0x0520
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xe985e9c5
00000066: EQ
00000067: PUSH2 0x055d
0000006a: JUMPI
0000006b: PUSH2 0x0140
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0x6e726862
00000076: EQ
00000077: PUSH2 0x0372
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x70a08231
00000081: EQ
00000082: PUSH2 0x03af
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x853828b6
0000008c: EQ
0000008d: PUSH2 0x03ec
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x893d20e8
00000097: EQ
00000098: PUSH2 0x0403
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0x8ffbe96b
000000a2: EQ
000000a3: PUSH2 0x042e
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0x95d89b41
000000ad: EQ
000000ae: PUSH2 0x044a
000000b1: JUMPI
000000b2: PUSH2 0x0140
000000b5: JUMP
000000b6: JUMPDEST
000000b7: DUP1
000000b8: PUSH4 0x23b872dd
000000bd: GT
000000be: PUSH2 0x0108
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x23b872dd
000000c8: EQ
000000c9: PUSH2 0x023e
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x2f745c59
000000d3: EQ
000000d4: PUSH2 0x0267
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x42842e0e
000000de: EQ
000000df: PUSH2 0x02a4
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x4b94f50e
000000e9: EQ
000000ea: PUSH2 0x02cd
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0x4f6ccce7
000000f4: EQ
000000f5: PUSH2 0x02f8
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0x6352211e
000000ff: EQ
00000100: PUSH2 0x0335
00000103: JUMPI
00000104: PUSH2 0x0140
00000107: JUMP
00000108: JUMPDEST
00000109: DUP1
0000010a: PUSH4 0x01ffc9a7
0000010f: EQ
00000110: PUSH2 0x0145
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x06fdde03
0000011a: EQ
0000011b: PUSH2 0x0182
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x081812fc
00000125: EQ
00000126: PUSH2 0x01ad
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x095ea7b3
00000130: EQ
00000131: PUSH2 0x01ea
00000134: JUMPI
00000135: DUP1
00000136: PUSH4 0x18160ddd
0000013b: EQ
0000013c: PUSH2 0x0213
0000013f: JUMPI
00000140: JUMPDEST
00000141: PUSH1 0x00
00000143: DUP1
00000144: REVERT
00000145: JUMPDEST
00000146: CALLVALUE
00000147: DUP1
00000148: ISZERO
00000149: PUSH2 0x0151
0000014c: JUMPI
0000014d: PUSH1 0x00
0000014f: DUP1
00000150: REVERT
00000151: JUMPDEST
00000152: POP
00000153: PUSH2 0x016c
00000156: PUSH1 0x04
00000158: DUP1
00000159: CALLDATASIZE
0000015a: SUB
0000015b: DUP2
0000015c: ADD
0000015d: SWAP1
0000015e: PUSH2 0x0167
00000161: SWAP2
00000162: SWAP1
00000163: PUSH2 0x29ef
00000166: JUMP
00000167: JUMPDEST
00000168: PUSH2 0x059a
0000016b: JUMP
0000016c: JUMPDEST
0000016d: PUSH1 0x40
0000016f: MLOAD
00000170: PUSH2 0x0179
00000173: SWAP2
00000174: SWAP1
00000175: PUSH2 0x2ed5
00000178: JUMP
00000179: JUMPDEST
0000017a: PUSH1 0x40
0000017c: MLOAD
0000017d: DUP1
0000017e: SWAP2
0000017f: SUB
00000180: SWAP1
00000181: RETURN
00000182: JUMPDEST
00000183: CALLVALUE
00000184: DUP1
00000185: ISZERO
00000186: PUSH2 0x018e
00000189: JUMPI
0000018a: PUSH1 0x00
0000018c: DUP1
0000018d: REVERT
0000018e: JUMPDEST
0000018f: POP
00000190: PUSH2 0x0197
00000193: PUSH2 0x05ac
00000196: JUMP
00000197: JUMPDEST
00000198: PUSH1 0x40
0000019a: MLOAD
0000019b: PUSH2 0x01a4
0000019e: SWAP2
0000019f: SWAP1
000001a0: PUSH2 0x2ef0
000001a3: JUMP
000001a4: JUMPDEST
000001a5: PUSH1 0x40
000001a7: MLOAD
000001a8: DUP1
000001a9: SWAP2
000001aa: SUB
000001ab: SWAP1
000001ac: RETURN
000001ad: JUMPDEST
000001ae: CALLVALUE
000001af: DUP1
000001b0: ISZERO
000001b1: PUSH2 0x01b9
000001b4: JUMPI
000001b5: PUSH1 0x00
000001b7: DUP1
000001b8: REVERT
000001b9: JUMPDEST
000001ba: POP
000001bb: PUSH2 0x01d4
000001be: PUSH1 0x04
000001c0: DUP1
000001c1: CALLDATASIZE
000001c2: SUB
000001c3: DUP2
000001c4: ADD
000001c5: SWAP1
000001c6: PUSH2 0x01cf
000001c9: SWAP2
000001ca: SWAP1
000001cb: PUSH2 0x2a41
000001ce: JUMP
000001cf: JUMPDEST
000001d0: PUSH2 0x063e
000001d3: JUMP
000001d4: JUMPDEST
000001d5: PUSH1 0x40
000001d7: MLOAD
000001d8: PUSH2 0x01e1
000001db: SWAP2
000001dc: SWAP1
000001dd: PUSH2 0x2e6e
000001e0: JUMP
000001e1: JUMPDEST
000001e2: PUSH1 0x40
000001e4: MLOAD
000001e5: DUP1
000001e6: SWAP2
000001e7: SUB
000001e8: SWAP1
000001e9: RETURN
000001ea: JUMPDEST
000001eb: CALLVALUE
000001ec: DUP1
000001ed: ISZERO
000001ee: PUSH2 0x01f6
000001f1: JUMPI
000001f2: PUSH1 0x00
000001f4: DUP1
000001f5: REVERT
000001f6: JUMPDEST
000001f7: POP
000001f8: PUSH2 0x0211
000001fb: PUSH1 0x04
000001fd: DUP1
000001fe: CALLDATASIZE
000001ff: SUB
00000200: DUP2
00000201: ADD
00000202: SWAP1
00000203: PUSH2 0x020c
00000206: SWAP2
00000207: SWAP1
00000208: PUSH2 0x2972
0000020b: JUMP
0000020c: JUMPDEST
0000020d: PUSH2 0x06c3
00000210: JUMP
00000211: JUMPDEST
00000212: STOP
00000213: JUMPDEST
00000214: CALLVALUE
00000215: DUP1
00000216: ISZERO
00000217: PUSH2 0x021f
0000021a: JUMPI
0000021b: PUSH1 0x00
0000021d: DUP1
0000021e: REVERT
0000021f: JUMPDEST
00000220: POP
00000221: PUSH2 0x0228
00000224: PUSH2 0x07db
00000227: JUMP
00000228: JUMPDEST
00000229: PUSH1 0x40
0000022b: MLOAD
0000022c: PUSH2 0x0235
0000022f: SWAP2
00000230: SWAP1
00000231: PUSH2 0x31b2
00000234: JUMP
00000235: JUMPDEST
00000236: PUSH1 0x40
00000238: MLOAD
00000239: DUP1
0000023a: SWAP2
0000023b: SUB
0000023c: SWAP1
0000023d: RETURN
0000023e: JUMPDEST
0000023f: CALLVALUE
00000240: DUP1
00000241: ISZERO
00000242: PUSH2 0x024a
00000245: JUMPI
00000246: PUSH1 0x00
00000248: DUP1
00000249: REVERT
0000024a: JUMPDEST
0000024b: POP
0000024c: PUSH2 0x0265
0000024f: PUSH1 0x04
00000251: DUP1
00000252: CALLDATASIZE
00000253: SUB
00000254: DUP2
00000255: ADD
00000256: SWAP1
00000257: PUSH2 0x0260
0000025a: SWAP2
0000025b: SWAP1
0000025c: PUSH2 0x286c
0000025f: JUMP
00000260: JUMPDEST
00000261: PUSH2 0x07e8
00000264: JUMP
00000265: JUMPDEST
00000266: STOP
00000267: JUMPDEST
00000268: CALLVALUE
00000269: DUP1
0000026a: ISZERO
0000026b: PUSH2 0x0273
0000026e: JUMPI
0000026f: PUSH1 0x00
00000271: DUP1
00000272: REVERT
00000273: JUMPDEST
00000274: POP
00000275: PUSH2 0x028e
00000278: PUSH1 0x04
0000027a: DUP1
0000027b: CALLDATASIZE
0000027c: SUB
0000027d: DUP2
0000027e: ADD
0000027f: SWAP1
00000280: PUSH2 0x0289
00000283: SWAP2
00000284: SWAP1
00000285: PUSH2 0x2972
00000288: JUMP
00000289: JUMPDEST
0000028a: PUSH2 0x0848
0000028d: JUMP
0000028e: JUMPDEST
0000028f: PUSH1 0x40
00000291: MLOAD
00000292: PUSH2 0x029b
00000295: SWAP2
00000296: SWAP1
00000297: PUSH2 0x31b2
0000029a: JUMP
0000029b: JUMPDEST
0000029c: PUSH1 0x40
0000029e: MLOAD
0000029f: DUP1
000002a0: SWAP2
000002a1: SUB
000002a2: SWAP1
000002a3: RETURN
000002a4: JUMPDEST
000002a5: CALLVALUE
000002a6: DUP1
000002a7: ISZERO
000002a8: PUSH2 0x02b0
000002ab: JUMPI
000002ac: PUSH1 0x00
000002ae: DUP1
000002af: REVERT
000002b0: JUMPDEST
000002b1: POP
000002b2: PUSH2 0x02cb
000002b5: PUSH1 0x04
000002b7: DUP1
000002b8: CALLDATASIZE
000002b9: SUB
000002ba: DUP2
000002bb: ADD
000002bc: SWAP1
000002bd: PUSH2 0x02c6
000002c0: SWAP2
000002c1: SWAP1
000002c2: PUSH2 0x286c
000002c5: JUMP
000002c6: JUMPDEST
000002c7: PUSH2 0x08ed
000002ca: JUMP
000002cb: JUMPDEST
000002cc: STOP
000002cd: JUMPDEST
000002ce: CALLVALUE
000002cf: DUP1
000002d0: ISZERO
000002d1: PUSH2 0x02d9
000002d4: JUMPI
000002d5: PUSH1 0x00
000002d7: DUP1
000002d8: REVERT
000002d9: JUMPDEST
000002da: POP
000002db: PUSH2 0x02e2
000002de: PUSH2 0x090d
000002e1: JUMP
000002e2: JUMPDEST
000002e3: PUSH1 0x40
000002e5: MLOAD
000002e6: PUSH2 0x02ef
000002e9: SWAP2
000002ea: SWAP1
000002eb: PUSH2 0x31b2
000002ee: JUMP
000002ef: JUMPDEST
000002f0: PUSH1 0x40
000002f2: MLOAD
000002f3: DUP1
000002f4: SWAP2
000002f5: SUB
000002f6: SWAP1
000002f7: RETURN
000002f8: JUMPDEST
000002f9: CALLVALUE
000002fa: DUP1
000002fb: ISZERO
000002fc: PUSH2 0x0304
000002ff: JUMPI
00000300: PUSH1 0x00
00000302: DUP1
00000303: REVERT
00000304: JUMPDEST
00000305: POP
00000306: PUSH2 0x031f
00000309: PUSH1 0x04
0000030b: DUP1
0000030c: CALLDATASIZE
0000030d: SUB
0000030e: DUP2
0000030f: ADD
00000310: SWAP1
00000311: PUSH2 0x031a
00000314: SWAP2
00000315: SWAP1
00000316: PUSH2 0x2a41
00000319: JUMP
0000031a: JUMPDEST
0000031b: PUSH2 0x091d
0000031e: JUMP
0000031f: JUMPDEST
00000320: PUSH1 0x40
00000322: MLOAD
00000323: PUSH2 0x032c
00000326: SWAP2
00000327: SWAP1
00000328: PUSH2 0x31b2
0000032b: JUMP
0000032c: JUMPDEST
0000032d: PUSH1 0x40
0000032f: MLOAD
00000330: DUP1
00000331: SWAP2
00000332: SUB
00000333: SWAP1
00000334: RETURN
00000335: JUMPDEST
00000336: CALLVALUE
00000337: DUP1
00000338: ISZERO
00000339: PUSH2 0x0341
0000033c: JUMPI
0000033d: PUSH1 0x00
0000033f: DUP1
00000340: REVERT
00000341: JUMPDEST
00000342: POP
00000343: PUSH2 0x035c
00000346: PUSH1 0x04
00000348: DUP1
00000349: CALLDATASIZE
0000034a: SUB
0000034b: DUP2
0000034c: ADD
0000034d: SWAP1
0000034e: PUSH2 0x0357
00000351: SWAP2
00000352: SWAP1
00000353: PUSH2 0x2a41
00000356: JUMP
00000357: JUMPDEST
00000358: PUSH2 0x09b4
0000035b: JUMP
0000035c: JUMPDEST
0000035d: PUSH1 0x40
0000035f: MLOAD
00000360: PUSH2 0x0369
00000363: SWAP2
00000364: SWAP1
00000365: PUSH2 0x2e6e
00000368: JUMP
00000369: JUMPDEST
0000036a: PUSH1 0x40
0000036c: MLOAD
0000036d: DUP1
0000036e: SWAP2
0000036f: SUB
00000370: SWAP1
00000371: RETURN
00000372: JUMPDEST
00000373: CALLVALUE
00000374: DUP1
00000375: ISZERO
00000376: PUSH2 0x037e
00000379: JUMPI
0000037a: PUSH1 0x00
0000037c: DUP1
0000037d: REVERT
0000037e: JUMPDEST
0000037f: POP
00000380: PUSH2 0x0399
00000383: PUSH1 0x04
00000385: DUP1
00000386: CALLDATASIZE
00000387: SUB
00000388: DUP2
00000389: ADD
0000038a: SWAP1
0000038b: PUSH2 0x0394
0000038e: SWAP2
0000038f: SWAP1
00000390: PUSH2 0x2a41
00000393: JUMP
00000394: JUMPDEST
00000395: PUSH2 0x0a66
00000398: JUMP
00000399: JUMPDEST
0000039a: PUSH1 0x40
0000039c: MLOAD
0000039d: PUSH2 0x03a6
000003a0: SWAP2
000003a1: SWAP1
000003a2: PUSH2 0x2ed5
000003a5: JUMP
000003a6: JUMPDEST
000003a7: PUSH1 0x40
000003a9: MLOAD
000003aa: DUP1
000003ab: SWAP2
000003ac: SUB
000003ad: SWAP1
000003ae: RETURN
000003af: JUMPDEST
000003b0: CALLVALUE
000003b1: DUP1
000003b2: ISZERO
000003b3: PUSH2 0x03bb
000003b6: JUMPI
000003b7: PUSH1 0x00
000003b9: DUP1
000003ba: REVERT
000003bb: JUMPDEST
000003bc: POP
000003bd: PUSH2 0x03d6
000003c0: PUSH1 0x04
000003c2: DUP1
000003c3: CALLDATASIZE
000003c4: SUB
000003c5: DUP2
000003c6: ADD
000003c7: SWAP1
000003c8: PUSH2 0x03d1
000003cb: SWAP2
000003cc: SWAP1
000003cd: PUSH2 0x27de
000003d0: JUMP
000003d1: JUMPDEST
000003d2: PUSH2 0x0a87
000003d5: JUMP
000003d6: JUMPDEST
000003d7: PUSH1 0x40
000003d9: MLOAD
000003da: PUSH2 0x03e3
000003dd: SWAP2
000003de: SWAP1
000003df: PUSH2 0x31b2
000003e2: JUMP
000003e3: JUMPDEST
000003e4: PUSH1 0x40
000003e6: MLOAD
000003e7: DUP1
000003e8: SWAP2
000003e9: SUB
000003ea: SWAP1
000003eb: RETURN
000003ec: JUMPDEST
000003ed: CALLVALUE
000003ee: DUP1
000003ef: ISZERO
000003f0: PUSH2 0x03f8
000003f3: JUMPI
000003f4: PUSH1 0x00
000003f6: DUP1
000003f7: REVERT
000003f8: JUMPDEST
000003f9: POP
000003fa: PUSH2 0x0401
000003fd: PUSH2 0x0b3f
00000400: JUMP
00000401: JUMPDEST
00000402: STOP
00000403: JUMPDEST
00000404: CALLVALUE
00000405: DUP1
00000406: ISZERO
00000407: PUSH2 0x040f
0000040a: JUMPI
0000040b: PUSH1 0x00
0000040d: DUP1
0000040e: REVERT
0000040f: JUMPDEST
00000410: POP
00000411: PUSH2 0x0418
00000414: PUSH2 0x0bab
00000417: JUMP
00000418: JUMPDEST
00000419: PUSH1 0x40
0000041b: MLOAD
0000041c: PUSH2 0x0425
0000041f: SWAP2
00000420: SWAP1
00000421: PUSH2 0x2e6e
00000424: JUMP
00000425: JUMPDEST
00000426: PUSH1 0x40
00000428: MLOAD
00000429: DUP1
0000042a: SWAP2
0000042b: SUB
0000042c: SWAP1
0000042d: RETURN
0000042e: JUMPDEST
0000042f: PUSH2 0x0448
00000432: PUSH1 0x04
00000434: DUP1
00000435: CALLDATASIZE
00000436: SUB
00000437: DUP2
00000438: ADD
00000439: SWAP1
0000043a: PUSH2 0x0443
0000043d: SWAP2
0000043e: SWAP1
0000043f: PUSH2 0x29ae
00000442: JUMP
00000443: JUMPDEST
00000444: PUSH2 0x0bd6
00000447: JUMP
00000448: JUMPDEST
00000449: STOP
0000044a: JUMPDEST
0000044b: CALLVALUE
0000044c: DUP1
0000044d: ISZERO
0000044e: PUSH2 0x0456
00000451: JUMPI
00000452: PUSH1 0x00
00000454: DUP1
00000455: REVERT
00000456: JUMPDEST
00000457: POP
00000458: PUSH2 0x045f
0000045b: PUSH2 0x0cb4
0000045e: JUMP
0000045f: JUMPDEST
00000460: PUSH1 0x40
00000462: MLOAD
00000463: PUSH2 0x046c
00000466: SWAP2
00000467: SWAP1
00000468: PUSH2 0x2ef0
0000046b: JUMP
0000046c: JUMPDEST
0000046d: PUSH1 0x40
0000046f: MLOAD
00000470: DUP1
00000471: SWAP2
00000472: SUB
00000473: SWAP1
00000474: RETURN
00000475: JUMPDEST
00000476: PUSH2 0x048f
00000479: PUSH1 0x04
0000047b: DUP1
0000047c: CALLDATASIZE
0000047d: SUB
0000047e: DUP2
0000047f: ADD
00000480: SWAP1
00000481: PUSH2 0x048a
00000484: SWAP2
00000485: SWAP1
00000486: PUSH2 0x2a41
00000489: JUMP
0000048a: JUMPDEST
0000048b: PUSH2 0x0d46
0000048e: JUMP
0000048f: JUMPDEST
00000490: STOP
00000491: JUMPDEST
00000492: CALLVALUE
00000493: DUP1
00000494: ISZERO
00000495: PUSH2 0x049d
00000498: JUMPI
00000499: PUSH1 0x00
0000049b: DUP1
0000049c: REVERT
0000049d: JUMPDEST
0000049e: POP
0000049f: PUSH2 0x04b8
000004a2: PUSH1 0x04
000004a4: DUP1
000004a5: CALLDATASIZE
000004a6: SUB
000004a7: DUP2
000004a8: ADD
000004a9: SWAP1
000004aa: PUSH2 0x04b3
000004ad: SWAP2
000004ae: SWAP1
000004af: PUSH2 0x2936
000004b2: JUMP
000004b3: JUMPDEST
000004b4: PUSH2 0x0db8
000004b7: JUMP
000004b8: JUMPDEST
000004b9: STOP
000004ba: JUMPDEST
000004bb: CALLVALUE
000004bc: DUP1
000004bd: ISZERO
000004be: PUSH2 0x04c6
000004c1: JUMPI
000004c2: PUSH1 0x00
000004c4: DUP1
000004c5: REVERT
000004c6: JUMPDEST
000004c7: POP
000004c8: PUSH2 0x04e1
000004cb: PUSH1 0x04
000004cd: DUP1
000004ce: CALLDATASIZE
000004cf: SUB
000004d0: DUP2
000004d1: ADD
000004d2: SWAP1
000004d3: PUSH2 0x04dc
000004d6: SWAP2
000004d7: SWAP1
000004d8: PUSH2 0x28bb
000004db: JUMP
000004dc: JUMPDEST
000004dd: PUSH2 0x0dce
000004e0: JUMP
000004e1: JUMPDEST
000004e2: STOP
000004e3: JUMPDEST
000004e4: CALLVALUE
000004e5: DUP1
000004e6: ISZERO
000004e7: PUSH2 0x04ef
000004ea: JUMPI
000004eb: PUSH1 0x00
000004ed: DUP1
000004ee: REVERT
000004ef: JUMPDEST
000004f0: POP
000004f1: PUSH2 0x050a
000004f4: PUSH1 0x04
000004f6: DUP1
000004f7: CALLDATASIZE
000004f8: SUB
000004f9: DUP2
000004fa: ADD
000004fb: SWAP1
000004fc: PUSH2 0x0505
000004ff: SWAP2
00000500: SWAP1
00000501: PUSH2 0x2a41
00000504: JUMP
00000505: JUMPDEST
00000506: PUSH2 0x0e30
00000509: JUMP
0000050a: JUMPDEST
0000050b: PUSH1 0x40
0000050d: MLOAD
0000050e: PUSH2 0x0517
00000511: SWAP2
00000512: SWAP1
00000513: PUSH2 0x2ef0
00000516: JUMP
00000517: JUMPDEST
00000518: PUSH1 0x40
0000051a: MLOAD
0000051b: DUP1
0000051c: SWAP2
0000051d: SUB
0000051e: SWAP1
0000051f: RETURN
00000520: JUMPDEST
00000521: CALLVALUE
00000522: DUP1
00000523: ISZERO
00000524: PUSH2 0x052c
00000527: JUMPI
00000528: PUSH1 0x00
0000052a: DUP1
0000052b: REVERT
0000052c: JUMPDEST
0000052d: POP
0000052e: PUSH2 0x0547
00000531: PUSH1 0x04
00000533: DUP1
00000534: CALLDATASIZE
00000535: SUB
00000536: DUP2
00000537: ADD
00000538: SWAP1
00000539: PUSH2 0x0542
0000053c: SWAP2
0000053d: SWAP1
0000053e: PUSH2 0x2a41
00000541: JUMP
00000542: JUMPDEST
00000543: PUSH2 0x0e42
00000546: JUMP
00000547: JUMPDEST
00000548: PUSH1 0x40
0000054a: MLOAD
0000054b: PUSH2 0x0554
0000054e: SWAP2
0000054f: SWAP1
00000550: PUSH2 0x31b2
00000553: JUMP
00000554: JUMPDEST
00000555: PUSH1 0x40
00000557: MLOAD
00000558: DUP1
00000559: SWAP2
0000055a: SUB
0000055b: SWAP1
0000055c: RETURN
0000055d: JUMPDEST
0000055e: CALLVALUE
0000055f: DUP1
00000560: ISZERO
00000561: PUSH2 0x0569
00000564: JUMPI
00000565: PUSH1 0x00
00000567: DUP1
00000568: REVERT
00000569: JUMPDEST
0000056a: POP
0000056b: PUSH2 0x0584
0000056e: PUSH1 0x04
00000570: DUP1
00000571: CALLDATASIZE
00000572: SUB
00000573: DUP2
00000574: ADD
00000575: SWAP1
00000576: PUSH2 0x057f
00000579: SWAP2
0000057a: SWAP1
0000057b: PUSH2 0x2830
0000057e: JUMP
0000057f: JUMPDEST
00000580: PUSH2 0x0e88
00000583: JUMP
00000584: JUMPDEST
00000585: PUSH1 0x40
00000587: MLOAD
00000588: PUSH2 0x0591
0000058b: SWAP2
0000058c: SWAP1
0000058d: PUSH2 0x2ed5
00000590: JUMP
00000591: JUMPDEST
00000592: PUSH1 0x40
00000594: MLOAD
00000595: DUP1
00000596: SWAP2
00000597: SUB
00000598: SWAP1
00000599: RETURN
0000059a: JUMPDEST
0000059b: PUSH1 0x00
0000059d: PUSH2 0x05a5
000005a0: DUP3
000005a1: PUSH2 0x0f1c
000005a4: JUMP
000005a5: JUMPDEST
000005a6: SWAP1
000005a7: POP
000005a8: SWAP2
000005a9: SWAP1
000005aa: POP
000005ab: JUMP
000005ac: JUMPDEST
000005ad: PUSH1 0x60
000005af: PUSH1 0x00
000005b1: DUP1
000005b2: SLOAD
000005b3: PUSH2 0x05bb
000005b6: SWAP1
000005b7: PUSH2 0x345d
000005ba: JUMP
000005bb: JUMPDEST
000005bc: DUP1
000005bd: PUSH1 0x1f
000005bf: ADD
000005c0: PUSH1 0x20
000005c2: DUP1
000005c3: SWAP2
000005c4: DIV
000005c5: MUL
000005c6: PUSH1 0x20
000005c8: ADD
000005c9: PUSH1 0x40
000005cb: MLOAD
000005cc: SWAP1
000005cd: DUP2
000005ce: ADD
000005cf: PUSH1 0x40
000005d1: MSTORE
000005d2: DUP1
000005d3: SWAP3
000005d4: SWAP2
000005d5: SWAP1
000005d6: DUP2
000005d7: DUP2
000005d8: MSTORE
000005d9: PUSH1 0x20
000005db: ADD
000005dc: DUP3
000005dd: DUP1
000005de: SLOAD
000005df: PUSH2 0x05e7
000005e2: SWAP1
000005e3: PUSH2 0x345d
000005e6: JUMP
000005e7: JUMPDEST
000005e8: DUP1
000005e9: ISZERO
000005ea: PUSH2 0x0634
000005ed: JUMPI
000005ee: DUP1
000005ef: PUSH1 0x1f
000005f1: LT
000005f2: PUSH2 0x0609
000005f5: JUMPI
000005f6: PUSH2 0x0100
000005f9: DUP1
000005fa: DUP4
000005fb: SLOAD
000005fc: DIV
000005fd: MUL
000005fe: DUP4
000005ff: MSTORE
00000600: SWAP2
00000601: PUSH1 0x20
00000603: ADD
00000604: SWAP2
00000605: PUSH2 0x0634
00000608: JUMP
00000609: JUMPDEST
0000060a: DUP3
0000060b: ADD
0000060c: SWAP2
0000060d: SWAP1
0000060e: PUSH1 0x00
00000610: MSTORE
00000611: PUSH1 0x20
00000613: PUSH1 0x00
00000615: KECCAK256
00000616: SWAP1
00000617: JUMPDEST
00000618: DUP2
00000619: SLOAD
0000061a: DUP2
0000061b: MSTORE
0000061c: SWAP1
0000061d: PUSH1 0x01
0000061f: ADD
00000620: SWAP1
00000621: PUSH1 0x20
00000623: ADD
00000624: DUP1
00000625: DUP4
00000626: GT
00000627: PUSH2 0x0617
0000062a: JUMPI
0000062b: DUP3
0000062c: SWAP1
0000062d: SUB
0000062e: PUSH1 0x1f
00000630: AND
00000631: DUP3
00000632: ADD
00000633: SWAP2
00000634: JUMPDEST
00000635: POP
00000636: POP
00000637: POP
00000638: POP
00000639: POP
0000063a: SWAP1
0000063b: POP
0000063c: SWAP1
0000063d: JUMP
0000063e: JUMPDEST
0000063f: PUSH1 0x00
00000641: PUSH2 0x0649
00000644: DUP3
00000645: PUSH2 0x0f96
00000648: JUMP
00000649: JUMPDEST
0000064a: PUSH2 0x0688
0000064d: JUMPI
0000064e: PUSH1 0x40
00000650: MLOAD
00000651: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000672: DUP2
00000673: MSTORE
00000674: PUSH1 0x04
00000676: ADD
00000677: PUSH2 0x067f
0000067a: SWAP1
0000067b: PUSH2 0x30f2
0000067e: JUMP
0000067f: JUMPDEST
00000680: PUSH1 0x40
00000682: MLOAD
00000683: DUP1
00000684: SWAP2
00000685: SUB
00000686: SWAP1
00000687: REVERT
00000688: JUMPDEST
00000689: PUSH1 0x04
0000068b: PUSH1 0x00
0000068d: DUP4
0000068e: DUP2
0000068f: MSTORE
00000690: PUSH1 0x20
00000692: ADD
00000693: SWAP1
00000694: DUP2
00000695: MSTORE
00000696: PUSH1 0x20
00000698: ADD
00000699: PUSH1 0x00
0000069b: KECCAK256
0000069c: PUSH1 0x00
0000069e: SWAP1
0000069f: SLOAD
000006a0: SWAP1
000006a1: PUSH2 0x0100
000006a4: EXP
000006a5: SWAP1
000006a6: DIV
000006a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006bc: AND
000006bd: SWAP1
000006be: POP
000006bf: SWAP2
000006c0: SWAP1
000006c1: POP
000006c2: JUMP
000006c3: JUMPDEST
000006c4: PUSH1 0x00
000006c6: PUSH2 0x06ce
000006c9: DUP3
000006ca: PUSH2 0x09b4
000006cd: JUMP
000006ce: JUMPDEST
000006cf: SWAP1
000006d0: POP
000006d1: DUP1
000006d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006e7: AND
000006e8: DUP4
000006e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006fe: AND
000006ff: EQ
00000700: ISZERO
00000701: PUSH2 0x073f
00000704: JUMPI
00000705: PUSH1 0x40
00000707: MLOAD
00000708: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000729: DUP2
0000072a: MSTORE
0000072b: PUSH1 0x04
0000072d: ADD
0000072e: PUSH2 0x0736
00000731: SWAP1
00000732: PUSH2 0x3152
00000735: JUMP
00000736: JUMPDEST
00000737: PUSH1 0x40
00000739: MLOAD
0000073a: DUP1
0000073b: SWAP2
0000073c: SUB
0000073d: SWAP1
0000073e: REVERT
0000073f: JUMPDEST
00000740: DUP1
00000741: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000756: AND
00000757: PUSH2 0x075e
0000075a: PUSH2 0x1002
0000075d: JUMP
0000075e: JUMPDEST
0000075f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000774: AND
00000775: EQ
00000776: DUP1
00000777: PUSH2 0x078d
0000077a: JUMPI
0000077b: POP
0000077c: PUSH2 0x078c
0000077f: DUP2
00000780: PUSH2 0x0787
00000783: PUSH2 0x1002
00000786: JUMP
00000787: JUMPDEST
00000788: PUSH2 0x0e88
0000078b: JUMP
0000078c: JUMPDEST
0000078d: JUMPDEST
0000078e: PUSH2 0x07cc
00000791: JUMPI
00000792: PUSH1 0x40
00000794: MLOAD
00000795: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000007b6: DUP2
000007b7: MSTORE
000007b8: PUSH1 0x04
000007ba: ADD
000007bb: PUSH2 0x07c3
000007be: SWAP1
000007bf: PUSH2 0x3012
000007c2: JUMP
000007c3: JUMPDEST
000007c4: PUSH1 0x40
000007c6: MLOAD
000007c7: DUP1
000007c8: SWAP2
000007c9: SUB
000007ca: SWAP1
000007cb: REVERT
000007cc: JUMPDEST
000007cd: PUSH2 0x07d6
000007d0: DUP4
000007d1: DUP4
000007d2: PUSH2 0x100a
000007d5: JUMP
000007d6: JUMPDEST
000007d7: POP
000007d8: POP
000007d9: POP
000007da: JUMP
000007db: JUMPDEST
000007dc: PUSH1 0x00
000007de: PUSH1 0x09
000007e0: DUP1
000007e1: SLOAD
000007e2: SWAP1
000007e3: POP
000007e4: SWAP1
000007e5: POP
000007e6: SWAP1
000007e7: JUMP
000007e8: JUMPDEST
000007e9: PUSH2 0x07f9
000007ec: PUSH2 0x07f3
000007ef: PUSH2 0x1002
000007f2: JUMP
000007f3: JUMPDEST
000007f4: DUP3
000007f5: PUSH2 0x10c3
000007f8: JUMP
000007f9: JUMPDEST
000007fa: PUSH2 0x0838
000007fd: JUMPI
000007fe: PUSH1 0x40
00000800: MLOAD
00000801: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000822: DUP2
00000823: MSTORE
00000824: PUSH1 0x04
00000826: ADD
00000827: PUSH2 0x082f
0000082a: SWAP1
0000082b: PUSH2 0x3172
0000082e: JUMP
0000082f: JUMPDEST
00000830: PUSH1 0x40
00000832: MLOAD
00000833: DUP1
00000834: SWAP2
00000835: SUB
00000836: SWAP1
00000837: REVERT
00000838: JUMPDEST
00000839: PUSH2 0x0843
0000083c: DUP4
0000083d: DUP4
0000083e: DUP4
0000083f: PUSH2 0x11a1
00000842: JUMP
00000843: JUMPDEST
00000844: POP
00000845: POP
00000846: POP
00000847: JUMP
00000848: JUMPDEST
00000849: PUSH1 0x00
0000084b: PUSH2 0x0853
0000084e: DUP4
0000084f: PUSH2 0x0a87
00000852: JUMP
00000853: JUMPDEST
00000854: DUP3
00000855: LT
00000856: PUSH2 0x0894
00000859: JUMPI
0000085a: PUSH1 0x40
0000085c: MLOAD
0000085d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000087e: DUP2
0000087f: MSTORE
00000880: PUSH1 0x04
00000882: ADD
00000883: PUSH2 0x088b
00000886: SWAP1
00000887: PUSH2 0x2f32
0000088a: JUMP
0000088b: JUMPDEST
0000088c: PUSH1 0x40
0000088e: MLOAD
0000088f: DUP1
00000890: SWAP2
00000891: SUB
00000892: SWAP1
00000893: REVERT
00000894: JUMPDEST
00000895: PUSH1 0x07
00000897: PUSH1 0x00
00000899: DUP5
0000089a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008af: AND
000008b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008c5: AND
000008c6: DUP2
000008c7: MSTORE
000008c8: PUSH1 0x20
000008ca: ADD
000008cb: SWAP1
000008cc: DUP2
000008cd: MSTORE
000008ce: PUSH1 0x20
000008d0: ADD
000008d1: PUSH1 0x00
000008d3: KECCAK256
000008d4: PUSH1 0x00
000008d6: DUP4
000008d7: DUP2
000008d8: MSTORE
000008d9: PUSH1 0x20
000008db: ADD
000008dc: SWAP1
000008dd: DUP2
000008de: MSTORE
000008df: PUSH1 0x20
000008e1: ADD
000008e2: PUSH1 0x00
000008e4: KECCAK256
000008e5: SLOAD
000008e6: SWAP1
000008e7: POP
000008e8: SWAP3
000008e9: SWAP2
000008ea: POP
000008eb: POP
000008ec: JUMP
000008ed: JUMPDEST
000008ee: PUSH2 0x0908
000008f1: DUP4
000008f2: DUP4
000008f3: DUP4
000008f4: PUSH1 0x40
000008f6: MLOAD
000008f7: DUP1
000008f8: PUSH1 0x20
000008fa: ADD
000008fb: PUSH1 0x40
000008fd: MSTORE
000008fe: DUP1
000008ff: PUSH1 0x00
00000901: DUP2
00000902: MSTORE
00000903: POP
00000904: PUSH2 0x0dce
00000907: JUMP
00000908: JUMPDEST
00000909: POP
0000090a: POP
0000090b: POP
0000090c: JUMP
0000090d: JUMPDEST
0000090e: PUSH1 0x00
00000910: PUSH8 0x0494654067e10000
00000919: SWAP1
0000091a: POP
0000091b: SWAP1
0000091c: JUMP
0000091d: JUMPDEST
0000091e: PUSH1 0x00
00000920: PUSH2 0x0927
00000923: PUSH2 0x07db
00000926: JUMP
00000927: JUMPDEST
00000928: DUP3
00000929: LT
0000092a: PUSH2 0x0968
0000092d: JUMPI
0000092e: PUSH1 0x40
00000930: MLOAD
00000931: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000952: DUP2
00000953: MSTORE
00000954: PUSH1 0x04
00000956: ADD
00000957: PUSH2 0x095f
0000095a: SWAP1
0000095b: PUSH2 0x3192
0000095e: JUMP
0000095f: JUMPDEST
00000960: PUSH1 0x40
00000962: MLOAD
00000963: DUP1
00000964: SWAP2
00000965: SUB
00000966: SWAP1
00000967: REVERT
00000968: JUMPDEST
00000969: PUSH1 0x09
0000096b: DUP3
0000096c: DUP2
0000096d: SLOAD
0000096e: DUP2
0000096f: LT
00000970: PUSH2 0x09a2
00000973: JUMPI
00000974: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000995: PUSH1 0x00
00000997: MSTORE
00000998: PUSH1 0x32
0000099a: PUSH1 0x04
0000099c: MSTORE
0000099d: PUSH1 0x24
0000099f: PUSH1 0x00
000009a1: REVERT
000009a2: JUMPDEST
000009a3: SWAP1
000009a4: PUSH1 0x00
000009a6: MSTORE
000009a7: PUSH1 0x20
000009a9: PUSH1 0x00
000009ab: KECCAK256
000009ac: ADD
000009ad: SLOAD
000009ae: SWAP1
000009af: POP
000009b0: SWAP2
000009b1: SWAP1
000009b2: POP
000009b3: JUMP
000009b4: JUMPDEST
000009b5: PUSH1 0x00
000009b7: DUP1
000009b8: PUSH1 0x02
000009ba: PUSH1 0x00
000009bc: DUP5
000009bd: DUP2
000009be: MSTORE
000009bf: PUSH1 0x20
000009c1: ADD
000009c2: SWAP1
000009c3: DUP2
000009c4: MSTORE
000009c5: PUSH1 0x20
000009c7: ADD
000009c8: PUSH1 0x00
000009ca: KECCAK256
000009cb: PUSH1 0x00
000009cd: SWAP1
000009ce: SLOAD
000009cf: SWAP1
000009d0: PUSH2 0x0100
000009d3: EXP
000009d4: SWAP1
000009d5: DIV
000009d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009eb: AND
000009ec: SWAP1
000009ed: POP
000009ee: PUSH1 0x00
000009f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a05: AND
00000a06: DUP2
00000a07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a1c: AND
00000a1d: EQ
00000a1e: ISZERO
00000a1f: PUSH2 0x0a5d
00000a22: JUMPI
00000a23: PUSH1 0x40
00000a25: MLOAD
00000a26: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a47: DUP2
00000a48: MSTORE
00000a49: PUSH1 0x04
00000a4b: ADD
00000a4c: PUSH2 0x0a54
00000a4f: SWAP1
00000a50: PUSH2 0x3052
00000a53: JUMP
00000a54: JUMPDEST
00000a55: PUSH1 0x40
00000a57: MLOAD
00000a58: DUP1
00000a59: SWAP2
00000a5a: SUB
00000a5b: SWAP1
00000a5c: REVERT
00000a5d: JUMPDEST
00000a5e: DUP1
00000a5f: SWAP2
00000a60: POP
00000a61: POP
00000a62: SWAP2
00000a63: SWAP1
00000a64: POP
00000a65: JUMP
00000a66: JUMPDEST
00000a67: PUSH2 0x271b
00000a6a: PUSH1 0x20
00000a6c: MSTORE
00000a6d: DUP1
00000a6e: PUSH1 0x00
00000a70: MSTORE
00000a71: PUSH1 0x40
00000a73: PUSH1 0x00
00000a75: KECCAK256
00000a76: PUSH1 0x00
00000a78: SWAP2
00000a79: POP
00000a7a: SLOAD
00000a7b: SWAP1
00000a7c: PUSH2 0x0100
00000a7f: EXP
00000a80: SWAP1
00000a81: DIV
00000a82: PUSH1 0xff
00000a84: AND
00000a85: DUP2
00000a86: JUMP
00000a87: JUMPDEST
00000a88: PUSH1 0x00
00000a8a: DUP1
00000a8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aa0: AND
00000aa1: DUP3
00000aa2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ab7: AND
00000ab8: EQ
00000ab9: ISZERO
00000aba: PUSH2 0x0af8
00000abd: JUMPI
00000abe: PUSH1 0x40
00000ac0: MLOAD
00000ac1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ae2: DUP2
00000ae3: MSTORE
00000ae4: PUSH1 0x04
00000ae6: ADD
00000ae7: PUSH2 0x0aef
00000aea: SWAP1
00000aeb: PUSH2 0x3032
00000aee: JUMP
00000aef: JUMPDEST
00000af0: PUSH1 0x40
00000af2: MLOAD
00000af3: DUP1
00000af4: SWAP2
00000af5: SUB
00000af6: SWAP1
00000af7: REVERT
00000af8: JUMPDEST
00000af9: PUSH1 0x03
00000afb: PUSH1 0x00
00000afd: DUP4
00000afe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b13: AND
00000b14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b29: AND
00000b2a: DUP2
00000b2b: MSTORE
00000b2c: PUSH1 0x20
00000b2e: ADD
00000b2f: SWAP1
00000b30: DUP2
00000b31: MSTORE
00000b32: PUSH1 0x20
00000b34: ADD
00000b35: PUSH1 0x00
00000b37: KECCAK256
00000b38: SLOAD
00000b39: SWAP1
00000b3a: POP
00000b3b: SWAP2
00000b3c: SWAP1
00000b3d: POP
00000b3e: JUMP
00000b3f: JUMPDEST
00000b40: PUSH2 0x271c
00000b43: PUSH1 0x00
00000b45: SWAP1
00000b46: SLOAD
00000b47: SWAP1
00000b48: PUSH2 0x0100
00000b4b: EXP
00000b4c: SWAP1
00000b4d: DIV
00000b4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b63: AND
00000b64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b79: AND
00000b7a: PUSH2 0x08fc
00000b7d: SELFBALANCE
00000b7e: SWAP1
00000b7f: DUP2
00000b80: ISZERO
00000b81: MUL
00000b82: SWAP1
00000b83: PUSH1 0x40
00000b85: MLOAD
00000b86: PUSH1 0x00
00000b88: PUSH1 0x40
00000b8a: MLOAD
00000b8b: DUP1
00000b8c: DUP4
00000b8d: SUB
00000b8e: DUP2
00000b8f: DUP6
00000b90: DUP9
00000b91: DUP9
00000b92: CALL
00000b93: SWAP4
00000b94: POP
00000b95: POP
00000b96: POP
00000b97: POP
00000b98: ISZERO
00000b99: DUP1
00000b9a: ISZERO
00000b9b: PUSH2 0x0ba8
00000b9e: JUMPI
00000b9f: RETURNDATASIZE
00000ba0: PUSH1 0x00
00000ba2: DUP1
00000ba3: RETURNDATACOPY
00000ba4: RETURNDATASIZE
00000ba5: PUSH1 0x00
00000ba7: REVERT
00000ba8: JUMPDEST
00000ba9: POP
00000baa: JUMP
00000bab: JUMPDEST
00000bac: PUSH1 0x00
00000bae: PUSH2 0x271c
00000bb1: PUSH1 0x00
00000bb3: SWAP1
00000bb4: SLOAD
00000bb5: SWAP1
00000bb6: PUSH2 0x0100
00000bb9: EXP
00000bba: SWAP1
00000bbb: DIV
00000bbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bd1: AND
00000bd2: SWAP1
00000bd3: POP
00000bd4: SWAP1
00000bd5: JUMP
00000bd6: JUMPDEST
00000bd7: DUP1
00000bd8: MLOAD
00000bd9: PUSH8 0x0494654067e10000
00000be2: PUSH2 0x0beb
00000be5: SWAP2
00000be6: SWAP1
00000be7: PUSH2 0x3319
00000bea: JUMP
00000beb: JUMPDEST
00000bec: CALLVALUE
00000bed: LT
00000bee: ISZERO
00000bef: PUSH2 0x0c2d
00000bf2: JUMPI
00000bf3: PUSH1 0x40
00000bf5: MLOAD
00000bf6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c17: DUP2
00000c18: MSTORE
00000c19: PUSH1 0x04
00000c1b: ADD
00000c1c: PUSH2 0x0c24
00000c1f: SWAP1
00000c20: PUSH2 0x2f12
00000c23: JUMP
00000c24: JUMPDEST
00000c25: PUSH1 0x40
00000c27: MLOAD
00000c28: DUP1
00000c29: SWAP2
00000c2a: SUB
00000c2b: SWAP1
00000c2c: REVERT
00000c2d: JUMPDEST
00000c2e: PUSH1 0x00
00000c30: PUSH20 0xb47e3cd837ddf8e4c57f05d70ab865de6e193bbb
00000c45: SWAP1
00000c46: POP
00000c47: PUSH1 0x00
00000c49: JUMPDEST
00000c4a: DUP3
00000c4b: MLOAD
00000c4c: DUP2
00000c4d: LT
00000c4e: ISZERO
00000c4f: PUSH2 0x0caf
00000c52: JUMPI
00000c53: PUSH2 0x0c9c
00000c56: DUP3
00000c57: DUP5
00000c58: DUP4
00000c59: DUP2
00000c5a: MLOAD
00000c5b: DUP2
00000c5c: LT
00000c5d: PUSH2 0x0c8f
00000c60: JUMPI
00000c61: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000c82: PUSH1 0x00
00000c84: MSTORE
00000c85: PUSH1 0x32
00000c87: PUSH1 0x04
00000c89: MSTORE
00000c8a: PUSH1 0x24
00000c8c: PUSH1 0x00
00000c8e: REVERT
00000c8f: JUMPDEST
00000c90: PUSH1 0x20
00000c92: MUL
00000c93: PUSH1 0x20
00000c95: ADD
00000c96: ADD
00000c97: MLOAD
00000c98: PUSH2 0x13fd
00000c9b: JUMP
00000c9c: JUMPDEST
00000c9d: DUP1
00000c9e: DUP1
00000c9f: PUSH2 0x0ca7
00000ca2: SWAP1
00000ca3: PUSH2 0x34c0
00000ca6: JUMP
00000ca7: JUMPDEST
00000ca8: SWAP2
00000ca9: POP
00000caa: POP
00000cab: PUSH2 0x0c49
00000cae: JUMP
00000caf: JUMPDEST
00000cb0: POP
00000cb1: POP
00000cb2: POP
00000cb3: JUMP
00000cb4: JUMPDEST
00000cb5: PUSH1 0x60
00000cb7: PUSH1 0x01
00000cb9: DUP1
00000cba: SLOAD
00000cbb: PUSH2 0x0cc3
00000cbe: SWAP1
00000cbf: PUSH2 0x345d
00000cc2: JUMP
00000cc3: JUMPDEST
00000cc4: DUP1
00000cc5: PUSH1 0x1f
00000cc7: ADD
00000cc8: PUSH1 0x20
00000cca: DUP1
00000ccb: SWAP2
00000ccc: DIV
00000ccd: MUL
00000cce: PUSH1 0x20
00000cd0: ADD
00000cd1: PUSH1 0x40
00000cd3: MLOAD
00000cd4: SWAP1
00000cd5: DUP2
00000cd6: ADD
00000cd7: PUSH1 0x40
00000cd9: MSTORE
00000cda: DUP1
00000cdb: SWAP3
00000cdc: SWAP2
00000cdd: SWAP1
00000cde: DUP2
00000cdf: DUP2
00000ce0: MSTORE
00000ce1: PUSH1 0x20
00000ce3: ADD
00000ce4: DUP3
00000ce5: DUP1
00000ce6: SLOAD
00000ce7: PUSH2 0x0cef
00000cea: SWAP1
00000ceb: PUSH2 0x345d
00000cee: JUMP
00000cef: JUMPDEST
00000cf0: DUP1
00000cf1: ISZERO
00000cf2: PUSH2 0x0d3c
00000cf5: JUMPI
00000cf6: DUP1
00000cf7: PUSH1 0x1f
00000cf9: LT
00000cfa: PUSH2 0x0d11
00000cfd: JUMPI
00000cfe: PUSH2 0x0100
00000d01: DUP1
00000d02: DUP4
00000d03: SLOAD
00000d04: DIV
00000d05: MUL
00000d06: DUP4
00000d07: MSTORE
00000d08: SWAP2
00000d09: PUSH1 0x20
00000d0b: ADD
00000d0c: SWAP2
00000d0d: PUSH2 0x0d3c
00000d10: JUMP
00000d11: JUMPDEST
00000d12: DUP3
00000d13: ADD
00000d14: SWAP2
00000d15: SWAP1
00000d16: PUSH1 0x00
00000d18: MSTORE
00000d19: PUSH1 0x20
00000d1b: PUSH1 0x00
00000d1d: KECCAK256
00000d1e: SWAP1
00000d1f: JUMPDEST
00000d20: DUP2
00000d21: SLOAD
00000d22: DUP2
00000d23: MSTORE
00000d24: SWAP1
00000d25: PUSH1 0x01
00000d27: ADD
00000d28: SWAP1
00000d29: PUSH1 0x20
00000d2b: ADD
00000d2c: DUP1
00000d2d: DUP4
00000d2e: GT
00000d2f: PUSH2 0x0d1f
00000d32: JUMPI
00000d33: DUP3
00000d34: SWAP1
00000d35: SUB
00000d36: PUSH1 0x1f
00000d38: AND
00000d39: DUP3
00000d3a: ADD
00000d3b: SWAP2
00000d3c: JUMPDEST
00000d3d: POP
00000d3e: POP
00000d3f: POP
00000d40: POP
00000d41: POP
00000d42: SWAP1
00000d43: POP
00000d44: SWAP1
00000d45: JUMP
00000d46: JUMPDEST
00000d47: PUSH8 0x0494654067e10000
00000d50: CALLVALUE
00000d51: LT
00000d52: ISZERO
00000d53: PUSH2 0x0d91
00000d56: JUMPI
00000d57: PUSH1 0x40
00000d59: MLOAD
00000d5a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d7b: DUP2
00000d7c: MSTORE
00000d7d: PUSH1 0x04
00000d7f: ADD
00000d80: PUSH2 0x0d88
00000d83: SWAP1
00000d84: PUSH2 0x2f12
00000d87: JUMP
00000d88: JUMPDEST
00000d89: PUSH1 0x40
00000d8b: MLOAD
00000d8c: DUP1
00000d8d: SWAP2
00000d8e: SUB
00000d8f: SWAP1
00000d90: REVERT
00000d91: JUMPDEST
00000d92: PUSH1 0x00
00000d94: PUSH20 0xb47e3cd837ddf8e4c57f05d70ab865de6e193bbb
00000da9: SWAP1
00000daa: POP
00000dab: PUSH2 0x0db4
00000dae: DUP2
00000daf: DUP4
00000db0: PUSH2 0x13fd
00000db3: JUMP
00000db4: JUMPDEST
00000db5: POP
00000db6: POP
00000db7: JUMP
00000db8: JUMPDEST
00000db9: PUSH2 0x0dca
00000dbc: PUSH2 0x0dc3
00000dbf: PUSH2 0x1002
00000dc2: JUMP
00000dc3: JUMPDEST
00000dc4: DUP4
00000dc5: DUP4
00000dc6: PUSH2 0x1660
00000dc9: JUMP
00000dca: JUMPDEST
00000dcb: POP
00000dcc: POP
00000dcd: JUMP
00000dce: JUMPDEST
00000dcf: PUSH2 0x0ddf
00000dd2: PUSH2 0x0dd9
00000dd5: PUSH2 0x1002
00000dd8: JUMP
00000dd9: JUMPDEST
00000dda: DUP4
00000ddb: PUSH2 0x10c3
00000dde: JUMP
00000ddf: JUMPDEST
00000de0: PUSH2 0x0e1e
00000de3: JUMPI
00000de4: PUSH1 0x40
00000de6: MLOAD
00000de7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e08: DUP2
00000e09: MSTORE
00000e0a: PUSH1 0x04
00000e0c: ADD
00000e0d: PUSH2 0x0e15
00000e10: SWAP1
00000e11: PUSH2 0x3172
00000e14: JUMP
00000e15: JUMPDEST
00000e16: PUSH1 0x40
00000e18: MLOAD
00000e19: DUP1
00000e1a: SWAP2
00000e1b: SUB
00000e1c: SWAP1
00000e1d: REVERT
00000e1e: JUMPDEST
00000e1f: PUSH2 0x0e2a
00000e22: DUP5
00000e23: DUP5
00000e24: DUP5
00000e25: DUP5
00000e26: PUSH2 0x17cd
00000e29: JUMP
00000e2a: JUMPDEST
00000e2b: POP
00000e2c: POP
00000e2d: POP
00000e2e: POP
00000e2f: JUMP
00000e30: JUMPDEST
00000e31: PUSH1 0x60
00000e33: PUSH2 0x0e3b
00000e36: DUP3
00000e37: PUSH2 0x1829
00000e3a: JUMP
00000e3b: JUMPDEST
00000e3c: SWAP1
00000e3d: POP
00000e3e: SWAP2
00000e3f: SWAP1
00000e40: POP
00000e41: JUMP
00000e42: JUMPDEST
00000e43: PUSH1 0x00
00000e45: PUSH1 0x0b
00000e47: DUP3
00000e48: PUSH2 0x2710
00000e4b: DUP2
00000e4c: LT
00000e4d: PUSH2 0x0e7f
00000e50: JUMPI
00000e51: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000e72: PUSH1 0x00
00000e74: MSTORE
00000e75: PUSH1 0x32
00000e77: PUSH1 0x04
00000e79: MSTORE
00000e7a: PUSH1 0x24
00000e7c: PUSH1 0x00
00000e7e: REVERT
00000e7f: JUMPDEST
00000e80: ADD
00000e81: SLOAD
00000e82: SWAP1
00000e83: POP
00000e84: SWAP2
00000e85: SWAP1
00000e86: POP
00000e87: JUMP
00000e88: JUMPDEST
00000e89: PUSH1 0x00
00000e8b: PUSH1 0x05
00000e8d: PUSH1 0x00
00000e8f: DUP5
00000e90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ea5: AND
00000ea6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ebb: AND
00000ebc: DUP2
00000ebd: MSTORE
00000ebe: PUSH1 0x20
00000ec0: ADD
00000ec1: SWAP1
00000ec2: DUP2
00000ec3: MSTORE
00000ec4: PUSH1 0x20
00000ec6: ADD
00000ec7: PUSH1 0x00
00000ec9: KECCAK256
00000eca: PUSH1 0x00
00000ecc: DUP4
00000ecd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ee2: AND
00000ee3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef8: AND
00000ef9: DUP2
00000efa: MSTORE
00000efb: PUSH1 0x20
00000efd: ADD
00000efe: SWAP1
00000eff: DUP2
00000f00: MSTORE
00000f01: PUSH1 0x20
00000f03: ADD
00000f04: PUSH1 0x00
00000f06: KECCAK256
00000f07: PUSH1 0x00
00000f09: SWAP1
00000f0a: SLOAD
00000f0b: SWAP1
00000f0c: PUSH2 0x0100
00000f0f: EXP
00000f10: SWAP1
00000f11: DIV
00000f12: PUSH1 0xff
00000f14: AND
00000f15: SWAP1
00000f16: POP
00000f17: SWAP3
00000f18: SWAP2
00000f19: POP
00000f1a: POP
00000f1b: JUMP
00000f1c: JUMPDEST
00000f1d: PUSH1 0x00
00000f1f: PUSH32 0x780e9d6300000000000000000000000000000000000000000000000000000000
00000f40: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000f5d: NOT
00000f5e: AND
00000f5f: DUP3
00000f60: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000f7d: NOT
00000f7e: AND
00000f7f: EQ
00000f80: DUP1
00000f81: PUSH2 0x0f8f
00000f84: JUMPI
00000f85: POP
00000f86: PUSH2 0x0f8e
00000f89: DUP3
00000f8a: PUSH2 0x197b
00000f8d: JUMP
00000f8e: JUMPDEST
00000f8f: JUMPDEST
00000f90: SWAP1
00000f91: POP
00000f92: SWAP2
00000f93: SWAP1
00000f94: POP
00000f95: JUMP
00000f96: JUMPDEST
00000f97: PUSH1 0x00
00000f99: DUP1
00000f9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000faf: AND
00000fb0: PUSH1 0x02
00000fb2: PUSH1 0x00
00000fb4: DUP5
00000fb5: DUP2
00000fb6: MSTORE
00000fb7: PUSH1 0x20
00000fb9: ADD
00000fba: SWAP1
00000fbb: DUP2
00000fbc: MSTORE
00000fbd: PUSH1 0x20
00000fbf: ADD
00000fc0: PUSH1 0x00
00000fc2: KECCAK256
00000fc3: PUSH1 0x00
00000fc5: SWAP1
00000fc6: SLOAD
00000fc7: SWAP1
00000fc8: PUSH2 0x0100
00000fcb: EXP
00000fcc: SWAP1
00000fcd: DIV
00000fce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fe3: AND
00000fe4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ff9: AND
00000ffa: EQ
00000ffb: ISZERO
00000ffc: SWAP1
00000ffd: POP
00000ffe: SWAP2
00000fff: SWAP1
00001000: POP
00001001: JUMP
00001002: JUMPDEST
00001003: PUSH1 0x00
00001005: CALLER
00001006: SWAP1
00001007: POP
00001008: SWAP1
00001009: JUMP
0000100a: JUMPDEST
0000100b: DUP2
0000100c: PUSH1 0x04
0000100e: PUSH1 0x00
00001010: DUP4
00001011: DUP2
00001012: MSTORE
00001013: PUSH1 0x20
00001015: ADD
00001016: SWAP1
00001017: DUP2
00001018: MSTORE
00001019: PUSH1 0x20
0000101b: ADD
0000101c: PUSH1 0x00
0000101e: KECCAK256
0000101f: PUSH1 0x00
00001021: PUSH2 0x0100
00001024: EXP
00001025: DUP2
00001026: SLOAD
00001027: DUP2
00001028: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000103d: MUL
0000103e: NOT
0000103f: AND
00001040: SWAP1
00001041: DUP4
00001042: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001057: AND
00001058: MUL
00001059: OR
0000105a: SWAP1
0000105b: SSTORE
0000105c: POP
0000105d: DUP1
0000105e: DUP3
0000105f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001074: AND
00001075: PUSH2 0x107d
00001078: DUP4
00001079: PUSH2 0x09b4
0000107c: JUMP
0000107d: JUMPDEST
0000107e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001093: AND
00001094: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000010b5: PUSH1 0x40
000010b7: MLOAD
000010b8: PUSH1 0x40
000010ba: MLOAD
000010bb: DUP1
000010bc: SWAP2
000010bd: SUB
000010be: SWAP1
000010bf: LOG4
000010c0: POP
000010c1: POP
000010c2: JUMP
000010c3: JUMPDEST
000010c4: PUSH1 0x00
000010c6: PUSH2 0x10ce
000010c9: DUP3
000010ca: PUSH2 0x0f96
000010cd: JUMP
000010ce: JUMPDEST
000010cf: PUSH2 0x110d
000010d2: JUMPI
000010d3: PUSH1 0x40
000010d5: MLOAD
000010d6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000010f7: DUP2
000010f8: MSTORE
000010f9: PUSH1 0x04
000010fb: ADD
000010fc: PUSH2 0x1104
000010ff: SWAP1
00001100: PUSH2 0x2ff2
00001103: JUMP
00001104: JUMPDEST
00001105: PUSH1 0x40
00001107: MLOAD
00001108: DUP1
00001109: SWAP2
0000110a: SUB
0000110b: SWAP1
0000110c: REVERT
0000110d: JUMPDEST
0000110e: PUSH1 0x00
00001110: PUSH2 0x1118
00001113: DUP4
00001114: PUSH2 0x09b4
00001117: JUMP
00001118: JUMPDEST
00001119: SWAP1
0000111a: POP
0000111b: DUP1
0000111c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001131: AND
00001132: DUP5
00001133: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001148: AND
00001149: EQ
0000114a: DUP1
0000114b: PUSH2 0x1187
0000114e: JUMPI
0000114f: POP
00001150: DUP4
00001151: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001166: AND
00001167: PUSH2 0x116f
0000116a: DUP5
0000116b: PUSH2 0x063e
0000116e: JUMP
0000116f: JUMPDEST
00001170: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001185: AND
00001186: EQ
00001187: JUMPDEST
00001188: DUP1
00001189: PUSH2 0x1198
0000118c: JUMPI
0000118d: POP
0000118e: PUSH2 0x1197
00001191: DUP2
00001192: DUP6
00001193: PUSH2 0x0e88
00001196: JUMP
00001197: JUMPDEST
00001198: JUMPDEST
00001199: SWAP2
0000119a: POP
0000119b: POP
0000119c: SWAP3
0000119d: SWAP2
0000119e: POP
0000119f: POP
000011a0: JUMP
000011a1: JUMPDEST
000011a2: DUP3
000011a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011b8: AND
000011b9: PUSH2 0x11c1
000011bc: DUP3
000011bd: PUSH2 0x09b4
000011c0: JUMP
000011c1: JUMPDEST
000011c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011d7: AND
000011d8: EQ
000011d9: PUSH2 0x1217
000011dc: JUMPI
000011dd: PUSH1 0x40
000011df: MLOAD
000011e0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001201: DUP2
00001202: MSTORE
00001203: PUSH1 0x04
00001205: ADD
00001206: PUSH2 0x120e
00001209: SWAP1
0000120a: PUSH2 0x3112
0000120d: JUMP
0000120e: JUMPDEST
0000120f: PUSH1 0x40
00001211: MLOAD
00001212: DUP1
00001213: SWAP2
00001214: SUB
00001215: SWAP1
00001216: REVERT
00001217: JUMPDEST
00001218: PUSH1 0x00
0000121a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000122f: AND
00001230: DUP3
00001231: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001246: AND
00001247: EQ
00001248: ISZERO
00001249: PUSH2 0x1287
0000124c: JUMPI
0000124d: PUSH1 0x40
0000124f: MLOAD
00001250: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001271: DUP2
00001272: MSTORE
00001273: PUSH1 0x04
00001275: ADD
00001276: PUSH2 0x127e
00001279: SWAP1
0000127a: PUSH2 0x2fb2
0000127d: JUMP
0000127e: JUMPDEST
0000127f: PUSH1 0x40
00001281: MLOAD
00001282: DUP1
00001283: SWAP2
00001284: SUB
00001285: SWAP1
00001286: REVERT
00001287: JUMPDEST
00001288: PUSH2 0x1292
0000128b: DUP4
0000128c: DUP4
0000128d: DUP4
0000128e: PUSH2 0x1a5d
00001291: JUMP
00001292: JUMPDEST
00001293: PUSH2 0x129d
00001296: PUSH1 0x00
00001298: DUP3
00001299: PUSH2 0x100a
0000129c: JUMP
0000129d: JUMPDEST
0000129e: PUSH1 0x01
000012a0: PUSH1 0x03
000012a2: PUSH1 0x00
000012a4: DUP6
000012a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012ba: AND
000012bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012d0: AND
000012d1: DUP2
000012d2: MSTORE
000012d3: PUSH1 0x20
000012d5: ADD
000012d6: SWAP1
000012d7: DUP2
000012d8: MSTORE
000012d9: PUSH1 0x20
000012db: ADD
000012dc: PUSH1 0x00
000012de: KECCAK256
000012df: PUSH1 0x00
000012e1: DUP3
000012e2: DUP3
000012e3: SLOAD
000012e4: PUSH2 0x12ed
000012e7: SWAP2
000012e8: SWAP1
000012e9: PUSH2 0x3373
000012ec: JUMP
000012ed: JUMPDEST
000012ee: SWAP3
000012ef: POP
000012f0: POP
000012f1: DUP2
000012f2: SWAP1
000012f3: SSTORE
000012f4: POP
000012f5: PUSH1 0x01
000012f7: PUSH1 0x03
000012f9: PUSH1 0x00
000012fb: DUP5
000012fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001311: AND
00001312: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001327: AND
00001328: DUP2
00001329: MSTORE
0000132a: PUSH1 0x20
0000132c: ADD
0000132d: SWAP1
0000132e: DUP2
0000132f: MSTORE
00001330: PUSH1 0x20
00001332: ADD
00001333: PUSH1 0x00
00001335: KECCAK256
00001336: PUSH1 0x00
00001338: DUP3
00001339: DUP3
0000133a: SLOAD
0000133b: PUSH2 0x1344
0000133e: SWAP2
0000133f: SWAP1
00001340: PUSH2 0x3292
00001343: JUMP
00001344: JUMPDEST
00001345: SWAP3
00001346: POP
00001347: POP
00001348: DUP2
00001349: SWAP1
0000134a: SSTORE
0000134b: POP
0000134c: DUP2
0000134d: PUSH1 0x02
0000134f: PUSH1 0x00
00001351: DUP4
00001352: DUP2
00001353: MSTORE
00001354: PUSH1 0x20
00001356: ADD
00001357: SWAP1
00001358: DUP2
00001359: MSTORE
0000135a: PUSH1 0x20
0000135c: ADD
0000135d: PUSH1 0x00
0000135f: KECCAK256
00001360: PUSH1 0x00
00001362: PUSH2 0x0100
00001365: EXP
00001366: DUP2
00001367: SLOAD
00001368: DUP2
00001369: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000137e: MUL
0000137f: NOT
00001380: AND
00001381: SWAP1
00001382: DUP4
00001383: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001398: AND
00001399: MUL
0000139a: OR
0000139b: SWAP1
0000139c: SSTORE
0000139d: POP
0000139e: DUP1
0000139f: DUP3
000013a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013b5: AND
000013b6: DUP5
000013b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013cc: AND
000013cd: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000013ee: PUSH1 0x40
000013f0: MLOAD
000013f1: PUSH1 0x40
000013f3: MLOAD
000013f4: DUP1
000013f5: SWAP2
000013f6: SUB
000013f7: SWAP1
000013f8: LOG4
000013f9: POP
000013fa: POP
000013fb: POP
000013fc: JUMP
000013fd: JUMPDEST
000013fe: CALLER
000013ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001414: AND
00001415: DUP3
00001416: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000142b: AND
0000142c: PUSH4 0x58178168
00001431: DUP4
00001432: PUSH1 0x40
00001434: MLOAD
00001435: DUP3
00001436: PUSH4 0xffffffff
0000143b: AND
0000143c: PUSH1 0xe0
0000143e: SHL
0000143f: DUP2
00001440: MSTORE
00001441: PUSH1 0x04
00001443: ADD
00001444: PUSH2 0x144d
00001447: SWAP2
00001448: SWAP1
00001449: PUSH2 0x31b2
0000144c: JUMP
0000144d: JUMPDEST
0000144e: PUSH1 0x20
00001450: PUSH1 0x40
00001452: MLOAD
00001453: DUP1
00001454: DUP4
00001455: SUB
00001456: DUP2
00001457: DUP7
00001458: DUP1
00001459: EXTCODESIZE
0000145a: ISZERO
0000145b: DUP1
0000145c: ISZERO
0000145d: PUSH2 0x1465
00001460: JUMPI
00001461: PUSH1 0x00
00001463: DUP1
00001464: REVERT
00001465: JUMPDEST
00001466: POP
00001467: GAS
00001468: STATICCALL
00001469: ISZERO
0000146a: DUP1
0000146b: ISZERO
0000146c: PUSH2 0x1479
0000146f: JUMPI
00001470: RETURNDATASIZE
00001471: PUSH1 0x00
00001473: DUP1
00001474: RETURNDATACOPY
00001475: RETURNDATASIZE
00001476: PUSH1 0x00
00001478: REVERT
00001479: JUMPDEST
0000147a: POP
0000147b: POP
0000147c: POP
0000147d: POP
0000147e: PUSH1 0x40
00001480: MLOAD
00001481: RETURNDATASIZE
00001482: PUSH1 0x1f
00001484: NOT
00001485: PUSH1 0x1f
00001487: DUP3
00001488: ADD
00001489: AND
0000148a: DUP3
0000148b: ADD
0000148c: DUP1
0000148d: PUSH1 0x40
0000148f: MSTORE
00001490: POP
00001491: DUP2
00001492: ADD
00001493: SWAP1
00001494: PUSH2 0x149d
00001497: SWAP2
00001498: SWAP1
00001499: PUSH2 0x2807
0000149c: JUMP
0000149d: JUMPDEST
0000149e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014b3: AND
000014b4: EQ
000014b5: PUSH2 0x14f3
000014b8: JUMPI
000014b9: PUSH1 0x40
000014bb: MLOAD
000014bc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014dd: DUP2
000014de: MSTORE
000014df: PUSH1 0x04
000014e1: ADD
000014e2: PUSH2 0x14ea
000014e5: SWAP1
000014e6: PUSH2 0x3092
000014e9: JUMP
000014ea: JUMPDEST
000014eb: PUSH1 0x40
000014ed: MLOAD
000014ee: DUP1
000014ef: SWAP2
000014f0: SUB
000014f1: SWAP1
000014f2: REVERT
000014f3: JUMPDEST
000014f4: PUSH2 0x271b
000014f7: PUSH1 0x00
000014f9: DUP3
000014fa: DUP2
000014fb: MSTORE
000014fc: PUSH1 0x20
000014fe: ADD
000014ff: SWAP1
00001500: DUP2
00001501: MSTORE
00001502: PUSH1 0x20
00001504: ADD
00001505: PUSH1 0x00
00001507: KECCAK256
00001508: PUSH1 0x00
0000150a: SWAP1
0000150b: SLOAD
0000150c: SWAP1
0000150d: PUSH2 0x0100
00001510: EXP
00001511: SWAP1
00001512: DIV
00001513: PUSH1 0xff
00001515: AND
00001516: ISZERO
00001517: PUSH2 0x1555
0000151a: JUMPI
0000151b: PUSH1 0x40
0000151d: MLOAD
0000151e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000153f: DUP2
00001540: MSTORE
00001541: PUSH1 0x04
00001543: ADD
00001544: PUSH2 0x154c
00001547: SWAP1
00001548: PUSH2 0x2f92
0000154b: JUMP
0000154c: JUMPDEST
0000154d: PUSH1 0x40
0000154f: MLOAD
00001550: DUP1
00001551: SWAP2
00001552: SUB
00001553: SWAP1
00001554: REVERT
00001555: JUMPDEST
00001556: PUSH1 0x00
00001558: PUSH2 0x155f
0000155b: PUSH2 0x07db
0000155e: JUMP
0000155f: JUMPDEST
00001560: SWAP1
00001561: POP
00001562: DUP2
00001563: PUSH1 0x0b
00001565: DUP3
00001566: PUSH2 0x2710
00001569: DUP2
0000156a: LT
0000156b: PUSH2 0x159d
0000156e: JUMPI
0000156f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001590: PUSH1 0x00
00001592: MSTORE
00001593: PUSH1 0x32
00001595: PUSH1 0x04
00001597: MSTORE
00001598: PUSH1 0x24
0000159a: PUSH1 0x00
0000159c: REVERT
0000159d: JUMPDEST
0000159e: ADD
0000159f: DUP2
000015a0: SWAP1
000015a1: SSTORE
000015a2: POP
000015a3: PUSH2 0x15ac
000015a6: CALLER
000015a7: DUP3
000015a8: PUSH2 0x1a6d
000015ab: JUMP
000015ac: JUMPDEST
000015ad: PUSH2 0x162e
000015b0: DUP2
000015b1: PUSH1 0x40
000015b3: MLOAD
000015b4: DUP1
000015b5: PUSH1 0x60
000015b7: ADD
000015b8: PUSH1 0x40
000015ba: MSTORE
000015bb: DUP1
000015bc: PUSH1 0x27
000015be: DUP2
000015bf: MSTORE
000015c0: PUSH1 0x20
000015c2: ADD
000015c3: PUSH2 0x3c47
000015c6: PUSH1 0x27
000015c8: SWAP2
000015c9: CODECOPY
000015ca: PUSH2 0x15d2
000015cd: DUP5
000015ce: PUSH2 0x1c3b
000015d1: JUMP
000015d2: JUMPDEST
000015d3: PUSH1 0x40
000015d5: MLOAD
000015d6: DUP1
000015d7: PUSH1 0x40
000015d9: ADD
000015da: PUSH1 0x40
000015dc: MSTORE
000015dd: DUP1
000015de: PUSH1 0x05
000015e0: DUP2
000015e1: MSTORE
000015e2: PUSH1 0x20
000015e4: ADD
000015e5: PUSH32 0x2f6d657461000000000000000000000000000000000000000000000000000000
00001606: DUP2
00001607: MSTORE
00001608: POP
00001609: PUSH1 0x40
0000160b: MLOAD
0000160c: PUSH1 0x20
0000160e: ADD
0000160f: PUSH2 0x161a
00001612: SWAP4
00001613: SWAP3
00001614: SWAP2
00001615: SWAP1
00001616: PUSH2 0x2e3d
00001619: JUMP
0000161a: JUMPDEST
0000161b: PUSH1 0x40
0000161d: MLOAD
0000161e: PUSH1 0x20
00001620: DUP2
00001621: DUP4
00001622: SUB
00001623: SUB
00001624: DUP2
00001625: MSTORE
00001626: SWAP1
00001627: PUSH1 0x40
00001629: MSTORE
0000162a: PUSH2 0x1de8
0000162d: JUMP
0000162e: JUMPDEST
0000162f: PUSH1 0x01
00001631: PUSH2 0x271b
00001634: PUSH1 0x00
00001636: DUP5
00001637: DUP2
00001638: MSTORE
00001639: PUSH1 0x20
0000163b: ADD
0000163c: SWAP1
0000163d: DUP2
0000163e: MSTORE
0000163f: PUSH1 0x20
00001641: ADD
00001642: PUSH1 0x00
00001644: KECCAK256
00001645: PUSH1 0x00
00001647: PUSH2 0x0100
0000164a: EXP
0000164b: DUP2
0000164c: SLOAD
0000164d: DUP2
0000164e: PUSH1 0xff
00001650: MUL
00001651: NOT
00001652: AND
00001653: SWAP1
00001654: DUP4
00001655: ISZERO
00001656: ISZERO
00001657: MUL
00001658: OR
00001659: SWAP1
0000165a: SSTORE
0000165b: POP
0000165c: POP
0000165d: POP
0000165e: POP
0000165f: JUMP
00001660: JUMPDEST
00001661: DUP2
00001662: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001677: AND
00001678: DUP4
00001679: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000168e: AND
0000168f: EQ
00001690: ISZERO
00001691: PUSH2 0x16cf
00001694: JUMPI
00001695: PUSH1 0x40
00001697: MLOAD
00001698: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016b9: DUP2
000016ba: MSTORE
000016bb: PUSH1 0x04
000016bd: ADD
000016be: PUSH2 0x16c6
000016c1: SWAP1
000016c2: PUSH2 0x2fd2
000016c5: JUMP
000016c6: JUMPDEST
000016c7: PUSH1 0x40
000016c9: MLOAD
000016ca: DUP1
000016cb: SWAP2
000016cc: SUB
000016cd: SWAP1
000016ce: REVERT
000016cf: JUMPDEST
000016d0: DUP1
000016d1: PUSH1 0x05
000016d3: PUSH1 0x00
000016d5: DUP6
000016d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016eb: AND
000016ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001701: AND
00001702: DUP2
00001703: MSTORE
00001704: PUSH1 0x20
00001706: ADD
00001707: SWAP1
00001708: DUP2
00001709: MSTORE
0000170a: PUSH1 0x20
0000170c: ADD
0000170d: PUSH1 0x00
0000170f: KECCAK256
00001710: PUSH1 0x00
00001712: DUP5
00001713: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001728: AND
00001729: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000173e: AND
0000173f: DUP2
00001740: MSTORE
00001741: PUSH1 0x20
00001743: ADD
00001744: SWAP1
00001745: DUP2
00001746: MSTORE
00001747: PUSH1 0x20
00001749: ADD
0000174a: PUSH1 0x00
0000174c: KECCAK256
0000174d: PUSH1 0x00
0000174f: PUSH2 0x0100
00001752: EXP
00001753: DUP2
00001754: SLOAD
00001755: DUP2
00001756: PUSH1 0xff
00001758: MUL
00001759: NOT
0000175a: AND
0000175b: SWAP1
0000175c: DUP4
0000175d: ISZERO
0000175e: ISZERO
0000175f: MUL
00001760: OR
00001761: SWAP1
00001762: SSTORE
00001763: POP
00001764: DUP2
00001765: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000177a: AND
0000177b: DUP4
0000177c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001791: AND
00001792: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
000017b3: DUP4
000017b4: PUSH1 0x40
000017b6: MLOAD
000017b7: PUSH2 0x17c0
000017ba: SWAP2
000017bb: SWAP1
000017bc: PUSH2 0x2ed5
000017bf: JUMP
000017c0: JUMPDEST
000017c1: PUSH1 0x40
000017c3: MLOAD
000017c4: DUP1
000017c5: SWAP2
000017c6: SUB
000017c7: SWAP1
000017c8: LOG3
000017c9: POP
000017ca: POP
000017cb: POP
000017cc: JUMP
000017cd: JUMPDEST
000017ce: PUSH2 0x17d8
000017d1: DUP5
000017d2: DUP5
000017d3: DUP5
000017d4: PUSH2 0x11a1
000017d7: JUMP
000017d8: JUMPDEST
000017d9: PUSH2 0x17e4
000017dc: DUP5
000017dd: DUP5
000017de: DUP5
000017df: DUP5
000017e0: PUSH2 0x1e5c
000017e3: JUMP
000017e4: JUMPDEST
000017e5: PUSH2 0x1823
000017e8: JUMPI
000017e9: PUSH1 0x40
000017eb: MLOAD
000017ec: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000180d: DUP2
0000180e: MSTORE
0000180f: PUSH1 0x04
00001811: ADD
00001812: PUSH2 0x181a
00001815: SWAP1
00001816: PUSH2 0x2f52
00001819: JUMP
0000181a: JUMPDEST
0000181b: PUSH1 0x40
0000181d: MLOAD
0000181e: DUP1
0000181f: SWAP2
00001820: SUB
00001821: SWAP1
00001822: REVERT
00001823: JUMPDEST
00001824: POP
00001825: POP
00001826: POP
00001827: POP
00001828: JUMP
00001829: JUMPDEST
0000182a: PUSH1 0x60
0000182c: PUSH2 0x1834
0000182f: DUP3
00001830: PUSH2 0x0f96
00001833: JUMP
00001834: JUMPDEST
00001835: PUSH2 0x1873
00001838: JUMPI
00001839: PUSH1 0x40
0000183b: MLOAD
0000183c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000185d: DUP2
0000185e: MSTORE
0000185f: PUSH1 0x04
00001861: ADD
00001862: PUSH2 0x186a
00001865: SWAP1
00001866: PUSH2 0x30d2
00001869: JUMP
0000186a: JUMPDEST
0000186b: PUSH1 0x40
0000186d: MLOAD
0000186e: DUP1
0000186f: SWAP2
00001870: SUB
00001871: SWAP1
00001872: REVERT
00001873: JUMPDEST
00001874: PUSH1 0x00
00001876: PUSH1 0x06
00001878: PUSH1 0x00
0000187a: DUP5
0000187b: DUP2
0000187c: MSTORE
0000187d: PUSH1 0x20
0000187f: ADD
00001880: SWAP1
00001881: DUP2
00001882: MSTORE
00001883: PUSH1 0x20
00001885: ADD
00001886: PUSH1 0x00
00001888: KECCAK256
00001889: DUP1
0000188a: SLOAD
0000188b: PUSH2 0x1893
0000188e: SWAP1
0000188f: PUSH2 0x345d
00001892: JUMP
00001893: JUMPDEST
00001894: DUP1
00001895: PUSH1 0x1f
00001897: ADD
00001898: PUSH1 0x20
0000189a: DUP1
0000189b: SWAP2
0000189c: DIV
0000189d: MUL
0000189e: PUSH1 0x20
000018a0: ADD
000018a1: PUSH1 0x40
000018a3: MLOAD
000018a4: SWAP1
000018a5: DUP2
000018a6: ADD
000018a7: PUSH1 0x40
000018a9: MSTORE
000018aa: DUP1
000018ab: SWAP3
000018ac: SWAP2
000018ad: SWAP1
000018ae: DUP2
000018af: DUP2
000018b0: MSTORE
000018b1: PUSH1 0x20
000018b3: ADD
000018b4: DUP3
000018b5: DUP1
000018b6: SLOAD
000018b7: PUSH2 0x18bf
000018ba: SWAP1
000018bb: PUSH2 0x345d
000018be: JUMP
000018bf: JUMPDEST
000018c0: DUP1
000018c1: ISZERO
000018c2: PUSH2 0x190c
000018c5: JUMPI
000018c6: DUP1
000018c7: PUSH1 0x1f
000018c9: LT
000018ca: PUSH2 0x18e1
000018cd: JUMPI
000018ce: PUSH2 0x0100
000018d1: DUP1
000018d2: DUP4
000018d3: SLOAD
000018d4: DIV
000018d5: MUL
000018d6: DUP4
000018d7: MSTORE
000018d8: SWAP2
000018d9: PUSH1 0x20
000018db: ADD
000018dc: SWAP2
000018dd: PUSH2 0x190c
000018e0: JUMP
000018e1: JUMPDEST
000018e2: DUP3
000018e3: ADD
000018e4: SWAP2
000018e5: SWAP1
000018e6: PUSH1 0x00
000018e8: MSTORE
000018e9: PUSH1 0x20
000018eb: PUSH1 0x00
000018ed: KECCAK256
000018ee: SWAP1
000018ef: JUMPDEST
000018f0: DUP2
000018f1: SLOAD
000018f2: DUP2
000018f3: MSTORE
000018f4: SWAP1
000018f5: PUSH1 0x01
000018f7: ADD
000018f8: SWAP1
000018f9: PUSH1 0x20
000018fb: ADD
000018fc: DUP1
000018fd: DUP4
000018fe: GT
000018ff: PUSH2 0x18ef
00001902: JUMPI
00001903: DUP3
00001904: SWAP1
00001905: SUB
00001906: PUSH1 0x1f
00001908: AND
00001909: DUP3
0000190a: ADD
0000190b: SWAP2
0000190c: JUMPDEST
0000190d: POP
0000190e: POP
0000190f: POP
00001910: POP
00001911: POP
00001912: SWAP1
00001913: POP
00001914: PUSH1 0x00
00001916: PUSH2 0x191d
00001919: PUSH2 0x1ff3
0000191c: JUMP
0000191d: JUMPDEST
0000191e: SWAP1
0000191f: POP
00001920: PUSH1 0x00
00001922: DUP2
00001923: MLOAD
00001924: EQ
00001925: ISZERO
00001926: PUSH2 0x1933
00001929: JUMPI
0000192a: DUP2
0000192b: SWAP3
0000192c: POP
0000192d: POP
0000192e: POP
0000192f: PUSH2 0x1976
00001932: JUMP
00001933: JUMPDEST
00001934: PUSH1 0x00
00001936: DUP3
00001937: MLOAD
00001938: GT
00001939: ISZERO
0000193a: PUSH2 0x1968
0000193d: JUMPI
0000193e: DUP1
0000193f: DUP3
00001940: PUSH1 0x40
00001942: MLOAD
00001943: PUSH1 0x20
00001945: ADD
00001946: PUSH2 0x1950
00001949: SWAP3
0000194a: SWAP2
0000194b: SWAP1
0000194c: PUSH2 0x2e19
0000194f: JUMP
00001950: JUMPDEST
00001951: PUSH1 0x40
00001953: MLOAD
00001954: PUSH1 0x20
00001956: DUP2
00001957: DUP4
00001958: SUB
00001959: SUB
0000195a: DUP2
0000195b: MSTORE
0000195c: SWAP1
0000195d: PUSH1 0x40
0000195f: MSTORE
00001960: SWAP3
00001961: POP
00001962: POP
00001963: POP
00001964: PUSH2 0x1976
00001967: JUMP
00001968: JUMPDEST
00001969: PUSH2 0x1971
0000196c: DUP5
0000196d: PUSH2 0x200a
00001970: JUMP
00001971: JUMPDEST
00001972: SWAP3
00001973: POP
00001974: POP
00001975: POP
00001976: JUMPDEST
00001977: SWAP2
00001978: SWAP1
00001979: POP
0000197a: JUMP
0000197b: JUMPDEST
0000197c: PUSH1 0x00
0000197e: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000
0000199f: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000019bc: NOT
000019bd: AND
000019be: DUP3
000019bf: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000019dc: NOT
000019dd: AND
000019de: EQ
000019df: DUP1
000019e0: PUSH2 0x1a46
000019e3: JUMPI
000019e4: POP
000019e5: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000
00001a06: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001a23: NOT
00001a24: AND
00001a25: DUP3
00001a26: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001a43: NOT
00001a44: AND
00001a45: EQ
00001a46: JUMPDEST
00001a47: DUP1
00001a48: PUSH2 0x1a56
00001a4b: JUMPI
00001a4c: POP
00001a4d: PUSH2 0x1a55
00001a50: DUP3
00001a51: PUSH2 0x20b1
00001a54: JUMP
00001a55: JUMPDEST
00001a56: JUMPDEST
00001a57: SWAP1
00001a58: POP
00001a59: SWAP2
00001a5a: SWAP1
00001a5b: POP
00001a5c: JUMP
00001a5d: JUMPDEST
00001a5e: PUSH2 0x1a68
00001a61: DUP4
00001a62: DUP4
00001a63: DUP4
00001a64: PUSH2 0x211b
00001a67: JUMP
00001a68: JUMPDEST
00001a69: POP
00001a6a: POP
00001a6b: POP
00001a6c: JUMP
00001a6d: JUMPDEST
00001a6e: PUSH1 0x00
00001a70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a85: AND
00001a86: DUP3
00001a87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a9c: AND
00001a9d: EQ
00001a9e: ISZERO
00001a9f: PUSH2 0x1add
00001aa2: JUMPI
00001aa3: PUSH1 0x40
00001aa5: MLOAD
00001aa6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ac7: DUP2
00001ac8: MSTORE
00001ac9: PUSH1 0x04
00001acb: ADD
00001acc: PUSH2 0x1ad4
00001acf: SWAP1
00001ad0: PUSH2 0x30b2
00001ad3: JUMP
00001ad4: JUMPDEST
00001ad5: PUSH1 0x40
00001ad7: MLOAD
00001ad8: DUP1
00001ad9: SWAP2
00001ada: SUB
00001adb: SWAP1
00001adc: REVERT
00001add: JUMPDEST
00001ade: PUSH2 0x1ae6
00001ae1: DUP2
00001ae2: PUSH2 0x0f96
00001ae5: JUMP
00001ae6: JUMPDEST
00001ae7: ISZERO
00001ae8: PUSH2 0x1b26
00001aeb: JUMPI
00001aec: PUSH1 0x40
00001aee: MLOAD
00001aef: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b10: DUP2
00001b11: MSTORE
00001b12: PUSH1 0x04
00001b14: ADD
00001b15: PUSH2 0x1b1d
00001b18: SWAP1
00001b19: PUSH2 0x2f72
00001b1c: JUMP
00001b1d: JUMPDEST
00001b1e: PUSH1 0x40
00001b20: MLOAD
00001b21: DUP1
00001b22: SWAP2
00001b23: SUB
00001b24: SWAP1
00001b25: REVERT
00001b26: JUMPDEST
00001b27: PUSH2 0x1b32
00001b2a: PUSH1 0x00
00001b2c: DUP4
00001b2d: DUP4
00001b2e: PUSH2 0x1a5d
00001b31: JUMP
00001b32: JUMPDEST
00001b33: PUSH1 0x01
00001b35: PUSH1 0x03
00001b37: PUSH1 0x00
00001b39: DUP5
00001b3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b4f: AND
00001b50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b65: AND
00001b66: DUP2
00001b67: MSTORE
00001b68: PUSH1 0x20
00001b6a: ADD
00001b6b: SWAP1
00001b6c: DUP2
00001b6d: MSTORE
00001b6e: PUSH1 0x20
00001b70: ADD
00001b71: PUSH1 0x00
00001b73: KECCAK256
00001b74: PUSH1 0x00
00001b76: DUP3
00001b77: DUP3
00001b78: SLOAD
00001b79: PUSH2 0x1b82
00001b7c: SWAP2
00001b7d: SWAP1
00001b7e: PUSH2 0x3292
00001b81: JUMP
00001b82: JUMPDEST
00001b83: SWAP3
00001b84: POP
00001b85: POP
00001b86: DUP2
00001b87: SWAP1
00001b88: SSTORE
00001b89: POP
00001b8a: DUP2
00001b8b: PUSH1 0x02
00001b8d: PUSH1 0x00
00001b8f: DUP4
00001b90: DUP2
00001b91: MSTORE
00001b92: PUSH1 0x20
00001b94: ADD
00001b95: SWAP1
00001b96: DUP2
00001b97: MSTORE
00001b98: PUSH1 0x20
00001b9a: ADD
00001b9b: PUSH1 0x00
00001b9d: KECCAK256
00001b9e: PUSH1 0x00
00001ba0: PUSH2 0x0100
00001ba3: EXP
00001ba4: DUP2
00001ba5: SLOAD
00001ba6: DUP2
00001ba7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bbc: MUL
00001bbd: NOT
00001bbe: AND
00001bbf: SWAP1
00001bc0: DUP4
00001bc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd6: AND
00001bd7: MUL
00001bd8: OR
00001bd9: SWAP1
00001bda: SSTORE
00001bdb: POP
00001bdc: DUP1
00001bdd: DUP3
00001bde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bf3: AND
00001bf4: PUSH1 0x00
00001bf6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c0b: AND
00001c0c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001c2d: PUSH1 0x40
00001c2f: MLOAD
00001c30: PUSH1 0x40
00001c32: MLOAD
00001c33: DUP1
00001c34: SWAP2
00001c35: SUB
00001c36: SWAP1
00001c37: LOG4
00001c38: POP
00001c39: POP
00001c3a: JUMP
00001c3b: JUMPDEST
00001c3c: PUSH1 0x60
00001c3e: PUSH1 0x00
00001c40: DUP3
00001c41: EQ
00001c42: ISZERO
00001c43: PUSH2 0x1c83
00001c46: JUMPI
00001c47: PUSH1 0x40
00001c49: MLOAD
00001c4a: DUP1
00001c4b: PUSH1 0x40
00001c4d: ADD
00001c4e: PUSH1 0x40
00001c50: MSTORE
00001c51: DUP1
00001c52: PUSH1 0x01
00001c54: DUP2
00001c55: MSTORE
00001c56: PUSH1 0x20
00001c58: ADD
00001c59: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
00001c7a: DUP2
00001c7b: MSTORE
00001c7c: POP
00001c7d: SWAP1
00001c7e: POP
00001c7f: PUSH2 0x1de3
00001c82: JUMP
00001c83: JUMPDEST
00001c84: PUSH1 0x00
00001c86: DUP3
00001c87: SWAP1
00001c88: POP
00001c89: PUSH1 0x00
00001c8b: JUMPDEST
00001c8c: PUSH1 0x00
00001c8e: DUP3
00001c8f: EQ
00001c90: PUSH2 0x1cb5
00001c93: JUMPI
00001c94: DUP1
00001c95: DUP1
00001c96: PUSH2 0x1c9e
00001c99: SWAP1
00001c9a: PUSH2 0x34c0
00001c9d: JUMP
00001c9e: JUMPDEST
00001c9f: SWAP2
00001ca0: POP
00001ca1: POP
00001ca2: PUSH1 0x0a
00001ca4: DUP3
00001ca5: PUSH2 0x1cae
00001ca8: SWAP2
00001ca9: SWAP1
00001caa: PUSH2 0x32e8
00001cad: JUMP
00001cae: JUMPDEST
00001caf: SWAP2
00001cb0: POP
00001cb1: PUSH2 0x1c8b
00001cb4: JUMP
00001cb5: JUMPDEST
00001cb6: PUSH1 0x00
00001cb8: DUP2
00001cb9: PUSH8 0xffffffffffffffff
00001cc2: DUP2
00001cc3: GT
00001cc4: ISZERO
00001cc5: PUSH2 0x1cf7
00001cc8: JUMPI
00001cc9: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001cea: PUSH1 0x00
00001cec: MSTORE
00001ced: PUSH1 0x41
00001cef: PUSH1 0x04
00001cf1: MSTORE
00001cf2: PUSH1 0x24
00001cf4: PUSH1 0x00
00001cf6: REVERT
00001cf7: JUMPDEST
00001cf8: PUSH1 0x40
00001cfa: MLOAD
00001cfb: SWAP1
00001cfc: DUP1
00001cfd: DUP3
00001cfe: MSTORE
00001cff: DUP1
00001d00: PUSH1 0x1f
00001d02: ADD
00001d03: PUSH1 0x1f
00001d05: NOT
00001d06: AND
00001d07: PUSH1 0x20
00001d09: ADD
00001d0a: DUP3
00001d0b: ADD
00001d0c: PUSH1 0x40
00001d0e: MSTORE
00001d0f: DUP1
00001d10: ISZERO
00001d11: PUSH2 0x1d29
00001d14: JUMPI
00001d15: DUP2
00001d16: PUSH1 0x20
00001d18: ADD
00001d19: PUSH1 0x01
00001d1b: DUP3
00001d1c: MUL
00001d1d: DUP1
00001d1e: CALLDATASIZE
00001d1f: DUP4
00001d20: CALLDATACOPY
00001d21: DUP1
00001d22: DUP3
00001d23: ADD
00001d24: SWAP2
00001d25: POP
00001d26: POP
00001d27: SWAP1
00001d28: POP
00001d29: JUMPDEST
00001d2a: POP
00001d2b: SWAP1
00001d2c: POP
00001d2d: JUMPDEST
00001d2e: PUSH1 0x00
00001d30: DUP6
00001d31: EQ
00001d32: PUSH2 0x1ddc
00001d35: JUMPI
00001d36: PUSH1 0x01
00001d38: DUP3
00001d39: PUSH2 0x1d42
00001d3c: SWAP2
00001d3d: SWAP1
00001d3e: PUSH2 0x3373
00001d41: JUMP
00001d42: JUMPDEST
00001d43: SWAP2
00001d44: POP
00001d45: PUSH1 0x0a
00001d47: DUP6
00001d48: PUSH2 0x1d51
00001d4b: SWAP2
00001d4c: SWAP1
00001d4d: PUSH2 0x3509
00001d50: JUMP
00001d51: JUMPDEST
00001d52: PUSH1 0x30
00001d54: PUSH2 0x1d5d
00001d57: SWAP2
00001d58: SWAP1
00001d59: PUSH2 0x3292
00001d5c: JUMP
00001d5d: JUMPDEST
00001d5e: PUSH1 0xf8
00001d60: SHL
00001d61: DUP2
00001d62: DUP4
00001d63: DUP2
00001d64: MLOAD
00001d65: DUP2
00001d66: LT
00001d67: PUSH2 0x1d99
00001d6a: JUMPI
00001d6b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001d8c: PUSH1 0x00
00001d8e: MSTORE
00001d8f: PUSH1 0x32
00001d91: PUSH1 0x04
00001d93: MSTORE
00001d94: PUSH1 0x24
00001d96: PUSH1 0x00
00001d98: REVERT
00001d99: JUMPDEST
00001d9a: PUSH1 0x20
00001d9c: ADD
00001d9d: ADD
00001d9e: SWAP1
00001d9f: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001dbf: NOT
00001dc0: AND
00001dc1: SWAP1
00001dc2: DUP2
00001dc3: PUSH1 0x00
00001dc5: BYTE
00001dc6: SWAP1
00001dc7: MSTORE8
00001dc8: POP
00001dc9: PUSH1 0x0a
00001dcb: DUP6
00001dcc: PUSH2 0x1dd5
00001dcf: SWAP2
00001dd0: SWAP1
00001dd1: PUSH2 0x32e8
00001dd4: JUMP
00001dd5: JUMPDEST
00001dd6: SWAP5
00001dd7: POP
00001dd8: PUSH2 0x1d2d
00001ddb: JUMP
00001ddc: JUMPDEST
00001ddd: DUP1
00001dde: SWAP4
00001ddf: POP
00001de0: POP
00001de1: POP
00001de2: POP
00001de3: JUMPDEST
00001de4: SWAP2
00001de5: SWAP1
00001de6: POP
00001de7: JUMP
00001de8: JUMPDEST
00001de9: PUSH2 0x1df1
00001dec: DUP3
00001ded: PUSH2 0x0f96
00001df0: JUMP
00001df1: JUMPDEST
00001df2: PUSH2 0x1e30
00001df5: JUMPI
00001df6: PUSH1 0x40
00001df8: MLOAD
00001df9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e1a: DUP2
00001e1b: MSTORE
00001e1c: PUSH1 0x04
00001e1e: ADD
00001e1f: PUSH2 0x1e27
00001e22: SWAP1
00001e23: PUSH2 0x3072
00001e26: JUMP
00001e27: JUMPDEST
00001e28: PUSH1 0x40
00001e2a: MLOAD
00001e2b: DUP1
00001e2c: SWAP2
00001e2d: SUB
00001e2e: SWAP1
00001e2f: REVERT
00001e30: JUMPDEST
00001e31: DUP1
00001e32: PUSH1 0x06
00001e34: PUSH1 0x00
00001e36: DUP5
00001e37: DUP2
00001e38: MSTORE
00001e39: PUSH1 0x20
00001e3b: ADD
00001e3c: SWAP1
00001e3d: DUP2
00001e3e: MSTORE
00001e3f: PUSH1 0x20
00001e41: ADD
00001e42: PUSH1 0x00
00001e44: KECCAK256
00001e45: SWAP1
00001e46: DUP1
00001e47: MLOAD
00001e48: SWAP1
00001e49: PUSH1 0x20
00001e4b: ADD
00001e4c: SWAP1
00001e4d: PUSH2 0x1e57
00001e50: SWAP3
00001e51: SWAP2
00001e52: SWAP1
00001e53: PUSH2 0x25bf
00001e56: JUMP
00001e57: JUMPDEST
00001e58: POP
00001e59: POP
00001e5a: POP
00001e5b: JUMP
00001e5c: JUMPDEST
00001e5d: PUSH1 0x00
00001e5f: PUSH2 0x1e7d
00001e62: DUP5
00001e63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e78: AND
00001e79: PUSH2 0x222f
00001e7c: JUMP
00001e7d: JUMPDEST
00001e7e: ISZERO
00001e7f: PUSH2 0x1fe6
00001e82: JUMPI
00001e83: DUP4
00001e84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e99: AND
00001e9a: PUSH4 0x150b7a02
00001e9f: PUSH2 0x1ea6
00001ea2: PUSH2 0x1002
00001ea5: JUMP
00001ea6: JUMPDEST
00001ea7: DUP8
00001ea8: DUP7
00001ea9: DUP7
00001eaa: PUSH1 0x40
00001eac: MLOAD
00001ead: DUP6
00001eae: PUSH4 0xffffffff
00001eb3: AND
00001eb4: PUSH1 0xe0
00001eb6: SHL
00001eb7: DUP2
00001eb8: MSTORE
00001eb9: PUSH1 0x04
00001ebb: ADD
00001ebc: PUSH2 0x1ec8
00001ebf: SWAP5
00001ec0: SWAP4
00001ec1: SWAP3
00001ec2: SWAP2
00001ec3: SWAP1
00001ec4: PUSH2 0x2e89
00001ec7: JUMP
00001ec8: JUMPDEST
00001ec9: PUSH1 0x20
00001ecb: PUSH1 0x40
00001ecd: MLOAD
00001ece: DUP1
00001ecf: DUP4
00001ed0: SUB
00001ed1: DUP2
00001ed2: PUSH1 0x00
00001ed4: DUP8
00001ed5: DUP1
00001ed6: EXTCODESIZE
00001ed7: ISZERO
00001ed8: DUP1
00001ed9: ISZERO
00001eda: PUSH2 0x1ee2
00001edd: JUMPI
00001ede: PUSH1 0x00
00001ee0: DUP1
00001ee1: REVERT
00001ee2: JUMPDEST
00001ee3: POP
00001ee4: GAS
00001ee5: CALL
00001ee6: SWAP3
00001ee7: POP
00001ee8: POP
00001ee9: POP
00001eea: DUP1
00001eeb: ISZERO
00001eec: PUSH2 0x1f13
00001eef: JUMPI
00001ef0: POP
00001ef1: PUSH1 0x40
00001ef3: MLOAD
00001ef4: RETURNDATASIZE
00001ef5: PUSH1 0x1f
00001ef7: NOT
00001ef8: PUSH1 0x1f
00001efa: DUP3
00001efb: ADD
00001efc: AND
00001efd: DUP3
00001efe: ADD
00001eff: DUP1
00001f00: PUSH1 0x40
00001f02: MSTORE
00001f03: POP
00001f04: DUP2
00001f05: ADD
00001f06: SWAP1
00001f07: PUSH2 0x1f10
00001f0a: SWAP2
00001f0b: SWAP1
00001f0c: PUSH2 0x2a18
00001f0f: JUMP
00001f10: JUMPDEST
00001f11: PUSH1 0x01
00001f13: JUMPDEST
00001f14: PUSH2 0x1f96
00001f17: JUMPI
00001f18: RETURNDATASIZE
00001f19: DUP1
00001f1a: PUSH1 0x00
00001f1c: DUP2
00001f1d: EQ
00001f1e: PUSH2 0x1f43
00001f21: JUMPI
00001f22: PUSH1 0x40
00001f24: MLOAD
00001f25: SWAP2
00001f26: POP
00001f27: PUSH1 0x1f
00001f29: NOT
00001f2a: PUSH1 0x3f
00001f2c: RETURNDATASIZE
00001f2d: ADD
00001f2e: AND
00001f2f: DUP3
00001f30: ADD
00001f31: PUSH1 0x40
00001f33: MSTORE
00001f34: RETURNDATASIZE
00001f35: DUP3
00001f36: MSTORE
00001f37: RETURNDATASIZE
00001f38: PUSH1 0x00
00001f3a: PUSH1 0x20
00001f3c: DUP5
00001f3d: ADD
00001f3e: RETURNDATACOPY
00001f3f: PUSH2 0x1f48
00001f42: JUMP
00001f43: JUMPDEST
00001f44: PUSH1 0x60
00001f46: SWAP2
00001f47: POP
00001f48: JUMPDEST
00001f49: POP
00001f4a: PUSH1 0x00
00001f4c: DUP2
00001f4d: MLOAD
00001f4e: EQ
00001f4f: ISZERO
00001f50: PUSH2 0x1f8e
00001f53: JUMPI
00001f54: PUSH1 0x40
00001f56: MLOAD
00001f57: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f78: DUP2
00001f79: MSTORE
00001f7a: PUSH1 0x04
00001f7c: ADD
00001f7d: PUSH2 0x1f85
00001f80: SWAP1
00001f81: PUSH2 0x2f52
00001f84: JUMP
00001f85: JUMPDEST
00001f86: PUSH1 0x40
00001f88: MLOAD
00001f89: DUP1
00001f8a: SWAP2
00001f8b: SUB
00001f8c: SWAP1
00001f8d: REVERT
00001f8e: JUMPDEST
00001f8f: DUP1
00001f90: MLOAD
00001f91: DUP2
00001f92: PUSH1 0x20
00001f94: ADD
00001f95: REVERT
00001f96: JUMPDEST
00001f97: PUSH4 0x150b7a02
00001f9c: PUSH1 0xe0
00001f9e: SHL
00001f9f: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001fbc: NOT
00001fbd: AND
00001fbe: DUP2
00001fbf: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001fdc: NOT
00001fdd: AND
00001fde: EQ
00001fdf: SWAP2
00001fe0: POP
00001fe1: POP
00001fe2: PUSH2 0x1feb
00001fe5: JUMP
00001fe6: JUMPDEST
00001fe7: PUSH1 0x01
00001fe9: SWAP1
00001fea: POP
00001feb: JUMPDEST
00001fec: SWAP5
00001fed: SWAP4
00001fee: POP
00001fef: POP
00001ff0: POP
00001ff1: POP
00001ff2: JUMP
00001ff3: JUMPDEST
00001ff4: PUSH1 0x60
00001ff6: PUSH1 0x40
00001ff8: MLOAD
00001ff9: DUP1
00001ffa: PUSH1 0x20
00001ffc: ADD
00001ffd: PUSH1 0x40
00001fff: MSTORE
00002000: DUP1
00002001: PUSH1 0x00
00002003: DUP2
00002004: MSTORE
00002005: POP
00002006: SWAP1
00002007: POP
00002008: SWAP1
00002009: JUMP
0000200a: JUMPDEST
0000200b: PUSH1 0x60
0000200d: PUSH2 0x2015
00002010: DUP3
00002011: PUSH2 0x0f96
00002014: JUMP
00002015: JUMPDEST
00002016: PUSH2 0x2054
00002019: JUMPI
0000201a: PUSH1 0x40
0000201c: MLOAD
0000201d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000203e: DUP2
0000203f: MSTORE
00002040: PUSH1 0x04
00002042: ADD
00002043: PUSH2 0x204b
00002046: SWAP1
00002047: PUSH2 0x3132
0000204a: JUMP
0000204b: JUMPDEST
0000204c: PUSH1 0x40
0000204e: MLOAD
0000204f: DUP1
00002050: SWAP2
00002051: SUB
00002052: SWAP1
00002053: REVERT
00002054: JUMPDEST
00002055: PUSH1 0x00
00002057: PUSH2 0x205e
0000205a: PUSH2 0x1ff3
0000205d: JUMP
0000205e: JUMPDEST
0000205f: SWAP1
00002060: POP
00002061: PUSH1 0x00
00002063: DUP2
00002064: MLOAD
00002065: GT
00002066: PUSH2 0x207e
00002069: JUMPI
0000206a: PUSH1 0x40
0000206c: MLOAD
0000206d: DUP1
0000206e: PUSH1 0x20
00002070: ADD
00002071: PUSH1 0x40
00002073: MSTORE
00002074: DUP1
00002075: PUSH1 0x00
00002077: DUP2
00002078: MSTORE
00002079: POP
0000207a: PUSH2 0x20a9
0000207d: JUMP
0000207e: JUMPDEST
0000207f: DUP1
00002080: PUSH2 0x2088
00002083: DUP5
00002084: PUSH2 0x1c3b
00002087: JUMP
00002088: JUMPDEST
00002089: PUSH1 0x40
0000208b: MLOAD
0000208c: PUSH1 0x20
0000208e: ADD
0000208f: PUSH2 0x2099
00002092: SWAP3
00002093: SWAP2
00002094: SWAP1
00002095: PUSH2 0x2e19
00002098: JUMP
00002099: JUMPDEST
0000209a: PUSH1 0x40
0000209c: MLOAD
0000209d: PUSH1 0x20
0000209f: DUP2
000020a0: DUP4
000020a1: SUB
000020a2: SUB
000020a3: DUP2
000020a4: MSTORE
000020a5: SWAP1
000020a6: PUSH1 0x40
000020a8: MSTORE
000020a9: JUMPDEST
000020aa: SWAP2
000020ab: POP
000020ac: POP
000020ad: SWAP2
000020ae: SWAP1
000020af: POP
000020b0: JUMP
000020b1: JUMPDEST
000020b2: PUSH1 0x00
000020b4: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
000020d5: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000020f2: NOT
000020f3: AND
000020f4: DUP3
000020f5: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002112: NOT
00002113: AND
00002114: EQ
00002115: SWAP1
00002116: POP
00002117: SWAP2
00002118: SWAP1
00002119: POP
0000211a: JUMP
0000211b: JUMPDEST
0000211c: PUSH2 0x2126
0000211f: DUP4
00002120: DUP4
00002121: DUP4
00002122: PUSH2 0x2242
00002125: JUMP
00002126: JUMPDEST
00002127: PUSH1 0x00
00002129: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000213e: AND
0000213f: DUP4
00002140: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002155: AND
00002156: EQ
00002157: ISZERO
00002158: PUSH2 0x2169
0000215b: JUMPI
0000215c: PUSH2 0x2164
0000215f: DUP2
00002160: PUSH2 0x2247
00002163: JUMP
00002164: JUMPDEST
00002165: PUSH2 0x21a8
00002168: JUMP
00002169: JUMPDEST
0000216a: DUP2
0000216b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002180: AND
00002181: DUP4
00002182: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002197: AND
00002198: EQ
00002199: PUSH2 0x21a7
0000219c: JUMPI
0000219d: PUSH2 0x21a6
000021a0: DUP4
000021a1: DUP3
000021a2: PUSH2 0x2290
000021a5: JUMP
000021a6: JUMPDEST
000021a7: JUMPDEST
000021a8: JUMPDEST
000021a9: PUSH1 0x00
000021ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021c0: AND
000021c1: DUP3
000021c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021d7: AND
000021d8: EQ
000021d9: ISZERO
000021da: PUSH2 0x21eb
000021dd: JUMPI
000021de: PUSH2 0x21e6
000021e1: DUP2
000021e2: PUSH2 0x23fd
000021e5: JUMP
000021e6: JUMPDEST
000021e7: PUSH2 0x222a
000021ea: JUMP
000021eb: JUMPDEST
000021ec: DUP3
000021ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002202: AND
00002203: DUP3
00002204: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002219: AND
0000221a: EQ
0000221b: PUSH2 0x2229
0000221e: JUMPI
0000221f: PUSH2 0x2228
00002222: DUP3
00002223: DUP3
00002224: PUSH2 0x2540
00002227: JUMP
00002228: JUMPDEST
00002229: JUMPDEST
0000222a: JUMPDEST
0000222b: POP
0000222c: POP
0000222d: POP
0000222e: JUMP
0000222f: JUMPDEST
00002230: PUSH1 0x00
00002232: DUP1
00002233: DUP3
00002234: EXTCODESIZE
00002235: SWAP1
00002236: POP
00002237: PUSH1 0x00
00002239: DUP2
0000223a: GT
0000223b: SWAP2
0000223c: POP
0000223d: POP
0000223e: SWAP2
0000223f: SWAP1
00002240: POP
00002241: JUMP
00002242: JUMPDEST
00002243: POP
00002244: POP
00002245: POP
00002246: JUMP
00002247: JUMPDEST
00002248: PUSH1 0x09
0000224a: DUP1
0000224b: SLOAD
0000224c: SWAP1
0000224d: POP
0000224e: PUSH1 0x0a
00002250: PUSH1 0x00
00002252: DUP4
00002253: DUP2
00002254: MSTORE
00002255: PUSH1 0x20
00002257: ADD
00002258: SWAP1
00002259: DUP2
0000225a: MSTORE
0000225b: PUSH1 0x20
0000225d: ADD
0000225e: PUSH1 0x00
00002260: KECCAK256
00002261: DUP2
00002262: SWAP1
00002263: SSTORE
00002264: POP
00002265: PUSH1 0x09
00002267: DUP2
00002268: SWAP1
00002269: DUP1
0000226a: PUSH1 0x01
0000226c: DUP2
0000226d: SLOAD
0000226e: ADD
0000226f: DUP1
00002270: DUP3
00002271: SSTORE
00002272: DUP1
00002273: SWAP2
00002274: POP
00002275: POP
00002276: PUSH1 0x01
00002278: SWAP1
00002279: SUB
0000227a: SWAP1
0000227b: PUSH1 0x00
0000227d: MSTORE
0000227e: PUSH1 0x20
00002280: PUSH1 0x00
00002282: KECCAK256
00002283: ADD
00002284: PUSH1 0x00
00002286: SWAP1
00002287: SWAP2
00002288: SWAP1
00002289: SWAP2
0000228a: SWAP1
0000228b: SWAP2
0000228c: POP
0000228d: SSTORE
0000228e: POP
0000228f: JUMP
00002290: JUMPDEST
00002291: PUSH1 0x00
00002293: PUSH1 0x01
00002295: PUSH2 0x229d
00002298: DUP5
00002299: PUSH2 0x0a87
0000229c: JUMP
0000229d: JUMPDEST
0000229e: PUSH2 0x22a7
000022a1: SWAP2
000022a2: SWAP1
000022a3: PUSH2 0x3373
000022a6: JUMP
000022a7: JUMPDEST
000022a8: SWAP1
000022a9: POP
000022aa: PUSH1 0x00
000022ac: PUSH1 0x08
000022ae: PUSH1 0x00
000022b0: DUP5
000022b1: DUP2
000022b2: MSTORE
000022b3: PUSH1 0x20
000022b5: ADD
000022b6: SWAP1
000022b7: DUP2
000022b8: MSTORE
000022b9: PUSH1 0x20
000022bb: ADD
000022bc: PUSH1 0x00
000022be: KECCAK256
000022bf: SLOAD
000022c0: SWAP1
000022c1: POP
000022c2: DUP2
000022c3: DUP2
000022c4: EQ
000022c5: PUSH2 0x238c
000022c8: JUMPI
000022c9: PUSH1 0x00
000022cb: PUSH1 0x07
000022cd: PUSH1 0x00
000022cf: DUP7
000022d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022e5: AND
000022e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022fb: AND
000022fc: DUP2
000022fd: MSTORE
000022fe: PUSH1 0x20
00002300: ADD
00002301: SWAP1
00002302: DUP2
00002303: MSTORE
00002304: PUSH1 0x20
00002306: ADD
00002307: PUSH1 0x00
00002309: KECCAK256
0000230a: PUSH1 0x00
0000230c: DUP5
0000230d: DUP2
0000230e: MSTORE
0000230f: PUSH1 0x20
00002311: ADD
00002312: SWAP1
00002313: DUP2
00002314: MSTORE
00002315: PUSH1 0x20
00002317: ADD
00002318: PUSH1 0x00
0000231a: KECCAK256
0000231b: SLOAD
0000231c: SWAP1
0000231d: POP
0000231e: DUP1
0000231f: PUSH1 0x07
00002321: PUSH1 0x00
00002323: DUP8
00002324: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002339: AND
0000233a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000234f: AND
00002350: DUP2
00002351: MSTORE
00002352: PUSH1 0x20
00002354: ADD
00002355: SWAP1
00002356: DUP2
00002357: MSTORE
00002358: PUSH1 0x20
0000235a: ADD
0000235b: PUSH1 0x00
0000235d: KECCAK256
0000235e: PUSH1 0x00
00002360: DUP5
00002361: DUP2
00002362: MSTORE
00002363: PUSH1 0x20
00002365: ADD
00002366: SWAP1
00002367: DUP2
00002368: MSTORE
00002369: PUSH1 0x20
0000236b: ADD
0000236c: PUSH1 0x00
0000236e: KECCAK256
0000236f: DUP2
00002370: SWAP1
00002371: SSTORE
00002372: POP
00002373: DUP2
00002374: PUSH1 0x08
00002376: PUSH1 0x00
00002378: DUP4
00002379: DUP2
0000237a: MSTORE
0000237b: PUSH1 0x20
0000237d: ADD
0000237e: SWAP1
0000237f: DUP2
00002380: MSTORE
00002381: PUSH1 0x20
00002383: ADD
00002384: PUSH1 0x00
00002386: KECCAK256
00002387: DUP2
00002388: SWAP1
00002389: SSTORE
0000238a: POP
0000238b: POP
0000238c: JUMPDEST
0000238d: PUSH1 0x08
0000238f: PUSH1 0x00
00002391: DUP5
00002392: DUP2
00002393: MSTORE
00002394: PUSH1 0x20
00002396: ADD
00002397: SWAP1
00002398: DUP2
00002399: MSTORE
0000239a: PUSH1 0x20
0000239c: ADD
0000239d: PUSH1 0x00
0000239f: KECCAK256
000023a0: PUSH1 0x00
000023a2: SWAP1
000023a3: SSTORE
000023a4: PUSH1 0x07
000023a6: PUSH1 0x00
000023a8: DUP6
000023a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023be: AND
000023bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023d4: AND
000023d5: DUP2
000023d6: MSTORE
000023d7: PUSH1 0x20
000023d9: ADD
000023da: SWAP1
000023db: DUP2
000023dc: MSTORE
000023dd: PUSH1 0x20
000023df: ADD
000023e0: PUSH1 0x00
000023e2: KECCAK256
000023e3: PUSH1 0x00
000023e5: DUP4
000023e6: DUP2
000023e7: MSTORE
000023e8: PUSH1 0x20
000023ea: ADD
000023eb: SWAP1
000023ec: DUP2
000023ed: MSTORE
000023ee: PUSH1 0x20
000023f0: ADD
000023f1: PUSH1 0x00
000023f3: KECCAK256
000023f4: PUSH1 0x00
000023f6: SWAP1
000023f7: SSTORE
000023f8: POP
000023f9: POP
000023fa: POP
000023fb: POP
000023fc: JUMP
000023fd: JUMPDEST
000023fe: PUSH1 0x00
00002400: PUSH1 0x01
00002402: PUSH1 0x09
00002404: DUP1
00002405: SLOAD
00002406: SWAP1
00002407: POP
00002408: PUSH2 0x2411
0000240b: SWAP2
0000240c: SWAP1
0000240d: PUSH2 0x3373
00002410: JUMP
00002411: JUMPDEST
00002412: SWAP1
00002413: POP
00002414: PUSH1 0x00
00002416: PUSH1 0x0a
00002418: PUSH1 0x00
0000241a: DUP5
0000241b: DUP2
0000241c: MSTORE
0000241d: PUSH1 0x20
0000241f: ADD
00002420: SWAP1
00002421: DUP2
00002422: MSTORE
00002423: PUSH1 0x20
00002425: ADD
00002426: PUSH1 0x00
00002428: KECCAK256
00002429: SLOAD
0000242a: SWAP1
0000242b: POP
0000242c: PUSH1 0x00
0000242e: PUSH1 0x09
00002430: DUP4
00002431: DUP2
00002432: SLOAD
00002433: DUP2
00002434: LT
00002435: PUSH2 0x2467
00002438: JUMPI
00002439: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000245a: PUSH1 0x00
0000245c: MSTORE
0000245d: PUSH1 0x32
0000245f: PUSH1 0x04
00002461: MSTORE
00002462: PUSH1 0x24
00002464: PUSH1 0x00
00002466: REVERT
00002467: JUMPDEST
00002468: SWAP1
00002469: PUSH1 0x00
0000246b: MSTORE
0000246c: PUSH1 0x20
0000246e: PUSH1 0x00
00002470: KECCAK256
00002471: ADD
00002472: SLOAD
00002473: SWAP1
00002474: POP
00002475: DUP1
00002476: PUSH1 0x09
00002478: DUP4
00002479: DUP2
0000247a: SLOAD
0000247b: DUP2
0000247c: LT
0000247d: PUSH2 0x24af
00002480: JUMPI
00002481: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000024a2: PUSH1 0x00
000024a4: MSTORE
000024a5: PUSH1 0x32
000024a7: PUSH1 0x04
000024a9: MSTORE
000024aa: PUSH1 0x24
000024ac: PUSH1 0x00
000024ae: REVERT
000024af: JUMPDEST
000024b0: SWAP1
000024b1: PUSH1 0x00
000024b3: MSTORE
000024b4: PUSH1 0x20
000024b6: PUSH1 0x00
000024b8: KECCAK256
000024b9: ADD
000024ba: DUP2
000024bb: SWAP1
000024bc: SSTORE
000024bd: POP
000024be: DUP2
000024bf: PUSH1 0x0a
000024c1: PUSH1 0x00
000024c3: DUP4
000024c4: DUP2
000024c5: MSTORE
000024c6: PUSH1 0x20
000024c8: ADD
000024c9: SWAP1
000024ca: DUP2
000024cb: MSTORE
000024cc: PUSH1 0x20
000024ce: ADD
000024cf: PUSH1 0x00
000024d1: KECCAK256
000024d2: DUP2
000024d3: SWAP1
000024d4: SSTORE
000024d5: POP
000024d6: PUSH1 0x0a
000024d8: PUSH1 0x00
000024da: DUP6
000024db: DUP2
000024dc: MSTORE
000024dd: PUSH1 0x20
000024df: ADD
000024e0: SWAP1
000024e1: DUP2
000024e2: MSTORE
000024e3: PUSH1 0x20
000024e5: ADD
000024e6: PUSH1 0x00
000024e8: KECCAK256
000024e9: PUSH1 0x00
000024eb: SWAP1
000024ec: SSTORE
000024ed: PUSH1 0x09
000024ef: DUP1
000024f0: SLOAD
000024f1: DUP1
000024f2: PUSH2 0x2524
000024f5: JUMPI
000024f6: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002517: PUSH1 0x00
00002519: MSTORE
0000251a: PUSH1 0x31
0000251c: PUSH1 0x04
0000251e: MSTORE
0000251f: PUSH1 0x24
00002521: PUSH1 0x00
00002523: REVERT
00002524: JUMPDEST
00002525: PUSH1 0x01
00002527: SWAP1
00002528: SUB
00002529: DUP2
0000252a: DUP2
0000252b: SWAP1
0000252c: PUSH1 0x00
0000252e: MSTORE
0000252f: PUSH1 0x20
00002531: PUSH1 0x00
00002533: KECCAK256
00002534: ADD
00002535: PUSH1 0x00
00002537: SWAP1
00002538: SSTORE
00002539: SWAP1
0000253a: SSTORE
0000253b: POP
0000253c: POP
0000253d: POP
0000253e: POP
0000253f: JUMP
00002540: JUMPDEST
00002541: PUSH1 0x00
00002543: PUSH2 0x254b
00002546: DUP4
00002547: PUSH2 0x0a87
0000254a: JUMP
0000254b: JUMPDEST
0000254c: SWAP1
0000254d: POP
0000254e: DUP2
0000254f: PUSH1 0x07
00002551: PUSH1 0x00
00002553: DUP6
00002554: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002569: AND
0000256a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000257f: AND
00002580: DUP2
00002581: MSTORE
00002582: PUSH1 0x20
00002584: ADD
00002585: SWAP1
00002586: DUP2
00002587: MSTORE
00002588: PUSH1 0x20
0000258a: ADD
0000258b: PUSH1 0x00
0000258d: KECCAK256
0000258e: PUSH1 0x00
00002590: DUP4
00002591: DUP2
00002592: MSTORE
00002593: PUSH1 0x20
00002595: ADD
00002596: SWAP1
00002597: DUP2
00002598: MSTORE
00002599: PUSH1 0x20
0000259b: ADD
0000259c: PUSH1 0x00
0000259e: KECCAK256
0000259f: DUP2
000025a0: SWAP1
000025a1: SSTORE
000025a2: POP
000025a3: DUP1
000025a4: PUSH1 0x08
000025a6: PUSH1 0x00
000025a8: DUP5
000025a9: DUP2
000025aa: MSTORE
000025ab: PUSH1 0x20
000025ad: ADD
000025ae: SWAP1
000025af: DUP2
000025b0: MSTORE
000025b1: PUSH1 0x20
000025b3: ADD
000025b4: PUSH1 0x00
000025b6: KECCAK256
000025b7: DUP2
000025b8: SWAP1
000025b9: SSTORE
000025ba: POP
000025bb: POP
000025bc: POP
000025bd: POP
000025be: JUMP
000025bf: JUMPDEST
000025c0: DUP3
000025c1: DUP1
000025c2: SLOAD
000025c3: PUSH2 0x25cb
000025c6: SWAP1
000025c7: PUSH2 0x345d
000025ca: JUMP
000025cb: JUMPDEST
000025cc: SWAP1
000025cd: PUSH1 0x00
000025cf: MSTORE
000025d0: PUSH1 0x20
000025d2: PUSH1 0x00
000025d4: KECCAK256
000025d5: SWAP1
000025d6: PUSH1 0x1f
000025d8: ADD
000025d9: PUSH1 0x20
000025db: SWAP1
000025dc: DIV
000025dd: DUP2
000025de: ADD
000025df: SWAP3
000025e0: DUP3
000025e1: PUSH2 0x25ed
000025e4: JUMPI
000025e5: PUSH1 0x00
000025e7: DUP6
000025e8: SSTORE
000025e9: PUSH2 0x2634
000025ec: JUMP
000025ed: JUMPDEST
000025ee: DUP3
000025ef: PUSH1 0x1f
000025f1: LT
000025f2: PUSH2 0x2606
000025f5: JUMPI
000025f6: DUP1
000025f7: MLOAD
000025f8: PUSH1 0xff
000025fa: NOT
000025fb: AND
000025fc: DUP4
000025fd: DUP1
000025fe: ADD
000025ff: OR
00002600: DUP6
00002601: SSTORE
00002602: PUSH2 0x2634
00002605: JUMP
00002606: JUMPDEST
00002607: DUP3
00002608: DUP1
00002609: ADD
0000260a: PUSH1 0x01
0000260c: ADD
0000260d: DUP6
0000260e: SSTORE
0000260f: DUP3
00002610: ISZERO
00002611: PUSH2 0x2634
00002614: JUMPI
00002615: SWAP2
00002616: DUP3
00002617: ADD
00002618: JUMPDEST
00002619: DUP3
0000261a: DUP2
0000261b: GT
0000261c: ISZERO
0000261d: PUSH2 0x2633
00002620: JUMPI
00002621: DUP3
00002622: MLOAD
00002623: DUP3
00002624: SSTORE
00002625: SWAP2
00002626: PUSH1 0x20
00002628: ADD
00002629: SWAP2
0000262a: SWAP1
0000262b: PUSH1 0x01
0000262d: ADD
0000262e: SWAP1
0000262f: PUSH2 0x2618
00002632: JUMP
00002633: JUMPDEST
00002634: JUMPDEST
00002635: POP
00002636: SWAP1
00002637: POP
00002638: PUSH2 0x2641
0000263b: SWAP2
0000263c: SWAP1
0000263d: PUSH2 0x2645
00002640: JUMP
00002641: JUMPDEST
00002642: POP
00002643: SWAP1
00002644: JUMP
00002645: JUMPDEST
00002646: JUMPDEST
00002647: DUP1
00002648: DUP3
00002649: GT
0000264a: ISZERO
0000264b: PUSH2 0x265e
0000264e: JUMPI
0000264f: PUSH1 0x00
00002651: DUP2
00002652: PUSH1 0x00
00002654: SWAP1
00002655: SSTORE
00002656: POP
00002657: PUSH1 0x01
00002659: ADD
0000265a: PUSH2 0x2646
0000265d: JUMP
0000265e: JUMPDEST
0000265f: POP
00002660: SWAP1
00002661: JUMP
00002662: JUMPDEST
00002663: PUSH1 0x00
00002665: PUSH2 0x2675
00002668: PUSH2 0x2670
0000266b: DUP5
0000266c: PUSH2 0x31f2
0000266f: JUMP
00002670: JUMPDEST
00002671: PUSH2 0x31cd
00002674: JUMP
00002675: JUMPDEST
00002676: SWAP1
00002677: POP
00002678: DUP1
00002679: DUP4
0000267a: DUP3
0000267b: MSTORE
0000267c: PUSH1 0x20
0000267e: DUP3
0000267f: ADD
00002680: SWAP1
00002681: POP
00002682: DUP3
00002683: DUP6
00002684: PUSH1 0x20
00002686: DUP7
00002687: MUL
00002688: DUP3
00002689: ADD
0000268a: GT
0000268b: ISZERO
0000268c: PUSH2 0x2694
0000268f: JUMPI
00002690: PUSH1 0x00
00002692: DUP1
00002693: REVERT
00002694: JUMPDEST
00002695: PUSH1 0x00
00002697: JUMPDEST
00002698: DUP6
00002699: DUP2
0000269a: LT
0000269b: ISZERO
0000269c: PUSH2 0x26c4
0000269f: JUMPI
000026a0: DUP2
000026a1: PUSH2 0x26aa
000026a4: DUP9
000026a5: DUP3
000026a6: PUSH2 0x27c9
000026a9: JUMP
000026aa: JUMPDEST
000026ab: DUP5
000026ac: MSTORE
000026ad: PUSH1 0x20
000026af: DUP5
000026b0: ADD
000026b1: SWAP4
000026b2: POP
000026b3: PUSH1 0x20
000026b5: DUP4
000026b6: ADD
000026b7: SWAP3
000026b8: POP
000026b9: POP
000026ba: PUSH1 0x01
000026bc: DUP2
000026bd: ADD
000026be: SWAP1
000026bf: POP
000026c0: PUSH2 0x2697
000026c3: JUMP
000026c4: JUMPDEST
000026c5: POP
000026c6: POP
000026c7: POP
000026c8: SWAP4
000026c9: SWAP3
000026ca: POP
000026cb: POP
000026cc: POP
000026cd: JUMP
000026ce: JUMPDEST
000026cf: PUSH1 0x00
000026d1: PUSH2 0x26e1
000026d4: PUSH2 0x26dc
000026d7: DUP5
000026d8: PUSH2 0x321e
000026db: JUMP
000026dc: JUMPDEST
000026dd: PUSH2 0x31cd
000026e0: JUMP
000026e1: JUMPDEST
000026e2: SWAP1
000026e3: POP
000026e4: DUP3
000026e5: DUP2
000026e6: MSTORE
000026e7: PUSH1 0x20
000026e9: DUP2
000026ea: ADD
000026eb: DUP5
000026ec: DUP5
000026ed: DUP5
000026ee: ADD
000026ef: GT
000026f0: ISZERO
000026f1: PUSH2 0x26f9
000026f4: JUMPI
000026f5: PUSH1 0x00
000026f7: DUP1
000026f8: REVERT
000026f9: JUMPDEST
000026fa: PUSH2 0x2704
000026fd: DUP5
000026fe: DUP3
000026ff: DUP6
00002700: PUSH2 0x341b
00002703: JUMP
00002704: JUMPDEST
00002705: POP
00002706: SWAP4
00002707: SWAP3
00002708: POP
00002709: POP
0000270a: POP
0000270b: JUMP
0000270c: JUMPDEST
0000270d: PUSH1 0x00
0000270f: DUP2
00002710: CALLDATALOAD
00002711: SWAP1
00002712: POP
00002713: PUSH2 0x271b
00002716: DUP2
00002717: PUSH2 0x3bea
0000271a: JUMP
0000271b: JUMPDEST
0000271c: SWAP3
0000271d: SWAP2
0000271e: POP
0000271f: POP
00002720: JUMP
00002721: JUMPDEST
00002722: PUSH1 0x00
00002724: DUP2
00002725: MLOAD
00002726: SWAP1
00002727: POP
00002728: PUSH2 0x2730
0000272b: DUP2
0000272c: PUSH2 0x3bea
0000272f: JUMP
00002730: JUMPDEST
00002731: SWAP3
00002732: SWAP2
00002733: POP
00002734: POP
00002735: JUMP
00002736: JUMPDEST
00002737: PUSH1 0x00
00002739: DUP3
0000273a: PUSH1 0x1f
0000273c: DUP4
0000273d: ADD
0000273e: SLT
0000273f: PUSH2 0x2747
00002742: JUMPI
00002743: PUSH1 0x00
00002745: DUP1
00002746: REVERT
00002747: JUMPDEST
00002748: DUP2
00002749: CALLDATALOAD
0000274a: PUSH2 0x2757
0000274d: DUP5
0000274e: DUP3
0000274f: PUSH1 0x20
00002751: DUP7
00002752: ADD
00002753: PUSH2 0x2662
00002756: JUMP
00002757: JUMPDEST
00002758: SWAP2
00002759: POP
0000275a: POP
0000275b: SWAP3
0000275c: SWAP2
0000275d: POP
0000275e: POP
0000275f: JUMP
00002760: JUMPDEST
00002761: PUSH1 0x00
00002763: DUP2
00002764: CALLDATALOAD
00002765: SWAP1
00002766: POP
00002767: PUSH2 0x276f
0000276a: DUP2
0000276b: PUSH2 0x3c01
0000276e: JUMP
0000276f: JUMPDEST
00002770: SWAP3
00002771: SWAP2
00002772: POP
00002773: POP
00002774: JUMP
00002775: JUMPDEST
00002776: PUSH1 0x00
00002778: DUP2
00002779: CALLDATALOAD
0000277a: SWAP1
0000277b: POP
0000277c: PUSH2 0x2784
0000277f: DUP2
00002780: PUSH2 0x3c18
00002783: JUMP
00002784: JUMPDEST
00002785: SWAP3
00002786: SWAP2
00002787: POP
00002788: POP
00002789: JUMP
0000278a: JUMPDEST
0000278b: PUSH1 0x00
0000278d: DUP2
0000278e: MLOAD
0000278f: SWAP1
00002790: POP
00002791: PUSH2 0x2799
00002794: DUP2
00002795: PUSH2 0x3c18
00002798: JUMP
00002799: JUMPDEST
0000279a: SWAP3
0000279b: SWAP2
0000279c: POP
0000279d: POP
0000279e: JUMP
0000279f: JUMPDEST
000027a0: PUSH1 0x00
000027a2: DUP3
000027a3: PUSH1 0x1f
000027a5: DUP4
000027a6: ADD
000027a7: SLT
000027a8: PUSH2 0x27b0
000027ab: JUMPI
000027ac: PUSH1 0x00
000027ae: DUP1
000027af: REVERT
000027b0: JUMPDEST
000027b1: DUP2
000027b2: CALLDATALOAD
000027b3: PUSH2 0x27c0
000027b6: DUP5
000027b7: DUP3
000027b8: PUSH1 0x20
000027ba: DUP7
000027bb: ADD
000027bc: PUSH2 0x26ce
000027bf: JUMP
000027c0: JUMPDEST
000027c1: SWAP2
000027c2: POP
000027c3: POP
000027c4: SWAP3
000027c5: SWAP2
000027c6: POP
000027c7: POP
000027c8: JUMP
000027c9: JUMPDEST
000027ca: PUSH1 0x00
000027cc: DUP2
000027cd: CALLDATALOAD
000027ce: SWAP1
000027cf: POP
000027d0: PUSH2 0x27d8
000027d3: DUP2
000027d4: PUSH2 0x3c2f
000027d7: JUMP
000027d8: JUMPDEST
000027d9: SWAP3
000027da: SWAP2
000027db: POP
000027dc: POP
000027dd: JUMP
000027de: JUMPDEST
000027df: PUSH1 0x00
000027e1: PUSH1 0x20
000027e3: DUP3
000027e4: DUP5
000027e5: SUB
000027e6: SLT
000027e7: ISZERO
000027e8: PUSH2 0x27f0
000027eb: JUMPI
000027ec: PUSH1 0x00
000027ee: DUP1
000027ef: REVERT
000027f0: JUMPDEST
000027f1: PUSH1 0x00
000027f3: PUSH2 0x27fe
000027f6: DUP5
000027f7: DUP3
000027f8: DUP6
000027f9: ADD
000027fa: PUSH2 0x270c
000027fd: JUMP
000027fe: JUMPDEST
000027ff: SWAP2
00002800: POP
00002801: POP
00002802: SWAP3
00002803: SWAP2
00002804: POP
00002805: POP
00002806: JUMP
00002807: JUMPDEST
00002808: PUSH1 0x00
0000280a: PUSH1 0x20
0000280c: DUP3
0000280d: DUP5
0000280e: SUB
0000280f: SLT
00002810: ISZERO
00002811: PUSH2 0x2819
00002814: JUMPI
00002815: PUSH1 0x00
00002817: DUP1
00002818: REVERT
00002819: JUMPDEST
0000281a: PUSH1 0x00
0000281c: PUSH2 0x2827
0000281f: DUP5
00002820: DUP3
00002821: DUP6
00002822: ADD
00002823: PUSH2 0x2721
00002826: JUMP
00002827: JUMPDEST
00002828: SWAP2
00002829: POP
0000282a: POP
0000282b: SWAP3
0000282c: SWAP2
0000282d: POP
0000282e: POP
0000282f: JUMP
00002830: JUMPDEST
00002831: PUSH1 0x00
00002833: DUP1
00002834: PUSH1 0x40
00002836: DUP4
00002837: DUP6
00002838: SUB
00002839: SLT
0000283a: ISZERO
0000283b: PUSH2 0x2843
0000283e: JUMPI
0000283f: PUSH1 0x00
00002841: DUP1
00002842: REVERT
00002843: JUMPDEST
00002844: PUSH1 0x00
00002846: PUSH2 0x2851
00002849: DUP6
0000284a: DUP3
0000284b: DUP7
0000284c: ADD
0000284d: PUSH2 0x270c
00002850: JUMP
00002851: JUMPDEST
00002852: SWAP3
00002853: POP
00002854: POP
00002855: PUSH1 0x20
00002857: PUSH2 0x2862
0000285a: DUP6
0000285b: DUP3
0000285c: DUP7
0000285d: ADD
0000285e: PUSH2 0x270c
00002861: JUMP
00002862: JUMPDEST
00002863: SWAP2
00002864: POP
00002865: POP
00002866: SWAP3
00002867: POP
00002868: SWAP3
00002869: SWAP1
0000286a: POP
0000286b: JUMP
0000286c: JUMPDEST
0000286d: PUSH1 0x00
0000286f: DUP1
00002870: PUSH1 0x00
00002872: PUSH1 0x60
00002874: DUP5
00002875: DUP7
00002876: SUB
00002877: SLT
00002878: ISZERO
00002879: PUSH2 0x2881
0000287c: JUMPI
0000287d: PUSH1 0x00
0000287f: DUP1
00002880: REVERT
00002881: JUMPDEST
00002882: PUSH1 0x00
00002884: PUSH2 0x288f
00002887: DUP7
00002888: DUP3
00002889: DUP8
0000288a: ADD
0000288b: PUSH2 0x270c
0000288e: JUMP
0000288f: JUMPDEST
00002890: SWAP4
00002891: POP
00002892: POP
00002893: PUSH1 0x20
00002895: PUSH2 0x28a0
00002898: DUP7
00002899: DUP3
0000289a: DUP8
0000289b: ADD
0000289c: PUSH2 0x270c
0000289f: JUMP
000028a0: JUMPDEST
000028a1: SWAP3
000028a2: POP
000028a3: POP
000028a4: PUSH1 0x40
000028a6: PUSH2 0x28b1
000028a9: DUP7
000028aa: DUP3
000028ab: DUP8
000028ac: ADD
000028ad: PUSH2 0x27c9
000028b0: JUMP
000028b1: JUMPDEST
000028b2: SWAP2
000028b3: POP
000028b4: POP
000028b5: SWAP3
000028b6: POP
000028b7: SWAP3
000028b8: POP
000028b9: SWAP3
000028ba: JUMP
000028bb: JUMPDEST
000028bc: PUSH1 0x00
000028be: DUP1
000028bf: PUSH1 0x00
000028c1: DUP1
000028c2: PUSH1 0x80
000028c4: DUP6
000028c5: DUP8
000028c6: SUB
000028c7: SLT
000028c8: ISZERO
000028c9: PUSH2 0x28d1
000028cc: JUMPI
000028cd: PUSH1 0x00
000028cf: DUP1
000028d0: REVERT
000028d1: JUMPDEST
000028d2: PUSH1 0x00
000028d4: PUSH2 0x28df
000028d7: DUP8
000028d8: DUP3
000028d9: DUP9
000028da: ADD
000028db: PUSH2 0x270c
000028de: JUMP
000028df: JUMPDEST
000028e0: SWAP5
000028e1: POP
000028e2: POP
000028e3: PUSH1 0x20
000028e5: PUSH2 0x28f0
000028e8: DUP8
000028e9: DUP3
000028ea: DUP9
000028eb: ADD
000028ec: PUSH2 0x270c
000028ef: JUMP
000028f0: JUMPDEST
000028f1: SWAP4
000028f2: POP
000028f3: POP
000028f4: PUSH1 0x40
000028f6: PUSH2 0x2901
000028f9: DUP8
000028fa: DUP3
000028fb: DUP9
000028fc: ADD
000028fd: PUSH2 0x27c9
00002900: JUMP
00002901: JUMPDEST
00002902: SWAP3
00002903: POP
00002904: POP
00002905: PUSH1 0x60
00002907: DUP6
00002908: ADD
00002909: CALLDATALOAD
0000290a: PUSH8 0xffffffffffffffff
00002913: DUP2
00002914: GT
00002915: ISZERO
00002916: PUSH2 0x291e
00002919: JUMPI
0000291a: PUSH1 0x00
0000291c: DUP1
0000291d: REVERT
0000291e: JUMPDEST
0000291f: PUSH2 0x292a
00002922: DUP8
00002923: DUP3
00002924: DUP9
00002925: ADD
00002926: PUSH2 0x279f
00002929: JUMP
0000292a: JUMPDEST
0000292b: SWAP2
0000292c: POP
0000292d: POP
0000292e: SWAP3
0000292f: SWAP6
00002930: SWAP2
00002931: SWAP5
00002932: POP
00002933: SWAP3
00002934: POP
00002935: JUMP
00002936: JUMPDEST
00002937: PUSH1 0x00
00002939: DUP1
0000293a: PUSH1 0x40
0000293c: DUP4
0000293d: DUP6
0000293e: SUB
0000293f: SLT
00002940: ISZERO
00002941: PUSH2 0x2949
00002944: JUMPI
00002945: PUSH1 0x00
00002947: DUP1
00002948: REVERT
00002949: JUMPDEST
0000294a: PUSH1 0x00
0000294c: PUSH2 0x2957
0000294f: DUP6
00002950: DUP3
00002951: DUP7
00002952: ADD
00002953: PUSH2 0x270c
00002956: JUMP
00002957: JUMPDEST
00002958: SWAP3
00002959: POP
0000295a: POP
0000295b: PUSH1 0x20
0000295d: PUSH2 0x2968
00002960: DUP6
00002961: DUP3
00002962: DUP7
00002963: ADD
00002964: PUSH2 0x2760
00002967: JUMP
00002968: JUMPDEST
00002969: SWAP2
0000296a: POP
0000296b: POP
0000296c: SWAP3
0000296d: POP
0000296e: SWAP3
0000296f: SWAP1
00002970: POP
00002971: JUMP
00002972: JUMPDEST
00002973: PUSH1 0x00
00002975: DUP1
00002976: PUSH1 0x40
00002978: DUP4
00002979: DUP6
0000297a: SUB
0000297b: SLT
0000297c: ISZERO
0000297d: PUSH2 0x2985
00002980: JUMPI
00002981: PUSH1 0x00
00002983: DUP1
00002984: REVERT
00002985: JUMPDEST
00002986: PUSH1 0x00
00002988: PUSH2 0x2993
0000298b: DUP6
0000298c: DUP3
0000298d: DUP7
0000298e: ADD
0000298f: PUSH2 0x270c
00002992: JUMP
00002993: JUMPDEST
00002994: SWAP3
00002995: POP
00002996: POP
00002997: PUSH1 0x20
00002999: PUSH2 0x29a4
0000299c: DUP6
0000299d: DUP3
0000299e: DUP7
0000299f: ADD
000029a0: PUSH2 0x27c9
000029a3: JUMP
000029a4: JUMPDEST
000029a5: SWAP2
000029a6: POP
000029a7: POP
000029a8: SWAP3
000029a9: POP
000029aa: SWAP3
000029ab: SWAP1
000029ac: POP
000029ad: JUMP
000029ae: JUMPDEST
000029af: PUSH1 0x00
000029b1: PUSH1 0x20
000029b3: DUP3
000029b4: DUP5
000029b5: SUB
000029b6: SLT
000029b7: ISZERO
000029b8: PUSH2 0x29c0
000029bb: JUMPI
000029bc: PUSH1 0x00
000029be: DUP1
000029bf: REVERT
000029c0: JUMPDEST
000029c1: PUSH1 0x00
000029c3: DUP3
000029c4: ADD
000029c5: CALLDATALOAD
000029c6: PUSH8 0xffffffffffffffff
000029cf: DUP2
000029d0: GT
000029d1: ISZERO
000029d2: PUSH2 0x29da
000029d5: JUMPI
000029d6: PUSH1 0x00
000029d8: DUP1
000029d9: REVERT
000029da: JUMPDEST
000029db: PUSH2 0x29e6
000029de: DUP5
000029df: DUP3
000029e0: DUP6
000029e1: ADD
000029e2: PUSH2 0x2736
000029e5: JUMP
000029e6: JUMPDEST
000029e7: SWAP2
000029e8: POP
000029e9: POP
000029ea: SWAP3
000029eb: SWAP2
000029ec: POP
000029ed: POP
000029ee: JUMP
000029ef: JUMPDEST
000029f0: PUSH1 0x00
000029f2: PUSH1 0x20
000029f4: DUP3
000029f5: DUP5
000029f6: SUB
000029f7: SLT
000029f8: ISZERO
000029f9: PUSH2 0x2a01
000029fc: JUMPI
000029fd: PUSH1 0x00
000029ff: DUP1
00002a00: REVERT
00002a01: JUMPDEST
00002a02: PUSH1 0x00
00002a04: PUSH2 0x2a0f
00002a07: DUP5
00002a08: DUP3
00002a09: DUP6
00002a0a: ADD
00002a0b: PUSH2 0x2775
00002a0e: JUMP
00002a0f: JUMPDEST
00002a10: SWAP2
00002a11: POP
00002a12: POP
00002a13: SWAP3
00002a14: SWAP2
00002a15: POP
00002a16: POP
00002a17: JUMP
00002a18: JUMPDEST
00002a19: PUSH1 0x00
00002a1b: PUSH1 0x20
00002a1d: DUP3
00002a1e: DUP5
00002a1f: SUB
00002a20: SLT
00002a21: ISZERO
00002a22: PUSH2 0x2a2a
00002a25: JUMPI
00002a26: PUSH1 0x00
00002a28: DUP1
00002a29: REVERT
00002a2a: JUMPDEST
00002a2b: PUSH1 0x00
00002a2d: PUSH2 0x2a38
00002a30: DUP5
00002a31: DUP3
00002a32: DUP6
00002a33: ADD
00002a34: PUSH2 0x278a
00002a37: JUMP
00002a38: JUMPDEST
00002a39: SWAP2
00002a3a: POP
00002a3b: POP
00002a3c: SWAP3
00002a3d: SWAP2
00002a3e: POP
00002a3f: POP
00002a40: JUMP
00002a41: JUMPDEST
00002a42: PUSH1 0x00
00002a44: PUSH1 0x20
00002a46: DUP3
00002a47: DUP5
00002a48: SUB
00002a49: SLT
00002a4a: ISZERO
00002a4b: PUSH2 0x2a53
00002a4e: JUMPI
00002a4f: PUSH1 0x00
00002a51: DUP1
00002a52: REVERT
00002a53: JUMPDEST
00002a54: PUSH1 0x00
00002a56: PUSH2 0x2a61
00002a59: DUP5
00002a5a: DUP3
00002a5b: DUP6
00002a5c: ADD
00002a5d: PUSH2 0x27c9
00002a60: JUMP
00002a61: JUMPDEST
00002a62: SWAP2
00002a63: POP
00002a64: POP
00002a65: SWAP3
00002a66: SWAP2
00002a67: POP
00002a68: POP
00002a69: JUMP
00002a6a: JUMPDEST
00002a6b: PUSH2 0x2a73
00002a6e: DUP2
00002a6f: PUSH2 0x33a7
00002a72: JUMP
00002a73: JUMPDEST
00002a74: DUP3
00002a75: MSTORE
00002a76: POP
00002a77: POP
00002a78: JUMP
00002a79: JUMPDEST
00002a7a: PUSH2 0x2a82
00002a7d: DUP2
00002a7e: PUSH2 0x33b9
00002a81: JUMP
00002a82: JUMPDEST
00002a83: DUP3
00002a84: MSTORE
00002a85: POP
00002a86: POP
00002a87: JUMP
00002a88: JUMPDEST
00002a89: PUSH1 0x00
00002a8b: PUSH2 0x2a93
00002a8e: DUP3
00002a8f: PUSH2 0x324f
00002a92: JUMP
00002a93: JUMPDEST
00002a94: PUSH2 0x2a9d
00002a97: DUP2
00002a98: DUP6
00002a99: PUSH2 0x3265
00002a9c: JUMP
00002a9d: JUMPDEST
00002a9e: SWAP4
00002a9f: POP
00002aa0: PUSH2 0x2aad
00002aa3: DUP2
00002aa4: DUP6
00002aa5: PUSH1 0x20
00002aa7: DUP7
00002aa8: ADD
00002aa9: PUSH2 0x342a
00002aac: JUMP
00002aad: JUMPDEST
00002aae: PUSH2 0x2ab6
00002ab1: DUP2
00002ab2: PUSH2 0x35f6
00002ab5: JUMP
00002ab6: JUMPDEST
00002ab7: DUP5
00002ab8: ADD
00002ab9: SWAP2
00002aba: POP
00002abb: POP
00002abc: SWAP3
00002abd: SWAP2
00002abe: POP
00002abf: POP
00002ac0: JUMP
00002ac1: JUMPDEST
00002ac2: PUSH1 0x00
00002ac4: PUSH2 0x2acc
00002ac7: DUP3
00002ac8: PUSH2 0x325a
00002acb: JUMP
00002acc: JUMPDEST
00002acd: PUSH2 0x2ad6
00002ad0: DUP2
00002ad1: DUP6
00002ad2: PUSH2 0x3276
00002ad5: JUMP
00002ad6: JUMPDEST
00002ad7: SWAP4
00002ad8: POP
00002ad9: PUSH2 0x2ae6
00002adc: DUP2
00002add: DUP6
00002ade: PUSH1 0x20
00002ae0: DUP7
00002ae1: ADD
00002ae2: PUSH2 0x342a
00002ae5: JUMP
00002ae6: JUMPDEST
00002ae7: PUSH2 0x2aef
00002aea: DUP2
00002aeb: PUSH2 0x35f6
00002aee: JUMP
00002aef: JUMPDEST
00002af0: DUP5
00002af1: ADD
00002af2: SWAP2
00002af3: POP
00002af4: POP
00002af5: SWAP3
00002af6: SWAP2
00002af7: POP
00002af8: POP
00002af9: JUMP
00002afa: JUMPDEST
00002afb: PUSH1 0x00
00002afd: PUSH2 0x2b05
00002b00: DUP3
00002b01: PUSH2 0x325a
00002b04: JUMP
00002b05: JUMPDEST
00002b06: PUSH2 0x2b0f
00002b09: DUP2
00002b0a: DUP6
00002b0b: PUSH2 0x3287
00002b0e: JUMP
00002b0f: JUMPDEST
00002b10: SWAP4
00002b11: POP
00002b12: PUSH2 0x2b1f
00002b15: DUP2
00002b16: DUP6
00002b17: PUSH1 0x20
00002b19: DUP7
00002b1a: ADD
00002b1b: PUSH2 0x342a
00002b1e: JUMP
00002b1f: JUMPDEST
00002b20: DUP1
00002b21: DUP5
00002b22: ADD
00002b23: SWAP2
00002b24: POP
00002b25: POP
00002b26: SWAP3
00002b27: SWAP2
00002b28: POP
00002b29: POP
00002b2a: JUMP
00002b2b: JUMPDEST
00002b2c: PUSH1 0x00
00002b2e: PUSH2 0x2b38
00002b31: PUSH1 0x14
00002b33: DUP4
00002b34: PUSH2 0x3276
00002b37: JUMP
00002b38: JUMPDEST
00002b39: SWAP2
00002b3a: POP
00002b3b: PUSH2 0x2b43
00002b3e: DUP3
00002b3f: PUSH2 0x3607
00002b42: JUMP
00002b43: JUMPDEST
00002b44: PUSH1 0x20
00002b46: DUP3
00002b47: ADD
00002b48: SWAP1
00002b49: POP
00002b4a: SWAP2
00002b4b: SWAP1
00002b4c: POP
00002b4d: JUMP
00002b4e: JUMPDEST
00002b4f: PUSH1 0x00
00002b51: PUSH2 0x2b5b
00002b54: PUSH1 0x2b
00002b56: DUP4
00002b57: PUSH2 0x3276
00002b5a: JUMP
00002b5b: JUMPDEST
00002b5c: SWAP2
00002b5d: POP
00002b5e: PUSH2 0x2b66
00002b61: DUP3
00002b62: PUSH2 0x3630
00002b65: JUMP
00002b66: JUMPDEST
00002b67: PUSH1 0x40
00002b69: DUP3
00002b6a: ADD
00002b6b: SWAP1
00002b6c: POP
00002b6d: SWAP2
00002b6e: SWAP1
00002b6f: POP
00002b70: JUMP
00002b71: JUMPDEST
00002b72: PUSH1 0x00
00002b74: PUSH2 0x2b7e
00002b77: PUSH1 0x32
00002b79: DUP4
00002b7a: PUSH2 0x3276
00002b7d: JUMP
00002b7e: JUMPDEST
00002b7f: SWAP2
00002b80: POP
00002b81: PUSH2 0x2b89
00002b84: DUP3
00002b85: PUSH2 0x367f
00002b88: JUMP
00002b89: JUMPDEST
00002b8a: PUSH1 0x40
00002b8c: DUP3
00002b8d: ADD
00002b8e: SWAP1
00002b8f: POP
00002b90: SWAP2
00002b91: SWAP1
00002b92: POP
00002b93: JUMP
00002b94: JUMPDEST
00002b95: PUSH1 0x00
00002b97: PUSH2 0x2ba1
00002b9a: PUSH1 0x1c
00002b9c: DUP4
00002b9d: PUSH2 0x3276
00002ba0: JUMP
00002ba1: JUMPDEST
00002ba2: SWAP2
00002ba3: POP
00002ba4: PUSH2 0x2bac
00002ba7: DUP3
00002ba8: PUSH2 0x36ce
00002bab: JUMP
00002bac: JUMPDEST
00002bad: PUSH1 0x20
00002baf: DUP3
00002bb0: ADD
00002bb1: SWAP1
00002bb2: POP
00002bb3: SWAP2
00002bb4: SWAP1
00002bb5: POP
00002bb6: JUMP
00002bb7: JUMPDEST
00002bb8: PUSH1 0x00
00002bba: PUSH2 0x2bc4
00002bbd: PUSH1 0x2e
00002bbf: DUP4
00002bc0: PUSH2 0x3276
00002bc3: JUMP
00002bc4: JUMPDEST
00002bc5: SWAP2
00002bc6: POP
00002bc7: PUSH2 0x2bcf
00002bca: DUP3
00002bcb: PUSH2 0x36f7
00002bce: JUMP
00002bcf: JUMPDEST
00002bd0: PUSH1 0x40
00002bd2: DUP3
00002bd3: ADD
00002bd4: SWAP1
00002bd5: POP
00002bd6: SWAP2
00002bd7: SWAP1
00002bd8: POP
00002bd9: JUMP
00002bda: JUMPDEST
00002bdb: PUSH1 0x00
00002bdd: PUSH2 0x2be7
00002be0: PUSH1 0x24
00002be2: DUP4
00002be3: PUSH2 0x3276
00002be6: JUMP
00002be7: JUMPDEST
00002be8: SWAP2
00002be9: POP
00002bea: PUSH2 0x2bf2
00002bed: DUP3
00002bee: PUSH2 0x3746
00002bf1: JUMP
00002bf2: JUMPDEST
00002bf3: PUSH1 0x40
00002bf5: DUP3
00002bf6: ADD
00002bf7: SWAP1
00002bf8: POP
00002bf9: SWAP2
00002bfa: SWAP1
00002bfb: POP
00002bfc: JUMP
00002bfd: JUMPDEST
00002bfe: PUSH1 0x00
00002c00: PUSH2 0x2c0a
00002c03: PUSH1 0x19
00002c05: DUP4
00002c06: PUSH2 0x3276
00002c09: JUMP
00002c0a: JUMPDEST
00002c0b: SWAP2
00002c0c: POP
00002c0d: PUSH2 0x2c15
00002c10: DUP3
00002c11: PUSH2 0x3795
00002c14: JUMP
00002c15: JUMPDEST
00002c16: PUSH1 0x20
00002c18: DUP3
00002c19: ADD
00002c1a: SWAP1
00002c1b: POP
00002c1c: SWAP2
00002c1d: SWAP1
00002c1e: POP
00002c1f: JUMP
00002c20: JUMPDEST
00002c21: PUSH1 0x00
00002c23: PUSH2 0x2c2d
00002c26: PUSH1 0x2c
00002c28: DUP4
00002c29: PUSH2 0x3276
00002c2c: JUMP
00002c2d: JUMPDEST
00002c2e: SWAP2
00002c2f: POP
00002c30: PUSH2 0x2c38
00002c33: DUP3
00002c34: PUSH2 0x37be
00002c37: JUMP
00002c38: JUMPDEST
00002c39: PUSH1 0x40
00002c3b: DUP3
00002c3c: ADD
00002c3d: SWAP1
00002c3e: POP
00002c3f: SWAP2
00002c40: SWAP1
00002c41: POP
00002c42: JUMP
00002c43: JUMPDEST
00002c44: PUSH1 0x00
00002c46: PUSH2 0x2c50
00002c49: PUSH1 0x38
00002c4b: DUP4
00002c4c: PUSH2 0x3276
00002c4f: JUMP
00002c50: JUMPDEST
00002c51: SWAP2
00002c52: POP
00002c53: PUSH2 0x2c5b
00002c56: DUP3
00002c57: PUSH2 0x380d
00002c5a: JUMP
00002c5b: JUMPDEST
00002c5c: PUSH1 0x40
00002c5e: DUP3
00002c5f: ADD
00002c60: SWAP1
00002c61: POP
00002c62: SWAP2
00002c63: SWAP1
00002c64: POP
00002c65: JUMP
00002c66: JUMPDEST
00002c67: PUSH1 0x00
00002c69: PUSH2 0x2c73
00002c6c: PUSH1 0x2a
00002c6e: DUP4
00002c6f: PUSH2 0x3276
00002c72: JUMP
00002c73: JUMPDEST
00002c74: SWAP2
00002c75: POP
00002c76: PUSH2 0x2c7e
00002c79: DUP3
00002c7a: PUSH2 0x385c
00002c7d: JUMP
00002c7e: JUMPDEST
00002c7f: PUSH1 0x40
00002c81: DUP3
00002c82: ADD
00002c83: SWAP1
00002c84: POP
00002c85: SWAP2
00002c86: SWAP1
00002c87: POP
00002c88: JUMP
00002c89: JUMPDEST
00002c8a: PUSH1 0x00
00002c8c: PUSH2 0x2c96
00002c8f: PUSH1 0x29
00002c91: DUP4
00002c92: PUSH2 0x3276
00002c95: JUMP
00002c96: JUMPDEST
00002c97: SWAP2
00002c98: POP
00002c99: PUSH2 0x2ca1
00002c9c: DUP3
00002c9d: PUSH2 0x38ab
00002ca0: JUMP
00002ca1: JUMPDEST
00002ca2: PUSH1 0x40
00002ca4: DUP3
00002ca5: ADD
00002ca6: SWAP1
00002ca7: POP
00002ca8: SWAP2
00002ca9: SWAP1
00002caa: POP
00002cab: JUMP
00002cac: JUMPDEST
00002cad: PUSH1 0x00
00002caf: PUSH2 0x2cb9
00002cb2: PUSH1 0x2e
00002cb4: DUP4
00002cb5: PUSH2 0x3276
00002cb8: JUMP
00002cb9: JUMPDEST
00002cba: SWAP2
00002cbb: POP
00002cbc: PUSH2 0x2cc4
00002cbf: DUP3
00002cc0: PUSH2 0x38fa
00002cc3: JUMP
00002cc4: JUMPDEST
00002cc5: PUSH1 0x40
00002cc7: DUP3
00002cc8: ADD
00002cc9: SWAP1
00002cca: POP
00002ccb: SWAP2
00002ccc: SWAP1
00002ccd: POP
00002cce: JUMP
00002ccf: JUMPDEST
00002cd0: PUSH1 0x00
00002cd2: PUSH2 0x2cdc
00002cd5: PUSH1 0x27
00002cd7: DUP4
00002cd8: PUSH2 0x3276
00002cdb: JUMP
00002cdc: JUMPDEST
00002cdd: SWAP2
00002cde: POP
00002cdf: PUSH2 0x2ce7
00002ce2: DUP3
00002ce3: PUSH2 0x3949
00002ce6: JUMP
00002ce7: JUMPDEST
00002ce8: PUSH1 0x40
00002cea: DUP3
00002ceb: ADD
00002cec: SWAP1
00002ced: POP
00002cee: SWAP2
00002cef: SWAP1
00002cf0: POP
00002cf1: JUMP
00002cf2: JUMPDEST
00002cf3: PUSH1 0x00
00002cf5: PUSH2 0x2cff
00002cf8: PUSH1 0x20
00002cfa: DUP4
00002cfb: PUSH2 0x3276
00002cfe: JUMP
00002cff: JUMPDEST
00002d00: SWAP2
00002d01: POP
00002d02: PUSH2 0x2d0a
00002d05: DUP3
00002d06: PUSH2 0x3998
00002d09: JUMP
00002d0a: JUMPDEST
00002d0b: PUSH1 0x20
00002d0d: DUP3
00002d0e: ADD
00002d0f: SWAP1
00002d10: POP
00002d11: SWAP2
00002d12: SWAP1
00002d13: POP
00002d14: JUMP
00002d15: JUMPDEST
00002d16: PUSH1 0x00
00002d18: PUSH2 0x2d22
00002d1b: PUSH1 0x31
00002d1d: DUP4
00002d1e: PUSH2 0x3276
00002d21: JUMP
00002d22: JUMPDEST
00002d23: SWAP2
00002d24: POP
00002d25: PUSH2 0x2d2d
00002d28: DUP3
00002d29: PUSH2 0x39c1
00002d2c: JUMP
00002d2d: JUMPDEST
00002d2e: PUSH1 0x40
00002d30: DUP3
00002d31: ADD
00002d32: SWAP1
00002d33: POP
00002d34: SWAP2
00002d35: SWAP1
00002d36: POP
00002d37: JUMP
00002d38: JUMPDEST
00002d39: PUSH1 0x00
00002d3b: PUSH2 0x2d45
00002d3e: PUSH1 0x2c
00002d40: DUP4
00002d41: PUSH2 0x3276
00002d44: JUMP
00002d45: JUMPDEST
00002d46: SWAP2
00002d47: POP
00002d48: PUSH2 0x2d50
00002d4b: DUP3
00002d4c: PUSH2 0x3a10
00002d4f: JUMP
00002d50: JUMPDEST
00002d51: PUSH1 0x40
00002d53: DUP3
00002d54: ADD
00002d55: SWAP1
00002d56: POP
00002d57: SWAP2
00002d58: SWAP1
00002d59: POP
00002d5a: JUMP
00002d5b: JUMPDEST
00002d5c: PUSH1 0x00
00002d5e: PUSH2 0x2d68
00002d61: PUSH1 0x29
00002d63: DUP4
00002d64: PUSH2 0x3276
00002d67: JUMP
00002d68: JUMPDEST
00002d69: SWAP2
00002d6a: POP
00002d6b: PUSH2 0x2d73
00002d6e: DUP3
00002d6f: PUSH2 0x3a5f
00002d72: JUMP
00002d73: JUMPDEST
00002d74: PUSH1 0x40
00002d76: DUP3
00002d77: ADD
00002d78: SWAP1
00002d79: POP
00002d7a: SWAP2
00002d7b: SWAP1
00002d7c: POP
00002d7d: JUMP
00002d7e: JUMPDEST
00002d7f: PUSH1 0x00
00002d81: PUSH2 0x2d8b
00002d84: PUSH1 0x2f
00002d86: DUP4
00002d87: PUSH2 0x3276
00002d8a: JUMP
00002d8b: JUMPDEST
00002d8c: SWAP2
00002d8d: POP
00002d8e: PUSH2 0x2d96
00002d91: DUP3
00002d92: PUSH2 0x3aae
00002d95: JUMP
00002d96: JUMPDEST
00002d97: PUSH1 0x40
00002d99: DUP3
00002d9a: ADD
00002d9b: SWAP1
00002d9c: POP
00002d9d: SWAP2
00002d9e: SWAP1
00002d9f: POP
00002da0: JUMP
00002da1: JUMPDEST
00002da2: PUSH1 0x00
00002da4: PUSH2 0x2dae
00002da7: PUSH1 0x21
00002da9: DUP4
00002daa: PUSH2 0x3276
00002dad: JUMP
00002dae: JUMPDEST
00002daf: SWAP2
00002db0: POP
00002db1: PUSH2 0x2db9
00002db4: DUP3
00002db5: PUSH2 0x3afd
00002db8: JUMP
00002db9: JUMPDEST
00002dba: PUSH1 0x40
00002dbc: DUP3
00002dbd: ADD
00002dbe: SWAP1
00002dbf: POP
00002dc0: SWAP2
00002dc1: SWAP1
00002dc2: POP
00002dc3: JUMP
00002dc4: JUMPDEST
00002dc5: PUSH1 0x00
00002dc7: PUSH2 0x2dd1
00002dca: PUSH1 0x31
00002dcc: DUP4
00002dcd: PUSH2 0x3276
00002dd0: JUMP
00002dd1: JUMPDEST
00002dd2: SWAP2
00002dd3: POP
00002dd4: PUSH2 0x2ddc
00002dd7: DUP3
00002dd8: PUSH2 0x3b4c
00002ddb: JUMP
00002ddc: JUMPDEST
00002ddd: PUSH1 0x40
00002ddf: DUP3
00002de0: ADD
00002de1: SWAP1
00002de2: POP
00002de3: SWAP2
00002de4: SWAP1
00002de5: POP
00002de6: JUMP
00002de7: JUMPDEST
00002de8: PUSH1 0x00
00002dea: PUSH2 0x2df4
00002ded: PUSH1 0x2c
00002def: DUP4
00002df0: PUSH2 0x3276
00002df3: JUMP
00002df4: JUMPDEST
00002df5: SWAP2
00002df6: POP
00002df7: PUSH2 0x2dff
00002dfa: DUP3
00002dfb: PUSH2 0x3b9b
00002dfe: JUMP
00002dff: JUMPDEST
00002e00: PUSH1 0x40
00002e02: DUP3
00002e03: ADD
00002e04: SWAP1
00002e05: POP
00002e06: SWAP2
00002e07: SWAP1
00002e08: POP
00002e09: JUMP
00002e0a: JUMPDEST
00002e0b: PUSH2 0x2e13
00002e0e: DUP2
00002e0f: PUSH2 0x3411
00002e12: JUMP
00002e13: JUMPDEST
00002e14: DUP3
00002e15: MSTORE
00002e16: POP
00002e17: POP
00002e18: JUMP
00002e19: JUMPDEST
00002e1a: PUSH1 0x00
00002e1c: PUSH2 0x2e25
00002e1f: DUP3
00002e20: DUP6
00002e21: PUSH2 0x2afa
00002e24: JUMP
00002e25: JUMPDEST
00002e26: SWAP2
00002e27: POP
00002e28: PUSH2 0x2e31
00002e2b: DUP3
00002e2c: DUP5
00002e2d: PUSH2 0x2afa
00002e30: JUMP
00002e31: JUMPDEST
00002e32: SWAP2
00002e33: POP
00002e34: DUP2
00002e35: SWAP1
00002e36: POP
00002e37: SWAP4
00002e38: SWAP3
00002e39: POP
00002e3a: POP
00002e3b: POP
00002e3c: JUMP
00002e3d: JUMPDEST
00002e3e: PUSH1 0x00
00002e40: PUSH2 0x2e49
00002e43: DUP3
00002e44: DUP7
00002e45: PUSH2 0x2afa
00002e48: JUMP
00002e49: JUMPDEST
00002e4a: SWAP2
00002e4b: POP
00002e4c: PUSH2 0x2e55
00002e4f: DUP3
00002e50: DUP6
00002e51: PUSH2 0x2afa
00002e54: JUMP
00002e55: JUMPDEST
00002e56: SWAP2
00002e57: POP
00002e58: PUSH2 0x2e61
00002e5b: DUP3
00002e5c: DUP5
00002e5d: PUSH2 0x2afa
00002e60: JUMP
00002e61: JUMPDEST
00002e62: SWAP2
00002e63: POP
00002e64: DUP2
00002e65: SWAP1
00002e66: POP
00002e67: SWAP5
00002e68: SWAP4
00002e69: POP
00002e6a: POP
00002e6b: POP
00002e6c: POP
00002e6d: JUMP
00002e6e: JUMPDEST
00002e6f: PUSH1 0x00
00002e71: PUSH1 0x20
00002e73: DUP3
00002e74: ADD
00002e75: SWAP1
00002e76: POP
00002e77: PUSH2 0x2e83
00002e7a: PUSH1 0x00
00002e7c: DUP4
00002e7d: ADD
00002e7e: DUP5
00002e7f: PUSH2 0x2a6a
00002e82: JUMP
00002e83: JUMPDEST
00002e84: SWAP3
00002e85: SWAP2
00002e86: POP
00002e87: POP
00002e88: JUMP
00002e89: JUMPDEST
00002e8a: PUSH1 0x00
00002e8c: PUSH1 0x80
00002e8e: DUP3
00002e8f: ADD
00002e90: SWAP1
00002e91: POP
00002e92: PUSH2 0x2e9e
00002e95: PUSH1 0x00
00002e97: DUP4
00002e98: ADD
00002e99: DUP8
00002e9a: PUSH2 0x2a6a
00002e9d: JUMP
00002e9e: JUMPDEST
00002e9f: PUSH2 0x2eab
00002ea2: PUSH1 0x20
00002ea4: DUP4
00002ea5: ADD
00002ea6: DUP7
00002ea7: PUSH2 0x2a6a
00002eaa: JUMP
00002eab: JUMPDEST
00002eac: PUSH2 0x2eb8
00002eaf: PUSH1 0x40
00002eb1: DUP4
00002eb2: ADD
00002eb3: DUP6
00002eb4: PUSH2 0x2e0a
00002eb7: JUMP
00002eb8: JUMPDEST
00002eb9: DUP2
00002eba: DUP2
00002ebb: SUB
00002ebc: PUSH1 0x60
00002ebe: DUP4
00002ebf: ADD
00002ec0: MSTORE
00002ec1: PUSH2 0x2eca
00002ec4: DUP2
00002ec5: DUP5
00002ec6: PUSH2 0x2a88
00002ec9: JUMP
00002eca: JUMPDEST
00002ecb: SWAP1
00002ecc: POP
00002ecd: SWAP6
00002ece: SWAP5
00002ecf: POP
00002ed0: POP
00002ed1: POP
00002ed2: POP
00002ed3: POP
00002ed4: JUMP
00002ed5: JUMPDEST
00002ed6: PUSH1 0x00
00002ed8: PUSH1 0x20
00002eda: DUP3
00002edb: ADD
00002edc: SWAP1
00002edd: POP
00002ede: PUSH2 0x2eea
00002ee1: PUSH1 0x00
00002ee3: DUP4
00002ee4: ADD
00002ee5: DUP5
00002ee6: PUSH2 0x2a79
00002ee9: JUMP
00002eea: JUMPDEST
00002eeb: SWAP3
00002eec: SWAP2
00002eed: POP
00002eee: POP
00002eef: JUMP
00002ef0: JUMPDEST
00002ef1: PUSH1 0x00
00002ef3: PUSH1 0x20
00002ef5: DUP3
00002ef6: ADD
00002ef7: SWAP1
00002ef8: POP
00002ef9: DUP2
00002efa: DUP2
00002efb: SUB
00002efc: PUSH1 0x00
00002efe: DUP4
00002eff: ADD
00002f00: MSTORE
00002f01: PUSH2 0x2f0a
00002f04: DUP2
00002f05: DUP5
00002f06: PUSH2 0x2ac1
00002f09: JUMP
00002f0a: JUMPDEST
00002f0b: SWAP1
00002f0c: POP
00002f0d: SWAP3
00002f0e: SWAP2
00002f0f: POP
00002f10: POP
00002f11: JUMP
00002f12: JUMPDEST
00002f13: PUSH1 0x00
00002f15: PUSH1 0x20
00002f17: DUP3
00002f18: ADD
00002f19: SWAP1
00002f1a: POP
00002f1b: DUP2
00002f1c: DUP2
00002f1d: SUB
00002f1e: PUSH1 0x00
00002f20: DUP4
00002f21: ADD
00002f22: MSTORE
00002f23: PUSH2 0x2f2b
00002f26: DUP2
00002f27: PUSH2 0x2b2b
00002f2a: JUMP
00002f2b: JUMPDEST
00002f2c: SWAP1
00002f2d: POP
00002f2e: SWAP2
00002f2f: SWAP1
00002f30: POP
00002f31: JUMP
00002f32: JUMPDEST
00002f33: PUSH1 0x00
00002f35: PUSH1 0x20
00002f37: DUP3
00002f38: ADD
00002f39: SWAP1
00002f3a: POP
00002f3b: DUP2
00002f3c: DUP2
00002f3d: SUB
00002f3e: PUSH1 0x00
00002f40: DUP4
00002f41: ADD
00002f42: MSTORE
00002f43: PUSH2 0x2f4b
00002f46: DUP2
00002f47: PUSH2 0x2b4e
00002f4a: JUMP
00002f4b: JUMPDEST
00002f4c: SWAP1
00002f4d: POP
00002f4e: SWAP2
00002f4f: SWAP1
00002f50: POP
00002f51: JUMP
00002f52: JUMPDEST
00002f53: PUSH1 0x00
00002f55: PUSH1 0x20
00002f57: DUP3
00002f58: ADD
00002f59: SWAP1
00002f5a: POP
00002f5b: DUP2
00002f5c: DUP2
00002f5d: SUB
00002f5e: PUSH1 0x00
00002f60: DUP4
00002f61: ADD
00002f62: MSTORE
00002f63: PUSH2 0x2f6b
00002f66: DUP2
00002f67: PUSH2 0x2b71
00002f6a: JUMP
00002f6b: JUMPDEST
00002f6c: SWAP1
00002f6d: POP
00002f6e: SWAP2
00002f6f: SWAP1
00002f70: POP
00002f71: JUMP
00002f72: JUMPDEST
00002f73: PUSH1 0x00
00002f75: PUSH1 0x20
00002f77: DUP3
00002f78: ADD
00002f79: SWAP1
00002f7a: POP
00002f7b: DUP2
00002f7c: DUP2
00002f7d: SUB
00002f7e: PUSH1 0x00
00002f80: DUP4
00002f81: ADD
00002f82: MSTORE
00002f83: PUSH2 0x2f8b
00002f86: DUP2
00002f87: PUSH2 0x2b94
00002f8a: JUMP
00002f8b: JUMPDEST
00002f8c: SWAP1
00002f8d: POP
00002f8e: SWAP2
00002f8f: SWAP1
00002f90: POP
00002f91: JUMP
00002f92: JUMPDEST
00002f93: PUSH1 0x00
00002f95: PUSH1 0x20
00002f97: DUP3
00002f98: ADD
00002f99: SWAP1
00002f9a: POP
00002f9b: DUP2
00002f9c: DUP2
00002f9d: SUB
00002f9e: PUSH1 0x00
00002fa0: DUP4
00002fa1: ADD
00002fa2: MSTORE
00002fa3: PUSH2 0x2fab
00002fa6: DUP2
00002fa7: PUSH2 0x2bb7
00002faa: JUMP
00002fab: JUMPDEST
00002fac: SWAP1
00002fad: POP
00002fae: SWAP2
00002faf: SWAP1
00002fb0: POP
00002fb1: JUMP
00002fb2: JUMPDEST
00002fb3: PUSH1 0x00
00002fb5: PUSH1 0x20
00002fb7: DUP3
00002fb8: ADD
00002fb9: SWAP1
00002fba: POP
00002fbb: DUP2
00002fbc: DUP2
00002fbd: SUB
00002fbe: PUSH1 0x00
00002fc0: DUP4
00002fc1: ADD
00002fc2: MSTORE
00002fc3: PUSH2 0x2fcb
00002fc6: DUP2
00002fc7: PUSH2 0x2bda
00002fca: JUMP
00002fcb: JUMPDEST
00002fcc: SWAP1
00002fcd: POP
00002fce: SWAP2
00002fcf: SWAP1
00002fd0: POP
00002fd1: JUMP
00002fd2: JUMPDEST
00002fd3: PUSH1 0x00
00002fd5: PUSH1 0x20
00002fd7: DUP3
00002fd8: ADD
00002fd9: SWAP1
00002fda: POP
00002fdb: DUP2
00002fdc: DUP2
00002fdd: SUB
00002fde: PUSH1 0x00
00002fe0: DUP4
00002fe1: ADD
00002fe2: MSTORE
00002fe3: PUSH2 0x2feb
00002fe6: DUP2
00002fe7: PUSH2 0x2bfd
00002fea: JUMP
00002feb: JUMPDEST
00002fec: SWAP1
00002fed: POP
00002fee: SWAP2
00002fef: SWAP1
00002ff0: POP
00002ff1: JUMP
00002ff2: JUMPDEST
00002ff3: PUSH1 0x00
00002ff5: PUSH1 0x20
00002ff7: DUP3
00002ff8: ADD
00002ff9: SWAP1
00002ffa: POP
00002ffb: DUP2
00002ffc: DUP2
00002ffd: SUB
00002ffe: PUSH1 0x00
00003000: DUP4
00003001: ADD
00003002: MSTORE
00003003: PUSH2 0x300b
00003006: DUP2
00003007: PUSH2 0x2c20
0000300a: JUMP
0000300b: JUMPDEST
0000300c: SWAP1
0000300d: POP
0000300e: SWAP2
0000300f: SWAP1
00003010: POP
00003011: JUMP
00003012: JUMPDEST
00003013: PUSH1 0x00
00003015: PUSH1 0x20
00003017: DUP3
00003018: ADD
00003019: SWAP1
0000301a: POP
0000301b: DUP2
0000301c: DUP2
0000301d: SUB
0000301e: PUSH1 0x00
00003020: DUP4
00003021: ADD
00003022: MSTORE
00003023: PUSH2 0x302b
00003026: DUP2
00003027: PUSH2 0x2c43
0000302a: JUMP
0000302b: JUMPDEST
0000302c: SWAP1
0000302d: POP
0000302e: SWAP2
0000302f: SWAP1
00003030: POP
00003031: JUMP
00003032: JUMPDEST
00003033: PUSH1 0x00
00003035: PUSH1 0x20
00003037: DUP3
00003038: ADD
00003039: SWAP1
0000303a: POP
0000303b: DUP2
0000303c: DUP2
0000303d: SUB
0000303e: PUSH1 0x00
00003040: DUP4
00003041: ADD
00003042: MSTORE
00003043: PUSH2 0x304b
00003046: DUP2
00003047: PUSH2 0x2c66
0000304a: JUMP
0000304b: JUMPDEST
0000304c: SWAP1
0000304d: POP
0000304e: SWAP2
0000304f: SWAP1
00003050: POP
00003051: JUMP
00003052: JUMPDEST
00003053: PUSH1 0x00
00003055: PUSH1 0x20
00003057: DUP3
00003058: ADD
00003059: SWAP1
0000305a: POP
0000305b: DUP2
0000305c: DUP2
0000305d: SUB
0000305e: PUSH1 0x00
00003060: DUP4
00003061: ADD
00003062: MSTORE
00003063: PUSH2 0x306b
00003066: DUP2
00003067: PUSH2 0x2c89
0000306a: JUMP
0000306b: JUMPDEST
0000306c: SWAP1
0000306d: POP
0000306e: SWAP2
0000306f: SWAP1
00003070: POP
00003071: JUMP
00003072: JUMPDEST
00003073: PUSH1 0x00
00003075: PUSH1 0x20
00003077: DUP3
00003078: ADD
00003079: SWAP1
0000307a: POP
0000307b: DUP2
0000307c: DUP2
0000307d: SUB
0000307e: PUSH1 0x00
00003080: DUP4
00003081: ADD
00003082: MSTORE
00003083: PUSH2 0x308b
00003086: DUP2
00003087: PUSH2 0x2cac
0000308a: JUMP
0000308b: JUMPDEST
0000308c: SWAP1
0000308d: POP
0000308e: SWAP2
0000308f: SWAP1
00003090: POP
00003091: JUMP
00003092: JUMPDEST
00003093: PUSH1 0x00
00003095: PUSH1 0x20
00003097: DUP3
00003098: ADD
00003099: SWAP1
0000309a: POP
0000309b: DUP2
0000309c: DUP2
0000309d: SUB
0000309e: PUSH1 0x00
000030a0: DUP4
000030a1: ADD
000030a2: MSTORE
000030a3: PUSH2 0x30ab
000030a6: DUP2
000030a7: PUSH2 0x2ccf
000030aa: JUMP
000030ab: JUMPDEST
000030ac: SWAP1
000030ad: POP
000030ae: SWAP2
000030af: SWAP1
000030b0: POP
000030b1: JUMP
000030b2: JUMPDEST
000030b3: PUSH1 0x00
000030b5: PUSH1 0x20
000030b7: DUP3
000030b8: ADD
000030b9: SWAP1
000030ba: POP
000030bb: DUP2
000030bc: DUP2
000030bd: SUB
000030be: PUSH1 0x00
000030c0: DUP4
000030c1: ADD
000030c2: MSTORE
000030c3: PUSH2 0x30cb
000030c6: DUP2
000030c7: PUSH2 0x2cf2
000030ca: JUMP
000030cb: JUMPDEST
000030cc: SWAP1
000030cd: POP
000030ce: SWAP2
000030cf: SWAP1
000030d0: POP
000030d1: JUMP
000030d2: JUMPDEST
000030d3: PUSH1 0x00
000030d5: PUSH1 0x20
000030d7: DUP3
000030d8: ADD
000030d9: SWAP1
000030da: POP
000030db: DUP2
000030dc: DUP2
000030dd: SUB
000030de: PUSH1 0x00
000030e0: DUP4
000030e1: ADD
000030e2: MSTORE
000030e3: PUSH2 0x30eb
000030e6: DUP2
000030e7: PUSH2 0x2d15
000030ea: JUMP
000030eb: JUMPDEST
000030ec: SWAP1
000030ed: POP
000030ee: SWAP2
000030ef: SWAP1
000030f0: POP
000030f1: JUMP
000030f2: JUMPDEST
000030f3: PUSH1 0x00
000030f5: PUSH1 0x20
000030f7: DUP3
000030f8: ADD
000030f9: SWAP1
000030fa: POP
000030fb: DUP2
000030fc: DUP2
000030fd: SUB
000030fe: PUSH1 0x00
00003100: DUP4
00003101: ADD
00003102: MSTORE
00003103: PUSH2 0x310b
00003106: DUP2
00003107: PUSH2 0x2d38
0000310a: JUMP
0000310b: JUMPDEST
0000310c: SWAP1
0000310d: POP
0000310e: SWAP2
0000310f: SWAP1
00003110: POP
00003111: JUMP
00003112: JUMPDEST
00003113: PUSH1 0x00
00003115: PUSH1 0x20
00003117: DUP3
00003118: ADD
00003119: SWAP1
0000311a: POP
0000311b: DUP2
0000311c: DUP2
0000311d: SUB
0000311e: PUSH1 0x00
00003120: DUP4
00003121: ADD
00003122: MSTORE
00003123: PUSH2 0x312b
00003126: DUP2
00003127: PUSH2 0x2d5b
0000312a: JUMP
0000312b: JUMPDEST
0000312c: SWAP1
0000312d: POP
0000312e: SWAP2
0000312f: SWAP1
00003130: POP
00003131: JUMP
00003132: JUMPDEST
00003133: PUSH1 0x00
00003135: PUSH1 0x20
00003137: DUP3
00003138: ADD
00003139: SWAP1
0000313a: POP
0000313b: DUP2
0000313c: DUP2
0000313d: SUB
0000313e: PUSH1 0x00
00003140: DUP4
00003141: ADD
00003142: MSTORE
00003143: PUSH2 0x314b
00003146: DUP2
00003147: PUSH2 0x2d7e
0000314a: JUMP
0000314b: JUMPDEST
0000314c: SWAP1
0000314d: POP
0000314e: SWAP2
0000314f: SWAP1
00003150: POP
00003151: JUMP
00003152: JUMPDEST
00003153: PUSH1 0x00
00003155: PUSH1 0x20
00003157: DUP3
00003158: ADD
00003159: SWAP1
0000315a: POP
0000315b: DUP2
0000315c: DUP2
0000315d: SUB
0000315e: PUSH1 0x00
00003160: DUP4
00003161: ADD
00003162: MSTORE
00003163: PUSH2 0x316b
00003166: DUP2
00003167: PUSH2 0x2da1
0000316a: JUMP
0000316b: JUMPDEST
0000316c: SWAP1
0000316d: POP
0000316e: SWAP2
0000316f: SWAP1
00003170: POP
00003171: JUMP
00003172: JUMPDEST
00003173: PUSH1 0x00
00003175: PUSH1 0x20
00003177: DUP3
00003178: ADD
00003179: SWAP1
0000317a: POP
0000317b: DUP2
0000317c: DUP2
0000317d: SUB
0000317e: PUSH1 0x00
00003180: DUP4
00003181: ADD
00003182: MSTORE
00003183: PUSH2 0x318b
00003186: DUP2
00003187: PUSH2 0x2dc4
0000318a: JUMP
0000318b: JUMPDEST
0000318c: SWAP1
0000318d: POP
0000318e: SWAP2
0000318f: SWAP1
00003190: POP
00003191: JUMP
00003192: JUMPDEST
00003193: PUSH1 0x00
00003195: PUSH1 0x20
00003197: DUP3
00003198: ADD
00003199: SWAP1
0000319a: POP
0000319b: DUP2
0000319c: DUP2
0000319d: SUB
0000319e: PUSH1 0x00
000031a0: DUP4
000031a1: ADD
000031a2: MSTORE
000031a3: PUSH2 0x31ab
000031a6: DUP2
000031a7: PUSH2 0x2de7
000031aa: JUMP
000031ab: JUMPDEST
000031ac: SWAP1
000031ad: POP
000031ae: SWAP2
000031af: SWAP1
000031b0: POP
000031b1: JUMP
000031b2: JUMPDEST
000031b3: PUSH1 0x00
000031b5: PUSH1 0x20
000031b7: DUP3
000031b8: ADD
000031b9: SWAP1
000031ba: POP
000031bb: PUSH2 0x31c7
000031be: PUSH1 0x00
000031c0: DUP4
000031c1: ADD
000031c2: DUP5
000031c3: PUSH2 0x2e0a
000031c6: JUMP
000031c7: JUMPDEST
000031c8: SWAP3
000031c9: SWAP2
000031ca: POP
000031cb: POP
000031cc: JUMP
000031cd: JUMPDEST
000031ce: PUSH1 0x00
000031d0: PUSH2 0x31d7
000031d3: PUSH2 0x31e8
000031d6: JUMP
000031d7: JUMPDEST
000031d8: SWAP1
000031d9: POP
000031da: PUSH2 0x31e3
000031dd: DUP3
000031de: DUP3
000031df: PUSH2 0x348f
000031e2: JUMP
000031e3: JUMPDEST
000031e4: SWAP2
000031e5: SWAP1
000031e6: POP
000031e7: JUMP
000031e8: JUMPDEST
000031e9: PUSH1 0x00
000031eb: PUSH1 0x40
000031ed: MLOAD
000031ee: SWAP1
000031ef: POP
000031f0: SWAP1
000031f1: JUMP
000031f2: JUMPDEST
000031f3: PUSH1 0x00
000031f5: PUSH8 0xffffffffffffffff
000031fe: DUP3
000031ff: GT
00003200: ISZERO
00003201: PUSH2 0x320d
00003204: JUMPI
00003205: PUSH2 0x320c
00003208: PUSH2 0x35c7
0000320b: JUMP
0000320c: JUMPDEST
0000320d: JUMPDEST
0000320e: PUSH1 0x20
00003210: DUP3
00003211: MUL
00003212: SWAP1
00003213: POP
00003214: PUSH1 0x20
00003216: DUP2
00003217: ADD
00003218: SWAP1
00003219: POP
0000321a: SWAP2
0000321b: SWAP1
0000321c: POP
0000321d: JUMP
0000321e: JUMPDEST
0000321f: PUSH1 0x00
00003221: PUSH8 0xffffffffffffffff
0000322a: DUP3
0000322b: GT
0000322c: ISZERO
0000322d: PUSH2 0x3239
00003230: JUMPI
00003231: PUSH2 0x3238
00003234: PUSH2 0x35c7
00003237: JUMP
00003238: JUMPDEST
00003239: JUMPDEST
0000323a: PUSH2 0x3242
0000323d: DUP3
0000323e: PUSH2 0x35f6
00003241: JUMP
00003242: JUMPDEST
00003243: SWAP1
00003244: POP
00003245: PUSH1 0x20
00003247: DUP2
00003248: ADD
00003249: SWAP1
0000324a: POP
0000324b: SWAP2
0000324c: SWAP1
0000324d: POP
0000324e: JUMP
0000324f: JUMPDEST
00003250: PUSH1 0x00
00003252: DUP2
00003253: MLOAD
00003254: SWAP1
00003255: POP
00003256: SWAP2
00003257: SWAP1
00003258: POP
00003259: JUMP
0000325a: JUMPDEST
0000325b: PUSH1 0x00
0000325d: DUP2
0000325e: MLOAD
0000325f: SWAP1
00003260: POP
00003261: SWAP2
00003262: SWAP1
00003263: POP
00003264: JUMP
00003265: JUMPDEST
00003266: PUSH1 0x00
00003268: DUP3
00003269: DUP3
0000326a: MSTORE
0000326b: PUSH1 0x20
0000326d: DUP3
0000326e: ADD
0000326f: SWAP1
00003270: POP
00003271: SWAP3
00003272: SWAP2
00003273: POP
00003274: POP
00003275: JUMP
00003276: JUMPDEST
00003277: PUSH1 0x00
00003279: DUP3
0000327a: DUP3
0000327b: MSTORE
0000327c: PUSH1 0x20
0000327e: DUP3
0000327f: ADD
00003280: SWAP1
00003281: POP
00003282: SWAP3
00003283: SWAP2
00003284: POP
00003285: POP
00003286: JUMP
00003287: JUMPDEST
00003288: PUSH1 0x00
0000328a: DUP2
0000328b: SWAP1
0000328c: POP
0000328d: SWAP3
0000328e: SWAP2
0000328f: POP
00003290: POP
00003291: JUMP
00003292: JUMPDEST
00003293: PUSH1 0x00
00003295: PUSH2 0x329d
00003298: DUP3
00003299: PUSH2 0x3411
0000329c: JUMP
0000329d: JUMPDEST
0000329e: SWAP2
0000329f: POP
000032a0: PUSH2 0x32a8
000032a3: DUP4
000032a4: PUSH2 0x3411
000032a7: JUMP
000032a8: JUMPDEST
000032a9: SWAP3
000032aa: POP
000032ab: DUP3
000032ac: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000032cd: SUB
000032ce: DUP3
000032cf: GT
000032d0: ISZERO
000032d1: PUSH2 0x32dd
000032d4: JUMPI
000032d5: PUSH2 0x32dc
000032d8: PUSH2 0x353a
000032db: JUMP
000032dc: JUMPDEST
000032dd: JUMPDEST
000032de: DUP3
000032df: DUP3
000032e0: ADD
000032e1: SWAP1
000032e2: POP
000032e3: SWAP3
000032e4: SWAP2
000032e5: POP
000032e6: POP
000032e7: JUMP
000032e8: JUMPDEST
000032e9: PUSH1 0x00
000032eb: PUSH2 0x32f3
000032ee: DUP3
000032ef: PUSH2 0x3411
000032f2: JUMP
000032f3: JUMPDEST
000032f4: SWAP2
000032f5: POP
000032f6: PUSH2 0x32fe
000032f9: DUP4
000032fa: PUSH2 0x3411
000032fd: JUMP
000032fe: JUMPDEST
000032ff: SWAP3
00003300: POP
00003301: DUP3
00003302: PUSH2 0x330e
00003305: JUMPI
00003306: PUSH2 0x330d
00003309: PUSH2 0x3569
0000330c: JUMP
0000330d: JUMPDEST
0000330e: JUMPDEST
0000330f: DUP3
00003310: DUP3
00003311: DIV
00003312: SWAP1
00003313: POP
00003314: SWAP3
00003315: SWAP2
00003316: POP
00003317: POP
00003318: JUMP
00003319: JUMPDEST
0000331a: PUSH1 0x00
0000331c: PUSH2 0x3324
0000331f: DUP3
00003320: PUSH2 0x3411
00003323: JUMP
00003324: JUMPDEST
00003325: SWAP2
00003326: POP
00003327: PUSH2 0x332f
0000332a: DUP4
0000332b: PUSH2 0x3411
0000332e: JUMP
0000332f: JUMPDEST
00003330: SWAP3
00003331: POP
00003332: DUP2
00003333: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003354: DIV
00003355: DUP4
00003356: GT
00003357: DUP3
00003358: ISZERO
00003359: ISZERO
0000335a: AND
0000335b: ISZERO
0000335c: PUSH2 0x3368
0000335f: JUMPI
00003360: PUSH2 0x3367
00003363: PUSH2 0x353a
00003366: JUMP
00003367: JUMPDEST
00003368: JUMPDEST
00003369: DUP3
0000336a: DUP3
0000336b: MUL
0000336c: SWAP1
0000336d: POP
0000336e: SWAP3
0000336f: SWAP2
00003370: POP
00003371: POP
00003372: JUMP
00003373: JUMPDEST
00003374: PUSH1 0x00
00003376: PUSH2 0x337e
00003379: DUP3
0000337a: PUSH2 0x3411
0000337d: JUMP
0000337e: JUMPDEST
0000337f: SWAP2
00003380: POP
00003381: PUSH2 0x3389
00003384: DUP4
00003385: PUSH2 0x3411
00003388: JUMP
00003389: JUMPDEST
0000338a: SWAP3
0000338b: POP
0000338c: DUP3
0000338d: DUP3
0000338e: LT
0000338f: ISZERO
00003390: PUSH2 0x339c
00003393: JUMPI
00003394: PUSH2 0x339b
00003397: PUSH2 0x353a
0000339a: JUMP
0000339b: JUMPDEST
0000339c: JUMPDEST
0000339d: DUP3
0000339e: DUP3
0000339f: SUB
000033a0: SWAP1
000033a1: POP
000033a2: SWAP3
000033a3: SWAP2
000033a4: POP
000033a5: POP
000033a6: JUMP
000033a7: JUMPDEST
000033a8: PUSH1 0x00
000033aa: PUSH2 0x33b2
000033ad: DUP3
000033ae: PUSH2 0x33f1
000033b1: JUMP
000033b2: JUMPDEST
000033b3: SWAP1
000033b4: POP
000033b5: SWAP2
000033b6: SWAP1
000033b7: POP
000033b8: JUMP
000033b9: JUMPDEST
000033ba: PUSH1 0x00
000033bc: DUP2
000033bd: ISZERO
000033be: ISZERO
000033bf: SWAP1
000033c0: POP
000033c1: SWAP2
000033c2: SWAP1
000033c3: POP
000033c4: JUMP
000033c5: JUMPDEST
000033c6: PUSH1 0x00
000033c8: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000033e9: DUP3
000033ea: AND
000033eb: SWAP1
000033ec: POP
000033ed: SWAP2
000033ee: SWAP1
000033ef: POP
000033f0: JUMP
000033f1: JUMPDEST
000033f2: PUSH1 0x00
000033f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003409: DUP3
0000340a: AND
0000340b: SWAP1
0000340c: POP
0000340d: SWAP2
0000340e: SWAP1
0000340f: POP
00003410: JUMP
00003411: JUMPDEST
00003412: PUSH1 0x00
00003414: DUP2
00003415: SWAP1
00003416: POP
00003417: SWAP2
00003418: SWAP1
00003419: POP
0000341a: JUMP
0000341b: JUMPDEST
0000341c: DUP3
0000341d: DUP2
0000341e: DUP4
0000341f: CALLDATACOPY
00003420: PUSH1 0x00
00003422: DUP4
00003423: DUP4
00003424: ADD
00003425: MSTORE
00003426: POP
00003427: POP
00003428: POP
00003429: JUMP
0000342a: JUMPDEST
0000342b: PUSH1 0x00
0000342d: JUMPDEST
0000342e: DUP4
0000342f: DUP2
00003430: LT
00003431: ISZERO
00003432: PUSH2 0x3448
00003435: JUMPI
00003436: DUP1
00003437: DUP3
00003438: ADD
00003439: MLOAD
0000343a: DUP2
0000343b: DUP5
0000343c: ADD
0000343d: MSTORE
0000343e: PUSH1 0x20
00003440: DUP2
00003441: ADD
00003442: SWAP1
00003443: POP
00003444: PUSH2 0x342d
00003447: JUMP
00003448: JUMPDEST
00003449: DUP4
0000344a: DUP2
0000344b: GT
0000344c: ISZERO
0000344d: PUSH2 0x3457
00003450: JUMPI
00003451: PUSH1 0x00
00003453: DUP5
00003454: DUP5
00003455: ADD
00003456: MSTORE
00003457: JUMPDEST
00003458: POP
00003459: POP
0000345a: POP
0000345b: POP
0000345c: JUMP
0000345d: JUMPDEST
0000345e: PUSH1 0x00
00003460: PUSH1 0x02
00003462: DUP3
00003463: DIV
00003464: SWAP1
00003465: POP
00003466: PUSH1 0x01
00003468: DUP3
00003469: AND
0000346a: DUP1
0000346b: PUSH2 0x3475
0000346e: JUMPI
0000346f: PUSH1 0x7f
00003471: DUP3
00003472: AND
00003473: SWAP2
00003474: POP
00003475: JUMPDEST
00003476: PUSH1 0x20
00003478: DUP3
00003479: LT
0000347a: DUP2
0000347b: EQ
0000347c: ISZERO
0000347d: PUSH2 0x3489
00003480: JUMPI
00003481: PUSH2 0x3488
00003484: PUSH2 0x3598
00003487: JUMP
00003488: JUMPDEST
00003489: JUMPDEST
0000348a: POP
0000348b: SWAP2
0000348c: SWAP1
0000348d: POP
0000348e: JUMP
0000348f: JUMPDEST
00003490: PUSH2 0x3498
00003493: DUP3
00003494: PUSH2 0x35f6
00003497: JUMP
00003498: JUMPDEST
00003499: DUP2
0000349a: ADD
0000349b: DUP2
0000349c: DUP2
0000349d: LT
0000349e: PUSH8 0xffffffffffffffff
000034a7: DUP3
000034a8: GT
000034a9: OR
000034aa: ISZERO
000034ab: PUSH2 0x34b7
000034ae: JUMPI
000034af: PUSH2 0x34b6
000034b2: PUSH2 0x35c7
000034b5: JUMP
000034b6: JUMPDEST
000034b7: JUMPDEST
000034b8: DUP1
000034b9: PUSH1 0x40
000034bb: MSTORE
000034bc: POP
000034bd: POP
000034be: POP
000034bf: JUMP
000034c0: JUMPDEST
000034c1: PUSH1 0x00
000034c3: PUSH2 0x34cb
000034c6: DUP3
000034c7: PUSH2 0x3411
000034ca: JUMP
000034cb: JUMPDEST
000034cc: SWAP2
000034cd: POP
000034ce: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000034ef: DUP3
000034f0: EQ
000034f1: ISZERO
000034f2: PUSH2 0x34fe
000034f5: JUMPI
000034f6: PUSH2 0x34fd
000034f9: PUSH2 0x353a
000034fc: JUMP
000034fd: JUMPDEST
000034fe: JUMPDEST
000034ff: PUSH1 0x01
00003501: DUP3
00003502: ADD
00003503: SWAP1
00003504: POP
00003505: SWAP2
00003506: SWAP1
00003507: POP
00003508: JUMP
00003509: JUMPDEST
0000350a: PUSH1 0x00
0000350c: PUSH2 0x3514
0000350f: DUP3
00003510: PUSH2 0x3411
00003513: JUMP
00003514: JUMPDEST
00003515: SWAP2
00003516: POP
00003517: PUSH2 0x351f
0000351a: DUP4
0000351b: PUSH2 0x3411
0000351e: JUMP
0000351f: JUMPDEST
00003520: SWAP3
00003521: POP
00003522: DUP3
00003523: PUSH2 0x352f
00003526: JUMPI
00003527: PUSH2 0x352e
0000352a: PUSH2 0x3569
0000352d: JUMP
0000352e: JUMPDEST
0000352f: JUMPDEST
00003530: DUP3
00003531: DUP3
00003532: MOD
00003533: SWAP1
00003534: POP
00003535: SWAP3
00003536: SWAP2
00003537: POP
00003538: POP
00003539: JUMP
0000353a: JUMPDEST
0000353b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000355c: PUSH1 0x00
0000355e: MSTORE
0000355f: PUSH1 0x11
00003561: PUSH1 0x04
00003563: MSTORE
00003564: PUSH1 0x24
00003566: PUSH1 0x00
00003568: REVERT
00003569: JUMPDEST
0000356a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000358b: PUSH1 0x00
0000358d: MSTORE
0000358e: PUSH1 0x12
00003590: PUSH1 0x04
00003592: MSTORE
00003593: PUSH1 0x24
00003595: PUSH1 0x00
00003597: REVERT
00003598: JUMPDEST
00003599: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000035ba: PUSH1 0x00
000035bc: MSTORE
000035bd: PUSH1 0x22
000035bf: PUSH1 0x04
000035c1: MSTORE
000035c2: PUSH1 0x24
000035c4: PUSH1 0x00
000035c6: REVERT
000035c7: JUMPDEST
000035c8: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000035e9: PUSH1 0x00
000035eb: MSTORE
000035ec: PUSH1 0x41
000035ee: PUSH1 0x04
000035f0: MSTORE
000035f1: PUSH1 0x24
000035f3: PUSH1 0x00
000035f5: REVERT
000035f6: JUMPDEST
000035f7: PUSH1 0x00
000035f9: PUSH1 0x1f
000035fb: NOT
000035fc: PUSH1 0x1f
000035fe: DUP4
000035ff: ADD
00003600: AND
00003601: SWAP1
00003602: POP
00003603: SWAP2
00003604: SWAP1
00003605: POP
00003606: JUMP
00003607: JUMPDEST
00003608: PUSH32 0x4e6f7420656e6f756768204554482073656e742e000000000000000000000000
00003629: PUSH1 0x00
0000362b: DUP3
0000362c: ADD
0000362d: MSTORE
0000362e: POP
0000362f: JUMP
00003630: JUMPDEST
00003631: PUSH32 0x455243373231456e756d657261626c653a206f776e657220696e646578206f75
00003652: PUSH1 0x00
00003654: DUP3
00003655: ADD
00003656: MSTORE
00003657: PUSH32 0x74206f6620626f756e6473000000000000000000000000000000000000000000
00003678: PUSH1 0x20
0000367a: DUP3
0000367b: ADD
0000367c: MSTORE
0000367d: POP
0000367e: JUMP
0000367f: JUMPDEST
00003680: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
000036a1: PUSH1 0x00
000036a3: DUP3
000036a4: ADD
000036a5: MSTORE
000036a6: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000
000036c7: PUSH1 0x20
000036c9: DUP3
000036ca: ADD
000036cb: MSTORE
000036cc: POP
000036cd: JUMP
000036ce: JUMPDEST
000036cf: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000
000036f0: PUSH1 0x00
000036f2: DUP3
000036f3: ADD
000036f4: MSTORE
000036f5: POP
000036f6: JUMP
000036f7: JUMPDEST
000036f8: PUSH32 0x54686520617373657420646f6573206e6f74206d6565742074686520756e6971
00003719: PUSH1 0x00
0000371b: DUP3
0000371c: ADD
0000371d: MSTORE
0000371e: PUSH32 0x756520636f6e73747261696e742e000000000000000000000000000000000000
0000373f: PUSH1 0x20
00003741: DUP3
00003742: ADD
00003743: MSTORE
00003744: POP
00003745: JUMP
00003746: JUMPDEST
00003747: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464
00003768: PUSH1 0x00
0000376a: DUP3
0000376b: ADD
0000376c: MSTORE
0000376d: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
0000378e: PUSH1 0x20
00003790: DUP3
00003791: ADD
00003792: MSTORE
00003793: POP
00003794: JUMP
00003795: JUMPDEST
00003796: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000
000037b7: PUSH1 0x00
000037b9: DUP3
000037ba: ADD
000037bb: MSTORE
000037bc: POP
000037bd: JUMP
000037be: JUMPDEST
000037bf: PUSH32 0x4552433732313a206f70657261746f7220717565727920666f72206e6f6e6578
000037e0: PUSH1 0x00
000037e2: DUP3
000037e3: ADD
000037e4: MSTORE
000037e5: PUSH32 0x697374656e7420746f6b656e0000000000000000000000000000000000000000
00003806: PUSH1 0x20
00003808: DUP3
00003809: ADD
0000380a: MSTORE
0000380b: POP
0000380c: JUMP
0000380d: JUMPDEST
0000380e: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f74206f77
0000382f: PUSH1 0x00
00003831: DUP3
00003832: ADD
00003833: MSTORE
00003834: PUSH32 0x6e6572206e6f7220617070726f76656420666f7220616c6c0000000000000000
00003855: PUSH1 0x20
00003857: DUP3
00003858: ADD
00003859: MSTORE
0000385a: POP
0000385b: JUMP
0000385c: JUMPDEST
0000385d: PUSH32 0x4552433732313a2062616c616e636520717565727920666f7220746865207a65
0000387e: PUSH1 0x00
00003880: DUP3
00003881: ADD
00003882: MSTORE
00003883: PUSH32 0x726f206164647265737300000000000000000000000000000000000000000000
000038a4: PUSH1 0x20
000038a6: DUP3
000038a7: ADD
000038a8: MSTORE
000038a9: POP
000038aa: JUMP
000038ab: JUMPDEST
000038ac: PUSH32 0x4552433732313a206f776e657220717565727920666f72206e6f6e6578697374
000038cd: PUSH1 0x00
000038cf: DUP3
000038d0: ADD
000038d1: MSTORE
000038d2: PUSH32 0x656e7420746f6b656e0000000000000000000000000000000000000000000000
000038f3: PUSH1 0x20
000038f5: DUP3
000038f6: ADD
000038f7: MSTORE
000038f8: POP
000038f9: JUMP
000038fa: JUMPDEST
000038fb: PUSH32 0x45524337323155524953746f726167653a2055524920736574206f66206e6f6e
0000391c: PUSH1 0x00
0000391e: DUP3
0000391f: ADD
00003920: MSTORE
00003921: PUSH32 0x6578697374656e7420746f6b656e000000000000000000000000000000000000
00003942: PUSH1 0x20
00003944: DUP3
00003945: ADD
00003946: MSTORE
00003947: POP
00003948: JUMP
00003949: JUMPDEST
0000394a: PUSH32 0x506172656e7420746f6b656e206f776e657220616e642073656e646572206d69
0000396b: PUSH1 0x00
0000396d: DUP3
0000396e: ADD
0000396f: MSTORE
00003970: PUSH32 0x736d617463682e00000000000000000000000000000000000000000000000000
00003991: PUSH1 0x20
00003993: DUP3
00003994: ADD
00003995: MSTORE
00003996: POP
00003997: JUMP
00003998: JUMPDEST
00003999: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373
000039ba: PUSH1 0x00
000039bc: DUP3
000039bd: ADD
000039be: MSTORE
000039bf: POP
000039c0: JUMP
000039c1: JUMPDEST
000039c2: PUSH32 0x45524337323155524953746f726167653a2055524920717565727920666f7220
000039e3: PUSH1 0x00
000039e5: DUP3
000039e6: ADD
000039e7: MSTORE
000039e8: PUSH32 0x6e6f6e6578697374656e7420746f6b656e000000000000000000000000000000
00003a09: PUSH1 0x20
00003a0b: DUP3
00003a0c: ADD
00003a0d: MSTORE
00003a0e: POP
00003a0f: JUMP
00003a10: JUMPDEST
00003a11: PUSH32 0x4552433732313a20617070726f76656420717565727920666f72206e6f6e6578
00003a32: PUSH1 0x00
00003a34: DUP3
00003a35: ADD
00003a36: MSTORE
00003a37: PUSH32 0x697374656e7420746f6b656e0000000000000000000000000000000000000000
00003a58: PUSH1 0x20
00003a5a: DUP3
00003a5b: ADD
00003a5c: MSTORE
00003a5d: POP
00003a5e: JUMP
00003a5f: JUMPDEST
00003a60: PUSH32 0x4552433732313a207472616e73666572206f6620746f6b656e20746861742069
00003a81: PUSH1 0x00
00003a83: DUP3
00003a84: ADD
00003a85: MSTORE
00003a86: PUSH32 0x73206e6f74206f776e0000000000000000000000000000000000000000000000
00003aa7: PUSH1 0x20
00003aa9: DUP3
00003aaa: ADD
00003aab: MSTORE
00003aac: POP
00003aad: JUMP
00003aae: JUMPDEST
00003aaf: PUSH32 0x4552433732314d657461646174613a2055524920717565727920666f72206e6f
00003ad0: PUSH1 0x00
00003ad2: DUP3
00003ad3: ADD
00003ad4: MSTORE
00003ad5: PUSH32 0x6e6578697374656e7420746f6b656e0000000000000000000000000000000000
00003af6: PUSH1 0x20
00003af8: DUP3
00003af9: ADD
00003afa: MSTORE
00003afb: POP
00003afc: JUMP
00003afd: JUMPDEST
00003afe: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65
00003b1f: PUSH1 0x00
00003b21: DUP3
00003b22: ADD
00003b23: MSTORE
00003b24: PUSH32 0x7200000000000000000000000000000000000000000000000000000000000000
00003b45: PUSH1 0x20
00003b47: DUP3
00003b48: ADD
00003b49: MSTORE
00003b4a: POP
00003b4b: JUMP
00003b4c: JUMPDEST
00003b4d: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f
00003b6e: PUSH1 0x00
00003b70: DUP3
00003b71: ADD
00003b72: MSTORE
00003b73: PUSH32 0x776e6572206e6f7220617070726f766564000000000000000000000000000000
00003b94: PUSH1 0x20
00003b96: DUP3
00003b97: ADD
00003b98: MSTORE
00003b99: POP
00003b9a: JUMP
00003b9b: JUMPDEST
00003b9c: PUSH32 0x455243373231456e756d657261626c653a20676c6f62616c20696e646578206f
00003bbd: PUSH1 0x00
00003bbf: DUP3
00003bc0: ADD
00003bc1: MSTORE
00003bc2: PUSH32 0x7574206f6620626f756e64730000000000000000000000000000000000000000
00003be3: PUSH1 0x20
00003be5: DUP3
00003be6: ADD
00003be7: MSTORE
00003be8: POP
00003be9: JUMP
00003bea: JUMPDEST
00003beb: PUSH2 0x3bf3
00003bee: DUP2
00003bef: PUSH2 0x33a7
00003bf2: JUMP
00003bf3: JUMPDEST
00003bf4: DUP2
00003bf5: EQ
00003bf6: PUSH2 0x3bfe
00003bf9: JUMPI
00003bfa: PUSH1 0x00
00003bfc: DUP1
00003bfd: REVERT
00003bfe: JUMPDEST
00003bff: POP
00003c00: JUMP
00003c01: JUMPDEST
00003c02: PUSH2 0x3c0a
00003c05: DUP2
00003c06: PUSH2 0x33b9
00003c09: JUMP
00003c0a: JUMPDEST
00003c0b: DUP2
00003c0c: EQ
00003c0d: PUSH2 0x3c15
00003c10: JUMPI
00003c11: PUSH1 0x00
00003c13: DUP1
00003c14: REVERT
00003c15: JUMPDEST
00003c16: POP
00003c17: JUMP
00003c18: JUMPDEST
00003c19: PUSH2 0x3c21
00003c1c: DUP2
00003c1d: PUSH2 0x33c5
00003c20: JUMP
00003c21: JUMPDEST
00003c22: DUP2
00003c23: EQ
00003c24: PUSH2 0x3c2c
00003c27: JUMPI
00003c28: PUSH1 0x00
00003c2a: DUP1
00003c2b: REVERT
00003c2c: JUMPDEST
00003c2d: POP
00003c2e: JUMP
00003c2f: JUMPDEST
00003c30: PUSH2 0x3c38
00003c33: DUP2
00003c34: PUSH2 0x3411
00003c37: JUMP
00003c38: JUMPDEST
00003c39: DUP2
00003c3a: EQ
00003c3b: PUSH2 0x3c43
00003c3e: JUMPI
00003c3f: PUSH1 0x00
00003c41: DUP1
00003c42: REVERT
00003c43: JUMPDEST
00003c44: POP
00003c45: JUMP
00003c46: INVALID
00003c47: PUSH9 0x747470733a2f2f7075
00003c51: PUSH15 0x6b732e7265616479706c617965722e
00003c61: PUSH14 0x652f6170692f70756e6b732fa264
00003c70: PUSH10 0x706673582212207fc566
00003c7b: UNKNOWN(0xFC)
00003c7c: DUP15
00003c7d: EXTCODECOPY
00003c7e: BALANCE
00003c7f: UNKNOWN(0xCA)
00003c80: SWAP7
00003c81: PUSH25 0xd6dc36218d9a4f4a62afceaa6e675ca892a8566cbf3064736f
00003c9b: PUSH13

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: 0xd971e219df743098b8495292f542193ae64cd0ad1ca87e4035d8b1aec5ae95d1
call_targets: 0xe70e6d49cd2e2e24a8c856dce9d2df443226f484
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd971e219df743098b8495292f542193ae64cd0ad1ca87e4035d8b1aec5ae95d1",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe70e6d49cd2e2e24a8c856dce9d2df443226f484"
    ],
    "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": "0xa0712d68",
            "selector": "0xa0712d68",
            "calldata_variants": [
                "0xa0712d68",
                "0xa0712d680000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa22cb465",
            "selector": "0xa22cb465",
            "calldata_variants": [
                "0xa22cb465",
                "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd98bb087",
            "selector": "0xd98bb087",
            "calldata_variants": [
                "0xd98bb087",
                "0xd98bb0870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6e726862",
            "selector": "0x6e726862",
            "calldata_variants": [
                "0x6e726862",
                "0x6e7268620000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2962,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7909,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [],
    "untrusted_call_count": 2
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xd971e219df743098b8495292f542193ae64cd0ad1ca87e4035d8b1aec5ae95d1
call_targets: 0xe70e6d49cd2e2e24a8c856dce9d2df443226f484
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd971e219df743098b8495292f542193ae64cd0ad1ca87e4035d8b1aec5ae95d1",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe70e6d49cd2e2e24a8c856dce9d2df443226f484"
    ],
    "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": "0xa0712d68",
            "selector": "0xa0712d68",
            "calldata_variants": [
                "0xa0712d68",
                "0xa0712d680000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa22cb465",
            "selector": "0xa22cb465",
            "calldata_variants": [
                "0xa22cb465",
                "0xa22cb4650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87b56dd",
            "selector": "0xc87b56dd",
            "calldata_variants": [
                "0xc87b56dd",
                "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd98bb087",
            "selector": "0xd98bb087",
            "calldata_variants": [
                "0xd98bb087",
                "0xd98bb0870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6e726862",
            "selector": "0x6e726862",
            "calldata_variants": [
                "0x6e726862",
                "0x6e7268620000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2962,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7909,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}