.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_n331 n_n332 n_n333 n_n334 n_n335 n_n336 planet1_out_13_
1----- 1
---1-- 1
-----0 1
-10--- 1
--1-1- 1
.names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 planet1_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 [241] [242] [1217] planet1_out_15_
1-- 1
-1- 1
--1 1
.names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 planet1_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 planet1_in_6_ planet1_in_1_ planet1_in_2_ n_n331 n_n332 n_n335 [1229] \
planet1_out_10_
------1 1
-00---- 1
---1-1- 1
---0-0- 1
1--11-- 1
.names planet1_in_1_ [48] [50] [1235] planet1_out_0_
---1 1
01-- 1
0-1- 1
.names [83] [196] [1242] [1243] [1244] planet1_out_11_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names planet1_in_6_ n_n331 n_n332 n_n333 n_n335 n_n336 [1250] planet1_out_1_
------1 1
111000- 1
.names [183] [1255] [1256] planet1_out_12_
1-- 1
-1- 1
--1 1
.names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 n_n336 planet1_out_2_
0--11- 1
-1-11- 1
-011-1 1
.names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 planet1_out_3_
10-11- 1
-100-0 1
.names planet1_in_3_ n_n333 n_n335 [1259] planet1_out_4_
1011 1
.names n_n333 n_n334 n_n336 [174] [177] [1261] planet1_out_5_
---1-- 1
----1- 1
000--1 1
.names planet1_in_1_ planet1_in_2_ n_n332 [113] [40] [102] planet1_out_6_
1--1-- 1
-1-1-- 1
1---1- 1
-1--1- 1
110--1 1
.names [1264] [1265] [1266] planet1_out_17_
1-- 1
-1- 1
--1 1
.names planet1_in_1_ planet1_in_2_ planet1_in_4_ n_n332 [132] [102] \
planet1_out_7_
--1-1- 1
11-0-1 1
.names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 planet1_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 n_n333 n_n334 n_n336 [177] [1261] planet1_out_8_
---1- 1
000-1 1
.names planet1_in_1_ planet1_in_2_ [50] [49] planet1_out_9_
011- 1
01-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 planet1_in_1_ planet1_in_2_ [38]
0- 1
-0 1
.names n_n331 n_n332 n_n334 [47]
011 1
.names planet1_in_5_ planet1_in_4_ n_n332 n_n333 n_n334 n_n335 [64]
000101 1
.names planet1_in_6_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [113]
0110000 1
.names planet1_in_0_ planet1_in_3_ planet1_in_4_ n_n333 n_n334 n_n335 n_n336 \
[127]
---1-0- 1
----10- 1
--1--01 1
01-10-- 1
--0001- 1
.names planet1_in_4_ n_n331 n_n335 n_n336 [40]
0010 1
.names planet1_in_5_ planet1_in_6_ planet1_in_0_ planet1_in_3_ n_n333 n_n334 \
n_n335 [130]
----110 1
1---011 1
-1--011 1
--0-011 1
---0011 1
.names planet1_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 planet1_in_6_ n_n331 n_n332 n_n333 n_n334 n_n336 [48]
011000 1
.names planet1_in_5_ planet1_in_0_ planet1_in_3_ planet1_in_4_ n_n333 n_n335 \
n_n336 [142]
-----10 1
0---10- 1
-0--10- 1
--0-10- 1
---010- 1
----101 1
.names planet1_in_0_ planet1_in_3_ 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 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_n332 n_n333 n_n334 n_n335 [59]
0-110 1
11101 1
.names planet1_in_5_ planet1_in_6_ planet1_in_0_ planet1_in_3_ n_n333 n_n335 \
[156]
---0-- 1
----1- 1
-----0 1
011--- 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 planet1_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [50]
00---10 1
-100000 1
.names planet1_in_6_ n_n331 n_n333 n_n334 n_n335 n_n336 [49]
010000 1
.names planet1_in_0_ planet1_in_3_ n_n331 n_n332 n_n333 n_n334 n_n335 [174]
0101101 1
.names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 [177]
100101 1
.names planet1_in_6_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [183]
-011-0- 1
-00000- 1
11-0000 1
.names planet1_in_5_ planet1_in_4_ n_n332 n_n333 n_n334 n_n335 [196]
0-1001 1
-11001 1
.names planet1_in_6_ planet1_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 [209]
001-011 1
-000101 1
.names n_n331 n_n332 n_n333 n_n335 n_n336 [212]
10011 1
.names planet1_in_6_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [241]
1110000 1
.names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [242]
--00011 1
00-0011 1
.names planet1_in_1_ planet1_in_2_ planet1_in_4_ n_n332 n_n333 n_n334 n_n335 \
[265]
---001- 1
0--00-1 1
-0-00-1 1
--00101 1
.names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 [286]
00001 1
.names planet1_in_1_ planet1_in_2_ planet1_in_4_ n_n331 n_n335 n_n336 [299]
0-0010 1
-00010 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 planet1_in_5_ planet1_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 [317]
1110101 1
.names planet1_in_4_ n_n331 n_n332 n_n334 n_n335 [328]
10101 1
.names planet1_in_1_ planet1_in_2_ planet1_in_4_ n_n331 n_n335 n_n336 [330]
0-0010 1
-00010 1
.names planet1_in_6_ planet1_in_3_ n_n331 n_n332 n_n333 n_n334 [342]
1-0101 1
-00101 1
.names n_n332 n_n333 n_n335 n_n336 [345]
0-10 1
0101 1
.names planet1_in_5_ planet1_in_4_ n_n331 n_n333 n_n334 n_n335 [350]
111101 1
.names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 [352]
000101 1
.names planet1_in_5_ planet1_in_0_ planet1_in_4_ n_n332 n_n333 [362]
11011 1
.names planet1_in_0_ planet1_in_3_ n_n331 n_n332 n_n333 n_n334 n_n335 [1115]
--10-1- 1
--0000- 1
0-01--0 1
-001--0 1
.names planet1_in_3_ planet1_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 [1120]
0-0011- 1
-1111-1 1
--11111 1
.names planet1_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 planet1_in_1_ planet1_in_2_ n_n331 n_n332 n_n333 [1132]
---01 1
1110- 1
.names planet1_in_0_ planet1_in_3_ n_n331 n_n332 n_n334 n_n335 [1133]
--1-1- 1
---01- 1
0-0100 1
-00100 1
.names planet1_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 planet1_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 planet1_in_4_ n_n331 n_n333 n_n335 n_n336 [1151]
-010- 1
10-10 1
.names planet1_in_5_ planet1_in_4_ n_n332 n_n333 n_n334 n_n335 n_n336 [1152]
--01--0 1
000101- 1
.names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 n_n336 [1153]
-01-10 1
001001 1
.names planet1_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 planet1_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 planet1_in_3_ planet1_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 [1170]
-1000-1 1
1-10-11 1
.names planet1_in_5_ planet1_in_0_ planet1_in_3_ planet1_in_4_ n_n333 n_n335 \
n_n336 [1182]
----001 1
11111-0 1
.names planet1_in_3_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1183]
----1-0 1
0101-1- 1
.names planet1_in_0_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1184]
-10-011 1
001101- 1
.names planet1_in_3_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1185]
10011-- 1
-1-1001 1
.names planet1_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 planet1_in_3_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1199]
1101--- 1
-10-01- 1
-1100-1 1
.names planet1_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 planet1_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1217]
-11101- 1
-0000-1 1
0000-01 1
-011001 1
.names planet1_in_1_ planet1_in_2_ planet1_in_4_ n_n331 n_n333 n_n334 n_n336 \
[1229]
----1-- 1
-----1- 1
------1 1
11----- 1
--10--- 1
.names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1232]
11--10 1
001001 1
.names n_n331 n_n332 n_n336 [146] [209] [212] [1232] [1235]
----1-- 1
-----1- 1
------1 1
0101--- 1
.names planet1_in_5_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1242]
111-01- 1
100-01- 1
-0-0101 1
.names planet1_in_5_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1243]
-01100- 1
-10000- 1
01-00-0 1
.names planet1_in_6_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1244]
-0---10 1
-1-011- 1
-00101- 1
01100-0 1
.names planet1_in_0_ n_n331 n_n332 n_n333 n_n334 n_n335 [1250]
-1011- 1
1011-1 1
.names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1255]
10---10 1
-110-11 1
-1000-0 1
.names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1256]
-0-1-01 1
-01-1-0 1
-11101- 1
-00101- 1
101001- 1
.names planet1_in_5_ planet1_in_0_ n_n331 n_n332 n_n334 [1259]
1-011 1
-0011 1
.names planet1_in_0_ planet1_in_3_ n_n331 n_n332 n_n335 [1261]
11010 1
.names planet1_in_6_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1264]
-0-110- 1
01100-0 1
.names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1265]
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 [1266]
10011- 1
1000-1 1
-00011 1
.end