| .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 [1204] [1205] planet1_out_13_ |
| 1- 1 |
| -1 1 |
| .names [1212] [1213] planet1_out_14_ |
| 1- 1 |
| -1 1 |
| .names [1216] [1217] planet1_out_15_ |
| 1- 1 |
| -1 1 |
| .names [1223] [1224] planet1_out_16_ |
| 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 [1245] [1246] planet1_out_11_ |
| 1- 1 |
| -1 1 |
| .names [193] [1250] planet1_out_1_ |
| 1- 1 |
| -1 1 |
| .names [1256] [1257] planet1_out_12_ |
| 1- 1 |
| -1 1 |
| .names [180] [181] planet1_out_2_ |
| 1- 1 |
| -1 1 |
| .names [178] [179] planet1_out_3_ |
| 1- 1 |
| -1 1 |
| .names [1258] [1259] planet1_out_4_ |
| 11 1 |
| .names planet1_out_8_ [174] planet1_out_5_ |
| 1- 1 |
| -1 1 |
| .names [67] [172] planet1_out_6_ |
| 1- 1 |
| -1 1 |
| .names [1266] [1267] planet1_out_17_ |
| 1- 1 |
| -1 1 |
| .names [67] [84] planet1_out_7_ |
| 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 [134] [1278] planet1_out_9_ |
| 11 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 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_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 planet1_in_6_ planet1_in_3_ [125] |
| 1- 1 |
| -0 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 planet1_in_0_ planet1_in_3_ [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 [109] [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 planet1_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] [1262] [67] |
| 11 1 |
| .names [1272] [1273] [132] |
| 1- 1 |
| -1 1 |
| .names [50] [49] [134] |
| 1- 1 |
| -1 1 |
| .names [65] [45] [61] |
| 01 1 |
| .names n_n336 [37] [106] |
| 10 1 |
| .names [81] [82] [137] |
| 1- 1 |
| -1 1 |
| .names [63] [78] [136] |
| 1- 1 |
| -1 1 |
| .names [44] [72] [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] [170] [139] |
| 1- 1 |
| -1 1 |
| .names planet1_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] [218] [146] |
| 1- 1 |
| -1 1 |
| .names [48] [50] [145] |
| 1- 1 |
| -1 1 |
| .names [74] [214] [144] |
| 1- 1 |
| -1 1 |
| .names [36] [1175] [108] |
| 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 [190] [1251] [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 planet1_in_5_ planet1_in_4_ [152] |
| 0- 1 |
| -1 1 |
| .names [57] [206] [151] |
| 1- 1 |
| -1 1 |
| .names [39] [1130] [51] |
| 1- 1 |
| -1 1 |
| .names n_n332 n_n333 [63] |
| 01 1 |
| .names planet1_in_4_ [41] [109] |
| 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 [1219] [1220] [160] |
| 1- 1 |
| -1 1 |
| .names [55] [1218] [159] |
| 1- 1 |
| -1 1 |
| .names n_n333 [43] [158] |
| 1- 1 |
| -1 1 |
| .names planet1_in_5_ planet1_in_0_ [161] |
| 1- 1 |
| -0 1 |
| .names n_n335 [33] [102] |
| 01 1 |
| .names [113] [40] [163] |
| 1- 1 |
| -1 1 |
| .names planet1_in_1_ planet1_in_2_ [162] |
| 1- 1 |
| -1 1 |
| .names [44] [36] [96] |
| 11 1 |
| .names [57] [246] [165] |
| 1- 1 |
| -1 1 |
| .names n_n332 [105] [164] |
| 0- 1 |
| -1 1 |
| .names n_n333 [42] [118] |
| 01 1 |
| .names [40] [216] [50] |
| 1- 1 |
| -1 1 |
| .names [39] [1179] [52] |
| 1- 1 |
| -1 1 |
| .names n_n334 [65] [55] |
| 10 1 |
| .names [93] [1269] [133] |
| 1- 1 |
| -1 1 |
| .names n_n331 n_n332 [138] |
| 01 1 |
| 10 1 |
| .names planet1_in_6_ [102] [49] |
| 01 1 |
| .names n_n334 [135] [54] |
| 11 1 |
| .names n_n335 [136] [60] |
| 11 1 |
| .names n_n335 [137] [62] |
| 01 1 |
| .names n_n332 [106] [68] |
| 11 1 |
| .names n_n336 [37] [70] |
| 01 1 |
| .names n_n333 [109] [72] |
| 01 1 |
| .names n_n331 [37] [78] |
| 01 1 |
| .names n_n336 [138] [81] |
| 01 1 |
| .names n_n331 [37] [82] |
| 11 1 |
| .names planet1_in_4_ [132] [84] |
| 11 1 |
| .names [41] [1268] [86] |
| 11 1 |
| .names [35] [133] [87] |
| 11 1 |
| .names [43] [114] [88] |
| 11 1 |
| .names n_n335 [104] [89] |
| 01 1 |
| .names n_n331 n_n334 [92] |
| 00 1 |
| .names n_n331 n_n334 [93] |
| 11 1 |
| .names [43] [139] [97] |
| 11 1 |
| .names [42] [140] [98] |
| 11 1 |
| .names n_n332 [120] [99] |
| 01 1 |
| .names n_n331 [76] [166] |
| 01 1 |
| .names [34] [37] [170] |
| 11 1 |
| .names [163] [162] [172] |
| 11 1 |
| .names planet1_in_3_ [108] [174] |
| 11 1 |
| .names [1260] [1261] [176] |
| 11 1 |
| .names planet1_in_4_ [74] [177] |
| 11 1 |
| .names n_n335 [118] [178] |
| 01 1 |
| .names [65] [46] [179] |
| 01 1 |
| .names n_n336 [104] [180] |
| 11 1 |
| .names [65] [46] [181] |
| 11 1 |
| .names [36] [149] [182] |
| 11 1 |
| .names n_n335 [150] [183] |
| 01 1 |
| .names n_n331 [117] [184] |
| 01 1 |
| .names [75] [35] [185] |
| 11 1 |
| .names n_n332 [33] [186] |
| 01 1 |
| .names planet1_in_6_ [33] [190] |
| 11 1 |
| .names [1248] [1249] [193] |
| 11 1 |
| .names [42] [46] [194] |
| 11 1 |
| .names [101] [1236] [196] |
| 11 1 |
| .names [153] [1237] [197] |
| 11 1 |
| .names [114] [1238] [198] |
| 11 1 |
| .names n_n335 [151] [199] |
| 01 1 |
| .names planet1_in_5_ [33] [200] |
| 01 1 |
| .names [37] [42] [206] |
| 01 1 |
| .names [146] [1231] [208] |
| 11 1 |
| .names planet1_in_4_ [144] [209] |
| 01 1 |
| .names planet1_in_1_ [145] [210] |
| 01 1 |
| .names [121] [100] [211] |
| 11 1 |
| .names [42] [119] [212] |
| 11 1 |
| .names planet1_in_6_ [77] [214] |
| 01 1 |
| .names n_n332 [102] [216] |
| 01 1 |
| .names n_n335 [39] [218] |
| 00 1 |
| .names planet1_in_6_ [44] [220] |
| 11 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_n335 [114] [231] |
| 11 1 |
| .names [65] [45] [232] |
| 11 1 |
| .names n_n332 n_n333 [234] |
| 11 1 |
| .names n_n336 [41] [237] |
| 01 1 |
| .names n_n332 [37] [238] |
| 10 1 |
| .names [102] [1214] [241] |
| 11 1 |
| .names [120] [164] [242] |
| 11 1 |
| .names [43] [165] [243] |
| 11 1 |
| .names n_n336 [95] [244] |
| 11 1 |
| .names n_n333 [109] [246] |
| 01 1 |
| .names [35] [1206] [248] |
| 11 1 |
| .names planet1_in_4_ [121] [249] |
| 11 1 |
| .names [41] [110] [250] |
| 11 1 |
| .names [43] [47] [251] |
| 11 1 |
| .names n_n332 [37] [252] |
| 00 1 |
| .names n_n332 n_n333 [257] |
| 10 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 planet1_in_3_ n_n333 [270] |
| 11 1 |
| .names [52] [1194] [272] |
| 11 1 |
| .names [38] [35] [275] |
| 11 1 |
| .names planet1_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 planet1_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 planet1_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] [109] [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 planet1_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 planet1_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 planet1_in_4_ [74] [352] |
| 01 1 |
| .names n_n334 [42] [354] |
| 01 1 |
| .names planet1_in_4_ n_n333 [356] |
| 11 1 |
| .names [100] [1107] [358] |
| 11 1 |
| .names planet1_in_4_ [101] [359] |
| 01 1 |
| .names planet1_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 planet1_in_4_ planet1_in_5_ [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 planet1_in_3_ planet1_in_0_ [1107] |
| 10 1 |
| .names [360] [358] [1108] |
| 1- 1 |
| -1 1 |
| .names [359] [361] [1109] |
| 1- 1 |
| -1 1 |
| .names planet1_in_0_ planet1_in_5_ [1110] |
| 11 1 |
| .names n_n332 planet1_in_4_ [1111] |
| 10 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 planet1_in_6_ [1117] |
| 10 1 |
| .names planet1_in_4_ planet1_in_5_ [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] planet1_in_3_ [1129] |
| 10 1 |
| .names planet1_in_6_ planet1_in_5_ [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 planet1_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] planet1_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 planet1_in_0_ [1161] |
| 11 1 |
| .names n_n336 n_n332 [1162] |
| 10 1 |
| .names n_n335 planet1_in_3_ [1163] |
| 11 1 |
| .names n_n336 n_n333 [1164] |
| 01 1 |
| .names [41] planet1_in_4_ [1165] |
| 11 1 |
| .names planet1_in_6_ planet1_in_5_ [1166] |
| 10 1 |
| .names [35] planet1_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] planet1_in_0_ [1175] |
| 10 1 |
| .names n_n332 planet1_in_4_ [1176] |
| 11 1 |
| .names [42] n_n336 [1177] |
| 11 1 |
| .names [43] n_n331 [1178] |
| 11 1 |
| .names planet1_in_4_ planet1_in_5_ [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] [108] [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 n_n334 n_n331 [1203] |
| 1- 1 |
| -1 1 |
| .names [111] n_n336 [1204] |
| 1- 1 |
| -0 1 |
| .names [1203] [257] [1205] |
| 1- 1 |
| -1 1 |
| .names [65] n_n334 [1206] |
| 00 1 |
| .names [250] [116] [1207] |
| 1- 1 |
| -1 1 |
| .names [58] [252] [1208] |
| 1- 1 |
| -1 1 |
| .names [248] [102] [1209] |
| 1- 1 |
| -1 1 |
| .names [251] [249] [1210] |
| 1- 1 |
| -1 1 |
| .names [59] [1207] [1211] |
| 1- 1 |
| -1 1 |
| .names [1209] [1208] [1212] |
| 1- 1 |
| -1 1 |
| .names [1211] [1210] [1213] |
| 1- 1 |
| -1 1 |
| .names n_n332 planet1_in_6_ [1214] |
| 11 1 |
| .names [244] [96] [1215] |
| 1- 1 |
| -1 1 |
| .names [242] [241] [1216] |
| 1- 1 |
| -1 1 |
| .names [243] [1215] [1217] |
| 1- 1 |
| -1 1 |
| .names [47] [234] [1218] |
| 1- 1 |
| -1 1 |
| .names [63] [44] [1219] |
| 1- 1 |
| -1 1 |
| .names [238] [237] [1220] |
| 1- 1 |
| -1 1 |
| .names [231] [115] [1221] |
| 1- 1 |
| -1 1 |
| .names [228] [232] [1222] |
| 1- 1 |
| -1 1 |
| .names [1222] [1221] [1223] |
| 1- 1 |
| -1 1 |
| .names [230] [229] [1224] |
| 1- 1 |
| -1 1 |
| .names [38] n_n336 [1225] |
| 0- 1 |
| -1 1 |
| .names [65] [37] [1226] |
| 0- 1 |
| -1 1 |
| .names n_n331 n_n335 [1227] |
| 11 1 |
| 00 1 |
| .names [220] [223] [1228] |
| 1- 1 |
| -1 1 |
| .names [1226] [1225] [1229] |
| 1- 1 |
| -1 1 |
| .names [1228] [1227] [1230] |
| 1- 1 |
| -1 1 |
| .names [34] n_n336 [1231] |
| 10 1 |
| .names [211] [80] [1232] |
| 1- 1 |
| -1 1 |
| .names [208] [212] [1233] |
| 1- 1 |
| -1 1 |
| .names [1233] [1232] [1234] |
| 1- 1 |
| -1 1 |
| .names [1234] [209] [1235] |
| 1- 1 |
| -1 1 |
| .names [152] n_n332 [1236] |
| 11 1 |
| .names [110] planet1_in_5_ [1237] |
| 11 1 |
| .names [43] n_n333 [1238] |
| 10 1 |
| .names [74] [116] [1239] |
| 1- 1 |
| -1 1 |
| .names [48] [77] [1240] |
| 1- 1 |
| -1 1 |
| .names [196] [83] [1241] |
| 1- 1 |
| -1 1 |
| .names [198] [197] [1242] |
| 1- 1 |
| -1 1 |
| .names [199] [200] [1243] |
| 1- 1 |
| -1 1 |
| .names [1240] [1239] [1244] |
| 1- 1 |
| -1 1 |
| .names [1242] [1241] [1245] |
| 1- 1 |
| -1 1 |
| .names [1244] [1243] [1246] |
| 1- 1 |
| -1 1 |
| .names n_n333 planet1_in_6_ [1247] |
| 01 1 |
| .names n_n336 n_n335 [1248] |
| 00 1 |
| .names [1247] [44] [1249] |
| 11 1 |
| .names [69] [194] [1250] |
| 1- 1 |
| -1 1 |
| .names [104] [95] [1251] |
| 1- 1 |
| -1 1 |
| .names [58] [61] [1252] |
| 1- 1 |
| -1 1 |
| .names [182] [83] [1253] |
| 1- 1 |
| -1 1 |
| .names [185] [184] [1254] |
| 1- 1 |
| -1 1 |
| .names [1252] [186] [1255] |
| 1- 1 |
| -1 1 |
| .names [1254] [1253] [1256] |
| 1- 1 |
| -1 1 |
| .names [1255] [183] [1257] |
| 1- 1 |
| -1 1 |
| .names [35] planet1_in_3_ [1258] |
| 11 1 |
| .names [47] [161] [1259] |
| 11 1 |
| .names [37] n_n336 [1260] |
| 00 1 |
| .names [112] [39] [1261] |
| 10 1 |
| .names [38] n_n332 [1262] |
| 00 1 |
| .names [80] [40] [1263] |
| 1- 1 |
| -1 1 |
| .names [166] [48] [1264] |
| 1- 1 |
| -1 1 |
| .names [97] [1263] [1265] |
| 1- 1 |
| -1 1 |
| .names [99] [98] [1266] |
| 1- 1 |
| -1 1 |
| .names [1265] [1264] [1267] |
| 1- 1 |
| -1 1 |
| .names n_n336 n_n334 [1268] |
| 10 1 |
| .names [92] [42] [1269] |
| 1- 1 |
| -1 1 |
| .names [88] [86] [1270] |
| 1- 1 |
| -1 1 |
| .names [89] [96] [1271] |
| 1- 1 |
| -1 1 |
| .names [113] [1270] [1272] |
| 1- 1 |
| -1 1 |
| .names [1271] [87] [1273] |
| 1- 1 |
| -1 1 |
| .names [70] [61] [1274] |
| 1- 1 |
| -1 1 |
| .names [1274] [68] [1275] |
| 1- 1 |
| -1 1 |
| .names [1275] [60] [1276] |
| 1- 1 |
| -1 1 |
| .names [62] [54] [1277] |
| 1- 1 |
| -1 1 |
| .names planet1_in_2_ planet1_in_1_ [1278] |
| 10 1 |
| .end |
