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

Analysis Run

019b477e-b283-73e1-a807-cc7b0f06b1a7

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

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
22361 artifact.fetch complete 1 / 3 3 months ago
22362 tool.cast_disasm complete 1 / 3 3 months ago
65754 analysis.bundle complete 1 / 3 2 weeks ago
65755 capability.graph complete 1 / 3 2 weeks ago
65756 detector.run complete 1 / 3 2 weeks ago
65757 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)
8
EXT*/BALANCE
5
Total opcodes
8923
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x032d
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH4 0x046f7da2
0000003c: EQ
0000003d: PUSH2 0x0cf0
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x09648181
00000047: EQ
00000048: PUSH2 0x0d07
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x0fea81fe
00000052: EQ
00000053: PUSH2 0x0d32
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x115f2f2f
0000005d: EQ
0000005e: PUSH2 0x0d61
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x173825d9
00000068: EQ
00000069: PUSH2 0x0d8c
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x1af5dd41
00000073: EQ
00000074: PUSH2 0x0dcf
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0x1fa096e6
0000007e: EQ
0000007f: PUSH2 0x0e26
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0x26d4ba11
00000089: EQ
0000008a: PUSH2 0x0e81
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0x2f54bf6e
00000094: EQ
00000095: PUSH2 0x0eac
00000098: JUMPI
00000099: DUP1
0000009a: PUSH4 0x3052b75e
0000009f: EQ
000000a0: PUSH2 0x0f07
000000a3: JUMPI
000000a4: DUP1
000000a5: PUSH4 0x3197cbb6
000000aa: EQ
000000ab: PUSH2 0x0f4c
000000ae: JUMPI
000000af: DUP1
000000b0: PUSH4 0x31ee080d
000000b5: EQ
000000b6: PUSH2 0x0f77
000000b9: JUMPI
000000ba: DUP1
000000bb: PUSH4 0x37034853
000000c0: EQ
000000c1: PUSH2 0x0fde
000000c4: JUMPI
000000c5: DUP1
000000c6: PUSH4 0x38af3eed
000000cb: EQ
000000cc: PUSH2 0x1009
000000cf: JUMPI
000000d0: DUP1
000000d1: PUSH4 0x42966c68
000000d6: EQ
000000d7: PUSH2 0x1060
000000da: JUMPI
000000db: DUP1
000000dc: PUSH4 0x43f5e989
000000e1: EQ
000000e2: PUSH2 0x10a5
000000e5: JUMPI
000000e6: DUP1
000000e7: PUSH4 0x461fc090
000000ec: EQ
000000ed: PUSH2 0x10d0
000000f0: JUMPI
000000f1: DUP1
000000f2: PUSH4 0x4db8349e
000000f7: EQ
000000f8: PUSH2 0x113d
000000fb: JUMPI
000000fc: DUP1
000000fd: PUSH4 0x53aaef7d
00000102: EQ
00000103: PUSH2 0x1194
00000106: JUMPI
00000107: DUP1
00000108: PUSH4 0x57138106
0000010d: EQ
0000010e: PUSH2 0x11d5
00000111: JUMPI
00000112: DUP1
00000113: PUSH4 0x590e1ae3
00000118: EQ
00000119: PUSH2 0x1230
0000011c: JUMPI
0000011d: DUP1
0000011e: PUSH4 0x5c2c593d
00000123: EQ
00000124: PUSH2 0x1247
00000127: JUMPI
00000128: DUP1
00000129: PUSH4 0x5c975abb
0000012e: EQ
0000012f: PUSH2 0x12a2
00000132: JUMPI
00000133: DUP1
00000134: PUSH4 0x5cec5ded
00000139: EQ
0000013a: PUSH2 0x12d1
0000013d: JUMPI
0000013e: DUP1
0000013f: PUSH4 0x60154e85
00000144: EQ
00000145: PUSH2 0x1328
00000148: JUMPI
00000149: DUP1
0000014a: PUSH4 0x63b20117
0000014f: EQ
00000150: PUSH2 0x133f
00000153: JUMPI
00000154: DUP1
00000155: PUSH4 0x69b73c96
0000015a: EQ
0000015b: PUSH2 0x136a
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0x6b7d90ff
00000165: EQ
00000166: PUSH2 0x13c1
00000169: JUMPI
0000016a: DUP1
0000016b: PUSH4 0x7065cb48
00000170: EQ
00000171: PUSH2 0x141c
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0x70a08231
0000017b: EQ
0000017c: PUSH2 0x145f
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0x720f7dd8
00000186: EQ
00000187: PUSH2 0x14b6
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0x78e97925
00000191: EQ
00000192: PUSH2 0x150d
00000195: JUMPI
00000196: DUP1
00000197: PUSH4 0x7d6d28ef
0000019c: EQ
0000019d: PUSH2 0x1538
000001a0: JUMPI
000001a1: DUP1
000001a2: PUSH4 0x7f32f6de
000001a7: EQ
000001a8: PUSH2 0x1567
000001ab: JUMPI
000001ac: DUP1
000001ad: PUSH4 0x7f83a4a6
000001b2: EQ
000001b3: PUSH2 0x1596
000001b6: JUMPI
000001b7: DUP1
000001b8: PUSH4 0x8456cb59
000001bd: EQ
000001be: PUSH2 0x15c5
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x88d12a4d
000001c8: EQ
000001c9: PUSH2 0x15dc
000001cc: JUMPI
000001cd: DUP1
000001ce: PUSH4 0x8c950a90
000001d3: EQ
000001d4: PUSH2 0x1607
000001d7: JUMPI
000001d8: DUP1
000001d9: PUSH4 0x9c5fafa4
000001de: EQ
000001df: PUSH2 0x165e
000001e2: JUMPI
000001e3: DUP1
000001e4: PUSH4 0x9d2330b7
000001e9: EQ
000001ea: PUSH2 0x16b5
000001ed: JUMPI
000001ee: DUP1
000001ef: PUSH4 0xa4369fd9
000001f4: EQ
000001f5: PUSH2 0x16e4
000001f8: JUMPI
000001f9: DUP1
000001fa: PUSH4 0xa56c2ac0
000001ff: EQ
00000200: PUSH2 0x173b
00000203: JUMPI
00000204: DUP1
00000205: PUSH4 0xaef8c38e
0000020a: EQ
0000020b: PUSH2 0x1766
0000020e: JUMPI
0000020f: DUP1
00000210: PUSH4 0xb2237ba3
00000215: EQ
00000216: PUSH2 0x17d3
00000219: JUMPI
0000021a: DUP1
0000021b: PUSH4 0xb51459fe
00000220: EQ
00000221: PUSH2 0x1818
00000224: JUMPI
00000225: DUP1
00000226: PUSH4 0xb69ef8a8
0000022b: EQ
0000022c: PUSH2 0x1847
0000022f: JUMPI
00000230: DUP1
00000231: PUSH4 0xbab7bdf8
00000236: EQ
00000237: PUSH2 0x1872
0000023a: JUMPI
0000023b: DUP1
0000023c: PUSH4 0xbbe4fd50
00000241: EQ
00000242: PUSH2 0x18cd
00000245: JUMPI
00000246: DUP1
00000247: PUSH4 0xc92eeb4a
0000024c: EQ
0000024d: PUSH2 0x18f8
00000250: JUMPI
00000251: DUP1
00000252: PUSH4 0xcf567d1e
00000257: EQ
00000258: PUSH2 0x1953
0000025b: JUMPI
0000025c: DUP1
0000025d: PUSH4 0xd10ac7eb
00000262: EQ
00000263: PUSH2 0x19aa
00000266: JUMPI
00000267: DUP1
00000268: PUSH4 0xd18ffb8d
0000026d: EQ
0000026e: PUSH2 0x1a01
00000271: JUMPI
00000272: DUP1
00000273: PUSH4 0xd2df254c
00000278: EQ
00000279: PUSH2 0x1a5c
0000027c: JUMPI
0000027d: DUP1
0000027e: PUSH4 0xd5f5b788
00000283: EQ
00000284: PUSH2 0x1a9d
00000287: JUMPI
00000288: DUP1
00000289: PUSH4 0xded317a8
0000028e: EQ
0000028f: PUSH2 0x1ac8
00000292: JUMPI
00000293: DUP1
00000294: PUSH4 0xe11b09e0
00000299: EQ
0000029a: PUSH2 0x1af3
0000029d: JUMPI
0000029e: DUP1
0000029f: PUSH4 0xe97678d9
000002a4: EQ
000002a5: PUSH2 0x1b0a
000002a8: JUMPI
000002a9: DUP1
000002aa: PUSH4 0xebc20426
000002af: EQ
000002b0: PUSH2 0x1b35
000002b3: JUMPI
000002b4: DUP1
000002b5: PUSH4 0xf1309d56
000002ba: EQ
000002bb: PUSH2 0x1b60
000002be: JUMPI
000002bf: DUP1
000002c0: PUSH4 0xf1c4ecb4
000002c5: EQ
000002c6: PUSH2 0x1b8b
000002c9: JUMPI
000002ca: DUP1
000002cb: PUSH4 0xf2fc6deb
000002d0: EQ
000002d1: PUSH2 0x1bb6
000002d4: JUMPI
000002d5: DUP1
000002d6: PUSH4 0xf37d0742
000002db: EQ
000002dc: PUSH2 0x1bf7
000002df: JUMPI
000002e0: DUP1
000002e1: PUSH4 0xf3995db7
000002e6: EQ
000002e7: PUSH2 0x1c22
000002ea: JUMPI
000002eb: DUP1
000002ec: PUSH4 0xf3fef3a3
000002f1: EQ
000002f2: PUSH2 0x1c4d
000002f5: JUMPI
000002f6: DUP1
000002f7: PUSH4 0xf6f6e66c
000002fc: EQ
000002fd: PUSH2 0x1cae
00000300: JUMPI
00000301: DUP1
00000302: PUSH4 0xfc0c546a
00000307: EQ
00000308: PUSH2 0x1d1b
0000030b: JUMPI
0000030c: DUP1
0000030d: PUSH4 0xfc398d6c
00000312: EQ
00000313: PUSH2 0x1d72
00000316: JUMPI
00000317: DUP1
00000318: PUSH4 0xfd475875
0000031d: EQ
0000031e: PUSH2 0x1dcd
00000321: JUMPI
00000322: DUP1
00000323: PUSH4 0xfe535227
00000328: EQ
00000329: PUSH2 0x1e48
0000032c: JUMPI
0000032d: JUMPDEST
0000032e: PUSH1 0x00
00000330: DUP1
00000331: PUSH1 0x00
00000333: DUP1
00000334: PUSH1 0x00
00000336: DUP1
00000337: PUSH1 0x00
00000339: DUP1
0000033a: PUSH1 0x00
0000033c: DUP1
0000033d: CALLVALUE
0000033e: SWAP10
0000033f: POP
00000340: CALLER
00000341: SWAP9
00000342: POP
00000343: PUSH2 0x034b
00000346: DUP11
00000347: PUSH2 0x1ecb
0000034a: JUMP
0000034b: JUMPDEST
0000034c: SWAP8
0000034d: POP
0000034e: PUSH1 0x0f
00000350: SLOAD
00000351: TIMESTAMP
00000352: GT
00000353: ISZERO
00000354: ISZERO
00000355: ISZERO
00000356: PUSH2 0x03c7
00000359: JUMPI
0000035a: PUSH1 0x40
0000035c: MLOAD
0000035d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000037e: DUP2
0000037f: MSTORE
00000380: PUSH1 0x04
00000382: ADD
00000383: DUP1
00000384: DUP1
00000385: PUSH1 0x20
00000387: ADD
00000388: DUP3
00000389: DUP2
0000038a: SUB
0000038b: DUP3
0000038c: MSTORE
0000038d: PUSH1 0x07
0000038f: DUP2
00000390: MSTORE
00000391: PUSH1 0x20
00000393: ADD
00000394: DUP1
00000395: PUSH32 0x656e6474696d6500000000000000000000000000000000000000000000000000
000003b6: DUP2
000003b7: MSTORE
000003b8: POP
000003b9: PUSH1 0x20
000003bb: ADD
000003bc: SWAP2
000003bd: POP
000003be: POP
000003bf: PUSH1 0x40
000003c1: MLOAD
000003c2: DUP1
000003c3: SWAP2
000003c4: SUB
000003c5: SWAP1
000003c6: REVERT
000003c7: JUMPDEST
000003c8: PUSH1 0x00
000003ca: ISZERO
000003cb: ISZERO
000003cc: PUSH1 0x1e
000003ce: PUSH1 0x00
000003d0: DUP12
000003d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003e6: AND
000003e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003fc: AND
000003fd: DUP2
000003fe: MSTORE
000003ff: PUSH1 0x20
00000401: ADD
00000402: SWAP1
00000403: DUP2
00000404: MSTORE
00000405: PUSH1 0x20
00000407: ADD
00000408: PUSH1 0x00
0000040a: KECCAK256
0000040b: PUSH1 0x00
0000040d: SWAP1
0000040e: SLOAD
0000040f: SWAP1
00000410: PUSH2 0x0100
00000413: EXP
00000414: SWAP1
00000415: DIV
00000416: PUSH1 0xff
00000418: AND
00000419: ISZERO
0000041a: ISZERO
0000041b: EQ
0000041c: ISZERO
0000041d: ISZERO
0000041e: ISZERO
0000041f: PUSH2 0x0490
00000422: JUMPI
00000423: PUSH1 0x40
00000425: MLOAD
00000426: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000447: DUP2
00000448: MSTORE
00000449: PUSH1 0x04
0000044b: ADD
0000044c: DUP1
0000044d: DUP1
0000044e: PUSH1 0x20
00000450: ADD
00000451: DUP3
00000452: DUP2
00000453: SUB
00000454: DUP3
00000455: MSTORE
00000456: PUSH1 0x09
00000458: DUP2
00000459: MSTORE
0000045a: PUSH1 0x20
0000045c: ADD
0000045d: DUP1
0000045e: PUSH32 0x4e6f20696e766573740000000000000000000000000000000000000000000000
0000047f: DUP2
00000480: MSTORE
00000481: POP
00000482: PUSH1 0x20
00000484: ADD
00000485: SWAP2
00000486: POP
00000487: POP
00000488: PUSH1 0x40
0000048a: MLOAD
0000048b: DUP1
0000048c: SWAP2
0000048d: SUB
0000048e: SWAP1
0000048f: REVERT
00000490: JUMPDEST
00000491: PUSH1 0x09
00000493: SLOAD
00000494: DUP9
00000495: LT
00000496: ISZERO
00000497: ISZERO
00000498: ISZERO
00000499: PUSH2 0x050a
0000049c: JUMPI
0000049d: PUSH1 0x40
0000049f: MLOAD
000004a0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000004c1: DUP2
000004c2: MSTORE
000004c3: PUSH1 0x04
000004c5: ADD
000004c6: DUP1
000004c7: DUP1
000004c8: PUSH1 0x20
000004ca: ADD
000004cb: DUP3
000004cc: DUP2
000004cd: SUB
000004ce: DUP3
000004cf: MSTORE
000004d0: PUSH1 0x16
000004d2: DUP2
000004d3: MSTORE
000004d4: PUSH1 0x20
000004d6: ADD
000004d7: DUP1
000004d8: PUSH32 0x4d696e20696e20555344206e6f7420616c6c6f77656400000000000000000000
000004f9: DUP2
000004fa: MSTORE
000004fb: POP
000004fc: PUSH1 0x20
000004fe: ADD
000004ff: SWAP2
00000500: POP
00000501: POP
00000502: PUSH1 0x40
00000504: MLOAD
00000505: DUP1
00000506: SWAP2
00000507: SUB
00000508: SWAP1
00000509: REVERT
0000050a: JUMPDEST
0000050b: DUP9
0000050c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000521: AND
00000522: PUSH32 0x9f2aa993778384d1a464178bc602fe2f113364d0faad0eb68cbff639d2932bcb
00000543: DUP12
00000544: PUSH1 0x40
00000546: MLOAD
00000547: DUP1
00000548: DUP3
00000549: DUP2
0000054a: MSTORE
0000054b: PUSH1 0x20
0000054d: ADD
0000054e: SWAP2
0000054f: POP
00000550: POP
00000551: PUSH1 0x40
00000553: MLOAD
00000554: DUP1
00000555: SWAP2
00000556: SUB
00000557: SWAP1
00000558: LOG2
00000559: PUSH2 0x0561
0000055c: CALLVALUE
0000055d: PUSH2 0x1f71
00000560: JUMP
00000561: JUMPDEST
00000562: SWAP7
00000563: POP
00000564: PUSH2 0x056c
00000567: CALLVALUE
00000568: PUSH2 0x1fa7
0000056b: JUMP
0000056c: JUMPDEST
0000056d: SWAP6
0000056e: POP
0000056f: PUSH32 0x3cf2d41c1d8f4f861737e90eaa95cdc9ddbec8acd33e0d9f9d779e4403f8cebb
00000590: DUP10
00000591: CALLVALUE
00000592: DUP10
00000593: DUP10
00000594: PUSH1 0x40
00000596: MLOAD
00000597: DUP1
00000598: DUP6
00000599: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005ae: AND
000005af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005c4: AND
000005c5: DUP2
000005c6: MSTORE
000005c7: PUSH1 0x20
000005c9: ADD
000005ca: DUP5
000005cb: DUP2
000005cc: MSTORE
000005cd: PUSH1 0x20
000005cf: ADD
000005d0: DUP4
000005d1: DUP2
000005d2: MSTORE
000005d3: PUSH1 0x20
000005d5: ADD
000005d6: DUP3
000005d7: DUP2
000005d8: MSTORE
000005d9: PUSH1 0x20
000005db: ADD
000005dc: SWAP5
000005dd: POP
000005de: POP
000005df: POP
000005e0: POP
000005e1: POP
000005e2: PUSH1 0x40
000005e4: MLOAD
000005e5: DUP1
000005e6: SWAP2
000005e7: SUB
000005e8: SWAP1
000005e9: LOG1
000005ea: PUSH2 0x05fc
000005ed: DUP7
000005ee: DUP9
000005ef: PUSH2 0x2082
000005f2: SWAP1
000005f3: SWAP2
000005f4: SWAP1
000005f5: PUSH4 0xffffffff
000005fa: AND
000005fb: JUMP
000005fc: JUMPDEST
000005fd: SWAP5
000005fe: POP
000005ff: PUSH1 0x08
00000601: PUSH1 0x00
00000603: SWAP1
00000604: SLOAD
00000605: SWAP1
00000606: PUSH2 0x0100
00000609: EXP
0000060a: SWAP1
0000060b: DIV
0000060c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000621: AND
00000622: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000637: AND
00000638: PUSH4 0x6c197ff5
0000063d: DUP11
0000063e: DUP10
0000063f: PUSH1 0x40
00000641: MLOAD
00000642: DUP4
00000643: PUSH4 0xffffffff
00000648: AND
00000649: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000667: MUL
00000668: DUP2
00000669: MSTORE
0000066a: PUSH1 0x04
0000066c: ADD
0000066d: DUP1
0000066e: DUP4
0000066f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000684: AND
00000685: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000069a: AND
0000069b: DUP2
0000069c: MSTORE
0000069d: PUSH1 0x20
0000069f: ADD
000006a0: DUP3
000006a1: DUP2
000006a2: MSTORE
000006a3: PUSH1 0x20
000006a5: ADD
000006a6: SWAP3
000006a7: POP
000006a8: POP
000006a9: POP
000006aa: PUSH1 0x20
000006ac: PUSH1 0x40
000006ae: MLOAD
000006af: DUP1
000006b0: DUP4
000006b1: SUB
000006b2: DUP2
000006b3: PUSH1 0x00
000006b5: DUP8
000006b6: DUP1
000006b7: EXTCODESIZE
000006b8: ISZERO
000006b9: DUP1
000006ba: ISZERO
000006bb: PUSH2 0x06c3
000006be: JUMPI
000006bf: PUSH1 0x00
000006c1: DUP1
000006c2: REVERT
000006c3: JUMPDEST
000006c4: POP
000006c5: GAS
000006c6: CALL
000006c7: ISZERO
000006c8: DUP1
000006c9: ISZERO
000006ca: PUSH2 0x06d7
000006cd: JUMPI
000006ce: RETURNDATASIZE
000006cf: PUSH1 0x00
000006d1: DUP1
000006d2: RETURNDATACOPY
000006d3: RETURNDATASIZE
000006d4: PUSH1 0x00
000006d6: REVERT
000006d7: JUMPDEST
000006d8: POP
000006d9: POP
000006da: POP
000006db: POP
000006dc: PUSH1 0x40
000006de: MLOAD
000006df: RETURNDATASIZE
000006e0: PUSH1 0x20
000006e2: DUP2
000006e3: LT
000006e4: ISZERO
000006e5: PUSH2 0x06ed
000006e8: JUMPI
000006e9: PUSH1 0x00
000006eb: DUP1
000006ec: REVERT
000006ed: JUMPDEST
000006ee: DUP2
000006ef: ADD
000006f0: SWAP1
000006f1: DUP1
000006f2: DUP1
000006f3: MLOAD
000006f4: SWAP1
000006f5: PUSH1 0x20
000006f7: ADD
000006f8: SWAP1
000006f9: SWAP3
000006fa: SWAP2
000006fb: SWAP1
000006fc: POP
000006fd: POP
000006fe: POP
000006ff: ISZERO
00000700: ISZERO
00000701: PUSH2 0x0772
00000704: JUMPI
00000705: PUSH1 0x40
00000707: MLOAD
00000708: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000729: DUP2
0000072a: MSTORE
0000072b: PUSH1 0x04
0000072d: ADD
0000072e: DUP1
0000072f: DUP1
00000730: PUSH1 0x20
00000732: ADD
00000733: DUP3
00000734: DUP2
00000735: SUB
00000736: DUP3
00000737: MSTORE
00000738: PUSH1 0x0e
0000073a: DUP2
0000073b: MSTORE
0000073c: PUSH1 0x20
0000073e: ADD
0000073f: DUP1
00000740: PUSH32 0x46616c6c61206c612076656e7461000000000000000000000000000000000000
00000761: DUP2
00000762: MSTORE
00000763: POP
00000764: PUSH1 0x20
00000766: ADD
00000767: SWAP2
00000768: POP
00000769: POP
0000076a: PUSH1 0x40
0000076c: MLOAD
0000076d: DUP1
0000076e: SWAP2
0000076f: SUB
00000770: SWAP1
00000771: REVERT
00000772: JUMPDEST
00000773: PUSH1 0x00
00000775: DUP7
00000776: GT
00000777: ISZERO
00000778: PUSH2 0x0884
0000077b: JUMPI
0000077c: PUSH1 0x08
0000077e: PUSH1 0x00
00000780: SWAP1
00000781: SLOAD
00000782: SWAP1
00000783: PUSH2 0x0100
00000786: EXP
00000787: SWAP1
00000788: DIV
00000789: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000079e: AND
0000079f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007b4: AND
000007b5: PUSH4 0x6c197ff5
000007ba: DUP11
000007bb: DUP9
000007bc: PUSH1 0x40
000007be: MLOAD
000007bf: DUP4
000007c0: PUSH4 0xffffffff
000007c5: AND
000007c6: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000007e4: MUL
000007e5: DUP2
000007e6: MSTORE
000007e7: PUSH1 0x04
000007e9: ADD
000007ea: DUP1
000007eb: DUP4
000007ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000801: AND
00000802: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000817: AND
00000818: DUP2
00000819: MSTORE
0000081a: PUSH1 0x20
0000081c: ADD
0000081d: DUP3
0000081e: DUP2
0000081f: MSTORE
00000820: PUSH1 0x20
00000822: ADD
00000823: SWAP3
00000824: POP
00000825: POP
00000826: POP
00000827: PUSH1 0x20
00000829: PUSH1 0x40
0000082b: MLOAD
0000082c: DUP1
0000082d: DUP4
0000082e: SUB
0000082f: DUP2
00000830: PUSH1 0x00
00000832: DUP8
00000833: DUP1
00000834: EXTCODESIZE
00000835: ISZERO
00000836: DUP1
00000837: ISZERO
00000838: PUSH2 0x0840
0000083b: JUMPI
0000083c: PUSH1 0x00
0000083e: DUP1
0000083f: REVERT
00000840: JUMPDEST
00000841: POP
00000842: GAS
00000843: CALL
00000844: ISZERO
00000845: DUP1
00000846: ISZERO
00000847: PUSH2 0x0854
0000084a: JUMPI
0000084b: RETURNDATASIZE
0000084c: PUSH1 0x00
0000084e: DUP1
0000084f: RETURNDATACOPY
00000850: RETURNDATASIZE
00000851: PUSH1 0x00
00000853: REVERT
00000854: JUMPDEST
00000855: POP
00000856: POP
00000857: POP
00000858: POP
00000859: PUSH1 0x40
0000085b: MLOAD
0000085c: RETURNDATASIZE
0000085d: PUSH1 0x20
0000085f: DUP2
00000860: LT
00000861: ISZERO
00000862: PUSH2 0x086a
00000865: JUMPI
00000866: PUSH1 0x00
00000868: DUP1
00000869: REVERT
0000086a: JUMPDEST
0000086b: DUP2
0000086c: ADD
0000086d: SWAP1
0000086e: DUP1
0000086f: DUP1
00000870: MLOAD
00000871: SWAP1
00000872: PUSH1 0x20
00000874: ADD
00000875: SWAP1
00000876: SWAP3
00000877: SWAP2
00000878: SWAP1
00000879: POP
0000087a: POP
0000087b: POP
0000087c: ISZERO
0000087d: ISZERO
0000087e: PUSH2 0x0883
00000881: JUMPI
00000882: INVALID
00000883: JUMPDEST
00000884: JUMPDEST
00000885: PUSH1 0x64
00000887: PUSH1 0x0a
00000889: DUP12
0000088a: MUL
0000088b: DUP2
0000088c: ISZERO
0000088d: ISZERO
0000088e: PUSH2 0x0893
00000891: JUMPI
00000892: INVALID
00000893: JUMPDEST
00000894: DIV
00000895: SWAP4
00000896: POP
00000897: PUSH1 0x64
00000899: PUSH1 0x5a
0000089b: DUP12
0000089c: MUL
0000089d: DUP2
0000089e: ISZERO
0000089f: ISZERO
000008a0: PUSH2 0x08a5
000008a3: JUMPI
000008a4: INVALID
000008a5: JUMPDEST
000008a6: DIV
000008a7: SWAP3
000008a8: POP
000008a9: PUSH2 0x08bd
000008ac: DUP6
000008ad: PUSH1 0x10
000008af: SLOAD
000008b0: PUSH2 0x2082
000008b3: SWAP1
000008b4: SWAP2
000008b5: SWAP1
000008b6: PUSH4 0xffffffff
000008bb: AND
000008bc: JUMP
000008bd: JUMPDEST
000008be: PUSH1 0x10
000008c0: DUP2
000008c1: SWAP1
000008c2: SSTORE
000008c3: POP
000008c4: PUSH2 0x08d8
000008c7: DUP11
000008c8: PUSH1 0x11
000008ca: SLOAD
000008cb: PUSH2 0x2082
000008ce: SWAP1
000008cf: SWAP2
000008d0: SWAP1
000008d1: PUSH4 0xffffffff
000008d6: AND
000008d7: JUMP
000008d8: JUMPDEST
000008d9: PUSH1 0x11
000008db: DUP2
000008dc: SWAP1
000008dd: SSTORE
000008de: POP
000008df: PUSH2 0x0930
000008e2: DUP11
000008e3: PUSH1 0x13
000008e5: PUSH1 0x00
000008e7: DUP13
000008e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008fd: AND
000008fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000913: AND
00000914: DUP2
00000915: MSTORE
00000916: PUSH1 0x20
00000918: ADD
00000919: SWAP1
0000091a: DUP2
0000091b: MSTORE
0000091c: PUSH1 0x20
0000091e: ADD
0000091f: PUSH1 0x00
00000921: KECCAK256
00000922: SLOAD
00000923: PUSH2 0x2082
00000926: SWAP1
00000927: SWAP2
00000928: SWAP1
00000929: PUSH4 0xffffffff
0000092e: AND
0000092f: JUMP
00000930: JUMPDEST
00000931: PUSH1 0x13
00000933: PUSH1 0x00
00000935: DUP12
00000936: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000094b: AND
0000094c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000961: AND
00000962: DUP2
00000963: MSTORE
00000964: PUSH1 0x20
00000966: ADD
00000967: SWAP1
00000968: DUP2
00000969: MSTORE
0000096a: PUSH1 0x20
0000096c: ADD
0000096d: PUSH1 0x00
0000096f: KECCAK256
00000970: DUP2
00000971: SWAP1
00000972: SSTORE
00000973: POP
00000974: PUSH1 0x1d
00000976: PUSH1 0x00
00000978: SWAP1
00000979: SLOAD
0000097a: SWAP1
0000097b: PUSH2 0x0100
0000097e: EXP
0000097f: SWAP1
00000980: DIV
00000981: PUSH1 0xff
00000983: AND
00000984: ISZERO
00000985: ISZERO
00000986: PUSH2 0x09ab
00000989: JUMPI
0000098a: PUSH2 0x0994
0000098d: PUSH1 0x04
0000098f: SLOAD
00000990: PUSH2 0x1ecb
00000993: JUMP
00000994: JUMPDEST
00000995: SWAP2
00000996: POP
00000997: PUSH1 0x0c
00000999: SLOAD
0000099a: DUP3
0000099b: LT
0000099c: ISZERO
0000099d: ISZERO
0000099e: PUSH2 0x09aa
000009a1: JUMPI
000009a2: PUSH2 0x09a9
000009a5: PUSH2 0x20a0
000009a8: JUMP
000009a9: JUMPDEST
000009aa: JUMPDEST
000009ab: JUMPDEST
000009ac: PUSH1 0x20
000009ae: PUSH1 0x00
000009b0: DUP11
000009b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009c6: AND
000009c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009dc: AND
000009dd: DUP2
000009de: MSTORE
000009df: PUSH1 0x20
000009e1: ADD
000009e2: SWAP1
000009e3: DUP2
000009e4: MSTORE
000009e5: PUSH1 0x20
000009e7: ADD
000009e8: PUSH1 0x00
000009ea: KECCAK256
000009eb: PUSH1 0x00
000009ed: SWAP1
000009ee: SLOAD
000009ef: SWAP1
000009f0: PUSH2 0x0100
000009f3: EXP
000009f4: SWAP1
000009f5: DIV
000009f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a0b: AND
00000a0c: SWAP1
00000a0d: POP
00000a0e: PUSH1 0x1b
00000a10: DUP2
00000a11: SWAP1
00000a12: DUP1
00000a13: PUSH1 0x01
00000a15: DUP2
00000a16: SLOAD
00000a17: ADD
00000a18: DUP1
00000a19: DUP3
00000a1a: SSTORE
00000a1b: DUP1
00000a1c: SWAP2
00000a1d: POP
00000a1e: POP
00000a1f: SWAP1
00000a20: PUSH1 0x01
00000a22: DUP3
00000a23: SUB
00000a24: SWAP1
00000a25: PUSH1 0x00
00000a27: MSTORE
00000a28: PUSH1 0x20
00000a2a: PUSH1 0x00
00000a2c: KECCAK256
00000a2d: ADD
00000a2e: PUSH1 0x00
00000a30: SWAP1
00000a31: SWAP2
00000a32: SWAP3
00000a33: SWAP1
00000a34: SWAP2
00000a35: SWAP1
00000a36: SWAP2
00000a37: PUSH2 0x0100
00000a3a: EXP
00000a3b: DUP2
00000a3c: SLOAD
00000a3d: DUP2
00000a3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a53: MUL
00000a54: NOT
00000a55: AND
00000a56: SWAP1
00000a57: DUP4
00000a58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a6d: AND
00000a6e: MUL
00000a6f: OR
00000a70: SWAP1
00000a71: SSTORE
00000a72: POP
00000a73: POP
00000a74: PUSH1 0x19
00000a76: PUSH1 0x00
00000a78: DUP11
00000a79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a8e: AND
00000a8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aa4: AND
00000aa5: DUP2
00000aa6: MSTORE
00000aa7: PUSH1 0x20
00000aa9: ADD
00000aaa: SWAP1
00000aab: DUP2
00000aac: MSTORE
00000aad: PUSH1 0x20
00000aaf: ADD
00000ab0: PUSH1 0x00
00000ab2: KECCAK256
00000ab3: PUSH1 0x00
00000ab5: SWAP1
00000ab6: SLOAD
00000ab7: SWAP1
00000ab8: PUSH2 0x0100
00000abb: EXP
00000abc: SWAP1
00000abd: DIV
00000abe: PUSH1 0xff
00000ac0: AND
00000ac1: ISZERO
00000ac2: PUSH2 0x0b7a
00000ac5: JUMPI
00000ac6: PUSH2 0x0ada
00000ac9: DUP5
00000aca: PUSH1 0x05
00000acc: SLOAD
00000acd: PUSH2 0x2082
00000ad0: SWAP1
00000ad1: SWAP2
00000ad2: SWAP1
00000ad3: PUSH4 0xffffffff
00000ad8: AND
00000ad9: JUMP
00000ada: JUMPDEST
00000adb: PUSH1 0x05
00000add: DUP2
00000ade: SWAP1
00000adf: SSTORE
00000ae0: POP
00000ae1: PUSH2 0x0b32
00000ae4: DUP5
00000ae5: PUSH1 0x15
00000ae7: PUSH1 0x00
00000ae9: DUP5
00000aea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aff: AND
00000b00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b15: AND
00000b16: DUP2
00000b17: MSTORE
00000b18: PUSH1 0x20
00000b1a: ADD
00000b1b: SWAP1
00000b1c: DUP2
00000b1d: MSTORE
00000b1e: PUSH1 0x20
00000b20: ADD
00000b21: PUSH1 0x00
00000b23: KECCAK256
00000b24: SLOAD
00000b25: PUSH2 0x2082
00000b28: SWAP1
00000b29: SWAP2
00000b2a: SWAP1
00000b2b: PUSH4 0xffffffff
00000b30: AND
00000b31: JUMP
00000b32: JUMPDEST
00000b33: PUSH1 0x15
00000b35: PUSH1 0x00
00000b37: DUP4
00000b38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b4d: AND
00000b4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b63: AND
00000b64: DUP2
00000b65: MSTORE
00000b66: PUSH1 0x20
00000b68: ADD
00000b69: SWAP1
00000b6a: DUP2
00000b6b: MSTORE
00000b6c: PUSH1 0x20
00000b6e: ADD
00000b6f: PUSH1 0x00
00000b71: KECCAK256
00000b72: DUP2
00000b73: SWAP1
00000b74: SSTORE
00000b75: POP
00000b76: PUSH2 0x0cc0
00000b79: JUMP
00000b7a: JUMPDEST
00000b7b: PUSH2 0x0b8f
00000b7e: DUP5
00000b7f: PUSH1 0x06
00000b81: SLOAD
00000b82: PUSH2 0x2082
00000b85: SWAP1
00000b86: SWAP2
00000b87: SWAP1
00000b88: PUSH4 0xffffffff
00000b8d: AND
00000b8e: JUMP
00000b8f: JUMPDEST
00000b90: PUSH1 0x06
00000b92: DUP2
00000b93: SWAP1
00000b94: SSTORE
00000b95: POP
00000b96: PUSH2 0x0be7
00000b99: DUP5
00000b9a: PUSH1 0x16
00000b9c: PUSH1 0x00
00000b9e: DUP5
00000b9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb4: AND
00000bb5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bca: AND
00000bcb: DUP2
00000bcc: MSTORE
00000bcd: PUSH1 0x20
00000bcf: ADD
00000bd0: SWAP1
00000bd1: DUP2
00000bd2: MSTORE
00000bd3: PUSH1 0x20
00000bd5: ADD
00000bd6: PUSH1 0x00
00000bd8: KECCAK256
00000bd9: SLOAD
00000bda: PUSH2 0x2082
00000bdd: SWAP1
00000bde: SWAP2
00000bdf: SWAP1
00000be0: PUSH4 0xffffffff
00000be5: AND
00000be6: JUMP
00000be7: JUMPDEST
00000be8: PUSH1 0x16
00000bea: PUSH1 0x00
00000bec: DUP4
00000bed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c02: AND
00000c03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c18: AND
00000c19: DUP2
00000c1a: MSTORE
00000c1b: PUSH1 0x20
00000c1d: ADD
00000c1e: SWAP1
00000c1f: DUP2
00000c20: MSTORE
00000c21: PUSH1 0x20
00000c23: ADD
00000c24: PUSH1 0x00
00000c26: KECCAK256
00000c27: DUP2
00000c28: SWAP1
00000c29: SSTORE
00000c2a: POP
00000c2b: PUSH2 0x0c7c
00000c2e: DUP5
00000c2f: PUSH1 0x17
00000c31: PUSH1 0x00
00000c33: DUP13
00000c34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c49: AND
00000c4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c5f: AND
00000c60: DUP2
00000c61: MSTORE
00000c62: PUSH1 0x20
00000c64: ADD
00000c65: SWAP1
00000c66: DUP2
00000c67: MSTORE
00000c68: PUSH1 0x20
00000c6a: ADD
00000c6b: PUSH1 0x00
00000c6d: KECCAK256
00000c6e: SLOAD
00000c6f: PUSH2 0x2082
00000c72: SWAP1
00000c73: SWAP2
00000c74: SWAP1
00000c75: PUSH4 0xffffffff
00000c7a: AND
00000c7b: JUMP
00000c7c: JUMPDEST
00000c7d: PUSH1 0x17
00000c7f: PUSH1 0x00
00000c81: DUP12
00000c82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c97: AND
00000c98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cad: AND
00000cae: DUP2
00000caf: MSTORE
00000cb0: PUSH1 0x20
00000cb2: ADD
00000cb3: SWAP1
00000cb4: DUP2
00000cb5: MSTORE
00000cb6: PUSH1 0x20
00000cb8: ADD
00000cb9: PUSH1 0x00
00000cbb: KECCAK256
00000cbc: DUP2
00000cbd: SWAP1
00000cbe: SSTORE
00000cbf: POP
00000cc0: JUMPDEST
00000cc1: PUSH2 0x0cc9
00000cc4: DUP2
00000cc5: PUSH2 0x20f3
00000cc8: JUMP
00000cc9: JUMPDEST
00000cca: PUSH2 0x0cde
00000ccd: DUP4
00000cce: PUSH1 0x04
00000cd0: SLOAD
00000cd1: PUSH2 0x2082
00000cd4: SWAP1
00000cd5: SWAP2
00000cd6: SWAP1
00000cd7: PUSH4 0xffffffff
00000cdc: AND
00000cdd: JUMP
00000cde: JUMPDEST
00000cdf: PUSH1 0x04
00000ce1: DUP2
00000ce2: SWAP1
00000ce3: SSTORE
00000ce4: POP
00000ce5: POP
00000ce6: POP
00000ce7: POP
00000ce8: POP
00000ce9: POP
00000cea: POP
00000ceb: POP
00000cec: POP
00000ced: POP
00000cee: POP
00000cef: STOP
00000cf0: JUMPDEST
00000cf1: CALLVALUE
00000cf2: DUP1
00000cf3: ISZERO
00000cf4: PUSH2 0x0cfc
00000cf7: JUMPI
00000cf8: PUSH1 0x00
00000cfa: DUP1
00000cfb: REVERT
00000cfc: JUMPDEST
00000cfd: POP
00000cfe: PUSH2 0x0d05
00000d01: PUSH2 0x26e8
00000d04: JUMP
00000d05: JUMPDEST
00000d06: STOP
00000d07: JUMPDEST
00000d08: CALLVALUE
00000d09: DUP1
00000d0a: ISZERO
00000d0b: PUSH2 0x0d13
00000d0e: JUMPI
00000d0f: PUSH1 0x00
00000d11: DUP1
00000d12: REVERT
00000d13: JUMPDEST
00000d14: POP
00000d15: PUSH2 0x0d1c
00000d18: PUSH2 0x2777
00000d1b: JUMP
00000d1c: JUMPDEST
00000d1d: PUSH1 0x40
00000d1f: MLOAD
00000d20: DUP1
00000d21: DUP3
00000d22: DUP2
00000d23: MSTORE
00000d24: PUSH1 0x20
00000d26: ADD
00000d27: SWAP2
00000d28: POP
00000d29: POP
00000d2a: PUSH1 0x40
00000d2c: MLOAD
00000d2d: DUP1
00000d2e: SWAP2
00000d2f: SUB
00000d30: SWAP1
00000d31: RETURN
00000d32: JUMPDEST
00000d33: CALLVALUE
00000d34: DUP1
00000d35: ISZERO
00000d36: PUSH2 0x0d3e
00000d39: JUMPI
00000d3a: PUSH1 0x00
00000d3c: DUP1
00000d3d: REVERT
00000d3e: JUMPDEST
00000d3f: POP
00000d40: PUSH2 0x0d47
00000d43: PUSH2 0x277d
00000d46: JUMP
00000d47: JUMPDEST
00000d48: PUSH1 0x40
00000d4a: MLOAD
00000d4b: DUP1
00000d4c: DUP3
00000d4d: ISZERO
00000d4e: ISZERO
00000d4f: ISZERO
00000d50: ISZERO
00000d51: DUP2
00000d52: MSTORE
00000d53: PUSH1 0x20
00000d55: ADD
00000d56: SWAP2
00000d57: POP
00000d58: POP
00000d59: PUSH1 0x40
00000d5b: MLOAD
00000d5c: DUP1
00000d5d: SWAP2
00000d5e: SUB
00000d5f: SWAP1
00000d60: RETURN
00000d61: JUMPDEST
00000d62: CALLVALUE
00000d63: DUP1
00000d64: ISZERO
00000d65: PUSH2 0x0d6d
00000d68: JUMPI
00000d69: PUSH1 0x00
00000d6b: DUP1
00000d6c: REVERT
00000d6d: JUMPDEST
00000d6e: POP
00000d6f: PUSH2 0x0d76
00000d72: PUSH2 0x2830
00000d75: JUMP
00000d76: JUMPDEST
00000d77: PUSH1 0x40
00000d79: MLOAD
00000d7a: DUP1
00000d7b: DUP3
00000d7c: DUP2
00000d7d: MSTORE
00000d7e: PUSH1 0x20
00000d80: ADD
00000d81: SWAP2
00000d82: POP
00000d83: POP
00000d84: PUSH1 0x40
00000d86: MLOAD
00000d87: DUP1
00000d88: SWAP2
00000d89: SUB
00000d8a: SWAP1
00000d8b: RETURN
00000d8c: JUMPDEST
00000d8d: CALLVALUE
00000d8e: DUP1
00000d8f: ISZERO
00000d90: PUSH2 0x0d98
00000d93: JUMPI
00000d94: PUSH1 0x00
00000d96: DUP1
00000d97: REVERT
00000d98: JUMPDEST
00000d99: POP
00000d9a: PUSH2 0x0dcd
00000d9d: PUSH1 0x04
00000d9f: DUP1
00000da0: CALLDATASIZE
00000da1: SUB
00000da2: DUP2
00000da3: ADD
00000da4: SWAP1
00000da5: DUP1
00000da6: DUP1
00000da7: CALLDATALOAD
00000da8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dbd: AND
00000dbe: SWAP1
00000dbf: PUSH1 0x20
00000dc1: ADD
00000dc2: SWAP1
00000dc3: SWAP3
00000dc4: SWAP2
00000dc5: SWAP1
00000dc6: POP
00000dc7: POP
00000dc8: POP
00000dc9: PUSH2 0x2839
00000dcc: JUMP
00000dcd: JUMPDEST
00000dce: STOP
00000dcf: JUMPDEST
00000dd0: CALLVALUE
00000dd1: DUP1
00000dd2: ISZERO
00000dd3: PUSH2 0x0ddb
00000dd6: JUMPI
00000dd7: PUSH1 0x00
00000dd9: DUP1
00000dda: REVERT
00000ddb: JUMPDEST
00000ddc: POP
00000ddd: PUSH2 0x0e10
00000de0: PUSH1 0x04
00000de2: DUP1
00000de3: CALLDATASIZE
00000de4: SUB
00000de5: DUP2
00000de6: ADD
00000de7: SWAP1
00000de8: DUP1
00000de9: DUP1
00000dea: CALLDATALOAD
00000deb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e00: AND
00000e01: SWAP1
00000e02: PUSH1 0x20
00000e04: ADD
00000e05: SWAP1
00000e06: SWAP3
00000e07: SWAP2
00000e08: SWAP1
00000e09: POP
00000e0a: POP
00000e0b: POP
00000e0c: PUSH2 0x2984
00000e0f: JUMP
00000e10: JUMPDEST
00000e11: PUSH1 0x40
00000e13: MLOAD
00000e14: DUP1
00000e15: DUP3
00000e16: DUP2
00000e17: MSTORE
00000e18: PUSH1 0x20
00000e1a: ADD
00000e1b: SWAP2
00000e1c: POP
00000e1d: POP
00000e1e: PUSH1 0x40
00000e20: MLOAD
00000e21: DUP1
00000e22: SWAP2
00000e23: SUB
00000e24: SWAP1
00000e25: RETURN
00000e26: JUMPDEST
00000e27: CALLVALUE
00000e28: DUP1
00000e29: ISZERO
00000e2a: PUSH2 0x0e32
00000e2d: JUMPI
00000e2e: PUSH1 0x00
00000e30: DUP1
00000e31: REVERT
00000e32: JUMPDEST
00000e33: POP
00000e34: PUSH2 0x0e67
00000e37: PUSH1 0x04
00000e39: DUP1
00000e3a: CALLDATASIZE
00000e3b: SUB
00000e3c: DUP2
00000e3d: ADD
00000e3e: SWAP1
00000e3f: DUP1
00000e40: DUP1
00000e41: CALLDATALOAD
00000e42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e57: AND
00000e58: SWAP1
00000e59: PUSH1 0x20
00000e5b: ADD
00000e5c: SWAP1
00000e5d: SWAP3
00000e5e: SWAP2
00000e5f: SWAP1
00000e60: POP
00000e61: POP
00000e62: POP
00000e63: PUSH2 0x29cd
00000e66: JUMP
00000e67: JUMPDEST
00000e68: PUSH1 0x40
00000e6a: MLOAD
00000e6b: DUP1
00000e6c: DUP3
00000e6d: ISZERO
00000e6e: ISZERO
00000e6f: ISZERO
00000e70: ISZERO
00000e71: DUP2
00000e72: MSTORE
00000e73: PUSH1 0x20
00000e75: ADD
00000e76: SWAP2
00000e77: POP
00000e78: POP
00000e79: PUSH1 0x40
00000e7b: MLOAD
00000e7c: DUP1
00000e7d: SWAP2
00000e7e: SUB
00000e7f: SWAP1
00000e80: RETURN
00000e81: JUMPDEST
00000e82: CALLVALUE
00000e83: DUP1
00000e84: ISZERO
00000e85: PUSH2 0x0e8d
00000e88: JUMPI
00000e89: PUSH1 0x00
00000e8b: DUP1
00000e8c: REVERT
00000e8d: JUMPDEST
00000e8e: POP
00000e8f: PUSH2 0x0e96
00000e92: PUSH2 0x2a23
00000e95: JUMP
00000e96: JUMPDEST
00000e97: PUSH1 0x40
00000e99: MLOAD
00000e9a: DUP1
00000e9b: DUP3
00000e9c: DUP2
00000e9d: MSTORE
00000e9e: PUSH1 0x20
00000ea0: ADD
00000ea1: SWAP2
00000ea2: POP
00000ea3: POP
00000ea4: PUSH1 0x40
00000ea6: MLOAD
00000ea7: DUP1
00000ea8: SWAP2
00000ea9: SUB
00000eaa: SWAP1
00000eab: RETURN
00000eac: JUMPDEST
00000ead: CALLVALUE
00000eae: DUP1
00000eaf: ISZERO
00000eb0: PUSH2 0x0eb8
00000eb3: JUMPI
00000eb4: PUSH1 0x00
00000eb6: DUP1
00000eb7: REVERT
00000eb8: JUMPDEST
00000eb9: POP
00000eba: PUSH2 0x0eed
00000ebd: PUSH1 0x04
00000ebf: DUP1
00000ec0: CALLDATASIZE
00000ec1: SUB
00000ec2: DUP2
00000ec3: ADD
00000ec4: SWAP1
00000ec5: DUP1
00000ec6: DUP1
00000ec7: CALLDATALOAD
00000ec8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000edd: AND
00000ede: SWAP1
00000edf: PUSH1 0x20
00000ee1: ADD
00000ee2: SWAP1
00000ee3: SWAP3
00000ee4: SWAP2
00000ee5: SWAP1
00000ee6: POP
00000ee7: POP
00000ee8: POP
00000ee9: PUSH2 0x2a29
00000eec: JUMP
00000eed: JUMPDEST
00000eee: PUSH1 0x40
00000ef0: MLOAD
00000ef1: DUP1
00000ef2: DUP3
00000ef3: ISZERO
00000ef4: ISZERO
00000ef5: ISZERO
00000ef6: ISZERO
00000ef7: DUP2
00000ef8: MSTORE
00000ef9: PUSH1 0x20
00000efb: ADD
00000efc: SWAP2
00000efd: POP
00000efe: POP
00000eff: PUSH1 0x40
00000f01: MLOAD
00000f02: DUP1
00000f03: SWAP2
00000f04: SUB
00000f05: SWAP1
00000f06: RETURN
00000f07: JUMPDEST
00000f08: CALLVALUE
00000f09: DUP1
00000f0a: ISZERO
00000f0b: PUSH2 0x0f13
00000f0e: JUMPI
00000f0f: PUSH1 0x00
00000f11: DUP1
00000f12: REVERT
00000f13: JUMPDEST
00000f14: POP
00000f15: PUSH2 0x0f32
00000f18: PUSH1 0x04
00000f1a: DUP1
00000f1b: CALLDATASIZE
00000f1c: SUB
00000f1d: DUP2
00000f1e: ADD
00000f1f: SWAP1
00000f20: DUP1
00000f21: DUP1
00000f22: CALLDATALOAD
00000f23: SWAP1
00000f24: PUSH1 0x20
00000f26: ADD
00000f27: SWAP1
00000f28: SWAP3
00000f29: SWAP2
00000f2a: SWAP1
00000f2b: POP
00000f2c: POP
00000f2d: POP
00000f2e: PUSH2 0x2a49
00000f31: JUMP
00000f32: JUMPDEST
00000f33: PUSH1 0x40
00000f35: MLOAD
00000f36: DUP1
00000f37: DUP3
00000f38: ISZERO
00000f39: ISZERO
00000f3a: ISZERO
00000f3b: ISZERO
00000f3c: DUP2
00000f3d: MSTORE
00000f3e: PUSH1 0x20
00000f40: ADD
00000f41: SWAP2
00000f42: POP
00000f43: POP
00000f44: PUSH1 0x40
00000f46: MLOAD
00000f47: DUP1
00000f48: SWAP2
00000f49: SUB
00000f4a: SWAP1
00000f4b: RETURN
00000f4c: JUMPDEST
00000f4d: CALLVALUE
00000f4e: DUP1
00000f4f: ISZERO
00000f50: PUSH2 0x0f58
00000f53: JUMPI
00000f54: PUSH1 0x00
00000f56: DUP1
00000f57: REVERT
00000f58: JUMPDEST
00000f59: POP
00000f5a: PUSH2 0x0f61
00000f5d: PUSH2 0x2b35
00000f60: JUMP
00000f61: JUMPDEST
00000f62: PUSH1 0x40
00000f64: MLOAD
00000f65: DUP1
00000f66: DUP3
00000f67: DUP2
00000f68: MSTORE
00000f69: PUSH1 0x20
00000f6b: ADD
00000f6c: SWAP2
00000f6d: POP
00000f6e: POP
00000f6f: PUSH1 0x40
00000f71: MLOAD
00000f72: DUP1
00000f73: SWAP2
00000f74: SUB
00000f75: SWAP1
00000f76: RETURN
00000f77: JUMPDEST
00000f78: CALLVALUE
00000f79: DUP1
00000f7a: ISZERO
00000f7b: PUSH2 0x0f83
00000f7e: JUMPI
00000f7f: PUSH1 0x00
00000f81: DUP1
00000f82: REVERT
00000f83: JUMPDEST
00000f84: POP
00000f85: PUSH2 0x0fc4
00000f88: PUSH1 0x04
00000f8a: DUP1
00000f8b: CALLDATASIZE
00000f8c: SUB
00000f8d: DUP2
00000f8e: ADD
00000f8f: SWAP1
00000f90: DUP1
00000f91: DUP1
00000f92: CALLDATALOAD
00000f93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fa8: AND
00000fa9: SWAP1
00000faa: PUSH1 0x20
00000fac: ADD
00000fad: SWAP1
00000fae: SWAP3
00000faf: SWAP2
00000fb0: SWAP1
00000fb1: DUP1
00000fb2: CALLDATALOAD
00000fb3: ISZERO
00000fb4: ISZERO
00000fb5: SWAP1
00000fb6: PUSH1 0x20
00000fb8: ADD
00000fb9: SWAP1
00000fba: SWAP3
00000fbb: SWAP2
00000fbc: SWAP1
00000fbd: POP
00000fbe: POP
00000fbf: POP
00000fc0: PUSH2 0x2b3b
00000fc3: JUMP
00000fc4: JUMPDEST
00000fc5: PUSH1 0x40
00000fc7: MLOAD
00000fc8: DUP1
00000fc9: DUP3
00000fca: ISZERO
00000fcb: ISZERO
00000fcc: ISZERO
00000fcd: ISZERO
00000fce: DUP2
00000fcf: MSTORE
00000fd0: PUSH1 0x20
00000fd2: ADD
00000fd3: SWAP2
00000fd4: POP
00000fd5: POP
00000fd6: PUSH1 0x40
00000fd8: MLOAD
00000fd9: DUP1
00000fda: SWAP2
00000fdb: SUB
00000fdc: SWAP1
00000fdd: RETURN
00000fde: JUMPDEST
00000fdf: CALLVALUE
00000fe0: DUP1
00000fe1: ISZERO
00000fe2: PUSH2 0x0fea
00000fe5: JUMPI
00000fe6: PUSH1 0x00
00000fe8: DUP1
00000fe9: REVERT
00000fea: JUMPDEST
00000feb: POP
00000fec: PUSH2 0x0ff3
00000fef: PUSH2 0x2c47
00000ff2: JUMP
00000ff3: JUMPDEST
00000ff4: PUSH1 0x40
00000ff6: MLOAD
00000ff7: DUP1
00000ff8: DUP3
00000ff9: DUP2
00000ffa: MSTORE
00000ffb: PUSH1 0x20
00000ffd: ADD
00000ffe: SWAP2
00000fff: POP
00001000: POP
00001001: PUSH1 0x40
00001003: MLOAD
00001004: DUP1
00001005: SWAP2
00001006: SUB
00001007: SWAP1
00001008: RETURN
00001009: JUMPDEST
0000100a: CALLVALUE
0000100b: DUP1
0000100c: ISZERO
0000100d: PUSH2 0x1015
00001010: JUMPI
00001011: PUSH1 0x00
00001013: DUP1
00001014: REVERT
00001015: JUMPDEST
00001016: POP
00001017: PUSH2 0x101e
0000101a: PUSH2 0x2c54
0000101d: JUMP
0000101e: JUMPDEST
0000101f: PUSH1 0x40
00001021: MLOAD
00001022: DUP1
00001023: DUP3
00001024: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001039: AND
0000103a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000104f: AND
00001050: DUP2
00001051: MSTORE
00001052: PUSH1 0x20
00001054: ADD
00001055: SWAP2
00001056: POP
00001057: POP
00001058: PUSH1 0x40
0000105a: MLOAD
0000105b: DUP1
0000105c: SWAP2
0000105d: SUB
0000105e: SWAP1
0000105f: RETURN
00001060: JUMPDEST
00001061: CALLVALUE
00001062: DUP1
00001063: ISZERO
00001064: PUSH2 0x106c
00001067: JUMPI
00001068: PUSH1 0x00
0000106a: DUP1
0000106b: REVERT
0000106c: JUMPDEST
0000106d: POP
0000106e: PUSH2 0x108b
00001071: PUSH1 0x04
00001073: DUP1
00001074: CALLDATASIZE
00001075: SUB
00001076: DUP2
00001077: ADD
00001078: SWAP1
00001079: DUP1
0000107a: DUP1
0000107b: CALLDATALOAD
0000107c: SWAP1
0000107d: PUSH1 0x20
0000107f: ADD
00001080: SWAP1
00001081: SWAP3
00001082: SWAP2
00001083: SWAP1
00001084: POP
00001085: POP
00001086: POP
00001087: PUSH2 0x2c7a
0000108a: JUMP
0000108b: JUMPDEST
0000108c: PUSH1 0x40
0000108e: MLOAD
0000108f: DUP1
00001090: DUP3
00001091: ISZERO
00001092: ISZERO
00001093: ISZERO
00001094: ISZERO
00001095: DUP2
00001096: MSTORE
00001097: PUSH1 0x20
00001099: ADD
0000109a: SWAP2
0000109b: POP
0000109c: POP
0000109d: PUSH1 0x40
0000109f: MLOAD
000010a0: DUP1
000010a1: SWAP2
000010a2: SUB
000010a3: SWAP1
000010a4: RETURN
000010a5: JUMPDEST
000010a6: CALLVALUE
000010a7: DUP1
000010a8: ISZERO
000010a9: PUSH2 0x10b1
000010ac: JUMPI
000010ad: PUSH1 0x00
000010af: DUP1
000010b0: REVERT
000010b1: JUMPDEST
000010b2: POP
000010b3: PUSH2 0x10ba
000010b6: PUSH2 0x2da6
000010b9: JUMP
000010ba: JUMPDEST
000010bb: PUSH1 0x40
000010bd: MLOAD
000010be: DUP1
000010bf: DUP3
000010c0: DUP2
000010c1: MSTORE
000010c2: PUSH1 0x20
000010c4: ADD
000010c5: SWAP2
000010c6: POP
000010c7: POP
000010c8: PUSH1 0x40
000010ca: MLOAD
000010cb: DUP1
000010cc: SWAP2
000010cd: SUB
000010ce: SWAP1
000010cf: RETURN
000010d0: JUMPDEST
000010d1: CALLVALUE
000010d2: DUP1
000010d3: ISZERO
000010d4: PUSH2 0x10dc
000010d7: JUMPI
000010d8: PUSH1 0x00
000010da: DUP1
000010db: REVERT
000010dc: JUMPDEST
000010dd: POP
000010de: PUSH2 0x10fb
000010e1: PUSH1 0x04
000010e3: DUP1
000010e4: CALLDATASIZE
000010e5: SUB
000010e6: DUP2
000010e7: ADD
000010e8: SWAP1
000010e9: DUP1
000010ea: DUP1
000010eb: CALLDATALOAD
000010ec: SWAP1
000010ed: PUSH1 0x20
000010ef: ADD
000010f0: SWAP1
000010f1: SWAP3
000010f2: SWAP2
000010f3: SWAP1
000010f4: POP
000010f5: POP
000010f6: POP
000010f7: PUSH2 0x2dac
000010fa: JUMP
000010fb: JUMPDEST
000010fc: PUSH1 0x40
000010fe: MLOAD
000010ff: DUP1
00001100: DUP3
00001101: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001116: AND
00001117: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000112c: AND
0000112d: DUP2
0000112e: MSTORE
0000112f: PUSH1 0x20
00001131: ADD
00001132: SWAP2
00001133: POP
00001134: POP
00001135: PUSH1 0x40
00001137: MLOAD
00001138: DUP1
00001139: SWAP2
0000113a: SUB
0000113b: SWAP1
0000113c: RETURN
0000113d: JUMPDEST
0000113e: CALLVALUE
0000113f: DUP1
00001140: ISZERO
00001141: PUSH2 0x1149
00001144: JUMPI
00001145: PUSH1 0x00
00001147: DUP1
00001148: REVERT
00001149: JUMPDEST
0000114a: POP
0000114b: PUSH2 0x117e
0000114e: PUSH1 0x04
00001150: DUP1
00001151: CALLDATASIZE
00001152: SUB
00001153: DUP2
00001154: ADD
00001155: SWAP1
00001156: DUP1
00001157: DUP1
00001158: CALLDATALOAD
00001159: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000116e: AND
0000116f: SWAP1
00001170: PUSH1 0x20
00001172: ADD
00001173: SWAP1
00001174: SWAP3
00001175: SWAP2
00001176: SWAP1
00001177: POP
00001178: POP
00001179: POP
0000117a: PUSH2 0x2dea
0000117d: JUMP
0000117e: JUMPDEST
0000117f: PUSH1 0x40
00001181: MLOAD
00001182: DUP1
00001183: DUP3
00001184: DUP2
00001185: MSTORE
00001186: PUSH1 0x20
00001188: ADD
00001189: SWAP2
0000118a: POP
0000118b: POP
0000118c: PUSH1 0x40
0000118e: MLOAD
0000118f: DUP1
00001190: SWAP2
00001191: SUB
00001192: SWAP1
00001193: RETURN
00001194: JUMPDEST
00001195: CALLVALUE
00001196: DUP1
00001197: ISZERO
00001198: PUSH2 0x11a0
0000119b: JUMPI
0000119c: PUSH1 0x00
0000119e: DUP1
0000119f: REVERT
000011a0: JUMPDEST
000011a1: POP
000011a2: PUSH2 0x11bf
000011a5: PUSH1 0x04
000011a7: DUP1
000011a8: CALLDATASIZE
000011a9: SUB
000011aa: DUP2
000011ab: ADD
000011ac: SWAP1
000011ad: DUP1
000011ae: DUP1
000011af: CALLDATALOAD
000011b0: SWAP1
000011b1: PUSH1 0x20
000011b3: ADD
000011b4: SWAP1
000011b5: SWAP3
000011b6: SWAP2
000011b7: SWAP1
000011b8: POP
000011b9: POP
000011ba: POP
000011bb: PUSH2 0x1f71
000011be: JUMP
000011bf: JUMPDEST
000011c0: PUSH1 0x40
000011c2: MLOAD
000011c3: DUP1
000011c4: DUP3
000011c5: DUP2
000011c6: MSTORE
000011c7: PUSH1 0x20
000011c9: ADD
000011ca: SWAP2
000011cb: POP
000011cc: POP
000011cd: PUSH1 0x40
000011cf: MLOAD
000011d0: DUP1
000011d1: SWAP2
000011d2: SUB
000011d3: SWAP1
000011d4: RETURN
000011d5: JUMPDEST
000011d6: CALLVALUE
000011d7: DUP1
000011d8: ISZERO
000011d9: PUSH2 0x11e1
000011dc: JUMPI
000011dd: PUSH1 0x00
000011df: DUP1
000011e0: REVERT
000011e1: JUMPDEST
000011e2: POP
000011e3: PUSH2 0x1216
000011e6: PUSH1 0x04
000011e8: DUP1
000011e9: CALLDATASIZE
000011ea: SUB
000011eb: DUP2
000011ec: ADD
000011ed: SWAP1
000011ee: DUP1
000011ef: DUP1
000011f0: CALLDATALOAD
000011f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001206: AND
00001207: SWAP1
00001208: PUSH1 0x20
0000120a: ADD
0000120b: SWAP1
0000120c: SWAP3
0000120d: SWAP2
0000120e: SWAP1
0000120f: POP
00001210: POP
00001211: POP
00001212: PUSH2 0x2e33
00001215: JUMP
00001216: JUMPDEST
00001217: PUSH1 0x40
00001219: MLOAD
0000121a: DUP1
0000121b: DUP3
0000121c: ISZERO
0000121d: ISZERO
0000121e: ISZERO
0000121f: ISZERO
00001220: DUP2
00001221: MSTORE
00001222: PUSH1 0x20
00001224: ADD
00001225: SWAP2
00001226: POP
00001227: POP
00001228: PUSH1 0x40
0000122a: MLOAD
0000122b: DUP1
0000122c: SWAP2
0000122d: SUB
0000122e: SWAP1
0000122f: RETURN
00001230: JUMPDEST
00001231: CALLVALUE
00001232: DUP1
00001233: ISZERO
00001234: PUSH2 0x123c
00001237: JUMPI
00001238: PUSH1 0x00
0000123a: DUP1
0000123b: REVERT
0000123c: JUMPDEST
0000123d: POP
0000123e: PUSH2 0x1245
00001241: PUSH2 0x316e
00001244: JUMP
00001245: JUMPDEST
00001246: STOP
00001247: JUMPDEST
00001248: CALLVALUE
00001249: DUP1
0000124a: ISZERO
0000124b: PUSH2 0x1253
0000124e: JUMPI
0000124f: PUSH1 0x00
00001251: DUP1
00001252: REVERT
00001253: JUMPDEST
00001254: POP
00001255: PUSH2 0x1288
00001258: PUSH1 0x04
0000125a: DUP1
0000125b: CALLDATASIZE
0000125c: SUB
0000125d: DUP2
0000125e: ADD
0000125f: SWAP1
00001260: DUP1
00001261: DUP1
00001262: CALLDATALOAD
00001263: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001278: AND
00001279: SWAP1
0000127a: PUSH1 0x20
0000127c: ADD
0000127d: SWAP1
0000127e: SWAP3
0000127f: SWAP2
00001280: SWAP1
00001281: POP
00001282: POP
00001283: POP
00001284: PUSH2 0x32f2
00001287: JUMP
00001288: JUMPDEST
00001289: PUSH1 0x40
0000128b: MLOAD
0000128c: DUP1
0000128d: DUP3
0000128e: ISZERO
0000128f: ISZERO
00001290: ISZERO
00001291: ISZERO
00001292: DUP2
00001293: MSTORE
00001294: PUSH1 0x20
00001296: ADD
00001297: SWAP2
00001298: POP
00001299: POP
0000129a: PUSH1 0x40
0000129c: MLOAD
0000129d: DUP1
0000129e: SWAP2
0000129f: SUB
000012a0: SWAP1
000012a1: RETURN
000012a2: JUMPDEST
000012a3: CALLVALUE
000012a4: DUP1
000012a5: ISZERO
000012a6: PUSH2 0x12ae
000012a9: JUMPI
000012aa: PUSH1 0x00
000012ac: DUP1
000012ad: REVERT
000012ae: JUMPDEST
000012af: POP
000012b0: PUSH2 0x12b7
000012b3: PUSH2 0x3312
000012b6: JUMP
000012b7: JUMPDEST
000012b8: PUSH1 0x40
000012ba: MLOAD
000012bb: DUP1
000012bc: DUP3
000012bd: ISZERO
000012be: ISZERO
000012bf: ISZERO
000012c0: ISZERO
000012c1: DUP2
000012c2: MSTORE
000012c3: PUSH1 0x20
000012c5: ADD
000012c6: SWAP2
000012c7: POP
000012c8: POP
000012c9: PUSH1 0x40
000012cb: MLOAD
000012cc: DUP1
000012cd: SWAP2
000012ce: SUB
000012cf: SWAP1
000012d0: RETURN
000012d1: JUMPDEST
000012d2: CALLVALUE
000012d3: DUP1
000012d4: ISZERO
000012d5: PUSH2 0x12dd
000012d8: JUMPI
000012d9: PUSH1 0x00
000012db: DUP1
000012dc: REVERT
000012dd: JUMPDEST
000012de: POP
000012df: PUSH2 0x1312
000012e2: PUSH1 0x04
000012e4: DUP1
000012e5: CALLDATASIZE
000012e6: SUB
000012e7: DUP2
000012e8: ADD
000012e9: SWAP1
000012ea: DUP1
000012eb: DUP1
000012ec: CALLDATALOAD
000012ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001302: AND
00001303: SWAP1
00001304: PUSH1 0x20
00001306: ADD
00001307: SWAP1
00001308: SWAP3
00001309: SWAP2
0000130a: SWAP1
0000130b: POP
0000130c: POP
0000130d: POP
0000130e: PUSH2 0x3325
00001311: JUMP
00001312: JUMPDEST
00001313: PUSH1 0x40
00001315: MLOAD
00001316: DUP1
00001317: DUP3
00001318: DUP2
00001319: MSTORE
0000131a: PUSH1 0x20
0000131c: ADD
0000131d: SWAP2
0000131e: POP
0000131f: POP
00001320: PUSH1 0x40
00001322: MLOAD
00001323: DUP1
00001324: SWAP2
00001325: SUB
00001326: SWAP1
00001327: RETURN
00001328: JUMPDEST
00001329: CALLVALUE
0000132a: DUP1
0000132b: ISZERO
0000132c: PUSH2 0x1334
0000132f: JUMPI
00001330: PUSH1 0x00
00001332: DUP1
00001333: REVERT
00001334: JUMPDEST
00001335: POP
00001336: PUSH2 0x133d
00001339: PUSH2 0x336e
0000133c: JUMP
0000133d: JUMPDEST
0000133e: STOP
0000133f: JUMPDEST
00001340: CALLVALUE
00001341: DUP1
00001342: ISZERO
00001343: PUSH2 0x134b
00001346: JUMPI
00001347: PUSH1 0x00
00001349: DUP1
0000134a: REVERT
0000134b: JUMPDEST
0000134c: POP
0000134d: PUSH2 0x1354
00001350: PUSH2 0x337f
00001353: JUMP
00001354: JUMPDEST
00001355: PUSH1 0x40
00001357: MLOAD
00001358: DUP1
00001359: DUP3
0000135a: DUP2
0000135b: MSTORE
0000135c: PUSH1 0x20
0000135e: ADD
0000135f: SWAP2
00001360: POP
00001361: POP
00001362: PUSH1 0x40
00001364: MLOAD
00001365: DUP1
00001366: SWAP2
00001367: SUB
00001368: SWAP1
00001369: RETURN
0000136a: JUMPDEST
0000136b: CALLVALUE
0000136c: DUP1
0000136d: ISZERO
0000136e: PUSH2 0x1376
00001371: JUMPI
00001372: PUSH1 0x00
00001374: DUP1
00001375: REVERT
00001376: JUMPDEST
00001377: POP
00001378: PUSH2 0x13ab
0000137b: PUSH1 0x04
0000137d: DUP1
0000137e: CALLDATASIZE
0000137f: SUB
00001380: DUP2
00001381: ADD
00001382: SWAP1
00001383: DUP1
00001384: DUP1
00001385: CALLDATALOAD
00001386: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000139b: AND
0000139c: SWAP1
0000139d: PUSH1 0x20
0000139f: ADD
000013a0: SWAP1
000013a1: SWAP3
000013a2: SWAP2
000013a3: SWAP1
000013a4: POP
000013a5: POP
000013a6: POP
000013a7: PUSH2 0x3385
000013aa: JUMP
000013ab: JUMPDEST
000013ac: PUSH1 0x40
000013ae: MLOAD
000013af: DUP1
000013b0: DUP3
000013b1: DUP2
000013b2: MSTORE
000013b3: PUSH1 0x20
000013b5: ADD
000013b6: SWAP2
000013b7: POP
000013b8: POP
000013b9: PUSH1 0x40
000013bb: MLOAD
000013bc: DUP1
000013bd: SWAP2
000013be: SUB
000013bf: SWAP1
000013c0: RETURN
000013c1: JUMPDEST
000013c2: CALLVALUE
000013c3: DUP1
000013c4: ISZERO
000013c5: PUSH2 0x13cd
000013c8: JUMPI
000013c9: PUSH1 0x00
000013cb: DUP1
000013cc: REVERT
000013cd: JUMPDEST
000013ce: POP
000013cf: PUSH2 0x1402
000013d2: PUSH1 0x04
000013d4: DUP1
000013d5: CALLDATASIZE
000013d6: SUB
000013d7: DUP2
000013d8: ADD
000013d9: SWAP1
000013da: DUP1
000013db: DUP1
000013dc: CALLDATALOAD
000013dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013f2: AND
000013f3: SWAP1
000013f4: PUSH1 0x20
000013f6: ADD
000013f7: SWAP1
000013f8: SWAP3
000013f9: SWAP2
000013fa: SWAP1
000013fb: POP
000013fc: POP
000013fd: POP
000013fe: PUSH2 0x339d
00001401: JUMP
00001402: JUMPDEST
00001403: PUSH1 0x40
00001405: MLOAD
00001406: DUP1
00001407: DUP3
00001408: ISZERO
00001409: ISZERO
0000140a: ISZERO
0000140b: ISZERO
0000140c: DUP2
0000140d: MSTORE
0000140e: PUSH1 0x20
00001410: ADD
00001411: SWAP2
00001412: POP
00001413: POP
00001414: PUSH1 0x40
00001416: MLOAD
00001417: DUP1
00001418: SWAP2
00001419: SUB
0000141a: SWAP1
0000141b: RETURN
0000141c: JUMPDEST
0000141d: CALLVALUE
0000141e: DUP1
0000141f: ISZERO
00001420: PUSH2 0x1428
00001423: JUMPI
00001424: PUSH1 0x00
00001426: DUP1
00001427: REVERT
00001428: JUMPDEST
00001429: POP
0000142a: PUSH2 0x145d
0000142d: PUSH1 0x04
0000142f: DUP1
00001430: CALLDATASIZE
00001431: SUB
00001432: DUP2
00001433: ADD
00001434: SWAP1
00001435: DUP1
00001436: DUP1
00001437: CALLDATALOAD
00001438: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000144d: AND
0000144e: SWAP1
0000144f: PUSH1 0x20
00001451: ADD
00001452: SWAP1
00001453: SWAP3
00001454: SWAP2
00001455: SWAP1
00001456: POP
00001457: POP
00001458: POP
00001459: PUSH2 0x36f0
0000145c: JUMP
0000145d: JUMPDEST
0000145e: STOP
0000145f: JUMPDEST
00001460: CALLVALUE
00001461: DUP1
00001462: ISZERO
00001463: PUSH2 0x146b
00001466: JUMPI
00001467: PUSH1 0x00
00001469: DUP1
0000146a: REVERT
0000146b: JUMPDEST
0000146c: POP
0000146d: PUSH2 0x14a0
00001470: PUSH1 0x04
00001472: DUP1
00001473: CALLDATASIZE
00001474: SUB
00001475: DUP2
00001476: ADD
00001477: SWAP1
00001478: DUP1
00001479: DUP1
0000147a: CALLDATALOAD
0000147b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001490: AND
00001491: SWAP1
00001492: PUSH1 0x20
00001494: ADD
00001495: SWAP1
00001496: SWAP3
00001497: SWAP2
00001498: SWAP1
00001499: POP
0000149a: POP
0000149b: POP
0000149c: PUSH2 0x38de
0000149f: JUMP
000014a0: JUMPDEST
000014a1: PUSH1 0x40
000014a3: MLOAD
000014a4: DUP1
000014a5: DUP3
000014a6: DUP2
000014a7: MSTORE
000014a8: PUSH1 0x20
000014aa: ADD
000014ab: SWAP2
000014ac: POP
000014ad: POP
000014ae: PUSH1 0x40
000014b0: MLOAD
000014b1: DUP1
000014b2: SWAP2
000014b3: SUB
000014b4: SWAP1
000014b5: RETURN
000014b6: JUMPDEST
000014b7: CALLVALUE
000014b8: DUP1
000014b9: ISZERO
000014ba: PUSH2 0x14c2
000014bd: JUMPI
000014be: PUSH1 0x00
000014c0: DUP1
000014c1: REVERT
000014c2: JUMPDEST
000014c3: POP
000014c4: PUSH2 0x14f7
000014c7: PUSH1 0x04
000014c9: DUP1
000014ca: CALLDATASIZE
000014cb: SUB
000014cc: DUP2
000014cd: ADD
000014ce: SWAP1
000014cf: DUP1
000014d0: DUP1
000014d1: CALLDATALOAD
000014d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e7: AND
000014e8: SWAP1
000014e9: PUSH1 0x20
000014eb: ADD
000014ec: SWAP1
000014ed: SWAP3
000014ee: SWAP2
000014ef: SWAP1
000014f0: POP
000014f1: POP
000014f2: POP
000014f3: PUSH2 0x39df
000014f6: JUMP
000014f7: JUMPDEST
000014f8: PUSH1 0x40
000014fa: MLOAD
000014fb: DUP1
000014fc: DUP3
000014fd: DUP2
000014fe: MSTORE
000014ff: PUSH1 0x20
00001501: ADD
00001502: SWAP2
00001503: POP
00001504: POP
00001505: PUSH1 0x40
00001507: MLOAD
00001508: DUP1
00001509: SWAP2
0000150a: SUB
0000150b: SWAP1
0000150c: RETURN
0000150d: JUMPDEST
0000150e: CALLVALUE
0000150f: DUP1
00001510: ISZERO
00001511: PUSH2 0x1519
00001514: JUMPI
00001515: PUSH1 0x00
00001517: DUP1
00001518: REVERT
00001519: JUMPDEST
0000151a: POP
0000151b: PUSH2 0x1522
0000151e: PUSH2 0x39f7
00001521: JUMP
00001522: JUMPDEST
00001523: PUSH1 0x40
00001525: MLOAD
00001526: DUP1
00001527: DUP3
00001528: DUP2
00001529: MSTORE
0000152a: PUSH1 0x20
0000152c: ADD
0000152d: SWAP2
0000152e: POP
0000152f: POP
00001530: PUSH1 0x40
00001532: MLOAD
00001533: DUP1
00001534: SWAP2
00001535: SUB
00001536: SWAP1
00001537: RETURN
00001538: JUMPDEST
00001539: CALLVALUE
0000153a: DUP1
0000153b: ISZERO
0000153c: PUSH2 0x1544
0000153f: JUMPI
00001540: PUSH1 0x00
00001542: DUP1
00001543: REVERT
00001544: JUMPDEST
00001545: POP
00001546: PUSH2 0x154d
00001549: PUSH2 0x39fd
0000154c: JUMP
0000154d: JUMPDEST
0000154e: PUSH1 0x40
00001550: MLOAD
00001551: DUP1
00001552: DUP3
00001553: ISZERO
00001554: ISZERO
00001555: ISZERO
00001556: ISZERO
00001557: DUP2
00001558: MSTORE
00001559: PUSH1 0x20
0000155b: ADD
0000155c: SWAP2
0000155d: POP
0000155e: POP
0000155f: PUSH1 0x40
00001561: MLOAD
00001562: DUP1
00001563: SWAP2
00001564: SUB
00001565: SWAP1
00001566: RETURN
00001567: JUMPDEST
00001568: CALLVALUE
00001569: DUP1
0000156a: ISZERO
0000156b: PUSH2 0x1573
0000156e: JUMPI
0000156f: PUSH1 0x00
00001571: DUP1
00001572: REVERT
00001573: JUMPDEST
00001574: POP
00001575: PUSH2 0x157c
00001578: PUSH2 0x3ab1
0000157b: JUMP
0000157c: JUMPDEST
0000157d: PUSH1 0x40
0000157f: MLOAD
00001580: DUP1
00001581: DUP3
00001582: ISZERO
00001583: ISZERO
00001584: ISZERO
00001585: ISZERO
00001586: DUP2
00001587: MSTORE
00001588: PUSH1 0x20
0000158a: ADD
0000158b: SWAP2
0000158c: POP
0000158d: POP
0000158e: PUSH1 0x40
00001590: MLOAD
00001591: DUP1
00001592: SWAP2
00001593: SUB
00001594: SWAP1
00001595: RETURN
00001596: JUMPDEST
00001597: CALLVALUE
00001598: DUP1
00001599: ISZERO
0000159a: PUSH2 0x15a2
0000159d: JUMPI
0000159e: PUSH1 0x00
000015a0: DUP1
000015a1: REVERT
000015a2: JUMPDEST
000015a3: POP
000015a4: PUSH2 0x15ab
000015a7: PUSH2 0x3ac8
000015aa: JUMP
000015ab: JUMPDEST
000015ac: PUSH1 0x40
000015ae: MLOAD
000015af: DUP1
000015b0: DUP3
000015b1: ISZERO
000015b2: ISZERO
000015b3: ISZERO
000015b4: ISZERO
000015b5: DUP2
000015b6: MSTORE
000015b7: PUSH1 0x20
000015b9: ADD
000015ba: SWAP2
000015bb: POP
000015bc: POP
000015bd: PUSH1 0x40
000015bf: MLOAD
000015c0: DUP1
000015c1: SWAP2
000015c2: SUB
000015c3: SWAP1
000015c4: RETURN
000015c5: JUMPDEST
000015c6: CALLVALUE
000015c7: DUP1
000015c8: ISZERO
000015c9: PUSH2 0x15d1
000015cc: JUMPI
000015cd: PUSH1 0x00
000015cf: DUP1
000015d0: REVERT
000015d1: JUMPDEST
000015d2: POP
000015d3: PUSH2 0x15da
000015d6: PUSH2 0x3afb
000015d9: JUMP
000015da: JUMPDEST
000015db: STOP
000015dc: JUMPDEST
000015dd: CALLVALUE
000015de: DUP1
000015df: ISZERO
000015e0: PUSH2 0x15e8
000015e3: JUMPI
000015e4: PUSH1 0x00
000015e6: DUP1
000015e7: REVERT
000015e8: JUMPDEST
000015e9: POP
000015ea: PUSH2 0x15f1
000015ed: PUSH2 0x3b8b
000015f0: JUMP
000015f1: JUMPDEST
000015f2: PUSH1 0x40
000015f4: MLOAD
000015f5: DUP1
000015f6: DUP3
000015f7: DUP2
000015f8: MSTORE
000015f9: PUSH1 0x20
000015fb: ADD
000015fc: SWAP2
000015fd: POP
000015fe: POP
000015ff: PUSH1 0x40
00001601: MLOAD
00001602: DUP1
00001603: SWAP2
00001604: SUB
00001605: SWAP1
00001606: RETURN
00001607: JUMPDEST
00001608: CALLVALUE
00001609: DUP1
0000160a: ISZERO
0000160b: PUSH2 0x1613
0000160e: JUMPI
0000160f: PUSH1 0x00
00001611: DUP1
00001612: REVERT
00001613: JUMPDEST
00001614: POP
00001615: PUSH2 0x1648
00001618: PUSH1 0x04
0000161a: DUP1
0000161b: CALLDATASIZE
0000161c: SUB
0000161d: DUP2
0000161e: ADD
0000161f: SWAP1
00001620: DUP1
00001621: DUP1
00001622: CALLDATALOAD
00001623: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001638: AND
00001639: SWAP1
0000163a: PUSH1 0x20
0000163c: ADD
0000163d: SWAP1
0000163e: SWAP3
0000163f: SWAP2
00001640: SWAP1
00001641: POP
00001642: POP
00001643: POP
00001644: PUSH2 0x3b91
00001647: JUMP
00001648: JUMPDEST
00001649: PUSH1 0x40
0000164b: MLOAD
0000164c: DUP1
0000164d: DUP3
0000164e: DUP2
0000164f: MSTORE
00001650: PUSH1 0x20
00001652: ADD
00001653: SWAP2
00001654: POP
00001655: POP
00001656: PUSH1 0x40
00001658: MLOAD
00001659: DUP1
0000165a: SWAP2
0000165b: SUB
0000165c: SWAP1
0000165d: RETURN
0000165e: JUMPDEST
0000165f: CALLVALUE
00001660: DUP1
00001661: ISZERO
00001662: PUSH2 0x166a
00001665: JUMPI
00001666: PUSH1 0x00
00001668: DUP1
00001669: REVERT
0000166a: JUMPDEST
0000166b: POP
0000166c: PUSH2 0x169f
0000166f: PUSH1 0x04
00001671: DUP1
00001672: CALLDATASIZE
00001673: SUB
00001674: DUP2
00001675: ADD
00001676: SWAP1
00001677: DUP1
00001678: DUP1
00001679: CALLDATALOAD
0000167a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000168f: AND
00001690: SWAP1
00001691: PUSH1 0x20
00001693: ADD
00001694: SWAP1
00001695: SWAP3
00001696: SWAP2
00001697: SWAP1
00001698: POP
00001699: POP
0000169a: POP
0000169b: PUSH2 0x3ba9
0000169e: JUMP
0000169f: JUMPDEST
000016a0: PUSH1 0x40
000016a2: MLOAD
000016a3: DUP1
000016a4: DUP3
000016a5: DUP2
000016a6: MSTORE
000016a7: PUSH1 0x20
000016a9: ADD
000016aa: SWAP2
000016ab: POP
000016ac: POP
000016ad: PUSH1 0x40
000016af: MLOAD
000016b0: DUP1
000016b1: SWAP2
000016b2: SUB
000016b3: SWAP1
000016b4: RETURN
000016b5: JUMPDEST
000016b6: CALLVALUE
000016b7: DUP1
000016b8: ISZERO
000016b9: PUSH2 0x16c1
000016bc: JUMPI
000016bd: PUSH1 0x00
000016bf: DUP1
000016c0: REVERT
000016c1: JUMPDEST
000016c2: POP
000016c3: PUSH2 0x16ca
000016c6: PUSH2 0x3bf2
000016c9: JUMP
000016ca: JUMPDEST
000016cb: PUSH1 0x40
000016cd: MLOAD
000016ce: DUP1
000016cf: DUP3
000016d0: ISZERO
000016d1: ISZERO
000016d2: ISZERO
000016d3: ISZERO
000016d4: DUP2
000016d5: MSTORE
000016d6: PUSH1 0x20
000016d8: ADD
000016d9: SWAP2
000016da: POP
000016db: POP
000016dc: PUSH1 0x40
000016de: MLOAD
000016df: DUP1
000016e0: SWAP2
000016e1: SUB
000016e2: SWAP1
000016e3: RETURN
000016e4: JUMPDEST
000016e5: CALLVALUE
000016e6: DUP1
000016e7: ISZERO
000016e8: PUSH2 0x16f0
000016eb: JUMPI
000016ec: PUSH1 0x00
000016ee: DUP1
000016ef: REVERT
000016f0: JUMPDEST
000016f1: POP
000016f2: PUSH2 0x1725
000016f5: PUSH1 0x04
000016f7: DUP1
000016f8: CALLDATASIZE
000016f9: SUB
000016fa: DUP2
000016fb: ADD
000016fc: SWAP1
000016fd: DUP1
000016fe: DUP1
000016ff: CALLDATALOAD
00001700: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001715: AND
00001716: SWAP1
00001717: PUSH1 0x20
00001719: ADD
0000171a: SWAP1
0000171b: SWAP3
0000171c: SWAP2
0000171d: SWAP1
0000171e: POP
0000171f: POP
00001720: POP
00001721: PUSH2 0x3c05
00001724: JUMP
00001725: JUMPDEST
00001726: PUSH1 0x40
00001728: MLOAD
00001729: DUP1
0000172a: DUP3
0000172b: DUP2
0000172c: MSTORE
0000172d: PUSH1 0x20
0000172f: ADD
00001730: SWAP2
00001731: POP
00001732: POP
00001733: PUSH1 0x40
00001735: MLOAD
00001736: DUP1
00001737: SWAP2
00001738: SUB
00001739: SWAP1
0000173a: RETURN
0000173b: JUMPDEST
0000173c: CALLVALUE
0000173d: DUP1
0000173e: ISZERO
0000173f: PUSH2 0x1747
00001742: JUMPI
00001743: PUSH1 0x00
00001745: DUP1
00001746: REVERT
00001747: JUMPDEST
00001748: POP
00001749: PUSH2 0x1750
0000174c: PUSH2 0x3c1d
0000174f: JUMP
00001750: JUMPDEST
00001751: PUSH1 0x40
00001753: MLOAD
00001754: DUP1
00001755: DUP3
00001756: DUP2
00001757: MSTORE
00001758: PUSH1 0x20
0000175a: ADD
0000175b: SWAP2
0000175c: POP
0000175d: POP
0000175e: PUSH1 0x40
00001760: MLOAD
00001761: DUP1
00001762: SWAP2
00001763: SUB
00001764: SWAP1
00001765: RETURN
00001766: JUMPDEST
00001767: CALLVALUE
00001768: DUP1
00001769: ISZERO
0000176a: PUSH2 0x1772
0000176d: JUMPI
0000176e: PUSH1 0x00
00001770: DUP1
00001771: REVERT
00001772: JUMPDEST
00001773: POP
00001774: PUSH2 0x1791
00001777: PUSH1 0x04
00001779: DUP1
0000177a: CALLDATASIZE
0000177b: SUB
0000177c: DUP2
0000177d: ADD
0000177e: SWAP1
0000177f: DUP1
00001780: DUP1
00001781: CALLDATALOAD
00001782: SWAP1
00001783: PUSH1 0x20
00001785: ADD
00001786: SWAP1
00001787: SWAP3
00001788: SWAP2
00001789: SWAP1
0000178a: POP
0000178b: POP
0000178c: POP
0000178d: PUSH2 0x3c23
00001790: JUMP
00001791: JUMPDEST
00001792: PUSH1 0x40
00001794: MLOAD
00001795: DUP1
00001796: DUP3
00001797: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017ac: AND
000017ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017c2: AND
000017c3: DUP2
000017c4: MSTORE
000017c5: PUSH1 0x20
000017c7: ADD
000017c8: SWAP2
000017c9: POP
000017ca: POP
000017cb: PUSH1 0x40
000017cd: MLOAD
000017ce: DUP1
000017cf: SWAP2
000017d0: SUB
000017d1: SWAP1
000017d2: RETURN
000017d3: JUMPDEST
000017d4: CALLVALUE
000017d5: DUP1
000017d6: ISZERO
000017d7: PUSH2 0x17df
000017da: JUMPI
000017db: PUSH1 0x00
000017dd: DUP1
000017de: REVERT
000017df: JUMPDEST
000017e0: POP
000017e1: PUSH2 0x17fe
000017e4: PUSH1 0x04
000017e6: DUP1
000017e7: CALLDATASIZE
000017e8: SUB
000017e9: DUP2
000017ea: ADD
000017eb: SWAP1
000017ec: DUP1
000017ed: DUP1
000017ee: CALLDATALOAD
000017ef: SWAP1
000017f0: PUSH1 0x20
000017f2: ADD
000017f3: SWAP1
000017f4: SWAP3
000017f5: SWAP2
000017f6: SWAP1
000017f7: POP
000017f8: POP
000017f9: POP
000017fa: PUSH2 0x3c61
000017fd: JUMP
000017fe: JUMPDEST
000017ff: PUSH1 0x40
00001801: MLOAD
00001802: DUP1
00001803: DUP3
00001804: ISZERO
00001805: ISZERO
00001806: ISZERO
00001807: ISZERO
00001808: DUP2
00001809: MSTORE
0000180a: PUSH1 0x20
0000180c: ADD
0000180d: SWAP2
0000180e: POP
0000180f: POP
00001810: PUSH1 0x40
00001812: MLOAD
00001813: DUP1
00001814: SWAP2
00001815: SUB
00001816: SWAP1
00001817: RETURN
00001818: JUMPDEST
00001819: CALLVALUE
0000181a: DUP1
0000181b: ISZERO
0000181c: PUSH2 0x1824
0000181f: JUMPI
00001820: PUSH1 0x00
00001822: DUP1
00001823: REVERT
00001824: JUMPDEST
00001825: POP
00001826: PUSH2 0x182d
00001829: PUSH2 0x3d0b
0000182c: JUMP
0000182d: JUMPDEST
0000182e: PUSH1 0x40
00001830: MLOAD
00001831: DUP1
00001832: DUP3
00001833: ISZERO
00001834: ISZERO
00001835: ISZERO
00001836: ISZERO
00001837: DUP2
00001838: MSTORE
00001839: PUSH1 0x20
0000183b: ADD
0000183c: SWAP2
0000183d: POP
0000183e: POP
0000183f: PUSH1 0x40
00001841: MLOAD
00001842: DUP1
00001843: SWAP2
00001844: SUB
00001845: SWAP1
00001846: RETURN
00001847: JUMPDEST
00001848: CALLVALUE
00001849: DUP1
0000184a: ISZERO
0000184b: PUSH2 0x1853
0000184e: JUMPI
0000184f: PUSH1 0x00
00001851: DUP1
00001852: REVERT
00001853: JUMPDEST
00001854: POP
00001855: PUSH2 0x185c
00001858: PUSH2 0x3d22
0000185b: JUMP
0000185c: JUMPDEST
0000185d: PUSH1 0x40
0000185f: MLOAD
00001860: DUP1
00001861: DUP3
00001862: DUP2
00001863: MSTORE
00001864: PUSH1 0x20
00001866: ADD
00001867: SWAP2
00001868: POP
00001869: POP
0000186a: PUSH1 0x40
0000186c: MLOAD
0000186d: DUP1
0000186e: SWAP2
0000186f: SUB
00001870: SWAP1
00001871: RETURN
00001872: JUMPDEST
00001873: CALLVALUE
00001874: DUP1
00001875: ISZERO
00001876: PUSH2 0x187e
00001879: JUMPI
0000187a: PUSH1 0x00
0000187c: DUP1
0000187d: REVERT
0000187e: JUMPDEST
0000187f: POP
00001880: PUSH2 0x18b3
00001883: PUSH1 0x04
00001885: DUP1
00001886: CALLDATASIZE
00001887: SUB
00001888: DUP2
00001889: ADD
0000188a: SWAP1
0000188b: DUP1
0000188c: DUP1
0000188d: CALLDATALOAD
0000188e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018a3: AND
000018a4: SWAP1
000018a5: PUSH1 0x20
000018a7: ADD
000018a8: SWAP1
000018a9: SWAP3
000018aa: SWAP2
000018ab: SWAP1
000018ac: POP
000018ad: POP
000018ae: POP
000018af: PUSH2 0x3d28
000018b2: JUMP
000018b3: JUMPDEST
000018b4: PUSH1 0x40
000018b6: MLOAD
000018b7: DUP1
000018b8: DUP3
000018b9: ISZERO
000018ba: ISZERO
000018bb: ISZERO
000018bc: ISZERO
000018bd: DUP2
000018be: MSTORE
000018bf: PUSH1 0x20
000018c1: ADD
000018c2: SWAP2
000018c3: POP
000018c4: POP
000018c5: PUSH1 0x40
000018c7: MLOAD
000018c8: DUP1
000018c9: SWAP2
000018ca: SUB
000018cb: SWAP1
000018cc: RETURN
000018cd: JUMPDEST
000018ce: CALLVALUE
000018cf: DUP1
000018d0: ISZERO
000018d1: PUSH2 0x18d9
000018d4: JUMPI
000018d5: PUSH1 0x00
000018d7: DUP1
000018d8: REVERT
000018d9: JUMPDEST
000018da: POP
000018db: PUSH2 0x18e2
000018de: PUSH2 0x3d48
000018e1: JUMP
000018e2: JUMPDEST
000018e3: PUSH1 0x40
000018e5: MLOAD
000018e6: DUP1
000018e7: DUP3
000018e8: DUP2
000018e9: MSTORE
000018ea: PUSH1 0x20
000018ec: ADD
000018ed: SWAP2
000018ee: POP
000018ef: POP
000018f0: PUSH1 0x40
000018f2: MLOAD
000018f3: DUP1
000018f4: SWAP2
000018f5: SUB
000018f6: SWAP1
000018f7: RETURN
000018f8: JUMPDEST
000018f9: CALLVALUE
000018fa: DUP1
000018fb: ISZERO
000018fc: PUSH2 0x1904
000018ff: JUMPI
00001900: PUSH1 0x00
00001902: DUP1
00001903: REVERT
00001904: JUMPDEST
00001905: POP
00001906: PUSH2 0x1939
00001909: PUSH1 0x04
0000190b: DUP1
0000190c: CALLDATASIZE
0000190d: SUB
0000190e: DUP2
0000190f: ADD
00001910: SWAP1
00001911: DUP1
00001912: DUP1
00001913: CALLDATALOAD
00001914: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001929: AND
0000192a: SWAP1
0000192b: PUSH1 0x20
0000192d: ADD
0000192e: SWAP1
0000192f: SWAP3
00001930: SWAP2
00001931: SWAP1
00001932: POP
00001933: POP
00001934: POP
00001935: PUSH2 0x3d50
00001938: JUMP
00001939: JUMPDEST
0000193a: PUSH1 0x40
0000193c: MLOAD
0000193d: DUP1
0000193e: DUP3
0000193f: ISZERO
00001940: ISZERO
00001941: ISZERO
00001942: ISZERO
00001943: DUP2
00001944: MSTORE
00001945: PUSH1 0x20
00001947: ADD
00001948: SWAP2
00001949: POP
0000194a: POP
0000194b: PUSH1 0x40
0000194d: MLOAD
0000194e: DUP1
0000194f: SWAP2
00001950: SUB
00001951: SWAP1
00001952: RETURN
00001953: JUMPDEST
00001954: CALLVALUE
00001955: DUP1
00001956: ISZERO
00001957: PUSH2 0x195f
0000195a: JUMPI
0000195b: PUSH1 0x00
0000195d: DUP1
0000195e: REVERT
0000195f: JUMPDEST
00001960: POP
00001961: PUSH2 0x1994
00001964: PUSH1 0x04
00001966: DUP1
00001967: CALLDATASIZE
00001968: SUB
00001969: DUP2
0000196a: ADD
0000196b: SWAP1
0000196c: DUP1
0000196d: DUP1
0000196e: CALLDATALOAD
0000196f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001984: AND
00001985: SWAP1
00001986: PUSH1 0x20
00001988: ADD
00001989: SWAP1
0000198a: SWAP3
0000198b: SWAP2
0000198c: SWAP1
0000198d: POP
0000198e: POP
0000198f: POP
00001990: PUSH2 0x3d70
00001993: JUMP
00001994: JUMPDEST
00001995: PUSH1 0x40
00001997: MLOAD
00001998: DUP1
00001999: DUP3
0000199a: DUP2
0000199b: MSTORE
0000199c: PUSH1 0x20
0000199e: ADD
0000199f: SWAP2
000019a0: POP
000019a1: POP
000019a2: PUSH1 0x40
000019a4: MLOAD
000019a5: DUP1
000019a6: SWAP2
000019a7: SUB
000019a8: SWAP1
000019a9: RETURN
000019aa: JUMPDEST
000019ab: CALLVALUE
000019ac: DUP1
000019ad: ISZERO
000019ae: PUSH2 0x19b6
000019b1: JUMPI
000019b2: PUSH1 0x00
000019b4: DUP1
000019b5: REVERT
000019b6: JUMPDEST
000019b7: POP
000019b8: PUSH2 0x19eb
000019bb: PUSH1 0x04
000019bd: DUP1
000019be: CALLDATASIZE
000019bf: SUB
000019c0: DUP2
000019c1: ADD
000019c2: SWAP1
000019c3: DUP1
000019c4: DUP1
000019c5: CALLDATALOAD
000019c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019db: AND
000019dc: SWAP1
000019dd: PUSH1 0x20
000019df: ADD
000019e0: SWAP1
000019e1: SWAP3
000019e2: SWAP2
000019e3: SWAP1
000019e4: POP
000019e5: POP
000019e6: POP
000019e7: PUSH2 0x3d88
000019ea: JUMP
000019eb: JUMPDEST
000019ec: PUSH1 0x40
000019ee: MLOAD
000019ef: DUP1
000019f0: DUP3
000019f1: DUP2
000019f2: MSTORE
000019f3: PUSH1 0x20
000019f5: ADD
000019f6: SWAP2
000019f7: POP
000019f8: POP
000019f9: PUSH1 0x40
000019fb: MLOAD
000019fc: DUP1
000019fd: SWAP2
000019fe: SUB
000019ff: SWAP1
00001a00: RETURN
00001a01: JUMPDEST
00001a02: CALLVALUE
00001a03: DUP1
00001a04: ISZERO
00001a05: PUSH2 0x1a0d
00001a08: JUMPI
00001a09: PUSH1 0x00
00001a0b: DUP1
00001a0c: REVERT
00001a0d: JUMPDEST
00001a0e: POP
00001a0f: PUSH2 0x1a42
00001a12: PUSH1 0x04
00001a14: DUP1
00001a15: CALLDATASIZE
00001a16: SUB
00001a17: DUP2
00001a18: ADD
00001a19: SWAP1
00001a1a: DUP1
00001a1b: DUP1
00001a1c: CALLDATALOAD
00001a1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a32: AND
00001a33: SWAP1
00001a34: PUSH1 0x20
00001a36: ADD
00001a37: SWAP1
00001a38: SWAP3
00001a39: SWAP2
00001a3a: SWAP1
00001a3b: POP
00001a3c: POP
00001a3d: POP
00001a3e: PUSH2 0x3dd1
00001a41: JUMP
00001a42: JUMPDEST
00001a43: PUSH1 0x40
00001a45: MLOAD
00001a46: DUP1
00001a47: DUP3
00001a48: ISZERO
00001a49: ISZERO
00001a4a: ISZERO
00001a4b: ISZERO
00001a4c: DUP2
00001a4d: MSTORE
00001a4e: PUSH1 0x20
00001a50: ADD
00001a51: SWAP2
00001a52: POP
00001a53: POP
00001a54: PUSH1 0x40
00001a56: MLOAD
00001a57: DUP1
00001a58: SWAP2
00001a59: SUB
00001a5a: SWAP1
00001a5b: RETURN
00001a5c: JUMPDEST
00001a5d: CALLVALUE
00001a5e: DUP1
00001a5f: ISZERO
00001a60: PUSH2 0x1a68
00001a63: JUMPI
00001a64: PUSH1 0x00
00001a66: DUP1
00001a67: REVERT
00001a68: JUMPDEST
00001a69: POP
00001a6a: PUSH2 0x1a87
00001a6d: PUSH1 0x04
00001a6f: DUP1
00001a70: CALLDATASIZE
00001a71: SUB
00001a72: DUP2
00001a73: ADD
00001a74: SWAP1
00001a75: DUP1
00001a76: DUP1
00001a77: CALLDATALOAD
00001a78: SWAP1
00001a79: PUSH1 0x20
00001a7b: ADD
00001a7c: SWAP1
00001a7d: SWAP3
00001a7e: SWAP2
00001a7f: SWAP1
00001a80: POP
00001a81: POP
00001a82: POP
00001a83: PUSH2 0x1ecb
00001a86: JUMP
00001a87: JUMPDEST
00001a88: PUSH1 0x40
00001a8a: MLOAD
00001a8b: DUP1
00001a8c: DUP3
00001a8d: DUP2
00001a8e: MSTORE
00001a8f: PUSH1 0x20
00001a91: ADD
00001a92: SWAP2
00001a93: POP
00001a94: POP
00001a95: PUSH1 0x40
00001a97: MLOAD
00001a98: DUP1
00001a99: SWAP2
00001a9a: SUB
00001a9b: SWAP1
00001a9c: RETURN
00001a9d: JUMPDEST
00001a9e: CALLVALUE
00001a9f: DUP1
00001aa0: ISZERO
00001aa1: PUSH2 0x1aa9
00001aa4: JUMPI
00001aa5: PUSH1 0x00
00001aa7: DUP1
00001aa8: REVERT
00001aa9: JUMPDEST
00001aaa: POP
00001aab: PUSH2 0x1ab2
00001aae: PUSH2 0x3e27
00001ab1: JUMP
00001ab2: JUMPDEST
00001ab3: PUSH1 0x40
00001ab5: MLOAD
00001ab6: DUP1
00001ab7: DUP3
00001ab8: DUP2
00001ab9: MSTORE
00001aba: PUSH1 0x20
00001abc: ADD
00001abd: SWAP2
00001abe: POP
00001abf: POP
00001ac0: PUSH1 0x40
00001ac2: MLOAD
00001ac3: DUP1
00001ac4: SWAP2
00001ac5: SUB
00001ac6: SWAP1
00001ac7: RETURN
00001ac8: JUMPDEST
00001ac9: CALLVALUE
00001aca: DUP1
00001acb: ISZERO
00001acc: PUSH2 0x1ad4
00001acf: JUMPI
00001ad0: PUSH1 0x00
00001ad2: DUP1
00001ad3: REVERT
00001ad4: JUMPDEST
00001ad5: POP
00001ad6: PUSH2 0x1add
00001ad9: PUSH2 0x3e2d
00001adc: JUMP
00001add: JUMPDEST
00001ade: PUSH1 0x40
00001ae0: MLOAD
00001ae1: DUP1
00001ae2: DUP3
00001ae3: DUP2
00001ae4: MSTORE
00001ae5: PUSH1 0x20
00001ae7: ADD
00001ae8: SWAP2
00001ae9: POP
00001aea: POP
00001aeb: PUSH1 0x40
00001aed: MLOAD
00001aee: DUP1
00001aef: SWAP2
00001af0: SUB
00001af1: SWAP1
00001af2: RETURN
00001af3: JUMPDEST
00001af4: CALLVALUE
00001af5: DUP1
00001af6: ISZERO
00001af7: PUSH2 0x1aff
00001afa: JUMPI
00001afb: PUSH1 0x00
00001afd: DUP1
00001afe: REVERT
00001aff: JUMPDEST
00001b00: POP
00001b01: PUSH2 0x1b08
00001b04: PUSH2 0x20a0
00001b07: JUMP
00001b08: JUMPDEST
00001b09: STOP
00001b0a: JUMPDEST
00001b0b: CALLVALUE
00001b0c: DUP1
00001b0d: ISZERO
00001b0e: PUSH2 0x1b16
00001b11: JUMPI
00001b12: PUSH1 0x00
00001b14: DUP1
00001b15: REVERT
00001b16: JUMPDEST
00001b17: POP
00001b18: PUSH2 0x1b1f
00001b1b: PUSH2 0x3e33
00001b1e: JUMP
00001b1f: JUMPDEST
00001b20: PUSH1 0x40
00001b22: MLOAD
00001b23: DUP1
00001b24: DUP3
00001b25: DUP2
00001b26: MSTORE
00001b27: PUSH1 0x20
00001b29: ADD
00001b2a: SWAP2
00001b2b: POP
00001b2c: POP
00001b2d: PUSH1 0x40
00001b2f: MLOAD
00001b30: DUP1
00001b31: SWAP2
00001b32: SUB
00001b33: SWAP1
00001b34: RETURN
00001b35: JUMPDEST
00001b36: CALLVALUE
00001b37: DUP1
00001b38: ISZERO
00001b39: PUSH2 0x1b41
00001b3c: JUMPI
00001b3d: PUSH1 0x00
00001b3f: DUP1
00001b40: REVERT
00001b41: JUMPDEST
00001b42: POP
00001b43: PUSH2 0x1b4a
00001b46: PUSH2 0x3e39
00001b49: JUMP
00001b4a: JUMPDEST
00001b4b: PUSH1 0x40
00001b4d: MLOAD
00001b4e: DUP1
00001b4f: DUP3
00001b50: DUP2
00001b51: MSTORE
00001b52: PUSH1 0x20
00001b54: ADD
00001b55: SWAP2
00001b56: POP
00001b57: POP
00001b58: PUSH1 0x40
00001b5a: MLOAD
00001b5b: DUP1
00001b5c: SWAP2
00001b5d: SUB
00001b5e: SWAP1
00001b5f: RETURN
00001b60: JUMPDEST
00001b61: CALLVALUE
00001b62: DUP1
00001b63: ISZERO
00001b64: PUSH2 0x1b6c
00001b67: JUMPI
00001b68: PUSH1 0x00
00001b6a: DUP1
00001b6b: REVERT
00001b6c: JUMPDEST
00001b6d: POP
00001b6e: PUSH2 0x1b75
00001b71: PUSH2 0x3e3f
00001b74: JUMP
00001b75: JUMPDEST
00001b76: PUSH1 0x40
00001b78: MLOAD
00001b79: DUP1
00001b7a: DUP3
00001b7b: DUP2
00001b7c: MSTORE
00001b7d: PUSH1 0x20
00001b7f: ADD
00001b80: SWAP2
00001b81: POP
00001b82: POP
00001b83: PUSH1 0x40
00001b85: MLOAD
00001b86: DUP1
00001b87: SWAP2
00001b88: SUB
00001b89: SWAP1
00001b8a: RETURN
00001b8b: JUMPDEST
00001b8c: CALLVALUE
00001b8d: DUP1
00001b8e: ISZERO
00001b8f: PUSH2 0x1b97
00001b92: JUMPI
00001b93: PUSH1 0x00
00001b95: DUP1
00001b96: REVERT
00001b97: JUMPDEST
00001b98: POP
00001b99: PUSH2 0x1ba0
00001b9c: PUSH2 0x3e45
00001b9f: JUMP
00001ba0: JUMPDEST
00001ba1: PUSH1 0x40
00001ba3: MLOAD
00001ba4: DUP1
00001ba5: DUP3
00001ba6: DUP2
00001ba7: MSTORE
00001ba8: PUSH1 0x20
00001baa: ADD
00001bab: SWAP2
00001bac: POP
00001bad: POP
00001bae: PUSH1 0x40
00001bb0: MLOAD
00001bb1: DUP1
00001bb2: SWAP2
00001bb3: SUB
00001bb4: SWAP1
00001bb5: RETURN
00001bb6: JUMPDEST
00001bb7: CALLVALUE
00001bb8: DUP1
00001bb9: ISZERO
00001bba: PUSH2 0x1bc2
00001bbd: JUMPI
00001bbe: PUSH1 0x00
00001bc0: DUP1
00001bc1: REVERT
00001bc2: JUMPDEST
00001bc3: POP
00001bc4: PUSH2 0x1be1
00001bc7: PUSH1 0x04
00001bc9: DUP1
00001bca: CALLDATASIZE
00001bcb: SUB
00001bcc: DUP2
00001bcd: ADD
00001bce: SWAP1
00001bcf: DUP1
00001bd0: DUP1
00001bd1: CALLDATALOAD
00001bd2: SWAP1
00001bd3: PUSH1 0x20
00001bd5: ADD
00001bd6: SWAP1
00001bd7: SWAP3
00001bd8: SWAP2
00001bd9: SWAP1
00001bda: POP
00001bdb: POP
00001bdc: POP
00001bdd: PUSH2 0x1fa7
00001be0: JUMP
00001be1: JUMPDEST
00001be2: PUSH1 0x40
00001be4: MLOAD
00001be5: DUP1
00001be6: DUP3
00001be7: DUP2
00001be8: MSTORE
00001be9: PUSH1 0x20
00001beb: ADD
00001bec: SWAP2
00001bed: POP
00001bee: POP
00001bef: PUSH1 0x40
00001bf1: MLOAD
00001bf2: DUP1
00001bf3: SWAP2
00001bf4: SUB
00001bf5: SWAP1
00001bf6: RETURN
00001bf7: JUMPDEST
00001bf8: CALLVALUE
00001bf9: DUP1
00001bfa: ISZERO
00001bfb: PUSH2 0x1c03
00001bfe: JUMPI
00001bff: PUSH1 0x00
00001c01: DUP1
00001c02: REVERT
00001c03: JUMPDEST
00001c04: POP
00001c05: PUSH2 0x1c0c
00001c08: PUSH2 0x3e4b
00001c0b: JUMP
00001c0c: JUMPDEST
00001c0d: PUSH1 0x40
00001c0f: MLOAD
00001c10: DUP1
00001c11: DUP3
00001c12: DUP2
00001c13: MSTORE
00001c14: PUSH1 0x20
00001c16: ADD
00001c17: SWAP2
00001c18: POP
00001c19: POP
00001c1a: PUSH1 0x40
00001c1c: MLOAD
00001c1d: DUP1
00001c1e: SWAP2
00001c1f: SUB
00001c20: SWAP1
00001c21: RETURN
00001c22: JUMPDEST
00001c23: CALLVALUE
00001c24: DUP1
00001c25: ISZERO
00001c26: PUSH2 0x1c2e
00001c29: JUMPI
00001c2a: PUSH1 0x00
00001c2c: DUP1
00001c2d: REVERT
00001c2e: JUMPDEST
00001c2f: POP
00001c30: PUSH2 0x1c37
00001c33: PUSH2 0x3e51
00001c36: JUMP
00001c37: JUMPDEST
00001c38: PUSH1 0x40
00001c3a: MLOAD
00001c3b: DUP1
00001c3c: DUP3
00001c3d: DUP2
00001c3e: MSTORE
00001c3f: PUSH1 0x20
00001c41: ADD
00001c42: SWAP2
00001c43: POP
00001c44: POP
00001c45: PUSH1 0x40
00001c47: MLOAD
00001c48: DUP1
00001c49: SWAP2
00001c4a: SUB
00001c4b: SWAP1
00001c4c: RETURN
00001c4d: JUMPDEST
00001c4e: CALLVALUE
00001c4f: DUP1
00001c50: ISZERO
00001c51: PUSH2 0x1c59
00001c54: JUMPI
00001c55: PUSH1 0x00
00001c57: DUP1
00001c58: REVERT
00001c59: JUMPDEST
00001c5a: POP
00001c5b: PUSH2 0x1c98
00001c5e: PUSH1 0x04
00001c60: DUP1
00001c61: CALLDATASIZE
00001c62: SUB
00001c63: DUP2
00001c64: ADD
00001c65: SWAP1
00001c66: DUP1
00001c67: DUP1
00001c68: CALLDATALOAD
00001c69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c7e: AND
00001c7f: SWAP1
00001c80: PUSH1 0x20
00001c82: ADD
00001c83: SWAP1
00001c84: SWAP3
00001c85: SWAP2
00001c86: SWAP1
00001c87: DUP1
00001c88: CALLDATALOAD
00001c89: SWAP1
00001c8a: PUSH1 0x20
00001c8c: ADD
00001c8d: SWAP1
00001c8e: SWAP3
00001c8f: SWAP2
00001c90: SWAP1
00001c91: POP
00001c92: POP
00001c93: POP
00001c94: PUSH2 0x3e57
00001c97: JUMP
00001c98: JUMPDEST
00001c99: PUSH1 0x40
00001c9b: MLOAD
00001c9c: DUP1
00001c9d: DUP3
00001c9e: DUP2
00001c9f: MSTORE
00001ca0: PUSH1 0x20
00001ca2: ADD
00001ca3: SWAP2
00001ca4: POP
00001ca5: POP
00001ca6: PUSH1 0x40
00001ca8: MLOAD
00001ca9: DUP1
00001caa: SWAP2
00001cab: SUB
00001cac: SWAP1
00001cad: RETURN
00001cae: JUMPDEST
00001caf: CALLVALUE
00001cb0: DUP1
00001cb1: ISZERO
00001cb2: PUSH2 0x1cba
00001cb5: JUMPI
00001cb6: PUSH1 0x00
00001cb8: DUP1
00001cb9: REVERT
00001cba: JUMPDEST
00001cbb: POP
00001cbc: PUSH2 0x1cd9
00001cbf: PUSH1 0x04
00001cc1: DUP1
00001cc2: CALLDATASIZE
00001cc3: SUB
00001cc4: DUP2
00001cc5: ADD
00001cc6: SWAP1
00001cc7: DUP1
00001cc8: DUP1
00001cc9: CALLDATALOAD
00001cca: SWAP1
00001ccb: PUSH1 0x20
00001ccd: ADD
00001cce: SWAP1
00001ccf: SWAP3
00001cd0: SWAP2
00001cd1: SWAP1
00001cd2: POP
00001cd3: POP
00001cd4: POP
00001cd5: PUSH2 0x4225
00001cd8: JUMP
00001cd9: JUMPDEST
00001cda: PUSH1 0x40
00001cdc: MLOAD
00001cdd: DUP1
00001cde: DUP3
00001cdf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cf4: AND
00001cf5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d0a: AND
00001d0b: DUP2
00001d0c: MSTORE
00001d0d: PUSH1 0x20
00001d0f: ADD
00001d10: SWAP2
00001d11: POP
00001d12: POP
00001d13: PUSH1 0x40
00001d15: MLOAD
00001d16: DUP1
00001d17: SWAP2
00001d18: SUB
00001d19: SWAP1
00001d1a: RETURN
00001d1b: JUMPDEST
00001d1c: CALLVALUE
00001d1d: DUP1
00001d1e: ISZERO
00001d1f: PUSH2 0x1d27
00001d22: JUMPI
00001d23: PUSH1 0x00
00001d25: DUP1
00001d26: REVERT
00001d27: JUMPDEST
00001d28: POP
00001d29: PUSH2 0x1d30
00001d2c: PUSH2 0x4263
00001d2f: JUMP
00001d30: JUMPDEST
00001d31: PUSH1 0x40
00001d33: MLOAD
00001d34: DUP1
00001d35: DUP3
00001d36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d4b: AND
00001d4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d61: AND
00001d62: DUP2
00001d63: MSTORE
00001d64: PUSH1 0x20
00001d66: ADD
00001d67: SWAP2
00001d68: POP
00001d69: POP
00001d6a: PUSH1 0x40
00001d6c: MLOAD
00001d6d: DUP1
00001d6e: SWAP2
00001d6f: SUB
00001d70: SWAP1
00001d71: RETURN
00001d72: JUMPDEST
00001d73: CALLVALUE
00001d74: DUP1
00001d75: ISZERO
00001d76: PUSH2 0x1d7e
00001d79: JUMPI
00001d7a: PUSH1 0x00
00001d7c: DUP1
00001d7d: REVERT
00001d7e: JUMPDEST
00001d7f: POP
00001d80: PUSH2 0x1db3
00001d83: PUSH1 0x04
00001d85: DUP1
00001d86: CALLDATASIZE
00001d87: SUB
00001d88: DUP2
00001d89: ADD
00001d8a: SWAP1
00001d8b: DUP1
00001d8c: DUP1
00001d8d: CALLDATALOAD
00001d8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001da3: AND
00001da4: SWAP1
00001da5: PUSH1 0x20
00001da7: ADD
00001da8: SWAP1
00001da9: SWAP3
00001daa: SWAP2
00001dab: SWAP1
00001dac: POP
00001dad: POP
00001dae: POP
00001daf: PUSH2 0x4289
00001db2: JUMP
00001db3: JUMPDEST
00001db4: PUSH1 0x40
00001db6: MLOAD
00001db7: DUP1
00001db8: DUP3
00001db9: ISZERO
00001dba: ISZERO
00001dbb: ISZERO
00001dbc: ISZERO
00001dbd: DUP2
00001dbe: MSTORE
00001dbf: PUSH1 0x20
00001dc1: ADD
00001dc2: SWAP2
00001dc3: POP
00001dc4: POP
00001dc5: PUSH1 0x40
00001dc7: MLOAD
00001dc8: DUP1
00001dc9: SWAP2
00001dca: SUB
00001dcb: SWAP1
00001dcc: RETURN
00001dcd: JUMPDEST
00001dce: CALLVALUE
00001dcf: DUP1
00001dd0: ISZERO
00001dd1: PUSH2 0x1dd9
00001dd4: JUMPI
00001dd5: PUSH1 0x00
00001dd7: DUP1
00001dd8: REVERT
00001dd9: JUMPDEST
00001dda: POP
00001ddb: PUSH2 0x1e2e
00001dde: PUSH1 0x04
00001de0: DUP1
00001de1: CALLDATASIZE
00001de2: SUB
00001de3: DUP2
00001de4: ADD
00001de5: SWAP1
00001de6: DUP1
00001de7: DUP1
00001de8: CALLDATALOAD
00001de9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dfe: AND
00001dff: SWAP1
00001e00: PUSH1 0x20
00001e02: ADD
00001e03: SWAP1
00001e04: SWAP3
00001e05: SWAP2
00001e06: SWAP1
00001e07: DUP1
00001e08: CALLDATALOAD
00001e09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e1e: AND
00001e1f: SWAP1
00001e20: PUSH1 0x20
00001e22: ADD
00001e23: SWAP1
00001e24: SWAP3
00001e25: SWAP2
00001e26: SWAP1
00001e27: POP
00001e28: POP
00001e29: POP
00001e2a: PUSH2 0x42a9
00001e2d: JUMP
00001e2e: JUMPDEST
00001e2f: PUSH1 0x40
00001e31: MLOAD
00001e32: DUP1
00001e33: DUP3
00001e34: ISZERO
00001e35: ISZERO
00001e36: ISZERO
00001e37: ISZERO
00001e38: DUP2
00001e39: MSTORE
00001e3a: PUSH1 0x20
00001e3c: ADD
00001e3d: SWAP2
00001e3e: POP
00001e3f: POP
00001e40: PUSH1 0x40
00001e42: MLOAD
00001e43: DUP1
00001e44: SWAP2
00001e45: SUB
00001e46: SWAP1
00001e47: RETURN
00001e48: JUMPDEST
00001e49: CALLVALUE
00001e4a: DUP1
00001e4b: ISZERO
00001e4c: PUSH2 0x1e54
00001e4f: JUMPI
00001e50: PUSH1 0x00
00001e52: DUP1
00001e53: REVERT
00001e54: JUMPDEST
00001e55: POP
00001e56: PUSH2 0x1e89
00001e59: PUSH1 0x04
00001e5b: DUP1
00001e5c: CALLDATASIZE
00001e5d: SUB
00001e5e: DUP2
00001e5f: ADD
00001e60: SWAP1
00001e61: DUP1
00001e62: DUP1
00001e63: CALLDATALOAD
00001e64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e79: AND
00001e7a: SWAP1
00001e7b: PUSH1 0x20
00001e7d: ADD
00001e7e: SWAP1
00001e7f: SWAP3
00001e80: SWAP2
00001e81: SWAP1
00001e82: POP
00001e83: POP
00001e84: POP
00001e85: PUSH2 0x44ed
00001e88: JUMP
00001e89: JUMPDEST
00001e8a: PUSH1 0x40
00001e8c: MLOAD
00001e8d: DUP1
00001e8e: DUP3
00001e8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ea4: AND
00001ea5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eba: AND
00001ebb: DUP2
00001ebc: MSTORE
00001ebd: PUSH1 0x20
00001ebf: ADD
00001ec0: SWAP2
00001ec1: POP
00001ec2: POP
00001ec3: PUSH1 0x40
00001ec5: MLOAD
00001ec6: DUP1
00001ec7: SWAP2
00001ec8: SUB
00001ec9: SWAP1
00001eca: RETURN
00001ecb: JUMPDEST
00001ecc: PUSH1 0x00
00001ece: DUP1
00001ecf: PUSH1 0x00
00001ed1: DUP4
00001ed2: SWAP2
00001ed3: POP
00001ed4: PUSH2 0x1ee8
00001ed7: DUP5
00001ed8: PUSH1 0x1c
00001eda: SLOAD
00001edb: PUSH2 0x451f
00001ede: SWAP1
00001edf: SWAP2
00001ee0: SWAP1
00001ee1: PUSH4 0xffffffff
00001ee6: AND
00001ee7: JUMP
00001ee8: JUMPDEST
00001ee9: SWAP1
00001eea: POP
00001eeb: PUSH32 0xdc99fd0ec89be4686087e474d7e62f2e03d18563ab02c2785b0a382c8e6d0f9f
00001f0c: DUP5
00001f0d: PUSH1 0x1c
00001f0f: SLOAD
00001f10: PUSH2 0x1f2a
00001f13: PUSH8 0x0de0b6b3a7640000
00001f1c: DUP6
00001f1d: PUSH2 0x4552
00001f20: SWAP1
00001f21: SWAP2
00001f22: SWAP1
00001f23: PUSH4 0xffffffff
00001f28: AND
00001f29: JUMP
00001f2a: JUMPDEST
00001f2b: PUSH1 0x40
00001f2d: MLOAD
00001f2e: DUP1
00001f2f: DUP5
00001f30: DUP2
00001f31: MSTORE
00001f32: PUSH1 0x20
00001f34: ADD
00001f35: DUP4
00001f36: DUP2
00001f37: MSTORE
00001f38: PUSH1 0x20
00001f3a: ADD
00001f3b: DUP3
00001f3c: DUP2
00001f3d: MSTORE
00001f3e: PUSH1 0x20
00001f40: ADD
00001f41: SWAP4
00001f42: POP
00001f43: POP
00001f44: POP
00001f45: POP
00001f46: PUSH1 0x40
00001f48: MLOAD
00001f49: DUP1
00001f4a: SWAP2
00001f4b: SUB
00001f4c: SWAP1
00001f4d: LOG1
00001f4e: PUSH2 0x1f68
00001f51: PUSH8 0x0de0b6b3a7640000
00001f5a: DUP3
00001f5b: PUSH2 0x4552
00001f5e: SWAP1
00001f5f: SWAP2
00001f60: SWAP1
00001f61: PUSH4 0xffffffff
00001f66: AND
00001f67: JUMP
00001f68: JUMPDEST
00001f69: SWAP3
00001f6a: POP
00001f6b: POP
00001f6c: POP
00001f6d: SWAP2
00001f6e: SWAP1
00001f6f: POP
00001f70: JUMP
00001f71: JUMPDEST
00001f72: PUSH1 0x00
00001f74: DUP1
00001f75: PUSH1 0x00
00001f77: PUSH2 0x1f7f
00001f7a: DUP5
00001f7b: PUSH2 0x1ecb
00001f7e: JUMP
00001f7f: JUMPDEST
00001f80: SWAP2
00001f81: POP
00001f82: PUSH2 0x1f9b
00001f85: PUSH2 0x1f8c
00001f88: PUSH2 0x2830
00001f8b: JUMP
00001f8c: JUMPDEST
00001f8d: DUP4
00001f8e: PUSH2 0x451f
00001f91: SWAP1
00001f92: SWAP2
00001f93: SWAP1
00001f94: PUSH4 0xffffffff
00001f99: AND
00001f9a: JUMP
00001f9b: JUMPDEST
00001f9c: SWAP1
00001f9d: POP
00001f9e: DUP1
00001f9f: SWAP3
00001fa0: POP
00001fa1: POP
00001fa2: POP
00001fa3: SWAP2
00001fa4: SWAP1
00001fa5: POP
00001fa6: JUMP
00001fa7: JUMPDEST
00001fa8: PUSH1 0x00
00001faa: DUP1
00001fab: PUSH1 0x00
00001fad: DUP1
00001fae: PUSH1 0x00
00001fb0: DUP1
00001fb1: SWAP4
00001fb2: POP
00001fb3: PUSH2 0x1fbb
00001fb6: DUP7
00001fb7: PUSH2 0x1ecb
00001fba: JUMP
00001fbb: JUMPDEST
00001fbc: SWAP3
00001fbd: POP
00001fbe: PUSH9 0x1b1ae4d6e2ef500000
00001fc8: DUP4
00001fc9: LT
00001fca: ISZERO
00001fcb: ISZERO
00001fcc: PUSH2 0x1fd4
00001fcf: JUMPI
00001fd0: PUSH1 0x0a
00001fd2: SWAP4
00001fd3: POP
00001fd4: JUMPDEST
00001fd5: PUSH9 0x3635c9adc5dea00000
00001fdf: DUP4
00001fe0: LT
00001fe1: ISZERO
00001fe2: ISZERO
00001fe3: PUSH2 0x1feb
00001fe6: JUMPI
00001fe7: PUSH1 0x14
00001fe9: SWAP4
00001fea: POP
00001feb: JUMPDEST
00001fec: PUSH9 0x878678326eac900000
00001ff6: DUP4
00001ff7: LT
00001ff8: ISZERO
00001ff9: ISZERO
00001ffa: PUSH2 0x2002
00001ffd: JUMPI
00001ffe: PUSH1 0x1e
00002000: SWAP4
00002001: POP
00002002: JUMPDEST
00002003: PUSH10 0x010f0cf064dd59200000
0000200e: DUP4
0000200f: LT
00002010: ISZERO
00002011: ISZERO
00002012: PUSH2 0x201a
00002015: JUMPI
00002016: PUSH1 0x28
00002018: SWAP4
00002019: POP
0000201a: JUMPDEST
0000201b: PUSH10 0x021e19e0c9bab2400000
00002026: DUP4
00002027: LT
00002028: ISZERO
00002029: ISZERO
0000202a: PUSH2 0x2032
0000202d: JUMPI
0000202e: PUSH1 0x32
00002030: SWAP4
00002031: POP
00002032: JUMPDEST
00002033: PUSH2 0x2058
00002036: PUSH1 0x64
00002038: PUSH2 0x204a
0000203b: DUP7
0000203c: DUP7
0000203d: PUSH2 0x451f
00002040: SWAP1
00002041: SWAP2
00002042: SWAP1
00002043: PUSH4 0xffffffff
00002048: AND
00002049: JUMP
0000204a: JUMPDEST
0000204b: PUSH2 0x4552
0000204e: SWAP1
0000204f: SWAP2
00002050: SWAP1
00002051: PUSH4 0xffffffff
00002056: AND
00002057: JUMP
00002058: JUMPDEST
00002059: SWAP2
0000205a: POP
0000205b: PUSH2 0x2074
0000205e: PUSH2 0x2065
00002061: PUSH2 0x2830
00002064: JUMP
00002065: JUMPDEST
00002066: DUP4
00002067: PUSH2 0x451f
0000206a: SWAP1
0000206b: SWAP2
0000206c: SWAP1
0000206d: PUSH4 0xffffffff
00002072: AND
00002073: JUMP
00002074: JUMPDEST
00002075: SWAP1
00002076: POP
00002077: DUP1
00002078: SWAP5
00002079: POP
0000207a: POP
0000207b: POP
0000207c: POP
0000207d: POP
0000207e: SWAP2
0000207f: SWAP1
00002080: POP
00002081: JUMP
00002082: JUMPDEST
00002083: PUSH1 0x00
00002085: DUP1
00002086: DUP3
00002087: DUP5
00002088: ADD
00002089: SWAP1
0000208a: POP
0000208b: DUP4
0000208c: DUP2
0000208d: LT
0000208e: ISZERO
0000208f: ISZERO
00002090: ISZERO
00002091: PUSH2 0x2096
00002094: JUMPI
00002095: INVALID
00002096: JUMPDEST
00002097: DUP1
00002098: SWAP2
00002099: POP
0000209a: POP
0000209b: SWAP3
0000209c: SWAP2
0000209d: POP
0000209e: POP
0000209f: JUMP
000020a0: JUMPDEST
000020a1: PUSH1 0x00
000020a3: PUSH2 0x20c7
000020a6: PUSH2 0x20c2
000020a9: PUSH8 0x0de0b6b3a7640000
000020b2: PUSH1 0x04
000020b4: SLOAD
000020b5: PUSH2 0x4552
000020b8: SWAP1
000020b9: SWAP2
000020ba: SWAP1
000020bb: PUSH4 0xffffffff
000020c0: AND
000020c1: JUMP
000020c2: JUMPDEST
000020c3: PUSH2 0x1ecb
000020c6: JUMP
000020c7: JUMPDEST
000020c8: SWAP1
000020c9: POP
000020ca: PUSH1 0x0c
000020cc: SLOAD
000020cd: DUP2
000020ce: LT
000020cf: ISZERO
000020d0: ISZERO
000020d1: PUSH2 0x20f0
000020d4: JUMPI
000020d5: PUSH1 0x01
000020d7: PUSH1 0x1d
000020d9: PUSH1 0x00
000020db: PUSH2 0x0100
000020de: EXP
000020df: DUP2
000020e0: SLOAD
000020e1: DUP2
000020e2: PUSH1 0xff
000020e4: MUL
000020e5: NOT
000020e6: AND
000020e7: SWAP1
000020e8: DUP4
000020e9: ISZERO
000020ea: ISZERO
000020eb: MUL
000020ec: OR
000020ed: SWAP1
000020ee: SSTORE
000020ef: POP
000020f0: JUMPDEST
000020f1: POP
000020f2: JUMP
000020f3: JUMPDEST
000020f4: PUSH1 0x00
000020f6: DUP1
000020f7: PUSH1 0x00
000020f9: DUP1
000020fa: PUSH1 0x00
000020fc: PUSH1 0x1a
000020fe: PUSH1 0x00
00002100: DUP8
00002101: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002116: AND
00002117: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000212c: AND
0000212d: DUP2
0000212e: MSTORE
0000212f: PUSH1 0x20
00002131: ADD
00002132: SWAP1
00002133: DUP2
00002134: MSTORE
00002135: PUSH1 0x20
00002137: ADD
00002138: PUSH1 0x00
0000213a: KECCAK256
0000213b: PUSH1 0x00
0000213d: SWAP1
0000213e: SLOAD
0000213f: SWAP1
00002140: PUSH2 0x0100
00002143: EXP
00002144: SWAP1
00002145: DIV
00002146: PUSH1 0xff
00002148: AND
00002149: ISZERO
0000214a: PUSH2 0x2490
0000214d: JUMPI
0000214e: PUSH1 0x00
00002150: SWAP5
00002151: POP
00002152: PUSH1 0x16
00002154: PUSH1 0x00
00002156: DUP8
00002157: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000216c: AND
0000216d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002182: AND
00002183: DUP2
00002184: MSTORE
00002185: PUSH1 0x20
00002187: ADD
00002188: SWAP1
00002189: DUP2
0000218a: MSTORE
0000218b: PUSH1 0x20
0000218d: ADD
0000218e: PUSH1 0x00
00002190: KECCAK256
00002191: SLOAD
00002192: SWAP4
00002193: POP
00002194: PUSH1 0x15
00002196: PUSH1 0x00
00002198: DUP8
00002199: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021ae: AND
000021af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021c4: AND
000021c5: DUP2
000021c6: MSTORE
000021c7: PUSH1 0x20
000021c9: ADD
000021ca: SWAP1
000021cb: DUP2
000021cc: MSTORE
000021cd: PUSH1 0x20
000021cf: ADD
000021d0: PUSH1 0x00
000021d2: KECCAK256
000021d3: SLOAD
000021d4: SWAP3
000021d5: POP
000021d6: PUSH2 0x21e8
000021d9: DUP5
000021da: DUP5
000021db: PUSH2 0x2082
000021de: SWAP1
000021df: SWAP2
000021e0: SWAP1
000021e1: PUSH4 0xffffffff
000021e6: AND
000021e7: JUMP
000021e8: JUMPDEST
000021e9: SWAP5
000021ea: POP
000021eb: PUSH1 0x00
000021ed: DUP6
000021ee: GT
000021ef: ISZERO
000021f0: PUSH2 0x248b
000021f3: JUMPI
000021f4: DUP3
000021f5: PUSH1 0x05
000021f7: SLOAD
000021f8: LT
000021f9: ISZERO
000021fa: ISZERO
000021fb: ISZERO
000021fc: PUSH2 0x2204
000021ff: JUMPI
00002200: PUSH1 0x00
00002202: DUP1
00002203: REVERT
00002204: JUMPDEST
00002205: DUP4
00002206: PUSH1 0x06
00002208: SLOAD
00002209: LT
0000220a: ISZERO
0000220b: ISZERO
0000220c: ISZERO
0000220d: PUSH2 0x2215
00002210: JUMPI
00002211: PUSH1 0x00
00002213: DUP1
00002214: REVERT
00002215: JUMPDEST
00002216: PUSH2 0x221e
00002219: DUP6
0000221a: PUSH2 0x1f71
0000221d: JUMP
0000221e: JUMPDEST
0000221f: SWAP2
00002220: POP
00002221: PUSH1 0x00
00002223: PUSH1 0x15
00002225: PUSH1 0x00
00002227: DUP9
00002228: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000223d: AND
0000223e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002253: AND
00002254: DUP2
00002255: MSTORE
00002256: PUSH1 0x20
00002258: ADD
00002259: SWAP1
0000225a: DUP2
0000225b: MSTORE
0000225c: PUSH1 0x20
0000225e: ADD
0000225f: PUSH1 0x00
00002261: KECCAK256
00002262: DUP2
00002263: SWAP1
00002264: SSTORE
00002265: POP
00002266: PUSH1 0x00
00002268: PUSH1 0x16
0000226a: PUSH1 0x00
0000226c: DUP9
0000226d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002282: AND
00002283: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002298: AND
00002299: DUP2
0000229a: MSTORE
0000229b: PUSH1 0x20
0000229d: ADD
0000229e: SWAP1
0000229f: DUP2
000022a0: MSTORE
000022a1: PUSH1 0x20
000022a3: ADD
000022a4: PUSH1 0x00
000022a6: KECCAK256
000022a7: DUP2
000022a8: SWAP1
000022a9: SSTORE
000022aa: POP
000022ab: PUSH2 0x22bf
000022ae: DUP4
000022af: PUSH1 0x05
000022b1: SLOAD
000022b2: PUSH2 0x456d
000022b5: SWAP1
000022b6: SWAP2
000022b7: SWAP1
000022b8: PUSH4 0xffffffff
000022bd: AND
000022be: JUMP
000022bf: JUMPDEST
000022c0: PUSH1 0x05
000022c2: DUP2
000022c3: SWAP1
000022c4: SSTORE
000022c5: POP
000022c6: PUSH2 0x22da
000022c9: DUP6
000022ca: PUSH1 0x07
000022cc: SLOAD
000022cd: PUSH2 0x2082
000022d0: SWAP1
000022d1: SWAP2
000022d2: SWAP1
000022d3: PUSH4 0xffffffff
000022d8: AND
000022d9: JUMP
000022da: JUMPDEST
000022db: PUSH1 0x07
000022dd: DUP2
000022de: SWAP1
000022df: SSTORE
000022e0: POP
000022e1: PUSH2 0x22f5
000022e4: DUP5
000022e5: PUSH1 0x06
000022e7: SLOAD
000022e8: PUSH2 0x456d
000022eb: SWAP1
000022ec: SWAP2
000022ed: SWAP1
000022ee: PUSH4 0xffffffff
000022f3: AND
000022f4: JUMP
000022f5: JUMPDEST
000022f6: PUSH1 0x06
000022f8: DUP2
000022f9: SWAP1
000022fa: SSTORE
000022fb: POP
000022fc: PUSH2 0x2310
000022ff: DUP6
00002300: PUSH1 0x04
00002302: SLOAD
00002303: PUSH2 0x2082
00002306: SWAP1
00002307: SWAP2
00002308: SWAP1
00002309: PUSH4 0xffffffff
0000230e: AND
0000230f: JUMP
00002310: JUMPDEST
00002311: PUSH1 0x04
00002313: DUP2
00002314: SWAP1
00002315: SSTORE
00002316: POP
00002317: PUSH1 0x08
00002319: PUSH1 0x00
0000231b: SWAP1
0000231c: SLOAD
0000231d: SWAP1
0000231e: PUSH2 0x0100
00002321: EXP
00002322: SWAP1
00002323: DIV
00002324: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002339: AND
0000233a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000234f: AND
00002350: PUSH4 0x6c197ff5
00002355: DUP8
00002356: DUP5
00002357: PUSH1 0x40
00002359: MLOAD
0000235a: DUP4
0000235b: PUSH4 0xffffffff
00002360: AND
00002361: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000237f: MUL
00002380: DUP2
00002381: MSTORE
00002382: PUSH1 0x04
00002384: ADD
00002385: DUP1
00002386: DUP4
00002387: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000239c: AND
0000239d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023b2: AND
000023b3: DUP2
000023b4: MSTORE
000023b5: PUSH1 0x20
000023b7: ADD
000023b8: DUP3
000023b9: DUP2
000023ba: MSTORE
000023bb: PUSH1 0x20
000023bd: ADD
000023be: SWAP3
000023bf: POP
000023c0: POP
000023c1: POP
000023c2: PUSH1 0x20
000023c4: PUSH1 0x40
000023c6: MLOAD
000023c7: DUP1
000023c8: DUP4
000023c9: SUB
000023ca: DUP2
000023cb: PUSH1 0x00
000023cd: DUP8
000023ce: DUP1
000023cf: EXTCODESIZE
000023d0: ISZERO
000023d1: DUP1
000023d2: ISZERO
000023d3: PUSH2 0x23db
000023d6: JUMPI
000023d7: PUSH1 0x00
000023d9: DUP1
000023da: REVERT
000023db: JUMPDEST
000023dc: POP
000023dd: GAS
000023de: CALL
000023df: ISZERO
000023e0: DUP1
000023e1: ISZERO
000023e2: PUSH2 0x23ef
000023e5: JUMPI
000023e6: RETURNDATASIZE
000023e7: PUSH1 0x00
000023e9: DUP1
000023ea: RETURNDATACOPY
000023eb: RETURNDATASIZE
000023ec: PUSH1 0x00
000023ee: REVERT
000023ef: JUMPDEST
000023f0: POP
000023f1: POP
000023f2: POP
000023f3: POP
000023f4: PUSH1 0x40
000023f6: MLOAD
000023f7: RETURNDATASIZE
000023f8: PUSH1 0x20
000023fa: DUP2
000023fb: LT
000023fc: ISZERO
000023fd: PUSH2 0x2405
00002400: JUMPI
00002401: PUSH1 0x00
00002403: DUP1
00002404: REVERT
00002405: JUMPDEST
00002406: DUP2
00002407: ADD
00002408: SWAP1
00002409: DUP1
0000240a: DUP1
0000240b: MLOAD
0000240c: SWAP1
0000240d: PUSH1 0x20
0000240f: ADD
00002410: SWAP1
00002411: SWAP3
00002412: SWAP2
00002413: SWAP1
00002414: POP
00002415: POP
00002416: POP
00002417: POP
00002418: PUSH32 0xaf125e12ca75bf768749f5341bd6d27b98c81a22d86e366198f6d6db3a7eef50
00002439: DUP7
0000243a: TIMESTAMP
0000243b: DUP8
0000243c: PUSH1 0x40
0000243e: MLOAD
0000243f: DUP1
00002440: DUP5
00002441: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002456: AND
00002457: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000246c: AND
0000246d: DUP2
0000246e: MSTORE
0000246f: PUSH1 0x20
00002471: ADD
00002472: DUP4
00002473: DUP2
00002474: MSTORE
00002475: PUSH1 0x20
00002477: ADD
00002478: DUP3
00002479: DUP2
0000247a: MSTORE
0000247b: PUSH1 0x20
0000247d: ADD
0000247e: SWAP4
0000247f: POP
00002480: POP
00002481: POP
00002482: POP
00002483: PUSH1 0x40
00002485: MLOAD
00002486: DUP1
00002487: SWAP2
00002488: SUB
00002489: SWAP1
0000248a: LOG1
0000248b: JUMPDEST
0000248c: PUSH2 0x26e0
0000248f: JUMP
00002490: JUMPDEST
00002491: PUSH1 0x15
00002493: PUSH1 0x00
00002495: DUP8
00002496: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024ab: AND
000024ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024c1: AND
000024c2: DUP2
000024c3: MSTORE
000024c4: PUSH1 0x20
000024c6: ADD
000024c7: SWAP1
000024c8: DUP2
000024c9: MSTORE
000024ca: PUSH1 0x20
000024cc: ADD
000024cd: PUSH1 0x00
000024cf: KECCAK256
000024d0: SLOAD
000024d1: SWAP1
000024d2: POP
000024d3: PUSH1 0x00
000024d5: DUP2
000024d6: GT
000024d7: ISZERO
000024d8: PUSH2 0x26df
000024db: JUMPI
000024dc: DUP1
000024dd: PUSH1 0x05
000024df: SLOAD
000024e0: LT
000024e1: ISZERO
000024e2: ISZERO
000024e3: ISZERO
000024e4: PUSH2 0x24ec
000024e7: JUMPI
000024e8: PUSH1 0x00
000024ea: DUP1
000024eb: REVERT
000024ec: JUMPDEST
000024ed: PUSH1 0x1d
000024ef: PUSH1 0x00
000024f1: SWAP1
000024f2: SLOAD
000024f3: SWAP1
000024f4: PUSH2 0x0100
000024f7: EXP
000024f8: SWAP1
000024f9: DIV
000024fa: PUSH1 0xff
000024fc: AND
000024fd: ISZERO
000024fe: ISZERO
000024ff: PUSH2 0x2504
00002502: JUMPI
00002503: INVALID
00002504: JUMPDEST
00002505: PUSH1 0x19
00002507: PUSH1 0x00
00002509: DUP8
0000250a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000251f: AND
00002520: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002535: AND
00002536: DUP2
00002537: MSTORE
00002538: PUSH1 0x20
0000253a: ADD
0000253b: SWAP1
0000253c: DUP2
0000253d: MSTORE
0000253e: PUSH1 0x20
00002540: ADD
00002541: PUSH1 0x00
00002543: KECCAK256
00002544: PUSH1 0x00
00002546: SWAP1
00002547: SLOAD
00002548: SWAP1
00002549: PUSH2 0x0100
0000254c: EXP
0000254d: SWAP1
0000254e: DIV
0000254f: PUSH1 0xff
00002551: AND
00002552: ISZERO
00002553: ISZERO
00002554: PUSH2 0x2559
00002557: JUMPI
00002558: INVALID
00002559: JUMPDEST
0000255a: PUSH2 0x25ab
0000255d: DUP2
0000255e: PUSH1 0x15
00002560: PUSH1 0x00
00002562: DUP10
00002563: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002578: AND
00002579: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000258e: AND
0000258f: DUP2
00002590: MSTORE
00002591: PUSH1 0x20
00002593: ADD
00002594: SWAP1
00002595: DUP2
00002596: MSTORE
00002597: PUSH1 0x20
00002599: ADD
0000259a: PUSH1 0x00
0000259c: KECCAK256
0000259d: SLOAD
0000259e: PUSH2 0x456d
000025a1: SWAP1
000025a2: SWAP2
000025a3: SWAP1
000025a4: PUSH4 0xffffffff
000025a9: AND
000025aa: JUMP
000025ab: JUMPDEST
000025ac: PUSH1 0x15
000025ae: PUSH1 0x00
000025b0: DUP9
000025b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025c6: AND
000025c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025dc: AND
000025dd: DUP2
000025de: MSTORE
000025df: PUSH1 0x20
000025e1: ADD
000025e2: SWAP1
000025e3: DUP2
000025e4: MSTORE
000025e5: PUSH1 0x20
000025e7: ADD
000025e8: PUSH1 0x00
000025ea: KECCAK256
000025eb: DUP2
000025ec: SWAP1
000025ed: SSTORE
000025ee: POP
000025ef: PUSH2 0x2603
000025f2: DUP2
000025f3: PUSH1 0x05
000025f5: SLOAD
000025f6: PUSH2 0x456d
000025f9: SWAP1
000025fa: SWAP2
000025fb: SWAP1
000025fc: PUSH4 0xffffffff
00002601: AND
00002602: JUMP
00002603: JUMPDEST
00002604: PUSH1 0x05
00002606: DUP2
00002607: SWAP1
00002608: SSTORE
00002609: POP
0000260a: PUSH2 0x261e
0000260d: DUP2
0000260e: PUSH1 0x07
00002610: SLOAD
00002611: PUSH2 0x2082
00002614: SWAP1
00002615: SWAP2
00002616: SWAP1
00002617: PUSH4 0xffffffff
0000261c: AND
0000261d: JUMP
0000261e: JUMPDEST
0000261f: PUSH1 0x07
00002621: DUP2
00002622: SWAP1
00002623: SSTORE
00002624: POP
00002625: DUP6
00002626: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000263b: AND
0000263c: PUSH2 0x08fc
0000263f: DUP3
00002640: SWAP1
00002641: DUP2
00002642: ISZERO
00002643: MUL
00002644: SWAP1
00002645: PUSH1 0x40
00002647: MLOAD
00002648: PUSH1 0x00
0000264a: PUSH1 0x40
0000264c: MLOAD
0000264d: DUP1
0000264e: DUP4
0000264f: SUB
00002650: DUP2
00002651: DUP6
00002652: DUP9
00002653: DUP9
00002654: CALL
00002655: SWAP4
00002656: POP
00002657: POP
00002658: POP
00002659: POP
0000265a: ISZERO
0000265b: DUP1
0000265c: ISZERO
0000265d: PUSH2 0x266a
00002660: JUMPI
00002661: RETURNDATASIZE
00002662: PUSH1 0x00
00002664: DUP1
00002665: RETURNDATACOPY
00002666: RETURNDATASIZE
00002667: PUSH1 0x00
00002669: REVERT
0000266a: JUMPDEST
0000266b: POP
0000266c: PUSH32 0x4dfd6422846384dac8648df8b24fcc838e4c9ab965cdadbc849315814132c546
0000268d: DUP7
0000268e: TIMESTAMP
0000268f: DUP4
00002690: PUSH1 0x40
00002692: MLOAD
00002693: DUP1
00002694: DUP5
00002695: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026aa: AND
000026ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000026c0: AND
000026c1: DUP2
000026c2: MSTORE
000026c3: PUSH1 0x20
000026c5: ADD
000026c6: DUP4
000026c7: DUP2
000026c8: MSTORE
000026c9: PUSH1 0x20
000026cb: ADD
000026cc: DUP3
000026cd: DUP2
000026ce: MSTORE
000026cf: PUSH1 0x20
000026d1: ADD
000026d2: SWAP4
000026d3: POP
000026d4: POP
000026d5: POP
000026d6: POP
000026d7: PUSH1 0x40
000026d9: MLOAD
000026da: DUP1
000026db: SWAP2
000026dc: SUB
000026dd: SWAP1
000026de: LOG1
000026df: JUMPDEST
000026e0: JUMPDEST
000026e1: POP
000026e2: POP
000026e3: POP
000026e4: POP
000026e5: POP
000026e6: POP
000026e7: JUMP
000026e8: JUMPDEST
000026e9: PUSH1 0x00
000026eb: DUP1
000026ec: CALLER
000026ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002702: AND
00002703: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002718: AND
00002719: DUP2
0000271a: MSTORE
0000271b: PUSH1 0x20
0000271d: ADD
0000271e: SWAP1
0000271f: DUP2
00002720: MSTORE
00002721: PUSH1 0x20
00002723: ADD
00002724: PUSH1 0x00
00002726: KECCAK256
00002727: PUSH1 0x00
00002729: SWAP1
0000272a: SLOAD
0000272b: SWAP1
0000272c: PUSH2 0x0100
0000272f: EXP
00002730: SWAP1
00002731: DIV
00002732: PUSH1 0xff
00002734: AND
00002735: ISZERO
00002736: ISZERO
00002737: PUSH2 0x273f
0000273a: JUMPI
0000273b: PUSH1 0x00
0000273d: DUP1
0000273e: REVERT
0000273f: JUMPDEST
00002740: PUSH1 0x02
00002742: PUSH1 0x00
00002744: SWAP1
00002745: SLOAD
00002746: SWAP1
00002747: PUSH2 0x0100
0000274a: EXP
0000274b: SWAP1
0000274c: DIV
0000274d: PUSH1 0xff
0000274f: AND
00002750: ISZERO
00002751: ISZERO
00002752: PUSH2 0x275a
00002755: JUMPI
00002756: PUSH1 0x00
00002758: DUP1
00002759: REVERT
0000275a: JUMPDEST
0000275b: PUSH1 0x00
0000275d: PUSH1 0x02
0000275f: PUSH1 0x00
00002761: PUSH2 0x0100
00002764: EXP
00002765: DUP2
00002766: SLOAD
00002767: DUP2
00002768: PUSH1 0xff
0000276a: MUL
0000276b: NOT
0000276c: AND
0000276d: SWAP1
0000276e: DUP4
0000276f: ISZERO
00002770: ISZERO
00002771: MUL
00002772: OR
00002773: SWAP1
00002774: SSTORE
00002775: POP
00002776: JUMP
00002777: JUMPDEST
00002778: PUSH1 0x03
0000277a: SLOAD
0000277b: DUP2
0000277c: JUMP
0000277d: JUMPDEST
0000277e: PUSH1 0x00
00002780: DUP1
00002781: PUSH1 0x1a
00002783: PUSH1 0x00
00002785: CALLER
00002786: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000279b: AND
0000279c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027b1: AND
000027b2: DUP2
000027b3: MSTORE
000027b4: PUSH1 0x20
000027b6: ADD
000027b7: SWAP1
000027b8: DUP2
000027b9: MSTORE
000027ba: PUSH1 0x20
000027bc: ADD
000027bd: PUSH1 0x00
000027bf: KECCAK256
000027c0: PUSH1 0x00
000027c2: PUSH2 0x0100
000027c5: EXP
000027c6: DUP2
000027c7: SLOAD
000027c8: DUP2
000027c9: PUSH1 0xff
000027cb: MUL
000027cc: NOT
000027cd: AND
000027ce: SWAP1
000027cf: DUP4
000027d0: ISZERO
000027d1: ISZERO
000027d2: MUL
000027d3: OR
000027d4: SWAP1
000027d5: SSTORE
000027d6: POP
000027d7: CALLER
000027d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027ed: AND
000027ee: PUSH32 0x325ba1fcaf76db5966f48dde35b40cf527ef4b8733ff921643d2c24e25b6994c
0000280f: PUSH1 0x00
00002811: PUSH1 0x40
00002813: MLOAD
00002814: DUP1
00002815: DUP3
00002816: ISZERO
00002817: ISZERO
00002818: ISZERO
00002819: ISZERO
0000281a: DUP2
0000281b: MSTORE
0000281c: PUSH1 0x20
0000281e: ADD
0000281f: SWAP2
00002820: POP
00002821: POP
00002822: PUSH1 0x40
00002824: MLOAD
00002825: DUP1
00002826: SWAP2
00002827: SUB
00002828: SWAP1
00002829: LOG2
0000282a: PUSH1 0x01
0000282c: SWAP1
0000282d: POP
0000282e: SWAP1
0000282f: JUMP
00002830: JUMPDEST
00002831: PUSH1 0x00
00002833: PUSH1 0x41
00002835: SWAP1
00002836: POP
00002837: SWAP1
00002838: JUMP
00002839: JUMPDEST
0000283a: PUSH1 0x00
0000283c: DUP1
0000283d: CALLER
0000283e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002853: AND
00002854: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002869: AND
0000286a: DUP2
0000286b: MSTORE
0000286c: PUSH1 0x20
0000286e: ADD
0000286f: SWAP1
00002870: DUP2
00002871: MSTORE
00002872: PUSH1 0x20
00002874: ADD
00002875: PUSH1 0x00
00002877: KECCAK256
00002878: PUSH1 0x00
0000287a: SWAP1
0000287b: SLOAD
0000287c: SWAP1
0000287d: PUSH2 0x0100
00002880: EXP
00002881: SWAP1
00002882: DIV
00002883: PUSH1 0xff
00002885: AND
00002886: ISZERO
00002887: ISZERO
00002888: PUSH2 0x2890
0000288b: JUMPI
0000288c: PUSH1 0x00
0000288e: DUP1
0000288f: REVERT
00002890: JUMPDEST
00002891: PUSH1 0x00
00002893: DUP1
00002894: DUP3
00002895: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028aa: AND
000028ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028c0: AND
000028c1: DUP2
000028c2: MSTORE
000028c3: PUSH1 0x20
000028c5: ADD
000028c6: SWAP1
000028c7: DUP2
000028c8: MSTORE
000028c9: PUSH1 0x20
000028cb: ADD
000028cc: PUSH1 0x00
000028ce: KECCAK256
000028cf: PUSH1 0x00
000028d1: SWAP1
000028d2: SLOAD
000028d3: SWAP1
000028d4: PUSH2 0x0100
000028d7: EXP
000028d8: SWAP1
000028d9: DIV
000028da: PUSH1 0xff
000028dc: AND
000028dd: ISZERO
000028de: ISZERO
000028df: PUSH2 0x28e7
000028e2: JUMPI
000028e3: PUSH1 0x00
000028e5: DUP1
000028e6: REVERT
000028e7: JUMPDEST
000028e8: PUSH1 0x00
000028ea: DUP1
000028eb: PUSH1 0x00
000028ed: DUP4
000028ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002903: AND
00002904: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002919: AND
0000291a: DUP2
0000291b: MSTORE
0000291c: PUSH1 0x20
0000291e: ADD
0000291f: SWAP1
00002920: DUP2
00002921: MSTORE
00002922: PUSH1 0x20
00002924: ADD
00002925: PUSH1 0x00
00002927: KECCAK256
00002928: PUSH1 0x00
0000292a: PUSH2 0x0100
0000292d: EXP
0000292e: DUP2
0000292f: SLOAD
00002930: DUP2
00002931: PUSH1 0xff
00002933: MUL
00002934: NOT
00002935: AND
00002936: SWAP1
00002937: DUP4
00002938: ISZERO
00002939: ISZERO
0000293a: MUL
0000293b: OR
0000293c: SWAP1
0000293d: SSTORE
0000293e: POP
0000293f: DUP1
00002940: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002955: AND
00002956: PUSH32 0x6740775dd30bf47d42458b7044f4a4b0a275934f8a4f9269c8af6ab00b3a1e45
00002977: PUSH1 0x40
00002979: MLOAD
0000297a: PUSH1 0x40
0000297c: MLOAD
0000297d: DUP1
0000297e: SWAP2
0000297f: SUB
00002980: SWAP1
00002981: LOG2
00002982: POP
00002983: JUMP
00002984: JUMPDEST
00002985: PUSH1 0x00
00002987: PUSH1 0x15
00002989: PUSH1 0x00
0000298b: DUP4
0000298c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029a1: AND
000029a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029b7: AND
000029b8: DUP2
000029b9: MSTORE
000029ba: PUSH1 0x20
000029bc: ADD
000029bd: SWAP1
000029be: DUP2
000029bf: MSTORE
000029c0: PUSH1 0x20
000029c2: ADD
000029c3: PUSH1 0x00
000029c5: KECCAK256
000029c6: SLOAD
000029c7: SWAP1
000029c8: POP
000029c9: SWAP2
000029ca: SWAP1
000029cb: POP
000029cc: JUMP
000029cd: JUMPDEST
000029ce: PUSH1 0x00
000029d0: PUSH1 0x1e
000029d2: PUSH1 0x00
000029d4: DUP4
000029d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029ea: AND
000029eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a00: AND
00002a01: DUP2
00002a02: MSTORE
00002a03: PUSH1 0x20
00002a05: ADD
00002a06: SWAP1
00002a07: DUP2
00002a08: MSTORE
00002a09: PUSH1 0x20
00002a0b: ADD
00002a0c: PUSH1 0x00
00002a0e: KECCAK256
00002a0f: PUSH1 0x00
00002a11: SWAP1
00002a12: SLOAD
00002a13: SWAP1
00002a14: PUSH2 0x0100
00002a17: EXP
00002a18: SWAP1
00002a19: DIV
00002a1a: PUSH1 0xff
00002a1c: AND
00002a1d: SWAP1
00002a1e: POP
00002a1f: SWAP2
00002a20: SWAP1
00002a21: POP
00002a22: JUMP
00002a23: JUMPDEST
00002a24: PUSH1 0x07
00002a26: SLOAD
00002a27: DUP2
00002a28: JUMP
00002a29: JUMPDEST
00002a2a: PUSH1 0x00
00002a2c: PUSH1 0x20
00002a2e: MSTORE
00002a2f: DUP1
00002a30: PUSH1 0x00
00002a32: MSTORE
00002a33: PUSH1 0x40
00002a35: PUSH1 0x00
00002a37: KECCAK256
00002a38: PUSH1 0x00
00002a3a: SWAP2
00002a3b: POP
00002a3c: SLOAD
00002a3d: SWAP1
00002a3e: PUSH2 0x0100
00002a41: EXP
00002a42: SWAP1
00002a43: DIV
00002a44: PUSH1 0xff
00002a46: AND
00002a47: DUP2
00002a48: JUMP
00002a49: JUMPDEST
00002a4a: PUSH1 0x00
00002a4c: DUP1
00002a4d: PUSH1 0x00
00002a4f: CALLER
00002a50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a65: AND
00002a66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a7b: AND
00002a7c: DUP2
00002a7d: MSTORE
00002a7e: PUSH1 0x20
00002a80: ADD
00002a81: SWAP1
00002a82: DUP2
00002a83: MSTORE
00002a84: PUSH1 0x20
00002a86: ADD
00002a87: PUSH1 0x00
00002a89: KECCAK256
00002a8a: PUSH1 0x00
00002a8c: SWAP1
00002a8d: SLOAD
00002a8e: SWAP1
00002a8f: PUSH2 0x0100
00002a92: EXP
00002a93: SWAP1
00002a94: DIV
00002a95: PUSH1 0xff
00002a97: AND
00002a98: ISZERO
00002a99: ISZERO
00002a9a: PUSH2 0x2aa2
00002a9d: JUMPI
00002a9e: PUSH1 0x00
00002aa0: DUP1
00002aa1: REVERT
00002aa2: JUMPDEST
00002aa3: DUP2
00002aa4: PUSH1 0x0f
00002aa6: DUP2
00002aa7: SWAP1
00002aa8: SSTORE
00002aa9: POP
00002aaa: PUSH3 0x76a700
00002aae: PUSH1 0x0f
00002ab0: SLOAD
00002ab1: ADD
00002ab2: PUSH1 0x03
00002ab4: DUP2
00002ab5: SWAP1
00002ab6: SSTORE
00002ab7: POP
00002ab8: PUSH32 0x5ccef46849f25e627f4883dfdc93950201a96cf9955e163545f8e0775d7f7ac6
00002ad9: CALLER
00002ada: PUSH1 0x0f
00002adc: SLOAD
00002add: DUP5
00002ade: PUSH1 0x40
00002ae0: MLOAD
00002ae1: DUP1
00002ae2: DUP5
00002ae3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002af8: AND
00002af9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b0e: AND
00002b0f: DUP2
00002b10: MSTORE
00002b11: PUSH1 0x20
00002b13: ADD
00002b14: DUP4
00002b15: DUP2
00002b16: MSTORE
00002b17: PUSH1 0x20
00002b19: ADD
00002b1a: DUP3
00002b1b: DUP2
00002b1c: MSTORE
00002b1d: PUSH1 0x20
00002b1f: ADD
00002b20: SWAP4
00002b21: POP
00002b22: POP
00002b23: POP
00002b24: POP
00002b25: PUSH1 0x40
00002b27: MLOAD
00002b28: DUP1
00002b29: SWAP2
00002b2a: SUB
00002b2b: SWAP1
00002b2c: LOG1
00002b2d: PUSH1 0x01
00002b2f: SWAP1
00002b30: POP
00002b31: SWAP2
00002b32: SWAP1
00002b33: POP
00002b34: JUMP
00002b35: JUMPDEST
00002b36: PUSH1 0x0f
00002b38: SLOAD
00002b39: DUP2
00002b3a: JUMP
00002b3b: JUMPDEST
00002b3c: PUSH1 0x00
00002b3e: DUP1
00002b3f: PUSH1 0x00
00002b41: CALLER
00002b42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b57: AND
00002b58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b6d: AND
00002b6e: DUP2
00002b6f: MSTORE
00002b70: PUSH1 0x20
00002b72: ADD
00002b73: SWAP1
00002b74: DUP2
00002b75: MSTORE
00002b76: PUSH1 0x20
00002b78: ADD
00002b79: PUSH1 0x00
00002b7b: KECCAK256
00002b7c: PUSH1 0x00
00002b7e: SWAP1
00002b7f: SLOAD
00002b80: SWAP1
00002b81: PUSH2 0x0100
00002b84: EXP
00002b85: SWAP1
00002b86: DIV
00002b87: PUSH1 0xff
00002b89: AND
00002b8a: ISZERO
00002b8b: ISZERO
00002b8c: PUSH2 0x2b94
00002b8f: JUMPI
00002b90: PUSH1 0x00
00002b92: DUP1
00002b93: REVERT
00002b94: JUMPDEST
00002b95: DUP2
00002b96: PUSH1 0x1a
00002b98: PUSH1 0x00
00002b9a: DUP6
00002b9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bb0: AND
00002bb1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002bc6: AND
00002bc7: DUP2
00002bc8: MSTORE
00002bc9: PUSH1 0x20
00002bcb: ADD
00002bcc: SWAP1
00002bcd: DUP2
00002bce: MSTORE
00002bcf: PUSH1 0x20
00002bd1: ADD
00002bd2: PUSH1 0x00
00002bd4: KECCAK256
00002bd5: PUSH1 0x00
00002bd7: PUSH2 0x0100
00002bda: EXP
00002bdb: DUP2
00002bdc: SLOAD
00002bdd: DUP2
00002bde: PUSH1 0xff
00002be0: MUL
00002be1: NOT
00002be2: AND
00002be3: SWAP1
00002be4: DUP4
00002be5: ISZERO
00002be6: ISZERO
00002be7: MUL
00002be8: OR
00002be9: SWAP1
00002bea: SSTORE
00002beb: POP
00002bec: DUP3
00002bed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c02: AND
00002c03: PUSH32 0x325ba1fcaf76db5966f48dde35b40cf527ef4b8733ff921643d2c24e25b6994c
00002c24: DUP4
00002c25: PUSH1 0x40
00002c27: MLOAD
00002c28: DUP1
00002c29: DUP3
00002c2a: ISZERO
00002c2b: ISZERO
00002c2c: ISZERO
00002c2d: ISZERO
00002c2e: DUP2
00002c2f: MSTORE
00002c30: PUSH1 0x20
00002c32: ADD
00002c33: SWAP2
00002c34: POP
00002c35: POP
00002c36: PUSH1 0x40
00002c38: MLOAD
00002c39: DUP1
00002c3a: SWAP2
00002c3b: SUB
00002c3c: SWAP1
00002c3d: LOG2
00002c3e: PUSH1 0x01
00002c40: SWAP1
00002c41: POP
00002c42: SWAP3
00002c43: SWAP2
00002c44: POP
00002c45: POP
00002c46: JUMP
00002c47: JUMPDEST
00002c48: PUSH1 0x00
00002c4a: PUSH1 0x01
00002c4c: DUP1
00002c4d: SLOAD
00002c4e: SWAP1
00002c4f: POP
00002c50: SWAP1
00002c51: POP
00002c52: SWAP1
00002c53: JUMP
00002c54: JUMPDEST
00002c55: PUSH1 0x02
00002c57: PUSH1 0x01
00002c59: SWAP1
00002c5a: SLOAD
00002c5b: SWAP1
00002c5c: PUSH2 0x0100
00002c5f: EXP
00002c60: SWAP1
00002c61: DIV
00002c62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c77: AND
00002c78: DUP2
00002c79: JUMP
00002c7a: JUMPDEST
00002c7b: PUSH1 0x00
00002c7d: DUP1
00002c7e: PUSH1 0x00
00002c80: CALLER
00002c81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c96: AND
00002c97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cac: AND
00002cad: DUP2
00002cae: MSTORE
00002caf: PUSH1 0x20
00002cb1: ADD
00002cb2: SWAP1
00002cb3: DUP2
00002cb4: MSTORE
00002cb5: PUSH1 0x20
00002cb7: ADD
00002cb8: PUSH1 0x00
00002cba: KECCAK256
00002cbb: PUSH1 0x00
00002cbd: SWAP1
00002cbe: SLOAD
00002cbf: SWAP1
00002cc0: PUSH2 0x0100
00002cc3: EXP
00002cc4: SWAP1
00002cc5: DIV
00002cc6: PUSH1 0xff
00002cc8: AND
00002cc9: ISZERO
00002cca: ISZERO
00002ccb: PUSH2 0x2cd3
00002cce: JUMPI
00002ccf: PUSH1 0x00
00002cd1: DUP1
00002cd2: REVERT
00002cd3: JUMPDEST
00002cd4: PUSH1 0x08
00002cd6: PUSH1 0x00
00002cd8: SWAP1
00002cd9: SLOAD
00002cda: SWAP1
00002cdb: PUSH2 0x0100
00002cde: EXP
00002cdf: SWAP1
00002ce0: DIV
00002ce1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cf6: AND
00002cf7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d0c: AND
00002d0d: PUSH4 0x42966c68
00002d12: DUP4
00002d13: PUSH1 0x40
00002d15: MLOAD
00002d16: DUP3
00002d17: PUSH4 0xffffffff
00002d1c: AND
00002d1d: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002d3b: MUL
00002d3c: DUP2
00002d3d: MSTORE
00002d3e: PUSH1 0x04
00002d40: ADD
00002d41: DUP1
00002d42: DUP3
00002d43: DUP2
00002d44: MSTORE
00002d45: PUSH1 0x20
00002d47: ADD
00002d48: SWAP2
00002d49: POP
00002d4a: POP
00002d4b: PUSH1 0x20
00002d4d: PUSH1 0x40
00002d4f: MLOAD
00002d50: DUP1
00002d51: DUP4
00002d52: SUB
00002d53: DUP2
00002d54: PUSH1 0x00
00002d56: DUP8
00002d57: DUP1
00002d58: EXTCODESIZE
00002d59: ISZERO
00002d5a: DUP1
00002d5b: ISZERO
00002d5c: PUSH2 0x2d64
00002d5f: JUMPI
00002d60: PUSH1 0x00
00002d62: DUP1
00002d63: REVERT
00002d64: JUMPDEST
00002d65: POP
00002d66: GAS
00002d67: CALL
00002d68: ISZERO
00002d69: DUP1
00002d6a: ISZERO
00002d6b: PUSH2 0x2d78
00002d6e: JUMPI
00002d6f: RETURNDATASIZE
00002d70: PUSH1 0x00
00002d72: DUP1
00002d73: RETURNDATACOPY
00002d74: RETURNDATASIZE
00002d75: PUSH1 0x00
00002d77: REVERT
00002d78: JUMPDEST
00002d79: POP
00002d7a: POP
00002d7b: POP
00002d7c: POP
00002d7d: PUSH1 0x40
00002d7f: MLOAD
00002d80: RETURNDATASIZE
00002d81: PUSH1 0x20
00002d83: DUP2
00002d84: LT
00002d85: ISZERO
00002d86: PUSH2 0x2d8e
00002d89: JUMPI
00002d8a: PUSH1 0x00
00002d8c: DUP1
00002d8d: REVERT
00002d8e: JUMPDEST
00002d8f: DUP2
00002d90: ADD
00002d91: SWAP1
00002d92: DUP1
00002d93: DUP1
00002d94: MLOAD
00002d95: SWAP1
00002d96: PUSH1 0x20
00002d98: ADD
00002d99: SWAP1
00002d9a: SWAP3
00002d9b: SWAP2
00002d9c: SWAP1
00002d9d: POP
00002d9e: POP
00002d9f: POP
00002da0: SWAP1
00002da1: POP
00002da2: SWAP2
00002da3: SWAP1
00002da4: POP
00002da5: JUMP
00002da6: JUMPDEST
00002da7: PUSH1 0x05
00002da9: SLOAD
00002daa: DUP2
00002dab: JUMP
00002dac: JUMPDEST
00002dad: PUSH1 0x01
00002daf: DUP2
00002db0: DUP2
00002db1: SLOAD
00002db2: DUP2
00002db3: LT
00002db4: ISZERO
00002db5: ISZERO
00002db6: PUSH2 0x2dbb
00002db9: JUMPI
00002dba: INVALID
00002dbb: JUMPDEST
00002dbc: SWAP1
00002dbd: PUSH1 0x00
00002dbf: MSTORE
00002dc0: PUSH1 0x20
00002dc2: PUSH1 0x00
00002dc4: KECCAK256
00002dc5: ADD
00002dc6: PUSH1 0x00
00002dc8: SWAP2
00002dc9: POP
00002dca: SLOAD
00002dcb: SWAP1
00002dcc: PUSH2 0x0100
00002dcf: EXP
00002dd0: SWAP1
00002dd1: DIV
00002dd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002de7: AND
00002de8: DUP2
00002de9: JUMP
00002dea: JUMPDEST
00002deb: PUSH1 0x00
00002ded: PUSH1 0x13
00002def: PUSH1 0x00
00002df1: DUP4
00002df2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e07: AND
00002e08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e1d: AND
00002e1e: DUP2
00002e1f: MSTORE
00002e20: PUSH1 0x20
00002e22: ADD
00002e23: SWAP1
00002e24: DUP2
00002e25: MSTORE
00002e26: PUSH1 0x20
00002e28: ADD
00002e29: PUSH1 0x00
00002e2b: KECCAK256
00002e2c: SLOAD
00002e2d: SWAP1
00002e2e: POP
00002e2f: SWAP2
00002e30: SWAP1
00002e31: POP
00002e32: JUMP
00002e33: JUMPDEST
00002e34: PUSH1 0x00
00002e36: DUP1
00002e37: PUSH1 0x00
00002e39: DUP1
00002e3a: PUSH1 0x00
00002e3c: CALLER
00002e3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e52: AND
00002e53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e68: AND
00002e69: DUP2
00002e6a: MSTORE
00002e6b: PUSH1 0x20
00002e6d: ADD
00002e6e: SWAP1
00002e6f: DUP2
00002e70: MSTORE
00002e71: PUSH1 0x20
00002e73: ADD
00002e74: PUSH1 0x00
00002e76: KECCAK256
00002e77: PUSH1 0x00
00002e79: SWAP1
00002e7a: SLOAD
00002e7b: SWAP1
00002e7c: PUSH2 0x0100
00002e7f: EXP
00002e80: SWAP1
00002e81: DIV
00002e82: PUSH1 0xff
00002e84: AND
00002e85: ISZERO
00002e86: ISZERO
00002e87: PUSH2 0x2e8f
00002e8a: JUMPI
00002e8b: PUSH1 0x00
00002e8d: DUP1
00002e8e: REVERT
00002e8f: JUMPDEST
00002e90: PUSH1 0x01
00002e92: PUSH1 0x19
00002e94: PUSH1 0x00
00002e96: DUP7
00002e97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002eac: AND
00002ead: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ec2: AND
00002ec3: DUP2
00002ec4: MSTORE
00002ec5: PUSH1 0x20
00002ec7: ADD
00002ec8: SWAP1
00002ec9: DUP2
00002eca: MSTORE
00002ecb: PUSH1 0x20
00002ecd: ADD
00002ece: PUSH1 0x00
00002ed0: KECCAK256
00002ed1: PUSH1 0x00
00002ed3: PUSH2 0x0100
00002ed6: EXP
00002ed7: DUP2
00002ed8: SLOAD
00002ed9: DUP2
00002eda: PUSH1 0xff
00002edc: MUL
00002edd: NOT
00002ede: AND
00002edf: SWAP1
00002ee0: DUP4
00002ee1: ISZERO
00002ee2: ISZERO
00002ee3: MUL
00002ee4: OR
00002ee5: SWAP1
00002ee6: SSTORE
00002ee7: POP
00002ee8: PUSH1 0x20
00002eea: PUSH1 0x00
00002eec: DUP6
00002eed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f02: AND
00002f03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f18: AND
00002f19: DUP2
00002f1a: MSTORE
00002f1b: PUSH1 0x20
00002f1d: ADD
00002f1e: SWAP1
00002f1f: DUP2
00002f20: MSTORE
00002f21: PUSH1 0x20
00002f23: ADD
00002f24: PUSH1 0x00
00002f26: KECCAK256
00002f27: PUSH1 0x00
00002f29: SWAP1
00002f2a: SLOAD
00002f2b: SWAP1
00002f2c: PUSH2 0x0100
00002f2f: EXP
00002f30: SWAP1
00002f31: DIV
00002f32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f47: AND
00002f48: SWAP2
00002f49: POP
00002f4a: PUSH1 0x17
00002f4c: PUSH1 0x00
00002f4e: DUP6
00002f4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f64: AND
00002f65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f7a: AND
00002f7b: DUP2
00002f7c: MSTORE
00002f7d: PUSH1 0x20
00002f7f: ADD
00002f80: SWAP1
00002f81: DUP2
00002f82: MSTORE
00002f83: PUSH1 0x20
00002f85: ADD
00002f86: PUSH1 0x00
00002f88: KECCAK256
00002f89: SLOAD
00002f8a: SWAP1
00002f8b: POP
00002f8c: PUSH2 0x2fa0
00002f8f: DUP2
00002f90: PUSH1 0x05
00002f92: SLOAD
00002f93: PUSH2 0x2082
00002f96: SWAP1
00002f97: SWAP2
00002f98: SWAP1
00002f99: PUSH4 0xffffffff
00002f9e: AND
00002f9f: JUMP
00002fa0: JUMPDEST
00002fa1: PUSH1 0x05
00002fa3: DUP2
00002fa4: SWAP1
00002fa5: SSTORE
00002fa6: POP
00002fa7: PUSH2 0x2fbb
00002faa: DUP2
00002fab: PUSH1 0x06
00002fad: SLOAD
00002fae: PUSH2 0x456d
00002fb1: SWAP1
00002fb2: SWAP2
00002fb3: SWAP1
00002fb4: PUSH4 0xffffffff
00002fb9: AND
00002fba: JUMP
00002fbb: JUMPDEST
00002fbc: PUSH1 0x06
00002fbe: DUP2
00002fbf: SWAP1
00002fc0: SSTORE
00002fc1: POP
00002fc2: PUSH2 0x3013
00002fc5: DUP2
00002fc6: PUSH1 0x15
00002fc8: PUSH1 0x00
00002fca: DUP6
00002fcb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002fe0: AND
00002fe1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ff6: AND
00002ff7: DUP2
00002ff8: MSTORE
00002ff9: PUSH1 0x20
00002ffb: ADD
00002ffc: SWAP1
00002ffd: DUP2
00002ffe: MSTORE
00002fff: PUSH1 0x20
00003001: ADD
00003002: PUSH1 0x00
00003004: KECCAK256
00003005: SLOAD
00003006: PUSH2 0x2082
00003009: SWAP1
0000300a: SWAP2
0000300b: SWAP1
0000300c: PUSH4 0xffffffff
00003011: AND
00003012: JUMP
00003013: JUMPDEST
00003014: PUSH1 0x15
00003016: PUSH1 0x00
00003018: DUP5
00003019: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000302e: AND
0000302f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003044: AND
00003045: DUP2
00003046: MSTORE
00003047: PUSH1 0x20
00003049: ADD
0000304a: SWAP1
0000304b: DUP2
0000304c: MSTORE
0000304d: PUSH1 0x20
0000304f: ADD
00003050: PUSH1 0x00
00003052: KECCAK256
00003053: DUP2
00003054: SWAP1
00003055: SSTORE
00003056: POP
00003057: PUSH2 0x30a8
0000305a: DUP2
0000305b: PUSH1 0x16
0000305d: PUSH1 0x00
0000305f: DUP6
00003060: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003075: AND
00003076: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000308b: AND
0000308c: DUP2
0000308d: MSTORE
0000308e: PUSH1 0x20
00003090: ADD
00003091: SWAP1
00003092: DUP2
00003093: MSTORE
00003094: PUSH1 0x20
00003096: ADD
00003097: PUSH1 0x00
00003099: KECCAK256
0000309a: SLOAD
0000309b: PUSH2 0x456d
0000309e: SWAP1
0000309f: SWAP2
000030a0: SWAP1
000030a1: PUSH4 0xffffffff
000030a6: AND
000030a7: JUMP
000030a8: JUMPDEST
000030a9: PUSH1 0x16
000030ab: PUSH1 0x00
000030ad: DUP5
000030ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000030c3: AND
000030c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000030d9: AND
000030da: DUP2
000030db: MSTORE
000030dc: PUSH1 0x20
000030de: ADD
000030df: SWAP1
000030e0: DUP2
000030e1: MSTORE
000030e2: PUSH1 0x20
000030e4: ADD
000030e5: PUSH1 0x00
000030e7: KECCAK256
000030e8: DUP2
000030e9: SWAP1
000030ea: SSTORE
000030eb: POP
000030ec: PUSH32 0x912e4d0cd0a2a590cc2e469948cba79fef3be5864ee968d6bf93ab291941ce31
0000310d: DUP5
0000310e: TIMESTAMP
0000310f: PUSH1 0x01
00003111: PUSH1 0x40
00003113: MLOAD
00003114: DUP1
00003115: DUP5
00003116: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000312b: AND
0000312c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003141: AND
00003142: DUP2
00003143: MSTORE
00003144: PUSH1 0x20
00003146: ADD
00003147: DUP4
00003148: DUP2
00003149: MSTORE
0000314a: PUSH1 0x20
0000314c: ADD
0000314d: DUP3
0000314e: ISZERO
0000314f: ISZERO
00003150: ISZERO
00003151: ISZERO
00003152: DUP2
00003153: MSTORE
00003154: PUSH1 0x20
00003156: ADD
00003157: SWAP4
00003158: POP
00003159: POP
0000315a: POP
0000315b: POP
0000315c: PUSH1 0x40
0000315e: MLOAD
0000315f: DUP1
00003160: SWAP2
00003161: SUB
00003162: SWAP1
00003163: LOG1
00003164: PUSH1 0x01
00003166: SWAP3
00003167: POP
00003168: POP
00003169: POP
0000316a: SWAP2
0000316b: SWAP1
0000316c: POP
0000316d: JUMP
0000316e: JUMPDEST
0000316f: PUSH1 0x00
00003171: DUP1
00003172: PUSH1 0x00
00003174: PUSH2 0x317b
00003177: PUSH2 0x3ac8
0000317a: JUMP
0000317b: JUMPDEST
0000317c: ISZERO
0000317d: ISZERO
0000317e: PUSH2 0x3186
00003181: JUMPI
00003182: PUSH1 0x00
00003184: DUP1
00003185: REVERT
00003186: JUMPDEST
00003187: CALLER
00003188: SWAP3
00003189: POP
0000318a: PUSH1 0x13
0000318c: PUSH1 0x00
0000318e: DUP5
0000318f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000031a4: AND
000031a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000031ba: AND
000031bb: DUP2
000031bc: MSTORE
000031bd: PUSH1 0x20
000031bf: ADD
000031c0: SWAP1
000031c1: DUP2
000031c2: MSTORE
000031c3: PUSH1 0x20
000031c5: ADD
000031c6: PUSH1 0x00
000031c8: KECCAK256
000031c9: SLOAD
000031ca: SWAP2
000031cb: POP
000031cc: PUSH1 0x00
000031ce: DUP3
000031cf: GT
000031d0: ISZERO
000031d1: ISZERO
000031d2: PUSH2 0x31da
000031d5: JUMPI
000031d6: PUSH1 0x00
000031d8: DUP1
000031d9: REVERT
000031da: JUMPDEST
000031db: PUSH2 0x31ef
000031de: DUP3
000031df: PUSH1 0x04
000031e1: SLOAD
000031e2: PUSH2 0x456d
000031e5: SWAP1
000031e6: SWAP2
000031e7: SWAP1
000031e8: PUSH4 0xffffffff
000031ed: AND
000031ee: JUMP
000031ef: JUMPDEST
000031f0: SWAP1
000031f1: POP
000031f2: DUP1
000031f3: PUSH1 0x04
000031f5: DUP2
000031f6: SWAP1
000031f7: SSTORE
000031f8: POP
000031f9: DUP3
000031fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000320f: AND
00003210: PUSH32 0xb80902938c68dd27d1b6cd79d202976fec736f73fe1d8c133123fc5a894f85c2
00003231: DUP4
00003232: PUSH1 0x40
00003234: MLOAD
00003235: DUP1
00003236: DUP3
00003237: DUP2
00003238: MSTORE
00003239: PUSH1 0x20
0000323b: ADD
0000323c: SWAP2
0000323d: POP
0000323e: POP
0000323f: PUSH1 0x40
00003241: MLOAD
00003242: DUP1
00003243: SWAP2
00003244: SUB
00003245: SWAP1
00003246: LOG2
00003247: PUSH1 0x00
00003249: PUSH1 0x13
0000324b: PUSH1 0x00
0000324d: DUP6
0000324e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003263: AND
00003264: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003279: AND
0000327a: DUP2
0000327b: MSTORE
0000327c: PUSH1 0x20
0000327e: ADD
0000327f: SWAP1
00003280: DUP2
00003281: MSTORE
00003282: PUSH1 0x20
00003284: ADD
00003285: PUSH1 0x00
00003287: KECCAK256
00003288: DUP2
00003289: SWAP1
0000328a: SSTORE
0000328b: POP
0000328c: PUSH2 0x32a0
0000328f: DUP3
00003290: PUSH1 0x21
00003292: SLOAD
00003293: PUSH2 0x2082
00003296: SWAP1
00003297: SWAP2
00003298: SWAP1
00003299: PUSH4 0xffffffff
0000329e: AND
0000329f: JUMP
000032a0: JUMPDEST
000032a1: PUSH1 0x21
000032a3: DUP2
000032a4: SWAP1
000032a5: SSTORE
000032a6: POP
000032a7: DUP3
000032a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032bd: AND
000032be: PUSH2 0x08fc
000032c1: DUP4
000032c2: SWAP1
000032c3: DUP2
000032c4: ISZERO
000032c5: MUL
000032c6: SWAP1
000032c7: PUSH1 0x40
000032c9: MLOAD
000032ca: PUSH1 0x00
000032cc: PUSH1 0x40
000032ce: MLOAD
000032cf: DUP1
000032d0: DUP4
000032d1: SUB
000032d2: DUP2
000032d3: DUP6
000032d4: DUP9
000032d5: DUP9
000032d6: CALL
000032d7: SWAP4
000032d8: POP
000032d9: POP
000032da: POP
000032db: POP
000032dc: ISZERO
000032dd: DUP1
000032de: ISZERO
000032df: PUSH2 0x32ec
000032e2: JUMPI
000032e3: RETURNDATASIZE
000032e4: PUSH1 0x00
000032e6: DUP1
000032e7: RETURNDATACOPY
000032e8: RETURNDATASIZE
000032e9: PUSH1 0x00
000032eb: REVERT
000032ec: JUMPDEST
000032ed: POP
000032ee: POP
000032ef: POP
000032f0: POP
000032f1: JUMP
000032f2: JUMPDEST
000032f3: PUSH1 0x19
000032f5: PUSH1 0x20
000032f7: MSTORE
000032f8: DUP1
000032f9: PUSH1 0x00
000032fb: MSTORE
000032fc: PUSH1 0x40
000032fe: PUSH1 0x00
00003300: KECCAK256
00003301: PUSH1 0x00
00003303: SWAP2
00003304: POP
00003305: SLOAD
00003306: SWAP1
00003307: PUSH2 0x0100
0000330a: EXP
0000330b: SWAP1
0000330c: DIV
0000330d: PUSH1 0xff
0000330f: AND
00003310: DUP2
00003311: JUMP
00003312: JUMPDEST
00003313: PUSH1 0x02
00003315: PUSH1 0x00
00003317: SWAP1
00003318: SLOAD
00003319: SWAP1
0000331a: PUSH2 0x0100
0000331d: EXP
0000331e: SWAP1
0000331f: DIV
00003320: PUSH1 0xff
00003322: AND
00003323: DUP2
00003324: JUMP
00003325: JUMPDEST
00003326: PUSH1 0x00
00003328: PUSH1 0x15
0000332a: PUSH1 0x00
0000332c: DUP4
0000332d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003342: AND
00003343: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003358: AND
00003359: DUP2
0000335a: MSTORE
0000335b: PUSH1 0x20
0000335d: ADD
0000335e: SWAP1
0000335f: DUP2
00003360: MSTORE
00003361: PUSH1 0x20
00003363: ADD
00003364: PUSH1 0x00
00003366: KECCAK256
00003367: SLOAD
00003368: SWAP1
00003369: POP
0000336a: SWAP2
0000336b: SWAP1
0000336c: POP
0000336d: JUMP
0000336e: JUMPDEST
0000336f: PUSH1 0x00
00003371: CALLER
00003372: SWAP1
00003373: POP
00003374: PUSH2 0x337c
00003377: DUP2
00003378: PUSH2 0x20f3
0000337b: JUMP
0000337c: JUMPDEST
0000337d: POP
0000337e: JUMP
0000337f: JUMPDEST
00003380: PUSH1 0x10
00003382: SLOAD
00003383: DUP2
00003384: JUMP
00003385: JUMPDEST
00003386: PUSH1 0x14
00003388: PUSH1 0x20
0000338a: MSTORE
0000338b: DUP1
0000338c: PUSH1 0x00
0000338e: MSTORE
0000338f: PUSH1 0x40
00003391: PUSH1 0x00
00003393: KECCAK256
00003394: PUSH1 0x00
00003396: SWAP2
00003397: POP
00003398: SWAP1
00003399: POP
0000339a: SLOAD
0000339b: DUP2
0000339c: JUMP
0000339d: JUMPDEST
0000339e: PUSH1 0x00
000033a0: DUP1
000033a1: PUSH1 0x00
000033a3: DUP1
000033a4: PUSH1 0x00
000033a6: CALLER
000033a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033bc: AND
000033bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033d2: AND
000033d3: DUP2
000033d4: MSTORE
000033d5: PUSH1 0x20
000033d7: ADD
000033d8: SWAP1
000033d9: DUP2
000033da: MSTORE
000033db: PUSH1 0x20
000033dd: ADD
000033de: PUSH1 0x00
000033e0: KECCAK256
000033e1: PUSH1 0x00
000033e3: SWAP1
000033e4: SLOAD
000033e5: SWAP1
000033e6: PUSH2 0x0100
000033e9: EXP
000033ea: SWAP1
000033eb: DIV
000033ec: PUSH1 0xff
000033ee: AND
000033ef: ISZERO
000033f0: ISZERO
000033f1: PUSH2 0x33f9
000033f4: JUMPI
000033f5: PUSH1 0x00
000033f7: DUP1
000033f8: REVERT
000033f9: JUMPDEST
000033fa: PUSH1 0x1d
000033fc: PUSH1 0x00
000033fe: SWAP1
000033ff: SLOAD
00003400: SWAP1
00003401: PUSH2 0x0100
00003404: EXP
00003405: SWAP1
00003406: DIV
00003407: PUSH1 0xff
00003409: AND
0000340a: ISZERO
0000340b: ISZERO
0000340c: ISZERO
0000340d: PUSH2 0x3415
00003410: JUMPI
00003411: PUSH1 0x00
00003413: DUP1
00003414: REVERT
00003415: JUMPDEST
00003416: PUSH1 0x00
00003418: PUSH1 0x19
0000341a: PUSH1 0x00
0000341c: DUP7
0000341d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003432: AND
00003433: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003448: AND
00003449: DUP2
0000344a: MSTORE
0000344b: PUSH1 0x20
0000344d: ADD
0000344e: SWAP1
0000344f: DUP2
00003450: MSTORE
00003451: PUSH1 0x20
00003453: ADD
00003454: PUSH1 0x00
00003456: KECCAK256
00003457: PUSH1 0x00
00003459: PUSH2 0x0100
0000345c: EXP
0000345d: DUP2
0000345e: SLOAD
0000345f: DUP2
00003460: PUSH1 0xff
00003462: MUL
00003463: NOT
00003464: AND
00003465: SWAP1
00003466: DUP4
00003467: ISZERO
00003468: ISZERO
00003469: MUL
0000346a: OR
0000346b: SWAP1
0000346c: SSTORE
0000346d: POP
0000346e: PUSH1 0x20
00003470: PUSH1 0x00
00003472: DUP6
00003473: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003488: AND
00003489: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000349e: AND
0000349f: DUP2
000034a0: MSTORE
000034a1: PUSH1 0x20
000034a3: ADD
000034a4: SWAP1
000034a5: DUP2
000034a6: MSTORE
000034a7: PUSH1 0x20
000034a9: ADD
000034aa: PUSH1 0x00
000034ac: KECCAK256
000034ad: PUSH1 0x00
000034af: SWAP1
000034b0: SLOAD
000034b1: SWAP1
000034b2: PUSH2 0x0100
000034b5: EXP
000034b6: SWAP1
000034b7: DIV
000034b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034cd: AND
000034ce: SWAP2
000034cf: POP
000034d0: PUSH1 0x17
000034d2: PUSH1 0x00
000034d4: DUP6
000034d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034ea: AND
000034eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003500: AND
00003501: DUP2
00003502: MSTORE
00003503: PUSH1 0x20
00003505: ADD
00003506: SWAP1
00003507: DUP2
00003508: MSTORE
00003509: PUSH1 0x20
0000350b: ADD
0000350c: PUSH1 0x00
0000350e: KECCAK256
0000350f: SLOAD
00003510: SWAP1
00003511: POP
00003512: PUSH2 0x3526
00003515: DUP2
00003516: PUSH1 0x05
00003518: SLOAD
00003519: PUSH2 0x456d
0000351c: SWAP1
0000351d: SWAP2
0000351e: SWAP1
0000351f: PUSH4 0xffffffff
00003524: AND
00003525: JUMP
00003526: JUMPDEST
00003527: PUSH1 0x05
00003529: DUP2
0000352a: SWAP1
0000352b: SSTORE
0000352c: POP
0000352d: PUSH2 0x3541
00003530: DUP2
00003531: PUSH1 0x06
00003533: SLOAD
00003534: PUSH2 0x2082
00003537: SWAP1
00003538: SWAP2
00003539: SWAP1
0000353a: PUSH4 0xffffffff
0000353f: AND
00003540: JUMP
00003541: JUMPDEST
00003542: PUSH1 0x06
00003544: DUP2
00003545: SWAP1
00003546: SSTORE
00003547: POP
00003548: PUSH2 0x3599
0000354b: DUP2
0000354c: PUSH1 0x15
0000354e: PUSH1 0x00
00003550: DUP6
00003551: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003566: AND
00003567: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000357c: AND
0000357d: DUP2
0000357e: MSTORE
0000357f: PUSH1 0x20
00003581: ADD
00003582: SWAP1
00003583: DUP2
00003584: MSTORE
00003585: PUSH1 0x20
00003587: ADD
00003588: PUSH1 0x00
0000358a: KECCAK256
0000358b: SLOAD
0000358c: PUSH2 0x456d
0000358f: SWAP1
00003590: SWAP2
00003591: SWAP1
00003592: PUSH4 0xffffffff
00003597: AND
00003598: JUMP
00003599: JUMPDEST
0000359a: PUSH1 0x15
0000359c: PUSH1 0x00
0000359e: DUP5
0000359f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035b4: AND
000035b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035ca: AND
000035cb: DUP2
000035cc: MSTORE
000035cd: PUSH1 0x20
000035cf: ADD
000035d0: SWAP1
000035d1: DUP2
000035d2: MSTORE
000035d3: PUSH1 0x20
000035d5: ADD
000035d6: PUSH1 0x00
000035d8: KECCAK256
000035d9: DUP2
000035da: SWAP1
000035db: SSTORE
000035dc: POP
000035dd: PUSH2 0x362e
000035e0: DUP2
000035e1: PUSH1 0x16
000035e3: PUSH1 0x00
000035e5: DUP6
000035e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035fb: AND
000035fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003611: AND
00003612: DUP2
00003613: MSTORE
00003614: PUSH1 0x20
00003616: ADD
00003617: SWAP1
00003618: DUP2
00003619: MSTORE
0000361a: PUSH1 0x20
0000361c: ADD
0000361d: PUSH1 0x00
0000361f: KECCAK256
00003620: SLOAD
00003621: PUSH2 0x2082
00003624: SWAP1
00003625: SWAP2
00003626: SWAP1
00003627: PUSH4 0xffffffff
0000362c: AND
0000362d: JUMP
0000362e: JUMPDEST
0000362f: PUSH1 0x16
00003631: PUSH1 0x00
00003633: DUP5
00003634: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003649: AND
0000364a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000365f: AND
00003660: DUP2
00003661: MSTORE
00003662: PUSH1 0x20
00003664: ADD
00003665: SWAP1
00003666: DUP2
00003667: MSTORE
00003668: PUSH1 0x20
0000366a: ADD
0000366b: PUSH1 0x00
0000366d: KECCAK256
0000366e: DUP2
0000366f: SWAP1
00003670: SSTORE
00003671: POP
00003672: PUSH32 0x912e4d0cd0a2a590cc2e469948cba79fef3be5864ee968d6bf93ab291941ce31
00003693: DUP5
00003694: TIMESTAMP
00003695: PUSH1 0x00
00003697: PUSH1 0x40
00003699: MLOAD
0000369a: DUP1
0000369b: DUP5
0000369c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036b1: AND
000036b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000036c7: AND
000036c8: DUP2
000036c9: MSTORE
000036ca: PUSH1 0x20
000036cc: ADD
000036cd: DUP4
000036ce: DUP2
000036cf: MSTORE
000036d0: PUSH1 0x20
000036d2: ADD
000036d3: DUP3
000036d4: ISZERO
000036d5: ISZERO
000036d6: ISZERO
000036d7: ISZERO
000036d8: DUP2
000036d9: MSTORE
000036da: PUSH1 0x20
000036dc: ADD
000036dd: SWAP4
000036de: POP
000036df: POP
000036e0: POP
000036e1: POP
000036e2: PUSH1 0x40
000036e4: MLOAD
000036e5: DUP1
000036e6: SWAP2
000036e7: SUB
000036e8: SWAP1
000036e9: LOG1
000036ea: POP
000036eb: POP
000036ec: SWAP2
000036ed: SWAP1
000036ee: POP
000036ef: JUMP
000036f0: JUMPDEST
000036f1: PUSH1 0x00
000036f3: DUP1
000036f4: CALLER
000036f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000370a: AND
0000370b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003720: AND
00003721: DUP2
00003722: MSTORE
00003723: PUSH1 0x20
00003725: ADD
00003726: SWAP1
00003727: DUP2
00003728: MSTORE
00003729: PUSH1 0x20
0000372b: ADD
0000372c: PUSH1 0x00
0000372e: KECCAK256
0000372f: PUSH1 0x00
00003731: SWAP1
00003732: SLOAD
00003733: SWAP1
00003734: PUSH2 0x0100
00003737: EXP
00003738: SWAP1
00003739: DIV
0000373a: PUSH1 0xff
0000373c: AND
0000373d: ISZERO
0000373e: ISZERO
0000373f: PUSH2 0x3747
00003742: JUMPI
00003743: PUSH1 0x00
00003745: DUP1
00003746: REVERT
00003747: JUMPDEST
00003748: PUSH1 0x00
0000374a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000375f: AND
00003760: DUP2
00003761: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003776: AND
00003777: EQ
00003778: ISZERO
00003779: ISZERO
0000377a: ISZERO
0000377b: PUSH2 0x3783
0000377e: JUMPI
0000377f: PUSH1 0x00
00003781: DUP1
00003782: REVERT
00003783: JUMPDEST
00003784: PUSH1 0x00
00003786: DUP1
00003787: DUP3
00003788: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000379d: AND
0000379e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037b3: AND
000037b4: DUP2
000037b5: MSTORE
000037b6: PUSH1 0x20
000037b8: ADD
000037b9: SWAP1
000037ba: DUP2
000037bb: MSTORE
000037bc: PUSH1 0x20
000037be: ADD
000037bf: PUSH1 0x00
000037c1: KECCAK256
000037c2: PUSH1 0x00
000037c4: SWAP1
000037c5: SLOAD
000037c6: SWAP1
000037c7: PUSH2 0x0100
000037ca: EXP
000037cb: SWAP1
000037cc: DIV
000037cd: PUSH1 0xff
000037cf: AND
000037d0: ISZERO
000037d1: ISZERO
000037d2: ISZERO
000037d3: PUSH2 0x37db
000037d6: JUMPI
000037d7: PUSH1 0x00
000037d9: DUP1
000037da: REVERT
000037db: JUMPDEST
000037dc: PUSH1 0x01
000037de: DUP2
000037df: SWAP1
000037e0: DUP1
000037e1: PUSH1 0x01
000037e3: DUP2
000037e4: SLOAD
000037e5: ADD
000037e6: DUP1
000037e7: DUP3
000037e8: SSTORE
000037e9: DUP1
000037ea: SWAP2
000037eb: POP
000037ec: POP
000037ed: SWAP1
000037ee: PUSH1 0x01
000037f0: DUP3
000037f1: SUB
000037f2: SWAP1
000037f3: PUSH1 0x00
000037f5: MSTORE
000037f6: PUSH1 0x20
000037f8: PUSH1 0x00
000037fa: KECCAK256
000037fb: ADD
000037fc: PUSH1 0x00
000037fe: SWAP1
000037ff: SWAP2
00003800: SWAP3
00003801: SWAP1
00003802: SWAP2
00003803: SWAP1
00003804: SWAP2
00003805: PUSH2 0x0100
00003808: EXP
00003809: DUP2
0000380a: SLOAD
0000380b: DUP2
0000380c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003821: MUL
00003822: NOT
00003823: AND
00003824: SWAP1
00003825: DUP4
00003826: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000383b: AND
0000383c: MUL
0000383d: OR
0000383e: SWAP1
0000383f: SSTORE
00003840: POP
00003841: POP
00003842: PUSH1 0x01
00003844: PUSH1 0x00
00003846: DUP1
00003847: DUP4
00003848: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000385d: AND
0000385e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003873: AND
00003874: DUP2
00003875: MSTORE
00003876: PUSH1 0x20
00003878: ADD
00003879: SWAP1
0000387a: DUP2
0000387b: MSTORE
0000387c: PUSH1 0x20
0000387e: ADD
0000387f: PUSH1 0x00
00003881: KECCAK256
00003882: PUSH1 0x00
00003884: PUSH2 0x0100
00003887: EXP
00003888: DUP2
00003889: SLOAD
0000388a: DUP2
0000388b: PUSH1 0xff
0000388d: MUL
0000388e: NOT
0000388f: AND
00003890: SWAP1
00003891: DUP4
00003892: ISZERO
00003893: ISZERO
00003894: MUL
00003895: OR
00003896: SWAP1
00003897: SSTORE
00003898: POP
00003899: DUP1
0000389a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038af: AND
000038b0: PUSH32 0x0775e4f247a7723929d271ccf476b51fb4284053cb3fd6cf3400228a9c02dbb8
000038d1: PUSH1 0x40
000038d3: MLOAD
000038d4: PUSH1 0x40
000038d6: MLOAD
000038d7: DUP1
000038d8: SWAP2
000038d9: SUB
000038da: SWAP1
000038db: LOG2
000038dc: POP
000038dd: JUMP
000038de: JUMPDEST
000038df: PUSH1 0x00
000038e1: PUSH1 0x08
000038e3: PUSH1 0x00
000038e5: SWAP1
000038e6: SLOAD
000038e7: SWAP1
000038e8: PUSH2 0x0100
000038eb: EXP
000038ec: SWAP1
000038ed: DIV
000038ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003903: AND
00003904: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003919: AND
0000391a: PUSH4 0x70a08231
0000391f: DUP4
00003920: PUSH1 0x40
00003922: MLOAD
00003923: DUP3
00003924: PUSH4 0xffffffff
00003929: AND
0000392a: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00003948: MUL
00003949: DUP2
0000394a: MSTORE
0000394b: PUSH1 0x04
0000394d: ADD
0000394e: DUP1
0000394f: DUP3
00003950: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003965: AND
00003966: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000397b: AND
0000397c: DUP2
0000397d: MSTORE
0000397e: PUSH1 0x20
00003980: ADD
00003981: SWAP2
00003982: POP
00003983: POP
00003984: PUSH1 0x20
00003986: PUSH1 0x40
00003988: MLOAD
00003989: DUP1
0000398a: DUP4
0000398b: SUB
0000398c: DUP2
0000398d: PUSH1 0x00
0000398f: DUP8
00003990: DUP1
00003991: EXTCODESIZE
00003992: ISZERO
00003993: DUP1
00003994: ISZERO
00003995: PUSH2 0x399d
00003998: JUMPI
00003999: PUSH1 0x00
0000399b: DUP1
0000399c: REVERT
0000399d: JUMPDEST
0000399e: POP
0000399f: GAS
000039a0: CALL
000039a1: ISZERO
000039a2: DUP1
000039a3: ISZERO
000039a4: PUSH2 0x39b1
000039a7: JUMPI
000039a8: RETURNDATASIZE
000039a9: PUSH1 0x00
000039ab: DUP1
000039ac: RETURNDATACOPY
000039ad: RETURNDATASIZE
000039ae: PUSH1 0x00
000039b0: REVERT
000039b1: JUMPDEST
000039b2: POP
000039b3: POP
000039b4: POP
000039b5: POP
000039b6: PUSH1 0x40
000039b8: MLOAD
000039b9: RETURNDATASIZE
000039ba: PUSH1 0x20
000039bc: DUP2
000039bd: LT
000039be: ISZERO
000039bf: PUSH2 0x39c7
000039c2: JUMPI
000039c3: PUSH1 0x00
000039c5: DUP1
000039c6: REVERT
000039c7: JUMPDEST
000039c8: DUP2
000039c9: ADD
000039ca: SWAP1
000039cb: DUP1
000039cc: DUP1
000039cd: MLOAD
000039ce: SWAP1
000039cf: PUSH1 0x20
000039d1: ADD
000039d2: SWAP1
000039d3: SWAP3
000039d4: SWAP2
000039d5: SWAP1
000039d6: POP
000039d7: POP
000039d8: POP
000039d9: SWAP1
000039da: POP
000039db: SWAP2
000039dc: SWAP1
000039dd: POP
000039de: JUMP
000039df: JUMPDEST
000039e0: PUSH1 0x17
000039e2: PUSH1 0x20
000039e4: MSTORE
000039e5: DUP1
000039e6: PUSH1 0x00
000039e8: MSTORE
000039e9: PUSH1 0x40
000039eb: PUSH1 0x00
000039ed: KECCAK256
000039ee: PUSH1 0x00
000039f0: SWAP2
000039f1: POP
000039f2: SWAP1
000039f3: POP
000039f4: SLOAD
000039f5: DUP2
000039f6: JUMP
000039f7: JUMPDEST
000039f8: PUSH1 0x0e
000039fa: SLOAD
000039fb: DUP2
000039fc: JUMP
000039fd: JUMPDEST
000039fe: PUSH1 0x00
00003a00: PUSH1 0x01
00003a02: PUSH1 0x1a
00003a04: PUSH1 0x00
00003a06: CALLER
00003a07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a1c: AND
00003a1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a32: AND
00003a33: DUP2
00003a34: MSTORE
00003a35: PUSH1 0x20
00003a37: ADD
00003a38: SWAP1
00003a39: DUP2
00003a3a: MSTORE
00003a3b: PUSH1 0x20
00003a3d: ADD
00003a3e: PUSH1 0x00
00003a40: KECCAK256
00003a41: PUSH1 0x00
00003a43: PUSH2 0x0100
00003a46: EXP
00003a47: DUP2
00003a48: SLOAD
00003a49: DUP2
00003a4a: PUSH1 0xff
00003a4c: MUL
00003a4d: NOT
00003a4e: AND
00003a4f: SWAP1
00003a50: DUP4
00003a51: ISZERO
00003a52: ISZERO
00003a53: MUL
00003a54: OR
00003a55: SWAP1
00003a56: SSTORE
00003a57: POP
00003a58: CALLER
00003a59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003a6e: AND
00003a6f: PUSH32 0x325ba1fcaf76db5966f48dde35b40cf527ef4b8733ff921643d2c24e25b6994c
00003a90: PUSH1 0x01
00003a92: PUSH1 0x40
00003a94: MLOAD
00003a95: DUP1
00003a96: DUP3
00003a97: ISZERO
00003a98: ISZERO
00003a99: ISZERO
00003a9a: ISZERO
00003a9b: DUP2
00003a9c: MSTORE
00003a9d: PUSH1 0x20
00003a9f: ADD
00003aa0: SWAP2
00003aa1: POP
00003aa2: POP
00003aa3: PUSH1 0x40
00003aa5: MLOAD
00003aa6: DUP1
00003aa7: SWAP2
00003aa8: SUB
00003aa9: SWAP1
00003aaa: LOG2
00003aab: PUSH1 0x01
00003aad: SWAP1
00003aae: POP
00003aaf: SWAP1
00003ab0: JUMP
00003ab1: JUMPDEST
00003ab2: PUSH1 0x00
00003ab4: PUSH1 0x1d
00003ab6: PUSH1 0x00
00003ab8: SWAP1
00003ab9: SLOAD
00003aba: SWAP1
00003abb: PUSH2 0x0100
00003abe: EXP
00003abf: SWAP1
00003ac0: DIV
00003ac1: PUSH1 0xff
00003ac3: AND
00003ac4: SWAP1
00003ac5: POP
00003ac6: SWAP1
00003ac7: JUMP
00003ac8: JUMPDEST
00003ac9: PUSH1 0x00
00003acb: PUSH1 0x1d
00003acd: PUSH1 0x00
00003acf: SWAP1
00003ad0: SLOAD
00003ad1: SWAP1
00003ad2: PUSH2 0x0100
00003ad5: EXP
00003ad6: SWAP1
00003ad7: DIV
00003ad8: PUSH1 0xff
00003ada: AND
00003adb: ISZERO
00003adc: DUP1
00003add: ISZERO
00003ade: PUSH2 0x3ae8
00003ae1: JUMPI
00003ae2: POP
00003ae3: TIMESTAMP
00003ae4: PUSH1 0x0f
00003ae6: SLOAD
00003ae7: LT
00003ae8: JUMPDEST
00003ae9: DUP1
00003aea: ISZERO
00003aeb: PUSH2 0x3af6
00003aee: JUMPI
00003aef: POP
00003af0: PUSH1 0x03
00003af2: SLOAD
00003af3: TIMESTAMP
00003af4: GT
00003af5: ISZERO
00003af6: JUMPDEST
00003af7: SWAP1
00003af8: POP
00003af9: SWAP1
00003afa: JUMP
00003afb: JUMPDEST
00003afc: PUSH1 0x00
00003afe: DUP1
00003aff: CALLER
00003b00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b15: AND
00003b16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b2b: AND
00003b2c: DUP2
00003b2d: MSTORE
00003b2e: PUSH1 0x20
00003b30: ADD
00003b31: SWAP1
00003b32: DUP2
00003b33: MSTORE
00003b34: PUSH1 0x20
00003b36: ADD
00003b37: PUSH1 0x00
00003b39: KECCAK256
00003b3a: PUSH1 0x00
00003b3c: SWAP1
00003b3d: SLOAD
00003b3e: SWAP1
00003b3f: PUSH2 0x0100
00003b42: EXP
00003b43: SWAP1
00003b44: DIV
00003b45: PUSH1 0xff
00003b47: AND
00003b48: ISZERO
00003b49: ISZERO
00003b4a: PUSH2 0x3b52
00003b4d: JUMPI
00003b4e: PUSH1 0x00
00003b50: DUP1
00003b51: REVERT
00003b52: JUMPDEST
00003b53: PUSH1 0x02
00003b55: PUSH1 0x00
00003b57: SWAP1
00003b58: SLOAD
00003b59: SWAP1
00003b5a: PUSH2 0x0100
00003b5d: EXP
00003b5e: SWAP1
00003b5f: DIV
00003b60: PUSH1 0xff
00003b62: AND
00003b63: ISZERO
00003b64: ISZERO
00003b65: ISZERO
00003b66: PUSH2 0x3b6e
00003b69: JUMPI
00003b6a: PUSH1 0x00
00003b6c: DUP1
00003b6d: REVERT
00003b6e: JUMPDEST
00003b6f: PUSH1 0x01
00003b71: PUSH1 0x02
00003b73: PUSH1 0x00
00003b75: PUSH2 0x0100
00003b78: EXP
00003b79: DUP2
00003b7a: SLOAD
00003b7b: DUP2
00003b7c: PUSH1 0xff
00003b7e: MUL
00003b7f: NOT
00003b80: AND
00003b81: SWAP1
00003b82: DUP4
00003b83: ISZERO
00003b84: ISZERO
00003b85: MUL
00003b86: OR
00003b87: SWAP1
00003b88: SSTORE
00003b89: POP
00003b8a: JUMP
00003b8b: JUMPDEST
00003b8c: PUSH1 0x11
00003b8e: SLOAD
00003b8f: DUP2
00003b90: JUMP
00003b91: JUMPDEST
00003b92: PUSH1 0x16
00003b94: PUSH1 0x20
00003b96: MSTORE
00003b97: DUP1
00003b98: PUSH1 0x00
00003b9a: MSTORE
00003b9b: PUSH1 0x40
00003b9d: PUSH1 0x00
00003b9f: KECCAK256
00003ba0: PUSH1 0x00
00003ba2: SWAP2
00003ba3: POP
00003ba4: SWAP1
00003ba5: POP
00003ba6: SLOAD
00003ba7: DUP2
00003ba8: JUMP
00003ba9: JUMPDEST
00003baa: PUSH1 0x00
00003bac: PUSH1 0x16
00003bae: PUSH1 0x00
00003bb0: DUP4
00003bb1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003bc6: AND
00003bc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003bdc: AND
00003bdd: DUP2
00003bde: MSTORE
00003bdf: PUSH1 0x20
00003be1: ADD
00003be2: SWAP1
00003be3: DUP2
00003be4: MSTORE
00003be5: PUSH1 0x20
00003be7: ADD
00003be8: PUSH1 0x00
00003bea: KECCAK256
00003beb: SLOAD
00003bec: SWAP1
00003bed: POP
00003bee: SWAP2
00003bef: SWAP1
00003bf0: POP
00003bf1: JUMP
00003bf2: JUMPDEST
00003bf3: PUSH1 0x1d
00003bf5: PUSH1 0x00
00003bf7: SWAP1
00003bf8: SLOAD
00003bf9: SWAP1
00003bfa: PUSH2 0x0100
00003bfd: EXP
00003bfe: SWAP1
00003bff: DIV
00003c00: PUSH1 0xff
00003c02: AND
00003c03: DUP2
00003c04: JUMP
00003c05: JUMPDEST
00003c06: PUSH1 0x15
00003c08: PUSH1 0x20
00003c0a: MSTORE
00003c0b: DUP1
00003c0c: PUSH1 0x00
00003c0e: MSTORE
00003c0f: PUSH1 0x40
00003c11: PUSH1 0x00
00003c13: KECCAK256
00003c14: PUSH1 0x00
00003c16: SWAP2
00003c17: POP
00003c18: SWAP1
00003c19: POP
00003c1a: SLOAD
00003c1b: DUP2
00003c1c: JUMP
00003c1d: JUMPDEST
00003c1e: PUSH1 0x21
00003c20: SLOAD
00003c21: DUP2
00003c22: JUMP
00003c23: JUMPDEST
00003c24: PUSH1 0x1b
00003c26: DUP2
00003c27: DUP2
00003c28: SLOAD
00003c29: DUP2
00003c2a: LT
00003c2b: ISZERO
00003c2c: ISZERO
00003c2d: PUSH2 0x3c32
00003c30: JUMPI
00003c31: INVALID
00003c32: JUMPDEST
00003c33: SWAP1
00003c34: PUSH1 0x00
00003c36: MSTORE
00003c37: PUSH1 0x20
00003c39: PUSH1 0x00
00003c3b: KECCAK256
00003c3c: ADD
00003c3d: PUSH1 0x00
00003c3f: SWAP2
00003c40: POP
00003c41: SLOAD
00003c42: SWAP1
00003c43: PUSH2 0x0100
00003c46: EXP
00003c47: SWAP1
00003c48: DIV
00003c49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c5e: AND
00003c5f: DUP2
00003c60: JUMP
00003c61: JUMPDEST
00003c62: PUSH1 0x00
00003c64: DUP1
00003c65: PUSH1 0x00
00003c67: CALLER
00003c68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c7d: AND
00003c7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c93: AND
00003c94: DUP2
00003c95: MSTORE
00003c96: PUSH1 0x20
00003c98: ADD
00003c99: SWAP1
00003c9a: DUP2
00003c9b: MSTORE
00003c9c: PUSH1 0x20
00003c9e: ADD
00003c9f: PUSH1 0x00
00003ca1: KECCAK256
00003ca2: PUSH1 0x00
00003ca4: SWAP1
00003ca5: SLOAD
00003ca6: SWAP1
00003ca7: PUSH2 0x0100
00003caa: EXP
00003cab: SWAP1
00003cac: DIV
00003cad: PUSH1 0xff
00003caf: AND
00003cb0: ISZERO
00003cb1: ISZERO
00003cb2: PUSH2 0x3cba
00003cb5: JUMPI
00003cb6: PUSH1 0x00
00003cb8: DUP1
00003cb9: REVERT
00003cba: JUMPDEST
00003cbb: DUP2
00003cbc: PUSH1 0x1c
00003cbe: DUP2
00003cbf: SWAP1
00003cc0: SSTORE
00003cc1: POP
00003cc2: PUSH32 0x7e47dc25e4aa57fb38c1282da20ce09b02a0bf7a94194095e00283bfacb38e82
00003ce3: PUSH1 0x1c
00003ce5: SLOAD
00003ce6: TIMESTAMP
00003ce7: PUSH1 0x40
00003ce9: MLOAD
00003cea: DUP1
00003ceb: DUP4
00003cec: DUP2
00003ced: MSTORE
00003cee: PUSH1 0x20
00003cf0: ADD
00003cf1: DUP3
00003cf2: DUP2
00003cf3: MSTORE
00003cf4: PUSH1 0x20
00003cf6: ADD
00003cf7: SWAP3
00003cf8: POP
00003cf9: POP
00003cfa: POP
00003cfb: PUSH1 0x40
00003cfd: MLOAD
00003cfe: DUP1
00003cff: SWAP2
00003d00: SUB
00003d01: SWAP1
00003d02: LOG1
00003d03: PUSH1 0x01
00003d05: SWAP1
00003d06: POP
00003d07: SWAP2
00003d08: SWAP1
00003d09: POP
00003d0a: JUMP
00003d0b: JUMPDEST
00003d0c: PUSH1 0x00
00003d0e: PUSH1 0x1d
00003d10: PUSH1 0x00
00003d12: SWAP1
00003d13: SLOAD
00003d14: SWAP1
00003d15: PUSH2 0x0100
00003d18: EXP
00003d19: SWAP1
00003d1a: DIV
00003d1b: PUSH1 0xff
00003d1d: AND
00003d1e: SWAP1
00003d1f: POP
00003d20: SWAP1
00003d21: JUMP
00003d22: JUMPDEST
00003d23: PUSH1 0x04
00003d25: SLOAD
00003d26: DUP2
00003d27: JUMP
00003d28: JUMPDEST
00003d29: PUSH1 0x1a
00003d2b: PUSH1 0x20
00003d2d: MSTORE
00003d2e: DUP1
00003d2f: PUSH1 0x00
00003d31: MSTORE
00003d32: PUSH1 0x40
00003d34: PUSH1 0x00
00003d36: KECCAK256
00003d37: PUSH1 0x00
00003d39: SWAP2
00003d3a: POP
00003d3b: SLOAD
00003d3c: SWAP1
00003d3d: PUSH2 0x0100
00003d40: EXP
00003d41: SWAP1
00003d42: DIV
00003d43: PUSH1 0xff
00003d45: AND
00003d46: DUP2
00003d47: JUMP
00003d48: JUMPDEST
00003d49: PUSH1 0x00
00003d4b: TIMESTAMP
00003d4c: SWAP1
00003d4d: POP
00003d4e: SWAP1
00003d4f: JUMP
00003d50: JUMPDEST
00003d51: PUSH1 0x1e
00003d53: PUSH1 0x20
00003d55: MSTORE
00003d56: DUP1
00003d57: PUSH1 0x00
00003d59: MSTORE
00003d5a: PUSH1 0x40
00003d5c: PUSH1 0x00
00003d5e: KECCAK256
00003d5f: PUSH1 0x00
00003d61: SWAP2
00003d62: POP
00003d63: SLOAD
00003d64: SWAP1
00003d65: PUSH2 0x0100
00003d68: EXP
00003d69: SWAP1
00003d6a: DIV
00003d6b: PUSH1 0xff
00003d6d: AND
00003d6e: DUP2
00003d6f: JUMP
00003d70: JUMPDEST
00003d71: PUSH1 0x13
00003d73: PUSH1 0x20
00003d75: MSTORE
00003d76: DUP1
00003d77: PUSH1 0x00
00003d79: MSTORE
00003d7a: PUSH1 0x40
00003d7c: PUSH1 0x00
00003d7e: KECCAK256
00003d7f: PUSH1 0x00
00003d81: SWAP2
00003d82: POP
00003d83: SWAP1
00003d84: POP
00003d85: SLOAD
00003d86: DUP2
00003d87: JUMP
00003d88: JUMPDEST
00003d89: PUSH1 0x00
00003d8b: PUSH1 0x14
00003d8d: PUSH1 0x00
00003d8f: DUP4
00003d90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003da5: AND
00003da6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003dbb: AND
00003dbc: DUP2
00003dbd: MSTORE
00003dbe: PUSH1 0x20
00003dc0: ADD
00003dc1: SWAP1
00003dc2: DUP2
00003dc3: MSTORE
00003dc4: PUSH1 0x20
00003dc6: ADD
00003dc7: PUSH1 0x00
00003dc9: KECCAK256
00003dca: SLOAD
00003dcb: SWAP1
00003dcc: POP
00003dcd: SWAP2
00003dce: SWAP1
00003dcf: POP
00003dd0: JUMP
00003dd1: JUMPDEST
00003dd2: PUSH1 0x00
00003dd4: PUSH1 0x19
00003dd6: PUSH1 0x00
00003dd8: DUP4
00003dd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003dee: AND
00003def: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003e04: AND
00003e05: DUP2
00003e06: MSTORE
00003e07: PUSH1 0x20
00003e09: ADD
00003e0a: SWAP1
00003e0b: DUP2
00003e0c: MSTORE
00003e0d: PUSH1 0x20
00003e0f: ADD
00003e10: PUSH1 0x00
00003e12: KECCAK256
00003e13: PUSH1 0x00
00003e15: SWAP1
00003e16: SLOAD
00003e17: SWAP1
00003e18: PUSH2 0x0100
00003e1b: EXP
00003e1c: SWAP1
00003e1d: DIV
00003e1e: PUSH1 0xff
00003e20: AND
00003e21: SWAP1
00003e22: POP
00003e23: SWAP2
00003e24: SWAP1
00003e25: POP
00003e26: JUMP
00003e27: JUMPDEST
00003e28: PUSH1 0x0d
00003e2a: SLOAD
00003e2b: DUP2
00003e2c: JUMP
00003e2d: JUMPDEST
00003e2e: PUSH1 0x0c
00003e30: SLOAD
00003e31: DUP2
00003e32: JUMP
00003e33: JUMPDEST
00003e34: PUSH1 0x06
00003e36: SLOAD
00003e37: DUP2
00003e38: JUMP
00003e39: JUMPDEST
00003e3a: PUSH1 0x0a
00003e3c: SLOAD
00003e3d: DUP2
00003e3e: JUMP
00003e3f: JUMPDEST
00003e40: PUSH1 0x12
00003e42: SLOAD
00003e43: DUP2
00003e44: JUMP
00003e45: JUMPDEST
00003e46: PUSH1 0x0b
00003e48: SLOAD
00003e49: DUP2
00003e4a: JUMP
00003e4b: JUMPDEST
00003e4c: PUSH1 0x1c
00003e4e: SLOAD
00003e4f: DUP2
00003e50: JUMP
00003e51: JUMPDEST
00003e52: PUSH1 0x09
00003e54: SLOAD
00003e55: DUP2
00003e56: JUMP
00003e57: JUMPDEST
00003e58: PUSH1 0x00
00003e5a: PUSH2 0x3e61
00003e5d: PUSH2 0x3d0b
00003e60: JUMP
00003e61: JUMPDEST
00003e62: ISZERO
00003e63: ISZERO
00003e64: PUSH2 0x3ed5
00003e67: JUMPI
00003e68: PUSH1 0x40
00003e6a: MLOAD
00003e6b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003e8c: DUP2
00003e8d: MSTORE
00003e8e: PUSH1 0x04
00003e90: ADD
00003e91: DUP1
00003e92: DUP1
00003e93: PUSH1 0x20
00003e95: ADD
00003e96: DUP3
00003e97: DUP2
00003e98: SUB
00003e99: DUP3
00003e9a: MSTORE
00003e9b: PUSH1 0x15
00003e9d: DUP2
00003e9e: MSTORE
00003e9f: PUSH1 0x20
00003ea1: ADD
00003ea2: DUP1
00003ea3: PUSH32 0x4e6f20657320706f7369626c6520726574697261720000000000000000000000
00003ec4: DUP2
00003ec5: MSTORE
00003ec6: POP
00003ec7: PUSH1 0x20
00003ec9: ADD
00003eca: SWAP2
00003ecb: POP
00003ecc: POP
00003ecd: PUSH1 0x40
00003ecf: MLOAD
00003ed0: DUP1
00003ed1: SWAP2
00003ed2: SUB
00003ed3: SWAP1
00003ed4: REVERT
00003ed5: JUMPDEST
00003ed6: PUSH1 0x02
00003ed8: PUSH1 0x01
00003eda: SWAP1
00003edb: SLOAD
00003edc: SWAP1
00003edd: PUSH2 0x0100
00003ee0: EXP
00003ee1: SWAP1
00003ee2: DIV
00003ee3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ef8: AND
00003ef9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f0e: AND
00003f0f: CALLER
00003f10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003f25: AND
00003f26: EQ
00003f27: ISZERO
00003f28: ISZERO
00003f29: PUSH2 0x3fc0
00003f2c: JUMPI
00003f2d: PUSH1 0x40
00003f2f: MLOAD
00003f30: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003f51: DUP2
00003f52: MSTORE
00003f53: PUSH1 0x04
00003f55: ADD
00003f56: DUP1
00003f57: DUP1
00003f58: PUSH1 0x20
00003f5a: ADD
00003f5b: DUP3
00003f5c: DUP2
00003f5d: SUB
00003f5e: DUP3
00003f5f: MSTORE
00003f60: PUSH1 0x30
00003f62: DUP2
00003f63: MSTORE
00003f64: PUSH1 0x20
00003f66: ADD
00003f67: DUP1
00003f68: PUSH32 0x53c3b36c6f20707565646520736f6c69636974617220656c2062656e65666963
00003f89: DUP2
00003f8a: MSTORE
00003f8b: PUSH1 0x20
00003f8d: ADD
00003f8e: PUSH32 0x696172696f206c6f7320666f6e646f7300000000000000000000000000000000
00003faf: DUP2
00003fb0: MSTORE
00003fb1: POP
00003fb2: PUSH1 0x40
00003fb4: ADD
00003fb5: SWAP2
00003fb6: POP
00003fb7: POP
00003fb8: PUSH1 0x40
00003fba: MLOAD
00003fbb: DUP1
00003fbc: SWAP2
00003fbd: SUB
00003fbe: SWAP1
00003fbf: REVERT
00003fc0: JUMPDEST
00003fc1: PUSH1 0x00
00003fc3: PUSH1 0x04
00003fc5: SLOAD
00003fc6: GT
00003fc7: ISZERO
00003fc8: ISZERO
00003fc9: PUSH2 0x403a
00003fcc: JUMPI
00003fcd: PUSH1 0x40
00003fcf: MLOAD
00003fd0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003ff1: DUP2
00003ff2: MSTORE
00003ff3: PUSH1 0x04
00003ff5: ADD
00003ff6: DUP1
00003ff7: DUP1
00003ff8: PUSH1 0x20
00003ffa: ADD
00003ffb: DUP3
00003ffc: DUP2
00003ffd: SUB
00003ffe: DUP3
00003fff: MSTORE
00004000: PUSH1 0x0a
00004002: DUP2
00004003: MSTORE
00004004: PUSH1 0x20
00004006: ADD
00004007: DUP1
00004008: PUSH32 0x53696e20666f6e646f7300000000000000000000000000000000000000000000
00004029: DUP2
0000402a: MSTORE
0000402b: POP
0000402c: PUSH1 0x20
0000402e: ADD
0000402f: SWAP2
00004030: POP
00004031: POP
00004032: PUSH1 0x40
00004034: MLOAD
00004035: DUP1
00004036: SWAP2
00004037: SUB
00004038: SWAP1
00004039: REVERT
0000403a: JUMPDEST
0000403b: DUP2
0000403c: PUSH1 0x04
0000403e: SLOAD
0000403f: LT
00004040: ISZERO
00004041: ISZERO
00004042: ISZERO
00004043: PUSH2 0x40b4
00004046: JUMPI
00004047: PUSH1 0x40
00004049: MLOAD
0000404a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000406b: DUP2
0000406c: MSTORE
0000406d: PUSH1 0x04
0000406f: ADD
00004070: DUP1
00004071: DUP1
00004072: PUSH1 0x20
00004074: ADD
00004075: DUP3
00004076: DUP2
00004077: SUB
00004078: DUP3
00004079: MSTORE
0000407a: PUSH1 0x19
0000407c: DUP2
0000407d: MSTORE
0000407e: PUSH1 0x20
00004080: ADD
00004081: DUP1
00004082: PUSH32 0x4e6f2068617920737566696369656e74657320666f6e646f7300000000000000
000040a3: DUP2
000040a4: MSTORE
000040a5: POP
000040a6: PUSH1 0x20
000040a8: ADD
000040a9: SWAP2
000040aa: POP
000040ab: POP
000040ac: PUSH1 0x40
000040ae: MLOAD
000040af: DUP1
000040b0: SWAP2
000040b1: SUB
000040b2: SWAP1
000040b3: REVERT
000040b4: JUMPDEST
000040b5: DUP3
000040b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000040cb: AND
000040cc: DUP3
000040cd: PUSH1 0x01
000040cf: SWAP1
000040d0: PUSH1 0x40
000040d2: MLOAD
000040d3: PUSH1 0x00
000040d5: PUSH1 0x40
000040d7: MLOAD
000040d8: DUP1
000040d9: DUP4
000040da: SUB
000040db: DUP2
000040dc: DUP6
000040dd: DUP9
000040de: DUP9
000040df: CALL
000040e0: SWAP4
000040e1: POP
000040e2: POP
000040e3: POP
000040e4: POP
000040e5: ISZERO
000040e6: ISZERO
000040e7: PUSH2 0x4158
000040ea: JUMPI
000040eb: PUSH1 0x40
000040ed: MLOAD
000040ee: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000410f: DUP2
00004110: MSTORE
00004111: PUSH1 0x04
00004113: ADD
00004114: DUP1
00004115: DUP1
00004116: PUSH1 0x20
00004118: ADD
00004119: DUP3
0000411a: DUP2
0000411b: SUB
0000411c: DUP3
0000411d: MSTORE
0000411e: PUSH1 0x0c
00004120: DUP2
00004121: MSTORE
00004122: PUSH1 0x20
00004124: ADD
00004125: DUP1
00004126: PUSH32 0x4e6f207365207175652065730000000000000000000000000000000000000000
00004147: DUP2
00004148: MSTORE
00004149: POP
0000414a: PUSH1 0x20
0000414c: ADD
0000414d: SWAP2
0000414e: POP
0000414f: POP
00004150: PUSH1 0x40
00004152: MLOAD
00004153: DUP1
00004154: SWAP2
00004155: SUB
00004156: SWAP1
00004157: REVERT
00004158: JUMPDEST
00004159: PUSH2 0x416d
0000415c: DUP3
0000415d: PUSH1 0x04
0000415f: SLOAD
00004160: PUSH2 0x456d
00004163: SWAP1
00004164: SWAP2
00004165: SWAP1
00004166: PUSH4 0xffffffff
0000416b: AND
0000416c: JUMP
0000416d: JUMPDEST
0000416e: PUSH1 0x04
00004170: DUP2
00004171: SWAP1
00004172: SSTORE
00004173: POP
00004174: PUSH32 0xe3f91f3a65f93ea80405dcfe6b50885ba312f836c97da89b6b56ecb6ab9d1f4c
00004195: CALLER
00004196: DUP5
00004197: DUP5
00004198: TIMESTAMP
00004199: PUSH1 0x40
0000419b: MLOAD
0000419c: DUP1
0000419d: DUP6
0000419e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000041b3: AND
000041b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000041c9: AND
000041ca: DUP2
000041cb: MSTORE
000041cc: PUSH1 0x20
000041ce: ADD
000041cf: DUP5
000041d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000041e5: AND
000041e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000041fb: AND
000041fc: DUP2
000041fd: MSTORE
000041fe: PUSH1 0x20
00004200: ADD
00004201: DUP4
00004202: DUP2
00004203: MSTORE
00004204: PUSH1 0x20
00004206: ADD
00004207: DUP3
00004208: DUP2
00004209: MSTORE
0000420a: PUSH1 0x20
0000420c: ADD
0000420d: SWAP5
0000420e: POP
0000420f: POP
00004210: POP
00004211: POP
00004212: POP
00004213: PUSH1 0x40
00004215: MLOAD
00004216: DUP1
00004217: SWAP2
00004218: SUB
00004219: SWAP1
0000421a: LOG1
0000421b: PUSH1 0x04
0000421d: SLOAD
0000421e: SWAP1
0000421f: POP
00004220: SWAP3
00004221: SWAP2
00004222: POP
00004223: POP
00004224: JUMP
00004225: JUMPDEST
00004226: PUSH1 0x1f
00004228: DUP2
00004229: DUP2
0000422a: SLOAD
0000422b: DUP2
0000422c: LT
0000422d: ISZERO
0000422e: ISZERO
0000422f: PUSH2 0x4234
00004232: JUMPI
00004233: INVALID
00004234: JUMPDEST
00004235: SWAP1
00004236: PUSH1 0x00
00004238: MSTORE
00004239: PUSH1 0x20
0000423b: PUSH1 0x00
0000423d: KECCAK256
0000423e: ADD
0000423f: PUSH1 0x00
00004241: SWAP2
00004242: POP
00004243: SLOAD
00004244: SWAP1
00004245: PUSH2 0x0100
00004248: EXP
00004249: SWAP1
0000424a: DIV
0000424b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004260: AND
00004261: DUP2
00004262: JUMP
00004263: JUMPDEST
00004264: PUSH1 0x08
00004266: PUSH1 0x00
00004268: SWAP1
00004269: SLOAD
0000426a: SWAP1
0000426b: PUSH2 0x0100
0000426e: EXP
0000426f: SWAP1
00004270: DIV
00004271: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004286: AND
00004287: DUP2
00004288: JUMP
00004289: JUMPDEST
0000428a: PUSH1 0x18
0000428c: PUSH1 0x20
0000428e: MSTORE
0000428f: DUP1
00004290: PUSH1 0x00
00004292: MSTORE
00004293: PUSH1 0x40
00004295: PUSH1 0x00
00004297: KECCAK256
00004298: PUSH1 0x00
0000429a: SWAP2
0000429b: POP
0000429c: SLOAD
0000429d: SWAP1
0000429e: PUSH2 0x0100
000042a1: EXP
000042a2: SWAP1
000042a3: DIV
000042a4: PUSH1 0xff
000042a6: AND
000042a7: DUP2
000042a8: JUMP
000042a9: JUMPDEST
000042aa: PUSH1 0x00
000042ac: DUP1
000042ad: PUSH1 0x00
000042af: CALLER
000042b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000042c5: AND
000042c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000042db: AND
000042dc: DUP2
000042dd: MSTORE
000042de: PUSH1 0x20
000042e0: ADD
000042e1: SWAP1
000042e2: DUP2
000042e3: MSTORE
000042e4: PUSH1 0x20
000042e6: ADD
000042e7: PUSH1 0x00
000042e9: KECCAK256
000042ea: PUSH1 0x00
000042ec: SWAP1
000042ed: SLOAD
000042ee: SWAP1
000042ef: PUSH2 0x0100
000042f2: EXP
000042f3: SWAP1
000042f4: DIV
000042f5: PUSH1 0xff
000042f7: AND
000042f8: ISZERO
000042f9: ISZERO
000042fa: PUSH2 0x4302
000042fd: JUMPI
000042fe: PUSH1 0x00
00004300: DUP1
00004301: REVERT
00004302: JUMPDEST
00004303: PUSH1 0x01
00004305: PUSH1 0x1e
00004307: PUSH1 0x00
00004309: DUP6
0000430a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000431f: AND
00004320: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004335: AND
00004336: DUP2
00004337: MSTORE
00004338: PUSH1 0x20
0000433a: ADD
0000433b: SWAP1
0000433c: DUP2
0000433d: MSTORE
0000433e: PUSH1 0x20
00004340: ADD
00004341: PUSH1 0x00
00004343: KECCAK256
00004344: PUSH1 0x00
00004346: PUSH2 0x0100
00004349: EXP
0000434a: DUP2
0000434b: SLOAD
0000434c: DUP2
0000434d: PUSH1 0xff
0000434f: MUL
00004350: NOT
00004351: AND
00004352: SWAP1
00004353: DUP4
00004354: ISZERO
00004355: ISZERO
00004356: MUL
00004357: OR
00004358: SWAP1
00004359: SSTORE
0000435a: POP
0000435b: PUSH1 0x1f
0000435d: DUP4
0000435e: SWAP1
0000435f: DUP1
00004360: PUSH1 0x01
00004362: DUP2
00004363: SLOAD
00004364: ADD
00004365: DUP1
00004366: DUP3
00004367: SSTORE
00004368: DUP1
00004369: SWAP2
0000436a: POP
0000436b: POP
0000436c: SWAP1
0000436d: PUSH1 0x01
0000436f: DUP3
00004370: SUB
00004371: SWAP1
00004372: PUSH1 0x00
00004374: MSTORE
00004375: PUSH1 0x20
00004377: PUSH1 0x00
00004379: KECCAK256
0000437a: ADD
0000437b: PUSH1 0x00
0000437d: SWAP1
0000437e: SWAP2
0000437f: SWAP3
00004380: SWAP1
00004381: SWAP2
00004382: SWAP1
00004383: SWAP2
00004384: PUSH2 0x0100
00004387: EXP
00004388: DUP2
00004389: SLOAD
0000438a: DUP2
0000438b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000043a0: MUL
000043a1: NOT
000043a2: AND
000043a3: SWAP1
000043a4: DUP4
000043a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000043ba: AND
000043bb: MUL
000043bc: OR
000043bd: SWAP1
000043be: SSTORE
000043bf: POP
000043c0: POP
000043c1: DUP2
000043c2: PUSH1 0x20
000043c4: PUSH1 0x00
000043c6: DUP6
000043c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000043dc: AND
000043dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000043f2: AND
000043f3: DUP2
000043f4: MSTORE
000043f5: PUSH1 0x20
000043f7: ADD
000043f8: SWAP1
000043f9: DUP2
000043fa: MSTORE
000043fb: PUSH1 0x20
000043fd: ADD
000043fe: PUSH1 0x00
00004400: KECCAK256
00004401: PUSH1 0x00
00004403: PUSH2 0x0100
00004406: EXP
00004407: DUP2
00004408: SLOAD
00004409: DUP2
0000440a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000441f: MUL
00004420: NOT
00004421: AND
00004422: SWAP1
00004423: DUP4
00004424: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004439: AND
0000443a: MUL
0000443b: OR
0000443c: SWAP1
0000443d: SSTORE
0000443e: POP
0000443f: DUP2
00004440: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004455: AND
00004456: DUP4
00004457: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000446c: AND
0000446d: PUSH32 0x356a53776ccd0466a734ac40e86a0a16a3220ee12a171870d5d58d62ea09cee0
0000448e: PUSH1 0x40
00004490: MLOAD
00004491: PUSH1 0x40
00004493: MLOAD
00004494: DUP1
00004495: SWAP2
00004496: SUB
00004497: SWAP1
00004498: LOG3
00004499: PUSH1 0x1e
0000449b: PUSH1 0x00
0000449d: DUP5
0000449e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000044b3: AND
000044b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000044c9: AND
000044ca: DUP2
000044cb: MSTORE
000044cc: PUSH1 0x20
000044ce: ADD
000044cf: SWAP1
000044d0: DUP2
000044d1: MSTORE
000044d2: PUSH1 0x20
000044d4: ADD
000044d5: PUSH1 0x00
000044d7: KECCAK256
000044d8: PUSH1 0x00
000044da: SWAP1
000044db: SLOAD
000044dc: SWAP1
000044dd: PUSH2 0x0100
000044e0: EXP
000044e1: SWAP1
000044e2: DIV
000044e3: PUSH1 0xff
000044e5: AND
000044e6: SWAP1
000044e7: POP
000044e8: SWAP3
000044e9: SWAP2
000044ea: POP
000044eb: POP
000044ec: JUMP
000044ed: JUMPDEST
000044ee: PUSH1 0x20
000044f0: DUP1
000044f1: MSTORE
000044f2: DUP1
000044f3: PUSH1 0x00
000044f5: MSTORE
000044f6: PUSH1 0x40
000044f8: PUSH1 0x00
000044fa: KECCAK256
000044fb: PUSH1 0x00
000044fd: SWAP2
000044fe: POP
000044ff: SLOAD
00004500: SWAP1
00004501: PUSH2 0x0100
00004504: EXP
00004505: SWAP1
00004506: DIV
00004507: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000451c: AND
0000451d: DUP2
0000451e: JUMP
0000451f: JUMPDEST
00004520: PUSH1 0x00
00004522: DUP1
00004523: DUP3
00004524: DUP5
00004525: MUL
00004526: SWAP1
00004527: POP
00004528: PUSH1 0x00
0000452a: DUP5
0000452b: EQ
0000452c: DUP1
0000452d: PUSH2 0x4540
00004530: JUMPI
00004531: POP
00004532: DUP3
00004533: DUP5
00004534: DUP3
00004535: DUP2
00004536: ISZERO
00004537: ISZERO
00004538: PUSH2 0x453d
0000453b: JUMPI
0000453c: INVALID
0000453d: JUMPDEST
0000453e: DIV
0000453f: EQ
00004540: JUMPDEST
00004541: ISZERO
00004542: ISZERO
00004543: PUSH2 0x4548
00004546: JUMPI
00004547: INVALID
00004548: JUMPDEST
00004549: DUP1
0000454a: SWAP2
0000454b: POP
0000454c: POP
0000454d: SWAP3
0000454e: SWAP2
0000454f: POP
00004550: POP
00004551: JUMP
00004552: JUMPDEST
00004553: PUSH1 0x00
00004555: DUP1
00004556: DUP3
00004557: DUP5
00004558: DUP2
00004559: ISZERO
0000455a: ISZERO
0000455b: PUSH2 0x4560
0000455e: JUMPI
0000455f: INVALID
00004560: JUMPDEST
00004561: DIV
00004562: SWAP1
00004563: POP
00004564: DUP1
00004565: SWAP2
00004566: POP
00004567: POP
00004568: SWAP3
00004569: SWAP2
0000456a: POP
0000456b: POP
0000456c: JUMP
0000456d: JUMPDEST
0000456e: PUSH1 0x00
00004570: DUP3
00004571: DUP3
00004572: GT
00004573: ISZERO
00004574: ISZERO
00004575: ISZERO
00004576: PUSH2 0x457b
00004579: JUMPI
0000457a: INVALID
0000457b: JUMPDEST
0000457c: DUP2
0000457d: DUP4
0000457e: SUB
0000457f: SWAP1
00004580: POP
00004581: SWAP3
00004582: SWAP2
00004583: POP
00004584: POP
00004585: JUMP
00004586: STOP
00004587: LOG1
00004588: PUSH6 0x627a7a723058
0000458f: KECCAK256
00004590: PUSH31 0xe61b1748c4e3bf29a9887de754e2126d96628721481e5f32d74a6c14025f5e
000045b0: STOP
000045b1: UNKNOWN(0x29)

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xd572469c138bc76c95c682229e4a6e35b2fb4916530550726a05556a6bcfb52f
call_targets: 0xe3c8ff66d14341a35bcf6302047b92c6bc49824d
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd572469c138bc76c95c682229e4a6e35b2fb4916530550726a05556a6bcfb52f",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe3c8ff66d14341a35bcf6302047b92c6bc49824d"
    ],
    "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": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x046f7da2",
            "selector": "0x046f7da2",
            "calldata_variants": [
                "0x046f7da2",
                "0x046f7da20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x09648181",
            "selector": "0x09648181",
            "calldata_variants": [
                "0x09648181",
                "0x096481810000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0fea81fe",
            "selector": "0x0fea81fe",
            "calldata_variants": [
                "0x0fea81fe",
                "0x0fea81fe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x115f2f2f",
            "selector": "0x115f2f2f",
            "calldata_variants": [
                "0x115f2f2f",
                "0x115f2f2f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x173825d9",
            "selector": "0x173825d9",
            "calldata_variants": [
                "0x173825d9",
                "0x173825d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1af5dd41",
            "selector": "0x1af5dd41",
            "calldata_variants": [
                "0x1af5dd41",
                "0x1af5dd410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1fa096e6",
            "selector": "0x1fa096e6",
            "calldata_variants": [
                "0x1fa096e6",
                "0x1fa096e60000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1734,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2115,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9182,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 8,
    "guards_detected": [
        {
            "pc": 16143,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 8
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xd572469c138bc76c95c682229e4a6e35b2fb4916530550726a05556a6bcfb52f
call_targets: 0xe3c8ff66d14341a35bcf6302047b92c6bc49824d
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd572469c138bc76c95c682229e4a6e35b2fb4916530550726a05556a6bcfb52f",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe3c8ff66d14341a35bcf6302047b92c6bc49824d"
    ],
    "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": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x046f7da2",
            "selector": "0x046f7da2",
            "calldata_variants": [
                "0x046f7da2",
                "0x046f7da20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x09648181",
            "selector": "0x09648181",
            "calldata_variants": [
                "0x09648181",
                "0x096481810000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0fea81fe",
            "selector": "0x0fea81fe",
            "calldata_variants": [
                "0x0fea81fe",
                "0x0fea81fe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x115f2f2f",
            "selector": "0x115f2f2f",
            "calldata_variants": [
                "0x115f2f2f",
                "0x115f2f2f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x173825d9",
            "selector": "0x173825d9",
            "calldata_variants": [
                "0x173825d9",
                "0x173825d90000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1af5dd41",
            "selector": "0x1af5dd41",
            "calldata_variants": [
                "0x1af5dd41",
                "0x1af5dd410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1fa096e6",
            "selector": "0x1fa096e6",
            "calldata_variants": [
                "0x1fa096e6",
                "0x1fa096e60000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1734,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2115,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9182,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 8,
    "guards_detected": [
        {
            "pc": 16143,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}