TSTP Solution File: SYN853-1 by CARINE---0.734
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : CARINE---0.734
% Problem : SYN853-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:15:07 EST 2010
% Result : Unknown 3.29s
% 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/SystemOnTPTP14249/SYN/SYN853-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] ssPv12_1r1_1 (+)0 (-)0
% [4] ssPv32_1r1_1 (+)0 (-)0
% [5] ssPv55_1r1_1 (+)0 (-)0
% [6] ssPv56_1r1_1 (+)0 (-)0
% [7] ssPv56_2r1r1_2 (+)0 (-)0
% [8] ssNder1_3r1r1r1_3 (+)0 (-)0
% [9] ssPv56_3r1r1r1_3 (+)0 (-)0
% [10] ssPv55_3r1r1r1_3 (+)0 (-)0
% [11] ssPv55_2r1r1_2 (+)0 (-)0
% [12] ssPv12_2r1r1_2 (+)0 (-)0
% [13] ssPv32_2r1r1_2 (+)0 (-)0
% [14] ssPv3_2r1r1_2 (+)0 (-)0
% [15] ssPv11_2r1r1_2 (+)0 (-)0
% [16] ssPv31_2r1r1_2 (+)0 (-)0
% [17] ssNder1_4r1r1r1r1_4 (+)0 (-)0
% [18] ssPv40_2r1r1_2 (+)0 (-)0
% [19] ssPv44_2r1r1_2 (+)0 (-)0
% [20] ssPv38_2r1r1_2 (+)0 (-)0
% [21] ssPv28_2r1r1_2 (+)0 (-)0
% [22] ssPv56_4r1r1r1r1_4 (+)0 (-)0
% [23] ssPv55_4r1r1r1r1_4 (+)0 (-)0
% [24] ssPv54_4r1r1r1r1_4 (+)0 (-)0
% [25] ssPv54_3r1r1r1_3 (+)0 (-)0
% [26] ssNder1_5r1r1r1r1r1_5 (+)0 (-)0
% [27] ssPv24_3r1r1r1_3 (+)0 (-)0
% [28] ssPv31_3r1r1r1_3 (+)0 (-)0
% [29] ssPv41_3r1r1r1_3 (+)0 (-)0
% [30] ssPv28_3r1r1r1_3 (+)0 (-)0
% [31] ssPv30_3r1r1r1_3 (+)0 (-)0
% [32] ssPv37_3r1r1r1_3 (+)0 (-)0
% [33] ssPv56_5r1r1r1r1r1_5 (+)0 (-)0
% [34] ssPv55_5r1r1r1r1r1_5 (+)0 (-)0
% [35] ssPv54_5r1r1r1r1r1_5 (+)0 (-)0
% [36] ssNder1_6r1r1r1r1r1r1_6 (+)0 (-)0
% [37] ssPv56_6r1r1r1r1r1r1_6 (+)0 (-)0
% [38] ssPv55_6r1r1r1r1r1r1_6 (+)0 (-)0
% [39] ssPv54_6r1r1r1r1r1r1_6 (+)0 (-)0
% [40] ssPv52_6r1r1r1r1r1r1_6 (+)0 (-)0
% [41] ssPv52_5r1r1r1r1r1_5 (+)0 (-)0
% [42] ssNder1_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [43] ssPv56_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [44] ssPv16_5r1r1r1r1r1_5 (+)0 (-)0
% [45] ssPv30_5r1r1r1r1r1_5 (+)0 (-)0
% [46] ssPv2_5r1r1r1r1r1_5 (+)0 (-)0
% [47] ssPv55_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [48] ssPv54_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [49] ssPv52_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [50] ssPv51_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [51] ssPv51_6r1r1r1r1r1r1_6 (+)0 (-)0
% [52] ssNder1_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [53] ssPv48_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [54] ssPv5_6r1r1r1r1r1r1_6 (+)0 (-)0
% [55] ssPv10_6r1r1r1r1r1r1_6 (+)0 (-)0
% [56] ssPv14_6r1r1r1r1r1r1_6 (+)0 (-)0
% [57] ssPv56_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [58] ssPv55_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [59] ssPv36_6r1r1r1r1r1r1_6 (+)0 (-)0
% [60] ssPv45_6r1r1r1r1r1r1_6 (+)0 (-)0
% [61] ssPv54_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [62] ssPv52_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [63] ssPv51_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [64] ssPv50_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [65] ssPv50_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [66] ssNder1_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [67] ssPv47_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [68] ssPv56_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [69] ssPv55_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [70] ssPv54_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [71] ssPv35_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [72] ssPv11_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [73] ssPv16_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [74] ssPv33_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [75] ssPv41_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [76] ssPv42_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [77] ssPv15_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [78] ssPv19_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [79] ssPv27_7r1r1r1r1r1r1r1_7 (+)0 (-)0
% [80] ssPv52_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [81] ssPv51_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [82] ssPv50_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [83] ssPv49_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [84] ssPv49_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [85] ssNder1_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [86] ssPv46_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [87] ssPv56_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [88] ssPv55_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [89] ssPv54_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [90] ssPv14_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [91] ssPv3_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [92] ssPv42_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [93] ssPv32_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [94] ssPv7_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [95] ssPv31_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [96] ssPv21_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [97] ssPv26_8r1r1r1r1r1r1r1r1_8 (+)0 (-)0
% [98] ssPv52_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [99] ssPv51_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [100] ssPv50_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [101] ssPv49_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [102] ssPv48_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [103] ssNder1_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [104] ssPv45_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [105] ssPv56_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [106] ssPv55_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [107] ssPv54_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [108] ssPv3_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [109] ssPv9_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [110] ssPv22_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [111] ssPv40_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [112] ssPv17_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [113] ssPv31_9r1r1r1r1r1r1r1r1r1_9 (+)0 (-)0
% [114] ssPv52_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [115] ssPv51_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [116] ssPv50_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [117] ssPv49_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [118] ssPv48_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [119] ssPv47_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [120] ssNder1_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [121] ssPv44_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [122] ssPv56_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [123] ssPv55_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [124] ssPv54_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [125] ssPv52_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [126] ssPv7_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [127] ssPv28_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [128] ssPv38_10r1r1r1r1r1r1r1r1r1r1_10 (+)0 (-)0
% [129] ssPv51_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [130] ssPv50_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [131] ssPv49_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [132] ssPv48_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [133] ssPv47_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [134] ssPv46_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [135] ssNder1_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [136] ssPv43_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [137] ssPv56_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [138] ssPv55_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [139] ssPv54_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [140] ssPv52_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [141] ssPv51_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [142] ssPv8_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [143] ssPv38_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [144] ssPv45_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [145] ssPv4_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [146] ssPv24_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [147] ssPv50_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [148] ssPv19_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [149] ssPv25_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [150] ssPv36_11r1r1r1r1r1r1r1r1r1r1r1_11 (+)0 (-)0
% [151] ssPv49_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [152] ssPv48_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [153] ssPv47_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [154] ssPv46_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [155] ssPv45_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [156] ssNder1_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [157] ssPv42_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [158] ssPv56_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [159] ssPv55_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [160] ssPv54_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [161] ssPv52_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [162] ssPv51_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [163] ssPv8_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [164] ssPv38_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [165] ssPv50_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [166] ssPv10_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [167] ssPv22_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [168] ssPv34_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [169] ssPv49_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [170] ssPv4_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [171] ssPv24_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [172] ssPv36_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [173] ssPv14_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [174] ssPv7_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [175] ssPv40_12r1r1r1r1r1r1r1r1r1r1r1r1_12 (+)0 (-)0
% [176] ssPv48_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [177] ssPv47_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [178] ssPv46_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [179] ssPv45_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [180] ssPv44_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [181] ssNder1_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [182] ssPv41_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [183] ssPv56_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [184] ssPv55_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [185] ssPv54_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [186] ssPv52_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [187] ssPv51_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [188] ssPv50_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [189] ssPv49_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [190] ssPv48_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [191] ssPv38_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [192] ssPv28_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [193] ssPv47_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [194] ssPv12_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [195] ssPv40_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [196] ssPv35_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [197] ssPv43_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [198] ssPv36_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13 (+)0 (-)0
% [199] ssPv46_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [200] ssPv45_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [201] ssPv44_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [202] ssPv43_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [203] ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [204] ssPv56_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [205] ssPv55_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [206] ssPv54_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [207] ssPv52_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [208] ssPv51_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [209] ssPv50_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [210] ssPv49_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [211] ssPv48_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [212] ssPv47_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [213] ssPv18_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [214] ssPv36_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [215] ssPv28_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [216] ssPv46_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [217] ssPv35_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14 (+)0 (-)0
% [218] ssPv45_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [219] ssPv44_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [220] ssPv43_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [221] ssPv42_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [222] ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [223] ssPv56_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [224] ssPv55_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [225] ssPv54_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [226] ssPv52_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [227] ssPv51_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [228] ssPv50_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [229] ssPv49_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [230] ssPv48_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [231] ssPv47_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [232] ssPv18_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [233] ssPv12_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [234] ssPv33_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [235] ssPv14_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [236] ssPv3_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [237] ssPv46_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [238] ssPv10_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [239] ssPv6_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [240] ssPv21_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [241] ssPv26_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [242] ssPv45_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [243] ssPv41_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15 (+)0 (-)0
% [244] ssPv44_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [245] ssPv43_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [246] ssPv42_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [247] ssPv41_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [248] ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [249] ssPv56_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [250] ssPv55_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [251] ssPv54_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [252] ssPv52_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [253] ssPv51_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [254] ssPv50_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [255] ssPv49_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [256] ssPv48_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [257] ssPv47_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [258] ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [259] ssPv22_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [260] ssPv26_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [261] ssPv24_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [262] ssPv31_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [263] ssPv46_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [264] ssPv45_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [265] ssPv20_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [266] ssPv4_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [267] ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [268] ssPv44_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [269] ssPv33_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16 (+)0 (-)0
% [270] ssPv43_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [271] ssPv42_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [272] ssPv41_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [273] ssPv40_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18 (+)0 (-)0
% [274] ssPv40_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [275] ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [276] ssPv56_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [277] ssPv55_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [278] ssPv54_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [279] ssPv52_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [280] ssPv51_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [281] ssPv50_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [282] ssPv49_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [283] ssPv48_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [284] ssPv47_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [285] ssPv46_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [286] ssPv17_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [287] ssPv31_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [288] ssPv45_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [289] ssPv44_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [290] ssPv7_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [291] ssPv10_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [292] ssPv3_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [293] ssPv16_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [294] ssPv32_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [295] ssPv12_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17 (+)0 (-)0
% [296] ssPv43_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [297] ssPv42_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [298] ssPv41_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [299] ssPv40_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [300] ssNder1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [301] ssPv56_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [302] ssPv55_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [303] ssPv54_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [304] ssPv52_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [305] ssPv51_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [306] ssPv50_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [307] ssPv49_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [308] ssPv48_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [309] ssPv47_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [310] ssPv46_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [311] ssPv45_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [312] ssPv44_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [313] ssPv43_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [314] ssPv42_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [315] ssPv41_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [316] ssPv40_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [317] ssPv38_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [318] ssPv38_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [319] ssNder1_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [320] ssPv56_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [321] ssPv55_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [322] ssPv54_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [323] ssPv52_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [324] ssPv51_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [325] ssPv50_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [326] ssPv49_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [327] ssPv48_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [328] ssPv47_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [329] ssPv46_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [330] ssPv45_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [331] ssPv44_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [332] ssPv7_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [333] ssPv28_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [334] ssPv8_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19 (+)0 (-)0
% [335] ssPv43_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [336] ssPv42_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [337] ssPv41_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [338] ssPv40_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [339] ssPv38_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [340] ssPv37_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [341] ssPv37_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [342] ssNder1_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [343] ssPv56_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [344] ssPv55_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [345] ssPv54_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [346] ssPv52_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [347] ssPv51_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [348] ssPv50_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [349] ssPv49_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [350] ssPv48_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [351] ssPv47_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [352] ssPv46_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [353] ssPv45_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [354] ssPv44_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [355] ssPv43_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [356] ssPv42_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [357] ssPv41_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [358] ssPv28_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [359] ssPv30_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [360] ssPv11_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [361] ssPv4_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20 (+)0 (-)0
% [362] ssPv40_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [363] ssPv38_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [364] ssPv37_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [365] ssPv36_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [366] ssPv36_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [367] ssNder1_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [368] ssPv56_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [369] ssPv55_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [370] ssPv54_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [371] ssPv52_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [372] ssPv51_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [373] ssPv50_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [374] ssPv49_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [375] ssPv48_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [376] ssPv47_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [377] ssPv46_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [378] ssPv45_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [379] ssPv44_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [380] ssPv43_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [381] ssPv42_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [382] ssPv41_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [383] ssPv14_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [384] ssPv40_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [385] ssPv5_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [386] ssPv16_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [387] ssPv31_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [388] ssPv19_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [389] ssPv25_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [390] ssPv18_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [391] ssPv28_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [392] ssPv35_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21 (+)0 (-)0
% [393] ssPv38_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [394] ssPv37_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [395] ssPv36_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [396] ssPv35_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [397] ssPv35_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [398] ssNder1_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [399] ssPv32_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [400] ssPv56_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [401] ssPv55_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [402] ssPv54_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [403] ssPv52_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [404] ssPv51_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [405] ssPv50_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [406] ssPv49_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [407] ssPv48_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [408] ssPv47_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [409] ssPv46_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [410] ssPv45_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [411] ssPv44_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [412] ssPv43_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [413] ssPv42_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [414] ssPv41_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [415] ssPv40_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [416] ssPv29_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [417] ssPv15_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [418] ssPv18_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [419] ssPv11_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [420] ssPv16_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [421] ssPv38_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [422] ssPv24_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [423] ssPv14_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [424] ssPv20_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [425] ssPv27_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22 (+)0 (-)0
% [426] ssPv37_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [427] ssPv36_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [428] ssPv35_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [429] ssPv34_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [430] ssPv34_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [431] ssNder1_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [432] ssPv31_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [433] ssPv56_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [434] ssPv55_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [435] ssPv54_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [436] ssPv52_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [437] ssPv51_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [438] ssPv50_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [439] ssPv49_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [440] ssPv48_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [441] ssPv47_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [442] ssPv46_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [443] ssPv45_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [444] ssPv44_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [445] ssPv43_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [446] ssPv42_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [447] ssPv41_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [448] ssPv40_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [449] ssPv30_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [450] ssPv13_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [451] ssPv33_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [452] ssPv10_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [453] ssPv22_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23 (+)0 (-)0
% [454] ssPv38_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [455] ssPv37_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [456] ssPv36_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [457] ssPv35_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [458] ssPv34_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [459] ssPv33_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [460] ssPv33_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [461] ssNder1_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [462] ssPv30_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [463] ssPv56_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [464] ssPv55_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [465] ssPv54_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [466] ssPv52_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [467] ssPv51_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [468] ssPv50_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [469] ssPv49_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [470] ssPv48_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [471] ssPv47_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [472] ssPv46_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [473] ssPv45_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [474] ssPv44_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [475] ssPv43_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [476] ssPv42_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [477] ssPv41_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [478] ssPv40_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [479] ssPv18_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [480] ssPv12_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [481] ssPv38_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [482] ssPv30_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [483] ssPv13_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24 (+)0 (-)0
% [484] ssPv37_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [485] ssPv36_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [486] ssPv35_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [487] ssPv34_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [488] ssPv33_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [489] ssPv32_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [490] ssNder1_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [491] ssPv29_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [492] ssPv56_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [493] ssPv55_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [494] ssPv54_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [495] ssPv52_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [496] ssPv51_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [497] ssPv50_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [498] ssPv49_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [499] ssPv48_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [500] ssPv47_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [501] ssPv46_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [502] ssPv45_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [503] ssPv44_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [504] ssPv43_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [505] ssPv42_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [506] ssPv41_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [507] ssPv40_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [508] ssPv12_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [509] ssPv38_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [510] ssPv37_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [511] ssPv36_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [512] ssPv7_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [513] ssPv31_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [514] ssPv3_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [515] ssPv16_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25 (+)0 (-)0
% [516] ssPv35_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [517] ssPv34_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [518] ssPv33_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [519] ssPv32_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [520] ssPv31_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [521] ssNder1_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [522] ssPv28_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [523] ssPv56_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [524] ssPv55_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [525] ssPv54_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [526] ssPv52_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [527] ssPv51_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [528] ssPv50_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [529] ssPv49_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [530] ssPv48_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [531] ssPv47_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [532] ssPv46_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [533] ssPv45_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [534] ssPv44_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [535] ssPv43_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [536] ssPv42_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [537] ssPv41_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [538] ssPv40_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [539] ssPv38_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [540] ssPv3_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [541] ssPv11_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [542] ssPv37_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [543] ssPv24_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [544] ssPv17_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [545] ssPv36_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [546] ssPv5_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [547] ssPv16_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [548] ssPv7_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26 (+)0 (-)0
% [549] ssPv35_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [550] ssPv34_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [551] ssPv33_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [552] ssPv32_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [553] ssPv31_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [554] ssPv30_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [555] ssNder1_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [556] ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [557] ssPv56_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [558] ssPv55_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [559] ssPv54_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [560] ssPv52_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [561] ssPv51_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [562] ssPv50_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [563] ssPv49_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [564] ssPv48_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [565] ssPv47_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [566] ssPv46_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [567] ssPv45_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [568] ssPv44_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [569] ssPv43_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [570] ssPv42_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [571] ssPv41_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [572] ssPv40_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [573] ssPv38_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [574] ssPv37_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [575] ssPv36_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [576] ssPv35_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [577] ssPv13_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [578] ssPv34_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [579] ssPv16_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [580] ssPv2_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [581] ssPv28_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27 (+)0 (-)0
% [582] ssPv33_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [583] ssPv32_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [584] ssPv31_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [585] ssPv30_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [586] ssPv29_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [587] ssNder1_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [588] ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [589] ssPv56_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [590] ssPv55_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [591] ssPv54_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [592] ssPv52_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [593] ssPv51_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [594] ssPv50_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [595] ssPv49_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [596] ssPv48_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [597] ssPv47_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [598] ssPv46_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [599] ssPv45_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [600] ssPv44_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [601] ssPv43_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [602] ssPv42_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [603] ssPv41_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [604] ssPv40_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [605] ssPv38_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [606] ssPv37_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [607] ssPv36_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [608] ssPv35_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [609] ssPv34_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [610] ssPv15_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [611] ssPv18_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [612] ssPv33_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [613] ssPv5_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [614] ssPv12_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [615] ssPv17_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [616] ssPv32_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [617] ssPv24_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [618] ssPv14_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28 (+)0 (-)0
% [619] ssPv31_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [620] ssPv30_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [621] ssPv29_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [622] ssPv28_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [623] ssNder1_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [624] ssPv25_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [625] ssPv56_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [626] ssPv55_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [627] ssPv54_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [628] ssPv52_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [629] ssPv51_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [630] ssPv50_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [631] ssPv49_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [632] ssPv48_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [633] ssPv47_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [634] ssPv46_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [635] ssPv45_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [636] ssPv44_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [637] ssPv43_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [638] ssPv42_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [639] ssPv41_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [640] ssPv40_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [641] ssPv38_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [642] ssPv37_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [643] ssPv36_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [644] ssPv35_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [645] ssPv34_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [646] ssPv33_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [647] ssPv7_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [648] ssPv32_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [649] ssPv11_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [650] ssPv4_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [651] ssPv18_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [652] ssPv1_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [653] ssPv9_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [654] ssPv17_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_29 (+)0 (-)0
% [655] ssPv31_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [656] ssPv30_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [657] ssPv29_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [658] ssPv28_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [659] ssPv27_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [660] ssNder1_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [661] ssPv56_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [662] ssPv55_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [663] ssPv54_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [664] ssPv52_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [665] ssPv51_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [666] ssPv50_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [667] ssPv49_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [668] ssPv48_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [669] ssPv47_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [670] ssPv46_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [671] ssPv45_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [672] ssPv44_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [673] ssPv43_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [674] ssPv42_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [675] ssPv41_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [676] ssPv40_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [677] ssPv38_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [678] ssPv37_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [679] ssPv36_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [680] ssPv35_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [681] ssPv34_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [682] ssPv33_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [683] ssPv32_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [684] ssPv31_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [685] ssPv18_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [686] ssPv24_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [687] ssPv25_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [688] ssPv15_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [689] ssPv19_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [690] ssPv30_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [691] ssPv20_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_30 (+)0 (-)0
% [692] ssPv29_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [693] ssPv28_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [694] ssPv27_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [695] ssPv26_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [696] ssNder1_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [697] ssPv56_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [698] ssPv55_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [699] ssPv54_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [700] ssPv52_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [701] ssPv51_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [702] ssPv50_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [703] ssPv49_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [704] ssPv48_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [705] ssPv47_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [706] ssPv46_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [707] ssPv45_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [708] ssPv44_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [709] ssPv43_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [710] ssPv42_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [711] ssPv41_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [712] ssPv40_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [713] ssPv38_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [714] ssPv37_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [715] ssPv36_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [716] ssPv35_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [717] ssPv34_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [718] ssPv33_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [719] ssPv32_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [720] ssPv5_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [721] ssPv22_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [722] ssPv31_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [723] ssPv21_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_31 (+)0 (-)0
% [724] ssPv30_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [725] ssPv29_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [726] ssPv28_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [727] ssPv27_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [728] ssPv26_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [729] ssPv25_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [730] ssNder1_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [731] ssPv56_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [732] ssPv55_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [733] ssPv54_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [734] ssPv52_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [735] ssPv51_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [736] ssPv50_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [737] ssPv49_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [738] ssPv48_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [739] ssPv47_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [740] ssPv46_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [741] ssPv45_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [742] ssPv44_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [743] ssPv43_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [744] ssPv42_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [745] ssPv41_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [746] ssPv40_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [747] ssPv38_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [748] ssPv37_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [749] ssPv36_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [750] ssPv35_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [751] ssPv34_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [752] ssPv33_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [753] ssPv32_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [754] ssPv31_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [755] ssPv30_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [756] ssPv29_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [757] ssPv18_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [758] ssPv24_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [759] ssPv7_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [760] ssPv16_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [761] ssPv23_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [762] ssPv28_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [763] ssPv19_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_32 (+)0 (-)0
% [764] ssPv27_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [765] ssPv26_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [766] ssPv25_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [767] ssPv24_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [768] ssPv24_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [769] ssNder1_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [770] ssPv56_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [771] ssPv55_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [772] ssPv54_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [773] ssPv52_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [774] ssPv51_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [775] ssPv50_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [776] ssPv49_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [777] ssPv48_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [778] ssPv47_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [779] ssPv46_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [780] ssPv45_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [781] ssPv44_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [782] ssPv43_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [783] ssPv42_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [784] ssPv41_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [785] ssPv40_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [786] ssPv38_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [787] ssPv37_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [788] ssPv36_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [789] ssPv35_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [790] ssPv34_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [791] ssPv33_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [792] ssPv32_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [793] ssPv31_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [794] ssPv30_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [795] ssPv29_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [796] ssPv18_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [797] ssPv28_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [798] ssPv4_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [799] ssPv27_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [800] ssPv14_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_33 (+)0 (-)0
% [801] ssPv26_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [802] ssPv25_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [803] ssPv24_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [804] ssPv23_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_34 (+)0 (-)0
% [805] ssPv23_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_35 (+)0 (-)0
% [806] ssNder1_36r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_36 (+)0 (-)0
% [807] ssPv56_36r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_36 (+)0 (-)0
% [808] ssPv55_36r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_36 (+)0 (-)0
% [809] ssPv54_36r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_36 (+)0 (-)0
% [810] ssPv52_36r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_36 (+)0 (-)0
% [811] ssPv51_36r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_36 (+)0 (-)0
% [812] ssPv50_36r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_36 (+)0 (-)0
% [813] ssPv49_36r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_36 (+)0 (-)0
% [814] ssPv48_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: 3 secs
% CPU time: 3.28 secs
%
%------------------------------------------------------------------------------