.model top
.inputs sand_in_0_ sand_in_1_ sand_in_10_ sand_in_6_ sand_in_7_ sand_in_8_ \
sand_in_9_ clock sand_in_2_ sand_in_3_ sand_in_4_ sand_in_5_
.outputs sand_out_5_ sand_out_4_ sand_out_7_ sand_out_6_ sand_out_1_ \
sand_out_0_ sand_out_3_ sand_out_2_ sand_out_8_
.latch    n_n54 n_n288 re clock 2
.latch    n_n55 n_n289 re clock 2
.latch    n_n56 n_n290 re clock 2
.latch    n_n57 n_n291 re clock 2
.latch    n_n58 n_n292 re clock 2
.names [216] [217] [1162] [1165] sand_out_5_
1--- 1
-1-- 1
--1- 1
---1 1
.names sand_in_1_ n_n291 n_n292 [161] [208] sand_out_4_
----1 1
111-- 1
0-01- 1
.names [25] [131] [1184] [1185] [1189] sand_out_7_
--1-- 1
---1- 1
----1 1
11--- 1
.names [106] [23] [1144] [1196] [1199] sand_out_6_
--1-- 1
---1- 1
----1 1
11--- 1
.names [83] [120] [1200] [1201] sand_out_1_
-11- 1
1--1 1
.names sand_in_0_ sand_in_4_ [127] [1208] sand_out_0_
---1 1
111- 1
.names sand_in_0_ [78] [1210] [1211] sand_out_3_
---1 1
11-- 1
1-1- 1
.names [159] [58] [1213] [1215] sand_out_2_
-1-- 1
---1 1
1-1- 1
.names n_n292 [33] [32] [1220] [1221] sand_out_8_
--1-- 1
---1- 1
----1 1
01--- 1
.names [23] [139] [1081] [1084] n_n54
--1- 1
---1 1
11-- 1
.names n_n289 [296] [301] [1094] [1108] n_n55
-1--- 1
----1 1
1-1-- 1
1--1- 1
.names n_n290 [277] [278] [1124] [1131] n_n56
----1 1
11--- 1
1-1-- 1
1--1- 1
.names n_n291 [117] [1138] [1139] n_n57
--1- 1
---1 1
11-- 1
.names n_n292 [231] [233] [1150] [1155] n_n58
----1 1
11--- 1
1-1-- 1
1--1- 1
.names sand_in_1_ n_n292 [25]
10 1
.names sand_in_1_ n_n292 [38]
11 1
.names n_n288 n_n289 n_n290 n_n291 [60]
1110 1
.names sand_in_1_ n_n288 n_n289 n_n290 n_n292 [117]
-01-- 1
0--1- 1
--10- 1
---01 1
-0--0 1
-101- 1
.names n_n290 n_n291 [26]
10 1
.names sand_in_0_ sand_in_4_ n_n288 n_n289 [83]
0100 1
.names sand_in_10_ sand_in_9_ n_n292 [106]
110 1
.names n_n288 n_n289 n_n290 n_n291 [120]
0100 1
1000 1
.names sand_in_10_ sand_in_9_ [21]
0- 1
-0 1
.names n_n290 n_n291 [37]
00 1
.names sand_in_1_ sand_in_6_ n_n288 n_n289 n_n292 [101]
11000 1
.names n_n288 n_n289 n_n290 n_n291 [103]
0100 1
.names n_n288 n_n289 [128] [95] [1205] [127]
---1- 1
001-- 1
11--1 1
.names [23] [111] [132] [1178] [1181] [131]
----1 1
1-1-- 1
-1-1- 1
.names n_n288 n_n289 n_n290 n_n291 [23]
1000 1
.names n_n288 n_n289 n_n291 [24]
010 1
.names sand_in_3_ n_n288 n_n289 n_n290 n_n291 [33]
10-10 1
-0110 1
1-100 1
.names sand_in_10_ sand_in_7_ sand_in_9_ sand_in_4_ n_n292 [134]
---01 1
101-0 1
.names n_n288 n_n289 [36]
11 1
.names sand_in_1_ sand_in_6_ n_n290 n_n292 [113]
1011 1
.names sand_in_4_ n_n288 n_n289 [115]
000 1
.names sand_in_10_ sand_in_7_ sand_in_8_ sand_in_9_ n_n292 [139]
----1 1
01--- 1
-11-- 1
-1-0- 1
10-1- 1
0-00- 1
.names sand_in_1_ n_n288 n_n289 n_n291 n_n292 [138]
010-- 1
1001- 1
10-10 1
.names sand_in_10_ sand_in_8_ sand_in_9_ [137]
0-- 1
-0- 1
--0 1
.names sand_in_1_ n_n288 n_n289 [82]
011 1
.names sand_in_3_ n_n292 [102]
00 1
.names sand_in_10_ sand_in_7_ sand_in_8_ sand_in_9_ [144]
0-11 1
-100 1
.names [26] [103] [271] [272] [1112] [151]
1-1-- 1
1--1- 1
-1--1 1
.names sand_in_10_ sand_in_8_ sand_in_9_ [150]
00- 1
-11 1
.names sand_in_7_ sand_in_8_ sand_in_9_ [70]
110 1
.names n_n288 n_n289 n_n290 n_n291 [159]
0100 1
1000 1
.names n_n288 n_n289 n_n290 n_n291 [161]
-1-- 1
--1- 1
0--1 1
.names sand_in_10_ sand_in_7_ sand_in_8_ sand_in_9_ [27]
-01- 1
0--1 1
--00 1
.names n_n288 n_n289 [104]
01 1
.names sand_in_10_ sand_in_6_ sand_in_7_ sand_in_8_ sand_in_9_ [22]
-1--- 1
1---1 1
--110 1
.names sand_in_6_ sand_in_3_ sand_in_4_ n_n288 n_n289 [169]
1--10 1
--110 1
-0000 1
.names sand_in_0_ sand_in_6_ sand_in_4_ [93]
0-- 1
-0- 1
--1 1
.names sand_in_0_ sand_in_6_ sand_in_4_ [111]
11- 1
1-1 1
.names sand_in_4_ n_n288 n_n289 n_n290 n_n291 [126]
----1 1
11--- 1
-1-1- 1
--11- 1
.names sand_in_0_ sand_in_6_ sand_in_4_ n_n288 n_n289 [125]
---11 1
0-100 1
11000 1
.names sand_in_1_ sand_in_3_ n_n290 n_n291 n_n292 [128]
--101 1
00-00 1
.names sand_in_10_ sand_in_7_ sand_in_8_ sand_in_9_ [132]
-10- 1
0--1 1
-0-0 1
.names sand_in_0_ sand_in_1_ sand_in_6_ sand_in_4_ n_n292 [135]
01--- 1
-1--1 1
-100- 1
.names sand_in_1_ n_n290 n_n291 n_n292 [157]
-010 1
1100 1
.names n_n289 n_n290 n_n291 [135] [50] [32]
-10-1 1
0101- 1
.names sand_in_0_ sand_in_4_ n_n288 n_n289 [50]
1-00 1
-000 1
.names [24] [113] [71] [1212] [58]
--11 1
11-1 1
.names n_n288 n_n289 n_n290 n_n291 n_n292 [71]
01000 1
10000 1
.names n_n288 n_n289 n_n290 n_n291 n_n292 [73]
00000 1
.names n_n288 n_n289 n_n290 n_n291 n_n292 [76]
11101 1
00101 1
.names sand_in_6_ n_n288 n_n289 [95] [1205] [78]
0--1- 1
011-1 1
.names n_n288 n_n289 n_n290 n_n291 n_n292 [95]
01100 1
.names n_n292 [33] [189] [181]
01- 1
0-1 1
.names sand_in_1_ [21] [103] [93] [1177] [182]
111-- 1
1--11 1
.names sand_in_0_ sand_in_4_ n_n288 n_n290 n_n291 [189]
1-010 1
-0010 1
.names n_n288 n_n289 n_n290 n_n291 n_n292 [205]
01001 1
.names sand_in_0_ sand_in_4_ n_n292 [23] [206]
1111 1
.names n_n290 n_n291 [27] [1169] [1170] [208]
00--1 1
0011- 1
.names sand_in_0_ sand_in_1_ n_n289 n_n292 [214]
0001 1
.names n_n288 n_n290 n_n292 [215]
110 1
.names n_n288 n_n289 n_n290 [221] [1160] [216]
--01- 1
100-- 1
010-1 1
.names sand_in_4_ n_n288 n_n289 n_n292 [217]
0001 1
.names sand_in_5_ n_n288 n_n289 n_n292 [221]
1--1 1
-1-1 1
--01 1
.names sand_in_0_ sand_in_6_ sand_in_4_ n_n288 [1152] [228]
11-11 1
1-111 1
.names sand_in_1_ n_n288 n_n289 n_n290 n_n291 [229]
11110 1
.names n_n289 n_n290 n_n291 [22] [236] [231]
-10-1 1
1101- 1
.names n_n291 [125] [233]
01 1
.names sand_in_5_ n_n288 [236]
11 1
.names sand_in_0_ sand_in_6_ sand_in_4_ n_n288 [237]
11-1 1
1-11 1
.names sand_in_1_ n_n288 n_n289 n_n290 n_n292 [250]
10001 1
.names sand_in_5_ n_n288 n_n290 n_n291 n_n292 [259]
11101 1
.names n_n291 [273] [274] [275] [262]
11-- 1
1-1- 1
1--1 1
.names sand_in_0_ sand_in_4_ sand_in_5_ n_n289 n_n292 [271]
01010 1
.names sand_in_0_ sand_in_6_ sand_in_4_ n_n288 [272]
1100 1
.names sand_in_1_ n_n288 n_n289 n_n290 n_n292 [273]
10100 1
.names sand_in_0_ sand_in_6_ n_n288 n_n289 n_n292 [274]
11100 1
.names sand_in_1_ n_n288 n_n289 n_n292 [275]
1111 1
1001 1
.names n_n289 n_n292 [22] [1120] [277]
-1-1 1
111- 1
.names sand_in_1_ n_n288 n_n291 [283] [284] [278]
01--- 1
0-1-- 1
0--1- 1
0---1 1
.names sand_in_0_ sand_in_3_ sand_in_4_ n_n289 [283]
0010 1
.names sand_in_0_ sand_in_4_ n_n289 n_n292 [284]
--11 1
01-1 1
.names sand_in_1_ sand_in_3_ n_n288 n_n289 [294]
0011 1
.names n_n288 n_n289 n_n290 n_n291 n_n292 [295]
11101 1
.names n_n290 [38] [315] [1098] [1101] [296]
1---1 1
111-- 1
11-1- 1
.names n_n290 [102] [307] [1090] [1091] [301]
0---1 1
011-- 1
01-1- 1
.names sand_in_10_ sand_in_7_ sand_in_8_ sand_in_9_ n_n288 [307]
0---0 1
---00 1
-10-0 1
.names sand_in_5_ n_n288 n_n289 [315]
110 1
.names n_n288 n_n290 n_n291 n_n292 [321]
1100 1
.names sand_in_1_ sand_in_7_ n_n288 n_n289 [326]
0010 1
.names sand_in_0_ sand_in_6_ sand_in_3_ sand_in_4_ n_n292 [327]
11000 1
.names sand_in_5_ n_n288 n_n289 n_n291 n_n292 [336]
10101 1
.names sand_in_1_ n_n288 n_n291 n_n292 [337]
01-1 1
-110 1
.names sand_in_3_ [24] [82] [1075] [338]
0-1- 1
01-1 1
.names sand_in_1_ n_n289 n_n291 n_n292 [339]
1111 1
.names sand_in_0_ sand_in_6_ n_n290 n_n291 n_n292 [1066]
0-101 1
-0101 1
.names sand_in_2_ n_n290 n_n291 [1068]
100 1
.names sand_in_1_ sand_in_10_ sand_in_9_ n_n292 [1075]
10-0 1
1-00 1
.names [336] [337] [339] [1077]
1-- 1
-1- 1
--1 1
.names [24] [113] [115] [137] [1066] [1079]
--1-1 1
11-1- 1
.names [101] [321] [326] [1068] [1080]
-1-- 1
--1- 1
1--1 1
.names n_n290 n_n291 [36] [138] [327] [1081]
-11-- 1
1--1- 1
--1-1 1
.names n_n290 [338] [1077] [1079] [1080] [1084]
---1- 1
----1 1
01--- 1
0-1-- 1
.names sand_in_10_ sand_in_8_ sand_in_9_ [1085]
100 1
.names sand_in_0_ sand_in_6_ sand_in_4_ [1086]
0-0 1
-00 1
.names sand_in_3_ n_n288 n_n290 n_n291 n_n292 [1087]
00100 1
.names n_n290 sand_in_2_ [1088]
00 1
.names sand_in_0_ sand_in_7_ sand_in_4_ n_n288 [1090]
-10- 1
0--1 1
--01 1
.names sand_in_5_ n_n288 n_n291 n_n292 [1091]
-01- 1
00-1 1
.names sand_in_1_ n_n290 n_n291 n_n292 [22] [1094]
0-1-- 1
-1011 1
.names sand_in_4_ sand_in_3_ [1095]
10 1
.names sand_in_1_ n_n288 n_n289 n_n292 [1096]
1000 1
.names sand_in_0_ sand_in_3_ sand_in_4_ n_n292 [1097]
00-0 1
-000 1
.names sand_in_0_ sand_in_4_ n_n288 n_n289 n_n291 [1098]
---01 1
0100- 1
.names sand_in_1_ n_n288 n_n289 n_n292 [1099]
011- 1
0-11 1
.names [24] [1095] [1096] [1097] [1099] [1101]
----1 1
-11-- 1
1--1- 1
.names sand_in_1_ n_n288 n_n289 n_n291 n_n292 [1102]
1001- 1
011-1 1
-1110 1
.names [25] [23] [1085] [1086] [1087] [1104]
---11 1
111-- 1
.names [25] [101] [23] [144] [1088] [1105]
-1--1 1
1-11- 1
.names [294] [295] [1102] [1104] [1105] [1108]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names sand_in_10_ sand_in_7_ sand_in_9_ n_n292 [1110]
1110 1
.names sand_in_10_ sand_in_8_ sand_in_9_ n_n292 [1112]
1010 1
.names n_n292 sand_in_0_ [1118]
11 1
.names sand_in_0_ sand_in_6_ sand_in_4_ n_n288 n_n291 [1120]
---01 1
1100- 1
.names sand_in_0_ n_n289 n_n291 n_n292 [169] [1124]
-010- 1
1--01 1
.names sand_in_1_ n_n292 [23] [150] [1110] [1127]
--1-1 1
1011- 1
.names sand_in_4_ [60] [23] [259] [1118] [1128]
-1--- 1
---1- 1
1-1-1 1
.names sand_in_3_ [151] [262] [1127] [1128] [1131]
--1-- 1
---1- 1
----1 1
01--- 1
.names n_n288 n_n289 n_n290 n_n291 n_n292 [1132]
10000 1
.names sand_in_10_ sand_in_8_ sand_in_9_ [1133]
01- 1
0-1 1
.names sand_in_1_ n_n292 [23] [70] [1085] [1138]
-011- 1
101-1 1
.names [25] [60] [23] [250] [1133] [1139]
---1- 1
11--- 1
1-1-1 1
.names sand_in_0_ sand_in_6_ n_n291 n_n292 [1142]
1110 1
.names sand_in_1_ n_n291 n_n292 [1143]
110 1
.names n_n288 n_n289 n_n290 [1142] [1143] [1144]
0---1 1
-1--1 1
--1-1 1
1001- 1
.names sand_in_10_ sand_in_7_ sand_in_8_ [1146]
101 1
.names sand_in_5_ n_n288 n_n289 [1147]
00- 1
-00 1
.names sand_in_1_ [37] [126] [237] [1147] [1150]
0-1-- 1
-1-1- 1
-1--1 1
.names sand_in_1_ n_n290 n_n292 [1152]
110 1
.names sand_in_1_ n_n292 [23] [229] [1146] [1153]
---1- 1
101-1 1
.names [106] [23] [228] [1144] [1153] [1155]
--1-- 1
---1- 1
----1 1
11--- 1
.names sand_in_10_ sand_in_9_ sand_in_3_ n_n292 [1160]
0-00 1
-000 1
.names sand_in_1_ n_n288 n_n289 n_n291 [1162]
---1 1
010- 1
.names [113] [27] [104] [214] [215] [1165]
---1- 1
----1 1
111-- 1
.names sand_in_1_ n_n288 n_n292 [1169]
110 1
.names sand_in_1_ n_n288 n_n289 n_n292 [1170]
111- 1
0001 1
.names sand_in_1_ sand_in_10_ sand_in_6_ sand_in_9_ [1173]
100- 1
1-00 1
.names n_n288 n_n289 n_n291 [205] [1173] [1174]
---1- 1
010-1 1
.names sand_in_10_ sand_in_8_ sand_in_9_ [1175]
111 1
.names n_n288 n_n289 n_n290 n_n291 [1177]
1100 1
.names n_n289 n_n290 n_n291 [1178]
010 1
.names sand_in_6_ n_n288 n_n289 n_n290 n_n291 [1181]
-0-10 1
100-0 1
.names sand_in_1_ n_n289 n_n290 n_n291 n_n292 [1183]
1--11 1
110-1 1
.names n_n288 n_n289 n_n290 [1142] [1183] [1184]
----1 1
1001- 1
.names [103] [23] [1110] [1175] [1185]
-11- 1
1--1 1
.names [181] [182] [206] [1174] [1189]
1--- 1
-1-- 1
--1- 1
---1 1
.names sand_in_1_ n_n290 n_n291 n_n292 [1190]
1001 1
.names sand_in_10_ sand_in_7_ sand_in_9_ [1191]
101 1
.names sand_in_1_ n_n289 n_n290 n_n292 [111] [1194]
1110- 1
1-101 1
.names sand_in_4_ n_n288 n_n289 [101] [1190] [1195]
---1- 1
-0--1 1
1-0-1 1
.names sand_in_0_ n_n292 [60] [103] [1191] [1196]
---11 1
111-- 1
.names [206] [1174] [1194] [1195] [1199]
1--- 1
-1-- 1
--1- 1
---1 1
.names sand_in_10_ sand_in_7_ sand_in_8_ sand_in_9_ n_n292 [1200]
11010 1
.names sand_in_1_ n_n290 n_n291 n_n292 [1201]
1101 1
.names sand_in_1_ sand_in_5_ n_n292 [1202]
101 1
.names n_n288 n_n289 n_n290 n_n291 [1203]
1010 1
.names n_n292 sand_in_4_ [1204]
01 1
.names sand_in_1_ n_n290 n_n291 n_n292 [1205]
1000 1
.names [103] [1175] [1202] [1203] [1204] [1208]
--11- 1
11--1 1
.names n_n288 n_n289 [157] [76] [1210]
---1 1
101- 1
.names sand_in_0_ n_n292 [23] [73] [1211]
---1 1
111- 1
.names sand_in_10_ sand_in_8_ sand_in_9_ [1212]
101 1
.names sand_in_1_ sand_in_10_ sand_in_9_ n_n292 [1213]
10-0 1
1-00 1
.names [24] [113] [70] [1132] [1215]
--11 1
111- 1
.names sand_in_10_ sand_in_7_ sand_in_8_ sand_in_9_ n_n292 [1217]
10-10 1
1-110 1
.names n_n291 sand_in_2_ [1218]
00 1
.names [25] [101] [93] [1177] [1218] [1220]
-1--1 1
1-11- 1
.names [23] [24] [134] [1075] [1217] [1221]
1-1-- 1
-1-1- 1
-1--1 1
.end