.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 [58] [102] [248] [252] [1213] planet1_out_14_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [120] [102] [164] [1214] [1217] planet1_out_15_
----1 1
1-1-- 1
-1-1- 1
.names [1221] [1222] [1224] planet1_out_16_
1-- 1
-1- 1
--1 1
.names n_n331 n_n335 [1225] [1226] [1228] planet1_out_10_
--1-- 1
---1- 1
----1 1
11--- 1
00--- 1
.names planet1_in_1_ [145] [209] [1232] [1233] planet1_out_0_
--1-- 1
---1- 1
----1 1
01--- 1
.names [199] [200] [1244] [1245] planet1_out_11_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n335 n_n336 [69] [194] [1249] planet1_out_1_
--1-- 1
---1- 1
00--1 1
.names n_n335 [190] [1251] [1255] [1256] planet1_out_12_
---1- 1
----1 1
01--- 1
0-1-- 1
.names n_n331 n_n332 n_n333 n_n336 [181] planet1_out_2_
----1 1
0111- 1
.names n_n331 n_n332 n_n333 n_n335 [179] planet1_out_3_
----1 1
1000- 1
.names planet1_in_3_ n_n333 n_n335 [1259] planet1_out_4_
1011 1
.names planet1_in_3_ planet1_out_8_ [36] [1175] planet1_out_5_
-1-- 1
1-11 1
.names planet1_in_1_ planet1_in_2_ n_n332 [102] [172] planet1_out_6_
----1 1
1101- 1
.names [33] [166] [1117] [1265] [1266] planet1_out_17_
-1--- 1
---1- 1
----1 1
1-1-- 1
.names planet1_in_4_ [132] [102] [1262] planet1_out_7_
11-- 1
--11 1
.names n_n335 [137] [54] [1276] planet1_out_18_
--1- 1
---1 1
01-- 1
.names planet1_in_4_ [74] [1260] [1261] planet1_out_8_
11-- 1
--11 1
.names planet1_in_6_ n_n332 [40] [102] [1278] planet1_out_9_
--1-1 1
0--11 1
-0-11 1
.names [347] [349] [1120] [1128] n_n83
1--- 1
-1-- 1
--1- 1
---1 1
.names [324] [1142] [1146] n_n84
1-- 1
-1- 1
--1 1
.names [1155] [1156] [1157] [1158] n_n85
1--- 1
-1-- 1
--1- 1
---1 1
.names [38] [40] [1168] [1172] [1173] n_n86
--1-- 1
---1- 1
----1 1
11--- 1
.names [281] [1188] [1189] [1190] n_n87
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n332 [264] [276] [1196] [1201] n_n88
-1--- 1
----1 1
0-1-- 1
0--1- 1
.names planet1_in_1_ planet1_in_2_ [38]
0- 1
-0 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_n331 n_n332 n_n333 n_n334 n_n335 [74]
00101 1
.names planet1_in_5_ planet1_in_4_ n_n333 n_n334 n_n335 [107]
11101 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 n_n331 n_n332 n_n333 n_n335 n_n336 [58]
11011 1
.names planet1_in_3_ n_n331 n_n332 n_n333 n_n335 [66]
01011 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_n333 n_n334 n_n335 n_n336 [129]
--10 1
101- 1
.names n_n335 [33] [1117] [1270] [1273] [132]
---1- 1
----1 1
011-- 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 n_n336 [137]
1-1-- 1
1--1- 1
01--0 1
10--0 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 planet1_in_4_ n_n331 n_n332 n_n333 n_n334 [139]
-011- 1
10--1 1
-01-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 planet1_in_0_ planet1_in_3_ n_n333 n_n334 n_n335 [146]
--1-- 1
---1- 1
11--0 1
.names planet1_in_6_ n_n332 n_n335 [40] [33] [145]
---1- 1
01--1 1
-00-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 planet1_in_0_ n_n331 n_n332 n_n333 n_n335 [69]
10111 1
.names n_n333 n_n334 n_n335 [101]
001 1
.names n_n331 n_n335 n_n336 [116]
010 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_n331 n_n333 n_n334 n_n335 n_n336 [155]
-1-01 1
-0011 1
100-0 1
.names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 [154]
-100- 1
000-1 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 [59]
0-110 1
11101 1
.names n_n331 n_n332 n_n333 n_n334 n_n336 [160]
11--- 1
-01-- 1
-100- 1
00--0 1
.names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 [159]
--11- 1
10--1 1
-01-1 1
.names n_n331 n_n333 n_n334 n_n335 n_n336 [102]
10000 1
.names planet1_in_1_ planet1_in_2_ [162]
1- 1
-1 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 [96]
11101 1
.names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 [165]
0000- 1
-0110 1
.names planet1_in_4_ n_n331 n_n332 [164]
--0 1
00- 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_n332 n_n333 n_n334 [54]
-11-1 1
00001 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 [60]
0-1-1 1
-01-1 1
0--11 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_n332 n_n333 n_n334 n_n335 n_n336 [99]
00011 1
.names n_n331 n_n333 n_n334 n_n335 [166]
0110 1
.names n_n335 [40] [33] [162] [1117] [172]
-1-1- 1
0-111 1
.names planet1_in_4_ n_n331 n_n333 n_n334 [179]
1011 1
.names planet1_in_4_ n_n331 n_n333 n_n334 [181]
0-11 1
-111 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 [182]
11101 1
00101 1
.names n_n331 n_n333 n_n335 n_n336 [184]
0101 1
.names n_n331 n_n332 n_n333 n_n334 n_n336 [186]
10000 1
.names planet1_in_6_ n_n331 n_n333 n_n334 n_n336 [190]
11000 1
.names n_n331 n_n332 n_n333 n_n334 [194]
1011 1
.names planet1_in_5_ n_n331 n_n332 n_n334 n_n335 [197]
11101 1
10001 1
.names n_n331 n_n333 n_n334 n_n335 n_n336 [198]
00101 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 [199]
01100 1
10000 1
.names planet1_in_5_ n_n331 n_n333 n_n334 n_n336 [200]
01000 1
.names planet1_in_4_ [74] [214] [209]
01- 1
0-1 1
.names n_n331 n_n332 n_n333 n_n335 n_n336 [212]
10011 1
.names planet1_in_6_ n_n331 n_n333 n_n334 n_n335 [214]
01011 1
.names n_n331 n_n332 n_n333 n_n334 n_n336 [244]
00001 1
.names planet1_in_4_ n_n331 n_n333 n_n334 n_n335 [248]
10001 1
.names planet1_in_4_ n_n331 n_n332 n_n335 n_n336 [249]
10001 1
.names n_n331 n_n332 n_n334 n_n335 n_n336 [251]
01101 1
.names n_n332 n_n333 n_n334 [252]
000 1
.names n_n331 n_n333 n_n335 n_n336 [52] [264]
1-10- 1
1101- 1
110-1 1
.names n_n331 n_n332 n_n333 n_n334 n_n336 [266]
11001 1
.names planet1_in_4_ n_n333 n_n334 n_n335 [276]
0101 1
.names n_n331 n_n332 n_n334 n_n335 n_n336 [279]
10011 1
.names n_n331 n_n333 n_n334 n_n335 n_n336 [280]
11001 1
.names [44] [52] [292] [1180] [1181] [281]
1-1-- 1
1---1 1
10-1- 1
.names planet1_in_3_ n_n331 n_n332 n_n333 n_n334 [282]
10011 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_n331 n_n332 n_n333 n_n334 n_n335 [285]
00110 1
.names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 [286]
00001 1
.names n_n333 n_n335 n_n336 [292]
001 1
.names n_n332 n_n333 n_n334 n_n335 n_n336 [294]
001-1 1
00-11 1
.names planet1_in_3_ n_n331 n_n332 n_n334 n_n335 [295]
11011 1
.names planet1_in_4_ n_n331 n_n332 n_n333 n_n335 [297]
10001 1
.names planet1_in_5_ planet1_in_6_ planet1_in_0_ [303]
011 1
.names planet1_in_1_ planet1_in_2_ n_n331 n_n335 n_n336 [315]
11010 1
.names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 [316]
00010 1
.names n_n332 n_n333 n_n336 [318]
010 1
.names n_n332 n_n333 n_n334 n_n335 [51] [323]
1110- 1
10111 1
.names n_n336 [112] [340] [1131] [1132] [324]
0-1-- 1
0---1 1
01-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_4_ n_n331 n_n332 n_n334 n_n335 [328]
10101 1
.names planet1_in_4_ n_n331 n_n332 n_n334 n_n335 [329]
00010 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 n_n331 n_n332 [358] [360] [1109] [346]
011-- 1
01-1- 1
01--1 1
.names n_n336 [362] [363] [364] [1113] [347]
01--- 1
0-1-- 1
0--1- 1
0---1 1
.names planet1_in_3_ n_n331 n_n332 n_n333 n_n334 [348]
00011 1
.names planet1_in_1_ planet1_in_2_ n_n335 [33] [1117] [349]
11011 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 [351]
00011 1
.names planet1_in_4_ [74] [352]
01 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_0_ planet1_in_4_ n_n332 n_n333 [362]
11011 1
.names planet1_in_1_ planet1_in_2_ n_n331 n_n332 n_n333 [363]
0-100 1
-0100 1
.names planet1_in_0_ planet1_in_3_ n_n331 n_n332 n_n335 [364]
0-010 1
-0010 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_n331 n_n332 n_n333 n_n334 [1113]
10-1 1
0000 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_4_ n_n333 n_n334 [348] [1106] [1120]
---1- 1
11--1 1
-11-1 1
.names n_n335 n_n336 [123] [351] [1121]
---1 1
011- 1
.names n_n331 [107] [345] [1122]
--1 1
11- 1
.names [346] [352] [1119] [1121] [1122] [1128]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names planet1_in_0_ planet1_in_3_ n_n334 [1131]
0-0 1
-00 1
.names planet1_in_1_ planet1_in_2_ n_n331 n_n332 n_n333 [1132]
---01 1
1110- 1
.names planet1_in_1_ planet1_in_2_ [40] [328] [1139]
---1 1
0-1- 1
-01- 1
.names n_n331 n_n332 n_n333 n_n334 [129] [1140]
10--1 1
0011- 1
0110- 1
.names [58] [325] [329] [1141]
1-- 1
-1- 1
--1 1
.names [43] [66] [77] [95] [326] [1142]
-1--- 1
--1-- 1
----1 1
1--1- 1
.names [323] [1139] [1140] [1141] [1146]
1--- 1
-1-- 1
--1- 1
---1 1
.names planet1_in_4_ n_n331 n_n332 [1147]
001 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 [1148]
01011 1
.names planet1_in_4_ n_n331 n_n333 n_n335 n_n336 [1151]
-010- 1
10-10 1
.names [51] [1148] [1151] [1155]
--1 1
01- 1
.names [42] [36] [318] [1104] [1118] [1156]
--1-- 1
-1-1- 1
11--1 1
.names [106] [83] [315] [316] [1147] [1157]
-1--- 1
--1-- 1
---1- 1
1---1 1
.names n_n332 n_n335 n_n336 [155] [154] [1158]
1--1- 1
-01-1 1
.names planet1_in_3_ n_n333 n_n335 [1167]
0-- 1
-1- 1
--0 1
.names n_n331 n_n332 n_n333 n_n335 n_n336 [1168]
101-0 1
11-10 1
.names [47] [59] [303] [1167] [1172]
-1-- 1
1-1- 1
1--1 1
.names [69] [294] [295] [297] [1173]
1--- 1
-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_n336 n_n333 [1180]
01 1
.names n_n333 n_n334 n_n335 [1181]
111 1
001 1
.names n_n334 n_n336 [66] [286] [1188]
--1- 1
---1 1
10-- 1
.names [36] [279] [280] [282] [1175] [1189]
-1--- 1
--1-- 1
---1- 1
1---1 1
.names [147] [283] [284] [285] [1176] [1190]
-1--- 1
--1-- 1
---1- 1
1---1 1
.names planet1_in_1_ planet1_in_2_ n_n333 n_n334 n_n335 [1196]
--01- 1
0-0-1 1
-00-1 1
.names n_n331 n_n332 n_n334 n_n335 n_n336 [1197]
011-- 1
00-01 1
.names planet1_in_4_ n_n331 n_n333 n_n335 n_n336 [1198]
1001- 1
000-1 1
.names [42] [141] [266] [1197] [1198] [1201]
--1-- 1
---1- 1
----1 1
11--- 1
.names n_n331 n_n332 n_n333 n_n334 [1205]
1--- 1
---1 1
-10- 1
.names n_n331 n_n332 n_n334 n_n335 n_n336 [1207]
0--10 1
0001- 1
.names [59] [249] [251] [1207] [1213]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n332 planet1_in_6_ [1214]
11 1
.names n_n335 n_n336 [96] [165] [244] [1217]
--1-- 1
----1 1
01-1- 1
.names n_n331 n_n332 n_n334 n_n335 [1221]
101- 1
0-11 1
.names planet1_in_4_ n_n331 n_n333 n_n335 n_n336 [1222]
-11-- 1
-1-01 1
0--10 1
-1-10 1
.names n_n335 n_n336 [160] [159] [1224]
0-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 planet1_in_6_ planet1_in_1_ planet1_in_2_ n_n331 n_n332 [1228]
-00-- 1
1--11 1
.names n_n333 n_n334 [80] [121] [1232]
--1- 1
10-1 1
.names n_n331 n_n332 n_n336 [146] [212] [1233]
----1 1
0101- 1
.names planet1_in_5_ planet1_in_4_ n_n332 [1236]
0-1 1
-11 1
.names [74] [77] [33] [116] [1117] [1244]
1---- 1
-1--- 1
---1- 1
--1-1 1
.names [83] [101] [197] [198] [1236] [1245]
1---- 1
--1-- 1
---1- 1
-1--1 1
.names planet1_in_6_ n_n331 n_n332 n_n333 [1249]
1110 1
.names n_n331 n_n332 n_n333 n_n334 [1251]
011- 1
0000 1
.names [58] [61] [186] [1255]
1-- 1
-1- 1
--1 1
.names [75] [35] [83] [182] [184] [1256]
--1-- 1
---1- 1
----1 1
11--- 1
.names planet1_in_5_ planet1_in_0_ n_n331 n_n332 n_n334 [1259]
1-011 1
-0011 1
.names n_n333 n_n334 n_n336 [1260]
000 1
.names planet1_in_0_ planet1_in_3_ n_n331 n_n332 n_n335 [1261]
11010 1
.names planet1_in_1_ planet1_in_2_ n_n332 [1262]
110 1
.names planet1_in_4_ n_n331 n_n332 n_n335 n_n336 [1263]
00-10 1
-1110 1
.names n_n335 n_n336 [139] [1263] [1265]
---1 1
011- 1
.names n_n331 n_n332 [140] [99] [1266]
---1 1
101- 1
.names n_n331 n_n332 n_n334 n_n335 n_n336 [1270]
000-1 1
0-101 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 [1273]
100-1 1
1-011 1
0-001 1
011-0 1
11101 1
.names [61] [60] [68] [70] [1276]
1--- 1
-1-- 1
--1- 1
---1 1
.names planet1_in_2_ planet1_in_1_ [1278]
10 1
.end