| .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 [1208] [1209] [1210] [1211] planet1_out_14_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n335 n_n336 [165] [1215] [1216] planet1_out_15_ |
| ---1- 1 |
| ----1 1 |
| 011-- 1 |
| .names [229] [230] [1221] [1222] planet1_out_16_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names planet1_in_1_ planet1_in_2_ n_n336 [1226] [1230] planet1_out_10_ |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| 11--- 1 |
| .names planet1_in_1_ [40] [48] [216] [1235] planet1_out_0_ |
| ----1 1 |
| 01--- 1 |
| 0-1-- 1 |
| 0--1- 1 |
| .names [83] [196] [197] [198] [1246] planet1_out_11_ |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [193] [1250] planet1_out_1_ |
| 1- 1 |
| -1 1 |
| .names [184] [185] [1253] [1257] planet1_out_12_ |
| 1--- 1 |
| -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 planet1_in_3_ [108] [177] [1260] [1261] planet1_out_5_ |
| --1-- 1 |
| 11--- 1 |
| ---11 1 |
| .names n_n335 [40] [33] [162] [1117] [1262] planet1_out_6_ |
| -1-1-- 1 |
| 0-1--1 1 |
| 0-111- 1 |
| .names [43] [48] [139] [166] [1263] [1266] planet1_out_17_ |
| -1---- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| 1-1--- 1 |
| .names planet1_in_1_ planet1_in_2_ n_n332 [102] [84] planet1_out_7_ |
| ----1 1 |
| 1101- 1 |
| .names [54] [60] [62] [68] [1274] planet1_out_18_ |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 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_ [40] [49] [216] planet1_out_9_ |
| 011-- 1 |
| 01-1- 1 |
| 01--1 1 |
| .names [346] [347] [1123] [1124] [1125] n_n83 |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [329] [1136] [1140] [1143] [1145] n_n84 |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [51] [1148] [1151] [1156] [1160] n_n85 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| 01--- 1 |
| .names [69] [294] [295] [297] [1174] n_n86 |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [66] [281] [286] [287] [1189] [1190] n_n87 |
| 1----- 1 |
| -1---- 1 |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| .names [263] [266] [1197] [1198] [1202] n_n88 |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names n_n335 n_n336 [43] |
| 01 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 n_n333 n_n334 n_n335 [103] |
| 011 1 |
| .names planet1_in_5_ planet1_in_4_ n_n333 n_n334 n_n335 [107] |
| 11101 1 |
| .names planet1_in_4_ n_n331 n_n335 n_n336 [40] |
| 0010 1 |
| .names planet1_in_3_ n_n331 n_n332 n_n333 n_n335 [66] |
| 01011 1 |
| .names n_n331 n_n333 n_n334 n_n335 [77] |
| 1011 1 |
| .names planet1_in_6_ n_n331 n_n332 n_n333 n_n334 n_n336 [48] |
| 011000 1 |
| .names n_n333 n_n334 n_n335 [76] |
| 110 1 |
| .names n_n333 n_n334 n_n335 n_n336 [120] |
| 0011 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 [139] |
| -011- 1 |
| 10--1 1 |
| -01-1 1 |
| .names planet1_in_1_ planet1_in_2_ planet1_in_4_ n_n333 n_n334 n_n335 [143] |
| ---01- 1 |
| 0--0-1 1 |
| -0-0-1 1 |
| --0101 1 |
| .names planet1_in_0_ planet1_in_3_ n_n333 n_n334 n_n335 [146] |
| --1-- 1 |
| ---1- 1 |
| 11--0 1 |
| .names planet1_in_6_ n_n331 n_n332 n_n333 n_n334 n_n335 [144] |
| 01-011 1 |
| -00101 1 |
| .names planet1_in_0_ n_n331 n_n332 n_n333 n_n334 n_n335 [108] |
| 001101 1 |
| .names n_n331 n_n333 n_n334 n_n336 [33] |
| 1000 1 |
| .names n_n331 n_n332 n_n334 n_n336 [83] |
| 0110 1 |
| .names planet1_in_6_ n_n331 n_n332 n_n333 n_n334 n_n336 [150] |
| -011-- 1 |
| -0000- 1 |
| 11-000 1 |
| .names planet1_in_0_ n_n331 n_n332 n_n333 n_n335 [69] |
| 10111 1 |
| .names planet1_in_5_ planet1_in_6_ planet1_in_0_ planet1_in_3_ [51] |
| 1--- 1 |
| -1-- 1 |
| --0- 1 |
| ---0 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 [154] |
| -100- 1 |
| 000-1 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 planet1_in_1_ planet1_in_2_ [162] |
| 1- 1 |
| -1 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 [165] |
| 0000- 1 |
| -0110 1 |
| .names planet1_in_6_ n_n331 n_n333 n_n334 n_n335 n_n336 [49] |
| 010000 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 [54] |
| -11-1 1 |
| 00001 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 [60] |
| 0-1-1 1 |
| -01-1 1 |
| 0--11 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [62] |
| 1-1-0- 1 |
| 1--10- 1 |
| 01--00 1 |
| 10--00 1 |
| .names n_n332 n_n333 n_n334 n_n336 [68] |
| 1001 1 |
| .names planet1_in_4_ n_n335 [48] [1270] [1273] [84] |
| 1--1- 1 |
| 1---1 1 |
| 101-- 1 |
| .names n_n331 n_n333 n_n334 n_n335 [166] |
| 0110 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 [177] |
| 100101 1 |
| .names n_n331 n_n333 n_n335 n_n336 [184] |
| 0101 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 [185] |
| 101001 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n336 [186] |
| 10000 1 |
| .names planet1_in_6_ n_n331 n_n332 n_n333 n_n335 n_n336 [193] |
| 111000 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_5_ n_n331 n_n332 n_n334 n_n335 [197] |
| 11101 1 |
| 10001 1 |
| .names n_n331 n_n333 n_n334 n_n335 n_n336 [198] |
| 00101 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 [199] |
| 01100 1 |
| 10000 1 |
| .names planet1_in_5_ n_n331 n_n333 n_n334 n_n336 [200] |
| 01000 1 |
| .names n_n331 n_n332 n_n333 n_n335 n_n336 [212] |
| 10011 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [216] |
| 100000 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 n_n336 [229] |
| --11-1 1 |
| 10--11 1 |
| -01-11 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [230] |
| 11--0- 1 |
| -01-0- 1 |
| -1000- 1 |
| 00--00 1 |
| .names planet1_in_3_ n_n331 n_n332 n_n333 n_n334 n_n335 [263] |
| 1101-- 1 |
| -10-01 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n336 [266] |
| 11001 1 |
| .names planet1_in_5_ planet1_in_0_ planet1_in_3_ planet1_in_4_ n_n333 n_n335 \ |
| [272] |
| 0---10 1 |
| -0--10 1 |
| --0-10 1 |
| ---010 1 |
| .names planet1_in_4_ n_n332 n_n333 n_n334 n_n335 n_n336 [278] |
| 11--10 1 |
| 1100-1 1 |
| .names n_n331 n_n332 n_n334 n_n335 n_n336 [279] |
| 10011 1 |
| .names n_n331 n_n333 n_n334 n_n335 n_n336 [280] |
| 11001 1 |
| .names n_n331 n_n332 [290] [292] [1181] [281] |
| 111-- 1 |
| 11-1- 1 |
| 11--1 1 |
| .names planet1_in_3_ n_n331 n_n332 n_n333 n_n334 [282] |
| 10011 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 [285] |
| 00110 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 [286] |
| 00001 1 |
| .names n_n334 n_n336 [287] |
| 10 1 |
| .names planet1_in_5_ planet1_in_0_ planet1_in_3_ planet1_in_4_ n_n333 n_n336 \ |
| [290] |
| 111110 1 |
| .names n_n333 n_n335 n_n336 [292] |
| 001 1 |
| .names n_n332 n_n333 n_n334 n_n335 n_n336 [294] |
| 001-1 1 |
| 00-11 1 |
| .names planet1_in_3_ n_n331 n_n332 n_n334 n_n335 [295] |
| 11011 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n333 n_n335 [297] |
| 10001 1 |
| .names planet1_in_1_ planet1_in_2_ planet1_in_4_ n_n331 n_n335 n_n336 [299] |
| 0-0010 1 |
| -00010 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [314] |
| -11-01 1 |
| -10011 1 |
| 1100-0 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_3_ n_n331 n_n332 n_n333 [326] |
| 1011 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [327] |
| 000001 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n334 n_n335 [328] |
| 10101 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n334 n_n335 [329] |
| 00010 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 planet1_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 [343] |
| 1111-1 1 |
| -11111 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n334 n_n335 n_n336 [344] |
| 10-101 1 |
| -10001 1 |
| .names n_n332 n_n333 n_n335 n_n336 [345] |
| 0-10 1 |
| 0101 1 |
| .names n_n331 n_n332 [358] [360] [1109] [346] |
| 011-- 1 |
| 01-1- 1 |
| 01--1 1 |
| .names n_n336 [362] [363] [364] [1113] [347] |
| 01--- 1 |
| 0-1-- 1 |
| 0--1- 1 |
| 0---1 1 |
| .names planet1_in_3_ n_n331 n_n332 n_n333 n_n334 [348] |
| 00011 1 |
| .names planet1_in_5_ planet1_in_4_ n_n331 n_n333 n_n334 n_n335 [350] |
| 111101 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 [351] |
| 00011 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n333 n_n334 n_n335 [352] |
| 000101 1 |
| .names planet1_in_0_ planet1_in_3_ n_n333 n_n334 [358] |
| 0110 1 |
| .names planet1_in_4_ n_n335 n_n336 [360] |
| 101 1 |
| .names planet1_in_5_ planet1_in_0_ planet1_in_4_ n_n332 n_n333 [362] |
| 11011 1 |
| .names planet1_in_1_ planet1_in_2_ n_n331 n_n332 n_n333 [363] |
| 0-100 1 |
| -0100 1 |
| .names planet1_in_0_ planet1_in_3_ n_n331 n_n332 n_n335 [364] |
| 0-010 1 |
| -0010 1 |
| .names planet1_in_4_ n_n333 n_n334 n_n335 [1109] |
| -1-0 1 |
| --10 1 |
| 0001 1 |
| .names n_n331 n_n332 n_n333 n_n334 [1113] |
| 10-1 1 |
| 0000 1 |
| .names n_n332 planet1_in_6_ [1117] |
| 10 1 |
| .names [64] [342] [352] [1123] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names planet1_in_1_ planet1_in_2_ n_n335 [48] [343] [348] [1124] |
| ----1- 1 |
| -----1 1 |
| 1101-- 1 |
| .names [344] [345] [350] [351] [1125] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---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_4_ n_n331 n_n332 n_n333 n_n335 n_n336 [1136] |
| 00-11- 1 |
| -11011 1 |
| .names planet1_in_3_ n_n331 n_n332 n_n333 n_n334 n_n335 [1137] |
| -1-011 1 |
| 0101-1 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1140] |
| 0011-- 1 |
| 0110-- 1 |
| 10--10 1 |
| 10101- 1 |
| .names n_n332 [103] [76] [51] [328] [330] [1143] |
| ----1- 1 |
| -----1 1 |
| 1-1--- 1 |
| 11-1-- 1 |
| .names n_n336 [326] [327] [1132] [1133] [1137] [1145] |
| -1---- 1 |
| --1--- 1 |
| -----1 1 |
| 0--1-- 1 |
| 0---1- 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_4_ n_n331 n_n332 n_n333 n_n334 n_n336 [1153] |
| -01-10 1 |
| 001001 1 |
| .names n_n331 n_n332 n_n333 n_n336 [64] [107] [1156] |
| ----1- 1 |
| -010-- 1 |
| 10---1 1 |
| .names [43] [154] [314] [315] [316] [1153] [1160] |
| --1--- 1 |
| ---1-- 1 |
| ----1- 1 |
| -----1 1 |
| 11---- 1 |
| .names n_n331 n_n332 n_n333 n_n335 n_n336 [1168] |
| 101-0 1 |
| 11-10 1 |
| .names [47] [59] [156] [299] [1168] [1174] |
| -1--- 1 |
| ---1- 1 |
| ----1 1 |
| 1-1-- 1 |
| .names n_n333 n_n334 n_n335 [1181] |
| 111 1 |
| 001 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1186] |
| -0011- 1 |
| 0-0-11 1 |
| .names [108] [279] [280] [282] [1189] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [278] [285] [1186] [1190] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n333 n_n335 n_n336 [1195] |
| -10 1 |
| 101 1 |
| .names n_n331 n_n332 n_n334 n_n335 n_n336 [1197] |
| 011-- 1 |
| 00-01 1 |
| .names planet1_in_4_ n_n331 n_n333 n_n335 n_n336 [1198] |
| 1001- 1 |
| 000-1 1 |
| .names n_n331 n_n332 [143] [272] [1195] [1202] |
| -01-- 1 |
| 1--1- 1 |
| 1---1 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1208] |
| -000-- 1 |
| 110-11 1 |
| .names planet1_in_4_ n_n331 n_n333 n_n334 n_n335 n_n336 [1209] |
| 10001- 1 |
| -10000 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n334 n_n335 n_n336 [1210] |
| 100-01 1 |
| -01101 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1211] |
| 0---10 1 |
| 00-01- 1 |
| 0-110- 1 |
| 11101- 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1215] |
| 11101- 1 |
| 0000-1 1 |
| .names planet1_in_6_ planet1_in_4_ n_n331 n_n332 [120] [102] [1216] |
| ---01- 1 |
| -00-1- 1 |
| 1--1-1 1 |
| .names n_n331 n_n332 n_n334 n_n335 [1221] |
| 101- 1 |
| 0-11 1 |
| .names planet1_in_4_ n_n331 n_n333 n_n335 n_n336 [1222] |
| -11-- 1 |
| -1-01 1 |
| 0--10 1 |
| -1-10 1 |
| .names planet1_in_4_ n_n331 n_n333 n_n334 [1226] |
| --1- 1 |
| ---1 1 |
| 10-- 1 |
| .names planet1_in_6_ planet1_in_1_ planet1_in_2_ n_n331 n_n332 n_n335 [1230] |
| -00--- 1 |
| ---1-1 1 |
| ---0-0 1 |
| 1--11- 1 |
| .names n_n331 n_n332 n_n336 [1231] |
| 010 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1232] |
| 11--10 1 |
| 001001 1 |
| .names planet1_in_4_ [146] [144] [212] [1231] [1232] [1235] |
| ---1-- 1 |
| -----1 1 |
| 0-1--- 1 |
| -1--1- 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1239] |
| 0---10 1 |
| 00101- 1 |
| .names [77] [48] [199] [200] [1239] [1246] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 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_n335 n_n336 [1252] |
| 10--10 1 |
| -11011 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1253] |
| 01-1-0 1 |
| 11101- 1 |
| 00101- 1 |
| .names n_n335 [150] [186] [1252] [1257] |
| --1- 1 |
| ---1 1 |
| 01-- 1 |
| .names planet1_in_5_ planet1_in_0_ n_n331 n_n332 n_n334 [1259] |
| 1-011 1 |
| -0011 1 |
| .names n_n333 n_n334 n_n336 [1260] |
| 000 1 |
| .names planet1_in_0_ planet1_in_3_ n_n331 n_n332 n_n335 [1261] |
| 11010 1 |
| .names planet1_in_1_ planet1_in_2_ n_n332 [1262] |
| 110 1 |
| .names planet1_in_4_ n_n331 n_n332 n_n335 n_n336 [1263] |
| 00-10 1 |
| -1110 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 n_n336 [1266] |
| 10011- 1 |
| 1000-1 1 |
| -00011 1 |
| .names n_n331 n_n332 n_n334 n_n335 n_n336 [1270] |
| 000-1 1 |
| 0-101 1 |
| .names n_n331 n_n332 n_n333 n_n334 n_n335 [1273] |
| 100-1 1 |
| 1-011 1 |
| 0-001 1 |
| 011-0 1 |
| 11101 1 |
| .names planet1_in_4_ n_n331 n_n333 n_n334 n_n335 n_n336 [1274] |
| --1--0 1 |
| ---1-0 1 |
| 10--10 1 |
| .end |
