Analysis Run

019b477e-b67d-7033-a444-4c1be8564959
complete
Chain ID
1
Address
0x01736a779d889cf048f7a7b5f55ea5c3727bd0bd
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
Authorization based on tx.origin
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.
Processing Jobs

Status & attempts
ID	Type	Status	Attempts	Heartbeat
23119	artifact.fetch	complete	1 / 3	3 months ago
23120	tool.cast_disasm	complete	1 / 3	3 months ago
66646	analysis.bundle	complete	1 / 3	2 weeks ago
66647	capability.graph	complete	1 / 3	2 weeks ago
66648	detector.run	complete	1 / 3	2 weeks ago
66649	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
3
Total opcodes
5280
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 0x0169
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH3 0x65318b
0000003b: EQ
0000003c: PUSH2 0x0177
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x06fdde03
00000046: EQ
00000047: PUSH2 0x01ce
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x10d0ffdd
00000051: EQ
00000052: PUSH2 0x025e
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x18160ddd
0000005c: EQ
0000005d: PUSH2 0x029f
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x22609373
00000067: EQ
00000068: PUSH2 0x02ca
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x27defa1f
00000072: EQ
00000073: PUSH2 0x030b
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x313ce567
0000007d: EQ
0000007e: PUSH2 0x033a
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x3ccfd60b
00000088: EQ
00000089: PUSH2 0x036b
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x4b750334
00000093: EQ
00000094: PUSH2 0x0382
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x56d399e8
0000009e: EQ
0000009f: PUSH2 0x03ad
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x688abbf7
000000a9: EQ
000000aa: PUSH2 0x03d8
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x6b2f4632
000000b4: EQ
000000b5: PUSH2 0x041b
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x70a08231
000000bf: EQ
000000c0: PUSH2 0x0446
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x790ca413
000000ca: EQ
000000cb: PUSH2 0x049d
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x8328b610
000000d5: EQ
000000d6: PUSH2 0x04c8
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x8620410b
000000e0: EQ
000000e1: PUSH2 0x04f5
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x87c95058
000000eb: EQ
000000ec: PUSH2 0x0520
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x8ef61faa
000000f6: EQ
000000f7: PUSH2 0x056f
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x949e8acd
00000101: EQ
00000102: PUSH2 0x05ca
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x95d89b41
0000010c: EQ
0000010d: PUSH2 0x05f5
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0xa8e04f34
00000117: EQ
00000118: PUSH2 0x0685
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0xa9059cbb
00000122: EQ
00000123: PUSH2 0x069c
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0xb84c8246
0000012d: EQ
0000012e: PUSH2 0x0701
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0xc47f0027
00000138: EQ
00000139: PUSH2 0x076a
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0xe4849b32
00000143: EQ
00000144: PUSH2 0x07d3
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0xe9fad8ee
0000014e: EQ
0000014f: PUSH2 0x0800
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0xf088d547
00000159: EQ
0000015a: PUSH2 0x0817
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0xfdb5a03e
00000164: EQ
00000165: PUSH2 0x0861
00000168: JUMPI
00000169: JUMPDEST
0000016a: PUSH2 0x0174
0000016d: CALLVALUE
0000016e: PUSH1 0x00
00000170: PUSH2 0x0878
00000173: JUMP
00000174: JUMPDEST
00000175: POP
00000176: STOP
00000177: JUMPDEST
00000178: CALLVALUE
00000179: DUP1
0000017a: ISZERO
0000017b: PUSH2 0x0183
0000017e: JUMPI
0000017f: PUSH1 0x00
00000181: DUP1
00000182: REVERT
00000183: JUMPDEST
00000184: POP
00000185: PUSH2 0x01b8
00000188: PUSH1 0x04
0000018a: DUP1
0000018b: CALLDATASIZE
0000018c: SUB
0000018d: DUP2
0000018e: ADD
0000018f: SWAP1
00000190: DUP1
00000191: DUP1
00000192: CALLDATALOAD
00000193: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001a8: AND
000001a9: SWAP1
000001aa: PUSH1 0x20
000001ac: ADD
000001ad: SWAP1
000001ae: SWAP3
000001af: SWAP2
000001b0: SWAP1
000001b1: POP
000001b2: POP
000001b3: POP
000001b4: PUSH2 0x1339
000001b7: JUMP
000001b8: JUMPDEST
000001b9: PUSH1 0x40
000001bb: MLOAD
000001bc: DUP1
000001bd: DUP3
000001be: DUP2
000001bf: MSTORE
000001c0: PUSH1 0x20
000001c2: ADD
000001c3: SWAP2
000001c4: POP
000001c5: POP
000001c6: PUSH1 0x40
000001c8: MLOAD
000001c9: DUP1
000001ca: SWAP2
000001cb: SUB
000001cc: SWAP1
000001cd: RETURN
000001ce: JUMPDEST
000001cf: CALLVALUE
000001d0: DUP1
000001d1: ISZERO
000001d2: PUSH2 0x01da
000001d5: JUMPI
000001d6: PUSH1 0x00
000001d8: DUP1
000001d9: REVERT
000001da: JUMPDEST
000001db: POP
000001dc: PUSH2 0x01e3
000001df: PUSH2 0x13db
000001e2: JUMP
000001e3: JUMPDEST
000001e4: PUSH1 0x40
000001e6: MLOAD
000001e7: DUP1
000001e8: DUP1
000001e9: PUSH1 0x20
000001eb: ADD
000001ec: DUP3
000001ed: DUP2
000001ee: SUB
000001ef: DUP3
000001f0: MSTORE
000001f1: DUP4
000001f2: DUP2
000001f3: DUP2
000001f4: MLOAD
000001f5: DUP2
000001f6: MSTORE
000001f7: PUSH1 0x20
000001f9: ADD
000001fa: SWAP2
000001fb: POP
000001fc: DUP1
000001fd: MLOAD
000001fe: SWAP1
000001ff: PUSH1 0x20
00000201: ADD
00000202: SWAP1
00000203: DUP1
00000204: DUP4
00000205: DUP4
00000206: PUSH1 0x00
00000208: JUMPDEST
00000209: DUP4
0000020a: DUP2
0000020b: LT
0000020c: ISZERO
0000020d: PUSH2 0x0223
00000210: JUMPI
00000211: DUP1
00000212: DUP3
00000213: ADD
00000214: MLOAD
00000215: DUP2
00000216: DUP5
00000217: ADD
00000218: MSTORE
00000219: PUSH1 0x20
0000021b: DUP2
0000021c: ADD
0000021d: SWAP1
0000021e: POP
0000021f: PUSH2 0x0208
00000222: JUMP
00000223: JUMPDEST
00000224: POP
00000225: POP
00000226: POP
00000227: POP
00000228: SWAP1
00000229: POP
0000022a: SWAP1
0000022b: DUP2
0000022c: ADD
0000022d: SWAP1
0000022e: PUSH1 0x1f
00000230: AND
00000231: DUP1
00000232: ISZERO
00000233: PUSH2 0x0250
00000236: JUMPI
00000237: DUP1
00000238: DUP3
00000239: SUB
0000023a: DUP1
0000023b: MLOAD
0000023c: PUSH1 0x01
0000023e: DUP4
0000023f: PUSH1 0x20
00000241: SUB
00000242: PUSH2 0x0100
00000245: EXP
00000246: SUB
00000247: NOT
00000248: AND
00000249: DUP2
0000024a: MSTORE
0000024b: PUSH1 0x20
0000024d: ADD
0000024e: SWAP2
0000024f: POP
00000250: JUMPDEST
00000251: POP
00000252: SWAP3
00000253: POP
00000254: POP
00000255: POP
00000256: PUSH1 0x40
00000258: MLOAD
00000259: DUP1
0000025a: SWAP2
0000025b: SUB
0000025c: SWAP1
0000025d: RETURN
0000025e: JUMPDEST
0000025f: CALLVALUE
00000260: DUP1
00000261: ISZERO
00000262: PUSH2 0x026a
00000265: JUMPI
00000266: PUSH1 0x00
00000268: DUP1
00000269: REVERT
0000026a: JUMPDEST
0000026b: POP
0000026c: PUSH2 0x0289
0000026f: PUSH1 0x04
00000271: DUP1
00000272: CALLDATASIZE
00000273: SUB
00000274: DUP2
00000275: ADD
00000276: SWAP1
00000277: DUP1
00000278: DUP1
00000279: CALLDATALOAD
0000027a: SWAP1
0000027b: PUSH1 0x20
0000027d: ADD
0000027e: SWAP1
0000027f: SWAP3
00000280: SWAP2
00000281: SWAP1
00000282: POP
00000283: POP
00000284: POP
00000285: PUSH2 0x1479
00000288: JUMP
00000289: JUMPDEST
0000028a: PUSH1 0x40
0000028c: MLOAD
0000028d: DUP1
0000028e: DUP3
0000028f: DUP2
00000290: MSTORE
00000291: PUSH1 0x20
00000293: ADD
00000294: SWAP2
00000295: POP
00000296: POP
00000297: PUSH1 0x40
00000299: MLOAD
0000029a: DUP1
0000029b: SWAP2
0000029c: SUB
0000029d: SWAP1
0000029e: RETURN
0000029f: JUMPDEST
000002a0: CALLVALUE
000002a1: DUP1
000002a2: ISZERO
000002a3: PUSH2 0x02ab
000002a6: JUMPI
000002a7: PUSH1 0x00
000002a9: DUP1
000002aa: REVERT
000002ab: JUMPDEST
000002ac: POP
000002ad: PUSH2 0x02b4
000002b0: PUSH2 0x14bb
000002b3: JUMP
000002b4: JUMPDEST
000002b5: PUSH1 0x40
000002b7: MLOAD
000002b8: DUP1
000002b9: DUP3
000002ba: DUP2
000002bb: MSTORE
000002bc: PUSH1 0x20
000002be: ADD
000002bf: SWAP2
000002c0: POP
000002c1: POP
000002c2: PUSH1 0x40
000002c4: MLOAD
000002c5: DUP1
000002c6: SWAP2
000002c7: SUB
000002c8: SWAP1
000002c9: RETURN
000002ca: JUMPDEST
000002cb: CALLVALUE
000002cc: DUP1
000002cd: ISZERO
000002ce: PUSH2 0x02d6
000002d1: JUMPI
000002d2: PUSH1 0x00
000002d4: DUP1
000002d5: REVERT
000002d6: JUMPDEST
000002d7: POP
000002d8: PUSH2 0x02f5
000002db: PUSH1 0x04
000002dd: DUP1
000002de: CALLDATASIZE
000002df: SUB
000002e0: DUP2
000002e1: ADD
000002e2: SWAP1
000002e3: DUP1
000002e4: DUP1
000002e5: CALLDATALOAD
000002e6: SWAP1
000002e7: PUSH1 0x20
000002e9: ADD
000002ea: SWAP1
000002eb: SWAP3
000002ec: SWAP2
000002ed: SWAP1
000002ee: POP
000002ef: POP
000002f0: POP
000002f1: PUSH2 0x14c5
000002f4: JUMP
000002f5: JUMPDEST
000002f6: PUSH1 0x40
000002f8: MLOAD
000002f9: DUP1
000002fa: DUP3
000002fb: DUP2
000002fc: MSTORE
000002fd: PUSH1 0x20
000002ff: ADD
00000300: SWAP2
00000301: POP
00000302: POP
00000303: PUSH1 0x40
00000305: MLOAD
00000306: DUP1
00000307: SWAP2
00000308: SUB
00000309: SWAP1
0000030a: RETURN
0000030b: JUMPDEST
0000030c: CALLVALUE
0000030d: DUP1
0000030e: ISZERO
0000030f: PUSH2 0x0317
00000312: JUMPI
00000313: PUSH1 0x00
00000315: DUP1
00000316: REVERT
00000317: JUMPDEST
00000318: POP
00000319: PUSH2 0x0320
0000031c: PUSH2 0x1509
0000031f: JUMP
00000320: JUMPDEST
00000321: PUSH1 0x40
00000323: MLOAD
00000324: DUP1
00000325: DUP3
00000326: ISZERO
00000327: ISZERO
00000328: ISZERO
00000329: ISZERO
0000032a: DUP2
0000032b: MSTORE
0000032c: PUSH1 0x20
0000032e: ADD
0000032f: SWAP2
00000330: POP
00000331: POP
00000332: PUSH1 0x40
00000334: MLOAD
00000335: DUP1
00000336: SWAP2
00000337: SUB
00000338: SWAP1
00000339: RETURN
0000033a: JUMPDEST
0000033b: CALLVALUE
0000033c: DUP1
0000033d: ISZERO
0000033e: PUSH2 0x0346
00000341: JUMPI
00000342: PUSH1 0x00
00000344: DUP1
00000345: REVERT
00000346: JUMPDEST
00000347: POP
00000348: PUSH2 0x034f
0000034b: PUSH2 0x151c
0000034e: JUMP
0000034f: JUMPDEST
00000350: PUSH1 0x40
00000352: MLOAD
00000353: DUP1
00000354: DUP3
00000355: PUSH1 0xff
00000357: AND
00000358: PUSH1 0xff
0000035a: AND
0000035b: DUP2
0000035c: MSTORE
0000035d: PUSH1 0x20
0000035f: ADD
00000360: SWAP2
00000361: POP
00000362: POP
00000363: PUSH1 0x40
00000365: MLOAD
00000366: DUP1
00000367: SWAP2
00000368: SUB
00000369: SWAP1
0000036a: RETURN
0000036b: JUMPDEST
0000036c: CALLVALUE
0000036d: DUP1
0000036e: ISZERO
0000036f: PUSH2 0x0377
00000372: JUMPI
00000373: PUSH1 0x00
00000375: DUP1
00000376: REVERT
00000377: JUMPDEST
00000378: POP
00000379: PUSH2 0x0380
0000037c: PUSH2 0x1521
0000037f: JUMP
00000380: JUMPDEST
00000381: STOP
00000382: JUMPDEST
00000383: CALLVALUE
00000384: DUP1
00000385: ISZERO
00000386: PUSH2 0x038e
00000389: JUMPI
0000038a: PUSH1 0x00
0000038c: DUP1
0000038d: REVERT
0000038e: JUMPDEST
0000038f: POP
00000390: PUSH2 0x0397
00000393: PUSH2 0x16c5
00000396: JUMP
00000397: JUMPDEST
00000398: PUSH1 0x40
0000039a: MLOAD
0000039b: DUP1
0000039c: DUP3
0000039d: DUP2
0000039e: MSTORE
0000039f: PUSH1 0x20
000003a1: ADD
000003a2: SWAP2
000003a3: POP
000003a4: POP
000003a5: PUSH1 0x40
000003a7: MLOAD
000003a8: DUP1
000003a9: SWAP2
000003aa: SUB
000003ab: SWAP1
000003ac: RETURN
000003ad: JUMPDEST
000003ae: CALLVALUE
000003af: DUP1
000003b0: ISZERO
000003b1: PUSH2 0x03b9
000003b4: JUMPI
000003b5: PUSH1 0x00
000003b7: DUP1
000003b8: REVERT
000003b9: JUMPDEST
000003ba: POP
000003bb: PUSH2 0x03c2
000003be: PUSH2 0x171e
000003c1: JUMP
000003c2: JUMPDEST
000003c3: PUSH1 0x40
000003c5: MLOAD
000003c6: DUP1
000003c7: DUP3
000003c8: DUP2
000003c9: MSTORE
000003ca: PUSH1 0x20
000003cc: ADD
000003cd: SWAP2
000003ce: POP
000003cf: POP
000003d0: PUSH1 0x40
000003d2: MLOAD
000003d3: DUP1
000003d4: SWAP2
000003d5: SUB
000003d6: SWAP1
000003d7: RETURN
000003d8: JUMPDEST
000003d9: CALLVALUE
000003da: DUP1
000003db: ISZERO
000003dc: PUSH2 0x03e4
000003df: JUMPI
000003e0: PUSH1 0x00
000003e2: DUP1
000003e3: REVERT
000003e4: JUMPDEST
000003e5: POP
000003e6: PUSH2 0x0405
000003e9: PUSH1 0x04
000003eb: DUP1
000003ec: CALLDATASIZE
000003ed: SUB
000003ee: DUP2
000003ef: ADD
000003f0: SWAP1
000003f1: DUP1
000003f2: DUP1
000003f3: CALLDATALOAD
000003f4: ISZERO
000003f5: ISZERO
000003f6: SWAP1
000003f7: PUSH1 0x20
000003f9: ADD
000003fa: SWAP1
000003fb: SWAP3
000003fc: SWAP2
000003fd: SWAP1
000003fe: POP
000003ff: POP
00000400: POP
00000401: PUSH2 0x1724
00000404: JUMP
00000405: JUMPDEST
00000406: PUSH1 0x40
00000408: MLOAD
00000409: DUP1
0000040a: DUP3
0000040b: DUP2
0000040c: MSTORE
0000040d: PUSH1 0x20
0000040f: ADD
00000410: SWAP2
00000411: POP
00000412: POP
00000413: PUSH1 0x40
00000415: MLOAD
00000416: DUP1
00000417: SWAP2
00000418: SUB
00000419: SWAP1
0000041a: RETURN
0000041b: JUMPDEST
0000041c: CALLVALUE
0000041d: DUP1
0000041e: ISZERO
0000041f: PUSH2 0x0427
00000422: JUMPI
00000423: PUSH1 0x00
00000425: DUP1
00000426: REVERT
00000427: JUMPDEST
00000428: POP
00000429: PUSH2 0x0430
0000042c: PUSH2 0x1790
0000042f: JUMP
00000430: JUMPDEST
00000431: PUSH1 0x40
00000433: MLOAD
00000434: DUP1
00000435: DUP3
00000436: DUP2
00000437: MSTORE
00000438: PUSH1 0x20
0000043a: ADD
0000043b: SWAP2
0000043c: POP
0000043d: POP
0000043e: PUSH1 0x40
00000440: MLOAD
00000441: DUP1
00000442: SWAP2
00000443: SUB
00000444: SWAP1
00000445: RETURN
00000446: JUMPDEST
00000447: CALLVALUE
00000448: DUP1
00000449: ISZERO
0000044a: PUSH2 0x0452
0000044d: JUMPI
0000044e: PUSH1 0x00
00000450: DUP1
00000451: REVERT
00000452: JUMPDEST
00000453: POP
00000454: PUSH2 0x0487
00000457: PUSH1 0x04
00000459: DUP1
0000045a: CALLDATASIZE
0000045b: SUB
0000045c: DUP2
0000045d: ADD
0000045e: SWAP1
0000045f: DUP1
00000460: DUP1
00000461: CALLDATALOAD
00000462: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000477: AND
00000478: SWAP1
00000479: PUSH1 0x20
0000047b: ADD
0000047c: SWAP1
0000047d: SWAP3
0000047e: SWAP2
0000047f: SWAP1
00000480: POP
00000481: POP
00000482: POP
00000483: PUSH2 0x17af
00000486: JUMP
00000487: JUMPDEST
00000488: PUSH1 0x40
0000048a: MLOAD
0000048b: DUP1
0000048c: DUP3
0000048d: DUP2
0000048e: MSTORE
0000048f: PUSH1 0x20
00000491: ADD
00000492: SWAP2
00000493: POP
00000494: POP
00000495: PUSH1 0x40
00000497: MLOAD
00000498: DUP1
00000499: SWAP2
0000049a: SUB
0000049b: SWAP1
0000049c: RETURN
0000049d: JUMPDEST
0000049e: CALLVALUE
0000049f: DUP1
000004a0: ISZERO
000004a1: PUSH2 0x04a9
000004a4: JUMPI
000004a5: PUSH1 0x00
000004a7: DUP1
000004a8: REVERT
000004a9: JUMPDEST
000004aa: POP
000004ab: PUSH2 0x04b2
000004ae: PUSH2 0x17f8
000004b1: JUMP
000004b2: JUMPDEST
000004b3: PUSH1 0x40
000004b5: MLOAD
000004b6: DUP1
000004b7: DUP3
000004b8: DUP2
000004b9: MSTORE
000004ba: PUSH1 0x20
000004bc: ADD
000004bd: SWAP2
000004be: POP
000004bf: POP
000004c0: PUSH1 0x40
000004c2: MLOAD
000004c3: DUP1
000004c4: SWAP2
000004c5: SUB
000004c6: SWAP1
000004c7: RETURN
000004c8: JUMPDEST
000004c9: CALLVALUE
000004ca: DUP1
000004cb: ISZERO
000004cc: PUSH2 0x04d4
000004cf: JUMPI
000004d0: PUSH1 0x00
000004d2: DUP1
000004d3: REVERT
000004d4: JUMPDEST
000004d5: POP
000004d6: PUSH2 0x04f3
000004d9: PUSH1 0x04
000004db: DUP1
000004dc: CALLDATASIZE
000004dd: SUB
000004de: DUP2
000004df: ADD
000004e0: SWAP1
000004e1: DUP1
000004e2: DUP1
000004e3: CALLDATALOAD
000004e4: SWAP1
000004e5: PUSH1 0x20
000004e7: ADD
000004e8: SWAP1
000004e9: SWAP3
000004ea: SWAP2
000004eb: SWAP1
000004ec: POP
000004ed: POP
000004ee: POP
000004ef: PUSH2 0x1800
000004f2: JUMP
000004f3: JUMPDEST
000004f4: STOP
000004f5: JUMPDEST
000004f6: CALLVALUE
000004f7: DUP1
000004f8: ISZERO
000004f9: PUSH2 0x0501
000004fc: JUMPI
000004fd: PUSH1 0x00
000004ff: DUP1
00000500: REVERT
00000501: JUMPDEST
00000502: POP
00000503: PUSH2 0x050a
00000506: PUSH2 0x1868
00000509: JUMP
0000050a: JUMPDEST
0000050b: PUSH1 0x40
0000050d: MLOAD
0000050e: DUP1
0000050f: DUP3
00000510: DUP2
00000511: MSTORE
00000512: PUSH1 0x20
00000514: ADD
00000515: SWAP2
00000516: POP
00000517: POP
00000518: PUSH1 0x40
0000051a: MLOAD
0000051b: DUP1
0000051c: SWAP2
0000051d: SUB
0000051e: SWAP1
0000051f: RETURN
00000520: JUMPDEST
00000521: CALLVALUE
00000522: DUP1
00000523: ISZERO
00000524: PUSH2 0x052c
00000527: JUMPI
00000528: PUSH1 0x00
0000052a: DUP1
0000052b: REVERT
0000052c: JUMPDEST
0000052d: POP
0000052e: PUSH2 0x056d
00000531: PUSH1 0x04
00000533: DUP1
00000534: CALLDATASIZE
00000535: SUB
00000536: DUP2
00000537: ADD
00000538: SWAP1
00000539: DUP1
0000053a: DUP1
0000053b: CALLDATALOAD
0000053c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000551: AND
00000552: SWAP1
00000553: PUSH1 0x20
00000555: ADD
00000556: SWAP1
00000557: SWAP3
00000558: SWAP2
00000559: SWAP1
0000055a: DUP1
0000055b: CALLDATALOAD
0000055c: ISZERO
0000055d: ISZERO
0000055e: SWAP1
0000055f: PUSH1 0x20
00000561: ADD
00000562: SWAP1
00000563: SWAP3
00000564: SWAP2
00000565: SWAP1
00000566: POP
00000567: POP
00000568: POP
00000569: PUSH2 0x18d0
0000056c: JUMP
0000056d: JUMPDEST
0000056e: STOP
0000056f: JUMPDEST
00000570: CALLVALUE
00000571: DUP1
00000572: ISZERO
00000573: PUSH2 0x057b
00000576: JUMPI
00000577: PUSH1 0x00
00000579: DUP1
0000057a: REVERT
0000057b: JUMPDEST
0000057c: POP
0000057d: PUSH2 0x05b0
00000580: PUSH1 0x04
00000582: DUP1
00000583: CALLDATASIZE
00000584: SUB
00000585: DUP2
00000586: ADD
00000587: SWAP1
00000588: DUP1
00000589: DUP1
0000058a: CALLDATALOAD
0000058b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005a0: AND
000005a1: SWAP1
000005a2: PUSH1 0x20
000005a4: ADD
000005a5: SWAP1
000005a6: SWAP3
000005a7: SWAP2
000005a8: SWAP1
000005a9: POP
000005aa: POP
000005ab: POP
000005ac: PUSH2 0x1989
000005af: JUMP
000005b0: JUMPDEST
000005b1: PUSH1 0x40
000005b3: MLOAD
000005b4: DUP1
000005b5: DUP3
000005b6: ISZERO
000005b7: ISZERO
000005b8: ISZERO
000005b9: ISZERO
000005ba: DUP2
000005bb: MSTORE
000005bc: PUSH1 0x20
000005be: ADD
000005bf: SWAP2
000005c0: POP
000005c1: POP
000005c2: PUSH1 0x40
000005c4: MLOAD
000005c5: DUP1
000005c6: SWAP2
000005c7: SUB
000005c8: SWAP1
000005c9: RETURN
000005ca: JUMPDEST
000005cb: CALLVALUE
000005cc: DUP1
000005cd: ISZERO
000005ce: PUSH2 0x05d6
000005d1: JUMPI
000005d2: PUSH1 0x00
000005d4: DUP1
000005d5: REVERT
000005d6: JUMPDEST
000005d7: POP
000005d8: PUSH2 0x05df
000005db: PUSH2 0x19a9
000005de: JUMP
000005df: JUMPDEST
000005e0: PUSH1 0x40
000005e2: MLOAD
000005e3: DUP1
000005e4: DUP3
000005e5: DUP2
000005e6: MSTORE
000005e7: PUSH1 0x20
000005e9: ADD
000005ea: SWAP2
000005eb: POP
000005ec: POP
000005ed: PUSH1 0x40
000005ef: MLOAD
000005f0: DUP1
000005f1: SWAP2
000005f2: SUB
000005f3: SWAP1
000005f4: RETURN
000005f5: JUMPDEST
000005f6: CALLVALUE
000005f7: DUP1
000005f8: ISZERO
000005f9: PUSH2 0x0601
000005fc: JUMPI
000005fd: PUSH1 0x00
000005ff: DUP1
00000600: REVERT
00000601: JUMPDEST
00000602: POP
00000603: PUSH2 0x060a
00000606: PUSH2 0x19be
00000609: JUMP
0000060a: JUMPDEST
0000060b: PUSH1 0x40
0000060d: MLOAD
0000060e: DUP1
0000060f: DUP1
00000610: PUSH1 0x20
00000612: ADD
00000613: DUP3
00000614: DUP2
00000615: SUB
00000616: DUP3
00000617: MSTORE
00000618: DUP4
00000619: DUP2
0000061a: DUP2
0000061b: MLOAD
0000061c: DUP2
0000061d: MSTORE
0000061e: PUSH1 0x20
00000620: ADD
00000621: SWAP2
00000622: POP
00000623: DUP1
00000624: MLOAD
00000625: SWAP1
00000626: PUSH1 0x20
00000628: ADD
00000629: SWAP1
0000062a: DUP1
0000062b: DUP4
0000062c: DUP4
0000062d: PUSH1 0x00
0000062f: JUMPDEST
00000630: DUP4
00000631: DUP2
00000632: LT
00000633: ISZERO
00000634: PUSH2 0x064a
00000637: JUMPI
00000638: DUP1
00000639: DUP3
0000063a: ADD
0000063b: MLOAD
0000063c: DUP2
0000063d: DUP5
0000063e: ADD
0000063f: MSTORE
00000640: PUSH1 0x20
00000642: DUP2
00000643: ADD
00000644: SWAP1
00000645: POP
00000646: PUSH2 0x062f
00000649: JUMP
0000064a: JUMPDEST
0000064b: POP
0000064c: POP
0000064d: POP
0000064e: POP
0000064f: SWAP1
00000650: POP
00000651: SWAP1
00000652: DUP2
00000653: ADD
00000654: SWAP1
00000655: PUSH1 0x1f
00000657: AND
00000658: DUP1
00000659: ISZERO
0000065a: PUSH2 0x0677
0000065d: JUMPI
0000065e: DUP1
0000065f: DUP3
00000660: SUB
00000661: DUP1
00000662: MLOAD
00000663: PUSH1 0x01
00000665: DUP4
00000666: PUSH1 0x20
00000668: SUB
00000669: PUSH2 0x0100
0000066c: EXP
0000066d: SUB
0000066e: NOT
0000066f: AND
00000670: DUP2
00000671: MSTORE
00000672: PUSH1 0x20
00000674: ADD
00000675: SWAP2
00000676: POP
00000677: JUMPDEST
00000678: POP
00000679: SWAP3
0000067a: POP
0000067b: POP
0000067c: POP
0000067d: PUSH1 0x40
0000067f: MLOAD
00000680: DUP1
00000681: SWAP2
00000682: SUB
00000683: SWAP1
00000684: RETURN
00000685: JUMPDEST
00000686: CALLVALUE
00000687: DUP1
00000688: ISZERO
00000689: PUSH2 0x0691
0000068c: JUMPI
0000068d: PUSH1 0x00
0000068f: DUP1
00000690: REVERT
00000691: JUMPDEST
00000692: POP
00000693: PUSH2 0x069a
00000696: PUSH2 0x1a5c
00000699: JUMP
0000069a: JUMPDEST
0000069b: STOP
0000069c: JUMPDEST
0000069d: CALLVALUE
0000069e: DUP1
0000069f: ISZERO
000006a0: PUSH2 0x06a8
000006a3: JUMPI
000006a4: PUSH1 0x00
000006a6: DUP1
000006a7: REVERT
000006a8: JUMPDEST
000006a9: POP
000006aa: PUSH2 0x06e7
000006ad: PUSH1 0x04
000006af: DUP1
000006b0: CALLDATASIZE
000006b1: SUB
000006b2: DUP2
000006b3: ADD
000006b4: SWAP1
000006b5: DUP1
000006b6: DUP1
000006b7: CALLDATALOAD
000006b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006cd: AND
000006ce: SWAP1
000006cf: PUSH1 0x20
000006d1: ADD
000006d2: SWAP1
000006d3: SWAP3
000006d4: SWAP2
000006d5: SWAP1
000006d6: DUP1
000006d7: CALLDATALOAD
000006d8: SWAP1
000006d9: PUSH1 0x20
000006db: ADD
000006dc: SWAP1
000006dd: SWAP3
000006de: SWAP2
000006df: SWAP1
000006e0: POP
000006e1: POP
000006e2: POP
000006e3: PUSH2 0x1abc
000006e6: JUMP
000006e7: JUMPDEST
000006e8: PUSH1 0x40
000006ea: MLOAD
000006eb: DUP1
000006ec: DUP3
000006ed: ISZERO
000006ee: ISZERO
000006ef: ISZERO
000006f0: ISZERO
000006f1: DUP2
000006f2: MSTORE
000006f3: PUSH1 0x20
000006f5: ADD
000006f6: SWAP2
000006f7: POP
000006f8: POP
000006f9: PUSH1 0x40
000006fb: MLOAD
000006fc: DUP1
000006fd: SWAP2
000006fe: SUB
000006ff: SWAP1
00000700: RETURN
00000701: JUMPDEST
00000702: CALLVALUE
00000703: DUP1
00000704: ISZERO
00000705: PUSH2 0x070d
00000708: JUMPI
00000709: PUSH1 0x00
0000070b: DUP1
0000070c: REVERT
0000070d: JUMPDEST
0000070e: POP
0000070f: PUSH2 0x0768
00000712: PUSH1 0x04
00000714: DUP1
00000715: CALLDATASIZE
00000716: SUB
00000717: DUP2
00000718: ADD
00000719: SWAP1
0000071a: DUP1
0000071b: DUP1
0000071c: CALLDATALOAD
0000071d: SWAP1
0000071e: PUSH1 0x20
00000720: ADD
00000721: SWAP1
00000722: DUP3
00000723: ADD
00000724: DUP1
00000725: CALLDATALOAD
00000726: SWAP1
00000727: PUSH1 0x20
00000729: ADD
0000072a: SWAP1
0000072b: DUP1
0000072c: DUP1
0000072d: PUSH1 0x1f
0000072f: ADD
00000730: PUSH1 0x20
00000732: DUP1
00000733: SWAP2
00000734: DIV
00000735: MUL
00000736: PUSH1 0x20
00000738: ADD
00000739: PUSH1 0x40
0000073b: MLOAD
0000073c: SWAP1
0000073d: DUP2
0000073e: ADD
0000073f: PUSH1 0x40
00000741: MSTORE
00000742: DUP1
00000743: SWAP4
00000744: SWAP3
00000745: SWAP2
00000746: SWAP1
00000747: DUP2
00000748: DUP2
00000749: MSTORE
0000074a: PUSH1 0x20
0000074c: ADD
0000074d: DUP4
0000074e: DUP4
0000074f: DUP1
00000750: DUP3
00000751: DUP5
00000752: CALLDATACOPY
00000753: DUP3
00000754: ADD
00000755: SWAP2
00000756: POP
00000757: POP
00000758: POP
00000759: POP
0000075a: POP
0000075b: POP
0000075c: SWAP2
0000075d: SWAP3
0000075e: SWAP2
0000075f: SWAP3
00000760: SWAP1
00000761: POP
00000762: POP
00000763: POP
00000764: PUSH2 0x1e64
00000767: JUMP
00000768: JUMPDEST
00000769: STOP
0000076a: JUMPDEST
0000076b: CALLVALUE
0000076c: DUP1
0000076d: ISZERO
0000076e: PUSH2 0x0776
00000771: JUMPI
00000772: PUSH1 0x00
00000774: DUP1
00000775: REVERT
00000776: JUMPDEST
00000777: POP
00000778: PUSH2 0x07d1
0000077b: PUSH1 0x04
0000077d: DUP1
0000077e: CALLDATASIZE
0000077f: SUB
00000780: DUP2
00000781: ADD
00000782: SWAP1
00000783: DUP1
00000784: DUP1
00000785: CALLDATALOAD
00000786: SWAP1
00000787: PUSH1 0x20
00000789: ADD
0000078a: SWAP1
0000078b: DUP3
0000078c: ADD
0000078d: DUP1
0000078e: CALLDATALOAD
0000078f: SWAP1
00000790: PUSH1 0x20
00000792: ADD
00000793: SWAP1
00000794: DUP1
00000795: DUP1
00000796: PUSH1 0x1f
00000798: ADD
00000799: PUSH1 0x20
0000079b: DUP1
0000079c: SWAP2
0000079d: DIV
0000079e: MUL
0000079f: PUSH1 0x20
000007a1: ADD
000007a2: PUSH1 0x40
000007a4: MLOAD
000007a5: SWAP1
000007a6: DUP2
000007a7: ADD
000007a8: PUSH1 0x40
000007aa: MSTORE
000007ab: DUP1
000007ac: SWAP4
000007ad: SWAP3
000007ae: SWAP2
000007af: SWAP1
000007b0: DUP2
000007b1: DUP2
000007b2: MSTORE
000007b3: PUSH1 0x20
000007b5: ADD
000007b6: DUP4
000007b7: DUP4
000007b8: DUP1
000007b9: DUP3
000007ba: DUP5
000007bb: CALLDATACOPY
000007bc: DUP3
000007bd: ADD
000007be: SWAP2
000007bf: POP
000007c0: POP
000007c1: POP
000007c2: POP
000007c3: POP
000007c4: POP
000007c5: SWAP2
000007c6: SWAP3
000007c7: SWAP2
000007c8: SWAP3
000007c9: SWAP1
000007ca: POP
000007cb: POP
000007cc: POP
000007cd: PUSH2 0x1edc
000007d0: JUMP
000007d1: JUMPDEST
000007d2: STOP
000007d3: JUMPDEST
000007d4: CALLVALUE
000007d5: DUP1
000007d6: ISZERO
000007d7: PUSH2 0x07df
000007da: JUMPI
000007db: PUSH1 0x00
000007dd: DUP1
000007de: REVERT
000007df: JUMPDEST
000007e0: POP
000007e1: PUSH2 0x07fe
000007e4: PUSH1 0x04
000007e6: DUP1
000007e7: CALLDATASIZE
000007e8: SUB
000007e9: DUP2
000007ea: ADD
000007eb: SWAP1
000007ec: DUP1
000007ed: DUP1
000007ee: CALLDATALOAD
000007ef: SWAP1
000007f0: PUSH1 0x20
000007f2: ADD
000007f3: SWAP1
000007f4: SWAP3
000007f5: SWAP2
000007f6: SWAP1
000007f7: POP
000007f8: POP
000007f9: POP
000007fa: PUSH2 0x1f54
000007fd: JUMP
000007fe: JUMPDEST
000007ff: STOP
00000800: JUMPDEST
00000801: CALLVALUE
00000802: DUP1
00000803: ISZERO
00000804: PUSH2 0x080c
00000807: JUMPI
00000808: PUSH1 0x00
0000080a: DUP1
0000080b: REVERT
0000080c: JUMPDEST
0000080d: POP
0000080e: PUSH2 0x0815
00000811: PUSH2 0x217d
00000814: JUMP
00000815: JUMPDEST
00000816: STOP
00000817: JUMPDEST
00000818: PUSH2 0x084b
0000081b: PUSH1 0x04
0000081d: DUP1
0000081e: CALLDATASIZE
0000081f: SUB
00000820: DUP2
00000821: ADD
00000822: SWAP1
00000823: DUP1
00000824: DUP1
00000825: CALLDATALOAD
00000826: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000083b: AND
0000083c: SWAP1
0000083d: PUSH1 0x20
0000083f: ADD
00000840: SWAP1
00000841: SWAP3
00000842: SWAP2
00000843: SWAP1
00000844: POP
00000845: POP
00000846: POP
00000847: PUSH2 0x21e4
0000084a: JUMP
0000084b: JUMPDEST
0000084c: PUSH1 0x40
0000084e: MLOAD
0000084f: DUP1
00000850: DUP3
00000851: DUP2
00000852: MSTORE
00000853: PUSH1 0x20
00000855: ADD
00000856: SWAP2
00000857: POP
00000858: POP
00000859: PUSH1 0x40
0000085b: MLOAD
0000085c: DUP1
0000085d: SWAP2
0000085e: SUB
0000085f: SWAP1
00000860: RETURN
00000861: JUMPDEST
00000862: CALLVALUE
00000863: DUP1
00000864: ISZERO
00000865: PUSH2 0x086d
00000868: JUMPI
00000869: PUSH1 0x00
0000086b: DUP1
0000086c: REVERT
0000086d: JUMPDEST
0000086e: POP
0000086f: PUSH2 0x0876
00000872: PUSH2 0x21f6
00000875: JUMP
00000876: JUMPDEST
00000877: STOP
00000878: JUMPDEST
00000879: PUSH1 0x00
0000087b: DUP1
0000087c: PUSH1 0x00
0000087e: DUP1
0000087f: PUSH1 0x00
00000881: DUP1
00000882: PUSH1 0x00
00000884: DUP9
00000885: PUSH1 0x00
00000887: CALLER
00000888: SWAP1
00000889: POP
0000088a: TIMESTAMP
0000088b: PUSH4 0x5da08ae0
00000890: GT
00000891: ISZERO
00000892: ISZERO
00000893: PUSH2 0x08b2
00000896: JUMPI
00000897: PUSH1 0x00
00000899: PUSH1 0x0b
0000089b: PUSH1 0x00
0000089d: PUSH2 0x0100
000008a0: EXP
000008a1: DUP2
000008a2: SLOAD
000008a3: DUP2
000008a4: PUSH1 0xff
000008a6: MUL
000008a7: NOT
000008a8: AND
000008a9: SWAP1
000008aa: DUP4
000008ab: ISZERO
000008ac: ISZERO
000008ad: MUL
000008ae: OR
000008af: SWAP1
000008b0: SSTORE
000008b1: POP
000008b2: JUMPDEST
000008b3: PUSH1 0x0b
000008b5: PUSH1 0x00
000008b7: SWAP1
000008b8: SLOAD
000008b9: SWAP1
000008ba: PUSH2 0x0100
000008bd: EXP
000008be: SWAP1
000008bf: DIV
000008c0: PUSH1 0xff
000008c2: AND
000008c3: DUP1
000008c4: ISZERO
000008c5: PUSH2 0x08df
000008c8: JUMPI
000008c9: POP
000008ca: PUSH8 0x1bc16d674ec80000
000008d3: DUP3
000008d4: PUSH2 0x08db
000008d7: PUSH2 0x1790
000008da: JUMP
000008db: JUMPDEST
000008dc: SUB
000008dd: GT
000008de: ISZERO
000008df: JUMPDEST
000008e0: ISZERO
000008e1: PUSH2 0x0e9c
000008e4: JUMPI
000008e5: PUSH1 0x01
000008e7: ISZERO
000008e8: ISZERO
000008e9: PUSH1 0x03
000008eb: PUSH1 0x00
000008ed: DUP4
000008ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000903: AND
00000904: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000919: AND
0000091a: DUP2
0000091b: MSTORE
0000091c: PUSH1 0x20
0000091e: ADD
0000091f: SWAP1
00000920: DUP2
00000921: MSTORE
00000922: PUSH1 0x20
00000924: ADD
00000925: PUSH1 0x00
00000927: KECCAK256
00000928: PUSH1 0x00
0000092a: SWAP1
0000092b: SLOAD
0000092c: SWAP1
0000092d: PUSH2 0x0100
00000930: EXP
00000931: SWAP1
00000932: DIV
00000933: PUSH1 0xff
00000935: AND
00000936: ISZERO
00000937: ISZERO
00000938: EQ
00000939: DUP1
0000093a: ISZERO
0000093b: PUSH2 0x098d
0000093e: JUMPI
0000093f: POP
00000940: PUSH8 0x1bc16d674ec80000
00000949: DUP3
0000094a: PUSH1 0x07
0000094c: PUSH1 0x00
0000094e: DUP5
0000094f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000964: AND
00000965: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000097a: AND
0000097b: DUP2
0000097c: MSTORE
0000097d: PUSH1 0x20
0000097f: ADD
00000980: SWAP1
00000981: DUP2
00000982: MSTORE
00000983: PUSH1 0x20
00000985: ADD
00000986: PUSH1 0x00
00000988: KECCAK256
00000989: SLOAD
0000098a: ADD
0000098b: GT
0000098c: ISZERO
0000098d: JUMPDEST
0000098e: ISZERO
0000098f: ISZERO
00000990: PUSH2 0x0998
00000993: JUMPI
00000994: PUSH1 0x00
00000996: DUP1
00000997: REVERT
00000998: JUMPDEST
00000999: PUSH2 0x09e1
0000099c: PUSH1 0x07
0000099e: PUSH1 0x00
000009a0: DUP4
000009a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b6: AND
000009b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009cc: AND
000009cd: DUP2
000009ce: MSTORE
000009cf: PUSH1 0x20
000009d1: ADD
000009d2: SWAP1
000009d3: DUP2
000009d4: MSTORE
000009d5: PUSH1 0x20
000009d7: ADD
000009d8: PUSH1 0x00
000009da: KECCAK256
000009db: SLOAD
000009dc: DUP4
000009dd: PUSH2 0x236a
000009e0: JUMP
000009e1: JUMPDEST
000009e2: PUSH1 0x07
000009e4: PUSH1 0x00
000009e6: DUP4
000009e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009fc: AND
000009fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a12: AND
00000a13: DUP2
00000a14: MSTORE
00000a15: PUSH1 0x20
00000a17: ADD
00000a18: SWAP1
00000a19: DUP2
00000a1a: MSTORE
00000a1b: PUSH1 0x20
00000a1d: ADD
00000a1e: PUSH1 0x00
00000a20: KECCAK256
00000a21: DUP2
00000a22: SWAP1
00000a23: SSTORE
00000a24: POP
00000a25: PUSH1 0x00
00000a27: DUP1
00000a28: CALLER
00000a29: SWAP2
00000a2a: POP
00000a2b: DUP2
00000a2c: EXTCODESIZE
00000a2d: SWAP1
00000a2e: POP
00000a2f: PUSH1 0x00
00000a31: DUP2
00000a32: EQ
00000a33: ISZERO
00000a34: ISZERO
00000a35: PUSH2 0x0aa6
00000a38: JUMPI
00000a39: PUSH1 0x40
00000a3b: MLOAD
00000a3c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a5d: DUP2
00000a5e: MSTORE
00000a5f: PUSH1 0x04
00000a61: ADD
00000a62: DUP1
00000a63: DUP1
00000a64: PUSH1 0x20
00000a66: ADD
00000a67: DUP3
00000a68: DUP2
00000a69: SUB
00000a6a: DUP3
00000a6b: MSTORE
00000a6c: PUSH1 0x11
00000a6e: DUP2
00000a6f: MSTORE
00000a70: PUSH1 0x20
00000a72: ADD
00000a73: DUP1
00000a74: PUSH32 0x736f7272792068756d616e73206f6e6c79000000000000000000000000000000
00000a95: DUP2
00000a96: MSTORE
00000a97: POP
00000a98: PUSH1 0x20
00000a9a: ADD
00000a9b: SWAP2
00000a9c: POP
00000a9d: POP
00000a9e: PUSH1 0x40
00000aa0: MLOAD
00000aa1: DUP1
00000aa2: SWAP2
00000aa3: SUB
00000aa4: SWAP1
00000aa5: REVERT
00000aa6: JUMPDEST
00000aa7: ORIGIN
00000aa8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000abd: AND
00000abe: DUP3
00000abf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad4: AND
00000ad5: EQ
00000ad6: ISZERO
00000ad7: ISZERO
00000ad8: PUSH2 0x0ae0
00000adb: JUMPI
00000adc: PUSH1 0x00
00000ade: DUP1
00000adf: REVERT
00000ae0: JUMPDEST
00000ae1: PUSH2 0x0af8
00000ae4: PUSH2 0x0af1
00000ae7: DUP15
00000ae8: PUSH1 0x0f
00000aea: PUSH1 0xff
00000aec: AND
00000aed: PUSH2 0x2388
00000af0: JUMP
00000af1: JUMPDEST
00000af2: PUSH1 0x64
00000af4: PUSH2 0x23c3
00000af7: JUMP
00000af8: JUMPDEST
00000af9: SWAP10
00000afa: POP
00000afb: PUSH2 0x0b12
00000afe: PUSH2 0x0b0b
00000b01: DUP12
00000b02: PUSH1 0x21
00000b04: PUSH1 0xff
00000b06: AND
00000b07: PUSH2 0x2388
00000b0a: JUMP
00000b0b: JUMPDEST
00000b0c: PUSH1 0x64
00000b0e: PUSH2 0x23c3
00000b11: JUMP
00000b12: JUMPDEST
00000b13: SWAP9
00000b14: POP
00000b15: PUSH2 0x0b1e
00000b18: DUP11
00000b19: DUP11
00000b1a: PUSH2 0x23de
00000b1d: JUMP
00000b1e: JUMPDEST
00000b1f: SWAP8
00000b20: POP
00000b21: PUSH2 0x0b32
00000b24: PUSH2 0x0b2d
00000b27: DUP15
00000b28: DUP13
00000b29: PUSH2 0x23de
00000b2c: JUMP
00000b2d: JUMPDEST
00000b2e: PUSH2 0x23f7
00000b31: JUMP
00000b32: JUMPDEST
00000b33: SWAP7
00000b34: POP
00000b35: PUSH9 0x010000000000000000
00000b3f: DUP9
00000b40: MUL
00000b41: SWAP6
00000b42: POP
00000b43: PUSH1 0x00
00000b45: DUP8
00000b46: GT
00000b47: DUP1
00000b48: ISZERO
00000b49: PUSH2 0x0b5e
00000b4c: JUMPI
00000b4d: POP
00000b4e: PUSH1 0x08
00000b50: SLOAD
00000b51: PUSH2 0x0b5c
00000b54: DUP9
00000b55: PUSH1 0x08
00000b57: SLOAD
00000b58: PUSH2 0x236a
00000b5b: JUMP
00000b5c: JUMPDEST
00000b5d: GT
00000b5e: JUMPDEST
00000b5f: ISZERO
00000b60: ISZERO
00000b61: PUSH2 0x0b69
00000b64: JUMPI
00000b65: PUSH1 0x00
00000b67: DUP1
00000b68: REVERT
00000b69: JUMPDEST
00000b6a: PUSH1 0x00
00000b6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b81: AND
00000b82: DUP13
00000b83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b98: AND
00000b99: EQ
00000b9a: ISZERO
00000b9b: DUP1
00000b9c: ISZERO
00000b9d: PUSH2 0x0bd2
00000ba0: JUMPI
00000ba1: POP
00000ba2: CALLER
00000ba3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb8: AND
00000bb9: DUP13
00000bba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bcf: AND
00000bd0: EQ
00000bd1: ISZERO
00000bd2: JUMPDEST
00000bd3: DUP1
00000bd4: ISZERO
00000bd5: PUSH2 0x0c1f
00000bd8: JUMPI
00000bd9: POP
00000bda: PUSH1 0x02
00000bdc: SLOAD
00000bdd: PUSH1 0x04
00000bdf: PUSH1 0x00
00000be1: DUP15
00000be2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bf7: AND
00000bf8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c0d: AND
00000c0e: DUP2
00000c0f: MSTORE
00000c10: PUSH1 0x20
00000c12: ADD
00000c13: SWAP1
00000c14: DUP2
00000c15: MSTORE
00000c16: PUSH1 0x20
00000c18: ADD
00000c19: PUSH1 0x00
00000c1b: KECCAK256
00000c1c: SLOAD
00000c1d: LT
00000c1e: ISZERO
00000c1f: JUMPDEST
00000c20: ISZERO
00000c21: PUSH2 0x0cb5
00000c24: JUMPI
00000c25: PUSH2 0x0c6d
00000c28: PUSH1 0x05
00000c2a: PUSH1 0x00
00000c2c: DUP15
00000c2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c42: AND
00000c43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c58: AND
00000c59: DUP2
00000c5a: MSTORE
00000c5b: PUSH1 0x20
00000c5d: ADD
00000c5e: SWAP1
00000c5f: DUP2
00000c60: MSTORE
00000c61: PUSH1 0x20
00000c63: ADD
00000c64: PUSH1 0x00
00000c66: KECCAK256
00000c67: SLOAD
00000c68: DUP11
00000c69: PUSH2 0x236a
00000c6c: JUMP
00000c6d: JUMPDEST
00000c6e: PUSH1 0x05
00000c70: PUSH1 0x00
00000c72: DUP15
00000c73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c88: AND
00000c89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c9e: AND
00000c9f: DUP2
00000ca0: MSTORE
00000ca1: PUSH1 0x20
00000ca3: ADD
00000ca4: SWAP1
00000ca5: DUP2
00000ca6: MSTORE
00000ca7: PUSH1 0x20
00000ca9: ADD
00000caa: PUSH1 0x00
00000cac: KECCAK256
00000cad: DUP2
00000cae: SWAP1
00000caf: SSTORE
00000cb0: POP
00000cb1: PUSH2 0x0cd0
00000cb4: JUMP
00000cb5: JUMPDEST
00000cb6: PUSH2 0x0cbf
00000cb9: DUP9
00000cba: DUP11
00000cbb: PUSH2 0x236a
00000cbe: JUMP
00000cbf: JUMPDEST
00000cc0: SWAP8
00000cc1: POP
00000cc2: PUSH9 0x010000000000000000
00000ccc: DUP9
00000ccd: MUL
00000cce: SWAP6
00000ccf: POP
00000cd0: JUMPDEST
00000cd1: PUSH1 0x00
00000cd3: PUSH1 0x08
00000cd5: SLOAD
00000cd6: GT
00000cd7: ISZERO
00000cd8: PUSH2 0x0d3b
00000cdb: JUMPI
00000cdc: PUSH2 0x0ce7
00000cdf: PUSH1 0x08
00000ce1: SLOAD
00000ce2: DUP9
00000ce3: PUSH2 0x236a
00000ce6: JUMP
00000ce7: JUMPDEST
00000ce8: PUSH1 0x08
00000cea: DUP2
00000ceb: SWAP1
00000cec: SSTORE
00000ced: POP
00000cee: PUSH1 0x08
00000cf0: SLOAD
00000cf1: PUSH9 0x010000000000000000
00000cfb: DUP10
00000cfc: MUL
00000cfd: DUP2
00000cfe: ISZERO
00000cff: ISZERO
00000d00: PUSH2 0x0d05
00000d03: JUMPI
00000d04: INVALID
00000d05: JUMPDEST
00000d06: DIV
00000d07: PUSH1 0x09
00000d09: PUSH1 0x00
00000d0b: DUP3
00000d0c: DUP3
00000d0d: SLOAD
00000d0e: ADD
00000d0f: SWAP3
00000d10: POP
00000d11: POP
00000d12: DUP2
00000d13: SWAP1
00000d14: SSTORE
00000d15: POP
00000d16: PUSH1 0x08
00000d18: SLOAD
00000d19: PUSH9 0x010000000000000000
00000d23: DUP10
00000d24: MUL
00000d25: DUP2
00000d26: ISZERO
00000d27: ISZERO
00000d28: PUSH2 0x0d2d
00000d2b: JUMPI
00000d2c: INVALID
00000d2d: JUMPDEST
00000d2e: DIV
00000d2f: DUP8
00000d30: MUL
00000d31: DUP7
00000d32: SUB
00000d33: DUP7
00000d34: SUB
00000d35: SWAP6
00000d36: POP
00000d37: PUSH2 0x0d43
00000d3a: JUMP
00000d3b: JUMPDEST
00000d3c: DUP7
00000d3d: PUSH1 0x08
00000d3f: DUP2
00000d40: SWAP1
00000d41: SSTORE
00000d42: POP
00000d43: JUMPDEST
00000d44: PUSH2 0x0d8c
00000d47: PUSH1 0x04
00000d49: PUSH1 0x00
00000d4b: CALLER
00000d4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d61: AND
00000d62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d77: AND
00000d78: DUP2
00000d79: MSTORE
00000d7a: PUSH1 0x20
00000d7c: ADD
00000d7d: SWAP1
00000d7e: DUP2
00000d7f: MSTORE
00000d80: PUSH1 0x20
00000d82: ADD
00000d83: PUSH1 0x00
00000d85: KECCAK256
00000d86: SLOAD
00000d87: DUP9
00000d88: PUSH2 0x236a
00000d8b: JUMP
00000d8c: JUMPDEST
00000d8d: PUSH1 0x04
00000d8f: PUSH1 0x00
00000d91: CALLER
00000d92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da7: AND
00000da8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dbd: AND
00000dbe: DUP2
00000dbf: MSTORE
00000dc0: PUSH1 0x20
00000dc2: ADD
00000dc3: SWAP1
00000dc4: DUP2
00000dc5: MSTORE
00000dc6: PUSH1 0x20
00000dc8: ADD
00000dc9: PUSH1 0x00
00000dcb: KECCAK256
00000dcc: DUP2
00000dcd: SWAP1
00000dce: SSTORE
00000dcf: POP
00000dd0: DUP6
00000dd1: DUP8
00000dd2: PUSH1 0x09
00000dd4: SLOAD
00000dd5: MUL
00000dd6: SUB
00000dd7: SWAP5
00000dd8: POP
00000dd9: DUP5
00000dda: PUSH1 0x06
00000ddc: PUSH1 0x00
00000dde: CALLER
00000ddf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df4: AND
00000df5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e0a: AND
00000e0b: DUP2
00000e0c: MSTORE
00000e0d: PUSH1 0x20
00000e0f: ADD
00000e10: SWAP1
00000e11: DUP2
00000e12: MSTORE
00000e13: PUSH1 0x20
00000e15: ADD
00000e16: PUSH1 0x00
00000e18: KECCAK256
00000e19: PUSH1 0x00
00000e1b: DUP3
00000e1c: DUP3
00000e1d: SLOAD
00000e1e: ADD
00000e1f: SWAP3
00000e20: POP
00000e21: POP
00000e22: DUP2
00000e23: SWAP1
00000e24: SSTORE
00000e25: POP
00000e26: DUP12
00000e27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e3c: AND
00000e3d: CALLER
00000e3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e53: AND
00000e54: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
00000e75: DUP16
00000e76: DUP11
00000e77: PUSH1 0x40
00000e79: MLOAD
00000e7a: DUP1
00000e7b: DUP4
00000e7c: DUP2
00000e7d: MSTORE
00000e7e: PUSH1 0x20
00000e80: ADD
00000e81: DUP3
00000e82: DUP2
00000e83: MSTORE
00000e84: PUSH1 0x20
00000e86: ADD
00000e87: SWAP3
00000e88: POP
00000e89: POP
00000e8a: POP
00000e8b: PUSH1 0x40
00000e8d: MLOAD
00000e8e: DUP1
00000e8f: SWAP2
00000e90: SUB
00000e91: SWAP1
00000e92: LOG3
00000e93: DUP7
00000e94: SWAP11
00000e95: POP
00000e96: POP
00000e97: POP
00000e98: PUSH2 0x132b
00000e9b: JUMP
00000e9c: JUMPDEST
00000e9d: PUSH1 0x00
00000e9f: PUSH1 0x0b
00000ea1: PUSH1 0x00
00000ea3: PUSH2 0x0100
00000ea6: EXP
00000ea7: DUP2
00000ea8: SLOAD
00000ea9: DUP2
00000eaa: PUSH1 0xff
00000eac: MUL
00000ead: NOT
00000eae: AND
00000eaf: SWAP1
00000eb0: DUP4
00000eb1: ISZERO
00000eb2: ISZERO
00000eb3: MUL
00000eb4: OR
00000eb5: SWAP1
00000eb6: SSTORE
00000eb7: POP
00000eb8: PUSH1 0x00
00000eba: DUP1
00000ebb: CALLER
00000ebc: SWAP2
00000ebd: POP
00000ebe: DUP2
00000ebf: EXTCODESIZE
00000ec0: SWAP1
00000ec1: POP
00000ec2: PUSH1 0x00
00000ec4: DUP2
00000ec5: EQ
00000ec6: ISZERO
00000ec7: ISZERO
00000ec8: PUSH2 0x0f39
00000ecb: JUMPI
00000ecc: PUSH1 0x40
00000ece: MLOAD
00000ecf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ef0: DUP2
00000ef1: MSTORE
00000ef2: PUSH1 0x04
00000ef4: ADD
00000ef5: DUP1
00000ef6: DUP1
00000ef7: PUSH1 0x20
00000ef9: ADD
00000efa: DUP3
00000efb: DUP2
00000efc: SUB
00000efd: DUP3
00000efe: MSTORE
00000eff: PUSH1 0x11
00000f01: DUP2
00000f02: MSTORE
00000f03: PUSH1 0x20
00000f05: ADD
00000f06: DUP1
00000f07: PUSH32 0x736f7272792068756d616e73206f6e6c79000000000000000000000000000000
00000f28: DUP2
00000f29: MSTORE
00000f2a: POP
00000f2b: PUSH1 0x20
00000f2d: ADD
00000f2e: SWAP2
00000f2f: POP
00000f30: POP
00000f31: PUSH1 0x40
00000f33: MLOAD
00000f34: DUP1
00000f35: SWAP2
00000f36: SUB
00000f37: SWAP1
00000f38: REVERT
00000f39: JUMPDEST
00000f3a: ORIGIN
00000f3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f50: AND
00000f51: DUP3
00000f52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f67: AND
00000f68: EQ
00000f69: ISZERO
00000f6a: ISZERO
00000f6b: PUSH2 0x0f73
00000f6e: JUMPI
00000f6f: PUSH1 0x00
00000f71: DUP1
00000f72: REVERT
00000f73: JUMPDEST
00000f74: PUSH2 0x0f8b
00000f77: PUSH2 0x0f84
00000f7a: DUP15
00000f7b: PUSH1 0x0f
00000f7d: PUSH1 0xff
00000f7f: AND
00000f80: PUSH2 0x2388
00000f83: JUMP
00000f84: JUMPDEST
00000f85: PUSH1 0x64
00000f87: PUSH2 0x23c3
00000f8a: JUMP
00000f8b: JUMPDEST
00000f8c: SWAP10
00000f8d: POP
00000f8e: PUSH2 0x0fa5
00000f91: PUSH2 0x0f9e
00000f94: DUP12
00000f95: PUSH1 0x21
00000f97: PUSH1 0xff
00000f99: AND
00000f9a: PUSH2 0x2388
00000f9d: JUMP
00000f9e: JUMPDEST
00000f9f: PUSH1 0x64
00000fa1: PUSH2 0x23c3
00000fa4: JUMP
00000fa5: JUMPDEST
00000fa6: SWAP9
00000fa7: POP
00000fa8: PUSH2 0x0fb1
00000fab: DUP11
00000fac: DUP11
00000fad: PUSH2 0x23de
00000fb0: JUMP
00000fb1: JUMPDEST
00000fb2: SWAP8
00000fb3: POP
00000fb4: PUSH2 0x0fc5
00000fb7: PUSH2 0x0fc0
00000fba: DUP15
00000fbb: DUP13
00000fbc: PUSH2 0x23de
00000fbf: JUMP
00000fc0: JUMPDEST
00000fc1: PUSH2 0x23f7
00000fc4: JUMP
00000fc5: JUMPDEST
00000fc6: SWAP7
00000fc7: POP
00000fc8: PUSH9 0x010000000000000000
00000fd2: DUP9
00000fd3: MUL
00000fd4: SWAP6
00000fd5: POP
00000fd6: PUSH1 0x00
00000fd8: DUP8
00000fd9: GT
00000fda: DUP1
00000fdb: ISZERO
00000fdc: PUSH2 0x0ff1
00000fdf: JUMPI
00000fe0: POP
00000fe1: PUSH1 0x08
00000fe3: SLOAD
00000fe4: PUSH2 0x0fef
00000fe7: DUP9
00000fe8: PUSH1 0x08
00000fea: SLOAD
00000feb: PUSH2 0x236a
00000fee: JUMP
00000fef: JUMPDEST
00000ff0: GT
00000ff1: JUMPDEST
00000ff2: ISZERO
00000ff3: ISZERO
00000ff4: PUSH2 0x0ffc
00000ff7: JUMPI
00000ff8: PUSH1 0x00
00000ffa: DUP1
00000ffb: REVERT
00000ffc: JUMPDEST
00000ffd: PUSH1 0x00
00000fff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001014: AND
00001015: DUP13
00001016: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000102b: AND
0000102c: EQ
0000102d: ISZERO
0000102e: DUP1
0000102f: ISZERO
00001030: PUSH2 0x1065
00001033: JUMPI
00001034: POP
00001035: CALLER
00001036: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000104b: AND
0000104c: DUP13
0000104d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001062: AND
00001063: EQ
00001064: ISZERO
00001065: JUMPDEST
00001066: DUP1
00001067: ISZERO
00001068: PUSH2 0x10b2
0000106b: JUMPI
0000106c: POP
0000106d: PUSH1 0x02
0000106f: SLOAD
00001070: PUSH1 0x04
00001072: PUSH1 0x00
00001074: DUP15
00001075: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000108a: AND
0000108b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010a0: AND
000010a1: DUP2
000010a2: MSTORE
000010a3: PUSH1 0x20
000010a5: ADD
000010a6: SWAP1
000010a7: DUP2
000010a8: MSTORE
000010a9: PUSH1 0x20
000010ab: ADD
000010ac: PUSH1 0x00
000010ae: KECCAK256
000010af: SLOAD
000010b0: LT
000010b1: ISZERO
000010b2: JUMPDEST
000010b3: ISZERO
000010b4: PUSH2 0x1148
000010b7: JUMPI
000010b8: PUSH2 0x1100
000010bb: PUSH1 0x05
000010bd: PUSH1 0x00
000010bf: DUP15
000010c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010d5: AND
000010d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010eb: AND
000010ec: DUP2
000010ed: MSTORE
000010ee: PUSH1 0x20
000010f0: ADD
000010f1: SWAP1
000010f2: DUP2
000010f3: MSTORE
000010f4: PUSH1 0x20
000010f6: ADD
000010f7: PUSH1 0x00
000010f9: KECCAK256
000010fa: SLOAD
000010fb: DUP11
000010fc: PUSH2 0x236a
000010ff: JUMP
00001100: JUMPDEST
00001101: PUSH1 0x05
00001103: PUSH1 0x00
00001105: DUP15
00001106: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000111b: AND
0000111c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001131: AND
00001132: DUP2
00001133: MSTORE
00001134: PUSH1 0x20
00001136: ADD
00001137: SWAP1
00001138: DUP2
00001139: MSTORE
0000113a: PUSH1 0x20
0000113c: ADD
0000113d: PUSH1 0x00
0000113f: KECCAK256
00001140: DUP2
00001141: SWAP1
00001142: SSTORE
00001143: POP
00001144: PUSH2 0x1163
00001147: JUMP
00001148: JUMPDEST
00001149: PUSH2 0x1152
0000114c: DUP9
0000114d: DUP11
0000114e: PUSH2 0x236a
00001151: JUMP
00001152: JUMPDEST
00001153: SWAP8
00001154: POP
00001155: PUSH9 0x010000000000000000
0000115f: DUP9
00001160: MUL
00001161: SWAP6
00001162: POP
00001163: JUMPDEST
00001164: PUSH1 0x00
00001166: PUSH1 0x08
00001168: SLOAD
00001169: GT
0000116a: ISZERO
0000116b: PUSH2 0x11ce
0000116e: JUMPI
0000116f: PUSH2 0x117a
00001172: PUSH1 0x08
00001174: SLOAD
00001175: DUP9
00001176: PUSH2 0x236a
00001179: JUMP
0000117a: JUMPDEST
0000117b: PUSH1 0x08
0000117d: DUP2
0000117e: SWAP1
0000117f: SSTORE
00001180: POP
00001181: PUSH1 0x08
00001183: SLOAD
00001184: PUSH9 0x010000000000000000
0000118e: DUP10
0000118f: MUL
00001190: DUP2
00001191: ISZERO
00001192: ISZERO
00001193: PUSH2 0x1198
00001196: JUMPI
00001197: INVALID
00001198: JUMPDEST
00001199: DIV
0000119a: PUSH1 0x09
0000119c: PUSH1 0x00
0000119e: DUP3
0000119f: DUP3
000011a0: SLOAD
000011a1: ADD
000011a2: SWAP3
000011a3: POP
000011a4: POP
000011a5: DUP2
000011a6: SWAP1
000011a7: SSTORE
000011a8: POP
000011a9: PUSH1 0x08
000011ab: SLOAD
000011ac: PUSH9 0x010000000000000000
000011b6: DUP10
000011b7: MUL
000011b8: DUP2
000011b9: ISZERO
000011ba: ISZERO
000011bb: PUSH2 0x11c0
000011be: JUMPI
000011bf: INVALID
000011c0: JUMPDEST
000011c1: DIV
000011c2: DUP8
000011c3: MUL
000011c4: DUP7
000011c5: SUB
000011c6: DUP7
000011c7: SUB
000011c8: SWAP6
000011c9: POP
000011ca: PUSH2 0x11d6
000011cd: JUMP
000011ce: JUMPDEST
000011cf: DUP7
000011d0: PUSH1 0x08
000011d2: DUP2
000011d3: SWAP1
000011d4: SSTORE
000011d5: POP
000011d6: JUMPDEST
000011d7: PUSH2 0x121f
000011da: PUSH1 0x04
000011dc: PUSH1 0x00
000011de: CALLER
000011df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011f4: AND
000011f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000120a: AND
0000120b: DUP2
0000120c: MSTORE
0000120d: PUSH1 0x20
0000120f: ADD
00001210: SWAP1
00001211: DUP2
00001212: MSTORE
00001213: PUSH1 0x20
00001215: ADD
00001216: PUSH1 0x00
00001218: KECCAK256
00001219: SLOAD
0000121a: DUP9
0000121b: PUSH2 0x236a
0000121e: JUMP
0000121f: JUMPDEST
00001220: PUSH1 0x04
00001222: PUSH1 0x00
00001224: CALLER
00001225: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000123a: AND
0000123b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001250: AND
00001251: DUP2
00001252: MSTORE
00001253: PUSH1 0x20
00001255: ADD
00001256: SWAP1
00001257: DUP2
00001258: MSTORE
00001259: PUSH1 0x20
0000125b: ADD
0000125c: PUSH1 0x00
0000125e: KECCAK256
0000125f: DUP2
00001260: SWAP1
00001261: SSTORE
00001262: POP
00001263: DUP6
00001264: DUP8
00001265: PUSH1 0x09
00001267: SLOAD
00001268: MUL
00001269: SUB
0000126a: SWAP5
0000126b: POP
0000126c: DUP5
0000126d: PUSH1 0x06
0000126f: PUSH1 0x00
00001271: CALLER
00001272: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001287: AND
00001288: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000129d: AND
0000129e: DUP2
0000129f: MSTORE
000012a0: PUSH1 0x20
000012a2: ADD
000012a3: SWAP1
000012a4: DUP2
000012a5: MSTORE
000012a6: PUSH1 0x20
000012a8: ADD
000012a9: PUSH1 0x00
000012ab: KECCAK256
000012ac: PUSH1 0x00
000012ae: DUP3
000012af: DUP3
000012b0: SLOAD
000012b1: ADD
000012b2: SWAP3
000012b3: POP
000012b4: POP
000012b5: DUP2
000012b6: SWAP1
000012b7: SSTORE
000012b8: POP
000012b9: DUP12
000012ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012cf: AND
000012d0: CALLER
000012d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012e6: AND
000012e7: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
00001308: DUP16
00001309: DUP11
0000130a: PUSH1 0x40
0000130c: MLOAD
0000130d: DUP1
0000130e: DUP4
0000130f: DUP2
00001310: MSTORE
00001311: PUSH1 0x20
00001313: ADD
00001314: DUP3
00001315: DUP2
00001316: MSTORE
00001317: PUSH1 0x20
00001319: ADD
0000131a: SWAP3
0000131b: POP
0000131c: POP
0000131d: POP
0000131e: PUSH1 0x40
00001320: MLOAD
00001321: DUP1
00001322: SWAP2
00001323: SUB
00001324: SWAP1
00001325: LOG3
00001326: DUP7
00001327: SWAP11
00001328: POP
00001329: POP
0000132a: POP
0000132b: JUMPDEST
0000132c: POP
0000132d: POP
0000132e: POP
0000132f: POP
00001330: POP
00001331: POP
00001332: POP
00001333: POP
00001334: SWAP3
00001335: SWAP2
00001336: POP
00001337: POP
00001338: JUMP
00001339: JUMPDEST
0000133a: PUSH1 0x00
0000133c: PUSH9 0x010000000000000000
00001346: PUSH1 0x06
00001348: PUSH1 0x00
0000134a: DUP5
0000134b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001360: AND
00001361: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001376: AND
00001377: DUP2
00001378: MSTORE
00001379: PUSH1 0x20
0000137b: ADD
0000137c: SWAP1
0000137d: DUP2
0000137e: MSTORE
0000137f: PUSH1 0x20
00001381: ADD
00001382: PUSH1 0x00
00001384: KECCAK256
00001385: SLOAD
00001386: PUSH1 0x04
00001388: PUSH1 0x00
0000138a: DUP6
0000138b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013a0: AND
000013a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013b6: AND
000013b7: DUP2
000013b8: MSTORE
000013b9: PUSH1 0x20
000013bb: ADD
000013bc: SWAP1
000013bd: DUP2
000013be: MSTORE
000013bf: PUSH1 0x20
000013c1: ADD
000013c2: PUSH1 0x00
000013c4: KECCAK256
000013c5: SLOAD
000013c6: PUSH1 0x09
000013c8: SLOAD
000013c9: MUL
000013ca: SUB
000013cb: DUP2
000013cc: ISZERO
000013cd: ISZERO
000013ce: PUSH2 0x13d3
000013d1: JUMPI
000013d2: INVALID
000013d3: JUMPDEST
000013d4: DIV
000013d5: SWAP1
000013d6: POP
000013d7: SWAP2
000013d8: SWAP1
000013d9: POP
000013da: JUMP
000013db: JUMPDEST
000013dc: PUSH1 0x00
000013de: DUP1
000013df: SLOAD
000013e0: PUSH1 0x01
000013e2: DUP2
000013e3: PUSH1 0x01
000013e5: AND
000013e6: ISZERO
000013e7: PUSH2 0x0100
000013ea: MUL
000013eb: SUB
000013ec: AND
000013ed: PUSH1 0x02
000013ef: SWAP1
000013f0: DIV
000013f1: DUP1
000013f2: PUSH1 0x1f
000013f4: ADD
000013f5: PUSH1 0x20
000013f7: DUP1
000013f8: SWAP2
000013f9: DIV
000013fa: MUL
000013fb: PUSH1 0x20
000013fd: ADD
000013fe: PUSH1 0x40
00001400: MLOAD
00001401: SWAP1
00001402: DUP2
00001403: ADD
00001404: PUSH1 0x40
00001406: MSTORE
00001407: DUP1
00001408: SWAP3
00001409: SWAP2
0000140a: SWAP1
0000140b: DUP2
0000140c: DUP2
0000140d: MSTORE
0000140e: PUSH1 0x20
00001410: ADD
00001411: DUP3
00001412: DUP1
00001413: SLOAD
00001414: PUSH1 0x01
00001416: DUP2
00001417: PUSH1 0x01
00001419: AND
0000141a: ISZERO
0000141b: PUSH2 0x0100
0000141e: MUL
0000141f: SUB
00001420: AND
00001421: PUSH1 0x02
00001423: SWAP1
00001424: DIV
00001425: DUP1
00001426: ISZERO
00001427: PUSH2 0x1471
0000142a: JUMPI
0000142b: DUP1
0000142c: PUSH1 0x1f
0000142e: LT
0000142f: PUSH2 0x1446
00001432: JUMPI
00001433: PUSH2 0x0100
00001436: DUP1
00001437: DUP4
00001438: SLOAD
00001439: DIV
0000143a: MUL
0000143b: DUP4
0000143c: MSTORE
0000143d: SWAP2
0000143e: PUSH1 0x20
00001440: ADD
00001441: SWAP2
00001442: PUSH2 0x1471
00001445: JUMP
00001446: JUMPDEST
00001447: DUP3
00001448: ADD
00001449: SWAP2
0000144a: SWAP1
0000144b: PUSH1 0x00
0000144d: MSTORE
0000144e: PUSH1 0x20
00001450: PUSH1 0x00
00001452: KECCAK256
00001453: SWAP1
00001454: JUMPDEST
00001455: DUP2
00001456: SLOAD
00001457: DUP2
00001458: MSTORE
00001459: SWAP1
0000145a: PUSH1 0x01
0000145c: ADD
0000145d: SWAP1
0000145e: PUSH1 0x20
00001460: ADD
00001461: DUP1
00001462: DUP4
00001463: GT
00001464: PUSH2 0x1454
00001467: JUMPI
00001468: DUP3
00001469: SWAP1
0000146a: SUB
0000146b: PUSH1 0x1f
0000146d: AND
0000146e: DUP3
0000146f: ADD
00001470: SWAP2
00001471: JUMPDEST
00001472: POP
00001473: POP
00001474: POP
00001475: POP
00001476: POP
00001477: DUP2
00001478: JUMP
00001479: JUMPDEST
0000147a: PUSH1 0x00
0000147c: DUP1
0000147d: PUSH1 0x00
0000147f: DUP1
00001480: PUSH2 0x1497
00001483: PUSH2 0x1490
00001486: DUP7
00001487: PUSH1 0x0f
00001489: PUSH1 0xff
0000148b: AND
0000148c: PUSH2 0x2388
0000148f: JUMP
00001490: JUMPDEST
00001491: PUSH1 0x64
00001493: PUSH2 0x23c3
00001496: JUMP
00001497: JUMPDEST
00001498: SWAP3
00001499: POP
0000149a: PUSH2 0x14a3
0000149d: DUP6
0000149e: DUP5
0000149f: PUSH2 0x23de
000014a2: JUMP
000014a3: JUMPDEST
000014a4: SWAP2
000014a5: POP
000014a6: PUSH2 0x14ae
000014a9: DUP3
000014aa: PUSH2 0x23f7
000014ad: JUMP
000014ae: JUMPDEST
000014af: SWAP1
000014b0: POP
000014b1: DUP1
000014b2: SWAP4
000014b3: POP
000014b4: POP
000014b5: POP
000014b6: POP
000014b7: SWAP2
000014b8: SWAP1
000014b9: POP
000014ba: JUMP
000014bb: JUMPDEST
000014bc: PUSH1 0x00
000014be: PUSH1 0x08
000014c0: SLOAD
000014c1: SWAP1
000014c2: POP
000014c3: SWAP1
000014c4: JUMP
000014c5: JUMPDEST
000014c6: PUSH1 0x00
000014c8: DUP1
000014c9: PUSH1 0x00
000014cb: DUP1
000014cc: PUSH1 0x08
000014ce: SLOAD
000014cf: DUP6
000014d0: GT
000014d1: ISZERO
000014d2: ISZERO
000014d3: ISZERO
000014d4: PUSH2 0x14dc
000014d7: JUMPI
000014d8: PUSH1 0x00
000014da: DUP1
000014db: REVERT
000014dc: JUMPDEST
000014dd: PUSH2 0x14e5
000014e0: DUP6
000014e1: PUSH2 0x2484
000014e4: JUMP
000014e5: JUMPDEST
000014e6: SWAP3
000014e7: POP
000014e8: PUSH2 0x14f0
000014eb: DUP4
000014ec: PUSH2 0x252f
000014ef: JUMP
000014f0: JUMPDEST
000014f1: SWAP2
000014f2: POP
000014f3: PUSH2 0x14fc
000014f6: DUP4
000014f7: DUP4
000014f8: PUSH2 0x23de
000014fb: JUMP
000014fc: JUMPDEST
000014fd: SWAP1
000014fe: POP
000014ff: DUP1
00001500: SWAP4
00001501: POP
00001502: POP
00001503: POP
00001504: POP
00001505: SWAP2
00001506: SWAP1
00001507: POP
00001508: JUMP
00001509: JUMPDEST
0000150a: PUSH1 0x0b
0000150c: PUSH1 0x00
0000150e: SWAP1
0000150f: SLOAD
00001510: SWAP1
00001511: PUSH2 0x0100
00001514: EXP
00001515: SWAP1
00001516: DIV
00001517: PUSH1 0xff
00001519: AND
0000151a: DUP2
0000151b: JUMP
0000151c: JUMPDEST
0000151d: PUSH1 0x12
0000151f: DUP2
00001520: JUMP
00001521: JUMPDEST
00001522: PUSH1 0x00
00001524: DUP1
00001525: PUSH1 0x00
00001527: PUSH2 0x1530
0000152a: PUSH1 0x01
0000152c: PUSH2 0x1724
0000152f: JUMP
00001530: JUMPDEST
00001531: GT
00001532: ISZERO
00001533: ISZERO
00001534: PUSH2 0x153c
00001537: JUMPI
00001538: PUSH1 0x00
0000153a: DUP1
0000153b: REVERT
0000153c: JUMPDEST
0000153d: CALLER
0000153e: SWAP2
0000153f: POP
00001540: PUSH2 0x1549
00001543: PUSH1 0x00
00001545: PUSH2 0x1724
00001548: JUMP
00001549: JUMPDEST
0000154a: SWAP1
0000154b: POP
0000154c: PUSH9 0x010000000000000000
00001556: DUP2
00001557: MUL
00001558: PUSH1 0x06
0000155a: PUSH1 0x00
0000155c: DUP5
0000155d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001572: AND
00001573: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001588: AND
00001589: DUP2
0000158a: MSTORE
0000158b: PUSH1 0x20
0000158d: ADD
0000158e: SWAP1
0000158f: DUP2
00001590: MSTORE
00001591: PUSH1 0x20
00001593: ADD
00001594: PUSH1 0x00
00001596: KECCAK256
00001597: PUSH1 0x00
00001599: DUP3
0000159a: DUP3
0000159b: SLOAD
0000159c: ADD
0000159d: SWAP3
0000159e: POP
0000159f: POP
000015a0: DUP2
000015a1: SWAP1
000015a2: SSTORE
000015a3: POP
000015a4: PUSH1 0x05
000015a6: PUSH1 0x00
000015a8: DUP4
000015a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015be: AND
000015bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d4: AND
000015d5: DUP2
000015d6: MSTORE
000015d7: PUSH1 0x20
000015d9: ADD
000015da: SWAP1
000015db: DUP2
000015dc: MSTORE
000015dd: PUSH1 0x20
000015df: ADD
000015e0: PUSH1 0x00
000015e2: KECCAK256
000015e3: SLOAD
000015e4: DUP2
000015e5: ADD
000015e6: SWAP1
000015e7: POP
000015e8: PUSH1 0x00
000015ea: PUSH1 0x05
000015ec: PUSH1 0x00
000015ee: DUP5
000015ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001604: AND
00001605: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000161a: AND
0000161b: DUP2
0000161c: MSTORE
0000161d: PUSH1 0x20
0000161f: ADD
00001620: SWAP1
00001621: DUP2
00001622: MSTORE
00001623: PUSH1 0x20
00001625: ADD
00001626: PUSH1 0x00
00001628: KECCAK256
00001629: DUP2
0000162a: SWAP1
0000162b: SSTORE
0000162c: POP
0000162d: DUP2
0000162e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001643: AND
00001644: PUSH2 0x08fc
00001647: DUP3
00001648: SWAP1
00001649: DUP2
0000164a: ISZERO
0000164b: MUL
0000164c: SWAP1
0000164d: PUSH1 0x40
0000164f: MLOAD
00001650: PUSH1 0x00
00001652: PUSH1 0x40
00001654: MLOAD
00001655: DUP1
00001656: DUP4
00001657: SUB
00001658: DUP2
00001659: DUP6
0000165a: DUP9
0000165b: DUP9
0000165c: CALL
0000165d: SWAP4
0000165e: POP
0000165f: POP
00001660: POP
00001661: POP
00001662: ISZERO
00001663: DUP1
00001664: ISZERO
00001665: PUSH2 0x1672
00001668: JUMPI
00001669: RETURNDATASIZE
0000166a: PUSH1 0x00
0000166c: DUP1
0000166d: RETURNDATACOPY
0000166e: RETURNDATASIZE
0000166f: PUSH1 0x00
00001671: REVERT
00001672: JUMPDEST
00001673: POP
00001674: DUP2
00001675: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000168a: AND
0000168b: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc
000016ac: DUP3
000016ad: PUSH1 0x40
000016af: MLOAD
000016b0: DUP1
000016b1: DUP3
000016b2: DUP2
000016b3: MSTORE
000016b4: PUSH1 0x20
000016b6: ADD
000016b7: SWAP2
000016b8: POP
000016b9: POP
000016ba: PUSH1 0x40
000016bc: MLOAD
000016bd: DUP1
000016be: SWAP2
000016bf: SUB
000016c0: SWAP1
000016c1: LOG2
000016c2: POP
000016c3: POP
000016c4: JUMP
000016c5: JUMPDEST
000016c6: PUSH1 0x00
000016c8: DUP1
000016c9: PUSH1 0x00
000016cb: DUP1
000016cc: PUSH1 0x00
000016ce: PUSH1 0x08
000016d0: SLOAD
000016d1: EQ
000016d2: ISZERO
000016d3: PUSH2 0x16ea
000016d6: JUMPI
000016d7: PUSH5 0x02540be400
000016dd: PUSH5 0x174876e800
000016e3: SUB
000016e4: SWAP4
000016e5: POP
000016e6: PUSH2 0x1718
000016e9: JUMP
000016ea: JUMPDEST
000016eb: PUSH2 0x16fb
000016ee: PUSH8 0x0de0b6b3a7640000
000016f7: PUSH2 0x2484
000016fa: JUMP
000016fb: JUMPDEST
000016fc: SWAP3
000016fd: POP
000016fe: PUSH2 0x1706
00001701: DUP4
00001702: PUSH2 0x252f
00001705: JUMP
00001706: JUMPDEST
00001707: SWAP2
00001708: POP
00001709: PUSH2 0x1712
0000170c: DUP4
0000170d: DUP4
0000170e: PUSH2 0x23de
00001711: JUMP
00001712: JUMPDEST
00001713: SWAP1
00001714: POP
00001715: DUP1
00001716: SWAP4
00001717: POP
00001718: JUMPDEST
00001719: POP
0000171a: POP
0000171b: POP
0000171c: SWAP1
0000171d: JUMP
0000171e: JUMPDEST
0000171f: PUSH1 0x02
00001721: SLOAD
00001722: DUP2
00001723: JUMP
00001724: JUMPDEST
00001725: PUSH1 0x00
00001727: DUP1
00001728: CALLER
00001729: SWAP1
0000172a: POP
0000172b: DUP3
0000172c: PUSH2 0x173d
0000172f: JUMPI
00001730: PUSH2 0x1738
00001733: DUP2
00001734: PUSH2 0x1339
00001737: JUMP
00001738: JUMPDEST
00001739: PUSH2 0x1788
0000173c: JUMP
0000173d: JUMPDEST
0000173e: PUSH1 0x05
00001740: PUSH1 0x00
00001742: DUP3
00001743: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001758: AND
00001759: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000176e: AND
0000176f: DUP2
00001770: MSTORE
00001771: PUSH1 0x20
00001773: ADD
00001774: SWAP1
00001775: DUP2
00001776: MSTORE
00001777: PUSH1 0x20
00001779: ADD
0000177a: PUSH1 0x00
0000177c: KECCAK256
0000177d: SLOAD
0000177e: PUSH2 0x1786
00001781: DUP3
00001782: PUSH2 0x1339
00001785: JUMP
00001786: JUMPDEST
00001787: ADD
00001788: JUMPDEST
00001789: SWAP2
0000178a: POP
0000178b: POP
0000178c: SWAP2
0000178d: SWAP1
0000178e: POP
0000178f: JUMP
00001790: JUMPDEST
00001791: PUSH1 0x00
00001793: ADDRESS
00001794: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017a9: AND
000017aa: BALANCE
000017ab: SWAP1
000017ac: POP
000017ad: SWAP1
000017ae: JUMP
000017af: JUMPDEST
000017b0: PUSH1 0x00
000017b2: PUSH1 0x04
000017b4: PUSH1 0x00
000017b6: DUP4
000017b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017cc: AND
000017cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017e2: AND
000017e3: DUP2
000017e4: MSTORE
000017e5: PUSH1 0x20
000017e7: ADD
000017e8: SWAP1
000017e9: DUP2
000017ea: MSTORE
000017eb: PUSH1 0x20
000017ed: ADD
000017ee: PUSH1 0x00
000017f0: KECCAK256
000017f1: SLOAD
000017f2: SWAP1
000017f3: POP
000017f4: SWAP2
000017f5: SWAP1
000017f6: POP
000017f7: JUMP
000017f8: JUMPDEST
000017f9: PUSH4 0x5da08ae0
000017fe: DUP2
000017ff: JUMP
00001800: JUMPDEST
00001801: PUSH1 0x00
00001803: CALLER
00001804: SWAP1
00001805: POP
00001806: PUSH1 0x0a
00001808: PUSH1 0x00
0000180a: DUP3
0000180b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001820: AND
00001821: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001836: AND
00001837: DUP2
00001838: MSTORE
00001839: PUSH1 0x20
0000183b: ADD
0000183c: SWAP1
0000183d: DUP2
0000183e: MSTORE
0000183f: PUSH1 0x20
00001841: ADD
00001842: PUSH1 0x00
00001844: KECCAK256
00001845: PUSH1 0x00
00001847: SWAP1
00001848: SLOAD
00001849: SWAP1
0000184a: PUSH2 0x0100
0000184d: EXP
0000184e: SWAP1
0000184f: DIV
00001850: PUSH1 0xff
00001852: AND
00001853: ISZERO
00001854: ISZERO
00001855: PUSH2 0x185d
00001858: JUMPI
00001859: PUSH1 0x00
0000185b: DUP1
0000185c: REVERT
0000185d: JUMPDEST
0000185e: DUP2
0000185f: PUSH1 0x02
00001861: DUP2
00001862: SWAP1
00001863: SSTORE
00001864: POP
00001865: POP
00001866: POP
00001867: JUMP
00001868: JUMPDEST
00001869: PUSH1 0x00
0000186b: DUP1
0000186c: PUSH1 0x00
0000186e: DUP1
0000186f: PUSH1 0x00
00001871: PUSH1 0x08
00001873: SLOAD
00001874: EQ
00001875: ISZERO
00001876: PUSH2 0x188d
00001879: JUMPI
0000187a: PUSH5 0x02540be400
00001880: PUSH5 0x174876e800
00001886: ADD
00001887: SWAP4
00001888: POP
00001889: PUSH2 0x18ca
0000188c: JUMP
0000188d: JUMPDEST
0000188e: PUSH2 0x189e
00001891: PUSH8 0x0de0b6b3a7640000
0000189a: PUSH2 0x2484
0000189d: JUMP
0000189e: JUMPDEST
0000189f: SWAP3
000018a0: POP
000018a1: PUSH2 0x18b8
000018a4: PUSH2 0x18b1
000018a7: DUP5
000018a8: PUSH1 0x0f
000018aa: PUSH1 0xff
000018ac: AND
000018ad: PUSH2 0x2388
000018b0: JUMP
000018b1: JUMPDEST
000018b2: PUSH1 0x64
000018b4: PUSH2 0x23c3
000018b7: JUMP
000018b8: JUMPDEST
000018b9: SWAP2
000018ba: POP
000018bb: PUSH2 0x18c4
000018be: DUP4
000018bf: DUP4
000018c0: PUSH2 0x236a
000018c3: JUMP
000018c4: JUMPDEST
000018c5: SWAP1
000018c6: POP
000018c7: DUP1
000018c8: SWAP4
000018c9: POP
000018ca: JUMPDEST
000018cb: POP
000018cc: POP
000018cd: POP
000018ce: SWAP1
000018cf: JUMP
000018d0: JUMPDEST
000018d1: PUSH1 0x00
000018d3: CALLER
000018d4: SWAP1
000018d5: POP
000018d6: PUSH1 0x0a
000018d8: PUSH1 0x00
000018da: DUP3
000018db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018f0: AND
000018f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001906: AND
00001907: DUP2
00001908: MSTORE
00001909: PUSH1 0x20
0000190b: ADD
0000190c: SWAP1
0000190d: DUP2
0000190e: MSTORE
0000190f: PUSH1 0x20
00001911: ADD
00001912: PUSH1 0x00
00001914: KECCAK256
00001915: PUSH1 0x00
00001917: SWAP1
00001918: SLOAD
00001919: SWAP1
0000191a: PUSH2 0x0100
0000191d: EXP
0000191e: SWAP1
0000191f: DIV
00001920: PUSH1 0xff
00001922: AND
00001923: ISZERO
00001924: ISZERO
00001925: PUSH2 0x192d
00001928: JUMPI
00001929: PUSH1 0x00
0000192b: DUP1
0000192c: REVERT
0000192d: JUMPDEST
0000192e: DUP2
0000192f: PUSH1 0x0a
00001931: PUSH1 0x00
00001933: DUP6
00001934: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001949: AND
0000194a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000195f: AND
00001960: DUP2
00001961: MSTORE
00001962: PUSH1 0x20
00001964: ADD
00001965: SWAP1
00001966: DUP2
00001967: MSTORE
00001968: PUSH1 0x20
0000196a: ADD
0000196b: PUSH1 0x00
0000196d: KECCAK256
0000196e: PUSH1 0x00
00001970: PUSH2 0x0100
00001973: EXP
00001974: DUP2
00001975: SLOAD
00001976: DUP2
00001977: PUSH1 0xff
00001979: MUL
0000197a: NOT
0000197b: AND
0000197c: SWAP1
0000197d: DUP4
0000197e: ISZERO
0000197f: ISZERO
00001980: MUL
00001981: OR
00001982: SWAP1
00001983: SSTORE
00001984: POP
00001985: POP
00001986: POP
00001987: POP
00001988: JUMP
00001989: JUMPDEST
0000198a: PUSH1 0x0a
0000198c: PUSH1 0x20
0000198e: MSTORE
0000198f: DUP1
00001990: PUSH1 0x00
00001992: MSTORE
00001993: PUSH1 0x40
00001995: PUSH1 0x00
00001997: KECCAK256
00001998: PUSH1 0x00
0000199a: SWAP2
0000199b: POP
0000199c: SLOAD
0000199d: SWAP1
0000199e: PUSH2 0x0100
000019a1: EXP
000019a2: SWAP1
000019a3: DIV
000019a4: PUSH1 0xff
000019a6: AND
000019a7: DUP2
000019a8: JUMP
000019a9: JUMPDEST
000019aa: PUSH1 0x00
000019ac: DUP1
000019ad: CALLER
000019ae: SWAP1
000019af: POP
000019b0: PUSH2 0x19b8
000019b3: DUP2
000019b4: PUSH2 0x17af
000019b7: JUMP
000019b8: JUMPDEST
000019b9: SWAP2
000019ba: POP
000019bb: POP
000019bc: SWAP1
000019bd: JUMP
000019be: JUMPDEST
000019bf: PUSH1 0x01
000019c1: DUP1
000019c2: SLOAD
000019c3: PUSH1 0x01
000019c5: DUP2
000019c6: PUSH1 0x01
000019c8: AND
000019c9: ISZERO
000019ca: PUSH2 0x0100
000019cd: MUL
000019ce: SUB
000019cf: AND
000019d0: PUSH1 0x02
000019d2: SWAP1
000019d3: DIV
000019d4: DUP1
000019d5: PUSH1 0x1f
000019d7: ADD
000019d8: PUSH1 0x20
000019da: DUP1
000019db: SWAP2
000019dc: DIV
000019dd: MUL
000019de: PUSH1 0x20
000019e0: ADD
000019e1: PUSH1 0x40
000019e3: MLOAD
000019e4: SWAP1
000019e5: DUP2
000019e6: ADD
000019e7: PUSH1 0x40
000019e9: MSTORE
000019ea: DUP1
000019eb: SWAP3
000019ec: SWAP2
000019ed: SWAP1
000019ee: DUP2
000019ef: DUP2
000019f0: MSTORE
000019f1: PUSH1 0x20
000019f3: ADD
000019f4: DUP3
000019f5: DUP1
000019f6: SLOAD
000019f7: PUSH1 0x01
000019f9: DUP2
000019fa: PUSH1 0x01
000019fc: AND
000019fd: ISZERO
000019fe: PUSH2 0x0100
00001a01: MUL
00001a02: SUB
00001a03: AND
00001a04: PUSH1 0x02
00001a06: SWAP1
00001a07: DIV
00001a08: DUP1
00001a09: ISZERO
00001a0a: PUSH2 0x1a54
00001a0d: JUMPI
00001a0e: DUP1
00001a0f: PUSH1 0x1f
00001a11: LT
00001a12: PUSH2 0x1a29
00001a15: JUMPI
00001a16: PUSH2 0x0100
00001a19: DUP1
00001a1a: DUP4
00001a1b: SLOAD
00001a1c: DIV
00001a1d: MUL
00001a1e: DUP4
00001a1f: MSTORE
00001a20: SWAP2
00001a21: PUSH1 0x20
00001a23: ADD
00001a24: SWAP2
00001a25: PUSH2 0x1a54
00001a28: JUMP
00001a29: JUMPDEST
00001a2a: DUP3
00001a2b: ADD
00001a2c: SWAP2
00001a2d: SWAP1
00001a2e: PUSH1 0x00
00001a30: MSTORE
00001a31: PUSH1 0x20
00001a33: PUSH1 0x00
00001a35: KECCAK256
00001a36: SWAP1
00001a37: JUMPDEST
00001a38: DUP2
00001a39: SLOAD
00001a3a: DUP2
00001a3b: MSTORE
00001a3c: SWAP1
00001a3d: PUSH1 0x01
00001a3f: ADD
00001a40: SWAP1
00001a41: PUSH1 0x20
00001a43: ADD
00001a44: DUP1
00001a45: DUP4
00001a46: GT
00001a47: PUSH2 0x1a37
00001a4a: JUMPI
00001a4b: DUP3
00001a4c: SWAP1
00001a4d: SUB
00001a4e: PUSH1 0x1f
00001a50: AND
00001a51: DUP3
00001a52: ADD
00001a53: SWAP2
00001a54: JUMPDEST
00001a55: POP
00001a56: POP
00001a57: POP
00001a58: POP
00001a59: POP
00001a5a: DUP2
00001a5b: JUMP
00001a5c: JUMPDEST
00001a5d: PUSH1 0x00
00001a5f: CALLER
00001a60: SWAP1
00001a61: POP
00001a62: PUSH1 0x0a
00001a64: PUSH1 0x00
00001a66: DUP3
00001a67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a7c: AND
00001a7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a92: AND
00001a93: DUP2
00001a94: MSTORE
00001a95: PUSH1 0x20
00001a97: ADD
00001a98: SWAP1
00001a99: DUP2
00001a9a: MSTORE
00001a9b: PUSH1 0x20
00001a9d: ADD
00001a9e: PUSH1 0x00
00001aa0: KECCAK256
00001aa1: PUSH1 0x00
00001aa3: SWAP1
00001aa4: SLOAD
00001aa5: SWAP1
00001aa6: PUSH2 0x0100
00001aa9: EXP
00001aaa: SWAP1
00001aab: DIV
00001aac: PUSH1 0xff
00001aae: AND
00001aaf: ISZERO
00001ab0: ISZERO
00001ab1: PUSH2 0x1ab9
00001ab4: JUMPI
00001ab5: PUSH1 0x00
00001ab7: DUP1
00001ab8: REVERT
00001ab9: JUMPDEST
00001aba: POP
00001abb: JUMP
00001abc: JUMPDEST
00001abd: PUSH1 0x00
00001abf: DUP1
00001ac0: PUSH1 0x00
00001ac2: DUP1
00001ac3: PUSH1 0x00
00001ac5: DUP1
00001ac6: PUSH2 0x1acd
00001ac9: PUSH2 0x19a9
00001acc: JUMP
00001acd: JUMPDEST
00001ace: GT
00001acf: ISZERO
00001ad0: ISZERO
00001ad1: PUSH2 0x1ad9
00001ad4: JUMPI
00001ad5: PUSH1 0x00
00001ad7: DUP1
00001ad8: REVERT
00001ad9: JUMPDEST
00001ada: CALLER
00001adb: SWAP4
00001adc: POP
00001add: PUSH1 0x0b
00001adf: PUSH1 0x00
00001ae1: SWAP1
00001ae2: SLOAD
00001ae3: SWAP1
00001ae4: PUSH2 0x0100
00001ae7: EXP
00001ae8: SWAP1
00001ae9: DIV
00001aea: PUSH1 0xff
00001aec: AND
00001aed: ISZERO
00001aee: DUP1
00001aef: PUSH2 0x1b41
00001af2: JUMPI
00001af3: POP
00001af4: PUSH1 0x0a
00001af6: PUSH1 0x00
00001af8: DUP6
00001af9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b0e: AND
00001b0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b24: AND
00001b25: DUP2
00001b26: MSTORE
00001b27: PUSH1 0x20
00001b29: ADD
00001b2a: SWAP1
00001b2b: DUP2
00001b2c: MSTORE
00001b2d: PUSH1 0x20
00001b2f: ADD
00001b30: PUSH1 0x00
00001b32: KECCAK256
00001b33: PUSH1 0x00
00001b35: SWAP1
00001b36: SLOAD
00001b37: SWAP1
00001b38: PUSH2 0x0100
00001b3b: EXP
00001b3c: SWAP1
00001b3d: DIV
00001b3e: PUSH1 0xff
00001b40: AND
00001b41: JUMPDEST
00001b42: DUP1
00001b43: ISZERO
00001b44: PUSH2 0x1b8c
00001b47: JUMPI
00001b48: POP
00001b49: PUSH1 0x04
00001b4b: PUSH1 0x00
00001b4d: DUP6
00001b4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b63: AND
00001b64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b79: AND
00001b7a: DUP2
00001b7b: MSTORE
00001b7c: PUSH1 0x20
00001b7e: ADD
00001b7f: SWAP1
00001b80: DUP2
00001b81: MSTORE
00001b82: PUSH1 0x20
00001b84: ADD
00001b85: PUSH1 0x00
00001b87: KECCAK256
00001b88: SLOAD
00001b89: DUP7
00001b8a: GT
00001b8b: ISZERO
00001b8c: JUMPDEST
00001b8d: ISZERO
00001b8e: ISZERO
00001b8f: PUSH2 0x1b97
00001b92: JUMPI
00001b93: PUSH1 0x00
00001b95: DUP1
00001b96: REVERT
00001b97: JUMPDEST
00001b98: PUSH1 0x00
00001b9a: PUSH2 0x1ba3
00001b9d: PUSH1 0x01
00001b9f: PUSH2 0x1724
00001ba2: JUMP
00001ba3: JUMPDEST
00001ba4: GT
00001ba5: ISZERO
00001ba6: PUSH2 0x1bb2
00001ba9: JUMPI
00001baa: PUSH2 0x1bb1
00001bad: PUSH2 0x1521
00001bb0: JUMP
00001bb1: JUMPDEST
00001bb2: JUMPDEST
00001bb3: PUSH2 0x1bca
00001bb6: PUSH2 0x1bc3
00001bb9: DUP8
00001bba: PUSH1 0x0a
00001bbc: PUSH1 0xff
00001bbe: AND
00001bbf: PUSH2 0x2388
00001bc2: JUMP
00001bc3: JUMPDEST
00001bc4: PUSH1 0x64
00001bc6: PUSH2 0x23c3
00001bc9: JUMP
00001bca: JUMPDEST
00001bcb: SWAP3
00001bcc: POP
00001bcd: PUSH4 0x5da08ae0
00001bd2: TIMESTAMP
00001bd3: LT
00001bd4: ISZERO
00001bd5: PUSH2 0x1be4
00001bd8: JUMPI
00001bd9: PUSH8 0x0de0b6b3a7640000
00001be2: SWAP3
00001be3: POP
00001be4: JUMPDEST
00001be5: PUSH2 0x1bee
00001be8: DUP7
00001be9: DUP5
00001bea: PUSH2 0x23de
00001bed: JUMP
00001bee: JUMPDEST
00001bef: SWAP2
00001bf0: POP
00001bf1: PUSH2 0x1bf9
00001bf4: DUP4
00001bf5: PUSH2 0x2484
00001bf8: JUMP
00001bf9: JUMPDEST
00001bfa: SWAP1
00001bfb: POP
00001bfc: PUSH2 0x1c07
00001bff: PUSH1 0x08
00001c01: SLOAD
00001c02: DUP5
00001c03: PUSH2 0x23de
00001c06: JUMP
00001c07: JUMPDEST
00001c08: PUSH1 0x08
00001c0a: DUP2
00001c0b: SWAP1
00001c0c: SSTORE
00001c0d: POP
00001c0e: PUSH2 0x1c56
00001c11: PUSH1 0x04
00001c13: PUSH1 0x00
00001c15: DUP7
00001c16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c2b: AND
00001c2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c41: AND
00001c42: DUP2
00001c43: MSTORE
00001c44: PUSH1 0x20
00001c46: ADD
00001c47: SWAP1
00001c48: DUP2
00001c49: MSTORE
00001c4a: PUSH1 0x20
00001c4c: ADD
00001c4d: PUSH1 0x00
00001c4f: KECCAK256
00001c50: SLOAD
00001c51: DUP8
00001c52: PUSH2 0x23de
00001c55: JUMP
00001c56: JUMPDEST
00001c57: PUSH1 0x04
00001c59: PUSH1 0x00
00001c5b: DUP7
00001c5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c71: AND
00001c72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c87: AND
00001c88: DUP2
00001c89: MSTORE
00001c8a: PUSH1 0x20
00001c8c: ADD
00001c8d: SWAP1
00001c8e: DUP2
00001c8f: MSTORE
00001c90: PUSH1 0x20
00001c92: ADD
00001c93: PUSH1 0x00
00001c95: KECCAK256
00001c96: DUP2
00001c97: SWAP1
00001c98: SSTORE
00001c99: POP
00001c9a: PUSH2 0x1ce2
00001c9d: PUSH1 0x04
00001c9f: PUSH1 0x00
00001ca1: DUP10
00001ca2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cb7: AND
00001cb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ccd: AND
00001cce: DUP2
00001ccf: MSTORE
00001cd0: PUSH1 0x20
00001cd2: ADD
00001cd3: SWAP1
00001cd4: DUP2
00001cd5: MSTORE
00001cd6: PUSH1 0x20
00001cd8: ADD
00001cd9: PUSH1 0x00
00001cdb: KECCAK256
00001cdc: SLOAD
00001cdd: DUP4
00001cde: PUSH2 0x236a
00001ce1: JUMP
00001ce2: JUMPDEST
00001ce3: PUSH1 0x04
00001ce5: PUSH1 0x00
00001ce7: DUP10
00001ce8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cfd: AND
00001cfe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d13: AND
00001d14: DUP2
00001d15: MSTORE
00001d16: PUSH1 0x20
00001d18: ADD
00001d19: SWAP1
00001d1a: DUP2
00001d1b: MSTORE
00001d1c: PUSH1 0x20
00001d1e: ADD
00001d1f: PUSH1 0x00
00001d21: KECCAK256
00001d22: DUP2
00001d23: SWAP1
00001d24: SSTORE
00001d25: POP
00001d26: DUP6
00001d27: PUSH1 0x09
00001d29: SLOAD
00001d2a: MUL
00001d2b: PUSH1 0x06
00001d2d: PUSH1 0x00
00001d2f: DUP7
00001d30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d45: AND
00001d46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d5b: AND
00001d5c: DUP2
00001d5d: MSTORE
00001d5e: PUSH1 0x20
00001d60: ADD
00001d61: SWAP1
00001d62: DUP2
00001d63: MSTORE
00001d64: PUSH1 0x20
00001d66: ADD
00001d67: PUSH1 0x00
00001d69: KECCAK256
00001d6a: PUSH1 0x00
00001d6c: DUP3
00001d6d: DUP3
00001d6e: SLOAD
00001d6f: SUB
00001d70: SWAP3
00001d71: POP
00001d72: POP
00001d73: DUP2
00001d74: SWAP1
00001d75: SSTORE
00001d76: POP
00001d77: DUP2
00001d78: PUSH1 0x09
00001d7a: SLOAD
00001d7b: MUL
00001d7c: PUSH1 0x06
00001d7e: PUSH1 0x00
00001d80: DUP10
00001d81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d96: AND
00001d97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dac: AND
00001dad: DUP2
00001dae: MSTORE
00001daf: PUSH1 0x20
00001db1: ADD
00001db2: SWAP1
00001db3: DUP2
00001db4: MSTORE
00001db5: PUSH1 0x20
00001db7: ADD
00001db8: PUSH1 0x00
00001dba: KECCAK256
00001dbb: PUSH1 0x00
00001dbd: DUP3
00001dbe: DUP3
00001dbf: SLOAD
00001dc0: ADD
00001dc1: SWAP3
00001dc2: POP
00001dc3: POP
00001dc4: DUP2
00001dc5: SWAP1
00001dc6: SSTORE
00001dc7: POP
00001dc8: PUSH2 0x1deb
00001dcb: PUSH1 0x09
00001dcd: SLOAD
00001dce: PUSH1 0x08
00001dd0: SLOAD
00001dd1: PUSH9 0x010000000000000000
00001ddb: DUP5
00001ddc: MUL
00001ddd: DUP2
00001dde: ISZERO
00001ddf: ISZERO
00001de0: PUSH2 0x1de5
00001de3: JUMPI
00001de4: INVALID
00001de5: JUMPDEST
00001de6: DIV
00001de7: PUSH2 0x236a
00001dea: JUMP
00001deb: JUMPDEST
00001dec: PUSH1 0x09
00001dee: DUP2
00001def: SWAP1
00001df0: SSTORE
00001df1: POP
00001df2: DUP7
00001df3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e08: AND
00001e09: DUP5
00001e0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e1f: AND
00001e20: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001e41: DUP5
00001e42: PUSH1 0x40
00001e44: MLOAD
00001e45: DUP1
00001e46: DUP3
00001e47: DUP2
00001e48: MSTORE
00001e49: PUSH1 0x20
00001e4b: ADD
00001e4c: SWAP2
00001e4d: POP
00001e4e: POP
00001e4f: PUSH1 0x40
00001e51: MLOAD
00001e52: DUP1
00001e53: SWAP2
00001e54: SUB
00001e55: SWAP1
00001e56: LOG3
00001e57: PUSH1 0x01
00001e59: SWAP5
00001e5a: POP
00001e5b: POP
00001e5c: POP
00001e5d: POP
00001e5e: POP
00001e5f: SWAP3
00001e60: SWAP2
00001e61: POP
00001e62: POP
00001e63: JUMP
00001e64: JUMPDEST
00001e65: PUSH1 0x00
00001e67: CALLER
00001e68: SWAP1
00001e69: POP
00001e6a: PUSH1 0x0a
00001e6c: PUSH1 0x00
00001e6e: DUP3
00001e6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e84: AND
00001e85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e9a: AND
00001e9b: DUP2
00001e9c: MSTORE
00001e9d: PUSH1 0x20
00001e9f: ADD
00001ea0: SWAP1
00001ea1: DUP2
00001ea2: MSTORE
00001ea3: PUSH1 0x20
00001ea5: ADD
00001ea6: PUSH1 0x00
00001ea8: KECCAK256
00001ea9: PUSH1 0x00
00001eab: SWAP1
00001eac: SLOAD
00001ead: SWAP1
00001eae: PUSH2 0x0100
00001eb1: EXP
00001eb2: SWAP1
00001eb3: DIV
00001eb4: PUSH1 0xff
00001eb6: AND
00001eb7: ISZERO
00001eb8: ISZERO
00001eb9: PUSH2 0x1ec1
00001ebc: JUMPI
00001ebd: PUSH1 0x00
00001ebf: DUP1
00001ec0: REVERT
00001ec1: JUMPDEST
00001ec2: DUP2
00001ec3: PUSH1 0x01
00001ec5: SWAP1
00001ec6: DUP1
00001ec7: MLOAD
00001ec8: SWAP1
00001ec9: PUSH1 0x20
00001ecb: ADD
00001ecc: SWAP1
00001ecd: PUSH2 0x1ed7
00001ed0: SWAP3
00001ed1: SWAP2
00001ed2: SWAP1
00001ed3: PUSH2 0x262e
00001ed6: JUMP
00001ed7: JUMPDEST
00001ed8: POP
00001ed9: POP
00001eda: POP
00001edb: JUMP
00001edc: JUMPDEST
00001edd: PUSH1 0x00
00001edf: CALLER
00001ee0: SWAP1
00001ee1: POP
00001ee2: PUSH1 0x0a
00001ee4: PUSH1 0x00
00001ee6: DUP3
00001ee7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001efc: AND
00001efd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f12: AND
00001f13: DUP2
00001f14: MSTORE
00001f15: PUSH1 0x20
00001f17: ADD
00001f18: SWAP1
00001f19: DUP2
00001f1a: MSTORE
00001f1b: PUSH1 0x20
00001f1d: ADD
00001f1e: PUSH1 0x00
00001f20: KECCAK256
00001f21: PUSH1 0x00
00001f23: SWAP1
00001f24: SLOAD
00001f25: SWAP1
00001f26: PUSH2 0x0100
00001f29: EXP
00001f2a: SWAP1
00001f2b: DIV
00001f2c: PUSH1 0xff
00001f2e: AND
00001f2f: ISZERO
00001f30: ISZERO
00001f31: PUSH2 0x1f39
00001f34: JUMPI
00001f35: PUSH1 0x00
00001f37: DUP1
00001f38: REVERT
00001f39: JUMPDEST
00001f3a: DUP2
00001f3b: PUSH1 0x00
00001f3d: SWAP1
00001f3e: DUP1
00001f3f: MLOAD
00001f40: SWAP1
00001f41: PUSH1 0x20
00001f43: ADD
00001f44: SWAP1
00001f45: PUSH2 0x1f4f
00001f48: SWAP3
00001f49: SWAP2
00001f4a: SWAP1
00001f4b: PUSH2 0x262e
00001f4e: JUMP
00001f4f: JUMPDEST
00001f50: POP
00001f51: POP
00001f52: POP
00001f53: JUMP
00001f54: JUMPDEST
00001f55: PUSH1 0x00
00001f57: DUP1
00001f58: PUSH1 0x00
00001f5a: DUP1
00001f5b: PUSH1 0x00
00001f5d: DUP1
00001f5e: PUSH1 0x00
00001f60: PUSH2 0x1f67
00001f63: PUSH2 0x19a9
00001f66: JUMP
00001f67: JUMPDEST
00001f68: GT
00001f69: ISZERO
00001f6a: ISZERO
00001f6b: PUSH2 0x1f73
00001f6e: JUMPI
00001f6f: PUSH1 0x00
00001f71: DUP1
00001f72: REVERT
00001f73: JUMPDEST
00001f74: CALLER
00001f75: SWAP6
00001f76: POP
00001f77: PUSH1 0x04
00001f79: PUSH1 0x00
00001f7b: DUP8
00001f7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f91: AND
00001f92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fa7: AND
00001fa8: DUP2
00001fa9: MSTORE
00001faa: PUSH1 0x20
00001fac: ADD
00001fad: SWAP1
00001fae: DUP2
00001faf: MSTORE
00001fb0: PUSH1 0x20
00001fb2: ADD
00001fb3: PUSH1 0x00
00001fb5: KECCAK256
00001fb6: SLOAD
00001fb7: DUP8
00001fb8: GT
00001fb9: ISZERO
00001fba: ISZERO
00001fbb: ISZERO
00001fbc: PUSH2 0x1fc4
00001fbf: JUMPI
00001fc0: PUSH1 0x00
00001fc2: DUP1
00001fc3: REVERT
00001fc4: JUMPDEST
00001fc5: DUP7
00001fc6: SWAP5
00001fc7: POP
00001fc8: PUSH2 0x1fd0
00001fcb: DUP6
00001fcc: PUSH2 0x2484
00001fcf: JUMP
00001fd0: JUMPDEST
00001fd1: SWAP4
00001fd2: POP
00001fd3: PUSH2 0x1fdb
00001fd6: DUP5
00001fd7: PUSH2 0x252f
00001fda: JUMP
00001fdb: JUMPDEST
00001fdc: SWAP3
00001fdd: POP
00001fde: PUSH2 0x1fe7
00001fe1: DUP5
00001fe2: DUP5
00001fe3: PUSH2 0x23de
00001fe6: JUMP
00001fe7: JUMPDEST
00001fe8: SWAP2
00001fe9: POP
00001fea: PUSH2 0x1ff5
00001fed: PUSH1 0x08
00001fef: SLOAD
00001ff0: DUP7
00001ff1: PUSH2 0x23de
00001ff4: JUMP
00001ff5: JUMPDEST
00001ff6: PUSH1 0x08
00001ff8: DUP2
00001ff9: SWAP1
00001ffa: SSTORE
00001ffb: POP
00001ffc: PUSH2 0x2044
00001fff: PUSH1 0x04
00002001: PUSH1 0x00
00002003: DUP9
00002004: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002019: AND
0000201a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000202f: AND
00002030: DUP2
00002031: MSTORE
00002032: PUSH1 0x20
00002034: ADD
00002035: SWAP1
00002036: DUP2
00002037: MSTORE
00002038: PUSH1 0x20
0000203a: ADD
0000203b: PUSH1 0x00
0000203d: KECCAK256
0000203e: SLOAD
0000203f: DUP7
00002040: PUSH2 0x23de
00002043: JUMP
00002044: JUMPDEST
00002045: PUSH1 0x04
00002047: PUSH1 0x00
00002049: DUP9
0000204a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000205f: AND
00002060: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002075: AND
00002076: DUP2
00002077: MSTORE
00002078: PUSH1 0x20
0000207a: ADD
0000207b: SWAP1
0000207c: DUP2
0000207d: MSTORE
0000207e: PUSH1 0x20
00002080: ADD
00002081: PUSH1 0x00
00002083: KECCAK256
00002084: DUP2
00002085: SWAP1
00002086: SSTORE
00002087: POP
00002088: PUSH9 0x010000000000000000
00002092: DUP3
00002093: MUL
00002094: DUP6
00002095: PUSH1 0x09
00002097: SLOAD
00002098: MUL
00002099: ADD
0000209a: SWAP1
0000209b: POP
0000209c: DUP1
0000209d: PUSH1 0x06
0000209f: PUSH1 0x00
000020a1: DUP9
000020a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020b7: AND
000020b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020cd: AND
000020ce: DUP2
000020cf: MSTORE
000020d0: PUSH1 0x20
000020d2: ADD
000020d3: SWAP1
000020d4: DUP2
000020d5: MSTORE
000020d6: PUSH1 0x20
000020d8: ADD
000020d9: PUSH1 0x00
000020db: KECCAK256
000020dc: PUSH1 0x00
000020de: DUP3
000020df: DUP3
000020e0: SLOAD
000020e1: SUB
000020e2: SWAP3
000020e3: POP
000020e4: POP
000020e5: DUP2
000020e6: SWAP1
000020e7: SSTORE
000020e8: POP
000020e9: PUSH1 0x00
000020eb: PUSH1 0x08
000020ed: SLOAD
000020ee: GT
000020ef: ISZERO
000020f0: PUSH2 0x211e
000020f3: JUMPI
000020f4: PUSH2 0x2117
000020f7: PUSH1 0x09
000020f9: SLOAD
000020fa: PUSH1 0x08
000020fc: SLOAD
000020fd: PUSH9 0x010000000000000000
00002107: DUP7
00002108: MUL
00002109: DUP2
0000210a: ISZERO
0000210b: ISZERO
0000210c: PUSH2 0x2111
0000210f: JUMPI
00002110: INVALID
00002111: JUMPDEST
00002112: DIV
00002113: PUSH2 0x236a
00002116: JUMP
00002117: JUMPDEST
00002118: PUSH1 0x09
0000211a: DUP2
0000211b: SWAP1
0000211c: SSTORE
0000211d: POP
0000211e: JUMPDEST
0000211f: DUP6
00002120: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002135: AND
00002136: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139
00002157: DUP7
00002158: DUP5
00002159: PUSH1 0x40
0000215b: MLOAD
0000215c: DUP1
0000215d: DUP4
0000215e: DUP2
0000215f: MSTORE
00002160: PUSH1 0x20
00002162: ADD
00002163: DUP3
00002164: DUP2
00002165: MSTORE
00002166: PUSH1 0x20
00002168: ADD
00002169: SWAP3
0000216a: POP
0000216b: POP
0000216c: POP
0000216d: PUSH1 0x40
0000216f: MLOAD
00002170: DUP1
00002171: SWAP2
00002172: SUB
00002173: SWAP1
00002174: LOG2
00002175: POP
00002176: POP
00002177: POP
00002178: POP
00002179: POP
0000217a: POP
0000217b: POP
0000217c: JUMP
0000217d: JUMPDEST
0000217e: PUSH1 0x00
00002180: DUP1
00002181: CALLER
00002182: SWAP2
00002183: POP
00002184: PUSH1 0x04
00002186: PUSH1 0x00
00002188: DUP4
00002189: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000219e: AND
0000219f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021b4: AND
000021b5: DUP2
000021b6: MSTORE
000021b7: PUSH1 0x20
000021b9: ADD
000021ba: SWAP1
000021bb: DUP2
000021bc: MSTORE
000021bd: PUSH1 0x20
000021bf: ADD
000021c0: PUSH1 0x00
000021c2: KECCAK256
000021c3: SLOAD
000021c4: SWAP1
000021c5: POP
000021c6: PUSH1 0x00
000021c8: DUP2
000021c9: GT
000021ca: ISZERO
000021cb: PUSH2 0x21d8
000021ce: JUMPI
000021cf: PUSH2 0x21d7
000021d2: DUP2
000021d3: PUSH2 0x1f54
000021d6: JUMP
000021d7: JUMPDEST
000021d8: JUMPDEST
000021d9: PUSH2 0x21e0
000021dc: PUSH2 0x1521
000021df: JUMP
000021e0: JUMPDEST
000021e1: POP
000021e2: POP
000021e3: JUMP
000021e4: JUMPDEST
000021e5: PUSH1 0x00
000021e7: PUSH2 0x21f0
000021ea: CALLVALUE
000021eb: DUP4
000021ec: PUSH2 0x0878
000021ef: JUMP
000021f0: JUMPDEST
000021f1: POP
000021f2: SWAP2
000021f3: SWAP1
000021f4: POP
000021f5: JUMP
000021f6: JUMPDEST
000021f7: PUSH1 0x00
000021f9: DUP1
000021fa: PUSH1 0x00
000021fc: DUP1
000021fd: PUSH2 0x2206
00002200: PUSH1 0x01
00002202: PUSH2 0x1724
00002205: JUMP
00002206: JUMPDEST
00002207: GT
00002208: ISZERO
00002209: ISZERO
0000220a: PUSH2 0x2212
0000220d: JUMPI
0000220e: PUSH1 0x00
00002210: DUP1
00002211: REVERT
00002212: JUMPDEST
00002213: PUSH2 0x221c
00002216: PUSH1 0x00
00002218: PUSH2 0x1724
0000221b: JUMP
0000221c: JUMPDEST
0000221d: SWAP3
0000221e: POP
0000221f: CALLER
00002220: SWAP2
00002221: POP
00002222: PUSH9 0x010000000000000000
0000222c: DUP4
0000222d: MUL
0000222e: PUSH1 0x06
00002230: PUSH1 0x00
00002232: DUP5
00002233: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002248: AND
00002249: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000225e: AND
0000225f: DUP2
00002260: MSTORE
00002261: PUSH1 0x20
00002263: ADD
00002264: SWAP1
00002265: DUP2
00002266: MSTORE
00002267: PUSH1 0x20
00002269: ADD
0000226a: PUSH1 0x00
0000226c: KECCAK256
0000226d: PUSH1 0x00
0000226f: DUP3
00002270: DUP3
00002271: SLOAD
00002272: ADD
00002273: SWAP3
00002274: POP
00002275: POP
00002276: DUP2
00002277: SWAP1
00002278: SSTORE
00002279: POP
0000227a: PUSH1 0x05
0000227c: PUSH1 0x00
0000227e: DUP4
0000227f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002294: AND
00002295: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022aa: AND
000022ab: DUP2
000022ac: MSTORE
000022ad: PUSH1 0x20
000022af: ADD
000022b0: SWAP1
000022b1: DUP2
000022b2: MSTORE
000022b3: PUSH1 0x20
000022b5: ADD
000022b6: PUSH1 0x00
000022b8: KECCAK256
000022b9: SLOAD
000022ba: DUP4
000022bb: ADD
000022bc: SWAP3
000022bd: POP
000022be: PUSH1 0x00
000022c0: PUSH1 0x05
000022c2: PUSH1 0x00
000022c4: DUP5
000022c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022da: AND
000022db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022f0: AND
000022f1: DUP2
000022f2: MSTORE
000022f3: PUSH1 0x20
000022f5: ADD
000022f6: SWAP1
000022f7: DUP2
000022f8: MSTORE
000022f9: PUSH1 0x20
000022fb: ADD
000022fc: PUSH1 0x00
000022fe: KECCAK256
000022ff: DUP2
00002300: SWAP1
00002301: SSTORE
00002302: POP
00002303: PUSH2 0x230d
00002306: DUP4
00002307: PUSH1 0x00
00002309: PUSH2 0x0878
0000230c: JUMP
0000230d: JUMPDEST
0000230e: SWAP1
0000230f: POP
00002310: DUP2
00002311: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002326: AND
00002327: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458
00002348: DUP5
00002349: DUP4
0000234a: PUSH1 0x40
0000234c: MLOAD
0000234d: DUP1
0000234e: DUP4
0000234f: DUP2
00002350: MSTORE
00002351: PUSH1 0x20
00002353: ADD
00002354: DUP3
00002355: DUP2
00002356: MSTORE
00002357: PUSH1 0x20
00002359: ADD
0000235a: SWAP3
0000235b: POP
0000235c: POP
0000235d: POP
0000235e: PUSH1 0x40
00002360: MLOAD
00002361: DUP1
00002362: SWAP2
00002363: SUB
00002364: SWAP1
00002365: LOG2
00002366: POP
00002367: POP
00002368: POP
00002369: JUMP
0000236a: JUMPDEST
0000236b: PUSH1 0x00
0000236d: DUP1
0000236e: DUP3
0000236f: DUP5
00002370: ADD
00002371: SWAP1
00002372: POP
00002373: DUP4
00002374: DUP2
00002375: LT
00002376: ISZERO
00002377: ISZERO
00002378: ISZERO
00002379: PUSH2 0x237e
0000237c: JUMPI
0000237d: INVALID
0000237e: JUMPDEST
0000237f: DUP1
00002380: SWAP2
00002381: POP
00002382: POP
00002383: SWAP3
00002384: SWAP2
00002385: POP
00002386: POP
00002387: JUMP
00002388: JUMPDEST
00002389: PUSH1 0x00
0000238b: DUP1
0000238c: PUSH1 0x00
0000238e: DUP5
0000238f: EQ
00002390: ISZERO
00002391: PUSH2 0x239d
00002394: JUMPI
00002395: PUSH1 0x00
00002397: SWAP2
00002398: POP
00002399: PUSH2 0x23bc
0000239c: JUMP
0000239d: JUMPDEST
0000239e: DUP3
0000239f: DUP5
000023a0: MUL
000023a1: SWAP1
000023a2: POP
000023a3: DUP3
000023a4: DUP5
000023a5: DUP3
000023a6: DUP2
000023a7: ISZERO
000023a8: ISZERO
000023a9: PUSH2 0x23ae
000023ac: JUMPI
000023ad: INVALID
000023ae: JUMPDEST
000023af: DIV
000023b0: EQ
000023b1: ISZERO
000023b2: ISZERO
000023b3: PUSH2 0x23b8
000023b6: JUMPI
000023b7: INVALID
000023b8: JUMPDEST
000023b9: DUP1
000023ba: SWAP2
000023bb: POP
000023bc: JUMPDEST
000023bd: POP
000023be: SWAP3
000023bf: SWAP2
000023c0: POP
000023c1: POP
000023c2: JUMP
000023c3: JUMPDEST
000023c4: PUSH1 0x00
000023c6: DUP1
000023c7: DUP3
000023c8: DUP5
000023c9: DUP2
000023ca: ISZERO
000023cb: ISZERO
000023cc: PUSH2 0x23d1
000023cf: JUMPI
000023d0: INVALID
000023d1: JUMPDEST
000023d2: DIV
000023d3: SWAP1
000023d4: POP
000023d5: DUP1
000023d6: SWAP2
000023d7: POP
000023d8: POP
000023d9: SWAP3
000023da: SWAP2
000023db: POP
000023dc: POP
000023dd: JUMP
000023de: JUMPDEST
000023df: PUSH1 0x00
000023e1: DUP3
000023e2: DUP3
000023e3: GT
000023e4: ISZERO
000023e5: ISZERO
000023e6: ISZERO
000023e7: PUSH2 0x23ec
000023ea: JUMPI
000023eb: INVALID
000023ec: JUMPDEST
000023ed: DUP2
000023ee: DUP4
000023ef: SUB
000023f0: SWAP1
000023f1: POP
000023f2: SWAP3
000023f3: SWAP2
000023f4: POP
000023f5: POP
000023f6: JUMP
000023f7: JUMPDEST
000023f8: PUSH1 0x00
000023fa: DUP1
000023fb: PUSH1 0x00
000023fd: PUSH8 0x0de0b6b3a7640000
00002406: PUSH5 0x174876e800
0000240c: MUL
0000240d: SWAP2
0000240e: POP
0000240f: PUSH1 0x08
00002411: SLOAD
00002412: PUSH5 0x02540be400
00002418: PUSH2 0x246d
0000241b: PUSH2 0x2467
0000241e: PUSH1 0x08
00002420: SLOAD
00002421: DUP7
00002422: PUSH5 0x02540be400
00002428: PUSH1 0x02
0000242a: MUL
0000242b: MUL
0000242c: MUL
0000242d: PUSH1 0x02
0000242f: PUSH1 0x08
00002431: SLOAD
00002432: EXP
00002433: PUSH1 0x02
00002435: PUSH5 0x02540be400
0000243b: EXP
0000243c: MUL
0000243d: PUSH8 0x0de0b6b3a7640000
00002446: DUP11
00002447: MUL
00002448: PUSH8 0x0de0b6b3a7640000
00002451: PUSH5 0x02540be400
00002457: MUL
00002458: PUSH1 0x02
0000245a: MUL
0000245b: MUL
0000245c: PUSH1 0x02
0000245e: DUP10
0000245f: EXP
00002460: ADD
00002461: ADD
00002462: ADD
00002463: PUSH2 0x25e3
00002466: JUMP
00002467: JUMPDEST
00002468: DUP6
00002469: PUSH2 0x23de
0000246c: JUMP
0000246d: JUMPDEST
0000246e: DUP2
0000246f: ISZERO
00002470: ISZERO
00002471: PUSH2 0x2476
00002474: JUMPI
00002475: INVALID
00002476: JUMPDEST
00002477: DIV
00002478: SUB
00002479: SWAP1
0000247a: POP
0000247b: DUP1
0000247c: SWAP3
0000247d: POP
0000247e: POP
0000247f: POP
00002480: SWAP2
00002481: SWAP1
00002482: POP
00002483: JUMP
00002484: JUMPDEST
00002485: PUSH1 0x00
00002487: DUP1
00002488: PUSH1 0x00
0000248a: DUP1
0000248b: PUSH8 0x0de0b6b3a7640000
00002494: DUP6
00002495: ADD
00002496: SWAP3
00002497: POP
00002498: PUSH8 0x0de0b6b3a7640000
000024a1: PUSH1 0x08
000024a3: SLOAD
000024a4: ADD
000024a5: SWAP2
000024a6: POP
000024a7: PUSH8 0x0de0b6b3a7640000
000024b0: PUSH2 0x2518
000024b3: PUSH8 0x0de0b6b3a7640000
000024bc: DUP6
000024bd: SUB
000024be: PUSH5 0x02540be400
000024c4: PUSH8 0x0de0b6b3a7640000
000024cd: DUP7
000024ce: DUP2
000024cf: ISZERO
000024d0: ISZERO
000024d1: PUSH2 0x24d6
000024d4: JUMPI
000024d5: INVALID
000024d6: JUMPDEST
000024d7: DIV
000024d8: PUSH5 0x02540be400
000024de: MUL
000024df: PUSH5 0x174876e800
000024e5: ADD
000024e6: SUB
000024e7: MUL
000024e8: PUSH1 0x02
000024ea: PUSH8 0x0de0b6b3a7640000
000024f3: DUP8
000024f4: PUSH1 0x02
000024f6: DUP10
000024f7: EXP
000024f8: SUB
000024f9: DUP2
000024fa: ISZERO
000024fb: ISZERO
000024fc: PUSH2 0x2501
000024ff: JUMPI
00002500: INVALID
00002501: JUMPDEST
00002502: DIV
00002503: PUSH5 0x02540be400
00002509: MUL
0000250a: DUP2
0000250b: ISZERO
0000250c: ISZERO
0000250d: PUSH2 0x2512
00002510: JUMPI
00002511: INVALID
00002512: JUMPDEST
00002513: DIV
00002514: PUSH2 0x23de
00002517: JUMP
00002518: JUMPDEST
00002519: DUP2
0000251a: ISZERO
0000251b: ISZERO
0000251c: PUSH2 0x2521
0000251f: JUMPI
00002520: INVALID
00002521: JUMPDEST
00002522: DIV
00002523: SWAP1
00002524: POP
00002525: DUP1
00002526: SWAP4
00002527: POP
00002528: POP
00002529: POP
0000252a: POP
0000252b: SWAP2
0000252c: SWAP1
0000252d: POP
0000252e: JUMP
0000252f: JUMPDEST
00002530: PUSH1 0x00
00002532: DUP1
00002533: PUSH3 0x0f4240
00002537: DUP4
00002538: PUSH3 0x015180
0000253c: PUSH4 0x5da08ae0
00002541: TIMESTAMP
00002542: SUB
00002543: PUSH2 0x4e20
00002546: MUL
00002547: DUP2
00002548: ISZERO
00002549: ISZERO
0000254a: PUSH2 0x254f
0000254d: JUMPI
0000254e: INVALID
0000254f: JUMPDEST
00002550: DIV
00002551: PUSH3 0x0cf850
00002555: SUB
00002556: MUL
00002557: DUP2
00002558: ISZERO
00002559: ISZERO
0000255a: PUSH2 0x255f
0000255d: JUMPI
0000255e: INVALID
0000255f: JUMPDEST
00002560: DIV
00002561: SWAP1
00002562: POP
00002563: PUSH3 0x0186a0
00002567: PUSH2 0x03e8
0000256a: PUSH1 0x19
0000256c: PUSH1 0xff
0000256e: AND
0000256f: DUP6
00002570: MUL
00002571: MUL
00002572: DUP2
00002573: ISZERO
00002574: ISZERO
00002575: PUSH2 0x257a
00002578: JUMPI
00002579: INVALID
0000257a: JUMPDEST
0000257b: DIV
0000257c: DUP2
0000257d: LT
0000257e: ISZERO
0000257f: PUSH2 0x259e
00002582: JUMPI
00002583: PUSH3 0x0186a0
00002587: PUSH2 0x03e8
0000258a: PUSH1 0x19
0000258c: PUSH1 0xff
0000258e: AND
0000258f: DUP6
00002590: MUL
00002591: MUL
00002592: DUP2
00002593: ISZERO
00002594: ISZERO
00002595: PUSH2 0x259a
00002598: JUMPI
00002599: INVALID
0000259a: JUMPDEST
0000259b: DIV
0000259c: SWAP1
0000259d: POP
0000259e: JUMPDEST
0000259f: PUSH3 0x0186a0
000025a3: PUSH2 0x03e8
000025a6: PUSH1 0x55
000025a8: PUSH1 0xff
000025aa: AND
000025ab: DUP6
000025ac: MUL
000025ad: MUL
000025ae: DUP2
000025af: ISZERO
000025b0: ISZERO
000025b1: PUSH2 0x25b6
000025b4: JUMPI
000025b5: INVALID
000025b6: JUMPDEST
000025b7: DIV
000025b8: DUP2
000025b9: GT
000025ba: ISZERO
000025bb: PUSH2 0x25da
000025be: JUMPI
000025bf: PUSH3 0x0186a0
000025c3: PUSH2 0x03e8
000025c6: PUSH1 0x55
000025c8: PUSH1 0xff
000025ca: AND
000025cb: DUP6
000025cc: MUL
000025cd: MUL
000025ce: DUP2
000025cf: ISZERO
000025d0: ISZERO
000025d1: PUSH2 0x25d6
000025d4: JUMPI
000025d5: INVALID
000025d6: JUMPDEST
000025d7: DIV
000025d8: SWAP1
000025d9: POP
000025da: JUMPDEST
000025db: DUP1
000025dc: SWAP2
000025dd: POP
000025de: POP
000025df: SWAP2
000025e0: SWAP1
000025e1: POP
000025e2: JUMP
000025e3: JUMPDEST
000025e4: PUSH1 0x00
000025e6: DUP1
000025e7: PUSH1 0x02
000025e9: PUSH1 0x01
000025eb: DUP5
000025ec: ADD
000025ed: DUP2
000025ee: ISZERO
000025ef: ISZERO
000025f0: PUSH2 0x25f5
000025f3: JUMPI
000025f4: INVALID
000025f5: JUMPDEST
000025f6: DIV
000025f7: SWAP1
000025f8: POP
000025f9: DUP3
000025fa: SWAP2
000025fb: POP
000025fc: JUMPDEST
000025fd: DUP2
000025fe: DUP2
000025ff: LT
00002600: ISZERO
00002601: PUSH2 0x2628
00002604: JUMPI
00002605: DUP1
00002606: SWAP2
00002607: POP
00002608: PUSH1 0x02
0000260a: DUP2
0000260b: DUP3
0000260c: DUP6
0000260d: DUP2
0000260e: ISZERO
0000260f: ISZERO
00002610: PUSH2 0x2615
00002613: JUMPI
00002614: INVALID
00002615: JUMPDEST
00002616: DIV
00002617: ADD
00002618: DUP2
00002619: ISZERO
0000261a: ISZERO
0000261b: PUSH2 0x2620
0000261e: JUMPI
0000261f: INVALID
00002620: JUMPDEST
00002621: DIV
00002622: SWAP1
00002623: POP
00002624: PUSH2 0x25fc
00002627: JUMP
00002628: JUMPDEST
00002629: POP
0000262a: SWAP2
0000262b: SWAP1
0000262c: POP
0000262d: JUMP
0000262e: JUMPDEST
0000262f: DUP3
00002630: DUP1
00002631: SLOAD
00002632: PUSH1 0x01
00002634: DUP2
00002635: PUSH1 0x01
00002637: AND
00002638: ISZERO
00002639: PUSH2 0x0100
0000263c: MUL
0000263d: SUB
0000263e: AND
0000263f: PUSH1 0x02
00002641: SWAP1
00002642: DIV
00002643: SWAP1
00002644: PUSH1 0x00
00002646: MSTORE
00002647: PUSH1 0x20
00002649: PUSH1 0x00
0000264b: KECCAK256
0000264c: SWAP1
0000264d: PUSH1 0x1f
0000264f: ADD
00002650: PUSH1 0x20
00002652: SWAP1
00002653: DIV
00002654: DUP2
00002655: ADD
00002656: SWAP3
00002657: DUP3
00002658: PUSH1 0x1f
0000265a: LT
0000265b: PUSH2 0x266f
0000265e: JUMPI
0000265f: DUP1
00002660: MLOAD
00002661: PUSH1 0xff
00002663: NOT
00002664: AND
00002665: DUP4
00002666: DUP1
00002667: ADD
00002668: OR
00002669: DUP6
0000266a: SSTORE
0000266b: PUSH2 0x269d
0000266e: JUMP
0000266f: JUMPDEST
00002670: DUP3
00002671: DUP1
00002672: ADD
00002673: PUSH1 0x01
00002675: ADD
00002676: DUP6
00002677: SSTORE
00002678: DUP3
00002679: ISZERO
0000267a: PUSH2 0x269d
0000267d: JUMPI
0000267e: SWAP2
0000267f: DUP3
00002680: ADD
00002681: JUMPDEST
00002682: DUP3
00002683: DUP2
00002684: GT
00002685: ISZERO
00002686: PUSH2 0x269c
00002689: JUMPI
0000268a: DUP3
0000268b: MLOAD
0000268c: DUP3
0000268d: SSTORE
0000268e: SWAP2
0000268f: PUSH1 0x20
00002691: ADD
00002692: SWAP2
00002693: SWAP1
00002694: PUSH1 0x01
00002696: ADD
00002697: SWAP1
00002698: PUSH2 0x2681
0000269b: JUMP
0000269c: JUMPDEST
0000269d: JUMPDEST
0000269e: POP
0000269f: SWAP1
000026a0: POP
000026a1: PUSH2 0x26aa
000026a4: SWAP2
000026a5: SWAP1
000026a6: PUSH2 0x26ae
000026a9: JUMP
000026aa: JUMPDEST
000026ab: POP
000026ac: SWAP1
000026ad: JUMP
000026ae: JUMPDEST
000026af: PUSH2 0x26d0
000026b2: SWAP2
000026b3: SWAP1
000026b4: JUMPDEST
000026b5: DUP1
000026b6: DUP3
000026b7: GT
000026b8: ISZERO
000026b9: PUSH2 0x26cc
000026bc: JUMPI
000026bd: PUSH1 0x00
000026bf: DUP2
000026c0: PUSH1 0x00
000026c2: SWAP1
000026c3: SSTORE
000026c4: POP
000026c5: PUSH1 0x01
000026c7: ADD
000026c8: PUSH2 0x26b4
000026cb: JUMP
000026cc: JUMPDEST
000026cd: POP
000026ce: SWAP1
000026cf: JUMP
000026d0: JUMPDEST
000026d1: SWAP1
000026d2: JUMP
000026d3: STOP
000026d4: LOG1
000026d5: PUSH6 0x627a7a723058
000026dc: KECCAK256
000026dd: SELFBALANCE
000026de: SWAP5
000026df: UNKNOWN(0xE1)
000026e0: SWAP14
000026e1: DIV
000026e2: ORIGIN
000026e3: LOG1
000026e4: UNKNOWN(0x4B)
000026e5: STATICCALL
000026e6: POP
000026e7: UNKNOWN(0xA9)
000026e8: UNKNOWN(0xBE)
000026e9: UNKNOWN(0xC2)
000026ea: CLZ
000026eb: PUSH4 0xa1c47508
000026f0: UNKNOWN(0x2E)
000026f1: DUP1
000026f2: UNKNOWN(0xED)
000026f3: UNKNOWN(0xFB)
000026f4: AND
000026f5: PUSH24
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xffffffff", "selector": "0xffffffff", "calldata_variants": [ "0xffffffff", "0xffffffff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10d0ffdd", "selector": "0x10d0ffdd", "calldata_variants": [ "0x10d0ffdd", "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22609373", "selector": "0x22609373", "calldata_variants": [ "0x22609373", "0x226093730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x27defa1f", "selector": "0x27defa1f", "calldata_variants": [ "0x27defa1f", "0x27defa1f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 2727, "type": "tx_origin_used" }, { "pc": 3898, "type": "tx_origin_used" }, { "pc": 9954, "type": "tx_origin_used" } ] }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x6d99070cfdb2eb932fb9a9a8c1b7082b6f81efd9b68ba792264ac295326c7689 call_targets: 0x01736a779d889cf048f7a7b5f55ea5c3727bd0bd target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x6d99070cfdb2eb932fb9a9a8c1b7082b6f81efd9b68ba792264ac295326c7689", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x01736a779d889cf048f7a7b5f55ea5c3727bd0bd" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xffffffff", "selector": "0xffffffff", "calldata_variants": [ "0xffffffff", "0xffffffff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10d0ffdd", "selector": "0x10d0ffdd", "calldata_variants": [ "0x10d0ffdd", "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22609373", "selector": "0x22609373", "calldata_variants": [ "0x22609373", "0x226093730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x27defa1f", "selector": "0x27defa1f", "calldata_variants": [ "0x27defa1f", "0x27defa1f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5724, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 1, "guards_detected": [ { "pc": 2727, "type": "tx_origin_used" }, { "pc": 3898, "type": "tx_origin_used" }, { "pc": 9954, "type": "tx_origin_used" } ], "untrusted_call_count": 1 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x6d99070cfdb2eb932fb9a9a8c1b7082b6f81efd9b68ba792264ac295326c7689 call_targets: 0x01736a779d889cf048f7a7b5f55ea5c3727bd0bd target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x6d99070cfdb2eb932fb9a9a8c1b7082b6f81efd9b68ba792264ac295326c7689", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x01736a779d889cf048f7a7b5f55ea5c3727bd0bd" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xffffffff", "selector": "0xffffffff", "calldata_variants": [ "0xffffffff", "0xffffffff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10d0ffdd", "selector": "0x10d0ffdd", "calldata_variants": [ "0x10d0ffdd", "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22609373", "selector": "0x22609373", "calldata_variants": [ "0x22609373", "0x226093730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x27defa1f", "selector": "0x27defa1f", "calldata_variants": [ "0x27defa1f", "0x27defa1f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5724, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 1, "guards_detected": [ { "pc": 2727, "type": "tx_origin_used" }, { "pc": 3898, "type": "tx_origin_used" }, { "pc": 9954, "type": "tx_origin_used" } ] }
Severity