TSTP Solution File: SYN864-1 by CARINE---0.734
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : CARINE---0.734
% Problem : SYN864-1 : TPTP v5.0.0. Released v2.5.0.
% Transfm : add_equality
% Format : carine
% Command : carine %s t=%d xo=off uct=32000
% Computer : art01.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:17:50 EST 2010
% Result : Unknown 2.47s
% 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/SystemOnTPTP2608/SYN/SYN864-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] ssPv28_1r1_1 (+)0 (-)0
% [6] ssPv29_1r1_1 (+)0 (-)0
% [7] ssPv37_1r1_1 (+)0 (-)0
% [8] ssPv32_1r1_1 (+)0 (-)0
% [9] ssPv10_1r1_1 (+)0 (-)0
% [10] ssPv24_1r1_1 (+)0 (-)0
% [11] ssNder1_3r1r1r1_3 (+)0 (-)0
% [12] ssPv12_1r1_1 (+)0 (-)0
% [13] ssPv16_1r1_1 (+)0 (-)0
% [14] ssPv40_3r1r1r1_3 (+)0 (-)0
% [15] ssPv39_3r1r1r1_3 (+)0 (-)0
% [16] ssPv39_2r1r1_2 (+)0 (-)0
% [17] ssPv14_2r1r1_2 (+)0 (-)0
% [18] ssPv15_2r1r1_2 (+)0 (-)0
% [19] ssPv38_2r1r1_2 (+)0 (-)0
% [20] ssPv9_2r1r1_2 (+)0 (-)0
% [21] ssPv12_2r1r1_2 (+)0 (-)0
% [22] ssPv24_2r1r1_2 (+)0 (-)0
% [23] ssNder1_4r1r1r1r1_4 (+)0 (-)0
% [24] ssPv8_2r1r1_2 (+)0 (-)0
% [25] ssPv28_2r1r1_2 (+)0 (-)0
% [26] ssPv29_2r1r1_2 (+)0 (-)0
% [27] ssPv13_2r1r1_2 (+)0 (-)0
% [28] ssPv26_2r1r1_2 (+)0 (-)0
% [29] ssPv40_4r1r1r1r1_4 (+)0 (-)0
% [30] ssPv39_4r1r1r1r1_4 (+)0 (-)0
% [31] ssPv38_4r1r1r1r1_4 (+)0 (-)0
% [32] ssPv38_3r1r1r1_3 (+)0 (-)0
% [33] ssPv14_3r1r1r1_3 (+)0 (-)0
% [34] ssPv15_3r1r1r1_3 (+)0 (-)0
% [35] ssNder1_5r1r1r1r1r1_5 (+)0 (-)0
% [36] ssPv11_3r1r1r1_3 (+)0 (-)0
% [37] ssPv21_3r1r1r1_3 (+)0 (-)0
% [38] ssPv25_3r1r1r1_3 (+)0 (-)0
% [39] ssPv34_3r1r1r1_3 (+)0 (-)0
% [40] ssPv9_3r1r1r1_3 (+)0 (-)0
% [41] ssPv22_3r1r1r1_3 (+)0 (-)0
% [42] ssPv29_3r1r1r1_3 (+)0 (-)0
% [43] ssPv40_5r1r1r1r1r1_5 (+)0 (-)0
% [44] ssPv39_5r1r1r1r1r1_5 (+)0 (-)0
% [45] ssPv38_5r1r1r1r1r1_5 (+)0 (-)0
% [46] ssPv37_4r1r1r1r1_4 (+)0 (-)0
% [47] ssPv37_5r1r1r1r1r1_5 (+)0 (-)0
% [48] ssNder1_6r1r1r1r1r1r1_6 (+)0 (-)0
% [49] ssPv28_4r1r1r1r1_4 (+)0 (-)0
% [50] ssPv29_4r1r1r1r1_4 (+)0 (-)0
% [51] ssPv5_4r1r1r1r1_4 (+)0 (-)0
% [52] ssPv10_4r1r1r1r1_4 (+)0 (-)0
% [53] ssPv4_4r1r1r1r1_4 (+)0 (-)0
% [54] ssPv15_4r1r1r1r1_4 (+)0 (-)0
% [55] ssPv16_4r1r1r1r1_4 (+)0 (-)0
% [56] ssPv12_4r1r1r1r1_4 (+)0 (-)0
% [57] ssPv23_4r1r1r1r1_4 (+)0 (-)0
% [58] ssPv30_4r1r1r1r1_4 (+)0 (-)0
% [59] ssPv32_4r1r1r1r1_4 (+)0 (-)0
% [60] ssPv40_6r1r1r1r1r1r1_6 (+)0 (-)0
% [61] ssPv39_6r1r1r1r1r1r1_6 (+)0 (-)0
% [62] ssPv38_6r1r1r1r1r1r1_6 (+)0 (-)0
% [63] ssPv37_6r1r1r1r1r1r1_6 (+)0 (-)0
% [64] ssPv36_6r1r1r1r1r1r1_6 (+)0 (-)0
% [65] ssPv36_5r1r1r1r1r1_5 (+)0 (-)0
% [66] ssNder1_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [67] ssPv6_5r1r1r1r1r1_5 (+)0 (-)0
% [68] ssPv15_5r1r1r1r1r1_5 (+)0 (-)0
% [69] ssPv30_5r1r1r1r1r1_5 (+)0 (-)0
% [70] ssPv40_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [71] ssPv12_5r1r1r1r1r1_5 (+)0 (-)0
% [72] ssPv34_5r1r1r1r1r1_5 (+)0 (-)0
% [73] ssPv25_5r1r1r1r1r1_5 (+)0 (-)0
% [74] ssPv27_5r1r1r1r1r1_5 (+)0 (-)0
% [75] ssPv32_5r1r1r1r1r1_5 (+)0 (-)0
% [76] ssPv24_5r1r1r1r1r1_5 (+)0 (-)0
% [77] ssPv11_5r1r1r1r1r1_5 (+)0 (-)0
% [78] ssPv23_5r1r1r1r1r1_5 (+)0 (-)0
% [79] ssPv2_5r1r1r1r1r1_5 (+)0 (-)0
% [80] ssPv39_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [81] ssPv38_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [82] ssPv37_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [83] ssPv36_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [84] ssPv35_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [85] ssPv35_6r1r1r1r1r1r1_6 (+)0 (-)0
% [86] ssNder1_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [87] ssPv32_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [88] ssPv16_6r1r1r1r1r1r1_6 (+)0 (-)0
% [89] ssPv23_6r1r1r1r1r1r1_6 (+)0 (-)0
% [90] ssPv26_6r1r1r1r1r1r1_6 (+)0 (-)0
% [91] ssPv40_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [92] ssPv39_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [93] ssPv33_6r1r1r1r1r1r1_6 (+)0 (-)0
% [94] ssPv12_6r1r1r1r1r1r1_6 (+)0 (-)0
% [95] ssPv32_6r1r1r1r1r1r1_6 (+)0 (-)0
% [96] ssPv2_6r1r1r1r1r1r1_6 (+)0 (-)0
% [97] ssPv28_6r1r1r1r1r1r1_6 (+)0 (-)0
% [98] ssPv38_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [99] ssPv37_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [100] ssPv36_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [101] ssPv35_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [102] ssPv34_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [103] ssPv34_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [104] ssNder1_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [105] ssPv31_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [106] ssPv40_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [107] ssPv19_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [108] ssPv13_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [109] ssPv29_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [110] ssPv39_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [111] ssPv38_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [112] ssPv12_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [113] ssPv25_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [114] ssPv11_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [115] ssPv31_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [116] ssPv6_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [117] ssPv37_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [118] ssPv36_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [119] ssPv35_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [120] ssPv34_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [121] ssPv33_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [122] ssPv33_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [123] ssNder1_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [124] ssPv30_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [125] ssPv40_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [126] ssPv39_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [127] ssPv38_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [128] ssPv37_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [129] ssPv10_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [130] ssPv11_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [131] ssPv23_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [132] ssPv12_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [133] ssPv32_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [134] ssPv36_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [135] ssPv9_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [136] ssPv13_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [137] ssPv19_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [138] ssPv14_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [139] ssPv3_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [140] ssPv35_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [141] ssPv34_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [142] ssPv33_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [143] ssPv32_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [144] ssNder1_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [145] ssPv29_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [146] ssPv40_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [147] ssPv39_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [148] ssPv38_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [149] ssPv3_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [150] ssPv6_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [151] ssPv31_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [152] ssPv10_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [153] ssPv21_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [154] ssPv22_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [155] ssPv37_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [156] ssPv5_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [157] ssPv24_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [158] ssPv29_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [159] ssPv12_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [160] ssPv17_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [161] ssPv11_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [162] ssPv20_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [163] ssPv36_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [164] ssPv23_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [165] ssPv30_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [166] ssPv27_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [167] ssPv4_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [168] ssPv35_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [169] ssPv2_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [170] ssPv18_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [171] ssPv34_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [172] ssPv33_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [173] ssPv32_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [174] ssPv31_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [175] ssNder1_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [176] ssPv28_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [177] ssPv40_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [178] ssPv39_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [179] ssPv38_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [180] ssPv37_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [181] ssPv3_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [182] ssPv6_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [183] ssPv36_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [184] ssPv35_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [185] ssPv13_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [186] ssPv34_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [187] ssPv33_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [188] ssPv32_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [189] ssPv31_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [190] ssPv30_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [191] ssNder1_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [192] ssPv27_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [193] ssPv40_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [194] ssPv39_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [195] ssPv38_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [196] ssPv37_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [197] ssPv3_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [198] ssPv22_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [199] ssPv29_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [200] ssPv36_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [201] ssPv6_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [202] ssPv15_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [203] ssPv5_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [204] ssPv8_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [205] ssPv35_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [206] ssPv34_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [207] ssPv23_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [208] ssPv12_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [209] ssPv2_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [210] ssPv33_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [211] ssPv1_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [212] ssPv25_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [213] ssPv32_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [214] ssPv31_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [215] ssPv30_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [216] ssPv29_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [217] ssNder1_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [218] ssPv26_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [219] ssPv40_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [220] ssPv39_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [221] ssPv38_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [222] ssPv37_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [223] ssPv36_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [224] ssPv3_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [225] ssPv22_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [226] ssPv14_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [227] ssPv23_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [228] ssPv2_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [229] ssPv8_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [230] ssPv35_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [231] ssPv28_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [232] ssPv5_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [233] ssPv24_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [234] ssPv19_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [235] ssPv13_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [236] ssPv10_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [237] ssPv34_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [238] ssPv1_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [239] ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [240] ssPv17_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [241] ssPv12_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [242] ssPv33_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [243] ssPv15_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [244] ssPv32_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [245] ssPv31_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [246] ssPv30_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [247] ssPv29_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [248] ssPv28_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [249] ssNder1_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [250] ssPv25_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [251] ssPv40_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [252] ssPv39_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [253] ssPv38_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [254] ssPv37_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [255] ssPv36_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [256] ssPv35_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [257] ssPv34_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [258] ssPv33_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [259] ssPv4_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [260] ssPv6_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [261] ssPv10_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [262] ssPv32_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [263] ssPv2_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [264] ssPv12_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [265] ssPv31_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [266] ssPv8_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [267] ssPv30_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [268] ssPv29_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [269] ssPv28_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [270] ssPv27_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [271] ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [272] ssPv40_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [273] ssPv39_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [274] ssPv38_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [275] ssPv37_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [276] ssPv36_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [277] ssPv35_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [278] ssPv34_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [279] ssPv33_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [280] ssPv32_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [281] ssPv31_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [282] ssPv24_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [283] ssPv30_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [284] ssPv12_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [285] ssPv23_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [286] ssPv21_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [287] ssPv29_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [288] ssPv28_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [289] ssPv27_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [290] ssPv26_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [291] ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [292] ssPv40_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [293] ssPv39_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [294] ssPv38_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [295] ssPv37_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [296] ssPv36_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [297] ssPv35_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [298] ssPv34_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [299] ssPv33_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [300] ssPv32_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [301] ssPv31_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [302] ssPv16_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [303] ssPv23_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [304] ssPv30_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [305] ssPv6_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [306] ssPv9_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [307] ssPv17_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [308] ssPv29_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [309] ssPv18_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [310] ssPv13_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [311] ssPv24_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [312] ssPv28_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [313] ssPv27_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [314] ssPv26_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [315] ssPv25_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [316] ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [317] ssPv40_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [318] ssPv39_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [319] ssPv38_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [320] ssPv37_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [321] ssPv36_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [322] ssPv35_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [323] ssPv34_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [324] ssPv33_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [325] ssPv32_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [326] ssPv31_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [327] ssPv30_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [328] ssPv29_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [329] ssPv12_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [330] ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [331] ssPv23_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [332] ssPv10_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [333] ssPv22_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [334] ssPv21_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [335] ssPv28_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [336] ssPv1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [337] ssPv27_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [338] ssPv26_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [339] ssPv25_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [340] ssPv24_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [341] ssPv24_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [342] ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [343] ssPv40_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [344] ssPv39_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [345] ssPv38_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [346] ssPv37_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [347] ssPv36_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [348] ssPv35_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [349] ssPv34_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [350] ssPv33_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [351] ssPv32_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [352] ssPv31_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [353] ssPv30_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [354] ssPv29_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [355] ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [356] ssPv9_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [357] ssPv12_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [358] ssPv10_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [359] ssPv15_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [360] ssPv17_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [361] ssPv28_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [362] ssPv27_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [363] ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [364] ssPv26_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [365] ssPv25_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [366] ssPv24_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [367] ssPv23_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [368] ssPv23_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [369] ssNder1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [370] ssPv40_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [371] ssPv39_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [372] ssPv38_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [373] ssPv37_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [374] ssPv36_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [375] ssPv35_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [376] ssPv34_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [377] ssPv33_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [378] ssPv32_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [379] ssPv31_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [380] ssPv30_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [381] ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [382] ssPv14_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [383] ssPv29_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [384] ssPv28_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [385] ssPv16_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [386] ssPv27_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [387] ssPv10_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [388] ssPv11_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [389] ssPv22_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [390] ssPv26_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [391] ssPv1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [392] ssPv12_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [393] ssPv21_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [394] ssPv25_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [395] ssPv24_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [396] ssPv23_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [397] ssPv22_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [398] ssPv22_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [399] ssNder1_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [400] ssPv40_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [401] ssPv39_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [402] ssPv38_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [403] ssPv37_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [404] ssPv36_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [405] ssPv35_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [406] ssPv34_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [407] ssPv33_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [408] ssPv32_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [409] ssPv31_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [410] ssPv30_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [411] ssPv29_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [412] ssPv28_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [413] ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [414] ssPv27_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [415] ssPv12_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [416] ssPv17_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [417] ssPv10_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [418] ssPv21_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [419] ssPv26_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [420] ssPv25_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [421] ssPv9_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [422] ssPv24_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [423] ssPv23_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [424] ssPv22_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [425] ssPv21_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [426] ssPv21_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [427] ssNder1_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [428] ssPv40_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [429] ssPv39_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [430] ssPv38_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [431] ssPv37_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [432] ssPv36_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [433] ssPv35_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [434] ssPv34_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [435] ssPv33_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [436] ssPv32_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [437] ssPv31_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [438] ssPv30_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [439] ssPv29_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [440] ssPv28_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [441] ssPv27_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [442] ssPv26_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [443] ssPv10_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [444] ssPv25_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [445] ssPv11_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [446] ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [447] ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [448] ssPv9_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [449] ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [450] ssPv17_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [451] ssPv24_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [452] ssPv12_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [453] ssPv23_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [454] ssPv22_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [455] ssPv21_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [456] ssPv20_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [457] ssPv20_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [458] ssNder1_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [459] ssPv40_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [460] ssPv39_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [461] ssPv38_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [462] ssPv37_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [463] ssPv36_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [464] ssPv35_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [465] ssPv34_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [466] ssPv33_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [467] ssPv32_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [468] ssPv31_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [469] ssPv30_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [470] ssPv29_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [471] ssPv28_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [472] ssPv27_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [473] ssPv26_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [474] ssPv25_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [475] ssPv11_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [476] ssPv17_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [477] ssPv24_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [478] ssPv23_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [479] ssPv22_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [480] ssPv21_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [481] ssPv20_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [482] ssPv19_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [483] ssPv19_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [484] ssNder1_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [485] ssPv16_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [486] ssPv40_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [487] ssPv39_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [488] ssPv38_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [489] ssPv37_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [490] ssPv36_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [491] ssPv35_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [492] ssPv34_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [493] ssPv33_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [494] ssPv32_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [495] ssPv31_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [496] ssPv30_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [497] ssPv29_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [498] ssPv28_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [499] ssPv27_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [500] ssPv26_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [501] ssPv25_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [502] ssPv24_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [503] ssPv13_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [504] ssPv23_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [505] ssPv22_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [506] ssPv9_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [507] ssPv21_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [508] ssPv20_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [509] ssPv19_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [510] ssPv18_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [511] ssPv18_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [512] ssNder1_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [513] ssPv15_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [514] ssPv40_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [515] ssPv39_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [516] ssPv38_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [517] ssPv37_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [518] ssPv36_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [519] ssPv35_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [520] ssPv34_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [521] ssPv33_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [522] ssPv32_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [523] ssPv31_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [524] ssPv30_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [525] ssPv29_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [526] ssPv28_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [527] ssPv27_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [528] ssPv26_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [529] ssPv25_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [530] ssPv24_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [531] ssPv23_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [532] ssPv22_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [533] ssPv6_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [534] ssPv16_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [535] ssPv21_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [536] ssPv20_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [537] ssPv2_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [538] ssPv10_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [539] ssPv19_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [540] ssPv18_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [541] ssPv17_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [542] ssPv17_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [543] ssNder1_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [544] ssPv14_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [545] ssPv40_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [546] ssPv39_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [547] ssPv38_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [548] ssPv37_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [549] ssPv36_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [550] ssPv35_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [551] ssPv34_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [552] ssPv33_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [553] ssPv32_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [554] ssPv31_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [555] ssPv30_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [556] ssPv29_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [557] ssPv28_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [558] ssPv27_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [559] ssPv26_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [560] ssPv25_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [561] ssPv24_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [562] ssPv23_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [563] ssPv22_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [564] ssPv12_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [565] ssPv21_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [566] ssPv1_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [567] ssPv9_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [568] ssPv11_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [569] ssPv6_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [570] ssPv15_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [571] ssPv20_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [572] ssPv16_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [573] ssPv19_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [574] ssPv18_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [575] ssPv17_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [576] ssPv16_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [577] ssNder1_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [578] ssPv13_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [579] ssPv40_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [580] ssPv39_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [581] ssPv38_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [582] ssPv37_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [583] ssPv36_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [584] ssPv35_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [585] ssPv34_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [586] ssPv33_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [587] ssPv32_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [588] ssPv31_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [589] ssPv30_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [590] ssPv29_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [591] ssPv28_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [592] ssPv27_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [593] ssPv26_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [594] ssPv25_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [595] ssPv24_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [596] ssPv23_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [597] ssPv22_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [598] ssPv21_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [599] ssPv4_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [600] ssPv15_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [601] ssPv20_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [602] ssPv9_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [603] ssPv19_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [604] ssPv12_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [605] ssPv6_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [606] ssPv18_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [607] ssPv17_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [608] ssPv16_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [609] ssPv15_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [610] ssNder1_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [611] ssPv12_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [612] ssPv40_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [613] ssPv39_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [614] ssPv38_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [615] ssPv37_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [616] ssPv36_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [617] ssPv35_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [618] ssPv34_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [619] ssPv33_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [620] ssPv32_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [621] ssPv31_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [622] ssPv30_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [623] ssPv29_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [624] ssPv28_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [625] ssPv27_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [626] ssPv26_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [627] ssPv25_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [628] ssPv24_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [629] ssPv23_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [630] ssPv22_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [631] ssPv21_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [632] ssPv14_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [633] ssPv6_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [634] ssPv7_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [635] ssPv10_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [636] ssPv20_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [637] ssPv5_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [638] ssPv8_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [639] ssPv4_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [640] ssPv19_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [641] ssPv1_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [642] ssPv18_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [643] ssPv17_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [644] ssPv16_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [645] ssPv15_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [646] ssPv14_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [647] ssNder1_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [648] ssPv11_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [649] ssPv40_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [650] ssPv39_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [651] ssPv38_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [652] ssPv37_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [653] ssPv36_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [654] ssPv35_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [655] ssPv34_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [656] ssPv33_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [657] ssPv32_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [658] ssPv31_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [659] ssPv30_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [660] ssPv29_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [661] ssPv28_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [662] ssPv27_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [663] ssPv26_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [664] ssPv25_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [665] ssPv24_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [666] ssPv23_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [667] ssPv22_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [668] ssPv21_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [669] ssPv2_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [670] ssPv8_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [671] ssPv20_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [672] ssPv3_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [673] ssPv19_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [674] ssPv18_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [675] ssPv17_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [676] ssPv13_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [677] ssPv16_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [678] ssPv15_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [679] ssPv14_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [680] ssPv13_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [681] ssNder1_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [682] ssPv10_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [683] ssPv40_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [684] ssPv39_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [685] ssPv38_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [686] ssPv37_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [687] ssPv36_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [688] ssPv35_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [689] ssPv34_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [690] ssPv33_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [691] ssPv32_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [692] ssPv31_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [693] ssPv30_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [694] ssPv29_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [695] ssPv28_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [696] ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [697] ssPv26_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [698] ssPv25_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [699] ssPv24_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [700] ssPv23_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [701] ssPv22_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [702] ssPv21_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [703] ssPv20_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [704] ssPv19_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [705] ssPv18_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [706] ssPv6_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [707] ssPv17_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [708] ssPv16_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [709] ssPv3_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [710] ssPv9_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [711] ssPv15_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [712] ssPv14_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [713] ssPv13_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [714] ssPv12_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [715] ssNder1_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [716] ssPv9_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [717] ssPv40_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [718] ssPv39_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [719] ssPv38_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [720] ssPv37_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [721] ssPv36_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [722] ssPv35_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [723] ssPv34_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [724] ssPv33_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [725] ssPv32_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [726] ssPv31_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [727] ssPv30_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [728] ssPv29_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [729] ssPv28_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [730] ssPv27_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [731] ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [732] ssPv25_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [733] ssPv24_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [734] ssPv23_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [735] ssPv22_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [736] ssPv21_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [737] ssPv20_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [738] ssPv19_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [739] ssPv18_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [740] ssPv17_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [741] ssPv9_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [742] ssPv2_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [743] ssPv16_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [744] ssPv5_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [745] ssPv15_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [746] ssPv14_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [747] ssPv13_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [748] ssPv12_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [749] ssPv11_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [750] ssNder1_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [751] ssPv40_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [752] ssPv39_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [753] ssPv38_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [754] ssPv37_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [755] ssPv36_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [756] ssPv35_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [757] ssPv34_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [758] ssPv33_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [759] ssPv32_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [760] ssPv31_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [761] ssPv30_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [762] ssPv29_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [763] ssPv28_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [764] ssPv27_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [765] ssPv26_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [766] ssPv25_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [767] ssPv24_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [768] ssPv23_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [769] ssPv22_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [770] ssPv21_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [771] ssPv20_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [772] ssPv19_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [773] ssPv18_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [774] ssPv17_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [775] ssPv16_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [776] ssPv10_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [777] ssPv15_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [778] ssPv14_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [779] ssPv13_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [780] ssPv12_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [781] ssPv11_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [782] ssPv10_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [783] ssNder1_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [784] ssPv40_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [785] ssPv39_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [786] ssPv38_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [787] ssPv37_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [788] ssPv36_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [789] ssPv35_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [790] ssPv34_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [791] ssPv33_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [792] ssPv32_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [793] ssPv31_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [794] ssPv30_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [795] ssPv29_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [796] ssPv28_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [797] ssPv27_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [798] ssPv26_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [799] ssPv25_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [800] ssPv24_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [801] ssPv23_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [802] ssPv22_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [803] ssPv21_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [804] ssPv20_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [805] ssPv19_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [806] ssPv18_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [807] ssPv17_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [808] ssPv16_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [809] ssPv6_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [810] ssPv7_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [811] ssPv15_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [812] ssPv5_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [813] ssPv4_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [814] ssPv14_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [815] ssPv3_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [816] ssPv1_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [817] ssPv13_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [818] ssPv12_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [819] ssPv2_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [820] ssPv11_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [821] ssPv10_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [822] ssPv9_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [823] ssNder1_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [824] ssPv40_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [825] ssPv39_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [826] ssPv38_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [827] ssPv37_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [828] ssPv36_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [829] ssPv35_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [830] ssPv34_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [831] ssPv33_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [832] ssPv32_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [833] ssPv31_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [834] ssPv30_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [835] ssPv29_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [836] ssPv28_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [837] ssPv27_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [838] ssPv26_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [839] ssPv25_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [840] ssPv24_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [841] ssPv23_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [842] ssPv22_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [843] ssPv21_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [844] ssPv20_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [845] ssPv19_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [846] ssPv18_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [847] ssPv17_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [848] ssPv16_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [849] ssPv15_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [850] ssPv14_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [851] ssPv13_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [852] ssPv1_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)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.47 secs
%
%------------------------------------------------------------------------------