| .model top |
| .inputs pv56_12_ pv56_23_ pv88_6_ pv88_19_ pv56_13_ pv56_22_ pv88_7_ pv88_29_ \ |
| pv56_14_ pv56_25_ pv88_8_ pv88_17_ pv88_28_ pv56_15_ pv56_24_ pv88_9_ pv88_18_ \ |
| pv88_27_ pv9_5_ pv56_30_ pv88_2_ pv88_15_ pv88_26_ pv9_6_ pv24_10_ pv56_31_ \ |
| pv88_3_ pv88_16_ pv88_25_ pv9_7_ pv9_10_ pv56_10_ pv56_21_ pv88_4_ pv88_13_ \ |
| pv88_24_ pv9_8_ pv56_11_ pv56_20_ pv88_5_ pv88_14_ pv88_23_ pv56_5_ pv88_11_ \ |
| pv88_22_ pv56_4_ pv88_12_ pv88_21_ pv56_7_ pv88_20_ pv56_6_ pv88_10_ pv24_8_ \ |
| pv56_9_ pv24_9_ pv56_8_ pv24_6_ pv24_7_ pv24_4_ pv24_5_ pv24_2_ pv24_3_ \ |
| pv24_0_ pv56_1_ pv24_1_ pv56_0_ pv88_30_ pv56_3_ pv88_31_ pv56_2_ pv9_1_ \ |
| pv24_13_ pv9_2_ pv24_14_ pv9_3_ pv24_11_ pv88_0_ pv24_12_ pv88_1_ pv56_16_ \ |
| pv56_27_ pv56_17_ pv56_26_ pv56_18_ pv56_29_ pv9_0_ pv56_19_ pv56_28_ |
| .outputs pv119_1_ pv119_0_ pv119_3_ pv119_30_ pv119_2_ pv151_1_ pv151_18_ \ |
| pv151_0_ pv151_19_ pv119_21_ pv151_3_ pv151_16_ pv119_20_ pv151_2_ pv151_17_ \ |
| pv119_9_ pv119_23_ pv151_27_ pv119_8_ pv119_22_ pv151_26_ pv119_25_ pv151_29_ \ |
| pv119_24_ pv151_28_ pv119_5_ pv119_27_ pv119_4_ pv119_26_ pv119_7_ pv119_29_ \ |
| pv119_6_ pv119_28_ pv119_18_ pv119_19_ pv119_16_ pv151_21_ pv119_17_ pv151_20_ \ |
| pv119_14_ pv151_23_ pv119_15_ pv151_22_ pv119_12_ pv151_25_ pv151_30_ \ |
| pv119_13_ pv151_24_ pv151_31_ pv119_10_ pv151_5_ pv151_14_ pv119_11_ pv151_4_ \ |
| pv151_15_ pv151_7_ pv151_12_ pv151_6_ pv151_13_ pv151_9_ pv151_10_ pv151_8_ \ |
| pv151_11_ |
| .names [67] [378] [1269] pv119_1_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [67] [374] [1271] pv119_0_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [67] [370] [1273] pv119_3_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [366] [367] [1277] pv119_30_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [67] [361] [1278] pv119_2_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [358] [359] [1282] pv151_1_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [352] [353] [1285] pv151_18_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [348] [349] [1288] pv151_0_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [340] [341] [1290] pv151_19_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [336] [337] [1293] pv119_21_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [332] [333] [1296] pv151_3_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [326] [327] [1299] pv151_16_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [321] [322] [1302] pv119_20_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [317] [318] [1305] pv151_2_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [311] [312] [1308] pv151_17_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [304] [305] [1310] pv119_9_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [300] [301] [1313] pv119_23_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [296] [297] [1316] pv151_27_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [288] [289] [1318] pv119_8_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [284] [285] [1321] pv119_22_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [279] [280] [1324] pv151_26_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [274] [275] [1327] pv119_25_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [270] [271] [1330] pv151_29_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [264] [265] [1333] pv119_24_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [260] [261] [1336] pv151_28_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [67] [254] [1337] pv119_5_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [250] [251] [1341] pv119_27_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [67] [245] [1342] pv119_4_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [241] [242] [1346] pv119_26_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [236] [237] [1348] pv119_7_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [232] [233] [1351] pv119_29_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [67] [227] [1352] pv119_6_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [223] [224] [1356] pv119_28_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [218] [219] [1359] pv119_18_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [213] [214] [1362] pv119_19_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [208] [209] [1365] pv119_16_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [203] [204] [1367] pv151_21_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [199] [200] [1370] pv119_17_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [194] [195] [1372] pv151_20_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [190] [191] [1375] pv119_14_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [185] [186] [1378] pv151_23_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [180] [181] [1381] pv119_15_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [173] [174] [1383] pv151_22_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [169] [170] [1386] pv119_12_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [164] [165] [1389] pv151_25_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [160] [161] [1392] pv151_30_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [154] [155] [1395] pv119_13_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [149] [150] [1398] pv151_24_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [145] [146] [1401] pv151_31_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [139] [140] [1403] pv119_10_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [136] [137] [1406] pv151_5_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [131] [132] [1409] pv151_14_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [125] [126] [1412] pv119_11_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [121] [122] [1415] pv151_4_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [116] [117] [1418] pv151_15_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [111] [112] [1421] pv151_7_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [106] [107] [1424] pv151_12_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [101] [102] [1427] pv151_6_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [96] [97] [1430] pv151_13_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [91] [92] [1433] pv151_9_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [86] [87] [1436] pv151_10_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [81] [82] [1439] pv151_8_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [75] [76] [1442] pv151_11_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [393] [394] [1259] n_n3 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [387] [388] [1267] n_n2 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n3 n_n2 [1268] [67] |
| 01- 1 |
| 000 1 |
| .names n_n3 n_n2 [1268] n_n4 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names pv9_7_ pv9_10_ [68] |
| 1- 1 |
| -1 1 |
| .names pv56_28_ n_n3 n_n2 [69] |
| 111 1 |
| .names pv88_11_ n_n3 n_n2 [74] |
| 100 1 |
| .names pv88_0_ n_n3 n_n2 [75] |
| 110 1 |
| .names pv88_3_ n_n3 n_n2 [76] |
| 101 1 |
| .names pv56_25_ n_n3 n_n2 [79] |
| 111 1 |
| .names pv88_8_ n_n3 n_n2 [80] |
| 100 1 |
| .names pv56_29_ n_n3 n_n2 [81] |
| 110 1 |
| .names pv88_0_ n_n3 n_n2 [82] |
| 101 1 |
| .names pv56_27_ n_n3 n_n2 [84] |
| 111 1 |
| .names pv88_10_ n_n3 n_n2 [85] |
| 100 1 |
| .names pv56_31_ n_n3 n_n2 [86] |
| 110 1 |
| .names pv88_2_ n_n3 n_n2 [87] |
| 101 1 |
| .names pv56_26_ n_n3 n_n2 [89] |
| 111 1 |
| .names pv88_9_ n_n3 n_n2 [90] |
| 100 1 |
| .names pv56_30_ n_n3 n_n2 [91] |
| 110 1 |
| .names pv88_1_ n_n3 n_n2 [92] |
| 101 1 |
| .names pv56_30_ n_n3 n_n2 [94] |
| 111 1 |
| .names pv88_13_ n_n3 n_n2 [95] |
| 100 1 |
| .names pv88_2_ n_n3 n_n2 [96] |
| 110 1 |
| .names pv88_5_ n_n3 n_n2 [97] |
| 101 1 |
| .names pv56_23_ n_n3 n_n2 [99] |
| 111 1 |
| .names pv88_6_ n_n3 n_n2 [100] |
| 100 1 |
| .names pv56_27_ n_n3 n_n2 [101] |
| 110 1 |
| .names pv56_30_ n_n3 n_n2 [102] |
| 101 1 |
| .names pv56_29_ n_n3 n_n2 [104] |
| 111 1 |
| .names pv88_12_ n_n3 n_n2 [105] |
| 100 1 |
| .names pv88_1_ n_n3 n_n2 [106] |
| 110 1 |
| .names pv88_4_ n_n3 n_n2 [107] |
| 101 1 |
| .names pv56_24_ n_n3 n_n2 [109] |
| 111 1 |
| .names pv88_7_ n_n3 n_n2 [110] |
| 100 1 |
| .names pv56_28_ n_n3 n_n2 [111] |
| 110 1 |
| .names pv56_31_ n_n3 n_n2 [112] |
| 101 1 |
| .names pv88_0_ n_n3 n_n2 [114] |
| 111 1 |
| .names pv88_15_ n_n3 n_n2 [115] |
| 100 1 |
| .names pv88_4_ n_n3 n_n2 [116] |
| 110 1 |
| .names pv88_7_ n_n3 n_n2 [117] |
| 101 1 |
| .names pv56_21_ n_n3 n_n2 [119] |
| 111 1 |
| .names pv88_4_ n_n3 n_n2 [120] |
| 100 1 |
| .names pv56_25_ n_n3 n_n2 [121] |
| 110 1 |
| .names pv56_28_ n_n3 n_n2 [122] |
| 101 1 |
| .names pv24_11_ n_n3 n_n2 [124] |
| 111 1 |
| .names pv56_12_ n_n3 n_n2 [125] |
| 100 1 |
| .names pv56_1_ n_n3 n_n2 [126] |
| 110 1 |
| .names pv56_4_ n_n3 n_n2 [127] |
| 101 1 |
| .names pv56_31_ n_n3 n_n2 [129] |
| 111 1 |
| .names pv88_14_ n_n3 n_n2 [130] |
| 100 1 |
| .names pv88_3_ n_n3 n_n2 [131] |
| 110 1 |
| .names pv88_6_ n_n3 n_n2 [132] |
| 101 1 |
| .names pv56_22_ n_n3 n_n2 [134] |
| 111 1 |
| .names pv88_5_ n_n3 n_n2 [135] |
| 100 1 |
| .names pv56_26_ n_n3 n_n2 [136] |
| 110 1 |
| .names pv56_29_ n_n3 n_n2 [137] |
| 101 1 |
| .names pv24_10_ n_n3 n_n2 [139] |
| 111 1 |
| .names pv56_11_ n_n3 n_n2 [140] |
| 100 1 |
| .names pv56_3_ n_n3 n_n2 [141] |
| 101 1 |
| .names pv88_16_ n_n3 n_n2 [143] |
| 111 1 |
| .names pv88_31_ n_n3 n_n2 [144] |
| 100 1 |
| .names pv88_20_ n_n3 n_n2 [145] |
| 110 1 |
| .names pv88_23_ n_n3 n_n2 [146] |
| 101 1 |
| .names pv88_9_ n_n3 n_n2 [148] |
| 111 1 |
| .names pv88_24_ n_n3 n_n2 [149] |
| 100 1 |
| .names pv88_13_ n_n3 n_n2 [150] |
| 110 1 |
| .names pv88_16_ n_n3 n_n2 [151] |
| 101 1 |
| .names pv24_13_ n_n3 n_n2 [153] |
| 111 1 |
| .names pv56_14_ n_n3 n_n2 [154] |
| 100 1 |
| .names pv56_3_ n_n3 n_n2 [155] |
| 110 1 |
| .names pv56_6_ n_n3 n_n2 [156] |
| 101 1 |
| .names pv88_15_ n_n3 n_n2 [158] |
| 111 1 |
| .names pv88_30_ n_n3 n_n2 [159] |
| 100 1 |
| .names pv88_19_ n_n3 n_n2 [160] |
| 110 1 |
| .names pv88_22_ n_n3 n_n2 [161] |
| 101 1 |
| .names pv88_10_ n_n3 n_n2 [163] |
| 111 1 |
| .names pv88_25_ n_n3 n_n2 [164] |
| 100 1 |
| .names pv88_14_ n_n3 n_n2 [165] |
| 110 1 |
| .names pv88_17_ n_n3 n_n2 [166] |
| 101 1 |
| .names pv24_12_ n_n3 n_n2 [168] |
| 111 1 |
| .names pv56_13_ n_n3 n_n2 [169] |
| 100 1 |
| .names pv56_2_ n_n3 n_n2 [170] |
| 110 1 |
| .names pv56_5_ n_n3 n_n2 [171] |
| 101 1 |
| .names pv88_7_ n_n3 n_n2 [173] |
| 111 1 |
| .names pv88_22_ n_n3 n_n2 [174] |
| 100 1 |
| .names pv88_14_ n_n3 n_n2 [175] |
| 101 1 |
| .names pv88_11_ n_n3 n_n2 [177] |
| 110 1 |
| .names pv56_1_ n_n3 n_n2 [179] |
| 111 1 |
| .names pv56_16_ n_n3 n_n2 [180] |
| 100 1 |
| .names pv56_5_ n_n3 n_n2 [181] |
| 110 1 |
| .names pv56_8_ n_n3 n_n2 [182] |
| 101 1 |
| .names pv88_8_ n_n3 n_n2 [184] |
| 111 1 |
| .names pv88_23_ n_n3 n_n2 [185] |
| 100 1 |
| .names pv88_12_ n_n3 n_n2 [186] |
| 110 1 |
| .names pv88_15_ n_n3 n_n2 [187] |
| 101 1 |
| .names pv24_14_ n_n3 n_n2 [189] |
| 111 1 |
| .names pv56_15_ n_n3 n_n2 [190] |
| 100 1 |
| .names pv56_4_ n_n3 n_n2 [191] |
| 110 1 |
| .names pv56_7_ n_n3 n_n2 [192] |
| 101 1 |
| .names pv88_5_ n_n3 n_n2 [194] |
| 111 1 |
| .names pv88_20_ n_n3 n_n2 [195] |
| 100 1 |
| .names pv88_12_ n_n3 n_n2 [196] |
| 101 1 |
| .names pv56_3_ n_n3 n_n2 [198] |
| 111 1 |
| .names pv56_18_ n_n3 n_n2 [199] |
| 100 1 |
| .names pv56_7_ n_n3 n_n2 [200] |
| 110 1 |
| .names pv56_10_ n_n3 n_n2 [201] |
| 101 1 |
| .names pv88_6_ n_n3 n_n2 [203] |
| 111 1 |
| .names pv88_21_ n_n3 n_n2 [204] |
| 100 1 |
| .names pv88_13_ n_n3 n_n2 [205] |
| 101 1 |
| .names pv56_2_ n_n3 n_n2 [207] |
| 111 1 |
| .names pv56_17_ n_n3 n_n2 [208] |
| 100 1 |
| .names pv56_6_ n_n3 n_n2 [209] |
| 110 1 |
| .names pv56_9_ n_n3 n_n2 [210] |
| 101 1 |
| .names pv56_5_ n_n3 n_n2 [212] |
| 111 1 |
| .names pv56_20_ n_n3 n_n2 [213] |
| 100 1 |
| .names pv56_9_ n_n3 n_n2 [214] |
| 110 1 |
| .names pv56_12_ n_n3 n_n2 [215] |
| 101 1 |
| .names pv56_4_ n_n3 n_n2 [217] |
| 111 1 |
| .names pv56_19_ n_n3 n_n2 [218] |
| 100 1 |
| .names pv56_8_ n_n3 n_n2 [219] |
| 110 1 |
| .names pv56_11_ n_n3 n_n2 [220] |
| 101 1 |
| .names pv56_14_ n_n3 n_n2 [222] |
| 111 1 |
| .names pv56_29_ n_n3 n_n2 [223] |
| 100 1 |
| .names pv56_18_ n_n3 n_n2 [224] |
| 110 1 |
| .names pv56_21_ n_n3 n_n2 [225] |
| 101 1 |
| .names pv88_7_ n_n3 n_n2 [227] |
| 110 1 |
| .names pv24_6_ [1266] [1267] [228] |
| 11- 1 |
| 1-1 1 |
| .names pv56_7_ [1258] [1259] [229] |
| 100 1 |
| .names pv56_15_ n_n3 n_n2 [231] |
| 111 1 |
| .names pv56_30_ n_n3 n_n2 [232] |
| 100 1 |
| .names pv56_19_ n_n3 n_n2 [233] |
| 110 1 |
| .names pv56_22_ n_n3 n_n2 [234] |
| 101 1 |
| .names pv24_7_ n_n3 n_n2 [236] |
| 111 1 |
| .names pv56_8_ n_n3 n_n2 [237] |
| 100 1 |
| .names pv56_0_ n_n3 n_n2 [238] |
| 101 1 |
| .names pv56_12_ n_n3 n_n2 [240] |
| 111 1 |
| .names pv56_27_ n_n3 n_n2 [241] |
| 100 1 |
| .names pv56_16_ n_n3 n_n2 [242] |
| 110 1 |
| .names pv56_19_ n_n3 n_n2 [243] |
| 101 1 |
| .names pv88_5_ n_n3 n_n2 [245] |
| 110 1 |
| .names pv24_4_ [1266] [1267] [246] |
| 11- 1 |
| 1-1 1 |
| .names pv56_5_ [1258] [1259] [247] |
| 100 1 |
| .names pv56_13_ n_n3 n_n2 [249] |
| 111 1 |
| .names pv56_28_ n_n3 n_n2 [250] |
| 100 1 |
| .names pv56_17_ n_n3 n_n2 [251] |
| 110 1 |
| .names pv56_20_ n_n3 n_n2 [252] |
| 101 1 |
| .names pv88_6_ n_n3 n_n2 [254] |
| 110 1 |
| .names pv24_5_ [1266] [1267] [255] |
| 11- 1 |
| 1-1 1 |
| .names pv56_6_ [1258] [1259] [256] |
| 100 1 |
| .names pv88_13_ n_n3 n_n2 [258] |
| 111 1 |
| .names pv88_28_ n_n3 n_n2 [259] |
| 100 1 |
| .names pv88_17_ n_n3 n_n2 [260] |
| 110 1 |
| .names pv88_20_ n_n3 n_n2 [261] |
| 101 1 |
| .names pv56_10_ n_n3 n_n2 [263] |
| 111 1 |
| .names pv56_25_ n_n3 n_n2 [264] |
| 100 1 |
| .names pv56_14_ n_n3 n_n2 [265] |
| 110 1 |
| .names pv56_17_ n_n3 n_n2 [266] |
| 101 1 |
| .names pv88_14_ n_n3 n_n2 [268] |
| 111 1 |
| .names pv88_29_ n_n3 n_n2 [269] |
| 100 1 |
| .names pv88_18_ n_n3 n_n2 [270] |
| 110 1 |
| .names pv88_21_ n_n3 n_n2 [271] |
| 101 1 |
| .names pv56_11_ n_n3 n_n2 [273] |
| 111 1 |
| .names pv56_26_ n_n3 n_n2 [274] |
| 100 1 |
| .names pv56_15_ n_n3 n_n2 [275] |
| 110 1 |
| .names pv56_18_ n_n3 n_n2 [276] |
| 101 1 |
| .names pv88_11_ n_n3 n_n2 [278] |
| 111 1 |
| .names pv88_26_ n_n3 n_n2 [279] |
| 100 1 |
| .names pv88_15_ n_n3 n_n2 [280] |
| 110 1 |
| .names pv88_18_ n_n3 n_n2 [281] |
| 101 1 |
| .names pv56_8_ n_n3 n_n2 [283] |
| 111 1 |
| .names pv56_23_ n_n3 n_n2 [284] |
| 100 1 |
| .names pv56_12_ n_n3 n_n2 [285] |
| 110 1 |
| .names pv56_15_ n_n3 n_n2 [286] |
| 101 1 |
| .names pv24_8_ n_n3 n_n2 [288] |
| 111 1 |
| .names pv56_9_ n_n3 n_n2 [289] |
| 100 1 |
| .names pv56_1_ n_n3 n_n2 [290] |
| 101 1 |
| .names pv88_9_ n_n3 n_n2 [292] |
| 110 1 |
| .names pv88_12_ n_n3 n_n2 [294] |
| 111 1 |
| .names pv88_27_ n_n3 n_n2 [295] |
| 100 1 |
| .names pv88_16_ n_n3 n_n2 [296] |
| 110 1 |
| .names pv88_19_ n_n3 n_n2 [297] |
| 101 1 |
| .names pv56_9_ n_n3 n_n2 [299] |
| 111 1 |
| .names pv56_24_ n_n3 n_n2 [300] |
| 100 1 |
| .names pv56_13_ n_n3 n_n2 [301] |
| 110 1 |
| .names pv56_16_ n_n3 n_n2 [302] |
| 101 1 |
| .names pv24_9_ n_n3 n_n2 [304] |
| 111 1 |
| .names pv56_10_ n_n3 n_n2 [305] |
| 100 1 |
| .names pv56_2_ n_n3 n_n2 [306] |
| 101 1 |
| .names pv88_10_ n_n3 n_n2 [308] |
| 110 1 |
| .names pv88_2_ n_n3 n_n2 [310] |
| 111 1 |
| .names pv88_17_ n_n3 n_n2 [311] |
| 100 1 |
| .names pv88_6_ n_n3 n_n2 [312] |
| 110 1 |
| .names pv88_9_ n_n3 n_n2 [313] |
| 101 1 |
| .names pv56_19_ n_n3 n_n2 [315] |
| 111 1 |
| .names pv88_2_ n_n3 n_n2 [316] |
| 100 1 |
| .names pv56_23_ n_n3 n_n2 [317] |
| 110 1 |
| .names pv56_26_ n_n3 n_n2 [318] |
| 101 1 |
| .names pv56_6_ n_n3 n_n2 [320] |
| 111 1 |
| .names pv56_21_ n_n3 n_n2 [321] |
| 100 1 |
| .names pv56_10_ n_n3 n_n2 [322] |
| 110 1 |
| .names pv56_13_ n_n3 n_n2 [323] |
| 101 1 |
| .names pv88_1_ n_n3 n_n2 [325] |
| 111 1 |
| .names pv88_16_ n_n3 n_n2 [326] |
| 100 1 |
| .names pv88_5_ n_n3 n_n2 [327] |
| 110 1 |
| .names pv88_8_ n_n3 n_n2 [328] |
| 101 1 |
| .names pv56_20_ n_n3 n_n2 [330] |
| 111 1 |
| .names pv88_3_ n_n3 n_n2 [331] |
| 100 1 |
| .names pv56_24_ n_n3 n_n2 [332] |
| 110 1 |
| .names pv56_27_ n_n3 n_n2 [333] |
| 101 1 |
| .names pv56_7_ n_n3 n_n2 [335] |
| 111 1 |
| .names pv56_22_ n_n3 n_n2 [336] |
| 100 1 |
| .names pv56_11_ n_n3 n_n2 [337] |
| 110 1 |
| .names pv56_14_ n_n3 n_n2 [338] |
| 101 1 |
| .names pv88_4_ n_n3 n_n2 [340] |
| 111 1 |
| .names pv88_19_ n_n3 n_n2 [341] |
| 100 1 |
| .names pv88_11_ n_n3 n_n2 [342] |
| 101 1 |
| .names pv88_8_ n_n3 n_n2 [344] |
| 110 1 |
| .names pv56_17_ n_n3 n_n2 [346] |
| 111 1 |
| .names pv88_0_ n_n3 n_n2 [347] |
| 100 1 |
| .names pv56_21_ n_n3 n_n2 [348] |
| 110 1 |
| .names pv56_24_ n_n3 n_n2 [349] |
| 101 1 |
| .names pv88_3_ n_n3 n_n2 [351] |
| 111 1 |
| .names pv88_18_ n_n3 n_n2 [352] |
| 100 1 |
| .names pv88_7_ n_n3 n_n2 [353] |
| 110 1 |
| .names pv88_10_ n_n3 n_n2 [354] |
| 101 1 |
| .names pv56_18_ n_n3 n_n2 [356] |
| 111 1 |
| .names pv88_1_ n_n3 n_n2 [357] |
| 100 1 |
| .names pv56_22_ n_n3 n_n2 [358] |
| 110 1 |
| .names pv56_25_ n_n3 n_n2 [359] |
| 101 1 |
| .names pv88_3_ n_n3 n_n2 [361] |
| 110 1 |
| .names pv24_2_ [1266] [1267] [362] |
| 11- 1 |
| 1-1 1 |
| .names pv56_3_ [1258] [1259] [363] |
| 100 1 |
| .names pv56_16_ n_n3 n_n2 [365] |
| 111 1 |
| .names pv56_31_ n_n3 n_n2 [366] |
| 100 1 |
| .names pv56_20_ n_n3 n_n2 [367] |
| 110 1 |
| .names pv56_23_ n_n3 n_n2 [368] |
| 101 1 |
| .names pv88_4_ n_n3 n_n2 [370] |
| 110 1 |
| .names pv24_3_ [1266] [1267] [371] |
| 11- 1 |
| 1-1 1 |
| .names pv56_4_ [1258] [1259] [372] |
| 100 1 |
| .names pv88_1_ n_n3 n_n2 [374] |
| 110 1 |
| .names pv24_0_ [1266] [1267] [375] |
| 11- 1 |
| 1-1 1 |
| .names pv56_1_ [1258] [1259] [376] |
| 100 1 |
| .names pv88_2_ n_n3 n_n2 [378] |
| 110 1 |
| .names pv24_1_ [1266] [1267] [379] |
| 11- 1 |
| 1-1 1 |
| .names pv56_2_ [1258] [1259] [380] |
| 100 1 |
| .names pv9_5_ pv9_6_ [1260] [385] |
| 001 1 |
| .names pv9_7_ pv9_10_ [1261] [386] |
| 1-1 1 |
| -11 1 |
| .names pv9_7_ pv9_10_ pv9_0_ [387] |
| 100 1 |
| .names pv9_5_ pv9_10_ pv9_0_ [388] |
| 000 1 |
| .names pv9_10_ pv9_8_ pv9_1_ [389] |
| 011 1 |
| .names pv9_10_ pv9_1_ [1250] [390] |
| 001 1 |
| .names pv9_10_ pv9_1_ [1252] [391] |
| 011 1 |
| .names pv9_10_ pv9_8_ [1254] [392] |
| 011 1 |
| .names pv9_5_ pv9_6_ [1255] [393] |
| 001 1 |
| .names pv9_7_ pv9_10_ [1256] [394] |
| 1-1 1 |
| -11 1 |
| .names pv9_5_ pv9_6_ pv9_0_ [1250] |
| 001 1 |
| .names pv9_3_ pv9_2_ [1252] |
| 01 1 |
| .names pv9_2_ pv9_1_ [1254] |
| 10 1 |
| .names pv9_2_ pv9_1_ [1255] |
| 00 1 |
| .names pv9_2_ pv9_1_ [1256] |
| 00 1 |
| .names [68] [393] [1256] [1258] |
| -1- 1 |
| 1-1 1 |
| .names [390] [391] [392] [1259] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names pv9_2_ pv9_10_ [1260] |
| 00 1 |
| .names pv9_2_ pv9_1_ [1261] |
| 00 1 |
| .names [388] [387] [1266] |
| 1- 1 |
| -1 1 |
| .names [385] [386] [389] [1267] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names pv9_10_ pv9_1_ pv9_2_ [1268] |
| 1-- 1 |
| -11 1 |
| .names [380] [379] [1269] |
| 1- 1 |
| -1 1 |
| .names [376] [375] [1271] |
| 1- 1 |
| -1 1 |
| .names [372] [371] [1273] |
| 1- 1 |
| -1 1 |
| .names n_n4 [365] [368] [1277] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names [363] [362] [1278] |
| 1- 1 |
| -1 1 |
| .names n_n4 [356] [357] [1282] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [351] [354] [1285] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [346] [347] [1288] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [342] [344] [1290] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [335] [338] [1293] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [330] [331] [1296] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [325] [328] [1299] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [320] [323] [1302] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [315] [316] [1305] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [310] [313] [1308] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [306] [308] [1310] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [299] [302] [1313] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [294] [295] [1316] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [290] [292] [1318] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [283] [286] [1321] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [278] [281] [1324] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [273] [276] [1327] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [268] [269] [1330] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [263] [266] [1333] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [258] [259] [1336] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names [256] [255] [1337] |
| 1- 1 |
| -1 1 |
| .names n_n4 [249] [252] [1341] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names [247] [246] [1342] |
| 1- 1 |
| -1 1 |
| .names n_n4 [240] [243] [1346] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [238] [344] [1348] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [231] [234] [1351] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names [229] [228] [1352] |
| 1- 1 |
| -1 1 |
| .names n_n4 [222] [225] [1356] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [217] [220] [1359] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [212] [215] [1362] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [207] [210] [1365] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [205] [308] [1367] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [198] [201] [1370] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [196] [292] [1372] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [189] [192] [1375] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [184] [187] [1378] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [179] [182] [1381] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [175] [177] [1383] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [168] [171] [1386] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [163] [166] [1389] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [158] [159] [1392] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [153] [156] [1395] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [148] [151] [1398] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [143] [144] [1401] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [141] [177] [1403] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [134] [135] [1406] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [129] [130] [1409] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [124] [127] [1412] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [119] [120] [1415] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [114] [115] [1418] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [109] [110] [1421] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [104] [105] [1424] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [99] [100] [1427] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [94] [95] [1430] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [89] [90] [1433] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [84] [85] [1436] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [79] [80] [1439] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n4 [69] [74] [1442] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .end |
