| .model top |
| .inputs planet_in_4_ planet_in_3_ planet_in_6_ planet_in_5_ planet_in_0_ \ |
| planet_in_2_ planet_in_1_ clock |
| .outputs planet_out_10_ planet_out_12_ planet_out_11_ planet_out_14_ \ |
| planet_out_13_ planet_out_16_ planet_out_15_ planet_out_18_ planet_out_17_ \ |
| planet_out_5_ planet_out_6_ planet_out_3_ planet_out_4_ planet_out_1_ \ |
| planet_out_2_ planet_out_0_ planet_out_9_ planet_out_7_ planet_out_8_ |
| .latch n_n83 n_n331 re clock 2 |
| .latch n_n84 n_n332 re clock 2 |
| .latch n_n85 n_n333 re clock 2 |
| .latch n_n86 n_n334 re clock 2 |
| .latch n_n87 n_n335 re clock 2 |
| .latch n_n88 n_n336 re clock 2 |
| .names planet_in_6_ planet_in_2_ planet_in_1_ n_n331 n_n332 n_n335 [1207] \ |
| planet_out_10_ |
| ------1 1 |
| -00---- 1 |
| ---1-1- 1 |
| ---0-0- 1 |
| 1--11-- 1 |
| .names planet_in_4_ planet_in_6_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 \ |
| planet_out_12_ |
| --011-0- 1 |
| --0-1-01 1 |
| --01-1-0 1 |
| 1-0---10 1 |
| --11101- 1 |
| --00101- 1 |
| --00000- 1 |
| --110-11 1 |
| --1000-0 1 |
| 1-01001- 1 |
| -11-0000 1 |
| .names [1225] [1226] planet_out_11_ |
| 1- 1 |
| -1 1 |
| .names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 planet_out_14_ |
| --000-- 1 |
| -0---10 1 |
| -00-01- 1 |
| -0-110- 1 |
| -11101- 1 |
| 10-001- 1 |
| -110-11 1 |
| 100--01 1 |
| -01-101 1 |
| -1-0000 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 planet_out_13_ |
| 1----- 1 |
| ---1-- 1 |
| -----0 1 |
| -10--- 1 |
| --1-1- 1 |
| .names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 planet_out_16_ |
| -1-1--- 1 |
| -10-1-- 1 |
| -0--11- 1 |
| -11--0- 1 |
| --01-0- 1 |
| --11--1 1 |
| -1---01 1 |
| 0----10 1 |
| -1---10 1 |
| --1000- 1 |
| 10--1-1 1 |
| -01-1-1 1 |
| -00--00 1 |
| .names planet_in_4_ planet_in_6_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 \ |
| planet_out_15_ |
| --11101- 1 |
| --0000-1 1 |
| ---00011 1 |
| 0-0-0011 1 |
| 0-000-01 1 |
| --011001 1 |
| -1110000 1 |
| .names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 planet_out_18_ |
| ---1--0 1 |
| ----1-0 1 |
| -11-1-- 1 |
| -0-1-1- 1 |
| --01-1- 1 |
| -0--11- 1 |
| -1-1-0- 1 |
| -1--10- 1 |
| --100-1 1 |
| 10---10 1 |
| -01--00 1 |
| -10--00 1 |
| 00001-- 1 |
| .names planet_in_4_ planet_in_6_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 \ |
| planet_out_17_ |
| --0-110- 1 |
| 0-0---10 1 |
| --11--10 1 |
| --10011- 1 |
| --1000-1 1 |
| ---00011 1 |
| --011-01 1 |
| 1-0--101 1 |
| --01-101 1 |
| -01100-0 1 |
| .names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 [172] [174] \ |
| planet_out_5_ |
| ------1- 1 |
| -------1 1 |
| 100101-- 1 |
| .names planet_in_2_ planet_in_1_ [67] [163] planet_out_6_ |
| --1- 1 |
| 1--1 1 |
| -1-1 1 |
| .names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 planet_out_3_ |
| 10-11- 1 |
| -100-0 1 |
| .names planet_in_3_ planet_in_5_ planet_in_0_ n_n331 n_n332 n_n333 n_n334 \ |
| n_n335 planet_out_4_ |
| 11-01011 1 |
| 1-001011 1 |
| .names planet_in_6_ planet_in_0_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 \ |
| planet_out_1_ |
| --1011-- 1 |
| -1011-1- 1 |
| 1-110-00 1 |
| .names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n336 planet_out_2_ |
| 0--11- 1 |
| -1-11- 1 |
| -011-1 1 |
| .names planet_in_1_ [144] [85] [1270] planet_out_0_ |
| --1- 1 |
| ---1 1 |
| 01-- 1 |
| .names planet_in_2_ planet_in_1_ [134] planet_out_9_ |
| 101 1 |
| .names [67] [49] planet_out_7_ |
| 1- 1 |
| -1 1 |
| .names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 [174] planet_out_8_ |
| ------1 1 |
| 100101- 1 |
| .names planet_in_2_ planet_in_1_ n_n336 [113] [1114] [1115] [1120] [1128] \ |
| n_n83 |
| ------1- 1 |
| -------1 1 |
| --0-1--- 1 |
| --0--1-- 1 |
| 11-1---- 1 |
| .names n_n336 [323] [1132] [1133] [1139] [1142] [1144] n_n84 |
| -1----- 1 |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| 0-1---- 1 |
| 0--1--- 1 |
| .names [51] [315] [316] [1148] [1151] [1153] [1156] [1158] n_n85 |
| -1------ 1 |
| --1----- 1 |
| ----1--- 1 |
| -----1-- 1 |
| ------1- 1 |
| -------1 1 |
| 0--1---- 1 |
| .names n_n331 n_n332 n_n334 [59] [156] [1169] [1170] [1171] n_n86 |
| ---1---- 1 |
| -----1-- 1 |
| ------1- 1 |
| -------1 1 |
| 011-1--- 1 |
| .names n_n331 n_n332 [148] [1188] [1189] [1190] n_n87 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| 111--- 1 |
| .names [264] [265] [1201] n_n88 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names planet_in_4_ planet_in_5_ n_n332 n_n333 n_n334 n_n335 [64] |
| 000101 1 |
| .names planet_in_6_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [113] |
| 0110000 1 |
| .names planet_in_4_ planet_in_3_ planet_in_0_ n_n333 n_n334 n_n335 n_n336 \ |
| [127] |
| ---1-0- 1 |
| ----10- 1 |
| 1----01 1 |
| -1010-- 1 |
| 0--001- 1 |
| .names planet_in_2_ planet_in_1_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 \ |
| [67] |
| 11100000 1 |
| .names planet_in_4_ planet_in_6_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 \ |
| [134] |
| 0-0---10 1 |
| -01-0000 1 |
| --100000 1 |
| .names planet_in_4_ planet_in_6_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 \ |
| [144] |
| 0-0---10 1 |
| -01100-0 1 |
| --100000 1 |
| .names planet_in_4_ planet_in_3_ planet_in_5_ planet_in_0_ n_n333 n_n334 \ |
| n_n335 n_n336 [148] |
| ----111- 1 |
| ----001- 1 |
| ----0-01 1 |
| 11111--0 1 |
| .names planet_in_3_ planet_in_6_ planet_in_5_ planet_in_0_ [51] |
| 0--- 1 |
| -1-- 1 |
| --1- 1 |
| ---0 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 [59] |
| 0-110 1 |
| 11101 1 |
| .names planet_in_3_ planet_in_6_ planet_in_5_ planet_in_0_ n_n333 n_n335 [156] |
| 0----- 1 |
| ----1- 1 |
| -----0 1 |
| -101-- 1 |
| .names planet_in_4_ planet_in_6_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 \ |
| [163] |
| 0-0---10 1 |
| -0110000 1 |
| .names planet_in_4_ planet_in_6_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 \ |
| [49] |
| 1-100-1- 1 |
| 1-1-011- 1 |
| 1-0-001- 1 |
| 1-011-0- 1 |
| 1-00-0-1 1 |
| 1-0--101 1 |
| 1-11101- 1 |
| 10110000 1 |
| .names planet_in_4_ planet_in_6_ n_n331 n_n332 n_n333 n_n334 n_n335 [85] |
| 001-011 1 |
| 0-00101 1 |
| .names planet_in_3_ planet_in_0_ n_n331 n_n332 n_n333 n_n334 n_n335 [172] |
| 1001101 1 |
| .names planet_in_3_ planet_in_0_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 \ |
| [174] |
| 11010000 1 |
| .names planet_in_4_ planet_in_3_ planet_in_5_ planet_in_0_ n_n331 n_n333 \ |
| n_n335 n_n336 [264] |
| ----1-10 1 |
| 0---110- 1 |
| -0--110- 1 |
| --0-110- 1 |
| ---0110- 1 |
| ----1101 1 |
| .names planet_in_4_ planet_in_2_ planet_in_1_ n_n332 n_n333 n_n334 n_n335 \ |
| [265] |
| ---001- 1 |
| -0-00-1 1 |
| --000-1 1 |
| 0--0101 1 |
| .names planet_in_2_ planet_in_1_ n_n331 n_n335 n_n336 [315] |
| 11010 1 |
| .names planet_in_4_ n_n331 n_n332 n_n333 n_n334 [316] |
| 00010 1 |
| .names planet_in_3_ planet_in_6_ planet_in_5_ planet_in_0_ n_n332 n_n333 \ |
| n_n334 n_n335 [323] |
| ----1110 1 |
| 0---1011 1 |
| -1--1011 1 |
| --1-1011 1 |
| ---01011 1 |
| .names planet_in_3_ planet_in_6_ n_n331 n_n332 n_n333 n_n334 [342] |
| 0-0101 1 |
| -10101 1 |
| .names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 [352] |
| 000101 1 |
| .names planet_in_4_ planet_in_5_ planet_in_0_ planet_in_2_ planet_in_1_ n_n331 \ |
| n_n332 n_n333 [1114] |
| ---0-100 1 |
| ----0100 1 |
| 011---11 1 |
| .names planet_in_3_ planet_in_0_ n_n331 n_n332 n_n333 n_n334 n_n335 [1115] |
| --10-1- 1 |
| --0000- 1 |
| 0-01--0 1 |
| -001--0 1 |
| .names planet_in_4_ planet_in_3_ n_n331 n_n332 n_n333 n_n334 n_n335 [1120] |
| -00011- 1 |
| 1-111-1 1 |
| --11111 1 |
| .names planet_in_4_ planet_in_5_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 \ |
| [1125] |
| ---0--10 1 |
| ---01-01 1 |
| --00011- 1 |
| 1-0--101 1 |
| --10-001 1 |
| 111-101- 1 |
| .names n_n331 n_n332 [64] [127] [342] [352] [1125] [1128] |
| --1---- 1 |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| 01-1--- 1 |
| .names planet_in_2_ planet_in_1_ n_n331 n_n332 n_n333 [1132] |
| ---01 1 |
| 1110- 1 |
| .names planet_in_3_ planet_in_0_ n_n331 n_n332 n_n334 n_n335 [1133] |
| --1-1- 1 |
| ---01- 1 |
| 0-0100 1 |
| -00100 1 |
| .names planet_in_4_ planet_in_2_ planet_in_1_ n_n331 n_n332 n_n334 n_n335 \ |
| n_n336 [1139] |
| 1--0101- 1 |
| 00-0--10 1 |
| 0-00--10 1 |
| .names planet_in_3_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1142] |
| 1011--- 1 |
| -1-011- 1 |
| 0101-1- 1 |
| -000001 1 |
| .names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1144] |
| -0011-- 1 |
| -0110-- 1 |
| 00-1-1- 1 |
| -10--10 1 |
| -10101- 1 |
| 000-10- 1 |
| -110-11 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 [1148] |
| 01011 1 |
| .names planet_in_4_ n_n331 n_n333 n_n335 n_n336 [1151] |
| -010- 1 |
| 10-10 1 |
| .names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n336 [1153] |
| -01-10 1 |
| 001001 1 |
| .names planet_in_4_ planet_in_5_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 \ |
| [1156] |
| ---01--0 1 |
| 00-0101- 1 |
| 1110101- 1 |
| .names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1158] |
| --11-01 1 |
| --10011 1 |
| -100-01 1 |
| -1100-0 1 |
| 000-101 1 |
| .names planet_in_0_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1169] |
| --001-1 1 |
| --00-11 1 |
| 1011-1- 1 |
| .names planet_in_4_ planet_in_3_ n_n331 n_n332 n_n333 n_n334 n_n335 [1170] |
| 1-000-1 1 |
| -110-11 1 |
| .names planet_in_4_ planet_in_2_ planet_in_1_ n_n331 n_n332 n_n333 n_n335 \ |
| n_n336 [1171] |
| ---101-0 1 |
| ---11-10 1 |
| 00-0--10 1 |
| 0-00--10 1 |
| .names planet_in_4_ planet_in_3_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 \ |
| [1188] |
| -----1-0 1 |
| 0-0001-- 1 |
| -0101-1- 1 |
| .names planet_in_3_ planet_in_0_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 \ |
| [1189] |
| 1-0011-- 1 |
| --10-011 1 |
| --1-1001 1 |
| -001101- 1 |
| .names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1190] |
| --0011- 1 |
| -0-0-11 1 |
| 1-1--10 1 |
| -00110- 1 |
| 1-100-1 1 |
| .names planet_in_4_ planet_in_3_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 \ |
| [1201] |
| --01-1-- 1 |
| -1101--- 1 |
| 1-0-0-1- 1 |
| --10-01- 1 |
| 0-0-0--1 1 |
| --00--01 1 |
| --1100-1 1 |
| .names planet_in_4_ planet_in_2_ planet_in_1_ n_n331 n_n333 n_n334 n_n336 \ |
| [1207] |
| ----1-- 1 |
| -----1- 1 |
| ------1 1 |
| -11---- 1 |
| 1--0--- 1 |
| .names planet_in_4_ planet_in_5_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 \ |
| [1225] |
| --01-1-0 1 |
| -111-01- 1 |
| -100-01- 1 |
| 1--1001- 1 |
| -0-1001- 1 |
| --0-0101 1 |
| .names planet_in_6_ planet_in_5_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 \ |
| [1226] |
| --0---10 1 |
| --1-011- 1 |
| --00101- 1 |
| --01100- 1 |
| --10000- 1 |
| -01-00-0 1 |
| 0-1100-0 1 |
| .names planet_in_3_ planet_in_0_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 \ |
| [1270] |
| --011--0 1 |
| --01-1-0 1 |
| --11--10 1 |
| --100-11 1 |
| --001001 1 |
| 1101--00 1 |
| .end |
