TSTP Solution File: SYN865-1 by CARINE---0.734
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : CARINE---0.734
% Problem : SYN865-1 : TPTP v5.0.0. Released v2.5.0.
% Transfm : add_equality
% Format : carine
% Command : carine %s t=%d xo=off uct=32000
% Computer : art06.cs.miami.edu
% Model : i686 i686
% CPU : Intel(R) Pentium(R) 4 CPU 2.80GHz @ 2793MHz
% Memory : 2018MB
% OS : Linux 2.6.26.8-57.fc8
% CPULimit : 300s
% DateTime : Sun Nov 28 12:18:06 EST 2010
% Result : Unknown 2.44s
% Output : None
% Verified :
% SZS Type : None (Parsing solution fails)
% Syntax : Number of formulae : 0
% Comments :
%------------------------------------------------------------------------------
%----NO SOLUTION OUTPUT BY SYSTEM
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% Command entered:
% /home/graph/tptp/Systems/CARINE---0.734/carine /tmp/SystemOnTPTP15381/SYN/SYN865-1+noeq.car t=300 xo=off uct=32000
% CARINE version 0.734 (Dec 2003)
% Initializing tables ... done.
% Parsing ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
% Error #30 : Total number of literals in the base clauses exceeded the maximum value.
% Increase MAX_ROOT_ID.
% ---------------------------------------------
% | Statistics |
% ---------------------------------------------
% Profile 3: Performance Statistics:
% ==================================
% Total number of generated clauses: 0
% resolvents: 0 factors: 0
% Number of unit clauses generated: 0
% % unit clauses generated to total clauses generated: nan
% Number of unit clauses constructed and retained at depth [x]:
% =============================================================
% Total = 0
% Number of generated clauses having [x] literals:
% ------------------------------------------------
% Average size of a generated clause: nan
% Number of unit clauses per predicate list:
% ==========================================
% [0] ssNder1_0 (+)0 (-)0
% [1] ssNder1_1r1_1 (+)0 (-)0
% [2] ssNder1_2r1r1_2 (+)0 (-)0
% [3] ssPv40_2r1r1_2 (+)0 (-)0
% [4] ssPv40_1r1_1 (+)0 (-)0
% [5] ssPv31_1r1_1 (+)0 (-)0
% [6] ssPv25_1r1_1 (+)0 (-)0
% [7] ssPv36_1r1_1 (+)0 (-)0
% [8] ssPv15_1r1_1 (+)0 (-)0
% [9] ssPv21_1r1_1 (+)0 (-)0
% [10] ssPv28_1r1_1 (+)0 (-)0
% [11] ssPv13_1r1_1 (+)0 (-)0
% [12] ssPv27_1r1_1 (+)0 (-)0
% [13] ssPv14_1r1_1 (+)0 (-)0
% [14] ssPv23_1r1_1 (+)0 (-)0
% [15] ssPv9_1r1_1 (+)0 (-)0
% [16] ssNder1_3r1r1r1_3 (+)0 (-)0
% [17] ssPv40_3r1r1r1_3 (+)0 (-)0
% [18] ssPv39_3r1r1r1_3 (+)0 (-)0
% [19] ssPv39_2r1r1_2 (+)0 (-)0
% [20] ssNder1_4r1r1r1r1_4 (+)0 (-)0
% [21] ssPv7_2r1r1_2 (+)0 (-)0
% [22] ssPv11_2r1r1_2 (+)0 (-)0
% [23] ssPv14_2r1r1_2 (+)0 (-)0
% [24] ssPv26_2r1r1_2 (+)0 (-)0
% [25] ssPv30_2r1r1_2 (+)0 (-)0
% [26] ssPv38_2r1r1_2 (+)0 (-)0
% [27] ssPv10_2r1r1_2 (+)0 (-)0
% [28] ssPv28_2r1r1_2 (+)0 (-)0
% [29] ssPv35_2r1r1_2 (+)0 (-)0
% [30] ssPv40_4r1r1r1r1_4 (+)0 (-)0
% [31] ssPv39_4r1r1r1r1_4 (+)0 (-)0
% [32] ssPv38_4r1r1r1r1_4 (+)0 (-)0
% [33] ssPv38_3r1r1r1_3 (+)0 (-)0
% [34] ssNder1_5r1r1r1r1r1_5 (+)0 (-)0
% [35] ssPv11_3r1r1r1_3 (+)0 (-)0
% [36] ssPv21_3r1r1r1_3 (+)0 (-)0
% [37] ssPv32_3r1r1r1_3 (+)0 (-)0
% [38] ssPv8_3r1r1r1_3 (+)0 (-)0
% [39] ssPv27_3r1r1r1_3 (+)0 (-)0
% [40] ssPv40_5r1r1r1r1r1_5 (+)0 (-)0
% [41] ssPv26_3r1r1r1_3 (+)0 (-)0
% [42] ssPv30_3r1r1r1_3 (+)0 (-)0
% [43] ssPv39_5r1r1r1r1r1_5 (+)0 (-)0
% [44] ssPv38_5r1r1r1r1r1_5 (+)0 (-)0
% [45] ssPv37_5r1r1r1r1r1_5 (+)0 (-)0
% [46] ssPv37_4r1r1r1r1_4 (+)0 (-)0
% [47] ssPv12_4r1r1r1r1_4 (+)0 (-)0
% [48] ssPv15_4r1r1r1r1_4 (+)0 (-)0
% [49] ssPv20_4r1r1r1r1_4 (+)0 (-)0
% [50] ssNder1_6r1r1r1r1r1r1_6 (+)0 (-)0
% [51] ssPv3_4r1r1r1r1_4 (+)0 (-)0
% [52] ssPv31_4r1r1r1r1_4 (+)0 (-)0
% [53] ssPv1_4r1r1r1r1_4 (+)0 (-)0
% [54] ssPv30_4r1r1r1r1_4 (+)0 (-)0
% [55] ssPv26_4r1r1r1r1_4 (+)0 (-)0
% [56] ssPv29_4r1r1r1r1_4 (+)0 (-)0
% [57] ssPv40_6r1r1r1r1r1r1_6 (+)0 (-)0
% [58] ssPv39_6r1r1r1r1r1r1_6 (+)0 (-)0
% [59] ssPv38_6r1r1r1r1r1r1_6 (+)0 (-)0
% [60] ssPv37_6r1r1r1r1r1r1_6 (+)0 (-)0
% [61] ssPv36_5r1r1r1r1r1_5 (+)0 (-)0
% [62] ssPv36_6r1r1r1r1r1r1_6 (+)0 (-)0
% [63] ssNder1_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [64] ssPv10_5r1r1r1r1r1_5 (+)0 (-)0
% [65] ssPv22_5r1r1r1r1r1_5 (+)0 (-)0
% [66] ssPv28_5r1r1r1r1r1_5 (+)0 (-)0
% [67] ssPv31_5r1r1r1r1r1_5 (+)0 (-)0
% [68] ssPv25_5r1r1r1r1r1_5 (+)0 (-)0
% [69] ssPv13_5r1r1r1r1r1_5 (+)0 (-)0
% [70] ssPv12_5r1r1r1r1r1_5 (+)0 (-)0
% [71] ssPv15_5r1r1r1r1r1_5 (+)0 (-)0
% [72] ssPv19_5r1r1r1r1r1_5 (+)0 (-)0
% [73] ssPv40_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [74] ssPv39_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [75] ssPv27_5r1r1r1r1r1_5 (+)0 (-)0
% [76] ssPv33_5r1r1r1r1r1_5 (+)0 (-)0
% [77] ssPv38_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [78] ssPv37_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [79] ssPv36_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [80] ssPv35_6r1r1r1r1r1r1_6 (+)0 (-)0
% [81] ssPv35_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [82] ssNder1_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [83] ssPv32_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [84] ssPv40_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [85] ssPv31_6r1r1r1r1r1r1_6 (+)0 (-)0
% [86] ssPv5_6r1r1r1r1r1r1_6 (+)0 (-)0
% [87] ssPv26_6r1r1r1r1r1r1_6 (+)0 (-)0
% [88] ssPv39_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [89] ssPv3_6r1r1r1r1r1r1_6 (+)0 (-)0
% [90] ssPv30_6r1r1r1r1r1r1_6 (+)0 (-)0
% [91] ssPv1_6r1r1r1r1r1r1_6 (+)0 (-)0
% [92] ssPv13_6r1r1r1r1r1r1_6 (+)0 (-)0
% [93] ssPv14_6r1r1r1r1r1r1_6 (+)0 (-)0
% [94] ssPv16_6r1r1r1r1r1r1_6 (+)0 (-)0
% [95] ssPv25_6r1r1r1r1r1r1_6 (+)0 (-)0
% [96] ssPv34_6r1r1r1r1r1r1_6 (+)0 (-)0
% [97] ssPv38_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [98] ssPv37_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [99] ssPv10_6r1r1r1r1r1r1_6 (+)0 (-)0
% [100] ssPv28_6r1r1r1r1r1r1_6 (+)0 (-)0
% [101] ssPv36_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [102] ssPv35_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [103] ssPv34_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [104] ssPv34_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [105] ssNder1_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [106] ssPv31_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [107] ssPv40_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [108] ssPv24_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [109] ssPv29_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [110] ssPv32_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [111] ssPv10_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [112] ssPv23_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [113] ssPv31_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [114] ssPv39_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [115] ssPv27_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [116] ssPv1_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [117] ssPv30_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [118] ssPv38_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [119] ssPv14_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [120] ssPv26_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [121] ssPv22_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [122] ssPv37_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [123] ssPv16_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [124] ssPv25_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [125] ssPv8_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [126] ssPv9_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [127] ssPv36_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [128] ssPv35_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [129] ssPv34_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [130] ssPv33_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [131] ssPv33_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [132] ssNder1_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [133] ssPv30_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [134] ssPv40_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [135] ssPv39_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [136] ssPv38_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [137] ssPv9_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [138] ssPv22_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [139] ssPv30_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [140] ssPv29_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [141] ssPv28_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [142] ssPv37_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [143] ssPv36_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [144] ssPv12_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [145] ssPv27_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [146] ssPv35_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [147] ssPv34_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [148] ssPv33_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [149] ssPv32_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [150] ssNder1_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [151] ssPv29_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [152] ssPv40_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [153] ssPv39_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [154] ssPv24_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [155] ssPv29_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [156] ssPv38_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [157] ssPv37_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [158] ssPv36_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [159] ssPv2_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [160] ssPv31_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [161] ssPv18_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [162] ssPv35_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [163] ssPv11_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [164] ssPv21_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [165] ssPv22_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [166] ssPv8_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [167] ssPv27_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [168] ssPv34_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [169] ssPv33_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [170] ssPv32_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [171] ssPv31_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [172] ssNder1_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [173] ssPv28_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [174] ssPv40_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [175] ssPv39_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [176] ssPv38_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [177] ssPv37_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [178] ssPv17_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [179] ssPv3_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [180] ssPv16_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [181] ssPv36_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [182] ssPv25_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [183] ssPv15_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [184] ssPv21_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [185] ssPv10_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [186] ssPv23_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [187] ssPv1_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [188] ssPv30_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [189] ssPv35_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [190] ssPv5_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [191] ssPv26_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [192] ssPv34_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [193] ssPv2_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [194] ssPv18_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [195] ssPv33_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [196] ssPv32_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [197] ssPv31_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [198] ssPv30_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [199] ssNder1_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [200] ssPv27_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [201] ssPv40_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [202] ssPv39_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [203] ssPv38_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [204] ssPv37_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [205] ssPv36_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [206] ssPv1_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [207] ssPv10_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [208] ssPv35_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [209] ssPv12_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [210] ssPv34_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [211] ssPv3_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [212] ssPv9_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [213] ssPv22_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [214] ssPv33_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [215] ssPv20_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [216] ssPv27_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [217] ssPv32_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [218] ssPv26_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [219] ssPv31_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [220] ssPv30_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [221] ssPv29_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [222] ssNder1_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [223] ssPv26_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [224] ssPv40_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [225] ssPv39_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [226] ssPv38_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [227] ssPv37_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [228] ssPv36_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [229] ssPv35_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [230] ssPv24_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [231] ssPv27_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [232] ssPv34_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [233] ssPv33_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [234] ssPv22_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [235] ssPv28_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [236] ssPv15_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [237] ssPv6_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [238] ssPv18_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [239] ssPv3_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [240] ssPv26_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [241] ssPv32_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [242] ssPv31_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [243] ssPv30_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [244] ssPv29_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [245] ssPv28_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [246] ssNder1_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [247] ssPv25_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [248] ssPv40_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [249] ssPv39_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [250] ssPv38_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [251] ssPv37_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [252] ssPv36_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [253] ssPv35_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [254] ssPv10_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [255] ssPv22_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [256] ssPv7_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [257] ssPv8_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [258] ssPv16_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [259] ssPv34_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [260] ssPv33_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [261] ssPv24_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [262] ssPv14_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [263] ssPv19_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [264] ssPv13_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [265] ssPv23_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [266] ssPv9_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [267] ssPv32_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [268] ssPv31_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [269] ssPv30_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [270] ssPv29_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [271] ssPv28_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [272] ssPv27_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [273] ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [274] ssPv40_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [275] ssPv39_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [276] ssPv38_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [277] ssPv37_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [278] ssPv36_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [279] ssPv35_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [280] ssPv34_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [281] ssPv33_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [282] ssPv32_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [283] ssPv24_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [284] ssPv17_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [285] ssPv9_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [286] ssPv18_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [287] ssPv8_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [288] ssPv23_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [289] ssPv31_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [290] ssPv14_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [291] ssPv30_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [292] ssPv12_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [293] ssPv3_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [294] ssPv20_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [295] ssPv29_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [296] ssPv28_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [297] ssPv27_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [298] ssPv26_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [299] ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [300] ssPv40_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [301] ssPv39_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [302] ssPv38_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [303] ssPv37_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [304] ssPv36_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [305] ssPv35_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [306] ssPv34_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [307] ssPv33_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [308] ssPv32_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [309] ssPv31_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [310] ssPv5_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [311] ssPv30_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [312] ssPv14_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [313] ssPv22_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [314] ssPv23_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [315] ssPv21_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [316] ssPv29_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [317] ssPv3_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [318] ssPv6_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [319] ssPv10_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [320] ssPv28_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [321] ssPv27_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [322] ssPv26_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [323] ssPv25_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [324] ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [325] ssPv40_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [326] ssPv39_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [327] ssPv38_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [328] ssPv37_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [329] ssPv36_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [330] ssPv35_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [331] ssPv34_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [332] ssPv33_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [333] ssPv32_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [334] ssPv31_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [335] ssPv30_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [336] ssPv21_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [337] ssPv1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [338] ssPv29_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [339] ssPv23_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [340] ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [341] ssPv20_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [342] ssPv28_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [343] ssPv12_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [344] ssPv24_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [345] ssPv14_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [346] ssPv4_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [347] ssPv16_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [348] ssPv27_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [349] ssPv26_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [350] ssPv25_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [351] ssPv24_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [352] ssPv24_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [353] ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [354] ssPv40_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [355] ssPv39_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [356] ssPv38_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [357] ssPv37_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [358] ssPv36_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [359] ssPv35_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [360] ssPv34_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [361] ssPv33_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [362] ssPv32_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [363] ssPv31_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [364] ssPv30_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [365] ssPv29_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [366] ssPv14_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [367] ssPv19_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [368] ssPv28_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [369] ssPv27_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [370] ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [371] ssPv12_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [372] ssPv21_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [373] ssPv1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [374] ssPv10_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [375] ssPv11_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [376] ssPv26_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [377] ssPv25_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [378] ssPv24_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [379] ssPv23_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [380] ssPv23_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [381] ssNder1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [382] ssPv40_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [383] ssPv39_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [384] ssPv38_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [385] ssPv37_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [386] ssPv36_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [387] ssPv35_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [388] ssPv34_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [389] ssPv33_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [390] ssPv32_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [391] ssPv31_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [392] ssPv30_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [393] ssPv29_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [394] ssPv9_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [395] ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [396] ssPv28_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [397] ssPv10_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [398] ssPv27_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [399] ssPv14_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [400] ssPv21_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [401] ssPv11_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [402] ssPv20_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [403] ssPv26_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [404] ssPv25_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [405] ssPv24_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [406] ssPv23_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [407] ssPv22_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [408] ssPv22_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [409] ssNder1_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [410] ssPv40_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [411] ssPv39_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [412] ssPv38_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [413] ssPv37_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [414] ssPv36_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [415] ssPv35_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [416] ssPv34_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [417] ssPv33_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [418] ssPv32_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [419] ssPv31_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [420] ssPv30_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [421] ssPv29_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [422] ssPv28_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [423] ssPv10_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [424] ssPv27_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [425] ssPv26_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [426] ssPv14_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [427] ssPv9_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [428] ssPv25_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [429] ssPv11_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [430] ssPv18_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [431] ssPv6_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [432] ssPv24_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [433] ssPv23_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [434] ssPv22_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [435] ssPv21_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [436] ssPv21_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [437] ssNder1_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [438] ssPv40_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [439] ssPv39_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [440] ssPv38_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [441] ssPv37_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [442] ssPv36_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [443] ssPv35_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [444] ssPv34_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [445] ssPv33_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [446] ssPv32_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [447] ssPv31_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [448] ssPv30_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [449] ssPv29_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [450] ssPv28_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [451] ssPv27_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [452] ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [453] ssPv12_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [454] ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [455] ssPv26_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [456] ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [457] ssPv10_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [458] ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [459] ssPv11_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [460] ssPv25_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [461] ssPv14_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [462] ssPv4_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [463] ssPv9_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [464] ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [465] ssPv24_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [466] ssPv23_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [467] ssPv22_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [468] ssPv21_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [469] ssPv20_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [470] ssPv20_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [471] ssNder1_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [472] ssPv40_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [473] ssPv39_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [474] ssPv38_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [475] ssPv37_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [476] ssPv36_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [477] ssPv35_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [478] ssPv34_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [479] ssPv33_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [480] ssPv32_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [481] ssPv31_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [482] ssPv30_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [483] ssPv29_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [484] ssPv28_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [485] ssPv27_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [486] ssPv12_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [487] ssPv15_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [488] ssPv26_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [489] ssPv25_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [490] ssPv11_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [491] ssPv24_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [492] ssPv23_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [493] ssPv22_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [494] ssPv3_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [495] ssPv21_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [496] ssPv20_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [497] ssPv19_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [498] ssPv19_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [499] ssNder1_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [500] ssPv16_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [501] ssPv40_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [502] ssPv39_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [503] ssPv38_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [504] ssPv37_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [505] ssPv36_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [506] ssPv35_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [507] ssPv34_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [508] ssPv33_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [509] ssPv32_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [510] ssPv31_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [511] ssPv30_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [512] ssPv29_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [513] ssPv28_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [514] ssPv27_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [515] ssPv26_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [516] ssPv25_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [517] ssPv14_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [518] ssPv24_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [519] ssPv23_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [520] ssPv12_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [521] ssPv15_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [522] ssPv22_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [523] ssPv21_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [524] ssPv20_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [525] ssPv19_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [526] ssPv18_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [527] ssPv18_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [528] ssNder1_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [529] ssPv15_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [530] ssPv40_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [531] ssPv39_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [532] ssPv38_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [533] ssPv37_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [534] ssPv36_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [535] ssPv35_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [536] ssPv34_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [537] ssPv33_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [538] ssPv32_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [539] ssPv31_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [540] ssPv30_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [541] ssPv29_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [542] ssPv28_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [543] ssPv27_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [544] ssPv26_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [545] ssPv25_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [546] ssPv24_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [547] ssPv23_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [548] ssPv3_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [549] ssPv10_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [550] ssPv14_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [551] ssPv17_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [552] ssPv9_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [553] ssPv22_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [554] ssPv15_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [555] ssPv6_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [556] ssPv2_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [557] ssPv21_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [558] ssPv11_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [559] ssPv20_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [560] ssPv19_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [561] ssPv18_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [562] ssPv17_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [563] ssPv17_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [564] ssNder1_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [565] ssPv14_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [566] ssPv40_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [567] ssPv39_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [568] ssPv38_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [569] ssPv37_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [570] ssPv36_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [571] ssPv35_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [572] ssPv34_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [573] ssPv33_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [574] ssPv32_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [575] ssPv31_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [576] ssPv30_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [577] ssPv29_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [578] ssPv28_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [579] ssPv27_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [580] ssPv26_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [581] ssPv25_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [582] ssPv24_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [583] ssPv23_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [584] ssPv22_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [585] ssPv9_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [586] ssPv3_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [587] ssPv16_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [588] ssPv21_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [589] ssPv20_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [590] ssPv5_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [591] ssPv13_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [592] ssPv19_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [593] ssPv18_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [594] ssPv17_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [595] ssPv16_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [596] ssNder1_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [597] ssPv13_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [598] ssPv40_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [599] ssPv39_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [600] ssPv38_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [601] ssPv37_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [602] ssPv36_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [603] ssPv35_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [604] ssPv34_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [605] ssPv33_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [606] ssPv32_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [607] ssPv31_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [608] ssPv30_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [609] ssPv29_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [610] ssPv28_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [611] ssPv27_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [612] ssPv26_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [613] ssPv25_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [614] ssPv24_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [615] ssPv23_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [616] ssPv22_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [617] ssPv7_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [618] ssPv8_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [619] ssPv21_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [620] ssPv12_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [621] ssPv3_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [622] ssPv20_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [623] ssPv19_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [624] ssPv18_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [625] ssPv5_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [626] ssPv13_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [627] ssPv17_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [628] ssPv16_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [629] ssPv15_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [630] ssNder1_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [631] ssPv12_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [632] ssPv40_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [633] ssPv39_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [634] ssPv38_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [635] ssPv37_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [636] ssPv36_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [637] ssPv35_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [638] ssPv34_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [639] ssPv33_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [640] ssPv32_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [641] ssPv31_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [642] ssPv30_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [643] ssPv29_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [644] ssPv28_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [645] ssPv27_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [646] ssPv26_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [647] ssPv25_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [648] ssPv24_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [649] ssPv23_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [650] ssPv22_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [651] ssPv12_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [652] ssPv21_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [653] ssPv3_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [654] ssPv20_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [655] ssPv19_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [656] ssPv6_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [657] ssPv18_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [658] ssPv17_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [659] ssPv16_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [660] ssPv15_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [661] ssPv14_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [662] ssNder1_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [663] ssPv11_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [664] ssPv40_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [665] ssPv39_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [666] ssPv38_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [667] ssPv37_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [668] ssPv36_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [669] ssPv35_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [670] ssPv34_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [671] ssPv33_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [672] ssPv32_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [673] ssPv31_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [674] ssPv30_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [675] ssPv29_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [676] ssPv28_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [677] ssPv27_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [678] ssPv26_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [679] ssPv25_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [680] ssPv24_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [681] ssPv23_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [682] ssPv22_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [683] ssPv21_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [684] ssPv20_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [685] ssPv3_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [686] ssPv10_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [687] ssPv19_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [688] ssPv18_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [689] ssPv1_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [690] ssPv13_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [691] ssPv7_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [692] ssPv11_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [693] ssPv17_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [694] ssPv4_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [695] ssPv16_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [696] ssPv15_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [697] ssPv14_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [698] ssPv13_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [699] ssNder1_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [700] ssPv10_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [701] ssPv40_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [702] ssPv39_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [703] ssPv38_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [704] ssPv37_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [705] ssPv36_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [706] ssPv35_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [707] ssPv34_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [708] ssPv33_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [709] ssPv32_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [710] ssPv31_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [711] ssPv30_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [712] ssPv29_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [713] ssPv28_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [714] ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [715] ssPv26_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [716] ssPv25_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [717] ssPv24_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [718] ssPv23_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [719] ssPv22_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [720] ssPv21_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [721] ssPv20_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [722] ssPv19_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [723] ssPv18_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [724] ssPv17_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [725] ssPv1_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [726] ssPv4_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [727] ssPv9_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [728] ssPv16_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [729] ssPv15_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [730] ssPv5_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [731] ssPv14_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [732] ssPv13_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [733] ssPv12_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [734] ssNder1_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [735] ssPv9_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [736] ssPv40_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [737] ssPv39_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [738] ssPv38_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [739] ssPv37_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [740] ssPv36_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [741] ssPv35_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [742] ssPv34_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [743] ssPv33_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [744] ssPv32_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [745] ssPv31_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [746] ssPv30_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [747] ssPv29_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [748] ssPv28_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [749] ssPv27_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [750] ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [751] ssPv25_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [752] ssPv24_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [753] ssPv23_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [754] ssPv22_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [755] ssPv21_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [756] ssPv20_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [757] ssPv19_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [758] ssPv18_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [759] ssPv8_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [760] ssPv17_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [761] ssPv1_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [762] ssPv16_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [763] ssPv15_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [764] ssPv14_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [765] ssPv13_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [766] ssPv12_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [767] ssPv11_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [768] ssNder1_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [769] ssPv40_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [770] ssPv39_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [771] ssPv38_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [772] ssPv37_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [773] ssPv36_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [774] ssPv35_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [775] ssPv34_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [776] ssPv33_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [777] ssPv32_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [778] ssPv31_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [779] ssPv30_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [780] ssPv29_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [781] ssPv28_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [782] ssPv27_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [783] ssPv26_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [784] ssPv25_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [785] ssPv24_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [786] ssPv23_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [787] ssPv22_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [788] ssPv21_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [789] ssPv20_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [790] ssPv19_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [791] ssPv18_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [792] ssPv17_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [793] ssPv16_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [794] ssPv10_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [795] ssPv1_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [796] ssPv15_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [797] ssPv7_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [798] ssPv14_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [799] ssPv13_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [800] ssPv12_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [801] ssPv11_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [802] ssPv10_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [803] ssNder1_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [804] ssPv40_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [805] ssPv39_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [806] ssPv38_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [807] ssPv37_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [808] ssPv36_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [809] ssPv35_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [810] ssPv34_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [811] ssPv33_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [812] ssPv32_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [813] ssPv31_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [814] ssPv30_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [815] ssPv29_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [816] ssPv28_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [817] ssPv27_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [818] ssPv26_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [819] ssPv25_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [820] ssPv24_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [821] ssPv23_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [822] ssPv22_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [823] ssPv21_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [824] ssPv20_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [825] ssPv19_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [826] ssPv18_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [827] ssPv17_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [828] ssPv16_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [829] ssPv3_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [830] ssPv15_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [831] ssPv1_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [832] ssPv14_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [833] ssPv13_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [834] ssPv6_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [835] ssPv12_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [836] ssPv11_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [837] ssPv10_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [838] ssPv9_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [839] ssNder1_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [840] ssPv40_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [841] ssPv39_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [842] ssPv38_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [843] ssPv37_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [844] ssPv36_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [845] ssPv35_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [846] ssPv34_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [847] ssPv33_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [848] ssPv32_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [849] ssPv31_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [850] ssPv30_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [851] ssPv29_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [852] ssPv28_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [853] ssPv27_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [854] ssPv26_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [855] ssPv25_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [856] ssPv24_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [857] ssPv23_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [858] ssPv22_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [859] ssPv21_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [860] ssPv20_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [861] ssPv19_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [862] ssPv18_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [863] ssPv17_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [864] ssPv16_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [865] ssPv15_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [866] ssPv8_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [867] ssPv14_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% ------------------
% Total: (+)0 (-)0
% Total number of unit clauses retained: 0
% Number of clauses skipped because of their length: 0
% N base clauses skippped in resolve-with-all-base-clauses
% because of the shortest resolvents table: 0
% Number of successful unifications: 0
% Number of unification failures: 0
% Number of unit to unit unification failures: 0
% N literal unification failure due to lookup root_id table: 0
% N base clause resolution failure due to lookup table: 0
% N UC-BCL resolution dropped due to lookup table: 0
% Max entries in substitution set: 0
% N unit clauses dropped because they exceeded max values: 0
% N unit clauses dropped because too much nesting: 0
% N unit clauses not constrcuted because table was full: 0
% N unit clauses dropped because UCFA table was full: 0
% Max number of terms in a unit clause: 0
% Max term depth in a unit clause: 0
% Number of states in UCFA table: 0
% Total number of terms of all unit clauses in table: 0
% Max allowed number of states in UCFA: 0
% Ratio n states used/total allowed states: nan
% Ratio n states used/total unit clauses terms: nan
% Number of symbols (columns) in UCFA: 0
% Profile 2: Number of calls to:
% ==============================
% PTUnify() = 0
% ConstructUnitClause() = 0
% Profile 1: Time spent in:
% =========================
% ConstructUnitClause() : 0.00 secs
% --------------------------------------------------------
% | |
% Inferences per sec: 0
% | |
% --------------------------------------------------------
% Elapsed time: 3 secs
% CPU time: 2.44 secs
%
%------------------------------------------------------------------------------