Proof of the existence [ 2 ]
猫叉Master+
EXTREME
Level: 10.5
BPM: 170
Notes(
hold): 796(102)
1
口口口口 |－－－－|
口口口口 |－－－－|
口口口口 |－－－－|
口口口口 |－－－－|
2
口口口口 |①－－－|
①①口口 |－－－－|
口口口口 |－－－－|
∧∧口口 |－－－－|
3
口口口口 |－－－－|
口口口口 |－－－－|
口口口口 |－－－－|
口口口口 |－－－－|
4
口口①＜ |－－①－|
①①＞① |－－－－|
口口口口 |－－－－|
口口口口 |－－－－|
5
口口口口 |－－－－|
①口口口 |－－－－|
口②口口 |－－①－|
口口口口 |－②－－|
6
口口①口 |①－－－|
口口口① |－－－－|
口口口口 |－－－－|
＞口①口 |－－－－|
7
①口口口 |①－－－|
口口口口 |－－－－|
口口口口 |－－－－|
口口口口 |－－－－|
8
口口⑧口 |①②③④|
④③②① |⑤⑥⑦－|
⑨⑦⑥⑤ |－－⑧－|
口口①口 |－⑨－－|
9
口口口口 |①－－－|
口口口口 |－－－－|
口口口口 |－－－－|
＞①①＜ |②－－－|
口口口口
口口口口
口口口口
口②②口
10
④①口口 |①－②－|
③＞口① |－－③－|
⑤②口口 |④－⑤－|
⑥⑦口口 |－－⑥⑦|
11
口④口口 |①－②－|
口②口口 |－－③－|
口⑤③口 |④－⑤－|
口口①口 |－－⑥－|
口口口口
口⑥口口
口口口口
口口口口
12
①口＜④ |①－②－|
口口①① |－－③－|
③口口⑤ |④－⑤－|
口口②口 |－－⑥⑦|
口口口口
口口⑦⑥
口口口口
口口口口
13
口口④口 |①－②－|
口①⑥口 |－－③－|
口③⑤口 |④－⑤－|
口②口口 |－－⑥－|
14
①＞口① |①－②－|
④①口口 |－－③－|
口口③口 |④－⑤－|
⑤②口口 |－－⑥⑦|
⑥⑦口口
口口口口
口口口口
口口口口
15
口口①① |①－②－|
口①口＜ |－－③－|
口口口② |④－⑤－|
口口③口 |－－⑥⑦|
口口⑥口
口口⑦④
口口口口
口口口⑤
16
④口口口 |①－②－|
②①口口 |－－③－|
＞口①口 |④－⑤－|
③口口口 |－－⑥－|
口⑥⑥口
口口口口
⑤口口口
口口口口
17
∨口口∨ |①－－－|
①口口① |－－－－|
口口①口 |－－－－|
口口口口 |②－－－|
口口口口
②口口②
口口口口
口口口口
18
口⑧⑤② |①－②③|
⑨⑥③口 |④－⑤⑥|
⑦④⑩① |⑦－⑧⑨|
①口口＜ |⑩－⑪⑫|
口口口口
口口口⑪
口口口⑫
口口口口
19
口口②⑤ |①－②③|
口⑥③⑧ |④－⑤⑥|
④⑨⑦口 |⑦－⑧⑨|
口①⑩口 |⑩－⑪⑫|
口口⑪口
⑫口口口
口口口口
口口口口
20
口口⑧口 |①－②③|
口口②⑤ |④－⑤⑥|
③⑨⑥① |⑦－⑧⑨|
口⑦口④ |⑩－⑪⑫|
口口口口
口⑫⑪口
口口口⑩
口口口口
21
口口⑦⑤ |①－②③|
①⑨口② |④－⑤⑥|
⑩⑥⑧口 |⑦－⑧⑨|
口④口③ |⑩－⑪⑫|
口口口口
⑫口口⑪
口口口口
口口口口
22
口⑧⑤② |①－②③|
⑨⑥③口 |④－⑤⑥|
⑦④⑩① |⑦－⑧⑨|
口口口口 |⑩－⑪⑫|
口口口口
口口口⑪
口口口⑫
口口口口
23
口口②⑤ |①－②③|
口⑥③⑧ |④－⑤⑥|
④⑨⑦口 |⑦－⑧⑨|
口①⑩口 |⑩－⑪⑫|
口口⑪口
⑫口口口
口口口口
口口口口
24
口口⑧口 |①－②③|
口口②⑤ |④－⑤⑥|
③⑨⑥① |⑦－⑧⑨|
口⑦口④ |⑩－⑪⑫|
口口口口
口⑫⑪口
口口口⑩
口口口口
25
③⑥⑨口 |①②③④|
①口口④ |⑤⑥⑦⑧|
⑤⑩⑦口 |⑨⑩⑪－|
①⑧口② |－－⑫－|
口口口⑪
口口口口
口口口口
口口口∧
口口口⑫
口口口口
口口口口
口口口口
26
②②口口 |①－－－|
口口①口 |②－－－|
口口口口 |③－④－|
①口＜口 |⑤－⑥－|
口口口口
口④口⑥
口口⑤口
②③③∧
27
口②②④ |①－－－|
⑤⑥口② |②－－－|
口①口④ |③－④－|
③③口口 |⑤⑥⑦⑧－－|
∨口口口
口口口口
⑧⑦口口
口口口口
28
口口①口 |①－－－|
口口⑤③ |②－－－|
②④口口 |③－④－|
口②②口 |⑤－⑥－|
口口口∨
口口口口
口口口⑥
口口口口
29
③③②口 |①－－－|
口②口④ |②－③－|
①⑥⑤② |－－④－|
口⑦⑧口 |⑤⑥⑦⑧－－|
口口口口
口口口口
口口口口
口口口口
30
口②②口 |①－－－|
①口＜口 |②－－－|
口口③③ |③－④－|
口④口口 |⑤－⑥－|
口口口口
②口⑤∨
口口口口
口口口⑥
31
⑨②②口 |①－－－|
③④⑧口 |②－－③④⑤|
⑦①⑤⑥ |⑥－⑦－|
口口口② |⑧－⑨－|
32
口＞口① |①－－－|
③③口口 |②－－－|
口口口口 |③－④－|
口②②口 |⑤－⑥－|
口④口②
口口口口
口⑥口⑤
口口口口
33
⑤口②① |－－－①②③|
口口③④ |④－⑤－|
⑦⑧⑨⑩ |－－⑥－|
口口口⑥ |⑦⑧⑨⑩|
34
口口口⑤ |①－②③|
①④③② |④－⑤－|
口口口口 |⑥－⑦－|
∧口①口 |⑧－⑨－|
口口⑦∨
④口口口
口⑧口⑨
⑥⑥口口
35
①⑥⑥口 |①－②③|
②③④⑦ |④－⑤－|
①口口④ |⑥－⑦－|
口口⑤口 |⑧⑨⑩⑪－－|
口口口口
口口口口
⑧⑨口口
口⑩口口
口口口口
∨口口口
口口口口
⑪口口口
36
口⑥⑥① |①－②③|
⑤口②⑦ |④－⑤－|
口⑧③① |⑥－⑦－|
④口④口 |⑧－⑨－|
口口口口
口口口口
口口口口
口＞口⑨
37
⑥口⑦⑤ |①－②③|
②③④口 |④－⑤－|
⑥口⑨⑧ |⑥－⑦－|
①①口④ |⑧⑨⑩⑪－－|
口口口口
口口口口
口口口口
⑪⑩口口
38
口口口② |①－②③|
①口＜口 |④－⑤－|
口口口口 |⑥－⑦－|
口口口口 |⑧－⑨－|
口⑤口口
④⑧③⑥
口④口⑥
⑦口口口
口口口口
口口∨口
口口口口
口口⑨口
39
①口⑥⑤ |①－②③|
⑪口⑦⑧ |④－－⑤⑥⑦|
④③②⑩ |⑧－⑨－|
⑨口④口 |⑩－⑪－|
40
＞①④⑦ |①－②③|
口③⑧口 |④－⑤－|
⑤⑨②口 |⑥－⑦－|
口口⑥⑥ |⑧－⑨－|
口④口口
口口口口
口口口口
口口口口
41
②③⑧⑥ |①－－②③④|
⑤④口① |⑤－⑥－|
⑧⑩⑨① |⑦－⑧－|
⑦⑪⑫口 |⑨⑩⑪⑫－－|
42
④口⑦③ |①－－－②－|
⑤①③口 |－－③－④⑤|
⑥口口② |⑥－－－⑦－|
口⑧口口 |－－⑧－－－|
43
④∨口口 |①－－－|
口①②① |－－－－|
③口口∧ |②－－－③－|
口口口口 |－－④－－－|
口口口口
口②口②
口口口口
口口口口
44
⑦③①① |①－－－②－|
③口口⑧ |－－③－④⑤|
口⑥⑤④ |⑥－－－⑦－|
口口②口 |－－⑧－－－|
45
口④口口 |①－－－|
＞①③口 |－－－－|
口②口口 |－－－－|
口①＜口 |②－③－④－|
口口口口
口②口口
口口口口
口②口口
46
④口②口 |①－－－②－|
⑤口口⑦ |－－③－④⑤|
⑥口③口 |⑥－－－⑦－|
①⑧口③ |－－⑧－－－|
47
＞①＞① |①－－－|
③口口口 |－－－－|
口口②口 |②－－－③－|
口口口口 |－－④－－－|
口②④②
口口口口
口口口口
口口口口
48
①⑦口口 |①－－－②－|
口①口② |－－③－④⑤|
④⑤⑥⑧ |⑥－－－⑦－|
口③③口 |－－⑧－－－|
49
∨口③② |①－－－|
①口④④ |－－－－|
∨口②③ |②－－－③－|
①口口口 |－－④－－－|
口口口口
④口口口
口口口口
④口口口
50
②⑤⑨③ |①－－－②－|
⑧⑥⑩口 |③－④－⑤⑥|
口⑦④口 |⑦－－－⑧－|
口①⑦① |⑨－⑩－－－|
51
口④⑤② |①－－－|
∨∨口口 |②－－－|
口口口③ |③－－－④－|
①①③① |⑤－⑥－－－|
口口口口
口口口口
⑥口口口
③③口口
52
①⑧⑦① |①－－－②－|
口口②⑩ |③－④－⑤⑥|
口⑦⑥⑤ |⑦－－－⑧－|
④口⑨③ |⑨－⑩－－－|
53
口口③① |①－－－|
∨①口口 |②－－－|
①∧口口 |③－－－|
口口口② |④－⑤－⑥－|
口⑥口口
口③⑤口
③④口口
口口④口
54
③⑨口① |①－－－②－|
②口⑧⑤ |③－④－⑤⑥|
⑩口④⑥ |⑦－－－⑧－|
①⑦口⑦ |⑨－⑩－－－|
55
②⑤①① |①－－－|
④口∧∧ |②－－－|
口口③⑥ |③－－－④－|
①③口口 |⑤－⑥－－－|
口口③③
口口口口
口口口口
口口口口
56
①⑦口⑧ |①－－－②－|
⑤⑥⑦① |③－④－⑤⑥|
⑩②口口 |⑦－－－⑧－|
③⑨口④ |⑨－⑩－－－|
57
①③口口 |①－－－|
口口＞① |②－－－|
口口①＜ |③－④－|
②口口口 |⑤⑥⑦⑧|
口口口口
口口④③
⑦口③⑧
口⑤⑥口
58
①口②口 |①－－－|
∧口口口 |－－－－|
口口②口 |②－－－|
口口口口 |－－－－|
59
口口口口 |①－－－|
口口②口 |－－－－|
②口口口 |②－－－|
口口①＜ |－－－－|
60
口口口口 |①－－－|
口∨口口 |－－－－|
口①口② |②－－－|
口口口口 |－－－－|
61
口口口∨ |①－－－|
口口②① |－－－－|
口口口口 |②－－－|
口口口口 |－－－－|
62
口①＜口 |①－－－|
口口口口 |－－－－|
口口②口 |②－－－|
口口口口 |－－－－|
63
口口口口 |①－－－|
口口①口 |－－－－|
口口∧口 |②－－－|
口口口口 |－－－－|
②②口口
口口②②
口②口口
口口②口
64
口口①口 |①－－－|
口①口口 |－－－－|
口口口口 |②－－－|
②口口② |－－－－|
65
⑤①③⑤ |①－－－②－|
②口口② |－－③－－－|
④⑥⑦④ |④－－－⑤－|
口①③口 |－－⑥－⑦－|
66
口口口口 |①－②③|
口口＞① |④－⑤－|
④口口口 |⑥－⑦⑧|
②③⑤口 |⑨－⑩－|
口口⑥口
⑦口∧⑥
口⑧⑨口
⑩口口口
67
口∨①口 |①－②③|
口①口口 |④－⑤－|
④口口⑤ |⑥－⑦－|
口②③口 |⑧－⑨－|
⑦口＞⑥
口⑥⑧＜
口⑨口口
口口口口
口口口⑧
口口口口
口口口口
口口口口
68
∨＞①口 |①－②③|
⑥口①⑩ |④－⑤－|
⑦⑧⑨⑤ |⑥－⑦⑧|
②③④口 |⑨－⑩－|
口口⑥口
口口口口
口口口口
口口口口
69
口①＞⑥ |①－②③|
①∧⑧＜ |④－⑤－|
⑦口口⑤ |⑥－⑦－|
②③④口 |⑧－⑨－|
口⑥口⑧
⑨口口口
口口口口
口口口口
70
口＞①口 |①－②③|
口口①口 |④－⑤－|
口③口口 |⑥－⑦⑧|
②④口⑤ |⑨－⑩－|
⑩∨⑥口
口⑥口口
⑦口⑨口
口口⑧口
71
口口④① |①－②－|
③①口∧ |③－④－|
∧⑥＞⑤ |⑤－⑥－|
口②口口 |⑦－⑧－|
口口口③
⑤口⑧口
口口口⑦
⑦＜口口
72
②口⑤∨ |①－②③|
⑦③口① |④－⑤－|
④⑧口口 |⑥－⑦⑧|
①口⑥＜ |⑨－⑩－|
口⑩口口
口口口⑥
口口口口
⑨口口口
73
⑤⑦＞⑥ |①－②③|
口②①口 |④－⑤－|
③口∧口 |⑥－⑦－|
口④①口 |⑧－⑨－|
口口⑨⑧
口口⑥口
＞⑧口口
口口口口
74
口口口口 |①－②③|
①＜口口 |④－⑤－|
口①口④ |⑥－⑦⑧|
口⑤③② |⑨－⑩－|
口⑥口口
⑥∧口⑦
口⑨⑧口
口口口⑩
75
口①∨口 |①－②③|
口口①口 |④－⑤－|
⑤口口④ |⑥－⑦－|
口③②口 |⑧－⑨－|
⑧口口口
口口口口
口口口口
口口口口
76
口①＜∨ |①－②③|
⑩①口⑥ |④－⑤－|
⑤⑨⑧⑦ |⑥－⑦⑧|
口④③② |⑨－⑩－|
口⑥口口
口口口口
口口口口
口口口口
77
⑥＜①口 |①－②③|
＞⑧∧① |④－⑤－|
⑤口口⑦ |⑥－⑦－|
口④③② |⑧－⑨－|
⑧口⑥口
口口口⑨
口口口口
口口口口
78
口①＜口 |①－②③|
口①口口 |④－⑤－|
口口③口 |⑥－⑦⑧|
⑤口④② |⑨－⑩－|
口⑥∨⑩
口口⑥口
口⑨口⑦
口⑧口口
79
①④口口 |①－②－|
∧口①③ |③－④－|
⑤＜⑥∧ |⑤－⑥－|
口口②口 |⑦－⑧－|
③口口口
口⑧口⑤
⑦口口口
口口＞⑦
80
∨③③② |①－－②|
①口②口 |－－③－|
口⑥⑤① |④－⑤－|
＞④①① |⑥－⑦－|
口口口口
④口口口
口口口口
口口⑦口
81
⑤⑥⑦① |①②③④|
＞①⑧② |⑤－⑥－|
口口⑨③ |⑦⑧⑨⑩|
⑪①⑩④ |⑪－⑫－⑬－|
口口口口
⑬⑪口⑫
口口口口
口口口口
82
①口＜② |①－－－|
口口口口 |－－－－|
口口②口 |②－－－|
口口口① |－－－－|
83
①口口∨ |①－－－|
②口口口 |－－－－|
口口口① |②－－－|
口②口口 |－－－－|
84
口口口口 |①－－－|
口①口口 |－－－－|
口口口① |②－－－|
口∧②② |－－－－|
85
＞口①口 |①－－－|
口①口口 |－－－－|
口口口口 |②－－－|
②②口口 |－－－－|
86
口②①口 |①－－－|
口口口② |－－－－|
①口＜口 |②－－－|
口口口口 |－－－－|
87
口口②口 |①－－－|
②口∨口 |－－－－|
①口口口 |②－－－|
口口①口 |－－－－|
88
口口∨口 |①－－－|
口①口② |－－－－|
②口①口 |②－－－|
口∧①口 |－－－－|
89
口＞口① |①－－－|
＞①①口 |－－－－|
口①①＜ |－－－－|
①口＜口 |－－－－|
90
口口口口 |－－－－|
口口口口 |－－－－|
口口口口 |－－－－|
口口口口 |－－－－|
91
口口口① |①－－－|
口口①口 |－－－－|
口①口口 |－－－－|
①口口口 |－－－－|
最終更新：2020年01月24日 12:49
