.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