Analysis Run

019b477e-c60e-7043-8dc5-99ef1e33181f
complete
Chain ID
1
Address
0xf40edd5f75a338bd26de6fac1c36a18c0874b870
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
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
25707	artifact.fetch	complete	1 / 3	3 months ago
25708	tool.cast_disasm	complete	1 / 3	3 months ago
69018	analysis.bundle	complete	1 / 3	2 weeks ago
69019	capability.graph	complete	1 / 3	2 weeks ago
69020	detector.run	complete	1 / 3	2 weeks ago
69021	validation.fork	complete	1 / 3	2 weeks ago
Artifact

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

tool.slither
No slither job recorded yet.
Codex

report.consolidate
No codex job recorded yet.
Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
2
EXT*/BALANCE
1
Total opcodes
5952
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 0x02bb
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x6352211e
00000019: GT
0000001a: PUSH2 0x016e
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb88d4fde
00000024: GT
00000025: PUSH2 0x00cb
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe985e9c5
0000002f: GT
00000030: PUSH2 0x007f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf2fde38b
0000003a: GT
0000003b: PUSH2 0x0064
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x0763
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf4a725e2
00000050: EQ
00000051: PUSH2 0x0783
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfba7d7cb
0000005b: EQ
0000005c: PUSH2 0x07a3
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xe985e9c5
0000006b: EQ
0000006c: PUSH2 0x0707
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xefd0cbf9
00000076: EQ
00000077: PUSH2 0x0750
0000007a: JUMPI
0000007b: PUSH1 0x00
0000007d: DUP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0xc87b56dd
00000086: GT
00000087: PUSH2 0x00b0
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0xc87b56dd
00000091: EQ
00000092: PUSH2 0x06a7
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xca800144
0000009c: EQ
0000009d: PUSH2 0x06c7
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xe268e4d3
000000a7: EQ
000000a8: PUSH2 0x06e7
000000ab: JUMPI
000000ac: PUSH1 0x00
000000ae: DUP1
000000af: REVERT
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0xb88d4fde
000000b7: EQ
000000b8: PUSH2 0x0671
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0xc1e59645
000000c2: EQ
000000c3: PUSH2 0x0691
000000c6: JUMPI
000000c7: PUSH1 0x00
000000c9: DUP1
000000ca: REVERT
000000cb: JUMPDEST
000000cc: DUP1
000000cd: PUSH4 0x8774e5d0
000000d2: GT
000000d3: PUSH2 0x0122
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x95d89b41
000000dd: GT
000000de: PUSH2 0x0107
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x95d89b41
000000e8: EQ
000000e9: PUSH2 0x0626
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0xa035b1fe
000000f3: EQ
000000f4: PUSH2 0x063b
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0xa22cb465
000000fe: EQ
000000ff: PUSH2 0x0651
00000102: JUMPI
00000103: PUSH1 0x00
00000105: DUP1
00000106: REVERT
00000107: JUMPDEST
00000108: DUP1
00000109: PUSH4 0x8774e5d0
0000010e: EQ
0000010f: PUSH2 0x05e8
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0x8da5cb5b
00000119: EQ
0000011a: PUSH2 0x0608
0000011d: JUMPI
0000011e: PUSH1 0x00
00000120: DUP1
00000121: REVERT
00000122: JUMPDEST
00000123: DUP1
00000124: PUSH4 0x70a08231
00000129: GT
0000012a: PUSH2 0x0153
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0x70a08231
00000134: EQ
00000135: PUSH2 0x0593
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0x715018a6
0000013f: EQ
00000140: PUSH2 0x05b3
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x8295784d
0000014a: EQ
0000014b: PUSH2 0x05c8
0000014e: JUMPI
0000014f: PUSH1 0x00
00000151: DUP1
00000152: REVERT
00000153: JUMPDEST
00000154: DUP1
00000155: PUSH4 0x6352211e
0000015a: EQ
0000015b: PUSH2 0x055e
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0x6c0360eb
00000165: EQ
00000166: PUSH2 0x057e
00000169: JUMPI
0000016a: PUSH1 0x00
0000016c: DUP1
0000016d: REVERT
0000016e: JUMPDEST
0000016f: DUP1
00000170: PUSH4 0x3bbaac7b
00000175: GT
00000176: PUSH2 0x021c
00000179: JUMPI
0000017a: DUP1
0000017b: PUSH4 0x4f6ccce7
00000180: GT
00000181: PUSH2 0x01d0
00000184: JUMPI
00000185: DUP1
00000186: PUSH4 0x5696417c
0000018b: GT
0000018c: PUSH2 0x01b5
0000018f: JUMPI
00000190: DUP1
00000191: PUSH4 0x5696417c
00000196: EQ
00000197: PUSH2 0x050e
0000019a: JUMPI
0000019b: DUP1
0000019c: PUSH4 0x5c975abb
000001a1: EQ
000001a2: PUSH2 0x052e
000001a5: JUMPI
000001a6: DUP1
000001a7: PUSH4 0x5f36e6bf
000001ac: EQ
000001ad: PUSH2 0x0548
000001b0: JUMPI
000001b1: PUSH1 0x00
000001b3: DUP1
000001b4: REVERT
000001b5: JUMPDEST
000001b6: DUP1
000001b7: PUSH4 0x4f6ccce7
000001bc: EQ
000001bd: PUSH2 0x04ce
000001c0: JUMPI
000001c1: DUP1
000001c2: PUSH4 0x55f804b3
000001c7: EQ
000001c8: PUSH2 0x04ee
000001cb: JUMPI
000001cc: PUSH1 0x00
000001ce: DUP1
000001cf: REVERT
000001d0: JUMPDEST
000001d1: DUP1
000001d2: PUSH4 0x3e65408a
000001d7: GT
000001d8: PUSH2 0x0201
000001db: JUMPI
000001dc: DUP1
000001dd: PUSH4 0x3e65408a
000001e2: EQ
000001e3: PUSH2 0x0482
000001e6: JUMPI
000001e7: DUP1
000001e8: PUSH4 0x42842e0e
000001ed: EQ
000001ee: PUSH2 0x0498
000001f1: JUMPI
000001f2: DUP1
000001f3: PUSH4 0x453c2310
000001f8: EQ
000001f9: PUSH2 0x04b8
000001fc: JUMPI
000001fd: PUSH1 0x00
000001ff: DUP1
00000200: REVERT
00000201: JUMPDEST
00000202: DUP1
00000203: PUSH4 0x3bbaac7b
00000208: EQ
00000209: PUSH2 0x045a
0000020c: JUMPI
0000020d: DUP1
0000020e: PUSH4 0x3ccfd60b
00000213: EQ
00000214: PUSH2 0x046d
00000217: JUMPI
00000218: PUSH1 0x00
0000021a: DUP1
0000021b: REVERT
0000021c: JUMPDEST
0000021d: DUP1
0000021e: PUSH4 0x16c38b3c
00000223: GT
00000224: PUSH2 0x0273
00000227: JUMPI
00000228: DUP1
00000229: PUSH4 0x23b872dd
0000022e: GT
0000022f: PUSH2 0x0258
00000232: JUMPI
00000233: DUP1
00000234: PUSH4 0x23b872dd
00000239: EQ
0000023a: PUSH2 0x0404
0000023d: JUMPI
0000023e: DUP1
0000023f: PUSH4 0x2f745c59
00000244: EQ
00000245: PUSH2 0x0424
00000248: JUMPI
00000249: DUP1
0000024a: PUSH4 0x32cb6b0c
0000024f: EQ
00000250: PUSH2 0x0444
00000253: JUMPI
00000254: PUSH1 0x00
00000256: DUP1
00000257: REVERT
00000258: JUMPDEST
00000259: DUP1
0000025a: PUSH4 0x16c38b3c
0000025f: EQ
00000260: PUSH2 0x0391
00000263: JUMPI
00000264: DUP1
00000265: PUSH4 0x18160ddd
0000026a: EQ
0000026b: PUSH2 0x03b1
0000026e: JUMPI
0000026f: PUSH1 0x00
00000271: DUP1
00000272: REVERT
00000273: JUMPDEST
00000274: DUP1
00000275: PUSH4 0x081812fc
0000027a: GT
0000027b: PUSH2 0x02a4
0000027e: JUMPI
0000027f: DUP1
00000280: PUSH4 0x081812fc
00000285: EQ
00000286: PUSH2 0x0317
00000289: JUMPI
0000028a: DUP1
0000028b: PUSH4 0x095ea7b3
00000290: EQ
00000291: PUSH2 0x034f
00000294: JUMPI
00000295: DUP1
00000296: PUSH4 0x11b0037d
0000029b: EQ
0000029c: PUSH2 0x0371
0000029f: JUMPI
000002a0: PUSH1 0x00
000002a2: DUP1
000002a3: REVERT
000002a4: JUMPDEST
000002a5: DUP1
000002a6: PUSH4 0x01ffc9a7
000002ab: EQ
000002ac: PUSH2 0x02c0
000002af: JUMPI
000002b0: DUP1
000002b1: PUSH4 0x06fdde03
000002b6: EQ
000002b7: PUSH2 0x02f5
000002ba: JUMPI
000002bb: JUMPDEST
000002bc: PUSH1 0x00
000002be: DUP1
000002bf: REVERT
000002c0: JUMPDEST
000002c1: CALLVALUE
000002c2: DUP1
000002c3: ISZERO
000002c4: PUSH2 0x02cc
000002c7: JUMPI
000002c8: PUSH1 0x00
000002ca: DUP1
000002cb: REVERT
000002cc: JUMPDEST
000002cd: POP
000002ce: PUSH2 0x02e0
000002d1: PUSH2 0x02db
000002d4: CALLDATASIZE
000002d5: PUSH1 0x04
000002d7: PUSH2 0x26b8
000002da: JUMP
000002db: JUMPDEST
000002dc: PUSH2 0x07c3
000002df: JUMP
000002e0: JUMPDEST
000002e1: PUSH1 0x40
000002e3: MLOAD
000002e4: SWAP1
000002e5: ISZERO
000002e6: ISZERO
000002e7: DUP2
000002e8: MSTORE
000002e9: PUSH1 0x20
000002eb: ADD
000002ec: JUMPDEST
000002ed: PUSH1 0x40
000002ef: MLOAD
000002f0: DUP1
000002f1: SWAP2
000002f2: SUB
000002f3: SWAP1
000002f4: RETURN
000002f5: JUMPDEST
000002f6: CALLVALUE
000002f7: DUP1
000002f8: ISZERO
000002f9: PUSH2 0x0301
000002fc: JUMPI
000002fd: PUSH1 0x00
000002ff: DUP1
00000300: REVERT
00000301: JUMPDEST
00000302: POP
00000303: PUSH2 0x030a
00000306: PUSH2 0x08f4
00000309: JUMP
0000030a: JUMPDEST
0000030b: PUSH1 0x40
0000030d: MLOAD
0000030e: PUSH2 0x02ec
00000311: SWAP2
00000312: SWAP1
00000313: PUSH2 0x272d
00000316: JUMP
00000317: JUMPDEST
00000318: CALLVALUE
00000319: DUP1
0000031a: ISZERO
0000031b: PUSH2 0x0323
0000031e: JUMPI
0000031f: PUSH1 0x00
00000321: DUP1
00000322: REVERT
00000323: JUMPDEST
00000324: POP
00000325: PUSH2 0x0337
00000328: PUSH2 0x0332
0000032b: CALLDATASIZE
0000032c: PUSH1 0x04
0000032e: PUSH2 0x2740
00000331: JUMP
00000332: JUMPDEST
00000333: PUSH2 0x0986
00000336: JUMP
00000337: JUMPDEST
00000338: PUSH1 0x40
0000033a: MLOAD
0000033b: PUSH1 0x01
0000033d: PUSH1 0x01
0000033f: PUSH1 0xa0
00000341: SHL
00000342: SUB
00000343: SWAP1
00000344: SWAP2
00000345: AND
00000346: DUP2
00000347: MSTORE
00000348: PUSH1 0x20
0000034a: ADD
0000034b: PUSH2 0x02ec
0000034e: JUMP
0000034f: JUMPDEST
00000350: CALLVALUE
00000351: DUP1
00000352: ISZERO
00000353: PUSH2 0x035b
00000356: JUMPI
00000357: PUSH1 0x00
00000359: DUP1
0000035a: REVERT
0000035b: JUMPDEST
0000035c: POP
0000035d: PUSH2 0x036f
00000360: PUSH2 0x036a
00000363: CALLDATASIZE
00000364: PUSH1 0x04
00000366: PUSH2 0x2775
00000369: JUMP
0000036a: JUMPDEST
0000036b: PUSH2 0x09e3
0000036e: JUMP
0000036f: JUMPDEST
00000370: STOP
00000371: JUMPDEST
00000372: CALLVALUE
00000373: DUP1
00000374: ISZERO
00000375: PUSH2 0x037d
00000378: JUMPI
00000379: PUSH1 0x00
0000037b: DUP1
0000037c: REVERT
0000037d: JUMPDEST
0000037e: POP
0000037f: PUSH2 0x036f
00000382: PUSH2 0x038c
00000385: CALLDATASIZE
00000386: PUSH1 0x04
00000388: PUSH2 0x2740
0000038b: JUMP
0000038c: JUMPDEST
0000038d: PUSH2 0x0aa3
00000390: JUMP
00000391: JUMPDEST
00000392: CALLVALUE
00000393: DUP1
00000394: ISZERO
00000395: PUSH2 0x039d
00000398: JUMPI
00000399: PUSH1 0x00
0000039b: DUP1
0000039c: REVERT
0000039d: JUMPDEST
0000039e: POP
0000039f: PUSH2 0x036f
000003a2: PUSH2 0x03ac
000003a5: CALLDATASIZE
000003a6: PUSH1 0x04
000003a8: PUSH2 0x27af
000003ab: JUMP
000003ac: JUMPDEST
000003ad: PUSH2 0x0b07
000003b0: JUMP
000003b1: JUMPDEST
000003b2: CALLVALUE
000003b3: DUP1
000003b4: ISZERO
000003b5: PUSH2 0x03bd
000003b8: JUMPI
000003b9: PUSH1 0x00
000003bb: DUP1
000003bc: REVERT
000003bd: JUMPDEST
000003be: POP
000003bf: PUSH2 0x03f6
000003c2: PUSH1 0x01
000003c4: SLOAD
000003c5: PUSH16 0xffffffffffffffffffffffffffffffff
000003d6: PUSH17 0x0100000000000000000000000000000000
000003e8: DUP3
000003e9: DIV
000003ea: DUP2
000003eb: AND
000003ec: SWAP2
000003ed: DUP2
000003ee: AND
000003ef: SWAP2
000003f0: SWAP1
000003f1: SWAP2
000003f2: SUB
000003f3: AND
000003f4: SWAP1
000003f5: JUMP
000003f6: JUMPDEST
000003f7: PUSH1 0x40
000003f9: MLOAD
000003fa: SWAP1
000003fb: DUP2
000003fc: MSTORE
000003fd: PUSH1 0x20
000003ff: ADD
00000400: PUSH2 0x02ec
00000403: JUMP
00000404: JUMPDEST
00000405: CALLVALUE
00000406: DUP1
00000407: ISZERO
00000408: PUSH2 0x0410
0000040b: JUMPI
0000040c: PUSH1 0x00
0000040e: DUP1
0000040f: REVERT
00000410: JUMPDEST
00000411: POP
00000412: PUSH2 0x036f
00000415: PUSH2 0x041f
00000418: CALLDATASIZE
00000419: PUSH1 0x04
0000041b: PUSH2 0x27ca
0000041e: JUMP
0000041f: JUMPDEST
00000420: PUSH2 0x0b74
00000423: JUMP
00000424: JUMPDEST
00000425: CALLVALUE
00000426: DUP1
00000427: ISZERO
00000428: PUSH2 0x0430
0000042b: JUMPI
0000042c: PUSH1 0x00
0000042e: DUP1
0000042f: REVERT
00000430: JUMPDEST
00000431: POP
00000432: PUSH2 0x03f6
00000435: PUSH2 0x043f
00000438: CALLDATASIZE
00000439: PUSH1 0x04
0000043b: PUSH2 0x2775
0000043e: JUMP
0000043f: JUMPDEST
00000440: PUSH2 0x0b7f
00000443: JUMP
00000444: JUMPDEST
00000445: CALLVALUE
00000446: DUP1
00000447: ISZERO
00000448: PUSH2 0x0450
0000044b: JUMPI
0000044c: PUSH1 0x00
0000044e: DUP1
0000044f: REVERT
00000450: JUMPDEST
00000451: POP
00000452: PUSH2 0x03f6
00000455: PUSH2 0x2710
00000458: DUP2
00000459: JUMP
0000045a: JUMPDEST
0000045b: PUSH2 0x036f
0000045e: PUSH2 0x0468
00000461: CALLDATASIZE
00000462: PUSH1 0x04
00000464: PUSH2 0x2740
00000467: JUMP
00000468: JUMPDEST
00000469: PUSH2 0x0cc8
0000046c: JUMP
0000046d: JUMPDEST
0000046e: CALLVALUE
0000046f: DUP1
00000470: ISZERO
00000471: PUSH2 0x0479
00000474: JUMPI
00000475: PUSH1 0x00
00000477: DUP1
00000478: REVERT
00000479: JUMPDEST
0000047a: POP
0000047b: PUSH2 0x036f
0000047e: PUSH2 0x0df3
00000481: JUMP
00000482: JUMPDEST
00000483: CALLVALUE
00000484: DUP1
00000485: ISZERO
00000486: PUSH2 0x048e
00000489: JUMPI
0000048a: PUSH1 0x00
0000048c: DUP1
0000048d: REVERT
0000048e: JUMPDEST
0000048f: POP
00000490: PUSH2 0x03f6
00000493: PUSH1 0x0c
00000495: SLOAD
00000496: DUP2
00000497: JUMP
00000498: JUMPDEST
00000499: CALLVALUE
0000049a: DUP1
0000049b: ISZERO
0000049c: PUSH2 0x04a4
0000049f: JUMPI
000004a0: PUSH1 0x00
000004a2: DUP1
000004a3: REVERT
000004a4: JUMPDEST
000004a5: POP
000004a6: PUSH2 0x036f
000004a9: PUSH2 0x04b3
000004ac: CALLDATASIZE
000004ad: PUSH1 0x04
000004af: PUSH2 0x27ca
000004b2: JUMP
000004b3: JUMPDEST
000004b4: PUSH2 0x0e80
000004b7: JUMP
000004b8: JUMPDEST
000004b9: CALLVALUE
000004ba: DUP1
000004bb: ISZERO
000004bc: PUSH2 0x04c4
000004bf: JUMPI
000004c0: PUSH1 0x00
000004c2: DUP1
000004c3: REVERT
000004c4: JUMPDEST
000004c5: POP
000004c6: PUSH2 0x03f6
000004c9: PUSH1 0x09
000004cb: SLOAD
000004cc: DUP2
000004cd: JUMP
000004ce: JUMPDEST
000004cf: CALLVALUE
000004d0: DUP1
000004d1: ISZERO
000004d2: PUSH2 0x04da
000004d5: JUMPI
000004d6: PUSH1 0x00
000004d8: DUP1
000004d9: REVERT
000004da: JUMPDEST
000004db: POP
000004dc: PUSH2 0x03f6
000004df: PUSH2 0x04e9
000004e2: CALLDATASIZE
000004e3: PUSH1 0x04
000004e5: PUSH2 0x2740
000004e8: JUMP
000004e9: JUMPDEST
000004ea: PUSH2 0x0e9b
000004ed: JUMP
000004ee: JUMPDEST
000004ef: CALLVALUE
000004f0: DUP1
000004f1: ISZERO
000004f2: PUSH2 0x04fa
000004f5: JUMPI
000004f6: PUSH1 0x00
000004f8: DUP1
000004f9: REVERT
000004fa: JUMPDEST
000004fb: POP
000004fc: PUSH2 0x036f
000004ff: PUSH2 0x0509
00000502: CALLDATASIZE
00000503: PUSH1 0x04
00000505: PUSH2 0x2806
00000508: JUMP
00000509: JUMPDEST
0000050a: PUSH2 0x0f94
0000050d: JUMP
0000050e: JUMPDEST
0000050f: CALLVALUE
00000510: DUP1
00000511: ISZERO
00000512: PUSH2 0x051a
00000515: JUMPI
00000516: PUSH1 0x00
00000518: DUP1
00000519: REVERT
0000051a: JUMPDEST
0000051b: POP
0000051c: PUSH2 0x036f
0000051f: PUSH2 0x0529
00000522: CALLDATASIZE
00000523: PUSH1 0x04
00000525: PUSH2 0x2740
00000528: JUMP
00000529: JUMPDEST
0000052a: PUSH2 0x0ffa
0000052d: JUMP
0000052e: JUMPDEST
0000052f: CALLVALUE
00000530: DUP1
00000531: ISZERO
00000532: PUSH2 0x053a
00000535: JUMPI
00000536: PUSH1 0x00
00000538: DUP1
00000539: REVERT
0000053a: JUMPDEST
0000053b: POP
0000053c: PUSH1 0x0d
0000053e: SLOAD
0000053f: PUSH2 0x02e0
00000542: SWAP1
00000543: PUSH1 0xff
00000545: AND
00000546: DUP2
00000547: JUMP
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 0x03f6
00000559: PUSH1 0x0b
0000055b: SLOAD
0000055c: DUP2
0000055d: JUMP
0000055e: JUMPDEST
0000055f: CALLVALUE
00000560: DUP1
00000561: ISZERO
00000562: PUSH2 0x056a
00000565: JUMPI
00000566: PUSH1 0x00
00000568: DUP1
00000569: REVERT
0000056a: JUMPDEST
0000056b: POP
0000056c: PUSH2 0x0337
0000056f: PUSH2 0x0579
00000572: CALLDATASIZE
00000573: PUSH1 0x04
00000575: PUSH2 0x2740
00000578: JUMP
00000579: JUMPDEST
0000057a: PUSH2 0x1059
0000057d: JUMP
0000057e: JUMPDEST
0000057f: CALLVALUE
00000580: DUP1
00000581: ISZERO
00000582: PUSH2 0x058a
00000585: JUMPI
00000586: PUSH1 0x00
00000588: DUP1
00000589: REVERT
0000058a: JUMPDEST
0000058b: POP
0000058c: PUSH2 0x030a
0000058f: PUSH2 0x106b
00000592: JUMP
00000593: JUMPDEST
00000594: CALLVALUE
00000595: DUP1
00000596: ISZERO
00000597: PUSH2 0x059f
0000059a: JUMPI
0000059b: PUSH1 0x00
0000059d: DUP1
0000059e: REVERT
0000059f: JUMPDEST
000005a0: POP
000005a1: PUSH2 0x03f6
000005a4: PUSH2 0x05ae
000005a7: CALLDATASIZE
000005a8: PUSH1 0x04
000005aa: PUSH2 0x2878
000005ad: JUMP
000005ae: JUMPDEST
000005af: PUSH2 0x10f9
000005b2: JUMP
000005b3: JUMPDEST
000005b4: CALLVALUE
000005b5: DUP1
000005b6: ISZERO
000005b7: PUSH2 0x05bf
000005ba: JUMPI
000005bb: PUSH1 0x00
000005bd: DUP1
000005be: REVERT
000005bf: JUMPDEST
000005c0: POP
000005c1: PUSH2 0x036f
000005c4: PUSH2 0x1161
000005c7: JUMP
000005c8: JUMPDEST
000005c9: CALLVALUE
000005ca: DUP1
000005cb: ISZERO
000005cc: PUSH2 0x05d4
000005cf: JUMPI
000005d0: PUSH1 0x00
000005d2: DUP1
000005d3: REVERT
000005d4: JUMPDEST
000005d5: POP
000005d6: PUSH2 0x036f
000005d9: PUSH2 0x05e3
000005dc: CALLDATASIZE
000005dd: PUSH1 0x04
000005df: PUSH2 0x2893
000005e2: JUMP
000005e3: JUMPDEST
000005e4: PUSH2 0x11c7
000005e7: JUMP
000005e8: JUMPDEST
000005e9: CALLVALUE
000005ea: DUP1
000005eb: ISZERO
000005ec: PUSH2 0x05f4
000005ef: JUMPI
000005f0: PUSH1 0x00
000005f2: DUP1
000005f3: REVERT
000005f4: JUMPDEST
000005f5: POP
000005f6: PUSH2 0x036f
000005f9: PUSH2 0x0603
000005fc: CALLDATASIZE
000005fd: PUSH1 0x04
000005ff: PUSH2 0x2740
00000602: JUMP
00000603: JUMPDEST
00000604: PUSH2 0x129b
00000607: JUMP
00000608: JUMPDEST
00000609: CALLVALUE
0000060a: DUP1
0000060b: ISZERO
0000060c: PUSH2 0x0614
0000060f: JUMPI
00000610: PUSH1 0x00
00000612: DUP1
00000613: REVERT
00000614: JUMPDEST
00000615: POP
00000616: PUSH1 0x00
00000618: SLOAD
00000619: PUSH1 0x01
0000061b: PUSH1 0x01
0000061d: PUSH1 0xa0
0000061f: SHL
00000620: SUB
00000621: AND
00000622: PUSH2 0x0337
00000625: JUMP
00000626: JUMPDEST
00000627: CALLVALUE
00000628: DUP1
00000629: ISZERO
0000062a: PUSH2 0x0632
0000062d: JUMPI
0000062e: PUSH1 0x00
00000630: DUP1
00000631: REVERT
00000632: JUMPDEST
00000633: POP
00000634: PUSH2 0x030a
00000637: PUSH2 0x12fa
0000063a: JUMP
0000063b: JUMPDEST
0000063c: CALLVALUE
0000063d: DUP1
0000063e: ISZERO
0000063f: PUSH2 0x0647
00000642: JUMPI
00000643: PUSH1 0x00
00000645: DUP1
00000646: REVERT
00000647: JUMPDEST
00000648: POP
00000649: PUSH2 0x03f6
0000064c: PUSH1 0x0a
0000064e: SLOAD
0000064f: DUP2
00000650: JUMP
00000651: JUMPDEST
00000652: CALLVALUE
00000653: DUP1
00000654: ISZERO
00000655: PUSH2 0x065d
00000658: JUMPI
00000659: PUSH1 0x00
0000065b: DUP1
0000065c: REVERT
0000065d: JUMPDEST
0000065e: POP
0000065f: PUSH2 0x036f
00000662: PUSH2 0x066c
00000665: CALLDATASIZE
00000666: PUSH1 0x04
00000668: PUSH2 0x291f
0000066b: JUMP
0000066c: JUMPDEST
0000066d: PUSH2 0x1309
00000670: JUMP
00000671: JUMPDEST
00000672: CALLVALUE
00000673: DUP1
00000674: ISZERO
00000675: PUSH2 0x067d
00000678: JUMPI
00000679: PUSH1 0x00
0000067b: DUP1
0000067c: REVERT
0000067d: JUMPDEST
0000067e: POP
0000067f: PUSH2 0x036f
00000682: PUSH2 0x068c
00000685: CALLDATASIZE
00000686: PUSH1 0x04
00000688: PUSH2 0x2981
0000068b: JUMP
0000068c: JUMPDEST
0000068d: PUSH2 0x13b8
00000690: JUMP
00000691: JUMPDEST
00000692: CALLVALUE
00000693: DUP1
00000694: ISZERO
00000695: PUSH2 0x069d
00000698: JUMPI
00000699: PUSH1 0x00
0000069b: DUP1
0000069c: REVERT
0000069d: JUMPDEST
0000069e: POP
0000069f: PUSH2 0x03f6
000006a2: PUSH1 0x08
000006a4: SLOAD
000006a5: DUP2
000006a6: JUMP
000006a7: JUMPDEST
000006a8: CALLVALUE
000006a9: DUP1
000006aa: ISZERO
000006ab: PUSH2 0x06b3
000006ae: JUMPI
000006af: PUSH1 0x00
000006b1: DUP1
000006b2: REVERT
000006b3: JUMPDEST
000006b4: POP
000006b5: PUSH2 0x030a
000006b8: PUSH2 0x06c2
000006bb: CALLDATASIZE
000006bc: PUSH1 0x04
000006be: PUSH2 0x2740
000006c1: JUMP
000006c2: JUMPDEST
000006c3: PUSH2 0x1405
000006c6: JUMP
000006c7: JUMPDEST
000006c8: CALLVALUE
000006c9: DUP1
000006ca: ISZERO
000006cb: PUSH2 0x06d3
000006ce: JUMPI
000006cf: PUSH1 0x00
000006d1: DUP1
000006d2: REVERT
000006d3: JUMPDEST
000006d4: POP
000006d5: PUSH2 0x036f
000006d8: PUSH2 0x06e2
000006db: CALLDATASIZE
000006dc: PUSH1 0x04
000006de: PUSH2 0x2775
000006e1: JUMP
000006e2: JUMPDEST
000006e3: PUSH2 0x14a3
000006e6: JUMP
000006e7: JUMPDEST
000006e8: CALLVALUE
000006e9: DUP1
000006ea: ISZERO
000006eb: PUSH2 0x06f3
000006ee: JUMPI
000006ef: PUSH1 0x00
000006f1: DUP1
000006f2: REVERT
000006f3: JUMPDEST
000006f4: POP
000006f5: PUSH2 0x036f
000006f8: PUSH2 0x0702
000006fb: CALLDATASIZE
000006fc: PUSH1 0x04
000006fe: PUSH2 0x2740
00000701: JUMP
00000702: JUMPDEST
00000703: PUSH2 0x1510
00000706: JUMP
00000707: JUMPDEST
00000708: CALLVALUE
00000709: DUP1
0000070a: ISZERO
0000070b: PUSH2 0x0713
0000070e: JUMPI
0000070f: PUSH1 0x00
00000711: DUP1
00000712: REVERT
00000713: JUMPDEST
00000714: POP
00000715: PUSH2 0x02e0
00000718: PUSH2 0x0722
0000071b: CALLDATASIZE
0000071c: PUSH1 0x04
0000071e: PUSH2 0x2a5d
00000721: JUMP
00000722: JUMPDEST
00000723: PUSH1 0x01
00000725: PUSH1 0x01
00000727: PUSH1 0xa0
00000729: SHL
0000072a: SUB
0000072b: SWAP2
0000072c: DUP3
0000072d: AND
0000072e: PUSH1 0x00
00000730: SWAP1
00000731: DUP2
00000732: MSTORE
00000733: PUSH1 0x07
00000735: PUSH1 0x20
00000737: SWAP1
00000738: DUP2
00000739: MSTORE
0000073a: PUSH1 0x40
0000073c: DUP1
0000073d: DUP4
0000073e: KECCAK256
0000073f: SWAP4
00000740: SWAP1
00000741: SWAP5
00000742: AND
00000743: DUP3
00000744: MSTORE
00000745: SWAP2
00000746: SWAP1
00000747: SWAP2
00000748: MSTORE
00000749: KECCAK256
0000074a: SLOAD
0000074b: PUSH1 0xff
0000074d: AND
0000074e: SWAP1
0000074f: JUMP
00000750: JUMPDEST
00000751: PUSH2 0x036f
00000754: PUSH2 0x075e
00000757: CALLDATASIZE
00000758: PUSH1 0x04
0000075a: PUSH2 0x2740
0000075d: JUMP
0000075e: JUMPDEST
0000075f: PUSH2 0x156f
00000762: JUMP
00000763: JUMPDEST
00000764: CALLVALUE
00000765: DUP1
00000766: ISZERO
00000767: PUSH2 0x076f
0000076a: JUMPI
0000076b: PUSH1 0x00
0000076d: DUP1
0000076e: REVERT
0000076f: JUMPDEST
00000770: POP
00000771: PUSH2 0x036f
00000774: PUSH2 0x077e
00000777: CALLDATASIZE
00000778: PUSH1 0x04
0000077a: PUSH2 0x2878
0000077d: JUMP
0000077e: JUMPDEST
0000077f: PUSH2 0x15d8
00000782: JUMP
00000783: JUMPDEST
00000784: CALLVALUE
00000785: DUP1
00000786: ISZERO
00000787: PUSH2 0x078f
0000078a: JUMPI
0000078b: PUSH1 0x00
0000078d: DUP1
0000078e: REVERT
0000078f: JUMPDEST
00000790: POP
00000791: PUSH2 0x036f
00000794: PUSH2 0x079e
00000797: CALLDATASIZE
00000798: PUSH1 0x04
0000079a: PUSH2 0x2740
0000079d: JUMP
0000079e: JUMPDEST
0000079f: PUSH2 0x16b7
000007a2: JUMP
000007a3: JUMPDEST
000007a4: CALLVALUE
000007a5: DUP1
000007a6: ISZERO
000007a7: PUSH2 0x07af
000007aa: JUMPI
000007ab: PUSH1 0x00
000007ad: DUP1
000007ae: REVERT
000007af: JUMPDEST
000007b0: POP
000007b1: PUSH2 0x036f
000007b4: PUSH2 0x07be
000007b7: CALLDATASIZE
000007b8: PUSH1 0x04
000007ba: PUSH2 0x2740
000007bd: JUMP
000007be: JUMPDEST
000007bf: PUSH2 0x1716
000007c2: JUMP
000007c3: JUMPDEST
000007c4: PUSH1 0x00
000007c6: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000007e7: DUP3
000007e8: AND
000007e9: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000
0000080a: EQ
0000080b: DUP1
0000080c: PUSH2 0x0856
0000080f: JUMPI
00000810: POP
00000811: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00000832: DUP3
00000833: AND
00000834: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000
00000855: EQ
00000856: JUMPDEST
00000857: DUP1
00000858: PUSH2 0x08a2
0000085b: JUMPI
0000085c: POP
0000085d: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000087e: DUP3
0000087f: AND
00000880: PUSH32 0x780e9d6300000000000000000000000000000000000000000000000000000000
000008a1: EQ
000008a2: JUMPDEST
000008a3: DUP1
000008a4: PUSH2 0x08ee
000008a7: JUMPI
000008a8: POP
000008a9: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
000008ca: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000008eb: DUP4
000008ec: AND
000008ed: EQ
000008ee: JUMPDEST
000008ef: SWAP3
000008f0: SWAP2
000008f1: POP
000008f2: POP
000008f3: JUMP
000008f4: JUMPDEST
000008f5: PUSH1 0x60
000008f7: PUSH1 0x02
000008f9: DUP1
000008fa: SLOAD
000008fb: PUSH2 0x0903
000008fe: SWAP1
000008ff: PUSH2 0x2a87
00000902: JUMP
00000903: JUMPDEST
00000904: DUP1
00000905: PUSH1 0x1f
00000907: ADD
00000908: PUSH1 0x20
0000090a: DUP1
0000090b: SWAP2
0000090c: DIV
0000090d: MUL
0000090e: PUSH1 0x20
00000910: ADD
00000911: PUSH1 0x40
00000913: MLOAD
00000914: SWAP1
00000915: DUP2
00000916: ADD
00000917: PUSH1 0x40
00000919: MSTORE
0000091a: DUP1
0000091b: SWAP3
0000091c: SWAP2
0000091d: SWAP1
0000091e: DUP2
0000091f: DUP2
00000920: MSTORE
00000921: PUSH1 0x20
00000923: ADD
00000924: DUP3
00000925: DUP1
00000926: SLOAD
00000927: PUSH2 0x092f
0000092a: SWAP1
0000092b: PUSH2 0x2a87
0000092e: JUMP
0000092f: JUMPDEST
00000930: DUP1
00000931: ISZERO
00000932: PUSH2 0x097c
00000935: JUMPI
00000936: DUP1
00000937: PUSH1 0x1f
00000939: LT
0000093a: PUSH2 0x0951
0000093d: JUMPI
0000093e: PUSH2 0x0100
00000941: DUP1
00000942: DUP4
00000943: SLOAD
00000944: DIV
00000945: MUL
00000946: DUP4
00000947: MSTORE
00000948: SWAP2
00000949: PUSH1 0x20
0000094b: ADD
0000094c: SWAP2
0000094d: PUSH2 0x097c
00000950: JUMP
00000951: JUMPDEST
00000952: DUP3
00000953: ADD
00000954: SWAP2
00000955: SWAP1
00000956: PUSH1 0x00
00000958: MSTORE
00000959: PUSH1 0x20
0000095b: PUSH1 0x00
0000095d: KECCAK256
0000095e: SWAP1
0000095f: JUMPDEST
00000960: DUP2
00000961: SLOAD
00000962: DUP2
00000963: MSTORE
00000964: SWAP1
00000965: PUSH1 0x01
00000967: ADD
00000968: SWAP1
00000969: PUSH1 0x20
0000096b: ADD
0000096c: DUP1
0000096d: DUP4
0000096e: GT
0000096f: PUSH2 0x095f
00000972: JUMPI
00000973: DUP3
00000974: SWAP1
00000975: SUB
00000976: PUSH1 0x1f
00000978: AND
00000979: DUP3
0000097a: ADD
0000097b: SWAP2
0000097c: JUMPDEST
0000097d: POP
0000097e: POP
0000097f: POP
00000980: POP
00000981: POP
00000982: SWAP1
00000983: POP
00000984: SWAP1
00000985: JUMP
00000986: JUMPDEST
00000987: PUSH1 0x00
00000989: PUSH2 0x0991
0000098c: DUP3
0000098d: PUSH2 0x1783
00000990: JUMP
00000991: JUMPDEST
00000992: PUSH2 0x09c7
00000995: JUMPI
00000996: PUSH1 0x40
00000998: MLOAD
00000999: PUSH32 0xcf4700e400000000000000000000000000000000000000000000000000000000
000009ba: DUP2
000009bb: MSTORE
000009bc: PUSH1 0x04
000009be: ADD
000009bf: PUSH1 0x40
000009c1: MLOAD
000009c2: DUP1
000009c3: SWAP2
000009c4: SUB
000009c5: SWAP1
000009c6: REVERT
000009c7: JUMPDEST
000009c8: POP
000009c9: PUSH1 0x00
000009cb: SWAP1
000009cc: DUP2
000009cd: MSTORE
000009ce: PUSH1 0x06
000009d0: PUSH1 0x20
000009d2: MSTORE
000009d3: PUSH1 0x40
000009d5: SWAP1
000009d6: KECCAK256
000009d7: SLOAD
000009d8: PUSH1 0x01
000009da: PUSH1 0x01
000009dc: PUSH1 0xa0
000009de: SHL
000009df: SUB
000009e0: AND
000009e1: SWAP1
000009e2: JUMP
000009e3: JUMPDEST
000009e4: PUSH1 0x00
000009e6: PUSH2 0x09ee
000009e9: DUP3
000009ea: PUSH2 0x1059
000009ed: JUMP
000009ee: JUMPDEST
000009ef: SWAP1
000009f0: POP
000009f1: DUP1
000009f2: PUSH1 0x01
000009f4: PUSH1 0x01
000009f6: PUSH1 0xa0
000009f8: SHL
000009f9: SUB
000009fa: AND
000009fb: DUP4
000009fc: PUSH1 0x01
000009fe: PUSH1 0x01
00000a00: PUSH1 0xa0
00000a02: SHL
00000a03: SUB
00000a04: AND
00000a05: EQ
00000a06: ISZERO
00000a07: PUSH2 0x0a3c
00000a0a: JUMPI
00000a0b: PUSH1 0x40
00000a0d: MLOAD
00000a0e: PUSH32 0x943f7b8c00000000000000000000000000000000000000000000000000000000
00000a2f: DUP2
00000a30: MSTORE
00000a31: PUSH1 0x04
00000a33: ADD
00000a34: PUSH1 0x40
00000a36: MLOAD
00000a37: DUP1
00000a38: SWAP2
00000a39: SUB
00000a3a: SWAP1
00000a3b: REVERT
00000a3c: JUMPDEST
00000a3d: CALLER
00000a3e: PUSH1 0x01
00000a40: PUSH1 0x01
00000a42: PUSH1 0xa0
00000a44: SHL
00000a45: SUB
00000a46: DUP3
00000a47: AND
00000a48: EQ
00000a49: DUP1
00000a4a: ISZERO
00000a4b: SWAP1
00000a4c: PUSH2 0x0a5c
00000a4f: JUMPI
00000a50: POP
00000a51: PUSH2 0x0a5a
00000a54: DUP2
00000a55: CALLER
00000a56: PUSH2 0x0722
00000a59: JUMP
00000a5a: JUMPDEST
00000a5b: ISZERO
00000a5c: JUMPDEST
00000a5d: ISZERO
00000a5e: PUSH2 0x0a93
00000a61: JUMPI
00000a62: PUSH1 0x40
00000a64: MLOAD
00000a65: PUSH32 0xcfb3b94200000000000000000000000000000000000000000000000000000000
00000a86: DUP2
00000a87: MSTORE
00000a88: PUSH1 0x04
00000a8a: ADD
00000a8b: PUSH1 0x40
00000a8d: MLOAD
00000a8e: DUP1
00000a8f: SWAP2
00000a90: SUB
00000a91: SWAP1
00000a92: REVERT
00000a93: JUMPDEST
00000a94: PUSH2 0x0a9e
00000a97: DUP4
00000a98: DUP4
00000a99: DUP4
00000a9a: PUSH2 0x17db
00000a9d: JUMP
00000a9e: JUMPDEST
00000a9f: POP
00000aa0: POP
00000aa1: POP
00000aa2: JUMP
00000aa3: JUMPDEST
00000aa4: PUSH1 0x00
00000aa6: SLOAD
00000aa7: PUSH1 0x01
00000aa9: PUSH1 0x01
00000aab: PUSH1 0xa0
00000aad: SHL
00000aae: SUB
00000aaf: AND
00000ab0: CALLER
00000ab1: EQ
00000ab2: PUSH2 0x0b02
00000ab5: JUMPI
00000ab6: PUSH1 0x40
00000ab8: MLOAD
00000ab9: PUSH3 0x461bcd
00000abd: PUSH1 0xe5
00000abf: SHL
00000ac0: DUP2
00000ac1: MSTORE
00000ac2: PUSH1 0x20
00000ac4: PUSH1 0x04
00000ac6: DUP3
00000ac7: ADD
00000ac8: DUP2
00000ac9: SWAP1
00000aca: MSTORE
00000acb: PUSH1 0x24
00000acd: DUP3
00000ace: ADD
00000acf: MSTORE
00000ad0: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000af1: PUSH1 0x44
00000af3: DUP3
00000af4: ADD
00000af5: MSTORE
00000af6: PUSH1 0x64
00000af8: ADD
00000af9: JUMPDEST
00000afa: PUSH1 0x40
00000afc: MLOAD
00000afd: DUP1
00000afe: SWAP2
00000aff: SUB
00000b00: SWAP1
00000b01: REVERT
00000b02: JUMPDEST
00000b03: PUSH1 0x0b
00000b05: SSTORE
00000b06: JUMP
00000b07: JUMPDEST
00000b08: PUSH1 0x00
00000b0a: SLOAD
00000b0b: PUSH1 0x01
00000b0d: PUSH1 0x01
00000b0f: PUSH1 0xa0
00000b11: SHL
00000b12: SUB
00000b13: AND
00000b14: CALLER
00000b15: EQ
00000b16: PUSH2 0x0b61
00000b19: JUMPI
00000b1a: PUSH1 0x40
00000b1c: MLOAD
00000b1d: PUSH3 0x461bcd
00000b21: PUSH1 0xe5
00000b23: SHL
00000b24: DUP2
00000b25: MSTORE
00000b26: PUSH1 0x20
00000b28: PUSH1 0x04
00000b2a: DUP3
00000b2b: ADD
00000b2c: DUP2
00000b2d: SWAP1
00000b2e: MSTORE
00000b2f: PUSH1 0x24
00000b31: DUP3
00000b32: ADD
00000b33: MSTORE
00000b34: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000b55: PUSH1 0x44
00000b57: DUP3
00000b58: ADD
00000b59: MSTORE
00000b5a: PUSH1 0x64
00000b5c: ADD
00000b5d: PUSH2 0x0af9
00000b60: JUMP
00000b61: JUMPDEST
00000b62: PUSH1 0x0d
00000b64: DUP1
00000b65: SLOAD
00000b66: PUSH1 0xff
00000b68: NOT
00000b69: AND
00000b6a: SWAP2
00000b6b: ISZERO
00000b6c: ISZERO
00000b6d: SWAP2
00000b6e: SWAP1
00000b6f: SWAP2
00000b70: OR
00000b71: SWAP1
00000b72: SSTORE
00000b73: JUMP
00000b74: JUMPDEST
00000b75: PUSH2 0x0a9e
00000b78: DUP4
00000b79: DUP4
00000b7a: DUP4
00000b7b: PUSH2 0x184f
00000b7e: JUMP
00000b7f: JUMPDEST
00000b80: PUSH1 0x00
00000b82: PUSH2 0x0b8a
00000b85: DUP4
00000b86: PUSH2 0x10f9
00000b89: JUMP
00000b8a: JUMPDEST
00000b8b: DUP3
00000b8c: LT
00000b8d: PUSH2 0x0bc2
00000b90: JUMPI
00000b91: PUSH1 0x40
00000b93: MLOAD
00000b94: PUSH32 0x0ddac30e00000000000000000000000000000000000000000000000000000000
00000bb5: DUP2
00000bb6: MSTORE
00000bb7: PUSH1 0x04
00000bb9: ADD
00000bba: PUSH1 0x40
00000bbc: MLOAD
00000bbd: DUP1
00000bbe: SWAP2
00000bbf: SUB
00000bc0: SWAP1
00000bc1: REVERT
00000bc2: JUMPDEST
00000bc3: PUSH1 0x01
00000bc5: SLOAD
00000bc6: PUSH16 0xffffffffffffffffffffffffffffffff
00000bd7: AND
00000bd8: PUSH1 0x00
00000bda: DUP1
00000bdb: DUP1
00000bdc: JUMPDEST
00000bdd: DUP4
00000bde: DUP2
00000bdf: LT
00000be0: ISZERO
00000be1: PUSH2 0x0cc2
00000be4: JUMPI
00000be5: PUSH1 0x00
00000be7: DUP2
00000be8: DUP2
00000be9: MSTORE
00000bea: PUSH1 0x04
00000bec: PUSH1 0x20
00000bee: SWAP1
00000bef: DUP2
00000bf0: MSTORE
00000bf1: PUSH1 0x40
00000bf3: SWAP2
00000bf4: DUP3
00000bf5: SWAP1
00000bf6: KECCAK256
00000bf7: DUP3
00000bf8: MLOAD
00000bf9: PUSH1 0x60
00000bfb: DUP2
00000bfc: ADD
00000bfd: DUP5
00000bfe: MSTORE
00000bff: SWAP1
00000c00: SLOAD
00000c01: PUSH1 0x01
00000c03: PUSH1 0x01
00000c05: PUSH1 0xa0
00000c07: SHL
00000c08: SUB
00000c09: DUP2
00000c0a: AND
00000c0b: DUP3
00000c0c: MSTORE
00000c0d: PUSH21 0x010000000000000000000000000000000000000000
00000c23: DUP2
00000c24: DIV
00000c25: PUSH8 0xffffffffffffffff
00000c2e: AND
00000c2f: SWAP3
00000c30: DUP3
00000c31: ADD
00000c32: SWAP3
00000c33: SWAP1
00000c34: SWAP3
00000c35: MSTORE
00000c36: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000c54: SWAP1
00000c55: SWAP2
00000c56: DIV
00000c57: PUSH1 0xff
00000c59: AND
00000c5a: ISZERO
00000c5b: DUP1
00000c5c: ISZERO
00000c5d: SWAP3
00000c5e: DUP3
00000c5f: ADD
00000c60: SWAP3
00000c61: SWAP1
00000c62: SWAP3
00000c63: MSTORE
00000c64: SWAP1
00000c65: PUSH2 0x0c6e
00000c68: JUMPI
00000c69: POP
00000c6a: PUSH2 0x0cba
00000c6d: JUMP
00000c6e: JUMPDEST
00000c6f: DUP1
00000c70: MLOAD
00000c71: PUSH1 0x01
00000c73: PUSH1 0x01
00000c75: PUSH1 0xa0
00000c77: SHL
00000c78: SUB
00000c79: AND
00000c7a: ISZERO
00000c7b: PUSH2 0x0c83
00000c7e: JUMPI
00000c7f: DUP1
00000c80: MLOAD
00000c81: SWAP3
00000c82: POP
00000c83: JUMPDEST
00000c84: DUP8
00000c85: PUSH1 0x01
00000c87: PUSH1 0x01
00000c89: PUSH1 0xa0
00000c8b: SHL
00000c8c: SUB
00000c8d: AND
00000c8e: DUP4
00000c8f: PUSH1 0x01
00000c91: PUSH1 0x01
00000c93: PUSH1 0xa0
00000c95: SHL
00000c96: SUB
00000c97: AND
00000c98: EQ
00000c99: ISZERO
00000c9a: PUSH2 0x0cb8
00000c9d: JUMPI
00000c9e: DUP7
00000c9f: DUP5
00000ca0: EQ
00000ca1: ISZERO
00000ca2: PUSH2 0x0cb1
00000ca5: JUMPI
00000ca6: POP
00000ca7: SWAP4
00000ca8: POP
00000ca9: PUSH2 0x08ee
00000cac: SWAP3
00000cad: POP
00000cae: POP
00000caf: POP
00000cb0: JUMP
00000cb1: JUMPDEST
00000cb2: PUSH1 0x01
00000cb4: SWAP1
00000cb5: SWAP4
00000cb6: ADD
00000cb7: SWAP3
00000cb8: JUMPDEST
00000cb9: POP
00000cba: JUMPDEST
00000cbb: PUSH1 0x01
00000cbd: ADD
00000cbe: PUSH2 0x0bdc
00000cc1: JUMP
00000cc2: JUMPDEST
00000cc3: POP
00000cc4: PUSH1 0x00
00000cc6: DUP1
00000cc7: REVERT
00000cc8: JUMPDEST
00000cc9: PUSH1 0x0b
00000ccb: SLOAD
00000ccc: TIMESTAMP
00000ccd: LT
00000cce: ISZERO
00000ccf: PUSH2 0x0d1a
00000cd2: JUMPI
00000cd3: PUSH1 0x40
00000cd5: MLOAD
00000cd6: PUSH3 0x461bcd
00000cda: PUSH1 0xe5
00000cdc: SHL
00000cdd: DUP2
00000cde: MSTORE
00000cdf: PUSH1 0x20
00000ce1: PUSH1 0x04
00000ce3: DUP3
00000ce4: ADD
00000ce5: MSTORE
00000ce6: PUSH1 0x1c
00000ce8: PUSH1 0x24
00000cea: DUP3
00000ceb: ADD
00000cec: MSTORE
00000ced: PUSH32 0x5072652073616c6520686173206e6f7420737461727465642079657400000000
00000d0e: PUSH1 0x44
00000d10: DUP3
00000d11: ADD
00000d12: MSTORE
00000d13: PUSH1 0x64
00000d15: ADD
00000d16: PUSH2 0x0af9
00000d19: JUMP
00000d1a: JUMPDEST
00000d1b: CALLER
00000d1c: PUSH1 0x00
00000d1e: SWAP1
00000d1f: DUP2
00000d20: MSTORE
00000d21: PUSH1 0x10
00000d23: PUSH1 0x20
00000d25: MSTORE
00000d26: PUSH1 0x40
00000d28: SWAP1
00000d29: KECCAK256
00000d2a: SLOAD
00000d2b: PUSH1 0xff
00000d2d: AND
00000d2e: DUP2
00000d2f: GT
00000d30: ISZERO
00000d31: PUSH2 0x0da2
00000d34: JUMPI
00000d35: PUSH1 0x40
00000d37: MLOAD
00000d38: PUSH3 0x461bcd
00000d3c: PUSH1 0xe5
00000d3e: SHL
00000d3f: DUP2
00000d40: MSTORE
00000d41: PUSH1 0x20
00000d43: PUSH1 0x04
00000d45: DUP3
00000d46: ADD
00000d47: MSTORE
00000d48: PUSH1 0x2c
00000d4a: PUSH1 0x24
00000d4c: DUP3
00000d4d: ADD
00000d4e: MSTORE
00000d4f: PUSH32 0x4578636565646564206d617820617661696c61626c6520746f20616c6c6f776c
00000d70: PUSH1 0x44
00000d72: DUP3
00000d73: ADD
00000d74: MSTORE
00000d75: PUSH32 0x6973742070757263686173650000000000000000000000000000000000000000
00000d96: PUSH1 0x64
00000d98: DUP3
00000d99: ADD
00000d9a: MSTORE
00000d9b: PUSH1 0x84
00000d9d: ADD
00000d9e: PUSH2 0x0af9
00000da1: JUMP
00000da2: JUMPDEST
00000da3: PUSH2 0x0dac
00000da6: CALLVALUE
00000da7: DUP3
00000da8: PUSH2 0x1b2c
00000dab: JUMP
00000dac: JUMPDEST
00000dad: PUSH2 0x0db6
00000db0: CALLER
00000db1: DUP3
00000db2: PUSH2 0x1d41
00000db5: JUMP
00000db6: JUMPDEST
00000db7: CALLER
00000db8: PUSH1 0x00
00000dba: SWAP1
00000dbb: DUP2
00000dbc: MSTORE
00000dbd: PUSH1 0x10
00000dbf: PUSH1 0x20
00000dc1: MSTORE
00000dc2: PUSH1 0x40
00000dc4: DUP2
00000dc5: KECCAK256
00000dc6: DUP1
00000dc7: SLOAD
00000dc8: DUP4
00000dc9: SWAP3
00000dca: SWAP1
00000dcb: PUSH2 0x0dd8
00000dce: SWAP1
00000dcf: DUP5
00000dd0: SWAP1
00000dd1: PUSH1 0xff
00000dd3: AND
00000dd4: PUSH2 0x2b0a
00000dd7: JUMP
00000dd8: JUMPDEST
00000dd9: SWAP3
00000dda: POP
00000ddb: PUSH2 0x0100
00000dde: EXP
00000ddf: DUP2
00000de0: SLOAD
00000de1: DUP2
00000de2: PUSH1 0xff
00000de4: MUL
00000de5: NOT
00000de6: AND
00000de7: SWAP1
00000de8: DUP4
00000de9: PUSH1 0xff
00000deb: AND
00000dec: MUL
00000ded: OR
00000dee: SWAP1
00000def: SSTORE
00000df0: POP
00000df1: POP
00000df2: JUMP
00000df3: JUMPDEST
00000df4: PUSH1 0x00
00000df6: SLOAD
00000df7: PUSH1 0x01
00000df9: PUSH1 0x01
00000dfb: PUSH1 0xa0
00000dfd: SHL
00000dfe: SUB
00000dff: AND
00000e00: CALLER
00000e01: EQ
00000e02: PUSH2 0x0e4d
00000e05: JUMPI
00000e06: PUSH1 0x40
00000e08: MLOAD
00000e09: PUSH3 0x461bcd
00000e0d: PUSH1 0xe5
00000e0f: SHL
00000e10: DUP2
00000e11: MSTORE
00000e12: PUSH1 0x20
00000e14: PUSH1 0x04
00000e16: DUP3
00000e17: ADD
00000e18: DUP2
00000e19: SWAP1
00000e1a: MSTORE
00000e1b: PUSH1 0x24
00000e1d: DUP3
00000e1e: ADD
00000e1f: MSTORE
00000e20: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000e41: PUSH1 0x44
00000e43: DUP3
00000e44: ADD
00000e45: MSTORE
00000e46: PUSH1 0x64
00000e48: ADD
00000e49: PUSH2 0x0af9
00000e4c: JUMP
00000e4d: JUMPDEST
00000e4e: PUSH1 0x40
00000e50: MLOAD
00000e51: SELFBALANCE
00000e52: SWAP1
00000e53: CALLER
00000e54: SWAP1
00000e55: DUP3
00000e56: ISZERO
00000e57: PUSH2 0x08fc
00000e5a: MUL
00000e5b: SWAP1
00000e5c: DUP4
00000e5d: SWAP1
00000e5e: PUSH1 0x00
00000e60: DUP2
00000e61: DUP2
00000e62: DUP2
00000e63: DUP6
00000e64: DUP9
00000e65: DUP9
00000e66: CALL
00000e67: SWAP4
00000e68: POP
00000e69: POP
00000e6a: POP
00000e6b: POP
00000e6c: ISZERO
00000e6d: DUP1
00000e6e: ISZERO
00000e6f: PUSH2 0x0e7c
00000e72: JUMPI
00000e73: RETURNDATASIZE
00000e74: PUSH1 0x00
00000e76: DUP1
00000e77: RETURNDATACOPY
00000e78: RETURNDATASIZE
00000e79: PUSH1 0x00
00000e7b: REVERT
00000e7c: JUMPDEST
00000e7d: POP
00000e7e: POP
00000e7f: JUMP
00000e80: JUMPDEST
00000e81: PUSH2 0x0a9e
00000e84: DUP4
00000e85: DUP4
00000e86: DUP4
00000e87: PUSH1 0x40
00000e89: MLOAD
00000e8a: DUP1
00000e8b: PUSH1 0x20
00000e8d: ADD
00000e8e: PUSH1 0x40
00000e90: MSTORE
00000e91: DUP1
00000e92: PUSH1 0x00
00000e94: DUP2
00000e95: MSTORE
00000e96: POP
00000e97: PUSH2 0x13b8
00000e9a: JUMP
00000e9b: JUMPDEST
00000e9c: PUSH1 0x01
00000e9e: SLOAD
00000e9f: PUSH1 0x00
00000ea1: SWAP1
00000ea2: PUSH16 0xffffffffffffffffffffffffffffffff
00000eb3: AND
00000eb4: DUP2
00000eb5: DUP1
00000eb6: JUMPDEST
00000eb7: DUP3
00000eb8: DUP2
00000eb9: LT
00000eba: ISZERO
00000ebb: PUSH2 0x0f61
00000ebe: JUMPI
00000ebf: PUSH1 0x00
00000ec1: DUP2
00000ec2: DUP2
00000ec3: MSTORE
00000ec4: PUSH1 0x04
00000ec6: PUSH1 0x20
00000ec8: SWAP1
00000ec9: DUP2
00000eca: MSTORE
00000ecb: PUSH1 0x40
00000ecd: SWAP2
00000ece: DUP3
00000ecf: SWAP1
00000ed0: KECCAK256
00000ed1: DUP3
00000ed2: MLOAD
00000ed3: PUSH1 0x60
00000ed5: DUP2
00000ed6: ADD
00000ed7: DUP5
00000ed8: MSTORE
00000ed9: SWAP1
00000eda: SLOAD
00000edb: PUSH1 0x01
00000edd: PUSH1 0x01
00000edf: PUSH1 0xa0
00000ee1: SHL
00000ee2: SUB
00000ee3: DUP2
00000ee4: AND
00000ee5: DUP3
00000ee6: MSTORE
00000ee7: PUSH21 0x010000000000000000000000000000000000000000
00000efd: DUP2
00000efe: DIV
00000eff: PUSH8 0xffffffffffffffff
00000f08: AND
00000f09: SWAP3
00000f0a: DUP3
00000f0b: ADD
00000f0c: SWAP3
00000f0d: SWAP1
00000f0e: SWAP3
00000f0f: MSTORE
00000f10: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000f2e: SWAP1
00000f2f: SWAP2
00000f30: DIV
00000f31: PUSH1 0xff
00000f33: AND
00000f34: ISZERO
00000f35: ISZERO
00000f36: SWAP2
00000f37: DUP2
00000f38: ADD
00000f39: DUP3
00000f3a: SWAP1
00000f3b: MSTORE
00000f3c: SWAP1
00000f3d: PUSH2 0x0f58
00000f40: JUMPI
00000f41: DUP6
00000f42: DUP4
00000f43: EQ
00000f44: ISZERO
00000f45: PUSH2 0x0f51
00000f48: JUMPI
00000f49: POP
00000f4a: SWAP5
00000f4b: SWAP4
00000f4c: POP
00000f4d: POP
00000f4e: POP
00000f4f: POP
00000f50: JUMP
00000f51: JUMPDEST
00000f52: PUSH1 0x01
00000f54: SWAP1
00000f55: SWAP3
00000f56: ADD
00000f57: SWAP2
00000f58: JUMPDEST
00000f59: POP
00000f5a: PUSH1 0x01
00000f5c: ADD
00000f5d: PUSH2 0x0eb6
00000f60: JUMP
00000f61: JUMPDEST
00000f62: POP
00000f63: PUSH1 0x40
00000f65: MLOAD
00000f66: PUSH32 0xa723001c00000000000000000000000000000000000000000000000000000000
00000f87: DUP2
00000f88: MSTORE
00000f89: PUSH1 0x04
00000f8b: ADD
00000f8c: PUSH1 0x40
00000f8e: MLOAD
00000f8f: DUP1
00000f90: SWAP2
00000f91: SUB
00000f92: SWAP1
00000f93: REVERT
00000f94: JUMPDEST
00000f95: PUSH1 0x00
00000f97: SLOAD
00000f98: PUSH1 0x01
00000f9a: PUSH1 0x01
00000f9c: PUSH1 0xa0
00000f9e: SHL
00000f9f: SUB
00000fa0: AND
00000fa1: CALLER
00000fa2: EQ
00000fa3: PUSH2 0x0fee
00000fa6: JUMPI
00000fa7: PUSH1 0x40
00000fa9: MLOAD
00000faa: PUSH3 0x461bcd
00000fae: PUSH1 0xe5
00000fb0: SHL
00000fb1: DUP2
00000fb2: MSTORE
00000fb3: PUSH1 0x20
00000fb5: PUSH1 0x04
00000fb7: DUP3
00000fb8: ADD
00000fb9: DUP2
00000fba: SWAP1
00000fbb: MSTORE
00000fbc: PUSH1 0x24
00000fbe: DUP3
00000fbf: ADD
00000fc0: MSTORE
00000fc1: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000fe2: PUSH1 0x44
00000fe4: DUP3
00000fe5: ADD
00000fe6: MSTORE
00000fe7: PUSH1 0x64
00000fe9: ADD
00000fea: PUSH2 0x0af9
00000fed: JUMP
00000fee: JUMPDEST
00000fef: PUSH2 0x0a9e
00000ff2: PUSH1 0x0e
00000ff4: DUP4
00000ff5: DUP4
00000ff6: PUSH2 0x25f1
00000ff9: JUMP
00000ffa: JUMPDEST
00000ffb: PUSH1 0x00
00000ffd: SLOAD
00000ffe: PUSH1 0x01
00001000: PUSH1 0x01
00001002: PUSH1 0xa0
00001004: SHL
00001005: SUB
00001006: AND
00001007: CALLER
00001008: EQ
00001009: PUSH2 0x1054
0000100c: JUMPI
0000100d: PUSH1 0x40
0000100f: MLOAD
00001010: PUSH3 0x461bcd
00001014: PUSH1 0xe5
00001016: SHL
00001017: DUP2
00001018: MSTORE
00001019: PUSH1 0x20
0000101b: PUSH1 0x04
0000101d: DUP3
0000101e: ADD
0000101f: DUP2
00001020: SWAP1
00001021: MSTORE
00001022: PUSH1 0x24
00001024: DUP3
00001025: ADD
00001026: MSTORE
00001027: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001048: PUSH1 0x44
0000104a: DUP3
0000104b: ADD
0000104c: MSTORE
0000104d: PUSH1 0x64
0000104f: ADD
00001050: PUSH2 0x0af9
00001053: JUMP
00001054: JUMPDEST
00001055: PUSH1 0x0c
00001057: SSTORE
00001058: JUMP
00001059: JUMPDEST
0000105a: PUSH1 0x00
0000105c: PUSH2 0x1064
0000105f: DUP3
00001060: PUSH2 0x1d94
00001063: JUMP
00001064: JUMPDEST
00001065: MLOAD
00001066: SWAP3
00001067: SWAP2
00001068: POP
00001069: POP
0000106a: JUMP
0000106b: JUMPDEST
0000106c: PUSH1 0x0e
0000106e: DUP1
0000106f: SLOAD
00001070: PUSH2 0x1078
00001073: SWAP1
00001074: PUSH2 0x2a87
00001077: JUMP
00001078: JUMPDEST
00001079: DUP1
0000107a: PUSH1 0x1f
0000107c: ADD
0000107d: PUSH1 0x20
0000107f: DUP1
00001080: SWAP2
00001081: DIV
00001082: MUL
00001083: PUSH1 0x20
00001085: ADD
00001086: PUSH1 0x40
00001088: MLOAD
00001089: SWAP1
0000108a: DUP2
0000108b: ADD
0000108c: PUSH1 0x40
0000108e: MSTORE
0000108f: DUP1
00001090: SWAP3
00001091: SWAP2
00001092: SWAP1
00001093: DUP2
00001094: DUP2
00001095: MSTORE
00001096: PUSH1 0x20
00001098: ADD
00001099: DUP3
0000109a: DUP1
0000109b: SLOAD
0000109c: PUSH2 0x10a4
0000109f: SWAP1
000010a0: PUSH2 0x2a87
000010a3: JUMP
000010a4: JUMPDEST
000010a5: DUP1
000010a6: ISZERO
000010a7: PUSH2 0x10f1
000010aa: JUMPI
000010ab: DUP1
000010ac: PUSH1 0x1f
000010ae: LT
000010af: PUSH2 0x10c6
000010b2: JUMPI
000010b3: PUSH2 0x0100
000010b6: DUP1
000010b7: DUP4
000010b8: SLOAD
000010b9: DIV
000010ba: MUL
000010bb: DUP4
000010bc: MSTORE
000010bd: SWAP2
000010be: PUSH1 0x20
000010c0: ADD
000010c1: SWAP2
000010c2: PUSH2 0x10f1
000010c5: JUMP
000010c6: JUMPDEST
000010c7: DUP3
000010c8: ADD
000010c9: SWAP2
000010ca: SWAP1
000010cb: PUSH1 0x00
000010cd: MSTORE
000010ce: PUSH1 0x20
000010d0: PUSH1 0x00
000010d2: KECCAK256
000010d3: SWAP1
000010d4: JUMPDEST
000010d5: DUP2
000010d6: SLOAD
000010d7: DUP2
000010d8: MSTORE
000010d9: SWAP1
000010da: PUSH1 0x01
000010dc: ADD
000010dd: SWAP1
000010de: PUSH1 0x20
000010e0: ADD
000010e1: DUP1
000010e2: DUP4
000010e3: GT
000010e4: PUSH2 0x10d4
000010e7: JUMPI
000010e8: DUP3
000010e9: SWAP1
000010ea: SUB
000010eb: PUSH1 0x1f
000010ed: AND
000010ee: DUP3
000010ef: ADD
000010f0: SWAP2
000010f1: JUMPDEST
000010f2: POP
000010f3: POP
000010f4: POP
000010f5: POP
000010f6: POP
000010f7: DUP2
000010f8: JUMP
000010f9: JUMPDEST
000010fa: PUSH1 0x00
000010fc: PUSH1 0x01
000010fe: PUSH1 0x01
00001100: PUSH1 0xa0
00001102: SHL
00001103: SUB
00001104: DUP3
00001105: AND
00001106: PUSH2 0x113b
00001109: JUMPI
0000110a: PUSH1 0x40
0000110c: MLOAD
0000110d: PUSH32 0x8f4eb60400000000000000000000000000000000000000000000000000000000
0000112e: DUP2
0000112f: MSTORE
00001130: PUSH1 0x04
00001132: ADD
00001133: PUSH1 0x40
00001135: MLOAD
00001136: DUP1
00001137: SWAP2
00001138: SUB
00001139: SWAP1
0000113a: REVERT
0000113b: JUMPDEST
0000113c: POP
0000113d: PUSH1 0x01
0000113f: PUSH1 0x01
00001141: PUSH1 0xa0
00001143: SHL
00001144: SUB
00001145: AND
00001146: PUSH1 0x00
00001148: SWAP1
00001149: DUP2
0000114a: MSTORE
0000114b: PUSH1 0x05
0000114d: PUSH1 0x20
0000114f: MSTORE
00001150: PUSH1 0x40
00001152: SWAP1
00001153: KECCAK256
00001154: SLOAD
00001155: PUSH8 0xffffffffffffffff
0000115e: AND
0000115f: SWAP1
00001160: JUMP
00001161: JUMPDEST
00001162: PUSH1 0x00
00001164: SLOAD
00001165: PUSH1 0x01
00001167: PUSH1 0x01
00001169: PUSH1 0xa0
0000116b: SHL
0000116c: SUB
0000116d: AND
0000116e: CALLER
0000116f: EQ
00001170: PUSH2 0x11bb
00001173: JUMPI
00001174: PUSH1 0x40
00001176: MLOAD
00001177: PUSH3 0x461bcd
0000117b: PUSH1 0xe5
0000117d: SHL
0000117e: DUP2
0000117f: MSTORE
00001180: PUSH1 0x20
00001182: PUSH1 0x04
00001184: DUP3
00001185: ADD
00001186: DUP2
00001187: SWAP1
00001188: MSTORE
00001189: PUSH1 0x24
0000118b: DUP3
0000118c: ADD
0000118d: MSTORE
0000118e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000011af: PUSH1 0x44
000011b1: DUP3
000011b2: ADD
000011b3: MSTORE
000011b4: PUSH1 0x64
000011b6: ADD
000011b7: PUSH2 0x0af9
000011ba: JUMP
000011bb: JUMPDEST
000011bc: PUSH2 0x11c5
000011bf: PUSH1 0x00
000011c1: PUSH2 0x1f30
000011c4: JUMP
000011c5: JUMPDEST
000011c6: JUMP
000011c7: JUMPDEST
000011c8: PUSH1 0x00
000011ca: SLOAD
000011cb: PUSH1 0x01
000011cd: PUSH1 0x01
000011cf: PUSH1 0xa0
000011d1: SHL
000011d2: SUB
000011d3: AND
000011d4: CALLER
000011d5: EQ
000011d6: PUSH2 0x1221
000011d9: JUMPI
000011da: PUSH1 0x40
000011dc: MLOAD
000011dd: PUSH3 0x461bcd
000011e1: PUSH1 0xe5
000011e3: SHL
000011e4: DUP2
000011e5: MSTORE
000011e6: PUSH1 0x20
000011e8: PUSH1 0x04
000011ea: DUP3
000011eb: ADD
000011ec: DUP2
000011ed: SWAP1
000011ee: MSTORE
000011ef: PUSH1 0x24
000011f1: DUP3
000011f2: ADD
000011f3: MSTORE
000011f4: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001215: PUSH1 0x44
00001217: DUP3
00001218: ADD
00001219: MSTORE
0000121a: PUSH1 0x64
0000121c: ADD
0000121d: PUSH2 0x0af9
00001220: JUMP
00001221: JUMPDEST
00001222: PUSH1 0x00
00001224: JUMPDEST
00001225: DUP3
00001226: DUP2
00001227: LT
00001228: ISZERO
00001229: PUSH2 0x1295
0000122c: JUMPI
0000122d: DUP2
0000122e: PUSH1 0x10
00001230: PUSH1 0x00
00001232: DUP7
00001233: DUP7
00001234: DUP6
00001235: DUP2
00001236: DUP2
00001237: LT
00001238: PUSH2 0x1243
0000123b: JUMPI
0000123c: PUSH2 0x1243
0000123f: PUSH2 0x2b2d
00001242: JUMP
00001243: JUMPDEST
00001244: SWAP1
00001245: POP
00001246: PUSH1 0x20
00001248: MUL
00001249: ADD
0000124a: PUSH1 0x20
0000124c: DUP2
0000124d: ADD
0000124e: SWAP1
0000124f: PUSH2 0x1258
00001252: SWAP2
00001253: SWAP1
00001254: PUSH2 0x2878
00001257: JUMP
00001258: JUMPDEST
00001259: PUSH1 0x01
0000125b: PUSH1 0x01
0000125d: PUSH1 0xa0
0000125f: SHL
00001260: SUB
00001261: AND
00001262: DUP2
00001263: MSTORE
00001264: PUSH1 0x20
00001266: DUP2
00001267: ADD
00001268: SWAP2
00001269: SWAP1
0000126a: SWAP2
0000126b: MSTORE
0000126c: PUSH1 0x40
0000126e: ADD
0000126f: PUSH1 0x00
00001271: KECCAK256
00001272: DUP1
00001273: SLOAD
00001274: PUSH1 0xff
00001276: NOT
00001277: AND
00001278: PUSH1 0xff
0000127a: SWAP3
0000127b: SWAP1
0000127c: SWAP3
0000127d: AND
0000127e: SWAP2
0000127f: SWAP1
00001280: SWAP2
00001281: OR
00001282: SWAP1
00001283: SSTORE
00001284: DUP1
00001285: PUSH2 0x128d
00001288: DUP2
00001289: PUSH2 0x2b5c
0000128c: JUMP
0000128d: JUMPDEST
0000128e: SWAP2
0000128f: POP
00001290: POP
00001291: PUSH2 0x1224
00001294: JUMP
00001295: JUMPDEST
00001296: POP
00001297: POP
00001298: POP
00001299: POP
0000129a: JUMP
0000129b: JUMPDEST
0000129c: PUSH1 0x00
0000129e: SLOAD
0000129f: PUSH1 0x01
000012a1: PUSH1 0x01
000012a3: PUSH1 0xa0
000012a5: SHL
000012a6: SUB
000012a7: AND
000012a8: CALLER
000012a9: EQ
000012aa: PUSH2 0x12f5
000012ad: JUMPI
000012ae: PUSH1 0x40
000012b0: MLOAD
000012b1: PUSH3 0x461bcd
000012b5: PUSH1 0xe5
000012b7: SHL
000012b8: DUP2
000012b9: MSTORE
000012ba: PUSH1 0x20
000012bc: PUSH1 0x04
000012be: DUP3
000012bf: ADD
000012c0: DUP2
000012c1: SWAP1
000012c2: MSTORE
000012c3: PUSH1 0x24
000012c5: DUP3
000012c6: ADD
000012c7: MSTORE
000012c8: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000012e9: PUSH1 0x44
000012eb: DUP3
000012ec: ADD
000012ed: MSTORE
000012ee: PUSH1 0x64
000012f0: ADD
000012f1: PUSH2 0x0af9
000012f4: JUMP
000012f5: JUMPDEST
000012f6: PUSH1 0x0a
000012f8: SSTORE
000012f9: JUMP
000012fa: JUMPDEST
000012fb: PUSH1 0x60
000012fd: PUSH1 0x03
000012ff: DUP1
00001300: SLOAD
00001301: PUSH2 0x0903
00001304: SWAP1
00001305: PUSH2 0x2a87
00001308: JUMP
00001309: JUMPDEST
0000130a: PUSH1 0x01
0000130c: PUSH1 0x01
0000130e: PUSH1 0xa0
00001310: SHL
00001311: SUB
00001312: DUP3
00001313: AND
00001314: CALLER
00001315: EQ
00001316: ISZERO
00001317: PUSH2 0x134c
0000131a: JUMPI
0000131b: PUSH1 0x40
0000131d: MLOAD
0000131e: PUSH32 0xb06307db00000000000000000000000000000000000000000000000000000000
0000133f: DUP2
00001340: MSTORE
00001341: PUSH1 0x04
00001343: ADD
00001344: PUSH1 0x40
00001346: MLOAD
00001347: DUP1
00001348: SWAP2
00001349: SUB
0000134a: SWAP1
0000134b: REVERT
0000134c: JUMPDEST
0000134d: CALLER
0000134e: PUSH1 0x00
00001350: DUP2
00001351: DUP2
00001352: MSTORE
00001353: PUSH1 0x07
00001355: PUSH1 0x20
00001357: SWAP1
00001358: DUP2
00001359: MSTORE
0000135a: PUSH1 0x40
0000135c: DUP1
0000135d: DUP4
0000135e: KECCAK256
0000135f: PUSH1 0x01
00001361: PUSH1 0x01
00001363: PUSH1 0xa0
00001365: SHL
00001366: SUB
00001367: DUP8
00001368: AND
00001369: DUP1
0000136a: DUP6
0000136b: MSTORE
0000136c: SWAP1
0000136d: DUP4
0000136e: MSTORE
0000136f: SWAP3
00001370: DUP2
00001371: SWAP1
00001372: KECCAK256
00001373: DUP1
00001374: SLOAD
00001375: PUSH1 0xff
00001377: NOT
00001378: AND
00001379: DUP7
0000137a: ISZERO
0000137b: ISZERO
0000137c: SWAP1
0000137d: DUP2
0000137e: OR
0000137f: SWAP1
00001380: SWAP2
00001381: SSTORE
00001382: SWAP1
00001383: MLOAD
00001384: SWAP1
00001385: DUP2
00001386: MSTORE
00001387: SWAP2
00001388: SWAP3
00001389: SWAP2
0000138a: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
000013ab: SWAP2
000013ac: ADD
000013ad: PUSH1 0x40
000013af: MLOAD
000013b0: DUP1
000013b1: SWAP2
000013b2: SUB
000013b3: SWAP1
000013b4: LOG3
000013b5: POP
000013b6: POP
000013b7: JUMP
000013b8: JUMPDEST
000013b9: PUSH2 0x13c3
000013bc: DUP5
000013bd: DUP5
000013be: DUP5
000013bf: PUSH2 0x184f
000013c2: JUMP
000013c3: JUMPDEST
000013c4: PUSH2 0x13cf
000013c7: DUP5
000013c8: DUP5
000013c9: DUP5
000013ca: DUP5
000013cb: PUSH2 0x1f98
000013ce: JUMP
000013cf: JUMPDEST
000013d0: PUSH2 0x1295
000013d3: JUMPI
000013d4: PUSH1 0x40
000013d6: MLOAD
000013d7: PUSH32 0xd1a57ed600000000000000000000000000000000000000000000000000000000
000013f8: DUP2
000013f9: MSTORE
000013fa: PUSH1 0x04
000013fc: ADD
000013fd: PUSH1 0x40
000013ff: MLOAD
00001400: DUP1
00001401: SWAP2
00001402: SUB
00001403: SWAP1
00001404: REVERT
00001405: JUMPDEST
00001406: PUSH1 0x60
00001408: PUSH2 0x1410
0000140b: DUP3
0000140c: PUSH2 0x1783
0000140f: JUMP
00001410: JUMPDEST
00001411: PUSH2 0x1446
00001414: JUMPI
00001415: PUSH1 0x40
00001417: MLOAD
00001418: PUSH32 0xa14c4b5000000000000000000000000000000000000000000000000000000000
00001439: DUP2
0000143a: MSTORE
0000143b: PUSH1 0x04
0000143d: ADD
0000143e: PUSH1 0x40
00001440: MLOAD
00001441: DUP1
00001442: SWAP2
00001443: SUB
00001444: SWAP1
00001445: REVERT
00001446: JUMPDEST
00001447: PUSH1 0x00
00001449: PUSH2 0x1450
0000144c: PUSH2 0x20fb
0000144f: JUMP
00001450: JUMPDEST
00001451: SWAP1
00001452: POP
00001453: DUP1
00001454: MLOAD
00001455: PUSH1 0x00
00001457: EQ
00001458: ISZERO
00001459: PUSH2 0x1471
0000145c: JUMPI
0000145d: PUSH1 0x40
0000145f: MLOAD
00001460: DUP1
00001461: PUSH1 0x20
00001463: ADD
00001464: PUSH1 0x40
00001466: MSTORE
00001467: DUP1
00001468: PUSH1 0x00
0000146a: DUP2
0000146b: MSTORE
0000146c: POP
0000146d: PUSH2 0x149c
00001470: JUMP
00001471: JUMPDEST
00001472: DUP1
00001473: PUSH2 0x147b
00001476: DUP5
00001477: PUSH2 0x210a
0000147a: JUMP
0000147b: JUMPDEST
0000147c: PUSH1 0x40
0000147e: MLOAD
0000147f: PUSH1 0x20
00001481: ADD
00001482: PUSH2 0x148c
00001485: SWAP3
00001486: SWAP2
00001487: SWAP1
00001488: PUSH2 0x2b77
0000148b: JUMP
0000148c: JUMPDEST
0000148d: PUSH1 0x40
0000148f: MLOAD
00001490: PUSH1 0x20
00001492: DUP2
00001493: DUP4
00001494: SUB
00001495: SUB
00001496: DUP2
00001497: MSTORE
00001498: SWAP1
00001499: PUSH1 0x40
0000149b: MSTORE
0000149c: JUMPDEST
0000149d: SWAP4
0000149e: SWAP3
0000149f: POP
000014a0: POP
000014a1: POP
000014a2: JUMP
000014a3: JUMPDEST
000014a4: PUSH1 0x00
000014a6: SLOAD
000014a7: PUSH1 0x01
000014a9: PUSH1 0x01
000014ab: PUSH1 0xa0
000014ad: SHL
000014ae: SUB
000014af: AND
000014b0: CALLER
000014b1: EQ
000014b2: PUSH2 0x14fd
000014b5: JUMPI
000014b6: PUSH1 0x40
000014b8: MLOAD
000014b9: PUSH3 0x461bcd
000014bd: PUSH1 0xe5
000014bf: SHL
000014c0: DUP2
000014c1: MSTORE
000014c2: PUSH1 0x20
000014c4: PUSH1 0x04
000014c6: DUP3
000014c7: ADD
000014c8: DUP2
000014c9: SWAP1
000014ca: MSTORE
000014cb: PUSH1 0x24
000014cd: DUP3
000014ce: ADD
000014cf: MSTORE
000014d0: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000014f1: PUSH1 0x44
000014f3: DUP3
000014f4: ADD
000014f5: MSTORE
000014f6: PUSH1 0x64
000014f8: ADD
000014f9: PUSH2 0x0af9
000014fc: JUMP
000014fd: JUMPDEST
000014fe: PUSH2 0x1506
00001501: DUP2
00001502: PUSH2 0x223c
00001505: JUMP
00001506: JUMPDEST
00001507: PUSH2 0x0e7c
0000150a: DUP3
0000150b: DUP3
0000150c: PUSH2 0x237e
0000150f: JUMP
00001510: JUMPDEST
00001511: PUSH1 0x00
00001513: SLOAD
00001514: PUSH1 0x01
00001516: PUSH1 0x01
00001518: PUSH1 0xa0
0000151a: SHL
0000151b: SUB
0000151c: AND
0000151d: CALLER
0000151e: EQ
0000151f: PUSH2 0x156a
00001522: JUMPI
00001523: PUSH1 0x40
00001525: MLOAD
00001526: PUSH3 0x461bcd
0000152a: PUSH1 0xe5
0000152c: SHL
0000152d: DUP2
0000152e: MSTORE
0000152f: PUSH1 0x20
00001531: PUSH1 0x04
00001533: DUP3
00001534: ADD
00001535: DUP2
00001536: SWAP1
00001537: MSTORE
00001538: PUSH1 0x24
0000153a: DUP3
0000153b: ADD
0000153c: MSTORE
0000153d: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000155e: PUSH1 0x44
00001560: DUP3
00001561: ADD
00001562: MSTORE
00001563: PUSH1 0x64
00001565: ADD
00001566: PUSH2 0x0af9
00001569: JUMP
0000156a: JUMPDEST
0000156b: PUSH1 0x09
0000156d: SSTORE
0000156e: JUMP
0000156f: JUMPDEST
00001570: PUSH1 0x0c
00001572: SLOAD
00001573: TIMESTAMP
00001574: LT
00001575: ISZERO
00001576: PUSH2 0x15c1
00001579: JUMPI
0000157a: PUSH1 0x40
0000157c: MLOAD
0000157d: PUSH3 0x461bcd
00001581: PUSH1 0xe5
00001583: SHL
00001584: DUP2
00001585: MSTORE
00001586: PUSH1 0x20
00001588: PUSH1 0x04
0000158a: DUP3
0000158b: ADD
0000158c: MSTORE
0000158d: PUSH1 0x1f
0000158f: PUSH1 0x24
00001591: DUP3
00001592: ADD
00001593: MSTORE
00001594: PUSH32 0x5075626c69632073616c6520686173206e6f7420737461727465642079657400
000015b5: PUSH1 0x44
000015b7: DUP3
000015b8: ADD
000015b9: MSTORE
000015ba: PUSH1 0x64
000015bc: ADD
000015bd: PUSH2 0x0af9
000015c0: JUMP
000015c1: JUMPDEST
000015c2: PUSH2 0x15cb
000015c5: CALLVALUE
000015c6: DUP3
000015c7: PUSH2 0x1b2c
000015ca: JUMP
000015cb: JUMPDEST
000015cc: PUSH2 0x15d5
000015cf: CALLER
000015d0: DUP3
000015d1: PUSH2 0x1d41
000015d4: JUMP
000015d5: JUMPDEST
000015d6: POP
000015d7: JUMP
000015d8: JUMPDEST
000015d9: PUSH1 0x00
000015db: SLOAD
000015dc: PUSH1 0x01
000015de: PUSH1 0x01
000015e0: PUSH1 0xa0
000015e2: SHL
000015e3: SUB
000015e4: AND
000015e5: CALLER
000015e6: EQ
000015e7: PUSH2 0x1632
000015ea: JUMPI
000015eb: PUSH1 0x40
000015ed: MLOAD
000015ee: PUSH3 0x461bcd
000015f2: PUSH1 0xe5
000015f4: SHL
000015f5: DUP2
000015f6: MSTORE
000015f7: PUSH1 0x20
000015f9: PUSH1 0x04
000015fb: DUP3
000015fc: ADD
000015fd: DUP2
000015fe: SWAP1
000015ff: MSTORE
00001600: PUSH1 0x24
00001602: DUP3
00001603: ADD
00001604: MSTORE
00001605: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001626: PUSH1 0x44
00001628: DUP3
00001629: ADD
0000162a: MSTORE
0000162b: PUSH1 0x64
0000162d: ADD
0000162e: PUSH2 0x0af9
00001631: JUMP
00001632: JUMPDEST
00001633: PUSH1 0x01
00001635: PUSH1 0x01
00001637: PUSH1 0xa0
00001639: SHL
0000163a: SUB
0000163b: DUP2
0000163c: AND
0000163d: PUSH2 0x16ae
00001640: JUMPI
00001641: PUSH1 0x40
00001643: MLOAD
00001644: PUSH3 0x461bcd
00001648: PUSH1 0xe5
0000164a: SHL
0000164b: DUP2
0000164c: MSTORE
0000164d: PUSH1 0x20
0000164f: PUSH1 0x04
00001651: DUP3
00001652: ADD
00001653: MSTORE
00001654: PUSH1 0x26
00001656: PUSH1 0x24
00001658: DUP3
00001659: ADD
0000165a: MSTORE
0000165b: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
0000167c: PUSH1 0x44
0000167e: DUP3
0000167f: ADD
00001680: MSTORE
00001681: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
000016a2: PUSH1 0x64
000016a4: DUP3
000016a5: ADD
000016a6: MSTORE
000016a7: PUSH1 0x84
000016a9: ADD
000016aa: PUSH2 0x0af9
000016ad: JUMP
000016ae: JUMPDEST
000016af: PUSH2 0x15d5
000016b2: DUP2
000016b3: PUSH2 0x1f30
000016b6: JUMP
000016b7: JUMPDEST
000016b8: PUSH1 0x00
000016ba: SLOAD
000016bb: PUSH1 0x01
000016bd: PUSH1 0x01
000016bf: PUSH1 0xa0
000016c1: SHL
000016c2: SUB
000016c3: AND
000016c4: CALLER
000016c5: EQ
000016c6: PUSH2 0x1711
000016c9: JUMPI
000016ca: PUSH1 0x40
000016cc: MLOAD
000016cd: PUSH3 0x461bcd
000016d1: PUSH1 0xe5
000016d3: SHL
000016d4: DUP2
000016d5: MSTORE
000016d6: PUSH1 0x20
000016d8: PUSH1 0x04
000016da: DUP3
000016db: ADD
000016dc: DUP2
000016dd: SWAP1
000016de: MSTORE
000016df: PUSH1 0x24
000016e1: DUP3
000016e2: ADD
000016e3: MSTORE
000016e4: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001705: PUSH1 0x44
00001707: DUP3
00001708: ADD
00001709: MSTORE
0000170a: PUSH1 0x64
0000170c: ADD
0000170d: PUSH2 0x0af9
00001710: JUMP
00001711: JUMPDEST
00001712: PUSH1 0x08
00001714: SSTORE
00001715: JUMP
00001716: JUMPDEST
00001717: PUSH1 0x00
00001719: SLOAD
0000171a: PUSH1 0x01
0000171c: PUSH1 0x01
0000171e: PUSH1 0xa0
00001720: SHL
00001721: SUB
00001722: AND
00001723: CALLER
00001724: EQ
00001725: PUSH2 0x1770
00001728: JUMPI
00001729: PUSH1 0x40
0000172b: MLOAD
0000172c: PUSH3 0x461bcd
00001730: PUSH1 0xe5
00001732: SHL
00001733: DUP2
00001734: MSTORE
00001735: PUSH1 0x20
00001737: PUSH1 0x04
00001739: DUP3
0000173a: ADD
0000173b: DUP2
0000173c: SWAP1
0000173d: MSTORE
0000173e: PUSH1 0x24
00001740: DUP3
00001741: ADD
00001742: MSTORE
00001743: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001764: PUSH1 0x44
00001766: DUP3
00001767: ADD
00001768: MSTORE
00001769: PUSH1 0x64
0000176b: ADD
0000176c: PUSH2 0x0af9
0000176f: JUMP
00001770: JUMPDEST
00001771: PUSH2 0x1779
00001774: DUP2
00001775: PUSH2 0x223c
00001778: JUMP
00001779: JUMPDEST
0000177a: PUSH2 0x15d5
0000177d: CALLER
0000177e: DUP3
0000177f: PUSH2 0x237e
00001782: JUMP
00001783: JUMPDEST
00001784: PUSH1 0x01
00001786: SLOAD
00001787: PUSH1 0x00
00001789: SWAP1
0000178a: PUSH16 0xffffffffffffffffffffffffffffffff
0000179b: AND
0000179c: DUP3
0000179d: LT
0000179e: DUP1
0000179f: ISZERO
000017a0: PUSH2 0x08ee
000017a3: JUMPI
000017a4: POP
000017a5: POP
000017a6: PUSH1 0x00
000017a8: SWAP1
000017a9: DUP2
000017aa: MSTORE
000017ab: PUSH1 0x04
000017ad: PUSH1 0x20
000017af: MSTORE
000017b0: PUSH1 0x40
000017b2: SWAP1
000017b3: KECCAK256
000017b4: SLOAD
000017b5: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000017d3: SWAP1
000017d4: DIV
000017d5: PUSH1 0xff
000017d7: AND
000017d8: ISZERO
000017d9: SWAP1
000017da: JUMP
000017db: JUMPDEST
000017dc: PUSH1 0x00
000017de: DUP3
000017df: DUP2
000017e0: MSTORE
000017e1: PUSH1 0x06
000017e3: PUSH1 0x20
000017e5: MSTORE
000017e6: PUSH1 0x40
000017e8: DUP1
000017e9: DUP3
000017ea: KECCAK256
000017eb: DUP1
000017ec: SLOAD
000017ed: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000180e: AND
0000180f: PUSH1 0x01
00001811: PUSH1 0x01
00001813: PUSH1 0xa0
00001815: SHL
00001816: SUB
00001817: DUP8
00001818: DUP2
00001819: AND
0000181a: SWAP2
0000181b: DUP3
0000181c: OR
0000181d: SWAP1
0000181e: SWAP3
0000181f: SSTORE
00001820: SWAP2
00001821: MLOAD
00001822: DUP6
00001823: SWAP4
00001824: SWAP2
00001825: DUP6
00001826: AND
00001827: SWAP2
00001828: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001849: SWAP2
0000184a: LOG4
0000184b: POP
0000184c: POP
0000184d: POP
0000184e: JUMP
0000184f: JUMPDEST
00001850: PUSH1 0x00
00001852: PUSH2 0x185a
00001855: DUP3
00001856: PUSH2 0x1d94
00001859: JUMP
0000185a: JUMPDEST
0000185b: DUP1
0000185c: MLOAD
0000185d: SWAP1
0000185e: SWAP2
0000185f: POP
00001860: PUSH1 0x00
00001862: SWAP1
00001863: PUSH1 0x01
00001865: PUSH1 0x01
00001867: PUSH1 0xa0
00001869: SHL
0000186a: SUB
0000186b: AND
0000186c: CALLER
0000186d: PUSH1 0x01
0000186f: PUSH1 0x01
00001871: PUSH1 0xa0
00001873: SHL
00001874: SUB
00001875: AND
00001876: EQ
00001877: DUP1
00001878: PUSH2 0x1888
0000187b: JUMPI
0000187c: POP
0000187d: DUP2
0000187e: MLOAD
0000187f: PUSH2 0x1888
00001882: SWAP1
00001883: CALLER
00001884: PUSH2 0x0722
00001887: JUMP
00001888: JUMPDEST
00001889: DUP1
0000188a: PUSH2 0x18a3
0000188d: JUMPI
0000188e: POP
0000188f: CALLER
00001890: PUSH2 0x1898
00001893: DUP5
00001894: PUSH2 0x0986
00001897: JUMP
00001898: JUMPDEST
00001899: PUSH1 0x01
0000189b: PUSH1 0x01
0000189d: PUSH1 0xa0
0000189f: SHL
000018a0: SUB
000018a1: AND
000018a2: EQ
000018a3: JUMPDEST
000018a4: SWAP1
000018a5: POP
000018a6: DUP1
000018a7: PUSH2 0x18dc
000018aa: JUMPI
000018ab: PUSH1 0x40
000018ad: MLOAD
000018ae: PUSH32 0x59c896be00000000000000000000000000000000000000000000000000000000
000018cf: DUP2
000018d0: MSTORE
000018d1: PUSH1 0x04
000018d3: ADD
000018d4: PUSH1 0x40
000018d6: MLOAD
000018d7: DUP1
000018d8: SWAP2
000018d9: SUB
000018da: SWAP1
000018db: REVERT
000018dc: JUMPDEST
000018dd: DUP5
000018de: PUSH1 0x01
000018e0: PUSH1 0x01
000018e2: PUSH1 0xa0
000018e4: SHL
000018e5: SUB
000018e6: AND
000018e7: DUP3
000018e8: PUSH1 0x00
000018ea: ADD
000018eb: MLOAD
000018ec: PUSH1 0x01
000018ee: PUSH1 0x01
000018f0: PUSH1 0xa0
000018f2: SHL
000018f3: SUB
000018f4: AND
000018f5: EQ
000018f6: PUSH2 0x192b
000018f9: JUMPI
000018fa: PUSH1 0x40
000018fc: MLOAD
000018fd: PUSH32 0xa114810000000000000000000000000000000000000000000000000000000000
0000191e: DUP2
0000191f: MSTORE
00001920: PUSH1 0x04
00001922: ADD
00001923: PUSH1 0x40
00001925: MLOAD
00001926: DUP1
00001927: SWAP2
00001928: SUB
00001929: SWAP1
0000192a: REVERT
0000192b: JUMPDEST
0000192c: PUSH1 0x01
0000192e: PUSH1 0x01
00001930: PUSH1 0xa0
00001932: SHL
00001933: SUB
00001934: DUP5
00001935: AND
00001936: PUSH2 0x196b
00001939: JUMPI
0000193a: PUSH1 0x40
0000193c: MLOAD
0000193d: PUSH32 0xea553b3400000000000000000000000000000000000000000000000000000000
0000195e: DUP2
0000195f: MSTORE
00001960: PUSH1 0x04
00001962: ADD
00001963: PUSH1 0x40
00001965: MLOAD
00001966: DUP1
00001967: SWAP2
00001968: SUB
00001969: SWAP1
0000196a: REVERT
0000196b: JUMPDEST
0000196c: PUSH2 0x197b
0000196f: PUSH1 0x00
00001971: DUP5
00001972: DUP5
00001973: PUSH1 0x00
00001975: ADD
00001976: MLOAD
00001977: PUSH2 0x17db
0000197a: JUMP
0000197b: JUMPDEST
0000197c: PUSH1 0x01
0000197e: PUSH1 0x01
00001980: PUSH1 0xa0
00001982: SHL
00001983: SUB
00001984: DUP6
00001985: DUP2
00001986: AND
00001987: PUSH1 0x00
00001989: SWAP1
0000198a: DUP2
0000198b: MSTORE
0000198c: PUSH1 0x05
0000198e: PUSH1 0x20
00001990: SWAP1
00001991: DUP2
00001992: MSTORE
00001993: PUSH1 0x40
00001995: DUP1
00001996: DUP4
00001997: KECCAK256
00001998: DUP1
00001999: SLOAD
0000199a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000
000019bb: DUP1
000019bc: DUP3
000019bd: AND
000019be: PUSH8 0xffffffffffffffff
000019c7: SWAP3
000019c8: DUP4
000019c9: AND
000019ca: PUSH1 0x00
000019cc: NOT
000019cd: ADD
000019ce: DUP4
000019cf: AND
000019d0: OR
000019d1: SWAP1
000019d2: SWAP3
000019d3: SSTORE
000019d4: DUP10
000019d5: DUP7
000019d6: AND
000019d7: DUP1
000019d8: DUP7
000019d9: MSTORE
000019da: DUP4
000019db: DUP7
000019dc: KECCAK256
000019dd: DUP1
000019de: SLOAD
000019df: SWAP4
000019e0: DUP5
000019e1: AND
000019e2: SWAP4
000019e3: DUP4
000019e4: AND
000019e5: PUSH1 0x01
000019e7: SWAP1
000019e8: DUP2
000019e9: ADD
000019ea: DUP5
000019eb: AND
000019ec: SWAP5
000019ed: SWAP1
000019ee: SWAP5
000019ef: OR
000019f0: SWAP1
000019f1: SSTORE
000019f2: DUP10
000019f3: DUP7
000019f4: MSTORE
000019f5: PUSH1 0x04
000019f7: SWAP1
000019f8: SWAP5
000019f9: MSTORE
000019fa: DUP3
000019fb: DUP6
000019fc: KECCAK256
000019fd: DUP1
000019fe: SLOAD
000019ff: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001a20: AND
00001a21: SWAP1
00001a22: SWAP5
00001a23: OR
00001a24: PUSH21 0x010000000000000000000000000000000000000000
00001a3a: TIMESTAMP
00001a3b: SWAP1
00001a3c: SWAP3
00001a3d: AND
00001a3e: SWAP2
00001a3f: SWAP1
00001a40: SWAP2
00001a41: MUL
00001a42: OR
00001a43: SWAP1
00001a44: SWAP3
00001a45: SSTORE
00001a46: SWAP1
00001a47: DUP7
00001a48: ADD
00001a49: DUP1
00001a4a: DUP4
00001a4b: MSTORE
00001a4c: SWAP2
00001a4d: KECCAK256
00001a4e: SLOAD
00001a4f: SWAP1
00001a50: SWAP2
00001a51: AND
00001a52: PUSH2 0x1ae2
00001a55: JUMPI
00001a56: PUSH1 0x01
00001a58: SLOAD
00001a59: PUSH16 0xffffffffffffffffffffffffffffffff
00001a6a: AND
00001a6b: DUP2
00001a6c: LT
00001a6d: ISZERO
00001a6e: PUSH2 0x1ae2
00001a71: JUMPI
00001a72: DUP3
00001a73: MLOAD
00001a74: PUSH1 0x00
00001a76: DUP3
00001a77: DUP2
00001a78: MSTORE
00001a79: PUSH1 0x04
00001a7b: PUSH1 0x20
00001a7d: SWAP1
00001a7e: DUP2
00001a7f: MSTORE
00001a80: PUSH1 0x40
00001a82: SWAP1
00001a83: SWAP2
00001a84: KECCAK256
00001a85: DUP1
00001a86: SLOAD
00001a87: SWAP2
00001a88: DUP7
00001a89: ADD
00001a8a: MLOAD
00001a8b: PUSH8 0xffffffffffffffff
00001a94: AND
00001a95: PUSH21 0x010000000000000000000000000000000000000000
00001aab: MUL
00001aac: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001acd: SWAP1
00001ace: SWAP3
00001acf: AND
00001ad0: PUSH1 0x01
00001ad2: PUSH1 0x01
00001ad4: PUSH1 0xa0
00001ad6: SHL
00001ad7: SUB
00001ad8: SWAP1
00001ad9: SWAP4
00001ada: AND
00001adb: SWAP3
00001adc: SWAP1
00001add: SWAP3
00001ade: OR
00001adf: OR
00001ae0: SWAP1
00001ae1: SSTORE
00001ae2: JUMPDEST
00001ae3: POP
00001ae4: DUP3
00001ae5: DUP5
00001ae6: PUSH1 0x01
00001ae8: PUSH1 0x01
00001aea: PUSH1 0xa0
00001aec: SHL
00001aed: SUB
00001aee: AND
00001aef: DUP7
00001af0: PUSH1 0x01
00001af2: PUSH1 0x01
00001af4: PUSH1 0xa0
00001af6: SHL
00001af7: SUB
00001af8: AND
00001af9: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001b1a: PUSH1 0x40
00001b1c: MLOAD
00001b1d: PUSH1 0x40
00001b1f: MLOAD
00001b20: DUP1
00001b21: SWAP2
00001b22: SUB
00001b23: SWAP1
00001b24: LOG4
00001b25: JUMPDEST
00001b26: POP
00001b27: POP
00001b28: POP
00001b29: POP
00001b2a: POP
00001b2b: JUMP
00001b2c: JUMPDEST
00001b2d: PUSH2 0x1b35
00001b30: DUP2
00001b31: PUSH2 0x223c
00001b34: JUMP
00001b35: JUMPDEST
00001b36: PUSH1 0x08
00001b38: SLOAD
00001b39: PUSH1 0x00
00001b3b: LT
00001b3c: PUSH2 0x1bad
00001b3f: JUMPI
00001b40: PUSH1 0x40
00001b42: MLOAD
00001b43: PUSH3 0x461bcd
00001b47: PUSH1 0xe5
00001b49: SHL
00001b4a: DUP2
00001b4b: MSTORE
00001b4c: PUSH1 0x20
00001b4e: PUSH1 0x04
00001b50: DUP3
00001b51: ADD
00001b52: MSTORE
00001b53: PUSH1 0x28
00001b55: PUSH1 0x24
00001b57: DUP3
00001b58: ADD
00001b59: MSTORE
00001b5a: PUSH32 0x416c6c204e465473206f662063757272656e742073616c652070686173652073
00001b7b: PUSH1 0x44
00001b7d: DUP3
00001b7e: ADD
00001b7f: MSTORE
00001b80: PUSH32 0x6f6c64206f75742e000000000000000000000000000000000000000000000000
00001ba1: PUSH1 0x64
00001ba3: DUP3
00001ba4: ADD
00001ba5: MSTORE
00001ba6: PUSH1 0x84
00001ba8: ADD
00001ba9: PUSH2 0x0af9
00001bac: JUMP
00001bad: JUMPDEST
00001bae: PUSH1 0x08
00001bb0: SLOAD
00001bb1: DUP2
00001bb2: GT
00001bb3: ISZERO
00001bb4: PUSH2 0x1c27
00001bb7: JUMPI
00001bb8: PUSH1 0x40
00001bba: DUP1
00001bbb: MLOAD
00001bbc: PUSH3 0x461bcd
00001bc0: PUSH1 0xe5
00001bc2: SHL
00001bc3: DUP2
00001bc4: MSTORE
00001bc5: PUSH1 0x20
00001bc7: PUSH1 0x04
00001bc9: DUP3
00001bca: ADD
00001bcb: MSTORE
00001bcc: PUSH1 0x24
00001bce: DUP2
00001bcf: ADD
00001bd0: SWAP2
00001bd1: SWAP1
00001bd2: SWAP2
00001bd3: MSTORE
00001bd4: PUSH32 0x4578636565647320737570706c79206f662063757272656e742073616c652070
00001bf5: PUSH1 0x44
00001bf7: DUP3
00001bf8: ADD
00001bf9: MSTORE
00001bfa: PUSH32 0x686173652e205472792069742077697468206c6f776572207175616e74697479
00001c1b: PUSH1 0x64
00001c1d: DUP3
00001c1e: ADD
00001c1f: MSTORE
00001c20: PUSH1 0x84
00001c22: ADD
00001c23: PUSH2 0x0af9
00001c26: JUMP
00001c27: JUMPDEST
00001c28: PUSH1 0x0d
00001c2a: SLOAD
00001c2b: PUSH1 0xff
00001c2d: AND
00001c2e: ISZERO
00001c2f: PUSH2 0x1c7a
00001c32: JUMPI
00001c33: PUSH1 0x40
00001c35: MLOAD
00001c36: PUSH3 0x461bcd
00001c3a: PUSH1 0xe5
00001c3c: SHL
00001c3d: DUP2
00001c3e: MSTORE
00001c3f: PUSH1 0x20
00001c41: PUSH1 0x04
00001c43: DUP3
00001c44: ADD
00001c45: MSTORE
00001c46: PUSH1 0x0b
00001c48: PUSH1 0x24
00001c4a: DUP3
00001c4b: ADD
00001c4c: MSTORE
00001c4d: PUSH32 0x53616c6520706175736564000000000000000000000000000000000000000000
00001c6e: PUSH1 0x44
00001c70: DUP3
00001c71: ADD
00001c72: MSTORE
00001c73: PUSH1 0x64
00001c75: ADD
00001c76: PUSH2 0x0af9
00001c79: JUMP
00001c7a: JUMPDEST
00001c7b: PUSH1 0x0a
00001c7d: SLOAD
00001c7e: PUSH2 0x1c87
00001c81: SWAP1
00001c82: DUP3
00001c83: PUSH2 0x2ba6
00001c86: JUMP
00001c87: JUMPDEST
00001c88: DUP3
00001c89: EQ
00001c8a: PUSH2 0x1cd5
00001c8d: JUMPI
00001c8e: PUSH1 0x40
00001c90: MLOAD
00001c91: PUSH3 0x461bcd
00001c95: PUSH1 0xe5
00001c97: SHL
00001c98: DUP2
00001c99: MSTORE
00001c9a: PUSH1 0x20
00001c9c: PUSH1 0x04
00001c9e: DUP3
00001c9f: ADD
00001ca0: MSTORE
00001ca1: PUSH1 0x11
00001ca3: PUSH1 0x24
00001ca5: DUP3
00001ca6: ADD
00001ca7: MSTORE
00001ca8: PUSH32 0x57726f6e67206574686572207072696365000000000000000000000000000000
00001cc9: PUSH1 0x44
00001ccb: DUP3
00001ccc: ADD
00001ccd: MSTORE
00001cce: PUSH1 0x64
00001cd0: ADD
00001cd1: PUSH2 0x0af9
00001cd4: JUMP
00001cd5: JUMPDEST
00001cd6: PUSH1 0x09
00001cd8: SLOAD
00001cd9: CALLER
00001cda: PUSH1 0x00
00001cdc: SWAP1
00001cdd: DUP2
00001cde: MSTORE
00001cdf: PUSH1 0x0f
00001ce1: PUSH1 0x20
00001ce3: MSTORE
00001ce4: PUSH1 0x40
00001ce6: SWAP1
00001ce7: KECCAK256
00001ce8: SLOAD
00001ce9: PUSH2 0x1cf3
00001cec: SWAP1
00001ced: DUP4
00001cee: SWAP1
00001cef: PUSH2 0x2bc5
00001cf2: JUMP
00001cf3: JUMPDEST
00001cf4: GT
00001cf5: ISZERO
00001cf6: PUSH2 0x0e7c
00001cf9: JUMPI
00001cfa: PUSH1 0x40
00001cfc: MLOAD
00001cfd: PUSH3 0x461bcd
00001d01: PUSH1 0xe5
00001d03: SHL
00001d04: DUP2
00001d05: MSTORE
00001d06: PUSH1 0x20
00001d08: PUSH1 0x04
00001d0a: DUP3
00001d0b: ADD
00001d0c: MSTORE
00001d0d: PUSH1 0x16
00001d0f: PUSH1 0x24
00001d11: DUP3
00001d12: ADD
00001d13: MSTORE
00001d14: PUSH32 0x45786365656473206d6178207065722077616c6c657400000000000000000000
00001d35: PUSH1 0x44
00001d37: DUP3
00001d38: ADD
00001d39: MSTORE
00001d3a: PUSH1 0x64
00001d3c: ADD
00001d3d: PUSH2 0x0af9
00001d40: JUMP
00001d41: JUMPDEST
00001d42: PUSH1 0x01
00001d44: PUSH1 0x01
00001d46: PUSH1 0xa0
00001d48: SHL
00001d49: SUB
00001d4a: DUP3
00001d4b: AND
00001d4c: PUSH1 0x00
00001d4e: SWAP1
00001d4f: DUP2
00001d50: MSTORE
00001d51: PUSH1 0x0f
00001d53: PUSH1 0x20
00001d55: MSTORE
00001d56: PUSH1 0x40
00001d58: DUP2
00001d59: KECCAK256
00001d5a: DUP1
00001d5b: SLOAD
00001d5c: DUP4
00001d5d: SWAP3
00001d5e: SWAP1
00001d5f: PUSH2 0x1d69
00001d62: SWAP1
00001d63: DUP5
00001d64: SWAP1
00001d65: PUSH2 0x2bc5
00001d68: JUMP
00001d69: JUMPDEST
00001d6a: SWAP1
00001d6b: SWAP2
00001d6c: SSTORE
00001d6d: POP
00001d6e: PUSH2 0x1d79
00001d71: SWAP1
00001d72: POP
00001d73: DUP3
00001d74: DUP3
00001d75: PUSH2 0x237e
00001d78: JUMP
00001d79: JUMPDEST
00001d7a: DUP1
00001d7b: PUSH1 0x08
00001d7d: PUSH1 0x00
00001d7f: DUP3
00001d80: DUP3
00001d81: SLOAD
00001d82: PUSH2 0x1d8b
00001d85: SWAP2
00001d86: SWAP1
00001d87: PUSH2 0x2bdd
00001d8a: JUMP
00001d8b: JUMPDEST
00001d8c: SWAP1
00001d8d: SWAP2
00001d8e: SSTORE
00001d8f: POP
00001d90: POP
00001d91: POP
00001d92: POP
00001d93: JUMP
00001d94: JUMPDEST
00001d95: PUSH1 0x40
00001d97: DUP1
00001d98: MLOAD
00001d99: PUSH1 0x60
00001d9b: DUP2
00001d9c: ADD
00001d9d: DUP3
00001d9e: MSTORE
00001d9f: PUSH1 0x00
00001da1: DUP1
00001da2: DUP3
00001da3: MSTORE
00001da4: PUSH1 0x20
00001da6: DUP3
00001da7: ADD
00001da8: DUP2
00001da9: SWAP1
00001daa: MSTORE
00001dab: SWAP2
00001dac: DUP2
00001dad: ADD
00001dae: SWAP2
00001daf: SWAP1
00001db0: SWAP2
00001db1: MSTORE
00001db2: PUSH1 0x01
00001db4: SLOAD
00001db5: DUP3
00001db6: SWAP1
00001db7: PUSH16 0xffffffffffffffffffffffffffffffff
00001dc8: AND
00001dc9: DUP2
00001dca: LT
00001dcb: ISZERO
00001dcc: PUSH2 0x1efe
00001dcf: JUMPI
00001dd0: PUSH1 0x00
00001dd2: DUP2
00001dd3: DUP2
00001dd4: MSTORE
00001dd5: PUSH1 0x04
00001dd7: PUSH1 0x20
00001dd9: SWAP1
00001dda: DUP2
00001ddb: MSTORE
00001ddc: PUSH1 0x40
00001dde: SWAP2
00001ddf: DUP3
00001de0: SWAP1
00001de1: KECCAK256
00001de2: DUP3
00001de3: MLOAD
00001de4: PUSH1 0x60
00001de6: DUP2
00001de7: ADD
00001de8: DUP5
00001de9: MSTORE
00001dea: SWAP1
00001deb: SLOAD
00001dec: PUSH1 0x01
00001dee: PUSH1 0x01
00001df0: PUSH1 0xa0
00001df2: SHL
00001df3: SUB
00001df4: DUP2
00001df5: AND
00001df6: DUP3
00001df7: MSTORE
00001df8: PUSH21 0x010000000000000000000000000000000000000000
00001e0e: DUP2
00001e0f: DIV
00001e10: PUSH8 0xffffffffffffffff
00001e19: AND
00001e1a: SWAP3
00001e1b: DUP3
00001e1c: ADD
00001e1d: SWAP3
00001e1e: SWAP1
00001e1f: SWAP3
00001e20: MSTORE
00001e21: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001e3f: SWAP1
00001e40: SWAP2
00001e41: DIV
00001e42: PUSH1 0xff
00001e44: AND
00001e45: ISZERO
00001e46: ISZERO
00001e47: SWAP2
00001e48: DUP2
00001e49: ADD
00001e4a: DUP3
00001e4b: SWAP1
00001e4c: MSTORE
00001e4d: SWAP1
00001e4e: PUSH2 0x1efc
00001e51: JUMPI
00001e52: DUP1
00001e53: MLOAD
00001e54: PUSH1 0x01
00001e56: PUSH1 0x01
00001e58: PUSH1 0xa0
00001e5a: SHL
00001e5b: SUB
00001e5c: AND
00001e5d: ISZERO
00001e5e: PUSH2 0x1e68
00001e61: JUMPI
00001e62: SWAP4
00001e63: SWAP3
00001e64: POP
00001e65: POP
00001e66: POP
00001e67: JUMP
00001e68: JUMPDEST
00001e69: POP
00001e6a: PUSH1 0x00
00001e6c: NOT
00001e6d: ADD
00001e6e: PUSH1 0x00
00001e70: DUP2
00001e71: DUP2
00001e72: MSTORE
00001e73: PUSH1 0x04
00001e75: PUSH1 0x20
00001e77: SWAP1
00001e78: DUP2
00001e79: MSTORE
00001e7a: PUSH1 0x40
00001e7c: SWAP2
00001e7d: DUP3
00001e7e: SWAP1
00001e7f: KECCAK256
00001e80: DUP3
00001e81: MLOAD
00001e82: PUSH1 0x60
00001e84: DUP2
00001e85: ADD
00001e86: DUP5
00001e87: MSTORE
00001e88: SWAP1
00001e89: SLOAD
00001e8a: PUSH1 0x01
00001e8c: PUSH1 0x01
00001e8e: PUSH1 0xa0
00001e90: SHL
00001e91: SUB
00001e92: DUP2
00001e93: AND
00001e94: DUP1
00001e95: DUP4
00001e96: MSTORE
00001e97: PUSH21 0x010000000000000000000000000000000000000000
00001ead: DUP3
00001eae: DIV
00001eaf: PUSH8 0xffffffffffffffff
00001eb8: AND
00001eb9: SWAP4
00001eba: DUP4
00001ebb: ADD
00001ebc: SWAP4
00001ebd: SWAP1
00001ebe: SWAP4
00001ebf: MSTORE
00001ec0: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001ede: SWAP1
00001edf: DIV
00001ee0: PUSH1 0xff
00001ee2: AND
00001ee3: ISZERO
00001ee4: ISZERO
00001ee5: SWAP3
00001ee6: DUP2
00001ee7: ADD
00001ee8: SWAP3
00001ee9: SWAP1
00001eea: SWAP3
00001eeb: MSTORE
00001eec: ISZERO
00001eed: PUSH2 0x1ef7
00001ef0: JUMPI
00001ef1: SWAP4
00001ef2: SWAP3
00001ef3: POP
00001ef4: POP
00001ef5: POP
00001ef6: JUMP
00001ef7: JUMPDEST
00001ef8: PUSH2 0x1e68
00001efb: JUMP
00001efc: JUMPDEST
00001efd: POP
00001efe: JUMPDEST
00001eff: PUSH1 0x40
00001f01: MLOAD
00001f02: PUSH32 0xdf2d9b4200000000000000000000000000000000000000000000000000000000
00001f23: DUP2
00001f24: MSTORE
00001f25: PUSH1 0x04
00001f27: ADD
00001f28: PUSH1 0x40
00001f2a: MLOAD
00001f2b: DUP1
00001f2c: SWAP2
00001f2d: SUB
00001f2e: SWAP1
00001f2f: REVERT
00001f30: JUMPDEST
00001f31: PUSH1 0x00
00001f33: DUP1
00001f34: SLOAD
00001f35: PUSH1 0x01
00001f37: PUSH1 0x01
00001f39: PUSH1 0xa0
00001f3b: SHL
00001f3c: SUB
00001f3d: DUP4
00001f3e: DUP2
00001f3f: AND
00001f40: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001f61: DUP4
00001f62: AND
00001f63: DUP2
00001f64: OR
00001f65: DUP5
00001f66: SSTORE
00001f67: PUSH1 0x40
00001f69: MLOAD
00001f6a: SWAP2
00001f6b: SWAP1
00001f6c: SWAP3
00001f6d: AND
00001f6e: SWAP3
00001f6f: DUP4
00001f70: SWAP2
00001f71: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001f92: SWAP2
00001f93: SWAP1
00001f94: LOG3
00001f95: POP
00001f96: POP
00001f97: JUMP
00001f98: JUMPDEST
00001f99: PUSH1 0x00
00001f9b: PUSH1 0x01
00001f9d: PUSH1 0x01
00001f9f: PUSH1 0xa0
00001fa1: SHL
00001fa2: SUB
00001fa3: DUP5
00001fa4: AND
00001fa5: EXTCODESIZE
00001fa6: ISZERO
00001fa7: PUSH2 0x20ef
00001faa: JUMPI
00001fab: PUSH1 0x40
00001fad: MLOAD
00001fae: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000
00001fcf: DUP2
00001fd0: MSTORE
00001fd1: PUSH1 0x01
00001fd3: PUSH1 0x01
00001fd5: PUSH1 0xa0
00001fd7: SHL
00001fd8: SUB
00001fd9: DUP6
00001fda: AND
00001fdb: SWAP1
00001fdc: PUSH4 0x150b7a02
00001fe1: SWAP1
00001fe2: PUSH2 0x1ff5
00001fe5: SWAP1
00001fe6: CALLER
00001fe7: SWAP1
00001fe8: DUP10
00001fe9: SWAP1
00001fea: DUP9
00001feb: SWAP1
00001fec: DUP9
00001fed: SWAP1
00001fee: PUSH1 0x04
00001ff0: ADD
00001ff1: PUSH2 0x2bf4
00001ff4: JUMP
00001ff5: JUMPDEST
00001ff6: PUSH1 0x20
00001ff8: PUSH1 0x40
00001ffa: MLOAD
00001ffb: DUP1
00001ffc: DUP4
00001ffd: SUB
00001ffe: DUP2
00001fff: PUSH1 0x00
00002001: DUP8
00002002: GAS
00002003: CALL
00002004: SWAP3
00002005: POP
00002006: POP
00002007: POP
00002008: DUP1
00002009: ISZERO
0000200a: PUSH2 0x2030
0000200d: JUMPI
0000200e: POP
0000200f: PUSH1 0x40
00002011: DUP1
00002012: MLOAD
00002013: PUSH1 0x1f
00002015: RETURNDATASIZE
00002016: SWAP1
00002017: DUP2
00002018: ADD
00002019: PUSH1 0x1f
0000201b: NOT
0000201c: AND
0000201d: DUP3
0000201e: ADD
0000201f: SWAP1
00002020: SWAP3
00002021: MSTORE
00002022: PUSH2 0x202d
00002025: SWAP2
00002026: DUP2
00002027: ADD
00002028: SWAP1
00002029: PUSH2 0x2c30
0000202c: JUMP
0000202d: JUMPDEST
0000202e: PUSH1 0x01
00002030: JUMPDEST
00002031: PUSH2 0x20a4
00002034: JUMPI
00002035: RETURNDATASIZE
00002036: DUP1
00002037: DUP1
00002038: ISZERO
00002039: PUSH2 0x205e
0000203c: JUMPI
0000203d: PUSH1 0x40
0000203f: MLOAD
00002040: SWAP2
00002041: POP
00002042: PUSH1 0x1f
00002044: NOT
00002045: PUSH1 0x3f
00002047: RETURNDATASIZE
00002048: ADD
00002049: AND
0000204a: DUP3
0000204b: ADD
0000204c: PUSH1 0x40
0000204e: MSTORE
0000204f: RETURNDATASIZE
00002050: DUP3
00002051: MSTORE
00002052: RETURNDATASIZE
00002053: PUSH1 0x00
00002055: PUSH1 0x20
00002057: DUP5
00002058: ADD
00002059: RETURNDATACOPY
0000205a: PUSH2 0x2063
0000205d: JUMP
0000205e: JUMPDEST
0000205f: PUSH1 0x60
00002061: SWAP2
00002062: POP
00002063: JUMPDEST
00002064: POP
00002065: DUP1
00002066: MLOAD
00002067: PUSH2 0x209c
0000206a: JUMPI
0000206b: PUSH1 0x40
0000206d: MLOAD
0000206e: PUSH32 0xd1a57ed600000000000000000000000000000000000000000000000000000000
0000208f: DUP2
00002090: MSTORE
00002091: PUSH1 0x04
00002093: ADD
00002094: PUSH1 0x40
00002096: MLOAD
00002097: DUP1
00002098: SWAP2
00002099: SUB
0000209a: SWAP1
0000209b: REVERT
0000209c: JUMPDEST
0000209d: DUP1
0000209e: MLOAD
0000209f: DUP2
000020a0: PUSH1 0x20
000020a2: ADD
000020a3: REVERT
000020a4: JUMPDEST
000020a5: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000020c6: AND
000020c7: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000
000020e8: EQ
000020e9: SWAP1
000020ea: POP
000020eb: PUSH2 0x20f3
000020ee: JUMP
000020ef: JUMPDEST
000020f0: POP
000020f1: PUSH1 0x01
000020f3: JUMPDEST
000020f4: SWAP5
000020f5: SWAP4
000020f6: POP
000020f7: POP
000020f8: POP
000020f9: POP
000020fa: JUMP
000020fb: JUMPDEST
000020fc: PUSH1 0x60
000020fe: PUSH1 0x0e
00002100: DUP1
00002101: SLOAD
00002102: PUSH2 0x0903
00002105: SWAP1
00002106: PUSH2 0x2a87
00002109: JUMP
0000210a: JUMPDEST
0000210b: PUSH1 0x60
0000210d: DUP2
0000210e: PUSH2 0x214a
00002111: JUMPI
00002112: POP
00002113: POP
00002114: PUSH1 0x40
00002116: DUP1
00002117: MLOAD
00002118: DUP1
00002119: DUP3
0000211a: ADD
0000211b: SWAP1
0000211c: SWAP2
0000211d: MSTORE
0000211e: PUSH1 0x01
00002120: DUP2
00002121: MSTORE
00002122: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
00002143: PUSH1 0x20
00002145: DUP3
00002146: ADD
00002147: MSTORE
00002148: SWAP1
00002149: JUMP
0000214a: JUMPDEST
0000214b: DUP2
0000214c: PUSH1 0x00
0000214e: JUMPDEST
0000214f: DUP2
00002150: ISZERO
00002151: PUSH2 0x2174
00002154: JUMPI
00002155: DUP1
00002156: PUSH2 0x215e
00002159: DUP2
0000215a: PUSH2 0x2b5c
0000215d: JUMP
0000215e: JUMPDEST
0000215f: SWAP2
00002160: POP
00002161: PUSH2 0x216d
00002164: SWAP1
00002165: POP
00002166: PUSH1 0x0a
00002168: DUP4
00002169: PUSH2 0x2c7c
0000216c: JUMP
0000216d: JUMPDEST
0000216e: SWAP2
0000216f: POP
00002170: PUSH2 0x214e
00002173: JUMP
00002174: JUMPDEST
00002175: PUSH1 0x00
00002177: DUP2
00002178: PUSH8 0xffffffffffffffff
00002181: DUP2
00002182: GT
00002183: ISZERO
00002184: PUSH2 0x218f
00002187: JUMPI
00002188: PUSH2 0x218f
0000218b: PUSH2 0x2952
0000218e: JUMP
0000218f: JUMPDEST
00002190: PUSH1 0x40
00002192: MLOAD
00002193: SWAP1
00002194: DUP1
00002195: DUP3
00002196: MSTORE
00002197: DUP1
00002198: PUSH1 0x1f
0000219a: ADD
0000219b: PUSH1 0x1f
0000219d: NOT
0000219e: AND
0000219f: PUSH1 0x20
000021a1: ADD
000021a2: DUP3
000021a3: ADD
000021a4: PUSH1 0x40
000021a6: MSTORE
000021a7: DUP1
000021a8: ISZERO
000021a9: PUSH2 0x21b9
000021ac: JUMPI
000021ad: PUSH1 0x20
000021af: DUP3
000021b0: ADD
000021b1: DUP2
000021b2: DUP1
000021b3: CALLDATASIZE
000021b4: DUP4
000021b5: CALLDATACOPY
000021b6: ADD
000021b7: SWAP1
000021b8: POP
000021b9: JUMPDEST
000021ba: POP
000021bb: SWAP1
000021bc: POP
000021bd: JUMPDEST
000021be: DUP5
000021bf: ISZERO
000021c0: PUSH2 0x20f3
000021c3: JUMPI
000021c4: PUSH2 0x21ce
000021c7: PUSH1 0x01
000021c9: DUP4
000021ca: PUSH2 0x2bdd
000021cd: JUMP
000021ce: JUMPDEST
000021cf: SWAP2
000021d0: POP
000021d1: PUSH2 0x21db
000021d4: PUSH1 0x0a
000021d6: DUP7
000021d7: PUSH2 0x2c90
000021da: JUMP
000021db: JUMPDEST
000021dc: PUSH2 0x21e6
000021df: SWAP1
000021e0: PUSH1 0x30
000021e2: PUSH2 0x2bc5
000021e5: JUMP
000021e6: JUMPDEST
000021e7: PUSH1 0xf8
000021e9: SHL
000021ea: DUP2
000021eb: DUP4
000021ec: DUP2
000021ed: MLOAD
000021ee: DUP2
000021ef: LT
000021f0: PUSH2 0x21fb
000021f3: JUMPI
000021f4: PUSH2 0x21fb
000021f7: PUSH2 0x2b2d
000021fa: JUMP
000021fb: JUMPDEST
000021fc: PUSH1 0x20
000021fe: ADD
000021ff: ADD
00002200: SWAP1
00002201: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002221: NOT
00002222: AND
00002223: SWAP1
00002224: DUP2
00002225: PUSH1 0x00
00002227: BYTE
00002228: SWAP1
00002229: MSTORE8
0000222a: POP
0000222b: PUSH2 0x2235
0000222e: PUSH1 0x0a
00002230: DUP7
00002231: PUSH2 0x2c7c
00002234: JUMP
00002235: JUMPDEST
00002236: SWAP5
00002237: POP
00002238: PUSH2 0x21bd
0000223b: JUMP
0000223c: JUMPDEST
0000223d: PUSH2 0x2710
00002240: PUSH2 0x2277
00002243: PUSH1 0x01
00002245: SLOAD
00002246: PUSH16 0xffffffffffffffffffffffffffffffff
00002257: PUSH17 0x0100000000000000000000000000000000
00002269: DUP3
0000226a: DIV
0000226b: DUP2
0000226c: AND
0000226d: SWAP2
0000226e: DUP2
0000226f: AND
00002270: SWAP2
00002271: SWAP1
00002272: SWAP2
00002273: SUB
00002274: AND
00002275: SWAP1
00002276: JUMP
00002277: JUMPDEST
00002278: LT
00002279: PUSH2 0x22c4
0000227c: JUMPI
0000227d: PUSH1 0x40
0000227f: MLOAD
00002280: PUSH3 0x461bcd
00002284: PUSH1 0xe5
00002286: SHL
00002287: DUP2
00002288: MSTORE
00002289: PUSH1 0x20
0000228b: PUSH1 0x04
0000228d: DUP3
0000228e: ADD
0000228f: MSTORE
00002290: PUSH1 0x15
00002292: PUSH1 0x24
00002294: DUP3
00002295: ADD
00002296: MSTORE
00002297: PUSH32 0x416c6c204e4654732061726520736f6c64206f75740000000000000000000000
000022b8: PUSH1 0x44
000022ba: DUP3
000022bb: ADD
000022bc: MSTORE
000022bd: PUSH1 0x64
000022bf: ADD
000022c0: PUSH2 0x0af9
000022c3: JUMP
000022c4: JUMPDEST
000022c5: PUSH2 0x2710
000022c8: DUP2
000022c9: PUSH2 0x2300
000022cc: PUSH1 0x01
000022ce: SLOAD
000022cf: PUSH16 0xffffffffffffffffffffffffffffffff
000022e0: PUSH17 0x0100000000000000000000000000000000
000022f2: DUP3
000022f3: DIV
000022f4: DUP2
000022f5: AND
000022f6: SWAP2
000022f7: DUP2
000022f8: AND
000022f9: SWAP2
000022fa: SWAP1
000022fb: SWAP2
000022fc: SUB
000022fd: AND
000022fe: SWAP1
000022ff: JUMP
00002300: JUMPDEST
00002301: PUSH2 0x230a
00002304: SWAP2
00002305: SWAP1
00002306: PUSH2 0x2bc5
00002309: JUMP
0000230a: JUMPDEST
0000230b: GT
0000230c: ISZERO
0000230d: PUSH2 0x15d5
00002310: JUMPI
00002311: PUSH1 0x40
00002313: MLOAD
00002314: PUSH3 0x461bcd
00002318: PUSH1 0xe5
0000231a: SHL
0000231b: DUP2
0000231c: MSTORE
0000231d: PUSH1 0x20
0000231f: PUSH1 0x04
00002321: DUP3
00002322: ADD
00002323: MSTORE
00002324: PUSH1 0x2e
00002326: PUSH1 0x24
00002328: DUP3
00002329: ADD
0000232a: MSTORE
0000232b: PUSH32 0x45786365656473204d41585f535550504c592e20547279206974207769746820
0000234c: PUSH1 0x44
0000234e: DUP3
0000234f: ADD
00002350: MSTORE
00002351: PUSH32 0x6c6f776572207175616e74697479000000000000000000000000000000000000
00002372: PUSH1 0x64
00002374: DUP3
00002375: ADD
00002376: MSTORE
00002377: PUSH1 0x84
00002379: ADD
0000237a: PUSH2 0x0af9
0000237d: JUMP
0000237e: JUMPDEST
0000237f: PUSH2 0x0e7c
00002382: DUP3
00002383: DUP3
00002384: PUSH1 0x40
00002386: MLOAD
00002387: DUP1
00002388: PUSH1 0x20
0000238a: ADD
0000238b: PUSH1 0x40
0000238d: MSTORE
0000238e: DUP1
0000238f: PUSH1 0x00
00002391: DUP2
00002392: MSTORE
00002393: POP
00002394: PUSH2 0x0a9e
00002397: DUP4
00002398: DUP4
00002399: DUP4
0000239a: PUSH1 0x01
0000239c: DUP1
0000239d: SLOAD
0000239e: PUSH16 0xffffffffffffffffffffffffffffffff
000023af: AND
000023b0: PUSH1 0x01
000023b2: PUSH1 0x01
000023b4: PUSH1 0xa0
000023b6: SHL
000023b7: SUB
000023b8: DUP6
000023b9: AND
000023ba: PUSH2 0x23ef
000023bd: JUMPI
000023be: PUSH1 0x40
000023c0: MLOAD
000023c1: PUSH32 0x2e07630000000000000000000000000000000000000000000000000000000000
000023e2: DUP2
000023e3: MSTORE
000023e4: PUSH1 0x04
000023e6: ADD
000023e7: PUSH1 0x40
000023e9: MLOAD
000023ea: DUP1
000023eb: SWAP2
000023ec: SUB
000023ed: SWAP1
000023ee: REVERT
000023ef: JUMPDEST
000023f0: DUP4
000023f1: PUSH2 0x2426
000023f4: JUMPI
000023f5: PUSH1 0x40
000023f7: MLOAD
000023f8: PUSH32 0xb562e8dd00000000000000000000000000000000000000000000000000000000
00002419: DUP2
0000241a: MSTORE
0000241b: PUSH1 0x04
0000241d: ADD
0000241e: PUSH1 0x40
00002420: MLOAD
00002421: DUP1
00002422: SWAP2
00002423: SUB
00002424: SWAP1
00002425: REVERT
00002426: JUMPDEST
00002427: PUSH1 0x01
00002429: PUSH1 0x01
0000242b: PUSH1 0xa0
0000242d: SHL
0000242e: SUB
0000242f: DUP6
00002430: AND
00002431: PUSH1 0x00
00002433: DUP2
00002434: DUP2
00002435: MSTORE
00002436: PUSH1 0x05
00002438: PUSH1 0x20
0000243a: SWAP1
0000243b: DUP2
0000243c: MSTORE
0000243d: PUSH1 0x40
0000243f: DUP1
00002440: DUP4
00002441: KECCAK256
00002442: DUP1
00002443: SLOAD
00002444: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
00002465: DUP2
00002466: AND
00002467: PUSH8 0xffffffffffffffff
00002470: DUP1
00002471: DUP4
00002472: AND
00002473: DUP13
00002474: ADD
00002475: DUP2
00002476: AND
00002477: SWAP2
00002478: DUP3
00002479: OR
0000247a: PUSH9 0x010000000000000000
00002484: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000
000024a5: SWAP1
000024a6: SWAP5
000024a7: AND
000024a8: SWAP1
000024a9: SWAP3
000024aa: OR
000024ab: DUP4
000024ac: SWAP1
000024ad: DIV
000024ae: DUP2
000024af: AND
000024b0: DUP13
000024b1: ADD
000024b2: DUP2
000024b3: AND
000024b4: SWAP1
000024b5: SWAP3
000024b6: MUL
000024b7: OR
000024b8: SWAP1
000024b9: SWAP2
000024ba: SSTORE
000024bb: DUP6
000024bc: DUP5
000024bd: MSTORE
000024be: PUSH1 0x04
000024c0: SWAP1
000024c1: SWAP3
000024c2: MSTORE
000024c3: DUP3
000024c4: KECCAK256
000024c5: DUP1
000024c6: SLOAD
000024c7: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000024e8: AND
000024e9: SWAP1
000024ea: SWAP4
000024eb: OR
000024ec: PUSH21 0x010000000000000000000000000000000000000000
00002502: TIMESTAMP
00002503: SWAP1
00002504: SWAP3
00002505: AND
00002506: SWAP2
00002507: SWAP1
00002508: SWAP2
00002509: MUL
0000250a: OR
0000250b: SWAP1
0000250c: SWAP2
0000250d: SSTORE
0000250e: DUP2
0000250f: SWAP1
00002510: JUMPDEST
00002511: DUP6
00002512: DUP2
00002513: LT
00002514: ISZERO
00002515: PUSH2 0x25aa
00002518: JUMPI
00002519: PUSH1 0x40
0000251b: MLOAD
0000251c: DUP3
0000251d: SWAP1
0000251e: PUSH1 0x01
00002520: PUSH1 0x01
00002522: PUSH1 0xa0
00002524: SHL
00002525: SUB
00002526: DUP10
00002527: AND
00002528: SWAP1
00002529: PUSH1 0x00
0000252b: SWAP1
0000252c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000254d: SWAP1
0000254e: DUP3
0000254f: SWAP1
00002550: LOG4
00002551: DUP4
00002552: DUP1
00002553: ISZERO
00002554: PUSH2 0x2567
00002557: JUMPI
00002558: POP
00002559: PUSH2 0x2565
0000255c: PUSH1 0x00
0000255e: DUP9
0000255f: DUP5
00002560: DUP9
00002561: PUSH2 0x1f98
00002564: JUMP
00002565: JUMPDEST
00002566: ISZERO
00002567: JUMPDEST
00002568: ISZERO
00002569: PUSH2 0x259e
0000256c: JUMPI
0000256d: PUSH1 0x40
0000256f: MLOAD
00002570: PUSH32 0xd1a57ed600000000000000000000000000000000000000000000000000000000
00002591: DUP2
00002592: MSTORE
00002593: PUSH1 0x04
00002595: ADD
00002596: PUSH1 0x40
00002598: MLOAD
00002599: DUP1
0000259a: SWAP2
0000259b: SUB
0000259c: SWAP1
0000259d: REVERT
0000259e: JUMPDEST
0000259f: PUSH1 0x01
000025a1: SWAP2
000025a2: DUP3
000025a3: ADD
000025a4: SWAP2
000025a5: ADD
000025a6: PUSH2 0x2510
000025a9: JUMP
000025aa: JUMPDEST
000025ab: POP
000025ac: PUSH1 0x01
000025ae: DUP1
000025af: SLOAD
000025b0: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
000025d1: AND
000025d2: PUSH16 0xffffffffffffffffffffffffffffffff
000025e3: SWAP3
000025e4: SWAP1
000025e5: SWAP3
000025e6: AND
000025e7: SWAP2
000025e8: SWAP1
000025e9: SWAP2
000025ea: OR
000025eb: SWAP1
000025ec: SSTORE
000025ed: PUSH2 0x1b25
000025f0: JUMP
000025f1: JUMPDEST
000025f2: DUP3
000025f3: DUP1
000025f4: SLOAD
000025f5: PUSH2 0x25fd
000025f8: SWAP1
000025f9: PUSH2 0x2a87
000025fc: JUMP
000025fd: JUMPDEST
000025fe: SWAP1
000025ff: PUSH1 0x00
00002601: MSTORE
00002602: PUSH1 0x20
00002604: PUSH1 0x00
00002606: KECCAK256
00002607: SWAP1
00002608: PUSH1 0x1f
0000260a: ADD
0000260b: PUSH1 0x20
0000260d: SWAP1
0000260e: DIV
0000260f: DUP2
00002610: ADD
00002611: SWAP3
00002612: DUP3
00002613: PUSH2 0x261f
00002616: JUMPI
00002617: PUSH1 0x00
00002619: DUP6
0000261a: SSTORE
0000261b: PUSH2 0x2665
0000261e: JUMP
0000261f: JUMPDEST
00002620: DUP3
00002621: PUSH1 0x1f
00002623: LT
00002624: PUSH2 0x2638
00002627: JUMPI
00002628: DUP3
00002629: DUP1
0000262a: ADD
0000262b: PUSH1 0xff
0000262d: NOT
0000262e: DUP3
0000262f: CALLDATALOAD
00002630: AND
00002631: OR
00002632: DUP6
00002633: SSTORE
00002634: PUSH2 0x2665
00002637: JUMP
00002638: JUMPDEST
00002639: DUP3
0000263a: DUP1
0000263b: ADD
0000263c: PUSH1 0x01
0000263e: ADD
0000263f: DUP6
00002640: SSTORE
00002641: DUP3
00002642: ISZERO
00002643: PUSH2 0x2665
00002646: JUMPI
00002647: SWAP2
00002648: DUP3
00002649: ADD
0000264a: JUMPDEST
0000264b: DUP3
0000264c: DUP2
0000264d: GT
0000264e: ISZERO
0000264f: PUSH2 0x2665
00002652: JUMPI
00002653: DUP3
00002654: CALLDATALOAD
00002655: DUP3
00002656: SSTORE
00002657: SWAP2
00002658: PUSH1 0x20
0000265a: ADD
0000265b: SWAP2
0000265c: SWAP1
0000265d: PUSH1 0x01
0000265f: ADD
00002660: SWAP1
00002661: PUSH2 0x264a
00002664: JUMP
00002665: JUMPDEST
00002666: POP
00002667: PUSH2 0x2671
0000266a: SWAP3
0000266b: SWAP2
0000266c: POP
0000266d: PUSH2 0x2675
00002670: JUMP
00002671: JUMPDEST
00002672: POP
00002673: SWAP1
00002674: JUMP
00002675: JUMPDEST
00002676: JUMPDEST
00002677: DUP1
00002678: DUP3
00002679: GT
0000267a: ISZERO
0000267b: PUSH2 0x2671
0000267e: JUMPI
0000267f: PUSH1 0x00
00002681: DUP2
00002682: SSTORE
00002683: PUSH1 0x01
00002685: ADD
00002686: PUSH2 0x2676
00002689: JUMP
0000268a: JUMPDEST
0000268b: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000026ac: DUP2
000026ad: AND
000026ae: DUP2
000026af: EQ
000026b0: PUSH2 0x15d5
000026b3: JUMPI
000026b4: PUSH1 0x00
000026b6: DUP1
000026b7: REVERT
000026b8: JUMPDEST
000026b9: PUSH1 0x00
000026bb: PUSH1 0x20
000026bd: DUP3
000026be: DUP5
000026bf: SUB
000026c0: SLT
000026c1: ISZERO
000026c2: PUSH2 0x26ca
000026c5: JUMPI
000026c6: PUSH1 0x00
000026c8: DUP1
000026c9: REVERT
000026ca: JUMPDEST
000026cb: DUP2
000026cc: CALLDATALOAD
000026cd: PUSH2 0x149c
000026d0: DUP2
000026d1: PUSH2 0x268a
000026d4: JUMP
000026d5: JUMPDEST
000026d6: PUSH1 0x00
000026d8: JUMPDEST
000026d9: DUP4
000026da: DUP2
000026db: LT
000026dc: ISZERO
000026dd: PUSH2 0x26f0
000026e0: JUMPI
000026e1: DUP2
000026e2: DUP2
000026e3: ADD
000026e4: MLOAD
000026e5: DUP4
000026e6: DUP3
000026e7: ADD
000026e8: MSTORE
000026e9: PUSH1 0x20
000026eb: ADD
000026ec: PUSH2 0x26d8
000026ef: JUMP
000026f0: JUMPDEST
000026f1: DUP4
000026f2: DUP2
000026f3: GT
000026f4: ISZERO
000026f5: PUSH2 0x1295
000026f8: JUMPI
000026f9: POP
000026fa: POP
000026fb: PUSH1 0x00
000026fd: SWAP2
000026fe: ADD
000026ff: MSTORE
00002700: JUMP
00002701: JUMPDEST
00002702: PUSH1 0x00
00002704: DUP2
00002705: MLOAD
00002706: DUP1
00002707: DUP5
00002708: MSTORE
00002709: PUSH2 0x2719
0000270c: DUP2
0000270d: PUSH1 0x20
0000270f: DUP7
00002710: ADD
00002711: PUSH1 0x20
00002713: DUP7
00002714: ADD
00002715: PUSH2 0x26d5
00002718: JUMP
00002719: JUMPDEST
0000271a: PUSH1 0x1f
0000271c: ADD
0000271d: PUSH1 0x1f
0000271f: NOT
00002720: AND
00002721: SWAP3
00002722: SWAP1
00002723: SWAP3
00002724: ADD
00002725: PUSH1 0x20
00002727: ADD
00002728: SWAP3
00002729: SWAP2
0000272a: POP
0000272b: POP
0000272c: JUMP
0000272d: JUMPDEST
0000272e: PUSH1 0x20
00002730: DUP2
00002731: MSTORE
00002732: PUSH1 0x00
00002734: PUSH2 0x149c
00002737: PUSH1 0x20
00002739: DUP4
0000273a: ADD
0000273b: DUP5
0000273c: PUSH2 0x2701
0000273f: JUMP
00002740: JUMPDEST
00002741: PUSH1 0x00
00002743: PUSH1 0x20
00002745: DUP3
00002746: DUP5
00002747: SUB
00002748: SLT
00002749: ISZERO
0000274a: PUSH2 0x2752
0000274d: JUMPI
0000274e: PUSH1 0x00
00002750: DUP1
00002751: REVERT
00002752: JUMPDEST
00002753: POP
00002754: CALLDATALOAD
00002755: SWAP2
00002756: SWAP1
00002757: POP
00002758: JUMP
00002759: JUMPDEST
0000275a: DUP1
0000275b: CALLDATALOAD
0000275c: PUSH1 0x01
0000275e: PUSH1 0x01
00002760: PUSH1 0xa0
00002762: SHL
00002763: SUB
00002764: DUP2
00002765: AND
00002766: DUP2
00002767: EQ
00002768: PUSH2 0x2770
0000276b: JUMPI
0000276c: PUSH1 0x00
0000276e: DUP1
0000276f: REVERT
00002770: JUMPDEST
00002771: SWAP2
00002772: SWAP1
00002773: POP
00002774: JUMP
00002775: JUMPDEST
00002776: PUSH1 0x00
00002778: DUP1
00002779: PUSH1 0x40
0000277b: DUP4
0000277c: DUP6
0000277d: SUB
0000277e: SLT
0000277f: ISZERO
00002780: PUSH2 0x2788
00002783: JUMPI
00002784: PUSH1 0x00
00002786: DUP1
00002787: REVERT
00002788: JUMPDEST
00002789: PUSH2 0x2791
0000278c: DUP4
0000278d: PUSH2 0x2759
00002790: JUMP
00002791: JUMPDEST
00002792: SWAP5
00002793: PUSH1 0x20
00002795: SWAP4
00002796: SWAP1
00002797: SWAP4
00002798: ADD
00002799: CALLDATALOAD
0000279a: SWAP4
0000279b: POP
0000279c: POP
0000279d: POP
0000279e: JUMP
0000279f: JUMPDEST
000027a0: DUP1
000027a1: CALLDATALOAD
000027a2: DUP1
000027a3: ISZERO
000027a4: ISZERO
000027a5: DUP2
000027a6: EQ
000027a7: PUSH2 0x2770
000027aa: JUMPI
000027ab: PUSH1 0x00
000027ad: DUP1
000027ae: REVERT
000027af: JUMPDEST
000027b0: PUSH1 0x00
000027b2: PUSH1 0x20
000027b4: DUP3
000027b5: DUP5
000027b6: SUB
000027b7: SLT
000027b8: ISZERO
000027b9: PUSH2 0x27c1
000027bc: JUMPI
000027bd: PUSH1 0x00
000027bf: DUP1
000027c0: REVERT
000027c1: JUMPDEST
000027c2: PUSH2 0x149c
000027c5: DUP3
000027c6: PUSH2 0x279f
000027c9: JUMP
000027ca: JUMPDEST
000027cb: PUSH1 0x00
000027cd: DUP1
000027ce: PUSH1 0x00
000027d0: PUSH1 0x60
000027d2: DUP5
000027d3: DUP7
000027d4: SUB
000027d5: SLT
000027d6: ISZERO
000027d7: PUSH2 0x27df
000027da: JUMPI
000027db: PUSH1 0x00
000027dd: DUP1
000027de: REVERT
000027df: JUMPDEST
000027e0: PUSH2 0x27e8
000027e3: DUP5
000027e4: PUSH2 0x2759
000027e7: JUMP
000027e8: JUMPDEST
000027e9: SWAP3
000027ea: POP
000027eb: PUSH2 0x27f6
000027ee: PUSH1 0x20
000027f0: DUP6
000027f1: ADD
000027f2: PUSH2 0x2759
000027f5: JUMP
000027f6: JUMPDEST
000027f7: SWAP2
000027f8: POP
000027f9: PUSH1 0x40
000027fb: DUP5
000027fc: ADD
000027fd: CALLDATALOAD
000027fe: SWAP1
000027ff: POP
00002800: SWAP3
00002801: POP
00002802: SWAP3
00002803: POP
00002804: SWAP3
00002805: JUMP
00002806: JUMPDEST
00002807: PUSH1 0x00
00002809: DUP1
0000280a: PUSH1 0x20
0000280c: DUP4
0000280d: DUP6
0000280e: SUB
0000280f: SLT
00002810: ISZERO
00002811: PUSH2 0x2819
00002814: JUMPI
00002815: PUSH1 0x00
00002817: DUP1
00002818: REVERT
00002819: JUMPDEST
0000281a: DUP3
0000281b: CALLDATALOAD
0000281c: PUSH8 0xffffffffffffffff
00002825: DUP1
00002826: DUP3
00002827: GT
00002828: ISZERO
00002829: PUSH2 0x2831
0000282c: JUMPI
0000282d: PUSH1 0x00
0000282f: DUP1
00002830: REVERT
00002831: JUMPDEST
00002832: DUP2
00002833: DUP6
00002834: ADD
00002835: SWAP2
00002836: POP
00002837: DUP6
00002838: PUSH1 0x1f
0000283a: DUP4
0000283b: ADD
0000283c: SLT
0000283d: PUSH2 0x2845
00002840: JUMPI
00002841: PUSH1 0x00
00002843: DUP1
00002844: REVERT
00002845: JUMPDEST
00002846: DUP2
00002847: CALLDATALOAD
00002848: DUP2
00002849: DUP2
0000284a: GT
0000284b: ISZERO
0000284c: PUSH2 0x2854
0000284f: JUMPI
00002850: PUSH1 0x00
00002852: DUP1
00002853: REVERT
00002854: JUMPDEST
00002855: DUP7
00002856: PUSH1 0x20
00002858: DUP3
00002859: DUP6
0000285a: ADD
0000285b: ADD
0000285c: GT
0000285d: ISZERO
0000285e: PUSH2 0x2866
00002861: JUMPI
00002862: PUSH1 0x00
00002864: DUP1
00002865: REVERT
00002866: JUMPDEST
00002867: PUSH1 0x20
00002869: SWAP3
0000286a: SWAP1
0000286b: SWAP3
0000286c: ADD
0000286d: SWAP7
0000286e: SWAP2
0000286f: SWAP6
00002870: POP
00002871: SWAP1
00002872: SWAP4
00002873: POP
00002874: POP
00002875: POP
00002876: POP
00002877: JUMP
00002878: JUMPDEST
00002879: PUSH1 0x00
0000287b: PUSH1 0x20
0000287d: DUP3
0000287e: DUP5
0000287f: SUB
00002880: SLT
00002881: ISZERO
00002882: PUSH2 0x288a
00002885: JUMPI
00002886: PUSH1 0x00
00002888: DUP1
00002889: REVERT
0000288a: JUMPDEST
0000288b: PUSH2 0x149c
0000288e: DUP3
0000288f: PUSH2 0x2759
00002892: JUMP
00002893: JUMPDEST
00002894: PUSH1 0x00
00002896: DUP1
00002897: PUSH1 0x00
00002899: PUSH1 0x40
0000289b: DUP5
0000289c: DUP7
0000289d: SUB
0000289e: SLT
0000289f: ISZERO
000028a0: PUSH2 0x28a8
000028a3: JUMPI
000028a4: PUSH1 0x00
000028a6: DUP1
000028a7: REVERT
000028a8: JUMPDEST
000028a9: DUP4
000028aa: CALLDATALOAD
000028ab: PUSH8 0xffffffffffffffff
000028b4: DUP1
000028b5: DUP3
000028b6: GT
000028b7: ISZERO
000028b8: PUSH2 0x28c0
000028bb: JUMPI
000028bc: PUSH1 0x00
000028be: DUP1
000028bf: REVERT
000028c0: JUMPDEST
000028c1: DUP2
000028c2: DUP7
000028c3: ADD
000028c4: SWAP2
000028c5: POP
000028c6: DUP7
000028c7: PUSH1 0x1f
000028c9: DUP4
000028ca: ADD
000028cb: SLT
000028cc: PUSH2 0x28d4
000028cf: JUMPI
000028d0: PUSH1 0x00
000028d2: DUP1
000028d3: REVERT
000028d4: JUMPDEST
000028d5: DUP2
000028d6: CALLDATALOAD
000028d7: DUP2
000028d8: DUP2
000028d9: GT
000028da: ISZERO
000028db: PUSH2 0x28e3
000028de: JUMPI
000028df: PUSH1 0x00
000028e1: DUP1
000028e2: REVERT
000028e3: JUMPDEST
000028e4: DUP8
000028e5: PUSH1 0x20
000028e7: DUP3
000028e8: PUSH1 0x05
000028ea: SHL
000028eb: DUP6
000028ec: ADD
000028ed: ADD
000028ee: GT
000028ef: ISZERO
000028f0: PUSH2 0x28f8
000028f3: JUMPI
000028f4: PUSH1 0x00
000028f6: DUP1
000028f7: REVERT
000028f8: JUMPDEST
000028f9: PUSH1 0x20
000028fb: SWAP3
000028fc: DUP4
000028fd: ADD
000028fe: SWAP6
000028ff: POP
00002900: SWAP4
00002901: POP
00002902: POP
00002903: DUP5
00002904: ADD
00002905: CALLDATALOAD
00002906: PUSH1 0xff
00002908: DUP2
00002909: AND
0000290a: DUP2
0000290b: EQ
0000290c: PUSH2 0x2914
0000290f: JUMPI
00002910: PUSH1 0x00
00002912: DUP1
00002913: REVERT
00002914: JUMPDEST
00002915: DUP1
00002916: SWAP2
00002917: POP
00002918: POP
00002919: SWAP3
0000291a: POP
0000291b: SWAP3
0000291c: POP
0000291d: SWAP3
0000291e: JUMP
0000291f: JUMPDEST
00002920: PUSH1 0x00
00002922: DUP1
00002923: PUSH1 0x40
00002925: DUP4
00002926: DUP6
00002927: SUB
00002928: SLT
00002929: ISZERO
0000292a: PUSH2 0x2932
0000292d: JUMPI
0000292e: PUSH1 0x00
00002930: DUP1
00002931: REVERT
00002932: JUMPDEST
00002933: PUSH2 0x293b
00002936: DUP4
00002937: PUSH2 0x2759
0000293a: JUMP
0000293b: JUMPDEST
0000293c: SWAP2
0000293d: POP
0000293e: PUSH2 0x2949
00002941: PUSH1 0x20
00002943: DUP5
00002944: ADD
00002945: PUSH2 0x279f
00002948: JUMP
00002949: JUMPDEST
0000294a: SWAP1
0000294b: POP
0000294c: SWAP3
0000294d: POP
0000294e: SWAP3
0000294f: SWAP1
00002950: POP
00002951: JUMP
00002952: JUMPDEST
00002953: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002974: PUSH1 0x00
00002976: MSTORE
00002977: PUSH1 0x41
00002979: PUSH1 0x04
0000297b: MSTORE
0000297c: PUSH1 0x24
0000297e: PUSH1 0x00
00002980: REVERT
00002981: JUMPDEST
00002982: PUSH1 0x00
00002984: DUP1
00002985: PUSH1 0x00
00002987: DUP1
00002988: PUSH1 0x80
0000298a: DUP6
0000298b: DUP8
0000298c: SUB
0000298d: SLT
0000298e: ISZERO
0000298f: PUSH2 0x2997
00002992: JUMPI
00002993: PUSH1 0x00
00002995: DUP1
00002996: REVERT
00002997: JUMPDEST
00002998: PUSH2 0x29a0
0000299b: DUP6
0000299c: PUSH2 0x2759
0000299f: JUMP
000029a0: JUMPDEST
000029a1: SWAP4
000029a2: POP
000029a3: PUSH2 0x29ae
000029a6: PUSH1 0x20
000029a8: DUP7
000029a9: ADD
000029aa: PUSH2 0x2759
000029ad: JUMP
000029ae: JUMPDEST
000029af: SWAP3
000029b0: POP
000029b1: PUSH1 0x40
000029b3: DUP6
000029b4: ADD
000029b5: CALLDATALOAD
000029b6: SWAP2
000029b7: POP
000029b8: PUSH1 0x60
000029ba: DUP6
000029bb: ADD
000029bc: CALLDATALOAD
000029bd: PUSH8 0xffffffffffffffff
000029c6: DUP1
000029c7: DUP3
000029c8: GT
000029c9: ISZERO
000029ca: PUSH2 0x29d2
000029cd: JUMPI
000029ce: PUSH1 0x00
000029d0: DUP1
000029d1: REVERT
000029d2: JUMPDEST
000029d3: DUP2
000029d4: DUP8
000029d5: ADD
000029d6: SWAP2
000029d7: POP
000029d8: DUP8
000029d9: PUSH1 0x1f
000029db: DUP4
000029dc: ADD
000029dd: SLT
000029de: PUSH2 0x29e6
000029e1: JUMPI
000029e2: PUSH1 0x00
000029e4: DUP1
000029e5: REVERT
000029e6: JUMPDEST
000029e7: DUP2
000029e8: CALLDATALOAD
000029e9: DUP2
000029ea: DUP2
000029eb: GT
000029ec: ISZERO
000029ed: PUSH2 0x29f8
000029f0: JUMPI
000029f1: PUSH2 0x29f8
000029f4: PUSH2 0x2952
000029f7: JUMP
000029f8: JUMPDEST
000029f9: PUSH1 0x40
000029fb: MLOAD
000029fc: PUSH1 0x1f
000029fe: DUP3
000029ff: ADD
00002a00: PUSH1 0x1f
00002a02: NOT
00002a03: SWAP1
00002a04: DUP2
00002a05: AND
00002a06: PUSH1 0x3f
00002a08: ADD
00002a09: AND
00002a0a: DUP2
00002a0b: ADD
00002a0c: SWAP1
00002a0d: DUP4
00002a0e: DUP3
00002a0f: GT
00002a10: DUP2
00002a11: DUP4
00002a12: LT
00002a13: OR
00002a14: ISZERO
00002a15: PUSH2 0x2a20
00002a18: JUMPI
00002a19: PUSH2 0x2a20
00002a1c: PUSH2 0x2952
00002a1f: JUMP
00002a20: JUMPDEST
00002a21: DUP2
00002a22: PUSH1 0x40
00002a24: MSTORE
00002a25: DUP3
00002a26: DUP2
00002a27: MSTORE
00002a28: DUP11
00002a29: PUSH1 0x20
00002a2b: DUP5
00002a2c: DUP8
00002a2d: ADD
00002a2e: ADD
00002a2f: GT
00002a30: ISZERO
00002a31: PUSH2 0x2a39
00002a34: JUMPI
00002a35: PUSH1 0x00
00002a37: DUP1
00002a38: REVERT
00002a39: JUMPDEST
00002a3a: DUP3
00002a3b: PUSH1 0x20
00002a3d: DUP7
00002a3e: ADD
00002a3f: PUSH1 0x20
00002a41: DUP4
00002a42: ADD
00002a43: CALLDATACOPY
00002a44: PUSH1 0x00
00002a46: PUSH1 0x20
00002a48: DUP5
00002a49: DUP4
00002a4a: ADD
00002a4b: ADD
00002a4c: MSTORE
00002a4d: DUP1
00002a4e: SWAP6
00002a4f: POP
00002a50: POP
00002a51: POP
00002a52: POP
00002a53: POP
00002a54: POP
00002a55: SWAP3
00002a56: SWAP6
00002a57: SWAP2
00002a58: SWAP5
00002a59: POP
00002a5a: SWAP3
00002a5b: POP
00002a5c: JUMP
00002a5d: JUMPDEST
00002a5e: PUSH1 0x00
00002a60: DUP1
00002a61: PUSH1 0x40
00002a63: DUP4
00002a64: DUP6
00002a65: SUB
00002a66: SLT
00002a67: ISZERO
00002a68: PUSH2 0x2a70
00002a6b: JUMPI
00002a6c: PUSH1 0x00
00002a6e: DUP1
00002a6f: REVERT
00002a70: JUMPDEST
00002a71: PUSH2 0x2a79
00002a74: DUP4
00002a75: PUSH2 0x2759
00002a78: JUMP
00002a79: JUMPDEST
00002a7a: SWAP2
00002a7b: POP
00002a7c: PUSH2 0x2949
00002a7f: PUSH1 0x20
00002a81: DUP5
00002a82: ADD
00002a83: PUSH2 0x2759
00002a86: JUMP
00002a87: JUMPDEST
00002a88: PUSH1 0x01
00002a8a: DUP2
00002a8b: DUP2
00002a8c: SHR
00002a8d: SWAP1
00002a8e: DUP3
00002a8f: AND
00002a90: DUP1
00002a91: PUSH2 0x2a9b
00002a94: JUMPI
00002a95: PUSH1 0x7f
00002a97: DUP3
00002a98: AND
00002a99: SWAP2
00002a9a: POP
00002a9b: JUMPDEST
00002a9c: PUSH1 0x20
00002a9e: DUP3
00002a9f: LT
00002aa0: DUP2
00002aa1: EQ
00002aa2: ISZERO
00002aa3: PUSH2 0x2ad5
00002aa6: JUMPI
00002aa7: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002ac8: PUSH1 0x00
00002aca: MSTORE
00002acb: PUSH1 0x22
00002acd: PUSH1 0x04
00002acf: MSTORE
00002ad0: PUSH1 0x24
00002ad2: PUSH1 0x00
00002ad4: REVERT
00002ad5: JUMPDEST
00002ad6: POP
00002ad7: SWAP2
00002ad8: SWAP1
00002ad9: POP
00002ada: JUMP
00002adb: JUMPDEST
00002adc: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002afd: PUSH1 0x00
00002aff: MSTORE
00002b00: PUSH1 0x11
00002b02: PUSH1 0x04
00002b04: MSTORE
00002b05: PUSH1 0x24
00002b07: PUSH1 0x00
00002b09: REVERT
00002b0a: JUMPDEST
00002b0b: PUSH1 0x00
00002b0d: PUSH1 0xff
00002b0f: DUP3
00002b10: AND
00002b11: PUSH1 0xff
00002b13: DUP5
00002b14: AND
00002b15: DUP1
00002b16: DUP3
00002b17: LT
00002b18: ISZERO
00002b19: PUSH2 0x2b24
00002b1c: JUMPI
00002b1d: PUSH2 0x2b24
00002b20: PUSH2 0x2adb
00002b23: JUMP
00002b24: JUMPDEST
00002b25: SWAP1
00002b26: SUB
00002b27: SWAP4
00002b28: SWAP3
00002b29: POP
00002b2a: POP
00002b2b: POP
00002b2c: JUMP
00002b2d: JUMPDEST
00002b2e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002b4f: PUSH1 0x00
00002b51: MSTORE
00002b52: PUSH1 0x32
00002b54: PUSH1 0x04
00002b56: MSTORE
00002b57: PUSH1 0x24
00002b59: PUSH1 0x00
00002b5b: REVERT
00002b5c: JUMPDEST
00002b5d: PUSH1 0x00
00002b5f: PUSH1 0x00
00002b61: NOT
00002b62: DUP3
00002b63: EQ
00002b64: ISZERO
00002b65: PUSH2 0x2b70
00002b68: JUMPI
00002b69: PUSH2 0x2b70
00002b6c: PUSH2 0x2adb
00002b6f: JUMP
00002b70: JUMPDEST
00002b71: POP
00002b72: PUSH1 0x01
00002b74: ADD
00002b75: SWAP1
00002b76: JUMP
00002b77: JUMPDEST
00002b78: PUSH1 0x00
00002b7a: DUP4
00002b7b: MLOAD
00002b7c: PUSH2 0x2b89
00002b7f: DUP2
00002b80: DUP5
00002b81: PUSH1 0x20
00002b83: DUP9
00002b84: ADD
00002b85: PUSH2 0x26d5
00002b88: JUMP
00002b89: JUMPDEST
00002b8a: DUP4
00002b8b: MLOAD
00002b8c: SWAP1
00002b8d: DUP4
00002b8e: ADD
00002b8f: SWAP1
00002b90: PUSH2 0x2b9d
00002b93: DUP2
00002b94: DUP4
00002b95: PUSH1 0x20
00002b97: DUP9
00002b98: ADD
00002b99: PUSH2 0x26d5
00002b9c: JUMP
00002b9d: JUMPDEST
00002b9e: ADD
00002b9f: SWAP5
00002ba0: SWAP4
00002ba1: POP
00002ba2: POP
00002ba3: POP
00002ba4: POP
00002ba5: JUMP
00002ba6: JUMPDEST
00002ba7: PUSH1 0x00
00002ba9: DUP2
00002baa: PUSH1 0x00
00002bac: NOT
00002bad: DIV
00002bae: DUP4
00002baf: GT
00002bb0: DUP3
00002bb1: ISZERO
00002bb2: ISZERO
00002bb3: AND
00002bb4: ISZERO
00002bb5: PUSH2 0x2bc0
00002bb8: JUMPI
00002bb9: PUSH2 0x2bc0
00002bbc: PUSH2 0x2adb
00002bbf: JUMP
00002bc0: JUMPDEST
00002bc1: POP
00002bc2: MUL
00002bc3: SWAP1
00002bc4: JUMP
00002bc5: JUMPDEST
00002bc6: PUSH1 0x00
00002bc8: DUP3
00002bc9: NOT
00002bca: DUP3
00002bcb: GT
00002bcc: ISZERO
00002bcd: PUSH2 0x2bd8
00002bd0: JUMPI
00002bd1: PUSH2 0x2bd8
00002bd4: PUSH2 0x2adb
00002bd7: JUMP
00002bd8: JUMPDEST
00002bd9: POP
00002bda: ADD
00002bdb: SWAP1
00002bdc: JUMP
00002bdd: JUMPDEST
00002bde: PUSH1 0x00
00002be0: DUP3
00002be1: DUP3
00002be2: LT
00002be3: ISZERO
00002be4: PUSH2 0x2bef
00002be7: JUMPI
00002be8: PUSH2 0x2bef
00002beb: PUSH2 0x2adb
00002bee: JUMP
00002bef: JUMPDEST
00002bf0: POP
00002bf1: SUB
00002bf2: SWAP1
00002bf3: JUMP
00002bf4: JUMPDEST
00002bf5: PUSH1 0x00
00002bf7: PUSH1 0x01
00002bf9: PUSH1 0x01
00002bfb: PUSH1 0xa0
00002bfd: SHL
00002bfe: SUB
00002bff: DUP1
00002c00: DUP8
00002c01: AND
00002c02: DUP4
00002c03: MSTORE
00002c04: DUP1
00002c05: DUP7
00002c06: AND
00002c07: PUSH1 0x20
00002c09: DUP5
00002c0a: ADD
00002c0b: MSTORE
00002c0c: POP
00002c0d: DUP4
00002c0e: PUSH1 0x40
00002c10: DUP4
00002c11: ADD
00002c12: MSTORE
00002c13: PUSH1 0x80
00002c15: PUSH1 0x60
00002c17: DUP4
00002c18: ADD
00002c19: MSTORE
00002c1a: PUSH2 0x2c26
00002c1d: PUSH1 0x80
00002c1f: DUP4
00002c20: ADD
00002c21: DUP5
00002c22: PUSH2 0x2701
00002c25: JUMP
00002c26: JUMPDEST
00002c27: SWAP7
00002c28: SWAP6
00002c29: POP
00002c2a: POP
00002c2b: POP
00002c2c: POP
00002c2d: POP
00002c2e: POP
00002c2f: JUMP
00002c30: JUMPDEST
00002c31: PUSH1 0x00
00002c33: PUSH1 0x20
00002c35: DUP3
00002c36: DUP5
00002c37: SUB
00002c38: SLT
00002c39: ISZERO
00002c3a: PUSH2 0x2c42
00002c3d: JUMPI
00002c3e: PUSH1 0x00
00002c40: DUP1
00002c41: REVERT
00002c42: JUMPDEST
00002c43: DUP2
00002c44: MLOAD
00002c45: PUSH2 0x149c
00002c48: DUP2
00002c49: PUSH2 0x268a
00002c4c: JUMP
00002c4d: JUMPDEST
00002c4e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002c6f: PUSH1 0x00
00002c71: MSTORE
00002c72: PUSH1 0x12
00002c74: PUSH1 0x04
00002c76: MSTORE
00002c77: PUSH1 0x24
00002c79: PUSH1 0x00
00002c7b: REVERT
00002c7c: JUMPDEST
00002c7d: PUSH1 0x00
00002c7f: DUP3
00002c80: PUSH2 0x2c8b
00002c83: JUMPI
00002c84: PUSH2 0x2c8b
00002c87: PUSH2 0x2c4d
00002c8a: JUMP
00002c8b: JUMPDEST
00002c8c: POP
00002c8d: DIV
00002c8e: SWAP1
00002c8f: JUMP
00002c90: JUMPDEST
00002c91: PUSH1 0x00
00002c93: DUP3
00002c94: PUSH2 0x2c9f
00002c97: JUMPI
00002c98: PUSH2 0x2c9f
00002c9b: PUSH2 0x2c4d
00002c9e: JUMP
00002c9f: JUMPDEST
00002ca0: POP
00002ca1: MOD
00002ca2: SWAP1
00002ca3: JUMP
00002ca4: INVALID
00002ca5: LOG2
00002ca6: PUSH5 0x6970667358
00002cac: UNKNOWN(0x22)
00002cad: SLT
00002cae: KECCAK256
00002caf: UNKNOWN(0x4F)
00002cb0: UNKNOWN(0xB4)
00002cb1: JUMPI
00002cb2: UNKNOWN(0x28)
00002cb3: UNKNOWN(0x0D)
00002cb4: LOG2
00002cb5: PUSH2 0x6221
00002cb8: SWAP4
00002cb9: UNKNOWN(0xAD)
00002cba: EQ
00002cbb: UNKNOWN(0x27)
00002cbc: UNKNOWN(0x25)
00002cbd: EXP
00002cbe: SUB
00002cbf: UNKNOWN(0xAF)
00002cc0: UNKNOWN(0xC5)
00002cc1: PUSH10 0x1b5efbce45f45ffc654d
00002ccc: LOG0
00002ccd: PUSH18
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: 0xad0ad5851966469ed787c6efdb6c10bf6893585d4b1706514028d1c637ba6452 call_targets: 0xf40edd5f75a338bd26de6fac1c36a18c0874b870 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xad0ad5851966469ed787c6efdb6c10bf6893585d4b1706514028d1c637ba6452", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf40edd5f75a338bd26de6fac1c36a18c0874b870" ], "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": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf4a725e2", "selector": "0xf4a725e2", "calldata_variants": [ "0xf4a725e2", "0xf4a725e20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfba7d7cb", "selector": "0xfba7d7cb", "calldata_variants": [ "0xfba7d7cb", "0xfba7d7cb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xefd0cbf9", "selector": "0xefd0cbf9", "calldata_variants": [ "0xefd0cbf9", "0xefd0cbf90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc87b56dd", "selector": "0xc87b56dd", "calldata_variants": [ "0xc87b56dd", "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xca800144", "selector": "0xca800144", "calldata_variants": [ "0xca800144", "0xca8001440000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe268e4d3", "selector": "0xe268e4d3", "calldata_variants": [ "0xe268e4d3", "0xe268e4d30000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3686, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 8195, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [], "untrusted_call_count": 2 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xad0ad5851966469ed787c6efdb6c10bf6893585d4b1706514028d1c637ba6452 call_targets: 0xf40edd5f75a338bd26de6fac1c36a18c0874b870 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xad0ad5851966469ed787c6efdb6c10bf6893585d4b1706514028d1c637ba6452", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf40edd5f75a338bd26de6fac1c36a18c0874b870" ], "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": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf4a725e2", "selector": "0xf4a725e2", "calldata_variants": [ "0xf4a725e2", "0xf4a725e20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfba7d7cb", "selector": "0xfba7d7cb", "calldata_variants": [ "0xfba7d7cb", "0xfba7d7cb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xefd0cbf9", "selector": "0xefd0cbf9", "calldata_variants": [ "0xefd0cbf9", "0xefd0cbf90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc87b56dd", "selector": "0xc87b56dd", "calldata_variants": [ "0xc87b56dd", "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xca800144", "selector": "0xca800144", "calldata_variants": [ "0xca800144", "0xca8001440000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe268e4d3", "selector": "0xe268e4d3", "calldata_variants": [ "0xe268e4d3", "0xe268e4d30000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3686, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 8195, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }
Severity