Lines Matching full:lane

29     2080972802U, // <0,0,0,1>: Cost 2 ins <0,0,u,1>, lane 2
31     2085707777U, // <0,0,0,3>: Cost 2 ins <0,u,0,3>, lane 1
33     2080440323U, // <0,0,0,5>: Cost 2 ins <0,0,0,u>, lane 3
34     2080440323U, // <0,0,0,6>: Cost 2 ins <0,0,0,u>, lane 3
35     2080440323U, // <0,0,0,7>: Cost 2 ins <0,0,0,u>, lane 3
40     2080514051U, // <0,0,1,3>: Cost 2 ins <0,0,1,u>, lane 3
42     2085797889U, // <0,0,1,5>: Cost 2 ins <0,u,1,5>, lane 1
43     2080514051U, // <0,0,1,6>: Cost 2 ins <0,0,1,u>, lane 3
44     2080514051U, // <0,0,1,7>: Cost 2 ins <0,0,1,u>, lane 3
49     1012113409U, // <0,0,2,3>: Cost 1 ins LHS, lane 1
51     2080587779U, // <0,0,2,5>: Cost 2 ins <0,0,2,u>, lane 3
52     2085879809U, // <0,0,2,6>: Cost 2 ins <0,u,2,6>, lane 1
53     2080587779U, // <0,0,2,7>: Cost 2 ins <0,0,2,u>, lane 3
55     2080964610U, // <0,0,3,0>: Cost 2 ins <0,0,u,0>, lane 2
56     2080972802U, // <0,0,3,1>: Cost 2 ins <0,0,u,1>, lane 2
57     2128388096U, // <0,0,3,2>: Cost 2 ins <u,0,3,2>, lane 0
59     3154739202U, // <0,0,3,4>: Cost 3 ins <0,0,u,4>, lane 2
61     3154755586U, // <0,0,3,6>: Cost 3 ins <0,0,u,6>, lane 2
63     2080972802U, // <0,0,3,u>: Cost 2 ins <0,0,u,1>, lane 2
64     2080964610U, // <0,0,4,0>: Cost 2 ins <0,0,u,0>, lane 2
67     2086002689U, // <0,0,4,3>: Cost 2 ins <0,u,4,3>, lane 1
69     2081030149U, // <0,0,4,5>: Cost 2 ins <0,0,u,u>, lane 5
71     3154477059U, // <0,0,4,7>: Cost 3 ins <0,0,4,u>, lane 3
73     2080964610U, // <0,0,5,0>: Cost 2 ins <0,0,u,0>, lane 2
74     2128527360U, // <0,0,5,1>: Cost 2 ins <u,0,5,1>, lane 0
75     2080980994U, // <0,0,5,2>: Cost 2 ins <0,0,u,2>, lane 2
76     2086076417U, // <0,0,5,3>: Cost 2 ins <0,u,5,3>, lane 1
77     3202293760U, // <0,0,5,4>: Cost 3 ins <u,0,5,4>, lane 0
81     2128527360U, // <0,0,5,u>: Cost 2 ins <u,0,5,1>, lane 0
82     2080964610U, // <0,0,6,0>: Cost 2 ins <0,0,u,0>, lane 2
83     2080972802U, // <0,0,6,1>: Cost 2 ins <0,0,u,1>, lane 2
84     2128609280U, // <0,0,6,2>: Cost 2 ins <u,0,6,2>, lane 0
85     2086150145U, // <0,0,6,3>: Cost 2 ins <0,u,6,3>, lane 1
86     3202367488U, // <0,0,6,4>: Cost 3 ins <u,0,6,4>, lane 0
89     2081030149U, // <0,0,6,7>: Cost 2 ins <0,0,u,u>, lane 5
90     2080972802U, // <0,0,6,u>: Cost 2 ins <0,0,u,1>, lane 2
91     2080964610U, // <0,0,7,0>: Cost 2 ins <0,0,u,0>, lane 2
92     2080972802U, // <0,0,7,1>: Cost 2 ins <0,0,u,1>, lane 2
93     2080980994U, // <0,0,7,2>: Cost 2 ins <0,0,u,2>, lane 2
94     2086223873U, // <0,0,7,3>: Cost 2 ins <0,u,7,3>, lane 1
95     3154739202U, // <0,0,7,4>: Cost 3 ins <0,0,u,4>, lane 2
97     3154755586U, // <0,0,7,6>: Cost 3 ins <0,0,u,6>, lane 2
99     2080972802U, // <0,0,7,u>: Cost 2 ins <0,0,u,1>, lane 2
103     1012113409U, // <0,0,u,3>: Cost 1 ins LHS, lane 1
105     2085797889U, // <0,0,u,5>: Cost 2 ins <0,u,1,5>, lane 1
107     2080514051U, // <0,0,u,7>: Cost 2 ins <0,0,1,u>, lane 3
109     2085683201U, // <0,1,0,0>: Cost 2 ins <0,u,0,0>, lane 1
110     1007951877U, // <0,1,0,1>: Cost 1 ins LHS, lane 5
112     1007910914U, // <0,1,0,3>: Cost 1 ins LHS, lane 2
113     2081660930U, // <0,1,0,4>: Cost 2 ins <0,1,u,4>, lane 2
114     2081669122U, // <0,1,0,5>: Cost 2 ins <0,1,u,5>, lane 2
115     2081677314U, // <0,1,0,6>: Cost 2 ins <0,1,u,6>, lane 2
116     2081685506U, // <0,1,0,7>: Cost 2 ins <0,1,u,7>, lane 2
117     1007951877U, // <0,1,0,u>: Cost 1 ins LHS, lane 5
121     1007910914U, // <0,1,1,3>: Cost 1 ins LHS, lane 2
124     2081677314U, // <0,1,1,6>: Cost 2 ins <0,1,u,6>, lane 2
125     2081685506U, // <0,1,1,7>: Cost 2 ins <0,1,u,7>, lane 2
126     1007910914U, // <0,1,1,u>: Cost 1 ins LHS, lane 2
127     1007509507U, // <0,1,2,0>: Cost 1 ins LHS, lane 3
128     1007509507U, // <0,1,2,1>: Cost 1 ins LHS, lane 3
129     1007509507U, // <0,1,2,2>: Cost 1 ins LHS, lane 3
131     1007509507U, // <0,1,2,4>: Cost 1 ins LHS, lane 3
132     1007509507U, // <0,1,2,5>: Cost 1 ins LHS, lane 3
133     1007509507U, // <0,1,2,6>: Cost 1 ins LHS, lane 3
134     1007509507U, // <0,1,2,7>: Cost 1 ins LHS, lane 3
136     2133680132U, // <0,1,3,0>: Cost 2 ins <u,u,3,0>, lane 4
137     2081636354U, // <0,1,3,1>: Cost 2 ins <0,1,u,1>, lane 2
138     2133696516U, // <0,1,3,2>: Cost 2 ins <u,u,3,2>, lane 4
139     1007910914U, // <0,1,3,3>: Cost 1 ins LHS, lane 2
140     2133712900U, // <0,1,3,4>: Cost 2 ins <u,u,3,4>, lane 4
141     2081669122U, // <0,1,3,5>: Cost 2 ins <0,1,u,5>, lane 2
142     2081677314U, // <0,1,3,6>: Cost 2 ins <0,1,u,6>, lane 2
143     2133737476U, // <0,1,3,7>: Cost 2 ins <u,u,3,7>, lane 4
144     1007910914U, // <0,1,3,u>: Cost 1 ins LHS, lane 2
145     2081628162U, // <0,1,4,0>: Cost 2 ins <0,1,u,0>, lane 2
146     2081636354U, // <0,1,4,1>: Cost 2 ins <0,1,u,1>, lane 2
147     2081644546U, // <0,1,4,2>: Cost 2 ins <0,1,u,2>, lane 2
148     1007910914U, // <0,1,4,3>: Cost 1 ins LHS, lane 2
149     2081660930U, // <0,1,4,4>: Cost 2 ins <0,1,u,4>, lane 2
150     1007951877U, // <0,1,4,5>: Cost 1 ins LHS, lane 5
152     2081685506U, // <0,1,4,7>: Cost 2 ins <0,1,u,7>, lane 2
153     1007910914U, // <0,1,4,u>: Cost 1 ins LHS, lane 2
154     2081628162U, // <0,1,5,0>: Cost 2 ins <0,1,u,0>, lane 2
155     2133835780U, // <0,1,5,1>: Cost 2 ins <u,u,5,1>, lane 4
156     2081644546U, // <0,1,5,2>: Cost 2 ins <0,1,u,2>, lane 2
157     1007910914U, // <0,1,5,3>: Cost 1 ins LHS, lane 2
158     2081660930U, // <0,1,5,4>: Cost 2 ins <0,1,u,4>, lane 2
159     2133868548U, // <0,1,5,5>: Cost 2 ins <u,u,5,5>, lane 4
160     2133876740U, // <0,1,5,6>: Cost 2 ins <u,u,5,6>, lane 4
161     2133884932U, // <0,1,5,7>: Cost 2 ins <u,u,5,7>, lane 4
162     1007910914U, // <0,1,5,u>: Cost 1 ins LHS, lane 2
163     2081628162U, // <0,1,6,0>: Cost 2 ins <0,1,u,0>, lane 2
164     2081636354U, // <0,1,6,1>: Cost 2 ins <0,1,u,1>, lane 2
165     2133917700U, // <0,1,6,2>: Cost 2 ins <u,u,6,2>, lane 4
166     1007910914U, // <0,1,6,3>: Cost 1 ins LHS, lane 2
167     2081660930U, // <0,1,6,4>: Cost 2 ins <0,1,u,4>, lane 2
168     2081669122U, // <0,1,6,5>: Cost 2 ins <0,1,u,5>, lane 2
169     2133950468U, // <0,1,6,6>: Cost 2 ins <u,u,6,6>, lane 4
170     1060216836U, // <0,1,6,7>: Cost 1 ins RHS, lane 4
171     1007910914U, // <0,1,6,u>: Cost 1 ins LHS, lane 2
172     2133975044U, // <0,1,7,0>: Cost 2 ins <u,u,7,0>, lane 4
173     2081636354U, // <0,1,7,1>: Cost 2 ins <0,1,u,1>, lane 2
174     2081644546U, // <0,1,7,2>: Cost 2 ins <0,1,u,2>, lane 2
175     1007910914U, // <0,1,7,3>: Cost 1 ins LHS, lane 2
176     2134007812U, // <0,1,7,4>: Cost 2 ins <u,u,7,4>, lane 4
177     2081669122U, // <0,1,7,5>: Cost 2 ins <0,1,u,5>, lane 2
178     2134024196U, // <0,1,7,6>: Cost 2 ins <u,u,7,6>, lane 4
179     2134032388U, // <0,1,7,7>: Cost 2 ins <u,u,7,7>, lane 4
180     1007910914U, // <0,1,7,u>: Cost 1 ins LHS, lane 2
181     1007509507U, // <0,1,u,0>: Cost 1 ins LHS, lane 3
182     1007951877U, // <0,1,u,1>: Cost 1 ins LHS, lane 5
183     1007509507U, // <0,1,u,2>: Cost 1 ins LHS, lane 3
185     1007509507U, // <0,1,u,4>: Cost 1 ins LHS, lane 3
186     1007509507U, // <0,1,u,5>: Cost 1 ins LHS, lane 3
187     1007509507U, // <0,1,u,6>: Cost 1 ins LHS, lane 3
188     1007509507U, // <0,1,u,7>: Cost 1 ins LHS, lane 3
193     2081767427U, // <0,2,0,3>: Cost 2 ins <0,2,0,u>, lane 3
195     2081767427U, // <0,2,0,5>: Cost 2 ins <0,2,0,u>, lane 3
196     2082340866U, // <0,2,0,6>: Cost 2 ins <0,2,u,6>, lane 2
197     2081767427U, // <0,2,0,7>: Cost 2 ins <0,2,0,u>, lane 3
209     2085838849U, // <0,2,2,1>: Cost 2 ins <0,u,2,1>, lane 1
211     1012113409U, // <0,2,2,3>: Cost 1 ins LHS, lane 1
213     2085871617U, // <0,2,2,5>: Cost 2 ins <0,u,2,5>, lane 1
214     2085879809U, // <0,2,2,6>: Cost 2 ins <0,u,2,6>, lane 1
215     2085888001U, // <0,2,2,7>: Cost 2 ins <0,u,2,7>, lane 1
216     1012113409U, // <0,2,2,u>: Cost 1 ins LHS, lane 1
217     2129698816U, // <0,2,3,0>: Cost 2 ins <u,2,3,0>, lane 0
219     2082308098U, // <0,2,3,2>: Cost 2 ins <0,2,u,2>, lane 2
221     2129731584U, // <0,2,3,4>: Cost 2 ins <u,2,3,4>, lane 0
223     2082340866U, // <0,2,3,6>: Cost 2 ins <0,2,u,6>, lane 2
226     2082062339U, // <0,2,4,0>: Cost 2 ins <0,2,4,u>, lane 3
227     2082062339U, // <0,2,4,1>: Cost 2 ins <0,2,4,u>, lane 3
228     2082308098U, // <0,2,4,2>: Cost 2 ins <0,2,u,2>, lane 2
229     2082062339U, // <0,2,4,3>: Cost 2 ins <0,2,4,u>, lane 3
230     2082062339U, // <0,2,4,4>: Cost 2 ins <0,2,4,u>, lane 3
233     2082062339U, // <0,2,4,7>: Cost 2 ins <0,2,4,u>, lane 3
237     2082308098U, // <0,2,5,2>: Cost 2 ins <0,2,u,2>, lane 2
238     2086076417U, // <0,2,5,3>: Cost 2 ins <0,u,5,3>, lane 1
241     2082340866U, // <0,2,5,6>: Cost 2 ins <0,2,u,6>, lane 2
246     2082308098U, // <0,2,6,2>: Cost 2 ins <0,2,u,2>, lane 2
247     2086150145U, // <0,2,6,3>: Cost 2 ins <0,u,6,3>, lane 1
250     2082340866U, // <0,2,6,6>: Cost 2 ins <0,2,u,6>, lane 2
251     2082357253U, // <0,2,6,7>: Cost 2 ins <0,2,u,u>, lane 5
252     2082308098U, // <0,2,6,u>: Cost 2 ins <0,2,u,2>, lane 2
255     2082308098U, // <0,2,7,2>: Cost 2 ins <0,2,u,2>, lane 2
256     2130018304U, // <0,2,7,3>: Cost 2 ins <u,2,7,3>, lane 0
259     2082340866U, // <0,2,7,6>: Cost 2 ins <0,2,u,6>, lane 2
261     2082308098U, // <0,2,7,u>: Cost 2 ins <0,2,u,2>, lane 2
265     1012113409U, // <0,2,u,3>: Cost 1 ins LHS, lane 1
271     2085683201U, // <0,3,0,0>: Cost 2 ins <0,u,0,0>, lane 1
272     2130149376U, // <0,3,0,1>: Cost 2 ins <u,3,0,1>, lane 0
273     2085699585U, // <0,3,0,2>: Cost 2 ins <0,u,0,2>, lane 1
277     3159474177U, // <0,3,0,6>: Cost 3 ins <0,u,0,6>, lane 1
279     2130149376U, // <0,3,0,u>: Cost 2 ins <u,3,0,1>, lane 0
281     2085765121U, // <0,3,1,1>: Cost 2 ins <0,u,1,1>, lane 1
285     2085797889U, // <0,3,1,5>: Cost 2 ins <0,u,1,5>, lane 1
286     3159547905U, // <0,3,1,6>: Cost 3 ins <0,u,1,6>, lane 1
291     2085847041U, // <0,3,2,2>: Cost 2 ins <0,u,2,2>, lane 1
292     1012113409U, // <0,3,2,3>: Cost 1 ins LHS, lane 1
295     2085879809U, // <0,3,2,6>: Cost 2 ins <0,u,2,6>, lane 1
296     2085888001U, // <0,3,2,7>: Cost 2 ins <0,u,2,7>, lane 1
297     1012113409U, // <0,3,2,u>: Cost 1 ins LHS, lane 1
301     2130386944U, // <0,3,3,3>: Cost 2 ins <u,3,3,3>, lane 0
305     3204161536U, // <0,3,3,7>: Cost 3 ins <u,3,3,7>, lane 0
306     2130386944U, // <0,3,3,u>: Cost 2 ins <u,3,3,3>, lane 0
310     2086002689U, // <0,3,4,3>: Cost 2 ins <0,u,4,3>, lane 1
312     2130477056U, // <0,3,4,5>: Cost 2 ins <u,3,4,5>, lane 0
313     2086027265U, // <0,3,4,6>: Cost 2 ins <0,u,4,6>, lane 1
315     2130477056U, // <0,3,4,u>: Cost 2 ins <u,3,4,5>, lane 0
316     3204251648U, // <0,3,5,0>: Cost 3 ins <u,3,5,0>, lane 0
317     3204259840U, // <0,3,5,1>: Cost 3 ins <u,3,5,1>, lane 0
319     2086076417U, // <0,3,5,3>: Cost 2 ins <0,u,5,3>, lane 1
321     3204292608U, // <0,3,5,5>: Cost 3 ins <u,3,5,5>, lane 0
323     2130567168U, // <0,3,5,7>: Cost 2 ins <u,3,5,7>, lane 0
324     2130567168U, // <0,3,5,u>: Cost 2 ins <u,3,5,7>, lane 0
327     3204341760U, // <0,3,6,2>: Cost 3 ins <u,3,6,2>, lane 0
328     2086150145U, // <0,3,6,3>: Cost 2 ins <0,u,6,3>, lane 1
329     3204358144U, // <0,3,6,4>: Cost 3 ins <u,3,6,4>, lane 0
330     3204366336U, // <0,3,6,5>: Cost 3 ins <u,3,6,5>, lane 0
331     3204374528U, // <0,3,6,6>: Cost 3 ins <u,3,6,6>, lane 0
332     2130640896U, // <0,3,6,7>: Cost 2 ins <u,3,6,7>, lane 0
333     2086150145U, // <0,3,6,u>: Cost 2 ins <0,u,6,3>, lane 1
337     2086223873U, // <0,3,7,3>: Cost 2 ins <0,u,7,3>, lane 1
338     3204431872U, // <0,3,7,4>: Cost 3 ins <u,3,7,4>, lane 0
339     3204440064U, // <0,3,7,5>: Cost 3 ins <u,3,7,5>, lane 0
341     3204456448U, // <0,3,7,7>: Cost 3 ins <u,3,7,7>, lane 0
342     2086223873U, // <0,3,7,u>: Cost 2 ins <0,u,7,3>, lane 1
345     2085699585U, // <0,3,u,2>: Cost 2 ins <0,u,0,2>, lane 1
346     1012113409U, // <0,3,u,3>: Cost 1 ins LHS, lane 1
349     2085879809U, // <0,3,u,6>: Cost 2 ins <0,u,2,6>, lane 1
350     2130567168U, // <0,3,u,7>: Cost 2 ins <u,3,5,7>, lane 0
351     1012113409U, // <0,3,u,u>: Cost 1 ins LHS, lane 1
352     2085683201U, // <0,4,0,0>: Cost 2 ins <0,u,0,0>, lane 1
353     2083684357U, // <0,4,0,1>: Cost 2 ins <0,4,u,u>, lane 5
355     2085707777U, // <0,4,0,3>: Cost 2 ins <0,u,0,3>, lane 1
357     2083659778U, // <0,4,0,5>: Cost 2 ins <0,4,u,5>, lane 2
359     3156836355U, // <0,4,0,7>: Cost 3 ins <0,4,0,u>, lane 3
361     2083168259U, // <0,4,1,0>: Cost 2 ins <0,4,1,u>, lane 3
362     2085765121U, // <0,4,1,1>: Cost 2 ins <0,u,1,1>, lane 1
363     2083168259U, // <0,4,1,2>: Cost 2 ins <0,4,1,u>, lane 3
364     2083168259U, // <0,4,1,3>: Cost 2 ins <0,4,1,u>, lane 3
365     2083168259U, // <0,4,1,4>: Cost 2 ins <0,4,1,u>, lane 3
368     2083168259U, // <0,4,1,7>: Cost 2 ins <0,4,1,u>, lane 3
370     2083241987U, // <0,4,2,0>: Cost 2 ins <0,4,2,u>, lane 3
371     2083241987U, // <0,4,2,1>: Cost 2 ins <0,4,2,u>, lane 3
372     2085847041U, // <0,4,2,2>: Cost 2 ins <0,u,2,2>, lane 1
373     1012113409U, // <0,4,2,3>: Cost 1 ins LHS, lane 1
374     2083241987U, // <0,4,2,4>: Cost 2 ins <0,4,2,u>, lane 3
377     2083241987U, // <0,4,2,7>: Cost 2 ins <0,4,2,u>, lane 3
382     2085928961U, // <0,4,3,3>: Cost 2 ins <0,u,3,3>, lane 1
383     3204800512U, // <0,4,3,4>: Cost 3 ins <u,4,3,4>, lane 0
384     2083659778U, // <0,4,3,5>: Cost 2 ins <0,4,u,5>, lane 2
385     2083667970U, // <0,4,3,6>: Cost 2 ins <0,4,u,6>, lane 2
387     2083659778U, // <0,4,3,u>: Cost 2 ins <0,4,u,5>, lane 2
391     2086002689U, // <0,4,4,3>: Cost 2 ins <0,u,4,3>, lane 1
392     2131132416U, // <0,4,4,4>: Cost 2 ins <u,4,4,4>, lane 0
395     3157131267U, // <0,4,4,7>: Cost 3 ins <0,4,4,u>, lane 3
399     3204931584U, // <0,4,5,2>: Cost 3 ins <u,4,5,2>, lane 0
400     2086076417U, // <0,4,5,3>: Cost 2 ins <0,u,5,3>, lane 1
402     2131214336U, // <0,4,5,5>: Cost 2 ins <u,4,5,5>, lane 0
409     2086150145U, // <0,4,6,3>: Cost 2 ins <0,u,6,3>, lane 1
411     2083659778U, // <0,4,6,5>: Cost 2 ins <0,4,u,5>, lane 2
412     2131296256U, // <0,4,6,6>: Cost 2 ins <u,4,6,6>, lane 0
413     2083684357U, // <0,4,6,7>: Cost 2 ins <0,4,u,u>, lane 5
414     2083659778U, // <0,4,6,u>: Cost 2 ins <0,4,u,5>, lane 2
417     3157377026U, // <0,4,7,2>: Cost 3 ins <0,4,u,2>, lane 2
418     2086223873U, // <0,4,7,3>: Cost 2 ins <0,u,7,3>, lane 1
419     3205095424U, // <0,4,7,4>: Cost 3 ins <u,4,7,4>, lane 0
420     2083659778U, // <0,4,7,5>: Cost 2 ins <0,4,u,5>, lane 2
421     2131369984U, // <0,4,7,6>: Cost 2 ins <u,4,7,6>, lane 0
423     2083659778U, // <0,4,7,u>: Cost 2 ins <0,4,u,5>, lane 2
424     2083168259U, // <0,4,u,0>: Cost 2 ins <0,4,1,u>, lane 3
425     2083684357U, // <0,4,u,1>: Cost 2 ins <0,4,u,u>, lane 5
427     1012113409U, // <0,4,u,3>: Cost 1 ins LHS, lane 1
431     2083168259U, // <0,4,u,7>: Cost 2 ins <0,4,1,u>, lane 3
433     2085683201U, // <0,5,0,0>: Cost 2 ins <0,u,0,0>, lane 1
434     2131476480U, // <0,5,0,1>: Cost 2 ins <u,5,0,1>, lane 0
435     2085699585U, // <0,5,0,2>: Cost 2 ins <0,u,0,2>, lane 1
436     2085707777U, // <0,5,0,3>: Cost 2 ins <0,u,0,3>, lane 1
437     3159457793U, // <0,5,0,4>: Cost 3 ins <0,u,0,4>, lane 1
439     3159474177U, // <0,5,0,6>: Cost 3 ins <0,u,0,6>, lane 1
441     2085699585U, // <0,5,0,u>: Cost 2 ins <0,u,0,2>, lane 1
443     2085765121U, // <0,5,1,1>: Cost 2 ins <0,u,1,1>, lane 1
444     3159515137U, // <0,5,1,2>: Cost 3 ins <0,u,1,2>, lane 1
445     2085781505U, // <0,5,1,3>: Cost 2 ins <0,u,1,3>, lane 1
447     2085797889U, // <0,5,1,5>: Cost 2 ins <0,u,1,5>, lane 1
450     2085765121U, // <0,5,1,u>: Cost 2 ins <0,u,1,1>, lane 1
451     2085830657U, // <0,5,2,0>: Cost 2 ins <0,u,2,0>, lane 1
453     2085847041U, // <0,5,2,2>: Cost 2 ins <0,u,2,2>, lane 1
454     1012113409U, // <0,5,2,3>: Cost 1 ins LHS, lane 1
455     2085863425U, // <0,5,2,4>: Cost 2 ins <0,u,2,4>, lane 1
457     2085879809U, // <0,5,2,6>: Cost 2 ins <0,u,2,6>, lane 1
459     1012113409U, // <0,5,2,u>: Cost 1 ins LHS, lane 1
461     3205439488U, // <0,5,3,1>: Cost 3 ins <u,5,3,1>, lane 0
463     2085928961U, // <0,5,3,3>: Cost 2 ins <0,u,3,3>, lane 1
465     3205472256U, // <0,5,3,5>: Cost 3 ins <u,5,3,5>, lane 0
466     3205480448U, // <0,5,3,6>: Cost 3 ins <u,5,3,6>, lane 0
467     2131746816U, // <0,5,3,7>: Cost 2 ins <u,5,3,7>, lane 0
468     2131746816U, // <0,5,3,u>: Cost 2 ins <u,5,3,7>, lane 0
470     3159728129U, // <0,5,4,1>: Cost 3 ins <0,u,4,1>, lane 1
471     3159736321U, // <0,5,4,2>: Cost 3 ins <0,u,4,2>, lane 1
472     2086002689U, // <0,5,4,3>: Cost 2 ins <0,u,4,3>, lane 1
474     2131804160U, // <0,5,4,5>: Cost 2 ins <u,5,4,5>, lane 0
475     2086027265U, // <0,5,4,6>: Cost 2 ins <0,u,4,6>, lane 1
476     2131820544U, // <0,5,4,7>: Cost 2 ins <u,5,4,7>, lane 0
477     2086027265U, // <0,5,4,u>: Cost 2 ins <0,u,4,6>, lane 1
478     3205578752U, // <0,5,5,0>: Cost 3 ins <u,5,5,0>, lane 0
481     2086076417U, // <0,5,5,3>: Cost 2 ins <0,u,5,3>, lane 1
482     3205611520U, // <0,5,5,4>: Cost 3 ins <u,5,5,4>, lane 0
483     2131877888U, // <0,5,5,5>: Cost 2 ins <u,5,5,5>, lane 0
485     2131894272U, // <0,5,5,7>: Cost 2 ins <u,5,5,7>, lane 0
486     2086076417U, // <0,5,5,u>: Cost 2 ins <0,u,5,3>, lane 1
487     2131910656U, // <0,5,6,0>: Cost 2 ins <u,5,6,0>, lane 0
488     2131918848U, // <0,5,6,1>: Cost 2 ins <u,5,6,1>, lane 0
489     2131927040U, // <0,5,6,2>: Cost 2 ins <u,5,6,2>, lane 0
490     2131935232U, // <0,5,6,3>: Cost 2 ins <u,5,6,3>, lane 0
491     2131943424U, // <0,5,6,4>: Cost 2 ins <u,5,6,4>, lane 0
492     2131951616U, // <0,5,6,5>: Cost 2 ins <u,5,6,5>, lane 0
493     2131959808U, // <0,5,6,6>: Cost 2 ins <u,5,6,6>, lane 0
494     1058226176U, // <0,5,6,7>: Cost 1 ins RHS, lane 0
495     1058226176U, // <0,5,6,u>: Cost 1 ins RHS, lane 0
499     2086223873U, // <0,5,7,3>: Cost 2 ins <0,u,7,3>, lane 1
503     2132041728U, // <0,5,7,7>: Cost 2 ins <u,5,7,7>, lane 0
504     2132041728U, // <0,5,7,u>: Cost 2 ins <u,5,7,7>, lane 0
506     2085765121U, // <0,5,u,1>: Cost 2 ins <0,u,1,1>, lane 1
507     2085699585U, // <0,5,u,2>: Cost 2 ins <0,u,0,2>, lane 1
508     1012113409U, // <0,5,u,3>: Cost 1 ins LHS, lane 1
510     2085797889U, // <0,5,u,5>: Cost 2 ins <0,u,1,5>, lane 1
511     2085879809U, // <0,5,u,6>: Cost 2 ins <0,u,2,6>, lane 1
512     1058226176U, // <0,5,u,7>: Cost 1 ins RHS, lane 0
513     1012113409U, // <0,5,u,u>: Cost 1 ins LHS, lane 1
514     2085683201U, // <0,6,0,0>: Cost 2 ins <0,u,0,0>, lane 1
515     2085691393U, // <0,6,0,1>: Cost 2 ins <0,u,0,1>, lane 1
516     2132148224U, // <0,6,0,2>: Cost 2 ins <u,6,0,2>, lane 0
517     2085707777U, // <0,6,0,3>: Cost 2 ins <0,u,0,3>, lane 1
522     2132148224U, // <0,6,0,u>: Cost 2 ins <u,6,0,2>, lane 0
524     2085765121U, // <0,6,1,1>: Cost 2 ins <0,u,1,1>, lane 1
526     2085781505U, // <0,6,1,3>: Cost 2 ins <0,u,1,3>, lane 1
527     3159531521U, // <0,6,1,4>: Cost 3 ins <0,u,1,4>, lane 1
528     2085797889U, // <0,6,1,5>: Cost 2 ins <0,u,1,5>, lane 1
533     2085838849U, // <0,6,2,1>: Cost 2 ins <0,u,2,1>, lane 1
534     2085847041U, // <0,6,2,2>: Cost 2 ins <0,u,2,2>, lane 1
535     1012113409U, // <0,6,2,3>: Cost 1 ins LHS, lane 1
537     2085871617U, // <0,6,2,5>: Cost 2 ins <0,u,2,5>, lane 1
538     2085879809U, // <0,6,2,6>: Cost 2 ins <0,u,2,6>, lane 1
540     1012113409U, // <0,6,2,u>: Cost 1 ins LHS, lane 1
543     3206111232U, // <0,6,3,2>: Cost 3 ins <u,6,3,2>, lane 0
544     2085928961U, // <0,6,3,3>: Cost 2 ins <0,u,3,3>, lane 1
545     3206127616U, // <0,6,3,4>: Cost 3 ins <u,6,3,4>, lane 0
546     3206135808U, // <0,6,3,5>: Cost 3 ins <u,6,3,5>, lane 0
547     3206144000U, // <0,6,3,6>: Cost 3 ins <u,6,3,6>, lane 0
548     2132410368U, // <0,6,3,7>: Cost 2 ins <u,6,3,7>, lane 0
549     2132410368U, // <0,6,3,u>: Cost 2 ins <u,6,3,7>, lane 0
553     2086002689U, // <0,6,4,3>: Cost 2 ins <0,u,4,3>, lane 1
555     2086019073U, // <0,6,4,5>: Cost 2 ins <0,u,4,5>, lane 1
556     2132475904U, // <0,6,4,6>: Cost 2 ins <u,6,4,6>, lane 0
558     2132475904U, // <0,6,4,u>: Cost 2 ins <u,6,4,6>, lane 0
560     3206250496U, // <0,6,5,1>: Cost 3 ins <u,6,5,1>, lane 0
561     3206258688U, // <0,6,5,2>: Cost 3 ins <u,6,5,2>, lane 0
562     2086076417U, // <0,6,5,3>: Cost 2 ins <0,u,5,3>, lane 1
563     3206275072U, // <0,6,5,4>: Cost 3 ins <u,6,5,4>, lane 0
564     3206283264U, // <0,6,5,5>: Cost 3 ins <u,6,5,5>, lane 0
565     3206291456U, // <0,6,5,6>: Cost 3 ins <u,6,5,6>, lane 0
567     2086076417U, // <0,6,5,u>: Cost 2 ins <0,u,5,3>, lane 1
571     2086150145U, // <0,6,6,3>: Cost 2 ins <0,u,6,3>, lane 1
572     3206348800U, // <0,6,6,4>: Cost 3 ins <u,6,6,4>, lane 0
574     2132623360U, // <0,6,6,6>: Cost 2 ins <u,6,6,6>, lane 0
575     2132631552U, // <0,6,6,7>: Cost 2 ins <u,6,6,7>, lane 0
576     2086150145U, // <0,6,6,u>: Cost 2 ins <0,u,6,3>, lane 1
577     2132647936U, // <0,6,7,0>: Cost 2 ins <u,6,7,0>, lane 0
579     3206406144U, // <0,6,7,2>: Cost 3 ins <u,6,7,2>, lane 0
580     2086223873U, // <0,6,7,3>: Cost 2 ins <0,u,7,3>, lane 1
581     2132680704U, // <0,6,7,4>: Cost 2 ins <u,6,7,4>, lane 0
583     3206438912U, // <0,6,7,6>: Cost 3 ins <u,6,7,6>, lane 0
584     2132705280U, // <0,6,7,7>: Cost 2 ins <u,6,7,7>, lane 0
585     2132647936U, // <0,6,7,u>: Cost 2 ins <u,6,7,0>, lane 0
586     2132647936U, // <0,6,u,0>: Cost 2 ins <u,6,7,0>, lane 0
587     2085765121U, // <0,6,u,1>: Cost 2 ins <0,u,1,1>, lane 1
588     2132148224U, // <0,6,u,2>: Cost 2 ins <u,6,0,2>, lane 0
589     1012113409U, // <0,6,u,3>: Cost 1 ins LHS, lane 1
590     2132680704U, // <0,6,u,4>: Cost 2 ins <u,6,7,4>, lane 0
591     2085797889U, // <0,6,u,5>: Cost 2 ins <0,u,1,5>, lane 1
592     2085879809U, // <0,6,u,6>: Cost 2 ins <0,u,2,6>, lane 1
594     1012113409U, // <0,6,u,u>: Cost 1 ins LHS, lane 1
595     2085683201U, // <0,7,0,0>: Cost 2 ins <0,u,0,0>, lane 1
596     2132803584U, // <0,7,0,1>: Cost 2 ins <u,7,0,1>, lane 0
597     2085699585U, // <0,7,0,2>: Cost 2 ins <0,u,0,2>, lane 1
598     2085707777U, // <0,7,0,3>: Cost 2 ins <0,u,0,3>, lane 1
603     2132803584U, // <0,7,0,u>: Cost 2 ins <u,7,0,1>, lane 0
605     2085765121U, // <0,7,1,1>: Cost 2 ins <0,u,1,1>, lane 1
607     2132893696U, // <0,7,1,3>: Cost 2 ins <u,7,1,3>, lane 0
609     2085797889U, // <0,7,1,5>: Cost 2 ins <0,u,1,5>, lane 1
612     2085765121U, // <0,7,1,u>: Cost 2 ins <0,u,1,1>, lane 1
613     2085830657U, // <0,7,2,0>: Cost 2 ins <0,u,2,0>, lane 1
615     2085847041U, // <0,7,2,2>: Cost 2 ins <0,u,2,2>, lane 1
616     1012113409U, // <0,7,2,3>: Cost 1 ins LHS, lane 1
617     2085863425U, // <0,7,2,4>: Cost 2 ins <0,u,2,4>, lane 1
619     2085879809U, // <0,7,2,6>: Cost 2 ins <0,u,2,6>, lane 1
621     1012113409U, // <0,7,2,u>: Cost 1 ins LHS, lane 1
623     3206766592U, // <0,7,3,1>: Cost 3 ins <u,7,3,1>, lane 0
625     2085928961U, // <0,7,3,3>: Cost 2 ins <0,u,3,3>, lane 1
626     3206791168U, // <0,7,3,4>: Cost 3 ins <u,7,3,4>, lane 0
627     3206799360U, // <0,7,3,5>: Cost 3 ins <u,7,3,5>, lane 0
629     3206815744U, // <0,7,3,7>: Cost 3 ins <u,7,3,7>, lane 0
630     2085928961U, // <0,7,3,u>: Cost 2 ins <0,u,3,3>, lane 1
631     3206832128U, // <0,7,4,0>: Cost 3 ins <u,7,4,0>, lane 0
634     2086002689U, // <0,7,4,3>: Cost 2 ins <0,u,4,3>, lane 1
635     3206864896U, // <0,7,4,4>: Cost 3 ins <u,7,4,4>, lane 0
636     2133131264U, // <0,7,4,5>: Cost 2 ins <u,7,4,5>, lane 0
637     2086027265U, // <0,7,4,6>: Cost 2 ins <0,u,4,6>, lane 1
639     2133131264U, // <0,7,4,u>: Cost 2 ins <u,7,4,5>, lane 0
641     3206914048U, // <0,7,5,1>: Cost 3 ins <u,7,5,1>, lane 0
643     2086076417U, // <0,7,5,3>: Cost 2 ins <0,u,5,3>, lane 1
645     3206946816U, // <0,7,5,5>: Cost 3 ins <u,7,5,5>, lane 0
647     2133221376U, // <0,7,5,7>: Cost 2 ins <u,7,5,7>, lane 0
648     2133221376U, // <0,7,5,u>: Cost 2 ins <u,7,5,7>, lane 0
651     3206995968U, // <0,7,6,2>: Cost 3 ins <u,7,6,2>, lane 0
652     2086150145U, // <0,7,6,3>: Cost 2 ins <0,u,6,3>, lane 1
653     3207012352U, // <0,7,6,4>: Cost 3 ins <u,7,6,4>, lane 0
655     3207028736U, // <0,7,6,6>: Cost 3 ins <u,7,6,6>, lane 0
656     2133295104U, // <0,7,6,7>: Cost 2 ins <u,7,6,7>, lane 0
657     2086150145U, // <0,7,6,u>: Cost 2 ins <0,u,6,3>, lane 1
659     3207061504U, // <0,7,7,1>: Cost 3 ins <u,7,7,1>, lane 0
661     2086223873U, // <0,7,7,3>: Cost 2 ins <0,u,7,3>, lane 1
662     3207086080U, // <0,7,7,4>: Cost 3 ins <u,7,7,4>, lane 0
663     3207094272U, // <0,7,7,5>: Cost 3 ins <u,7,7,5>, lane 0
665     2133368832U, // <0,7,7,7>: Cost 2 ins <u,7,7,7>, lane 0
666     2086223873U, // <0,7,7,u>: Cost 2 ins <0,u,7,3>, lane 1
669     2085699585U, // <0,7,u,2>: Cost 2 ins <0,u,0,2>, lane 1
670     1012113409U, // <0,7,u,3>: Cost 1 ins LHS, lane 1
672     2085797889U, // <0,7,u,5>: Cost 2 ins <0,u,1,5>, lane 1
673     2085879809U, // <0,7,u,6>: Cost 2 ins <0,u,2,6>, lane 1
674     2133221376U, // <0,7,u,7>: Cost 2 ins <u,7,5,7>, lane 0
675     1012113409U, // <0,7,u,u>: Cost 1 ins LHS, lane 1
677     1007951877U, // <0,u,0,1>: Cost 1 ins LHS, lane 5
679     1007910914U, // <0,u,0,3>: Cost 1 ins LHS, lane 2
681     2081767427U, // <0,u,0,5>: Cost 2 ins <0,2,0,u>, lane 3
683     2081767427U, // <0,u,0,7>: Cost 2 ins <0,2,0,u>, lane 3
688     1007910914U, // <0,u,1,3>: Cost 1 ins LHS, lane 2
694     1007509507U, // <0,u,2,0>: Cost 1 ins LHS, lane 3
695     1007509507U, // <0,u,2,1>: Cost 1 ins LHS, lane 3
698     1007509507U, // <0,u,2,4>: Cost 1 ins LHS, lane 3
699     1007509507U, // <0,u,2,5>: Cost 1 ins LHS, lane 3
701     1007509507U, // <0,u,2,7>: Cost 1 ins LHS, lane 3
703     2133680132U, // <0,u,3,0>: Cost 2 ins <u,u,3,0>, lane 4
705     2128388096U, // <0,u,3,2>: Cost 2 ins <u,0,3,2>, lane 0
706     1007910914U, // <0,u,3,3>: Cost 1 ins LHS, lane 2
707     2133712900U, // <0,u,3,4>: Cost 2 ins <u,u,3,4>, lane 4
709     2082340866U, // <0,u,3,6>: Cost 2 ins <0,2,u,6>, lane 2
710     2133737476U, // <0,u,3,7>: Cost 2 ins <u,u,3,7>, lane 4
711     1007910914U, // <0,u,3,u>: Cost 1 ins LHS, lane 2
712     2082062339U, // <0,u,4,0>: Cost 2 ins <0,2,4,u>, lane 3
715     1007910914U, // <0,u,4,3>: Cost 1 ins LHS, lane 2
717     1007951877U, // <0,u,4,5>: Cost 1 ins LHS, lane 5
719     2082062339U, // <0,u,4,7>: Cost 2 ins <0,2,4,u>, lane 3
721     2080964610U, // <0,u,5,0>: Cost 2 ins <0,0,u,0>, lane 2
722     2128527360U, // <0,u,5,1>: Cost 2 ins <u,0,5,1>, lane 0
723     2080980994U, // <0,u,5,2>: Cost 2 ins <0,0,u,2>, lane 2
724     1007910914U, // <0,u,5,3>: Cost 1 ins LHS, lane 2
725     2081660930U, // <0,u,5,4>: Cost 2 ins <0,1,u,4>, lane 2
726     2133868548U, // <0,u,5,5>: Cost 2 ins <u,u,5,5>, lane 4
729     1007910914U, // <0,u,5,u>: Cost 1 ins LHS, lane 2
731     2080972802U, // <0,u,6,1>: Cost 2 ins <0,0,u,1>, lane 2
732     2128609280U, // <0,u,6,2>: Cost 2 ins <u,0,6,2>, lane 0
733     1007910914U, // <0,u,6,3>: Cost 1 ins LHS, lane 2
735     2083659778U, // <0,u,6,5>: Cost 2 ins <0,4,u,5>, lane 2
736     2133950468U, // <0,u,6,6>: Cost 2 ins <u,u,6,6>, lane 4
737     1060216836U, // <0,u,6,7>: Cost 1 ins RHS, lane 4
738     1007910914U, // <0,u,6,u>: Cost 1 ins LHS, lane 2
739     2133975044U, // <0,u,7,0>: Cost 2 ins <u,u,7,0>, lane 4
740     2080972802U, // <0,u,7,1>: Cost 2 ins <0,0,u,1>, lane 2
741     2080980994U, // <0,u,7,2>: Cost 2 ins <0,0,u,2>, lane 2
742     1007910914U, // <0,u,7,3>: Cost 1 ins LHS, lane 2
743     2134007812U, // <0,u,7,4>: Cost 2 ins <u,u,7,4>, lane 4
744     2083659778U, // <0,u,7,5>: Cost 2 ins <0,4,u,5>, lane 2
745     2134024196U, // <0,u,7,6>: Cost 2 ins <u,u,7,6>, lane 4
746     2134032388U, // <0,u,7,7>: Cost 2 ins <u,u,7,7>, lane 4
747     1007910914U, // <0,u,7,u>: Cost 1 ins LHS, lane 2
752     1007509507U, // <0,u,u,4>: Cost 1 ins LHS, lane 3
755     1007509507U, // <0,u,u,7>: Cost 1 ins LHS, lane 3
757     2128150528U, // <1,0,0,0>: Cost 2 ins <u,0,0,0>, lane 0
759     2086952962U, // <1,0,0,2>: Cost 2 ins <1,0,u,2>, lane 2
762     3165437953U, // <1,0,0,5>: Cost 3 ins <1,u,0,5>, lane 1
763     3160154115U, // <1,0,0,6>: Cost 3 ins <1,0,0,u>, lane 3
764     3160154115U, // <1,0,0,7>: Cost 3 ins <1,0,0,u>, lane 3
769     2091753473U, // <1,0,1,3>: Cost 2 ins <1,u,1,3>, lane 1
773     3165528065U, // <1,0,1,7>: Cost 3 ins <1,u,1,7>, lane 1
777     2128314368U, // <1,0,2,2>: Cost 2 ins <u,0,2,2>, lane 0
778     2087002117U, // <1,0,2,3>: Cost 2 ins <1,0,u,u>, lane 5
781     3165593601U, // <1,0,2,6>: Cost 3 ins <1,u,2,6>, lane 1
787     2091900929U, // <1,0,3,3>: Cost 2 ins <1,u,3,3>, lane 1
788     2091909121U, // <1,0,3,4>: Cost 2 ins <1,u,3,4>, lane 1
789     2086633475U, // <1,0,3,5>: Cost 2 ins <1,0,3,u>, lane 3
790     2086633475U, // <1,0,3,6>: Cost 2 ins <1,0,3,u>, lane 3
791     2091933697U, // <1,0,3,7>: Cost 2 ins <1,u,3,7>, lane 1
795     2086952962U, // <1,0,4,2>: Cost 2 ins <1,0,u,2>, lane 2
798     2087002117U, // <1,0,4,5>: Cost 2 ins <1,0,u,u>, lane 5
801     2086952962U, // <1,0,4,u>: Cost 2 ins <1,0,u,2>, lane 2
805     3165790209U, // <1,0,5,3>: Cost 3 ins <1,u,5,3>, lane 1
807     3165806593U, // <1,0,5,5>: Cost 3 ins <1,u,5,5>, lane 1
808     3202310144U, // <1,0,5,6>: Cost 3 ins <u,0,5,6>, lane 0
809     2092081153U, // <1,0,5,7>: Cost 2 ins <1,u,5,7>, lane 1
811     3202334720U, // <1,0,6,0>: Cost 3 ins <u,0,6,0>, lane 0
813     2128609280U, // <1,0,6,2>: Cost 2 ins <u,0,6,2>, lane 0
817     3165888513U, // <1,0,6,6>: Cost 3 ins <1,u,6,6>, lane 1
818     2087002117U, // <1,0,6,7>: Cost 2 ins <1,0,u,u>, lane 5
819     2128609280U, // <1,0,6,u>: Cost 2 ins <u,0,6,2>, lane 0
822     2086952962U, // <1,0,7,2>: Cost 2 ins <1,0,u,2>, lane 2
824     3202441216U, // <1,0,7,4>: Cost 3 ins <u,0,7,4>, lane 0
825     3165954049U, // <1,0,7,5>: Cost 3 ins <1,u,7,5>, lane 1
827     3165970433U, // <1,0,7,7>: Cost 3 ins <1,u,7,7>, lane 1
828     2086952962U, // <1,0,7,u>: Cost 2 ins <1,0,u,2>, lane 2
832     2091753473U, // <1,0,u,3>: Cost 2 ins <1,u,1,3>, lane 1
833     2091909121U, // <1,0,u,4>: Cost 2 ins <1,u,3,4>, lane 1
834     2086633475U, // <1,0,u,5>: Cost 2 ins <1,0,3,u>, lane 3
835     2086633475U, // <1,0,u,6>: Cost 2 ins <1,0,3,u>, lane 3
836     2091933697U, // <1,0,u,7>: Cost 2 ins <1,u,3,7>, lane 1
841     2087624706U, // <1,1,0,3>: Cost 2 ins <1,1,u,3>, lane 2
844     3161391106U, // <1,1,0,6>: Cost 3 ins <1,1,u,6>, lane 2
845     3161399298U, // <1,1,0,7>: Cost 3 ins <1,1,u,7>, lane 2
849     2087149571U, // <1,1,1,2>: Cost 2 ins <1,1,1,u>, lane 3
852     2087149571U, // <1,1,1,5>: Cost 2 ins <1,1,1,u>, lane 3
853     2087149571U, // <1,1,1,6>: Cost 2 ins <1,1,1,u>, lane 3
854     2087149571U, // <1,1,1,7>: Cost 2 ins <1,1,1,u>, lane 3
856     2128961536U, // <1,1,2,0>: Cost 2 ins <u,1,2,0>, lane 0
857     2128969728U, // <1,1,2,1>: Cost 2 ins <u,1,2,1>, lane 0
859     1055244288U, // <1,1,2,3>: Cost 1 ins LHS, lane 0
860     2128994304U, // <1,1,2,4>: Cost 2 ins <u,1,2,4>, lane 0
861     2129002496U, // <1,1,2,5>: Cost 2 ins <u,1,2,5>, lane 0
862     2129010688U, // <1,1,2,6>: Cost 2 ins <u,1,2,6>, lane 0
863     2129018880U, // <1,1,2,7>: Cost 2 ins <u,1,2,7>, lane 0
864     1055244288U, // <1,1,2,u>: Cost 1 ins LHS, lane 0
865     2091876353U, // <1,1,3,0>: Cost 2 ins <1,u,3,0>, lane 1
867     2091892737U, // <1,1,3,2>: Cost 2 ins <1,u,3,2>, lane 1
869     2091909121U, // <1,1,3,4>: Cost 2 ins <1,u,3,4>, lane 1
870     2087297027U, // <1,1,3,5>: Cost 2 ins <1,1,3,u>, lane 3
871     2087297027U, // <1,1,3,6>: Cost 2 ins <1,1,3,u>, lane 3
872     2091933697U, // <1,1,3,7>: Cost 2 ins <1,u,3,7>, lane 1
875     2087608322U, // <1,1,4,1>: Cost 2 ins <1,1,u,1>, lane 2
877     2087624706U, // <1,1,4,3>: Cost 2 ins <1,1,u,3>, lane 2
881     3161399298U, // <1,1,4,7>: Cost 3 ins <1,1,u,7>, lane 2
884     2087608322U, // <1,1,5,1>: Cost 2 ins <1,1,u,1>, lane 2
886     2087624706U, // <1,1,5,3>: Cost 2 ins <1,1,u,3>, lane 2
892     3165839361U, // <1,1,6,0>: Cost 3 ins <1,u,6,0>, lane 1
893     2087608322U, // <1,1,6,1>: Cost 2 ins <1,1,u,1>, lane 2
895     2087624706U, // <1,1,6,3>: Cost 2 ins <1,1,u,3>, lane 2
899     2087665669U, // <1,1,6,7>: Cost 2 ins <1,1,u,u>, lane 5
900     2087624706U, // <1,1,6,u>: Cost 2 ins <1,1,u,3>, lane 2
902     2087608322U, // <1,1,7,1>: Cost 2 ins <1,1,u,1>, lane 2
903     3203088384U, // <1,1,7,2>: Cost 3 ins <u,1,7,2>, lane 0
904     2129354752U, // <1,1,7,3>: Cost 2 ins <u,1,7,3>, lane 0
907     3161391106U, // <1,1,7,6>: Cost 3 ins <1,1,u,6>, lane 2
909     2129354752U, // <1,1,7,u>: Cost 2 ins <u,1,7,3>, lane 0
919     2088263682U, // <1,2,0,0>: Cost 2 ins <1,2,u,0>, lane 2
921     2129494016U, // <1,2,0,2>: Cost 2 ins <u,2,0,2>, lane 0
923     2088296450U, // <1,2,0,4>: Cost 2 ins <1,2,u,4>, lane 2
924     3165437953U, // <1,2,0,5>: Cost 3 ins <1,u,0,5>, lane 1
928     2088263682U, // <1,2,1,0>: Cost 2 ins <1,2,u,0>, lane 2
929     2091737089U, // <1,2,1,1>: Cost 2 ins <1,u,1,1>, lane 1
932     2088296450U, // <1,2,1,4>: Cost 2 ins <1,2,u,4>, lane 2
935     3165528065U, // <1,2,1,7>: Cost 3 ins <1,u,1,7>, lane 1
937     2088263682U, // <1,2,2,0>: Cost 2 ins <1,2,u,0>, lane 2
939     2129641472U, // <1,2,2,2>: Cost 2 ins <u,2,2,2>, lane 0
941     2088296450U, // <1,2,2,4>: Cost 2 ins <1,2,u,4>, lane 2
942     3165585409U, // <1,2,2,5>: Cost 3 ins <1,u,2,5>, lane 1
955     2088263682U, // <1,2,4,0>: Cost 2 ins <1,2,u,0>, lane 2
956     3162013698U, // <1,2,4,1>: Cost 3 ins <1,2,u,1>, lane 2
957     3162021890U, // <1,2,4,2>: Cost 3 ins <1,2,u,2>, lane 2
959     2088296450U, // <1,2,4,4>: Cost 2 ins <1,2,u,4>, lane 2
961     2129821696U, // <1,2,4,6>: Cost 2 ins <u,2,4,6>, lane 0
964     2088263682U, // <1,2,5,0>: Cost 2 ins <1,2,u,0>, lane 2
968     2088296450U, // <1,2,5,4>: Cost 2 ins <1,2,u,4>, lane 2
971     2092081153U, // <1,2,5,7>: Cost 2 ins <1,u,5,7>, lane 1
973     2088263682U, // <1,2,6,0>: Cost 2 ins <1,2,u,0>, lane 2
974     3162013698U, // <1,2,6,1>: Cost 3 ins <1,2,u,1>, lane 2
977     2088296450U, // <1,2,6,4>: Cost 2 ins <1,2,u,4>, lane 2
978     3162046466U, // <1,2,6,5>: Cost 3 ins <1,2,u,5>, lane 2
980     2088329221U, // <1,2,6,7>: Cost 2 ins <1,2,u,u>, lane 5
981     2088263682U, // <1,2,6,u>: Cost 2 ins <1,2,u,0>, lane 2
983     3203743744U, // <1,2,7,1>: Cost 3 ins <u,2,7,1>, lane 0
984     3203751936U, // <1,2,7,2>: Cost 3 ins <u,2,7,2>, lane 0
985     2130018304U, // <1,2,7,3>: Cost 2 ins <u,2,7,3>, lane 0
986     2088296450U, // <1,2,7,4>: Cost 2 ins <1,2,u,4>, lane 2
987     3203776512U, // <1,2,7,5>: Cost 3 ins <u,2,7,5>, lane 0
988     3203784704U, // <1,2,7,6>: Cost 3 ins <u,2,7,6>, lane 0
1003     2088951810U, // <1,3,0,3>: Cost 2 ins <1,3,u,3>, lane 2
1007     2088984578U, // <1,3,0,7>: Cost 2 ins <1,3,u,7>, lane 2
1009     2088476675U, // <1,3,1,0>: Cost 2 ins <1,3,1,u>, lane 3
1011     2088476675U, // <1,3,1,2>: Cost 2 ins <1,3,1,u>, lane 3
1013     2088476675U, // <1,3,1,4>: Cost 2 ins <1,3,1,u>, lane 3
1014     2088476675U, // <1,3,1,5>: Cost 2 ins <1,3,1,u>, lane 3
1015     2088476675U, // <1,3,1,6>: Cost 2 ins <1,3,1,u>, lane 3
1016     2088984578U, // <1,3,1,7>: Cost 2 ins <1,3,u,7>, lane 2
1025     2088984578U, // <1,3,2,7>: Cost 2 ins <1,3,u,7>, lane 2
1029     2091892737U, // <1,3,3,2>: Cost 2 ins <1,u,3,2>, lane 1
1039     2088951810U, // <1,3,4,3>: Cost 2 ins <1,3,u,3>, lane 2
1043     2088984578U, // <1,3,4,7>: Cost 2 ins <1,3,u,7>, lane 2
1045     2088771587U, // <1,3,5,0>: Cost 2 ins <1,3,5,u>, lane 3
1046     2088771587U, // <1,3,5,1>: Cost 2 ins <1,3,5,u>, lane 3
1047     2088771587U, // <1,3,5,2>: Cost 2 ins <1,3,5,u>, lane 3
1048     2088951810U, // <1,3,5,3>: Cost 2 ins <1,3,u,3>, lane 2
1049     2088771587U, // <1,3,5,4>: Cost 2 ins <1,3,5,u>, lane 3
1051     2088771587U, // <1,3,5,6>: Cost 2 ins <1,3,5,u>, lane 3
1057     2088951810U, // <1,3,6,3>: Cost 2 ins <1,3,u,3>, lane 2
1081     3165396993U, // <1,4,0,0>: Cost 3 ins <1,u,0,0>, lane 1
1085     3165429761U, // <1,4,0,4>: Cost 3 ins <1,u,0,4>, lane 1
1088     3162808323U, // <1,4,0,7>: Cost 3 ins <1,4,0,u>, lane 3
1090     3204620288U, // <1,4,1,0>: Cost 3 ins <u,4,1,0>, lane 0
1091     2091737089U, // <1,4,1,1>: Cost 2 ins <1,u,1,1>, lane 1
1092     3204636672U, // <1,4,1,2>: Cost 3 ins <u,4,1,2>, lane 0
1093     2091753473U, // <1,4,1,3>: Cost 2 ins <1,u,1,3>, lane 1
1097     3165528065U, // <1,4,1,7>: Cost 3 ins <1,u,1,7>, lane 1
1101     3165560833U, // <1,4,2,2>: Cost 3 ins <1,u,2,2>, lane 1
1102     2130976768U, // <1,4,2,3>: Cost 2 ins <u,4,2,3>, lane 0
1105     2131001344U, // <1,4,2,6>: Cost 2 ins <u,4,2,6>, lane 0
1106     3165601793U, // <1,4,2,7>: Cost 3 ins <1,u,2,7>, lane 1
1108     2091876353U, // <1,4,3,0>: Cost 2 ins <1,u,3,0>, lane 1
1110     2091892737U, // <1,4,3,2>: Cost 2 ins <1,u,3,2>, lane 1
1111     2091900929U, // <1,4,3,3>: Cost 2 ins <1,u,3,3>, lane 1
1115     2091933697U, // <1,4,3,7>: Cost 2 ins <1,u,3,7>, lane 1
1119     3165708289U, // <1,4,4,2>: Cost 3 ins <1,u,4,2>, lane 1
1121     2131132416U, // <1,4,4,4>: Cost 2 ins <u,4,4,4>, lane 0
1125     2131132416U, // <1,4,4,u>: Cost 2 ins <u,4,4,4>, lane 0
1128     3204931584U, // <1,4,5,2>: Cost 3 ins <u,4,5,2>, lane 0
1129     3165790209U, // <1,4,5,3>: Cost 3 ins <1,u,5,3>, lane 1
1133     2092081153U, // <1,4,5,7>: Cost 2 ins <1,u,5,7>, lane 1
1137     3165855745U, // <1,4,6,2>: Cost 3 ins <1,u,6,2>, lane 1
1141     2131296256U, // <1,4,6,6>: Cost 2 ins <u,4,6,6>, lane 0
1142     2131304448U, // <1,4,6,7>: Cost 2 ins <u,4,6,7>, lane 0
1143     2131296256U, // <1,4,6,u>: Cost 2 ins <u,4,6,6>, lane 0
1145     3165921281U, // <1,4,7,1>: Cost 3 ins <1,u,7,1>, lane 1
1146     3205079040U, // <1,4,7,2>: Cost 3 ins <u,4,7,2>, lane 0
1149     3205103616U, // <1,4,7,5>: Cost 3 ins <u,4,7,5>, lane 0
1150     2131369984U, // <1,4,7,6>: Cost 2 ins <u,4,7,6>, lane 0
1151     3165970433U, // <1,4,7,7>: Cost 3 ins <1,u,7,7>, lane 1
1152     2131369984U, // <1,4,7,u>: Cost 2 ins <u,4,7,6>, lane 0
1153     2091876353U, // <1,4,u,0>: Cost 2 ins <1,u,3,0>, lane 1
1154     2091737089U, // <1,4,u,1>: Cost 2 ins <1,u,1,1>, lane 1
1155     2091892737U, // <1,4,u,2>: Cost 2 ins <1,u,3,2>, lane 1
1156     2091753473U, // <1,4,u,3>: Cost 2 ins <1,u,1,3>, lane 1
1160     2091933697U, // <1,4,u,7>: Cost 2 ins <1,u,3,7>, lane 1
1165     3163471875U, // <1,5,0,3>: Cost 3 ins <1,5,0,u>, lane 3
1167     3165437953U, // <1,5,0,5>: Cost 3 ins <1,u,0,5>, lane 1
1168     3164045314U, // <1,5,0,6>: Cost 3 ins <1,5,u,6>, lane 2
1169     2090311682U, // <1,5,0,7>: Cost 2 ins <1,5,u,7>, lane 2
1172     2091737089U, // <1,5,1,1>: Cost 2 ins <1,u,1,1>, lane 1
1174     2091753473U, // <1,5,1,3>: Cost 2 ins <1,u,1,3>, lane 1
1183     2090319877U, // <1,5,2,3>: Cost 2 ins <1,5,u,u>, lane 5
1187     2090311682U, // <1,5,2,7>: Cost 2 ins <1,5,u,7>, lane 2
1188     2090319877U, // <1,5,2,u>: Cost 2 ins <1,5,u,u>, lane 5
1189     2091876353U, // <1,5,3,0>: Cost 2 ins <1,u,3,0>, lane 1
1190     2089951235U, // <1,5,3,1>: Cost 2 ins <1,5,3,u>, lane 3
1191     2091892737U, // <1,5,3,2>: Cost 2 ins <1,u,3,2>, lane 1
1192     2091900929U, // <1,5,3,3>: Cost 2 ins <1,u,3,3>, lane 1
1193     2091909121U, // <1,5,3,4>: Cost 2 ins <1,u,3,4>, lane 1
1195     2089951235U, // <1,5,3,6>: Cost 2 ins <1,5,3,u>, lane 3
1200     3164012546U, // <1,5,4,2>: Cost 3 ins <1,5,u,2>, lane 2
1201     3163766787U, // <1,5,4,3>: Cost 3 ins <1,5,4,u>, lane 3
1205     2090311682U, // <1,5,4,7>: Cost 2 ins <1,5,u,7>, lane 2
1209     3165782017U, // <1,5,5,2>: Cost 3 ins <1,u,5,2>, lane 1
1212     2131877888U, // <1,5,5,5>: Cost 2 ins <u,5,5,5>, lane 0
1214     2092081153U, // <1,5,5,7>: Cost 2 ins <1,u,5,7>, lane 1
1215     2092081153U, // <1,5,5,u>: Cost 2 ins <1,u,5,7>, lane 1
1216     2131910656U, // <1,5,6,0>: Cost 2 ins <u,5,6,0>, lane 0
1217     2131918848U, // <1,5,6,1>: Cost 2 ins <u,5,6,1>, lane 0
1218     2131927040U, // <1,5,6,2>: Cost 2 ins <u,5,6,2>, lane 0
1219     2131935232U, // <1,5,6,3>: Cost 2 ins <u,5,6,3>, lane 0
1220     2131943424U, // <1,5,6,4>: Cost 2 ins <u,5,6,4>, lane 0
1221     2131951616U, // <1,5,6,5>: Cost 2 ins <u,5,6,5>, lane 0
1222     2131959808U, // <1,5,6,6>: Cost 2 ins <u,5,6,6>, lane 0
1223     1058226176U, // <1,5,6,7>: Cost 1 ins RHS, lane 0
1224     1058226176U, // <1,5,6,u>: Cost 1 ins RHS, lane 0
1232     2132041728U, // <1,5,7,7>: Cost 2 ins <u,5,7,7>, lane 0
1233     2132041728U, // <1,5,7,u>: Cost 2 ins <u,5,7,7>, lane 0
1234     2091876353U, // <1,5,u,0>: Cost 2 ins <1,u,3,0>, lane 1
1237     2091753473U, // <1,5,u,3>: Cost 2 ins <1,u,1,3>, lane 1
1243     3205873664U, // <1,6,0,0>: Cost 3 ins <u,6,0,0>, lane 0
1245     2132148224U, // <1,6,0,2>: Cost 2 ins <u,6,0,2>, lane 0
1248     3165437953U, // <1,6,0,5>: Cost 3 ins <1,u,0,5>, lane 1
1249     3164708866U, // <1,6,0,6>: Cost 3 ins <1,6,u,6>, lane 2
1251     2132148224U, // <1,6,0,u>: Cost 2 ins <u,6,0,2>, lane 0
1252     3205947392U, // <1,6,1,0>: Cost 3 ins <u,6,1,0>, lane 0
1253     2091737089U, // <1,6,1,1>: Cost 2 ins <1,u,1,1>, lane 1
1255     2091753473U, // <1,6,1,3>: Cost 2 ins <1,u,1,3>, lane 1
1257     3205988352U, // <1,6,1,5>: Cost 3 ins <u,6,1,5>, lane 0
1264     2132303872U, // <1,6,2,3>: Cost 2 ins <u,6,2,3>, lane 0
1265     3206053888U, // <1,6,2,4>: Cost 3 ins <u,6,2,4>, lane 0
1266     3165585409U, // <1,6,2,5>: Cost 3 ins <1,u,2,5>, lane 1
1273     2091900929U, // <1,6,3,3>: Cost 2 ins <1,u,3,3>, lane 1
1279     3206168576U, // <1,6,4,0>: Cost 3 ins <u,6,4,0>, lane 0
1281     3164676098U, // <1,6,4,2>: Cost 3 ins <1,6,u,2>, lane 2
1283     3206201344U, // <1,6,4,4>: Cost 3 ins <u,6,4,4>, lane 0
1285     2132475904U, // <1,6,4,6>: Cost 2 ins <u,6,4,6>, lane 0
1287     2132475904U, // <1,6,4,u>: Cost 2 ins <u,6,4,6>, lane 0
1288     3164659714U, // <1,6,5,0>: Cost 3 ins <1,6,u,0>, lane 2
1289     3206250496U, // <1,6,5,1>: Cost 3 ins <u,6,5,1>, lane 0
1291     3165790209U, // <1,6,5,3>: Cost 3 ins <1,u,5,3>, lane 1
1292     3206275072U, // <1,6,5,4>: Cost 3 ins <u,6,5,4>, lane 0
1293     3206283264U, // <1,6,5,5>: Cost 3 ins <u,6,5,5>, lane 0
1299     3165855745U, // <1,6,6,2>: Cost 3 ins <1,u,6,2>, lane 1
1301     3206348800U, // <1,6,6,4>: Cost 3 ins <u,6,6,4>, lane 0
1302     3206356992U, // <1,6,6,5>: Cost 3 ins <u,6,6,5>, lane 0
1303     2132623360U, // <1,6,6,6>: Cost 2 ins <u,6,6,6>, lane 0
1304     2132631552U, // <1,6,6,7>: Cost 2 ins <u,6,6,7>, lane 0
1305     2132623360U, // <1,6,6,u>: Cost 2 ins <u,6,6,6>, lane 0
1308     3206406144U, // <1,6,7,2>: Cost 3 ins <u,6,7,2>, lane 0
1309     3206414336U, // <1,6,7,3>: Cost 3 ins <u,6,7,3>, lane 0
1310     2132680704U, // <1,6,7,4>: Cost 2 ins <u,6,7,4>, lane 0
1313     2132705280U, // <1,6,7,7>: Cost 2 ins <u,6,7,7>, lane 0
1316     2091737089U, // <1,6,u,1>: Cost 2 ins <1,u,1,1>, lane 1
1318     2091753473U, // <1,6,u,3>: Cost 2 ins <1,u,1,3>, lane 1
1325     2132803584U, // <1,7,0,1>: Cost 2 ins <u,7,0,1>, lane 0
1326     3206553600U, // <1,7,0,2>: Cost 3 ins <u,7,0,2>, lane 0
1329     3206578176U, // <1,7,0,5>: Cost 3 ins <u,7,0,5>, lane 0
1331     3165380610U, // <1,7,0,7>: Cost 3 ins <1,7,u,7>, lane 2
1332     2132803584U, // <1,7,0,u>: Cost 2 ins <u,7,0,1>, lane 0
1334     2091737089U, // <1,7,1,1>: Cost 2 ins <1,u,1,1>, lane 1
1335     3206627328U, // <1,7,1,2>: Cost 3 ins <u,7,1,2>, lane 0
1336     2132893696U, // <1,7,1,3>: Cost 2 ins <u,7,1,3>, lane 0
1341     2132893696U, // <1,7,1,u>: Cost 2 ins <u,7,1,3>, lane 0
1344     3206701056U, // <1,7,2,2>: Cost 3 ins <u,7,2,2>, lane 0
1345     2132967424U, // <1,7,2,3>: Cost 2 ins <u,7,2,3>, lane 0
1347     3206725632U, // <1,7,2,5>: Cost 3 ins <u,7,2,5>, lane 0
1350     2132967424U, // <1,7,2,u>: Cost 2 ins <u,7,2,3>, lane 0
1353     2091892737U, // <1,7,3,2>: Cost 2 ins <1,u,3,2>, lane 1
1361     3165331458U, // <1,7,4,1>: Cost 3 ins <1,7,u,1>, lane 2
1364     3206864896U, // <1,7,4,4>: Cost 3 ins <u,7,4,4>, lane 0
1365     2133131264U, // <1,7,4,5>: Cost 2 ins <u,7,4,5>, lane 0
1366     3206881280U, // <1,7,4,6>: Cost 3 ins <u,7,4,6>, lane 0
1367     3165380610U, // <1,7,4,7>: Cost 3 ins <1,7,u,7>, lane 2
1368     2133131264U, // <1,7,4,u>: Cost 2 ins <u,7,4,5>, lane 0
1371     3165782017U, // <1,7,5,2>: Cost 3 ins <1,u,5,2>, lane 1
1376     2133221376U, // <1,7,5,7>: Cost 2 ins <u,7,5,7>, lane 0
1377     2133221376U, // <1,7,5,u>: Cost 2 ins <u,7,5,7>, lane 0
1380     3206995968U, // <1,7,6,2>: Cost 3 ins <u,7,6,2>, lane 0
1381     3165347842U, // <1,7,6,3>: Cost 3 ins <1,7,u,3>, lane 2
1383     3207020544U, // <1,7,6,5>: Cost 3 ins <u,7,6,5>, lane 0
1384     3207028736U, // <1,7,6,6>: Cost 3 ins <u,7,6,6>, lane 0
1385     2133295104U, // <1,7,6,7>: Cost 2 ins <u,7,6,7>, lane 0
1386     2133295104U, // <1,7,6,u>: Cost 2 ins <u,7,6,7>, lane 0
1389     3165929473U, // <1,7,7,2>: Cost 3 ins <1,u,7,2>, lane 1
1391     3207086080U, // <1,7,7,4>: Cost 3 ins <u,7,7,4>, lane 0
1393     3207102464U, // <1,7,7,6>: Cost 3 ins <u,7,7,6>, lane 0
1394     2133368832U, // <1,7,7,7>: Cost 2 ins <u,7,7,7>, lane 0
1395     2133368832U, // <1,7,7,u>: Cost 2 ins <u,7,7,7>, lane 0
1398     2091892737U, // <1,7,u,2>: Cost 2 ins <1,u,3,2>, lane 1
1408     2087624706U, // <1,u,0,3>: Cost 2 ins <1,1,u,3>, lane 2
1412     2088984578U, // <1,u,0,7>: Cost 2 ins <1,3,u,7>, lane 2
1426     1055244288U, // <1,u,2,3>: Cost 1 ins LHS, lane 0
1431     1055244288U, // <1,u,2,u>: Cost 1 ins LHS, lane 0
1441     2088263682U, // <1,u,4,0>: Cost 2 ins <1,2,u,0>, lane 2
1442     2087608322U, // <1,u,4,1>: Cost 2 ins <1,1,u,1>, lane 2
1443     2086952962U, // <1,u,4,2>: Cost 2 ins <1,0,u,2>, lane 2
1444     2087624706U, // <1,u,4,3>: Cost 2 ins <1,1,u,3>, lane 2
1448     2088984578U, // <1,u,4,7>: Cost 2 ins <1,3,u,7>, lane 2
1450     2088263682U, // <1,u,5,0>: Cost 2 ins <1,2,u,0>, lane 2
1454     2088296450U, // <1,u,5,4>: Cost 2 ins <1,2,u,4>, lane 2
1460     2087608322U, // <1,u,6,1>: Cost 2 ins <1,1,u,1>, lane 2
1462     2087624706U, // <1,u,6,3>: Cost 2 ins <1,1,u,3>, lane 2
1464     2131951616U, // <1,u,6,5>: Cost 2 ins <u,5,6,5>, lane 0
1466     1058226176U, // <1,u,6,7>: Cost 1 ins RHS, lane 0
1467     1058226176U, // <1,u,6,u>: Cost 1 ins RHS, lane 0
1470     2086952962U, // <1,u,7,2>: Cost 2 ins <1,0,u,2>, lane 2
1472     2088296450U, // <1,u,7,4>: Cost 2 ins <1,2,u,4>, lane 2
1474     2131369984U, // <1,u,7,6>: Cost 2 ins <u,4,7,6>, lane 0
1486     2128150528U, // <2,0,0,0>: Cost 2 ins <u,0,0,0>, lane 0
1487     2097635329U, // <2,0,0,1>: Cost 2 ins <2,u,0,1>, lane 1
1492     3171418113U, // <2,0,0,6>: Cost 3 ins <2,u,0,6>, lane 1
1496     2128232448U, // <2,0,1,1>: Cost 2 ins <u,0,1,1>, lane 0
1502     3166707714U, // <2,0,1,7>: Cost 3 ins <2,0,u,7>, lane 2
1507     2128322560U, // <2,0,2,3>: Cost 2 ins <u,0,2,3>, lane 0
1516     2097872897U, // <2,0,3,3>: Cost 2 ins <2,u,3,3>, lane 1
1520     2097905665U, // <2,0,3,7>: Cost 2 ins <2,u,3,7>, lane 1
1525     3171688449U, // <2,0,4,3>: Cost 3 ins <2,u,4,3>, lane 1
1527     2097963009U, // <2,0,4,5>: Cost 2 ins <2,u,4,5>, lane 1
1529     3171721217U, // <2,0,4,7>: Cost 3 ins <2,u,4,7>, lane 1
1532     2128527360U, // <2,0,5,1>: Cost 2 ins <u,0,5,1>, lane 0
1537     3202310144U, // <2,0,5,6>: Cost 3 ins <u,0,5,6>, lane 0
1542     2128609280U, // <2,0,6,2>: Cost 2 ins <u,0,6,2>, lane 0
1543     3171835905U, // <2,0,6,3>: Cost 3 ins <2,u,6,3>, lane 1
1545     3171852289U, // <2,0,6,5>: Cost 3 ins <2,u,6,5>, lane 1
1547     2128650240U, // <2,0,6,7>: Cost 2 ins <u,0,6,7>, lane 0
1553     3171917825U, // <2,0,7,4>: Cost 3 ins <2,u,7,4>, lane 1
1555     3166699522U, // <2,0,7,6>: Cost 3 ins <2,0,u,6>, lane 2
1563     2097963009U, // <2,0,u,5>: Cost 2 ins <2,u,4,5>, lane 1
1568     2097635329U, // <2,1,0,1>: Cost 2 ins <2,u,0,1>, lane 1
1573     3171418113U, // <2,1,0,6>: Cost 3 ins <2,u,0,6>, lane 1
1574     3171426305U, // <2,1,0,7>: Cost 3 ins <2,u,0,7>, lane 1
1577     2128896000U, // <2,1,1,1>: Cost 2 ins <u,1,1,1>, lane 0
1579     2128912384U, // <2,1,1,3>: Cost 2 ins <u,1,1,3>, lane 0
1581     3202670592U, // <2,1,1,5>: Cost 3 ins <u,1,1,5>, lane 0
1582     3202678784U, // <2,1,1,6>: Cost 3 ins <u,1,1,6>, lane 0
1584     2128896000U, // <2,1,1,u>: Cost 2 ins <u,1,1,1>, lane 0
1585     2128961536U, // <2,1,2,0>: Cost 2 ins <u,1,2,0>, lane 0
1586     2128969728U, // <2,1,2,1>: Cost 2 ins <u,1,2,1>, lane 0
1587     2128977920U, // <2,1,2,2>: Cost 2 ins <u,1,2,2>, lane 0
1588     1055244288U, // <2,1,2,3>: Cost 1 ins LHS, lane 0
1589     2128994304U, // <2,1,2,4>: Cost 2 ins <u,1,2,4>, lane 0
1590     2129002496U, // <2,1,2,5>: Cost 2 ins <u,1,2,5>, lane 0
1591     2129010688U, // <2,1,2,6>: Cost 2 ins <u,1,2,6>, lane 0
1592     2129018880U, // <2,1,2,7>: Cost 2 ins <u,1,2,7>, lane 0
1593     1055244288U, // <2,1,2,u>: Cost 1 ins LHS, lane 0
1601     2097905665U, // <2,1,3,7>: Cost 2 ins <2,u,3,7>, lane 1
1603     3171663873U, // <2,1,4,0>: Cost 3 ins <2,u,4,0>, lane 1
1607     3171696641U, // <2,1,4,4>: Cost 3 ins <2,u,4,4>, lane 1
1608     2097963009U, // <2,1,4,5>: Cost 2 ins <2,u,4,5>, lane 1
1610     3171721217U, // <2,1,4,7>: Cost 3 ins <2,u,4,7>, lane 1
1615     2129207296U, // <2,1,5,3>: Cost 2 ins <u,1,5,3>, lane 0
1617     3202965504U, // <2,1,5,5>: Cost 3 ins <u,1,5,5>, lane 0
1618     3171786753U, // <2,1,5,6>: Cost 3 ins <2,u,5,6>, lane 1
1620     2129207296U, // <2,1,5,u>: Cost 2 ins <u,1,5,3>, lane 0
1628     2129313792U, // <2,1,6,7>: Cost 2 ins <u,1,6,7>, lane 0
1630     3171885057U, // <2,1,7,0>: Cost 3 ins <2,u,7,0>, lane 1
1631     3203080192U, // <2,1,7,1>: Cost 3 ins <u,1,7,1>, lane 0
1633     2129354752U, // <2,1,7,3>: Cost 2 ins <u,1,7,3>, lane 0
1634     3171917825U, // <2,1,7,4>: Cost 3 ins <2,u,7,4>, lane 1
1635     3203112960U, // <2,1,7,5>: Cost 3 ins <u,1,7,5>, lane 0
1637     3171942401U, // <2,1,7,7>: Cost 3 ins <2,u,7,7>, lane 1
1638     2129354752U, // <2,1,7,u>: Cost 2 ins <u,1,7,3>, lane 0
1639     2128961536U, // <2,1,u,0>: Cost 2 ins <u,1,2,0>, lane 0
1642     1055244288U, // <2,1,u,3>: Cost 1 ins LHS, lane 0
1643     2128994304U, // <2,1,u,4>: Cost 2 ins <u,1,2,4>, lane 0
1645     2129010688U, // <2,1,u,6>: Cost 2 ins <u,1,2,6>, lane 0
1646     2097905665U, // <2,1,u,7>: Cost 2 ins <2,u,3,7>, lane 1
1647     1055244288U, // <2,1,u,u>: Cost 1 ins LHS, lane 0
1651     2094260226U, // <2,2,0,3>: Cost 2 ins <2,2,u,3>, lane 2
1653     3168018434U, // <2,2,0,5>: Cost 3 ins <2,2,u,5>, lane 2
1655     3171426305U, // <2,2,0,7>: Cost 3 ins <2,u,0,7>, lane 1
1659     2094252034U, // <2,2,1,2>: Cost 2 ins <2,2,u,2>, lane 2
1661     3167526915U, // <2,2,1,4>: Cost 3 ins <2,2,1,u>, lane 3
1663     3203342336U, // <2,2,1,6>: Cost 3 ins <u,2,1,6>, lane 0
1664     3168034818U, // <2,2,1,7>: Cost 3 ins <2,2,u,7>, lane 2
1667     2093858819U, // <2,2,2,1>: Cost 2 ins <2,2,2,u>, lane 3
1671     2093858819U, // <2,2,2,5>: Cost 2 ins <2,2,2,u>, lane 3
1672     2093858819U, // <2,2,2,6>: Cost 2 ins <2,2,2,u>, lane 3
1673     2093858819U, // <2,2,2,7>: Cost 2 ins <2,2,2,u>, lane 3
1675     2129698816U, // <2,2,3,0>: Cost 2 ins <u,2,3,0>, lane 0
1676     2093932547U, // <2,2,3,1>: Cost 2 ins <2,2,3,u>, lane 3
1679     2129731584U, // <2,2,3,4>: Cost 2 ins <u,2,3,4>, lane 0
1680     2093932547U, // <2,2,3,5>: Cost 2 ins <2,2,3,u>, lane 3
1682     2097905665U, // <2,2,3,7>: Cost 2 ins <2,u,3,7>, lane 1
1685     3171672065U, // <2,2,4,1>: Cost 3 ins <2,u,4,1>, lane 1
1686     2094252034U, // <2,2,4,2>: Cost 2 ins <2,2,u,2>, lane 2
1687     2094260226U, // <2,2,4,3>: Cost 2 ins <2,2,u,3>, lane 2
1691     3171721217U, // <2,2,4,7>: Cost 3 ins <2,u,4,7>, lane 1
1693     3167821827U, // <2,2,5,0>: Cost 3 ins <2,2,5,u>, lane 3
1695     2094252034U, // <2,2,5,2>: Cost 2 ins <2,2,u,2>, lane 2
1696     2094260226U, // <2,2,5,3>: Cost 2 ins <2,2,u,3>, lane 2
1703     3171819521U, // <2,2,6,1>: Cost 3 ins <2,u,6,1>, lane 1
1704     2094252034U, // <2,2,6,2>: Cost 2 ins <2,2,u,2>, lane 2
1707     3171852289U, // <2,2,6,5>: Cost 3 ins <2,u,6,5>, lane 1
1709     2094301189U, // <2,2,6,7>: Cost 2 ins <2,2,u,u>, lane 5
1713     2094252034U, // <2,2,7,2>: Cost 2 ins <2,2,u,2>, lane 2
1714     2130018304U, // <2,2,7,3>: Cost 2 ins <u,2,7,3>, lane 0
1717     3203784704U, // <2,2,7,6>: Cost 3 ins <u,2,7,6>, lane 0
1719     2130018304U, // <2,2,7,u>: Cost 2 ins <u,2,7,3>, lane 0
1732     2094374915U, // <2,3,0,3>: Cost 2 ins <2,3,0,u>, lane 3
1734     2094940162U, // <2,3,0,5>: Cost 2 ins <2,3,u,5>, lane 2
1735     2094374915U, // <2,3,0,6>: Cost 2 ins <2,3,0,u>, lane 3
1736     2094374915U, // <2,3,0,7>: Cost 2 ins <2,3,0,u>, lane 3
1745     2094956546U, // <2,3,1,7>: Cost 2 ins <2,3,u,7>, lane 2
1747     2094522371U, // <2,3,2,0>: Cost 2 ins <2,3,2,u>, lane 3
1748     2094907394U, // <2,3,2,1>: Cost 2 ins <2,3,u,1>, lane 2
1750     1059889156U, // <2,3,2,3>: Cost 1 ins LHS, lane 4
1751     2094522371U, // <2,3,2,4>: Cost 2 ins <2,3,2,u>, lane 3
1752     2094940162U, // <2,3,2,5>: Cost 2 ins <2,3,u,5>, lane 2
1754     2094956546U, // <2,3,2,7>: Cost 2 ins <2,3,u,7>, lane 2
1755     1059889156U, // <2,3,2,u>: Cost 1 ins LHS, lane 4
1757     2094907394U, // <2,3,3,1>: Cost 2 ins <2,3,u,1>, lane 2
1761     2094940162U, // <2,3,3,5>: Cost 2 ins <2,3,u,5>, lane 2
1767     2094669827U, // <2,3,4,2>: Cost 2 ins <2,3,4,u>, lane 3
1768     2094669827U, // <2,3,4,3>: Cost 2 ins <2,3,4,u>, lane 3
1772     2094669827U, // <2,3,4,7>: Cost 2 ins <2,3,4,u>, lane 3
1777     2094923778U, // <2,3,5,3>: Cost 2 ins <2,3,u,3>, lane 2
1783     2094817283U, // <2,3,6,0>: Cost 2 ins <2,3,6,u>, lane 3
1784     2094907394U, // <2,3,6,1>: Cost 2 ins <2,3,u,1>, lane 2
1786     2094923778U, // <2,3,6,3>: Cost 2 ins <2,3,u,3>, lane 2
1787     2094817283U, // <2,3,6,4>: Cost 2 ins <2,3,6,u>, lane 3
1788     2094940162U, // <2,3,6,5>: Cost 2 ins <2,3,u,5>, lane 2
1790     1060216836U, // <2,3,6,7>: Cost 1 ins RHS, lane 4
1791     1060216836U, // <2,3,6,u>: Cost 1 ins RHS, lane 4
1793     2094907394U, // <2,3,7,1>: Cost 2 ins <2,3,u,1>, lane 2
1795     2133999620U, // <2,3,7,3>: Cost 2 ins <u,u,7,3>, lane 4
1797     2094940162U, // <2,3,7,5>: Cost 2 ins <2,3,u,5>, lane 2
1798     2134024196U, // <2,3,7,6>: Cost 2 ins <u,u,7,6>, lane 4
1804     1059889156U, // <2,3,u,3>: Cost 1 ins LHS, lane 4
1808     1060216836U, // <2,3,u,7>: Cost 1 ins RHS, lane 4
1811     2097635329U, // <2,4,0,1>: Cost 2 ins <2,u,0,1>, lane 1
1813     3171393537U, // <2,4,0,3>: Cost 3 ins <2,u,0,3>, lane 1
1817     3171426305U, // <2,4,0,7>: Cost 3 ins <2,u,0,7>, lane 1
1819     3204620288U, // <2,4,1,0>: Cost 3 ins <u,4,1,0>, lane 0
1823     3204653056U, // <2,4,1,4>: Cost 3 ins <u,4,1,4>, lane 0
1824     2130919424U, // <2,4,1,5>: Cost 2 ins <u,4,1,5>, lane 0
1826     3169361922U, // <2,4,1,7>: Cost 3 ins <2,4,u,7>, lane 2
1829     3171524609U, // <2,4,2,1>: Cost 3 ins <2,u,2,1>, lane 1
1830     2097790977U, // <2,4,2,2>: Cost 2 ins <2,u,2,2>, lane 1
1831     2130976768U, // <2,4,2,3>: Cost 2 ins <u,4,2,3>, lane 0
1835     3171573761U, // <2,4,2,7>: Cost 3 ins <2,u,2,7>, lane 1
1840     2097872897U, // <2,4,3,3>: Cost 2 ins <2,u,3,3>, lane 1
1844     2097905665U, // <2,4,3,7>: Cost 2 ins <2,u,3,7>, lane 1
1850     2131132416U, // <2,4,4,4>: Cost 2 ins <u,4,4,4>, lane 0
1851     2097963009U, // <2,4,4,5>: Cost 2 ins <2,u,4,5>, lane 1
1860     2131214336U, // <2,4,5,5>: Cost 2 ins <u,4,5,5>, lane 0
1870     2131296256U, // <2,4,6,6>: Cost 2 ins <u,4,6,6>, lane 0
1871     2131304448U, // <2,4,6,7>: Cost 2 ins <u,4,6,7>, lane 0
1875     3169320962U, // <2,4,7,2>: Cost 3 ins <2,4,u,2>, lane 2
1877     3205095424U, // <2,4,7,4>: Cost 3 ins <u,4,7,4>, lane 0
1879     2131369984U, // <2,4,7,6>: Cost 2 ins <u,4,7,6>, lane 0
1881     2131369984U, // <2,4,7,u>: Cost 2 ins <u,4,7,6>, lane 0
1883     2097635329U, // <2,4,u,1>: Cost 2 ins <2,u,0,1>, lane 1
1892     2097635329U, // <2,5,0,1>: Cost 2 ins <2,u,0,1>, lane 1
1897     3171418113U, // <2,5,0,6>: Cost 3 ins <2,u,0,6>, lane 1
1901     3205292032U, // <2,5,1,1>: Cost 3 ins <u,5,1,1>, lane 0
1906     3205332992U, // <2,5,1,6>: Cost 3 ins <u,5,1,6>, lane 0
1907     2131599360U, // <2,5,1,7>: Cost 2 ins <u,5,1,7>, lane 0
1908     2131599360U, // <2,5,1,u>: Cost 2 ins <u,5,1,7>, lane 0
1909     3171516417U, // <2,5,2,0>: Cost 3 ins <2,u,2,0>, lane 1
1911     2097790977U, // <2,5,2,2>: Cost 2 ins <2,u,2,2>, lane 1
1912     2131640320U, // <2,5,2,3>: Cost 2 ins <u,5,2,3>, lane 0
1921     2097872897U, // <2,5,3,3>: Cost 2 ins <2,u,3,3>, lane 1
1928     3171672065U, // <2,5,4,1>: Cost 3 ins <2,u,4,1>, lane 1
1932     2097963009U, // <2,5,4,5>: Cost 2 ins <2,u,4,5>, lane 1
1941     2131877888U, // <2,5,5,5>: Cost 2 ins <u,5,5,5>, lane 0
1943     2131894272U, // <2,5,5,7>: Cost 2 ins <u,5,5,7>, lane 0
1944     2131877888U, // <2,5,5,u>: Cost 2 ins <u,5,5,5>, lane 0
1945     2131910656U, // <2,5,6,0>: Cost 2 ins <u,5,6,0>, lane 0
1946     2131918848U, // <2,5,6,1>: Cost 2 ins <u,5,6,1>, lane 0
1947     2131927040U, // <2,5,6,2>: Cost 2 ins <u,5,6,2>, lane 0
1948     2131935232U, // <2,5,6,3>: Cost 2 ins <u,5,6,3>, lane 0
1949     2131943424U, // <2,5,6,4>: Cost 2 ins <u,5,6,4>, lane 0
1950     2131951616U, // <2,5,6,5>: Cost 2 ins <u,5,6,5>, lane 0
1951     2131959808U, // <2,5,6,6>: Cost 2 ins <u,5,6,6>, lane 0
1952     1058226176U, // <2,5,6,7>: Cost 1 ins RHS, lane 0
1953     1058226176U, // <2,5,6,u>: Cost 1 ins RHS, lane 0
1961     2132041728U, // <2,5,7,7>: Cost 2 ins <u,5,7,7>, lane 0
1962     2132041728U, // <2,5,7,u>: Cost 2 ins <u,5,7,7>, lane 0
1963     2131910656U, // <2,5,u,0>: Cost 2 ins <u,5,6,0>, lane 0
1965     2097790977U, // <2,5,u,2>: Cost 2 ins <2,u,2,2>, lane 1
1966     2097872897U, // <2,5,u,3>: Cost 2 ins <2,u,3,3>, lane 1
1967     2131943424U, // <2,5,u,4>: Cost 2 ins <u,5,6,4>, lane 0
1970     1058226176U, // <2,5,u,7>: Cost 1 ins RHS, lane 0
1971     1058226176U, // <2,5,u,u>: Cost 1 ins RHS, lane 0
1974     2132148224U, // <2,6,0,2>: Cost 2 ins <u,6,0,2>, lane 0
1975     3171393537U, // <2,6,0,3>: Cost 3 ins <2,u,0,3>, lane 1
1977     3170672642U, // <2,6,0,5>: Cost 3 ins <2,6,u,5>, lane 2
1979     2096947202U, // <2,6,0,7>: Cost 2 ins <2,6,u,7>, lane 2
1987     3205996544U, // <2,6,1,6>: Cost 3 ins <u,6,1,6>, lane 0
1988     2096947202U, // <2,6,1,7>: Cost 2 ins <2,6,u,7>, lane 2
1991     3171524609U, // <2,6,2,1>: Cost 3 ins <2,u,2,1>, lane 1
1992     2097790977U, // <2,6,2,2>: Cost 2 ins <2,u,2,2>, lane 1
1993     2096955397U, // <2,6,2,3>: Cost 2 ins <2,6,u,u>, lane 5
1995     3171557377U, // <2,6,2,5>: Cost 3 ins <2,u,2,5>, lane 1
1999     2096586755U, // <2,6,3,0>: Cost 2 ins <2,6,3,u>, lane 3
2000     2096586755U, // <2,6,3,1>: Cost 2 ins <2,6,3,u>, lane 3
2002     2097872897U, // <2,6,3,3>: Cost 2 ins <2,u,3,3>, lane 1
2003     2096586755U, // <2,6,3,4>: Cost 2 ins <2,6,3,u>, lane 3
2004     2096586755U, // <2,6,3,5>: Cost 2 ins <2,6,3,u>, lane 3
2009     3171672065U, // <2,6,4,1>: Cost 3 ins <2,u,4,1>, lane 1
2011     3171688449U, // <2,6,4,3>: Cost 3 ins <2,u,4,3>, lane 1
2014     2132475904U, // <2,6,4,6>: Cost 2 ins <u,6,4,6>, lane 0
2015     2096947202U, // <2,6,4,7>: Cost 2 ins <2,6,u,7>, lane 2
2017     3170476035U, // <2,6,5,0>: Cost 3 ins <2,6,5,u>, lane 3
2019     3206258688U, // <2,6,5,2>: Cost 3 ins <u,6,5,2>, lane 0
2020     3170656258U, // <2,6,5,3>: Cost 3 ins <2,6,u,3>, lane 2
2032     2132623360U, // <2,6,6,6>: Cost 2 ins <u,6,6,6>, lane 0
2035     2132647936U, // <2,6,7,0>: Cost 2 ins <u,6,7,0>, lane 0
2039     2132680704U, // <2,6,7,4>: Cost 2 ins <u,6,7,4>, lane 0
2042     2132705280U, // <2,6,7,7>: Cost 2 ins <u,6,7,7>, lane 0
2043     2132647936U, // <2,6,7,u>: Cost 2 ins <u,6,7,0>, lane 0
2044     2096586755U, // <2,6,u,0>: Cost 2 ins <2,6,3,u>, lane 3
2063     3206619136U, // <2,7,1,1>: Cost 3 ins <u,7,1,1>, lane 0
2064     3206627328U, // <2,7,1,2>: Cost 3 ins <u,7,1,2>, lane 0
2065     2132893696U, // <2,7,1,3>: Cost 2 ins <u,7,1,3>, lane 0
2067     3206651904U, // <2,7,1,5>: Cost 3 ins <u,7,1,5>, lane 0
2068     3171344386U, // <2,7,1,6>: Cost 3 ins <2,7,u,6>, lane 2
2070     2132893696U, // <2,7,1,u>: Cost 2 ins <u,7,1,3>, lane 0
2073     2097790977U, // <2,7,2,2>: Cost 2 ins <2,u,2,2>, lane 1
2074     2132967424U, // <2,7,2,3>: Cost 2 ins <u,7,2,3>, lane 0
2079     2097790977U, // <2,7,2,u>: Cost 2 ins <2,u,2,2>, lane 1
2091     3171680257U, // <2,7,4,2>: Cost 3 ins <2,u,4,2>, lane 1
2094     2133131264U, // <2,7,4,5>: Cost 2 ins <u,7,4,5>, lane 0
2097     2133131264U, // <2,7,4,u>: Cost 2 ins <u,7,4,5>, lane 0
2099     3206914048U, // <2,7,5,1>: Cost 3 ins <u,7,5,1>, lane 0
2103     3206946816U, // <2,7,5,5>: Cost 3 ins <u,7,5,5>, lane 0
2104     3206955008U, // <2,7,5,6>: Cost 3 ins <u,7,5,6>, lane 0
2105     2133221376U, // <2,7,5,7>: Cost 2 ins <u,7,5,7>, lane 0
2106     2133221376U, // <2,7,5,u>: Cost 2 ins <u,7,5,7>, lane 0
2114     2133295104U, // <2,7,6,7>: Cost 2 ins <u,7,6,7>, lane 0
2115     2133295104U, // <2,7,6,u>: Cost 2 ins <u,7,6,7>, lane 0
2117     3207061504U, // <2,7,7,1>: Cost 3 ins <u,7,7,1>, lane 0
2121     3207094272U, // <2,7,7,5>: Cost 3 ins <u,7,7,5>, lane 0
2123     2133368832U, // <2,7,7,7>: Cost 2 ins <u,7,7,7>, lane 0
2124     2133368832U, // <2,7,7,u>: Cost 2 ins <u,7,7,7>, lane 0
2127     2097790977U, // <2,7,u,2>: Cost 2 ins <2,u,2,2>, lane 1
2130     2133131264U, // <2,7,u,5>: Cost 2 ins <u,7,4,5>, lane 0
2139     2094940162U, // <2,u,0,5>: Cost 2 ins <2,3,u,5>, lane 2
2150     2096947202U, // <2,u,1,7>: Cost 2 ins <2,6,u,7>, lane 2
2155     1055244288U, // <2,u,2,3>: Cost 1 ins LHS, lane 0
2160     1055244288U, // <2,u,2,u>: Cost 1 ins LHS, lane 0
2181     2094252034U, // <2,u,5,2>: Cost 2 ins <2,2,u,2>, lane 2
2182     2094260226U, // <2,u,5,3>: Cost 2 ins <2,2,u,3>, lane 2
2195     1060216836U, // <2,u,6,7>: Cost 1 ins RHS, lane 4
2196     1060216836U, // <2,u,6,u>: Cost 1 ins RHS, lane 4
2198     2094907394U, // <2,u,7,1>: Cost 2 ins <2,3,u,1>, lane 2
2199     2094252034U, // <2,u,7,2>: Cost 2 ins <2,2,u,2>, lane 2
2200     2129354752U, // <2,u,7,3>: Cost 2 ins <u,1,7,3>, lane 0
2202     2094940162U, // <2,u,7,5>: Cost 2 ins <2,3,u,5>, lane 2
2203     2134024196U, // <2,u,7,6>: Cost 2 ins <u,u,7,6>, lane 4
2220     3177381889U, // <3,0,0,5>: Cost 3 ins <3,u,0,5>, lane 1
2221     3177390081U, // <3,0,0,6>: Cost 3 ins <3,u,0,6>, lane 1
2222     3177398273U, // <3,0,0,7>: Cost 3 ins <3,u,0,7>, lane 1
2225     2128232448U, // <3,0,1,1>: Cost 2 ins <u,0,1,1>, lane 0
2227     2098429955U, // <3,0,1,3>: Cost 2 ins <3,0,1,u>, lane 3
2229     2098429955U, // <3,0,1,5>: Cost 2 ins <3,0,1,u>, lane 3
2230     2098429955U, // <3,0,1,6>: Cost 2 ins <3,0,1,u>, lane 3
2231     2098429955U, // <3,0,1,7>: Cost 2 ins <3,0,1,u>, lane 3
2235     2128314368U, // <3,0,2,2>: Cost 2 ins <u,0,2,2>, lane 0
2236     2098946053U, // <3,0,2,3>: Cost 2 ins <3,0,u,u>, lane 5
2240     3177545729U, // <3,0,2,7>: Cost 3 ins <3,u,2,7>, lane 1
2245     2103844865U, // <3,0,3,3>: Cost 2 ins <3,u,3,3>, lane 1
2248     3177611265U, // <3,0,3,6>: Cost 3 ins <3,u,3,6>, lane 1
2249     3177619457U, // <3,0,3,7>: Cost 3 ins <3,u,3,7>, lane 1
2258     3177693185U, // <3,0,4,7>: Cost 3 ins <3,u,4,7>, lane 1
2261     2128527360U, // <3,0,5,1>: Cost 2 ins <u,0,5,1>, lane 0
2266     2104016897U, // <3,0,5,6>: Cost 2 ins <3,u,5,6>, lane 1
2269     3202334720U, // <3,0,6,0>: Cost 3 ins <u,0,6,0>, lane 0
2271     2128609280U, // <3,0,6,2>: Cost 2 ins <u,0,6,2>, lane 0
2272     3177807873U, // <3,0,6,3>: Cost 3 ins <3,u,6,3>, lane 1
2273     3202367488U, // <3,0,6,4>: Cost 3 ins <u,0,6,4>, lane 0
2274     3172663298U, // <3,0,6,5>: Cost 3 ins <3,0,u,5>, lane 2
2276     2098946053U, // <3,0,6,7>: Cost 2 ins <3,0,u,u>, lane 5
2277     2128609280U, // <3,0,6,u>: Cost 2 ins <u,0,6,2>, lane 0
2280     2098896898U, // <3,0,7,2>: Cost 2 ins <3,0,u,2>, lane 2
2281     3177881601U, // <3,0,7,3>: Cost 3 ins <3,u,7,3>, lane 1
2283     3177897985U, // <3,0,7,5>: Cost 3 ins <3,u,7,5>, lane 1
2284     3202457600U, // <3,0,7,6>: Cost 3 ins <u,0,7,6>, lane 0
2286     2098896898U, // <3,0,7,u>: Cost 2 ins <3,0,u,2>, lane 2
2290     2098429955U, // <3,0,u,3>: Cost 2 ins <3,0,1,u>, lane 3
2293     2098429955U, // <3,0,u,6>: Cost 2 ins <3,0,1,u>, lane 3
2294     2098429955U, // <3,0,u,7>: Cost 2 ins <3,0,1,u>, lane 3
2297     2128822272U, // <3,1,0,1>: Cost 2 ins <u,1,0,1>, lane 0
2303     3177398273U, // <3,1,0,7>: Cost 3 ins <3,u,0,7>, lane 1
2307     2103689217U, // <3,1,1,2>: Cost 2 ins <3,u,1,2>, lane 1
2311     3177463809U, // <3,1,1,6>: Cost 3 ins <3,u,1,6>, lane 1
2314     2128961536U, // <3,1,2,0>: Cost 2 ins <u,1,2,0>, lane 0
2315     2128969728U, // <3,1,2,1>: Cost 2 ins <u,1,2,1>, lane 0
2316     2128977920U, // <3,1,2,2>: Cost 2 ins <u,1,2,2>, lane 0
2317     1055244288U, // <3,1,2,3>: Cost 1 ins LHS, lane 0
2318     2128994304U, // <3,1,2,4>: Cost 2 ins <u,1,2,4>, lane 0
2319     2129002496U, // <3,1,2,5>: Cost 2 ins <u,1,2,5>, lane 0
2320     2129010688U, // <3,1,2,6>: Cost 2 ins <u,1,2,6>, lane 0
2321     2129018880U, // <3,1,2,7>: Cost 2 ins <u,1,2,7>, lane 0
2322     1055244288U, // <3,1,2,u>: Cost 1 ins LHS, lane 0
2335     2129133568U, // <3,1,4,3>: Cost 2 ins <u,1,4,3>, lane 0
2337     2129149952U, // <3,1,4,5>: Cost 2 ins <u,1,4,5>, lane 0
2339     3177693185U, // <3,1,4,7>: Cost 3 ins <3,u,4,7>, lane 1
2347     2104016897U, // <3,1,5,6>: Cost 2 ins <3,u,5,6>, lane 1
2353     2129281024U, // <3,1,6,3>: Cost 2 ins <u,1,6,3>, lane 0
2357     2129313792U, // <3,1,6,7>: Cost 2 ins <u,1,6,7>, lane 0
2358     2129281024U, // <3,1,6,u>: Cost 2 ins <u,1,6,3>, lane 0
2359     3177857025U, // <3,1,7,0>: Cost 3 ins <3,u,7,0>, lane 1
2363     3177889793U, // <3,1,7,4>: Cost 3 ins <3,u,7,4>, lane 1
2371     1055244288U, // <3,1,u,3>: Cost 1 ins LHS, lane 0
2376     1055244288U, // <3,1,u,u>: Cost 1 ins LHS, lane 0
2379     2129494016U, // <3,2,0,2>: Cost 2 ins <u,2,0,2>, lane 0
2384     3177398273U, // <3,2,0,7>: Cost 3 ins <3,u,0,7>, lane 1
2388     2103689217U, // <3,2,1,2>: Cost 2 ins <3,u,1,2>, lane 1
2393     3177472001U, // <3,2,1,7>: Cost 3 ins <3,u,1,7>, lane 1
2402     3177545729U, // <3,2,2,7>: Cost 3 ins <3,u,2,7>, lane 1
2419     2129821696U, // <3,2,4,6>: Cost 2 ins <u,2,4,6>, lane 0
2420     3177693185U, // <3,2,4,7>: Cost 3 ins <3,u,4,7>, lane 1
2428     2104016897U, // <3,2,5,6>: Cost 2 ins <3,u,5,6>, lane 1
2438     2129977344U, // <3,2,6,7>: Cost 2 ins <u,2,6,7>, lane 0
2441     3203743744U, // <3,2,7,1>: Cost 3 ins <u,2,7,1>, lane 0
2451     2129494016U, // <3,2,u,2>: Cost 2 ins <u,2,0,2>, lane 0
2455     2129821696U, // <3,2,u,6>: Cost 2 ins <u,2,4,6>, lane 0
2456     2129977344U, // <3,2,u,7>: Cost 2 ins <u,2,6,7>, lane 0
2461     2100895746U, // <3,3,0,3>: Cost 2 ins <3,3,u,3>, lane 2
2464     3177390081U, // <3,3,0,6>: Cost 3 ins <3,u,0,6>, lane 1
2469     2103689217U, // <3,3,1,2>: Cost 2 ins <3,u,1,2>, lane 1
2473     3177463809U, // <3,3,1,6>: Cost 3 ins <3,u,1,6>, lane 1
2479     2130313216U, // <3,3,2,3>: Cost 2 ins <u,3,2,3>, lane 0
2486     2100568067U, // <3,3,3,1>: Cost 2 ins <3,3,3,u>, lane 3
2487     2100568067U, // <3,3,3,2>: Cost 2 ins <3,3,3,u>, lane 3
2490     2100568067U, // <3,3,3,5>: Cost 2 ins <3,3,3,u>, lane 3
2491     2100568067U, // <3,3,3,6>: Cost 2 ins <3,3,3,u>, lane 3
2492     2100568067U, // <3,3,3,7>: Cost 2 ins <3,3,3,u>, lane 3
2497     2100895746U, // <3,3,4,3>: Cost 2 ins <3,3,u,3>, lane 2
2506     2100895746U, // <3,3,5,3>: Cost 2 ins <3,3,u,3>, lane 2
2509     2104016897U, // <3,3,5,6>: Cost 2 ins <3,u,5,6>, lane 1
2513     3204333568U, // <3,3,6,1>: Cost 3 ins <u,3,6,1>, lane 0
2515     2100895746U, // <3,3,6,3>: Cost 2 ins <3,3,u,3>, lane 2
2517     3204366336U, // <3,3,6,5>: Cost 3 ins <u,3,6,5>, lane 0
2519     2130640896U, // <3,3,6,7>: Cost 2 ins <u,3,6,7>, lane 0
2520     2100895746U, // <3,3,6,u>: Cost 2 ins <3,3,u,3>, lane 2
2524     2100895746U, // <3,3,7,3>: Cost 2 ins <3,3,u,3>, lane 2
2527     3174662146U, // <3,3,7,6>: Cost 3 ins <3,3,u,6>, lane 2
2542     3177365505U, // <3,4,0,3>: Cost 3 ins <3,u,0,3>, lane 1
2546     3177398273U, // <3,4,0,7>: Cost 3 ins <3,u,0,7>, lane 1
2553     2130919424U, // <3,4,1,5>: Cost 2 ins <u,4,1,5>, lane 0
2555     3177472001U, // <3,4,1,7>: Cost 3 ins <3,u,1,7>, lane 1
2557     3204694016U, // <3,4,2,0>: Cost 3 ins <u,4,2,0>, lane 0
2560     2101600261U, // <3,4,2,3>: Cost 2 ins <3,4,u,u>, lane 5
2563     2131001344U, // <3,4,2,6>: Cost 2 ins <u,4,2,6>, lane 0
2564     3177545729U, // <3,4,2,7>: Cost 3 ins <3,u,2,7>, lane 1
2565     2101600261U, // <3,4,2,u>: Cost 2 ins <3,4,u,u>, lane 5
2569     2103844865U, // <3,4,3,3>: Cost 2 ins <3,u,3,3>, lane 1
2573     3177619457U, // <3,4,3,7>: Cost 3 ins <3,u,3,7>, lane 1
2582     3177693185U, // <3,4,4,7>: Cost 3 ins <3,u,4,7>, lane 1
2585     2101379075U, // <3,4,5,1>: Cost 2 ins <3,4,5,u>, lane 3
2587     2101379075U, // <3,4,5,3>: Cost 2 ins <3,4,5,u>, lane 3
2589     2131214336U, // <3,4,5,5>: Cost 2 ins <u,4,5,5>, lane 0
2591     2101379075U, // <3,4,5,7>: Cost 2 ins <3,4,5,u>, lane 3
2599     2131296256U, // <3,4,6,6>: Cost 2 ins <u,4,6,6>, lane 0
2600     2101600261U, // <3,4,6,7>: Cost 2 ins <3,4,u,u>, lane 5
2605     3177881601U, // <3,4,7,3>: Cost 3 ins <3,u,7,3>, lane 1
2608     2131369984U, // <3,4,7,6>: Cost 2 ins <u,4,7,6>, lane 0
2610     2131369984U, // <3,4,7,u>: Cost 2 ins <u,4,7,6>, lane 0
2614     2101600261U, // <3,4,u,3>: Cost 2 ins <3,4,u,u>, lane 5
2618     2101379075U, // <3,4,u,7>: Cost 2 ins <3,4,5,u>, lane 3
2621     2131476480U, // <3,5,0,1>: Cost 2 ins <u,5,0,1>, lane 0
2627     2131525632U, // <3,5,0,7>: Cost 2 ins <u,5,0,7>, lane 0
2631     2103689217U, // <3,5,1,2>: Cost 2 ins <3,u,1,2>, lane 1
2635     3205332992U, // <3,5,1,6>: Cost 3 ins <u,5,1,6>, lane 0
2641     2131640320U, // <3,5,2,3>: Cost 2 ins <u,5,2,3>, lane 0
2645     2131673088U, // <3,5,2,7>: Cost 2 ins <u,5,2,7>, lane 0
2646     2131640320U, // <3,5,2,u>: Cost 2 ins <u,5,2,3>, lane 0
2649     3177578497U, // <3,5,3,2>: Cost 3 ins <3,u,3,2>, lane 1
2650     2103844865U, // <3,5,3,3>: Cost 2 ins <3,u,3,3>, lane 1
2659     3177660417U, // <3,5,4,3>: Cost 3 ins <3,u,4,3>, lane 1
2661     2131804160U, // <3,5,4,5>: Cost 2 ins <u,5,4,5>, lane 0
2671     2104016897U, // <3,5,5,6>: Cost 2 ins <3,u,5,6>, lane 1
2674     2131910656U, // <3,5,6,0>: Cost 2 ins <u,5,6,0>, lane 0
2675     2131918848U, // <3,5,6,1>: Cost 2 ins <u,5,6,1>, lane 0
2676     2131927040U, // <3,5,6,2>: Cost 2 ins <u,5,6,2>, lane 0
2677     2131935232U, // <3,5,6,3>: Cost 2 ins <u,5,6,3>, lane 0
2678     2131943424U, // <3,5,6,4>: Cost 2 ins <u,5,6,4>, lane 0
2679     2131951616U, // <3,5,6,5>: Cost 2 ins <u,5,6,5>, lane 0
2680     2131959808U, // <3,5,6,6>: Cost 2 ins <u,5,6,6>, lane 0
2681     1058226176U, // <3,5,6,7>: Cost 1 ins RHS, lane 0
2682     1058226176U, // <3,5,6,u>: Cost 1 ins RHS, lane 0
2699     1058226176U, // <3,5,u,7>: Cost 1 ins RHS, lane 0
2700     1058226176U, // <3,5,u,u>: Cost 1 ins RHS, lane 0
2703     2132148224U, // <3,6,0,2>: Cost 2 ins <u,6,0,2>, lane 0
2704     3177365505U, // <3,6,0,3>: Cost 3 ins <3,u,0,3>, lane 1
2711     3205955584U, // <3,6,1,1>: Cost 3 ins <u,6,1,1>, lane 0
2712     2103689217U, // <3,6,1,2>: Cost 2 ins <3,u,1,2>, lane 1
2715     3205988352U, // <3,6,1,5>: Cost 3 ins <u,6,1,5>, lane 0
2718     2103689217U, // <3,6,1,u>: Cost 2 ins <3,u,1,2>, lane 1
2722     2132303872U, // <3,6,2,3>: Cost 2 ins <u,6,2,3>, lane 0
2729     3206103040U, // <3,6,3,1>: Cost 3 ins <u,6,3,1>, lane 0
2731     2103844865U, // <3,6,3,3>: Cost 2 ins <3,u,3,3>, lane 1
2733     3206135808U, // <3,6,3,5>: Cost 3 ins <u,6,3,5>, lane 0
2743     2132475904U, // <3,6,4,6>: Cost 2 ins <u,6,4,6>, lane 0
2747     3206250496U, // <3,6,5,1>: Cost 3 ins <u,6,5,1>, lane 0
2751     3206283264U, // <3,6,5,5>: Cost 3 ins <u,6,5,5>, lane 0
2752     2104016897U, // <3,6,5,6>: Cost 2 ins <3,u,5,6>, lane 1
2754     2104016897U, // <3,6,5,u>: Cost 2 ins <3,u,5,6>, lane 1
2758     3177807873U, // <3,6,6,3>: Cost 3 ins <3,u,6,3>, lane 1
2775     2132148224U, // <3,6,u,2>: Cost 2 ins <u,6,0,2>, lane 0
2776     2132303872U, // <3,6,u,3>: Cost 2 ins <u,6,2,3>, lane 0
2779     2132475904U, // <3,6,u,6>: Cost 2 ins <u,6,4,6>, lane 0
2793     2103689217U, // <3,7,1,2>: Cost 2 ins <3,u,1,2>, lane 1
2801     3206692864U, // <3,7,2,1>: Cost 3 ins <u,7,2,1>, lane 0
2803     2132967424U, // <3,7,2,3>: Cost 2 ins <u,7,2,3>, lane 0
2812     2103844865U, // <3,7,3,3>: Cost 2 ins <3,u,3,3>, lane 1
2833     2104016897U, // <3,7,5,6>: Cost 2 ins <3,u,5,6>, lane 1
2843     2133295104U, // <3,7,6,7>: Cost 2 ins <u,7,6,7>, lane 0
2844     2133295104U, // <3,7,6,u>: Cost 2 ins <u,7,6,7>, lane 0
2856     2103689217U, // <3,7,u,2>: Cost 2 ins <3,u,1,2>, lane 1
2882     2128969728U, // <3,u,2,1>: Cost 2 ins <u,1,2,1>, lane 0
2884     1055244288U, // <3,u,2,3>: Cost 1 ins LHS, lane 0
2886     2129002496U, // <3,u,2,5>: Cost 2 ins <u,1,2,5>, lane 0
2889     1055244288U, // <3,u,2,u>: Cost 1 ins LHS, lane 0
2909     2128527360U, // <3,u,5,1>: Cost 2 ins <u,0,5,1>, lane 0
2918     2131918848U, // <3,u,6,1>: Cost 2 ins <u,5,6,1>, lane 0
2919     2128609280U, // <3,u,6,2>: Cost 2 ins <u,0,6,2>, lane 0
2922     2131951616U, // <3,u,6,5>: Cost 2 ins <u,5,6,5>, lane 0
2923     2131296256U, // <3,u,6,6>: Cost 2 ins <u,4,6,6>, lane 0
2924     1058226176U, // <3,u,6,7>: Cost 1 ins RHS, lane 0
2925     1058226176U, // <3,u,6,u>: Cost 1 ins RHS, lane 0
2928     2098896898U, // <3,u,7,2>: Cost 2 ins <3,0,u,2>, lane 2
2932     2131369984U, // <3,u,7,6>: Cost 2 ins <u,4,7,6>, lane 0
2938     1055244288U, // <3,u,u,3>: Cost 1 ins LHS, lane 0
2942     1058226176U, // <3,u,u,7>: Cost 1 ins RHS, lane 0
2944     2128150528U, // <4,0,0,0>: Cost 2 ins <u,0,0,0>, lane 0
2945     2104860674U, // <4,0,0,1>: Cost 2 ins <4,0,u,1>, lane 2
2947     3178070019U, // <4,0,0,3>: Cost 3 ins <4,0,0,u>, lane 3
2949     3178070019U, // <4,0,0,5>: Cost 3 ins <4,0,0,u>, lane 3
2950     3183362049U, // <4,0,0,6>: Cost 3 ins <4,u,0,6>, lane 1
2951     2109628417U, // <4,0,0,7>: Cost 2 ins <4,u,0,7>, lane 1
2954     2128232448U, // <4,0,1,1>: Cost 2 ins <u,0,1,1>, lane 0
2959     3202015232U, // <4,0,1,6>: Cost 3 ins <u,0,1,6>, lane 0
2960     2109702145U, // <4,0,1,7>: Cost 2 ins <4,u,1,7>, lane 1
2963     2104860674U, // <4,0,2,1>: Cost 2 ins <4,0,u,1>, lane 2
2964     2128314368U, // <4,0,2,2>: Cost 2 ins <u,0,2,2>, lane 0
2965     2104918021U, // <4,0,2,3>: Cost 2 ins <4,0,u,u>, lane 5
2969     2109775873U, // <4,0,2,7>: Cost 2 ins <4,u,2,7>, lane 1
2970     2104860674U, // <4,0,2,u>: Cost 2 ins <4,0,u,1>, lane 2
2971     3202113536U, // <4,0,3,0>: Cost 3 ins <u,0,3,0>, lane 0
2972     2104860674U, // <4,0,3,1>: Cost 2 ins <4,0,u,1>, lane 2
2973     2128388096U, // <4,0,3,2>: Cost 2 ins <u,0,3,2>, lane 0
2975     3178627074U, // <4,0,3,4>: Cost 3 ins <4,0,u,4>, lane 2
2977     3178643458U, // <4,0,3,6>: Cost 3 ins <4,0,u,6>, lane 2
2978     2109849601U, // <4,0,3,7>: Cost 2 ins <4,u,3,7>, lane 1
2979     2104860674U, // <4,0,3,u>: Cost 2 ins <4,0,u,1>, lane 2
2981     2104860674U, // <4,0,4,1>: Cost 2 ins <4,0,u,1>, lane 2
2983     3178364931U, // <4,0,4,3>: Cost 3 ins <4,0,4,u>, lane 3
2984     2109898753U, // <4,0,4,4>: Cost 2 ins <4,u,4,4>, lane 1
2985     2104918021U, // <4,0,4,5>: Cost 2 ins <4,0,u,u>, lane 5
2987     2109923329U, // <4,0,4,7>: Cost 2 ins <4,u,4,7>, lane 1
2992     2104696835U, // <4,0,5,3>: Cost 2 ins <4,0,5,u>, lane 3
2994     2109980673U, // <4,0,5,5>: Cost 2 ins <4,u,5,5>, lane 1
2995     2104696835U, // <4,0,5,6>: Cost 2 ins <4,0,5,u>, lane 3
2996     2104696835U, // <4,0,5,7>: Cost 2 ins <4,0,5,u>, lane 3
3001     2104770563U, // <4,0,6,3>: Cost 2 ins <4,0,6,u>, lane 3
3003     2104770563U, // <4,0,6,5>: Cost 2 ins <4,0,6,u>, lane 3
3004     2110062593U, // <4,0,6,6>: Cost 2 ins <4,u,6,6>, lane 1
3005     1036328961U, // <4,0,6,7>: Cost 1 ins RHS, lane 1
3007     3202408448U, // <4,0,7,0>: Cost 3 ins <u,0,7,0>, lane 0
3008     2104860674U, // <4,0,7,1>: Cost 2 ins <4,0,u,1>, lane 2
3009     2104868866U, // <4,0,7,2>: Cost 2 ins <4,0,u,2>, lane 2
3011     3178627074U, // <4,0,7,4>: Cost 3 ins <4,0,u,4>, lane 2
3014     2110144513U, // <4,0,7,7>: Cost 2 ins <4,u,7,7>, lane 1
3015     2104860674U, // <4,0,7,u>: Cost 2 ins <4,0,u,1>, lane 2
3019     2104918021U, // <4,0,u,3>: Cost 2 ins <4,0,u,u>, lane 5
3021     2104918021U, // <4,0,u,5>: Cost 2 ins <4,0,u,u>, lane 5
3023     1036328961U, // <4,0,u,7>: Cost 1 ins RHS, lane 1
3026     2128822272U, // <4,1,0,1>: Cost 2 ins <u,1,0,1>, lane 0
3027     2109587457U, // <4,1,0,2>: Cost 2 ins <4,u,0,2>, lane 1
3028     2128838656U, // <4,1,0,3>: Cost 2 ins <u,1,0,3>, lane 0
3031     3183362049U, // <4,1,0,6>: Cost 3 ins <4,u,0,6>, lane 1
3032     2109628417U, // <4,1,0,7>: Cost 2 ins <4,u,0,7>, lane 1
3033     2109587457U, // <4,1,0,u>: Cost 2 ins <4,u,0,2>, lane 1
3034     3202629632U, // <4,1,1,0>: Cost 3 ins <u,1,1,0>, lane 0
3035     2128896000U, // <4,1,1,1>: Cost 2 ins <u,1,1,1>, lane 0
3037     2128912384U, // <4,1,1,3>: Cost 2 ins <u,1,1,3>, lane 0
3038     3202662400U, // <4,1,1,4>: Cost 3 ins <u,1,1,4>, lane 0
3041     2109702145U, // <4,1,1,7>: Cost 2 ins <4,u,1,7>, lane 1
3042     2128896000U, // <4,1,1,u>: Cost 2 ins <u,1,1,1>, lane 0
3043     2128961536U, // <4,1,2,0>: Cost 2 ins <u,1,2,0>, lane 0
3044     2128969728U, // <4,1,2,1>: Cost 2 ins <u,1,2,1>, lane 0
3045     2128977920U, // <4,1,2,2>: Cost 2 ins <u,1,2,2>, lane 0
3046     1055244288U, // <4,1,2,3>: Cost 1 ins LHS, lane 0
3047     2128994304U, // <4,1,2,4>: Cost 2 ins <u,1,2,4>, lane 0
3048     2129002496U, // <4,1,2,5>: Cost 2 ins <u,1,2,5>, lane 0
3049     2129010688U, // <4,1,2,6>: Cost 2 ins <u,1,2,6>, lane 0
3050     2129018880U, // <4,1,2,7>: Cost 2 ins <u,1,2,7>, lane 0
3051     1055244288U, // <4,1,2,u>: Cost 1 ins LHS, lane 0
3055     2129059840U, // <4,1,3,3>: Cost 2 ins <u,1,3,3>, lane 0
3059     2109849601U, // <4,1,3,7>: Cost 2 ins <4,u,3,7>, lane 1
3060     2129059840U, // <4,1,3,u>: Cost 2 ins <u,1,3,3>, lane 0
3065     2109898753U, // <4,1,4,4>: Cost 2 ins <4,u,4,4>, lane 1
3066     2129149952U, // <4,1,4,5>: Cost 2 ins <u,1,4,5>, lane 0
3067     2109915137U, // <4,1,4,6>: Cost 2 ins <4,u,4,6>, lane 1
3068     2109923329U, // <4,1,4,7>: Cost 2 ins <4,u,4,7>, lane 1
3069     2109915137U, // <4,1,4,u>: Cost 2 ins <4,u,4,6>, lane 1
3077     2109997057U, // <4,1,5,7>: Cost 2 ins <4,u,5,7>, lane 1
3079     2110013441U, // <4,1,6,0>: Cost 2 ins <4,u,6,0>, lane 1
3081     2110029825U, // <4,1,6,2>: Cost 2 ins <4,u,6,2>, lane 1
3083     2110046209U, // <4,1,6,4>: Cost 2 ins <4,u,6,4>, lane 1
3085     2110062593U, // <4,1,6,6>: Cost 2 ins <4,u,6,6>, lane 1
3086     1036328961U, // <4,1,6,7>: Cost 1 ins RHS, lane 1
3087     1036328961U, // <4,1,6,u>: Cost 1 ins RHS, lane 1
3089     3203080192U, // <4,1,7,1>: Cost 3 ins <u,1,7,1>, lane 0
3090     3203088384U, // <4,1,7,2>: Cost 3 ins <u,1,7,2>, lane 0
3091     2129354752U, // <4,1,7,3>: Cost 2 ins <u,1,7,3>, lane 0
3093     3203112960U, // <4,1,7,5>: Cost 3 ins <u,1,7,5>, lane 0
3095     2110144513U, // <4,1,7,7>: Cost 2 ins <4,u,7,7>, lane 1
3096     2129354752U, // <4,1,7,u>: Cost 2 ins <u,1,7,3>, lane 0
3100     1055244288U, // <4,1,u,3>: Cost 1 ins LHS, lane 0
3103     2109915137U, // <4,1,u,6>: Cost 2 ins <4,u,4,6>, lane 1
3104     1036328961U, // <4,1,u,7>: Cost 1 ins RHS, lane 1
3105     1055244288U, // <4,1,u,u>: Cost 1 ins LHS, lane 0
3107     2109579265U, // <4,2,0,1>: Cost 2 ins <4,u,0,1>, lane 1
3108     2129494016U, // <4,2,0,2>: Cost 2 ins <u,2,0,2>, lane 0
3113     2109628417U, // <4,2,0,7>: Cost 2 ins <4,u,0,7>, lane 1
3114     2129494016U, // <4,2,0,u>: Cost 2 ins <u,2,0,2>, lane 0
3115     3203293184U, // <4,2,1,0>: Cost 3 ins <u,2,1,0>, lane 0
3116     3203301376U, // <4,2,1,1>: Cost 3 ins <u,2,1,1>, lane 0
3117     3203309568U, // <4,2,1,2>: Cost 3 ins <u,2,1,2>, lane 0
3120     3203334144U, // <4,2,1,5>: Cost 3 ins <u,2,1,5>, lane 0
3121     3203342336U, // <4,2,1,6>: Cost 3 ins <u,2,1,6>, lane 0
3122     2109702145U, // <4,2,1,7>: Cost 2 ins <4,u,1,7>, lane 1
3123     2109702145U, // <4,2,1,u>: Cost 2 ins <4,u,1,7>, lane 1
3126     2129641472U, // <4,2,2,2>: Cost 2 ins <u,2,2,2>, lane 0
3127     2129649664U, // <4,2,2,3>: Cost 2 ins <u,2,2,3>, lane 0
3131     2109775873U, // <4,2,2,7>: Cost 2 ins <4,u,2,7>, lane 1
3132     2129641472U, // <4,2,2,u>: Cost 2 ins <u,2,2,2>, lane 0
3133     2129698816U, // <4,2,3,0>: Cost 2 ins <u,2,3,0>, lane 0
3135     3203457024U, // <4,2,3,2>: Cost 3 ins <u,2,3,2>, lane 0
3136     2129723392U, // <4,2,3,3>: Cost 2 ins <u,2,3,3>, lane 0
3137     2129731584U, // <4,2,3,4>: Cost 2 ins <u,2,3,4>, lane 0
3139     3203489792U, // <4,2,3,6>: Cost 3 ins <u,2,3,6>, lane 0
3140     2109849601U, // <4,2,3,7>: Cost 2 ins <4,u,3,7>, lane 1
3141     2129698816U, // <4,2,3,u>: Cost 2 ins <u,2,3,0>, lane 0
3146     2109898753U, // <4,2,4,4>: Cost 2 ins <4,u,4,4>, lane 1
3147     2109906945U, // <4,2,4,5>: Cost 2 ins <4,u,4,5>, lane 1
3148     2129821696U, // <4,2,4,6>: Cost 2 ins <u,2,4,6>, lane 0
3149     2109923329U, // <4,2,4,7>: Cost 2 ins <4,u,4,7>, lane 1
3150     2129821696U, // <4,2,4,u>: Cost 2 ins <u,2,4,6>, lane 0
3152     2109947905U, // <4,2,5,1>: Cost 2 ins <4,u,5,1>, lane 1
3156     2109980673U, // <4,2,5,5>: Cost 2 ins <4,u,5,5>, lane 1
3158     2109997057U, // <4,2,5,7>: Cost 2 ins <4,u,5,7>, lane 1
3161     2110021633U, // <4,2,6,1>: Cost 2 ins <4,u,6,1>, lane 1
3165     2110054401U, // <4,2,6,5>: Cost 2 ins <4,u,6,5>, lane 1
3166     2110062593U, // <4,2,6,6>: Cost 2 ins <4,u,6,6>, lane 1
3167     1036328961U, // <4,2,6,7>: Cost 1 ins RHS, lane 1
3168     1036328961U, // <4,2,6,u>: Cost 1 ins RHS, lane 1
3170     3203743744U, // <4,2,7,1>: Cost 3 ins <u,2,7,1>, lane 0
3171     3203751936U, // <4,2,7,2>: Cost 3 ins <u,2,7,2>, lane 0
3172     2130018304U, // <4,2,7,3>: Cost 2 ins <u,2,7,3>, lane 0
3175     3203784704U, // <4,2,7,6>: Cost 3 ins <u,2,7,6>, lane 0
3176     2110144513U, // <4,2,7,7>: Cost 2 ins <4,u,7,7>, lane 1
3177     2130018304U, // <4,2,7,u>: Cost 2 ins <u,2,7,3>, lane 0
3179     2109947905U, // <4,2,u,1>: Cost 2 ins <4,u,5,1>, lane 1
3183     2109980673U, // <4,2,u,5>: Cost 2 ins <4,u,5,5>, lane 1
3185     1036328961U, // <4,2,u,7>: Cost 1 ins RHS, lane 1
3186     1036328961U, // <4,2,u,u>: Cost 1 ins RHS, lane 1
3187     3203883008U, // <4,3,0,0>: Cost 3 ins <u,3,0,0>, lane 0
3188     2130149376U, // <4,3,0,1>: Cost 2 ins <u,3,0,1>, lane 0
3189     2109587457U, // <4,3,0,2>: Cost 2 ins <4,u,0,2>, lane 1
3193     3183362049U, // <4,3,0,6>: Cost 3 ins <4,u,0,6>, lane 1
3194     2109628417U, // <4,3,0,7>: Cost 2 ins <4,u,0,7>, lane 1
3195     2130149376U, // <4,3,0,u>: Cost 2 ins <u,3,0,1>, lane 0
3197     3203964928U, // <4,3,1,1>: Cost 3 ins <u,3,1,1>, lane 0
3199     2130239488U, // <4,3,1,3>: Cost 2 ins <u,3,1,3>, lane 0
3201     3203997696U, // <4,3,1,5>: Cost 3 ins <u,3,1,5>, lane 0
3203     2109702145U, // <4,3,1,7>: Cost 2 ins <4,u,1,7>, lane 1
3204     2130239488U, // <4,3,1,u>: Cost 2 ins <u,3,1,3>, lane 0
3205     3204030464U, // <4,3,2,0>: Cost 3 ins <u,3,2,0>, lane 0
3207     3204046848U, // <4,3,2,2>: Cost 3 ins <u,3,2,2>, lane 0
3208     2130313216U, // <4,3,2,3>: Cost 2 ins <u,3,2,3>, lane 0
3211     3204079616U, // <4,3,2,6>: Cost 3 ins <u,3,2,6>, lane 0
3212     2109775873U, // <4,3,2,7>: Cost 2 ins <4,u,2,7>, lane 1
3213     2130313216U, // <4,3,2,u>: Cost 2 ins <u,3,2,3>, lane 0
3214     3204104192U, // <4,3,3,0>: Cost 3 ins <u,3,3,0>, lane 0
3217     2130386944U, // <4,3,3,3>: Cost 2 ins <u,3,3,3>, lane 0
3221     2109849601U, // <4,3,3,7>: Cost 2 ins <4,u,3,7>, lane 1
3222     2130386944U, // <4,3,3,u>: Cost 2 ins <u,3,3,3>, lane 0
3225     3183624193U, // <4,3,4,2>: Cost 3 ins <4,u,4,2>, lane 1
3227     2109898753U, // <4,3,4,4>: Cost 2 ins <4,u,4,4>, lane 1
3228     2130477056U, // <4,3,4,5>: Cost 2 ins <u,3,4,5>, lane 0
3229     2109915137U, // <4,3,4,6>: Cost 2 ins <4,u,4,6>, lane 1
3230     2109923329U, // <4,3,4,7>: Cost 2 ins <4,u,4,7>, lane 1
3231     2130477056U, // <4,3,4,u>: Cost 2 ins <u,3,4,5>, lane 0
3233     2109947905U, // <4,3,5,1>: Cost 2 ins <4,u,5,1>, lane 1
3237     2109980673U, // <4,3,5,5>: Cost 2 ins <4,u,5,5>, lane 1
3239     2130567168U, // <4,3,5,7>: Cost 2 ins <u,3,5,7>, lane 0
3241     2110013441U, // <4,3,6,0>: Cost 2 ins <4,u,6,0>, lane 1
3243     2110029825U, // <4,3,6,2>: Cost 2 ins <4,u,6,2>, lane 1
3245     2110046209U, // <4,3,6,4>: Cost 2 ins <4,u,6,4>, lane 1
3247     2110062593U, // <4,3,6,6>: Cost 2 ins <4,u,6,6>, lane 1
3248     1036328961U, // <4,3,6,7>: Cost 1 ins RHS, lane 1
3249     1036328961U, // <4,3,6,u>: Cost 1 ins RHS, lane 1
3250     3204399104U, // <4,3,7,0>: Cost 3 ins <u,3,7,0>, lane 0
3251     3204407296U, // <4,3,7,1>: Cost 3 ins <u,3,7,1>, lane 0
3253     3204423680U, // <4,3,7,3>: Cost 3 ins <u,3,7,3>, lane 0
3255     3204440064U, // <4,3,7,5>: Cost 3 ins <u,3,7,5>, lane 0
3257     2110144513U, // <4,3,7,7>: Cost 2 ins <4,u,7,7>, lane 1
3258     2110144513U, // <4,3,7,u>: Cost 2 ins <4,u,7,7>, lane 1
3261     2109587457U, // <4,3,u,2>: Cost 2 ins <4,u,0,2>, lane 1
3265     2109915137U, // <4,3,u,6>: Cost 2 ins <4,u,4,6>, lane 1
3266     1036328961U, // <4,3,u,7>: Cost 1 ins RHS, lane 1
3267     1036328961U, // <4,3,u,u>: Cost 1 ins RHS, lane 1
3269     2107572229U, // <4,4,0,1>: Cost 2 ins <4,4,u,u>, lane 5
3271     3180724227U, // <4,4,0,3>: Cost 3 ins <4,4,0,u>, lane 3
3272     2107539458U, // <4,4,0,4>: Cost 2 ins <4,4,u,4>, lane 2
3273     2107547650U, // <4,4,0,5>: Cost 2 ins <4,4,u,5>, lane 2
3275     2109628417U, // <4,4,0,7>: Cost 2 ins <4,u,0,7>, lane 1
3277     3204620288U, // <4,4,1,0>: Cost 3 ins <u,4,1,0>, lane 0
3281     2107539458U, // <4,4,1,4>: Cost 2 ins <4,4,u,4>, lane 2
3282     2130919424U, // <4,4,1,5>: Cost 2 ins <u,4,1,5>, lane 0
3283     2107555842U, // <4,4,1,6>: Cost 2 ins <4,4,u,6>, lane 2
3284     2109702145U, // <4,4,1,7>: Cost 2 ins <4,u,1,7>, lane 1
3285     2130919424U, // <4,4,1,u>: Cost 2 ins <u,4,1,5>, lane 0
3289     2107572229U, // <4,4,2,3>: Cost 2 ins <4,4,u,u>, lane 5
3290     2107539458U, // <4,4,2,4>: Cost 2 ins <4,4,u,4>, lane 2
3291     2107547650U, // <4,4,2,5>: Cost 2 ins <4,4,u,5>, lane 2
3292     2131001344U, // <4,4,2,6>: Cost 2 ins <u,4,2,6>, lane 0
3293     2109775873U, // <4,4,2,7>: Cost 2 ins <4,u,2,7>, lane 1
3294     2107572229U, // <4,4,2,u>: Cost 2 ins <4,4,u,u>, lane 5
3295     3181248514U, // <4,4,3,0>: Cost 3 ins <4,4,u,0>, lane 2
3297     3181264898U, // <4,4,3,2>: Cost 3 ins <4,4,u,2>, lane 2
3299     2107539458U, // <4,4,3,4>: Cost 2 ins <4,4,u,4>, lane 2
3300     2107547650U, // <4,4,3,5>: Cost 2 ins <4,4,u,5>, lane 2
3301     2107555842U, // <4,4,3,6>: Cost 2 ins <4,4,u,6>, lane 2
3302     2109849601U, // <4,4,3,7>: Cost 2 ins <4,u,3,7>, lane 1
3303     2107547650U, // <4,4,3,u>: Cost 2 ins <4,4,u,5>, lane 2
3305     2107277315U, // <4,4,4,1>: Cost 2 ins <4,4,4,u>, lane 3
3306     2107277315U, // <4,4,4,2>: Cost 2 ins <4,4,4,u>, lane 3
3307     2107277315U, // <4,4,4,3>: Cost 2 ins <4,4,4,u>, lane 3
3309     2107547650U, // <4,4,4,5>: Cost 2 ins <4,4,u,5>, lane 2
3311     2109923329U, // <4,4,4,7>: Cost 2 ins <4,u,4,7>, lane 1
3314     2109947905U, // <4,4,5,1>: Cost 2 ins <4,u,5,1>, lane 1
3315     2107351043U, // <4,4,5,2>: Cost 2 ins <4,4,5,u>, lane 3
3316     2107351043U, // <4,4,5,3>: Cost 2 ins <4,4,5,u>, lane 3
3320     2107351043U, // <4,4,5,7>: Cost 2 ins <4,4,5,u>, lane 3
3323     2107424771U, // <4,4,6,1>: Cost 2 ins <4,4,6,u>, lane 3
3324     2110029825U, // <4,4,6,2>: Cost 2 ins <4,u,6,2>, lane 1
3325     2107424771U, // <4,4,6,3>: Cost 2 ins <4,4,6,u>, lane 3
3329     1036328961U, // <4,4,6,7>: Cost 1 ins RHS, lane 1
3331     3181248514U, // <4,4,7,0>: Cost 3 ins <4,4,u,0>, lane 2
3333     3181264898U, // <4,4,7,2>: Cost 3 ins <4,4,u,2>, lane 2
3335     2107539458U, // <4,4,7,4>: Cost 2 ins <4,4,u,4>, lane 2
3336     2107547650U, // <4,4,7,5>: Cost 2 ins <4,4,u,5>, lane 2
3337     2131369984U, // <4,4,7,6>: Cost 2 ins <u,4,7,6>, lane 0
3339     2107547650U, // <4,4,7,u>: Cost 2 ins <4,4,u,5>, lane 2
3341     2107572229U, // <4,4,u,1>: Cost 2 ins <4,4,u,u>, lane 5
3343     2107572229U, // <4,4,u,3>: Cost 2 ins <4,4,u,u>, lane 5
3347     1036328961U, // <4,4,u,7>: Cost 1 ins RHS, lane 1
3349     2108170242U, // <4,5,0,0>: Cost 2 ins <4,5,u,0>, lane 2
3350     1034493957U, // <4,5,0,1>: Cost 1 ins RHS, lane 5
3352     2108194818U, // <4,5,0,3>: Cost 2 ins <4,5,u,3>, lane 2
3353     2108203010U, // <4,5,0,4>: Cost 2 ins <4,5,u,4>, lane 2
3354     2108211202U, // <4,5,0,5>: Cost 2 ins <4,5,u,5>, lane 2
3355     2108219394U, // <4,5,0,6>: Cost 2 ins <4,5,u,6>, lane 2
3356     1034485762U, // <4,5,0,7>: Cost 1 ins RHS, lane 2
3357     1034493957U, // <4,5,0,u>: Cost 1 ins RHS, lane 5
3358     2108170242U, // <4,5,1,0>: Cost 2 ins <4,5,u,0>, lane 2
3359     2133540868U, // <4,5,1,1>: Cost 2 ins <u,u,1,1>, lane 4
3360     2133549060U, // <4,5,1,2>: Cost 2 ins <u,u,1,2>, lane 4
3362     2108203010U, // <4,5,1,4>: Cost 2 ins <4,5,u,4>, lane 2
3363     2133573636U, // <4,5,1,5>: Cost 2 ins <u,u,1,5>, lane 4
3364     2108219394U, // <4,5,1,6>: Cost 2 ins <4,5,u,6>, lane 2
3365     1034485762U, // <4,5,1,7>: Cost 1 ins RHS, lane 2
3366     1034485762U, // <4,5,1,u>: Cost 1 ins RHS, lane 2
3367     2108170242U, // <4,5,2,0>: Cost 2 ins <4,5,u,0>, lane 2
3368     2108178434U, // <4,5,2,1>: Cost 2 ins <4,5,u,1>, lane 2
3369     2133622788U, // <4,5,2,2>: Cost 2 ins <u,u,2,2>, lane 4
3370     1059889156U, // <4,5,2,3>: Cost 1 ins LHS, lane 4
3371     2108203010U, // <4,5,2,4>: Cost 2 ins <4,5,u,4>, lane 2
3372     2108211202U, // <4,5,2,5>: Cost 2 ins <4,5,u,5>, lane 2
3373     2133655556U, // <4,5,2,6>: Cost 2 ins <u,u,2,6>, lane 4
3374     1034485762U, // <4,5,2,7>: Cost 1 ins RHS, lane 2
3375     1059889156U, // <4,5,2,u>: Cost 1 ins LHS, lane 4
3376     2133680132U, // <4,5,3,0>: Cost 2 ins <u,u,3,0>, lane 4
3377     2108178434U, // <4,5,3,1>: Cost 2 ins <4,5,u,1>, lane 2
3378     2133696516U, // <4,5,3,2>: Cost 2 ins <u,u,3,2>, lane 4
3379     2133704708U, // <4,5,3,3>: Cost 2 ins <u,u,3,3>, lane 4
3380     2133712900U, // <4,5,3,4>: Cost 2 ins <u,u,3,4>, lane 4
3381     2108211202U, // <4,5,3,5>: Cost 2 ins <4,5,u,5>, lane 2
3382     2108219394U, // <4,5,3,6>: Cost 2 ins <4,5,u,6>, lane 2
3383     1034485762U, // <4,5,3,7>: Cost 1 ins RHS, lane 2
3384     1034485762U, // <4,5,3,u>: Cost 1 ins RHS, lane 2
3385     2108170242U, // <4,5,4,0>: Cost 2 ins <4,5,u,0>, lane 2
3386     2108178434U, // <4,5,4,1>: Cost 2 ins <4,5,u,1>, lane 2
3387     2108186626U, // <4,5,4,2>: Cost 2 ins <4,5,u,2>, lane 2
3388     2108194818U, // <4,5,4,3>: Cost 2 ins <4,5,u,3>, lane 2
3389     2109898753U, // <4,5,4,4>: Cost 2 ins <4,u,4,4>, lane 1
3390     1034493957U, // <4,5,4,5>: Cost 1 ins RHS, lane 5
3392     1034485762U, // <4,5,4,7>: Cost 1 ins RHS, lane 2
3393     1034493957U, // <4,5,4,u>: Cost 1 ins RHS, lane 5
3396     2108186626U, // <4,5,5,2>: Cost 2 ins <4,5,u,2>, lane 2
3397     2108194818U, // <4,5,5,3>: Cost 2 ins <4,5,u,3>, lane 2
3401     1034485762U, // <4,5,5,7>: Cost 1 ins RHS, lane 2
3402     1034485762U, // <4,5,5,u>: Cost 1 ins RHS, lane 2
3403     1034346499U, // <4,5,6,0>: Cost 1 ins RHS, lane 3
3404     1034346499U, // <4,5,6,1>: Cost 1 ins RHS, lane 3
3405     1034346499U, // <4,5,6,2>: Cost 1 ins RHS, lane 3
3406     1034346499U, // <4,5,6,3>: Cost 1 ins RHS, lane 3
3407     1034346499U, // <4,5,6,4>: Cost 1 ins RHS, lane 3
3408     1034346499U, // <4,5,6,5>: Cost 1 ins RHS, lane 3
3409     1034346499U, // <4,5,6,6>: Cost 1 ins RHS, lane 3
3412     2133975044U, // <4,5,7,0>: Cost 2 ins <u,u,7,0>, lane 4
3413     2108178434U, // <4,5,7,1>: Cost 2 ins <4,5,u,1>, lane 2
3414     2108186626U, // <4,5,7,2>: Cost 2 ins <4,5,u,2>, lane 2
3415     2133999620U, // <4,5,7,3>: Cost 2 ins <u,u,7,3>, lane 4
3416     2134007812U, // <4,5,7,4>: Cost 2 ins <u,u,7,4>, lane 4
3417     2108211202U, // <4,5,7,5>: Cost 2 ins <4,5,u,5>, lane 2
3418     2134024196U, // <4,5,7,6>: Cost 2 ins <u,u,7,6>, lane 4
3419     1034485762U, // <4,5,7,7>: Cost 1 ins RHS, lane 2
3420     1034485762U, // <4,5,7,u>: Cost 1 ins RHS, lane 2
3421     1034346499U, // <4,5,u,0>: Cost 1 ins RHS, lane 3
3422     1034493957U, // <4,5,u,1>: Cost 1 ins RHS, lane 5
3423     1034346499U, // <4,5,u,2>: Cost 1 ins RHS, lane 3
3424     1059889156U, // <4,5,u,3>: Cost 1 ins LHS, lane 4
3425     1034346499U, // <4,5,u,4>: Cost 1 ins RHS, lane 3
3426     1034493957U, // <4,5,u,5>: Cost 1 ins RHS, lane 5
3427     1034346499U, // <4,5,u,6>: Cost 1 ins RHS, lane 3
3433     2108309507U, // <4,6,0,3>: Cost 2 ins <4,6,0,u>, lane 3
3435     2108309507U, // <4,6,0,5>: Cost 2 ins <4,6,0,u>, lane 3
3436     2108882946U, // <4,6,0,6>: Cost 2 ins <4,6,u,6>, lane 2
3437     2108309507U, // <4,6,0,7>: Cost 2 ins <4,6,0,u>, lane 3
3441     2108850178U, // <4,6,1,2>: Cost 2 ins <4,6,u,2>, lane 2
3445     2108882946U, // <4,6,1,6>: Cost 2 ins <4,6,u,6>, lane 2
3446     2109702145U, // <4,6,1,7>: Cost 2 ins <4,u,1,7>, lane 1
3454     2108882946U, // <4,6,2,6>: Cost 2 ins <4,6,u,6>, lane 2
3455     2109775873U, // <4,6,2,7>: Cost 2 ins <4,u,2,7>, lane 1
3459     2108850178U, // <4,6,3,2>: Cost 2 ins <4,6,u,2>, lane 2
3463     2108882946U, // <4,6,3,6>: Cost 2 ins <4,6,u,6>, lane 2
3464     2132410368U, // <4,6,3,7>: Cost 2 ins <u,6,3,7>, lane 0
3467     2108604419U, // <4,6,4,1>: Cost 2 ins <4,6,4,u>, lane 3
3468     2108850178U, // <4,6,4,2>: Cost 2 ins <4,6,u,2>, lane 2
3469     2108604419U, // <4,6,4,3>: Cost 2 ins <4,6,4,u>, lane 3
3473     2108604419U, // <4,6,4,7>: Cost 2 ins <4,6,4,u>, lane 3
3485     2110021633U, // <4,6,6,1>: Cost 2 ins <4,u,6,1>, lane 1
3486     2110029825U, // <4,6,6,2>: Cost 2 ins <4,u,6,2>, lane 1
3487     2110038017U, // <4,6,6,3>: Cost 2 ins <4,u,6,3>, lane 1
3489     2110054401U, // <4,6,6,5>: Cost 2 ins <4,u,6,5>, lane 1
3491     1036328961U, // <4,6,6,7>: Cost 1 ins RHS, lane 1
3492     1036328961U, // <4,6,6,u>: Cost 1 ins RHS, lane 1
3493     2132647936U, // <4,6,7,0>: Cost 2 ins <u,6,7,0>, lane 0
3495     2108850178U, // <4,6,7,2>: Cost 2 ins <4,6,u,2>, lane 2
3497     2132680704U, // <4,6,7,4>: Cost 2 ins <u,6,7,4>, lane 0
3499     2108882946U, // <4,6,7,6>: Cost 2 ins <4,6,u,6>, lane 2
3509     1036328961U, // <4,6,u,7>: Cost 1 ins RHS, lane 1
3511     3206537216U, // <4,7,0,0>: Cost 3 ins <u,7,0,0>, lane 0
3512     2132803584U, // <4,7,0,1>: Cost 2 ins <u,7,0,1>, lane 0
3513     2109587457U, // <4,7,0,2>: Cost 2 ins <4,u,0,2>, lane 1
3515     3206569984U, // <4,7,0,4>: Cost 3 ins <u,7,0,4>, lane 0
3518     2109628417U, // <4,7,0,7>: Cost 2 ins <4,u,0,7>, lane 1
3519     2132803584U, // <4,7,0,u>: Cost 2 ins <u,7,0,1>, lane 0
3521     3206619136U, // <4,7,1,1>: Cost 3 ins <u,7,1,1>, lane 0
3523     2132893696U, // <4,7,1,3>: Cost 2 ins <u,7,1,3>, lane 0
3524     3206643712U, // <4,7,1,4>: Cost 3 ins <u,7,1,4>, lane 0
3525     3206651904U, // <4,7,1,5>: Cost 3 ins <u,7,1,5>, lane 0
3527     2109702145U, // <4,7,1,7>: Cost 2 ins <4,u,1,7>, lane 1
3528     2132893696U, // <4,7,1,u>: Cost 2 ins <u,7,1,3>, lane 0
3529     3206684672U, // <4,7,2,0>: Cost 3 ins <u,7,2,0>, lane 0
3530     3206692864U, // <4,7,2,1>: Cost 3 ins <u,7,2,1>, lane 0
3531     3206701056U, // <4,7,2,2>: Cost 3 ins <u,7,2,2>, lane 0
3532     2132967424U, // <4,7,2,3>: Cost 2 ins <u,7,2,3>, lane 0
3535     3206733824U, // <4,7,2,6>: Cost 3 ins <u,7,2,6>, lane 0
3536     2109775873U, // <4,7,2,7>: Cost 2 ins <4,u,2,7>, lane 1
3537     2132967424U, // <4,7,2,u>: Cost 2 ins <u,7,2,3>, lane 0
3538     3206758400U, // <4,7,3,0>: Cost 3 ins <u,7,3,0>, lane 0
3539     3206766592U, // <4,7,3,1>: Cost 3 ins <u,7,3,1>, lane 0
3541     3206782976U, // <4,7,3,3>: Cost 3 ins <u,7,3,3>, lane 0
3543     3206799360U, // <4,7,3,5>: Cost 3 ins <u,7,3,5>, lane 0
3545     2109849601U, // <4,7,3,7>: Cost 2 ins <4,u,3,7>, lane 1
3546     2109849601U, // <4,7,3,u>: Cost 2 ins <4,u,3,7>, lane 1
3549     3183624193U, // <4,7,4,2>: Cost 3 ins <4,u,4,2>, lane 1
3551     2109898753U, // <4,7,4,4>: Cost 2 ins <4,u,4,4>, lane 1
3552     2133131264U, // <4,7,4,5>: Cost 2 ins <u,7,4,5>, lane 0
3553     2109915137U, // <4,7,4,6>: Cost 2 ins <4,u,4,6>, lane 1
3555     2133131264U, // <4,7,4,u>: Cost 2 ins <u,7,4,5>, lane 0
3557     2109947905U, // <4,7,5,1>: Cost 2 ins <4,u,5,1>, lane 1
3561     2109980673U, // <4,7,5,5>: Cost 2 ins <4,u,5,5>, lane 1
3567     2110029825U, // <4,7,6,2>: Cost 2 ins <4,u,6,2>, lane 1
3568     2110038017U, // <4,7,6,3>: Cost 2 ins <4,u,6,3>, lane 1
3571     2110062593U, // <4,7,6,6>: Cost 2 ins <4,u,6,6>, lane 1
3572     1036328961U, // <4,7,6,7>: Cost 1 ins RHS, lane 1
3573     1036328961U, // <4,7,6,u>: Cost 1 ins RHS, lane 1
3577     3207077888U, // <4,7,7,3>: Cost 3 ins <u,7,7,3>, lane 0
3581     2133368832U, // <4,7,7,7>: Cost 2 ins <u,7,7,7>, lane 0
3582     2133368832U, // <4,7,7,u>: Cost 2 ins <u,7,7,7>, lane 0
3585     2109587457U, // <4,7,u,2>: Cost 2 ins <4,u,0,2>, lane 1
3586     2132893696U, // <4,7,u,3>: Cost 2 ins <u,7,1,3>, lane 0
3589     2109915137U, // <4,7,u,6>: Cost 2 ins <4,u,4,6>, lane 1
3590     1036328961U, // <4,7,u,7>: Cost 1 ins RHS, lane 1
3591     1036328961U, // <4,7,u,u>: Cost 1 ins RHS, lane 1
3593     1034493957U, // <4,u,0,1>: Cost 1 ins RHS, lane 5
3595     2108309507U, // <4,u,0,3>: Cost 2 ins <4,6,0,u>, lane 3
3597     2107547650U, // <4,u,0,5>: Cost 2 ins <4,4,u,5>, lane 2
3599     1034485762U, // <4,u,0,7>: Cost 1 ins RHS, lane 2
3601     2108170242U, // <4,u,1,0>: Cost 2 ins <4,5,u,0>, lane 2
3605     2107539458U, // <4,u,1,4>: Cost 2 ins <4,4,u,4>, lane 2
3607     2107555842U, // <4,u,1,6>: Cost 2 ins <4,4,u,6>, lane 2
3608     1034485762U, // <4,u,1,7>: Cost 1 ins RHS, lane 2
3609     1034485762U, // <4,u,1,u>: Cost 1 ins RHS, lane 2
3611     2104860674U, // <4,u,2,1>: Cost 2 ins <4,0,u,1>, lane 2
3613     1055244288U, // <4,u,2,3>: Cost 1 ins LHS, lane 0
3615     2107547650U, // <4,u,2,5>: Cost 2 ins <4,4,u,5>, lane 2
3616     2131001344U, // <4,u,2,6>: Cost 2 ins <u,4,2,6>, lane 0
3617     1034485762U, // <4,u,2,7>: Cost 1 ins RHS, lane 2
3618     1055244288U, // <4,u,2,u>: Cost 1 ins LHS, lane 0
3619     2129698816U, // <4,u,3,0>: Cost 2 ins <u,2,3,0>, lane 0
3621     2128388096U, // <4,u,3,2>: Cost 2 ins <u,0,3,2>, lane 0
3623     2129731584U, // <4,u,3,4>: Cost 2 ins <u,2,3,4>, lane 0
3625     2107555842U, // <4,u,3,6>: Cost 2 ins <4,4,u,6>, lane 2
3626     1034485762U, // <4,u,3,7>: Cost 1 ins RHS, lane 2
3627     1034485762U, // <4,u,3,u>: Cost 1 ins RHS, lane 2
3629     2104860674U, // <4,u,4,1>: Cost 2 ins <4,0,u,1>, lane 2
3631     2108604419U, // <4,u,4,3>: Cost 2 ins <4,6,4,u>, lane 3
3633     1034493957U, // <4,u,4,5>: Cost 1 ins RHS, lane 5
3635     1034485762U, // <4,u,4,7>: Cost 1 ins RHS, lane 2
3644     1034485762U, // <4,u,5,7>: Cost 1 ins RHS, lane 2
3646     1034346499U, // <4,u,6,0>: Cost 1 ins RHS, lane 3
3647     1034346499U, // <4,u,6,1>: Cost 1 ins RHS, lane 3
3649     1034346499U, // <4,u,6,3>: Cost 1 ins RHS, lane 3
3650     1034346499U, // <4,u,6,4>: Cost 1 ins RHS, lane 3
3651     1034346499U, // <4,u,6,5>: Cost 1 ins RHS, lane 3
3655     2133975044U, // <4,u,7,0>: Cost 2 ins <u,u,7,0>, lane 4
3657     2104868866U, // <4,u,7,2>: Cost 2 ins <4,0,u,2>, lane 2
3658     2129354752U, // <4,u,7,3>: Cost 2 ins <u,1,7,3>, lane 0
3659     2134007812U, // <4,u,7,4>: Cost 2 ins <u,u,7,4>, lane 4
3661     2131369984U, // <4,u,7,6>: Cost 2 ins <u,4,7,6>, lane 0
3662     1034485762U, // <4,u,7,7>: Cost 1 ins RHS, lane 2
3663     1034485762U, // <4,u,7,u>: Cost 1 ins RHS, lane 2
3664     1034346499U, // <4,u,u,0>: Cost 1 ins RHS, lane 3
3667     1055244288U, // <4,u,u,3>: Cost 1 ins LHS, lane 0
3673     2128150528U, // <5,0,0,0>: Cost 2 ins <u,0,0,0>, lane 0
3679     3189334017U, // <5,0,0,6>: Cost 3 ins <5,u,0,6>, lane 1
3681     2128150528U, // <5,0,0,u>: Cost 2 ins <u,0,0,0>, lane 0
3685     2115641345U, // <5,0,1,3>: Cost 2 ins <5,u,1,3>, lane 1
3688     3202015232U, // <5,0,1,6>: Cost 3 ins <u,0,1,6>, lane 0
3689     3189415937U, // <5,0,1,7>: Cost 3 ins <5,u,1,7>, lane 1
3693     2128314368U, // <5,0,2,2>: Cost 2 ins <u,0,2,2>, lane 0
3694     2128322560U, // <5,0,2,3>: Cost 2 ins <u,0,2,3>, lane 0
3697     3189481473U, // <5,0,2,6>: Cost 3 ins <5,u,2,6>, lane 1
3699     2128314368U, // <5,0,2,u>: Cost 2 ins <u,0,2,2>, lane 0
3700     3202113536U, // <5,0,3,0>: Cost 3 ins <u,0,3,0>, lane 0
3702     2128388096U, // <5,0,3,2>: Cost 2 ins <u,0,3,2>, lane 0
3703     3189530625U, // <5,0,3,3>: Cost 3 ins <5,u,3,3>, lane 1
3706     3202162688U, // <5,0,3,6>: Cost 3 ins <u,0,3,6>, lane 0
3708     2128388096U, // <5,0,3,u>: Cost 2 ins <u,0,3,2>, lane 0
3712     3184336899U, // <5,0,4,3>: Cost 3 ins <5,0,4,u>, lane 3
3721     3189678081U, // <5,0,5,3>: Cost 3 ins <5,u,5,3>, lane 1
3723     2115952641U, // <5,0,5,5>: Cost 2 ins <5,u,5,5>, lane 1
3724     3202310144U, // <5,0,5,6>: Cost 3 ins <u,0,5,6>, lane 0
3725     2115969025U, // <5,0,5,7>: Cost 2 ins <5,u,5,7>, lane 1
3729     2128609280U, // <5,0,6,2>: Cost 2 ins <u,0,6,2>, lane 0
3730     3189751809U, // <5,0,6,3>: Cost 3 ins <5,u,6,3>, lane 1
3733     3189776385U, // <5,0,6,6>: Cost 3 ins <5,u,6,6>, lane 1
3734     2128650240U, // <5,0,6,7>: Cost 2 ins <u,0,6,7>, lane 0
3739     2116083713U, // <5,0,7,3>: Cost 2 ins <5,u,7,3>, lane 1
3740     2116091905U, // <5,0,7,4>: Cost 2 ins <5,u,7,4>, lane 1
3742     2116108289U, // <5,0,7,6>: Cost 2 ins <5,u,7,6>, lane 1
3743     2116116481U, // <5,0,7,7>: Cost 2 ins <5,u,7,7>, lane 1
3748     2115641345U, // <5,0,u,3>: Cost 2 ins <5,u,1,3>, lane 1
3749     2116091905U, // <5,0,u,4>: Cost 2 ins <5,u,7,4>, lane 1
3750     2115952641U, // <5,0,u,5>: Cost 2 ins <5,u,5,5>, lane 1
3751     2116108289U, // <5,0,u,6>: Cost 2 ins <5,u,7,6>, lane 1
3752     2115969025U, // <5,0,u,7>: Cost 2 ins <5,u,5,7>, lane 1
3757     2111512578U, // <5,1,0,3>: Cost 2 ins <5,1,u,3>, lane 2
3760     3185278978U, // <5,1,0,6>: Cost 3 ins <5,1,u,6>, lane 2
3761     3184705539U, // <5,1,0,7>: Cost 3 ins <5,1,0,u>, lane 3
3764     2128896000U, // <5,1,1,1>: Cost 2 ins <u,1,1,1>, lane 0
3766     2115641345U, // <5,1,1,3>: Cost 2 ins <5,u,1,3>, lane 1
3769     3189407745U, // <5,1,1,6>: Cost 3 ins <5,u,1,6>, lane 1
3771     2115641345U, // <5,1,1,u>: Cost 2 ins <5,u,1,3>, lane 1
3772     2128961536U, // <5,1,2,0>: Cost 2 ins <u,1,2,0>, lane 0
3773     2128969728U, // <5,1,2,1>: Cost 2 ins <u,1,2,1>, lane 0
3774     2128977920U, // <5,1,2,2>: Cost 2 ins <u,1,2,2>, lane 0
3775     1055244288U, // <5,1,2,3>: Cost 1 ins LHS, lane 0
3776     2128994304U, // <5,1,2,4>: Cost 2 ins <u,1,2,4>, lane 0
3777     2129002496U, // <5,1,2,5>: Cost 2 ins <u,1,2,5>, lane 0
3778     2129010688U, // <5,1,2,6>: Cost 2 ins <u,1,2,6>, lane 0
3779     2129018880U, // <5,1,2,7>: Cost 2 ins <u,1,2,7>, lane 0
3780     1055244288U, // <5,1,2,u>: Cost 1 ins LHS, lane 0
3784     2129059840U, // <5,1,3,3>: Cost 2 ins <u,1,3,3>, lane 0
3789     2129059840U, // <5,1,3,u>: Cost 2 ins <u,1,3,3>, lane 0
3793     2111512578U, // <5,1,4,3>: Cost 2 ins <5,1,u,3>, lane 2
3797     3185000451U, // <5,1,4,7>: Cost 3 ins <5,1,4,u>, lane 3
3804     2115952641U, // <5,1,5,5>: Cost 2 ins <5,u,5,5>, lane 1
3806     2115969025U, // <5,1,5,7>: Cost 2 ins <5,u,5,7>, lane 1
3811     2111512578U, // <5,1,6,3>: Cost 2 ins <5,1,u,3>, lane 2
3815     2111553541U, // <5,1,6,7>: Cost 2 ins <5,1,u,u>, lane 5
3816     2111512578U, // <5,1,6,u>: Cost 2 ins <5,1,u,3>, lane 2
3817     2116059137U, // <5,1,7,0>: Cost 2 ins <5,u,7,0>, lane 1
3819     2111479811U, // <5,1,7,2>: Cost 2 ins <5,1,7,u>, lane 3
3821     2116091905U, // <5,1,7,4>: Cost 2 ins <5,u,7,4>, lane 1
3822     2111479811U, // <5,1,7,5>: Cost 2 ins <5,1,7,u>, lane 3
3823     2116108289U, // <5,1,7,6>: Cost 2 ins <5,u,7,6>, lane 1
3824     2116116481U, // <5,1,7,7>: Cost 2 ins <5,u,7,7>, lane 1
3826     2116059137U, // <5,1,u,0>: Cost 2 ins <5,u,7,0>, lane 1
3830     2116091905U, // <5,1,u,4>: Cost 2 ins <5,u,7,4>, lane 1
3833     2115969025U, // <5,1,u,7>: Cost 2 ins <5,u,5,7>, lane 1
3837     2129494016U, // <5,2,0,2>: Cost 2 ins <u,2,0,2>, lane 0
3841     3185942530U, // <5,2,0,6>: Cost 3 ins <5,2,u,6>, lane 2
3843     2129494016U, // <5,2,0,u>: Cost 2 ins <u,2,0,2>, lane 0
3845     3203301376U, // <5,2,1,1>: Cost 3 ins <u,2,1,1>, lane 0
3851     3189415937U, // <5,2,1,7>: Cost 3 ins <5,u,1,7>, lane 1
3853     3203366912U, // <5,2,2,0>: Cost 3 ins <u,2,2,0>, lane 0
3854     3203375104U, // <5,2,2,1>: Cost 3 ins <u,2,2,1>, lane 0
3855     2129641472U, // <5,2,2,2>: Cost 2 ins <u,2,2,2>, lane 0
3856     2129649664U, // <5,2,2,3>: Cost 2 ins <u,2,2,3>, lane 0
3859     3189481473U, // <5,2,2,6>: Cost 3 ins <5,u,2,6>, lane 1
3861     2129641472U, // <5,2,2,u>: Cost 2 ins <u,2,2,2>, lane 0
3862     2129698816U, // <5,2,3,0>: Cost 2 ins <u,2,3,0>, lane 0
3865     2129723392U, // <5,2,3,3>: Cost 2 ins <u,2,3,3>, lane 0
3868     3203489792U, // <5,2,3,6>: Cost 3 ins <u,2,3,6>, lane 0
3871     3203514368U, // <5,2,4,0>: Cost 3 ins <u,2,4,0>, lane 0
3872     3189587969U, // <5,2,4,1>: Cost 3 ins <5,u,4,1>, lane 1
3875     3203547136U, // <5,2,4,4>: Cost 3 ins <u,2,4,4>, lane 0
3877     2129821696U, // <5,2,4,6>: Cost 2 ins <u,2,4,6>, lane 0
3879     2129821696U, // <5,2,4,u>: Cost 2 ins <u,2,4,6>, lane 0
3881     3203596288U, // <5,2,5,1>: Cost 3 ins <u,2,5,1>, lane 0
3885     2115952641U, // <5,2,5,5>: Cost 2 ins <5,u,5,5>, lane 1
3887     2115969025U, // <5,2,5,7>: Cost 2 ins <5,u,5,7>, lane 1
3889     3203661824U, // <5,2,6,0>: Cost 3 ins <u,2,6,0>, lane 0
3890     3189735425U, // <5,2,6,1>: Cost 3 ins <5,u,6,1>, lane 1
3896     2129977344U, // <5,2,6,7>: Cost 2 ins <u,2,6,7>, lane 0
3905     2116116481U, // <5,2,7,7>: Cost 2 ins <5,u,7,7>, lane 1
3912     2115952641U, // <5,2,u,5>: Cost 2 ins <5,u,5,5>, lane 1
3914     2115969025U, // <5,2,u,7>: Cost 2 ins <5,u,5,7>, lane 1
3916     3203883008U, // <5,3,0,0>: Cost 3 ins <u,3,0,0>, lane 0
3917     2130149376U, // <5,3,0,1>: Cost 2 ins <u,3,0,1>, lane 0
3919     3186581506U, // <5,3,0,3>: Cost 3 ins <5,3,u,3>, lane 2
3924     2130149376U, // <5,3,0,u>: Cost 2 ins <u,3,0,1>, lane 0
3928     2130239488U, // <5,3,1,3>: Cost 2 ins <u,3,1,3>, lane 0
3931     3189407745U, // <5,3,1,6>: Cost 3 ins <5,u,1,6>, lane 1
3933     2130239488U, // <5,3,1,u>: Cost 2 ins <u,3,1,3>, lane 0
3935     3204038656U, // <5,3,2,1>: Cost 3 ins <u,3,2,1>, lane 0
3936     3204046848U, // <5,3,2,2>: Cost 3 ins <u,3,2,2>, lane 0
3937     2130313216U, // <5,3,2,3>: Cost 2 ins <u,3,2,3>, lane 0
3940     3204079616U, // <5,3,2,6>: Cost 3 ins <u,3,2,6>, lane 0
3942     2130313216U, // <5,3,2,u>: Cost 2 ins <u,3,2,3>, lane 0
3943     3204104192U, // <5,3,3,0>: Cost 3 ins <u,3,3,0>, lane 0
3945     3204120576U, // <5,3,3,2>: Cost 3 ins <u,3,3,2>, lane 0
3946     2130386944U, // <5,3,3,3>: Cost 2 ins <u,3,3,3>, lane 0
3949     3189555201U, // <5,3,3,6>: Cost 3 ins <5,u,3,6>, lane 1
3951     2130386944U, // <5,3,3,u>: Cost 2 ins <u,3,3,3>, lane 0
3957     2130477056U, // <5,3,4,5>: Cost 2 ins <u,3,4,5>, lane 0
3960     2130477056U, // <5,3,4,u>: Cost 2 ins <u,3,4,5>, lane 0
3966     2115952641U, // <5,3,5,5>: Cost 2 ins <5,u,5,5>, lane 1
3967     3204300800U, // <5,3,5,6>: Cost 3 ins <u,3,5,6>, lane 0
3968     2130567168U, // <5,3,5,7>: Cost 2 ins <u,3,5,7>, lane 0
3969     2130567168U, // <5,3,5,u>: Cost 2 ins <u,3,5,7>, lane 0
3971     3204333568U, // <5,3,6,1>: Cost 3 ins <u,3,6,1>, lane 0
3977     2130640896U, // <5,3,6,7>: Cost 2 ins <u,3,6,7>, lane 0
3978     2130640896U, // <5,3,6,u>: Cost 2 ins <u,3,6,7>, lane 0
3985     2116108289U, // <5,3,7,6>: Cost 2 ins <5,u,7,6>, lane 1
3994     2116108289U, // <5,3,u,6>: Cost 2 ins <5,u,7,6>, lane 1
3997     3189284865U, // <5,4,0,0>: Cost 3 ins <5,u,0,0>, lane 1
3998     2113544197U, // <5,4,0,1>: Cost 2 ins <5,4,u,u>, lane 5
4003     2113527810U, // <5,4,0,6>: Cost 2 ins <5,4,u,6>, lane 2
4005     2113544197U, // <5,4,0,u>: Cost 2 ins <5,4,u,u>, lane 5
4007     3189366785U, // <5,4,1,1>: Cost 3 ins <5,u,1,1>, lane 1
4008     3204636672U, // <5,4,1,2>: Cost 3 ins <u,4,1,2>, lane 0
4009     2115641345U, // <5,4,1,3>: Cost 2 ins <5,u,1,3>, lane 1
4013     3189415937U, // <5,4,1,7>: Cost 3 ins <5,u,1,7>, lane 1
4015     3204694016U, // <5,4,2,0>: Cost 3 ins <u,4,2,0>, lane 0
4017     3189448705U, // <5,4,2,2>: Cost 3 ins <5,u,2,2>, lane 1
4018     2113544197U, // <5,4,2,3>: Cost 2 ins <5,4,u,u>, lane 5
4019     3204726784U, // <5,4,2,4>: Cost 3 ins <u,4,2,4>, lane 0
4021     2131001344U, // <5,4,2,6>: Cost 2 ins <u,4,2,6>, lane 0
4023     2113544197U, // <5,4,2,u>: Cost 2 ins <5,4,u,u>, lane 5
4024     3204767744U, // <5,4,3,0>: Cost 3 ins <u,4,3,0>, lane 0
4027     3189530625U, // <5,4,3,3>: Cost 3 ins <5,u,3,3>, lane 1
4030     2113527810U, // <5,4,3,6>: Cost 2 ins <5,4,u,6>, lane 2
4032     2113527810U, // <5,4,3,u>: Cost 2 ins <5,4,u,6>, lane 2
4035     3186991107U, // <5,4,4,2>: Cost 3 ins <5,4,4,u>, lane 3
4036     3186991107U, // <5,4,4,3>: Cost 3 ins <5,4,4,u>, lane 3
4037     2131132416U, // <5,4,4,4>: Cost 2 ins <u,4,4,4>, lane 0
4039     2113527810U, // <5,4,4,6>: Cost 2 ins <5,4,u,6>, lane 2
4045     3189678081U, // <5,4,5,3>: Cost 3 ins <5,u,5,3>, lane 1
4049     2115969025U, // <5,4,5,7>: Cost 2 ins <5,u,5,7>, lane 1
4053     3189743617U, // <5,4,6,2>: Cost 3 ins <5,u,6,2>, lane 1
4057     2131296256U, // <5,4,6,6>: Cost 2 ins <u,4,6,6>, lane 0
4058     2113544197U, // <5,4,6,7>: Cost 2 ins <5,4,u,u>, lane 5
4060     2116059137U, // <5,4,7,0>: Cost 2 ins <5,u,7,0>, lane 1
4061     2113470467U, // <5,4,7,1>: Cost 2 ins <5,4,7,u>, lane 3
4062     2113470467U, // <5,4,7,2>: Cost 2 ins <5,4,7,u>, lane 3
4063     2116083713U, // <5,4,7,3>: Cost 2 ins <5,u,7,3>, lane 1
4067     2116116481U, // <5,4,7,7>: Cost 2 ins <5,u,7,7>, lane 1
4069     2116059137U, // <5,4,u,0>: Cost 2 ins <5,u,7,0>, lane 1
4070     2113544197U, // <5,4,u,1>: Cost 2 ins <5,4,u,u>, lane 5
4071     2113470467U, // <5,4,u,2>: Cost 2 ins <5,4,7,u>, lane 3
4072     2115641345U, // <5,4,u,3>: Cost 2 ins <5,u,1,3>, lane 1
4076     2115969025U, // <5,4,u,7>: Cost 2 ins <5,u,5,7>, lane 1
4081     3187908610U, // <5,5,0,3>: Cost 3 ins <5,5,u,3>, lane 2
4083     2114183170U, // <5,5,0,5>: Cost 2 ins <5,5,u,5>, lane 2
4084     3187933186U, // <5,5,0,6>: Cost 3 ins <5,5,u,6>, lane 2
4085     2114199554U, // <5,5,0,7>: Cost 2 ins <5,5,u,7>, lane 2
4092     2114183170U, // <5,5,1,5>: Cost 2 ins <5,5,u,5>, lane 2
4094     2114199554U, // <5,5,1,7>: Cost 2 ins <5,5,u,7>, lane 2
4097     3205365760U, // <5,5,2,1>: Cost 3 ins <u,5,2,1>, lane 0
4099     2114207749U, // <5,5,2,3>: Cost 2 ins <5,5,u,u>, lane 5
4101     2114183170U, // <5,5,2,5>: Cost 2 ins <5,5,u,5>, lane 2
4103     2114199554U, // <5,5,2,7>: Cost 2 ins <5,5,u,7>, lane 2
4104     2114207749U, // <5,5,2,u>: Cost 2 ins <5,5,u,u>, lane 5
4107     3187900418U, // <5,5,3,2>: Cost 3 ins <5,5,u,2>, lane 2
4110     2114183170U, // <5,5,3,5>: Cost 2 ins <5,5,u,5>, lane 2
4111     3205480448U, // <5,5,3,6>: Cost 3 ins <u,5,3,6>, lane 0
4112     2131746816U, // <5,5,3,7>: Cost 2 ins <u,5,3,7>, lane 0
4113     2131746816U, // <5,5,3,u>: Cost 2 ins <u,5,3,7>, lane 0
4116     3187900418U, // <5,5,4,2>: Cost 3 ins <5,5,u,2>, lane 2
4117     3187908610U, // <5,5,4,3>: Cost 3 ins <5,5,u,3>, lane 2
4121     2114199554U, // <5,5,4,7>: Cost 2 ins <5,5,u,7>, lane 2
4124     2113986563U, // <5,5,5,1>: Cost 2 ins <5,5,5,u>, lane 3
4125     2113986563U, // <5,5,5,2>: Cost 2 ins <5,5,5,u>, lane 3
4126     2113986563U, // <5,5,5,3>: Cost 2 ins <5,5,5,u>, lane 3
4129     2113986563U, // <5,5,5,6>: Cost 2 ins <5,5,5,u>, lane 3
4132     2131910656U, // <5,5,6,0>: Cost 2 ins <u,5,6,0>, lane 0
4133     2131918848U, // <5,5,6,1>: Cost 2 ins <u,5,6,1>, lane 0
4134     2131927040U, // <5,5,6,2>: Cost 2 ins <u,5,6,2>, lane 0
4135     2131935232U, // <5,5,6,3>: Cost 2 ins <u,5,6,3>, lane 0
4136     2131943424U, // <5,5,6,4>: Cost 2 ins <u,5,6,4>, lane 0
4137     2131951616U, // <5,5,6,5>: Cost 2 ins <u,5,6,5>, lane 0
4139     1058226176U, // <5,5,6,7>: Cost 1 ins RHS, lane 0
4140     1058226176U, // <5,5,6,u>: Cost 1 ins RHS, lane 0
4141     2116059137U, // <5,5,7,0>: Cost 2 ins <5,u,7,0>, lane 1
4142     2114134019U, // <5,5,7,1>: Cost 2 ins <5,5,7,u>, lane 3
4143     2114134019U, // <5,5,7,2>: Cost 2 ins <5,5,7,u>, lane 3
4144     2116083713U, // <5,5,7,3>: Cost 2 ins <5,u,7,3>, lane 1
4145     2116091905U, // <5,5,7,4>: Cost 2 ins <5,u,7,4>, lane 1
4147     2116108289U, // <5,5,7,6>: Cost 2 ins <5,u,7,6>, lane 1
4159     2114805762U, // <5,6,0,0>: Cost 2 ins <5,6,u,0>, lane 2
4161     2132148224U, // <5,6,0,2>: Cost 2 ins <u,6,0,2>, lane 0
4163     2114838530U, // <5,6,0,4>: Cost 2 ins <5,6,u,4>, lane 2
4164     3188588546U, // <5,6,0,5>: Cost 3 ins <5,6,u,5>, lane 2
4165     3188596738U, // <5,6,0,6>: Cost 3 ins <5,6,u,6>, lane 2
4168     2114805762U, // <5,6,1,0>: Cost 2 ins <5,6,u,0>, lane 2
4171     2115641345U, // <5,6,1,3>: Cost 2 ins <5,u,1,3>, lane 1
4172     2114838530U, // <5,6,1,4>: Cost 2 ins <5,6,u,4>, lane 2
4177     2114805762U, // <5,6,2,0>: Cost 2 ins <5,6,u,0>, lane 2
4178     3188555778U, // <5,6,2,1>: Cost 3 ins <5,6,u,1>, lane 2
4180     2114871301U, // <5,6,2,3>: Cost 2 ins <5,6,u,u>, lane 5
4181     2114838530U, // <5,6,2,4>: Cost 2 ins <5,6,u,4>, lane 2
4185     2114805762U, // <5,6,2,u>: Cost 2 ins <5,6,u,0>, lane 2
4186     2114805762U, // <5,6,3,0>: Cost 2 ins <5,6,u,0>, lane 2
4187     3206103040U, // <5,6,3,1>: Cost 3 ins <u,6,3,1>, lane 0
4188     3206111232U, // <5,6,3,2>: Cost 3 ins <u,6,3,2>, lane 0
4192     3206144000U, // <5,6,3,6>: Cost 3 ins <u,6,3,6>, lane 0
4193     2132410368U, // <5,6,3,7>: Cost 2 ins <u,6,3,7>, lane 0
4195     2114805762U, // <5,6,4,0>: Cost 2 ins <5,6,u,0>, lane 2
4196     3189587969U, // <5,6,4,1>: Cost 3 ins <5,u,4,1>, lane 1
4199     2114838530U, // <5,6,4,4>: Cost 2 ins <5,6,u,4>, lane 2
4201     2132475904U, // <5,6,4,6>: Cost 2 ins <u,6,4,6>, lane 0
4204     2114805762U, // <5,6,5,0>: Cost 2 ins <5,6,u,0>, lane 2
4207     3189678081U, // <5,6,5,3>: Cost 3 ins <5,u,5,3>, lane 1
4208     2114838530U, // <5,6,5,4>: Cost 2 ins <5,6,u,4>, lane 2
4209     2115952641U, // <5,6,5,5>: Cost 2 ins <5,u,5,5>, lane 1
4213     2114805762U, // <5,6,6,0>: Cost 2 ins <5,6,u,0>, lane 2
4214     3189735425U, // <5,6,6,1>: Cost 3 ins <5,u,6,1>, lane 1
4217     2114838530U, // <5,6,6,4>: Cost 2 ins <5,6,u,4>, lane 2
4219     2132623360U, // <5,6,6,6>: Cost 2 ins <u,6,6,6>, lane 0
4243     2115493890U, // <5,7,0,3>: Cost 2 ins <5,7,u,3>, lane 2
4247     2115526658U, // <5,7,0,7>: Cost 2 ins <5,7,u,7>, lane 2
4249     2115018755U, // <5,7,1,0>: Cost 2 ins <5,7,1,u>, lane 3
4251     2115018755U, // <5,7,1,2>: Cost 2 ins <5,7,1,u>, lane 3
4253     2115018755U, // <5,7,1,4>: Cost 2 ins <5,7,1,u>, lane 3
4254     2115018755U, // <5,7,1,5>: Cost 2 ins <5,7,1,u>, lane 3
4255     2115018755U, // <5,7,1,6>: Cost 2 ins <5,7,1,u>, lane 3
4256     2115526658U, // <5,7,1,7>: Cost 2 ins <5,7,u,7>, lane 2
4265     2115526658U, // <5,7,2,7>: Cost 2 ins <5,7,u,7>, lane 2
4279     2115493890U, // <5,7,4,3>: Cost 2 ins <5,7,u,3>, lane 2
4283     2115526658U, // <5,7,4,7>: Cost 2 ins <5,7,u,7>, lane 2
4285     2115313667U, // <5,7,5,0>: Cost 2 ins <5,7,5,u>, lane 3
4286     2115313667U, // <5,7,5,1>: Cost 2 ins <5,7,5,u>, lane 3
4287     2115313667U, // <5,7,5,2>: Cost 2 ins <5,7,5,u>, lane 3
4288     2115493890U, // <5,7,5,3>: Cost 2 ins <5,7,u,3>, lane 2
4289     2115313667U, // <5,7,5,4>: Cost 2 ins <5,7,5,u>, lane 3
4291     2115313667U, // <5,7,5,6>: Cost 2 ins <5,7,5,u>, lane 3
4297     2115493890U, // <5,7,6,3>: Cost 2 ins <5,7,u,3>, lane 2
4309     2116108289U, // <5,7,7,6>: Cost 2 ins <5,u,7,6>, lane 1
4324     2111512578U, // <5,u,0,3>: Cost 2 ins <5,1,u,3>, lane 2
4325     2114838530U, // <5,u,0,4>: Cost 2 ins <5,6,u,4>, lane 2
4326     2114183170U, // <5,u,0,5>: Cost 2 ins <5,5,u,5>, lane 2
4327     2113527810U, // <5,u,0,6>: Cost 2 ins <5,4,u,6>, lane 2
4328     2114199554U, // <5,u,0,7>: Cost 2 ins <5,5,u,7>, lane 2
4330     2114805762U, // <5,u,1,0>: Cost 2 ins <5,6,u,0>, lane 2
4334     2114838530U, // <5,u,1,4>: Cost 2 ins <5,6,u,4>, lane 2
4340     2128969728U, // <5,u,2,1>: Cost 2 ins <u,1,2,1>, lane 0
4342     1055244288U, // <5,u,2,3>: Cost 1 ins LHS, lane 0
4344     2129002496U, // <5,u,2,5>: Cost 2 ins <u,1,2,5>, lane 0
4346     2114199554U, // <5,u,2,7>: Cost 2 ins <5,5,u,7>, lane 2
4347     1055244288U, // <5,u,2,u>: Cost 1 ins LHS, lane 0
4348     2129698816U, // <5,u,3,0>: Cost 2 ins <u,2,3,0>, lane 0
4350     2128388096U, // <5,u,3,2>: Cost 2 ins <u,0,3,2>, lane 0
4354     2113527810U, // <5,u,3,6>: Cost 2 ins <5,4,u,6>, lane 2
4357     2114805762U, // <5,u,4,0>: Cost 2 ins <5,6,u,0>, lane 2
4360     2111512578U, // <5,u,4,3>: Cost 2 ins <5,1,u,3>, lane 2
4364     2114199554U, // <5,u,4,7>: Cost 2 ins <5,5,u,7>, lane 2
4382     1058226176U, // <5,u,6,7>: Cost 1 ins RHS, lane 0
4383     1058226176U, // <5,u,6,u>: Cost 1 ins RHS, lane 0
4402     2128150528U, // <6,0,0,0>: Cost 2 ins <u,0,0,0>, lane 0
4403     2121523201U, // <6,0,0,1>: Cost 2 ins <6,u,0,1>, lane 1
4412     2128232448U, // <6,0,1,1>: Cost 2 ins <u,0,1,1>, lane 0
4422     2128314368U, // <6,0,2,2>: Cost 2 ins <u,0,2,2>, lane 0
4423     2128322560U, // <6,0,2,3>: Cost 2 ins <u,0,2,3>, lane 0
4429     3202113536U, // <6,0,3,0>: Cost 3 ins <u,0,3,0>, lane 0
4431     2128388096U, // <6,0,3,2>: Cost 2 ins <u,0,3,2>, lane 0
4435     3190587394U, // <6,0,3,6>: Cost 3 ins <6,0,u,6>, lane 2
4437     2128388096U, // <6,0,3,u>: Cost 2 ins <u,0,3,2>, lane 0
4441     3195576321U, // <6,0,4,3>: Cost 3 ins <6,u,4,3>, lane 1
4443     2121850881U, // <6,0,4,5>: Cost 2 ins <6,u,4,5>, lane 1
4445     3195609089U, // <6,0,4,7>: Cost 3 ins <6,u,4,7>, lane 1
4447     3202260992U, // <6,0,5,0>: Cost 3 ins <u,0,5,0>, lane 0
4448     2128527360U, // <6,0,5,1>: Cost 2 ins <u,0,5,1>, lane 0
4450     3190562818U, // <6,0,5,3>: Cost 3 ins <6,0,u,3>, lane 2
4459     3195723777U, // <6,0,6,3>: Cost 3 ins <6,u,6,3>, lane 1
4461     3195740161U, // <6,0,6,5>: Cost 3 ins <6,u,6,5>, lane 1
4462     2122006529U, // <6,0,6,6>: Cost 2 ins <6,u,6,6>, lane 1
4463     2128650240U, // <6,0,6,7>: Cost 2 ins <u,0,6,7>, lane 0
4468     2122055681U, // <6,0,7,3>: Cost 2 ins <6,u,7,3>, lane 1
4472     2122088449U, // <6,0,7,7>: Cost 2 ins <6,u,7,7>, lane 1
4479     2121850881U, // <6,0,u,5>: Cost 2 ins <6,u,4,5>, lane 1
4484     2121523201U, // <6,1,0,1>: Cost 2 ins <6,u,0,1>, lane 1
4493     2128896000U, // <6,1,1,1>: Cost 2 ins <u,1,1,1>, lane 0
4495     2128912384U, // <6,1,1,3>: Cost 2 ins <u,1,1,3>, lane 0
4497     3202670592U, // <6,1,1,5>: Cost 3 ins <u,1,1,5>, lane 0
4500     2128896000U, // <6,1,1,u>: Cost 2 ins <u,1,1,1>, lane 0
4501     2128961536U, // <6,1,2,0>: Cost 2 ins <u,1,2,0>, lane 0
4502     2128969728U, // <6,1,2,1>: Cost 2 ins <u,1,2,1>, lane 0
4503     2128977920U, // <6,1,2,2>: Cost 2 ins <u,1,2,2>, lane 0
4504     1055244288U, // <6,1,2,3>: Cost 1 ins LHS, lane 0
4505     2128994304U, // <6,1,2,4>: Cost 2 ins <u,1,2,4>, lane 0
4506     2129002496U, // <6,1,2,5>: Cost 2 ins <u,1,2,5>, lane 0
4507     2129010688U, // <6,1,2,6>: Cost 2 ins <u,1,2,6>, lane 0
4508     2129018880U, // <6,1,2,7>: Cost 2 ins <u,1,2,7>, lane 0
4509     1055244288U, // <6,1,2,u>: Cost 1 ins LHS, lane 0
4513     2129059840U, // <6,1,3,3>: Cost 2 ins <u,1,3,3>, lane 0
4518     2129059840U, // <6,1,3,u>: Cost 2 ins <u,1,3,3>, lane 0
4521     3195568129U, // <6,1,4,2>: Cost 3 ins <6,u,4,2>, lane 1
4524     2121850881U, // <6,1,4,5>: Cost 2 ins <6,u,4,5>, lane 1
4530     3202940928U, // <6,1,5,2>: Cost 3 ins <u,1,5,2>, lane 0
4531     2129207296U, // <6,1,5,3>: Cost 2 ins <u,1,5,3>, lane 0
4533     3202965504U, // <6,1,5,5>: Cost 3 ins <u,1,5,5>, lane 0
4536     2129207296U, // <6,1,5,u>: Cost 2 ins <u,1,5,3>, lane 0
4543     2122006529U, // <6,1,6,6>: Cost 2 ins <6,u,6,6>, lane 1
4544     2129313792U, // <6,1,6,7>: Cost 2 ins <u,1,6,7>, lane 0
4553     2122088449U, // <6,1,7,7>: Cost 2 ins <6,u,7,7>, lane 1
4555     2128961536U, // <6,1,u,0>: Cost 2 ins <u,1,2,0>, lane 0
4558     1055244288U, // <6,1,u,3>: Cost 1 ins LHS, lane 0
4559     2128994304U, // <6,1,u,4>: Cost 2 ins <u,1,2,4>, lane 0
4561     2129010688U, // <6,1,u,6>: Cost 2 ins <u,1,2,6>, lane 0
4562     2122088449U, // <6,1,u,7>: Cost 2 ins <6,u,7,7>, lane 1
4563     1055244288U, // <6,1,u,u>: Cost 1 ins LHS, lane 0
4566     2129494016U, // <6,2,0,2>: Cost 2 ins <u,2,0,2>, lane 0
4567     2118148098U, // <6,2,0,3>: Cost 2 ins <6,2,u,3>, lane 2
4569     3195297793U, // <6,2,0,5>: Cost 3 ins <6,u,0,5>, lane 1
4571     3195314177U, // <6,2,0,7>: Cost 3 ins <6,u,0,7>, lane 1
4577     3191414787U, // <6,2,1,4>: Cost 3 ins <6,2,1,u>, lane 3
4580     3191922690U, // <6,2,1,7>: Cost 3 ins <6,2,u,7>, lane 2
4583     3195412481U, // <6,2,2,1>: Cost 3 ins <6,u,2,1>, lane 1
4584     2129641472U, // <6,2,2,2>: Cost 2 ins <u,2,2,2>, lane 0
4587     3195445249U, // <6,2,2,5>: Cost 3 ins <6,u,2,5>, lane 1
4591     2129698816U, // <6,2,3,0>: Cost 2 ins <u,2,3,0>, lane 0
4594     2129723392U, // <6,2,3,3>: Cost 2 ins <u,2,3,3>, lane 0
4595     2129731584U, // <6,2,3,4>: Cost 2 ins <u,2,3,4>, lane 0
4599     2129698816U, // <6,2,3,u>: Cost 2 ins <u,2,3,0>, lane 0
4601     3191873538U, // <6,2,4,1>: Cost 3 ins <6,2,u,1>, lane 2
4603     2118148098U, // <6,2,4,3>: Cost 2 ins <6,2,u,3>, lane 2
4606     2129821696U, // <6,2,4,6>: Cost 2 ins <u,2,4,6>, lane 0
4607     3195609089U, // <6,2,4,7>: Cost 3 ins <6,u,4,7>, lane 1
4609     3191709699U, // <6,2,5,0>: Cost 3 ins <6,2,5,u>, lane 3
4611     3203604480U, // <6,2,5,2>: Cost 3 ins <u,2,5,2>, lane 0
4612     2118148098U, // <6,2,5,3>: Cost 2 ins <6,2,u,3>, lane 2
4619     3195707393U, // <6,2,6,1>: Cost 3 ins <6,u,6,1>, lane 1
4623     3195740161U, // <6,2,6,5>: Cost 3 ins <6,u,6,5>, lane 1
4624     2122006529U, // <6,2,6,6>: Cost 2 ins <6,u,6,6>, lane 1
4625     2118189061U, // <6,2,6,7>: Cost 2 ins <6,2,u,u>, lane 5
4627     2118115331U, // <6,2,7,0>: Cost 2 ins <6,2,7,u>, lane 3
4628     2118115331U, // <6,2,7,1>: Cost 2 ins <6,2,7,u>, lane 3
4631     2118115331U, // <6,2,7,4>: Cost 2 ins <6,2,7,u>, lane 3
4632     2118115331U, // <6,2,7,5>: Cost 2 ins <6,2,7,u>, lane 3
4634     2122088449U, // <6,2,7,7>: Cost 2 ins <6,u,7,7>, lane 1
4636     2129698816U, // <6,2,u,0>: Cost 2 ins <u,2,3,0>, lane 0
4640     2129731584U, // <6,2,u,4>: Cost 2 ins <u,2,3,4>, lane 0
4645     3203883008U, // <6,3,0,0>: Cost 3 ins <u,3,0,0>, lane 0
4646     2130149376U, // <6,3,0,1>: Cost 2 ins <u,3,0,1>, lane 0
4651     3195305985U, // <6,3,0,6>: Cost 3 ins <6,u,0,6>, lane 1
4653     2130149376U, // <6,3,0,u>: Cost 2 ins <u,3,0,1>, lane 0
4655     3203964928U, // <6,3,1,1>: Cost 3 ins <u,3,1,1>, lane 0
4656     3203973120U, // <6,3,1,2>: Cost 3 ins <u,3,1,2>, lane 0
4657     2130239488U, // <6,3,1,3>: Cost 2 ins <u,3,1,3>, lane 0
4659     3203997696U, // <6,3,1,5>: Cost 3 ins <u,3,1,5>, lane 0
4662     2130239488U, // <6,3,1,u>: Cost 2 ins <u,3,1,3>, lane 0
4666     2130313216U, // <6,3,2,3>: Cost 2 ins <u,3,2,3>, lane 0
4671     2130313216U, // <6,3,2,u>: Cost 2 ins <u,3,2,3>, lane 0
4675     2130386944U, // <6,3,3,3>: Cost 2 ins <u,3,3,3>, lane 0
4680     2130386944U, // <6,3,3,u>: Cost 2 ins <u,3,3,3>, lane 0
4691     3204259840U, // <6,3,5,1>: Cost 3 ins <u,3,5,1>, lane 0
4695     3204292608U, // <6,3,5,5>: Cost 3 ins <u,3,5,5>, lane 0
4696     3204300800U, // <6,3,5,6>: Cost 3 ins <u,3,5,6>, lane 0
4697     2130567168U, // <6,3,5,7>: Cost 2 ins <u,3,5,7>, lane 0
4698     2130567168U, // <6,3,5,u>: Cost 2 ins <u,3,5,7>, lane 0
4705     2122006529U, // <6,3,6,6>: Cost 2 ins <6,u,6,6>, lane 1
4706     2130640896U, // <6,3,6,7>: Cost 2 ins <u,3,6,7>, lane 0
4718     2130149376U, // <6,3,u,1>: Cost 2 ins <u,3,0,1>, lane 0
4723     2122006529U, // <6,3,u,6>: Cost 2 ins <6,u,6,6>, lane 1
4727     2121523201U, // <6,4,0,1>: Cost 2 ins <6,u,0,1>, lane 1
4729     3195281409U, // <6,4,0,3>: Cost 3 ins <6,u,0,3>, lane 1
4733     3195314177U, // <6,4,0,7>: Cost 3 ins <6,u,0,7>, lane 1
4737     3204636672U, // <6,4,1,2>: Cost 3 ins <u,4,1,2>, lane 0
4740     2130919424U, // <6,4,1,5>: Cost 2 ins <u,4,1,5>, lane 0
4745     3195412481U, // <6,4,2,1>: Cost 3 ins <6,u,2,1>, lane 1
4747     2130976768U, // <6,4,2,3>: Cost 2 ins <u,4,2,3>, lane 0
4750     2131001344U, // <6,4,2,6>: Cost 2 ins <u,4,2,6>, lane 0
4751     3195461633U, // <6,4,2,7>: Cost 3 ins <6,u,2,7>, lane 1
4753     3195478017U, // <6,4,3,0>: Cost 3 ins <6,u,3,0>, lane 1
4766     2131132416U, // <6,4,4,4>: Cost 2 ins <u,4,4,4>, lane 0
4767     2121850881U, // <6,4,4,5>: Cost 2 ins <6,u,4,5>, lane 1
4776     2131214336U, // <6,4,5,5>: Cost 2 ins <u,4,5,5>, lane 0
4787     2131304448U, // <6,4,6,7>: Cost 2 ins <u,4,6,7>, lane 0
4792     2122055681U, // <6,4,7,3>: Cost 2 ins <6,u,7,3>, lane 1
4796     2122088449U, // <6,4,7,7>: Cost 2 ins <6,u,7,7>, lane 1
4799     2121523201U, // <6,4,u,1>: Cost 2 ins <6,u,0,1>, lane 1
4807     3195256833U, // <6,5,0,0>: Cost 3 ins <6,u,0,0>, lane 1
4808     2121523201U, // <6,5,0,1>: Cost 2 ins <6,u,0,1>, lane 1
4810     3195281409U, // <6,5,0,3>: Cost 3 ins <6,u,0,3>, lane 1
4817     3205292032U, // <6,5,1,1>: Cost 3 ins <u,5,1,1>, lane 0
4818     3195346945U, // <6,5,1,2>: Cost 3 ins <6,u,1,2>, lane 1
4823     2131599360U, // <6,5,1,7>: Cost 2 ins <u,5,1,7>, lane 0
4824     2131599360U, // <6,5,1,u>: Cost 2 ins <u,5,1,7>, lane 0
4827     3195420673U, // <6,5,2,2>: Cost 3 ins <6,u,2,2>, lane 1
4828     2131640320U, // <6,5,2,3>: Cost 2 ins <u,5,2,3>, lane 0
4834     3195478017U, // <6,5,3,0>: Cost 3 ins <6,u,3,0>, lane 1
4835     3205439488U, // <6,5,3,1>: Cost 3 ins <u,5,3,1>, lane 0
4837     3195502593U, // <6,5,3,3>: Cost 3 ins <6,u,3,3>, lane 1
4839     3205472256U, // <6,5,3,5>: Cost 3 ins <u,5,3,5>, lane 0
4841     2131746816U, // <6,5,3,7>: Cost 2 ins <u,5,3,7>, lane 0
4842     2131746816U, // <6,5,3,u>: Cost 2 ins <u,5,3,7>, lane 0
4845     3195568129U, // <6,5,4,2>: Cost 3 ins <6,u,4,2>, lane 1
4848     2121850881U, // <6,5,4,5>: Cost 2 ins <6,u,4,5>, lane 1
4854     3205595136U, // <6,5,5,2>: Cost 3 ins <u,5,5,2>, lane 0
4857     2131877888U, // <6,5,5,5>: Cost 2 ins <u,5,5,5>, lane 0
4859     2131894272U, // <6,5,5,7>: Cost 2 ins <u,5,5,7>, lane 0
4860     2131877888U, // <6,5,5,u>: Cost 2 ins <u,5,5,5>, lane 0
4861     2131910656U, // <6,5,6,0>: Cost 2 ins <u,5,6,0>, lane 0
4862     2131918848U, // <6,5,6,1>: Cost 2 ins <u,5,6,1>, lane 0
4863     2131927040U, // <6,5,6,2>: Cost 2 ins <u,5,6,2>, lane 0
4864     2131935232U, // <6,5,6,3>: Cost 2 ins <u,5,6,3>, lane 0
4865     2131943424U, // <6,5,6,4>: Cost 2 ins <u,5,6,4>, lane 0
4866     2131951616U, // <6,5,6,5>: Cost 2 ins <u,5,6,5>, lane 0
4867     2131959808U, // <6,5,6,6>: Cost 2 ins <u,5,6,6>, lane 0
4868     1058226176U, // <6,5,6,7>: Cost 1 ins RHS, lane 0
4869     1058226176U, // <6,5,6,u>: Cost 1 ins RHS, lane 0
4873     2122055681U, // <6,5,7,3>: Cost 2 ins <6,u,7,3>, lane 1
4879     2131910656U, // <6,5,u,0>: Cost 2 ins <u,5,6,0>, lane 0
4881     2131927040U, // <6,5,u,2>: Cost 2 ins <u,5,6,2>, lane 0
4882     2122055681U, // <6,5,u,3>: Cost 2 ins <6,u,7,3>, lane 1
4883     2131943424U, // <6,5,u,4>: Cost 2 ins <u,5,6,4>, lane 0
4886     1058226176U, // <6,5,u,7>: Cost 1 ins RHS, lane 0
4887     1058226176U, // <6,5,u,u>: Cost 1 ins RHS, lane 0
4891     3195281409U, // <6,6,0,3>: Cost 3 ins <6,u,0,3>, lane 1
4893     3195297793U, // <6,6,0,5>: Cost 3 ins <6,u,0,5>, lane 1
4894     2120826882U, // <6,6,0,6>: Cost 2 ins <6,6,u,6>, lane 2
4895     2120835074U, // <6,6,0,7>: Cost 2 ins <6,6,u,7>, lane 2
4901     3194068995U, // <6,6,1,4>: Cost 3 ins <6,6,1,u>, lane 3
4903     2120826882U, // <6,6,1,6>: Cost 2 ins <6,6,u,6>, lane 2
4904     2120835074U, // <6,6,1,7>: Cost 2 ins <6,6,u,7>, lane 2
4907     3195412481U, // <6,6,2,1>: Cost 3 ins <6,u,2,1>, lane 1
4909     2120843269U, // <6,6,2,3>: Cost 2 ins <6,6,u,u>, lane 5
4911     3195445249U, // <6,6,2,5>: Cost 3 ins <6,u,2,5>, lane 1
4912     2120826882U, // <6,6,2,6>: Cost 2 ins <6,6,u,6>, lane 2
4917     3206111232U, // <6,6,3,2>: Cost 3 ins <u,6,3,2>, lane 0
4921     2120826882U, // <6,6,3,6>: Cost 2 ins <6,6,u,6>, lane 2
4922     2132410368U, // <6,6,3,7>: Cost 2 ins <u,6,3,7>, lane 0
4923     2132410368U, // <6,6,3,u>: Cost 2 ins <u,6,3,7>, lane 0
4925     3194527746U, // <6,6,4,1>: Cost 3 ins <6,6,u,1>, lane 2
4927     3195576321U, // <6,6,4,3>: Cost 3 ins <6,u,4,3>, lane 1
4931     2120835074U, // <6,6,4,7>: Cost 2 ins <6,6,u,7>, lane 2
4933     3194363907U, // <6,6,5,0>: Cost 3 ins <6,6,5,u>, lane 3
4935     3206258688U, // <6,6,5,2>: Cost 3 ins <u,6,5,2>, lane 0
4936     3194544130U, // <6,6,5,3>: Cost 3 ins <6,6,u,3>, lane 2
4939     2120826882U, // <6,6,5,6>: Cost 2 ins <6,6,u,6>, lane 2
4943     2120695811U, // <6,6,6,1>: Cost 2 ins <6,6,6,u>, lane 3
4944     2120695811U, // <6,6,6,2>: Cost 2 ins <6,6,6,u>, lane 3
4945     2120695811U, // <6,6,6,3>: Cost 2 ins <6,6,6,u>, lane 3
4947     2120695811U, // <6,6,6,5>: Cost 2 ins <6,6,6,u>, lane 3
4951     2132647936U, // <6,6,7,0>: Cost 2 ins <u,6,7,0>, lane 0
4952     2120769539U, // <6,6,7,1>: Cost 2 ins <6,6,7,u>, lane 3
4954     2122055681U, // <6,6,7,3>: Cost 2 ins <6,u,7,3>, lane 1
4955     2132680704U, // <6,6,7,4>: Cost 2 ins <u,6,7,4>, lane 0
4956     2120769539U, // <6,6,7,5>: Cost 2 ins <6,6,7,u>, lane 3
4972     2120916995U, // <6,7,0,3>: Cost 2 ins <6,7,0,u>, lane 3
4975     2120916995U, // <6,7,0,6>: Cost 2 ins <6,7,0,u>, lane 3
4976     2120916995U, // <6,7,0,7>: Cost 2 ins <6,7,0,u>, lane 3
4985     2121498626U, // <6,7,1,7>: Cost 2 ins <6,7,u,7>, lane 2
4987     2121064451U, // <6,7,2,0>: Cost 2 ins <6,7,2,u>, lane 3
4988     2121449474U, // <6,7,2,1>: Cost 2 ins <6,7,u,1>, lane 2
4990     1059889156U, // <6,7,2,3>: Cost 1 ins LHS, lane 4
4991     2121064451U, // <6,7,2,4>: Cost 2 ins <6,7,2,u>, lane 3
4992     2121482242U, // <6,7,2,5>: Cost 2 ins <6,7,u,5>, lane 2
4994     2121498626U, // <6,7,2,7>: Cost 2 ins <6,7,u,7>, lane 2
4995     1059889156U, // <6,7,2,u>: Cost 1 ins LHS, lane 4
4997     2121449474U, // <6,7,3,1>: Cost 2 ins <6,7,u,1>, lane 2
4998     2133696516U, // <6,7,3,2>: Cost 2 ins <u,u,3,2>, lane 4
5001     2121482242U, // <6,7,3,5>: Cost 2 ins <6,7,u,5>, lane 2
5003     2133737476U, // <6,7,3,7>: Cost 2 ins <u,u,3,7>, lane 4
5006     2121449474U, // <6,7,4,1>: Cost 2 ins <6,7,u,1>, lane 2
5007     2121211907U, // <6,7,4,2>: Cost 2 ins <6,7,4,u>, lane 3
5008     2121211907U, // <6,7,4,3>: Cost 2 ins <6,7,4,u>, lane 3
5012     2121211907U, // <6,7,4,7>: Cost 2 ins <6,7,4,u>, lane 3
5017     2121465858U, // <6,7,5,3>: Cost 2 ins <6,7,u,3>, lane 2
5023     2121359363U, // <6,7,6,0>: Cost 2 ins <6,7,6,u>, lane 3
5024     2121449474U, // <6,7,6,1>: Cost 2 ins <6,7,u,1>, lane 2
5026     2121465858U, // <6,7,6,3>: Cost 2 ins <6,7,u,3>, lane 2
5027     2121359363U, // <6,7,6,4>: Cost 2 ins <6,7,6,u>, lane 3
5028     2121482242U, // <6,7,6,5>: Cost 2 ins <6,7,u,5>, lane 2
5030     1060216836U, // <6,7,6,7>: Cost 1 ins RHS, lane 4
5031     1060216836U, // <6,7,6,u>: Cost 1 ins RHS, lane 4
5033     2121449474U, // <6,7,7,1>: Cost 2 ins <6,7,u,1>, lane 2
5037     2121482242U, // <6,7,7,5>: Cost 2 ins <6,7,u,5>, lane 2
5044     1059889156U, // <6,7,u,3>: Cost 1 ins LHS, lane 4
5048     1060216836U, // <6,7,u,7>: Cost 1 ins RHS, lane 4
5065     2120826882U, // <6,u,1,6>: Cost 2 ins <6,6,u,6>, lane 2
5066     2120835074U, // <6,u,1,7>: Cost 2 ins <6,6,u,7>, lane 2
5071     1055244288U, // <6,u,2,3>: Cost 1 ins LHS, lane 0
5076     1055244288U, // <6,u,2,u>: Cost 1 ins LHS, lane 0
5078     2121449474U, // <6,u,3,1>: Cost 2 ins <6,7,u,1>, lane 2
5079     2128388096U, // <6,u,3,2>: Cost 2 ins <u,0,3,2>, lane 0
5082     2121482242U, // <6,u,3,5>: Cost 2 ins <6,7,u,5>, lane 2
5083     2120826882U, // <6,u,3,6>: Cost 2 ins <6,6,u,6>, lane 2
5084     2131746816U, // <6,u,3,7>: Cost 2 ins <u,5,3,7>, lane 0
5087     2121449474U, // <6,u,4,1>: Cost 2 ins <6,7,u,1>, lane 2
5098     2118148098U, // <6,u,5,3>: Cost 2 ins <6,2,u,3>, lane 2
5111     1058226176U, // <6,u,6,7>: Cost 1 ins RHS, lane 0
5112     1058226176U, // <6,u,6,u>: Cost 1 ins RHS, lane 0
5141     2128232448U, // <7,0,1,1>: Cost 2 ins <u,0,1,1>, lane 0
5143     2122317827U, // <7,0,1,3>: Cost 2 ins <7,0,1,u>, lane 3
5145     2122317827U, // <7,0,1,5>: Cost 2 ins <7,0,1,u>, lane 3
5147     2122317827U, // <7,0,1,7>: Cost 2 ins <7,0,1,u>, lane 3
5151     2128314368U, // <7,0,2,2>: Cost 2 ins <u,0,2,2>, lane 0
5152     2122833925U, // <7,0,2,3>: Cost 2 ins <7,0,u,u>, lane 5
5156     3201433601U, // <7,0,2,7>: Cost 3 ins <7,u,2,7>, lane 1
5160     2128388096U, // <7,0,3,2>: Cost 2 ins <u,0,3,2>, lane 0
5164     3196559362U, // <7,0,3,6>: Cost 3 ins <7,0,u,6>, lane 2
5165     3201507329U, // <7,0,3,7>: Cost 3 ins <7,u,3,7>, lane 1
5166     2128388096U, // <7,0,3,u>: Cost 2 ins <u,0,3,2>, lane 0
5170     3201548289U, // <7,0,4,3>: Cost 3 ins <7,u,4,3>, lane 1
5174     3201581057U, // <7,0,4,7>: Cost 3 ins <7,u,4,7>, lane 1
5177     2128527360U, // <7,0,5,1>: Cost 2 ins <u,0,5,1>, lane 0
5187     2128609280U, // <7,0,6,2>: Cost 2 ins <u,0,6,2>, lane 0
5189     3202367488U, // <7,0,6,4>: Cost 3 ins <u,0,6,4>, lane 0
5192     2122833925U, // <7,0,6,7>: Cost 2 ins <7,0,u,u>, lane 5
5193     2128609280U, // <7,0,6,u>: Cost 2 ins <u,0,6,2>, lane 0
5197     3201769473U, // <7,0,7,3>: Cost 3 ins <7,u,7,3>, lane 1
5201     2128060417U, // <7,0,7,7>: Cost 2 ins <7,u,7,7>, lane 1
5206     2122317827U, // <7,0,u,3>: Cost 2 ins <7,0,1,u>, lane 3
5210     2122317827U, // <7,0,u,7>: Cost 2 ins <7,0,1,u>, lane 3
5213     2128822272U, // <7,1,0,1>: Cost 2 ins <u,1,0,1>, lane 0
5219     3201286145U, // <7,1,0,7>: Cost 3 ins <7,u,0,7>, lane 1
5223     2127577089U, // <7,1,1,2>: Cost 2 ins <7,u,1,2>, lane 1
5230     2128961536U, // <7,1,2,0>: Cost 2 ins <u,1,2,0>, lane 0
5231     2128969728U, // <7,1,2,1>: Cost 2 ins <u,1,2,1>, lane 0
5232     2128977920U, // <7,1,2,2>: Cost 2 ins <u,1,2,2>, lane 0
5233     1055244288U, // <7,1,2,3>: Cost 1 ins LHS, lane 0
5234     2128994304U, // <7,1,2,4>: Cost 2 ins <u,1,2,4>, lane 0
5235     2129002496U, // <7,1,2,5>: Cost 2 ins <u,1,2,5>, lane 0
5236     2129010688U, // <7,1,2,6>: Cost 2 ins <u,1,2,6>, lane 0
5237     2129018880U, // <7,1,2,7>: Cost 2 ins <u,1,2,7>, lane 0
5238     1055244288U, // <7,1,2,u>: Cost 1 ins LHS, lane 0
5251     2129133568U, // <7,1,4,3>: Cost 2 ins <u,1,4,3>, lane 0
5253     2129149952U, // <7,1,4,5>: Cost 2 ins <u,1,4,5>, lane 0
5259     3202940928U, // <7,1,5,2>: Cost 3 ins <u,1,5,2>, lane 0
5263     2127904769U, // <7,1,5,6>: Cost 2 ins <7,u,5,6>, lane 1
5269     2129281024U, // <7,1,6,3>: Cost 2 ins <u,1,6,3>, lane 0
5273     2129313792U, // <7,1,6,7>: Cost 2 ins <u,1,6,7>, lane 0
5274     2129281024U, // <7,1,6,u>: Cost 2 ins <u,1,6,3>, lane 0
5281     3201794049U, // <7,1,7,6>: Cost 3 ins <7,u,7,6>, lane 1
5282     2128060417U, // <7,1,7,7>: Cost 2 ins <7,u,7,7>, lane 1
5287     1055244288U, // <7,1,u,3>: Cost 1 ins LHS, lane 0
5292     1055244288U, // <7,1,u,u>: Cost 1 ins LHS, lane 0
5295     2129494016U, // <7,2,0,2>: Cost 2 ins <u,2,0,2>, lane 0
5303     3203301376U, // <7,2,1,1>: Cost 3 ins <u,2,1,1>, lane 0
5304     2127577089U, // <7,2,1,2>: Cost 2 ins <7,u,1,2>, lane 1
5307     3203334144U, // <7,2,1,5>: Cost 3 ins <u,2,1,5>, lane 0
5310     2127577089U, // <7,2,1,u>: Cost 2 ins <7,u,1,2>, lane 1
5318     3201433601U, // <7,2,2,7>: Cost 3 ins <7,u,2,7>, lane 1
5335     2129821696U, // <7,2,4,6>: Cost 2 ins <u,2,4,6>, lane 0
5336     3201581057U, // <7,2,4,7>: Cost 3 ins <7,u,4,7>, lane 1
5339     3203596288U, // <7,2,5,1>: Cost 3 ins <u,2,5,1>, lane 0
5343     3203629056U, // <7,2,5,5>: Cost 3 ins <u,2,5,5>, lane 0
5344     2127904769U, // <7,2,5,6>: Cost 2 ins <7,u,5,6>, lane 1
5346     2127904769U, // <7,2,5,u>: Cost 2 ins <7,u,5,6>, lane 1
5354     2129977344U, // <7,2,6,7>: Cost 2 ins <u,2,6,7>, lane 0
5357     3203743744U, // <7,2,7,1>: Cost 3 ins <u,2,7,1>, lane 0
5361     3203776512U, // <7,2,7,5>: Cost 3 ins <u,2,7,5>, lane 0
5363     2128060417U, // <7,2,7,7>: Cost 2 ins <7,u,7,7>, lane 1
5367     2129494016U, // <7,2,u,2>: Cost 2 ins <u,2,0,2>, lane 0
5371     2129821696U, // <7,2,u,6>: Cost 2 ins <u,2,4,6>, lane 0
5372     2129977344U, // <7,2,u,7>: Cost 2 ins <u,2,6,7>, lane 0
5385     2127577089U, // <7,3,1,2>: Cost 2 ins <7,u,1,2>, lane 1
5395     2130313216U, // <7,3,2,3>: Cost 2 ins <u,3,2,3>, lane 0
5400     2130313216U, // <7,3,2,u>: Cost 2 ins <u,3,2,3>, lane 0
5425     2127904769U, // <7,3,5,6>: Cost 2 ins <7,u,5,6>, lane 1
5433     3204366336U, // <7,3,6,5>: Cost 3 ins <u,3,6,5>, lane 0
5435     2130640896U, // <7,3,6,7>: Cost 2 ins <u,3,6,7>, lane 0
5444     2128060417U, // <7,3,7,7>: Cost 2 ins <7,u,7,7>, lane 1
5452     2127904769U, // <7,3,u,6>: Cost 2 ins <7,u,5,6>, lane 1
5458     3201253377U, // <7,4,0,3>: Cost 3 ins <7,u,0,3>, lane 1
5466     2127577089U, // <7,4,1,2>: Cost 2 ins <7,u,1,2>, lane 1
5469     2130919424U, // <7,4,1,5>: Cost 2 ins <u,4,1,5>, lane 0
5473     3204694016U, // <7,4,2,0>: Cost 3 ins <u,4,2,0>, lane 0
5474     3199172610U, // <7,4,2,1>: Cost 3 ins <7,4,u,1>, lane 2
5476     2125488133U, // <7,4,2,3>: Cost 2 ins <7,4,u,u>, lane 5
5479     2131001344U, // <7,4,2,6>: Cost 2 ins <u,4,2,6>, lane 0
5480     3201433601U, // <7,4,2,7>: Cost 3 ins <7,u,2,7>, lane 1
5481     2125488133U, // <7,4,2,u>: Cost 2 ins <7,4,u,u>, lane 5
5483     3201458177U, // <7,4,3,1>: Cost 3 ins <7,u,3,1>, lane 1
5484     3204784128U, // <7,4,3,2>: Cost 3 ins <u,4,3,2>, lane 0
5488     2125471746U, // <7,4,3,6>: Cost 2 ins <7,4,u,6>, lane 2
5489     3201507329U, // <7,4,3,7>: Cost 3 ins <7,u,3,7>, lane 1
5490     2125471746U, // <7,4,3,u>: Cost 2 ins <7,4,u,6>, lane 2
5492     3201531905U, // <7,4,4,1>: Cost 3 ins <7,u,4,1>, lane 1
5493     3201540097U, // <7,4,4,2>: Cost 3 ins <7,u,4,2>, lane 1
5501     2125266947U, // <7,4,5,1>: Cost 2 ins <7,4,5,u>, lane 3
5502     2125266947U, // <7,4,5,2>: Cost 2 ins <7,4,5,u>, lane 3
5503     2125266947U, // <7,4,5,3>: Cost 2 ins <7,4,5,u>, lane 3
5505     2131214336U, // <7,4,5,5>: Cost 2 ins <u,4,5,5>, lane 0
5507     2125266947U, // <7,4,5,7>: Cost 2 ins <7,4,5,u>, lane 3
5515     2131296256U, // <7,4,6,6>: Cost 2 ins <u,4,6,6>, lane 0
5516     2125488133U, // <7,4,6,7>: Cost 2 ins <7,4,u,u>, lane 5
5520     3201761281U, // <7,4,7,2>: Cost 3 ins <7,u,7,2>, lane 1
5521     3201769473U, // <7,4,7,3>: Cost 3 ins <7,u,7,3>, lane 1
5525     2128060417U, // <7,4,7,7>: Cost 2 ins <7,u,7,7>, lane 1
5529     2127577089U, // <7,4,u,2>: Cost 2 ins <7,u,1,2>, lane 1
5530     2125488133U, // <7,4,u,3>: Cost 2 ins <7,4,u,u>, lane 5
5534     2125266947U, // <7,4,u,7>: Cost 2 ins <7,4,5,u>, lane 3
5537     2131476480U, // <7,5,0,1>: Cost 2 ins <u,5,0,1>, lane 0
5539     3201253377U, // <7,5,0,3>: Cost 3 ins <7,u,0,3>, lane 1
5543     2131525632U, // <7,5,0,7>: Cost 2 ins <u,5,0,7>, lane 0
5547     2127577089U, // <7,5,1,2>: Cost 2 ins <7,u,1,2>, lane 1
5557     2131640320U, // <7,5,2,3>: Cost 2 ins <u,5,2,3>, lane 0
5561     2131673088U, // <7,5,2,7>: Cost 2 ins <u,5,2,7>, lane 0
5562     2131640320U, // <7,5,2,u>: Cost 2 ins <u,5,2,3>, lane 0
5563     3201449985U, // <7,5,3,0>: Cost 3 ins <7,u,3,0>, lane 1
5567     3201482753U, // <7,5,3,4>: Cost 3 ins <7,u,3,4>, lane 1
5575     3201548289U, // <7,5,4,3>: Cost 3 ins <7,u,4,3>, lane 1
5577     2131804160U, // <7,5,4,5>: Cost 2 ins <u,5,4,5>, lane 0
5583     3201613825U, // <7,5,5,2>: Cost 3 ins <7,u,5,2>, lane 1
5587     2127904769U, // <7,5,5,6>: Cost 2 ins <7,u,5,6>, lane 1
5590     2131910656U, // <7,5,6,0>: Cost 2 ins <u,5,6,0>, lane 0
5591     2131918848U, // <7,5,6,1>: Cost 2 ins <u,5,6,1>, lane 0
5592     2131927040U, // <7,5,6,2>: Cost 2 ins <u,5,6,2>, lane 0
5593     2131935232U, // <7,5,6,3>: Cost 2 ins <u,5,6,3>, lane 0
5594     2131943424U, // <7,5,6,4>: Cost 2 ins <u,5,6,4>, lane 0
5595     2131951616U, // <7,5,6,5>: Cost 2 ins <u,5,6,5>, lane 0
5596     2131959808U, // <7,5,6,6>: Cost 2 ins <u,5,6,6>, lane 0
5597     1058226176U, // <7,5,6,7>: Cost 1 ins RHS, lane 0
5598     1058226176U, // <7,5,6,u>: Cost 1 ins RHS, lane 0
5615     1058226176U, // <7,5,u,7>: Cost 1 ins RHS, lane 0
5616     1058226176U, // <7,5,u,u>: Cost 1 ins RHS, lane 0
5619     2132148224U, // <7,6,0,2>: Cost 2 ins <u,6,0,2>, lane 0
5628     2127577089U, // <7,6,1,2>: Cost 2 ins <7,u,1,2>, lane 1
5638     2132303872U, // <7,6,2,3>: Cost 2 ins <u,6,2,3>, lane 0
5649     3206135808U, // <7,6,3,5>: Cost 3 ins <u,6,3,5>, lane 0
5659     2132475904U, // <7,6,4,6>: Cost 2 ins <u,6,4,6>, lane 0
5665     3201622017U, // <7,6,5,3>: Cost 3 ins <7,u,5,3>, lane 1
5668     2127904769U, // <7,6,5,6>: Cost 2 ins <7,u,5,6>, lane 1
5674     3201695745U, // <7,6,6,3>: Cost 3 ins <7,u,6,3>, lane 1
5691     2132148224U, // <7,6,u,2>: Cost 2 ins <u,6,0,2>, lane 0
5692     2132303872U, // <7,6,u,3>: Cost 2 ins <u,6,2,3>, lane 0
5695     2132475904U, // <7,6,u,6>: Cost 2 ins <u,6,4,6>, lane 0
5705     2127470594U, // <7,7,0,7>: Cost 2 ins <7,7,u,7>, lane 2
5709     2127577089U, // <7,7,1,2>: Cost 2 ins <7,u,1,2>, lane 1
5714     2127470594U, // <7,7,1,7>: Cost 2 ins <7,7,u,7>, lane 2
5717     3206692864U, // <7,7,2,1>: Cost 3 ins <u,7,2,1>, lane 0
5719     2132967424U, // <7,7,2,3>: Cost 2 ins <u,7,2,3>, lane 0
5721     3206725632U, // <7,7,2,5>: Cost 3 ins <u,7,2,5>, lane 0
5723     2127470594U, // <7,7,2,7>: Cost 2 ins <7,7,u,7>, lane 2
5727     3201171458U, // <7,7,3,2>: Cost 3 ins <7,7,u,2>, lane 2
5732     2127470594U, // <7,7,3,7>: Cost 2 ins <7,7,u,7>, lane 2
5736     3201540097U, // <7,7,4,2>: Cost 3 ins <7,u,4,2>, lane 1
5741     2127470594U, // <7,7,4,7>: Cost 2 ins <7,7,u,7>, lane 2
5745     3201613825U, // <7,7,5,2>: Cost 3 ins <7,u,5,2>, lane 1
5749     2127904769U, // <7,7,5,6>: Cost 2 ins <7,u,5,6>, lane 1
5759     2133295104U, // <7,7,6,7>: Cost 2 ins <u,7,6,7>, lane 0
5762     2127405059U, // <7,7,7,1>: Cost 2 ins <7,7,7,u>, lane 3
5763     2127405059U, // <7,7,7,2>: Cost 2 ins <7,7,7,u>, lane 3
5764     2127405059U, // <7,7,7,3>: Cost 2 ins <7,7,7,u>, lane 3
5766     2127405059U, // <7,7,7,5>: Cost 2 ins <7,7,7,u>, lane 3
5767     2127405059U, // <7,7,7,6>: Cost 2 ins <7,7,7,u>, lane 3
5789     2128232448U, // <7,u,1,1>: Cost 2 ins <u,0,1,1>, lane 0
5793     2122317827U, // <7,u,1,5>: Cost 2 ins <7,0,1,u>, lane 3
5798     2128969728U, // <7,u,2,1>: Cost 2 ins <u,1,2,1>, lane 0
5799     2128314368U, // <7,u,2,2>: Cost 2 ins <u,0,2,2>, lane 0
5800     1055244288U, // <7,u,2,3>: Cost 1 ins LHS, lane 0
5802     2129002496U, // <7,u,2,5>: Cost 2 ins <u,1,2,5>, lane 0
5803     2131001344U, // <7,u,2,6>: Cost 2 ins <u,4,2,6>, lane 0
5805     1055244288U, // <7,u,2,u>: Cost 1 ins LHS, lane 0
5808     2128388096U, // <7,u,3,2>: Cost 2 ins <u,0,3,2>, lane 0
5812     2125471746U, // <7,u,3,6>: Cost 2 ins <7,4,u,6>, lane 2
5834     2131918848U, // <7,u,6,1>: Cost 2 ins <u,5,6,1>, lane 0
5838     2131951616U, // <7,u,6,5>: Cost 2 ins <u,5,6,5>, lane 0
5840     1058226176U, // <7,u,6,7>: Cost 1 ins RHS, lane 0
5841     1058226176U, // <7,u,6,u>: Cost 1 ins RHS, lane 0
5854     1055244288U, // <7,u,u,3>: Cost 1 ins LHS, lane 0
5858     1058226176U, // <7,u,u,7>: Cost 1 ins RHS, lane 0
5863     2085707777U, // <u,0,0,3>: Cost 2 ins <0,u,0,3>, lane 1
5865     2080440323U, // <u,0,0,5>: Cost 2 ins <0,0,0,u>, lane 3
5866     2080440323U, // <u,0,0,6>: Cost 2 ins <0,0,0,u>, lane 3
5867     2080440323U, // <u,0,0,7>: Cost 2 ins <0,0,0,u>, lane 3
5874     2085797889U, // <u,0,1,5>: Cost 2 ins <0,u,1,5>, lane 1
5876     2080514051U, // <u,0,1,7>: Cost 2 ins <0,0,1,u>, lane 3
5881     1012113409U, // <u,0,2,3>: Cost 1 ins LHS, lane 1
5883     2080587779U, // <u,0,2,5>: Cost 2 ins <0,0,2,u>, lane 3
5884     2085879809U, // <u,0,2,6>: Cost 2 ins <0,u,2,6>, lane 1
5885     2080587779U, // <u,0,2,7>: Cost 2 ins <0,0,2,u>, lane 3
5890     2091900929U, // <u,0,3,3>: Cost 2 ins <1,u,3,3>, lane 1
5891     2091909121U, // <u,0,3,4>: Cost 2 ins <1,u,3,4>, lane 1
5892     2086633475U, // <u,0,3,5>: Cost 2 ins <1,0,3,u>, lane 3
5893     2086633475U, // <u,0,3,6>: Cost 2 ins <1,0,3,u>, lane 3
5894     2091933697U, // <u,0,3,7>: Cost 2 ins <1,u,3,7>, lane 1
5899     2086002689U, // <u,0,4,3>: Cost 2 ins <0,u,4,3>, lane 1
5903     2109923329U, // <u,0,4,7>: Cost 2 ins <4,u,4,7>, lane 1
5908     2104696835U, // <u,0,5,3>: Cost 2 ins <4,0,5,u>, lane 3
5910     2109980673U, // <u,0,5,5>: Cost 2 ins <4,u,5,5>, lane 1
5917     2104770563U, // <u,0,6,3>: Cost 2 ins <4,0,6,u>, lane 3
5919     2104770563U, // <u,0,6,5>: Cost 2 ins <4,0,6,u>, lane 3
5920     2110062593U, // <u,0,6,6>: Cost 2 ins <4,u,6,6>, lane 1
5921     1036328961U, // <u,0,6,7>: Cost 1 ins RHS, lane 1
5926     2116083713U, // <u,0,7,3>: Cost 2 ins <5,u,7,3>, lane 1
5927     2116091905U, // <u,0,7,4>: Cost 2 ins <5,u,7,4>, lane 1
5929     2116108289U, // <u,0,7,6>: Cost 2 ins <5,u,7,6>, lane 1
5930     2116116481U, // <u,0,7,7>: Cost 2 ins <5,u,7,7>, lane 1
5935     1012113409U, // <u,0,u,3>: Cost 1 ins LHS, lane 1
5939     1036328961U, // <u,0,u,7>: Cost 1 ins RHS, lane 1
5942     1007951877U, // <u,1,0,1>: Cost 1 ins LHS, lane 5
5944     1007910914U, // <u,1,0,3>: Cost 1 ins LHS, lane 2
5945     2081660930U, // <u,1,0,4>: Cost 2 ins <0,1,u,4>, lane 2
5946     2081669122U, // <u,1,0,5>: Cost 2 ins <0,1,u,5>, lane 2
5947     2081677314U, // <u,1,0,6>: Cost 2 ins <0,1,u,6>, lane 2
5948     2081685506U, // <u,1,0,7>: Cost 2 ins <0,1,u,7>, lane 2
5949     1007951877U, // <u,1,0,u>: Cost 1 ins LHS, lane 5
5953     1007910914U, // <u,1,1,3>: Cost 1 ins LHS, lane 2
5956     2081677314U, // <u,1,1,6>: Cost 2 ins <0,1,u,6>, lane 2
5957     2081685506U, // <u,1,1,7>: Cost 2 ins <0,1,u,7>, lane 2
5958     1007910914U, // <u,1,1,u>: Cost 1 ins LHS, lane 2
5959     1007509507U, // <u,1,2,0>: Cost 1 ins LHS, lane 3
5960     1007509507U, // <u,1,2,1>: Cost 1 ins LHS, lane 3
5961     1007509507U, // <u,1,2,2>: Cost 1 ins LHS, lane 3
5963     1007509507U, // <u,1,2,4>: Cost 1 ins LHS, lane 3
5964     1007509507U, // <u,1,2,5>: Cost 1 ins LHS, lane 3
5965     1007509507U, // <u,1,2,6>: Cost 1 ins LHS, lane 3
5966     1007509507U, // <u,1,2,7>: Cost 1 ins LHS, lane 3
5974     2087297027U, // <u,1,3,6>: Cost 2 ins <1,1,3,u>, lane 3
5975     2133737476U, // <u,1,3,7>: Cost 2 ins <u,u,3,7>, lane 4
5978     2081636354U, // <u,1,4,1>: Cost 2 ins <0,1,u,1>, lane 2
5979     2081644546U, // <u,1,4,2>: Cost 2 ins <0,1,u,2>, lane 2
5980     1007910914U, // <u,1,4,3>: Cost 1 ins LHS, lane 2
5981     2081660930U, // <u,1,4,4>: Cost 2 ins <0,1,u,4>, lane 2
5982     1007951877U, // <u,1,4,5>: Cost 1 ins LHS, lane 5
5984     2081685506U, // <u,1,4,7>: Cost 2 ins <0,1,u,7>, lane 2
5985     1007910914U, // <u,1,4,u>: Cost 1 ins LHS, lane 2
5989     1007910914U, // <u,1,5,3>: Cost 1 ins LHS, lane 2
5992     2133876740U, // <u,1,5,6>: Cost 2 ins <u,u,5,6>, lane 4
5994     1007910914U, // <u,1,5,u>: Cost 1 ins LHS, lane 2
5995     2081628162U, // <u,1,6,0>: Cost 2 ins <0,1,u,0>, lane 2
5997     2133917700U, // <u,1,6,2>: Cost 2 ins <u,u,6,2>, lane 4
5998     1007910914U, // <u,1,6,3>: Cost 1 ins LHS, lane 2
5999     2081660930U, // <u,1,6,4>: Cost 2 ins <0,1,u,4>, lane 2
6001     2133950468U, // <u,1,6,6>: Cost 2 ins <u,u,6,6>, lane 4
6002     1060216836U, // <u,1,6,7>: Cost 1 ins RHS, lane 4
6003     1007910914U, // <u,1,6,u>: Cost 1 ins LHS, lane 2
6004     2133975044U, // <u,1,7,0>: Cost 2 ins <u,u,7,0>, lane 4
6008     2134007812U, // <u,1,7,4>: Cost 2 ins <u,u,7,4>, lane 4
6010     2134024196U, // <u,1,7,6>: Cost 2 ins <u,u,7,6>, lane 4
6011     2134032388U, // <u,1,7,7>: Cost 2 ins <u,u,7,7>, lane 4
6013     1007509507U, // <u,1,u,0>: Cost 1 ins LHS, lane 3
6014     1007951877U, // <u,1,u,1>: Cost 1 ins LHS, lane 5
6015     1007509507U, // <u,1,u,2>: Cost 1 ins LHS, lane 3
6017     1007509507U, // <u,1,u,4>: Cost 1 ins LHS, lane 3
6018     1007509507U, // <u,1,u,5>: Cost 1 ins LHS, lane 3
6019     1007509507U, // <u,1,u,6>: Cost 1 ins LHS, lane 3
6020     1007509507U, // <u,1,u,7>: Cost 1 ins LHS, lane 3
6027     2081767427U, // <u,2,0,5>: Cost 2 ins <0,2,0,u>, lane 3
6028     2082340866U, // <u,2,0,6>: Cost 2 ins <0,2,u,6>, lane 2
6029     2081767427U, // <u,2,0,7>: Cost 2 ins <0,2,0,u>, lane 3
6035     2088296450U, // <u,2,1,4>: Cost 2 ins <1,2,u,4>, lane 2
6038     2109702145U, // <u,2,1,7>: Cost 2 ins <4,u,1,7>, lane 1
6041     2085838849U, // <u,2,2,1>: Cost 2 ins <0,u,2,1>, lane 1
6043     1012113409U, // <u,2,2,3>: Cost 1 ins LHS, lane 1
6045     2085871617U, // <u,2,2,5>: Cost 2 ins <0,u,2,5>, lane 1
6046     2085879809U, // <u,2,2,6>: Cost 2 ins <0,u,2,6>, lane 1
6047     2085888001U, // <u,2,2,7>: Cost 2 ins <0,u,2,7>, lane 1
6048     1012113409U, // <u,2,2,u>: Cost 1 ins LHS, lane 1
6059     2082062339U, // <u,2,4,1>: Cost 2 ins <0,2,4,u>, lane 3
6060     2082308098U, // <u,2,4,2>: Cost 2 ins <0,2,u,2>, lane 2
6065     2082062339U, // <u,2,4,7>: Cost 2 ins <0,2,4,u>, lane 3
6067     2088263682U, // <u,2,5,0>: Cost 2 ins <1,2,u,0>, lane 2
6077     2110021633U, // <u,2,6,1>: Cost 2 ins <4,u,6,1>, lane 1
6081     2110054401U, // <u,2,6,5>: Cost 2 ins <4,u,6,5>, lane 1
6083     1036328961U, // <u,2,6,7>: Cost 1 ins RHS, lane 1
6084     1036328961U, // <u,2,6,u>: Cost 1 ins RHS, lane 1
6101     1036328961U, // <u,2,u,7>: Cost 1 ins RHS, lane 1
6106     2088951810U, // <u,3,0,3>: Cost 2 ins <1,3,u,3>, lane 2
6108     2094940162U, // <u,3,0,5>: Cost 2 ins <2,3,u,5>, lane 2
6109     2094374915U, // <u,3,0,6>: Cost 2 ins <2,3,0,u>, lane 3
6110     2088984578U, // <u,3,0,7>: Cost 2 ins <1,3,u,7>, lane 2
6118     2088476675U, // <u,3,1,6>: Cost 2 ins <1,3,1,u>, lane 3
6119     2088984578U, // <u,3,1,7>: Cost 2 ins <1,3,u,7>, lane 2
6124     1012113409U, // <u,3,2,3>: Cost 1 ins LHS, lane 1
6128     2088984578U, // <u,3,2,7>: Cost 2 ins <1,3,u,7>, lane 2
6129     1012113409U, // <u,3,2,u>: Cost 1 ins LHS, lane 1
6136     2100568067U, // <u,3,3,6>: Cost 2 ins <3,3,3,u>, lane 3
6141     2094669827U, // <u,3,4,2>: Cost 2 ins <2,3,4,u>, lane 3
6142     2088951810U, // <u,3,4,3>: Cost 2 ins <1,3,u,3>, lane 2
6146     2088984578U, // <u,3,4,7>: Cost 2 ins <1,3,u,7>, lane 2
6150     2088771587U, // <u,3,5,2>: Cost 2 ins <1,3,5,u>, lane 3
6164     1060216836U, // <u,3,6,7>: Cost 1 ins RHS, lane 4
6165     1060216836U, // <u,3,6,u>: Cost 1 ins RHS, lane 4
6172     2134024196U, // <u,3,7,6>: Cost 2 ins <u,u,7,6>, lane 4
6187     2085707777U, // <u,4,0,3>: Cost 2 ins <0,u,0,3>, lane 1
6191     2109628417U, // <u,4,0,7>: Cost 2 ins <4,u,0,7>, lane 1
6194     2085765121U, // <u,4,1,1>: Cost 2 ins <0,u,1,1>, lane 1
6200     2083168259U, // <u,4,1,7>: Cost 2 ins <0,4,1,u>, lane 3
6203     2083241987U, // <u,4,2,1>: Cost 2 ins <0,4,2,u>, lane 3
6204     2085847041U, // <u,4,2,2>: Cost 2 ins <0,u,2,2>, lane 1
6205     1012113409U, // <u,4,2,3>: Cost 1 ins LHS, lane 1
6209     2083241987U, // <u,4,2,7>: Cost 2 ins <0,4,2,u>, lane 3
6211     2091876353U, // <u,4,3,0>: Cost 2 ins <1,u,3,0>, lane 1
6213     2091892737U, // <u,4,3,2>: Cost 2 ins <1,u,3,2>, lane 1
6214     2091900929U, // <u,4,3,3>: Cost 2 ins <1,u,3,3>, lane 1
6218     2091933697U, // <u,4,3,7>: Cost 2 ins <1,u,3,7>, lane 1
6221     2107277315U, // <u,4,4,1>: Cost 2 ins <4,4,4,u>, lane 3
6222     2107277315U, // <u,4,4,2>: Cost 2 ins <4,4,4,u>, lane 3
6223     2086002689U, // <u,4,4,3>: Cost 2 ins <0,u,4,3>, lane 1
6227     2109923329U, // <u,4,4,7>: Cost 2 ins <4,u,4,7>, lane 1
6230     2101379075U, // <u,4,5,1>: Cost 2 ins <3,4,5,u>, lane 3
6232     2101379075U, // <u,4,5,3>: Cost 2 ins <3,4,5,u>, lane 3
6239     2107424771U, // <u,4,6,1>: Cost 2 ins <4,4,6,u>, lane 3
6240     2110029825U, // <u,4,6,2>: Cost 2 ins <4,u,6,2>, lane 1
6241     2107424771U, // <u,4,6,3>: Cost 2 ins <4,4,6,u>, lane 3
6245     1036328961U, // <u,4,6,7>: Cost 1 ins RHS, lane 1
6247     2116059137U, // <u,4,7,0>: Cost 2 ins <5,u,7,0>, lane 1
6248     2113470467U, // <u,4,7,1>: Cost 2 ins <5,4,7,u>, lane 3
6249     2113470467U, // <u,4,7,2>: Cost 2 ins <5,4,7,u>, lane 3
6250     2116083713U, // <u,4,7,3>: Cost 2 ins <5,u,7,3>, lane 1
6254     2116116481U, // <u,4,7,7>: Cost 2 ins <5,u,7,7>, lane 1
6259     1012113409U, // <u,4,u,3>: Cost 1 ins LHS, lane 1
6263     1036328961U, // <u,4,u,7>: Cost 1 ins RHS, lane 1
6265     2085683201U, // <u,5,0,0>: Cost 2 ins <0,u,0,0>, lane 1
6266     1034493957U, // <u,5,0,1>: Cost 1 ins RHS, lane 5
6268     2085707777U, // <u,5,0,3>: Cost 2 ins <0,u,0,3>, lane 1
6271     2108219394U, // <u,5,0,6>: Cost 2 ins <4,5,u,6>, lane 2
6272     1034485762U, // <u,5,0,7>: Cost 1 ins RHS, lane 2
6273     1034493957U, // <u,5,0,u>: Cost 1 ins RHS, lane 5
6276     2103689217U, // <u,5,1,2>: Cost 2 ins <3,u,1,2>, lane 1
6281     1034485762U, // <u,5,1,7>: Cost 1 ins RHS, lane 2
6282     1034485762U, // <u,5,1,u>: Cost 1 ins RHS, lane 2
6283     2085830657U, // <u,5,2,0>: Cost 2 ins <0,u,2,0>, lane 1
6285     2085847041U, // <u,5,2,2>: Cost 2 ins <0,u,2,2>, lane 1
6286     1012113409U, // <u,5,2,3>: Cost 1 ins LHS, lane 1
6287     2085863425U, // <u,5,2,4>: Cost 2 ins <0,u,2,4>, lane 1
6289     2085879809U, // <u,5,2,6>: Cost 2 ins <0,u,2,6>, lane 1
6290     1034485762U, // <u,5,2,7>: Cost 1 ins RHS, lane 2
6291     1012113409U, // <u,5,2,u>: Cost 1 ins LHS, lane 1
6292     2091876353U, // <u,5,3,0>: Cost 2 ins <1,u,3,0>, lane 1
6294     2091892737U, // <u,5,3,2>: Cost 2 ins <1,u,3,2>, lane 1
6295     2091900929U, // <u,5,3,3>: Cost 2 ins <1,u,3,3>, lane 1
6296     2091909121U, // <u,5,3,4>: Cost 2 ins <1,u,3,4>, lane 1
6301     2108170242U, // <u,5,4,0>: Cost 2 ins <4,5,u,0>, lane 2
6302     2108178434U, // <u,5,4,1>: Cost 2 ins <4,5,u,1>, lane 2
6303     2108186626U, // <u,5,4,2>: Cost 2 ins <4,5,u,2>, lane 2
6304     2086002689U, // <u,5,4,3>: Cost 2 ins <0,u,4,3>, lane 1
6306     1034493957U, // <u,5,4,5>: Cost 1 ins RHS, lane 5
6308     1034485762U, // <u,5,4,7>: Cost 1 ins RHS, lane 2
6309     1034493957U, // <u,5,4,u>: Cost 1 ins RHS, lane 5
6312     2108186626U, // <u,5,5,2>: Cost 2 ins <4,5,u,2>, lane 2
6313     2086076417U, // <u,5,5,3>: Cost 2 ins <0,u,5,3>, lane 1
6317     1034485762U, // <u,5,5,7>: Cost 1 ins RHS, lane 2
6318     1034485762U, // <u,5,5,u>: Cost 1 ins RHS, lane 2
6319     1034346499U, // <u,5,6,0>: Cost 1 ins RHS, lane 3
6320     1034346499U, // <u,5,6,1>: Cost 1 ins RHS, lane 3
6321     1034346499U, // <u,5,6,2>: Cost 1 ins RHS, lane 3
6322     1034346499U, // <u,5,6,3>: Cost 1 ins RHS, lane 3
6323     1034346499U, // <u,5,6,4>: Cost 1 ins RHS, lane 3
6324     1034346499U, // <u,5,6,5>: Cost 1 ins RHS, lane 3
6325     1034346499U, // <u,5,6,6>: Cost 1 ins RHS, lane 3
6330     2114134019U, // <u,5,7,2>: Cost 2 ins <5,5,7,u>, lane 3
6331     2133999620U, // <u,5,7,3>: Cost 2 ins <u,u,7,3>, lane 4
6337     1034346499U, // <u,5,u,0>: Cost 1 ins RHS, lane 3
6338     1034493957U, // <u,5,u,1>: Cost 1 ins RHS, lane 5
6339     1034346499U, // <u,5,u,2>: Cost 1 ins RHS, lane 3
6340     1012113409U, // <u,5,u,3>: Cost 1 ins LHS, lane 1
6341     1034346499U, // <u,5,u,4>: Cost 1 ins RHS, lane 3
6342     1034493957U, // <u,5,u,5>: Cost 1 ins RHS, lane 5
6343     1034346499U, // <u,5,u,6>: Cost 1 ins RHS, lane 3
6349     2108309507U, // <u,6,0,3>: Cost 2 ins <4,6,0,u>, lane 3
6351     2108309507U, // <u,6,0,5>: Cost 2 ins <4,6,0,u>, lane 3
6352     2108882946U, // <u,6,0,6>: Cost 2 ins <4,6,u,6>, lane 2
6359     2114838530U, // <u,6,1,4>: Cost 2 ins <5,6,u,4>, lane 2
6365     2085838849U, // <u,6,2,1>: Cost 2 ins <0,u,2,1>, lane 1
6367     1012113409U, // <u,6,2,3>: Cost 1 ins LHS, lane 1
6369     2085871617U, // <u,6,2,5>: Cost 2 ins <0,u,2,5>, lane 1
6372     1012113409U, // <u,6,2,u>: Cost 1 ins LHS, lane 1
6383     2108604419U, // <u,6,4,1>: Cost 2 ins <4,6,4,u>, lane 3
6384     2108850178U, // <u,6,4,2>: Cost 2 ins <4,6,u,2>, lane 2
6385     2108604419U, // <u,6,4,3>: Cost 2 ins <4,6,4,u>, lane 3
6391     2114805762U, // <u,6,5,0>: Cost 2 ins <5,6,u,0>, lane 2
6394     2086076417U, // <u,6,5,3>: Cost 2 ins <0,u,5,3>, lane 1
6401     2110021633U, // <u,6,6,1>: Cost 2 ins <4,u,6,1>, lane 1
6402     2110029825U, // <u,6,6,2>: Cost 2 ins <4,u,6,2>, lane 1
6403     2086150145U, // <u,6,6,3>: Cost 2 ins <0,u,6,3>, lane 1
6405     2110054401U, // <u,6,6,5>: Cost 2 ins <4,u,6,5>, lane 1
6407     1036328961U, // <u,6,6,7>: Cost 1 ins RHS, lane 1
6408     1036328961U, // <u,6,6,u>: Cost 1 ins RHS, lane 1
6421     1012113409U, // <u,6,u,3>: Cost 1 ins LHS, lane 1
6430     2115493890U, // <u,7,0,3>: Cost 2 ins <5,7,u,3>, lane 2
6433     2120916995U, // <u,7,0,6>: Cost 2 ins <6,7,0,u>, lane 3
6434     2115526658U, // <u,7,0,7>: Cost 2 ins <5,7,u,7>, lane 2
6442     2115018755U, // <u,7,1,6>: Cost 2 ins <5,7,1,u>, lane 3
6448     1012113409U, // <u,7,2,3>: Cost 1 ins LHS, lane 1
6453     1012113409U, // <u,7,2,u>: Cost 1 ins LHS, lane 1
6456     2091892737U, // <u,7,3,2>: Cost 2 ins <1,u,3,2>, lane 1
6464     2121449474U, // <u,7,4,1>: Cost 2 ins <6,7,u,1>, lane 2
6465     2121211907U, // <u,7,4,2>: Cost 2 ins <6,7,4,u>, lane 3
6466     2115493890U, // <u,7,4,3>: Cost 2 ins <5,7,u,3>, lane 2
6470     2115526658U, // <u,7,4,7>: Cost 2 ins <5,7,u,7>, lane 2
6474     2115313667U, // <u,7,5,2>: Cost 2 ins <5,7,5,u>, lane 3
6475     2115493890U, // <u,7,5,3>: Cost 2 ins <5,7,u,3>, lane 2
6484     2115493890U, // <u,7,6,3>: Cost 2 ins <5,7,u,3>, lane 2
6488     1036328961U, // <u,7,6,7>: Cost 1 ins RHS, lane 1
6489     1036328961U, // <u,7,6,u>: Cost 1 ins RHS, lane 1
6492     2127405059U, // <u,7,7,2>: Cost 2 ins <7,7,7,u>, lane 3
6511     1007910914U, // <u,u,0,3>: Cost 1 ins LHS, lane 2
6515     1034485762U, // <u,u,0,7>: Cost 1 ins RHS, lane 2
6524     1034485762U, // <u,u,1,7>: Cost 1 ins RHS, lane 2
6526     1007509507U, // <u,u,2,0>: Cost 1 ins LHS, lane 3
6527     1007509507U, // <u,u,2,1>: Cost 1 ins LHS, lane 3
6530     1007509507U, // <u,u,2,4>: Cost 1 ins LHS, lane 3
6531     1007509507U, // <u,u,2,5>: Cost 1 ins LHS, lane 3
6533     1007509507U, // <u,u,2,7>: Cost 1 ins LHS, lane 3
6547     1007910914U, // <u,u,4,3>: Cost 1 ins LHS, lane 2
6551     1034485762U, // <u,u,4,7>: Cost 1 ins RHS, lane 2
6556     1007910914U, // <u,u,5,3>: Cost 1 ins LHS, lane 2
6562     1034346499U, // <u,u,6,0>: Cost 1 ins RHS, lane 3
6563     1034346499U, // <u,u,6,1>: Cost 1 ins RHS, lane 3
6565     1007910914U, // <u,u,6,3>: Cost 1 ins LHS, lane 2
6566     1034346499U, // <u,u,6,4>: Cost 1 ins RHS, lane 3
6567     1034346499U, // <u,u,6,5>: Cost 1 ins RHS, lane 3