.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 [1211] [1212] [1215] planet_out_12_
1-- 1
-1- 1
--1 1
.names [1221] [1222] [1226] planet_out_11_
1-- 1
-1- 1
--1 1
.names [1231] [1232] [1233] planet_out_14_
1-- 1
-1- 1
--1 1
.names [217] [1235] [1236] planet_out_13_
1-- 1
-1- 1
--1 1
.names [205] [206] [1243] planet_out_16_
1-- 1
-1- 1
--1 1
.names [199] [1246] [1247] planet_out_15_
1-- 1
-1- 1
--1 1
.names [1251] [1252] planet_out_18_
1- 1
-1 1
.names [1254] [1255] [1256] planet_out_17_
1-- 1
-1- 1
--1 1
.names [172] [174] [175] planet_out_5_
1-- 1
-1- 1
--1 1
.names [67] [163] [162] planet_out_6_
1-- 1
-11 1
.names n_n335 [118] [169] planet_out_3_
--1 1
01- 1
.names [47] [161] [1261] planet_out_4_
111 1
.names [69] [99] [166] planet_out_1_
1-- 1
-1- 1
--1 1
.names n_n336 [104] [98] planet_out_2_
--1 1
11- 1
.names [84] [1271] planet_out_0_
1- 1
-1 1
.names [50] [79] [1272] planet_out_9_
1-1 1
-11 1
.names planet_in_4_ [67] [132] planet_out_7_
-1- 1
1-1 1
.names [174] [175] planet_out_8_
1- 1
-1 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 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_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 planet_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 planet_in_3_ planet_in_0_ [39]
0- 1
-0 1
.names n_n331 n_n332 n_n335 [112]
010 1
.names planet_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 planet_in_4_ n_n331 [105]
00 1
.names n_n333 n_n335 [111]
11 1
.names [102] [1260] [67]
11 1
.names [113] [1275] [1278] [132]
1-- 1
-1- 1
--1 1
.names planet_in_4_ n_n331 [45] [61]
101 1
.names n_n333 n_n334 n_n336 [106]
001 1
.names n_n333 [44] [108] [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 planet_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] [109]
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 planet_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 planet_in_3_ planet_in_0_ [1130] [51]
0-- 1
-0- 1
--1 1
.names n_n332 n_n333 [63]
01 1
.names planet_in_4_ n_n331 n_n332 [108]
000 1
.names n_n334 [108] [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 [213] [214] [1239] [160]
1-- 1
-1- 1
--1 1
.names [47] [55] [210] [159]
1-- 1
-1- 1
--1 1
.names n_n333 n_n335 n_n336 [158]
1-- 1
-01 1
.names planet_in_5_ planet_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 planet_in_2_ planet_in_1_ [162]
1- 1
-1 1
.names n_n331 n_n332 [36] [96]
111 1
.names planet_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 planet_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 n_n331 n_n332 [1273] [54]
001 1
.names n_n333 n_n335 [133] [60]
011 1
.names n_n335 [104] [68]
01 1
.names planet_in_6_ [102] [79]
01 1
.names [37] [93] [1267] [82]
1-1 1
-11 1
.names planet_in_1_ [48] [50] [84]
01- 1
0-1 1
.names planet_in_4_ [74] [91] [85]
01- 1
0-1 1
.names [41] [43] [100] [86]
111 1
.names planet_in_6_ n_n331 [103] [91]
011 1
.names planet_in_3_ planet_in_0_ n_n335 [93]
110 1
.names planet_in_4_ n_n331 [46] [98]
0-1 1
-11 1
.names [44] [1263] [1264] [99]
111 1
.names n_n331 n_n332 [46] [166]
101 1
.names planet_in_4_ n_n331 [46] [169]
101 1
.names planet_in_3_ [36] [1175] [172]
111 1
.names [39] [112] [1258] [174]
011 1
.names planet_in_4_ [41] [36] [175]
111 1
.names [103] [42] [106] [177]
11- 1
-11 1
.names n_n332 n_n336 [101] [178]
011 1
.names n_n335 [63] [193] [186]
11- 1
1-1 1
.names n_n335 [195] [196] [187]
01- 1
0-1 1
.names n_n332 [106] [188]
11 1
.names n_n333 n_n334 n_n336 [189]
1-0 1
-10 1
.names n_n331 n_n333 n_n334 [193]
01- 1
0-1 1
.names n_n331 n_n332 n_n336 [195]
010 1
100 1
.names n_n331 n_n333 n_n334 [196]
11- 1
1-1 1
.names n_n336 [101] [164] [198]
111 1
.names [43] [57] [202] [199]
11- 1
1-1 1
.names n_n336 [41] [37] [200]
110 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_n331 n_n334 n_n335 [207]
011 1
.names planet_in_4_ n_n331 [45] [208]
0-1 1
-11 1
.names n_n332 n_n333 [210]
11 1
.names n_n331 n_n332 n_n336 [213]
000 1
.names n_n332 n_n333 n_n334 [214]
100 1
.names n_n332 n_n333 [217]
10 1
.names n_n333 n_n335 [1227] [222]
011 1
.names planet_in_4_ [41] [43] [223]
111 1
.names n_n332 n_n333 n_n334 [226]
000 1
.names [101] [1216] [231]
11 1
.names n_n331 n_n332 [1217] [232]
111 1
001 1
.names n_n335 [57] [241] [234]
01- 1
0-1 1
.names planet_in_5_ [37] [1116] [235]
001 1
.names n_n333 n_n334 [42] [241]
001 1
.names n_n331 n_n332 [36] [243]
111 1
001 1
.names n_n335 [251] [1209] [244]
01- 1
0-1 1
.names [34] [35] [1134] [246]
111 1
.names n_n332 [37] [1116] [247]
001 1
.names planet_in_6_ [37] [1116] [251]
101 1
.names planet_in_6_ n_n331 n_n332 [254]
111 1
.names planet_in_2_ planet_in_1_ [257]
00 1
.names planet_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 planet_in_4_ n_n331 [35] [267]
101 1
.names planet_in_3_ n_n333 [270]
11 1
.names [39] [1179] [1194] [272]
1-1 1
-11 1
.names planet_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 planet_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 [108] [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 planet_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 planet_in_6_ planet_in_5_ planet_in_0_ [303]
101 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 planet_in_2_ planet_in_1_ [116] [315]
111 1
.names n_n333 n_n334 [108] [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 planet_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 [108] [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 planet_in_3_ [41] [46] [348]
011 1
.names n_n335 [38] [48] [349]
001 1
.names n_n331 [36] [1118] [350]
111 1
.names planet_in_4_ [41] [36] [352]
011 1
.names n_n331 n_n332 n_n334 [354]
100 1
.names planet_in_4_ n_n335 n_n336 [360]
101 1
.names n_n333 n_n334 n_n335 [361]
1-0 1
-10 1
.names planet_in_0_ n_n332 [1112] [362]
111 1
.names planet_in_4_ planet_in_5_ n_n332 [1104]
000 1
.names planet_in_3_ planet_in_6_ n_n333 [1105]
0-0 1
-10 1
.names n_n331 n_n332 n_n335 [1106]
111 1
.names planet_in_0_ planet_in_3_ [1107]
01 1
.names [100] [360] [1107] [1108]
-1- 1
1-1 1
.names planet_in_4_ [101] [361] [1109]
--1 1
01- 1
.names planet_in_4_ planet_in_5_ n_n333 [1112]
011 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 planet_in_6_ [1117]
10 1
.names planet_in_5_ planet_in_4_ [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 planet_in_3_ n_n331 n_n332 [1129]
010 1
.names planet_in_5_ planet_in_6_ [1130]
1- 1
-1 1
.names planet_in_3_ planet_in_0_ 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 planet_in_4_ [1134]
01 1
.names n_n331 [103] [66] [1137]
--1 1
11- 1
.names planet_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 planet_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 planet_in_4_ n_n331 n_n332 [1165]
100 1
.names planet_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 planet_in_0_ n_n331 n_n332 [1175]
001 1
.names n_n332 planet_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 planet_in_5_ planet_in_4_ [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 [109] [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 planet_in_2_ planet_in_1_ n_n336 [1203]
--1 1
11- 1
.names n_n331 n_n335 [1205]
11 1
00 1
.names [37] [65] [1203] [1207]
1-- 1
-0- 1
--1 1
.names [254] [257] [1205] [1208]
1-- 1
-1- 1
--1 1
.names [41] [37] [104] [1209]
--1 1
10- 1
.names n_n336 [47] [243] [1211]
--1 1
01- 1
.names n_n331 [117] [246] [1212]
--1 1
01- 1
.names [58] [61] [247] [1213]
1-- 1
-1- 1
--1 1
.names [1213] [244] [1215]
1- 1
-1 1
.names planet_in_4_ planet_in_5_ n_n332 [1216]
1-1 1
-01 1
.names planet_in_5_ n_n334 n_n335 [1217]
101 1
.names n_n333 n_n335 n_n336 [1218]
001 1
.names [41] [36] [116] [1219]
--1 1
11- 1
.names n_n336 [47] [231] [1221]
--1 1
01- 1
.names [114] [232] [1218] [1222]
-1- 1
1-1 1
.names [77] [48] [1219] [1224]
1-- 1
-1- 1
--1 1
.names [234] [235] [1224] [1226]
1-- 1
-1- 1
--1 1
.names planet_in_4_ n_n331 n_n334 [1227]
100 1
.names [41] [110] [116] [1228]
--1 1
11- 1
.names [44] [119] [226] [1229]
--1 1
11- 1
.names [43] [47] [223] [1231]
--1 1
11- 1
.names [96] [308] [1228] [1232]
1-- 1
-1- 1
--1 1
.names [102] [222] [1229] [1233]
1-- 1
-1- 1
--1 1
.names n_n334 n_n331 [1235]
1- 1
-1 1
.names n_n333 n_n335 n_n336 [1236]
--0 1
11- 1
.names n_n331 n_n332 n_n333 [1239]
11- 1
-01 1
.names [207] [115] [1241]
1- 1
-1 1
.names [204] [208] [1241] [1243]
1-- 1
-1- 1
--1 1
.names n_n332 planet_in_6_ [1245]
11 1
.names [44] [36] [200] [1246]
--1 1
11- 1
.names [102] [198] [1245] [1247]
-1- 1
1-1 1
.names [65] [45] [189] [1249]
--1 1
01- 1
.names [186] [188] [1249] [1251]
1-- 1
-1- 1
--1 1
.names n_n334 [135] [187] [1252]
--1 1
11- 1
.names [44] [105] [45] [1253]
1-1 1
-11 1
.names n_n331 [48] [76] [1254]
-1- 1
0-1 1
.names [43] [139] [1253] [1255]
--1 1
11- 1
.names [178] [177] [1256]
1- 1
-1 1
.names n_n333 n_n334 n_n336 [1258]
000 1
.names planet_in_2_ planet_in_1_ n_n332 [1260]
110 1
.names planet_in_3_ n_n333 n_n335 [1261]
101 1
.names n_n333 planet_in_6_ [1263]
01 1
.names n_n336 n_n335 [1264]
00 1
.names n_n331 n_n332 n_n336 [1267]
010 1
.names [44] [45] [86] [1268]
--1 1
11- 1
.names [42] [119] [82] [1269]
--1 1
11- 1
.names [85] [1268] [1269] [1271]
1-- 1
-1- 1
--1 1
.names planet_in_1_ planet_in_2_ [1272]
01 1
.names n_n336 n_n334 [1273]
10 1
.names [43] [114] [54] [1275]
--1 1
11- 1
.names [96] [60] [68] [1278]
1-- 1
-1- 1
--1 1
.end