Tripwire
Find contracts. Test them. Review real vulns.
Analysis Run

019b477e-c932-7339-96df-9d845fc5ce35
complete
Chain ID
Address
0xf579da4ef2b45e3d0c2f3969695d3634782576d4
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?
back to vulns open contract
Confirmed
Validated
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
26279	artifact.fetch	complete	1 / 3	3 months ago
26280	tool.cast_disasm	complete	1 / 3	3 months ago
91457	analysis.bundle	complete	1 / 3	2 weeks ago
91458	capability.graph	complete	1 / 3	2 weeks ago
91459	detector.run	complete	1 / 3	2 weeks ago
91460	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
Selfdestruct
CREATE2
CALL-family (heavy)
EXT*/BALANCE
Total opcodes
9483
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x04ec
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x6f42d63e
00000019: GT
0000001a: PUSH2 0x0294
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb3f9e6f6
00000024: GT
00000025: PUSH2 0x015e
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xcd33ea47
0000002f: GT
00000030: PUSH2 0x00d6
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xef5d9ae8
0000003a: GT
0000003b: PUSH2 0x008a
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf3fef3a3
00000045: GT
00000046: PUSH2 0x006f
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf3fef3a3
00000050: EQ
00000051: PUSH2 0x0d70
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf6c9550d
0000005b: EQ
0000005c: PUSH2 0x0d90
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfffb21d6
00000066: EQ
00000067: PUSH2 0x0da6
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xef5d9ae8
00000076: EQ
00000077: PUSH2 0x0d23
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xf2fde38b
00000081: EQ
00000082: PUSH2 0x0d50
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0xe8b2aea0
00000091: GT
00000092: PUSH2 0x00bb
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xe8b2aea0
0000009c: EQ
0000009d: PUSH2 0x0caf
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xe9027f3a
000000a7: EQ
000000a8: PUSH2 0x0cc5
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xe985e9c5
000000b2: EQ
000000b3: PUSH2 0x0cda
000000b6: JUMPI
000000b7: PUSH1 0x00
000000b9: DUP1
000000ba: REVERT
000000bb: JUMPDEST
000000bc: DUP1
000000bd: PUSH4 0xcd33ea47
000000c2: EQ
000000c3: PUSH2 0x0c83
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0xd10a1a2b
000000cd: EQ
000000ce: PUSH2 0x0c99
000000d1: JUMPI
000000d2: PUSH1 0x00
000000d4: DUP1
000000d5: REVERT
000000d6: JUMPDEST
000000d7: DUP1
000000d8: PUSH4 0xc2a35b98
000000dd: GT
000000de: PUSH2 0x012d
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0xc87b56dd
000000e8: GT
000000e9: PUSH2 0x0112
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0xc87b56dd
000000f3: EQ
000000f4: PUSH2 0x0c2e
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0xc8a6ecb3
000000fe: EQ
000000ff: PUSH2 0x0c4e
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0xcbe863a3
00000109: EQ
0000010a: PUSH2 0x0c63
0000010d: JUMPI
0000010e: PUSH1 0x00
00000110: DUP1
00000111: REVERT
00000112: JUMPDEST
00000113: DUP1
00000114: PUSH4 0xc2a35b98
00000119: EQ
0000011a: PUSH2 0x0c02
0000011d: JUMPI
0000011e: DUP1
0000011f: PUSH4 0xc76843e8
00000124: EQ
00000125: PUSH2 0x0c18
00000128: JUMPI
00000129: PUSH1 0x00
0000012b: DUP1
0000012c: REVERT
0000012d: JUMPDEST
0000012e: DUP1
0000012f: PUSH4 0xb3f9e6f6
00000134: EQ
00000135: PUSH2 0x0b96
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0xb88d4fde
0000013f: EQ
00000140: PUSH2 0x0bac
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0xb8c9059d
0000014a: EQ
0000014b: PUSH2 0x0bcc
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0xbf97ef1e
00000155: EQ
00000156: PUSH2 0x0bec
00000159: JUMPI
0000015a: PUSH1 0x00
0000015c: DUP1
0000015d: REVERT
0000015e: JUMPDEST
0000015f: DUP1
00000160: PUSH4 0x95d89b41
00000165: GT
00000166: PUSH2 0x020c
00000169: JUMPI
0000016a: DUP1
0000016b: PUSH4 0xa50a1fe6
00000170: GT
00000171: PUSH2 0x01c0
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0xa9f1b893
0000017b: GT
0000017c: PUSH2 0x01a5
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0xa9f1b893
00000186: EQ
00000187: PUSH2 0x0b41
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0xb03e7c9f
00000191: EQ
00000192: PUSH2 0x0b56
00000195: JUMPI
00000196: DUP1
00000197: PUSH4 0xb1ed077e
0000019c: EQ
0000019d: PUSH2 0x0b76
000001a0: JUMPI
000001a1: PUSH1 0x00
000001a3: DUP1
000001a4: REVERT
000001a5: JUMPDEST
000001a6: DUP1
000001a7: PUSH4 0xa50a1fe6
000001ac: EQ
000001ad: PUSH2 0x0b15
000001b0: JUMPI
000001b1: DUP1
000001b2: PUSH4 0xa5c3fdae
000001b7: EQ
000001b8: PUSH2 0x0b2b
000001bb: JUMPI
000001bc: PUSH1 0x00
000001be: DUP1
000001bf: REVERT
000001c0: JUMPDEST
000001c1: DUP1
000001c2: PUSH4 0x9b2654b2
000001c7: GT
000001c8: PUSH2 0x01f1
000001cb: JUMPI
000001cc: DUP1
000001cd: PUSH4 0x9b2654b2
000001d2: EQ
000001d3: PUSH2 0x0acd
000001d6: JUMPI
000001d7: DUP1
000001d8: PUSH4 0xa22cb465
000001dd: EQ
000001de: PUSH2 0x0ae0
000001e1: JUMPI
000001e2: DUP1
000001e3: PUSH4 0xa2309ff8
000001e8: EQ
000001e9: PUSH2 0x0b00
000001ec: JUMPI
000001ed: PUSH1 0x00
000001ef: DUP1
000001f0: REVERT
000001f1: JUMPDEST
000001f2: DUP1
000001f3: PUSH4 0x95d89b41
000001f8: EQ
000001f9: PUSH2 0x0aa3
000001fc: JUMPI
000001fd: DUP1
000001fe: PUSH4 0x9958da24
00000203: EQ
00000204: PUSH2 0x0ab8
00000207: JUMPI
00000208: PUSH1 0x00
0000020a: DUP1
0000020b: REVERT
0000020c: JUMPDEST
0000020d: DUP1
0000020e: PUSH4 0x83766aba
00000213: GT
00000214: PUSH2 0x0263
00000217: JUMPI
00000218: DUP1
00000219: PUSH4 0x8920c3f2
0000021e: GT
0000021f: PUSH2 0x0248
00000222: JUMPI
00000223: DUP1
00000224: PUSH4 0x8920c3f2
00000229: EQ
0000022a: PUSH2 0x0a50
0000022d: JUMPI
0000022e: DUP1
0000022f: PUSH4 0x8da5cb5b
00000234: EQ
00000235: PUSH2 0x0a70
00000238: JUMPI
00000239: DUP1
0000023a: PUSH4 0x8ecc8083
0000023f: EQ
00000240: PUSH2 0x0a8e
00000243: JUMPI
00000244: PUSH1 0x00
00000246: DUP1
00000247: REVERT
00000248: JUMPDEST
00000249: DUP1
0000024a: PUSH4 0x83766aba
0000024f: EQ
00000250: PUSH2 0x0a1a
00000253: JUMPI
00000254: DUP1
00000255: PUSH4 0x84b9f5b3
0000025a: EQ
0000025b: PUSH2 0x0a30
0000025e: JUMPI
0000025f: PUSH1 0x00
00000261: DUP1
00000262: REVERT
00000263: JUMPDEST
00000264: DUP1
00000265: PUSH4 0x6f42d63e
0000026a: EQ
0000026b: PUSH2 0x09a5
0000026e: JUMPI
0000026f: DUP1
00000270: PUSH4 0x70a08231
00000275: EQ
00000276: PUSH2 0x09c5
00000279: JUMPI
0000027a: DUP1
0000027b: PUSH4 0x715018a6
00000280: EQ
00000281: PUSH2 0x09e5
00000284: JUMPI
00000285: DUP1
00000286: PUSH4 0x79f3dc04
0000028b: EQ
0000028c: PUSH2 0x09fa
0000028f: JUMPI
00000290: PUSH1 0x00
00000292: DUP1
00000293: REVERT
00000294: JUMPDEST
00000295: DUP1
00000296: PUSH4 0x23b872dd
0000029b: GT
0000029c: PUSH2 0x03d5
0000029f: JUMPI
000002a0: DUP1
000002a1: PUSH4 0x55c4989c
000002a6: GT
000002a7: PUSH2 0x034d
000002aa: JUMPI
000002ab: DUP1
000002ac: PUSH4 0x5fbdbcf0
000002b1: GT
000002b2: PUSH2 0x0301
000002b5: JUMPI
000002b6: DUP1
000002b7: PUSH4 0x6352211e
000002bc: GT
000002bd: PUSH2 0x02e6
000002c0: JUMPI
000002c1: DUP1
000002c2: PUSH4 0x6352211e
000002c7: EQ
000002c8: PUSH2 0x0959
000002cb: JUMPI
000002cc: DUP1
000002cd: PUSH4 0x6584cce9
000002d2: EQ
000002d3: PUSH2 0x0979
000002d6: JUMPI
000002d7: DUP1
000002d8: PUSH4 0x6de23af4
000002dd: EQ
000002de: PUSH2 0x098f
000002e1: JUMPI
000002e2: PUSH1 0x00
000002e4: DUP1
000002e5: REVERT
000002e6: JUMPDEST
000002e7: DUP1
000002e8: PUSH4 0x5fbdbcf0
000002ed: EQ
000002ee: PUSH2 0x0919
000002f1: JUMPI
000002f2: DUP1
000002f3: PUSH4 0x62fe1b24
000002f8: EQ
000002f9: PUSH2 0x0939
000002fc: JUMPI
000002fd: PUSH1 0x00
000002ff: DUP1
00000300: REVERT
00000301: JUMPDEST
00000302: DUP1
00000303: PUSH4 0x5a3ede8d
00000308: GT
00000309: PUSH2 0x0332
0000030c: JUMPI
0000030d: DUP1
0000030e: PUSH4 0x5a3ede8d
00000313: EQ
00000314: PUSH2 0x08a9
00000317: JUMPI
00000318: DUP1
00000319: PUSH4 0x5c3de6c7
0000031e: EQ
0000031f: PUSH2 0x08c9
00000322: JUMPI
00000323: DUP1
00000324: PUSH4 0x5f37f620
00000329: EQ
0000032a: PUSH2 0x08e9
0000032d: JUMPI
0000032e: PUSH1 0x00
00000330: DUP1
00000331: REVERT
00000332: JUMPDEST
00000333: DUP1
00000334: PUSH4 0x55c4989c
00000339: EQ
0000033a: PUSH2 0x0863
0000033d: JUMPI
0000033e: DUP1
0000033f: PUSH4 0x579428e0
00000344: EQ
00000345: PUSH2 0x0893
00000348: JUMPI
00000349: PUSH1 0x00
0000034b: DUP1
0000034c: REVERT
0000034d: JUMPDEST
0000034e: DUP1
0000034f: PUSH4 0x2eb4a7ab
00000354: GT
00000355: PUSH2 0x03a4
00000358: JUMPI
00000359: DUP1
0000035a: PUSH4 0x3cf8c233
0000035f: GT
00000360: PUSH2 0x0389
00000363: JUMPI
00000364: DUP1
00000365: PUSH4 0x3cf8c233
0000036a: EQ
0000036b: PUSH2 0x080d
0000036e: JUMPI
0000036f: DUP1
00000370: PUSH4 0x42842e0e
00000375: EQ
00000376: PUSH2 0x082d
00000379: JUMPI
0000037a: DUP1
0000037b: PUSH4 0x4a90604c
00000380: EQ
00000381: PUSH2 0x084d
00000384: JUMPI
00000385: PUSH1 0x00
00000387: DUP1
00000388: REVERT
00000389: JUMPDEST
0000038a: DUP1
0000038b: PUSH4 0x2eb4a7ab
00000390: EQ
00000391: PUSH2 0x07d7
00000394: JUMPI
00000395: DUP1
00000396: PUSH4 0x2efd3cb9
0000039b: EQ
0000039c: PUSH2 0x07ed
0000039f: JUMPI
000003a0: PUSH1 0x00
000003a2: DUP1
000003a3: REVERT
000003a4: JUMPDEST
000003a5: DUP1
000003a6: PUSH4 0x23b872dd
000003ab: EQ
000003ac: PUSH2 0x0757
000003af: JUMPI
000003b0: DUP1
000003b1: PUSH4 0x24fee950
000003b6: EQ
000003b7: PUSH2 0x0777
000003ba: JUMPI
000003bb: DUP1
000003bc: PUSH4 0x290c292d
000003c1: EQ
000003c2: PUSH2 0x0797
000003c5: JUMPI
000003c6: DUP1
000003c7: PUSH4 0x2a43437e
000003cc: EQ
000003cd: PUSH2 0x07b7
000003d0: JUMPI
000003d1: PUSH1 0x00
000003d3: DUP1
000003d4: REVERT
000003d5: JUMPDEST
000003d6: DUP1
000003d7: PUSH4 0x124b5a00
000003dc: GT
000003dd: PUSH2 0x0468
000003e0: JUMPI
000003e1: DUP1
000003e2: PUSH4 0x20f212ce
000003e7: GT
000003e8: PUSH2 0x0437
000003eb: JUMPI
000003ec: DUP1
000003ed: PUSH4 0x23317100
000003f2: GT
000003f3: PUSH2 0x041c
000003f6: JUMPI
000003f7: DUP1
000003f8: PUSH4 0x23317100
000003fd: EQ
000003fe: PUSH2 0x06fc
00000401: JUMPI
00000402: DUP1
00000403: PUSH4 0x2333f3c4
00000408: EQ
00000409: PUSH2 0x0712
0000040c: JUMPI
0000040d: DUP1
0000040e: PUSH4 0x239c70ae
00000413: EQ
00000414: PUSH2 0x0742
00000417: JUMPI
00000418: PUSH1 0x00
0000041a: DUP1
0000041b: REVERT
0000041c: JUMPDEST
0000041d: DUP1
0000041e: PUSH4 0x20f212ce
00000423: EQ
00000424: PUSH2 0x06c6
00000427: JUMPI
00000428: DUP1
00000429: PUSH4 0x20fb3016
0000042e: EQ
0000042f: PUSH2 0x06e6
00000432: JUMPI
00000433: PUSH1 0x00
00000435: DUP1
00000436: REVERT
00000437: JUMPDEST
00000438: DUP1
00000439: PUSH4 0x124b5a00
0000043e: EQ
0000043f: PUSH2 0x0653
00000442: JUMPI
00000443: DUP1
00000444: PUSH4 0x12cdee59
00000449: EQ
0000044a: PUSH2 0x0673
0000044d: JUMPI
0000044e: DUP1
0000044f: PUSH4 0x148829f5
00000454: EQ
00000455: PUSH2 0x0693
00000458: JUMPI
00000459: DUP1
0000045a: PUSH4 0x18160ddd
0000045f: EQ
00000460: PUSH2 0x06a9
00000463: JUMPI
00000464: PUSH1 0x00
00000466: DUP1
00000467: REVERT
00000468: JUMPDEST
00000469: DUP1
0000046a: PUSH4 0x095ea7b3
0000046f: GT
00000470: PUSH2 0x04bf
00000473: JUMPI
00000474: DUP1
00000475: PUSH4 0x0c3434f5
0000047a: GT
0000047b: PUSH2 0x04a4
0000047e: JUMPI
0000047f: DUP1
00000480: PUSH4 0x0c3434f5
00000485: EQ
00000486: PUSH2 0x05d5
00000489: JUMPI
0000048a: DUP1
0000048b: PUSH4 0x0ece2294
00000490: EQ
00000491: PUSH2 0x0603
00000494: JUMPI
00000495: DUP1
00000496: PUSH4 0x10d17dcb
0000049b: EQ
0000049c: PUSH2 0x0633
0000049f: JUMPI
000004a0: PUSH1 0x00
000004a2: DUP1
000004a3: REVERT
000004a4: JUMPDEST
000004a5: DUP1
000004a6: PUSH4 0x095ea7b3
000004ab: EQ
000004ac: PUSH2 0x05a2
000004af: JUMPI
000004b0: DUP1
000004b1: PUSH4 0x0b19b173
000004b6: EQ
000004b7: PUSH2 0x05c2
000004ba: JUMPI
000004bb: PUSH1 0x00
000004bd: DUP1
000004be: REVERT
000004bf: JUMPDEST
000004c0: DUP1
000004c1: PUSH4 0x01ffc9a7
000004c6: EQ
000004c7: PUSH2 0x04f1
000004ca: JUMPI
000004cb: DUP1
000004cc: PUSH4 0x063ca000
000004d1: EQ
000004d2: PUSH2 0x0526
000004d5: JUMPI
000004d6: DUP1
000004d7: PUSH4 0x06fdde03
000004dc: EQ
000004dd: PUSH2 0x0548
000004e0: JUMPI
000004e1: DUP1
000004e2: PUSH4 0x081812fc
000004e7: EQ
000004e8: PUSH2 0x056a
000004eb: JUMPI
000004ec: JUMPDEST
000004ed: PUSH1 0x00
000004ef: DUP1
000004f0: REVERT
000004f1: JUMPDEST
000004f2: CALLVALUE
000004f3: DUP1
000004f4: ISZERO
000004f5: PUSH2 0x04fd
000004f8: JUMPI
000004f9: PUSH1 0x00
000004fb: DUP1
000004fc: REVERT
000004fd: JUMPDEST
000004fe: POP
000004ff: PUSH2 0x0511
00000502: PUSH2 0x050c
00000505: CALLDATASIZE
00000506: PUSH1 0x04
00000508: PUSH2 0x3223
0000050b: JUMP
0000050c: JUMPDEST
0000050d: PUSH2 0x0dc8
00000510: JUMP
00000511: JUMPDEST
00000512: PUSH1 0x40
00000514: MLOAD
00000515: SWAP1
00000516: ISZERO
00000517: ISZERO
00000518: DUP2
00000519: MSTORE
0000051a: PUSH1 0x20
0000051c: ADD
0000051d: JUMPDEST
0000051e: PUSH1 0x40
00000520: MLOAD
00000521: DUP1
00000522: SWAP2
00000523: SUB
00000524: SWAP1
00000525: RETURN
00000526: JUMPDEST
00000527: CALLVALUE
00000528: DUP1
00000529: ISZERO
0000052a: PUSH2 0x0532
0000052d: JUMPI
0000052e: PUSH1 0x00
00000530: DUP1
00000531: REVERT
00000532: JUMPDEST
00000533: POP
00000534: PUSH2 0x0546
00000537: PUSH2 0x0541
0000053a: CALLDATASIZE
0000053b: PUSH1 0x04
0000053d: PUSH2 0x329c
00000540: JUMP
00000541: JUMPDEST
00000542: PUSH2 0x0e65
00000545: JUMP
00000546: JUMPDEST
00000547: STOP
00000548: JUMPDEST
00000549: CALLVALUE
0000054a: DUP1
0000054b: ISZERO
0000054c: PUSH2 0x0554
0000054f: JUMPI
00000550: PUSH1 0x00
00000552: DUP1
00000553: REVERT
00000554: JUMPDEST
00000555: POP
00000556: PUSH2 0x055d
00000559: PUSH2 0x0f6c
0000055c: JUMP
0000055d: JUMPDEST
0000055e: PUSH1 0x40
00000560: MLOAD
00000561: PUSH2 0x051d
00000564: SWAP2
00000565: SWAP1
00000566: PUSH2 0x33a6
00000569: JUMP
0000056a: JUMPDEST
0000056b: CALLVALUE
0000056c: DUP1
0000056d: ISZERO
0000056e: PUSH2 0x0576
00000571: JUMPI
00000572: PUSH1 0x00
00000574: DUP1
00000575: REVERT
00000576: JUMPDEST
00000577: POP
00000578: PUSH2 0x058a
0000057b: PUSH2 0x0585
0000057e: CALLDATASIZE
0000057f: PUSH1 0x04
00000581: PUSH2 0x33b9
00000584: JUMP
00000585: JUMPDEST
00000586: PUSH2 0x0ffe
00000589: JUMP
0000058a: JUMPDEST
0000058b: PUSH1 0x40
0000058d: MLOAD
0000058e: PUSH1 0x01
00000590: PUSH1 0x01
00000592: PUSH1 0xa0
00000594: SHL
00000595: SUB
00000596: SWAP1
00000597: SWAP2
00000598: AND
00000599: DUP2
0000059a: MSTORE
0000059b: PUSH1 0x20
0000059d: ADD
0000059e: PUSH2 0x051d
000005a1: JUMP
000005a2: JUMPDEST
000005a3: CALLVALUE
000005a4: DUP1
000005a5: ISZERO
000005a6: PUSH2 0x05ae
000005a9: JUMPI
000005aa: PUSH1 0x00
000005ac: DUP1
000005ad: REVERT
000005ae: JUMPDEST
000005af: POP
000005b0: PUSH2 0x0546
000005b3: PUSH2 0x05bd
000005b6: CALLDATASIZE
000005b7: PUSH1 0x04
000005b9: PUSH2 0x33d2
000005bc: JUMP
000005bd: JUMPDEST
000005be: PUSH2 0x105b
000005c1: JUMP
000005c2: JUMPDEST
000005c3: PUSH2 0x0546
000005c6: PUSH2 0x05d0
000005c9: CALLDATASIZE
000005ca: PUSH1 0x04
000005cc: PUSH2 0x33d2
000005cf: JUMP
000005d0: JUMPDEST
000005d1: PUSH2 0x115f
000005d4: JUMP
000005d5: JUMPDEST
000005d6: CALLVALUE
000005d7: DUP1
000005d8: ISZERO
000005d9: PUSH2 0x05e1
000005dc: JUMPI
000005dd: PUSH1 0x00
000005df: DUP1
000005e0: REVERT
000005e1: JUMPDEST
000005e2: POP
000005e3: PUSH2 0x05f5
000005e6: PUSH2 0x05f0
000005e9: CALLDATASIZE
000005ea: PUSH1 0x04
000005ec: PUSH2 0x33fe
000005ef: JUMP
000005f0: JUMPDEST
000005f1: PUSH2 0x1260
000005f4: JUMP
000005f5: JUMPDEST
000005f6: PUSH1 0x40
000005f8: MLOAD
000005f9: SWAP1
000005fa: DUP2
000005fb: MSTORE
000005fc: PUSH1 0x20
000005fe: ADD
000005ff: PUSH2 0x051d
00000602: JUMP
00000603: JUMPDEST
00000604: CALLVALUE
00000605: DUP1
00000606: ISZERO
00000607: PUSH2 0x060f
0000060a: JUMPI
0000060b: PUSH1 0x00
0000060d: DUP1
0000060e: REVERT
0000060f: JUMPDEST
00000610: POP
00000611: PUSH2 0x0511
00000614: PUSH2 0x061e
00000617: CALLDATASIZE
00000618: PUSH1 0x04
0000061a: PUSH2 0x33b9
0000061d: JUMP
0000061e: JUMPDEST
0000061f: PUSH1 0x14
00000621: PUSH1 0x20
00000623: MSTORE
00000624: PUSH1 0x00
00000626: SWAP1
00000627: DUP2
00000628: MSTORE
00000629: PUSH1 0x40
0000062b: SWAP1
0000062c: KECCAK256
0000062d: SLOAD
0000062e: PUSH1 0xff
00000630: AND
00000631: DUP2
00000632: JUMP
00000633: JUMPDEST
00000634: CALLVALUE
00000635: DUP1
00000636: ISZERO
00000637: PUSH2 0x063f
0000063a: JUMPI
0000063b: PUSH1 0x00
0000063d: DUP1
0000063e: REVERT
0000063f: JUMPDEST
00000640: POP
00000641: PUSH2 0x0546
00000644: PUSH2 0x064e
00000647: CALLDATASIZE
00000648: PUSH1 0x04
0000064a: PUSH2 0x3473
0000064d: JUMP
0000064e: JUMPDEST
0000064f: PUSH2 0x135d
00000652: JUMP
00000653: JUMPDEST
00000654: CALLVALUE
00000655: DUP1
00000656: ISZERO
00000657: PUSH2 0x065f
0000065a: JUMPI
0000065b: PUSH1 0x00
0000065d: DUP1
0000065e: REVERT
0000065f: JUMPDEST
00000660: POP
00000661: PUSH2 0x0546
00000664: PUSH2 0x066e
00000667: CALLDATASIZE
00000668: PUSH1 0x04
0000066a: PUSH2 0x34bc
0000066d: JUMP
0000066e: JUMPDEST
0000066f: PUSH2 0x13b8
00000672: JUMP
00000673: JUMPDEST
00000674: CALLVALUE
00000675: DUP1
00000676: ISZERO
00000677: PUSH2 0x067f
0000067a: JUMPI
0000067b: PUSH1 0x00
0000067d: DUP1
0000067e: REVERT
0000067f: JUMPDEST
00000680: POP
00000681: PUSH2 0x0546
00000684: PUSH2 0x068e
00000687: CALLDATASIZE
00000688: PUSH1 0x04
0000068a: PUSH2 0x3473
0000068d: JUMP
0000068e: JUMPDEST
0000068f: PUSH2 0x1419
00000692: JUMP
00000693: JUMPDEST
00000694: CALLVALUE
00000695: DUP1
00000696: ISZERO
00000697: PUSH2 0x069f
0000069a: JUMPI
0000069b: PUSH1 0x00
0000069d: DUP1
0000069e: REVERT
0000069f: JUMPDEST
000006a0: POP
000006a1: PUSH2 0x05f5
000006a4: PUSH1 0x0e
000006a6: SLOAD
000006a7: DUP2
000006a8: JUMP
000006a9: JUMPDEST
000006aa: CALLVALUE
000006ab: DUP1
000006ac: ISZERO
000006ad: PUSH2 0x06b5
000006b0: JUMPI
000006b1: PUSH1 0x00
000006b3: DUP1
000006b4: REVERT
000006b5: JUMPDEST
000006b6: POP
000006b7: PUSH1 0x01
000006b9: SLOAD
000006ba: PUSH1 0x00
000006bc: SLOAD
000006bd: SUB
000006be: PUSH1 0x00
000006c0: NOT
000006c1: ADD
000006c2: PUSH2 0x05f5
000006c5: JUMP
000006c6: JUMPDEST
000006c7: CALLVALUE
000006c8: DUP1
000006c9: ISZERO
000006ca: PUSH2 0x06d2
000006cd: JUMPI
000006ce: PUSH1 0x00
000006d0: DUP1
000006d1: REVERT
000006d2: JUMPDEST
000006d3: POP
000006d4: PUSH2 0x058a
000006d7: PUSH2 0x06e1
000006da: CALLDATASIZE
000006db: PUSH1 0x04
000006dd: PUSH2 0x33b9
000006e0: JUMP
000006e1: JUMPDEST
000006e2: PUSH2 0x1474
000006e5: JUMP
000006e6: JUMPDEST
000006e7: CALLVALUE
000006e8: DUP1
000006e9: ISZERO
000006ea: PUSH2 0x06f2
000006ed: JUMPI
000006ee: PUSH1 0x00
000006f0: DUP1
000006f1: REVERT
000006f2: JUMPDEST
000006f3: POP
000006f4: PUSH2 0x05f5
000006f7: PUSH1 0x10
000006f9: SLOAD
000006fa: DUP2
000006fb: JUMP
000006fc: JUMPDEST
000006fd: CALLVALUE
000006fe: DUP1
000006ff: ISZERO
00000700: PUSH2 0x0708
00000703: JUMPI
00000704: PUSH1 0x00
00000706: DUP1
00000707: REVERT
00000708: JUMPDEST
00000709: POP
0000070a: PUSH2 0x05f5
0000070d: PUSH1 0x0b
0000070f: SLOAD
00000710: DUP2
00000711: JUMP
00000712: JUMPDEST
00000713: CALLVALUE
00000714: DUP1
00000715: ISZERO
00000716: PUSH2 0x071e
00000719: JUMPI
0000071a: PUSH1 0x00
0000071c: DUP1
0000071d: REVERT
0000071e: JUMPDEST
0000071f: POP
00000720: PUSH2 0x0511
00000723: PUSH2 0x072d
00000726: CALLDATASIZE
00000727: PUSH1 0x04
00000729: PUSH2 0x33fe
0000072c: JUMP
0000072d: JUMPDEST
0000072e: PUSH1 0x16
00000730: PUSH1 0x20
00000732: MSTORE
00000733: PUSH1 0x00
00000735: SWAP1
00000736: DUP2
00000737: MSTORE
00000738: PUSH1 0x40
0000073a: SWAP1
0000073b: KECCAK256
0000073c: SLOAD
0000073d: PUSH1 0xff
0000073f: AND
00000740: DUP2
00000741: JUMP
00000742: JUMPDEST
00000743: CALLVALUE
00000744: DUP1
00000745: ISZERO
00000746: PUSH2 0x074e
00000749: JUMPI
0000074a: PUSH1 0x00
0000074c: DUP1
0000074d: REVERT
0000074e: JUMPDEST
0000074f: POP
00000750: PUSH2 0x05f5
00000753: PUSH2 0x149e
00000756: JUMP
00000757: JUMPDEST
00000758: CALLVALUE
00000759: DUP1
0000075a: ISZERO
0000075b: PUSH2 0x0763
0000075e: JUMPI
0000075f: PUSH1 0x00
00000761: DUP1
00000762: REVERT
00000763: JUMPDEST
00000764: POP
00000765: PUSH2 0x0546
00000768: PUSH2 0x0772
0000076b: CALLDATASIZE
0000076c: PUSH1 0x04
0000076e: PUSH2 0x34e8
00000771: JUMP
00000772: JUMPDEST
00000773: PUSH2 0x14c2
00000776: JUMP
00000777: JUMPDEST
00000778: CALLVALUE
00000779: DUP1
0000077a: ISZERO
0000077b: PUSH2 0x0783
0000077e: JUMPI
0000077f: PUSH1 0x00
00000781: DUP1
00000782: REVERT
00000783: JUMPDEST
00000784: POP
00000785: PUSH2 0x0546
00000788: PUSH2 0x0792
0000078b: CALLDATASIZE
0000078c: PUSH1 0x04
0000078e: PUSH2 0x3473
00000791: JUMP
00000792: JUMPDEST
00000793: PUSH2 0x14d2
00000796: JUMP
00000797: JUMPDEST
00000798: CALLVALUE
00000799: DUP1
0000079a: ISZERO
0000079b: PUSH2 0x07a3
0000079e: JUMPI
0000079f: PUSH1 0x00
000007a1: DUP1
000007a2: REVERT
000007a3: JUMPDEST
000007a4: POP
000007a5: PUSH2 0x0546
000007a8: PUSH2 0x07b2
000007ab: CALLDATASIZE
000007ac: PUSH1 0x04
000007ae: PUSH2 0x33d2
000007b1: JUMP
000007b2: JUMPDEST
000007b3: PUSH2 0x152d
000007b6: JUMP
000007b7: JUMPDEST
000007b8: CALLVALUE
000007b9: DUP1
000007ba: ISZERO
000007bb: PUSH2 0x07c3
000007be: JUMPI
000007bf: PUSH1 0x00
000007c1: DUP1
000007c2: REVERT
000007c3: JUMPDEST
000007c4: POP
000007c5: PUSH2 0x0546
000007c8: PUSH2 0x07d2
000007cb: CALLDATASIZE
000007cc: PUSH1 0x04
000007ce: PUSH2 0x33b9
000007d1: JUMP
000007d2: JUMPDEST
000007d3: PUSH2 0x15c7
000007d6: JUMP
000007d7: JUMPDEST
000007d8: CALLVALUE
000007d9: DUP1
000007da: ISZERO
000007db: PUSH2 0x07e3
000007de: JUMPI
000007df: PUSH1 0x00
000007e1: DUP1
000007e2: REVERT
000007e3: JUMPDEST
000007e4: POP
000007e5: PUSH2 0x05f5
000007e8: PUSH1 0x1b
000007ea: SLOAD
000007eb: DUP2
000007ec: JUMP
000007ed: JUMPDEST
000007ee: CALLVALUE
000007ef: DUP1
000007f0: ISZERO
000007f1: PUSH2 0x07f9
000007f4: JUMPI
000007f5: PUSH1 0x00
000007f7: DUP1
000007f8: REVERT
000007f9: JUMPDEST
000007fa: POP
000007fb: PUSH2 0x0546
000007fe: PUSH2 0x0808
00000801: CALLDATASIZE
00000802: PUSH1 0x04
00000804: PUSH2 0x33b9
00000807: JUMP
00000808: JUMPDEST
00000809: PUSH2 0x1730
0000080c: JUMP
0000080d: JUMPDEST
0000080e: CALLVALUE
0000080f: DUP1
00000810: ISZERO
00000811: PUSH2 0x0819
00000814: JUMPI
00000815: PUSH1 0x00
00000817: DUP1
00000818: REVERT
00000819: JUMPDEST
0000081a: POP
0000081b: PUSH2 0x0546
0000081e: PUSH2 0x0828
00000821: CALLDATASIZE
00000822: PUSH1 0x04
00000824: PUSH2 0x33b9
00000827: JUMP
00000828: JUMPDEST
00000829: PUSH2 0x1788
0000082c: JUMP
0000082d: JUMPDEST
0000082e: CALLVALUE
0000082f: DUP1
00000830: ISZERO
00000831: PUSH2 0x0839
00000834: JUMPI
00000835: PUSH1 0x00
00000837: DUP1
00000838: REVERT
00000839: JUMPDEST
0000083a: POP
0000083b: PUSH2 0x0546
0000083e: PUSH2 0x0848
00000841: CALLDATASIZE
00000842: PUSH1 0x04
00000844: PUSH2 0x34e8
00000847: JUMP
00000848: JUMPDEST
00000849: PUSH2 0x17d5
0000084c: JUMP
0000084d: JUMPDEST
0000084e: CALLVALUE
0000084f: DUP1
00000850: ISZERO
00000851: PUSH2 0x0859
00000854: JUMPI
00000855: PUSH1 0x00
00000857: DUP1
00000858: REVERT
00000859: JUMPDEST
0000085a: POP
0000085b: PUSH2 0x05f5
0000085e: PUSH1 0x1d
00000860: SLOAD
00000861: DUP2
00000862: JUMP
00000863: JUMPDEST
00000864: CALLVALUE
00000865: DUP1
00000866: ISZERO
00000867: PUSH2 0x086f
0000086a: JUMPI
0000086b: PUSH1 0x00
0000086d: DUP1
0000086e: REVERT
0000086f: JUMPDEST
00000870: POP
00000871: PUSH2 0x0511
00000874: PUSH2 0x087e
00000877: CALLDATASIZE
00000878: PUSH1 0x04
0000087a: PUSH2 0x33fe
0000087d: JUMP
0000087e: JUMPDEST
0000087f: PUSH1 0x13
00000881: PUSH1 0x20
00000883: MSTORE
00000884: PUSH1 0x00
00000886: SWAP1
00000887: DUP2
00000888: MSTORE
00000889: PUSH1 0x40
0000088b: SWAP1
0000088c: KECCAK256
0000088d: SLOAD
0000088e: PUSH1 0xff
00000890: AND
00000891: DUP2
00000892: JUMP
00000893: JUMPDEST
00000894: CALLVALUE
00000895: DUP1
00000896: ISZERO
00000897: PUSH2 0x089f
0000089a: JUMPI
0000089b: PUSH1 0x00
0000089d: DUP1
0000089e: REVERT
0000089f: JUMPDEST
000008a0: POP
000008a1: PUSH2 0x05f5
000008a4: PUSH1 0x1f
000008a6: SLOAD
000008a7: DUP2
000008a8: JUMP
000008a9: JUMPDEST
000008aa: CALLVALUE
000008ab: DUP1
000008ac: ISZERO
000008ad: PUSH2 0x08b5
000008b0: JUMPI
000008b1: PUSH1 0x00
000008b3: DUP1
000008b4: REVERT
000008b5: JUMPDEST
000008b6: POP
000008b7: PUSH2 0x0546
000008ba: PUSH2 0x08c4
000008bd: CALLDATASIZE
000008be: PUSH1 0x04
000008c0: PUSH2 0x3575
000008c3: JUMP
000008c4: JUMPDEST
000008c5: PUSH2 0x17f0
000008c8: JUMP
000008c9: JUMPDEST
000008ca: CALLVALUE
000008cb: DUP1
000008cc: ISZERO
000008cd: PUSH2 0x08d5
000008d0: JUMPI
000008d1: PUSH1 0x00
000008d3: DUP1
000008d4: REVERT
000008d5: JUMPDEST
000008d6: POP
000008d7: PUSH2 0x0546
000008da: PUSH2 0x08e4
000008dd: CALLDATASIZE
000008de: PUSH1 0x04
000008e0: PUSH2 0x33b9
000008e3: JUMP
000008e4: JUMPDEST
000008e5: PUSH2 0x18a8
000008e8: JUMP
000008e9: JUMPDEST
000008ea: CALLVALUE
000008eb: DUP1
000008ec: ISZERO
000008ed: PUSH2 0x08f5
000008f0: JUMPI
000008f1: PUSH1 0x00
000008f3: DUP1
000008f4: REVERT
000008f5: JUMPDEST
000008f6: POP
000008f7: PUSH2 0x0511
000008fa: PUSH2 0x0904
000008fd: CALLDATASIZE
000008fe: PUSH1 0x04
00000900: PUSH2 0x33fe
00000903: JUMP
00000904: JUMPDEST
00000905: PUSH1 0x17
00000907: PUSH1 0x20
00000909: MSTORE
0000090a: PUSH1 0x00
0000090c: SWAP1
0000090d: DUP2
0000090e: MSTORE
0000090f: PUSH1 0x40
00000911: SWAP1
00000912: KECCAK256
00000913: SLOAD
00000914: PUSH1 0xff
00000916: AND
00000917: DUP2
00000918: JUMP
00000919: JUMPDEST
0000091a: CALLVALUE
0000091b: DUP1
0000091c: ISZERO
0000091d: PUSH2 0x0925
00000920: JUMPI
00000921: PUSH1 0x00
00000923: DUP1
00000924: REVERT
00000925: JUMPDEST
00000926: POP
00000927: PUSH2 0x0546
0000092a: PUSH2 0x0934
0000092d: CALLDATASIZE
0000092e: PUSH1 0x04
00000930: PUSH2 0x33b9
00000933: JUMP
00000934: JUMPDEST
00000935: PUSH2 0x18f5
00000938: JUMP
00000939: JUMPDEST
0000093a: CALLVALUE
0000093b: DUP1
0000093c: ISZERO
0000093d: PUSH2 0x0945
00000940: JUMPI
00000941: PUSH1 0x00
00000943: DUP1
00000944: REVERT
00000945: JUMPDEST
00000946: POP
00000947: PUSH2 0x0546
0000094a: PUSH2 0x0954
0000094d: CALLDATASIZE
0000094e: PUSH1 0x04
00000950: PUSH2 0x34bc
00000953: JUMP
00000954: JUMPDEST
00000955: PUSH2 0x1942
00000958: JUMP
00000959: JUMPDEST
0000095a: CALLVALUE
0000095b: DUP1
0000095c: ISZERO
0000095d: PUSH2 0x0965
00000960: JUMPI
00000961: PUSH1 0x00
00000963: DUP1
00000964: REVERT
00000965: JUMPDEST
00000966: POP
00000967: PUSH2 0x058a
0000096a: PUSH2 0x0974
0000096d: CALLDATASIZE
0000096e: PUSH1 0x04
00000970: PUSH2 0x33b9
00000973: JUMP
00000974: JUMPDEST
00000975: PUSH2 0x19a7
00000978: JUMP
00000979: JUMPDEST
0000097a: CALLVALUE
0000097b: DUP1
0000097c: ISZERO
0000097d: PUSH2 0x0985
00000980: JUMPI
00000981: PUSH1 0x00
00000983: DUP1
00000984: REVERT
00000985: JUMPDEST
00000986: POP
00000987: PUSH2 0x05f5
0000098a: PUSH1 0x0f
0000098c: SLOAD
0000098d: DUP2
0000098e: JUMP
0000098f: JUMPDEST
00000990: CALLVALUE
00000991: DUP1
00000992: ISZERO
00000993: PUSH2 0x099b
00000996: JUMPI
00000997: PUSH1 0x00
00000999: DUP1
0000099a: REVERT
0000099b: JUMPDEST
0000099c: POP
0000099d: PUSH2 0x05f5
000009a0: PUSH1 0x09
000009a2: SLOAD
000009a3: DUP2
000009a4: JUMP
000009a5: JUMPDEST
000009a6: CALLVALUE
000009a7: DUP1
000009a8: ISZERO
000009a9: PUSH2 0x09b1
000009ac: JUMPI
000009ad: PUSH1 0x00
000009af: DUP1
000009b0: REVERT
000009b1: JUMPDEST
000009b2: POP
000009b3: PUSH2 0x0546
000009b6: PUSH2 0x09c0
000009b9: CALLDATASIZE
000009ba: PUSH1 0x04
000009bc: PUSH2 0x34e8
000009bf: JUMP
000009c0: JUMPDEST
000009c1: PUSH2 0x19b9
000009c4: JUMP
000009c5: JUMPDEST
000009c6: CALLVALUE
000009c7: DUP1
000009c8: ISZERO
000009c9: PUSH2 0x09d1
000009cc: JUMPI
000009cd: PUSH1 0x00
000009cf: DUP1
000009d0: REVERT
000009d1: JUMPDEST
000009d2: POP
000009d3: PUSH2 0x05f5
000009d6: PUSH2 0x09e0
000009d9: CALLDATASIZE
000009da: PUSH1 0x04
000009dc: PUSH2 0x33fe
000009df: JUMP
000009e0: JUMPDEST
000009e1: PUSH2 0x1cab
000009e4: JUMP
000009e5: JUMPDEST
000009e6: CALLVALUE
000009e7: DUP1
000009e8: ISZERO
000009e9: PUSH2 0x09f1
000009ec: JUMPI
000009ed: PUSH1 0x00
000009ef: DUP1
000009f0: REVERT
000009f1: JUMPDEST
000009f2: POP
000009f3: PUSH2 0x0546
000009f6: PUSH2 0x1d13
000009f9: JUMP
000009fa: JUMPDEST
000009fb: CALLVALUE
000009fc: DUP1
000009fd: ISZERO
000009fe: PUSH2 0x0a06
00000a01: JUMPI
00000a02: PUSH1 0x00
00000a04: DUP1
00000a05: REVERT
00000a06: JUMPDEST
00000a07: POP
00000a08: PUSH2 0x0546
00000a0b: PUSH2 0x0a15
00000a0e: CALLDATASIZE
00000a0f: PUSH1 0x04
00000a11: PUSH2 0x3473
00000a14: JUMP
00000a15: JUMPDEST
00000a16: PUSH2 0x1d67
00000a19: JUMP
00000a1a: JUMPDEST
00000a1b: CALLVALUE
00000a1c: DUP1
00000a1d: ISZERO
00000a1e: PUSH2 0x0a26
00000a21: JUMPI
00000a22: PUSH1 0x00
00000a24: DUP1
00000a25: REVERT
00000a26: JUMPDEST
00000a27: POP
00000a28: PUSH2 0x05f5
00000a2b: PUSH1 0x19
00000a2d: SLOAD
00000a2e: DUP2
00000a2f: JUMP
00000a30: JUMPDEST
00000a31: CALLVALUE
00000a32: DUP1
00000a33: ISZERO
00000a34: PUSH2 0x0a3c
00000a37: JUMPI
00000a38: PUSH1 0x00
00000a3a: DUP1
00000a3b: REVERT
00000a3c: JUMPDEST
00000a3d: POP
00000a3e: PUSH2 0x0546
00000a41: PUSH2 0x0a4b
00000a44: CALLDATASIZE
00000a45: PUSH1 0x04
00000a47: PUSH2 0x33fe
00000a4a: JUMP
00000a4b: JUMPDEST
00000a4c: PUSH2 0x1dc2
00000a4f: JUMP
00000a50: JUMPDEST
00000a51: CALLVALUE
00000a52: DUP1
00000a53: ISZERO
00000a54: PUSH2 0x0a5c
00000a57: JUMPI
00000a58: PUSH1 0x00
00000a5a: DUP1
00000a5b: REVERT
00000a5c: JUMPDEST
00000a5d: POP
00000a5e: PUSH2 0x0546
00000a61: PUSH2 0x0a6b
00000a64: CALLDATASIZE
00000a65: PUSH1 0x04
00000a67: PUSH2 0x33d2
00000a6a: JUMP
00000a6b: JUMPDEST
00000a6c: PUSH2 0x1e7d
00000a6f: JUMP
00000a70: JUMPDEST
00000a71: CALLVALUE
00000a72: DUP1
00000a73: ISZERO
00000a74: PUSH2 0x0a7c
00000a77: JUMPI
00000a78: PUSH1 0x00
00000a7a: DUP1
00000a7b: REVERT
00000a7c: JUMPDEST
00000a7d: POP
00000a7e: PUSH1 0x08
00000a80: SLOAD
00000a81: PUSH1 0x01
00000a83: PUSH1 0x01
00000a85: PUSH1 0xa0
00000a87: SHL
00000a88: SUB
00000a89: AND
00000a8a: PUSH2 0x058a
00000a8d: JUMP
00000a8e: JUMPDEST
00000a8f: CALLVALUE
00000a90: DUP1
00000a91: ISZERO
00000a92: PUSH2 0x0a9a
00000a95: JUMPI
00000a96: PUSH1 0x00
00000a98: DUP1
00000a99: REVERT
00000a9a: JUMPDEST
00000a9b: POP
00000a9c: PUSH2 0x055d
00000a9f: PUSH2 0x1f33
00000aa2: JUMP
00000aa3: JUMPDEST
00000aa4: CALLVALUE
00000aa5: DUP1
00000aa6: ISZERO
00000aa7: PUSH2 0x0aaf
00000aaa: JUMPI
00000aab: PUSH1 0x00
00000aad: DUP1
00000aae: REVERT
00000aaf: JUMPDEST
00000ab0: POP
00000ab1: PUSH2 0x055d
00000ab4: PUSH2 0x1fc1
00000ab7: JUMP
00000ab8: JUMPDEST
00000ab9: CALLVALUE
00000aba: DUP1
00000abb: ISZERO
00000abc: PUSH2 0x0ac4
00000abf: JUMPI
00000ac0: PUSH1 0x00
00000ac2: DUP1
00000ac3: REVERT
00000ac4: JUMPDEST
00000ac5: POP
00000ac6: PUSH2 0x055d
00000ac9: PUSH2 0x1fd0
00000acc: JUMP
00000acd: JUMPDEST
00000ace: PUSH2 0x0546
00000ad1: PUSH2 0x0adb
00000ad4: CALLDATASIZE
00000ad5: PUSH1 0x04
00000ad7: PUSH2 0x35b7
00000ada: JUMP
00000adb: JUMPDEST
00000adc: PUSH2 0x1fdd
00000adf: JUMP
00000ae0: JUMPDEST
00000ae1: CALLVALUE
00000ae2: DUP1
00000ae3: ISZERO
00000ae4: PUSH2 0x0aec
00000ae7: JUMPI
00000ae8: PUSH1 0x00
00000aea: DUP1
00000aeb: REVERT
00000aec: JUMPDEST
00000aed: POP
00000aee: PUSH2 0x0546
00000af1: PUSH2 0x0afb
00000af4: CALLDATASIZE
00000af5: PUSH1 0x04
00000af7: PUSH2 0x3613
00000afa: JUMP
00000afb: JUMPDEST
00000afc: PUSH2 0x2201
00000aff: JUMP
00000b00: JUMPDEST
00000b01: CALLVALUE
00000b02: DUP1
00000b03: ISZERO
00000b04: PUSH2 0x0b0c
00000b07: JUMPI
00000b08: PUSH1 0x00
00000b0a: DUP1
00000b0b: REVERT
00000b0c: JUMPDEST
00000b0d: POP
00000b0e: PUSH2 0x05f5
00000b11: PUSH2 0x22af
00000b14: JUMP
00000b15: JUMPDEST
00000b16: CALLVALUE
00000b17: DUP1
00000b18: ISZERO
00000b19: PUSH2 0x0b21
00000b1c: JUMPI
00000b1d: PUSH1 0x00
00000b1f: DUP1
00000b20: REVERT
00000b21: JUMPDEST
00000b22: POP
00000b23: PUSH2 0x05f5
00000b26: PUSH1 0x0d
00000b28: SLOAD
00000b29: DUP2
00000b2a: JUMP
00000b2b: JUMPDEST
00000b2c: CALLVALUE
00000b2d: DUP1
00000b2e: ISZERO
00000b2f: PUSH2 0x0b37
00000b32: JUMPI
00000b33: PUSH1 0x00
00000b35: DUP1
00000b36: REVERT
00000b37: JUMPDEST
00000b38: POP
00000b39: PUSH2 0x05f5
00000b3c: PUSH1 0x0c
00000b3e: SLOAD
00000b3f: DUP2
00000b40: JUMP
00000b41: JUMPDEST
00000b42: CALLVALUE
00000b43: DUP1
00000b44: ISZERO
00000b45: PUSH2 0x0b4d
00000b48: JUMPI
00000b49: PUSH1 0x00
00000b4b: DUP1
00000b4c: REVERT
00000b4d: JUMPDEST
00000b4e: POP
00000b4f: PUSH2 0x05f5
00000b52: PUSH2 0x22c4
00000b55: JUMP
00000b56: JUMPDEST
00000b57: CALLVALUE
00000b58: DUP1
00000b59: ISZERO
00000b5a: PUSH2 0x0b62
00000b5d: JUMPI
00000b5e: PUSH1 0x00
00000b60: DUP1
00000b61: REVERT
00000b62: JUMPDEST
00000b63: POP
00000b64: PUSH2 0x0546
00000b67: PUSH2 0x0b71
00000b6a: CALLDATASIZE
00000b6b: PUSH1 0x04
00000b6d: PUSH2 0x33b9
00000b70: JUMP
00000b71: JUMPDEST
00000b72: PUSH2 0x2320
00000b75: JUMP
00000b76: JUMPDEST
00000b77: CALLVALUE
00000b78: DUP1
00000b79: ISZERO
00000b7a: PUSH2 0x0b82
00000b7d: JUMPI
00000b7e: PUSH1 0x00
00000b80: DUP1
00000b81: REVERT
00000b82: JUMPDEST
00000b83: POP
00000b84: PUSH2 0x0546
00000b87: PUSH2 0x0b91
00000b8a: CALLDATASIZE
00000b8b: PUSH1 0x04
00000b8d: PUSH2 0x33b9
00000b90: JUMP
00000b91: JUMPDEST
00000b92: PUSH2 0x236d
00000b95: JUMP
00000b96: JUMPDEST
00000b97: CALLVALUE
00000b98: DUP1
00000b99: ISZERO
00000b9a: PUSH2 0x0ba2
00000b9d: JUMPI
00000b9e: PUSH1 0x00
00000ba0: DUP1
00000ba1: REVERT
00000ba2: JUMPDEST
00000ba3: POP
00000ba4: PUSH2 0x05f5
00000ba7: PUSH1 0x0a
00000ba9: SLOAD
00000baa: DUP2
00000bab: JUMP
00000bac: JUMPDEST
00000bad: CALLVALUE
00000bae: DUP1
00000baf: ISZERO
00000bb0: PUSH2 0x0bb8
00000bb3: JUMPI
00000bb4: PUSH1 0x00
00000bb6: DUP1
00000bb7: REVERT
00000bb8: JUMPDEST
00000bb9: POP
00000bba: PUSH2 0x0546
00000bbd: PUSH2 0x0bc7
00000bc0: CALLDATASIZE
00000bc1: PUSH1 0x04
00000bc3: PUSH2 0x3651
00000bc6: JUMP
00000bc7: JUMPDEST
00000bc8: PUSH2 0x23ba
00000bcb: JUMP
00000bcc: JUMPDEST
00000bcd: CALLVALUE
00000bce: DUP1
00000bcf: ISZERO
00000bd0: PUSH2 0x0bd8
00000bd3: JUMPI
00000bd4: PUSH1 0x00
00000bd6: DUP1
00000bd7: REVERT
00000bd8: JUMPDEST
00000bd9: POP
00000bda: PUSH2 0x0546
00000bdd: PUSH2 0x0be7
00000be0: CALLDATASIZE
00000be1: PUSH1 0x04
00000be3: PUSH2 0x33b9
00000be6: JUMP
00000be7: JUMPDEST
00000be8: PUSH2 0x23fe
00000beb: JUMP
00000bec: JUMPDEST
00000bed: CALLVALUE
00000bee: DUP1
00000bef: ISZERO
00000bf0: PUSH2 0x0bf8
00000bf3: JUMPI
00000bf4: PUSH1 0x00
00000bf6: DUP1
00000bf7: REVERT
00000bf8: JUMPDEST
00000bf9: POP
00000bfa: PUSH2 0x05f5
00000bfd: PUSH1 0x1c
00000bff: SLOAD
00000c00: DUP2
00000c01: JUMP
00000c02: JUMPDEST
00000c03: CALLVALUE
00000c04: DUP1
00000c05: ISZERO
00000c06: PUSH2 0x0c0e
00000c09: JUMPI
00000c0a: PUSH1 0x00
00000c0c: DUP1
00000c0d: REVERT
00000c0e: JUMPDEST
00000c0f: POP
00000c10: PUSH2 0x05f5
00000c13: PUSH1 0x1a
00000c15: SLOAD
00000c16: DUP2
00000c17: JUMP
00000c18: JUMPDEST
00000c19: CALLVALUE
00000c1a: DUP1
00000c1b: ISZERO
00000c1c: PUSH2 0x0c24
00000c1f: JUMPI
00000c20: PUSH1 0x00
00000c22: DUP1
00000c23: REVERT
00000c24: JUMPDEST
00000c25: POP
00000c26: PUSH2 0x05f5
00000c29: PUSH1 0x20
00000c2b: SLOAD
00000c2c: DUP2
00000c2d: JUMP
00000c2e: JUMPDEST
00000c2f: CALLVALUE
00000c30: DUP1
00000c31: ISZERO
00000c32: PUSH2 0x0c3a
00000c35: JUMPI
00000c36: PUSH1 0x00
00000c38: DUP1
00000c39: REVERT
00000c3a: JUMPDEST
00000c3b: POP
00000c3c: PUSH2 0x055d
00000c3f: PUSH2 0x0c49
00000c42: CALLDATASIZE
00000c43: PUSH1 0x04
00000c45: PUSH2 0x33b9
00000c48: JUMP
00000c49: JUMPDEST
00000c4a: PUSH2 0x244b
00000c4d: JUMP
00000c4e: JUMPDEST
00000c4f: CALLVALUE
00000c50: DUP1
00000c51: ISZERO
00000c52: PUSH2 0x0c5a
00000c55: JUMPI
00000c56: PUSH1 0x00
00000c58: DUP1
00000c59: REVERT
00000c5a: JUMPDEST
00000c5b: POP
00000c5c: PUSH2 0x055d
00000c5f: PUSH2 0x2564
00000c62: JUMP
00000c63: JUMPDEST
00000c64: CALLVALUE
00000c65: DUP1
00000c66: ISZERO
00000c67: PUSH2 0x0c6f
00000c6a: JUMPI
00000c6b: PUSH1 0x00
00000c6d: DUP1
00000c6e: REVERT
00000c6f: JUMPDEST
00000c70: POP
00000c71: PUSH1 0x12
00000c73: SLOAD
00000c74: PUSH2 0x058a
00000c77: SWAP1
00000c78: PUSH1 0x01
00000c7a: PUSH1 0x01
00000c7c: PUSH1 0xa0
00000c7e: SHL
00000c7f: SUB
00000c80: AND
00000c81: DUP2
00000c82: JUMP
00000c83: JUMPDEST
00000c84: CALLVALUE
00000c85: DUP1
00000c86: ISZERO
00000c87: PUSH2 0x0c8f
00000c8a: JUMPI
00000c8b: PUSH1 0x00
00000c8d: DUP1
00000c8e: REVERT
00000c8f: JUMPDEST
00000c90: POP
00000c91: PUSH2 0x05f5
00000c94: PUSH1 0x22
00000c96: SLOAD
00000c97: DUP2
00000c98: JUMP
00000c99: JUMPDEST
00000c9a: CALLVALUE
00000c9b: DUP1
00000c9c: ISZERO
00000c9d: PUSH2 0x0ca5
00000ca0: JUMPI
00000ca1: PUSH1 0x00
00000ca3: DUP1
00000ca4: REVERT
00000ca5: JUMPDEST
00000ca6: POP
00000ca7: PUSH2 0x05f5
00000caa: PUSH1 0x18
00000cac: SLOAD
00000cad: DUP2
00000cae: JUMP
00000caf: JUMPDEST
00000cb0: CALLVALUE
00000cb1: DUP1
00000cb2: ISZERO
00000cb3: PUSH2 0x0cbb
00000cb6: JUMPI
00000cb7: PUSH1 0x00
00000cb9: DUP1
00000cba: REVERT
00000cbb: JUMPDEST
00000cbc: POP
00000cbd: PUSH2 0x05f5
00000cc0: PUSH1 0x21
00000cc2: SLOAD
00000cc3: DUP2
00000cc4: JUMP
00000cc5: JUMPDEST
00000cc6: CALLVALUE
00000cc7: DUP1
00000cc8: ISZERO
00000cc9: PUSH2 0x0cd1
00000ccc: JUMPI
00000ccd: PUSH1 0x00
00000ccf: DUP1
00000cd0: REVERT
00000cd1: JUMPDEST
00000cd2: POP
00000cd3: PUSH2 0x055d
00000cd6: PUSH2 0x2571
00000cd9: JUMP
00000cda: JUMPDEST
00000cdb: CALLVALUE
00000cdc: DUP1
00000cdd: ISZERO
00000cde: PUSH2 0x0ce6
00000ce1: JUMPI
00000ce2: PUSH1 0x00
00000ce4: DUP1
00000ce5: REVERT
00000ce6: JUMPDEST
00000ce7: POP
00000ce8: PUSH2 0x0511
00000ceb: PUSH2 0x0cf5
00000cee: CALLDATASIZE
00000cef: PUSH1 0x04
00000cf1: PUSH2 0x36d1
00000cf4: JUMP
00000cf5: JUMPDEST
00000cf6: PUSH1 0x01
00000cf8: PUSH1 0x01
00000cfa: PUSH1 0xa0
00000cfc: SHL
00000cfd: SUB
00000cfe: SWAP2
00000cff: DUP3
00000d00: AND
00000d01: PUSH1 0x00
00000d03: SWAP1
00000d04: DUP2
00000d05: MSTORE
00000d06: PUSH1 0x07
00000d08: PUSH1 0x20
00000d0a: SWAP1
00000d0b: DUP2
00000d0c: MSTORE
00000d0d: PUSH1 0x40
00000d0f: DUP1
00000d10: DUP4
00000d11: KECCAK256
00000d12: SWAP4
00000d13: SWAP1
00000d14: SWAP5
00000d15: AND
00000d16: DUP3
00000d17: MSTORE
00000d18: SWAP2
00000d19: SWAP1
00000d1a: SWAP2
00000d1b: MSTORE
00000d1c: KECCAK256
00000d1d: SLOAD
00000d1e: PUSH1 0xff
00000d20: AND
00000d21: SWAP1
00000d22: JUMP
00000d23: JUMPDEST
00000d24: CALLVALUE
00000d25: DUP1
00000d26: ISZERO
00000d27: PUSH2 0x0d2f
00000d2a: JUMPI
00000d2b: PUSH1 0x00
00000d2d: DUP1
00000d2e: REVERT
00000d2f: JUMPDEST
00000d30: POP
00000d31: PUSH2 0x05f5
00000d34: PUSH2 0x0d3e
00000d37: CALLDATASIZE
00000d38: PUSH1 0x04
00000d3a: PUSH2 0x33fe
00000d3d: JUMP
00000d3e: JUMPDEST
00000d3f: PUSH1 0x15
00000d41: PUSH1 0x20
00000d43: MSTORE
00000d44: PUSH1 0x00
00000d46: SWAP1
00000d47: DUP2
00000d48: MSTORE
00000d49: PUSH1 0x40
00000d4b: SWAP1
00000d4c: KECCAK256
00000d4d: SLOAD
00000d4e: DUP2
00000d4f: JUMP
00000d50: JUMPDEST
00000d51: CALLVALUE
00000d52: DUP1
00000d53: ISZERO
00000d54: PUSH2 0x0d5c
00000d57: JUMPI
00000d58: PUSH1 0x00
00000d5a: DUP1
00000d5b: REVERT
00000d5c: JUMPDEST
00000d5d: POP
00000d5e: PUSH2 0x0546
00000d61: PUSH2 0x0d6b
00000d64: CALLDATASIZE
00000d65: PUSH1 0x04
00000d67: PUSH2 0x33fe
00000d6a: JUMP
00000d6b: JUMPDEST
00000d6c: PUSH2 0x257e
00000d6f: JUMP
00000d70: JUMPDEST
00000d71: CALLVALUE
00000d72: DUP1
00000d73: ISZERO
00000d74: PUSH2 0x0d7c
00000d77: JUMPI
00000d78: PUSH1 0x00
00000d7a: DUP1
00000d7b: REVERT
00000d7c: JUMPDEST
00000d7d: POP
00000d7e: PUSH2 0x0546
00000d81: PUSH2 0x0d8b
00000d84: CALLDATASIZE
00000d85: PUSH1 0x04
00000d87: PUSH2 0x33d2
00000d8a: JUMP
00000d8b: JUMPDEST
00000d8c: PUSH2 0x264e
00000d8f: JUMP
00000d90: JUMPDEST
00000d91: CALLVALUE
00000d92: DUP1
00000d93: ISZERO
00000d94: PUSH2 0x0d9c
00000d97: JUMPI
00000d98: PUSH1 0x00
00000d9a: DUP1
00000d9b: REVERT
00000d9c: JUMPDEST
00000d9d: POP
00000d9e: PUSH2 0x05f5
00000da1: PUSH1 0x1e
00000da3: SLOAD
00000da4: DUP2
00000da5: JUMP
00000da6: JUMPDEST
00000da7: CALLVALUE
00000da8: DUP1
00000da9: ISZERO
00000daa: PUSH2 0x0db2
00000dad: JUMPI
00000dae: PUSH1 0x00
00000db0: DUP1
00000db1: REVERT
00000db2: JUMPDEST
00000db3: POP
00000db4: PUSH2 0x0dbb
00000db7: PUSH2 0x26cc
00000dba: JUMP
00000dbb: JUMPDEST
00000dbc: PUSH1 0x40
00000dbe: MLOAD
00000dbf: PUSH2 0x051d
00000dc2: SWAP2
00000dc3: SWAP1
00000dc4: PUSH2 0x36ff
00000dc7: JUMP
00000dc8: JUMPDEST
00000dc9: PUSH1 0x00
00000dcb: PUSH1 0x01
00000dcd: PUSH1 0x01
00000dcf: PUSH1 0xe0
00000dd1: SHL
00000dd2: SUB
00000dd3: NOT
00000dd4: DUP3
00000dd5: AND
00000dd6: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000
00000df7: EQ
00000df8: DUP1
00000df9: PUSH2 0x0e2b
00000dfc: JUMPI
00000dfd: POP
00000dfe: PUSH1 0x01
00000e00: PUSH1 0x01
00000e02: PUSH1 0xe0
00000e04: SHL
00000e05: SUB
00000e06: NOT
00000e07: DUP3
00000e08: AND
00000e09: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000
00000e2a: EQ
00000e2b: JUMPDEST
00000e2c: DUP1
00000e2d: PUSH2 0x0e5f
00000e30: JUMPI
00000e31: POP
00000e32: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00000e53: PUSH1 0x01
00000e55: PUSH1 0x01
00000e57: PUSH1 0xe0
00000e59: SHL
00000e5a: SUB
00000e5b: NOT
00000e5c: DUP4
00000e5d: AND
00000e5e: EQ
00000e5f: JUMPDEST
00000e60: SWAP3
00000e61: SWAP2
00000e62: POP
00000e63: POP
00000e64: JUMP
00000e65: JUMPDEST
00000e66: PUSH1 0x08
00000e68: SLOAD
00000e69: PUSH1 0x01
00000e6b: PUSH1 0x01
00000e6d: PUSH1 0xa0
00000e6f: SHL
00000e70: SUB
00000e71: AND
00000e72: CALLER
00000e73: EQ
00000e74: PUSH2 0x0eb2
00000e77: JUMPI
00000e78: PUSH1 0x40
00000e7a: MLOAD
00000e7b: PUSH3 0x461bcd
00000e7f: PUSH1 0xe5
00000e81: SHL
00000e82: DUP2
00000e83: MSTORE
00000e84: PUSH1 0x20
00000e86: PUSH1 0x04
00000e88: DUP3
00000e89: ADD
00000e8a: DUP2
00000e8b: SWAP1
00000e8c: MSTORE
00000e8d: PUSH1 0x24
00000e8f: DUP3
00000e90: ADD
00000e91: MSTORE
00000e92: PUSH1 0x00
00000e94: DUP1
00000e95: MLOAD
00000e96: PUSH1 0x20
00000e98: PUSH2 0x392c
00000e9b: DUP4
00000e9c: CODECOPY
00000e9d: DUP2
00000e9e: MLOAD
00000e9f: SWAP2
00000ea0: MSTORE
00000ea1: PUSH1 0x44
00000ea3: DUP3
00000ea4: ADD
00000ea5: MSTORE
00000ea6: PUSH1 0x64
00000ea8: ADD
00000ea9: JUMPDEST
00000eaa: PUSH1 0x40
00000eac: MLOAD
00000ead: DUP1
00000eae: SWAP2
00000eaf: SUB
00000eb0: SWAP1
00000eb1: REVERT
00000eb2: JUMPDEST
00000eb3: PUSH1 0x00
00000eb5: JUMPDEST
00000eb6: DUP2
00000eb7: MLOAD
00000eb8: DUP2
00000eb9: LT
00000eba: ISZERO
00000ebb: PUSH2 0x0f68
00000ebe: JUMPI
00000ebf: PUSH1 0x11
00000ec1: DUP3
00000ec2: DUP3
00000ec3: DUP2
00000ec4: MLOAD
00000ec5: DUP2
00000ec6: LT
00000ec7: PUSH2 0x0ed2
00000eca: JUMPI
00000ecb: PUSH2 0x0ed2
00000ece: PUSH2 0x374c
00000ed1: JUMP
00000ed2: JUMPDEST
00000ed3: PUSH1 0x20
00000ed5: SWAP1
00000ed6: DUP2
00000ed7: MUL
00000ed8: SWAP2
00000ed9: SWAP1
00000eda: SWAP2
00000edb: ADD
00000edc: DUP2
00000edd: ADD
00000ede: MLOAD
00000edf: DUP3
00000ee0: SLOAD
00000ee1: PUSH1 0x01
00000ee3: DUP1
00000ee4: DUP3
00000ee5: ADD
00000ee6: DUP6
00000ee7: SSTORE
00000ee8: PUSH1 0x00
00000eea: SWAP5
00000eeb: DUP6
00000eec: MSTORE
00000eed: SWAP3
00000eee: DUP5
00000eef: KECCAK256
00000ef0: ADD
00000ef1: DUP1
00000ef2: SLOAD
00000ef3: PUSH1 0x01
00000ef5: PUSH1 0x01
00000ef7: PUSH1 0xa0
00000ef9: SHL
00000efa: SUB
00000efb: NOT
00000efc: AND
00000efd: PUSH1 0x01
00000eff: PUSH1 0x01
00000f01: PUSH1 0xa0
00000f03: SHL
00000f04: SUB
00000f05: SWAP1
00000f06: SWAP3
00000f07: AND
00000f08: SWAP2
00000f09: SWAP1
00000f0a: SWAP2
00000f0b: OR
00000f0c: SWAP1
00000f0d: SSTORE
00000f0e: DUP4
00000f0f: MLOAD
00000f10: SWAP1
00000f11: SWAP2
00000f12: PUSH1 0x13
00000f14: SWAP2
00000f15: DUP6
00000f16: SWAP1
00000f17: DUP6
00000f18: SWAP1
00000f19: DUP2
00000f1a: LT
00000f1b: PUSH2 0x0f26
00000f1e: JUMPI
00000f1f: PUSH2 0x0f26
00000f22: PUSH2 0x374c
00000f25: JUMP
00000f26: JUMPDEST
00000f27: PUSH1 0x20
00000f29: SWAP1
00000f2a: DUP2
00000f2b: MUL
00000f2c: SWAP2
00000f2d: SWAP1
00000f2e: SWAP2
00000f2f: ADD
00000f30: DUP2
00000f31: ADD
00000f32: MLOAD
00000f33: PUSH1 0x01
00000f35: PUSH1 0x01
00000f37: PUSH1 0xa0
00000f39: SHL
00000f3a: SUB
00000f3b: AND
00000f3c: DUP3
00000f3d: MSTORE
00000f3e: DUP2
00000f3f: ADD
00000f40: SWAP2
00000f41: SWAP1
00000f42: SWAP2
00000f43: MSTORE
00000f44: PUSH1 0x40
00000f46: ADD
00000f47: PUSH1 0x00
00000f49: KECCAK256
00000f4a: DUP1
00000f4b: SLOAD
00000f4c: PUSH1 0xff
00000f4e: NOT
00000f4f: AND
00000f50: SWAP2
00000f51: ISZERO
00000f52: ISZERO
00000f53: SWAP2
00000f54: SWAP1
00000f55: SWAP2
00000f56: OR
00000f57: SWAP1
00000f58: SSTORE
00000f59: PUSH2 0x0f61
00000f5c: DUP2
00000f5d: PUSH2 0x3778
00000f60: JUMP
00000f61: JUMPDEST
00000f62: SWAP1
00000f63: POP
00000f64: PUSH2 0x0eb5
00000f67: JUMP
00000f68: JUMPDEST
00000f69: POP
00000f6a: POP
00000f6b: JUMP
00000f6c: JUMPDEST
00000f6d: PUSH1 0x60
00000f6f: PUSH1 0x02
00000f71: DUP1
00000f72: SLOAD
00000f73: PUSH2 0x0f7b
00000f76: SWAP1
00000f77: PUSH2 0x3791
00000f7a: JUMP
00000f7b: JUMPDEST
00000f7c: DUP1
00000f7d: PUSH1 0x1f
00000f7f: ADD
00000f80: PUSH1 0x20
00000f82: DUP1
00000f83: SWAP2
00000f84: DIV
00000f85: MUL
00000f86: PUSH1 0x20
00000f88: ADD
00000f89: PUSH1 0x40
00000f8b: MLOAD
00000f8c: SWAP1
00000f8d: DUP2
00000f8e: ADD
00000f8f: PUSH1 0x40
00000f91: MSTORE
00000f92: DUP1
00000f93: SWAP3
00000f94: SWAP2
00000f95: SWAP1
00000f96: DUP2
00000f97: DUP2
00000f98: MSTORE
00000f99: PUSH1 0x20
00000f9b: ADD
00000f9c: DUP3
00000f9d: DUP1
00000f9e: SLOAD
00000f9f: PUSH2 0x0fa7
00000fa2: SWAP1
00000fa3: PUSH2 0x3791
00000fa6: JUMP
00000fa7: JUMPDEST
00000fa8: DUP1
00000fa9: ISZERO
00000faa: PUSH2 0x0ff4
00000fad: JUMPI
00000fae: DUP1
00000faf: PUSH1 0x1f
00000fb1: LT
00000fb2: PUSH2 0x0fc9
00000fb5: JUMPI
00000fb6: PUSH2 0x0100
00000fb9: DUP1
00000fba: DUP4
00000fbb: SLOAD
00000fbc: DIV
00000fbd: MUL
00000fbe: DUP4
00000fbf: MSTORE
00000fc0: SWAP2
00000fc1: PUSH1 0x20
00000fc3: ADD
00000fc4: SWAP2
00000fc5: PUSH2 0x0ff4
00000fc8: JUMP
00000fc9: JUMPDEST
00000fca: DUP3
00000fcb: ADD
00000fcc: SWAP2
00000fcd: SWAP1
00000fce: PUSH1 0x00
00000fd0: MSTORE
00000fd1: PUSH1 0x20
00000fd3: PUSH1 0x00
00000fd5: KECCAK256
00000fd6: SWAP1
00000fd7: JUMPDEST
00000fd8: DUP2
00000fd9: SLOAD
00000fda: DUP2
00000fdb: MSTORE
00000fdc: SWAP1
00000fdd: PUSH1 0x01
00000fdf: ADD
00000fe0: SWAP1
00000fe1: PUSH1 0x20
00000fe3: ADD
00000fe4: DUP1
00000fe5: DUP4
00000fe6: GT
00000fe7: PUSH2 0x0fd7
00000fea: JUMPI
00000feb: DUP3
00000fec: SWAP1
00000fed: SUB
00000fee: PUSH1 0x1f
00000ff0: AND
00000ff1: DUP3
00000ff2: ADD
00000ff3: SWAP2
00000ff4: JUMPDEST
00000ff5: POP
00000ff6: POP
00000ff7: POP
00000ff8: POP
00000ff9: POP
00000ffa: SWAP1
00000ffb: POP
00000ffc: SWAP1
00000ffd: JUMP
00000ffe: JUMPDEST
00000fff: PUSH1 0x00
00001001: PUSH2 0x1009
00001004: DUP3
00001005: PUSH2 0x272d
00001008: JUMP
00001009: JUMPDEST
0000100a: PUSH2 0x103f
0000100d: JUMPI
0000100e: PUSH1 0x40
00001010: MLOAD
00001011: PUSH32 0xcf4700e400000000000000000000000000000000000000000000000000000000
00001032: DUP2
00001033: MSTORE
00001034: PUSH1 0x04
00001036: ADD
00001037: PUSH1 0x40
00001039: MLOAD
0000103a: DUP1
0000103b: SWAP2
0000103c: SUB
0000103d: SWAP1
0000103e: REVERT
0000103f: JUMPDEST
00001040: POP
00001041: PUSH1 0x00
00001043: SWAP1
00001044: DUP2
00001045: MSTORE
00001046: PUSH1 0x06
00001048: PUSH1 0x20
0000104a: MSTORE
0000104b: PUSH1 0x40
0000104d: SWAP1
0000104e: KECCAK256
0000104f: SLOAD
00001050: PUSH1 0x01
00001052: PUSH1 0x01
00001054: PUSH1 0xa0
00001056: SHL
00001057: SUB
00001058: AND
00001059: SWAP1
0000105a: JUMP
0000105b: JUMPDEST
0000105c: PUSH1 0x00
0000105e: PUSH2 0x1066
00001061: DUP3
00001062: PUSH2 0x19a7
00001065: JUMP
00001066: JUMPDEST
00001067: SWAP1
00001068: POP
00001069: DUP1
0000106a: PUSH1 0x01
0000106c: PUSH1 0x01
0000106e: PUSH1 0xa0
00001070: SHL
00001071: SUB
00001072: AND
00001073: DUP4
00001074: PUSH1 0x01
00001076: PUSH1 0x01
00001078: PUSH1 0xa0
0000107a: SHL
0000107b: SUB
0000107c: AND
0000107d: SUB
0000107e: PUSH2 0x10b3
00001081: JUMPI
00001082: PUSH1 0x40
00001084: MLOAD
00001085: PUSH32 0x943f7b8c00000000000000000000000000000000000000000000000000000000
000010a6: DUP2
000010a7: MSTORE
000010a8: PUSH1 0x04
000010aa: ADD
000010ab: PUSH1 0x40
000010ad: MLOAD
000010ae: DUP1
000010af: SWAP2
000010b0: SUB
000010b1: SWAP1
000010b2: REVERT
000010b3: JUMPDEST
000010b4: CALLER
000010b5: PUSH1 0x01
000010b7: PUSH1 0x01
000010b9: PUSH1 0xa0
000010bb: SHL
000010bc: SUB
000010bd: DUP3
000010be: AND
000010bf: EQ
000010c0: PUSH2 0x1103
000010c3: JUMPI
000010c4: PUSH2 0x10cd
000010c7: DUP2
000010c8: CALLER
000010c9: PUSH2 0x0cf5
000010cc: JUMP
000010cd: JUMPDEST
000010ce: PUSH2 0x1103
000010d1: JUMPI
000010d2: PUSH1 0x40
000010d4: MLOAD
000010d5: PUSH32 0xcfb3b94200000000000000000000000000000000000000000000000000000000
000010f6: DUP2
000010f7: MSTORE
000010f8: PUSH1 0x04
000010fa: ADD
000010fb: PUSH1 0x40
000010fd: MLOAD
000010fe: DUP1
000010ff: SWAP2
00001100: SUB
00001101: SWAP1
00001102: REVERT
00001103: JUMPDEST
00001104: PUSH1 0x00
00001106: DUP3
00001107: DUP2
00001108: MSTORE
00001109: PUSH1 0x06
0000110b: PUSH1 0x20
0000110d: MSTORE
0000110e: PUSH1 0x40
00001110: DUP1
00001111: DUP3
00001112: KECCAK256
00001113: DUP1
00001114: SLOAD
00001115: PUSH1 0x01
00001117: PUSH1 0x01
00001119: PUSH1 0xa0
0000111b: SHL
0000111c: SUB
0000111d: NOT
0000111e: AND
0000111f: PUSH1 0x01
00001121: PUSH1 0x01
00001123: PUSH1 0xa0
00001125: SHL
00001126: SUB
00001127: DUP8
00001128: DUP2
00001129: AND
0000112a: SWAP2
0000112b: DUP3
0000112c: OR
0000112d: SWAP1
0000112e: SWAP3
0000112f: SSTORE
00001130: SWAP2
00001131: MLOAD
00001132: DUP6
00001133: SWAP4
00001134: SWAP2
00001135: DUP6
00001136: AND
00001137: SWAP2
00001138: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001159: SWAP2
0000115a: LOG4
0000115b: POP
0000115c: POP
0000115d: POP
0000115e: JUMP
0000115f: JUMPDEST
00001160: PUSH1 0x1e
00001162: SLOAD
00001163: ISZERO
00001164: DUP1
00001165: PUSH2 0x116f
00001168: JUMPI
00001169: POP
0000116a: TIMESTAMP
0000116b: PUSH1 0x1e
0000116d: SLOAD
0000116e: LT
0000116f: JUMPDEST
00001170: ISZERO
00001171: PUSH2 0x118d
00001174: JUMPI
00001175: PUSH1 0x40
00001177: MLOAD
00001178: PUSH4 0x0fbf2263
0000117d: PUSH1 0xe0
0000117f: SHL
00001180: DUP2
00001181: MSTORE
00001182: PUSH1 0x04
00001184: ADD
00001185: PUSH1 0x40
00001187: MLOAD
00001188: DUP1
00001189: SWAP2
0000118a: SUB
0000118b: SWAP1
0000118c: REVERT
0000118d: JUMPDEST
0000118e: PUSH1 0x0b
00001190: SLOAD
00001191: DUP2
00001192: PUSH1 0x19
00001194: SLOAD
00001195: PUSH2 0x119e
00001198: SWAP2
00001199: SWAP1
0000119a: PUSH2 0x37cb
0000119d: JUMP
0000119e: JUMPDEST
0000119f: GT
000011a0: ISZERO
000011a1: PUSH2 0x11bd
000011a4: JUMPI
000011a5: PUSH1 0x40
000011a7: MLOAD
000011a8: PUSH4 0x61ece0e3
000011ad: PUSH1 0xe1
000011af: SHL
000011b0: DUP2
000011b1: MSTORE
000011b2: PUSH1 0x04
000011b4: ADD
000011b5: PUSH1 0x40
000011b7: MLOAD
000011b8: DUP1
000011b9: SWAP2
000011ba: SUB
000011bb: SWAP1
000011bc: REVERT
000011bd: JUMPDEST
000011be: PUSH1 0x00
000011c0: PUSH2 0x11c7
000011c3: PUSH2 0x22c4
000011c6: JUMP
000011c7: JUMPDEST
000011c8: SWAP1
000011c9: POP
000011ca: PUSH1 0x00
000011cc: PUSH2 0x11d5
000011cf: DUP4
000011d0: DUP4
000011d1: PUSH2 0x37e3
000011d4: JUMP
000011d5: JUMPDEST
000011d6: SWAP1
000011d7: POP
000011d8: CALLVALUE
000011d9: DUP2
000011da: GT
000011db: ISZERO
000011dc: PUSH2 0x11f8
000011df: JUMPI
000011e0: PUSH1 0x40
000011e2: MLOAD
000011e3: PUSH4 0x4f8d8b57
000011e8: PUSH1 0xe1
000011ea: SHL
000011eb: DUP2
000011ec: MSTORE
000011ed: PUSH1 0x04
000011ef: ADD
000011f0: PUSH1 0x40
000011f2: MLOAD
000011f3: DUP1
000011f4: SWAP2
000011f5: SUB
000011f6: SWAP1
000011f7: REVERT
000011f8: JUMPDEST
000011f9: CALLVALUE
000011fa: DUP2
000011fb: LT
000011fc: ISZERO
000011fd: PUSH2 0x1238
00001200: JUMPI
00001201: CALLER
00001202: PUSH2 0x08fc
00001205: PUSH2 0x120e
00001208: DUP4
00001209: CALLVALUE
0000120a: PUSH2 0x3802
0000120d: JUMP
0000120e: JUMPDEST
0000120f: PUSH1 0x40
00001211: MLOAD
00001212: DUP2
00001213: ISZERO
00001214: SWAP1
00001215: SWAP3
00001216: MUL
00001217: SWAP2
00001218: PUSH1 0x00
0000121a: DUP2
0000121b: DUP2
0000121c: DUP2
0000121d: DUP6
0000121e: DUP9
0000121f: DUP9
00001220: CALL
00001221: SWAP4
00001222: POP
00001223: POP
00001224: POP
00001225: POP
00001226: ISZERO
00001227: DUP1
00001228: ISZERO
00001229: PUSH2 0x1236
0000122c: JUMPI
0000122d: RETURNDATASIZE
0000122e: PUSH1 0x00
00001230: DUP1
00001231: RETURNDATACOPY
00001232: RETURNDATASIZE
00001233: PUSH1 0x00
00001235: REVERT
00001236: JUMPDEST
00001237: POP
00001238: JUMPDEST
00001239: DUP3
0000123a: PUSH1 0x19
0000123c: PUSH1 0x00
0000123e: DUP3
0000123f: DUP3
00001240: SLOAD
00001241: PUSH2 0x124a
00001244: SWAP2
00001245: SWAP1
00001246: PUSH2 0x37cb
00001249: JUMP
0000124a: JUMPDEST
0000124b: SWAP1
0000124c: SWAP2
0000124d: SSTORE
0000124e: POP
0000124f: PUSH2 0x125a
00001252: SWAP1
00001253: POP
00001254: DUP5
00001255: DUP5
00001256: PUSH2 0x2766
00001259: JUMP
0000125a: JUMPDEST
0000125b: POP
0000125c: POP
0000125d: POP
0000125e: POP
0000125f: JUMP
00001260: JUMPDEST
00001261: PUSH1 0x11
00001263: SLOAD
00001264: PUSH1 0x00
00001266: SWAP1
00001267: DUP2
00001268: SWAP1
00001269: DUP2
0000126a: JUMPDEST
0000126b: DUP2
0000126c: DUP2
0000126d: LT
0000126e: ISZERO
0000126f: PUSH2 0x1331
00001272: JUMPI
00001273: PUSH1 0x11
00001275: DUP2
00001276: DUP2
00001277: SLOAD
00001278: DUP2
00001279: LT
0000127a: PUSH2 0x1285
0000127d: JUMPI
0000127e: PUSH2 0x1285
00001281: PUSH2 0x374c
00001284: JUMP
00001285: JUMPDEST
00001286: PUSH1 0x00
00001288: SWAP2
00001289: DUP3
0000128a: MSTORE
0000128b: PUSH1 0x20
0000128d: SWAP1
0000128e: SWAP2
0000128f: KECCAK256
00001290: ADD
00001291: SLOAD
00001292: PUSH1 0x40
00001294: MLOAD
00001295: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
000012b6: DUP2
000012b7: MSTORE
000012b8: PUSH1 0x01
000012ba: PUSH1 0x01
000012bc: PUSH1 0xa0
000012be: SHL
000012bf: SUB
000012c0: DUP8
000012c1: DUP2
000012c2: AND
000012c3: PUSH1 0x04
000012c5: DUP4
000012c6: ADD
000012c7: MSTORE
000012c8: SWAP1
000012c9: SWAP2
000012ca: AND
000012cb: SWAP1
000012cc: PUSH4 0x70a08231
000012d1: SWAP1
000012d2: PUSH1 0x24
000012d4: ADD
000012d5: PUSH1 0x20
000012d7: PUSH1 0x40
000012d9: MLOAD
000012da: DUP1
000012db: DUP4
000012dc: SUB
000012dd: DUP2
000012de: DUP7
000012df: GAS
000012e0: STATICCALL
000012e1: ISZERO
000012e2: DUP1
000012e3: ISZERO
000012e4: PUSH2 0x12f1
000012e7: JUMPI
000012e8: RETURNDATASIZE
000012e9: PUSH1 0x00
000012eb: DUP1
000012ec: RETURNDATACOPY
000012ed: RETURNDATASIZE
000012ee: PUSH1 0x00
000012f0: REVERT
000012f1: JUMPDEST
000012f2: POP
000012f3: POP
000012f4: POP
000012f5: POP
000012f6: PUSH1 0x40
000012f8: MLOAD
000012f9: RETURNDATASIZE
000012fa: PUSH1 0x1f
000012fc: NOT
000012fd: PUSH1 0x1f
000012ff: DUP3
00001300: ADD
00001301: AND
00001302: DUP3
00001303: ADD
00001304: DUP1
00001305: PUSH1 0x40
00001307: MSTORE
00001308: POP
00001309: DUP2
0000130a: ADD
0000130b: SWAP1
0000130c: PUSH2 0x1315
0000130f: SWAP2
00001310: SWAP1
00001311: PUSH2 0x3819
00001314: JUMP
00001315: JUMPDEST
00001316: PUSH2 0x131f
00001319: SWAP1
0000131a: DUP5
0000131b: PUSH2 0x37cb
0000131e: JUMP
0000131f: JUMPDEST
00001320: SWAP3
00001321: POP
00001322: PUSH2 0x132a
00001325: DUP2
00001326: PUSH2 0x3778
00001329: JUMP
0000132a: JUMPDEST
0000132b: SWAP1
0000132c: POP
0000132d: PUSH2 0x126a
00001330: JUMP
00001331: JUMPDEST
00001332: POP
00001333: PUSH1 0x01
00001335: PUSH1 0x01
00001337: PUSH1 0xa0
00001339: SHL
0000133a: SUB
0000133b: DUP5
0000133c: AND
0000133d: PUSH1 0x00
0000133f: SWAP1
00001340: DUP2
00001341: MSTORE
00001342: PUSH1 0x15
00001344: PUSH1 0x20
00001346: MSTORE
00001347: PUSH1 0x40
00001349: SWAP1
0000134a: KECCAK256
0000134b: SLOAD
0000134c: PUSH2 0x1355
0000134f: SWAP1
00001350: DUP4
00001351: PUSH2 0x3802
00001354: JUMP
00001355: JUMPDEST
00001356: SWAP5
00001357: SWAP4
00001358: POP
00001359: POP
0000135a: POP
0000135b: POP
0000135c: JUMP
0000135d: JUMPDEST
0000135e: PUSH1 0x08
00001360: SLOAD
00001361: PUSH1 0x01
00001363: PUSH1 0x01
00001365: PUSH1 0xa0
00001367: SHL
00001368: SUB
00001369: AND
0000136a: CALLER
0000136b: EQ
0000136c: PUSH2 0x13a5
0000136f: JUMPI
00001370: PUSH1 0x40
00001372: MLOAD
00001373: PUSH3 0x461bcd
00001377: PUSH1 0xe5
00001379: SHL
0000137a: DUP2
0000137b: MSTORE
0000137c: PUSH1 0x20
0000137e: PUSH1 0x04
00001380: DUP3
00001381: ADD
00001382: DUP2
00001383: SWAP1
00001384: MSTORE
00001385: PUSH1 0x24
00001387: DUP3
00001388: ADD
00001389: MSTORE
0000138a: PUSH1 0x00
0000138c: DUP1
0000138d: MLOAD
0000138e: PUSH1 0x20
00001390: PUSH2 0x392c
00001393: DUP4
00001394: CODECOPY
00001395: DUP2
00001396: MLOAD
00001397: SWAP2
00001398: MSTORE
00001399: PUSH1 0x44
0000139b: DUP3
0000139c: ADD
0000139d: MSTORE
0000139e: PUSH1 0x64
000013a0: ADD
000013a1: PUSH2 0x0ea9
000013a4: JUMP
000013a5: JUMPDEST
000013a6: DUP1
000013a7: MLOAD
000013a8: PUSH2 0x0f68
000013ab: SWAP1
000013ac: PUSH1 0x26
000013ae: SWAP1
000013af: PUSH1 0x20
000013b1: DUP5
000013b2: ADD
000013b3: SWAP1
000013b4: PUSH2 0x317d
000013b7: JUMP
000013b8: JUMPDEST
000013b9: PUSH1 0x08
000013bb: SLOAD
000013bc: PUSH1 0x01
000013be: PUSH1 0x01
000013c0: PUSH1 0xa0
000013c2: SHL
000013c3: SUB
000013c4: AND
000013c5: CALLER
000013c6: EQ
000013c7: PUSH2 0x1400
000013ca: JUMPI
000013cb: PUSH1 0x40
000013cd: MLOAD
000013ce: PUSH3 0x461bcd
000013d2: PUSH1 0xe5
000013d4: SHL
000013d5: DUP2
000013d6: MSTORE
000013d7: PUSH1 0x20
000013d9: PUSH1 0x04
000013db: DUP3
000013dc: ADD
000013dd: DUP2
000013de: SWAP1
000013df: MSTORE
000013e0: PUSH1 0x24
000013e2: DUP3
000013e3: ADD
000013e4: MSTORE
000013e5: PUSH1 0x00
000013e7: DUP1
000013e8: MLOAD
000013e9: PUSH1 0x20
000013eb: PUSH2 0x392c
000013ee: DUP4
000013ef: CODECOPY
000013f0: DUP2
000013f1: MLOAD
000013f2: SWAP2
000013f3: MSTORE
000013f4: PUSH1 0x44
000013f6: DUP3
000013f7: ADD
000013f8: MSTORE
000013f9: PUSH1 0x64
000013fb: ADD
000013fc: PUSH2 0x0ea9
000013ff: JUMP
00001400: JUMPDEST
00001401: PUSH2 0x140a
00001404: DUP4
00001405: TIMESTAMP
00001406: PUSH2 0x37cb
00001409: JUMP
0000140a: JUMPDEST
0000140b: PUSH1 0x1f
0000140d: SSTORE
0000140e: PUSH1 0x1c
00001410: SWAP2
00001411: SWAP1
00001412: SWAP2
00001413: SSTORE
00001414: PUSH1 0x1b
00001416: SSTORE
00001417: POP
00001418: JUMP
00001419: JUMPDEST
0000141a: PUSH1 0x08
0000141c: SLOAD
0000141d: PUSH1 0x01
0000141f: PUSH1 0x01
00001421: PUSH1 0xa0
00001423: SHL
00001424: SUB
00001425: AND
00001426: CALLER
00001427: EQ
00001428: PUSH2 0x1461
0000142b: JUMPI
0000142c: PUSH1 0x40
0000142e: MLOAD
0000142f: PUSH3 0x461bcd
00001433: PUSH1 0xe5
00001435: SHL
00001436: DUP2
00001437: MSTORE
00001438: PUSH1 0x20
0000143a: PUSH1 0x04
0000143c: DUP3
0000143d: ADD
0000143e: DUP2
0000143f: SWAP1
00001440: MSTORE
00001441: PUSH1 0x24
00001443: DUP3
00001444: ADD
00001445: MSTORE
00001446: PUSH1 0x00
00001448: DUP1
00001449: MLOAD
0000144a: PUSH1 0x20
0000144c: PUSH2 0x392c
0000144f: DUP4
00001450: CODECOPY
00001451: DUP2
00001452: MLOAD
00001453: SWAP2
00001454: MSTORE
00001455: PUSH1 0x44
00001457: DUP3
00001458: ADD
00001459: MSTORE
0000145a: PUSH1 0x64
0000145c: ADD
0000145d: PUSH2 0x0ea9
00001460: JUMP
00001461: JUMPDEST
00001462: DUP1
00001463: MLOAD
00001464: PUSH2 0x0f68
00001467: SWAP1
00001468: PUSH1 0x23
0000146a: SWAP1
0000146b: PUSH1 0x20
0000146d: DUP5
0000146e: ADD
0000146f: SWAP1
00001470: PUSH2 0x317d
00001473: JUMP
00001474: JUMPDEST
00001475: PUSH1 0x11
00001477: DUP2
00001478: DUP2
00001479: SLOAD
0000147a: DUP2
0000147b: LT
0000147c: PUSH2 0x1484
0000147f: JUMPI
00001480: PUSH1 0x00
00001482: DUP1
00001483: REVERT
00001484: JUMPDEST
00001485: PUSH1 0x00
00001487: SWAP2
00001488: DUP3
00001489: MSTORE
0000148a: PUSH1 0x20
0000148c: SWAP1
0000148d: SWAP2
0000148e: KECCAK256
0000148f: ADD
00001490: SLOAD
00001491: PUSH1 0x01
00001493: PUSH1 0x01
00001495: PUSH1 0xa0
00001497: SHL
00001498: SUB
00001499: AND
0000149a: SWAP1
0000149b: POP
0000149c: DUP2
0000149d: JUMP
0000149e: JUMPDEST
0000149f: PUSH1 0x00
000014a1: PUSH1 0x0c
000014a3: SLOAD
000014a4: PUSH1 0x0b
000014a6: SLOAD
000014a7: PUSH1 0x0a
000014a9: SLOAD
000014aa: PUSH2 0x14b3
000014ad: SWAP2
000014ae: SWAP1
000014af: PUSH2 0x37cb
000014b2: JUMP
000014b3: JUMPDEST
000014b4: PUSH2 0x14bd
000014b7: SWAP2
000014b8: SWAP1
000014b9: PUSH2 0x37cb
000014bc: JUMP
000014bd: JUMPDEST
000014be: SWAP1
000014bf: POP
000014c0: SWAP1
000014c1: JUMP
000014c2: JUMPDEST
000014c3: PUSH2 0x14cd
000014c6: DUP4
000014c7: DUP4
000014c8: DUP4
000014c9: PUSH2 0x2780
000014cc: JUMP
000014cd: JUMPDEST
000014ce: POP
000014cf: POP
000014d0: POP
000014d1: JUMP
000014d2: JUMPDEST
000014d3: PUSH1 0x08
000014d5: SLOAD
000014d6: PUSH1 0x01
000014d8: PUSH1 0x01
000014da: PUSH1 0xa0
000014dc: SHL
000014dd: SUB
000014de: AND
000014df: CALLER
000014e0: EQ
000014e1: PUSH2 0x151a
000014e4: JUMPI
000014e5: PUSH1 0x40
000014e7: MLOAD
000014e8: PUSH3 0x461bcd
000014ec: PUSH1 0xe5
000014ee: SHL
000014ef: DUP2
000014f0: MSTORE
000014f1: PUSH1 0x20
000014f3: PUSH1 0x04
000014f5: DUP3
000014f6: ADD
000014f7: DUP2
000014f8: SWAP1
000014f9: MSTORE
000014fa: PUSH1 0x24
000014fc: DUP3
000014fd: ADD
000014fe: MSTORE
000014ff: PUSH1 0x00
00001501: DUP1
00001502: MLOAD
00001503: PUSH1 0x20
00001505: PUSH2 0x392c
00001508: DUP4
00001509: CODECOPY
0000150a: DUP2
0000150b: MLOAD
0000150c: SWAP2
0000150d: MSTORE
0000150e: PUSH1 0x44
00001510: DUP3
00001511: ADD
00001512: MSTORE
00001513: PUSH1 0x64
00001515: ADD
00001516: PUSH2 0x0ea9
00001519: JUMP
0000151a: JUMPDEST
0000151b: DUP1
0000151c: MLOAD
0000151d: PUSH2 0x0f68
00001520: SWAP1
00001521: PUSH1 0x25
00001523: SWAP1
00001524: PUSH1 0x20
00001526: DUP5
00001527: ADD
00001528: SWAP1
00001529: PUSH2 0x317d
0000152c: JUMP
0000152d: JUMPDEST
0000152e: PUSH1 0x08
00001530: SLOAD
00001531: PUSH1 0x01
00001533: PUSH1 0x01
00001535: PUSH1 0xa0
00001537: SHL
00001538: SUB
00001539: AND
0000153a: CALLER
0000153b: EQ
0000153c: PUSH2 0x1575
0000153f: JUMPI
00001540: PUSH1 0x40
00001542: MLOAD
00001543: PUSH3 0x461bcd
00001547: PUSH1 0xe5
00001549: SHL
0000154a: DUP2
0000154b: MSTORE
0000154c: PUSH1 0x20
0000154e: PUSH1 0x04
00001550: DUP3
00001551: ADD
00001552: DUP2
00001553: SWAP1
00001554: MSTORE
00001555: PUSH1 0x24
00001557: DUP3
00001558: ADD
00001559: MSTORE
0000155a: PUSH1 0x00
0000155c: DUP1
0000155d: MLOAD
0000155e: PUSH1 0x20
00001560: PUSH2 0x392c
00001563: DUP4
00001564: CODECOPY
00001565: DUP2
00001566: MLOAD
00001567: SWAP2
00001568: MSTORE
00001569: PUSH1 0x44
0000156b: DUP3
0000156c: ADD
0000156d: MSTORE
0000156e: PUSH1 0x64
00001570: ADD
00001571: PUSH2 0x0ea9
00001574: JUMP
00001575: JUMPDEST
00001576: PUSH1 0x0e
00001578: SLOAD
00001579: DUP2
0000157a: PUSH1 0x0f
0000157c: SLOAD
0000157d: PUSH2 0x1586
00001580: SWAP2
00001581: SWAP1
00001582: PUSH2 0x37cb
00001585: JUMP
00001586: JUMPDEST
00001587: GT
00001588: ISZERO
00001589: PUSH2 0x15a5
0000158c: JUMPI
0000158d: PUSH1 0x40
0000158f: MLOAD
00001590: PUSH4 0x61ece0e3
00001595: PUSH1 0xe1
00001597: SHL
00001598: DUP2
00001599: MSTORE
0000159a: PUSH1 0x04
0000159c: ADD
0000159d: PUSH1 0x40
0000159f: MLOAD
000015a0: DUP1
000015a1: SWAP2
000015a2: SUB
000015a3: SWAP1
000015a4: REVERT
000015a5: JUMPDEST
000015a6: DUP1
000015a7: PUSH1 0x0f
000015a9: PUSH1 0x00
000015ab: DUP3
000015ac: DUP3
000015ad: SLOAD
000015ae: PUSH2 0x15b7
000015b1: SWAP2
000015b2: SWAP1
000015b3: PUSH2 0x37cb
000015b6: JUMP
000015b7: JUMPDEST
000015b8: SWAP1
000015b9: SWAP2
000015ba: SSTORE
000015bb: POP
000015bc: PUSH2 0x0f68
000015bf: SWAP1
000015c0: POP
000015c1: DUP3
000015c2: DUP3
000015c3: PUSH2 0x2766
000015c6: JUMP
000015c7: JUMPDEST
000015c8: PUSH1 0x08
000015ca: SLOAD
000015cb: PUSH1 0x01
000015cd: PUSH1 0x01
000015cf: PUSH1 0xa0
000015d1: SHL
000015d2: SUB
000015d3: AND
000015d4: CALLER
000015d5: EQ
000015d6: PUSH2 0x160f
000015d9: JUMPI
000015da: PUSH1 0x40
000015dc: MLOAD
000015dd: PUSH3 0x461bcd
000015e1: PUSH1 0xe5
000015e3: SHL
000015e4: DUP2
000015e5: MSTORE
000015e6: PUSH1 0x20
000015e8: PUSH1 0x04
000015ea: DUP3
000015eb: ADD
000015ec: DUP2
000015ed: SWAP1
000015ee: MSTORE
000015ef: PUSH1 0x24
000015f1: DUP3
000015f2: ADD
000015f3: MSTORE
000015f4: PUSH1 0x00
000015f6: DUP1
000015f7: MLOAD
000015f8: PUSH1 0x20
000015fa: PUSH2 0x392c
000015fd: DUP4
000015fe: CODECOPY
000015ff: DUP2
00001600: MLOAD
00001601: SWAP2
00001602: MSTORE
00001603: PUSH1 0x44
00001605: DUP3
00001606: ADD
00001607: MSTORE
00001608: PUSH1 0x64
0000160a: ADD
0000160b: PUSH2 0x0ea9
0000160e: JUMP
0000160f: JUMPDEST
00001610: PUSH1 0x11
00001612: SLOAD
00001613: PUSH1 0x00
00001615: JUMPDEST
00001616: DUP2
00001617: DUP2
00001618: LT
00001619: ISZERO
0000161a: PUSH2 0x14cd
0000161d: JUMPI
0000161e: DUP3
0000161f: DUP2
00001620: SUB
00001621: PUSH2 0x1720
00001624: JUMPI
00001625: PUSH1 0x11
00001627: PUSH2 0x1631
0000162a: PUSH1 0x01
0000162c: DUP5
0000162d: PUSH2 0x3802
00001630: JUMP
00001631: JUMPDEST
00001632: DUP2
00001633: SLOAD
00001634: DUP2
00001635: LT
00001636: PUSH2 0x1641
00001639: JUMPI
0000163a: PUSH2 0x1641
0000163d: PUSH2 0x374c
00001640: JUMP
00001641: JUMPDEST
00001642: PUSH1 0x00
00001644: SWAP2
00001645: DUP3
00001646: MSTORE
00001647: PUSH1 0x20
00001649: SWAP1
0000164a: SWAP2
0000164b: KECCAK256
0000164c: ADD
0000164d: SLOAD
0000164e: PUSH1 0x11
00001650: DUP1
00001651: SLOAD
00001652: PUSH1 0x01
00001654: PUSH1 0x01
00001656: PUSH1 0xa0
00001658: SHL
00001659: SUB
0000165a: SWAP1
0000165b: SWAP3
0000165c: AND
0000165d: SWAP2
0000165e: DUP4
0000165f: SWAP1
00001660: DUP2
00001661: LT
00001662: PUSH2 0x166d
00001665: JUMPI
00001666: PUSH2 0x166d
00001669: PUSH2 0x374c
0000166c: JUMP
0000166d: JUMPDEST
0000166e: SWAP1
0000166f: PUSH1 0x00
00001671: MSTORE
00001672: PUSH1 0x20
00001674: PUSH1 0x00
00001676: KECCAK256
00001677: ADD
00001678: PUSH1 0x00
0000167a: PUSH2 0x0100
0000167d: EXP
0000167e: DUP2
0000167f: SLOAD
00001680: DUP2
00001681: PUSH1 0x01
00001683: PUSH1 0x01
00001685: PUSH1 0xa0
00001687: SHL
00001688: SUB
00001689: MUL
0000168a: NOT
0000168b: AND
0000168c: SWAP1
0000168d: DUP4
0000168e: PUSH1 0x01
00001690: PUSH1 0x01
00001692: PUSH1 0xa0
00001694: SHL
00001695: SUB
00001696: AND
00001697: MUL
00001698: OR
00001699: SWAP1
0000169a: SSTORE
0000169b: POP
0000169c: PUSH1 0x00
0000169e: PUSH1 0x13
000016a0: PUSH1 0x00
000016a2: PUSH1 0x11
000016a4: DUP5
000016a5: DUP2
000016a6: SLOAD
000016a7: DUP2
000016a8: LT
000016a9: PUSH2 0x16b4
000016ac: JUMPI
000016ad: PUSH2 0x16b4
000016b0: PUSH2 0x374c
000016b3: JUMP
000016b4: JUMPDEST
000016b5: PUSH1 0x00
000016b7: SWAP2
000016b8: DUP3
000016b9: MSTORE
000016ba: PUSH1 0x20
000016bc: DUP1
000016bd: DUP4
000016be: KECCAK256
000016bf: SWAP2
000016c0: SWAP1
000016c1: SWAP2
000016c2: ADD
000016c3: SLOAD
000016c4: PUSH1 0x01
000016c6: PUSH1 0x01
000016c8: PUSH1 0xa0
000016ca: SHL
000016cb: SUB
000016cc: AND
000016cd: DUP4
000016ce: MSTORE
000016cf: DUP3
000016d0: ADD
000016d1: SWAP3
000016d2: SWAP1
000016d3: SWAP3
000016d4: MSTORE
000016d5: PUSH1 0x40
000016d7: ADD
000016d8: SWAP1
000016d9: KECCAK256
000016da: DUP1
000016db: SLOAD
000016dc: PUSH1 0xff
000016de: NOT
000016df: AND
000016e0: SWAP2
000016e1: ISZERO
000016e2: ISZERO
000016e3: SWAP2
000016e4: SWAP1
000016e5: SWAP2
000016e6: OR
000016e7: SWAP1
000016e8: SSTORE
000016e9: PUSH1 0x11
000016eb: DUP1
000016ec: SLOAD
000016ed: DUP1
000016ee: PUSH2 0x16f9
000016f1: JUMPI
000016f2: PUSH2 0x16f9
000016f5: PUSH2 0x3832
000016f8: JUMP
000016f9: JUMPDEST
000016fa: PUSH1 0x00
000016fc: DUP3
000016fd: DUP2
000016fe: MSTORE
000016ff: PUSH1 0x20
00001701: SWAP1
00001702: KECCAK256
00001703: DUP2
00001704: ADD
00001705: PUSH1 0x00
00001707: NOT
00001708: SWAP1
00001709: DUP2
0000170a: ADD
0000170b: DUP1
0000170c: SLOAD
0000170d: PUSH1 0x01
0000170f: PUSH1 0x01
00001711: PUSH1 0xa0
00001713: SHL
00001714: SUB
00001715: NOT
00001716: AND
00001717: SWAP1
00001718: SSTORE
00001719: ADD
0000171a: SWAP1
0000171b: SSTORE
0000171c: POP
0000171d: POP
0000171e: POP
0000171f: JUMP
00001720: JUMPDEST
00001721: PUSH2 0x1729
00001724: DUP2
00001725: PUSH2 0x3778
00001728: JUMP
00001729: JUMPDEST
0000172a: SWAP1
0000172b: POP
0000172c: PUSH2 0x1615
0000172f: JUMP
00001730: JUMPDEST
00001731: PUSH1 0x08
00001733: SLOAD
00001734: PUSH1 0x01
00001736: PUSH1 0x01
00001738: PUSH1 0xa0
0000173a: SHL
0000173b: SUB
0000173c: AND
0000173d: CALLER
0000173e: EQ
0000173f: PUSH2 0x1778
00001742: JUMPI
00001743: PUSH1 0x40
00001745: MLOAD
00001746: PUSH3 0x461bcd
0000174a: PUSH1 0xe5
0000174c: SHL
0000174d: DUP2
0000174e: MSTORE
0000174f: PUSH1 0x20
00001751: PUSH1 0x04
00001753: DUP3
00001754: ADD
00001755: DUP2
00001756: SWAP1
00001757: MSTORE
00001758: PUSH1 0x24
0000175a: DUP3
0000175b: ADD
0000175c: MSTORE
0000175d: PUSH1 0x00
0000175f: DUP1
00001760: MLOAD
00001761: PUSH1 0x20
00001763: PUSH2 0x392c
00001766: DUP4
00001767: CODECOPY
00001768: DUP2
00001769: MLOAD
0000176a: SWAP2
0000176b: MSTORE
0000176c: PUSH1 0x44
0000176e: DUP3
0000176f: ADD
00001770: MSTORE
00001771: PUSH1 0x64
00001773: ADD
00001774: PUSH2 0x0ea9
00001777: JUMP
00001778: JUMPDEST
00001779: PUSH2 0x1782
0000177c: DUP2
0000177d: TIMESTAMP
0000177e: PUSH2 0x37cb
00001781: JUMP
00001782: JUMPDEST
00001783: PUSH1 0x1d
00001785: SSTORE
00001786: POP
00001787: JUMP
00001788: JUMPDEST
00001789: PUSH1 0x08
0000178b: SLOAD
0000178c: PUSH1 0x01
0000178e: PUSH1 0x01
00001790: PUSH1 0xa0
00001792: SHL
00001793: SUB
00001794: AND
00001795: CALLER
00001796: EQ
00001797: PUSH2 0x17d0
0000179a: JUMPI
0000179b: PUSH1 0x40
0000179d: MLOAD
0000179e: PUSH3 0x461bcd
000017a2: PUSH1 0xe5
000017a4: SHL
000017a5: DUP2
000017a6: MSTORE
000017a7: PUSH1 0x20
000017a9: PUSH1 0x04
000017ab: DUP3
000017ac: ADD
000017ad: DUP2
000017ae: SWAP1
000017af: MSTORE
000017b0: PUSH1 0x24
000017b2: DUP3
000017b3: ADD
000017b4: MSTORE
000017b5: PUSH1 0x00
000017b7: DUP1
000017b8: MLOAD
000017b9: PUSH1 0x20
000017bb: PUSH2 0x392c
000017be: DUP4
000017bf: CODECOPY
000017c0: DUP2
000017c1: MLOAD
000017c2: SWAP2
000017c3: MSTORE
000017c4: PUSH1 0x44
000017c6: DUP3
000017c7: ADD
000017c8: MSTORE
000017c9: PUSH1 0x64
000017cb: ADD
000017cc: PUSH2 0x0ea9
000017cf: JUMP
000017d0: JUMPDEST
000017d1: PUSH1 0x0a
000017d3: SSTORE
000017d4: JUMP
000017d5: JUMPDEST
000017d6: PUSH2 0x14cd
000017d9: DUP4
000017da: DUP4
000017db: DUP4
000017dc: PUSH1 0x40
000017de: MLOAD
000017df: DUP1
000017e0: PUSH1 0x20
000017e2: ADD
000017e3: PUSH1 0x40
000017e5: MSTORE
000017e6: DUP1
000017e7: PUSH1 0x00
000017e9: DUP2
000017ea: MSTORE
000017eb: POP
000017ec: PUSH2 0x23ba
000017ef: JUMP
000017f0: JUMPDEST
000017f1: PUSH1 0x08
000017f3: SLOAD
000017f4: PUSH1 0x01
000017f6: PUSH1 0x01
000017f8: PUSH1 0xa0
000017fa: SHL
000017fb: SUB
000017fc: AND
000017fd: CALLER
000017fe: EQ
000017ff: PUSH2 0x1838
00001802: JUMPI
00001803: PUSH1 0x40
00001805: MLOAD
00001806: PUSH3 0x461bcd
0000180a: PUSH1 0xe5
0000180c: SHL
0000180d: DUP2
0000180e: MSTORE
0000180f: PUSH1 0x20
00001811: PUSH1 0x04
00001813: DUP3
00001814: ADD
00001815: DUP2
00001816: SWAP1
00001817: MSTORE
00001818: PUSH1 0x24
0000181a: DUP3
0000181b: ADD
0000181c: MSTORE
0000181d: PUSH1 0x00
0000181f: DUP1
00001820: MLOAD
00001821: PUSH1 0x20
00001823: PUSH2 0x392c
00001826: DUP4
00001827: CODECOPY
00001828: DUP2
00001829: MLOAD
0000182a: SWAP2
0000182b: MSTORE
0000182c: PUSH1 0x44
0000182e: DUP3
0000182f: ADD
00001830: MSTORE
00001831: PUSH1 0x64
00001833: ADD
00001834: PUSH2 0x0ea9
00001837: JUMP
00001838: JUMPDEST
00001839: PUSH1 0x00
0000183b: JUMPDEST
0000183c: DUP2
0000183d: DUP2
0000183e: LT
0000183f: ISZERO
00001840: PUSH2 0x14cd
00001843: JUMPI
00001844: PUSH1 0x01
00001846: PUSH1 0x17
00001848: PUSH1 0x00
0000184a: DUP6
0000184b: DUP6
0000184c: DUP6
0000184d: DUP2
0000184e: DUP2
0000184f: LT
00001850: PUSH2 0x185b
00001853: JUMPI
00001854: PUSH2 0x185b
00001857: PUSH2 0x374c
0000185a: JUMP
0000185b: JUMPDEST
0000185c: SWAP1
0000185d: POP
0000185e: PUSH1 0x20
00001860: MUL
00001861: ADD
00001862: PUSH1 0x20
00001864: DUP2
00001865: ADD
00001866: SWAP1
00001867: PUSH2 0x1870
0000186a: SWAP2
0000186b: SWAP1
0000186c: PUSH2 0x33fe
0000186f: JUMP
00001870: JUMPDEST
00001871: PUSH1 0x01
00001873: PUSH1 0x01
00001875: PUSH1 0xa0
00001877: SHL
00001878: SUB
00001879: AND
0000187a: DUP2
0000187b: MSTORE
0000187c: PUSH1 0x20
0000187e: DUP2
0000187f: ADD
00001880: SWAP2
00001881: SWAP1
00001882: SWAP2
00001883: MSTORE
00001884: PUSH1 0x40
00001886: ADD
00001887: PUSH1 0x00
00001889: KECCAK256
0000188a: DUP1
0000188b: SLOAD
0000188c: PUSH1 0xff
0000188e: NOT
0000188f: AND
00001890: SWAP2
00001891: ISZERO
00001892: ISZERO
00001893: SWAP2
00001894: SWAP1
00001895: SWAP2
00001896: OR
00001897: SWAP1
00001898: SSTORE
00001899: PUSH2 0x18a1
0000189c: DUP2
0000189d: PUSH2 0x3778
000018a0: JUMP
000018a1: JUMPDEST
000018a2: SWAP1
000018a3: POP
000018a4: PUSH2 0x183b
000018a7: JUMP
000018a8: JUMPDEST
000018a9: PUSH1 0x08
000018ab: SLOAD
000018ac: PUSH1 0x01
000018ae: PUSH1 0x01
000018b0: PUSH1 0xa0
000018b2: SHL
000018b3: SUB
000018b4: AND
000018b5: CALLER
000018b6: EQ
000018b7: PUSH2 0x18f0
000018ba: JUMPI
000018bb: PUSH1 0x40
000018bd: MLOAD
000018be: PUSH3 0x461bcd
000018c2: PUSH1 0xe5
000018c4: SHL
000018c5: DUP2
000018c6: MSTORE
000018c7: PUSH1 0x20
000018c9: PUSH1 0x04
000018cb: DUP3
000018cc: ADD
000018cd: DUP2
000018ce: SWAP1
000018cf: MSTORE
000018d0: PUSH1 0x24
000018d2: DUP3
000018d3: ADD
000018d4: MSTORE
000018d5: PUSH1 0x00
000018d7: DUP1
000018d8: MLOAD
000018d9: PUSH1 0x20
000018db: PUSH2 0x392c
000018de: DUP4
000018df: CODECOPY
000018e0: DUP2
000018e1: MLOAD
000018e2: SWAP2
000018e3: MSTORE
000018e4: PUSH1 0x44
000018e6: DUP3
000018e7: ADD
000018e8: MSTORE
000018e9: PUSH1 0x64
000018eb: ADD
000018ec: PUSH2 0x0ea9
000018ef: JUMP
000018f0: JUMPDEST
000018f1: PUSH1 0x0b
000018f3: SSTORE
000018f4: JUMP
000018f5: JUMPDEST
000018f6: PUSH1 0x08
000018f8: SLOAD
000018f9: PUSH1 0x01
000018fb: PUSH1 0x01
000018fd: PUSH1 0xa0
000018ff: SHL
00001900: SUB
00001901: AND
00001902: CALLER
00001903: EQ
00001904: PUSH2 0x193d
00001907: JUMPI
00001908: PUSH1 0x40
0000190a: MLOAD
0000190b: PUSH3 0x461bcd
0000190f: PUSH1 0xe5
00001911: SHL
00001912: DUP2
00001913: MSTORE
00001914: PUSH1 0x20
00001916: PUSH1 0x04
00001918: DUP3
00001919: ADD
0000191a: DUP2
0000191b: SWAP1
0000191c: MSTORE
0000191d: PUSH1 0x24
0000191f: DUP3
00001920: ADD
00001921: MSTORE
00001922: PUSH1 0x00
00001924: DUP1
00001925: MLOAD
00001926: PUSH1 0x20
00001928: PUSH2 0x392c
0000192b: DUP4
0000192c: CODECOPY
0000192d: DUP2
0000192e: MLOAD
0000192f: SWAP2
00001930: MSTORE
00001931: PUSH1 0x44
00001933: DUP3
00001934: ADD
00001935: MSTORE
00001936: PUSH1 0x64
00001938: ADD
00001939: PUSH2 0x0ea9
0000193c: JUMP
0000193d: JUMPDEST
0000193e: PUSH1 0x09
00001940: SSTORE
00001941: JUMP
00001942: JUMPDEST
00001943: PUSH1 0x08
00001945: SLOAD
00001946: PUSH1 0x01
00001948: PUSH1 0x01
0000194a: PUSH1 0xa0
0000194c: SHL
0000194d: SUB
0000194e: AND
0000194f: CALLER
00001950: EQ
00001951: PUSH2 0x198a
00001954: JUMPI
00001955: PUSH1 0x40
00001957: MLOAD
00001958: PUSH3 0x461bcd
0000195c: PUSH1 0xe5
0000195e: SHL
0000195f: DUP2
00001960: MSTORE
00001961: PUSH1 0x20
00001963: PUSH1 0x04
00001965: DUP3
00001966: ADD
00001967: DUP2
00001968: SWAP1
00001969: MSTORE
0000196a: PUSH1 0x24
0000196c: DUP3
0000196d: ADD
0000196e: MSTORE
0000196f: PUSH1 0x00
00001971: DUP1
00001972: MLOAD
00001973: PUSH1 0x20
00001975: PUSH2 0x392c
00001978: DUP4
00001979: CODECOPY
0000197a: DUP2
0000197b: MLOAD
0000197c: SWAP2
0000197d: MSTORE
0000197e: PUSH1 0x44
00001980: DUP3
00001981: ADD
00001982: MSTORE
00001983: PUSH1 0x64
00001985: ADD
00001986: PUSH2 0x0ea9
00001989: JUMP
0000198a: JUMPDEST
0000198b: PUSH2 0x1994
0000198e: DUP4
0000198f: TIMESTAMP
00001990: PUSH2 0x37cb
00001993: JUMP
00001994: JUMPDEST
00001995: PUSH1 0x1e
00001997: SSTORE
00001998: NUMBER
00001999: PUSH1 0x22
0000199b: SSTORE
0000199c: PUSH1 0x20
0000199e: SWAP2
0000199f: SWAP1
000019a0: SWAP2
000019a1: SSTORE
000019a2: PUSH1 0x21
000019a4: SSTORE
000019a5: POP
000019a6: JUMP
000019a7: JUMPDEST
000019a8: PUSH1 0x00
000019aa: PUSH2 0x19b2
000019ad: DUP3
000019ae: PUSH2 0x29ca
000019b1: JUMP
000019b2: JUMPDEST
000019b3: MLOAD
000019b4: SWAP3
000019b5: SWAP2
000019b6: POP
000019b7: POP
000019b8: JUMP
000019b9: JUMPDEST
000019ba: PUSH1 0x1d
000019bc: SLOAD
000019bd: ISZERO
000019be: DUP1
000019bf: PUSH2 0x19c9
000019c2: JUMPI
000019c3: POP
000019c4: TIMESTAMP
000019c5: PUSH1 0x1d
000019c7: SLOAD
000019c8: LT
000019c9: JUMPDEST
000019ca: ISZERO
000019cb: PUSH2 0x19e7
000019ce: JUMPI
000019cf: PUSH1 0x40
000019d1: MLOAD
000019d2: PUSH4 0x0fbf2263
000019d7: PUSH1 0xe0
000019d9: SHL
000019da: DUP2
000019db: MSTORE
000019dc: PUSH1 0x04
000019de: ADD
000019df: PUSH1 0x40
000019e1: MLOAD
000019e2: DUP1
000019e3: SWAP2
000019e4: SUB
000019e5: SWAP1
000019e6: REVERT
000019e7: JUMPDEST
000019e8: PUSH1 0x40
000019ea: DUP1
000019eb: MLOAD
000019ec: PUSH1 0x01
000019ee: PUSH1 0x01
000019f0: PUSH1 0xa0
000019f2: SHL
000019f3: SUB
000019f4: DUP5
000019f5: AND
000019f6: PUSH1 0x20
000019f8: DUP3
000019f9: ADD
000019fa: MSTORE
000019fb: SWAP1
000019fc: DUP2
000019fd: ADD
000019fe: DUP3
000019ff: SWAP1
00001a00: MSTORE
00001a01: PUSH1 0x00
00001a03: SWAP1
00001a04: PUSH1 0x60
00001a06: ADD
00001a07: PUSH1 0x40
00001a09: DUP1
00001a0a: MLOAD
00001a0b: PUSH1 0x1f
00001a0d: NOT
00001a0e: DUP2
00001a0f: DUP5
00001a10: SUB
00001a11: ADD
00001a12: DUP2
00001a13: MSTORE
00001a14: SWAP2
00001a15: DUP2
00001a16: MSTORE
00001a17: DUP2
00001a18: MLOAD
00001a19: PUSH1 0x20
00001a1b: SWAP3
00001a1c: DUP4
00001a1d: ADD
00001a1e: KECCAK256
00001a1f: PUSH1 0x00
00001a21: DUP2
00001a22: DUP2
00001a23: MSTORE
00001a24: PUSH1 0x14
00001a26: SWAP1
00001a27: SWAP4
00001a28: MSTORE
00001a29: SWAP2
00001a2a: KECCAK256
00001a2b: SLOAD
00001a2c: SWAP1
00001a2d: SWAP2
00001a2e: POP
00001a2f: PUSH1 0xff
00001a31: AND
00001a32: ISZERO
00001a33: PUSH2 0x1a4f
00001a36: JUMPI
00001a37: PUSH1 0x40
00001a39: MLOAD
00001a3a: PUSH4 0xc67a3cb3
00001a3f: PUSH1 0xe0
00001a41: SHL
00001a42: DUP2
00001a43: MSTORE
00001a44: PUSH1 0x04
00001a46: ADD
00001a47: PUSH1 0x40
00001a49: MLOAD
00001a4a: DUP1
00001a4b: SWAP2
00001a4c: SUB
00001a4d: SWAP1
00001a4e: REVERT
00001a4f: JUMPDEST
00001a50: PUSH1 0x0a
00001a52: SLOAD
00001a53: PUSH1 0x18
00001a55: SLOAD
00001a56: LT
00001a57: PUSH2 0x1a73
00001a5a: JUMPI
00001a5b: PUSH1 0x40
00001a5d: MLOAD
00001a5e: PUSH4 0x61ece0e3
00001a63: PUSH1 0xe1
00001a65: SHL
00001a66: DUP2
00001a67: MSTORE
00001a68: PUSH1 0x04
00001a6a: ADD
00001a6b: PUSH1 0x40
00001a6d: MLOAD
00001a6e: DUP1
00001a6f: SWAP2
00001a70: SUB
00001a71: SWAP1
00001a72: REVERT
00001a73: JUMPDEST
00001a74: PUSH1 0x01
00001a76: PUSH1 0x01
00001a78: PUSH1 0xa0
00001a7a: SHL
00001a7b: SUB
00001a7c: DUP4
00001a7d: AND
00001a7e: PUSH1 0x00
00001a80: SWAP1
00001a81: DUP2
00001a82: MSTORE
00001a83: PUSH1 0x13
00001a85: PUSH1 0x20
00001a87: MSTORE
00001a88: PUSH1 0x40
00001a8a: SWAP1
00001a8b: KECCAK256
00001a8c: SLOAD
00001a8d: PUSH1 0xff
00001a8f: AND
00001a90: PUSH2 0x1ac5
00001a93: JUMPI
00001a94: PUSH1 0x40
00001a96: MLOAD
00001a97: PUSH32 0x441134bd00000000000000000000000000000000000000000000000000000000
00001ab8: DUP2
00001ab9: MSTORE
00001aba: PUSH1 0x04
00001abc: ADD
00001abd: PUSH1 0x40
00001abf: MLOAD
00001ac0: DUP1
00001ac1: SWAP2
00001ac2: SUB
00001ac3: SWAP1
00001ac4: REVERT
00001ac5: JUMPDEST
00001ac6: PUSH1 0x12
00001ac8: SLOAD
00001ac9: PUSH1 0x01
00001acb: PUSH1 0x01
00001acd: PUSH1 0xa0
00001acf: SHL
00001ad0: SUB
00001ad1: SWAP1
00001ad2: DUP2
00001ad3: AND
00001ad4: SWAP1
00001ad5: DUP5
00001ad6: AND
00001ad7: SUB
00001ad8: PUSH2 0x1b90
00001adb: JUMPI
00001adc: PUSH1 0x40
00001ade: MLOAD
00001adf: PUSH32 0x5817816800000000000000000000000000000000000000000000000000000000
00001b00: DUP2
00001b01: MSTORE
00001b02: PUSH1 0x04
00001b04: DUP2
00001b05: ADD
00001b06: DUP4
00001b07: SWAP1
00001b08: MSTORE
00001b09: PUSH1 0x01
00001b0b: PUSH1 0x01
00001b0d: PUSH1 0xa0
00001b0f: SHL
00001b10: SUB
00001b11: DUP1
00001b12: DUP7
00001b13: AND
00001b14: SWAP2
00001b15: SWAP1
00001b16: DUP6
00001b17: AND
00001b18: SWAP1
00001b19: PUSH4 0x58178168
00001b1e: SWAP1
00001b1f: PUSH1 0x24
00001b21: ADD
00001b22: PUSH1 0x20
00001b24: PUSH1 0x40
00001b26: MLOAD
00001b27: DUP1
00001b28: DUP4
00001b29: SUB
00001b2a: DUP2
00001b2b: PUSH1 0x00
00001b2d: DUP8
00001b2e: GAS
00001b2f: CALL
00001b30: ISZERO
00001b31: DUP1
00001b32: ISZERO
00001b33: PUSH2 0x1b40
00001b36: JUMPI
00001b37: RETURNDATASIZE
00001b38: PUSH1 0x00
00001b3a: DUP1
00001b3b: RETURNDATACOPY
00001b3c: RETURNDATASIZE
00001b3d: PUSH1 0x00
00001b3f: REVERT
00001b40: JUMPDEST
00001b41: POP
00001b42: POP
00001b43: POP
00001b44: POP
00001b45: PUSH1 0x40
00001b47: MLOAD
00001b48: RETURNDATASIZE
00001b49: PUSH1 0x1f
00001b4b: NOT
00001b4c: PUSH1 0x1f
00001b4e: DUP3
00001b4f: ADD
00001b50: AND
00001b51: DUP3
00001b52: ADD
00001b53: DUP1
00001b54: PUSH1 0x40
00001b56: MSTORE
00001b57: POP
00001b58: DUP2
00001b59: ADD
00001b5a: SWAP1
00001b5b: PUSH2 0x1b64
00001b5e: SWAP2
00001b5f: SWAP1
00001b60: PUSH2 0x3848
00001b63: JUMP
00001b64: JUMPDEST
00001b65: PUSH1 0x01
00001b67: PUSH1 0x01
00001b69: PUSH1 0xa0
00001b6b: SHL
00001b6c: SUB
00001b6d: AND
00001b6e: EQ
00001b6f: PUSH2 0x1b8b
00001b72: JUMPI
00001b73: PUSH1 0x40
00001b75: MLOAD
00001b76: PUSH4 0x02382115
00001b7b: PUSH1 0xe2
00001b7d: SHL
00001b7e: DUP2
00001b7f: MSTORE
00001b80: PUSH1 0x04
00001b82: ADD
00001b83: PUSH1 0x40
00001b85: MLOAD
00001b86: DUP1
00001b87: SWAP2
00001b88: SUB
00001b89: SWAP1
00001b8a: REVERT
00001b8b: JUMPDEST
00001b8c: PUSH2 0x1c3e
00001b8f: JUMP
00001b90: JUMPDEST
00001b91: PUSH1 0x40
00001b93: MLOAD
00001b94: PUSH32 0x6352211e00000000000000000000000000000000000000000000000000000000
00001bb5: DUP2
00001bb6: MSTORE
00001bb7: PUSH1 0x04
00001bb9: DUP2
00001bba: ADD
00001bbb: DUP4
00001bbc: SWAP1
00001bbd: MSTORE
00001bbe: PUSH1 0x01
00001bc0: PUSH1 0x01
00001bc2: PUSH1 0xa0
00001bc4: SHL
00001bc5: SUB
00001bc6: DUP1
00001bc7: DUP7
00001bc8: AND
00001bc9: SWAP2
00001bca: SWAP1
00001bcb: DUP6
00001bcc: AND
00001bcd: SWAP1
00001bce: PUSH4 0x6352211e
00001bd3: SWAP1
00001bd4: PUSH1 0x24
00001bd6: ADD
00001bd7: PUSH1 0x20
00001bd9: PUSH1 0x40
00001bdb: MLOAD
00001bdc: DUP1
00001bdd: DUP4
00001bde: SUB
00001bdf: DUP2
00001be0: DUP7
00001be1: GAS
00001be2: STATICCALL
00001be3: ISZERO
00001be4: DUP1
00001be5: ISZERO
00001be6: PUSH2 0x1bf3
00001be9: JUMPI
00001bea: RETURNDATASIZE
00001beb: PUSH1 0x00
00001bed: DUP1
00001bee: RETURNDATACOPY
00001bef: RETURNDATASIZE
00001bf0: PUSH1 0x00
00001bf2: REVERT
00001bf3: JUMPDEST
00001bf4: POP
00001bf5: POP
00001bf6: POP
00001bf7: POP
00001bf8: PUSH1 0x40
00001bfa: MLOAD
00001bfb: RETURNDATASIZE
00001bfc: PUSH1 0x1f
00001bfe: NOT
00001bff: PUSH1 0x1f
00001c01: DUP3
00001c02: ADD
00001c03: AND
00001c04: DUP3
00001c05: ADD
00001c06: DUP1
00001c07: PUSH1 0x40
00001c09: MSTORE
00001c0a: POP
00001c0b: DUP2
00001c0c: ADD
00001c0d: SWAP1
00001c0e: PUSH2 0x1c17
00001c11: SWAP2
00001c12: SWAP1
00001c13: PUSH2 0x3848
00001c16: JUMP
00001c17: JUMPDEST
00001c18: PUSH1 0x01
00001c1a: PUSH1 0x01
00001c1c: PUSH1 0xa0
00001c1e: SHL
00001c1f: SUB
00001c20: AND
00001c21: EQ
00001c22: PUSH2 0x1c3e
00001c25: JUMPI
00001c26: PUSH1 0x40
00001c28: MLOAD
00001c29: PUSH4 0x02382115
00001c2e: PUSH1 0xe2
00001c30: SHL
00001c31: DUP2
00001c32: MSTORE
00001c33: PUSH1 0x04
00001c35: ADD
00001c36: PUSH1 0x40
00001c38: MLOAD
00001c39: DUP1
00001c3a: SWAP2
00001c3b: SUB
00001c3c: SWAP1
00001c3d: REVERT
00001c3e: JUMPDEST
00001c3f: PUSH1 0x01
00001c41: PUSH1 0x18
00001c43: PUSH1 0x00
00001c45: DUP3
00001c46: DUP3
00001c47: SLOAD
00001c48: PUSH2 0x1c51
00001c4b: SWAP2
00001c4c: SWAP1
00001c4d: PUSH2 0x37cb
00001c50: JUMP
00001c51: JUMPDEST
00001c52: SWAP1
00001c53: SWAP2
00001c54: SSTORE
00001c55: POP
00001c56: POP
00001c57: PUSH1 0x01
00001c59: PUSH1 0x01
00001c5b: PUSH1 0xa0
00001c5d: SHL
00001c5e: SUB
00001c5f: DUP5
00001c60: AND
00001c61: PUSH1 0x00
00001c63: SWAP1
00001c64: DUP2
00001c65: MSTORE
00001c66: PUSH1 0x15
00001c68: PUSH1 0x20
00001c6a: MSTORE
00001c6b: PUSH1 0x40
00001c6d: DUP2
00001c6e: KECCAK256
00001c6f: DUP1
00001c70: SLOAD
00001c71: PUSH1 0x01
00001c73: SWAP3
00001c74: SWAP1
00001c75: PUSH2 0x1c7f
00001c78: SWAP1
00001c79: DUP5
00001c7a: SWAP1
00001c7b: PUSH2 0x37cb
00001c7e: JUMP
00001c7f: JUMPDEST
00001c80: SWAP1
00001c81: SWAP2
00001c82: SSTORE
00001c83: POP
00001c84: POP
00001c85: PUSH1 0x00
00001c87: DUP2
00001c88: DUP2
00001c89: MSTORE
00001c8a: PUSH1 0x14
00001c8c: PUSH1 0x20
00001c8e: MSTORE
00001c8f: PUSH1 0x40
00001c91: SWAP1
00001c92: KECCAK256
00001c93: DUP1
00001c94: SLOAD
00001c95: PUSH1 0xff
00001c97: NOT
00001c98: AND
00001c99: PUSH1 0x01
00001c9b: SWAP1
00001c9c: DUP2
00001c9d: OR
00001c9e: SWAP1
00001c9f: SWAP2
00001ca0: SSTORE
00001ca1: PUSH2 0x125a
00001ca4: SWAP1
00001ca5: DUP6
00001ca6: SWAP1
00001ca7: PUSH2 0x2766
00001caa: JUMP
00001cab: JUMPDEST
00001cac: PUSH1 0x00
00001cae: PUSH1 0x01
00001cb0: PUSH1 0x01
00001cb2: PUSH1 0xa0
00001cb4: SHL
00001cb5: SUB
00001cb6: DUP3
00001cb7: AND
00001cb8: PUSH2 0x1ced
00001cbb: JUMPI
00001cbc: PUSH1 0x40
00001cbe: MLOAD
00001cbf: PUSH32 0x8f4eb60400000000000000000000000000000000000000000000000000000000
00001ce0: DUP2
00001ce1: MSTORE
00001ce2: PUSH1 0x04
00001ce4: ADD
00001ce5: PUSH1 0x40
00001ce7: MLOAD
00001ce8: DUP1
00001ce9: SWAP2
00001cea: SUB
00001ceb: SWAP1
00001cec: REVERT
00001ced: JUMPDEST
00001cee: POP
00001cef: PUSH1 0x01
00001cf1: PUSH1 0x01
00001cf3: PUSH1 0xa0
00001cf5: SHL
00001cf6: SUB
00001cf7: AND
00001cf8: PUSH1 0x00
00001cfa: SWAP1
00001cfb: DUP2
00001cfc: MSTORE
00001cfd: PUSH1 0x05
00001cff: PUSH1 0x20
00001d01: MSTORE
00001d02: PUSH1 0x40
00001d04: SWAP1
00001d05: KECCAK256
00001d06: SLOAD
00001d07: PUSH8 0xffffffffffffffff
00001d10: AND
00001d11: SWAP1
00001d12: JUMP
00001d13: JUMPDEST
00001d14: PUSH1 0x08
00001d16: SLOAD
00001d17: PUSH1 0x01
00001d19: PUSH1 0x01
00001d1b: PUSH1 0xa0
00001d1d: SHL
00001d1e: SUB
00001d1f: AND
00001d20: CALLER
00001d21: EQ
00001d22: PUSH2 0x1d5b
00001d25: JUMPI
00001d26: PUSH1 0x40
00001d28: MLOAD
00001d29: PUSH3 0x461bcd
00001d2d: PUSH1 0xe5
00001d2f: SHL
00001d30: DUP2
00001d31: MSTORE
00001d32: PUSH1 0x20
00001d34: PUSH1 0x04
00001d36: DUP3
00001d37: ADD
00001d38: DUP2
00001d39: SWAP1
00001d3a: MSTORE
00001d3b: PUSH1 0x24
00001d3d: DUP3
00001d3e: ADD
00001d3f: MSTORE
00001d40: PUSH1 0x00
00001d42: DUP1
00001d43: MLOAD
00001d44: PUSH1 0x20
00001d46: PUSH2 0x392c
00001d49: DUP4
00001d4a: CODECOPY
00001d4b: DUP2
00001d4c: MLOAD
00001d4d: SWAP2
00001d4e: MSTORE
00001d4f: PUSH1 0x44
00001d51: DUP3
00001d52: ADD
00001d53: MSTORE
00001d54: PUSH1 0x64
00001d56: ADD
00001d57: PUSH2 0x0ea9
00001d5a: JUMP
00001d5b: JUMPDEST
00001d5c: PUSH2 0x1d65
00001d5f: PUSH1 0x00
00001d61: PUSH2 0x2b07
00001d64: JUMP
00001d65: JUMPDEST
00001d66: JUMP
00001d67: JUMPDEST
00001d68: PUSH1 0x08
00001d6a: SLOAD
00001d6b: PUSH1 0x01
00001d6d: PUSH1 0x01
00001d6f: PUSH1 0xa0
00001d71: SHL
00001d72: SUB
00001d73: AND
00001d74: CALLER
00001d75: EQ
00001d76: PUSH2 0x1daf
00001d79: JUMPI
00001d7a: PUSH1 0x40
00001d7c: MLOAD
00001d7d: PUSH3 0x461bcd
00001d81: PUSH1 0xe5
00001d83: SHL
00001d84: DUP2
00001d85: MSTORE
00001d86: PUSH1 0x20
00001d88: PUSH1 0x04
00001d8a: DUP3
00001d8b: ADD
00001d8c: DUP2
00001d8d: SWAP1
00001d8e: MSTORE
00001d8f: PUSH1 0x24
00001d91: DUP3
00001d92: ADD
00001d93: MSTORE
00001d94: PUSH1 0x00
00001d96: DUP1
00001d97: MLOAD
00001d98: PUSH1 0x20
00001d9a: PUSH2 0x392c
00001d9d: DUP4
00001d9e: CODECOPY
00001d9f: DUP2
00001da0: MLOAD
00001da1: SWAP2
00001da2: MSTORE
00001da3: PUSH1 0x44
00001da5: DUP3
00001da6: ADD
00001da7: MSTORE
00001da8: PUSH1 0x64
00001daa: ADD
00001dab: PUSH2 0x0ea9
00001dae: JUMP
00001daf: JUMPDEST
00001db0: DUP1
00001db1: MLOAD
00001db2: PUSH2 0x0f68
00001db5: SWAP1
00001db6: PUSH1 0x24
00001db8: SWAP1
00001db9: PUSH1 0x20
00001dbb: DUP5
00001dbc: ADD
00001dbd: SWAP1
00001dbe: PUSH2 0x317d
00001dc1: JUMP
00001dc2: JUMPDEST
00001dc3: PUSH1 0x08
00001dc5: SLOAD
00001dc6: PUSH1 0x01
00001dc8: PUSH1 0x01
00001dca: PUSH1 0xa0
00001dcc: SHL
00001dcd: SUB
00001dce: AND
00001dcf: CALLER
00001dd0: EQ
00001dd1: PUSH2 0x1e0a
00001dd4: JUMPI
00001dd5: PUSH1 0x40
00001dd7: MLOAD
00001dd8: PUSH3 0x461bcd
00001ddc: PUSH1 0xe5
00001dde: SHL
00001ddf: DUP2
00001de0: MSTORE
00001de1: PUSH1 0x20
00001de3: PUSH1 0x04
00001de5: DUP3
00001de6: ADD
00001de7: DUP2
00001de8: SWAP1
00001de9: MSTORE
00001dea: PUSH1 0x24
00001dec: DUP3
00001ded: ADD
00001dee: MSTORE
00001def: PUSH1 0x00
00001df1: DUP1
00001df2: MLOAD
00001df3: PUSH1 0x20
00001df5: PUSH2 0x392c
00001df8: DUP4
00001df9: CODECOPY
00001dfa: DUP2
00001dfb: MLOAD
00001dfc: SWAP2
00001dfd: MSTORE
00001dfe: PUSH1 0x44
00001e00: DUP3
00001e01: ADD
00001e02: MSTORE
00001e03: PUSH1 0x64
00001e05: ADD
00001e06: PUSH2 0x0ea9
00001e09: JUMP
00001e0a: JUMPDEST
00001e0b: PUSH1 0x12
00001e0d: DUP1
00001e0e: SLOAD
00001e0f: PUSH1 0x01
00001e11: PUSH1 0x01
00001e13: PUSH1 0xa0
00001e15: SHL
00001e16: SUB
00001e17: SWAP1
00001e18: SWAP3
00001e19: AND
00001e1a: PUSH1 0x01
00001e1c: PUSH1 0x01
00001e1e: PUSH1 0xa0
00001e20: SHL
00001e21: SUB
00001e22: NOT
00001e23: SWAP3
00001e24: DUP4
00001e25: AND
00001e26: DUP2
00001e27: OR
00001e28: SWAP1
00001e29: SWAP2
00001e2a: SSTORE
00001e2b: PUSH1 0x11
00001e2d: DUP1
00001e2e: SLOAD
00001e2f: PUSH1 0x01
00001e31: DUP2
00001e32: DUP2
00001e33: ADD
00001e34: SWAP1
00001e35: SWAP3
00001e36: SSTORE
00001e37: PUSH32 0x31ecc21a745e3968a04e9570e4425bc18fa8019c68028196b546d1669c200c68
00001e58: ADD
00001e59: DUP1
00001e5a: SLOAD
00001e5b: SWAP1
00001e5c: SWAP4
00001e5d: AND
00001e5e: DUP3
00001e5f: OR
00001e60: SWAP1
00001e61: SWAP3
00001e62: SSTORE
00001e63: PUSH1 0x00
00001e65: SWAP1
00001e66: DUP2
00001e67: MSTORE
00001e68: PUSH1 0x13
00001e6a: PUSH1 0x20
00001e6c: MSTORE
00001e6d: PUSH1 0x40
00001e6f: SWAP1
00001e70: KECCAK256
00001e71: DUP1
00001e72: SLOAD
00001e73: PUSH1 0xff
00001e75: NOT
00001e76: AND
00001e77: SWAP1
00001e78: SWAP2
00001e79: OR
00001e7a: SWAP1
00001e7b: SSTORE
00001e7c: JUMP
00001e7d: JUMPDEST
00001e7e: PUSH1 0x08
00001e80: SLOAD
00001e81: PUSH1 0x01
00001e83: PUSH1 0x01
00001e85: PUSH1 0xa0
00001e87: SHL
00001e88: SUB
00001e89: AND
00001e8a: CALLER
00001e8b: EQ
00001e8c: PUSH2 0x1ec5
00001e8f: JUMPI
00001e90: PUSH1 0x40
00001e92: MLOAD
00001e93: PUSH3 0x461bcd
00001e97: PUSH1 0xe5
00001e99: SHL
00001e9a: DUP2
00001e9b: MSTORE
00001e9c: PUSH1 0x20
00001e9e: PUSH1 0x04
00001ea0: DUP3
00001ea1: ADD
00001ea2: DUP2
00001ea3: SWAP1
00001ea4: MSTORE
00001ea5: PUSH1 0x24
00001ea7: DUP3
00001ea8: ADD
00001ea9: MSTORE
00001eaa: PUSH1 0x00
00001eac: DUP1
00001ead: MLOAD
00001eae: PUSH1 0x20
00001eb0: PUSH2 0x392c
00001eb3: DUP4
00001eb4: CODECOPY
00001eb5: DUP2
00001eb6: MLOAD
00001eb7: SWAP2
00001eb8: MSTORE
00001eb9: PUSH1 0x44
00001ebb: DUP3
00001ebc: ADD
00001ebd: MSTORE
00001ebe: PUSH1 0x64
00001ec0: ADD
00001ec1: PUSH2 0x0ea9
00001ec4: JUMP
00001ec5: JUMPDEST
00001ec6: PUSH1 0x00
00001ec8: PUSH2 0x1ecf
00001ecb: PUSH2 0x22af
00001ece: JUMP
00001ecf: JUMPDEST
00001ed0: PUSH2 0x1ed7
00001ed3: PUSH2 0x149e
00001ed6: JUMP
00001ed7: JUMPDEST
00001ed8: PUSH2 0x1ee1
00001edb: SWAP2
00001edc: SWAP1
00001edd: PUSH2 0x3802
00001ee0: JUMP
00001ee1: JUMPDEST
00001ee2: SWAP1
00001ee3: POP
00001ee4: DUP1
00001ee5: DUP3
00001ee6: PUSH1 0x0d
00001ee8: SLOAD
00001ee9: PUSH2 0x1ef2
00001eec: SWAP2
00001eed: SWAP1
00001eee: PUSH2 0x37cb
00001ef1: JUMP
00001ef2: JUMPDEST
00001ef3: GT
00001ef4: ISZERO
00001ef5: PUSH2 0x1f11
00001ef8: JUMPI
00001ef9: PUSH1 0x40
00001efb: MLOAD
00001efc: PUSH4 0x61ece0e3
00001f01: PUSH1 0xe1
00001f03: SHL
00001f04: DUP2
00001f05: MSTORE
00001f06: PUSH1 0x04
00001f08: ADD
00001f09: PUSH1 0x40
00001f0b: MLOAD
00001f0c: DUP1
00001f0d: SWAP2
00001f0e: SUB
00001f0f: SWAP1
00001f10: REVERT
00001f11: JUMPDEST
00001f12: DUP2
00001f13: PUSH1 0x0d
00001f15: PUSH1 0x00
00001f17: DUP3
00001f18: DUP3
00001f19: SLOAD
00001f1a: PUSH2 0x1f23
00001f1d: SWAP2
00001f1e: SWAP1
00001f1f: PUSH2 0x37cb
00001f22: JUMP
00001f23: JUMPDEST
00001f24: SWAP1
00001f25: SWAP2
00001f26: SSTORE
00001f27: POP
00001f28: PUSH2 0x14cd
00001f2b: SWAP1
00001f2c: POP
00001f2d: DUP4
00001f2e: DUP4
00001f2f: PUSH2 0x2766
00001f32: JUMP
00001f33: JUMPDEST
00001f34: PUSH1 0x23
00001f36: DUP1
00001f37: SLOAD
00001f38: PUSH2 0x1f40
00001f3b: SWAP1
00001f3c: PUSH2 0x3791
00001f3f: JUMP
00001f40: JUMPDEST
00001f41: DUP1
00001f42: PUSH1 0x1f
00001f44: ADD
00001f45: PUSH1 0x20
00001f47: DUP1
00001f48: SWAP2
00001f49: DIV
00001f4a: MUL
00001f4b: PUSH1 0x20
00001f4d: ADD
00001f4e: PUSH1 0x40
00001f50: MLOAD
00001f51: SWAP1
00001f52: DUP2
00001f53: ADD
00001f54: PUSH1 0x40
00001f56: MSTORE
00001f57: DUP1
00001f58: SWAP3
00001f59: SWAP2
00001f5a: SWAP1
00001f5b: DUP2
00001f5c: DUP2
00001f5d: MSTORE
00001f5e: PUSH1 0x20
00001f60: ADD
00001f61: DUP3
00001f62: DUP1
00001f63: SLOAD
00001f64: PUSH2 0x1f6c
00001f67: SWAP1
00001f68: PUSH2 0x3791
00001f6b: JUMP
00001f6c: JUMPDEST
00001f6d: DUP1
00001f6e: ISZERO
00001f6f: PUSH2 0x1fb9
00001f72: JUMPI
00001f73: DUP1
00001f74: PUSH1 0x1f
00001f76: LT
00001f77: PUSH2 0x1f8e
00001f7a: JUMPI
00001f7b: PUSH2 0x0100
00001f7e: DUP1
00001f7f: DUP4
00001f80: SLOAD
00001f81: DIV
00001f82: MUL
00001f83: DUP4
00001f84: MSTORE
00001f85: SWAP2
00001f86: PUSH1 0x20
00001f88: ADD
00001f89: SWAP2
00001f8a: PUSH2 0x1fb9
00001f8d: JUMP
00001f8e: JUMPDEST
00001f8f: DUP3
00001f90: ADD
00001f91: SWAP2
00001f92: SWAP1
00001f93: PUSH1 0x00
00001f95: MSTORE
00001f96: PUSH1 0x20
00001f98: PUSH1 0x00
00001f9a: KECCAK256
00001f9b: SWAP1
00001f9c: JUMPDEST
00001f9d: DUP2
00001f9e: SLOAD
00001f9f: DUP2
00001fa0: MSTORE
00001fa1: SWAP1
00001fa2: PUSH1 0x01
00001fa4: ADD
00001fa5: SWAP1
00001fa6: PUSH1 0x20
00001fa8: ADD
00001fa9: DUP1
00001faa: DUP4
00001fab: GT
00001fac: PUSH2 0x1f9c
00001faf: JUMPI
00001fb0: DUP3
00001fb1: SWAP1
00001fb2: SUB
00001fb3: PUSH1 0x1f
00001fb5: AND
00001fb6: DUP3
00001fb7: ADD
00001fb8: SWAP2
00001fb9: JUMPDEST
00001fba: POP
00001fbb: POP
00001fbc: POP
00001fbd: POP
00001fbe: POP
00001fbf: DUP2
00001fc0: JUMP
00001fc1: JUMPDEST
00001fc2: PUSH1 0x60
00001fc4: PUSH1 0x03
00001fc6: DUP1
00001fc7: SLOAD
00001fc8: PUSH2 0x0f7b
00001fcb: SWAP1
00001fcc: PUSH2 0x3791
00001fcf: JUMP
00001fd0: JUMPDEST
00001fd1: PUSH1 0x24
00001fd3: DUP1
00001fd4: SLOAD
00001fd5: PUSH2 0x1f40
00001fd8: SWAP1
00001fd9: PUSH2 0x3791
00001fdc: JUMP
00001fdd: JUMPDEST
00001fde: PUSH1 0x1f
00001fe0: SLOAD
00001fe1: ISZERO
00001fe2: DUP1
00001fe3: PUSH2 0x1fed
00001fe6: JUMPI
00001fe7: POP
00001fe8: TIMESTAMP
00001fe9: PUSH1 0x1f
00001feb: SLOAD
00001fec: LT
00001fed: JUMPDEST
00001fee: ISZERO
00001fef: PUSH2 0x200b
00001ff2: JUMPI
00001ff3: PUSH1 0x40
00001ff5: MLOAD
00001ff6: PUSH4 0x0fbf2263
00001ffb: PUSH1 0xe0
00001ffd: SHL
00001ffe: DUP2
00001fff: MSTORE
00002000: PUSH1 0x04
00002002: ADD
00002003: PUSH1 0x40
00002005: MLOAD
00002006: DUP1
00002007: SWAP2
00002008: SUB
00002009: SWAP1
0000200a: REVERT
0000200b: JUMPDEST
0000200c: PUSH1 0x01
0000200e: PUSH1 0x01
00002010: PUSH1 0xa0
00002012: SHL
00002013: SUB
00002014: DUP5
00002015: AND
00002016: PUSH1 0x00
00002018: SWAP1
00002019: DUP2
0000201a: MSTORE
0000201b: PUSH1 0x16
0000201d: PUSH1 0x20
0000201f: MSTORE
00002020: PUSH1 0x40
00002022: SWAP1
00002023: KECCAK256
00002024: SLOAD
00002025: PUSH1 0xff
00002027: AND
00002028: ISZERO
00002029: PUSH2 0x2045
0000202c: JUMPI
0000202d: PUSH1 0x40
0000202f: MLOAD
00002030: PUSH4 0xc67a3cb3
00002035: PUSH1 0xe0
00002037: SHL
00002038: DUP2
00002039: MSTORE
0000203a: PUSH1 0x04
0000203c: ADD
0000203d: PUSH1 0x40
0000203f: MLOAD
00002040: DUP1
00002041: SWAP2
00002042: SUB
00002043: SWAP1
00002044: REVERT
00002045: JUMPDEST
00002046: PUSH1 0x0c
00002048: SLOAD
00002049: DUP4
0000204a: PUSH1 0x1a
0000204c: SLOAD
0000204d: PUSH2 0x2056
00002050: SWAP2
00002051: SWAP1
00002052: PUSH2 0x37cb
00002055: JUMP
00002056: JUMPDEST
00002057: GT
00002058: ISZERO
00002059: PUSH2 0x2075
0000205c: JUMPI
0000205d: PUSH1 0x40
0000205f: MLOAD
00002060: PUSH4 0x61ece0e3
00002065: PUSH1 0xe1
00002067: SHL
00002068: DUP2
00002069: MSTORE
0000206a: PUSH1 0x04
0000206c: ADD
0000206d: PUSH1 0x40
0000206f: MLOAD
00002070: DUP1
00002071: SWAP2
00002072: SUB
00002073: SWAP1
00002074: REVERT
00002075: JUMPDEST
00002076: PUSH1 0x01
00002078: PUSH1 0x01
0000207a: PUSH1 0xa0
0000207c: SHL
0000207d: SUB
0000207e: DUP5
0000207f: AND
00002080: PUSH1 0x00
00002082: SWAP1
00002083: DUP2
00002084: MSTORE
00002085: PUSH1 0x17
00002087: PUSH1 0x20
00002089: MSTORE
0000208a: PUSH1 0x40
0000208c: DUP2
0000208d: KECCAK256
0000208e: SLOAD
0000208f: PUSH1 0xff
00002091: AND
00002092: PUSH2 0x20a5
00002095: JUMPI
00002096: PUSH1 0x1c
00002098: SLOAD
00002099: PUSH2 0x20a2
0000209c: SWAP1
0000209d: DUP6
0000209e: PUSH2 0x37e3
000020a1: JUMP
000020a2: JUMPDEST
000020a3: SWAP1
000020a4: POP
000020a5: JUMPDEST
000020a6: CALLVALUE
000020a7: DUP2
000020a8: GT
000020a9: ISZERO
000020aa: PUSH2 0x20c6
000020ad: JUMPI
000020ae: PUSH1 0x40
000020b0: MLOAD
000020b1: PUSH4 0x4f8d8b57
000020b6: PUSH1 0xe1
000020b8: SHL
000020b9: DUP2
000020ba: MSTORE
000020bb: PUSH1 0x04
000020bd: ADD
000020be: PUSH1 0x40
000020c0: MLOAD
000020c1: DUP1
000020c2: SWAP2
000020c3: SUB
000020c4: SWAP1
000020c5: REVERT
000020c6: JUMPDEST
000020c7: CALLVALUE
000020c8: DUP2
000020c9: LT
000020ca: ISZERO
000020cb: PUSH2 0x2106
000020ce: JUMPI
000020cf: CALLER
000020d0: PUSH2 0x08fc
000020d3: PUSH2 0x20dc
000020d6: DUP4
000020d7: CALLVALUE
000020d8: PUSH2 0x3802
000020db: JUMP
000020dc: JUMPDEST
000020dd: PUSH1 0x40
000020df: MLOAD
000020e0: DUP2
000020e1: ISZERO
000020e2: SWAP1
000020e3: SWAP3
000020e4: MUL
000020e5: SWAP2
000020e6: PUSH1 0x00
000020e8: DUP2
000020e9: DUP2
000020ea: DUP2
000020eb: DUP6
000020ec: DUP9
000020ed: DUP9
000020ee: CALL
000020ef: SWAP4
000020f0: POP
000020f1: POP
000020f2: POP
000020f3: POP
000020f4: ISZERO
000020f5: DUP1
000020f6: ISZERO
000020f7: PUSH2 0x2104
000020fa: JUMPI
000020fb: RETURNDATASIZE
000020fc: PUSH1 0x00
000020fe: DUP1
000020ff: RETURNDATACOPY
00002100: RETURNDATASIZE
00002101: PUSH1 0x00
00002103: REVERT
00002104: JUMPDEST
00002105: POP
00002106: JUMPDEST
00002107: PUSH1 0x40
00002109: DUP1
0000210a: MLOAD
0000210b: PUSH1 0x01
0000210d: PUSH1 0x01
0000210f: PUSH1 0xa0
00002111: SHL
00002112: SUB
00002113: DUP8
00002114: AND
00002115: PUSH1 0x20
00002117: DUP3
00002118: ADD
00002119: MSTORE
0000211a: SWAP1
0000211b: DUP2
0000211c: ADD
0000211d: DUP6
0000211e: SWAP1
0000211f: MSTORE
00002120: PUSH1 0x00
00002122: SWAP1
00002123: PUSH1 0x60
00002125: ADD
00002126: PUSH1 0x40
00002128: MLOAD
00002129: PUSH1 0x20
0000212b: DUP2
0000212c: DUP4
0000212d: SUB
0000212e: SUB
0000212f: DUP2
00002130: MSTORE
00002131: SWAP1
00002132: PUSH1 0x40
00002134: MSTORE
00002135: DUP1
00002136: MLOAD
00002137: SWAP1
00002138: PUSH1 0x20
0000213a: ADD
0000213b: KECCAK256
0000213c: SWAP1
0000213d: POP
0000213e: PUSH2 0x217e
00002141: DUP5
00002142: DUP5
00002143: DUP1
00002144: DUP1
00002145: PUSH1 0x20
00002147: MUL
00002148: PUSH1 0x20
0000214a: ADD
0000214b: PUSH1 0x40
0000214d: MLOAD
0000214e: SWAP1
0000214f: DUP2
00002150: ADD
00002151: PUSH1 0x40
00002153: MSTORE
00002154: DUP1
00002155: SWAP4
00002156: SWAP3
00002157: SWAP2
00002158: SWAP1
00002159: DUP2
0000215a: DUP2
0000215b: MSTORE
0000215c: PUSH1 0x20
0000215e: ADD
0000215f: DUP4
00002160: DUP4
00002161: PUSH1 0x20
00002163: MUL
00002164: DUP1
00002165: DUP3
00002166: DUP5
00002167: CALLDATACOPY
00002168: PUSH1 0x00
0000216a: SWAP3
0000216b: ADD
0000216c: SWAP2
0000216d: SWAP1
0000216e: SWAP2
0000216f: MSTORE
00002170: POP
00002171: POP
00002172: PUSH1 0x1b
00002174: SLOAD
00002175: SWAP2
00002176: POP
00002177: DUP5
00002178: SWAP1
00002179: POP
0000217a: PUSH2 0x2b59
0000217d: JUMP
0000217e: JUMPDEST
0000217f: PUSH2 0x21b4
00002182: JUMPI
00002183: PUSH1 0x40
00002185: MLOAD
00002186: PUSH32 0x5f88cefb00000000000000000000000000000000000000000000000000000000
000021a7: DUP2
000021a8: MSTORE
000021a9: PUSH1 0x04
000021ab: ADD
000021ac: PUSH1 0x40
000021ae: MLOAD
000021af: DUP1
000021b0: SWAP2
000021b1: SUB
000021b2: SWAP1
000021b3: REVERT
000021b4: JUMPDEST
000021b5: PUSH1 0x01
000021b7: PUSH1 0x01
000021b9: PUSH1 0xa0
000021bb: SHL
000021bc: SUB
000021bd: DUP7
000021be: AND
000021bf: PUSH1 0x00
000021c1: SWAP1
000021c2: DUP2
000021c3: MSTORE
000021c4: PUSH1 0x16
000021c6: PUSH1 0x20
000021c8: MSTORE
000021c9: PUSH1 0x40
000021cb: DUP2
000021cc: KECCAK256
000021cd: DUP1
000021ce: SLOAD
000021cf: PUSH1 0xff
000021d1: NOT
000021d2: AND
000021d3: PUSH1 0x01
000021d5: OR
000021d6: SWAP1
000021d7: SSTORE
000021d8: PUSH1 0x1a
000021da: DUP1
000021db: SLOAD
000021dc: DUP8
000021dd: SWAP3
000021de: SWAP1
000021df: PUSH2 0x21e9
000021e2: SWAP1
000021e3: DUP5
000021e4: SWAP1
000021e5: PUSH2 0x37cb
000021e8: JUMP
000021e9: JUMPDEST
000021ea: SWAP1
000021eb: SWAP2
000021ec: SSTORE
000021ed: POP
000021ee: PUSH2 0x21f9
000021f1: SWAP1
000021f2: POP
000021f3: DUP7
000021f4: DUP7
000021f5: PUSH2 0x2766
000021f8: JUMP
000021f9: JUMPDEST
000021fa: POP
000021fb: POP
000021fc: POP
000021fd: POP
000021fe: POP
000021ff: POP
00002200: JUMP
00002201: JUMPDEST
00002202: CALLER
00002203: PUSH1 0x01
00002205: PUSH1 0x01
00002207: PUSH1 0xa0
00002209: SHL
0000220a: SUB
0000220b: DUP4
0000220c: AND
0000220d: SUB
0000220e: PUSH2 0x2243
00002211: JUMPI
00002212: PUSH1 0x40
00002214: MLOAD
00002215: PUSH32 0xb06307db00000000000000000000000000000000000000000000000000000000
00002236: DUP2
00002237: MSTORE
00002238: PUSH1 0x04
0000223a: ADD
0000223b: PUSH1 0x40
0000223d: MLOAD
0000223e: DUP1
0000223f: SWAP2
00002240: SUB
00002241: SWAP1
00002242: REVERT
00002243: JUMPDEST
00002244: CALLER
00002245: PUSH1 0x00
00002247: DUP2
00002248: DUP2
00002249: MSTORE
0000224a: PUSH1 0x07
0000224c: PUSH1 0x20
0000224e: SWAP1
0000224f: DUP2
00002250: MSTORE
00002251: PUSH1 0x40
00002253: DUP1
00002254: DUP4
00002255: KECCAK256
00002256: PUSH1 0x01
00002258: PUSH1 0x01
0000225a: PUSH1 0xa0
0000225c: SHL
0000225d: SUB
0000225e: DUP8
0000225f: AND
00002260: DUP1
00002261: DUP6
00002262: MSTORE
00002263: SWAP1
00002264: DUP4
00002265: MSTORE
00002266: SWAP3
00002267: DUP2
00002268: SWAP1
00002269: KECCAK256
0000226a: DUP1
0000226b: SLOAD
0000226c: PUSH1 0xff
0000226e: NOT
0000226f: AND
00002270: DUP7
00002271: ISZERO
00002272: ISZERO
00002273: SWAP1
00002274: DUP2
00002275: OR
00002276: SWAP1
00002277: SWAP2
00002278: SSTORE
00002279: SWAP1
0000227a: MLOAD
0000227b: SWAP1
0000227c: DUP2
0000227d: MSTORE
0000227e: SWAP2
0000227f: SWAP3
00002280: SWAP2
00002281: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
000022a2: SWAP2
000022a3: ADD
000022a4: PUSH1 0x40
000022a6: MLOAD
000022a7: DUP1
000022a8: SWAP2
000022a9: SUB
000022aa: SWAP1
000022ab: LOG3
000022ac: POP
000022ad: POP
000022ae: JUMP
000022af: JUMPDEST
000022b0: PUSH1 0x00
000022b2: PUSH1 0x1a
000022b4: SLOAD
000022b5: PUSH1 0x19
000022b7: SLOAD
000022b8: PUSH1 0x18
000022ba: SLOAD
000022bb: PUSH2 0x14b3
000022be: SWAP2
000022bf: SWAP1
000022c0: PUSH2 0x37cb
000022c3: JUMP
000022c4: JUMPDEST
000022c5: PUSH1 0x00
000022c7: DUP1
000022c8: PUSH1 0x10
000022ca: SLOAD
000022cb: PUSH1 0x09
000022cd: SLOAD
000022ce: PUSH1 0x22
000022d0: SLOAD
000022d1: NUMBER
000022d2: PUSH2 0x22db
000022d5: SWAP2
000022d6: SWAP1
000022d7: PUSH2 0x3802
000022da: JUMP
000022db: JUMPDEST
000022dc: PUSH2 0x22e5
000022df: SWAP2
000022e0: SWAP1
000022e1: PUSH2 0x387b
000022e4: JUMP
000022e5: JUMPDEST
000022e6: PUSH2 0x22ef
000022e9: SWAP2
000022ea: SWAP1
000022eb: PUSH2 0x37e3
000022ee: JUMP
000022ef: JUMPDEST
000022f0: SWAP1
000022f1: POP
000022f2: DUP1
000022f3: PUSH1 0x20
000022f5: SLOAD
000022f6: GT
000022f7: ISZERO
000022f8: PUSH2 0x230c
000022fb: JUMPI
000022fc: DUP1
000022fd: PUSH1 0x20
000022ff: SLOAD
00002300: PUSH2 0x2309
00002303: SWAP2
00002304: SWAP1
00002305: PUSH2 0x3802
00002308: JUMP
00002309: JUMPDEST
0000230a: SWAP2
0000230b: POP
0000230c: JUMPDEST
0000230d: PUSH1 0x21
0000230f: SLOAD
00002310: DUP3
00002311: LT
00002312: ISZERO
00002313: PUSH2 0x231c
00002316: JUMPI
00002317: PUSH1 0x21
00002319: SLOAD
0000231a: SWAP2
0000231b: POP
0000231c: JUMPDEST
0000231d: POP
0000231e: SWAP1
0000231f: JUMP
00002320: JUMPDEST
00002321: PUSH1 0x08
00002323: SLOAD
00002324: PUSH1 0x01
00002326: PUSH1 0x01
00002328: PUSH1 0xa0
0000232a: SHL
0000232b: SUB
0000232c: AND
0000232d: CALLER
0000232e: EQ
0000232f: PUSH2 0x2368
00002332: JUMPI
00002333: PUSH1 0x40
00002335: MLOAD
00002336: PUSH3 0x461bcd
0000233a: PUSH1 0xe5
0000233c: SHL
0000233d: DUP2
0000233e: MSTORE
0000233f: PUSH1 0x20
00002341: PUSH1 0x04
00002343: DUP3
00002344: ADD
00002345: DUP2
00002346: SWAP1
00002347: MSTORE
00002348: PUSH1 0x24
0000234a: DUP3
0000234b: ADD
0000234c: MSTORE
0000234d: PUSH1 0x00
0000234f: DUP1
00002350: MLOAD
00002351: PUSH1 0x20
00002353: PUSH2 0x392c
00002356: DUP4
00002357: CODECOPY
00002358: DUP2
00002359: MLOAD
0000235a: SWAP2
0000235b: MSTORE
0000235c: PUSH1 0x44
0000235e: DUP3
0000235f: ADD
00002360: MSTORE
00002361: PUSH1 0x64
00002363: ADD
00002364: PUSH2 0x0ea9
00002367: JUMP
00002368: JUMPDEST
00002369: PUSH1 0x0e
0000236b: SSTORE
0000236c: JUMP
0000236d: JUMPDEST
0000236e: PUSH1 0x08
00002370: SLOAD
00002371: PUSH1 0x01
00002373: PUSH1 0x01
00002375: PUSH1 0xa0
00002377: SHL
00002378: SUB
00002379: AND
0000237a: CALLER
0000237b: EQ
0000237c: PUSH2 0x23b5
0000237f: JUMPI
00002380: PUSH1 0x40
00002382: MLOAD
00002383: PUSH3 0x461bcd
00002387: PUSH1 0xe5
00002389: SHL
0000238a: DUP2
0000238b: MSTORE
0000238c: PUSH1 0x20
0000238e: PUSH1 0x04
00002390: DUP3
00002391: ADD
00002392: DUP2
00002393: SWAP1
00002394: MSTORE
00002395: PUSH1 0x24
00002397: DUP3
00002398: ADD
00002399: MSTORE
0000239a: PUSH1 0x00
0000239c: DUP1
0000239d: MLOAD
0000239e: PUSH1 0x20
000023a0: PUSH2 0x392c
000023a3: DUP4
000023a4: CODECOPY
000023a5: DUP2
000023a6: MLOAD
000023a7: SWAP2
000023a8: MSTORE
000023a9: PUSH1 0x44
000023ab: DUP3
000023ac: ADD
000023ad: MSTORE
000023ae: PUSH1 0x64
000023b0: ADD
000023b1: PUSH2 0x0ea9
000023b4: JUMP
000023b5: JUMPDEST
000023b6: PUSH1 0x0c
000023b8: SSTORE
000023b9: JUMP
000023ba: JUMPDEST
000023bb: PUSH2 0x23c5
000023be: DUP5
000023bf: DUP5
000023c0: DUP5
000023c1: PUSH2 0x2780
000023c4: JUMP
000023c5: JUMPDEST
000023c6: PUSH1 0x01
000023c8: PUSH1 0x01
000023ca: PUSH1 0xa0
000023cc: SHL
000023cd: SUB
000023ce: DUP4
000023cf: AND
000023d0: EXTCODESIZE
000023d1: ISZERO
000023d2: PUSH2 0x125a
000023d5: JUMPI
000023d6: PUSH2 0x23e1
000023d9: DUP5
000023da: DUP5
000023db: DUP5
000023dc: DUP5
000023dd: PUSH2 0x2b6f
000023e0: JUMP
000023e1: JUMPDEST
000023e2: PUSH2 0x125a
000023e5: JUMPI
000023e6: PUSH1 0x40
000023e8: MLOAD
000023e9: PUSH4 0x68d2bf6b
000023ee: PUSH1 0xe1
000023f0: SHL
000023f1: DUP2
000023f2: MSTORE
000023f3: PUSH1 0x04
000023f5: ADD
000023f6: PUSH1 0x40
000023f8: MLOAD
000023f9: DUP1
000023fa: SWAP2
000023fb: SUB
000023fc: SWAP1
000023fd: REVERT
000023fe: JUMPDEST
000023ff: PUSH1 0x08
00002401: SLOAD
00002402: PUSH1 0x01
00002404: PUSH1 0x01
00002406: PUSH1 0xa0
00002408: SHL
00002409: SUB
0000240a: AND
0000240b: CALLER
0000240c: EQ
0000240d: PUSH2 0x2446
00002410: JUMPI
00002411: PUSH1 0x40
00002413: MLOAD
00002414: PUSH3 0x461bcd
00002418: PUSH1 0xe5
0000241a: SHL
0000241b: DUP2
0000241c: MSTORE
0000241d: PUSH1 0x20
0000241f: PUSH1 0x04
00002421: DUP3
00002422: ADD
00002423: DUP2
00002424: SWAP1
00002425: MSTORE
00002426: PUSH1 0x24
00002428: DUP3
00002429: ADD
0000242a: MSTORE
0000242b: PUSH1 0x00
0000242d: DUP1
0000242e: MLOAD
0000242f: PUSH1 0x20
00002431: PUSH2 0x392c
00002434: DUP4
00002435: CODECOPY
00002436: DUP2
00002437: MLOAD
00002438: SWAP2
00002439: MSTORE
0000243a: PUSH1 0x44
0000243c: DUP3
0000243d: ADD
0000243e: MSTORE
0000243f: PUSH1 0x64
00002441: ADD
00002442: PUSH2 0x0ea9
00002445: JUMP
00002446: JUMPDEST
00002447: PUSH1 0x10
00002449: SSTORE
0000244a: JUMP
0000244b: JUMPDEST
0000244c: PUSH1 0x60
0000244e: PUSH2 0x2456
00002451: DUP3
00002452: PUSH2 0x272d
00002455: JUMP
00002456: JUMPDEST
00002457: PUSH2 0x248c
0000245a: JUMPI
0000245b: PUSH1 0x40
0000245d: MLOAD
0000245e: PUSH32 0xa14c4b5000000000000000000000000000000000000000000000000000000000
0000247f: DUP2
00002480: MSTORE
00002481: PUSH1 0x04
00002483: ADD
00002484: PUSH1 0x40
00002486: MLOAD
00002487: DUP1
00002488: SWAP2
00002489: SUB
0000248a: SWAP1
0000248b: REVERT
0000248c: JUMPDEST
0000248d: PUSH1 0x00
0000248f: PUSH2 0x2497
00002492: DUP4
00002493: PUSH2 0x2c5a
00002496: JUMP
00002497: JUMPDEST
00002498: SWAP1
00002499: POP
0000249a: PUSH1 0x00
0000249c: DUP2
0000249d: MLOAD
0000249e: GT
0000249f: PUSH2 0x2532
000024a2: JUMPI
000024a3: PUSH1 0x23
000024a5: DUP1
000024a6: SLOAD
000024a7: PUSH2 0x24af
000024aa: SWAP1
000024ab: PUSH2 0x3791
000024ae: JUMP
000024af: JUMPDEST
000024b0: DUP1
000024b1: PUSH1 0x1f
000024b3: ADD
000024b4: PUSH1 0x20
000024b6: DUP1
000024b7: SWAP2
000024b8: DIV
000024b9: MUL
000024ba: PUSH1 0x20
000024bc: ADD
000024bd: PUSH1 0x40
000024bf: MLOAD
000024c0: SWAP1
000024c1: DUP2
000024c2: ADD
000024c3: PUSH1 0x40
000024c5: MSTORE
000024c6: DUP1
000024c7: SWAP3
000024c8: SWAP2
000024c9: SWAP1
000024ca: DUP2
000024cb: DUP2
000024cc: MSTORE
000024cd: PUSH1 0x20
000024cf: ADD
000024d0: DUP3
000024d1: DUP1
000024d2: SLOAD
000024d3: PUSH2 0x24db
000024d6: SWAP1
000024d7: PUSH2 0x3791
000024da: JUMP
000024db: JUMPDEST
000024dc: DUP1
000024dd: ISZERO
000024de: PUSH2 0x2528
000024e1: JUMPI
000024e2: DUP1
000024e3: PUSH1 0x1f
000024e5: LT
000024e6: PUSH2 0x24fd
000024e9: JUMPI
000024ea: PUSH2 0x0100
000024ed: DUP1
000024ee: DUP4
000024ef: SLOAD
000024f0: DIV
000024f1: MUL
000024f2: DUP4
000024f3: MSTORE
000024f4: SWAP2
000024f5: PUSH1 0x20
000024f7: ADD
000024f8: SWAP2
000024f9: PUSH2 0x2528
000024fc: JUMP
000024fd: JUMPDEST
000024fe: DUP3
000024ff: ADD
00002500: SWAP2
00002501: SWAP1
00002502: PUSH1 0x00
00002504: MSTORE
00002505: PUSH1 0x20
00002507: PUSH1 0x00
00002509: KECCAK256
0000250a: SWAP1
0000250b: JUMPDEST
0000250c: DUP2
0000250d: SLOAD
0000250e: DUP2
0000250f: MSTORE
00002510: SWAP1
00002511: PUSH1 0x01
00002513: ADD
00002514: SWAP1
00002515: PUSH1 0x20
00002517: ADD
00002518: DUP1
00002519: DUP4
0000251a: GT
0000251b: PUSH2 0x250b
0000251e: JUMPI
0000251f: DUP3
00002520: SWAP1
00002521: SUB
00002522: PUSH1 0x1f
00002524: AND
00002525: DUP3
00002526: ADD
00002527: SWAP2
00002528: JUMPDEST
00002529: POP
0000252a: POP
0000252b: POP
0000252c: POP
0000252d: POP
0000252e: PUSH2 0x255d
00002531: JUMP
00002532: JUMPDEST
00002533: DUP1
00002534: PUSH2 0x253c
00002537: DUP5
00002538: PUSH2 0x2dca
0000253b: JUMP
0000253c: JUMPDEST
0000253d: PUSH1 0x40
0000253f: MLOAD
00002540: PUSH1 0x20
00002542: ADD
00002543: PUSH2 0x254d
00002546: SWAP3
00002547: SWAP2
00002548: SWAP1
00002549: PUSH2 0x388f
0000254c: JUMP
0000254d: JUMPDEST
0000254e: PUSH1 0x40
00002550: MLOAD
00002551: PUSH1 0x20
00002553: DUP2
00002554: DUP4
00002555: SUB
00002556: SUB
00002557: DUP2
00002558: MSTORE
00002559: SWAP1
0000255a: PUSH1 0x40
0000255c: MSTORE
0000255d: JUMPDEST
0000255e: SWAP4
0000255f: SWAP3
00002560: POP
00002561: POP
00002562: POP
00002563: JUMP
00002564: JUMPDEST
00002565: PUSH1 0x25
00002567: DUP1
00002568: SLOAD
00002569: PUSH2 0x1f40
0000256c: SWAP1
0000256d: PUSH2 0x3791
00002570: JUMP
00002571: JUMPDEST
00002572: PUSH1 0x26
00002574: DUP1
00002575: SLOAD
00002576: PUSH2 0x1f40
00002579: SWAP1
0000257a: PUSH2 0x3791
0000257d: JUMP
0000257e: JUMPDEST
0000257f: PUSH1 0x08
00002581: SLOAD
00002582: PUSH1 0x01
00002584: PUSH1 0x01
00002586: PUSH1 0xa0
00002588: SHL
00002589: SUB
0000258a: AND
0000258b: CALLER
0000258c: EQ
0000258d: PUSH2 0x25c6
00002590: JUMPI
00002591: PUSH1 0x40
00002593: MLOAD
00002594: PUSH3 0x461bcd
00002598: PUSH1 0xe5
0000259a: SHL
0000259b: DUP2
0000259c: MSTORE
0000259d: PUSH1 0x20
0000259f: PUSH1 0x04
000025a1: DUP3
000025a2: ADD
000025a3: DUP2
000025a4: SWAP1
000025a5: MSTORE
000025a6: PUSH1 0x24
000025a8: DUP3
000025a9: ADD
000025aa: MSTORE
000025ab: PUSH1 0x00
000025ad: DUP1
000025ae: MLOAD
000025af: PUSH1 0x20
000025b1: PUSH2 0x392c
000025b4: DUP4
000025b5: CODECOPY
000025b6: DUP2
000025b7: MLOAD
000025b8: SWAP2
000025b9: MSTORE
000025ba: PUSH1 0x44
000025bc: DUP3
000025bd: ADD
000025be: MSTORE
000025bf: PUSH1 0x64
000025c1: ADD
000025c2: PUSH2 0x0ea9
000025c5: JUMP
000025c6: JUMPDEST
000025c7: PUSH1 0x01
000025c9: PUSH1 0x01
000025cb: PUSH1 0xa0
000025cd: SHL
000025ce: SUB
000025cf: DUP2
000025d0: AND
000025d1: PUSH2 0x2642
000025d4: JUMPI
000025d5: PUSH1 0x40
000025d7: MLOAD
000025d8: PUSH3 0x461bcd
000025dc: PUSH1 0xe5
000025de: SHL
000025df: DUP2
000025e0: MSTORE
000025e1: PUSH1 0x20
000025e3: PUSH1 0x04
000025e5: DUP3
000025e6: ADD
000025e7: MSTORE
000025e8: PUSH1 0x26
000025ea: PUSH1 0x24
000025ec: DUP3
000025ed: ADD
000025ee: MSTORE
000025ef: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00002610: PUSH1 0x44
00002612: DUP3
00002613: ADD
00002614: MSTORE
00002615: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00002636: PUSH1 0x64
00002638: DUP3
00002639: ADD
0000263a: MSTORE
0000263b: PUSH1 0x84
0000263d: ADD
0000263e: PUSH2 0x0ea9
00002641: JUMP
00002642: JUMPDEST
00002643: PUSH2 0x264b
00002646: DUP2
00002647: PUSH2 0x2b07
0000264a: JUMP
0000264b: JUMPDEST
0000264c: POP
0000264d: JUMP
0000264e: JUMPDEST
0000264f: PUSH1 0x08
00002651: SLOAD
00002652: PUSH1 0x01
00002654: PUSH1 0x01
00002656: PUSH1 0xa0
00002658: SHL
00002659: SUB
0000265a: AND
0000265b: CALLER
0000265c: EQ
0000265d: PUSH2 0x2696
00002660: JUMPI
00002661: PUSH1 0x40
00002663: MLOAD
00002664: PUSH3 0x461bcd
00002668: PUSH1 0xe5
0000266a: SHL
0000266b: DUP2
0000266c: MSTORE
0000266d: PUSH1 0x20
0000266f: PUSH1 0x04
00002671: DUP3
00002672: ADD
00002673: DUP2
00002674: SWAP1
00002675: MSTORE
00002676: PUSH1 0x24
00002678: DUP3
00002679: ADD
0000267a: MSTORE
0000267b: PUSH1 0x00
0000267d: DUP1
0000267e: MLOAD
0000267f: PUSH1 0x20
00002681: PUSH2 0x392c
00002684: DUP4
00002685: CODECOPY
00002686: DUP2
00002687: MLOAD
00002688: SWAP2
00002689: MSTORE
0000268a: PUSH1 0x44
0000268c: DUP3
0000268d: ADD
0000268e: MSTORE
0000268f: PUSH1 0x64
00002691: ADD
00002692: PUSH2 0x0ea9
00002695: JUMP
00002696: JUMPDEST
00002697: PUSH1 0x40
00002699: MLOAD
0000269a: PUSH1 0x01
0000269c: PUSH1 0x01
0000269e: PUSH1 0xa0
000026a0: SHL
000026a1: SUB
000026a2: DUP4
000026a3: AND
000026a4: SWAP1
000026a5: DUP3
000026a6: ISZERO
000026a7: PUSH2 0x08fc
000026aa: MUL
000026ab: SWAP1
000026ac: DUP4
000026ad: SWAP1
000026ae: PUSH1 0x00
000026b0: DUP2
000026b1: DUP2
000026b2: DUP2
000026b3: DUP6
000026b4: DUP9
000026b5: DUP9
000026b6: CALL
000026b7: SWAP4
000026b8: POP
000026b9: POP
000026ba: POP
000026bb: POP
000026bc: ISZERO
000026bd: DUP1
000026be: ISZERO
000026bf: PUSH2 0x14cd
000026c2: JUMPI
000026c3: RETURNDATASIZE
000026c4: PUSH1 0x00
000026c6: DUP1
000026c7: RETURNDATACOPY
000026c8: RETURNDATASIZE
000026c9: PUSH1 0x00
000026cb: REVERT
000026cc: JUMPDEST
000026cd: PUSH1 0x60
000026cf: PUSH1 0x11
000026d1: DUP1
000026d2: SLOAD
000026d3: DUP1
000026d4: PUSH1 0x20
000026d6: MUL
000026d7: PUSH1 0x20
000026d9: ADD
000026da: PUSH1 0x40
000026dc: MLOAD
000026dd: SWAP1
000026de: DUP2
000026df: ADD
000026e0: PUSH1 0x40
000026e2: MSTORE
000026e3: DUP1
000026e4: SWAP3
000026e5: SWAP2
000026e6: SWAP1
000026e7: DUP2
000026e8: DUP2
000026e9: MSTORE
000026ea: PUSH1 0x20
000026ec: ADD
000026ed: DUP3
000026ee: DUP1
000026ef: SLOAD
000026f0: DUP1
000026f1: ISZERO
000026f2: PUSH2 0x0ff4
000026f5: JUMPI
000026f6: PUSH1 0x20
000026f8: MUL
000026f9: DUP3
000026fa: ADD
000026fb: SWAP2
000026fc: SWAP1
000026fd: PUSH1 0x00
000026ff: MSTORE
00002700: PUSH1 0x20
00002702: PUSH1 0x00
00002704: KECCAK256
00002705: SWAP1
00002706: JUMPDEST
00002707: DUP2
00002708: SLOAD
00002709: PUSH1 0x01
0000270b: PUSH1 0x01
0000270d: PUSH1 0xa0
0000270f: SHL
00002710: SUB
00002711: AND
00002712: DUP2
00002713: MSTORE
00002714: PUSH1 0x01
00002716: SWAP1
00002717: SWAP2
00002718: ADD
00002719: SWAP1
0000271a: PUSH1 0x20
0000271c: ADD
0000271d: DUP1
0000271e: DUP4
0000271f: GT
00002720: PUSH2 0x2706
00002723: JUMPI
00002724: POP
00002725: POP
00002726: POP
00002727: POP
00002728: POP
00002729: SWAP1
0000272a: POP
0000272b: SWAP1
0000272c: JUMP
0000272d: JUMPDEST
0000272e: PUSH1 0x00
00002730: DUP2
00002731: PUSH1 0x01
00002733: GT
00002734: ISZERO
00002735: DUP1
00002736: ISZERO
00002737: PUSH2 0x2741
0000273a: JUMPI
0000273b: POP
0000273c: PUSH1 0x00
0000273e: SLOAD
0000273f: DUP3
00002740: LT
00002741: JUMPDEST
00002742: DUP1
00002743: ISZERO
00002744: PUSH2 0x0e5f
00002747: JUMPI
00002748: POP
00002749: POP
0000274a: PUSH1 0x00
0000274c: SWAP1
0000274d: DUP2
0000274e: MSTORE
0000274f: PUSH1 0x04
00002751: PUSH1 0x20
00002753: MSTORE
00002754: PUSH1 0x40
00002756: SWAP1
00002757: KECCAK256
00002758: SLOAD
00002759: PUSH1 0x01
0000275b: PUSH1 0xe0
0000275d: SHL
0000275e: SWAP1
0000275f: DIV
00002760: PUSH1 0xff
00002762: AND
00002763: ISZERO
00002764: SWAP1
00002765: JUMP
00002766: JUMPDEST
00002767: PUSH2 0x0f68
0000276a: DUP3
0000276b: DUP3
0000276c: PUSH1 0x40
0000276e: MLOAD
0000276f: DUP1
00002770: PUSH1 0x20
00002772: ADD
00002773: PUSH1 0x40
00002775: MSTORE
00002776: DUP1
00002777: PUSH1 0x00
00002779: DUP2
0000277a: MSTORE
0000277b: POP
0000277c: PUSH2 0x2eff
0000277f: JUMP
00002780: JUMPDEST
00002781: PUSH1 0x00
00002783: PUSH2 0x278b
00002786: DUP3
00002787: PUSH2 0x29ca
0000278a: JUMP
0000278b: JUMPDEST
0000278c: SWAP1
0000278d: POP
0000278e: DUP4
0000278f: PUSH1 0x01
00002791: PUSH1 0x01
00002793: PUSH1 0xa0
00002795: SHL
00002796: SUB
00002797: AND
00002798: DUP2
00002799: PUSH1 0x00
0000279b: ADD
0000279c: MLOAD
0000279d: PUSH1 0x01
0000279f: PUSH1 0x01
000027a1: PUSH1 0xa0
000027a3: SHL
000027a4: SUB
000027a5: AND
000027a6: EQ
000027a7: PUSH2 0x27dc
000027aa: JUMPI
000027ab: PUSH1 0x40
000027ad: MLOAD
000027ae: PUSH32 0xa114810000000000000000000000000000000000000000000000000000000000
000027cf: DUP2
000027d0: MSTORE
000027d1: PUSH1 0x04
000027d3: ADD
000027d4: PUSH1 0x40
000027d6: MLOAD
000027d7: DUP1
000027d8: SWAP2
000027d9: SUB
000027da: SWAP1
000027db: REVERT
000027dc: JUMPDEST
000027dd: PUSH1 0x00
000027df: CALLER
000027e0: PUSH1 0x01
000027e2: PUSH1 0x01
000027e4: PUSH1 0xa0
000027e6: SHL
000027e7: SUB
000027e8: DUP7
000027e9: AND
000027ea: EQ
000027eb: DUP1
000027ec: PUSH2 0x27fa
000027ef: JUMPI
000027f0: POP
000027f1: PUSH2 0x27fa
000027f4: DUP6
000027f5: CALLER
000027f6: PUSH2 0x0cf5
000027f9: JUMP
000027fa: JUMPDEST
000027fb: DUP1
000027fc: PUSH2 0x2815
000027ff: JUMPI
00002800: POP
00002801: CALLER
00002802: PUSH2 0x280a
00002805: DUP5
00002806: PUSH2 0x0ffe
00002809: JUMP
0000280a: JUMPDEST
0000280b: PUSH1 0x01
0000280d: PUSH1 0x01
0000280f: PUSH1 0xa0
00002811: SHL
00002812: SUB
00002813: AND
00002814: EQ
00002815: JUMPDEST
00002816: SWAP1
00002817: POP
00002818: DUP1
00002819: PUSH2 0x284e
0000281c: JUMPI
0000281d: PUSH1 0x40
0000281f: MLOAD
00002820: PUSH32 0x59c896be00000000000000000000000000000000000000000000000000000000
00002841: DUP2
00002842: MSTORE
00002843: PUSH1 0x04
00002845: ADD
00002846: PUSH1 0x40
00002848: MLOAD
00002849: DUP1
0000284a: SWAP2
0000284b: SUB
0000284c: SWAP1
0000284d: REVERT
0000284e: JUMPDEST
0000284f: PUSH1 0x01
00002851: PUSH1 0x01
00002853: PUSH1 0xa0
00002855: SHL
00002856: SUB
00002857: DUP5
00002858: AND
00002859: PUSH2 0x288e
0000285c: JUMPI
0000285d: PUSH1 0x40
0000285f: MLOAD
00002860: PUSH32 0xea553b3400000000000000000000000000000000000000000000000000000000
00002881: DUP2
00002882: MSTORE
00002883: PUSH1 0x04
00002885: ADD
00002886: PUSH1 0x40
00002888: MLOAD
00002889: DUP1
0000288a: SWAP2
0000288b: SUB
0000288c: SWAP1
0000288d: REVERT
0000288e: JUMPDEST
0000288f: PUSH1 0x00
00002891: DUP4
00002892: DUP2
00002893: MSTORE
00002894: PUSH1 0x06
00002896: PUSH1 0x20
00002898: SWAP1
00002899: DUP2
0000289a: MSTORE
0000289b: PUSH1 0x40
0000289d: DUP1
0000289e: DUP4
0000289f: KECCAK256
000028a0: DUP1
000028a1: SLOAD
000028a2: PUSH1 0x01
000028a4: PUSH1 0x01
000028a6: PUSH1 0xa0
000028a8: SHL
000028a9: SUB
000028aa: NOT
000028ab: AND
000028ac: SWAP1
000028ad: SSTORE
000028ae: PUSH1 0x01
000028b0: PUSH1 0x01
000028b2: PUSH1 0xa0
000028b4: SHL
000028b5: SUB
000028b6: DUP9
000028b7: DUP2
000028b8: AND
000028b9: DUP5
000028ba: MSTORE
000028bb: PUSH1 0x05
000028bd: DUP4
000028be: MSTORE
000028bf: DUP2
000028c0: DUP5
000028c1: KECCAK256
000028c2: DUP1
000028c3: SLOAD
000028c4: PUSH8 0xffffffffffffffff
000028cd: NOT
000028ce: DUP1
000028cf: DUP3
000028d0: AND
000028d1: PUSH8 0xffffffffffffffff
000028da: SWAP3
000028db: DUP4
000028dc: AND
000028dd: PUSH1 0x00
000028df: NOT
000028e0: ADD
000028e1: DUP4
000028e2: AND
000028e3: OR
000028e4: SWAP1
000028e5: SWAP3
000028e6: SSTORE
000028e7: DUP10
000028e8: DUP4
000028e9: AND
000028ea: DUP1
000028eb: DUP8
000028ec: MSTORE
000028ed: DUP5
000028ee: DUP8
000028ef: KECCAK256
000028f0: DUP1
000028f1: SLOAD
000028f2: SWAP4
000028f3: DUP5
000028f4: AND
000028f5: SWAP4
000028f6: DUP4
000028f7: AND
000028f8: PUSH1 0x01
000028fa: SWAP1
000028fb: DUP2
000028fc: ADD
000028fd: DUP5
000028fe: AND
000028ff: SWAP5
00002900: SWAP1
00002901: SWAP5
00002902: OR
00002903: SWAP1
00002904: SSTORE
00002905: DUP10
00002906: DUP8
00002907: MSTORE
00002908: PUSH1 0x04
0000290a: SWAP1
0000290b: SWAP6
0000290c: MSTORE
0000290d: DUP4
0000290e: DUP7
0000290f: KECCAK256
00002910: DUP1
00002911: SLOAD
00002912: PUSH1 0x01
00002914: PUSH1 0x01
00002916: PUSH1 0xe0
00002918: SHL
00002919: SUB
0000291a: NOT
0000291b: AND
0000291c: SWAP1
0000291d: SWAP6
0000291e: OR
0000291f: PUSH1 0x01
00002921: PUSH1 0xa0
00002923: SHL
00002924: TIMESTAMP
00002925: SWAP1
00002926: SWAP3
00002927: AND
00002928: SWAP2
00002929: SWAP1
0000292a: SWAP2
0000292b: MUL
0000292c: OR
0000292d: DUP5
0000292e: SSTORE
0000292f: DUP8
00002930: ADD
00002931: DUP1
00002932: DUP6
00002933: MSTORE
00002934: SWAP2
00002935: SWAP1
00002936: SWAP4
00002937: KECCAK256
00002938: DUP1
00002939: SLOAD
0000293a: SWAP3
0000293b: SWAP4
0000293c: SWAP2
0000293d: SWAP3
0000293e: SWAP1
0000293f: SWAP2
00002940: AND
00002941: PUSH2 0x297f
00002944: JUMPI
00002945: PUSH1 0x00
00002947: SLOAD
00002948: DUP3
00002949: EQ
0000294a: PUSH2 0x297f
0000294d: JUMPI
0000294e: DUP1
0000294f: SLOAD
00002950: PUSH1 0x20
00002952: DUP7
00002953: ADD
00002954: MLOAD
00002955: PUSH8 0xffffffffffffffff
0000295e: AND
0000295f: PUSH1 0x01
00002961: PUSH1 0xa0
00002963: SHL
00002964: MUL
00002965: PUSH1 0x01
00002967: PUSH1 0x01
00002969: PUSH1 0xe0
0000296b: SHL
0000296c: SUB
0000296d: NOT
0000296e: SWAP1
0000296f: SWAP2
00002970: AND
00002971: PUSH1 0x01
00002973: PUSH1 0x01
00002975: PUSH1 0xa0
00002977: SHL
00002978: SUB
00002979: DUP11
0000297a: AND
0000297b: OR
0000297c: OR
0000297d: DUP2
0000297e: SSTORE
0000297f: JUMPDEST
00002980: POP
00002981: POP
00002982: POP
00002983: DUP3
00002984: DUP5
00002985: PUSH1 0x01
00002987: PUSH1 0x01
00002989: PUSH1 0xa0
0000298b: SHL
0000298c: SUB
0000298d: AND
0000298e: DUP7
0000298f: PUSH1 0x01
00002991: PUSH1 0x01
00002993: PUSH1 0xa0
00002995: SHL
00002996: SUB
00002997: AND
00002998: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000029b9: PUSH1 0x40
000029bb: MLOAD
000029bc: PUSH1 0x40
000029be: MLOAD
000029bf: DUP1
000029c0: SWAP2
000029c1: SUB
000029c2: SWAP1
000029c3: LOG4
000029c4: POP
000029c5: POP
000029c6: POP
000029c7: POP
000029c8: POP
000029c9: JUMP
000029ca: JUMPDEST
000029cb: PUSH1 0x40
000029cd: DUP1
000029ce: MLOAD
000029cf: PUSH1 0x60
000029d1: DUP2
000029d2: ADD
000029d3: DUP3
000029d4: MSTORE
000029d5: PUSH1 0x00
000029d7: DUP1
000029d8: DUP3
000029d9: MSTORE
000029da: PUSH1 0x20
000029dc: DUP3
000029dd: ADD
000029de: DUP2
000029df: SWAP1
000029e0: MSTORE
000029e1: SWAP2
000029e2: DUP2
000029e3: ADD
000029e4: SWAP2
000029e5: SWAP1
000029e6: SWAP2
000029e7: MSTORE
000029e8: DUP2
000029e9: DUP1
000029ea: PUSH1 0x01
000029ec: GT
000029ed: PUSH2 0x2ad5
000029f0: JUMPI
000029f1: PUSH1 0x00
000029f3: SLOAD
000029f4: DUP2
000029f5: LT
000029f6: ISZERO
000029f7: PUSH2 0x2ad5
000029fa: JUMPI
000029fb: PUSH1 0x00
000029fd: DUP2
000029fe: DUP2
000029ff: MSTORE
00002a00: PUSH1 0x04
00002a02: PUSH1 0x20
00002a04: SWAP1
00002a05: DUP2
00002a06: MSTORE
00002a07: PUSH1 0x40
00002a09: SWAP2
00002a0a: DUP3
00002a0b: SWAP1
00002a0c: KECCAK256
00002a0d: DUP3
00002a0e: MLOAD
00002a0f: PUSH1 0x60
00002a11: DUP2
00002a12: ADD
00002a13: DUP5
00002a14: MSTORE
00002a15: SWAP1
00002a16: SLOAD
00002a17: PUSH1 0x01
00002a19: PUSH1 0x01
00002a1b: PUSH1 0xa0
00002a1d: SHL
00002a1e: SUB
00002a1f: DUP2
00002a20: AND
00002a21: DUP3
00002a22: MSTORE
00002a23: PUSH1 0x01
00002a25: PUSH1 0xa0
00002a27: SHL
00002a28: DUP2
00002a29: DIV
00002a2a: PUSH8 0xffffffffffffffff
00002a33: AND
00002a34: SWAP3
00002a35: DUP3
00002a36: ADD
00002a37: SWAP3
00002a38: SWAP1
00002a39: SWAP3
00002a3a: MSTORE
00002a3b: PUSH1 0x01
00002a3d: PUSH1 0xe0
00002a3f: SHL
00002a40: SWAP1
00002a41: SWAP2
00002a42: DIV
00002a43: PUSH1 0xff
00002a45: AND
00002a46: ISZERO
00002a47: ISZERO
00002a48: SWAP2
00002a49: DUP2
00002a4a: ADD
00002a4b: DUP3
00002a4c: SWAP1
00002a4d: MSTORE
00002a4e: SWAP1
00002a4f: PUSH2 0x2ad3
00002a52: JUMPI
00002a53: DUP1
00002a54: MLOAD
00002a55: PUSH1 0x01
00002a57: PUSH1 0x01
00002a59: PUSH1 0xa0
00002a5b: SHL
00002a5c: SUB
00002a5d: AND
00002a5e: ISZERO
00002a5f: PUSH2 0x2a69
00002a62: JUMPI
00002a63: SWAP4
00002a64: SWAP3
00002a65: POP
00002a66: POP
00002a67: POP
00002a68: JUMP
00002a69: JUMPDEST
00002a6a: POP
00002a6b: PUSH1 0x00
00002a6d: NOT
00002a6e: ADD
00002a6f: PUSH1 0x00
00002a71: DUP2
00002a72: DUP2
00002a73: MSTORE
00002a74: PUSH1 0x04
00002a76: PUSH1 0x20
00002a78: SWAP1
00002a79: DUP2
00002a7a: MSTORE
00002a7b: PUSH1 0x40
00002a7d: SWAP2
00002a7e: DUP3
00002a7f: SWAP1
00002a80: KECCAK256
00002a81: DUP3
00002a82: MLOAD
00002a83: PUSH1 0x60
00002a85: DUP2
00002a86: ADD
00002a87: DUP5
00002a88: MSTORE
00002a89: SWAP1
00002a8a: SLOAD
00002a8b: PUSH1 0x01
00002a8d: PUSH1 0x01
00002a8f: PUSH1 0xa0
00002a91: SHL
00002a92: SUB
00002a93: DUP2
00002a94: AND
00002a95: DUP1
00002a96: DUP4
00002a97: MSTORE
00002a98: PUSH1 0x01
00002a9a: PUSH1 0xa0
00002a9c: SHL
00002a9d: DUP3
00002a9e: DIV
00002a9f: PUSH8 0xffffffffffffffff
00002aa8: AND
00002aa9: SWAP4
00002aaa: DUP4
00002aab: ADD
00002aac: SWAP4
00002aad: SWAP1
00002aae: SWAP4
00002aaf: MSTORE
00002ab0: PUSH1 0x01
00002ab2: PUSH1 0xe0
00002ab4: SHL
00002ab5: SWAP1
00002ab6: DIV
00002ab7: PUSH1 0xff
00002ab9: AND
00002aba: ISZERO
00002abb: ISZERO
00002abc: SWAP3
00002abd: DUP2
00002abe: ADD
00002abf: SWAP3
00002ac0: SWAP1
00002ac1: SWAP3
00002ac2: MSTORE
00002ac3: ISZERO
00002ac4: PUSH2 0x2ace
00002ac7: JUMPI
00002ac8: SWAP4
00002ac9: SWAP3
00002aca: POP
00002acb: POP
00002acc: POP
00002acd: JUMP
00002ace: JUMPDEST
00002acf: PUSH2 0x2a69
00002ad2: JUMP
00002ad3: JUMPDEST
00002ad4: POP
00002ad5: JUMPDEST
00002ad6: PUSH1 0x40
00002ad8: MLOAD
00002ad9: PUSH32 0xdf2d9b4200000000000000000000000000000000000000000000000000000000
00002afa: DUP2
00002afb: MSTORE
00002afc: PUSH1 0x04
00002afe: ADD
00002aff: PUSH1 0x40
00002b01: MLOAD
00002b02: DUP1
00002b03: SWAP2
00002b04: SUB
00002b05: SWAP1
00002b06: REVERT
00002b07: JUMPDEST
00002b08: PUSH1 0x08
00002b0a: DUP1
00002b0b: SLOAD
00002b0c: PUSH1 0x01
00002b0e: PUSH1 0x01
00002b10: PUSH1 0xa0
00002b12: SHL
00002b13: SUB
00002b14: DUP4
00002b15: DUP2
00002b16: AND
00002b17: PUSH1 0x01
00002b19: PUSH1 0x01
00002b1b: PUSH1 0xa0
00002b1d: SHL
00002b1e: SUB
00002b1f: NOT
00002b20: DUP4
00002b21: AND
00002b22: DUP2
00002b23: OR
00002b24: SWAP1
00002b25: SWAP4
00002b26: SSTORE
00002b27: PUSH1 0x40
00002b29: MLOAD
00002b2a: SWAP2
00002b2b: AND
00002b2c: SWAP2
00002b2d: SWAP1
00002b2e: DUP3
00002b2f: SWAP1
00002b30: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002b51: SWAP1
00002b52: PUSH1 0x00
00002b54: SWAP1
00002b55: LOG3
00002b56: POP
00002b57: POP
00002b58: JUMP
00002b59: JUMPDEST
00002b5a: PUSH1 0x00
00002b5c: DUP3
00002b5d: PUSH2 0x2b66
00002b60: DUP6
00002b61: DUP5
00002b62: PUSH2 0x3109
00002b65: JUMP
00002b66: JUMPDEST
00002b67: EQ
00002b68: SWAP5
00002b69: SWAP4
00002b6a: POP
00002b6b: POP
00002b6c: POP
00002b6d: POP
00002b6e: JUMP
00002b6f: JUMPDEST
00002b70: PUSH1 0x40
00002b72: MLOAD
00002b73: PUSH4 0x0a85bd01
00002b78: PUSH1 0xe1
00002b7a: SHL
00002b7b: DUP2
00002b7c: MSTORE
00002b7d: PUSH1 0x00
00002b7f: SWAP1
00002b80: PUSH1 0x01
00002b82: PUSH1 0x01
00002b84: PUSH1 0xa0
00002b86: SHL
00002b87: SUB
00002b88: DUP6
00002b89: AND
00002b8a: SWAP1
00002b8b: PUSH4 0x150b7a02
00002b90: SWAP1
00002b91: PUSH2 0x2ba4
00002b94: SWAP1
00002b95: CALLER
00002b96: SWAP1
00002b97: DUP10
00002b98: SWAP1
00002b99: DUP9
00002b9a: SWAP1
00002b9b: DUP9
00002b9c: SWAP1
00002b9d: PUSH1 0x04
00002b9f: ADD
00002ba0: PUSH2 0x38be
00002ba3: JUMP
00002ba4: JUMPDEST
00002ba5: PUSH1 0x20
00002ba7: PUSH1 0x40
00002ba9: MLOAD
00002baa: DUP1
00002bab: DUP4
00002bac: SUB
00002bad: DUP2
00002bae: PUSH1 0x00
00002bb0: DUP8
00002bb1: GAS
00002bb2: CALL
00002bb3: SWAP3
00002bb4: POP
00002bb5: POP
00002bb6: POP
00002bb7: DUP1
00002bb8: ISZERO
00002bb9: PUSH2 0x2bdf
00002bbc: JUMPI
00002bbd: POP
00002bbe: PUSH1 0x40
00002bc0: DUP1
00002bc1: MLOAD
00002bc2: PUSH1 0x1f
00002bc4: RETURNDATASIZE
00002bc5: SWAP1
00002bc6: DUP2
00002bc7: ADD
00002bc8: PUSH1 0x1f
00002bca: NOT
00002bcb: AND
00002bcc: DUP3
00002bcd: ADD
00002bce: SWAP1
00002bcf: SWAP3
00002bd0: MSTORE
00002bd1: PUSH2 0x2bdc
00002bd4: SWAP2
00002bd5: DUP2
00002bd6: ADD
00002bd7: SWAP1
00002bd8: PUSH2 0x38fa
00002bdb: JUMP
00002bdc: JUMPDEST
00002bdd: PUSH1 0x01
00002bdf: JUMPDEST
00002be0: PUSH2 0x2c3d
00002be3: JUMPI
00002be4: RETURNDATASIZE
00002be5: DUP1
00002be6: DUP1
00002be7: ISZERO
00002be8: PUSH2 0x2c0d
00002beb: JUMPI
00002bec: PUSH1 0x40
00002bee: MLOAD
00002bef: SWAP2
00002bf0: POP
00002bf1: PUSH1 0x1f
00002bf3: NOT
00002bf4: PUSH1 0x3f
00002bf6: RETURNDATASIZE
00002bf7: ADD
00002bf8: AND
00002bf9: DUP3
00002bfa: ADD
00002bfb: PUSH1 0x40
00002bfd: MSTORE
00002bfe: RETURNDATASIZE
00002bff: DUP3
00002c00: MSTORE
00002c01: RETURNDATASIZE
00002c02: PUSH1 0x00
00002c04: PUSH1 0x20
00002c06: DUP5
00002c07: ADD
00002c08: RETURNDATACOPY
00002c09: PUSH2 0x2c12
00002c0c: JUMP
00002c0d: JUMPDEST
00002c0e: PUSH1 0x60
00002c10: SWAP2
00002c11: POP
00002c12: JUMPDEST
00002c13: POP
00002c14: DUP1
00002c15: MLOAD
00002c16: PUSH1 0x00
00002c18: SUB
00002c19: PUSH2 0x2c35
00002c1c: JUMPI
00002c1d: PUSH1 0x40
00002c1f: MLOAD
00002c20: PUSH4 0x68d2bf6b
00002c25: PUSH1 0xe1
00002c27: SHL
00002c28: DUP2
00002c29: MSTORE
00002c2a: PUSH1 0x04
00002c2c: ADD
00002c2d: PUSH1 0x40
00002c2f: MLOAD
00002c30: DUP1
00002c31: SWAP2
00002c32: SUB
00002c33: SWAP1
00002c34: REVERT
00002c35: JUMPDEST
00002c36: DUP1
00002c37: MLOAD
00002c38: DUP2
00002c39: PUSH1 0x20
00002c3b: ADD
00002c3c: REVERT
00002c3d: JUMPDEST
00002c3e: PUSH1 0x01
00002c40: PUSH1 0x01
00002c42: PUSH1 0xe0
00002c44: SHL
00002c45: SUB
00002c46: NOT
00002c47: AND
00002c48: PUSH4 0x0a85bd01
00002c4d: PUSH1 0xe1
00002c4f: SHL
00002c50: EQ
00002c51: SWAP1
00002c52: POP
00002c53: SWAP5
00002c54: SWAP4
00002c55: POP
00002c56: POP
00002c57: POP
00002c58: POP
00002c59: JUMP
00002c5a: JUMPDEST
00002c5b: PUSH1 0x60
00002c5d: PUSH1 0x00
00002c5f: DUP3
00002c60: GT
00002c61: DUP1
00002c62: ISZERO
00002c63: PUSH2 0x2c6e
00002c66: JUMPI
00002c67: POP
00002c68: PUSH1 0x0e
00002c6a: SLOAD
00002c6b: DUP3
00002c6c: GT
00002c6d: ISZERO
00002c6e: JUMPDEST
00002c6f: ISZERO
00002c70: PUSH2 0x2d05
00002c73: JUMPI
00002c74: PUSH1 0x24
00002c76: DUP1
00002c77: SLOAD
00002c78: PUSH2 0x2c80
00002c7b: SWAP1
00002c7c: PUSH2 0x3791
00002c7f: JUMP
00002c80: JUMPDEST
00002c81: DUP1
00002c82: PUSH1 0x1f
00002c84: ADD
00002c85: PUSH1 0x20
00002c87: DUP1
00002c88: SWAP2
00002c89: DIV
00002c8a: MUL
00002c8b: PUSH1 0x20
00002c8d: ADD
00002c8e: PUSH1 0x40
00002c90: MLOAD
00002c91: SWAP1
00002c92: DUP2
00002c93: ADD
00002c94: PUSH1 0x40
00002c96: MSTORE
00002c97: DUP1
00002c98: SWAP3
00002c99: SWAP2
00002c9a: SWAP1
00002c9b: DUP2
00002c9c: DUP2
00002c9d: MSTORE
00002c9e: PUSH1 0x20
00002ca0: ADD
00002ca1: DUP3
00002ca2: DUP1
00002ca3: SLOAD
00002ca4: PUSH2 0x2cac
00002ca7: SWAP1
00002ca8: PUSH2 0x3791
00002cab: JUMP
00002cac: JUMPDEST
00002cad: DUP1
00002cae: ISZERO
00002caf: PUSH2 0x2cf9
00002cb2: JUMPI
00002cb3: DUP1
00002cb4: PUSH1 0x1f
00002cb6: LT
00002cb7: PUSH2 0x2cce
00002cba: JUMPI
00002cbb: PUSH2 0x0100
00002cbe: DUP1
00002cbf: DUP4
00002cc0: SLOAD
00002cc1: DIV
00002cc2: MUL
00002cc3: DUP4
00002cc4: MSTORE
00002cc5: SWAP2
00002cc6: PUSH1 0x20
00002cc8: ADD
00002cc9: SWAP2
00002cca: PUSH2 0x2cf9
00002ccd: JUMP
00002cce: JUMPDEST
00002ccf: DUP3
00002cd0: ADD
00002cd1: SWAP2
00002cd2: SWAP1
00002cd3: PUSH1 0x00
00002cd5: MSTORE
00002cd6: PUSH1 0x20
00002cd8: PUSH1 0x00
00002cda: KECCAK256
00002cdb: SWAP1
00002cdc: JUMPDEST
00002cdd: DUP2
00002cde: SLOAD
00002cdf: DUP2
00002ce0: MSTORE
00002ce1: SWAP1
00002ce2: PUSH1 0x01
00002ce4: ADD
00002ce5: SWAP1
00002ce6: PUSH1 0x20
00002ce8: ADD
00002ce9: DUP1
00002cea: DUP4
00002ceb: GT
00002cec: PUSH2 0x2cdc
00002cef: JUMPI
00002cf0: DUP3
00002cf1: SWAP1
00002cf2: SUB
00002cf3: PUSH1 0x1f
00002cf5: AND
00002cf6: DUP3
00002cf7: ADD
00002cf8: SWAP2
00002cf9: JUMPDEST
00002cfa: POP
00002cfb: POP
00002cfc: POP
00002cfd: POP
00002cfe: POP
00002cff: SWAP1
00002d00: POP
00002d01: SWAP2
00002d02: SWAP1
00002d03: POP
00002d04: JUMP
00002d05: JUMPDEST
00002d06: PUSH1 0x0e
00002d08: SLOAD
00002d09: PUSH2 0x2d12
00002d0c: SWAP1
00002d0d: DUP4
00002d0e: PUSH2 0x3802
00002d11: JUMP
00002d12: JUMPDEST
00002d13: SWAP2
00002d14: POP
00002d15: PUSH1 0x00
00002d17: DUP3
00002d18: GT
00002d19: DUP1
00002d1a: ISZERO
00002d1b: PUSH2 0x2d26
00002d1e: JUMPI
00002d1f: POP
00002d20: PUSH1 0x18
00002d22: SLOAD
00002d23: DUP3
00002d24: GT
00002d25: ISZERO
00002d26: JUMPDEST
00002d27: ISZERO
00002d28: PUSH2 0x2d38
00002d2b: JUMPI
00002d2c: PUSH1 0x24
00002d2e: DUP1
00002d2f: SLOAD
00002d30: PUSH2 0x2c80
00002d33: SWAP1
00002d34: PUSH2 0x3791
00002d37: JUMP
00002d38: JUMPDEST
00002d39: PUSH1 0x18
00002d3b: SLOAD
00002d3c: DUP3
00002d3d: GT
00002d3e: DUP1
00002d3f: ISZERO
00002d40: PUSH2 0x2d58
00002d43: JUMPI
00002d44: POP
00002d45: PUSH1 0x19
00002d47: SLOAD
00002d48: PUSH1 0x18
00002d4a: SLOAD
00002d4b: PUSH2 0x2d54
00002d4e: SWAP2
00002d4f: SWAP1
00002d50: PUSH2 0x37cb
00002d53: JUMP
00002d54: JUMPDEST
00002d55: DUP3
00002d56: GT
00002d57: ISZERO
00002d58: JUMPDEST
00002d59: ISZERO
00002d5a: PUSH2 0x2d6a
00002d5d: JUMPI
00002d5e: PUSH1 0x25
00002d60: DUP1
00002d61: SLOAD
00002d62: PUSH2 0x2c80
00002d65: SWAP1
00002d66: PUSH2 0x3791
00002d69: JUMP
00002d6a: JUMPDEST
00002d6b: PUSH1 0x19
00002d6d: SLOAD
00002d6e: PUSH1 0x18
00002d70: SLOAD
00002d71: PUSH2 0x2d7a
00002d74: SWAP2
00002d75: SWAP1
00002d76: PUSH2 0x37cb
00002d79: JUMP
00002d7a: JUMPDEST
00002d7b: DUP3
00002d7c: GT
00002d7d: DUP1
00002d7e: ISZERO
00002d7f: PUSH2 0x2da4
00002d82: JUMPI
00002d83: POP
00002d84: PUSH1 0x1a
00002d86: SLOAD
00002d87: PUSH1 0x19
00002d89: SLOAD
00002d8a: PUSH1 0x18
00002d8c: SLOAD
00002d8d: PUSH2 0x2d96
00002d90: SWAP2
00002d91: SWAP1
00002d92: PUSH2 0x37cb
00002d95: JUMP
00002d96: JUMPDEST
00002d97: PUSH2 0x2da0
00002d9a: SWAP2
00002d9b: SWAP1
00002d9c: PUSH2 0x37cb
00002d9f: JUMP
00002da0: JUMPDEST
00002da1: DUP3
00002da2: GT
00002da3: ISZERO
00002da4: JUMPDEST
00002da5: ISZERO
00002da6: PUSH2 0x2db6
00002da9: JUMPI
00002daa: PUSH1 0x26
00002dac: DUP1
00002dad: SLOAD
00002dae: PUSH2 0x2c80
00002db1: SWAP1
00002db2: PUSH2 0x3791
00002db5: JUMP
00002db6: JUMPDEST
00002db7: POP
00002db8: POP
00002db9: PUSH1 0x40
00002dbb: DUP1
00002dbc: MLOAD
00002dbd: PUSH1 0x20
00002dbf: DUP2
00002dc0: ADD
00002dc1: SWAP1
00002dc2: SWAP2
00002dc3: MSTORE
00002dc4: PUSH1 0x00
00002dc6: DUP2
00002dc7: MSTORE
00002dc8: SWAP1
00002dc9: JUMP
00002dca: JUMPDEST
00002dcb: PUSH1 0x60
00002dcd: DUP2
00002dce: PUSH1 0x00
00002dd0: SUB
00002dd1: PUSH2 0x2e0d
00002dd4: JUMPI
00002dd5: POP
00002dd6: POP
00002dd7: PUSH1 0x40
00002dd9: DUP1
00002dda: MLOAD
00002ddb: DUP1
00002ddc: DUP3
00002ddd: ADD
00002dde: SWAP1
00002ddf: SWAP2
00002de0: MSTORE
00002de1: PUSH1 0x01
00002de3: DUP2
00002de4: MSTORE
00002de5: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
00002e06: PUSH1 0x20
00002e08: DUP3
00002e09: ADD
00002e0a: MSTORE
00002e0b: SWAP1
00002e0c: JUMP
00002e0d: JUMPDEST
00002e0e: DUP2
00002e0f: PUSH1 0x00
00002e11: JUMPDEST
00002e12: DUP2
00002e13: ISZERO
00002e14: PUSH2 0x2e37
00002e17: JUMPI
00002e18: DUP1
00002e19: PUSH2 0x2e21
00002e1c: DUP2
00002e1d: PUSH2 0x3778
00002e20: JUMP
00002e21: JUMPDEST
00002e22: SWAP2
00002e23: POP
00002e24: PUSH2 0x2e30
00002e27: SWAP1
00002e28: POP
00002e29: PUSH1 0x0a
00002e2b: DUP4
00002e2c: PUSH2 0x387b
00002e2f: JUMP
00002e30: JUMPDEST
00002e31: SWAP2
00002e32: POP
00002e33: PUSH2 0x2e11
00002e36: JUMP
00002e37: JUMPDEST
00002e38: PUSH1 0x00
00002e3a: DUP2
00002e3b: PUSH8 0xffffffffffffffff
00002e44: DUP2
00002e45: GT
00002e46: ISZERO
00002e47: PUSH2 0x2e52
00002e4a: JUMPI
00002e4b: PUSH2 0x2e52
00002e4e: PUSH2 0x3240
00002e51: JUMP
00002e52: JUMPDEST
00002e53: PUSH1 0x40
00002e55: MLOAD
00002e56: SWAP1
00002e57: DUP1
00002e58: DUP3
00002e59: MSTORE
00002e5a: DUP1
00002e5b: PUSH1 0x1f
00002e5d: ADD
00002e5e: PUSH1 0x1f
00002e60: NOT
00002e61: AND
00002e62: PUSH1 0x20
00002e64: ADD
00002e65: DUP3
00002e66: ADD
00002e67: PUSH1 0x40
00002e69: MSTORE
00002e6a: DUP1
00002e6b: ISZERO
00002e6c: PUSH2 0x2e7c
00002e6f: JUMPI
00002e70: PUSH1 0x20
00002e72: DUP3
00002e73: ADD
00002e74: DUP2
00002e75: DUP1
00002e76: CALLDATASIZE
00002e77: DUP4
00002e78: CALLDATACOPY
00002e79: ADD
00002e7a: SWAP1
00002e7b: POP
00002e7c: JUMPDEST
00002e7d: POP
00002e7e: SWAP1
00002e7f: POP
00002e80: JUMPDEST
00002e81: DUP5
00002e82: ISZERO
00002e83: PUSH2 0x1355
00002e86: JUMPI
00002e87: PUSH2 0x2e91
00002e8a: PUSH1 0x01
00002e8c: DUP4
00002e8d: PUSH2 0x3802
00002e90: JUMP
00002e91: JUMPDEST
00002e92: SWAP2
00002e93: POP
00002e94: PUSH2 0x2e9e
00002e97: PUSH1 0x0a
00002e99: DUP7
00002e9a: PUSH2 0x3917
00002e9d: JUMP
00002e9e: JUMPDEST
00002e9f: PUSH2 0x2ea9
00002ea2: SWAP1
00002ea3: PUSH1 0x30
00002ea5: PUSH2 0x37cb
00002ea8: JUMP
00002ea9: JUMPDEST
00002eaa: PUSH1 0xf8
00002eac: SHL
00002ead: DUP2
00002eae: DUP4
00002eaf: DUP2
00002eb0: MLOAD
00002eb1: DUP2
00002eb2: LT
00002eb3: PUSH2 0x2ebe
00002eb6: JUMPI
00002eb7: PUSH2 0x2ebe
00002eba: PUSH2 0x374c
00002ebd: JUMP
00002ebe: JUMPDEST
00002ebf: PUSH1 0x20
00002ec1: ADD
00002ec2: ADD
00002ec3: SWAP1
00002ec4: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002ee4: NOT
00002ee5: AND
00002ee6: SWAP1
00002ee7: DUP2
00002ee8: PUSH1 0x00
00002eea: BYTE
00002eeb: SWAP1
00002eec: MSTORE8
00002eed: POP
00002eee: PUSH2 0x2ef8
00002ef1: PUSH1 0x0a
00002ef3: DUP7
00002ef4: PUSH2 0x387b
00002ef7: JUMP
00002ef8: JUMPDEST
00002ef9: SWAP5
00002efa: POP
00002efb: PUSH2 0x2e80
00002efe: JUMP
00002eff: JUMPDEST
00002f00: PUSH1 0x00
00002f02: SLOAD
00002f03: PUSH1 0x01
00002f05: PUSH1 0x01
00002f07: PUSH1 0xa0
00002f09: SHL
00002f0a: SUB
00002f0b: DUP5
00002f0c: AND
00002f0d: PUSH2 0x2f42
00002f10: JUMPI
00002f11: PUSH1 0x40
00002f13: MLOAD
00002f14: PUSH32 0x2e07630000000000000000000000000000000000000000000000000000000000
00002f35: DUP2
00002f36: MSTORE
00002f37: PUSH1 0x04
00002f39: ADD
00002f3a: PUSH1 0x40
00002f3c: MLOAD
00002f3d: DUP1
00002f3e: SWAP2
00002f3f: SUB
00002f40: SWAP1
00002f41: REVERT
00002f42: JUMPDEST
00002f43: DUP3
00002f44: PUSH1 0x00
00002f46: SUB
00002f47: PUSH2 0x2f7c
00002f4a: JUMPI
00002f4b: PUSH1 0x40
00002f4d: MLOAD
00002f4e: PUSH32 0xb562e8dd00000000000000000000000000000000000000000000000000000000
00002f6f: DUP2
00002f70: MSTORE
00002f71: PUSH1 0x04
00002f73: ADD
00002f74: PUSH1 0x40
00002f76: MLOAD
00002f77: DUP1
00002f78: SWAP2
00002f79: SUB
00002f7a: SWAP1
00002f7b: REVERT
00002f7c: JUMPDEST
00002f7d: PUSH1 0x01
00002f7f: PUSH1 0x01
00002f81: PUSH1 0xa0
00002f83: SHL
00002f84: SUB
00002f85: DUP5
00002f86: AND
00002f87: PUSH1 0x00
00002f89: DUP2
00002f8a: DUP2
00002f8b: MSTORE
00002f8c: PUSH1 0x05
00002f8e: PUSH1 0x20
00002f90: SWAP1
00002f91: DUP2
00002f92: MSTORE
00002f93: PUSH1 0x40
00002f95: DUP1
00002f96: DUP4
00002f97: KECCAK256
00002f98: DUP1
00002f99: SLOAD
00002f9a: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
00002fbb: DUP2
00002fbc: AND
00002fbd: PUSH8 0xffffffffffffffff
00002fc6: DUP1
00002fc7: DUP4
00002fc8: AND
00002fc9: DUP12
00002fca: ADD
00002fcb: DUP2
00002fcc: AND
00002fcd: SWAP2
00002fce: DUP3
00002fcf: OR
00002fd0: PUSH9 0x010000000000000000
00002fda: PUSH8 0xffffffffffffffff
00002fe3: NOT
00002fe4: SWAP1
00002fe5: SWAP5
00002fe6: AND
00002fe7: SWAP1
00002fe8: SWAP3
00002fe9: OR
00002fea: DUP4
00002feb: SWAP1
00002fec: DIV
00002fed: DUP2
00002fee: AND
00002fef: DUP12
00002ff0: ADD
00002ff1: DUP2
00002ff2: AND
00002ff3: SWAP1
00002ff4: SWAP3
00002ff5: MUL
00002ff6: OR
00002ff7: SWAP1
00002ff8: SWAP2
00002ff9: SSTORE
00002ffa: DUP6
00002ffb: DUP5
00002ffc: MSTORE
00002ffd: PUSH1 0x04
00002fff: SWAP1
00003000: SWAP3
00003001: MSTORE
00003002: SWAP1
00003003: SWAP2
00003004: KECCAK256
00003005: DUP1
00003006: SLOAD
00003007: PUSH1 0x01
00003009: PUSH1 0x01
0000300b: PUSH1 0xe0
0000300d: SHL
0000300e: SUB
0000300f: NOT
00003010: AND
00003011: DUP4
00003012: OR
00003013: PUSH1 0x01
00003015: PUSH1 0xa0
00003017: SHL
00003018: TIMESTAMP
00003019: SWAP1
0000301a: SWAP4
0000301b: AND
0000301c: SWAP3
0000301d: SWAP1
0000301e: SWAP3
0000301f: MUL
00003020: SWAP2
00003021: SWAP1
00003022: SWAP2
00003023: OR
00003024: SWAP1
00003025: SSTORE
00003026: DUP2
00003027: SWAP1
00003028: DUP2
00003029: DUP6
0000302a: ADD
0000302b: SWAP1
0000302c: EXTCODESIZE
0000302d: ISZERO
0000302e: PUSH2 0x30b4
00003031: JUMPI
00003032: JUMPDEST
00003033: PUSH1 0x40
00003035: MLOAD
00003036: DUP3
00003037: SWAP1
00003038: PUSH1 0x01
0000303a: PUSH1 0x01
0000303c: PUSH1 0xa0
0000303e: SHL
0000303f: SUB
00003040: DUP9
00003041: AND
00003042: SWAP1
00003043: PUSH1 0x00
00003045: SWAP1
00003046: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00003067: SWAP1
00003068: DUP3
00003069: SWAP1
0000306a: LOG4
0000306b: PUSH2 0x307d
0000306e: PUSH1 0x00
00003070: DUP8
00003071: DUP5
00003072: DUP1
00003073: PUSH1 0x01
00003075: ADD
00003076: SWAP6
00003077: POP
00003078: DUP8
00003079: PUSH2 0x2b6f
0000307c: JUMP
0000307d: JUMPDEST
0000307e: PUSH2 0x309a
00003081: JUMPI
00003082: PUSH1 0x40
00003084: MLOAD
00003085: PUSH4 0x68d2bf6b
0000308a: PUSH1 0xe1
0000308c: SHL
0000308d: DUP2
0000308e: MSTORE
0000308f: PUSH1 0x04
00003091: ADD
00003092: PUSH1 0x40
00003094: MLOAD
00003095: DUP1
00003096: SWAP2
00003097: SUB
00003098: SWAP1
00003099: REVERT
0000309a: JUMPDEST
0000309b: DUP1
0000309c: DUP3
0000309d: LT
0000309e: PUSH2 0x3032
000030a1: JUMPI
000030a2: DUP3
000030a3: PUSH1 0x00
000030a5: SLOAD
000030a6: EQ
000030a7: PUSH2 0x30af
000030aa: JUMPI
000030ab: PUSH1 0x00
000030ad: DUP1
000030ae: REVERT
000030af: JUMPDEST
000030b0: PUSH2 0x30f9
000030b3: JUMP
000030b4: JUMPDEST
000030b5: JUMPDEST
000030b6: PUSH1 0x40
000030b8: MLOAD
000030b9: PUSH1 0x01
000030bb: DUP4
000030bc: ADD
000030bd: SWAP3
000030be: SWAP1
000030bf: PUSH1 0x01
000030c1: PUSH1 0x01
000030c3: PUSH1 0xa0
000030c5: SHL
000030c6: SUB
000030c7: DUP9
000030c8: AND
000030c9: SWAP1
000030ca: PUSH1 0x00
000030cc: SWAP1
000030cd: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000030ee: SWAP1
000030ef: DUP3
000030f0: SWAP1
000030f1: LOG4
000030f2: DUP1
000030f3: DUP3
000030f4: LT
000030f5: PUSH2 0x30b5
000030f8: JUMPI
000030f9: JUMPDEST
000030fa: POP
000030fb: PUSH1 0x00
000030fd: SWAP1
000030fe: DUP2
000030ff: SSTORE
00003100: PUSH2 0x125a
00003103: SWAP1
00003104: DUP6
00003105: DUP4
00003106: DUP7
00003107: DUP5
00003108: JUMP
00003109: JUMPDEST
0000310a: PUSH1 0x00
0000310c: DUP2
0000310d: DUP2
0000310e: JUMPDEST
0000310f: DUP5
00003110: MLOAD
00003111: DUP2
00003112: LT
00003113: ISZERO
00003114: PUSH2 0x3175
00003117: JUMPI
00003118: PUSH1 0x00
0000311a: DUP6
0000311b: DUP3
0000311c: DUP2
0000311d: MLOAD
0000311e: DUP2
0000311f: LT
00003120: PUSH2 0x312b
00003123: JUMPI
00003124: PUSH2 0x312b
00003127: PUSH2 0x374c
0000312a: JUMP
0000312b: JUMPDEST
0000312c: PUSH1 0x20
0000312e: MUL
0000312f: PUSH1 0x20
00003131: ADD
00003132: ADD
00003133: MLOAD
00003134: SWAP1
00003135: POP
00003136: DUP1
00003137: DUP4
00003138: GT
00003139: PUSH2 0x3151
0000313c: JUMPI
0000313d: PUSH1 0x00
0000313f: DUP4
00003140: DUP2
00003141: MSTORE
00003142: PUSH1 0x20
00003144: DUP3
00003145: SWAP1
00003146: MSTORE
00003147: PUSH1 0x40
00003149: SWAP1
0000314a: KECCAK256
0000314b: SWAP3
0000314c: POP
0000314d: PUSH2 0x3162
00003150: JUMP
00003151: JUMPDEST
00003152: PUSH1 0x00
00003154: DUP2
00003155: DUP2
00003156: MSTORE
00003157: PUSH1 0x20
00003159: DUP5
0000315a: SWAP1
0000315b: MSTORE
0000315c: PUSH1 0x40
0000315e: SWAP1
0000315f: KECCAK256
00003160: SWAP3
00003161: POP
00003162: JUMPDEST
00003163: POP
00003164: DUP1
00003165: PUSH2 0x316d
00003168: DUP2
00003169: PUSH2 0x3778
0000316c: JUMP
0000316d: JUMPDEST
0000316e: SWAP2
0000316f: POP
00003170: POP
00003171: PUSH2 0x310e
00003174: JUMP
00003175: JUMPDEST
00003176: POP
00003177: SWAP4
00003178: SWAP3
00003179: POP
0000317a: POP
0000317b: POP
0000317c: JUMP
0000317d: JUMPDEST
0000317e: DUP3
0000317f: DUP1
00003180: SLOAD
00003181: PUSH2 0x3189
00003184: SWAP1
00003185: PUSH2 0x3791
00003188: JUMP
00003189: JUMPDEST
0000318a: SWAP1
0000318b: PUSH1 0x00
0000318d: MSTORE
0000318e: PUSH1 0x20
00003190: PUSH1 0x00
00003192: KECCAK256
00003193: SWAP1
00003194: PUSH1 0x1f
00003196: ADD
00003197: PUSH1 0x20
00003199: SWAP1
0000319a: DIV
0000319b: DUP2
0000319c: ADD
0000319d: SWAP3
0000319e: DUP3
0000319f: PUSH2 0x31ab
000031a2: JUMPI
000031a3: PUSH1 0x00
000031a5: DUP6
000031a6: SSTORE
000031a7: PUSH2 0x31f1
000031aa: JUMP
000031ab: JUMPDEST
000031ac: DUP3
000031ad: PUSH1 0x1f
000031af: LT
000031b0: PUSH2 0x31c4
000031b3: JUMPI
000031b4: DUP1
000031b5: MLOAD
000031b6: PUSH1 0xff
000031b8: NOT
000031b9: AND
000031ba: DUP4
000031bb: DUP1
000031bc: ADD
000031bd: OR
000031be: DUP6
000031bf: SSTORE
000031c0: PUSH2 0x31f1
000031c3: JUMP
000031c4: JUMPDEST
000031c5: DUP3
000031c6: DUP1
000031c7: ADD
000031c8: PUSH1 0x01
000031ca: ADD
000031cb: DUP6
000031cc: SSTORE
000031cd: DUP3
000031ce: ISZERO
000031cf: PUSH2 0x31f1
000031d2: JUMPI
000031d3: SWAP2
000031d4: DUP3
000031d5: ADD
000031d6: JUMPDEST
000031d7: DUP3
000031d8: DUP2
000031d9: GT
000031da: ISZERO
000031db: PUSH2 0x31f1
000031de: JUMPI
000031df: DUP3
000031e0: MLOAD
000031e1: DUP3
000031e2: SSTORE
000031e3: SWAP2
000031e4: PUSH1 0x20
000031e6: ADD
000031e7: SWAP2
000031e8: SWAP1
000031e9: PUSH1 0x01
000031eb: ADD
000031ec: SWAP1
000031ed: PUSH2 0x31d6
000031f0: JUMP
000031f1: JUMPDEST
000031f2: POP
000031f3: PUSH2 0x231c
000031f6: SWAP3
000031f7: SWAP2
000031f8: POP
000031f9: JUMPDEST
000031fa: DUP1
000031fb: DUP3
000031fc: GT
000031fd: ISZERO
000031fe: PUSH2 0x231c
00003201: JUMPI
00003202: PUSH1 0x00
00003204: DUP2
00003205: SSTORE
00003206: PUSH1 0x01
00003208: ADD
00003209: PUSH2 0x31f9
0000320c: JUMP
0000320d: JUMPDEST
0000320e: PUSH1 0x01
00003210: PUSH1 0x01
00003212: PUSH1 0xe0
00003214: SHL
00003215: SUB
00003216: NOT
00003217: DUP2
00003218: AND
00003219: DUP2
0000321a: EQ
0000321b: PUSH2 0x264b
0000321e: JUMPI
0000321f: PUSH1 0x00
00003221: DUP1
00003222: REVERT
00003223: JUMPDEST
00003224: PUSH1 0x00
00003226: PUSH1 0x20
00003228: DUP3
00003229: DUP5
0000322a: SUB
0000322b: SLT
0000322c: ISZERO
0000322d: PUSH2 0x3235
00003230: JUMPI
00003231: PUSH1 0x00
00003233: DUP1
00003234: REVERT
00003235: JUMPDEST
00003236: DUP2
00003237: CALLDATALOAD
00003238: PUSH2 0x255d
0000323b: DUP2
0000323c: PUSH2 0x320d
0000323f: JUMP
00003240: JUMPDEST
00003241: PUSH4 0x4e487b71
00003246: PUSH1 0xe0
00003248: SHL
00003249: PUSH1 0x00
0000324b: MSTORE
0000324c: PUSH1 0x41
0000324e: PUSH1 0x04
00003250: MSTORE
00003251: PUSH1 0x24
00003253: PUSH1 0x00
00003255: REVERT
00003256: JUMPDEST
00003257: PUSH1 0x40
00003259: MLOAD
0000325a: PUSH1 0x1f
0000325c: DUP3
0000325d: ADD
0000325e: PUSH1 0x1f
00003260: NOT
00003261: AND
00003262: DUP2
00003263: ADD
00003264: PUSH8 0xffffffffffffffff
0000326d: DUP2
0000326e: GT
0000326f: DUP3
00003270: DUP3
00003271: LT
00003272: OR
00003273: ISZERO
00003274: PUSH2 0x327f
00003277: JUMPI
00003278: PUSH2 0x327f
0000327b: PUSH2 0x3240
0000327e: JUMP
0000327f: JUMPDEST
00003280: PUSH1 0x40
00003282: MSTORE
00003283: SWAP2
00003284: SWAP1
00003285: POP
00003286: JUMP
00003287: JUMPDEST
00003288: PUSH1 0x01
0000328a: PUSH1 0x01
0000328c: PUSH1 0xa0
0000328e: SHL
0000328f: SUB
00003290: DUP2
00003291: AND
00003292: DUP2
00003293: EQ
00003294: PUSH2 0x264b
00003297: JUMPI
00003298: PUSH1 0x00
0000329a: DUP1
0000329b: REVERT
0000329c: JUMPDEST
0000329d: PUSH1 0x00
0000329f: PUSH1 0x20
000032a1: DUP1
000032a2: DUP4
000032a3: DUP6
000032a4: SUB
000032a5: SLT
000032a6: ISZERO
000032a7: PUSH2 0x32af
000032aa: JUMPI
000032ab: PUSH1 0x00
000032ad: DUP1
000032ae: REVERT
000032af: JUMPDEST
000032b0: DUP3
000032b1: CALLDATALOAD
000032b2: PUSH8 0xffffffffffffffff
000032bb: DUP1
000032bc: DUP3
000032bd: GT
000032be: ISZERO
000032bf: PUSH2 0x32c7
000032c2: JUMPI
000032c3: PUSH1 0x00
000032c5: DUP1
000032c6: REVERT
000032c7: JUMPDEST
000032c8: DUP2
000032c9: DUP6
000032ca: ADD
000032cb: SWAP2
000032cc: POP
000032cd: DUP6
000032ce: PUSH1 0x1f
000032d0: DUP4
000032d1: ADD
000032d2: SLT
000032d3: PUSH2 0x32db
000032d6: JUMPI
000032d7: PUSH1 0x00
000032d9: DUP1
000032da: REVERT
000032db: JUMPDEST
000032dc: DUP2
000032dd: CALLDATALOAD
000032de: DUP2
000032df: DUP2
000032e0: GT
000032e1: ISZERO
000032e2: PUSH2 0x32ed
000032e5: JUMPI
000032e6: PUSH2 0x32ed
000032e9: PUSH2 0x3240
000032ec: JUMP
000032ed: JUMPDEST
000032ee: DUP1
000032ef: PUSH1 0x05
000032f1: SHL
000032f2: SWAP2
000032f3: POP
000032f4: PUSH2 0x32fe
000032f7: DUP5
000032f8: DUP4
000032f9: ADD
000032fa: PUSH2 0x3256
000032fd: JUMP
000032fe: JUMPDEST
000032ff: DUP2
00003300: DUP2
00003301: MSTORE
00003302: SWAP2
00003303: DUP4
00003304: ADD
00003305: DUP5
00003306: ADD
00003307: SWAP2
00003308: DUP5
00003309: DUP2
0000330a: ADD
0000330b: SWAP1
0000330c: DUP9
0000330d: DUP5
0000330e: GT
0000330f: ISZERO
00003310: PUSH2 0x3318
00003313: JUMPI
00003314: PUSH1 0x00
00003316: DUP1
00003317: REVERT
00003318: JUMPDEST
00003319: SWAP4
0000331a: DUP6
0000331b: ADD
0000331c: SWAP4
0000331d: JUMPDEST
0000331e: DUP4
0000331f: DUP6
00003320: LT
00003321: ISZERO
00003322: PUSH2 0x3342
00003325: JUMPI
00003326: DUP5
00003327: CALLDATALOAD
00003328: SWAP3
00003329: POP
0000332a: PUSH2 0x3332
0000332d: DUP4
0000332e: PUSH2 0x3287
00003331: JUMP
00003332: JUMPDEST
00003333: DUP3
00003334: DUP3
00003335: MSTORE
00003336: SWAP4
00003337: DUP6
00003338: ADD
00003339: SWAP4
0000333a: SWAP1
0000333b: DUP6
0000333c: ADD
0000333d: SWAP1
0000333e: PUSH2 0x331d
00003341: JUMP
00003342: JUMPDEST
00003343: SWAP9
00003344: SWAP8
00003345: POP
00003346: POP
00003347: POP
00003348: POP
00003349: POP
0000334a: POP
0000334b: POP
0000334c: POP
0000334d: JUMP
0000334e: JUMPDEST
0000334f: PUSH1 0x00
00003351: JUMPDEST
00003352: DUP4
00003353: DUP2
00003354: LT
00003355: ISZERO
00003356: PUSH2 0x3369
00003359: JUMPI
0000335a: DUP2
0000335b: DUP2
0000335c: ADD
0000335d: MLOAD
0000335e: DUP4
0000335f: DUP3
00003360: ADD
00003361: MSTORE
00003362: PUSH1 0x20
00003364: ADD
00003365: PUSH2 0x3351
00003368: JUMP
00003369: JUMPDEST
0000336a: DUP4
0000336b: DUP2
0000336c: GT
0000336d: ISZERO
0000336e: PUSH2 0x125a
00003371: JUMPI
00003372: POP
00003373: POP
00003374: PUSH1 0x00
00003376: SWAP2
00003377: ADD
00003378: MSTORE
00003379: JUMP
0000337a: JUMPDEST
0000337b: PUSH1 0x00
0000337d: DUP2
0000337e: MLOAD
0000337f: DUP1
00003380: DUP5
00003381: MSTORE
00003382: PUSH2 0x3392
00003385: DUP2
00003386: PUSH1 0x20
00003388: DUP7
00003389: ADD
0000338a: PUSH1 0x20
0000338c: DUP7
0000338d: ADD
0000338e: PUSH2 0x334e
00003391: JUMP
00003392: JUMPDEST
00003393: PUSH1 0x1f
00003395: ADD
00003396: PUSH1 0x1f
00003398: NOT
00003399: AND
0000339a: SWAP3
0000339b: SWAP1
0000339c: SWAP3
0000339d: ADD
0000339e: PUSH1 0x20
000033a0: ADD
000033a1: SWAP3
000033a2: SWAP2
000033a3: POP
000033a4: POP
000033a5: JUMP
000033a6: JUMPDEST
000033a7: PUSH1 0x20
000033a9: DUP2
000033aa: MSTORE
000033ab: PUSH1 0x00
000033ad: PUSH2 0x255d
000033b0: PUSH1 0x20
000033b2: DUP4
000033b3: ADD
000033b4: DUP5
000033b5: PUSH2 0x337a
000033b8: JUMP
000033b9: JUMPDEST
000033ba: PUSH1 0x00
000033bc: PUSH1 0x20
000033be: DUP3
000033bf: DUP5
000033c0: SUB
000033c1: SLT
000033c2: ISZERO
000033c3: PUSH2 0x33cb
000033c6: JUMPI
000033c7: PUSH1 0x00
000033c9: DUP1
000033ca: REVERT
000033cb: JUMPDEST
000033cc: POP
000033cd: CALLDATALOAD
000033ce: SWAP2
000033cf: SWAP1
000033d0: POP
000033d1: JUMP
000033d2: JUMPDEST
000033d3: PUSH1 0x00
000033d5: DUP1
000033d6: PUSH1 0x40
000033d8: DUP4
000033d9: DUP6
000033da: SUB
000033db: SLT
000033dc: ISZERO
000033dd: PUSH2 0x33e5
000033e0: JUMPI
000033e1: PUSH1 0x00
000033e3: DUP1
000033e4: REVERT
000033e5: JUMPDEST
000033e6: DUP3
000033e7: CALLDATALOAD
000033e8: PUSH2 0x33f0
000033eb: DUP2
000033ec: PUSH2 0x3287
000033ef: JUMP
000033f0: JUMPDEST
000033f1: SWAP5
000033f2: PUSH1 0x20
000033f4: SWAP4
000033f5: SWAP1
000033f6: SWAP4
000033f7: ADD
000033f8: CALLDATALOAD
000033f9: SWAP4
000033fa: POP
000033fb: POP
000033fc: POP
000033fd: JUMP
000033fe: JUMPDEST
000033ff: PUSH1 0x00
00003401: PUSH1 0x20
00003403: DUP3
00003404: DUP5
00003405: SUB
00003406: SLT
00003407: ISZERO
00003408: PUSH2 0x3410
0000340b: JUMPI
0000340c: PUSH1 0x00
0000340e: DUP1
0000340f: REVERT
00003410: JUMPDEST
00003411: DUP2
00003412: CALLDATALOAD
00003413: PUSH2 0x255d
00003416: DUP2
00003417: PUSH2 0x3287
0000341a: JUMP
0000341b: JUMPDEST
0000341c: PUSH1 0x00
0000341e: PUSH8 0xffffffffffffffff
00003427: DUP4
00003428: GT
00003429: ISZERO
0000342a: PUSH2 0x3435
0000342d: JUMPI
0000342e: PUSH2 0x3435
00003431: PUSH2 0x3240
00003434: JUMP
00003435: JUMPDEST
00003436: PUSH2 0x3448
00003439: PUSH1 0x1f
0000343b: DUP5
0000343c: ADD
0000343d: PUSH1 0x1f
0000343f: NOT
00003440: AND
00003441: PUSH1 0x20
00003443: ADD
00003444: PUSH2 0x3256
00003447: JUMP
00003448: JUMPDEST
00003449: SWAP1
0000344a: POP
0000344b: DUP3
0000344c: DUP2
0000344d: MSTORE
0000344e: DUP4
0000344f: DUP4
00003450: DUP4
00003451: ADD
00003452: GT
00003453: ISZERO
00003454: PUSH2 0x345c
00003457: JUMPI
00003458: PUSH1 0x00
0000345a: DUP1
0000345b: REVERT
0000345c: JUMPDEST
0000345d: DUP3
0000345e: DUP3
0000345f: PUSH1 0x20
00003461: DUP4
00003462: ADD
00003463: CALLDATACOPY
00003464: PUSH1 0x00
00003466: PUSH1 0x20
00003468: DUP5
00003469: DUP4
0000346a: ADD
0000346b: ADD
0000346c: MSTORE
0000346d: SWAP4
0000346e: SWAP3
0000346f: POP
00003470: POP
00003471: POP
00003472: JUMP
00003473: JUMPDEST
00003474: PUSH1 0x00
00003476: PUSH1 0x20
00003478: DUP3
00003479: DUP5
0000347a: SUB
0000347b: SLT
0000347c: ISZERO
0000347d: PUSH2 0x3485
00003480: JUMPI
00003481: PUSH1 0x00
00003483: DUP1
00003484: REVERT
00003485: JUMPDEST
00003486: DUP2
00003487: CALLDATALOAD
00003488: PUSH8 0xffffffffffffffff
00003491: DUP2
00003492: GT
00003493: ISZERO
00003494: PUSH2 0x349c
00003497: JUMPI
00003498: PUSH1 0x00
0000349a: DUP1
0000349b: REVERT
0000349c: JUMPDEST
0000349d: DUP3
0000349e: ADD
0000349f: PUSH1 0x1f
000034a1: DUP2
000034a2: ADD
000034a3: DUP5
000034a4: SGT
000034a5: PUSH2 0x34ad
000034a8: JUMPI
000034a9: PUSH1 0x00
000034ab: DUP1
000034ac: REVERT
000034ad: JUMPDEST
000034ae: PUSH2 0x1355
000034b1: DUP5
000034b2: DUP3
000034b3: CALLDATALOAD
000034b4: PUSH1 0x20
000034b6: DUP5
000034b7: ADD
000034b8: PUSH2 0x341b
000034bb: JUMP
000034bc: JUMPDEST
000034bd: PUSH1 0x00
000034bf: DUP1
000034c0: PUSH1 0x00
000034c2: PUSH1 0x60
000034c4: DUP5
000034c5: DUP7
000034c6: SUB
000034c7: SLT
000034c8: ISZERO
000034c9: PUSH2 0x34d1
000034cc: JUMPI
000034cd: PUSH1 0x00
000034cf: DUP1
000034d0: REVERT
000034d1: JUMPDEST
000034d2: POP
000034d3: POP
000034d4: DUP2
000034d5: CALLDATALOAD
000034d6: SWAP4
000034d7: PUSH1 0x20
000034d9: DUP4
000034da: ADD
000034db: CALLDATALOAD
000034dc: SWAP4
000034dd: POP
000034de: PUSH1 0x40
000034e0: SWAP1
000034e1: SWAP3
000034e2: ADD
000034e3: CALLDATALOAD
000034e4: SWAP2
000034e5: SWAP1
000034e6: POP
000034e7: JUMP
000034e8: JUMPDEST
000034e9: PUSH1 0x00
000034eb: DUP1
000034ec: PUSH1 0x00
000034ee: PUSH1 0x60
000034f0: DUP5
000034f1: DUP7
000034f2: SUB
000034f3: SLT
000034f4: ISZERO
000034f5: PUSH2 0x34fd
000034f8: JUMPI
000034f9: PUSH1 0x00
000034fb: DUP1
000034fc: REVERT
000034fd: JUMPDEST
000034fe: DUP4
000034ff: CALLDATALOAD
00003500: PUSH2 0x3508
00003503: DUP2
00003504: PUSH2 0x3287
00003507: JUMP
00003508: JUMPDEST
00003509: SWAP3
0000350a: POP
0000350b: PUSH1 0x20
0000350d: DUP5
0000350e: ADD
0000350f: CALLDATALOAD
00003510: PUSH2 0x3518
00003513: DUP2
00003514: PUSH2 0x3287
00003517: JUMP
00003518: JUMPDEST
00003519: SWAP3
0000351a: SWAP6
0000351b: SWAP3
0000351c: SWAP5
0000351d: POP
0000351e: POP
0000351f: POP
00003520: PUSH1 0x40
00003522: SWAP2
00003523: SWAP1
00003524: SWAP2
00003525: ADD
00003526: CALLDATALOAD
00003527: SWAP1
00003528: JUMP
00003529: JUMPDEST
0000352a: PUSH1 0x00
0000352c: DUP1
0000352d: DUP4
0000352e: PUSH1 0x1f
00003530: DUP5
00003531: ADD
00003532: SLT
00003533: PUSH2 0x353b
00003536: JUMPI
00003537: PUSH1 0x00
00003539: DUP1
0000353a: REVERT
0000353b: JUMPDEST
0000353c: POP
0000353d: DUP2
0000353e: CALLDATALOAD
0000353f: PUSH8 0xffffffffffffffff
00003548: DUP2
00003549: GT
0000354a: ISZERO
0000354b: PUSH2 0x3553
0000354e: JUMPI
0000354f: PUSH1 0x00
00003551: DUP1
00003552: REVERT
00003553: JUMPDEST
00003554: PUSH1 0x20
00003556: DUP4
00003557: ADD
00003558: SWAP2
00003559: POP
0000355a: DUP4
0000355b: PUSH1 0x20
0000355d: DUP3
0000355e: PUSH1 0x05
00003560: SHL
00003561: DUP6
00003562: ADD
00003563: ADD
00003564: GT
00003565: ISZERO
00003566: PUSH2 0x356e
00003569: JUMPI
0000356a: PUSH1 0x00
0000356c: DUP1
0000356d: REVERT
0000356e: JUMPDEST
0000356f: SWAP3
00003570: POP
00003571: SWAP3
00003572: SWAP1
00003573: POP
00003574: JUMP
00003575: JUMPDEST
00003576: PUSH1 0x00
00003578: DUP1
00003579: PUSH1 0x20
0000357b: DUP4
0000357c: DUP6
0000357d: SUB
0000357e: SLT
0000357f: ISZERO
00003580: PUSH2 0x3588
00003583: JUMPI
00003584: PUSH1 0x00
00003586: DUP1
00003587: REVERT
00003588: JUMPDEST
00003589: DUP3
0000358a: CALLDATALOAD
0000358b: PUSH8 0xffffffffffffffff
00003594: DUP2
00003595: GT
00003596: ISZERO
00003597: PUSH2 0x359f
0000359a: JUMPI
0000359b: PUSH1 0x00
0000359d: DUP1
0000359e: REVERT
0000359f: JUMPDEST
000035a0: PUSH2 0x35ab
000035a3: DUP6
000035a4: DUP3
000035a5: DUP7
000035a6: ADD
000035a7: PUSH2 0x3529
000035aa: JUMP
000035ab: JUMPDEST
000035ac: SWAP1
000035ad: SWAP7
000035ae: SWAP1
000035af: SWAP6
000035b0: POP
000035b1: SWAP4
000035b2: POP
000035b3: POP
000035b4: POP
000035b5: POP
000035b6: JUMP
000035b7: JUMPDEST
000035b8: PUSH1 0x00
000035ba: DUP1
000035bb: PUSH1 0x00
000035bd: DUP1
000035be: PUSH1 0x60
000035c0: DUP6
000035c1: DUP8
000035c2: SUB
000035c3: SLT
000035c4: ISZERO
000035c5: PUSH2 0x35cd
000035c8: JUMPI
000035c9: PUSH1 0x00
000035cb: DUP1
000035cc: REVERT
000035cd: JUMPDEST
000035ce: DUP5
000035cf: CALLDATALOAD
000035d0: PUSH2 0x35d8
000035d3: DUP2
000035d4: PUSH2 0x3287
000035d7: JUMP
000035d8: JUMPDEST
000035d9: SWAP4
000035da: POP
000035db: PUSH1 0x20
000035dd: DUP6
000035de: ADD
000035df: CALLDATALOAD
000035e0: SWAP3
000035e1: POP
000035e2: PUSH1 0x40
000035e4: DUP6
000035e5: ADD
000035e6: CALLDATALOAD
000035e7: PUSH8 0xffffffffffffffff
000035f0: DUP2
000035f1: GT
000035f2: ISZERO
000035f3: PUSH2 0x35fb
000035f6: JUMPI
000035f7: PUSH1 0x00
000035f9: DUP1
000035fa: REVERT
000035fb: JUMPDEST
000035fc: PUSH2 0x3607
000035ff: DUP8
00003600: DUP3
00003601: DUP9
00003602: ADD
00003603: PUSH2 0x3529
00003606: JUMP
00003607: JUMPDEST
00003608: SWAP6
00003609: SWAP9
0000360a: SWAP5
0000360b: SWAP8
0000360c: POP
0000360d: SWAP6
0000360e: POP
0000360f: POP
00003610: POP
00003611: POP
00003612: JUMP
00003613: JUMPDEST
00003614: PUSH1 0x00
00003616: DUP1
00003617: PUSH1 0x40
00003619: DUP4
0000361a: DUP6
0000361b: SUB
0000361c: SLT
0000361d: ISZERO
0000361e: PUSH2 0x3626
00003621: JUMPI
00003622: PUSH1 0x00
00003624: DUP1
00003625: REVERT
00003626: JUMPDEST
00003627: DUP3
00003628: CALLDATALOAD
00003629: PUSH2 0x3631
0000362c: DUP2
0000362d: PUSH2 0x3287
00003630: JUMP
00003631: JUMPDEST
00003632: SWAP2
00003633: POP
00003634: PUSH1 0x20
00003636: DUP4
00003637: ADD
00003638: CALLDATALOAD
00003639: DUP1
0000363a: ISZERO
0000363b: ISZERO
0000363c: DUP2
0000363d: EQ
0000363e: PUSH2 0x3646
00003641: JUMPI
00003642: PUSH1 0x00
00003644: DUP1
00003645: REVERT
00003646: JUMPDEST
00003647: DUP1
00003648: SWAP2
00003649: POP
0000364a: POP
0000364b: SWAP3
0000364c: POP
0000364d: SWAP3
0000364e: SWAP1
0000364f: POP
00003650: JUMP
00003651: JUMPDEST
00003652: PUSH1 0x00
00003654: DUP1
00003655: PUSH1 0x00
00003657: DUP1
00003658: PUSH1 0x80
0000365a: DUP6
0000365b: DUP8
0000365c: SUB
0000365d: SLT
0000365e: ISZERO
0000365f: PUSH2 0x3667
00003662: JUMPI
00003663: PUSH1 0x00
00003665: DUP1
00003666: REVERT
00003667: JUMPDEST
00003668: DUP5
00003669: CALLDATALOAD
0000366a: PUSH2 0x3672
0000366d: DUP2
0000366e: PUSH2 0x3287
00003671: JUMP
00003672: JUMPDEST
00003673: SWAP4
00003674: POP
00003675: PUSH1 0x20
00003677: DUP6
00003678: ADD
00003679: CALLDATALOAD
0000367a: PUSH2 0x3682
0000367d: DUP2
0000367e: PUSH2 0x3287
00003681: JUMP
00003682: JUMPDEST
00003683: SWAP3
00003684: POP
00003685: PUSH1 0x40
00003687: DUP6
00003688: ADD
00003689: CALLDATALOAD
0000368a: SWAP2
0000368b: POP
0000368c: PUSH1 0x60
0000368e: DUP6
0000368f: ADD
00003690: CALLDATALOAD
00003691: PUSH8 0xffffffffffffffff
0000369a: DUP2
0000369b: GT
0000369c: ISZERO
0000369d: PUSH2 0x36a5
000036a0: JUMPI
000036a1: PUSH1 0x00
000036a3: DUP1
000036a4: REVERT
000036a5: JUMPDEST
000036a6: DUP6
000036a7: ADD
000036a8: PUSH1 0x1f
000036aa: DUP2
000036ab: ADD
000036ac: DUP8
000036ad: SGT
000036ae: PUSH2 0x36b6
000036b1: JUMPI
000036b2: PUSH1 0x00
000036b4: DUP1
000036b5: REVERT
000036b6: JUMPDEST
000036b7: PUSH2 0x36c5
000036ba: DUP8
000036bb: DUP3
000036bc: CALLDATALOAD
000036bd: PUSH1 0x20
000036bf: DUP5
000036c0: ADD
000036c1: PUSH2 0x341b
000036c4: JUMP
000036c5: JUMPDEST
000036c6: SWAP2
000036c7: POP
000036c8: POP
000036c9: SWAP3
000036ca: SWAP6
000036cb: SWAP2
000036cc: SWAP5
000036cd: POP
000036ce: SWAP3
000036cf: POP
000036d0: JUMP
000036d1: JUMPDEST
000036d2: PUSH1 0x00
000036d4: DUP1
000036d5: PUSH1 0x40
000036d7: DUP4
000036d8: DUP6
000036d9: SUB
000036da: SLT
000036db: ISZERO
000036dc: PUSH2 0x36e4
000036df: JUMPI
000036e0: PUSH1 0x00
000036e2: DUP1
000036e3: REVERT
000036e4: JUMPDEST
000036e5: DUP3
000036e6: CALLDATALOAD
000036e7: PUSH2 0x36ef
000036ea: DUP2
000036eb: PUSH2 0x3287
000036ee: JUMP
000036ef: JUMPDEST
000036f0: SWAP2
000036f1: POP
000036f2: PUSH1 0x20
000036f4: DUP4
000036f5: ADD
000036f6: CALLDATALOAD
000036f7: PUSH2 0x3646
000036fa: DUP2
000036fb: PUSH2 0x3287
000036fe: JUMP
000036ff: JUMPDEST
00003700: PUSH1 0x20
00003702: DUP1
00003703: DUP3
00003704: MSTORE
00003705: DUP3
00003706: MLOAD
00003707: DUP3
00003708: DUP3
00003709: ADD
0000370a: DUP2
0000370b: SWAP1
0000370c: MSTORE
0000370d: PUSH1 0x00
0000370f: SWAP2
00003710: SWAP1
00003711: DUP5
00003712: DUP3
00003713: ADD
00003714: SWAP1
00003715: PUSH1 0x40
00003717: DUP6
00003718: ADD
00003719: SWAP1
0000371a: DUP5
0000371b: JUMPDEST
0000371c: DUP2
0000371d: DUP2
0000371e: LT
0000371f: ISZERO
00003720: PUSH2 0x3740
00003723: JUMPI
00003724: DUP4
00003725: MLOAD
00003726: PUSH1 0x01
00003728: PUSH1 0x01
0000372a: PUSH1 0xa0
0000372c: SHL
0000372d: SUB
0000372e: AND
0000372f: DUP4
00003730: MSTORE
00003731: SWAP3
00003732: DUP5
00003733: ADD
00003734: SWAP3
00003735: SWAP2
00003736: DUP5
00003737: ADD
00003738: SWAP2
00003739: PUSH1 0x01
0000373b: ADD
0000373c: PUSH2 0x371b
0000373f: JUMP
00003740: JUMPDEST
00003741: POP
00003742: SWAP1
00003743: SWAP7
00003744: SWAP6
00003745: POP
00003746: POP
00003747: POP
00003748: POP
00003749: POP
0000374a: POP
0000374b: JUMP
0000374c: JUMPDEST
0000374d: PUSH4 0x4e487b71
00003752: PUSH1 0xe0
00003754: SHL
00003755: PUSH1 0x00
00003757: MSTORE
00003758: PUSH1 0x32
0000375a: PUSH1 0x04
0000375c: MSTORE
0000375d: PUSH1 0x24
0000375f: PUSH1 0x00
00003761: REVERT
00003762: JUMPDEST
00003763: PUSH4 0x4e487b71
00003768: PUSH1 0xe0
0000376a: SHL
0000376b: PUSH1 0x00
0000376d: MSTORE
0000376e: PUSH1 0x11
00003770: PUSH1 0x04
00003772: MSTORE
00003773: PUSH1 0x24
00003775: PUSH1 0x00
00003777: REVERT
00003778: JUMPDEST
00003779: PUSH1 0x00
0000377b: PUSH1 0x01
0000377d: DUP3
0000377e: ADD
0000377f: PUSH2 0x378a
00003782: JUMPI
00003783: PUSH2 0x378a
00003786: PUSH2 0x3762
00003789: JUMP
0000378a: JUMPDEST
0000378b: POP
0000378c: PUSH1 0x01
0000378e: ADD
0000378f: SWAP1
00003790: JUMP
00003791: JUMPDEST
00003792: PUSH1 0x01
00003794: DUP2
00003795: DUP2
00003796: SHR
00003797: SWAP1
00003798: DUP3
00003799: AND
0000379a: DUP1
0000379b: PUSH2 0x37a5
0000379e: JUMPI
0000379f: PUSH1 0x7f
000037a1: DUP3
000037a2: AND
000037a3: SWAP2
000037a4: POP
000037a5: JUMPDEST
000037a6: PUSH1 0x20
000037a8: DUP3
000037a9: LT
000037aa: DUP2
000037ab: SUB
000037ac: PUSH2 0x37c5
000037af: JUMPI
000037b0: PUSH4 0x4e487b71
000037b5: PUSH1 0xe0
000037b7: SHL
000037b8: PUSH1 0x00
000037ba: MSTORE
000037bb: PUSH1 0x22
000037bd: PUSH1 0x04
000037bf: MSTORE
000037c0: PUSH1 0x24
000037c2: PUSH1 0x00
000037c4: REVERT
000037c5: JUMPDEST
000037c6: POP
000037c7: SWAP2
000037c8: SWAP1
000037c9: POP
000037ca: JUMP
000037cb: JUMPDEST
000037cc: PUSH1 0x00
000037ce: DUP3
000037cf: NOT
000037d0: DUP3
000037d1: GT
000037d2: ISZERO
000037d3: PUSH2 0x37de
000037d6: JUMPI
000037d7: PUSH2 0x37de
000037da: PUSH2 0x3762
000037dd: JUMP
000037de: JUMPDEST
000037df: POP
000037e0: ADD
000037e1: SWAP1
000037e2: JUMP
000037e3: JUMPDEST
000037e4: PUSH1 0x00
000037e6: DUP2
000037e7: PUSH1 0x00
000037e9: NOT
000037ea: DIV
000037eb: DUP4
000037ec: GT
000037ed: DUP3
000037ee: ISZERO
000037ef: ISZERO
000037f0: AND
000037f1: ISZERO
000037f2: PUSH2 0x37fd
000037f5: JUMPI
000037f6: PUSH2 0x37fd
000037f9: PUSH2 0x3762
000037fc: JUMP
000037fd: JUMPDEST
000037fe: POP
000037ff: MUL
00003800: SWAP1
00003801: JUMP
00003802: JUMPDEST
00003803: PUSH1 0x00
00003805: DUP3
00003806: DUP3
00003807: LT
00003808: ISZERO
00003809: PUSH2 0x3814
0000380c: JUMPI
0000380d: PUSH2 0x3814
00003810: PUSH2 0x3762
00003813: JUMP
00003814: JUMPDEST
00003815: POP
00003816: SUB
00003817: SWAP1
00003818: JUMP
00003819: JUMPDEST
0000381a: PUSH1 0x00
0000381c: PUSH1 0x20
0000381e: DUP3
0000381f: DUP5
00003820: SUB
00003821: SLT
00003822: ISZERO
00003823: PUSH2 0x382b
00003826: JUMPI
00003827: PUSH1 0x00
00003829: DUP1
0000382a: REVERT
0000382b: JUMPDEST
0000382c: POP
0000382d: MLOAD
0000382e: SWAP2
0000382f: SWAP1
00003830: POP
00003831: JUMP
00003832: JUMPDEST
00003833: PUSH4 0x4e487b71
00003838: PUSH1 0xe0
0000383a: SHL
0000383b: PUSH1 0x00
0000383d: MSTORE
0000383e: PUSH1 0x31
00003840: PUSH1 0x04
00003842: MSTORE
00003843: PUSH1 0x24
00003845: PUSH1 0x00
00003847: REVERT
00003848: JUMPDEST
00003849: PUSH1 0x00
0000384b: PUSH1 0x20
0000384d: DUP3
0000384e: DUP5
0000384f: SUB
00003850: SLT
00003851: ISZERO
00003852: PUSH2 0x385a
00003855: JUMPI
00003856: PUSH1 0x00
00003858: DUP1
00003859: REVERT
0000385a: JUMPDEST
0000385b: DUP2
0000385c: MLOAD
0000385d: PUSH2 0x255d
00003860: DUP2
00003861: PUSH2 0x3287
00003864: JUMP
00003865: JUMPDEST
00003866: PUSH4 0x4e487b71
0000386b: PUSH1 0xe0
0000386d: SHL
0000386e: PUSH1 0x00
00003870: MSTORE
00003871: PUSH1 0x12
00003873: PUSH1 0x04
00003875: MSTORE
00003876: PUSH1 0x24
00003878: PUSH1 0x00
0000387a: REVERT
0000387b: JUMPDEST
0000387c: PUSH1 0x00
0000387e: DUP3
0000387f: PUSH2 0x388a
00003882: JUMPI
00003883: PUSH2 0x388a
00003886: PUSH2 0x3865
00003889: JUMP
0000388a: JUMPDEST
0000388b: POP
0000388c: DIV
0000388d: SWAP1
0000388e: JUMP
0000388f: JUMPDEST
00003890: PUSH1 0x00
00003892: DUP4
00003893: MLOAD
00003894: PUSH2 0x38a1
00003897: DUP2
00003898: DUP5
00003899: PUSH1 0x20
0000389b: DUP9
0000389c: ADD
0000389d: PUSH2 0x334e
000038a0: JUMP
000038a1: JUMPDEST
000038a2: DUP4
000038a3: MLOAD
000038a4: SWAP1
000038a5: DUP4
000038a6: ADD
000038a7: SWAP1
000038a8: PUSH2 0x38b5
000038ab: DUP2
000038ac: DUP4
000038ad: PUSH1 0x20
000038af: DUP9
000038b0: ADD
000038b1: PUSH2 0x334e
000038b4: JUMP
000038b5: JUMPDEST
000038b6: ADD
000038b7: SWAP5
000038b8: SWAP4
000038b9: POP
000038ba: POP
000038bb: POP
000038bc: POP
000038bd: JUMP
000038be: JUMPDEST
000038bf: PUSH1 0x00
000038c1: PUSH1 0x01
000038c3: PUSH1 0x01
000038c5: PUSH1 0xa0
000038c7: SHL
000038c8: SUB
000038c9: DUP1
000038ca: DUP8
000038cb: AND
000038cc: DUP4
000038cd: MSTORE
000038ce: DUP1
000038cf: DUP7
000038d0: AND
000038d1: PUSH1 0x20
000038d3: DUP5
000038d4: ADD
000038d5: MSTORE
000038d6: POP
000038d7: DUP4
000038d8: PUSH1 0x40
000038da: DUP4
000038db: ADD
000038dc: MSTORE
000038dd: PUSH1 0x80
000038df: PUSH1 0x60
000038e1: DUP4
000038e2: ADD
000038e3: MSTORE
000038e4: PUSH2 0x38f0
000038e7: PUSH1 0x80
000038e9: DUP4
000038ea: ADD
000038eb: DUP5
000038ec: PUSH2 0x337a
000038ef: JUMP
000038f0: JUMPDEST
000038f1: SWAP7
000038f2: SWAP6
000038f3: POP
000038f4: POP
000038f5: POP
000038f6: POP
000038f7: POP
000038f8: POP
000038f9: JUMP
000038fa: JUMPDEST
000038fb: PUSH1 0x00
000038fd: PUSH1 0x20
000038ff: DUP3
00003900: DUP5
00003901: SUB
00003902: SLT
00003903: ISZERO
00003904: PUSH2 0x390c
00003907: JUMPI
00003908: PUSH1 0x00
0000390a: DUP1
0000390b: REVERT
0000390c: JUMPDEST
0000390d: DUP2
0000390e: MLOAD
0000390f: PUSH2 0x255d
00003912: DUP2
00003913: PUSH2 0x320d
00003916: JUMP
00003917: JUMPDEST
00003918: PUSH1 0x00
0000391a: DUP3
0000391b: PUSH2 0x3926
0000391e: JUMPI
0000391f: PUSH2 0x3926
00003922: PUSH2 0x3865
00003925: JUMP
00003926: JUMPDEST
00003927: POP
00003928: MOD
00003929: SWAP1
0000392a: JUMP
0000392b: INVALID
0000392c: UNKNOWN(0x4F)
0000392d: PUSH24 0x6e61626c653a2063616c6c6572206973206e6f7420746865
00003946: KECCAK256
00003947: PUSH16 0x776e6572a2646970667358221220ea4b
00003958: PUSH20 0x5d17dc995a2f666243de816745406063f64784ee
0000396d: STATICCALL
0000396e: UNKNOWN(0xB8)
0000396f: UNKNOWN(0xB4)
00003970: KECCAK256
00003971: UNKNOWN(0xC2)
00003972: CALLVALUE
00003973: UNKNOWN(0x24)
00003974: PC
00003975: SSTORE
00003976: PUSH5 0x736f6c6343
0000397c: STOP
0000397d: ADDMOD
0000397e: UNKNOWN(0x0D)
0000397f: STOP
00003980: 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: 0x4f6a1e02a02b4b3df7c34692c30d13c1ace227934a59e3bb71534b6faa6be80a call_targets: 0xf579da4ef2b45e3d0c2f3969695d3634782576d4 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x4f6a1e02a02b4b3df7c34692c30d13c1ace227934a59e3bb71534b6faa6be80a", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf579da4ef2b45e3d0c2f3969695d3634782576d4" ], "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": "0xf3fef3a3", "selector": "0xf3fef3a3", "calldata_variants": [ "0xf3fef3a3", "0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf6c9550d", "selector": "0xf6c9550d", "calldata_variants": [ "0xf6c9550d", "0xf6c9550d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfffb21d6", "selector": "0xfffb21d6", "calldata_variants": [ "0xfffb21d6", "0xfffb21d60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xef5d9ae8", "selector": "0xef5d9ae8", "calldata_variants": [ "0xef5d9ae8", "0xef5d9ae80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe8b2aea0", "selector": "0xe8b2aea0", "calldata_variants": [ "0xe8b2aea0", "0xe8b2aea00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe9027f3a", "selector": "0xe9027f3a", "calldata_variants": [ "0xe9027f3a", "0xe9027f3a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4640, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 6959, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 8430, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 5, "guards_detected": [], "untrusted_call_count": 5 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x4f6a1e02a02b4b3df7c34692c30d13c1ace227934a59e3bb71534b6faa6be80a call_targets: 0xf579da4ef2b45e3d0c2f3969695d3634782576d4 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x4f6a1e02a02b4b3df7c34692c30d13c1ace227934a59e3bb71534b6faa6be80a", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf579da4ef2b45e3d0c2f3969695d3634782576d4" ], "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": "0xf3fef3a3", "selector": "0xf3fef3a3", "calldata_variants": [ "0xf3fef3a3", "0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf6c9550d", "selector": "0xf6c9550d", "calldata_variants": [ "0xf6c9550d", "0xf6c9550d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfffb21d6", "selector": "0xfffb21d6", "calldata_variants": [ "0xfffb21d6", "0xfffb21d60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xef5d9ae8", "selector": "0xef5d9ae8", "calldata_variants": [ "0xef5d9ae8", "0xef5d9ae80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe8b2aea0", "selector": "0xe8b2aea0", "calldata_variants": [ "0xe8b2aea0", "0xe8b2aea00000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe9027f3a", "selector": "0xe9027f3a", "calldata_variants": [ "0xe9027f3a", "0xe9027f3a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4640, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 6959, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 8430, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 5, "guards_detected": [] }
Severity