-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathK-IS_sick.lazy
71 lines (71 loc) · 2.16 KB
/
K-IS_sick.lazy
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
K(
IS(
SI(K(
S( K (I(S (S(I(KS))
K) (I(S (S(I(KS))
K) I)))))(S (S(I(KS))
K) I(S (S(KS)K)(SII(S(S(I(KS))K)I)))))))
(
K( IS( SI(K(
S(S(KS)K)(S(K(S(S(KS)K)(SII(S(S(KS)
K) I))))(S (S(I(KS))
K) I(S (S(KS)K)(S(S(KS)K)I))))
)))
(
K( IS( SI(K(
S(K(S(S(KS) K) I))(S (SII)I(S(S(I(KS))K)I))
)))
(
K( IS( SI(K(
S(S(KS)K)(S(K(SI I(S (S(I(KS))
K) I)))(S (S(KS)K) (S(S(I(KS))
K) I(S (S(KS)K)(SI I(S (S(I(KS))K)I))))))
)))
(
K( IS( SI(K(
S(S(KS)K)(S(K(S(S(KS)K)I))(S(S(KS)K)(S(K(S(S(K (IS) )K)I))(S(S(KS)K)(SII(S(S(KS)K)(S(S(KS)K)I)))))))
)))
(K(S(S(KS)K)(S(S(KS) K) I)(S (S(KS)K)(S(S(I(KS))
K) I(S (S(KS)K)(SII(S(S(I(KS))
K) I))))(S (S(KS)K)(S(K(S(S (S(I(KS))K))(SII)(S(S(I(KS))
K) I)))(S (K(S(S(I(KS))
K) I))(S (S(KS)K)(SII(S (S(I(KS)) K)I)))))
(S(K(S(
K( IS( SI(K(
S(K(S(S(KS) K) I))(S (SII)I(S(S(I(KS))K)I))
)))))K))
(S(K(S(K(S(SI(K(
S(S(KS)K)(S(K(S(S(KS) K) I))(S (S(I(KS))
K) (I(S(K(S(S(I(KS)) K) I))(S (S(KS)K)(SII(S(S(I(KS))K)(S(
S(I(KS))K)I))))))))
)))))K))
(S(K(S(
K( IS( SI(K(
S(S(KS)K)(S(K(SII(S(S(KS) K) I)))(S (S(I(KS))K)(S(S(I(KS))
K) I(S (S(KS)K)(SII(S(S(I(KS))K)I))))))
)))))K))
(S(K(S(
K( IS( SI(K(
S(K(S(S(KS)K)(S(S(KS) K) I)))(S (S(I(KS))
K) (S(I(K(S (S(I(KS))
K) I)))(S (SII)I(S(S(I(KS))K)I))))
)))))K)) (IS (K (IS( K( IS (SI(K(
SII(S(S(KS)K)(S(S(KS)
K) I))(S (S(I(KS))K))(S(K(S(S(I(KS))K)(SII(S(S(KS)
K) I))))(S (SII)I(S(S(I(KS))K)I)))
)))))K)) (IS(
K( IS (SI(K(
S(S(KS)K)(S(SII) I(S (S(I(KS))
K) I))(S (S(I(KS)) K))(SII(S (S(I(KS))
K) (I(S (S(I(KS))K)I))))
)))))
K)))))))) (IS (SI(K
(S(S(I(KS))
K) (I(S (S(I(KS))K)I))
(I(S (S(I(KS))K)I)))))
(K (I(S (SI(K(
S(S(I(KS))
K) (I(S
(K (I(S (S(I(KS))
K) I))) (S (SII) I(S(S(KS)K)I))))
)))(K(K(SII(SI I(S (S(I(K (IS))) K) I))))))))))))))))))))