Ticket #2884: long-modname-ver.hs

File long-modname-ver.hs, 17.1 KB (added by jcpetruzza, 5 years ago)
Line 
1import Control.Monad.State
2import VeryLongModuleName
3
4type Driver a = StateT T IO a
5
6main :: IO ()
7main = evalStateT (mapM_ (uncurry onLine) $ zip [1..] cs) empty
8
9onLine :: Int -> [[Int]] -> Driver ()
10onLine iter l = do liftIO $ putStr $ concat [show iter, " -"]
11                   (survived, subsumed) <- partitionM subsumptionCheck l
12                   let show_len = show . length
13                   liftIO $ putStrLn $ concat [" #surv: ", show_len survived,
14                                               " #subs: ", show_len subsumed]
15
16
17subsumptionCheck :: [Int] -> Driver Bool
18subsumptionCheck cl =
19    do s <- get
20       let wasSubsumed = subsumes s cl
21       if wasSubsumed
22         then return False
23         else do put (add cl s)
24                 return True
25
26partitionM :: Monad m => (a -> m Bool) -> [a] -> m ([a],[a])
27partitionM p xs = sequence (map p' xs) >>= return . partitionEithers
28    where p' a = do r <- p a; return $ if r then Left a else Right a
29
30partitionEithers :: [Either a b] -> ([a],[b])
31partitionEithers = foldr (either _left _right) ([],[])
32    where _left  a (l, r) = (a:l, r)
33          _right a (l, r) = (l, a:r)
34
35
36
37cs :: [ [[Int]] ]
38cs = [
39    [[1],[2],[3],[4],[5]],
40    [[(-9),(-8),6,7,10]],
41    [[11],[12],[13],[14],[15]],
42    [[(-17),16]],
43    [[(-18),(-16)]],
44    [[(-16),19]],
45    [[(-17),20]],
46    [[(-21),(-7),22]],
47    [[(-25),17,23,24,26,27,28,29,30,31,32]],
48    [[(-34),(-33),35]],
49    [[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],[92],[93],[94],[95],[96],[97],[98],[99],[100],[101],[102],[103],[104],[105],[106],[107],[108],[109],[110],[111],[112],[113],[114],[115],[116],[117],[118],[119],[120],[121],[122],[123],[124],[125],[126],[127],[128],[129],[130],[131],[132],[133],[134],[135],[136],[137],[138],[139],[140],[141],[142],[143],[144],[145],[146],[147],[148],[149],[150],[151],[152],[153],[154],[155],[156],[157],[158],[159],[160],[161],[162],[163],[164],[165],[166],[167],[168],[169],[170],[171],[172],[173],[174],[175],[176],[177],[178],[179],[180],[181],[182],[183],[184],[185],[186],[187],[188],[189],[190],[191],[192],[193],[194],[195],[196],[197],[198],[199],[200],[201],[202],[203],[204],[205],[206],[207],[208],[209],[210],[211],[212],[213],[214],[215],[216],[217],[218],[219],[220],[221],[222],[223],[224],[225],[226],[227],[228],[229],[230],[231],[232],[233],[234],[235],[236]],
50    [[(-238),237]],
51    [[(-237),239]],
52    [[(-9),(-8),6,7,240],[(-9),(-8),6,7,241]],
53    [[(-239),242]],
54    [[(-242),243]],
55    [[(-243),244]],
56    [[(-244),245]],
57    [[(-245),246]],
58    [[(-239),247]],
59    [[(-247),248]],
60    [[(-248),249]],
61    [[(-249),250]],
62    [[(-249),251]],
63    [[(-251),252]],
64    [[(-252),253]],
65    [[(-253),254]],
66    [[(-253),255]],
67    [[(-255),256]],
68    [[(-256),257]],
69    [[(-257),258]],
70    [[(-255),259]],
71    [[(-259),260]],
72    [[(-260),261]],
73    [[(-17),262],[(-17),263]],
74    [[(-261),264]],
75    [[(-261),265]],
76    [[(-265),266]],
77    [[(-266),267]],
78    [[(-267),268]],
79    [[(-21),(-7),269],[(-21),(-7),270]],
80    [[(-265),271]],
81    [[(-271),272]],
82    [[(-272),273]],
83    [[(-273),274]],
84    [[(-273),275]],
85    [[(-25),17,23,24,27,28,29,30,31,32,276],[(-25),17,23,24,27,28,29,30,31,32,277]],
86    [[(-275),278]],
87    [[(-278),279]],
88    [[(-279),280]],
89    [[(-275),281]],
90    [[(-281),282]],
91    [[(-34),(-33),283],[(-34),(-33),284]],
92    [[(-282),285]],
93    [[(-285),286]],
94    [[(-285),287]],
95    [[(-287),288]],
96    [[(-288),289]],
97    [[238,290,291,292]],
98    [[(-289),293]],
99    [[(-259),294]],
100    [[(-294),295]],
101    [[(-295),296]],
102    [[(-296),297]],
103    [[(-237),298,299]],
104    [[(-296),300]],
105    [[(-300),301]],
106    [[(-301),302]],
107    [[(-302),303]],
108    [[(-300),304]],
109    [[(-299),(-242),305]],
110    [[(-304),306]],
111    [[(-306),307]],
112    [[(-307),308]],
113    [[(-307),309]],
114    [[(-309),310]],
115    [[(-305),(-244),311]],
116    [[(-310),312]],
117    [[(-312),313]],
118    [[(-304),314]],
119    [[(-314),315]],
120    [[(-315),316]],
121    [[(-311),(-246),317]],
122    [[(-316),318]],
123    [[(-316),319]],
124    [[(-319),320]],
125    [[(-320),321]],
126    [[(-321),322]],
127    [[(-317),(-246),323,324]],
128    [[(-319),325]],
129    [[(-325),326]],
130    [[(-326),327]],
131    [[(-327),328]],
132    [[(-327),329]],
133    [[(-324),(-317),(-245),330]],
134    [[(-329),331]],
135    [[(-331),332]],
136    [[(-332),333]],
137    [[(-325),334]],
138    [[(-334),335]],
139    [[(-336),(-324),(-311),(-243)]],
140    [[(-335),337]],
141    [[(-337),338]],
142    [[(-337),339]],
143    [[(-339),340]],
144    [[(-340),341]],
145    [[(-305),(-248),342]],
146    [[(-341),343]],
147    [[(-339),344]],
148    [[(-344),345]],
149    [[(-345),346]],
150    [[(-346),347]],
151    [[(-342),(-250),348]],
152    [[(-346),349]],
153    [[(-349),350]],
154    [[(-350),351]],
155    [[(-351),352]],
156    [[(-247),353]],
157    [[(-348),(-323),(-250),354]],
158    [[(-353),355]],
159    [[(-355),356]],
160    [[(-356),357]],
161    [[(-356),358]],
162    [[(-358),359]],
163    [[(-348),(-252),360]],
164    [[(-359),361]],
165    [[(-361),362]],
166    [[(-360),(-254),363]],
167    [[(-363),(-256),364]],
168    [[(-364),(-258),365]],
169    [[(-363),(-354),(-254),366]],
170    [[(-364),(-260),367]],
171    [[(-367),(-264),368]],
172    [[(-368),(-266),369]],
173    [[(-369),(-268),370]],
174    [[(-369),(-272),371]],
175    [[(-366),(-365),(-258),372]],
176    [[(-371),(-274),373]],
177    [[(-373),(-278),374]],
178    [[(-374),(-280),375]],
179    [[(-374),(-282),376]],
180    [[(-376),(-286),377]],
181    [[(-372),(-365),(-257),378,379]],
182    [[(-377),(-288),380]],
183    [[(-380),(-293),381]],
184    [[(-367),(-295),382]],
185    [[(-382),(-297),383]],
186    [[(-383),(-301),384]],
187    [[(-372),(-368),(-264),385]],
188    [[(-384),(-303),386]],
189    [[(-384),(-306),387]],
190    [[(-387),(-308),388]],
191    [[(-388),(-310),389]],
192    [[(-389),(-313),390]],
193    [[(-385),(-370),(-268),391]],
194    [[(-387),(-315),392]],
195    [[(-392),(-318),393]],
196    [[(-393),(-320),394]],
197    [[(-394),(-322),395]],
198    [[(-394),(-326),396]],
199    [[(-391),(-379),(-370),(-267),397]],
200    [[(-396),(-328),398]],
201    [[(-398),(-331),399]],
202    [[(-399),(-333),400]],
203    [[(-396),(-335),401]],
204    [[(-401),(-338),402]],
205    [[(-391),(-373),(-274),403]],
206    [[(-402),(-340),404]],
207    [[(-404),(-343),405]],
208    [[(-404),(-345),406]],
209    [[(-406),(-347),407]],
210    [[(-407),(-350),408]],
211    [[(-403),(-375),(-280),409]],
212    [[(-408),(-352),410]],
213    [[(-355),(-342),411]],
214    [[(-411),(-357),412]],
215    [[(-412),(-359),413]],
216    [[(-413),(-362),414]],
217    [[(-409),(-397),(-375),(-279),415]],
218    [[(-409),(-377),(-286),416]],
219    [[(-416),(-381),(-293),417]],
220    [[(-385),(-383),(-297),418]],
221    [[(-418),(-386),(-303),419]],
222    [[(-419),(-388),(-308),420]],
223    [[(-417),(-415),(-381),(-289),421]],
224    [[(-420),(-390),(-313),422]],
225    [[(-420),(-393),(-318),423]],
226    [[(-423),(-395),(-322),424]],
227    [[(-424),(-398),(-328),425]],
228    [[(-425),(-400),(-333),426]],
229    [[(-421),(-417),(-380),(-287),427,428]],
230    [[(-425),(-402),(-338),429]],
231    [[(-429),(-405),(-343),430]],
232    [[(-430),(-407),(-347),431]],
233    [[(-431),(-410),(-352),432]],
234    [[(-412),(-357),(-354),433]],
235    [[(-434),(-428),(-421),(-416),(-376),(-281)]],
236    [[(-433),(-414),(-362),435]],
237    [[(-419),(-397),(-386),(-302),436]],
238    [[(-436),(-422),(-390),(-312),437]],
239    [[(-437),(-424),(-395),(-321),438]],
240    [[(-438),(-426),(-400),(-332),439]],
241    [[(-440),(-428),(-415),(-403),(-371),(-271)]],
242    [[(-439),(-430),(-405),(-341),441]],
243    [[(-441),(-432),(-410),(-351),442]],
244    [[(-435),(-414),(-378),(-361),443]],
245    [[(-444),(-443),(-435),(-413),(-358)]],
246    [[(-378),(-323),(-299),(-238),336]],
247    [[(-437),(-427),(-422),(-389),(-309),445]],
248    [[(-445),(-439),(-426),(-399),(-329),446]],
249    [[(-446),(-442),(-432),(-408),(-349),447]],
250    [[(-447),(-442),(-431),(-406),(-344),448,449]],
251    [[(-450),(-449),(-447),(-441),(-429),(-401),(-334)]],
252    [[(-449),(-446),(-440),(-438),(-423),(-392),(-314)]],
253    [[(-448),(-445),(-436),(-418),(-382),(-336),(-294)]],
254    [[(-448),(-427),(-379),(-366),(-360),(-251),440]],
255    [[(-443),(-433),(-411),(-353),451]],
256    [[(-452),(-9),(-8),6,7],[(-453),(-9),(-8),6,7],[(-9),(-8),6,7,454],[(-9),(-8),6,7,455],[(-9),(-8),6,7,456]],
257    [[(-457),(-17)],[(-17),458]],
258    [[(-459),(-21),(-7)],[(-21),(-7),460],[(-21),(-7),461],[(-21),(-7),462],[(-21),(-7),463],[(-21),(-7),464],[(-21),(-7),465],[(-21),(-7),466],[(-21),(-7),467],[(-21),(-7),468],[(-21),(-7),469],[(-21),(-7),470],[(-21),(-7),471],[(-21),(-7),472],[(-21),(-7),473],[(-21),(-7),474],[(-21),(-7),475],[(-21),(-7),476],[(-21),(-7),477],[(-21),(-7),478],[(-21),(-7),479],[(-21),(-7),480],[(-21),(-7),481],[(-21),(-7),482],[(-21),(-7),483],[(-21),(-7),484],[(-21),(-7),485],[(-21),(-7),486],[(-21),(-7),487],[(-21),(-7),488],[(-21),(-7),489],[(-21),(-7),490],[(-21),(-7),491],[(-21),(-7),492],[(-21),(-7),493],[(-21),(-7),494],[(-21),(-7),495],[(-21),(-7),496],[(-21),(-7),497],[(-21),(-7),498],[(-21),(-7),499],[(-21),(-7),500],[(-21),(-7),501],[(-21),(-7),502],[(-21),(-7),503],[(-21),(-7),504],[(-21),(-7),505],[(-21),(-7),506],[(-21),(-7),507],[(-21),(-7),508],[(-21),(-7),509],[(-21),(-7),510],[(-21),(-7),511]],
259    [[(-34),(-33),512],[(-34),(-33),513],[(-34),(-33),514],[(-34),(-33),(-9)],[(-515),(-34),(-33)],[(-450),(-34),(-33)]],
260    [[238,290,292,516],[238,290,292,517]],
261    [[(-17),518],[(-17),519]],
262    [[(-520),(-17)],[(-17),521],[(-17),522]],
263    [[(-21),(-7),523,524]],
264    [[(-524),(-21),(-7),525]],
265    [[(-526),(-524),(-21),(-7)]],
266    [[(-523),(-21),(-7),527]],
267    [[(-527),(-21),(-7),528]],
268    [[(-528),(-21),(-7),529]],
269    [[(-529),(-21),(-7),530]],
270    [[(-530),(-21),(-7),531]],
271    [[(-531),(-21),(-7),532]],
272    [[(-532),(-21),(-7),533]],
273    [[(-533),(-21),(-7),534]],
274    [[(-534),(-21),(-7),535]],
275    [[(-530),(-21),(-7),536]],
276    [[(-536),(-21),(-7),537]],
277    [[(-537),(-21),(-7),538]],
278    [[(-538),(-21),(-7),539]],
279    [[(-538),(-21),(-7),540]],
280    [[(-540),(-21),(-7),541]],
281    [[(-541),(-21),(-7),542]],
282    [[(-542),(-21),(-7),543]],
283    [[(-542),(-21),(-7),544]],
284    [[(-544),(-21),(-7),545]],
285    [[(-545),(-21),(-7),546]],
286    [[(-546),(-21),(-7),547]],
287    [[(-527),(-21),(-7),548]],
288    [[(-548),(-21),(-7),549]],
289    [[(-529),(-21),(-7),550,551]],
290    [[(-551),(-531),(-21),(-7),552]],
291    [[(-552),(-533),(-21),(-7),553]],
292    [[(-553),(-535),(-21),(-7),554]],
293    [[(-552),(-537),(-21),(-7),555]],
294    [[(-555),(-539),(-21),(-7),556]],
295    [[(-556),(-541),(-21),(-7),557]],
296    [[(-557),(-543),(-21),(-7),558]],
297    [[(-558),(-545),(-21),(-7),559]],
298    [[(-559),(-547),(-21),(-7),560]],
299    [[(-550),(-549),(-21),(-7),561]],
300    [[(-562),(-561),(-549),(-21),(-7)]],
301    [[(-561),(-548),(-21),(-7),563]],
302    [[(-550),(-523),(-21),(-7),526]],
303    [[(-554),(-535),(-21),(-7),564,565]],
304    [[(-566),(-565),(-554),(-534),(-21),(-7)]],
305    [[(-567),(-565),(-553),(-532),(-21),(-7)]],
306    [[(-564),(-556),(-539),(-21),(-7),568]],
307    [[(-568),(-558),(-543),(-21),(-7),569]],
308    [[(-569),(-560),(-547),(-21),(-7),570]],
309    [[(-570),(-560),(-546),(-21),(-7),571,572]],
310    [[(-572),(-570),(-559),(-544),(-21),(-7),573]],
311    [[(-572),(-569),(-567),(-557),(-540),(-21),(-7)]],
312    [[(-571),(-568),(-555),(-536),(-526),(-21),(-7)]],
313    [[(-571),(-564),(-551),(-528),(-21),(-7),567]],
314    [[(-21),(-7),574],[(-21),(-7),575]],
315    [[(-21),(-7),576],[(-21),(-7),577],[(-21),(-7),578],[(-21),(-7),579],[(-21),(-7),580],[(-21),(-7),581],[(-21),(-7),582],[(-21),(-7),583],[(-21),(-7),584],[(-21),(-7),585],[(-21),(-7),586],[(-21),(-7),587],[(-21),(-7),588],[(-21),(-7),589],[(-21),(-7),590],[(-21),(-7),591],[(-21),(-7),592],[(-21),(-7),593],[(-21),(-7),594],[(-21),(-7),595],[(-21),(-7),596],[(-21),(-7),597],[(-21),(-7),598],[(-21),(-7),599],[(-21),(-7),600],[(-21),(-7),601],[(-21),(-7),602],[(-21),(-7),603],[(-21),(-7),604],[(-21),(-7),605],[(-21),(-7),606],[(-21),(-7),607],[(-21),(-7),608],[(-21),(-7),609],[(-21),(-7),610],[(-21),(-7),611],[(-21),(-7),612],[(-21),(-7),613],[(-21),(-7),614],[(-21),(-7),615],[(-21),(-7),616],[(-21),(-7),617],[(-21),(-7),618],[(-21),(-7),619],[(-21),(-7),620],[(-21),(-7),621],[(-21),(-7),622],[(-21),(-7),623],[(-21),(-7),563],[(-624),(-21),(-7)],[(-21),(-7),562]],
316    [[(-21),(-7),625,626]],
317    [[(-626),(-434),(-21),(-7)]],
318    [[(-627),(-626),(-21),(-7)]],
319    [[(-625),(-21),(-7),628]],
320    [[(-628),(-21),(-7),629]],
321    [[(-629),(-21),(-7),630]],
322    [[(-630),(-21),(-7),631]],
323    [[(-631),(-21),(-7),632]],
324    [[(-632),(-21),(-7),633]],
325    [[(-633),(-21),(-7),634]],
326    [[(-634),(-21),(-7),635]],
327    [[(-635),(-21),(-7),636]],
328    [[(-631),(-21),(-7),637]],
329    [[(-637),(-21),(-7),638]],
330    [[(-638),(-21),(-7),639]],
331    [[(-639),(-21),(-7),640]],
332    [[(-639),(-21),(-7),641]],
333    [[(-641),(-21),(-7),642]],
334    [[(-642),(-21),(-7),643]],
335    [[(-643),(-21),(-7),644]],
336    [[(-643),(-21),(-7),645]],
337    [[(-645),(-21),(-7),646]],
338    [[(-646),(-21),(-7),647]],
339    [[(-647),(-21),(-7),648]],
340    [[(-630),(-21),(-7),649,650]],
341    [[(-650),(-632),(-21),(-7),651]],
342    [[(-651),(-634),(-21),(-7),652]],
343    [[(-652),(-636),(-21),(-7),653]],
344    [[(-651),(-638),(-21),(-7),654]],
345    [[(-654),(-640),(-21),(-7),655]],
346    [[(-655),(-642),(-21),(-7),656]],
347    [[(-656),(-644),(-21),(-7),657]],
348    [[(-657),(-646),(-21),(-7),658]],
349    [[(-658),(-648),(-21),(-7),659]],
350    [[(-649),(-628),(-21),(-7),566]],
351    [[(-649),(-625),(-21),(-7),627]],
352    [[(-653),(-636),(-21),(-7),660,661]],
353    [[(-662),(-661),(-653),(-635),(-21),(-7)]],
354    [[(-663),(-661),(-652),(-633),(-21),(-7)]],
355    [[(-660),(-655),(-640),(-21),(-7),664]],
356    [[(-664),(-657),(-644),(-21),(-7),665]],
357    [[(-665),(-659),(-648),(-21),(-7),666]],
358    [[(-666),(-659),(-647),(-21),(-7),667,668]],
359    [[(-668),(-666),(-658),(-645),(-21),(-7),450]],
360    [[(-668),(-665),(-663),(-656),(-641),(-21),(-7)]],
361    [[(-667),(-664),(-654),(-637),(-627),(-21),(-7)]],
362    [[(-667),(-660),(-650),(-629),(-21),(-7),663]],
363    [[(-34),(-33),669],[(-34),(-33),670]],
364    [[(-34),(-33),671],[(-34),(-33),672],[(-34),(-33),673],[(-34),(-33),674],[(-34),(-33),675],[(-34),(-33),676],[(-34),(-33),677],[(-34),(-33),678],[(-34),(-33),679],[(-34),(-33),680],[(-34),(-33),681],[(-34),(-33),682],[(-34),(-33),683],[(-34),(-33),684],[(-34),(-33),685],[(-34),(-33),686],[(-34),(-33),687],[(-34),(-33),688],[(-34),(-33),689],[(-34),(-33),690],[(-34),(-33),691],[(-34),(-33),692],[(-34),(-33),693],[(-34),(-33),694],[(-34),(-33),695],[(-34),(-33),696],[(-34),(-33),697],[(-34),(-33),698],[(-34),(-33),699],[(-34),(-33),700],[(-34),(-33),701],[(-34),(-33),702],[(-34),(-33),703],[(-34),(-33),704],[(-34),(-33),705],[(-34),(-33),706],[(-34),(-33),707],[(-34),(-33),708],[(-34),(-33),709],[(-34),(-33),710],[(-34),(-33),711],[(-34),(-33),712],[(-34),(-33),713],[(-34),(-33),714],[(-34),(-33),715],[(-34),(-33),716],[(-34),(-33),717],[(-34),(-33),718],[(-34),(-33),719],[(-34),(-33),720],[(-34),(-33),721],[(-34),(-33),722],[(-34),(-33),290],[(-723),(-34),(-33)],[(-34),(-33),662]],
365    [[(-34),(-33),724,725]],
366    [[(-726),(-725),(-34),(-33)]],
367    [[(-727),(-725),(-34),(-33)]],
368    [[(-724),(-34),(-33),728]],
369    [[(-728),(-34),(-33),729]],
370    [[(-729),(-34),(-33),730]],
371    [[(-730),(-34),(-33),731]],
372    [[(-731),(-34),(-33),732]],
373    [[(-732),(-34),(-33),733]],
374    [[(-733),(-34),(-33),734]],
375    [[(-734),(-34),(-33),735]],
376    [[(-735),(-34),(-33),736]],
377    [[(-731),(-34),(-33),737]],
378    [[(-737),(-34),(-33),738]],
379    [[(-738),(-34),(-33),739]],
380    [[(-739),(-34),(-33),740]],
381    [[(-739),(-34),(-33),741]],
382    [[(-741),(-34),(-33),742]],
383    [[(-742),(-34),(-33),743]],
384    [[(-743),(-34),(-33),744]],
385    [[(-743),(-34),(-33),745]],
386    [[(-745),(-34),(-33),746]],
387    [[(-746),(-34),(-33),747]],
388    [[(-747),(-34),(-33),748]],
389    [[(-728),(-34),(-33),749]],
390    [[(-749),(-34),(-33),750]],
391    [[(-730),(-34),(-33),751,752]],
392    [[(-752),(-732),(-34),(-33),753]],
393    [[(-753),(-734),(-34),(-33),754]],
394    [[(-754),(-736),(-34),(-33),755]],
395    [[(-753),(-738),(-34),(-33),756]],
396    [[(-756),(-740),(-34),(-33),757]],
397    [[(-757),(-742),(-34),(-33),758]],
398    [[(-758),(-744),(-34),(-33),759]],
399    [[(-759),(-746),(-34),(-33),760]],
400    [[(-760),(-748),(-34),(-33),761]],
401    [[(-751),(-750),(-34),(-33),762]],
402    [[(-762),(-750),(-34),(-33),514]],
403    [[(-763),(-762),(-749),(-34),(-33)]],
404    [[(-751),(-724),(-34),(-33),727]],
405    [[(-755),(-736),(-34),(-33),764,765]],
406    [[(-765),(-755),(-735),(-450),(-34),(-33)]],
407    [[(-766),(-765),(-754),(-733),(-34),(-33)]],
408    [[(-764),(-757),(-740),(-34),(-33),767]],
409    [[(-767),(-759),(-744),(-34),(-33),768]],
410    [[(-768),(-761),(-748),(-34),(-33),769]],
411    [[(-769),(-761),(-747),(-34),(-33),770,771]],
412    [[(-771),(-769),(-760),(-745),(-34),(-33),562]],
413    [[(-771),(-768),(-766),(-758),(-741),(-34),(-33)]],
414    [[(-770),(-767),(-756),(-737),(-727),(-34),(-33)]],
415    [[(-770),(-764),(-752),(-729),(-34),(-33),766]],
416    [[(-443),(-433),(-411),(-353),772],[(-443),(-433),(-411),(-353),773]],
417    [[(-774),(-443),(-433),(-411),(-353)],[(-443),(-433),(-411),(-353),775],[(-443),(-433),(-411),(-353),776]],
418    [[(-573),(-443),(-433),(-411),(-353),777]],
419    [[(-573),(-443),(-433),(-411),(-353),778],[(-573),(-443),(-433),(-411),(-353),779]],
420    [[(-573),(-443),(-433),(-411),(-353),780],[(-781),(-573),(-443),(-433),(-411),(-353)],[(-782),(-573),(-443),(-433),(-411),(-353)]]
421 ]