| .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] [2930] p_140 |
| --1 1 |
| 11- 1 |
| .names n_1124 [341] [2933] p_151 |
| --1 1 |
| 11- 1 |
| .names n_1061 [321] [2936] p_130 |
| --1 1 |
| 11- 1 |
| .names n_1127 [346] [2939] p_152 |
| --1 1 |
| 11- 1 |
| .names n_1127 [354] [2941] p_153 |
| --1 1 |
| 11- 1 |
| .names n_1069 [296] [2944] p_133 |
| --1 1 |
| 01- 1 |
| .names n_1102 [318] [2947] p_144 |
| --1 1 |
| 01- 1 |
| .names n_1072 [314] [2950] p_134 |
| --1 1 |
| 01- 1 |
| .names n_1100 [316] [2953] p_143 |
| --1 1 |
| 11- 1 |
| .names n_1042 [263] [2956] p_124 |
| --1 1 |
| 01- 1 |
| .names n_1063 [286] [2959] p_131 |
| --1 1 |
| 01- 1 |
| .names n_1096 [288] [2962] p_142 |
| --1 1 |
| 01- 1 |
| .names n_1067 [326] [2968] p_132 |
| --1 1 |
| 11- 1 |
| .names n_1094 [304] [2971] p_141 |
| --1 1 |
| 11- 1 |
| .names n_1121 [356] [2974] p_150 |
| --1 1 |
| 11- 1 |
| .names n_1049 [292] [2980] p_126 |
| --1 1 |
| 11- 1 |
| .names n_1082 [294] [2983] p_137 |
| --1 1 |
| 11- 1 |
| .names n_1115 [323] [2986] p_148 |
| --1 1 |
| 11- 1 |
| .names n_1044 [282] [2989] p_125 |
| --1 1 |
| 11- 1 |
| .names n_1083 [365] [2992] p_138 |
| --1 1 |
| 11- 1 |
| .names n_1111 [284] [2995] p_147 |
| --1 1 |
| 01- 1 |
| .names n_1055 [269] [2998] p_128 |
| --1 1 |
| 11- 1 |
| .names n_1075 [265] [3001] p_135 |
| --1 1 |
| 01- 1 |
| .names n_1108 [267] [3004] p_146 |
| --1 1 |
| 01- 1 |
| .names n_1051 [300] [3010] p_127 |
| --1 1 |
| 01- 1 |
| .names n_1078 [302] [3013] p_136 |
| --1 1 |
| 01- 1 |
| .names n_1105 [298] [3016] p_145 |
| --1 1 |
| 01- 1 |
| .names n_1058 [363] [3019] p_129 |
| --1 1 |
| 11- 1 |
| .names n_1088 [271] [3022] p_139 |
| --1 1 |
| 11- 1 |
| .names n_1116 [367] [3025] p_149 |
| --1 1 |
| 11- 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 n_2102 [864] [865] n_204 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_2102 [804] [805] n_1772 |
| 11- 1 |
| 1-1 1 |
| .names n_2102 [802] [803] n_1860 |
| 11- 1 |
| 1-1 1 |
| .names n_2102 [800] [801] n_1948 |
| 11- 1 |
| 1-1 1 |
| .names n_2102 [798] [799] n_205 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names [796] [797] n_1764 |
| 1- 1 |
| -1 1 |
| .names n_2102 [794] [795] n_1868 |
| 11- 1 |
| 1-1 1 |
| .names n_2102 [792] [793] n_1940 |
| 11- 1 |
| 1-1 1 |
| .names n_2102 [790] [791] n_206 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_2102 [788] [789] n_1788 |
| 11- 1 |
| 1-1 1 |
| .names n_2102 [786] [787] n_1844 |
| 11- 1 |
| 1-1 1 |
| .names n_2102 [784] [785] n_1932 |
| 11- 1 |
| 1-1 1 |
| .names p_4 p_2 p_1 n_1371 |
| 110 1 |
| .names n_2102 [782] [783] n_207 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_2102 [780] [781] n_1780 |
| 11- 1 |
| 1-1 1 |
| .names n_2102 [778] [779] n_1852 |
| 11- 1 |
| 1-1 1 |
| .names n_2102 [776] [777] n_1924 |
| 11- 1 |
| 1-1 1 |
| .names p_14 p_2 p_1 n_1421 |
| 110 1 |
| .names p_25 p_2 p_1 n_1476 |
| 110 1 |
| .names n_2102 [774] [775] n_186 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_2102 [772] [773] n_197 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names p_15 p_2 p_1 n_1426 |
| 110 1 |
| .names p_24 p_2 p_1 n_1471 |
| 110 1 |
| .names n_2102 [770] [771] n_187 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_2102 [768] [769] n_196 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names p_16 p_2 p_1 n_1431 |
| 110 1 |
| .names p_27 p_2 p_1 n_1486 |
| 110 1 |
| .names [766] [2925] n_184 |
| 1- 1 |
| -1 1 |
| .names n_2102 [763] [764] n_195 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names p_17 p_2 p_1 n_1436 |
| 110 1 |
| .names p_26 p_2 p_1 n_1481 |
| 110 1 |
| .names n_2102 [761] [762] n_185 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_2102 [759] [760] n_194 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names p_18 p_2 p_1 n_1441 |
| 110 1 |
| .names p_29 p_2 p_1 n_1496 |
| 110 1 |
| .names n_2102 [757] [758] n_190 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_2102 [755] [756] n_201 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_2102 [753] [754] n_212 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_2102 [751] [752] n_1836 |
| 11- 1 |
| 1-1 1 |
| .names p_19 p_2 p_1 n_1446 |
| 110 1 |
| .names p_28 p_2 p_1 n_1491 |
| 110 1 |
| .names n_2102 [749] [750] n_191 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_2102 [747] [748] n_200 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_2102 [745] [746] n_213 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_2102 [743] [744] n_1828 |
| 11- 1 |
| 1-1 1 |
| .names p_20 p_2 p_1 n_1451 |
| 110 1 |
| .names p_31 p_2 p_1 n_1506 |
| 110 1 |
| .names n_2102 [741] [742] n_188 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_2102 [739] [740] n_199 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_2102 [737] [738] n_1908 |
| 11- 1 |
| 1-1 1 |
| .names n_2102 [735] [736] n_1996 |
| 11- 1 |
| 1-1 1 |
| .names p_21 p_2 p_1 n_1456 |
| 110 1 |
| .names p_30 p_2 p_1 n_1501 |
| 110 1 |
| .names n_2102 [733] [734] n_189 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_2102 [731] [732] n_198 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_2102 [729] [730] n_1916 |
| 11- 1 |
| 1-1 1 |
| .names n_2102 [727] [728] n_1988 |
| 11- 1 |
| 1-1 1 |
| .names p_22 p_2 p_1 n_1461 |
| 110 1 |
| .names p_33 p_2 p_1 n_1516 |
| 110 1 |
| .names n_2102 [725] [726] n_208 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_2102 [723] [724] n_1804 |
| 11- 1 |
| 1-1 1 |
| .names n_2102 [721] [722] n_1892 |
| 11- 1 |
| 1-1 1 |
| .names n_2102 [719] [720] n_1980 |
| 11- 1 |
| 1-1 1 |
| .names p_23 p_2 p_1 n_1466 |
| 110 1 |
| .names p_32 p_2 p_1 n_1511 |
| 110 1 |
| .names n_2102 [717] [718] n_209 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_2102 [715] [716] n_1796 |
| 11- 1 |
| 1-1 1 |
| .names n_2102 [713] [714] n_1900 |
| 11- 1 |
| 1-1 1 |
| .names n_2102 [711] [712] n_1972 |
| 11- 1 |
| 1-1 1 |
| .names n_2102 [709] [710] n_192 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_2102 [707] [708] n_203 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_2102 [705] [706] n_210 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_2102 [703] [704] n_1820 |
| 11- 1 |
| 1-1 1 |
| .names n_2102 [701] [702] n_1876 |
| 11- 1 |
| 1-1 1 |
| .names n_2102 [699] [700] n_1964 |
| 11- 1 |
| 1-1 1 |
| .names n_2102 [697] [698] n_193 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_2102 [695] [696] n_202 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_2102 [693] [694] n_211 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_2102 [691] [692] n_1812 |
| 11- 1 |
| 1-1 1 |
| .names n_2102 [689] [690] n_1884 |
| 11- 1 |
| 1-1 1 |
| .names n_2102 [687] [688] n_1956 |
| 11- 1 |
| 1-1 1 |
| .names [757] [758] n_1058 |
| 1- 1 |
| -1 1 |
| .names n_2102 [272] [212] |
| 11 1 |
| .names [743] [744] n_1063 |
| 1- 1 |
| -1 1 |
| .names [786] [787] n_1069 |
| 1- 1 |
| -1 1 |
| .names [759] [760] n_1070 |
| 1- 1 |
| -1 1 |
| .names [697] [698] n_1067 |
| 1- 1 |
| -1 1 |
| .names [751] [752] n_1066 |
| 1- 1 |
| -1 1 |
| .names n_1063 n_1062 n_1064 n_1065 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names n_1067 n_1066 n_1065 n_1068 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names [731] [732] n_1082 |
| 1- 1 |
| -1 1 |
| .names [701] [702] n_1081 |
| 1- 1 |
| -1 1 |
| .names n_1078 n_1079 n_1077 n_1080 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names n_1082 n_1081 n_1080 n_1083 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names [755] [756] n_1091 |
| 1- 1 |
| -1 1 |
| .names [729] [730] n_1096 |
| 1- 1 |
| -1 1 |
| .names [784] [785] n_1102 |
| 1- 1 |
| -1 1 |
| .names [798] [799] n_1103 |
| 1- 1 |
| -1 1 |
| .names [864] [865] n_1100 |
| 1- 1 |
| -1 1 |
| .names n_1096 n_1095 n_1097 n_1098 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names [776] [777] n_1099 |
| 1- 1 |
| -1 1 |
| .names n_1100 n_1098 n_1099 n_1101 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names [717] [718] n_1115 |
| 1- 1 |
| -1 1 |
| .names [699] [700] n_1114 |
| 1- 1 |
| -1 1 |
| .names n_1111 n_1112 n_1110 n_1113 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names n_1115 n_1114 n_1113 n_1116 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names [753] [754] n_1124 |
| 1- 1 |
| -1 1 |
| .names p_3 p_2 p_1 n_2102 |
| 010 1 |
| .names [804] [805] n_1042 |
| 1- 1 |
| -1 1 |
| .names [770] [771] n_1049 |
| 1- 1 |
| -1 1 |
| .names [788] [789] n_1048 |
| 1- 1 |
| -1 1 |
| .names [733] [734] n_1055 |
| 1- 1 |
| -1 1 |
| .names [715] [716] n_1051 |
| 1- 1 |
| -1 1 |
| .names [741] [742] n_1052 |
| 1- 1 |
| -1 1 |
| .names n_1049 n_1048 n_1047 n_1050 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names n_1051 n_1052 n_1050 n_1053 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names [749] [750] n_1061 |
| 1- 1 |
| -1 1 |
| .names n_1058 n_1057 n_1056 n_1059 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names [703] [704] n_1060 |
| 1- 1 |
| -1 1 |
| .names n_1061 n_1059 n_1060 n_1062 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names [778] [779] n_1072 |
| 1- 1 |
| -1 1 |
| .names [802] [803] n_1075 |
| 1- 1 |
| -1 1 |
| .names n_1069 n_1070 n_1068 n_1071 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names [763] [764] n_1073 |
| 1- 1 |
| -1 1 |
| .names n_1072 n_1071 n_1073 n_1074 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names [747] [748] n_1088 |
| 1- 1 |
| -1 1 |
| .names [739] [740] n_1085 |
| 1- 1 |
| -1 1 |
| .names [689] [690] n_1084 |
| 1- 1 |
| -1 1 |
| .names n_1083 n_1085 n_1084 n_1086 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names [695] [696] n_1094 |
| 1- 1 |
| -1 1 |
| .names [737] [738] n_1093 |
| 1- 1 |
| -1 1 |
| .names n_1091 n_1089 n_1090 n_1092 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names n_1094 n_1093 n_1092 n_1095 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names [792] [793] n_1105 |
| 1- 1 |
| -1 1 |
| .names [800] [801] n_1108 |
| 1- 1 |
| -1 1 |
| .names [790] [791] n_1106 |
| 1- 1 |
| -1 1 |
| .names n_1102 n_1103 n_1101 n_1104 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names n_1105 n_1106 n_1104 n_1107 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names [693] [694] n_1121 |
| 1- 1 |
| -1 1 |
| .names [705] [706] n_1118 |
| 1- 1 |
| -1 1 |
| .names [711] [712] n_1117 |
| 1- 1 |
| -1 1 |
| .names n_1116 n_1118 n_1117 n_1119 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names n_2102 n_1043 n_n262 [263] |
| 101 1 |
| 110 1 |
| .names n_2102 n_1074 n_1076 [265] |
| 101 1 |
| 110 1 |
| .names n_2102 n_1107 n_1109 [267] |
| 101 1 |
| 110 1 |
| .names n_2102 n_1053 n_1054 [269] |
| 111 1 |
| 100 1 |
| .names n_2102 n_1086 n_1087 [271] |
| 111 1 |
| 100 1 |
| .names [709] [710] n_1064 |
| 1- 1 |
| -1 1 |
| .names [782] [783] n_1109 |
| 1- 1 |
| -1 1 |
| .names [745] [746] n_1127 |
| 1- 1 |
| -1 1 |
| .names p_33 n_123 n_2476 [272] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names [761] [762] n_1043 |
| 1- 1 |
| -1 1 |
| .names [691] [692] n_1057 |
| 1- 1 |
| -1 1 |
| .names [768] [769] n_1076 |
| 1- 1 |
| -1 1 |
| .names [721] [722] n_1087 |
| 1- 1 |
| -1 1 |
| .names n_1088 n_1086 n_1087 n_1089 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names [707] [708] n_1097 |
| 1- 1 |
| -1 1 |
| .names [719] [720] n_1120 |
| 1- 1 |
| -1 1 |
| .names n_1121 n_1119 n_1120 n_1122 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names n_1042 n_1043 n_n262 n_1044 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names [774] [775] n_1046 |
| 1- 1 |
| -1 1 |
| .names [780] [781] n_1045 |
| 1- 1 |
| -1 1 |
| .names n_1044 n_1046 n_1045 n_1047 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names [723] [724] n_1054 |
| 1- 1 |
| -1 1 |
| .names n_1055 n_1053 n_1054 n_1056 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names [794] [795] n_1078 |
| 1- 1 |
| -1 1 |
| .names [772] [773] n_1079 |
| 1- 1 |
| -1 1 |
| .names n_1075 n_1074 n_1076 n_1077 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names [687] [688] n_1111 |
| 1- 1 |
| -1 1 |
| .names [725] [726] n_1112 |
| 1- 1 |
| -1 1 |
| .names n_1108 n_1107 n_1109 n_1110 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names n_2102 n_1046 n_1045 [282] |
| 111 1 |
| 100 1 |
| .names n_2102 n_1046 n_1045 [281] |
| 101 1 |
| 110 1 |
| .names n_2102 n_1112 n_1110 [284] |
| 101 1 |
| 110 1 |
| .names n_2102 n_1062 n_1064 [286] |
| 101 1 |
| 110 1 |
| .names n_2102 n_1095 n_1097 [288] |
| 101 1 |
| 110 1 |
| .names [713] [714] n_1090 |
| 1- 1 |
| -1 1 |
| .names [727] [728] n_1123 |
| 1- 1 |
| -1 1 |
| .names p_33 n_93 n_2384 [289] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names n_2102 n_1048 n_1047 [292] |
| 111 1 |
| 100 1 |
| .names n_1081 n_1080 n_2102 [294] |
| 111 1 |
| 001 1 |
| .names n_1070 n_1068 n_2102 [296] |
| 011 1 |
| 101 1 |
| .names n_2102 n_1106 n_1104 [298] |
| 101 1 |
| 110 1 |
| .names p_4 [360] [683] n_n262 |
| --1 1 |
| 11- 1 |
| .names n_2102 n_1052 n_1050 [300] |
| 101 1 |
| 110 1 |
| .names n_2102 n_1079 n_1077 [302] |
| 101 1 |
| 110 1 |
| .names n_2102 n_1093 n_1092 [304] |
| 111 1 |
| 100 1 |
| .names p_27 n_87 n_2366 [306] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_28 n_88 [306] n_2372 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_31 n_91 n_2378 [310] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_32 n_92 [310] n_2384 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names [735] [736] n_1126 |
| 1- 1 |
| -1 1 |
| .names n_2102 n_1071 n_1073 [314] |
| 101 1 |
| 110 1 |
| .names n_1098 n_1099 n_2102 [316] |
| 111 1 |
| 001 1 |
| .names n_1103 n_1101 n_2102 [318] |
| 011 1 |
| 101 1 |
| .names n_2102 n_1059 n_1060 [321] |
| 111 1 |
| 100 1 |
| .names n_1114 n_1113 n_2102 [323] |
| 111 1 |
| 001 1 |
| .names n_1124 n_1122 n_1123 n_1125 |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names n_1066 n_1065 n_2102 [326] |
| 111 1 |
| 001 1 |
| .names p_25 n_85 n_2360 [328] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_26 n_86 [328] n_2366 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_23 n_113 n_2446 [331] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_24 n_114 [331] n_2452 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_27 n_117 n_2458 [334] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_28 n_118 [334] n_2464 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names n_2102 n_1089 n_1090 [339] |
| 111 1 |
| 100 1 |
| .names n_2102 n_1122 n_1123 [341] |
| 111 1 |
| 100 1 |
| .names p_7 n_67 n_2306 [343] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_8 n_68 [343] n_2312 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names n_2102 n_1126 n_1125 [346] |
| 111 1 |
| 100 1 |
| .names p_15 n_75 n_2330 [348] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_16 n_76 [348] n_2336 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_21 n_81 n_2348 [351] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_22 n_82 [351] n_2354 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names n_2102 n_1126 n_1125 [354] |
| 11- 1 |
| 1-1 1 |
| .names n_2102 n_1119 n_1120 [356] |
| 111 1 |
| 100 1 |
| .names p_17 n_107 n_2428 [358] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_18 n_108 [358] n_2434 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names [212] [361] [686] [360] |
| --1 1 |
| 11- 1 |
| .names n_2102 n_1057 n_1056 [363] |
| 111 1 |
| 100 1 |
| .names n_2102 n_1085 n_1084 [365] |
| 111 1 |
| 100 1 |
| .names n_2102 n_1085 n_1084 [364] |
| 101 1 |
| 110 1 |
| .names n_2102 n_1118 n_1117 [367] |
| 111 1 |
| 100 1 |
| .names n_2102 n_1118 n_1117 [366] |
| 101 1 |
| 110 1 |
| .names p_13 n_103 n_2416 [369] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_14 n_104 [369] n_2422 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_5 n_65 [2923] [372] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_6 n_66 [372] n_2306 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_11 n_71 n_2318 [375] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_12 n_72 [375] n_2324 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_17 n_77 n_2336 [378] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_18 n_78 [378] n_2342 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_7 n_97 n_2398 [381] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_8 n_98 [381] n_2404 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_13 n_73 n_2324 [384] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_14 n_74 [384] n_2330 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_11 n_101 n_2410 [387] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_12 n_102 [387] n_2416 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_15 n_105 n_2422 [390] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_16 n_106 [390] n_2428 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_19 n_109 n_2434 [393] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_20 n_110 [393] n_2440 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_29 n_119 n_2464 [396] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_30 n_120 [396] n_2470 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_9 n_69 n_2312 [399] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_10 n_70 [399] n_2318 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_25 n_115 n_2452 [402] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_26 n_116 [402] n_2458 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_5 n_95 [2924] [405] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_6 n_96 [405] n_2398 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_19 n_79 n_2342 [408] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_20 n_80 [408] n_2348 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_23 n_83 n_2354 [411] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_24 n_84 [411] n_2360 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_9 n_99 n_2404 [414] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_10 n_100 [414] n_2410 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_21 n_111 n_2440 [417] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_22 n_112 [417] n_2446 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_29 n_89 n_2372 [420] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_30 n_90 [420] n_2378 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_31 n_121 n_2470 [423] |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names p_32 n_122 [423] n_2476 |
| 10- 1 |
| 1-1 1 |
| -01 1 |
| .names n_64 n_2102 [289] [361] |
| 1-- 1 |
| -0- 1 |
| --0 1 |
| .names p_2 p_1 n_59 [220] |
| 001 1 |
| .names n_200 n_1086 n_1087 [226] |
| 001 1 |
| 010 1 |
| .names p_2 p_1 n_49 [228] |
| 001 1 |
| .names n_190 n_1057 n_1056 [234] |
| 001 1 |
| 010 1 |
| .names p_2 p_1 n_39 [236] |
| 001 1 |
| .names n_1940 n_1106 n_1104 [242] |
| 111 1 |
| 100 1 |
| .names p_2 p_1 n_55 [244] |
| 001 1 |
| .names n_1868 n_1079 n_1077 [250] |
| 111 1 |
| 100 1 |
| .names p_2 p_1 n_46 [426] |
| 001 1 |
| .names p_2 p_1 n_37 [435] |
| 001 1 |
| .names n_1948 n_1107 n_1109 [439] |
| 111 1 |
| 100 1 |
| .names p_2 p_1 n_56 [441] |
| 001 1 |
| .names n_1860 n_1074 n_1076 [447] |
| 111 1 |
| 100 1 |
| .names p_2 p_1 n_45 [449] |
| 001 1 |
| .names n_189 n_1053 n_1054 [455] |
| 001 1 |
| 010 1 |
| .names p_2 p_1 n_38 [457] |
| 001 1 |
| .names n_1956 n_1112 n_1110 [463] |
| 111 1 |
| 100 1 |
| .names p_2 p_1 n_57 [465] |
| 001 1 |
| .names p_2 p_1 n_48 [473] |
| 001 1 |
| .names p_2 p_1 n_35 [481] |
| 001 1 |
| .names n_209 n_1114 n_1113 [487] |
| 001 1 |
| 010 1 |
| .names p_2 p_1 n_58 [489] |
| 001 1 |
| .names n_198 n_1081 n_1080 [495] |
| 001 1 |
| 010 1 |
| .names p_2 p_1 n_47 [497] |
| 001 1 |
| .names p_2 p_1 n_36 [506] |
| 001 1 |
| .names n_211 n_1119 n_1120 [510] |
| 001 1 |
| 010 1 |
| .names p_2 p_1 n_60 [512] |
| 001 1 |
| .names n_202 n_1093 n_1092 [518] |
| 001 1 |
| 010 1 |
| .names p_2 p_1 n_51 [520] |
| 001 1 |
| .names p_2 p_1 n_42 [529] |
| 001 1 |
| .names n_1916 n_1095 n_1097 [533] |
| 111 1 |
| 100 1 |
| .names p_2 p_1 n_52 [535] |
| 001 1 |
| .names n_1828 n_1062 n_1064 [541] |
| 111 1 |
| 100 1 |
| .names p_2 p_1 n_41 [543] |
| 001 1 |
| .names n_1772 n_1043 n_n262 [549] |
| 111 1 |
| 100 1 |
| .names p_2 p_1 n_34 [551] |
| 001 1 |
| .names n_204 n_1098 n_1099 [557] |
| 001 1 |
| 010 1 |
| .names p_2 p_1 n_53 [559] |
| 001 1 |
| .names n_1852 n_1071 n_1073 [565] |
| 111 1 |
| 100 1 |
| .names p_2 p_1 n_44 [567] |
| 001 1 |
| .names n_1932 n_1103 n_1101 [573] |
| 111 1 |
| 100 1 |
| .names p_2 p_1 n_54 [575] |
| 001 1 |
| .names n_1844 n_1070 n_1068 [581] |
| 111 1 |
| 100 1 |
| .names p_2 p_1 n_43 [583] |
| 001 1 |
| .names p_2 p_1 n_63 [590] |
| 001 1 |
| .names n_213 n_1126 n_1125 [595] |
| 001 1 |
| 010 1 |
| .names p_2 p_1 n_62 [597] |
| 001 1 |
| .names n_191 n_1059 n_1060 [605] |
| 001 1 |
| 010 1 |
| .names p_2 p_1 n_40 [607] |
| 001 1 |
| .names n_212 n_1122 n_1123 [613] |
| 001 1 |
| 010 1 |
| .names p_2 p_1 n_61 [615] |
| 001 1 |
| .names n_201 n_1089 n_1090 [643] |
| 001 1 |
| 010 1 |
| .names p_2 p_1 n_50 [645] |
| 001 1 |
| .names n_2102 [272] [2927] [683] |
| 101 1 |
| .names n_94 n_2102 [289] [686] |
| 110 1 |
| .names n_118 n_2102 [272] [687] |
| 110 1 |
| .names p_28 n_2102 [272] [688] |
| 111 1 |
| .names n_109 n_2102 [272] [689] |
| 110 1 |
| .names p_19 n_2102 [272] [690] |
| 111 1 |
| .names n_100 n_2102 [272] [691] |
| 110 1 |
| .names p_10 n_2102 [272] [692] |
| 111 1 |
| .names n_91 n_2102 [289] [693] |
| 111 1 |
| .names p_31 n_2102 [289] [694] |
| 110 1 |
| .names n_82 n_2102 [289] [695] |
| 111 1 |
| .names p_22 n_2102 [289] [696] |
| 110 1 |
| .names n_73 n_2102 [289] [697] |
| 111 1 |
| .names p_13 n_2102 [289] [698] |
| 110 1 |
| .names n_119 n_2102 [272] [699] |
| 110 1 |
| .names p_29 n_2102 [272] [700] |
| 111 1 |
| .names n_108 n_2102 [272] [701] |
| 110 1 |
| .names p_18 n_2102 [272] [702] |
| 111 1 |
| .names n_101 n_2102 [272] [703] |
| 110 1 |
| .names p_11 n_2102 [272] [704] |
| 111 1 |
| .names n_90 n_2102 [289] [705] |
| 111 1 |
| .names p_30 n_2102 [289] [706] |
| 110 1 |
| .names n_83 n_2102 [289] [707] |
| 111 1 |
| .names p_23 n_2102 [289] [708] |
| 110 1 |
| .names n_72 n_2102 [289] [709] |
| 111 1 |
| .names p_12 n_2102 [289] [710] |
| 110 1 |
| .names n_120 n_2102 [272] [711] |
| 110 1 |
| .names p_30 n_2102 [272] [712] |
| 111 1 |
| .names n_111 n_2102 [272] [713] |
| 110 1 |
| .names p_21 n_2102 [272] [714] |
| 111 1 |
| .names n_98 n_2102 [272] [715] |
| 110 1 |
| .names p_8 n_2102 [272] [716] |
| 111 1 |
| .names n_89 n_2102 [289] [717] |
| 111 1 |
| .names p_29 n_2102 [289] [718] |
| 110 1 |
| .names n_121 n_2102 [272] [719] |
| 110 1 |
| .names p_31 n_2102 [272] [720] |
| 111 1 |
| .names n_110 n_2102 [272] [721] |
| 110 1 |
| .names p_20 n_2102 [272] [722] |
| 111 1 |
| .names n_99 n_2102 [272] [723] |
| 110 1 |
| .names p_9 n_2102 [272] [724] |
| 111 1 |
| .names n_88 n_2102 [289] [725] |
| 111 1 |
| .names p_28 n_2102 [289] [726] |
| 110 1 |
| .names n_122 n_2102 [272] [727] |
| 110 1 |
| .names p_32 n_2102 [272] [728] |
| 111 1 |
| .names n_113 n_2102 [272] [729] |
| 110 1 |
| .names p_23 n_2102 [272] [730] |
| 111 1 |
| .names n_78 n_2102 [289] [731] |
| 111 1 |
| .names p_18 n_2102 [289] [732] |
| 110 1 |
| .names n_69 n_2102 [289] [733] |
| 111 1 |
| .names p_9 n_2102 [289] [734] |
| 110 1 |
| .names n_123 n_2102 [272] [735] |
| 110 1 |
| .names p_33 n_2102 [272] [736] |
| 111 1 |
| .names n_112 n_2102 [272] [737] |
| 110 1 |
| .names p_22 n_2102 [272] [738] |
| 111 1 |
| .names n_79 n_2102 [289] [739] |
| 111 1 |
| .names p_19 n_2102 [289] [740] |
| 110 1 |
| .names n_68 n_2102 [289] [741] |
| 111 1 |
| .names p_8 n_2102 [289] [742] |
| 110 1 |
| .names n_102 n_2102 [272] [743] |
| 110 1 |
| .names p_12 n_2102 [272] [744] |
| 111 1 |
| .names n_93 n_2102 [289] [745] |
| 111 1 |
| .names p_33 n_2102 [289] [746] |
| 110 1 |
| .names n_80 n_2102 [289] [747] |
| 111 1 |
| .names p_20 n_2102 [289] [748] |
| 110 1 |
| .names n_71 n_2102 [289] [749] |
| 111 1 |
| .names p_11 n_2102 [289] [750] |
| 110 1 |
| .names n_103 n_2102 [272] [751] |
| 110 1 |
| .names p_13 n_2102 [272] [752] |
| 111 1 |
| .names n_92 n_2102 [289] [753] |
| 111 1 |
| .names p_32 n_2102 [289] [754] |
| 110 1 |
| .names n_81 n_2102 [289] [755] |
| 111 1 |
| .names p_21 n_2102 [289] [756] |
| 110 1 |
| .names n_70 n_2102 [289] [757] |
| 111 1 |
| .names p_10 n_2102 [289] [758] |
| 110 1 |
| .names n_74 n_2102 [289] [759] |
| 111 1 |
| .names p_14 n_2102 [289] [760] |
| 110 1 |
| .names n_65 n_2102 [289] [761] |
| 111 1 |
| .names p_5 n_2102 [289] [762] |
| 110 1 |
| .names n_75 n_2102 [289] [763] |
| 111 1 |
| .names p_15 n_2102 [289] [764] |
| 110 1 |
| .names p_4 n_2102 [289] [766] |
| 110 1 |
| .names n_76 n_2102 [289] [768] |
| 111 1 |
| .names p_16 n_2102 [289] [769] |
| 110 1 |
| .names n_67 n_2102 [289] [770] |
| 111 1 |
| .names p_7 n_2102 [289] [771] |
| 110 1 |
| .names n_77 n_2102 [289] [772] |
| 111 1 |
| .names p_17 n_2102 [289] [773] |
| 110 1 |
| .names n_66 n_2102 [289] [774] |
| 111 1 |
| .names p_6 n_2102 [289] [775] |
| 110 1 |
| .names n_114 n_2102 [272] [776] |
| 110 1 |
| .names p_24 n_2102 [272] [777] |
| 111 1 |
| .names n_105 n_2102 [272] [778] |
| 110 1 |
| .names p_15 n_2102 [272] [779] |
| 111 1 |
| .names n_96 n_2102 [272] [780] |
| 110 1 |
| .names p_6 n_2102 [272] [781] |
| 111 1 |
| .names n_87 n_2102 [289] [782] |
| 111 1 |
| .names p_27 n_2102 [289] [783] |
| 110 1 |
| .names n_115 n_2102 [272] [784] |
| 110 1 |
| .names p_25 n_2102 [272] [785] |
| 111 1 |
| .names n_104 n_2102 [272] [786] |
| 110 1 |
| .names p_14 n_2102 [272] [787] |
| 111 1 |
| .names n_97 n_2102 [272] [788] |
| 110 1 |
| .names p_7 n_2102 [272] [789] |
| 111 1 |
| .names n_86 n_2102 [289] [790] |
| 111 1 |
| .names p_26 n_2102 [289] [791] |
| 110 1 |
| .names n_116 n_2102 [272] [792] |
| 110 1 |
| .names p_26 n_2102 [272] [793] |
| 111 1 |
| .names n_107 n_2102 [272] [794] |
| 110 1 |
| .names p_17 n_2102 [272] [795] |
| 111 1 |
| .names n_94 n_2102 [272] [796] |
| 110 1 |
| .names p_4 n_2102 [272] [797] |
| 111 1 |
| .names n_85 n_2102 [289] [798] |
| 111 1 |
| .names p_25 n_2102 [289] [799] |
| 110 1 |
| .names n_117 n_2102 [272] [800] |
| 110 1 |
| .names p_27 n_2102 [272] [801] |
| 111 1 |
| .names n_106 n_2102 [272] [802] |
| 110 1 |
| .names p_16 n_2102 [272] [803] |
| 111 1 |
| .names n_95 n_2102 [272] [804] |
| 110 1 |
| .names p_5 n_2102 [272] [805] |
| 111 1 |
| .names n_84 n_2102 [289] [864] |
| 111 1 |
| .names p_24 n_2102 [289] [865] |
| 110 1 |
| .names n_64 p_4 [2923] |
| 01 1 |
| .names n_94 p_4 [2924] |
| 01 1 |
| .names n_64 n_2102 [289] [2925] |
| -0- 1 |
| 111 1 |
| .names n_64 n_94 [2926] |
| 11 1 |
| .names n_2102 [289] [2926] [2927] |
| 111 1 |
| .names p_3 n_1451 [645] [2929] |
| --1 1 |
| 11- 1 |
| .names [643] [2929] [2930] |
| 1- 1 |
| -1 1 |
| .names p_3 n_1506 [615] [2932] |
| --1 1 |
| 11- 1 |
| .names [613] [2932] [2933] |
| 1- 1 |
| -1 1 |
| .names p_3 n_1401 [607] [2935] |
| --1 1 |
| 11- 1 |
| .names [605] [2935] [2936] |
| 1- 1 |
| -1 1 |
| .names p_3 n_1511 [597] [2938] |
| --1 1 |
| 11- 1 |
| .names [595] [2938] [2939] |
| 1- 1 |
| -1 1 |
| .names p_3 n_1516 [590] [2940] |
| --1 1 |
| 11- 1 |
| .names n_1996 n_1125 [2940] [2941] |
| --1 1 |
| 11- 1 |
| .names p_3 n_1416 [583] [2943] |
| --1 1 |
| 11- 1 |
| .names [581] [2943] [2944] |
| 1- 1 |
| -1 1 |
| .names p_3 n_1471 [575] [2946] |
| --1 1 |
| 11- 1 |
| .names [573] [2946] [2947] |
| 1- 1 |
| -1 1 |
| .names p_3 n_1421 [567] [2949] |
| --1 1 |
| 11- 1 |
| .names [565] [2949] [2950] |
| 1- 1 |
| -1 1 |
| .names p_3 n_1466 [559] [2952] |
| --1 1 |
| 11- 1 |
| .names [557] [2952] [2953] |
| 1- 1 |
| -1 1 |
| .names p_3 n_1371 [551] [2955] |
| --1 1 |
| 11- 1 |
| .names [549] [2955] [2956] |
| 1- 1 |
| -1 1 |
| .names p_3 n_1406 [543] [2958] |
| --1 1 |
| 11- 1 |
| .names [541] [2958] [2959] |
| 1- 1 |
| -1 1 |
| .names p_3 n_1461 [535] [2961] |
| --1 1 |
| 11- 1 |
| .names [533] [2961] [2962] |
| 1- 1 |
| -1 1 |
| .names n_1836 [697] [698] [2963] |
| 100 1 |
| .names n_193 [751] [752] [2964] |
| 000 1 |
| .names p_3 n_1411 [529] [2966] |
| --1 1 |
| 11- 1 |
| .names n_1065 [2963] [2966] [2967] |
| --1 1 |
| 01- 1 |
| .names n_1065 [2964] [2967] [2968] |
| --1 1 |
| 11- 1 |
| .names p_3 n_1456 [520] [2970] |
| --1 1 |
| 11- 1 |
| .names [518] [2970] [2971] |
| 1- 1 |
| -1 1 |
| .names p_3 n_1501 [512] [2973] |
| --1 1 |
| 11- 1 |
| .names [510] [2973] [2974] |
| 1- 1 |
| -1 1 |
| .names n_187 [788] [789] [2975] |
| 000 1 |
| .names n_1788 [770] [771] [2976] |
| 100 1 |
| .names p_3 n_1381 [506] [2978] |
| --1 1 |
| 11- 1 |
| .names n_1047 [2975] [2978] [2979] |
| --1 1 |
| 11- 1 |
| .names n_1047 [2976] [2979] [2980] |
| --1 1 |
| 01- 1 |
| .names p_3 n_1436 [497] [2982] |
| --1 1 |
| 11- 1 |
| .names [495] [2982] [2983] |
| 1- 1 |
| -1 1 |
| .names p_3 n_1491 [489] [2985] |
| --1 1 |
| 11- 1 |
| .names [487] [2985] [2986] |
| 1- 1 |
| -1 1 |
| .names p_3 n_1376 [481] [2988] |
| --1 1 |
| 11- 1 |
| .names n_1044 [281] [2988] [2989] |
| --1 1 |
| 01- 1 |
| .names p_3 n_1441 [473] [2991] |
| --1 1 |
| 11- 1 |
| .names n_1083 [364] [2991] [2992] |
| --1 1 |
| 01- 1 |
| .names p_3 n_1486 [465] [2994] |
| --1 1 |
| 11- 1 |
| .names [463] [2994] [2995] |
| 1- 1 |
| -1 1 |
| .names p_3 n_1391 [457] [2997] |
| --1 1 |
| 11- 1 |
| .names [455] [2997] [2998] |
| 1- 1 |
| -1 1 |
| .names p_3 n_1426 [449] [3000] |
| --1 1 |
| 11- 1 |
| .names [447] [3000] [3001] |
| 1- 1 |
| -1 1 |
| .names p_3 n_1481 [441] [3003] |
| --1 1 |
| 11- 1 |
| .names [439] [3003] [3004] |
| 1- 1 |
| -1 1 |
| .names n_188 [715] [716] [3005] |
| 01- 1 |
| 0-1 1 |
| .names n_1796 [741] [742] [3006] |
| 11- 1 |
| 1-1 1 |
| .names p_3 n_1386 [435] [3008] |
| --1 1 |
| 11- 1 |
| .names n_1050 [3005] [3008] [3009] |
| --1 1 |
| 01- 1 |
| .names n_1050 [3006] [3009] [3010] |
| --1 1 |
| 11- 1 |
| .names p_3 n_1431 [426] [3012] |
| --1 1 |
| 11- 1 |
| .names [250] [3012] [3013] |
| 1- 1 |
| -1 1 |
| .names p_3 n_1476 [244] [3015] |
| --1 1 |
| 11- 1 |
| .names [242] [3015] [3016] |
| 1- 1 |
| -1 1 |
| .names p_3 n_1396 [236] [3018] |
| --1 1 |
| 11- 1 |
| .names [234] [3018] [3019] |
| 1- 1 |
| -1 1 |
| .names p_3 n_1446 [228] [3021] |
| --1 1 |
| 11- 1 |
| .names [226] [3021] [3022] |
| 1- 1 |
| -1 1 |
| .names p_3 n_1496 [220] [3024] |
| --1 1 |
| 11- 1 |
| .names n_1116 [366] [3024] [3025] |
| --1 1 |
| 01- 1 |
| .end |
