.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