.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 [644] [2930] p_140
1- 1
-1 1
.names [614] [2933] p_151
1- 1
-1 1
.names n_1061 [611] [612] [2936] p_130
---1 1
11-- 1
1-1- 1
.names n_1127 [601] [602] [2939] p_152
---1 1
11-- 1
1-1- 1
.names [589] [590] [591] [592] p_153
1--- 1
-1-- 1
--1- 1
---1 1
.names n_1069 [587] [588] [2944] p_133
---1 1
01-- 1
0-1- 1
.names n_1102 [579] [580] [2947] p_144
---1 1
01-- 1
0-1- 1
.names n_1072 [571] [572] [2950] p_134
---1 1
01-- 1
0-1- 1
.names n_1100 [563] [564] [2953] p_143
---1 1
11-- 1
1-1- 1
.names [550] [2956] p_124
1- 1
-1 1
.names n_1063 [547] [548] [2959] p_131
---1 1
01-- 1
0-1- 1
.names n_1096 [539] [540] [2962] p_142
---1 1
01-- 1
0-1- 1
.names n_1067 [531] [532] [2968] p_132
---1 1
11-- 1
1-1- 1
.names n_1094 [524] [525] [2971] p_141
---1 1
11-- 1
1-1- 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 [501] [502] [2983] p_137
---1 1
11-- 1
1-1- 1
.names n_1115 [493] [494] [2986] p_148
---1 1
11-- 1
1-1- 1
.names [479] [480] [481] [482] p_125
1--- 1
-1-- 1
--1- 1
---1 1
.names [471] [472] [473] [474] p_138
1--- 1
-1-- 1
--1- 1
---1 1
.names n_1111 [469] [470] [2995] p_147
---1 1
01-- 1
0-1- 1
.names n_1055 [461] [462] [2998] p_128
---1 1
11-- 1
1-1- 1
.names n_1075 [453] [454] [3001] p_135
---1 1
01-- 1
0-1- 1
.names n_1108 [445] [446] [3004] p_146
---1 1
01-- 1
0-1- 1
.names [434] [3010] p_127
1- 1
-1 1
.names n_1078 [430] [431] [3013] p_136
---1 1
01-- 1
0-1- 1
.names n_1105 [248] [249] [3016] p_145
---1 1
01-- 1
0-1- 1
.names n_1058 [240] [241] [3019] p_129
---1 1
11-- 1
1-1- 1
.names n_1088 [271] [226] [3021] p_139
--1- 1
---1 1
11-- 1
.names [218] [219] [220] [221] p_149
1--- 1
-1-- 1
--1- 1
---1 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_33 n_93 n_2102 n_2384 [215]
011- 1
0-10 1
-110 1
.names p_10 n_70 n_2102 [289] n_1058
-111 1
1-10 1
.names p_33 n_123 n_2102 n_2476 [212]
101- 1
1-11 1
-011 1
.names p_33 n_123 n_2102 n_2476 [214]
011- 1
0-10 1
-110 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_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 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_1078 n_1079 n_1077 n_1080
11- 1
1-1 1
-11 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_1095 n_1097 n_1098
11- 1
1-1 1
-11 1
.names p_24 n_114 n_2102 [272] n_1099
1-11 1
-110 1
.names n_1100 n_1098 n_1099 n_1101
11- 1
1-1 1
-11 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_1111 n_1112 n_1110 n_1113
11- 1
1-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 [679] [680] n_1050
11-- 1
1-1- 1
-11- 1
1--1 1
-1-1 1
.names n_1051 n_1052 n_1050 n_1053
11- 1
1-1 1
-11 1
.names p_11 n_71 n_2102 [289] n_1061
-111 1
1-10 1
.names n_1058 n_1057 n_1056 n_1059
11- 1
1-1 1
-11 1
.names p_11 n_101 n_2102 [272] n_1060
1-11 1
-110 1
.names n_1061 n_1059 n_1060 n_1062
11- 1
1-1 1
-11 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 n_1069 n_1070 n_1068 n_1071
11- 1
1-1 1
-11 1
.names p_15 n_75 n_2102 [289] n_1073
-111 1
1-10 1
.names n_1072 n_1071 n_1073 n_1074
11- 1
1-1 1
-11 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_1085 n_1084 [258]
1- 1
-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_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 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_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 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 n_1118 n_1117 [261]
1- 1
-1 1
.names n_1072 n_1071 n_1073 n_1076 [264]
11-1 1
1-11 1
-111 1
00-0 1
0-00 1
-000 1
.names n_1105 n_1106 n_1104 n_1109 [266]
11-1 1
1-11 1
-111 1
00-0 1
0-00 1
-000 1
.names n_1051 n_1052 n_1050 n_1054 [268]
00-1 1
0-01 1
-001 1
11-0 1
1-10 1
-110 1
.names n_2102 n_1087 [653] [654] [271]
111- 1
11-1 1
1000 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 n_123 n_2476 [272]
10- 1
1-1 1
-01 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 n_1088 n_1087 [653] [654] n_1089
11-- 1
1-1- 1
-11- 1
1--1 1
-1-1 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_1121 n_1120 [623] [624] n_1122
11-- 1
1-1- 1
-11- 1
1--1 1
-1-1 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 n_1046 n_1045 [276]
1- 1
-1 1
.names p_9 n_99 n_2102 [272] n_1054
1-11 1
-110 1
.names n_1055 n_1053 n_1054 n_1056
11- 1
1-1 1
-11 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 n_1075 n_1074 n_1076 n_1077
11- 1
1-1 1
-11 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_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_1108 n_1107 n_1109 n_1112 [283]
11-1 1
1-11 1
-111 1
00-0 1
0-00 1
-000 1
.names n_1061 n_1059 n_1060 n_1064 [285]
11-1 1
1-11 1
-111 1
00-0 1
0-00 1
-000 1
.names n_1094 n_1093 n_1092 n_1097 [287]
11-1 1
1-11 1
-111 1
00-0 1
0-00 1
-000 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 n_93 n_2384 [289]
10- 1
1-1 1
-01 1
.names p_33 n_93 n_2102 n_2384 n_1037
101- 1
1-11 1
-011 1
.names n_2102 n_1048 [679] [680] [292]
111- 1
11-1 1
1000 1
.names n_1081 n_1078 n_1079 n_1077 [293]
011- 1
100- 1
01-1 1
0-11 1
10-0 1
1-00 1
.names n_1070 n_1067 n_1066 n_1065 [295]
111- 1
000- 1
11-1 1
1-11 1
00-0 1
0-00 1
.names n_1102 n_1103 n_1101 n_1106 [297]
11-1 1
1-11 1
-111 1
00-0 1
0-00 1
-000 1
.names p_4 [683] [685] [686] n_n262
-1-- 1
1-1- 1
1--1 1
.names n_1075 n_1074 n_1076 n_1079 [301]
11-1 1
1-11 1
-111 1
00-0 1
0-00 1
-000 1
.names n_1091 n_1093 n_1089 n_1090 [303]
101- 1
010- 1
10-1 1
-011 1
01-0 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 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_1073 [313]
11-1 1
1-11 1
-111 1
00-0 1
0-00 1
-000 1
.names n_1096 n_1099 n_1095 n_1097 [315]
101- 1
010- 1
10-1 1
-011 1
01-0 1
-100 1
.names n_1103 n_1100 n_1098 n_1099 [317]
111- 1
000- 1
11-1 1
1-11 1
00-0 1
0-00 1
.names n_1058 n_1060 n_1057 n_1056 [320]
101- 1
010- 1
10-1 1
-011 1
01-0 1
-100 1
.names n_1114 n_1111 n_1112 n_1110 [322]
011- 1
100- 1
01-1 1
0-11 1
10-0 1
1-00 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 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_1124 n_1122 n_1123 n_1126 [345]
00-1 1
0-01 1
-001 1
11-0 1
1-10 1
-110 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_1120 [623] [624] [356]
111- 1
11-1 1
1000 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 n_1055 n_1053 n_1057 n_1054 [362]
001- 1
110- 1
1-01 1
-101 1
0-10 1
-010 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 p_4 n_64 n_65 [372]
1--0 1
110- 1
-100 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 p_4 n_95 n_94 [405]
1-0- 1
11-0 1
-100 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_1115 n_1114 n_1113 [366] [218]
00-1 1
0-01 1
-001 1
.names n_1115 n_1114 n_1113 [367] [219]
11-1 1
1-11 1
-111 1
.names p_2 p_1 n_59 [220]
001 1
.names p_29 p_3 p_2 p_1 [221]
1110 1
.names n_200 n_1087 [653] [654] [226]
001- 1
00-1 1
0100 1
.names p_19 p_3 p_2 p_1 [229]
1110 1
.names p_2 p_1 n_39 [236]
001 1
.names p_9 p_3 p_2 p_1 [237]
1110 1
.names n_1055 n_1053 n_1054 [3017] [240]
00-1 1
0-01 1
-001 1
.names n_1812 n_1055 n_1053 n_1054 [241]
111- 1
11-1 1
1-11 1
.names p_2 p_1 n_55 [244]
001 1
.names p_25 p_3 p_2 p_1 [245]
1110 1
.names n_1102 n_1103 n_1101 [3014] [248]
00-1 1
0-01 1
-001 1
.names n_206 n_1102 n_1103 n_1101 [249]
011- 1
01-1 1
0-11 1
.names p_2 p_1 n_46 [426]
001 1
.names p_16 p_3 p_2 p_1 [427]
1110 1
.names n_1075 n_1074 n_1076 [3011] [430]
00-1 1
0-01 1
-001 1
.names n_197 n_1075 n_1074 n_1076 [431]
011- 1
01-1 1
0-11 1
.names n_2102 n_1051 n_1052 n_1050 [434]
1001 1
1010 1
.names p_7 p_3 p_2 p_1 [436]
1110 1
.names p_2 p_1 n_56 [441]
001 1
.names p_26 p_3 p_2 p_1 [442]
1110 1
.names n_1105 n_1106 n_1104 [3002] [445]
00-1 1
0-01 1
-001 1
.names n_207 n_1105 n_1106 n_1104 [446]
011- 1
01-1 1
0-11 1
.names p_2 p_1 n_45 [449]
001 1
.names p_15 p_3 p_2 p_1 [450]
1110 1
.names n_1072 n_1071 n_1073 [2999] [453]
00-1 1
0-01 1
-001 1
.names n_196 n_1072 n_1071 n_1073 [454]
011- 1
01-1 1
0-11 1
.names p_2 p_1 n_38 [457]
001 1
.names p_8 p_3 p_2 p_1 [458]
1110 1
.names n_1051 n_1052 n_1050 [2996] [461]
00-1 1
0-01 1
-001 1
.names n_1804 n_1051 n_1052 n_1050 [462]
111- 1
11-1 1
1-11 1
.names p_2 p_1 n_57 [465]
001 1
.names p_27 p_3 p_2 p_1 [466]
1110 1
.names n_1108 n_1107 n_1109 [2993] [469]
00-1 1
0-01 1
-001 1
.names n_208 n_1108 n_1107 n_1109 [470]
011- 1
01-1 1
0-11 1
.names n_1082 n_1081 n_1080 [364] [471]
00-1 1
0-01 1
-001 1
.names n_1082 n_1081 n_1080 [365] [472]
11-1 1
1-11 1
-111 1
.names p_2 p_1 n_48 [473]
001 1
.names p_18 p_3 p_2 p_1 [474]
1110 1
.names n_1042 n_1043 [281] n_n262 [479]
001- 1
0-10 1
-010 1
.names n_1042 n_1043 [282] n_n262 [480]
111- 1
1-11 1
-111 1
.names p_2 p_1 n_35 [481]
001 1
.names p_5 p_3 p_2 p_1 [482]
1110 1
.names p_2 p_1 n_58 [489]
001 1
.names p_28 p_3 p_2 p_1 [490]
1110 1
.names n_1111 n_1112 n_1110 [2984] [493]
00-1 1
0-01 1
-001 1
.names n_1964 n_1111 n_1112 n_1110 [494]
111- 1
11-1 1
1-11 1
.names p_2 p_1 n_47 [497]
001 1
.names p_17 p_3 p_2 p_1 [498]
1110 1
.names n_1078 n_1079 n_1077 [2981] [501]
00-1 1
0-01 1
-001 1
.names n_1876 n_1078 n_1079 n_1077 [502]
111- 1
11-1 1
1-11 1
.names n_1046 n_1045 [679] [2976] [504]
0-01 1
-001 1
.names p_6 p_3 p_2 p_1 [507]
1110 1
.names n_211 n_1120 [623] [624] [510]
001- 1
00-1 1
0100 1
.names p_30 p_3 p_2 p_1 [513]
1110 1
.names p_2 p_1 n_51 [520]
001 1
.names p_21 p_3 p_2 p_1 [521]
1110 1
.names n_1091 n_1089 n_1090 [2969] [524]
00-1 1
0-01 1
-001 1
.names n_1908 n_1091 n_1089 n_1090 [525]
111- 1
11-1 1
1-11 1
.names n_1063 n_1062 n_1064 [2963] [526]
00-1 1
0-01 1
-001 1
.names n_1063 n_1062 n_1064 [2964] [527]
11-1 1
1-11 1
-111 1
.names p_2 p_1 n_42 [529]
001 1
.names p_12 p_3 p_2 p_1 [530]
1110 1
.names n_1063 n_1062 n_1064 [2965] [531]
00-1 1
0-01 1
-001 1
.names n_1836 n_1063 n_1062 n_1064 [532]
111- 1
11-1 1
1-11 1
.names p_2 p_1 n_52 [535]
001 1
.names p_22 p_3 p_2 p_1 [536]
1110 1
.names n_1094 n_1093 n_1092 [2960] [539]
00-1 1
0-01 1
-001 1
.names n_203 n_1094 n_1093 n_1092 [540]
011- 1
01-1 1
0-11 1
.names p_2 p_1 n_41 [543]
001 1
.names p_11 p_3 p_2 p_1 [544]
1110 1
.names n_1061 n_1059 n_1060 [2957] [547]
00-1 1
0-01 1
-001 1
.names n_192 n_1061 n_1059 n_1060 [548]
011- 1
01-1 1
0-11 1
.names n_2102 n_1042 n_1043 n_n262 [550]
1001 1
1010 1
.names p_4 p_3 p_2 p_1 [552]
1110 1
.names p_2 p_1 n_53 [559]
001 1
.names p_23 p_3 p_2 p_1 [560]
1110 1
.names n_1096 n_1095 n_1097 [2951] [563]
00-1 1
0-01 1
-001 1
.names n_1924 n_1096 n_1095 n_1097 [564]
111- 1
11-1 1
1-11 1
.names p_2 p_1 n_44 [567]
001 1
.names p_14 p_3 p_2 p_1 [568]
1110 1
.names n_1069 n_1070 n_1068 [2948] [571]
00-1 1
0-01 1
-001 1
.names n_195 n_1069 n_1070 n_1068 [572]
011- 1
01-1 1
0-11 1
.names p_2 p_1 n_54 [575]
001 1
.names p_24 p_3 p_2 p_1 [576]
1110 1
.names n_1100 n_1098 n_1099 [2945] [579]
00-1 1
0-01 1
-001 1
.names n_205 n_1100 n_1098 n_1099 [580]
011- 1
01-1 1
0-11 1
.names p_2 p_1 n_43 [583]
001 1
.names p_13 p_3 p_2 p_1 [584]
1110 1
.names n_1067 n_1066 n_1065 [2942] [587]
00-1 1
0-01 1
-001 1
.names n_194 n_1067 n_1066 n_1065 [588]
011- 1
01-1 1
0-11 1
.names n_1996 n_1127 [593] [589]
11- 1
-11 1
.names p_2 p_1 n_63 [590]
001 1
.names n_1996 n_1124 n_1122 n_1123 [591]
111- 1
11-1 1
1-11 1
.names p_33 p_3 p_2 p_1 [592]
1110 1
.names n_1124 n_2102 n_1122 n_1123 [593]
111- 1
11-1 1
-111 1
.names p_2 p_1 n_62 [597]
001 1
.names p_32 p_3 p_2 p_1 [598]
1110 1
.names n_1124 n_1122 n_1123 [2937] [601]
00-1 1
0-01 1
-001 1
.names n_1996 n_1124 n_1122 n_1123 [602]
111- 1
11-1 1
1-11 1
.names p_2 p_1 n_40 [607]
001 1
.names p_10 p_3 p_2 p_1 [608]
1110 1
.names n_1058 n_1057 n_1056 [2934] [611]
00-1 1
0-01 1
-001 1
.names n_1820 n_1058 n_1057 n_1056 [612]
111- 1
11-1 1
1-11 1
.names n_1124 n_2102 n_1122 n_1123 [614]
1111 1
1100 1
.names p_31 p_3 p_2 p_1 [616]
1110 1
.names n_1115 n_1114 n_1113 [261] [623]
11-1 1
1-11 1
-111 1
.names n_1118 n_1117 [624]
11 1
.names n_1091 n_2102 n_1089 n_1090 [644]
1111 1
1100 1
.names p_20 p_3 p_2 p_1 [646]
1110 1
.names n_1082 n_1081 n_1080 [258] [653]
11-1 1
1-11 1
-111 1
.names n_1085 n_1084 [654]
11 1
.names n_1042 n_1043 [276] n_n262 [679]
111- 1
1-11 1
-111 1
.names n_1046 n_1045 [680]
11 1
.names n_94 n_64 [214] n_1037 [683]
1111 1
.names n_64 [212] n_1037 [685]
11- 1
-10 1
.names n_94 [215] [686]
11 1
.names p_2 p_1 n_50 [646] [2929]
---1 1
001- 1
.names n_201 n_1089 n_1090 [2929] [2930]
---1 1
001- 1
010- 1
.names p_2 p_1 n_61 [616] [2932]
---1 1
001- 1
.names n_212 n_1122 n_1123 [2932] [2933]
---1 1
001- 1
010- 1
.names p_11 n_101 n_2102 [272] [2934]
001- 1
0-11 1
-010 1
.names n_191 [320] [607] [608] [2936]
--1- 1
---1 1
01-- 1
.names p_33 n_123 n_2102 [2937]
001 1
.names n_213 [345] [597] [598] [2939]
--1- 1
---1 1
01-- 1
.names p_14 n_74 n_2102 [289] [2942]
-111 1
1-10 1
.names n_1844 [295] [583] [584] [2944]
--1- 1
---1 1
11-- 1
.names p_25 n_85 n_2102 [289] [2945]
-111 1
1-10 1
.names n_1932 [317] [575] [576] [2947]
--1- 1
---1 1
11-- 1
.names p_15 n_75 n_2102 [289] [2948]
-111 1
1-10 1
.names n_1852 [313] [567] [568] [2950]
--1- 1
---1 1
11-- 1
.names p_24 n_114 n_2102 [272] [2951]
001- 1
0-11 1
-010 1
.names n_204 [315] [559] [560] [2953]
--1- 1
---1 1
01-- 1
.names p_2 p_1 n_34 [552] [2955]
---1 1
001- 1
.names n_1772 n_1043 n_n262 [2955] [2956]
---1 1
111- 1
100- 1
.names p_12 n_72 n_2102 [289] [2957]
-111 1
1-10 1
.names n_1828 [285] [543] [544] [2959]
--1- 1
---1 1
11-- 1
.names p_23 n_83 n_2102 [289] [2960]
-111 1
1-10 1
.names n_1916 [287] [535] [536] [2962]
--1- 1
---1 1
11-- 1
.names n_1836 n_1067 [2963]
10 1
.names n_193 n_1066 [2964]
00 1
.names p_13 n_103 n_2102 [272] [2965]
001- 1
0-11 1
-010 1
.names [526] [527] [529] [530] [2968]
1--- 1
-1-- 1
--1- 1
---1 1
.names p_22 n_112 n_2102 [272] [2969]
001- 1
0-11 1
-010 1
.names n_202 [303] [520] [521] [2971]
--1- 1
---1 1
01-- 1
.names p_2 p_1 n_60 [513] [2973]
---1 1
001- 1
.names n_187 n_1048 [2975]
00 1
.names n_1788 n_1049 [2976]
10 1
.names p_2 p_1 n_36 [507] [2978]
---1 1
001- 1
.names [679] [680] [2975] [2978] [2979]
---1 1
1-1- 1
-11- 1
.names p_18 n_108 n_2102 [272] [2981]
001- 1
0-11 1
-010 1
.names n_198 [293] [497] [498] [2983]
--1- 1
---1 1
01-- 1
.names p_29 n_119 n_2102 [272] [2984]
001- 1
0-11 1
-010 1
.names n_209 [322] [489] [490] [2986]
--1- 1
---1 1
01-- 1
.names p_28 n_88 n_2102 [289] [2993]
-111 1
1-10 1
.names n_1956 [283] [465] [466] [2995]
--1- 1
---1 1
11-- 1
.names p_9 n_99 n_2102 [272] [2996]
001- 1
0-11 1
-010 1
.names n_189 [268] [457] [458] [2998]
--1- 1
---1 1
01-- 1
.names p_16 n_76 n_2102 [289] [2999]
-111 1
1-10 1
.names n_1860 [264] [449] [450] [3001]
--1- 1
---1 1
11-- 1
.names p_27 n_87 n_2102 [289] [3002]
-111 1
1-10 1
.names n_1948 [266] [441] [442] [3004]
--1- 1
---1 1
11-- 1
.names n_188 n_1051 [3005]
01 1
.names n_1796 n_1052 [3006]
11 1
.names p_2 p_1 n_37 [436] [3008]
---1 1
001- 1
.names n_1050 [3005] [3006] [3008] [3010]
---1 1
01-- 1
1-1- 1
.names p_17 n_77 n_2102 [289] [3011]
-111 1
1-10 1
.names n_1868 [301] [426] [427] [3013]
--1- 1
---1 1
11-- 1
.names p_26 n_86 n_2102 [289] [3014]
-111 1
1-10 1
.names n_1940 [297] [244] [245] [3016]
--1- 1
---1 1
11-- 1
.names p_10 n_100 n_2102 [272] [3017]
001- 1
0-11 1
-010 1
.names n_190 [362] [236] [237] [3019]
--1- 1
---1 1
01-- 1
.names p_2 p_1 n_49 [229] [3021]
---1 1
001- 1
.end