| .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 [162] [1166] sand_out_5_ |
| --1 1 |
| 01- 1 |
| .names [116] [161] [208] [1168] sand_out_4_ |
| 1--- 1 |
| --1- 1 |
| -1-1 1 |
| .names [181] [183] [1186] [1187] sand_out_7_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [247] [1144] [1196] [1199] sand_out_6_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [83] [96] [1201] sand_out_1_ |
| -1- 1 |
| 1-1 1 |
| .names [87] [88] [1202] [1203] sand_out_0_ |
| 1--- 1 |
| -1-- 1 |
| --11 1 |
| .names [74] [1211] sand_out_3_ |
| 1- 1 |
| -1 1 |
| .names [158] [1212] [1216] sand_out_2_ |
| --1 1 |
| 11- 1 |
| .names [31] [41] [46] [1223] sand_out_8_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [325] [1082] [1083] n_n54 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n289 [146] [1109] n_n55 |
| --1 1 |
| 11- 1 |
| .names n_n290 [1124] [1125] [1131] n_n56 |
| ---1 1 |
| 11-- 1 |
| 1-1- 1 |
| .names [249] [1137] [1140] n_n57 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [226] [227] [229] [1154] n_n58 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names sand_in_1_ n_n292 [25] |
| 10 1 |
| .names n_n288 n_n289 [35] |
| 00 1 |
| .names sand_in_1_ n_n292 [38] |
| 11 1 |
| .names n_n292 [23] [70] [51] |
| 011 1 |
| .names sand_in_1_ n_n292 [23] [1085] [52] |
| 1011 1 |
| .names n_n288 n_n289 n_n290 n_n291 [60] |
| 1110 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 sand_in_7_ sand_in_8_ [114] |
| 10 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 n_n288 n_n289 n_n290 n_n291 [103] |
| 0100 1 |
| .names sand_in_4_ n_n288 n_n289 [121] |
| -0- 1 |
| 1-0 1 |
| .names n_n288 n_n289 [39] |
| 10 1 |
| .names sand_in_1_ n_n291 n_n292 [116] |
| 111 1 |
| .names [21] [103] [93] [1177] [130] |
| 11-- 1 |
| --11 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_ [165] [192] [33] |
| --1 1 |
| 11- 1 |
| .names n_n289 [38] [50] [54] [133] |
| --1- 1 |
| 01-- 1 |
| 0--1 1 |
| .names sand_in_0_ sand_in_6_ [29] |
| 0- 1 |
| -0 1 |
| .names n_n288 n_n289 [36] |
| 11 1 |
| .names n_n290 n_n291 n_n292 [105] |
| 101 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_8_ sand_in_9_ [137] |
| 0-- 1 |
| -0- 1 |
| --0 1 |
| .names sand_in_1_ n_n288 n_n289 n_n291 [69] |
| 1001 1 |
| .names sand_in_1_ n_n288 n_n289 [82] |
| 011 1 |
| .names sand_in_3_ n_n292 [102] |
| 00 1 |
| .names n_n288 n_n290 n_n291 [109] |
| 010 1 |
| .names n_n290 [305] [1091] [1094] [146] |
| ---1 1 |
| 01-- 1 |
| 0-1- 1 |
| .names sand_in_1_ n_n291 n_n292 [145] |
| 0-1 1 |
| -10 1 |
| .names sand_in_10_ sand_in_7_ sand_in_8_ sand_in_9_ [144] |
| 0-11 1 |
| -100 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_n292 [24] [113] [159] [158] |
| -11- 1 |
| 0--1 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 n_n288 n_n289 [221] [1160] [162] |
| --1- 1 |
| 10-- 1 |
| 01-1 1 |
| .names n_n288 n_n289 n_n290 n_n291 [165] |
| 0-10 1 |
| -100 1 |
| .names [24] [36] [1205] [1206] [43] |
| -11- 1 |
| 1--1 1 |
| .names sand_in_0_ sand_in_6_ sand_in_4_ [93] |
| 0-- 1 |
| -0- 1 |
| --1 1 |
| .names sand_in_0_ sand_in_4_ [47] |
| 1- 1 |
| -0 1 |
| .names sand_in_0_ sand_in_6_ sand_in_4_ [111] |
| 11- 1 |
| 1-1 1 |
| .names n_n289 [70] [236] [1093] [123] |
| --1- 1 |
| 11-- 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_10_ sand_in_7_ sand_in_8_ sand_in_9_ [149] |
| 0--- 1 |
| ---0 1 |
| -10- 1 |
| .names sand_in_1_ n_n290 n_n291 n_n292 [157] |
| -010 1 |
| 1100 1 |
| .names n_n288 n_n289 [1067] [1218] [31] |
| 0011 1 |
| .names sand_in_4_ n_n292 [23] [56] [34] |
| --11 1 |
| 011- 1 |
| .names sand_in_1_ n_n292 [93] [1177] [41] |
| 1011 1 |
| .names sand_in_3_ n_n292 [165] [192] [46] |
| -0-1 1 |
| 101- 1 |
| .names sand_in_0_ sand_in_4_ n_n288 n_n289 [50] |
| 1-00 1 |
| -000 1 |
| .names sand_in_0_ sand_in_1_ sand_in_6_ sand_in_4_ [54] |
| 01-- 1 |
| -100 1 |
| .names sand_in_10_ sand_in_7_ sand_in_9_ n_n292 [56] |
| 1010 1 |
| .names [24] [113] [70] [65] |
| 111 1 |
| .names sand_in_0_ sand_in_6_ [43] [1210] [74] |
| 1--1 1 |
| 101- 1 |
| .names sand_in_4_ n_n292 [103] [1175] [87] |
| 1011 1 |
| .names sand_in_0_ sand_in_4_ [43] [89] [88] |
| 111- 1 |
| 11-1 1 |
| .names n_n288 n_n289 [105] [91] [89] |
| 001- 1 |
| 00-1 1 |
| .names sand_in_1_ sand_in_3_ n_n291 n_n292 [91] |
| 0000 1 |
| .names sand_in_7_ sand_in_8_ [106] [120] [96] |
| 1011 1 |
| .names sand_in_1_ n_n289 n_n290 n_n292 [173] |
| 1110 1 |
| .names sand_in_1_ n_n289 n_n290 n_n292 [180] |
| 1101 1 |
| .names n_n292 [33] [109] [47] [181] |
| 01-- 1 |
| 0-11 1 |
| .names sand_in_1_ n_n292 [199] [1182] [183] |
| 101- 1 |
| 10-1 1 |
| .names n_n288 n_n289 n_n290 n_n291 [192] |
| 0110 1 |
| .names sand_in_6_ n_n288 n_n289 n_n291 [198] |
| 1000 1 |
| .names [23] [132] [199] |
| 11 1 |
| .names sand_in_0_ sand_in_4_ n_n292 [23] [206] |
| 1111 1 |
| .names [37] [27] [1169] [1170] [208] |
| 1--1 1 |
| 111- 1 |
| .names n_n288 n_n289 [113] [27] [213] |
| 0111 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 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_1_ n_n292 [23] [1146] [226] |
| 1011 1 |
| .names n_n292 [232] [234] [1151] [227] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names n_n288 [111] [1152] [228] |
| 111 1 |
| .names sand_in_1_ [60] [229] |
| 11 1 |
| .names n_n290 n_n291 [237] [1147] [232] |
| 001- 1 |
| 00-1 1 |
| .names n_n291 [35] [93] [1148] [233] |
| 0--1 1 |
| 010- 1 |
| .names sand_in_1_ [243] [1149] [234] |
| 01- 1 |
| 0-1 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 n_n288 n_n289 n_n290 [243] |
| 1-1 1 |
| -11 1 |
| .names sand_in_10_ sand_in_9_ n_n292 [23] [247] |
| 1101 1 |
| .names sand_in_1_ n_n292 [23] [1133] [249] |
| 1011 1 |
| .names n_n291 [256] [1136] [251] |
| 11- 1 |
| 1-1 1 |
| .names sand_in_1_ n_n288 n_n289 n_n290 [256] |
| 0--1 1 |
| -101 1 |
| .names sand_in_3_ [103] [270] [1112] [261] |
| 0-1- 1 |
| 01-1 1 |
| .names n_n291 [275] [1117] [262] |
| 11- 1 |
| 1-1 1 |
| .names sand_in_0_ sand_in_4_ n_n292 [23] [263] |
| 1111 1 |
| .names [26] [272] [1113] [1114] [270] |
| 11-- 1 |
| 1-11 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_n292 [275] |
| 1111 1 |
| 1001 1 |
| .names sand_in_1_ [283] [284] [1122] [278] |
| 01-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names n_n289 n_n291 n_n292 [279] |
| 010 1 |
| .names sand_in_0_ sand_in_6_ sand_in_4_ n_n288 [280] |
| 1100 1 |
| .names n_n289 [70] [1093] [281] |
| 11- 1 |
| 1-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_6_ sand_in_4_ n_n288 n_n289 [287] |
| 1-10 1 |
| -110 1 |
| .names sand_in_3_ sand_in_4_ n_n288 n_n289 [288] |
| 0000 1 |
| .names sand_in_3_ n_n292 [109] [1086] [289] |
| 0011 1 |
| .names n_n288 n_n289 [1067] [1088] [290] |
| 0011 1 |
| .names sand_in_1_ n_n292 [23] [144] [291] |
| 1011 1 |
| .names sand_in_1_ sand_in_3_ n_n288 n_n289 [294] |
| 0011 1 |
| .names n_n290 [312] [1099] [1100] [296] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names sand_in_1_ n_n291 [303] |
| 01 1 |
| .names n_n288 [102] [149] [1090] [305] |
| -1-1 1 |
| 011- 1 |
| .names [38] [83] [315] [316] [312] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names sand_in_5_ n_n288 n_n289 [315] |
| 110 1 |
| .names n_n289 n_n291 [316] |
| 01 1 |
| .names [24] [113] [137] [318] |
| 111 1 |
| .names sand_in_0_ sand_in_6_ [105] [115] [319] |
| 0-11 1 |
| -011 1 |
| .names n_n288 n_n289 [1067] [1068] [320] |
| 0011 1 |
| .names n_n288 n_n290 n_n291 n_n292 [321] |
| 1100 1 |
| .names n_n291 [36] [102] [93] [322] |
| 11-- 1 |
| -110 1 |
| .names n_n290 [329] [1071] [323] |
| 11- 1 |
| 1-1 1 |
| .names [23] [1072] [1073] [324] |
| 11- 1 |
| 1-1 1 |
| .names n_n290 [338] [1077] [325] |
| 01- 1 |
| 0-1 1 |
| .names sand_in_1_ sand_in_7_ n_n288 n_n289 [326] |
| 0010 1 |
| .names sand_in_1_ n_n288 n_n291 n_n292 [329] |
| 1010 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_1_ sand_in_6_ n_n292 [1067] |
| 110 1 |
| .names sand_in_2_ n_n290 n_n291 [1068] |
| 100 1 |
| .names sand_in_1_ n_n288 n_n289 n_n291 [1071] |
| 010- 1 |
| 1001 1 |
| .names sand_in_10_ sand_in_8_ sand_in_9_ n_n292 [1072] |
| ---1 1 |
| 000- 1 |
| .names sand_in_10_ sand_in_7_ sand_in_8_ sand_in_9_ [1073] |
| 01-- 1 |
| -11- 1 |
| -1-0 1 |
| 10-1 1 |
| .names n_n292 sand_in_5_ [1074] |
| 11 1 |
| .names sand_in_1_ sand_in_10_ sand_in_9_ n_n292 [1075] |
| 10-0 1 |
| 1-00 1 |
| .names [24] [337] [339] [1074] [1077] |
| -1-- 1 |
| --1- 1 |
| 1--1 1 |
| .names [326] [321] [1078] |
| 1- 1 |
| -1 1 |
| .names [318] [319] [320] [1078] [1082] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [322] [323] [324] [1083] |
| 1-- 1 |
| -1- 1 |
| --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 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_10_ sand_in_6_ sand_in_9_ [1093] |
| -1- 1 |
| 1-1 1 |
| .names [105] [70] [303] [1093] [1094] |
| --1- 1 |
| 11-- 1 |
| 1--1 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_1_ n_n288 n_n289 n_n292 [1099] |
| 011- 1 |
| 0-11 1 |
| .names [24] [1095] [1096] [1097] [1100] |
| -11- 1 |
| 1--1 1 |
| .names n_n288 n_n289 [69] [145] [1102] |
| --1- 1 |
| 11-1 1 |
| .names n_n292 [60] [294] [1103] |
| --1 1 |
| 11- 1 |
| .names [52] [289] [290] [291] [1107] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [296] [1102] [1103] [1107] [1109] |
| 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_n289 sand_in_5_ [1113] |
| 10 1 |
| .names sand_in_0_ sand_in_4_ n_n292 [1114] |
| 010 1 |
| .names sand_in_1_ n_n290 n_n292 [1115] |
| 100 1 |
| .names n_n288 n_n289 n_n292 [1116] |
| 100 1 |
| .names [29] [104] [1115] [1116] [1117] |
| -11- 1 |
| 0--1 1 |
| .names n_n292 sand_in_0_ [1118] |
| 11 1 |
| .names n_n292 sand_in_0_ [1119] |
| 01 1 |
| .names n_n288 n_n291 [280] [1120] |
| --1 1 |
| 01- 1 |
| .names n_n291 n_n288 [1122] |
| 1- 1 |
| -1 1 |
| .names [279] [287] [288] [1119] [1124] |
| 1--- 1 |
| -1-1 1 |
| --11 1 |
| .names n_n292 [278] [281] [1120] [1125] |
| -1-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names sand_in_5_ n_n288 [60] [105] [1126] |
| --1- 1 |
| 11-1 1 |
| .names [25] [23] [150] [1110] [1127] |
| -1-1 1 |
| 111- 1 |
| .names [263] [1126] [1127] [1129] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [261] [262] [1129] [1131] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names sand_in_10_ sand_in_8_ sand_in_9_ [1133] |
| 01- 1 |
| 0-1 1 |
| .names n_n288 n_n289 n_n290 [1134] |
| 000 1 |
| .names n_n288 n_n289 n_n290 n_n292 [1136] |
| 01-- 1 |
| -10- 1 |
| --01 1 |
| 0--0 1 |
| .names sand_in_1_ n_n292 [60] [1134] [1137] |
| 101- 1 |
| 11-1 1 |
| .names [51] [52] [251] [1140] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n288 n_n289 n_n290 [1141] |
| 100 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_n290 [39] [1142] [1143] [1144] |
| 1--1 1 |
| -0-1 1 |
| 011- 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_0_ sand_in_4_ n_n288 n_n289 [1148] |
| --11 1 |
| 0100 1 |
| .names sand_in_4_ n_n288 n_n291 [1149] |
| --1 1 |
| 11- 1 |
| .names n_n290 n_n291 [123] [233] [1151] |
| ---1 1 |
| 101- 1 |
| .names sand_in_1_ n_n290 n_n292 [1152] |
| 110 1 |
| .names [106] [23] [228] [1144] [1154] |
| --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 [1162] [217] [1164] |
| 1- 1 |
| -1 1 |
| .names [213] [214] [215] [1164] [1166] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n292 sand_in_1_ [1168] |
| 00 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_n290 n_n292 [24] [1173] [1174] |
| --11 1 |
| 011- 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 [109] [111] [198] [1178] [1182] |
| 1--- 1 |
| --1- 1 |
| -1-1 1 |
| .names [116] [180] [1141] [1142] [1184] |
| 1--- 1 |
| -1-- 1 |
| --11 1 |
| .names [103] [23] [1110] [1175] [1185] |
| -11- 1 |
| 1--1 1 |
| .names [1185] [1184] [1186] |
| 1- 1 |
| -1 1 |
| .names sand_in_1_ [130] [206] [1174] [1187] |
| --1- 1 |
| ---1 1 |
| 11-- 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 n_n292 sand_in_0_ [1192] |
| 11 1 |
| .names [111] [173] [1152] [1194] |
| -1- 1 |
| 1-1 1 |
| .names [35] [121] [1067] [1190] [1195] |
| 1-1- 1 |
| -1-1 1 |
| .names [60] [103] [1191] [1192] [1196] |
| -11- 1 |
| 1--1 1 |
| .names [206] [1174] [1194] [1195] [1199] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 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 sand_in_1_ n_n290 n_n291 n_n292 [1205] |
| 1000 1 |
| .names n_n292 n_n290 [1206] |
| 01 1 |
| .names n_n288 n_n289 n_n292 [1209] |
| 000 1 |
| .names n_n288 n_n289 [105] [157] [1210] |
| 111- 1 |
| 001- 1 |
| 10-1 1 |
| .names [37] [39] [1118] [1209] [1211] |
| 1--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 [51] [159] [65] [1213] [1216] |
| 1--- 1 |
| --1- 1 |
| -1-1 1 |
| .names n_n291 sand_in_2_ [1218] |
| 00 1 |
| .names [106] [114] [24] [1075] [1219] |
| --11 1 |
| 101- 1 |
| .names [26] [133] [34] [1219] [1223] |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .end |
