| .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 n_n290 [27] [162] [1157] [1163] [1164] sand_out_5_ |
| ----1- 1 |
| -----1 1 |
| 0-1--- 1 |
| -1-1-- 1 |
| .names sand_in_1_ n_n288 n_n289 n_n290 n_n291 n_n292 [210] sand_out_4_ |
| 1---11- 1 |
| 0-1--0- 1 |
| 0--1-0- 1 |
| ---00-1 1 |
| 00--10- 1 |
| 11100-- 1 |
| 000001- 1 |
| .names n_n292 [129] [183] [1186] [1187] sand_out_7_ |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| 01--- 1 |
| .names [53] [99] [100] [246] [247] [1199] sand_out_6_ |
| 1----- 1 |
| -1---- 1 |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| .names sand_in_0_ sand_in_4_ n_n288 n_n289 [120] [1200] [1201] sand_out_1_ |
| ----11- 1 |
| 0100--1 1 |
| .names sand_in_0_ sand_in_4_ n_n292 [62] [127] [86] sand_out_0_ |
| -----1 1 |
| -101-- 1 |
| 11--1- 1 |
| .names sand_in_0_ n_n288 n_n289 n_n290 n_n291 n_n292 [155] sand_out_3_ |
| 1-----1 1 |
| -00000- 1 |
| 110001- 1 |
| .names [70] [159] [158] [1132] [1212] [1213] [1214] sand_out_2_ |
| 1--1--- 1 |
| --1-1-- 1 |
| -1---1- 1 |
| 1-----1 1 |
| .names sand_in_1_ n_n292 [44] [31] [46] [1223] sand_out_8_ |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| 101--- 1 |
| .names sand_in_3_ n_n290 [143] [1077] [1082] [1083] n_n54 |
| ----1- 1 |
| -----1 1 |
| -0-1-- 1 |
| 001--- 1 |
| .names n_n289 [146] [296] [1108] n_n55 |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names n_n290 n_n291 [42] [153] [261] [1129] n_n56 |
| ----1- 1 |
| -----1 1 |
| 1-1--- 1 |
| -1-1-- 1 |
| .names sand_in_10_ [64] [107] [70] [251] [1132] [1137] n_n57 |
| ----1-- 1 |
| ------1 1 |
| ---1-1- 1 |
| 011---- 1 |
| 101---- 1 |
| .names n_n292 [122] [1155] n_n58 |
| --1 1 |
| 11- 1 |
| .names sand_in_8_ sand_in_9_ [64] |
| 1- 1 |
| -1 1 |
| .names sand_in_1_ n_n288 n_n289 n_n290 n_n291 n_n292 [107] |
| 110000 1 |
| .names n_n290 n_n291 [26] |
| 10 1 |
| .names n_n288 n_n289 n_n290 n_n291 [120] |
| 0100 1 |
| 1000 1 |
| .names sand_in_1_ sand_in_6_ n_n288 n_n289 n_n292 [101] |
| 11000 1 |
| .names n_n290 n_n291 [125] [124] [234] [235] [236] [122] |
| ----1-- 1 |
| -01---- 1 |
| 00-1--- 1 |
| 10---1- 1 |
| 10----1 1 |
| .names sand_in_10_ sand_in_8_ sand_in_9_ n_n288 n_n289 n_n290 n_n291 [62] |
| 1110100 1 |
| .names sand_in_1_ sand_in_3_ n_n288 n_n289 n_n290 n_n291 n_n292 [127] |
| --00101 1 |
| --01100 1 |
| 0000-00 1 |
| 1-11000 1 |
| .names sand_in_0_ sand_in_6_ n_n288 n_n289 n_n290 n_n291 n_n292 [53] |
| 1110010 1 |
| .names sand_in_0_ sand_in_3_ sand_in_4_ n_n288 n_n289 n_n290 n_n291 [129] |
| 1--0-10 1 |
| -1-0-10 1 |
| --00-10 1 |
| ---0110 1 |
| -1--100 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_0_ sand_in_6_ sand_in_4_ n_n288 n_n289 n_n290 n_n291 [44] |
| 0--1100 1 |
| -0-1100 1 |
| --11100 1 |
| .names sand_in_10_ sand_in_7_ sand_in_9_ sand_in_4_ n_n292 [134] |
| ---01 1 |
| 101-0 1 |
| .names sand_in_0_ sand_in_1_ sand_in_6_ sand_in_4_ n_n288 n_n289 n_n292 [133] |
| 01---0- 1 |
| 1---00- 1 |
| ---000- 1 |
| -1---01 1 |
| -100-0- 1 |
| .names n_n290 n_n291 n_n292 [105] |
| 101 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_10_ sand_in_8_ sand_in_9_ [137] |
| 0-- 1 |
| -0- 1 |
| --0 1 |
| .names sand_in_0_ sand_in_6_ sand_in_3_ sand_in_4_ n_n291 n_n292 [136] |
| ----1- 1 |
| 1100-0 1 |
| .names sand_in_3_ n_n292 [102] |
| 00 1 |
| .names n_n290 [105] [102] [22] [148] [303] [1091] [146] |
| -----1- 1 |
| -1-1--- 1 |
| 0-----1 1 |
| 0-1-1-- 1 |
| .names sand_in_10_ sand_in_7_ sand_in_8_ sand_in_9_ [144] |
| 0-11 1 |
| -100 1 |
| .names sand_in_1_ n_n292 [167] [276] [279] [281] [1120] [42] |
| ---1--- 1 |
| ----1-- 1 |
| 0-1---- 1 |
| -1---1- 1 |
| -1----1 1 |
| .names sand_in_0_ sand_in_1_ sand_in_6_ n_n288 n_n289 n_n290 n_n292 [153] |
| -1-11-1 1 |
| -1-00-1 1 |
| 1-110-0 1 |
| -1-0100 1 |
| .names sand_in_10_ sand_in_8_ sand_in_9_ [150] |
| 00- 1 |
| -11 1 |
| .names sand_in_1_ sand_in_6_ n_n288 n_n289 n_n290 n_n291 n_n292 [155] |
| --11101 1 |
| --00101 1 |
| --10010 1 |
| -001100 1 |
| 1-10100 1 |
| 1011000 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 sand_in_1_ sand_in_6_ n_n288 n_n289 n_n290 n_n291 n_n292 [158] |
| --01000 1 |
| --10000 1 |
| 1001101 1 |
| .names sand_in_10_ sand_in_7_ sand_in_8_ sand_in_9_ [27] |
| -01- 1 |
| 0--1 1 |
| --00 1 |
| .names sand_in_10_ sand_in_9_ sand_in_3_ sand_in_5_ n_n288 n_n289 n_n292 [162] |
| ----10- 1 |
| ---1--1 1 |
| ----1-1 1 |
| -----01 1 |
| 0-0-010 1 |
| -00-010 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_0_ sand_in_3_ sand_in_4_ n_n288 n_n289 n_n291 n_n292 [167] |
| ---1--- 1 |
| -----1- 1 |
| ----1-1 1 |
| 0-1---1 1 |
| 001-0-- 1 |
| .names sand_in_0_ sand_in_4_ sand_in_5_ n_n288 n_n289 n_n291 [171] |
| ----01 1 |
| --110- 1 |
| 01-00- 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_0_ sand_in_6_ sand_in_4_ sand_in_5_ n_n288 n_n289 [124] |
| ---00- 1 |
| ----00 1 |
| 11--1- 1 |
| 1-1-1- 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_1_ sand_in_10_ sand_in_9_ n_n288 n_n289 n_n291 n_n292 [143] |
| 0--11-- 1 |
| 10-0100 1 |
| 1-00100 1 |
| .names sand_in_0_ sand_in_10_ sand_in_7_ sand_in_8_ sand_in_9_ sand_in_4_ \ |
| n_n288 [148] |
| --1--0- 1 |
| 0-----1 1 |
| -----01 1 |
| -0----0 1 |
| ----0-0 1 |
| --10--0 1 |
| .names sand_in_0_ sand_in_6_ sand_in_4_ sand_in_5_ n_n288 n_n289 n_n292 [152] |
| 110-0-- 1 |
| 0-10-10 1 |
| .names sand_in_1_ sand_in_6_ sand_in_2_ n_n288 n_n289 n_n291 n_n292 [31] |
| 1100000 1 |
| .names sand_in_3_ n_n288 n_n289 n_n290 n_n291 n_n292 [46] |
| 10-100 1 |
| -01100 1 |
| 1-1000 1 |
| .names sand_in_1_ sand_in_5_ n_n288 n_n289 n_n290 n_n291 n_n292 [86] |
| 1010101 1 |
| .names sand_in_1_ sand_in_4_ n_n288 n_n289 n_n290 n_n291 n_n292 [98] |
| 1-0-001 1 |
| 11-0001 1 |
| .names sand_in_10_ sand_in_7_ sand_in_9_ n_n288 n_n289 n_n290 n_n291 [99] |
| 1010100 1 |
| .names sand_in_0_ n_n288 n_n289 n_n290 n_n291 n_n292 [100] |
| 111101 1 |
| .names sand_in_1_ n_n292 [23] [132] [1182] [183] |
| 10--1 1 |
| 1011- 1 |
| .names sand_in_10_ sand_in_9_ n_n288 n_n289 n_n290 n_n291 [195] |
| 0-0100 1 |
| -00100 1 |
| .names sand_in_1_ sand_in_10_ sand_in_6_ sand_in_9_ n_n288 n_n289 n_n291 [204] |
| 100-010 1 |
| 1-00010 1 |
| .names n_n288 n_n289 n_n290 n_n291 n_n292 [205] |
| 01001 1 |
| .names sand_in_0_ sand_in_4_ n_n288 n_n289 n_n290 n_n291 n_n292 [206] |
| 1110001 1 |
| .names sand_in_1_ sand_in_10_ sand_in_7_ sand_in_8_ sand_in_9_ n_n288 n_n292 \ |
| [210] |
| 1-01-10 1 |
| 10--110 1 |
| 1--0010 1 |
| .names sand_in_0_ sand_in_1_ sand_in_6_ sand_in_4_ n_n288 n_n290 n_n292 [228] |
| 111-110 1 |
| 11-1110 1 |
| .names sand_in_1_ n_n288 n_n289 n_n290 n_n291 [229] |
| 11110 1 |
| .names sand_in_1_ sand_in_4_ n_n288 n_n289 n_n290 n_n291 [234] |
| 0----1 1 |
| 011--- 1 |
| 0-1-1- 1 |
| 0--11- 1 |
| .names sand_in_10_ sand_in_6_ sand_in_7_ sand_in_8_ sand_in_9_ n_n289 [235] |
| -1---1 1 |
| 1---11 1 |
| --1101 1 |
| .names sand_in_5_ n_n288 [236] |
| 11 1 |
| .names sand_in_1_ n_n288 n_n289 n_n290 n_n291 n_n292 [246] |
| 10--10 1 |
| 1-1-10 1 |
| 1--110 1 |
| .names sand_in_10_ sand_in_9_ n_n288 n_n289 n_n290 n_n291 n_n292 [247] |
| 1110000 1 |
| .names sand_in_1_ n_n288 n_n289 n_n290 n_n291 n_n292 [251] |
| -01-1- 1 |
| 0--11- 1 |
| --101- 1 |
| ---011 1 |
| -0--10 1 |
| -1011- 1 |
| .names sand_in_3_ n_n288 n_n289 n_n290 n_n291 [152] [1112] [261] |
| 0--101- 1 |
| 00100-1 1 |
| .names sand_in_0_ sand_in_4_ n_n288 n_n289 n_n290 n_n291 n_n292 [263] |
| 1110001 1 |
| .names sand_in_0_ sand_in_6_ sand_in_3_ sand_in_4_ n_n288 n_n289 n_n292 [276] |
| 11--100 1 |
| 1--1100 1 |
| 1-00000 1 |
| .names n_n289 n_n291 n_n292 [279] |
| 010 1 |
| .names sand_in_10_ sand_in_6_ sand_in_7_ sand_in_8_ sand_in_9_ n_n289 [281] |
| -1---1 1 |
| 1---11 1 |
| --1101 1 |
| .names sand_in_1_ sand_in_6_ sand_in_2_ n_n288 n_n289 n_n290 n_n292 [290] |
| 1100000 1 |
| .names sand_in_1_ n_n290 n_n292 [171] [310] [311] [1099] [296] |
| -1--1-- 1 |
| -1---1- 1 |
| -1----1 1 |
| 1111--- 1 |
| .names sand_in_1_ n_n291 [303] |
| 01 1 |
| .names sand_in_1_ sand_in_3_ sand_in_4_ n_n288 n_n289 n_n292 [310] |
| 101000 1 |
| .names sand_in_0_ sand_in_3_ sand_in_4_ n_n288 n_n289 n_n291 n_n292 [311] |
| 00-0100 1 |
| -000100 1 |
| .names sand_in_1_ n_n288 n_n289 n_n290 n_n291 n_n292 [323] |
| 0101-- 1 |
| 10011- 1 |
| 10-110 1 |
| .names sand_in_1_ sand_in_6_ n_n288 n_n289 n_n290 n_n291 n_n292 [1065] |
| 1001101 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 sand_in_1_ sand_in_5_ n_n288 n_n289 n_n291 n_n292 [1077] |
| 0-1--1 1 |
| --1-10 1 |
| 1--111 1 |
| -10101 1 |
| .names sand_in_1_ sand_in_7_ n_n288 n_n289 n_n290 n_n291 n_n292 [1078] |
| 0010--- 1 |
| --1-100 1 |
| .names [101] [115] [137] [1065] [1066] [1068] [1078] [1082] |
| ------1 1 |
| --11--- 1 |
| -1--1-- 1 |
| 1----1- 1 |
| .names n_n288 n_n289 n_n290 n_n291 [139] [136] [323] [1083] |
| ------1 1 |
| 11---1- 1 |
| 10001-- 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 sand_in_5_ n_n288 n_n291 n_n292 [1091] |
| -01- 1 |
| 00-1 1 |
| .names sand_in_1_ n_n288 n_n289 n_n292 [1099] |
| 011- 1 |
| 0-11 1 |
| .names sand_in_1_ sand_in_3_ n_n288 n_n289 n_n290 n_n291 n_n292 [1106] |
| 0011--- 1 |
| 1-00-1- 1 |
| 0-11--1 1 |
| --11-10 1 |
| --11101 1 |
| .names [107] [144] [290] [1085] [1086] [1087] [1106] [1108] |
| --1---- 1 |
| ------1 1 |
| 11----- 1 |
| 1--1--- 1 |
| ----11- 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 sand_in_0_ sand_in_6_ sand_in_4_ n_n288 n_n291 [1120] |
| ---01 1 |
| 1100- 1 |
| .names sand_in_5_ n_n288 n_n289 n_n290 n_n291 n_n292 [1126] |
| -1110- 1 |
| 11-101 1 |
| .names sand_in_1_ n_n292 [23] [150] [263] [1110] [1126] [1129] |
| ----1-- 1 |
| ------1 1 |
| --1--1- 1 |
| 1011--- 1 |
| .names n_n288 n_n289 n_n290 n_n291 n_n292 [1132] |
| 10000 1 |
| .names sand_in_1_ n_n288 n_n289 n_n290 n_n291 n_n292 [1137] |
| 1000-1 1 |
| 111100 1 |
| .names sand_in_10_ sand_in_7_ sand_in_8_ [1146] |
| 101 1 |
| .names [107] [53] [228] [229] [246] [247] [1146] [1155] |
| -1----- 1 |
| --1---- 1 |
| ---1--- 1 |
| ----1-- 1 |
| -----1- 1 |
| 1-----1 1 |
| .names sand_in_1_ sand_in_6_ n_n288 n_n289 n_n290 n_n292 [1157] |
| 100111 1 |
| .names sand_in_0_ sand_in_1_ n_n288 n_n289 n_n290 n_n292 [1163] |
| --1-10 1 |
| 00-0-1 1 |
| .names sand_in_1_ sand_in_4_ n_n288 n_n289 n_n291 n_n292 [1164] |
| ----1- 1 |
| 0-10-- 1 |
| -000-1 1 |
| .names sand_in_0_ sand_in_6_ sand_in_4_ n_n288 n_n289 n_n290 n_n291 [1182] |
| ---0-10 1 |
| -1-00-0 1 |
| 11--010 1 |
| 1-1-010 1 |
| .names sand_in_1_ n_n289 n_n290 n_n291 n_n292 [1183] |
| 1--11 1 |
| 110-1 1 |
| .names [62] [53] [23] [1110] [1183] [1186] |
| 1---- 1 |
| -1--- 1 |
| ----1 1 |
| --11- 1 |
| .names sand_in_1_ [44] [195] [204] [205] [206] [1187] |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| 11---- 1 |
| 1-1--- 1 |
| .names sand_in_0_ sand_in_1_ sand_in_6_ sand_in_4_ n_n289 n_n290 n_n292 [1194] |
| -1--110 1 |
| 111--10 1 |
| 11-1-10 1 |
| .names [101] [98] [204] [205] [206] [1194] [1199] |
| 1----- 1 |
| -1---- 1 |
| --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_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 sand_in_1_ sand_in_6_ n_n288 n_n289 n_n290 n_n291 n_n292 [1214] |
| 1001101 1 |
| .names sand_in_10_ sand_in_7_ sand_in_8_ sand_in_9_ n_n292 [1217] |
| 10-10 1 |
| 1-110 1 |
| .names [26] [23] [24] [134] [133] [1075] [1217] [1223] |
| -1-1--- 1 |
| 1---1-- 1 |
| --1--1- 1 |
| --1---1 1 |
| .end |
