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

Analysis Run

019b3844-9047-713d-93e4-7413aaee4b7e

complete
Chain ID
1
Address
0xa74642aeae3e2fd79150c910eb5368b64f864b1e
Block Number
—
Created
Fri, Dec 19, 2025 8:19 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
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted DELEGATECALL target reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
12577 artifact.fetch complete 1 / 3 3 months ago
12578 tool.cast_disasm complete 1 / 3 3 months ago
84644 analysis.bundle complete 1 / 3 1 week ago
84645 capability.graph complete 1 / 3 1 week ago
84646 detector.run complete 1 / 3 1 week ago
84647 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
6
EXT*/BALANCE
6
Total opcodes
6324
Flags
delegatecall_present heavy_ext_balance_usage
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0245
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH4 0x02605ea8
0000003a: DUP2
0000003b: EQ
0000003c: PUSH2 0x0251
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x059f8b16
00000046: EQ
00000047: PUSH2 0x0278
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x0900f010
00000051: EQ
00000052: PUSH2 0x028d
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x0bafd60e
0000005c: EQ
0000005d: PUSH2 0x02ae
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x0d6c03fa
00000067: EQ
00000068: PUSH2 0x02df
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x13af4035
00000072: EQ
00000073: PUSH2 0x02f4
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x14a0450a
0000007d: EQ
0000007e: PUSH2 0x0315
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x3314b952
00000088: EQ
00000089: PUSH2 0x032a
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x377c93bf
00000093: EQ
00000094: PUSH2 0x033f
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x3bfc1b25
0000009e: EQ
0000009f: PUSH2 0x03c9
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x3d6859f2
000000a9: EQ
000000aa: PUSH2 0x03de
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x40c0ece3
000000b4: EQ
000000b5: PUSH2 0x0420
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x427f0b00
000000bf: EQ
000000c0: PUSH2 0x0438
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x43db053e
000000ca: EQ
000000cb: PUSH2 0x04ac
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x48afd1b3
000000d5: EQ
000000d6: PUSH2 0x04c1
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x4c7ce18a
000000e0: EQ
000000e1: PUSH2 0x04f9
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x4c85b425
000000eb: EQ
000000ec: PUSH2 0x050e
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x536942b6
000000f6: EQ
000000f7: PUSH2 0x0522
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x574d6554
00000101: EQ
00000102: PUSH2 0x052a
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x57b16811
0000010c: EQ
0000010d: PUSH2 0x05c1
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0x5faf500f
00000117: EQ
00000118: PUSH2 0x05fc
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0x619360df
00000122: EQ
00000123: PUSH2 0x0611
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0x61983c02
0000012d: EQ
0000012e: PUSH2 0x0626
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0x68fab02a
00000138: EQ
00000139: PUSH2 0x063b
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0x73aff5af
00000143: EQ
00000144: PUSH2 0x0650
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0x7a9e5e4b
0000014e: EQ
0000014f: PUSH2 0x0665
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0x8da5cb5b
00000159: EQ
0000015a: PUSH2 0x0686
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0x98bf4c08
00000164: EQ
00000165: PUSH2 0x069b
00000168: JUMPI
00000169: DUP1
0000016a: PUSH4 0x9a7f027c
0000016f: EQ
00000170: PUSH2 0x06b0
00000173: JUMPI
00000174: DUP1
00000175: PUSH4 0x9b079084
0000017a: EQ
0000017b: PUSH2 0x06c5
0000017e: JUMPI
0000017f: DUP1
00000180: PUSH4 0x9e93d0e4
00000185: EQ
00000186: PUSH2 0x06da
00000189: JUMPI
0000018a: DUP1
0000018b: PUSH4 0xa2860050
00000190: EQ
00000191: PUSH2 0x06f2
00000194: JUMPI
00000195: DUP1
00000196: PUSH4 0xa44be536
0000019b: EQ
0000019c: PUSH2 0x072f
0000019f: JUMPI
000001a0: DUP1
000001a1: PUSH4 0xb017d08c
000001a6: EQ
000001a7: PUSH2 0x0744
000001aa: JUMPI
000001ab: DUP1
000001ac: PUSH4 0xbc2f45a7
000001b1: EQ
000001b2: PUSH2 0x0759
000001b5: JUMPI
000001b6: DUP1
000001b7: PUSH4 0xbd85948c
000001bc: EQ
000001bd: PUSH2 0x076e
000001c0: JUMPI
000001c1: DUP1
000001c2: PUSH4 0xbf7e214f
000001c7: EQ
000001c8: PUSH2 0x0776
000001cb: JUMPI
000001cc: DUP1
000001cd: PUSH4 0xc24a9674
000001d2: EQ
000001d3: PUSH2 0x078b
000001d6: JUMPI
000001d7: DUP1
000001d8: PUSH4 0xc28de2cd
000001dd: EQ
000001de: PUSH2 0x07a0
000001e1: JUMPI
000001e2: DUP1
000001e3: PUSH4 0xc5c87db4
000001e8: EQ
000001e9: PUSH2 0x07b5
000001ec: JUMPI
000001ed: DUP1
000001ee: PUSH4 0xc623674f
000001f3: EQ
000001f4: PUSH2 0x07d9
000001f7: JUMPI
000001f8: DUP1
000001f9: PUSH4 0xc9e18986
000001fe: EQ
000001ff: PUSH2 0x07ee
00000202: JUMPI
00000203: DUP1
00000204: PUSH4 0xcd9a1b63
00000209: EQ
0000020a: PUSH2 0x0803
0000020d: JUMPI
0000020e: DUP1
0000020f: PUSH4 0xd287e9e4
00000214: EQ
00000215: PUSH2 0x0818
00000218: JUMPI
00000219: DUP1
0000021a: PUSH4 0xf1b60408
0000021f: EQ
00000220: PUSH2 0x072f
00000223: JUMPI
00000224: DUP1
00000225: PUSH4 0xf76339dc
0000022a: EQ
0000022b: PUSH2 0x082d
0000022e: JUMPI
0000022f: DUP1
00000230: PUSH4 0xf958b9ca
00000235: EQ
00000236: PUSH2 0x0842
00000239: JUMPI
0000023a: DUP1
0000023b: PUSH4 0xfc0c546a
00000240: EQ
00000241: PUSH2 0x0857
00000244: JUMPI
00000245: JUMPDEST
00000246: PUSH2 0x024f
00000249: PUSH1 0x00
0000024b: PUSH2 0x086c
0000024e: JUMP
0000024f: JUMPDEST
00000250: STOP
00000251: JUMPDEST
00000252: CALLVALUE
00000253: DUP1
00000254: ISZERO
00000255: PUSH2 0x025d
00000258: JUMPI
00000259: PUSH1 0x00
0000025b: DUP1
0000025c: REVERT
0000025d: JUMPDEST
0000025e: POP
0000025f: PUSH2 0x0266
00000262: PUSH2 0x08fe
00000265: JUMP
00000266: JUMPDEST
00000267: PUSH1 0x40
00000269: DUP1
0000026a: MLOAD
0000026b: SWAP2
0000026c: DUP3
0000026d: MSTORE
0000026e: MLOAD
0000026f: SWAP1
00000270: DUP2
00000271: SWAP1
00000272: SUB
00000273: PUSH1 0x20
00000275: ADD
00000276: SWAP1
00000277: RETURN
00000278: JUMPDEST
00000279: CALLVALUE
0000027a: DUP1
0000027b: ISZERO
0000027c: PUSH2 0x0284
0000027f: JUMPI
00000280: PUSH1 0x00
00000282: DUP1
00000283: REVERT
00000284: JUMPDEST
00000285: POP
00000286: PUSH2 0x0266
00000289: PUSH2 0x0904
0000028c: JUMP
0000028d: JUMPDEST
0000028e: CALLVALUE
0000028f: DUP1
00000290: ISZERO
00000291: PUSH2 0x0299
00000294: JUMPI
00000295: PUSH1 0x00
00000297: DUP1
00000298: REVERT
00000299: JUMPDEST
0000029a: POP
0000029b: PUSH2 0x024f
0000029e: PUSH1 0x01
000002a0: PUSH1 0xa0
000002a2: PUSH1 0x02
000002a4: EXP
000002a5: SUB
000002a6: PUSH1 0x04
000002a8: CALLDATALOAD
000002a9: AND
000002aa: PUSH2 0x0914
000002ad: JUMP
000002ae: JUMPDEST
000002af: CALLVALUE
000002b0: DUP1
000002b1: ISZERO
000002b2: PUSH2 0x02ba
000002b5: JUMPI
000002b6: PUSH1 0x00
000002b8: DUP1
000002b9: REVERT
000002ba: JUMPDEST
000002bb: POP
000002bc: PUSH2 0x02c3
000002bf: PUSH2 0x0aa3
000002c2: JUMP
000002c3: JUMPDEST
000002c4: PUSH1 0x40
000002c6: DUP1
000002c7: MLOAD
000002c8: PUSH1 0x01
000002ca: PUSH1 0xa0
000002cc: PUSH1 0x02
000002ce: EXP
000002cf: SUB
000002d0: SWAP1
000002d1: SWAP3
000002d2: AND
000002d3: DUP3
000002d4: MSTORE
000002d5: MLOAD
000002d6: SWAP1
000002d7: DUP2
000002d8: SWAP1
000002d9: SUB
000002da: PUSH1 0x20
000002dc: ADD
000002dd: SWAP1
000002de: RETURN
000002df: JUMPDEST
000002e0: CALLVALUE
000002e1: DUP1
000002e2: ISZERO
000002e3: PUSH2 0x02eb
000002e6: JUMPI
000002e7: PUSH1 0x00
000002e9: DUP1
000002ea: REVERT
000002eb: JUMPDEST
000002ec: POP
000002ed: PUSH2 0x0266
000002f0: PUSH2 0x0ab2
000002f3: JUMP
000002f4: JUMPDEST
000002f5: CALLVALUE
000002f6: DUP1
000002f7: ISZERO
000002f8: PUSH2 0x0300
000002fb: JUMPI
000002fc: PUSH1 0x00
000002fe: DUP1
000002ff: REVERT
00000300: JUMPDEST
00000301: POP
00000302: PUSH2 0x024f
00000305: PUSH1 0x01
00000307: PUSH1 0xa0
00000309: PUSH1 0x02
0000030b: EXP
0000030c: SUB
0000030d: PUSH1 0x04
0000030f: CALLDATALOAD
00000310: AND
00000311: PUSH2 0x0ab8
00000314: JUMP
00000315: JUMPDEST
00000316: CALLVALUE
00000317: DUP1
00000318: ISZERO
00000319: PUSH2 0x0321
0000031c: JUMPI
0000031d: PUSH1 0x00
0000031f: DUP1
00000320: REVERT
00000321: JUMPDEST
00000322: POP
00000323: PUSH2 0x0266
00000326: PUSH2 0x0b36
00000329: JUMP
0000032a: JUMPDEST
0000032b: CALLVALUE
0000032c: DUP1
0000032d: ISZERO
0000032e: PUSH2 0x0336
00000331: JUMPI
00000332: PUSH1 0x00
00000334: DUP1
00000335: REVERT
00000336: JUMPDEST
00000337: POP
00000338: PUSH2 0x0266
0000033b: PUSH2 0x0b3b
0000033e: JUMP
0000033f: JUMPDEST
00000340: CALLVALUE
00000341: DUP1
00000342: ISZERO
00000343: PUSH2 0x034b
00000346: JUMPI
00000347: PUSH1 0x00
00000349: DUP1
0000034a: REVERT
0000034b: JUMPDEST
0000034c: POP
0000034d: PUSH2 0x0354
00000350: PUSH2 0x0b41
00000353: JUMP
00000354: JUMPDEST
00000355: PUSH1 0x40
00000357: DUP1
00000358: MLOAD
00000359: PUSH1 0x20
0000035b: DUP1
0000035c: DUP3
0000035d: MSTORE
0000035e: DUP4
0000035f: MLOAD
00000360: DUP2
00000361: DUP4
00000362: ADD
00000363: MSTORE
00000364: DUP4
00000365: MLOAD
00000366: SWAP2
00000367: SWAP3
00000368: DUP4
00000369: SWAP3
0000036a: SWAP1
0000036b: DUP4
0000036c: ADD
0000036d: SWAP2
0000036e: DUP6
0000036f: ADD
00000370: SWAP1
00000371: DUP1
00000372: DUP4
00000373: DUP4
00000374: PUSH1 0x00
00000376: JUMPDEST
00000377: DUP4
00000378: DUP2
00000379: LT
0000037a: ISZERO
0000037b: PUSH2 0x038e
0000037e: JUMPI
0000037f: DUP2
00000380: DUP2
00000381: ADD
00000382: MLOAD
00000383: DUP4
00000384: DUP3
00000385: ADD
00000386: MSTORE
00000387: PUSH1 0x20
00000389: ADD
0000038a: PUSH2 0x0376
0000038d: JUMP
0000038e: JUMPDEST
0000038f: POP
00000390: POP
00000391: POP
00000392: POP
00000393: SWAP1
00000394: POP
00000395: SWAP1
00000396: DUP2
00000397: ADD
00000398: SWAP1
00000399: PUSH1 0x1f
0000039b: AND
0000039c: DUP1
0000039d: ISZERO
0000039e: PUSH2 0x03bb
000003a1: JUMPI
000003a2: DUP1
000003a3: DUP3
000003a4: SUB
000003a5: DUP1
000003a6: MLOAD
000003a7: PUSH1 0x01
000003a9: DUP4
000003aa: PUSH1 0x20
000003ac: SUB
000003ad: PUSH2 0x0100
000003b0: EXP
000003b1: SUB
000003b2: NOT
000003b3: AND
000003b4: DUP2
000003b5: MSTORE
000003b6: PUSH1 0x20
000003b8: ADD
000003b9: SWAP2
000003ba: POP
000003bb: JUMPDEST
000003bc: POP
000003bd: SWAP3
000003be: POP
000003bf: POP
000003c0: POP
000003c1: PUSH1 0x40
000003c3: MLOAD
000003c4: DUP1
000003c5: SWAP2
000003c6: SUB
000003c7: SWAP1
000003c8: RETURN
000003c9: JUMPDEST
000003ca: CALLVALUE
000003cb: DUP1
000003cc: ISZERO
000003cd: PUSH2 0x03d5
000003d0: JUMPI
000003d1: PUSH1 0x00
000003d3: DUP1
000003d4: REVERT
000003d5: JUMPDEST
000003d6: POP
000003d7: PUSH2 0x0266
000003da: PUSH2 0x0bcf
000003dd: JUMP
000003de: JUMPDEST
000003df: CALLVALUE
000003e0: DUP1
000003e1: ISZERO
000003e2: PUSH2 0x03ea
000003e5: JUMPI
000003e6: PUSH1 0x00
000003e8: DUP1
000003e9: REVERT
000003ea: JUMPDEST
000003eb: POP
000003ec: PUSH2 0x0402
000003ef: PUSH1 0x01
000003f1: PUSH1 0xa0
000003f3: PUSH1 0x02
000003f5: EXP
000003f6: SUB
000003f7: PUSH1 0x04
000003f9: CALLDATALOAD
000003fa: AND
000003fb: PUSH1 0x24
000003fd: CALLDATALOAD
000003fe: PUSH2 0x0bd5
00000401: JUMP
00000402: JUMPDEST
00000403: PUSH1 0x40
00000405: DUP1
00000406: MLOAD
00000407: SWAP4
00000408: DUP5
00000409: MSTORE
0000040a: PUSH1 0x20
0000040c: DUP5
0000040d: ADD
0000040e: SWAP3
0000040f: SWAP1
00000410: SWAP3
00000411: MSTORE
00000412: DUP3
00000413: DUP3
00000414: ADD
00000415: MSTORE
00000416: MLOAD
00000417: SWAP1
00000418: DUP2
00000419: SWAP1
0000041a: SUB
0000041b: PUSH1 0x60
0000041d: ADD
0000041e: SWAP1
0000041f: RETURN
00000420: JUMPDEST
00000421: CALLVALUE
00000422: DUP1
00000423: ISZERO
00000424: PUSH2 0x042c
00000427: JUMPI
00000428: PUSH1 0x00
0000042a: DUP1
0000042b: REVERT
0000042c: JUMPDEST
0000042d: POP
0000042e: PUSH2 0x024f
00000431: PUSH1 0x04
00000433: CALLDATALOAD
00000434: PUSH2 0x0c31
00000437: JUMP
00000438: JUMPDEST
00000439: CALLVALUE
0000043a: DUP1
0000043b: ISZERO
0000043c: PUSH2 0x0444
0000043f: JUMPI
00000440: PUSH1 0x00
00000442: DUP1
00000443: REVERT
00000444: JUMPDEST
00000445: POP
00000446: PUSH2 0x0450
00000449: PUSH1 0x04
0000044b: CALLDATALOAD
0000044c: PUSH2 0x0c5c
0000044f: JUMP
00000450: JUMPDEST
00000451: PUSH1 0x40
00000453: DUP1
00000454: MLOAD
00000455: PUSH1 0x01
00000457: PUSH1 0xa0
00000459: PUSH1 0x02
0000045b: EXP
0000045c: SUB
0000045d: SWAP1
0000045e: SWAP12
0000045f: AND
00000460: DUP12
00000461: MSTORE
00000462: PUSH1 0x20
00000464: DUP12
00000465: ADD
00000466: SWAP10
00000467: SWAP1
00000468: SWAP10
00000469: MSTORE
0000046a: DUP10
0000046b: DUP10
0000046c: ADD
0000046d: SWAP8
0000046e: SWAP1
0000046f: SWAP8
00000470: MSTORE
00000471: PUSH1 0x60
00000473: DUP10
00000474: ADD
00000475: SWAP6
00000476: SWAP1
00000477: SWAP6
00000478: MSTORE
00000479: PUSH1 0x80
0000047b: DUP9
0000047c: ADD
0000047d: SWAP4
0000047e: SWAP1
0000047f: SWAP4
00000480: MSTORE
00000481: PUSH1 0xa0
00000483: DUP8
00000484: ADD
00000485: SWAP2
00000486: SWAP1
00000487: SWAP2
00000488: MSTORE
00000489: PUSH1 0xc0
0000048b: DUP7
0000048c: ADD
0000048d: MSTORE
0000048e: PUSH1 0xe0
00000490: DUP6
00000491: ADD
00000492: MSTORE
00000493: PUSH2 0x0100
00000496: DUP5
00000497: ADD
00000498: MSTORE
00000499: ISZERO
0000049a: ISZERO
0000049b: PUSH2 0x0120
0000049e: DUP4
0000049f: ADD
000004a0: MSTORE
000004a1: MLOAD
000004a2: SWAP1
000004a3: DUP2
000004a4: SWAP1
000004a5: SUB
000004a6: PUSH2 0x0140
000004a9: ADD
000004aa: SWAP1
000004ab: RETURN
000004ac: JUMPDEST
000004ad: CALLVALUE
000004ae: DUP1
000004af: ISZERO
000004b0: PUSH2 0x04b8
000004b3: JUMPI
000004b4: PUSH1 0x00
000004b6: DUP1
000004b7: REVERT
000004b8: JUMPDEST
000004b9: POP
000004ba: PUSH2 0x024f
000004bd: PUSH2 0x0d11
000004c0: JUMP
000004c1: JUMPDEST
000004c2: CALLVALUE
000004c3: DUP1
000004c4: ISZERO
000004c5: PUSH2 0x04cd
000004c8: JUMPI
000004c9: PUSH1 0x00
000004cb: DUP1
000004cc: REVERT
000004cd: JUMPDEST
000004ce: POP
000004cf: PUSH2 0x04e5
000004d2: PUSH1 0x01
000004d4: PUSH1 0xa0
000004d6: PUSH1 0x02
000004d8: EXP
000004d9: SUB
000004da: PUSH1 0x04
000004dc: CALLDATALOAD
000004dd: AND
000004de: PUSH1 0x24
000004e0: CALLDATALOAD
000004e1: PUSH2 0x0d6d
000004e4: JUMP
000004e5: JUMPDEST
000004e6: PUSH1 0x40
000004e8: DUP1
000004e9: MLOAD
000004ea: SWAP2
000004eb: ISZERO
000004ec: ISZERO
000004ed: DUP3
000004ee: MSTORE
000004ef: MLOAD
000004f0: SWAP1
000004f1: DUP2
000004f2: SWAP1
000004f3: SUB
000004f4: PUSH1 0x20
000004f6: ADD
000004f7: SWAP1
000004f8: RETURN
000004f9: JUMPDEST
000004fa: CALLVALUE
000004fb: DUP1
000004fc: ISZERO
000004fd: PUSH2 0x0505
00000500: JUMPI
00000501: PUSH1 0x00
00000503: DUP1
00000504: REVERT
00000505: JUMPDEST
00000506: POP
00000507: PUSH2 0x024f
0000050a: PUSH2 0x0db9
0000050d: JUMP
0000050e: JUMPDEST
0000050f: PUSH2 0x024f
00000512: PUSH1 0x01
00000514: PUSH1 0xa0
00000516: PUSH1 0x02
00000518: EXP
00000519: SUB
0000051a: PUSH1 0x04
0000051c: CALLDATALOAD
0000051d: AND
0000051e: PUSH2 0x086c
00000521: JUMP
00000522: JUMPDEST
00000523: PUSH2 0x024f
00000526: PUSH2 0x0f42
00000529: JUMP
0000052a: JUMPDEST
0000052b: CALLVALUE
0000052c: DUP1
0000052d: ISZERO
0000052e: PUSH2 0x0536
00000531: JUMPI
00000532: PUSH1 0x00
00000534: DUP1
00000535: REVERT
00000536: JUMPDEST
00000537: POP
00000538: PUSH1 0x40
0000053a: DUP1
0000053b: MLOAD
0000053c: PUSH1 0x20
0000053e: PUSH1 0x04
00000540: DUP1
00000541: CALLDATALOAD
00000542: DUP1
00000543: DUP3
00000544: ADD
00000545: CALLDATALOAD
00000546: PUSH1 0x1f
00000548: DUP2
00000549: ADD
0000054a: DUP5
0000054b: SWAP1
0000054c: DIV
0000054d: DUP5
0000054e: MUL
0000054f: DUP6
00000550: ADD
00000551: DUP5
00000552: ADD
00000553: SWAP1
00000554: SWAP6
00000555: MSTORE
00000556: DUP5
00000557: DUP5
00000558: MSTORE
00000559: PUSH2 0x024f
0000055c: SWAP5
0000055d: CALLDATASIZE
0000055e: SWAP5
0000055f: SWAP3
00000560: SWAP4
00000561: PUSH1 0x24
00000563: SWAP4
00000564: SWAP3
00000565: DUP5
00000566: ADD
00000567: SWAP2
00000568: SWAP1
00000569: DUP2
0000056a: SWAP1
0000056b: DUP5
0000056c: ADD
0000056d: DUP4
0000056e: DUP3
0000056f: DUP1
00000570: DUP3
00000571: DUP5
00000572: CALLDATACOPY
00000573: POP
00000574: POP
00000575: PUSH1 0x40
00000577: DUP1
00000578: MLOAD
00000579: PUSH1 0x20
0000057b: PUSH1 0x1f
0000057d: DUP10
0000057e: CALLDATALOAD
0000057f: DUP12
00000580: ADD
00000581: DUP1
00000582: CALLDATALOAD
00000583: SWAP2
00000584: DUP3
00000585: ADD
00000586: DUP4
00000587: SWAP1
00000588: DIV
00000589: DUP4
0000058a: MUL
0000058b: DUP5
0000058c: ADD
0000058d: DUP4
0000058e: ADD
0000058f: SWAP1
00000590: SWAP5
00000591: MSTORE
00000592: DUP1
00000593: DUP4
00000594: MSTORE
00000595: SWAP8
00000596: SWAP11
00000597: SWAP10
00000598: SWAP9
00000599: DUP2
0000059a: ADD
0000059b: SWAP8
0000059c: SWAP2
0000059d: SWAP7
0000059e: POP
0000059f: SWAP2
000005a0: DUP3
000005a1: ADD
000005a2: SWAP5
000005a3: POP
000005a4: SWAP3
000005a5: POP
000005a6: DUP3
000005a7: SWAP2
000005a8: POP
000005a9: DUP5
000005aa: ADD
000005ab: DUP4
000005ac: DUP3
000005ad: DUP1
000005ae: DUP3
000005af: DUP5
000005b0: CALLDATACOPY
000005b1: POP
000005b2: SWAP5
000005b3: SWAP8
000005b4: POP
000005b5: PUSH2 0x0f54
000005b8: SWAP7
000005b9: POP
000005ba: POP
000005bb: POP
000005bc: POP
000005bd: POP
000005be: POP
000005bf: POP
000005c0: JUMP
000005c1: JUMPDEST
000005c2: CALLVALUE
000005c3: DUP1
000005c4: ISZERO
000005c5: PUSH2 0x05cd
000005c8: JUMPI
000005c9: PUSH1 0x00
000005cb: DUP1
000005cc: REVERT
000005cd: JUMPDEST
000005ce: POP
000005cf: PUSH2 0x05d6
000005d2: PUSH2 0x10a1
000005d5: JUMP
000005d6: JUMPDEST
000005d7: PUSH1 0x40
000005d9: DUP1
000005da: MLOAD
000005db: SWAP5
000005dc: DUP6
000005dd: MSTORE
000005de: PUSH1 0x20
000005e0: DUP6
000005e1: ADD
000005e2: SWAP4
000005e3: SWAP1
000005e4: SWAP4
000005e5: MSTORE
000005e6: DUP4
000005e7: DUP4
000005e8: ADD
000005e9: SWAP2
000005ea: SWAP1
000005eb: SWAP2
000005ec: MSTORE
000005ed: PUSH1 0x60
000005ef: DUP4
000005f0: ADD
000005f1: MSTORE
000005f2: MLOAD
000005f3: SWAP1
000005f4: DUP2
000005f5: SWAP1
000005f6: SUB
000005f7: PUSH1 0x80
000005f9: ADD
000005fa: SWAP1
000005fb: RETURN
000005fc: JUMPDEST
000005fd: CALLVALUE
000005fe: DUP1
000005ff: ISZERO
00000600: PUSH2 0x0608
00000603: JUMPI
00000604: PUSH1 0x00
00000606: DUP1
00000607: REVERT
00000608: JUMPDEST
00000609: POP
0000060a: PUSH2 0x0266
0000060d: PUSH2 0x113a
00000610: JUMP
00000611: JUMPDEST
00000612: CALLVALUE
00000613: DUP1
00000614: ISZERO
00000615: PUSH2 0x061d
00000618: JUMPI
00000619: PUSH1 0x00
0000061b: DUP1
0000061c: REVERT
0000061d: JUMPDEST
0000061e: POP
0000061f: PUSH2 0x0266
00000622: PUSH2 0x1145
00000625: JUMP
00000626: JUMPDEST
00000627: CALLVALUE
00000628: DUP1
00000629: ISZERO
0000062a: PUSH2 0x0632
0000062d: JUMPI
0000062e: PUSH1 0x00
00000630: DUP1
00000631: REVERT
00000632: JUMPDEST
00000633: POP
00000634: PUSH2 0x0266
00000637: PUSH2 0x114b
0000063a: JUMP
0000063b: JUMPDEST
0000063c: CALLVALUE
0000063d: DUP1
0000063e: ISZERO
0000063f: PUSH2 0x0647
00000642: JUMPI
00000643: PUSH1 0x00
00000645: DUP1
00000646: REVERT
00000647: JUMPDEST
00000648: POP
00000649: PUSH2 0x0266
0000064c: PUSH2 0x1157
0000064f: JUMP
00000650: JUMPDEST
00000651: CALLVALUE
00000652: DUP1
00000653: ISZERO
00000654: PUSH2 0x065c
00000657: JUMPI
00000658: PUSH1 0x00
0000065a: DUP1
0000065b: REVERT
0000065c: JUMPDEST
0000065d: POP
0000065e: PUSH2 0x0266
00000661: PUSH2 0x115e
00000664: JUMP
00000665: JUMPDEST
00000666: CALLVALUE
00000667: DUP1
00000668: ISZERO
00000669: PUSH2 0x0671
0000066c: JUMPI
0000066d: PUSH1 0x00
0000066f: DUP1
00000670: REVERT
00000671: JUMPDEST
00000672: POP
00000673: PUSH2 0x024f
00000676: PUSH1 0x01
00000678: PUSH1 0xa0
0000067a: PUSH1 0x02
0000067c: EXP
0000067d: SUB
0000067e: PUSH1 0x04
00000680: CALLDATALOAD
00000681: AND
00000682: PUSH2 0x1164
00000685: JUMP
00000686: JUMPDEST
00000687: CALLVALUE
00000688: DUP1
00000689: ISZERO
0000068a: PUSH2 0x0692
0000068d: JUMPI
0000068e: PUSH1 0x00
00000690: DUP1
00000691: REVERT
00000692: JUMPDEST
00000693: POP
00000694: PUSH2 0x02c3
00000697: PUSH2 0x11de
0000069a: JUMP
0000069b: JUMPDEST
0000069c: CALLVALUE
0000069d: DUP1
0000069e: ISZERO
0000069f: PUSH2 0x06a7
000006a2: JUMPI
000006a3: PUSH1 0x00
000006a5: DUP1
000006a6: REVERT
000006a7: JUMPDEST
000006a8: POP
000006a9: PUSH2 0x0266
000006ac: PUSH2 0x11ed
000006af: JUMP
000006b0: JUMPDEST
000006b1: CALLVALUE
000006b2: DUP1
000006b3: ISZERO
000006b4: PUSH2 0x06bc
000006b7: JUMPI
000006b8: PUSH1 0x00
000006ba: DUP1
000006bb: REVERT
000006bc: JUMPDEST
000006bd: POP
000006be: PUSH2 0x0266
000006c1: PUSH2 0x11f8
000006c4: JUMP
000006c5: JUMPDEST
000006c6: CALLVALUE
000006c7: DUP1
000006c8: ISZERO
000006c9: PUSH2 0x06d1
000006cc: JUMPI
000006cd: PUSH1 0x00
000006cf: DUP1
000006d0: REVERT
000006d1: JUMPDEST
000006d2: POP
000006d3: PUSH2 0x0266
000006d6: PUSH2 0x1204
000006d9: JUMP
000006da: JUMPDEST
000006db: CALLVALUE
000006dc: DUP1
000006dd: ISZERO
000006de: PUSH2 0x06e6
000006e1: JUMPI
000006e2: PUSH1 0x00
000006e4: DUP1
000006e5: REVERT
000006e6: JUMPDEST
000006e7: POP
000006e8: PUSH2 0x024f
000006eb: PUSH1 0x04
000006ed: CALLDATALOAD
000006ee: PUSH2 0x120b
000006f1: JUMP
000006f2: JUMPDEST
000006f3: CALLVALUE
000006f4: DUP1
000006f5: ISZERO
000006f6: PUSH2 0x06fe
000006f9: JUMPI
000006fa: PUSH1 0x00
000006fc: DUP1
000006fd: REVERT
000006fe: JUMPDEST
000006ff: POP
00000700: PUSH2 0x0716
00000703: PUSH1 0x01
00000705: PUSH1 0xa0
00000707: PUSH1 0x02
00000709: EXP
0000070a: SUB
0000070b: PUSH1 0x04
0000070d: CALLDATALOAD
0000070e: AND
0000070f: PUSH1 0x24
00000711: CALLDATALOAD
00000712: PUSH2 0x1216
00000715: JUMP
00000716: JUMPDEST
00000717: PUSH1 0x40
00000719: DUP1
0000071a: MLOAD
0000071b: SWAP3
0000071c: DUP4
0000071d: MSTORE
0000071e: PUSH1 0x20
00000720: DUP4
00000721: ADD
00000722: SWAP2
00000723: SWAP1
00000724: SWAP2
00000725: MSTORE
00000726: DUP1
00000727: MLOAD
00000728: SWAP2
00000729: DUP3
0000072a: SWAP1
0000072b: SUB
0000072c: ADD
0000072d: SWAP1
0000072e: RETURN
0000072f: JUMPDEST
00000730: CALLVALUE
00000731: DUP1
00000732: ISZERO
00000733: PUSH2 0x073b
00000736: JUMPI
00000737: PUSH1 0x00
00000739: DUP1
0000073a: REVERT
0000073b: JUMPDEST
0000073c: POP
0000073d: PUSH2 0x0266
00000740: PUSH2 0x12c8
00000743: JUMP
00000744: JUMPDEST
00000745: CALLVALUE
00000746: DUP1
00000747: ISZERO
00000748: PUSH2 0x0750
0000074b: JUMPI
0000074c: PUSH1 0x00
0000074e: DUP1
0000074f: REVERT
00000750: JUMPDEST
00000751: POP
00000752: PUSH2 0x0266
00000755: PUSH2 0x12d8
00000758: JUMP
00000759: JUMPDEST
0000075a: CALLVALUE
0000075b: DUP1
0000075c: ISZERO
0000075d: PUSH2 0x0765
00000760: JUMPI
00000761: PUSH1 0x00
00000763: DUP1
00000764: REVERT
00000765: JUMPDEST
00000766: POP
00000767: PUSH2 0x0266
0000076a: PUSH2 0x12e4
0000076d: JUMP
0000076e: JUMPDEST
0000076f: PUSH2 0x024f
00000772: PUSH2 0x12f4
00000775: JUMP
00000776: JUMPDEST
00000777: CALLVALUE
00000778: DUP1
00000779: ISZERO
0000077a: PUSH2 0x0782
0000077d: JUMPI
0000077e: PUSH1 0x00
00000780: DUP1
00000781: REVERT
00000782: JUMPDEST
00000783: POP
00000784: PUSH2 0x02c3
00000787: PUSH2 0x153c
0000078a: JUMP
0000078b: JUMPDEST
0000078c: CALLVALUE
0000078d: DUP1
0000078e: ISZERO
0000078f: PUSH2 0x0797
00000792: JUMPI
00000793: PUSH1 0x00
00000795: DUP1
00000796: REVERT
00000797: JUMPDEST
00000798: POP
00000799: PUSH2 0x024f
0000079c: PUSH2 0x154b
0000079f: JUMP
000007a0: JUMPDEST
000007a1: CALLVALUE
000007a2: DUP1
000007a3: ISZERO
000007a4: PUSH2 0x07ac
000007a7: JUMPI
000007a8: PUSH1 0x00
000007aa: DUP1
000007ab: REVERT
000007ac: JUMPDEST
000007ad: POP
000007ae: PUSH2 0x04e5
000007b1: PUSH2 0x1577
000007b4: JUMP
000007b5: JUMPDEST
000007b6: CALLVALUE
000007b7: DUP1
000007b8: ISZERO
000007b9: PUSH2 0x07c1
000007bc: JUMPI
000007bd: PUSH1 0x00
000007bf: DUP1
000007c0: REVERT
000007c1: JUMPDEST
000007c2: POP
000007c3: PUSH2 0x024f
000007c6: PUSH1 0x04
000007c8: CALLDATALOAD
000007c9: PUSH1 0x01
000007cb: PUSH1 0xa0
000007cd: PUSH1 0x02
000007cf: EXP
000007d0: SUB
000007d1: PUSH1 0x24
000007d3: CALLDATALOAD
000007d4: AND
000007d5: PUSH2 0x1587
000007d8: JUMP
000007d9: JUMPDEST
000007da: CALLVALUE
000007db: DUP1
000007dc: ISZERO
000007dd: PUSH2 0x07e5
000007e0: JUMPI
000007e1: PUSH1 0x00
000007e3: DUP1
000007e4: REVERT
000007e5: JUMPDEST
000007e6: POP
000007e7: PUSH2 0x0354
000007ea: PUSH2 0x1687
000007ed: JUMP
000007ee: JUMPDEST
000007ef: CALLVALUE
000007f0: DUP1
000007f1: ISZERO
000007f2: PUSH2 0x07fa
000007f5: JUMPI
000007f6: PUSH1 0x00
000007f8: DUP1
000007f9: REVERT
000007fa: JUMPDEST
000007fb: POP
000007fc: PUSH2 0x0266
000007ff: PUSH2 0x16df
00000802: JUMP
00000803: JUMPDEST
00000804: CALLVALUE
00000805: DUP1
00000806: ISZERO
00000807: PUSH2 0x080f
0000080a: JUMPI
0000080b: PUSH1 0x00
0000080d: DUP1
0000080e: REVERT
0000080f: JUMPDEST
00000810: POP
00000811: PUSH2 0x0266
00000814: PUSH2 0x16e5
00000817: JUMP
00000818: JUMPDEST
00000819: CALLVALUE
0000081a: DUP1
0000081b: ISZERO
0000081c: PUSH2 0x0824
0000081f: JUMPI
00000820: PUSH1 0x00
00000822: DUP1
00000823: REVERT
00000824: JUMPDEST
00000825: POP
00000826: PUSH2 0x0266
00000829: PUSH2 0x16eb
0000082c: JUMP
0000082d: JUMPDEST
0000082e: CALLVALUE
0000082f: DUP1
00000830: ISZERO
00000831: PUSH2 0x0839
00000834: JUMPI
00000835: PUSH1 0x00
00000837: DUP1
00000838: REVERT
00000839: JUMPDEST
0000083a: POP
0000083b: PUSH2 0x0266
0000083e: PUSH2 0x16f1
00000841: JUMP
00000842: JUMPDEST
00000843: CALLVALUE
00000844: DUP1
00000845: ISZERO
00000846: PUSH2 0x084e
00000849: JUMPI
0000084a: PUSH1 0x00
0000084c: DUP1
0000084d: REVERT
0000084e: JUMPDEST
0000084f: POP
00000850: PUSH2 0x0266
00000853: PUSH2 0x16f7
00000856: JUMP
00000857: JUMPDEST
00000858: CALLVALUE
00000859: DUP1
0000085a: ISZERO
0000085b: PUSH2 0x0863
0000085e: JUMPI
0000085f: PUSH1 0x00
00000861: DUP1
00000862: REVERT
00000863: JUMPDEST
00000864: POP
00000865: PUSH2 0x02c3
00000868: PUSH2 0x16fd
0000086b: JUMP
0000086c: JUMPDEST
0000086d: PUSH1 0x10
0000086f: SLOAD
00000870: PUSH1 0x00
00000872: SWAP1
00000873: DUP2
00000874: LT
00000875: ISZERO
00000876: PUSH2 0x08aa
00000879: JUMPI
0000087a: PUSH1 0x10
0000087c: PUSH1 0x0f
0000087e: SLOAD
0000087f: DUP2
00000880: SLOAD
00000881: DUP2
00000882: LT
00000883: ISZERO
00000884: ISZERO
00000885: PUSH2 0x088a
00000888: JUMPI
00000889: INVALID
0000088a: JUMPDEST
0000088b: SWAP1
0000088c: PUSH1 0x00
0000088e: MSTORE
0000088f: PUSH1 0x20
00000891: PUSH1 0x00
00000893: KECCAK256
00000894: SWAP1
00000895: PUSH1 0x0b
00000897: MUL
00000898: ADD
00000899: SWAP1
0000089a: POP
0000089b: PUSH2 0x08a5
0000089e: DUP2
0000089f: CALLVALUE
000008a0: DUP5
000008a1: PUSH2 0x170c
000008a4: JUMP
000008a5: JUMPDEST
000008a6: PUSH2 0x08fa
000008a9: JUMP
000008aa: JUMPDEST
000008ab: PUSH1 0x40
000008ad: DUP1
000008ae: MLOAD
000008af: PUSH1 0xe5
000008b1: PUSH1 0x02
000008b3: EXP
000008b4: PUSH3 0x461bcd
000008b8: MUL
000008b9: DUP2
000008ba: MSTORE
000008bb: PUSH1 0x20
000008bd: PUSH1 0x04
000008bf: DUP3
000008c0: ADD
000008c1: MSTORE
000008c2: PUSH1 0x0f
000008c4: PUSH1 0x24
000008c6: DUP3
000008c7: ADD
000008c8: MSTORE
000008c9: PUSH32 0x4e6f742079657420737461727465640000000000000000000000000000000000
000008ea: PUSH1 0x44
000008ec: DUP3
000008ed: ADD
000008ee: MSTORE
000008ef: SWAP1
000008f0: MLOAD
000008f1: SWAP1
000008f2: DUP2
000008f3: SWAP1
000008f4: SUB
000008f5: PUSH1 0x64
000008f7: ADD
000008f8: SWAP1
000008f9: REVERT
000008fa: JUMPDEST
000008fb: POP
000008fc: POP
000008fd: JUMP
000008fe: JUMPDEST
000008ff: PUSH1 0x0c
00000901: SLOAD
00000902: DUP2
00000903: JUMP
00000904: JUMPDEST
00000905: PUSH12 0x033b2e3c9fd0803ce8000000
00000912: DUP2
00000913: JUMP
00000914: JUMPDEST
00000915: PUSH2 0x092a
00000918: CALLER
00000919: PUSH1 0x00
0000091b: CALLDATALOAD
0000091c: PUSH1 0x01
0000091e: PUSH1 0xe0
00000920: PUSH1 0x02
00000922: EXP
00000923: SUB
00000924: NOT
00000925: AND
00000926: PUSH2 0x193a
00000929: JUMP
0000092a: JUMPDEST
0000092b: ISZERO
0000092c: ISZERO
0000092d: PUSH2 0x0935
00000930: JUMPI
00000931: PUSH1 0x00
00000933: DUP1
00000934: REVERT
00000935: JUMPDEST
00000936: PUSH1 0x01
00000938: PUSH1 0xa0
0000093a: PUSH1 0x02
0000093c: EXP
0000093d: SUB
0000093e: DUP2
0000093f: AND
00000940: ISZERO
00000941: ISZERO
00000942: PUSH2 0x0995
00000945: JUMPI
00000946: PUSH1 0x40
00000948: DUP1
00000949: MLOAD
0000094a: PUSH1 0xe5
0000094c: PUSH1 0x02
0000094e: EXP
0000094f: PUSH3 0x461bcd
00000953: MUL
00000954: DUP2
00000955: MSTORE
00000956: PUSH1 0x20
00000958: PUSH1 0x04
0000095a: DUP3
0000095b: ADD
0000095c: MSTORE
0000095d: PUSH1 0x10
0000095f: PUSH1 0x24
00000961: DUP3
00000962: ADD
00000963: MSTORE
00000964: PUSH32 0x496e76616c696420416464726573732100000000000000000000000000000000
00000985: PUSH1 0x44
00000987: DUP3
00000988: ADD
00000989: MSTORE
0000098a: SWAP1
0000098b: MLOAD
0000098c: SWAP1
0000098d: DUP2
0000098e: SWAP1
0000098f: SUB
00000990: PUSH1 0x64
00000992: ADD
00000993: SWAP1
00000994: REVERT
00000995: JUMPDEST
00000996: PUSH1 0x04
00000998: SLOAD
00000999: PUSH1 0xa0
0000099b: PUSH1 0x02
0000099d: EXP
0000099e: SWAP1
0000099f: DIV
000009a0: PUSH1 0xff
000009a2: AND
000009a3: ISZERO
000009a4: PUSH2 0x09f7
000009a7: JUMPI
000009a8: PUSH1 0x40
000009aa: DUP1
000009ab: MLOAD
000009ac: PUSH1 0xe5
000009ae: PUSH1 0x02
000009b0: EXP
000009b1: PUSH3 0x461bcd
000009b5: MUL
000009b6: DUP2
000009b7: MSTORE
000009b8: PUSH1 0x20
000009ba: PUSH1 0x04
000009bc: DUP3
000009bd: ADD
000009be: MSTORE
000009bf: PUSH1 0x11
000009c1: PUSH1 0x24
000009c3: DUP3
000009c4: ADD
000009c5: MSTORE
000009c6: PUSH32 0x416c726561647920757067726164656421000000000000000000000000000000
000009e7: PUSH1 0x44
000009e9: DUP3
000009ea: ADD
000009eb: MSTORE
000009ec: SWAP1
000009ed: MLOAD
000009ee: SWAP1
000009ef: DUP2
000009f0: SWAP1
000009f1: SUB
000009f2: PUSH1 0x64
000009f4: ADD
000009f5: SWAP1
000009f6: REVERT
000009f7: JUMPDEST
000009f8: PUSH1 0x04
000009fa: DUP1
000009fb: SLOAD
000009fc: PUSH21 0xff0000000000000000000000000000000000000000
00000a12: NOT
00000a13: AND
00000a14: PUSH1 0xa0
00000a16: PUSH1 0x02
00000a18: EXP
00000a19: OR
00000a1a: SWAP1
00000a1b: SSTORE
00000a1c: PUSH1 0x05
00000a1e: DUP1
00000a1f: SLOAD
00000a20: PUSH1 0x01
00000a22: PUSH1 0xa0
00000a24: PUSH1 0x02
00000a26: EXP
00000a27: SUB
00000a28: DUP4
00000a29: AND
00000a2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a3f: NOT
00000a40: SWAP1
00000a41: SWAP2
00000a42: AND
00000a43: OR
00000a44: SWAP1
00000a45: SSTORE
00000a46: PUSH1 0x0f
00000a48: SLOAD
00000a49: PUSH1 0x10
00000a4b: DUP1
00000a4c: SLOAD
00000a4d: SWAP1
00000a4e: SWAP2
00000a4f: SWAP1
00000a50: DUP2
00000a51: LT
00000a52: PUSH2 0x0a57
00000a55: JUMPI
00000a56: INVALID
00000a57: JUMPDEST
00000a58: SWAP1
00000a59: PUSH1 0x00
00000a5b: MSTORE
00000a5c: PUSH1 0x20
00000a5e: PUSH1 0x00
00000a60: KECCAK256
00000a61: SWAP1
00000a62: PUSH1 0x0b
00000a64: MUL
00000a65: ADD
00000a66: PUSH1 0x09
00000a68: ADD
00000a69: PUSH1 0x14
00000a6b: SWAP1
00000a6c: SLOAD
00000a6d: SWAP1
00000a6e: PUSH2 0x0100
00000a71: EXP
00000a72: SWAP1
00000a73: DIV
00000a74: PUSH1 0xff
00000a76: AND
00000a77: ISZERO
00000a78: PUSH2 0x0aa0
00000a7b: JUMPI
00000a7c: PUSH1 0x0a
00000a7e: DUP1
00000a7f: SLOAD
00000a80: PUSH1 0x05
00000a82: SLOAD
00000a83: PUSH1 0x01
00000a85: PUSH1 0xa0
00000a87: PUSH1 0x02
00000a89: EXP
00000a8a: SUB
00000a8b: AND
00000a8c: PUSH1 0x00
00000a8e: SWAP1
00000a8f: DUP2
00000a90: MSTORE
00000a91: PUSH1 0x0e
00000a93: PUSH1 0x20
00000a95: MSTORE
00000a96: PUSH1 0x40
00000a98: DUP2
00000a99: KECCAK256
00000a9a: SWAP2
00000a9b: SWAP1
00000a9c: SWAP2
00000a9d: SSTORE
00000a9e: SWAP1
00000a9f: SSTORE
00000aa0: JUMPDEST
00000aa1: POP
00000aa2: JUMP
00000aa3: JUMPDEST
00000aa4: PUSH1 0x05
00000aa6: SLOAD
00000aa7: PUSH1 0x01
00000aa9: PUSH1 0xa0
00000aab: PUSH1 0x02
00000aad: EXP
00000aae: SUB
00000aaf: AND
00000ab0: DUP2
00000ab1: JUMP
00000ab2: JUMPDEST
00000ab3: PUSH1 0x0d
00000ab5: SLOAD
00000ab6: DUP2
00000ab7: JUMP
00000ab8: JUMPDEST
00000ab9: PUSH2 0x0ace
00000abc: CALLER
00000abd: PUSH1 0x00
00000abf: CALLDATALOAD
00000ac0: PUSH1 0x01
00000ac2: PUSH1 0xe0
00000ac4: PUSH1 0x02
00000ac6: EXP
00000ac7: SUB
00000ac8: NOT
00000ac9: AND
00000aca: PUSH2 0x193a
00000acd: JUMP
00000ace: JUMPDEST
00000acf: ISZERO
00000ad0: ISZERO
00000ad1: PUSH2 0x0ad9
00000ad4: JUMPI
00000ad5: PUSH1 0x00
00000ad7: DUP1
00000ad8: REVERT
00000ad9: JUMPDEST
00000ada: PUSH1 0x01
00000adc: DUP1
00000add: SLOAD
00000ade: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af3: NOT
00000af4: AND
00000af5: PUSH1 0x01
00000af7: PUSH1 0xa0
00000af9: PUSH1 0x02
00000afb: EXP
00000afc: SUB
00000afd: DUP4
00000afe: DUP2
00000aff: AND
00000b00: SWAP2
00000b01: SWAP1
00000b02: SWAP2
00000b03: OR
00000b04: SWAP2
00000b05: DUP3
00000b06: SWAP1
00000b07: SSTORE
00000b08: PUSH1 0x40
00000b0a: MLOAD
00000b0b: SWAP2
00000b0c: AND
00000b0d: SWAP1
00000b0e: PUSH32 0xce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed94
00000b2f: SWAP1
00000b30: PUSH1 0x00
00000b32: SWAP1
00000b33: LOG2
00000b34: POP
00000b35: JUMP
00000b36: JUMPDEST
00000b37: PUSH1 0x14
00000b39: DUP2
00000b3a: JUMP
00000b3b: JUMPDEST
00000b3c: PUSH2 0x012c
00000b3f: DUP2
00000b40: JUMP
00000b41: JUMPDEST
00000b42: PUSH1 0x03
00000b44: DUP1
00000b45: SLOAD
00000b46: PUSH1 0x40
00000b48: DUP1
00000b49: MLOAD
00000b4a: PUSH1 0x20
00000b4c: PUSH1 0x02
00000b4e: PUSH1 0x01
00000b50: DUP6
00000b51: AND
00000b52: ISZERO
00000b53: PUSH2 0x0100
00000b56: MUL
00000b57: PUSH1 0x00
00000b59: NOT
00000b5a: ADD
00000b5b: SWAP1
00000b5c: SWAP5
00000b5d: AND
00000b5e: SWAP4
00000b5f: SWAP1
00000b60: SWAP4
00000b61: DIV
00000b62: PUSH1 0x1f
00000b64: DUP2
00000b65: ADD
00000b66: DUP5
00000b67: SWAP1
00000b68: DIV
00000b69: DUP5
00000b6a: MUL
00000b6b: DUP3
00000b6c: ADD
00000b6d: DUP5
00000b6e: ADD
00000b6f: SWAP1
00000b70: SWAP3
00000b71: MSTORE
00000b72: DUP2
00000b73: DUP2
00000b74: MSTORE
00000b75: SWAP3
00000b76: SWAP2
00000b77: DUP4
00000b78: ADD
00000b79: DUP3
00000b7a: DUP3
00000b7b: DUP1
00000b7c: ISZERO
00000b7d: PUSH2 0x0bc7
00000b80: JUMPI
00000b81: DUP1
00000b82: PUSH1 0x1f
00000b84: LT
00000b85: PUSH2 0x0b9c
00000b88: JUMPI
00000b89: PUSH2 0x0100
00000b8c: DUP1
00000b8d: DUP4
00000b8e: SLOAD
00000b8f: DIV
00000b90: MUL
00000b91: DUP4
00000b92: MSTORE
00000b93: SWAP2
00000b94: PUSH1 0x20
00000b96: ADD
00000b97: SWAP2
00000b98: PUSH2 0x0bc7
00000b9b: JUMP
00000b9c: JUMPDEST
00000b9d: DUP3
00000b9e: ADD
00000b9f: SWAP2
00000ba0: SWAP1
00000ba1: PUSH1 0x00
00000ba3: MSTORE
00000ba4: PUSH1 0x20
00000ba6: PUSH1 0x00
00000ba8: KECCAK256
00000ba9: SWAP1
00000baa: JUMPDEST
00000bab: DUP2
00000bac: SLOAD
00000bad: DUP2
00000bae: MSTORE
00000baf: SWAP1
00000bb0: PUSH1 0x01
00000bb2: ADD
00000bb3: SWAP1
00000bb4: PUSH1 0x20
00000bb6: ADD
00000bb7: DUP1
00000bb8: DUP4
00000bb9: GT
00000bba: PUSH2 0x0baa
00000bbd: JUMPI
00000bbe: DUP3
00000bbf: SWAP1
00000bc0: SUB
00000bc1: PUSH1 0x1f
00000bc3: AND
00000bc4: DUP3
00000bc5: ADD
00000bc6: SWAP2
00000bc7: JUMPDEST
00000bc8: POP
00000bc9: POP
00000bca: POP
00000bcb: POP
00000bcc: POP
00000bcd: DUP2
00000bce: JUMP
00000bcf: JUMPDEST
00000bd0: PUSH1 0x07
00000bd2: SLOAD
00000bd3: DUP2
00000bd4: JUMP
00000bd5: JUMPDEST
00000bd6: PUSH1 0x00
00000bd8: DUP1
00000bd9: PUSH1 0x00
00000bdb: DUP1
00000bdc: PUSH1 0x10
00000bde: DUP6
00000bdf: DUP2
00000be0: SLOAD
00000be1: DUP2
00000be2: LT
00000be3: ISZERO
00000be4: ISZERO
00000be5: PUSH2 0x0bea
00000be8: JUMPI
00000be9: INVALID
00000bea: JUMPDEST
00000beb: PUSH1 0x00
00000bed: SWAP2
00000bee: DUP3
00000bef: MSTORE
00000bf0: PUSH1 0x20
00000bf2: DUP1
00000bf3: DUP4
00000bf4: KECCAK256
00000bf5: PUSH1 0x01
00000bf7: PUSH1 0xa0
00000bf9: PUSH1 0x02
00000bfb: EXP
00000bfc: SUB
00000bfd: DUP11
00000bfe: AND
00000bff: DUP5
00000c00: MSTORE
00000c01: PUSH1 0x0a
00000c03: PUSH1 0x0b
00000c05: SWAP1
00000c06: SWAP4
00000c07: MUL
00000c08: ADD
00000c09: SWAP2
00000c0a: DUP3
00000c0b: ADD
00000c0c: SWAP1
00000c0d: MSTORE
00000c0e: PUSH1 0x40
00000c10: SWAP1
00000c11: SWAP2
00000c12: KECCAK256
00000c13: PUSH1 0x01
00000c15: ADD
00000c16: SLOAD
00000c17: SWAP5
00000c18: POP
00000c19: SWAP1
00000c1a: POP
00000c1b: PUSH2 0x0c24
00000c1e: DUP7
00000c1f: DUP7
00000c20: PUSH2 0x1216
00000c23: JUMP
00000c24: JUMPDEST
00000c25: SWAP5
00000c26: SWAP8
00000c27: SWAP1
00000c28: SWAP7
00000c29: POP
00000c2a: SWAP4
00000c2b: SWAP5
00000c2c: POP
00000c2d: POP
00000c2e: POP
00000c2f: POP
00000c30: JUMP
00000c31: JUMPDEST
00000c32: PUSH1 0x00
00000c34: PUSH1 0x10
00000c36: DUP3
00000c37: DUP2
00000c38: SLOAD
00000c39: DUP2
00000c3a: LT
00000c3b: ISZERO
00000c3c: ISZERO
00000c3d: PUSH2 0x0c42
00000c40: JUMPI
00000c41: INVALID
00000c42: JUMPDEST
00000c43: SWAP1
00000c44: PUSH1 0x00
00000c46: MSTORE
00000c47: PUSH1 0x20
00000c49: PUSH1 0x00
00000c4b: KECCAK256
00000c4c: SWAP1
00000c4d: PUSH1 0x0b
00000c4f: MUL
00000c50: ADD
00000c51: SWAP1
00000c52: POP
00000c53: PUSH2 0x08fa
00000c56: CALLER
00000c57: DUP3
00000c58: PUSH2 0x1a43
00000c5b: JUMP
00000c5c: JUMPDEST
00000c5d: PUSH1 0x00
00000c5f: DUP1
00000c60: PUSH1 0x00
00000c62: DUP1
00000c63: PUSH1 0x00
00000c65: DUP1
00000c66: PUSH1 0x00
00000c68: DUP1
00000c69: PUSH1 0x00
00000c6b: DUP1
00000c6c: PUSH1 0x00
00000c6e: PUSH1 0x10
00000c70: DUP13
00000c71: DUP2
00000c72: SLOAD
00000c73: DUP2
00000c74: LT
00000c75: ISZERO
00000c76: ISZERO
00000c77: PUSH2 0x0c7c
00000c7a: JUMPI
00000c7b: INVALID
00000c7c: JUMPDEST
00000c7d: SWAP1
00000c7e: PUSH1 0x00
00000c80: MSTORE
00000c81: PUSH1 0x20
00000c83: PUSH1 0x00
00000c85: KECCAK256
00000c86: SWAP1
00000c87: PUSH1 0x0b
00000c89: MUL
00000c8a: ADD
00000c8b: SWAP1
00000c8c: POP
00000c8d: DUP1
00000c8e: PUSH1 0x09
00000c90: ADD
00000c91: PUSH1 0x00
00000c93: SWAP1
00000c94: SLOAD
00000c95: SWAP1
00000c96: PUSH2 0x0100
00000c99: EXP
00000c9a: SWAP1
00000c9b: DIV
00000c9c: PUSH1 0x01
00000c9e: PUSH1 0xa0
00000ca0: PUSH1 0x02
00000ca2: EXP
00000ca3: SUB
00000ca4: AND
00000ca5: SWAP11
00000ca6: POP
00000ca7: DUP1
00000ca8: PUSH1 0x07
00000caa: ADD
00000cab: SLOAD
00000cac: SWAP10
00000cad: POP
00000cae: DUP1
00000caf: PUSH1 0x01
00000cb1: ADD
00000cb2: SLOAD
00000cb3: SWAP9
00000cb4: POP
00000cb5: DUP1
00000cb6: PUSH1 0x02
00000cb8: ADD
00000cb9: SLOAD
00000cba: SWAP8
00000cbb: POP
00000cbc: DUP1
00000cbd: PUSH1 0x03
00000cbf: ADD
00000cc0: SLOAD
00000cc1: SWAP7
00000cc2: POP
00000cc3: DUP1
00000cc4: PUSH1 0x00
00000cc6: ADD
00000cc7: SLOAD
00000cc8: SWAP6
00000cc9: POP
00000cca: PUSH2 0x0cdf
00000ccd: DUP2
00000cce: PUSH1 0x00
00000cd0: ADD
00000cd1: SLOAD
00000cd2: PUSH8 0x0905438e60010000
00000cdb: PUSH2 0x1ae3
00000cde: JUMP
00000cdf: JUMPDEST
00000ce0: SWAP5
00000ce1: POP
00000ce2: DUP1
00000ce3: PUSH1 0x05
00000ce5: ADD
00000ce6: SLOAD
00000ce7: SWAP4
00000ce8: POP
00000ce9: DUP1
00000cea: PUSH1 0x06
00000cec: ADD
00000ced: SLOAD
00000cee: SWAP3
00000cef: POP
00000cf0: DUP1
00000cf1: PUSH1 0x09
00000cf3: ADD
00000cf4: PUSH1 0x14
00000cf6: SWAP1
00000cf7: SLOAD
00000cf8: SWAP1
00000cf9: PUSH2 0x0100
00000cfc: EXP
00000cfd: SWAP1
00000cfe: DIV
00000cff: PUSH1 0xff
00000d01: AND
00000d02: SWAP2
00000d03: POP
00000d04: POP
00000d05: SWAP2
00000d06: SWAP4
00000d07: SWAP6
00000d08: SWAP8
00000d09: SWAP10
00000d0a: POP
00000d0b: SWAP2
00000d0c: SWAP4
00000d0d: SWAP6
00000d0e: SWAP8
00000d0f: SWAP10
00000d10: JUMP
00000d11: JUMPDEST
00000d12: PUSH1 0x00
00000d14: PUSH2 0x0d29
00000d17: CALLER
00000d18: PUSH1 0x00
00000d1a: CALLDATALOAD
00000d1b: PUSH1 0x01
00000d1d: PUSH1 0xe0
00000d1f: PUSH1 0x02
00000d21: EXP
00000d22: SUB
00000d23: NOT
00000d24: AND
00000d25: PUSH2 0x193a
00000d28: JUMP
00000d29: JUMPDEST
00000d2a: ISZERO
00000d2b: ISZERO
00000d2c: PUSH2 0x0d34
00000d2f: JUMPI
00000d30: PUSH1 0x00
00000d32: DUP1
00000d33: REVERT
00000d34: JUMPDEST
00000d35: POP
00000d36: PUSH1 0x0b
00000d38: DUP1
00000d39: SLOAD
00000d3a: PUSH1 0x00
00000d3c: SWAP2
00000d3d: DUP3
00000d3e: SWAP1
00000d3f: SSTORE
00000d40: PUSH1 0x40
00000d42: MLOAD
00000d43: SWAP1
00000d44: SWAP2
00000d45: CALLER
00000d46: SWAP2
00000d47: DUP4
00000d48: ISZERO
00000d49: PUSH2 0x08fc
00000d4c: MUL
00000d4d: SWAP2
00000d4e: DUP5
00000d4f: SWAP2
00000d50: SWAP1
00000d51: DUP2
00000d52: DUP2
00000d53: DUP2
00000d54: DUP6
00000d55: DUP9
00000d56: DUP9
00000d57: CALL
00000d58: SWAP4
00000d59: POP
00000d5a: POP
00000d5b: POP
00000d5c: POP
00000d5d: ISZERO
00000d5e: DUP1
00000d5f: ISZERO
00000d60: PUSH2 0x08fa
00000d63: JUMPI
00000d64: RETURNDATASIZE
00000d65: PUSH1 0x00
00000d67: DUP1
00000d68: RETURNDATACOPY
00000d69: RETURNDATASIZE
00000d6a: PUSH1 0x00
00000d6c: REVERT
00000d6d: JUMPDEST
00000d6e: PUSH1 0x00
00000d70: DUP1
00000d71: PUSH1 0x10
00000d73: DUP4
00000d74: DUP2
00000d75: SLOAD
00000d76: DUP2
00000d77: LT
00000d78: ISZERO
00000d79: ISZERO
00000d7a: PUSH2 0x0d7f
00000d7d: JUMPI
00000d7e: INVALID
00000d7f: JUMPDEST
00000d80: PUSH1 0x00
00000d82: SWAP2
00000d83: DUP3
00000d84: MSTORE
00000d85: PUSH1 0x20
00000d87: DUP1
00000d88: DUP4
00000d89: KECCAK256
00000d8a: PUSH1 0x01
00000d8c: PUSH1 0xa0
00000d8e: PUSH1 0x02
00000d90: EXP
00000d91: SUB
00000d92: DUP9
00000d93: AND
00000d94: DUP5
00000d95: MSTORE
00000d96: PUSH1 0x0a
00000d98: PUSH1 0x0b
00000d9a: SWAP1
00000d9b: SWAP4
00000d9c: MUL
00000d9d: ADD
00000d9e: SWAP2
00000d9f: DUP3
00000da0: ADD
00000da1: SWAP1
00000da2: MSTORE
00000da3: PUSH1 0x40
00000da5: SWAP1
00000da6: SWAP2
00000da7: KECCAK256
00000da8: SLOAD
00000da9: PUSH1 0x04
00000dab: DUP3
00000dac: ADD
00000dad: SLOAD
00000dae: GT
00000daf: SWAP3
00000db0: POP
00000db1: SWAP1
00000db2: POP
00000db3: POP
00000db4: SWAP3
00000db5: SWAP2
00000db6: POP
00000db7: POP
00000db8: JUMP
00000db9: JUMPDEST
00000dba: PUSH1 0x00
00000dbc: DUP1
00000dbd: PUSH1 0x00
00000dbf: PUSH1 0x10
00000dc1: PUSH1 0x0f
00000dc3: SLOAD
00000dc4: DUP2
00000dc5: SLOAD
00000dc6: DUP2
00000dc7: LT
00000dc8: ISZERO
00000dc9: ISZERO
00000dca: PUSH2 0x0dcf
00000dcd: JUMPI
00000dce: INVALID
00000dcf: JUMPDEST
00000dd0: SWAP1
00000dd1: PUSH1 0x00
00000dd3: MSTORE
00000dd4: PUSH1 0x20
00000dd6: PUSH1 0x00
00000dd8: KECCAK256
00000dd9: SWAP1
00000dda: PUSH1 0x0b
00000ddc: MUL
00000ddd: ADD
00000dde: SWAP3
00000ddf: POP
00000de0: PUSH1 0x01
00000de2: PUSH1 0x10
00000de4: DUP1
00000de5: SLOAD
00000de6: SWAP1
00000de7: POP
00000de8: GT
00000de9: ISZERO
00000dea: PUSH2 0x0e2f
00000ded: JUMPI
00000dee: PUSH2 0x0dfc
00000df1: CALLER
00000df2: PUSH1 0x01
00000df4: PUSH1 0x0f
00000df6: SLOAD
00000df7: SUB
00000df8: PUSH2 0x0d6d
00000dfb: JUMP
00000dfc: JUMPDEST
00000dfd: ISZERO
00000dfe: PUSH2 0x0e2f
00000e01: JUMPI
00000e02: PUSH1 0x10
00000e04: PUSH1 0x01
00000e06: PUSH1 0x0f
00000e08: SLOAD
00000e09: SUB
00000e0a: DUP2
00000e0b: SLOAD
00000e0c: DUP2
00000e0d: LT
00000e0e: ISZERO
00000e0f: ISZERO
00000e10: PUSH2 0x0e15
00000e13: JUMPI
00000e14: INVALID
00000e15: JUMPDEST
00000e16: SWAP1
00000e17: PUSH1 0x00
00000e19: MSTORE
00000e1a: PUSH1 0x20
00000e1c: PUSH1 0x00
00000e1e: KECCAK256
00000e1f: SWAP1
00000e20: PUSH1 0x0b
00000e22: MUL
00000e23: ADD
00000e24: SWAP2
00000e25: POP
00000e26: PUSH2 0x0e2f
00000e29: CALLER
00000e2a: DUP4
00000e2b: PUSH2 0x1a43
00000e2e: JUMP
00000e2f: JUMPDEST
00000e30: PUSH2 0x0e39
00000e33: CALLER
00000e34: DUP5
00000e35: PUSH2 0x1a43
00000e38: JUMP
00000e39: JUMPDEST
00000e3a: POP
00000e3b: CALLER
00000e3c: PUSH1 0x00
00000e3e: SWAP1
00000e3f: DUP2
00000e40: MSTORE
00000e41: PUSH1 0x0e
00000e43: PUSH1 0x20
00000e45: MSTORE
00000e46: PUSH1 0x40
00000e48: DUP2
00000e49: KECCAK256
00000e4a: SLOAD
00000e4b: SWAP1
00000e4c: DUP2
00000e4d: GT
00000e4e: PUSH2 0x0ea1
00000e51: JUMPI
00000e52: PUSH1 0x40
00000e54: DUP1
00000e55: MLOAD
00000e56: PUSH1 0xe5
00000e58: PUSH1 0x02
00000e5a: EXP
00000e5b: PUSH3 0x461bcd
00000e5f: MUL
00000e60: DUP2
00000e61: MSTORE
00000e62: PUSH1 0x20
00000e64: PUSH1 0x04
00000e66: DUP3
00000e67: ADD
00000e68: MSTORE
00000e69: PUSH1 0x14
00000e6b: PUSH1 0x24
00000e6d: DUP3
00000e6e: ADD
00000e6f: MSTORE
00000e70: PUSH32 0x4e6f7468696e6720746f20776974686472617721000000000000000000000000
00000e91: PUSH1 0x44
00000e93: DUP3
00000e94: ADD
00000e95: MSTORE
00000e96: SWAP1
00000e97: MLOAD
00000e98: SWAP1
00000e99: DUP2
00000e9a: SWAP1
00000e9b: SUB
00000e9c: PUSH1 0x64
00000e9e: ADD
00000e9f: SWAP1
00000ea0: REVERT
00000ea1: JUMPDEST
00000ea2: PUSH2 0x0ead
00000ea5: PUSH1 0x0d
00000ea7: SLOAD
00000ea8: DUP3
00000ea9: PUSH2 0x1b1e
00000eac: JUMP
00000ead: JUMPDEST
00000eae: PUSH1 0x0d
00000eb0: SSTORE
00000eb1: CALLER
00000eb2: PUSH1 0x00
00000eb4: DUP2
00000eb5: DUP2
00000eb6: MSTORE
00000eb7: PUSH1 0x0e
00000eb9: PUSH1 0x20
00000ebb: SWAP1
00000ebc: DUP2
00000ebd: MSTORE
00000ebe: PUSH1 0x40
00000ec0: DUP1
00000ec1: DUP4
00000ec2: KECCAK256
00000ec3: DUP4
00000ec4: DUP2
00000ec5: SSTORE
00000ec6: PUSH1 0x01
00000ec8: ADD
00000ec9: DUP4
00000eca: SWAP1
00000ecb: SSTORE
00000ecc: PUSH1 0x04
00000ece: DUP8
00000ecf: ADD
00000ed0: SLOAD
00000ed1: PUSH1 0x0a
00000ed3: DUP9
00000ed4: ADD
00000ed5: SWAP1
00000ed6: SWAP3
00000ed7: MSTORE
00000ed8: DUP1
00000ed9: DUP4
00000eda: KECCAK256
00000edb: SWAP2
00000edc: SWAP1
00000edd: SWAP2
00000ede: SSTORE
00000edf: MLOAD
00000ee0: DUP4
00000ee1: ISZERO
00000ee2: PUSH2 0x08fc
00000ee5: MUL
00000ee6: SWAP2
00000ee7: DUP5
00000ee8: SWAP2
00000ee9: SWAP1
00000eea: DUP2
00000eeb: DUP2
00000eec: DUP2
00000eed: DUP6
00000eee: DUP9
00000eef: DUP9
00000ef0: CALL
00000ef1: SWAP4
00000ef2: POP
00000ef3: POP
00000ef4: POP
00000ef5: POP
00000ef6: ISZERO
00000ef7: DUP1
00000ef8: ISZERO
00000ef9: PUSH2 0x0f06
00000efc: JUMPI
00000efd: RETURNDATASIZE
00000efe: PUSH1 0x00
00000f00: DUP1
00000f01: RETURNDATACOPY
00000f02: RETURNDATASIZE
00000f03: PUSH1 0x00
00000f05: REVERT
00000f06: JUMPDEST
00000f07: POP
00000f08: PUSH1 0x40
00000f0a: DUP1
00000f0b: MLOAD
00000f0c: DUP3
00000f0d: DUP2
00000f0e: MSTORE
00000f0f: SWAP1
00000f10: MLOAD
00000f11: CALLER
00000f12: SWAP2
00000f13: PUSH32 0x0f9fa24c1d9febdaf99508f4923a7b5add9bd70eab45c8fc614509df79894938
00000f34: SWAP2
00000f35: SWAP1
00000f36: DUP2
00000f37: SWAP1
00000f38: SUB
00000f39: PUSH1 0x20
00000f3b: ADD
00000f3c: SWAP1
00000f3d: LOG2
00000f3e: POP
00000f3f: POP
00000f40: POP
00000f41: JUMP
00000f42: JUMPDEST
00000f43: PUSH2 0x0f4a
00000f46: PUSH2 0x154b
00000f49: JUMP
00000f4a: JUMPDEST
00000f4b: PUSH2 0x0f52
00000f4e: PUSH2 0x12f4
00000f51: JUMP
00000f52: JUMPDEST
00000f53: JUMP
00000f54: JUMPDEST
00000f55: PUSH2 0x0f6a
00000f58: CALLER
00000f59: PUSH1 0x00
00000f5b: CALLDATALOAD
00000f5c: PUSH1 0x01
00000f5e: PUSH1 0xe0
00000f60: PUSH1 0x02
00000f62: EXP
00000f63: SUB
00000f64: NOT
00000f65: AND
00000f66: PUSH2 0x193a
00000f69: JUMP
00000f6a: JUMPDEST
00000f6b: ISZERO
00000f6c: ISZERO
00000f6d: PUSH2 0x0f75
00000f70: JUMPI
00000f71: PUSH1 0x00
00000f73: DUP1
00000f74: REVERT
00000f75: JUMPDEST
00000f76: DUP2
00000f77: MLOAD
00000f78: PUSH2 0x0f88
00000f7b: SWAP1
00000f7c: PUSH1 0x03
00000f7e: SWAP1
00000f7f: PUSH1 0x20
00000f81: DUP6
00000f82: ADD
00000f83: SWAP1
00000f84: PUSH2 0x2596
00000f87: JUMP
00000f88: JUMPDEST
00000f89: POP
00000f8a: DUP1
00000f8b: MLOAD
00000f8c: PUSH2 0x0f9c
00000f8f: SWAP1
00000f90: PUSH1 0x02
00000f92: SWAP1
00000f93: PUSH1 0x20
00000f95: DUP5
00000f96: ADD
00000f97: SWAP1
00000f98: PUSH2 0x2596
00000f9b: JUMP
00000f9c: JUMPDEST
00000f9d: POP
00000f9e: PUSH32 0xfee9db57784d702235f09dd34534f59c3087590639932195e0447e7728ff4410
00000fbf: DUP3
00000fc0: DUP3
00000fc1: PUSH1 0x40
00000fc3: MLOAD
00000fc4: DUP1
00000fc5: DUP1
00000fc6: PUSH1 0x20
00000fc8: ADD
00000fc9: DUP1
00000fca: PUSH1 0x20
00000fcc: ADD
00000fcd: DUP4
00000fce: DUP2
00000fcf: SUB
00000fd0: DUP4
00000fd1: MSTORE
00000fd2: DUP6
00000fd3: DUP2
00000fd4: DUP2
00000fd5: MLOAD
00000fd6: DUP2
00000fd7: MSTORE
00000fd8: PUSH1 0x20
00000fda: ADD
00000fdb: SWAP2
00000fdc: POP
00000fdd: DUP1
00000fde: MLOAD
00000fdf: SWAP1
00000fe0: PUSH1 0x20
00000fe2: ADD
00000fe3: SWAP1
00000fe4: DUP1
00000fe5: DUP4
00000fe6: DUP4
00000fe7: PUSH1 0x00
00000fe9: JUMPDEST
00000fea: DUP4
00000feb: DUP2
00000fec: LT
00000fed: ISZERO
00000fee: PUSH2 0x1001
00000ff1: JUMPI
00000ff2: DUP2
00000ff3: DUP2
00000ff4: ADD
00000ff5: MLOAD
00000ff6: DUP4
00000ff7: DUP3
00000ff8: ADD
00000ff9: MSTORE
00000ffa: PUSH1 0x20
00000ffc: ADD
00000ffd: PUSH2 0x0fe9
00001000: JUMP
00001001: JUMPDEST
00001002: POP
00001003: POP
00001004: POP
00001005: POP
00001006: SWAP1
00001007: POP
00001008: SWAP1
00001009: DUP2
0000100a: ADD
0000100b: SWAP1
0000100c: PUSH1 0x1f
0000100e: AND
0000100f: DUP1
00001010: ISZERO
00001011: PUSH2 0x102e
00001014: JUMPI
00001015: DUP1
00001016: DUP3
00001017: SUB
00001018: DUP1
00001019: MLOAD
0000101a: PUSH1 0x01
0000101c: DUP4
0000101d: PUSH1 0x20
0000101f: SUB
00001020: PUSH2 0x0100
00001023: EXP
00001024: SUB
00001025: NOT
00001026: AND
00001027: DUP2
00001028: MSTORE
00001029: PUSH1 0x20
0000102b: ADD
0000102c: SWAP2
0000102d: POP
0000102e: JUMPDEST
0000102f: POP
00001030: DUP4
00001031: DUP2
00001032: SUB
00001033: DUP3
00001034: MSTORE
00001035: DUP5
00001036: MLOAD
00001037: DUP2
00001038: MSTORE
00001039: DUP5
0000103a: MLOAD
0000103b: PUSH1 0x20
0000103d: SWAP2
0000103e: DUP3
0000103f: ADD
00001040: SWAP2
00001041: DUP7
00001042: ADD
00001043: SWAP1
00001044: DUP1
00001045: DUP4
00001046: DUP4
00001047: PUSH1 0x00
00001049: JUMPDEST
0000104a: DUP4
0000104b: DUP2
0000104c: LT
0000104d: ISZERO
0000104e: PUSH2 0x1061
00001051: JUMPI
00001052: DUP2
00001053: DUP2
00001054: ADD
00001055: MLOAD
00001056: DUP4
00001057: DUP3
00001058: ADD
00001059: MSTORE
0000105a: PUSH1 0x20
0000105c: ADD
0000105d: PUSH2 0x1049
00001060: JUMP
00001061: JUMPDEST
00001062: POP
00001063: POP
00001064: POP
00001065: POP
00001066: SWAP1
00001067: POP
00001068: SWAP1
00001069: DUP2
0000106a: ADD
0000106b: SWAP1
0000106c: PUSH1 0x1f
0000106e: AND
0000106f: DUP1
00001070: ISZERO
00001071: PUSH2 0x108e
00001074: JUMPI
00001075: DUP1
00001076: DUP3
00001077: SUB
00001078: DUP1
00001079: MLOAD
0000107a: PUSH1 0x01
0000107c: DUP4
0000107d: PUSH1 0x20
0000107f: SUB
00001080: PUSH2 0x0100
00001083: EXP
00001084: SUB
00001085: NOT
00001086: AND
00001087: DUP2
00001088: MSTORE
00001089: PUSH1 0x20
0000108b: ADD
0000108c: SWAP2
0000108d: POP
0000108e: JUMPDEST
0000108f: POP
00001090: SWAP5
00001091: POP
00001092: POP
00001093: POP
00001094: POP
00001095: POP
00001096: PUSH1 0x40
00001098: MLOAD
00001099: DUP1
0000109a: SWAP2
0000109b: SUB
0000109c: SWAP1
0000109d: LOG1
0000109e: POP
0000109f: POP
000010a0: JUMP
000010a1: JUMPDEST
000010a2: PUSH1 0x00
000010a4: DUP1
000010a5: PUSH1 0x00
000010a7: DUP1
000010a8: PUSH1 0x00
000010aa: PUSH1 0x10
000010ac: PUSH1 0x0f
000010ae: SLOAD
000010af: DUP2
000010b0: SLOAD
000010b1: DUP2
000010b2: LT
000010b3: ISZERO
000010b4: ISZERO
000010b5: PUSH2 0x10ba
000010b8: JUMPI
000010b9: INVALID
000010ba: JUMPDEST
000010bb: SWAP1
000010bc: PUSH1 0x00
000010be: MSTORE
000010bf: PUSH1 0x20
000010c1: PUSH1 0x00
000010c3: KECCAK256
000010c4: SWAP1
000010c5: PUSH1 0x0b
000010c7: MUL
000010c8: ADD
000010c9: SWAP1
000010ca: POP
000010cb: TIMESTAMP
000010cc: DUP2
000010cd: PUSH1 0x06
000010cf: ADD
000010d0: SLOAD
000010d1: GT
000010d2: ISZERO
000010d3: PUSH2 0x111e
000010d6: JUMPI
000010d7: DUP1
000010d8: PUSH1 0x03
000010da: ADD
000010db: SLOAD
000010dc: PUSH1 0x06
000010de: SLOAD
000010df: ADD
000010e0: SWAP4
000010e1: POP
000010e2: PUSH2 0x10f7
000010e5: DUP2
000010e6: PUSH1 0x00
000010e8: ADD
000010e9: SLOAD
000010ea: PUSH8 0x0905438e60010000
000010f3: PUSH2 0x1ae3
000010f6: JUMP
000010f7: JUMPDEST
000010f8: PUSH1 0x07
000010fa: SLOAD
000010fb: ADD
000010fc: SWAP5
000010fd: POP
000010fe: PUSH2 0x1113
00001101: DUP2
00001102: PUSH1 0x00
00001104: ADD
00001105: SLOAD
00001106: PUSH8 0x013fbe85edc90000
0000110f: PUSH2 0x1ae3
00001112: JUMP
00001113: JUMPDEST
00001114: PUSH1 0x08
00001116: SLOAD
00001117: ADD
00001118: SWAP3
00001119: POP
0000111a: PUSH2 0x112e
0000111d: JUMP
0000111e: JUMPDEST
0000111f: PUSH1 0x06
00001121: SLOAD
00001122: SWAP4
00001123: POP
00001124: PUSH1 0x07
00001126: SLOAD
00001127: SWAP5
00001128: POP
00001129: PUSH1 0x08
0000112b: SLOAD
0000112c: SWAP3
0000112d: POP
0000112e: JUMPDEST
0000112f: PUSH1 0x09
00001131: SLOAD
00001132: SWAP2
00001133: POP
00001134: POP
00001135: SWAP1
00001136: SWAP2
00001137: SWAP3
00001138: SWAP4
00001139: JUMP
0000113a: JUMPDEST
0000113b: PUSH7 0x038d7ea4c68000
00001143: DUP2
00001144: JUMP
00001145: JUMPDEST
00001146: PUSH1 0x0a
00001148: SLOAD
00001149: DUP2
0000114a: JUMP
0000114b: JUMPDEST
0000114c: PUSH8 0x013fbe85edc90000
00001155: DUP2
00001156: JUMP
00001157: JUMPDEST
00001158: PUSH3 0x015180
0000115c: DUP2
0000115d: JUMP
0000115e: JUMPDEST
0000115f: PUSH1 0x06
00001161: SLOAD
00001162: DUP2
00001163: JUMP
00001164: JUMPDEST
00001165: PUSH2 0x117a
00001168: CALLER
00001169: PUSH1 0x00
0000116b: CALLDATALOAD
0000116c: PUSH1 0x01
0000116e: PUSH1 0xe0
00001170: PUSH1 0x02
00001172: EXP
00001173: SUB
00001174: NOT
00001175: AND
00001176: PUSH2 0x193a
00001179: JUMP
0000117a: JUMPDEST
0000117b: ISZERO
0000117c: ISZERO
0000117d: PUSH2 0x1185
00001180: JUMPI
00001181: PUSH1 0x00
00001183: DUP1
00001184: REVERT
00001185: JUMPDEST
00001186: PUSH1 0x00
00001188: DUP1
00001189: SLOAD
0000118a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000119f: NOT
000011a0: AND
000011a1: PUSH1 0x01
000011a3: PUSH1 0xa0
000011a5: PUSH1 0x02
000011a7: EXP
000011a8: SUB
000011a9: DUP4
000011aa: DUP2
000011ab: AND
000011ac: SWAP2
000011ad: SWAP1
000011ae: SWAP2
000011af: OR
000011b0: DUP1
000011b1: DUP4
000011b2: SSTORE
000011b3: PUSH1 0x40
000011b5: MLOAD
000011b6: SWAP2
000011b7: AND
000011b8: SWAP2
000011b9: PUSH32 0x1abebea81bfa2637f28358c371278fb15ede7ea8dd28d2e03b112ff6d936ada4
000011da: SWAP2
000011db: LOG2
000011dc: POP
000011dd: JUMP
000011de: JUMPDEST
000011df: PUSH1 0x01
000011e1: SLOAD
000011e2: PUSH1 0x01
000011e4: PUSH1 0xa0
000011e6: PUSH1 0x02
000011e8: EXP
000011e9: SUB
000011ea: AND
000011eb: DUP2
000011ec: JUMP
000011ed: JUMPDEST
000011ee: PUSH7 0x2386f26fc10000
000011f6: DUP2
000011f7: JUMP
000011f8: JUMPDEST
000011f9: PUSH8 0x0905438e60010000
00001202: DUP2
00001203: JUMP
00001204: JUMPDEST
00001205: PUSH3 0x278d00
00001209: DUP2
0000120a: JUMP
0000120b: JUMPDEST
0000120c: PUSH2 0x0aa0
0000120f: DUP2
00001210: PUSH1 0x00
00001212: PUSH2 0x1587
00001215: JUMP
00001216: JUMPDEST
00001217: PUSH1 0x00
00001219: DUP1
0000121a: PUSH1 0x00
0000121c: DUP1
0000121d: PUSH1 0x00
0000121f: PUSH1 0x10
00001221: DUP7
00001222: DUP2
00001223: SLOAD
00001224: DUP2
00001225: LT
00001226: ISZERO
00001227: ISZERO
00001228: PUSH2 0x122d
0000122b: JUMPI
0000122c: INVALID
0000122d: JUMPDEST
0000122e: SWAP1
0000122f: PUSH1 0x00
00001231: MSTORE
00001232: PUSH1 0x20
00001234: PUSH1 0x00
00001236: KECCAK256
00001237: SWAP1
00001238: PUSH1 0x0b
0000123a: MUL
0000123b: ADD
0000123c: SWAP3
0000123d: POP
0000123e: PUSH1 0x01
00001240: PUSH1 0x10
00001242: DUP1
00001243: SLOAD
00001244: SWAP1
00001245: POP
00001246: GT
00001247: ISZERO
00001248: PUSH2 0x128c
0000124b: JUMPI
0000124c: PUSH2 0x1258
0000124f: DUP8
00001250: PUSH1 0x01
00001252: DUP9
00001253: SUB
00001254: PUSH2 0x0d6d
00001257: JUMP
00001258: JUMPDEST
00001259: ISZERO
0000125a: PUSH2 0x128c
0000125d: JUMPI
0000125e: PUSH1 0x10
00001260: DUP1
00001261: SLOAD
00001262: PUSH1 0x00
00001264: NOT
00001265: DUP9
00001266: ADD
00001267: SWAP1
00001268: DUP2
00001269: LT
0000126a: PUSH2 0x126f
0000126d: JUMPI
0000126e: INVALID
0000126f: JUMPDEST
00001270: SWAP1
00001271: PUSH1 0x00
00001273: MSTORE
00001274: PUSH1 0x20
00001276: PUSH1 0x00
00001278: KECCAK256
00001279: SWAP1
0000127a: PUSH1 0x0b
0000127c: MUL
0000127d: ADD
0000127e: SWAP1
0000127f: POP
00001280: PUSH2 0x1289
00001283: DUP8
00001284: DUP3
00001285: PUSH2 0x1b2e
00001288: JUMP
00001289: JUMPDEST
0000128a: SWAP2
0000128b: POP
0000128c: JUMPDEST
0000128d: PUSH2 0x1296
00001290: DUP8
00001291: DUP5
00001292: PUSH2 0x1b2e
00001295: JUMP
00001296: JUMPDEST
00001297: PUSH1 0x01
00001299: PUSH1 0xa0
0000129b: PUSH1 0x02
0000129d: EXP
0000129e: SUB
0000129f: SWAP1
000012a0: SWAP8
000012a1: AND
000012a2: PUSH1 0x00
000012a4: SWAP1
000012a5: DUP2
000012a6: MSTORE
000012a7: PUSH1 0x0e
000012a9: PUSH1 0x20
000012ab: MSTORE
000012ac: PUSH1 0x40
000012ae: SWAP1
000012af: KECCAK256
000012b0: DUP1
000012b1: SLOAD
000012b2: PUSH1 0x01
000012b4: SWAP1
000012b5: SWAP2
000012b6: ADD
000012b7: SLOAD
000012b8: SWAP8
000012b9: SWAP1
000012ba: SWAP3
000012bb: ADD
000012bc: SWAP2
000012bd: SWAP1
000012be: SWAP2
000012bf: ADD
000012c0: SWAP7
000012c1: SWAP5
000012c2: POP
000012c3: POP
000012c4: POP
000012c5: POP
000012c6: POP
000012c7: JUMP
000012c8: JUMPDEST
000012c9: PUSH1 0x14
000012cb: PUSH8 0x0de0b6b3a7640000
000012d4: JUMPDEST
000012d5: DIV
000012d6: DUP2
000012d7: JUMP
000012d8: JUMPDEST
000012d9: PUSH8 0x0214e8348c4f0000
000012e2: DUP2
000012e3: JUMP
000012e4: JUMPDEST
000012e5: PUSH1 0x64
000012e7: PUSH8 0x0de0b6b3a7640000
000012f0: PUSH2 0x12d4
000012f3: JUMP
000012f4: JUMPDEST
000012f5: PUSH1 0x04
000012f7: SLOAD
000012f8: PUSH1 0x00
000012fa: SWAP1
000012fb: DUP2
000012fc: SWAP1
000012fd: PUSH1 0xa0
000012ff: PUSH1 0x02
00001301: EXP
00001302: SWAP1
00001303: DIV
00001304: PUSH1 0xff
00001306: AND
00001307: ISZERO
00001308: PUSH2 0x135b
0000130b: JUMPI
0000130c: PUSH1 0x40
0000130e: DUP1
0000130f: MLOAD
00001310: PUSH1 0xe5
00001312: PUSH1 0x02
00001314: EXP
00001315: PUSH3 0x461bcd
00001319: MUL
0000131a: DUP2
0000131b: MSTORE
0000131c: PUSH1 0x20
0000131e: PUSH1 0x04
00001320: DUP3
00001321: ADD
00001322: DUP2
00001323: SWAP1
00001324: MSTORE
00001325: PUSH1 0x24
00001327: DUP3
00001328: ADD
00001329: MSTORE
0000132a: PUSH32 0x5468697320636f6e747261637420686173206265656e20757067726164656421
0000134b: PUSH1 0x44
0000134d: DUP3
0000134e: ADD
0000134f: MSTORE
00001350: SWAP1
00001351: MLOAD
00001352: SWAP1
00001353: DUP2
00001354: SWAP1
00001355: SUB
00001356: PUSH1 0x64
00001358: ADD
00001359: SWAP1
0000135a: REVERT
0000135b: JUMPDEST
0000135c: PUSH1 0x10
0000135e: SLOAD
0000135f: PUSH1 0x00
00001361: LT
00001362: ISZERO
00001363: PUSH2 0x1467
00001366: JUMPI
00001367: PUSH1 0x10
00001369: PUSH1 0x0f
0000136b: SLOAD
0000136c: DUP2
0000136d: SLOAD
0000136e: DUP2
0000136f: LT
00001370: ISZERO
00001371: ISZERO
00001372: PUSH2 0x1377
00001375: JUMPI
00001376: INVALID
00001377: JUMPDEST
00001378: SWAP1
00001379: PUSH1 0x00
0000137b: MSTORE
0000137c: PUSH1 0x20
0000137e: PUSH1 0x00
00001380: KECCAK256
00001381: SWAP1
00001382: PUSH1 0x0b
00001384: MUL
00001385: ADD
00001386: PUSH1 0x09
00001388: ADD
00001389: PUSH1 0x14
0000138b: SWAP1
0000138c: SLOAD
0000138d: SWAP1
0000138e: PUSH2 0x0100
00001391: EXP
00001392: SWAP1
00001393: DIV
00001394: PUSH1 0xff
00001396: AND
00001397: ISZERO
00001398: ISZERO
00001399: PUSH2 0x13ec
0000139c: JUMPI
0000139d: PUSH1 0x40
0000139f: DUP1
000013a0: MLOAD
000013a1: PUSH1 0xe5
000013a3: PUSH1 0x02
000013a5: EXP
000013a6: PUSH3 0x461bcd
000013aa: MUL
000013ab: DUP2
000013ac: MSTORE
000013ad: PUSH1 0x20
000013af: PUSH1 0x04
000013b1: DUP3
000013b2: ADD
000013b3: MSTORE
000013b4: PUSH1 0x1c
000013b6: PUSH1 0x24
000013b8: DUP3
000013b9: ADD
000013ba: MSTORE
000013bb: PUSH32 0x50726576696f757320726f756e64206e6f742066696e616c697a656400000000
000013dc: PUSH1 0x44
000013de: DUP3
000013df: ADD
000013e0: MSTORE
000013e1: SWAP1
000013e2: MLOAD
000013e3: SWAP1
000013e4: DUP2
000013e5: SWAP1
000013e6: SUB
000013e7: PUSH1 0x64
000013e9: ADD
000013ea: SWAP1
000013eb: REVERT
000013ec: JUMPDEST
000013ed: TIMESTAMP
000013ee: PUSH1 0x10
000013f0: PUSH1 0x0f
000013f2: SLOAD
000013f3: DUP2
000013f4: SLOAD
000013f5: DUP2
000013f6: LT
000013f7: ISZERO
000013f8: ISZERO
000013f9: PUSH2 0x13fe
000013fc: JUMPI
000013fd: INVALID
000013fe: JUMPDEST
000013ff: SWAP1
00001400: PUSH1 0x00
00001402: MSTORE
00001403: PUSH1 0x20
00001405: PUSH1 0x00
00001407: KECCAK256
00001408: SWAP1
00001409: PUSH1 0x0b
0000140b: MUL
0000140c: ADD
0000140d: PUSH1 0x06
0000140f: ADD
00001410: SLOAD
00001411: LT
00001412: ISZERO
00001413: ISZERO
00001414: PUSH2 0x1467
00001417: JUMPI
00001418: PUSH1 0x40
0000141a: DUP1
0000141b: MLOAD
0000141c: PUSH1 0xe5
0000141e: PUSH1 0x02
00001420: EXP
00001421: PUSH3 0x461bcd
00001425: MUL
00001426: DUP2
00001427: MSTORE
00001428: PUSH1 0x20
0000142a: PUSH1 0x04
0000142c: DUP3
0000142d: ADD
0000142e: MSTORE
0000142f: PUSH1 0x1c
00001431: PUSH1 0x24
00001433: DUP3
00001434: ADD
00001435: MSTORE
00001436: PUSH32 0x50726576696f757320726f756e64207374696c6c2072756e6e696e6700000000
00001457: PUSH1 0x44
00001459: DUP3
0000145a: ADD
0000145b: MSTORE
0000145c: SWAP1
0000145d: MLOAD
0000145e: SWAP1
0000145f: DUP2
00001460: SWAP1
00001461: SUB
00001462: PUSH1 0x64
00001464: ADD
00001465: SWAP1
00001466: REVERT
00001467: JUMPDEST
00001468: PUSH1 0x10
0000146a: DUP1
0000146b: SLOAD
0000146c: SWAP1
0000146d: PUSH2 0x1479
00001470: SWAP1
00001471: PUSH1 0x01
00001473: DUP4
00001474: ADD
00001475: PUSH2 0x2614
00001478: JUMP
00001479: JUMPDEST
0000147a: SWAP2
0000147b: POP
0000147c: PUSH1 0x10
0000147e: DUP3
0000147f: DUP2
00001480: SLOAD
00001481: DUP2
00001482: LT
00001483: ISZERO
00001484: ISZERO
00001485: PUSH2 0x148a
00001488: JUMPI
00001489: INVALID
0000148a: JUMPDEST
0000148b: PUSH1 0x00
0000148d: SWAP2
0000148e: DUP3
0000148f: MSTORE
00001490: PUSH1 0x20
00001492: DUP3
00001493: KECCAK256
00001494: PUSH1 0x0f
00001496: DUP6
00001497: SWAP1
00001498: SSTORE
00001499: PUSH1 0x09
0000149b: PUSH1 0x0b
0000149d: SWAP1
0000149e: SWAP3
0000149f: MUL
000014a0: ADD
000014a1: SWAP1
000014a2: DUP2
000014a3: ADD
000014a4: DUP1
000014a5: SLOAD
000014a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014bb: NOT
000014bc: AND
000014bd: CALLER
000014be: OR
000014bf: SWAP1
000014c0: SSTORE
000014c1: PUSH7 0x038d7ea4c68000
000014c9: PUSH1 0x07
000014cb: DUP3
000014cc: ADD
000014cd: SSTORE
000014ce: TIMESTAMP
000014cf: PUSH3 0x278d00
000014d3: DUP2
000014d4: ADD
000014d5: PUSH1 0x05
000014d7: DUP4
000014d8: ADD
000014d9: SSTORE
000014da: PUSH3 0x015180
000014de: ADD
000014df: PUSH1 0x06
000014e1: DUP3
000014e2: ADD
000014e3: SSTORE
000014e4: PUSH1 0x0a
000014e6: DUP1
000014e7: SLOAD
000014e8: PUSH1 0x01
000014ea: DUP4
000014eb: ADD
000014ec: SSTORE
000014ed: DUP3
000014ee: SWAP1
000014ef: SSTORE
000014f0: SWAP2
000014f1: POP
000014f2: PUSH2 0x14fe
000014f5: SWAP1
000014f6: DUP3
000014f7: SWAP1
000014f8: CALLVALUE
000014f9: SWAP1
000014fa: PUSH2 0x170c
000014fd: JUMP
000014fe: JUMPDEST
000014ff: PUSH1 0x05
00001501: DUP2
00001502: ADD
00001503: SLOAD
00001504: PUSH1 0x40
00001506: DUP1
00001507: MLOAD
00001508: SWAP2
00001509: DUP3
0000150a: MSTORE
0000150b: MLOAD
0000150c: DUP4
0000150d: SWAP2
0000150e: PUSH32 0x278844837bcf8364a705384bf3a2812901f54155bae86dea81dd52aa5b9ec0e3
0000152f: SWAP2
00001530: SWAP1
00001531: DUP2
00001532: SWAP1
00001533: SUB
00001534: PUSH1 0x20
00001536: ADD
00001537: SWAP1
00001538: LOG2
00001539: POP
0000153a: POP
0000153b: JUMP
0000153c: JUMPDEST
0000153d: PUSH1 0x00
0000153f: SLOAD
00001540: PUSH1 0x01
00001542: PUSH1 0xa0
00001544: PUSH1 0x02
00001546: EXP
00001547: SUB
00001548: AND
00001549: DUP2
0000154a: JUMP
0000154b: JUMPDEST
0000154c: PUSH1 0x00
0000154e: PUSH1 0x10
00001550: PUSH1 0x0f
00001552: SLOAD
00001553: DUP2
00001554: SLOAD
00001555: DUP2
00001556: LT
00001557: ISZERO
00001558: ISZERO
00001559: PUSH2 0x155e
0000155c: JUMPI
0000155d: INVALID
0000155e: JUMPDEST
0000155f: SWAP1
00001560: PUSH1 0x00
00001562: MSTORE
00001563: PUSH1 0x20
00001565: PUSH1 0x00
00001567: KECCAK256
00001568: SWAP1
00001569: PUSH1 0x0b
0000156b: MUL
0000156c: ADD
0000156d: SWAP1
0000156e: POP
0000156f: PUSH2 0x0aa0
00001572: DUP2
00001573: PUSH2 0x1be5
00001576: JUMP
00001577: JUMPDEST
00001578: PUSH1 0x04
0000157a: SLOAD
0000157b: PUSH1 0xa0
0000157d: PUSH1 0x02
0000157f: EXP
00001580: SWAP1
00001581: DIV
00001582: PUSH1 0xff
00001584: AND
00001585: DUP2
00001586: JUMP
00001587: JUMPDEST
00001588: PUSH1 0x00
0000158a: PUSH1 0x10
0000158c: PUSH1 0x0f
0000158e: SLOAD
0000158f: DUP2
00001590: SLOAD
00001591: DUP2
00001592: LT
00001593: ISZERO
00001594: ISZERO
00001595: PUSH2 0x159a
00001598: JUMPI
00001599: INVALID
0000159a: JUMPDEST
0000159b: SWAP1
0000159c: PUSH1 0x00
0000159e: MSTORE
0000159f: PUSH1 0x20
000015a1: PUSH1 0x00
000015a3: KECCAK256
000015a4: SWAP1
000015a5: PUSH1 0x0b
000015a7: MUL
000015a8: ADD
000015a9: SWAP1
000015aa: POP
000015ab: PUSH2 0x15b4
000015ae: CALLER
000015af: DUP3
000015b0: PUSH2 0x1a43
000015b3: JUMP
000015b4: JUMPDEST
000015b5: CALLER
000015b6: PUSH1 0x00
000015b8: SWAP1
000015b9: DUP2
000015ba: MSTORE
000015bb: PUSH1 0x0e
000015bd: PUSH1 0x20
000015bf: MSTORE
000015c0: PUSH1 0x40
000015c2: SWAP1
000015c3: KECCAK256
000015c4: SLOAD
000015c5: DUP4
000015c6: GT
000015c7: ISZERO
000015c8: PUSH2 0x161b
000015cb: JUMPI
000015cc: PUSH1 0x40
000015ce: DUP1
000015cf: MLOAD
000015d0: PUSH1 0xe5
000015d2: PUSH1 0x02
000015d4: EXP
000015d5: PUSH3 0x461bcd
000015d9: MUL
000015da: DUP2
000015db: MSTORE
000015dc: PUSH1 0x20
000015de: PUSH1 0x04
000015e0: DUP3
000015e1: ADD
000015e2: MSTORE
000015e3: PUSH1 0x1f
000015e5: PUSH1 0x24
000015e7: DUP3
000015e8: ADD
000015e9: MSTORE
000015ea: PUSH32 0x43616e2774207370656e64207768617420796f7520646f6e2774206861766500
0000160b: PUSH1 0x44
0000160d: DUP3
0000160e: ADD
0000160f: MSTORE
00001610: SWAP1
00001611: MLOAD
00001612: SWAP1
00001613: DUP2
00001614: SWAP1
00001615: SUB
00001616: PUSH1 0x64
00001618: ADD
00001619: SWAP1
0000161a: REVERT
0000161b: JUMPDEST
0000161c: CALLER
0000161d: PUSH1 0x00
0000161f: SWAP1
00001620: DUP2
00001621: MSTORE
00001622: PUSH1 0x0e
00001624: PUSH1 0x20
00001626: MSTORE
00001627: PUSH1 0x40
00001629: SWAP1
0000162a: KECCAK256
0000162b: SLOAD
0000162c: PUSH2 0x1635
0000162f: SWAP1
00001630: DUP5
00001631: PUSH2 0x1b1e
00001634: JUMP
00001635: JUMPDEST
00001636: CALLER
00001637: PUSH1 0x00
00001639: SWAP1
0000163a: DUP2
0000163b: MSTORE
0000163c: PUSH1 0x0e
0000163e: PUSH1 0x20
00001640: MSTORE
00001641: PUSH1 0x40
00001643: SWAP1
00001644: KECCAK256
00001645: DUP2
00001646: DUP2
00001647: SSTORE
00001648: PUSH1 0x01
0000164a: ADD
0000164b: SLOAD
0000164c: PUSH2 0x1654
0000164f: SWAP2
00001650: PUSH2 0x1fc8
00001653: JUMP
00001654: JUMPDEST
00001655: CALLER
00001656: PUSH1 0x00
00001658: SWAP1
00001659: DUP2
0000165a: MSTORE
0000165b: PUSH1 0x0e
0000165d: PUSH1 0x20
0000165f: MSTORE
00001660: PUSH1 0x40
00001662: SWAP1
00001663: KECCAK256
00001664: PUSH1 0x01
00001666: ADD
00001667: SSTORE
00001668: PUSH1 0x0d
0000166a: SLOAD
0000166b: PUSH2 0x1674
0000166e: SWAP1
0000166f: DUP5
00001670: PUSH2 0x1b1e
00001673: JUMP
00001674: JUMPDEST
00001675: PUSH1 0x0d
00001677: SSTORE
00001678: PUSH2 0x1682
0000167b: DUP2
0000167c: DUP5
0000167d: DUP5
0000167e: PUSH2 0x170c
00001681: JUMP
00001682: JUMPDEST
00001683: POP
00001684: POP
00001685: POP
00001686: JUMP
00001687: JUMPDEST
00001688: PUSH1 0x02
0000168a: DUP1
0000168b: SLOAD
0000168c: PUSH1 0x40
0000168e: DUP1
0000168f: MLOAD
00001690: PUSH1 0x20
00001692: PUSH1 0x01
00001694: DUP5
00001695: AND
00001696: ISZERO
00001697: PUSH2 0x0100
0000169a: MUL
0000169b: PUSH1 0x00
0000169d: NOT
0000169e: ADD
0000169f: SWAP1
000016a0: SWAP4
000016a1: AND
000016a2: DUP5
000016a3: SWAP1
000016a4: DIV
000016a5: PUSH1 0x1f
000016a7: DUP2
000016a8: ADD
000016a9: DUP5
000016aa: SWAP1
000016ab: DIV
000016ac: DUP5
000016ad: MUL
000016ae: DUP3
000016af: ADD
000016b0: DUP5
000016b1: ADD
000016b2: SWAP1
000016b3: SWAP3
000016b4: MSTORE
000016b5: DUP2
000016b6: DUP2
000016b7: MSTORE
000016b8: SWAP3
000016b9: SWAP2
000016ba: DUP4
000016bb: ADD
000016bc: DUP3
000016bd: DUP3
000016be: DUP1
000016bf: ISZERO
000016c0: PUSH2 0x0bc7
000016c3: JUMPI
000016c4: DUP1
000016c5: PUSH1 0x1f
000016c7: LT
000016c8: PUSH2 0x0b9c
000016cb: JUMPI
000016cc: PUSH2 0x0100
000016cf: DUP1
000016d0: DUP4
000016d1: SLOAD
000016d2: DIV
000016d3: MUL
000016d4: DUP4
000016d5: MSTORE
000016d6: SWAP2
000016d7: PUSH1 0x20
000016d9: ADD
000016da: SWAP2
000016db: PUSH2 0x0bc7
000016de: JUMP
000016df: JUMPDEST
000016e0: PUSH1 0x08
000016e2: SLOAD
000016e3: DUP2
000016e4: JUMP
000016e5: JUMPDEST
000016e6: PUSH1 0x0b
000016e8: SLOAD
000016e9: DUP2
000016ea: JUMP
000016eb: JUMPDEST
000016ec: PUSH1 0x09
000016ee: SLOAD
000016ef: DUP2
000016f0: JUMP
000016f1: JUMPDEST
000016f2: PUSH1 0x0f
000016f4: SLOAD
000016f5: DUP2
000016f6: JUMP
000016f7: JUMPDEST
000016f8: PUSH2 0x0e10
000016fb: DUP2
000016fc: JUMP
000016fd: JUMPDEST
000016fe: PUSH1 0x04
00001700: SLOAD
00001701: PUSH1 0x01
00001703: PUSH1 0xa0
00001705: PUSH1 0x02
00001707: EXP
00001708: SUB
00001709: AND
0000170a: DUP2
0000170b: JUMP
0000170c: JUMPDEST
0000170d: PUSH1 0x00
0000170f: DUP1
00001710: PUSH1 0x00
00001712: TIMESTAMP
00001713: DUP7
00001714: PUSH1 0x06
00001716: ADD
00001717: SLOAD
00001718: LT
00001719: ISZERO
0000171a: ISZERO
0000171b: ISZERO
0000171c: PUSH2 0x176f
0000171f: JUMPI
00001720: PUSH1 0x40
00001722: DUP1
00001723: MLOAD
00001724: PUSH1 0xe5
00001726: PUSH1 0x02
00001728: EXP
00001729: PUSH3 0x461bcd
0000172d: MUL
0000172e: DUP2
0000172f: MSTORE
00001730: PUSH1 0x20
00001732: PUSH1 0x04
00001734: DUP3
00001735: ADD
00001736: MSTORE
00001737: PUSH1 0x0f
00001739: PUSH1 0x24
0000173b: DUP3
0000173c: ADD
0000173d: MSTORE
0000173e: PUSH32 0x416674657220646561646c696e65210000000000000000000000000000000000
0000175f: PUSH1 0x44
00001761: DUP3
00001762: ADD
00001763: MSTORE
00001764: SWAP1
00001765: MLOAD
00001766: SWAP1
00001767: DUP2
00001768: SWAP1
00001769: SUB
0000176a: PUSH1 0x64
0000176c: ADD
0000176d: SWAP1
0000176e: REVERT
0000176f: JUMPDEST
00001770: PUSH1 0x07
00001772: DUP7
00001773: ADD
00001774: SLOAD
00001775: PUSH1 0x0a
00001777: SWAP1
00001778: DIV
00001779: DUP6
0000177a: LT
0000177b: ISZERO
0000177c: PUSH2 0x17cf
0000177f: JUMPI
00001780: PUSH1 0x40
00001782: DUP1
00001783: MLOAD
00001784: PUSH1 0xe5
00001786: PUSH1 0x02
00001788: EXP
00001789: PUSH3 0x461bcd
0000178d: MUL
0000178e: DUP2
0000178f: MSTORE
00001790: PUSH1 0x20
00001792: PUSH1 0x04
00001794: DUP3
00001795: ADD
00001796: MSTORE
00001797: PUSH1 0x11
00001799: PUSH1 0x24
0000179b: DUP3
0000179c: ADD
0000179d: MSTORE
0000179e: PUSH32 0x4e6f7420656e6f75676820457468657221000000000000000000000000000000
000017bf: PUSH1 0x44
000017c1: DUP3
000017c2: ADD
000017c3: MSTORE
000017c4: SWAP1
000017c5: MLOAD
000017c6: SWAP1
000017c7: DUP2
000017c8: SWAP1
000017c9: SUB
000017ca: PUSH1 0x64
000017cc: ADD
000017cd: SWAP1
000017ce: REVERT
000017cf: JUMPDEST
000017d0: DUP6
000017d1: SLOAD
000017d2: PUSH2 0x17db
000017d5: SWAP1
000017d6: DUP7
000017d7: PUSH2 0x1fe1
000017da: JUMP
000017db: JUMPDEST
000017dc: DUP7
000017dd: SSTORE
000017de: PUSH1 0x07
000017e0: DUP7
000017e1: ADD
000017e2: SLOAD
000017e3: DUP6
000017e4: LT
000017e5: PUSH2 0x180a
000017e8: JUMPI
000017e9: PUSH1 0x09
000017eb: DUP7
000017ec: ADD
000017ed: DUP1
000017ee: SLOAD
000017ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001804: NOT
00001805: AND
00001806: CALLER
00001807: OR
00001808: SWAP1
00001809: SSTORE
0000180a: JUMPDEST
0000180b: PUSH2 0x1814
0000180e: DUP7
0000180f: DUP7
00001810: PUSH2 0x1ff1
00001813: JUMP
00001814: JUMPDEST
00001815: PUSH2 0x181f
00001818: DUP7
00001819: DUP7
0000181a: DUP7
0000181b: PUSH2 0x21ac
0000181e: JUMP
0000181f: JUMPDEST
00001820: PUSH2 0x1829
00001823: CALLER
00001824: DUP8
00001825: PUSH2 0x1a43
00001828: JUMP
00001829: JUMPDEST
0000182a: PUSH2 0x1834
0000182d: DUP7
0000182e: CALLER
0000182f: DUP8
00001830: PUSH2 0x235c
00001833: JUMP
00001834: JUMPDEST
00001835: PUSH1 0x10
00001837: SLOAD
00001838: SWAP1
00001839: SWAP4
0000183a: POP
0000183b: PUSH1 0x01
0000183d: EQ
0000183e: ISZERO
0000183f: PUSH2 0x18c8
00001842: JUMPI
00001843: PUSH1 0x04
00001845: DUP1
00001846: SLOAD
00001847: PUSH1 0x40
00001849: DUP1
0000184a: MLOAD
0000184b: PUSH32 0x40c10f1900000000000000000000000000000000000000000000000000000000
0000186c: DUP2
0000186d: MSTORE
0000186e: CALLER
0000186f: SWAP4
00001870: DUP2
00001871: ADD
00001872: SWAP4
00001873: SWAP1
00001874: SWAP4
00001875: MSTORE
00001876: PUSH1 0x24
00001878: DUP4
00001879: ADD
0000187a: DUP7
0000187b: SWAP1
0000187c: MSTORE
0000187d: MLOAD
0000187e: PUSH1 0x01
00001880: PUSH1 0xa0
00001882: PUSH1 0x02
00001884: EXP
00001885: SUB
00001886: SWAP1
00001887: SWAP2
00001888: AND
00001889: SWAP2
0000188a: PUSH4 0x40c10f19
0000188f: SWAP2
00001890: PUSH1 0x44
00001892: DUP1
00001893: DUP4
00001894: ADD
00001895: SWAP3
00001896: PUSH1 0x00
00001898: SWAP3
00001899: SWAP2
0000189a: SWAP1
0000189b: DUP3
0000189c: SWAP1
0000189d: SUB
0000189e: ADD
0000189f: DUP2
000018a0: DUP4
000018a1: DUP8
000018a2: DUP1
000018a3: EXTCODESIZE
000018a4: ISZERO
000018a5: DUP1
000018a6: ISZERO
000018a7: PUSH2 0x18af
000018aa: JUMPI
000018ab: PUSH1 0x00
000018ad: DUP1
000018ae: REVERT
000018af: JUMPDEST
000018b0: POP
000018b1: GAS
000018b2: CALL
000018b3: ISZERO
000018b4: DUP1
000018b5: ISZERO
000018b6: PUSH2 0x18c3
000018b9: JUMPI
000018ba: RETURNDATASIZE
000018bb: PUSH1 0x00
000018bd: DUP1
000018be: RETURNDATACOPY
000018bf: RETURNDATASIZE
000018c0: PUSH1 0x00
000018c2: REVERT
000018c3: JUMPDEST
000018c4: POP
000018c5: POP
000018c6: POP
000018c7: POP
000018c8: JUMPDEST
000018c9: PUSH8 0x0de0b6b3a7640000
000018d2: DUP4
000018d3: DIV
000018d4: SWAP2
000018d5: POP
000018d6: PUSH2 0x18ee
000018d9: DUP7
000018da: PUSH1 0x06
000018dc: ADD
000018dd: SLOAD
000018de: PUSH2 0x18e9
000018e1: DUP5
000018e2: PUSH2 0x012c
000018e5: PUSH2 0x24c7
000018e8: JUMP
000018e9: JUMPDEST
000018ea: PUSH2 0x1fe1
000018ed: JUMP
000018ee: JUMPDEST
000018ef: SWAP1
000018f0: POP
000018f1: PUSH2 0x18ff
000018f4: DUP2
000018f5: PUSH3 0x015180
000018f9: TIMESTAMP
000018fa: ADD
000018fb: PUSH2 0x1fc8
000018fe: JUMP
000018ff: JUMPDEST
00001900: PUSH1 0x06
00001902: DUP8
00001903: ADD
00001904: SSTORE
00001905: PUSH1 0x05
00001907: DUP7
00001908: ADD
00001909: SLOAD
0000190a: TIMESTAMP
0000190b: GT
0000190c: ISZERO
0000190d: PUSH2 0x1932
00001910: JUMPI
00001911: PUSH2 0x0e10
00001914: DUP7
00001915: PUSH1 0x08
00001917: ADD
00001918: SLOAD
00001919: ADD
0000191a: TIMESTAMP
0000191b: GT
0000191c: ISZERO
0000191d: PUSH2 0x1932
00001920: JUMPI
00001921: PUSH1 0x07
00001923: DUP7
00001924: ADD
00001925: DUP1
00001926: SLOAD
00001927: PUSH1 0x02
00001929: MUL
0000192a: SWAP1
0000192b: SSTORE
0000192c: TIMESTAMP
0000192d: PUSH1 0x08
0000192f: DUP8
00001930: ADD
00001931: SSTORE
00001932: JUMPDEST
00001933: POP
00001934: POP
00001935: POP
00001936: POP
00001937: POP
00001938: POP
00001939: JUMP
0000193a: JUMPDEST
0000193b: PUSH1 0x00
0000193d: PUSH1 0x01
0000193f: PUSH1 0xa0
00001941: PUSH1 0x02
00001943: EXP
00001944: SUB
00001945: DUP4
00001946: AND
00001947: ADDRESS
00001948: EQ
00001949: ISZERO
0000194a: PUSH2 0x1955
0000194d: JUMPI
0000194e: POP
0000194f: PUSH1 0x01
00001951: PUSH2 0x1a3d
00001954: JUMP
00001955: JUMPDEST
00001956: PUSH1 0x01
00001958: SLOAD
00001959: PUSH1 0x01
0000195b: PUSH1 0xa0
0000195d: PUSH1 0x02
0000195f: EXP
00001960: SUB
00001961: DUP5
00001962: DUP2
00001963: AND
00001964: SWAP2
00001965: AND
00001966: EQ
00001967: ISZERO
00001968: PUSH2 0x1973
0000196b: JUMPI
0000196c: POP
0000196d: PUSH1 0x01
0000196f: PUSH2 0x1a3d
00001972: JUMP
00001973: JUMPDEST
00001974: PUSH1 0x00
00001976: SLOAD
00001977: PUSH1 0x01
00001979: PUSH1 0xa0
0000197b: PUSH1 0x02
0000197d: EXP
0000197e: SUB
0000197f: AND
00001980: ISZERO
00001981: ISZERO
00001982: PUSH2 0x198d
00001985: JUMPI
00001986: POP
00001987: PUSH1 0x00
00001989: PUSH2 0x1a3d
0000198c: JUMP
0000198d: JUMPDEST
0000198e: PUSH1 0x00
00001990: DUP1
00001991: SLOAD
00001992: PUSH1 0x40
00001994: DUP1
00001995: MLOAD
00001996: PUSH32 0xb700961300000000000000000000000000000000000000000000000000000000
000019b7: DUP2
000019b8: MSTORE
000019b9: PUSH1 0x01
000019bb: PUSH1 0xa0
000019bd: PUSH1 0x02
000019bf: EXP
000019c0: SUB
000019c1: DUP8
000019c2: DUP2
000019c3: AND
000019c4: PUSH1 0x04
000019c6: DUP4
000019c7: ADD
000019c8: MSTORE
000019c9: ADDRESS
000019ca: PUSH1 0x24
000019cc: DUP4
000019cd: ADD
000019ce: MSTORE
000019cf: PUSH1 0x01
000019d1: PUSH1 0xe0
000019d3: PUSH1 0x02
000019d5: EXP
000019d6: SUB
000019d7: NOT
000019d8: DUP8
000019d9: AND
000019da: PUSH1 0x44
000019dc: DUP4
000019dd: ADD
000019de: MSTORE
000019df: SWAP2
000019e0: MLOAD
000019e1: SWAP2
000019e2: SWAP1
000019e3: SWAP3
000019e4: AND
000019e5: SWAP3
000019e6: PUSH4 0xb7009613
000019eb: SWAP3
000019ec: PUSH1 0x64
000019ee: DUP1
000019ef: DUP3
000019f0: ADD
000019f1: SWAP4
000019f2: PUSH1 0x20
000019f4: SWAP4
000019f5: SWAP1
000019f6: SWAP3
000019f7: DUP4
000019f8: SWAP1
000019f9: SUB
000019fa: SWAP1
000019fb: SWAP2
000019fc: ADD
000019fd: SWAP1
000019fe: DUP3
000019ff: SWAP1
00001a00: DUP8
00001a01: DUP1
00001a02: EXTCODESIZE
00001a03: ISZERO
00001a04: DUP1
00001a05: ISZERO
00001a06: PUSH2 0x1a0e
00001a09: JUMPI
00001a0a: PUSH1 0x00
00001a0c: DUP1
00001a0d: REVERT
00001a0e: JUMPDEST
00001a0f: POP
00001a10: GAS
00001a11: CALL
00001a12: ISZERO
00001a13: DUP1
00001a14: ISZERO
00001a15: PUSH2 0x1a22
00001a18: JUMPI
00001a19: RETURNDATASIZE
00001a1a: PUSH1 0x00
00001a1c: DUP1
00001a1d: RETURNDATACOPY
00001a1e: RETURNDATASIZE
00001a1f: PUSH1 0x00
00001a21: REVERT
00001a22: JUMPDEST
00001a23: POP
00001a24: POP
00001a25: POP
00001a26: POP
00001a27: PUSH1 0x40
00001a29: MLOAD
00001a2a: RETURNDATASIZE
00001a2b: PUSH1 0x20
00001a2d: DUP2
00001a2e: LT
00001a2f: ISZERO
00001a30: PUSH2 0x1a38
00001a33: JUMPI
00001a34: PUSH1 0x00
00001a36: DUP1
00001a37: REVERT
00001a38: JUMPDEST
00001a39: POP
00001a3a: MLOAD
00001a3b: SWAP1
00001a3c: POP
00001a3d: JUMPDEST
00001a3e: SWAP3
00001a3f: SWAP2
00001a40: POP
00001a41: POP
00001a42: JUMP
00001a43: JUMPDEST
00001a44: PUSH1 0x01
00001a46: PUSH1 0xa0
00001a48: PUSH1 0x02
00001a4a: EXP
00001a4b: SUB
00001a4c: DUP3
00001a4d: AND
00001a4e: PUSH1 0x00
00001a50: SWAP1
00001a51: DUP2
00001a52: MSTORE
00001a53: PUSH1 0x0a
00001a55: DUP3
00001a56: ADD
00001a57: PUSH1 0x20
00001a59: MSTORE
00001a5a: PUSH1 0x40
00001a5c: DUP2
00001a5d: KECCAK256
00001a5e: PUSH1 0x01
00001a60: ADD
00001a61: SLOAD
00001a62: ISZERO
00001a63: ISZERO
00001a64: PUSH2 0x1a6c
00001a67: JUMPI
00001a68: PUSH2 0x1682
00001a6b: JUMP
00001a6c: JUMPDEST
00001a6d: PUSH2 0x1a76
00001a70: DUP4
00001a71: DUP4
00001a72: PUSH2 0x1b2e
00001a75: JUMP
00001a76: JUMPDEST
00001a77: SWAP1
00001a78: POP
00001a79: PUSH1 0x00
00001a7b: DUP2
00001a7c: GT
00001a7d: ISZERO
00001a7e: PUSH2 0x1abe
00001a81: JUMPI
00001a82: PUSH1 0x01
00001a84: PUSH1 0xa0
00001a86: PUSH1 0x02
00001a88: EXP
00001a89: SUB
00001a8a: DUP4
00001a8b: AND
00001a8c: PUSH1 0x00
00001a8e: SWAP1
00001a8f: DUP2
00001a90: MSTORE
00001a91: PUSH1 0x0e
00001a93: PUSH1 0x20
00001a95: MSTORE
00001a96: PUSH1 0x40
00001a98: SWAP1
00001a99: KECCAK256
00001a9a: SLOAD
00001a9b: PUSH2 0x1aa4
00001a9e: SWAP1
00001a9f: DUP3
00001aa0: PUSH2 0x1fe1
00001aa3: JUMP
00001aa4: JUMPDEST
00001aa5: PUSH1 0x01
00001aa7: PUSH1 0xa0
00001aa9: PUSH1 0x02
00001aab: EXP
00001aac: SUB
00001aad: DUP5
00001aae: AND
00001aaf: PUSH1 0x00
00001ab1: SWAP1
00001ab2: DUP2
00001ab3: MSTORE
00001ab4: PUSH1 0x0e
00001ab6: PUSH1 0x20
00001ab8: MSTORE
00001ab9: PUSH1 0x40
00001abb: SWAP1
00001abc: KECCAK256
00001abd: SSTORE
00001abe: JUMPDEST
00001abf: PUSH1 0x04
00001ac1: DUP3
00001ac2: ADD
00001ac3: SLOAD
00001ac4: PUSH1 0x01
00001ac6: PUSH1 0xa0
00001ac8: PUSH1 0x02
00001aca: EXP
00001acb: SUB
00001acc: DUP5
00001acd: AND
00001ace: PUSH1 0x00
00001ad0: SWAP1
00001ad1: DUP2
00001ad2: MSTORE
00001ad3: PUSH1 0x0a
00001ad5: DUP5
00001ad6: ADD
00001ad7: PUSH1 0x20
00001ad9: MSTORE
00001ada: PUSH1 0x40
00001adc: SWAP1
00001add: KECCAK256
00001ade: SSTORE
00001adf: POP
00001ae0: POP
00001ae1: POP
00001ae2: JUMP
00001ae3: JUMPDEST
00001ae4: PUSH1 0x00
00001ae6: PUSH8 0x0de0b6b3a7640000
00001aef: PUSH2 0x1b0d
00001af2: PUSH2 0x1afb
00001af5: DUP6
00001af6: DUP6
00001af7: PUSH2 0x24c7
00001afa: JUMP
00001afb: JUMPDEST
00001afc: PUSH1 0x02
00001afe: PUSH8 0x0de0b6b3a7640000
00001b07: JUMPDEST
00001b08: DIV
00001b09: PUSH2 0x1fe1
00001b0c: JUMP
00001b0d: JUMPDEST
00001b0e: DUP2
00001b0f: ISZERO
00001b10: ISZERO
00001b11: PUSH2 0x1b16
00001b14: JUMPI
00001b15: INVALID
00001b16: JUMPDEST
00001b17: DIV
00001b18: SWAP4
00001b19: SWAP3
00001b1a: POP
00001b1b: POP
00001b1c: POP
00001b1d: JUMP
00001b1e: JUMPDEST
00001b1f: DUP1
00001b20: DUP3
00001b21: SUB
00001b22: DUP3
00001b23: DUP2
00001b24: GT
00001b25: ISZERO
00001b26: PUSH2 0x1a3d
00001b29: JUMPI
00001b2a: PUSH1 0x00
00001b2c: DUP1
00001b2d: REVERT
00001b2e: JUMPDEST
00001b2f: PUSH1 0x01
00001b31: PUSH1 0xa0
00001b33: PUSH1 0x02
00001b35: EXP
00001b36: SUB
00001b37: DUP3
00001b38: AND
00001b39: PUSH1 0x00
00001b3b: SWAP1
00001b3c: DUP2
00001b3d: MSTORE
00001b3e: PUSH1 0x0a
00001b40: DUP3
00001b41: ADD
00001b42: PUSH1 0x20
00001b44: MSTORE
00001b45: PUSH1 0x40
00001b47: DUP2
00001b48: KECCAK256
00001b49: PUSH1 0x01
00001b4b: ADD
00001b4c: SLOAD
00001b4d: DUP2
00001b4e: SWAP1
00001b4f: DUP2
00001b50: SWAP1
00001b51: ISZERO
00001b52: ISZERO
00001b53: PUSH2 0x1b5f
00001b56: JUMPI
00001b57: PUSH1 0x00
00001b59: SWAP3
00001b5a: POP
00001b5b: PUSH2 0x1bdd
00001b5e: JUMP
00001b5f: JUMPDEST
00001b60: PUSH1 0x04
00001b62: DUP5
00001b63: ADD
00001b64: SLOAD
00001b65: PUSH1 0x01
00001b67: PUSH1 0xa0
00001b69: PUSH1 0x02
00001b6b: EXP
00001b6c: SUB
00001b6d: DUP7
00001b6e: AND
00001b6f: PUSH1 0x00
00001b71: SWAP1
00001b72: DUP2
00001b73: MSTORE
00001b74: PUSH1 0x0a
00001b76: DUP7
00001b77: ADD
00001b78: PUSH1 0x20
00001b7a: MSTORE
00001b7b: PUSH1 0x40
00001b7d: SWAP1
00001b7e: KECCAK256
00001b7f: SLOAD
00001b80: PUSH2 0x1b89
00001b83: SWAP2
00001b84: SWAP1
00001b85: PUSH2 0x1b1e
00001b88: JUMP
00001b89: JUMPDEST
00001b8a: SWAP2
00001b8b: POP
00001b8c: PUSH1 0x00
00001b8e: SWAP1
00001b8f: POP
00001b90: DUP2
00001b91: ISZERO
00001b92: PUSH2 0x1bd9
00001b95: JUMPI
00001b96: PUSH1 0x01
00001b98: PUSH1 0xa0
00001b9a: PUSH1 0x02
00001b9c: EXP
00001b9d: SUB
00001b9e: DUP6
00001b9f: AND
00001ba0: PUSH1 0x00
00001ba2: SWAP1
00001ba3: DUP2
00001ba4: MSTORE
00001ba5: PUSH1 0x0a
00001ba7: DUP6
00001ba8: ADD
00001ba9: PUSH1 0x20
00001bab: MSTORE
00001bac: PUSH1 0x40
00001bae: SWAP1
00001baf: KECCAK256
00001bb0: PUSH1 0x01
00001bb2: ADD
00001bb3: SLOAD
00001bb4: PUSH12 0x033b2e3c9fd0803ce8000000
00001bc1: SWAP1
00001bc2: PUSH2 0x1bcc
00001bc5: SWAP1
00001bc6: DUP5
00001bc7: SWAP1
00001bc8: PUSH2 0x24c7
00001bcb: JUMP
00001bcc: JUMPDEST
00001bcd: DUP2
00001bce: ISZERO
00001bcf: ISZERO
00001bd0: PUSH2 0x1bd5
00001bd3: JUMPI
00001bd4: INVALID
00001bd5: JUMPDEST
00001bd6: DIV
00001bd7: SWAP1
00001bd8: POP
00001bd9: JUMPDEST
00001bda: DUP1
00001bdb: SWAP3
00001bdc: POP
00001bdd: JUMPDEST
00001bde: POP
00001bdf: POP
00001be0: SWAP3
00001be1: SWAP2
00001be2: POP
00001be3: POP
00001be4: JUMP
00001be5: JUMPDEST
00001be6: PUSH1 0x09
00001be8: DUP2
00001be9: ADD
00001bea: SLOAD
00001beb: PUSH1 0x00
00001bed: SWAP1
00001bee: PUSH1 0xa0
00001bf0: PUSH1 0x02
00001bf2: EXP
00001bf3: SWAP1
00001bf4: DIV
00001bf5: PUSH1 0xff
00001bf7: AND
00001bf8: ISZERO
00001bf9: PUSH2 0x1c4c
00001bfc: JUMPI
00001bfd: PUSH1 0x40
00001bff: DUP1
00001c00: MLOAD
00001c01: PUSH1 0xe5
00001c03: PUSH1 0x02
00001c05: EXP
00001c06: PUSH3 0x461bcd
00001c0a: MUL
00001c0b: DUP2
00001c0c: MSTORE
00001c0d: PUSH1 0x20
00001c0f: PUSH1 0x04
00001c11: DUP3
00001c12: ADD
00001c13: MSTORE
00001c14: PUSH1 0x12
00001c16: PUSH1 0x24
00001c18: DUP3
00001c19: ADD
00001c1a: MSTORE
00001c1b: PUSH32 0x416c72656164792066696e616c697a6564210000000000000000000000000000
00001c3c: PUSH1 0x44
00001c3e: DUP3
00001c3f: ADD
00001c40: MSTORE
00001c41: SWAP1
00001c42: MLOAD
00001c43: SWAP1
00001c44: DUP2
00001c45: SWAP1
00001c46: SUB
00001c47: PUSH1 0x64
00001c49: ADD
00001c4a: SWAP1
00001c4b: REVERT
00001c4c: JUMPDEST
00001c4d: PUSH1 0x06
00001c4f: DUP3
00001c50: ADD
00001c51: SLOAD
00001c52: TIMESTAMP
00001c53: GT
00001c54: PUSH2 0x1ca7
00001c57: JUMPI
00001c58: PUSH1 0x40
00001c5a: DUP1
00001c5b: MLOAD
00001c5c: PUSH1 0xe5
00001c5e: PUSH1 0x02
00001c60: EXP
00001c61: PUSH3 0x461bcd
00001c65: MUL
00001c66: DUP2
00001c67: MSTORE
00001c68: PUSH1 0x20
00001c6a: PUSH1 0x04
00001c6c: DUP3
00001c6d: ADD
00001c6e: MSTORE
00001c6f: PUSH1 0x14
00001c71: PUSH1 0x24
00001c73: DUP3
00001c74: ADD
00001c75: MSTORE
00001c76: PUSH32 0x526f756e64207374696c6c2072756e6e696e6721000000000000000000000000
00001c97: PUSH1 0x44
00001c99: DUP3
00001c9a: ADD
00001c9b: MSTORE
00001c9c: SWAP1
00001c9d: MLOAD
00001c9e: SWAP1
00001c9f: DUP2
00001ca0: SWAP1
00001ca1: SUB
00001ca2: PUSH1 0x64
00001ca4: ADD
00001ca5: SWAP1
00001ca6: REVERT
00001ca7: JUMPDEST
00001ca8: PUSH1 0x10
00001caa: SLOAD
00001cab: PUSH1 0x01
00001cad: EQ
00001cae: ISZERO
00001caf: PUSH2 0x1d91
00001cb2: JUMPI
00001cb3: PUSH1 0x04
00001cb5: DUP1
00001cb6: SLOAD
00001cb7: PUSH1 0x40
00001cb9: DUP1
00001cba: MLOAD
00001cbb: PUSH32 0x7d64bcb400000000000000000000000000000000000000000000000000000000
00001cdc: DUP2
00001cdd: MSTORE
00001cde: SWAP1
00001cdf: MLOAD
00001ce0: PUSH1 0x01
00001ce2: PUSH1 0xa0
00001ce4: PUSH1 0x02
00001ce6: EXP
00001ce7: SUB
00001ce8: SWAP1
00001ce9: SWAP3
00001cea: AND
00001ceb: SWAP3
00001cec: PUSH4 0x7d64bcb4
00001cf1: SWAP3
00001cf2: DUP3
00001cf3: DUP3
00001cf4: ADD
00001cf5: SWAP3
00001cf6: PUSH1 0x20
00001cf8: SWAP3
00001cf9: SWAP1
00001cfa: DUP3
00001cfb: SWAP1
00001cfc: SUB
00001cfd: ADD
00001cfe: DUP2
00001cff: PUSH1 0x00
00001d01: DUP8
00001d02: DUP1
00001d03: EXTCODESIZE
00001d04: ISZERO
00001d05: DUP1
00001d06: ISZERO
00001d07: PUSH2 0x1d0f
00001d0a: JUMPI
00001d0b: PUSH1 0x00
00001d0d: DUP1
00001d0e: REVERT
00001d0f: JUMPDEST
00001d10: POP
00001d11: GAS
00001d12: CALL
00001d13: ISZERO
00001d14: DUP1
00001d15: ISZERO
00001d16: PUSH2 0x1d23
00001d19: JUMPI
00001d1a: RETURNDATASIZE
00001d1b: PUSH1 0x00
00001d1d: DUP1
00001d1e: RETURNDATACOPY
00001d1f: RETURNDATASIZE
00001d20: PUSH1 0x00
00001d22: REVERT
00001d23: JUMPDEST
00001d24: POP
00001d25: POP
00001d26: POP
00001d27: POP
00001d28: PUSH1 0x40
00001d2a: MLOAD
00001d2b: RETURNDATASIZE
00001d2c: PUSH1 0x20
00001d2e: DUP2
00001d2f: LT
00001d30: ISZERO
00001d31: PUSH2 0x1d39
00001d34: JUMPI
00001d35: PUSH1 0x00
00001d37: DUP1
00001d38: REVERT
00001d39: JUMPDEST
00001d3a: POP
00001d3b: MLOAD
00001d3c: ISZERO
00001d3d: ISZERO
00001d3e: PUSH2 0x1d91
00001d41: JUMPI
00001d42: PUSH1 0x40
00001d44: DUP1
00001d45: MLOAD
00001d46: PUSH1 0xe5
00001d48: PUSH1 0x02
00001d4a: EXP
00001d4b: PUSH3 0x461bcd
00001d4f: MUL
00001d50: DUP2
00001d51: MSTORE
00001d52: PUSH1 0x20
00001d54: PUSH1 0x04
00001d56: DUP3
00001d57: ADD
00001d58: MSTORE
00001d59: PUSH1 0x1f
00001d5b: PUSH1 0x24
00001d5d: DUP3
00001d5e: ADD
00001d5f: MSTORE
00001d60: PUSH32 0x436f756c646e27742066696e697368206d696e74696e6720746f6b656e732100
00001d81: PUSH1 0x44
00001d83: DUP3
00001d84: ADD
00001d85: MSTORE
00001d86: SWAP1
00001d87: MLOAD
00001d88: SWAP1
00001d89: DUP2
00001d8a: SWAP1
00001d8b: SUB
00001d8c: PUSH1 0x64
00001d8e: ADD
00001d8f: SWAP1
00001d90: REVERT
00001d91: JUMPDEST
00001d92: PUSH1 0x09
00001d94: DUP3
00001d95: ADD
00001d96: SLOAD
00001d97: PUSH1 0x01
00001d99: PUSH1 0xa0
00001d9b: PUSH1 0x02
00001d9d: EXP
00001d9e: SUB
00001d9f: AND
00001da0: PUSH1 0x00
00001da2: SWAP1
00001da3: DUP2
00001da4: MSTORE
00001da5: PUSH1 0x0e
00001da7: PUSH1 0x20
00001da9: MSTORE
00001daa: PUSH1 0x40
00001dac: SWAP1
00001dad: KECCAK256
00001dae: SLOAD
00001daf: PUSH1 0x01
00001db1: DUP4
00001db2: ADD
00001db3: SLOAD
00001db4: PUSH2 0x1dbd
00001db7: SWAP2
00001db8: SWAP1
00001db9: PUSH2 0x1fe1
00001dbc: JUMP
00001dbd: JUMPDEST
00001dbe: PUSH1 0x09
00001dc0: DUP4
00001dc1: ADD
00001dc2: SLOAD
00001dc3: PUSH1 0x01
00001dc5: PUSH1 0xa0
00001dc7: PUSH1 0x02
00001dc9: EXP
00001dca: SUB
00001dcb: AND
00001dcc: PUSH1 0x00
00001dce: SWAP1
00001dcf: DUP2
00001dd0: MSTORE
00001dd1: PUSH1 0x0e
00001dd3: PUSH1 0x20
00001dd5: MSTORE
00001dd6: PUSH1 0x40
00001dd8: SWAP1
00001dd9: KECCAK256
00001dda: SSTORE
00001ddb: PUSH1 0x0d
00001ddd: SLOAD
00001dde: PUSH1 0x01
00001de0: DUP4
00001de1: ADD
00001de2: SLOAD
00001de3: PUSH2 0x1dec
00001de6: SWAP2
00001de7: SWAP1
00001de8: PUSH2 0x1fe1
00001deb: JUMP
00001dec: JUMPDEST
00001ded: PUSH1 0x0d
00001def: SSTORE
00001df0: PUSH1 0x09
00001df2: DUP3
00001df3: ADD
00001df4: SLOAD
00001df5: PUSH1 0x01
00001df7: DUP4
00001df8: ADD
00001df9: SLOAD
00001dfa: PUSH1 0x40
00001dfc: DUP1
00001dfd: MLOAD
00001dfe: PUSH1 0x01
00001e00: PUSH1 0xa0
00001e02: PUSH1 0x02
00001e04: EXP
00001e05: SUB
00001e06: SWAP1
00001e07: SWAP4
00001e08: AND
00001e09: DUP4
00001e0a: MSTORE
00001e0b: PUSH1 0x20
00001e0d: DUP4
00001e0e: ADD
00001e0f: SWAP2
00001e10: SWAP1
00001e11: SWAP2
00001e12: MSTORE
00001e13: DUP1
00001e14: MLOAD
00001e15: PUSH32 0xbf737c87eff4ef74213cb228c9e25ca0c4519947f5fcc4a41b221ba93d76a425
00001e36: SWAP3
00001e37: DUP2
00001e38: SWAP1
00001e39: SUB
00001e3a: SWAP1
00001e3b: SWAP2
00001e3c: ADD
00001e3d: SWAP1
00001e3e: LOG1
00001e3f: PUSH1 0x01
00001e41: DUP3
00001e42: ADD
00001e43: SLOAD
00001e44: PUSH1 0x09
00001e46: DUP1
00001e47: SLOAD
00001e48: SWAP1
00001e49: SWAP2
00001e4a: ADD
00001e4b: SWAP1
00001e4c: SSTORE
00001e4d: PUSH1 0x0a
00001e4f: SLOAD
00001e50: DUP3
00001e51: SLOAD
00001e52: PUSH2 0x1e6c
00001e55: SWAP2
00001e56: SWAP1
00001e57: PUSH2 0x18e9
00001e5a: SWAP1
00001e5b: PUSH1 0x14
00001e5d: PUSH8 0x0de0b6b3a7640000
00001e66: JUMPDEST
00001e67: DIV
00001e68: PUSH2 0x1ae3
00001e6b: JUMP
00001e6c: JUMPDEST
00001e6d: PUSH1 0x0a
00001e6f: DUP2
00001e70: SWAP1
00001e71: SSTORE
00001e72: PUSH1 0x02
00001e74: DUP4
00001e75: ADD
00001e76: SLOAD
00001e77: PUSH2 0x1e80
00001e7a: SWAP2
00001e7b: SWAP1
00001e7c: PUSH2 0x1fe1
00001e7f: JUMP
00001e80: JUMPDEST
00001e81: PUSH1 0x0a
00001e83: SSTORE
00001e84: PUSH1 0x04
00001e86: SLOAD
00001e87: PUSH1 0xa0
00001e89: PUSH1 0x02
00001e8b: EXP
00001e8c: SWAP1
00001e8d: DIV
00001e8e: PUSH1 0xff
00001e90: AND
00001e91: ISZERO
00001e92: PUSH2 0x1eba
00001e95: JUMPI
00001e96: PUSH1 0x0a
00001e98: DUP1
00001e99: SLOAD
00001e9a: PUSH1 0x05
00001e9c: SLOAD
00001e9d: PUSH1 0x01
00001e9f: PUSH1 0xa0
00001ea1: PUSH1 0x02
00001ea3: EXP
00001ea4: SUB
00001ea5: AND
00001ea6: PUSH1 0x00
00001ea8: SWAP1
00001ea9: DUP2
00001eaa: MSTORE
00001eab: PUSH1 0x0e
00001ead: PUSH1 0x20
00001eaf: MSTORE
00001eb0: PUSH1 0x40
00001eb2: DUP2
00001eb3: KECCAK256
00001eb4: SWAP2
00001eb5: SWAP1
00001eb6: SWAP2
00001eb7: SSTORE
00001eb8: SWAP1
00001eb9: SSTORE
00001eba: JUMPDEST
00001ebb: PUSH1 0x10
00001ebd: SLOAD
00001ebe: PUSH1 0x01
00001ec0: EQ
00001ec1: ISZERO
00001ec2: PUSH2 0x1edf
00001ec5: JUMPI
00001ec6: DUP2
00001ec7: SLOAD
00001ec8: PUSH2 0x1ed8
00001ecb: SWAP1
00001ecc: PUSH7 0x470de4df820000
00001ed4: PUSH2 0x1ae3
00001ed7: JUMP
00001ed8: JUMPDEST
00001ed9: SWAP1
00001eda: POP
00001edb: PUSH2 0x1ef6
00001ede: JUMP
00001edf: JUMPDEST
00001ee0: DUP2
00001ee1: SLOAD
00001ee2: PUSH2 0x1ef3
00001ee5: SWAP1
00001ee6: PUSH8 0x013fbe85edc90000
00001eef: PUSH2 0x1ae3
00001ef2: JUMP
00001ef3: JUMPDEST
00001ef4: SWAP1
00001ef5: POP
00001ef6: JUMPDEST
00001ef7: PUSH1 0x04
00001ef9: DUP1
00001efa: SLOAD
00001efb: PUSH1 0x40
00001efd: DUP1
00001efe: MLOAD
00001eff: PUSH32 0x36ef1abb00000000000000000000000000000000000000000000000000000000
00001f20: DUP2
00001f21: MSTORE
00001f22: SWAP1
00001f23: MLOAD
00001f24: PUSH1 0x01
00001f26: PUSH1 0xa0
00001f28: PUSH1 0x02
00001f2a: EXP
00001f2b: SUB
00001f2c: SWAP1
00001f2d: SWAP3
00001f2e: AND
00001f2f: SWAP3
00001f30: PUSH4 0x36ef1abb
00001f35: SWAP3
00001f36: DUP6
00001f37: SWAP3
00001f38: DUP1
00001f39: DUP4
00001f3a: ADD
00001f3b: SWAP3
00001f3c: PUSH1 0x00
00001f3e: SWAP3
00001f3f: SWAP2
00001f40: DUP3
00001f41: SWAP1
00001f42: SUB
00001f43: ADD
00001f44: DUP2
00001f45: DUP6
00001f46: DUP9
00001f47: DUP1
00001f48: EXTCODESIZE
00001f49: ISZERO
00001f4a: DUP1
00001f4b: ISZERO
00001f4c: PUSH2 0x1f54
00001f4f: JUMPI
00001f50: PUSH1 0x00
00001f52: DUP1
00001f53: REVERT
00001f54: JUMPDEST
00001f55: POP
00001f56: GAS
00001f57: CALL
00001f58: ISZERO
00001f59: DUP1
00001f5a: ISZERO
00001f5b: PUSH2 0x1f68
00001f5e: JUMPI
00001f5f: RETURNDATASIZE
00001f60: PUSH1 0x00
00001f62: DUP1
00001f63: RETURNDATACOPY
00001f64: RETURNDATASIZE
00001f65: PUSH1 0x00
00001f67: REVERT
00001f68: JUMPDEST
00001f69: POP
00001f6a: POP
00001f6b: PUSH1 0x08
00001f6d: DUP1
00001f6e: SLOAD
00001f6f: DUP6
00001f70: ADD
00001f71: SWAP1
00001f72: SSTORE
00001f73: POP
00001f74: POP
00001f75: POP
00001f76: PUSH1 0x03
00001f78: DUP3
00001f79: ADD
00001f7a: SLOAD
00001f7b: PUSH1 0x06
00001f7d: DUP1
00001f7e: SLOAD
00001f7f: SWAP1
00001f80: SWAP2
00001f81: ADD
00001f82: SWAP1
00001f83: SSTORE
00001f84: DUP2
00001f85: SLOAD
00001f86: PUSH2 0x1f97
00001f89: SWAP1
00001f8a: PUSH8 0x0905438e60010000
00001f93: PUSH2 0x1ae3
00001f96: JUMP
00001f97: JUMPDEST
00001f98: PUSH1 0x07
00001f9a: DUP1
00001f9b: SLOAD
00001f9c: SWAP1
00001f9d: SWAP2
00001f9e: ADD
00001f9f: SWAP1
00001fa0: SSTORE
00001fa1: POP
00001fa2: PUSH1 0x09
00001fa4: ADD
00001fa5: DUP1
00001fa6: SLOAD
00001fa7: PUSH21 0xff0000000000000000000000000000000000000000
00001fbd: NOT
00001fbe: AND
00001fbf: PUSH1 0xa0
00001fc1: PUSH1 0x02
00001fc3: EXP
00001fc4: OR
00001fc5: SWAP1
00001fc6: SSTORE
00001fc7: JUMP
00001fc8: JUMPDEST
00001fc9: PUSH1 0x00
00001fcb: DUP2
00001fcc: DUP4
00001fcd: GT
00001fce: ISZERO
00001fcf: PUSH2 0x1fd8
00001fd2: JUMPI
00001fd3: DUP2
00001fd4: PUSH2 0x1fda
00001fd7: JUMP
00001fd8: JUMPDEST
00001fd9: DUP3
00001fda: JUMPDEST
00001fdb: SWAP4
00001fdc: SWAP3
00001fdd: POP
00001fde: POP
00001fdf: POP
00001fe0: JUMP
00001fe1: JUMPDEST
00001fe2: DUP1
00001fe3: DUP3
00001fe4: ADD
00001fe5: DUP3
00001fe6: DUP2
00001fe7: LT
00001fe8: ISZERO
00001fe9: PUSH2 0x1a3d
00001fec: JUMPI
00001fed: PUSH1 0x00
00001fef: DUP1
00001ff0: REVERT
00001ff1: JUMPDEST
00001ff2: PUSH1 0x00
00001ff4: DUP1
00001ff5: CALLER
00001ff6: ORIGIN
00001ff7: EQ
00001ff8: PUSH2 0x2071
00001ffb: JUMPI
00001ffc: PUSH1 0x40
00001ffe: DUP1
00001fff: MLOAD
00002000: PUSH1 0xe5
00002002: PUSH1 0x02
00002004: EXP
00002005: PUSH3 0x461bcd
00002009: MUL
0000200a: DUP2
0000200b: MSTORE
0000200c: PUSH1 0x20
0000200e: PUSH1 0x04
00002010: DUP3
00002011: ADD
00002012: MSTORE
00002013: PUSH1 0x39
00002015: PUSH1 0x24
00002017: DUP3
00002018: ADD
00002019: MSTORE
0000201a: PUSH32 0x4f4e4c5920484f4f4d414e5320286f722073637269707473207468617420646f
0000203b: PUSH1 0x44
0000203d: DUP3
0000203e: ADD
0000203f: MSTORE
00002040: PUSH32 0x6e27742075736520736d61727420636f6e747261637473292100000000000000
00002061: PUSH1 0x64
00002063: DUP3
00002064: ADD
00002065: MSTORE
00002066: SWAP1
00002067: MLOAD
00002068: SWAP1
00002069: DUP2
0000206a: SWAP1
0000206b: SUB
0000206c: PUSH1 0x84
0000206e: ADD
0000206f: SWAP1
00002070: REVERT
00002071: JUMPDEST
00002072: PUSH8 0x016345785d8a0000
0000207b: DUP4
0000207c: GT
0000207d: ISZERO
0000207e: PUSH2 0x21a6
00002081: JUMPI
00002082: PUSH1 0x40
00002084: DUP1
00002085: MLOAD
00002086: PUSH1 0x00
00002088: NOT
00002089: NUMBER
0000208a: ADD
0000208b: BLOCKHASH
0000208c: PUSH1 0x20
0000208e: DUP1
0000208f: DUP4
00002090: ADD
00002091: SWAP2
00002092: SWAP1
00002093: SWAP2
00002094: MSTORE
00002095: TIMESTAMP
00002096: DUP3
00002097: DUP5
00002098: ADD
00002099: MSTORE
0000209a: DUP3
0000209b: MLOAD
0000209c: DUP1
0000209d: DUP4
0000209e: SUB
0000209f: DUP5
000020a0: ADD
000020a1: DUP2
000020a2: MSTORE
000020a3: PUSH1 0x60
000020a5: SWAP1
000020a6: SWAP3
000020a7: ADD
000020a8: SWAP3
000020a9: DUP4
000020aa: SWAP1
000020ab: MSTORE
000020ac: DUP2
000020ad: MLOAD
000020ae: SWAP2
000020af: SWAP3
000020b0: SWAP2
000020b1: DUP3
000020b2: SWAP2
000020b3: DUP5
000020b4: ADD
000020b5: SWAP1
000020b6: DUP1
000020b7: DUP4
000020b8: DUP4
000020b9: JUMPDEST
000020ba: PUSH1 0x20
000020bc: DUP4
000020bd: LT
000020be: PUSH2 0x20d8
000020c1: JUMPI
000020c2: DUP1
000020c3: MLOAD
000020c4: DUP3
000020c5: MSTORE
000020c6: PUSH1 0x1f
000020c8: NOT
000020c9: SWAP1
000020ca: SWAP3
000020cb: ADD
000020cc: SWAP2
000020cd: PUSH1 0x20
000020cf: SWAP2
000020d0: DUP3
000020d1: ADD
000020d2: SWAP2
000020d3: ADD
000020d4: PUSH2 0x20b9
000020d7: JUMP
000020d8: JUMPDEST
000020d9: MLOAD
000020da: DUP2
000020db: MLOAD
000020dc: PUSH1 0x20
000020de: SWAP4
000020df: SWAP1
000020e0: SWAP4
000020e1: SUB
000020e2: PUSH2 0x0100
000020e5: EXP
000020e6: PUSH1 0x00
000020e8: NOT
000020e9: ADD
000020ea: DUP1
000020eb: NOT
000020ec: SWAP1
000020ed: SWAP2
000020ee: AND
000020ef: SWAP3
000020f0: AND
000020f1: SWAP2
000020f2: SWAP1
000020f3: SWAP2
000020f4: OR
000020f5: SWAP1
000020f6: MSTORE
000020f7: PUSH1 0x40
000020f9: MLOAD
000020fa: SWAP3
000020fb: ADD
000020fc: DUP3
000020fd: SWAP1
000020fe: SUB
000020ff: SWAP1
00002100: SWAP2
00002101: KECCAK256
00002102: SWAP5
00002103: POP
00002104: PUSH1 0xc8
00002106: SWAP3
00002107: POP
00002108: DUP5
00002109: SWAP2
0000210a: POP
0000210b: PUSH2 0x2111
0000210e: SWAP1
0000210f: POP
00002110: JUMP
00002111: JUMPDEST
00002112: MOD
00002113: ISZERO
00002114: ISZERO
00002115: PUSH2 0x21a6
00002118: JUMPI
00002119: POP
0000211a: PUSH1 0x02
0000211c: DUP4
0000211d: DUP2
0000211e: ADD
0000211f: DUP1
00002120: SLOAD
00002121: SWAP2
00002122: SWAP1
00002123: SWAP2
00002124: DIV
00002125: SWAP1
00002126: DUP2
00002127: SWAP1
00002128: SSTORE
00002129: CALLER
0000212a: PUSH1 0x00
0000212c: SWAP1
0000212d: DUP2
0000212e: MSTORE
0000212f: PUSH1 0x0e
00002131: PUSH1 0x20
00002133: MSTORE
00002134: PUSH1 0x40
00002136: SWAP1
00002137: KECCAK256
00002138: SLOAD
00002139: PUSH2 0x2142
0000213c: SWAP1
0000213d: DUP3
0000213e: PUSH2 0x1fe1
00002141: JUMP
00002142: JUMPDEST
00002143: CALLER
00002144: PUSH1 0x00
00002146: SWAP1
00002147: DUP2
00002148: MSTORE
00002149: PUSH1 0x0e
0000214b: PUSH1 0x20
0000214d: MSTORE
0000214e: PUSH1 0x40
00002150: SWAP1
00002151: KECCAK256
00002152: SSTORE
00002153: PUSH1 0x0d
00002155: SLOAD
00002156: PUSH2 0x215f
00002159: SWAP1
0000215a: DUP3
0000215b: PUSH2 0x1fe1
0000215e: JUMP
0000215f: JUMPDEST
00002160: PUSH1 0x0d
00002162: SSTORE
00002163: PUSH1 0x09
00002165: DUP1
00002166: SLOAD
00002167: DUP3
00002168: ADD
00002169: SWAP1
0000216a: SSTORE
0000216b: PUSH1 0x40
0000216d: DUP1
0000216e: MLOAD
0000216f: CALLER
00002170: DUP2
00002171: MSTORE
00002172: PUSH1 0x20
00002174: DUP2
00002175: ADD
00002176: DUP4
00002177: SWAP1
00002178: MSTORE
00002179: DUP2
0000217a: MLOAD
0000217b: PUSH32 0xf5d01889f04f77ed9ff391da32496e63ce53f4b0d0c246651254895d04bcd99a
0000219c: SWAP3
0000219d: SWAP2
0000219e: DUP2
0000219f: SWAP1
000021a0: SUB
000021a1: SWAP1
000021a2: SWAP2
000021a3: ADD
000021a4: SWAP1
000021a5: LOG1
000021a6: JUMPDEST
000021a7: POP
000021a8: POP
000021a9: POP
000021aa: POP
000021ab: JUMP
000021ac: JUMPDEST
000021ad: PUSH1 0x00
000021af: DUP1
000021b0: PUSH1 0x00
000021b2: DUP1
000021b3: PUSH1 0x00
000021b5: DUP1
000021b6: PUSH1 0x10
000021b8: DUP1
000021b9: SLOAD
000021ba: SWAP1
000021bb: POP
000021bc: PUSH1 0x01
000021be: EQ
000021bf: ISZERO
000021c0: PUSH2 0x21cf
000021c3: JUMPI
000021c4: PUSH8 0x01cdda4faccd0000
000021cd: SWAP5
000021ce: POP
000021cf: JUMPDEST
000021d0: PUSH1 0x01
000021d2: PUSH1 0xa0
000021d4: PUSH1 0x02
000021d6: EXP
000021d7: SUB
000021d8: DUP8
000021d9: AND
000021da: ISZERO
000021db: PUSH2 0x2286
000021de: JUMPI
000021df: PUSH2 0x21f3
000021e2: DUP9
000021e3: PUSH8 0x08e1bc9bf0400000
000021ec: DUP8
000021ed: SWAP1
000021ee: SUB
000021ef: PUSH2 0x1ae3
000021f2: JUMP
000021f3: JUMPDEST
000021f4: SWAP6
000021f5: POP
000021f6: PUSH2 0x2206
000021f9: DUP9
000021fa: PUSH7 0x2386f26fc10000
00002202: PUSH2 0x1ae3
00002205: JUMP
00002206: JUMPDEST
00002207: PUSH1 0x01
00002209: PUSH1 0xa0
0000220b: PUSH1 0x02
0000220d: EXP
0000220e: SUB
0000220f: DUP9
00002210: AND
00002211: PUSH1 0x00
00002213: SWAP1
00002214: DUP2
00002215: MSTORE
00002216: PUSH1 0x0e
00002218: PUSH1 0x20
0000221a: MSTORE
0000221b: PUSH1 0x40
0000221d: SWAP1
0000221e: KECCAK256
0000221f: SLOAD
00002220: SWAP1
00002221: SWAP5
00002222: POP
00002223: PUSH2 0x222c
00002226: SWAP1
00002227: DUP6
00002228: PUSH2 0x1fe1
0000222b: JUMP
0000222c: JUMPDEST
0000222d: PUSH1 0x01
0000222f: PUSH1 0xa0
00002231: PUSH1 0x02
00002233: EXP
00002234: SUB
00002235: DUP9
00002236: AND
00002237: PUSH1 0x00
00002239: SWAP1
0000223a: DUP2
0000223b: MSTORE
0000223c: PUSH1 0x0e
0000223e: PUSH1 0x20
00002240: MSTORE
00002241: PUSH1 0x40
00002243: SWAP1
00002244: KECCAK256
00002245: SWAP1
00002246: DUP2
00002247: SSTORE
00002248: PUSH1 0x01
0000224a: ADD
0000224b: SLOAD
0000224c: PUSH2 0x2255
0000224f: SWAP1
00002250: DUP6
00002251: PUSH2 0x1fe1
00002254: JUMP
00002255: JUMPDEST
00002256: PUSH1 0x01
00002258: PUSH1 0xa0
0000225a: PUSH1 0x02
0000225c: EXP
0000225d: SUB
0000225e: DUP9
0000225f: AND
00002260: PUSH1 0x00
00002262: SWAP1
00002263: DUP2
00002264: MSTORE
00002265: PUSH1 0x0e
00002267: PUSH1 0x20
00002269: MSTORE
0000226a: PUSH1 0x40
0000226c: SWAP1
0000226d: KECCAK256
0000226e: PUSH1 0x01
00002270: ADD
00002271: SSTORE
00002272: PUSH1 0x0d
00002274: SLOAD
00002275: PUSH2 0x227e
00002278: SWAP1
00002279: DUP6
0000227a: PUSH2 0x1fe1
0000227d: JUMP
0000227e: JUMPDEST
0000227f: PUSH1 0x0d
00002281: SSTORE
00002282: PUSH2 0x229d
00002285: JUMP
00002286: JUMPDEST
00002287: PUSH2 0x229a
0000228a: DUP9
0000228b: DUP7
0000228c: PUSH8 0x0905438e60010000
00002295: SUB
00002296: PUSH2 0x1ae3
00002299: JUMP
0000229a: JUMPDEST
0000229b: SWAP6
0000229c: POP
0000229d: JUMPDEST
0000229e: PUSH2 0x22b1
000022a1: DUP9
000022a2: PUSH1 0x64
000022a4: PUSH8 0x0de0b6b3a7640000
000022ad: PUSH2 0x1e66
000022b0: JUMP
000022b1: JUMPDEST
000022b2: SWAP3
000022b3: POP
000022b4: PUSH2 0x22c5
000022b7: DUP9
000022b8: PUSH8 0x0214e8348c4f0000
000022c1: PUSH2 0x1ae3
000022c4: JUMP
000022c5: JUMPDEST
000022c6: PUSH1 0x10
000022c8: SLOAD
000022c9: SWAP1
000022ca: SWAP3
000022cb: POP
000022cc: PUSH1 0x01
000022ce: EQ
000022cf: ISZERO
000022d0: PUSH2 0x22e7
000022d3: JUMPI
000022d4: POP
000022d5: PUSH1 0x0c
000022d7: DUP1
000022d8: SLOAD
000022d9: PUSH1 0x04
000022db: DUP10
000022dc: DIV
000022dd: SWAP1
000022de: DUP2
000022df: ADD
000022e0: SWAP1
000022e1: SWAP2
000022e2: SSTORE
000022e3: PUSH2 0x22ed
000022e6: JUMP
000022e7: JUMPDEST
000022e8: POP
000022e9: PUSH1 0x14
000022eb: DUP8
000022ec: DIV
000022ed: JUMPDEST
000022ee: PUSH1 0x03
000022f0: DUP10
000022f1: ADD
000022f2: SLOAD
000022f3: ISZERO
000022f4: ISZERO
000022f5: PUSH2 0x2310
000022f8: JUMPI
000022f9: PUSH2 0x2306
000022fc: DUP10
000022fd: PUSH1 0x01
000022ff: ADD
00002300: SLOAD
00002301: DUP8
00002302: PUSH2 0x1fe1
00002305: JUMP
00002306: JUMPDEST
00002307: PUSH1 0x01
00002309: DUP11
0000230a: ADD
0000230b: SSTORE
0000230c: PUSH2 0x231a
0000230f: JUMP
00002310: JUMPDEST
00002311: PUSH2 0x231a
00002314: DUP10
00002315: DUP8
00002316: PUSH2 0x24ef
00002319: JUMP
0000231a: JUMPDEST
0000231b: PUSH2 0x2328
0000231e: DUP10
0000231f: PUSH1 0x02
00002321: ADD
00002322: SLOAD
00002323: DUP5
00002324: PUSH2 0x1fe1
00002327: JUMP
00002328: JUMPDEST
00002329: PUSH1 0x02
0000232b: DUP11
0000232c: ADD
0000232d: SSTORE
0000232e: PUSH1 0x01
00002330: DUP10
00002331: ADD
00002332: SLOAD
00002333: PUSH2 0x233c
00002336: SWAP1
00002337: DUP4
00002338: PUSH2 0x1fe1
0000233b: JUMP
0000233c: JUMPDEST
0000233d: PUSH1 0x01
0000233f: DUP11
00002340: ADD
00002341: SSTORE
00002342: PUSH1 0x0b
00002344: SLOAD
00002345: PUSH2 0x234e
00002348: SWAP1
00002349: DUP3
0000234a: PUSH2 0x1fe1
0000234d: JUMP
0000234e: JUMPDEST
0000234f: PUSH1 0x0b
00002351: SSTORE
00002352: POP
00002353: POP
00002354: POP
00002355: POP
00002356: POP
00002357: POP
00002358: POP
00002359: POP
0000235a: POP
0000235b: JUMP
0000235c: JUMPDEST
0000235d: PUSH1 0x01
0000235f: PUSH1 0xa0
00002361: PUSH1 0x02
00002363: EXP
00002364: SUB
00002365: DUP3
00002366: AND
00002367: PUSH1 0x00
00002369: SWAP1
0000236a: DUP2
0000236b: MSTORE
0000236c: PUSH1 0x0a
0000236e: DUP5
0000236f: ADD
00002370: PUSH1 0x20
00002372: MSTORE
00002373: PUSH1 0x40
00002375: DUP2
00002376: KECCAK256
00002377: SLOAD
00002378: DUP2
00002379: SWAP1
0000237a: ISZERO
0000237b: ISZERO
0000237c: PUSH2 0x23a0
0000237f: JUMPI
00002380: PUSH1 0x04
00002382: DUP6
00002383: ADD
00002384: SLOAD
00002385: PUSH1 0x01
00002387: PUSH1 0xa0
00002389: PUSH1 0x02
0000238b: EXP
0000238c: SUB
0000238d: DUP6
0000238e: AND
0000238f: PUSH1 0x00
00002391: SWAP1
00002392: DUP2
00002393: MSTORE
00002394: PUSH1 0x0a
00002396: DUP8
00002397: ADD
00002398: PUSH1 0x20
0000239a: MSTORE
0000239b: PUSH1 0x40
0000239d: SWAP1
0000239e: KECCAK256
0000239f: SSTORE
000023a0: JUMPDEST
000023a1: PUSH2 0x23ae
000023a4: DUP4
000023a5: DUP7
000023a6: PUSH1 0x07
000023a8: ADD
000023a9: SLOAD
000023aa: PUSH2 0x2576
000023ad: JUMP
000023ae: JUMPDEST
000023af: SWAP1
000023b0: POP
000023b1: PUSH9 0x056bc75e2d63100000
000023bb: DUP4
000023bc: LT
000023bd: PUSH2 0x23d2
000023c0: JUMPI
000023c1: PUSH2 0x23cb
000023c4: DUP2
000023c5: PUSH1 0x02
000023c7: PUSH2 0x24c7
000023ca: JUMP
000023cb: JUMPDEST
000023cc: SWAP1
000023cd: POP
000023ce: PUSH2 0x2426
000023d1: JUMP
000023d2: JUMPDEST
000023d3: PUSH8 0x8ac7230489e80000
000023dc: DUP4
000023dd: LT
000023de: PUSH2 0x23ed
000023e1: JUMPI
000023e2: PUSH2 0x23cb
000023e5: DUP2
000023e6: PUSH1 0x02
000023e8: DUP2
000023e9: PUSH2 0x1b07
000023ec: JUMP
000023ed: JUMPDEST
000023ee: PUSH8 0x0de0b6b3a7640000
000023f7: DUP4
000023f8: LT
000023f9: PUSH2 0x2408
000023fc: JUMPI
000023fd: PUSH2 0x23cb
00002400: DUP2
00002401: PUSH1 0x03
00002403: DUP2
00002404: PUSH2 0x1b07
00002407: JUMP
00002408: JUMPDEST
00002409: PUSH8 0x016345785d8a0000
00002412: DUP4
00002413: LT
00002414: PUSH2 0x2426
00002417: JUMPI
00002418: PUSH2 0x2423
0000241b: DUP2
0000241c: PUSH1 0x0a
0000241e: DUP2
0000241f: PUSH2 0x1b07
00002422: JUMP
00002423: JUMPDEST
00002424: SWAP1
00002425: POP
00002426: JUMPDEST
00002427: PUSH1 0x01
00002429: PUSH1 0xa0
0000242b: PUSH1 0x02
0000242d: EXP
0000242e: SUB
0000242f: DUP5
00002430: AND
00002431: PUSH1 0x00
00002433: SWAP1
00002434: DUP2
00002435: MSTORE
00002436: PUSH1 0x0a
00002438: DUP7
00002439: ADD
0000243a: PUSH1 0x20
0000243c: MSTORE
0000243d: PUSH1 0x40
0000243f: SWAP1
00002440: KECCAK256
00002441: PUSH1 0x01
00002443: ADD
00002444: SLOAD
00002445: PUSH2 0x244e
00002448: SWAP1
00002449: DUP3
0000244a: PUSH2 0x1fe1
0000244d: JUMP
0000244e: JUMPDEST
0000244f: PUSH1 0x01
00002451: PUSH1 0xa0
00002453: PUSH1 0x02
00002455: EXP
00002456: SUB
00002457: DUP6
00002458: AND
00002459: PUSH1 0x00
0000245b: SWAP1
0000245c: DUP2
0000245d: MSTORE
0000245e: PUSH1 0x0a
00002460: DUP8
00002461: ADD
00002462: PUSH1 0x20
00002464: MSTORE
00002465: PUSH1 0x40
00002467: SWAP1
00002468: KECCAK256
00002469: PUSH1 0x01
0000246b: ADD
0000246c: SSTORE
0000246d: PUSH1 0x03
0000246f: DUP6
00002470: ADD
00002471: SLOAD
00002472: PUSH2 0x247b
00002475: SWAP1
00002476: DUP3
00002477: PUSH2 0x1fe1
0000247a: JUMP
0000247b: JUMPDEST
0000247c: PUSH1 0x03
0000247e: DUP7
0000247f: ADD
00002480: SSTORE
00002481: PUSH1 0x40
00002483: DUP1
00002484: MLOAD
00002485: DUP3
00002486: DUP2
00002487: MSTORE
00002488: SWAP1
00002489: MLOAD
0000248a: PUSH1 0x01
0000248c: PUSH1 0xa0
0000248e: PUSH1 0x02
00002490: EXP
00002491: SUB
00002492: DUP7
00002493: AND
00002494: SWAP2
00002495: PUSH32 0x3abf6d97fde3541bb582f72fa6fb75093b8bb699577fbc722ac25de9f6fbc4ed
000024b6: SWAP2
000024b7: SWAP1
000024b8: DUP2
000024b9: SWAP1
000024ba: SUB
000024bb: PUSH1 0x20
000024bd: ADD
000024be: SWAP1
000024bf: LOG2
000024c0: SWAP5
000024c1: SWAP4
000024c2: POP
000024c3: POP
000024c4: POP
000024c5: POP
000024c6: JUMP
000024c7: JUMPDEST
000024c8: PUSH1 0x00
000024ca: DUP2
000024cb: ISZERO
000024cc: DUP1
000024cd: PUSH2 0x24e4
000024d0: JUMPI
000024d1: POP
000024d2: POP
000024d3: DUP1
000024d4: DUP3
000024d5: MUL
000024d6: DUP3
000024d7: DUP3
000024d8: DUP3
000024d9: DUP2
000024da: ISZERO
000024db: ISZERO
000024dc: PUSH2 0x24e1
000024df: JUMPI
000024e0: INVALID
000024e1: JUMPDEST
000024e2: DIV
000024e3: EQ
000024e4: JUMPDEST
000024e5: ISZERO
000024e6: ISZERO
000024e7: PUSH2 0x1a3d
000024ea: JUMPI
000024eb: PUSH1 0x00
000024ed: DUP1
000024ee: REVERT
000024ef: JUMPDEST
000024f0: PUSH2 0x24fb
000024f3: PUSH1 0x0d
000024f5: SLOAD
000024f6: DUP3
000024f7: PUSH2 0x1fe1
000024fa: JUMP
000024fb: JUMPDEST
000024fc: PUSH1 0x0d
000024fe: SSTORE
000024ff: PUSH1 0x03
00002501: DUP3
00002502: ADD
00002503: SLOAD
00002504: ISZERO
00002505: ISZERO
00002506: PUSH2 0x2541
00002509: JUMPI
0000250a: PUSH2 0x2517
0000250d: DUP2
0000250e: DUP4
0000250f: PUSH1 0x07
00002511: ADD
00002512: SLOAD
00002513: PUSH2 0x2576
00002516: JUMP
00002517: JUMPDEST
00002518: PUSH2 0x252d
0000251b: DUP3
0000251c: PUSH12 0x033b2e3c9fd0803ce8000000
00002529: PUSH2 0x24c7
0000252c: JUMP
0000252d: JUMPDEST
0000252e: DUP2
0000252f: ISZERO
00002530: ISZERO
00002531: PUSH2 0x2536
00002534: JUMPI
00002535: INVALID
00002536: JUMPDEST
00002537: DIV
00002538: PUSH1 0x04
0000253a: DUP4
0000253b: ADD
0000253c: SSTORE
0000253d: PUSH2 0x08fa
00002540: JUMP
00002541: JUMPDEST
00002542: PUSH2 0x256d
00002545: DUP3
00002546: PUSH1 0x04
00002548: ADD
00002549: SLOAD
0000254a: DUP4
0000254b: PUSH1 0x03
0000254d: ADD
0000254e: SLOAD
0000254f: PUSH2 0x2564
00002552: DUP5
00002553: PUSH12 0x033b2e3c9fd0803ce8000000
00002560: PUSH2 0x24c7
00002563: JUMP
00002564: JUMPDEST
00002565: DUP2
00002566: ISZERO
00002567: ISZERO
00002568: PUSH2 0x1b07
0000256b: JUMPI
0000256c: INVALID
0000256d: JUMPDEST
0000256e: PUSH1 0x04
00002570: DUP4
00002571: ADD
00002572: SSTORE
00002573: POP
00002574: POP
00002575: JUMP
00002576: JUMPDEST
00002577: PUSH1 0x00
00002579: DUP2
0000257a: PUSH2 0x1b0d
0000257d: PUSH2 0x258e
00002580: DUP6
00002581: PUSH8 0x0de0b6b3a7640000
0000258a: PUSH2 0x24c7
0000258d: JUMP
0000258e: JUMPDEST
0000258f: PUSH1 0x02
00002591: DUP6
00002592: PUSH2 0x1b07
00002595: JUMP
00002596: JUMPDEST
00002597: DUP3
00002598: DUP1
00002599: SLOAD
0000259a: PUSH1 0x01
0000259c: DUP2
0000259d: PUSH1 0x01
0000259f: AND
000025a0: ISZERO
000025a1: PUSH2 0x0100
000025a4: MUL
000025a5: SUB
000025a6: AND
000025a7: PUSH1 0x02
000025a9: SWAP1
000025aa: DIV
000025ab: SWAP1
000025ac: PUSH1 0x00
000025ae: MSTORE
000025af: PUSH1 0x20
000025b1: PUSH1 0x00
000025b3: KECCAK256
000025b4: SWAP1
000025b5: PUSH1 0x1f
000025b7: ADD
000025b8: PUSH1 0x20
000025ba: SWAP1
000025bb: DIV
000025bc: DUP2
000025bd: ADD
000025be: SWAP3
000025bf: DUP3
000025c0: PUSH1 0x1f
000025c2: LT
000025c3: PUSH2 0x25d7
000025c6: JUMPI
000025c7: DUP1
000025c8: MLOAD
000025c9: PUSH1 0xff
000025cb: NOT
000025cc: AND
000025cd: DUP4
000025ce: DUP1
000025cf: ADD
000025d0: OR
000025d1: DUP6
000025d2: SSTORE
000025d3: PUSH2 0x2604
000025d6: JUMP
000025d7: JUMPDEST
000025d8: DUP3
000025d9: DUP1
000025da: ADD
000025db: PUSH1 0x01
000025dd: ADD
000025de: DUP6
000025df: SSTORE
000025e0: DUP3
000025e1: ISZERO
000025e2: PUSH2 0x2604
000025e5: JUMPI
000025e6: SWAP2
000025e7: DUP3
000025e8: ADD
000025e9: JUMPDEST
000025ea: DUP3
000025eb: DUP2
000025ec: GT
000025ed: ISZERO
000025ee: PUSH2 0x2604
000025f1: JUMPI
000025f2: DUP3
000025f3: MLOAD
000025f4: DUP3
000025f5: SSTORE
000025f6: SWAP2
000025f7: PUSH1 0x20
000025f9: ADD
000025fa: SWAP2
000025fb: SWAP1
000025fc: PUSH1 0x01
000025fe: ADD
000025ff: SWAP1
00002600: PUSH2 0x25e9
00002603: JUMP
00002604: JUMPDEST
00002605: POP
00002606: PUSH2 0x2610
00002609: SWAP3
0000260a: SWAP2
0000260b: POP
0000260c: PUSH2 0x2640
0000260f: JUMP
00002610: JUMPDEST
00002611: POP
00002612: SWAP1
00002613: JUMP
00002614: JUMPDEST
00002615: DUP2
00002616: SLOAD
00002617: DUP2
00002618: DUP4
00002619: SSTORE
0000261a: DUP2
0000261b: DUP2
0000261c: GT
0000261d: ISZERO
0000261e: PUSH2 0x1682
00002621: JUMPI
00002622: PUSH1 0x0b
00002624: MUL
00002625: DUP2
00002626: PUSH1 0x0b
00002628: MUL
00002629: DUP4
0000262a: PUSH1 0x00
0000262c: MSTORE
0000262d: PUSH1 0x20
0000262f: PUSH1 0x00
00002631: KECCAK256
00002632: SWAP2
00002633: DUP3
00002634: ADD
00002635: SWAP2
00002636: ADD
00002637: PUSH2 0x1682
0000263a: SWAP2
0000263b: SWAP1
0000263c: PUSH2 0x265d
0000263f: JUMP
00002640: JUMPDEST
00002641: PUSH2 0x265a
00002644: SWAP2
00002645: SWAP1
00002646: JUMPDEST
00002647: DUP1
00002648: DUP3
00002649: GT
0000264a: ISZERO
0000264b: PUSH2 0x2610
0000264e: JUMPI
0000264f: PUSH1 0x00
00002651: DUP2
00002652: SSTORE
00002653: PUSH1 0x01
00002655: ADD
00002656: PUSH2 0x2646
00002659: JUMP
0000265a: JUMPDEST
0000265b: SWAP1
0000265c: JUMP
0000265d: JUMPDEST
0000265e: PUSH2 0x265a
00002661: SWAP2
00002662: SWAP1
00002663: JUMPDEST
00002664: DUP1
00002665: DUP3
00002666: GT
00002667: ISZERO
00002668: PUSH2 0x2610
0000266b: JUMPI
0000266c: PUSH1 0x00
0000266e: DUP1
0000266f: DUP3
00002670: SSTORE
00002671: PUSH1 0x01
00002673: DUP3
00002674: ADD
00002675: DUP2
00002676: SWAP1
00002677: SSTORE
00002678: PUSH1 0x02
0000267a: DUP3
0000267b: ADD
0000267c: DUP2
0000267d: SWAP1
0000267e: SSTORE
0000267f: PUSH1 0x03
00002681: DUP3
00002682: ADD
00002683: DUP2
00002684: SWAP1
00002685: SSTORE
00002686: PUSH1 0x04
00002688: DUP3
00002689: ADD
0000268a: DUP2
0000268b: SWAP1
0000268c: SSTORE
0000268d: PUSH1 0x05
0000268f: DUP3
00002690: ADD
00002691: DUP2
00002692: SWAP1
00002693: SSTORE
00002694: PUSH1 0x06
00002696: DUP3
00002697: ADD
00002698: DUP2
00002699: SWAP1
0000269a: SSTORE
0000269b: PUSH1 0x07
0000269d: DUP3
0000269e: ADD
0000269f: DUP2
000026a0: SWAP1
000026a1: SSTORE
000026a2: PUSH1 0x08
000026a4: DUP3
000026a5: ADD
000026a6: SSTORE
000026a7: PUSH1 0x09
000026a9: DUP2
000026aa: ADD
000026ab: DUP1
000026ac: SLOAD
000026ad: PUSH21 0xffffffffffffffffffffffffffffffffffffffffff
000026c3: NOT
000026c4: AND
000026c5: SWAP1
000026c6: SSTORE
000026c7: PUSH1 0x0b
000026c9: ADD
000026ca: PUSH2 0x2663
000026cd: JUMP
000026ce: STOP
000026cf: LOG1
000026d0: PUSH6 0x627a7a723058
000026d7: KECCAK256
000026d8: UNKNOWN(0xB3)
000026d9: EXTCODEHASH
000026da: UNKNOWN(0xC6)
000026db: UNKNOWN(0xE9)
000026dc: RETURNDATACOPY
000026dd: DELEGATECALL
000026de: UNKNOWN(0xB9)
000026df: UNKNOWN(0xE8)
000026e0: SWAP6
000026e1: MOD
000026e2: UNKNOWN(0xE3)
000026e3: UNKNOWN(0xE4)
000026e4: PUSH3 0xcface9
000026e8: DUP9
000026e9: ISZERO
000026ea: SWAP2
000026eb: EXTCODEHASH
000026ec: UNKNOWN(0xCD)
000026ed: UNKNOWN(0x0D)
000026ee: PUSH32
View stderr 
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high upgradeability detector Untrusted DELEGATECALL target reachable 55 no no
view
trace_id: 0xeb4173f6e824ed6f7694d08631b3dee2991662bac8fe8f741781e14209f1c817
validation_json 
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 192,
    "trace_id": "0xeb4173f6e824ed6f7694d08631b3dee2991662bac8fe8f741781e14209f1c817",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x02605ea8",
            "selector": "0x02605ea8",
            "calldata_variants": [
                "0x02605ea8",
                "0x02605ea80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x059f8b16",
            "selector": "0x059f8b16",
            "calldata_variants": [
                "0x059f8b16",
                "0x059f8b160000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0900f010",
            "selector": "0x0900f010",
            "calldata_variants": [
                "0x0900f010",
                "0x0900f0100000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0bafd60e",
            "selector": "0x0bafd60e",
            "calldata_variants": [
                "0x0bafd60e",
                "0x0bafd60e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0d6c03fa",
            "selector": "0x0d6c03fa",
            "calldata_variants": [
                "0x0d6c03fa",
                "0x0d6c03fa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x13af4035",
            "selector": "0x13af4035",
            "calldata_variants": [
                "0x13af4035",
                "0x13af40350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x14a0450a",
            "selector": "0x14a0450a",
            "calldata_variants": [
                "0x14a0450a",
                "0x14a0450a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3314b952",
            "selector": "0x3314b952",
            "calldata_variants": [
                "0x3314b952",
                "0x3314b9520000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 9949,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [
        {
            "pc": 8183,
            "type": "tx_origin_used"
        },
        {
            "pc": 8182,
            "type": "tx_origin_used"
        }
    ],
    "delegatecall_count": 1,
    "untrusted_delegatecall_count": 1
}
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": "0x02605ea8",
            "selector": "0x02605ea8",
            "calldata_variants": [
                "0x02605ea8",
                "0x02605ea80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x059f8b16",
            "selector": "0x059f8b16",
            "calldata_variants": [
                "0x059f8b16",
                "0x059f8b160000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0900f010",
            "selector": "0x0900f010",
            "calldata_variants": [
                "0x0900f010",
                "0x0900f0100000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0bafd60e",
            "selector": "0x0bafd60e",
            "calldata_variants": [
                "0x0bafd60e",
                "0x0bafd60e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0d6c03fa",
            "selector": "0x0d6c03fa",
            "calldata_variants": [
                "0x0d6c03fa",
                "0x0d6c03fa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x13af4035",
            "selector": "0x13af4035",
            "calldata_variants": [
                "0x13af4035",
                "0x13af40350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x14a0450a",
            "selector": "0x14a0450a",
            "calldata_variants": [
                "0x14a0450a",
                "0x14a0450a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3314b952",
            "selector": "0x3314b952",
            "calldata_variants": [
                "0x3314b952",
                "0x3314b9520000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [
        {
            "pc": 8183,
            "type": "tx_origin_used"
        },
        {
            "pc": 8182,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x5c0ad3284c45319216d06fb8a676bbc0b440fb58fcefddb2e5ed902b35a47159
call_targets: 0xa74642aeae3e2fd79150c910eb5368b64f864b1e
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x5c0ad3284c45319216d06fb8a676bbc0b440fb58fcefddb2e5ed902b35a47159",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa74642aeae3e2fd79150c910eb5368b64f864b1e"
    ],
    "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": "0x02605ea8",
            "selector": "0x02605ea8",
            "calldata_variants": [
                "0x02605ea8",
                "0x02605ea80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x059f8b16",
            "selector": "0x059f8b16",
            "calldata_variants": [
                "0x059f8b16",
                "0x059f8b160000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0900f010",
            "selector": "0x0900f010",
            "calldata_variants": [
                "0x0900f010",
                "0x0900f0100000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0bafd60e",
            "selector": "0x0bafd60e",
            "calldata_variants": [
                "0x0bafd60e",
                "0x0bafd60e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0d6c03fa",
            "selector": "0x0d6c03fa",
            "calldata_variants": [
                "0x0d6c03fa",
                "0x0d6c03fa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x13af4035",
            "selector": "0x13af4035",
            "calldata_variants": [
                "0x13af4035",
                "0x13af40350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x14a0450a",
            "selector": "0x14a0450a",
            "calldata_variants": [
                "0x14a0450a",
                "0x14a0450a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3314b952",
            "selector": "0x3314b952",
            "calldata_variants": [
                "0x3314b952",
                "0x3314b9520000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 3415,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3824,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6322,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 6,
    "guards_detected": [
        {
            "pc": 8183,
            "type": "tx_origin_used"
        },
        {
            "pc": 8182,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 6
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x5c0ad3284c45319216d06fb8a676bbc0b440fb58fcefddb2e5ed902b35a47159
call_targets: 0xa74642aeae3e2fd79150c910eb5368b64f864b1e
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x5c0ad3284c45319216d06fb8a676bbc0b440fb58fcefddb2e5ed902b35a47159",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa74642aeae3e2fd79150c910eb5368b64f864b1e"
    ],
    "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": "0x02605ea8",
            "selector": "0x02605ea8",
            "calldata_variants": [
                "0x02605ea8",
                "0x02605ea80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x059f8b16",
            "selector": "0x059f8b16",
            "calldata_variants": [
                "0x059f8b16",
                "0x059f8b160000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0900f010",
            "selector": "0x0900f010",
            "calldata_variants": [
                "0x0900f010",
                "0x0900f0100000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0bafd60e",
            "selector": "0x0bafd60e",
            "calldata_variants": [
                "0x0bafd60e",
                "0x0bafd60e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0d6c03fa",
            "selector": "0x0d6c03fa",
            "calldata_variants": [
                "0x0d6c03fa",
                "0x0d6c03fa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x13af4035",
            "selector": "0x13af4035",
            "calldata_variants": [
                "0x13af4035",
                "0x13af40350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x14a0450a",
            "selector": "0x14a0450a",
            "calldata_variants": [
                "0x14a0450a",
                "0x14a0450a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3314b952",
            "selector": "0x3314b952",
            "calldata_variants": [
                "0x3314b952",
                "0x3314b9520000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 3415,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3824,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6322,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 6,
    "guards_detected": [
        {
            "pc": 8183,
            "type": "tx_origin_used"
        },
        {
            "pc": 8182,
            "type": "tx_origin_used"
        }
    ]
}