| .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 [257] [1203] [1204] planet1_out_13_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [1210] [1211] [1212] planet1_out_14_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [243] [1215] [1216] planet1_out_15_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [229] [230] [1223] planet1_out_16_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [1229] [1230] planet1_out_10_ |
| 1- 1 |
| -1 1 |
| .names [210] [1235] planet1_out_0_ |
| 1- 1 |
| -1 1 |
| .names [1241] [1242] [1246] planet1_out_11_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [69] [193] [194] planet1_out_1_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [1253] [1254] [1257] planet1_out_12_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n336 [104] [181] planet1_out_2_ |
| --1 1 |
| 11- 1 |
| .names n_n335 [118] [179] planet1_out_3_ |
| --1 1 |
| 01- 1 |
| .names [47] [161] [1258] planet1_out_4_ |
| 111 1 |
| .names [174] [176] [177] planet1_out_5_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [67] [163] [162] planet1_out_6_ |
| 1-- 1 |
| -11 1 |
| .names [1264] [1265] [1266] planet1_out_17_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names planet1_in_4_ [67] [132] planet1_out_7_ |
| -1- 1 |
| 1-1 1 |
| .names [1276] [1277] planet1_out_18_ |
| 1- 1 |
| -1 1 |
| .names [176] [177] planet1_out_8_ |
| 1- 1 |
| -1 1 |
| .names [50] [49] [1278] planet1_out_9_ |
| 1-1 1 |
| -11 1 |
| .names [347] [1124] [1128] n_n83 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [1143] [1144] [1145] n_n84 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [1157] [1158] [1159] n_n85 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [1169] [1170] [1174] n_n86 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [281] [1190] [1191] n_n87 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [1199] [1200] [1202] n_n88 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n331 n_n332 [34] |
| 01 1 |
| .names planet1_in_1_ planet1_in_2_ [38] |
| 0- 1 |
| -0 1 |
| .names n_n331 n_n332 [41] |
| 00 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 [36] [1104] [64] |
| 11 1 |
| .names n_n331 n_n332 [36] [74] |
| 001 1 |
| .names n_n333 n_n334 n_n335 [103] |
| 011 1 |
| .names n_n335 [48] [113] |
| 01 1 |
| .names n_n331 n_n332 [46] [122] |
| 001 1 |
| .names planet1_in_4_ n_n333 n_n334 [126] |
| 11- 1 |
| -11 1 |
| .names n_n333 n_n335 n_n336 [124] |
| -10 1 |
| 101 1 |
| .names n_n333 n_n334 [37] |
| 1- 1 |
| -1 1 |
| .names planet1_in_0_ planet1_in_3_ [39] |
| 0- 1 |
| -0 1 |
| .names n_n331 n_n332 n_n335 [112] |
| 010 1 |
| .names planet1_in_4_ n_n331 [45] [40] |
| 001 1 |
| .names n_n331 n_n332 [42] |
| 10 1 |
| .names n_n331 n_n332 [100] [57] |
| 011 1 |
| .names n_n331 n_n332 [119] [58] |
| 111 1 |
| .names n_n333 n_n335 [1129] [66] |
| 111 1 |
| .names n_n331 [103] [77] |
| 11 1 |
| .names n_n331 n_n332 n_n333 [104] |
| 011 1 |
| .names planet1_in_4_ n_n331 [105] |
| 00 1 |
| .names n_n333 n_n335 [111] |
| 11 1 |
| .names [102] [1262] [67] |
| 11 1 |
| .names [113] [1270] [1273] [132] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names planet1_in_4_ n_n331 [45] [61] |
| 101 1 |
| .names n_n333 n_n334 n_n336 [106] |
| 001 1 |
| .names n_n333 [44] [109] [135] |
| -1- 1 |
| 0-1 1 |
| .names [37] [1116] [1117] [48] |
| 011 1 |
| .names n_n333 n_n334 n_n335 [76] |
| 110 1 |
| .names n_n331 n_n332 [45] [80] |
| 111 1 |
| .names n_n336 [101] [120] |
| 11 1 |
| .names [34] [37] [55] [139] |
| --1 1 |
| 11- 1 |
| .names planet1_in_4_ n_n331 [65] |
| 0- 1 |
| -1 1 |
| .names n_n333 n_n335 [35] |
| 01 1 |
| .names n_n333 n_n334 [100] |
| 10 1 |
| .names n_n333 n_n335 n_n336 [119] |
| 011 1 |
| .names [36] [1175] [108] |
| 11 1 |
| .names n_n334 n_n335 [110] |
| 01 1 |
| .names [290] [292] [1181] [148] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n333 n_n334 n_n335 [36] |
| 101 1 |
| .names n_n333 n_n335 n_n336 [117] |
| 101 1 |
| .names n_n333 n_n334 [46] |
| 11 1 |
| .names planet1_in_0_ n_n335 [104] [69] |
| 111 1 |
| .names n_n333 n_n334 n_n335 [101] |
| 001 1 |
| .names n_n331 n_n334 [114] |
| 01 1 |
| .names n_n331 n_n335 n_n336 [116] |
| 010 1 |
| .names planet1_in_0_ planet1_in_3_ [1130] [51] |
| 0-- 1 |
| -0- 1 |
| --1 1 |
| .names n_n332 n_n333 [63] |
| 01 1 |
| .names planet1_in_4_ n_n331 n_n332 [109] |
| 000 1 |
| .names n_n334 [109] [118] [154] |
| --1 1 |
| 11- 1 |
| .names n_n331 n_n332 n_n334 [115] |
| 101 1 |
| .names n_n333 n_n334 n_n335 [157] |
| 01- 1 |
| 0-1 1 |
| .names n_n335 n_n336 [45] |
| 10 1 |
| .names [237] [238] [1219] [160] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [47] [55] [234] [159] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n333 n_n335 n_n336 [158] |
| 1-- 1 |
| -01 1 |
| .names planet1_in_5_ planet1_in_0_ [161] |
| 1- 1 |
| -0 1 |
| .names n_n335 [37] [1116] [102] |
| 001 1 |
| .names n_n335 [40] [48] [163] |
| -1- 1 |
| 0-1 1 |
| .names planet1_in_1_ planet1_in_2_ [162] |
| 1- 1 |
| -1 1 |
| .names n_n331 n_n332 [36] [96] |
| 111 1 |
| .names planet1_in_4_ n_n331 n_n332 [164] |
| --0 1 |
| 00- 1 |
| .names n_n331 n_n332 n_n333 [118] |
| 100 1 |
| .names n_n332 [40] [102] [50] |
| -1- 1 |
| 0-1 1 |
| .names planet1_in_4_ n_n331 n_n334 [55] |
| 101 1 |
| .names n_n331 n_n332 n_n334 [133] |
| 10- 1 |
| 1-1 1 |
| 0-0 1 |
| .names planet1_in_6_ [102] [49] |
| 01 1 |
| .names n_n335 [63] [78] [60] |
| 11- 1 |
| 1-1 1 |
| .names n_n335 [81] [82] [62] |
| 01- 1 |
| 0-1 1 |
| .names n_n332 [106] [68] |
| 11 1 |
| .names n_n333 n_n334 n_n336 [70] |
| 1-0 1 |
| -10 1 |
| .names n_n331 n_n333 n_n334 [78] |
| 01- 1 |
| 0-1 1 |
| .names n_n331 n_n332 n_n336 [81] |
| 010 1 |
| 100 1 |
| .names n_n331 n_n333 n_n334 [82] |
| 11- 1 |
| 1-1 1 |
| .names n_n331 n_n332 [1268] [86] |
| 001 1 |
| .names n_n333 n_n335 [133] [87] |
| 011 1 |
| .names n_n335 [104] [89] |
| 01 1 |
| .names [103] [42] [106] [98] |
| 11- 1 |
| -11 1 |
| .names n_n332 n_n336 [101] [99] |
| 011 1 |
| .names planet1_in_3_ [36] [1175] [174] |
| 111 1 |
| .names [39] [112] [1260] [176] |
| 011 1 |
| .names planet1_in_4_ [41] [36] [177] |
| 111 1 |
| .names planet1_in_4_ n_n331 [46] [179] |
| 101 1 |
| .names planet1_in_4_ n_n331 [46] [181] |
| 0-1 1 |
| -11 1 |
| .names n_n331 n_n332 [36] [182] |
| 111 1 |
| 001 1 |
| .names n_n335 [190] [1251] [183] |
| 01- 1 |
| 0-1 1 |
| .names [34] [35] [1134] [185] |
| 111 1 |
| .names n_n332 [37] [1116] [186] |
| 001 1 |
| .names planet1_in_6_ [37] [1116] [190] |
| 101 1 |
| .names [44] [1247] [1248] [193] |
| 111 1 |
| .names n_n331 n_n332 [46] [194] |
| 101 1 |
| .names [101] [1236] [196] |
| 11 1 |
| .names n_n331 n_n332 [1237] [197] |
| 111 1 |
| 001 1 |
| .names n_n335 [57] [206] [199] |
| 01- 1 |
| 0-1 1 |
| .names planet1_in_5_ [37] [1116] [200] |
| 001 1 |
| .names n_n333 n_n334 [42] [206] |
| 001 1 |
| .names [37] [218] [1231] [208] |
| 1-1 1 |
| -11 1 |
| .names planet1_in_4_ [74] [214] [209] |
| 01- 1 |
| 0-1 1 |
| .names planet1_in_1_ [48] [50] [210] |
| 01- 1 |
| 0-1 1 |
| .names [41] [43] [100] [211] |
| 111 1 |
| .names planet1_in_6_ n_n331 [103] [214] |
| 011 1 |
| .names planet1_in_0_ planet1_in_3_ n_n335 [218] |
| 110 1 |
| .names planet1_in_6_ n_n331 n_n332 [220] |
| 111 1 |
| .names planet1_in_1_ planet1_in_2_ [223] |
| 00 1 |
| .names n_n331 [158] [228] |
| 11 1 |
| .names n_n336 [159] [229] |
| 11 1 |
| .names n_n335 [160] [230] |
| 01 1 |
| .names n_n331 n_n334 n_n335 [231] |
| 011 1 |
| .names planet1_in_4_ n_n331 [45] [232] |
| 0-1 1 |
| -11 1 |
| .names n_n332 n_n333 [234] |
| 11 1 |
| .names n_n331 n_n332 n_n336 [237] |
| 000 1 |
| .names n_n332 n_n333 n_n334 [238] |
| 100 1 |
| .names n_n336 [101] [164] [242] |
| 111 1 |
| .names [43] [57] [246] [243] |
| 11- 1 |
| 1-1 1 |
| .names n_n336 [41] [37] [244] |
| 110 1 |
| .names n_n333 [109] [246] |
| 01 1 |
| .names n_n333 n_n335 [1206] [248] |
| 011 1 |
| .names planet1_in_4_ [41] [43] [249] |
| 111 1 |
| .names n_n332 n_n333 n_n334 [252] |
| 000 1 |
| .names n_n332 n_n333 [257] |
| 10 1 |
| .names planet1_in_4_ n_n331 [1193] [262] |
| 001 1 |
| .names [42] [110] [270] [263] |
| 11- 1 |
| 1-1 1 |
| .names n_n331 [272] [1195] [264] |
| 11- 1 |
| 1-1 1 |
| .names n_n332 [276] [1196] [265] |
| 01- 1 |
| 0-1 1 |
| .names planet1_in_4_ n_n331 [35] [267] |
| 101 1 |
| .names planet1_in_3_ n_n333 [270] |
| 11 1 |
| .names [39] [1179] [1194] [272] |
| 1-1 1 |
| -11 1 |
| .names planet1_in_4_ [36] [276] |
| 01 1 |
| .names n_n333 n_n334 [277] |
| 01 1 |
| .names [106] [45] [1176] [278] |
| 1-1 1 |
| -11 1 |
| .names n_n331 n_n332 [148] [281] |
| 111 1 |
| .names planet1_in_3_ [41] [46] [282] |
| 111 1 |
| .names n_n331 [119] [283] |
| 01 1 |
| .names n_n331 n_n332 [76] [285] |
| 001 1 |
| .names n_n333 n_n334 [109] [286] |
| 011 1 |
| .names n_n334 n_n336 [287] |
| 10 1 |
| .names [39] [1179] [1180] [290] |
| 001 1 |
| .names n_n333 n_n335 n_n336 [292] |
| 001 1 |
| .names planet1_in_3_ n_n335 [115] [295] |
| 111 1 |
| .names n_n331 n_n332 [1164] [296] |
| 101 1 |
| .names [47] [303] [1167] [298] |
| 11- 1 |
| 1-1 1 |
| .names [38] [105] [45] [299] |
| 111 1 |
| .names planet1_in_5_ planet1_in_6_ planet1_in_0_ [303] |
| 011 1 |
| .names n_n331 [76] [308] |
| 01 1 |
| .names [106] [1147] [310] |
| 11 1 |
| .names n_n331 n_n333 n_n335 [312] |
| 010 1 |
| .names n_n332 [120] [1150] [314] |
| 11- 1 |
| 1-1 1 |
| .names planet1_in_1_ planet1_in_2_ [116] [315] |
| 111 1 |
| .names n_n333 n_n334 [109] [316] |
| 101 1 |
| .names [42] [36] [1118] [317] |
| 111 1 |
| .names n_n332 n_n333 n_n336 [318] |
| 010 1 |
| .names [42] [36] [45] [322] |
| 11- 1 |
| 1-1 1 |
| .names n_n332 [76] [336] [323] |
| 11- 1 |
| 1-1 1 |
| .names n_n336 [1132] [1133] [324] |
| 01- 1 |
| 0-1 1 |
| .names planet1_in_4_ n_n331 [111] [325] |
| 001 1 |
| .names [41] [43] [37] [327] |
| 110 1 |
| .names n_n335 [34] [1134] [328] |
| 111 1 |
| .names n_n334 n_n335 [109] [329] |
| 101 1 |
| .names [38] [105] [45] [330] |
| 111 1 |
| .names [103] [39] [1130] [336] |
| 11- 1 |
| 1-1 1 |
| .names n_n331 n_n332 n_n334 [340] |
| 1-1 1 |
| -01 1 |
| .names [47] [1105] [342] |
| 11 1 |
| .names [126] [1106] [343] |
| 11 1 |
| .names [43] [55] [354] [344] |
| 11- 1 |
| 1-1 1 |
| .names n_n332 [124] [345] |
| 01 1 |
| .names [34] [1108] [1109] [346] |
| 11- 1 |
| 1-1 1 |
| .names n_n336 [1114] [1115] [347] |
| 01- 1 |
| 0-1 1 |
| .names planet1_in_3_ [41] [46] [348] |
| 011 1 |
| .names n_n335 [38] [48] [349] |
| 001 1 |
| .names n_n331 [36] [1118] [350] |
| 111 1 |
| .names planet1_in_4_ [41] [36] [352] |
| 011 1 |
| .names n_n331 n_n332 n_n334 [354] |
| 100 1 |
| .names planet1_in_4_ n_n335 n_n336 [360] |
| 101 1 |
| .names n_n333 n_n334 n_n335 [361] |
| 1-0 1 |
| -10 1 |
| .names planet1_in_4_ n_n332 [1112] [362] |
| 011 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_3_ planet1_in_0_ [1107] |
| 10 1 |
| .names [100] [360] [1107] [1108] |
| -1- 1 |
| 1-1 1 |
| .names planet1_in_4_ [101] [361] [1109] |
| --1 1 |
| 01- 1 |
| .names planet1_in_5_ planet1_in_0_ n_n333 [1112] |
| 111 1 |
| .names [41] [37] [115] [1113] |
| --1 1 |
| 10- 1 |
| .names [38] [118] [362] [1114] |
| --1 1 |
| 11- 1 |
| .names [39] [112] [1113] [1115] |
| --1 1 |
| 11- 1 |
| .names n_n336 n_n331 [1116] |
| 01 1 |
| .names n_n332 planet1_in_6_ [1117] |
| 10 1 |
| .names planet1_in_4_ planet1_in_5_ [1118] |
| 11 1 |
| .names [41] [103] [344] [1121] |
| --1 1 |
| 11- 1 |
| .names [64] [342] [352] [1123] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [343] [348] [349] [1124] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [345] [350] [1121] [1125] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [346] [1123] [1125] [1128] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names planet1_in_3_ n_n331 n_n332 [1129] |
| 010 1 |
| .names planet1_in_6_ planet1_in_5_ [1130] |
| 1- 1 |
| -1 1 |
| .names planet1_in_0_ planet1_in_3_ n_n334 [1131] |
| 0-0 1 |
| -00 1 |
| .names [38] [42] [63] [1132] |
| --1 1 |
| 01- 1 |
| .names [112] [340] [1131] [1133] |
| -1- 1 |
| 1-1 1 |
| .names n_n334 planet1_in_4_ [1134] |
| 01 1 |
| .names n_n331 [103] [66] [1137] |
| --1 1 |
| 11- 1 |
| .names planet1_in_3_ [104] [327] [1138] |
| --1 1 |
| 11- 1 |
| .names [122] [57] [322] [1140] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [58] [325] [329] [1141] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [323] [328] [330] [1143] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [1141] [1140] [1144] |
| 1- 1 |
| -1 1 |
| .names [324] [1137] [1138] [1145] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names planet1_in_4_ n_n331 n_n332 [1147] |
| 001 1 |
| .names n_n333 n_n335 [47] [1148] |
| 011 1 |
| .names [37] [117] [1116] [1150] |
| -1- 1 |
| 0-1 1 |
| .names [65] [45] [312] [1151] |
| --1 1 |
| 01- 1 |
| .names [36] [318] [1104] [1152] |
| -1- 1 |
| 1-1 1 |
| .names n_n336 [47] [310] [1153] |
| --1 1 |
| 01- 1 |
| .names [51] [1148] [1151] [1155] |
| --1 1 |
| 01- 1 |
| .names [315] [316] [1153] [1157] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [43] [154] [314] [1158] |
| --1 1 |
| 11- 1 |
| .names [317] [1152] [1155] [1159] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n336 n_n332 [1162] |
| 10 1 |
| .names n_n336 n_n333 [1164] |
| 01 1 |
| .names planet1_in_4_ n_n331 n_n332 [1165] |
| 100 1 |
| .names planet1_in_3_ n_n333 n_n335 [1167] |
| 0-- 1 |
| -1- 1 |
| --0 1 |
| .names [69] [157] [1162] [1169] |
| 1-- 1 |
| -11 1 |
| .names [35] [295] [1165] [1170] |
| -1- 1 |
| 1-1 1 |
| .names [80] [296] [299] [1171] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [96] [298] [308] [1172] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [1172] [1171] [1174] |
| 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_n331 n_n332 n_n336 [1177] |
| 101 1 |
| .names n_n331 n_n335 n_n336 [1178] |
| 101 1 |
| .names planet1_in_4_ planet1_in_5_ [1179] |
| 0- 1 |
| -0 1 |
| .names n_n336 n_n333 [1180] |
| 01 1 |
| .names n_n333 n_n334 n_n335 [1181] |
| 111 1 |
| 001 1 |
| .names [111] [287] [1129] [1183] |
| -1- 1 |
| 1-1 1 |
| .names [108] [110] [1177] [1184] |
| 1-- 1 |
| -11 1 |
| .names [100] [282] [1178] [1185] |
| -1- 1 |
| 1-1 1 |
| .names n_n332 [103] [283] [1186] |
| --1 1 |
| 01- 1 |
| .names [1183] [286] [1188] |
| 1- 1 |
| -1 1 |
| .names [278] [285] [1186] [1190] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [1184] [1185] [1188] [1191] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n336 n_n333 [1193] |
| 10 1 |
| .names n_n335 n_n333 [1194] |
| 01 1 |
| .names n_n333 n_n335 n_n336 [1195] |
| -10 1 |
| 101 1 |
| .names [38] [35] [277] [1196] |
| --1 1 |
| 11- 1 |
| .names [41] [43] [47] [1197] |
| --1 1 |
| 11- 1 |
| .names [44] [106] [263] [1199] |
| --1 1 |
| 11- 1 |
| .names [262] [267] [1197] [1200] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [265] [264] [1202] |
| 1- 1 |
| -1 1 |
| .names n_n334 n_n331 [1203] |
| 1- 1 |
| -1 1 |
| .names n_n333 n_n335 n_n336 [1204] |
| --0 1 |
| 11- 1 |
| .names planet1_in_4_ n_n331 n_n334 [1206] |
| 100 1 |
| .names [41] [110] [116] [1207] |
| --1 1 |
| 11- 1 |
| .names [44] [119] [252] [1208] |
| --1 1 |
| 11- 1 |
| .names [43] [47] [249] [1210] |
| --1 1 |
| 11- 1 |
| .names [96] [308] [1207] [1211] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [102] [248] [1208] [1212] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n332 planet1_in_6_ [1214] |
| 11 1 |
| .names [44] [36] [244] [1215] |
| --1 1 |
| 11- 1 |
| .names [102] [242] [1214] [1216] |
| -1- 1 |
| 1-1 1 |
| .names n_n331 n_n332 n_n333 [1219] |
| 11- 1 |
| -01 1 |
| .names [231] [115] [1221] |
| 1- 1 |
| -1 1 |
| .names [228] [232] [1221] [1223] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names planet1_in_1_ planet1_in_2_ n_n336 [1225] |
| --1 1 |
| 11- 1 |
| .names n_n331 n_n335 [1227] |
| 11 1 |
| 00 1 |
| .names [37] [65] [1225] [1229] |
| 1-- 1 |
| -0- 1 |
| --1 1 |
| .names [220] [223] [1227] [1230] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n331 n_n332 n_n336 [1231] |
| 010 1 |
| .names [44] [45] [211] [1232] |
| --1 1 |
| 11- 1 |
| .names [42] [119] [208] [1233] |
| --1 1 |
| 11- 1 |
| .names [209] [1232] [1233] [1235] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names planet1_in_5_ planet1_in_4_ n_n332 [1236] |
| 0-1 1 |
| -11 1 |
| .names planet1_in_5_ n_n334 n_n335 [1237] |
| 101 1 |
| .names n_n333 n_n335 n_n336 [1238] |
| 001 1 |
| .names [41] [36] [116] [1239] |
| --1 1 |
| 11- 1 |
| .names n_n336 [47] [196] [1241] |
| --1 1 |
| 01- 1 |
| .names [114] [197] [1238] [1242] |
| -1- 1 |
| 1-1 1 |
| .names [77] [48] [1239] [1244] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [199] [200] [1244] [1246] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n333 planet1_in_6_ [1247] |
| 01 1 |
| .names n_n336 n_n335 [1248] |
| 00 1 |
| .names [41] [37] [104] [1251] |
| --1 1 |
| 10- 1 |
| .names n_n336 [47] [182] [1253] |
| --1 1 |
| 01- 1 |
| .names n_n331 [117] [185] [1254] |
| --1 1 |
| 01- 1 |
| .names [58] [61] [186] [1255] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [1255] [183] [1257] |
| 1- 1 |
| -1 1 |
| .names planet1_in_3_ n_n333 n_n335 [1258] |
| 101 1 |
| .names n_n333 n_n334 n_n336 [1260] |
| 000 1 |
| .names planet1_in_1_ planet1_in_2_ n_n332 [1262] |
| 110 1 |
| .names [44] [105] [45] [1263] |
| 1-1 1 |
| -11 1 |
| .names n_n331 [48] [76] [1264] |
| -1- 1 |
| 0-1 1 |
| .names [43] [139] [1263] [1265] |
| --1 1 |
| 11- 1 |
| .names [99] [98] [1266] |
| 1- 1 |
| -1 1 |
| .names n_n336 n_n334 [1268] |
| 10 1 |
| .names [43] [114] [86] [1270] |
| --1 1 |
| 11- 1 |
| .names [96] [87] [89] [1273] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [65] [45] [70] [1274] |
| --1 1 |
| 01- 1 |
| .names [60] [68] [1274] [1276] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n334 [135] [62] [1277] |
| --1 1 |
| 11- 1 |
| .names planet1_in_2_ planet1_in_1_ [1278] |
| 10 1 |
| .end |