poulpy/poulpy-schemes/src/tfhe/bdd_arithmetic/circuits/u32/sub_codegen.rs
poulpy-schemes/src/tfhe/bdd_arithmetic/circuits/u32/sub_codegen.rsRaw
1use crate::tfhe::bdd_arithmetic::{BitCircuit, BitCircuitInfo, Circuit, GetBitCircuitInfo, Node};
2pub(crate) enum AnyBitCircuit {
3 B0(BitCircuit<3, 2>),
4 B1(BitCircuit<7, 4>),
5 B2(BitCircuit<12, 6>),
6 B3(BitCircuit<17, 8>),
7 B4(BitCircuit<22, 10>),
8 B5(BitCircuit<27, 12>),
9 B6(BitCircuit<32, 14>),
10 B7(BitCircuit<37, 16>),
11 B8(BitCircuit<42, 18>),
12 B9(BitCircuit<47, 20>),
13 B10(BitCircuit<52, 22>),
14 B11(BitCircuit<57, 24>),
15 B12(BitCircuit<62, 26>),
16 B13(BitCircuit<67, 28>),
17 B14(BitCircuit<72, 30>),
18 B15(BitCircuit<77, 32>),
19 B16(BitCircuit<82, 34>),
20 B17(BitCircuit<87, 36>),
21 B18(BitCircuit<92, 38>),
22 B19(BitCircuit<97, 40>),
23 B20(BitCircuit<102, 42>),
24 B21(BitCircuit<107, 44>),
25 B22(BitCircuit<112, 46>),
26 B23(BitCircuit<117, 48>),
27 B24(BitCircuit<122, 50>),
28 B25(BitCircuit<127, 52>),
29 B26(BitCircuit<132, 54>),
30 B27(BitCircuit<137, 56>),
31 B28(BitCircuit<142, 58>),
32 B29(BitCircuit<147, 60>),
33 B30(BitCircuit<152, 62>),
34 B31(BitCircuit<157, 64>),
35}
36impl BitCircuitInfo for AnyBitCircuit {
37 fn info(&self) -> (&[Node], &[usize], usize) {
38 match self {
39 AnyBitCircuit::B0(bit_circuit) => (
40 bit_circuit.nodes.as_ref(),
41 bit_circuit.levels.as_ref(),
42 bit_circuit.max_inter_state,
43 ),
44 AnyBitCircuit::B1(bit_circuit) => (
45 bit_circuit.nodes.as_ref(),
46 bit_circuit.levels.as_ref(),
47 bit_circuit.max_inter_state,
48 ),
49 AnyBitCircuit::B2(bit_circuit) => (
50 bit_circuit.nodes.as_ref(),
51 bit_circuit.levels.as_ref(),
52 bit_circuit.max_inter_state,
53 ),
54 AnyBitCircuit::B3(bit_circuit) => (
55 bit_circuit.nodes.as_ref(),
56 bit_circuit.levels.as_ref(),
57 bit_circuit.max_inter_state,
58 ),
59 AnyBitCircuit::B4(bit_circuit) => (
60 bit_circuit.nodes.as_ref(),
61 bit_circuit.levels.as_ref(),
62 bit_circuit.max_inter_state,
63 ),
64 AnyBitCircuit::B5(bit_circuit) => (
65 bit_circuit.nodes.as_ref(),
66 bit_circuit.levels.as_ref(),
67 bit_circuit.max_inter_state,
68 ),
69 AnyBitCircuit::B6(bit_circuit) => (
70 bit_circuit.nodes.as_ref(),
71 bit_circuit.levels.as_ref(),
72 bit_circuit.max_inter_state,
73 ),
74 AnyBitCircuit::B7(bit_circuit) => (
75 bit_circuit.nodes.as_ref(),
76 bit_circuit.levels.as_ref(),
77 bit_circuit.max_inter_state,
78 ),
79 AnyBitCircuit::B8(bit_circuit) => (
80 bit_circuit.nodes.as_ref(),
81 bit_circuit.levels.as_ref(),
82 bit_circuit.max_inter_state,
83 ),
84 AnyBitCircuit::B9(bit_circuit) => (
85 bit_circuit.nodes.as_ref(),
86 bit_circuit.levels.as_ref(),
87 bit_circuit.max_inter_state,
88 ),
89 AnyBitCircuit::B10(bit_circuit) => (
90 bit_circuit.nodes.as_ref(),
91 bit_circuit.levels.as_ref(),
92 bit_circuit.max_inter_state,
93 ),
94 AnyBitCircuit::B11(bit_circuit) => (
95 bit_circuit.nodes.as_ref(),
96 bit_circuit.levels.as_ref(),
97 bit_circuit.max_inter_state,
98 ),
99 AnyBitCircuit::B12(bit_circuit) => (
100 bit_circuit.nodes.as_ref(),
101 bit_circuit.levels.as_ref(),
102 bit_circuit.max_inter_state,
103 ),
104 AnyBitCircuit::B13(bit_circuit) => (
105 bit_circuit.nodes.as_ref(),
106 bit_circuit.levels.as_ref(),
107 bit_circuit.max_inter_state,
108 ),
109 AnyBitCircuit::B14(bit_circuit) => (
110 bit_circuit.nodes.as_ref(),
111 bit_circuit.levels.as_ref(),
112 bit_circuit.max_inter_state,
113 ),
114 AnyBitCircuit::B15(bit_circuit) => (
115 bit_circuit.nodes.as_ref(),
116 bit_circuit.levels.as_ref(),
117 bit_circuit.max_inter_state,
118 ),
119 AnyBitCircuit::B16(bit_circuit) => (
120 bit_circuit.nodes.as_ref(),
121 bit_circuit.levels.as_ref(),
122 bit_circuit.max_inter_state,
123 ),
124 AnyBitCircuit::B17(bit_circuit) => (
125 bit_circuit.nodes.as_ref(),
126 bit_circuit.levels.as_ref(),
127 bit_circuit.max_inter_state,
128 ),
129 AnyBitCircuit::B18(bit_circuit) => (
130 bit_circuit.nodes.as_ref(),
131 bit_circuit.levels.as_ref(),
132 bit_circuit.max_inter_state,
133 ),
134 AnyBitCircuit::B19(bit_circuit) => (
135 bit_circuit.nodes.as_ref(),
136 bit_circuit.levels.as_ref(),
137 bit_circuit.max_inter_state,
138 ),
139 AnyBitCircuit::B20(bit_circuit) => (
140 bit_circuit.nodes.as_ref(),
141 bit_circuit.levels.as_ref(),
142 bit_circuit.max_inter_state,
143 ),
144 AnyBitCircuit::B21(bit_circuit) => (
145 bit_circuit.nodes.as_ref(),
146 bit_circuit.levels.as_ref(),
147 bit_circuit.max_inter_state,
148 ),
149 AnyBitCircuit::B22(bit_circuit) => (
150 bit_circuit.nodes.as_ref(),
151 bit_circuit.levels.as_ref(),
152 bit_circuit.max_inter_state,
153 ),
154 AnyBitCircuit::B23(bit_circuit) => (
155 bit_circuit.nodes.as_ref(),
156 bit_circuit.levels.as_ref(),
157 bit_circuit.max_inter_state,
158 ),
159 AnyBitCircuit::B24(bit_circuit) => (
160 bit_circuit.nodes.as_ref(),
161 bit_circuit.levels.as_ref(),
162 bit_circuit.max_inter_state,
163 ),
164 AnyBitCircuit::B25(bit_circuit) => (
165 bit_circuit.nodes.as_ref(),
166 bit_circuit.levels.as_ref(),
167 bit_circuit.max_inter_state,
168 ),
169 AnyBitCircuit::B26(bit_circuit) => (
170 bit_circuit.nodes.as_ref(),
171 bit_circuit.levels.as_ref(),
172 bit_circuit.max_inter_state,
173 ),
174 AnyBitCircuit::B27(bit_circuit) => (
175 bit_circuit.nodes.as_ref(),
176 bit_circuit.levels.as_ref(),
177 bit_circuit.max_inter_state,
178 ),
179 AnyBitCircuit::B28(bit_circuit) => (
180 bit_circuit.nodes.as_ref(),
181 bit_circuit.levels.as_ref(),
182 bit_circuit.max_inter_state,
183 ),
184 AnyBitCircuit::B29(bit_circuit) => (
185 bit_circuit.nodes.as_ref(),
186 bit_circuit.levels.as_ref(),
187 bit_circuit.max_inter_state,
188 ),
189 AnyBitCircuit::B30(bit_circuit) => (
190 bit_circuit.nodes.as_ref(),
191 bit_circuit.levels.as_ref(),
192 bit_circuit.max_inter_state,
193 ),
194 AnyBitCircuit::B31(bit_circuit) => (
195 bit_circuit.nodes.as_ref(),
196 bit_circuit.levels.as_ref(),
197 bit_circuit.max_inter_state,
198 ),
199 }
200 }
201}
202
203impl GetBitCircuitInfo<u32> for Circuit<AnyBitCircuit, 32usize> {
204 fn input_size(&self) -> usize {
205 2 * u32::BITS as usize
206 }
207 fn output_size(&self) -> usize {
208 u32::BITS as usize
209 }
210 fn get_circuit(&self, bit: usize) -> (&[Node], &[usize], usize) {
211 self.0[bit].info()
212 }
213}
214
215pub(crate) static OUTPUT_CIRCUITS: Circuit<AnyBitCircuit, 32usize> = Circuit([
216 AnyBitCircuit::B0(BitCircuit::new(
217 [Node::new(32, 1, 0), Node::new(32, 0, 1), Node::new(0, 1, 0)],
218 [0, 2],
219 2,
220 )),
221 AnyBitCircuit::B1(BitCircuit::new(
222 [
223 Node::new(33, 1, 0),
224 Node::new(33, 0, 1),
225 Node::new(1, 1, 0),
226 Node::new(1, 0, 1),
227 Node::new(1, 0, 0),
228 Node::new(32, 1, 0),
229 Node::new(0, 0, 1),
230 ],
231 [0, 2, 4, 6],
232 2,
233 )),
234 AnyBitCircuit::B2(BitCircuit::new(
235 [
236 Node::new(34, 0, 1),
237 Node::new(34, 1, 0),
238 Node::new(2, 1, 0),
239 Node::new(2, 0, 1),
240 Node::new(2, 0, 0),
241 Node::new(2, 1, 1),
242 Node::new(33, 0, 1),
243 Node::new(1, 1, 2),
244 Node::new(1, 2, 0),
245 Node::new(1, 0, 0),
246 Node::new(32, 1, 0),
247 Node::new(0, 0, 1),
248 ],
249 [0, 2, 4, 7, 9, 11],
250 3,
251 )),
252 AnyBitCircuit::B3(BitCircuit::new(
253 [
254 Node::new(35, 0, 1),
255 Node::new(35, 1, 0),
256 Node::new(3, 1, 0),
257 Node::new(3, 0, 1),
258 Node::new(3, 0, 0),
259 Node::new(3, 1, 1),
260 Node::new(34, 0, 1),
261 Node::new(2, 2, 0),
262 Node::new(2, 1, 2),
263 Node::new(2, 0, 0),
264 Node::new(2, 1, 1),
265 Node::new(33, 0, 1),
266 Node::new(1, 1, 2),
267 Node::new(1, 2, 0),
268 Node::new(1, 0, 0),
269 Node::new(32, 1, 0),
270 Node::new(0, 0, 1),
271 ],
272 [0, 2, 4, 7, 9, 12, 14, 16],
273 3,
274 )),
275 AnyBitCircuit::B4(BitCircuit::new(
276 [
277 Node::new(36, 0, 1),
278 Node::new(36, 1, 0),
279 Node::new(4, 0, 1),
280 Node::new(4, 1, 0),
281 Node::new(4, 0, 0),
282 Node::new(4, 1, 1),
283 Node::new(35, 1, 0),
284 Node::new(3, 2, 1),
285 Node::new(3, 0, 2),
286 Node::new(3, 0, 0),
287 Node::new(3, 1, 1),
288 Node::new(34, 0, 1),
289 Node::new(2, 2, 0),
290 Node::new(2, 1, 2),
291 Node::new(2, 0, 0),
292 Node::new(2, 1, 1),
293 Node::new(33, 0, 1),
294 Node::new(1, 1, 2),
295 Node::new(1, 2, 0),
296 Node::new(1, 0, 0),
297 Node::new(32, 1, 0),
298 Node::new(0, 0, 1),
299 ],
300 [0, 2, 4, 7, 9, 12, 14, 17, 19, 21],
301 3,
302 )),
303 AnyBitCircuit::B5(BitCircuit::new(
304 [
305 Node::new(37, 0, 1),
306 Node::new(37, 1, 0),
307 Node::new(5, 1, 0),
308 Node::new(5, 0, 1),
309 Node::new(5, 0, 0),
310 Node::new(5, 1, 1),
311 Node::new(36, 0, 1),
312 Node::new(4, 2, 0),
313 Node::new(4, 1, 2),
314 Node::new(4, 0, 0),
315 Node::new(4, 1, 1),
316 Node::new(35, 0, 1),
317 Node::new(3, 1, 2),
318 Node::new(3, 2, 0),
319 Node::new(3, 0, 0),
320 Node::new(3, 1, 1),
321 Node::new(34, 1, 0),
322 Node::new(2, 2, 1),
323 Node::new(2, 0, 2),
324 Node::new(2, 0, 0),
325 Node::new(2, 1, 1),
326 Node::new(33, 0, 1),
327 Node::new(1, 1, 2),
328 Node::new(1, 2, 0),
329 Node::new(1, 0, 0),
330 Node::new(32, 1, 0),
331 Node::new(0, 0, 1),
332 ],
333 [0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 26],
334 3,
335 )),
336 AnyBitCircuit::B6(BitCircuit::new(
337 [
338 Node::new(38, 0, 1),
339 Node::new(38, 1, 0),
340 Node::new(6, 0, 1),
341 Node::new(6, 1, 0),
342 Node::new(6, 0, 0),
343 Node::new(6, 1, 1),
344 Node::new(37, 1, 0),
345 Node::new(5, 2, 1),
346 Node::new(5, 0, 2),
347 Node::new(5, 0, 0),
348 Node::new(5, 1, 1),
349 Node::new(36, 0, 1),
350 Node::new(4, 1, 2),
351 Node::new(4, 2, 0),
352 Node::new(4, 0, 0),
353 Node::new(4, 1, 1),
354 Node::new(35, 1, 0),
355 Node::new(3, 2, 1),
356 Node::new(3, 0, 2),
357 Node::new(3, 0, 0),
358 Node::new(3, 1, 1),
359 Node::new(34, 0, 1),
360 Node::new(2, 2, 0),
361 Node::new(2, 1, 2),
362 Node::new(2, 0, 0),
363 Node::new(2, 1, 1),
364 Node::new(33, 0, 1),
365 Node::new(1, 1, 2),
366 Node::new(1, 2, 0),
367 Node::new(1, 0, 0),
368 Node::new(32, 1, 0),
369 Node::new(0, 0, 1),
370 ],
371 [0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 31],
372 3,
373 )),
374 AnyBitCircuit::B7(BitCircuit::new(
375 [
376 Node::new(39, 1, 0),
377 Node::new(39, 0, 1),
378 Node::new(7, 0, 1),
379 Node::new(7, 1, 0),
380 Node::new(7, 0, 0),
381 Node::new(7, 1, 1),
382 Node::new(38, 0, 1),
383 Node::new(6, 1, 2),
384 Node::new(6, 2, 0),
385 Node::new(6, 0, 0),
386 Node::new(6, 1, 1),
387 Node::new(37, 1, 0),
388 Node::new(5, 2, 1),
389 Node::new(5, 0, 2),
390 Node::new(5, 0, 0),
391 Node::new(5, 1, 1),
392 Node::new(36, 0, 1),
393 Node::new(4, 2, 0),
394 Node::new(4, 1, 2),
395 Node::new(4, 0, 0),
396 Node::new(4, 1, 1),
397 Node::new(35, 0, 1),
398 Node::new(3, 2, 0),
399 Node::new(3, 1, 2),
400 Node::new(3, 0, 0),
401 Node::new(3, 1, 1),
402 Node::new(34, 0, 1),
403 Node::new(2, 1, 2),
404 Node::new(2, 2, 0),
405 Node::new(2, 0, 0),
406 Node::new(2, 1, 1),
407 Node::new(33, 1, 0),
408 Node::new(1, 0, 2),
409 Node::new(1, 2, 1),
410 Node::new(1, 0, 0),
411 Node::new(32, 1, 0),
412 Node::new(0, 0, 1),
413 ],
414 [0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 36],
415 3,
416 )),
417 AnyBitCircuit::B8(BitCircuit::new(
418 [
419 Node::new(40, 1, 0),
420 Node::new(40, 0, 1),
421 Node::new(8, 1, 0),
422 Node::new(8, 0, 1),
423 Node::new(8, 0, 0),
424 Node::new(8, 1, 1),
425 Node::new(39, 1, 0),
426 Node::new(7, 2, 1),
427 Node::new(7, 0, 2),
428 Node::new(7, 0, 0),
429 Node::new(7, 1, 1),
430 Node::new(38, 0, 1),
431 Node::new(6, 1, 2),
432 Node::new(6, 2, 0),
433 Node::new(6, 0, 0),
434 Node::new(6, 1, 1),
435 Node::new(37, 1, 0),
436 Node::new(5, 2, 1),
437 Node::new(5, 0, 2),
438 Node::new(5, 0, 0),
439 Node::new(5, 1, 1),
440 Node::new(36, 0, 1),
441 Node::new(4, 2, 0),
442 Node::new(4, 1, 2),
443 Node::new(4, 0, 0),
444 Node::new(4, 1, 1),
445 Node::new(35, 0, 1),
446 Node::new(3, 2, 0),
447 Node::new(3, 1, 2),
448 Node::new(3, 0, 0),
449 Node::new(3, 1, 1),
450 Node::new(34, 0, 1),
451 Node::new(2, 2, 0),
452 Node::new(2, 1, 2),
453 Node::new(2, 0, 0),
454 Node::new(2, 1, 1),
455 Node::new(33, 0, 1),
456 Node::new(1, 1, 2),
457 Node::new(1, 2, 0),
458 Node::new(1, 0, 0),
459 Node::new(32, 1, 0),
460 Node::new(0, 0, 1),
461 ],
462 [
463 0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 37, 39, 41,
464 ],
465 3,
466 )),
467 AnyBitCircuit::B9(BitCircuit::new(
468 [
469 Node::new(41, 1, 0),
470 Node::new(41, 0, 1),
471 Node::new(9, 0, 1),
472 Node::new(9, 1, 0),
473 Node::new(9, 0, 0),
474 Node::new(9, 1, 1),
475 Node::new(40, 0, 1),
476 Node::new(8, 1, 2),
477 Node::new(8, 2, 0),
478 Node::new(8, 0, 0),
479 Node::new(8, 1, 1),
480 Node::new(39, 1, 0),
481 Node::new(7, 2, 1),
482 Node::new(7, 0, 2),
483 Node::new(7, 0, 0),
484 Node::new(7, 1, 1),
485 Node::new(38, 0, 1),
486 Node::new(6, 1, 2),
487 Node::new(6, 2, 0),
488 Node::new(6, 0, 0),
489 Node::new(6, 1, 1),
490 Node::new(37, 1, 0),
491 Node::new(5, 2, 1),
492 Node::new(5, 0, 2),
493 Node::new(5, 0, 0),
494 Node::new(5, 1, 1),
495 Node::new(36, 0, 1),
496 Node::new(4, 2, 0),
497 Node::new(4, 1, 2),
498 Node::new(4, 0, 0),
499 Node::new(4, 1, 1),
500 Node::new(35, 0, 1),
501 Node::new(3, 1, 2),
502 Node::new(3, 2, 0),
503 Node::new(3, 0, 0),
504 Node::new(3, 1, 1),
505 Node::new(34, 1, 0),
506 Node::new(2, 0, 2),
507 Node::new(2, 2, 1),
508 Node::new(2, 0, 0),
509 Node::new(2, 1, 1),
510 Node::new(33, 1, 0),
511 Node::new(1, 0, 2),
512 Node::new(1, 2, 1),
513 Node::new(1, 0, 0),
514 Node::new(32, 1, 0),
515 Node::new(0, 0, 1),
516 ],
517 [
518 0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 37, 39, 42, 44, 46,
519 ],
520 3,
521 )),
522 AnyBitCircuit::B10(BitCircuit::new(
523 [
524 Node::new(42, 0, 1),
525 Node::new(42, 1, 0),
526 Node::new(10, 0, 1),
527 Node::new(10, 1, 0),
528 Node::new(10, 0, 0),
529 Node::new(10, 1, 1),
530 Node::new(41, 1, 0),
531 Node::new(9, 2, 1),
532 Node::new(9, 0, 2),
533 Node::new(9, 0, 0),
534 Node::new(9, 1, 1),
535 Node::new(40, 0, 1),
536 Node::new(8, 1, 2),
537 Node::new(8, 2, 0),
538 Node::new(8, 0, 0),
539 Node::new(8, 1, 1),
540 Node::new(39, 1, 0),
541 Node::new(7, 0, 2),
542 Node::new(7, 2, 1),
543 Node::new(7, 0, 0),
544 Node::new(7, 1, 1),
545 Node::new(38, 1, 0),
546 Node::new(6, 2, 1),
547 Node::new(6, 0, 2),
548 Node::new(6, 0, 0),
549 Node::new(6, 1, 1),
550 Node::new(37, 0, 1),
551 Node::new(5, 2, 0),
552 Node::new(5, 1, 2),
553 Node::new(5, 0, 0),
554 Node::new(5, 1, 1),
555 Node::new(36, 0, 1),
556 Node::new(4, 2, 0),
557 Node::new(4, 1, 2),
558 Node::new(4, 0, 0),
559 Node::new(4, 1, 1),
560 Node::new(35, 0, 1),
561 Node::new(3, 1, 2),
562 Node::new(3, 2, 0),
563 Node::new(3, 0, 0),
564 Node::new(3, 1, 1),
565 Node::new(34, 1, 0),
566 Node::new(2, 2, 1),
567 Node::new(2, 0, 2),
568 Node::new(2, 0, 0),
569 Node::new(2, 1, 1),
570 Node::new(33, 0, 1),
571 Node::new(1, 1, 2),
572 Node::new(1, 2, 0),
573 Node::new(1, 0, 0),
574 Node::new(32, 1, 0),
575 Node::new(0, 0, 1),
576 ],
577 [
578 0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 37, 39, 42, 44, 47, 49, 51,
579 ],
580 3,
581 )),
582 AnyBitCircuit::B11(BitCircuit::new(
583 [
584 Node::new(43, 0, 1),
585 Node::new(43, 1, 0),
586 Node::new(11, 1, 0),
587 Node::new(11, 0, 1),
588 Node::new(11, 0, 0),
589 Node::new(11, 1, 1),
590 Node::new(42, 0, 1),
591 Node::new(10, 1, 2),
592 Node::new(10, 2, 0),
593 Node::new(10, 0, 0),
594 Node::new(10, 1, 1),
595 Node::new(41, 1, 0),
596 Node::new(9, 0, 2),
597 Node::new(9, 2, 1),
598 Node::new(9, 0, 0),
599 Node::new(9, 1, 1),
600 Node::new(40, 1, 0),
601 Node::new(8, 0, 2),
602 Node::new(8, 2, 1),
603 Node::new(8, 0, 0),
604 Node::new(8, 1, 1),
605 Node::new(39, 1, 0),
606 Node::new(7, 0, 2),
607 Node::new(7, 2, 1),
608 Node::new(7, 0, 0),
609 Node::new(7, 1, 1),
610 Node::new(38, 1, 0),
611 Node::new(6, 2, 1),
612 Node::new(6, 0, 2),
613 Node::new(6, 0, 0),
614 Node::new(6, 1, 1),
615 Node::new(37, 0, 1),
616 Node::new(5, 1, 2),
617 Node::new(5, 2, 0),
618 Node::new(5, 0, 0),
619 Node::new(5, 1, 1),
620 Node::new(36, 1, 0),
621 Node::new(4, 0, 2),
622 Node::new(4, 2, 1),
623 Node::new(4, 0, 0),
624 Node::new(4, 1, 1),
625 Node::new(35, 1, 0),
626 Node::new(3, 2, 1),
627 Node::new(3, 0, 2),
628 Node::new(3, 0, 0),
629 Node::new(3, 1, 1),
630 Node::new(34, 0, 1),
631 Node::new(2, 2, 0),
632 Node::new(2, 1, 2),
633 Node::new(2, 0, 0),
634 Node::new(2, 1, 1),
635 Node::new(33, 0, 1),
636 Node::new(1, 1, 2),
637 Node::new(1, 2, 0),
638 Node::new(1, 0, 0),
639 Node::new(32, 1, 0),
640 Node::new(0, 0, 1),
641 ],
642 [
643 0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 37, 39, 42, 44, 47, 49, 52, 54, 56,
644 ],
645 3,
646 )),
647 AnyBitCircuit::B12(BitCircuit::new(
648 [
649 Node::new(44, 1, 0),
650 Node::new(44, 0, 1),
651 Node::new(12, 1, 0),
652 Node::new(12, 0, 1),
653 Node::new(12, 0, 0),
654 Node::new(12, 1, 1),
655 Node::new(43, 1, 0),
656 Node::new(11, 2, 1),
657 Node::new(11, 0, 2),
658 Node::new(11, 0, 0),
659 Node::new(11, 1, 1),
660 Node::new(42, 0, 1),
661 Node::new(10, 2, 0),
662 Node::new(10, 1, 2),
663 Node::new(10, 0, 0),
664 Node::new(10, 1, 1),
665 Node::new(41, 0, 1),
666 Node::new(9, 2, 0),
667 Node::new(9, 1, 2),
668 Node::new(9, 0, 0),
669 Node::new(9, 1, 1),
670 Node::new(40, 0, 1),
671 Node::new(8, 1, 2),
672 Node::new(8, 2, 0),
673 Node::new(8, 0, 0),
674 Node::new(8, 1, 1),
675 Node::new(39, 1, 0),
676 Node::new(7, 0, 2),
677 Node::new(7, 2, 1),
678 Node::new(7, 0, 0),
679 Node::new(7, 1, 1),
680 Node::new(38, 1, 0),
681 Node::new(6, 2, 1),
682 Node::new(6, 0, 2),
683 Node::new(6, 0, 0),
684 Node::new(6, 1, 1),
685 Node::new(37, 0, 1),
686 Node::new(5, 2, 0),
687 Node::new(5, 1, 2),
688 Node::new(5, 0, 0),
689 Node::new(5, 1, 1),
690 Node::new(36, 0, 1),
691 Node::new(4, 1, 2),
692 Node::new(4, 2, 0),
693 Node::new(4, 0, 0),
694 Node::new(4, 1, 1),
695 Node::new(35, 1, 0),
696 Node::new(3, 2, 1),
697 Node::new(3, 0, 2),
698 Node::new(3, 0, 0),
699 Node::new(3, 1, 1),
700 Node::new(34, 0, 1),
701 Node::new(2, 1, 2),
702 Node::new(2, 2, 0),
703 Node::new(2, 0, 0),
704 Node::new(2, 1, 1),
705 Node::new(33, 1, 0),
706 Node::new(1, 0, 2),
707 Node::new(1, 2, 1),
708 Node::new(1, 0, 0),
709 Node::new(32, 1, 0),
710 Node::new(0, 0, 1),
711 ],
712 [
713 0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 37, 39, 42, 44, 47, 49, 52, 54, 57, 59, 61,
714 ],
715 3,
716 )),
717 AnyBitCircuit::B13(BitCircuit::new(
718 [
719 Node::new(45, 0, 1),
720 Node::new(45, 1, 0),
721 Node::new(13, 1, 0),
722 Node::new(13, 0, 1),
723 Node::new(13, 0, 0),
724 Node::new(13, 1, 1),
725 Node::new(44, 0, 1),
726 Node::new(12, 1, 2),
727 Node::new(12, 2, 0),
728 Node::new(12, 0, 0),
729 Node::new(12, 1, 1),
730 Node::new(43, 1, 0),
731 Node::new(11, 0, 2),
732 Node::new(11, 2, 1),
733 Node::new(11, 0, 0),
734 Node::new(11, 1, 1),
735 Node::new(42, 1, 0),
736 Node::new(10, 0, 2),
737 Node::new(10, 2, 1),
738 Node::new(10, 0, 0),
739 Node::new(10, 1, 1),
740 Node::new(41, 1, 0),
741 Node::new(9, 2, 1),
742 Node::new(9, 0, 2),
743 Node::new(9, 0, 0),
744 Node::new(9, 1, 1),
745 Node::new(40, 0, 1),
746 Node::new(8, 2, 0),
747 Node::new(8, 1, 2),
748 Node::new(8, 0, 0),
749 Node::new(8, 1, 1),
750 Node::new(39, 0, 1),
751 Node::new(7, 2, 0),
752 Node::new(7, 1, 2),
753 Node::new(7, 0, 0),
754 Node::new(7, 1, 1),
755 Node::new(38, 0, 1),
756 Node::new(6, 1, 2),
757 Node::new(6, 2, 0),
758 Node::new(6, 0, 0),
759 Node::new(6, 1, 1),
760 Node::new(37, 1, 0),
761 Node::new(5, 2, 1),
762 Node::new(5, 0, 2),
763 Node::new(5, 0, 0),
764 Node::new(5, 1, 1),
765 Node::new(36, 0, 1),
766 Node::new(4, 2, 0),
767 Node::new(4, 1, 2),
768 Node::new(4, 0, 0),
769 Node::new(4, 1, 1),
770 Node::new(35, 0, 1),
771 Node::new(3, 1, 2),
772 Node::new(3, 2, 0),
773 Node::new(3, 0, 0),
774 Node::new(3, 1, 1),
775 Node::new(34, 1, 0),
776 Node::new(2, 2, 1),
777 Node::new(2, 0, 2),
778 Node::new(2, 0, 0),
779 Node::new(2, 1, 1),
780 Node::new(33, 0, 1),
781 Node::new(1, 1, 2),
782 Node::new(1, 2, 0),
783 Node::new(1, 0, 0),
784 Node::new(32, 1, 0),
785 Node::new(0, 0, 1),
786 ],
787 [
788 0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 37, 39, 42, 44, 47, 49, 52, 54, 57, 59, 62, 64, 66,
789 ],
790 3,
791 )),
792 AnyBitCircuit::B14(BitCircuit::new(
793 [
794 Node::new(46, 0, 1),
795 Node::new(46, 1, 0),
796 Node::new(14, 0, 1),
797 Node::new(14, 1, 0),
798 Node::new(14, 0, 0),
799 Node::new(14, 1, 1),
800 Node::new(45, 1, 0),
801 Node::new(13, 0, 2),
802 Node::new(13, 2, 1),
803 Node::new(13, 0, 0),
804 Node::new(13, 1, 1),
805 Node::new(44, 1, 0),
806 Node::new(12, 0, 2),
807 Node::new(12, 2, 1),
808 Node::new(12, 0, 0),
809 Node::new(12, 1, 1),
810 Node::new(43, 1, 0),
811 Node::new(11, 2, 1),
812 Node::new(11, 0, 2),
813 Node::new(11, 0, 0),
814 Node::new(11, 1, 1),
815 Node::new(42, 0, 1),
816 Node::new(10, 2, 0),
817 Node::new(10, 1, 2),
818 Node::new(10, 0, 0),
819 Node::new(10, 1, 1),
820 Node::new(41, 0, 1),
821 Node::new(9, 2, 0),
822 Node::new(9, 1, 2),
823 Node::new(9, 0, 0),
824 Node::new(9, 1, 1),
825 Node::new(40, 0, 1),
826 Node::new(8, 2, 0),
827 Node::new(8, 1, 2),
828 Node::new(8, 0, 0),
829 Node::new(8, 1, 1),
830 Node::new(39, 0, 1),
831 Node::new(7, 1, 2),
832 Node::new(7, 2, 0),
833 Node::new(7, 0, 0),
834 Node::new(7, 1, 1),
835 Node::new(38, 1, 0),
836 Node::new(6, 0, 2),
837 Node::new(6, 2, 1),
838 Node::new(6, 0, 0),
839 Node::new(6, 1, 1),
840 Node::new(37, 1, 0),
841 Node::new(5, 0, 2),
842 Node::new(5, 2, 1),
843 Node::new(5, 0, 0),
844 Node::new(5, 1, 1),
845 Node::new(36, 1, 0),
846 Node::new(4, 2, 1),
847 Node::new(4, 0, 2),
848 Node::new(4, 0, 0),
849 Node::new(4, 1, 1),
850 Node::new(35, 0, 1),
851 Node::new(3, 2, 0),
852 Node::new(3, 1, 2),
853 Node::new(3, 0, 0),
854 Node::new(3, 1, 1),
855 Node::new(34, 0, 1),
856 Node::new(2, 1, 2),
857 Node::new(2, 2, 0),
858 Node::new(2, 0, 0),
859 Node::new(2, 1, 1),
860 Node::new(33, 1, 0),
861 Node::new(1, 0, 2),
862 Node::new(1, 2, 1),
863 Node::new(1, 0, 0),
864 Node::new(32, 1, 0),
865 Node::new(0, 0, 1),
866 ],
867 [
868 0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 37, 39, 42, 44, 47, 49, 52, 54, 57, 59, 62, 64, 67, 69, 71,
869 ],
870 3,
871 )),
872 AnyBitCircuit::B15(BitCircuit::new(
873 [
874 Node::new(47, 0, 1),
875 Node::new(47, 1, 0),
876 Node::new(15, 0, 1),
877 Node::new(15, 1, 0),
878 Node::new(15, 0, 0),
879 Node::new(15, 1, 1),
880 Node::new(46, 1, 0),
881 Node::new(14, 2, 1),
882 Node::new(14, 0, 2),
883 Node::new(14, 0, 0),
884 Node::new(14, 1, 1),
885 Node::new(45, 0, 1),
886 Node::new(13, 2, 0),
887 Node::new(13, 1, 2),
888 Node::new(13, 0, 0),
889 Node::new(13, 1, 1),
890 Node::new(44, 0, 1),
891 Node::new(12, 1, 2),
892 Node::new(12, 2, 0),
893 Node::new(12, 0, 0),
894 Node::new(12, 1, 1),
895 Node::new(43, 1, 0),
896 Node::new(11, 0, 2),
897 Node::new(11, 2, 1),
898 Node::new(11, 0, 0),
899 Node::new(11, 1, 1),
900 Node::new(42, 1, 0),
901 Node::new(10, 2, 1),
902 Node::new(10, 0, 2),
903 Node::new(10, 0, 0),
904 Node::new(10, 1, 1),
905 Node::new(41, 0, 1),
906 Node::new(9, 1, 2),
907 Node::new(9, 2, 0),
908 Node::new(9, 0, 0),
909 Node::new(9, 1, 1),
910 Node::new(40, 1, 0),
911 Node::new(8, 2, 1),
912 Node::new(8, 0, 2),
913 Node::new(8, 0, 0),
914 Node::new(8, 1, 1),
915 Node::new(39, 0, 1),
916 Node::new(7, 2, 0),
917 Node::new(7, 1, 2),
918 Node::new(7, 0, 0),
919 Node::new(7, 1, 1),
920 Node::new(38, 0, 1),
921 Node::new(6, 2, 0),
922 Node::new(6, 1, 2),
923 Node::new(6, 0, 0),
924 Node::new(6, 1, 1),
925 Node::new(37, 0, 1),
926 Node::new(5, 1, 2),
927 Node::new(5, 2, 0),
928 Node::new(5, 0, 0),
929 Node::new(5, 1, 1),
930 Node::new(36, 1, 0),
931 Node::new(4, 0, 2),
932 Node::new(4, 2, 1),
933 Node::new(4, 0, 0),
934 Node::new(4, 1, 1),
935 Node::new(35, 1, 0),
936 Node::new(3, 2, 1),
937 Node::new(3, 0, 2),
938 Node::new(3, 0, 0),
939 Node::new(3, 1, 1),
940 Node::new(34, 0, 1),
941 Node::new(2, 1, 2),
942 Node::new(2, 2, 0),
943 Node::new(2, 0, 0),
944 Node::new(2, 1, 1),
945 Node::new(33, 1, 0),
946 Node::new(1, 0, 2),
947 Node::new(1, 2, 1),
948 Node::new(1, 0, 0),
949 Node::new(32, 1, 0),
950 Node::new(0, 0, 1),
951 ],
952 [
953 0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 37, 39, 42, 44, 47, 49, 52, 54, 57, 59, 62, 64, 67, 69, 72,
954 74, 76,
955 ],
956 3,
957 )),
958 AnyBitCircuit::B16(BitCircuit::new(
959 [
960 Node::new(48, 1, 0),
961 Node::new(48, 0, 1),
962 Node::new(16, 1, 0),
963 Node::new(16, 0, 1),
964 Node::new(16, 0, 0),
965 Node::new(16, 1, 1),
966 Node::new(47, 1, 0),
967 Node::new(15, 2, 1),
968 Node::new(15, 0, 2),
969 Node::new(15, 0, 0),
970 Node::new(15, 1, 1),
971 Node::new(46, 0, 1),
972 Node::new(14, 1, 2),
973 Node::new(14, 2, 0),
974 Node::new(14, 0, 0),
975 Node::new(14, 1, 1),
976 Node::new(45, 1, 0),
977 Node::new(13, 0, 2),
978 Node::new(13, 2, 1),
979 Node::new(13, 0, 0),
980 Node::new(13, 1, 1),
981 Node::new(44, 1, 0),
982 Node::new(12, 2, 1),
983 Node::new(12, 0, 2),
984 Node::new(12, 0, 0),
985 Node::new(12, 1, 1),
986 Node::new(43, 0, 1),
987 Node::new(11, 2, 0),
988 Node::new(11, 1, 2),
989 Node::new(11, 0, 0),
990 Node::new(11, 1, 1),
991 Node::new(42, 0, 1),
992 Node::new(10, 1, 2),
993 Node::new(10, 2, 0),
994 Node::new(10, 0, 0),
995 Node::new(10, 1, 1),
996 Node::new(41, 1, 0),
997 Node::new(9, 2, 1),
998 Node::new(9, 0, 2),
999 Node::new(9, 0, 0),
1000 Node::new(9, 1, 1),
1001 Node::new(40, 0, 1),
1002 Node::new(8, 2, 0),
1003 Node::new(8, 1, 2),
1004 Node::new(8, 0, 0),
1005 Node::new(8, 1, 1),
1006 Node::new(39, 0, 1),
1007 Node::new(7, 2, 0),
1008 Node::new(7, 1, 2),
1009 Node::new(7, 0, 0),
1010 Node::new(7, 1, 1),
1011 Node::new(38, 0, 1),
1012 Node::new(6, 1, 2),
1013 Node::new(6, 2, 0),
1014 Node::new(6, 0, 0),
1015 Node::new(6, 1, 1),
1016 Node::new(37, 1, 0),
1017 Node::new(5, 2, 1),
1018 Node::new(5, 0, 2),
1019 Node::new(5, 0, 0),
1020 Node::new(5, 1, 1),
1021 Node::new(36, 0, 1),
1022 Node::new(4, 2, 0),
1023 Node::new(4, 1, 2),
1024 Node::new(4, 0, 0),
1025 Node::new(4, 1, 1),
1026 Node::new(35, 0, 1),
1027 Node::new(3, 1, 2),
1028 Node::new(3, 2, 0),
1029 Node::new(3, 0, 0),
1030 Node::new(3, 1, 1),
1031 Node::new(34, 1, 0),
1032 Node::new(2, 2, 1),
1033 Node::new(2, 0, 2),
1034 Node::new(2, 0, 0),
1035 Node::new(2, 1, 1),
1036 Node::new(33, 0, 1),
1037 Node::new(1, 1, 2),
1038 Node::new(1, 2, 0),
1039 Node::new(1, 0, 0),
1040 Node::new(32, 1, 0),
1041 Node::new(0, 0, 1),
1042 ],
1043 [
1044 0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 37, 39, 42, 44, 47, 49, 52, 54, 57, 59, 62, 64, 67, 69, 72,
1045 74, 77, 79, 81,
1046 ],
1047 3,
1048 )),
1049 AnyBitCircuit::B17(BitCircuit::new(
1050 [
1051 Node::new(49, 1, 0),
1052 Node::new(49, 0, 1),
1053 Node::new(17, 1, 0),
1054 Node::new(17, 0, 1),
1055 Node::new(17, 0, 0),
1056 Node::new(17, 1, 1),
1057 Node::new(48, 1, 0),
1058 Node::new(16, 0, 2),
1059 Node::new(16, 2, 1),
1060 Node::new(16, 0, 0),
1061 Node::new(16, 1, 1),
1062 Node::new(47, 1, 0),
1063 Node::new(15, 2, 1),
1064 Node::new(15, 0, 2),
1065 Node::new(15, 0, 0),
1066 Node::new(15, 1, 1),
1067 Node::new(46, 0, 1),
1068 Node::new(14, 2, 0),
1069 Node::new(14, 1, 2),
1070 Node::new(14, 0, 0),
1071 Node::new(14, 1, 1),
1072 Node::new(45, 0, 1),
1073 Node::new(13, 1, 2),
1074 Node::new(13, 2, 0),
1075 Node::new(13, 0, 0),
1076 Node::new(13, 1, 1),
1077 Node::new(44, 1, 0),
1078 Node::new(12, 2, 1),
1079 Node::new(12, 0, 2),
1080 Node::new(12, 0, 0),
1081 Node::new(12, 1, 1),
1082 Node::new(43, 0, 1),
1083 Node::new(11, 1, 2),
1084 Node::new(11, 2, 0),
1085 Node::new(11, 0, 0),
1086 Node::new(11, 1, 1),
1087 Node::new(42, 1, 0),
1088 Node::new(10, 2, 1),
1089 Node::new(10, 0, 2),
1090 Node::new(10, 0, 0),
1091 Node::new(10, 1, 1),
1092 Node::new(41, 0, 1),
1093 Node::new(9, 2, 0),
1094 Node::new(9, 1, 2),
1095 Node::new(9, 0, 0),
1096 Node::new(9, 1, 1),
1097 Node::new(40, 0, 1),
1098 Node::new(8, 2, 0),
1099 Node::new(8, 1, 2),
1100 Node::new(8, 0, 0),
1101 Node::new(8, 1, 1),
1102 Node::new(39, 0, 1),
1103 Node::new(7, 1, 2),
1104 Node::new(7, 2, 0),
1105 Node::new(7, 0, 0),
1106 Node::new(7, 1, 1),
1107 Node::new(38, 1, 0),
1108 Node::new(6, 0, 2),
1109 Node::new(6, 2, 1),
1110 Node::new(6, 0, 0),
1111 Node::new(6, 1, 1),
1112 Node::new(37, 1, 0),
1113 Node::new(5, 0, 2),
1114 Node::new(5, 2, 1),
1115 Node::new(5, 0, 0),
1116 Node::new(5, 1, 1),
1117 Node::new(36, 1, 0),
1118 Node::new(4, 2, 1),
1119 Node::new(4, 0, 2),
1120 Node::new(4, 0, 0),
1121 Node::new(4, 1, 1),
1122 Node::new(35, 0, 1),
1123 Node::new(3, 2, 0),
1124 Node::new(3, 1, 2),
1125 Node::new(3, 0, 0),
1126 Node::new(3, 1, 1),
1127 Node::new(34, 0, 1),
1128 Node::new(2, 1, 2),
1129 Node::new(2, 2, 0),
1130 Node::new(2, 0, 0),
1131 Node::new(2, 1, 1),
1132 Node::new(33, 1, 0),
1133 Node::new(1, 0, 2),
1134 Node::new(1, 2, 1),
1135 Node::new(1, 0, 0),
1136 Node::new(32, 1, 0),
1137 Node::new(0, 0, 1),
1138 ],
1139 [
1140 0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 37, 39, 42, 44, 47, 49, 52, 54, 57, 59, 62, 64, 67, 69, 72,
1141 74, 77, 79, 82, 84, 86,
1142 ],
1143 3,
1144 )),
1145 AnyBitCircuit::B18(BitCircuit::new(
1146 [
1147 Node::new(50, 0, 1),
1148 Node::new(50, 1, 0),
1149 Node::new(18, 0, 1),
1150 Node::new(18, 1, 0),
1151 Node::new(18, 0, 0),
1152 Node::new(18, 1, 1),
1153 Node::new(49, 1, 0),
1154 Node::new(17, 0, 2),
1155 Node::new(17, 2, 1),
1156 Node::new(17, 0, 0),
1157 Node::new(17, 1, 1),
1158 Node::new(48, 1, 0),
1159 Node::new(16, 2, 1),
1160 Node::new(16, 0, 2),
1161 Node::new(16, 0, 0),
1162 Node::new(16, 1, 1),
1163 Node::new(47, 0, 1),
1164 Node::new(15, 2, 0),
1165 Node::new(15, 1, 2),
1166 Node::new(15, 0, 0),
1167 Node::new(15, 1, 1),
1168 Node::new(46, 0, 1),
1169 Node::new(14, 2, 0),
1170 Node::new(14, 1, 2),
1171 Node::new(14, 0, 0),
1172 Node::new(14, 1, 1),
1173 Node::new(45, 0, 1),
1174 Node::new(13, 2, 0),
1175 Node::new(13, 1, 2),
1176 Node::new(13, 0, 0),
1177 Node::new(13, 1, 1),
1178 Node::new(44, 0, 1),
1179 Node::new(12, 2, 0),
1180 Node::new(12, 1, 2),
1181 Node::new(12, 0, 0),
1182 Node::new(12, 1, 1),
1183 Node::new(43, 0, 1),
1184 Node::new(11, 2, 0),
1185 Node::new(11, 1, 2),
1186 Node::new(11, 0, 0),
1187 Node::new(11, 1, 1),
1188 Node::new(42, 0, 1),
1189 Node::new(10, 1, 2),
1190 Node::new(10, 2, 0),
1191 Node::new(10, 0, 0),
1192 Node::new(10, 1, 1),
1193 Node::new(41, 1, 0),
1194 Node::new(9, 2, 1),
1195 Node::new(9, 0, 2),
1196 Node::new(9, 0, 0),
1197 Node::new(9, 1, 1),
1198 Node::new(40, 0, 1),
1199 Node::new(8, 2, 0),
1200 Node::new(8, 1, 2),
1201 Node::new(8, 0, 0),
1202 Node::new(8, 1, 1),
1203 Node::new(39, 0, 1),
1204 Node::new(7, 1, 2),
1205 Node::new(7, 2, 0),
1206 Node::new(7, 0, 0),
1207 Node::new(7, 1, 1),
1208 Node::new(38, 1, 0),
1209 Node::new(6, 0, 2),
1210 Node::new(6, 2, 1),
1211 Node::new(6, 0, 0),
1212 Node::new(6, 1, 1),
1213 Node::new(37, 1, 0),
1214 Node::new(5, 0, 2),
1215 Node::new(5, 2, 1),
1216 Node::new(5, 0, 0),
1217 Node::new(5, 1, 1),
1218 Node::new(36, 1, 0),
1219 Node::new(4, 0, 2),
1220 Node::new(4, 2, 1),
1221 Node::new(4, 0, 0),
1222 Node::new(4, 1, 1),
1223 Node::new(35, 1, 0),
1224 Node::new(3, 0, 2),
1225 Node::new(3, 2, 1),
1226 Node::new(3, 0, 0),
1227 Node::new(3, 1, 1),
1228 Node::new(34, 1, 0),
1229 Node::new(2, 2, 1),
1230 Node::new(2, 0, 2),
1231 Node::new(2, 0, 0),
1232 Node::new(2, 1, 1),
1233 Node::new(33, 0, 1),
1234 Node::new(1, 1, 2),
1235 Node::new(1, 2, 0),
1236 Node::new(1, 0, 0),
1237 Node::new(32, 1, 0),
1238 Node::new(0, 0, 1),
1239 ],
1240 [
1241 0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 37, 39, 42, 44, 47, 49, 52, 54, 57, 59, 62, 64, 67, 69, 72,
1242 74, 77, 79, 82, 84, 87, 89, 91,
1243 ],
1244 3,
1245 )),
1246 AnyBitCircuit::B19(BitCircuit::new(
1247 [
1248 Node::new(51, 0, 1),
1249 Node::new(51, 1, 0),
1250 Node::new(19, 0, 1),
1251 Node::new(19, 1, 0),
1252 Node::new(19, 0, 0),
1253 Node::new(19, 1, 1),
1254 Node::new(50, 1, 0),
1255 Node::new(18, 0, 2),
1256 Node::new(18, 2, 1),
1257 Node::new(18, 0, 0),
1258 Node::new(18, 1, 1),
1259 Node::new(49, 1, 0),
1260 Node::new(17, 0, 2),
1261 Node::new(17, 2, 1),
1262 Node::new(17, 0, 0),
1263 Node::new(17, 1, 1),
1264 Node::new(48, 1, 0),
1265 Node::new(16, 0, 2),
1266 Node::new(16, 2, 1),
1267 Node::new(16, 0, 0),
1268 Node::new(16, 1, 1),
1269 Node::new(47, 1, 0),
1270 Node::new(15, 2, 1),
1271 Node::new(15, 0, 2),
1272 Node::new(15, 0, 0),
1273 Node::new(15, 1, 1),
1274 Node::new(46, 0, 1),
1275 Node::new(14, 1, 2),
1276 Node::new(14, 2, 0),
1277 Node::new(14, 0, 0),
1278 Node::new(14, 1, 1),
1279 Node::new(45, 1, 0),
1280 Node::new(13, 2, 1),
1281 Node::new(13, 0, 2),
1282 Node::new(13, 0, 0),
1283 Node::new(13, 1, 1),
1284 Node::new(44, 0, 1),
1285 Node::new(12, 1, 2),
1286 Node::new(12, 2, 0),
1287 Node::new(12, 0, 0),
1288 Node::new(12, 1, 1),
1289 Node::new(43, 1, 0),
1290 Node::new(11, 0, 2),
1291 Node::new(11, 2, 1),
1292 Node::new(11, 0, 0),
1293 Node::new(11, 1, 1),
1294 Node::new(42, 1, 0),
1295 Node::new(10, 2, 1),
1296 Node::new(10, 0, 2),
1297 Node::new(10, 0, 0),
1298 Node::new(10, 1, 1),
1299 Node::new(41, 0, 1),
1300 Node::new(9, 2, 0),
1301 Node::new(9, 1, 2),
1302 Node::new(9, 0, 0),
1303 Node::new(9, 1, 1),
1304 Node::new(40, 0, 1),
1305 Node::new(8, 1, 2),
1306 Node::new(8, 2, 0),
1307 Node::new(8, 0, 0),
1308 Node::new(8, 1, 1),
1309 Node::new(39, 1, 0),
1310 Node::new(7, 2, 1),
1311 Node::new(7, 0, 2),
1312 Node::new(7, 0, 0),
1313 Node::new(7, 1, 1),
1314 Node::new(38, 0, 1),
1315 Node::new(6, 2, 0),
1316 Node::new(6, 1, 2),
1317 Node::new(6, 0, 0),
1318 Node::new(6, 1, 1),
1319 Node::new(37, 0, 1),
1320 Node::new(5, 1, 2),
1321 Node::new(5, 2, 0),
1322 Node::new(5, 0, 0),
1323 Node::new(5, 1, 1),
1324 Node::new(36, 1, 0),
1325 Node::new(4, 0, 2),
1326 Node::new(4, 2, 1),
1327 Node::new(4, 0, 0),
1328 Node::new(4, 1, 1),
1329 Node::new(35, 1, 0),
1330 Node::new(3, 2, 1),
1331 Node::new(3, 0, 2),
1332 Node::new(3, 0, 0),
1333 Node::new(3, 1, 1),
1334 Node::new(34, 0, 1),
1335 Node::new(2, 1, 2),
1336 Node::new(2, 2, 0),
1337 Node::new(2, 0, 0),
1338 Node::new(2, 1, 1),
1339 Node::new(33, 1, 0),
1340 Node::new(1, 0, 2),
1341 Node::new(1, 2, 1),
1342 Node::new(1, 0, 0),
1343 Node::new(32, 1, 0),
1344 Node::new(0, 0, 1),
1345 ],
1346 [
1347 0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 37, 39, 42, 44, 47, 49, 52, 54, 57, 59, 62, 64, 67, 69, 72,
1348 74, 77, 79, 82, 84, 87, 89, 92, 94, 96,
1349 ],
1350 3,
1351 )),
1352 AnyBitCircuit::B20(BitCircuit::new(
1353 [
1354 Node::new(52, 1, 0),
1355 Node::new(52, 0, 1),
1356 Node::new(20, 0, 1),
1357 Node::new(20, 1, 0),
1358 Node::new(20, 0, 0),
1359 Node::new(20, 1, 1),
1360 Node::new(51, 0, 1),
1361 Node::new(19, 2, 0),
1362 Node::new(19, 1, 2),
1363 Node::new(19, 0, 0),
1364 Node::new(19, 1, 1),
1365 Node::new(50, 0, 1),
1366 Node::new(18, 2, 0),
1367 Node::new(18, 1, 2),
1368 Node::new(18, 0, 0),
1369 Node::new(18, 1, 1),
1370 Node::new(49, 0, 1),
1371 Node::new(17, 2, 0),
1372 Node::new(17, 1, 2),
1373 Node::new(17, 0, 0),
1374 Node::new(17, 1, 1),
1375 Node::new(48, 0, 1),
1376 Node::new(16, 2, 0),
1377 Node::new(16, 1, 2),
1378 Node::new(16, 0, 0),
1379 Node::new(16, 1, 1),
1380 Node::new(47, 0, 1),
1381 Node::new(15, 1, 2),
1382 Node::new(15, 2, 0),
1383 Node::new(15, 0, 0),
1384 Node::new(15, 1, 1),
1385 Node::new(46, 1, 0),
1386 Node::new(14, 0, 2),
1387 Node::new(14, 2, 1),
1388 Node::new(14, 0, 0),
1389 Node::new(14, 1, 1),
1390 Node::new(45, 1, 0),
1391 Node::new(13, 2, 1),
1392 Node::new(13, 0, 2),
1393 Node::new(13, 0, 0),
1394 Node::new(13, 1, 1),
1395 Node::new(44, 0, 1),
1396 Node::new(12, 1, 2),
1397 Node::new(12, 2, 0),
1398 Node::new(12, 0, 0),
1399 Node::new(12, 1, 1),
1400 Node::new(43, 1, 0),
1401 Node::new(11, 0, 2),
1402 Node::new(11, 2, 1),
1403 Node::new(11, 0, 0),
1404 Node::new(11, 1, 1),
1405 Node::new(42, 1, 0),
1406 Node::new(10, 0, 2),
1407 Node::new(10, 2, 1),
1408 Node::new(10, 0, 0),
1409 Node::new(10, 1, 1),
1410 Node::new(41, 1, 0),
1411 Node::new(9, 2, 1),
1412 Node::new(9, 0, 2),
1413 Node::new(9, 0, 0),
1414 Node::new(9, 1, 1),
1415 Node::new(40, 0, 1),
1416 Node::new(8, 2, 0),
1417 Node::new(8, 1, 2),
1418 Node::new(8, 0, 0),
1419 Node::new(8, 1, 1),
1420 Node::new(39, 0, 1),
1421 Node::new(7, 2, 0),
1422 Node::new(7, 1, 2),
1423 Node::new(7, 0, 0),
1424 Node::new(7, 1, 1),
1425 Node::new(38, 0, 1),
1426 Node::new(6, 2, 0),
1427 Node::new(6, 1, 2),
1428 Node::new(6, 0, 0),
1429 Node::new(6, 1, 1),
1430 Node::new(37, 0, 1),
1431 Node::new(5, 1, 2),
1432 Node::new(5, 2, 0),
1433 Node::new(5, 0, 0),
1434 Node::new(5, 1, 1),
1435 Node::new(36, 1, 0),
1436 Node::new(4, 2, 1),
1437 Node::new(4, 0, 2),
1438 Node::new(4, 0, 0),
1439 Node::new(4, 1, 1),
1440 Node::new(35, 0, 1),
1441 Node::new(3, 1, 2),
1442 Node::new(3, 2, 0),
1443 Node::new(3, 0, 0),
1444 Node::new(3, 1, 1),
1445 Node::new(34, 1, 0),
1446 Node::new(2, 2, 1),
1447 Node::new(2, 0, 2),
1448 Node::new(2, 0, 0),
1449 Node::new(2, 1, 1),
1450 Node::new(33, 0, 1),
1451 Node::new(1, 1, 2),
1452 Node::new(1, 2, 0),
1453 Node::new(1, 0, 0),
1454 Node::new(32, 1, 0),
1455 Node::new(0, 0, 1),
1456 ],
1457 [
1458 0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 37, 39, 42, 44, 47, 49, 52, 54, 57, 59, 62, 64, 67, 69, 72,
1459 74, 77, 79, 82, 84, 87, 89, 92, 94, 97, 99, 101,
1460 ],
1461 3,
1462 )),
1463 AnyBitCircuit::B21(BitCircuit::new(
1464 [
1465 Node::new(53, 1, 0),
1466 Node::new(53, 0, 1),
1467 Node::new(21, 1, 0),
1468 Node::new(21, 0, 1),
1469 Node::new(21, 0, 0),
1470 Node::new(21, 1, 1),
1471 Node::new(52, 1, 0),
1472 Node::new(20, 2, 1),
1473 Node::new(20, 0, 2),
1474 Node::new(20, 0, 0),
1475 Node::new(20, 1, 1),
1476 Node::new(51, 0, 1),
1477 Node::new(19, 2, 0),
1478 Node::new(19, 1, 2),
1479 Node::new(19, 0, 0),
1480 Node::new(19, 1, 1),
1481 Node::new(50, 0, 1),
1482 Node::new(18, 1, 2),
1483 Node::new(18, 2, 0),
1484 Node::new(18, 0, 0),
1485 Node::new(18, 1, 1),
1486 Node::new(49, 1, 0),
1487 Node::new(17, 2, 1),
1488 Node::new(17, 0, 2),
1489 Node::new(17, 0, 0),
1490 Node::new(17, 1, 1),
1491 Node::new(48, 0, 1),
1492 Node::new(16, 1, 2),
1493 Node::new(16, 2, 0),
1494 Node::new(16, 0, 0),
1495 Node::new(16, 1, 1),
1496 Node::new(47, 1, 0),
1497 Node::new(15, 0, 2),
1498 Node::new(15, 2, 1),
1499 Node::new(15, 0, 0),
1500 Node::new(15, 1, 1),
1501 Node::new(46, 1, 0),
1502 Node::new(14, 2, 1),
1503 Node::new(14, 0, 2),
1504 Node::new(14, 0, 0),
1505 Node::new(14, 1, 1),
1506 Node::new(45, 0, 1),
1507 Node::new(13, 2, 0),
1508 Node::new(13, 1, 2),
1509 Node::new(13, 0, 0),
1510 Node::new(13, 1, 1),
1511 Node::new(44, 0, 1),
1512 Node::new(12, 1, 2),
1513 Node::new(12, 2, 0),
1514 Node::new(12, 0, 0),
1515 Node::new(12, 1, 1),
1516 Node::new(43, 1, 0),
1517 Node::new(11, 2, 1),
1518 Node::new(11, 0, 2),
1519 Node::new(11, 0, 0),
1520 Node::new(11, 1, 1),
1521 Node::new(42, 0, 1),
1522 Node::new(10, 2, 0),
1523 Node::new(10, 1, 2),
1524 Node::new(10, 0, 0),
1525 Node::new(10, 1, 1),
1526 Node::new(41, 0, 1),
1527 Node::new(9, 2, 0),
1528 Node::new(9, 1, 2),
1529 Node::new(9, 0, 0),
1530 Node::new(9, 1, 1),
1531 Node::new(40, 0, 1),
1532 Node::new(8, 1, 2),
1533 Node::new(8, 2, 0),
1534 Node::new(8, 0, 0),
1535 Node::new(8, 1, 1),
1536 Node::new(39, 1, 0),
1537 Node::new(7, 0, 2),
1538 Node::new(7, 2, 1),
1539 Node::new(7, 0, 0),
1540 Node::new(7, 1, 1),
1541 Node::new(38, 1, 0),
1542 Node::new(6, 0, 2),
1543 Node::new(6, 2, 1),
1544 Node::new(6, 0, 0),
1545 Node::new(6, 1, 1),
1546 Node::new(37, 1, 0),
1547 Node::new(5, 2, 1),
1548 Node::new(5, 0, 2),
1549 Node::new(5, 0, 0),
1550 Node::new(5, 1, 1),
1551 Node::new(36, 0, 1),
1552 Node::new(4, 1, 2),
1553 Node::new(4, 2, 0),
1554 Node::new(4, 0, 0),
1555 Node::new(4, 1, 1),
1556 Node::new(35, 1, 0),
1557 Node::new(3, 0, 2),
1558 Node::new(3, 2, 1),
1559 Node::new(3, 0, 0),
1560 Node::new(3, 1, 1),
1561 Node::new(34, 1, 0),
1562 Node::new(2, 0, 2),
1563 Node::new(2, 2, 1),
1564 Node::new(2, 0, 0),
1565 Node::new(2, 1, 1),
1566 Node::new(33, 1, 0),
1567 Node::new(1, 0, 2),
1568 Node::new(1, 2, 1),
1569 Node::new(1, 0, 0),
1570 Node::new(32, 1, 0),
1571 Node::new(0, 0, 1),
1572 ],
1573 [
1574 0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 37, 39, 42, 44, 47, 49, 52, 54, 57, 59, 62, 64, 67, 69, 72,
1575 74, 77, 79, 82, 84, 87, 89, 92, 94, 97, 99, 102, 104, 106,
1576 ],
1577 3,
1578 )),
1579 AnyBitCircuit::B22(BitCircuit::new(
1580 [
1581 Node::new(54, 0, 1),
1582 Node::new(54, 1, 0),
1583 Node::new(22, 0, 1),
1584 Node::new(22, 1, 0),
1585 Node::new(22, 0, 0),
1586 Node::new(22, 1, 1),
1587 Node::new(53, 1, 0),
1588 Node::new(21, 2, 1),
1589 Node::new(21, 0, 2),
1590 Node::new(21, 0, 0),
1591 Node::new(21, 1, 1),
1592 Node::new(52, 0, 1),
1593 Node::new(20, 2, 0),
1594 Node::new(20, 1, 2),
1595 Node::new(20, 0, 0),
1596 Node::new(20, 1, 1),
1597 Node::new(51, 0, 1),
1598 Node::new(19, 1, 2),
1599 Node::new(19, 2, 0),
1600 Node::new(19, 0, 0),
1601 Node::new(19, 1, 1),
1602 Node::new(50, 1, 0),
1603 Node::new(18, 0, 2),
1604 Node::new(18, 2, 1),
1605 Node::new(18, 0, 0),
1606 Node::new(18, 1, 1),
1607 Node::new(49, 1, 0),
1608 Node::new(17, 2, 1),
1609 Node::new(17, 0, 2),
1610 Node::new(17, 0, 0),
1611 Node::new(17, 1, 1),
1612 Node::new(48, 0, 1),
1613 Node::new(16, 1, 2),
1614 Node::new(16, 2, 0),
1615 Node::new(16, 0, 0),
1616 Node::new(16, 1, 1),
1617 Node::new(47, 1, 0),
1618 Node::new(15, 0, 2),
1619 Node::new(15, 2, 1),
1620 Node::new(15, 0, 0),
1621 Node::new(15, 1, 1),
1622 Node::new(46, 1, 0),
1623 Node::new(14, 0, 2),
1624 Node::new(14, 2, 1),
1625 Node::new(14, 0, 0),
1626 Node::new(14, 1, 1),
1627 Node::new(45, 1, 0),
1628 Node::new(13, 0, 2),
1629 Node::new(13, 2, 1),
1630 Node::new(13, 0, 0),
1631 Node::new(13, 1, 1),
1632 Node::new(44, 1, 0),
1633 Node::new(12, 0, 2),
1634 Node::new(12, 2, 1),
1635 Node::new(12, 0, 0),
1636 Node::new(12, 1, 1),
1637 Node::new(43, 1, 0),
1638 Node::new(11, 0, 2),
1639 Node::new(11, 2, 1),
1640 Node::new(11, 0, 0),
1641 Node::new(11, 1, 1),
1642 Node::new(42, 1, 0),
1643 Node::new(10, 2, 1),
1644 Node::new(10, 0, 2),
1645 Node::new(10, 0, 0),
1646 Node::new(10, 1, 1),
1647 Node::new(41, 0, 1),
1648 Node::new(9, 1, 2),
1649 Node::new(9, 2, 0),
1650 Node::new(9, 0, 0),
1651 Node::new(9, 1, 1),
1652 Node::new(40, 1, 0),
1653 Node::new(8, 2, 1),
1654 Node::new(8, 0, 2),
1655 Node::new(8, 0, 0),
1656 Node::new(8, 1, 1),
1657 Node::new(39, 0, 1),
1658 Node::new(7, 2, 0),
1659 Node::new(7, 1, 2),
1660 Node::new(7, 0, 0),
1661 Node::new(7, 1, 1),
1662 Node::new(38, 0, 1),
1663 Node::new(6, 1, 2),
1664 Node::new(6, 2, 0),
1665 Node::new(6, 0, 0),
1666 Node::new(6, 1, 1),
1667 Node::new(37, 1, 0),
1668 Node::new(5, 0, 2),
1669 Node::new(5, 2, 1),
1670 Node::new(5, 0, 0),
1671 Node::new(5, 1, 1),
1672 Node::new(36, 1, 0),
1673 Node::new(4, 2, 1),
1674 Node::new(4, 0, 2),
1675 Node::new(4, 0, 0),
1676 Node::new(4, 1, 1),
1677 Node::new(35, 0, 1),
1678 Node::new(3, 1, 2),
1679 Node::new(3, 2, 0),
1680 Node::new(3, 0, 0),
1681 Node::new(3, 1, 1),
1682 Node::new(34, 1, 0),
1683 Node::new(2, 2, 1),
1684 Node::new(2, 0, 2),
1685 Node::new(2, 0, 0),
1686 Node::new(2, 1, 1),
1687 Node::new(33, 0, 1),
1688 Node::new(1, 1, 2),
1689 Node::new(1, 2, 0),
1690 Node::new(1, 0, 0),
1691 Node::new(32, 1, 0),
1692 Node::new(0, 0, 1),
1693 ],
1694 [
1695 0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 37, 39, 42, 44, 47, 49, 52, 54, 57, 59, 62, 64, 67, 69, 72,
1696 74, 77, 79, 82, 84, 87, 89, 92, 94, 97, 99, 102, 104, 107, 109, 111,
1697 ],
1698 3,
1699 )),
1700 AnyBitCircuit::B23(BitCircuit::new(
1701 [
1702 Node::new(55, 0, 1),
1703 Node::new(55, 1, 0),
1704 Node::new(23, 1, 0),
1705 Node::new(23, 0, 1),
1706 Node::new(23, 0, 0),
1707 Node::new(23, 1, 1),
1708 Node::new(54, 0, 1),
1709 Node::new(22, 2, 0),
1710 Node::new(22, 1, 2),
1711 Node::new(22, 0, 0),
1712 Node::new(22, 1, 1),
1713 Node::new(53, 0, 1),
1714 Node::new(21, 1, 2),
1715 Node::new(21, 2, 0),
1716 Node::new(21, 0, 0),
1717 Node::new(21, 1, 1),
1718 Node::new(52, 1, 0),
1719 Node::new(20, 0, 2),
1720 Node::new(20, 2, 1),
1721 Node::new(20, 0, 0),
1722 Node::new(20, 1, 1),
1723 Node::new(51, 1, 0),
1724 Node::new(19, 0, 2),
1725 Node::new(19, 2, 1),
1726 Node::new(19, 0, 0),
1727 Node::new(19, 1, 1),
1728 Node::new(50, 1, 0),
1729 Node::new(18, 0, 2),
1730 Node::new(18, 2, 1),
1731 Node::new(18, 0, 0),
1732 Node::new(18, 1, 1),
1733 Node::new(49, 1, 0),
1734 Node::new(17, 2, 1),
1735 Node::new(17, 0, 2),
1736 Node::new(17, 0, 0),
1737 Node::new(17, 1, 1),
1738 Node::new(48, 0, 1),
1739 Node::new(16, 2, 0),
1740 Node::new(16, 1, 2),
1741 Node::new(16, 0, 0),
1742 Node::new(16, 1, 1),
1743 Node::new(47, 0, 1),
1744 Node::new(15, 1, 2),
1745 Node::new(15, 2, 0),
1746 Node::new(15, 0, 0),
1747 Node::new(15, 1, 1),
1748 Node::new(46, 1, 0),
1749 Node::new(14, 0, 2),
1750 Node::new(14, 2, 1),
1751 Node::new(14, 0, 0),
1752 Node::new(14, 1, 1),
1753 Node::new(45, 1, 0),
1754 Node::new(13, 0, 2),
1755 Node::new(13, 2, 1),
1756 Node::new(13, 0, 0),
1757 Node::new(13, 1, 1),
1758 Node::new(44, 1, 0),
1759 Node::new(12, 2, 1),
1760 Node::new(12, 0, 2),
1761 Node::new(12, 0, 0),
1762 Node::new(12, 1, 1),
1763 Node::new(43, 0, 1),
1764 Node::new(11, 1, 2),
1765 Node::new(11, 2, 0),
1766 Node::new(11, 0, 0),
1767 Node::new(11, 1, 1),
1768 Node::new(42, 1, 0),
1769 Node::new(10, 2, 1),
1770 Node::new(10, 0, 2),
1771 Node::new(10, 0, 0),
1772 Node::new(10, 1, 1),
1773 Node::new(41, 0, 1),
1774 Node::new(9, 2, 0),
1775 Node::new(9, 1, 2),
1776 Node::new(9, 0, 0),
1777 Node::new(9, 1, 1),
1778 Node::new(40, 0, 1),
1779 Node::new(8, 1, 2),
1780 Node::new(8, 2, 0),
1781 Node::new(8, 0, 0),
1782 Node::new(8, 1, 1),
1783 Node::new(39, 1, 0),
1784 Node::new(7, 2, 1),
1785 Node::new(7, 0, 2),
1786 Node::new(7, 0, 0),
1787 Node::new(7, 1, 1),
1788 Node::new(38, 0, 1),
1789 Node::new(6, 1, 2),
1790 Node::new(6, 2, 0),
1791 Node::new(6, 0, 0),
1792 Node::new(6, 1, 1),
1793 Node::new(37, 1, 0),
1794 Node::new(5, 0, 2),
1795 Node::new(5, 2, 1),
1796 Node::new(5, 0, 0),
1797 Node::new(5, 1, 1),
1798 Node::new(36, 1, 0),
1799 Node::new(4, 0, 2),
1800 Node::new(4, 2, 1),
1801 Node::new(4, 0, 0),
1802 Node::new(4, 1, 1),
1803 Node::new(35, 1, 0),
1804 Node::new(3, 2, 1),
1805 Node::new(3, 0, 2),
1806 Node::new(3, 0, 0),
1807 Node::new(3, 1, 1),
1808 Node::new(34, 0, 1),
1809 Node::new(2, 1, 2),
1810 Node::new(2, 2, 0),
1811 Node::new(2, 0, 0),
1812 Node::new(2, 1, 1),
1813 Node::new(33, 1, 0),
1814 Node::new(1, 0, 2),
1815 Node::new(1, 2, 1),
1816 Node::new(1, 0, 0),
1817 Node::new(32, 1, 0),
1818 Node::new(0, 0, 1),
1819 ],
1820 [
1821 0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 37, 39, 42, 44, 47, 49, 52, 54, 57, 59, 62, 64, 67, 69, 72,
1822 74, 77, 79, 82, 84, 87, 89, 92, 94, 97, 99, 102, 104, 107, 109, 112, 114, 116,
1823 ],
1824 3,
1825 )),
1826 AnyBitCircuit::B24(BitCircuit::new(
1827 [
1828 Node::new(56, 1, 0),
1829 Node::new(56, 0, 1),
1830 Node::new(24, 1, 0),
1831 Node::new(24, 0, 1),
1832 Node::new(24, 0, 0),
1833 Node::new(24, 1, 1),
1834 Node::new(55, 1, 0),
1835 Node::new(23, 0, 2),
1836 Node::new(23, 2, 1),
1837 Node::new(23, 0, 0),
1838 Node::new(23, 1, 1),
1839 Node::new(54, 1, 0),
1840 Node::new(22, 2, 1),
1841 Node::new(22, 0, 2),
1842 Node::new(22, 0, 0),
1843 Node::new(22, 1, 1),
1844 Node::new(53, 0, 1),
1845 Node::new(21, 2, 0),
1846 Node::new(21, 1, 2),
1847 Node::new(21, 0, 0),
1848 Node::new(21, 1, 1),
1849 Node::new(52, 0, 1),
1850 Node::new(20, 2, 0),
1851 Node::new(20, 1, 2),
1852 Node::new(20, 0, 0),
1853 Node::new(20, 1, 1),
1854 Node::new(51, 0, 1),
1855 Node::new(19, 2, 0),
1856 Node::new(19, 1, 2),
1857 Node::new(19, 0, 0),
1858 Node::new(19, 1, 1),
1859 Node::new(50, 0, 1),
1860 Node::new(18, 2, 0),
1861 Node::new(18, 1, 2),
1862 Node::new(18, 0, 0),
1863 Node::new(18, 1, 1),
1864 Node::new(49, 0, 1),
1865 Node::new(17, 1, 2),
1866 Node::new(17, 2, 0),
1867 Node::new(17, 0, 0),
1868 Node::new(17, 1, 1),
1869 Node::new(48, 1, 0),
1870 Node::new(16, 2, 1),
1871 Node::new(16, 0, 2),
1872 Node::new(16, 0, 0),
1873 Node::new(16, 1, 1),
1874 Node::new(47, 0, 1),
1875 Node::new(15, 1, 2),
1876 Node::new(15, 2, 0),
1877 Node::new(15, 0, 0),
1878 Node::new(15, 1, 1),
1879 Node::new(46, 1, 0),
1880 Node::new(14, 2, 1),
1881 Node::new(14, 0, 2),
1882 Node::new(14, 0, 0),
1883 Node::new(14, 1, 1),
1884 Node::new(45, 0, 1),
1885 Node::new(13, 1, 2),
1886 Node::new(13, 2, 0),
1887 Node::new(13, 0, 0),
1888 Node::new(13, 1, 1),
1889 Node::new(44, 1, 0),
1890 Node::new(12, 2, 1),
1891 Node::new(12, 0, 2),
1892 Node::new(12, 0, 0),
1893 Node::new(12, 1, 1),
1894 Node::new(43, 0, 1),
1895 Node::new(11, 2, 0),
1896 Node::new(11, 1, 2),
1897 Node::new(11, 0, 0),
1898 Node::new(11, 1, 1),
1899 Node::new(42, 0, 1),
1900 Node::new(10, 1, 2),
1901 Node::new(10, 2, 0),
1902 Node::new(10, 0, 0),
1903 Node::new(10, 1, 1),
1904 Node::new(41, 1, 0),
1905 Node::new(9, 2, 1),
1906 Node::new(9, 0, 2),
1907 Node::new(9, 0, 0),
1908 Node::new(9, 1, 1),
1909 Node::new(40, 0, 1),
1910 Node::new(8, 2, 0),
1911 Node::new(8, 1, 2),
1912 Node::new(8, 0, 0),
1913 Node::new(8, 1, 1),
1914 Node::new(39, 0, 1),
1915 Node::new(7, 2, 0),
1916 Node::new(7, 1, 2),
1917 Node::new(7, 0, 0),
1918 Node::new(7, 1, 1),
1919 Node::new(38, 0, 1),
1920 Node::new(6, 2, 0),
1921 Node::new(6, 1, 2),
1922 Node::new(6, 0, 0),
1923 Node::new(6, 1, 1),
1924 Node::new(37, 0, 1),
1925 Node::new(5, 1, 2),
1926 Node::new(5, 2, 0),
1927 Node::new(5, 0, 0),
1928 Node::new(5, 1, 1),
1929 Node::new(36, 1, 0),
1930 Node::new(4, 2, 1),
1931 Node::new(4, 0, 2),
1932 Node::new(4, 0, 0),
1933 Node::new(4, 1, 1),
1934 Node::new(35, 0, 1),
1935 Node::new(3, 2, 0),
1936 Node::new(3, 1, 2),
1937 Node::new(3, 0, 0),
1938 Node::new(3, 1, 1),
1939 Node::new(34, 0, 1),
1940 Node::new(2, 1, 2),
1941 Node::new(2, 2, 0),
1942 Node::new(2, 0, 0),
1943 Node::new(2, 1, 1),
1944 Node::new(33, 1, 0),
1945 Node::new(1, 0, 2),
1946 Node::new(1, 2, 1),
1947 Node::new(1, 0, 0),
1948 Node::new(32, 1, 0),
1949 Node::new(0, 0, 1),
1950 ],
1951 [
1952 0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 37, 39, 42, 44, 47, 49, 52, 54, 57, 59, 62, 64, 67, 69, 72,
1953 74, 77, 79, 82, 84, 87, 89, 92, 94, 97, 99, 102, 104, 107, 109, 112, 114, 117, 119, 121,
1954 ],
1955 3,
1956 )),
1957 AnyBitCircuit::B25(BitCircuit::new(
1958 [
1959 Node::new(57, 1, 0),
1960 Node::new(57, 0, 1),
1961 Node::new(25, 0, 1),
1962 Node::new(25, 1, 0),
1963 Node::new(25, 0, 0),
1964 Node::new(25, 1, 1),
1965 Node::new(56, 0, 1),
1966 Node::new(24, 1, 2),
1967 Node::new(24, 2, 0),
1968 Node::new(24, 0, 0),
1969 Node::new(24, 1, 1),
1970 Node::new(55, 1, 0),
1971 Node::new(23, 0, 2),
1972 Node::new(23, 2, 1),
1973 Node::new(23, 0, 0),
1974 Node::new(23, 1, 1),
1975 Node::new(54, 1, 0),
1976 Node::new(22, 0, 2),
1977 Node::new(22, 2, 1),
1978 Node::new(22, 0, 0),
1979 Node::new(22, 1, 1),
1980 Node::new(53, 1, 0),
1981 Node::new(21, 2, 1),
1982 Node::new(21, 0, 2),
1983 Node::new(21, 0, 0),
1984 Node::new(21, 1, 1),
1985 Node::new(52, 0, 1),
1986 Node::new(20, 1, 2),
1987 Node::new(20, 2, 0),
1988 Node::new(20, 0, 0),
1989 Node::new(20, 1, 1),
1990 Node::new(51, 1, 0),
1991 Node::new(19, 0, 2),
1992 Node::new(19, 2, 1),
1993 Node::new(19, 0, 0),
1994 Node::new(19, 1, 1),
1995 Node::new(50, 1, 0),
1996 Node::new(18, 2, 1),
1997 Node::new(18, 0, 2),
1998 Node::new(18, 0, 0),
1999 Node::new(18, 1, 1),
2000 Node::new(49, 0, 1),
2001 Node::new(17, 2, 0),
2002 Node::new(17, 1, 2),
2003 Node::new(17, 0, 0),
2004 Node::new(17, 1, 1),
2005 Node::new(48, 0, 1),
2006 Node::new(16, 1, 2),
2007 Node::new(16, 2, 0),
2008 Node::new(16, 0, 0),
2009 Node::new(16, 1, 1),
2010 Node::new(47, 1, 0),
2011 Node::new(15, 2, 1),
2012 Node::new(15, 0, 2),
2013 Node::new(15, 0, 0),
2014 Node::new(15, 1, 1),
2015 Node::new(46, 0, 1),
2016 Node::new(14, 2, 0),
2017 Node::new(14, 1, 2),
2018 Node::new(14, 0, 0),
2019 Node::new(14, 1, 1),
2020 Node::new(45, 0, 1),
2021 Node::new(13, 1, 2),
2022 Node::new(13, 2, 0),
2023 Node::new(13, 0, 0),
2024 Node::new(13, 1, 1),
2025 Node::new(44, 1, 0),
2026 Node::new(12, 2, 1),
2027 Node::new(12, 0, 2),
2028 Node::new(12, 0, 0),
2029 Node::new(12, 1, 1),
2030 Node::new(43, 0, 1),
2031 Node::new(11, 2, 0),
2032 Node::new(11, 1, 2),
2033 Node::new(11, 0, 0),
2034 Node::new(11, 1, 1),
2035 Node::new(42, 0, 1),
2036 Node::new(10, 2, 0),
2037 Node::new(10, 1, 2),
2038 Node::new(10, 0, 0),
2039 Node::new(10, 1, 1),
2040 Node::new(41, 0, 1),
2041 Node::new(9, 1, 2),
2042 Node::new(9, 2, 0),
2043 Node::new(9, 0, 0),
2044 Node::new(9, 1, 1),
2045 Node::new(40, 1, 0),
2046 Node::new(8, 2, 1),
2047 Node::new(8, 0, 2),
2048 Node::new(8, 0, 0),
2049 Node::new(8, 1, 1),
2050 Node::new(39, 0, 1),
2051 Node::new(7, 1, 2),
2052 Node::new(7, 2, 0),
2053 Node::new(7, 0, 0),
2054 Node::new(7, 1, 1),
2055 Node::new(38, 1, 0),
2056 Node::new(6, 2, 1),
2057 Node::new(6, 0, 2),
2058 Node::new(6, 0, 0),
2059 Node::new(6, 1, 1),
2060 Node::new(37, 0, 1),
2061 Node::new(5, 2, 0),
2062 Node::new(5, 1, 2),
2063 Node::new(5, 0, 0),
2064 Node::new(5, 1, 1),
2065 Node::new(36, 0, 1),
2066 Node::new(4, 1, 2),
2067 Node::new(4, 2, 0),
2068 Node::new(4, 0, 0),
2069 Node::new(4, 1, 1),
2070 Node::new(35, 1, 0),
2071 Node::new(3, 2, 1),
2072 Node::new(3, 0, 2),
2073 Node::new(3, 0, 0),
2074 Node::new(3, 1, 1),
2075 Node::new(34, 0, 1),
2076 Node::new(2, 1, 2),
2077 Node::new(2, 2, 0),
2078 Node::new(2, 0, 0),
2079 Node::new(2, 1, 1),
2080 Node::new(33, 1, 0),
2081 Node::new(1, 0, 2),
2082 Node::new(1, 2, 1),
2083 Node::new(1, 0, 0),
2084 Node::new(32, 1, 0),
2085 Node::new(0, 0, 1),
2086 ],
2087 [
2088 0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 37, 39, 42, 44, 47, 49, 52, 54, 57, 59, 62, 64, 67, 69, 72,
2089 74, 77, 79, 82, 84, 87, 89, 92, 94, 97, 99, 102, 104, 107, 109, 112, 114, 117, 119, 122, 124, 126,
2090 ],
2091 3,
2092 )),
2093 AnyBitCircuit::B26(BitCircuit::new(
2094 [
2095 Node::new(58, 0, 1),
2096 Node::new(58, 1, 0),
2097 Node::new(26, 0, 1),
2098 Node::new(26, 1, 0),
2099 Node::new(26, 0, 0),
2100 Node::new(26, 1, 1),
2101 Node::new(57, 1, 0),
2102 Node::new(25, 0, 2),
2103 Node::new(25, 2, 1),
2104 Node::new(25, 0, 0),
2105 Node::new(25, 1, 1),
2106 Node::new(56, 1, 0),
2107 Node::new(24, 2, 1),
2108 Node::new(24, 0, 2),
2109 Node::new(24, 0, 0),
2110 Node::new(24, 1, 1),
2111 Node::new(55, 0, 1),
2112 Node::new(23, 1, 2),
2113 Node::new(23, 2, 0),
2114 Node::new(23, 0, 0),
2115 Node::new(23, 1, 1),
2116 Node::new(54, 1, 0),
2117 Node::new(22, 2, 1),
2118 Node::new(22, 0, 2),
2119 Node::new(22, 0, 0),
2120 Node::new(22, 1, 1),
2121 Node::new(53, 0, 1),
2122 Node::new(21, 2, 0),
2123 Node::new(21, 1, 2),
2124 Node::new(21, 0, 0),
2125 Node::new(21, 1, 1),
2126 Node::new(52, 0, 1),
2127 Node::new(20, 1, 2),
2128 Node::new(20, 2, 0),
2129 Node::new(20, 0, 0),
2130 Node::new(20, 1, 1),
2131 Node::new(51, 1, 0),
2132 Node::new(19, 0, 2),
2133 Node::new(19, 2, 1),
2134 Node::new(19, 0, 0),
2135 Node::new(19, 1, 1),
2136 Node::new(50, 1, 0),
2137 Node::new(18, 0, 2),
2138 Node::new(18, 2, 1),
2139 Node::new(18, 0, 0),
2140 Node::new(18, 1, 1),
2141 Node::new(49, 1, 0),
2142 Node::new(17, 2, 1),
2143 Node::new(17, 0, 2),
2144 Node::new(17, 0, 0),
2145 Node::new(17, 1, 1),
2146 Node::new(48, 0, 1),
2147 Node::new(16, 1, 2),
2148 Node::new(16, 2, 0),
2149 Node::new(16, 0, 0),
2150 Node::new(16, 1, 1),
2151 Node::new(47, 1, 0),
2152 Node::new(15, 2, 1),
2153 Node::new(15, 0, 2),
2154 Node::new(15, 0, 0),
2155 Node::new(15, 1, 1),
2156 Node::new(46, 0, 1),
2157 Node::new(14, 2, 0),
2158 Node::new(14, 1, 2),
2159 Node::new(14, 0, 0),
2160 Node::new(14, 1, 1),
2161 Node::new(45, 0, 1),
2162 Node::new(13, 2, 0),
2163 Node::new(13, 1, 2),
2164 Node::new(13, 0, 0),
2165 Node::new(13, 1, 1),
2166 Node::new(44, 0, 1),
2167 Node::new(12, 2, 0),
2168 Node::new(12, 1, 2),
2169 Node::new(12, 0, 0),
2170 Node::new(12, 1, 1),
2171 Node::new(43, 0, 1),
2172 Node::new(11, 1, 2),
2173 Node::new(11, 2, 0),
2174 Node::new(11, 0, 0),
2175 Node::new(11, 1, 1),
2176 Node::new(42, 1, 0),
2177 Node::new(10, 0, 2),
2178 Node::new(10, 2, 1),
2179 Node::new(10, 0, 0),
2180 Node::new(10, 1, 1),
2181 Node::new(41, 1, 0),
2182 Node::new(9, 0, 2),
2183 Node::new(9, 2, 1),
2184 Node::new(9, 0, 0),
2185 Node::new(9, 1, 1),
2186 Node::new(40, 1, 0),
2187 Node::new(8, 0, 2),
2188 Node::new(8, 2, 1),
2189 Node::new(8, 0, 0),
2190 Node::new(8, 1, 1),
2191 Node::new(39, 1, 0),
2192 Node::new(7, 0, 2),
2193 Node::new(7, 2, 1),
2194 Node::new(7, 0, 0),
2195 Node::new(7, 1, 1),
2196 Node::new(38, 1, 0),
2197 Node::new(6, 2, 1),
2198 Node::new(6, 0, 2),
2199 Node::new(6, 0, 0),
2200 Node::new(6, 1, 1),
2201 Node::new(37, 0, 1),
2202 Node::new(5, 1, 2),
2203 Node::new(5, 2, 0),
2204 Node::new(5, 0, 0),
2205 Node::new(5, 1, 1),
2206 Node::new(36, 1, 0),
2207 Node::new(4, 2, 1),
2208 Node::new(4, 0, 2),
2209 Node::new(4, 0, 0),
2210 Node::new(4, 1, 1),
2211 Node::new(35, 0, 1),
2212 Node::new(3, 1, 2),
2213 Node::new(3, 2, 0),
2214 Node::new(3, 0, 0),
2215 Node::new(3, 1, 1),
2216 Node::new(34, 1, 0),
2217 Node::new(2, 2, 1),
2218 Node::new(2, 0, 2),
2219 Node::new(2, 0, 0),
2220 Node::new(2, 1, 1),
2221 Node::new(33, 0, 1),
2222 Node::new(1, 1, 2),
2223 Node::new(1, 2, 0),
2224 Node::new(1, 0, 0),
2225 Node::new(32, 1, 0),
2226 Node::new(0, 0, 1),
2227 ],
2228 [
2229 0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 37, 39, 42, 44, 47, 49, 52, 54, 57, 59, 62, 64, 67, 69, 72,
2230 74, 77, 79, 82, 84, 87, 89, 92, 94, 97, 99, 102, 104, 107, 109, 112, 114, 117, 119, 122, 124, 127, 129, 131,
2231 ],
2232 3,
2233 )),
2234 AnyBitCircuit::B27(BitCircuit::new(
2235 [
2236 Node::new(59, 1, 0),
2237 Node::new(59, 0, 1),
2238 Node::new(27, 0, 1),
2239 Node::new(27, 1, 0),
2240 Node::new(27, 0, 0),
2241 Node::new(27, 1, 1),
2242 Node::new(58, 0, 1),
2243 Node::new(26, 1, 2),
2244 Node::new(26, 2, 0),
2245 Node::new(26, 0, 0),
2246 Node::new(26, 1, 1),
2247 Node::new(57, 1, 0),
2248 Node::new(25, 0, 2),
2249 Node::new(25, 2, 1),
2250 Node::new(25, 0, 0),
2251 Node::new(25, 1, 1),
2252 Node::new(56, 1, 0),
2253 Node::new(24, 2, 1),
2254 Node::new(24, 0, 2),
2255 Node::new(24, 0, 0),
2256 Node::new(24, 1, 1),
2257 Node::new(55, 0, 1),
2258 Node::new(23, 2, 0),
2259 Node::new(23, 1, 2),
2260 Node::new(23, 0, 0),
2261 Node::new(23, 1, 1),
2262 Node::new(54, 0, 1),
2263 Node::new(22, 1, 2),
2264 Node::new(22, 2, 0),
2265 Node::new(22, 0, 0),
2266 Node::new(22, 1, 1),
2267 Node::new(53, 1, 0),
2268 Node::new(21, 0, 2),
2269 Node::new(21, 2, 1),
2270 Node::new(21, 0, 0),
2271 Node::new(21, 1, 1),
2272 Node::new(52, 1, 0),
2273 Node::new(20, 2, 1),
2274 Node::new(20, 0, 2),
2275 Node::new(20, 0, 0),
2276 Node::new(20, 1, 1),
2277 Node::new(51, 0, 1),
2278 Node::new(19, 2, 0),
2279 Node::new(19, 1, 2),
2280 Node::new(19, 0, 0),
2281 Node::new(19, 1, 1),
2282 Node::new(50, 0, 1),
2283 Node::new(18, 2, 0),
2284 Node::new(18, 1, 2),
2285 Node::new(18, 0, 0),
2286 Node::new(18, 1, 1),
2287 Node::new(49, 0, 1),
2288 Node::new(17, 1, 2),
2289 Node::new(17, 2, 0),
2290 Node::new(17, 0, 0),
2291 Node::new(17, 1, 1),
2292 Node::new(48, 1, 0),
2293 Node::new(16, 2, 1),
2294 Node::new(16, 0, 2),
2295 Node::new(16, 0, 0),
2296 Node::new(16, 1, 1),
2297 Node::new(47, 0, 1),
2298 Node::new(15, 1, 2),
2299 Node::new(15, 2, 0),
2300 Node::new(15, 0, 0),
2301 Node::new(15, 1, 1),
2302 Node::new(46, 1, 0),
2303 Node::new(14, 2, 1),
2304 Node::new(14, 0, 2),
2305 Node::new(14, 0, 0),
2306 Node::new(14, 1, 1),
2307 Node::new(45, 0, 1),
2308 Node::new(13, 1, 2),
2309 Node::new(13, 2, 0),
2310 Node::new(13, 0, 0),
2311 Node::new(13, 1, 1),
2312 Node::new(44, 1, 0),
2313 Node::new(12, 0, 2),
2314 Node::new(12, 2, 1),
2315 Node::new(12, 0, 0),
2316 Node::new(12, 1, 1),
2317 Node::new(43, 1, 0),
2318 Node::new(11, 0, 2),
2319 Node::new(11, 2, 1),
2320 Node::new(11, 0, 0),
2321 Node::new(11, 1, 1),
2322 Node::new(42, 1, 0),
2323 Node::new(10, 0, 2),
2324 Node::new(10, 2, 1),
2325 Node::new(10, 0, 0),
2326 Node::new(10, 1, 1),
2327 Node::new(41, 1, 0),
2328 Node::new(9, 2, 1),
2329 Node::new(9, 0, 2),
2330 Node::new(9, 0, 0),
2331 Node::new(9, 1, 1),
2332 Node::new(40, 0, 1),
2333 Node::new(8, 2, 0),
2334 Node::new(8, 1, 2),
2335 Node::new(8, 0, 0),
2336 Node::new(8, 1, 1),
2337 Node::new(39, 0, 1),
2338 Node::new(7, 1, 2),
2339 Node::new(7, 2, 0),
2340 Node::new(7, 0, 0),
2341 Node::new(7, 1, 1),
2342 Node::new(38, 1, 0),
2343 Node::new(6, 2, 1),
2344 Node::new(6, 0, 2),
2345 Node::new(6, 0, 0),
2346 Node::new(6, 1, 1),
2347 Node::new(37, 0, 1),
2348 Node::new(5, 1, 2),
2349 Node::new(5, 2, 0),
2350 Node::new(5, 0, 0),
2351 Node::new(5, 1, 1),
2352 Node::new(36, 1, 0),
2353 Node::new(4, 2, 1),
2354 Node::new(4, 0, 2),
2355 Node::new(4, 0, 0),
2356 Node::new(4, 1, 1),
2357 Node::new(35, 0, 1),
2358 Node::new(3, 1, 2),
2359 Node::new(3, 2, 0),
2360 Node::new(3, 0, 0),
2361 Node::new(3, 1, 1),
2362 Node::new(34, 1, 0),
2363 Node::new(2, 2, 1),
2364 Node::new(2, 0, 2),
2365 Node::new(2, 0, 0),
2366 Node::new(2, 1, 1),
2367 Node::new(33, 0, 1),
2368 Node::new(1, 1, 2),
2369 Node::new(1, 2, 0),
2370 Node::new(1, 0, 0),
2371 Node::new(32, 1, 0),
2372 Node::new(0, 0, 1),
2373 ],
2374 [
2375 0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 37, 39, 42, 44, 47, 49, 52, 54, 57, 59, 62, 64, 67, 69, 72,
2376 74, 77, 79, 82, 84, 87, 89, 92, 94, 97, 99, 102, 104, 107, 109, 112, 114, 117, 119, 122, 124, 127, 129, 132, 134,
2377 136,
2378 ],
2379 3,
2380 )),
2381 AnyBitCircuit::B28(BitCircuit::new(
2382 [
2383 Node::new(60, 1, 0),
2384 Node::new(60, 0, 1),
2385 Node::new(28, 0, 1),
2386 Node::new(28, 1, 0),
2387 Node::new(28, 0, 0),
2388 Node::new(28, 1, 1),
2389 Node::new(59, 0, 1),
2390 Node::new(27, 1, 2),
2391 Node::new(27, 2, 0),
2392 Node::new(27, 0, 0),
2393 Node::new(27, 1, 1),
2394 Node::new(58, 1, 0),
2395 Node::new(26, 2, 1),
2396 Node::new(26, 0, 2),
2397 Node::new(26, 0, 0),
2398 Node::new(26, 1, 1),
2399 Node::new(57, 0, 1),
2400 Node::new(25, 1, 2),
2401 Node::new(25, 2, 0),
2402 Node::new(25, 0, 0),
2403 Node::new(25, 1, 1),
2404 Node::new(56, 1, 0),
2405 Node::new(24, 2, 1),
2406 Node::new(24, 0, 2),
2407 Node::new(24, 0, 0),
2408 Node::new(24, 1, 1),
2409 Node::new(55, 0, 1),
2410 Node::new(23, 1, 2),
2411 Node::new(23, 2, 0),
2412 Node::new(23, 0, 0),
2413 Node::new(23, 1, 1),
2414 Node::new(54, 1, 0),
2415 Node::new(22, 2, 1),
2416 Node::new(22, 0, 2),
2417 Node::new(22, 0, 0),
2418 Node::new(22, 1, 1),
2419 Node::new(53, 0, 1),
2420 Node::new(21, 1, 2),
2421 Node::new(21, 2, 0),
2422 Node::new(21, 0, 0),
2423 Node::new(21, 1, 1),
2424 Node::new(52, 1, 0),
2425 Node::new(20, 2, 1),
2426 Node::new(20, 0, 2),
2427 Node::new(20, 0, 0),
2428 Node::new(20, 1, 1),
2429 Node::new(51, 0, 1),
2430 Node::new(19, 2, 0),
2431 Node::new(19, 1, 2),
2432 Node::new(19, 0, 0),
2433 Node::new(19, 1, 1),
2434 Node::new(50, 0, 1),
2435 Node::new(18, 2, 0),
2436 Node::new(18, 1, 2),
2437 Node::new(18, 0, 0),
2438 Node::new(18, 1, 1),
2439 Node::new(49, 0, 1),
2440 Node::new(17, 1, 2),
2441 Node::new(17, 2, 0),
2442 Node::new(17, 0, 0),
2443 Node::new(17, 1, 1),
2444 Node::new(48, 1, 0),
2445 Node::new(16, 2, 1),
2446 Node::new(16, 0, 2),
2447 Node::new(16, 0, 0),
2448 Node::new(16, 1, 1),
2449 Node::new(47, 0, 1),
2450 Node::new(15, 2, 0),
2451 Node::new(15, 1, 2),
2452 Node::new(15, 0, 0),
2453 Node::new(15, 1, 1),
2454 Node::new(46, 0, 1),
2455 Node::new(14, 2, 0),
2456 Node::new(14, 1, 2),
2457 Node::new(14, 0, 0),
2458 Node::new(14, 1, 1),
2459 Node::new(45, 0, 1),
2460 Node::new(13, 2, 0),
2461 Node::new(13, 1, 2),
2462 Node::new(13, 0, 0),
2463 Node::new(13, 1, 1),
2464 Node::new(44, 0, 1),
2465 Node::new(12, 1, 2),
2466 Node::new(12, 2, 0),
2467 Node::new(12, 0, 0),
2468 Node::new(12, 1, 1),
2469 Node::new(43, 1, 0),
2470 Node::new(11, 2, 1),
2471 Node::new(11, 0, 2),
2472 Node::new(11, 0, 0),
2473 Node::new(11, 1, 1),
2474 Node::new(42, 0, 1),
2475 Node::new(10, 2, 0),
2476 Node::new(10, 1, 2),
2477 Node::new(10, 0, 0),
2478 Node::new(10, 1, 1),
2479 Node::new(41, 0, 1),
2480 Node::new(9, 1, 2),
2481 Node::new(9, 2, 0),
2482 Node::new(9, 0, 0),
2483 Node::new(9, 1, 1),
2484 Node::new(40, 1, 0),
2485 Node::new(8, 2, 1),
2486 Node::new(8, 0, 2),
2487 Node::new(8, 0, 0),
2488 Node::new(8, 1, 1),
2489 Node::new(39, 0, 1),
2490 Node::new(7, 1, 2),
2491 Node::new(7, 2, 0),
2492 Node::new(7, 0, 0),
2493 Node::new(7, 1, 1),
2494 Node::new(38, 1, 0),
2495 Node::new(6, 0, 2),
2496 Node::new(6, 2, 1),
2497 Node::new(6, 0, 0),
2498 Node::new(6, 1, 1),
2499 Node::new(37, 1, 0),
2500 Node::new(5, 0, 2),
2501 Node::new(5, 2, 1),
2502 Node::new(5, 0, 0),
2503 Node::new(5, 1, 1),
2504 Node::new(36, 1, 0),
2505 Node::new(4, 2, 1),
2506 Node::new(4, 0, 2),
2507 Node::new(4, 0, 0),
2508 Node::new(4, 1, 1),
2509 Node::new(35, 0, 1),
2510 Node::new(3, 2, 0),
2511 Node::new(3, 1, 2),
2512 Node::new(3, 0, 0),
2513 Node::new(3, 1, 1),
2514 Node::new(34, 0, 1),
2515 Node::new(2, 2, 0),
2516 Node::new(2, 1, 2),
2517 Node::new(2, 0, 0),
2518 Node::new(2, 1, 1),
2519 Node::new(33, 0, 1),
2520 Node::new(1, 1, 2),
2521 Node::new(1, 2, 0),
2522 Node::new(1, 0, 0),
2523 Node::new(32, 1, 0),
2524 Node::new(0, 0, 1),
2525 ],
2526 [
2527 0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 37, 39, 42, 44, 47, 49, 52, 54, 57, 59, 62, 64, 67, 69, 72,
2528 74, 77, 79, 82, 84, 87, 89, 92, 94, 97, 99, 102, 104, 107, 109, 112, 114, 117, 119, 122, 124, 127, 129, 132, 134,
2529 137, 139, 141,
2530 ],
2531 3,
2532 )),
2533 AnyBitCircuit::B29(BitCircuit::new(
2534 [
2535 Node::new(61, 1, 0),
2536 Node::new(61, 0, 1),
2537 Node::new(29, 0, 1),
2538 Node::new(29, 1, 0),
2539 Node::new(29, 0, 0),
2540 Node::new(29, 1, 1),
2541 Node::new(60, 0, 1),
2542 Node::new(28, 2, 0),
2543 Node::new(28, 1, 2),
2544 Node::new(28, 0, 0),
2545 Node::new(28, 1, 1),
2546 Node::new(59, 0, 1),
2547 Node::new(27, 1, 2),
2548 Node::new(27, 2, 0),
2549 Node::new(27, 0, 0),
2550 Node::new(27, 1, 1),
2551 Node::new(58, 1, 0),
2552 Node::new(26, 0, 2),
2553 Node::new(26, 2, 1),
2554 Node::new(26, 0, 0),
2555 Node::new(26, 1, 1),
2556 Node::new(57, 1, 0),
2557 Node::new(25, 2, 1),
2558 Node::new(25, 0, 2),
2559 Node::new(25, 0, 0),
2560 Node::new(25, 1, 1),
2561 Node::new(56, 0, 1),
2562 Node::new(24, 1, 2),
2563 Node::new(24, 2, 0),
2564 Node::new(24, 0, 0),
2565 Node::new(24, 1, 1),
2566 Node::new(55, 1, 0),
2567 Node::new(23, 2, 1),
2568 Node::new(23, 0, 2),
2569 Node::new(23, 0, 0),
2570 Node::new(23, 1, 1),
2571 Node::new(54, 0, 1),
2572 Node::new(22, 1, 2),
2573 Node::new(22, 2, 0),
2574 Node::new(22, 0, 0),
2575 Node::new(22, 1, 1),
2576 Node::new(53, 1, 0),
2577 Node::new(21, 0, 2),
2578 Node::new(21, 2, 1),
2579 Node::new(21, 0, 0),
2580 Node::new(21, 1, 1),
2581 Node::new(52, 1, 0),
2582 Node::new(20, 0, 2),
2583 Node::new(20, 2, 1),
2584 Node::new(20, 0, 0),
2585 Node::new(20, 1, 1),
2586 Node::new(51, 1, 0),
2587 Node::new(19, 0, 2),
2588 Node::new(19, 2, 1),
2589 Node::new(19, 0, 0),
2590 Node::new(19, 1, 1),
2591 Node::new(50, 1, 0),
2592 Node::new(18, 0, 2),
2593 Node::new(18, 2, 1),
2594 Node::new(18, 0, 0),
2595 Node::new(18, 1, 1),
2596 Node::new(49, 1, 0),
2597 Node::new(17, 2, 1),
2598 Node::new(17, 0, 2),
2599 Node::new(17, 0, 0),
2600 Node::new(17, 1, 1),
2601 Node::new(48, 0, 1),
2602 Node::new(16, 1, 2),
2603 Node::new(16, 2, 0),
2604 Node::new(16, 0, 0),
2605 Node::new(16, 1, 1),
2606 Node::new(47, 1, 0),
2607 Node::new(15, 2, 1),
2608 Node::new(15, 0, 2),
2609 Node::new(15, 0, 0),
2610 Node::new(15, 1, 1),
2611 Node::new(46, 0, 1),
2612 Node::new(14, 2, 0),
2613 Node::new(14, 1, 2),
2614 Node::new(14, 0, 0),
2615 Node::new(14, 1, 1),
2616 Node::new(45, 0, 1),
2617 Node::new(13, 1, 2),
2618 Node::new(13, 2, 0),
2619 Node::new(13, 0, 0),
2620 Node::new(13, 1, 1),
2621 Node::new(44, 1, 0),
2622 Node::new(12, 2, 1),
2623 Node::new(12, 0, 2),
2624 Node::new(12, 0, 0),
2625 Node::new(12, 1, 1),
2626 Node::new(43, 0, 1),
2627 Node::new(11, 1, 2),
2628 Node::new(11, 2, 0),
2629 Node::new(11, 0, 0),
2630 Node::new(11, 1, 1),
2631 Node::new(42, 1, 0),
2632 Node::new(10, 0, 2),
2633 Node::new(10, 2, 1),
2634 Node::new(10, 0, 0),
2635 Node::new(10, 1, 1),
2636 Node::new(41, 1, 0),
2637 Node::new(9, 0, 2),
2638 Node::new(9, 2, 1),
2639 Node::new(9, 0, 0),
2640 Node::new(9, 1, 1),
2641 Node::new(40, 1, 0),
2642 Node::new(8, 2, 1),
2643 Node::new(8, 0, 2),
2644 Node::new(8, 0, 0),
2645 Node::new(8, 1, 1),
2646 Node::new(39, 0, 1),
2647 Node::new(7, 2, 0),
2648 Node::new(7, 1, 2),
2649 Node::new(7, 0, 0),
2650 Node::new(7, 1, 1),
2651 Node::new(38, 0, 1),
2652 Node::new(6, 1, 2),
2653 Node::new(6, 2, 0),
2654 Node::new(6, 0, 0),
2655 Node::new(6, 1, 1),
2656 Node::new(37, 1, 0),
2657 Node::new(5, 2, 1),
2658 Node::new(5, 0, 2),
2659 Node::new(5, 0, 0),
2660 Node::new(5, 1, 1),
2661 Node::new(36, 0, 1),
2662 Node::new(4, 1, 2),
2663 Node::new(4, 2, 0),
2664 Node::new(4, 0, 0),
2665 Node::new(4, 1, 1),
2666 Node::new(35, 1, 0),
2667 Node::new(3, 2, 1),
2668 Node::new(3, 0, 2),
2669 Node::new(3, 0, 0),
2670 Node::new(3, 1, 1),
2671 Node::new(34, 0, 1),
2672 Node::new(2, 2, 0),
2673 Node::new(2, 1, 2),
2674 Node::new(2, 0, 0),
2675 Node::new(2, 1, 1),
2676 Node::new(33, 0, 1),
2677 Node::new(1, 1, 2),
2678 Node::new(1, 2, 0),
2679 Node::new(1, 0, 0),
2680 Node::new(32, 1, 0),
2681 Node::new(0, 0, 1),
2682 ],
2683 [
2684 0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 37, 39, 42, 44, 47, 49, 52, 54, 57, 59, 62, 64, 67, 69, 72,
2685 74, 77, 79, 82, 84, 87, 89, 92, 94, 97, 99, 102, 104, 107, 109, 112, 114, 117, 119, 122, 124, 127, 129, 132, 134,
2686 137, 139, 142, 144, 146,
2687 ],
2688 3,
2689 )),
2690 AnyBitCircuit::B30(BitCircuit::new(
2691 [
2692 Node::new(62, 0, 1),
2693 Node::new(62, 1, 0),
2694 Node::new(30, 1, 0),
2695 Node::new(30, 0, 1),
2696 Node::new(30, 0, 0),
2697 Node::new(30, 1, 1),
2698 Node::new(61, 0, 1),
2699 Node::new(29, 1, 2),
2700 Node::new(29, 2, 0),
2701 Node::new(29, 0, 0),
2702 Node::new(29, 1, 1),
2703 Node::new(60, 1, 0),
2704 Node::new(28, 2, 1),
2705 Node::new(28, 0, 2),
2706 Node::new(28, 0, 0),
2707 Node::new(28, 1, 1),
2708 Node::new(59, 0, 1),
2709 Node::new(27, 1, 2),
2710 Node::new(27, 2, 0),
2711 Node::new(27, 0, 0),
2712 Node::new(27, 1, 1),
2713 Node::new(58, 1, 0),
2714 Node::new(26, 0, 2),
2715 Node::new(26, 2, 1),
2716 Node::new(26, 0, 0),
2717 Node::new(26, 1, 1),
2718 Node::new(57, 1, 0),
2719 Node::new(25, 0, 2),
2720 Node::new(25, 2, 1),
2721 Node::new(25, 0, 0),
2722 Node::new(25, 1, 1),
2723 Node::new(56, 1, 0),
2724 Node::new(24, 2, 1),
2725 Node::new(24, 0, 2),
2726 Node::new(24, 0, 0),
2727 Node::new(24, 1, 1),
2728 Node::new(55, 0, 1),
2729 Node::new(23, 2, 0),
2730 Node::new(23, 1, 2),
2731 Node::new(23, 0, 0),
2732 Node::new(23, 1, 1),
2733 Node::new(54, 0, 1),
2734 Node::new(22, 1, 2),
2735 Node::new(22, 2, 0),
2736 Node::new(22, 0, 0),
2737 Node::new(22, 1, 1),
2738 Node::new(53, 1, 0),
2739 Node::new(21, 2, 1),
2740 Node::new(21, 0, 2),
2741 Node::new(21, 0, 0),
2742 Node::new(21, 1, 1),
2743 Node::new(52, 0, 1),
2744 Node::new(20, 1, 2),
2745 Node::new(20, 2, 0),
2746 Node::new(20, 0, 0),
2747 Node::new(20, 1, 1),
2748 Node::new(51, 1, 0),
2749 Node::new(19, 2, 1),
2750 Node::new(19, 0, 2),
2751 Node::new(19, 0, 0),
2752 Node::new(19, 1, 1),
2753 Node::new(50, 0, 1),
2754 Node::new(18, 2, 0),
2755 Node::new(18, 1, 2),
2756 Node::new(18, 0, 0),
2757 Node::new(18, 1, 1),
2758 Node::new(49, 0, 1),
2759 Node::new(17, 2, 0),
2760 Node::new(17, 1, 2),
2761 Node::new(17, 0, 0),
2762 Node::new(17, 1, 1),
2763 Node::new(48, 0, 1),
2764 Node::new(16, 1, 2),
2765 Node::new(16, 2, 0),
2766 Node::new(16, 0, 0),
2767 Node::new(16, 1, 1),
2768 Node::new(47, 1, 0),
2769 Node::new(15, 0, 2),
2770 Node::new(15, 2, 1),
2771 Node::new(15, 0, 0),
2772 Node::new(15, 1, 1),
2773 Node::new(46, 1, 0),
2774 Node::new(14, 2, 1),
2775 Node::new(14, 0, 2),
2776 Node::new(14, 0, 0),
2777 Node::new(14, 1, 1),
2778 Node::new(45, 0, 1),
2779 Node::new(13, 2, 0),
2780 Node::new(13, 1, 2),
2781 Node::new(13, 0, 0),
2782 Node::new(13, 1, 1),
2783 Node::new(44, 0, 1),
2784 Node::new(12, 1, 2),
2785 Node::new(12, 2, 0),
2786 Node::new(12, 0, 0),
2787 Node::new(12, 1, 1),
2788 Node::new(43, 1, 0),
2789 Node::new(11, 0, 2),
2790 Node::new(11, 2, 1),
2791 Node::new(11, 0, 0),
2792 Node::new(11, 1, 1),
2793 Node::new(42, 1, 0),
2794 Node::new(10, 2, 1),
2795 Node::new(10, 0, 2),
2796 Node::new(10, 0, 0),
2797 Node::new(10, 1, 1),
2798 Node::new(41, 0, 1),
2799 Node::new(9, 2, 0),
2800 Node::new(9, 1, 2),
2801 Node::new(9, 0, 0),
2802 Node::new(9, 1, 1),
2803 Node::new(40, 0, 1),
2804 Node::new(8, 1, 2),
2805 Node::new(8, 2, 0),
2806 Node::new(8, 0, 0),
2807 Node::new(8, 1, 1),
2808 Node::new(39, 1, 0),
2809 Node::new(7, 0, 2),
2810 Node::new(7, 2, 1),
2811 Node::new(7, 0, 0),
2812 Node::new(7, 1, 1),
2813 Node::new(38, 1, 0),
2814 Node::new(6, 2, 1),
2815 Node::new(6, 0, 2),
2816 Node::new(6, 0, 0),
2817 Node::new(6, 1, 1),
2818 Node::new(37, 0, 1),
2819 Node::new(5, 1, 2),
2820 Node::new(5, 2, 0),
2821 Node::new(5, 0, 0),
2822 Node::new(5, 1, 1),
2823 Node::new(36, 1, 0),
2824 Node::new(4, 0, 2),
2825 Node::new(4, 2, 1),
2826 Node::new(4, 0, 0),
2827 Node::new(4, 1, 1),
2828 Node::new(35, 1, 0),
2829 Node::new(3, 2, 1),
2830 Node::new(3, 0, 2),
2831 Node::new(3, 0, 0),
2832 Node::new(3, 1, 1),
2833 Node::new(34, 0, 1),
2834 Node::new(2, 2, 0),
2835 Node::new(2, 1, 2),
2836 Node::new(2, 0, 0),
2837 Node::new(2, 1, 1),
2838 Node::new(33, 0, 1),
2839 Node::new(1, 1, 2),
2840 Node::new(1, 2, 0),
2841 Node::new(1, 0, 0),
2842 Node::new(32, 1, 0),
2843 Node::new(0, 0, 1),
2844 ],
2845 [
2846 0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 37, 39, 42, 44, 47, 49, 52, 54, 57, 59, 62, 64, 67, 69, 72,
2847 74, 77, 79, 82, 84, 87, 89, 92, 94, 97, 99, 102, 104, 107, 109, 112, 114, 117, 119, 122, 124, 127, 129, 132, 134,
2848 137, 139, 142, 144, 147, 149, 151,
2849 ],
2850 3,
2851 )),
2852 AnyBitCircuit::B31(BitCircuit::new(
2853 [
2854 Node::new(63, 0, 1),
2855 Node::new(63, 1, 0),
2856 Node::new(31, 1, 0),
2857 Node::new(31, 0, 1),
2858 Node::new(31, 0, 0),
2859 Node::new(31, 1, 1),
2860 Node::new(62, 0, 1),
2861 Node::new(30, 1, 2),
2862 Node::new(30, 2, 0),
2863 Node::new(30, 0, 0),
2864 Node::new(30, 1, 1),
2865 Node::new(61, 1, 0),
2866 Node::new(29, 0, 2),
2867 Node::new(29, 2, 1),
2868 Node::new(29, 0, 0),
2869 Node::new(29, 1, 1),
2870 Node::new(60, 1, 0),
2871 Node::new(28, 0, 2),
2872 Node::new(28, 2, 1),
2873 Node::new(28, 0, 0),
2874 Node::new(28, 1, 1),
2875 Node::new(59, 1, 0),
2876 Node::new(27, 0, 2),
2877 Node::new(27, 2, 1),
2878 Node::new(27, 0, 0),
2879 Node::new(27, 1, 1),
2880 Node::new(58, 1, 0),
2881 Node::new(26, 2, 1),
2882 Node::new(26, 0, 2),
2883 Node::new(26, 0, 0),
2884 Node::new(26, 1, 1),
2885 Node::new(57, 0, 1),
2886 Node::new(25, 2, 0),
2887 Node::new(25, 1, 2),
2888 Node::new(25, 0, 0),
2889 Node::new(25, 1, 1),
2890 Node::new(56, 0, 1),
2891 Node::new(24, 2, 0),
2892 Node::new(24, 1, 2),
2893 Node::new(24, 0, 0),
2894 Node::new(24, 1, 1),
2895 Node::new(55, 0, 1),
2896 Node::new(23, 1, 2),
2897 Node::new(23, 2, 0),
2898 Node::new(23, 0, 0),
2899 Node::new(23, 1, 1),
2900 Node::new(54, 1, 0),
2901 Node::new(22, 2, 1),
2902 Node::new(22, 0, 2),
2903 Node::new(22, 0, 0),
2904 Node::new(22, 1, 1),
2905 Node::new(53, 0, 1),
2906 Node::new(21, 1, 2),
2907 Node::new(21, 2, 0),
2908 Node::new(21, 0, 0),
2909 Node::new(21, 1, 1),
2910 Node::new(52, 1, 0),
2911 Node::new(20, 2, 1),
2912 Node::new(20, 0, 2),
2913 Node::new(20, 0, 0),
2914 Node::new(20, 1, 1),
2915 Node::new(51, 0, 1),
2916 Node::new(19, 1, 2),
2917 Node::new(19, 2, 0),
2918 Node::new(19, 0, 0),
2919 Node::new(19, 1, 1),
2920 Node::new(50, 1, 0),
2921 Node::new(18, 2, 1),
2922 Node::new(18, 0, 2),
2923 Node::new(18, 0, 0),
2924 Node::new(18, 1, 1),
2925 Node::new(49, 0, 1),
2926 Node::new(17, 1, 2),
2927 Node::new(17, 2, 0),
2928 Node::new(17, 0, 0),
2929 Node::new(17, 1, 1),
2930 Node::new(48, 1, 0),
2931 Node::new(16, 0, 2),
2932 Node::new(16, 2, 1),
2933 Node::new(16, 0, 0),
2934 Node::new(16, 1, 1),
2935 Node::new(47, 1, 0),
2936 Node::new(15, 0, 2),
2937 Node::new(15, 2, 1),
2938 Node::new(15, 0, 0),
2939 Node::new(15, 1, 1),
2940 Node::new(46, 1, 0),
2941 Node::new(14, 2, 1),
2942 Node::new(14, 0, 2),
2943 Node::new(14, 0, 0),
2944 Node::new(14, 1, 1),
2945 Node::new(45, 0, 1),
2946 Node::new(13, 2, 0),
2947 Node::new(13, 1, 2),
2948 Node::new(13, 0, 0),
2949 Node::new(13, 1, 1),
2950 Node::new(44, 0, 1),
2951 Node::new(12, 2, 0),
2952 Node::new(12, 1, 2),
2953 Node::new(12, 0, 0),
2954 Node::new(12, 1, 1),
2955 Node::new(43, 0, 1),
2956 Node::new(11, 1, 2),
2957 Node::new(11, 2, 0),
2958 Node::new(11, 0, 0),
2959 Node::new(11, 1, 1),
2960 Node::new(42, 1, 0),
2961 Node::new(10, 0, 2),
2962 Node::new(10, 2, 1),
2963 Node::new(10, 0, 0),
2964 Node::new(10, 1, 1),
2965 Node::new(41, 1, 0),
2966 Node::new(9, 0, 2),
2967 Node::new(9, 2, 1),
2968 Node::new(9, 0, 0),
2969 Node::new(9, 1, 1),
2970 Node::new(40, 1, 0),
2971 Node::new(8, 2, 1),
2972 Node::new(8, 0, 2),
2973 Node::new(8, 0, 0),
2974 Node::new(8, 1, 1),
2975 Node::new(39, 0, 1),
2976 Node::new(7, 2, 0),
2977 Node::new(7, 1, 2),
2978 Node::new(7, 0, 0),
2979 Node::new(7, 1, 1),
2980 Node::new(38, 0, 1),
2981 Node::new(6, 2, 0),
2982 Node::new(6, 1, 2),
2983 Node::new(6, 0, 0),
2984 Node::new(6, 1, 1),
2985 Node::new(37, 0, 1),
2986 Node::new(5, 2, 0),
2987 Node::new(5, 1, 2),
2988 Node::new(5, 0, 0),
2989 Node::new(5, 1, 1),
2990 Node::new(36, 0, 1),
2991 Node::new(4, 1, 2),
2992 Node::new(4, 2, 0),
2993 Node::new(4, 0, 0),
2994 Node::new(4, 1, 1),
2995 Node::new(35, 1, 0),
2996 Node::new(3, 0, 2),
2997 Node::new(3, 2, 1),
2998 Node::new(3, 0, 0),
2999 Node::new(3, 1, 1),
3000 Node::new(34, 1, 0),
3001 Node::new(2, 0, 2),
3002 Node::new(2, 2, 1),
3003 Node::new(2, 0, 0),
3004 Node::new(2, 1, 1),
3005 Node::new(33, 1, 0),
3006 Node::new(1, 0, 2),
3007 Node::new(1, 2, 1),
3008 Node::new(1, 0, 0),
3009 Node::new(32, 1, 0),
3010 Node::new(0, 0, 1),
3011 ],
3012 [
3013 0, 2, 4, 7, 9, 12, 14, 17, 19, 22, 24, 27, 29, 32, 34, 37, 39, 42, 44, 47, 49, 52, 54, 57, 59, 62, 64, 67, 69, 72,
3014 74, 77, 79, 82, 84, 87, 89, 92, 94, 97, 99, 102, 104, 107, 109, 112, 114, 117, 119, 122, 124, 127, 129, 132, 134,
3015 137, 139, 142, 144, 147, 149, 152, 154, 156,
3016 ],
3017 3,
3018 )),
3019]);