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

Analysis Run

019b477e-d1db-70f1-9950-2a85691513c4

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
Authorization based on tx.origin
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
27835 artifact.fetch complete 1 / 3 4 months ago
27836 tool.cast_disasm complete 1 / 3 4 months ago
71780 analysis.bundle complete 1 / 3 2 weeks ago
71781 capability.graph complete 1 / 3 2 weeks ago
71782 detector.run complete 1 / 3 2 weeks ago
71783 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
11
EXT*/BALANCE
4
Total opcodes
8627
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x021e
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x715018a6
00000019: GT
0000001a: PUSH2 0x0123
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb62496f5
00000024: GT
00000025: PUSH2 0x00ab
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe2f45605
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe2f45605
0000003a: EQ
0000003b: PUSH2 0x080a
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf0f44260
00000045: EQ
00000046: PUSH2 0x0835
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2ecd8f6
00000050: EQ
00000051: PUSH2 0x085e
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x089b
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfde83a34
00000066: EQ
00000067: PUSH2 0x08c4
0000006a: JUMPI
0000006b: PUSH2 0x0225
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xb62496f5
00000076: EQ
00000077: PUSH2 0x0713
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xba22abc3
00000081: EQ
00000082: PUSH2 0x0750
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xc0246668
0000008c: EQ
0000008d: PUSH2 0x0779
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xd7c94efd
00000097: EQ
00000098: PUSH2 0x07a2
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xdd62ed3e
000000a2: EQ
000000a3: PUSH2 0x07cd
000000a6: JUMPI
000000a7: PUSH2 0x0225
000000aa: JUMP
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0x95d89b41
000000b2: GT
000000b3: PUSH2 0x00f2
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x95d89b41
000000bd: EQ
000000be: PUSH2 0x061a
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x98118cb4
000000c8: EQ
000000c9: PUSH2 0x0645
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x9a7a23d6
000000d3: EQ
000000d4: PUSH2 0x0670
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xa457c2d7
000000de: EQ
000000df: PUSH2 0x0699
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xa9059cbb
000000e9: EQ
000000ea: PUSH2 0x06d6
000000ed: JUMPI
000000ee: PUSH2 0x0225
000000f1: JUMP
000000f2: JUMPDEST
000000f3: DUP1
000000f4: PUSH4 0x715018a6
000000f9: EQ
000000fa: PUSH2 0x0584
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x79cc6790
00000104: EQ
00000105: PUSH2 0x059b
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x7f6bf20a
0000010f: EQ
00000110: PUSH2 0x05c4
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x8da5cb5b
0000011a: EQ
0000011b: PUSH2 0x05ef
0000011e: JUMPI
0000011f: PUSH2 0x0225
00000122: JUMP
00000123: JUMPDEST
00000124: DUP1
00000125: PUSH4 0x313ce567
0000012a: GT
0000012b: PUSH2 0x01a6
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x42966c68
00000135: GT
00000136: PUSH2 0x0175
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x42966c68
00000140: EQ
00000141: PUSH2 0x048b
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x49bd5a5e
0000014b: EQ
0000014c: PUSH2 0x04b4
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x4fbee193
00000156: EQ
00000157: PUSH2 0x04df
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x61d027b3
00000161: EQ
00000162: PUSH2 0x051c
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x70a08231
0000016c: EQ
0000016d: PUSH2 0x0547
00000170: JUMPI
00000171: PUSH2 0x0225
00000174: JUMP
00000175: JUMPDEST
00000176: DUP1
00000177: PUSH4 0x313ce567
0000017c: EQ
0000017d: PUSH2 0x03cf
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x39509351
00000187: EQ
00000188: PUSH2 0x03fa
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x3ba246b6
00000192: EQ
00000193: PUSH2 0x0437
00000196: JUMPI
00000197: DUP1
00000198: PUSH4 0x40c10f19
0000019d: EQ
0000019e: PUSH2 0x0462
000001a1: JUMPI
000001a2: PUSH2 0x0225
000001a5: JUMP
000001a6: JUMPDEST
000001a7: DUP1
000001a8: PUSH4 0x18160ddd
000001ad: GT
000001ae: PUSH2 0x01ed
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x18160ddd
000001b8: EQ
000001b9: PUSH2 0x02e8
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x1a8145bb
000001c3: EQ
000001c4: PUSH2 0x0313
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x22429085
000001ce: EQ
000001cf: PUSH2 0x033e
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x23b872dd
000001d9: EQ
000001da: PUSH2 0x0367
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0x2bc54702
000001e4: EQ
000001e5: PUSH2 0x03a4
000001e8: JUMPI
000001e9: PUSH2 0x0225
000001ec: JUMP
000001ed: JUMPDEST
000001ee: DUP1
000001ef: PUSH4 0x06fdde03
000001f4: EQ
000001f5: PUSH2 0x022a
000001f8: JUMPI
000001f9: DUP1
000001fa: PUSH4 0x095ea7b3
000001ff: EQ
00000200: PUSH2 0x0255
00000203: JUMPI
00000204: DUP1
00000205: PUSH4 0x0c44a69e
0000020a: EQ
0000020b: PUSH2 0x0292
0000020e: JUMPI
0000020f: DUP1
00000210: PUSH4 0x13114a9d
00000215: EQ
00000216: PUSH2 0x02bd
00000219: JUMPI
0000021a: PUSH2 0x0225
0000021d: JUMP
0000021e: JUMPDEST
0000021f: CALLDATASIZE
00000220: PUSH2 0x0225
00000223: JUMPI
00000224: STOP
00000225: JUMPDEST
00000226: PUSH1 0x00
00000228: DUP1
00000229: REVERT
0000022a: JUMPDEST
0000022b: CALLVALUE
0000022c: DUP1
0000022d: ISZERO
0000022e: PUSH2 0x0236
00000231: JUMPI
00000232: PUSH1 0x00
00000234: DUP1
00000235: REVERT
00000236: JUMPDEST
00000237: POP
00000238: PUSH2 0x023f
0000023b: PUSH2 0x08ef
0000023e: JUMP
0000023f: JUMPDEST
00000240: PUSH1 0x40
00000242: MLOAD
00000243: PUSH2 0x024c
00000246: SWAP2
00000247: SWAP1
00000248: PUSH2 0x31fa
0000024b: JUMP
0000024c: JUMPDEST
0000024d: PUSH1 0x40
0000024f: MLOAD
00000250: DUP1
00000251: SWAP2
00000252: SUB
00000253: SWAP1
00000254: RETURN
00000255: JUMPDEST
00000256: CALLVALUE
00000257: DUP1
00000258: ISZERO
00000259: PUSH2 0x0261
0000025c: JUMPI
0000025d: PUSH1 0x00
0000025f: DUP1
00000260: REVERT
00000261: JUMPDEST
00000262: POP
00000263: PUSH2 0x027c
00000266: PUSH1 0x04
00000268: DUP1
00000269: CALLDATASIZE
0000026a: SUB
0000026b: DUP2
0000026c: ADD
0000026d: SWAP1
0000026e: PUSH2 0x0277
00000271: SWAP2
00000272: SWAP1
00000273: PUSH2 0x32b5
00000276: JUMP
00000277: JUMPDEST
00000278: PUSH2 0x0981
0000027b: JUMP
0000027c: JUMPDEST
0000027d: PUSH1 0x40
0000027f: MLOAD
00000280: PUSH2 0x0289
00000283: SWAP2
00000284: SWAP1
00000285: PUSH2 0x3310
00000288: JUMP
00000289: JUMPDEST
0000028a: PUSH1 0x40
0000028c: MLOAD
0000028d: DUP1
0000028e: SWAP2
0000028f: SUB
00000290: SWAP1
00000291: RETURN
00000292: JUMPDEST
00000293: CALLVALUE
00000294: DUP1
00000295: ISZERO
00000296: PUSH2 0x029e
00000299: JUMPI
0000029a: PUSH1 0x00
0000029c: DUP1
0000029d: REVERT
0000029e: JUMPDEST
0000029f: POP
000002a0: PUSH2 0x02a7
000002a3: PUSH2 0x099f
000002a6: JUMP
000002a7: JUMPDEST
000002a8: PUSH1 0x40
000002aa: MLOAD
000002ab: PUSH2 0x02b4
000002ae: SWAP2
000002af: SWAP1
000002b0: PUSH2 0x333a
000002b3: JUMP
000002b4: JUMPDEST
000002b5: PUSH1 0x40
000002b7: MLOAD
000002b8: DUP1
000002b9: SWAP2
000002ba: SUB
000002bb: SWAP1
000002bc: RETURN
000002bd: JUMPDEST
000002be: CALLVALUE
000002bf: DUP1
000002c0: ISZERO
000002c1: PUSH2 0x02c9
000002c4: JUMPI
000002c5: PUSH1 0x00
000002c7: DUP1
000002c8: REVERT
000002c9: JUMPDEST
000002ca: POP
000002cb: PUSH2 0x02d2
000002ce: PUSH2 0x09a5
000002d1: JUMP
000002d2: JUMPDEST
000002d3: PUSH1 0x40
000002d5: MLOAD
000002d6: PUSH2 0x02df
000002d9: SWAP2
000002da: SWAP1
000002db: PUSH2 0x333a
000002de: JUMP
000002df: JUMPDEST
000002e0: PUSH1 0x40
000002e2: MLOAD
000002e3: DUP1
000002e4: SWAP2
000002e5: SUB
000002e6: SWAP1
000002e7: RETURN
000002e8: JUMPDEST
000002e9: CALLVALUE
000002ea: DUP1
000002eb: ISZERO
000002ec: PUSH2 0x02f4
000002ef: JUMPI
000002f0: PUSH1 0x00
000002f2: DUP1
000002f3: REVERT
000002f4: JUMPDEST
000002f5: POP
000002f6: PUSH2 0x02fd
000002f9: PUSH2 0x09ab
000002fc: JUMP
000002fd: JUMPDEST
000002fe: PUSH1 0x40
00000300: MLOAD
00000301: PUSH2 0x030a
00000304: SWAP2
00000305: SWAP1
00000306: PUSH2 0x333a
00000309: JUMP
0000030a: JUMPDEST
0000030b: PUSH1 0x40
0000030d: MLOAD
0000030e: DUP1
0000030f: SWAP2
00000310: SUB
00000311: SWAP1
00000312: RETURN
00000313: JUMPDEST
00000314: CALLVALUE
00000315: DUP1
00000316: ISZERO
00000317: PUSH2 0x031f
0000031a: JUMPI
0000031b: PUSH1 0x00
0000031d: DUP1
0000031e: REVERT
0000031f: JUMPDEST
00000320: POP
00000321: PUSH2 0x0328
00000324: PUSH2 0x09b5
00000327: JUMP
00000328: JUMPDEST
00000329: PUSH1 0x40
0000032b: MLOAD
0000032c: PUSH2 0x0335
0000032f: SWAP2
00000330: SWAP1
00000331: PUSH2 0x333a
00000334: JUMP
00000335: JUMPDEST
00000336: PUSH1 0x40
00000338: MLOAD
00000339: DUP1
0000033a: SWAP2
0000033b: SUB
0000033c: SWAP1
0000033d: RETURN
0000033e: JUMPDEST
0000033f: CALLVALUE
00000340: DUP1
00000341: ISZERO
00000342: PUSH2 0x034a
00000345: JUMPI
00000346: PUSH1 0x00
00000348: DUP1
00000349: REVERT
0000034a: JUMPDEST
0000034b: POP
0000034c: PUSH2 0x0365
0000034f: PUSH1 0x04
00000351: DUP1
00000352: CALLDATASIZE
00000353: SUB
00000354: DUP2
00000355: ADD
00000356: SWAP1
00000357: PUSH2 0x0360
0000035a: SWAP2
0000035b: SWAP1
0000035c: PUSH2 0x3355
0000035f: JUMP
00000360: JUMPDEST
00000361: PUSH2 0x09bb
00000364: JUMP
00000365: JUMPDEST
00000366: STOP
00000367: JUMPDEST
00000368: CALLVALUE
00000369: DUP1
0000036a: ISZERO
0000036b: PUSH2 0x0373
0000036e: JUMPI
0000036f: PUSH1 0x00
00000371: DUP1
00000372: REVERT
00000373: JUMPDEST
00000374: POP
00000375: PUSH2 0x038e
00000378: PUSH1 0x04
0000037a: DUP1
0000037b: CALLDATASIZE
0000037c: SUB
0000037d: DUP2
0000037e: ADD
0000037f: SWAP1
00000380: PUSH2 0x0389
00000383: SWAP2
00000384: SWAP1
00000385: PUSH2 0x33a8
00000388: JUMP
00000389: JUMPDEST
0000038a: PUSH2 0x0ad7
0000038d: JUMP
0000038e: JUMPDEST
0000038f: PUSH1 0x40
00000391: MLOAD
00000392: PUSH2 0x039b
00000395: SWAP2
00000396: SWAP1
00000397: PUSH2 0x3310
0000039a: JUMP
0000039b: JUMPDEST
0000039c: PUSH1 0x40
0000039e: MLOAD
0000039f: DUP1
000003a0: SWAP2
000003a1: SUB
000003a2: SWAP1
000003a3: RETURN
000003a4: JUMPDEST
000003a5: CALLVALUE
000003a6: DUP1
000003a7: ISZERO
000003a8: PUSH2 0x03b0
000003ab: JUMPI
000003ac: PUSH1 0x00
000003ae: DUP1
000003af: REVERT
000003b0: JUMPDEST
000003b1: POP
000003b2: PUSH2 0x03b9
000003b5: PUSH2 0x0bcf
000003b8: JUMP
000003b9: JUMPDEST
000003ba: PUSH1 0x40
000003bc: MLOAD
000003bd: PUSH2 0x03c6
000003c0: SWAP2
000003c1: SWAP1
000003c2: PUSH2 0x333a
000003c5: JUMP
000003c6: JUMPDEST
000003c7: PUSH1 0x40
000003c9: MLOAD
000003ca: DUP1
000003cb: SWAP2
000003cc: SUB
000003cd: SWAP1
000003ce: RETURN
000003cf: JUMPDEST
000003d0: CALLVALUE
000003d1: DUP1
000003d2: ISZERO
000003d3: PUSH2 0x03db
000003d6: JUMPI
000003d7: PUSH1 0x00
000003d9: DUP1
000003da: REVERT
000003db: JUMPDEST
000003dc: POP
000003dd: PUSH2 0x03e4
000003e0: PUSH2 0x0bd4
000003e3: JUMP
000003e4: JUMPDEST
000003e5: PUSH1 0x40
000003e7: MLOAD
000003e8: PUSH2 0x03f1
000003eb: SWAP2
000003ec: SWAP1
000003ed: PUSH2 0x3417
000003f0: JUMP
000003f1: JUMPDEST
000003f2: PUSH1 0x40
000003f4: MLOAD
000003f5: DUP1
000003f6: SWAP2
000003f7: SUB
000003f8: SWAP1
000003f9: RETURN
000003fa: JUMPDEST
000003fb: CALLVALUE
000003fc: DUP1
000003fd: ISZERO
000003fe: PUSH2 0x0406
00000401: JUMPI
00000402: PUSH1 0x00
00000404: DUP1
00000405: REVERT
00000406: JUMPDEST
00000407: POP
00000408: PUSH2 0x0421
0000040b: PUSH1 0x04
0000040d: DUP1
0000040e: CALLDATASIZE
0000040f: SUB
00000410: DUP2
00000411: ADD
00000412: SWAP1
00000413: PUSH2 0x041c
00000416: SWAP2
00000417: SWAP1
00000418: PUSH2 0x32b5
0000041b: JUMP
0000041c: JUMPDEST
0000041d: PUSH2 0x0bdd
00000420: JUMP
00000421: JUMPDEST
00000422: PUSH1 0x40
00000424: MLOAD
00000425: PUSH2 0x042e
00000428: SWAP2
00000429: SWAP1
0000042a: PUSH2 0x3310
0000042d: JUMP
0000042e: JUMPDEST
0000042f: PUSH1 0x40
00000431: MLOAD
00000432: DUP1
00000433: SWAP2
00000434: SUB
00000435: SWAP1
00000436: RETURN
00000437: JUMPDEST
00000438: CALLVALUE
00000439: DUP1
0000043a: ISZERO
0000043b: PUSH2 0x0443
0000043e: JUMPI
0000043f: PUSH1 0x00
00000441: DUP1
00000442: REVERT
00000443: JUMPDEST
00000444: POP
00000445: PUSH2 0x044c
00000448: PUSH2 0x0c89
0000044b: JUMP
0000044c: JUMPDEST
0000044d: PUSH1 0x40
0000044f: MLOAD
00000450: PUSH2 0x0459
00000453: SWAP2
00000454: SWAP1
00000455: PUSH2 0x333a
00000458: JUMP
00000459: JUMPDEST
0000045a: PUSH1 0x40
0000045c: MLOAD
0000045d: DUP1
0000045e: SWAP2
0000045f: SUB
00000460: SWAP1
00000461: RETURN
00000462: JUMPDEST
00000463: CALLVALUE
00000464: DUP1
00000465: ISZERO
00000466: PUSH2 0x046e
00000469: JUMPI
0000046a: PUSH1 0x00
0000046c: DUP1
0000046d: REVERT
0000046e: JUMPDEST
0000046f: POP
00000470: PUSH2 0x0489
00000473: PUSH1 0x04
00000475: DUP1
00000476: CALLDATASIZE
00000477: SUB
00000478: DUP2
00000479: ADD
0000047a: SWAP1
0000047b: PUSH2 0x0484
0000047e: SWAP2
0000047f: SWAP1
00000480: PUSH2 0x32b5
00000483: JUMP
00000484: JUMPDEST
00000485: PUSH2 0x0c8f
00000488: JUMP
00000489: JUMPDEST
0000048a: STOP
0000048b: JUMPDEST
0000048c: CALLVALUE
0000048d: DUP1
0000048e: ISZERO
0000048f: PUSH2 0x0497
00000492: JUMPI
00000493: PUSH1 0x00
00000495: DUP1
00000496: REVERT
00000497: JUMPDEST
00000498: POP
00000499: PUSH2 0x04b2
0000049c: PUSH1 0x04
0000049e: DUP1
0000049f: CALLDATASIZE
000004a0: SUB
000004a1: DUP2
000004a2: ADD
000004a3: SWAP1
000004a4: PUSH2 0x04ad
000004a7: SWAP2
000004a8: SWAP1
000004a9: PUSH2 0x3432
000004ac: JUMP
000004ad: JUMPDEST
000004ae: PUSH2 0x0cf7
000004b1: JUMP
000004b2: JUMPDEST
000004b3: STOP
000004b4: JUMPDEST
000004b5: CALLVALUE
000004b6: DUP1
000004b7: ISZERO
000004b8: PUSH2 0x04c0
000004bb: JUMPI
000004bc: PUSH1 0x00
000004be: DUP1
000004bf: REVERT
000004c0: JUMPDEST
000004c1: POP
000004c2: PUSH2 0x04c9
000004c5: PUSH2 0x0d04
000004c8: JUMP
000004c9: JUMPDEST
000004ca: PUSH1 0x40
000004cc: MLOAD
000004cd: PUSH2 0x04d6
000004d0: SWAP2
000004d1: SWAP1
000004d2: PUSH2 0x346e
000004d5: JUMP
000004d6: JUMPDEST
000004d7: PUSH1 0x40
000004d9: MLOAD
000004da: DUP1
000004db: SWAP2
000004dc: SUB
000004dd: SWAP1
000004de: RETURN
000004df: JUMPDEST
000004e0: CALLVALUE
000004e1: DUP1
000004e2: ISZERO
000004e3: PUSH2 0x04eb
000004e6: JUMPI
000004e7: PUSH1 0x00
000004e9: DUP1
000004ea: REVERT
000004eb: JUMPDEST
000004ec: POP
000004ed: PUSH2 0x0506
000004f0: PUSH1 0x04
000004f2: DUP1
000004f3: CALLDATASIZE
000004f4: SUB
000004f5: DUP2
000004f6: ADD
000004f7: SWAP1
000004f8: PUSH2 0x0501
000004fb: SWAP2
000004fc: SWAP1
000004fd: PUSH2 0x3489
00000500: JUMP
00000501: JUMPDEST
00000502: PUSH2 0x0d28
00000505: JUMP
00000506: JUMPDEST
00000507: PUSH1 0x40
00000509: MLOAD
0000050a: PUSH2 0x0513
0000050d: SWAP2
0000050e: SWAP1
0000050f: PUSH2 0x3310
00000512: JUMP
00000513: JUMPDEST
00000514: PUSH1 0x40
00000516: MLOAD
00000517: DUP1
00000518: SWAP2
00000519: SUB
0000051a: SWAP1
0000051b: RETURN
0000051c: JUMPDEST
0000051d: CALLVALUE
0000051e: DUP1
0000051f: ISZERO
00000520: PUSH2 0x0528
00000523: JUMPI
00000524: PUSH1 0x00
00000526: DUP1
00000527: REVERT
00000528: JUMPDEST
00000529: POP
0000052a: PUSH2 0x0531
0000052d: PUSH2 0x0d7e
00000530: JUMP
00000531: JUMPDEST
00000532: PUSH1 0x40
00000534: MLOAD
00000535: PUSH2 0x053e
00000538: SWAP2
00000539: SWAP1
0000053a: PUSH2 0x346e
0000053d: JUMP
0000053e: JUMPDEST
0000053f: PUSH1 0x40
00000541: MLOAD
00000542: DUP1
00000543: SWAP2
00000544: SUB
00000545: SWAP1
00000546: RETURN
00000547: JUMPDEST
00000548: CALLVALUE
00000549: DUP1
0000054a: ISZERO
0000054b: PUSH2 0x0553
0000054e: JUMPI
0000054f: PUSH1 0x00
00000551: DUP1
00000552: REVERT
00000553: JUMPDEST
00000554: POP
00000555: PUSH2 0x056e
00000558: PUSH1 0x04
0000055a: DUP1
0000055b: CALLDATASIZE
0000055c: SUB
0000055d: DUP2
0000055e: ADD
0000055f: SWAP1
00000560: PUSH2 0x0569
00000563: SWAP2
00000564: SWAP1
00000565: PUSH2 0x3489
00000568: JUMP
00000569: JUMPDEST
0000056a: PUSH2 0x0da4
0000056d: JUMP
0000056e: JUMPDEST
0000056f: PUSH1 0x40
00000571: MLOAD
00000572: PUSH2 0x057b
00000575: SWAP2
00000576: SWAP1
00000577: PUSH2 0x333a
0000057a: JUMP
0000057b: JUMPDEST
0000057c: PUSH1 0x40
0000057e: MLOAD
0000057f: DUP1
00000580: SWAP2
00000581: SUB
00000582: SWAP1
00000583: RETURN
00000584: JUMPDEST
00000585: CALLVALUE
00000586: DUP1
00000587: ISZERO
00000588: PUSH2 0x0590
0000058b: JUMPI
0000058c: PUSH1 0x00
0000058e: DUP1
0000058f: REVERT
00000590: JUMPDEST
00000591: POP
00000592: PUSH2 0x0599
00000595: PUSH2 0x0dec
00000598: JUMP
00000599: JUMPDEST
0000059a: STOP
0000059b: JUMPDEST
0000059c: CALLVALUE
0000059d: DUP1
0000059e: ISZERO
0000059f: PUSH2 0x05a7
000005a2: JUMPI
000005a3: PUSH1 0x00
000005a5: DUP1
000005a6: REVERT
000005a7: JUMPDEST
000005a8: POP
000005a9: PUSH2 0x05c2
000005ac: PUSH1 0x04
000005ae: DUP1
000005af: CALLDATASIZE
000005b0: SUB
000005b1: DUP2
000005b2: ADD
000005b3: SWAP1
000005b4: PUSH2 0x05bd
000005b7: SWAP2
000005b8: SWAP1
000005b9: PUSH2 0x32b5
000005bc: JUMP
000005bd: JUMPDEST
000005be: PUSH2 0x0e74
000005c1: JUMP
000005c2: JUMPDEST
000005c3: STOP
000005c4: JUMPDEST
000005c5: CALLVALUE
000005c6: DUP1
000005c7: ISZERO
000005c8: PUSH2 0x05d0
000005cb: JUMPI
000005cc: PUSH1 0x00
000005ce: DUP1
000005cf: REVERT
000005d0: JUMPDEST
000005d1: POP
000005d2: PUSH2 0x05d9
000005d5: PUSH2 0x0e82
000005d8: JUMP
000005d9: JUMPDEST
000005da: PUSH1 0x40
000005dc: MLOAD
000005dd: PUSH2 0x05e6
000005e0: SWAP2
000005e1: SWAP1
000005e2: PUSH2 0x333a
000005e5: JUMP
000005e6: JUMPDEST
000005e7: PUSH1 0x40
000005e9: MLOAD
000005ea: DUP1
000005eb: SWAP2
000005ec: SUB
000005ed: SWAP1
000005ee: RETURN
000005ef: JUMPDEST
000005f0: CALLVALUE
000005f1: DUP1
000005f2: ISZERO
000005f3: PUSH2 0x05fb
000005f6: JUMPI
000005f7: PUSH1 0x00
000005f9: DUP1
000005fa: REVERT
000005fb: JUMPDEST
000005fc: POP
000005fd: PUSH2 0x0604
00000600: PUSH2 0x0e88
00000603: JUMP
00000604: JUMPDEST
00000605: PUSH1 0x40
00000607: MLOAD
00000608: PUSH2 0x0611
0000060b: SWAP2
0000060c: SWAP1
0000060d: PUSH2 0x346e
00000610: JUMP
00000611: JUMPDEST
00000612: PUSH1 0x40
00000614: MLOAD
00000615: DUP1
00000616: SWAP2
00000617: SUB
00000618: SWAP1
00000619: RETURN
0000061a: JUMPDEST
0000061b: CALLVALUE
0000061c: DUP1
0000061d: ISZERO
0000061e: PUSH2 0x0626
00000621: JUMPI
00000622: PUSH1 0x00
00000624: DUP1
00000625: REVERT
00000626: JUMPDEST
00000627: POP
00000628: PUSH2 0x062f
0000062b: PUSH2 0x0eb2
0000062e: JUMP
0000062f: JUMPDEST
00000630: PUSH1 0x40
00000632: MLOAD
00000633: PUSH2 0x063c
00000636: SWAP2
00000637: SWAP1
00000638: PUSH2 0x31fa
0000063b: JUMP
0000063c: JUMPDEST
0000063d: PUSH1 0x40
0000063f: MLOAD
00000640: DUP1
00000641: SWAP2
00000642: SUB
00000643: SWAP1
00000644: RETURN
00000645: JUMPDEST
00000646: CALLVALUE
00000647: DUP1
00000648: ISZERO
00000649: PUSH2 0x0651
0000064c: JUMPI
0000064d: PUSH1 0x00
0000064f: DUP1
00000650: REVERT
00000651: JUMPDEST
00000652: POP
00000653: PUSH2 0x065a
00000656: PUSH2 0x0f44
00000659: JUMP
0000065a: JUMPDEST
0000065b: PUSH1 0x40
0000065d: MLOAD
0000065e: PUSH2 0x0667
00000661: SWAP2
00000662: SWAP1
00000663: PUSH2 0x333a
00000666: JUMP
00000667: JUMPDEST
00000668: PUSH1 0x40
0000066a: MLOAD
0000066b: DUP1
0000066c: SWAP2
0000066d: SUB
0000066e: SWAP1
0000066f: RETURN
00000670: JUMPDEST
00000671: CALLVALUE
00000672: DUP1
00000673: ISZERO
00000674: PUSH2 0x067c
00000677: JUMPI
00000678: PUSH1 0x00
0000067a: DUP1
0000067b: REVERT
0000067c: JUMPDEST
0000067d: POP
0000067e: PUSH2 0x0697
00000681: PUSH1 0x04
00000683: DUP1
00000684: CALLDATASIZE
00000685: SUB
00000686: DUP2
00000687: ADD
00000688: SWAP1
00000689: PUSH2 0x0692
0000068c: SWAP2
0000068d: SWAP1
0000068e: PUSH2 0x34e2
00000691: JUMP
00000692: JUMPDEST
00000693: PUSH2 0x0f4a
00000696: JUMP
00000697: JUMPDEST
00000698: STOP
00000699: JUMPDEST
0000069a: CALLVALUE
0000069b: DUP1
0000069c: ISZERO
0000069d: PUSH2 0x06a5
000006a0: JUMPI
000006a1: PUSH1 0x00
000006a3: DUP1
000006a4: REVERT
000006a5: JUMPDEST
000006a6: POP
000006a7: PUSH2 0x06c0
000006aa: PUSH1 0x04
000006ac: DUP1
000006ad: CALLDATASIZE
000006ae: SUB
000006af: DUP2
000006b0: ADD
000006b1: SWAP1
000006b2: PUSH2 0x06bb
000006b5: SWAP2
000006b6: SWAP1
000006b7: PUSH2 0x32b5
000006ba: JUMP
000006bb: JUMPDEST
000006bc: PUSH2 0x102c
000006bf: JUMP
000006c0: JUMPDEST
000006c1: PUSH1 0x40
000006c3: MLOAD
000006c4: PUSH2 0x06cd
000006c7: SWAP2
000006c8: SWAP1
000006c9: PUSH2 0x3310
000006cc: JUMP
000006cd: JUMPDEST
000006ce: PUSH1 0x40
000006d0: MLOAD
000006d1: DUP1
000006d2: SWAP2
000006d3: SUB
000006d4: SWAP1
000006d5: RETURN
000006d6: JUMPDEST
000006d7: CALLVALUE
000006d8: DUP1
000006d9: ISZERO
000006da: PUSH2 0x06e2
000006dd: JUMPI
000006de: PUSH1 0x00
000006e0: DUP1
000006e1: REVERT
000006e2: JUMPDEST
000006e3: POP
000006e4: PUSH2 0x06fd
000006e7: PUSH1 0x04
000006e9: DUP1
000006ea: CALLDATASIZE
000006eb: SUB
000006ec: DUP2
000006ed: ADD
000006ee: SWAP1
000006ef: PUSH2 0x06f8
000006f2: SWAP2
000006f3: SWAP1
000006f4: PUSH2 0x32b5
000006f7: JUMP
000006f8: JUMPDEST
000006f9: PUSH2 0x1117
000006fc: JUMP
000006fd: JUMPDEST
000006fe: PUSH1 0x40
00000700: MLOAD
00000701: PUSH2 0x070a
00000704: SWAP2
00000705: SWAP1
00000706: PUSH2 0x3310
00000709: JUMP
0000070a: JUMPDEST
0000070b: PUSH1 0x40
0000070d: MLOAD
0000070e: DUP1
0000070f: SWAP2
00000710: SUB
00000711: SWAP1
00000712: RETURN
00000713: JUMPDEST
00000714: CALLVALUE
00000715: DUP1
00000716: ISZERO
00000717: PUSH2 0x071f
0000071a: JUMPI
0000071b: PUSH1 0x00
0000071d: DUP1
0000071e: REVERT
0000071f: JUMPDEST
00000720: POP
00000721: PUSH2 0x073a
00000724: PUSH1 0x04
00000726: DUP1
00000727: CALLDATASIZE
00000728: SUB
00000729: DUP2
0000072a: ADD
0000072b: SWAP1
0000072c: PUSH2 0x0735
0000072f: SWAP2
00000730: SWAP1
00000731: PUSH2 0x3489
00000734: JUMP
00000735: JUMPDEST
00000736: PUSH2 0x1135
00000739: JUMP
0000073a: JUMPDEST
0000073b: PUSH1 0x40
0000073d: MLOAD
0000073e: PUSH2 0x0747
00000741: SWAP2
00000742: SWAP1
00000743: PUSH2 0x3310
00000746: JUMP
00000747: JUMPDEST
00000748: PUSH1 0x40
0000074a: MLOAD
0000074b: DUP1
0000074c: SWAP2
0000074d: SUB
0000074e: SWAP1
0000074f: RETURN
00000750: JUMPDEST
00000751: CALLVALUE
00000752: DUP1
00000753: ISZERO
00000754: PUSH2 0x075c
00000757: JUMPI
00000758: PUSH1 0x00
0000075a: DUP1
0000075b: REVERT
0000075c: JUMPDEST
0000075d: POP
0000075e: PUSH2 0x0777
00000761: PUSH1 0x04
00000763: DUP1
00000764: CALLDATASIZE
00000765: SUB
00000766: DUP2
00000767: ADD
00000768: SWAP1
00000769: PUSH2 0x0772
0000076c: SWAP2
0000076d: SWAP1
0000076e: PUSH2 0x3432
00000771: JUMP
00000772: JUMPDEST
00000773: PUSH2 0x1155
00000776: JUMP
00000777: JUMPDEST
00000778: STOP
00000779: JUMPDEST
0000077a: CALLVALUE
0000077b: DUP1
0000077c: ISZERO
0000077d: PUSH2 0x0785
00000780: JUMPI
00000781: PUSH1 0x00
00000783: DUP1
00000784: REVERT
00000785: JUMPDEST
00000786: POP
00000787: PUSH2 0x07a0
0000078a: PUSH1 0x04
0000078c: DUP1
0000078d: CALLDATASIZE
0000078e: SUB
0000078f: DUP2
00000790: ADD
00000791: SWAP1
00000792: PUSH2 0x079b
00000795: SWAP2
00000796: SWAP1
00000797: PUSH2 0x34e2
0000079a: JUMP
0000079b: JUMPDEST
0000079c: PUSH2 0x11f7
0000079f: JUMP
000007a0: JUMPDEST
000007a1: STOP
000007a2: JUMPDEST
000007a3: CALLVALUE
000007a4: DUP1
000007a5: ISZERO
000007a6: PUSH2 0x07ae
000007a9: JUMPI
000007aa: PUSH1 0x00
000007ac: DUP1
000007ad: REVERT
000007ae: JUMPDEST
000007af: POP
000007b0: PUSH2 0x07b7
000007b3: PUSH2 0x131c
000007b6: JUMP
000007b7: JUMPDEST
000007b8: PUSH1 0x40
000007ba: MLOAD
000007bb: PUSH2 0x07c4
000007be: SWAP2
000007bf: SWAP1
000007c0: PUSH2 0x333a
000007c3: JUMP
000007c4: JUMPDEST
000007c5: PUSH1 0x40
000007c7: MLOAD
000007c8: DUP1
000007c9: SWAP2
000007ca: SUB
000007cb: SWAP1
000007cc: RETURN
000007cd: JUMPDEST
000007ce: CALLVALUE
000007cf: DUP1
000007d0: ISZERO
000007d1: PUSH2 0x07d9
000007d4: JUMPI
000007d5: PUSH1 0x00
000007d7: DUP1
000007d8: REVERT
000007d9: JUMPDEST
000007da: POP
000007db: PUSH2 0x07f4
000007de: PUSH1 0x04
000007e0: DUP1
000007e1: CALLDATASIZE
000007e2: SUB
000007e3: DUP2
000007e4: ADD
000007e5: SWAP1
000007e6: PUSH2 0x07ef
000007e9: SWAP2
000007ea: SWAP1
000007eb: PUSH2 0x3522
000007ee: JUMP
000007ef: JUMPDEST
000007f0: PUSH2 0x1322
000007f3: JUMP
000007f4: JUMPDEST
000007f5: PUSH1 0x40
000007f7: MLOAD
000007f8: PUSH2 0x0801
000007fb: SWAP2
000007fc: SWAP1
000007fd: PUSH2 0x333a
00000800: JUMP
00000801: JUMPDEST
00000802: PUSH1 0x40
00000804: MLOAD
00000805: DUP1
00000806: SWAP2
00000807: SUB
00000808: SWAP1
00000809: RETURN
0000080a: JUMPDEST
0000080b: CALLVALUE
0000080c: DUP1
0000080d: ISZERO
0000080e: PUSH2 0x0816
00000811: JUMPI
00000812: PUSH1 0x00
00000814: DUP1
00000815: REVERT
00000816: JUMPDEST
00000817: POP
00000818: PUSH2 0x081f
0000081b: PUSH2 0x13a9
0000081e: JUMP
0000081f: JUMPDEST
00000820: PUSH1 0x40
00000822: MLOAD
00000823: PUSH2 0x082c
00000826: SWAP2
00000827: SWAP1
00000828: PUSH2 0x333a
0000082b: JUMP
0000082c: JUMPDEST
0000082d: PUSH1 0x40
0000082f: MLOAD
00000830: DUP1
00000831: SWAP2
00000832: SUB
00000833: SWAP1
00000834: RETURN
00000835: JUMPDEST
00000836: CALLVALUE
00000837: DUP1
00000838: ISZERO
00000839: PUSH2 0x0841
0000083c: JUMPI
0000083d: PUSH1 0x00
0000083f: DUP1
00000840: REVERT
00000841: JUMPDEST
00000842: POP
00000843: PUSH2 0x085c
00000846: PUSH1 0x04
00000848: DUP1
00000849: CALLDATASIZE
0000084a: SUB
0000084b: DUP2
0000084c: ADD
0000084d: SWAP1
0000084e: PUSH2 0x0857
00000851: SWAP2
00000852: SWAP1
00000853: PUSH2 0x3489
00000856: JUMP
00000857: JUMPDEST
00000858: PUSH2 0x13d2
0000085b: JUMP
0000085c: JUMPDEST
0000085d: STOP
0000085e: JUMPDEST
0000085f: CALLVALUE
00000860: DUP1
00000861: ISZERO
00000862: PUSH2 0x086a
00000865: JUMPI
00000866: PUSH1 0x00
00000868: DUP1
00000869: REVERT
0000086a: JUMPDEST
0000086b: POP
0000086c: PUSH2 0x0885
0000086f: PUSH1 0x04
00000871: DUP1
00000872: CALLDATASIZE
00000873: SUB
00000874: DUP2
00000875: ADD
00000876: SWAP1
00000877: PUSH2 0x0880
0000087a: SWAP2
0000087b: SWAP1
0000087c: PUSH2 0x3432
0000087f: JUMP
00000880: JUMPDEST
00000881: PUSH2 0x14f8
00000884: JUMP
00000885: JUMPDEST
00000886: PUSH1 0x40
00000888: MLOAD
00000889: PUSH2 0x0892
0000088c: SWAP2
0000088d: SWAP1
0000088e: PUSH2 0x346e
00000891: JUMP
00000892: JUMPDEST
00000893: PUSH1 0x40
00000895: MLOAD
00000896: DUP1
00000897: SWAP2
00000898: SUB
00000899: SWAP1
0000089a: RETURN
0000089b: JUMPDEST
0000089c: CALLVALUE
0000089d: DUP1
0000089e: ISZERO
0000089f: PUSH2 0x08a7
000008a2: JUMPI
000008a3: PUSH1 0x00
000008a5: DUP1
000008a6: REVERT
000008a7: JUMPDEST
000008a8: POP
000008a9: PUSH2 0x08c2
000008ac: PUSH1 0x04
000008ae: DUP1
000008af: CALLDATASIZE
000008b0: SUB
000008b1: DUP2
000008b2: ADD
000008b3: SWAP1
000008b4: PUSH2 0x08bd
000008b7: SWAP2
000008b8: SWAP1
000008b9: PUSH2 0x3489
000008bc: JUMP
000008bd: JUMPDEST
000008be: PUSH2 0x1537
000008c1: JUMP
000008c2: JUMPDEST
000008c3: STOP
000008c4: JUMPDEST
000008c5: CALLVALUE
000008c6: DUP1
000008c7: ISZERO
000008c8: PUSH2 0x08d0
000008cb: JUMPI
000008cc: PUSH1 0x00
000008ce: DUP1
000008cf: REVERT
000008d0: JUMPDEST
000008d1: POP
000008d2: PUSH2 0x08d9
000008d5: PUSH2 0x162e
000008d8: JUMP
000008d9: JUMPDEST
000008da: PUSH1 0x40
000008dc: MLOAD
000008dd: PUSH2 0x08e6
000008e0: SWAP2
000008e1: SWAP1
000008e2: PUSH2 0x333a
000008e5: JUMP
000008e6: JUMPDEST
000008e7: PUSH1 0x40
000008e9: MLOAD
000008ea: DUP1
000008eb: SWAP2
000008ec: SUB
000008ed: SWAP1
000008ee: RETURN
000008ef: JUMPDEST
000008f0: PUSH1 0x60
000008f2: PUSH1 0x03
000008f4: DUP1
000008f5: SLOAD
000008f6: PUSH2 0x08fe
000008f9: SWAP1
000008fa: PUSH2 0x3591
000008fd: JUMP
000008fe: JUMPDEST
000008ff: DUP1
00000900: PUSH1 0x1f
00000902: ADD
00000903: PUSH1 0x20
00000905: DUP1
00000906: SWAP2
00000907: DIV
00000908: MUL
00000909: PUSH1 0x20
0000090b: ADD
0000090c: PUSH1 0x40
0000090e: MLOAD
0000090f: SWAP1
00000910: DUP2
00000911: ADD
00000912: PUSH1 0x40
00000914: MSTORE
00000915: DUP1
00000916: SWAP3
00000917: SWAP2
00000918: SWAP1
00000919: DUP2
0000091a: DUP2
0000091b: MSTORE
0000091c: PUSH1 0x20
0000091e: ADD
0000091f: DUP3
00000920: DUP1
00000921: SLOAD
00000922: PUSH2 0x092a
00000925: SWAP1
00000926: PUSH2 0x3591
00000929: JUMP
0000092a: JUMPDEST
0000092b: DUP1
0000092c: ISZERO
0000092d: PUSH2 0x0977
00000930: JUMPI
00000931: DUP1
00000932: PUSH1 0x1f
00000934: LT
00000935: PUSH2 0x094c
00000938: JUMPI
00000939: PUSH2 0x0100
0000093c: DUP1
0000093d: DUP4
0000093e: SLOAD
0000093f: DIV
00000940: MUL
00000941: DUP4
00000942: MSTORE
00000943: SWAP2
00000944: PUSH1 0x20
00000946: ADD
00000947: SWAP2
00000948: PUSH2 0x0977
0000094b: JUMP
0000094c: JUMPDEST
0000094d: DUP3
0000094e: ADD
0000094f: SWAP2
00000950: SWAP1
00000951: PUSH1 0x00
00000953: MSTORE
00000954: PUSH1 0x20
00000956: PUSH1 0x00
00000958: KECCAK256
00000959: SWAP1
0000095a: JUMPDEST
0000095b: DUP2
0000095c: SLOAD
0000095d: DUP2
0000095e: MSTORE
0000095f: SWAP1
00000960: PUSH1 0x01
00000962: ADD
00000963: SWAP1
00000964: PUSH1 0x20
00000966: ADD
00000967: DUP1
00000968: DUP4
00000969: GT
0000096a: PUSH2 0x095a
0000096d: JUMPI
0000096e: DUP3
0000096f: SWAP1
00000970: SUB
00000971: PUSH1 0x1f
00000973: AND
00000974: DUP3
00000975: ADD
00000976: SWAP2
00000977: JUMPDEST
00000978: POP
00000979: POP
0000097a: POP
0000097b: POP
0000097c: POP
0000097d: SWAP1
0000097e: POP
0000097f: SWAP1
00000980: JUMP
00000981: JUMPDEST
00000982: PUSH1 0x00
00000984: PUSH2 0x0995
00000987: PUSH2 0x098e
0000098a: PUSH2 0x1634
0000098d: JUMP
0000098e: JUMPDEST
0000098f: DUP5
00000990: DUP5
00000991: PUSH2 0x163c
00000994: JUMP
00000995: JUMPDEST
00000996: PUSH1 0x01
00000998: SWAP1
00000999: POP
0000099a: SWAP3
0000099b: SWAP2
0000099c: POP
0000099d: POP
0000099e: JUMP
0000099f: JUMPDEST
000009a0: PUSH1 0x13
000009a2: SLOAD
000009a3: DUP2
000009a4: JUMP
000009a5: JUMPDEST
000009a6: PUSH1 0x0c
000009a8: SLOAD
000009a9: DUP2
000009aa: JUMP
000009ab: JUMPDEST
000009ac: PUSH1 0x00
000009ae: PUSH1 0x02
000009b0: SLOAD
000009b1: SWAP1
000009b2: POP
000009b3: SWAP1
000009b4: JUMP
000009b5: JUMPDEST
000009b6: PUSH1 0x11
000009b8: SLOAD
000009b9: DUP2
000009ba: JUMP
000009bb: JUMPDEST
000009bc: PUSH2 0x09c3
000009bf: PUSH2 0x1634
000009c2: JUMP
000009c3: JUMPDEST
000009c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009d9: AND
000009da: PUSH2 0x09e1
000009dd: PUSH2 0x0e88
000009e0: JUMP
000009e1: JUMPDEST
000009e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009f7: AND
000009f8: EQ
000009f9: PUSH2 0x0a37
000009fc: JUMPI
000009fd: PUSH1 0x40
000009ff: MLOAD
00000a00: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a21: DUP2
00000a22: MSTORE
00000a23: PUSH1 0x04
00000a25: ADD
00000a26: PUSH2 0x0a2e
00000a29: SWAP1
00000a2a: PUSH2 0x360e
00000a2d: JUMP
00000a2e: JUMPDEST
00000a2f: PUSH1 0x40
00000a31: MLOAD
00000a32: DUP1
00000a33: SWAP2
00000a34: SUB
00000a35: SWAP1
00000a36: REVERT
00000a37: JUMPDEST
00000a38: DUP3
00000a39: PUSH1 0x0d
00000a3b: DUP2
00000a3c: SWAP1
00000a3d: SSTORE
00000a3e: POP
00000a3f: DUP2
00000a40: PUSH1 0x0e
00000a42: DUP2
00000a43: SWAP1
00000a44: SSTORE
00000a45: POP
00000a46: DUP1
00000a47: PUSH1 0x0f
00000a49: DUP2
00000a4a: SWAP1
00000a4b: SSTORE
00000a4c: POP
00000a4d: PUSH1 0x64
00000a4f: PUSH1 0x0f
00000a51: SLOAD
00000a52: PUSH1 0x0e
00000a54: SLOAD
00000a55: PUSH1 0x0d
00000a57: SLOAD
00000a58: PUSH2 0x0a61
00000a5b: SWAP2
00000a5c: SWAP1
00000a5d: PUSH2 0x365d
00000a60: JUMP
00000a61: JUMPDEST
00000a62: PUSH2 0x0a6b
00000a65: SWAP2
00000a66: SWAP1
00000a67: PUSH2 0x365d
00000a6a: JUMP
00000a6b: JUMPDEST
00000a6c: PUSH2 0x0a75
00000a6f: SWAP2
00000a70: SWAP1
00000a71: PUSH2 0x365d
00000a74: JUMP
00000a75: JUMPDEST
00000a76: PUSH1 0x0c
00000a78: DUP2
00000a79: SWAP1
00000a7a: SSTORE
00000a7b: POP
00000a7c: PUSH1 0x64
00000a7e: PUSH1 0x0f
00000a80: SLOAD
00000a81: GT
00000a82: ISZERO
00000a83: PUSH2 0x0ac1
00000a86: JUMPI
00000a87: PUSH1 0x40
00000a89: MLOAD
00000a8a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000aab: DUP2
00000aac: MSTORE
00000aad: PUSH1 0x04
00000aaf: ADD
00000ab0: PUSH2 0x0ab8
00000ab3: SWAP1
00000ab4: PUSH2 0x36dd
00000ab7: JUMP
00000ab8: JUMPDEST
00000ab9: PUSH1 0x40
00000abb: MLOAD
00000abc: DUP1
00000abd: SWAP2
00000abe: SUB
00000abf: SWAP1
00000ac0: REVERT
00000ac1: JUMPDEST
00000ac2: PUSH2 0x01f4
00000ac5: PUSH1 0x0c
00000ac7: SLOAD
00000ac8: GT
00000ac9: ISZERO
00000aca: PUSH2 0x0ad2
00000acd: JUMPI
00000ace: PUSH1 0x00
00000ad0: DUP1
00000ad1: REVERT
00000ad2: JUMPDEST
00000ad3: POP
00000ad4: POP
00000ad5: POP
00000ad6: JUMP
00000ad7: JUMPDEST
00000ad8: PUSH1 0x00
00000ada: PUSH2 0x0ae4
00000add: DUP5
00000ade: DUP5
00000adf: DUP5
00000ae0: PUSH2 0x1805
00000ae3: JUMP
00000ae4: JUMPDEST
00000ae5: PUSH1 0x00
00000ae7: PUSH1 0x01
00000ae9: PUSH1 0x00
00000aeb: DUP7
00000aec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b01: AND
00000b02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b17: AND
00000b18: DUP2
00000b19: MSTORE
00000b1a: PUSH1 0x20
00000b1c: ADD
00000b1d: SWAP1
00000b1e: DUP2
00000b1f: MSTORE
00000b20: PUSH1 0x20
00000b22: ADD
00000b23: PUSH1 0x00
00000b25: KECCAK256
00000b26: PUSH1 0x00
00000b28: PUSH2 0x0b2f
00000b2b: PUSH2 0x1634
00000b2e: JUMP
00000b2f: JUMPDEST
00000b30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b45: AND
00000b46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b5b: AND
00000b5c: DUP2
00000b5d: MSTORE
00000b5e: PUSH1 0x20
00000b60: ADD
00000b61: SWAP1
00000b62: DUP2
00000b63: MSTORE
00000b64: PUSH1 0x20
00000b66: ADD
00000b67: PUSH1 0x00
00000b69: KECCAK256
00000b6a: SLOAD
00000b6b: SWAP1
00000b6c: POP
00000b6d: DUP3
00000b6e: DUP2
00000b6f: LT
00000b70: ISZERO
00000b71: PUSH2 0x0baf
00000b74: JUMPI
00000b75: PUSH1 0x40
00000b77: MLOAD
00000b78: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b99: DUP2
00000b9a: MSTORE
00000b9b: PUSH1 0x04
00000b9d: ADD
00000b9e: PUSH2 0x0ba6
00000ba1: SWAP1
00000ba2: PUSH2 0x376f
00000ba5: JUMP
00000ba6: JUMPDEST
00000ba7: PUSH1 0x40
00000ba9: MLOAD
00000baa: DUP1
00000bab: SWAP2
00000bac: SUB
00000bad: SWAP1
00000bae: REVERT
00000baf: JUMPDEST
00000bb0: PUSH2 0x0bc3
00000bb3: DUP6
00000bb4: PUSH2 0x0bbb
00000bb7: PUSH2 0x1634
00000bba: JUMP
00000bbb: JUMPDEST
00000bbc: DUP6
00000bbd: DUP5
00000bbe: SUB
00000bbf: PUSH2 0x163c
00000bc2: JUMP
00000bc3: JUMPDEST
00000bc4: PUSH1 0x01
00000bc6: SWAP2
00000bc7: POP
00000bc8: POP
00000bc9: SWAP4
00000bca: SWAP3
00000bcb: POP
00000bcc: POP
00000bcd: POP
00000bce: JUMP
00000bcf: JUMPDEST
00000bd0: PUSH1 0x64
00000bd2: DUP2
00000bd3: JUMP
00000bd4: JUMPDEST
00000bd5: PUSH1 0x00
00000bd7: PUSH1 0x09
00000bd9: SWAP1
00000bda: POP
00000bdb: SWAP1
00000bdc: JUMP
00000bdd: JUMPDEST
00000bde: PUSH1 0x00
00000be0: PUSH2 0x0c7f
00000be3: PUSH2 0x0bea
00000be6: PUSH2 0x1634
00000be9: JUMP
00000bea: JUMPDEST
00000beb: DUP5
00000bec: DUP5
00000bed: PUSH1 0x01
00000bef: PUSH1 0x00
00000bf1: PUSH2 0x0bf8
00000bf4: PUSH2 0x1634
00000bf7: JUMP
00000bf8: JUMPDEST
00000bf9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c0e: AND
00000c0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c24: AND
00000c25: DUP2
00000c26: MSTORE
00000c27: PUSH1 0x20
00000c29: ADD
00000c2a: SWAP1
00000c2b: DUP2
00000c2c: MSTORE
00000c2d: PUSH1 0x20
00000c2f: ADD
00000c30: PUSH1 0x00
00000c32: KECCAK256
00000c33: PUSH1 0x00
00000c35: DUP9
00000c36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c4b: AND
00000c4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c61: AND
00000c62: DUP2
00000c63: MSTORE
00000c64: PUSH1 0x20
00000c66: ADD
00000c67: SWAP1
00000c68: DUP2
00000c69: MSTORE
00000c6a: PUSH1 0x20
00000c6c: ADD
00000c6d: PUSH1 0x00
00000c6f: KECCAK256
00000c70: SLOAD
00000c71: PUSH2 0x0c7a
00000c74: SWAP2
00000c75: SWAP1
00000c76: PUSH2 0x365d
00000c79: JUMP
00000c7a: JUMPDEST
00000c7b: PUSH2 0x163c
00000c7e: JUMP
00000c7f: JUMPDEST
00000c80: PUSH1 0x01
00000c82: SWAP1
00000c83: POP
00000c84: SWAP3
00000c85: SWAP2
00000c86: POP
00000c87: POP
00000c88: JUMP
00000c89: JUMPDEST
00000c8a: PUSH1 0x0d
00000c8c: SLOAD
00000c8d: DUP2
00000c8e: JUMP
00000c8f: JUMPDEST
00000c90: PUSH1 0x08
00000c92: PUSH1 0x00
00000c94: SWAP1
00000c95: SLOAD
00000c96: SWAP1
00000c97: PUSH2 0x0100
00000c9a: EXP
00000c9b: SWAP1
00000c9c: DIV
00000c9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cb2: AND
00000cb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cc8: AND
00000cc9: CALLER
00000cca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cdf: AND
00000ce0: EQ
00000ce1: PUSH2 0x0ce9
00000ce4: JUMPI
00000ce5: PUSH1 0x00
00000ce7: DUP1
00000ce8: REVERT
00000ce9: JUMPDEST
00000cea: PUSH2 0x0cf3
00000ced: DUP3
00000cee: DUP3
00000cef: PUSH2 0x1dd3
00000cf2: JUMP
00000cf3: JUMPDEST
00000cf4: POP
00000cf5: POP
00000cf6: JUMP
00000cf7: JUMPDEST
00000cf8: PUSH2 0x0d01
00000cfb: CALLER
00000cfc: DUP3
00000cfd: PUSH2 0x1f32
00000d00: JUMP
00000d01: JUMPDEST
00000d02: POP
00000d03: JUMP
00000d04: JUMPDEST
00000d05: PUSH32 0x000000000000000000000000db98950d58c62b8299192300d47294f20c093847
00000d26: DUP2
00000d27: JUMP
00000d28: JUMPDEST
00000d29: PUSH1 0x00
00000d2b: PUSH1 0x14
00000d2d: PUSH1 0x00
00000d2f: DUP4
00000d30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d45: AND
00000d46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d5b: AND
00000d5c: DUP2
00000d5d: MSTORE
00000d5e: PUSH1 0x20
00000d60: ADD
00000d61: SWAP1
00000d62: DUP2
00000d63: MSTORE
00000d64: PUSH1 0x20
00000d66: ADD
00000d67: PUSH1 0x00
00000d69: KECCAK256
00000d6a: PUSH1 0x00
00000d6c: SWAP1
00000d6d: SLOAD
00000d6e: SWAP1
00000d6f: PUSH2 0x0100
00000d72: EXP
00000d73: SWAP1
00000d74: DIV
00000d75: PUSH1 0xff
00000d77: AND
00000d78: SWAP1
00000d79: POP
00000d7a: SWAP2
00000d7b: SWAP1
00000d7c: POP
00000d7d: JUMP
00000d7e: JUMPDEST
00000d7f: PUSH1 0x08
00000d81: PUSH1 0x00
00000d83: SWAP1
00000d84: SLOAD
00000d85: SWAP1
00000d86: PUSH2 0x0100
00000d89: EXP
00000d8a: SWAP1
00000d8b: DIV
00000d8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da1: AND
00000da2: DUP2
00000da3: JUMP
00000da4: JUMPDEST
00000da5: PUSH1 0x00
00000da7: DUP1
00000da8: PUSH1 0x00
00000daa: DUP4
00000dab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dc0: AND
00000dc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dd6: AND
00000dd7: DUP2
00000dd8: MSTORE
00000dd9: PUSH1 0x20
00000ddb: ADD
00000ddc: SWAP1
00000ddd: DUP2
00000dde: MSTORE
00000ddf: PUSH1 0x20
00000de1: ADD
00000de2: PUSH1 0x00
00000de4: KECCAK256
00000de5: SLOAD
00000de6: SWAP1
00000de7: POP
00000de8: SWAP2
00000de9: SWAP1
00000dea: POP
00000deb: JUMP
00000dec: JUMPDEST
00000ded: PUSH2 0x0df4
00000df0: PUSH2 0x1634
00000df3: JUMP
00000df4: JUMPDEST
00000df5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e0a: AND
00000e0b: PUSH2 0x0e12
00000e0e: PUSH2 0x0e88
00000e11: JUMP
00000e12: JUMPDEST
00000e13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e28: AND
00000e29: EQ
00000e2a: PUSH2 0x0e68
00000e2d: JUMPI
00000e2e: PUSH1 0x40
00000e30: MLOAD
00000e31: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e52: DUP2
00000e53: MSTORE
00000e54: PUSH1 0x04
00000e56: ADD
00000e57: PUSH2 0x0e5f
00000e5a: SWAP1
00000e5b: PUSH2 0x360e
00000e5e: JUMP
00000e5f: JUMPDEST
00000e60: PUSH1 0x40
00000e62: MLOAD
00000e63: DUP1
00000e64: SWAP2
00000e65: SUB
00000e66: SWAP1
00000e67: REVERT
00000e68: JUMPDEST
00000e69: PUSH2 0x0e72
00000e6c: PUSH1 0x00
00000e6e: PUSH2 0x2108
00000e71: JUMP
00000e72: JUMPDEST
00000e73: JUMP
00000e74: JUMPDEST
00000e75: PUSH2 0x0e7e
00000e78: DUP3
00000e79: DUP3
00000e7a: PUSH2 0x21ce
00000e7d: JUMP
00000e7e: JUMPDEST
00000e7f: POP
00000e80: POP
00000e81: JUMP
00000e82: JUMPDEST
00000e83: PUSH1 0x10
00000e85: SLOAD
00000e86: DUP2
00000e87: JUMP
00000e88: JUMPDEST
00000e89: PUSH1 0x00
00000e8b: PUSH1 0x05
00000e8d: PUSH1 0x00
00000e8f: SWAP1
00000e90: SLOAD
00000e91: SWAP1
00000e92: PUSH2 0x0100
00000e95: EXP
00000e96: SWAP1
00000e97: DIV
00000e98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ead: AND
00000eae: SWAP1
00000eaf: POP
00000eb0: SWAP1
00000eb1: JUMP
00000eb2: JUMPDEST
00000eb3: PUSH1 0x60
00000eb5: PUSH1 0x04
00000eb7: DUP1
00000eb8: SLOAD
00000eb9: PUSH2 0x0ec1
00000ebc: SWAP1
00000ebd: PUSH2 0x3591
00000ec0: JUMP
00000ec1: JUMPDEST
00000ec2: DUP1
00000ec3: PUSH1 0x1f
00000ec5: ADD
00000ec6: PUSH1 0x20
00000ec8: DUP1
00000ec9: SWAP2
00000eca: DIV
00000ecb: MUL
00000ecc: PUSH1 0x20
00000ece: ADD
00000ecf: PUSH1 0x40
00000ed1: MLOAD
00000ed2: SWAP1
00000ed3: DUP2
00000ed4: ADD
00000ed5: PUSH1 0x40
00000ed7: MSTORE
00000ed8: DUP1
00000ed9: SWAP3
00000eda: SWAP2
00000edb: SWAP1
00000edc: DUP2
00000edd: DUP2
00000ede: MSTORE
00000edf: PUSH1 0x20
00000ee1: ADD
00000ee2: DUP3
00000ee3: DUP1
00000ee4: SLOAD
00000ee5: PUSH2 0x0eed
00000ee8: SWAP1
00000ee9: PUSH2 0x3591
00000eec: JUMP
00000eed: JUMPDEST
00000eee: DUP1
00000eef: ISZERO
00000ef0: PUSH2 0x0f3a
00000ef3: JUMPI
00000ef4: DUP1
00000ef5: PUSH1 0x1f
00000ef7: LT
00000ef8: PUSH2 0x0f0f
00000efb: JUMPI
00000efc: PUSH2 0x0100
00000eff: DUP1
00000f00: DUP4
00000f01: SLOAD
00000f02: DIV
00000f03: MUL
00000f04: DUP4
00000f05: MSTORE
00000f06: SWAP2
00000f07: PUSH1 0x20
00000f09: ADD
00000f0a: SWAP2
00000f0b: PUSH2 0x0f3a
00000f0e: JUMP
00000f0f: JUMPDEST
00000f10: DUP3
00000f11: ADD
00000f12: SWAP2
00000f13: SWAP1
00000f14: PUSH1 0x00
00000f16: MSTORE
00000f17: PUSH1 0x20
00000f19: PUSH1 0x00
00000f1b: KECCAK256
00000f1c: SWAP1
00000f1d: JUMPDEST
00000f1e: DUP2
00000f1f: SLOAD
00000f20: DUP2
00000f21: MSTORE
00000f22: SWAP1
00000f23: PUSH1 0x01
00000f25: ADD
00000f26: SWAP1
00000f27: PUSH1 0x20
00000f29: ADD
00000f2a: DUP1
00000f2b: DUP4
00000f2c: GT
00000f2d: PUSH2 0x0f1d
00000f30: JUMPI
00000f31: DUP3
00000f32: SWAP1
00000f33: SUB
00000f34: PUSH1 0x1f
00000f36: AND
00000f37: DUP3
00000f38: ADD
00000f39: SWAP2
00000f3a: JUMPDEST
00000f3b: POP
00000f3c: POP
00000f3d: POP
00000f3e: POP
00000f3f: POP
00000f40: SWAP1
00000f41: POP
00000f42: SWAP1
00000f43: JUMP
00000f44: JUMPDEST
00000f45: PUSH1 0x0e
00000f47: SLOAD
00000f48: DUP2
00000f49: JUMP
00000f4a: JUMPDEST
00000f4b: PUSH2 0x0f52
00000f4e: PUSH2 0x1634
00000f51: JUMP
00000f52: JUMPDEST
00000f53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f68: AND
00000f69: PUSH2 0x0f70
00000f6c: PUSH2 0x0e88
00000f6f: JUMP
00000f70: JUMPDEST
00000f71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f86: AND
00000f87: EQ
00000f88: PUSH2 0x0fc6
00000f8b: JUMPI
00000f8c: PUSH1 0x40
00000f8e: MLOAD
00000f8f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fb0: DUP2
00000fb1: MSTORE
00000fb2: PUSH1 0x04
00000fb4: ADD
00000fb5: PUSH2 0x0fbd
00000fb8: SWAP1
00000fb9: PUSH2 0x360e
00000fbc: JUMP
00000fbd: JUMPDEST
00000fbe: PUSH1 0x40
00000fc0: MLOAD
00000fc1: DUP1
00000fc2: SWAP2
00000fc3: SUB
00000fc4: SWAP1
00000fc5: REVERT
00000fc6: JUMPDEST
00000fc7: PUSH32 0x000000000000000000000000db98950d58c62b8299192300d47294f20c093847
00000fe8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ffd: AND
00000ffe: DUP3
00000fff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001014: AND
00001015: SUB
00001016: PUSH2 0x101e
00001019: JUMPI
0000101a: PUSH1 0x00
0000101c: DUP1
0000101d: REVERT
0000101e: JUMPDEST
0000101f: PUSH2 0x1028
00001022: DUP3
00001023: DUP3
00001024: PUSH2 0x2201
00001027: JUMP
00001028: JUMPDEST
00001029: POP
0000102a: POP
0000102b: JUMP
0000102c: JUMPDEST
0000102d: PUSH1 0x00
0000102f: DUP1
00001030: PUSH1 0x01
00001032: PUSH1 0x00
00001034: PUSH2 0x103b
00001037: PUSH2 0x1634
0000103a: JUMP
0000103b: JUMPDEST
0000103c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001051: AND
00001052: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001067: AND
00001068: DUP2
00001069: MSTORE
0000106a: PUSH1 0x20
0000106c: ADD
0000106d: SWAP1
0000106e: DUP2
0000106f: MSTORE
00001070: PUSH1 0x20
00001072: ADD
00001073: PUSH1 0x00
00001075: KECCAK256
00001076: PUSH1 0x00
00001078: DUP6
00001079: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000108e: AND
0000108f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010a4: AND
000010a5: DUP2
000010a6: MSTORE
000010a7: PUSH1 0x20
000010a9: ADD
000010aa: SWAP1
000010ab: DUP2
000010ac: MSTORE
000010ad: PUSH1 0x20
000010af: ADD
000010b0: PUSH1 0x00
000010b2: KECCAK256
000010b3: SLOAD
000010b4: SWAP1
000010b5: POP
000010b6: DUP3
000010b7: DUP2
000010b8: LT
000010b9: ISZERO
000010ba: PUSH2 0x10f8
000010bd: JUMPI
000010be: PUSH1 0x40
000010c0: MLOAD
000010c1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000010e2: DUP2
000010e3: MSTORE
000010e4: PUSH1 0x04
000010e6: ADD
000010e7: PUSH2 0x10ef
000010ea: SWAP1
000010eb: PUSH2 0x3801
000010ee: JUMP
000010ef: JUMPDEST
000010f0: PUSH1 0x40
000010f2: MLOAD
000010f3: DUP1
000010f4: SWAP2
000010f5: SUB
000010f6: SWAP1
000010f7: REVERT
000010f8: JUMPDEST
000010f9: PUSH2 0x110c
000010fc: PUSH2 0x1103
000010ff: PUSH2 0x1634
00001102: JUMP
00001103: JUMPDEST
00001104: DUP6
00001105: DUP6
00001106: DUP5
00001107: SUB
00001108: PUSH2 0x163c
0000110b: JUMP
0000110c: JUMPDEST
0000110d: PUSH1 0x01
0000110f: SWAP2
00001110: POP
00001111: POP
00001112: SWAP3
00001113: SWAP2
00001114: POP
00001115: POP
00001116: JUMP
00001117: JUMPDEST
00001118: PUSH1 0x00
0000111a: PUSH2 0x112b
0000111d: PUSH2 0x1124
00001120: PUSH2 0x1634
00001123: JUMP
00001124: JUMPDEST
00001125: DUP5
00001126: DUP5
00001127: PUSH2 0x1805
0000112a: JUMP
0000112b: JUMPDEST
0000112c: PUSH1 0x01
0000112e: SWAP1
0000112f: POP
00001130: SWAP3
00001131: SWAP2
00001132: POP
00001133: POP
00001134: JUMP
00001135: JUMPDEST
00001136: PUSH1 0x15
00001138: PUSH1 0x20
0000113a: MSTORE
0000113b: DUP1
0000113c: PUSH1 0x00
0000113e: MSTORE
0000113f: PUSH1 0x40
00001141: PUSH1 0x00
00001143: KECCAK256
00001144: PUSH1 0x00
00001146: SWAP2
00001147: POP
00001148: SLOAD
00001149: SWAP1
0000114a: PUSH2 0x0100
0000114d: EXP
0000114e: SWAP1
0000114f: DIV
00001150: PUSH1 0xff
00001152: AND
00001153: DUP2
00001154: JUMP
00001155: JUMPDEST
00001156: PUSH2 0x115d
00001159: PUSH2 0x1634
0000115c: JUMP
0000115d: JUMPDEST
0000115e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001173: AND
00001174: PUSH2 0x117b
00001177: PUSH2 0x0e88
0000117a: JUMP
0000117b: JUMPDEST
0000117c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001191: AND
00001192: EQ
00001193: PUSH2 0x11d1
00001196: JUMPI
00001197: PUSH1 0x40
00001199: MLOAD
0000119a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011bb: DUP2
000011bc: MSTORE
000011bd: PUSH1 0x04
000011bf: ADD
000011c0: PUSH2 0x11c8
000011c3: SWAP1
000011c4: PUSH2 0x360e
000011c7: JUMP
000011c8: JUMPDEST
000011c9: PUSH1 0x40
000011cb: MLOAD
000011cc: DUP1
000011cd: SWAP2
000011ce: SUB
000011cf: SWAP1
000011d0: REVERT
000011d1: JUMPDEST
000011d2: PUSH1 0x01
000011d4: DUP2
000011d5: LT
000011d6: ISZERO
000011d7: PUSH2 0x11df
000011da: JUMPI
000011db: PUSH1 0x00
000011dd: DUP1
000011de: REVERT
000011df: JUMPDEST
000011e0: PUSH1 0x32
000011e2: DUP2
000011e3: GT
000011e4: ISZERO
000011e5: PUSH2 0x11ed
000011e8: JUMPI
000011e9: PUSH1 0x00
000011eb: DUP1
000011ec: REVERT
000011ed: JUMPDEST
000011ee: DUP1
000011ef: PUSH1 0x0b
000011f1: DUP2
000011f2: SWAP1
000011f3: SSTORE
000011f4: POP
000011f5: POP
000011f6: JUMP
000011f7: JUMPDEST
000011f8: PUSH2 0x11ff
000011fb: PUSH2 0x1634
000011fe: JUMP
000011ff: JUMPDEST
00001200: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001215: AND
00001216: PUSH2 0x121d
00001219: PUSH2 0x0e88
0000121c: JUMP
0000121d: JUMPDEST
0000121e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001233: AND
00001234: EQ
00001235: PUSH2 0x1273
00001238: JUMPI
00001239: PUSH1 0x40
0000123b: MLOAD
0000123c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000125d: DUP2
0000125e: MSTORE
0000125f: PUSH1 0x04
00001261: ADD
00001262: PUSH2 0x126a
00001265: SWAP1
00001266: PUSH2 0x360e
00001269: JUMP
0000126a: JUMPDEST
0000126b: PUSH1 0x40
0000126d: MLOAD
0000126e: DUP1
0000126f: SWAP2
00001270: SUB
00001271: SWAP1
00001272: REVERT
00001273: JUMPDEST
00001274: DUP1
00001275: PUSH1 0x14
00001277: PUSH1 0x00
00001279: DUP5
0000127a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000128f: AND
00001290: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012a5: AND
000012a6: DUP2
000012a7: MSTORE
000012a8: PUSH1 0x20
000012aa: ADD
000012ab: SWAP1
000012ac: DUP2
000012ad: MSTORE
000012ae: PUSH1 0x20
000012b0: ADD
000012b1: PUSH1 0x00
000012b3: KECCAK256
000012b4: PUSH1 0x00
000012b6: PUSH2 0x0100
000012b9: EXP
000012ba: DUP2
000012bb: SLOAD
000012bc: DUP2
000012bd: PUSH1 0xff
000012bf: MUL
000012c0: NOT
000012c1: AND
000012c2: SWAP1
000012c3: DUP4
000012c4: ISZERO
000012c5: ISZERO
000012c6: MUL
000012c7: OR
000012c8: SWAP1
000012c9: SSTORE
000012ca: POP
000012cb: DUP2
000012cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012e1: AND
000012e2: PUSH32 0x9d8f7706ea1113d1a167b526eca956215946dd36cc7df39eb16180222d8b5df7
00001303: DUP3
00001304: PUSH1 0x40
00001306: MLOAD
00001307: PUSH2 0x1310
0000130a: SWAP2
0000130b: SWAP1
0000130c: PUSH2 0x3310
0000130f: JUMP
00001310: JUMPDEST
00001311: PUSH1 0x40
00001313: MLOAD
00001314: DUP1
00001315: SWAP2
00001316: SUB
00001317: SWAP1
00001318: LOG2
00001319: POP
0000131a: POP
0000131b: JUMP
0000131c: JUMPDEST
0000131d: PUSH1 0x0f
0000131f: SLOAD
00001320: DUP2
00001321: JUMP
00001322: JUMPDEST
00001323: PUSH1 0x00
00001325: PUSH1 0x01
00001327: PUSH1 0x00
00001329: DUP5
0000132a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000133f: AND
00001340: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001355: AND
00001356: DUP2
00001357: MSTORE
00001358: PUSH1 0x20
0000135a: ADD
0000135b: SWAP1
0000135c: DUP2
0000135d: MSTORE
0000135e: PUSH1 0x20
00001360: ADD
00001361: PUSH1 0x00
00001363: KECCAK256
00001364: PUSH1 0x00
00001366: DUP4
00001367: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000137c: AND
0000137d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001392: AND
00001393: DUP2
00001394: MSTORE
00001395: PUSH1 0x20
00001397: ADD
00001398: SWAP1
00001399: DUP2
0000139a: MSTORE
0000139b: PUSH1 0x20
0000139d: ADD
0000139e: PUSH1 0x00
000013a0: KECCAK256
000013a1: SLOAD
000013a2: SWAP1
000013a3: POP
000013a4: SWAP3
000013a5: SWAP2
000013a6: POP
000013a7: POP
000013a8: JUMP
000013a9: JUMPDEST
000013aa: PUSH1 0x00
000013ac: PUSH2 0x2710
000013af: PUSH1 0x0b
000013b1: SLOAD
000013b2: PUSH2 0x13b9
000013b5: PUSH2 0x09ab
000013b8: JUMP
000013b9: JUMPDEST
000013ba: PUSH2 0x13c3
000013bd: SWAP2
000013be: SWAP1
000013bf: PUSH2 0x3821
000013c2: JUMP
000013c3: JUMPDEST
000013c4: PUSH2 0x13cd
000013c7: SWAP2
000013c8: SWAP1
000013c9: PUSH2 0x3892
000013cc: JUMP
000013cd: JUMPDEST
000013ce: SWAP1
000013cf: POP
000013d0: SWAP1
000013d1: JUMP
000013d2: JUMPDEST
000013d3: PUSH2 0x13da
000013d6: PUSH2 0x1634
000013d9: JUMP
000013da: JUMPDEST
000013db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013f0: AND
000013f1: PUSH2 0x13f8
000013f4: PUSH2 0x0e88
000013f7: JUMP
000013f8: JUMPDEST
000013f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000140e: AND
0000140f: EQ
00001410: PUSH2 0x144e
00001413: JUMPI
00001414: PUSH1 0x40
00001416: MLOAD
00001417: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001438: DUP2
00001439: MSTORE
0000143a: PUSH1 0x04
0000143c: ADD
0000143d: PUSH2 0x1445
00001440: SWAP1
00001441: PUSH2 0x360e
00001444: JUMP
00001445: JUMPDEST
00001446: PUSH1 0x40
00001448: MLOAD
00001449: DUP1
0000144a: SWAP2
0000144b: SUB
0000144c: SWAP1
0000144d: REVERT
0000144e: JUMPDEST
0000144f: PUSH1 0x00
00001451: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001466: AND
00001467: PUSH1 0x08
00001469: PUSH1 0x00
0000146b: SWAP1
0000146c: SLOAD
0000146d: SWAP1
0000146e: PUSH2 0x0100
00001471: EXP
00001472: SWAP1
00001473: DIV
00001474: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001489: AND
0000148a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000149f: AND
000014a0: EQ
000014a1: PUSH2 0x14a9
000014a4: JUMPI
000014a5: PUSH1 0x00
000014a7: DUP1
000014a8: REVERT
000014a9: JUMPDEST
000014aa: DUP1
000014ab: PUSH1 0x08
000014ad: PUSH1 0x00
000014af: PUSH2 0x0100
000014b2: EXP
000014b3: DUP2
000014b4: SLOAD
000014b5: DUP2
000014b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014cb: MUL
000014cc: NOT
000014cd: AND
000014ce: SWAP1
000014cf: DUP4
000014d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e5: AND
000014e6: MUL
000014e7: OR
000014e8: SWAP1
000014e9: SSTORE
000014ea: POP
000014eb: PUSH2 0x14f5
000014ee: DUP2
000014ef: PUSH1 0x01
000014f1: PUSH2 0x11f7
000014f4: JUMP
000014f5: JUMPDEST
000014f6: POP
000014f7: JUMP
000014f8: JUMPDEST
000014f9: PUSH1 0x06
000014fb: DUP2
000014fc: DUP2
000014fd: SLOAD
000014fe: DUP2
000014ff: LT
00001500: PUSH2 0x1508
00001503: JUMPI
00001504: PUSH1 0x00
00001506: DUP1
00001507: REVERT
00001508: JUMPDEST
00001509: SWAP1
0000150a: PUSH1 0x00
0000150c: MSTORE
0000150d: PUSH1 0x20
0000150f: PUSH1 0x00
00001511: KECCAK256
00001512: ADD
00001513: PUSH1 0x00
00001515: SWAP2
00001516: POP
00001517: SLOAD
00001518: SWAP1
00001519: PUSH2 0x0100
0000151c: EXP
0000151d: SWAP1
0000151e: DIV
0000151f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001534: AND
00001535: DUP2
00001536: JUMP
00001537: JUMPDEST
00001538: PUSH2 0x153f
0000153b: PUSH2 0x1634
0000153e: JUMP
0000153f: JUMPDEST
00001540: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001555: AND
00001556: PUSH2 0x155d
00001559: PUSH2 0x0e88
0000155c: JUMP
0000155d: JUMPDEST
0000155e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001573: AND
00001574: EQ
00001575: PUSH2 0x15b3
00001578: JUMPI
00001579: PUSH1 0x40
0000157b: MLOAD
0000157c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000159d: DUP2
0000159e: MSTORE
0000159f: PUSH1 0x04
000015a1: ADD
000015a2: PUSH2 0x15aa
000015a5: SWAP1
000015a6: PUSH2 0x360e
000015a9: JUMP
000015aa: JUMPDEST
000015ab: PUSH1 0x40
000015ad: MLOAD
000015ae: DUP1
000015af: SWAP2
000015b0: SUB
000015b1: SWAP1
000015b2: REVERT
000015b3: JUMPDEST
000015b4: PUSH1 0x00
000015b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015cb: AND
000015cc: DUP2
000015cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015e2: AND
000015e3: SUB
000015e4: PUSH2 0x1622
000015e7: JUMPI
000015e8: PUSH1 0x40
000015ea: MLOAD
000015eb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000160c: DUP2
0000160d: MSTORE
0000160e: PUSH1 0x04
00001610: ADD
00001611: PUSH2 0x1619
00001614: SWAP1
00001615: PUSH2 0x3935
00001618: JUMP
00001619: JUMPDEST
0000161a: PUSH1 0x40
0000161c: MLOAD
0000161d: DUP1
0000161e: SWAP2
0000161f: SUB
00001620: SWAP1
00001621: REVERT
00001622: JUMPDEST
00001623: PUSH2 0x162b
00001626: DUP2
00001627: PUSH2 0x2108
0000162a: JUMP
0000162b: JUMPDEST
0000162c: POP
0000162d: JUMP
0000162e: JUMPDEST
0000162f: PUSH1 0x12
00001631: SLOAD
00001632: DUP2
00001633: JUMP
00001634: JUMPDEST
00001635: PUSH1 0x00
00001637: CALLER
00001638: SWAP1
00001639: POP
0000163a: SWAP1
0000163b: JUMP
0000163c: JUMPDEST
0000163d: PUSH1 0x00
0000163f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001654: AND
00001655: DUP4
00001656: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000166b: AND
0000166c: SUB
0000166d: PUSH2 0x16ab
00001670: JUMPI
00001671: PUSH1 0x40
00001673: MLOAD
00001674: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001695: DUP2
00001696: MSTORE
00001697: PUSH1 0x04
00001699: ADD
0000169a: PUSH2 0x16a2
0000169d: SWAP1
0000169e: PUSH2 0x39c7
000016a1: JUMP
000016a2: JUMPDEST
000016a3: PUSH1 0x40
000016a5: MLOAD
000016a6: DUP1
000016a7: SWAP2
000016a8: SUB
000016a9: SWAP1
000016aa: REVERT
000016ab: JUMPDEST
000016ac: PUSH1 0x00
000016ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016c3: AND
000016c4: DUP3
000016c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016da: AND
000016db: SUB
000016dc: PUSH2 0x171a
000016df: JUMPI
000016e0: PUSH1 0x40
000016e2: MLOAD
000016e3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001704: DUP2
00001705: MSTORE
00001706: PUSH1 0x04
00001708: ADD
00001709: PUSH2 0x1711
0000170c: SWAP1
0000170d: PUSH2 0x3a59
00001710: JUMP
00001711: JUMPDEST
00001712: PUSH1 0x40
00001714: MLOAD
00001715: DUP1
00001716: SWAP2
00001717: SUB
00001718: SWAP1
00001719: REVERT
0000171a: JUMPDEST
0000171b: DUP1
0000171c: PUSH1 0x01
0000171e: PUSH1 0x00
00001720: DUP6
00001721: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001736: AND
00001737: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000174c: AND
0000174d: DUP2
0000174e: MSTORE
0000174f: PUSH1 0x20
00001751: ADD
00001752: SWAP1
00001753: DUP2
00001754: MSTORE
00001755: PUSH1 0x20
00001757: ADD
00001758: PUSH1 0x00
0000175a: KECCAK256
0000175b: PUSH1 0x00
0000175d: DUP5
0000175e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001773: AND
00001774: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001789: AND
0000178a: DUP2
0000178b: MSTORE
0000178c: PUSH1 0x20
0000178e: ADD
0000178f: SWAP1
00001790: DUP2
00001791: MSTORE
00001792: PUSH1 0x20
00001794: ADD
00001795: PUSH1 0x00
00001797: KECCAK256
00001798: DUP2
00001799: SWAP1
0000179a: SSTORE
0000179b: POP
0000179c: DUP2
0000179d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017b2: AND
000017b3: DUP4
000017b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017c9: AND
000017ca: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000017eb: DUP4
000017ec: PUSH1 0x40
000017ee: MLOAD
000017ef: PUSH2 0x17f8
000017f2: SWAP2
000017f3: SWAP1
000017f4: PUSH2 0x333a
000017f7: JUMP
000017f8: JUMPDEST
000017f9: PUSH1 0x40
000017fb: MLOAD
000017fc: DUP1
000017fd: SWAP2
000017fe: SUB
000017ff: SWAP1
00001800: LOG3
00001801: POP
00001802: POP
00001803: POP
00001804: JUMP
00001805: JUMPDEST
00001806: PUSH1 0x00
00001808: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000181d: AND
0000181e: DUP4
0000181f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001834: AND
00001835: SUB
00001836: PUSH2 0x1874
00001839: JUMPI
0000183a: PUSH1 0x40
0000183c: MLOAD
0000183d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000185e: DUP2
0000185f: MSTORE
00001860: PUSH1 0x04
00001862: ADD
00001863: PUSH2 0x186b
00001866: SWAP1
00001867: PUSH2 0x3aeb
0000186a: JUMP
0000186b: JUMPDEST
0000186c: PUSH1 0x40
0000186e: MLOAD
0000186f: DUP1
00001870: SWAP2
00001871: SUB
00001872: SWAP1
00001873: REVERT
00001874: JUMPDEST
00001875: PUSH1 0x00
00001877: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000188c: AND
0000188d: DUP3
0000188e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018a3: AND
000018a4: SUB
000018a5: PUSH2 0x18e3
000018a8: JUMPI
000018a9: PUSH1 0x40
000018ab: MLOAD
000018ac: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018cd: DUP2
000018ce: MSTORE
000018cf: PUSH1 0x04
000018d1: ADD
000018d2: PUSH2 0x18da
000018d5: SWAP1
000018d6: PUSH2 0x3b7d
000018d9: JUMP
000018da: JUMPDEST
000018db: PUSH1 0x40
000018dd: MLOAD
000018de: DUP1
000018df: SWAP2
000018e0: SUB
000018e1: SWAP1
000018e2: REVERT
000018e3: JUMPDEST
000018e4: PUSH1 0x00
000018e6: DUP2
000018e7: SUB
000018e8: PUSH2 0x18fc
000018eb: JUMPI
000018ec: PUSH2 0x18f7
000018ef: DUP4
000018f0: DUP4
000018f1: PUSH1 0x00
000018f3: PUSH2 0x22a2
000018f6: JUMP
000018f7: JUMPDEST
000018f8: PUSH2 0x1dce
000018fb: JUMP
000018fc: JUMPDEST
000018fd: PUSH1 0x00
000018ff: PUSH2 0x1907
00001902: ADDRESS
00001903: PUSH2 0x0da4
00001906: JUMP
00001907: JUMPDEST
00001908: SWAP1
00001909: POP
0000190a: PUSH1 0x00
0000190c: PUSH2 0x1913
0000190f: PUSH2 0x13a9
00001912: JUMP
00001913: JUMPDEST
00001914: DUP3
00001915: LT
00001916: ISZERO
00001917: SWAP1
00001918: POP
00001919: DUP1
0000191a: DUP1
0000191b: ISZERO
0000191c: PUSH2 0x1932
0000191f: JUMPI
00001920: POP
00001921: PUSH1 0x09
00001923: PUSH1 0x14
00001925: SWAP1
00001926: SLOAD
00001927: SWAP1
00001928: PUSH2 0x0100
0000192b: EXP
0000192c: SWAP1
0000192d: DIV
0000192e: PUSH1 0xff
00001930: AND
00001931: ISZERO
00001932: JUMPDEST
00001933: DUP1
00001934: ISZERO
00001935: PUSH2 0x1988
00001938: JUMPI
00001939: POP
0000193a: PUSH1 0x15
0000193c: PUSH1 0x00
0000193e: DUP7
0000193f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001954: AND
00001955: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000196a: AND
0000196b: DUP2
0000196c: MSTORE
0000196d: PUSH1 0x20
0000196f: ADD
00001970: SWAP1
00001971: DUP2
00001972: MSTORE
00001973: PUSH1 0x20
00001975: ADD
00001976: PUSH1 0x00
00001978: KECCAK256
00001979: PUSH1 0x00
0000197b: SWAP1
0000197c: SLOAD
0000197d: SWAP1
0000197e: PUSH2 0x0100
00001981: EXP
00001982: SWAP1
00001983: DIV
00001984: PUSH1 0xff
00001986: AND
00001987: ISZERO
00001988: JUMPDEST
00001989: DUP1
0000198a: ISZERO
0000198b: PUSH2 0x19de
0000198e: JUMPI
0000198f: POP
00001990: PUSH1 0x14
00001992: PUSH1 0x00
00001994: DUP7
00001995: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019aa: AND
000019ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019c0: AND
000019c1: DUP2
000019c2: MSTORE
000019c3: PUSH1 0x20
000019c5: ADD
000019c6: SWAP1
000019c7: DUP2
000019c8: MSTORE
000019c9: PUSH1 0x20
000019cb: ADD
000019cc: PUSH1 0x00
000019ce: KECCAK256
000019cf: PUSH1 0x00
000019d1: SWAP1
000019d2: SLOAD
000019d3: SWAP1
000019d4: PUSH2 0x0100
000019d7: EXP
000019d8: SWAP1
000019d9: DIV
000019da: PUSH1 0xff
000019dc: AND
000019dd: ISZERO
000019de: JUMPDEST
000019df: DUP1
000019e0: ISZERO
000019e1: PUSH2 0x1a34
000019e4: JUMPI
000019e5: POP
000019e6: PUSH1 0x14
000019e8: PUSH1 0x00
000019ea: DUP6
000019eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a00: AND
00001a01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a16: AND
00001a17: DUP2
00001a18: MSTORE
00001a19: PUSH1 0x20
00001a1b: ADD
00001a1c: SWAP1
00001a1d: DUP2
00001a1e: MSTORE
00001a1f: PUSH1 0x20
00001a21: ADD
00001a22: PUSH1 0x00
00001a24: KECCAK256
00001a25: PUSH1 0x00
00001a27: SWAP1
00001a28: SLOAD
00001a29: SWAP1
00001a2a: PUSH2 0x0100
00001a2d: EXP
00001a2e: SWAP1
00001a2f: DIV
00001a30: PUSH1 0xff
00001a32: AND
00001a33: ISZERO
00001a34: JUMPDEST
00001a35: ISZERO
00001a36: PUSH2 0x1a78
00001a39: JUMPI
00001a3a: PUSH1 0x01
00001a3c: PUSH1 0x09
00001a3e: PUSH1 0x14
00001a40: PUSH2 0x0100
00001a43: EXP
00001a44: DUP2
00001a45: SLOAD
00001a46: DUP2
00001a47: PUSH1 0xff
00001a49: MUL
00001a4a: NOT
00001a4b: AND
00001a4c: SWAP1
00001a4d: DUP4
00001a4e: ISZERO
00001a4f: ISZERO
00001a50: MUL
00001a51: OR
00001a52: SWAP1
00001a53: SSTORE
00001a54: POP
00001a55: PUSH2 0x1a5c
00001a58: PUSH2 0x2521
00001a5b: JUMP
00001a5c: JUMPDEST
00001a5d: PUSH1 0x00
00001a5f: PUSH1 0x09
00001a61: PUSH1 0x14
00001a63: PUSH2 0x0100
00001a66: EXP
00001a67: DUP2
00001a68: SLOAD
00001a69: DUP2
00001a6a: PUSH1 0xff
00001a6c: MUL
00001a6d: NOT
00001a6e: AND
00001a6f: SWAP1
00001a70: DUP4
00001a71: ISZERO
00001a72: ISZERO
00001a73: MUL
00001a74: OR
00001a75: SWAP1
00001a76: SSTORE
00001a77: POP
00001a78: JUMPDEST
00001a79: PUSH1 0x00
00001a7b: PUSH1 0x09
00001a7d: PUSH1 0x14
00001a7f: SWAP1
00001a80: SLOAD
00001a81: SWAP1
00001a82: PUSH2 0x0100
00001a85: EXP
00001a86: SWAP1
00001a87: DIV
00001a88: PUSH1 0xff
00001a8a: AND
00001a8b: ISZERO
00001a8c: SWAP1
00001a8d: POP
00001a8e: PUSH1 0x14
00001a90: PUSH1 0x00
00001a92: DUP8
00001a93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aa8: AND
00001aa9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001abe: AND
00001abf: DUP2
00001ac0: MSTORE
00001ac1: PUSH1 0x20
00001ac3: ADD
00001ac4: SWAP1
00001ac5: DUP2
00001ac6: MSTORE
00001ac7: PUSH1 0x20
00001ac9: ADD
00001aca: PUSH1 0x00
00001acc: KECCAK256
00001acd: PUSH1 0x00
00001acf: SWAP1
00001ad0: SLOAD
00001ad1: SWAP1
00001ad2: PUSH2 0x0100
00001ad5: EXP
00001ad6: SWAP1
00001ad7: DIV
00001ad8: PUSH1 0xff
00001ada: AND
00001adb: DUP1
00001adc: PUSH2 0x1b2e
00001adf: JUMPI
00001ae0: POP
00001ae1: PUSH1 0x14
00001ae3: PUSH1 0x00
00001ae5: DUP7
00001ae6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001afb: AND
00001afc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b11: AND
00001b12: DUP2
00001b13: MSTORE
00001b14: PUSH1 0x20
00001b16: ADD
00001b17: SWAP1
00001b18: DUP2
00001b19: MSTORE
00001b1a: PUSH1 0x20
00001b1c: ADD
00001b1d: PUSH1 0x00
00001b1f: KECCAK256
00001b20: PUSH1 0x00
00001b22: SWAP1
00001b23: SLOAD
00001b24: SWAP1
00001b25: PUSH2 0x0100
00001b28: EXP
00001b29: SWAP1
00001b2a: DIV
00001b2b: PUSH1 0xff
00001b2d: AND
00001b2e: JUMPDEST
00001b2f: ISZERO
00001b30: PUSH2 0x1b38
00001b33: JUMPI
00001b34: PUSH1 0x00
00001b36: SWAP1
00001b37: POP
00001b38: JUMPDEST
00001b39: PUSH1 0x00
00001b3b: DUP2
00001b3c: ISZERO
00001b3d: PUSH2 0x1dbe
00001b40: JUMPI
00001b41: PUSH1 0x15
00001b43: PUSH1 0x00
00001b45: DUP9
00001b46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b5b: AND
00001b5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b71: AND
00001b72: DUP2
00001b73: MSTORE
00001b74: PUSH1 0x20
00001b76: ADD
00001b77: SWAP1
00001b78: DUP2
00001b79: MSTORE
00001b7a: PUSH1 0x20
00001b7c: ADD
00001b7d: PUSH1 0x00
00001b7f: KECCAK256
00001b80: PUSH1 0x00
00001b82: SWAP1
00001b83: SLOAD
00001b84: SWAP1
00001b85: PUSH2 0x0100
00001b88: EXP
00001b89: SWAP1
00001b8a: DIV
00001b8b: PUSH1 0xff
00001b8d: AND
00001b8e: DUP1
00001b8f: PUSH2 0x1be1
00001b92: JUMPI
00001b93: POP
00001b94: PUSH1 0x15
00001b96: PUSH1 0x00
00001b98: DUP8
00001b99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bae: AND
00001baf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bc4: AND
00001bc5: DUP2
00001bc6: MSTORE
00001bc7: PUSH1 0x20
00001bc9: ADD
00001bca: SWAP1
00001bcb: DUP2
00001bcc: MSTORE
00001bcd: PUSH1 0x20
00001bcf: ADD
00001bd0: PUSH1 0x00
00001bd2: KECCAK256
00001bd3: PUSH1 0x00
00001bd5: SWAP1
00001bd6: SLOAD
00001bd7: SWAP1
00001bd8: PUSH2 0x0100
00001bdb: EXP
00001bdc: SWAP1
00001bdd: DIV
00001bde: PUSH1 0xff
00001be0: AND
00001be1: JUMPDEST
00001be2: DUP1
00001be3: ISZERO
00001be4: PUSH2 0x1bef
00001be7: JUMPI
00001be8: POP
00001be9: PUSH1 0x00
00001beb: PUSH1 0x0c
00001bed: SLOAD
00001bee: GT
00001bef: JUMPDEST
00001bf0: ISZERO
00001bf1: PUSH2 0x1d9a
00001bf4: JUMPI
00001bf5: PUSH2 0x2710
00001bf8: PUSH1 0x0c
00001bfa: SLOAD
00001bfb: DUP7
00001bfc: PUSH2 0x1c05
00001bff: SWAP2
00001c00: SWAP1
00001c01: PUSH2 0x3821
00001c04: JUMP
00001c05: JUMPDEST
00001c06: PUSH2 0x1c0f
00001c09: SWAP2
00001c0a: SWAP1
00001c0b: PUSH2 0x3892
00001c0e: JUMP
00001c0f: JUMPDEST
00001c10: SWAP1
00001c11: POP
00001c12: PUSH1 0x09
00001c14: PUSH1 0x00
00001c16: SWAP1
00001c17: SLOAD
00001c18: SWAP1
00001c19: PUSH2 0x0100
00001c1c: EXP
00001c1d: SWAP1
00001c1e: DIV
00001c1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c34: AND
00001c35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c4a: AND
00001c4b: PUSH4 0xb242e7cf
00001c50: ORIGIN
00001c51: PUSH1 0x40
00001c53: MLOAD
00001c54: DUP3
00001c55: PUSH4 0xffffffff
00001c5a: AND
00001c5b: PUSH1 0xe0
00001c5d: SHL
00001c5e: DUP2
00001c5f: MSTORE
00001c60: PUSH1 0x04
00001c62: ADD
00001c63: PUSH2 0x1c6c
00001c66: SWAP2
00001c67: SWAP1
00001c68: PUSH2 0x346e
00001c6b: JUMP
00001c6c: JUMPDEST
00001c6d: PUSH1 0x20
00001c6f: PUSH1 0x40
00001c71: MLOAD
00001c72: DUP1
00001c73: DUP4
00001c74: SUB
00001c75: DUP2
00001c76: DUP7
00001c77: GAS
00001c78: STATICCALL
00001c79: ISZERO
00001c7a: DUP1
00001c7b: ISZERO
00001c7c: PUSH2 0x1c89
00001c7f: JUMPI
00001c80: RETURNDATASIZE
00001c81: PUSH1 0x00
00001c83: DUP1
00001c84: RETURNDATACOPY
00001c85: RETURNDATASIZE
00001c86: PUSH1 0x00
00001c88: REVERT
00001c89: JUMPDEST
00001c8a: POP
00001c8b: POP
00001c8c: POP
00001c8d: POP
00001c8e: PUSH1 0x40
00001c90: MLOAD
00001c91: RETURNDATASIZE
00001c92: PUSH1 0x1f
00001c94: NOT
00001c95: PUSH1 0x1f
00001c97: DUP3
00001c98: ADD
00001c99: AND
00001c9a: DUP3
00001c9b: ADD
00001c9c: DUP1
00001c9d: PUSH1 0x40
00001c9f: MSTORE
00001ca0: POP
00001ca1: DUP2
00001ca2: ADD
00001ca3: SWAP1
00001ca4: PUSH2 0x1cad
00001ca7: SWAP2
00001ca8: SWAP1
00001ca9: PUSH2 0x3bb2
00001cac: JUMP
00001cad: JUMPDEST
00001cae: ISZERO
00001caf: PUSH2 0x1cce
00001cb2: JUMPI
00001cb3: PUSH1 0x04
00001cb5: PUSH1 0x03
00001cb7: DUP3
00001cb8: PUSH2 0x1cc1
00001cbb: SWAP2
00001cbc: SWAP1
00001cbd: PUSH2 0x3821
00001cc0: JUMP
00001cc1: JUMPDEST
00001cc2: PUSH2 0x1ccb
00001cc5: SWAP2
00001cc6: SWAP1
00001cc7: PUSH2 0x3892
00001cca: JUMP
00001ccb: JUMPDEST
00001ccc: SWAP1
00001ccd: POP
00001cce: JUMPDEST
00001ccf: PUSH1 0x0c
00001cd1: SLOAD
00001cd2: PUSH1 0x0e
00001cd4: SLOAD
00001cd5: DUP3
00001cd6: PUSH2 0x1cdf
00001cd9: SWAP2
00001cda: SWAP1
00001cdb: PUSH2 0x3821
00001cde: JUMP
00001cdf: JUMPDEST
00001ce0: PUSH2 0x1ce9
00001ce3: SWAP2
00001ce4: SWAP1
00001ce5: PUSH2 0x3892
00001ce8: JUMP
00001ce9: JUMPDEST
00001cea: PUSH1 0x11
00001cec: PUSH1 0x00
00001cee: DUP3
00001cef: DUP3
00001cf0: SLOAD
00001cf1: PUSH2 0x1cfa
00001cf4: SWAP2
00001cf5: SWAP1
00001cf6: PUSH2 0x365d
00001cf9: JUMP
00001cfa: JUMPDEST
00001cfb: SWAP3
00001cfc: POP
00001cfd: POP
00001cfe: DUP2
00001cff: SWAP1
00001d00: SSTORE
00001d01: POP
00001d02: PUSH1 0x0c
00001d04: SLOAD
00001d05: PUSH1 0x0f
00001d07: SLOAD
00001d08: DUP3
00001d09: PUSH2 0x1d12
00001d0c: SWAP2
00001d0d: SWAP1
00001d0e: PUSH2 0x3821
00001d11: JUMP
00001d12: JUMPDEST
00001d13: PUSH2 0x1d1c
00001d16: SWAP2
00001d17: SWAP1
00001d18: PUSH2 0x3892
00001d1b: JUMP
00001d1c: JUMPDEST
00001d1d: PUSH1 0x12
00001d1f: PUSH1 0x00
00001d21: DUP3
00001d22: DUP3
00001d23: SLOAD
00001d24: PUSH2 0x1d2d
00001d27: SWAP2
00001d28: SWAP1
00001d29: PUSH2 0x365d
00001d2c: JUMP
00001d2d: JUMPDEST
00001d2e: SWAP3
00001d2f: POP
00001d30: POP
00001d31: DUP2
00001d32: SWAP1
00001d33: SSTORE
00001d34: POP
00001d35: PUSH1 0x0c
00001d37: SLOAD
00001d38: PUSH1 0x0d
00001d3a: SLOAD
00001d3b: DUP3
00001d3c: PUSH2 0x1d45
00001d3f: SWAP2
00001d40: SWAP1
00001d41: PUSH2 0x3821
00001d44: JUMP
00001d45: JUMPDEST
00001d46: PUSH2 0x1d4f
00001d49: SWAP2
00001d4a: SWAP1
00001d4b: PUSH2 0x3892
00001d4e: JUMP
00001d4f: JUMPDEST
00001d50: PUSH1 0x10
00001d52: PUSH1 0x00
00001d54: DUP3
00001d55: DUP3
00001d56: SLOAD
00001d57: PUSH2 0x1d60
00001d5a: SWAP2
00001d5b: SWAP1
00001d5c: PUSH2 0x365d
00001d5f: JUMP
00001d60: JUMPDEST
00001d61: SWAP3
00001d62: POP
00001d63: POP
00001d64: DUP2
00001d65: SWAP1
00001d66: SSTORE
00001d67: POP
00001d68: PUSH1 0x0c
00001d6a: SLOAD
00001d6b: PUSH1 0x64
00001d6d: DUP3
00001d6e: PUSH2 0x1d77
00001d71: SWAP2
00001d72: SWAP1
00001d73: PUSH2 0x3821
00001d76: JUMP
00001d77: JUMPDEST
00001d78: PUSH2 0x1d81
00001d7b: SWAP2
00001d7c: SWAP1
00001d7d: PUSH2 0x3892
00001d80: JUMP
00001d81: JUMPDEST
00001d82: PUSH1 0x13
00001d84: PUSH1 0x00
00001d86: DUP3
00001d87: DUP3
00001d88: SLOAD
00001d89: PUSH2 0x1d92
00001d8c: SWAP2
00001d8d: SWAP1
00001d8e: PUSH2 0x365d
00001d91: JUMP
00001d92: JUMPDEST
00001d93: SWAP3
00001d94: POP
00001d95: POP
00001d96: DUP2
00001d97: SWAP1
00001d98: SSTORE
00001d99: POP
00001d9a: JUMPDEST
00001d9b: PUSH1 0x00
00001d9d: DUP2
00001d9e: GT
00001d9f: ISZERO
00001da0: PUSH2 0x1daf
00001da3: JUMPI
00001da4: PUSH2 0x1dae
00001da7: DUP8
00001da8: ADDRESS
00001da9: DUP4
00001daa: PUSH2 0x22a2
00001dad: JUMP
00001dae: JUMPDEST
00001daf: JUMPDEST
00001db0: DUP1
00001db1: DUP6
00001db2: PUSH2 0x1dbb
00001db5: SWAP2
00001db6: SWAP1
00001db7: PUSH2 0x3bdf
00001dba: JUMP
00001dbb: JUMPDEST
00001dbc: SWAP5
00001dbd: POP
00001dbe: JUMPDEST
00001dbf: PUSH2 0x1dc9
00001dc2: DUP8
00001dc3: DUP8
00001dc4: DUP8
00001dc5: PUSH2 0x22a2
00001dc8: JUMP
00001dc9: JUMPDEST
00001dca: POP
00001dcb: POP
00001dcc: POP
00001dcd: POP
00001dce: JUMPDEST
00001dcf: POP
00001dd0: POP
00001dd1: POP
00001dd2: JUMP
00001dd3: JUMPDEST
00001dd4: PUSH1 0x00
00001dd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001deb: AND
00001dec: DUP3
00001ded: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e02: AND
00001e03: SUB
00001e04: PUSH2 0x1e42
00001e07: JUMPI
00001e08: PUSH1 0x40
00001e0a: MLOAD
00001e0b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001e2c: DUP2
00001e2d: MSTORE
00001e2e: PUSH1 0x04
00001e30: ADD
00001e31: PUSH2 0x1e39
00001e34: SWAP1
00001e35: PUSH2 0x3c5f
00001e38: JUMP
00001e39: JUMPDEST
00001e3a: PUSH1 0x40
00001e3c: MLOAD
00001e3d: DUP1
00001e3e: SWAP2
00001e3f: SUB
00001e40: SWAP1
00001e41: REVERT
00001e42: JUMPDEST
00001e43: PUSH2 0x1e4e
00001e46: PUSH1 0x00
00001e48: DUP4
00001e49: DUP4
00001e4a: PUSH2 0x28b4
00001e4d: JUMP
00001e4e: JUMPDEST
00001e4f: DUP1
00001e50: PUSH1 0x02
00001e52: PUSH1 0x00
00001e54: DUP3
00001e55: DUP3
00001e56: SLOAD
00001e57: PUSH2 0x1e60
00001e5a: SWAP2
00001e5b: SWAP1
00001e5c: PUSH2 0x365d
00001e5f: JUMP
00001e60: JUMPDEST
00001e61: SWAP3
00001e62: POP
00001e63: POP
00001e64: DUP2
00001e65: SWAP1
00001e66: SSTORE
00001e67: POP
00001e68: DUP1
00001e69: PUSH1 0x00
00001e6b: DUP1
00001e6c: DUP5
00001e6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e82: AND
00001e83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e98: AND
00001e99: DUP2
00001e9a: MSTORE
00001e9b: PUSH1 0x20
00001e9d: ADD
00001e9e: SWAP1
00001e9f: DUP2
00001ea0: MSTORE
00001ea1: PUSH1 0x20
00001ea3: ADD
00001ea4: PUSH1 0x00
00001ea6: KECCAK256
00001ea7: PUSH1 0x00
00001ea9: DUP3
00001eaa: DUP3
00001eab: SLOAD
00001eac: PUSH2 0x1eb5
00001eaf: SWAP2
00001eb0: SWAP1
00001eb1: PUSH2 0x365d
00001eb4: JUMP
00001eb5: JUMPDEST
00001eb6: SWAP3
00001eb7: POP
00001eb8: POP
00001eb9: DUP2
00001eba: SWAP1
00001ebb: SSTORE
00001ebc: POP
00001ebd: DUP2
00001ebe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ed3: AND
00001ed4: PUSH1 0x00
00001ed6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eeb: AND
00001eec: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001f0d: DUP4
00001f0e: PUSH1 0x40
00001f10: MLOAD
00001f11: PUSH2 0x1f1a
00001f14: SWAP2
00001f15: SWAP1
00001f16: PUSH2 0x333a
00001f19: JUMP
00001f1a: JUMPDEST
00001f1b: PUSH1 0x40
00001f1d: MLOAD
00001f1e: DUP1
00001f1f: SWAP2
00001f20: SUB
00001f21: SWAP1
00001f22: LOG3
00001f23: PUSH2 0x1f2e
00001f26: PUSH1 0x00
00001f28: DUP4
00001f29: DUP4
00001f2a: PUSH2 0x28b9
00001f2d: JUMP
00001f2e: JUMPDEST
00001f2f: POP
00001f30: POP
00001f31: JUMP
00001f32: JUMPDEST
00001f33: PUSH1 0x00
00001f35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f4a: AND
00001f4b: DUP3
00001f4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f61: AND
00001f62: SUB
00001f63: PUSH2 0x1fa1
00001f66: JUMPI
00001f67: PUSH1 0x40
00001f69: MLOAD
00001f6a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f8b: DUP2
00001f8c: MSTORE
00001f8d: PUSH1 0x04
00001f8f: ADD
00001f90: PUSH2 0x1f98
00001f93: SWAP1
00001f94: PUSH2 0x3cf1
00001f97: JUMP
00001f98: JUMPDEST
00001f99: PUSH1 0x40
00001f9b: MLOAD
00001f9c: DUP1
00001f9d: SWAP2
00001f9e: SUB
00001f9f: SWAP1
00001fa0: REVERT
00001fa1: JUMPDEST
00001fa2: PUSH2 0x1fad
00001fa5: DUP3
00001fa6: PUSH1 0x00
00001fa8: DUP4
00001fa9: PUSH2 0x28b4
00001fac: JUMP
00001fad: JUMPDEST
00001fae: PUSH1 0x00
00001fb0: DUP1
00001fb1: PUSH1 0x00
00001fb3: DUP5
00001fb4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fc9: AND
00001fca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fdf: AND
00001fe0: DUP2
00001fe1: MSTORE
00001fe2: PUSH1 0x20
00001fe4: ADD
00001fe5: SWAP1
00001fe6: DUP2
00001fe7: MSTORE
00001fe8: PUSH1 0x20
00001fea: ADD
00001feb: PUSH1 0x00
00001fed: KECCAK256
00001fee: SLOAD
00001fef: SWAP1
00001ff0: POP
00001ff1: DUP2
00001ff2: DUP2
00001ff3: LT
00001ff4: ISZERO
00001ff5: PUSH2 0x2033
00001ff8: JUMPI
00001ff9: PUSH1 0x40
00001ffb: MLOAD
00001ffc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000201d: DUP2
0000201e: MSTORE
0000201f: PUSH1 0x04
00002021: ADD
00002022: PUSH2 0x202a
00002025: SWAP1
00002026: PUSH2 0x3d83
00002029: JUMP
0000202a: JUMPDEST
0000202b: PUSH1 0x40
0000202d: MLOAD
0000202e: DUP1
0000202f: SWAP2
00002030: SUB
00002031: SWAP1
00002032: REVERT
00002033: JUMPDEST
00002034: DUP2
00002035: DUP2
00002036: SUB
00002037: PUSH1 0x00
00002039: DUP1
0000203a: DUP6
0000203b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002050: AND
00002051: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002066: AND
00002067: DUP2
00002068: MSTORE
00002069: PUSH1 0x20
0000206b: ADD
0000206c: SWAP1
0000206d: DUP2
0000206e: MSTORE
0000206f: PUSH1 0x20
00002071: ADD
00002072: PUSH1 0x00
00002074: KECCAK256
00002075: DUP2
00002076: SWAP1
00002077: SSTORE
00002078: POP
00002079: DUP2
0000207a: PUSH1 0x02
0000207c: PUSH1 0x00
0000207e: DUP3
0000207f: DUP3
00002080: SLOAD
00002081: PUSH2 0x208a
00002084: SWAP2
00002085: SWAP1
00002086: PUSH2 0x3bdf
00002089: JUMP
0000208a: JUMPDEST
0000208b: SWAP3
0000208c: POP
0000208d: POP
0000208e: DUP2
0000208f: SWAP1
00002090: SSTORE
00002091: POP
00002092: PUSH1 0x00
00002094: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020a9: AND
000020aa: DUP4
000020ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020c0: AND
000020c1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000020e2: DUP5
000020e3: PUSH1 0x40
000020e5: MLOAD
000020e6: PUSH2 0x20ef
000020e9: SWAP2
000020ea: SWAP1
000020eb: PUSH2 0x333a
000020ee: JUMP
000020ef: JUMPDEST
000020f0: PUSH1 0x40
000020f2: MLOAD
000020f3: DUP1
000020f4: SWAP2
000020f5: SUB
000020f6: SWAP1
000020f7: LOG3
000020f8: PUSH2 0x2103
000020fb: DUP4
000020fc: PUSH1 0x00
000020fe: DUP5
000020ff: PUSH2 0x28b9
00002102: JUMP
00002103: JUMPDEST
00002104: POP
00002105: POP
00002106: POP
00002107: JUMP
00002108: JUMPDEST
00002109: PUSH1 0x00
0000210b: PUSH1 0x05
0000210d: PUSH1 0x00
0000210f: SWAP1
00002110: SLOAD
00002111: SWAP1
00002112: PUSH2 0x0100
00002115: EXP
00002116: SWAP1
00002117: DIV
00002118: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000212d: AND
0000212e: SWAP1
0000212f: POP
00002130: DUP2
00002131: PUSH1 0x05
00002133: PUSH1 0x00
00002135: PUSH2 0x0100
00002138: EXP
00002139: DUP2
0000213a: SLOAD
0000213b: DUP2
0000213c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002151: MUL
00002152: NOT
00002153: AND
00002154: SWAP1
00002155: DUP4
00002156: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000216b: AND
0000216c: MUL
0000216d: OR
0000216e: SWAP1
0000216f: SSTORE
00002170: POP
00002171: DUP2
00002172: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002187: AND
00002188: DUP2
00002189: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000219e: AND
0000219f: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000021c0: PUSH1 0x40
000021c2: MLOAD
000021c3: PUSH1 0x40
000021c5: MLOAD
000021c6: DUP1
000021c7: SWAP2
000021c8: SUB
000021c9: SWAP1
000021ca: LOG3
000021cb: POP
000021cc: POP
000021cd: JUMP
000021ce: JUMPDEST
000021cf: PUSH1 0x00
000021d1: DUP2
000021d2: PUSH2 0x21db
000021d5: DUP5
000021d6: CALLER
000021d7: PUSH2 0x1322
000021da: JUMP
000021db: JUMPDEST
000021dc: PUSH2 0x21e5
000021df: SWAP2
000021e0: SWAP1
000021e1: PUSH2 0x3bdf
000021e4: JUMP
000021e5: JUMPDEST
000021e6: SWAP1
000021e7: POP
000021e8: PUSH2 0x21f2
000021eb: DUP4
000021ec: CALLER
000021ed: DUP4
000021ee: PUSH2 0x163c
000021f1: JUMP
000021f2: JUMPDEST
000021f3: PUSH2 0x21fc
000021f6: DUP4
000021f7: DUP4
000021f8: PUSH2 0x1f32
000021fb: JUMP
000021fc: JUMPDEST
000021fd: POP
000021fe: POP
000021ff: POP
00002200: JUMP
00002201: JUMPDEST
00002202: DUP1
00002203: PUSH1 0x15
00002205: PUSH1 0x00
00002207: DUP5
00002208: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000221d: AND
0000221e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002233: AND
00002234: DUP2
00002235: MSTORE
00002236: PUSH1 0x20
00002238: ADD
00002239: SWAP1
0000223a: DUP2
0000223b: MSTORE
0000223c: PUSH1 0x20
0000223e: ADD
0000223f: PUSH1 0x00
00002241: KECCAK256
00002242: PUSH1 0x00
00002244: PUSH2 0x0100
00002247: EXP
00002248: DUP2
00002249: SLOAD
0000224a: DUP2
0000224b: PUSH1 0xff
0000224d: MUL
0000224e: NOT
0000224f: AND
00002250: SWAP1
00002251: DUP4
00002252: ISZERO
00002253: ISZERO
00002254: MUL
00002255: OR
00002256: SWAP1
00002257: SSTORE
00002258: POP
00002259: DUP1
0000225a: ISZERO
0000225b: ISZERO
0000225c: DUP3
0000225d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002272: AND
00002273: PUSH32 0xffa9187bf1f18bf477bd0ea1bcbb64e93b6a98132473929edfce215cd9b16fab
00002294: PUSH1 0x40
00002296: MLOAD
00002297: PUSH1 0x40
00002299: MLOAD
0000229a: DUP1
0000229b: SWAP2
0000229c: SUB
0000229d: SWAP1
0000229e: LOG3
0000229f: POP
000022a0: POP
000022a1: JUMP
000022a2: JUMPDEST
000022a3: PUSH1 0x00
000022a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022ba: AND
000022bb: DUP4
000022bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022d1: AND
000022d2: SUB
000022d3: PUSH2 0x2311
000022d6: JUMPI
000022d7: PUSH1 0x40
000022d9: MLOAD
000022da: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000022fb: DUP2
000022fc: MSTORE
000022fd: PUSH1 0x04
000022ff: ADD
00002300: PUSH2 0x2308
00002303: SWAP1
00002304: PUSH2 0x3aeb
00002307: JUMP
00002308: JUMPDEST
00002309: PUSH1 0x40
0000230b: MLOAD
0000230c: DUP1
0000230d: SWAP2
0000230e: SUB
0000230f: SWAP1
00002310: REVERT
00002311: JUMPDEST
00002312: PUSH1 0x00
00002314: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002329: AND
0000232a: DUP3
0000232b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002340: AND
00002341: SUB
00002342: PUSH2 0x2380
00002345: JUMPI
00002346: PUSH1 0x40
00002348: MLOAD
00002349: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000236a: DUP2
0000236b: MSTORE
0000236c: PUSH1 0x04
0000236e: ADD
0000236f: PUSH2 0x2377
00002372: SWAP1
00002373: PUSH2 0x3b7d
00002376: JUMP
00002377: JUMPDEST
00002378: PUSH1 0x40
0000237a: MLOAD
0000237b: DUP1
0000237c: SWAP2
0000237d: SUB
0000237e: SWAP1
0000237f: REVERT
00002380: JUMPDEST
00002381: PUSH2 0x238b
00002384: DUP4
00002385: DUP4
00002386: DUP4
00002387: PUSH2 0x28b4
0000238a: JUMP
0000238b: JUMPDEST
0000238c: PUSH1 0x00
0000238e: DUP1
0000238f: PUSH1 0x00
00002391: DUP6
00002392: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023a7: AND
000023a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023bd: AND
000023be: DUP2
000023bf: MSTORE
000023c0: PUSH1 0x20
000023c2: ADD
000023c3: SWAP1
000023c4: DUP2
000023c5: MSTORE
000023c6: PUSH1 0x20
000023c8: ADD
000023c9: PUSH1 0x00
000023cb: KECCAK256
000023cc: SLOAD
000023cd: SWAP1
000023ce: POP
000023cf: DUP2
000023d0: DUP2
000023d1: LT
000023d2: ISZERO
000023d3: PUSH2 0x2411
000023d6: JUMPI
000023d7: PUSH1 0x40
000023d9: MLOAD
000023da: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000023fb: DUP2
000023fc: MSTORE
000023fd: PUSH1 0x04
000023ff: ADD
00002400: PUSH2 0x2408
00002403: SWAP1
00002404: PUSH2 0x3e15
00002407: JUMP
00002408: JUMPDEST
00002409: PUSH1 0x40
0000240b: MLOAD
0000240c: DUP1
0000240d: SWAP2
0000240e: SUB
0000240f: SWAP1
00002410: REVERT
00002411: JUMPDEST
00002412: DUP2
00002413: DUP2
00002414: SUB
00002415: PUSH1 0x00
00002417: DUP1
00002418: DUP7
00002419: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000242e: AND
0000242f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002444: AND
00002445: DUP2
00002446: MSTORE
00002447: PUSH1 0x20
00002449: ADD
0000244a: SWAP1
0000244b: DUP2
0000244c: MSTORE
0000244d: PUSH1 0x20
0000244f: ADD
00002450: PUSH1 0x00
00002452: KECCAK256
00002453: DUP2
00002454: SWAP1
00002455: SSTORE
00002456: POP
00002457: DUP2
00002458: PUSH1 0x00
0000245a: DUP1
0000245b: DUP6
0000245c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002471: AND
00002472: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002487: AND
00002488: DUP2
00002489: MSTORE
0000248a: PUSH1 0x20
0000248c: ADD
0000248d: SWAP1
0000248e: DUP2
0000248f: MSTORE
00002490: PUSH1 0x20
00002492: ADD
00002493: PUSH1 0x00
00002495: KECCAK256
00002496: PUSH1 0x00
00002498: DUP3
00002499: DUP3
0000249a: SLOAD
0000249b: PUSH2 0x24a4
0000249e: SWAP2
0000249f: SWAP1
000024a0: PUSH2 0x365d
000024a3: JUMP
000024a4: JUMPDEST
000024a5: SWAP3
000024a6: POP
000024a7: POP
000024a8: DUP2
000024a9: SWAP1
000024aa: SSTORE
000024ab: POP
000024ac: DUP3
000024ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024c2: AND
000024c3: DUP5
000024c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024d9: AND
000024da: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000024fb: DUP5
000024fc: PUSH1 0x40
000024fe: MLOAD
000024ff: PUSH2 0x2508
00002502: SWAP2
00002503: SWAP1
00002504: PUSH2 0x333a
00002507: JUMP
00002508: JUMPDEST
00002509: PUSH1 0x40
0000250b: MLOAD
0000250c: DUP1
0000250d: SWAP2
0000250e: SUB
0000250f: SWAP1
00002510: LOG3
00002511: PUSH2 0x251b
00002514: DUP5
00002515: DUP5
00002516: DUP5
00002517: PUSH2 0x28b9
0000251a: JUMP
0000251b: JUMPDEST
0000251c: POP
0000251d: POP
0000251e: POP
0000251f: POP
00002520: JUMP
00002521: JUMPDEST
00002522: PUSH1 0x00
00002524: PUSH2 0x252c
00002527: ADDRESS
00002528: PUSH2 0x0da4
0000252b: JUMP
0000252c: JUMPDEST
0000252d: SWAP1
0000252e: POP
0000252f: PUSH1 0x00
00002531: PUSH1 0x13
00002533: SLOAD
00002534: PUSH1 0x12
00002536: SLOAD
00002537: PUSH1 0x10
00002539: SLOAD
0000253a: PUSH1 0x11
0000253c: SLOAD
0000253d: PUSH2 0x2546
00002540: SWAP2
00002541: SWAP1
00002542: PUSH2 0x365d
00002545: JUMP
00002546: JUMPDEST
00002547: PUSH2 0x2550
0000254a: SWAP2
0000254b: SWAP1
0000254c: PUSH2 0x365d
0000254f: JUMP
00002550: JUMPDEST
00002551: PUSH2 0x255a
00002554: SWAP2
00002555: SWAP1
00002556: PUSH2 0x365d
00002559: JUMP
0000255a: JUMPDEST
0000255b: SWAP1
0000255c: POP
0000255d: PUSH1 0x00
0000255f: DUP1
00002560: DUP4
00002561: EQ
00002562: DUP1
00002563: PUSH2 0x256c
00002566: JUMPI
00002567: POP
00002568: PUSH1 0x00
0000256a: DUP3
0000256b: EQ
0000256c: JUMPDEST
0000256d: ISZERO
0000256e: PUSH2 0x2579
00002571: JUMPI
00002572: POP
00002573: POP
00002574: POP
00002575: PUSH2 0x28b2
00002578: JUMP
00002579: JUMPDEST
0000257a: PUSH1 0x00
0000257c: PUSH1 0x02
0000257e: DUP4
0000257f: PUSH1 0x11
00002581: SLOAD
00002582: DUP7
00002583: PUSH2 0x258c
00002586: SWAP2
00002587: SWAP1
00002588: PUSH2 0x3821
0000258b: JUMP
0000258c: JUMPDEST
0000258d: PUSH2 0x2596
00002590: SWAP2
00002591: SWAP1
00002592: PUSH2 0x3892
00002595: JUMP
00002596: JUMPDEST
00002597: PUSH2 0x25a0
0000259a: SWAP2
0000259b: SWAP1
0000259c: PUSH2 0x3892
0000259f: JUMP
000025a0: JUMPDEST
000025a1: SWAP1
000025a2: POP
000025a3: PUSH1 0x00
000025a5: DUP2
000025a6: DUP6
000025a7: PUSH2 0x25b0
000025aa: SWAP2
000025ab: SWAP1
000025ac: PUSH2 0x3bdf
000025af: JUMP
000025b0: JUMPDEST
000025b1: SWAP1
000025b2: POP
000025b3: PUSH1 0x00
000025b5: DUP1
000025b6: PUSH2 0x25bf
000025b9: DUP4
000025ba: DUP8
000025bb: PUSH2 0x28be
000025be: JUMP
000025bf: JUMPDEST
000025c0: SWAP2
000025c1: POP
000025c2: SWAP2
000025c3: POP
000025c4: PUSH1 0x00
000025c6: PUSH1 0x02
000025c8: PUSH1 0x11
000025ca: SLOAD
000025cb: PUSH2 0x25d4
000025ce: SWAP2
000025cf: SWAP1
000025d0: PUSH2 0x3892
000025d3: JUMP
000025d4: JUMPDEST
000025d5: DUP8
000025d6: PUSH2 0x25df
000025d9: SWAP2
000025da: SWAP1
000025db: PUSH2 0x3bdf
000025de: JUMP
000025df: JUMPDEST
000025e0: PUSH1 0x12
000025e2: SLOAD
000025e3: DUP5
000025e4: PUSH2 0x25ed
000025e7: SWAP2
000025e8: SWAP1
000025e9: PUSH2 0x3821
000025ec: JUMP
000025ed: JUMPDEST
000025ee: PUSH2 0x25f7
000025f1: SWAP2
000025f2: SWAP1
000025f3: PUSH2 0x3892
000025f6: JUMP
000025f7: JUMPDEST
000025f8: SWAP1
000025f9: POP
000025fa: PUSH1 0x00
000025fc: PUSH1 0x02
000025fe: PUSH1 0x11
00002600: SLOAD
00002601: PUSH2 0x260a
00002604: SWAP2
00002605: SWAP1
00002606: PUSH2 0x3892
00002609: JUMP
0000260a: JUMPDEST
0000260b: DUP9
0000260c: PUSH2 0x2615
0000260f: SWAP2
00002610: SWAP1
00002611: PUSH2 0x3bdf
00002614: JUMP
00002615: JUMPDEST
00002616: PUSH1 0x13
00002618: SLOAD
00002619: DUP6
0000261a: PUSH2 0x2623
0000261d: SWAP2
0000261e: SWAP1
0000261f: PUSH2 0x3821
00002622: JUMP
00002623: JUMPDEST
00002624: PUSH2 0x262d
00002627: SWAP2
00002628: SWAP1
00002629: PUSH2 0x3892
0000262c: JUMP
0000262d: JUMPDEST
0000262e: SWAP1
0000262f: POP
00002630: PUSH1 0x00
00002632: DUP4
00002633: DUP3
00002634: DUP5
00002635: DUP8
00002636: PUSH2 0x263f
00002639: SWAP2
0000263a: SWAP1
0000263b: PUSH2 0x3bdf
0000263e: JUMP
0000263f: JUMPDEST
00002640: PUSH2 0x2649
00002643: SWAP2
00002644: SWAP1
00002645: PUSH2 0x3bdf
00002648: JUMP
00002649: JUMPDEST
0000264a: PUSH2 0x2653
0000264d: SWAP2
0000264e: SWAP1
0000264f: PUSH2 0x3bdf
00002652: JUMP
00002653: JUMPDEST
00002654: SWAP1
00002655: POP
00002656: PUSH1 0x00
00002658: PUSH1 0x11
0000265a: DUP2
0000265b: SWAP1
0000265c: SSTORE
0000265d: POP
0000265e: PUSH1 0x00
00002660: PUSH1 0x10
00002662: DUP2
00002663: SWAP1
00002664: SSTORE
00002665: POP
00002666: PUSH1 0x00
00002668: PUSH1 0x12
0000266a: DUP2
0000266b: SWAP1
0000266c: SSTORE
0000266d: POP
0000266e: PUSH1 0x00
00002670: PUSH1 0x13
00002672: DUP2
00002673: SWAP1
00002674: SSTORE
00002675: POP
00002676: PUSH2 0x267d
00002679: PUSH2 0x0e88
0000267c: JUMP
0000267d: JUMPDEST
0000267e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002693: AND
00002694: DUP4
00002695: PUSH1 0x40
00002697: MLOAD
00002698: PUSH2 0x26a0
0000269b: SWAP1
0000269c: PUSH2 0x3e66
0000269f: JUMP
000026a0: JUMPDEST
000026a1: PUSH1 0x00
000026a3: PUSH1 0x40
000026a5: MLOAD
000026a6: DUP1
000026a7: DUP4
000026a8: SUB
000026a9: DUP2
000026aa: DUP6
000026ab: DUP8
000026ac: GAS
000026ad: CALL
000026ae: SWAP3
000026af: POP
000026b0: POP
000026b1: POP
000026b2: RETURNDATASIZE
000026b3: DUP1
000026b4: PUSH1 0x00
000026b6: DUP2
000026b7: EQ
000026b8: PUSH2 0x26dd
000026bb: JUMPI
000026bc: PUSH1 0x40
000026be: MLOAD
000026bf: SWAP2
000026c0: POP
000026c1: PUSH1 0x1f
000026c3: NOT
000026c4: PUSH1 0x3f
000026c6: RETURNDATASIZE
000026c7: ADD
000026c8: AND
000026c9: DUP3
000026ca: ADD
000026cb: PUSH1 0x40
000026cd: MSTORE
000026ce: RETURNDATASIZE
000026cf: DUP3
000026d0: MSTORE
000026d1: RETURNDATASIZE
000026d2: PUSH1 0x00
000026d4: PUSH1 0x20
000026d6: DUP5
000026d7: ADD
000026d8: RETURNDATACOPY
000026d9: PUSH2 0x26e2
000026dc: JUMP
000026dd: JUMPDEST
000026de: PUSH1 0x60
000026e0: SWAP2
000026e1: POP
000026e2: JUMPDEST
000026e3: POP
000026e4: POP
000026e5: DUP1
000026e6: SWAP9
000026e7: POP
000026e8: POP
000026e9: PUSH1 0x00
000026eb: DUP8
000026ec: GT
000026ed: DUP1
000026ee: ISZERO
000026ef: PUSH2 0x26f8
000026f2: JUMPI
000026f3: POP
000026f4: PUSH1 0x00
000026f6: DUP2
000026f7: GT
000026f8: JUMPDEST
000026f9: ISZERO
000026fa: PUSH2 0x2745
000026fd: JUMPI
000026fe: PUSH2 0x2707
00002701: DUP8
00002702: DUP3
00002703: PUSH2 0x306e
00002706: JUMP
00002707: JUMPDEST
00002708: PUSH32 0x17bbfb9a6069321b6ded73bd96327c9e6b7212a5cd51ff219cd61370acafb561
00002729: DUP7
0000272a: DUP3
0000272b: PUSH1 0x11
0000272d: SLOAD
0000272e: PUSH1 0x40
00002730: MLOAD
00002731: PUSH2 0x273c
00002734: SWAP4
00002735: SWAP3
00002736: SWAP2
00002737: SWAP1
00002738: PUSH2 0x3e7b
0000273b: JUMP
0000273c: JUMPDEST
0000273d: PUSH1 0x40
0000273f: MLOAD
00002740: DUP1
00002741: SWAP2
00002742: SUB
00002743: SWAP1
00002744: LOG1
00002745: JUMPDEST
00002746: PUSH1 0x00
00002748: PUSH1 0x09
0000274a: PUSH1 0x00
0000274c: SWAP1
0000274d: SLOAD
0000274e: SWAP1
0000274f: PUSH2 0x0100
00002752: EXP
00002753: SWAP1
00002754: DIV
00002755: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000276a: AND
0000276b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002780: AND
00002781: PUSH4 0x41275358
00002786: PUSH1 0x40
00002788: MLOAD
00002789: DUP2
0000278a: PUSH4 0xffffffff
0000278f: AND
00002790: PUSH1 0xe0
00002792: SHL
00002793: DUP2
00002794: MSTORE
00002795: PUSH1 0x04
00002797: ADD
00002798: PUSH1 0x20
0000279a: PUSH1 0x40
0000279c: MLOAD
0000279d: DUP1
0000279e: DUP4
0000279f: SUB
000027a0: DUP2
000027a1: DUP7
000027a2: GAS
000027a3: STATICCALL
000027a4: ISZERO
000027a5: DUP1
000027a6: ISZERO
000027a7: PUSH2 0x27b4
000027aa: JUMPI
000027ab: RETURNDATASIZE
000027ac: PUSH1 0x00
000027ae: DUP1
000027af: RETURNDATACOPY
000027b0: RETURNDATASIZE
000027b1: PUSH1 0x00
000027b3: REVERT
000027b4: JUMPDEST
000027b5: POP
000027b6: POP
000027b7: POP
000027b8: POP
000027b9: PUSH1 0x40
000027bb: MLOAD
000027bc: RETURNDATASIZE
000027bd: PUSH1 0x1f
000027bf: NOT
000027c0: PUSH1 0x1f
000027c2: DUP3
000027c3: ADD
000027c4: AND
000027c5: DUP3
000027c6: ADD
000027c7: DUP1
000027c8: PUSH1 0x40
000027ca: MSTORE
000027cb: POP
000027cc: DUP2
000027cd: ADD
000027ce: SWAP1
000027cf: PUSH2 0x27d8
000027d2: SWAP2
000027d3: SWAP1
000027d4: PUSH2 0x3ec7
000027d7: JUMP
000027d8: JUMPDEST
000027d9: SWAP1
000027da: POP
000027db: DUP1
000027dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027f1: AND
000027f2: SELFBALANCE
000027f3: PUSH1 0x40
000027f5: MLOAD
000027f6: PUSH2 0x27fe
000027f9: SWAP1
000027fa: PUSH2 0x3e66
000027fd: JUMP
000027fe: JUMPDEST
000027ff: PUSH1 0x00
00002801: PUSH1 0x40
00002803: MLOAD
00002804: DUP1
00002805: DUP4
00002806: SUB
00002807: DUP2
00002808: DUP6
00002809: DUP8
0000280a: GAS
0000280b: CALL
0000280c: SWAP3
0000280d: POP
0000280e: POP
0000280f: POP
00002810: RETURNDATASIZE
00002811: DUP1
00002812: PUSH1 0x00
00002814: DUP2
00002815: EQ
00002816: PUSH2 0x283b
00002819: JUMPI
0000281a: PUSH1 0x40
0000281c: MLOAD
0000281d: SWAP2
0000281e: POP
0000281f: PUSH1 0x1f
00002821: NOT
00002822: PUSH1 0x3f
00002824: RETURNDATASIZE
00002825: ADD
00002826: AND
00002827: DUP3
00002828: ADD
00002829: PUSH1 0x40
0000282b: MSTORE
0000282c: RETURNDATASIZE
0000282d: DUP3
0000282e: MSTORE
0000282f: RETURNDATASIZE
00002830: PUSH1 0x00
00002832: PUSH1 0x20
00002834: DUP5
00002835: ADD
00002836: RETURNDATACOPY
00002837: PUSH2 0x2840
0000283a: JUMP
0000283b: JUMPDEST
0000283c: PUSH1 0x60
0000283e: SWAP2
0000283f: POP
00002840: JUMPDEST
00002841: POP
00002842: POP
00002843: DUP1
00002844: SWAP10
00002845: POP
00002846: POP
00002847: DUP1
00002848: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000285d: AND
0000285e: PUSH4 0x2b5335c3
00002863: PUSH1 0x40
00002865: MLOAD
00002866: DUP2
00002867: PUSH4 0xffffffff
0000286c: AND
0000286d: PUSH1 0xe0
0000286f: SHL
00002870: DUP2
00002871: MSTORE
00002872: PUSH1 0x04
00002874: ADD
00002875: PUSH1 0x00
00002877: PUSH1 0x40
00002879: MLOAD
0000287a: DUP1
0000287b: DUP4
0000287c: SUB
0000287d: DUP2
0000287e: PUSH1 0x00
00002880: DUP8
00002881: DUP1
00002882: EXTCODESIZE
00002883: ISZERO
00002884: DUP1
00002885: ISZERO
00002886: PUSH2 0x288e
00002889: JUMPI
0000288a: PUSH1 0x00
0000288c: DUP1
0000288d: REVERT
0000288e: JUMPDEST
0000288f: POP
00002890: GAS
00002891: CALL
00002892: ISZERO
00002893: DUP1
00002894: ISZERO
00002895: PUSH2 0x28a2
00002898: JUMPI
00002899: RETURNDATASIZE
0000289a: PUSH1 0x00
0000289c: DUP1
0000289d: RETURNDATACOPY
0000289e: RETURNDATASIZE
0000289f: PUSH1 0x00
000028a1: REVERT
000028a2: JUMPDEST
000028a3: POP
000028a4: POP
000028a5: POP
000028a6: POP
000028a7: POP
000028a8: POP
000028a9: POP
000028aa: POP
000028ab: POP
000028ac: POP
000028ad: POP
000028ae: POP
000028af: POP
000028b0: POP
000028b1: POP
000028b2: JUMPDEST
000028b3: JUMP
000028b4: JUMPDEST
000028b5: POP
000028b6: POP
000028b7: POP
000028b8: JUMP
000028b9: JUMPDEST
000028ba: POP
000028bb: POP
000028bc: POP
000028bd: JUMP
000028be: JUMPDEST
000028bf: PUSH1 0x00
000028c1: DUP1
000028c2: PUSH1 0x00
000028c4: PUSH1 0x02
000028c6: PUSH8 0xffffffffffffffff
000028cf: DUP2
000028d0: GT
000028d1: ISZERO
000028d2: PUSH2 0x28de
000028d5: JUMPI
000028d6: PUSH2 0x28dd
000028d9: PUSH2 0x3ef4
000028dc: JUMP
000028dd: JUMPDEST
000028de: JUMPDEST
000028df: PUSH1 0x40
000028e1: MLOAD
000028e2: SWAP1
000028e3: DUP1
000028e4: DUP3
000028e5: MSTORE
000028e6: DUP1
000028e7: PUSH1 0x20
000028e9: MUL
000028ea: PUSH1 0x20
000028ec: ADD
000028ed: DUP3
000028ee: ADD
000028ef: PUSH1 0x40
000028f1: MSTORE
000028f2: DUP1
000028f3: ISZERO
000028f4: PUSH2 0x290c
000028f7: JUMPI
000028f8: DUP2
000028f9: PUSH1 0x20
000028fb: ADD
000028fc: PUSH1 0x20
000028fe: DUP3
000028ff: MUL
00002900: DUP1
00002901: CALLDATASIZE
00002902: DUP4
00002903: CALLDATACOPY
00002904: DUP1
00002905: DUP3
00002906: ADD
00002907: SWAP2
00002908: POP
00002909: POP
0000290a: SWAP1
0000290b: POP
0000290c: JUMPDEST
0000290d: POP
0000290e: SWAP1
0000290f: POP
00002910: ADDRESS
00002911: DUP2
00002912: PUSH1 0x00
00002914: DUP2
00002915: MLOAD
00002916: DUP2
00002917: LT
00002918: PUSH2 0x2924
0000291b: JUMPI
0000291c: PUSH2 0x2923
0000291f: PUSH2 0x3f23
00002922: JUMP
00002923: JUMPDEST
00002924: JUMPDEST
00002925: PUSH1 0x20
00002927: MUL
00002928: PUSH1 0x20
0000292a: ADD
0000292b: ADD
0000292c: SWAP1
0000292d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002942: AND
00002943: SWAP1
00002944: DUP2
00002945: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000295a: AND
0000295b: DUP2
0000295c: MSTORE
0000295d: POP
0000295e: POP
0000295f: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00002980: DUP2
00002981: PUSH1 0x01
00002983: DUP2
00002984: MLOAD
00002985: DUP2
00002986: LT
00002987: PUSH2 0x2993
0000298a: JUMPI
0000298b: PUSH2 0x2992
0000298e: PUSH2 0x3f23
00002991: JUMP
00002992: JUMPDEST
00002993: JUMPDEST
00002994: PUSH1 0x20
00002996: MUL
00002997: PUSH1 0x20
00002999: ADD
0000299a: ADD
0000299b: SWAP1
0000299c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029b1: AND
000029b2: SWAP1
000029b3: DUP2
000029b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029c9: AND
000029ca: DUP2
000029cb: MSTORE
000029cc: POP
000029cd: POP
000029ce: PUSH2 0x2a04
000029d1: ADDRESS
000029d2: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
000029f3: PUSH1 0x01
000029f5: DUP9
000029f6: PUSH2 0x29ff
000029f9: SWAP2
000029fa: SWAP1
000029fb: PUSH2 0x365d
000029fe: JUMP
000029ff: JUMPDEST
00002a00: PUSH2 0x163c
00002a03: JUMP
00002a04: JUMPDEST
00002a05: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00002a26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a3b: AND
00002a3c: PUSH4 0x791ac947
00002a41: DUP7
00002a42: PUSH1 0x00
00002a44: DUP5
00002a45: ADDRESS
00002a46: TIMESTAMP
00002a47: PUSH1 0x40
00002a49: MLOAD
00002a4a: DUP7
00002a4b: PUSH4 0xffffffff
00002a50: AND
00002a51: PUSH1 0xe0
00002a53: SHL
00002a54: DUP2
00002a55: MSTORE
00002a56: PUSH1 0x04
00002a58: ADD
00002a59: PUSH2 0x2a66
00002a5c: SWAP6
00002a5d: SWAP5
00002a5e: SWAP4
00002a5f: SWAP3
00002a60: SWAP2
00002a61: SWAP1
00002a62: PUSH2 0x4055
00002a65: JUMP
00002a66: JUMPDEST
00002a67: PUSH1 0x00
00002a69: PUSH1 0x40
00002a6b: MLOAD
00002a6c: DUP1
00002a6d: DUP4
00002a6e: SUB
00002a6f: DUP2
00002a70: PUSH1 0x00
00002a72: DUP8
00002a73: DUP1
00002a74: EXTCODESIZE
00002a75: ISZERO
00002a76: DUP1
00002a77: ISZERO
00002a78: PUSH2 0x2a80
00002a7b: JUMPI
00002a7c: PUSH1 0x00
00002a7e: DUP1
00002a7f: REVERT
00002a80: JUMPDEST
00002a81: POP
00002a82: GAS
00002a83: CALL
00002a84: ISZERO
00002a85: DUP1
00002a86: ISZERO
00002a87: PUSH2 0x2a94
00002a8a: JUMPI
00002a8b: RETURNDATASIZE
00002a8c: PUSH1 0x00
00002a8e: DUP1
00002a8f: RETURNDATACOPY
00002a90: RETURNDATASIZE
00002a91: PUSH1 0x00
00002a93: REVERT
00002a94: JUMPDEST
00002a95: POP
00002a96: POP
00002a97: POP
00002a98: POP
00002a99: SELFBALANCE
00002a9a: SWAP3
00002a9b: POP
00002a9c: PUSH1 0x02
00002a9e: PUSH1 0x11
00002aa0: SLOAD
00002aa1: PUSH2 0x2aaa
00002aa4: SWAP2
00002aa5: SWAP1
00002aa6: PUSH2 0x3892
00002aa9: JUMP
00002aaa: JUMPDEST
00002aab: DUP5
00002aac: PUSH2 0x2ab5
00002aaf: SWAP2
00002ab0: SWAP1
00002ab1: PUSH2 0x3bdf
00002ab4: JUMP
00002ab5: JUMPDEST
00002ab6: PUSH1 0x10
00002ab8: SLOAD
00002ab9: DUP5
00002aba: PUSH2 0x2ac3
00002abd: SWAP2
00002abe: SWAP1
00002abf: PUSH2 0x3821
00002ac2: JUMP
00002ac3: JUMPDEST
00002ac4: PUSH2 0x2acd
00002ac7: SWAP2
00002ac8: SWAP1
00002ac9: PUSH2 0x3892
00002acc: JUMP
00002acd: JUMPDEST
00002ace: SWAP2
00002acf: POP
00002ad0: PUSH1 0x00
00002ad2: PUSH1 0x06
00002ad4: PUSH1 0x0a
00002ad6: SLOAD
00002ad7: DUP2
00002ad8: SLOAD
00002ad9: DUP2
00002ada: LT
00002adb: PUSH2 0x2ae7
00002ade: JUMPI
00002adf: PUSH2 0x2ae6
00002ae2: PUSH2 0x3f23
00002ae5: JUMP
00002ae6: JUMPDEST
00002ae7: JUMPDEST
00002ae8: SWAP1
00002ae9: PUSH1 0x00
00002aeb: MSTORE
00002aec: PUSH1 0x20
00002aee: PUSH1 0x00
00002af0: KECCAK256
00002af1: ADD
00002af2: PUSH1 0x00
00002af4: SWAP1
00002af5: SLOAD
00002af6: SWAP1
00002af7: PUSH2 0x0100
00002afa: EXP
00002afb: SWAP1
00002afc: DIV
00002afd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b12: AND
00002b13: SWAP1
00002b14: POP
00002b15: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00002b36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b4b: AND
00002b4c: DUP2
00002b4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b62: AND
00002b63: SUB
00002b64: PUSH2 0x2cae
00002b67: JUMPI
00002b68: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00002b89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b9e: AND
00002b9f: PUSH4 0xd0e30db0
00002ba4: DUP5
00002ba5: PUSH1 0x40
00002ba7: MLOAD
00002ba8: DUP3
00002ba9: PUSH4 0xffffffff
00002bae: AND
00002baf: PUSH1 0xe0
00002bb1: SHL
00002bb2: DUP2
00002bb3: MSTORE
00002bb4: PUSH1 0x04
00002bb6: ADD
00002bb7: PUSH1 0x00
00002bb9: PUSH1 0x40
00002bbb: MLOAD
00002bbc: DUP1
00002bbd: DUP4
00002bbe: SUB
00002bbf: DUP2
00002bc0: DUP6
00002bc1: DUP9
00002bc2: DUP1
00002bc3: EXTCODESIZE
00002bc4: ISZERO
00002bc5: DUP1
00002bc6: ISZERO
00002bc7: PUSH2 0x2bcf
00002bca: JUMPI
00002bcb: PUSH1 0x00
00002bcd: DUP1
00002bce: REVERT
00002bcf: JUMPDEST
00002bd0: POP
00002bd1: GAS
00002bd2: CALL
00002bd3: ISZERO
00002bd4: DUP1
00002bd5: ISZERO
00002bd6: PUSH2 0x2be3
00002bd9: JUMPI
00002bda: RETURNDATASIZE
00002bdb: PUSH1 0x00
00002bdd: DUP1
00002bde: RETURNDATACOPY
00002bdf: RETURNDATASIZE
00002be0: PUSH1 0x00
00002be2: REVERT
00002be3: JUMPDEST
00002be4: POP
00002be5: POP
00002be6: POP
00002be7: POP
00002be8: POP
00002be9: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00002c0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c1f: AND
00002c20: PUSH4 0xa9059cbb
00002c25: PUSH1 0x08
00002c27: PUSH1 0x00
00002c29: SWAP1
00002c2a: SLOAD
00002c2b: SWAP1
00002c2c: PUSH2 0x0100
00002c2f: EXP
00002c30: SWAP1
00002c31: DIV
00002c32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c47: AND
00002c48: DUP6
00002c49: PUSH1 0x40
00002c4b: MLOAD
00002c4c: DUP4
00002c4d: PUSH4 0xffffffff
00002c52: AND
00002c53: PUSH1 0xe0
00002c55: SHL
00002c56: DUP2
00002c57: MSTORE
00002c58: PUSH1 0x04
00002c5a: ADD
00002c5b: PUSH2 0x2c65
00002c5e: SWAP3
00002c5f: SWAP2
00002c60: SWAP1
00002c61: PUSH2 0x40af
00002c64: JUMP
00002c65: JUMPDEST
00002c66: PUSH1 0x20
00002c68: PUSH1 0x40
00002c6a: MLOAD
00002c6b: DUP1
00002c6c: DUP4
00002c6d: SUB
00002c6e: DUP2
00002c6f: PUSH1 0x00
00002c71: DUP8
00002c72: GAS
00002c73: CALL
00002c74: ISZERO
00002c75: DUP1
00002c76: ISZERO
00002c77: PUSH2 0x2c84
00002c7a: JUMPI
00002c7b: RETURNDATASIZE
00002c7c: PUSH1 0x00
00002c7e: DUP1
00002c7f: RETURNDATACOPY
00002c80: RETURNDATASIZE
00002c81: PUSH1 0x00
00002c83: REVERT
00002c84: JUMPDEST
00002c85: POP
00002c86: POP
00002c87: POP
00002c88: POP
00002c89: PUSH1 0x40
00002c8b: MLOAD
00002c8c: RETURNDATASIZE
00002c8d: PUSH1 0x1f
00002c8f: NOT
00002c90: PUSH1 0x1f
00002c92: DUP3
00002c93: ADD
00002c94: AND
00002c95: DUP3
00002c96: ADD
00002c97: DUP1
00002c98: PUSH1 0x40
00002c9a: MSTORE
00002c9b: POP
00002c9c: DUP2
00002c9d: ADD
00002c9e: SWAP1
00002c9f: PUSH2 0x2ca8
00002ca2: SWAP2
00002ca3: SWAP1
00002ca4: PUSH2 0x3bb2
00002ca7: JUMP
00002ca8: JUMPDEST
00002ca9: POP
00002caa: PUSH2 0x3027
00002cad: JUMP
00002cae: JUMPDEST
00002caf: PUSH1 0x00
00002cb1: PUSH1 0x07
00002cb3: PUSH1 0x0a
00002cb5: SLOAD
00002cb6: DUP2
00002cb7: SLOAD
00002cb8: DUP2
00002cb9: LT
00002cba: PUSH2 0x2cc6
00002cbd: JUMPI
00002cbe: PUSH2 0x2cc5
00002cc1: PUSH2 0x3f23
00002cc4: JUMP
00002cc5: JUMPDEST
00002cc6: JUMPDEST
00002cc7: SWAP1
00002cc8: PUSH1 0x00
00002cca: MSTORE
00002ccb: PUSH1 0x20
00002ccd: PUSH1 0x00
00002ccf: KECCAK256
00002cd0: SWAP1
00002cd1: PUSH1 0x0a
00002cd3: SWAP2
00002cd4: DUP3
00002cd5: DUP3
00002cd6: DIV
00002cd7: ADD
00002cd8: SWAP2
00002cd9: SWAP1
00002cda: MOD
00002cdb: PUSH1 0x03
00002cdd: MUL
00002cde: SWAP1
00002cdf: SLOAD
00002ce0: SWAP1
00002ce1: PUSH2 0x0100
00002ce4: EXP
00002ce5: SWAP1
00002ce6: DIV
00002ce7: PUSH3 0xffffff
00002ceb: AND
00002cec: PUSH3 0xffffff
00002cf0: AND
00002cf1: SUB
00002cf2: PUSH2 0x2e6d
00002cf5: JUMPI
00002cf6: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00002d17: DUP3
00002d18: PUSH1 0x00
00002d1a: DUP2
00002d1b: MLOAD
00002d1c: DUP2
00002d1d: LT
00002d1e: PUSH2 0x2d2a
00002d21: JUMPI
00002d22: PUSH2 0x2d29
00002d25: PUSH2 0x3f23
00002d28: JUMP
00002d29: JUMPDEST
00002d2a: JUMPDEST
00002d2b: PUSH1 0x20
00002d2d: MUL
00002d2e: PUSH1 0x20
00002d30: ADD
00002d31: ADD
00002d32: SWAP1
00002d33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d48: AND
00002d49: SWAP1
00002d4a: DUP2
00002d4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d60: AND
00002d61: DUP2
00002d62: MSTORE
00002d63: POP
00002d64: POP
00002d65: DUP1
00002d66: DUP3
00002d67: PUSH1 0x01
00002d69: DUP2
00002d6a: MLOAD
00002d6b: DUP2
00002d6c: LT
00002d6d: PUSH2 0x2d79
00002d70: JUMPI
00002d71: PUSH2 0x2d78
00002d74: PUSH2 0x3f23
00002d77: JUMP
00002d78: JUMPDEST
00002d79: JUMPDEST
00002d7a: PUSH1 0x20
00002d7c: MUL
00002d7d: PUSH1 0x20
00002d7f: ADD
00002d80: ADD
00002d81: SWAP1
00002d82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d97: AND
00002d98: SWAP1
00002d99: DUP2
00002d9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002daf: AND
00002db0: DUP2
00002db1: MSTORE
00002db2: POP
00002db3: POP
00002db4: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00002dd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002dea: AND
00002deb: PUSH4 0xb6f9de95
00002df0: DUP5
00002df1: PUSH1 0x00
00002df3: DUP6
00002df4: PUSH1 0x08
00002df6: PUSH1 0x00
00002df8: SWAP1
00002df9: SLOAD
00002dfa: SWAP1
00002dfb: PUSH2 0x0100
00002dfe: EXP
00002dff: SWAP1
00002e00: DIV
00002e01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e16: AND
00002e17: TIMESTAMP
00002e18: PUSH1 0x40
00002e1a: MLOAD
00002e1b: DUP7
00002e1c: PUSH4 0xffffffff
00002e21: AND
00002e22: PUSH1 0xe0
00002e24: SHL
00002e25: DUP2
00002e26: MSTORE
00002e27: PUSH1 0x04
00002e29: ADD
00002e2a: PUSH2 0x2e36
00002e2d: SWAP5
00002e2e: SWAP4
00002e2f: SWAP3
00002e30: SWAP2
00002e31: SWAP1
00002e32: PUSH2 0x40d8
00002e35: JUMP
00002e36: JUMPDEST
00002e37: PUSH1 0x00
00002e39: PUSH1 0x40
00002e3b: MLOAD
00002e3c: DUP1
00002e3d: DUP4
00002e3e: SUB
00002e3f: DUP2
00002e40: DUP6
00002e41: DUP9
00002e42: DUP1
00002e43: EXTCODESIZE
00002e44: ISZERO
00002e45: DUP1
00002e46: ISZERO
00002e47: PUSH2 0x2e4f
00002e4a: JUMPI
00002e4b: PUSH1 0x00
00002e4d: DUP1
00002e4e: REVERT
00002e4f: JUMPDEST
00002e50: POP
00002e51: GAS
00002e52: CALL
00002e53: ISZERO
00002e54: DUP1
00002e55: ISZERO
00002e56: PUSH2 0x2e63
00002e59: JUMPI
00002e5a: RETURNDATASIZE
00002e5b: PUSH1 0x00
00002e5d: DUP1
00002e5e: RETURNDATACOPY
00002e5f: RETURNDATASIZE
00002e60: PUSH1 0x00
00002e62: REVERT
00002e63: JUMPDEST
00002e64: POP
00002e65: POP
00002e66: POP
00002e67: POP
00002e68: POP
00002e69: PUSH2 0x3026
00002e6c: JUMP
00002e6d: JUMPDEST
00002e6e: PUSH1 0x00
00002e70: PUSH1 0x40
00002e72: MLOAD
00002e73: DUP1
00002e74: PUSH2 0x0100
00002e77: ADD
00002e78: PUSH1 0x40
00002e7a: MSTORE
00002e7b: DUP1
00002e7c: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
00002e9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002eb2: AND
00002eb3: DUP2
00002eb4: MSTORE
00002eb5: PUSH1 0x20
00002eb7: ADD
00002eb8: DUP4
00002eb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ece: AND
00002ecf: DUP2
00002ed0: MSTORE
00002ed1: PUSH1 0x20
00002ed3: ADD
00002ed4: PUSH1 0x07
00002ed6: PUSH1 0x0a
00002ed8: SLOAD
00002ed9: DUP2
00002eda: SLOAD
00002edb: DUP2
00002edc: LT
00002edd: PUSH2 0x2ee9
00002ee0: JUMPI
00002ee1: PUSH2 0x2ee8
00002ee4: PUSH2 0x3f23
00002ee7: JUMP
00002ee8: JUMPDEST
00002ee9: JUMPDEST
00002eea: SWAP1
00002eeb: PUSH1 0x00
00002eed: MSTORE
00002eee: PUSH1 0x20
00002ef0: PUSH1 0x00
00002ef2: KECCAK256
00002ef3: SWAP1
00002ef4: PUSH1 0x0a
00002ef6: SWAP2
00002ef7: DUP3
00002ef8: DUP3
00002ef9: DIV
00002efa: ADD
00002efb: SWAP2
00002efc: SWAP1
00002efd: MOD
00002efe: PUSH1 0x03
00002f00: MUL
00002f01: SWAP1
00002f02: SLOAD
00002f03: SWAP1
00002f04: PUSH2 0x0100
00002f07: EXP
00002f08: SWAP1
00002f09: DIV
00002f0a: PUSH3 0xffffff
00002f0e: AND
00002f0f: PUSH3 0xffffff
00002f13: AND
00002f14: DUP2
00002f15: MSTORE
00002f16: PUSH1 0x20
00002f18: ADD
00002f19: PUSH1 0x08
00002f1b: PUSH1 0x00
00002f1d: SWAP1
00002f1e: SLOAD
00002f1f: SWAP1
00002f20: PUSH2 0x0100
00002f23: EXP
00002f24: SWAP1
00002f25: DIV
00002f26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f3b: AND
00002f3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f51: AND
00002f52: DUP2
00002f53: MSTORE
00002f54: PUSH1 0x20
00002f56: ADD
00002f57: TIMESTAMP
00002f58: DUP2
00002f59: MSTORE
00002f5a: PUSH1 0x20
00002f5c: ADD
00002f5d: DUP6
00002f5e: DUP2
00002f5f: MSTORE
00002f60: PUSH1 0x20
00002f62: ADD
00002f63: PUSH1 0x00
00002f65: DUP2
00002f66: MSTORE
00002f67: PUSH1 0x20
00002f69: ADD
00002f6a: PUSH1 0x00
00002f6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f81: AND
00002f82: DUP2
00002f83: MSTORE
00002f84: POP
00002f85: SWAP1
00002f86: POP
00002f87: PUSH32 0x000000000000000000000000e592427a0aece92de3edee1f18e0157c05861564
00002fa8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fbd: AND
00002fbe: PUSH4 0x414bf389
00002fc3: DUP6
00002fc4: DUP4
00002fc5: PUSH1 0x40
00002fc7: MLOAD
00002fc8: DUP4
00002fc9: PUSH4 0xffffffff
00002fce: AND
00002fcf: PUSH1 0xe0
00002fd1: SHL
00002fd2: DUP2
00002fd3: MSTORE
00002fd4: PUSH1 0x04
00002fd6: ADD
00002fd7: PUSH2 0x2fe0
00002fda: SWAP2
00002fdb: SWAP1
00002fdc: PUSH2 0x4202
00002fdf: JUMP
00002fe0: JUMPDEST
00002fe1: PUSH1 0x20
00002fe3: PUSH1 0x40
00002fe5: MLOAD
00002fe6: DUP1
00002fe7: DUP4
00002fe8: SUB
00002fe9: DUP2
00002fea: DUP6
00002feb: DUP9
00002fec: GAS
00002fed: CALL
00002fee: ISZERO
00002fef: DUP1
00002ff0: ISZERO
00002ff1: PUSH2 0x2ffe
00002ff4: JUMPI
00002ff5: RETURNDATASIZE
00002ff6: PUSH1 0x00
00002ff8: DUP1
00002ff9: RETURNDATACOPY
00002ffa: RETURNDATASIZE
00002ffb: PUSH1 0x00
00002ffd: REVERT
00002ffe: JUMPDEST
00002fff: POP
00003000: POP
00003001: POP
00003002: POP
00003003: POP
00003004: PUSH1 0x40
00003006: MLOAD
00003007: RETURNDATASIZE
00003008: PUSH1 0x1f
0000300a: NOT
0000300b: PUSH1 0x1f
0000300d: DUP3
0000300e: ADD
0000300f: AND
00003010: DUP3
00003011: ADD
00003012: DUP1
00003013: PUSH1 0x40
00003015: MSTORE
00003016: POP
00003017: DUP2
00003018: ADD
00003019: SWAP1
0000301a: PUSH2 0x3023
0000301d: SWAP2
0000301e: SWAP1
0000301f: PUSH2 0x4233
00003022: JUMP
00003023: JUMPDEST
00003024: POP
00003025: POP
00003026: JUMPDEST
00003027: JUMPDEST
00003028: PUSH1 0x01
0000302a: PUSH1 0x06
0000302c: DUP1
0000302d: SLOAD
0000302e: SWAP1
0000302f: POP
00003030: PUSH2 0x3039
00003033: SWAP2
00003034: SWAP1
00003035: PUSH2 0x3bdf
00003038: JUMP
00003039: JUMPDEST
0000303a: PUSH1 0x0a
0000303c: SLOAD
0000303d: SUB
0000303e: PUSH2 0x304e
00003041: JUMPI
00003042: PUSH1 0x00
00003044: PUSH1 0x0a
00003046: DUP2
00003047: SWAP1
00003048: SSTORE
00003049: POP
0000304a: PUSH2 0x3065
0000304d: JUMP
0000304e: JUMPDEST
0000304f: PUSH1 0x0a
00003051: PUSH1 0x00
00003053: DUP2
00003054: SLOAD
00003055: PUSH2 0x305d
00003058: SWAP1
00003059: PUSH2 0x4260
0000305c: JUMP
0000305d: JUMPDEST
0000305e: SWAP2
0000305f: SWAP1
00003060: POP
00003061: DUP2
00003062: SWAP1
00003063: SSTORE
00003064: POP
00003065: JUMPDEST
00003066: POP
00003067: POP
00003068: SWAP3
00003069: POP
0000306a: SWAP3
0000306b: SWAP1
0000306c: POP
0000306d: JUMP
0000306e: JUMPDEST
0000306f: PUSH2 0x3099
00003072: ADDRESS
00003073: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
00003094: DUP5
00003095: PUSH2 0x163c
00003098: JUMP
00003099: JUMPDEST
0000309a: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d
000030bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000030d0: AND
000030d1: PUSH4 0xf305d719
000030d6: DUP3
000030d7: ADDRESS
000030d8: DUP6
000030d9: PUSH1 0x00
000030db: DUP1
000030dc: PUSH1 0x08
000030de: PUSH1 0x00
000030e0: SWAP1
000030e1: SLOAD
000030e2: SWAP1
000030e3: PUSH2 0x0100
000030e6: EXP
000030e7: SWAP1
000030e8: DIV
000030e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000030fe: AND
000030ff: TIMESTAMP
00003100: PUSH1 0x40
00003102: MLOAD
00003103: DUP9
00003104: PUSH4 0xffffffff
00003109: AND
0000310a: PUSH1 0xe0
0000310c: SHL
0000310d: DUP2
0000310e: MSTORE
0000310f: PUSH1 0x04
00003111: ADD
00003112: PUSH2 0x3120
00003115: SWAP7
00003116: SWAP6
00003117: SWAP5
00003118: SWAP4
00003119: SWAP3
0000311a: SWAP2
0000311b: SWAP1
0000311c: PUSH2 0x42a8
0000311f: JUMP
00003120: JUMPDEST
00003121: PUSH1 0x60
00003123: PUSH1 0x40
00003125: MLOAD
00003126: DUP1
00003127: DUP4
00003128: SUB
00003129: DUP2
0000312a: DUP6
0000312b: DUP9
0000312c: GAS
0000312d: CALL
0000312e: ISZERO
0000312f: DUP1
00003130: ISZERO
00003131: PUSH2 0x313e
00003134: JUMPI
00003135: RETURNDATASIZE
00003136: PUSH1 0x00
00003138: DUP1
00003139: RETURNDATACOPY
0000313a: RETURNDATASIZE
0000313b: PUSH1 0x00
0000313d: REVERT
0000313e: JUMPDEST
0000313f: POP
00003140: POP
00003141: POP
00003142: POP
00003143: POP
00003144: PUSH1 0x40
00003146: MLOAD
00003147: RETURNDATASIZE
00003148: PUSH1 0x1f
0000314a: NOT
0000314b: PUSH1 0x1f
0000314d: DUP3
0000314e: ADD
0000314f: AND
00003150: DUP3
00003151: ADD
00003152: DUP1
00003153: PUSH1 0x40
00003155: MSTORE
00003156: POP
00003157: DUP2
00003158: ADD
00003159: SWAP1
0000315a: PUSH2 0x3163
0000315d: SWAP2
0000315e: SWAP1
0000315f: PUSH2 0x4309
00003162: JUMP
00003163: JUMPDEST
00003164: POP
00003165: POP
00003166: POP
00003167: POP
00003168: POP
00003169: JUMP
0000316a: JUMPDEST
0000316b: PUSH1 0x00
0000316d: DUP2
0000316e: MLOAD
0000316f: SWAP1
00003170: POP
00003171: SWAP2
00003172: SWAP1
00003173: POP
00003174: JUMP
00003175: JUMPDEST
00003176: PUSH1 0x00
00003178: DUP3
00003179: DUP3
0000317a: MSTORE
0000317b: PUSH1 0x20
0000317d: DUP3
0000317e: ADD
0000317f: SWAP1
00003180: POP
00003181: SWAP3
00003182: SWAP2
00003183: POP
00003184: POP
00003185: JUMP
00003186: JUMPDEST
00003187: PUSH1 0x00
00003189: JUMPDEST
0000318a: DUP4
0000318b: DUP2
0000318c: LT
0000318d: ISZERO
0000318e: PUSH2 0x31a4
00003191: JUMPI
00003192: DUP1
00003193: DUP3
00003194: ADD
00003195: MLOAD
00003196: DUP2
00003197: DUP5
00003198: ADD
00003199: MSTORE
0000319a: PUSH1 0x20
0000319c: DUP2
0000319d: ADD
0000319e: SWAP1
0000319f: POP
000031a0: PUSH2 0x3189
000031a3: JUMP
000031a4: JUMPDEST
000031a5: PUSH1 0x00
000031a7: DUP5
000031a8: DUP5
000031a9: ADD
000031aa: MSTORE
000031ab: POP
000031ac: POP
000031ad: POP
000031ae: POP
000031af: JUMP
000031b0: JUMPDEST
000031b1: PUSH1 0x00
000031b3: PUSH1 0x1f
000031b5: NOT
000031b6: PUSH1 0x1f
000031b8: DUP4
000031b9: ADD
000031ba: AND
000031bb: SWAP1
000031bc: POP
000031bd: SWAP2
000031be: SWAP1
000031bf: POP
000031c0: JUMP
000031c1: JUMPDEST
000031c2: PUSH1 0x00
000031c4: PUSH2 0x31cc
000031c7: DUP3
000031c8: PUSH2 0x316a
000031cb: JUMP
000031cc: JUMPDEST
000031cd: PUSH2 0x31d6
000031d0: DUP2
000031d1: DUP6
000031d2: PUSH2 0x3175
000031d5: JUMP
000031d6: JUMPDEST
000031d7: SWAP4
000031d8: POP
000031d9: PUSH2 0x31e6
000031dc: DUP2
000031dd: DUP6
000031de: PUSH1 0x20
000031e0: DUP7
000031e1: ADD
000031e2: PUSH2 0x3186
000031e5: JUMP
000031e6: JUMPDEST
000031e7: PUSH2 0x31ef
000031ea: DUP2
000031eb: PUSH2 0x31b0
000031ee: JUMP
000031ef: JUMPDEST
000031f0: DUP5
000031f1: ADD
000031f2: SWAP2
000031f3: POP
000031f4: POP
000031f5: SWAP3
000031f6: SWAP2
000031f7: POP
000031f8: POP
000031f9: JUMP
000031fa: JUMPDEST
000031fb: PUSH1 0x00
000031fd: PUSH1 0x20
000031ff: DUP3
00003200: ADD
00003201: SWAP1
00003202: POP
00003203: DUP2
00003204: DUP2
00003205: SUB
00003206: PUSH1 0x00
00003208: DUP4
00003209: ADD
0000320a: MSTORE
0000320b: PUSH2 0x3214
0000320e: DUP2
0000320f: DUP5
00003210: PUSH2 0x31c1
00003213: JUMP
00003214: JUMPDEST
00003215: SWAP1
00003216: POP
00003217: SWAP3
00003218: SWAP2
00003219: POP
0000321a: POP
0000321b: JUMP
0000321c: JUMPDEST
0000321d: PUSH1 0x00
0000321f: DUP1
00003220: REVERT
00003221: JUMPDEST
00003222: PUSH1 0x00
00003224: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003239: DUP3
0000323a: AND
0000323b: SWAP1
0000323c: POP
0000323d: SWAP2
0000323e: SWAP1
0000323f: POP
00003240: JUMP
00003241: JUMPDEST
00003242: PUSH1 0x00
00003244: PUSH2 0x324c
00003247: DUP3
00003248: PUSH2 0x3221
0000324b: JUMP
0000324c: JUMPDEST
0000324d: SWAP1
0000324e: POP
0000324f: SWAP2
00003250: SWAP1
00003251: POP
00003252: JUMP
00003253: JUMPDEST
00003254: PUSH2 0x325c
00003257: DUP2
00003258: PUSH2 0x3241
0000325b: JUMP
0000325c: JUMPDEST
0000325d: DUP2
0000325e: EQ
0000325f: PUSH2 0x3267
00003262: JUMPI
00003263: PUSH1 0x00
00003265: DUP1
00003266: REVERT
00003267: JUMPDEST
00003268: POP
00003269: JUMP
0000326a: JUMPDEST
0000326b: PUSH1 0x00
0000326d: DUP2
0000326e: CALLDATALOAD
0000326f: SWAP1
00003270: POP
00003271: PUSH2 0x3279
00003274: DUP2
00003275: PUSH2 0x3253
00003278: JUMP
00003279: JUMPDEST
0000327a: SWAP3
0000327b: SWAP2
0000327c: POP
0000327d: POP
0000327e: JUMP
0000327f: JUMPDEST
00003280: PUSH1 0x00
00003282: DUP2
00003283: SWAP1
00003284: POP
00003285: SWAP2
00003286: SWAP1
00003287: POP
00003288: JUMP
00003289: JUMPDEST
0000328a: PUSH2 0x3292
0000328d: DUP2
0000328e: PUSH2 0x327f
00003291: JUMP
00003292: JUMPDEST
00003293: DUP2
00003294: EQ
00003295: PUSH2 0x329d
00003298: JUMPI
00003299: PUSH1 0x00
0000329b: DUP1
0000329c: REVERT
0000329d: JUMPDEST
0000329e: POP
0000329f: JUMP
000032a0: JUMPDEST
000032a1: PUSH1 0x00
000032a3: DUP2
000032a4: CALLDATALOAD
000032a5: SWAP1
000032a6: POP
000032a7: PUSH2 0x32af
000032aa: DUP2
000032ab: PUSH2 0x3289
000032ae: JUMP
000032af: JUMPDEST
000032b0: SWAP3
000032b1: SWAP2
000032b2: POP
000032b3: POP
000032b4: JUMP
000032b5: JUMPDEST
000032b6: PUSH1 0x00
000032b8: DUP1
000032b9: PUSH1 0x40
000032bb: DUP4
000032bc: DUP6
000032bd: SUB
000032be: SLT
000032bf: ISZERO
000032c0: PUSH2 0x32cc
000032c3: JUMPI
000032c4: PUSH2 0x32cb
000032c7: PUSH2 0x321c
000032ca: JUMP
000032cb: JUMPDEST
000032cc: JUMPDEST
000032cd: PUSH1 0x00
000032cf: PUSH2 0x32da
000032d2: DUP6
000032d3: DUP3
000032d4: DUP7
000032d5: ADD
000032d6: PUSH2 0x326a
000032d9: JUMP
000032da: JUMPDEST
000032db: SWAP3
000032dc: POP
000032dd: POP
000032de: PUSH1 0x20
000032e0: PUSH2 0x32eb
000032e3: DUP6
000032e4: DUP3
000032e5: DUP7
000032e6: ADD
000032e7: PUSH2 0x32a0
000032ea: JUMP
000032eb: JUMPDEST
000032ec: SWAP2
000032ed: POP
000032ee: POP
000032ef: SWAP3
000032f0: POP
000032f1: SWAP3
000032f2: SWAP1
000032f3: POP
000032f4: JUMP
000032f5: JUMPDEST
000032f6: PUSH1 0x00
000032f8: DUP2
000032f9: ISZERO
000032fa: ISZERO
000032fb: SWAP1
000032fc: POP
000032fd: SWAP2
000032fe: SWAP1
000032ff: POP
00003300: JUMP
00003301: JUMPDEST
00003302: PUSH2 0x330a
00003305: DUP2
00003306: PUSH2 0x32f5
00003309: JUMP
0000330a: JUMPDEST
0000330b: DUP3
0000330c: MSTORE
0000330d: POP
0000330e: POP
0000330f: JUMP
00003310: JUMPDEST
00003311: PUSH1 0x00
00003313: PUSH1 0x20
00003315: DUP3
00003316: ADD
00003317: SWAP1
00003318: POP
00003319: PUSH2 0x3325
0000331c: PUSH1 0x00
0000331e: DUP4
0000331f: ADD
00003320: DUP5
00003321: PUSH2 0x3301
00003324: JUMP
00003325: JUMPDEST
00003326: SWAP3
00003327: SWAP2
00003328: POP
00003329: POP
0000332a: JUMP
0000332b: JUMPDEST
0000332c: PUSH2 0x3334
0000332f: DUP2
00003330: PUSH2 0x327f
00003333: JUMP
00003334: JUMPDEST
00003335: DUP3
00003336: MSTORE
00003337: POP
00003338: POP
00003339: JUMP
0000333a: JUMPDEST
0000333b: PUSH1 0x00
0000333d: PUSH1 0x20
0000333f: DUP3
00003340: ADD
00003341: SWAP1
00003342: POP
00003343: PUSH2 0x334f
00003346: PUSH1 0x00
00003348: DUP4
00003349: ADD
0000334a: DUP5
0000334b: PUSH2 0x332b
0000334e: JUMP
0000334f: JUMPDEST
00003350: SWAP3
00003351: SWAP2
00003352: POP
00003353: POP
00003354: JUMP
00003355: JUMPDEST
00003356: PUSH1 0x00
00003358: DUP1
00003359: PUSH1 0x00
0000335b: PUSH1 0x60
0000335d: DUP5
0000335e: DUP7
0000335f: SUB
00003360: SLT
00003361: ISZERO
00003362: PUSH2 0x336e
00003365: JUMPI
00003366: PUSH2 0x336d
00003369: PUSH2 0x321c
0000336c: JUMP
0000336d: JUMPDEST
0000336e: JUMPDEST
0000336f: PUSH1 0x00
00003371: PUSH2 0x337c
00003374: DUP7
00003375: DUP3
00003376: DUP8
00003377: ADD
00003378: PUSH2 0x32a0
0000337b: JUMP
0000337c: JUMPDEST
0000337d: SWAP4
0000337e: POP
0000337f: POP
00003380: PUSH1 0x20
00003382: PUSH2 0x338d
00003385: DUP7
00003386: DUP3
00003387: DUP8
00003388: ADD
00003389: PUSH2 0x32a0
0000338c: JUMP
0000338d: JUMPDEST
0000338e: SWAP3
0000338f: POP
00003390: POP
00003391: PUSH1 0x40
00003393: PUSH2 0x339e
00003396: DUP7
00003397: DUP3
00003398: DUP8
00003399: ADD
0000339a: PUSH2 0x32a0
0000339d: JUMP
0000339e: JUMPDEST
0000339f: SWAP2
000033a0: POP
000033a1: POP
000033a2: SWAP3
000033a3: POP
000033a4: SWAP3
000033a5: POP
000033a6: SWAP3
000033a7: JUMP
000033a8: JUMPDEST
000033a9: PUSH1 0x00
000033ab: DUP1
000033ac: PUSH1 0x00
000033ae: PUSH1 0x60
000033b0: DUP5
000033b1: DUP7
000033b2: SUB
000033b3: SLT
000033b4: ISZERO
000033b5: PUSH2 0x33c1
000033b8: JUMPI
000033b9: PUSH2 0x33c0
000033bc: PUSH2 0x321c
000033bf: JUMP
000033c0: JUMPDEST
000033c1: JUMPDEST
000033c2: PUSH1 0x00
000033c4: PUSH2 0x33cf
000033c7: DUP7
000033c8: DUP3
000033c9: DUP8
000033ca: ADD
000033cb: PUSH2 0x326a
000033ce: JUMP
000033cf: JUMPDEST
000033d0: SWAP4
000033d1: POP
000033d2: POP
000033d3: PUSH1 0x20
000033d5: PUSH2 0x33e0
000033d8: DUP7
000033d9: DUP3
000033da: DUP8
000033db: ADD
000033dc: PUSH2 0x326a
000033df: JUMP
000033e0: JUMPDEST
000033e1: SWAP3
000033e2: POP
000033e3: POP
000033e4: PUSH1 0x40
000033e6: PUSH2 0x33f1
000033e9: DUP7
000033ea: DUP3
000033eb: DUP8
000033ec: ADD
000033ed: PUSH2 0x32a0
000033f0: JUMP
000033f1: JUMPDEST
000033f2: SWAP2
000033f3: POP
000033f4: POP
000033f5: SWAP3
000033f6: POP
000033f7: SWAP3
000033f8: POP
000033f9: SWAP3
000033fa: JUMP
000033fb: JUMPDEST
000033fc: PUSH1 0x00
000033fe: PUSH1 0xff
00003400: DUP3
00003401: AND
00003402: SWAP1
00003403: POP
00003404: SWAP2
00003405: SWAP1
00003406: POP
00003407: JUMP
00003408: JUMPDEST
00003409: PUSH2 0x3411
0000340c: DUP2
0000340d: PUSH2 0x33fb
00003410: JUMP
00003411: JUMPDEST
00003412: DUP3
00003413: MSTORE
00003414: POP
00003415: POP
00003416: JUMP
00003417: JUMPDEST
00003418: PUSH1 0x00
0000341a: PUSH1 0x20
0000341c: DUP3
0000341d: ADD
0000341e: SWAP1
0000341f: POP
00003420: PUSH2 0x342c
00003423: PUSH1 0x00
00003425: DUP4
00003426: ADD
00003427: DUP5
00003428: PUSH2 0x3408
0000342b: JUMP
0000342c: JUMPDEST
0000342d: SWAP3
0000342e: SWAP2
0000342f: POP
00003430: POP
00003431: JUMP
00003432: JUMPDEST
00003433: PUSH1 0x00
00003435: PUSH1 0x20
00003437: DUP3
00003438: DUP5
00003439: SUB
0000343a: SLT
0000343b: ISZERO
0000343c: PUSH2 0x3448
0000343f: JUMPI
00003440: PUSH2 0x3447
00003443: PUSH2 0x321c
00003446: JUMP
00003447: JUMPDEST
00003448: JUMPDEST
00003449: PUSH1 0x00
0000344b: PUSH2 0x3456
0000344e: DUP5
0000344f: DUP3
00003450: DUP6
00003451: ADD
00003452: PUSH2 0x32a0
00003455: JUMP
00003456: JUMPDEST
00003457: SWAP2
00003458: POP
00003459: POP
0000345a: SWAP3
0000345b: SWAP2
0000345c: POP
0000345d: POP
0000345e: JUMP
0000345f: JUMPDEST
00003460: PUSH2 0x3468
00003463: DUP2
00003464: PUSH2 0x3241
00003467: JUMP
00003468: JUMPDEST
00003469: DUP3
0000346a: MSTORE
0000346b: POP
0000346c: POP
0000346d: JUMP
0000346e: JUMPDEST
0000346f: PUSH1 0x00
00003471: PUSH1 0x20
00003473: DUP3
00003474: ADD
00003475: SWAP1
00003476: POP
00003477: PUSH2 0x3483
0000347a: PUSH1 0x00
0000347c: DUP4
0000347d: ADD
0000347e: DUP5
0000347f: PUSH2 0x345f
00003482: JUMP
00003483: JUMPDEST
00003484: SWAP3
00003485: SWAP2
00003486: POP
00003487: POP
00003488: JUMP
00003489: JUMPDEST
0000348a: PUSH1 0x00
0000348c: PUSH1 0x20
0000348e: DUP3
0000348f: DUP5
00003490: SUB
00003491: SLT
00003492: ISZERO
00003493: PUSH2 0x349f
00003496: JUMPI
00003497: PUSH2 0x349e
0000349a: PUSH2 0x321c
0000349d: JUMP
0000349e: JUMPDEST
0000349f: JUMPDEST
000034a0: PUSH1 0x00
000034a2: PUSH2 0x34ad
000034a5: DUP5
000034a6: DUP3
000034a7: DUP6
000034a8: ADD
000034a9: PUSH2 0x326a
000034ac: JUMP
000034ad: JUMPDEST
000034ae: SWAP2
000034af: POP
000034b0: POP
000034b1: SWAP3
000034b2: SWAP2
000034b3: POP
000034b4: POP
000034b5: JUMP
000034b6: JUMPDEST
000034b7: PUSH2 0x34bf
000034ba: DUP2
000034bb: PUSH2 0x32f5
000034be: JUMP
000034bf: JUMPDEST
000034c0: DUP2
000034c1: EQ
000034c2: PUSH2 0x34ca
000034c5: JUMPI
000034c6: PUSH1 0x00
000034c8: DUP1
000034c9: REVERT
000034ca: JUMPDEST
000034cb: POP
000034cc: JUMP
000034cd: JUMPDEST
000034ce: PUSH1 0x00
000034d0: DUP2
000034d1: CALLDATALOAD
000034d2: SWAP1
000034d3: POP
000034d4: PUSH2 0x34dc
000034d7: DUP2
000034d8: PUSH2 0x34b6
000034db: JUMP
000034dc: JUMPDEST
000034dd: SWAP3
000034de: SWAP2
000034df: POP
000034e0: POP
000034e1: JUMP
000034e2: JUMPDEST
000034e3: PUSH1 0x00
000034e5: DUP1
000034e6: PUSH1 0x40
000034e8: DUP4
000034e9: DUP6
000034ea: SUB
000034eb: SLT
000034ec: ISZERO
000034ed: PUSH2 0x34f9
000034f0: JUMPI
000034f1: PUSH2 0x34f8
000034f4: PUSH2 0x321c
000034f7: JUMP
000034f8: JUMPDEST
000034f9: JUMPDEST
000034fa: PUSH1 0x00
000034fc: PUSH2 0x3507
000034ff: DUP6
00003500: DUP3
00003501: DUP7
00003502: ADD
00003503: PUSH2 0x326a
00003506: JUMP
00003507: JUMPDEST
00003508: SWAP3
00003509: POP
0000350a: POP
0000350b: PUSH1 0x20
0000350d: PUSH2 0x3518
00003510: DUP6
00003511: DUP3
00003512: DUP7
00003513: ADD
00003514: PUSH2 0x34cd
00003517: JUMP
00003518: JUMPDEST
00003519: SWAP2
0000351a: POP
0000351b: POP
0000351c: SWAP3
0000351d: POP
0000351e: SWAP3
0000351f: SWAP1
00003520: POP
00003521: JUMP
00003522: JUMPDEST
00003523: PUSH1 0x00
00003525: DUP1
00003526: PUSH1 0x40
00003528: DUP4
00003529: DUP6
0000352a: SUB
0000352b: SLT
0000352c: ISZERO
0000352d: PUSH2 0x3539
00003530: JUMPI
00003531: PUSH2 0x3538
00003534: PUSH2 0x321c
00003537: JUMP
00003538: JUMPDEST
00003539: JUMPDEST
0000353a: PUSH1 0x00
0000353c: PUSH2 0x3547
0000353f: DUP6
00003540: DUP3
00003541: DUP7
00003542: ADD
00003543: PUSH2 0x326a
00003546: JUMP
00003547: JUMPDEST
00003548: SWAP3
00003549: POP
0000354a: POP
0000354b: PUSH1 0x20
0000354d: PUSH2 0x3558
00003550: DUP6
00003551: DUP3
00003552: DUP7
00003553: ADD
00003554: PUSH2 0x326a
00003557: JUMP
00003558: JUMPDEST
00003559: SWAP2
0000355a: POP
0000355b: POP
0000355c: SWAP3
0000355d: POP
0000355e: SWAP3
0000355f: SWAP1
00003560: POP
00003561: JUMP
00003562: JUMPDEST
00003563: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003584: PUSH1 0x00
00003586: MSTORE
00003587: PUSH1 0x22
00003589: PUSH1 0x04
0000358b: MSTORE
0000358c: PUSH1 0x24
0000358e: PUSH1 0x00
00003590: REVERT
00003591: JUMPDEST
00003592: PUSH1 0x00
00003594: PUSH1 0x02
00003596: DUP3
00003597: DIV
00003598: SWAP1
00003599: POP
0000359a: PUSH1 0x01
0000359c: DUP3
0000359d: AND
0000359e: DUP1
0000359f: PUSH2 0x35a9
000035a2: JUMPI
000035a3: PUSH1 0x7f
000035a5: DUP3
000035a6: AND
000035a7: SWAP2
000035a8: POP
000035a9: JUMPDEST
000035aa: PUSH1 0x20
000035ac: DUP3
000035ad: LT
000035ae: DUP2
000035af: SUB
000035b0: PUSH2 0x35bc
000035b3: JUMPI
000035b4: PUSH2 0x35bb
000035b7: PUSH2 0x3562
000035ba: JUMP
000035bb: JUMPDEST
000035bc: JUMPDEST
000035bd: POP
000035be: SWAP2
000035bf: SWAP1
000035c0: POP
000035c1: JUMP
000035c2: JUMPDEST
000035c3: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000035e4: PUSH1 0x00
000035e6: DUP3
000035e7: ADD
000035e8: MSTORE
000035e9: POP
000035ea: JUMP
000035eb: JUMPDEST
000035ec: PUSH1 0x00
000035ee: PUSH2 0x35f8
000035f1: PUSH1 0x20
000035f3: DUP4
000035f4: PUSH2 0x3175
000035f7: JUMP
000035f8: JUMPDEST
000035f9: SWAP2
000035fa: POP
000035fb: PUSH2 0x3603
000035fe: DUP3
000035ff: PUSH2 0x35c2
00003602: JUMP
00003603: JUMPDEST
00003604: PUSH1 0x20
00003606: DUP3
00003607: ADD
00003608: SWAP1
00003609: POP
0000360a: SWAP2
0000360b: SWAP1
0000360c: POP
0000360d: JUMP
0000360e: JUMPDEST
0000360f: PUSH1 0x00
00003611: PUSH1 0x20
00003613: DUP3
00003614: ADD
00003615: SWAP1
00003616: POP
00003617: DUP2
00003618: DUP2
00003619: SUB
0000361a: PUSH1 0x00
0000361c: DUP4
0000361d: ADD
0000361e: MSTORE
0000361f: PUSH2 0x3627
00003622: DUP2
00003623: PUSH2 0x35eb
00003626: JUMP
00003627: JUMPDEST
00003628: SWAP1
00003629: POP
0000362a: SWAP2
0000362b: SWAP1
0000362c: POP
0000362d: JUMP
0000362e: JUMPDEST
0000362f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003650: PUSH1 0x00
00003652: MSTORE
00003653: PUSH1 0x11
00003655: PUSH1 0x04
00003657: MSTORE
00003658: PUSH1 0x24
0000365a: PUSH1 0x00
0000365c: REVERT
0000365d: JUMPDEST
0000365e: PUSH1 0x00
00003660: PUSH2 0x3668
00003663: DUP3
00003664: PUSH2 0x327f
00003667: JUMP
00003668: JUMPDEST
00003669: SWAP2
0000366a: POP
0000366b: PUSH2 0x3673
0000366e: DUP4
0000366f: PUSH2 0x327f
00003672: JUMP
00003673: JUMPDEST
00003674: SWAP3
00003675: POP
00003676: DUP3
00003677: DUP3
00003678: ADD
00003679: SWAP1
0000367a: POP
0000367b: DUP1
0000367c: DUP3
0000367d: GT
0000367e: ISZERO
0000367f: PUSH2 0x368b
00003682: JUMPI
00003683: PUSH2 0x368a
00003686: PUSH2 0x362e
00003689: JUMP
0000368a: JUMPDEST
0000368b: JUMPDEST
0000368c: SWAP3
0000368d: SWAP2
0000368e: POP
0000368f: POP
00003690: JUMP
00003691: JUMPDEST
00003692: PUSH32 0x5465616d20666565203c3d203125000000000000000000000000000000000000
000036b3: PUSH1 0x00
000036b5: DUP3
000036b6: ADD
000036b7: MSTORE
000036b8: POP
000036b9: JUMP
000036ba: JUMPDEST
000036bb: PUSH1 0x00
000036bd: PUSH2 0x36c7
000036c0: PUSH1 0x0e
000036c2: DUP4
000036c3: PUSH2 0x3175
000036c6: JUMP
000036c7: JUMPDEST
000036c8: SWAP2
000036c9: POP
000036ca: PUSH2 0x36d2
000036cd: DUP3
000036ce: PUSH2 0x3691
000036d1: JUMP
000036d2: JUMPDEST
000036d3: PUSH1 0x20
000036d5: DUP3
000036d6: ADD
000036d7: SWAP1
000036d8: POP
000036d9: SWAP2
000036da: SWAP1
000036db: POP
000036dc: JUMP
000036dd: JUMPDEST
000036de: PUSH1 0x00
000036e0: PUSH1 0x20
000036e2: DUP3
000036e3: ADD
000036e4: SWAP1
000036e5: POP
000036e6: DUP2
000036e7: DUP2
000036e8: SUB
000036e9: PUSH1 0x00
000036eb: DUP4
000036ec: ADD
000036ed: MSTORE
000036ee: PUSH2 0x36f6
000036f1: DUP2
000036f2: PUSH2 0x36ba
000036f5: JUMP
000036f6: JUMPDEST
000036f7: SWAP1
000036f8: POP
000036f9: SWAP2
000036fa: SWAP1
000036fb: POP
000036fc: JUMP
000036fd: JUMPDEST
000036fe: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732061
0000371f: PUSH1 0x00
00003721: DUP3
00003722: ADD
00003723: MSTORE
00003724: PUSH32 0x6c6c6f77616e6365000000000000000000000000000000000000000000000000
00003745: PUSH1 0x20
00003747: DUP3
00003748: ADD
00003749: MSTORE
0000374a: POP
0000374b: JUMP
0000374c: JUMPDEST
0000374d: PUSH1 0x00
0000374f: PUSH2 0x3759
00003752: PUSH1 0x28
00003754: DUP4
00003755: PUSH2 0x3175
00003758: JUMP
00003759: JUMPDEST
0000375a: SWAP2
0000375b: POP
0000375c: PUSH2 0x3764
0000375f: DUP3
00003760: PUSH2 0x36fd
00003763: JUMP
00003764: JUMPDEST
00003765: PUSH1 0x40
00003767: DUP3
00003768: ADD
00003769: SWAP1
0000376a: POP
0000376b: SWAP2
0000376c: SWAP1
0000376d: POP
0000376e: JUMP
0000376f: JUMPDEST
00003770: PUSH1 0x00
00003772: PUSH1 0x20
00003774: DUP3
00003775: ADD
00003776: SWAP1
00003777: POP
00003778: DUP2
00003779: DUP2
0000377a: SUB
0000377b: PUSH1 0x00
0000377d: DUP4
0000377e: ADD
0000377f: MSTORE
00003780: PUSH2 0x3788
00003783: DUP2
00003784: PUSH2 0x374c
00003787: JUMP
00003788: JUMPDEST
00003789: SWAP1
0000378a: POP
0000378b: SWAP2
0000378c: SWAP1
0000378d: POP
0000378e: JUMP
0000378f: JUMPDEST
00003790: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77
000037b1: PUSH1 0x00
000037b3: DUP3
000037b4: ADD
000037b5: MSTORE
000037b6: PUSH32 0x207a65726f000000000000000000000000000000000000000000000000000000
000037d7: PUSH1 0x20
000037d9: DUP3
000037da: ADD
000037db: MSTORE
000037dc: POP
000037dd: JUMP
000037de: JUMPDEST
000037df: PUSH1 0x00
000037e1: PUSH2 0x37eb
000037e4: PUSH1 0x25
000037e6: DUP4
000037e7: PUSH2 0x3175
000037ea: JUMP
000037eb: JUMPDEST
000037ec: SWAP2
000037ed: POP
000037ee: PUSH2 0x37f6
000037f1: DUP3
000037f2: PUSH2 0x378f
000037f5: JUMP
000037f6: JUMPDEST
000037f7: PUSH1 0x40
000037f9: DUP3
000037fa: ADD
000037fb: SWAP1
000037fc: POP
000037fd: SWAP2
000037fe: SWAP1
000037ff: POP
00003800: JUMP
00003801: JUMPDEST
00003802: PUSH1 0x00
00003804: PUSH1 0x20
00003806: DUP3
00003807: ADD
00003808: SWAP1
00003809: POP
0000380a: DUP2
0000380b: DUP2
0000380c: SUB
0000380d: PUSH1 0x00
0000380f: DUP4
00003810: ADD
00003811: MSTORE
00003812: PUSH2 0x381a
00003815: DUP2
00003816: PUSH2 0x37de
00003819: JUMP
0000381a: JUMPDEST
0000381b: SWAP1
0000381c: POP
0000381d: SWAP2
0000381e: SWAP1
0000381f: POP
00003820: JUMP
00003821: JUMPDEST
00003822: PUSH1 0x00
00003824: PUSH2 0x382c
00003827: DUP3
00003828: PUSH2 0x327f
0000382b: JUMP
0000382c: JUMPDEST
0000382d: SWAP2
0000382e: POP
0000382f: PUSH2 0x3837
00003832: DUP4
00003833: PUSH2 0x327f
00003836: JUMP
00003837: JUMPDEST
00003838: SWAP3
00003839: POP
0000383a: DUP3
0000383b: DUP3
0000383c: MUL
0000383d: PUSH2 0x3845
00003840: DUP2
00003841: PUSH2 0x327f
00003844: JUMP
00003845: JUMPDEST
00003846: SWAP2
00003847: POP
00003848: DUP3
00003849: DUP3
0000384a: DIV
0000384b: DUP5
0000384c: EQ
0000384d: DUP4
0000384e: ISZERO
0000384f: OR
00003850: PUSH2 0x385c
00003853: JUMPI
00003854: PUSH2 0x385b
00003857: PUSH2 0x362e
0000385a: JUMP
0000385b: JUMPDEST
0000385c: JUMPDEST
0000385d: POP
0000385e: SWAP3
0000385f: SWAP2
00003860: POP
00003861: POP
00003862: JUMP
00003863: JUMPDEST
00003864: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003885: PUSH1 0x00
00003887: MSTORE
00003888: PUSH1 0x12
0000388a: PUSH1 0x04
0000388c: MSTORE
0000388d: PUSH1 0x24
0000388f: PUSH1 0x00
00003891: REVERT
00003892: JUMPDEST
00003893: PUSH1 0x00
00003895: PUSH2 0x389d
00003898: DUP3
00003899: PUSH2 0x327f
0000389c: JUMP
0000389d: JUMPDEST
0000389e: SWAP2
0000389f: POP
000038a0: PUSH2 0x38a8
000038a3: DUP4
000038a4: PUSH2 0x327f
000038a7: JUMP
000038a8: JUMPDEST
000038a9: SWAP3
000038aa: POP
000038ab: DUP3
000038ac: PUSH2 0x38b8
000038af: JUMPI
000038b0: PUSH2 0x38b7
000038b3: PUSH2 0x3863
000038b6: JUMP
000038b7: JUMPDEST
000038b8: JUMPDEST
000038b9: DUP3
000038ba: DUP3
000038bb: DIV
000038bc: SWAP1
000038bd: POP
000038be: SWAP3
000038bf: SWAP2
000038c0: POP
000038c1: POP
000038c2: JUMP
000038c3: JUMPDEST
000038c4: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
000038e5: PUSH1 0x00
000038e7: DUP3
000038e8: ADD
000038e9: MSTORE
000038ea: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
0000390b: PUSH1 0x20
0000390d: DUP3
0000390e: ADD
0000390f: MSTORE
00003910: POP
00003911: JUMP
00003912: JUMPDEST
00003913: PUSH1 0x00
00003915: PUSH2 0x391f
00003918: PUSH1 0x26
0000391a: DUP4
0000391b: PUSH2 0x3175
0000391e: JUMP
0000391f: JUMPDEST
00003920: SWAP2
00003921: POP
00003922: PUSH2 0x392a
00003925: DUP3
00003926: PUSH2 0x38c3
00003929: JUMP
0000392a: JUMPDEST
0000392b: PUSH1 0x40
0000392d: DUP3
0000392e: ADD
0000392f: SWAP1
00003930: POP
00003931: SWAP2
00003932: SWAP1
00003933: POP
00003934: JUMP
00003935: JUMPDEST
00003936: PUSH1 0x00
00003938: PUSH1 0x20
0000393a: DUP3
0000393b: ADD
0000393c: SWAP1
0000393d: POP
0000393e: DUP2
0000393f: DUP2
00003940: SUB
00003941: PUSH1 0x00
00003943: DUP4
00003944: ADD
00003945: MSTORE
00003946: PUSH2 0x394e
00003949: DUP2
0000394a: PUSH2 0x3912
0000394d: JUMP
0000394e: JUMPDEST
0000394f: SWAP1
00003950: POP
00003951: SWAP2
00003952: SWAP1
00003953: POP
00003954: JUMP
00003955: JUMPDEST
00003956: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
00003977: PUSH1 0x00
00003979: DUP3
0000397a: ADD
0000397b: MSTORE
0000397c: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
0000399d: PUSH1 0x20
0000399f: DUP3
000039a0: ADD
000039a1: MSTORE
000039a2: POP
000039a3: JUMP
000039a4: JUMPDEST
000039a5: PUSH1 0x00
000039a7: PUSH2 0x39b1
000039aa: PUSH1 0x24
000039ac: DUP4
000039ad: PUSH2 0x3175
000039b0: JUMP
000039b1: JUMPDEST
000039b2: SWAP2
000039b3: POP
000039b4: PUSH2 0x39bc
000039b7: DUP3
000039b8: PUSH2 0x3955
000039bb: JUMP
000039bc: JUMPDEST
000039bd: PUSH1 0x40
000039bf: DUP3
000039c0: ADD
000039c1: SWAP1
000039c2: POP
000039c3: SWAP2
000039c4: SWAP1
000039c5: POP
000039c6: JUMP
000039c7: JUMPDEST
000039c8: PUSH1 0x00
000039ca: PUSH1 0x20
000039cc: DUP3
000039cd: ADD
000039ce: SWAP1
000039cf: POP
000039d0: DUP2
000039d1: DUP2
000039d2: SUB
000039d3: PUSH1 0x00
000039d5: DUP4
000039d6: ADD
000039d7: MSTORE
000039d8: PUSH2 0x39e0
000039db: DUP2
000039dc: PUSH2 0x39a4
000039df: JUMP
000039e0: JUMPDEST
000039e1: SWAP1
000039e2: POP
000039e3: SWAP2
000039e4: SWAP1
000039e5: POP
000039e6: JUMP
000039e7: JUMPDEST
000039e8: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00003a09: PUSH1 0x00
00003a0b: DUP3
00003a0c: ADD
00003a0d: MSTORE
00003a0e: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000
00003a2f: PUSH1 0x20
00003a31: DUP3
00003a32: ADD
00003a33: MSTORE
00003a34: POP
00003a35: JUMP
00003a36: JUMPDEST
00003a37: PUSH1 0x00
00003a39: PUSH2 0x3a43
00003a3c: PUSH1 0x22
00003a3e: DUP4
00003a3f: PUSH2 0x3175
00003a42: JUMP
00003a43: JUMPDEST
00003a44: SWAP2
00003a45: POP
00003a46: PUSH2 0x3a4e
00003a49: DUP3
00003a4a: PUSH2 0x39e7
00003a4d: JUMP
00003a4e: JUMPDEST
00003a4f: PUSH1 0x40
00003a51: DUP3
00003a52: ADD
00003a53: SWAP1
00003a54: POP
00003a55: SWAP2
00003a56: SWAP1
00003a57: POP
00003a58: JUMP
00003a59: JUMPDEST
00003a5a: PUSH1 0x00
00003a5c: PUSH1 0x20
00003a5e: DUP3
00003a5f: ADD
00003a60: SWAP1
00003a61: POP
00003a62: DUP2
00003a63: DUP2
00003a64: SUB
00003a65: PUSH1 0x00
00003a67: DUP4
00003a68: ADD
00003a69: MSTORE
00003a6a: PUSH2 0x3a72
00003a6d: DUP2
00003a6e: PUSH2 0x3a36
00003a71: JUMP
00003a72: JUMPDEST
00003a73: SWAP1
00003a74: POP
00003a75: SWAP2
00003a76: SWAP1
00003a77: POP
00003a78: JUMP
00003a79: JUMPDEST
00003a7a: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00003a9b: PUSH1 0x00
00003a9d: DUP3
00003a9e: ADD
00003a9f: MSTORE
00003aa0: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000
00003ac1: PUSH1 0x20
00003ac3: DUP3
00003ac4: ADD
00003ac5: MSTORE
00003ac6: POP
00003ac7: JUMP
00003ac8: JUMPDEST
00003ac9: PUSH1 0x00
00003acb: PUSH2 0x3ad5
00003ace: PUSH1 0x25
00003ad0: DUP4
00003ad1: PUSH2 0x3175
00003ad4: JUMP
00003ad5: JUMPDEST
00003ad6: SWAP2
00003ad7: POP
00003ad8: PUSH2 0x3ae0
00003adb: DUP3
00003adc: PUSH2 0x3a79
00003adf: JUMP
00003ae0: JUMPDEST
00003ae1: PUSH1 0x40
00003ae3: DUP3
00003ae4: ADD
00003ae5: SWAP1
00003ae6: POP
00003ae7: SWAP2
00003ae8: SWAP1
00003ae9: POP
00003aea: JUMP
00003aeb: JUMPDEST
00003aec: PUSH1 0x00
00003aee: PUSH1 0x20
00003af0: DUP3
00003af1: ADD
00003af2: SWAP1
00003af3: POP
00003af4: DUP2
00003af5: DUP2
00003af6: SUB
00003af7: PUSH1 0x00
00003af9: DUP4
00003afa: ADD
00003afb: MSTORE
00003afc: PUSH2 0x3b04
00003aff: DUP2
00003b00: PUSH2 0x3ac8
00003b03: JUMP
00003b04: JUMPDEST
00003b05: SWAP1
00003b06: POP
00003b07: SWAP2
00003b08: SWAP1
00003b09: POP
00003b0a: JUMP
00003b0b: JUMPDEST
00003b0c: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
00003b2d: PUSH1 0x00
00003b2f: DUP3
00003b30: ADD
00003b31: MSTORE
00003b32: PUSH32 0x6573730000000000000000000000000000000000000000000000000000000000
00003b53: PUSH1 0x20
00003b55: DUP3
00003b56: ADD
00003b57: MSTORE
00003b58: POP
00003b59: JUMP
00003b5a: JUMPDEST
00003b5b: PUSH1 0x00
00003b5d: PUSH2 0x3b67
00003b60: PUSH1 0x23
00003b62: DUP4
00003b63: PUSH2 0x3175
00003b66: JUMP
00003b67: JUMPDEST
00003b68: SWAP2
00003b69: POP
00003b6a: PUSH2 0x3b72
00003b6d: DUP3
00003b6e: PUSH2 0x3b0b
00003b71: JUMP
00003b72: JUMPDEST
00003b73: PUSH1 0x40
00003b75: DUP3
00003b76: ADD
00003b77: SWAP1
00003b78: POP
00003b79: SWAP2
00003b7a: SWAP1
00003b7b: POP
00003b7c: JUMP
00003b7d: JUMPDEST
00003b7e: PUSH1 0x00
00003b80: PUSH1 0x20
00003b82: DUP3
00003b83: ADD
00003b84: SWAP1
00003b85: POP
00003b86: DUP2
00003b87: DUP2
00003b88: SUB
00003b89: PUSH1 0x00
00003b8b: DUP4
00003b8c: ADD
00003b8d: MSTORE
00003b8e: PUSH2 0x3b96
00003b91: DUP2
00003b92: PUSH2 0x3b5a
00003b95: JUMP
00003b96: JUMPDEST
00003b97: SWAP1
00003b98: POP
00003b99: SWAP2
00003b9a: SWAP1
00003b9b: POP
00003b9c: JUMP
00003b9d: JUMPDEST
00003b9e: PUSH1 0x00
00003ba0: DUP2
00003ba1: MLOAD
00003ba2: SWAP1
00003ba3: POP
00003ba4: PUSH2 0x3bac
00003ba7: DUP2
00003ba8: PUSH2 0x34b6
00003bab: JUMP
00003bac: JUMPDEST
00003bad: SWAP3
00003bae: SWAP2
00003baf: POP
00003bb0: POP
00003bb1: JUMP
00003bb2: JUMPDEST
00003bb3: PUSH1 0x00
00003bb5: PUSH1 0x20
00003bb7: DUP3
00003bb8: DUP5
00003bb9: SUB
00003bba: SLT
00003bbb: ISZERO
00003bbc: PUSH2 0x3bc8
00003bbf: JUMPI
00003bc0: PUSH2 0x3bc7
00003bc3: PUSH2 0x321c
00003bc6: JUMP
00003bc7: JUMPDEST
00003bc8: JUMPDEST
00003bc9: PUSH1 0x00
00003bcb: PUSH2 0x3bd6
00003bce: DUP5
00003bcf: DUP3
00003bd0: DUP6
00003bd1: ADD
00003bd2: PUSH2 0x3b9d
00003bd5: JUMP
00003bd6: JUMPDEST
00003bd7: SWAP2
00003bd8: POP
00003bd9: POP
00003bda: SWAP3
00003bdb: SWAP2
00003bdc: POP
00003bdd: POP
00003bde: JUMP
00003bdf: JUMPDEST
00003be0: PUSH1 0x00
00003be2: PUSH2 0x3bea
00003be5: DUP3
00003be6: PUSH2 0x327f
00003be9: JUMP
00003bea: JUMPDEST
00003beb: SWAP2
00003bec: POP
00003bed: PUSH2 0x3bf5
00003bf0: DUP4
00003bf1: PUSH2 0x327f
00003bf4: JUMP
00003bf5: JUMPDEST
00003bf6: SWAP3
00003bf7: POP
00003bf8: DUP3
00003bf9: DUP3
00003bfa: SUB
00003bfb: SWAP1
00003bfc: POP
00003bfd: DUP2
00003bfe: DUP2
00003bff: GT
00003c00: ISZERO
00003c01: PUSH2 0x3c0d
00003c04: JUMPI
00003c05: PUSH2 0x3c0c
00003c08: PUSH2 0x362e
00003c0b: JUMP
00003c0c: JUMPDEST
00003c0d: JUMPDEST
00003c0e: SWAP3
00003c0f: SWAP2
00003c10: POP
00003c11: POP
00003c12: JUMP
00003c13: JUMPDEST
00003c14: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
00003c35: PUSH1 0x00
00003c37: DUP3
00003c38: ADD
00003c39: MSTORE
00003c3a: POP
00003c3b: JUMP
00003c3c: JUMPDEST
00003c3d: PUSH1 0x00
00003c3f: PUSH2 0x3c49
00003c42: PUSH1 0x1f
00003c44: DUP4
00003c45: PUSH2 0x3175
00003c48: JUMP
00003c49: JUMPDEST
00003c4a: SWAP2
00003c4b: POP
00003c4c: PUSH2 0x3c54
00003c4f: DUP3
00003c50: PUSH2 0x3c13
00003c53: JUMP
00003c54: JUMPDEST
00003c55: PUSH1 0x20
00003c57: DUP3
00003c58: ADD
00003c59: SWAP1
00003c5a: POP
00003c5b: SWAP2
00003c5c: SWAP1
00003c5d: POP
00003c5e: JUMP
00003c5f: JUMPDEST
00003c60: PUSH1 0x00
00003c62: PUSH1 0x20
00003c64: DUP3
00003c65: ADD
00003c66: SWAP1
00003c67: POP
00003c68: DUP2
00003c69: DUP2
00003c6a: SUB
00003c6b: PUSH1 0x00
00003c6d: DUP4
00003c6e: ADD
00003c6f: MSTORE
00003c70: PUSH2 0x3c78
00003c73: DUP2
00003c74: PUSH2 0x3c3c
00003c77: JUMP
00003c78: JUMPDEST
00003c79: SWAP1
00003c7a: POP
00003c7b: SWAP2
00003c7c: SWAP1
00003c7d: POP
00003c7e: JUMP
00003c7f: JUMPDEST
00003c80: PUSH32 0x45524332303a206275726e2066726f6d20746865207a65726f20616464726573
00003ca1: PUSH1 0x00
00003ca3: DUP3
00003ca4: ADD
00003ca5: MSTORE
00003ca6: PUSH32 0x7300000000000000000000000000000000000000000000000000000000000000
00003cc7: PUSH1 0x20
00003cc9: DUP3
00003cca: ADD
00003ccb: MSTORE
00003ccc: POP
00003ccd: JUMP
00003cce: JUMPDEST
00003ccf: PUSH1 0x00
00003cd1: PUSH2 0x3cdb
00003cd4: PUSH1 0x21
00003cd6: DUP4
00003cd7: PUSH2 0x3175
00003cda: JUMP
00003cdb: JUMPDEST
00003cdc: SWAP2
00003cdd: POP
00003cde: PUSH2 0x3ce6
00003ce1: DUP3
00003ce2: PUSH2 0x3c7f
00003ce5: JUMP
00003ce6: JUMPDEST
00003ce7: PUSH1 0x40
00003ce9: DUP3
00003cea: ADD
00003ceb: SWAP1
00003cec: POP
00003ced: SWAP2
00003cee: SWAP1
00003cef: POP
00003cf0: JUMP
00003cf1: JUMPDEST
00003cf2: PUSH1 0x00
00003cf4: PUSH1 0x20
00003cf6: DUP3
00003cf7: ADD
00003cf8: SWAP1
00003cf9: POP
00003cfa: DUP2
00003cfb: DUP2
00003cfc: SUB
00003cfd: PUSH1 0x00
00003cff: DUP4
00003d00: ADD
00003d01: MSTORE
00003d02: PUSH2 0x3d0a
00003d05: DUP2
00003d06: PUSH2 0x3cce
00003d09: JUMP
00003d0a: JUMPDEST
00003d0b: SWAP1
00003d0c: POP
00003d0d: SWAP2
00003d0e: SWAP1
00003d0f: POP
00003d10: JUMP
00003d11: JUMPDEST
00003d12: PUSH32 0x45524332303a206275726e20616d6f756e7420657863656564732062616c616e
00003d33: PUSH1 0x00
00003d35: DUP3
00003d36: ADD
00003d37: MSTORE
00003d38: PUSH32 0x6365000000000000000000000000000000000000000000000000000000000000
00003d59: PUSH1 0x20
00003d5b: DUP3
00003d5c: ADD
00003d5d: MSTORE
00003d5e: POP
00003d5f: JUMP
00003d60: JUMPDEST
00003d61: PUSH1 0x00
00003d63: PUSH2 0x3d6d
00003d66: PUSH1 0x22
00003d68: DUP4
00003d69: PUSH2 0x3175
00003d6c: JUMP
00003d6d: JUMPDEST
00003d6e: SWAP2
00003d6f: POP
00003d70: PUSH2 0x3d78
00003d73: DUP3
00003d74: PUSH2 0x3d11
00003d77: JUMP
00003d78: JUMPDEST
00003d79: PUSH1 0x40
00003d7b: DUP3
00003d7c: ADD
00003d7d: SWAP1
00003d7e: POP
00003d7f: SWAP2
00003d80: SWAP1
00003d81: POP
00003d82: JUMP
00003d83: JUMPDEST
00003d84: PUSH1 0x00
00003d86: PUSH1 0x20
00003d88: DUP3
00003d89: ADD
00003d8a: SWAP1
00003d8b: POP
00003d8c: DUP2
00003d8d: DUP2
00003d8e: SUB
00003d8f: PUSH1 0x00
00003d91: DUP4
00003d92: ADD
00003d93: MSTORE
00003d94: PUSH2 0x3d9c
00003d97: DUP2
00003d98: PUSH2 0x3d60
00003d9b: JUMP
00003d9c: JUMPDEST
00003d9d: SWAP1
00003d9e: POP
00003d9f: SWAP2
00003da0: SWAP1
00003da1: POP
00003da2: JUMP
00003da3: JUMPDEST
00003da4: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732062
00003dc5: PUSH1 0x00
00003dc7: DUP3
00003dc8: ADD
00003dc9: MSTORE
00003dca: PUSH32 0x616c616e63650000000000000000000000000000000000000000000000000000
00003deb: PUSH1 0x20
00003ded: DUP3
00003dee: ADD
00003def: MSTORE
00003df0: POP
00003df1: JUMP
00003df2: JUMPDEST
00003df3: PUSH1 0x00
00003df5: PUSH2 0x3dff
00003df8: PUSH1 0x26
00003dfa: DUP4
00003dfb: PUSH2 0x3175
00003dfe: JUMP
00003dff: JUMPDEST
00003e00: SWAP2
00003e01: POP
00003e02: PUSH2 0x3e0a
00003e05: DUP3
00003e06: PUSH2 0x3da3
00003e09: JUMP
00003e0a: JUMPDEST
00003e0b: PUSH1 0x40
00003e0d: DUP3
00003e0e: ADD
00003e0f: SWAP1
00003e10: POP
00003e11: SWAP2
00003e12: SWAP1
00003e13: POP
00003e14: JUMP
00003e15: JUMPDEST
00003e16: PUSH1 0x00
00003e18: PUSH1 0x20
00003e1a: DUP3
00003e1b: ADD
00003e1c: SWAP1
00003e1d: POP
00003e1e: DUP2
00003e1f: DUP2
00003e20: SUB
00003e21: PUSH1 0x00
00003e23: DUP4
00003e24: ADD
00003e25: MSTORE
00003e26: PUSH2 0x3e2e
00003e29: DUP2
00003e2a: PUSH2 0x3df2
00003e2d: JUMP
00003e2e: JUMPDEST
00003e2f: SWAP1
00003e30: POP
00003e31: SWAP2
00003e32: SWAP1
00003e33: POP
00003e34: JUMP
00003e35: JUMPDEST
00003e36: PUSH1 0x00
00003e38: DUP2
00003e39: SWAP1
00003e3a: POP
00003e3b: SWAP3
00003e3c: SWAP2
00003e3d: POP
00003e3e: POP
00003e3f: JUMP
00003e40: JUMPDEST
00003e41: POP
00003e42: JUMP
00003e43: JUMPDEST
00003e44: PUSH1 0x00
00003e46: PUSH2 0x3e50
00003e49: PUSH1 0x00
00003e4b: DUP4
00003e4c: PUSH2 0x3e35
00003e4f: JUMP
00003e50: JUMPDEST
00003e51: SWAP2
00003e52: POP
00003e53: PUSH2 0x3e5b
00003e56: DUP3
00003e57: PUSH2 0x3e40
00003e5a: JUMP
00003e5b: JUMPDEST
00003e5c: PUSH1 0x00
00003e5e: DUP3
00003e5f: ADD
00003e60: SWAP1
00003e61: POP
00003e62: SWAP2
00003e63: SWAP1
00003e64: POP
00003e65: JUMP
00003e66: JUMPDEST
00003e67: PUSH1 0x00
00003e69: PUSH2 0x3e71
00003e6c: DUP3
00003e6d: PUSH2 0x3e43
00003e70: JUMP
00003e71: JUMPDEST
00003e72: SWAP2
00003e73: POP
00003e74: DUP2
00003e75: SWAP1
00003e76: POP
00003e77: SWAP2
00003e78: SWAP1
00003e79: POP
00003e7a: JUMP
00003e7b: JUMPDEST
00003e7c: PUSH1 0x00
00003e7e: PUSH1 0x60
00003e80: DUP3
00003e81: ADD
00003e82: SWAP1
00003e83: POP
00003e84: PUSH2 0x3e90
00003e87: PUSH1 0x00
00003e89: DUP4
00003e8a: ADD
00003e8b: DUP7
00003e8c: PUSH2 0x332b
00003e8f: JUMP
00003e90: JUMPDEST
00003e91: PUSH2 0x3e9d
00003e94: PUSH1 0x20
00003e96: DUP4
00003e97: ADD
00003e98: DUP6
00003e99: PUSH2 0x332b
00003e9c: JUMP
00003e9d: JUMPDEST
00003e9e: PUSH2 0x3eaa
00003ea1: PUSH1 0x40
00003ea3: DUP4
00003ea4: ADD
00003ea5: DUP5
00003ea6: PUSH2 0x332b
00003ea9: JUMP
00003eaa: JUMPDEST
00003eab: SWAP5
00003eac: SWAP4
00003ead: POP
00003eae: POP
00003eaf: POP
00003eb0: POP
00003eb1: JUMP
00003eb2: JUMPDEST
00003eb3: PUSH1 0x00
00003eb5: DUP2
00003eb6: MLOAD
00003eb7: SWAP1
00003eb8: POP
00003eb9: PUSH2 0x3ec1
00003ebc: DUP2
00003ebd: PUSH2 0x3253
00003ec0: JUMP
00003ec1: JUMPDEST
00003ec2: SWAP3
00003ec3: SWAP2
00003ec4: POP
00003ec5: POP
00003ec6: JUMP
00003ec7: JUMPDEST
00003ec8: PUSH1 0x00
00003eca: PUSH1 0x20
00003ecc: DUP3
00003ecd: DUP5
00003ece: SUB
00003ecf: SLT
00003ed0: ISZERO
00003ed1: PUSH2 0x3edd
00003ed4: JUMPI
00003ed5: PUSH2 0x3edc
00003ed8: PUSH2 0x321c
00003edb: JUMP
00003edc: JUMPDEST
00003edd: JUMPDEST
00003ede: PUSH1 0x00
00003ee0: PUSH2 0x3eeb
00003ee3: DUP5
00003ee4: DUP3
00003ee5: DUP6
00003ee6: ADD
00003ee7: PUSH2 0x3eb2
00003eea: JUMP
00003eeb: JUMPDEST
00003eec: SWAP2
00003eed: POP
00003eee: POP
00003eef: SWAP3
00003ef0: SWAP2
00003ef1: POP
00003ef2: POP
00003ef3: JUMP
00003ef4: JUMPDEST
00003ef5: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003f16: PUSH1 0x00
00003f18: MSTORE
00003f19: PUSH1 0x41
00003f1b: PUSH1 0x04
00003f1d: MSTORE
00003f1e: PUSH1 0x24
00003f20: PUSH1 0x00
00003f22: REVERT
00003f23: JUMPDEST
00003f24: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003f45: PUSH1 0x00
00003f47: MSTORE
00003f48: PUSH1 0x32
00003f4a: PUSH1 0x04
00003f4c: MSTORE
00003f4d: PUSH1 0x24
00003f4f: PUSH1 0x00
00003f51: REVERT
00003f52: JUMPDEST
00003f53: PUSH1 0x00
00003f55: DUP2
00003f56: SWAP1
00003f57: POP
00003f58: SWAP2
00003f59: SWAP1
00003f5a: POP
00003f5b: JUMP
00003f5c: JUMPDEST
00003f5d: PUSH1 0x00
00003f5f: DUP2
00003f60: SWAP1
00003f61: POP
00003f62: SWAP2
00003f63: SWAP1
00003f64: POP
00003f65: JUMP
00003f66: JUMPDEST
00003f67: PUSH1 0x00
00003f69: PUSH2 0x3f81
00003f6c: PUSH2 0x3f7c
00003f6f: PUSH2 0x3f77
00003f72: DUP5
00003f73: PUSH2 0x3f52
00003f76: JUMP
00003f77: JUMPDEST
00003f78: PUSH2 0x3f5c
00003f7b: JUMP
00003f7c: JUMPDEST
00003f7d: PUSH2 0x327f
00003f80: JUMP
00003f81: JUMPDEST
00003f82: SWAP1
00003f83: POP
00003f84: SWAP2
00003f85: SWAP1
00003f86: POP
00003f87: JUMP
00003f88: JUMPDEST
00003f89: PUSH2 0x3f91
00003f8c: DUP2
00003f8d: PUSH2 0x3f66
00003f90: JUMP
00003f91: JUMPDEST
00003f92: DUP3
00003f93: MSTORE
00003f94: POP
00003f95: POP
00003f96: JUMP
00003f97: JUMPDEST
00003f98: PUSH1 0x00
00003f9a: DUP2
00003f9b: MLOAD
00003f9c: SWAP1
00003f9d: POP
00003f9e: SWAP2
00003f9f: SWAP1
00003fa0: POP
00003fa1: JUMP
00003fa2: JUMPDEST
00003fa3: PUSH1 0x00
00003fa5: DUP3
00003fa6: DUP3
00003fa7: MSTORE
00003fa8: PUSH1 0x20
00003faa: DUP3
00003fab: ADD
00003fac: SWAP1
00003fad: POP
00003fae: SWAP3
00003faf: SWAP2
00003fb0: POP
00003fb1: POP
00003fb2: JUMP
00003fb3: JUMPDEST
00003fb4: PUSH1 0x00
00003fb6: DUP2
00003fb7: SWAP1
00003fb8: POP
00003fb9: PUSH1 0x20
00003fbb: DUP3
00003fbc: ADD
00003fbd: SWAP1
00003fbe: POP
00003fbf: SWAP2
00003fc0: SWAP1
00003fc1: POP
00003fc2: JUMP
00003fc3: JUMPDEST
00003fc4: PUSH2 0x3fcc
00003fc7: DUP2
00003fc8: PUSH2 0x3241
00003fcb: JUMP
00003fcc: JUMPDEST
00003fcd: DUP3
00003fce: MSTORE
00003fcf: POP
00003fd0: POP
00003fd1: JUMP
00003fd2: JUMPDEST
00003fd3: PUSH1 0x00
00003fd5: PUSH2 0x3fde
00003fd8: DUP4
00003fd9: DUP4
00003fda: PUSH2 0x3fc3
00003fdd: JUMP
00003fde: JUMPDEST
00003fdf: PUSH1 0x20
00003fe1: DUP4
00003fe2: ADD
00003fe3: SWAP1
00003fe4: POP
00003fe5: SWAP3
00003fe6: SWAP2
00003fe7: POP
00003fe8: POP
00003fe9: JUMP
00003fea: JUMPDEST
00003feb: PUSH1 0x00
00003fed: PUSH1 0x20
00003fef: DUP3
00003ff0: ADD
00003ff1: SWAP1
00003ff2: POP
00003ff3: SWAP2
00003ff4: SWAP1
00003ff5: POP
00003ff6: JUMP
00003ff7: JUMPDEST
00003ff8: PUSH1 0x00
00003ffa: PUSH2 0x4002
00003ffd: DUP3
00003ffe: PUSH2 0x3f97
00004001: JUMP
00004002: JUMPDEST
00004003: PUSH2 0x400c
00004006: DUP2
00004007: DUP6
00004008: PUSH2 0x3fa2
0000400b: JUMP
0000400c: JUMPDEST
0000400d: SWAP4
0000400e: POP
0000400f: PUSH2 0x4017
00004012: DUP4
00004013: PUSH2 0x3fb3
00004016: JUMP
00004017: JUMPDEST
00004018: DUP1
00004019: PUSH1 0x00
0000401b: JUMPDEST
0000401c: DUP4
0000401d: DUP2
0000401e: LT
0000401f: ISZERO
00004020: PUSH2 0x4048
00004023: JUMPI
00004024: DUP2
00004025: MLOAD
00004026: PUSH2 0x402f
00004029: DUP9
0000402a: DUP3
0000402b: PUSH2 0x3fd2
0000402e: JUMP
0000402f: JUMPDEST
00004030: SWAP8
00004031: POP
00004032: PUSH2 0x403a
00004035: DUP4
00004036: PUSH2 0x3fea
00004039: JUMP
0000403a: JUMPDEST
0000403b: SWAP3
0000403c: POP
0000403d: POP
0000403e: PUSH1 0x01
00004040: DUP2
00004041: ADD
00004042: SWAP1
00004043: POP
00004044: PUSH2 0x401b
00004047: JUMP
00004048: JUMPDEST
00004049: POP
0000404a: DUP6
0000404b: SWAP4
0000404c: POP
0000404d: POP
0000404e: POP
0000404f: POP
00004050: SWAP3
00004051: SWAP2
00004052: POP
00004053: POP
00004054: JUMP
00004055: JUMPDEST
00004056: PUSH1 0x00
00004058: PUSH1 0xa0
0000405a: DUP3
0000405b: ADD
0000405c: SWAP1
0000405d: POP
0000405e: PUSH2 0x406a
00004061: PUSH1 0x00
00004063: DUP4
00004064: ADD
00004065: DUP9
00004066: PUSH2 0x332b
00004069: JUMP
0000406a: JUMPDEST
0000406b: PUSH2 0x4077
0000406e: PUSH1 0x20
00004070: DUP4
00004071: ADD
00004072: DUP8
00004073: PUSH2 0x3f88
00004076: JUMP
00004077: JUMPDEST
00004078: DUP2
00004079: DUP2
0000407a: SUB
0000407b: PUSH1 0x40
0000407d: DUP4
0000407e: ADD
0000407f: MSTORE
00004080: PUSH2 0x4089
00004083: DUP2
00004084: DUP7
00004085: PUSH2 0x3ff7
00004088: JUMP
00004089: JUMPDEST
0000408a: SWAP1
0000408b: POP
0000408c: PUSH2 0x4098
0000408f: PUSH1 0x60
00004091: DUP4
00004092: ADD
00004093: DUP6
00004094: PUSH2 0x345f
00004097: JUMP
00004098: JUMPDEST
00004099: PUSH2 0x40a5
0000409c: PUSH1 0x80
0000409e: DUP4
0000409f: ADD
000040a0: DUP5
000040a1: PUSH2 0x332b
000040a4: JUMP
000040a5: JUMPDEST
000040a6: SWAP7
000040a7: SWAP6
000040a8: POP
000040a9: POP
000040aa: POP
000040ab: POP
000040ac: POP
000040ad: POP
000040ae: JUMP
000040af: JUMPDEST
000040b0: PUSH1 0x00
000040b2: PUSH1 0x40
000040b4: DUP3
000040b5: ADD
000040b6: SWAP1
000040b7: POP
000040b8: PUSH2 0x40c4
000040bb: PUSH1 0x00
000040bd: DUP4
000040be: ADD
000040bf: DUP6
000040c0: PUSH2 0x345f
000040c3: JUMP
000040c4: JUMPDEST
000040c5: PUSH2 0x40d1
000040c8: PUSH1 0x20
000040ca: DUP4
000040cb: ADD
000040cc: DUP5
000040cd: PUSH2 0x332b
000040d0: JUMP
000040d1: JUMPDEST
000040d2: SWAP4
000040d3: SWAP3
000040d4: POP
000040d5: POP
000040d6: POP
000040d7: JUMP
000040d8: JUMPDEST
000040d9: PUSH1 0x00
000040db: PUSH1 0x80
000040dd: DUP3
000040de: ADD
000040df: SWAP1
000040e0: POP
000040e1: PUSH2 0x40ed
000040e4: PUSH1 0x00
000040e6: DUP4
000040e7: ADD
000040e8: DUP8
000040e9: PUSH2 0x3f88
000040ec: JUMP
000040ed: JUMPDEST
000040ee: DUP2
000040ef: DUP2
000040f0: SUB
000040f1: PUSH1 0x20
000040f3: DUP4
000040f4: ADD
000040f5: MSTORE
000040f6: PUSH2 0x40ff
000040f9: DUP2
000040fa: DUP7
000040fb: PUSH2 0x3ff7
000040fe: JUMP
000040ff: JUMPDEST
00004100: SWAP1
00004101: POP
00004102: PUSH2 0x410e
00004105: PUSH1 0x40
00004107: DUP4
00004108: ADD
00004109: DUP6
0000410a: PUSH2 0x345f
0000410d: JUMP
0000410e: JUMPDEST
0000410f: PUSH2 0x411b
00004112: PUSH1 0x60
00004114: DUP4
00004115: ADD
00004116: DUP5
00004117: PUSH2 0x332b
0000411a: JUMP
0000411b: JUMPDEST
0000411c: SWAP6
0000411d: SWAP5
0000411e: POP
0000411f: POP
00004120: POP
00004121: POP
00004122: POP
00004123: JUMP
00004124: JUMPDEST
00004125: PUSH1 0x00
00004127: PUSH3 0xffffff
0000412b: DUP3
0000412c: AND
0000412d: SWAP1
0000412e: POP
0000412f: SWAP2
00004130: SWAP1
00004131: POP
00004132: JUMP
00004133: JUMPDEST
00004134: PUSH2 0x413c
00004137: DUP2
00004138: PUSH2 0x4124
0000413b: JUMP
0000413c: JUMPDEST
0000413d: DUP3
0000413e: MSTORE
0000413f: POP
00004140: POP
00004141: JUMP
00004142: JUMPDEST
00004143: PUSH2 0x414b
00004146: DUP2
00004147: PUSH2 0x327f
0000414a: JUMP
0000414b: JUMPDEST
0000414c: DUP3
0000414d: MSTORE
0000414e: POP
0000414f: POP
00004150: JUMP
00004151: JUMPDEST
00004152: PUSH2 0x415a
00004155: DUP2
00004156: PUSH2 0x3221
00004159: JUMP
0000415a: JUMPDEST
0000415b: DUP3
0000415c: MSTORE
0000415d: POP
0000415e: POP
0000415f: JUMP
00004160: JUMPDEST
00004161: PUSH2 0x0100
00004164: DUP3
00004165: ADD
00004166: PUSH1 0x00
00004168: DUP3
00004169: ADD
0000416a: MLOAD
0000416b: PUSH2 0x4177
0000416e: PUSH1 0x00
00004170: DUP6
00004171: ADD
00004172: DUP3
00004173: PUSH2 0x3fc3
00004176: JUMP
00004177: JUMPDEST
00004178: POP
00004179: PUSH1 0x20
0000417b: DUP3
0000417c: ADD
0000417d: MLOAD
0000417e: PUSH2 0x418a
00004181: PUSH1 0x20
00004183: DUP6
00004184: ADD
00004185: DUP3
00004186: PUSH2 0x3fc3
00004189: JUMP
0000418a: JUMPDEST
0000418b: POP
0000418c: PUSH1 0x40
0000418e: DUP3
0000418f: ADD
00004190: MLOAD
00004191: PUSH2 0x419d
00004194: PUSH1 0x40
00004196: DUP6
00004197: ADD
00004198: DUP3
00004199: PUSH2 0x4133
0000419c: JUMP
0000419d: JUMPDEST
0000419e: POP
0000419f: PUSH1 0x60
000041a1: DUP3
000041a2: ADD
000041a3: MLOAD
000041a4: PUSH2 0x41b0
000041a7: PUSH1 0x60
000041a9: DUP6
000041aa: ADD
000041ab: DUP3
000041ac: PUSH2 0x3fc3
000041af: JUMP
000041b0: JUMPDEST
000041b1: POP
000041b2: PUSH1 0x80
000041b4: DUP3
000041b5: ADD
000041b6: MLOAD
000041b7: PUSH2 0x41c3
000041ba: PUSH1 0x80
000041bc: DUP6
000041bd: ADD
000041be: DUP3
000041bf: PUSH2 0x4142
000041c2: JUMP
000041c3: JUMPDEST
000041c4: POP
000041c5: PUSH1 0xa0
000041c7: DUP3
000041c8: ADD
000041c9: MLOAD
000041ca: PUSH2 0x41d6
000041cd: PUSH1 0xa0
000041cf: DUP6
000041d0: ADD
000041d1: DUP3
000041d2: PUSH2 0x4142
000041d5: JUMP
000041d6: JUMPDEST
000041d7: POP
000041d8: PUSH1 0xc0
000041da: DUP3
000041db: ADD
000041dc: MLOAD
000041dd: PUSH2 0x41e9
000041e0: PUSH1 0xc0
000041e2: DUP6
000041e3: ADD
000041e4: DUP3
000041e5: PUSH2 0x4142
000041e8: JUMP
000041e9: JUMPDEST
000041ea: POP
000041eb: PUSH1 0xe0
000041ed: DUP3
000041ee: ADD
000041ef: MLOAD
000041f0: PUSH2 0x41fc
000041f3: PUSH1 0xe0
000041f5: DUP6
000041f6: ADD
000041f7: DUP3
000041f8: PUSH2 0x4151
000041fb: JUMP
000041fc: JUMPDEST
000041fd: POP
000041fe: POP
000041ff: POP
00004200: POP
00004201: JUMP
00004202: JUMPDEST
00004203: PUSH1 0x00
00004205: PUSH2 0x0100
00004208: DUP3
00004209: ADD
0000420a: SWAP1
0000420b: POP
0000420c: PUSH2 0x4218
0000420f: PUSH1 0x00
00004211: DUP4
00004212: ADD
00004213: DUP5
00004214: PUSH2 0x4160
00004217: JUMP
00004218: JUMPDEST
00004219: SWAP3
0000421a: SWAP2
0000421b: POP
0000421c: POP
0000421d: JUMP
0000421e: JUMPDEST
0000421f: PUSH1 0x00
00004221: DUP2
00004222: MLOAD
00004223: SWAP1
00004224: POP
00004225: PUSH2 0x422d
00004228: DUP2
00004229: PUSH2 0x3289
0000422c: JUMP
0000422d: JUMPDEST
0000422e: SWAP3
0000422f: SWAP2
00004230: POP
00004231: POP
00004232: JUMP
00004233: JUMPDEST
00004234: PUSH1 0x00
00004236: PUSH1 0x20
00004238: DUP3
00004239: DUP5
0000423a: SUB
0000423b: SLT
0000423c: ISZERO
0000423d: PUSH2 0x4249
00004240: JUMPI
00004241: PUSH2 0x4248
00004244: PUSH2 0x321c
00004247: JUMP
00004248: JUMPDEST
00004249: JUMPDEST
0000424a: PUSH1 0x00
0000424c: PUSH2 0x4257
0000424f: DUP5
00004250: DUP3
00004251: DUP6
00004252: ADD
00004253: PUSH2 0x421e
00004256: JUMP
00004257: JUMPDEST
00004258: SWAP2
00004259: POP
0000425a: POP
0000425b: SWAP3
0000425c: SWAP2
0000425d: POP
0000425e: POP
0000425f: JUMP
00004260: JUMPDEST
00004261: PUSH1 0x00
00004263: PUSH2 0x426b
00004266: DUP3
00004267: PUSH2 0x327f
0000426a: JUMP
0000426b: JUMPDEST
0000426c: SWAP2
0000426d: POP
0000426e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000428f: DUP3
00004290: SUB
00004291: PUSH2 0x429d
00004294: JUMPI
00004295: PUSH2 0x429c
00004298: PUSH2 0x362e
0000429b: JUMP
0000429c: JUMPDEST
0000429d: JUMPDEST
0000429e: PUSH1 0x01
000042a0: DUP3
000042a1: ADD
000042a2: SWAP1
000042a3: POP
000042a4: SWAP2
000042a5: SWAP1
000042a6: POP
000042a7: JUMP
000042a8: JUMPDEST
000042a9: PUSH1 0x00
000042ab: PUSH1 0xc0
000042ad: DUP3
000042ae: ADD
000042af: SWAP1
000042b0: POP
000042b1: PUSH2 0x42bd
000042b4: PUSH1 0x00
000042b6: DUP4
000042b7: ADD
000042b8: DUP10
000042b9: PUSH2 0x345f
000042bc: JUMP
000042bd: JUMPDEST
000042be: PUSH2 0x42ca
000042c1: PUSH1 0x20
000042c3: DUP4
000042c4: ADD
000042c5: DUP9
000042c6: PUSH2 0x332b
000042c9: JUMP
000042ca: JUMPDEST
000042cb: PUSH2 0x42d7
000042ce: PUSH1 0x40
000042d0: DUP4
000042d1: ADD
000042d2: DUP8
000042d3: PUSH2 0x3f88
000042d6: JUMP
000042d7: JUMPDEST
000042d8: PUSH2 0x42e4
000042db: PUSH1 0x60
000042dd: DUP4
000042de: ADD
000042df: DUP7
000042e0: PUSH2 0x3f88
000042e3: JUMP
000042e4: JUMPDEST
000042e5: PUSH2 0x42f1
000042e8: PUSH1 0x80
000042ea: DUP4
000042eb: ADD
000042ec: DUP6
000042ed: PUSH2 0x345f
000042f0: JUMP
000042f1: JUMPDEST
000042f2: PUSH2 0x42fe
000042f5: PUSH1 0xa0
000042f7: DUP4
000042f8: ADD
000042f9: DUP5
000042fa: PUSH2 0x332b
000042fd: JUMP
000042fe: JUMPDEST
000042ff: SWAP8
00004300: SWAP7
00004301: POP
00004302: POP
00004303: POP
00004304: POP
00004305: POP
00004306: POP
00004307: POP
00004308: JUMP
00004309: JUMPDEST
0000430a: PUSH1 0x00
0000430c: DUP1
0000430d: PUSH1 0x00
0000430f: PUSH1 0x60
00004311: DUP5
00004312: DUP7
00004313: SUB
00004314: SLT
00004315: ISZERO
00004316: PUSH2 0x4322
00004319: JUMPI
0000431a: PUSH2 0x4321
0000431d: PUSH2 0x321c
00004320: JUMP
00004321: JUMPDEST
00004322: JUMPDEST
00004323: PUSH1 0x00
00004325: PUSH2 0x4330
00004328: DUP7
00004329: DUP3
0000432a: DUP8
0000432b: ADD
0000432c: PUSH2 0x421e
0000432f: JUMP
00004330: JUMPDEST
00004331: SWAP4
00004332: POP
00004333: POP
00004334: PUSH1 0x20
00004336: PUSH2 0x4341
00004339: DUP7
0000433a: DUP3
0000433b: DUP8
0000433c: ADD
0000433d: PUSH2 0x421e
00004340: JUMP
00004341: JUMPDEST
00004342: SWAP3
00004343: POP
00004344: POP
00004345: PUSH1 0x40
00004347: PUSH2 0x4352
0000434a: DUP7
0000434b: DUP3
0000434c: DUP8
0000434d: ADD
0000434e: PUSH2 0x421e
00004351: JUMP
00004352: JUMPDEST
00004353: SWAP2
00004354: POP
00004355: POP
00004356: SWAP3
00004357: POP
00004358: SWAP3
00004359: POP
0000435a: SWAP3
0000435b: JUMP
0000435c: INVALID
0000435d: LOG2
0000435e: PUSH5 0x6970667358
00004364: UNKNOWN(0x22)
00004365: SLT
00004366: KECCAK256
00004367: PUSH1 0x3c
00004369: ISZERO
0000436a: UNKNOWN(0xAB)
0000436b: DUP6
0000436c: UNKNOWN(0xD0)
0000436d: EXP
0000436e: UNKNOWN(0xAB)
0000436f: UNKNOWN(0xCE)
00004370: DUP1
00004371: SWAP15
00004372: SWAP8
00004373: PUSH18 0x3724c4fd001bcc83ae4e7a5336c9b0b799d8
00004386: UNKNOWN(0xD7)
00004387: PUSH5 0x736f6c6343
0000438d: STOP
0000438e: ADDMOD
0000438f: SGT
00004390: STOP
00004391: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no
view
validation_json
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xe2f45605",
            "selector": "0xe2f45605",
            "calldata_variants": [
                "0xe2f45605",
                "0xe2f456050000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf0f44260",
            "selector": "0xf0f44260",
            "calldata_variants": [
                "0xf0f44260",
                "0xf0f442600000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2ecd8f6",
            "selector": "0xf2ecd8f6",
            "calldata_variants": [
                "0xf2ecd8f6",
                "0xf2ecd8f60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfde83a34",
            "selector": "0xfde83a34",
            "calldata_variants": [
                "0xfde83a34",
                "0xfde83a340000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb62496f5",
            "selector": "0xb62496f5",
            "calldata_variants": [
                "0xb62496f5",
                "0xb62496f50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xba22abc3",
            "selector": "0xba22abc3",
            "calldata_variants": [
                "0xba22abc3",
                "0xba22abc30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc0246668",
            "selector": "0xc0246668",
            "calldata_variants": [
                "0xc0246668",
                "0xc02466680000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 3273,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7248,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xaccbc6c18c3d50ae10a78f4609447c933728efa3e081e347afdb09543715b832
call_targets: 0xc14f8a4c8272b8466659d0f058895e2f9d3ae065
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xaccbc6c18c3d50ae10a78f4609447c933728efa3e081e347afdb09543715b832",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xc14f8a4c8272b8466659d0f058895e2f9d3ae065"
    ],
    "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": "0xe2f45605",
            "selector": "0xe2f45605",
            "calldata_variants": [
                "0xe2f45605",
                "0xe2f456050000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf0f44260",
            "selector": "0xf0f44260",
            "calldata_variants": [
                "0xf0f44260",
                "0xf0f442600000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2ecd8f6",
            "selector": "0xf2ecd8f6",
            "calldata_variants": [
                "0xf2ecd8f6",
                "0xf2ecd8f60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfde83a34",
            "selector": "0xfde83a34",
            "calldata_variants": [
                "0xfde83a34",
                "0xfde83a340000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb62496f5",
            "selector": "0xb62496f5",
            "calldata_variants": [
                "0xb62496f5",
                "0xb62496f50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xba22abc3",
            "selector": "0xba22abc3",
            "calldata_variants": [
                "0xba22abc3",
                "0xba22abc30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc0246668",
            "selector": "0xc0246668",
            "calldata_variants": [
                "0xc0246668",
                "0xc02466680000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 9901,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10251,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10385,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 9,
    "guards_detected": [
        {
            "pc": 3273,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7248,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 9
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xaccbc6c18c3d50ae10a78f4609447c933728efa3e081e347afdb09543715b832
call_targets: 0xc14f8a4c8272b8466659d0f058895e2f9d3ae065
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xaccbc6c18c3d50ae10a78f4609447c933728efa3e081e347afdb09543715b832",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xc14f8a4c8272b8466659d0f058895e2f9d3ae065"
    ],
    "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": "0xe2f45605",
            "selector": "0xe2f45605",
            "calldata_variants": [
                "0xe2f45605",
                "0xe2f456050000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf0f44260",
            "selector": "0xf0f44260",
            "calldata_variants": [
                "0xf0f44260",
                "0xf0f442600000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2ecd8f6",
            "selector": "0xf2ecd8f6",
            "calldata_variants": [
                "0xf2ecd8f6",
                "0xf2ecd8f60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfde83a34",
            "selector": "0xfde83a34",
            "calldata_variants": [
                "0xfde83a34",
                "0xfde83a340000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb62496f5",
            "selector": "0xb62496f5",
            "calldata_variants": [
                "0xb62496f5",
                "0xb62496f50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xba22abc3",
            "selector": "0xba22abc3",
            "calldata_variants": [
                "0xba22abc3",
                "0xba22abc30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc0246668",
            "selector": "0xc0246668",
            "calldata_variants": [
                "0xc0246668",
                "0xc02466680000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 9901,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10251,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10385,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 9,
    "guards_detected": [
        {
            "pc": 3273,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7248,
            "type": "tx_origin_used"
        }
    ]
}