TSTP Solution File: SYN854-1 by CARINE---0.734
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : CARINE---0.734
% Problem : SYN854-1 : TPTP v5.0.0. Released v2.5.0.
% Transfm : add_equality
% Format : carine
% Command : carine %s t=%d xo=off uct=32000
% Computer : art05.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:16:03 EST 2010
% Result : Unknown 3.26s
% 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/SystemOnTPTP14399/SYN/SYN854-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] ssPv56_2r1r1_2 (+)0 (-)0
% [4] ssPv56_1r1_1 (+)0 (-)0
% [5] ssNder1_3r1r1r1_3 (+)0 (-)0
% [6] ssPv28_1r1_1 (+)0 (-)0
% [7] ssPv42_1r1_1 (+)0 (-)0
% [8] ssPv55_1r1_1 (+)0 (-)0
% [9] ssPv56_3r1r1r1_3 (+)0 (-)0
% [10] ssPv55_3r1r1r1_3 (+)0 (-)0
% [11] ssPv55_2r1r1_2 (+)0 (-)0
% [12] ssNder1_4r1r1r1r1_4 (+)0 (-)0
% [13] ssPv28_2r1r1_2 (+)0 (-)0
% [14] ssPv42_2r1r1_2 (+)0 (-)0
% [15] ssPv56_4r1r1r1r1_4 (+)0 (-)0
% [16] ssPv55_4r1r1r1r1_4 (+)0 (-)0
% [17] ssPv54_3r1r1r1_3 (+)0 (-)0
% [18] ssPv54_4r1r1r1r1_4 (+)0 (-)0
% [19] ssPv28_3r1r1r1_3 (+)0 (-)0
% [20] ssPv45_3r1r1r1_3 (+)0 (-)0
% [21] ssPv53_3r1r1r1_3 (+)0 (-)0
% [22] ssPv25_3r1r1r1_3 (+)0 (-)0
% [23] ssPv34_3r1r1r1_3 (+)0 (-)0
% [24] ssPv47_3r1r1r1_3 (+)0 (-)0
% [25] ssPv33_3r1r1r1_3 (+)0 (-)0
% [26] ssPv10_3r1r1r1_3 (+)0 (-)0
% [27] ssPv44_3r1r1r1_3 (+)0 (-)0
% [28] ssNder1_5r1r1r1r1r1_5 (+)0 (-)0
% [29] ssPv49_3r1r1r1_3 (+)0 (-)0
% [30] ssPv12_3r1r1r1_3 (+)0 (-)0
% [31] ssPv16_3r1r1r1_3 (+)0 (-)0
% [32] ssPv56_5r1r1r1r1r1_5 (+)0 (-)0
% [33] ssPv55_5r1r1r1r1r1_5 (+)0 (-)0
% [34] ssPv54_5r1r1r1r1r1_5 (+)0 (-)0
% [35] ssPv53_5r1r1r1r1r1_5 (+)0 (-)0
% [36] ssPv53_4r1r1r1r1_4 (+)0 (-)0
% [37] ssNder1_6r1r1r1r1r1r1_6 (+)0 (-)0
% [38] ssPv28_4r1r1r1r1_4 (+)0 (-)0
% [39] ssPv45_4r1r1r1r1_4 (+)0 (-)0
% [40] ssPv25_4r1r1r1r1_4 (+)0 (-)0
% [41] ssPv39_4r1r1r1r1_4 (+)0 (-)0
% [42] ssPv9_4r1r1r1r1_4 (+)0 (-)0
% [43] ssPv17_4r1r1r1r1_4 (+)0 (-)0
% [44] ssPv41_4r1r1r1r1_4 (+)0 (-)0
% [45] ssPv31_4r1r1r1r1_4 (+)0 (-)0
% [46] ssPv56_6r1r1r1r1r1r1_6 (+)0 (-)0
% [47] ssPv55_6r1r1r1r1r1r1_6 (+)0 (-)0
% [48] ssPv54_6r1r1r1r1r1r1_6 (+)0 (-)0
% [49] ssPv53_6r1r1r1r1r1r1_6 (+)0 (-)0
% [50] ssPv52_6r1r1r1r1r1r1_6 (+)0 (-)0
% [51] ssPv52_5r1r1r1r1r1_5 (+)0 (-)0
% [52] ssNder1_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [53] ssPv56_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [54] ssPv30_5r1r1r1r1r1_5 (+)0 (-)0
% [55] ssPv44_5r1r1r1r1r1_5 (+)0 (-)0
% [56] ssPv50_5r1r1r1r1r1_5 (+)0 (-)0
% [57] ssPv55_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [58] ssPv54_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [59] ssPv53_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [60] ssPv52_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [61] ssPv51_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [62] ssPv51_6r1r1r1r1r1r1_6 (+)0 (-)0
% [63] ssNder1_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [64] ssPv48_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [65] ssPv56_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [66] ssPv55_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [67] ssPv30_6r1r1r1r1r1r1_6 (+)0 (-)0
% [68] ssPv22_6r1r1r1r1r1r1_6 (+)0 (-)0
% [69] ssPv42_6r1r1r1r1r1r1_6 (+)0 (-)0
% [70] ssPv54_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [71] ssPv16_6r1r1r1r1r1r1_6 (+)0 (-)0
% [72] ssPv50_6r1r1r1r1r1r1_6 (+)0 (-)0
% [73] ssPv53_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [74] ssPv52_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [75] ssPv51_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [76] ssPv50_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [77] ssPv50_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [78] ssNder1_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [79] ssPv47_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [80] ssPv56_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [81] ssPv17_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [82] ssPv28_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [83] ssPv47_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [84] ssPv55_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [85] ssPv10_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [86] ssPv21_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [87] ssPv42_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [88] ssPv54_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [89] ssPv53_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [90] ssPv30_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [91] ssPv44_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [92] ssPv16_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [93] ssPv52_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [94] ssPv51_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [95] ssPv50_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [96] ssPv49_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [97] ssPv49_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [98] ssNder1_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [99] ssPv46_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [100] ssPv56_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [101] ssPv55_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [102] ssPv54_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [103] ssPv53_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [104] ssPv12_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [105] ssPv16_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [106] ssPv52_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [107] ssPv38_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [108] ssPv45_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [109] ssPv48_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [110] ssPv22_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [111] ssPv29_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [112] ssPv44_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [113] ssPv51_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [114] ssPv50_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [115] ssPv49_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [116] ssPv48_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [117] ssNder1_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [118] ssPv45_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [119] ssPv56_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [120] ssPv55_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [121] ssPv54_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [122] ssPv3_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [123] ssPv22_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [124] ssPv47_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [125] ssPv53_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [126] ssPv52_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [127] ssPv51_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [128] ssPv38_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [129] ssPv45_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [130] ssPv50_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [131] ssPv49_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [132] ssPv48_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [133] ssPv47_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [134] ssNder1_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [135] ssPv44_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [136] ssPv56_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [137] ssPv55_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [138] ssPv54_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [139] ssPv3_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [140] ssPv22_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [141] ssPv53_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [142] ssPv52_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [143] ssPv25_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [144] ssPv34_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [145] ssPv17_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [146] ssPv28_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [147] ssPv20_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [148] ssPv43_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [149] ssPv51_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [150] ssPv23_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [151] ssPv32_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [152] ssPv1_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [153] ssPv27_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [154] ssPv50_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [155] ssPv49_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [156] ssPv48_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [157] ssPv47_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [158] ssPv46_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [159] ssNder1_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [160] ssPv43_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [161] ssPv56_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [162] ssPv55_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [163] ssPv54_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [164] ssPv53_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [165] ssPv52_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [166] ssPv51_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [167] ssPv50_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [168] ssPv11_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [169] ssPv23_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [170] ssPv17_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [171] ssPv49_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [172] ssPv48_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [173] ssPv47_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [174] ssPv46_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [175] ssPv45_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [176] ssNder1_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [177] ssPv42_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [178] ssPv56_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [179] ssPv55_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [180] ssPv54_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [181] ssPv53_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [182] ssPv52_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [183] ssPv51_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [184] ssPv50_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [185] ssPv28_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [186] ssPv49_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [187] ssPv10_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [188] ssPv2_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [189] ssPv3_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [190] ssPv48_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [191] ssPv38_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [192] ssPv47_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [193] ssPv46_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [194] ssPv45_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [195] ssPv44_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [196] ssNder1_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [197] ssPv41_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [198] ssPv56_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [199] ssPv55_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [200] ssPv54_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [201] ssPv53_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [202] ssPv52_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [203] ssPv51_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [204] ssPv50_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [205] ssPv49_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [206] ssPv33_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [207] ssPv10_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [208] ssPv5_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [209] ssPv25_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [210] ssPv34_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [211] ssPv24_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [212] ssPv26_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [213] ssPv48_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [214] ssPv19_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [215] ssPv43_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [216] ssPv7_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [217] ssPv47_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [218] ssPv9_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [219] ssPv36_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [220] ssPv30_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [221] ssPv22_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [222] ssPv29_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [223] ssPv46_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [224] ssPv45_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [225] ssPv44_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [226] ssPv43_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [227] ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [228] ssPv56_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [229] ssPv55_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [230] ssPv54_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [231] ssPv53_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [232] ssPv52_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [233] ssPv51_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [234] ssPv50_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [235] ssPv49_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [236] ssPv20_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [237] ssPv3_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [238] ssPv48_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [239] ssPv47_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [240] ssPv41_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [241] ssPv6_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [242] ssPv32_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [243] ssPv24_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [244] ssPv39_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [245] ssPv19_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [246] ssPv7_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [247] ssPv46_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [248] ssPv13_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [249] ssPv34_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [250] ssPv36_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [251] ssPv45_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [252] ssPv44_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [253] ssPv43_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [254] ssPv42_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [255] ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [256] ssPv56_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [257] ssPv55_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [258] ssPv54_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [259] ssPv53_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [260] ssPv52_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [261] ssPv51_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [262] ssPv50_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [263] ssPv49_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [264] ssPv48_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [265] ssPv8_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [266] ssPv14_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [267] ssPv34_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [268] ssPv10_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [269] ssPv21_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [270] ssPv47_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [271] ssPv46_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [272] ssPv30_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [273] ssPv22_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [274] ssPv28_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [275] ssPv16_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [276] ssPv45_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [277] ssPv44_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [278] ssPv43_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [279] ssPv42_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [280] ssPv41_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [281] ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [282] ssPv56_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [283] ssPv55_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [284] ssPv54_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [285] ssPv53_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [286] ssPv52_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [287] ssPv51_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [288] ssPv50_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [289] ssPv49_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [290] ssPv48_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [291] ssPv47_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [292] ssPv46_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [293] ssPv6_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [294] ssPv16_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [295] ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [296] ssPv3_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [297] ssPv45_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [298] ssPv17_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [299] ssPv31_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [300] ssPv44_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [301] ssPv43_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [302] ssPv42_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [303] ssPv41_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [304] ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [305] ssPv56_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [306] ssPv55_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [307] ssPv54_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [308] ssPv53_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [309] ssPv52_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [310] ssPv51_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [311] ssPv50_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [312] ssPv49_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [313] ssPv48_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [314] ssPv47_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [315] ssPv46_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [316] ssPv45_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [317] ssPv44_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [318] ssPv43_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [319] ssPv42_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [320] ssPv41_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [321] ssPv39_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [322] ssPv39_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [323] ssNder1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [324] ssPv56_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [325] ssPv55_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [326] ssPv54_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [327] ssPv53_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [328] ssPv52_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [329] ssPv51_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [330] ssPv50_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [331] ssPv49_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [332] ssPv48_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [333] ssPv47_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [334] ssPv46_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [335] ssPv45_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [336] ssPv44_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [337] ssPv25_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [338] ssPv9_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [339] ssPv43_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [340] ssPv32_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [341] ssPv24_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [342] ssPv42_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [343] ssPv41_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [344] ssPv39_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [345] ssPv38_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [346] ssPv38_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [347] ssNder1_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [348] ssPv56_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [349] ssPv55_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [350] ssPv54_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [351] ssPv53_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [352] ssPv52_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [353] ssPv51_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [354] ssPv50_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [355] ssPv49_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [356] ssPv48_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [357] ssPv47_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [358] ssPv46_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [359] ssPv45_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [360] ssPv44_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [361] ssPv43_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [362] ssPv42_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [363] ssPv41_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [364] ssPv39_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [365] ssPv38_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [366] ssPv37_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [367] ssPv37_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [368] ssNder1_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [369] ssPv56_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [370] ssPv55_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [371] ssPv54_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [372] ssPv53_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [373] ssPv52_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [374] ssPv51_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [375] ssPv50_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [376] ssPv49_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [377] ssPv48_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [378] ssPv47_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [379] ssPv46_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [380] ssPv45_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [381] ssPv44_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [382] ssPv43_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [383] ssPv42_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [384] ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [385] ssPv25_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [386] ssPv27_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [387] ssPv32_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [388] ssPv30_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [389] ssPv41_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [390] ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [391] ssPv31_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [392] ssPv14_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [393] ssPv9_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [394] ssPv22_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [395] ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [396] ssPv34_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [397] ssPv39_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [398] ssPv38_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [399] ssPv37_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [400] ssPv36_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [401] ssPv36_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [402] ssNder1_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [403] ssPv56_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [404] ssPv55_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [405] ssPv54_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [406] ssPv53_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [407] ssPv52_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [408] ssPv51_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [409] ssPv50_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [410] ssPv49_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [411] ssPv48_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [412] ssPv47_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [413] ssPv46_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [414] ssPv45_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [415] ssPv44_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [416] ssPv43_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [417] ssPv42_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [418] ssPv12_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [419] ssPv10_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [420] ssPv21_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [421] ssPv41_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [422] ssPv39_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [423] ssPv13_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [424] ssPv34_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [425] ssPv9_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [426] ssPv24_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [427] ssPv38_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [428] ssPv37_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [429] ssPv36_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [430] ssNder1_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [431] ssPv32_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [432] ssPv56_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [433] ssPv55_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [434] ssPv54_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [435] ssPv53_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [436] ssPv52_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [437] ssPv51_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [438] ssPv50_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [439] ssPv49_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [440] ssPv48_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [441] ssPv47_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [442] ssPv46_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [443] ssPv45_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [444] ssPv44_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [445] ssPv43_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [446] ssPv42_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [447] ssPv41_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [448] ssPv39_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [449] ssPv38_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [450] ssPv37_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [451] ssPv36_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [452] ssPv34_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [453] ssPv34_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [454] ssNder1_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [455] ssPv31_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [456] ssPv56_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [457] ssPv55_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [458] ssPv54_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [459] ssPv53_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [460] ssPv52_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [461] ssPv51_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [462] ssPv50_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [463] ssPv49_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [464] ssPv48_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [465] ssPv47_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [466] ssPv46_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [467] ssPv45_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [468] ssPv44_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [469] ssPv43_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [470] ssPv42_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [471] ssPv41_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [472] ssPv8_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [473] ssPv14_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [474] ssPv39_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [475] ssPv25_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [476] ssPv24_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [477] ssPv26_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [478] ssPv38_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [479] ssPv5_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [480] ssPv13_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [481] ssPv37_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [482] ssPv15_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [483] ssPv31_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [484] ssPv36_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [485] ssPv34_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [486] ssPv33_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [487] ssPv33_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [488] ssNder1_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [489] ssPv30_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [490] ssPv56_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [491] ssPv55_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [492] ssPv54_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [493] ssPv53_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [494] ssPv52_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [495] ssPv51_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [496] ssPv50_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [497] ssPv49_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [498] ssPv48_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [499] ssPv47_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [500] ssPv46_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [501] ssPv45_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [502] ssPv44_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [503] ssPv43_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [504] ssPv42_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [505] ssPv41_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [506] ssPv39_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [507] ssPv10_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [508] ssPv38_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [509] ssPv37_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [510] ssPv36_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [511] ssPv34_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [512] ssPv33_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [513] ssPv32_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [514] ssNder1_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [515] ssPv29_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [516] ssPv56_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [517] ssPv55_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [518] ssPv54_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [519] ssPv53_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [520] ssPv52_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [521] ssPv51_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [522] ssPv50_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [523] ssPv49_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [524] ssPv48_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [525] ssPv47_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [526] ssPv46_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [527] ssPv45_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [528] ssPv44_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [529] ssPv43_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [530] ssPv42_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [531] ssPv41_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [532] ssPv39_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [533] ssPv38_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [534] ssPv37_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [535] ssPv1_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [536] ssPv17_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [537] ssPv36_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [538] ssPv23_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [539] ssPv24_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [540] ssPv6_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [541] ssPv12_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [542] ssPv20_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [543] ssPv8_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [544] ssPv30_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [545] ssPv34_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [546] ssPv33_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [547] ssPv32_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [548] ssPv31_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [549] ssNder1_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [550] ssPv28_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [551] ssPv56_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [552] ssPv55_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [553] ssPv54_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [554] ssPv53_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [555] ssPv52_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [556] ssPv51_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [557] ssPv50_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [558] ssPv49_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [559] ssPv48_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [560] ssPv47_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [561] ssPv46_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [562] ssPv45_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [563] ssPv44_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [564] ssPv43_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [565] ssPv42_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [566] ssPv41_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [567] ssPv39_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [568] ssPv38_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [569] ssPv4_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [570] ssPv12_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [571] ssPv18_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [572] ssPv37_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [573] ssPv22_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [574] ssPv2_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [575] ssPv14_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [576] ssPv36_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [577] ssPv17_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [578] ssPv3_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [579] ssPv34_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [580] ssPv15_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [581] ssPv33_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [582] ssPv32_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [583] ssPv31_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [584] ssPv30_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [585] ssNder1_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [586] ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [587] ssPv56_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [588] ssPv55_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [589] ssPv54_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [590] ssPv53_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [591] ssPv52_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [592] ssPv51_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [593] ssPv50_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [594] ssPv49_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [595] ssPv48_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [596] ssPv47_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [597] ssPv46_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [598] ssPv45_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [599] ssPv44_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [600] ssPv43_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [601] ssPv42_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [602] ssPv41_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [603] ssPv39_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [604] ssPv38_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [605] ssPv37_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [606] ssPv36_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [607] ssPv8_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [608] ssPv34_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [609] ssPv22_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [610] ssPv33_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [611] ssPv32_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [612] ssPv31_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [613] ssPv30_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [614] ssPv29_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [615] ssNder1_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [616] ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [617] ssPv56_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [618] ssPv55_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [619] ssPv54_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [620] ssPv53_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [621] ssPv52_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [622] ssPv51_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [623] ssPv50_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [624] ssPv49_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [625] ssPv48_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [626] ssPv47_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [627] ssPv46_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [628] ssPv45_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [629] ssPv44_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [630] ssPv43_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [631] ssPv42_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [632] ssPv41_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [633] ssPv39_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [634] ssPv38_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [635] ssPv37_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [636] ssPv36_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [637] ssPv34_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [638] ssPv33_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [639] ssPv7_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [640] ssPv10_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [641] ssPv20_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [642] ssPv22_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [643] ssPv32_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [644] ssPv31_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [645] ssPv30_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [646] ssPv29_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [647] ssPv28_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [648] ssNder1_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [649] ssPv25_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [650] ssPv56_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [651] ssPv55_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [652] ssPv54_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [653] ssPv53_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [654] ssPv52_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [655] ssPv51_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [656] ssPv50_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [657] ssPv49_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [658] ssPv48_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [659] ssPv47_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [660] ssPv46_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [661] ssPv45_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [662] ssPv44_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [663] ssPv43_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [664] ssPv42_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [665] ssPv41_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [666] ssPv39_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [667] ssPv38_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [668] ssPv37_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [669] ssPv36_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [670] ssPv34_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [671] ssPv33_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [672] ssPv17_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [673] ssPv32_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [674] ssPv31_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [675] ssPv30_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [676] ssPv29_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [677] ssPv28_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [678] ssPv27_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [679] ssNder1_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [680] ssPv56_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [681] ssPv55_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [682] ssPv54_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [683] ssPv53_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [684] ssPv52_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [685] ssPv51_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [686] ssPv50_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [687] ssPv49_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [688] ssPv48_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [689] ssPv47_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [690] ssPv46_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [691] ssPv45_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [692] ssPv44_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [693] ssPv43_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [694] ssPv42_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [695] ssPv41_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [696] ssPv39_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [697] ssPv38_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [698] ssPv37_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [699] ssPv36_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [700] ssPv34_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [701] ssPv33_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [702] ssPv32_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [703] ssPv8_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [704] ssPv25_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [705] ssPv31_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [706] ssPv30_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [707] ssPv17_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [708] ssPv22_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [709] ssPv29_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [710] ssPv28_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [711] ssPv27_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [712] ssPv26_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [713] ssNder1_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [714] ssPv56_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [715] ssPv55_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [716] ssPv54_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [717] ssPv53_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [718] ssPv52_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [719] ssPv51_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [720] ssPv50_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [721] ssPv49_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [722] ssPv48_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [723] ssPv47_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [724] ssPv46_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [725] ssPv45_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [726] ssPv44_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [727] ssPv43_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [728] ssPv42_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [729] ssPv41_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [730] ssPv39_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [731] ssPv38_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [732] ssPv37_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [733] ssPv36_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [734] ssPv34_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [735] ssPv33_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [736] ssPv32_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [737] ssPv31_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [738] ssPv24_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [739] ssPv30_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [740] ssPv29_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [741] ssPv28_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [742] ssPv27_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [743] ssPv26_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [744] ssPv25_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [745] ssNder1_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [746] ssPv56_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [747] ssPv55_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [748] ssPv54_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [749] ssPv53_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [750] ssPv52_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [751] ssPv51_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [752] ssPv50_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [753] ssPv49_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [754] ssPv48_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [755] ssPv47_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [756] ssPv46_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [757] ssPv45_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [758] ssPv44_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [759] ssPv43_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [760] ssPv42_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [761] ssPv41_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [762] ssPv39_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [763] ssPv38_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [764] ssPv37_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [765] ssPv36_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [766] ssPv34_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [767] ssPv33_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [768] ssPv32_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [769] ssPv31_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [770] ssPv8_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [771] ssPv30_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [772] ssPv29_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [773] ssPv9_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [774] ssPv5_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [775] ssPv28_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [776] ssPv27_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [777] ssPv26_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [778] ssPv25_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [779] ssPv24_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [780] ssPv24_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [781] ssNder1_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [782] ssPv56_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [783] ssPv55_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [784] ssPv54_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [785] ssPv53_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [786] ssPv52_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [787] ssPv51_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [788] ssPv50_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [789] ssPv49_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [790] ssPv48_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [791] ssPv47_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [792] ssPv46_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [793] ssPv45_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [794] ssPv44_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [795] ssPv43_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [796] ssPv42_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [797] ssPv41_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [798] ssPv39_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [799] ssPv38_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [800] ssPv37_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [801] ssPv36_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [802] ssPv34_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [803] ssPv33_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [804] ssPv32_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [805] ssPv31_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [806] ssPv30_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [807] ssPv29_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [808] ssPv28_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [809] ssPv9_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [810] ssPv27_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [811] ssPv26_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [812] ssPv25_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [813] ssPv24_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [814] ssPv23_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [815] ssPv23_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [816] ssNder1_36r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_36 (+)0 (-)0
% [817] ssPv56_36r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_36 (+)0 (-)0
% [818] ssPv55_36r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_36 (+)0 (-)0
% [819] ssPv54_36r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_36 (+)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: 4 secs
% CPU time: 3.26 secs
%
%------------------------------------------------------------------------------