.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