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