%------------------------------------------------------------------------------
% File     : CARINE---0.734
% Problem  : SYN860-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:59 EST 2010

% Result   : Timeout 300.11s
% 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/SystemOnTPTP14513/SYN/SYN860-1+noeq.car t=300 xo=off uct=32000
% CARINE version 0.734 (Dec 2003)
% Initializing tables ... done.
% Parsing ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ done.
% Calculating time slices ... done.
% Building Lookup Tables ... done.
% Looking for a proof at depth = 1 ...
% 	t = 22 secs [nr = 3] [nf = 0] [nu = 2] [ut = 2]
% Looking for a proof at depth = 2 ...
% 	t = 22 secs [nr = 14] [nf = 1] [nu = 5] [ut = 3]
% Looking for a proof at depth = 3 ...
% 	t = 22 secs [nr = 48] [nf = 2] [nu = 14] [ut = 4]
% Looking for a proof at depth = 4 ...
% 	t = 22 secs [nr = 114] [nf = 3] [nu = 26] [ut = 4]
% Looking for a proof at depth = 5 ...
% 	t = 22 secs [nr = 223] [nf = 5] [nu = 40] [ut = 4]
% Looking for a proof at depth = 6 ...
% 	t = 22 secs [nr = 388] [nf = 8] [nu = 60] [ut = 4]
% Looking for a proof at depth = 7 ...
% 	t = 22 secs [nr = 611] [nf = 11] [nu = 84] [ut = 4]
% Looking for a proof at depth = 8 ...
% 	t = 22 secs [nr = 886] [nf = 14] [nu = 108] [ut = 4]
% Looking for a proof at depth = 9 ...
% 	t = 22 secs [nr = 1221] [nf = 17] [nu = 132] [ut = 4]
% Looking for a proof at depth = 10 ...
% 	t = 22 secs [nr = 1624] [nf = 20] [nu = 156] [ut = 4]
% Looking for a proof at depth = 11 ...
% 	t = 22 secs [nr = 2103] [nf = 23] [nu = 180] [ut = 4]
% Looking for a proof at depth = 12 ...
% 	t = 22 secs [nr = 2674] [nf = 26] [nu = 204] [ut = 4]
% Looking for a proof at depth = 13 ...
% 	t = 22 secs [nr = 3353] [nf = 29] [nu = 228] [ut = 4]
% Looking for a proof at depth = 14 ...
% 	t = 22 secs [nr = 4140] [nf = 32] [nu = 252] [ut = 4]
% Looking for a proof at depth = 15 ...
% 	t = 22 secs [nr = 5051] [nf = 35] [nu = 276] [ut = 4]
% Looking for a proof at depth = 16 ...
% 	t = 22 secs [nr = 6086] [nf = 38] [nu = 300] [ut = 4]
% Looking for a proof at depth = 17 ...
% 	t = 22 secs [nr = 7249] [nf = 41] [nu = 324] [ut = 4]
% Looking for a proof at depth = 18 ...
% 	t = 22 secs [nr = 8548] [nf = 44] [nu = 348] [ut = 4]
% Looking for a proof at depth = 19 ...
% 	t = 22 secs [nr = 9987] [nf = 47] [nu = 372] [ut = 4]
% Looking for a proof at depth = 20 ...
% 	t = 22 secs [nr = 11582] [nf = 50] [nu = 396] [ut = 4]
% Looking for a proof at depth = 21 ...
% 	t = 22 secs [nr = 13353] [nf = 53] [nu = 420] [ut = 4]
% Looking for a proof at depth = 22 ...
% 	t = 22 secs [nr = 15296] [nf = 56] [nu = 444] [ut = 4]
% Looking for a proof at depth = 23 ...
% 	t = 22 secs [nr = 17431] [nf = 59] [nu = 468] [ut = 4]
% Looking for a proof at depth = 24 ...
% 	t = 22 secs [nr = 19750] [nf = 62] [nu = 492] [ut = 4]
% Looking for a proof at depth = 25 ...
% 	t = 22 secs [nr = 22293] [nf = 65] [nu = 516] [ut = 4]
% Looking for a proof at depth = 26 ...
% 	t = 22 secs [nr = 25056] [nf = 68] [nu = 540] [ut = 4]
% Looking for a proof at depth = 27 ...
% 	t = 22 secs [nr = 28043] [nf = 71] [nu = 564] [ut = 4]
% Looking for a proof at depth = 28 ...
% 	t = 22 secs [nr = 31242] [nf = 74] [nu = 588] [ut = 4]
% Looking for a proof at depth = 29 ...
% 	t = 22 secs [nr = 34681] [nf = 77] [nu = 612] [ut = 4]
% Looking for a proof at depth = 30 ...
% 	t = 22 secs [nr = 38164] [nf = 80] [nu = 636] [ut = 4]
% Restarting s
% earch with different parameters.
% Looking for a proof at depth = 1 ...
% 	t = 23 secs [nr = 38167] [nf = 80] [nu = 638] [ut = 4]
% Looking for a proof at depth = 2 ...
% 	t = 23 secs [nr = 38178] [nf = 81] [nu = 641] [ut = 4]
% Looking for a proof at depth = 3 ...
% 	t = 23 secs [nr = 38222] [nf = 85] [nu = 650] [ut = 4]
% Looking for a proof at depth = 4 ...
% 	t = 23 secs [nr = 38429] [nf = 99] [nu = 688] [ut = 7]
% Looking for a proof at depth = 5 ...
% 	t = 23 secs [nr = 39673] [nf = 189] [nu = 970] [ut = 10]
% Looking for a proof at depth = 6 ...
% 	t = 23 secs [nr = 49604] [nf = 1097] [nu = 3214] [ut = 13]
% Looking for a proof at depth = 7 ...
% 	t = 24 secs [nr = 145030] [nf = 8329] [nu = 26752] [ut = 18]
% Looking for a proof at depth = 8 ...
% 	t = 37 secs [nr = 1068068] [nf = 59789] [nu = 271942] [ut = 23]
% Looking for a proof at depth = 9 ...
% 	t = 186 secs [nr = 11773782] [nf = 612107] [nu = 3212269] [ut = 30]
% Looking for a proof at depth = 10 ...
% TIME IS UP!
% ---------------------------------------------
% |                Statistics                 |
% ---------------------------------------------
% Profile 3: Performance Statistics:
% ==================================
% Total number of generated clauses: 21433083
% 	resolvents: 20354549	factors: 1078534
% Number of unit clauses generated: 5548554
% % unit clauses generated to total clauses generated: 25.89
% Number of unit clauses constructed and retained at depth [x]:
% =============================================================
% [0] = 1		[1] = 1		[2] = 1		[3] = 1		
% [4] = 3		[5] = 3		[6] = 3		[7] = 5		
% [8] = 5		[9] = 7		
% Total = 30
% Number of generated clauses having [x] literals:
% ------------------------------------------------
% [1] = 5548554	[2] = 7677078	[3] = 5121215	[4] = 2142424	[5] = 690023	[6] = 175952	
% [7] = 37841	[8] = 7541	[9] = 2426	[10] = 1549	[11] = 1520	[12] = 1748	
% [13] = 1944	[14] = 1836	[15] = 1984	[16] = 1860	[17] = 1792	[18] = 1768	
% [19] = 1680	[20] = 1716	[21] = 1760	[22] = 1548	[23] = 1536	[24] = 1288	
% [25] = 1344	[26] = 1100	[27] = 896	[28] = 636	[29] = 480	[30] = 44	
% Average size of a generated clause: 3.0
% Number of unit clauses per predicate list:
% ==========================================
% [0] ssNder1_0		(+)1	(-)0
% [1] ssNder1_1r1_1	(+)1	(-)0
% [2] ssPv11_1r1_1	(+)0	(-)0
% [3] ssPv13_1r1_1	(+)0	(-)0
% [4] ssPv15_1r1_1	(+)0	(-)0
% [5] ssPv19_1r1_1	(+)0	(-)0
% [6] ssPv21_1r1_1	(+)0	(-)0
% [7] ssPv23_1r1_1	(+)0	(-)0
% [8] ssPv27_1r1_1	(+)0	(-)0
% [9] ssPv28_1r1_1	(+)0	(-)0
% [10] ssPv5_1r1_1		(+)0	(-)0
% [11] ssPv7_1r1_1		(+)0	(-)0
% [12] ssPv8_1r1_1		(+)0	(-)0
% [13] ssNder1_2r1r1_2	(+)1	(-)0
% [14] ssPv13_2r1r1_2	(+)0	(-)0
% [15] ssPv14_2r1r1_2	(+)0	(-)0
% [16] ssPv15_2r1r1_2	(+)0	(-)0
% [17] ssPv16_2r1r1_2	(+)0	(-)0
% [18] ssPv18_2r1r1_2	(+)0	(-)0
% [19] ssPv19_2r1r1_2	(+)0	(-)0
% [20] ssPv1_2r1r1_2	(+)0	(-)0
% [21] ssPv22_2r1r1_2	(+)0	(-)0
% [22] ssPv23_2r1r1_2	(+)0	(-)0
% [23] ssPv27_2r1r1_2	(+)0	(-)0
% [24] ssPv28_2r1r1_2	(+)0	(-)0
% [25] ssPv5_2r1r1_2	(+)0	(-)0
% [26] ssPv6_2r1r1_2	(+)0	(-)0
% [27] ssPv7_2r1r1_2	(+)0	(-)0
% [28] ssPv8_2r1r1_2	(+)0	(-)0
% [29] ssNder1_3r1r1r1_3	(+)1	(-)0
% [30] ssPv17_3r1r1r1_3	(+)0	(-)0
% [31] ssPv18_3r1r1r1_3	(+)0	(-)0
% [32] ssPv19_3r1r1r1_3	(+)0	(-)0
% [33] ssPv21_3r1r1r1_3	(+)0	(-)0
% [34] ssPv22_3r1r1r1_3	(+)0	(-)0
% [35] ssPv23_3r1r1r1_3	(+)0	(-)0
% [36] ssPv24_3r1r1r1_3	(+)0	(-)0
% [37] ssPv26_3r1r1r1_3	(+)0	(-)0
% [38] ssPv27_3r1r1r1_3	(+)0	(-)0
% [39] ssPv28_3r1r1r1_3	(+)0	(-)0
% [40] ssPv2_3r1r1r1_3	(+)0	(-)0
% [41] ssPv3_3r1r1r1_3	(+)0	(-)0
% [42] ssPv5_3r1r1r1_3	(+)0	(-)0
% [43] ssPv7_3r1r1r1_3	(+)0	(-)0
% [44] ssPv8_3r1r1r1_3	(+)0	(-)0
% [45] ssNder1_4r1r1r1r1_4	(+)1	(-)0
% [46] ssPv11_4r1r1r1r1_4	(+)0	(-)0
% [47] ssPv12_4r1r1r1r1_4	(+)0	(-)0
% [48] ssPv14_4r1r1r1r1_4	(+)0	(-)0
% [49] ssPv16_4r1r1r1r1_4	(+)0	(-)0
% [50] ssPv17_4r1r1r1r1_4	(+)0	(-)0
% [51] ssPv18_4r1r1r1r1_4	(+)0	(-)0
% [52] ssPv20_4r1r1r1r1_4	(+)0	(-)0
% [53] ssPv21_4r1r1r1r1_4	(+)0	(-)0
% [54] ssPv22_4r1r1r1r1_4	(+)0	(-)0
% [55] ssPv23_4r1r1r1r1_4	(+)0	(-)0
% [56] ssPv24_4r1r1r1r1_4	(+)0	(-)0
% [57] ssPv25_4r1r1r1r1_4	(+)0	(-)0
% [58] ssPv26_4r1r1r1r1_4	(+)0	(-)0
% [59] ssPv27_4r1r1r1r1_4	(+)0	(-)0
% [60] ssPv28_4r1r1r1r1_4	(+)0	(-)0
% [61] ssPv2_4r1r1r1r1_4	(+)0	(-)0
% [62] ssPv5_4r1r1r1r1_4	(+)0	(-)0
% [63] ssPv6_4r1r1r1r1_4	(+)0	(-)0
% [64] ssPv7_4r1r1r1r1_4	(+)0	(-)0
% [65] ssNder1_5r1r1r1r1r1_5	(+)1	(-)0
% [66] ssPv11_5r1r1r1r1r1_5	(+)0	(-)0
% [67] ssPv13_5r1r1r1r1r1_5	(+)0	(-)0
% [68] ssPv16_5r1r1r1r1r1_5	(+)0	(-)0
% [69] ssPv17_5r1r1r1r1r1_5	(+)0	(-)0
% [70] ssPv18_5r1r1r1r1r1_5	(+)0	(-)0
% [71] ssPv19_5r1r1r1r1r1_5	(+)0	(-)0
% [72] ssPv1_5r1r1r1r1r1_5	(+)0	(-)0
% [73] ssPv21_5r1r1r1r1r1_5	(+)0	(-)0
% [74] ssPv22_5r1r1r1r1r1_5	(+)0	(-)0
% [75] ssPv24_5r1r1r1r1r1_5	(+)1	(-)1
% [76] ssPv25_5r1r1r1r1r1_5	(+)0	(-)0
% [77] ssPv26_5r1r1r1r1r1_5	(+)0	(-)0
% [78] ssPv27_5r1r1r1r1r1_5	(+)0	(-)0
% [79] ssPv28_5r1r1r1r1r1_5	(+)0	(-)0
% [80] ssPv2_5r1r1r1r1r1_5	(+)0	(-)0
% [81] ssPv3_5r1r1r1r1r1_5	(+)0	(-)0
% [82] ssPv4_5r1r1r1r1r1_5	(+)0	(-)0
% [83] ssPv5_5r1r1r1r1r1_5	(+)0	(-)0
% [84] ssPv6_5r1r1r1r1r1_5	(+)0	(-)0
% [85] ssPv7_5r1r1r1r1r1_5	(+)0	(-)0
% [86] ssPv9_5r1r1r1r1r1_5	(+)0	(-)0
% [87] ssNder1_6r1r1r1r1r1r1_6	(+)1	(-)0
% [88] ssPv11_6r1r1r1r1r1r1_6	(+)0	(-)0
% [89] ssPv12_6r1r1r1r1r1r1_6	(+)0	(-)0
% [90] ssPv13_6r1r1r1r1r1r1_6	(+)0	(-)0
% [91] ssPv15_6r1r1r1r1r1r1_6	(+)0	(-)0
% [92] ssPv18_6r1r1r1r1r1r1_6	(+)0	(-)0
% [93] ssPv20_6r1r1r1r1r1r1_6	(+)0	(-)0
% [94] ssPv21_6r1r1r1r1r1r1_6	(+)0	(-)0
% [95] ssPv23_6r1r1r1r1r1r1_6	(+)1	(-)1
% [96] ssPv24_6r1r1r1r1r1r1_6	(+)1	(-)1
% [97] ssPv25_6r1r1r1r1r1r1_6	(+)0	(-)0
% [98] ssPv26_6r1r1r1r1r1r1_6	(+)0	(-)0
% [99] ssPv27_6r1r1r1r1r1r1_6	(+)0	(-)0
% [100] ssPv28_6r1r1r1r1r1r1_6	(+)0	(-)0
% [101] ssPv2_6r1r1r1r1r1r1_6	(+)0	(-)0
% [102] ssPv3_6r1r1r1r1r1r1_6	(+)0	(-)0
% [103] ssPv5_6r1r1r1r1r1r1_6	(+)0	(-)0
% [104] ssPv6_6r1r1r1r1r1r1_6	(+)0	(-)0
% [105] ssPv7_6r1r1r1r1r1r1_6	(+)0	(-)0
% [106] ssPv8_6r1r1r1r1r1r1_6	(+)0	(-)0
% [107] ssPv9_6r1r1r1r1r1r1_6	(+)0	(-)0
% [108] ssNder1_7r1r1r1r1r1r1r1_7	(+)1	(-)0
% [109] ssPv10_7r1r1r1r1r1r1r1_7	(+)0	(-)0
% [110] ssPv11_7r1r1r1r1r1r1r1_7	(+)0	(-)0
% [111] ssPv13_7r1r1r1r1r1r1r1_7	(+)0	(-)0
% [112] ssPv16_7r1r1r1r1r1r1r1_7	(+)0	(-)0
% [113] ssPv18_7r1r1r1r1r1r1r1_7	(+)0	(-)0
% [114] ssPv1_7r1r1r1r1r1r1r1_7	(+)0	(-)0
% [115] ssPv20_7r1r1r1r1r1r1r1_7	(+)0	(-)0
% [116] ssPv21_7r1r1r1r1r1r1r1_7	(+)0	(-)0
% [117] ssPv22_7r1r1r1r1r1r1r1_7	(+)1	(-)1
% [118] ssPv23_7r1r1r1r1r1r1r1_7	(+)1	(-)1
% [119] ssPv24_7r1r1r1r1r1r1r1_7	(+)1	(-)1
% [120] ssPv25_7r1r1r1r1r1r1r1_7	(+)0	(-)0
% [121] ssPv26_7r1r1r1r1r1r1r1_7	(+)0	(-)0
% [122] ssPv27_7r1r1r1r1r1r1r1_7	(+)0	(-)0
% [123] ssPv28_7r1r1r1r1r1r1r1_7	(+)0	(-)0
% [124] ssPv2_7r1r1r1r1r1r1r1_7	(+)0	(-)0
% [125] ssPv3_7r1r1r1r1r1r1r1_7	(+)0	(-)0
% [126] ssPv5_7r1r1r1r1r1r1r1_7	(+)0	(-)0
% [127] ssPv6_7r1r1r1r1r1r1r1_7	(+)0	(-)0
% [128] ssPv7_7r1r1r1r1r1r1r1_7	(+)0	(-)0
% [129] ssPv8_7r1r1r1r1r1r1r1_7	(+)0	(-)0
% [130] ssPv9_7r1r1r1r1r1r1r1_7	(+)0	(-)0
% [131] ssNder1_8r1r1r1r1r1r1r1r1_8	(+)1	(-)0
% [132] ssPv11_8r1r1r1r1r1r1r1r1_8	(+)0	(-)0
% [133] ssPv12_8r1r1r1r1r1r1r1r1_8	(+)0	(-)0
% [134] ssPv14_8r1r1r1r1r1r1r1r1_8	(+)0	(-)0
% [135] ssPv15_8r1r1r1r1r1r1r1r1_8	(+)0	(-)0
% [136] ssPv16_8r1r1r1r1r1r1r1r1_8	(+)0	(-)0
% [137] ssPv17_8r1r1r1r1r1r1r1r1_8	(+)0	(-)0
% [138] ssPv18_8r1r1r1r1r1r1r1r1_8	(+)0	(-)0
% [139] ssPv19_8r1r1r1r1r1r1r1r1_8	(+)0	(-)0
% [140] ssPv1_8r1r1r1r1r1r1r1r1_8	(+)0	(-)0
% [141] ssPv21_8r1r1r1r1r1r1r1r1_8	(+)1	(-)1
% [142] ssPv22_8r1r1r1r1r1r1r1r1_8	(+)1	(-)1
% [143] ssPv23_8r1r1r1r1r1r1r1r1_8	(+)1	(-)1
% [144] ssPv24_8r1r1r1r1r1r1r1r1_8	(+)1	(-)1
% [145] ssPv25_8r1r1r1r1r1r1r1r1_8	(+)0	(-)0
% [146] ssPv26_8r1r1r1r1r1r1r1r1_8	(+)0	(-)0
% [147] ssPv27_8r1r1r1r1r1r1r1r1_8	(+)0	(-)0
% [148] ssPv28_8r1r1r1r1r1r1r1r1_8	(+)0	(-)0
% [149] ssPv2_8r1r1r1r1r1r1r1r1_8	(+)0	(-)0
% [150] ssPv3_8r1r1r1r1r1r1r1r1_8	(+)0	(-)0
% [151] ssPv4_8r1r1r1r1r1r1r1r1_8	(+)0	(-)0
% [152] ssPv5_8r1r1r1r1r1r1r1r1_8	(+)0	(-)0
% [153] ssPv6_8r1r1r1r1r1r1r1r1_8	(+)0	(-)0
% [154] ssPv7_8r1r1r1r1r1r1r1r1_8	(+)0	(-)0
% [155] ssPv9_8r1r1r1r1r1r1r1r1_8	(+)0	(-)0
% [156] ssNder1_9r1r1r1r1r1r1r1r1r1_9	(+)1	(-)0
% [157] ssPv15_9r1r1r1r1r1r1r1r1r1_9	(+)0	(-)0
% [158] ssPv16_9r1r1r1r1r1r1r1r1r1_9	(+)0	(-)0
% [159] ssPv19_9r1r1r1r1r1r1r1r1r1_9	(+)0	(-)0
% [160] ssPv20_9r1r1r1r1r1r1r1r1r1_9	(+)0	(-)0
% [161] ssPv21_9r1r1r1r1r1r1r1r1r1_9	(+)0	(-)0
% [162] ssPv22_9r1r1r1r1r1r1r1r1r1_9	(+)0	(-)0
% [163] ssPv23_9r1r1r1r1r1r1r1r1r1_9	(+)0	(-)0
% [164] ssPv24_9r1r1r1r1r1r1r1r1r1_9	(+)0	(-)0
% [165] ssPv25_9r1r1r1r1r1r1r1r1r1_9	(+)0	(-)0
% [166] ssPv26_9r1r1r1r1r1r1r1r1r1_9	(+)0	(-)0
% [167] ssPv27_9r1r1r1r1r1r1r1r1r1_9	(+)0	(-)0
% [168] ssPv28_9r1r1r1r1r1r1r1r1r1_9	(+)0	(-)0
% [169] ssPv2_9r1r1r1r1r1r1r1r1r1_9	(+)0	(-)0
% [170] ssPv3_9r1r1r1r1r1r1r1r1r1_9	(+)0	(-)0
% [171] ssPv6_9r1r1r1r1r1r1r1r1r1_9	(+)0	(-)0
% [172] ssPv7_9r1r1r1r1r1r1r1r1r1_9	(+)0	(-)0
% [173] ssPv8_9r1r1r1r1r1r1r1r1r1_9	(+)0	(-)0
% [174] ssNder1_10r1r1r1r1r1r1r1r1r1r1_10	(+)0	(-)0
% [175] ssPv15_10r1r1r1r1r1r1r1r1r1r1_10	(+)0	(-)0
% [176] ssPv16_10r1r1r1r1r1r1r1r1r1r1_10	(+)0	(-)0
% [177] ssPv19_10r1r1r1r1r1r1r1r1r1r1_10	(+)0	(-)0
% [178] ssPv1_10r1r1r1r1r1r1r1r1r1r1_10	(+)0	(-)0
% [179] ssPv20_10r1r1r1r1r1r1r1r1r1r1_10	(+)0	(-)0
% [180] ssPv21_10r1r1r1r1r1r1r1r1r1r1_10	(+)0	(-)0
% [181] ssPv22_10r1r1r1r1r1r1r1r1r1r1_10	(+)0	(-)0
% [182] ssPv23_10r1r1r1r1r1r1r1r1r1r1_10	(+)0	(-)0
% [183] ssPv24_10r1r1r1r1r1r1r1r1r1r1_10	(+)0	(-)0
% [184] ssPv25_10r1r1r1r1r1r1r1r1r1r1_10	(+)0	(-)0
% [185] ssPv26_10r1r1r1r1r1r1r1r1r1r1_10	(+)0	(-)0
% [186] ssPv27_10r1r1r1r1r1r1r1r1r1r1_10	(+)0	(-)0
% [187] ssPv28_10r1r1r1r1r1r1r1r1r1r1_10	(+)0	(-)0
% [188] ssPv2_10r1r1r1r1r1r1r1r1r1r1_10	(+)0	(-)0
% [189] ssPv5_10r1r1r1r1r1r1r1r1r1r1_10	(+)0	(-)0
% [190] ssPv6_10r1r1r1r1r1r1r1r1r1r1_10	(+)0	(-)0
% [191] ssPv7_10r1r1r1r1r1r1r1r1r1r1_10	(+)0	(-)0
% [192] ssNder1_11r1r1r1r1r1r1r1r1r1r1r1_11	(+)0	(-)0
% [193] ssPv13_11r1r1r1r1r1r1r1r1r1r1r1_11	(+)0	(-)0
% [194] ssPv14_11r1r1r1r1r1r1r1r1r1r1r1_11	(+)0	(-)0
% [195] ssPv15_11r1r1r1r1r1r1r1r1r1r1r1_11	(+)0	(-)0
% [196] ssPv16_11r1r1r1r1r1r1r1r1r1r1r1_11	(+)0	(-)0
% [197] ssPv17_11r1r1r1r1r1r1r1r1r1r1r1_11	(+)0	(-)0
% [198] ssPv18_11r1r1r1r1r1r1r1r1r1r1r1_11	(+)0	(-)0
% [199] ssPv19_11r1r1r1r1r1r1r1r1r1r1r1_11	(+)0	(-)0
% [200] ssPv20_11r1r1r1r1r1r1r1r1r1r1r1_11	(+)0	(-)0
% [201] ssPv21_11r1r1r1r1r1r1r1r1r1r1r1_11	(+)0	(-)0
% [202] ssPv22_11r1r1r1r1r1r1r1r1r1r1r1_11	(+)0	(-)0
% [203] ssPv23_11r1r1r1r1r1r1r1r1r1r1r1_11	(+)0	(-)0
% [204] ssPv24_11r1r1r1r1r1r1r1r1r1r1r1_11	(+)0	(-)0
% [205] ssPv25_11r1r1r1r1r1r1r1r1r1r1r1_11	(+)0	(-)0
% [206] ssPv26_11r1r1r1r1r1r1r1r1r1r1r1_11	(+)0	(-)0
% [207] ssPv27_11r1r1r1r1r1r1r1r1r1r1r1_11	(+)0	(-)0
% [208] ssPv28_11r1r1r1r1r1r1r1r1r1r1r1_11	(+)0	(-)0
% [209] ssPv3_11r1r1r1r1r1r1r1r1r1r1r1_11	(+)0	(-)0
% [210] ssPv5_11r1r1r1r1r1r1r1r1r1r1r1_11	(+)0	(-)0
% [211] ssPv6_11r1r1r1r1r1r1r1r1r1r1r1_11	(+)0	(-)0
% [212] ssPv7_11r1r1r1r1r1r1r1r1r1r1r1_11	(+)0	(-)0
% [213] ssPv9_11r1r1r1r1r1r1r1r1r1r1r1_11	(+)0	(-)0
% [214] ssNder1_12r1r1r1r1r1r1r1r1r1r1r1r1_12	(+)0	(-)0
% [215] ssPv14_12r1r1r1r1r1r1r1r1r1r1r1r1_12	(+)0	(-)0
% [216] ssPv16_12r1r1r1r1r1r1r1r1r1r1r1r1_12	(+)0	(-)0
% [217] ssPv17_12r1r1r1r1r1r1r1r1r1r1r1r1_12	(+)0	(-)0
% [218] ssPv18_12r1r1r1r1r1r1r1r1r1r1r1r1_12	(+)0	(-)0
% [219] ssPv19_12r1r1r1r1r1r1r1r1r1r1r1r1_12	(+)0	(-)0
% [220] ssPv20_12r1r1r1r1r1r1r1r1r1r1r1r1_12	(+)0	(-)0
% [221] ssPv21_12r1r1r1r1r1r1r1r1r1r1r1r1_12	(+)0	(-)0
% [222] ssPv22_12r1r1r1r1r1r1r1r1r1r1r1r1_12	(+)0	(-)0
% [223] ssPv23_12r1r1r1r1r1r1r1r1r1r1r1r1_12	(+)0	(-)0
% [224] ssPv24_12r1r1r1r1r1r1r1r1r1r1r1r1_12	(+)0	(-)0
% [225] ssPv25_12r1r1r1r1r1r1r1r1r1r1r1r1_12	(+)0	(-)0
% [226] ssPv26_12r1r1r1r1r1r1r1r1r1r1r1r1_12	(+)0	(-)0
% [227] ssPv27_12r1r1r1r1r1r1r1r1r1r1r1r1_12	(+)0	(-)0
% [228] ssPv28_12r1r1r1r1r1r1r1r1r1r1r1r1_12	(+)0	(-)0
% [229] ssPv3_12r1r1r1r1r1r1r1r1r1r1r1r1_12	(+)0	(-)0
% [230] ssPv5_12r1r1r1r1r1r1r1r1r1r1r1r1_12	(+)0	(-)0
% [231] ssNder1_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13	(+)0	(-)0
% [232] ssPv10_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13	(+)0	(-)0
% [233] ssPv12_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13	(+)0	(-)0
% [234] ssPv14_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13	(+)0	(-)0
% [235] ssPv16_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13	(+)0	(-)0
% [236] ssPv17_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13	(+)0	(-)0
% [237] ssPv18_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13	(+)0	(-)0
% [238] ssPv19_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13	(+)0	(-)0
% [239] ssPv1_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13	(+)0	(-)0
% [240] ssPv20_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13	(+)0	(-)0
% [241] ssPv21_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13	(+)0	(-)0
% [242] ssPv22_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13	(+)0	(-)0
% [243] ssPv23_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13	(+)0	(-)0
% [244] ssPv24_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13	(+)0	(-)0
% [245] ssPv25_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13	(+)0	(-)0
% [246] ssPv26_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13	(+)0	(-)0
% [247] ssPv27_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13	(+)0	(-)0
% [248] ssPv28_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13	(+)0	(-)0
% [249] ssPv2_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13	(+)0	(-)0
% [250] ssPv3_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13	(+)0	(-)0
% [251] ssPv5_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13	(+)0	(-)0
% [252] ssPv6_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13	(+)0	(-)0
% [253] ssPv7_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13	(+)0	(-)0
% [254] ssPv9_13r1r1r1r1r1r1r1r1r1r1r1r1r1_13	(+)0	(-)0
% [255] ssNder1_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14	(+)0	(-)0
% [256] ssPv14_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14	(+)0	(-)0
% [257] ssPv15_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14	(+)0	(-)0
% [258] ssPv16_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14	(+)0	(-)0
% [259] ssPv17_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14	(+)0	(-)0
% [260] ssPv18_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14	(+)0	(-)0
% [261] ssPv19_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14	(+)0	(-)0
% [262] ssPv20_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14	(+)0	(-)0
% [263] ssPv21_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14	(+)0	(-)0
% [264] ssPv22_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14	(+)0	(-)0
% [265] ssPv23_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14	(+)0	(-)0
% [266] ssPv24_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14	(+)0	(-)0
% [267] ssPv25_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14	(+)0	(-)0
% [268] ssPv26_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14	(+)0	(-)0
% [269] ssPv27_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14	(+)0	(-)0
% [270] ssPv28_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14	(+)0	(-)0
% [271] ssPv2_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14	(+)0	(-)0
% [272] ssPv6_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14	(+)0	(-)0
% [273] ssPv7_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1_14	(+)0	(-)0
% [274] ssNder1_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15	(+)0	(-)0
% [275] ssPv11_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15	(+)0	(-)0
% [276] ssPv14_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15	(+)0	(-)0
% [277] ssPv15_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15	(+)0	(-)0
% [278] ssPv16_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15	(+)0	(-)0
% [279] ssPv17_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15	(+)0	(-)0
% [280] ssPv18_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15	(+)0	(-)0
% [281] ssPv19_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15	(+)0	(-)0
% [282] ssPv1_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15	(+)0	(-)0
% [283] ssPv20_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15	(+)0	(-)0
% [284] ssPv21_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15	(+)0	(-)0
% [285] ssPv22_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15	(+)0	(-)0
% [286] ssPv23_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15	(+)0	(-)0
% [287] ssPv24_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15	(+)0	(-)0
% [288] ssPv25_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15	(+)0	(-)0
% [289] ssPv26_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15	(+)0	(-)0
% [290] ssPv27_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15	(+)0	(-)0
% [291] ssPv28_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15	(+)0	(-)0
% [292] ssPv2_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15	(+)0	(-)0
% [293] ssPv3_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15	(+)0	(-)0
% [294] ssPv7_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_15	(+)0	(-)0
% [295] ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16	(+)0	(-)0
% [296] ssPv12_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16	(+)0	(-)0
% [297] ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16	(+)0	(-)0
% [298] ssPv14_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16	(+)0	(-)0
% [299] ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16	(+)0	(-)0
% [300] ssPv16_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16	(+)0	(-)0
% [301] ssPv17_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16	(+)0	(-)0
% [302] ssPv18_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16	(+)0	(-)0
% [303] ssPv19_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16	(+)0	(-)0
% [304] ssPv20_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16	(+)0	(-)0
% [305] ssPv21_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16	(+)0	(-)0
% [306] ssPv22_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16	(+)0	(-)0
% [307] ssPv23_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16	(+)0	(-)0
% [308] ssPv24_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16	(+)0	(-)0
% [309] ssPv25_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16	(+)0	(-)0
% [310] ssPv26_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16	(+)0	(-)0
% [311] ssPv27_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16	(+)0	(-)0
% [312] ssPv28_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16	(+)0	(-)0
% [313] ssPv2_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16	(+)0	(-)0
% [314] ssPv3_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16	(+)0	(-)0
% [315] ssPv4_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16	(+)0	(-)0
% [316] ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16	(+)0	(-)0
% [317] ssPv7_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16	(+)0	(-)0
% [318] ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_16	(+)0	(-)0
% [319] ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17	(+)0	(-)0
% [320] ssPv11_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17	(+)0	(-)0
% [321] ssPv12_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17	(+)0	(-)0
% [322] ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17	(+)0	(-)0
% [323] ssPv14_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17	(+)0	(-)0
% [324] ssPv15_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17	(+)0	(-)0
% [325] ssPv16_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17	(+)0	(-)0
% [326] ssPv17_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17	(+)0	(-)0
% [327] ssPv18_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17	(+)0	(-)0
% [328] ssPv19_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17	(+)0	(-)0
% [329] ssPv1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17	(+)0	(-)0
% [330] ssPv20_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17	(+)0	(-)0
% [331] ssPv21_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17	(+)0	(-)0
% [332] ssPv22_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17	(+)0	(-)0
% [333] ssPv23_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17	(+)0	(-)0
% [334] ssPv24_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17	(+)0	(-)0
% [335] ssPv25_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17	(+)0	(-)0
% [336] ssPv26_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17	(+)0	(-)0
% [337] ssPv27_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17	(+)0	(-)0
% [338] ssPv28_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17	(+)0	(-)0
% [339] ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17	(+)0	(-)0
% [340] ssPv6_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17	(+)0	(-)0
% [341] ssPv7_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17	(+)0	(-)0
% [342] ssPv9_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_17	(+)0	(-)0
% [343] ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [344] ssPv11_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [345] ssPv12_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [346] ssPv13_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [347] ssPv14_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [348] ssPv15_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [349] ssPv16_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [350] ssPv17_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [351] ssPv18_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [352] ssPv19_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [353] ssPv20_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [354] ssPv21_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [355] ssPv22_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [356] ssPv23_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [357] ssPv24_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [358] ssPv25_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [359] ssPv26_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [360] ssPv27_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [361] ssPv28_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [362] ssPv2_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [363] ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [364] ssPv6_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [365] ssPv7_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [366] ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [367] ssPv9_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_18	(+)0	(-)0
% [368] ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19	(+)0	(-)0
% [369] ssPv10_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19	(+)0	(-)0
% [370] ssPv11_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19	(+)0	(-)0
% [371] ssPv12_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19	(+)0	(-)0
% [372] ssPv13_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19	(+)0	(-)0
% [373] ssPv14_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19	(+)0	(-)0
% [374] ssPv15_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19	(+)0	(-)0
% [375] ssPv16_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19	(+)0	(-)0
% [376] ssPv17_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19	(+)0	(-)0
% [377] ssPv18_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19	(+)0	(-)0
% [378] ssPv19_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19	(+)0	(-)0
% [379] ssPv1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19	(+)0	(-)0
% [380] ssPv20_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19	(+)0	(-)0
% [381] ssPv21_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19	(+)0	(-)0
% [382] ssPv22_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19	(+)0	(-)0
% [383] ssPv23_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19	(+)0	(-)0
% [384] ssPv24_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19	(+)0	(-)0
% [385] ssPv25_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19	(+)0	(-)0
% [386] ssPv26_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19	(+)0	(-)0
% [387] ssPv27_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19	(+)0	(-)0
% [388] ssPv28_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19	(+)0	(-)0
% [389] ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19	(+)0	(-)0
% [390] ssPv7_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_19	(+)0	(-)0
% [391] ssNder1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [392] ssPv10_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [393] ssPv11_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [394] ssPv12_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [395] ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [396] ssPv14_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [397] ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [398] ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [399] ssPv17_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [400] ssPv18_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [401] ssPv19_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [402] ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [403] ssPv20_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [404] ssPv21_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [405] ssPv22_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [406] ssPv23_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [407] ssPv24_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [408] ssPv25_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [409] ssPv26_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [410] ssPv27_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [411] ssPv28_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [412] ssPv2_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [413] ssPv4_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [414] ssPv6_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [415] ssPv9_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_20	(+)0	(-)0
% [416] ssNder1_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [417] ssPv10_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [418] ssPv11_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [419] ssPv12_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [420] ssPv13_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [421] ssPv14_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [422] ssPv15_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [423] ssPv16_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [424] ssPv17_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [425] ssPv18_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [426] ssPv19_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [427] ssPv1_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [428] ssPv20_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [429] ssPv21_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [430] ssPv22_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [431] ssPv23_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [432] ssPv24_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [433] ssPv25_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [434] ssPv26_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [435] ssPv27_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [436] ssPv28_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [437] ssPv2_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [438] ssPv5_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [439] ssPv8_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [440] ssPv9_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_21	(+)0	(-)0
% [441] ssNder1_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [442] ssPv10_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [443] ssPv11_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [444] ssPv12_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [445] ssPv13_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [446] ssPv14_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [447] ssPv15_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [448] ssPv16_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [449] ssPv17_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [450] ssPv18_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [451] ssPv19_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [452] ssPv1_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [453] ssPv20_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [454] ssPv21_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [455] ssPv22_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [456] ssPv23_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [457] ssPv24_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [458] ssPv25_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [459] ssPv26_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [460] ssPv27_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [461] ssPv28_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [462] ssPv2_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [463] ssPv3_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [464] ssPv4_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [465] ssPv6_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [466] ssPv7_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [467] ssPv8_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [468] ssPv9_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_22	(+)0	(-)0
% [469] ssNder1_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [470] ssPv10_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [471] ssPv11_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [472] ssPv12_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [473] ssPv13_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [474] ssPv14_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [475] ssPv15_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [476] ssPv16_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [477] ssPv17_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [478] ssPv18_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [479] ssPv19_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [480] ssPv1_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [481] ssPv20_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [482] ssPv21_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [483] ssPv22_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [484] ssPv23_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [485] ssPv24_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [486] ssPv25_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [487] ssPv26_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [488] ssPv27_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [489] ssPv28_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [490] ssPv2_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [491] ssPv3_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [492] ssPv4_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [493] ssPv6_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [494] ssPv7_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [495] ssPv8_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [496] ssPv9_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_23	(+)0	(-)0
% [497] ssNder1_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [498] ssPv10_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [499] ssPv11_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [500] ssPv12_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [501] ssPv13_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [502] ssPv14_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [503] ssPv15_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [504] ssPv16_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [505] ssPv17_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [506] ssPv18_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [507] ssPv19_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [508] ssPv1_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [509] ssPv20_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [510] ssPv21_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [511] ssPv22_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [512] ssPv23_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [513] ssPv24_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [514] ssPv25_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [515] ssPv26_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [516] ssPv27_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [517] ssPv28_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [518] ssPv2_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [519] ssPv5_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [520] ssPv6_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [521] ssPv7_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [522] ssPv8_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [523] ssPv9_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_24	(+)0	(-)0
% [524] ssNder1_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [525] ssPv10_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [526] ssPv11_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [527] ssPv12_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [528] ssPv13_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [529] ssPv14_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [530] ssPv15_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [531] ssPv16_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [532] ssPv17_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [533] ssPv18_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [534] ssPv19_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [535] ssPv20_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [536] ssPv21_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [537] ssPv22_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [538] ssPv23_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [539] ssPv24_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [540] ssPv25_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [541] ssPv26_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [542] ssPv27_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [543] ssPv28_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [544] ssPv2_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [545] ssPv3_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [546] ssPv4_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [547] ssPv5_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [548] ssPv6_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [549] ssPv7_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [550] ssPv8_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [551] ssPv9_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_25	(+)0	(-)0
% [552] ssNder1_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [553] ssPv10_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [554] ssPv11_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [555] ssPv12_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [556] ssPv13_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [557] ssPv14_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [558] ssPv15_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [559] ssPv16_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [560] ssPv17_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [561] ssPv18_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [562] ssPv19_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [563] ssPv20_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [564] ssPv21_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [565] ssPv22_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [566] ssPv23_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [567] ssPv24_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [568] ssPv25_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [569] ssPv26_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [570] ssPv27_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [571] ssPv28_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [572] ssPv2_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [573] ssPv3_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [574] ssPv4_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [575] ssPv5_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [576] ssPv6_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [577] ssPv7_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [578] ssPv8_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [579] ssPv9_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_26	(+)0	(-)0
% [580] ssNder1_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [581] ssPv10_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [582] ssPv11_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [583] ssPv12_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [584] ssPv13_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [585] ssPv14_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [586] ssPv15_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [587] ssPv16_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [588] ssPv17_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [589] ssPv18_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [590] ssPv19_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [591] ssPv1_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [592] ssPv20_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [593] ssPv21_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [594] ssPv22_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [595] ssPv23_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [596] ssPv24_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [597] ssPv25_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [598] ssPv26_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [599] ssPv27_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [600] ssPv28_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [601] ssPv2_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [602] ssPv3_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [603] ssPv4_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [604] ssPv5_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [605] ssPv6_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [606] ssPv7_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [607] ssPv8_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [608] ssPv9_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_27	(+)0	(-)0
% [609] ssPv10_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [610] ssPv11_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [611] ssPv12_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [612] ssPv13_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [613] ssPv14_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [614] ssPv15_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [615] ssPv16_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [616] ssPv17_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [617] ssPv18_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [618] ssPv19_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [619] ssPv1_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [620] ssPv20_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [621] ssPv21_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [622] ssPv22_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [623] ssPv23_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [624] ssPv24_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [625] ssPv25_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [626] ssPv26_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [627] ssPv27_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [628] ssPv28_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [629] ssPv2_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [630] ssPv3_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [631] ssPv4_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [632] ssPv5_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [633] ssPv6_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [634] ssPv7_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [635] ssPv8_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% [636] ssPv9_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1_28	(+)0	(-)0
% 			------------------
% 		Total:	(+)20	(-)10
% Total number of unit clauses retained: 30
% Number of clauses skipped because of their length: 46923461
% N base clauses skippped in resolve-with-all-base-clauses
% 	because of the shortest resolvents table: 486784
% Number of successful unifications: 21433083
% Number of unification failures: 3190634
% Number of unit to unit unification failures: 10
% N literal unification failure due to lookup root_id table: 67758960
% N base clause resolution failure due to lookup table: 2546678
% N UC-BCL resolution dropped due to lookup table: 0
% Max entries in substitution set: 41
% N unit clauses dropped because they exceeded max values: 4921296
% 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: 9
% Max term depth in a unit clause: 1
% Number of states in UCFA table: 188
% Total number of terms of all unit clauses in table: 185
% Max allowed number of states in UCFA: 80000
% Ratio n states used/total allowed states: 0.00
% Ratio n states used/total unit clauses terms: 1.02
% Number of symbols (columns) in UCFA: 695
% Profile 2: Number of calls to:
% ==============================
% PTUnify() = 24623717
% ConstructUnitClause() = 4921325
% Profile 1: Time spent in:
% =========================
% ConstructUnitClause() : 6.99 secs
% --------------------------------------------------------
% |                                                      |
%   Inferences per sec: 71444
% |                                                      |
% --------------------------------------------------------
% Elapsed time: 304 secs
% CPU time: 300.00 secs
% 
%------------------------------------------------------------------------------