%------------------------------------------------------------------------------ % File : SPASS---3.9 % Problem : LCL666+1.005 : TPTP v9.3.1. Released v4.0.0. % Transfm : none % Format : tptp % Command : run_spass %d %s % Computer : n019.cluster.edu % Model : x86_64 x86_64 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz % Memory : 8046.5625MB % OS : Linux 6.8.0-71-generic % CPULimit : 300s % WCLimit : 300s % DateTime : Mon Sep 7 01:08:03 PM UTC 2026 % Result : Theorem 0.46s 0.80s % Output : Refutation 0.56s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----WARNING: Could not form TPTP format derivation %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.03 % Problem : LCL666+1.005 : TPTP v9.3.1. Released v4.0.0. % 0.00/0.04 % Command : run_spass %d %s % 0.09/0.36 % Computer : n019.cluster.edu % 0.09/0.36 % Model : x86_64 x86_64 % 0.09/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.09/0.36 % Memory : 8046.5625MB % 0.09/0.36 % OS : Linux 6.8.0-71-generic % 0.09/0.36 % CPULimit : 300 % 0.09/0.36 % WCLimit : 300 % 0.09/0.36 % DateTime : Sat Sep 5 21:37:53 UTC 2026 % 0.15/0.36 % CPUTime : % 0.46/0.80 % 0.46/0.80 SPASS V 3.9 % 0.46/0.80 SPASS beiseite: Proof found. % 0.46/0.80 % SZS status Theorem % 0.46/0.80 Problem: /export/starexec/sandbox2/benchmark/theBenchmark.p % 0.46/0.80 SPASS derived 3512 clauses, backtracked 4382 clauses, performed 124 splits and kept 5908 clauses. % 0.46/0.80 SPASS allocated 99754 KBytes. % 0.46/0.80 SPASS spent 0:00:00.42 on the problem. % 0.46/0.80 0:00:00.03 for the input. % 0.46/0.80 0:00:00.03 for the FLOTTER CNF translation. % 0.46/0.80 0:00:00.01 for inferences. % 0.46/0.80 0:00:00.01 for the backtracking. % 0.46/0.80 0:00:00.30 for the reduction. % 0.46/0.80 % 0.46/0.80 % 0.46/0.80 Here is a proof with depth 6, length 1959 : % 0.46/0.80 % SZS output start Refutation % 0.46/0.80 1[0:Inp] || -> r1(u,u)*. % 0.46/0.80 8[0:Inp] || -> r1(u,skf45(u))*. % 0.46/0.80 9[0:Inp] || -> r1(u,skf44(u))*. % 0.46/0.80 10[0:Inp] || -> r1(u,skf43(u))*. % 0.46/0.80 11[0:Inp] || -> r1(u,skf42(u))*. % 0.46/0.80 12[0:Inp] || -> r1(u,skf41(u))*. % 0.46/0.80 13[0:Inp] || -> r1(u,skf40(u))*. % 0.46/0.80 14[0:Inp] || -> r1(u,skf39(u))*. % 0.46/0.80 15[0:Inp] || -> r1(u,skf38(u))*. % 0.46/0.80 16[0:Inp] || -> r1(u,skf37(u))*. % 0.46/0.80 17[0:Inp] || -> r1(u,skf36(u))*. % 0.46/0.80 18[0:Inp] || -> r1(u,skf35(u))*. % 0.46/0.80 19[0:Inp] || -> r1(u,skf34(u))*. % 0.46/0.80 20[0:Inp] || -> r1(u,skf33(u))*. % 0.46/0.80 21[0:Inp] || -> r1(u,skf32(u))*. % 0.46/0.80 22[0:Inp] || -> r1(u,skf31(u))*. % 0.46/0.80 23[0:Inp] || -> r1(u,skf30(u))*. % 0.46/0.80 24[0:Inp] || -> r1(u,skf29(u))*. % 0.46/0.80 25[0:Inp] || -> r1(u,skf28(u))*. % 0.46/0.80 26[0:Inp] || -> r1(u,skf27(u))*. % 0.46/0.80 27[0:Inp] || -> r1(u,skf26(u))*. % 0.46/0.80 40[0:Inp] p505(u) p605(u) || r1(skc1,u)* -> . % 0.46/0.80 41[0:Inp] SkP0(u) p605(u) || r1(skc1,u)* -> . % 0.46/0.80 42[0:Inp] SkP0(u) p505(u) || r1(skc1,u)* -> . % 0.46/0.80 43[0:Inp] SkP1(u) p605(u) || r1(skc1,u)* -> . % 0.46/0.80 44[0:Inp] SkP1(u) p505(u) || r1(skc1,u)* -> . % 0.46/0.80 45[0:Inp] SkP1(u) SkP0(u) || r1(skc1,u)* -> . % 0.46/0.80 46[0:Inp] SkP2(u) p605(u) || r1(skc1,u)* -> . % 0.46/0.80 47[0:Inp] SkP2(u) p505(u) || r1(skc1,u)* -> . % 0.46/0.80 48[0:Inp] SkP2(u) SkP0(u) || r1(skc1,u)* -> . % 0.46/0.80 49[0:Inp] SkP2(u) SkP1(u) || r1(skc1,u)* -> . % 0.46/0.80 50[0:Inp] p504(u) p604(u) || r1(skc1,u)* -> . % 0.46/0.80 51[0:Inp] p404(u) p604(u) || r1(skc1,u)* -> . % 0.46/0.80 52[0:Inp] p404(u) p504(u) || r1(skc1,u)* -> . % 0.46/0.80 53[0:Inp] SkP3(u) p604(u) || r1(skc1,u)* -> . % 0.46/0.80 54[0:Inp] SkP3(u) p504(u) || r1(skc1,u)* -> . % 0.46/0.80 55[0:Inp] SkP3(u) p404(u) || r1(skc1,u)* -> . % 0.46/0.80 56[0:Inp] SkP4(u) p604(u) || r1(skc1,u)* -> . % 0.46/0.80 57[0:Inp] SkP4(u) p504(u) || r1(skc1,u)* -> . % 0.56/0.80 58[0:Inp] SkP4(u) p404(u) || r1(skc1,u)* -> . % 0.56/0.80 59[0:Inp] SkP4(u) SkP3(u) || r1(skc1,u)* -> . % 0.56/0.80 60[0:Inp] p503(u) p603(u) || r1(skc1,u)* -> . % 0.56/0.80 61[0:Inp] p403(u) p603(u) || r1(skc1,u)* -> . % 0.56/0.80 62[0:Inp] p403(u) p503(u) || r1(skc1,u)* -> . % 0.56/0.80 63[0:Inp] p303(u) p603(u) || r1(skc1,u)* -> . % 0.56/0.80 64[0:Inp] p303(u) p503(u) || r1(skc1,u)* -> . % 0.56/0.80 65[0:Inp] p303(u) p403(u) || r1(skc1,u)* -> . % 0.56/0.80 66[0:Inp] SkP5(u) p603(u) || r1(skc1,u)* -> . % 0.56/0.80 67[0:Inp] SkP5(u) p503(u) || r1(skc1,u)* -> . % 0.56/0.80 68[0:Inp] SkP5(u) p403(u) || r1(skc1,u)* -> . % 0.56/0.80 69[0:Inp] SkP5(u) p303(u) || r1(skc1,u)* -> . % 0.56/0.80 70[0:Inp] p502(u) p602(u) || r1(skc1,u)* -> . % 0.56/0.80 71[0:Inp] p402(u) p602(u) || r1(skc1,u)* -> . % 0.56/0.80 72[0:Inp] p402(u) p502(u) || r1(skc1,u)* -> . % 0.56/0.80 73[0:Inp] p302(u) p602(u) || r1(skc1,u)* -> . % 0.56/0.80 74[0:Inp] p302(u) p502(u) || r1(skc1,u)* -> . % 0.56/0.80 75[0:Inp] p302(u) p402(u) || r1(skc1,u)* -> . % 0.56/0.80 76[0:Inp] p202(u) p602(u) || r1(skc1,u)* -> . % 0.56/0.80 77[0:Inp] p202(u) p502(u) || r1(skc1,u)* -> . % 0.56/0.80 78[0:Inp] p202(u) p402(u) || r1(skc1,u)* -> . % 0.56/0.80 79[0:Inp] p202(u) p302(u) || r1(skc1,u)* -> . % 0.56/0.80 80[0:Inp] p501(u) p601(u) || r1(skc1,u)* -> . % 0.56/0.80 81[0:Inp] p401(u) p601(u) || r1(skc1,u)* -> . % 0.56/0.80 82[0:Inp] p401(u) p501(u) || r1(skc1,u)* -> . % 0.56/0.80 83[0:Inp] p301(u) p601(u) || r1(skc1,u)* -> . % 0.56/0.80 84[0:Inp] p301(u) p501(u) || r1(skc1,u)* -> . % 0.56/0.80 85[0:Inp] p301(u) p401(u) || r1(skc1,u)* -> . % 0.56/0.80 86[0:Inp] p201(u) p601(u) || r1(skc1,u)* -> . % 0.56/0.80 87[0:Inp] p201(u) p501(u) || r1(skc1,u)* -> . % 0.56/0.80 88[0:Inp] p201(u) p401(u) || r1(skc1,u)* -> . % 0.56/0.80 89[0:Inp] p201(u) p301(u) || r1(skc1,u)* -> . % 0.56/0.80 90[0:Inp] p101(u) p601(u) || r1(skc1,u)* -> . % 0.56/0.80 91[0:Inp] p101(u) p501(u) || r1(skc1,u)* -> . % 0.56/0.80 92[0:Inp] p101(u) p401(u) || r1(skc1,u)* -> . % 0.56/0.80 93[0:Inp] p101(u) p301(u) || r1(skc1,u)* -> . % 0.56/0.80 94[0:Inp] p101(u) p201(u) || r1(skc1,u)* -> . % 0.56/0.80 95[0:Inp] || -> p601(skc1) p602(skc1) p603(skc1) p604(skc1) p605(skc1)*. % 0.56/0.80 96[0:Inp] || -> p501(skc1) p502(skc1) p503(skc1) p504(skc1) p505(skc1)*. % 0.56/0.80 97[0:Inp] || -> p401(skc1) p402(skc1) p403(skc1) p404(skc1) SkP0(skc1)*. % 0.56/0.80 98[0:Inp] || -> p301(skc1) p302(skc1) p303(skc1) SkP3(skc1)* SkP1(skc1). % 0.56/0.80 99[0:Inp] || -> p201(skc1) p202(skc1) SkP5(skc1)* SkP4(skc1) SkP2(skc1). % 0.56/0.80 100[0:Inp] p605(u) || p105(skf26(u))* r1(skc1,u) -> . % 0.56/0.80 101[0:Inp] p505(u) || p105(skf27(u))* r1(skc1,u) -> . % 0.56/0.80 102[0:Inp] SkP0(u) || p105(skf28(u))* r1(skc1,u) -> . % 0.56/0.80 103[0:Inp] SkP1(u) || p105(skf29(u))* r1(skc1,u) -> . % 0.56/0.80 104[0:Inp] SkP2(u) || p105(skf30(u))* r1(skc1,u) -> . % 0.56/0.80 105[0:Inp] p604(u) || p104(skf31(u))* r1(skc1,u) -> . % 0.56/0.80 106[0:Inp] p504(u) || p104(skf32(u))* r1(skc1,u) -> . % 0.56/0.80 107[0:Inp] p404(u) || p104(skf33(u))* r1(skc1,u) -> . % 0.56/0.80 108[0:Inp] SkP3(u) || p104(skf34(u))* r1(skc1,u) -> . % 0.56/0.80 109[0:Inp] SkP4(u) || p104(skf35(u))* r1(skc1,u) -> . % 0.56/0.80 110[0:Inp] p603(u) || p103(skf36(u))* r1(skc1,u) -> . % 0.56/0.80 111[0:Inp] p503(u) || p103(skf37(u))* r1(skc1,u) -> . % 0.56/0.80 112[0:Inp] p403(u) || p103(skf38(u))* r1(skc1,u) -> . % 0.56/0.80 113[0:Inp] p303(u) || p103(skf39(u))* r1(skc1,u) -> . % 0.56/0.80 114[0:Inp] SkP5(u) || p103(skf40(u))* r1(skc1,u) -> . % 0.56/0.80 115[0:Inp] p602(u) || p102(skf41(u))* r1(skc1,u) -> . % 0.56/0.80 116[0:Inp] p502(u) || p102(skf42(u))* r1(skc1,u) -> . % 0.56/0.80 117[0:Inp] p402(u) || p102(skf43(u))* r1(skc1,u) -> . % 0.56/0.80 118[0:Inp] p302(u) || p102(skf44(u))* r1(skc1,u) -> . % 0.56/0.80 119[0:Inp] p202(u) || p102(skf45(u))* r1(skc1,u) -> . % 0.56/0.80 120[0:Inp] || r1(skc1,u)*+ r1(skc1,v)* r1(skc1,w)* r1(skc1,x)* -> p102(u) p103(v) p104(w) p105(x) p101(skc1). % 0.56/0.80 163[1:Spt:120.3,120.7] || r1(skc1,u)* -> p105(u). % 0.56/0.80 164[1:Res:1.0,163.0] || -> p105(skc1)*. % 0.56/0.80 165[1:Res:27.0,163.0] || -> p105(skf26(skc1))*. % 0.56/0.80 166[1:Res:26.0,163.0] || -> p105(skf27(skc1))*. % 0.56/0.80 167[1:Res:25.0,163.0] || -> p105(skf28(skc1))*. % 0.56/0.80 168[1:Res:24.0,163.0] || -> p105(skf29(skc1))*. % 0.56/0.80 169[1:Res:23.0,163.0] || -> p105(skf30(skc1))*. % 0.56/0.80 360[0:Res:1.0,94.2] p101(skc1) p201(skc1) || -> . % 0.56/0.80 387[0:Res:1.0,93.2] p101(skc1) p301(skc1) || -> . % 0.56/0.80 414[0:Res:1.0,92.2] p101(skc1) p401(skc1) || -> . % 0.56/0.80 441[0:Res:1.0,91.2] p101(skc1) p501(skc1) || -> . % 0.56/0.80 468[0:Res:1.0,90.2] p101(skc1) p601(skc1) || -> . % 0.56/0.80 496[0:Res:1.0,89.2] p201(skc1) p301(skc1) || -> . % 0.56/0.80 523[0:Res:1.0,88.2] p201(skc1) p401(skc1) || -> . % 0.56/0.80 550[0:Res:1.0,87.2] p201(skc1) p501(skc1) || -> . % 0.56/0.80 577[0:Res:1.0,86.2] p201(skc1) p601(skc1) || -> . % 0.56/0.80 604[0:Res:1.0,85.2] p301(skc1) p401(skc1) || -> . % 0.56/0.80 631[0:Res:1.0,84.2] p301(skc1) p501(skc1) || -> . % 0.56/0.80 658[0:Res:1.0,83.2] p301(skc1) p601(skc1) || -> . % 0.56/0.80 685[0:Res:1.0,82.2] p401(skc1) p501(skc1) || -> . % 0.56/0.80 712[0:Res:1.0,81.2] p401(skc1) p601(skc1) || -> . % 0.56/0.80 740[0:Res:1.0,80.2] p501(skc1) p601(skc1) || -> . % 0.56/0.80 767[0:Res:1.0,79.2] p202(skc1) p302(skc1) || -> . % 0.56/0.80 794[0:Res:1.0,78.2] p202(skc1) p402(skc1) || -> . % 0.56/0.80 821[0:Res:1.0,77.2] p202(skc1) p502(skc1) || -> . % 0.56/0.80 848[0:Res:1.0,76.2] p202(skc1) p602(skc1) || -> . % 0.56/0.80 875[0:Res:1.0,75.2] p302(skc1) p402(skc1) || -> . % 0.56/0.80 902[0:Res:1.0,74.2] p302(skc1) p502(skc1) || -> . % 0.56/0.80 929[0:Res:1.0,73.2] p302(skc1) p602(skc1) || -> . % 0.56/0.80 956[0:Res:1.0,72.2] p402(skc1) p502(skc1) || -> . % 0.56/0.80 984[0:Res:1.0,71.2] p402(skc1) p602(skc1) || -> . % 0.56/0.80 1011[0:Res:1.0,70.2] p502(skc1) p602(skc1) || -> . % 0.56/0.80 1038[0:Res:1.0,65.2] p303(skc1) p403(skc1) || -> . % 0.56/0.80 1065[0:Res:1.0,64.2] p303(skc1) p503(skc1) || -> . % 0.56/0.80 1092[0:Res:1.0,63.2] p303(skc1) p603(skc1) || -> . % 0.56/0.80 1119[0:Res:1.0,62.2] p403(skc1) p503(skc1) || -> . % 0.56/0.80 1146[0:Res:1.0,61.2] p403(skc1) p603(skc1) || -> . % 0.56/0.80 1173[0:Res:1.0,60.2] p503(skc1) p603(skc1) || -> . % 0.56/0.80 1201[0:Res:1.0,52.2] p404(skc1) p504(skc1) || -> . % 0.56/0.80 1228[0:Res:1.0,51.2] p404(skc1) p604(skc1) || -> . % 0.56/0.80 1255[0:Res:1.0,50.2] p504(skc1) p604(skc1) || -> . % 0.56/0.80 1282[0:Res:1.0,40.2] p505(skc1) p605(skc1) || -> . % 0.56/0.80 1309[0:SoR:1282.0,1282.1,96.4,95.4] || -> p501(skc1) p502(skc1) p503(skc1) p504(skc1) p604(skc1)* p603(skc1) p602(skc1) p601(skc1). % 0.56/0.80 1310[0:Res:1.0,69.2] SkP5(skc1) p303(skc1) || -> . % 0.56/0.80 1337[0:Res:1.0,68.2] SkP5(skc1) p403(skc1) || -> . % 0.56/0.80 1364[0:Res:1.0,67.2] SkP5(skc1) p503(skc1) || -> . % 0.56/0.80 1391[0:Res:1.0,66.2] SkP5(skc1) p603(skc1) || -> . % 0.56/0.80 1418[0:Res:1.0,58.2] SkP4(skc1) p404(skc1) || -> . % 0.56/0.80 1446[0:Res:1.0,57.2] SkP4(skc1) p504(skc1) || -> . % 0.56/0.80 1473[0:Res:1.0,56.2] SkP4(skc1) p604(skc1) || -> . % 0.56/0.80 1500[0:Res:1.0,55.2] SkP3(skc1) p404(skc1) || -> . % 0.56/0.80 1527[0:Res:1.0,54.2] SkP3(skc1) p504(skc1) || -> . % 0.56/0.80 1554[0:Res:1.0,53.2] SkP3(skc1) p604(skc1) || -> . % 0.56/0.80 1581[0:Res:1.0,47.2] SkP2(skc1) p505(skc1) || -> . % 0.56/0.80 1608[0:Res:1.0,46.2] SkP2(skc1) p605(skc1) || -> . % 0.56/0.80 1635[0:Res:1.0,44.2] SkP1(skc1) p505(skc1) || -> . % 0.56/0.80 1662[0:Res:1.0,43.2] SkP1(skc1) p605(skc1) || -> . % 0.56/0.80 1689[0:Res:1.0,42.2] SkP0(skc1) p505(skc1) || -> . % 0.56/0.80 1716[0:SoR:1689.0,1689.1,97.4,96.4] || -> p401(skc1) p402(skc1) p403(skc1) p404(skc1) p504(skc1)* p503(skc1) p502(skc1) p501(skc1). % 0.56/0.80 1717[0:Res:1.0,41.2] SkP0(skc1) p605(skc1) || -> . % 0.56/0.80 1744[0:SoR:1717.0,1717.1,97.4,95.4] || -> p401(skc1) p402(skc1) p403(skc1) p404(skc1) p604(skc1)* p603(skc1) p602(skc1) p601(skc1). % 0.56/0.80 1745[0:Res:1.0,59.2] SkP4(skc1) SkP3(skc1) || -> . % 0.56/0.80 1772[0:Res:1.0,49.2] SkP2(skc1) SkP1(skc1) || -> . % 0.56/0.80 1799[0:Res:1.0,48.2] SkP2(skc1) SkP0(skc1) || -> . % 0.56/0.80 1826[0:Res:1.0,45.2] SkP1(skc1) SkP0(skc1) || -> . % 0.56/0.80 1853[1:Res:166.0,101.1] p505(skc1) || r1(skc1,skc1)* -> . % 0.56/0.80 1854[1:MRR:1853.1,1.0] p505(skc1) || -> . % 0.56/0.80 1855[1:MRR:96.4,1854.0] || -> p501(skc1) p502(skc1) p503(skc1) p504(skc1)*. % 0.56/0.80 1856[2:Spt:1855.0] || -> p501(skc1)*. % 0.56/0.80 1858[2:MRR:550.1,1856.0] p201(skc1) || -> . % 0.56/0.80 1859[2:MRR:631.1,1856.0] p301(skc1) || -> . % 0.56/0.80 1860[2:MRR:685.1,1856.0] p401(skc1) || -> . % 0.56/0.80 1861[2:MRR:740.0,1856.0] p601(skc1) || -> . % 0.56/0.80 1862[2:MRR:99.0,1858.0] || -> p202(skc1) SkP5(skc1)* SkP4(skc1) SkP2(skc1). % 0.56/0.80 1863[2:MRR:98.0,1859.0] || -> p302(skc1) p303(skc1) SkP3(skc1)* SkP1(skc1). % 0.56/0.80 1864[2:MRR:97.0,1860.0] || -> p402(skc1) p403(skc1) p404(skc1) SkP0(skc1)*. % 0.56/0.80 1865[2:MRR:1744.0,1860.0] || -> p402(skc1) p403(skc1) p404(skc1) p604(skc1)* p603(skc1) p602(skc1) p601(skc1). % 0.56/0.80 1866[2:MRR:95.0,1861.0] || -> p602(skc1) p603(skc1) p604(skc1) p605(skc1)*. % 0.56/0.80 1867[2:MRR:1865.6,1861.0] || -> p402(skc1) p403(skc1) p404(skc1) p604(skc1)* p603(skc1) p602(skc1). % 0.56/0.80 1868[3:Spt:1862.0] || -> p202(skc1)*. % 0.56/0.80 1869[3:MRR:767.0,1868.0] p302(skc1) || -> . % 0.56/0.80 1870[3:MRR:794.0,1868.0] p402(skc1) || -> . % 0.56/0.80 1872[3:MRR:848.0,1868.0] p602(skc1) || -> . % 0.56/0.80 1873[3:MRR:1863.0,1869.0] || -> p303(skc1) SkP3(skc1)* SkP1(skc1). % 0.56/0.80 1874[3:MRR:1864.0,1870.0] || -> p403(skc1) p404(skc1) SkP0(skc1)*. % 0.56/0.80 1875[3:MRR:1867.0,1870.0] || -> p403(skc1) p404(skc1) p604(skc1)* p603(skc1) p602(skc1). % 0.56/0.80 1876[3:MRR:1866.0,1872.0] || -> p603(skc1) p604(skc1) p605(skc1)*. % 0.56/0.80 1877[3:MRR:1875.4,1872.0] || -> p403(skc1) p404(skc1) p604(skc1)* p603(skc1). % 0.56/0.80 1878[4:Spt:1873.0] || -> p303(skc1)*. % 0.56/0.80 1879[4:MRR:1038.0,1878.0] p403(skc1) || -> . % 0.56/0.80 1881[4:MRR:1092.0,1878.0] p603(skc1) || -> . % 0.56/0.80 1883[4:MRR:1874.0,1879.0] || -> p404(skc1) SkP0(skc1)*. % 0.56/0.80 1884[4:MRR:1877.0,1879.0] || -> p404(skc1) p604(skc1)* p603(skc1). % 0.56/0.80 1885[4:MRR:1876.0,1881.0] || -> p604(skc1) p605(skc1)*. % 0.56/0.80 1886[4:MRR:1884.2,1881.0] || -> p404(skc1) p604(skc1)*. % 0.56/0.80 1887[5:Spt:1883.0] || -> p404(skc1)*. % 0.56/0.80 1889[5:MRR:1228.0,1887.0] p604(skc1) || -> . % 0.56/0.80 1892[5:MRR:1885.0,1889.0] || -> p605(skc1)*. % 0.56/0.80 1896[1:Res:165.0,100.1] p605(skc1) || r1(skc1,skc1)* -> . % 0.56/0.80 1897[5:SSi:1896.0,164.0,1856.0,1868.0,1878.0,1887.0,1892.0] || r1(skc1,skc1)* -> . % 0.56/0.80 1898[5:MRR:1897.0,1.0] || -> . % 0.56/0.80 1899[5:Spt:1898.0,1883.0,1887.0] || p404(skc1)* -> . % 0.56/0.80 1900[5:Spt:1898.0,1883.1] || -> SkP0(skc1)*. % 0.56/0.80 1901[5:MRR:1886.0,1899.0] || -> p604(skc1)*. % 0.56/0.80 1909[1:Res:169.0,104.1] SkP2(skc1) || r1(skc1,skc1)* -> . % 0.56/0.80 1910[1:Res:168.0,103.1] SkP1(skc1) || r1(skc1,skc1)* -> . % 0.56/0.80 1911[1:Res:167.0,102.1] SkP0(skc1) || r1(skc1,skc1)* -> . % 0.56/0.80 1912[5:SSi:1911.0,164.0,1856.0,1868.0,1878.0,1900.0,1901.0] || r1(skc1,skc1)* -> . % 0.56/0.80 1913[5:MRR:1912.0,1.0] || -> . % 0.56/0.80 1914[4:Spt:1913.0,1873.0,1878.0] || p303(skc1)* -> . % 0.56/0.80 1915[4:Spt:1913.0,1873.1,1873.2] || -> SkP3(skc1)* SkP1(skc1). % 0.56/0.80 1916[1:MRR:1896.1,1.0] p605(skc1) || -> . % 0.56/0.80 1917[3:MRR:1876.2,1916.0] || -> p603(skc1) p604(skc1)*. % 0.56/0.80 1918[1:MRR:1909.1,1.0] SkP2(skc1) || -> . % 0.56/0.80 1919[1:MRR:1910.1,1.0] SkP1(skc1) || -> . % 0.56/0.80 1920[4:MRR:1915.1,1919.0] || -> SkP3(skc1)*. % 0.56/0.80 1921[4:MRR:1500.0,1920.0] p404(skc1) || -> . % 0.56/0.80 1923[4:MRR:1554.0,1920.0] p604(skc1) || -> . % 0.56/0.80 1925[4:MRR:1874.1,1921.0] || -> p403(skc1) SkP0(skc1)*. % 0.56/0.80 1926[4:MRR:1917.1,1923.0] || -> p603(skc1)*. % 0.56/0.80 1928[4:MRR:1146.1,1926.0] p403(skc1) || -> . % 0.56/0.80 1931[4:MRR:1925.0,1928.0] || -> SkP0(skc1)*. % 0.56/0.80 1932[1:MRR:1911.1,1.0] SkP0(skc1) || -> . % 0.56/0.80 1933[4:MRR:1932.0,1931.0] || -> . % 0.56/0.80 1934[3:Spt:1933.0,1862.0,1868.0] || p202(skc1)* -> . % 0.56/0.80 1935[3:Spt:1933.0,1862.1,1862.2,1862.3] || -> SkP5(skc1)* SkP4(skc1) SkP2(skc1). % 0.56/0.80 1936[3:MRR:1935.2,1918.0] || -> SkP5(skc1)* SkP4(skc1). % 0.56/0.80 1937[2:MRR:1863.3,1919.0] || -> p302(skc1) p303(skc1) SkP3(skc1)*. % 0.56/0.80 1938[2:MRR:1864.3,1932.0] || -> p402(skc1) p403(skc1) p404(skc1)*. % 0.56/0.80 1939[2:MRR:1866.3,1916.0] || -> p602(skc1) p603(skc1) p604(skc1)*. % 0.56/0.80 1940[4:Spt:1936.0] || -> SkP5(skc1)*. % 0.56/0.80 1941[4:MRR:1391.0,1940.0] p603(skc1) || -> . % 0.56/0.80 1942[4:MRR:1310.0,1940.0] p303(skc1) || -> . % 0.56/0.80 1943[4:MRR:1337.0,1940.0] p403(skc1) || -> . % 0.56/0.80 1945[4:MRR:1939.1,1941.0] || -> p602(skc1) p604(skc1)*. % 0.56/0.80 1946[4:MRR:1937.1,1942.0] || -> p302(skc1) SkP3(skc1)*. % 0.56/0.80 1947[4:MRR:1938.1,1943.0] || -> p402(skc1) p404(skc1)*. % 0.56/0.80 1948[5:Spt:1945.0] || -> p602(skc1)*. % 0.56/0.80 1950[5:MRR:929.1,1948.0] p302(skc1) || -> . % 0.56/0.80 1951[5:MRR:984.1,1948.0] p402(skc1) || -> . % 0.56/0.80 1953[5:MRR:1946.0,1950.0] || -> SkP3(skc1)*. % 0.56/0.80 1957[5:MRR:1500.0,1953.0] p404(skc1) || -> . % 0.56/0.80 1958[5:MRR:1947.0,1951.0] || -> p404(skc1)*. % 0.56/0.80 1962[5:MRR:1957.0,1958.0] || -> . % 0.56/0.80 1963[5:Spt:1962.0,1945.0,1948.0] || p602(skc1)* -> . % 0.56/0.80 1964[5:Spt:1962.0,1945.1] || -> p604(skc1)*. % 0.56/0.80 1965[5:MRR:1554.1,1964.0] SkP3(skc1) || -> . % 0.56/0.80 1966[5:MRR:1946.1,1965.0] || -> p302(skc1)*. % 0.56/0.80 1969[5:MRR:875.0,1966.0] p402(skc1) || -> . % 0.56/0.80 1971[5:MRR:1947.0,1969.0] || -> p404(skc1)*. % 0.56/0.80 1974[5:MRR:1228.0,1228.1,1971.0,1964.0] || -> . % 0.56/0.80 1975[4:Spt:1974.0,1936.0,1940.0] || SkP5(skc1)* -> . % 0.56/0.80 1976[4:Spt:1974.0,1936.1] || -> SkP4(skc1)*. % 0.56/0.80 1977[4:MRR:1745.0,1976.0] SkP3(skc1) || -> . % 0.56/0.80 1978[4:MRR:1418.0,1976.0] p404(skc1) || -> . % 0.56/0.80 1980[4:MRR:1473.0,1976.0] p604(skc1) || -> . % 0.56/0.80 1981[4:MRR:1939.2,1980.0] || -> p602(skc1) p603(skc1)*. % 0.56/0.80 1982[4:MRR:1937.2,1977.0] || -> p302(skc1) p303(skc1)*. % 0.56/0.80 1983[4:MRR:1938.2,1978.0] || -> p402(skc1) p403(skc1)*. % 0.56/0.80 1984[5:Spt:1981.0] || -> p602(skc1)*. % 0.56/0.80 1985[5:MRR:929.1,1984.0] p302(skc1) || -> . % 0.56/0.80 1987[5:MRR:984.1,1984.0] p402(skc1) || -> . % 0.56/0.80 1989[5:MRR:1982.0,1985.0] || -> p303(skc1)*. % 0.56/0.80 1993[5:MRR:1038.0,1989.0] p403(skc1) || -> . % 0.56/0.80 1994[5:MRR:1983.0,1987.0] || -> p403(skc1)*. % 0.56/0.80 1998[5:MRR:1993.0,1994.0] || -> . % 0.56/0.80 1999[5:Spt:1998.0,1981.0,1984.0] || p602(skc1)* -> . % 0.56/0.80 2000[5:Spt:1998.0,1981.1] || -> p603(skc1)*. % 0.56/0.80 2001[5:MRR:1092.1,2000.0] p303(skc1) || -> . % 0.56/0.80 2002[5:MRR:1982.1,2001.0] || -> p302(skc1)*. % 0.56/0.80 2005[5:MRR:875.0,2002.0] p402(skc1) || -> . % 0.56/0.80 2007[5:MRR:1983.0,2005.0] || -> p403(skc1)*. % 0.56/0.80 2009[5:MRR:1146.0,1146.1,2007.0,2000.0] || -> . % 0.56/0.80 2011[2:Spt:2009.0,1855.0,1856.0] || p501(skc1)* -> . % 0.56/0.80 2012[2:Spt:2009.0,1855.1,1855.2,1855.3] || -> p502(skc1) p503(skc1) p504(skc1)*. % 0.56/0.80 2013[1:MRR:99.4,1918.0] || -> p201(skc1) p202(skc1) SkP5(skc1)* SkP4(skc1). % 0.56/0.80 2014[1:MRR:98.4,1919.0] || -> p301(skc1) p302(skc1) p303(skc1) SkP3(skc1)*. % 0.56/0.80 2015[1:MRR:97.4,1932.0] || -> p401(skc1) p402(skc1) p403(skc1) p404(skc1)*. % 0.56/0.80 2016[1:MRR:95.4,1916.0] || -> p601(skc1) p602(skc1) p603(skc1) p604(skc1)*. % 0.56/0.80 2017[3:Spt:2012.0] || -> p502(skc1)*. % 0.56/0.80 2018[3:MRR:902.1,2017.0] p302(skc1) || -> . % 0.56/0.80 2019[3:MRR:1011.0,2017.0] p602(skc1) || -> . % 0.56/0.80 2020[3:MRR:821.1,2017.0] p202(skc1) || -> . % 0.56/0.80 2021[3:MRR:956.1,2017.0] p402(skc1) || -> . % 0.56/0.80 2022[3:MRR:2014.1,2018.0] || -> p301(skc1) p303(skc1) SkP3(skc1)*. % 0.56/0.80 2023[3:MRR:2016.1,2019.0] || -> p601(skc1) p603(skc1) p604(skc1)*. % 0.56/0.80 2024[3:MRR:2013.1,2020.0] || -> p201(skc1) SkP5(skc1)* SkP4(skc1). % 0.56/0.80 2025[3:MRR:2015.1,2021.0] || -> p401(skc1) p403(skc1) p404(skc1)*. % 0.56/0.80 2026[4:Spt:2022.0] || -> p301(skc1)*. % 0.56/0.80 2029[4:MRR:496.1,2026.0] p201(skc1) || -> . % 0.56/0.80 2030[4:MRR:604.0,2026.0] p401(skc1) || -> . % 0.56/0.80 2031[4:MRR:658.0,2026.0] p601(skc1) || -> . % 0.56/0.80 2032[4:MRR:2024.0,2029.0] || -> SkP5(skc1)* SkP4(skc1). % 0.56/0.80 2033[4:MRR:2025.0,2030.0] || -> p403(skc1) p404(skc1)*. % 0.56/0.80 2034[4:MRR:2023.0,2031.0] || -> p603(skc1) p604(skc1)*. % 0.56/0.80 2035[5:Spt:2032.0] || -> SkP5(skc1)*. % 0.56/0.80 2037[5:MRR:1337.0,2035.0] p403(skc1) || -> . % 0.56/0.80 2039[5:MRR:1391.0,2035.0] p603(skc1) || -> . % 0.56/0.80 2040[5:MRR:2033.0,2037.0] || -> p404(skc1)*. % 0.56/0.80 2044[5:MRR:1228.0,2040.0] p604(skc1) || -> . % 0.56/0.80 2045[5:MRR:2034.0,2039.0] || -> p604(skc1)*. % 0.56/0.80 2049[5:MRR:2044.0,2045.0] || -> . % 0.56/0.80 2050[5:Spt:2049.0,2032.0,2035.0] || SkP5(skc1)* -> . % 0.56/0.80 2051[5:Spt:2049.0,2032.1] || -> SkP4(skc1)*. % 0.56/0.80 2052[5:MRR:1418.0,2051.0] p404(skc1) || -> . % 0.56/0.80 2053[5:MRR:2033.1,2052.0] || -> p403(skc1)*. % 0.56/0.80 2057[5:MRR:1146.0,2053.0] p603(skc1) || -> . % 0.56/0.80 2058[5:MRR:2034.0,2057.0] || -> p604(skc1)*. % 0.56/0.80 2060[5:MRR:1473.0,1473.1,2051.0,2058.0] || -> . % 0.56/0.80 2062[4:Spt:2060.0,2022.0,2026.0] || p301(skc1)* -> . % 0.56/0.80 2063[4:Spt:2060.0,2022.1,2022.2] || -> p303(skc1) SkP3(skc1)*. % 0.56/0.80 2064[5:Spt:2063.0] || -> p303(skc1)*. % 0.56/0.80 2065[5:MRR:1038.0,2064.0] p403(skc1) || -> . % 0.56/0.80 2066[5:MRR:1310.1,2064.0] SkP5(skc1) || -> . % 0.56/0.80 2067[5:MRR:1092.0,2064.0] p603(skc1) || -> . % 0.56/0.80 2069[5:MRR:2025.1,2065.0] || -> p401(skc1) p404(skc1)*. % 0.56/0.80 2070[5:MRR:2024.1,2066.0] || -> p201(skc1) SkP4(skc1)*. % 0.56/0.80 2071[5:MRR:2023.1,2067.0] || -> p601(skc1) p604(skc1)*. % 0.56/0.80 2072[6:Spt:2069.0] || -> p401(skc1)*. % 0.56/0.80 2076[6:MRR:523.1,2072.0] p201(skc1) || -> . % 0.56/0.80 2077[6:MRR:712.0,2072.0] p601(skc1) || -> . % 0.56/0.80 2078[6:MRR:2070.0,2076.0] || -> SkP4(skc1)*. % 0.56/0.80 2080[6:MRR:1473.0,2078.0] p604(skc1) || -> . % 0.56/0.80 2083[6:MRR:2071.0,2077.0] || -> p604(skc1)*. % 0.56/0.80 2087[6:MRR:2080.0,2083.0] || -> . % 0.56/0.80 2088[6:Spt:2087.0,2069.0,2072.0] || p401(skc1)* -> . % 0.56/0.80 2089[6:Spt:2087.0,2069.1] || -> p404(skc1)*. % 0.56/0.80 2090[6:MRR:1418.1,2089.0] SkP4(skc1) || -> . % 0.56/0.80 2091[6:MRR:2070.1,2090.0] || -> p201(skc1)*. % 0.56/0.80 2096[6:MRR:577.0,2091.0] p601(skc1) || -> . % 0.56/0.80 2097[6:MRR:2071.0,2096.0] || -> p604(skc1)*. % 0.56/0.80 2100[6:MRR:1228.0,1228.1,2089.0,2097.0] || -> . % 0.56/0.80 2101[5:Spt:2100.0,2063.0,2064.0] || p303(skc1)* -> . % 0.56/0.80 2102[5:Spt:2100.0,2063.1] || -> SkP3(skc1)*. % 0.56/0.80 2103[5:MRR:1745.1,2102.0] SkP4(skc1) || -> . % 0.56/0.80 2104[5:MRR:1554.0,2102.0] p604(skc1) || -> . % 0.56/0.80 2105[5:MRR:1500.0,2102.0] p404(skc1) || -> . % 0.56/0.80 2107[5:MRR:2025.2,2105.0] || -> p401(skc1) p403(skc1)*. % 0.56/0.80 2108[5:MRR:2024.2,2103.0] || -> p201(skc1) SkP5(skc1)*. % 0.56/0.80 2109[5:MRR:2023.2,2104.0] || -> p601(skc1) p603(skc1)*. % 0.56/0.80 2110[6:Spt:2107.0] || -> p401(skc1)*. % 0.56/0.80 2111[6:MRR:523.1,2110.0] p201(skc1) || -> . % 0.56/0.80 2112[6:MRR:712.0,2110.0] p601(skc1) || -> . % 0.56/0.80 2116[6:MRR:2108.0,2111.0] || -> SkP5(skc1)*. % 0.56/0.80 2119[6:MRR:1391.0,2116.0] p603(skc1) || -> . % 0.56/0.80 2121[6:MRR:2109.0,2112.0] || -> p603(skc1)*. % 0.56/0.80 2125[6:MRR:2119.0,2121.0] || -> . % 0.56/0.80 2126[6:Spt:2125.0,2107.0,2110.0] || p401(skc1)* -> . % 0.56/0.80 2127[6:Spt:2125.0,2107.1] || -> p403(skc1)*. % 0.56/0.80 2128[6:MRR:1337.1,2127.0] SkP5(skc1) || -> . % 0.56/0.80 2129[6:MRR:2108.1,2128.0] || -> p201(skc1)*. % 0.56/0.80 2131[6:MRR:577.0,2129.0] p601(skc1) || -> . % 0.56/0.80 2135[6:MRR:2109.0,2131.0] || -> p603(skc1)*. % 0.56/0.80 2137[6:MRR:1146.0,1146.1,2127.0,2135.0] || -> . % 0.56/0.80 2139[3:Spt:2137.0,2012.0,2017.0] || p502(skc1)* -> . % 0.56/0.80 2140[3:Spt:2137.0,2012.1,2012.2] || -> p503(skc1) p504(skc1)*. % 0.56/0.80 2141[4:Spt:2140.0] || -> p503(skc1)*. % 0.56/0.80 2142[4:MRR:1364.1,2141.0] SkP5(skc1) || -> . % 0.56/0.80 2143[4:MRR:1173.0,2141.0] p603(skc1) || -> . % 0.56/0.80 2144[4:MRR:1065.1,2141.0] p303(skc1) || -> . % 0.56/0.80 2145[4:MRR:1119.1,2141.0] p403(skc1) || -> . % 0.56/0.80 2146[4:MRR:2013.2,2142.0] || -> p201(skc1) p202(skc1) SkP4(skc1)*. % 0.56/0.80 2147[4:MRR:2016.2,2143.0] || -> p601(skc1) p602(skc1) p604(skc1)*. % 0.56/0.80 2148[4:MRR:2014.2,2144.0] || -> p301(skc1) p302(skc1) SkP3(skc1)*. % 0.56/0.80 2149[4:MRR:2015.2,2145.0] || -> p401(skc1) p402(skc1) p404(skc1)*. % 0.56/0.80 2150[5:Spt:2146.0] || -> p201(skc1)*. % 0.56/0.80 2151[5:MRR:496.0,2150.0] p301(skc1) || -> . % 0.56/0.80 2154[5:MRR:577.0,2150.0] p601(skc1) || -> . % 0.56/0.80 2155[5:MRR:523.0,2150.0] p401(skc1) || -> . % 0.56/0.80 2156[5:MRR:2148.0,2151.0] || -> p302(skc1) SkP3(skc1)*. % 0.56/0.80 2157[5:MRR:2147.0,2154.0] || -> p602(skc1) p604(skc1)*. % 0.56/0.80 2158[5:MRR:2149.0,2155.0] || -> p402(skc1) p404(skc1)*. % 0.56/0.80 2159[6:Spt:2156.0] || -> p302(skc1)*. % 0.56/0.80 2162[6:MRR:875.0,2159.0] p402(skc1) || -> . % 0.56/0.80 2163[6:MRR:929.0,2159.0] p602(skc1) || -> . % 0.56/0.80 2164[6:MRR:2158.0,2162.0] || -> p404(skc1)*. % 0.56/0.80 2166[6:MRR:1228.0,2164.0] p604(skc1) || -> . % 0.56/0.80 2169[6:MRR:2157.0,2163.0] || -> p604(skc1)*. % 0.56/0.80 2173[6:MRR:2166.0,2169.0] || -> . % 0.56/0.80 2174[6:Spt:2173.0,2156.0,2159.0] || p302(skc1)* -> . % 0.56/0.80 2175[6:Spt:2173.0,2156.1] || -> SkP3(skc1)*. % 0.56/0.80 2176[6:MRR:1500.0,2175.0] p404(skc1) || -> . % 0.56/0.80 2177[6:MRR:2158.1,2176.0] || -> p402(skc1)*. % 0.56/0.80 2181[6:MRR:984.0,2177.0] p602(skc1) || -> . % 0.56/0.80 2182[6:MRR:2157.0,2181.0] || -> p604(skc1)*. % 0.56/0.80 2184[6:MRR:1554.0,1554.1,2175.0,2182.0] || -> . % 0.56/0.80 2186[5:Spt:2184.0,2146.0,2150.0] || p201(skc1)* -> . % 0.56/0.80 2187[5:Spt:2184.0,2146.1,2146.2] || -> p202(skc1) SkP4(skc1)*. % 0.56/0.80 2188[6:Spt:2187.0] || -> p202(skc1)*. % 0.56/0.80 2189[6:MRR:794.0,2188.0] p402(skc1) || -> . % 0.56/0.80 2190[6:MRR:767.0,2188.0] p302(skc1) || -> . % 0.56/0.80 2192[6:MRR:848.0,2188.0] p602(skc1) || -> . % 0.56/0.80 2193[6:MRR:2149.1,2189.0] || -> p401(skc1) p404(skc1)*. % 0.56/0.80 2194[6:MRR:2148.1,2190.0] || -> p301(skc1) SkP3(skc1)*. % 0.56/0.80 2195[6:MRR:2147.1,2192.0] || -> p601(skc1) p604(skc1)*. % 0.56/0.80 2196[7:Spt:2193.0] || -> p401(skc1)*. % 0.56/0.80 2198[7:MRR:604.1,2196.0] p301(skc1) || -> . % 0.56/0.80 2201[7:MRR:712.0,2196.0] p601(skc1) || -> . % 0.56/0.80 2202[7:MRR:2194.0,2198.0] || -> SkP3(skc1)*. % 0.56/0.80 2204[7:MRR:1554.0,2202.0] p604(skc1) || -> . % 0.56/0.80 2207[7:MRR:2195.0,2201.0] || -> p604(skc1)*. % 0.56/0.80 2211[7:MRR:2204.0,2207.0] || -> . % 0.56/0.80 2212[7:Spt:2211.0,2193.0,2196.0] || p401(skc1)* -> . % 0.56/0.80 2213[7:Spt:2211.0,2193.1] || -> p404(skc1)*. % 0.56/0.80 2214[7:MRR:1500.1,2213.0] SkP3(skc1) || -> . % 0.56/0.80 2215[7:MRR:2194.1,2214.0] || -> p301(skc1)*. % 0.56/0.80 2218[7:MRR:658.0,2215.0] p601(skc1) || -> . % 0.56/0.80 2221[7:MRR:2195.0,2218.0] || -> p604(skc1)*. % 0.56/0.80 2224[7:MRR:1228.0,1228.1,2213.0,2221.0] || -> . % 0.56/0.80 2225[6:Spt:2224.0,2187.0,2188.0] || p202(skc1)* -> . % 0.56/0.80 2226[6:Spt:2224.0,2187.1] || -> SkP4(skc1)*. % 0.56/0.80 2227[6:MRR:1745.0,2226.0] SkP3(skc1) || -> . % 0.56/0.80 2228[6:MRR:1473.0,2226.0] p604(skc1) || -> . % 0.56/0.80 2229[6:MRR:1418.0,2226.0] p404(skc1) || -> . % 0.56/0.80 2231[6:MRR:2149.2,2229.0] || -> p401(skc1) p402(skc1)*. % 0.56/0.80 2232[6:MRR:2148.2,2227.0] || -> p301(skc1) p302(skc1)*. % 0.56/0.80 2233[6:MRR:2147.2,2228.0] || -> p601(skc1) p602(skc1)*. % 0.56/0.80 2234[7:Spt:2231.0] || -> p401(skc1)*. % 0.56/0.80 2235[7:MRR:604.1,2234.0] p301(skc1) || -> . % 0.56/0.80 2236[7:MRR:712.0,2234.0] p601(skc1) || -> . % 0.56/0.80 2240[7:MRR:2232.0,2235.0] || -> p302(skc1)*. % 0.56/0.80 2243[7:MRR:929.0,2240.0] p602(skc1) || -> . % 0.56/0.80 2245[7:MRR:2233.0,2236.0] || -> p602(skc1)*. % 0.56/0.80 2249[7:MRR:2243.0,2245.0] || -> . % 0.56/0.80 2250[7:Spt:2249.0,2231.0,2234.0] || p401(skc1)* -> . % 0.56/0.80 2251[7:Spt:2249.0,2231.1] || -> p402(skc1)*. % 0.56/0.80 2252[7:MRR:875.1,2251.0] p302(skc1) || -> . % 0.56/0.80 2253[7:MRR:2232.1,2252.0] || -> p301(skc1)*. % 0.56/0.80 2257[7:MRR:658.0,2253.0] p601(skc1) || -> . % 0.56/0.80 2259[7:MRR:2233.0,2257.0] || -> p602(skc1)*. % 0.56/0.80 2261[7:MRR:984.0,984.1,2251.0,2259.0] || -> . % 0.56/0.80 2263[4:Spt:2261.0,2140.0,2141.0] || p503(skc1)* -> . % 0.56/0.80 2264[4:Spt:2261.0,2140.1] || -> p504(skc1)*. % 0.56/0.80 2265[4:MRR:1527.1,2264.0] SkP3(skc1) || -> . % 0.56/0.80 2266[4:MRR:1255.0,2264.0] p604(skc1) || -> . % 0.56/0.80 2267[4:MRR:1201.1,2264.0] p404(skc1) || -> . % 0.56/0.80 2268[4:MRR:1446.1,2264.0] SkP4(skc1) || -> . % 0.56/0.80 2269[4:MRR:2013.3,2268.0] || -> p201(skc1) p202(skc1) SkP5(skc1)*. % 0.56/0.80 2270[4:MRR:2016.3,2266.0] || -> p601(skc1) p602(skc1) p603(skc1)*. % 0.56/0.80 2271[4:MRR:2014.3,2265.0] || -> p301(skc1) p302(skc1) p303(skc1)*. % 0.56/0.80 2272[4:MRR:2015.3,2267.0] || -> p401(skc1) p402(skc1) p403(skc1)*. % 0.56/0.80 2273[5:Spt:2269.0] || -> p201(skc1)*. % 0.56/0.80 2274[5:MRR:496.0,2273.0] p301(skc1) || -> . % 0.56/0.80 2275[5:MRR:523.0,2273.0] p401(skc1) || -> . % 0.56/0.80 2276[5:MRR:577.0,2273.0] p601(skc1) || -> . % 0.56/0.80 2279[5:MRR:2271.0,2274.0] || -> p302(skc1) p303(skc1)*. % 0.56/0.80 2280[5:MRR:2272.0,2275.0] || -> p402(skc1) p403(skc1)*. % 0.56/0.80 2281[5:MRR:2270.0,2276.0] || -> p602(skc1) p603(skc1)*. % 0.56/0.80 2282[6:Spt:2279.0] || -> p302(skc1)*. % 0.56/0.80 2283[6:MRR:875.0,2282.0] p402(skc1) || -> . % 0.56/0.80 2285[6:MRR:929.0,2282.0] p602(skc1) || -> . % 0.56/0.80 2287[6:MRR:2280.0,2283.0] || -> p403(skc1)*. % 0.56/0.80 2290[6:MRR:1146.0,2287.0] p603(skc1) || -> . % 0.56/0.80 2292[6:MRR:2281.0,2285.0] || -> p603(skc1)*. % 0.56/0.80 2296[6:MRR:2290.0,2292.0] || -> . % 0.56/0.80 2297[6:Spt:2296.0,2279.0,2282.0] || p302(skc1)* -> . % 0.56/0.80 2298[6:Spt:2296.0,2279.1] || -> p303(skc1)*. % 0.56/0.80 2299[6:MRR:1038.0,2298.0] p403(skc1) || -> . % 0.56/0.80 2300[6:MRR:2280.1,2299.0] || -> p402(skc1)*. % 0.56/0.80 2302[6:MRR:984.0,2300.0] p602(skc1) || -> . % 0.56/0.80 2305[6:MRR:2281.0,2302.0] || -> p603(skc1)*. % 0.56/0.80 2306[6:MRR:1092.0,1092.1,2298.0,2305.0] || -> . % 0.56/0.80 2309[5:Spt:2306.0,2269.0,2273.0] || p201(skc1)* -> . % 0.56/0.80 2310[5:Spt:2306.0,2269.1,2269.2] || -> p202(skc1) SkP5(skc1)*. % 0.56/0.80 2311[6:Spt:2310.0] || -> p202(skc1)*. % 0.56/0.80 2312[6:MRR:794.0,2311.0] p402(skc1) || -> . % 0.56/0.80 2313[6:MRR:767.0,2311.0] p302(skc1) || -> . % 0.56/0.80 2315[6:MRR:848.0,2311.0] p602(skc1) || -> . % 0.56/0.80 2316[6:MRR:2272.1,2312.0] || -> p401(skc1) p403(skc1)*. % 0.56/0.80 2317[6:MRR:2271.1,2313.0] || -> p301(skc1) p303(skc1)*. % 0.56/0.80 2318[6:MRR:2270.1,2315.0] || -> p601(skc1) p603(skc1)*. % 0.56/0.80 2319[7:Spt:2316.0] || -> p401(skc1)*. % 0.56/0.80 2321[7:MRR:604.1,2319.0] p301(skc1) || -> . % 0.56/0.80 2324[7:MRR:712.0,2319.0] p601(skc1) || -> . % 0.56/0.80 2325[7:MRR:2317.0,2321.0] || -> p303(skc1)*. % 0.56/0.80 2327[7:MRR:1092.0,2325.0] p603(skc1) || -> . % 0.56/0.80 2330[7:MRR:2318.0,2324.0] || -> p603(skc1)*. % 0.56/0.80 2334[7:MRR:2327.0,2330.0] || -> . % 0.56/0.80 2335[7:Spt:2334.0,2316.0,2319.0] || p401(skc1)* -> . % 0.56/0.80 2336[7:Spt:2334.0,2316.1] || -> p403(skc1)*. % 0.56/0.80 2337[7:MRR:1038.1,2336.0] p303(skc1) || -> . % 0.56/0.80 2338[7:MRR:2317.1,2337.0] || -> p301(skc1)*. % 0.56/0.80 2341[7:MRR:658.0,2338.0] p601(skc1) || -> . % 0.56/0.80 2344[7:MRR:2318.0,2341.0] || -> p603(skc1)*. % 0.56/0.80 2347[7:MRR:1146.0,1146.1,2336.0,2344.0] || -> . % 0.56/0.80 2348[6:Spt:2347.0,2310.0,2311.0] || p202(skc1)* -> . % 0.56/0.80 2349[6:Spt:2347.0,2310.1] || -> SkP5(skc1)*. % 0.56/0.80 2350[6:MRR:1310.0,2349.0] p303(skc1) || -> . % 0.56/0.80 2351[6:MRR:1391.0,2349.0] p603(skc1) || -> . % 0.56/0.80 2352[6:MRR:1337.0,2349.0] p403(skc1) || -> . % 0.56/0.80 2354[6:MRR:2272.2,2352.0] || -> p401(skc1) p402(skc1)*. % 0.56/0.80 2355[6:MRR:2271.2,2350.0] || -> p301(skc1) p302(skc1)*. % 0.56/0.80 2356[6:MRR:2270.2,2351.0] || -> p601(skc1) p602(skc1)*. % 0.56/0.80 2357[7:Spt:2354.0] || -> p401(skc1)*. % 0.56/0.80 2358[7:MRR:604.1,2357.0] p301(skc1) || -> . % 0.56/0.80 2359[7:MRR:712.0,2357.0] p601(skc1) || -> . % 0.56/0.80 2363[7:MRR:2355.0,2358.0] || -> p302(skc1)*. % 0.56/0.80 2366[7:MRR:929.0,2363.0] p602(skc1) || -> . % 0.56/0.80 2368[7:MRR:2356.0,2359.0] || -> p602(skc1)*. % 0.56/0.80 2372[7:MRR:2366.0,2368.0] || -> . % 0.56/0.80 2373[7:Spt:2372.0,2354.0,2357.0] || p401(skc1)* -> . % 0.56/0.80 2374[7:Spt:2372.0,2354.1] || -> p402(skc1)*. % 0.56/0.80 2375[7:MRR:875.1,2374.0] p302(skc1) || -> . % 0.56/0.80 2376[7:MRR:2355.1,2375.0] || -> p301(skc1)*. % 0.56/0.80 2380[7:MRR:658.0,2376.0] p601(skc1) || -> . % 0.56/0.80 2382[7:MRR:2356.0,2380.0] || -> p602(skc1)*. % 0.56/0.80 2384[7:MRR:984.0,984.1,2374.0,2382.0] || -> . % 0.56/0.80 2386[1:Spt:2384.0,120.0,120.1,120.2,120.4,120.5,120.6,120.8] || r1(skc1,u)*+ r1(skc1,v)* r1(skc1,w)* -> p102(u) p103(v) p104(w) p101(skc1). % 0.56/0.80 2387[2:Spt:2386.2,2386.5] || r1(skc1,u)* -> p104(u). % 0.56/0.80 2394[2:Res:22.0,2387.0] || -> p104(skf31(skc1))*. % 0.56/0.80 2395[2:Res:21.0,2387.0] || -> p104(skf32(skc1))*. % 0.56/0.80 2396[2:Res:20.0,2387.0] || -> p104(skf33(skc1))*. % 0.56/0.80 2397[2:Res:19.0,2387.0] || -> p104(skf34(skc1))*. % 0.56/0.80 2398[2:Res:18.0,2387.0] || -> p104(skf35(skc1))*. % 0.56/0.80 2415[3:Spt:96.0] || -> p501(skc1)*. % 0.56/0.80 2416[3:MRR:631.1,2415.0] p301(skc1) || -> . % 0.56/0.80 2417[3:MRR:685.1,2415.0] p401(skc1) || -> . % 0.56/0.80 2418[3:MRR:740.0,2415.0] p601(skc1) || -> . % 0.56/0.80 2420[3:MRR:550.1,2415.0] p201(skc1) || -> . % 0.56/0.80 2421[3:MRR:98.0,2416.0] || -> p302(skc1) p303(skc1) SkP3(skc1)* SkP1(skc1). % 0.56/0.80 2422[3:MRR:97.0,2417.0] || -> p402(skc1) p403(skc1) p404(skc1) SkP0(skc1)*. % 0.56/0.80 2423[3:MRR:1744.0,2417.0] || -> p402(skc1) p403(skc1) p404(skc1) p604(skc1)* p603(skc1) p602(skc1) p601(skc1). % 0.56/0.80 2424[3:MRR:95.0,2418.0] || -> p602(skc1) p603(skc1) p604(skc1) p605(skc1)*. % 0.56/0.80 2425[3:MRR:99.0,2420.0] || -> p202(skc1) SkP5(skc1)* SkP4(skc1) SkP2(skc1). % 0.56/0.80 2426[3:MRR:2423.6,2418.0] || -> p402(skc1) p403(skc1) p404(skc1) p604(skc1)* p603(skc1) p602(skc1). % 0.56/0.80 2427[2:Res:2394.0,105.1] p604(skc1) || r1(skc1,skc1)* -> . % 0.56/0.80 2428[2:MRR:2427.1,1.0] p604(skc1) || -> . % 0.56/0.80 2429[3:MRR:2424.2,2428.0] || -> p602(skc1) p603(skc1) p605(skc1)*. % 0.56/0.80 2430[3:MRR:2426.3,2428.0] || -> p402(skc1) p403(skc1) p404(skc1)* p603(skc1) p602(skc1). % 0.56/0.80 2431[2:Res:2395.0,106.1] p504(skc1) || r1(skc1,skc1)* -> . % 0.56/0.80 2432[2:MRR:2431.1,1.0] p504(skc1) || -> . % 0.56/0.80 2433[4:Spt:2429.0] || -> p602(skc1)*. % 0.56/0.80 2434[4:MRR:929.1,2433.0] p302(skc1) || -> . % 0.56/0.80 2436[4:MRR:984.1,2433.0] p402(skc1) || -> . % 0.56/0.80 2437[4:MRR:848.1,2433.0] p202(skc1) || -> . % 0.56/0.80 2438[4:MRR:2421.0,2434.0] || -> p303(skc1) SkP3(skc1)* SkP1(skc1). % 0.56/0.80 2439[4:MRR:2422.0,2436.0] || -> p403(skc1) p404(skc1) SkP0(skc1)*. % 0.56/0.80 2440[4:MRR:2425.0,2437.0] || -> SkP5(skc1)* SkP4(skc1) SkP2(skc1). % 0.56/0.80 2441[2:Res:2396.0,107.1] p404(skc1) || r1(skc1,skc1)* -> . % 0.56/0.80 2442[2:MRR:2441.1,1.0] p404(skc1) || -> . % 0.56/0.80 2443[4:MRR:2439.1,2442.0] || -> p403(skc1) SkP0(skc1)*. % 0.56/0.80 2444[2:Res:2397.0,108.1] SkP3(skc1) || r1(skc1,skc1)* -> . % 0.56/0.80 2445[2:MRR:2444.1,1.0] SkP3(skc1) || -> . % 0.56/0.80 2446[4:MRR:2438.1,2445.0] || -> p303(skc1) SkP1(skc1)*. % 0.56/0.80 2447[2:Res:2398.0,109.1] SkP4(skc1) || r1(skc1,skc1)* -> . % 0.56/0.80 2448[2:MRR:2447.1,1.0] SkP4(skc1) || -> . % 0.56/0.80 2449[4:MRR:2440.1,2448.0] || -> SkP5(skc1)* SkP2(skc1). % 0.56/0.80 2450[5:Spt:2443.0] || -> p403(skc1)*. % 0.56/0.80 2451[5:MRR:1038.1,2450.0] p303(skc1) || -> . % 0.56/0.80 2453[5:MRR:1337.1,2450.0] SkP5(skc1) || -> . % 0.56/0.80 2455[5:MRR:2446.0,2451.0] || -> SkP1(skc1)*. % 0.56/0.80 2458[5:MRR:1772.1,2455.0] SkP2(skc1) || -> . % 0.56/0.80 2460[5:MRR:2449.0,2453.0] || -> SkP2(skc1)*. % 0.56/0.80 2464[5:MRR:2458.0,2460.0] || -> . % 0.56/0.80 2465[5:Spt:2464.0,2443.0,2450.0] || p403(skc1)* -> . % 0.56/0.80 2466[5:Spt:2464.0,2443.1] || -> SkP0(skc1)*. % 0.56/0.80 2467[5:MRR:1826.1,2466.0] SkP1(skc1) || -> . % 0.56/0.80 2468[5:MRR:2446.1,2467.0] || -> p303(skc1)*. % 0.56/0.80 2470[5:MRR:1310.1,2468.0] SkP5(skc1) || -> . % 0.56/0.80 2473[5:MRR:2449.0,2470.0] || -> SkP2(skc1)*. % 0.56/0.80 2474[5:MRR:1799.0,1799.1,2473.0,2466.0] || -> . % 0.56/0.80 2477[4:Spt:2474.0,2429.0,2433.0] || p602(skc1)* -> . % 0.56/0.80 2478[4:Spt:2474.0,2429.1,2429.2] || -> p603(skc1) p605(skc1)*. % 0.56/0.80 2479[3:MRR:2421.2,2445.0] || -> p302(skc1) p303(skc1) SkP1(skc1)*. % 0.56/0.80 2480[3:MRR:2422.2,2442.0] || -> p402(skc1) p403(skc1) SkP0(skc1)*. % 0.56/0.80 2481[3:MRR:2425.2,2448.0] || -> p202(skc1) SkP5(skc1)* SkP2(skc1). % 0.56/0.80 2482[4:MRR:2430.2,2430.4,2442.0,2477.0] || -> p402(skc1) p403(skc1) p603(skc1)*. % 0.56/0.80 2483[5:Spt:2478.0] || -> p603(skc1)*. % 0.56/0.80 2484[5:MRR:1092.1,2483.0] p303(skc1) || -> . % 0.56/0.80 2485[5:MRR:1146.1,2483.0] p403(skc1) || -> . % 0.56/0.80 2486[5:MRR:1391.1,2483.0] SkP5(skc1) || -> . % 0.56/0.80 2488[5:MRR:2479.1,2484.0] || -> p302(skc1) SkP1(skc1)*. % 0.56/0.80 2489[5:MRR:2480.1,2485.0] || -> p402(skc1) SkP0(skc1)*. % 0.56/0.80 2490[5:MRR:2481.1,2486.0] || -> p202(skc1) SkP2(skc1)*. % 0.56/0.80 2491[6:Spt:2488.0] || -> p302(skc1)*. % 0.56/0.80 2493[6:MRR:875.0,2491.0] p402(skc1) || -> . % 0.56/0.80 2495[6:MRR:767.1,2491.0] p202(skc1) || -> . % 0.56/0.80 2496[6:MRR:2489.0,2493.0] || -> SkP0(skc1)*. % 0.56/0.80 2498[6:MRR:1799.1,2496.0] SkP2(skc1) || -> . % 0.56/0.80 2501[6:MRR:2490.0,2495.0] || -> SkP2(skc1)*. % 0.56/0.80 2505[6:MRR:2498.0,2501.0] || -> . % 0.56/0.80 2506[6:Spt:2505.0,2488.0,2491.0] || p302(skc1)* -> . % 0.56/0.80 2507[6:Spt:2505.0,2488.1] || -> SkP1(skc1)*. % 0.56/0.80 2508[6:MRR:1826.0,2507.0] SkP0(skc1) || -> . % 0.56/0.80 2509[6:MRR:2489.1,2508.0] || -> p402(skc1)*. % 0.56/0.80 2513[6:MRR:794.1,2509.0] p202(skc1) || -> . % 0.56/0.80 2514[6:MRR:2490.0,2513.0] || -> SkP2(skc1)*. % 0.56/0.80 2517[6:MRR:1772.0,1772.1,2514.0,2507.0] || -> . % 0.56/0.80 2518[5:Spt:2517.0,2478.0,2483.0] || p603(skc1)* -> . % 0.56/0.80 2519[5:Spt:2517.0,2478.1] || -> p605(skc1)*. % 0.56/0.80 2521[5:MRR:1608.1,2519.0] SkP2(skc1) || -> . % 0.56/0.80 2522[5:MRR:1662.1,2519.0] SkP1(skc1) || -> . % 0.56/0.80 2524[5:MRR:2482.2,2518.0] || -> p402(skc1) p403(skc1)*. % 0.56/0.80 2525[5:MRR:2479.2,2522.0] || -> p302(skc1) p303(skc1)*. % 0.56/0.80 2526[5:MRR:2481.2,2521.0] || -> p202(skc1) SkP5(skc1)*. % 0.56/0.80 2527[6:Spt:2525.0] || -> p302(skc1)*. % 0.56/0.80 2528[6:MRR:875.0,2527.0] p402(skc1) || -> . % 0.56/0.80 2529[6:MRR:767.1,2527.0] p202(skc1) || -> . % 0.56/0.80 2532[6:MRR:2524.0,2528.0] || -> p403(skc1)*. % 0.56/0.80 2536[6:MRR:1337.1,2532.0] SkP5(skc1) || -> . % 0.56/0.80 2537[6:MRR:2526.0,2529.0] || -> SkP5(skc1)*. % 0.56/0.80 2541[6:MRR:2536.0,2537.0] || -> . % 0.56/0.80 2542[6:Spt:2541.0,2525.0,2527.0] || p302(skc1)* -> . % 0.56/0.80 2543[6:Spt:2541.0,2525.1] || -> p303(skc1)*. % 0.56/0.80 2544[6:MRR:1038.0,2543.0] p403(skc1) || -> . % 0.56/0.80 2545[6:MRR:2524.1,2544.0] || -> p402(skc1)*. % 0.56/0.80 2547[6:MRR:794.1,2545.0] p202(skc1) || -> . % 0.56/0.80 2550[6:MRR:2526.0,2547.0] || -> SkP5(skc1)*. % 0.56/0.80 2552[6:MRR:1310.0,1310.1,2550.0,2543.0] || -> . % 0.56/0.80 2554[3:Spt:2552.0,96.0,2415.0] || p501(skc1)* -> . % 0.56/0.80 2555[3:Spt:2552.0,96.1,96.2,96.3,96.4] || -> p502(skc1) p503(skc1) p504(skc1) p505(skc1)*. % 0.56/0.80 2556[3:MRR:2555.2,2432.0] || -> p502(skc1) p503(skc1) p505(skc1)*. % 0.56/0.80 2557[2:MRR:98.3,2445.0] || -> p301(skc1) p302(skc1) p303(skc1) SkP1(skc1)*. % 0.56/0.80 2558[2:MRR:97.3,2442.0] || -> p401(skc1) p402(skc1) p403(skc1) SkP0(skc1)*. % 0.56/0.80 2559[2:MRR:95.3,2428.0] || -> p601(skc1) p602(skc1) p603(skc1) p605(skc1)*. % 0.56/0.80 2560[2:MRR:99.3,2448.0] || -> p201(skc1) p202(skc1) SkP5(skc1)* SkP2(skc1). % 0.56/0.80 2561[3:MRR:1309.0,1309.3,1309.4,2554.0,2432.0,2428.0] || -> p502(skc1) p503(skc1) p603(skc1)* p602(skc1) p601(skc1). % 0.56/0.80 2562[3:MRR:1716.3,1716.4,1716.7,2442.0,2432.0,2554.0] || -> p401(skc1) p402(skc1) p403(skc1) p503(skc1)* p502(skc1). % 0.56/0.80 2563[2:MRR:1744.3,1744.4,2442.0,2428.0] || -> p401(skc1) p402(skc1) p403(skc1) p603(skc1)* p602(skc1) p601(skc1). % 0.56/0.80 2564[4:Spt:2557.2] || -> p303(skc1)*. % 0.56/0.80 2565[4:MRR:1038.0,2564.0] p403(skc1) || -> . % 0.56/0.80 2566[4:MRR:1310.1,2564.0] SkP5(skc1) || -> . % 0.56/0.80 2567[4:MRR:1092.0,2564.0] p603(skc1) || -> . % 0.56/0.80 2568[4:MRR:1065.0,2564.0] p503(skc1) || -> . % 0.56/0.80 2569[4:MRR:2558.2,2565.0] || -> p401(skc1) p402(skc1) SkP0(skc1)*. % 0.56/0.80 2570[4:MRR:2562.2,2565.0] || -> p401(skc1) p402(skc1) p503(skc1)* p502(skc1). % 0.56/0.80 2571[4:MRR:2563.2,2565.0] || -> p401(skc1) p402(skc1) p603(skc1)* p602(skc1) p601(skc1). % 0.56/0.80 2572[4:MRR:2560.2,2566.0] || -> p201(skc1) p202(skc1) SkP2(skc1)*. % 0.56/0.80 2573[4:MRR:2559.2,2567.0] || -> p601(skc1) p602(skc1) p605(skc1)*. % 0.56/0.80 2574[4:MRR:2561.2,2567.0] || -> p502(skc1) p503(skc1)* p602(skc1) p601(skc1). % 0.56/0.80 2575[4:MRR:2556.1,2568.0] || -> p502(skc1) p505(skc1)*. % 0.56/0.80 2576[4:MRR:2570.2,2568.0] || -> p401(skc1) p402(skc1) p502(skc1)*. % 0.56/0.80 2577[4:MRR:2574.1,2568.0] || -> p502(skc1) p602(skc1)* p601(skc1). % 0.56/0.80 2578[4:MRR:2571.2,2567.0] || -> p401(skc1) p402(skc1) p602(skc1)* p601(skc1). % 0.56/0.80 2579[5:Spt:2569.0] || -> p401(skc1)*. % 0.56/0.80 2582[5:MRR:523.1,2579.0] p201(skc1) || -> . % 0.56/0.80 2584[5:MRR:712.0,2579.0] p601(skc1) || -> . % 0.56/0.80 2585[5:MRR:2572.0,2582.0] || -> p202(skc1) SkP2(skc1)*. % 0.56/0.80 2586[5:MRR:2573.0,2584.0] || -> p602(skc1) p605(skc1)*. % 0.56/0.80 2587[5:MRR:2577.2,2584.0] || -> p502(skc1) p602(skc1)*. % 0.56/0.80 2588[6:Spt:2585.0] || -> p202(skc1)*. % 0.56/0.80 2591[6:MRR:848.0,2588.0] p602(skc1) || -> . % 0.56/0.80 2592[6:MRR:821.0,2588.0] p502(skc1) || -> . % 0.56/0.80 2594[6:MRR:2587.1,2591.0] || -> p502(skc1)*. % 0.56/0.80 2599[6:MRR:2592.0,2594.0] || -> . % 0.56/0.80 2600[6:Spt:2599.0,2585.0,2588.0] || p202(skc1)* -> . % 0.56/0.80 2601[6:Spt:2599.0,2585.1] || -> SkP2(skc1)*. % 0.56/0.80 2602[6:MRR:1608.0,2601.0] p605(skc1) || -> . % 0.56/0.80 2603[6:MRR:2586.1,2602.0] || -> p602(skc1)*. % 0.56/0.80 2607[6:MRR:1011.1,2603.0] p502(skc1) || -> . % 0.56/0.80 2608[6:MRR:2575.0,2607.0] || -> p505(skc1)*. % 0.56/0.80 2610[6:MRR:1581.0,1581.1,2601.0,2608.0] || -> . % 0.56/0.80 2612[5:Spt:2610.0,2569.0,2579.0] || p401(skc1)* -> . % 0.56/0.80 2613[5:Spt:2610.0,2569.1,2569.2] || -> p402(skc1) SkP0(skc1)*. % 0.56/0.80 2614[5:MRR:2576.0,2612.0] || -> p402(skc1) p502(skc1)*. % 0.56/0.80 2615[5:MRR:2578.0,2612.0] || -> p402(skc1) p602(skc1)* p601(skc1). % 0.56/0.80 2616[6:Spt:2613.0] || -> p402(skc1)*. % 0.56/0.80 2617[6:MRR:984.0,2616.0] p602(skc1) || -> . % 0.56/0.80 2618[6:MRR:794.1,2616.0] p202(skc1) || -> . % 0.56/0.80 2619[6:MRR:956.0,2616.0] p502(skc1) || -> . % 0.56/0.80 2621[6:MRR:2577.1,2617.0] || -> p502(skc1)* p601(skc1). % 0.56/0.80 2623[6:MRR:2572.1,2618.0] || -> p201(skc1) SkP2(skc1)*. % 0.56/0.80 2624[6:MRR:2575.0,2619.0] || -> p505(skc1)*. % 0.56/0.80 2627[6:MRR:1581.1,2624.0] SkP2(skc1) || -> . % 0.56/0.80 2629[6:MRR:2621.0,2619.0] || -> p601(skc1)*. % 0.56/0.80 2633[6:MRR:577.1,2629.0] p201(skc1) || -> . % 0.56/0.80 2635[6:MRR:2623.0,2623.1,2633.0,2627.0] || -> . % 0.56/0.80 2636[6:Spt:2635.0,2613.0,2616.0] || p402(skc1)* -> . % 0.56/0.80 2637[6:Spt:2635.0,2613.1] || -> SkP0(skc1)*. % 0.56/0.80 2638[6:MRR:2614.0,2636.0] || -> p502(skc1)*. % 0.56/0.80 2639[6:MRR:2615.0,2636.0] || -> p602(skc1)* p601(skc1). % 0.56/0.80 2641[6:MRR:1011.0,2638.0] p602(skc1) || -> . % 0.56/0.80 2642[6:MRR:2639.0,2641.0] || -> p601(skc1)*. % 0.56/0.80 2643[6:MRR:821.1,2638.0] p202(skc1) || -> . % 0.56/0.80 2644[6:MRR:2572.1,2643.0] || -> p201(skc1) SkP2(skc1)*. % 0.56/0.80 2649[6:MRR:1799.1,2637.0] SkP2(skc1) || -> . % 0.56/0.80 2650[6:MRR:2644.1,2649.0] || -> p201(skc1)*. % 0.56/0.80 2652[6:MRR:577.0,577.1,2650.0,2642.0] || -> . % 0.56/0.80 2656[4:Spt:2652.0,2557.2,2564.0] || p303(skc1)* -> . % 0.56/0.80 2657[4:Spt:2652.0,2557.0,2557.1,2557.3] || -> p301(skc1) p302(skc1) SkP1(skc1)*. % 0.56/0.80 2658[5:Spt:2657.0] || -> p301(skc1)*. % 0.56/0.80 2659[5:MRR:658.0,2658.0] p601(skc1) || -> . % 0.56/0.80 2660[5:MRR:604.0,2658.0] p401(skc1) || -> . % 0.56/0.80 2662[5:MRR:496.1,2658.0] p201(skc1) || -> . % 0.56/0.80 2664[5:MRR:2559.0,2659.0] || -> p602(skc1) p603(skc1) p605(skc1)*. % 0.56/0.80 2665[5:MRR:2561.4,2659.0] || -> p502(skc1) p503(skc1) p603(skc1)* p602(skc1). % 0.56/0.80 2666[5:MRR:2563.5,2659.0] || -> p401(skc1) p402(skc1) p403(skc1) p603(skc1)* p602(skc1). % 0.56/0.80 2667[5:MRR:2558.0,2660.0] || -> p402(skc1) p403(skc1) SkP0(skc1)*. % 0.56/0.80 2668[5:MRR:2562.0,2660.0] || -> p402(skc1) p403(skc1) p503(skc1)* p502(skc1). % 0.56/0.80 2669[5:MRR:2560.0,2662.0] || -> p202(skc1) SkP5(skc1)* SkP2(skc1). % 0.56/0.80 2670[5:MRR:2666.0,2660.0] || -> p402(skc1) p403(skc1) p603(skc1)* p602(skc1). % 0.56/0.80 2671[6:Spt:2664.0] || -> p602(skc1)*. % 0.56/0.80 2672[6:MRR:984.1,2671.0] p402(skc1) || -> . % 0.56/0.80 2673[6:MRR:1011.1,2671.0] p502(skc1) || -> . % 0.56/0.80 2675[6:MRR:848.1,2671.0] p202(skc1) || -> . % 0.56/0.80 2676[6:MRR:2667.0,2672.0] || -> p403(skc1) SkP0(skc1)*. % 0.56/0.80 2677[6:MRR:2668.0,2672.0] || -> p403(skc1) p503(skc1)* p502(skc1). % 0.56/0.80 2678[6:MRR:2556.0,2673.0] || -> p503(skc1) p505(skc1)*. % 0.56/0.80 2679[6:MRR:2669.0,2675.0] || -> SkP5(skc1)* SkP2(skc1). % 0.56/0.80 2680[6:MRR:2677.2,2673.0] || -> p403(skc1) p503(skc1)*. % 0.56/0.80 2681[7:Spt:2676.0] || -> p403(skc1)*. % 0.56/0.80 2683[7:MRR:1337.1,2681.0] SkP5(skc1) || -> . % 0.56/0.80 2684[7:MRR:1119.0,2681.0] p503(skc1) || -> . % 0.56/0.80 2686[7:MRR:2679.0,2683.0] || -> SkP2(skc1)*. % 0.56/0.80 2687[7:MRR:1581.0,2686.0] p505(skc1) || -> . % 0.56/0.80 2691[7:MRR:2678.0,2684.0] || -> p505(skc1)*. % 0.56/0.80 2695[7:MRR:2687.0,2691.0] || -> . % 0.56/0.80 2696[7:Spt:2695.0,2676.0,2681.0] || p403(skc1)* -> . % 0.56/0.80 2697[7:Spt:2695.0,2676.1] || -> SkP0(skc1)*. % 0.56/0.80 2698[7:MRR:2680.0,2696.0] || -> p503(skc1)*. % 0.56/0.80 2701[7:MRR:1364.1,2698.0] SkP5(skc1) || -> . % 0.56/0.80 2702[7:MRR:2679.0,2701.0] || -> SkP2(skc1)*. % 0.56/0.80 2704[7:MRR:1799.0,1799.1,2702.0,2697.0] || -> . % 0.56/0.80 2708[6:Spt:2704.0,2664.0,2671.0] || p602(skc1)* -> . % 0.56/0.80 2709[6:Spt:2704.0,2664.1,2664.2] || -> p603(skc1) p605(skc1)*. % 0.56/0.80 2710[6:MRR:2665.3,2708.0] || -> p502(skc1) p503(skc1) p603(skc1)*. % 0.56/0.80 2711[6:MRR:2670.3,2708.0] || -> p402(skc1) p403(skc1) p603(skc1)*. % 0.56/0.80 2712[7:Spt:2709.0] || -> p603(skc1)*. % 0.56/0.80 2713[7:MRR:1146.1,2712.0] p403(skc1) || -> . % 0.56/0.80 2715[7:MRR:1391.1,2712.0] SkP5(skc1) || -> . % 0.56/0.80 2716[7:MRR:1173.1,2712.0] p503(skc1) || -> . % 0.56/0.80 2717[7:MRR:2667.1,2713.0] || -> p402(skc1) SkP0(skc1)*. % 0.56/0.80 2718[7:MRR:2668.1,2713.0] || -> p402(skc1) p503(skc1)* p502(skc1). % 0.56/0.80 2719[7:MRR:2669.1,2715.0] || -> p202(skc1) SkP2(skc1)*. % 0.56/0.80 2720[7:MRR:2556.1,2716.0] || -> p502(skc1) p505(skc1)*. % 0.56/0.80 2721[7:MRR:2718.1,2716.0] || -> p402(skc1) p502(skc1)*. % 0.56/0.80 2722[8:Spt:2717.0] || -> p402(skc1)*. % 0.56/0.80 2724[8:MRR:956.0,2722.0] p502(skc1) || -> . % 0.56/0.80 2726[8:MRR:794.1,2722.0] p202(skc1) || -> . % 0.56/0.80 2727[8:MRR:2720.0,2724.0] || -> p505(skc1)*. % 0.56/0.80 2728[8:MRR:1581.1,2727.0] SkP2(skc1) || -> . % 0.56/0.80 2732[8:MRR:2719.0,2726.0] || -> SkP2(skc1)*. % 0.56/0.80 2736[8:MRR:2728.0,2732.0] || -> . % 0.56/0.80 2737[8:Spt:2736.0,2717.0,2722.0] || p402(skc1)* -> . % 0.56/0.80 2738[8:Spt:2736.0,2717.1] || -> SkP0(skc1)*. % 0.56/0.80 2739[8:MRR:2721.0,2737.0] || -> p502(skc1)*. % 0.56/0.80 2742[8:MRR:821.1,2739.0] p202(skc1) || -> . % 0.56/0.80 2743[8:MRR:2719.0,2742.0] || -> SkP2(skc1)*. % 0.56/0.80 2747[8:MRR:1799.0,1799.1,2743.0,2738.0] || -> . % 0.56/0.80 2749[7:Spt:2747.0,2709.0,2712.0] || p603(skc1)* -> . % 0.56/0.80 2750[7:Spt:2747.0,2709.1] || -> p605(skc1)*. % 0.56/0.80 2752[7:MRR:1608.1,2750.0] SkP2(skc1) || -> . % 0.56/0.80 2755[7:MRR:2710.2,2749.0] || -> p502(skc1) p503(skc1)*. % 0.56/0.80 2756[7:MRR:2711.2,2749.0] || -> p402(skc1) p403(skc1)*. % 0.56/0.80 2757[7:MRR:2669.2,2752.0] || -> p202(skc1) SkP5(skc1)*. % 0.56/0.80 2758[8:Spt:2757.0] || -> p202(skc1)*. % 0.56/0.80 2759[8:MRR:794.0,2758.0] p402(skc1) || -> . % 0.56/0.80 2761[8:MRR:821.0,2758.0] p502(skc1) || -> . % 0.56/0.80 2763[8:MRR:2756.0,2759.0] || -> p403(skc1)*. % 0.56/0.80 2765[8:MRR:1119.0,2763.0] p503(skc1) || -> . % 0.56/0.80 2768[8:MRR:2755.0,2761.0] || -> p503(skc1)*. % 0.56/0.80 2772[8:MRR:2765.0,2768.0] || -> . % 0.56/0.80 2773[8:Spt:2772.0,2757.0,2758.0] || p202(skc1)* -> . % 0.56/0.80 2774[8:Spt:2772.0,2757.1] || -> SkP5(skc1)*. % 0.56/0.80 2775[8:MRR:1337.0,2774.0] p403(skc1) || -> . % 0.56/0.80 2776[8:MRR:2756.1,2775.0] || -> p402(skc1)*. % 0.56/0.80 2778[8:MRR:956.0,2776.0] p502(skc1) || -> . % 0.56/0.80 2781[8:MRR:2755.0,2778.0] || -> p503(skc1)*. % 0.56/0.80 2782[8:MRR:1364.0,1364.1,2774.0,2781.0] || -> . % 0.56/0.80 2785[5:Spt:2782.0,2657.0,2658.0] || p301(skc1)* -> . % 0.56/0.80 2786[5:Spt:2782.0,2657.1,2657.2] || -> p302(skc1) SkP1(skc1)*. % 0.56/0.80 2787[6:Spt:2786.0] || -> p302(skc1)*. % 0.56/0.80 2788[6:MRR:875.0,2787.0] p402(skc1) || -> . % 0.56/0.80 2789[6:MRR:767.1,2787.0] p202(skc1) || -> . % 0.56/0.80 2790[6:MRR:929.0,2787.0] p602(skc1) || -> . % 0.56/0.80 2791[6:MRR:902.0,2787.0] p502(skc1) || -> . % 0.56/0.80 2792[6:MRR:2558.1,2788.0] || -> p401(skc1) p403(skc1) SkP0(skc1)*. % 0.56/0.80 2793[6:MRR:2562.1,2788.0] || -> p401(skc1) p403(skc1) p503(skc1)* p502(skc1). % 0.56/0.80 2794[6:MRR:2563.1,2788.0] || -> p401(skc1) p403(skc1) p603(skc1)* p602(skc1) p601(skc1). % 0.56/0.80 2795[6:MRR:2560.1,2789.0] || -> p201(skc1) SkP5(skc1)* SkP2(skc1). % 0.56/0.80 2796[6:MRR:2559.1,2790.0] || -> p601(skc1) p603(skc1) p605(skc1)*. % 0.56/0.80 2797[6:MRR:2561.3,2790.0] || -> p502(skc1) p503(skc1) p603(skc1)* p601(skc1). % 0.56/0.80 2798[6:MRR:2556.0,2791.0] || -> p503(skc1) p505(skc1)*. % 0.56/0.80 2799[6:MRR:2793.3,2791.0] || -> p401(skc1) p403(skc1) p503(skc1)*. % 0.56/0.80 2800[6:MRR:2797.0,2791.0] || -> p503(skc1) p603(skc1)* p601(skc1). % 0.56/0.80 2801[6:MRR:2794.3,2790.0] || -> p401(skc1) p403(skc1) p603(skc1)* p601(skc1). % 0.56/0.80 2802[7:Spt:2792.0] || -> p401(skc1)*. % 0.56/0.80 2804[7:MRR:712.0,2802.0] p601(skc1) || -> . % 0.56/0.80 2806[7:MRR:523.1,2802.0] p201(skc1) || -> . % 0.56/0.80 2808[7:MRR:2796.0,2804.0] || -> p603(skc1) p605(skc1)*. % 0.56/0.80 2809[7:MRR:2800.2,2804.0] || -> p503(skc1) p603(skc1)*. % 0.56/0.80 2810[7:MRR:2795.0,2806.0] || -> SkP5(skc1)* SkP2(skc1). % 0.56/0.80 2811[8:Spt:2808.0] || -> p603(skc1)*. % 0.56/0.80 2813[8:MRR:1173.1,2811.0] p503(skc1) || -> . % 0.56/0.80 2814[8:MRR:1391.1,2811.0] SkP5(skc1) || -> . % 0.56/0.80 2816[8:MRR:2798.0,2813.0] || -> p505(skc1)*. % 0.56/0.80 2820[8:MRR:1581.1,2816.0] SkP2(skc1) || -> . % 0.56/0.80 2821[8:MRR:2810.0,2814.0] || -> SkP2(skc1)*. % 0.56/0.80 2825[8:MRR:2820.0,2821.0] || -> . % 0.56/0.80 2826[8:Spt:2825.0,2808.0,2811.0] || p603(skc1)* -> . % 0.56/0.80 2827[8:Spt:2825.0,2808.1] || -> p605(skc1)*. % 0.56/0.80 2828[8:MRR:2809.1,2826.0] || -> p503(skc1)*. % 0.56/0.80 2831[8:MRR:1364.1,2828.0] SkP5(skc1) || -> . % 0.56/0.80 2832[8:MRR:2810.0,2831.0] || -> SkP2(skc1)*. % 0.56/0.80 2837[8:MRR:1608.0,1608.1,2832.0,2827.0] || -> . % 0.56/0.80 2838[7:Spt:2837.0,2792.0,2802.0] || p401(skc1)* -> . % 0.56/0.80 2839[7:Spt:2837.0,2792.1,2792.2] || -> p403(skc1) SkP0(skc1)*. % 0.56/0.80 2840[7:MRR:2799.0,2838.0] || -> p403(skc1) p503(skc1)*. % 0.56/0.80 2841[7:MRR:2801.0,2838.0] || -> p403(skc1) p603(skc1)* p601(skc1). % 0.56/0.80 2842[8:Spt:2839.0] || -> p403(skc1)*. % 0.56/0.80 2843[8:MRR:1146.0,2842.0] p603(skc1) || -> . % 0.56/0.80 2844[8:MRR:1119.0,2842.0] p503(skc1) || -> . % 0.56/0.80 2845[8:MRR:1337.1,2842.0] SkP5(skc1) || -> . % 0.56/0.80 2847[8:MRR:2800.1,2843.0] || -> p503(skc1)* p601(skc1). % 0.56/0.80 2849[8:MRR:2798.0,2844.0] || -> p505(skc1)*. % 0.56/0.80 2850[8:MRR:1581.1,2849.0] SkP2(skc1) || -> . % 0.56/0.80 2854[8:MRR:2795.1,2845.0] || -> p201(skc1) SkP2(skc1)*. % 0.56/0.80 2855[8:MRR:2847.0,2844.0] || -> p601(skc1)*. % 0.56/0.80 2859[8:MRR:577.1,2855.0] p201(skc1) || -> . % 0.56/0.80 2861[8:MRR:2854.0,2854.1,2859.0,2850.0] || -> . % 0.56/0.80 2862[8:Spt:2861.0,2839.0,2842.0] || p403(skc1)* -> . % 0.56/0.80 2863[8:Spt:2861.0,2839.1] || -> SkP0(skc1)*. % 0.56/0.80 2864[8:MRR:2840.0,2862.0] || -> p503(skc1)*. % 0.56/0.80 2865[8:MRR:2841.0,2862.0] || -> p603(skc1)* p601(skc1). % 0.56/0.80 2867[8:MRR:1173.0,2864.0] p603(skc1) || -> . % 0.56/0.80 2868[8:MRR:2865.0,2867.0] || -> p601(skc1)*. % 0.56/0.80 2869[8:MRR:1364.1,2864.0] SkP5(skc1) || -> . % 0.56/0.80 2872[8:MRR:2795.1,2869.0] || -> p201(skc1) SkP2(skc1)*. % 0.56/0.80 2873[8:MRR:1799.1,2863.0] SkP2(skc1) || -> . % 0.56/0.80 2874[8:MRR:2872.1,2873.0] || -> p201(skc1)*. % 0.56/0.80 2878[8:MRR:577.0,577.1,2874.0,2868.0] || -> . % 0.56/0.80 2882[6:Spt:2878.0,2786.0,2787.0] || p302(skc1)* -> . % 0.56/0.80 2883[6:Spt:2878.0,2786.1] || -> SkP1(skc1)*. % 0.56/0.80 2884[6:MRR:1635.0,2883.0] p505(skc1) || -> . % 0.56/0.80 2885[6:MRR:1772.1,2883.0] SkP2(skc1) || -> . % 0.56/0.80 2886[6:MRR:1826.0,2883.0] SkP0(skc1) || -> . % 0.56/0.80 2887[6:MRR:1662.0,2883.0] p605(skc1) || -> . % 0.56/0.80 2888[6:MRR:2556.2,2884.0] || -> p502(skc1) p503(skc1)*. % 0.56/0.80 2889[6:MRR:2558.3,2886.0] || -> p401(skc1) p402(skc1) p403(skc1)*. % 0.56/0.80 2890[6:MRR:2560.3,2885.0] || -> p201(skc1) p202(skc1) SkP5(skc1)*. % 0.56/0.80 2891[6:MRR:2559.3,2887.0] || -> p601(skc1) p602(skc1) p603(skc1)*. % 0.56/0.80 2892[7:Spt:2889.0] || -> p401(skc1)*. % 0.56/0.80 2893[7:MRR:712.0,2892.0] p601(skc1) || -> . % 0.56/0.80 2895[7:MRR:523.1,2892.0] p201(skc1) || -> . % 0.56/0.80 2898[7:MRR:2891.0,2893.0] || -> p602(skc1) p603(skc1)*. % 0.56/0.80 2899[7:MRR:2890.0,2895.0] || -> p202(skc1) SkP5(skc1)*. % 0.56/0.80 2900[8:Spt:2898.0] || -> p602(skc1)*. % 0.56/0.80 2903[8:MRR:848.1,2900.0] p202(skc1) || -> . % 0.56/0.80 2904[8:MRR:1011.1,2900.0] p502(skc1) || -> . % 0.56/0.80 2905[8:MRR:2899.0,2903.0] || -> SkP5(skc1)*. % 0.56/0.80 2908[8:MRR:1364.0,2905.0] p503(skc1) || -> . % 0.56/0.80 2910[8:MRR:2888.0,2904.0] || -> p503(skc1)*. % 0.56/0.80 2914[8:MRR:2908.0,2910.0] || -> . % 0.56/0.80 2915[8:Spt:2914.0,2898.0,2900.0] || p602(skc1)* -> . % 0.56/0.80 2916[8:Spt:2914.0,2898.1] || -> p603(skc1)*. % 0.56/0.80 2917[8:MRR:1391.1,2916.0] SkP5(skc1) || -> . % 0.56/0.80 2918[8:MRR:2899.1,2917.0] || -> p202(skc1)*. % 0.56/0.80 2922[8:MRR:821.0,2918.0] p502(skc1) || -> . % 0.56/0.80 2923[8:MRR:2888.0,2922.0] || -> p503(skc1)*. % 0.56/0.80 2925[8:MRR:1173.0,1173.1,2923.0,2916.0] || -> . % 0.56/0.80 2927[7:Spt:2925.0,2889.0,2892.0] || p401(skc1)* -> . % 0.56/0.80 2928[7:Spt:2925.0,2889.1,2889.2] || -> p402(skc1) p403(skc1)*. % 0.56/0.80 2929[8:Spt:2928.0] || -> p402(skc1)*. % 0.56/0.80 2930[8:MRR:794.1,2929.0] p202(skc1) || -> . % 0.56/0.80 2931[8:MRR:984.0,2929.0] p602(skc1) || -> . % 0.56/0.80 2933[8:MRR:956.0,2929.0] p502(skc1) || -> . % 0.56/0.80 2934[8:MRR:2890.1,2930.0] || -> p201(skc1) SkP5(skc1)*. % 0.56/0.80 2935[8:MRR:2891.1,2931.0] || -> p601(skc1) p603(skc1)*. % 0.56/0.80 2936[8:MRR:2888.0,2933.0] || -> p503(skc1)*. % 0.56/0.80 2937[8:MRR:1364.1,2936.0] SkP5(skc1) || -> . % 0.56/0.80 2939[8:MRR:1173.0,2936.0] p603(skc1) || -> . % 0.56/0.80 2941[8:MRR:2934.1,2937.0] || -> p201(skc1)*. % 0.56/0.80 2943[8:MRR:577.0,2941.0] p601(skc1) || -> . % 0.56/0.80 2947[8:MRR:2935.0,2935.1,2943.0,2939.0] || -> . % 0.56/0.80 2948[8:Spt:2947.0,2928.0,2929.0] || p402(skc1)* -> . % 0.56/0.80 2949[8:Spt:2947.0,2928.1] || -> p403(skc1)*. % 0.56/0.80 2950[8:MRR:1119.0,2949.0] p503(skc1) || -> . % 0.56/0.80 2951[8:MRR:2888.1,2950.0] || -> p502(skc1)*. % 0.56/0.80 2953[8:MRR:821.1,2951.0] p202(skc1) || -> . % 0.56/0.80 2954[8:MRR:1011.0,2951.0] p602(skc1) || -> . % 0.56/0.80 2956[8:MRR:2890.1,2953.0] || -> p201(skc1) SkP5(skc1)*. % 0.56/0.80 2957[8:MRR:2891.1,2954.0] || -> p601(skc1) p603(skc1)*. % 0.56/0.80 2958[8:MRR:1337.1,2949.0] SkP5(skc1) || -> . % 0.56/0.80 2959[8:MRR:2956.1,2958.0] || -> p201(skc1)*. % 0.56/0.80 2961[8:MRR:1146.0,2949.0] p603(skc1) || -> . % 0.56/0.80 2962[8:MRR:2957.1,2961.0] || -> p601(skc1)*. % 0.56/0.80 2966[8:MRR:577.0,577.1,2959.0,2962.0] || -> . % 0.56/0.80 2968[2:Spt:2966.0,2386.0,2386.1,2386.3,2386.4,2386.6] || r1(skc1,u)*+ r1(skc1,v)* -> p102(u) p103(v) p101(skc1). % 0.56/0.80 2969[3:Spt:2968.1,2968.3] || r1(skc1,u)* -> p103(u). % 0.56/0.80 2970[3:Res:1.0,2969.0] || -> p103(skc1)*. % 0.56/0.80 2981[3:Res:17.0,2969.0] || -> p103(skf36(skc1))*. % 0.56/0.80 2982[3:Res:16.0,2969.0] || -> p103(skf37(skc1))*. % 0.56/0.80 2983[3:Res:15.0,2969.0] || -> p103(skf38(skc1))*. % 0.56/0.80 2984[3:Res:14.0,2969.0] || -> p103(skf39(skc1))*. % 0.56/0.80 2985[3:Res:13.0,2969.0] || -> p103(skf40(skc1))*. % 0.56/0.80 2997[4:Spt:96.0] || -> p501(skc1)*. % 0.56/0.80 2998[4:MRR:550.1,2997.0] p201(skc1) || -> . % 0.56/0.80 2999[4:MRR:685.1,2997.0] p401(skc1) || -> . % 0.56/0.80 3000[4:MRR:740.0,2997.0] p601(skc1) || -> . % 0.56/0.80 3001[4:MRR:631.1,2997.0] p301(skc1) || -> . % 0.56/0.80 3003[4:MRR:99.0,2998.0] || -> p202(skc1) SkP5(skc1)* SkP4(skc1) SkP2(skc1). % 0.56/0.80 3004[4:MRR:97.0,2999.0] || -> p402(skc1) p403(skc1) p404(skc1) SkP0(skc1)*. % 0.56/0.80 3005[4:MRR:1744.0,2999.0] || -> p402(skc1) p403(skc1) p404(skc1) p604(skc1)* p603(skc1) p602(skc1) p601(skc1). % 0.56/0.80 3006[4:MRR:95.0,3000.0] || -> p602(skc1) p603(skc1) p604(skc1) p605(skc1)*. % 0.56/0.80 3007[4:MRR:98.0,3001.0] || -> p302(skc1) p303(skc1) SkP3(skc1)* SkP1(skc1). % 0.56/0.80 3008[4:MRR:3005.6,3000.0] || -> p402(skc1) p403(skc1) p404(skc1) p604(skc1)* p603(skc1) p602(skc1). % 0.56/0.80 3009[5:Spt:3003.0] || -> p202(skc1)*. % 0.56/0.80 3011[5:MRR:794.0,3009.0] p402(skc1) || -> . % 0.56/0.80 3012[5:MRR:767.0,3009.0] p302(skc1) || -> . % 0.56/0.80 3013[5:MRR:848.0,3009.0] p602(skc1) || -> . % 0.56/0.80 3014[5:MRR:3004.0,3011.0] || -> p403(skc1) p404(skc1) SkP0(skc1)*. % 0.56/0.80 3015[5:MRR:3008.0,3011.0] || -> p403(skc1) p404(skc1) p604(skc1)* p603(skc1) p602(skc1). % 0.56/0.80 3016[5:MRR:3007.0,3012.0] || -> p303(skc1) SkP3(skc1)* SkP1(skc1). % 0.56/0.80 3017[5:MRR:3006.0,3013.0] || -> p603(skc1) p604(skc1) p605(skc1)*. % 0.56/0.80 3018[5:MRR:3015.4,3013.0] || -> p403(skc1) p404(skc1) p604(skc1)* p603(skc1). % 0.56/0.80 3019[3:Res:2981.0,110.1] p603(skc1) || r1(skc1,skc1)* -> . % 0.56/0.80 3020[3:MRR:3019.1,1.0] p603(skc1) || -> . % 0.56/0.80 3021[5:MRR:3017.0,3020.0] || -> p604(skc1) p605(skc1)*. % 0.56/0.80 3022[5:MRR:3018.3,3020.0] || -> p403(skc1) p404(skc1) p604(skc1)*. % 0.56/0.80 3023[6:Spt:3021.0] || -> p604(skc1)*. % 0.56/0.80 3024[6:MRR:1554.1,3023.0] SkP3(skc1) || -> . % 0.56/0.80 3027[6:MRR:1228.1,3023.0] p404(skc1) || -> . % 0.56/0.80 3028[6:MRR:3016.1,3024.0] || -> p303(skc1) SkP1(skc1)*. % 0.56/0.80 3029[6:MRR:3014.1,3027.0] || -> p403(skc1) SkP0(skc1)*. % 0.56/0.80 3030[3:Res:2982.0,111.1] p503(skc1) || r1(skc1,skc1)* -> . % 0.56/0.80 3031[3:MRR:3030.1,1.0] p503(skc1) || -> . % 0.56/0.80 3032[3:Res:2983.0,112.1] p403(skc1) || r1(skc1,skc1)* -> . % 0.56/0.80 3033[3:MRR:3032.1,1.0] p403(skc1) || -> . % 0.56/0.80 3034[6:MRR:3029.0,3033.0] || -> SkP0(skc1)*. % 0.56/0.80 3037[6:MRR:1826.1,3034.0] SkP1(skc1) || -> . % 0.56/0.80 3039[6:MRR:3028.1,3037.0] || -> p303(skc1)*. % 0.56/0.80 3041[3:Res:2984.0,113.1] p303(skc1) || r1(skc1,skc1)* -> . % 0.56/0.80 3042[6:SSi:3041.0,2970.0,2997.0,3009.0,3023.0,3034.0,3039.0] || r1(skc1,skc1)* -> . % 0.56/0.80 3043[6:MRR:3042.0,1.0] || -> . % 0.56/0.80 3044[6:Spt:3043.0,3021.0,3023.0] || p604(skc1)* -> . % 0.56/0.80 3045[6:Spt:3043.0,3021.1] || -> p605(skc1)*. % 0.56/0.80 3046[6:MRR:3022.0,3022.2,3033.0,3044.0] || -> p404(skc1)*. % 0.56/0.80 3048[6:MRR:1500.1,3046.0] SkP3(skc1) || -> . % 0.56/0.80 3049[6:MRR:3016.1,3048.0] || -> p303(skc1) SkP1(skc1)*. % 0.56/0.80 3055[6:MRR:1662.1,3045.0] SkP1(skc1) || -> . % 0.56/0.80 3056[6:MRR:3049.1,3055.0] || -> p303(skc1)*. % 0.56/0.80 3058[3:MRR:3041.1,1.0] p303(skc1) || -> . % 0.56/0.80 3059[6:MRR:3058.0,3056.0] || -> . % 0.56/0.80 3060[5:Spt:3059.0,3003.0,3009.0] || p202(skc1)* -> . % 0.56/0.80 3061[5:Spt:3059.0,3003.1,3003.2,3003.3] || -> SkP5(skc1)* SkP4(skc1) SkP2(skc1). % 0.56/0.80 3062[4:MRR:3004.1,3033.0] || -> p402(skc1) p404(skc1) SkP0(skc1)*. % 0.56/0.80 3063[4:MRR:3007.1,3058.0] || -> p302(skc1) SkP3(skc1)* SkP1(skc1). % 0.56/0.80 3064[4:MRR:3006.1,3020.0] || -> p602(skc1) p604(skc1) p605(skc1)*. % 0.56/0.80 3065[4:MRR:3008.1,3008.4,3033.0,3020.0] || -> p402(skc1) p404(skc1) p604(skc1)* p602(skc1). % 0.56/0.80 3066[6:Spt:3061.0] || -> SkP5(skc1)*. % 0.56/0.80 3067[3:Res:2985.0,114.1] SkP5(skc1) || r1(skc1,skc1)* -> . % 0.56/0.80 3068[6:SSi:3067.0,2970.0,2997.0,3066.0] || r1(skc1,skc1)* -> . % 0.56/0.80 3069[6:MRR:3068.0,1.0] || -> . % 0.56/0.80 3070[6:Spt:3069.0,3061.0,3066.0] || SkP5(skc1)* -> . % 0.56/0.80 3071[6:Spt:3069.0,3061.1,3061.2] || -> SkP4(skc1)* SkP2(skc1). % 0.56/0.80 3072[3:MRR:3067.1,1.0] SkP5(skc1) || -> . % 0.56/0.80 3073[7:Spt:3071.0] || -> SkP4(skc1)*. % 0.56/0.80 3074[7:MRR:1473.0,3073.0] p604(skc1) || -> . % 0.56/0.80 3075[7:MRR:1745.0,3073.0] SkP3(skc1) || -> . % 0.56/0.80 3077[7:MRR:1418.0,3073.0] p404(skc1) || -> . % 0.56/0.80 3078[7:MRR:3064.1,3074.0] || -> p602(skc1) p605(skc1)*. % 0.56/0.80 3079[7:MRR:3065.2,3074.0] || -> p402(skc1) p404(skc1)* p602(skc1). % 0.56/0.80 3080[7:MRR:3063.1,3075.0] || -> p302(skc1) SkP1(skc1)*. % 0.56/0.80 3081[7:MRR:3062.1,3077.0] || -> p402(skc1) SkP0(skc1)*. % 0.56/0.80 3082[7:MRR:3079.1,3077.0] || -> p402(skc1) p602(skc1)*. % 0.56/0.80 3083[8:Spt:3078.0] || -> p602(skc1)*. % 0.56/0.80 3086[8:MRR:984.1,3083.0] p402(skc1) || -> . % 0.56/0.80 3087[8:MRR:929.1,3083.0] p302(skc1) || -> . % 0.56/0.80 3088[8:MRR:3081.0,3086.0] || -> SkP0(skc1)*. % 0.56/0.80 3090[8:MRR:1826.1,3088.0] SkP1(skc1) || -> . % 0.56/0.80 3093[8:MRR:3080.0,3087.0] || -> SkP1(skc1)*. % 0.56/0.80 3097[8:MRR:3090.0,3093.0] || -> . % 0.56/0.80 3098[8:Spt:3097.0,3078.0,3083.0] || p602(skc1)* -> . % 0.56/0.80 3099[8:Spt:3097.0,3078.1] || -> p605(skc1)*. % 0.56/0.80 3100[8:MRR:3082.1,3098.0] || -> p402(skc1)*. % 0.56/0.80 3104[8:MRR:875.1,3100.0] p302(skc1) || -> . % 0.56/0.80 3105[8:MRR:3080.0,3104.0] || -> SkP1(skc1)*. % 0.56/0.80 3107[8:MRR:1662.0,1662.1,3105.0,3099.0] || -> . % 0.56/0.80 3110[7:Spt:3107.0,3071.0,3073.0] || SkP4(skc1)* -> . % 0.56/0.80 3111[7:Spt:3107.0,3071.1] || -> SkP2(skc1)*. % 0.56/0.80 3112[7:MRR:1799.0,3111.0] SkP0(skc1) || -> . % 0.56/0.80 3113[7:MRR:1772.0,3111.0] SkP1(skc1) || -> . % 0.56/0.80 3114[7:MRR:1608.0,3111.0] p605(skc1) || -> . % 0.56/0.80 3116[7:MRR:3064.2,3114.0] || -> p602(skc1) p604(skc1)*. % 0.56/0.80 3117[7:MRR:3063.2,3113.0] || -> p302(skc1) SkP3(skc1)*. % 0.56/0.80 3118[7:MRR:3062.2,3112.0] || -> p402(skc1) p404(skc1)*. % 0.56/0.80 3119[8:Spt:3116.0] || -> p602(skc1)*. % 0.56/0.80 3120[8:MRR:984.1,3119.0] p402(skc1) || -> . % 0.56/0.80 3121[8:MRR:929.1,3119.0] p302(skc1) || -> . % 0.56/0.80 3124[8:MRR:3118.0,3120.0] || -> p404(skc1)*. % 0.56/0.80 3127[8:MRR:1500.1,3124.0] SkP3(skc1) || -> . % 0.56/0.80 3129[8:MRR:3117.0,3121.0] || -> SkP3(skc1)*. % 0.56/0.80 3133[8:MRR:3127.0,3129.0] || -> . % 0.56/0.80 3134[8:Spt:3133.0,3116.0,3119.0] || p602(skc1)* -> . % 0.56/0.80 3135[8:Spt:3133.0,3116.1] || -> p604(skc1)*. % 0.56/0.80 3136[8:MRR:1228.1,3135.0] p404(skc1) || -> . % 0.56/0.80 3137[8:MRR:3118.1,3136.0] || -> p402(skc1)*. % 0.56/0.80 3141[8:MRR:875.1,3137.0] p302(skc1) || -> . % 0.56/0.80 3142[8:MRR:3117.0,3141.0] || -> SkP3(skc1)*. % 0.56/0.80 3144[8:MRR:1554.0,1554.1,3142.0,3135.0] || -> . % 0.56/0.80 3146[4:Spt:3144.0,96.0,2997.0] || p501(skc1)* -> . % 0.56/0.80 3147[4:Spt:3144.0,96.1,96.2,96.3,96.4] || -> p502(skc1) p503(skc1) p504(skc1) p505(skc1)*. % 0.56/0.80 3148[4:MRR:3147.1,3031.0] || -> p502(skc1) p504(skc1) p505(skc1)*. % 0.56/0.80 3149[3:MRR:99.2,3072.0] || -> p201(skc1) p202(skc1) SkP4(skc1)* SkP2(skc1). % 0.56/0.80 3150[3:MRR:97.2,3033.0] || -> p401(skc1) p402(skc1) p404(skc1) SkP0(skc1)*. % 0.56/0.80 3151[3:MRR:95.2,3020.0] || -> p601(skc1) p602(skc1) p604(skc1) p605(skc1)*. % 0.56/0.80 3152[3:MRR:98.2,3058.0] || -> p301(skc1) p302(skc1) SkP3(skc1)* SkP1(skc1). % 0.56/0.80 3153[3:MRR:1309.2,1309.5,3031.0,3020.0] || -> p501(skc1) p502(skc1) p504(skc1) p604(skc1)* p602(skc1) p601(skc1). % 0.56/0.80 3154[4:MRR:3153.0,3146.0] || -> p502(skc1) p504(skc1) p604(skc1)* p602(skc1) p601(skc1). % 0.56/0.80 3155[3:MRR:1716.2,1716.5,3033.0,3031.0] || -> p401(skc1) p402(skc1) p404(skc1) p504(skc1)* p502(skc1) p501(skc1). % 0.56/0.80 3156[4:MRR:3155.5,3146.0] || -> p401(skc1) p402(skc1) p404(skc1) p504(skc1)* p502(skc1). % 0.56/0.80 3157[3:MRR:1744.2,1744.5,3033.0,3020.0] || -> p401(skc1) p402(skc1) p404(skc1) p604(skc1)* p602(skc1) p601(skc1). % 0.56/0.80 3158[5:Spt:3149.0] || -> p201(skc1)*. % 0.56/0.80 3161[5:MRR:496.0,3158.0] p301(skc1) || -> . % 0.56/0.80 3162[5:MRR:577.0,3158.0] p601(skc1) || -> . % 0.56/0.80 3163[5:MRR:523.0,3158.0] p401(skc1) || -> . % 0.56/0.80 3164[5:MRR:3152.0,3161.0] || -> p302(skc1) SkP3(skc1)* SkP1(skc1). % 0.56/0.80 3165[5:MRR:3151.0,3162.0] || -> p602(skc1) p604(skc1) p605(skc1)*. % 0.56/0.80 3166[5:MRR:3154.4,3162.0] || -> p502(skc1) p504(skc1) p604(skc1)* p602(skc1). % 0.56/0.80 3167[5:MRR:3157.5,3162.0] || -> p401(skc1) p402(skc1) p404(skc1) p604(skc1)* p602(skc1). % 0.56/0.80 3168[5:MRR:3150.0,3163.0] || -> p402(skc1) p404(skc1) SkP0(skc1)*. % 0.56/0.80 3169[5:MRR:3156.0,3163.0] || -> p402(skc1) p404(skc1) p504(skc1)* p502(skc1). % 0.56/0.80 3170[5:MRR:3167.0,3163.0] || -> p402(skc1) p404(skc1) p604(skc1)* p602(skc1). % 0.56/0.80 3171[6:Spt:3164.0] || -> p302(skc1)*. % 0.56/0.80 3172[6:MRR:875.0,3171.0] p402(skc1) || -> . % 0.56/0.80 3173[6:MRR:929.0,3171.0] p602(skc1) || -> . % 0.56/0.80 3175[6:MRR:902.0,3171.0] p502(skc1) || -> . % 0.56/0.80 3176[6:MRR:3168.0,3172.0] || -> p404(skc1) SkP0(skc1)*. % 0.56/0.80 3177[6:MRR:3169.0,3172.0] || -> p404(skc1) p504(skc1)* p502(skc1). % 0.56/0.80 3178[6:MRR:3170.0,3172.0] || -> p404(skc1) p604(skc1)* p602(skc1). % 0.56/0.80 3180[6:MRR:3166.3,3173.0] || -> p502(skc1) p504(skc1) p604(skc1)*. % 0.56/0.80 3182[6:MRR:3177.2,3175.0] || -> p404(skc1) p504(skc1)*. % 0.56/0.80 3183[6:MRR:3178.2,3173.0] || -> p404(skc1) p604(skc1)*. % 0.56/0.80 3184[6:MRR:3180.0,3175.0] || -> p504(skc1) p604(skc1)*. % 0.56/0.80 3185[7:Spt:3176.0] || -> p404(skc1)*. % 0.56/0.80 3186[7:MRR:1228.0,3185.0] p604(skc1) || -> . % 0.56/0.80 3187[7:MRR:1201.0,3185.0] p504(skc1) || -> . % 0.56/0.80 3191[7:MRR:3184.1,3186.0] || -> p504(skc1)*. % 0.56/0.80 3198[7:MRR:3187.0,3191.0] || -> . % 0.56/0.80 3199[7:Spt:3198.0,3176.0,3185.0] || p404(skc1)* -> . % 0.56/0.80 3200[7:Spt:3198.0,3176.1] || -> SkP0(skc1)*. % 0.56/0.80 3201[7:MRR:3182.0,3199.0] || -> p504(skc1)*. % 0.56/0.80 3202[7:MRR:3183.0,3199.0] || -> p604(skc1)*. % 0.56/0.80 3206[7:MRR:1255.0,1255.1,3201.0,3202.0] || -> . % 0.56/0.80 3211[6:Spt:3206.0,3164.0,3171.0] || p302(skc1)* -> . % 0.56/0.80 3212[6:Spt:3206.0,3164.1,3164.2] || -> SkP3(skc1)* SkP1(skc1). % 0.56/0.80 3213[7:Spt:3212.0] || -> SkP3(skc1)*. % 0.56/0.80 3214[7:MRR:1500.0,3213.0] p404(skc1) || -> . % 0.56/0.80 3215[7:MRR:1554.0,3213.0] p604(skc1) || -> . % 0.56/0.80 3216[7:MRR:1527.0,3213.0] p504(skc1) || -> . % 0.56/0.80 3218[7:MRR:3168.1,3214.0] || -> p402(skc1) SkP0(skc1)*. % 0.56/0.80 3219[7:MRR:3170.1,3214.0] || -> p402(skc1) p604(skc1)* p602(skc1). % 0.56/0.80 3220[7:MRR:3169.1,3214.0] || -> p402(skc1) p504(skc1)* p502(skc1). % 0.56/0.80 3222[7:MRR:3166.2,3215.0] || -> p502(skc1) p504(skc1)* p602(skc1). % 0.56/0.80 3224[7:MRR:3219.1,3215.0] || -> p402(skc1) p602(skc1)*. % 0.56/0.80 3225[7:MRR:3220.1,3216.0] || -> p402(skc1) p502(skc1)*. % 0.56/0.80 3226[7:MRR:3222.1,3216.0] || -> p502(skc1) p602(skc1)*. % 0.56/0.80 3227[8:Spt:3218.0] || -> p402(skc1)*. % 0.56/0.80 3229[8:MRR:956.0,3227.0] p502(skc1) || -> . % 0.56/0.80 3231[8:MRR:984.0,3227.0] p602(skc1) || -> . % 0.56/0.80 3233[8:MRR:3226.0,3229.0] || -> p602(skc1)*. % 0.56/0.80 3239[8:MRR:3231.0,3233.0] || -> . % 0.56/0.80 3240[8:Spt:3239.0,3218.0,3227.0] || p402(skc1)* -> . % 0.56/0.80 3241[8:Spt:3239.0,3218.1] || -> SkP0(skc1)*. % 0.56/0.80 3242[8:MRR:3224.0,3240.0] || -> p602(skc1)*. % 0.56/0.80 3243[8:MRR:3225.0,3240.0] || -> p502(skc1)*. % 0.56/0.80 3246[8:MRR:1011.0,1011.1,3243.0,3242.0] || -> . % 0.56/0.80 3252[7:Spt:3246.0,3212.0,3213.0] || SkP3(skc1)* -> . % 0.56/0.80 3253[7:Spt:3246.0,3212.1] || -> SkP1(skc1)*. % 0.56/0.80 3254[7:MRR:1635.0,3253.0] p505(skc1) || -> . % 0.56/0.80 3255[7:MRR:1662.0,3253.0] p605(skc1) || -> . % 0.56/0.80 3256[7:MRR:1826.0,3253.0] SkP0(skc1) || -> . % 0.56/0.80 3258[7:MRR:3168.2,3256.0] || -> p402(skc1) p404(skc1)*. % 0.56/0.80 3259[7:MRR:3165.2,3255.0] || -> p602(skc1) p604(skc1)*. % 0.56/0.80 3260[7:MRR:3148.2,3254.0] || -> p502(skc1) p504(skc1)*. % 0.56/0.80 3261[8:Spt:3258.0] || -> p402(skc1)*. % 0.56/0.80 3262[8:MRR:984.0,3261.0] p602(skc1) || -> . % 0.56/0.80 3264[8:MRR:956.0,3261.0] p502(skc1) || -> . % 0.56/0.80 3266[8:MRR:3259.0,3262.0] || -> p604(skc1)*. % 0.56/0.80 3270[8:MRR:1255.1,3266.0] p504(skc1) || -> . % 0.56/0.80 3271[8:MRR:3260.0,3264.0] || -> p504(skc1)*. % 0.56/0.80 3275[8:MRR:3270.0,3271.0] || -> . % 0.56/0.80 3276[8:Spt:3275.0,3258.0,3261.0] || p402(skc1)* -> . % 0.56/0.80 3277[8:Spt:3275.0,3258.1] || -> p404(skc1)*. % 0.56/0.80 3278[8:MRR:1228.0,3277.0] p604(skc1) || -> . % 0.56/0.80 3279[8:MRR:3259.1,3278.0] || -> p602(skc1)*. % 0.56/0.80 3282[8:MRR:1011.1,3279.0] p502(skc1) || -> . % 0.56/0.80 3284[8:MRR:3260.0,3282.0] || -> p504(skc1)*. % 0.56/0.80 3286[8:MRR:1201.0,1201.1,3277.0,3284.0] || -> . % 0.56/0.80 3288[5:Spt:3286.0,3149.0,3158.0] || p201(skc1)* -> . % 0.56/0.80 3289[5:Spt:3286.0,3149.1,3149.2,3149.3] || -> p202(skc1) SkP4(skc1)* SkP2(skc1). % 0.56/0.80 3290[6:Spt:3289.0] || -> p202(skc1)*. % 0.56/0.80 3291[6:MRR:848.0,3290.0] p602(skc1) || -> . % 0.56/0.80 3292[6:MRR:794.0,3290.0] p402(skc1) || -> . % 0.56/0.80 3293[6:MRR:767.0,3290.0] p302(skc1) || -> . % 0.56/0.80 3294[6:MRR:821.0,3290.0] p502(skc1) || -> . % 0.56/0.80 3295[6:MRR:3151.1,3291.0] || -> p601(skc1) p604(skc1) p605(skc1)*. % 0.56/0.80 3296[6:MRR:3154.3,3291.0] || -> p502(skc1) p504(skc1) p604(skc1)* p601(skc1). % 0.56/0.80 3297[6:MRR:3157.4,3291.0] || -> p401(skc1) p402(skc1) p404(skc1) p604(skc1)* p601(skc1). % 0.56/0.80 3298[6:MRR:3150.1,3292.0] || -> p401(skc1) p404(skc1) SkP0(skc1)*. % 0.56/0.80 3299[6:MRR:3156.1,3292.0] || -> p401(skc1) p404(skc1) p504(skc1)* p502(skc1). % 0.56/0.80 3300[6:MRR:3152.1,3293.0] || -> p301(skc1) SkP3(skc1)* SkP1(skc1). % 0.56/0.80 3301[6:MRR:3148.0,3294.0] || -> p504(skc1) p505(skc1)*. % 0.56/0.80 3302[6:MRR:3296.0,3294.0] || -> p504(skc1) p604(skc1)* p601(skc1). % 0.56/0.80 3303[6:MRR:3299.3,3294.0] || -> p401(skc1) p404(skc1) p504(skc1)*. % 0.56/0.80 3304[6:MRR:3297.1,3292.0] || -> p401(skc1) p404(skc1) p604(skc1)* p601(skc1). % 0.56/0.80 3305[7:Spt:3295.0] || -> p601(skc1)*. % 0.56/0.80 3309[7:MRR:658.1,3305.0] p301(skc1) || -> . % 0.56/0.80 3310[7:MRR:712.1,3305.0] p401(skc1) || -> . % 0.56/0.80 3311[7:MRR:3300.0,3309.0] || -> SkP3(skc1)* SkP1(skc1). % 0.56/0.80 3312[7:MRR:3298.0,3310.0] || -> p404(skc1) SkP0(skc1)*. % 0.56/0.80 3313[7:MRR:3303.0,3310.0] || -> p404(skc1) p504(skc1)*. % 0.56/0.80 3314[8:Spt:3311.0] || -> SkP3(skc1)*. % 0.56/0.80 3316[8:MRR:1527.0,3314.0] p504(skc1) || -> . % 0.56/0.80 3318[8:MRR:1500.0,3314.0] p404(skc1) || -> . % 0.56/0.80 3320[8:MRR:3313.1,3316.0] || -> p404(skc1)*. % 0.56/0.80 3326[8:MRR:3318.0,3320.0] || -> . % 0.56/0.80 3327[8:Spt:3326.0,3311.0,3314.0] || SkP3(skc1)* -> . % 0.56/0.80 3328[8:Spt:3326.0,3311.1] || -> SkP1(skc1)*. % 0.56/0.80 3329[8:MRR:1635.0,3328.0] p505(skc1) || -> . % 0.56/0.80 3330[8:MRR:3301.1,3329.0] || -> p504(skc1)*. % 0.56/0.80 3334[8:MRR:1201.1,3330.0] p404(skc1) || -> . % 0.56/0.80 3335[8:MRR:3312.0,3334.0] || -> SkP0(skc1)*. % 0.56/0.80 3337[8:MRR:1826.0,1826.1,3328.0,3335.0] || -> . % 0.56/0.80 3339[7:Spt:3337.0,3295.0,3305.0] || p601(skc1)* -> . % 0.56/0.80 3340[7:Spt:3337.0,3295.1,3295.2] || -> p604(skc1) p605(skc1)*. % 0.56/0.80 3341[7:MRR:3302.2,3339.0] || -> p504(skc1) p604(skc1)*. % 0.56/0.80 3342[7:MRR:3304.3,3339.0] || -> p401(skc1) p404(skc1) p604(skc1)*. % 0.56/0.80 3343[8:Spt:3340.0] || -> p604(skc1)*. % 0.56/0.80 3344[8:MRR:1255.1,3343.0] p504(skc1) || -> . % 0.56/0.80 3345[8:MRR:1554.1,3343.0] SkP3(skc1) || -> . % 0.56/0.80 3346[8:MRR:1228.1,3343.0] p404(skc1) || -> . % 0.56/0.80 3348[8:MRR:3301.0,3344.0] || -> p505(skc1)*. % 0.56/0.80 3349[8:MRR:3303.2,3344.0] || -> p401(skc1) p404(skc1)*. % 0.56/0.80 3350[8:MRR:1635.1,3348.0] SkP1(skc1) || -> . % 0.56/0.80 3354[8:MRR:3300.1,3345.0] || -> p301(skc1) SkP1(skc1)*. % 0.56/0.80 3356[8:MRR:3349.1,3346.0] || -> p401(skc1)*. % 0.56/0.80 3361[8:MRR:604.1,3356.0] p301(skc1) || -> . % 0.56/0.80 3362[8:MRR:3354.0,3354.1,3361.0,3350.0] || -> . % 0.56/0.80 3363[8:Spt:3362.0,3340.0,3343.0] || p604(skc1)* -> . % 0.56/0.80 3364[8:Spt:3362.0,3340.1] || -> p605(skc1)*. % 0.56/0.80 3365[8:MRR:3341.1,3363.0] || -> p504(skc1)*. % 0.56/0.80 3366[8:MRR:3342.2,3363.0] || -> p401(skc1) p404(skc1)*. % 0.56/0.80 3368[8:MRR:1201.1,3365.0] p404(skc1) || -> . % 0.56/0.80 3369[8:MRR:3366.1,3368.0] || -> p401(skc1)*. % 0.56/0.80 3371[8:MRR:1527.1,3365.0] SkP3(skc1) || -> . % 0.56/0.80 3373[8:MRR:3300.1,3371.0] || -> p301(skc1) SkP1(skc1)*. % 0.56/0.80 3374[8:MRR:1662.1,3364.0] SkP1(skc1) || -> . % 0.56/0.80 3375[8:MRR:3373.1,3374.0] || -> p301(skc1)*. % 0.56/0.80 3378[8:MRR:604.0,604.1,3375.0,3369.0] || -> . % 0.56/0.80 3383[6:Spt:3378.0,3289.0,3290.0] || p202(skc1)* -> . % 0.56/0.80 3384[6:Spt:3378.0,3289.1,3289.2] || -> SkP4(skc1)* SkP2(skc1). % 0.56/0.80 3385[7:Spt:3384.0] || -> SkP4(skc1)*. % 0.56/0.80 3386[7:MRR:1473.0,3385.0] p604(skc1) || -> . % 0.56/0.80 3387[7:MRR:1446.0,3385.0] p504(skc1) || -> . % 0.56/0.80 3388[7:MRR:1745.0,3385.0] SkP3(skc1) || -> . % 0.56/0.80 3389[7:MRR:1418.0,3385.0] p404(skc1) || -> . % 0.56/0.80 3390[7:MRR:3151.2,3386.0] || -> p601(skc1) p602(skc1) p605(skc1)*. % 0.56/0.80 3391[7:MRR:3154.2,3386.0] || -> p502(skc1) p504(skc1)* p602(skc1) p601(skc1). % 0.56/0.80 3392[7:MRR:3157.3,3386.0] || -> p401(skc1) p402(skc1) p404(skc1)* p602(skc1) p601(skc1). % 0.56/0.80 3393[7:MRR:3148.1,3387.0] || -> p502(skc1) p505(skc1)*. % 0.56/0.80 3394[7:MRR:3156.3,3387.0] || -> p401(skc1) p402(skc1) p404(skc1)* p502(skc1). % 0.56/0.80 3395[7:MRR:3152.2,3388.0] || -> p301(skc1) p302(skc1) SkP1(skc1)*. % 0.56/0.80 3396[7:MRR:3150.2,3389.0] || -> p401(skc1) p402(skc1) SkP0(skc1)*. % 0.56/0.80 3397[7:MRR:3391.1,3387.0] || -> p502(skc1) p602(skc1)* p601(skc1). % 0.56/0.80 3398[7:MRR:3394.2,3389.0] || -> p401(skc1) p402(skc1) p502(skc1)*. % 0.56/0.80 3399[7:MRR:3392.2,3389.0] || -> p401(skc1) p402(skc1) p602(skc1)* p601(skc1). % 0.56/0.80 3400[8:Spt:3390.0] || -> p601(skc1)*. % 0.56/0.80 3401[8:MRR:712.1,3400.0] p401(skc1) || -> . % 0.56/0.80 3402[8:MRR:658.1,3400.0] p301(skc1) || -> . % 0.56/0.80 3406[8:MRR:3396.0,3401.0] || -> p402(skc1) SkP0(skc1)*. % 0.56/0.80 3407[8:MRR:3398.0,3401.0] || -> p402(skc1) p502(skc1)*. % 0.56/0.80 3408[8:MRR:3395.0,3402.0] || -> p302(skc1) SkP1(skc1)*. % 0.56/0.80 3409[9:Spt:3406.0] || -> p402(skc1)*. % 0.56/0.80 3412[9:MRR:875.1,3409.0] p302(skc1) || -> . % 0.56/0.80 3413[9:MRR:956.0,3409.0] p502(skc1) || -> . % 0.56/0.80 3414[9:MRR:3408.0,3412.0] || -> SkP1(skc1)*. % 0.56/0.80 3415[9:MRR:1635.0,3414.0] p505(skc1) || -> . % 0.56/0.80 3419[9:MRR:3393.0,3413.0] || -> p505(skc1)*. % 0.56/0.80 3423[9:MRR:3415.0,3419.0] || -> . % 0.56/0.80 3424[9:Spt:3423.0,3406.0,3409.0] || p402(skc1)* -> . % 0.56/0.80 3425[9:Spt:3423.0,3406.1] || -> SkP0(skc1)*. % 0.56/0.80 3426[9:MRR:3407.0,3424.0] || -> p502(skc1)*. % 0.56/0.80 3430[9:MRR:902.1,3426.0] p302(skc1) || -> . % 0.56/0.80 3431[9:MRR:3408.0,3430.0] || -> SkP1(skc1)*. % 0.56/0.80 3433[9:MRR:1826.0,1826.1,3431.0,3425.0] || -> . % 0.56/0.80 3436[8:Spt:3433.0,3390.0,3400.0] || p601(skc1)* -> . % 0.56/0.80 3437[8:Spt:3433.0,3390.1,3390.2] || -> p602(skc1) p605(skc1)*. % 0.56/0.80 3438[8:MRR:3397.2,3436.0] || -> p502(skc1) p602(skc1)*. % 0.56/0.80 3439[8:MRR:3399.3,3436.0] || -> p401(skc1) p402(skc1) p602(skc1)*. % 0.56/0.80 3440[9:Spt:3437.0] || -> p602(skc1)*. % 0.56/0.80 3441[9:MRR:984.1,3440.0] p402(skc1) || -> . % 0.56/0.80 3443[9:MRR:1011.1,3440.0] p502(skc1) || -> . % 0.56/0.80 3444[9:MRR:929.1,3440.0] p302(skc1) || -> . % 0.56/0.80 3445[9:MRR:3398.1,3441.0] || -> p401(skc1) p502(skc1)*. % 0.56/0.80 3447[9:MRR:3393.0,3443.0] || -> p505(skc1)*. % 0.56/0.80 3448[9:MRR:1635.1,3447.0] SkP1(skc1) || -> . % 0.56/0.80 3452[9:MRR:3395.1,3444.0] || -> p301(skc1) SkP1(skc1)*. % 0.56/0.80 3453[9:MRR:3445.1,3443.0] || -> p401(skc1)*. % 0.56/0.80 3455[9:MRR:604.1,3453.0] p301(skc1) || -> . % 0.56/0.80 3459[9:MRR:3452.0,3452.1,3455.0,3448.0] || -> . % 0.56/0.80 3460[9:Spt:3459.0,3437.0,3440.0] || p602(skc1)* -> . % 0.56/0.80 3461[9:Spt:3459.0,3437.1] || -> p605(skc1)*. % 0.56/0.80 3462[9:MRR:3438.1,3460.0] || -> p502(skc1)*. % 0.56/0.80 3463[9:MRR:3439.2,3460.0] || -> p401(skc1) p402(skc1)*. % 0.56/0.80 3465[9:MRR:956.1,3462.0] p402(skc1) || -> . % 0.56/0.80 3466[9:MRR:3463.1,3465.0] || -> p401(skc1)*. % 0.56/0.80 3468[9:MRR:902.1,3462.0] p302(skc1) || -> . % 0.56/0.80 3470[9:MRR:3395.1,3468.0] || -> p301(skc1) SkP1(skc1)*. % 0.56/0.80 3471[9:MRR:1662.1,3461.0] SkP1(skc1) || -> . % 0.56/0.80 3472[9:MRR:3470.1,3471.0] || -> p301(skc1)*. % 0.56/0.80 3478[9:MRR:604.0,604.1,3472.0,3466.0] || -> . % 0.56/0.80 3480[7:Spt:3478.0,3384.0,3385.0] || SkP4(skc1)* -> . % 0.56/0.80 3481[7:Spt:3478.0,3384.1] || -> SkP2(skc1)*. % 0.56/0.80 3482[7:MRR:1581.0,3481.0] p505(skc1) || -> . % 0.56/0.80 3483[7:MRR:1772.0,3481.0] SkP1(skc1) || -> . % 0.56/0.80 3484[7:MRR:1608.0,3481.0] p605(skc1) || -> . % 0.56/0.80 3485[7:MRR:1799.0,3481.0] SkP0(skc1) || -> . % 0.56/0.80 3486[7:MRR:3148.2,3482.0] || -> p502(skc1) p504(skc1)*. % 0.56/0.80 3487[7:MRR:3151.3,3484.0] || -> p601(skc1) p602(skc1) p604(skc1)*. % 0.56/0.80 3488[7:MRR:3152.3,3483.0] || -> p301(skc1) p302(skc1) SkP3(skc1)*. % 0.56/0.80 3489[7:MRR:3150.3,3485.0] || -> p401(skc1) p402(skc1) p404(skc1)*. % 0.56/0.80 3490[8:Spt:3487.0] || -> p601(skc1)*. % 0.56/0.80 3491[8:MRR:712.1,3490.0] p401(skc1) || -> . % 0.56/0.80 3495[8:MRR:658.1,3490.0] p301(skc1) || -> . % 0.56/0.80 3496[8:MRR:3489.0,3491.0] || -> p402(skc1) p404(skc1)*. % 0.56/0.80 3497[8:MRR:3488.0,3495.0] || -> p302(skc1) SkP3(skc1)*. % 0.56/0.80 3498[9:Spt:3496.0] || -> p402(skc1)*. % 0.56/0.80 3500[9:MRR:956.0,3498.0] p502(skc1) || -> . % 0.56/0.80 3501[9:MRR:875.1,3498.0] p302(skc1) || -> . % 0.56/0.80 3503[9:MRR:3486.0,3500.0] || -> p504(skc1)*. % 0.56/0.80 3507[9:MRR:1527.1,3503.0] SkP3(skc1) || -> . % 0.56/0.80 3508[9:MRR:3497.0,3501.0] || -> SkP3(skc1)*. % 0.56/0.80 3512[9:MRR:3507.0,3508.0] || -> . % 0.56/0.80 3513[9:Spt:3512.0,3496.0,3498.0] || p402(skc1)* -> . % 0.56/0.80 3514[9:Spt:3512.0,3496.1] || -> p404(skc1)*. % 0.56/0.80 3515[9:MRR:1201.0,3514.0] p504(skc1) || -> . % 0.56/0.80 3516[9:MRR:3486.1,3515.0] || -> p502(skc1)*. % 0.56/0.80 3520[9:MRR:902.1,3516.0] p302(skc1) || -> . % 0.56/0.80 3521[9:MRR:3497.0,3520.0] || -> SkP3(skc1)*. % 0.56/0.80 3522[9:MRR:1500.0,1500.1,3521.0,3514.0] || -> . % 0.56/0.80 3525[8:Spt:3522.0,3487.0,3490.0] || p601(skc1)* -> . % 0.56/0.80 3526[8:Spt:3522.0,3487.1,3487.2] || -> p602(skc1) p604(skc1)*. % 0.56/0.80 3527[9:Spt:3526.0] || -> p602(skc1)*. % 0.56/0.80 3528[9:MRR:1011.1,3527.0] p502(skc1) || -> . % 0.56/0.80 3529[9:MRR:984.1,3527.0] p402(skc1) || -> . % 0.56/0.80 3530[9:MRR:929.1,3527.0] p302(skc1) || -> . % 0.56/0.80 3532[9:MRR:3486.0,3528.0] || -> p504(skc1)*. % 0.56/0.80 3533[9:MRR:1201.1,3532.0] p404(skc1) || -> . % 0.56/0.80 3534[9:MRR:1527.1,3532.0] SkP3(skc1) || -> . % 0.56/0.80 3537[9:MRR:3489.1,3529.0] || -> p401(skc1) p404(skc1)*. % 0.56/0.80 3538[9:MRR:3488.1,3530.0] || -> p301(skc1) SkP3(skc1)*. % 0.56/0.80 3539[9:MRR:3537.1,3533.0] || -> p401(skc1)*. % 0.56/0.80 3544[9:MRR:604.1,3539.0] p301(skc1) || -> . % 0.56/0.80 3545[9:MRR:3538.0,3538.1,3544.0,3534.0] || -> . % 0.56/0.80 3546[9:Spt:3545.0,3526.0,3527.0] || p602(skc1)* -> . % 0.56/0.80 3547[9:Spt:3545.0,3526.1] || -> p604(skc1)*. % 0.56/0.80 3548[9:MRR:1255.1,3547.0] p504(skc1) || -> . % 0.56/0.80 3549[9:MRR:3486.1,3548.0] || -> p502(skc1)*. % 0.56/0.80 3551[9:MRR:902.1,3549.0] p302(skc1) || -> . % 0.56/0.80 3553[9:MRR:956.1,3549.0] p402(skc1) || -> . % 0.56/0.80 3554[9:MRR:3489.1,3553.0] || -> p401(skc1) p404(skc1)*. % 0.56/0.80 3555[9:MRR:3488.1,3551.0] || -> p301(skc1) SkP3(skc1)*. % 0.56/0.80 3556[9:MRR:1228.1,3547.0] p404(skc1) || -> . % 0.56/0.80 3557[9:MRR:3554.1,3556.0] || -> p401(skc1)*. % 0.56/0.80 3558[9:MRR:1554.1,3547.0] SkP3(skc1) || -> . % 0.56/0.80 3559[9:MRR:3555.1,3558.0] || -> p301(skc1)*. % 0.56/0.80 3561[9:MRR:604.0,604.1,3559.0,3557.0] || -> . % 0.56/0.80 3566[3:Spt:3561.0,2968.0,2968.2,2968.4] || r1(skc1,u)* -> p102(u) p101(skc1). % 0.56/0.80 3567[4:Spt:3566.0,3566.1] || r1(skc1,u)* -> p102(u). % 0.56/0.80 3568[4:Res:1.0,3567.0] || -> p102(skc1)*. % 0.56/0.80 3584[4:Res:12.0,3567.0] || -> p102(skf41(skc1))*. % 0.56/0.80 3585[4:Res:11.0,3567.0] || -> p102(skf42(skc1))*. % 0.56/0.80 3586[4:Res:10.0,3567.0] || -> p102(skf43(skc1))*. % 0.56/0.80 3587[4:Res:9.0,3567.0] || -> p102(skf44(skc1))*. % 0.56/0.80 3588[4:Res:8.0,3567.0] || -> p102(skf45(skc1))*. % 0.56/0.80 3595[5:Spt:96.0] || -> p501(skc1)*. % 0.56/0.80 3596[5:MRR:685.1,3595.0] p401(skc1) || -> . % 0.56/0.80 3597[5:MRR:740.0,3595.0] p601(skc1) || -> . % 0.56/0.80 3598[5:MRR:550.1,3595.0] p201(skc1) || -> . % 0.56/0.80 3599[5:MRR:631.1,3595.0] p301(skc1) || -> . % 0.56/0.80 3601[5:MRR:97.0,3596.0] || -> p402(skc1) p403(skc1) p404(skc1) SkP0(skc1)*. % 0.56/0.80 3602[5:MRR:1744.0,3596.0] || -> p402(skc1) p403(skc1) p404(skc1) p604(skc1)* p603(skc1) p602(skc1) p601(skc1). % 0.56/0.80 3603[5:MRR:95.0,3597.0] || -> p602(skc1) p603(skc1) p604(skc1) p605(skc1)*. % 0.56/0.80 3604[5:MRR:99.0,3598.0] || -> p202(skc1) SkP5(skc1)* SkP4(skc1) SkP2(skc1). % 0.56/0.80 3605[5:MRR:98.0,3599.0] || -> p302(skc1) p303(skc1) SkP3(skc1)* SkP1(skc1). % 0.56/0.80 3606[5:MRR:3602.6,3597.0] || -> p402(skc1) p403(skc1) p404(skc1) p604(skc1)* p603(skc1) p602(skc1). % 0.56/0.80 3607[6:Spt:3601.0] || -> p402(skc1)*. % 0.56/0.80 3632[4:Res:3584.0,115.1] p602(skc1) || r1(skc1,skc1)* -> . % 0.56/0.80 3633[4:Res:3585.0,116.1] p502(skc1) || r1(skc1,skc1)* -> . % 0.56/0.80 3634[4:Res:3586.0,117.1] p402(skc1) || r1(skc1,skc1)* -> . % 0.56/0.80 3652[6:SSi:3634.0,3568.0,3595.0,3607.0] || r1(skc1,skc1)* -> . % 0.56/0.80 3653[6:MRR:3652.0,1.0] || -> . % 0.56/0.80 3654[6:Spt:3653.0,3601.0,3607.0] || p402(skc1)* -> . % 0.56/0.80 3655[6:Spt:3653.0,3601.1,3601.2,3601.3] || -> p403(skc1) p404(skc1) SkP0(skc1)*. % 0.56/0.80 3656[4:MRR:3632.1,1.0] p602(skc1) || -> . % 0.56/0.80 3657[4:MRR:3633.1,1.0] p502(skc1) || -> . % 0.56/0.80 3658[4:MRR:3634.1,1.0] p402(skc1) || -> . % 0.56/0.80 3659[5:MRR:3603.0,3656.0] || -> p603(skc1) p604(skc1) p605(skc1)*. % 0.56/0.80 3660[5:MRR:3606.0,3606.5,3658.0,3656.0] || -> p403(skc1) p404(skc1) p604(skc1)* p603(skc1). % 0.56/0.80 3661[7:Spt:3655.0] || -> p403(skc1)*. % 0.56/0.80 3662[7:MRR:1146.0,3661.0] p603(skc1) || -> . % 0.56/0.80 3664[7:MRR:1337.1,3661.0] SkP5(skc1) || -> . % 0.56/0.80 3665[7:MRR:1038.1,3661.0] p303(skc1) || -> . % 0.56/0.80 3666[7:MRR:3659.0,3662.0] || -> p604(skc1) p605(skc1)*. % 0.56/0.80 3667[7:MRR:3604.1,3664.0] || -> p202(skc1) SkP4(skc1)* SkP2(skc1). % 0.56/0.80 3668[7:MRR:3605.1,3665.0] || -> p302(skc1) SkP3(skc1)* SkP1(skc1). % 0.56/0.80 3669[4:Res:3587.0,118.1] p302(skc1) || r1(skc1,skc1)* -> . % 0.56/0.80 3670[4:MRR:3669.1,1.0] p302(skc1) || -> . % 0.56/0.80 3671[7:MRR:3668.0,3670.0] || -> SkP3(skc1)* SkP1(skc1). % 0.56/0.80 3672[4:Res:3588.0,119.1] p202(skc1) || r1(skc1,skc1)* -> . % 0.56/0.80 3673[4:MRR:3672.1,1.0] p202(skc1) || -> . % 0.56/0.80 3674[7:MRR:3667.0,3673.0] || -> SkP4(skc1)* SkP2(skc1). % 0.56/0.80 3675[8:Spt:3666.0] || -> p604(skc1)*. % 0.56/0.80 3676[8:MRR:1554.1,3675.0] SkP3(skc1) || -> . % 0.56/0.80 3677[8:MRR:1473.1,3675.0] SkP4(skc1) || -> . % 0.56/0.80 3680[8:MRR:3671.0,3676.0] || -> SkP1(skc1)*. % 0.56/0.80 3681[8:MRR:1772.1,3680.0] SkP2(skc1) || -> . % 0.56/0.80 3685[8:MRR:3674.0,3677.0] || -> SkP2(skc1)*. % 0.56/0.80 3689[8:MRR:3681.0,3685.0] || -> . % 0.56/0.80 3690[8:Spt:3689.0,3666.0,3675.0] || p604(skc1)* -> . % 0.56/0.80 3691[8:Spt:3689.0,3666.1] || -> p605(skc1)*. % 0.56/0.80 3692[8:MRR:1662.1,3691.0] SkP1(skc1) || -> . % 0.56/0.80 3693[8:MRR:3671.1,3692.0] || -> SkP3(skc1)*. % 0.56/0.80 3697[8:MRR:1745.1,3693.0] SkP4(skc1) || -> . % 0.56/0.80 3698[8:MRR:3674.0,3697.0] || -> SkP2(skc1)*. % 0.56/0.80 3700[8:MRR:1608.0,1608.1,3698.0,3691.0] || -> . % 0.56/0.80 3702[7:Spt:3700.0,3655.0,3661.0] || p403(skc1)* -> . % 0.56/0.80 3703[7:Spt:3700.0,3655.1,3655.2] || -> p404(skc1) SkP0(skc1)*. % 0.56/0.80 3704[7:MRR:3660.0,3702.0] || -> p404(skc1) p604(skc1)* p603(skc1). % 0.56/0.80 3705[5:MRR:3604.0,3673.0] || -> SkP5(skc1)* SkP4(skc1) SkP2(skc1). % 0.56/0.80 3706[5:MRR:3605.0,3670.0] || -> p303(skc1) SkP3(skc1)* SkP1(skc1). % 0.56/0.80 3707[8:Spt:3703.0] || -> p404(skc1)*. % 0.56/0.80 3708[8:MRR:1500.1,3707.0] SkP3(skc1) || -> . % 0.56/0.80 3709[8:MRR:1228.0,3707.0] p604(skc1) || -> . % 0.56/0.80 3710[8:MRR:1418.1,3707.0] SkP4(skc1) || -> . % 0.56/0.80 3712[8:MRR:3706.1,3708.0] || -> p303(skc1) SkP1(skc1)*. % 0.56/0.80 3713[8:MRR:3659.1,3709.0] || -> p603(skc1) p605(skc1)*. % 0.56/0.80 3714[8:MRR:3705.1,3710.0] || -> SkP5(skc1)* SkP2(skc1). % 0.56/0.80 3715[9:Spt:3712.0] || -> p303(skc1)*. % 0.56/0.80 3717[9:MRR:1092.0,3715.0] p603(skc1) || -> . % 0.56/0.80 3719[9:MRR:1310.1,3715.0] SkP5(skc1) || -> . % 0.56/0.80 3720[9:MRR:3713.0,3717.0] || -> p605(skc1)*. % 0.56/0.80 3722[9:MRR:1608.1,3720.0] SkP2(skc1) || -> . % 0.56/0.80 3725[9:MRR:3714.0,3719.0] || -> SkP2(skc1)*. % 0.56/0.80 3729[9:MRR:3722.0,3725.0] || -> . % 0.56/0.80 3730[9:Spt:3729.0,3712.0,3715.0] || p303(skc1)* -> . % 0.56/0.80 3731[9:Spt:3729.0,3712.1] || -> SkP1(skc1)*. % 0.56/0.80 3732[9:MRR:1662.0,3731.0] p605(skc1) || -> . % 0.56/0.80 3733[9:MRR:3713.1,3732.0] || -> p603(skc1)*. % 0.56/0.80 3736[9:MRR:1391.1,3733.0] SkP5(skc1) || -> . % 0.56/0.80 3738[9:MRR:3714.0,3736.0] || -> SkP2(skc1)*. % 0.56/0.80 3741[9:MRR:1772.0,1772.1,3738.0,3731.0] || -> . % 0.56/0.80 3742[8:Spt:3741.0,3703.0,3707.0] || p404(skc1)* -> . % 0.56/0.80 3743[8:Spt:3741.0,3703.1] || -> SkP0(skc1)*. % 0.56/0.80 3745[8:MRR:1799.1,3743.0] SkP2(skc1) || -> . % 0.56/0.80 3746[8:MRR:1826.1,3743.0] SkP1(skc1) || -> . % 0.56/0.80 3748[8:MRR:3704.0,3742.0] || -> p604(skc1)* p603(skc1). % 0.56/0.80 3749[8:MRR:3706.2,3746.0] || -> p303(skc1) SkP3(skc1)*. % 0.56/0.80 3750[8:MRR:3705.2,3745.0] || -> SkP5(skc1)* SkP4(skc1). % 0.56/0.80 3751[9:Spt:3749.0] || -> p303(skc1)*. % 0.56/0.80 3752[9:MRR:1092.0,3751.0] p603(skc1) || -> . % 0.56/0.80 3753[9:MRR:1310.1,3751.0] SkP5(skc1) || -> . % 0.56/0.80 3756[9:MRR:3748.1,3752.0] || -> p604(skc1)*. % 0.56/0.80 3760[9:MRR:1473.1,3756.0] SkP4(skc1) || -> . % 0.56/0.80 3761[9:MRR:3750.0,3753.0] || -> SkP4(skc1)*. % 0.56/0.80 3765[9:MRR:3760.0,3761.0] || -> . % 0.56/0.80 3766[9:Spt:3765.0,3749.0,3751.0] || p303(skc1)* -> . % 0.56/0.80 3767[9:Spt:3765.0,3749.1] || -> SkP3(skc1)*. % 0.56/0.80 3768[9:MRR:1554.0,3767.0] p604(skc1) || -> . % 0.56/0.80 3769[9:MRR:3748.0,3768.0] || -> p603(skc1)*. % 0.56/0.80 3772[9:MRR:1391.1,3769.0] SkP5(skc1) || -> . % 0.56/0.80 3774[9:MRR:3750.0,3772.0] || -> SkP4(skc1)*. % 0.56/0.80 3776[9:MRR:1745.0,1745.1,3774.0,3767.0] || -> . % 0.56/0.80 3778[5:Spt:3776.0,96.0,3595.0] || p501(skc1)* -> . % 0.56/0.80 3779[5:Spt:3776.0,96.1,96.2,96.3,96.4] || -> p502(skc1) p503(skc1) p504(skc1) p505(skc1)*. % 0.56/0.80 3780[5:MRR:3779.0,3657.0] || -> p503(skc1) p504(skc1) p505(skc1)*. % 0.56/0.80 3781[4:MRR:97.1,3658.0] || -> p401(skc1) p403(skc1) p404(skc1) SkP0(skc1)*. % 0.56/0.80 3782[4:MRR:95.1,3656.0] || -> p601(skc1) p603(skc1) p604(skc1) p605(skc1)*. % 0.56/0.80 3783[4:MRR:99.1,3673.0] || -> p201(skc1) SkP5(skc1)* SkP4(skc1) SkP2(skc1). % 0.56/0.80 3784[4:MRR:98.1,3670.0] || -> p301(skc1) p303(skc1) SkP3(skc1)* SkP1(skc1). % 0.56/0.80 3785[4:MRR:1309.1,1309.6,3657.0,3656.0] || -> p501(skc1) p503(skc1) p504(skc1) p604(skc1)* p603(skc1) p601(skc1). % 0.56/0.80 3786[5:MRR:3785.0,3778.0] || -> p503(skc1) p504(skc1) p604(skc1)* p603(skc1) p601(skc1). % 0.56/0.80 3787[4:MRR:1716.1,1716.6,3658.0,3657.0] || -> p401(skc1) p403(skc1) p404(skc1) p504(skc1)* p503(skc1) p501(skc1). % 0.56/0.80 3788[5:MRR:3787.5,3778.0] || -> p401(skc1) p403(skc1) p404(skc1) p504(skc1)* p503(skc1). % 0.56/0.80 3789[4:MRR:1744.1,1744.6,3658.0,3656.0] || -> p401(skc1) p403(skc1) p404(skc1) p604(skc1)* p603(skc1) p601(skc1). % 0.56/0.80 3790[6:Spt:3781.0] || -> p401(skc1)*. % 0.56/0.80 3792[6:MRR:604.1,3790.0] p301(skc1) || -> . % 0.56/0.80 3794[6:MRR:523.1,3790.0] p201(skc1) || -> . % 0.56/0.80 3795[6:MRR:712.0,3790.0] p601(skc1) || -> . % 0.56/0.80 3796[6:MRR:3784.0,3792.0] || -> p303(skc1) SkP3(skc1)* SkP1(skc1). % 0.56/0.80 3797[6:MRR:3783.0,3794.0] || -> SkP5(skc1)* SkP4(skc1) SkP2(skc1). % 0.56/0.80 3798[6:MRR:3782.0,3795.0] || -> p603(skc1) p604(skc1) p605(skc1)*. % 0.56/0.80 3799[6:MRR:3786.4,3795.0] || -> p503(skc1) p504(skc1) p604(skc1)* p603(skc1). % 0.56/0.80 3800[7:Spt:3796.1] || -> SkP3(skc1)*. % 0.56/0.80 3801[7:MRR:1554.0,3800.0] p604(skc1) || -> . % 0.56/0.80 3802[7:MRR:1745.1,3800.0] SkP4(skc1) || -> . % 0.56/0.80 3804[7:MRR:1527.0,3800.0] p504(skc1) || -> . % 0.56/0.80 3805[7:MRR:3798.1,3801.0] || -> p603(skc1) p605(skc1)*. % 0.56/0.80 3806[7:MRR:3799.2,3801.0] || -> p503(skc1) p504(skc1)* p603(skc1). % 0.56/0.80 3807[7:MRR:3797.1,3802.0] || -> SkP5(skc1)* SkP2(skc1). % 0.56/0.80 3808[7:MRR:3780.1,3804.0] || -> p503(skc1) p505(skc1)*. % 0.56/0.80 3809[7:MRR:3806.1,3804.0] || -> p503(skc1) p603(skc1)*. % 0.56/0.80 3810[8:Spt:3805.0] || -> p603(skc1)*. % 0.56/0.80 3812[8:MRR:1391.1,3810.0] SkP5(skc1) || -> . % 0.56/0.80 3813[8:MRR:1173.1,3810.0] p503(skc1) || -> . % 0.56/0.80 3815[8:MRR:3807.0,3812.0] || -> SkP2(skc1)*. % 0.56/0.80 3818[8:MRR:1581.0,3815.0] p505(skc1) || -> . % 0.56/0.80 3820[8:MRR:3808.0,3813.0] || -> p505(skc1)*. % 0.56/0.80 3824[8:MRR:3818.0,3820.0] || -> . % 0.56/0.80 3825[8:Spt:3824.0,3805.0,3810.0] || p603(skc1)* -> . % 0.56/0.80 3826[8:Spt:3824.0,3805.1] || -> p605(skc1)*. % 0.56/0.80 3827[8:MRR:3809.1,3825.0] || -> p503(skc1)*. % 0.56/0.80 3830[8:MRR:1364.1,3827.0] SkP5(skc1) || -> . % 0.56/0.80 3831[8:MRR:3807.0,3830.0] || -> SkP2(skc1)*. % 0.56/0.80 3835[8:MRR:1608.0,1608.1,3831.0,3826.0] || -> . % 0.56/0.80 3837[7:Spt:3835.0,3796.1,3800.0] || SkP3(skc1)* -> . % 0.56/0.80 3838[7:Spt:3835.0,3796.0,3796.2] || -> p303(skc1) SkP1(skc1)*. % 0.56/0.80 3839[8:Spt:3838.0] || -> p303(skc1)*. % 0.56/0.80 3840[8:MRR:1092.0,3839.0] p603(skc1) || -> . % 0.56/0.80 3842[8:MRR:1310.1,3839.0] SkP5(skc1) || -> . % 0.56/0.80 3843[8:MRR:1065.0,3839.0] p503(skc1) || -> . % 0.56/0.80 3844[8:MRR:3798.0,3840.0] || -> p604(skc1) p605(skc1)*. % 0.56/0.80 3845[8:MRR:3799.3,3840.0] || -> p503(skc1) p504(skc1) p604(skc1)*. % 0.56/0.80 3846[8:MRR:3797.0,3842.0] || -> SkP4(skc1)* SkP2(skc1). % 0.56/0.80 3847[8:MRR:3780.0,3843.0] || -> p504(skc1) p505(skc1)*. % 0.56/0.80 3848[8:MRR:3845.0,3843.0] || -> p504(skc1) p604(skc1)*. % 0.56/0.80 3849[9:Spt:3844.0] || -> p604(skc1)*. % 0.56/0.80 3851[9:MRR:1473.1,3849.0] SkP4(skc1) || -> . % 0.56/0.80 3852[9:MRR:1255.1,3849.0] p504(skc1) || -> . % 0.56/0.80 3854[9:MRR:3846.0,3851.0] || -> SkP2(skc1)*. % 0.56/0.80 3856[9:MRR:1581.0,3854.0] p505(skc1) || -> . % 0.56/0.80 3859[9:MRR:3847.0,3852.0] || -> p505(skc1)*. % 0.56/0.80 3863[9:MRR:3856.0,3859.0] || -> . % 0.56/0.80 3864[9:Spt:3863.0,3844.0,3849.0] || p604(skc1)* -> . % 0.56/0.80 3865[9:Spt:3863.0,3844.1] || -> p605(skc1)*. % 0.56/0.80 3866[9:MRR:3848.1,3864.0] || -> p504(skc1)*. % 0.56/0.80 3869[9:MRR:1446.1,3866.0] SkP4(skc1) || -> . % 0.56/0.80 3870[9:MRR:3846.0,3869.0] || -> SkP2(skc1)*. % 0.56/0.80 3871[9:MRR:1608.0,1608.1,3870.0,3865.0] || -> . % 0.56/0.80 3876[8:Spt:3871.0,3838.0,3839.0] || p303(skc1)* -> . % 0.56/0.80 3877[8:Spt:3871.0,3838.1] || -> SkP1(skc1)*. % 0.56/0.80 3878[8:MRR:1772.1,3877.0] SkP2(skc1) || -> . % 0.56/0.80 3879[8:MRR:1635.0,3877.0] p505(skc1) || -> . % 0.56/0.80 3880[8:MRR:1662.0,3877.0] p605(skc1) || -> . % 0.56/0.80 3882[8:MRR:3798.2,3880.0] || -> p603(skc1) p604(skc1)*. % 0.56/0.80 3883[8:MRR:3797.2,3878.0] || -> SkP5(skc1)* SkP4(skc1). % 0.56/0.80 3884[8:MRR:3780.2,3879.0] || -> p503(skc1) p504(skc1)*. % 0.56/0.80 3885[9:Spt:3882.0] || -> p603(skc1)*. % 0.56/0.80 3887[9:MRR:1173.1,3885.0] p503(skc1) || -> . % 0.56/0.80 3888[9:MRR:1391.1,3885.0] SkP5(skc1) || -> . % 0.56/0.80 3890[9:MRR:3884.0,3887.0] || -> p504(skc1)*. % 0.56/0.80 3893[9:MRR:1446.1,3890.0] SkP4(skc1) || -> . % 0.56/0.80 3895[9:MRR:3883.0,3888.0] || -> SkP4(skc1)*. % 0.56/0.80 3899[9:MRR:3893.0,3895.0] || -> . % 0.56/0.80 3900[9:Spt:3899.0,3882.0,3885.0] || p603(skc1)* -> . % 0.56/0.80 3901[9:Spt:3899.0,3882.1] || -> p604(skc1)*. % 0.56/0.80 3902[9:MRR:1255.1,3901.0] p504(skc1) || -> . % 0.56/0.80 3903[9:MRR:3884.1,3902.0] || -> p503(skc1)*. % 0.56/0.80 3907[9:MRR:1364.1,3903.0] SkP5(skc1) || -> . % 0.56/0.80 3908[9:MRR:3883.0,3907.0] || -> SkP4(skc1)*. % 0.56/0.80 3911[9:MRR:1473.0,1473.1,3908.0,3901.0] || -> . % 0.56/0.80 3912[6:Spt:3911.0,3781.0,3790.0] || p401(skc1)* -> . % 0.56/0.80 3913[6:Spt:3911.0,3781.1,3781.2,3781.3] || -> p403(skc1) p404(skc1) SkP0(skc1)*. % 0.56/0.80 3914[6:MRR:3788.0,3912.0] || -> p403(skc1) p404(skc1) p504(skc1)* p503(skc1). % 0.56/0.80 3915[6:MRR:3789.0,3912.0] || -> p403(skc1) p404(skc1) p604(skc1)* p603(skc1) p601(skc1). % 0.56/0.80 3916[7:Spt:3913.0] || -> p403(skc1)*. % 0.56/0.80 3917[7:MRR:1119.0,3916.0] p503(skc1) || -> . % 0.56/0.80 3918[7:MRR:1146.0,3916.0] p603(skc1) || -> . % 0.56/0.80 3919[7:MRR:1038.1,3916.0] p303(skc1) || -> . % 0.56/0.80 3920[7:MRR:1337.1,3916.0] SkP5(skc1) || -> . % 0.56/0.80 3921[7:MRR:3780.0,3917.0] || -> p504(skc1) p505(skc1)*. % 0.56/0.80 3922[7:MRR:3786.0,3917.0] || -> p504(skc1) p604(skc1)* p603(skc1) p601(skc1). % 0.56/0.80 3923[7:MRR:3782.1,3918.0] || -> p601(skc1) p604(skc1) p605(skc1)*. % 0.56/0.80 3924[7:MRR:3784.1,3919.0] || -> p301(skc1) SkP3(skc1)* SkP1(skc1). % 0.56/0.80 3925[7:MRR:3783.1,3920.0] || -> p201(skc1) SkP4(skc1)* SkP2(skc1). % 0.56/0.80 3926[7:MRR:3922.2,3918.0] || -> p504(skc1) p604(skc1)* p601(skc1). % 0.56/0.80 3927[8:Spt:3923.0] || -> p601(skc1)*. % 0.56/0.80 3930[8:MRR:658.1,3927.0] p301(skc1) || -> . % 0.56/0.80 3932[8:MRR:577.1,3927.0] p201(skc1) || -> . % 0.56/0.80 3933[8:MRR:3924.0,3930.0] || -> SkP3(skc1)* SkP1(skc1). % 0.56/0.80 3934[8:MRR:3925.0,3932.0] || -> SkP4(skc1)* SkP2(skc1). % 0.56/0.80 3935[9:Spt:3933.0] || -> SkP3(skc1)*. % 0.56/0.80 3936[9:MRR:1527.0,3935.0] p504(skc1) || -> . % 0.56/0.80 3937[9:MRR:1745.1,3935.0] SkP4(skc1) || -> . % 0.56/0.80 3940[9:MRR:3921.0,3936.0] || -> p505(skc1)*. % 0.56/0.80 3941[9:MRR:1581.1,3940.0] SkP2(skc1) || -> . % 0.56/0.80 3945[9:MRR:3934.0,3937.0] || -> SkP2(skc1)*. % 0.56/0.80 3949[9:MRR:3941.0,3945.0] || -> . % 0.56/0.80 3950[9:Spt:3949.0,3933.0,3935.0] || SkP3(skc1)* -> . % 0.56/0.80 3951[9:Spt:3949.0,3933.1] || -> SkP1(skc1)*. % 0.56/0.80 3952[9:MRR:1635.0,3951.0] p505(skc1) || -> . % 0.56/0.80 3953[9:MRR:3921.1,3952.0] || -> p504(skc1)*. % 0.56/0.80 3957[9:MRR:1446.1,3953.0] SkP4(skc1) || -> . % 0.56/0.80 3958[9:MRR:3934.0,3957.0] || -> SkP2(skc1)*. % 0.56/0.80 3961[9:MRR:1772.0,1772.1,3958.0,3951.0] || -> . % 0.56/0.80 3962[8:Spt:3961.0,3923.0,3927.0] || p601(skc1)* -> . % 0.56/0.80 3963[8:Spt:3961.0,3923.1,3923.2] || -> p604(skc1) p605(skc1)*. % 0.56/0.80 3964[8:MRR:3926.2,3962.0] || -> p504(skc1) p604(skc1)*. % 0.56/0.80 3965[9:Spt:3963.0] || -> p604(skc1)*. % 0.56/0.80 3966[9:MRR:1255.1,3965.0] p504(skc1) || -> . % 0.56/0.80 3967[9:MRR:1554.1,3965.0] SkP3(skc1) || -> . % 0.56/0.80 3968[9:MRR:1473.1,3965.0] SkP4(skc1) || -> . % 0.56/0.80 3970[9:MRR:3921.0,3966.0] || -> p505(skc1)*. % 0.56/0.80 3971[9:MRR:1635.1,3970.0] SkP1(skc1) || -> . % 0.56/0.80 3974[9:MRR:1581.1,3970.0] SkP2(skc1) || -> . % 0.56/0.80 3975[9:MRR:3924.1,3967.0] || -> p301(skc1) SkP1(skc1)*. % 0.56/0.80 3976[9:MRR:3925.1,3968.0] || -> p201(skc1) SkP2(skc1)*. % 0.56/0.80 3977[9:MRR:3975.1,3971.0] || -> p301(skc1)*. % 0.56/0.80 3981[9:MRR:496.1,3977.0] p201(skc1) || -> . % 0.56/0.80 3983[9:MRR:3976.0,3976.1,3981.0,3974.0] || -> . % 0.56/0.80 3984[9:Spt:3983.0,3963.0,3965.0] || p604(skc1)* -> . % 0.56/0.80 3985[9:Spt:3983.0,3963.1] || -> p605(skc1)*. % 0.56/0.80 3986[9:MRR:3964.1,3984.0] || -> p504(skc1)*. % 0.56/0.80 3988[9:MRR:1446.1,3986.0] SkP4(skc1) || -> . % 0.56/0.80 3990[9:MRR:1527.1,3986.0] SkP3(skc1) || -> . % 0.56/0.80 3992[9:MRR:3924.1,3990.0] || -> p301(skc1) SkP1(skc1)*. % 0.56/0.80 3993[9:MRR:3925.1,3988.0] || -> p201(skc1) SkP2(skc1)*. % 0.56/0.80 3994[9:MRR:1662.1,3985.0] SkP1(skc1) || -> . % 0.56/0.80 3995[9:MRR:3992.1,3994.0] || -> p301(skc1)*. % 0.56/0.80 3997[9:MRR:1608.1,3985.0] SkP2(skc1) || -> . % 0.56/0.80 3998[9:MRR:3993.1,3997.0] || -> p201(skc1)*. % 0.56/0.80 4000[9:MRR:496.0,496.1,3998.0,3995.0] || -> . % 0.56/0.80 4004[7:Spt:4000.0,3913.0,3916.0] || p403(skc1)* -> . % 0.56/0.80 4005[7:Spt:4000.0,3913.1,3913.2] || -> p404(skc1) SkP0(skc1)*. % 0.56/0.80 4006[7:MRR:3914.0,4004.0] || -> p404(skc1) p504(skc1)* p503(skc1). % 0.56/0.80 4007[7:MRR:3915.0,4004.0] || -> p404(skc1) p604(skc1)* p603(skc1) p601(skc1). % 0.56/0.80 4008[8:Spt:4005.0] || -> p404(skc1)*. % 0.56/0.80 4009[8:MRR:1228.0,4008.0] p604(skc1) || -> . % 0.56/0.80 4010[8:MRR:1201.0,4008.0] p504(skc1) || -> . % 0.56/0.80 4011[8:MRR:1500.1,4008.0] SkP3(skc1) || -> . % 0.56/0.80 4012[8:MRR:1418.1,4008.0] SkP4(skc1) || -> . % 0.56/0.80 4013[8:MRR:3782.2,4009.0] || -> p601(skc1) p603(skc1) p605(skc1)*. % 0.56/0.80 4014[8:MRR:3786.2,4009.0] || -> p503(skc1) p504(skc1)* p603(skc1) p601(skc1). % 0.56/0.80 4015[8:MRR:3780.1,4010.0] || -> p503(skc1) p505(skc1)*. % 0.56/0.80 4016[8:MRR:3784.2,4011.0] || -> p301(skc1) p303(skc1) SkP1(skc1)*. % 0.56/0.80 4017[8:MRR:3783.2,4012.0] || -> p201(skc1) SkP5(skc1)* SkP2(skc1). % 0.56/0.80 4018[8:MRR:4014.1,4010.0] || -> p503(skc1) p603(skc1)* p601(skc1). % 0.56/0.80 4019[9:Spt:4013.0] || -> p601(skc1)*. % 0.56/0.80 4020[9:MRR:658.1,4019.0] p301(skc1) || -> . % 0.56/0.80 4021[9:MRR:577.1,4019.0] p201(skc1) || -> . % 0.56/0.80 4025[9:MRR:4016.0,4020.0] || -> p303(skc1) SkP1(skc1)*. % 0.56/0.80 4026[9:MRR:4017.0,4021.0] || -> SkP5(skc1)* SkP2(skc1). % 0.56/0.80 4027[10:Spt:4025.0] || -> p303(skc1)*. % 0.56/0.80 4029[10:MRR:1065.0,4027.0] p503(skc1) || -> . % 0.56/0.80 4031[10:MRR:1310.1,4027.0] SkP5(skc1) || -> . % 0.56/0.80 4032[10:MRR:4015.0,4029.0] || -> p505(skc1)*. % 0.56/0.80 4034[10:MRR:1581.1,4032.0] SkP2(skc1) || -> . % 0.56/0.80 4037[10:MRR:4026.0,4031.0] || -> SkP2(skc1)*. % 0.56/0.80 4041[10:MRR:4034.0,4037.0] || -> . % 0.56/0.80 4042[10:Spt:4041.0,4025.0,4027.0] || p303(skc1)* -> . % 0.56/0.80 4043[10:Spt:4041.0,4025.1] || -> SkP1(skc1)*. % 0.56/0.80 4044[10:MRR:1635.0,4043.0] p505(skc1) || -> . % 0.56/0.80 4045[10:MRR:4015.1,4044.0] || -> p503(skc1)*. % 0.56/0.80 4048[10:MRR:1364.1,4045.0] SkP5(skc1) || -> . % 0.56/0.80 4050[10:MRR:4026.0,4048.0] || -> SkP2(skc1)*. % 0.56/0.80 4053[10:MRR:1772.0,1772.1,4050.0,4043.0] || -> . % 0.56/0.80 4054[9:Spt:4053.0,4013.0,4019.0] || p601(skc1)* -> . % 0.56/0.80 4055[9:Spt:4053.0,4013.1,4013.2] || -> p603(skc1) p605(skc1)*. % 0.56/0.80 4056[9:MRR:4018.2,4054.0] || -> p503(skc1) p603(skc1)*. % 0.56/0.80 4057[10:Spt:4055.0] || -> p603(skc1)*. % 0.56/0.80 4058[10:MRR:1173.1,4057.0] p503(skc1) || -> . % 0.56/0.80 4059[10:MRR:1092.1,4057.0] p303(skc1) || -> . % 0.56/0.80 4061[10:MRR:1391.1,4057.0] SkP5(skc1) || -> . % 0.56/0.80 4062[10:MRR:4015.0,4058.0] || -> p505(skc1)*. % 0.56/0.80 4063[10:MRR:1635.1,4062.0] SkP1(skc1) || -> . % 0.56/0.80 4065[10:MRR:1581.1,4062.0] SkP2(skc1) || -> . % 0.56/0.80 4067[10:MRR:4016.1,4059.0] || -> p301(skc1) SkP1(skc1)*. % 0.56/0.80 4068[10:MRR:4017.1,4061.0] || -> p201(skc1) SkP2(skc1)*. % 0.56/0.80 4069[10:MRR:4067.1,4063.0] || -> p301(skc1)*. % 0.56/0.80 4072[10:MRR:496.1,4069.0] p201(skc1) || -> . % 0.56/0.80 4075[10:MRR:4068.0,4068.1,4072.0,4065.0] || -> . % 0.56/0.80 4076[10:Spt:4075.0,4055.0,4057.0] || p603(skc1)* -> . % 0.56/0.80 4077[10:Spt:4075.0,4055.1] || -> p605(skc1)*. % 0.56/0.80 4078[10:MRR:4056.1,4076.0] || -> p503(skc1)*. % 0.56/0.80 4080[10:MRR:1364.1,4078.0] SkP5(skc1) || -> . % 0.56/0.80 4082[10:MRR:1065.1,4078.0] p303(skc1) || -> . % 0.56/0.80 4084[10:MRR:4016.1,4082.0] || -> p301(skc1) SkP1(skc1)*. % 0.56/0.80 4085[10:MRR:4017.1,4080.0] || -> p201(skc1) SkP2(skc1)*. % 0.56/0.80 4086[10:MRR:1662.1,4077.0] SkP1(skc1) || -> . % 0.56/0.80 4087[10:MRR:4084.1,4086.0] || -> p301(skc1)*. % 0.56/0.80 4089[10:MRR:1608.1,4077.0] SkP2(skc1) || -> . % 0.56/0.80 4090[10:MRR:4085.1,4089.0] || -> p201(skc1)*. % 0.56/0.80 4093[10:MRR:496.0,496.1,4090.0,4087.0] || -> . % 0.56/0.80 4096[8:Spt:4093.0,4005.0,4008.0] || p404(skc1)* -> . % 0.56/0.80 4097[8:Spt:4093.0,4005.1] || -> SkP0(skc1)*. % 0.56/0.80 4099[8:MRR:1826.1,4097.0] SkP1(skc1) || -> . % 0.56/0.80 4101[8:MRR:1799.1,4097.0] SkP2(skc1) || -> . % 0.56/0.80 4102[8:MRR:4006.0,4096.0] || -> p504(skc1)* p503(skc1). % 0.56/0.80 4103[8:MRR:4007.0,4096.0] || -> p604(skc1)* p603(skc1) p601(skc1). % 0.56/0.80 4104[8:MRR:3784.3,4099.0] || -> p301(skc1) p303(skc1) SkP3(skc1)*. % 0.56/0.80 4105[8:MRR:3783.3,4101.0] || -> p201(skc1) SkP5(skc1)* SkP4(skc1). % 0.56/0.80 4106[9:Spt:4104.0] || -> p301(skc1)*. % 0.56/0.80 4109[9:MRR:496.1,4106.0] p201(skc1) || -> . % 0.56/0.80 4111[9:MRR:658.0,4106.0] p601(skc1) || -> . % 0.56/0.80 4112[9:MRR:4105.0,4109.0] || -> SkP5(skc1)* SkP4(skc1). % 0.56/0.80 4113[9:MRR:4103.2,4111.0] || -> p604(skc1)* p603(skc1). % 0.56/0.80 4114[10:Spt:4112.0] || -> SkP5(skc1)*. % 0.56/0.80 4115[10:MRR:1391.0,4114.0] p603(skc1) || -> . % 0.56/0.80 4116[10:MRR:1364.0,4114.0] p503(skc1) || -> . % 0.56/0.80 4119[10:MRR:4113.1,4115.0] || -> p604(skc1)*. % 0.56/0.80 4121[10:MRR:1255.1,4119.0] p504(skc1) || -> . % 0.56/0.80 4124[10:MRR:4102.1,4116.0] || -> p504(skc1)*. % 0.56/0.80 4128[10:MRR:4121.0,4124.0] || -> . % 0.56/0.80 4129[10:Spt:4128.0,4112.0,4114.0] || SkP5(skc1)* -> . % 0.56/0.80 4130[10:Spt:4128.0,4112.1] || -> SkP4(skc1)*. % 0.56/0.80 4131[10:MRR:1473.0,4130.0] p604(skc1) || -> . % 0.56/0.80 4132[10:MRR:4113.0,4131.0] || -> p603(skc1)*. % 0.56/0.80 4134[10:MRR:1173.1,4132.0] p503(skc1) || -> . % 0.56/0.80 4137[10:MRR:4102.1,4134.0] || -> p504(skc1)*. % 0.56/0.80 4139[10:MRR:1446.0,1446.1,4130.0,4137.0] || -> . % 0.56/0.80 4141[9:Spt:4139.0,4104.0,4106.0] || p301(skc1)* -> . % 0.56/0.80 4142[9:Spt:4139.0,4104.1,4104.2] || -> p303(skc1) SkP3(skc1)*. % 0.56/0.80 4143[10:Spt:4142.0] || -> p303(skc1)*. % 0.56/0.80 4144[10:MRR:1092.0,4143.0] p603(skc1) || -> . % 0.56/0.80 4145[10:MRR:1310.1,4143.0] SkP5(skc1) || -> . % 0.56/0.80 4146[10:MRR:1065.0,4143.0] p503(skc1) || -> . % 0.56/0.80 4148[10:MRR:4103.1,4144.0] || -> p604(skc1)* p601(skc1). % 0.56/0.80 4149[10:MRR:4105.1,4145.0] || -> p201(skc1) SkP4(skc1)*. % 0.56/0.80 4150[10:MRR:4102.1,4146.0] || -> p504(skc1)*. % 0.56/0.80 4151[10:MRR:1255.0,4150.0] p604(skc1) || -> . % 0.56/0.80 4153[10:MRR:1446.1,4150.0] SkP4(skc1) || -> . % 0.56/0.80 4155[10:MRR:4148.0,4151.0] || -> p601(skc1)*. % 0.56/0.80 4159[10:MRR:577.1,4155.0] p201(skc1) || -> . % 0.56/0.80 4161[10:MRR:4149.0,4149.1,4159.0,4153.0] || -> . % 0.56/0.80 4162[10:Spt:4161.0,4142.0,4143.0] || p303(skc1)* -> . % 0.56/0.80 4163[10:Spt:4161.0,4142.1] || -> SkP3(skc1)*. % 0.56/0.80 4164[10:MRR:1527.0,4163.0] p504(skc1) || -> . % 0.56/0.80 4165[10:MRR:4102.0,4164.0] || -> p503(skc1)*. % 0.56/0.80 4167[10:MRR:1173.0,4165.0] p603(skc1) || -> . % 0.56/0.80 4168[10:MRR:1364.1,4165.0] SkP5(skc1) || -> . % 0.56/0.80 4170[10:MRR:4103.1,4167.0] || -> p604(skc1)* p601(skc1). % 0.56/0.80 4171[10:MRR:4105.1,4168.0] || -> p201(skc1) SkP4(skc1)*. % 0.56/0.80 4172[10:MRR:1554.0,4163.0] p604(skc1) || -> . % 0.56/0.80 4173[10:MRR:4170.0,4172.0] || -> p601(skc1)*. % 0.56/0.80 4175[10:MRR:1745.1,4163.0] SkP4(skc1) || -> . % 0.56/0.80 4176[10:MRR:4171.1,4175.0] || -> p201(skc1)*. % 0.56/0.80 4178[10:MRR:577.0,577.1,4176.0,4173.0] || -> . % 0.56/0.80 4182[4:Spt:4178.0,3566.2] || -> p101(skc1)*. % 0.56/0.80 4183[4:MRR:468.0,4182.0] p601(skc1) || -> . % 0.56/0.80 4184[4:MRR:387.0,4182.0] p301(skc1) || -> . % 0.56/0.80 4185[4:MRR:414.0,4182.0] p401(skc1) || -> . % 0.56/0.80 4186[4:MRR:441.0,4182.0] p501(skc1) || -> . % 0.56/0.80 4187[4:MRR:360.0,4182.0] p201(skc1) || -> . % 0.56/0.80 4188[4:MRR:96.0,4186.0] || -> p502(skc1) p503(skc1) p504(skc1) p505(skc1)*. % 0.56/0.80 4189[4:MRR:97.0,4185.0] || -> p402(skc1) p403(skc1) p404(skc1) SkP0(skc1)*. % 0.56/0.80 4190[4:MRR:95.0,4183.0] || -> p602(skc1) p603(skc1) p604(skc1) p605(skc1)*. % 0.56/0.80 4191[4:MRR:99.0,4187.0] || -> p202(skc1) SkP5(skc1)* SkP4(skc1) SkP2(skc1). % 0.56/0.80 4192[4:MRR:98.0,4184.0] || -> p302(skc1) p303(skc1) SkP3(skc1)* SkP1(skc1). % 0.56/0.80 4193[4:MRR:1309.0,1309.7,4186.0,4183.0] || -> p502(skc1) p503(skc1) p504(skc1) p604(skc1)* p603(skc1) p602(skc1). % 0.56/0.80 4194[4:MRR:1716.0,1716.7,4185.0,4186.0] || -> p402(skc1) p403(skc1) p404(skc1) p504(skc1)* p503(skc1) p502(skc1). % 0.56/0.80 4195[4:MRR:1744.0,1744.7,4185.0,4183.0] || -> p402(skc1) p403(skc1) p404(skc1) p604(skc1)* p603(skc1) p602(skc1). % 0.56/0.81 4196[5:Spt:4188.0] || -> p502(skc1)*. % 0.56/0.81 4197[5:MRR:1011.0,4196.0] p602(skc1) || -> . % 0.56/0.81 4198[5:MRR:956.1,4196.0] p402(skc1) || -> . % 0.56/0.81 4199[5:MRR:821.1,4196.0] p202(skc1) || -> . % 0.56/0.81 4200[5:MRR:902.1,4196.0] p302(skc1) || -> . % 0.56/0.81 4201[5:MRR:4190.0,4197.0] || -> p603(skc1) p604(skc1) p605(skc1)*. % 0.56/0.81 4202[5:MRR:4195.5,4197.0] || -> p402(skc1) p403(skc1) p404(skc1) p604(skc1)* p603(skc1). % 0.56/0.81 4203[5:MRR:4189.0,4198.0] || -> p403(skc1) p404(skc1) SkP0(skc1)*. % 0.56/0.81 4204[5:MRR:4191.0,4199.0] || -> SkP5(skc1)* SkP4(skc1) SkP2(skc1). % 0.56/0.81 4205[5:MRR:4192.0,4200.0] || -> p303(skc1) SkP3(skc1)* SkP1(skc1). % 0.56/0.81 4206[5:MRR:4202.0,4198.0] || -> p403(skc1) p404(skc1) p604(skc1)* p603(skc1). % 0.56/0.81 4207[6:Spt:4201.0] || -> p603(skc1)*. % 0.56/0.81 4209[6:MRR:1092.1,4207.0] p303(skc1) || -> . % 0.56/0.81 4210[6:MRR:1146.1,4207.0] p403(skc1) || -> . % 0.56/0.81 4211[6:MRR:1391.1,4207.0] SkP5(skc1) || -> . % 0.56/0.81 4212[6:MRR:4205.0,4209.0] || -> SkP3(skc1)* SkP1(skc1). % 0.56/0.81 4213[6:MRR:4203.0,4210.0] || -> p404(skc1) SkP0(skc1)*. % 0.56/0.81 4214[6:MRR:4204.0,4211.0] || -> SkP4(skc1)* SkP2(skc1). % 0.56/0.81 4215[7:Spt:4212.0] || -> SkP3(skc1)*. % 0.56/0.81 4218[7:MRR:1500.0,4215.0] p404(skc1) || -> . % 0.56/0.81 4219[7:MRR:1745.1,4215.0] SkP4(skc1) || -> . % 0.56/0.81 4220[7:MRR:4213.0,4218.0] || -> SkP0(skc1)*. % 0.56/0.81 4224[7:MRR:1799.1,4220.0] SkP2(skc1) || -> . % 0.56/0.81 4225[7:MRR:4214.0,4219.0] || -> SkP2(skc1)*. % 0.56/0.81 4229[7:MRR:4224.0,4225.0] || -> . % 0.56/0.81 4230[7:Spt:4229.0,4212.0,4215.0] || SkP3(skc1)* -> . % 0.56/0.81 4231[7:Spt:4229.0,4212.1] || -> SkP1(skc1)*. % 0.56/0.81 4232[7:MRR:1826.0,4231.0] SkP0(skc1) || -> . % 0.56/0.81 4233[7:MRR:4213.1,4232.0] || -> p404(skc1)*. % 0.56/0.81 4237[7:MRR:1418.1,4233.0] SkP4(skc1) || -> . % 0.56/0.81 4238[7:MRR:4214.0,4237.0] || -> SkP2(skc1)*. % 0.56/0.81 4240[7:MRR:1772.0,1772.1,4238.0,4231.0] || -> . % 0.56/0.81 4242[6:Spt:4240.0,4201.0,4207.0] || p603(skc1)* -> . % 0.56/0.81 4243[6:Spt:4240.0,4201.1,4201.2] || -> p604(skc1) p605(skc1)*. % 0.56/0.81 4244[6:MRR:4206.3,4242.0] || -> p403(skc1) p404(skc1) p604(skc1)*. % 0.56/0.81 4245[7:Spt:4243.0] || -> p604(skc1)*. % 0.56/0.81 4246[7:MRR:1228.1,4245.0] p404(skc1) || -> . % 0.56/0.81 4247[7:MRR:1554.1,4245.0] SkP3(skc1) || -> . % 0.56/0.81 4249[7:MRR:1473.1,4245.0] SkP4(skc1) || -> . % 0.56/0.81 4250[7:MRR:4203.1,4246.0] || -> p403(skc1) SkP0(skc1)*. % 0.56/0.81 4251[7:MRR:4205.1,4247.0] || -> p303(skc1) SkP1(skc1)*. % 0.56/0.81 4252[7:MRR:4204.1,4249.0] || -> SkP5(skc1)* SkP2(skc1). % 0.56/0.81 4253[8:Spt:4250.0] || -> p403(skc1)*. % 0.56/0.81 4256[8:MRR:1038.1,4253.0] p303(skc1) || -> . % 0.56/0.81 4257[8:MRR:1337.1,4253.0] SkP5(skc1) || -> . % 0.56/0.81 4258[8:MRR:4251.0,4256.0] || -> SkP1(skc1)*. % 0.56/0.81 4260[8:MRR:1772.1,4258.0] SkP2(skc1) || -> . % 0.56/0.81 4263[8:MRR:4252.0,4257.0] || -> SkP2(skc1)*. % 0.56/0.81 4267[8:MRR:4260.0,4263.0] || -> . % 0.56/0.81 4268[8:Spt:4267.0,4250.0,4253.0] || p403(skc1)* -> . % 0.56/0.81 4269[8:Spt:4267.0,4250.1] || -> SkP0(skc1)*. % 0.56/0.81 4270[8:MRR:1826.1,4269.0] SkP1(skc1) || -> . % 0.56/0.81 4271[8:MRR:4251.1,4270.0] || -> p303(skc1)*. % 0.56/0.81 4275[8:MRR:1310.1,4271.0] SkP5(skc1) || -> . % 0.56/0.81 4276[8:MRR:4252.0,4275.0] || -> SkP2(skc1)*. % 0.56/0.81 4279[8:MRR:1799.0,1799.1,4276.0,4269.0] || -> . % 0.56/0.81 4280[7:Spt:4279.0,4243.0,4245.0] || p604(skc1)* -> . % 0.56/0.81 4281[7:Spt:4279.0,4243.1] || -> p605(skc1)*. % 0.56/0.81 4282[7:MRR:1662.1,4281.0] SkP1(skc1) || -> . % 0.56/0.81 4283[7:MRR:1608.1,4281.0] SkP2(skc1) || -> . % 0.56/0.81 4286[7:MRR:4244.2,4280.0] || -> p403(skc1) p404(skc1)*. % 0.56/0.81 4287[7:MRR:4205.2,4282.0] || -> p303(skc1) SkP3(skc1)*. % 0.56/0.81 4288[7:MRR:4204.2,4283.0] || -> SkP5(skc1)* SkP4(skc1). % 0.56/0.81 4289[8:Spt:4287.0] || -> p303(skc1)*. % 0.56/0.81 4290[8:MRR:1310.1,4289.0] SkP5(skc1) || -> . % 0.56/0.81 4293[8:MRR:1038.0,4289.0] p403(skc1) || -> . % 0.56/0.81 4294[8:MRR:4288.0,4290.0] || -> SkP4(skc1)*. % 0.56/0.81 4296[8:MRR:1418.0,4294.0] p404(skc1) || -> . % 0.56/0.81 4299[8:MRR:4286.0,4293.0] || -> p404(skc1)*. % 0.56/0.81 4303[8:MRR:4296.0,4299.0] || -> . % 0.56/0.81 4304[8:Spt:4303.0,4287.0,4289.0] || p303(skc1)* -> . % 0.56/0.81 4305[8:Spt:4303.0,4287.1] || -> SkP3(skc1)*. % 0.56/0.81 4306[8:MRR:1745.1,4305.0] SkP4(skc1) || -> . % 0.56/0.81 4307[8:MRR:4288.1,4306.0] || -> SkP5(skc1)*. % 0.56/0.81 4309[8:MRR:1337.0,4307.0] p403(skc1) || -> . % 0.56/0.81 4312[8:MRR:4286.0,4309.0] || -> p404(skc1)*. % 0.56/0.81 4313[8:MRR:1500.0,1500.1,4305.0,4312.0] || -> . % 0.56/0.81 4316[5:Spt:4313.0,4188.0,4196.0] || p502(skc1)* -> . % 0.56/0.81 4317[5:Spt:4313.0,4188.1,4188.2,4188.3] || -> p503(skc1) p504(skc1) p505(skc1)*. % 0.56/0.81 4318[5:MRR:4193.0,4316.0] || -> p503(skc1) p504(skc1) p604(skc1)* p603(skc1) p602(skc1). % 0.56/0.81 4319[5:MRR:4194.5,4316.0] || -> p402(skc1) p403(skc1) p404(skc1) p504(skc1)* p503(skc1). % 0.56/0.81 4320[6:Spt:4317.0] || -> p503(skc1)*. % 0.56/0.81 4321[6:MRR:1364.1,4320.0] SkP5(skc1) || -> . % 0.56/0.81 4322[6:MRR:1065.1,4320.0] p303(skc1) || -> . % 0.56/0.81 4323[6:MRR:1119.1,4320.0] p403(skc1) || -> . % 0.56/0.81 4324[6:MRR:1173.0,4320.0] p603(skc1) || -> . % 0.56/0.81 4325[6:MRR:4191.1,4321.0] || -> p202(skc1) SkP4(skc1)* SkP2(skc1). % 0.56/0.81 4326[6:MRR:4192.1,4322.0] || -> p302(skc1) SkP3(skc1)* SkP1(skc1). % 0.56/0.81 4327[6:MRR:4189.1,4323.0] || -> p402(skc1) p404(skc1) SkP0(skc1)*. % 0.56/0.81 4328[6:MRR:4195.1,4323.0] || -> p402(skc1) p404(skc1) p604(skc1)* p603(skc1) p602(skc1). % 0.56/0.81 4329[6:MRR:4190.1,4324.0] || -> p602(skc1) p604(skc1) p605(skc1)*. % 0.56/0.81 4330[6:MRR:4328.3,4324.0] || -> p402(skc1) p404(skc1) p604(skc1)* p602(skc1). % 0.56/0.81 4331[7:Spt:4325.0] || -> p202(skc1)*. % 0.56/0.81 4333[7:MRR:848.0,4331.0] p602(skc1) || -> . % 0.56/0.81 4334[7:MRR:794.0,4331.0] p402(skc1) || -> . % 0.56/0.81 4335[7:MRR:767.0,4331.0] p302(skc1) || -> . % 0.56/0.81 4336[7:MRR:4329.0,4333.0] || -> p604(skc1) p605(skc1)*. % 0.56/0.81 4337[7:MRR:4330.3,4333.0] || -> p402(skc1) p404(skc1) p604(skc1)*. % 0.56/0.81 4338[7:MRR:4327.0,4334.0] || -> p404(skc1) SkP0(skc1)*. % 0.56/0.81 4339[7:MRR:4326.0,4335.0] || -> SkP3(skc1)* SkP1(skc1). % 0.56/0.81 4340[7:MRR:4337.0,4334.0] || -> p404(skc1) p604(skc1)*. % 0.56/0.81 4341[8:Spt:4336.0] || -> p604(skc1)*. % 0.56/0.81 4343[8:MRR:1228.1,4341.0] p404(skc1) || -> . % 0.56/0.81 4345[8:MRR:1554.1,4341.0] SkP3(skc1) || -> . % 0.56/0.81 4346[8:MRR:4338.0,4343.0] || -> SkP0(skc1)*. % 0.56/0.81 4347[8:MRR:1826.1,4346.0] SkP1(skc1) || -> . % 0.56/0.81 4351[8:MRR:4339.0,4345.0] || -> SkP1(skc1)*. % 0.56/0.81 4355[8:MRR:4347.0,4351.0] || -> . % 0.56/0.81 4356[8:Spt:4355.0,4336.0,4341.0] || p604(skc1)* -> . % 0.56/0.81 4357[8:Spt:4355.0,4336.1] || -> p605(skc1)*. % 0.56/0.81 4358[8:MRR:4340.1,4356.0] || -> p404(skc1)*. % 0.56/0.81 4361[8:MRR:1500.1,4358.0] SkP3(skc1) || -> . % 0.56/0.81 4362[8:MRR:4339.0,4361.0] || -> SkP1(skc1)*. % 0.56/0.81 4367[8:MRR:1662.0,1662.1,4362.0,4357.0] || -> . % 0.56/0.81 4368[7:Spt:4367.0,4325.0,4331.0] || p202(skc1)* -> . % 0.56/0.81 4369[7:Spt:4367.0,4325.1,4325.2] || -> SkP4(skc1)* SkP2(skc1). % 0.56/0.81 4370[8:Spt:4369.0] || -> SkP4(skc1)*. % 0.56/0.81 4371[8:MRR:1473.0,4370.0] p604(skc1) || -> . % 0.56/0.81 4372[8:MRR:1418.0,4370.0] p404(skc1) || -> . % 0.56/0.81 4373[8:MRR:1745.0,4370.0] SkP3(skc1) || -> . % 0.56/0.81 4375[8:MRR:4329.1,4371.0] || -> p602(skc1) p605(skc1)*. % 0.56/0.81 4376[8:MRR:4330.2,4371.0] || -> p402(skc1) p404(skc1)* p602(skc1). % 0.56/0.81 4377[8:MRR:4327.1,4372.0] || -> p402(skc1) SkP0(skc1)*. % 0.56/0.81 4378[8:MRR:4326.1,4373.0] || -> p302(skc1) SkP1(skc1)*. % 0.56/0.81 4379[8:MRR:4376.1,4372.0] || -> p402(skc1) p602(skc1)*. % 0.56/0.81 4380[9:Spt:4375.0] || -> p602(skc1)*. % 0.56/0.81 4383[9:MRR:984.1,4380.0] p402(skc1) || -> . % 0.56/0.81 4384[9:MRR:929.1,4380.0] p302(skc1) || -> . % 0.56/0.81 4385[9:MRR:4377.0,4383.0] || -> SkP0(skc1)*. % 0.56/0.81 4389[9:MRR:1826.1,4385.0] SkP1(skc1) || -> . % 0.56/0.81 4390[9:MRR:4378.0,4384.0] || -> SkP1(skc1)*. % 0.56/0.81 4394[9:MRR:4389.0,4390.0] || -> . % 0.56/0.81 4395[9:Spt:4394.0,4375.0,4380.0] || p602(skc1)* -> . % 0.56/0.81 4396[9:Spt:4394.0,4375.1] || -> p605(skc1)*. % 0.56/0.81 4397[9:MRR:4379.1,4395.0] || -> p402(skc1)*. % 0.56/0.81 4401[9:MRR:875.1,4397.0] p302(skc1) || -> . % 0.56/0.81 4402[9:MRR:4378.0,4401.0] || -> SkP1(skc1)*. % 0.56/0.81 4404[9:MRR:1662.0,1662.1,4402.0,4396.0] || -> . % 0.56/0.81 4407[8:Spt:4404.0,4369.0,4370.0] || SkP4(skc1)* -> . % 0.56/0.81 4408[8:Spt:4404.0,4369.1] || -> SkP2(skc1)*. % 0.56/0.81 4409[8:MRR:1799.0,4408.0] SkP0(skc1) || -> . % 0.56/0.81 4410[8:MRR:1772.0,4408.0] SkP1(skc1) || -> . % 0.56/0.81 4411[8:MRR:1608.0,4408.0] p605(skc1) || -> . % 0.56/0.81 4413[8:MRR:4329.2,4411.0] || -> p602(skc1) p604(skc1)*. % 0.56/0.81 4414[8:MRR:4327.2,4409.0] || -> p402(skc1) p404(skc1)*. % 0.56/0.81 4415[8:MRR:4326.2,4410.0] || -> p302(skc1) SkP3(skc1)*. % 0.56/0.81 4416[9:Spt:4413.0] || -> p602(skc1)*. % 0.56/0.81 4417[9:MRR:984.1,4416.0] p402(skc1) || -> . % 0.56/0.81 4418[9:MRR:929.1,4416.0] p302(skc1) || -> . % 0.56/0.81 4421[9:MRR:4414.0,4417.0] || -> p404(skc1)*. % 0.56/0.81 4424[9:MRR:1500.1,4421.0] SkP3(skc1) || -> . % 0.56/0.81 4426[9:MRR:4415.0,4418.0] || -> SkP3(skc1)*. % 0.56/0.81 4430[9:MRR:4424.0,4426.0] || -> . % 0.56/0.81 4431[9:Spt:4430.0,4413.0,4416.0] || p602(skc1)* -> . % 0.56/0.81 4432[9:Spt:4430.0,4413.1] || -> p604(skc1)*. % 0.56/0.81 4433[9:MRR:1228.1,4432.0] p404(skc1) || -> . % 0.56/0.81 4434[9:MRR:4414.1,4433.0] || -> p402(skc1)*. % 0.56/0.81 4438[9:MRR:875.1,4434.0] p302(skc1) || -> . % 0.56/0.81 4439[9:MRR:4415.0,4438.0] || -> SkP3(skc1)*. % 0.56/0.81 4441[9:MRR:1554.0,1554.1,4439.0,4432.0] || -> . % 0.56/0.81 4443[6:Spt:4441.0,4317.0,4320.0] || p503(skc1)* -> . % 0.56/0.81 4444[6:Spt:4441.0,4317.1,4317.2] || -> p504(skc1) p505(skc1)*. % 0.56/0.81 4445[6:MRR:4318.0,4443.0] || -> p504(skc1) p604(skc1)* p603(skc1) p602(skc1). % 0.56/0.81 4446[6:MRR:4319.4,4443.0] || -> p402(skc1) p403(skc1) p404(skc1) p504(skc1)*. % 0.56/0.81 4447[7:Spt:4444.0] || -> p504(skc1)*. % 0.56/0.81 4448[7:MRR:1201.1,4447.0] p404(skc1) || -> . % 0.56/0.81 4449[7:MRR:1527.1,4447.0] SkP3(skc1) || -> . % 0.56/0.81 4450[7:MRR:1446.1,4447.0] SkP4(skc1) || -> . % 0.56/0.81 4451[7:MRR:1255.0,4447.0] p604(skc1) || -> . % 0.56/0.81 4452[7:MRR:4189.2,4448.0] || -> p402(skc1) p403(skc1) SkP0(skc1)*. % 0.56/0.81 4453[7:MRR:4195.2,4448.0] || -> p402(skc1) p403(skc1) p604(skc1)* p603(skc1) p602(skc1). % 0.56/0.81 4454[7:MRR:4192.2,4449.0] || -> p302(skc1) p303(skc1) SkP1(skc1)*. % 0.56/0.81 4455[7:MRR:4191.2,4450.0] || -> p202(skc1) SkP5(skc1)* SkP2(skc1). % 0.56/0.81 4456[7:MRR:4190.2,4451.0] || -> p602(skc1) p603(skc1) p605(skc1)*. % 0.56/0.81 4457[7:MRR:4453.2,4451.0] || -> p402(skc1) p403(skc1) p603(skc1)* p602(skc1). % 0.56/0.81 4458[8:Spt:4452.0] || -> p402(skc1)*. % 0.56/0.81 4459[8:MRR:875.1,4458.0] p302(skc1) || -> . % 0.56/0.81 4461[8:MRR:794.1,4458.0] p202(skc1) || -> . % 0.56/0.81 4462[8:MRR:984.0,4458.0] p602(skc1) || -> . % 0.56/0.81 4463[8:MRR:4454.0,4459.0] || -> p303(skc1) SkP1(skc1)*. % 0.56/0.81 4464[8:MRR:4455.0,4461.0] || -> SkP5(skc1)* SkP2(skc1). % 0.56/0.81 4465[8:MRR:4456.0,4462.0] || -> p603(skc1) p605(skc1)*. % 0.56/0.81 4466[9:Spt:4463.0] || -> p303(skc1)*. % 0.56/0.81 4468[9:MRR:1310.1,4466.0] SkP5(skc1) || -> . % 0.56/0.81 4470[9:MRR:1092.0,4466.0] p603(skc1) || -> . % 0.56/0.81 4471[9:MRR:4464.0,4468.0] || -> SkP2(skc1)*. % 0.56/0.81 4474[9:MRR:1608.0,4471.0] p605(skc1) || -> . % 0.56/0.81 4476[9:MRR:4465.0,4470.0] || -> p605(skc1)*. % 0.56/0.81 4480[9:MRR:4474.0,4476.0] || -> . % 0.56/0.81 4481[9:Spt:4480.0,4463.0,4466.0] || p303(skc1)* -> . % 0.56/0.81 4482[9:Spt:4480.0,4463.1] || -> SkP1(skc1)*. % 0.56/0.81 4483[9:MRR:1772.1,4482.0] SkP2(skc1) || -> . % 0.56/0.81 4484[9:MRR:4464.1,4483.0] || -> SkP5(skc1)*. % 0.56/0.81 4487[9:MRR:1391.0,4484.0] p603(skc1) || -> . % 0.56/0.81 4489[9:MRR:4465.0,4487.0] || -> p605(skc1)*. % 0.56/0.81 4491[9:MRR:1662.0,1662.1,4482.0,4489.0] || -> . % 0.56/0.81 4493[8:Spt:4491.0,4452.0,4458.0] || p402(skc1)* -> . % 0.56/0.81 4494[8:Spt:4491.0,4452.1,4452.2] || -> p403(skc1) SkP0(skc1)*. % 0.56/0.81 4495[8:MRR:4457.0,4493.0] || -> p403(skc1) p603(skc1)* p602(skc1). % 0.56/0.81 4496[9:Spt:4494.0] || -> p403(skc1)*. % 0.56/0.81 4497[9:MRR:1337.1,4496.0] SkP5(skc1) || -> . % 0.56/0.81 4498[9:MRR:1038.1,4496.0] p303(skc1) || -> . % 0.56/0.81 4500[9:MRR:1146.0,4496.0] p603(skc1) || -> . % 0.56/0.81 4501[9:MRR:4455.1,4497.0] || -> p202(skc1) SkP2(skc1)*. % 0.56/0.81 4502[9:MRR:4454.1,4498.0] || -> p302(skc1) SkP1(skc1)*. % 0.56/0.81 4503[9:MRR:4456.1,4500.0] || -> p602(skc1) p605(skc1)*. % 0.56/0.81 4504[10:Spt:4501.0] || -> p202(skc1)*. % 0.56/0.81 4506[10:MRR:767.0,4504.0] p302(skc1) || -> . % 0.56/0.81 4508[10:MRR:848.0,4504.0] p602(skc1) || -> . % 0.56/0.81 4509[10:MRR:4502.0,4506.0] || -> SkP1(skc1)*. % 0.56/0.81 4511[10:MRR:1662.0,4509.0] p605(skc1) || -> . % 0.56/0.81 4514[10:MRR:4503.0,4508.0] || -> p605(skc1)*. % 0.56/0.81 4518[10:MRR:4511.0,4514.0] || -> . % 0.56/0.81 4519[10:Spt:4518.0,4501.0,4504.0] || p202(skc1)* -> . % 0.56/0.81 4520[10:Spt:4518.0,4501.1] || -> SkP2(skc1)*. % 0.56/0.81 4521[10:MRR:1772.0,4520.0] SkP1(skc1) || -> . % 0.56/0.81 4522[10:MRR:4502.1,4521.0] || -> p302(skc1)*. % 0.56/0.81 4525[10:MRR:929.0,4522.0] p602(skc1) || -> . % 0.56/0.81 4527[10:MRR:4503.0,4525.0] || -> p605(skc1)*. % 0.56/0.81 4530[10:MRR:1608.0,1608.1,4520.0,4527.0] || -> . % 0.56/0.81 4531[9:Spt:4530.0,4494.0,4496.0] || p403(skc1)* -> . % 0.56/0.81 4532[9:Spt:4530.0,4494.1] || -> SkP0(skc1)*. % 0.56/0.81 4533[9:MRR:1826.1,4532.0] SkP1(skc1) || -> . % 0.56/0.81 4535[9:MRR:1799.1,4532.0] SkP2(skc1) || -> . % 0.56/0.81 4537[9:MRR:4495.0,4531.0] || -> p603(skc1)* p602(skc1). % 0.56/0.81 4538[9:MRR:4455.2,4535.0] || -> p202(skc1) SkP5(skc1)*. % 0.56/0.81 4539[9:MRR:4454.2,4533.0] || -> p302(skc1) p303(skc1)*. % 0.56/0.81 4540[10:Spt:4538.0] || -> p202(skc1)*. % 0.56/0.81 4541[10:MRR:767.0,4540.0] p302(skc1) || -> . % 0.56/0.81 4542[10:MRR:848.0,4540.0] p602(skc1) || -> . % 0.56/0.81 4545[10:MRR:4539.0,4541.0] || -> p303(skc1)*. % 0.56/0.81 4548[10:MRR:1092.0,4545.0] p603(skc1) || -> . % 0.56/0.81 4550[10:MRR:4537.1,4542.0] || -> p603(skc1)*. % 0.56/0.81 4554[10:MRR:4548.0,4550.0] || -> . % 0.56/0.81 4555[10:Spt:4554.0,4538.0,4540.0] || p202(skc1)* -> . % 0.56/0.81 4556[10:Spt:4554.0,4538.1] || -> SkP5(skc1)*. % 0.56/0.81 4557[10:MRR:1310.0,4556.0] p303(skc1) || -> . % 0.56/0.81 4558[10:MRR:4539.1,4557.0] || -> p302(skc1)*. % 0.56/0.81 4561[10:MRR:929.0,4558.0] p602(skc1) || -> . % 0.56/0.81 4563[10:MRR:4537.1,4561.0] || -> p603(skc1)*. % 0.56/0.81 4565[10:MRR:1391.0,1391.1,4556.0,4563.0] || -> . % 0.56/0.81 4567[7:Spt:4565.0,4444.0,4447.0] || p504(skc1)* -> . % 0.56/0.81 4568[7:Spt:4565.0,4444.1] || -> p505(skc1)*. % 0.56/0.81 4569[7:MRR:1635.1,4568.0] SkP1(skc1) || -> . % 0.56/0.81 4571[7:MRR:1581.1,4568.0] SkP2(skc1) || -> . % 0.56/0.81 4573[7:MRR:4445.0,4567.0] || -> p604(skc1)* p603(skc1) p602(skc1). % 0.56/0.81 4574[7:MRR:4446.3,4567.0] || -> p402(skc1) p403(skc1) p404(skc1)*. % 0.56/0.81 4575[7:MRR:4192.3,4569.0] || -> p302(skc1) p303(skc1) SkP3(skc1)*. % 0.56/0.81 4576[7:MRR:4191.3,4571.0] || -> p202(skc1) SkP5(skc1)* SkP4(skc1). % 0.56/0.81 4577[8:Spt:4575.0] || -> p302(skc1)*. % 0.56/0.81 4578[8:MRR:875.0,4577.0] p402(skc1) || -> . % 0.56/0.81 4579[8:MRR:929.0,4577.0] p602(skc1) || -> . % 0.56/0.81 4581[8:MRR:767.1,4577.0] p202(skc1) || -> . % 0.56/0.81 4582[8:MRR:4574.0,4578.0] || -> p403(skc1) p404(skc1)*. % 0.56/0.81 4583[8:MRR:4573.2,4579.0] || -> p604(skc1)* p603(skc1). % 0.56/0.81 4584[8:MRR:4576.0,4581.0] || -> SkP5(skc1)* SkP4(skc1). % 0.56/0.81 4585[9:Spt:4584.0] || -> SkP5(skc1)*. % 0.56/0.81 4587[9:MRR:1391.0,4585.0] p603(skc1) || -> . % 0.56/0.81 4588[9:MRR:1337.0,4585.0] p403(skc1) || -> . % 0.56/0.81 4590[9:MRR:4583.1,4587.0] || -> p604(skc1)*. % 0.56/0.81 4592[9:MRR:1228.1,4590.0] p404(skc1) || -> . % 0.56/0.81 4595[9:MRR:4582.0,4588.0] || -> p404(skc1)*. % 0.56/0.81 4599[9:MRR:4592.0,4595.0] || -> . % 0.56/0.81 4600[9:Spt:4599.0,4584.0,4585.0] || SkP5(skc1)* -> . % 0.56/0.81 4601[9:Spt:4599.0,4584.1] || -> SkP4(skc1)*. % 0.56/0.81 4602[9:MRR:1473.0,4601.0] p604(skc1) || -> . % 0.56/0.81 4603[9:MRR:4583.0,4602.0] || -> p603(skc1)*. % 0.56/0.81 4607[9:MRR:1146.1,4603.0] p403(skc1) || -> . % 0.56/0.81 4608[9:MRR:4582.0,4607.0] || -> p404(skc1)*. % 0.56/0.81 4609[9:MRR:1418.0,1418.1,4601.0,4608.0] || -> . % 0.56/0.81 4612[8:Spt:4609.0,4575.0,4577.0] || p302(skc1)* -> . % 0.56/0.81 4613[8:Spt:4609.0,4575.1,4575.2] || -> p303(skc1) SkP3(skc1)*. % 0.56/0.81 4614[9:Spt:4613.0] || -> p303(skc1)*. % 0.56/0.81 4615[9:MRR:1092.0,4614.0] p603(skc1) || -> . % 0.56/0.81 4616[9:MRR:1310.1,4614.0] SkP5(skc1) || -> . % 0.56/0.81 4618[9:MRR:1038.0,4614.0] p403(skc1) || -> . % 0.56/0.81 4619[9:MRR:4573.1,4615.0] || -> p604(skc1)* p602(skc1). % 0.56/0.81 4620[9:MRR:4576.1,4616.0] || -> p202(skc1) SkP4(skc1)*. % 0.56/0.81 4621[9:MRR:4574.1,4618.0] || -> p402(skc1) p404(skc1)*. % 0.56/0.81 4622[10:Spt:4620.0] || -> p202(skc1)*. % 0.56/0.81 4624[10:MRR:794.0,4622.0] p402(skc1) || -> . % 0.56/0.81 4625[10:MRR:848.0,4622.0] p602(skc1) || -> . % 0.56/0.81 4627[10:MRR:4621.0,4624.0] || -> p404(skc1)*. % 0.56/0.81 4628[10:MRR:1228.0,4627.0] p604(skc1) || -> . % 0.56/0.81 4632[10:MRR:4619.1,4625.0] || -> p604(skc1)*. % 0.56/0.81 4636[10:MRR:4628.0,4632.0] || -> . % 0.56/0.81 4637[10:Spt:4636.0,4620.0,4622.0] || p202(skc1)* -> . % 0.56/0.81 4638[10:Spt:4636.0,4620.1] || -> SkP4(skc1)*. % 0.56/0.81 4639[10:MRR:1418.0,4638.0] p404(skc1) || -> . % 0.56/0.81 4640[10:MRR:4621.1,4639.0] || -> p402(skc1)*. % 0.56/0.81 4643[10:MRR:984.0,4640.0] p602(skc1) || -> . % 0.56/0.81 4645[10:MRR:4619.1,4643.0] || -> p604(skc1)*. % 0.56/0.81 4648[10:MRR:1473.0,1473.1,4638.0,4645.0] || -> . % 0.56/0.81 4649[9:Spt:4648.0,4613.0,4614.0] || p303(skc1)* -> . % 0.56/0.81 4650[9:Spt:4648.0,4613.1] || -> SkP3(skc1)*. % 0.56/0.81 4651[9:MRR:1500.0,4650.0] p404(skc1) || -> . % 0.56/0.81 4652[9:MRR:1554.0,4650.0] p604(skc1) || -> . % 0.56/0.81 4653[9:MRR:1745.1,4650.0] SkP4(skc1) || -> . % 0.56/0.81 4655[9:MRR:4573.0,4652.0] || -> p603(skc1)* p602(skc1). % 0.56/0.81 4656[9:MRR:4576.2,4653.0] || -> p202(skc1) SkP5(skc1)*. % 0.56/0.81 4657[9:MRR:4574.2,4651.0] || -> p402(skc1) p403(skc1)*. % 0.56/0.81 4658[10:Spt:4656.0] || -> p202(skc1)*. % 0.56/0.81 4659[10:MRR:794.0,4658.0] p402(skc1) || -> . % 0.56/0.81 4661[10:MRR:848.0,4658.0] p602(skc1) || -> . % 0.56/0.81 4663[10:MRR:4657.0,4659.0] || -> p403(skc1)*. % 0.56/0.81 4665[10:MRR:1146.0,4663.0] p603(skc1) || -> . % 0.56/0.81 4668[10:MRR:4655.1,4661.0] || -> p603(skc1)*. % 0.56/0.81 4672[10:MRR:4665.0,4668.0] || -> . % 0.56/0.81 4673[10:Spt:4672.0,4656.0,4658.0] || p202(skc1)* -> . % 0.56/0.81 4674[10:Spt:4672.0,4656.1] || -> SkP5(skc1)*. % 0.56/0.81 4675[10:MRR:1337.0,4674.0] p403(skc1) || -> . % 0.56/0.81 4676[10:MRR:4657.1,4675.0] || -> p402(skc1)*. % 0.56/0.81 4679[10:MRR:984.0,4676.0] p602(skc1) || -> . % 0.56/0.81 4681[10:MRR:4655.1,4679.0] || -> p603(skc1)*. % 0.56/0.81 4682[10:MRR:1391.0,1391.1,4674.0,4681.0] || -> . % 0.56/0.81 % SZS output end Refutation % 0.56/0.81 Formulae used in the proof : reflexivity main % 0.56/0.81 %------------------------------------------------------------------------------