limbo .sbl 2.1Lists2lists.blists.m2368.7,15 09.6,13 16,13 18,12 16,13 16,13 16,13 110.10,11 23,11 28.17,25 317,25 311.8,9 41,9 416.7,15 517.5,12 65,12 67,11 65,12 65,12 65,12 618.10,11 73,11 716.17,25 817,25 819.8,9 91,9 924.4,12 1025.9,12 112,12 1126.8,15 128,15 1210,14 128,15 128,15 1219,31 1223,24 1226,30 1219,31 1219,31 128,31 128,31 128,31 138,31 141,31 1231.4,12 1532.9,12 162,12 1633.4,11 174,11 176,10 174,11 174,11 174,11 1734.9,13 1817,32 1824,25 1827,31 1817,32 1817,32 189,32 189,32 189,32 199,32 202,32 1835.8,23 2115,16 2118,22 218,23 218,23 211,23 2142.7,15 2243.5,12 235,12 237,11 235,12 235,12 235,12 2344.8,12 243,18 243,18 253,18 2646.8,12 273,18 273,18 2842.17,25 2917,25 2947.9,20 3017,19 309,20 309,20 3022,33 3030,32 3022,33 3022,33 301,34 3053.4,12 3154.14,17 329,17 329,17 329,17 332,17 3255.8,12 3416,31 3423,27 3429,30 3416,31 3416,31 348,31 348,31 348,31 358,31 361,31 3460.4,13 3761.9,10 382,10 3862.5,22 3920,21 395,22 395,22 3924,34 4063.7,13 412,19 412,19 4262.36,48 4336,48 4364.8,10 441,10 4469.7,15 4570.7,11 462,17 462,17 4769.17,25 4817,25 4871.8,10 491,10 4977.7,15 5078.7,11 512,17 512,17 5277.17,25 5317,25 5379.8,10 541,10 5485.7,11 557,18 557,18 5686.2,10 572,10 5787.8,12 581,12 5894.7,15 5995.5,18 6010,11 6013,17 605,18 605,18 605,18 6096.10,11 613,11 6194.17,25 6217,25 6297.8,11 631,11 63104.1,18 6413,14 6416,17 648,18 648,18 641,18 641,18 64105.4,14 65106.9,10 662,10 66108.7,15 67109.6,10 682,15 682,15 69108.17,25 7017,25 70110.1,11 71111.7,15 72112.6,10 732,15 732,15 74111.17,25 7517,25 75113.8,9 761,9 76118.4,13 7717,26 77119.9,12 782,12 78120.9,14 7916,21 7926,44 7931,36 7938,43 7926,44 7926,44 798,44 798,44 798,44 808,44 818,44 821,44 79127.7,15 83128.14,18 84129.2,15 85130.2,15 862,15 872,15 882,15 89127.17,25 9017,25 90132.9,20 9117,19 919,20 919,20 9122,33 9130,32 9122,33 9122,33 911,34 91138.7,15 92139.5,18 9310,11 9313,17 935,18 935,18 935,18 93140.10,11 943,11 94138.17,25 9517,25 95141.8,9 961,9 960150:allsat232:p:6.10,11 Rt0.20:t0:0.0,0 N4:t1:0,0 i 36:l:6.32,33 LP0i13:anysat232:p:14.10,11 Rt0.20:t0:0.0,0 N4:t1:0,0 i 36:l:14.32,33 LP0i26:map232:f:22.7,8 Rt0.20:t0:0.0,0 N4:t1:0,0 i 36:l:22.27,28 LP0LP44:filter232:p:29.10,11 Rt0.20:t0:0.0,0 N4:t1:0,0 i 36:l:29.32,33 LP0LP70:partition232:p:38.13,14 Rt0.20:t0:0.0,0 N4:t1:0,0 i 36:l:38.35,36 LP240:l1:40.1,3 LP44:l2:41.1,3 LPt8.20:t0:38.51,60 LP4:t1:51,60 LP95:append232:l:50.10,11 LP36:x:24,25 P0LP112:concat232:l:58.10,11 LP36:l2:24,26 LP140:rl1:62.5,8 LPLP127:combine232:l:67.11,12 LP36:l2:25,27 LP0LP135:reverse132:l:74.11,12 LP136:rl:76.1,3 LPLP143:last132:l:82.8,9 LP0P150:find232:x:91.8,9 P36:l:14,15 LP0LP163:delete232:x:101.10,11 P36:l:16,17 LP248:o:107.1,2 LP52:loc:104.1,4 LPLP188:pair232:l1:116.13,15 LP36:l2:29,31 LP0Lt8.20:t0:55,57 P4:t1:55,57 P205:unpair132:l:123.15,16 Lt8.20:t0:27,29 P4:t1:27,29 P 436:l1:125.1,3 LP40:l2:126.1,3 LP44:v1:128.3,5 P48:v2:7,9 Pt8.20:t0:123.38,48 LP4:t1:38,48 LP223:ismember232:x:135.12,13 P36:l:18,19 LP0i0