.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_6_ planet_in_2_ planet_in_1_ n_n331 n_n332 n_n335 [1207] \
planet_out_10_
------1 1
-00---- 1
---1-1- 1
---0-0- 1
1--11-- 1
.names [244] [1213] [1214] planet_out_12_
1-- 1
-1- 1
--1 1
.names [83] [231] [1222] [1223] [1224] planet_out_11_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 planet_out_14_
--000-- 1
-0---10 1
-00-01- 1
-0-110- 1
-11101- 1
10-001- 1
-110-11 1
100--01 1
-01-101 1
-1-0000 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 planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 planet_out_16_
-1-1--- 1
-10-1-- 1
-0--11- 1
-11--0- 1
--01-0- 1
--11--1 1
-1---01 1
0----10 1
-1---10 1
--1000- 1
10--1-1 1
-01-1-1 1
-00--00 1
.names [197] [198] [1248] planet_out_15_
1-- 1
-1- 1
--1 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 planet_out_18_
---1--0 1
----1-0 1
-11-1-- 1
-0-1-1- 1
--01-1- 1
-0--11- 1
-1-1-0- 1
-1--10- 1
--100-1 1
10---10 1
-01--00 1
-10--00 1
00001-- 1
.names [1254] [1255] [1256] planet_out_17_
1-- 1
-1- 1
--1 1
.names n_n333 n_n334 n_n336 [172] [175] [1259] planet_out_5_
---1-- 1
----1- 1
000--1 1
.names planet_in_2_ planet_in_1_ n_n332 [113] [40] [102] planet_out_6_
1--1-- 1
-1-1-- 1
1---1- 1
-1--1- 1
110--1 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 planet_in_6_ n_n331 n_n332 n_n333 n_n335 n_n336 [1266] planet_out_1_
------1 1
111000- 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_ [48] [50] [1271] planet_out_0_
---1 1
01-- 1
0-1- 1
.names planet_in_2_ planet_in_1_ [50] [79] planet_out_9_
101- 1
10-1 1
.names planet_in_4_ planet_in_2_ planet_in_1_ n_n332 [132] [102] planet_out_7_
1---1- 1
-110-1 1
.names n_n333 n_n334 n_n336 [175] [1259] planet_out_8_
---1- 1
000-1 1
.names [345] [350] [1121] [1126] [1127] n_n83
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n336 [1132] [1133] [1142] [1146] n_n84
---1- 1
----1 1
01--- 1
0-1-- 1
.names [315] [316] [1153] [1158] [1159] n_n85
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [47] [59] [156] [299] [1168] [1169] [1170] n_n86
-1----- 1
---1--- 1
----1-- 1
-----1- 1
------1 1
1-1---- 1
.names [286] [1183] [1184] [1185] [1192] n_n87
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n331 [142] [265] [1199] [1200] n_n88
--1-- 1
---1- 1
----1 1
11--- 1
.names planet_in_2_ planet_in_1_ [38]
0- 1
-0 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 planet_in_6_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [113]
0110000 1
.names planet_in_4_ planet_in_3_ planet_in_0_ n_n333 n_n334 n_n335 n_n336 \
[127]
---1-0- 1
----10- 1
1----01 1
-1010-- 1
0--001- 1
.names planet_in_4_ n_n331 n_n335 n_n336 [40]
0010 1
.names planet_in_3_ planet_in_6_ planet_in_5_ planet_in_0_ n_n333 n_n334 \
n_n335 [130]
----110 1
0---011 1
-1--011 1
--1-011 1
---0011 1
.names planet_in_6_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [132]
-100-1- 1
-1-011- 1
-0-001- 1
-011-0- 1
-00-0-1 1
-0--101 1
-11101- 1
0110000 1
.names planet_in_6_ n_n331 n_n332 n_n333 n_n334 n_n336 [48]
011000 1
.names planet_in_4_ planet_in_3_ planet_in_5_ planet_in_0_ n_n333 n_n335 \
n_n336 [142]
-----10 1
0---10- 1
-0--10- 1
--0-10- 1
---010- 1
----101 1
.names planet_in_3_ planet_in_0_ n_n333 n_n334 n_n335 [146]
--1-- 1
---1- 1
11--0 1
.names n_n331 n_n332 n_n334 n_n336 [83]
0110 1
.names planet_in_3_ planet_in_6_ planet_in_5_ planet_in_0_ [51]
0--- 1
-1-- 1
--1- 1
---0 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 n_n331 n_n332 n_n333 [118]
100 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [50]
00---10 1
-100000 1
.names planet_in_6_ n_n331 n_n333 n_n334 n_n335 n_n336 [79]
010000 1
.names planet_in_4_ planet_in_6_ n_n331 n_n332 n_n333 n_n334 n_n335 [85]
001-011 1
0-00101 1
.names n_n331 n_n332 n_n333 n_n335 n_n336 [87]
10011 1
.names planet_in_3_ planet_in_0_ n_n331 n_n332 n_n333 n_n334 n_n335 [172]
1001101 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 [175]
100101 1
.names planet_in_6_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [197]
1110000 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [198]
--00011 1
00-0011 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_6_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [244]
-011-0- 1
-00000- 1
11-0000 1
.names planet_in_4_ planet_in_2_ planet_in_1_ n_n332 n_n333 n_n334 n_n335 \
[265]
---001- 1
-0-00-1 1
--000-1 1
0--0101 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 [286]
00001 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 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_4_ planet_in_5_ n_n331 n_n332 n_n333 n_n334 n_n335 [317]
1110101 1
.names planet_in_4_ n_n331 n_n332 n_n334 n_n335 [328]
10101 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 n_n332 n_n333 n_n335 n_n336 [345]
0-10 1
0101 1
.names planet_in_4_ planet_in_5_ n_n331 n_n333 n_n334 n_n335 [350]
111101 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 [352]
000101 1
.names planet_in_4_ planet_in_5_ planet_in_0_ n_n332 n_n333 [362]
01111 1
.names planet_in_3_ planet_in_0_ n_n331 n_n332 n_n333 n_n334 n_n335 [1115]
--10-1- 1
--0000- 1
0-01--0 1
-001--0 1
.names planet_in_4_ planet_in_3_ n_n331 n_n332 n_n333 n_n334 n_n335 [1120]
-00011- 1
1-111-1 1
--11111 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1121]
-00011- 1
10--101 1
-10-001 1
.names n_n331 n_n332 [64] [127] [342] [352] [1126]
--1--- 1
----1- 1
-----1 1
01-1-- 1
.names n_n336 [38] [113] [118] [362] [1115] [1120] [1127]
------1 1
-01---- 1
0---1-- 1
0----1- 1
01-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_3_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1142]
1011--- 1
-1-011- 1
0101-1- 1
-000001 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1144]
-0011-- 1
-0110-- 1
00-1-1- 1
-10--10 1
-10101- 1
000-10- 1
-110-11 1
.names n_n332 [130] [328] [330] [1144] [1146]
--1-- 1
---1- 1
----1 1
11--- 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_ planet_in_5_ n_n332 n_n333 n_n334 n_n335 n_n336 [1152]
--01--0 1
000101- 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n336 [1153]
-01-10 1
001001 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1158]
--11-01 1
--10011 1
-100-01 1
-1100-0 1
000-101 1
.names [51] [317] [1148] [1151] [1152] [1159]
-1--- 1
---1- 1
----1 1
0-1-- 1
.names n_n331 n_n332 n_n333 n_n335 n_n336 [1168]
101-0 1
11-10 1
.names planet_in_0_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1169]
--001-1 1
--00-11 1
1011-1- 1
.names planet_in_4_ planet_in_3_ n_n331 n_n332 n_n333 n_n334 n_n335 [1170]
1-000-1 1
-110-11 1
.names planet_in_4_ planet_in_3_ planet_in_5_ planet_in_0_ n_n333 n_n335 \
n_n336 [1182]
----001 1
11111-0 1
.names planet_in_3_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1183]
----1-0 1
0101-1- 1
.names planet_in_0_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1184]
-10-011 1
001101- 1
.names planet_in_3_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1185]
10011-- 1
-1-1001 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1190]
--0011- 1
-0-0-11 1
1-1--10 1
-00110- 1
1-100-1 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 [1182] [1190] [1192]
------1 1
11---1- 1
11111-- 1
11001-- 1
.names planet_in_3_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1199]
1101--- 1
-10-01- 1
-1100-1 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1200]
-01-1-- 1
10-0-1- 1
00-0--1 1
-00--01 1
.names planet_in_4_ planet_in_2_ planet_in_1_ n_n331 n_n333 n_n334 n_n336 \
[1207]
----1-- 1
-----1- 1
------1 1
-11---- 1
1--0--- 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1213]
10---10 1
-110-11 1
-1000-0 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1214]
-0-1-01 1
-01-1-0 1
-11101- 1
-00101- 1
101001- 1
.names planet_in_5_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1222]
111-01- 1
100-01- 1
-0-0101 1
.names planet_in_5_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1223]
-01100- 1
-10000- 1
01-00-0 1
.names planet_in_6_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1224]
-0---10 1
-1-011- 1
-00101- 1
01100-0 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1248]
-11101- 1
-0000-1 1
0000-01 1
-011001 1
.names planet_in_6_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1254]
-0-110- 1
01100-0 1
.names planet_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1255]
00---10 1
-11--10 1
-011-01 1
10--101 1
-01-101 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1256]
10011- 1
1000-1 1
-00011 1
.names planet_in_3_ planet_in_0_ n_n331 n_n332 n_n335 [1259]
11010 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_n333 n_n334 n_n335 n_n336 [1268]
11--10 1
001001 1
.names n_n331 n_n332 n_n336 [146] [85] [87] [1268] [1271]
----1-- 1
-----1- 1
------1 1
0101--- 1
.end