| .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 [1208] [1209] [1213] planet1_out_14_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [241] [242] [243] [1215] planet1_out_15_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [229] [230] [1223] planet1_out_16_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [1225] [1226] [1230] planet1_out_10_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names planet1_in_4_ [144] [210] [1234] planet1_out_0_ |
| --1- 1 |
| ---1 1 |
| 01-- 1 |
| .names [1241] [1242] [1246] planet1_out_11_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n335 n_n336 [1249] [1250] planet1_out_1_ |
| ---1 1 |
| 001- 1 |
| .names [1253] [1254] [1257] planet1_out_12_ |
| 1-- 1 |
| -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 planet1_in_5_ planet1_in_0_ [47] [1258] planet1_out_4_ |
| 1-11 1 |
| -011 1 |
| .names [174] [176] [177] planet1_out_5_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names planet1_in_1_ planet1_in_2_ [67] [163] planet1_out_6_ |
| --1- 1 |
| 1--1 1 |
| -1-1 1 |
| .names [97] [1263] [1264] [1266] planet1_out_17_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names planet1_in_4_ [67] [132] planet1_out_7_ |
| -1- 1 |
| 1-1 1 |
| .names [54] [60] [62] [1275] planet1_out_18_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names planet1_in_4_ [41] [36] [176] planet1_out_8_ |
| ---1 1 |
| 111- 1 |
| .names planet1_in_1_ planet1_in_2_ [50] [49] planet1_out_9_ |
| 011- 1 |
| 01-1 1 |
| .names [347] [1124] [1125] [1126] n_n83 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [324] [1142] [1143] [1144] n_n84 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [1159] [1160] n_n85 |
| 1- 1 |
| -1 1 |
| .names [1169] [1170] [1174] n_n86 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [1191] [1192] n_n87 |
| 1- 1 |
| -1 1 |
| .names [264] [265] [1199] [1200] n_n88 |
| 1--- 1 |
| -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 n_n333 n_n334 n_n335 [103] |
| 011 1 |
| .names planet1_in_6_ n_n332 n_n335 [33] [113] |
| 0101 1 |
| .names n_n331 n_n332 n_n333 n_n334 [122] |
| 0011 1 |
| .names planet1_in_4_ n_n333 n_n334 [126] |
| 11- 1 |
| -11 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 planet1_in_4_ n_n331 n_n332 n_n334 [56] |
| 0001 1 |
| .names n_n331 n_n332 n_n333 n_n334 [57] |
| 0110 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_n331 n_n332 n_n333 [104] |
| 011 1 |
| .names n_n333 n_n334 n_n335 n_n336 [129] |
| --10 1 |
| 101- 1 |
| .names n_n335 [33] [1262] [67] |
| 011 1 |
| .names [113] [87] [1270] [1271] [132] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 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 [136] |
| 0-1- 1 |
| -01- 1 |
| 0--1 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n333 [135] |
| -11- 1 |
| 0000 1 |
| .names n_n333 n_n334 n_n335 [76] |
| 110 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 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 n_n333 n_n334 [100] |
| 10 1 |
| .names n_n333 n_n335 n_n336 [119] |
| 011 1 |
| .names planet1_in_6_ [41] [77] [36] [144] |
| 0-1- 1 |
| -1-1 1 |
| .names n_n334 n_n335 [110] |
| 01 1 |
| .names [52] [292] [1180] [1181] [148] |
| -1-- 1 |
| ---1 1 |
| 0-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 n_n333 n_n335 n_n336 [117] |
| 101 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 n_n331 n_n332 [153] |
| 11 1 |
| 00 1 |
| .names n_n331 n_n332 n_n333 n_n334 [151] |
| 0110 1 |
| 1000 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_n332 n_n333 [63] |
| 01 1 |
| .names planet1_in_4_ n_n331 n_n332 [109] |
| 000 1 |
| .names n_n331 n_n332 [36] [308] [59] |
| ---1 1 |
| 111- 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 [40] [33] [1117] [163] |
| -1-- 1 |
| 0-11 1 |
| .names n_n331 n_n332 n_n333 [118] |
| 100 1 |
| .names n_n332 n_n335 [40] [33] [50] |
| --1- 1 |
| 00-1 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_n334 [55] |
| 101 1 |
| .names n_n331 n_n332 n_n334 [133] |
| 10- 1 |
| 1-1 1 |
| 0-0 1 |
| .names planet1_in_6_ n_n335 [33] [49] |
| 001 1 |
| .names n_n334 [135] [54] |
| 11 1 |
| .names n_n335 [136] [60] |
| 11 1 |
| .names n_n335 [81] [82] [62] |
| 01- 1 |
| 0-1 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_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 n_n334 n_n336 [86] |
| 0001 1 |
| .names n_n333 n_n335 [133] [87] |
| 011 1 |
| .names n_n331 n_n334 n_n335 n_n336 [88] |
| 0101 1 |
| .names n_n331 n_n332 n_n333 n_n335 [89] |
| 0110 1 |
| .names n_n335 n_n336 [55] [170] [97] |
| 011- 1 |
| 01-1 1 |
| .names n_n331 n_n333 n_n334 n_n335 [166] |
| 0110 1 |
| .names n_n331 n_n332 n_n333 n_n334 [170] |
| 011- 1 |
| 01-1 1 |
| .names planet1_in_3_ [36] [1175] [174] |
| 111 1 |
| .names planet1_in_0_ planet1_in_3_ [112] [1260] [176] |
| 1111 1 |
| .names planet1_in_4_ n_n331 n_n332 [36] [177] |
| 1001 1 |
| .names n_n331 n_n332 n_n333 n_n335 [178] |
| 1000 1 |
| .names planet1_in_4_ n_n331 n_n333 n_n334 [179] |
| 1011 1 |
| .names n_n331 n_n332 n_n333 n_n336 [180] |
| 0111 1 |
| .names planet1_in_4_ n_n331 n_n333 n_n334 [181] |
| 0-11 1 |
| -111 1 |
| .names planet1_in_6_ n_n335 [33] [1251] [183] |
| -0-1 1 |
| 101- 1 |
| .names n_n331 n_n333 n_n335 n_n336 [184] |
| 0101 1 |
| .names n_n331 n_n332 n_n333 n_n334 [194] |
| 1011 1 |
| .names n_n333 n_n334 [218] [1231] [208] |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names planet1_in_1_ [33] [50] [1117] [210] |
| 0-1- 1 |
| 01-1 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 n_n331 n_n333 n_n335 n_n336 [228] |
| 11-- 1 |
| 1-01 1 |
| .names n_n336 [55] [1218] [229] |
| 11- 1 |
| 1-1 1 |
| .names n_n335 [237] [238] [1219] [230] |
| 01-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names planet1_in_4_ n_n331 n_n335 n_n336 [232] |
| 0-10 1 |
| -110 1 |
| .names n_n331 n_n332 n_n336 [237] |
| 000 1 |
| .names n_n332 n_n333 n_n334 [238] |
| 100 1 |
| .names planet1_in_6_ n_n332 n_n335 [33] [241] |
| 1101 1 |
| .names planet1_in_4_ n_n331 n_n332 [120] [242] |
| --01 1 |
| 00-1 1 |
| .names n_n335 n_n336 [57] [246] [243] |
| 011- 1 |
| 01-1 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n333 [246] |
| 0000 1 |
| .names n_n331 n_n332 n_n334 n_n335 [250] |
| 0001 1 |
| .names n_n332 n_n333 n_n334 [252] |
| 000 1 |
| .names planet1_in_4_ n_n331 n_n333 n_n336 [262] |
| 0001 1 |
| .names n_n331 [52] [1194] [1195] [264] |
| 1--1 1 |
| 111- 1 |
| .names n_n332 [275] [276] [277] [265] |
| 01-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names planet1_in_4_ n_n331 n_n333 n_n335 [267] |
| 1001 1 |
| .names planet1_in_1_ planet1_in_2_ n_n333 n_n335 [275] |
| 0-01 1 |
| -001 1 |
| .names planet1_in_4_ n_n333 n_n334 n_n335 [276] |
| 0101 1 |
| .names n_n333 n_n334 [277] |
| 01 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_n333 [56] [286] |
| 01 1 |
| .names n_n334 n_n336 [287] |
| 10 1 |
| .names n_n333 n_n335 n_n336 [292] |
| 001 1 |
| .names n_n331 n_n332 n_n333 n_n336 [296] |
| 1010 1 |
| .names [47] [303] [1167] [298] |
| 11- 1 |
| 1-1 1 |
| .names planet1_in_5_ planet1_in_6_ planet1_in_0_ [303] |
| 011 1 |
| .names n_n331 n_n333 n_n334 n_n335 [308] |
| 0110 1 |
| .names n_n333 n_n335 [47] [51] [311] |
| 0110 1 |
| .names n_n335 n_n336 [56] [118] [313] |
| 011- 1 |
| 01-1 1 |
| .names n_n332 [120] [33] [117] [314] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names n_n331 n_n332 [36] [1118] [317] |
| 1011 1 |
| .names n_n332 n_n333 n_n336 [318] |
| 010 1 |
| .names n_n332 [103] [76] [51] [323] |
| 1-1- 1 |
| 11-1 1 |
| .names n_n336 [63] [339] [1133] [324] |
| 01-- 1 |
| 0-1- 1 |
| 0--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_1_ planet1_in_2_ n_n331 n_n332 [339] |
| 1110 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 [34] [358] [360] [1109] [346] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names n_n336 [1114] [1115] [347] |
| 01- 1 |
| 0-1 1 |
| .names n_n335 [38] [33] [1117] [349] |
| 0011 1 |
| .names planet1_in_4_ n_n331 n_n332 [36] [352] |
| 0001 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_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_n332 planet1_in_4_ [1111] |
| 10 1 |
| .names planet1_in_5_ planet1_in_0_ n_n333 [1112] |
| 111 1 |
| .names n_n331 n_n332 n_n333 n_n334 [1113] |
| 10-1 1 |
| 0000 1 |
| .names [38] [118] [1111] [1112] [1114] |
| 11-- 1 |
| --11 1 |
| .names planet1_in_0_ planet1_in_3_ [112] [1113] [1115] |
| ---1 1 |
| 0-1- 1 |
| -01- 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_3_ [122] [126] [1106] [1120] |
| 01-- 1 |
| --11 1 |
| .names [41] [43] [103] [123] [1121] |
| 1-1- 1 |
| -1-1 1 |
| .names n_n331 [36] [345] [1118] [1122] |
| --1- 1 |
| 11-1 1 |
| .names [349] [1120] [1124] |
| 1- 1 |
| -1 1 |
| .names [1122] [1121] [1125] |
| 1- 1 |
| -1 1 |
| .names [346] [352] [1119] [1126] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names planet1_in_3_ n_n331 n_n332 [1129] |
| 010 1 |
| .names planet1_in_0_ planet1_in_3_ n_n334 [1131] |
| 0-0 1 |
| -00 1 |
| .names [112] [340] [1131] [1133] |
| -1- 1 |
| 1-1 1 |
| .names n_n331 n_n332 n_n333 n_n334 [1135] |
| 0011 1 |
| 0110 1 |
| .names n_n331 n_n332 [119] [325] [1136] |
| ---1 1 |
| 111- 1 |
| .names n_n333 n_n335 [77] [1129] [1137] |
| --1- 1 |
| 11-1 1 |
| .names n_n335 [38] [40] [75] [1139] |
| -11- 1 |
| 1--1 1 |
| .names n_n331 n_n332 [129] [1135] [1140] |
| ---1 1 |
| 101- 1 |
| .names [43] [95] [326] [1137] [1142] |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names [323] [1139] [1143] |
| 1- 1 |
| -1 1 |
| .names n_n335 [56] [1136] [1140] [1144] |
| --1- 1 |
| ---1 1 |
| 01-- 1 |
| .names planet1_in_4_ n_n331 n_n332 [1147] |
| 001 1 |
| .names n_n331 n_n333 n_n335 [61] [1151] |
| ---1 1 |
| 010- 1 |
| .names [36] [318] [1104] [1152] |
| -1- 1 |
| 1-1 1 |
| .names [106] [83] [1147] [1153] |
| -1- 1 |
| 1-1 1 |
| .names [38] [100] [116] [109] [1154] |
| 0-1- 1 |
| -1-1 1 |
| .names [311] [317] [1151] [1152] [1159] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [313] [314] [1153] [1154] [1160] |
| 1--- 1 |
| -1-- 1 |
| --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 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 [104] [157] [1161] [1162] [1169] |
| 1-1- 1 |
| -1-1 1 |
| .names [35] [115] [1163] [1165] [1170] |
| -11- 1 |
| 1--1 1 |
| .names [38] [40] [80] [296] [1171] |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names [59] [298] [1171] [1174] |
| 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_n331 n_n332 n_n336 [1177] |
| 101 1 |
| .names n_n331 n_n335 n_n336 [1178] |
| 101 1 |
| .names n_n336 n_n333 [1180] |
| 01 1 |
| .names n_n333 n_n334 n_n335 [1181] |
| 111 1 |
| 001 1 |
| .names n_n333 n_n335 [287] [1129] [1183] |
| --1- 1 |
| 11-1 1 |
| .names [110] [36] [1175] [1177] [1184] |
| -11- 1 |
| 1--1 1 |
| .names planet1_in_3_ [122] [100] [1178] [1185] |
| 11-- 1 |
| --11 1 |
| .names [284] [283] [1186] |
| 1- 1 |
| -1 1 |
| .names [41] [76] [147] [1176] [1187] |
| 11-- 1 |
| --11 1 |
| .names [286] [1183] [1184] [1185] [1191] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [44] [148] [1186] [1187] [1192] |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names n_n335 n_n333 [1194] |
| 01 1 |
| .names n_n333 n_n335 n_n336 [1195] |
| -10 1 |
| 101 1 |
| .names n_n331 n_n332 [106] [141] [1199] |
| 111- 1 |
| 10-1 1 |
| .names [47] [121] [262] [267] [1200] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n331 n_n332 n_n333 n_n334 [1205] |
| 1--- 1 |
| ---1 1 |
| -10- 1 |
| .names planet1_in_4_ n_n331 n_n334 [1206] |
| 100 1 |
| .names n_n331 n_n332 [119] [252] [1208] |
| ---1 1 |
| 111- 1 |
| .names n_n333 n_n335 [33] [1206] [1209] |
| -01- 1 |
| 01-1 1 |
| .names planet1_in_4_ [41] [43] [47] [1210] |
| --11 1 |
| 111- 1 |
| .names [116] [59] [250] [1210] [1213] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n336 [44] [95] [36] [1215] |
| 1-1- 1 |
| -1-1 1 |
| .names n_n331 n_n332 n_n333 n_n334 [1218] |
| -11- 1 |
| 01-1 1 |
| .names n_n331 n_n332 n_n333 [1219] |
| 11- 1 |
| -01 1 |
| .names n_n331 n_n332 n_n334 n_n335 [1221] |
| 101- 1 |
| 0-11 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 planet1_in_4_ n_n331 n_n333 n_n334 [1226] |
| --1- 1 |
| ---1 1 |
| 10-- 1 |
| .names n_n331 n_n335 [1227] |
| 11 1 |
| 00 1 |
| .names planet1_in_1_ planet1_in_2_ [220] [1227] [1230] |
| --1- 1 |
| ---1 1 |
| 00-- 1 |
| .names n_n331 n_n332 n_n336 [1231] |
| 010 1 |
| .names n_n333 n_n334 [80] [121] [1232] |
| --1- 1 |
| 10-1 1 |
| .names [42] [119] [208] [1232] [1234] |
| --1- 1 |
| ---1 1 |
| 11-- 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 n_n331 n_n332 [36] [116] [1239] |
| ---1 1 |
| 001- 1 |
| .names planet1_in_6_ n_n332 [77] [33] [1240] |
| --1- 1 |
| 01-1 1 |
| .names [83] [101] [1236] [1241] |
| 1-- 1 |
| -11 1 |
| .names [114] [153] [1237] [1238] [1242] |
| -11- 1 |
| 1--1 1 |
| .names planet1_in_5_ n_n335 [33] [151] [1243] |
| 0-1- 1 |
| -0-1 1 |
| .names [1239] [1240] [1243] [1246] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names planet1_in_6_ n_n331 n_n332 n_n333 [1249] |
| 1110 1 |
| .names planet1_in_0_ n_n335 [104] [194] [1250] |
| ---1 1 |
| 111- 1 |
| .names n_n331 n_n332 n_n333 n_n334 [1251] |
| 011- 1 |
| 0000 1 |
| .names n_n331 n_n332 [61] [119] [1252] |
| --1- 1 |
| 11-1 1 |
| .names n_n331 n_n332 [36] [83] [1253] |
| ---1 1 |
| 111- 1 |
| 001- 1 |
| .names n_n333 n_n335 [75] [184] [1254] |
| ---1 1 |
| 011- 1 |
| .names n_n332 [33] [183] [1252] [1257] |
| --1- 1 |
| ---1 1 |
| 01-- 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 [80] [40] [1263] |
| 1- 1 |
| -1 1 |
| .names planet1_in_6_ n_n332 [33] [166] [1264] |
| ---1 1 |
| 011- 1 |
| .names n_n331 n_n332 [120] [140] [1266] |
| -01- 1 |
| 10-1 1 |
| .names [88] [86] [1270] |
| 1- 1 |
| -1 1 |
| .names n_n331 n_n332 [36] [89] [1271] |
| ---1 1 |
| 111- 1 |
| .names [61] [68] [70] [1275] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .end |
