limbo .sbl 2.1
Lists
2
lists.b
lists.m
236
8.7,15 0
9.6,13 1
6,13 1
8,12 1
6,13 1
6,13 1
6,13 1
10.10,11 2
3,11 2
8.17,25 3
17,25 3
11.8,9 4
1,9 4
16.7,15 5
17.5,12 6
5,12 6
7,11 6
5,12 6
5,12 6
5,12 6
18.10,11 7
3,11 7
16.17,25 8
17,25 8
19.8,9 9
1,9 9
24.4,12 10
25.9,12 11
2,12 11
26.8,15 12
8,15 12
10,14 12
8,15 12
8,15 12
19,31 12
23,24 12
26,30 12
19,31 12
19,31 12
8,31 12
8,31 12
8,31 13
8,31 14
1,31 12
31.4,12 15
32.9,12 16
2,12 16
33.4,11 17
4,11 17
6,10 17
4,11 17
4,11 17
4,11 17
34.9,13 18
17,32 18
24,25 18
27,31 18
17,32 18
17,32 18
9,32 18
9,32 18
9,32 19
9,32 20
2,32 18
35.8,23 21
15,16 21
18,22 21
8,23 21
8,23 21
1,23 21
42.7,15 22
43.5,12 23
5,12 23
7,11 23
5,12 23
5,12 23
5,12 23
44.8,12 24
3,18 24
3,18 25
3,18 26
46.8,12 27
3,18 27
3,18 28
42.17,25 29
17,25 29
47.9,20 30
17,19 30
9,20 30
9,20 30
22,33 30
30,32 30
22,33 30
22,33 30
1,34 30
53.4,12 31
54.14,17 32
9,17 32
9,17 32
9,17 33
2,17 32
55.8,12 34
16,31 34
23,27 34
29,30 34
16,31 34
16,31 34
8,31 34
8,31 34
8,31 35
8,31 36
1,31 34
60.4,13 37
61.9,10 38
2,10 38
62.5,22 39
20,21 39
5,22 39
5,22 39
24,34 40
63.7,13 41
2,19 41
2,19 42
62.36,48 43
36,48 43
64.8,10 44
1,10 44
69.7,15 45
70.7,11 46
2,17 46
2,17 47
69.17,25 48
17,25 48
71.8,10 49
1,10 49
77.7,15 50
78.7,11 51
2,17 51
2,17 52
77.17,25 53
17,25 53
79.8,10 54
1,10 54
85.7,11 55
7,18 55
7,18 56
86.2,10 57
2,10 57
87.8,12 58
1,12 58
94.7,15 59
95.5,18 60
10,11 60
13,17 60
5,18 60
5,18 60
5,18 60
96.10,11 61
3,11 61
94.17,25 62
17,25 62
97.8,11 63
1,11 63
104.1,18 64
13,14 64
16,17 64
8,18 64
8,18 64
1,18 64
1,18 64
105.4,14 65
106.9,10 66
2,10 66
108.7,15 67
109.6,10 68
2,15 68
2,15 69
108.17,25 70
17,25 70
110.1,11 71
111.7,15 72
112.6,10 73
2,15 73
2,15 74
111.17,25 75
17,25 75
113.8,9 76
1,9 76
118.4,13 77
17,26 77
119.9,12 78
2,12 78
120.9,14 79
16,21 79
26,44 79
31,36 79
38,43 79
26,44 79
26,44 79
8,44 79
8,44 79
8,44 80
8,44 81
8,44 82
1,44 79
127.7,15 83
128.14,18 84
129.2,15 85
130.2,15 86
2,15 87
2,15 88
2,15 89
127.17,25 90
17,25 90
132.9,20 91
17,19 91
9,20 91
9,20 91
22,33 91
30,32 91
22,33 91
22,33 91
1,34 91
138.7,15 92
139.5,18 93
10,11 93
13,17 93
5,18 93
5,18 93
5,18 93
140.10,11 94
3,11 94
138.17,25 95
17,25 95
141.8,9 96
1,9 96
0
15
0:allsat
2
32:p:6.10,11 Rt0.2
0:t0:0.0,0 N
4:t1:0,0 i

36:l:6.32,33 LP
0
i13:anysat
2
32:p:14.10,11 Rt0.2
0:t0:0.0,0 N
4:t1:0,0 i

36:l:14.32,33 LP
0
i26:map
2
32:f:22.7,8 Rt0.2
0:t0:0.0,0 N
4:t1:0,0 i

36:l:22.27,28 LP
0
LP44:filter
2
32:p:29.10,11 Rt0.2
0:t0:0.0,0 N
4:t1:0,0 i

36:l:29.32,33 LP
0
LP70:partition
2
32:p:38.13,14 Rt0.2
0:t0:0.0,0 N
4:t1:0,0 i

36:l:38.35,36 LP
2
40:l1:40.1,3 LP
44:l2:41.1,3 LP
t8.2
0:t0:38.51,60 LP
4:t1:51,60 LP
95:append
2
32:l:50.10,11 LP
36:x:24,25 P
0
LP112:concat
2
32:l:58.10,11 LP
36:l2:24,26 LP
1
40:rl1:62.5,8 LP
LP127:combine
2
32:l:67.11,12 LP
36:l2:25,27 LP
0
LP135:reverse
1
32:l:74.11,12 LP
1
36:rl:76.1,3 LP
LP143:last
1
32:l:82.8,9 LP
0
P150:find
2
32:x:91.8,9 P
36:l:14,15 LP
0
LP163:delete
2
32:x:101.10,11 P
36:l:16,17 LP
2
48:o:107.1,2 LP
52:loc:104.1,4 LP
LP188:pair
2
32:l1:116.13,15 LP
36:l2:29,31 LP
0
Lt8.2
0:t0:55,57 P
4:t1:55,57 P
205:unpair
1
32:l:123.15,16 Lt8.2
0:t0:27,29 P
4:t1:27,29 P

4
36:l1:125.1,3 LP
40:l2:126.1,3 LP
44:v1:128.3,5 P
48:v2:7,9 P
t8.2
0:t0:123.38,48 LP
4:t1:38,48 LP
223:ismember
2
32:x:135.12,13 P
36:l:18,19 LP
0
i0