| .model top |
| .inputs p_30 p_20 p_10 p_12 p_23 p_11 p_24 p_33 pclk p_14 p_21 p_32 p_13 p_22 \ |
| p_31 p_16 p_27 p_15 p_28 p_9 p_18 p_25 p_8 p_17 p_26 p_7 p_6 p_19 p_5 p_29 p_4 \ |
| p_3 p_2 p_1 |
| .outputs p_140 p_151 p_130 p_152 p_153 p_133 p_144 p_134 p_143 p_124 p_131 \ |
| p_142 p_132 p_141 p_150 p_126 p_137 p_148 p_125 p_138 p_147 p_128 p_135 p_146 \ |
| p_127 p_136 p_145 p_129 p_139 p_149 |
| .latch n_1416 n_43 re pclk 2 |
| .latch n_1396 n_39 re pclk 2 |
| .latch n_1401 n_40 re pclk 2 |
| .latch n_1406 n_41 re pclk 2 |
| .latch n_1411 n_42 re pclk 2 |
| .latch n_1376 n_35 re pclk 2 |
| .latch n_1381 n_36 re pclk 2 |
| .latch n_1386 n_37 re pclk 2 |
| .latch n_1391 n_38 re pclk 2 |
| .latch n_204 n_84 re pclk 2 |
| .latch n_1772 n_95 re pclk 2 |
| .latch n_1860 n_106 re pclk 2 |
| .latch n_1948 n_117 re pclk 2 |
| .latch n_205 n_85 re pclk 2 |
| .latch n_1764 n_94 re pclk 2 |
| .latch n_1868 n_107 re pclk 2 |
| .latch n_1940 n_116 re pclk 2 |
| .latch n_206 n_86 re pclk 2 |
| .latch n_1788 n_97 re pclk 2 |
| .latch n_1844 n_104 re pclk 2 |
| .latch n_1932 n_115 re pclk 2 |
| .latch n_1371 n_34 re pclk 2 |
| .latch n_207 n_87 re pclk 2 |
| .latch n_1780 n_96 re pclk 2 |
| .latch n_1852 n_105 re pclk 2 |
| .latch n_1924 n_114 re pclk 2 |
| .latch n_1421 n_44 re pclk 2 |
| .latch n_1476 n_55 re pclk 2 |
| .latch n_186 n_66 re pclk 2 |
| .latch n_197 n_77 re pclk 2 |
| .latch n_1426 n_45 re pclk 2 |
| .latch n_1471 n_54 re pclk 2 |
| .latch n_187 n_67 re pclk 2 |
| .latch n_196 n_76 re pclk 2 |
| .latch n_1431 n_46 re pclk 2 |
| .latch n_1486 n_57 re pclk 2 |
| .latch n_184 n_64 re pclk 2 |
| .latch n_195 n_75 re pclk 2 |
| .latch n_1436 n_47 re pclk 2 |
| .latch n_1481 n_56 re pclk 2 |
| .latch n_185 n_65 re pclk 2 |
| .latch n_194 n_74 re pclk 2 |
| .latch n_1441 n_48 re pclk 2 |
| .latch n_1496 n_59 re pclk 2 |
| .latch n_190 n_70 re pclk 2 |
| .latch n_201 n_81 re pclk 2 |
| .latch n_212 n_92 re pclk 2 |
| .latch n_1836 n_103 re pclk 2 |
| .latch n_1446 n_49 re pclk 2 |
| .latch n_1491 n_58 re pclk 2 |
| .latch n_191 n_71 re pclk 2 |
| .latch n_200 n_80 re pclk 2 |
| .latch n_213 n_93 re pclk 2 |
| .latch n_1828 n_102 re pclk 2 |
| .latch n_1451 n_50 re pclk 2 |
| .latch n_1506 n_61 re pclk 2 |
| .latch n_188 n_68 re pclk 2 |
| .latch n_199 n_79 re pclk 2 |
| .latch n_1908 n_112 re pclk 2 |
| .latch n_1996 n_123 re pclk 2 |
| .latch n_1456 n_51 re pclk 2 |
| .latch n_1501 n_60 re pclk 2 |
| .latch n_189 n_69 re pclk 2 |
| .latch n_198 n_78 re pclk 2 |
| .latch n_1916 n_113 re pclk 2 |
| .latch n_1988 n_122 re pclk 2 |
| .latch n_1461 n_52 re pclk 2 |
| .latch n_1516 n_63 re pclk 2 |
| .latch n_208 n_88 re pclk 2 |
| .latch n_1804 n_99 re pclk 2 |
| .latch n_1892 n_110 re pclk 2 |
| .latch n_1980 n_121 re pclk 2 |
| .latch n_1466 n_53 re pclk 2 |
| .latch n_1511 n_62 re pclk 2 |
| .latch n_209 n_89 re pclk 2 |
| .latch n_1796 n_98 re pclk 2 |
| .latch n_1900 n_111 re pclk 2 |
| .latch n_1972 n_120 re pclk 2 |
| .latch n_192 n_72 re pclk 2 |
| .latch n_203 n_83 re pclk 2 |
| .latch n_210 n_90 re pclk 2 |
| .latch n_1820 n_101 re pclk 2 |
| .latch n_1876 n_108 re pclk 2 |
| .latch n_1964 n_119 re pclk 2 |
| .latch n_193 n_73 re pclk 2 |
| .latch n_202 n_82 re pclk 2 |
| .latch n_211 n_91 re pclk 2 |
| .latch n_1812 n_100 re pclk 2 |
| .latch n_1884 n_109 re pclk 2 |
| .latch n_1956 n_118 re pclk 2 |
| .names n_1091 [339] [643] [2929] p_140 |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names n_1124 n_2102 n_1122 n_1123 [2932] p_151 |
| ----1 1 |
| 1111- 1 |
| 0101- 1 |
| 0110- 1 |
| 1100- 1 |
| .names n_1061 [321] [605] [2935] p_130 |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names n_1127 [346] [595] [2938] p_152 |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names n_1127 [354] [2941] p_153 |
| --1 1 |
| 11- 1 |
| .names n_1069 n_1070 n_1068 n_2102 [2943] p_133 |
| ----1 1 |
| 1111- 1 |
| 0011- 1 |
| 0101- 1 |
| 1001- 1 |
| .names n_1102 [318] [573] [2946] p_144 |
| --1- 1 |
| ---1 1 |
| 01-- 1 |
| .names n_1072 [314] [565] [2949] p_134 |
| --1- 1 |
| ---1 1 |
| 01-- 1 |
| .names n_1100 n_1098 n_1099 n_2102 [2952] p_143 |
| ----1 1 |
| 1111- 1 |
| 0011- 1 |
| 0101- 1 |
| 1001- 1 |
| .names n_1042 [263] [549] [2955] p_124 |
| --1- 1 |
| ---1 1 |
| 01-- 1 |
| .names n_1063 n_2102 n_1062 n_1064 [2958] p_131 |
| ----1 1 |
| 1111- 1 |
| 0101- 1 |
| 0110- 1 |
| 1100- 1 |
| .names n_1096 [288] [533] [2961] p_142 |
| --1- 1 |
| ---1 1 |
| 01-- 1 |
| .names n_1067 [326] [527] [2967] p_132 |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names n_2102 n_1094 n_1093 n_1092 [2970] p_141 |
| ----1 1 |
| 1111- 1 |
| 1001- 1 |
| 1010- 1 |
| 1100- 1 |
| .names n_1121 [356] [510] [2973] p_150 |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names n_1049 [292] [504] [2979] p_126 |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names n_1082 n_1081 n_1080 n_2102 [2982] p_137 |
| ----1 1 |
| 1111- 1 |
| 0011- 1 |
| 0101- 1 |
| 1001- 1 |
| .names n_1115 [323] [487] [2985] p_148 |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names n_2102 n_1044 n_1046 n_1045 [2988] p_125 |
| ----1 1 |
| 1111- 1 |
| 1001- 1 |
| 1010- 1 |
| 1100- 1 |
| .names n_1082 n_1081 n_1080 [365] [2992] p_138 |
| ----1 1 |
| 11-1- 1 |
| 1-11- 1 |
| -111- 1 |
| .names n_2102 n_1111 n_1112 n_1110 [2994] p_147 |
| ----1 1 |
| 1111- 1 |
| 1001- 1 |
| 1010- 1 |
| 1100- 1 |
| .names n_1055 [269] [455] [2997] p_128 |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names n_2102 n_1075 n_1074 n_1076 [3000] p_135 |
| ----1 1 |
| 1111- 1 |
| 1001- 1 |
| 1010- 1 |
| 1100- 1 |
| .names n_1108 [267] [439] [3003] p_146 |
| --1- 1 |
| ---1 1 |
| 01-- 1 |
| .names n_2102 n_1051 n_1052 n_1050 [3008] p_127 |
| ----1 1 |
| 1111- 1 |
| 1001- 1 |
| 1010- 1 |
| 1100- 1 |
| .names n_1078 [302] [250] [3012] p_136 |
| --1- 1 |
| ---1 1 |
| 01-- 1 |
| .names n_2102 n_1105 n_1106 n_1104 [3015] p_145 |
| ----1 1 |
| 1111- 1 |
| 1001- 1 |
| 1010- 1 |
| 1100- 1 |
| .names n_1058 n_2102 n_1057 n_1056 [3018] p_129 |
| ----1 1 |
| 1111- 1 |
| 0101- 1 |
| 0110- 1 |
| 1100- 1 |
| .names n_2102 n_1088 n_1086 n_1087 [3021] p_139 |
| ----1 1 |
| 1111- 1 |
| 1001- 1 |
| 1010- 1 |
| 1100- 1 |
| .names n_1116 n_2102 n_1118 n_1117 [3024] p_149 |
| ----1 1 |
| 1111- 1 |
| 0101- 1 |
| 0110- 1 |
| 1100- 1 |
| .names p_13 p_2 p_1 n_1416 |
| 110 1 |
| .names p_9 p_2 p_1 n_1396 |
| 110 1 |
| .names p_10 p_2 p_1 n_1401 |
| 110 1 |
| .names p_11 p_2 p_1 n_1406 |
| 110 1 |
| .names p_12 p_2 p_1 n_1411 |
| 110 1 |
| .names p_5 p_2 p_1 n_1376 |
| 110 1 |
| .names p_6 p_2 p_1 n_1381 |
| 110 1 |
| .names p_7 p_2 p_1 n_1386 |
| 110 1 |
| .names p_8 p_2 p_1 n_1391 |
| 110 1 |
| .names p_24 n_84 n_2102 [289] n_204 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_5 n_95 n_2102 [272] n_1772 |
| 1-11 1 |
| -110 1 |
| .names p_16 n_106 n_2102 [272] n_1860 |
| 1-11 1 |
| -110 1 |
| .names p_27 n_117 n_2102 [272] n_1948 |
| 1-11 1 |
| -110 1 |
| .names p_25 n_85 n_2102 [289] n_205 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_4 n_94 n_2102 [272] n_1764 |
| 1-11 1 |
| -110 1 |
| .names p_17 n_107 n_2102 [272] n_1868 |
| 1-11 1 |
| -110 1 |
| .names p_26 n_116 n_2102 [272] n_1940 |
| 1-11 1 |
| -110 1 |
| .names p_26 n_86 n_2102 [289] n_206 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_7 n_97 n_2102 [272] n_1788 |
| 1-11 1 |
| -110 1 |
| .names p_14 n_104 n_2102 [272] n_1844 |
| 1-11 1 |
| -110 1 |
| .names p_25 n_115 n_2102 [272] n_1932 |
| 1-11 1 |
| -110 1 |
| .names p_4 p_2 p_1 n_1371 |
| 110 1 |
| .names p_27 n_87 n_2102 [289] n_207 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_6 n_96 n_2102 [272] n_1780 |
| 1-11 1 |
| -110 1 |
| .names p_15 n_105 n_2102 [272] n_1852 |
| 1-11 1 |
| -110 1 |
| .names p_24 n_114 n_2102 [272] n_1924 |
| 1-11 1 |
| -110 1 |
| .names p_14 p_2 p_1 n_1421 |
| 110 1 |
| .names p_25 p_2 p_1 n_1476 |
| 110 1 |
| .names p_6 n_66 n_2102 [289] n_186 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_17 n_77 n_2102 [289] n_197 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_15 p_2 p_1 n_1426 |
| 110 1 |
| .names p_24 p_2 p_1 n_1471 |
| 110 1 |
| .names p_7 n_67 n_2102 [289] n_187 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_16 n_76 n_2102 [289] n_196 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_16 p_2 p_1 n_1431 |
| 110 1 |
| .names p_27 p_2 p_1 n_1486 |
| 110 1 |
| .names p_4 n_64 n_2102 [289] n_184 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_15 n_75 n_2102 [289] n_195 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_17 p_2 p_1 n_1436 |
| 110 1 |
| .names p_26 p_2 p_1 n_1481 |
| 110 1 |
| .names p_5 n_65 n_2102 [289] n_185 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_14 n_74 n_2102 [289] n_194 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_18 p_2 p_1 n_1441 |
| 110 1 |
| .names p_29 p_2 p_1 n_1496 |
| 110 1 |
| .names p_10 n_70 n_2102 [289] n_190 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_21 n_81 n_2102 [289] n_201 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_32 n_92 n_2102 [289] n_212 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_13 n_103 n_2102 [272] n_1836 |
| 1-11 1 |
| -110 1 |
| .names p_19 p_2 p_1 n_1446 |
| 110 1 |
| .names p_28 p_2 p_1 n_1491 |
| 110 1 |
| .names p_11 n_71 n_2102 [289] n_191 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_20 n_80 n_2102 [289] n_200 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_33 n_93 n_2102 n_2384 n_213 |
| --0- 1 |
| 1111 1 |
| 1110 1 |
| .names p_12 n_102 n_2102 [272] n_1828 |
| 1-11 1 |
| -110 1 |
| .names p_20 p_2 p_1 n_1451 |
| 110 1 |
| .names p_31 p_2 p_1 n_1506 |
| 110 1 |
| .names p_8 n_68 n_2102 [289] n_188 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_19 n_79 n_2102 [289] n_199 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_22 n_112 n_2102 [272] n_1908 |
| 1-11 1 |
| -110 1 |
| .names p_33 n_123 n_2102 n_2476 n_1996 |
| 011- 1 |
| 101- 1 |
| 1-11 1 |
| -110 1 |
| .names p_21 p_2 p_1 n_1456 |
| 110 1 |
| .names p_30 p_2 p_1 n_1501 |
| 110 1 |
| .names p_9 n_69 n_2102 [289] n_189 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_18 n_78 n_2102 [289] n_198 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_23 n_113 n_2102 [272] n_1916 |
| 1-11 1 |
| -110 1 |
| .names p_32 n_122 n_2102 [272] n_1988 |
| 1-11 1 |
| -110 1 |
| .names p_22 p_2 p_1 n_1461 |
| 110 1 |
| .names p_33 p_2 p_1 n_1516 |
| 110 1 |
| .names p_28 n_88 n_2102 [289] n_208 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_9 n_99 n_2102 [272] n_1804 |
| 1-11 1 |
| -110 1 |
| .names p_20 n_110 n_2102 [272] n_1892 |
| 1-11 1 |
| -110 1 |
| .names p_31 n_121 n_2102 [272] n_1980 |
| 1-11 1 |
| -110 1 |
| .names p_23 p_2 p_1 n_1466 |
| 110 1 |
| .names p_32 p_2 p_1 n_1511 |
| 110 1 |
| .names p_29 n_89 n_2102 [289] n_209 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_8 n_98 n_2102 [272] n_1796 |
| 1-11 1 |
| -110 1 |
| .names p_21 n_111 n_2102 [272] n_1900 |
| 1-11 1 |
| -110 1 |
| .names p_30 n_120 n_2102 [272] n_1972 |
| 1-11 1 |
| -110 1 |
| .names p_12 n_72 n_2102 [289] n_192 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_23 n_83 n_2102 [289] n_203 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_30 n_90 n_2102 [289] n_210 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_11 n_101 n_2102 [272] n_1820 |
| 1-11 1 |
| -110 1 |
| .names p_18 n_108 n_2102 [272] n_1876 |
| 1-11 1 |
| -110 1 |
| .names p_29 n_119 n_2102 [272] n_1964 |
| 1-11 1 |
| -110 1 |
| .names p_13 n_73 n_2102 [289] n_193 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_22 n_82 n_2102 [289] n_202 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_31 n_91 n_2102 [289] n_211 |
| --0- 1 |
| -111 1 |
| 1-10 1 |
| .names p_10 n_100 n_2102 [272] n_1812 |
| 1-11 1 |
| -110 1 |
| .names p_19 n_109 n_2102 [272] n_1884 |
| 1-11 1 |
| -110 1 |
| .names p_28 n_118 n_2102 [272] n_1956 |
| 1-11 1 |
| -110 1 |
| .names p_10 n_70 n_2102 [289] n_1058 |
| -111 1 |
| 1-10 1 |
| .names p_12 n_102 n_2102 [272] n_1063 |
| 1-11 1 |
| -110 1 |
| .names p_14 n_104 n_2102 [272] n_1069 |
| 1-11 1 |
| -110 1 |
| .names p_14 n_74 n_2102 [289] n_1070 |
| -111 1 |
| 1-10 1 |
| .names p_13 n_73 n_2102 [289] n_1067 |
| -111 1 |
| 1-10 1 |
| .names p_13 n_103 n_2102 [272] n_1066 |
| 1-11 1 |
| -110 1 |
| .names n_1063 n_1067 n_1066 n_1062 n_1064 n_1068 |
| -11-- 1 |
| 11-1- 1 |
| 1-11- 1 |
| 11--1 1 |
| 1-1-1 1 |
| -1-11 1 |
| --111 1 |
| .names p_18 n_78 n_2102 [289] n_1082 |
| -111 1 |
| 1-10 1 |
| .names p_18 n_108 n_2102 [272] n_1081 |
| 1-11 1 |
| -110 1 |
| .names n_1075 n_1074 n_1076 n_1078 n_1079 n_1080 |
| ---11 1 |
| 11-1- 1 |
| 1-11- 1 |
| -111- 1 |
| 11--1 1 |
| 1-1-1 1 |
| -11-1 1 |
| .names p_21 n_81 n_2102 [289] n_1091 |
| -111 1 |
| 1-10 1 |
| .names p_23 n_113 n_2102 [272] n_1096 |
| 1-11 1 |
| -110 1 |
| .names p_25 n_115 n_2102 [272] n_1102 |
| 1-11 1 |
| -110 1 |
| .names p_25 n_85 n_2102 [289] n_1103 |
| -111 1 |
| 1-10 1 |
| .names p_24 n_84 n_2102 [289] n_1100 |
| -111 1 |
| 1-10 1 |
| .names n_1096 n_1094 n_1093 n_1092 n_1097 n_1098 |
| 1---1 1 |
| 111-- 1 |
| 11-1- 1 |
| 1-11- 1 |
| -11-1 1 |
| -1-11 1 |
| --111 1 |
| .names p_24 n_114 n_2102 [272] n_1099 |
| 1-11 1 |
| -110 1 |
| .names p_29 n_89 n_2102 [289] n_1115 |
| -111 1 |
| 1-10 1 |
| .names p_29 n_119 n_2102 [272] n_1114 |
| 1-11 1 |
| -110 1 |
| .names n_1115 n_1114 n_1111 n_1112 n_1110 n_1116 |
| 11--- 1 |
| 1-11- 1 |
| -111- 1 |
| 1-1-1 1 |
| -11-1 1 |
| 1--11 1 |
| -1-11 1 |
| .names p_32 n_92 n_2102 [289] n_1124 |
| -111 1 |
| 1-10 1 |
| .names p_3 p_2 p_1 n_2102 |
| 010 1 |
| .names p_5 n_95 n_2102 [272] n_1042 |
| 1-11 1 |
| -110 1 |
| .names p_7 n_67 n_2102 [289] n_1049 |
| -111 1 |
| 1-10 1 |
| .names p_7 n_97 n_2102 [272] n_1048 |
| 1-11 1 |
| -110 1 |
| .names p_9 n_69 n_2102 [289] n_1055 |
| -111 1 |
| 1-10 1 |
| .names p_8 n_98 n_2102 [272] n_1051 |
| 1-11 1 |
| -110 1 |
| .names p_8 n_68 n_2102 [289] n_1052 |
| -111 1 |
| 1-10 1 |
| .names n_1049 n_1048 n_1044 n_1046 n_1045 n_1050 |
| 11--- 1 |
| 1-11- 1 |
| -111- 1 |
| 1-1-1 1 |
| -11-1 1 |
| 1--11 1 |
| -1-11 1 |
| .names p_11 n_71 n_2102 [289] n_1061 |
| -111 1 |
| 1-10 1 |
| .names p_11 n_101 n_2102 [272] n_1060 |
| 1-11 1 |
| -110 1 |
| .names n_1058 n_1061 n_1060 n_1057 n_1056 n_1062 |
| -11-- 1 |
| 11-1- 1 |
| 1-11- 1 |
| 11--1 1 |
| 1-1-1 1 |
| -1-11 1 |
| --111 1 |
| .names p_15 n_105 n_2102 [272] n_1072 |
| 1-11 1 |
| -110 1 |
| .names p_16 n_106 n_2102 [272] n_1075 |
| 1-11 1 |
| -110 1 |
| .names p_15 n_75 n_2102 [289] n_1073 |
| -111 1 |
| 1-10 1 |
| .names n_1069 n_1070 n_1068 n_1072 n_1073 n_1074 |
| ---11 1 |
| 11-1- 1 |
| 1-11- 1 |
| -111- 1 |
| 11--1 1 |
| 1-1-1 1 |
| -11-1 1 |
| .names p_20 n_80 n_2102 [289] n_1088 |
| -111 1 |
| 1-10 1 |
| .names p_19 n_79 n_2102 [289] n_1085 |
| -111 1 |
| 1-10 1 |
| .names p_19 n_109 n_2102 [272] n_1084 |
| 1-11 1 |
| -110 1 |
| .names n_1082 n_1081 n_1080 n_1085 n_1084 n_1086 |
| ---11 1 |
| 11-1- 1 |
| 1-11- 1 |
| -111- 1 |
| 11--1 1 |
| 1-1-1 1 |
| -11-1 1 |
| .names p_22 n_82 n_2102 [289] n_1094 |
| -111 1 |
| 1-10 1 |
| .names p_22 n_112 n_2102 [272] n_1093 |
| 1-11 1 |
| -110 1 |
| .names n_1091 n_1088 n_1086 n_1087 n_1090 n_1092 |
| 1---1 1 |
| 111-- 1 |
| 11-1- 1 |
| 1-11- 1 |
| -11-1 1 |
| -1-11 1 |
| --111 1 |
| .names p_26 n_116 n_2102 [272] n_1105 |
| 1-11 1 |
| -110 1 |
| .names p_27 n_117 n_2102 [272] n_1108 |
| 1-11 1 |
| -110 1 |
| .names p_26 n_86 n_2102 [289] n_1106 |
| -111 1 |
| 1-10 1 |
| .names n_1102 n_1103 n_1100 n_1098 n_1099 n_1104 |
| 11--- 1 |
| 1-11- 1 |
| -111- 1 |
| 1-1-1 1 |
| -11-1 1 |
| 1--11 1 |
| -1-11 1 |
| .names p_31 n_91 n_2102 [289] n_1121 |
| -111 1 |
| 1-10 1 |
| .names p_30 n_90 n_2102 [289] n_1118 |
| -111 1 |
| 1-10 1 |
| .names p_30 n_120 n_2102 [272] n_1117 |
| 1-11 1 |
| -110 1 |
| .names p_4 n_2102 n_1043 [360] [683] [263] |
| -10-1 1 |
| 1101- 1 |
| 011-0 1 |
| -1100 1 |
| .names n_2102 n_1105 n_1106 n_1104 n_1109 [267] |
| 100-1 1 |
| 10-01 1 |
| 1-001 1 |
| 111-0 1 |
| 11-10 1 |
| 1-110 1 |
| .names n_2102 n_1051 n_1052 n_1050 n_1054 [269] |
| 111-1 1 |
| 11-11 1 |
| 1-111 1 |
| 100-0 1 |
| 10-00 1 |
| 1-000 1 |
| .names p_12 n_72 n_2102 [289] n_1064 |
| -111 1 |
| 1-10 1 |
| .names p_27 n_87 n_2102 [289] n_1109 |
| -111 1 |
| 1-10 1 |
| .names p_33 n_93 n_2102 n_2384 n_1127 |
| 1111 1 |
| 1110 1 |
| .names p_33 p_32 n_123 n_122 [423] [272] |
| 1-0-- 1 |
| 11-0- 1 |
| -100- 1 |
| 11--1 1 |
| -10-1 1 |
| 1--01 1 |
| --001 1 |
| .names p_5 n_65 n_2102 [289] n_1043 |
| -111 1 |
| 1-10 1 |
| .names p_10 n_100 n_2102 [272] n_1057 |
| 1-11 1 |
| -110 1 |
| .names p_16 n_76 n_2102 [289] n_1076 |
| -111 1 |
| 1-10 1 |
| .names p_20 n_110 n_2102 [272] n_1087 |
| 1-11 1 |
| -110 1 |
| .names p_23 n_83 n_2102 [289] n_1097 |
| -111 1 |
| 1-10 1 |
| .names p_31 n_121 n_2102 [272] n_1120 |
| 1-11 1 |
| -110 1 |
| .names n_1116 n_1121 n_1118 n_1117 n_1120 n_1122 |
| -1--1 1 |
| 111-- 1 |
| 11-1- 1 |
| -111- 1 |
| 1-1-1 1 |
| 1--11 1 |
| --111 1 |
| .names p_4 n_1042 n_1043 [360] [683] n_1044 |
| -11-- 1 |
| -1--1 1 |
| --1-1 1 |
| 11-1- 1 |
| 1-11- 1 |
| .names p_6 n_66 n_2102 [289] n_1046 |
| -111 1 |
| 1-10 1 |
| .names p_6 n_96 n_2102 [272] n_1045 |
| 1-11 1 |
| -110 1 |
| .names p_9 n_99 n_2102 [272] n_1054 |
| 1-11 1 |
| -110 1 |
| .names n_1055 n_1051 n_1052 n_1050 n_1054 n_1056 |
| 1---1 1 |
| 111-- 1 |
| 11-1- 1 |
| 1-11- 1 |
| -11-1 1 |
| -1-11 1 |
| --111 1 |
| .names p_17 n_107 n_2102 [272] n_1078 |
| 1-11 1 |
| -110 1 |
| .names p_17 n_77 n_2102 [289] n_1079 |
| -111 1 |
| 1-10 1 |
| .names p_28 n_118 n_2102 [272] n_1111 |
| 1-11 1 |
| -110 1 |
| .names p_28 n_88 n_2102 [289] n_1112 |
| -111 1 |
| 1-10 1 |
| .names n_1105 n_1108 n_1106 n_1104 n_1109 n_1110 |
| -1--1 1 |
| 111-- 1 |
| 11-1- 1 |
| -111- 1 |
| 1-1-1 1 |
| 1--11 1 |
| --111 1 |
| .names n_2102 n_1094 n_1093 n_1092 n_1097 [288] |
| 100-1 1 |
| 10-01 1 |
| 1-001 1 |
| 111-0 1 |
| 11-10 1 |
| 1-110 1 |
| .names p_21 n_111 n_2102 [272] n_1090 |
| 1-11 1 |
| -110 1 |
| .names p_32 n_122 n_2102 [272] n_1123 |
| 1-11 1 |
| -110 1 |
| .names p_33 p_32 n_92 n_93 [310] [289] |
| 1--0- 1 |
| 110-- 1 |
| -100- 1 |
| 11--1 1 |
| 1-0-1 1 |
| -1-01 1 |
| --001 1 |
| .names n_2102 n_1048 n_1044 n_1046 n_1045 [292] |
| 1111- 1 |
| 1000- 1 |
| 111-1 1 |
| 11-11 1 |
| 100-0 1 |
| 10-00 1 |
| .names n_2102 n_1075 n_1074 n_1076 n_1079 [302] |
| 100-1 1 |
| 10-01 1 |
| 1-001 1 |
| 111-0 1 |
| 11-10 1 |
| 1-110 1 |
| .names p_27 p_26 n_86 n_87 [328] [306] |
| 1--0- 1 |
| 110-- 1 |
| -100- 1 |
| 11--1 1 |
| 1-0-1 1 |
| -1-01 1 |
| --001 1 |
| .names p_30 p_31 n_90 n_91 [420] [310] |
| -1-0- 1 |
| 110-- 1 |
| 1-00- 1 |
| 11--1 1 |
| -10-1 1 |
| 1--01 1 |
| --001 1 |
| .names p_32 n_92 [310] n_2384 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_33 n_123 n_2102 n_2476 n_1126 |
| 011- 1 |
| 101- 1 |
| 1-11 1 |
| -110 1 |
| .names n_1069 n_1070 n_1068 n_2102 n_1073 [314] |
| 00-11 1 |
| 0-011 1 |
| -0011 1 |
| 11-10 1 |
| 1-110 1 |
| -1110 1 |
| .names n_1103 n_1100 n_1098 n_1099 n_2102 [318] |
| 011-1 1 |
| 100-1 1 |
| 01-11 1 |
| 0-111 1 |
| 10-01 1 |
| 1-001 1 |
| .names n_1058 n_2102 n_1060 n_1057 n_1056 [321] |
| 1111- 1 |
| 0100- 1 |
| 111-1 1 |
| -1111 1 |
| 010-0 1 |
| -1000 1 |
| .names n_1114 n_2102 n_1111 n_1112 n_1110 [323] |
| 1111- 1 |
| 0100- 1 |
| 111-1 1 |
| 11-11 1 |
| 010-0 1 |
| 01-00 1 |
| .names n_1063 n_1066 n_2102 n_1062 n_1064 [326] |
| 1111- 1 |
| 0010- 1 |
| 111-1 1 |
| -1111 1 |
| 001-0 1 |
| -0100 1 |
| .names p_24 p_25 n_84 n_85 [411] [328] |
| -1-0- 1 |
| 110-- 1 |
| 1-00- 1 |
| 11--1 1 |
| -10-1 1 |
| 1--01 1 |
| --001 1 |
| .names p_23 p_22 n_112 n_113 [417] [331] |
| 1--0- 1 |
| 110-- 1 |
| -100- 1 |
| 11--1 1 |
| 1-0-1 1 |
| -1-01 1 |
| --001 1 |
| .names p_27 p_26 n_117 n_116 [402] [334] |
| 1-0-- 1 |
| 11-0- 1 |
| -100- 1 |
| 11--1 1 |
| -10-1 1 |
| 1--01 1 |
| --001 1 |
| .names n_2102 n_1088 n_1086 n_1087 n_1090 [339] |
| 111-1 1 |
| 11-11 1 |
| 1-111 1 |
| 100-0 1 |
| 10-00 1 |
| 1-000 1 |
| .names p_7 p_6 n_66 n_67 [372] [343] |
| 1--0- 1 |
| 110-- 1 |
| -100- 1 |
| 11--1 1 |
| 1-0-1 1 |
| -1-01 1 |
| --001 1 |
| .names n_1124 n_2102 n_1122 n_1123 n_1126 [346] |
| 111-1 1 |
| 11-11 1 |
| -1111 1 |
| 010-0 1 |
| 01-00 1 |
| -1000 1 |
| .names p_14 p_15 n_75 n_74 [384] [348] |
| -10-- 1 |
| 11-0- 1 |
| 1-00- 1 |
| 11--1 1 |
| 1-0-1 1 |
| -1-01 1 |
| --001 1 |
| .names p_20 p_21 n_81 n_80 [408] [351] |
| -10-- 1 |
| 11-0- 1 |
| 1-00- 1 |
| 11--1 1 |
| 1-0-1 1 |
| -1-01 1 |
| --001 1 |
| .names n_1124 n_2102 n_1122 n_1123 n_1126 [354] |
| -1--1 1 |
| 111-- 1 |
| 11-1- 1 |
| -111- 1 |
| .names n_1116 n_2102 n_1118 n_1117 n_1120 [356] |
| 111-1 1 |
| 11-11 1 |
| -1111 1 |
| 010-0 1 |
| 01-00 1 |
| -1000 1 |
| .names p_16 p_17 n_106 n_107 [390] [358] |
| -1-0- 1 |
| 110-- 1 |
| 1-00- 1 |
| 11--1 1 |
| -10-1 1 |
| 1--01 1 |
| --001 1 |
| .names n_94 n_64 n_2102 [272] [289] [360] |
| -111- 1 |
| 1-1-0 1 |
| --110 1 |
| .names p_3 p_2 p_1 n_1085 n_1084 [365] |
| 01011 1 |
| 01000 1 |
| .names p_3 p_2 p_1 n_1085 n_1084 [364] |
| 01001 1 |
| 01010 1 |
| .names p_12 p_13 n_103 n_102 [387] [369] |
| -10-- 1 |
| 11-0- 1 |
| 1-00- 1 |
| 11--1 1 |
| 1-0-1 1 |
| -1-01 1 |
| --001 1 |
| .names p_5 p_4 n_64 n_65 [372] |
| 1--0 1 |
| 110- 1 |
| -100 1 |
| .names p_10 p_11 n_70 n_71 [399] [375] |
| -1-0- 1 |
| 110-- 1 |
| 1-00- 1 |
| 11--1 1 |
| -10-1 1 |
| 1--01 1 |
| --001 1 |
| .names p_16 p_17 n_77 n_76 [348] [378] |
| -10-- 1 |
| 11-0- 1 |
| 1-00- 1 |
| 11--1 1 |
| 1-0-1 1 |
| -1-01 1 |
| --001 1 |
| .names p_7 p_6 n_97 n_96 [405] [381] |
| 1-0-- 1 |
| 11-0- 1 |
| -100- 1 |
| 11--1 1 |
| -10-1 1 |
| 1--01 1 |
| --001 1 |
| .names p_12 p_13 n_72 n_73 [375] [384] |
| -1-0- 1 |
| 110-- 1 |
| 1-00- 1 |
| 11--1 1 |
| -10-1 1 |
| 1--01 1 |
| --001 1 |
| .names p_10 p_11 n_101 n_100 [414] [387] |
| -10-- 1 |
| 11-0- 1 |
| 1-00- 1 |
| 11--1 1 |
| 1-0-1 1 |
| -1-01 1 |
| --001 1 |
| .names p_14 p_15 n_104 n_105 [369] [390] |
| -1-0- 1 |
| 110-- 1 |
| 1-00- 1 |
| 11--1 1 |
| -10-1 1 |
| 1--01 1 |
| --001 1 |
| .names p_18 p_19 n_108 n_109 [358] [393] |
| -1-0- 1 |
| 110-- 1 |
| 1-00- 1 |
| 11--1 1 |
| -10-1 1 |
| 1--01 1 |
| --001 1 |
| .names p_28 p_29 n_119 n_118 [334] [396] |
| -10-- 1 |
| 11-0- 1 |
| 1-00- 1 |
| 11--1 1 |
| 1-0-1 1 |
| -1-01 1 |
| --001 1 |
| .names p_9 p_8 n_68 n_69 [343] [399] |
| 1--0- 1 |
| 110-- 1 |
| -100- 1 |
| 11--1 1 |
| 1-0-1 1 |
| -1-01 1 |
| --001 1 |
| .names p_24 p_25 n_115 n_114 [331] [402] |
| -10-- 1 |
| 11-0- 1 |
| 1-00- 1 |
| 11--1 1 |
| 1-0-1 1 |
| -1-01 1 |
| --001 1 |
| .names p_5 p_4 n_95 n_94 [405] |
| 1-0- 1 |
| 11-0 1 |
| -100 1 |
| .names p_18 p_19 n_79 n_78 [378] [408] |
| -10-- 1 |
| 11-0- 1 |
| 1-00- 1 |
| 11--1 1 |
| 1-0-1 1 |
| -1-01 1 |
| --001 1 |
| .names p_23 p_22 n_83 n_82 [351] [411] |
| 1-0-- 1 |
| 11-0- 1 |
| -100- 1 |
| 11--1 1 |
| -10-1 1 |
| 1--01 1 |
| --001 1 |
| .names p_9 p_8 n_99 n_98 [381] [414] |
| 1-0-- 1 |
| 11-0- 1 |
| -100- 1 |
| 11--1 1 |
| -10-1 1 |
| 1--01 1 |
| --001 1 |
| .names p_20 p_21 n_110 n_111 [393] [417] |
| -1-0- 1 |
| 110-- 1 |
| 1-00- 1 |
| 11--1 1 |
| -10-1 1 |
| 1--01 1 |
| --001 1 |
| .names p_28 p_29 n_88 n_89 [306] [420] |
| -1-0- 1 |
| 110-- 1 |
| 1-00- 1 |
| 11--1 1 |
| -10-1 1 |
| 1--01 1 |
| --001 1 |
| .names p_30 p_31 n_121 n_120 [396] [423] |
| -10-- 1 |
| 11-0- 1 |
| 1-00- 1 |
| 11--1 1 |
| 1-0-1 1 |
| -1-01 1 |
| --001 1 |
| .names p_32 n_122 [423] n_2476 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names n_1868 n_1075 n_1074 n_1076 n_1079 [250] |
| 111-1 1 |
| 11-11 1 |
| 1-111 1 |
| 100-0 1 |
| 10-00 1 |
| 1-000 1 |
| .names n_1948 n_1105 n_1106 n_1104 n_1109 [439] |
| 111-1 1 |
| 11-11 1 |
| 1-111 1 |
| 100-0 1 |
| 10-00 1 |
| 1-000 1 |
| .names n_189 n_1051 n_1052 n_1050 n_1054 [455] |
| 000-1 1 |
| 00-01 1 |
| 0-001 1 |
| 011-0 1 |
| 01-10 1 |
| 0-110 1 |
| .names n_209 n_1114 n_1111 n_1112 n_1110 [487] |
| 0011- 1 |
| 0100- 1 |
| 001-1 1 |
| 00-11 1 |
| 010-0 1 |
| 01-00 1 |
| .names n_1788 n_1049 n_1044 n_1046 n_1045 [504] |
| 1000- 1 |
| 100-0 1 |
| 10-00 1 |
| .names n_211 n_1116 n_1118 n_1117 n_1120 [510] |
| 000-1 1 |
| 00-01 1 |
| 0-001 1 |
| 011-0 1 |
| 01-10 1 |
| 0-110 1 |
| .names n_193 n_1063 n_1066 n_1062 n_1064 [527] |
| 0101- 1 |
| 010-1 1 |
| 0-011 1 |
| .names n_1916 n_1094 n_1093 n_1092 n_1097 [533] |
| 111-1 1 |
| 11-11 1 |
| 1-111 1 |
| 100-0 1 |
| 10-00 1 |
| 1-000 1 |
| .names p_4 n_1772 n_1043 [360] [683] [549] |
| -11-1 1 |
| 1111- 1 |
| 010-0 1 |
| -1000 1 |
| .names n_1852 n_1069 n_1070 n_1068 n_1073 [565] |
| 111-1 1 |
| 11-11 1 |
| 1-111 1 |
| 100-0 1 |
| 10-00 1 |
| 1-000 1 |
| .names n_1932 n_1103 n_1100 n_1098 n_1099 [573] |
| 1111- 1 |
| 1000- 1 |
| 111-1 1 |
| 11-11 1 |
| 100-0 1 |
| 10-00 1 |
| .names n_213 n_1124 n_1122 n_1123 n_1126 [595] |
| 000-1 1 |
| 00-01 1 |
| 0-001 1 |
| 011-0 1 |
| 01-10 1 |
| 0-110 1 |
| .names n_191 n_1058 n_1060 n_1057 n_1056 [605] |
| 0101- 1 |
| 0010- 1 |
| 010-1 1 |
| 0-011 1 |
| 001-0 1 |
| 0-100 1 |
| .names n_201 n_1088 n_1086 n_1087 n_1090 [643] |
| 000-1 1 |
| 00-01 1 |
| 0-001 1 |
| 011-0 1 |
| 01-10 1 |
| 0-110 1 |
| .names n_94 n_64 n_2102 [272] [289] [683] |
| 11101 1 |
| .names p_20 p_3 p_2 p_1 n_50 [2929] |
| --001 1 |
| 1110- 1 |
| .names p_31 p_3 p_2 p_1 n_61 [2932] |
| --001 1 |
| 1110- 1 |
| .names p_10 p_3 p_2 p_1 n_40 [2935] |
| --001 1 |
| 1110- 1 |
| .names p_32 p_3 p_2 p_1 n_62 [2938] |
| --001 1 |
| 1110- 1 |
| .names p_33 p_3 p_2 p_1 n_63 [2940] |
| --001 1 |
| 1110- 1 |
| .names n_1996 n_1124 n_1122 n_1123 [2940] [2941] |
| ----1 1 |
| 111-- 1 |
| 11-1- 1 |
| 1-11- 1 |
| .names p_13 p_3 p_2 p_1 n_43 [2943] |
| --001 1 |
| 1110- 1 |
| .names p_24 p_3 p_2 p_1 n_54 [2946] |
| --001 1 |
| 1110- 1 |
| .names p_14 p_3 p_2 p_1 n_44 [2949] |
| --001 1 |
| 1110- 1 |
| .names p_23 p_3 p_2 p_1 n_53 [2952] |
| --001 1 |
| 1110- 1 |
| .names p_4 p_3 p_2 p_1 n_34 [2955] |
| --001 1 |
| 1110- 1 |
| .names p_11 p_3 p_2 p_1 n_41 [2958] |
| --001 1 |
| 1110- 1 |
| .names p_22 p_3 p_2 p_1 n_52 [2961] |
| --001 1 |
| 1110- 1 |
| .names p_13 n_103 n_1067 n_2102 [272] [2963] |
| 1-011 1 |
| -1010 1 |
| .names p_12 p_3 p_2 p_1 n_42 [2966] |
| --001 1 |
| 1110- 1 |
| .names n_1063 n_1062 n_1064 [2963] [2966] [2967] |
| ----1 1 |
| 00-1- 1 |
| 0-01- 1 |
| -001- 1 |
| .names p_21 p_3 p_2 p_1 n_51 [2970] |
| --001 1 |
| 1110- 1 |
| .names p_30 p_3 p_2 p_1 n_60 [2973] |
| --001 1 |
| 1110- 1 |
| .names p_7 n_67 n_2102 n_1048 [289] [2975] |
| -0101 1 |
| 0-100 1 |
| .names p_6 p_3 p_2 p_1 n_36 [2978] |
| --001 1 |
| 1110- 1 |
| .names n_1044 n_1046 n_1045 [2975] [2978] [2979] |
| ----1 1 |
| 11-1- 1 |
| 1-11- 1 |
| -111- 1 |
| .names p_17 p_3 p_2 p_1 n_47 [2982] |
| --001 1 |
| 1110- 1 |
| .names p_28 p_3 p_2 p_1 n_58 [2985] |
| --001 1 |
| 1110- 1 |
| .names p_5 p_3 p_2 p_1 n_35 [2988] |
| --001 1 |
| 1110- 1 |
| .names p_18 p_3 p_2 p_1 n_48 [2991] |
| --001 1 |
| 1110- 1 |
| .names n_1082 n_1081 n_1080 [364] [2991] [2992] |
| ----1 1 |
| 00-1- 1 |
| 0-01- 1 |
| -001- 1 |
| .names p_27 p_3 p_2 p_1 n_57 [2994] |
| --001 1 |
| 1110- 1 |
| .names p_8 p_3 p_2 p_1 n_38 [2997] |
| --001 1 |
| 1110- 1 |
| .names p_15 p_3 p_2 p_1 n_45 [3000] |
| --001 1 |
| 1110- 1 |
| .names p_26 p_3 p_2 p_1 n_56 [3003] |
| --001 1 |
| 1110- 1 |
| .names p_7 p_3 p_2 p_1 n_37 [3008] |
| --001 1 |
| 1110- 1 |
| .names p_16 p_3 p_2 p_1 n_46 [3012] |
| --001 1 |
| 1110- 1 |
| .names p_25 p_3 p_2 p_1 n_55 [3015] |
| --001 1 |
| 1110- 1 |
| .names p_9 p_3 p_2 p_1 n_39 [3018] |
| --001 1 |
| 1110- 1 |
| .names p_19 p_3 p_2 p_1 n_49 [3021] |
| --001 1 |
| 1110- 1 |
| .names p_29 p_3 p_2 p_1 n_59 [3024] |
| --001 1 |
| 1110- 1 |
| .end |
