.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 planet_in_2_ planet_in_1_ n_n336 [1204] [1208] planet_out_10_
--1-- 1
---1- 1
----1 1
11--- 1
.names [245] [246] [1211] [1215] planet_out_12_
1--- 1
-1-- 1
--1- 1
---1 1
.names [83] [231] [232] [233] [1226] planet_out_11_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [1229] [1230] [1231] [1232] planet_out_14_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 planet_out_13_
1----- 1
---1-- 1
-----0 1
-10--- 1
--1-1- 1
.names [205] [206] [1241] [1242] planet_out_16_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n335 n_n336 [165] [1246] [1247] planet_out_15_
---1- 1
----1 1
011-- 1
.names [185] [186] [187] [188] [1249] planet_out_18_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [43] [48] [139] [179] [1253] [1256] planet_out_17_
-1---- 1
---1-- 1
----1- 1
-----1 1
1-1--- 1
.names planet_in_3_ [109] [175] [1258] [1259] planet_out_5_
--1-- 1
11--- 1
---11 1
.names n_n335 [40] [33] [162] [1117] [1260] planet_out_6_
-1-1-- 1
0-1--1 1
0-111- 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 planet_out_3_
10-11- 1
-100-0 1
.names planet_in_3_ n_n333 n_n335 [1262] planet_out_4_
1011 1
.names [99] [1266] planet_out_1_
1- 1
-1 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n336 planet_out_2_
0--11- 1
-1-11- 1
-011-1 1
.names planet_in_1_ [40] [48] [89] [1271] planet_out_0_
----1 1
01--- 1
0-1-- 1
0--1- 1
.names planet_in_2_ planet_in_1_ [40] [79] [89] planet_out_9_
101-- 1
10-1- 1
10--1 1
.names planet_in_2_ planet_in_1_ n_n332 [102] [49] planet_out_7_
----1 1
1101- 1
.names n_n333 n_n334 n_n336 [175] [1259] planet_out_8_
---1- 1
000-1 1
.names [346] [347] [1123] [1124] [1125] n_n83
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [329] [1136] [1140] [1143] [1145] n_n84
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [51] [1148] [1151] [1156] [1160] n_n85
--1-- 1
---1- 1
----1 1
01--- 1
.names [69] [294] [295] [297] [1174] n_n86
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [66] [281] [286] [287] [1189] [1190] n_n87
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names [263] [266] [1197] [1198] [1202] n_n88
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n335 n_n336 [43]
01 1
.names n_n331 n_n332 n_n334 [47]
011 1
.names planet_in_4_ planet_in_5_ n_n332 n_n333 n_n334 n_n335 [64]
000101 1
.names n_n333 n_n334 n_n335 [103]
011 1
.names planet_in_4_ planet_in_5_ n_n333 n_n334 n_n335 [107]
11101 1
.names planet_in_4_ n_n331 n_n335 n_n336 [40]
0010 1
.names planet_in_3_ n_n331 n_n332 n_n333 n_n335 [66]
01011 1
.names n_n331 n_n333 n_n334 n_n335 [77]
1011 1
.names planet_in_6_ n_n331 n_n332 n_n333 n_n334 n_n336 [48]
011000 1
.names n_n333 n_n334 n_n335 [76]
110 1
.names n_n333 n_n334 n_n335 n_n336 [120]
0011 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 [139]
-011- 1
10--1 1
-01-1 1
.names planet_in_4_ planet_in_2_ planet_in_1_ n_n333 n_n334 n_n335 [143]
---01- 1
-0-0-1 1
--00-1 1
0--101 1
.names planet_in_3_ planet_in_0_ n_n333 n_n334 n_n335 [146]
--1-- 1
---1- 1
11--0 1
.names planet_in_6_ n_n331 n_n332 n_n333 n_n334 n_n335 [145]
01-011 1
-00101 1
.names planet_in_0_ n_n331 n_n332 n_n333 n_n334 n_n335 [109]
001101 1
.names n_n331 n_n333 n_n334 n_n336 [33]
1000 1
.names n_n331 n_n332 n_n334 n_n336 [83]
0110 1
.names planet_in_6_ n_n331 n_n332 n_n333 n_n334 n_n336 [150]
-011-- 1
-0000- 1
11-000 1
.names planet_in_0_ n_n331 n_n332 n_n333 n_n335 [69]
10111 1
.names planet_in_3_ planet_in_6_ planet_in_5_ planet_in_0_ [51]
0--- 1
-1-- 1
--1- 1
---0 1
.names planet_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 planet_in_3_ planet_in_6_ planet_in_5_ planet_in_0_ n_n333 n_n335 [156]
0----- 1
----1- 1
-----0 1
-101-- 1
.names n_n331 n_n333 n_n334 n_n335 n_n336 [102]
10000 1
.names planet_in_2_ planet_in_1_ [162]
1- 1
-1 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 [165]
0000- 1
-0110 1
.names planet_in_4_ n_n335 [48] [1275] [1278] [49]
1--1- 1
1---1 1
101-- 1
.names planet_in_6_ n_n331 n_n333 n_n334 n_n335 n_n336 [79]
010000 1
.names n_n331 n_n332 n_n333 n_n335 n_n336 [87]
10011 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [89]
100000 1
.names planet_in_6_ n_n331 n_n332 n_n333 n_n335 n_n336 [99]
111000 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 [175]
100101 1
.names n_n331 n_n333 n_n334 n_n335 [179]
0110 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 [185]
-11-1 1
00001 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 [186]
0-1-1 1
-01-1 1
0--11 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [187]
1-1-0- 1
1--10- 1
01--00 1
10--00 1
.names n_n332 n_n333 n_n334 n_n336 [188]
1001 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n336 [205]
--11-1 1
10--11 1
-01-11 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [206]
11--0- 1
-01-0- 1
-1000- 1
00--00 1
.names planet_in_4_ planet_in_5_ n_n332 n_n333 n_n334 n_n335 [231]
1-1001 1
-01001 1
.names planet_in_5_ n_n331 n_n332 n_n334 n_n335 [232]
11101 1
10001 1
.names n_n331 n_n333 n_n334 n_n335 n_n336 [233]
00101 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 [234]
01100 1
10000 1
.names planet_in_5_ n_n331 n_n333 n_n334 n_n336 [235]
01000 1
.names n_n331 n_n333 n_n335 n_n336 [245]
0101 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 [246]
101001 1
.names n_n331 n_n332 n_n333 n_n334 n_n336 [247]
10000 1
.names planet_in_3_ n_n331 n_n332 n_n333 n_n334 n_n335 [263]
1101-- 1
-10-01 1
.names n_n331 n_n332 n_n333 n_n334 n_n336 [266]
11001 1
.names planet_in_4_ planet_in_3_ planet_in_5_ planet_in_0_ n_n333 n_n335 [272]
0---10 1
-0--10 1
--0-10 1
---010 1
.names planet_in_4_ n_n332 n_n333 n_n334 n_n335 n_n336 [278]
11--10 1
1100-1 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 n_n331 n_n332 [290] [292] [1181] [281]
111-- 1
11-1- 1
11--1 1
.names planet_in_3_ n_n331 n_n332 n_n333 n_n334 [282]
10011 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 [285]
00110 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 [286]
00001 1
.names n_n334 n_n336 [287]
10 1
.names planet_in_4_ planet_in_3_ planet_in_5_ planet_in_0_ n_n333 n_n336 [290]
111110 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 planet_in_3_ n_n331 n_n332 n_n334 n_n335 [295]
11011 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n335 [297]
10001 1
.names planet_in_4_ planet_in_2_ planet_in_1_ n_n331 n_n335 n_n336 [299]
00-010 1
0-0010 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [314]
-11-01 1
-10011 1
1100-0 1
.names planet_in_2_ planet_in_1_ n_n331 n_n335 n_n336 [315]
11010 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 [316]
00010 1
.names planet_in_3_ n_n331 n_n332 n_n333 [326]
1011 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [327]
000001 1
.names planet_in_4_ n_n331 n_n332 n_n334 n_n335 [328]
10101 1
.names planet_in_4_ n_n331 n_n332 n_n334 n_n335 [329]
00010 1
.names planet_in_4_ planet_in_2_ planet_in_1_ n_n331 n_n335 n_n336 [330]
00-010 1
0-0010 1
.names planet_in_3_ planet_in_6_ n_n331 n_n332 n_n333 n_n334 [342]
0-0101 1
-10101 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 [343]
1111-1 1
-11111 1
.names planet_in_4_ n_n331 n_n332 n_n334 n_n335 n_n336 [344]
10-101 1
-10001 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 planet_in_3_ n_n331 n_n332 n_n333 n_n334 [348]
00011 1
.names planet_in_4_ planet_in_5_ n_n331 n_n333 n_n334 n_n335 [350]
111101 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 [351]
00011 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 [352]
000101 1
.names planet_in_3_ planet_in_0_ n_n333 n_n334 [358]
1010 1
.names planet_in_4_ n_n335 n_n336 [360]
101 1
.names planet_in_4_ planet_in_5_ planet_in_0_ n_n332 n_n333 [362]
01111 1
.names planet_in_2_ planet_in_1_ n_n331 n_n332 n_n333 [363]
0-100 1
-0100 1
.names planet_in_3_ planet_in_0_ n_n331 n_n332 n_n335 [364]
0-010 1
-0010 1
.names planet_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 planet_in_6_ [1117]
10 1
.names [64] [342] [352] [1123]
1-- 1
-1- 1
--1 1
.names planet_in_2_ planet_in_1_ n_n335 [48] [343] [348] [1124]
----1- 1
-----1 1
1101-- 1
.names [344] [345] [350] [351] [1125]
1--- 1
-1-- 1
--1- 1
---1 1
.names planet_in_2_ planet_in_1_ n_n331 n_n332 n_n333 [1132]
---01 1
1110- 1
.names planet_in_3_ planet_in_0_ n_n331 n_n332 n_n334 n_n335 [1133]
--1-1- 1
---01- 1
0-0100 1
-00100 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n335 n_n336 [1136]
00-11- 1
-11011 1
.names planet_in_3_ n_n331 n_n332 n_n333 n_n334 n_n335 [1137]
-1-011 1
0101-1 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1140]
0011-- 1
0110-- 1
10--10 1
10101- 1
.names n_n332 [103] [76] [51] [328] [330] [1143]
----1- 1
-----1 1
1-1--- 1
11-1-- 1
.names n_n336 [326] [327] [1132] [1133] [1137] [1145]
-1---- 1
--1--- 1
-----1 1
0--1-- 1
0---1- 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 [1148]
01011 1
.names planet_in_4_ n_n331 n_n333 n_n335 n_n336 [1151]
-010- 1
10-10 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n336 [1153]
-01-10 1
001001 1
.names n_n331 n_n332 n_n333 n_n336 [64] [107] [1156]
----1- 1
-010-- 1
10---1 1
.names [43] [154] [314] [315] [316] [1153] [1160]
--1--- 1
---1-- 1
----1- 1
-----1 1
11---- 1
.names n_n331 n_n332 n_n333 n_n335 n_n336 [1168]
101-0 1
11-10 1
.names [47] [59] [156] [299] [1168] [1174]
-1--- 1
---1- 1
----1 1
1-1-- 1
.names n_n333 n_n334 n_n335 [1181]
111 1
001 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1186]
-0011- 1
0-0-11 1
.names [109] [279] [280] [282] [1189]
1--- 1
-1-- 1
--1- 1
---1 1
.names [278] [285] [1186] [1190]
1-- 1
-1- 1
--1 1
.names n_n333 n_n335 n_n336 [1195]
-10 1
101 1
.names n_n331 n_n332 n_n334 n_n335 n_n336 [1197]
011-- 1
00-01 1
.names planet_in_4_ n_n331 n_n333 n_n335 n_n336 [1198]
1001- 1
000-1 1
.names n_n331 n_n332 [143] [272] [1195] [1202]
-01-- 1
1--1- 1
1---1 1
.names planet_in_4_ n_n331 n_n333 n_n334 [1204]
--1- 1
---1 1
10-- 1
.names planet_in_6_ planet_in_2_ planet_in_1_ n_n331 n_n332 n_n335 [1208]
-00--- 1
---1-1 1
---0-0 1
1--11- 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n335 n_n336 [1210]
10--10 1
-11011 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1211]
01-1-0 1
11101- 1
00101- 1
.names n_n335 [150] [247] [1210] [1215]
--1- 1
---1 1
01-- 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1219]
0---10 1
00101- 1
.names [77] [48] [234] [235] [1219] [1226]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1229]
-000-- 1
110-11 1
.names planet_in_4_ n_n331 n_n333 n_n334 n_n335 n_n336 [1230]
10001- 1
-10000 1
.names planet_in_4_ n_n331 n_n332 n_n334 n_n335 n_n336 [1231]
100-01 1
-01101 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1232]
0---10 1
00-01- 1
0-110- 1
11101- 1
.names n_n331 n_n332 n_n334 n_n335 [1241]
101- 1
0-11 1
.names planet_in_4_ n_n331 n_n333 n_n335 n_n336 [1242]
-11-- 1
-1-01 1
0--10 1
-1-10 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1246]
11101- 1
0000-1 1
.names planet_in_4_ planet_in_6_ n_n331 n_n332 [120] [102] [1247]
---01- 1
0-0-1- 1
-1-1-1 1
.names planet_in_4_ n_n331 n_n333 n_n334 n_n335 n_n336 [1249]
--1--0 1
---1-0 1
10--10 1
.names planet_in_4_ n_n331 n_n332 n_n335 n_n336 [1253]
00-10 1
-1110 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1256]
10011- 1
1000-1 1
-00011 1
.names n_n333 n_n334 n_n336 [1258]
000 1
.names planet_in_3_ planet_in_0_ n_n331 n_n332 n_n335 [1259]
11010 1
.names planet_in_2_ planet_in_1_ n_n332 [1260]
110 1
.names planet_in_5_ planet_in_0_ n_n331 n_n332 n_n334 [1262]
1-011 1
-0011 1
.names planet_in_0_ n_n331 n_n332 n_n333 n_n334 n_n335 [1266]
-1011- 1
1011-1 1
.names n_n331 n_n332 n_n336 [1267]
010 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1268]
11--10 1
001001 1
.names planet_in_4_ [146] [145] [87] [1267] [1268] [1271]
---1-- 1
-----1 1
0-1--- 1
-1--1- 1
.names n_n331 n_n332 n_n334 n_n335 n_n336 [1275]
000-1 1
0-101 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 [1278]
100-1 1
1-011 1
0-001 1
011-0 1
11101 1
.end