Analysis Run

019b477e-b472-73c6-955d-9c680e3e369d

complete

Chain ID

1

Address

0x16a34f5f4de683996846c911891f612445b346eb

Block Number

—

Created

Mon, Dec 22, 2025 7:17 PM

Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract

Confirmed

0

Validated

0

Source

Verified

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
22733	artifact.fetch	complete	1 / 3	3 months ago
22734	tool.cast_disasm	complete	1 / 3	3 months ago
89493	analysis.bundle	complete	1 / 3	2 weeks ago
89494	capability.graph	complete	1 / 3	2 weeks ago
89495	detector.run	complete	1 / 3	2 weeks ago
89496	validation.fork	complete	1 / 3	2 weeks ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

1

CALL-family (heavy)

4

EXT*/BALANCE

4

Total opcodes

4532

Flags

create_opcodes_present

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0223
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH3 0x4038a9
00000039: DUP2
0000003a: EQ
0000003b: PUSH2 0x04ab
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x03a66f32
00000045: EQ
00000046: PUSH2 0x04d2
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0x06fdde03
00000050: EQ
00000051: PUSH2 0x04e7
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0x15b73a1d
0000005b: EQ
0000005c: PUSH2 0x0571
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0x18160ddd
00000066: EQ
00000067: PUSH2 0x0586
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0x263ef09a
00000071: EQ
00000072: PUSH2 0x059b
00000075: JUMPI
00000076: DUP1
00000077: PUSH4 0x279994be
0000007c: EQ
0000007d: PUSH2 0x05b0
00000080: JUMPI
00000081: DUP1
00000082: PUSH4 0x2ff2e9dc
00000087: EQ
00000088: PUSH2 0x05c5
0000008b: JUMPI
0000008c: DUP1
0000008d: PUSH4 0x313ce567
00000092: EQ
00000093: PUSH2 0x05da
00000096: JUMPI
00000097: DUP1
00000098: PUSH4 0x33360978
0000009d: EQ
0000009e: PUSH2 0x05ef
000000a1: JUMPI
000000a2: DUP1
000000a3: PUSH4 0x3f4ba83a
000000a8: EQ
000000a9: PUSH2 0x0604
000000ac: JUMPI
000000ad: DUP1
000000ae: PUSH4 0x42966c68
000000b3: EQ
000000b4: PUSH2 0x061b
000000b7: JUMPI
000000b8: DUP1
000000b9: PUSH4 0x458bfada
000000be: EQ
000000bf: PUSH2 0x0633
000000c2: JUMPI
000000c3: DUP1
000000c4: PUSH4 0x4760d3e8
000000c9: EQ
000000ca: PUSH2 0x0648
000000cd: JUMPI
000000ce: DUP1
000000cf: PUSH4 0x4c013bd7
000000d4: EQ
000000d5: PUSH2 0x067c
000000d8: JUMPI
000000d9: DUP1
000000da: PUSH4 0x4e9e8279
000000df: EQ
000000e0: PUSH2 0x06a5
000000e3: JUMPI
000000e4: DUP1
000000e5: PUSH4 0x5040c6e7
000000ea: EQ
000000eb: PUSH2 0x06ba
000000ee: JUMPI
000000ef: DUP1
000000f0: PUSH4 0x5097e51f
000000f5: EQ
000000f6: PUSH2 0x06cf
000000f9: JUMPI
000000fa: DUP1
000000fb: PUSH4 0x5c975abb
00000100: EQ
00000101: PUSH2 0x06e4
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x629c1b67
0000010b: EQ
0000010c: PUSH2 0x06f9
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0x70a08231
00000116: EQ
00000117: PUSH2 0x070e
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x7c89e7a9
00000121: EQ
00000122: PUSH2 0x072f
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0x7d42af97
0000012c: EQ
0000012d: PUSH2 0x0744
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0x8456cb59
00000137: EQ
00000138: PUSH2 0x0759
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0x8ab1d681
00000142: EQ
00000143: PUSH2 0x076e
00000146: JUMPI
00000147: DUP1
00000148: PUSH4 0x8c10671c
0000014d: EQ
0000014e: PUSH2 0x078f
00000151: JUMPI
00000152: DUP1
00000153: PUSH4 0x8da5cb5b
00000158: EQ
00000159: PUSH2 0x07af
0000015c: JUMPI
0000015d: DUP1
0000015e: PUSH4 0x95d89b41
00000163: EQ
00000164: PUSH2 0x07c4
00000167: JUMPI
00000168: DUP1
00000169: PUSH4 0x96f1daff
0000016e: EQ
0000016f: PUSH2 0x07d9
00000172: JUMPI
00000173: DUP1
00000174: PUSH4 0x9788c342
00000179: EQ
0000017a: PUSH2 0x07ee
0000017d: JUMPI
0000017e: DUP1
0000017f: PUSH4 0x9b19251a
00000184: EQ
00000185: PUSH2 0x0803
00000188: JUMPI
00000189: DUP1
0000018a: PUSH4 0x9d8a711d
0000018f: EQ
00000190: PUSH2 0x0824
00000193: JUMPI
00000194: DUP1
00000195: PUSH4 0xa9059cbb
0000019a: EQ
0000019b: PUSH2 0x0839
0000019e: JUMPI
0000019f: DUP1
000001a0: PUSH4 0xaa8d08af
000001a5: EQ
000001a6: PUSH2 0x085d
000001a9: JUMPI
000001aa: DUP1
000001ab: PUSH4 0xb39a325e
000001b0: EQ
000001b1: PUSH2 0x0872
000001b4: JUMPI
000001b5: DUP1
000001b6: PUSH4 0xbd9d053c
000001bb: EQ
000001bc: PUSH2 0x0887
000001bf: JUMPI
000001c0: DUP1
000001c1: PUSH4 0xbe45fd62
000001c6: EQ
000001c7: PUSH2 0x089c
000001ca: JUMPI
000001cb: DUP1
000001cc: PUSH4 0xce7c5d7f
000001d1: EQ
000001d2: PUSH2 0x0905
000001d5: JUMPI
000001d6: DUP1
000001d7: PUSH4 0xdb483de5
000001dc: EQ
000001dd: PUSH2 0x091d
000001e0: JUMPI
000001e1: DUP1
000001e2: PUSH4 0xe43252d7
000001e7: EQ
000001e8: PUSH2 0x0966
000001eb: JUMPI
000001ec: DUP1
000001ed: PUSH4 0xf0b53256
000001f2: EQ
000001f3: PUSH2 0x0987
000001f6: JUMPI
000001f7: DUP1
000001f8: PUSH4 0xf2fde38b
000001fd: EQ
000001fe: PUSH2 0x099c
00000201: JUMPI
00000202: DUP1
00000203: PUSH4 0xf76dd6ad
00000208: EQ
00000209: PUSH2 0x09bd
0000020c: JUMPI
0000020d: DUP1
0000020e: PUSH4 0xfc4a4a1e
00000213: EQ
00000214: PUSH2 0x09d2
00000217: JUMPI
00000218: DUP1
00000219: PUSH4 0xfd6b7ef8
0000021e: EQ
0000021f: PUSH2 0x09e7
00000222: JUMPI
00000223: JUMPDEST
00000224: CALLER
00000225: PUSH1 0x00
00000227: DUP2
00000228: DUP2
00000229: MSTORE
0000022a: PUSH1 0x0a
0000022c: PUSH1 0x20
0000022e: MSTORE
0000022f: PUSH1 0x40
00000231: DUP2
00000232: KECCAK256
00000233: SLOAD
00000234: SWAP1
00000235: SWAP2
00000236: DUP3
00000237: SWAP2
00000238: DUP3
00000239: SWAP2
0000023a: DUP3
0000023b: SWAP2
0000023c: DUP3
0000023d: SWAP2
0000023e: DUP3
0000023f: SWAP2
00000240: PUSH1 0xff
00000242: AND
00000243: ISZERO
00000244: ISZERO
00000245: PUSH2 0x024d
00000248: JUMPI
00000249: PUSH1 0x00
0000024b: DUP1
0000024c: REVERT
0000024d: JUMPDEST
0000024e: PUSH1 0x01
00000250: SLOAD
00000251: PUSH1 0xa0
00000253: PUSH1 0x02
00000255: EXP
00000256: SWAP1
00000257: DIV
00000258: PUSH1 0xff
0000025a: AND
0000025b: ISZERO
0000025c: PUSH2 0x0264
0000025f: JUMPI
00000260: PUSH1 0x00
00000262: DUP1
00000263: REVERT
00000264: JUMPDEST
00000265: PUSH1 0x0c
00000267: SLOAD
00000268: TIMESTAMP
00000269: LT
0000026a: PUSH2 0x0272
0000026d: JUMPI
0000026e: PUSH1 0x00
00000270: DUP1
00000271: REVERT
00000272: JUMPDEST
00000273: PUSH1 0x0b
00000275: SLOAD
00000276: TIMESTAMP
00000277: LT
00000278: ISZERO
00000279: PUSH2 0x0281
0000027c: JUMPI
0000027d: PUSH1 0x00
0000027f: DUP1
00000280: REVERT
00000281: JUMPDEST
00000282: PUSH1 0x0f
00000284: SLOAD
00000285: PUSH3 0x010000
00000289: SWAP1
0000028a: DIV
0000028b: PUSH1 0xff
0000028d: AND
0000028e: ISZERO
0000028f: PUSH2 0x0297
00000292: JUMPI
00000293: PUSH1 0x00
00000295: DUP1
00000296: REVERT
00000297: JUMPDEST
00000298: PUSH1 0x0f
0000029a: SLOAD
0000029b: PUSH4 0x01000000
000002a0: SWAP1
000002a1: DIV
000002a2: PUSH1 0xff
000002a4: AND
000002a5: ISZERO
000002a6: PUSH2 0x02ae
000002a9: JUMPI
000002aa: PUSH1 0x00
000002ac: DUP1
000002ad: REVERT
000002ae: JUMPDEST
000002af: PUSH1 0x0f
000002b1: DUP1
000002b2: SLOAD
000002b3: PUSH4 0xff000000
000002b8: NOT
000002b9: AND
000002ba: PUSH4 0x01000000
000002bf: OR
000002c0: SWAP1
000002c1: SSTORE
000002c2: PUSH1 0x10
000002c4: SLOAD
000002c5: CALLVALUE
000002c6: LT
000002c7: ISZERO
000002c8: PUSH2 0x02d0
000002cb: JUMPI
000002cc: PUSH1 0x00
000002ce: DUP1
000002cf: REVERT
000002d0: JUMPDEST
000002d1: CALLER
000002d2: PUSH1 0x00
000002d4: DUP2
000002d5: DUP2
000002d6: MSTORE
000002d7: PUSH1 0x17
000002d9: PUSH1 0x20
000002db: MSTORE
000002dc: PUSH1 0x40
000002de: SWAP1
000002df: KECCAK256
000002e0: SLOAD
000002e1: CALLVALUE
000002e2: SWAP9
000002e3: POP
000002e4: TIMESTAMP
000002e5: SWAP8
000002e6: POP
000002e7: SWAP1
000002e8: SWAP6
000002e9: POP
000002ea: SWAP3
000002eb: POP
000002ec: PUSH2 0x02fb
000002ef: DUP4
000002f0: DUP9
000002f1: PUSH4 0xffffffff
000002f6: PUSH2 0x09fc
000002f9: AND
000002fa: JUMP
000002fb: JUMPDEST
000002fc: PUSH1 0x01
000002fe: PUSH1 0xa0
00000300: PUSH1 0x02
00000302: EXP
00000303: SUB
00000304: DUP7
00000305: AND
00000306: PUSH1 0x00
00000308: SWAP1
00000309: DUP2
0000030a: MSTORE
0000030b: PUSH1 0x17
0000030d: PUSH1 0x20
0000030f: MSTORE
00000310: PUSH1 0x40
00000312: SWAP1
00000313: KECCAK256
00000314: SWAP1
00000315: DUP2
00000316: SSTORE
00000317: PUSH1 0x0c
00000319: SLOAD
0000031a: PUSH1 0x02
0000031c: DUP3
0000031d: ADD
0000031e: SSTORE
0000031f: PUSH1 0x03
00000321: ADD
00000322: DUP1
00000323: SLOAD
00000324: PUSH1 0xff
00000326: NOT
00000327: AND
00000328: SWAP1
00000329: SSTORE
0000032a: PUSH1 0x13
0000032c: SLOAD
0000032d: PUSH2 0x033c
00000330: SWAP1
00000331: DUP9
00000332: PUSH4 0xffffffff
00000337: PUSH2 0x09fc
0000033a: AND
0000033b: JUMP
0000033c: JUMPDEST
0000033d: PUSH1 0x13
0000033f: SSTORE
00000340: PUSH1 0x0d
00000342: SLOAD
00000343: DUP7
00000344: LT
00000345: ISZERO
00000346: PUSH2 0x0353
00000349: JUMPI
0000034a: PUSH2 0xab63
0000034d: SWAP4
0000034e: POP
0000034f: PUSH2 0x036d
00000352: JUMP
00000353: JUMPDEST
00000354: PUSH1 0x0e
00000356: SLOAD
00000357: DUP7
00000358: LT
00000359: ISZERO
0000035a: PUSH2 0x0367
0000035d: JUMPI
0000035e: PUSH2 0x979d
00000361: SWAP4
00000362: POP
00000363: PUSH2 0x036d
00000366: JUMP
00000367: JUMPDEST
00000368: PUSH2 0x8a6e
0000036b: SWAP4
0000036c: POP
0000036d: JUMPDEST
0000036e: PUSH2 0x037d
00000371: DUP8
00000372: DUP6
00000373: PUSH4 0xffffffff
00000378: PUSH2 0x0a16
0000037b: AND
0000037c: JUMP
0000037d: JUMPDEST
0000037e: PUSH1 0x05
00000380: SLOAD
00000381: SWAP1
00000382: SWAP3
00000383: POP
00000384: PUSH2 0x0393
00000387: SWAP1
00000388: DUP4
00000389: PUSH4 0xffffffff
0000038e: PUSH2 0x0a41
00000391: AND
00000392: JUMP
00000393: JUMPDEST
00000394: PUSH1 0x05
00000396: DUP2
00000397: SWAP1
00000398: SSTORE
00000399: PUSH1 0x00
0000039b: LT
0000039c: ISZERO
0000039d: PUSH2 0x0490
000003a0: JUMPI
000003a1: PUSH1 0x01
000003a3: PUSH1 0xa0
000003a5: PUSH1 0x02
000003a7: EXP
000003a8: SUB
000003a9: DUP6
000003aa: AND
000003ab: PUSH1 0x00
000003ad: SWAP1
000003ae: DUP2
000003af: MSTORE
000003b0: PUSH1 0x17
000003b2: PUSH1 0x20
000003b4: MSTORE
000003b5: PUSH1 0x40
000003b7: SWAP1
000003b8: KECCAK256
000003b9: PUSH1 0x01
000003bb: ADD
000003bc: SLOAD
000003bd: PUSH2 0x03cc
000003c0: SWAP1
000003c1: DUP4
000003c2: PUSH4 0xffffffff
000003c7: PUSH2 0x09fc
000003ca: AND
000003cb: JUMP
000003cc: JUMPDEST
000003cd: PUSH1 0x01
000003cf: PUSH1 0xa0
000003d1: PUSH1 0x02
000003d3: EXP
000003d4: SUB
000003d5: DUP7
000003d6: AND
000003d7: PUSH1 0x00
000003d9: SWAP1
000003da: DUP2
000003db: MSTORE
000003dc: PUSH1 0x17
000003de: PUSH1 0x20
000003e0: MSTORE
000003e1: PUSH1 0x40
000003e3: SWAP1
000003e4: KECCAK256
000003e5: PUSH1 0x01
000003e7: ADD
000003e8: SSTORE
000003e9: PUSH1 0x14
000003eb: SLOAD
000003ec: PUSH2 0x03fb
000003ef: SWAP1
000003f0: DUP4
000003f1: PUSH4 0xffffffff
000003f6: PUSH2 0x09fc
000003f9: AND
000003fa: JUMP
000003fb: JUMPDEST
000003fc: PUSH1 0x14
000003fe: SSTORE
000003ff: PUSH2 0x0406
00000402: PUSH2 0x0a53
00000405: JUMP
00000406: JUMPDEST
00000407: PUSH2 0x040e
0000040a: PUSH2 0x0aca
0000040d: JUMP
0000040e: JUMPDEST
0000040f: PUSH1 0x16
00000411: DUP1
00000412: SLOAD
00000413: PUSH1 0x00
00000415: SWAP1
00000416: DUP2
00000417: MSTORE
00000418: PUSH1 0x18
0000041a: PUSH1 0x20
0000041c: SWAP1
0000041d: DUP2
0000041e: MSTORE
0000041f: PUSH1 0x40
00000421: SWAP2
00000422: DUP3
00000423: SWAP1
00000424: KECCAK256
00000425: DUP1
00000426: SLOAD
00000427: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000043c: NOT
0000043d: AND
0000043e: PUSH1 0x01
00000440: PUSH1 0xa0
00000442: PUSH1 0x02
00000444: EXP
00000445: SUB
00000446: DUP11
00000447: AND
00000448: OR
00000449: SWAP1
0000044a: SSTORE
0000044b: DUP3
0000044c: SLOAD
0000044d: PUSH1 0x01
0000044f: ADD
00000450: SWAP1
00000451: SWAP3
00000452: SSTORE
00000453: DUP1
00000454: MLOAD
00000455: CALLER
00000456: DUP2
00000457: MSTORE
00000458: CALLVALUE
00000459: SWAP3
0000045a: DUP2
0000045b: ADD
0000045c: SWAP3
0000045d: SWAP1
0000045e: SWAP3
0000045f: MSTORE
00000460: DUP1
00000461: MLOAD
00000462: PUSH32 0x8229f13679f542f5c6e53731ec9f251ebbe68491eb99f53c3b0453578915f032
00000483: SWAP3
00000484: DUP2
00000485: SWAP1
00000486: SUB
00000487: SWAP1
00000488: SWAP2
00000489: ADD
0000048a: SWAP1
0000048b: LOG1
0000048c: PUSH2 0x0495
0000048f: JUMP
00000490: JUMPDEST
00000491: PUSH1 0x00
00000493: DUP1
00000494: REVERT
00000495: JUMPDEST
00000496: POP
00000497: POP
00000498: PUSH1 0x0f
0000049a: DUP1
0000049b: SLOAD
0000049c: PUSH4 0xff000000
000004a1: NOT
000004a2: AND
000004a3: SWAP1
000004a4: SSTORE
000004a5: POP
000004a6: POP
000004a7: POP
000004a8: POP
000004a9: POP
000004aa: STOP
000004ab: JUMPDEST
000004ac: CALLVALUE
000004ad: DUP1
000004ae: ISZERO
000004af: PUSH2 0x04b7
000004b2: JUMPI
000004b3: PUSH1 0x00
000004b5: DUP1
000004b6: REVERT
000004b7: JUMPDEST
000004b8: POP
000004b9: PUSH2 0x04c0
000004bc: PUSH2 0x0b2c
000004bf: JUMP
000004c0: JUMPDEST
000004c1: PUSH1 0x40
000004c3: DUP1
000004c4: MLOAD
000004c5: SWAP2
000004c6: DUP3
000004c7: MSTORE
000004c8: MLOAD
000004c9: SWAP1
000004ca: DUP2
000004cb: SWAP1
000004cc: SUB
000004cd: PUSH1 0x20
000004cf: ADD
000004d0: SWAP1
000004d1: RETURN
000004d2: JUMPDEST
000004d3: CALLVALUE
000004d4: DUP1
000004d5: ISZERO
000004d6: PUSH2 0x04de
000004d9: JUMPI
000004da: PUSH1 0x00
000004dc: DUP1
000004dd: REVERT
000004de: JUMPDEST
000004df: POP
000004e0: PUSH2 0x04c0
000004e3: PUSH2 0x0b32
000004e6: JUMP
000004e7: JUMPDEST
000004e8: CALLVALUE
000004e9: DUP1
000004ea: ISZERO
000004eb: PUSH2 0x04f3
000004ee: JUMPI
000004ef: PUSH1 0x00
000004f1: DUP1
000004f2: REVERT
000004f3: JUMPDEST
000004f4: POP
000004f5: PUSH2 0x04fc
000004f8: PUSH2 0x0b38
000004fb: JUMP
000004fc: JUMPDEST
000004fd: PUSH1 0x40
000004ff: DUP1
00000500: MLOAD
00000501: PUSH1 0x20
00000503: DUP1
00000504: DUP3
00000505: MSTORE
00000506: DUP4
00000507: MLOAD
00000508: DUP2
00000509: DUP4
0000050a: ADD
0000050b: MSTORE
0000050c: DUP4
0000050d: MLOAD
0000050e: SWAP2
0000050f: SWAP3
00000510: DUP4
00000511: SWAP3
00000512: SWAP1
00000513: DUP4
00000514: ADD
00000515: SWAP2
00000516: DUP6
00000517: ADD
00000518: SWAP1
00000519: DUP1
0000051a: DUP4
0000051b: DUP4
0000051c: PUSH1 0x00
0000051e: JUMPDEST
0000051f: DUP4
00000520: DUP2
00000521: LT
00000522: ISZERO
00000523: PUSH2 0x0536
00000526: JUMPI
00000527: DUP2
00000528: DUP2
00000529: ADD
0000052a: MLOAD
0000052b: DUP4
0000052c: DUP3
0000052d: ADD
0000052e: MSTORE
0000052f: PUSH1 0x20
00000531: ADD
00000532: PUSH2 0x051e
00000535: JUMP
00000536: JUMPDEST
00000537: POP
00000538: POP
00000539: POP
0000053a: POP
0000053b: SWAP1
0000053c: POP
0000053d: SWAP1
0000053e: DUP2
0000053f: ADD
00000540: SWAP1
00000541: PUSH1 0x1f
00000543: AND
00000544: DUP1
00000545: ISZERO
00000546: PUSH2 0x0563
00000549: JUMPI
0000054a: DUP1
0000054b: DUP3
0000054c: SUB
0000054d: DUP1
0000054e: MLOAD
0000054f: PUSH1 0x01
00000551: DUP4
00000552: PUSH1 0x20
00000554: SUB
00000555: PUSH2 0x0100
00000558: EXP
00000559: SUB
0000055a: NOT
0000055b: AND
0000055c: DUP2
0000055d: MSTORE
0000055e: PUSH1 0x20
00000560: ADD
00000561: SWAP2
00000562: POP
00000563: JUMPDEST
00000564: POP
00000565: SWAP3
00000566: POP
00000567: POP
00000568: POP
00000569: PUSH1 0x40
0000056b: MLOAD
0000056c: DUP1
0000056d: SWAP2
0000056e: SUB
0000056f: SWAP1
00000570: RETURN
00000571: JUMPDEST
00000572: CALLVALUE
00000573: DUP1
00000574: ISZERO
00000575: PUSH2 0x057d
00000578: JUMPI
00000579: PUSH1 0x00
0000057b: DUP1
0000057c: REVERT
0000057d: JUMPDEST
0000057e: POP
0000057f: PUSH2 0x04c0
00000582: PUSH2 0x0b6f
00000585: JUMP
00000586: JUMPDEST
00000587: CALLVALUE
00000588: DUP1
00000589: ISZERO
0000058a: PUSH2 0x0592
0000058d: JUMPI
0000058e: PUSH1 0x00
00000590: DUP1
00000591: REVERT
00000592: JUMPDEST
00000593: POP
00000594: PUSH2 0x04c0
00000597: PUSH2 0x0b75
0000059a: JUMP
0000059b: JUMPDEST
0000059c: CALLVALUE
0000059d: DUP1
0000059e: ISZERO
0000059f: PUSH2 0x05a7
000005a2: JUMPI
000005a3: PUSH1 0x00
000005a5: DUP1
000005a6: REVERT
000005a7: JUMPDEST
000005a8: POP
000005a9: PUSH2 0x04c0
000005ac: PUSH2 0x0b7b
000005af: JUMP
000005b0: JUMPDEST
000005b1: CALLVALUE
000005b2: DUP1
000005b3: ISZERO
000005b4: PUSH2 0x05bc
000005b7: JUMPI
000005b8: PUSH1 0x00
000005ba: DUP1
000005bb: REVERT
000005bc: JUMPDEST
000005bd: POP
000005be: PUSH2 0x04c0
000005c1: PUSH2 0x0b81
000005c4: JUMP
000005c5: JUMPDEST
000005c6: CALLVALUE
000005c7: DUP1
000005c8: ISZERO
000005c9: PUSH2 0x05d1
000005cc: JUMPI
000005cd: PUSH1 0x00
000005cf: DUP1
000005d0: REVERT
000005d1: JUMPDEST
000005d2: POP
000005d3: PUSH2 0x04c0
000005d6: PUSH2 0x0b87
000005d9: JUMP
000005da: JUMPDEST
000005db: CALLVALUE
000005dc: DUP1
000005dd: ISZERO
000005de: PUSH2 0x05e6
000005e1: JUMPI
000005e2: PUSH1 0x00
000005e4: DUP1
000005e5: REVERT
000005e6: JUMPDEST
000005e7: POP
000005e8: PUSH2 0x04c0
000005eb: PUSH2 0x0b98
000005ee: JUMP
000005ef: JUMPDEST
000005f0: CALLVALUE
000005f1: DUP1
000005f2: ISZERO
000005f3: PUSH2 0x05fb
000005f6: JUMPI
000005f7: PUSH1 0x00
000005f9: DUP1
000005fa: REVERT
000005fb: JUMPDEST
000005fc: POP
000005fd: PUSH2 0x04c0
00000600: PUSH2 0x0b9d
00000603: JUMP
00000604: JUMPDEST
00000605: CALLVALUE
00000606: DUP1
00000607: ISZERO
00000608: PUSH2 0x0610
0000060b: JUMPI
0000060c: PUSH1 0x00
0000060e: DUP1
0000060f: REVERT
00000610: JUMPDEST
00000611: POP
00000612: PUSH2 0x0619
00000615: PUSH2 0x0ba3
00000618: JUMP
00000619: JUMPDEST
0000061a: STOP
0000061b: JUMPDEST
0000061c: CALLVALUE
0000061d: DUP1
0000061e: ISZERO
0000061f: PUSH2 0x0627
00000622: JUMPI
00000623: PUSH1 0x00
00000625: DUP1
00000626: REVERT
00000627: JUMPDEST
00000628: POP
00000629: PUSH2 0x0619
0000062c: PUSH1 0x04
0000062e: CALLDATALOAD
0000062f: PUSH2 0x0c1b
00000632: JUMP
00000633: JUMPDEST
00000634: CALLVALUE
00000635: DUP1
00000636: ISZERO
00000637: PUSH2 0x063f
0000063a: JUMPI
0000063b: PUSH1 0x00
0000063d: DUP1
0000063e: REVERT
0000063f: JUMPDEST
00000640: POP
00000641: PUSH2 0x04c0
00000644: PUSH2 0x0d01
00000647: JUMP
00000648: JUMPDEST
00000649: CALLVALUE
0000064a: DUP1
0000064b: ISZERO
0000064c: PUSH2 0x0654
0000064f: JUMPI
00000650: PUSH1 0x00
00000652: DUP1
00000653: REVERT
00000654: JUMPDEST
00000655: POP
00000656: PUSH2 0x0660
00000659: PUSH1 0x04
0000065b: CALLDATALOAD
0000065c: PUSH2 0x0d07
0000065f: JUMP
00000660: JUMPDEST
00000661: PUSH1 0x40
00000663: DUP1
00000664: MLOAD
00000665: PUSH1 0x01
00000667: PUSH1 0xa0
00000669: PUSH1 0x02
0000066b: EXP
0000066c: SUB
0000066d: SWAP1
0000066e: SWAP3
0000066f: AND
00000670: DUP3
00000671: MSTORE
00000672: MLOAD
00000673: SWAP1
00000674: DUP2
00000675: SWAP1
00000676: SUB
00000677: PUSH1 0x20
00000679: ADD
0000067a: SWAP1
0000067b: RETURN
0000067c: JUMPDEST
0000067d: CALLVALUE
0000067e: DUP1
0000067f: ISZERO
00000680: PUSH2 0x0688
00000683: JUMPI
00000684: PUSH1 0x00
00000686: DUP1
00000687: REVERT
00000688: JUMPDEST
00000689: POP
0000068a: PUSH2 0x0691
0000068d: PUSH2 0x0d22
00000690: JUMP
00000691: JUMPDEST
00000692: PUSH1 0x40
00000694: DUP1
00000695: MLOAD
00000696: SWAP2
00000697: ISZERO
00000698: ISZERO
00000699: DUP3
0000069a: MSTORE
0000069b: MLOAD
0000069c: SWAP1
0000069d: DUP2
0000069e: SWAP1
0000069f: SUB
000006a0: PUSH1 0x20
000006a2: ADD
000006a3: SWAP1
000006a4: RETURN
000006a5: JUMPDEST
000006a6: CALLVALUE
000006a7: DUP1
000006a8: ISZERO
000006a9: PUSH2 0x06b1
000006ac: JUMPI
000006ad: PUSH1 0x00
000006af: DUP1
000006b0: REVERT
000006b1: JUMPDEST
000006b2: POP
000006b3: PUSH2 0x0619
000006b6: PUSH2 0x0d31
000006b9: JUMP
000006ba: JUMPDEST
000006bb: CALLVALUE
000006bc: DUP1
000006bd: ISZERO
000006be: PUSH2 0x06c6
000006c1: JUMPI
000006c2: PUSH1 0x00
000006c4: DUP1
000006c5: REVERT
000006c6: JUMPDEST
000006c7: POP
000006c8: PUSH2 0x04c0
000006cb: PUSH2 0x0ef3
000006ce: JUMP
000006cf: JUMPDEST
000006d0: CALLVALUE
000006d1: DUP1
000006d2: ISZERO
000006d3: PUSH2 0x06db
000006d6: JUMPI
000006d7: PUSH1 0x00
000006d9: DUP1
000006da: REVERT
000006db: JUMPDEST
000006dc: POP
000006dd: PUSH2 0x04c0
000006e0: PUSH2 0x0ef9
000006e3: JUMP
000006e4: JUMPDEST
000006e5: CALLVALUE
000006e6: DUP1
000006e7: ISZERO
000006e8: PUSH2 0x06f0
000006eb: JUMPI
000006ec: PUSH1 0x00
000006ee: DUP1
000006ef: REVERT
000006f0: JUMPDEST
000006f1: POP
000006f2: PUSH2 0x0691
000006f5: PUSH2 0x0eff
000006f8: JUMP
000006f9: JUMPDEST
000006fa: CALLVALUE
000006fb: DUP1
000006fc: ISZERO
000006fd: PUSH2 0x0705
00000700: JUMPI
00000701: PUSH1 0x00
00000703: DUP1
00000704: REVERT
00000705: JUMPDEST
00000706: POP
00000707: PUSH2 0x0691
0000070a: PUSH2 0x0f0f
0000070d: JUMP
0000070e: JUMPDEST
0000070f: CALLVALUE
00000710: DUP1
00000711: ISZERO
00000712: PUSH2 0x071a
00000715: JUMPI
00000716: PUSH1 0x00
00000718: DUP1
00000719: REVERT
0000071a: JUMPDEST
0000071b: POP
0000071c: PUSH2 0x04c0
0000071f: PUSH1 0x01
00000721: PUSH1 0xa0
00000723: PUSH1 0x02
00000725: EXP
00000726: SUB
00000727: PUSH1 0x04
00000729: CALLDATALOAD
0000072a: AND
0000072b: PUSH2 0x0f18
0000072e: JUMP
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 0x04c0
00000740: PUSH2 0x0f4e
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 0x04c0
00000755: PUSH2 0x0f54
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 0x0619
0000076a: PUSH2 0x0f5a
0000076d: JUMP
0000076e: JUMPDEST
0000076f: CALLVALUE
00000770: DUP1
00000771: ISZERO
00000772: PUSH2 0x077a
00000775: JUMPI
00000776: PUSH1 0x00
00000778: DUP1
00000779: REVERT
0000077a: JUMPDEST
0000077b: POP
0000077c: PUSH2 0x0619
0000077f: PUSH1 0x01
00000781: PUSH1 0xa0
00000783: PUSH1 0x02
00000785: EXP
00000786: SUB
00000787: PUSH1 0x04
00000789: CALLDATALOAD
0000078a: AND
0000078b: PUSH2 0x0fd7
0000078e: JUMP
0000078f: JUMPDEST
00000790: CALLVALUE
00000791: DUP1
00000792: ISZERO
00000793: PUSH2 0x079b
00000796: JUMPI
00000797: PUSH1 0x00
00000799: DUP1
0000079a: REVERT
0000079b: JUMPDEST
0000079c: POP
0000079d: PUSH2 0x0619
000007a0: PUSH1 0x04
000007a2: DUP1
000007a3: CALLDATALOAD
000007a4: PUSH1 0x24
000007a6: DUP2
000007a7: ADD
000007a8: SWAP2
000007a9: ADD
000007aa: CALLDATALOAD
000007ab: PUSH2 0x1046
000007ae: JUMP
000007af: JUMPDEST
000007b0: CALLVALUE
000007b1: DUP1
000007b2: ISZERO
000007b3: PUSH2 0x07bb
000007b6: JUMPI
000007b7: PUSH1 0x00
000007b9: DUP1
000007ba: REVERT
000007bb: JUMPDEST
000007bc: POP
000007bd: PUSH2 0x0660
000007c0: PUSH2 0x10bc
000007c3: JUMP
000007c4: JUMPDEST
000007c5: CALLVALUE
000007c6: DUP1
000007c7: ISZERO
000007c8: PUSH2 0x07d0
000007cb: JUMPI
000007cc: PUSH1 0x00
000007ce: DUP1
000007cf: REVERT
000007d0: JUMPDEST
000007d1: POP
000007d2: PUSH2 0x04fc
000007d5: PUSH2 0x10cb
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 0x0619
000007ea: PUSH2 0x1102
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 0x0691
000007ff: PUSH2 0x12d1
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 0x0691
00000814: PUSH1 0x01
00000816: PUSH1 0xa0
00000818: PUSH1 0x02
0000081a: EXP
0000081b: SUB
0000081c: PUSH1 0x04
0000081e: CALLDATALOAD
0000081f: AND
00000820: PUSH2 0x12df
00000823: JUMP
00000824: JUMPDEST
00000825: CALLVALUE
00000826: DUP1
00000827: ISZERO
00000828: PUSH2 0x0830
0000082b: JUMPI
0000082c: PUSH1 0x00
0000082e: DUP1
0000082f: REVERT
00000830: JUMPDEST
00000831: POP
00000832: PUSH2 0x04c0
00000835: PUSH2 0x12f4
00000838: JUMP
00000839: JUMPDEST
0000083a: CALLVALUE
0000083b: DUP1
0000083c: ISZERO
0000083d: PUSH2 0x0845
00000840: JUMPI
00000841: PUSH1 0x00
00000843: DUP1
00000844: REVERT
00000845: JUMPDEST
00000846: POP
00000847: PUSH2 0x0619
0000084a: PUSH1 0x01
0000084c: PUSH1 0xa0
0000084e: PUSH1 0x02
00000850: EXP
00000851: SUB
00000852: PUSH1 0x04
00000854: CALLDATALOAD
00000855: AND
00000856: PUSH1 0x24
00000858: CALLDATALOAD
00000859: PUSH2 0x12fa
0000085c: JUMP
0000085d: JUMPDEST
0000085e: CALLVALUE
0000085f: DUP1
00000860: ISZERO
00000861: PUSH2 0x0869
00000864: JUMPI
00000865: PUSH1 0x00
00000867: DUP1
00000868: REVERT
00000869: JUMPDEST
0000086a: POP
0000086b: PUSH2 0x0619
0000086e: PUSH2 0x153d
00000871: JUMP
00000872: JUMPDEST
00000873: CALLVALUE
00000874: DUP1
00000875: ISZERO
00000876: PUSH2 0x087e
00000879: JUMPI
0000087a: PUSH1 0x00
0000087c: DUP1
0000087d: REVERT
0000087e: JUMPDEST
0000087f: POP
00000880: PUSH2 0x04c0
00000883: PUSH2 0x15fb
00000886: JUMP
00000887: JUMPDEST
00000888: CALLVALUE
00000889: DUP1
0000088a: ISZERO
0000088b: PUSH2 0x0893
0000088e: JUMPI
0000088f: PUSH1 0x00
00000891: DUP1
00000892: REVERT
00000893: JUMPDEST
00000894: POP
00000895: PUSH2 0x04c0
00000898: PUSH2 0x1601
0000089b: JUMP
0000089c: JUMPDEST
0000089d: CALLVALUE
0000089e: DUP1
0000089f: ISZERO
000008a0: PUSH2 0x08a8
000008a3: JUMPI
000008a4: PUSH1 0x00
000008a6: DUP1
000008a7: REVERT
000008a8: JUMPDEST
000008a9: POP
000008aa: PUSH1 0x40
000008ac: DUP1
000008ad: MLOAD
000008ae: PUSH1 0x20
000008b0: PUSH1 0x04
000008b2: PUSH1 0x44
000008b4: CALLDATALOAD
000008b5: DUP2
000008b6: DUP2
000008b7: ADD
000008b8: CALLDATALOAD
000008b9: PUSH1 0x1f
000008bb: DUP2
000008bc: ADD
000008bd: DUP5
000008be: SWAP1
000008bf: DIV
000008c0: DUP5
000008c1: MUL
000008c2: DUP6
000008c3: ADD
000008c4: DUP5
000008c5: ADD
000008c6: SWAP1
000008c7: SWAP6
000008c8: MSTORE
000008c9: DUP5
000008ca: DUP5
000008cb: MSTORE
000008cc: PUSH2 0x0619
000008cf: SWAP5
000008d0: DUP3
000008d1: CALLDATALOAD
000008d2: PUSH1 0x01
000008d4: PUSH1 0xa0
000008d6: PUSH1 0x02
000008d8: EXP
000008d9: SUB
000008da: AND
000008db: SWAP5
000008dc: PUSH1 0x24
000008de: DUP1
000008df: CALLDATALOAD
000008e0: SWAP6
000008e1: CALLDATASIZE
000008e2: SWAP6
000008e3: SWAP5
000008e4: PUSH1 0x64
000008e6: SWAP5
000008e7: SWAP3
000008e8: ADD
000008e9: SWAP2
000008ea: SWAP1
000008eb: DUP2
000008ec: SWAP1
000008ed: DUP5
000008ee: ADD
000008ef: DUP4
000008f0: DUP3
000008f1: DUP1
000008f2: DUP3
000008f3: DUP5
000008f4: CALLDATACOPY
000008f5: POP
000008f6: SWAP5
000008f7: SWAP8
000008f8: POP
000008f9: PUSH2 0x1607
000008fc: SWAP7
000008fd: POP
000008fe: POP
000008ff: POP
00000900: POP
00000901: POP
00000902: POP
00000903: POP
00000904: JUMP
00000905: JUMPDEST
00000906: CALLVALUE
00000907: DUP1
00000908: ISZERO
00000909: PUSH2 0x0911
0000090c: JUMPI
0000090d: PUSH1 0x00
0000090f: DUP1
00000910: REVERT
00000911: JUMPDEST
00000912: POP
00000913: PUSH2 0x0619
00000916: PUSH1 0x04
00000918: CALLDATALOAD
00000919: PUSH2 0x1804
0000091c: JUMP
0000091d: JUMPDEST
0000091e: CALLVALUE
0000091f: DUP1
00000920: ISZERO
00000921: PUSH2 0x0929
00000924: JUMPI
00000925: PUSH1 0x00
00000927: DUP1
00000928: REVERT
00000929: JUMPDEST
0000092a: POP
0000092b: PUSH2 0x093e
0000092e: PUSH1 0x01
00000930: PUSH1 0xa0
00000932: PUSH1 0x02
00000934: EXP
00000935: SUB
00000936: PUSH1 0x04
00000938: CALLDATALOAD
00000939: AND
0000093a: PUSH2 0x192d
0000093d: JUMP
0000093e: JUMPDEST
0000093f: PUSH1 0x40
00000941: DUP1
00000942: MLOAD
00000943: SWAP5
00000944: DUP6
00000945: MSTORE
00000946: PUSH1 0x20
00000948: DUP6
00000949: ADD
0000094a: SWAP4
0000094b: SWAP1
0000094c: SWAP4
0000094d: MSTORE
0000094e: DUP4
0000094f: DUP4
00000950: ADD
00000951: SWAP2
00000952: SWAP1
00000953: SWAP2
00000954: MSTORE
00000955: ISZERO
00000956: ISZERO
00000957: PUSH1 0x60
00000959: DUP4
0000095a: ADD
0000095b: MSTORE
0000095c: MLOAD
0000095d: SWAP1
0000095e: DUP2
0000095f: SWAP1
00000960: SUB
00000961: PUSH1 0x80
00000963: ADD
00000964: SWAP1
00000965: RETURN
00000966: JUMPDEST
00000967: CALLVALUE
00000968: DUP1
00000969: ISZERO
0000096a: PUSH2 0x0972
0000096d: JUMPI
0000096e: PUSH1 0x00
00000970: DUP1
00000971: REVERT
00000972: JUMPDEST
00000973: POP
00000974: PUSH2 0x0619
00000977: PUSH1 0x01
00000979: PUSH1 0xa0
0000097b: PUSH1 0x02
0000097d: EXP
0000097e: SUB
0000097f: PUSH1 0x04
00000981: CALLDATALOAD
00000982: AND
00000983: PUSH2 0x1957
00000986: JUMP
00000987: JUMPDEST
00000988: CALLVALUE
00000989: DUP1
0000098a: ISZERO
0000098b: PUSH2 0x0993
0000098e: JUMPI
0000098f: PUSH1 0x00
00000991: DUP1
00000992: REVERT
00000993: JUMPDEST
00000994: POP
00000995: PUSH2 0x04c0
00000998: PUSH2 0x19c9
0000099b: JUMP
0000099c: JUMPDEST
0000099d: CALLVALUE
0000099e: DUP1
0000099f: ISZERO
000009a0: PUSH2 0x09a8
000009a3: JUMPI
000009a4: PUSH1 0x00
000009a6: DUP1
000009a7: REVERT
000009a8: JUMPDEST
000009a9: POP
000009aa: PUSH2 0x0619
000009ad: PUSH1 0x01
000009af: PUSH1 0xa0
000009b1: PUSH1 0x02
000009b3: EXP
000009b4: SUB
000009b5: PUSH1 0x04
000009b7: CALLDATALOAD
000009b8: AND
000009b9: PUSH2 0x19cf
000009bc: JUMP
000009bd: JUMPDEST
000009be: CALLVALUE
000009bf: DUP1
000009c0: ISZERO
000009c1: PUSH2 0x09c9
000009c4: JUMPI
000009c5: PUSH1 0x00
000009c7: DUP1
000009c8: REVERT
000009c9: JUMPDEST
000009ca: POP
000009cb: PUSH2 0x04c0
000009ce: PUSH2 0x1a64
000009d1: JUMP
000009d2: JUMPDEST
000009d3: CALLVALUE
000009d4: DUP1
000009d5: ISZERO
000009d6: PUSH2 0x09de
000009d9: JUMPI
000009da: PUSH1 0x00
000009dc: DUP1
000009dd: REVERT
000009de: JUMPDEST
000009df: POP
000009e0: PUSH2 0x04c0
000009e3: PUSH2 0x1a6a
000009e6: JUMP
000009e7: JUMPDEST
000009e8: CALLVALUE
000009e9: DUP1
000009ea: ISZERO
000009eb: PUSH2 0x09f3
000009ee: JUMPI
000009ef: PUSH1 0x00
000009f1: DUP1
000009f2: REVERT
000009f3: JUMPDEST
000009f4: POP
000009f5: PUSH2 0x0619
000009f8: PUSH2 0x1a70
000009fb: JUMP
000009fc: JUMPDEST
000009fd: PUSH1 0x00
000009ff: DUP3
00000a00: DUP3
00000a01: ADD
00000a02: DUP4
00000a03: DUP2
00000a04: LT
00000a05: ISZERO
00000a06: PUSH2 0x0a0b
00000a09: JUMPI
00000a0a: INVALID
00000a0b: JUMPDEST
00000a0c: DUP1
00000a0d: SWAP2
00000a0e: POP
00000a0f: JUMPDEST
00000a10: POP
00000a11: SWAP3
00000a12: SWAP2
00000a13: POP
00000a14: POP
00000a15: JUMP
00000a16: JUMPDEST
00000a17: PUSH1 0x00
00000a19: DUP1
00000a1a: DUP4
00000a1b: ISZERO
00000a1c: ISZERO
00000a1d: PUSH2 0x0a29
00000a20: JUMPI
00000a21: PUSH1 0x00
00000a23: SWAP2
00000a24: POP
00000a25: PUSH2 0x0a0f
00000a28: JUMP
00000a29: JUMPDEST
00000a2a: POP
00000a2b: DUP3
00000a2c: DUP3
00000a2d: MUL
00000a2e: DUP3
00000a2f: DUP5
00000a30: DUP3
00000a31: DUP2
00000a32: ISZERO
00000a33: ISZERO
00000a34: PUSH2 0x0a39
00000a37: JUMPI
00000a38: INVALID
00000a39: JUMPDEST
00000a3a: DIV
00000a3b: EQ
00000a3c: PUSH2 0x0a0b
00000a3f: JUMPI
00000a40: INVALID
00000a41: JUMPDEST
00000a42: PUSH1 0x00
00000a44: DUP3
00000a45: DUP3
00000a46: GT
00000a47: ISZERO
00000a48: PUSH2 0x0a4d
00000a4b: JUMPI
00000a4c: INVALID
00000a4d: JUMPDEST
00000a4e: POP
00000a4f: SWAP1
00000a50: SUB
00000a51: SWAP1
00000a52: JUMP
00000a53: JUMPDEST
00000a54: PUSH1 0x0f
00000a56: SLOAD
00000a57: PUSH2 0x0100
00000a5a: SWAP1
00000a5b: DIV
00000a5c: PUSH1 0xff
00000a5e: AND
00000a5f: ISZERO
00000a60: ISZERO
00000a61: PUSH2 0x0ac8
00000a64: JUMPI
00000a65: PUSH1 0x11
00000a67: SLOAD
00000a68: PUSH1 0x14
00000a6a: SLOAD
00000a6b: LT
00000a6c: PUSH2 0x0ac8
00000a6f: JUMPI
00000a70: PUSH1 0x0f
00000a72: DUP1
00000a73: SLOAD
00000a74: PUSH3 0xff0000
00000a78: NOT
00000a79: PUSH2 0xff00
00000a7c: NOT
00000a7d: SWAP1
00000a7e: SWAP2
00000a7f: AND
00000a80: PUSH2 0x0100
00000a83: OR
00000a84: AND
00000a85: PUSH3 0x010000
00000a89: OR
00000a8a: SWAP1
00000a8b: SSTORE
00000a8c: PUSH1 0x14
00000a8e: SLOAD
00000a8f: PUSH1 0x40
00000a91: DUP1
00000a92: MLOAD
00000a93: SWAP2
00000a94: DUP3
00000a95: MSTORE
00000a96: TIMESTAMP
00000a97: PUSH1 0x20
00000a99: DUP4
00000a9a: ADD
00000a9b: MSTORE
00000a9c: DUP1
00000a9d: MLOAD
00000a9e: PUSH32 0x8e54c57aca451853eb315b53582bd0e497b78f91bfc415e34e7efdf7a5e6fc92
00000abf: SWAP3
00000ac0: DUP2
00000ac1: SWAP1
00000ac2: SUB
00000ac3: SWAP1
00000ac4: SWAP2
00000ac5: ADD
00000ac6: SWAP1
00000ac7: LOG1
00000ac8: JUMPDEST
00000ac9: JUMP
00000aca: JUMPDEST
00000acb: PUSH1 0x0f
00000acd: SLOAD
00000ace: PUSH1 0xff
00000ad0: AND
00000ad1: ISZERO
00000ad2: ISZERO
00000ad3: PUSH2 0x0ac8
00000ad6: JUMPI
00000ad7: PUSH1 0x12
00000ad9: SLOAD
00000ada: PUSH1 0x14
00000adc: SLOAD
00000add: LT
00000ade: PUSH2 0x0ac8
00000ae1: JUMPI
00000ae2: PUSH1 0x0f
00000ae4: DUP1
00000ae5: SLOAD
00000ae6: PUSH1 0xff
00000ae8: NOT
00000ae9: AND
00000aea: PUSH1 0x01
00000aec: OR
00000aed: SWAP1
00000aee: SSTORE
00000aef: PUSH1 0x14
00000af1: SLOAD
00000af2: PUSH1 0x40
00000af4: DUP1
00000af5: MLOAD
00000af6: SWAP2
00000af7: DUP3
00000af8: MSTORE
00000af9: TIMESTAMP
00000afa: PUSH1 0x20
00000afc: DUP4
00000afd: ADD
00000afe: MSTORE
00000aff: DUP1
00000b00: MLOAD
00000b01: PUSH32 0xef3862d7b1b48d8ad94257f68245bb9a3cf866f48d5a48af3c2f83ef4870b8e7
00000b22: SWAP3
00000b23: DUP2
00000b24: SWAP1
00000b25: SUB
00000b26: SWAP1
00000b27: SWAP2
00000b28: ADD
00000b29: SWAP1
00000b2a: LOG1
00000b2b: JUMP
00000b2c: JUMPDEST
00000b2d: PUSH2 0x979d
00000b30: DUP2
00000b31: JUMP
00000b32: JUMPDEST
00000b33: PUSH1 0x14
00000b35: SLOAD
00000b36: DUP2
00000b37: JUMP
00000b38: JUMPDEST
00000b39: PUSH1 0x40
00000b3b: DUP1
00000b3c: MLOAD
00000b3d: DUP1
00000b3e: DUP3
00000b3f: ADD
00000b40: SWAP1
00000b41: SWAP2
00000b42: MSTORE
00000b43: PUSH1 0x08
00000b45: DUP2
00000b46: MSTORE
00000b47: PUSH32 0x444f4e53434f494e000000000000000000000000000000000000000000000000
00000b68: PUSH1 0x20
00000b6a: DUP3
00000b6b: ADD
00000b6c: MSTORE
00000b6d: DUP2
00000b6e: JUMP
00000b6f: JUMPDEST
00000b70: PUSH1 0x05
00000b72: SLOAD
00000b73: DUP2
00000b74: JUMP
00000b75: JUMPDEST
00000b76: PUSH1 0x03
00000b78: SLOAD
00000b79: DUP2
00000b7a: JUMP
00000b7b: JUMPDEST
00000b7c: PUSH2 0xab63
00000b7f: DUP2
00000b80: JUMP
00000b81: JUMPDEST
00000b82: PUSH1 0x16
00000b84: SLOAD
00000b85: DUP2
00000b86: JUMP
00000b87: JUMPDEST
00000b88: PUSH13 0x02c6dbbc19572e345760000000
00000b96: DUP2
00000b97: JUMP
00000b98: JUMPDEST
00000b99: PUSH1 0x12
00000b9b: DUP2
00000b9c: JUMP
00000b9d: JUMPDEST
00000b9e: PUSH1 0x0c
00000ba0: SLOAD
00000ba1: DUP2
00000ba2: JUMP
00000ba3: JUMPDEST
00000ba4: PUSH1 0x01
00000ba6: SLOAD
00000ba7: PUSH1 0x01
00000ba9: PUSH1 0xa0
00000bab: PUSH1 0x02
00000bad: EXP
00000bae: SUB
00000baf: AND
00000bb0: CALLER
00000bb1: EQ
00000bb2: PUSH2 0x0bba
00000bb5: JUMPI
00000bb6: PUSH1 0x00
00000bb8: DUP1
00000bb9: REVERT
00000bba: JUMPDEST
00000bbb: PUSH1 0x01
00000bbd: SLOAD
00000bbe: PUSH1 0xa0
00000bc0: PUSH1 0x02
00000bc2: EXP
00000bc3: SWAP1
00000bc4: DIV
00000bc5: PUSH1 0xff
00000bc7: AND
00000bc8: ISZERO
00000bc9: ISZERO
00000bca: PUSH2 0x0bd2
00000bcd: JUMPI
00000bce: PUSH1 0x00
00000bd0: DUP1
00000bd1: REVERT
00000bd2: JUMPDEST
00000bd3: PUSH1 0x01
00000bd5: DUP1
00000bd6: SLOAD
00000bd7: PUSH21 0xff0000000000000000000000000000000000000000
00000bed: NOT
00000bee: AND
00000bef: SWAP1
00000bf0: SSTORE
00000bf1: PUSH1 0x40
00000bf3: MLOAD
00000bf4: PUSH32 0x7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b33
00000c15: SWAP1
00000c16: PUSH1 0x00
00000c18: SWAP1
00000c19: LOG1
00000c1a: JUMP
00000c1b: JUMPDEST
00000c1c: PUSH1 0x01
00000c1e: SLOAD
00000c1f: PUSH1 0x00
00000c21: SWAP1
00000c22: PUSH1 0x01
00000c24: PUSH1 0xa0
00000c26: PUSH1 0x02
00000c28: EXP
00000c29: SUB
00000c2a: AND
00000c2b: CALLER
00000c2c: EQ
00000c2d: PUSH2 0x0c35
00000c30: JUMPI
00000c31: PUSH1 0x00
00000c33: DUP1
00000c34: REVERT
00000c35: JUMPDEST
00000c36: PUSH1 0x0c
00000c38: SLOAD
00000c39: TIMESTAMP
00000c3a: LT
00000c3b: ISZERO
00000c3c: PUSH2 0x0c44
00000c3f: JUMPI
00000c40: PUSH1 0x00
00000c42: DUP1
00000c43: REVERT
00000c44: JUMPDEST
00000c45: PUSH1 0x0f
00000c47: SLOAD
00000c48: PUSH4 0x01000000
00000c4d: SWAP1
00000c4e: DIV
00000c4f: PUSH1 0xff
00000c51: AND
00000c52: ISZERO
00000c53: PUSH2 0x0c5b
00000c56: JUMPI
00000c57: PUSH1 0x00
00000c59: DUP1
00000c5a: REVERT
00000c5b: JUMPDEST
00000c5c: PUSH1 0x0f
00000c5e: DUP1
00000c5f: SLOAD
00000c60: PUSH4 0xff000000
00000c65: NOT
00000c66: AND
00000c67: PUSH4 0x01000000
00000c6c: OR
00000c6d: SWAP1
00000c6e: SSTORE
00000c6f: PUSH1 0x05
00000c71: SLOAD
00000c72: DUP3
00000c73: GT
00000c74: ISZERO
00000c75: PUSH2 0x0c7d
00000c78: JUMPI
00000c79: PUSH1 0x00
00000c7b: DUP1
00000c7c: REVERT
00000c7d: JUMPDEST
00000c7e: POP
00000c7f: PUSH1 0x05
00000c81: SLOAD
00000c82: CALLER
00000c83: SWAP1
00000c84: PUSH2 0x0c93
00000c87: SWAP1
00000c88: DUP4
00000c89: PUSH4 0xffffffff
00000c8e: PUSH2 0x0a41
00000c91: AND
00000c92: JUMP
00000c93: JUMPDEST
00000c94: PUSH1 0x05
00000c96: SSTORE
00000c97: PUSH1 0x03
00000c99: SLOAD
00000c9a: PUSH2 0x0ca9
00000c9d: SWAP1
00000c9e: DUP4
00000c9f: PUSH4 0xffffffff
00000ca4: PUSH2 0x0a41
00000ca7: AND
00000ca8: JUMP
00000ca9: JUMPDEST
00000caa: PUSH1 0x03
00000cac: SSTORE
00000cad: PUSH1 0x40
00000caf: DUP1
00000cb0: MLOAD
00000cb1: PUSH1 0x01
00000cb3: PUSH1 0xa0
00000cb5: PUSH1 0x02
00000cb7: EXP
00000cb8: SUB
00000cb9: DUP4
00000cba: AND
00000cbb: DUP2
00000cbc: MSTORE
00000cbd: PUSH1 0x20
00000cbf: DUP2
00000cc0: ADD
00000cc1: DUP5
00000cc2: SWAP1
00000cc3: MSTORE
00000cc4: DUP2
00000cc5: MLOAD
00000cc6: PUSH32 0xcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5
00000ce7: SWAP3
00000ce8: SWAP2
00000ce9: DUP2
00000cea: SWAP1
00000ceb: SUB
00000cec: SWAP1
00000ced: SWAP2
00000cee: ADD
00000cef: SWAP1
00000cf0: LOG1
00000cf1: POP
00000cf2: POP
00000cf3: PUSH1 0x0f
00000cf5: DUP1
00000cf6: SLOAD
00000cf7: PUSH4 0xff000000
00000cfc: NOT
00000cfd: AND
00000cfe: SWAP1
00000cff: SSTORE
00000d00: JUMP
00000d01: JUMPDEST
00000d02: PUSH1 0x07
00000d04: SLOAD
00000d05: DUP2
00000d06: JUMP
00000d07: JUMPDEST
00000d08: PUSH1 0x18
00000d0a: PUSH1 0x20
00000d0c: MSTORE
00000d0d: PUSH1 0x00
00000d0f: SWAP1
00000d10: DUP2
00000d11: MSTORE
00000d12: PUSH1 0x40
00000d14: SWAP1
00000d15: KECCAK256
00000d16: SLOAD
00000d17: PUSH1 0x01
00000d19: PUSH1 0xa0
00000d1b: PUSH1 0x02
00000d1d: EXP
00000d1e: SUB
00000d1f: AND
00000d20: DUP2
00000d21: JUMP
00000d22: JUMPDEST
00000d23: PUSH1 0x0f
00000d25: SLOAD
00000d26: PUSH3 0x010000
00000d2a: SWAP1
00000d2b: DIV
00000d2c: PUSH1 0xff
00000d2e: AND
00000d2f: DUP2
00000d30: JUMP
00000d31: JUMPDEST
00000d32: PUSH1 0x01
00000d34: SLOAD
00000d35: PUSH1 0x00
00000d37: SWAP1
00000d38: DUP2
00000d39: SWAP1
00000d3a: DUP2
00000d3b: SWAP1
00000d3c: DUP2
00000d3d: SWAP1
00000d3e: PUSH1 0x01
00000d40: PUSH1 0xa0
00000d42: PUSH1 0x02
00000d44: EXP
00000d45: SUB
00000d46: AND
00000d47: CALLER
00000d48: EQ
00000d49: PUSH2 0x0d51
00000d4c: JUMPI
00000d4d: PUSH1 0x00
00000d4f: DUP1
00000d50: REVERT
00000d51: JUMPDEST
00000d52: PUSH1 0x0f
00000d54: SLOAD
00000d55: PUSH4 0x01000000
00000d5a: SWAP1
00000d5b: DIV
00000d5c: PUSH1 0xff
00000d5e: AND
00000d5f: ISZERO
00000d60: PUSH2 0x0d68
00000d63: JUMPI
00000d64: PUSH1 0x00
00000d66: DUP1
00000d67: REVERT
00000d68: JUMPDEST
00000d69: PUSH1 0x0f
00000d6b: DUP1
00000d6c: SLOAD
00000d6d: PUSH4 0xff000000
00000d72: NOT
00000d73: AND
00000d74: PUSH4 0x01000000
00000d79: OR
00000d7a: SWAP1
00000d7b: SSTORE
00000d7c: PUSH1 0x00
00000d7e: SWAP4
00000d7f: POP
00000d80: JUMPDEST
00000d81: PUSH1 0x02
00000d83: DUP5
00000d84: LT
00000d85: ISZERO
00000d86: PUSH2 0x0ee0
00000d89: JUMPI
00000d8a: POP
00000d8b: POP
00000d8c: POP
00000d8d: PUSH1 0x00
00000d8f: DUP2
00000d90: DUP2
00000d91: MSTORE
00000d92: PUSH1 0x18
00000d94: PUSH1 0x20
00000d96: SWAP1
00000d97: DUP2
00000d98: MSTORE
00000d99: PUSH1 0x40
00000d9b: DUP1
00000d9c: DUP4
00000d9d: KECCAK256
00000d9e: SLOAD
00000d9f: PUSH1 0x01
00000da1: PUSH1 0xa0
00000da3: PUSH1 0x02
00000da5: EXP
00000da6: SUB
00000da7: AND
00000da8: DUP1
00000da9: DUP5
00000daa: MSTORE
00000dab: PUSH1 0x17
00000dad: SWAP1
00000dae: SWAP3
00000daf: MSTORE
00000db0: SWAP1
00000db1: SWAP2
00000db2: KECCAK256
00000db3: PUSH1 0x02
00000db5: DUP2
00000db6: ADD
00000db7: SLOAD
00000db8: PUSH1 0x01
00000dba: SWAP1
00000dbb: SWAP2
00000dbc: ADD
00000dbd: SLOAD
00000dbe: SWAP1
00000dbf: SWAP2
00000dc0: SWAP1
00000dc1: TIMESTAMP
00000dc2: DUP4
00000dc3: LT
00000dc4: DUP1
00000dc5: ISZERO
00000dc6: PUSH2 0x0dcf
00000dc9: JUMPI
00000dca: POP
00000dcb: PUSH1 0x00
00000dcd: DUP2
00000dce: GT
00000dcf: JUMPDEST
00000dd0: ISZERO
00000dd1: PUSH2 0x0e85
00000dd4: JUMPI
00000dd5: PUSH1 0x01
00000dd7: PUSH1 0xa0
00000dd9: PUSH1 0x02
00000ddb: EXP
00000ddc: SUB
00000ddd: DUP3
00000dde: AND
00000ddf: PUSH1 0x00
00000de1: SWAP1
00000de2: DUP2
00000de3: MSTORE
00000de4: PUSH1 0x02
00000de6: PUSH1 0x20
00000de8: SWAP1
00000de9: DUP2
00000dea: MSTORE
00000deb: PUSH1 0x40
00000ded: DUP1
00000dee: DUP4
00000def: KECCAK256
00000df0: DUP1
00000df1: SLOAD
00000df2: DUP6
00000df3: ADD
00000df4: SWAP1
00000df5: SSTORE
00000df6: PUSH1 0x17
00000df8: SWAP1
00000df9: SWAP2
00000dfa: MSTORE
00000dfb: SWAP1
00000dfc: KECCAK256
00000dfd: PUSH1 0x01
00000dff: ADD
00000e00: SLOAD
00000e01: PUSH2 0x0e10
00000e04: SWAP1
00000e05: DUP3
00000e06: PUSH4 0xffffffff
00000e0b: PUSH2 0x0a41
00000e0e: AND
00000e0f: JUMP
00000e10: JUMPDEST
00000e11: PUSH1 0x01
00000e13: PUSH1 0xa0
00000e15: PUSH1 0x02
00000e17: EXP
00000e18: SUB
00000e19: DUP4
00000e1a: AND
00000e1b: PUSH1 0x00
00000e1d: DUP2
00000e1e: DUP2
00000e1f: MSTORE
00000e20: PUSH1 0x17
00000e22: PUSH1 0x20
00000e24: SWAP1
00000e25: DUP2
00000e26: MSTORE
00000e27: PUSH1 0x40
00000e29: SWAP2
00000e2a: DUP3
00000e2b: SWAP1
00000e2c: KECCAK256
00000e2d: PUSH1 0x01
00000e2f: DUP1
00000e30: DUP3
00000e31: ADD
00000e32: SWAP6
00000e33: SWAP1
00000e34: SWAP6
00000e35: SSTORE
00000e36: PUSH1 0x03
00000e38: ADD
00000e39: DUP1
00000e3a: SLOAD
00000e3b: PUSH1 0xff
00000e3d: NOT
00000e3e: AND
00000e3f: SWAP1
00000e40: SWAP5
00000e41: OR
00000e42: SWAP1
00000e43: SWAP4
00000e44: SSTORE
00000e45: DUP1
00000e46: MLOAD
00000e47: SWAP2
00000e48: DUP3
00000e49: MSTORE
00000e4a: SWAP2
00000e4b: DUP2
00000e4c: ADD
00000e4d: DUP4
00000e4e: SWAP1
00000e4f: MSTORE
00000e50: TIMESTAMP
00000e51: DUP2
00000e52: DUP4
00000e53: ADD
00000e54: MSTORE
00000e55: SWAP1
00000e56: MLOAD
00000e57: PUSH32 0xfeb59e114405e8be250d1c7cea56370c010bc8a6bfcb957f4df4db0bd80ed6fc
00000e78: SWAP2
00000e79: DUP2
00000e7a: SWAP1
00000e7b: SUB
00000e7c: PUSH1 0x60
00000e7e: ADD
00000e7f: SWAP1
00000e80: LOG1
00000e81: PUSH2 0x0ed5
00000e84: JUMP
00000e85: JUMPDEST
00000e86: PUSH1 0x40
00000e88: DUP1
00000e89: MLOAD
00000e8a: PUSH1 0x01
00000e8c: PUSH1 0xa0
00000e8e: PUSH1 0x02
00000e90: EXP
00000e91: SUB
00000e92: DUP5
00000e93: AND
00000e94: DUP2
00000e95: MSTORE
00000e96: PUSH1 0x20
00000e98: DUP2
00000e99: ADD
00000e9a: DUP4
00000e9b: SWAP1
00000e9c: MSTORE
00000e9d: TIMESTAMP
00000e9e: DUP2
00000e9f: DUP4
00000ea0: ADD
00000ea1: MSTORE
00000ea2: PUSH1 0x60
00000ea4: DUP2
00000ea5: ADD
00000ea6: DUP6
00000ea7: SWAP1
00000ea8: MSTORE
00000ea9: SWAP1
00000eaa: MLOAD
00000eab: PUSH32 0x13b234edc914dab5906b096ebf7522be052268f730cba952fb48edbeeaac5292
00000ecc: SWAP2
00000ecd: DUP2
00000ece: SWAP1
00000ecf: SUB
00000ed0: PUSH1 0x80
00000ed2: ADD
00000ed3: SWAP1
00000ed4: LOG1
00000ed5: JUMPDEST
00000ed6: PUSH1 0x01
00000ed8: SWAP1
00000ed9: SWAP4
00000eda: ADD
00000edb: SWAP3
00000edc: PUSH2 0x0d80
00000edf: JUMP
00000ee0: JUMPDEST
00000ee1: POP
00000ee2: POP
00000ee3: PUSH1 0x0f
00000ee5: DUP1
00000ee6: SLOAD
00000ee7: PUSH4 0xff000000
00000eec: NOT
00000eed: AND
00000eee: SWAP1
00000eef: SSTORE
00000ef0: POP
00000ef1: POP
00000ef2: JUMP
00000ef3: JUMPDEST
00000ef4: PUSH1 0x11
00000ef6: SLOAD
00000ef7: DUP2
00000ef8: JUMP
00000ef9: JUMPDEST
00000efa: PUSH2 0x8a6e
00000efd: DUP2
00000efe: JUMP
00000eff: JUMPDEST
00000f00: PUSH1 0x01
00000f02: SLOAD
00000f03: PUSH1 0xa0
00000f05: PUSH1 0x02
00000f07: EXP
00000f08: SWAP1
00000f09: DIV
00000f0a: PUSH1 0xff
00000f0c: AND
00000f0d: DUP2
00000f0e: JUMP
00000f0f: JUMPDEST
00000f10: PUSH1 0x0f
00000f12: SLOAD
00000f13: PUSH1 0xff
00000f15: AND
00000f16: DUP2
00000f17: JUMP
00000f18: JUMPDEST
00000f19: PUSH1 0x01
00000f1b: SLOAD
00000f1c: PUSH1 0x00
00000f1e: SWAP1
00000f1f: PUSH1 0xa0
00000f21: PUSH1 0x02
00000f23: EXP
00000f24: SWAP1
00000f25: DIV
00000f26: PUSH1 0xff
00000f28: AND
00000f29: ISZERO
00000f2a: PUSH2 0x0f32
00000f2d: JUMPI
00000f2e: PUSH1 0x00
00000f30: DUP1
00000f31: REVERT
00000f32: JUMPDEST
00000f33: POP
00000f34: PUSH1 0x01
00000f36: PUSH1 0xa0
00000f38: PUSH1 0x02
00000f3a: EXP
00000f3b: SUB
00000f3c: AND
00000f3d: PUSH1 0x00
00000f3f: SWAP1
00000f40: DUP2
00000f41: MSTORE
00000f42: PUSH1 0x02
00000f44: PUSH1 0x20
00000f46: MSTORE
00000f47: PUSH1 0x40
00000f49: SWAP1
00000f4a: KECCAK256
00000f4b: SLOAD
00000f4c: SWAP1
00000f4d: JUMP
00000f4e: JUMPDEST
00000f4f: PUSH1 0x06
00000f51: SLOAD
00000f52: DUP2
00000f53: JUMP
00000f54: JUMPDEST
00000f55: PUSH1 0x0d
00000f57: SLOAD
00000f58: DUP2
00000f59: JUMP
00000f5a: JUMPDEST
00000f5b: PUSH1 0x01
00000f5d: SLOAD
00000f5e: PUSH1 0x01
00000f60: PUSH1 0xa0
00000f62: PUSH1 0x02
00000f64: EXP
00000f65: SUB
00000f66: AND
00000f67: CALLER
00000f68: EQ
00000f69: PUSH2 0x0f71
00000f6c: JUMPI
00000f6d: PUSH1 0x00
00000f6f: DUP1
00000f70: REVERT
00000f71: JUMPDEST
00000f72: PUSH1 0x01
00000f74: SLOAD
00000f75: PUSH1 0xa0
00000f77: PUSH1 0x02
00000f79: EXP
00000f7a: SWAP1
00000f7b: DIV
00000f7c: PUSH1 0xff
00000f7e: AND
00000f7f: ISZERO
00000f80: PUSH2 0x0f88
00000f83: JUMPI
00000f84: PUSH1 0x00
00000f86: DUP1
00000f87: REVERT
00000f88: JUMPDEST
00000f89: PUSH1 0x01
00000f8b: DUP1
00000f8c: SLOAD
00000f8d: PUSH21 0xff0000000000000000000000000000000000000000
00000fa3: NOT
00000fa4: AND
00000fa5: PUSH1 0xa0
00000fa7: PUSH1 0x02
00000fa9: EXP
00000faa: OR
00000fab: SWAP1
00000fac: SSTORE
00000fad: PUSH1 0x40
00000faf: MLOAD
00000fb0: PUSH32 0x6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff625
00000fd1: SWAP1
00000fd2: PUSH1 0x00
00000fd4: SWAP1
00000fd5: LOG1
00000fd6: JUMP
00000fd7: JUMPDEST
00000fd8: PUSH1 0x01
00000fda: SLOAD
00000fdb: PUSH1 0x01
00000fdd: PUSH1 0xa0
00000fdf: PUSH1 0x02
00000fe1: EXP
00000fe2: SUB
00000fe3: AND
00000fe4: CALLER
00000fe5: EQ
00000fe6: PUSH2 0x0fee
00000fe9: JUMPI
00000fea: PUSH1 0x00
00000fec: DUP1
00000fed: REVERT
00000fee: JUMPDEST
00000fef: PUSH1 0x01
00000ff1: PUSH1 0xa0
00000ff3: PUSH1 0x02
00000ff5: EXP
00000ff6: SUB
00000ff7: DUP2
00000ff8: AND
00000ff9: PUSH1 0x00
00000ffb: DUP2
00000ffc: DUP2
00000ffd: MSTORE
00000ffe: PUSH1 0x0a
00001000: PUSH1 0x20
00001002: SWAP1
00001003: DUP2
00001004: MSTORE
00001005: PUSH1 0x40
00001007: SWAP2
00001008: DUP3
00001009: SWAP1
0000100a: KECCAK256
0000100b: DUP1
0000100c: SLOAD
0000100d: PUSH1 0xff
0000100f: NOT
00001010: AND
00001011: SWAP1
00001012: SSTORE
00001013: DUP2
00001014: MLOAD
00001015: SWAP3
00001016: DUP4
00001017: MSTORE
00001018: SWAP1
00001019: MLOAD
0000101a: PUSH32 0x4be8d593c63e0ba664ad9b6f5158c6dbb2553758fbeb4e947d2e0fb93e34c0ab
0000103b: SWAP3
0000103c: DUP2
0000103d: SWAP1
0000103e: SUB
0000103f: SWAP1
00001040: SWAP2
00001041: ADD
00001042: SWAP1
00001043: LOG1
00001044: POP
00001045: JUMP
00001046: JUMPDEST
00001047: PUSH1 0x01
00001049: SLOAD
0000104a: PUSH1 0x00
0000104c: SWAP1
0000104d: PUSH1 0x01
0000104f: PUSH1 0xa0
00001051: PUSH1 0x02
00001053: EXP
00001054: SUB
00001055: AND
00001056: CALLER
00001057: EQ
00001058: PUSH2 0x1060
0000105b: JUMPI
0000105c: PUSH1 0x00
0000105e: DUP1
0000105f: REVERT
00001060: JUMPDEST
00001061: POP
00001062: PUSH1 0x00
00001064: JUMPDEST
00001065: DUP2
00001066: DUP2
00001067: LT
00001068: ISZERO
00001069: PUSH2 0x10b7
0000106c: JUMPI
0000106d: PUSH1 0x01
0000106f: PUSH1 0x0a
00001071: PUSH1 0x00
00001073: DUP6
00001074: DUP6
00001075: DUP6
00001076: DUP2
00001077: DUP2
00001078: LT
00001079: PUSH2 0x107e
0000107c: JUMPI
0000107d: INVALID
0000107e: JUMPDEST
0000107f: PUSH1 0x20
00001081: SWAP1
00001082: DUP2
00001083: MUL
00001084: SWAP3
00001085: SWAP1
00001086: SWAP3
00001087: ADD
00001088: CALLDATALOAD
00001089: PUSH1 0x01
0000108b: PUSH1 0xa0
0000108d: PUSH1 0x02
0000108f: EXP
00001090: SUB
00001091: AND
00001092: DUP4
00001093: MSTORE
00001094: POP
00001095: DUP2
00001096: ADD
00001097: SWAP2
00001098: SWAP1
00001099: SWAP2
0000109a: MSTORE
0000109b: PUSH1 0x40
0000109d: ADD
0000109e: PUSH1 0x00
000010a0: KECCAK256
000010a1: DUP1
000010a2: SLOAD
000010a3: PUSH1 0xff
000010a5: NOT
000010a6: AND
000010a7: SWAP2
000010a8: ISZERO
000010a9: ISZERO
000010aa: SWAP2
000010ab: SWAP1
000010ac: SWAP2
000010ad: OR
000010ae: SWAP1
000010af: SSTORE
000010b0: PUSH1 0x01
000010b2: ADD
000010b3: PUSH2 0x1064
000010b6: JUMP
000010b7: JUMPDEST
000010b8: POP
000010b9: POP
000010ba: POP
000010bb: JUMP
000010bc: JUMPDEST
000010bd: PUSH1 0x01
000010bf: SLOAD
000010c0: PUSH1 0x01
000010c2: PUSH1 0xa0
000010c4: PUSH1 0x02
000010c6: EXP
000010c7: SUB
000010c8: AND
000010c9: DUP2
000010ca: JUMP
000010cb: JUMPDEST
000010cc: PUSH1 0x40
000010ce: DUP1
000010cf: MLOAD
000010d0: DUP1
000010d1: DUP3
000010d2: ADD
000010d3: SWAP1
000010d4: SWAP2
000010d5: MSTORE
000010d6: PUSH1 0x03
000010d8: DUP2
000010d9: MSTORE
000010da: PUSH32 0x44534b0000000000000000000000000000000000000000000000000000000000
000010fb: PUSH1 0x20
000010fd: DUP3
000010fe: ADD
000010ff: MSTORE
00001100: DUP2
00001101: JUMP
00001102: JUMPDEST
00001103: PUSH1 0x01
00001105: SLOAD
00001106: PUSH1 0x00
00001108: SWAP1
00001109: DUP2
0000110a: SWAP1
0000110b: DUP2
0000110c: SWAP1
0000110d: DUP2
0000110e: SWAP1
0000110f: PUSH1 0x01
00001111: PUSH1 0xa0
00001113: PUSH1 0x02
00001115: EXP
00001116: SUB
00001117: AND
00001118: CALLER
00001119: EQ
0000111a: PUSH2 0x1122
0000111d: JUMPI
0000111e: PUSH1 0x00
00001120: DUP1
00001121: REVERT
00001122: JUMPDEST
00001123: PUSH1 0x0c
00001125: SLOAD
00001126: TIMESTAMP
00001127: LT
00001128: ISZERO
00001129: PUSH2 0x1131
0000112c: JUMPI
0000112d: PUSH1 0x00
0000112f: DUP1
00001130: REVERT
00001131: JUMPDEST
00001132: PUSH1 0x0f
00001134: SLOAD
00001135: PUSH4 0x01000000
0000113a: SWAP1
0000113b: DIV
0000113c: PUSH1 0xff
0000113e: AND
0000113f: ISZERO
00001140: PUSH2 0x1148
00001143: JUMPI
00001144: PUSH1 0x00
00001146: DUP1
00001147: REVERT
00001148: JUMPDEST
00001149: PUSH1 0x0f
0000114b: DUP1
0000114c: SLOAD
0000114d: PUSH4 0xff000000
00001152: NOT
00001153: AND
00001154: PUSH4 0x01000000
00001159: OR
0000115a: SWAP1
0000115b: DUP2
0000115c: SWAP1
0000115d: SSTORE
0000115e: PUSH1 0xff
00001160: AND
00001161: ISZERO
00001162: ISZERO
00001163: PUSH2 0x116b
00001166: JUMPI
00001167: PUSH1 0x00
00001169: DUP1
0000116a: REVERT
0000116b: JUMPDEST
0000116c: PUSH1 0x02
0000116e: SWAP4
0000116f: POP
00001170: JUMPDEST
00001171: PUSH1 0x16
00001173: SLOAD
00001174: DUP5
00001175: LT
00001176: ISZERO
00001177: PUSH2 0x0ee0
0000117a: JUMPI
0000117b: POP
0000117c: POP
0000117d: POP
0000117e: PUSH1 0x00
00001180: DUP2
00001181: DUP2
00001182: MSTORE
00001183: PUSH1 0x18
00001185: PUSH1 0x20
00001187: SWAP1
00001188: DUP2
00001189: MSTORE
0000118a: PUSH1 0x40
0000118c: DUP1
0000118d: DUP4
0000118e: KECCAK256
0000118f: SLOAD
00001190: PUSH1 0x01
00001192: PUSH1 0xa0
00001194: PUSH1 0x02
00001196: EXP
00001197: SUB
00001198: AND
00001199: DUP1
0000119a: DUP5
0000119b: MSTORE
0000119c: PUSH1 0x17
0000119e: SWAP1
0000119f: SWAP3
000011a0: MSTORE
000011a1: SWAP1
000011a2: SWAP2
000011a3: KECCAK256
000011a4: PUSH1 0x02
000011a6: DUP2
000011a7: ADD
000011a8: SLOAD
000011a9: PUSH1 0x01
000011ab: SWAP1
000011ac: SWAP2
000011ad: ADD
000011ae: SLOAD
000011af: SWAP1
000011b0: SWAP2
000011b1: SWAP1
000011b2: TIMESTAMP
000011b3: DUP4
000011b4: LT
000011b5: DUP1
000011b6: ISZERO
000011b7: PUSH2 0x11c0
000011ba: JUMPI
000011bb: POP
000011bc: PUSH1 0x00
000011be: DUP2
000011bf: GT
000011c0: JUMPDEST
000011c1: ISZERO
000011c2: PUSH2 0x1276
000011c5: JUMPI
000011c6: PUSH1 0x01
000011c8: PUSH1 0xa0
000011ca: PUSH1 0x02
000011cc: EXP
000011cd: SUB
000011ce: DUP3
000011cf: AND
000011d0: PUSH1 0x00
000011d2: SWAP1
000011d3: DUP2
000011d4: MSTORE
000011d5: PUSH1 0x02
000011d7: PUSH1 0x20
000011d9: SWAP1
000011da: DUP2
000011db: MSTORE
000011dc: PUSH1 0x40
000011de: DUP1
000011df: DUP4
000011e0: KECCAK256
000011e1: DUP1
000011e2: SLOAD
000011e3: DUP6
000011e4: ADD
000011e5: SWAP1
000011e6: SSTORE
000011e7: PUSH1 0x17
000011e9: SWAP1
000011ea: SWAP2
000011eb: MSTORE
000011ec: SWAP1
000011ed: KECCAK256
000011ee: PUSH1 0x01
000011f0: ADD
000011f1: SLOAD
000011f2: PUSH2 0x1201
000011f5: SWAP1
000011f6: DUP3
000011f7: PUSH4 0xffffffff
000011fc: PUSH2 0x0a41
000011ff: AND
00001200: JUMP
00001201: JUMPDEST
00001202: PUSH1 0x01
00001204: PUSH1 0xa0
00001206: PUSH1 0x02
00001208: EXP
00001209: SUB
0000120a: DUP4
0000120b: AND
0000120c: PUSH1 0x00
0000120e: DUP2
0000120f: DUP2
00001210: MSTORE
00001211: PUSH1 0x17
00001213: PUSH1 0x20
00001215: SWAP1
00001216: DUP2
00001217: MSTORE
00001218: PUSH1 0x40
0000121a: SWAP2
0000121b: DUP3
0000121c: SWAP1
0000121d: KECCAK256
0000121e: PUSH1 0x01
00001220: DUP1
00001221: DUP3
00001222: ADD
00001223: SWAP6
00001224: SWAP1
00001225: SWAP6
00001226: SSTORE
00001227: PUSH1 0x03
00001229: ADD
0000122a: DUP1
0000122b: SLOAD
0000122c: PUSH1 0xff
0000122e: NOT
0000122f: AND
00001230: SWAP1
00001231: SWAP5
00001232: OR
00001233: SWAP1
00001234: SWAP4
00001235: SSTORE
00001236: DUP1
00001237: MLOAD
00001238: SWAP2
00001239: DUP3
0000123a: MSTORE
0000123b: SWAP2
0000123c: DUP2
0000123d: ADD
0000123e: DUP4
0000123f: SWAP1
00001240: MSTORE
00001241: TIMESTAMP
00001242: DUP2
00001243: DUP4
00001244: ADD
00001245: MSTORE
00001246: SWAP1
00001247: MLOAD
00001248: PUSH32 0xe5f9a0f9d36677fd3f2d82797f185f9021b4ce697a82f9b339c846cae821179e
00001269: SWAP2
0000126a: DUP2
0000126b: SWAP1
0000126c: SUB
0000126d: PUSH1 0x60
0000126f: ADD
00001270: SWAP1
00001271: LOG1
00001272: PUSH2 0x12c6
00001275: JUMP
00001276: JUMPDEST
00001277: PUSH1 0x40
00001279: DUP1
0000127a: MLOAD
0000127b: PUSH1 0x01
0000127d: PUSH1 0xa0
0000127f: PUSH1 0x02
00001281: EXP
00001282: SUB
00001283: DUP5
00001284: AND
00001285: DUP2
00001286: MSTORE
00001287: PUSH1 0x20
00001289: DUP2
0000128a: ADD
0000128b: DUP4
0000128c: SWAP1
0000128d: MSTORE
0000128e: TIMESTAMP
0000128f: DUP2
00001290: DUP4
00001291: ADD
00001292: MSTORE
00001293: PUSH1 0x60
00001295: DUP2
00001296: ADD
00001297: DUP6
00001298: SWAP1
00001299: MSTORE
0000129a: SWAP1
0000129b: MLOAD
0000129c: PUSH32 0x69c22338494c88dc4a80031749f2520d85d2f4df22117c7711ad0845fa460e02
000012bd: SWAP2
000012be: DUP2
000012bf: SWAP1
000012c0: SUB
000012c1: PUSH1 0x80
000012c3: ADD
000012c4: SWAP1
000012c5: LOG1
000012c6: JUMPDEST
000012c7: PUSH1 0x01
000012c9: SWAP1
000012ca: SWAP4
000012cb: ADD
000012cc: SWAP3
000012cd: PUSH2 0x1170
000012d0: JUMP
000012d1: JUMPDEST
000012d2: PUSH1 0x0f
000012d4: SLOAD
000012d5: PUSH2 0x0100
000012d8: SWAP1
000012d9: DIV
000012da: PUSH1 0xff
000012dc: AND
000012dd: DUP2
000012de: JUMP
000012df: JUMPDEST
000012e0: PUSH1 0x0a
000012e2: PUSH1 0x20
000012e4: MSTORE
000012e5: PUSH1 0x00
000012e7: SWAP1
000012e8: DUP2
000012e9: MSTORE
000012ea: PUSH1 0x40
000012ec: SWAP1
000012ed: KECCAK256
000012ee: SLOAD
000012ef: PUSH1 0xff
000012f1: AND
000012f2: DUP2
000012f3: JUMP
000012f4: JUMPDEST
000012f5: PUSH1 0x15
000012f7: SLOAD
000012f8: DUP2
000012f9: JUMP
000012fa: JUMPDEST
000012fb: PUSH1 0x01
000012fd: SLOAD
000012fe: PUSH1 0x00
00001300: SWAP1
00001301: PUSH1 0x60
00001303: SWAP1
00001304: DUP3
00001305: SWAP1
00001306: PUSH1 0xa0
00001308: PUSH1 0x02
0000130a: EXP
0000130b: SWAP1
0000130c: DIV
0000130d: PUSH1 0xff
0000130f: AND
00001310: ISZERO
00001311: PUSH2 0x1319
00001314: JUMPI
00001315: PUSH1 0x00
00001317: DUP1
00001318: REVERT
00001319: JUMPDEST
0000131a: CALLER
0000131b: PUSH1 0x00
0000131d: SWAP1
0000131e: DUP2
0000131f: MSTORE
00001320: PUSH1 0x02
00001322: PUSH1 0x20
00001324: MSTORE
00001325: PUSH1 0x40
00001327: SWAP1
00001328: KECCAK256
00001329: SLOAD
0000132a: DUP6
0000132b: EXTCODESIZE
0000132c: SWAP4
0000132d: POP
0000132e: PUSH2 0x133d
00001331: SWAP1
00001332: DUP6
00001333: PUSH4 0xffffffff
00001338: PUSH2 0x0a41
0000133b: AND
0000133c: JUMP
0000133d: JUMPDEST
0000133e: CALLER
0000133f: PUSH1 0x00
00001341: SWAP1
00001342: DUP2
00001343: MSTORE
00001344: PUSH1 0x02
00001346: PUSH1 0x20
00001348: MSTORE
00001349: PUSH1 0x40
0000134b: DUP1
0000134c: DUP3
0000134d: KECCAK256
0000134e: SWAP3
0000134f: SWAP1
00001350: SWAP3
00001351: SSTORE
00001352: PUSH1 0x01
00001354: PUSH1 0xa0
00001356: PUSH1 0x02
00001358: EXP
00001359: SUB
0000135a: DUP8
0000135b: AND
0000135c: DUP2
0000135d: MSTORE
0000135e: KECCAK256
0000135f: SLOAD
00001360: PUSH2 0x136f
00001363: SWAP1
00001364: DUP6
00001365: PUSH4 0xffffffff
0000136a: PUSH2 0x09fc
0000136d: AND
0000136e: JUMP
0000136f: JUMPDEST
00001370: PUSH1 0x01
00001372: PUSH1 0xa0
00001374: PUSH1 0x02
00001376: EXP
00001377: SUB
00001378: DUP7
00001379: AND
0000137a: PUSH1 0x00
0000137c: SWAP1
0000137d: DUP2
0000137e: MSTORE
0000137f: PUSH1 0x02
00001381: PUSH1 0x20
00001383: MSTORE
00001384: PUSH1 0x40
00001386: DUP2
00001387: KECCAK256
00001388: SWAP2
00001389: SWAP1
0000138a: SWAP2
0000138b: SSTORE
0000138c: DUP4
0000138d: GT
0000138e: ISZERO
0000138f: PUSH2 0x1481
00001392: JUMPI
00001393: POP
00001394: PUSH1 0x40
00001396: MLOAD
00001397: PUSH32 0xc0ee0b8a00000000000000000000000000000000000000000000000000000000
000013b8: DUP2
000013b9: MSTORE
000013ba: CALLER
000013bb: PUSH1 0x04
000013bd: DUP3
000013be: ADD
000013bf: DUP2
000013c0: DUP2
000013c1: MSTORE
000013c2: PUSH1 0x24
000013c4: DUP4
000013c5: ADD
000013c6: DUP7
000013c7: SWAP1
000013c8: MSTORE
000013c9: PUSH1 0x60
000013cb: PUSH1 0x44
000013cd: DUP5
000013ce: ADD
000013cf: SWAP1
000013d0: DUP2
000013d1: MSTORE
000013d2: DUP5
000013d3: MLOAD
000013d4: PUSH1 0x64
000013d6: DUP6
000013d7: ADD
000013d8: MSTORE
000013d9: DUP5
000013da: MLOAD
000013db: DUP9
000013dc: SWAP5
000013dd: PUSH1 0x01
000013df: PUSH1 0xa0
000013e1: PUSH1 0x02
000013e3: EXP
000013e4: SUB
000013e5: DUP7
000013e6: AND
000013e7: SWAP5
000013e8: PUSH4 0xc0ee0b8a
000013ed: SWAP5
000013ee: SWAP1
000013ef: SWAP4
000013f0: DUP11
000013f1: SWAP4
000013f2: DUP10
000013f3: SWAP4
000013f4: PUSH1 0x84
000013f6: ADD
000013f7: SWAP1
000013f8: PUSH1 0x20
000013fa: DUP6
000013fb: ADD
000013fc: SWAP1
000013fd: DUP1
000013fe: DUP4
000013ff: DUP4
00001400: PUSH1 0x00
00001402: JUMPDEST
00001403: DUP4
00001404: DUP2
00001405: LT
00001406: ISZERO
00001407: PUSH2 0x141a
0000140a: JUMPI
0000140b: DUP2
0000140c: DUP2
0000140d: ADD
0000140e: MLOAD
0000140f: DUP4
00001410: DUP3
00001411: ADD
00001412: MSTORE
00001413: PUSH1 0x20
00001415: ADD
00001416: PUSH2 0x1402
00001419: JUMP
0000141a: JUMPDEST
0000141b: POP
0000141c: POP
0000141d: POP
0000141e: POP
0000141f: SWAP1
00001420: POP
00001421: SWAP1
00001422: DUP2
00001423: ADD
00001424: SWAP1
00001425: PUSH1 0x1f
00001427: AND
00001428: DUP1
00001429: ISZERO
0000142a: PUSH2 0x1447
0000142d: JUMPI
0000142e: DUP1
0000142f: DUP3
00001430: SUB
00001431: DUP1
00001432: MLOAD
00001433: PUSH1 0x01
00001435: DUP4
00001436: PUSH1 0x20
00001438: SUB
00001439: PUSH2 0x0100
0000143c: EXP
0000143d: SUB
0000143e: NOT
0000143f: AND
00001440: DUP2
00001441: MSTORE
00001442: PUSH1 0x20
00001444: ADD
00001445: SWAP2
00001446: POP
00001447: JUMPDEST
00001448: POP
00001449: SWAP5
0000144a: POP
0000144b: POP
0000144c: POP
0000144d: POP
0000144e: POP
0000144f: PUSH1 0x00
00001451: PUSH1 0x40
00001453: MLOAD
00001454: DUP1
00001455: DUP4
00001456: SUB
00001457: DUP2
00001458: PUSH1 0x00
0000145a: DUP8
0000145b: DUP1
0000145c: EXTCODESIZE
0000145d: ISZERO
0000145e: DUP1
0000145f: ISZERO
00001460: PUSH2 0x1468
00001463: JUMPI
00001464: PUSH1 0x00
00001466: DUP1
00001467: REVERT
00001468: JUMPDEST
00001469: POP
0000146a: GAS
0000146b: CALL
0000146c: ISZERO
0000146d: DUP1
0000146e: ISZERO
0000146f: PUSH2 0x147c
00001472: JUMPI
00001473: RETURNDATASIZE
00001474: PUSH1 0x00
00001476: DUP1
00001477: RETURNDATACOPY
00001478: RETURNDATASIZE
00001479: PUSH1 0x00
0000147b: REVERT
0000147c: JUMPDEST
0000147d: POP
0000147e: POP
0000147f: POP
00001480: POP
00001481: JUMPDEST
00001482: DUP5
00001483: PUSH1 0x01
00001485: PUSH1 0xa0
00001487: PUSH1 0x02
00001489: EXP
0000148a: SUB
0000148b: AND
0000148c: CALLER
0000148d: PUSH1 0x01
0000148f: PUSH1 0xa0
00001491: PUSH1 0x02
00001493: EXP
00001494: SUB
00001495: AND
00001496: PUSH32 0xe19260aff97b920c7df27010903aeb9c8d2be5d310a2c67824cf3f15396e4c16
000014b7: DUP7
000014b8: DUP6
000014b9: PUSH1 0x40
000014bb: MLOAD
000014bc: DUP1
000014bd: DUP4
000014be: DUP2
000014bf: MSTORE
000014c0: PUSH1 0x20
000014c2: ADD
000014c3: DUP1
000014c4: PUSH1 0x20
000014c6: ADD
000014c7: DUP3
000014c8: DUP2
000014c9: SUB
000014ca: DUP3
000014cb: MSTORE
000014cc: DUP4
000014cd: DUP2
000014ce: DUP2
000014cf: MLOAD
000014d0: DUP2
000014d1: MSTORE
000014d2: PUSH1 0x20
000014d4: ADD
000014d5: SWAP2
000014d6: POP
000014d7: DUP1
000014d8: MLOAD
000014d9: SWAP1
000014da: PUSH1 0x20
000014dc: ADD
000014dd: SWAP1
000014de: DUP1
000014df: DUP4
000014e0: DUP4
000014e1: PUSH1 0x00
000014e3: JUMPDEST
000014e4: DUP4
000014e5: DUP2
000014e6: LT
000014e7: ISZERO
000014e8: PUSH2 0x14fb
000014eb: JUMPI
000014ec: DUP2
000014ed: DUP2
000014ee: ADD
000014ef: MLOAD
000014f0: DUP4
000014f1: DUP3
000014f2: ADD
000014f3: MSTORE
000014f4: PUSH1 0x20
000014f6: ADD
000014f7: PUSH2 0x14e3
000014fa: JUMP
000014fb: JUMPDEST
000014fc: POP
000014fd: POP
000014fe: POP
000014ff: POP
00001500: SWAP1
00001501: POP
00001502: SWAP1
00001503: DUP2
00001504: ADD
00001505: SWAP1
00001506: PUSH1 0x1f
00001508: AND
00001509: DUP1
0000150a: ISZERO
0000150b: PUSH2 0x1528
0000150e: JUMPI
0000150f: DUP1
00001510: DUP3
00001511: SUB
00001512: DUP1
00001513: MLOAD
00001514: PUSH1 0x01
00001516: DUP4
00001517: PUSH1 0x20
00001519: SUB
0000151a: PUSH2 0x0100
0000151d: EXP
0000151e: SUB
0000151f: NOT
00001520: AND
00001521: DUP2
00001522: MSTORE
00001523: PUSH1 0x20
00001525: ADD
00001526: SWAP2
00001527: POP
00001528: JUMPDEST
00001529: POP
0000152a: SWAP4
0000152b: POP
0000152c: POP
0000152d: POP
0000152e: POP
0000152f: PUSH1 0x40
00001531: MLOAD
00001532: DUP1
00001533: SWAP2
00001534: SUB
00001535: SWAP1
00001536: LOG3
00001537: POP
00001538: POP
00001539: POP
0000153a: POP
0000153b: POP
0000153c: JUMP
0000153d: JUMPDEST
0000153e: PUSH1 0x01
00001540: SLOAD
00001541: PUSH1 0x00
00001543: SWAP1
00001544: PUSH1 0x01
00001546: PUSH1 0xa0
00001548: PUSH1 0x02
0000154a: EXP
0000154b: SUB
0000154c: AND
0000154d: CALLER
0000154e: EQ
0000154f: PUSH2 0x1557
00001552: JUMPI
00001553: PUSH1 0x00
00001555: DUP1
00001556: REVERT
00001557: JUMPDEST
00001558: PUSH1 0x0c
0000155a: SLOAD
0000155b: TIMESTAMP
0000155c: LT
0000155d: ISZERO
0000155e: PUSH2 0x1566
00001561: JUMPI
00001562: PUSH1 0x00
00001564: DUP1
00001565: REVERT
00001566: JUMPDEST
00001567: PUSH1 0x0f
00001569: SLOAD
0000156a: PUSH4 0x01000000
0000156f: SWAP1
00001570: DIV
00001571: PUSH1 0xff
00001573: AND
00001574: ISZERO
00001575: PUSH2 0x157d
00001578: JUMPI
00001579: PUSH1 0x00
0000157b: DUP1
0000157c: REVERT
0000157d: JUMPDEST
0000157e: POP
0000157f: PUSH1 0x0f
00001581: DUP1
00001582: SLOAD
00001583: PUSH4 0xff000000
00001588: NOT
00001589: AND
0000158a: PUSH4 0x01000000
0000158f: OR
00001590: SWAP1
00001591: SSTORE
00001592: PUSH1 0x05
00001594: SLOAD
00001595: CALLER
00001596: PUSH1 0x00
00001598: DUP2
00001599: DUP2
0000159a: MSTORE
0000159b: PUSH1 0x17
0000159d: PUSH1 0x20
0000159f: MSTORE
000015a0: PUSH1 0x40
000015a2: SWAP1
000015a3: KECCAK256
000015a4: PUSH1 0x01
000015a6: ADD
000015a7: SLOAD
000015a8: SWAP1
000015a9: SWAP2
000015aa: PUSH2 0x15b9
000015ad: SWAP2
000015ae: SWAP1
000015af: PUSH4 0xffffffff
000015b4: PUSH2 0x09fc
000015b7: AND
000015b8: JUMP
000015b9: JUMPDEST
000015ba: PUSH1 0x01
000015bc: PUSH1 0xa0
000015be: PUSH1 0x02
000015c0: EXP
000015c1: SUB
000015c2: DUP3
000015c3: AND
000015c4: PUSH1 0x00
000015c6: SWAP1
000015c7: DUP2
000015c8: MSTORE
000015c9: PUSH1 0x17
000015cb: PUSH1 0x20
000015cd: MSTORE
000015ce: PUSH1 0x40
000015d0: SWAP1
000015d1: KECCAK256
000015d2: PUSH1 0x01
000015d4: ADD
000015d5: SSTORE
000015d6: PUSH1 0x05
000015d8: SLOAD
000015d9: PUSH2 0x15e8
000015dc: SWAP1
000015dd: DUP1
000015de: PUSH4 0xffffffff
000015e3: PUSH2 0x0a41
000015e6: AND
000015e7: JUMP
000015e8: JUMPDEST
000015e9: PUSH1 0x05
000015eb: SSTORE
000015ec: POP
000015ed: PUSH1 0x0f
000015ef: DUP1
000015f0: SLOAD
000015f1: PUSH4 0xff000000
000015f6: NOT
000015f7: AND
000015f8: SWAP1
000015f9: SSTORE
000015fa: JUMP
000015fb: JUMPDEST
000015fc: PUSH1 0x10
000015fe: SLOAD
000015ff: DUP2
00001600: JUMP
00001601: JUMPDEST
00001602: PUSH1 0x0e
00001604: SLOAD
00001605: DUP2
00001606: JUMP
00001607: JUMPDEST
00001608: PUSH1 0x01
0000160a: SLOAD
0000160b: PUSH1 0x00
0000160d: SWAP1
0000160e: DUP2
0000160f: SWAP1
00001610: PUSH1 0xa0
00001612: PUSH1 0x02
00001614: EXP
00001615: SWAP1
00001616: DIV
00001617: PUSH1 0xff
00001619: AND
0000161a: ISZERO
0000161b: PUSH2 0x1623
0000161e: JUMPI
0000161f: PUSH1 0x00
00001621: DUP1
00001622: REVERT
00001623: JUMPDEST
00001624: CALLER
00001625: PUSH1 0x00
00001627: SWAP1
00001628: DUP2
00001629: MSTORE
0000162a: PUSH1 0x02
0000162c: PUSH1 0x20
0000162e: MSTORE
0000162f: PUSH1 0x40
00001631: SWAP1
00001632: KECCAK256
00001633: SLOAD
00001634: DUP6
00001635: EXTCODESIZE
00001636: SWAP3
00001637: POP
00001638: PUSH2 0x1647
0000163b: SWAP1
0000163c: DUP6
0000163d: PUSH4 0xffffffff
00001642: PUSH2 0x0a41
00001645: AND
00001646: JUMP
00001647: JUMPDEST
00001648: CALLER
00001649: PUSH1 0x00
0000164b: SWAP1
0000164c: DUP2
0000164d: MSTORE
0000164e: PUSH1 0x02
00001650: PUSH1 0x20
00001652: MSTORE
00001653: PUSH1 0x40
00001655: DUP1
00001656: DUP3
00001657: KECCAK256
00001658: SWAP3
00001659: SWAP1
0000165a: SWAP3
0000165b: SSTORE
0000165c: PUSH1 0x01
0000165e: PUSH1 0xa0
00001660: PUSH1 0x02
00001662: EXP
00001663: SUB
00001664: DUP8
00001665: AND
00001666: DUP2
00001667: MSTORE
00001668: KECCAK256
00001669: SLOAD
0000166a: PUSH2 0x1679
0000166d: SWAP1
0000166e: DUP6
0000166f: PUSH4 0xffffffff
00001674: PUSH2 0x09fc
00001677: AND
00001678: JUMP
00001679: JUMPDEST
0000167a: PUSH1 0x01
0000167c: PUSH1 0xa0
0000167e: PUSH1 0x02
00001680: EXP
00001681: SUB
00001682: DUP7
00001683: AND
00001684: PUSH1 0x00
00001686: SWAP1
00001687: DUP2
00001688: MSTORE
00001689: PUSH1 0x02
0000168b: PUSH1 0x20
0000168d: MSTORE
0000168e: PUSH1 0x40
00001690: DUP2
00001691: KECCAK256
00001692: SWAP2
00001693: SWAP1
00001694: SWAP2
00001695: SSTORE
00001696: DUP3
00001697: GT
00001698: ISZERO
00001699: PUSH2 0x178b
0000169c: JUMPI
0000169d: POP
0000169e: PUSH1 0x40
000016a0: MLOAD
000016a1: PUSH32 0xc0ee0b8a00000000000000000000000000000000000000000000000000000000
000016c2: DUP2
000016c3: MSTORE
000016c4: CALLER
000016c5: PUSH1 0x04
000016c7: DUP3
000016c8: ADD
000016c9: DUP2
000016ca: DUP2
000016cb: MSTORE
000016cc: PUSH1 0x24
000016ce: DUP4
000016cf: ADD
000016d0: DUP7
000016d1: SWAP1
000016d2: MSTORE
000016d3: PUSH1 0x60
000016d5: PUSH1 0x44
000016d7: DUP5
000016d8: ADD
000016d9: SWAP1
000016da: DUP2
000016db: MSTORE
000016dc: DUP6
000016dd: MLOAD
000016de: PUSH1 0x64
000016e0: DUP6
000016e1: ADD
000016e2: MSTORE
000016e3: DUP6
000016e4: MLOAD
000016e5: DUP9
000016e6: SWAP5
000016e7: PUSH1 0x01
000016e9: PUSH1 0xa0
000016eb: PUSH1 0x02
000016ed: EXP
000016ee: SUB
000016ef: DUP7
000016f0: AND
000016f1: SWAP5
000016f2: PUSH4 0xc0ee0b8a
000016f7: SWAP5
000016f8: SWAP1
000016f9: SWAP4
000016fa: DUP11
000016fb: SWAP4
000016fc: DUP11
000016fd: SWAP4
000016fe: PUSH1 0x84
00001700: ADD
00001701: SWAP1
00001702: PUSH1 0x20
00001704: DUP6
00001705: ADD
00001706: SWAP1
00001707: DUP1
00001708: DUP4
00001709: DUP4
0000170a: PUSH1 0x00
0000170c: JUMPDEST
0000170d: DUP4
0000170e: DUP2
0000170f: LT
00001710: ISZERO
00001711: PUSH2 0x1724
00001714: JUMPI
00001715: DUP2
00001716: DUP2
00001717: ADD
00001718: MLOAD
00001719: DUP4
0000171a: DUP3
0000171b: ADD
0000171c: MSTORE
0000171d: PUSH1 0x20
0000171f: ADD
00001720: PUSH2 0x170c
00001723: JUMP
00001724: JUMPDEST
00001725: POP
00001726: POP
00001727: POP
00001728: POP
00001729: SWAP1
0000172a: POP
0000172b: SWAP1
0000172c: DUP2
0000172d: ADD
0000172e: SWAP1
0000172f: PUSH1 0x1f
00001731: AND
00001732: DUP1
00001733: ISZERO
00001734: PUSH2 0x1751
00001737: JUMPI
00001738: DUP1
00001739: DUP3
0000173a: SUB
0000173b: DUP1
0000173c: MLOAD
0000173d: PUSH1 0x01
0000173f: DUP4
00001740: PUSH1 0x20
00001742: SUB
00001743: PUSH2 0x0100
00001746: EXP
00001747: SUB
00001748: NOT
00001749: AND
0000174a: DUP2
0000174b: MSTORE
0000174c: PUSH1 0x20
0000174e: ADD
0000174f: SWAP2
00001750: POP
00001751: JUMPDEST
00001752: POP
00001753: SWAP5
00001754: POP
00001755: POP
00001756: POP
00001757: POP
00001758: POP
00001759: PUSH1 0x00
0000175b: PUSH1 0x40
0000175d: MLOAD
0000175e: DUP1
0000175f: DUP4
00001760: SUB
00001761: DUP2
00001762: PUSH1 0x00
00001764: DUP8
00001765: DUP1
00001766: EXTCODESIZE
00001767: ISZERO
00001768: DUP1
00001769: ISZERO
0000176a: PUSH2 0x1772
0000176d: JUMPI
0000176e: PUSH1 0x00
00001770: DUP1
00001771: REVERT
00001772: JUMPDEST
00001773: POP
00001774: GAS
00001775: CALL
00001776: ISZERO
00001777: DUP1
00001778: ISZERO
00001779: PUSH2 0x1786
0000177c: JUMPI
0000177d: RETURNDATASIZE
0000177e: PUSH1 0x00
00001780: DUP1
00001781: RETURNDATACOPY
00001782: RETURNDATASIZE
00001783: PUSH1 0x00
00001785: REVERT
00001786: JUMPDEST
00001787: POP
00001788: POP
00001789: POP
0000178a: POP
0000178b: JUMPDEST
0000178c: DUP5
0000178d: PUSH1 0x01
0000178f: PUSH1 0xa0
00001791: PUSH1 0x02
00001793: EXP
00001794: SUB
00001795: AND
00001796: CALLER
00001797: PUSH1 0x01
00001799: PUSH1 0xa0
0000179b: PUSH1 0x02
0000179d: EXP
0000179e: SUB
0000179f: AND
000017a0: PUSH32 0xe19260aff97b920c7df27010903aeb9c8d2be5d310a2c67824cf3f15396e4c16
000017c1: DUP7
000017c2: DUP7
000017c3: PUSH1 0x40
000017c5: MLOAD
000017c6: DUP1
000017c7: DUP4
000017c8: DUP2
000017c9: MSTORE
000017ca: PUSH1 0x20
000017cc: ADD
000017cd: DUP1
000017ce: PUSH1 0x20
000017d0: ADD
000017d1: DUP3
000017d2: DUP2
000017d3: SUB
000017d4: DUP3
000017d5: MSTORE
000017d6: DUP4
000017d7: DUP2
000017d8: DUP2
000017d9: MLOAD
000017da: DUP2
000017db: MSTORE
000017dc: PUSH1 0x20
000017de: ADD
000017df: SWAP2
000017e0: POP
000017e1: DUP1
000017e2: MLOAD
000017e3: SWAP1
000017e4: PUSH1 0x20
000017e6: ADD
000017e7: SWAP1
000017e8: DUP1
000017e9: DUP4
000017ea: DUP4
000017eb: PUSH1 0x00
000017ed: DUP4
000017ee: DUP2
000017ef: LT
000017f0: ISZERO
000017f1: PUSH2 0x14fb
000017f4: JUMPI
000017f5: DUP2
000017f6: DUP2
000017f7: ADD
000017f8: MLOAD
000017f9: DUP4
000017fa: DUP3
000017fb: ADD
000017fc: MSTORE
000017fd: PUSH1 0x20
000017ff: ADD
00001800: PUSH2 0x14e3
00001803: JUMP
00001804: JUMPDEST
00001805: PUSH1 0x01
00001807: SLOAD
00001808: PUSH1 0x01
0000180a: PUSH1 0xa0
0000180c: PUSH1 0x02
0000180e: EXP
0000180f: SUB
00001810: AND
00001811: CALLER
00001812: EQ
00001813: PUSH2 0x181b
00001816: JUMPI
00001817: PUSH1 0x00
00001819: DUP1
0000181a: REVERT
0000181b: JUMPDEST
0000181c: PUSH1 0x0c
0000181e: SLOAD
0000181f: TIMESTAMP
00001820: LT
00001821: ISZERO
00001822: PUSH2 0x182a
00001825: JUMPI
00001826: PUSH1 0x00
00001828: DUP1
00001829: REVERT
0000182a: JUMPDEST
0000182b: PUSH1 0x0f
0000182d: SLOAD
0000182e: PUSH4 0x01000000
00001833: SWAP1
00001834: DIV
00001835: PUSH1 0xff
00001837: AND
00001838: ISZERO
00001839: PUSH2 0x1841
0000183c: JUMPI
0000183d: PUSH1 0x00
0000183f: DUP1
00001840: REVERT
00001841: JUMPDEST
00001842: PUSH1 0x0f
00001844: DUP1
00001845: SLOAD
00001846: PUSH4 0xff000000
0000184b: NOT
0000184c: AND
0000184d: PUSH4 0x01000000
00001852: OR
00001853: SWAP1
00001854: DUP2
00001855: SWAP1
00001856: SSTORE
00001857: PUSH1 0xff
00001859: AND
0000185a: ISZERO
0000185b: PUSH2 0x18dd
0000185e: JUMPI
0000185f: PUSH1 0x01
00001861: SLOAD
00001862: PUSH1 0x40
00001864: MLOAD
00001865: PUSH1 0x01
00001867: PUSH1 0xa0
00001869: PUSH1 0x02
0000186b: EXP
0000186c: SUB
0000186d: SWAP1
0000186e: SWAP2
0000186f: AND
00001870: SWAP1
00001871: DUP3
00001872: ISZERO
00001873: PUSH2 0x08fc
00001876: MUL
00001877: SWAP1
00001878: DUP4
00001879: SWAP1
0000187a: PUSH1 0x00
0000187c: DUP2
0000187d: DUP2
0000187e: DUP2
0000187f: DUP6
00001880: DUP9
00001881: DUP9
00001882: CALL
00001883: SWAP4
00001884: POP
00001885: POP
00001886: POP
00001887: POP
00001888: ISZERO
00001889: DUP1
0000188a: ISZERO
0000188b: PUSH2 0x1898
0000188e: JUMPI
0000188f: RETURNDATASIZE
00001890: PUSH1 0x00
00001892: DUP1
00001893: RETURNDATACOPY
00001894: RETURNDATASIZE
00001895: PUSH1 0x00
00001897: REVERT
00001898: JUMPDEST
00001899: POP
0000189a: PUSH1 0x40
0000189c: DUP1
0000189d: MLOAD
0000189e: CALLER
0000189f: DUP2
000018a0: MSTORE
000018a1: PUSH1 0x20
000018a3: DUP2
000018a4: ADD
000018a5: DUP4
000018a6: SWAP1
000018a7: MSTORE
000018a8: TIMESTAMP
000018a9: DUP2
000018aa: DUP4
000018ab: ADD
000018ac: MSTORE
000018ad: SWAP1
000018ae: MLOAD
000018af: PUSH32 0x261559be5a579606b998b62ae8271e6fc3548a978d13c53f18afe67241ec4c58
000018d0: SWAP2
000018d1: DUP2
000018d2: SWAP1
000018d3: SUB
000018d4: PUSH1 0x60
000018d6: ADD
000018d7: SWAP1
000018d8: LOG1
000018d9: PUSH2 0x191d
000018dc: JUMP
000018dd: JUMPDEST
000018de: PUSH1 0x40
000018e0: DUP1
000018e1: MLOAD
000018e2: CALLER
000018e3: DUP2
000018e4: MSTORE
000018e5: PUSH1 0x20
000018e7: DUP2
000018e8: ADD
000018e9: DUP4
000018ea: SWAP1
000018eb: MSTORE
000018ec: TIMESTAMP
000018ed: DUP2
000018ee: DUP4
000018ef: ADD
000018f0: MSTORE
000018f1: SWAP1
000018f2: MLOAD
000018f3: PUSH32 0xf760c9ca289173b691c2b9a6fab790f3b8c9ba85ede0deb21e300d7978e40fb3
00001914: SWAP2
00001915: DUP2
00001916: SWAP1
00001917: SUB
00001918: PUSH1 0x60
0000191a: ADD
0000191b: SWAP1
0000191c: LOG1
0000191d: JUMPDEST
0000191e: POP
0000191f: PUSH1 0x0f
00001921: DUP1
00001922: SLOAD
00001923: PUSH4 0xff000000
00001928: NOT
00001929: AND
0000192a: SWAP1
0000192b: SSTORE
0000192c: JUMP
0000192d: JUMPDEST
0000192e: PUSH1 0x17
00001930: PUSH1 0x20
00001932: MSTORE
00001933: PUSH1 0x00
00001935: SWAP1
00001936: DUP2
00001937: MSTORE
00001938: PUSH1 0x40
0000193a: SWAP1
0000193b: KECCAK256
0000193c: DUP1
0000193d: SLOAD
0000193e: PUSH1 0x01
00001940: DUP3
00001941: ADD
00001942: SLOAD
00001943: PUSH1 0x02
00001945: DUP4
00001946: ADD
00001947: SLOAD
00001948: PUSH1 0x03
0000194a: SWAP1
0000194b: SWAP4
0000194c: ADD
0000194d: SLOAD
0000194e: SWAP2
0000194f: SWAP3
00001950: SWAP1
00001951: SWAP2
00001952: PUSH1 0xff
00001954: AND
00001955: DUP5
00001956: JUMP
00001957: JUMPDEST
00001958: PUSH1 0x01
0000195a: SLOAD
0000195b: PUSH1 0x01
0000195d: PUSH1 0xa0
0000195f: PUSH1 0x02
00001961: EXP
00001962: SUB
00001963: AND
00001964: CALLER
00001965: EQ
00001966: PUSH2 0x196e
00001969: JUMPI
0000196a: PUSH1 0x00
0000196c: DUP1
0000196d: REVERT
0000196e: JUMPDEST
0000196f: PUSH1 0x01
00001971: PUSH1 0xa0
00001973: PUSH1 0x02
00001975: EXP
00001976: SUB
00001977: DUP2
00001978: AND
00001979: PUSH1 0x00
0000197b: DUP2
0000197c: DUP2
0000197d: MSTORE
0000197e: PUSH1 0x0a
00001980: PUSH1 0x20
00001982: SWAP1
00001983: DUP2
00001984: MSTORE
00001985: PUSH1 0x40
00001987: SWAP2
00001988: DUP3
00001989: SWAP1
0000198a: KECCAK256
0000198b: DUP1
0000198c: SLOAD
0000198d: PUSH1 0xff
0000198f: NOT
00001990: AND
00001991: PUSH1 0x01
00001993: OR
00001994: SWAP1
00001995: SSTORE
00001996: DUP2
00001997: MLOAD
00001998: SWAP3
00001999: DUP4
0000199a: MSTORE
0000199b: SWAP1
0000199c: MLOAD
0000199d: PUSH32 0xf8d5f40934646cedded2cab1b5960f020db583f154fabcf831277b87d1803d13
000019be: SWAP3
000019bf: DUP2
000019c0: SWAP1
000019c1: SUB
000019c2: SWAP1
000019c3: SWAP2
000019c4: ADD
000019c5: SWAP1
000019c6: LOG1
000019c7: POP
000019c8: JUMP
000019c9: JUMPDEST
000019ca: PUSH1 0x12
000019cc: SLOAD
000019cd: DUP2
000019ce: JUMP
000019cf: JUMPDEST
000019d0: PUSH1 0x01
000019d2: SLOAD
000019d3: PUSH1 0x01
000019d5: PUSH1 0xa0
000019d7: PUSH1 0x02
000019d9: EXP
000019da: SUB
000019db: AND
000019dc: CALLER
000019dd: EQ
000019de: PUSH2 0x19e6
000019e1: JUMPI
000019e2: PUSH1 0x00
000019e4: DUP1
000019e5: REVERT
000019e6: JUMPDEST
000019e7: PUSH1 0x01
000019e9: PUSH1 0xa0
000019eb: PUSH1 0x02
000019ed: EXP
000019ee: SUB
000019ef: DUP2
000019f0: AND
000019f1: ISZERO
000019f2: ISZERO
000019f3: PUSH2 0x19fb
000019f6: JUMPI
000019f7: PUSH1 0x00
000019f9: DUP1
000019fa: REVERT
000019fb: JUMPDEST
000019fc: PUSH1 0x01
000019fe: SLOAD
000019ff: PUSH1 0x40
00001a01: MLOAD
00001a02: PUSH1 0x01
00001a04: PUSH1 0xa0
00001a06: PUSH1 0x02
00001a08: EXP
00001a09: SUB
00001a0a: DUP1
00001a0b: DUP5
00001a0c: AND
00001a0d: SWAP3
00001a0e: AND
00001a0f: SWAP1
00001a10: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001a31: SWAP1
00001a32: PUSH1 0x00
00001a34: SWAP1
00001a35: LOG3
00001a36: PUSH1 0x01
00001a38: DUP1
00001a39: SLOAD
00001a3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a4f: NOT
00001a50: AND
00001a51: PUSH1 0x01
00001a53: PUSH1 0xa0
00001a55: PUSH1 0x02
00001a57: EXP
00001a58: SUB
00001a59: SWAP3
00001a5a: SWAP1
00001a5b: SWAP3
00001a5c: AND
00001a5d: SWAP2
00001a5e: SWAP1
00001a5f: SWAP2
00001a60: OR
00001a61: SWAP1
00001a62: SSTORE
00001a63: JUMP
00001a64: JUMPDEST
00001a65: PUSH1 0x13
00001a67: SLOAD
00001a68: DUP2
00001a69: JUMP
00001a6a: JUMPDEST
00001a6b: PUSH1 0x0b
00001a6d: SLOAD
00001a6e: DUP2
00001a6f: JUMP
00001a70: JUMPDEST
00001a71: PUSH1 0x0c
00001a73: SLOAD
00001a74: PUSH1 0x00
00001a76: SWAP1
00001a77: TIMESTAMP
00001a78: LT
00001a79: ISZERO
00001a7a: PUSH2 0x1a82
00001a7d: JUMPI
00001a7e: PUSH1 0x00
00001a80: DUP1
00001a81: REVERT
00001a82: JUMPDEST
00001a83: PUSH1 0x0f
00001a85: SLOAD
00001a86: PUSH4 0x01000000
00001a8b: SWAP1
00001a8c: DIV
00001a8d: PUSH1 0xff
00001a8f: AND
00001a90: ISZERO
00001a91: PUSH2 0x1a99
00001a94: JUMPI
00001a95: PUSH1 0x00
00001a97: DUP1
00001a98: REVERT
00001a99: JUMPDEST
00001a9a: PUSH1 0x0f
00001a9c: DUP1
00001a9d: SLOAD
00001a9e: PUSH4 0xff000000
00001aa3: NOT
00001aa4: AND
00001aa5: PUSH4 0x01000000
00001aaa: OR
00001aab: SWAP1
00001aac: DUP2
00001aad: SWAP1
00001aae: SSTORE
00001aaf: PUSH1 0xff
00001ab1: AND
00001ab2: ISZERO
00001ab3: ISZERO
00001ab4: PUSH2 0x1ba2
00001ab7: JUMPI
00001ab8: POP
00001ab9: CALLER
00001aba: PUSH1 0x00
00001abc: SWAP1
00001abd: DUP2
00001abe: MSTORE
00001abf: PUSH1 0x17
00001ac1: PUSH1 0x20
00001ac3: MSTORE
00001ac4: PUSH1 0x40
00001ac6: DUP2
00001ac7: KECCAK256
00001ac8: DUP1
00001ac9: SLOAD
00001aca: SWAP1
00001acb: DUP3
00001acc: SWAP1
00001acd: SSTORE
00001ace: SWAP1
00001acf: DUP2
00001ad0: GT
00001ad1: ISZERO
00001ad2: PUSH2 0x1b5d
00001ad5: JUMPI
00001ad6: PUSH1 0x40
00001ad8: MLOAD
00001ad9: CALLER
00001ada: SWAP1
00001adb: DUP3
00001adc: ISZERO
00001add: PUSH2 0x08fc
00001ae0: MUL
00001ae1: SWAP1
00001ae2: DUP4
00001ae3: SWAP1
00001ae4: PUSH1 0x00
00001ae6: DUP2
00001ae7: DUP2
00001ae8: DUP2
00001ae9: DUP6
00001aea: DUP9
00001aeb: DUP9
00001aec: CALL
00001aed: SWAP4
00001aee: POP
00001aef: POP
00001af0: POP
00001af1: POP
00001af2: ISZERO
00001af3: DUP1
00001af4: ISZERO
00001af5: PUSH2 0x1b02
00001af8: JUMPI
00001af9: RETURNDATASIZE
00001afa: PUSH1 0x00
00001afc: DUP1
00001afd: RETURNDATACOPY
00001afe: RETURNDATASIZE
00001aff: PUSH1 0x00
00001b01: REVERT
00001b02: JUMPDEST
00001b03: POP
00001b04: PUSH1 0x15
00001b06: SLOAD
00001b07: PUSH2 0x1b16
00001b0a: SWAP1
00001b0b: DUP3
00001b0c: PUSH4 0xffffffff
00001b11: PUSH2 0x09fc
00001b14: AND
00001b15: JUMP
00001b16: JUMPDEST
00001b17: PUSH1 0x15
00001b19: SSTORE
00001b1a: PUSH1 0x40
00001b1c: DUP1
00001b1d: MLOAD
00001b1e: CALLER
00001b1f: DUP2
00001b20: MSTORE
00001b21: PUSH1 0x20
00001b23: DUP2
00001b24: ADD
00001b25: DUP4
00001b26: SWAP1
00001b27: MSTORE
00001b28: TIMESTAMP
00001b29: DUP2
00001b2a: DUP4
00001b2b: ADD
00001b2c: MSTORE
00001b2d: SWAP1
00001b2e: MLOAD
00001b2f: PUSH32 0x44fcb9182d1736e75d442f1dfccc29fe455af9fea509340838a91f78c38ae06e
00001b50: SWAP2
00001b51: DUP2
00001b52: SWAP1
00001b53: SUB
00001b54: PUSH1 0x60
00001b56: ADD
00001b57: SWAP1
00001b58: LOG1
00001b59: PUSH2 0x1b9d
00001b5c: JUMP
00001b5d: JUMPDEST
00001b5e: PUSH1 0x40
00001b60: DUP1
00001b61: MLOAD
00001b62: CALLER
00001b63: DUP2
00001b64: MSTORE
00001b65: PUSH1 0x20
00001b67: DUP2
00001b68: ADD
00001b69: DUP4
00001b6a: SWAP1
00001b6b: MSTORE
00001b6c: TIMESTAMP
00001b6d: DUP2
00001b6e: DUP4
00001b6f: ADD
00001b70: MSTORE
00001b71: SWAP1
00001b72: MLOAD
00001b73: PUSH32 0x023e0896a429821a2538d6323c3b5443c91be3110d3ecbb1df75a80a56adcdf1
00001b94: SWAP2
00001b95: DUP2
00001b96: SWAP1
00001b97: SUB
00001b98: PUSH1 0x60
00001b9a: ADD
00001b9b: SWAP1
00001b9c: LOG1
00001b9d: JUMPDEST
00001b9e: PUSH2 0x191d
00001ba1: JUMP
00001ba2: JUMPDEST
00001ba3: PUSH1 0x40
00001ba5: DUP1
00001ba6: MLOAD
00001ba7: CALLER
00001ba8: DUP2
00001ba9: MSTORE
00001baa: SWAP1
00001bab: MLOAD
00001bac: PUSH32 0x7c3d161a6e8650cf2605a763220094a4d9d7c01d1856fc2be43c8ccd7717b04e
00001bcd: SWAP2
00001bce: DUP2
00001bcf: SWAP1
00001bd0: SUB
00001bd1: PUSH1 0x20
00001bd3: ADD
00001bd4: SWAP1
00001bd5: LOG1
00001bd6: POP
00001bd7: PUSH1 0x0f
00001bd9: DUP1
00001bda: SLOAD
00001bdb: PUSH4 0xff000000
00001be0: NOT
00001be1: AND
00001be2: SWAP1
00001be3: SSTORE
00001be4: JUMP
00001be5: JUMPDEST
00001be6: PUSH1 0x00
00001be8: DUP1
00001be9: DUP3
00001bea: DUP5
00001beb: DUP2
00001bec: ISZERO
00001bed: ISZERO
00001bee: PUSH2 0x1bf3
00001bf1: JUMPI
00001bf2: INVALID
00001bf3: JUMPDEST
00001bf4: DIV
00001bf5: SWAP5
00001bf6: SWAP4
00001bf7: POP
00001bf8: POP
00001bf9: POP
00001bfa: POP
00001bfb: JUMP
00001bfc: STOP
00001bfd: LOG1
00001bfe: PUSH6 0x627a7a723058
00001c05: KECCAK256
00001c06: UNKNOWN(0xE2)
00001c07: UNKNOWN(0xA7)
00001c08: CREATE2
00001c09: TIMESTAMP
00001c0a: UNKNOWN(0xF9)
00001c0b: PUSH6 0xd4122b66d642
00001c12: PUSH6 0xb6bff6492c2e
00001c19: TSTORE
00001c1a: PUSH29

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x95649d426d11938b99ff006825749641bfcbe180091f9f629e658d899b21a4b5 call_targets: 0x16a34f5f4de683996846c911891f612445b346eb target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x95649d426d11938b99ff006825749641bfcbe180091f9f629e658d899b21a4b5", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x16a34f5f4de683996846c911891f612445b346eb" ], "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": "0x03a66f32", "selector": "0x03a66f32", "calldata_variants": [ "0x03a66f32", "0x03a66f320000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x15b73a1d", "selector": "0x15b73a1d", "calldata_variants": [ "0x15b73a1d", "0x15b73a1d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x263ef09a", "selector": "0x263ef09a", "calldata_variants": [ "0x263ef09a", "0x263ef09a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x279994be", "selector": "0x279994be", "calldata_variants": [ "0x279994be", "0x279994be0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2ff2e9dc", "selector": "0x2ff2e9dc", "calldata_variants": [ "0x2ff2e9dc", "0x2ff2e9dc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5227, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 6005, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 6274, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 4, "guards_detected": [], "untrusted_call_count": 4 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x95649d426d11938b99ff006825749641bfcbe180091f9f629e658d899b21a4b5 call_targets: 0x16a34f5f4de683996846c911891f612445b346eb target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x95649d426d11938b99ff006825749641bfcbe180091f9f629e658d899b21a4b5", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x16a34f5f4de683996846c911891f612445b346eb" ], "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": "0x03a66f32", "selector": "0x03a66f32", "calldata_variants": [ "0x03a66f32", "0x03a66f320000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x15b73a1d", "selector": "0x15b73a1d", "calldata_variants": [ "0x15b73a1d", "0x15b73a1d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x263ef09a", "selector": "0x263ef09a", "calldata_variants": [ "0x263ef09a", "0x263ef09a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x279994be", "selector": "0x279994be", "calldata_variants": [ "0x279994be", "0x279994be0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2ff2e9dc", "selector": "0x2ff2e9dc", "calldata_variants": [ "0x2ff2e9dc", "0x2ff2e9dc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 5227, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 6005, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 6274, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 4, "guards_detected": [] }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0x186d49e81f8d3e97bfe83b37689a9ae40d2cd9a098ad45cce296a9a23c6b2587 validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0x186d49e81f8d3e97bfe83b37689a9ae40d2cd9a098ad45cce296a9a23c6b2587", "confirmed": false, "trace_mode": "structLogs", "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": "0x03a66f32", "selector": "0x03a66f32", "calldata_variants": [ "0x03a66f32", "0x03a66f320000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x15b73a1d", "selector": "0x15b73a1d", "calldata_variants": [ "0x15b73a1d", "0x15b73a1d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x263ef09a", "selector": "0x263ef09a", "calldata_variants": [ "0x263ef09a", "0x263ef09a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x279994be", "selector": "0x279994be", "calldata_variants": [ "0x279994be", "0x279994be0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2ff2e9dc", "selector": "0x2ff2e9dc", "calldata_variants": [ "0x2ff2e9dc", "0x2ff2e9dc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 0, "create2_count": 1 }

Severity