| .model top |
| .inputs planet1_in_5_ planet1_in_6_ planet1_in_0_ clock planet1_in_1_ \ |
| planet1_in_2_ planet1_in_3_ planet1_in_4_ |
| .outputs planet1_out_13_ planet1_out_14_ planet1_out_15_ planet1_out_16_ \ |
| planet1_out_10_ planet1_out_0_ planet1_out_11_ planet1_out_1_ planet1_out_12_ \ |
| planet1_out_2_ planet1_out_3_ planet1_out_4_ planet1_out_5_ planet1_out_6_ \ |
| planet1_out_17_ planet1_out_7_ planet1_out_18_ planet1_out_8_ planet1_out_9_ |
| .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 n_n333 n_n335 n_n336 [1205] planet1_out_13_ |
| --0- 1 |
| ---1 1 |
| 11-- 1 |
| .names [58] [102] [248] [252] [1213] planet1_out_14_ |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [120] [102] [164] [1214] [1217] planet1_out_15_ |
| ----1 1 |
| 1-1-- 1 |
| -1-1- 1 |
| .names [1221] [1222] [1224] planet1_out_16_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n331 n_n335 [1225] [1226] [1228] planet1_out_10_ |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| 11--- 1 |
| 00--- 1 |
| .names planet1_in_1_ [145] [209] [1232] [1233] planet1_out_0_ |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| 01--- 1 |
| .names [199] [200] [1244] [1245] planet1_out_11_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n335 n_n336 [69] [194] [1249] planet1_out_1_ |
| --1-- 1 |
| ---1- 1 |
| 00--1 1 |
| .names n_n335 [190] [1251] [1255] [1256] planet1_out_12_ |
| ---1- 1 |
| ----1 1 |
| 01--- 1 |
| 0-1-- 1 |
| .names n_n331 n_n332 n_n333 n_n336 [181] planet1_out_2_ |
| ----1 1 |
| 0111- 1 |
| .names n_n331 n_n332 n_n333 n_n335 [179] planet1_out_3_ |
| ----1 1 |
| 1000- 1 |
| .names planet1_in_3_ n_n333 n_n335 [1259] planet1_out_4_ |
| 1011 1 |
| .names planet1_in_3_ planet1_out_8_ [36] [1175] planet1_out_5_ |
| -1-- 1 |
| 1-11 1 |
| .names planet1_in_1_ planet1_in_2_ n_n332 [102] [172] planet1_out_6_ |
| ----1 1 |
| 1101- 1 |
| .names [33] [166] [1117] [1265] [1266] planet1_out_17_ |
| -1--- 1 |
| ---1- 1 |
| ----1 1 |
| 1-1-- 1 |
| .names planet1_in_4_ [132] [102] [1262] planet1_out_7_ |
| 11-- 1 |
| --11 1 |
| .names n_n335 [137] [54] [1276] planet1_out_18_ |
| --1- 1 |
| ---1 1 |
| 01-- 1 |
| .names planet1_in_4_ [74] [1260] [1261] planet1_out_8_ |
| 11-- 1 |
| --11 1 |
| .names planet1_in_6_ n_n332 [40] [102] [1278] planet1_out_9_ |
| --1-1 1 |
| 0--11 1 |
| -0-11 1 |
| .names [347] [349] [1120] [1128] n_n83 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [324] [1142] [1146] n_n84 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [1155] [1156] [1157] [1158] n_n85 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [38] [40] [1168] [1172] [1173] n_n86 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| 11--- 1 |
| .names [281] [1188] [1189] [1190] n_n87 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n332 [264] [276] [1196] [1201] n_n88 |
| -1--- 1 |
| ----1 1 |
| 0-1-- 1 |
| 0--1- 1 |
| .names planet1_in_1_ planet1_in_2_ [38] |
| 0- 1 |
| -0 1 |
| .names n_n335 n_n336 [43] |
| 01 1 |
| .names n_n331 n_n332 [44] |
| 11 1 |
| .names n_n331 n_n332 n_n334 [47] |
| 011 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 [74] |
| 00101 1 |
| .names planet1_in_5_ planet1_in_4_ n_n333 n_n334 n_n335 [107] |
| 11101 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n334 [123] |
| 10-1 1 |
| -100 1 |
| .names n_n331 n_n332 n_n335 [112] |
| 010 1 |
| .names planet1_in_4_ n_n331 n_n335 n_n336 [40] |
| 0010 1 |
| .names n_n331 n_n332 [42] |
| 10 1 |
| .names n_n331 n_n332 n_n333 n_n335 n_n336 [58] |
| 11011 1 |
| .names planet1_in_3_ n_n331 n_n332 n_n333 n_n335 [66] |
| 01011 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n334 [75] |
| 1010 1 |
| .names n_n331 n_n333 n_n334 n_n335 [77] |
| 1011 1 |
| .names n_n331 n_n332 n_n333 n_n334 [95] |
| 0000 1 |
| .names n_n333 n_n334 n_n335 n_n336 [129] |
| --10 1 |
| 101- 1 |
| .names n_n335 [33] [1117] [1270] [1273] [132] |
| ---1- 1 |
| ----1 1 |
| 011-- 1 |
| .names planet1_in_4_ n_n331 n_n335 n_n336 [61] |
| 1010 1 |
| .names n_n333 n_n334 n_n336 [106] |
| 001 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n336 [137] |
| 1-1-- 1 |
| 1--1- 1 |
| 01--0 1 |
| 10--0 1 |
| .names n_n331 n_n332 n_n335 n_n336 [80] |
| 1110 1 |
| .names n_n333 n_n334 n_n335 n_n336 [120] |
| 0011 1 |
| .names n_n333 n_n334 n_n335 n_n336 [140] |
| 011- 1 |
| 00-1 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 [139] |
| -011- 1 |
| 10--1 1 |
| -01-1 1 |
| .names n_n333 n_n335 [35] |
| 01 1 |
| .names n_n331 n_n332 n_n335 n_n336 [121] |
| 0001 1 |
| .names planet1_in_3_ n_n333 n_n334 n_n335 [141] |
| 11-- 1 |
| --01 1 |
| .names planet1_in_0_ planet1_in_3_ n_n333 n_n334 n_n335 [146] |
| --1-- 1 |
| ---1- 1 |
| 11--0 1 |
| .names planet1_in_6_ n_n332 n_n335 [40] [33] [145] |
| ---1- 1 |
| 01--1 1 |
| -00-1 1 |
| .names n_n333 n_n334 n_n335 n_n336 [147] |
| --10 1 |
| 00-1 1 |
| .names n_n331 n_n333 n_n334 n_n336 [33] |
| 1000 1 |
| .names n_n333 n_n334 n_n335 [36] |
| 101 1 |
| .names n_n331 n_n332 n_n334 n_n336 [83] |
| 0110 1 |
| .names planet1_in_0_ n_n331 n_n332 n_n333 n_n335 [69] |
| 10111 1 |
| .names n_n333 n_n334 n_n335 [101] |
| 001 1 |
| .names n_n331 n_n335 n_n336 [116] |
| 010 1 |
| .names planet1_in_5_ planet1_in_6_ planet1_in_0_ planet1_in_3_ [51] |
| 1--- 1 |
| -1-- 1 |
| --0- 1 |
| ---0 1 |
| .names n_n331 n_n333 n_n334 n_n335 n_n336 [155] |
| -1-01 1 |
| -0011 1 |
| 100-0 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 [154] |
| -100- 1 |
| 000-1 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 [59] |
| 0-110 1 |
| 11101 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n336 [160] |
| 11--- 1 |
| -01-- 1 |
| -100- 1 |
| 00--0 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 [159] |
| --11- 1 |
| 10--1 1 |
| -01-1 1 |
| .names n_n331 n_n333 n_n334 n_n335 n_n336 [102] |
| 10000 1 |
| .names planet1_in_1_ planet1_in_2_ [162] |
| 1- 1 |
| -1 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 [96] |
| 11101 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 [165] |
| 0000- 1 |
| -0110 1 |
| .names planet1_in_4_ n_n331 n_n332 [164] |
| --0 1 |
| 00- 1 |
| .names planet1_in_5_ planet1_in_0_ planet1_in_3_ planet1_in_4_ [52] |
| 0--- 1 |
| -0-- 1 |
| --0- 1 |
| ---0 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 [54] |
| -11-1 1 |
| 00001 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 [60] |
| 0-1-1 1 |
| -01-1 1 |
| 0--11 1 |
| .names n_n332 n_n333 n_n334 n_n336 [68] |
| 1001 1 |
| .names n_n333 n_n334 n_n336 [70] |
| 1-0 1 |
| -10 1 |
| .names n_n332 n_n333 n_n334 n_n335 n_n336 [99] |
| 00011 1 |
| .names n_n331 n_n333 n_n334 n_n335 [166] |
| 0110 1 |
| .names n_n335 [40] [33] [162] [1117] [172] |
| -1-1- 1 |
| 0-111 1 |
| .names planet1_in_4_ n_n331 n_n333 n_n334 [179] |
| 1011 1 |
| .names planet1_in_4_ n_n331 n_n333 n_n334 [181] |
| 0-11 1 |
| -111 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 [182] |
| 11101 1 |
| 00101 1 |
| .names n_n331 n_n333 n_n335 n_n336 [184] |
| 0101 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n336 [186] |
| 10000 1 |
| .names planet1_in_6_ n_n331 n_n333 n_n334 n_n336 [190] |
| 11000 1 |
| .names n_n331 n_n332 n_n333 n_n334 [194] |
| 1011 1 |
| .names planet1_in_5_ n_n331 n_n332 n_n334 n_n335 [197] |
| 11101 1 |
| 10001 1 |
| .names n_n331 n_n333 n_n334 n_n335 n_n336 [198] |
| 00101 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 [199] |
| 01100 1 |
| 10000 1 |
| .names planet1_in_5_ n_n331 n_n333 n_n334 n_n336 [200] |
| 01000 1 |
| .names planet1_in_4_ [74] [214] [209] |
| 01- 1 |
| 0-1 1 |
| .names n_n331 n_n332 n_n333 n_n335 n_n336 [212] |
| 10011 1 |
| .names planet1_in_6_ n_n331 n_n333 n_n334 n_n335 [214] |
| 01011 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n336 [244] |
| 00001 1 |
| .names planet1_in_4_ n_n331 n_n333 n_n334 n_n335 [248] |
| 10001 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n335 n_n336 [249] |
| 10001 1 |
| .names n_n331 n_n332 n_n334 n_n335 n_n336 [251] |
| 01101 1 |
| .names n_n332 n_n333 n_n334 [252] |
| 000 1 |
| .names n_n331 n_n333 n_n335 n_n336 [52] [264] |
| 1-10- 1 |
| 1101- 1 |
| 110-1 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n336 [266] |
| 11001 1 |
| .names planet1_in_4_ n_n333 n_n334 n_n335 [276] |
| 0101 1 |
| .names n_n331 n_n332 n_n334 n_n335 n_n336 [279] |
| 10011 1 |
| .names n_n331 n_n333 n_n334 n_n335 n_n336 [280] |
| 11001 1 |
| .names [44] [52] [292] [1180] [1181] [281] |
| 1-1-- 1 |
| 1---1 1 |
| 10-1- 1 |
| .names planet1_in_3_ n_n331 n_n332 n_n333 n_n334 [282] |
| 10011 1 |
| .names n_n331 n_n333 n_n335 n_n336 [283] |
| 0011 1 |
| .names n_n332 n_n333 n_n334 n_n335 [284] |
| 0011 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 [285] |
| 00110 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 [286] |
| 00001 1 |
| .names n_n333 n_n335 n_n336 [292] |
| 001 1 |
| .names n_n332 n_n333 n_n334 n_n335 n_n336 [294] |
| 001-1 1 |
| 00-11 1 |
| .names planet1_in_3_ n_n331 n_n332 n_n334 n_n335 [295] |
| 11011 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n333 n_n335 [297] |
| 10001 1 |
| .names planet1_in_5_ planet1_in_6_ planet1_in_0_ [303] |
| 011 1 |
| .names planet1_in_1_ planet1_in_2_ n_n331 n_n335 n_n336 [315] |
| 11010 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 [316] |
| 00010 1 |
| .names n_n332 n_n333 n_n336 [318] |
| 010 1 |
| .names n_n332 n_n333 n_n334 n_n335 [51] [323] |
| 1110- 1 |
| 10111 1 |
| .names n_n336 [112] [340] [1131] [1132] [324] |
| 0-1-- 1 |
| 0---1 1 |
| 01-1- 1 |
| .names planet1_in_4_ n_n331 n_n333 n_n335 [325] |
| 0011 1 |
| .names planet1_in_3_ n_n331 n_n332 n_n333 [326] |
| 1011 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n334 n_n335 [328] |
| 10101 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n334 n_n335 [329] |
| 00010 1 |
| .names n_n331 n_n332 n_n334 [340] |
| 1-1 1 |
| -01 1 |
| .names n_n332 n_n333 n_n335 n_n336 [345] |
| 0-10 1 |
| 0101 1 |
| .names n_n331 n_n332 [358] [360] [1109] [346] |
| 011-- 1 |
| 01-1- 1 |
| 01--1 1 |
| .names n_n336 [362] [363] [364] [1113] [347] |
| 01--- 1 |
| 0-1-- 1 |
| 0--1- 1 |
| 0---1 1 |
| .names planet1_in_3_ n_n331 n_n332 n_n333 n_n334 [348] |
| 00011 1 |
| .names planet1_in_1_ planet1_in_2_ n_n335 [33] [1117] [349] |
| 11011 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 [351] |
| 00011 1 |
| .names planet1_in_4_ [74] [352] |
| 01 1 |
| .names planet1_in_0_ planet1_in_3_ n_n333 n_n334 [358] |
| 0110 1 |
| .names planet1_in_4_ n_n335 n_n336 [360] |
| 101 1 |
| .names planet1_in_5_ planet1_in_0_ planet1_in_4_ n_n332 n_n333 [362] |
| 11011 1 |
| .names planet1_in_1_ planet1_in_2_ n_n331 n_n332 n_n333 [363] |
| 0-100 1 |
| -0100 1 |
| .names planet1_in_0_ planet1_in_3_ n_n331 n_n332 n_n335 [364] |
| 0-010 1 |
| -0010 1 |
| .names planet1_in_5_ planet1_in_4_ n_n332 [1104] |
| 000 1 |
| .names planet1_in_6_ planet1_in_3_ n_n333 [1105] |
| 1-0 1 |
| -00 1 |
| .names n_n331 n_n332 n_n335 [1106] |
| 111 1 |
| .names planet1_in_4_ n_n333 n_n334 n_n335 [1109] |
| -1-0 1 |
| --10 1 |
| 0001 1 |
| .names n_n331 n_n332 n_n333 n_n334 [1113] |
| 10-1 1 |
| 0000 1 |
| .names n_n332 planet1_in_6_ [1117] |
| 10 1 |
| .names planet1_in_4_ planet1_in_5_ [1118] |
| 11 1 |
| .names [47] [36] [1104] [1105] [1119] |
| -11- 1 |
| 1--1 1 |
| .names planet1_in_4_ n_n333 n_n334 [348] [1106] [1120] |
| ---1- 1 |
| 11--1 1 |
| -11-1 1 |
| .names n_n335 n_n336 [123] [351] [1121] |
| ---1 1 |
| 011- 1 |
| .names n_n331 [107] [345] [1122] |
| --1 1 |
| 11- 1 |
| .names [346] [352] [1119] [1121] [1122] [1128] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names planet1_in_0_ planet1_in_3_ n_n334 [1131] |
| 0-0 1 |
| -00 1 |
| .names planet1_in_1_ planet1_in_2_ n_n331 n_n332 n_n333 [1132] |
| ---01 1 |
| 1110- 1 |
| .names planet1_in_1_ planet1_in_2_ [40] [328] [1139] |
| ---1 1 |
| 0-1- 1 |
| -01- 1 |
| .names n_n331 n_n332 n_n333 n_n334 [129] [1140] |
| 10--1 1 |
| 0011- 1 |
| 0110- 1 |
| .names [58] [325] [329] [1141] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [43] [66] [77] [95] [326] [1142] |
| -1--- 1 |
| --1-- 1 |
| ----1 1 |
| 1--1- 1 |
| .names [323] [1139] [1140] [1141] [1146] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names planet1_in_4_ n_n331 n_n332 [1147] |
| 001 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 [1148] |
| 01011 1 |
| .names planet1_in_4_ n_n331 n_n333 n_n335 n_n336 [1151] |
| -010- 1 |
| 10-10 1 |
| .names [51] [1148] [1151] [1155] |
| --1 1 |
| 01- 1 |
| .names [42] [36] [318] [1104] [1118] [1156] |
| --1-- 1 |
| -1-1- 1 |
| 11--1 1 |
| .names [106] [83] [315] [316] [1147] [1157] |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| 1---1 1 |
| .names n_n332 n_n335 n_n336 [155] [154] [1158] |
| 1--1- 1 |
| -01-1 1 |
| .names planet1_in_3_ n_n333 n_n335 [1167] |
| 0-- 1 |
| -1- 1 |
| --0 1 |
| .names n_n331 n_n332 n_n333 n_n335 n_n336 [1168] |
| 101-0 1 |
| 11-10 1 |
| .names [47] [59] [303] [1167] [1172] |
| -1-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names [69] [294] [295] [297] [1173] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names planet1_in_0_ n_n331 n_n332 [1175] |
| 001 1 |
| .names n_n332 planet1_in_4_ [1176] |
| 11 1 |
| .names n_n336 n_n333 [1180] |
| 01 1 |
| .names n_n333 n_n334 n_n335 [1181] |
| 111 1 |
| 001 1 |
| .names n_n334 n_n336 [66] [286] [1188] |
| --1- 1 |
| ---1 1 |
| 10-- 1 |
| .names [36] [279] [280] [282] [1175] [1189] |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| 1---1 1 |
| .names [147] [283] [284] [285] [1176] [1190] |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| 1---1 1 |
| .names planet1_in_1_ planet1_in_2_ n_n333 n_n334 n_n335 [1196] |
| --01- 1 |
| 0-0-1 1 |
| -00-1 1 |
| .names n_n331 n_n332 n_n334 n_n335 n_n336 [1197] |
| 011-- 1 |
| 00-01 1 |
| .names planet1_in_4_ n_n331 n_n333 n_n335 n_n336 [1198] |
| 1001- 1 |
| 000-1 1 |
| .names [42] [141] [266] [1197] [1198] [1201] |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| 11--- 1 |
| .names n_n331 n_n332 n_n333 n_n334 [1205] |
| 1--- 1 |
| ---1 1 |
| -10- 1 |
| .names n_n331 n_n332 n_n334 n_n335 n_n336 [1207] |
| 0--10 1 |
| 0001- 1 |
| .names [59] [249] [251] [1207] [1213] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n332 planet1_in_6_ [1214] |
| 11 1 |
| .names n_n335 n_n336 [96] [165] [244] [1217] |
| --1-- 1 |
| ----1 1 |
| 01-1- 1 |
| .names n_n331 n_n332 n_n334 n_n335 [1221] |
| 101- 1 |
| 0-11 1 |
| .names planet1_in_4_ n_n331 n_n333 n_n335 n_n336 [1222] |
| -11-- 1 |
| -1-01 1 |
| 0--10 1 |
| -1-10 1 |
| .names n_n335 n_n336 [160] [159] [1224] |
| 0-1- 1 |
| -1-1 1 |
| .names planet1_in_1_ planet1_in_2_ n_n336 [1225] |
| --1 1 |
| 11- 1 |
| .names planet1_in_4_ n_n331 n_n333 n_n334 [1226] |
| --1- 1 |
| ---1 1 |
| 10-- 1 |
| .names planet1_in_6_ planet1_in_1_ planet1_in_2_ n_n331 n_n332 [1228] |
| -00-- 1 |
| 1--11 1 |
| .names n_n333 n_n334 [80] [121] [1232] |
| --1- 1 |
| 10-1 1 |
| .names n_n331 n_n332 n_n336 [146] [212] [1233] |
| ----1 1 |
| 0101- 1 |
| .names planet1_in_5_ planet1_in_4_ n_n332 [1236] |
| 0-1 1 |
| -11 1 |
| .names [74] [77] [33] [116] [1117] [1244] |
| 1---- 1 |
| -1--- 1 |
| ---1- 1 |
| --1-1 1 |
| .names [83] [101] [197] [198] [1236] [1245] |
| 1---- 1 |
| --1-- 1 |
| ---1- 1 |
| -1--1 1 |
| .names planet1_in_6_ n_n331 n_n332 n_n333 [1249] |
| 1110 1 |
| .names n_n331 n_n332 n_n333 n_n334 [1251] |
| 011- 1 |
| 0000 1 |
| .names [58] [61] [186] [1255] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [75] [35] [83] [182] [184] [1256] |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| 11--- 1 |
| .names planet1_in_5_ planet1_in_0_ n_n331 n_n332 n_n334 [1259] |
| 1-011 1 |
| -0011 1 |
| .names n_n333 n_n334 n_n336 [1260] |
| 000 1 |
| .names planet1_in_0_ planet1_in_3_ n_n331 n_n332 n_n335 [1261] |
| 11010 1 |
| .names planet1_in_1_ planet1_in_2_ n_n332 [1262] |
| 110 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n335 n_n336 [1263] |
| 00-10 1 |
| -1110 1 |
| .names n_n335 n_n336 [139] [1263] [1265] |
| ---1 1 |
| 011- 1 |
| .names n_n331 n_n332 [140] [99] [1266] |
| ---1 1 |
| 101- 1 |
| .names n_n331 n_n332 n_n334 n_n335 n_n336 [1270] |
| 000-1 1 |
| 0-101 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 [1273] |
| 100-1 1 |
| 1-011 1 |
| 0-001 1 |
| 011-0 1 |
| 11101 1 |
| .names [61] [60] [68] [70] [1276] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names planet1_in_2_ planet1_in_1_ [1278] |
| 10 1 |
| .end |
