| .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 [1207] [1208] planet_out_10_ |
| 1- 1 |
| -1 1 |
| .names [1214] [1215] planet_out_12_ |
| 1- 1 |
| -1 1 |
| .names [1225] [1226] planet_out_11_ |
| 1- 1 |
| -1 1 |
| .names [1233] [1234] planet_out_14_ |
| 1- 1 |
| -1 1 |
| .names [1236] [1237] planet_out_13_ |
| 1- 1 |
| -1 1 |
| .names [1243] [1244] planet_out_16_ |
| 1- 1 |
| -1 1 |
| .names [1247] [1248] planet_out_15_ |
| 1- 1 |
| -1 1 |
| .names [1251] [1252] planet_out_18_ |
| 1- 1 |
| -1 1 |
| .names [1256] [1257] planet_out_17_ |
| 1- 1 |
| -1 1 |
| .names planet_out_8_ [172] planet_out_5_ |
| 1- 1 |
| -1 1 |
| .names [67] [170] planet_out_6_ |
| 1- 1 |
| -1 1 |
| .names [168] [169] planet_out_3_ |
| 1- 1 |
| -1 1 |
| .names [1261] [1262] planet_out_4_ |
| 11 1 |
| .names [99] [1266] planet_out_1_ |
| 1- 1 |
| -1 1 |
| .names [97] [98] planet_out_2_ |
| 1- 1 |
| -1 1 |
| .names [84] [1271] planet_out_0_ |
| 1- 1 |
| -1 1 |
| .names [134] [1272] planet_out_9_ |
| 11 1 |
| .names [67] [49] planet_out_7_ |
| 1- 1 |
| -1 1 |
| .names [174] [175] planet_out_8_ |
| 1- 1 |
| -1 1 |
| .names [1127] [1128] n_n83 |
| 1- 1 |
| -1 1 |
| .names [1145] [1146] n_n84 |
| 1- 1 |
| -1 1 |
| .names [1159] [1160] n_n85 |
| 1- 1 |
| -1 1 |
| .names [1173] [1174] n_n86 |
| 1- 1 |
| -1 1 |
| .names [1191] [1192] n_n87 |
| 1- 1 |
| -1 1 |
| .names [1201] [1202] n_n88 |
| 1- 1 |
| -1 1 |
| .names n_n331 n_n332 [34] |
| 01 1 |
| .names planet_in_2_ planet_in_1_ [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_n334 [34] [47] |
| 11 1 |
| .names [36] [1104] [64] |
| 11 1 |
| .names [41] [36] [74] |
| 11 1 |
| .names n_n334 [35] [103] |
| 11 1 |
| .names [36] [1118] [107] |
| 11 1 |
| .names n_n335 [48] [113] |
| 01 1 |
| .names [41] [46] [122] |
| 11 1 |
| .names [1114] [1115] [128] |
| 1- 1 |
| -1 1 |
| .names [1108] [1109] [127] |
| 1- 1 |
| -1 1 |
| .names [46] [356] [126] |
| 1- 1 |
| -1 1 |
| .names planet_in_3_ planet_in_6_ [125] |
| 0- 1 |
| -1 1 |
| .names [117] [45] [124] |
| 1- 1 |
| -1 1 |
| .names [55] [354] [123] |
| 1- 1 |
| -1 1 |
| .names n_n333 n_n334 [37] |
| 1- 1 |
| -1 1 |
| .names planet_in_3_ planet_in_0_ [39] |
| 0- 1 |
| -0 1 |
| .names n_n335 [34] [112] |
| 01 1 |
| .names [105] [45] [40] |
| 11 1 |
| .names n_n331 n_n332 [42] |
| 10 1 |
| .names n_n334 [108] [56] |
| 11 1 |
| .names [34] [100] [57] |
| 11 1 |
| .names [44] [119] [58] |
| 11 1 |
| .names [111] [1129] [66] |
| 11 1 |
| .names [34] [1134] [75] |
| 11 1 |
| .names n_n331 [103] [77] |
| 11 1 |
| .names [41] [37] [95] |
| 10 1 |
| .names n_n333 [34] [104] |
| 11 1 |
| .names planet_in_4_ n_n331 [105] |
| 00 1 |
| .names n_n333 n_n335 [111] |
| 11 1 |
| .names [1132] [1133] [131] |
| 1- 1 |
| -1 1 |
| .names [76] [336] [130] |
| 1- 1 |
| -1 1 |
| .names [36] [45] [129] |
| 1- 1 |
| -1 1 |
| .names [102] [1260] [67] |
| 11 1 |
| .names [1277] [1278] [132] |
| 1- 1 |
| -1 1 |
| .names [50] [79] [134] |
| 1- 1 |
| -1 1 |
| .names [65] [45] [61] |
| 01 1 |
| .names n_n336 [37] [106] |
| 10 1 |
| .names [195] [196] [137] |
| 1- 1 |
| -1 1 |
| .names [63] [193] [136] |
| 1- 1 |
| -1 1 |
| .names [44] [191] [135] |
| 1- 1 |
| -1 1 |
| .names [33] [1117] [48] |
| 11 1 |
| .names n_n335 [46] [76] |
| 01 1 |
| .names [44] [45] [80] |
| 11 1 |
| .names n_n336 [101] [120] |
| 11 1 |
| .names [103] [106] [140] |
| 1- 1 |
| -1 1 |
| .names [55] [183] [139] |
| 1- 1 |
| -1 1 |
| .names planet_in_4_ n_n331 [65] |
| 0- 1 |
| -1 1 |
| .names n_n333 n_n335 [35] |
| 01 1 |
| .names [41] [43] [121] |
| 11 1 |
| .names [276] [1196] [143] |
| 1- 1 |
| -1 1 |
| .names [272] [1195] [142] |
| 1- 1 |
| -1 1 |
| .names [110] [270] [141] |
| 1- 1 |
| -1 1 |
| .names n_n333 n_n334 [100] |
| 10 1 |
| .names n_n336 [35] [119] |
| 11 1 |
| .names [37] [93] [146] |
| 1- 1 |
| -1 1 |
| .names [74] [91] [145] |
| 1- 1 |
| -1 1 |
| .names [48] [50] [144] |
| 1- 1 |
| -1 1 |
| .names [36] [1175] [109] |
| 11 1 |
| .names n_n334 n_n335 [110] |
| 01 1 |
| .names [1181] [1182] [148] |
| 1- 1 |
| -1 1 |
| .names [106] [45] [147] |
| 1- 1 |
| -1 1 |
| .names [37] [1116] [33] |
| 01 1 |
| .names n_n335 [100] [36] |
| 11 1 |
| .names n_n336 [47] [83] |
| 01 1 |
| .names n_n333 [43] [117] |
| 11 1 |
| .names [251] [1209] [150] |
| 1- 1 |
| -1 1 |
| .names n_n331 n_n332 [149] |
| 11 1 |
| 00 1 |
| .names n_n333 n_n334 [46] |
| 11 1 |
| .names [104] [1161] [69] |
| 11 1 |
| .names n_n334 [35] [101] |
| 01 1 |
| .names n_n331 n_n334 [114] |
| 01 1 |
| .names n_n331 [45] [116] |
| 01 1 |
| .names n_n331 n_n332 [153] |
| 11 1 |
| 00 1 |
| .names planet_in_4_ planet_in_5_ [152] |
| 1- 1 |
| -0 1 |
| .names [57] [241] [151] |
| 1- 1 |
| -1 1 |
| .names [39] [1130] [51] |
| 1- 1 |
| -1 1 |
| .names n_n332 n_n333 [63] |
| 01 1 |
| .names planet_in_4_ [41] [108] |
| 01 1 |
| .names [120] [1150] [155] |
| 1- 1 |
| -1 1 |
| .names [56] [118] [154] |
| 1- 1 |
| -1 1 |
| .names [96] [308] [59] |
| 1- 1 |
| -1 1 |
| .names n_n334 [42] [115] |
| 11 1 |
| .names [35] [306] [157] |
| 1- 1 |
| -1 1 |
| .names [303] [1167] [156] |
| 1- 1 |
| -1 1 |
| .names n_n335 n_n336 [45] |
| 10 1 |
| .names [1239] [1240] [160] |
| 1- 1 |
| -1 1 |
| .names [55] [1238] [159] |
| 1- 1 |
| -1 1 |
| .names n_n333 [43] [158] |
| 1- 1 |
| -1 1 |
| .names planet_in_5_ planet_in_0_ [161] |
| 1- 1 |
| -0 1 |
| .names n_n335 [33] [102] |
| 01 1 |
| .names [113] [40] [163] |
| 1- 1 |
| -1 1 |
| .names planet_in_2_ planet_in_1_ [162] |
| 1- 1 |
| -1 1 |
| .names [44] [36] [96] |
| 11 1 |
| .names [57] [202] [165] |
| 1- 1 |
| -1 1 |
| .names n_n332 [105] [164] |
| 0- 1 |
| -1 1 |
| .names n_n333 [42] [118] |
| 01 1 |
| .names [40] [89] [50] |
| 1- 1 |
| -1 1 |
| .names [39] [1179] [52] |
| 1- 1 |
| -1 1 |
| .names n_n334 [65] [55] |
| 10 1 |
| .names [73] [1274] [133] |
| 1- 1 |
| -1 1 |
| .names n_n331 n_n332 [138] |
| 01 1 |
| 10 1 |
| .names planet_in_4_ [132] [49] |
| 11 1 |
| .names [41] [1273] [54] |
| 11 1 |
| .names [35] [133] [60] |
| 11 1 |
| .names [43] [114] [62] |
| 11 1 |
| .names n_n335 [104] [68] |
| 01 1 |
| .names n_n331 n_n334 [72] |
| 00 1 |
| .names n_n331 n_n334 [73] |
| 11 1 |
| .names planet_in_6_ [102] [79] |
| 01 1 |
| .names [146] [1267] [82] |
| 11 1 |
| .names planet_in_1_ [144] [84] |
| 01 1 |
| .names planet_in_4_ [145] [85] |
| 01 1 |
| .names [121] [100] [86] |
| 11 1 |
| .names [42] [119] [87] |
| 11 1 |
| .names n_n332 [102] [89] |
| 01 1 |
| .names planet_in_6_ [77] [91] |
| 01 1 |
| .names n_n335 [39] [93] |
| 00 1 |
| .names n_n336 [104] [97] |
| 11 1 |
| .names [65] [46] [98] |
| 11 1 |
| .names [1264] [1265] [99] |
| 11 1 |
| .names [42] [46] [166] |
| 11 1 |
| .names n_n335 [118] [168] |
| 01 1 |
| .names [65] [46] [169] |
| 01 1 |
| .names [163] [162] [170] |
| 11 1 |
| .names planet_in_3_ [109] [172] |
| 11 1 |
| .names [1258] [1259] [174] |
| 11 1 |
| .names planet_in_4_ [74] [175] |
| 11 1 |
| .names [43] [139] [176] |
| 11 1 |
| .names [42] [140] [177] |
| 11 1 |
| .names n_n332 [120] [178] |
| 01 1 |
| .names n_n331 [76] [179] |
| 01 1 |
| .names [34] [37] [183] |
| 11 1 |
| .names n_n334 [135] [185] |
| 11 1 |
| .names n_n335 [136] [186] |
| 11 1 |
| .names n_n335 [137] [187] |
| 01 1 |
| .names n_n332 [106] [188] |
| 11 1 |
| .names n_n336 [37] [189] |
| 01 1 |
| .names n_n333 [108] [191] |
| 01 1 |
| .names n_n331 [37] [193] |
| 01 1 |
| .names n_n336 [138] [195] |
| 01 1 |
| .names n_n331 [37] [196] |
| 11 1 |
| .names [102] [1245] [197] |
| 11 1 |
| .names [120] [164] [198] |
| 11 1 |
| .names [43] [165] [199] |
| 11 1 |
| .names n_n336 [95] [200] |
| 11 1 |
| .names n_n333 [108] [202] |
| 01 1 |
| .names n_n331 [158] [204] |
| 11 1 |
| .names n_n336 [159] [205] |
| 11 1 |
| .names n_n335 [160] [206] |
| 01 1 |
| .names n_n335 [114] [207] |
| 11 1 |
| .names [65] [45] [208] |
| 11 1 |
| .names n_n332 n_n333 [210] |
| 11 1 |
| .names n_n336 [41] [213] |
| 01 1 |
| .names n_n332 [37] [214] |
| 10 1 |
| .names n_n332 n_n333 [217] |
| 10 1 |
| .names [35] [1227] [222] |
| 11 1 |
| .names planet_in_4_ [121] [223] |
| 11 1 |
| .names [41] [110] [224] |
| 11 1 |
| .names [43] [47] [225] |
| 11 1 |
| .names n_n332 [37] [226] |
| 00 1 |
| .names [101] [1216] [231] |
| 11 1 |
| .names [153] [1217] [232] |
| 11 1 |
| .names [114] [1218] [233] |
| 11 1 |
| .names n_n335 [151] [234] |
| 01 1 |
| .names planet_in_5_ [33] [235] |
| 01 1 |
| .names [37] [42] [241] |
| 01 1 |
| .names [36] [149] [243] |
| 11 1 |
| .names n_n335 [150] [244] |
| 01 1 |
| .names n_n331 [117] [245] |
| 01 1 |
| .names [75] [35] [246] |
| 11 1 |
| .names n_n332 [33] [247] |
| 01 1 |
| .names planet_in_6_ [33] [251] |
| 11 1 |
| .names planet_in_6_ [44] [254] |
| 11 1 |
| .names planet_in_2_ planet_in_1_ [257] |
| 00 1 |
| .names [105] [1193] [262] |
| 11 1 |
| .names [42] [141] [263] |
| 11 1 |
| .names n_n331 [142] [264] |
| 11 1 |
| .names n_n332 [143] [265] |
| 01 1 |
| .names [44] [106] [266] |
| 11 1 |
| .names [65] [35] [267] |
| 01 1 |
| .names planet_in_3_ n_n333 [270] |
| 11 1 |
| .names [52] [1194] [272] |
| 11 1 |
| .names [38] [35] [275] |
| 11 1 |
| .names planet_in_4_ [36] [276] |
| 01 1 |
| .names n_n333 n_n334 [277] |
| 01 1 |
| .names [147] [1176] [278] |
| 11 1 |
| .names [110] [1177] [279] |
| 11 1 |
| .names [100] [1178] [280] |
| 11 1 |
| .names [44] [148] [281] |
| 11 1 |
| .names planet_in_3_ [122] [282] |
| 11 1 |
| .names n_n331 [119] [283] |
| 01 1 |
| .names n_n332 [103] [284] |
| 01 1 |
| .names [41] [76] [285] |
| 11 1 |
| .names n_n333 [56] [286] |
| 01 1 |
| .names n_n334 n_n336 [287] |
| 10 1 |
| .names [52] [1180] [290] |
| 01 1 |
| .names n_n335 [46] [291] |
| 11 1 |
| .names n_n333 [43] [292] |
| 01 1 |
| .names [157] [1162] [294] |
| 11 1 |
| .names [115] [1163] [295] |
| 11 1 |
| .names [42] [1164] [296] |
| 11 1 |
| .names [35] [1165] [297] |
| 11 1 |
| .names [47] [156] [298] |
| 11 1 |
| .names [38] [40] [299] |
| 11 1 |
| .names planet_in_0_ [1166] [303] |
| 11 1 |
| .names n_n333 n_n334 [306] |
| 01 1 |
| .names n_n331 [76] [308] |
| 01 1 |
| .names [106] [1147] [310] |
| 11 1 |
| .names [51] [1148] [311] |
| 01 1 |
| .names n_n335 [1149] [312] |
| 01 1 |
| .names [43] [154] [313] |
| 11 1 |
| .names n_n332 [155] [314] |
| 11 1 |
| .names [38] [116] [315] |
| 01 1 |
| .names [100] [108] [316] |
| 11 1 |
| .names [107] [42] [317] |
| 11 1 |
| .names n_n336 [63] [318] |
| 01 1 |
| .names [42] [129] [322] |
| 11 1 |
| .names n_n332 [130] [323] |
| 11 1 |
| .names n_n336 [131] [324] |
| 01 1 |
| .names [105] [111] [325] |
| 11 1 |
| .names planet_in_3_ [104] [326] |
| 11 1 |
| .names [43] [95] [327] |
| 11 1 |
| .names n_n335 [75] [328] |
| 11 1 |
| .names n_n335 [56] [329] |
| 01 1 |
| .names [38] [40] [330] |
| 11 1 |
| .names [103] [51] [336] |
| 11 1 |
| .names [112] [1131] [338] |
| 11 1 |
| .names [38] [42] [339] |
| 01 1 |
| .names n_n334 [34] [340] |
| 10 1 |
| .names [47] [1105] [342] |
| 11 1 |
| .names [126] [1106] [343] |
| 11 1 |
| .names [43] [123] [344] |
| 11 1 |
| .names n_n332 [124] [345] |
| 01 1 |
| .names [34] [127] [346] |
| 11 1 |
| .names n_n336 [128] [347] |
| 01 1 |
| .names planet_in_3_ [122] [348] |
| 01 1 |
| .names [38] [113] [349] |
| 01 1 |
| .names n_n331 [107] [350] |
| 11 1 |
| .names [41] [103] [351] |
| 11 1 |
| .names planet_in_4_ [74] [352] |
| 01 1 |
| .names n_n334 [42] [354] |
| 01 1 |
| .names planet_in_4_ n_n333 [356] |
| 11 1 |
| .names [100] [1107] [358] |
| 11 1 |
| .names planet_in_4_ [101] [359] |
| 01 1 |
| .names planet_in_4_ [43] [360] |
| 11 1 |
| .names n_n335 [37] [361] |
| 01 1 |
| .names [1111] [1112] [362] |
| 11 1 |
| .names [38] [118] [363] |
| 11 1 |
| .names [39] [112] [364] |
| 11 1 |
| .names planet_in_5_ planet_in_4_ [1103] |
| 00 1 |
| .names [1103] n_n332 [1104] |
| 10 1 |
| .names [125] n_n333 [1105] |
| 10 1 |
| .names [44] n_n335 [1106] |
| 11 1 |
| .names planet_in_0_ planet_in_3_ [1107] |
| 01 1 |
| .names [360] [358] [1108] |
| 1- 1 |
| -1 1 |
| .names [359] [361] [1109] |
| 1- 1 |
| -1 1 |
| .names planet_in_5_ planet_in_4_ [1110] |
| 10 1 |
| .names n_n332 planet_in_0_ [1111] |
| 11 1 |
| .names [1110] n_n333 [1112] |
| 11 1 |
| .names [115] [95] [1113] |
| 1- 1 |
| -1 1 |
| .names [363] [362] [1114] |
| 1- 1 |
| -1 1 |
| .names [1113] [364] [1115] |
| 1- 1 |
| -1 1 |
| .names n_n336 n_n331 [1116] |
| 01 1 |
| .names n_n332 planet_in_6_ [1117] |
| 10 1 |
| .names planet_in_5_ planet_in_4_ [1118] |
| 11 1 |
| .names [342] [64] [1119] |
| 1- 1 |
| -1 1 |
| .names [348] [343] [1120] |
| 1- 1 |
| -1 1 |
| .names [344] [351] [1121] |
| 1- 1 |
| -1 1 |
| .names [350] [345] [1122] |
| 1- 1 |
| -1 1 |
| .names [1119] [352] [1123] |
| 1- 1 |
| -1 1 |
| .names [349] [1120] [1124] |
| 1- 1 |
| -1 1 |
| .names [1122] [1121] [1125] |
| 1- 1 |
| -1 1 |
| .names [346] [1123] [1126] |
| 1- 1 |
| -1 1 |
| .names [1124] [347] [1127] |
| 1- 1 |
| -1 1 |
| .names [1126] [1125] [1128] |
| 1- 1 |
| -1 1 |
| .names [42] planet_in_3_ [1129] |
| 10 1 |
| .names planet_in_5_ planet_in_6_ [1130] |
| 1- 1 |
| -1 1 |
| .names [39] n_n334 [1131] |
| 10 1 |
| .names [339] [63] [1132] |
| 1- 1 |
| -1 1 |
| .names [338] [340] [1133] |
| 1- 1 |
| -1 1 |
| .names n_n334 planet_in_4_ [1134] |
| 01 1 |
| .names [57] [122] [1135] |
| 1- 1 |
| -1 1 |
| .names [58] [325] [1136] |
| 1- 1 |
| -1 1 |
| .names [77] [66] [1137] |
| 1- 1 |
| -1 1 |
| .names [327] [326] [1138] |
| 1- 1 |
| -1 1 |
| .names [330] [328] [1139] |
| 1- 1 |
| -1 1 |
| .names [322] [1135] [1140] |
| 1- 1 |
| -1 1 |
| .names [1136] [329] [1141] |
| 1- 1 |
| -1 1 |
| .names [1138] [1137] [1142] |
| 1- 1 |
| -1 1 |
| .names [323] [1139] [1143] |
| 1- 1 |
| -1 1 |
| .names [1141] [1140] [1144] |
| 1- 1 |
| -1 1 |
| .names [324] [1142] [1145] |
| 1- 1 |
| -1 1 |
| .names [1144] [1143] [1146] |
| 1- 1 |
| -1 1 |
| .names [34] planet_in_4_ [1147] |
| 10 1 |
| .names [47] [35] [1148] |
| 11 1 |
| .names n_n333 n_n331 [1149] |
| 10 1 |
| .names [117] [33] [1150] |
| 1- 1 |
| -1 1 |
| .names [312] [61] [1151] |
| 1- 1 |
| -1 1 |
| .names [64] [318] [1152] |
| 1- 1 |
| -1 1 |
| .names [310] [83] [1153] |
| 1- 1 |
| -1 1 |
| .names [316] [315] [1154] |
| 1- 1 |
| -1 1 |
| .names [311] [1151] [1155] |
| 1- 1 |
| -1 1 |
| .names [1152] [317] [1156] |
| 1- 1 |
| -1 1 |
| .names [1154] [1153] [1157] |
| 1- 1 |
| -1 1 |
| .names [314] [313] [1158] |
| 1- 1 |
| -1 1 |
| .names [1156] [1155] [1159] |
| 1- 1 |
| -1 1 |
| .names [1158] [1157] [1160] |
| 1- 1 |
| -1 1 |
| .names n_n335 planet_in_0_ [1161] |
| 11 1 |
| .names n_n336 n_n332 [1162] |
| 10 1 |
| .names n_n335 planet_in_3_ [1163] |
| 11 1 |
| .names n_n336 n_n333 [1164] |
| 01 1 |
| .names [41] planet_in_4_ [1165] |
| 11 1 |
| .names planet_in_5_ planet_in_6_ [1166] |
| 01 1 |
| .names [35] planet_in_3_ [1167] |
| 0- 1 |
| -0 1 |
| .names [296] [80] [1168] |
| 1- 1 |
| -1 1 |
| .names [294] [69] [1169] |
| 1- 1 |
| -1 1 |
| .names [297] [295] [1170] |
| 1- 1 |
| -1 1 |
| .names [1168] [299] [1171] |
| 1- 1 |
| -1 1 |
| .names [298] [59] [1172] |
| 1- 1 |
| -1 1 |
| .names [1170] [1169] [1173] |
| 1- 1 |
| -1 1 |
| .names [1172] [1171] [1174] |
| 1- 1 |
| -1 1 |
| .names [34] planet_in_0_ [1175] |
| 10 1 |
| .names n_n332 planet_in_4_ [1176] |
| 11 1 |
| .names [42] n_n336 [1177] |
| 11 1 |
| .names [43] n_n331 [1178] |
| 11 1 |
| .names planet_in_5_ planet_in_4_ [1179] |
| 0- 1 |
| -0 1 |
| .names n_n336 n_n333 [1180] |
| 01 1 |
| .names [291] [101] [1181] |
| 1- 1 |
| -1 1 |
| .names [290] [292] [1182] |
| 1- 1 |
| -1 1 |
| .names [66] [287] [1183] |
| 1- 1 |
| -1 1 |
| .names [279] [109] [1184] |
| 1- 1 |
| -1 1 |
| .names [282] [280] [1185] |
| 1- 1 |
| -1 1 |
| .names [284] [283] [1186] |
| 1- 1 |
| -1 1 |
| .names [278] [285] [1187] |
| 1- 1 |
| -1 1 |
| .names [1183] [286] [1188] |
| 1- 1 |
| -1 1 |
| .names [1185] [1184] [1189] |
| 1- 1 |
| -1 1 |
| .names [1187] [1186] [1190] |
| 1- 1 |
| -1 1 |
| .names [1189] [1188] [1191] |
| 1- 1 |
| -1 1 |
| .names [1190] [281] [1192] |
| 1- 1 |
| -1 1 |
| .names n_n336 n_n333 [1193] |
| 10 1 |
| .names n_n335 n_n333 [1194] |
| 01 1 |
| .names [117] [45] [1195] |
| 1- 1 |
| -1 1 |
| .names [275] [277] [1196] |
| 1- 1 |
| -1 1 |
| .names [121] [47] [1197] |
| 1- 1 |
| -1 1 |
| .names [267] [262] [1198] |
| 1- 1 |
| -1 1 |
| .names [266] [263] [1199] |
| 1- 1 |
| -1 1 |
| .names [1198] [1197] [1200] |
| 1- 1 |
| -1 1 |
| .names [1200] [1199] [1201] |
| 1- 1 |
| -1 1 |
| .names [265] [264] [1202] |
| 1- 1 |
| -1 1 |
| .names [38] n_n336 [1203] |
| 0- 1 |
| -1 1 |
| .names [65] [37] [1204] |
| 0- 1 |
| -1 1 |
| .names n_n331 n_n335 [1205] |
| 11 1 |
| 00 1 |
| .names [254] [257] [1206] |
| 1- 1 |
| -1 1 |
| .names [1204] [1203] [1207] |
| 1- 1 |
| -1 1 |
| .names [1206] [1205] [1208] |
| 1- 1 |
| -1 1 |
| .names [104] [95] [1209] |
| 1- 1 |
| -1 1 |
| .names [58] [61] [1210] |
| 1- 1 |
| -1 1 |
| .names [243] [83] [1211] |
| 1- 1 |
| -1 1 |
| .names [246] [245] [1212] |
| 1- 1 |
| -1 1 |
| .names [1210] [247] [1213] |
| 1- 1 |
| -1 1 |
| .names [1212] [1211] [1214] |
| 1- 1 |
| -1 1 |
| .names [1213] [244] [1215] |
| 1- 1 |
| -1 1 |
| .names [152] n_n332 [1216] |
| 11 1 |
| .names [110] planet_in_5_ [1217] |
| 11 1 |
| .names [43] n_n333 [1218] |
| 10 1 |
| .names [74] [116] [1219] |
| 1- 1 |
| -1 1 |
| .names [48] [77] [1220] |
| 1- 1 |
| -1 1 |
| .names [231] [83] [1221] |
| 1- 1 |
| -1 1 |
| .names [233] [232] [1222] |
| 1- 1 |
| -1 1 |
| .names [234] [235] [1223] |
| 1- 1 |
| -1 1 |
| .names [1220] [1219] [1224] |
| 1- 1 |
| -1 1 |
| .names [1222] [1221] [1225] |
| 1- 1 |
| -1 1 |
| .names [1224] [1223] [1226] |
| 1- 1 |
| -1 1 |
| .names [65] n_n334 [1227] |
| 00 1 |
| .names [224] [116] [1228] |
| 1- 1 |
| -1 1 |
| .names [58] [226] [1229] |
| 1- 1 |
| -1 1 |
| .names [222] [102] [1230] |
| 1- 1 |
| -1 1 |
| .names [225] [223] [1231] |
| 1- 1 |
| -1 1 |
| .names [59] [1228] [1232] |
| 1- 1 |
| -1 1 |
| .names [1230] [1229] [1233] |
| 1- 1 |
| -1 1 |
| .names [1232] [1231] [1234] |
| 1- 1 |
| -1 1 |
| .names n_n334 n_n331 [1235] |
| 1- 1 |
| -1 1 |
| .names [111] n_n336 [1236] |
| 1- 1 |
| -0 1 |
| .names [1235] [217] [1237] |
| 1- 1 |
| -1 1 |
| .names [47] [210] [1238] |
| 1- 1 |
| -1 1 |
| .names [63] [44] [1239] |
| 1- 1 |
| -1 1 |
| .names [214] [213] [1240] |
| 1- 1 |
| -1 1 |
| .names [207] [115] [1241] |
| 1- 1 |
| -1 1 |
| .names [204] [208] [1242] |
| 1- 1 |
| -1 1 |
| .names [1242] [1241] [1243] |
| 1- 1 |
| -1 1 |
| .names [206] [205] [1244] |
| 1- 1 |
| -1 1 |
| .names n_n332 planet_in_6_ [1245] |
| 11 1 |
| .names [200] [96] [1246] |
| 1- 1 |
| -1 1 |
| .names [198] [197] [1247] |
| 1- 1 |
| -1 1 |
| .names [199] [1246] [1248] |
| 1- 1 |
| -1 1 |
| .names [189] [61] [1249] |
| 1- 1 |
| -1 1 |
| .names [1249] [188] [1250] |
| 1- 1 |
| -1 1 |
| .names [1250] [186] [1251] |
| 1- 1 |
| -1 1 |
| .names [187] [185] [1252] |
| 1- 1 |
| -1 1 |
| .names [80] [40] [1253] |
| 1- 1 |
| -1 1 |
| .names [179] [48] [1254] |
| 1- 1 |
| -1 1 |
| .names [176] [1253] [1255] |
| 1- 1 |
| -1 1 |
| .names [178] [177] [1256] |
| 1- 1 |
| -1 1 |
| .names [1255] [1254] [1257] |
| 1- 1 |
| -1 1 |
| .names [37] n_n336 [1258] |
| 00 1 |
| .names [112] [39] [1259] |
| 10 1 |
| .names [38] n_n332 [1260] |
| 00 1 |
| .names [35] planet_in_3_ [1261] |
| 11 1 |
| .names [47] [161] [1262] |
| 11 1 |
| .names n_n333 planet_in_6_ [1263] |
| 01 1 |
| .names n_n336 n_n335 [1264] |
| 00 1 |
| .names [1263] [44] [1265] |
| 11 1 |
| .names [69] [166] [1266] |
| 1- 1 |
| -1 1 |
| .names [34] n_n336 [1267] |
| 10 1 |
| .names [86] [80] [1268] |
| 1- 1 |
| -1 1 |
| .names [82] [87] [1269] |
| 1- 1 |
| -1 1 |
| .names [1269] [1268] [1270] |
| 1- 1 |
| -1 1 |
| .names [1270] [85] [1271] |
| 1- 1 |
| -1 1 |
| .names planet_in_1_ planet_in_2_ [1272] |
| 01 1 |
| .names n_n336 n_n334 [1273] |
| 10 1 |
| .names [72] [42] [1274] |
| 1- 1 |
| -1 1 |
| .names [62] [54] [1275] |
| 1- 1 |
| -1 1 |
| .names [68] [96] [1276] |
| 1- 1 |
| -1 1 |
| .names [113] [1275] [1277] |
| 1- 1 |
| -1 1 |
| .names [1276] [60] [1278] |
| 1- 1 |
| -1 1 |
| .end |
