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

Analysis Run

019b477e-d475-708d-9cf7-e95b3dc19043

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
28347 artifact.fetch complete 1 / 3 4 months ago
28348 tool.cast_disasm complete 1 / 3 4 months ago
71444 analysis.bundle complete 1 / 3 2 weeks ago
71445 capability.graph complete 1 / 3 2 weeks ago
71446 detector.run complete 1 / 3 2 weeks ago
71447 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
8337
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: ISZERO
0000000a: PUSH2 0x001b
0000000d: JUMPI
0000000e: JUMPDEST
0000000f: CALLDATASIZE
00000010: ISZERO
00000011: PUSH2 0x0019
00000014: JUMPI
00000015: PUSH1 0x00
00000017: DUP1
00000018: REVERT
00000019: JUMPDEST
0000001a: STOP
0000001b: JUMPDEST
0000001c: PUSH1 0x00
0000001e: CALLDATALOAD
0000001f: PUSH1 0xe0
00000021: SHR
00000022: DUP1
00000023: PUSH3 0x1d3567
00000027: EQ
00000028: PUSH2 0x0400
0000002b: JUMPI
0000002c: DUP1
0000002d: PUSH4 0x01ffc9a7
00000032: EQ
00000033: PUSH2 0x03fb
00000036: JUMPI
00000037: DUP1
00000038: PUSH4 0x03fd2a45
0000003d: EQ
0000003e: PUSH2 0x03f6
00000041: JUMPI
00000042: DUP1
00000043: PUSH4 0x069d955f
00000048: EQ
00000049: PUSH2 0x03f1
0000004c: JUMPI
0000004d: DUP1
0000004e: PUSH4 0x06fdde03
00000053: EQ
00000054: PUSH2 0x03ec
00000057: JUMPI
00000058: DUP1
00000059: PUSH4 0x07e0db17
0000005e: EQ
0000005f: PUSH2 0x03e7
00000062: JUMPI
00000063: DUP1
00000064: PUSH4 0x095ea7b3
00000069: EQ
0000006a: PUSH2 0x03e2
0000006d: JUMPI
0000006e: DUP1
0000006f: PUSH4 0x0df37483
00000074: EQ
00000075: PUSH2 0x03dd
00000078: JUMPI
00000079: DUP1
0000007a: PUSH4 0x10ddb137
0000007f: EQ
00000080: PUSH2 0x03d8
00000083: JUMPI
00000084: DUP1
00000085: PUSH4 0x18160ddd
0000008a: EQ
0000008b: PUSH2 0x03d3
0000008e: JUMPI
0000008f: DUP1
00000090: PUSH4 0x23b872dd
00000095: EQ
00000096: PUSH2 0x03ce
00000099: JUMPI
0000009a: DUP1
0000009b: PUSH4 0x2a205e3d
000000a0: EQ
000000a1: PUSH2 0x03c9
000000a4: JUMPI
000000a5: DUP1
000000a6: PUSH4 0x2b28fc7a
000000ab: EQ
000000ac: PUSH2 0x031f
000000af: JUMPI
000000b0: DUP1
000000b1: PUSH4 0x2b7f29fa
000000b6: EQ
000000b7: PUSH2 0x03c4
000000ba: JUMPI
000000bb: DUP1
000000bc: PUSH4 0x313ce567
000000c1: EQ
000000c2: PUSH2 0x03bf
000000c5: JUMPI
000000c6: DUP1
000000c7: PUSH4 0x39509351
000000cc: EQ
000000cd: PUSH2 0x03ba
000000d0: JUMPI
000000d1: DUP1
000000d2: PUSH4 0x3d8b38f6
000000d7: EQ
000000d8: PUSH2 0x03b5
000000db: JUMPI
000000dc: DUP1
000000dd: PUSH4 0x3f0fb380
000000e2: EQ
000000e3: PUSH2 0x03b0
000000e6: JUMPI
000000e7: DUP1
000000e8: PUSH4 0x3f1f4fa4
000000ed: EQ
000000ee: PUSH2 0x03ab
000000f1: JUMPI
000000f2: DUP1
000000f3: PUSH4 0x42d65a8d
000000f8: EQ
000000f9: PUSH2 0x03a6
000000fc: JUMPI
000000fd: DUP1
000000fe: PUSH4 0x43cc8c2a
00000103: EQ
00000104: PUSH2 0x03a1
00000107: JUMPI
00000108: DUP1
00000109: PUSH4 0x44770515
0000010e: EQ
0000010f: PUSH2 0x039c
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0x4c42899a
00000119: EQ
0000011a: PUSH2 0x039c
0000011d: JUMPI
0000011e: DUP1
0000011f: PUSH4 0x4e221c27
00000124: EQ
00000125: PUSH2 0x0397
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0x51905636
0000012f: EQ
00000130: PUSH2 0x0392
00000133: JUMPI
00000134: DUP1
00000135: PUSH4 0x5b8c41e6
0000013a: EQ
0000013b: PUSH2 0x038d
0000013e: JUMPI
0000013f: DUP1
00000140: PUSH4 0x5f8553e7
00000145: EQ
00000146: PUSH2 0x0388
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x66ad5c8a
00000150: EQ
00000151: PUSH2 0x0383
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x6db41ce9
0000015b: EQ
0000015c: PUSH2 0x037e
0000015f: JUMPI
00000160: DUP1
00000161: PUSH4 0x70528514
00000166: EQ
00000167: PUSH2 0x0379
0000016a: JUMPI
0000016b: DUP1
0000016c: PUSH4 0x70a08231
00000171: EQ
00000172: PUSH2 0x0374
00000175: JUMPI
00000176: DUP1
00000177: PUSH4 0x715018a6
0000017c: EQ
0000017d: PUSH2 0x036f
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x7533d788
00000187: EQ
00000188: PUSH2 0x036a
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x800cee51
00000192: EQ
00000193: PUSH2 0x0365
00000196: JUMPI
00000197: DUP1
00000198: PUSH4 0x80c581d1
0000019d: EQ
0000019e: PUSH2 0x0360
000001a1: JUMPI
000001a2: DUP1
000001a3: PUSH4 0x8cfd8f5c
000001a8: EQ
000001a9: PUSH2 0x035b
000001ac: JUMPI
000001ad: DUP1
000001ae: PUSH4 0x8da5cb5b
000001b3: EQ
000001b4: PUSH2 0x0356
000001b7: JUMPI
000001b8: DUP1
000001b9: PUSH4 0x9358928b
000001be: EQ
000001bf: PUSH2 0x0351
000001c2: JUMPI
000001c3: DUP1
000001c4: PUSH4 0x950c8a74
000001c9: EQ
000001ca: PUSH2 0x034c
000001cd: JUMPI
000001ce: DUP1
000001cf: PUSH4 0x958f9735
000001d4: EQ
000001d5: PUSH2 0x0347
000001d8: JUMPI
000001d9: DUP1
000001da: PUSH4 0x95d89b41
000001df: EQ
000001e0: PUSH2 0x0342
000001e3: JUMPI
000001e4: DUP1
000001e5: PUSH4 0x9e7bd525
000001ea: EQ
000001eb: PUSH2 0x033d
000001ee: JUMPI
000001ef: DUP1
000001f0: PUSH4 0x9f38369a
000001f5: EQ
000001f6: PUSH2 0x0338
000001f9: JUMPI
000001fa: DUP1
000001fb: PUSH4 0xa457c2d7
00000200: EQ
00000201: PUSH2 0x0333
00000204: JUMPI
00000205: DUP1
00000206: PUSH4 0xa6c3d165
0000020b: EQ
0000020c: PUSH2 0x032e
0000020f: JUMPI
00000210: DUP1
00000211: PUSH4 0xa9059cbb
00000216: EQ
00000217: PUSH2 0x0329
0000021a: JUMPI
0000021b: DUP1
0000021c: PUSH4 0xb353aaa7
00000221: EQ
00000222: PUSH2 0x0324
00000225: JUMPI
00000226: DUP1
00000227: PUSH4 0xb3d514fb
0000022c: EQ
0000022d: PUSH2 0x031f
00000230: JUMPI
00000231: DUP1
00000232: PUSH4 0xbaf3292d
00000237: EQ
00000238: PUSH2 0x031a
0000023b: JUMPI
0000023c: DUP1
0000023d: PUSH4 0xc4461834
00000242: EQ
00000243: PUSH2 0x0315
00000246: JUMPI
00000247: DUP1
00000248: PUSH4 0xc95d83ee
0000024d: EQ
0000024e: PUSH2 0x0310
00000251: JUMPI
00000252: DUP1
00000253: PUSH4 0xcbed8b9c
00000258: EQ
00000259: PUSH2 0x030b
0000025c: JUMPI
0000025d: DUP1
0000025e: PUSH4 0xd1deba1f
00000263: EQ
00000264: PUSH2 0x0306
00000267: JUMPI
00000268: DUP1
00000269: PUSH4 0xd49d5181
0000026e: EQ
0000026f: PUSH2 0x0301
00000272: JUMPI
00000273: DUP1
00000274: PUSH4 0xdd62ed3e
00000279: EQ
0000027a: PUSH2 0x02fc
0000027d: JUMPI
0000027e: DUP1
0000027f: PUSH4 0xdf2a5b3b
00000284: EQ
00000285: PUSH2 0x02f7
00000288: JUMPI
00000289: DUP1
0000028a: PUSH4 0xe1d5584c
0000028f: EQ
00000290: PUSH2 0x02f2
00000293: JUMPI
00000294: DUP1
00000295: PUSH4 0xeab45d9c
0000029a: EQ
0000029b: PUSH2 0x02ed
0000029e: JUMPI
0000029f: DUP1
000002a0: PUSH4 0xeb8d72b7
000002a5: EQ
000002a6: PUSH2 0x02e8
000002a9: JUMPI
000002aa: DUP1
000002ab: PUSH4 0xed629c5c
000002b0: EQ
000002b1: PUSH2 0x02e3
000002b4: JUMPI
000002b5: DUP1
000002b6: PUSH4 0xf2fde38b
000002bb: EQ
000002bc: PUSH2 0x02de
000002bf: JUMPI
000002c0: DUP1
000002c1: PUSH4 0xf5ecbdbc
000002c6: EQ
000002c7: PUSH2 0x02d9
000002ca: JUMPI
000002cb: PUSH4 0xfc0c546a
000002d0: SUB
000002d1: PUSH2 0x000e
000002d4: JUMPI
000002d5: PUSH2 0x2502
000002d8: JUMP
000002d9: JUMPDEST
000002da: PUSH2 0x242e
000002dd: JUMP
000002de: JUMPDEST
000002df: PUSH2 0x2367
000002e2: JUMP
000002e3: JUMPDEST
000002e4: PUSH2 0x2344
000002e7: JUMP
000002e8: JUMPDEST
000002e9: PUSH2 0x21fa
000002ec: JUMP
000002ed: JUMPDEST
000002ee: PUSH2 0x219c
000002f1: JUMP
000002f2: JUMPDEST
000002f3: PUSH2 0x2141
000002f6: JUMP
000002f7: JUMPDEST
000002f8: PUSH2 0x2054
000002fb: JUMP
000002fc: JUMPDEST
000002fd: PUSH2 0x1ffa
00000300: JUMP
00000301: JUMPDEST
00000302: PUSH2 0x1fda
00000305: JUMP
00000306: JUMPDEST
00000307: PUSH2 0x1ea0
0000030a: JUMP
0000030b: JUMPDEST
0000030c: PUSH2 0x1db4
0000030f: JUMP
00000310: JUMPDEST
00000311: PUSH2 0x1d83
00000314: JUMP
00000315: JUMPDEST
00000316: PUSH2 0x1d66
00000319: JUMP
0000031a: JUMPDEST
0000031b: PUSH2 0x1cf6
0000031e: JUMP
0000031f: JUMPDEST
00000320: PUSH2 0x0a85
00000323: JUMP
00000324: JUMPDEST
00000325: PUSH2 0x1cb1
00000328: JUMP
00000329: JUMPDEST
0000032a: PUSH2 0x1c87
0000032d: JUMP
0000032e: JUMPDEST
0000032f: PUSH2 0x1b04
00000332: JUMP
00000333: JUMPDEST
00000334: PUSH2 0x1a46
00000337: JUMP
00000338: JUMPDEST
00000339: PUSH2 0x19a3
0000033c: JUMP
0000033d: JUMPDEST
0000033e: PUSH2 0x193b
00000341: JUMP
00000342: JUMPDEST
00000343: PUSH2 0x1894
00000346: JUMP
00000347: JUMPDEST
00000348: PUSH2 0x186e
0000034b: JUMP
0000034c: JUMPDEST
0000034d: PUSH2 0x1845
00000350: JUMP
00000351: JUMPDEST
00000352: PUSH2 0x1817
00000355: JUMP
00000356: JUMPDEST
00000357: PUSH2 0x17ee
0000035a: JUMP
0000035b: JUMPDEST
0000035c: PUSH2 0x17ae
0000035f: JUMP
00000360: JUMPDEST
00000361: PUSH2 0x16cf
00000364: JUMP
00000365: JUMPDEST
00000366: PUSH2 0x16a6
00000369: JUMP
0000036a: JUMPDEST
0000036b: PUSH2 0x164f
0000036e: JUMP
0000036f: JUMPDEST
00000370: PUSH2 0x1507
00000373: JUMP
00000374: JUMPDEST
00000375: PUSH2 0x14ca
00000378: JUMP
00000379: JUMPDEST
0000037a: PUSH2 0x1439
0000037d: JUMP
0000037e: JUMPDEST
0000037f: PUSH2 0x13e2
00000382: JUMP
00000383: JUMPDEST
00000384: PUSH2 0x1259
00000387: JUMP
00000388: JUMPDEST
00000389: PUSH2 0x11e9
0000038c: JUMP
0000038d: JUMPDEST
0000038e: PUSH2 0x113d
00000391: JUMP
00000392: JUMPDEST
00000393: PUSH2 0x0deb
00000396: JUMP
00000397: JUMPDEST
00000398: PUSH2 0x0da9
0000039b: JUMP
0000039c: JUMPDEST
0000039d: PUSH2 0x0d8d
000003a0: JUMP
000003a1: JUMPDEST
000003a2: PUSH2 0x0d4b
000003a5: JUMP
000003a6: JUMPDEST
000003a7: PUSH2 0x0cca
000003aa: JUMP
000003ab: JUMPDEST
000003ac: PUSH2 0x0c91
000003af: JUMP
000003b0: JUMPDEST
000003b1: PUSH2 0x0c73
000003b4: JUMP
000003b5: JUMPDEST
000003b6: PUSH2 0x0c17
000003b9: JUMP
000003ba: JUMPDEST
000003bb: PUSH2 0x0b83
000003be: JUMP
000003bf: JUMPDEST
000003c0: PUSH2 0x0b67
000003c3: JUMP
000003c4: JUMPDEST
000003c5: PUSH2 0x0ac7
000003c8: JUMP
000003c9: JUMPDEST
000003ca: PUSH2 0x0a00
000003cd: JUMP
000003ce: JUMPDEST
000003cf: PUSH2 0x09a2
000003d2: JUMP
000003d3: JUMPDEST
000003d4: PUSH2 0x0984
000003d7: JUMP
000003d8: JUMPDEST
000003d9: PUSH2 0x08fa
000003dc: JUMP
000003dd: JUMPDEST
000003de: PUSH2 0x08bb
000003e1: JUMP
000003e2: JUMPDEST
000003e3: PUSH2 0x0886
000003e6: JUMP
000003e7: JUMPDEST
000003e8: PUSH2 0x07d6
000003eb: JUMP
000003ec: JUMPDEST
000003ed: PUSH2 0x06f5
000003f0: JUMP
000003f1: JUMPDEST
000003f2: PUSH2 0x0664
000003f5: JUMP
000003f6: JUMPDEST
000003f7: PUSH2 0x0647
000003fa: JUMP
000003fb: JUMPDEST
000003fc: PUSH2 0x05bc
000003ff: JUMP
00000400: JUMPDEST
00000401: PUSH2 0x04a8
00000404: JUMP
00000405: JUMPDEST
00000406: PUSH2 0xffff
00000409: DUP2
0000040a: AND
0000040b: SUB
0000040c: PUSH2 0x0411
0000040f: JUMPI
00000410: JUMP
00000411: JUMPDEST
00000412: PUSH1 0x00
00000414: DUP1
00000415: REVERT
00000416: JUMPDEST
00000417: SWAP2
00000418: DUP2
00000419: PUSH1 0x1f
0000041b: DUP5
0000041c: ADD
0000041d: SLT
0000041e: ISZERO
0000041f: PUSH2 0x0411
00000422: JUMPI
00000423: DUP3
00000424: CALLDATALOAD
00000425: SWAP2
00000426: PUSH1 0x01
00000428: PUSH1 0x01
0000042a: PUSH1 0x40
0000042c: SHL
0000042d: SUB
0000042e: DUP4
0000042f: GT
00000430: PUSH2 0x0411
00000433: JUMPI
00000434: PUSH1 0x20
00000436: DUP4
00000437: DUP2
00000438: DUP7
00000439: ADD
0000043a: SWAP6
0000043b: ADD
0000043c: ADD
0000043d: GT
0000043e: PUSH2 0x0411
00000441: JUMPI
00000442: JUMP
00000443: JUMPDEST
00000444: SWAP1
00000445: PUSH1 0x80
00000447: PUSH1 0x03
00000449: NOT
0000044a: DUP4
0000044b: ADD
0000044c: SLT
0000044d: PUSH2 0x0411
00000450: JUMPI
00000451: PUSH1 0x04
00000453: CALLDATALOAD
00000454: PUSH2 0x045c
00000457: DUP2
00000458: PUSH2 0x0405
0000045b: JUMP
0000045c: JUMPDEST
0000045d: SWAP2
0000045e: PUSH1 0x01
00000460: PUSH1 0x01
00000462: PUSH1 0x40
00000464: SHL
00000465: SUB
00000466: SWAP1
00000467: PUSH1 0x24
00000469: CALLDATALOAD
0000046a: DUP3
0000046b: DUP2
0000046c: GT
0000046d: PUSH2 0x0411
00000470: JUMPI
00000471: DUP2
00000472: PUSH2 0x047d
00000475: SWAP2
00000476: PUSH1 0x04
00000478: ADD
00000479: PUSH2 0x0416
0000047c: JUMP
0000047d: JUMPDEST
0000047e: SWAP4
0000047f: SWAP1
00000480: SWAP4
00000481: SWAP3
00000482: PUSH1 0x44
00000484: CALLDATALOAD
00000485: DUP2
00000486: DUP2
00000487: AND
00000488: DUP2
00000489: SUB
0000048a: PUSH2 0x0411
0000048d: JUMPI
0000048e: SWAP3
0000048f: PUSH1 0x64
00000491: CALLDATALOAD
00000492: SWAP2
00000493: DUP3
00000494: GT
00000495: PUSH2 0x0411
00000498: JUMPI
00000499: PUSH2 0x04a4
0000049c: SWAP2
0000049d: PUSH1 0x04
0000049f: ADD
000004a0: PUSH2 0x0416
000004a3: JUMP
000004a4: JUMPDEST
000004a5: SWAP1
000004a6: SWAP2
000004a7: JUMP
000004a8: JUMPDEST
000004a9: CALLVALUE
000004aa: PUSH2 0x0411
000004ad: JUMPI
000004ae: PUSH2 0x04b6
000004b1: CALLDATASIZE
000004b2: PUSH2 0x0443
000004b5: JUMP
000004b6: JUMPDEST
000004b7: SWAP3
000004b8: SWAP5
000004b9: SWAP4
000004ba: SWAP2
000004bb: SWAP3
000004bc: SWAP2
000004bd: SWAP1
000004be: PUSH32 0x00000000000000000000000066a71dcef29a0ffbdbe3c6a460a3b5bc225cd675
000004df: PUSH1 0x01
000004e1: PUSH1 0x01
000004e3: PUSH1 0xa0
000004e5: SHL
000004e6: SUB
000004e7: AND
000004e8: CALLER
000004e9: SUB
000004ea: PUSH2 0x0577
000004ed: JUMPI
000004ee: PUSH2 0x053c
000004f1: PUSH2 0x0544
000004f4: SWAP3
000004f5: PUSH2 0x0019
000004f8: SWAP8
000004f9: PUSH2 0x0535
000004fc: PUSH2 0x051b
000004ff: PUSH2 0x0516
00000502: DUP11
00000503: PUSH2 0xffff
00000506: AND
00000507: PUSH1 0x00
00000509: MSTORE
0000050a: PUSH1 0x01
0000050c: PUSH1 0x20
0000050e: MSTORE
0000050f: PUSH1 0x40
00000511: PUSH1 0x00
00000513: KECCAK256
00000514: SWAP1
00000515: JUMP
00000516: JUMPDEST
00000517: PUSH2 0x1632
0000051a: JUMP
0000051b: JUMPDEST
0000051c: DUP1
0000051d: MLOAD
0000051e: SWAP1
0000051f: DUP2
00000520: DUP5
00000521: EQ
00000522: SWAP2
00000523: DUP3
00000524: PUSH2 0x056d
00000527: JUMPI
00000528: JUMPDEST
00000529: POP
0000052a: DUP2
0000052b: PUSH2 0x054a
0000052e: JUMPI
0000052f: JUMPDEST
00000530: POP
00000531: PUSH2 0x2761
00000534: JUMP
00000535: JUMPDEST
00000536: CALLDATASIZE
00000537: SWAP2
00000538: PUSH2 0x10e0
0000053b: JUMP
0000053c: JUMPDEST
0000053d: SWAP3
0000053e: CALLDATASIZE
0000053f: SWAP2
00000540: PUSH2 0x10e0
00000543: JUMP
00000544: JUMPDEST
00000545: SWAP3
00000546: PUSH2 0x29d8
00000549: JUMP
0000054a: JUMPDEST
0000054b: SWAP1
0000054c: POP
0000054d: PUSH2 0x0557
00000550: CALLDATASIZE
00000551: DUP5
00000552: DUP7
00000553: PUSH2 0x10e0
00000556: JUMP
00000557: JUMPDEST
00000558: PUSH1 0x20
0000055a: DUP2
0000055b: MLOAD
0000055c: SWAP2
0000055d: ADD
0000055e: KECCAK256
0000055f: SWAP1
00000560: PUSH1 0x20
00000562: DUP2
00000563: MLOAD
00000564: SWAP2
00000565: ADD
00000566: KECCAK256
00000567: EQ
00000568: CODESIZE
00000569: PUSH2 0x052f
0000056c: JUMP
0000056d: JUMPDEST
0000056e: ISZERO
0000056f: ISZERO
00000570: SWAP2
00000571: POP
00000572: CODESIZE
00000573: PUSH2 0x0528
00000576: JUMP
00000577: JUMPDEST
00000578: PUSH1 0x40
0000057a: MLOAD
0000057b: PUSH3 0x461bcd
0000057f: PUSH1 0xe5
00000581: SHL
00000582: DUP2
00000583: MSTORE
00000584: PUSH1 0x20
00000586: PUSH1 0x04
00000588: DUP3
00000589: ADD
0000058a: MSTORE
0000058b: PUSH1 0x1e
0000058d: PUSH1 0x24
0000058f: DUP3
00000590: ADD
00000591: MSTORE
00000592: PUSH32 0x4c7a4170703a20696e76616c696420656e64706f696e742063616c6c65720000
000005b3: PUSH1 0x44
000005b5: DUP3
000005b6: ADD
000005b7: MSTORE
000005b8: PUSH1 0x64
000005ba: SWAP1
000005bb: REVERT
000005bc: JUMPDEST
000005bd: CALLVALUE
000005be: PUSH2 0x0411
000005c1: JUMPI
000005c2: PUSH1 0x20
000005c4: CALLDATASIZE
000005c5: PUSH1 0x03
000005c7: NOT
000005c8: ADD
000005c9: SLT
000005ca: PUSH2 0x0411
000005cd: JUMPI
000005ce: PUSH1 0x04
000005d0: CALLDATALOAD
000005d1: PUSH4 0xffffffff
000005d6: PUSH1 0xe0
000005d8: SHL
000005d9: DUP2
000005da: AND
000005db: DUP1
000005dc: SWAP2
000005dd: SUB
000005de: PUSH2 0x0411
000005e1: JUMPI
000005e2: DUP1
000005e3: PUSH1 0x20
000005e5: SWAP2
000005e6: ISZERO
000005e7: SWAP1
000005e8: DUP2
000005e9: ISZERO
000005ea: PUSH2 0x062b
000005ed: JUMPI
000005ee: JUMPDEST
000005ef: DUP2
000005f0: ISZERO
000005f1: PUSH2 0x0600
000005f4: JUMPI
000005f5: JUMPDEST
000005f6: POP
000005f7: PUSH1 0x40
000005f9: MLOAD
000005fa: SWAP1
000005fb: ISZERO
000005fc: ISZERO
000005fd: DUP2
000005fe: MSTORE
000005ff: RETURN
00000600: JUMPDEST
00000601: PUSH4 0x0a726775
00000606: PUSH1 0xe1
00000608: SHL
00000609: DUP2
0000060a: EQ
0000060b: SWAP2
0000060c: POP
0000060d: DUP2
0000060e: ISZERO
0000060f: PUSH2 0x061a
00000612: JUMPI
00000613: JUMPDEST
00000614: POP
00000615: CODESIZE
00000616: PUSH2 0x05f5
00000619: JUMP
0000061a: JUMPDEST
0000061b: PUSH4 0x01ffc9a7
00000620: PUSH1 0xe0
00000622: SHL
00000623: EQ
00000624: SWAP1
00000625: POP
00000626: CODESIZE
00000627: PUSH2 0x0613
0000062a: JUMP
0000062b: JUMPDEST
0000062c: PUSH4 0x36372b07
00000631: PUSH1 0xe0
00000633: SHL
00000634: DUP2
00000635: EQ
00000636: SWAP2
00000637: POP
00000638: PUSH2 0x05ee
0000063b: JUMP
0000063c: JUMPDEST
0000063d: PUSH1 0x00
0000063f: SWAP2
00000640: SUB
00000641: SLT
00000642: PUSH2 0x0411
00000645: JUMPI
00000646: JUMP
00000647: JUMPDEST
00000648: CALLVALUE
00000649: PUSH2 0x0411
0000064c: JUMPI
0000064d: PUSH1 0x00
0000064f: CALLDATASIZE
00000650: PUSH1 0x03
00000652: NOT
00000653: ADD
00000654: SLT
00000655: PUSH2 0x0411
00000658: JUMPI
00000659: PUSH1 0x20
0000065b: PUSH1 0x40
0000065d: MLOAD
0000065e: PUSH2 0xdead
00000661: DUP2
00000662: MSTORE
00000663: RETURN
00000664: JUMPDEST
00000665: CALLVALUE
00000666: PUSH2 0x0411
00000669: JUMPI
0000066a: PUSH1 0x00
0000066c: CALLDATASIZE
0000066d: PUSH1 0x03
0000066f: NOT
00000670: ADD
00000671: SLT
00000672: PUSH2 0x0411
00000675: JUMPI
00000676: PUSH1 0x11
00000678: SLOAD
00000679: PUSH1 0x40
0000067b: DUP1
0000067c: MLOAD
0000067d: PUSH2 0xffff
00000680: DUP1
00000681: DUP5
00000682: AND
00000683: DUP3
00000684: MSTORE
00000685: PUSH1 0x10
00000687: SWAP4
00000688: SWAP1
00000689: SWAP4
0000068a: SHR
0000068b: SWAP1
0000068c: SWAP3
0000068d: AND
0000068e: PUSH1 0x20
00000690: DUP4
00000691: ADD
00000692: MSTORE
00000693: SWAP1
00000694: RETURN
00000695: JUMPDEST
00000696: SUB
00000697: SWAP1
00000698: RETURN
00000699: JUMPDEST
0000069a: PUSH1 0x00
0000069c: JUMPDEST
0000069d: DUP4
0000069e: DUP2
0000069f: LT
000006a0: PUSH2 0x06ac
000006a3: JUMPI
000006a4: POP
000006a5: POP
000006a6: PUSH1 0x00
000006a8: SWAP2
000006a9: ADD
000006aa: MSTORE
000006ab: JUMP
000006ac: JUMPDEST
000006ad: DUP2
000006ae: DUP2
000006af: ADD
000006b0: MLOAD
000006b1: DUP4
000006b2: DUP3
000006b3: ADD
000006b4: MSTORE
000006b5: PUSH1 0x20
000006b7: ADD
000006b8: PUSH2 0x069c
000006bb: JUMP
000006bc: JUMPDEST
000006bd: SWAP1
000006be: PUSH1 0x20
000006c0: SWAP2
000006c1: PUSH2 0x06d5
000006c4: DUP2
000006c5: MLOAD
000006c6: DUP1
000006c7: SWAP3
000006c8: DUP2
000006c9: DUP6
000006ca: MSTORE
000006cb: DUP6
000006cc: DUP1
000006cd: DUP7
000006ce: ADD
000006cf: SWAP2
000006d0: ADD
000006d1: PUSH2 0x0699
000006d4: JUMP
000006d5: JUMPDEST
000006d6: PUSH1 0x1f
000006d8: ADD
000006d9: PUSH1 0x1f
000006db: NOT
000006dc: AND
000006dd: ADD
000006de: ADD
000006df: SWAP1
000006e0: JUMP
000006e1: JUMPDEST
000006e2: SWAP1
000006e3: PUSH1 0x20
000006e5: PUSH2 0x06f2
000006e8: SWAP3
000006e9: DUP2
000006ea: DUP2
000006eb: MSTORE
000006ec: ADD
000006ed: SWAP1
000006ee: PUSH2 0x06bc
000006f1: JUMP
000006f2: JUMPDEST
000006f3: SWAP1
000006f4: JUMP
000006f5: JUMPDEST
000006f6: CALLVALUE
000006f7: PUSH2 0x0411
000006fa: JUMPI
000006fb: PUSH1 0x00
000006fd: DUP1
000006fe: PUSH1 0x03
00000700: NOT
00000701: CALLDATASIZE
00000702: ADD
00000703: SLT
00000704: PUSH2 0x07d3
00000707: JUMPI
00000708: PUSH1 0x40
0000070a: MLOAD
0000070b: SWAP1
0000070c: DUP1
0000070d: PUSH1 0x0a
0000070f: SLOAD
00000710: PUSH2 0x0718
00000713: DUP2
00000714: PUSH2 0x1562
00000717: JUMP
00000718: JUMPDEST
00000719: DUP1
0000071a: DUP6
0000071b: MSTORE
0000071c: SWAP2
0000071d: PUSH1 0x01
0000071f: SWAP2
00000720: DUP1
00000721: DUP4
00000722: AND
00000723: SWAP1
00000724: DUP2
00000725: ISZERO
00000726: PUSH2 0x07a9
00000729: JUMPI
0000072a: POP
0000072b: PUSH1 0x01
0000072d: EQ
0000072e: PUSH2 0x074e
00000731: JUMPI
00000732: JUMPDEST
00000733: PUSH2 0x0695
00000736: DUP6
00000737: PUSH2 0x0742
0000073a: DUP2
0000073b: DUP8
0000073c: SUB
0000073d: DUP3
0000073e: PUSH2 0x10a4
00000741: JUMP
00000742: JUMPDEST
00000743: PUSH1 0x40
00000745: MLOAD
00000746: SWAP2
00000747: DUP3
00000748: SWAP2
00000749: DUP3
0000074a: PUSH2 0x06e1
0000074d: JUMP
0000074e: JUMPDEST
0000074f: SWAP3
00000750: POP
00000751: PUSH1 0x0a
00000753: DUP4
00000754: MSTORE
00000755: PUSH32 0xc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a8
00000776: JUMPDEST
00000777: DUP3
00000778: DUP5
00000779: LT
0000077a: PUSH2 0x0791
0000077d: JUMPI
0000077e: POP
0000077f: POP
00000780: POP
00000781: DUP2
00000782: ADD
00000783: PUSH1 0x20
00000785: ADD
00000786: PUSH2 0x0742
00000789: DUP3
0000078a: PUSH2 0x0695
0000078d: PUSH2 0x0732
00000790: JUMP
00000791: JUMPDEST
00000792: DUP1
00000793: SLOAD
00000794: PUSH1 0x20
00000796: DUP6
00000797: DUP8
00000798: ADD
00000799: DUP2
0000079a: ADD
0000079b: SWAP2
0000079c: SWAP1
0000079d: SWAP2
0000079e: MSTORE
0000079f: SWAP1
000007a0: SWAP4
000007a1: ADD
000007a2: SWAP3
000007a3: DUP2
000007a4: ADD
000007a5: PUSH2 0x0776
000007a8: JUMP
000007a9: JUMPDEST
000007aa: DUP7
000007ab: SWAP6
000007ac: POP
000007ad: PUSH2 0x0695
000007b0: SWAP7
000007b1: SWAP4
000007b2: POP
000007b3: PUSH1 0x20
000007b5: SWAP3
000007b6: POP
000007b7: PUSH2 0x0742
000007ba: SWAP5
000007bb: SWAP2
000007bc: POP
000007bd: PUSH1 0xff
000007bf: NOT
000007c0: AND
000007c1: DUP3
000007c2: DUP5
000007c3: ADD
000007c4: MSTORE
000007c5: ISZERO
000007c6: ISZERO
000007c7: PUSH1 0x05
000007c9: SHL
000007ca: DUP3
000007cb: ADD
000007cc: ADD
000007cd: SWAP3
000007ce: SWAP4
000007cf: PUSH2 0x0732
000007d2: JUMP
000007d3: JUMPDEST
000007d4: DUP1
000007d5: REVERT
000007d6: JUMPDEST
000007d7: CALLVALUE
000007d8: PUSH2 0x0411
000007db: JUMPI
000007dc: PUSH1 0x00
000007de: PUSH1 0x20
000007e0: CALLDATASIZE
000007e1: PUSH1 0x03
000007e3: NOT
000007e4: ADD
000007e5: SLT
000007e6: PUSH2 0x07d3
000007e9: JUMPI
000007ea: PUSH1 0x04
000007ec: CALLDATALOAD
000007ed: PUSH2 0x07f5
000007f0: DUP2
000007f1: PUSH2 0x0405
000007f4: JUMP
000007f5: JUMPDEST
000007f6: PUSH2 0x07fd
000007f9: PUSH2 0x251d
000007fc: JUMP
000007fd: JUMPDEST
000007fe: PUSH32 0x00000000000000000000000066a71dcef29a0ffbdbe3c6a460a3b5bc225cd675
0000081f: PUSH1 0x01
00000821: PUSH1 0x01
00000823: PUSH1 0xa0
00000825: SHL
00000826: SUB
00000827: AND
00000828: SWAP1
00000829: DUP3
0000082a: SWAP1
0000082b: DUP3
0000082c: EXTCODESIZE
0000082d: ISZERO
0000082e: PUSH2 0x0871
00000831: JUMPI
00000832: PUSH1 0x24
00000834: PUSH2 0xffff
00000837: SWAP2
00000838: DUP4
00000839: PUSH1 0x40
0000083b: MLOAD
0000083c: SWAP6
0000083d: DUP7
0000083e: SWAP5
0000083f: DUP6
00000840: SWAP4
00000841: PUSH4 0x07e0db17
00000846: PUSH1 0xe0
00000848: SHL
00000849: DUP6
0000084a: MSTORE
0000084b: AND
0000084c: PUSH1 0x04
0000084e: DUP5
0000084f: ADD
00000850: MSTORE
00000851: GAS
00000852: CALL
00000853: DUP1
00000854: ISZERO
00000855: PUSH2 0x086c
00000858: JUMPI
00000859: PUSH2 0x0860
0000085c: JUMPI
0000085d: POP
0000085e: DUP1
0000085f: RETURN
00000860: JUMPDEST
00000861: PUSH2 0x0869
00000864: SWAP1
00000865: PUSH2 0x1071
00000868: JUMP
00000869: JUMPDEST
0000086a: DUP1
0000086b: RETURN
0000086c: JUMPDEST
0000086d: PUSH2 0x2823
00000870: JUMP
00000871: JUMPDEST
00000872: POP
00000873: DUP1
00000874: REVERT
00000875: JUMPDEST
00000876: PUSH1 0x01
00000878: PUSH1 0x01
0000087a: PUSH1 0xa0
0000087c: SHL
0000087d: SUB
0000087e: DUP2
0000087f: AND
00000880: SUB
00000881: PUSH2 0x0411
00000884: JUMPI
00000885: JUMP
00000886: JUMPDEST
00000887: CALLVALUE
00000888: PUSH2 0x0411
0000088b: JUMPI
0000088c: PUSH1 0x40
0000088e: CALLDATASIZE
0000088f: PUSH1 0x03
00000891: NOT
00000892: ADD
00000893: SLT
00000894: PUSH2 0x0411
00000897: JUMPI
00000898: PUSH2 0x08b0
0000089b: PUSH1 0x04
0000089d: CALLDATALOAD
0000089e: PUSH2 0x08a6
000008a1: DUP2
000008a2: PUSH2 0x0875
000008a5: JUMP
000008a6: JUMPDEST
000008a7: PUSH1 0x24
000008a9: CALLDATALOAD
000008aa: SWAP1
000008ab: CALLER
000008ac: PUSH2 0x2599
000008af: JUMP
000008b0: JUMPDEST
000008b1: PUSH1 0x20
000008b3: PUSH1 0x40
000008b5: MLOAD
000008b6: PUSH1 0x01
000008b8: DUP2
000008b9: MSTORE
000008ba: RETURN
000008bb: JUMPDEST
000008bc: CALLVALUE
000008bd: PUSH2 0x0411
000008c0: JUMPI
000008c1: PUSH1 0x40
000008c3: CALLDATASIZE
000008c4: PUSH1 0x03
000008c6: NOT
000008c7: ADD
000008c8: SLT
000008c9: PUSH2 0x0411
000008cc: JUMPI
000008cd: PUSH2 0xffff
000008d0: PUSH1 0x04
000008d2: CALLDATALOAD
000008d3: PUSH2 0x08db
000008d6: DUP2
000008d7: PUSH2 0x0405
000008da: JUMP
000008db: JUMPDEST
000008dc: PUSH2 0x08e3
000008df: PUSH2 0x251d
000008e2: JUMP
000008e3: JUMPDEST
000008e4: AND
000008e5: PUSH1 0x00
000008e7: MSTORE
000008e8: PUSH1 0x03
000008ea: PUSH1 0x20
000008ec: MSTORE
000008ed: PUSH1 0x24
000008ef: CALLDATALOAD
000008f0: PUSH1 0x40
000008f2: PUSH1 0x00
000008f4: KECCAK256
000008f5: SSTORE
000008f6: PUSH1 0x00
000008f8: DUP1
000008f9: RETURN
000008fa: JUMPDEST
000008fb: CALLVALUE
000008fc: PUSH2 0x0411
000008ff: JUMPI
00000900: PUSH1 0x00
00000902: PUSH1 0x20
00000904: CALLDATASIZE
00000905: PUSH1 0x03
00000907: NOT
00000908: ADD
00000909: SLT
0000090a: PUSH2 0x07d3
0000090d: JUMPI
0000090e: PUSH1 0x04
00000910: CALLDATALOAD
00000911: PUSH2 0x0919
00000914: DUP2
00000915: PUSH2 0x0405
00000918: JUMP
00000919: JUMPDEST
0000091a: PUSH2 0x0921
0000091d: PUSH2 0x251d
00000920: JUMP
00000921: JUMPDEST
00000922: PUSH32 0x00000000000000000000000066a71dcef29a0ffbdbe3c6a460a3b5bc225cd675
00000943: PUSH1 0x01
00000945: PUSH1 0x01
00000947: PUSH1 0xa0
00000949: SHL
0000094a: SUB
0000094b: AND
0000094c: SWAP1
0000094d: DUP3
0000094e: SWAP1
0000094f: DUP3
00000950: EXTCODESIZE
00000951: ISZERO
00000952: PUSH2 0x0871
00000955: JUMPI
00000956: PUSH1 0x24
00000958: PUSH2 0xffff
0000095b: SWAP2
0000095c: DUP4
0000095d: PUSH1 0x40
0000095f: MLOAD
00000960: SWAP6
00000961: DUP7
00000962: SWAP5
00000963: DUP6
00000964: SWAP4
00000965: PUSH4 0x10ddb137
0000096a: PUSH1 0xe0
0000096c: SHL
0000096d: DUP6
0000096e: MSTORE
0000096f: AND
00000970: PUSH1 0x04
00000972: DUP5
00000973: ADD
00000974: MSTORE
00000975: GAS
00000976: CALL
00000977: DUP1
00000978: ISZERO
00000979: PUSH2 0x086c
0000097c: JUMPI
0000097d: PUSH2 0x0860
00000980: JUMPI
00000981: POP
00000982: DUP1
00000983: RETURN
00000984: JUMPDEST
00000985: CALLVALUE
00000986: PUSH2 0x0411
00000989: JUMPI
0000098a: PUSH1 0x00
0000098c: CALLDATASIZE
0000098d: PUSH1 0x03
0000098f: NOT
00000990: ADD
00000991: SLT
00000992: PUSH2 0x0411
00000995: JUMPI
00000996: PUSH1 0x20
00000998: PUSH1 0x09
0000099a: SLOAD
0000099b: PUSH1 0x40
0000099d: MLOAD
0000099e: SWAP1
0000099f: DUP2
000009a0: MSTORE
000009a1: RETURN
000009a2: JUMPDEST
000009a3: CALLVALUE
000009a4: PUSH2 0x0411
000009a7: JUMPI
000009a8: PUSH1 0x60
000009aa: CALLDATASIZE
000009ab: PUSH1 0x03
000009ad: NOT
000009ae: ADD
000009af: SLT
000009b0: PUSH2 0x0411
000009b3: JUMPI
000009b4: PUSH2 0x08b0
000009b7: PUSH1 0x04
000009b9: CALLDATALOAD
000009ba: PUSH2 0x09c2
000009bd: DUP2
000009be: PUSH2 0x0875
000009c1: JUMP
000009c2: JUMPDEST
000009c3: PUSH1 0x24
000009c5: CALLDATALOAD
000009c6: PUSH2 0x09ce
000009c9: DUP2
000009ca: PUSH2 0x0875
000009cd: JUMP
000009ce: JUMPDEST
000009cf: PUSH1 0x44
000009d1: CALLDATALOAD
000009d2: SWAP2
000009d3: PUSH2 0x09dd
000009d6: DUP4
000009d7: CALLER
000009d8: DUP4
000009d9: PUSH2 0x26c9
000009dc: JUMP
000009dd: JUMPDEST
000009de: PUSH2 0x31b7
000009e1: JUMP
000009e2: JUMPDEST
000009e3: PUSH1 0x24
000009e5: CALLDATALOAD
000009e6: SWAP1
000009e7: DUP2
000009e8: ISZERO
000009e9: ISZERO
000009ea: DUP3
000009eb: SUB
000009ec: PUSH2 0x0411
000009ef: JUMPI
000009f0: JUMP
000009f1: JUMPDEST
000009f2: PUSH1 0x04
000009f4: CALLDATALOAD
000009f5: SWAP1
000009f6: DUP2
000009f7: ISZERO
000009f8: ISZERO
000009f9: DUP3
000009fa: SUB
000009fb: PUSH2 0x0411
000009fe: JUMPI
000009ff: JUMP
00000a00: JUMPDEST
00000a01: CALLVALUE
00000a02: PUSH2 0x0411
00000a05: JUMPI
00000a06: PUSH1 0xa0
00000a08: CALLDATASIZE
00000a09: PUSH1 0x03
00000a0b: NOT
00000a0c: ADD
00000a0d: SLT
00000a0e: PUSH2 0x0411
00000a11: JUMPI
00000a12: PUSH1 0x04
00000a14: CALLDATALOAD
00000a15: PUSH2 0x0a1d
00000a18: DUP2
00000a19: PUSH2 0x0405
00000a1c: JUMP
00000a1d: JUMPDEST
00000a1e: PUSH1 0x01
00000a20: PUSH1 0x01
00000a22: PUSH1 0x40
00000a24: SHL
00000a25: SUB
00000a26: SWAP1
00000a27: PUSH1 0x24
00000a29: CALLDATALOAD
00000a2a: DUP3
00000a2b: DUP2
00000a2c: GT
00000a2d: PUSH2 0x0411
00000a30: JUMPI
00000a31: PUSH2 0x0a3e
00000a34: SWAP1
00000a35: CALLDATASIZE
00000a36: SWAP1
00000a37: PUSH1 0x04
00000a39: ADD
00000a3a: PUSH2 0x0416
00000a3d: JUMP
00000a3e: JUMPDEST
00000a3f: SWAP2
00000a40: PUSH1 0x64
00000a42: CALLDATALOAD
00000a43: SWAP1
00000a44: DUP2
00000a45: ISZERO
00000a46: ISZERO
00000a47: DUP3
00000a48: SUB
00000a49: PUSH2 0x0411
00000a4c: JUMPI
00000a4d: PUSH1 0x84
00000a4f: CALLDATALOAD
00000a50: SWAP5
00000a51: DUP6
00000a52: GT
00000a53: PUSH2 0x0411
00000a56: JUMPI
00000a57: PUSH2 0x0a67
00000a5a: PUSH2 0x0a73
00000a5d: SWAP6
00000a5e: CALLDATASIZE
00000a5f: SWAP1
00000a60: PUSH1 0x04
00000a62: ADD
00000a63: PUSH2 0x0416
00000a66: JUMP
00000a67: JUMPDEST
00000a68: SWAP5
00000a69: SWAP1
00000a6a: SWAP4
00000a6b: PUSH1 0x44
00000a6d: CALLDATALOAD
00000a6e: SWAP3
00000a6f: PUSH2 0x2c78
00000a72: JUMP
00000a73: JUMPDEST
00000a74: PUSH1 0x40
00000a76: DUP1
00000a77: MLOAD
00000a78: SWAP3
00000a79: DUP4
00000a7a: MSTORE
00000a7b: PUSH1 0x20
00000a7d: DUP4
00000a7e: ADD
00000a7f: SWAP2
00000a80: SWAP1
00000a81: SWAP2
00000a82: MSTORE
00000a83: SWAP1
00000a84: RETURN
00000a85: JUMPDEST
00000a86: CALLVALUE
00000a87: PUSH2 0x0411
00000a8a: JUMPI
00000a8b: PUSH1 0x00
00000a8d: CALLDATASIZE
00000a8e: PUSH1 0x03
00000a90: NOT
00000a91: ADD
00000a92: SLT
00000a93: PUSH2 0x0411
00000a96: JUMPI
00000a97: PUSH1 0x20
00000a99: PUSH1 0x40
00000a9b: MLOAD
00000a9c: PUSH2 0x07d0
00000a9f: DUP2
00000aa0: MSTORE
00000aa1: RETURN
00000aa2: JUMPDEST
00000aa3: PUSH1 0x40
00000aa5: SWAP1
00000aa6: PUSH1 0x03
00000aa8: NOT
00000aa9: ADD
00000aaa: SLT
00000aab: PUSH2 0x0411
00000aae: JUMPI
00000aaf: PUSH1 0x04
00000ab1: CALLDATALOAD
00000ab2: PUSH2 0x0aba
00000ab5: DUP2
00000ab6: PUSH2 0x0405
00000ab9: JUMP
00000aba: JUMPDEST
00000abb: SWAP1
00000abc: PUSH1 0x24
00000abe: CALLDATALOAD
00000abf: PUSH2 0x06f2
00000ac2: DUP2
00000ac3: PUSH2 0x0405
00000ac6: JUMP
00000ac7: JUMPDEST
00000ac8: CALLVALUE
00000ac9: PUSH2 0x0411
00000acc: JUMPI
00000acd: PUSH32 0x60efe1e3702c64a1ed1b8d52ed5d4d71b1a990e2654d735810c84eee758c197d
00000aee: PUSH2 0x0af6
00000af1: CALLDATASIZE
00000af2: PUSH2 0x0aa2
00000af5: JUMP
00000af6: JUMPDEST
00000af7: SWAP1
00000af8: PUSH2 0x0aff
00000afb: PUSH2 0x251d
00000afe: JUMP
00000aff: JUMPDEST
00000b00: PUSH2 0xffff
00000b03: PUSH2 0x0b1e
00000b06: DUP2
00000b07: DUP4
00000b08: AND
00000b09: SWAP2
00000b0a: PUSH2 0x07d0
00000b0d: DUP1
00000b0e: DUP5
00000b0f: GT
00000b10: ISZERO
00000b11: SWAP2
00000b12: DUP3
00000b13: PUSH2 0x0b5a
00000b16: JUMPI
00000b17: JUMPDEST
00000b18: POP
00000b19: POP
00000b1a: PUSH2 0x316b
00000b1d: JUMP
00000b1e: JUMPDEST
00000b1f: PUSH1 0x12
00000b21: DUP1
00000b22: SLOAD
00000b23: PUSH4 0xffffffff
00000b28: NOT
00000b29: AND
00000b2a: SWAP1
00000b2b: SWAP2
00000b2c: OR
00000b2d: PUSH1 0x10
00000b2f: DUP5
00000b30: SWAP1
00000b31: SHL
00000b32: PUSH4 0xffff0000
00000b37: AND
00000b38: OR
00000b39: SWAP1
00000b3a: SSTORE
00000b3b: PUSH1 0x40
00000b3d: DUP1
00000b3e: MLOAD
00000b3f: PUSH2 0xffff
00000b42: SWAP3
00000b43: DUP4
00000b44: AND
00000b45: DUP2
00000b46: MSTORE
00000b47: SWAP2
00000b48: SWAP1
00000b49: SWAP3
00000b4a: AND
00000b4b: PUSH1 0x20
00000b4d: DUP3
00000b4e: ADD
00000b4f: MSTORE
00000b50: SWAP1
00000b51: DUP2
00000b52: SWAP1
00000b53: DUP2
00000b54: ADD
00000b55: JUMPDEST
00000b56: SUB
00000b57: SWAP1
00000b58: LOG1
00000b59: STOP
00000b5a: JUMPDEST
00000b5b: DUP7
00000b5c: AND
00000b5d: GT
00000b5e: ISZERO
00000b5f: SWAP1
00000b60: POP
00000b61: CODESIZE
00000b62: DUP1
00000b63: PUSH2 0x0b17
00000b66: JUMP
00000b67: JUMPDEST
00000b68: CALLVALUE
00000b69: PUSH2 0x0411
00000b6c: JUMPI
00000b6d: PUSH1 0x00
00000b6f: CALLDATASIZE
00000b70: PUSH1 0x03
00000b72: NOT
00000b73: ADD
00000b74: SLT
00000b75: PUSH2 0x0411
00000b78: JUMPI
00000b79: PUSH1 0x20
00000b7b: PUSH1 0x40
00000b7d: MLOAD
00000b7e: PUSH1 0x12
00000b80: DUP2
00000b81: MSTORE
00000b82: RETURN
00000b83: JUMPDEST
00000b84: CALLVALUE
00000b85: PUSH2 0x0411
00000b88: JUMPI
00000b89: PUSH1 0x40
00000b8b: CALLDATASIZE
00000b8c: PUSH1 0x03
00000b8e: NOT
00000b8f: ADD
00000b90: SLT
00000b91: PUSH2 0x0411
00000b94: JUMPI
00000b95: PUSH1 0x04
00000b97: CALLDATALOAD
00000b98: PUSH2 0x0ba0
00000b9b: DUP2
00000b9c: PUSH2 0x0875
00000b9f: JUMP
00000ba0: JUMPDEST
00000ba1: CALLER
00000ba2: PUSH1 0x00
00000ba4: SWAP1
00000ba5: DUP2
00000ba6: MSTORE
00000ba7: PUSH1 0x08
00000ba9: PUSH1 0x20
00000bab: SWAP1
00000bac: DUP2
00000bad: MSTORE
00000bae: PUSH1 0x40
00000bb0: DUP1
00000bb1: DUP4
00000bb2: KECCAK256
00000bb3: PUSH1 0x01
00000bb5: PUSH1 0x01
00000bb7: PUSH1 0xa0
00000bb9: SHL
00000bba: SUB
00000bbb: DUP6
00000bbc: AND
00000bbd: DUP5
00000bbe: MSTORE
00000bbf: SWAP1
00000bc0: SWAP2
00000bc1: MSTORE
00000bc2: SWAP1
00000bc3: KECCAK256
00000bc4: SLOAD
00000bc5: PUSH1 0x24
00000bc7: CALLDATALOAD
00000bc8: DUP2
00000bc9: ADD
00000bca: DUP1
00000bcb: SWAP2
00000bcc: GT
00000bcd: PUSH2 0x0bda
00000bd0: JUMPI
00000bd1: PUSH2 0x08b0
00000bd4: SWAP2
00000bd5: CALLER
00000bd6: PUSH2 0x2599
00000bd9: JUMP
00000bda: JUMPDEST
00000bdb: PUSH2 0x2575
00000bde: JUMP
00000bdf: JUMPDEST
00000be0: SWAP1
00000be1: PUSH1 0x40
00000be3: PUSH1 0x03
00000be5: NOT
00000be6: DUP4
00000be7: ADD
00000be8: SLT
00000be9: PUSH2 0x0411
00000bec: JUMPI
00000bed: PUSH1 0x04
00000bef: CALLDATALOAD
00000bf0: PUSH2 0x0bf8
00000bf3: DUP2
00000bf4: PUSH2 0x0405
00000bf7: JUMP
00000bf8: JUMPDEST
00000bf9: SWAP2
00000bfa: PUSH1 0x24
00000bfc: CALLDATALOAD
00000bfd: SWAP1
00000bfe: PUSH1 0x01
00000c00: PUSH1 0x01
00000c02: PUSH1 0x40
00000c04: SHL
00000c05: SUB
00000c06: DUP3
00000c07: GT
00000c08: PUSH2 0x0411
00000c0b: JUMPI
00000c0c: PUSH2 0x04a4
00000c0f: SWAP2
00000c10: PUSH1 0x04
00000c12: ADD
00000c13: PUSH2 0x0416
00000c16: JUMP
00000c17: JUMPDEST
00000c18: CALLVALUE
00000c19: PUSH2 0x0411
00000c1c: JUMPI
00000c1d: PUSH1 0x20
00000c1f: PUSH2 0xffff
00000c22: PUSH2 0x0c64
00000c25: PUSH2 0x0c2d
00000c28: CALLDATASIZE
00000c29: PUSH2 0x0bdf
00000c2c: JUMP
00000c2d: JUMPDEST
00000c2e: SWAP4
00000c2f: SWAP1
00000c30: SWAP2
00000c31: AND
00000c32: PUSH1 0x00
00000c34: MSTORE
00000c35: PUSH1 0x01
00000c37: DUP5
00000c38: MSTORE
00000c39: PUSH2 0x0c4f
00000c3c: PUSH2 0x0c56
00000c3f: PUSH1 0x40
00000c41: PUSH1 0x00
00000c43: KECCAK256
00000c44: PUSH1 0x40
00000c46: MLOAD
00000c47: SWAP3
00000c48: DUP4
00000c49: DUP1
00000c4a: SWAP3
00000c4b: PUSH2 0x159c
00000c4e: JUMP
00000c4f: JUMPDEST
00000c50: SUB
00000c51: DUP3
00000c52: PUSH2 0x10a4
00000c55: JUMP
00000c56: JUMPDEST
00000c57: DUP5
00000c58: DUP2
00000c59: MLOAD
00000c5a: SWAP2
00000c5b: ADD
00000c5c: KECCAK256
00000c5d: SWAP3
00000c5e: CALLDATASIZE
00000c5f: SWAP2
00000c60: PUSH2 0x10e0
00000c63: JUMP
00000c64: JUMPDEST
00000c65: DUP3
00000c66: DUP2
00000c67: MLOAD
00000c68: SWAP2
00000c69: ADD
00000c6a: KECCAK256
00000c6b: EQ
00000c6c: PUSH1 0x40
00000c6e: MLOAD
00000c6f: SWAP1
00000c70: DUP2
00000c71: MSTORE
00000c72: RETURN
00000c73: JUMPDEST
00000c74: CALLVALUE
00000c75: PUSH2 0x0411
00000c78: JUMPI
00000c79: PUSH1 0x00
00000c7b: CALLDATASIZE
00000c7c: PUSH1 0x03
00000c7e: NOT
00000c7f: ADD
00000c80: SLT
00000c81: PUSH2 0x0411
00000c84: JUMPI
00000c85: PUSH1 0x20
00000c87: PUSH1 0x0c
00000c89: SLOAD
00000c8a: PUSH1 0x40
00000c8c: MLOAD
00000c8d: SWAP1
00000c8e: DUP2
00000c8f: MSTORE
00000c90: RETURN
00000c91: JUMPDEST
00000c92: CALLVALUE
00000c93: PUSH2 0x0411
00000c96: JUMPI
00000c97: PUSH1 0x20
00000c99: CALLDATASIZE
00000c9a: PUSH1 0x03
00000c9c: NOT
00000c9d: ADD
00000c9e: SLT
00000c9f: PUSH2 0x0411
00000ca2: JUMPI
00000ca3: PUSH2 0xffff
00000ca6: PUSH1 0x04
00000ca8: CALLDATALOAD
00000ca9: PUSH2 0x0cb1
00000cac: DUP2
00000cad: PUSH2 0x0405
00000cb0: JUMP
00000cb1: JUMPDEST
00000cb2: AND
00000cb3: PUSH1 0x00
00000cb5: MSTORE
00000cb6: PUSH1 0x03
00000cb8: PUSH1 0x20
00000cba: MSTORE
00000cbb: PUSH1 0x20
00000cbd: PUSH1 0x40
00000cbf: PUSH1 0x00
00000cc1: KECCAK256
00000cc2: SLOAD
00000cc3: PUSH1 0x40
00000cc5: MLOAD
00000cc6: SWAP1
00000cc7: DUP2
00000cc8: MSTORE
00000cc9: RETURN
00000cca: JUMPDEST
00000ccb: CALLVALUE
00000ccc: PUSH2 0x0411
00000ccf: JUMPI
00000cd0: PUSH2 0x0cd8
00000cd3: CALLDATASIZE
00000cd4: PUSH2 0x0bdf
00000cd7: JUMP
00000cd8: JUMPDEST
00000cd9: SWAP2
00000cda: SWAP1
00000cdb: PUSH2 0x0ce2
00000cde: PUSH2 0x251d
00000ce1: JUMP
00000ce2: JUMPDEST
00000ce3: PUSH32 0x00000000000000000000000066a71dcef29a0ffbdbe3c6a460a3b5bc225cd675
00000d04: PUSH1 0x01
00000d06: PUSH1 0x01
00000d08: PUSH1 0xa0
00000d0a: SHL
00000d0b: SUB
00000d0c: AND
00000d0d: SWAP2
00000d0e: DUP3
00000d0f: EXTCODESIZE
00000d10: ISZERO
00000d11: PUSH2 0x0411
00000d14: JUMPI
00000d15: PUSH1 0x40
00000d17: MLOAD
00000d18: SWAP3
00000d19: DUP4
00000d1a: DUP1
00000d1b: SWAP3
00000d1c: PUSH4 0x42d65a8d
00000d21: PUSH1 0xe0
00000d23: SHL
00000d24: DUP3
00000d25: MSTORE
00000d26: DUP2
00000d27: PUSH2 0x0d39
00000d2a: PUSH1 0x00
00000d2c: SWAP9
00000d2d: DUP10
00000d2e: SWAP8
00000d2f: DUP9
00000d30: SWAP5
00000d31: PUSH1 0x04
00000d33: DUP6
00000d34: ADD
00000d35: PUSH2 0x2850
00000d38: JUMP
00000d39: JUMPDEST
00000d3a: SUB
00000d3b: SWAP3
00000d3c: GAS
00000d3d: CALL
00000d3e: DUP1
00000d3f: ISZERO
00000d40: PUSH2 0x086c
00000d43: JUMPI
00000d44: PUSH2 0x0860
00000d47: JUMPI
00000d48: POP
00000d49: DUP1
00000d4a: RETURN
00000d4b: JUMPDEST
00000d4c: CALLVALUE
00000d4d: PUSH2 0x0411
00000d50: JUMPI
00000d51: PUSH1 0x20
00000d53: CALLDATASIZE
00000d54: PUSH1 0x03
00000d56: NOT
00000d57: ADD
00000d58: SLT
00000d59: PUSH2 0x0411
00000d5c: JUMPI
00000d5d: PUSH1 0x04
00000d5f: CALLDATALOAD
00000d60: PUSH2 0x0d68
00000d63: DUP2
00000d64: PUSH2 0x0875
00000d67: JUMP
00000d68: JUMPDEST
00000d69: PUSH1 0x01
00000d6b: DUP1
00000d6c: PUSH1 0xa0
00000d6e: SHL
00000d6f: SUB
00000d70: AND
00000d71: PUSH1 0x00
00000d73: MSTORE
00000d74: PUSH1 0x0f
00000d76: PUSH1 0x20
00000d78: MSTORE
00000d79: PUSH1 0x20
00000d7b: PUSH1 0xff
00000d7d: PUSH1 0x40
00000d7f: PUSH1 0x00
00000d81: KECCAK256
00000d82: SLOAD
00000d83: AND
00000d84: PUSH1 0x40
00000d86: MLOAD
00000d87: SWAP1
00000d88: ISZERO
00000d89: ISZERO
00000d8a: DUP2
00000d8b: MSTORE
00000d8c: RETURN
00000d8d: JUMPDEST
00000d8e: CALLVALUE
00000d8f: PUSH2 0x0411
00000d92: JUMPI
00000d93: PUSH1 0x00
00000d95: CALLDATASIZE
00000d96: PUSH1 0x03
00000d98: NOT
00000d99: ADD
00000d9a: SLT
00000d9b: PUSH2 0x0411
00000d9e: JUMPI
00000d9f: PUSH1 0x20
00000da1: PUSH1 0x40
00000da3: MLOAD
00000da4: PUSH1 0x00
00000da6: DUP2
00000da7: MSTORE
00000da8: RETURN
00000da9: JUMPDEST
00000daa: CALLVALUE
00000dab: PUSH2 0x0411
00000dae: JUMPI
00000daf: PUSH1 0x20
00000db1: CALLDATASIZE
00000db2: PUSH1 0x03
00000db4: NOT
00000db5: ADD
00000db6: SLT
00000db7: PUSH2 0x0411
00000dba: JUMPI
00000dbb: PUSH1 0x04
00000dbd: CALLDATALOAD
00000dbe: PUSH2 0x0dc6
00000dc1: DUP2
00000dc2: PUSH2 0x0875
00000dc5: JUMP
00000dc6: JUMPDEST
00000dc7: PUSH1 0x01
00000dc9: DUP1
00000dca: PUSH1 0xa0
00000dcc: SHL
00000dcd: SUB
00000dce: AND
00000dcf: PUSH1 0x00
00000dd1: MSTORE
00000dd2: PUSH1 0x10
00000dd4: PUSH1 0x20
00000dd6: MSTORE
00000dd7: PUSH1 0x20
00000dd9: PUSH1 0xff
00000ddb: PUSH1 0x40
00000ddd: PUSH1 0x00
00000ddf: KECCAK256
00000de0: SLOAD
00000de1: AND
00000de2: PUSH1 0x40
00000de4: MLOAD
00000de5: SWAP1
00000de6: ISZERO
00000de7: ISZERO
00000de8: DUP2
00000de9: MSTORE
00000dea: RETURN
00000deb: JUMPDEST
00000dec: PUSH1 0xe0
00000dee: CALLDATASIZE
00000def: PUSH1 0x03
00000df1: NOT
00000df2: ADD
00000df3: SLT
00000df4: PUSH2 0x0411
00000df7: JUMPI
00000df8: PUSH1 0x04
00000dfa: CALLDATALOAD
00000dfb: PUSH2 0x0e03
00000dfe: DUP2
00000dff: PUSH2 0x0875
00000e02: JUMP
00000e03: JUMPDEST
00000e04: PUSH1 0x24
00000e06: CALLDATALOAD
00000e07: SWAP1
00000e08: PUSH2 0x0e10
00000e0b: DUP3
00000e0c: PUSH2 0x0405
00000e0f: JUMP
00000e10: JUMPDEST
00000e11: PUSH1 0x01
00000e13: PUSH1 0x01
00000e15: PUSH1 0x40
00000e17: SHL
00000e18: SUB
00000e19: SWAP1
00000e1a: PUSH1 0x44
00000e1c: CALLDATALOAD
00000e1d: DUP3
00000e1e: DUP2
00000e1f: GT
00000e20: PUSH2 0x0411
00000e23: JUMPI
00000e24: PUSH2 0x0e31
00000e27: SWAP1
00000e28: CALLDATASIZE
00000e29: SWAP1
00000e2a: PUSH1 0x04
00000e2c: ADD
00000e2d: PUSH2 0x0416
00000e30: JUMP
00000e31: JUMPDEST
00000e32: SWAP1
00000e33: SWAP2
00000e34: PUSH1 0x64
00000e36: CALLDATALOAD
00000e37: PUSH1 0x84
00000e39: CALLDATALOAD
00000e3a: SWAP5
00000e3b: PUSH2 0x0e43
00000e3e: DUP7
00000e3f: PUSH2 0x0875
00000e42: JUMP
00000e43: JUMPDEST
00000e44: PUSH1 0xa4
00000e46: CALLDATALOAD
00000e47: SWAP4
00000e48: PUSH2 0x0e50
00000e4b: DUP6
00000e4c: PUSH2 0x0875
00000e4f: JUMP
00000e50: JUMPDEST
00000e51: PUSH1 0xc4
00000e53: CALLDATALOAD
00000e54: SWAP2
00000e55: DUP3
00000e56: GT
00000e57: PUSH2 0x0411
00000e5a: JUMPI
00000e5b: PUSH2 0x0e78
00000e5e: PUSH2 0x0e6e
00000e61: PUSH2 0x0e80
00000e64: SWAP4
00000e65: CALLDATASIZE
00000e66: SWAP1
00000e67: PUSH1 0x04
00000e69: ADD
00000e6a: PUSH2 0x0416
00000e6d: JUMP
00000e6e: JUMPDEST
00000e6f: SWAP8
00000e70: SWAP1
00000e71: SWAP3
00000e72: CALLDATASIZE
00000e73: SWAP2
00000e74: PUSH2 0x10e0
00000e77: JUMP
00000e78: JUMPDEST
00000e79: SWAP6
00000e7a: CALLDATASIZE
00000e7b: SWAP2
00000e7c: PUSH2 0x10e0
00000e7f: JUMP
00000e80: JUMPDEST
00000e81: PUSH1 0x06
00000e83: SLOAD
00000e84: PUSH1 0xff
00000e86: AND
00000e87: ISZERO
00000e88: PUSH2 0x0fcb
00000e8b: JUMPI
00000e8c: PUSH1 0x22
00000e8e: DUP2
00000e8f: MLOAD
00000e90: LT
00000e91: PUSH2 0x0f86
00000e94: JUMPI
00000e95: PUSH32 0x36bf890b6c16bd333db9fb1f5bd7cc1d42117f10f8aae924d25070edd5b57e45
00000eb6: SWAP5
00000eb7: PUSH2 0x0f68
00000eba: PUSH2 0x0f81
00000ebd: SWAP4
00000ebe: DUP4
00000ebf: PUSH2 0xffff
00000ec2: SWAP8
00000ec3: PUSH2 0x0f04
00000ec6: DUP13
00000ec7: DUP11
00000ec8: PUSH1 0x22
00000eca: PUSH2 0x0f60
00000ecd: SWAP10
00000ece: ADD
00000ecf: MLOAD
00000ed0: SWAP2
00000ed1: AND
00000ed2: PUSH1 0x00
00000ed4: MSTORE
00000ed5: PUSH1 0x02
00000ed7: PUSH1 0x20
00000ed9: MSTORE
00000eda: PUSH2 0x0ef0
00000edd: PUSH1 0x40
00000edf: PUSH1 0x00
00000ee1: KECCAK256
00000ee2: PUSH1 0x00
00000ee4: DUP1
00000ee5: MSTORE
00000ee6: PUSH1 0x20
00000ee8: MSTORE
00000ee9: PUSH1 0x40
00000eeb: PUSH1 0x00
00000eed: KECCAK256
00000eee: SWAP1
00000eef: JUMP
00000ef0: JUMPDEST
00000ef1: SLOAD
00000ef2: SWAP1
00000ef3: PUSH2 0x0efd
00000ef6: DUP3
00000ef7: ISZERO
00000ef8: ISZERO
00000ef9: PUSH2 0x309a
00000efc: JUMP
00000efd: JUMPDEST
00000efe: LT
00000eff: ISZERO
00000f00: PUSH2 0x30e6
00000f03: JUMP
00000f04: JUMPDEST
00000f05: PUSH2 0x0f0e
00000f08: DUP4
00000f09: DUP10
00000f0a: PUSH2 0x3132
00000f0d: JUMP
00000f0e: JUMPDEST
00000f0f: SWAP11
00000f10: PUSH1 0x40
00000f12: MLOAD
00000f13: SWAP4
00000f14: DUP5
00000f15: PUSH2 0x0f26
00000f18: DUP12
00000f19: PUSH1 0x20
00000f1b: DUP4
00000f1c: ADD
00000f1d: SWAP4
00000f1e: DUP11
00000f1f: TIMESTAMP
00000f20: SWAP3
00000f21: DUP7
00000f22: PUSH2 0x2de1
00000f25: JUMP
00000f26: JUMPDEST
00000f27: SUB
00000f28: SWAP5
00000f29: PUSH2 0x0f3a
00000f2c: PUSH1 0x1f
00000f2e: NOT
00000f2f: SWAP7
00000f30: DUP8
00000f31: DUP2
00000f32: ADD
00000f33: DUP4
00000f34: MSTORE
00000f35: DUP3
00000f36: PUSH2 0x10a4
00000f39: JUMP
00000f3a: JUMPDEST
00000f3b: MLOAD
00000f3c: SWAP1
00000f3d: KECCAK256
00000f3e: SWAP7
00000f3f: DUP8
00000f40: SWAP5
00000f41: DUP14
00000f42: PUSH2 0x0f54
00000f45: PUSH1 0x40
00000f47: MLOAD
00000f48: SWAP8
00000f49: DUP9
00000f4a: SWAP3
00000f4b: DUP12
00000f4c: PUSH1 0x20
00000f4e: DUP6
00000f4f: ADD
00000f50: PUSH2 0x2e1f
00000f53: JUMP
00000f54: JUMPDEST
00000f55: SUB
00000f56: SWAP1
00000f57: DUP2
00000f58: ADD
00000f59: DUP7
00000f5a: MSTORE
00000f5b: DUP6
00000f5c: PUSH2 0x10a4
00000f5f: JUMP
00000f60: JUMPDEST
00000f61: CALLVALUE
00000f62: SWAP4
00000f63: DUP14
00000f64: PUSH2 0x2ec8
00000f67: JUMP
00000f68: JUMPDEST
00000f69: PUSH1 0x40
00000f6b: MLOAD
00000f6c: SWAP5
00000f6d: DUP6
00000f6e: SWAP5
00000f6f: PUSH1 0x01
00000f71: DUP1
00000f72: PUSH1 0xa0
00000f74: SHL
00000f75: SUB
00000f76: AND
00000f77: SWAP9
00000f78: AND
00000f79: SWAP7
00000f7a: TIMESTAMP
00000f7b: SWAP2
00000f7c: DUP6
00000f7d: PUSH2 0x2e48
00000f80: JUMP
00000f81: JUMPDEST
00000f82: SUB
00000f83: SWAP1
00000f84: LOG3
00000f85: STOP
00000f86: JUMPDEST
00000f87: PUSH1 0x40
00000f89: MLOAD
00000f8a: PUSH3 0x461bcd
00000f8e: PUSH1 0xe5
00000f90: SHL
00000f91: DUP2
00000f92: MSTORE
00000f93: PUSH1 0x20
00000f95: PUSH1 0x04
00000f97: DUP3
00000f98: ADD
00000f99: MSTORE
00000f9a: PUSH1 0x1c
00000f9c: PUSH1 0x24
00000f9e: DUP3
00000f9f: ADD
00000fa0: MSTORE
00000fa1: PUSH32 0x4c7a4170703a20696e76616c69642061646170746572506172616d7300000000
00000fc2: PUSH1 0x44
00000fc4: DUP3
00000fc5: ADD
00000fc6: MSTORE
00000fc7: PUSH1 0x64
00000fc9: SWAP1
00000fca: REVERT
00000fcb: JUMPDEST
00000fcc: DUP1
00000fcd: MLOAD
00000fce: PUSH2 0x1007
00000fd1: JUMPI
00000fd2: PUSH32 0x36bf890b6c16bd333db9fb1f5bd7cc1d42117f10f8aae924d25070edd5b57e45
00000ff3: SWAP5
00000ff4: PUSH2 0x0f68
00000ff7: PUSH2 0x0f81
00000ffa: SWAP4
00000ffb: PUSH2 0x0f60
00000ffe: SWAP4
00000fff: PUSH2 0xffff
00001002: SWAP8
00001003: PUSH2 0x0f04
00001006: JUMP
00001007: JUMPDEST
00001008: PUSH1 0x40
0000100a: MLOAD
0000100b: PUSH3 0x461bcd
0000100f: PUSH1 0xe5
00001011: SHL
00001012: DUP2
00001013: MSTORE
00001014: PUSH1 0x20
00001016: PUSH1 0x04
00001018: DUP3
00001019: ADD
0000101a: MSTORE
0000101b: PUSH1 0x26
0000101d: PUSH1 0x24
0000101f: DUP3
00001020: ADD
00001021: MSTORE
00001022: PUSH32 0x4f4654436f72653a205f61646170746572506172616d73206d75737420626520
00001043: PUSH1 0x44
00001045: DUP3
00001046: ADD
00001047: MSTORE
00001048: PUSH6 0x32b6b83a3c97
0000104f: PUSH1 0xd1
00001051: SHL
00001052: PUSH1 0x64
00001054: DUP3
00001055: ADD
00001056: MSTORE
00001057: PUSH1 0x84
00001059: SWAP1
0000105a: REVERT
0000105b: JUMPDEST
0000105c: PUSH4 0x4e487b71
00001061: PUSH1 0xe0
00001063: SHL
00001064: PUSH1 0x00
00001066: MSTORE
00001067: PUSH1 0x41
00001069: PUSH1 0x04
0000106b: MSTORE
0000106c: PUSH1 0x24
0000106e: PUSH1 0x00
00001070: REVERT
00001071: JUMPDEST
00001072: PUSH1 0x01
00001074: PUSH1 0x01
00001076: PUSH1 0x40
00001078: SHL
00001079: SUB
0000107a: DUP2
0000107b: GT
0000107c: PUSH2 0x1084
0000107f: JUMPI
00001080: PUSH1 0x40
00001082: MSTORE
00001083: JUMP
00001084: JUMPDEST
00001085: PUSH2 0x105b
00001088: JUMP
00001089: JUMPDEST
0000108a: PUSH1 0xc0
0000108c: DUP2
0000108d: ADD
0000108e: SWAP1
0000108f: DUP2
00001090: LT
00001091: PUSH1 0x01
00001093: PUSH1 0x01
00001095: PUSH1 0x40
00001097: SHL
00001098: SUB
00001099: DUP3
0000109a: GT
0000109b: OR
0000109c: PUSH2 0x1084
0000109f: JUMPI
000010a0: PUSH1 0x40
000010a2: MSTORE
000010a3: JUMP
000010a4: JUMPDEST
000010a5: SWAP1
000010a6: PUSH1 0x1f
000010a8: DUP1
000010a9: NOT
000010aa: SWAP2
000010ab: ADD
000010ac: AND
000010ad: DUP2
000010ae: ADD
000010af: SWAP1
000010b0: DUP2
000010b1: LT
000010b2: PUSH1 0x01
000010b4: PUSH1 0x01
000010b6: PUSH1 0x40
000010b8: SHL
000010b9: SUB
000010ba: DUP3
000010bb: GT
000010bc: OR
000010bd: PUSH2 0x1084
000010c0: JUMPI
000010c1: PUSH1 0x40
000010c3: MSTORE
000010c4: JUMP
000010c5: JUMPDEST
000010c6: PUSH1 0x01
000010c8: PUSH1 0x01
000010ca: PUSH1 0x40
000010cc: SHL
000010cd: SUB
000010ce: DUP2
000010cf: GT
000010d0: PUSH2 0x1084
000010d3: JUMPI
000010d4: PUSH1 0x1f
000010d6: ADD
000010d7: PUSH1 0x1f
000010d9: NOT
000010da: AND
000010db: PUSH1 0x20
000010dd: ADD
000010de: SWAP1
000010df: JUMP
000010e0: JUMPDEST
000010e1: SWAP3
000010e2: SWAP2
000010e3: SWAP3
000010e4: PUSH2 0x10ec
000010e7: DUP3
000010e8: PUSH2 0x10c5
000010eb: JUMP
000010ec: JUMPDEST
000010ed: SWAP2
000010ee: PUSH2 0x10fa
000010f1: PUSH1 0x40
000010f3: MLOAD
000010f4: SWAP4
000010f5: DUP5
000010f6: PUSH2 0x10a4
000010f9: JUMP
000010fa: JUMPDEST
000010fb: DUP3
000010fc: SWAP5
000010fd: DUP2
000010fe: DUP5
000010ff: MSTORE
00001100: DUP2
00001101: DUP4
00001102: ADD
00001103: GT
00001104: PUSH2 0x0411
00001107: JUMPI
00001108: DUP3
00001109: DUP2
0000110a: PUSH1 0x20
0000110c: SWAP4
0000110d: DUP5
0000110e: PUSH1 0x00
00001110: SWAP7
00001111: ADD
00001112: CALLDATACOPY
00001113: ADD
00001114: ADD
00001115: MSTORE
00001116: JUMP
00001117: JUMPDEST
00001118: PUSH1 0x20
0000111a: SWAP1
0000111b: PUSH2 0x1131
0000111e: SWAP3
0000111f: DUP3
00001120: PUSH1 0x40
00001122: MLOAD
00001123: SWAP5
00001124: DUP4
00001125: DUP7
00001126: DUP1
00001127: SWAP6
00001128: MLOAD
00001129: SWAP4
0000112a: DUP5
0000112b: SWAP3
0000112c: ADD
0000112d: PUSH2 0x0699
00001130: JUMP
00001131: JUMPDEST
00001132: DUP3
00001133: ADD
00001134: SWAP1
00001135: DUP2
00001136: MSTORE
00001137: SUB
00001138: ADD
00001139: SWAP1
0000113a: KECCAK256
0000113b: SWAP1
0000113c: JUMP
0000113d: JUMPDEST
0000113e: CALLVALUE
0000113f: PUSH2 0x0411
00001142: JUMPI
00001143: PUSH1 0x60
00001145: CALLDATASIZE
00001146: PUSH1 0x03
00001148: NOT
00001149: ADD
0000114a: SLT
0000114b: PUSH2 0x0411
0000114e: JUMPI
0000114f: PUSH1 0x04
00001151: CALLDATALOAD
00001152: PUSH2 0x115a
00001155: DUP2
00001156: PUSH2 0x0405
00001159: JUMP
0000115a: JUMPDEST
0000115b: PUSH1 0x01
0000115d: PUSH1 0x01
0000115f: PUSH1 0x40
00001161: SHL
00001162: SUB
00001163: PUSH1 0x24
00001165: CALLDATALOAD
00001166: DUP2
00001167: DUP2
00001168: GT
00001169: PUSH2 0x0411
0000116c: JUMPI
0000116d: CALLDATASIZE
0000116e: PUSH1 0x23
00001170: DUP3
00001171: ADD
00001172: SLT
00001173: ISZERO
00001174: PUSH2 0x0411
00001177: JUMPI
00001178: PUSH2 0x118b
0000117b: SWAP1
0000117c: CALLDATASIZE
0000117d: SWAP1
0000117e: PUSH1 0x24
00001180: DUP2
00001181: PUSH1 0x04
00001183: ADD
00001184: CALLDATALOAD
00001185: SWAP2
00001186: ADD
00001187: PUSH2 0x10e0
0000118a: JUMP
0000118b: JUMPDEST
0000118c: SWAP1
0000118d: PUSH1 0x44
0000118f: CALLDATALOAD
00001190: SWAP1
00001191: DUP2
00001192: AND
00001193: DUP2
00001194: SUB
00001195: PUSH2 0x0411
00001198: JUMPI
00001199: PUSH2 0x11c0
0000119c: PUSH2 0x11d8
0000119f: SWAP3
000011a0: PUSH2 0x11ba
000011a3: PUSH2 0x0695
000011a6: SWAP6
000011a7: PUSH2 0xffff
000011aa: AND
000011ab: PUSH1 0x00
000011ad: MSTORE
000011ae: PUSH1 0x05
000011b0: PUSH1 0x20
000011b2: MSTORE
000011b3: PUSH1 0x40
000011b5: PUSH1 0x00
000011b7: KECCAK256
000011b8: SWAP1
000011b9: JUMP
000011ba: JUMPDEST
000011bb: SWAP1
000011bc: PUSH2 0x1117
000011bf: JUMP
000011c0: JUMPDEST
000011c1: SWAP1
000011c2: PUSH1 0x01
000011c4: PUSH1 0x01
000011c6: PUSH1 0x40
000011c8: SHL
000011c9: SUB
000011ca: AND
000011cb: PUSH1 0x00
000011cd: MSTORE
000011ce: PUSH1 0x20
000011d0: MSTORE
000011d1: PUSH1 0x40
000011d3: PUSH1 0x00
000011d5: KECCAK256
000011d6: SWAP1
000011d7: JUMP
000011d8: JUMPDEST
000011d9: SLOAD
000011da: PUSH1 0x40
000011dc: MLOAD
000011dd: SWAP1
000011de: DUP2
000011df: MSTORE
000011e0: SWAP1
000011e1: DUP2
000011e2: SWAP1
000011e3: PUSH1 0x20
000011e5: DUP3
000011e6: ADD
000011e7: SWAP1
000011e8: JUMP
000011e9: JUMPDEST
000011ea: CALLVALUE
000011eb: PUSH2 0x0411
000011ee: JUMPI
000011ef: PUSH1 0x20
000011f1: CALLDATASIZE
000011f2: PUSH1 0x03
000011f4: NOT
000011f5: ADD
000011f6: SLT
000011f7: PUSH2 0x0411
000011fa: JUMPI
000011fb: PUSH32 0xb28be025a72a05ba67e4bc4c50a8275de3762106cee9ce36d91d5369356a3062
0000121c: PUSH1 0x20
0000121e: PUSH1 0x04
00001220: CALLDATALOAD
00001221: PUSH2 0x1229
00001224: DUP2
00001225: PUSH2 0x0875
00001228: JUMP
00001229: JUMPDEST
0000122a: PUSH2 0x1231
0000122d: PUSH2 0x251d
00001230: JUMP
00001231: JUMPDEST
00001232: PUSH1 0x0d
00001234: DUP1
00001235: SLOAD
00001236: PUSH1 0x01
00001238: PUSH1 0x01
0000123a: PUSH1 0xa0
0000123c: SHL
0000123d: SUB
0000123e: NOT
0000123f: AND
00001240: PUSH1 0x01
00001242: PUSH1 0x01
00001244: PUSH1 0xa0
00001246: SHL
00001247: SUB
00001248: SWAP3
00001249: SWAP1
0000124a: SWAP3
0000124b: AND
0000124c: SWAP2
0000124d: DUP3
0000124e: OR
0000124f: SWAP1
00001250: SSTORE
00001251: PUSH1 0x40
00001253: MLOAD
00001254: SWAP1
00001255: DUP2
00001256: MSTORE
00001257: LOG1
00001258: STOP
00001259: JUMPDEST
0000125a: CALLVALUE
0000125b: PUSH2 0x0411
0000125e: JUMPI
0000125f: PUSH2 0x1267
00001262: CALLDATASIZE
00001263: PUSH2 0x0443
00001266: JUMP
00001267: JUMPDEST
00001268: SWAP2
00001269: POP
0000126a: SWAP2
0000126b: ADDRESS
0000126c: CALLER
0000126d: SUB
0000126e: PUSH2 0x138e
00001271: JUMPI
00001272: PUSH2 0x1288
00001275: SWAP4
00001276: PUSH2 0x1280
00001279: SWAP2
0000127a: CALLDATASIZE
0000127b: SWAP2
0000127c: PUSH2 0x10e0
0000127f: JUMP
00001280: JUMPDEST
00001281: POP
00001282: CALLDATASIZE
00001283: SWAP2
00001284: PUSH2 0x10e0
00001287: JUMP
00001288: JUMPDEST
00001289: PUSH1 0x20
0000128b: DUP2
0000128c: ADD
0000128d: PUSH2 0xffff
00001290: DUP1
00001291: DUP3
00001292: MLOAD
00001293: AND
00001294: ISZERO
00001295: PUSH1 0x00
00001297: EQ
00001298: PUSH2 0x1349
0000129b: JUMPI
0000129c: DUP3
0000129d: MLOAD
0000129e: DUP4
0000129f: ADD
000012a0: SWAP2
000012a1: PUSH1 0x80
000012a3: DUP5
000012a4: DUP5
000012a5: SUB
000012a6: SLT
000012a7: PUSH2 0x0411
000012aa: JUMPI
000012ab: PUSH2 0x12b4
000012ae: SWAP1
000012af: MLOAD
000012b0: PUSH2 0x0405
000012b3: JUMP
000012b4: JUMPDEST
000012b5: PUSH1 0x40
000012b7: DUP4
000012b8: ADD
000012b9: MLOAD
000012ba: SWAP2
000012bb: PUSH1 0x01
000012bd: PUSH1 0x01
000012bf: PUSH1 0x40
000012c1: SHL
000012c2: SUB
000012c3: DUP4
000012c4: GT
000012c5: PUSH2 0x0411
000012c8: JUMPI
000012c9: PUSH32 0x5173fef6f1b23a3cfcc98bda8bb36526210a9322981b5f1bbaf955cb6bebeae7
000012ea: SWAP3
000012eb: PUSH1 0x20
000012ed: DUP1
000012ee: PUSH2 0x12fb
000012f1: SWAP4
000012f2: ADD
000012f3: SWAP2
000012f4: DUP7
000012f5: ADD
000012f6: ADD
000012f7: PUSH2 0x27bc
000012fa: JUMP
000012fb: JUMPDEST
000012fc: SWAP3
000012fd: PUSH2 0x0f81
00001300: PUSH2 0x131c
00001303: PUSH2 0x1315
00001306: PUSH1 0x80
00001308: PUSH1 0x60
0000130a: DUP6
0000130b: ADD
0000130c: MLOAD
0000130d: SWAP5
0000130e: ADD
0000130f: MLOAD
00001310: SWAP7
00001311: PUSH2 0x304a
00001314: JUMP
00001315: JUMPDEST
00001316: SWAP3
00001317: DUP4
00001318: PUSH2 0x3160
0000131b: JUMP
0000131c: JUMPDEST
0000131d: PUSH1 0x40
0000131f: DUP1
00001320: MLOAD
00001321: SWAP2
00001322: DUP3
00001323: MSTORE
00001324: TIMESTAMP
00001325: PUSH1 0x20
00001327: DUP4
00001328: ADD
00001329: MSTORE
0000132a: DUP2
0000132b: ADD
0000132c: SWAP6
0000132d: SWAP1
0000132e: SWAP6
0000132f: MSTORE
00001330: PUSH1 0x01
00001332: PUSH1 0x01
00001334: PUSH1 0xa0
00001336: SHL
00001337: SUB
00001338: SWAP1
00001339: SWAP2
0000133a: AND
0000133b: SWAP5
0000133c: SWAP1
0000133d: SWAP2
0000133e: AND
0000133f: SWAP3
00001340: SWAP1
00001341: DUP2
00001342: SWAP1
00001343: PUSH1 0x60
00001345: DUP3
00001346: ADD
00001347: SWAP1
00001348: JUMP
00001349: JUMPDEST
0000134a: PUSH1 0x40
0000134c: MLOAD
0000134d: PUSH3 0x461bcd
00001351: PUSH1 0xe5
00001353: SHL
00001354: DUP2
00001355: MSTORE
00001356: PUSH1 0x20
00001358: PUSH1 0x04
0000135a: DUP3
0000135b: ADD
0000135c: MSTORE
0000135d: PUSH1 0x1c
0000135f: PUSH1 0x24
00001361: DUP3
00001362: ADD
00001363: MSTORE
00001364: PUSH32 0x4f4654436f72653a20756e6b6e6f776e207061636b6574207479706500000000
00001385: PUSH1 0x44
00001387: DUP3
00001388: ADD
00001389: MSTORE
0000138a: PUSH1 0x64
0000138c: SWAP1
0000138d: REVERT
0000138e: JUMPDEST
0000138f: PUSH1 0x40
00001391: MLOAD
00001392: PUSH3 0x461bcd
00001396: PUSH1 0xe5
00001398: SHL
00001399: DUP2
0000139a: MSTORE
0000139b: PUSH1 0x20
0000139d: PUSH1 0x04
0000139f: DUP3
000013a0: ADD
000013a1: MSTORE
000013a2: PUSH1 0x26
000013a4: PUSH1 0x24
000013a6: DUP3
000013a7: ADD
000013a8: MSTORE
000013a9: PUSH32 0x4e6f6e626c6f636b696e674c7a4170703a2063616c6c6572206d757374206265
000013ca: PUSH1 0x44
000013cc: DUP3
000013cd: ADD
000013ce: MSTORE
000013cf: PUSH6 0x0204c7a41707
000013d6: PUSH1 0xd4
000013d8: SHL
000013d9: PUSH1 0x64
000013db: DUP3
000013dc: ADD
000013dd: MSTORE
000013de: PUSH1 0x84
000013e0: SWAP1
000013e1: REVERT
000013e2: JUMPDEST
000013e3: CALLVALUE
000013e4: PUSH2 0x0411
000013e7: JUMPI
000013e8: PUSH1 0x40
000013ea: CALLDATASIZE
000013eb: PUSH1 0x03
000013ed: NOT
000013ee: ADD
000013ef: SLT
000013f0: PUSH2 0x0411
000013f3: JUMPI
000013f4: PUSH1 0x04
000013f6: CALLDATALOAD
000013f7: PUSH2 0x13ff
000013fa: DUP2
000013fb: PUSH2 0x0875
000013fe: JUMP
000013ff: JUMPDEST
00001400: PUSH2 0x1407
00001403: PUSH2 0x09e2
00001406: JUMP
00001407: JUMPDEST
00001408: SWAP1
00001409: PUSH2 0x1410
0000140c: PUSH2 0x251d
0000140f: JUMP
00001410: JUMPDEST
00001411: PUSH1 0x01
00001413: DUP1
00001414: PUSH1 0xa0
00001416: SHL
00001417: SUB
00001418: AND
00001419: PUSH1 0x00
0000141b: MSTORE
0000141c: PUSH1 0x10
0000141e: PUSH1 0x20
00001420: MSTORE
00001421: PUSH1 0x40
00001423: PUSH1 0x00
00001425: KECCAK256
00001426: SWAP1
00001427: PUSH1 0xff
00001429: DUP1
0000142a: NOT
0000142b: DUP4
0000142c: SLOAD
0000142d: AND
0000142e: SWAP2
0000142f: ISZERO
00001430: ISZERO
00001431: AND
00001432: OR
00001433: SWAP1
00001434: SSTORE
00001435: PUSH1 0x00
00001437: DUP1
00001438: RETURN
00001439: JUMPDEST
0000143a: CALLVALUE
0000143b: PUSH2 0x0411
0000143e: JUMPI
0000143f: PUSH32 0x4454942e49ab848c7894e5831f6da90bfbb59f874a7e3b3066bd49d3540a8988
00001460: PUSH2 0x1468
00001463: CALLDATASIZE
00001464: PUSH2 0x0aa2
00001467: JUMP
00001468: JUMPDEST
00001469: SWAP1
0000146a: PUSH2 0x1471
0000146d: PUSH2 0x251d
00001470: JUMP
00001471: JUMPDEST
00001472: PUSH2 0xffff
00001475: PUSH2 0x148f
00001478: DUP2
00001479: DUP4
0000147a: AND
0000147b: SWAP2
0000147c: PUSH2 0x07d0
0000147f: DUP1
00001480: DUP5
00001481: GT
00001482: ISZERO
00001483: SWAP2
00001484: DUP3
00001485: PUSH2 0x0b5a
00001488: JUMPI
00001489: POP
0000148a: POP
0000148b: PUSH2 0x316b
0000148e: JUMP
0000148f: JUMPDEST
00001490: PUSH1 0x11
00001492: DUP1
00001493: SLOAD
00001494: PUSH4 0xffffffff
00001499: NOT
0000149a: AND
0000149b: SWAP1
0000149c: SWAP2
0000149d: OR
0000149e: PUSH1 0x10
000014a0: DUP5
000014a1: SWAP1
000014a2: SHL
000014a3: PUSH4 0xffff0000
000014a8: AND
000014a9: OR
000014aa: SWAP1
000014ab: SSTORE
000014ac: PUSH1 0x40
000014ae: DUP1
000014af: MLOAD
000014b0: PUSH2 0xffff
000014b3: SWAP3
000014b4: DUP4
000014b5: AND
000014b6: DUP2
000014b7: MSTORE
000014b8: SWAP2
000014b9: SWAP1
000014ba: SWAP3
000014bb: AND
000014bc: PUSH1 0x20
000014be: DUP3
000014bf: ADD
000014c0: MSTORE
000014c1: SWAP1
000014c2: DUP2
000014c3: SWAP1
000014c4: DUP2
000014c5: ADD
000014c6: PUSH2 0x0b55
000014c9: JUMP
000014ca: JUMPDEST
000014cb: CALLVALUE
000014cc: PUSH2 0x0411
000014cf: JUMPI
000014d0: PUSH1 0x20
000014d2: CALLDATASIZE
000014d3: PUSH1 0x03
000014d5: NOT
000014d6: ADD
000014d7: SLT
000014d8: PUSH2 0x0411
000014db: JUMPI
000014dc: PUSH1 0x04
000014de: CALLDATALOAD
000014df: PUSH2 0x14e7
000014e2: DUP2
000014e3: PUSH2 0x0875
000014e6: JUMP
000014e7: JUMPDEST
000014e8: PUSH1 0x01
000014ea: DUP1
000014eb: PUSH1 0xa0
000014ed: SHL
000014ee: SUB
000014ef: AND
000014f0: PUSH1 0x00
000014f2: MSTORE
000014f3: PUSH1 0x07
000014f5: PUSH1 0x20
000014f7: MSTORE
000014f8: PUSH1 0x20
000014fa: PUSH1 0x40
000014fc: PUSH1 0x00
000014fe: KECCAK256
000014ff: SLOAD
00001500: PUSH1 0x40
00001502: MLOAD
00001503: SWAP1
00001504: DUP2
00001505: MSTORE
00001506: RETURN
00001507: JUMPDEST
00001508: CALLVALUE
00001509: PUSH2 0x0411
0000150c: JUMPI
0000150d: PUSH1 0x00
0000150f: DUP1
00001510: PUSH1 0x03
00001512: NOT
00001513: CALLDATASIZE
00001514: ADD
00001515: SLT
00001516: PUSH2 0x07d3
00001519: JUMPI
0000151a: PUSH2 0x1521
0000151d: PUSH2 0x251d
00001520: JUMP
00001521: JUMPDEST
00001522: DUP1
00001523: SLOAD
00001524: PUSH1 0x01
00001526: PUSH1 0x01
00001528: PUSH1 0xa0
0000152a: SHL
0000152b: SUB
0000152c: NOT
0000152d: DUP2
0000152e: AND
0000152f: DUP3
00001530: SSTORE
00001531: DUP2
00001532: SWAP1
00001533: PUSH1 0x01
00001535: PUSH1 0x01
00001537: PUSH1 0xa0
00001539: SHL
0000153a: SUB
0000153b: AND
0000153c: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000155d: DUP3
0000155e: DUP1
0000155f: LOG3
00001560: DUP1
00001561: RETURN
00001562: JUMPDEST
00001563: SWAP1
00001564: PUSH1 0x01
00001566: DUP3
00001567: DUP2
00001568: SHR
00001569: SWAP3
0000156a: AND
0000156b: DUP1
0000156c: ISZERO
0000156d: PUSH2 0x1592
00001570: JUMPI
00001571: JUMPDEST
00001572: PUSH1 0x20
00001574: DUP4
00001575: LT
00001576: EQ
00001577: PUSH2 0x157c
0000157a: JUMPI
0000157b: JUMP
0000157c: JUMPDEST
0000157d: PUSH4 0x4e487b71
00001582: PUSH1 0xe0
00001584: SHL
00001585: PUSH1 0x00
00001587: MSTORE
00001588: PUSH1 0x22
0000158a: PUSH1 0x04
0000158c: MSTORE
0000158d: PUSH1 0x24
0000158f: PUSH1 0x00
00001591: REVERT
00001592: JUMPDEST
00001593: SWAP2
00001594: PUSH1 0x7f
00001596: AND
00001597: SWAP2
00001598: PUSH2 0x1571
0000159b: JUMP
0000159c: JUMPDEST
0000159d: SWAP1
0000159e: PUSH1 0x00
000015a0: SWAP3
000015a1: SWAP2
000015a2: DUP1
000015a3: SLOAD
000015a4: SWAP2
000015a5: PUSH2 0x15ad
000015a8: DUP4
000015a9: PUSH2 0x1562
000015ac: JUMP
000015ad: JUMPDEST
000015ae: SWAP2
000015af: DUP3
000015b0: DUP3
000015b1: MSTORE
000015b2: PUSH1 0x01
000015b4: SWAP4
000015b5: DUP5
000015b6: DUP2
000015b7: AND
000015b8: SWAP1
000015b9: DUP2
000015ba: PUSH1 0x00
000015bc: EQ
000015bd: PUSH2 0x160f
000015c0: JUMPI
000015c1: POP
000015c2: PUSH1 0x01
000015c4: EQ
000015c5: PUSH2 0x15cf
000015c8: JUMPI
000015c9: JUMPDEST
000015ca: POP
000015cb: POP
000015cc: POP
000015cd: POP
000015ce: JUMP
000015cf: JUMPDEST
000015d0: SWAP1
000015d1: SWAP2
000015d2: SWAP4
000015d3: SWAP5
000015d4: POP
000015d5: PUSH1 0x00
000015d7: MSTORE
000015d8: PUSH1 0x20
000015da: SWAP3
000015db: DUP4
000015dc: PUSH1 0x00
000015de: KECCAK256
000015df: SWAP3
000015e0: DUP5
000015e1: PUSH1 0x00
000015e3: SWAP5
000015e4: JUMPDEST
000015e5: DUP4
000015e6: DUP7
000015e7: LT
000015e8: PUSH2 0x15fb
000015eb: JUMPI
000015ec: POP
000015ed: POP
000015ee: POP
000015ef: POP
000015f0: ADD
000015f1: ADD
000015f2: SWAP1
000015f3: CODESIZE
000015f4: DUP1
000015f5: DUP1
000015f6: DUP1
000015f7: PUSH2 0x15c9
000015fa: JUMP
000015fb: JUMPDEST
000015fc: DUP1
000015fd: SLOAD
000015fe: DUP6
000015ff: DUP8
00001600: ADD
00001601: DUP4
00001602: ADD
00001603: MSTORE
00001604: SWAP5
00001605: ADD
00001606: SWAP4
00001607: DUP6
00001608: SWAP1
00001609: DUP3
0000160a: ADD
0000160b: PUSH2 0x15e4
0000160e: JUMP
0000160f: JUMPDEST
00001610: SWAP3
00001611: SWAP5
00001612: POP
00001613: POP
00001614: POP
00001615: PUSH1 0x20
00001617: SWAP4
00001618: SWAP5
00001619: POP
0000161a: PUSH1 0xff
0000161c: NOT
0000161d: AND
0000161e: DUP4
0000161f: DUP4
00001620: ADD
00001621: MSTORE
00001622: ISZERO
00001623: ISZERO
00001624: PUSH1 0x05
00001626: SHL
00001627: ADD
00001628: ADD
00001629: SWAP1
0000162a: CODESIZE
0000162b: DUP1
0000162c: DUP1
0000162d: DUP1
0000162e: PUSH2 0x15c9
00001631: JUMP
00001632: JUMPDEST
00001633: SWAP1
00001634: PUSH2 0x164d
00001637: PUSH2 0x1646
0000163a: SWAP3
0000163b: PUSH1 0x40
0000163d: MLOAD
0000163e: SWAP4
0000163f: DUP5
00001640: DUP1
00001641: SWAP3
00001642: PUSH2 0x159c
00001645: JUMP
00001646: JUMPDEST
00001647: SUB
00001648: DUP4
00001649: PUSH2 0x10a4
0000164c: JUMP
0000164d: JUMPDEST
0000164e: JUMP
0000164f: JUMPDEST
00001650: CALLVALUE
00001651: PUSH2 0x0411
00001654: JUMPI
00001655: PUSH1 0x20
00001657: CALLDATASIZE
00001658: PUSH1 0x03
0000165a: NOT
0000165b: ADD
0000165c: SLT
0000165d: PUSH2 0x0411
00001660: JUMPI
00001661: PUSH2 0xffff
00001664: PUSH1 0x04
00001666: CALLDATALOAD
00001667: PUSH2 0x166f
0000166a: DUP2
0000166b: PUSH2 0x0405
0000166e: JUMP
0000166f: JUMPDEST
00001670: AND
00001671: PUSH1 0x00
00001673: MSTORE
00001674: PUSH1 0x01
00001676: PUSH1 0x20
00001678: MSTORE
00001679: PUSH2 0x0695
0000167c: PUSH2 0x0c4f
0000167f: PUSH2 0x1692
00001682: PUSH1 0x40
00001684: PUSH1 0x00
00001686: KECCAK256
00001687: PUSH1 0x40
00001689: MLOAD
0000168a: SWAP3
0000168b: DUP4
0000168c: DUP1
0000168d: SWAP3
0000168e: PUSH2 0x159c
00001691: JUMP
00001692: JUMPDEST
00001693: PUSH1 0x40
00001695: MLOAD
00001696: SWAP2
00001697: DUP3
00001698: SWAP2
00001699: PUSH1 0x20
0000169b: DUP4
0000169c: MSTORE
0000169d: PUSH1 0x20
0000169f: DUP4
000016a0: ADD
000016a1: SWAP1
000016a2: PUSH2 0x06bc
000016a5: JUMP
000016a6: JUMPDEST
000016a7: CALLVALUE
000016a8: PUSH2 0x0411
000016ab: JUMPI
000016ac: PUSH1 0x00
000016ae: CALLDATASIZE
000016af: PUSH1 0x03
000016b1: NOT
000016b2: ADD
000016b3: SLT
000016b4: PUSH2 0x0411
000016b7: JUMPI
000016b8: PUSH1 0x0d
000016ba: SLOAD
000016bb: PUSH1 0x40
000016bd: MLOAD
000016be: PUSH1 0x01
000016c0: PUSH1 0x01
000016c2: PUSH1 0xa0
000016c4: SHL
000016c5: SUB
000016c6: SWAP1
000016c7: SWAP2
000016c8: AND
000016c9: DUP2
000016ca: MSTORE
000016cb: PUSH1 0x20
000016cd: SWAP1
000016ce: RETURN
000016cf: JUMPDEST
000016d0: CALLVALUE
000016d1: PUSH2 0x0411
000016d4: JUMPI
000016d5: PUSH1 0x40
000016d7: CALLDATASIZE
000016d8: PUSH1 0x03
000016da: NOT
000016db: ADD
000016dc: SLT
000016dd: PUSH2 0x0411
000016e0: JUMPI
000016e1: PUSH1 0x04
000016e3: CALLDATALOAD
000016e4: PUSH2 0x16ec
000016e7: DUP2
000016e8: PUSH2 0x0875
000016eb: JUMP
000016ec: JUMPDEST
000016ed: PUSH2 0x16f4
000016f0: PUSH2 0x09e2
000016f3: JUMP
000016f4: JUMPDEST
000016f5: PUSH2 0x16fc
000016f8: PUSH2 0x251d
000016fb: JUMP
000016fc: JUMPDEST
000016fd: PUSH2 0x1721
00001700: JUMPI
00001701: PUSH1 0x01
00001703: PUSH1 0x01
00001705: PUSH1 0xa0
00001707: SHL
00001708: SUB
00001709: AND
0000170a: PUSH1 0x00
0000170c: SWAP1
0000170d: DUP2
0000170e: MSTORE
0000170f: PUSH1 0x0f
00001711: PUSH1 0x20
00001713: MSTORE
00001714: PUSH1 0x40
00001716: SWAP1
00001717: KECCAK256
00001718: DUP1
00001719: SLOAD
0000171a: PUSH1 0xff
0000171c: NOT
0000171d: AND
0000171e: SWAP1
0000171f: SSTORE
00001720: STOP
00001721: JUMPDEST
00001722: PUSH1 0x01
00001724: PUSH1 0x01
00001726: PUSH1 0xa0
00001728: SHL
00001729: SUB
0000172a: DUP2
0000172b: AND
0000172c: PUSH1 0x00
0000172e: SWAP1
0000172f: DUP2
00001730: MSTORE
00001731: PUSH1 0x0f
00001733: PUSH1 0x20
00001735: MSTORE
00001736: PUSH1 0x40
00001738: SWAP1
00001739: KECCAK256
0000173a: SLOAD
0000173b: PUSH1 0xff
0000173d: AND
0000173e: PUSH2 0x1769
00001741: JUMPI
00001742: PUSH1 0x01
00001744: PUSH1 0x01
00001746: PUSH1 0xa0
00001748: SHL
00001749: SUB
0000174a: AND
0000174b: PUSH1 0x00
0000174d: SWAP1
0000174e: DUP2
0000174f: MSTORE
00001750: PUSH1 0x0f
00001752: PUSH1 0x20
00001754: MSTORE
00001755: PUSH1 0x40
00001757: SWAP1
00001758: KECCAK256
00001759: PUSH2 0x0019
0000175c: SWAP1
0000175d: DUP1
0000175e: SLOAD
0000175f: PUSH1 0xff
00001761: NOT
00001762: AND
00001763: PUSH1 0x01
00001765: OR
00001766: SWAP1
00001767: SSTORE
00001768: JUMP
00001769: JUMPDEST
0000176a: PUSH1 0x40
0000176c: MLOAD
0000176d: PUSH3 0x461bcd
00001771: PUSH1 0xe5
00001773: SHL
00001774: DUP2
00001775: MSTORE
00001776: PUSH1 0x20
00001778: PUSH1 0x04
0000177a: DUP3
0000177b: ADD
0000177c: MSTORE
0000177d: PUSH1 0x1b
0000177f: PUSH1 0x24
00001781: DUP3
00001782: ADD
00001783: MSTORE
00001784: PUSH32 0x5061697220616c726561647920616464656420746f206c6973742e0000000000
000017a5: PUSH1 0x44
000017a7: DUP3
000017a8: ADD
000017a9: MSTORE
000017aa: PUSH1 0x64
000017ac: SWAP1
000017ad: REVERT
000017ae: JUMPDEST
000017af: CALLVALUE
000017b0: PUSH2 0x0411
000017b3: JUMPI
000017b4: PUSH1 0x20
000017b6: PUSH2 0x17e5
000017b9: PUSH2 0xffff
000017bc: PUSH2 0x17c4
000017bf: CALLDATASIZE
000017c0: PUSH2 0x0aa2
000017c3: JUMP
000017c4: JUMPDEST
000017c5: SWAP2
000017c6: AND
000017c7: PUSH1 0x00
000017c9: MSTORE
000017ca: PUSH1 0x02
000017cc: DUP4
000017cd: MSTORE
000017ce: PUSH1 0x40
000017d0: PUSH1 0x00
000017d2: KECCAK256
000017d3: SWAP1
000017d4: PUSH2 0xffff
000017d7: AND
000017d8: PUSH1 0x00
000017da: MSTORE
000017db: PUSH1 0x20
000017dd: MSTORE
000017de: PUSH1 0x40
000017e0: PUSH1 0x00
000017e2: KECCAK256
000017e3: SWAP1
000017e4: JUMP
000017e5: JUMPDEST
000017e6: SLOAD
000017e7: PUSH1 0x40
000017e9: MLOAD
000017ea: SWAP1
000017eb: DUP2
000017ec: MSTORE
000017ed: RETURN
000017ee: JUMPDEST
000017ef: CALLVALUE
000017f0: PUSH2 0x0411
000017f3: JUMPI
000017f4: PUSH1 0x00
000017f6: CALLDATASIZE
000017f7: PUSH1 0x03
000017f9: NOT
000017fa: ADD
000017fb: SLT
000017fc: PUSH2 0x0411
000017ff: JUMPI
00001800: PUSH1 0x00
00001802: SLOAD
00001803: PUSH1 0x40
00001805: MLOAD
00001806: PUSH1 0x01
00001808: PUSH1 0x01
0000180a: PUSH1 0xa0
0000180c: SHL
0000180d: SUB
0000180e: SWAP1
0000180f: SWAP2
00001810: AND
00001811: DUP2
00001812: MSTORE
00001813: PUSH1 0x20
00001815: SWAP1
00001816: RETURN
00001817: JUMPDEST
00001818: CALLVALUE
00001819: PUSH2 0x0411
0000181c: JUMPI
0000181d: PUSH1 0x00
0000181f: CALLDATASIZE
00001820: PUSH1 0x03
00001822: NOT
00001823: ADD
00001824: SLT
00001825: PUSH2 0x0411
00001828: JUMPI
00001829: PUSH1 0x20
0000182b: PUSH1 0x09
0000182d: SLOAD
0000182e: ADDRESS
0000182f: PUSH1 0x00
00001831: MSTORE
00001832: PUSH1 0x07
00001834: DUP3
00001835: MSTORE
00001836: PUSH1 0x40
00001838: PUSH1 0x00
0000183a: KECCAK256
0000183b: SLOAD
0000183c: SWAP1
0000183d: SUB
0000183e: PUSH1 0x40
00001840: MLOAD
00001841: SWAP1
00001842: DUP2
00001843: MSTORE
00001844: RETURN
00001845: JUMPDEST
00001846: CALLVALUE
00001847: PUSH2 0x0411
0000184a: JUMPI
0000184b: PUSH1 0x00
0000184d: CALLDATASIZE
0000184e: PUSH1 0x03
00001850: NOT
00001851: ADD
00001852: SLT
00001853: PUSH2 0x0411
00001856: JUMPI
00001857: PUSH1 0x04
00001859: SLOAD
0000185a: PUSH1 0x40
0000185c: MLOAD
0000185d: PUSH1 0x01
0000185f: PUSH1 0x01
00001861: PUSH1 0xa0
00001863: SHL
00001864: SUB
00001865: SWAP1
00001866: SWAP2
00001867: AND
00001868: DUP2
00001869: MSTORE
0000186a: PUSH1 0x20
0000186c: SWAP1
0000186d: RETURN
0000186e: JUMPDEST
0000186f: CALLVALUE
00001870: PUSH2 0x0411
00001873: JUMPI
00001874: PUSH1 0x00
00001876: CALLDATASIZE
00001877: PUSH1 0x03
00001879: NOT
0000187a: ADD
0000187b: SLT
0000187c: PUSH2 0x0411
0000187f: JUMPI
00001880: PUSH1 0x20
00001882: PUSH1 0xff
00001884: PUSH1 0x0d
00001886: SLOAD
00001887: PUSH1 0xa0
00001889: SHR
0000188a: AND
0000188b: PUSH1 0x40
0000188d: MLOAD
0000188e: SWAP1
0000188f: ISZERO
00001890: ISZERO
00001891: DUP2
00001892: MSTORE
00001893: RETURN
00001894: JUMPDEST
00001895: CALLVALUE
00001896: PUSH2 0x0411
00001899: JUMPI
0000189a: PUSH1 0x00
0000189c: DUP1
0000189d: PUSH1 0x03
0000189f: NOT
000018a0: CALLDATASIZE
000018a1: ADD
000018a2: SLT
000018a3: PUSH2 0x07d3
000018a6: JUMPI
000018a7: PUSH1 0x40
000018a9: MLOAD
000018aa: SWAP1
000018ab: DUP1
000018ac: PUSH1 0x0b
000018ae: SLOAD
000018af: PUSH2 0x18b7
000018b2: DUP2
000018b3: PUSH2 0x1562
000018b6: JUMP
000018b7: JUMPDEST
000018b8: DUP1
000018b9: DUP6
000018ba: MSTORE
000018bb: SWAP2
000018bc: PUSH1 0x01
000018be: SWAP2
000018bf: DUP1
000018c0: DUP4
000018c1: AND
000018c2: SWAP1
000018c3: DUP2
000018c4: ISZERO
000018c5: PUSH2 0x07a9
000018c8: JUMPI
000018c9: POP
000018ca: PUSH1 0x01
000018cc: EQ
000018cd: PUSH2 0x18e0
000018d0: JUMPI
000018d1: PUSH2 0x0695
000018d4: DUP6
000018d5: PUSH2 0x0742
000018d8: DUP2
000018d9: DUP8
000018da: SUB
000018db: DUP3
000018dc: PUSH2 0x10a4
000018df: JUMP
000018e0: JUMPDEST
000018e1: SWAP3
000018e2: POP
000018e3: PUSH1 0x0b
000018e5: DUP4
000018e6: MSTORE
000018e7: PUSH32 0x0175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db9
00001908: JUMPDEST
00001909: DUP3
0000190a: DUP5
0000190b: LT
0000190c: PUSH2 0x1923
0000190f: JUMPI
00001910: POP
00001911: POP
00001912: POP
00001913: DUP2
00001914: ADD
00001915: PUSH1 0x20
00001917: ADD
00001918: PUSH2 0x0742
0000191b: DUP3
0000191c: PUSH2 0x0695
0000191f: PUSH2 0x0732
00001922: JUMP
00001923: JUMPDEST
00001924: DUP1
00001925: SLOAD
00001926: PUSH1 0x20
00001928: DUP6
00001929: DUP8
0000192a: ADD
0000192b: DUP2
0000192c: ADD
0000192d: SWAP2
0000192e: SWAP1
0000192f: SWAP2
00001930: MSTORE
00001931: SWAP1
00001932: SWAP4
00001933: ADD
00001934: SWAP3
00001935: DUP2
00001936: ADD
00001937: PUSH2 0x1908
0000193a: JUMP
0000193b: JUMPDEST
0000193c: CALLVALUE
0000193d: PUSH2 0x0411
00001940: JUMPI
00001941: PUSH1 0x20
00001943: CALLDATASIZE
00001944: PUSH1 0x03
00001946: NOT
00001947: ADD
00001948: SLT
00001949: PUSH2 0x0411
0000194c: JUMPI
0000194d: PUSH32 0xbeb8d57bdb4b60e02e3c19624d955df6b365570ea9a363f9f3bd226a36498520
0000196e: PUSH1 0x20
00001970: PUSH2 0x1977
00001973: PUSH2 0x09f1
00001976: JUMP
00001977: JUMPDEST
00001978: PUSH2 0x197f
0000197b: PUSH2 0x251d
0000197e: JUMP
0000197f: JUMPDEST
00001980: ISZERO
00001981: ISZERO
00001982: PUSH1 0x0d
00001984: SLOAD
00001985: PUSH1 0xff
00001987: PUSH1 0xa0
00001989: SHL
0000198a: DUP3
0000198b: PUSH1 0xa0
0000198d: SHL
0000198e: AND
0000198f: SWAP1
00001990: PUSH1 0xff
00001992: PUSH1 0xa0
00001994: SHL
00001995: NOT
00001996: AND
00001997: OR
00001998: PUSH1 0x0d
0000199a: SSTORE
0000199b: PUSH1 0x40
0000199d: MLOAD
0000199e: SWAP1
0000199f: DUP2
000019a0: MSTORE
000019a1: LOG1
000019a2: STOP
000019a3: JUMPDEST
000019a4: CALLVALUE
000019a5: PUSH2 0x0411
000019a8: JUMPI
000019a9: PUSH1 0x20
000019ab: CALLDATASIZE
000019ac: PUSH1 0x03
000019ae: NOT
000019af: ADD
000019b0: SLT
000019b1: PUSH2 0x0411
000019b4: JUMPI
000019b5: PUSH2 0xffff
000019b8: PUSH1 0x04
000019ba: CALLDATALOAD
000019bb: PUSH2 0x19c3
000019be: DUP2
000019bf: PUSH2 0x0405
000019c2: JUMP
000019c3: JUMPDEST
000019c4: AND
000019c5: PUSH1 0x00
000019c7: MSTORE
000019c8: PUSH1 0x01
000019ca: PUSH1 0x20
000019cc: MSTORE
000019cd: PUSH2 0x0c4f
000019d0: PUSH2 0x19e3
000019d3: PUSH1 0x40
000019d5: PUSH1 0x00
000019d7: KECCAK256
000019d8: PUSH1 0x40
000019da: MLOAD
000019db: SWAP3
000019dc: DUP4
000019dd: DUP1
000019de: SWAP3
000019df: PUSH2 0x159c
000019e2: JUMP
000019e3: JUMPDEST
000019e4: DUP1
000019e5: MLOAD
000019e6: ISZERO
000019e7: PUSH2 0x1a01
000019ea: JUMPI
000019eb: PUSH2 0x0742
000019ee: DUP2
000019ef: PUSH2 0x19fb
000019f2: PUSH2 0x0695
000019f5: SWAP4
000019f6: MLOAD
000019f7: PUSH2 0x28bf
000019fa: JUMP
000019fb: JUMPDEST
000019fc: SWAP1
000019fd: PUSH2 0x2958
00001a00: JUMP
00001a01: JUMPDEST
00001a02: PUSH1 0x40
00001a04: MLOAD
00001a05: PUSH3 0x461bcd
00001a09: PUSH1 0xe5
00001a0b: SHL
00001a0c: DUP2
00001a0d: MSTORE
00001a0e: PUSH1 0x20
00001a10: PUSH1 0x04
00001a12: DUP3
00001a13: ADD
00001a14: MSTORE
00001a15: PUSH1 0x1d
00001a17: PUSH1 0x24
00001a19: DUP3
00001a1a: ADD
00001a1b: MSTORE
00001a1c: PUSH32 0x4c7a4170703a206e6f20747275737465642070617468207265636f7264000000
00001a3d: PUSH1 0x44
00001a3f: DUP3
00001a40: ADD
00001a41: MSTORE
00001a42: PUSH1 0x64
00001a44: SWAP1
00001a45: REVERT
00001a46: JUMPDEST
00001a47: CALLVALUE
00001a48: PUSH2 0x0411
00001a4b: JUMPI
00001a4c: PUSH1 0x40
00001a4e: CALLDATASIZE
00001a4f: PUSH1 0x03
00001a51: NOT
00001a52: ADD
00001a53: SLT
00001a54: PUSH2 0x0411
00001a57: JUMPI
00001a58: PUSH1 0x04
00001a5a: CALLDATALOAD
00001a5b: PUSH2 0x1a63
00001a5e: DUP2
00001a5f: PUSH2 0x0875
00001a62: JUMP
00001a63: JUMPDEST
00001a64: PUSH1 0x24
00001a66: CALLDATALOAD
00001a67: SWAP1
00001a68: CALLER
00001a69: PUSH1 0x00
00001a6b: MSTORE
00001a6c: PUSH1 0x08
00001a6e: PUSH1 0x20
00001a70: MSTORE
00001a71: PUSH2 0x1a90
00001a74: DUP2
00001a75: PUSH1 0x40
00001a77: PUSH1 0x00
00001a79: KECCAK256
00001a7a: SWAP1
00001a7b: PUSH1 0x01
00001a7d: DUP1
00001a7e: PUSH1 0xa0
00001a80: SHL
00001a81: SUB
00001a82: AND
00001a83: PUSH1 0x00
00001a85: MSTORE
00001a86: PUSH1 0x20
00001a88: MSTORE
00001a89: PUSH1 0x40
00001a8b: PUSH1 0x00
00001a8d: KECCAK256
00001a8e: SWAP1
00001a8f: JUMP
00001a90: JUMPDEST
00001a91: SLOAD
00001a92: SWAP2
00001a93: DUP1
00001a94: DUP4
00001a95: LT
00001a96: PUSH2 0x1ab1
00001a99: JUMPI
00001a9a: PUSH2 0x1aa5
00001a9d: SWAP3
00001a9e: SUB
00001a9f: SWAP1
00001aa0: CALLER
00001aa1: PUSH2 0x2599
00001aa4: JUMP
00001aa5: JUMPDEST
00001aa6: PUSH1 0x40
00001aa8: MLOAD
00001aa9: PUSH1 0x01
00001aab: DUP2
00001aac: MSTORE
00001aad: PUSH1 0x20
00001aaf: SWAP1
00001ab0: RETURN
00001ab1: JUMPDEST
00001ab2: PUSH1 0x40
00001ab4: MLOAD
00001ab5: PUSH3 0x461bcd
00001ab9: PUSH1 0xe5
00001abb: SHL
00001abc: DUP2
00001abd: MSTORE
00001abe: PUSH1 0x20
00001ac0: PUSH1 0x04
00001ac2: DUP3
00001ac3: ADD
00001ac4: MSTORE
00001ac5: PUSH1 0x25
00001ac7: PUSH1 0x24
00001ac9: DUP3
00001aca: ADD
00001acb: MSTORE
00001acc: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77
00001aed: PUSH1 0x44
00001aef: DUP3
00001af0: ADD
00001af1: MSTORE
00001af2: PUSH5 0x207a65726f
00001af8: PUSH1 0xd8
00001afa: SHL
00001afb: PUSH1 0x64
00001afd: DUP3
00001afe: ADD
00001aff: MSTORE
00001b00: PUSH1 0x84
00001b02: SWAP1
00001b03: REVERT
00001b04: JUMPDEST
00001b05: CALLVALUE
00001b06: PUSH2 0x0411
00001b09: JUMPI
00001b0a: PUSH2 0x1b12
00001b0d: CALLDATASIZE
00001b0e: PUSH2 0x0bdf
00001b11: JUMP
00001b12: JUMPDEST
00001b13: SWAP1
00001b14: PUSH2 0x1b1b
00001b17: PUSH2 0x251d
00001b1a: JUMP
00001b1b: JUMPDEST
00001b1c: PUSH1 0x40
00001b1e: MLOAD
00001b1f: SWAP3
00001b20: PUSH1 0x20
00001b22: SWAP3
00001b23: DUP1
00001b24: DUP4
00001b25: DUP6
00001b26: DUP8
00001b27: ADD
00001b28: CALLDATACOPY
00001b29: PUSH2 0x1b47
00001b2c: PUSH1 0x34
00001b2e: DUP7
00001b2f: DUP4
00001b30: DUP2
00001b31: ADD
00001b32: ADDRESS
00001b33: PUSH1 0x60
00001b35: SHL
00001b36: DUP9
00001b37: DUP3
00001b38: ADD
00001b39: MSTORE
00001b3a: SUB
00001b3b: PUSH1 0x14
00001b3d: DUP2
00001b3e: ADD
00001b3f: DUP9
00001b40: MSTORE
00001b41: ADD
00001b42: DUP7
00001b43: PUSH2 0x10a4
00001b46: JUMP
00001b47: JUMPDEST
00001b48: PUSH1 0x00
00001b4a: SWAP4
00001b4b: PUSH2 0xffff
00001b4e: DUP4
00001b4f: AND
00001b50: DUP6
00001b51: MSTORE
00001b52: PUSH1 0x01
00001b54: SWAP1
00001b55: DUP2
00001b56: DUP2
00001b57: MSTORE
00001b58: PUSH1 0x40
00001b5a: DUP7
00001b5b: KECCAK256
00001b5c: SWAP2
00001b5d: DUP8
00001b5e: MLOAD
00001b5f: SWAP2
00001b60: PUSH1 0x01
00001b62: PUSH1 0x01
00001b64: PUSH1 0x40
00001b66: SHL
00001b67: SUB
00001b68: DUP4
00001b69: GT
00001b6a: PUSH2 0x1084
00001b6d: JUMPI
00001b6e: PUSH2 0x1b81
00001b71: DUP4
00001b72: PUSH2 0x1b7b
00001b75: DUP7
00001b76: SLOAD
00001b77: PUSH2 0x1562
00001b7a: JUMP
00001b7b: JUMPDEST
00001b7c: DUP7
00001b7d: PUSH2 0x286b
00001b80: JUMP
00001b81: JUMPDEST
00001b82: DUP1
00001b83: PUSH1 0x1f
00001b85: DUP5
00001b86: GT
00001b87: PUSH1 0x01
00001b89: EQ
00001b8a: PUSH2 0x1bf1
00001b8d: JUMPI
00001b8e: POP
00001b8f: SWAP2
00001b90: DUP1
00001b91: DUP1
00001b92: SWAP3
00001b93: PUSH2 0x1be0
00001b96: SWAP7
00001b97: SWAP6
00001b98: SWAP5
00001b99: DUP11
00001b9a: SWAP12
00001b9b: PUSH32 0x8c0400cfe2d1199b1a725c78960bcc2a344d869b80590d0f2bd005db15a572ce
00001bbc: SWAP12
00001bbd: SWAP5
00001bbe: PUSH2 0x1be6
00001bc1: JUMPI
00001bc2: JUMPDEST
00001bc3: POP
00001bc4: POP
00001bc5: SHL
00001bc6: SWAP2
00001bc7: PUSH1 0x00
00001bc9: NOT
00001bca: SWAP1
00001bcb: PUSH1 0x03
00001bcd: SHL
00001bce: SHR
00001bcf: NOT
00001bd0: AND
00001bd1: OR
00001bd2: SWAP1
00001bd3: SSTORE
00001bd4: JUMPDEST
00001bd5: PUSH1 0x40
00001bd7: MLOAD
00001bd8: SWAP4
00001bd9: DUP5
00001bda: SWAP4
00001bdb: DUP5
00001bdc: PUSH2 0x2850
00001bdf: JUMP
00001be0: JUMPDEST
00001be1: SUB
00001be2: SWAP1
00001be3: LOG1
00001be4: DUP1
00001be5: RETURN
00001be6: JUMPDEST
00001be7: ADD
00001be8: MLOAD
00001be9: SWAP3
00001bea: POP
00001beb: CODESIZE
00001bec: DUP1
00001bed: PUSH2 0x1bc2
00001bf0: JUMP
00001bf1: JUMPDEST
00001bf2: SWAP2
00001bf3: SWAP4
00001bf4: SWAP5
00001bf5: SWAP9
00001bf6: PUSH1 0x1f
00001bf8: NOT
00001bf9: DUP5
00001bfa: AND
00001bfb: PUSH2 0x1c09
00001bfe: DUP8
00001bff: PUSH1 0x00
00001c01: MSTORE
00001c02: PUSH1 0x20
00001c04: PUSH1 0x00
00001c06: KECCAK256
00001c07: SWAP1
00001c08: JUMP
00001c09: JUMPDEST
00001c0a: SWAP4
00001c0b: DUP11
00001c0c: SWAP1
00001c0d: JUMPDEST
00001c0e: DUP3
00001c0f: DUP3
00001c10: LT
00001c11: PUSH2 0x1c70
00001c14: JUMPI
00001c15: POP
00001c16: POP
00001c17: SWAP2
00001c18: PUSH32 0x8c0400cfe2d1199b1a725c78960bcc2a344d869b80590d0f2bd005db15a572ce
00001c39: SWAP10
00001c3a: SWAP11
00001c3b: SWAP6
00001c3c: SWAP4
00001c3d: SWAP2
00001c3e: DUP6
00001c3f: PUSH2 0x1be0
00001c42: SWAP9
00001c43: SWAP7
00001c44: SWAP5
00001c45: LT
00001c46: PUSH2 0x1c57
00001c49: JUMPI
00001c4a: JUMPDEST
00001c4b: POP
00001c4c: POP
00001c4d: POP
00001c4e: DUP2
00001c4f: SHL
00001c50: ADD
00001c51: SWAP1
00001c52: SSTORE
00001c53: PUSH2 0x1bd4
00001c56: JUMP
00001c57: JUMPDEST
00001c58: ADD
00001c59: MLOAD
00001c5a: PUSH1 0x00
00001c5c: NOT
00001c5d: PUSH1 0xf8
00001c5f: DUP5
00001c60: PUSH1 0x03
00001c62: SHL
00001c63: AND
00001c64: SHR
00001c65: NOT
00001c66: AND
00001c67: SWAP1
00001c68: SSTORE
00001c69: CODESIZE
00001c6a: DUP1
00001c6b: DUP1
00001c6c: PUSH2 0x1c4a
00001c6f: JUMP
00001c70: JUMPDEST
00001c71: DUP1
00001c72: DUP9
00001c73: DUP7
00001c74: SWAP8
00001c75: DUP3
00001c76: SWAP5
00001c77: SWAP8
00001c78: DUP8
00001c79: ADD
00001c7a: MLOAD
00001c7b: DUP2
00001c7c: SSTORE
00001c7d: ADD
00001c7e: SWAP7
00001c7f: ADD
00001c80: SWAP5
00001c81: ADD
00001c82: SWAP1
00001c83: PUSH2 0x1c0d
00001c86: JUMP
00001c87: JUMPDEST
00001c88: CALLVALUE
00001c89: PUSH2 0x0411
00001c8c: JUMPI
00001c8d: PUSH1 0x40
00001c8f: CALLDATASIZE
00001c90: PUSH1 0x03
00001c92: NOT
00001c93: ADD
00001c94: SLT
00001c95: PUSH2 0x0411
00001c98: JUMPI
00001c99: PUSH2 0x08b0
00001c9c: PUSH1 0x04
00001c9e: CALLDATALOAD
00001c9f: PUSH2 0x1ca7
00001ca2: DUP2
00001ca3: PUSH2 0x0875
00001ca6: JUMP
00001ca7: JUMPDEST
00001ca8: PUSH1 0x24
00001caa: CALLDATALOAD
00001cab: SWAP1
00001cac: CALLER
00001cad: PUSH2 0x31b7
00001cb0: JUMP
00001cb1: JUMPDEST
00001cb2: CALLVALUE
00001cb3: PUSH2 0x0411
00001cb6: JUMPI
00001cb7: PUSH1 0x00
00001cb9: CALLDATASIZE
00001cba: PUSH1 0x03
00001cbc: NOT
00001cbd: ADD
00001cbe: SLT
00001cbf: PUSH2 0x0411
00001cc2: JUMPI
00001cc3: PUSH1 0x40
00001cc5: MLOAD
00001cc6: PUSH32 0x00000000000000000000000066a71dcef29a0ffbdbe3c6a460a3b5bc225cd675
00001ce7: PUSH1 0x01
00001ce9: PUSH1 0x01
00001ceb: PUSH1 0xa0
00001ced: SHL
00001cee: SUB
00001cef: AND
00001cf0: DUP2
00001cf1: MSTORE
00001cf2: PUSH1 0x20
00001cf4: SWAP1
00001cf5: RETURN
00001cf6: JUMPDEST
00001cf7: CALLVALUE
00001cf8: PUSH2 0x0411
00001cfb: JUMPI
00001cfc: PUSH1 0x20
00001cfe: CALLDATASIZE
00001cff: PUSH1 0x03
00001d01: NOT
00001d02: ADD
00001d03: SLT
00001d04: PUSH2 0x0411
00001d07: JUMPI
00001d08: PUSH32 0x5db758e995a17ec1ad84bdef7e8c3293a0bd6179bcce400dff5d4c3d87db726b
00001d29: PUSH1 0x20
00001d2b: PUSH1 0x04
00001d2d: CALLDATALOAD
00001d2e: PUSH2 0x1d36
00001d31: DUP2
00001d32: PUSH2 0x0875
00001d35: JUMP
00001d36: JUMPDEST
00001d37: PUSH2 0x1d3e
00001d3a: PUSH2 0x251d
00001d3d: JUMP
00001d3e: JUMPDEST
00001d3f: PUSH1 0x04
00001d41: DUP1
00001d42: SLOAD
00001d43: PUSH1 0x01
00001d45: PUSH1 0x01
00001d47: PUSH1 0xa0
00001d49: SHL
00001d4a: SUB
00001d4b: NOT
00001d4c: AND
00001d4d: PUSH1 0x01
00001d4f: PUSH1 0x01
00001d51: PUSH1 0xa0
00001d53: SHL
00001d54: SUB
00001d55: SWAP3
00001d56: SWAP1
00001d57: SWAP3
00001d58: AND
00001d59: SWAP2
00001d5a: DUP3
00001d5b: OR
00001d5c: SWAP1
00001d5d: SSTORE
00001d5e: PUSH1 0x40
00001d60: MLOAD
00001d61: SWAP1
00001d62: DUP2
00001d63: MSTORE
00001d64: LOG1
00001d65: STOP
00001d66: JUMPDEST
00001d67: CALLVALUE
00001d68: PUSH2 0x0411
00001d6b: JUMPI
00001d6c: PUSH1 0x00
00001d6e: CALLDATASIZE
00001d6f: PUSH1 0x03
00001d71: NOT
00001d72: ADD
00001d73: SLT
00001d74: PUSH2 0x0411
00001d77: JUMPI
00001d78: PUSH1 0x20
00001d7a: PUSH1 0x40
00001d7c: MLOAD
00001d7d: PUSH2 0x2710
00001d80: DUP2
00001d81: MSTORE
00001d82: RETURN
00001d83: JUMPDEST
00001d84: CALLVALUE
00001d85: PUSH2 0x0411
00001d88: JUMPI
00001d89: PUSH1 0x00
00001d8b: CALLDATASIZE
00001d8c: PUSH1 0x03
00001d8e: NOT
00001d8f: ADD
00001d90: SLT
00001d91: PUSH2 0x0411
00001d94: JUMPI
00001d95: PUSH1 0x12
00001d97: SLOAD
00001d98: PUSH1 0x40
00001d9a: DUP1
00001d9b: MLOAD
00001d9c: PUSH2 0xffff
00001d9f: DUP1
00001da0: DUP5
00001da1: AND
00001da2: DUP3
00001da3: MSTORE
00001da4: PUSH1 0x10
00001da6: SWAP4
00001da7: SWAP1
00001da8: SWAP4
00001da9: SHR
00001daa: SWAP1
00001dab: SWAP3
00001dac: AND
00001dad: PUSH1 0x20
00001daf: DUP4
00001db0: ADD
00001db1: MSTORE
00001db2: SWAP1
00001db3: RETURN
00001db4: JUMPDEST
00001db5: CALLVALUE
00001db6: PUSH2 0x0411
00001db9: JUMPI
00001dba: PUSH1 0x80
00001dbc: CALLDATASIZE
00001dbd: PUSH1 0x03
00001dbf: NOT
00001dc0: ADD
00001dc1: SLT
00001dc2: PUSH2 0x0411
00001dc5: JUMPI
00001dc6: PUSH1 0x04
00001dc8: CALLDATALOAD
00001dc9: PUSH2 0x1dd1
00001dcc: DUP2
00001dcd: PUSH2 0x0405
00001dd0: JUMP
00001dd1: JUMPDEST
00001dd2: PUSH1 0x24
00001dd4: CALLDATALOAD
00001dd5: PUSH2 0x1ddd
00001dd8: DUP2
00001dd9: PUSH2 0x0405
00001ddc: JUMP
00001ddd: JUMPDEST
00001dde: PUSH1 0x64
00001de0: CALLDATALOAD
00001de1: PUSH1 0x01
00001de3: PUSH1 0x01
00001de5: PUSH1 0x40
00001de7: SHL
00001de8: SUB
00001de9: DUP2
00001dea: GT
00001deb: PUSH2 0x0411
00001dee: JUMPI
00001def: PUSH2 0x1dfc
00001df2: SWAP1
00001df3: CALLDATASIZE
00001df4: SWAP1
00001df5: PUSH1 0x04
00001df7: ADD
00001df8: PUSH2 0x0416
00001dfb: JUMP
00001dfc: JUMPDEST
00001dfd: SWAP1
00001dfe: SWAP3
00001dff: PUSH2 0x1e06
00001e02: PUSH2 0x251d
00001e05: JUMP
00001e06: JUMPDEST
00001e07: PUSH32 0x00000000000000000000000066a71dcef29a0ffbdbe3c6a460a3b5bc225cd675
00001e28: PUSH1 0x01
00001e2a: PUSH1 0x01
00001e2c: PUSH1 0xa0
00001e2e: SHL
00001e2f: SUB
00001e30: AND
00001e31: SWAP1
00001e32: DUP2
00001e33: EXTCODESIZE
00001e34: ISZERO
00001e35: PUSH2 0x0411
00001e38: JUMPI
00001e39: PUSH1 0x00
00001e3b: DUP1
00001e3c: SWAP5
00001e3d: PUSH2 0x1e7d
00001e40: PUSH1 0x40
00001e42: MLOAD
00001e43: SWAP8
00001e44: DUP9
00001e45: SWAP7
00001e46: DUP8
00001e47: SWAP6
00001e48: DUP7
00001e49: SWAP5
00001e4a: PUSH4 0x32fb62e7
00001e4f: PUSH1 0xe2
00001e51: SHL
00001e52: DUP7
00001e53: MSTORE
00001e54: PUSH2 0xffff
00001e57: DUP1
00001e58: SWAP3
00001e59: AND
00001e5a: PUSH1 0x04
00001e5c: DUP8
00001e5d: ADD
00001e5e: MSTORE
00001e5f: AND
00001e60: PUSH1 0x24
00001e62: DUP6
00001e63: ADD
00001e64: MSTORE
00001e65: PUSH1 0x44
00001e67: CALLDATALOAD
00001e68: PUSH1 0x44
00001e6a: DUP6
00001e6b: ADD
00001e6c: MSTORE
00001e6d: PUSH1 0x80
00001e6f: PUSH1 0x64
00001e71: DUP6
00001e72: ADD
00001e73: MSTORE
00001e74: PUSH1 0x84
00001e76: DUP5
00001e77: ADD
00001e78: SWAP2
00001e79: PUSH2 0x282f
00001e7c: JUMP
00001e7d: JUMPDEST
00001e7e: SUB
00001e7f: SWAP3
00001e80: GAS
00001e81: CALL
00001e82: DUP1
00001e83: ISZERO
00001e84: PUSH2 0x086c
00001e87: JUMPI
00001e88: PUSH2 0x1e8d
00001e8b: JUMPI
00001e8c: STOP
00001e8d: JUMPDEST
00001e8e: DUP1
00001e8f: PUSH2 0x1e9a
00001e92: PUSH2 0x0019
00001e95: SWAP3
00001e96: PUSH2 0x1071
00001e99: JUMP
00001e9a: JUMPDEST
00001e9b: DUP1
00001e9c: PUSH2 0x063c
00001e9f: JUMP
00001ea0: JUMPDEST
00001ea1: PUSH2 0x1ea9
00001ea4: CALLDATASIZE
00001ea5: PUSH2 0x0443
00001ea8: JUMP
00001ea9: JUMPDEST
00001eaa: SWAP2
00001eab: PUSH2 0xffff
00001eae: DUP7
00001eaf: SWAP5
00001eb0: SWAP3
00001eb1: SWAP7
00001eb2: AND
00001eb3: PUSH1 0x00
00001eb5: MSTORE
00001eb6: PUSH1 0x05
00001eb8: PUSH1 0x20
00001eba: MSTORE
00001ebb: PUSH2 0x1ef0
00001ebe: DUP2
00001ebf: PUSH1 0x40
00001ec1: PUSH1 0x00
00001ec3: KECCAK256
00001ec4: PUSH1 0x20
00001ec6: PUSH1 0x40
00001ec8: MLOAD
00001ec9: DUP1
00001eca: SWAP3
00001ecb: DUP8
00001ecc: DUP12
00001ecd: DUP4
00001ece: CALLDATACOPY
00001ecf: DUP8
00001ed0: DUP3
00001ed1: ADD
00001ed2: SWAP1
00001ed3: DUP2
00001ed4: MSTORE
00001ed5: SUB
00001ed6: ADD
00001ed7: SWAP1
00001ed8: KECCAK256
00001ed9: SWAP1
00001eda: PUSH1 0x01
00001edc: PUSH1 0x01
00001ede: PUSH1 0x40
00001ee0: SHL
00001ee1: SUB
00001ee2: AND
00001ee3: PUSH1 0x00
00001ee5: MSTORE
00001ee6: PUSH1 0x20
00001ee8: MSTORE
00001ee9: PUSH1 0x40
00001eeb: PUSH1 0x00
00001eed: KECCAK256
00001eee: SWAP1
00001eef: JUMP
00001ef0: JUMPDEST
00001ef1: SLOAD
00001ef2: SWAP2
00001ef3: DUP3
00001ef4: ISZERO
00001ef5: PUSH2 0x1f89
00001ef8: JUMPI
00001ef9: PUSH32 0xc264d91f3adc5588250e1551f547752ca0cfa8f6b530d243b9f9f4cab10ea8e5
00001f1a: SWAP7
00001f1b: PUSH2 0x0b55
00001f1e: SWAP5
00001f1f: PUSH2 0x1f7d
00001f22: SWAP2
00001f23: PUSH2 0x1f77
00001f26: SWAP2
00001f27: PUSH1 0x00
00001f29: PUSH2 0x1f6b
00001f2c: DUP8
00001f2d: PUSH2 0x11c0
00001f30: DUP14
00001f31: DUP10
00001f32: PUSH2 0x1f65
00001f35: DUP16
00001f36: PUSH2 0x1f51
00001f39: DUP16
00001f3a: PUSH2 0x1f44
00001f3d: CALLDATASIZE
00001f3e: DUP13
00001f3f: DUP15
00001f40: PUSH2 0x10e0
00001f43: JUMP
00001f44: JUMPDEST
00001f45: PUSH1 0x20
00001f47: DUP2
00001f48: MLOAD
00001f49: SWAP2
00001f4a: ADD
00001f4b: KECCAK256
00001f4c: EQ
00001f4d: PUSH2 0x2b8f
00001f50: JUMP
00001f51: JUMPDEST
00001f52: PUSH2 0xffff
00001f55: AND
00001f56: PUSH1 0x00
00001f58: MSTORE
00001f59: PUSH1 0x05
00001f5b: PUSH1 0x20
00001f5d: MSTORE
00001f5e: PUSH1 0x40
00001f60: PUSH1 0x00
00001f62: KECCAK256
00001f63: SWAP1
00001f64: JUMP
00001f65: JUMPDEST
00001f66: SWAP2
00001f67: PUSH2 0x2b76
00001f6a: JUMP
00001f6b: JUMPDEST
00001f6c: SSTORE
00001f6d: PUSH2 0x1280
00001f70: CALLDATASIZE
00001f71: DUP7
00001f72: DUP13
00001f73: PUSH2 0x10e0
00001f76: JUMP
00001f77: JUMPDEST
00001f78: DUP7
00001f79: PUSH2 0x2d53
00001f7c: JUMP
00001f7d: JUMPDEST
00001f7e: PUSH1 0x40
00001f80: MLOAD
00001f81: SWAP6
00001f82: DUP7
00001f83: SWAP6
00001f84: DUP7
00001f85: PUSH2 0x2be5
00001f88: JUMP
00001f89: JUMPDEST
00001f8a: PUSH1 0x40
00001f8c: MLOAD
00001f8d: PUSH3 0x461bcd
00001f91: PUSH1 0xe5
00001f93: SHL
00001f94: DUP2
00001f95: MSTORE
00001f96: PUSH1 0x20
00001f98: PUSH1 0x04
00001f9a: DUP3
00001f9b: ADD
00001f9c: MSTORE
00001f9d: PUSH1 0x23
00001f9f: PUSH1 0x24
00001fa1: DUP3
00001fa2: ADD
00001fa3: MSTORE
00001fa4: PUSH32 0x4e6f6e626c6f636b696e674c7a4170703a206e6f2073746f726564206d657373
00001fc5: PUSH1 0x44
00001fc7: DUP3
00001fc8: ADD
00001fc9: MSTORE
00001fca: PUSH3 0x616765
00001fce: PUSH1 0xe8
00001fd0: SHL
00001fd1: PUSH1 0x64
00001fd3: DUP3
00001fd4: ADD
00001fd5: MSTORE
00001fd6: PUSH1 0x84
00001fd8: SWAP1
00001fd9: REVERT
00001fda: JUMPDEST
00001fdb: CALLVALUE
00001fdc: PUSH2 0x0411
00001fdf: JUMPI
00001fe0: PUSH1 0x00
00001fe2: CALLDATASIZE
00001fe3: PUSH1 0x03
00001fe5: NOT
00001fe6: ADD
00001fe7: SLT
00001fe8: PUSH2 0x0411
00001feb: JUMPI
00001fec: PUSH1 0x40
00001fee: MLOAD
00001fef: PUSH1 0x01
00001ff1: PUSH1 0x80
00001ff3: SHL
00001ff4: DUP2
00001ff5: MSTORE
00001ff6: PUSH1 0x20
00001ff8: SWAP1
00001ff9: RETURN
00001ffa: JUMPDEST
00001ffb: CALLVALUE
00001ffc: PUSH2 0x0411
00001fff: JUMPI
00002000: PUSH1 0x40
00002002: CALLDATASIZE
00002003: PUSH1 0x03
00002005: NOT
00002006: ADD
00002007: SLT
00002008: PUSH2 0x0411
0000200b: JUMPI
0000200c: PUSH1 0x20
0000200e: PUSH2 0x17e5
00002011: PUSH1 0x04
00002013: CALLDATALOAD
00002014: PUSH2 0x201c
00002017: DUP2
00002018: PUSH2 0x0875
0000201b: JUMP
0000201c: JUMPDEST
0000201d: PUSH1 0x24
0000201f: CALLDATALOAD
00002020: SWAP1
00002021: PUSH2 0x2029
00002024: DUP3
00002025: PUSH2 0x0875
00002028: JUMP
00002029: JUMPDEST
0000202a: PUSH1 0x01
0000202c: DUP1
0000202d: PUSH1 0xa0
0000202f: SHL
00002030: SUB
00002031: AND
00002032: PUSH1 0x00
00002034: MSTORE
00002035: PUSH1 0x08
00002037: DUP4
00002038: MSTORE
00002039: PUSH1 0x40
0000203b: PUSH1 0x00
0000203d: KECCAK256
0000203e: SWAP1
0000203f: PUSH1 0x01
00002041: DUP1
00002042: PUSH1 0xa0
00002044: SHL
00002045: SUB
00002046: AND
00002047: PUSH1 0x00
00002049: MSTORE
0000204a: PUSH1 0x20
0000204c: MSTORE
0000204d: PUSH1 0x40
0000204f: PUSH1 0x00
00002051: KECCAK256
00002052: SWAP1
00002053: JUMP
00002054: JUMPDEST
00002055: CALLVALUE
00002056: PUSH2 0x0411
00002059: JUMPI
0000205a: PUSH1 0x60
0000205c: CALLDATASIZE
0000205d: PUSH1 0x03
0000205f: NOT
00002060: ADD
00002061: SLT
00002062: PUSH2 0x0411
00002065: JUMPI
00002066: PUSH1 0x04
00002068: CALLDATALOAD
00002069: PUSH2 0x2071
0000206c: DUP2
0000206d: PUSH2 0x0405
00002070: JUMP
00002071: JUMPDEST
00002072: PUSH1 0x24
00002074: CALLDATALOAD
00002075: PUSH2 0x207d
00002078: DUP2
00002079: PUSH2 0x0405
0000207c: JUMP
0000207d: JUMPDEST
0000207e: PUSH1 0x44
00002080: CALLDATALOAD
00002081: SWAP2
00002082: PUSH2 0x2089
00002085: PUSH2 0x251d
00002088: JUMP
00002089: JUMPDEST
0000208a: DUP3
0000208b: ISZERO
0000208c: PUSH2 0x2104
0000208f: JUMPI
00002090: PUSH2 0x0b55
00002093: PUSH32 0x9d5c7c0b934da8fefa9c7760c98383778a12dfbfc0c3b3106518f43fb9508ac0
000020b4: SWAP4
000020b5: PUSH2 0xffff
000020b8: DUP4
000020b9: AND
000020ba: PUSH1 0x00
000020bc: MSTORE
000020bd: PUSH1 0x02
000020bf: PUSH1 0x20
000020c1: MSTORE
000020c2: DUP1
000020c3: PUSH2 0x20de
000020c6: DUP6
000020c7: PUSH1 0x40
000020c9: PUSH1 0x00
000020cb: KECCAK256
000020cc: SWAP1
000020cd: PUSH2 0xffff
000020d0: AND
000020d1: PUSH1 0x00
000020d3: MSTORE
000020d4: PUSH1 0x20
000020d6: MSTORE
000020d7: PUSH1 0x40
000020d9: PUSH1 0x00
000020db: KECCAK256
000020dc: SWAP1
000020dd: JUMP
000020de: JUMPDEST
000020df: SSTORE
000020e0: PUSH1 0x40
000020e2: MLOAD
000020e3: SWAP4
000020e4: DUP5
000020e5: SWAP4
000020e6: DUP5
000020e7: PUSH1 0x40
000020e9: SWAP2
000020ea: SWAP5
000020eb: SWAP4
000020ec: SWAP3
000020ed: SWAP5
000020ee: PUSH1 0x60
000020f0: DUP3
000020f1: ADD
000020f2: SWAP6
000020f3: PUSH2 0xffff
000020f6: DUP1
000020f7: SWAP3
000020f8: AND
000020f9: DUP4
000020fa: MSTORE
000020fb: AND
000020fc: PUSH1 0x20
000020fe: DUP3
000020ff: ADD
00002100: MSTORE
00002101: ADD
00002102: MSTORE
00002103: JUMP
00002104: JUMPDEST
00002105: PUSH1 0x40
00002107: MLOAD
00002108: PUSH3 0x461bcd
0000210c: PUSH1 0xe5
0000210e: SHL
0000210f: DUP2
00002110: MSTORE
00002111: PUSH1 0x20
00002113: PUSH1 0x04
00002115: DUP3
00002116: ADD
00002117: MSTORE
00002118: PUSH1 0x15
0000211a: PUSH1 0x24
0000211c: DUP3
0000211d: ADD
0000211e: MSTORE
0000211f: PUSH21 0x4c7a4170703a20696e76616c6964206d696e476173
00002135: PUSH1 0x58
00002137: SHL
00002138: PUSH1 0x44
0000213a: DUP3
0000213b: ADD
0000213c: MSTORE
0000213d: PUSH1 0x64
0000213f: SWAP1
00002140: REVERT
00002141: JUMPDEST
00002142: CALLVALUE
00002143: PUSH2 0x0411
00002146: JUMPI
00002147: PUSH1 0x20
00002149: CALLDATASIZE
0000214a: PUSH1 0x03
0000214c: NOT
0000214d: ADD
0000214e: SLT
0000214f: PUSH2 0x0411
00002152: JUMPI
00002153: PUSH1 0x04
00002155: CALLDATALOAD
00002156: PUSH1 0x0e
00002158: SLOAD
00002159: DUP2
0000215a: LT
0000215b: ISZERO
0000215c: PUSH2 0x0411
0000215f: JUMPI
00002160: PUSH1 0x0e
00002162: PUSH1 0x00
00002164: MSTORE
00002165: PUSH32 0xbb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c3fd
00002186: ADD
00002187: SLOAD
00002188: PUSH1 0x40
0000218a: MLOAD
0000218b: PUSH1 0x01
0000218d: PUSH1 0x01
0000218f: PUSH1 0xa0
00002191: SHL
00002192: SUB
00002193: SWAP1
00002194: SWAP2
00002195: AND
00002196: DUP2
00002197: MSTORE
00002198: PUSH1 0x20
0000219a: SWAP1
0000219b: RETURN
0000219c: JUMPDEST
0000219d: CALLVALUE
0000219e: PUSH2 0x0411
000021a1: JUMPI
000021a2: PUSH1 0x20
000021a4: CALLDATASIZE
000021a5: PUSH1 0x03
000021a7: NOT
000021a8: ADD
000021a9: SLT
000021aa: PUSH2 0x0411
000021ad: JUMPI
000021ae: PUSH32 0x1584ad594a70cbe1e6515592e1272a987d922b097ead875069cebe8b40c004a4
000021cf: PUSH1 0x20
000021d1: PUSH2 0x21d8
000021d4: PUSH2 0x09f1
000021d7: JUMP
000021d8: JUMPDEST
000021d9: PUSH2 0x21e0
000021dc: PUSH2 0x251d
000021df: JUMP
000021e0: JUMPDEST
000021e1: ISZERO
000021e2: ISZERO
000021e3: PUSH1 0xff
000021e5: NOT
000021e6: PUSH1 0x06
000021e8: SLOAD
000021e9: AND
000021ea: PUSH1 0xff
000021ec: DUP3
000021ed: AND
000021ee: OR
000021ef: PUSH1 0x06
000021f1: SSTORE
000021f2: PUSH1 0x40
000021f4: MLOAD
000021f5: SWAP1
000021f6: DUP2
000021f7: MSTORE
000021f8: LOG1
000021f9: STOP
000021fa: JUMPDEST
000021fb: CALLVALUE
000021fc: PUSH2 0x0411
000021ff: JUMPI
00002200: PUSH2 0x2208
00002203: CALLDATASIZE
00002204: PUSH2 0x0bdf
00002207: JUMP
00002208: JUMPDEST
00002209: SWAP2
0000220a: SWAP1
0000220b: PUSH2 0x2212
0000220e: PUSH2 0x251d
00002211: JUMP
00002212: JUMPDEST
00002213: PUSH1 0x00
00002215: SWAP2
00002216: PUSH2 0xffff
00002219: DUP2
0000221a: AND
0000221b: DUP4
0000221c: MSTORE
0000221d: PUSH1 0x01
0000221f: PUSH1 0x20
00002221: SWAP1
00002222: DUP1
00002223: DUP3
00002224: MSTORE
00002225: PUSH1 0x40
00002227: DUP6
00002228: KECCAK256
00002229: SWAP2
0000222a: PUSH1 0x01
0000222c: PUSH1 0x01
0000222e: PUSH1 0x40
00002230: SHL
00002231: SUB
00002232: DUP8
00002233: GT
00002234: PUSH2 0x1084
00002237: JUMPI
00002238: PUSH2 0x224b
0000223b: DUP8
0000223c: PUSH2 0x2245
0000223f: DUP6
00002240: SLOAD
00002241: PUSH2 0x1562
00002244: JUMP
00002245: JUMPDEST
00002246: DUP6
00002247: PUSH2 0x286b
0000224a: JUMP
0000224b: JUMPDEST
0000224c: DUP6
0000224d: SWAP1
0000224e: PUSH1 0x1f
00002250: DUP9
00002251: GT
00002252: PUSH1 0x01
00002254: EQ
00002255: PUSH2 0x22b2
00002258: JUMPI
00002259: POP
0000225a: SWAP2
0000225b: DUP7
0000225c: DUP1
0000225d: DUP8
0000225e: SWAP9
0000225f: SWAP4
00002260: PUSH2 0x1be0
00002263: SWAP6
00002264: PUSH32 0xfa41487ad5d6728f0b19276fa1eddc16558578f5109fc39d2dc33c3230470dab
00002285: SWAP10
00002286: SWAP4
00002287: PUSH2 0x22a7
0000228a: JUMPI
0000228b: JUMPDEST
0000228c: POP
0000228d: SHL
0000228e: SWAP1
0000228f: PUSH1 0x00
00002291: NOT
00002292: DUP5
00002293: PUSH1 0x03
00002295: SHL
00002296: SHR
00002297: NOT
00002298: AND
00002299: OR
0000229a: SWAP1
0000229b: SSTORE
0000229c: PUSH1 0x40
0000229e: MLOAD
0000229f: SWAP4
000022a0: DUP5
000022a1: SWAP4
000022a2: DUP5
000022a3: PUSH2 0x2850
000022a6: JUMP
000022a7: JUMPDEST
000022a8: DUP9
000022a9: ADD
000022aa: CALLDATALOAD
000022ab: SWAP3
000022ac: POP
000022ad: CODESIZE
000022ae: PUSH2 0x228b
000022b1: JUMP
000022b2: JUMPDEST
000022b3: SWAP1
000022b4: PUSH1 0x1f
000022b6: NOT
000022b7: DUP9
000022b8: AND
000022b9: PUSH2 0x22c7
000022bc: DUP6
000022bd: PUSH1 0x00
000022bf: MSTORE
000022c0: PUSH1 0x20
000022c2: PUSH1 0x00
000022c4: KECCAK256
000022c5: SWAP1
000022c6: JUMP
000022c7: JUMPDEST
000022c8: SWAP3
000022c9: DUP9
000022ca: SWAP1
000022cb: JUMPDEST
000022cc: DUP3
000022cd: DUP3
000022ce: LT
000022cf: PUSH2 0x232d
000022d2: JUMPI
000022d3: POP
000022d4: POP
000022d5: SWAP2
000022d6: DUP9
000022d7: SWAP4
000022d8: SWAP2
000022d9: PUSH32 0xfa41487ad5d6728f0b19276fa1eddc16558578f5109fc39d2dc33c3230470dab
000022fa: SWAP9
000022fb: SWAP10
000022fc: PUSH2 0x1be0
000022ff: SWAP7
00002300: SWAP5
00002301: LT
00002302: PUSH2 0x2313
00002305: JUMPI
00002306: JUMPDEST
00002307: POP
00002308: POP
00002309: DUP3
0000230a: DUP2
0000230b: SHL
0000230c: ADD
0000230d: SWAP1
0000230e: SSTORE
0000230f: PUSH2 0x1bd4
00002312: JUMP
00002313: JUMPDEST
00002314: DUP8
00002315: ADD
00002316: CALLDATALOAD
00002317: PUSH1 0x00
00002319: NOT
0000231a: PUSH1 0x03
0000231c: DUP7
0000231d: SWAP1
0000231e: SHL
0000231f: PUSH1 0xf8
00002321: AND
00002322: SHR
00002323: NOT
00002324: AND
00002325: SWAP1
00002326: SSTORE
00002327: CODESIZE
00002328: DUP1
00002329: PUSH2 0x2306
0000232c: JUMP
0000232d: JUMPDEST
0000232e: DUP1
0000232f: DUP7
00002330: DUP6
00002331: SWAP7
00002332: DUP3
00002333: SWAP5
00002334: SWAP7
00002335: DUP13
00002336: ADD
00002337: CALLDATALOAD
00002338: DUP2
00002339: SSTORE
0000233a: ADD
0000233b: SWAP6
0000233c: ADD
0000233d: SWAP4
0000233e: ADD
0000233f: SWAP1
00002340: PUSH2 0x22cb
00002343: JUMP
00002344: JUMPDEST
00002345: CALLVALUE
00002346: PUSH2 0x0411
00002349: JUMPI
0000234a: PUSH1 0x00
0000234c: CALLDATASIZE
0000234d: PUSH1 0x03
0000234f: NOT
00002350: ADD
00002351: SLT
00002352: PUSH2 0x0411
00002355: JUMPI
00002356: PUSH1 0x20
00002358: PUSH1 0xff
0000235a: PUSH1 0x06
0000235c: SLOAD
0000235d: AND
0000235e: PUSH1 0x40
00002360: MLOAD
00002361: SWAP1
00002362: ISZERO
00002363: ISZERO
00002364: DUP2
00002365: MSTORE
00002366: RETURN
00002367: JUMPDEST
00002368: CALLVALUE
00002369: PUSH2 0x0411
0000236c: JUMPI
0000236d: PUSH1 0x20
0000236f: CALLDATASIZE
00002370: PUSH1 0x03
00002372: NOT
00002373: ADD
00002374: SLT
00002375: PUSH2 0x0411
00002378: JUMPI
00002379: PUSH1 0x04
0000237b: CALLDATALOAD
0000237c: PUSH2 0x2384
0000237f: DUP2
00002380: PUSH2 0x0875
00002383: JUMP
00002384: JUMPDEST
00002385: PUSH2 0x238c
00002388: PUSH2 0x251d
0000238b: JUMP
0000238c: JUMPDEST
0000238d: PUSH1 0x01
0000238f: PUSH1 0x01
00002391: PUSH1 0xa0
00002393: SHL
00002394: SUB
00002395: SWAP1
00002396: DUP2
00002397: AND
00002398: DUP1
00002399: ISZERO
0000239a: PUSH2 0x23da
0000239d: JUMPI
0000239e: PUSH1 0x00
000023a0: DUP1
000023a1: SLOAD
000023a2: PUSH1 0x01
000023a4: PUSH1 0x01
000023a6: PUSH1 0xa0
000023a8: SHL
000023a9: SUB
000023aa: NOT
000023ab: DUP2
000023ac: AND
000023ad: DUP4
000023ae: OR
000023af: DUP3
000023b0: SSTORE
000023b1: SWAP1
000023b2: SWAP3
000023b3: AND
000023b4: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000023d5: DUP4
000023d6: DUP1
000023d7: LOG3
000023d8: DUP1
000023d9: RETURN
000023da: JUMPDEST
000023db: PUSH1 0x40
000023dd: MLOAD
000023de: PUSH3 0x461bcd
000023e2: PUSH1 0xe5
000023e4: SHL
000023e5: DUP2
000023e6: MSTORE
000023e7: PUSH1 0x20
000023e9: PUSH1 0x04
000023eb: DUP3
000023ec: ADD
000023ed: MSTORE
000023ee: PUSH1 0x26
000023f0: PUSH1 0x24
000023f2: DUP3
000023f3: ADD
000023f4: MSTORE
000023f5: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00002416: PUSH1 0x44
00002418: DUP3
00002419: ADD
0000241a: MSTORE
0000241b: PUSH6 0x646472657373
00002422: PUSH1 0xd0
00002424: SHL
00002425: PUSH1 0x64
00002427: DUP3
00002428: ADD
00002429: MSTORE
0000242a: PUSH1 0x84
0000242c: SWAP1
0000242d: REVERT
0000242e: JUMPDEST
0000242f: CALLVALUE
00002430: PUSH2 0x0411
00002433: JUMPI
00002434: PUSH1 0x80
00002436: CALLDATASIZE
00002437: PUSH1 0x03
00002439: NOT
0000243a: ADD
0000243b: SLT
0000243c: PUSH2 0x0411
0000243f: JUMPI
00002440: PUSH1 0x04
00002442: CALLDATALOAD
00002443: PUSH2 0x244b
00002446: DUP2
00002447: PUSH2 0x0405
0000244a: JUMP
0000244b: JUMPDEST
0000244c: PUSH1 0x24
0000244e: CALLDATALOAD
0000244f: SWAP1
00002450: PUSH2 0x2458
00002453: DUP3
00002454: PUSH2 0x0405
00002457: JUMP
00002458: JUMPDEST
00002459: PUSH2 0x2463
0000245c: PUSH1 0x44
0000245e: CALLDATALOAD
0000245f: PUSH2 0x0875
00002462: JUMP
00002463: JUMPDEST
00002464: PUSH1 0x40
00002466: MLOAD
00002467: PUSH4 0x3d7b2f6f
0000246c: PUSH1 0xe2
0000246e: SHL
0000246f: DUP2
00002470: MSTORE
00002471: PUSH2 0xffff
00002474: SWAP2
00002475: DUP3
00002476: AND
00002477: PUSH1 0x04
00002479: DUP3
0000247a: ADD
0000247b: MSTORE
0000247c: SWAP2
0000247d: AND
0000247e: PUSH1 0x24
00002480: DUP3
00002481: ADD
00002482: MSTORE
00002483: ADDRESS
00002484: PUSH1 0x44
00002486: DUP3
00002487: ADD
00002488: MSTORE
00002489: PUSH1 0x64
0000248b: DUP1
0000248c: CALLDATALOAD
0000248d: SWAP1
0000248e: DUP3
0000248f: ADD
00002490: MSTORE
00002491: PUSH1 0x00
00002493: DUP2
00002494: PUSH1 0x84
00002496: DUP2
00002497: PUSH32 0x00000000000000000000000066a71dcef29a0ffbdbe3c6a460a3b5bc225cd675
000024b8: PUSH1 0x01
000024ba: PUSH1 0x01
000024bc: PUSH1 0xa0
000024be: SHL
000024bf: SUB
000024c0: AND
000024c1: GAS
000024c2: STATICCALL
000024c3: DUP1
000024c4: ISZERO
000024c5: PUSH2 0x086c
000024c8: JUMPI
000024c9: PUSH2 0x0695
000024cc: SWAP2
000024cd: PUSH1 0x00
000024cf: SWAP2
000024d0: PUSH2 0x24e1
000024d3: JUMPI
000024d4: JUMPDEST
000024d5: POP
000024d6: PUSH1 0x40
000024d8: MLOAD
000024d9: SWAP2
000024da: DUP3
000024db: SWAP2
000024dc: DUP3
000024dd: PUSH2 0x06e1
000024e0: JUMP
000024e1: JUMPDEST
000024e2: PUSH2 0x24fc
000024e5: SWAP2
000024e6: RETURNDATASIZE
000024e7: DUP1
000024e8: SWAP2
000024e9: DUP4
000024ea: RETURNDATACOPY
000024eb: PUSH2 0x24f4
000024ee: DUP2
000024ef: DUP4
000024f0: PUSH2 0x10a4
000024f3: JUMP
000024f4: JUMPDEST
000024f5: DUP2
000024f6: ADD
000024f7: SWAP1
000024f8: PUSH2 0x27fe
000024fb: JUMP
000024fc: JUMPDEST
000024fd: CODESIZE
000024fe: PUSH2 0x24d4
00002501: JUMP
00002502: JUMPDEST
00002503: CALLVALUE
00002504: PUSH2 0x0411
00002507: JUMPI
00002508: PUSH1 0x00
0000250a: CALLDATASIZE
0000250b: PUSH1 0x03
0000250d: NOT
0000250e: ADD
0000250f: SLT
00002510: PUSH2 0x0411
00002513: JUMPI
00002514: PUSH1 0x20
00002516: PUSH1 0x40
00002518: MLOAD
00002519: ADDRESS
0000251a: DUP2
0000251b: MSTORE
0000251c: RETURN
0000251d: JUMPDEST
0000251e: PUSH1 0x00
00002520: SLOAD
00002521: PUSH1 0x01
00002523: PUSH1 0x01
00002525: PUSH1 0xa0
00002527: SHL
00002528: SUB
00002529: AND
0000252a: CALLER
0000252b: SUB
0000252c: PUSH2 0x2531
0000252f: JUMPI
00002530: JUMP
00002531: JUMPDEST
00002532: PUSH1 0x64
00002534: PUSH1 0x40
00002536: MLOAD
00002537: PUSH3 0x461bcd
0000253b: PUSH1 0xe5
0000253d: SHL
0000253e: DUP2
0000253f: MSTORE
00002540: PUSH1 0x20
00002542: PUSH1 0x04
00002544: DUP3
00002545: ADD
00002546: MSTORE
00002547: PUSH1 0x20
00002549: PUSH1 0x24
0000254b: DUP3
0000254c: ADD
0000254d: MSTORE
0000254e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000256f: PUSH1 0x44
00002571: DUP3
00002572: ADD
00002573: MSTORE
00002574: REVERT
00002575: JUMPDEST
00002576: PUSH4 0x4e487b71
0000257b: PUSH1 0xe0
0000257d: SHL
0000257e: PUSH1 0x00
00002580: MSTORE
00002581: PUSH1 0x11
00002583: PUSH1 0x04
00002585: MSTORE
00002586: PUSH1 0x24
00002588: PUSH1 0x00
0000258a: REVERT
0000258b: JUMPDEST
0000258c: SWAP1
0000258d: PUSH1 0x1f
0000258f: DUP3
00002590: ADD
00002591: DUP1
00002592: SWAP3
00002593: GT
00002594: PUSH2 0x0bda
00002597: JUMPI
00002598: JUMP
00002599: JUMPDEST
0000259a: PUSH1 0x01
0000259c: PUSH1 0x01
0000259e: PUSH1 0xa0
000025a0: SHL
000025a1: SUB
000025a2: DUP1
000025a3: DUP3
000025a4: AND
000025a5: SWAP3
000025a6: SWAP2
000025a7: SWAP1
000025a8: DUP4
000025a9: ISZERO
000025aa: PUSH2 0x2678
000025ad: JUMPI
000025ae: DUP3
000025af: AND
000025b0: SWAP4
000025b1: DUP5
000025b2: ISZERO
000025b3: PUSH2 0x2628
000025b6: JUMPI
000025b7: DUP1
000025b8: PUSH2 0x2612
000025bb: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000025dc: SWAP5
000025dd: PUSH2 0x25fb
000025e0: PUSH2 0x2623
000025e3: SWAP6
000025e4: PUSH1 0x01
000025e6: DUP1
000025e7: PUSH1 0xa0
000025e9: SHL
000025ea: SUB
000025eb: AND
000025ec: PUSH1 0x00
000025ee: MSTORE
000025ef: PUSH1 0x08
000025f1: PUSH1 0x20
000025f3: MSTORE
000025f4: PUSH1 0x40
000025f6: PUSH1 0x00
000025f8: KECCAK256
000025f9: SWAP1
000025fa: JUMP
000025fb: JUMPDEST
000025fc: SWAP1
000025fd: PUSH1 0x01
000025ff: DUP1
00002600: PUSH1 0xa0
00002602: SHL
00002603: SUB
00002604: AND
00002605: PUSH1 0x00
00002607: MSTORE
00002608: PUSH1 0x20
0000260a: MSTORE
0000260b: PUSH1 0x40
0000260d: PUSH1 0x00
0000260f: KECCAK256
00002610: SWAP1
00002611: JUMP
00002612: JUMPDEST
00002613: SSTORE
00002614: PUSH1 0x40
00002616: MLOAD
00002617: SWAP1
00002618: DUP2
00002619: MSTORE
0000261a: SWAP1
0000261b: DUP2
0000261c: SWAP1
0000261d: PUSH1 0x20
0000261f: DUP3
00002620: ADD
00002621: SWAP1
00002622: JUMP
00002623: JUMPDEST
00002624: SUB
00002625: SWAP1
00002626: LOG3
00002627: JUMP
00002628: JUMPDEST
00002629: PUSH1 0x40
0000262b: MLOAD
0000262c: PUSH3 0x461bcd
00002630: PUSH1 0xe5
00002632: SHL
00002633: DUP2
00002634: MSTORE
00002635: PUSH1 0x20
00002637: PUSH1 0x04
00002639: DUP3
0000263a: ADD
0000263b: MSTORE
0000263c: PUSH1 0x22
0000263e: PUSH1 0x24
00002640: DUP3
00002641: ADD
00002642: MSTORE
00002643: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00002664: PUSH1 0x44
00002666: DUP3
00002667: ADD
00002668: MSTORE
00002669: PUSH2 0x7373
0000266c: PUSH1 0xf0
0000266e: SHL
0000266f: PUSH1 0x64
00002671: DUP3
00002672: ADD
00002673: MSTORE
00002674: PUSH1 0x84
00002676: SWAP1
00002677: REVERT
00002678: JUMPDEST
00002679: PUSH1 0x40
0000267b: MLOAD
0000267c: PUSH3 0x461bcd
00002680: PUSH1 0xe5
00002682: SHL
00002683: DUP2
00002684: MSTORE
00002685: PUSH1 0x20
00002687: PUSH1 0x04
00002689: DUP3
0000268a: ADD
0000268b: MSTORE
0000268c: PUSH1 0x24
0000268e: DUP1
0000268f: DUP3
00002690: ADD
00002691: MSTORE
00002692: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
000026b3: PUSH1 0x44
000026b5: DUP3
000026b6: ADD
000026b7: MSTORE
000026b8: PUSH4 0x72657373
000026bd: PUSH1 0xe0
000026bf: SHL
000026c0: PUSH1 0x64
000026c2: DUP3
000026c3: ADD
000026c4: MSTORE
000026c5: PUSH1 0x84
000026c7: SWAP1
000026c8: REVERT
000026c9: JUMPDEST
000026ca: PUSH1 0x01
000026cc: PUSH1 0x01
000026ce: PUSH1 0xa0
000026d0: SHL
000026d1: SUB
000026d2: DUP1
000026d3: DUP3
000026d4: AND
000026d5: PUSH1 0x00
000026d7: SWAP1
000026d8: DUP2
000026d9: MSTORE
000026da: PUSH1 0x08
000026dc: PUSH1 0x20
000026de: SWAP1
000026df: DUP2
000026e0: MSTORE
000026e1: PUSH1 0x40
000026e3: DUP1
000026e4: DUP4
000026e5: KECCAK256
000026e6: SWAP4
000026e7: DUP7
000026e8: AND
000026e9: DUP4
000026ea: MSTORE
000026eb: SWAP3
000026ec: SWAP1
000026ed: MSTORE
000026ee: KECCAK256
000026ef: SWAP1
000026f0: SWAP2
000026f1: SWAP1
000026f2: SLOAD
000026f3: SWAP3
000026f4: PUSH1 0x01
000026f6: DUP5
000026f7: ADD
000026f8: PUSH2 0x2701
000026fb: JUMPI
000026fc: POP
000026fd: POP
000026fe: POP
000026ff: POP
00002700: JUMP
00002701: JUMPDEST
00002702: DUP1
00002703: DUP5
00002704: LT
00002705: PUSH2 0x271c
00002708: JUMPI
00002709: PUSH2 0x2713
0000270c: SWAP4
0000270d: SUB
0000270e: SWAP2
0000270f: PUSH2 0x2599
00002712: JUMP
00002713: JUMPDEST
00002714: CODESIZE
00002715: DUP1
00002716: DUP1
00002717: DUP1
00002718: PUSH2 0x15c9
0000271b: JUMP
0000271c: JUMPDEST
0000271d: PUSH1 0x40
0000271f: MLOAD
00002720: PUSH3 0x461bcd
00002724: PUSH1 0xe5
00002726: SHL
00002727: DUP2
00002728: MSTORE
00002729: PUSH1 0x20
0000272b: PUSH1 0x04
0000272d: DUP3
0000272e: ADD
0000272f: MSTORE
00002730: PUSH1 0x1d
00002732: PUSH1 0x24
00002734: DUP3
00002735: ADD
00002736: MSTORE
00002737: PUSH32 0x45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000
00002758: PUSH1 0x44
0000275a: DUP3
0000275b: ADD
0000275c: MSTORE
0000275d: PUSH1 0x64
0000275f: SWAP1
00002760: REVERT
00002761: JUMPDEST
00002762: ISZERO
00002763: PUSH2 0x2768
00002766: JUMPI
00002767: JUMP
00002768: JUMPDEST
00002769: PUSH1 0x40
0000276b: MLOAD
0000276c: PUSH3 0x461bcd
00002770: PUSH1 0xe5
00002772: SHL
00002773: DUP2
00002774: MSTORE
00002775: PUSH1 0x20
00002777: PUSH1 0x04
00002779: DUP3
0000277a: ADD
0000277b: MSTORE
0000277c: PUSH1 0x26
0000277e: PUSH1 0x24
00002780: DUP3
00002781: ADD
00002782: MSTORE
00002783: PUSH32 0x4c7a4170703a20696e76616c696420736f757263652073656e64696e6720636f
000027a4: PUSH1 0x44
000027a6: DUP3
000027a7: ADD
000027a8: MSTORE
000027a9: PUSH6 0x1b9d1c9858dd
000027b0: PUSH1 0xd2
000027b2: SHL
000027b3: PUSH1 0x64
000027b5: DUP3
000027b6: ADD
000027b7: MSTORE
000027b8: PUSH1 0x84
000027ba: SWAP1
000027bb: REVERT
000027bc: JUMPDEST
000027bd: DUP2
000027be: PUSH1 0x1f
000027c0: DUP3
000027c1: ADD
000027c2: SLT
000027c3: ISZERO
000027c4: PUSH2 0x0411
000027c7: JUMPI
000027c8: DUP1
000027c9: MLOAD
000027ca: PUSH2 0x27d2
000027cd: DUP2
000027ce: PUSH2 0x10c5
000027d1: JUMP
000027d2: JUMPDEST
000027d3: SWAP3
000027d4: PUSH2 0x27e0
000027d7: PUSH1 0x40
000027d9: MLOAD
000027da: SWAP5
000027db: DUP6
000027dc: PUSH2 0x10a4
000027df: JUMP
000027e0: JUMPDEST
000027e1: DUP2
000027e2: DUP5
000027e3: MSTORE
000027e4: PUSH1 0x20
000027e6: DUP3
000027e7: DUP5
000027e8: ADD
000027e9: ADD
000027ea: GT
000027eb: PUSH2 0x0411
000027ee: JUMPI
000027ef: PUSH2 0x06f2
000027f2: SWAP2
000027f3: PUSH1 0x20
000027f5: DUP1
000027f6: DUP6
000027f7: ADD
000027f8: SWAP2
000027f9: ADD
000027fa: PUSH2 0x0699
000027fd: JUMP
000027fe: JUMPDEST
000027ff: SWAP1
00002800: PUSH1 0x20
00002802: DUP3
00002803: DUP3
00002804: SUB
00002805: SLT
00002806: PUSH2 0x0411
00002809: JUMPI
0000280a: DUP2
0000280b: MLOAD
0000280c: PUSH1 0x01
0000280e: PUSH1 0x01
00002810: PUSH1 0x40
00002812: SHL
00002813: SUB
00002814: DUP2
00002815: GT
00002816: PUSH2 0x0411
00002819: JUMPI
0000281a: PUSH2 0x06f2
0000281d: SWAP3
0000281e: ADD
0000281f: PUSH2 0x27bc
00002822: JUMP
00002823: JUMPDEST
00002824: PUSH1 0x40
00002826: MLOAD
00002827: RETURNDATASIZE
00002828: PUSH1 0x00
0000282a: DUP3
0000282b: RETURNDATACOPY
0000282c: RETURNDATASIZE
0000282d: SWAP1
0000282e: REVERT
0000282f: JUMPDEST
00002830: SWAP1
00002831: DUP1
00002832: PUSH1 0x20
00002834: SWAP4
00002835: SWAP3
00002836: DUP2
00002837: DUP5
00002838: MSTORE
00002839: DUP5
0000283a: DUP5
0000283b: ADD
0000283c: CALLDATACOPY
0000283d: PUSH1 0x00
0000283f: DUP3
00002840: DUP3
00002841: ADD
00002842: DUP5
00002843: ADD
00002844: MSTORE
00002845: PUSH1 0x1f
00002847: ADD
00002848: PUSH1 0x1f
0000284a: NOT
0000284b: AND
0000284c: ADD
0000284d: ADD
0000284e: SWAP1
0000284f: JUMP
00002850: JUMPDEST
00002851: PUSH1 0x40
00002853: SWAP1
00002854: PUSH2 0xffff
00002857: PUSH2 0x06f2
0000285a: SWAP6
0000285b: SWAP4
0000285c: AND
0000285d: DUP2
0000285e: MSTORE
0000285f: DUP2
00002860: PUSH1 0x20
00002862: DUP3
00002863: ADD
00002864: MSTORE
00002865: ADD
00002866: SWAP2
00002867: PUSH2 0x282f
0000286a: JUMP
0000286b: JUMPDEST
0000286c: SWAP1
0000286d: PUSH1 0x1f
0000286f: DUP2
00002870: GT
00002871: PUSH2 0x2879
00002874: JUMPI
00002875: POP
00002876: POP
00002877: POP
00002878: JUMP
00002879: JUMPDEST
0000287a: PUSH1 0x00
0000287c: SWAP2
0000287d: DUP3
0000287e: MSTORE
0000287f: PUSH1 0x20
00002881: DUP3
00002882: KECCAK256
00002883: SWAP1
00002884: PUSH1 0x20
00002886: PUSH1 0x1f
00002888: DUP6
00002889: ADD
0000288a: PUSH1 0x05
0000288c: SHR
0000288d: DUP4
0000288e: ADD
0000288f: SWAP5
00002890: LT
00002891: PUSH2 0x28b5
00002894: JUMPI
00002895: JUMPDEST
00002896: PUSH1 0x1f
00002898: ADD
00002899: PUSH1 0x05
0000289b: SHR
0000289c: ADD
0000289d: SWAP2
0000289e: JUMPDEST
0000289f: DUP3
000028a0: DUP2
000028a1: LT
000028a2: PUSH2 0x28aa
000028a5: JUMPI
000028a6: POP
000028a7: POP
000028a8: POP
000028a9: JUMP
000028aa: JUMPDEST
000028ab: DUP2
000028ac: DUP2
000028ad: SSTORE
000028ae: PUSH1 0x01
000028b0: ADD
000028b1: PUSH2 0x289e
000028b4: JUMP
000028b5: JUMPDEST
000028b6: SWAP1
000028b7: SWAP3
000028b8: POP
000028b9: DUP3
000028ba: SWAP1
000028bb: PUSH2 0x2895
000028be: JUMP
000028bf: JUMPDEST
000028c0: PUSH1 0x13
000028c2: NOT
000028c3: DUP2
000028c4: ADD
000028c5: SWAP2
000028c6: SWAP1
000028c7: DUP3
000028c8: GT
000028c9: PUSH2 0x0bda
000028cc: JUMPI
000028cd: JUMP
000028ce: JUMPDEST
000028cf: SWAP2
000028d0: SWAP1
000028d1: DUP3
000028d2: SUB
000028d3: SWAP2
000028d4: DUP3
000028d5: GT
000028d6: PUSH2 0x0bda
000028d9: JUMPI
000028da: JUMP
000028db: JUMPDEST
000028dc: ISZERO
000028dd: PUSH2 0x28e2
000028e0: JUMPI
000028e1: JUMP
000028e2: JUMPDEST
000028e3: PUSH1 0x40
000028e5: MLOAD
000028e6: PUSH3 0x461bcd
000028ea: PUSH1 0xe5
000028ec: SHL
000028ed: DUP2
000028ee: MSTORE
000028ef: PUSH1 0x20
000028f1: PUSH1 0x04
000028f3: DUP3
000028f4: ADD
000028f5: MSTORE
000028f6: PUSH1 0x0e
000028f8: PUSH1 0x24
000028fa: DUP3
000028fb: ADD
000028fc: MSTORE
000028fd: PUSH14 0x736c6963655f6f766572666c6f77
0000290c: PUSH1 0x90
0000290e: SHL
0000290f: PUSH1 0x44
00002911: DUP3
00002912: ADD
00002913: MSTORE
00002914: PUSH1 0x64
00002916: SWAP1
00002917: REVERT
00002918: JUMPDEST
00002919: ISZERO
0000291a: PUSH2 0x291f
0000291d: JUMPI
0000291e: JUMP
0000291f: JUMPDEST
00002920: PUSH1 0x40
00002922: MLOAD
00002923: PUSH3 0x461bcd
00002927: PUSH1 0xe5
00002929: SHL
0000292a: DUP2
0000292b: MSTORE
0000292c: PUSH1 0x20
0000292e: PUSH1 0x04
00002930: DUP3
00002931: ADD
00002932: MSTORE
00002933: PUSH1 0x11
00002935: PUSH1 0x24
00002937: DUP3
00002938: ADD
00002939: MSTORE
0000293a: PUSH17 0x736c6963655f6f75744f66426f756e6473
0000294c: PUSH1 0x78
0000294e: SHL
0000294f: PUSH1 0x44
00002951: DUP3
00002952: ADD
00002953: MSTORE
00002954: PUSH1 0x64
00002956: SWAP1
00002957: REVERT
00002958: JUMPDEST
00002959: PUSH2 0x296c
0000295c: DUP3
0000295d: PUSH2 0x2965
00002960: DUP2
00002961: PUSH2 0x258b
00002964: JUMP
00002965: JUMPDEST
00002966: LT
00002967: ISZERO
00002968: PUSH2 0x28db
0000296b: JUMP
0000296c: JUMPDEST
0000296d: PUSH2 0x2979
00002970: DUP3
00002971: DUP3
00002972: MLOAD
00002973: LT
00002974: ISZERO
00002975: PUSH2 0x2918
00002978: JUMP
00002979: JUMPDEST
0000297a: DUP2
0000297b: PUSH2 0x2991
0000297e: JUMPI
0000297f: POP
00002980: POP
00002981: PUSH1 0x40
00002983: MLOAD
00002984: PUSH1 0x00
00002986: DUP2
00002987: MSTORE
00002988: PUSH1 0x20
0000298a: DUP2
0000298b: ADD
0000298c: PUSH1 0x40
0000298e: MSTORE
0000298f: SWAP1
00002990: JUMP
00002991: JUMPDEST
00002992: PUSH1 0x40
00002994: MLOAD
00002995: SWAP2
00002996: PUSH1 0x1f
00002998: DUP2
00002999: AND
0000299a: SWAP2
0000299b: DUP3
0000299c: ISZERO
0000299d: PUSH1 0x05
0000299f: SHL
000029a0: DUP1
000029a1: DUP5
000029a2: DUP7
000029a3: ADD
000029a4: ADD
000029a5: SWAP4
000029a6: DUP4
000029a7: DUP6
000029a8: ADD
000029a9: SWAP3
000029aa: ADD
000029ab: ADD
000029ac: SWAP1
000029ad: JUMPDEST
000029ae: DUP1
000029af: DUP5
000029b0: LT
000029b1: PUSH2 0x29c5
000029b4: JUMPI
000029b5: POP
000029b6: POP
000029b7: DUP3
000029b8: MSTORE
000029b9: PUSH1 0x1f
000029bb: ADD
000029bc: PUSH1 0x1f
000029be: NOT
000029bf: AND
000029c0: PUSH1 0x40
000029c2: MSTORE
000029c3: SWAP1
000029c4: JUMP
000029c5: JUMPDEST
000029c6: SWAP1
000029c7: SWAP3
000029c8: DUP4
000029c9: MLOAD
000029ca: DUP2
000029cb: MSTORE
000029cc: PUSH1 0x20
000029ce: DUP1
000029cf: SWAP2
000029d0: ADD
000029d1: SWAP4
000029d2: ADD
000029d3: SWAP1
000029d4: PUSH2 0x29ad
000029d7: JUMP
000029d8: JUMPDEST
000029d9: SWAP3
000029da: SWAP1
000029db: SWAP2
000029dc: GAS
000029dd: PUSH1 0x40
000029df: MLOAD
000029e0: PUSH4 0x3356ae45
000029e5: PUSH1 0xe1
000029e7: SHL
000029e8: PUSH1 0x20
000029ea: DUP3
000029eb: ADD
000029ec: SWAP1
000029ed: DUP2
000029ee: MSTORE
000029ef: PUSH2 0xffff
000029f2: DUP8
000029f3: AND
000029f4: PUSH1 0x24
000029f6: DUP4
000029f7: ADD
000029f8: MSTORE
000029f9: PUSH1 0x80
000029fb: PUSH1 0x44
000029fd: DUP4
000029fe: ADD
000029ff: MSTORE
00002a00: SWAP5
00002a01: SWAP2
00002a02: PUSH2 0x2a44
00002a05: DUP3
00002a06: PUSH2 0x2a36
00002a09: PUSH2 0x2a15
00002a0c: PUSH1 0xa4
00002a0e: DUP4
00002a0f: ADD
00002a10: DUP8
00002a11: PUSH2 0x06bc
00002a14: JUMP
00002a15: JUMPDEST
00002a16: PUSH1 0x01
00002a18: PUSH1 0x01
00002a1a: PUSH1 0x40
00002a1c: SHL
00002a1d: SUB
00002a1e: DUP9
00002a1f: AND
00002a20: PUSH1 0x64
00002a22: DUP5
00002a23: ADD
00002a24: MSTORE
00002a25: DUP3
00002a26: DUP2
00002a27: SUB
00002a28: PUSH1 0x23
00002a2a: NOT
00002a2b: ADD
00002a2c: PUSH1 0x84
00002a2e: DUP5
00002a2f: ADD
00002a30: MSTORE
00002a31: DUP9
00002a32: PUSH2 0x06bc
00002a35: JUMP
00002a36: JUMPDEST
00002a37: SUB
00002a38: PUSH1 0x1f
00002a3a: NOT
00002a3b: DUP2
00002a3c: ADD
00002a3d: DUP5
00002a3e: MSTORE
00002a3f: DUP4
00002a40: PUSH2 0x10a4
00002a43: JUMP
00002a44: JUMPDEST
00002a45: PUSH1 0x00
00002a47: DUP1
00002a48: SWAP2
00002a49: PUSH1 0x40
00002a4b: MLOAD
00002a4c: SWAP8
00002a4d: PUSH2 0x2a55
00002a50: DUP10
00002a51: PUSH2 0x1089
00002a54: JUMP
00002a55: JUMPDEST
00002a56: PUSH1 0x96
00002a58: DUP10
00002a59: MSTORE
00002a5a: DUP3
00002a5b: PUSH1 0x20
00002a5d: DUP11
00002a5e: ADD
00002a5f: SWAP6
00002a60: PUSH1 0xa0
00002a62: CALLDATASIZE
00002a63: DUP9
00002a64: CALLDATACOPY
00002a65: MLOAD
00002a66: SWAP3
00002a67: ADDRESS
00002a68: SWAP1
00002a69: CALL
00002a6a: SWAP1
00002a6b: RETURNDATASIZE
00002a6c: SWAP1
00002a6d: PUSH1 0x96
00002a6f: DUP3
00002a70: GT
00002a71: PUSH2 0x2a9c
00002a74: JUMPI
00002a75: JUMPDEST
00002a76: PUSH1 0x00
00002a78: SWAP1
00002a79: DUP3
00002a7a: DUP9
00002a7b: MSTORE
00002a7c: RETURNDATACOPY
00002a7d: ISZERO
00002a7e: PUSH2 0x2a89
00002a81: JUMPI
00002a82: JUMPDEST
00002a83: POP
00002a84: POP
00002a85: POP
00002a86: POP
00002a87: POP
00002a88: JUMP
00002a89: JUMPDEST
00002a8a: PUSH2 0x2a92
00002a8d: SWAP5
00002a8e: PUSH2 0x2aa5
00002a91: JUMP
00002a92: JUMPDEST
00002a93: CODESIZE
00002a94: DUP1
00002a95: DUP1
00002a96: DUP1
00002a97: DUP1
00002a98: PUSH2 0x2a82
00002a9b: JUMP
00002a9c: JUMPDEST
00002a9d: PUSH1 0x96
00002a9f: SWAP2
00002aa0: POP
00002aa1: PUSH2 0x2a75
00002aa4: JUMP
00002aa5: JUMPDEST
00002aa6: SWAP2
00002aa7: SWAP4
00002aa8: PUSH2 0x2b63
00002aab: PUSH32 0xe183f33de2837795525b4792ca4cd60535bd77c53b7e7030060bfcf5734d6b0c
00002acc: SWAP6
00002acd: PUSH2 0x2b71
00002ad0: SWAP4
00002ad1: SWAP6
00002ad2: PUSH2 0xffff
00002ad5: DUP2
00002ad6: MLOAD
00002ad7: PUSH1 0x20
00002ad9: DUP4
00002ada: ADD
00002adb: KECCAK256
00002adc: SWAP7
00002add: AND
00002ade: SWAP6
00002adf: DUP7
00002ae0: PUSH1 0x00
00002ae2: MSTORE
00002ae3: PUSH1 0x05
00002ae5: PUSH1 0x20
00002ae7: MSTORE
00002ae8: PUSH2 0x2b2a
00002aeb: DUP4
00002aec: PUSH2 0x2b09
00002aef: PUSH1 0x20
00002af1: DUP12
00002af2: PUSH1 0x40
00002af4: PUSH1 0x00
00002af6: KECCAK256
00002af7: DUP3
00002af8: PUSH1 0x40
00002afa: MLOAD
00002afb: SWAP5
00002afc: DUP4
00002afd: DUP7
00002afe: DUP1
00002aff: SWAP6
00002b00: MLOAD
00002b01: SWAP4
00002b02: DUP5
00002b03: SWAP3
00002b04: ADD
00002b05: PUSH2 0x0699
00002b08: JUMP
00002b09: JUMPDEST
00002b0a: DUP3
00002b0b: ADD
00002b0c: SWAP1
00002b0d: DUP2
00002b0e: MSTORE
00002b0f: SUB
00002b10: ADD
00002b11: SWAP1
00002b12: KECCAK256
00002b13: SWAP1
00002b14: PUSH1 0x01
00002b16: PUSH1 0x01
00002b18: PUSH1 0x40
00002b1a: SHL
00002b1b: SUB
00002b1c: AND
00002b1d: PUSH1 0x00
00002b1f: MSTORE
00002b20: PUSH1 0x20
00002b22: MSTORE
00002b23: PUSH1 0x40
00002b25: PUSH1 0x00
00002b27: KECCAK256
00002b28: SWAP1
00002b29: JUMP
00002b2a: JUMPDEST
00002b2b: SSTORE
00002b2c: PUSH1 0x01
00002b2e: PUSH1 0x01
00002b30: PUSH1 0x40
00002b32: SHL
00002b33: SUB
00002b34: PUSH2 0x2b4f
00002b37: PUSH1 0x40
00002b39: MLOAD
00002b3a: SWAP9
00002b3b: DUP10
00002b3c: SWAP9
00002b3d: DUP10
00002b3e: MSTORE
00002b3f: PUSH1 0xa0
00002b41: PUSH1 0x20
00002b43: DUP11
00002b44: ADD
00002b45: MSTORE
00002b46: PUSH1 0xa0
00002b48: DUP10
00002b49: ADD
00002b4a: SWAP1
00002b4b: PUSH2 0x06bc
00002b4e: JUMP
00002b4f: JUMPDEST
00002b50: SWAP3
00002b51: AND
00002b52: PUSH1 0x40
00002b54: DUP8
00002b55: ADD
00002b56: MSTORE
00002b57: DUP6
00002b58: DUP3
00002b59: SUB
00002b5a: PUSH1 0x60
00002b5c: DUP8
00002b5d: ADD
00002b5e: MSTORE
00002b5f: PUSH2 0x06bc
00002b62: JUMP
00002b63: JUMPDEST
00002b64: SWAP1
00002b65: DUP4
00002b66: DUP3
00002b67: SUB
00002b68: PUSH1 0x80
00002b6a: DUP6
00002b6b: ADD
00002b6c: MSTORE
00002b6d: PUSH2 0x06bc
00002b70: JUMP
00002b71: JUMPDEST
00002b72: SUB
00002b73: SWAP1
00002b74: LOG1
00002b75: JUMP
00002b76: JUMPDEST
00002b77: PUSH1 0x20
00002b79: SWAP2
00002b7a: SWAP3
00002b7b: DUP4
00002b7c: PUSH1 0x40
00002b7e: MLOAD
00002b7f: SWAP5
00002b80: DUP6
00002b81: SWAP4
00002b82: DUP5
00002b83: CALLDATACOPY
00002b84: DUP3
00002b85: ADD
00002b86: SWAP1
00002b87: DUP2
00002b88: MSTORE
00002b89: SUB
00002b8a: ADD
00002b8b: SWAP1
00002b8c: KECCAK256
00002b8d: SWAP1
00002b8e: JUMP
00002b8f: JUMPDEST
00002b90: ISZERO
00002b91: PUSH2 0x2b96
00002b94: JUMPI
00002b95: JUMP
00002b96: JUMPDEST
00002b97: PUSH1 0x40
00002b99: MLOAD
00002b9a: PUSH3 0x461bcd
00002b9e: PUSH1 0xe5
00002ba0: SHL
00002ba1: DUP2
00002ba2: MSTORE
00002ba3: PUSH1 0x20
00002ba5: PUSH1 0x04
00002ba7: DUP3
00002ba8: ADD
00002ba9: MSTORE
00002baa: PUSH1 0x21
00002bac: PUSH1 0x24
00002bae: DUP3
00002baf: ADD
00002bb0: MSTORE
00002bb1: PUSH32 0x4e6f6e626c6f636b696e674c7a4170703a20696e76616c6964207061796c6f61
00002bd2: PUSH1 0x44
00002bd4: DUP3
00002bd5: ADD
00002bd6: MSTORE
00002bd7: PUSH1 0x19
00002bd9: PUSH1 0xfa
00002bdb: SHL
00002bdc: PUSH1 0x64
00002bde: DUP3
00002bdf: ADD
00002be0: MSTORE
00002be1: PUSH1 0x84
00002be3: SWAP1
00002be4: REVERT
00002be5: JUMPDEST
00002be6: SWAP2
00002be7: PUSH2 0x2c11
00002bea: SWAP1
00002beb: PUSH1 0x60
00002bed: SWAP5
00002bee: PUSH2 0xffff
00002bf1: PUSH1 0x01
00002bf3: PUSH1 0x01
00002bf5: PUSH1 0x40
00002bf7: SHL
00002bf8: SUB
00002bf9: SWAP5
00002bfa: SWAP10
00002bfb: SWAP9
00002bfc: SWAP8
00002bfd: SWAP10
00002bfe: AND
00002bff: DUP6
00002c00: MSTORE
00002c01: PUSH1 0x80
00002c03: PUSH1 0x20
00002c05: DUP7
00002c06: ADD
00002c07: MSTORE
00002c08: PUSH1 0x80
00002c0a: DUP6
00002c0b: ADD
00002c0c: SWAP2
00002c0d: PUSH2 0x282f
00002c10: JUMP
00002c11: JUMPDEST
00002c12: SWAP6
00002c13: AND
00002c14: PUSH1 0x40
00002c16: DUP3
00002c17: ADD
00002c18: MSTORE
00002c19: ADD
00002c1a: MSTORE
00002c1b: JUMP
00002c1c: JUMPDEST
00002c1d: SWAP2
00002c1e: SWAP1
00002c1f: DUP3
00002c20: PUSH1 0x40
00002c22: SWAP2
00002c23: SUB
00002c24: SLT
00002c25: PUSH2 0x0411
00002c28: JUMPI
00002c29: PUSH1 0x20
00002c2b: DUP3
00002c2c: MLOAD
00002c2d: SWAP3
00002c2e: ADD
00002c2f: MLOAD
00002c30: SWAP1
00002c31: JUMP
00002c32: JUMPDEST
00002c33: SWAP2
00002c34: SWAP3
00002c35: PUSH2 0x06f2
00002c38: SWAP7
00002c39: SWAP5
00002c3a: SWAP6
00002c3b: SWAP4
00002c3c: PUSH2 0xffff
00002c3f: PUSH2 0x2c63
00002c42: SWAP4
00002c43: AND
00002c44: DUP5
00002c45: MSTORE
00002c46: PUSH1 0x01
00002c48: DUP1
00002c49: PUSH1 0xa0
00002c4b: SHL
00002c4c: SUB
00002c4d: AND
00002c4e: PUSH1 0x20
00002c50: DUP5
00002c51: ADD
00002c52: MSTORE
00002c53: PUSH1 0xa0
00002c55: PUSH1 0x40
00002c57: DUP5
00002c58: ADD
00002c59: MSTORE
00002c5a: PUSH1 0xa0
00002c5c: DUP4
00002c5d: ADD
00002c5e: SWAP1
00002c5f: PUSH2 0x06bc
00002c62: JUMP
00002c63: JUMPDEST
00002c64: SWAP4
00002c65: ISZERO
00002c66: ISZERO
00002c67: PUSH1 0x60
00002c69: DUP3
00002c6a: ADD
00002c6b: MSTORE
00002c6c: PUSH1 0x80
00002c6e: DUP2
00002c6f: DUP6
00002c70: SUB
00002c71: SWAP2
00002c72: ADD
00002c73: MSTORE
00002c74: PUSH2 0x282f
00002c77: JUMP
00002c78: JUMPDEST
00002c79: SWAP2
00002c7a: SWAP5
00002c7b: SWAP6
00002c7c: PUSH2 0x2cda
00002c7f: SWAP2
00002c80: SWAP4
00002c81: SWAP5
00002c82: SWAP8
00002c83: SWAP7
00002c84: PUSH2 0x2cbe
00002c87: PUSH1 0x40
00002c89: SWAP8
00002c8a: DUP9
00002c8b: SWAP8
00002c8c: PUSH2 0x2caa
00002c8f: DUP10
00002c90: MLOAD
00002c91: SWAP9
00002c92: DUP10
00002c93: SWAP4
00002c94: PUSH1 0x00
00002c96: PUSH1 0x20
00002c98: DUP7
00002c99: ADD
00002c9a: MSTORE
00002c9b: PUSH1 0x60
00002c9d: DUP13
00002c9e: DUP7
00002c9f: ADD
00002ca0: MSTORE
00002ca1: PUSH1 0x80
00002ca3: DUP6
00002ca4: ADD
00002ca5: SWAP2
00002ca6: PUSH2 0x282f
00002ca9: JUMP
00002caa: JUMPDEST
00002cab: SWAP1
00002cac: PUSH1 0x60
00002cae: DUP4
00002caf: ADD
00002cb0: MSTORE
00002cb1: SUB
00002cb2: PUSH1 0x1f
00002cb4: NOT
00002cb5: DUP2
00002cb6: ADD
00002cb7: DUP8
00002cb8: MSTORE
00002cb9: DUP7
00002cba: PUSH2 0x10a4
00002cbd: JUMP
00002cbe: JUMPDEST
00002cbf: DUP6
00002cc0: MLOAD
00002cc1: PUSH4 0x040a7bb1
00002cc6: PUSH1 0xe4
00002cc8: SHL
00002cc9: DUP2
00002cca: MSTORE
00002ccb: SWAP9
00002ccc: DUP10
00002ccd: SWAP6
00002cce: DUP7
00002ccf: SWAP6
00002cd0: ADDRESS
00002cd1: SWAP1
00002cd2: PUSH1 0x04
00002cd4: DUP9
00002cd5: ADD
00002cd6: PUSH2 0x2c32
00002cd9: JUMP
00002cda: JUMPDEST
00002cdb: SUB
00002cdc: DUP2
00002cdd: PUSH32 0x00000000000000000000000066a71dcef29a0ffbdbe3c6a460a3b5bc225cd675
00002cfe: PUSH1 0x01
00002d00: PUSH1 0x01
00002d02: PUSH1 0xa0
00002d04: SHL
00002d05: SUB
00002d06: AND
00002d07: GAS
00002d08: STATICCALL
00002d09: SWAP3
00002d0a: DUP4
00002d0b: ISZERO
00002d0c: PUSH2 0x086c
00002d0f: JUMPI
00002d10: PUSH1 0x00
00002d12: SWAP2
00002d13: DUP3
00002d14: SWAP5
00002d15: PUSH2 0x2d1f
00002d18: JUMPI
00002d19: JUMPDEST
00002d1a: POP
00002d1b: POP
00002d1c: SWAP2
00002d1d: SWAP1
00002d1e: JUMP
00002d1f: JUMPDEST
00002d20: PUSH2 0x2d43
00002d23: SWAP4
00002d24: SWAP5
00002d25: POP
00002d26: DUP1
00002d27: SWAP2
00002d28: SWAP3
00002d29: POP
00002d2a: SWAP1
00002d2b: RETURNDATASIZE
00002d2c: LT
00002d2d: PUSH2 0x2d4c
00002d30: JUMPI
00002d31: JUMPDEST
00002d32: PUSH2 0x2d3b
00002d35: DUP2
00002d36: DUP4
00002d37: PUSH2 0x10a4
00002d3a: JUMP
00002d3b: JUMPDEST
00002d3c: DUP2
00002d3d: ADD
00002d3e: SWAP1
00002d3f: PUSH2 0x2c1c
00002d42: JUMP
00002d43: JUMPDEST
00002d44: SWAP2
00002d45: SWAP1
00002d46: CODESIZE
00002d47: DUP1
00002d48: PUSH2 0x2d19
00002d4b: JUMP
00002d4c: JUMPDEST
00002d4d: POP
00002d4e: RETURNDATASIZE
00002d4f: PUSH2 0x2d31
00002d52: JUMP
00002d53: JUMPDEST
00002d54: SWAP1
00002d55: PUSH1 0x20
00002d57: DUP2
00002d58: ADD
00002d59: PUSH2 0xffff
00002d5c: DUP1
00002d5d: DUP3
00002d5e: MLOAD
00002d5f: AND
00002d60: ISZERO
00002d61: PUSH1 0x00
00002d63: EQ
00002d64: PUSH2 0x1349
00002d67: JUMPI
00002d68: DUP3
00002d69: MLOAD
00002d6a: DUP4
00002d6b: ADD
00002d6c: SWAP2
00002d6d: PUSH1 0x80
00002d6f: DUP5
00002d70: DUP5
00002d71: SUB
00002d72: SLT
00002d73: PUSH2 0x0411
00002d76: JUMPI
00002d77: PUSH2 0x2d80
00002d7a: SWAP1
00002d7b: MLOAD
00002d7c: PUSH2 0x0405
00002d7f: JUMP
00002d80: JUMPDEST
00002d81: PUSH1 0x40
00002d83: DUP4
00002d84: ADD
00002d85: MLOAD
00002d86: SWAP2
00002d87: PUSH1 0x01
00002d89: PUSH1 0x01
00002d8b: PUSH1 0x40
00002d8d: SHL
00002d8e: SUB
00002d8f: DUP4
00002d90: GT
00002d91: PUSH2 0x0411
00002d94: JUMPI
00002d95: PUSH32 0x5173fef6f1b23a3cfcc98bda8bb36526210a9322981b5f1bbaf955cb6bebeae7
00002db6: SWAP3
00002db7: PUSH1 0x20
00002db9: DUP1
00002dba: PUSH2 0x2dc7
00002dbd: SWAP4
00002dbe: ADD
00002dbf: SWAP2
00002dc0: DUP7
00002dc1: ADD
00002dc2: ADD
00002dc3: PUSH2 0x27bc
00002dc6: JUMP
00002dc7: JUMPDEST
00002dc8: SWAP3
00002dc9: PUSH2 0x2623
00002dcc: PUSH2 0x131c
00002dcf: PUSH2 0x1315
00002dd2: PUSH1 0x80
00002dd4: PUSH1 0x60
00002dd6: DUP6
00002dd7: ADD
00002dd8: MLOAD
00002dd9: SWAP5
00002dda: ADD
00002ddb: MLOAD
00002ddc: SWAP7
00002ddd: PUSH2 0x304a
00002de0: JUMP
00002de1: JUMPDEST
00002de2: PUSH1 0x54
00002de4: SWAP5
00002de5: SWAP3
00002de6: SWAP2
00002de7: PUSH12 0xffffffffffffffffffffffff
00002df4: NOT
00002df5: SWAP1
00002df6: PUSH1 0x60
00002df8: SHL
00002df9: AND
00002dfa: DUP2
00002dfb: MSTORE
00002dfc: PUSH2 0x2e0f
00002dff: DUP3
00002e00: MLOAD
00002e01: DUP1
00002e02: SWAP4
00002e03: PUSH1 0x20
00002e05: PUSH1 0x14
00002e07: DUP6
00002e08: ADD
00002e09: SWAP2
00002e0a: ADD
00002e0b: PUSH2 0x0699
00002e0e: JUMP
00002e0f: JUMPDEST
00002e10: ADD
00002e11: SWAP2
00002e12: PUSH1 0x14
00002e14: DUP4
00002e15: ADD
00002e16: MSTORE
00002e17: PUSH1 0x34
00002e19: DUP3
00002e1a: ADD
00002e1b: MSTORE
00002e1c: ADD
00002e1d: SWAP1
00002e1e: JUMP
00002e1f: JUMPDEST
00002e20: PUSH2 0x2e3e
00002e23: PUSH1 0x60
00002e25: SWAP3
00002e26: SWAP6
00002e27: SWAP5
00002e28: SWAP4
00002e29: SWAP6
00002e2a: PUSH1 0x00
00002e2c: DUP4
00002e2d: MSTORE
00002e2e: PUSH1 0x80
00002e30: PUSH1 0x20
00002e32: DUP5
00002e33: ADD
00002e34: MSTORE
00002e35: PUSH1 0x80
00002e37: DUP4
00002e38: ADD
00002e39: SWAP1
00002e3a: PUSH2 0x06bc
00002e3d: JUMP
00002e3e: JUMPDEST
00002e3f: SWAP5
00002e40: PUSH1 0x40
00002e42: DUP3
00002e43: ADD
00002e44: MSTORE
00002e45: ADD
00002e46: MSTORE
00002e47: JUMP
00002e48: JUMPDEST
00002e49: SWAP1
00002e4a: SWAP3
00002e4b: PUSH2 0x2e61
00002e4e: PUSH1 0x60
00002e50: SWAP4
00002e51: SWAP7
00002e52: SWAP6
00002e53: SWAP5
00002e54: PUSH1 0x80
00002e56: DUP5
00002e57: MSTORE
00002e58: PUSH1 0x80
00002e5a: DUP5
00002e5b: ADD
00002e5c: SWAP1
00002e5d: PUSH2 0x06bc
00002e60: JUMP
00002e61: JUMPDEST
00002e62: SWAP6
00002e63: PUSH1 0x20
00002e65: DUP4
00002e66: ADD
00002e67: MSTORE
00002e68: PUSH1 0x40
00002e6a: DUP3
00002e6b: ADD
00002e6c: MSTORE
00002e6d: ADD
00002e6e: MSTORE
00002e6f: JUMP
00002e70: JUMPDEST
00002e71: SWAP3
00002e72: PUSH2 0x2e95
00002e75: PUSH2 0x06f2
00002e78: SWAP8
00002e79: SWAP6
00002e7a: SWAP4
00002e7b: PUSH2 0xffff
00002e7e: PUSH2 0x2ea3
00002e81: SWAP5
00002e82: AND
00002e83: DUP7
00002e84: MSTORE
00002e85: PUSH1 0xc0
00002e87: PUSH1 0x20
00002e89: DUP8
00002e8a: ADD
00002e8b: MSTORE
00002e8c: PUSH1 0xc0
00002e8e: DUP7
00002e8f: ADD
00002e90: SWAP1
00002e91: PUSH2 0x06bc
00002e94: JUMP
00002e95: JUMPDEST
00002e96: SWAP1
00002e97: DUP5
00002e98: DUP3
00002e99: SUB
00002e9a: PUSH1 0x40
00002e9c: DUP7
00002e9d: ADD
00002e9e: MSTORE
00002e9f: PUSH2 0x06bc
00002ea2: JUMP
00002ea3: JUMPDEST
00002ea4: PUSH1 0x01
00002ea6: PUSH1 0x01
00002ea8: PUSH1 0xa0
00002eaa: SHL
00002eab: SUB
00002eac: SWAP2
00002ead: DUP3
00002eae: AND
00002eaf: PUSH1 0x60
00002eb1: DUP5
00002eb2: ADD
00002eb3: MSTORE
00002eb4: SWAP4
00002eb5: AND
00002eb6: PUSH1 0x80
00002eb8: DUP3
00002eb9: ADD
00002eba: MSTORE
00002ebb: DUP1
00002ebc: DUP4
00002ebd: SUB
00002ebe: PUSH1 0xa0
00002ec0: SWAP1
00002ec1: SWAP2
00002ec2: ADD
00002ec3: MSTORE
00002ec4: PUSH2 0x06bc
00002ec7: JUMP
00002ec8: JUMPDEST
00002ec9: SWAP5
00002eca: PUSH2 0x2ef1
00002ecd: SWAP2
00002ece: SWAP4
00002ecf: SWAP3
00002ed0: SWAP6
00002ed1: PUSH2 0xffff
00002ed4: DUP2
00002ed5: AND
00002ed6: PUSH1 0x00
00002ed8: MSTORE
00002ed9: PUSH1 0x01
00002edb: PUSH1 0x20
00002edd: MSTORE
00002ede: PUSH2 0x2ef8
00002ee1: PUSH1 0x40
00002ee3: PUSH1 0x00
00002ee5: KECCAK256
00002ee6: PUSH1 0x40
00002ee8: MLOAD
00002ee9: SWAP5
00002eea: DUP6
00002eeb: DUP1
00002eec: SWAP3
00002eed: PUSH2 0x159c
00002ef0: JUMP
00002ef1: JUMPDEST
00002ef2: SUB
00002ef3: DUP5
00002ef4: PUSH2 0x10a4
00002ef7: JUMP
00002ef8: JUMPDEST
00002ef9: DUP3
00002efa: MLOAD
00002efb: ISZERO
00002efc: PUSH2 0x2f7d
00002eff: JUMPI
00002f00: PUSH2 0x2f0a
00002f03: DUP6
00002f04: MLOAD
00002f05: DUP3
00002f06: PUSH2 0x2fdb
00002f09: JUMP
00002f0a: JUMPDEST
00002f0b: PUSH32 0x00000000000000000000000066a71dcef29a0ffbdbe3c6a460a3b5bc225cd675
00002f2c: PUSH1 0x01
00002f2e: PUSH1 0x01
00002f30: PUSH1 0xa0
00002f32: SHL
00002f33: SUB
00002f34: AND
00002f35: SWAP4
00002f36: DUP5
00002f37: EXTCODESIZE
00002f38: ISZERO
00002f39: PUSH2 0x0411
00002f3c: JUMPI
00002f3d: PUSH1 0x00
00002f3f: SWAP7
00002f40: PUSH2 0x2f5f
00002f43: SWAP2
00002f44: PUSH1 0x40
00002f46: MLOAD
00002f47: SWAP10
00002f48: DUP11
00002f49: SWAP9
00002f4a: DUP10
00002f4b: SWAP8
00002f4c: DUP9
00002f4d: SWAP7
00002f4e: PUSH3 0xc58031
00002f52: PUSH1 0xe8
00002f54: SHL
00002f55: DUP9
00002f56: MSTORE
00002f57: PUSH1 0x04
00002f59: DUP9
00002f5a: ADD
00002f5b: PUSH2 0x2e70
00002f5e: JUMP
00002f5f: JUMPDEST
00002f60: SUB
00002f61: SWAP3
00002f62: GAS
00002f63: CALL
00002f64: DUP1
00002f65: ISZERO
00002f66: PUSH2 0x086c
00002f69: JUMPI
00002f6a: PUSH2 0x2f70
00002f6d: JUMPI
00002f6e: POP
00002f6f: JUMP
00002f70: JUMPDEST
00002f71: DUP1
00002f72: PUSH2 0x1e9a
00002f75: PUSH2 0x164d
00002f78: SWAP3
00002f79: PUSH2 0x1071
00002f7c: JUMP
00002f7d: JUMPDEST
00002f7e: PUSH1 0x40
00002f80: MLOAD
00002f81: PUSH3 0x461bcd
00002f85: PUSH1 0xe5
00002f87: SHL
00002f88: DUP2
00002f89: MSTORE
00002f8a: PUSH1 0x20
00002f8c: PUSH1 0x04
00002f8e: DUP3
00002f8f: ADD
00002f90: MSTORE
00002f91: PUSH1 0x30
00002f93: PUSH1 0x24
00002f95: DUP3
00002f96: ADD
00002f97: MSTORE
00002f98: PUSH32 0x4c7a4170703a2064657374696e6174696f6e20636861696e206973206e6f7420
00002fb9: PUSH1 0x44
00002fbb: DUP3
00002fbc: ADD
00002fbd: MSTORE
00002fbe: PUSH16 0x61207472757374656420736f75726365
00002fcf: PUSH1 0x80
00002fd1: SHL
00002fd2: PUSH1 0x64
00002fd4: DUP3
00002fd5: ADD
00002fd6: MSTORE
00002fd7: PUSH1 0x84
00002fd9: SWAP1
00002fda: REVERT
00002fdb: JUMPDEST
00002fdc: PUSH2 0xffff
00002fdf: AND
00002fe0: PUSH1 0x00
00002fe2: MSTORE
00002fe3: PUSH1 0x03
00002fe5: PUSH1 0x20
00002fe7: MSTORE
00002fe8: PUSH1 0x40
00002fea: PUSH1 0x00
00002fec: KECCAK256
00002fed: SLOAD
00002fee: SWAP1
00002fef: DUP2
00002ff0: ISZERO
00002ff1: PUSH2 0x3040
00002ff4: JUMPI
00002ff5: JUMPDEST
00002ff6: GT
00002ff7: PUSH2 0x2ffc
00002ffa: JUMPI
00002ffb: JUMP
00002ffc: JUMPDEST
00002ffd: PUSH1 0x64
00002fff: PUSH1 0x40
00003001: MLOAD
00003002: PUSH3 0x461bcd
00003006: PUSH1 0xe5
00003008: SHL
00003009: DUP2
0000300a: MSTORE
0000300b: PUSH1 0x20
0000300d: PUSH1 0x04
0000300f: DUP3
00003010: ADD
00003011: MSTORE
00003012: PUSH1 0x20
00003014: PUSH1 0x24
00003016: DUP3
00003017: ADD
00003018: MSTORE
00003019: PUSH32 0x4c7a4170703a207061796c6f61642073697a6520697320746f6f206c61726765
0000303a: PUSH1 0x44
0000303c: DUP3
0000303d: ADD
0000303e: MSTORE
0000303f: REVERT
00003040: JUMPDEST
00003041: PUSH2 0x2710
00003044: SWAP2
00003045: POP
00003046: PUSH2 0x2ff5
00003049: JUMP
0000304a: JUMPDEST
0000304b: PUSH1 0x14
0000304d: DUP2
0000304e: MLOAD
0000304f: LT
00003050: PUSH2 0x305d
00003053: JUMPI
00003054: PUSH1 0x20
00003056: ADD
00003057: MLOAD
00003058: PUSH1 0x60
0000305a: SHR
0000305b: SWAP1
0000305c: JUMP
0000305d: JUMPDEST
0000305e: PUSH1 0x40
00003060: MLOAD
00003061: PUSH3 0x461bcd
00003065: PUSH1 0xe5
00003067: SHL
00003068: DUP2
00003069: MSTORE
0000306a: PUSH1 0x20
0000306c: PUSH1 0x04
0000306e: DUP3
0000306f: ADD
00003070: MSTORE
00003071: PUSH1 0x15
00003073: PUSH1 0x24
00003075: DUP3
00003076: ADD
00003077: MSTORE
00003078: PUSH21 0x746f416464726573735f6f75744f66426f756e6473
0000308e: PUSH1 0x58
00003090: SHL
00003091: PUSH1 0x44
00003093: DUP3
00003094: ADD
00003095: MSTORE
00003096: PUSH1 0x64
00003098: SWAP1
00003099: REVERT
0000309a: JUMPDEST
0000309b: ISZERO
0000309c: PUSH2 0x30a1
0000309f: JUMPI
000030a0: JUMP
000030a1: JUMPDEST
000030a2: PUSH1 0x40
000030a4: MLOAD
000030a5: PUSH3 0x461bcd
000030a9: PUSH1 0xe5
000030ab: SHL
000030ac: DUP2
000030ad: MSTORE
000030ae: PUSH1 0x20
000030b0: PUSH1 0x04
000030b2: DUP3
000030b3: ADD
000030b4: MSTORE
000030b5: PUSH1 0x1a
000030b7: PUSH1 0x24
000030b9: DUP3
000030ba: ADD
000030bb: MSTORE
000030bc: PUSH32 0x4c7a4170703a206d696e4761734c696d6974206e6f7420736574000000000000
000030dd: PUSH1 0x44
000030df: DUP3
000030e0: ADD
000030e1: MSTORE
000030e2: PUSH1 0x64
000030e4: SWAP1
000030e5: REVERT
000030e6: JUMPDEST
000030e7: ISZERO
000030e8: PUSH2 0x30ed
000030eb: JUMPI
000030ec: JUMP
000030ed: JUMPDEST
000030ee: PUSH1 0x40
000030f0: MLOAD
000030f1: PUSH3 0x461bcd
000030f5: PUSH1 0xe5
000030f7: SHL
000030f8: DUP2
000030f9: MSTORE
000030fa: PUSH1 0x20
000030fc: PUSH1 0x04
000030fe: DUP3
000030ff: ADD
00003100: MSTORE
00003101: PUSH1 0x1b
00003103: PUSH1 0x24
00003105: DUP3
00003106: ADD
00003107: MSTORE
00003108: PUSH32 0x4c7a4170703a20676173206c696d697420697320746f6f206c6f770000000000
00003129: PUSH1 0x44
0000312b: DUP3
0000312c: ADD
0000312d: MSTORE
0000312e: PUSH1 0x64
00003130: SWAP1
00003131: REVERT
00003132: JUMPDEST
00003133: PUSH2 0x06f2
00003136: SWAP1
00003137: DUP3
00003138: SWAP1
00003139: CALLER
0000313a: PUSH1 0x01
0000313c: PUSH1 0x01
0000313e: PUSH1 0xa0
00003140: SHL
00003141: SUB
00003142: DUP3
00003143: AND
00003144: SUB
00003145: PUSH2 0x3150
00003148: JUMPI
00003149: JUMPDEST
0000314a: ADDRESS
0000314b: SWAP1
0000314c: PUSH2 0x31b7
0000314f: JUMP
00003150: JUMPDEST
00003151: PUSH2 0x315b
00003154: DUP3
00003155: CALLER
00003156: DUP4
00003157: PUSH2 0x26c9
0000315a: JUMP
0000315b: JUMPDEST
0000315c: PUSH2 0x3149
0000315f: JUMP
00003160: JUMPDEST
00003161: DUP2
00003162: PUSH2 0x06f2
00003165: SWAP2
00003166: ADDRESS
00003167: PUSH2 0x31b7
0000316a: JUMP
0000316b: JUMPDEST
0000316c: ISZERO
0000316d: PUSH2 0x3172
00003170: JUMPI
00003171: JUMP
00003172: JUMPDEST
00003173: PUSH1 0x40
00003175: MLOAD
00003176: PUSH3 0x461bcd
0000317a: PUSH1 0xe5
0000317c: SHL
0000317d: DUP2
0000317e: MSTORE
0000317f: PUSH1 0x20
00003181: PUSH1 0x04
00003183: DUP3
00003184: ADD
00003185: MSTORE
00003186: PUSH1 0x17
00003188: PUSH1 0x24
0000318a: DUP3
0000318b: ADD
0000318c: MSTORE
0000318d: PUSH32 0x43616e6e6f7420657863656564206d6178696d756d732e000000000000000000
000031ae: PUSH1 0x44
000031b0: DUP3
000031b1: ADD
000031b2: MSTORE
000031b3: PUSH1 0x64
000031b5: SWAP1
000031b6: REVERT
000031b7: JUMPDEST
000031b8: SWAP1
000031b9: PUSH2 0x3254
000031bc: PUSH2 0x3204
000031bf: SWAP3
000031c0: DUP3
000031c1: PUSH2 0x324e
000031c4: PUSH2 0x326e
000031c7: SWAP7
000031c8: PUSH1 0x00
000031ca: SWAP1
000031cb: PUSH1 0x01
000031cd: DUP1
000031ce: PUSH1 0xa0
000031d0: SHL
000031d1: SUB
000031d2: DUP5
000031d3: AND
000031d4: DUP3
000031d5: MSTORE
000031d6: PUSH1 0x0f
000031d8: PUSH1 0x20
000031da: MSTORE
000031db: PUSH1 0xff
000031dd: PUSH1 0x40
000031df: DUP4
000031e0: KECCAK256
000031e1: SLOAD
000031e2: AND
000031e3: PUSH2 0x330d
000031e6: JUMPI
000031e7: JUMPDEST
000031e8: PUSH1 0x01
000031ea: PUSH1 0x01
000031ec: PUSH1 0xa0
000031ee: SHL
000031ef: SUB
000031f0: DUP6
000031f1: AND
000031f2: PUSH1 0x00
000031f4: SWAP1
000031f5: DUP2
000031f6: MSTORE
000031f7: PUSH1 0x0f
000031f9: PUSH1 0x20
000031fb: MSTORE
000031fc: PUSH1 0x40
000031fe: SWAP1
000031ff: KECCAK256
00003200: PUSH2 0x320b
00003203: SWAP1
00003204: JUMPDEST
00003205: SLOAD
00003206: PUSH1 0xff
00003208: AND
00003209: SWAP1
0000320a: JUMP
0000320b: JUMPDEST
0000320c: PUSH2 0x32e9
0000320f: JUMPI
00003210: JUMPDEST
00003211: PUSH1 0x01
00003213: PUSH1 0x01
00003215: PUSH1 0xa0
00003217: SHL
00003218: SUB
00003219: DUP6
0000321a: AND
0000321b: PUSH1 0x00
0000321d: SWAP1
0000321e: DUP2
0000321f: MSTORE
00003220: PUSH1 0x10
00003222: PUSH1 0x20
00003224: MSTORE
00003225: PUSH1 0x40
00003227: SWAP1
00003228: KECCAK256
00003229: PUSH2 0x3231
0000322c: SWAP1
0000322d: PUSH2 0x3204
00003230: JUMP
00003231: JUMPDEST
00003232: DUP1
00003233: ISZERO
00003234: PUSH2 0x32c2
00003237: JUMPI
00003238: JUMPDEST
00003239: DUP1
0000323a: ISZERO
0000323b: PUSH2 0x32b3
0000323e: JUMPI
0000323f: JUMPDEST
00003240: PUSH2 0x32aa
00003243: JUMPI
00003244: JUMPDEST
00003245: DUP2
00003246: PUSH2 0x328d
00003249: JUMPI
0000324a: PUSH2 0x28ce
0000324d: JUMP
0000324e: JUMPDEST
0000324f: SWAP2
00003250: PUSH2 0x33d7
00003253: JUMP
00003254: JUMPDEST
00003255: PUSH1 0x01
00003257: PUSH1 0x01
00003259: PUSH1 0xa0
0000325b: SHL
0000325c: SUB
0000325d: AND
0000325e: PUSH1 0x00
00003260: SWAP1
00003261: DUP2
00003262: MSTORE
00003263: PUSH1 0x0f
00003265: PUSH1 0x20
00003267: MSTORE
00003268: PUSH1 0x40
0000326a: SWAP1
0000326b: KECCAK256
0000326c: SWAP1
0000326d: JUMP
0000326e: JUMPDEST
0000326f: DUP1
00003270: PUSH2 0x3283
00003273: JUMPI
00003274: JUMPDEST
00003275: PUSH2 0x327a
00003278: JUMPI
00003279: JUMP
0000327a: JUMPDEST
0000327b: PUSH2 0x164d
0000327e: TIMESTAMP
0000327f: PUSH1 0x0c
00003281: SSTORE
00003282: JUMP
00003283: JUMPDEST
00003284: POP
00003285: PUSH1 0x0c
00003287: SLOAD
00003288: ISZERO
00003289: PUSH2 0x3274
0000328c: JUMP
0000328d: JUMPDEST
0000328e: PUSH1 0x0d
00003290: SLOAD
00003291: PUSH2 0x32a5
00003294: SWAP1
00003295: DUP4
00003296: SWAP1
00003297: PUSH1 0x01
00003299: PUSH1 0x01
0000329b: PUSH1 0xa0
0000329d: SHL
0000329e: SUB
0000329f: AND
000032a0: DUP8
000032a1: PUSH2 0x33d7
000032a4: JUMP
000032a5: JUMPDEST
000032a6: PUSH2 0x28ce
000032a9: JUMP
000032aa: JUMPDEST
000032ab: PUSH1 0x00
000032ad: SWAP2
000032ae: POP
000032af: PUSH2 0x3244
000032b2: JUMP
000032b3: JUMPDEST
000032b4: POP
000032b5: PUSH1 0x0d
000032b7: SLOAD
000032b8: PUSH1 0xa0
000032ba: SHR
000032bb: PUSH1 0xff
000032bd: AND
000032be: PUSH2 0x323f
000032c1: JUMP
000032c2: JUMPDEST
000032c3: POP
000032c4: PUSH1 0x01
000032c6: PUSH1 0x01
000032c8: PUSH1 0xa0
000032ca: SHL
000032cb: SUB
000032cc: DUP5
000032cd: AND
000032ce: PUSH1 0x00
000032d0: SWAP1
000032d1: DUP2
000032d2: MSTORE
000032d3: PUSH1 0x10
000032d5: PUSH1 0x20
000032d7: MSTORE
000032d8: PUSH1 0x40
000032da: SWAP1
000032db: KECCAK256
000032dc: PUSH2 0x32e4
000032df: SWAP1
000032e0: PUSH2 0x3204
000032e3: JUMP
000032e4: JUMPDEST
000032e5: PUSH2 0x3238
000032e8: JUMP
000032e9: JUMPDEST
000032ea: SWAP1
000032eb: POP
000032ec: PUSH2 0x3307
000032ef: PUSH2 0x32ff
000032f2: PUSH2 0x32f9
000032f5: PUSH2 0x35fc
000032f8: JUMP
000032f9: JUMPDEST
000032fa: DUP4
000032fb: PUSH2 0x34ec
000032fe: JUMP
000032ff: JUMPDEST
00003300: PUSH2 0x2710
00003303: SWAP1
00003304: DIV
00003305: SWAP1
00003306: JUMP
00003307: JUMPDEST
00003308: SWAP1
00003309: PUSH2 0x3210
0000330c: JUMP
0000330d: JUMPDEST
0000330e: SWAP1
0000330f: POP
00003310: PUSH2 0x2710
00003313: PUSH2 0x331d
00003316: PUSH2 0x32f9
00003319: PUSH2 0x34ff
0000331c: JUMP
0000331d: JUMPDEST
0000331e: DIV
0000331f: SWAP1
00003320: PUSH2 0x31e7
00003323: JUMP
00003324: JUMPDEST
00003325: ISZERO
00003326: PUSH2 0x332b
00003329: JUMPI
0000332a: JUMP
0000332b: JUMPDEST
0000332c: PUSH1 0x40
0000332e: MLOAD
0000332f: PUSH3 0x461bcd
00003333: PUSH1 0xe5
00003335: SHL
00003336: DUP2
00003337: MSTORE
00003338: PUSH1 0x20
0000333a: PUSH1 0x04
0000333c: DUP3
0000333d: ADD
0000333e: MSTORE
0000333f: PUSH1 0x23
00003341: PUSH1 0x24
00003343: DUP3
00003344: ADD
00003345: MSTORE
00003346: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
00003367: PUSH1 0x44
00003369: DUP3
0000336a: ADD
0000336b: MSTORE
0000336c: PUSH3 0x657373
00003370: PUSH1 0xe8
00003372: SHL
00003373: PUSH1 0x64
00003375: DUP3
00003376: ADD
00003377: MSTORE
00003378: PUSH1 0x84
0000337a: SWAP1
0000337b: REVERT
0000337c: JUMPDEST
0000337d: ISZERO
0000337e: PUSH2 0x3383
00003381: JUMPI
00003382: JUMP
00003383: JUMPDEST
00003384: PUSH1 0x40
00003386: MLOAD
00003387: PUSH3 0x461bcd
0000338b: PUSH1 0xe5
0000338d: SHL
0000338e: DUP2
0000338f: MSTORE
00003390: PUSH1 0x20
00003392: PUSH1 0x04
00003394: DUP3
00003395: ADD
00003396: MSTORE
00003397: PUSH1 0x26
00003399: PUSH1 0x24
0000339b: DUP3
0000339c: ADD
0000339d: MSTORE
0000339e: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732062
000033bf: PUSH1 0x44
000033c1: DUP3
000033c2: ADD
000033c3: MSTORE
000033c4: PUSH6 0x616c616e6365
000033cb: PUSH1 0xd0
000033cd: SHL
000033ce: PUSH1 0x64
000033d0: DUP3
000033d1: ADD
000033d2: MSTORE
000033d3: PUSH1 0x84
000033d5: SWAP1
000033d6: REVERT
000033d7: JUMPDEST
000033d8: SWAP2
000033d9: PUSH1 0x01
000033db: PUSH1 0x01
000033dd: PUSH1 0xa0
000033df: SHL
000033e0: SUB
000033e1: DUP1
000033e2: DUP5
000033e3: AND
000033e4: SWAP3
000033e5: SWAP1
000033e6: SWAP2
000033e7: DUP4
000033e8: ISZERO
000033e9: PUSH2 0x3499
000033ec: JUMPI
000033ed: PUSH2 0x3483
000033f0: DUP3
000033f1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00003412: SWAP5
00003413: PUSH2 0x2623
00003416: SWAP5
00003417: AND
00003418: SWAP7
00003419: PUSH2 0x3423
0000341c: DUP9
0000341d: ISZERO
0000341e: ISZERO
0000341f: PUSH2 0x3324
00003422: JUMP
00003423: JUMPDEST
00003424: PUSH1 0x01
00003426: PUSH1 0x01
00003428: PUSH1 0xa0
0000342a: SHL
0000342b: SUB
0000342c: DUP2
0000342d: AND
0000342e: PUSH1 0x00
00003430: SWAP1
00003431: DUP2
00003432: MSTORE
00003433: PUSH1 0x07
00003435: PUSH1 0x20
00003437: MSTORE
00003438: PUSH1 0x40
0000343a: SWAP1
0000343b: KECCAK256
0000343c: PUSH2 0x3468
0000343f: SWAP1
00003440: DUP6
00003441: SWAP1
00003442: SLOAD
00003443: PUSH2 0x344e
00003446: DUP3
00003447: DUP3
00003448: LT
00003449: ISZERO
0000344a: PUSH2 0x337c
0000344d: JUMP
0000344e: JUMPDEST
0000344f: SUB
00003450: SWAP2
00003451: PUSH1 0x01
00003453: DUP1
00003454: PUSH1 0xa0
00003456: SHL
00003457: SUB
00003458: AND
00003459: PUSH1 0x00
0000345b: MSTORE
0000345c: PUSH1 0x07
0000345e: PUSH1 0x20
00003460: MSTORE
00003461: PUSH1 0x40
00003463: PUSH1 0x00
00003465: KECCAK256
00003466: SWAP1
00003467: JUMP
00003468: JUMPDEST
00003469: SSTORE
0000346a: PUSH1 0x01
0000346c: PUSH1 0x01
0000346e: PUSH1 0xa0
00003470: SHL
00003471: SUB
00003472: AND
00003473: PUSH1 0x00
00003475: SWAP1
00003476: DUP2
00003477: MSTORE
00003478: PUSH1 0x07
0000347a: PUSH1 0x20
0000347c: MSTORE
0000347d: PUSH1 0x40
0000347f: SWAP1
00003480: KECCAK256
00003481: SWAP1
00003482: JUMP
00003483: JUMPDEST
00003484: DUP1
00003485: SLOAD
00003486: DUP3
00003487: ADD
00003488: SWAP1
00003489: SSTORE
0000348a: PUSH1 0x40
0000348c: MLOAD
0000348d: SWAP1
0000348e: DUP2
0000348f: MSTORE
00003490: SWAP1
00003491: DUP2
00003492: SWAP1
00003493: PUSH1 0x20
00003495: DUP3
00003496: ADD
00003497: SWAP1
00003498: JUMP
00003499: JUMPDEST
0000349a: PUSH1 0x40
0000349c: MLOAD
0000349d: PUSH3 0x461bcd
000034a1: PUSH1 0xe5
000034a3: SHL
000034a4: DUP2
000034a5: MSTORE
000034a6: PUSH1 0x20
000034a8: PUSH1 0x04
000034aa: DUP3
000034ab: ADD
000034ac: MSTORE
000034ad: PUSH1 0x25
000034af: PUSH1 0x24
000034b1: DUP3
000034b2: ADD
000034b3: MSTORE
000034b4: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
000034d5: PUSH1 0x44
000034d7: DUP3
000034d8: ADD
000034d9: MSTORE
000034da: PUSH5 0x6472657373
000034e0: PUSH1 0xd8
000034e2: SHL
000034e3: PUSH1 0x64
000034e5: DUP3
000034e6: ADD
000034e7: MSTORE
000034e8: PUSH1 0x84
000034ea: SWAP1
000034eb: REVERT
000034ec: JUMPDEST
000034ed: DUP2
000034ee: DUP2
000034ef: MUL
000034f0: SWAP3
000034f1: SWAP2
000034f2: DUP2
000034f3: ISZERO
000034f4: SWAP2
000034f5: DUP5
000034f6: DIV
000034f7: EQ
000034f8: OR
000034f9: ISZERO
000034fa: PUSH2 0x0bda
000034fd: JUMPI
000034fe: JUMP
000034ff: JUMPDEST
00003500: PUSH1 0x00
00003502: DUP1
00003503: PUSH1 0x0c
00003505: SLOAD
00003506: PUSH2 0x350f
00003509: DUP2
0000350a: TIMESTAMP
0000350b: PUSH2 0x28ce
0000350e: JUMP
0000350f: JUMPDEST
00003510: PUSH1 0x14
00003512: DUP2
00003513: LT
00003514: DUP1
00003515: DUP1
00003516: PUSH2 0x35f3
00003519: JUMPI
0000351a: JUMPDEST
0000351b: PUSH2 0x35e9
0000351e: JUMPI
0000351f: JUMPDEST
00003520: ISZERO
00003521: DUP1
00003522: PUSH2 0x35df
00003525: JUMPI
00003526: JUMPDEST
00003527: DUP1
00003528: PUSH2 0x35d6
0000352b: JUMPI
0000352c: JUMPDEST
0000352d: PUSH2 0x35cc
00003530: JUMPI
00003531: JUMPDEST
00003532: PUSH1 0x28
00003534: DUP2
00003535: LT
00003536: ISZERO
00003537: DUP1
00003538: PUSH2 0x35c0
0000353b: JUMPI
0000353c: JUMPDEST
0000353d: DUP1
0000353e: PUSH2 0x35b7
00003541: JUMPI
00003542: JUMPDEST
00003543: PUSH2 0x358f
00003546: JUMPI
00003547: JUMPDEST
00003548: PUSH3 0x015180
0000354c: GT
0000354d: ISZERO
0000354e: SWAP1
0000354f: DUP2
00003550: PUSH2 0x3585
00003553: JUMPI
00003554: JUMPDEST
00003555: POP
00003556: PUSH2 0x355d
00003559: JUMPI
0000355a: POP
0000355b: SWAP1
0000355c: JUMP
0000355d: JUMPDEST
0000355e: ISZERO
0000355f: SWAP1
00003560: POP
00003561: PUSH2 0x3578
00003564: JUMPI
00003565: PUSH2 0xffff
00003568: PUSH2 0x3574
0000356b: PUSH1 0x11
0000356d: SLOAD
0000356e: PUSH2 0xffff
00003571: AND
00003572: SWAP1
00003573: JUMP
00003574: JUMPDEST
00003575: AND
00003576: SWAP1
00003577: JUMP
00003578: JUMPDEST
00003579: PUSH1 0x11
0000357b: SLOAD
0000357c: PUSH1 0x10
0000357e: SHR
0000357f: PUSH2 0xffff
00003582: AND
00003583: SWAP1
00003584: JUMP
00003585: JUMPDEST
00003586: SWAP1
00003587: POP
00003588: ISZERO
00003589: ISZERO
0000358a: CODESIZE
0000358b: PUSH2 0x3554
0000358e: JUMP
0000358f: JUMPDEST
00003590: SWAP3
00003591: POP
00003592: SWAP1
00003593: POP
00003594: PUSH1 0x00
00003596: SWAP1
00003597: PUSH3 0x015180
0000359b: PUSH2 0xffff
0000359e: PUSH2 0x35ae
000035a1: PUSH1 0x12
000035a3: SLOAD
000035a4: PUSH2 0xffff
000035a7: SWAP1
000035a8: PUSH1 0x10
000035aa: SHR
000035ab: AND
000035ac: SWAP1
000035ad: JUMP
000035ae: JUMPDEST
000035af: AND
000035b0: SWAP4
000035b1: SWAP1
000035b2: POP
000035b3: PUSH2 0x3547
000035b6: JUMP
000035b7: JUMPDEST
000035b8: POP
000035b9: DUP2
000035ba: ISZERO
000035bb: ISZERO
000035bc: PUSH2 0x3542
000035bf: JUMP
000035c0: JUMPDEST
000035c1: POP
000035c2: PUSH3 0x015180
000035c6: DUP2
000035c7: LT
000035c8: PUSH2 0x353c
000035cb: JUMP
000035cc: JUMPDEST
000035cd: PUSH2 0x07d0
000035d0: SWAP4
000035d1: POP
000035d2: PUSH2 0x3531
000035d5: JUMP
000035d6: JUMPDEST
000035d7: POP
000035d8: DUP2
000035d9: ISZERO
000035da: ISZERO
000035db: PUSH2 0x352c
000035de: JUMP
000035df: JUMPDEST
000035e0: POP
000035e1: PUSH1 0x28
000035e3: DUP2
000035e4: LT
000035e5: PUSH2 0x3526
000035e8: JUMP
000035e9: JUMPDEST
000035ea: PUSH2 0x0fa0
000035ed: SWAP5
000035ee: POP
000035ef: PUSH2 0x351f
000035f2: JUMP
000035f3: JUMPDEST
000035f4: POP
000035f5: DUP3
000035f6: ISZERO
000035f7: ISZERO
000035f8: PUSH2 0x351a
000035fb: JUMP
000035fc: JUMPDEST
000035fd: PUSH1 0x00
000035ff: PUSH1 0x0c
00003601: SLOAD
00003602: PUSH2 0x360b
00003605: DUP2
00003606: TIMESTAMP
00003607: PUSH2 0x28ce
0000360a: JUMP
0000360b: JUMPDEST
0000360c: PUSH1 0x14
0000360e: DUP2
0000360f: LT
00003610: DUP1
00003611: DUP1
00003612: PUSH2 0x36ce
00003615: JUMPI
00003616: JUMPDEST
00003617: PUSH2 0x36c4
0000361a: JUMPI
0000361b: JUMPDEST
0000361c: ISZERO
0000361d: DUP1
0000361e: PUSH2 0x36ba
00003621: JUMPI
00003622: JUMPDEST
00003623: DUP1
00003624: PUSH2 0x36b1
00003627: JUMPI
00003628: JUMPDEST
00003629: PUSH2 0x36a7
0000362c: JUMPI
0000362d: JUMPDEST
0000362e: PUSH1 0x28
00003630: DUP2
00003631: LT
00003632: ISZERO
00003633: DUP1
00003634: PUSH2 0x369b
00003637: JUMPI
00003638: JUMPDEST
00003639: DUP1
0000363a: PUSH2 0x3692
0000363d: JUMPI
0000363e: JUMPDEST
0000363f: PUSH2 0x3673
00003642: JUMPI
00003643: JUMPDEST
00003644: PUSH3 0x015180
00003648: GT
00003649: ISZERO
0000364a: SWAP1
0000364b: DUP2
0000364c: PUSH2 0x3669
0000364f: JUMPI
00003650: JUMPDEST
00003651: POP
00003652: PUSH2 0x3658
00003655: JUMPI
00003656: SWAP1
00003657: JUMP
00003658: JUMPDEST
00003659: POP
0000365a: PUSH2 0xffff
0000365d: PUSH2 0x3574
00003660: PUSH1 0x11
00003662: SLOAD
00003663: PUSH2 0xffff
00003666: AND
00003667: SWAP1
00003668: JUMP
00003669: JUMPDEST
0000366a: SWAP1
0000366b: POP
0000366c: ISZERO
0000366d: ISZERO
0000366e: CODESIZE
0000366f: PUSH2 0x3650
00003672: JUMP
00003673: JUMPDEST
00003674: SWAP2
00003675: POP
00003676: PUSH3 0x015180
0000367a: PUSH2 0xffff
0000367d: PUSH2 0x3689
00003680: PUSH1 0x12
00003682: SLOAD
00003683: PUSH2 0xffff
00003686: AND
00003687: SWAP1
00003688: JUMP
00003689: JUMPDEST
0000368a: AND
0000368b: SWAP3
0000368c: SWAP1
0000368d: POP
0000368e: PUSH2 0x3643
00003691: JUMP
00003692: JUMPDEST
00003693: POP
00003694: DUP2
00003695: ISZERO
00003696: ISZERO
00003697: PUSH2 0x363e
0000369a: JUMP
0000369b: JUMPDEST
0000369c: POP
0000369d: PUSH3 0x015180
000036a1: DUP2
000036a2: LT
000036a3: PUSH2 0x3638
000036a6: JUMP
000036a7: JUMPDEST
000036a8: PUSH2 0x07d0
000036ab: SWAP3
000036ac: POP
000036ad: PUSH2 0x362d
000036b0: JUMP
000036b1: JUMPDEST
000036b2: POP
000036b3: DUP2
000036b4: ISZERO
000036b5: ISZERO
000036b6: PUSH2 0x3628
000036b9: JUMP
000036ba: JUMPDEST
000036bb: POP
000036bc: PUSH1 0x28
000036be: DUP2
000036bf: LT
000036c0: PUSH2 0x3622
000036c3: JUMP
000036c4: JUMPDEST
000036c5: PUSH2 0x0fa0
000036c8: SWAP4
000036c9: POP
000036ca: PUSH2 0x361b
000036cd: JUMP
000036ce: JUMPDEST
000036cf: POP
000036d0: DUP3
000036d1: ISZERO
000036d2: ISZERO
000036d3: PUSH2 0x3616
000036d6: JUMP
000036d7: INVALID
000036d8: LOG2
000036d9: PUSH5 0x6970667358
000036df: UNKNOWN(0x22)
000036e0: SLT
000036e1: KECCAK256
000036e2: PUSH10 0xa9c718f17cbbcf568efa
000036ed: OR
000036ee: UNKNOWN(0xBE)
000036ef: UNKNOWN(0xBE)
000036f0: UNKNOWN(0xBE)
000036f1: UNKNOWN(0xB5)
000036f2: UNKNOWN(0xE6)
000036f3: SWAP2
000036f4: SWAP16
000036f5: PUSH9 0x6b1779132e1138d839
000036ff: UNKNOWN(0xEC)
00003700: GAS
00003701: NOT
00003702: PUSH5 0x736f6c6343
00003708: STOP
00003709: ADDMOD
0000370a: SLT
0000370b: STOP
0000370c: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xfeeb2e150669d5d4c3e51ce186b63df8947d55828fd12ad6122ca14d64ed1f8b
call_targets: 0x89d584a1edb3a70b3b07963f9a3ea5399e38b136
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xfeeb2e150669d5d4c3e51ce186b63df8947d55828fd12ad6122ca14d64ed1f8b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x89d584a1edb3a70b3b07963f9a3ea5399e38b136"
    ],
    "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": "0x01ffc9a7",
            "selector": "0x01ffc9a7",
            "calldata_variants": [
                "0x01ffc9a7",
                "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x03fd2a45",
            "selector": "0x03fd2a45",
            "calldata_variants": [
                "0x03fd2a45",
                "0x03fd2a450000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x069d955f",
            "selector": "0x069d955f",
            "calldata_variants": [
                "0x069d955f",
                "0x069d955f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x07e0db17",
            "selector": "0x07e0db17",
            "calldata_variants": [
                "0x07e0db17",
                "0x07e0db170000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0df37483",
            "selector": "0x0df37483",
            "calldata_variants": [
                "0x0df37483",
                "0x0df374830000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x10ddb137",
            "selector": "0x10ddb137",
            "calldata_variants": [
                "0x10ddb137",
                "0x10ddb1370000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2130,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2422,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3389,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 6,
    "guards_detected": [],
    "untrusted_call_count": 6
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xfeeb2e150669d5d4c3e51ce186b63df8947d55828fd12ad6122ca14d64ed1f8b
call_targets: 0x89d584a1edb3a70b3b07963f9a3ea5399e38b136
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xfeeb2e150669d5d4c3e51ce186b63df8947d55828fd12ad6122ca14d64ed1f8b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x89d584a1edb3a70b3b07963f9a3ea5399e38b136"
    ],
    "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": "0x01ffc9a7",
            "selector": "0x01ffc9a7",
            "calldata_variants": [
                "0x01ffc9a7",
                "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x03fd2a45",
            "selector": "0x03fd2a45",
            "calldata_variants": [
                "0x03fd2a45",
                "0x03fd2a450000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x069d955f",
            "selector": "0x069d955f",
            "calldata_variants": [
                "0x069d955f",
                "0x069d955f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x07e0db17",
            "selector": "0x07e0db17",
            "calldata_variants": [
                "0x07e0db17",
                "0x07e0db170000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0df37483",
            "selector": "0x0df37483",
            "calldata_variants": [
                "0x0df37483",
                "0x0df374830000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x10ddb137",
            "selector": "0x10ddb137",
            "calldata_variants": [
                "0x10ddb137",
                "0x10ddb1370000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2130,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2422,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3389,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 6,
    "guards_detected": []
}