%------------------------------------------------------------------------------ % File : SPASS---3.9 % Problem : LCL687+1.005 : TPTP v9.3.1. Released v4.0.0. % Transfm : none % Format : tptp % Command : run_spass %d %s % Computer : n008.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:14 PM UTC 2026 % Result : CounterSatisfiable 26.87s 27.17s % Output : Saturation 35.64s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----WARNING: Could not form TPTP format derivation %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.02 % Problem : LCL687+1.005 : TPTP v9.3.1. Released v4.0.0. % 0.00/0.03 % Command : run_spass %d %s % 0.09/0.34 % Computer : n008.cluster.edu % 0.09/0.34 % Model : x86_64 x86_64 % 0.09/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.09/0.34 % Memory : 8046.5625MB % 0.09/0.34 % OS : Linux 6.8.0-71-generic % 0.09/0.34 % CPULimit : 300 % 0.09/0.34 % WCLimit : 300 % 0.09/0.34 % DateTime : Fri Sep 4 21:44:07 UTC 2026 % 0.09/0.34 % CPUTime : % 26.87/27.17 % 26.87/27.17 SPASS V 3.9 % 26.87/27.17 SPASS beiseite: Completion found. % 26.87/27.17 % SZS status CounterSatisfiable % 26.87/27.17 Problem: /export/starexec/sandbox/benchmark/theBenchmark.p % 26.87/27.17 SPASS derived 60995 clauses, backtracked 0 clauses, performed 0 splits and kept 1214 clauses. % 26.87/27.17 SPASS allocated 135872 KBytes. % 26.87/27.17 SPASS spent 0:0:26.82 on the problem. % 26.87/27.17 0:00:00.06 for the input. % 26.87/27.17 0:00:00.06 for the FLOTTER CNF translation. % 26.87/27.17 0:00:01.31 for inferences. % 26.87/27.17 0:00:00.00 for the backtracking. % 26.87/27.17 0:0:25.27 for the reduction. % 26.87/27.17 % 26.87/27.17 % 26.87/27.17 The saturated set of worked-off clauses is : % 26.87/27.17 % SZS output start Saturation % 26.87/27.17 33[0:Inp] || r1(u,v)* r1(v,w)* -> r1(u,w)*. % 26.87/27.17 60839[0:NCh:33.2,33.0,60682.1,32.1] p1(u) || r1(skf48(v),u)*+ r1(skc7,skf25(v))*r r1(skc7,v) -> p2(u)*. % 26.87/27.17 60786[0:NCh:33.2,33.0,60576.1,32.1] p2(u) || r1(skf48(v),u)*+ r1(skc7,skf25(v))*r r1(skc7,v) -> p1(u)*. % 26.87/27.17 60629[0:NCh:33.2,33.0,60366.1,32.1] p1(u) || r1(skf48(v),u)*+ r1(skc7,skf26(v))*r r1(skc7,v) -> p2(u)*. % 26.87/27.17 60523[0:NCh:33.2,33.0,60156.1,32.1] p2(u) || r1(skf48(v),u)*+ r1(skc7,skf26(v))*r r1(skc7,v) -> p1(u)*. % 26.87/27.17 60313[0:NCh:33.2,33.0,59893.1,32.1] p1(u) || r1(skf48(v),u)*+ r1(skc7,skf27(v))*r r1(skc7,v) -> p2(u)*. % 26.87/27.17 60103[0:NCh:33.2,33.0,59630.1,32.1] p2(u) || r1(skf48(v),u)*+ r1(skc7,skf27(v))*r r1(skc7,v) -> p1(u)*. % 26.87/27.17 59840[0:NCh:33.2,33.0,59314.1,32.1] p1(u) || r1(skf48(v),u)*+ r1(skc7,skf28(v))*r r1(skc7,v) -> p2(u)*. % 26.87/27.17 60682[0:NCh:33.2,33.0,60419.1,9.0] p1(u) || r1(skf47(v),u)*+ r1(skc7,skf25(v))*r -> p2(u)*. % 26.87/27.17 60576[0:NCh:33.2,33.0,60260.1,9.0] p2(u) || r1(skf47(v),u)*+ r1(skc7,skf25(v))*r -> p1(u)*. % 26.87/27.17 59577[0:NCh:33.2,33.0,58998.1,32.1] p2(u) || r1(skf48(v),u)*+ r1(skc7,skf28(v))*r r1(skc7,v) -> p1(u)*. % 26.87/27.17 60419[0:NCh:33.2,33.0,60050.1,10.0] p1(u) || r1(skf46(v),u)*+ r1(skc7,skf25(v))*r -> p2(u)*. % 26.87/27.17 60366[0:NCh:33.2,33.0,59997.1,9.0] p1(u) || r1(skf47(v),u)*+ r1(skc7,skf26(v))*r -> p2(u)*. % 26.87/27.17 60260[0:NCh:33.2,33.0,59787.1,10.0] p2(u) || r1(skf46(v),u)*+ r1(skc7,skf25(v))*r -> p1(u)*. % 26.87/27.17 60156[0:NCh:33.2,33.0,59734.1,9.0] p2(u) || r1(skf47(v),u)*+ r1(skc7,skf26(v))*r -> p1(u)*. % 26.87/27.17 59261[0:NCh:33.2,33.0,58680.1,32.1] p1(u) || r1(skf48(v),u)*+ r1(skc7,skf29(v))*r r1(skc7,v) -> p2(u)*. % 26.87/27.17 60050[0:NCh:33.2,33.0,59524.1,11.0] p1(u) || r1(skf45(v),u)*+ r1(skc7,skf25(v))*r -> p2(u)*. % 26.87/27.17 59997[0:NCh:33.2,33.0,59471.1,10.0] p1(u) || r1(skf46(v),u)*+ r1(skc7,skf26(v))*r -> p2(u)*. % 26.87/27.17 59893[0:NCh:33.2,33.0,59367.1,9.0] p1(u) || r1(skf47(v),u)*+ r1(skc7,skf27(v))*r -> p2(u)*. % 26.87/27.17 59787[0:NCh:33.2,33.0,59208.1,11.0] p2(u) || r1(skf45(v),u)*+ r1(skc7,skf25(v))*r -> p1(u)*. % 26.87/27.17 58945[0:NCh:33.2,33.0,58260.1,32.1] p2(u) || r1(skf48(v),u)*+ r1(skc7,skf29(v))*r r1(skc7,v) -> p1(u)*. % 26.87/27.17 59734[0:NCh:33.2,33.0,59104.1,10.0] p2(u) || r1(skf46(v),u)*+ r1(skc7,skf26(v))*r -> p1(u)*. % 26.87/27.17 59630[0:NCh:33.2,33.0,59051.1,9.0] p2(u) || r1(skf47(v),u)*+ r1(skc7,skf27(v))*r -> p1(u)*. % 26.87/27.17 59524[0:NCh:33.2,33.0,58892.1,12.0] p1(u) || r1(skf44(v),u)*+ r1(skc7,skf25(v))*r -> p2(u)*. % 26.87/27.17 59471[0:NCh:33.2,33.0,58839.1,11.0] p1(u) || r1(skf45(v),u)*+ r1(skc7,skf26(v))*r -> p2(u)*. % 26.87/27.17 58576[0:NCh:33.2,33.0,57889.1,32.1] p1(u) || r1(skf48(v),u)*+ r1(skc7,skf30(v))*r r1(skc7,v) -> p2(u)*. % 26.87/27.17 59367[0:NCh:33.2,33.0,58786.1,10.0] p1(u) || r1(skf46(v),u)*+ r1(skc7,skf27(v))*r -> p2(u)*. % 26.87/27.17 59314[0:NCh:33.2,33.0,58733.1,9.0] p1(u) || r1(skf47(v),u)*+ r1(skc7,skf28(v))*r -> p2(u)*. % 26.87/27.17 59208[0:NCh:33.2,33.0,58523.1,12.0] p2(u) || r1(skf44(v),u)*+ r1(skc7,skf25(v))*r -> p1(u)*. % 26.87/27.17 59104[0:NCh:33.2,33.0,58470.1,11.0] p2(u) || r1(skf45(v),u)*+ r1(skc7,skf26(v))*r -> p1(u)*. % 26.87/27.17 58207[0:NCh:33.2,33.0,57416.1,32.1] p2(u) || r1(skf48(v),u)*+ r1(skc7,skf30(v))*r r1(skc7,v) -> p1(u)*. % 26.87/27.17 59051[0:NCh:33.2,33.0,58417.1,10.0] p2(u) || r1(skf46(v),u)*+ r1(skc7,skf27(v))*r -> p1(u)*. % 26.87/27.17 58998[0:NCh:33.2,33.0,58313.1,9.0] p2(u) || r1(skf47(v),u)*+ r1(skc7,skf28(v))*r -> p1(u)*. % 26.87/27.17 58892[0:NCh:33.2,33.0,58154.1,13.0] p1(u) || r1(skf43(v),u)*+ r1(skc7,skf25(v))*r -> p2(u)*. % 26.87/27.17 58839[0:NCh:33.2,33.0,58101.1,12.0] p1(u) || r1(skf44(v),u)*+ r1(skc7,skf26(v))*r -> p2(u)*. % 26.87/27.17 57785[0:NCh:33.2,33.0,56992.1,32.1] p1(u) || r1(skf48(v),u)*+ r1(skc7,skf31(v))*r r1(skc7,v) -> p2(u)*. % 26.87/27.17 58786[0:NCh:33.2,33.0,58048.1,11.0] p1(u) || r1(skf45(v),u)*+ r1(skc7,skf27(v))*r -> p2(u)*. % 26.87/27.17 58733[0:NCh:33.2,33.0,57995.1,10.0] p1(u) || r1(skf46(v),u)*+ r1(skc7,skf28(v))*r -> p2(u)*. % 26.87/27.17 58680[0:NCh:33.2,33.0,57942.1,9.0] p1(u) || r1(skf47(v),u)*+ r1(skc7,skf29(v))*r -> p2(u)*. % 26.87/27.17 58523[0:NCh:33.2,33.0,57732.1,13.0] p2(u) || r1(skf43(v),u)*+ r1(skc7,skf25(v))*r -> p1(u)*. % 26.87/27.17 57363[0:NCh:33.2,33.0,56466.1,32.1] p2(u) || r1(skf48(v),u)*+ r1(skc7,skf31(v))*r r1(skc7,v) -> p1(u)*. % 26.87/27.17 58470[0:NCh:33.2,33.0,57679.1,12.0] p2(u) || r1(skf44(v),u)*+ r1(skc7,skf26(v))*r -> p1(u)*. % 26.87/27.17 58417[0:NCh:33.2,33.0,57626.1,11.0] p2(u) || r1(skf45(v),u)*+ r1(skc7,skf27(v))*r -> p1(u)*. % 26.87/27.17 58313[0:NCh:33.2,33.0,57522.1,10.0] p2(u) || r1(skf46(v),u)*+ r1(skc7,skf28(v))*r -> p1(u)*. % 26.87/27.17 58260[0:NCh:33.2,33.0,57469.1,9.0] p2(u) || r1(skf47(v),u)*+ r1(skc7,skf29(v))*r -> p1(u)*. % 26.87/27.17 58154[0:NCh:33.2,33.0,57310.1,14.0] p1(u) || r1(skf42(v),u)*+ r1(skc7,skf25(v))*r -> p2(u)*. % 26.87/27.17 58101[0:NCh:33.2,33.0,57257.1,13.0] p1(u) || r1(skf43(v),u)*+ r1(skc7,skf26(v))*r -> p2(u)*. % 26.87/27.17 58048[0:NCh:33.2,33.0,57204.1,12.0] p1(u) || r1(skf44(v),u)*+ r1(skc7,skf27(v))*r -> p2(u)*. % 26.87/27.17 57995[0:NCh:33.2,33.0,57151.1,11.0] p1(u) || r1(skf45(v),u)*+ r1(skc7,skf28(v))*r -> p2(u)*. % 26.87/27.17 57942[0:NCh:33.2,33.0,57098.1,10.0] p1(u) || r1(skf46(v),u)*+ r1(skc7,skf29(v))*r -> p2(u)*. % 26.87/27.17 56939[0:NCh:33.2,33.0,55989.1,32.1] p1(u) || r1(skf48(v),u)*+ r1(skc7,skf32(v))*r r1(skc7,v) -> p2(u)*. % 26.87/27.17 57889[0:NCh:33.2,33.0,57045.1,9.0] p1(u) || r1(skf47(v),u)*+ r1(skc7,skf30(v))*r -> p2(u)*. % 26.87/27.17 57732[0:NCh:33.2,33.0,56886.1,14.0] p2(u) || r1(skf42(v),u)*+ r1(skc7,skf25(v))*r -> p1(u)*. % 26.87/27.17 57679[0:NCh:33.2,33.0,56833.1,13.0] p2(u) || r1(skf43(v),u)*+ r1(skc7,skf26(v))*r -> p1(u)*. % 26.87/27.17 57626[0:NCh:33.2,33.0,56729.1,12.0] p2(u) || r1(skf44(v),u)*+ r1(skc7,skf27(v))*r -> p1(u)*. % 26.87/27.17 56413[0:NCh:33.2,33.0,55410.1,32.1] p2(u) || r1(skf48(v),u)*+ r1(skc7,skf32(v))*r r1(skc7,v) -> p1(u)*. % 26.87/27.17 57522[0:NCh:33.2,33.0,56676.1,11.0] p2(u) || r1(skf45(v),u)*+ r1(skc7,skf28(v))*r -> p1(u)*. % 26.87/27.17 57469[0:NCh:33.2,33.0,56623.1,10.0] p2(u) || r1(skf46(v),u)*+ r1(skc7,skf29(v))*r -> p1(u)*. % 26.87/27.17 57416[0:NCh:33.2,33.0,56570.1,9.0] p2(u) || r1(skf47(v),u)*+ r1(skc7,skf30(v))*r -> p1(u)*. % 26.87/27.17 57310[0:NCh:33.2,33.0,56360.1,15.0] p1(u) || r1(skf41(v),u)*+ r1(skc7,skf25(v))*r -> p2(u)*. % 26.87/27.17 57257[0:NCh:33.2,33.0,56307.1,14.0] p1(u) || r1(skf42(v),u)*+ r1(skc7,skf26(v))*r -> p2(u)*. % 26.87/27.17 57204[0:NCh:33.2,33.0,56254.1,13.0] p1(u) || r1(skf43(v),u)*+ r1(skc7,skf27(v))*r -> p2(u)*. % 26.87/27.17 57151[0:NCh:33.2,33.0,56201.1,12.0] p1(u) || r1(skf44(v),u)*+ r1(skc7,skf28(v))*r -> p2(u)*. % 26.87/27.17 57098[0:NCh:33.2,33.0,56148.1,11.0] p1(u) || r1(skf45(v),u)*+ r1(skc7,skf29(v))*r -> p2(u)*. % 26.87/27.17 57045[0:NCh:33.2,33.0,56095.1,10.0] p1(u) || r1(skf46(v),u)*+ r1(skc7,skf30(v))*r -> p2(u)*. % 26.87/27.17 55936[0:NCh:33.2,33.0,54880.1,32.1] p1(u) || r1(skf48(v),u)*+ r1(skc7,skf33(v))*r r1(skc7,v) -> p2(u)*. % 26.87/27.17 56992[0:NCh:33.2,33.0,56042.1,9.0] p1(u) || r1(skf47(v),u)*+ r1(skc7,skf31(v))*r -> p2(u)*. % 26.87/27.17 56886[0:NCh:33.2,33.0,55883.1,15.0] p2(u) || r1(skf41(v),u)*+ r1(skc7,skf25(v))*r -> p1(u)*. % 26.87/27.17 56833[0:NCh:33.2,33.0,55830.1,14.0] p2(u) || r1(skf42(v),u)*+ r1(skc7,skf26(v))*r -> p1(u)*. % 26.87/27.17 56729[0:NCh:33.2,33.0,55777.1,13.0] p2(u) || r1(skf43(v),u)*+ r1(skc7,skf27(v))*r -> p1(u)*. % 26.87/27.17 55357[0:NCh:33.2,33.0,54248.1,32.1] p2(u) || r1(skf48(v),u)*+ r1(skc7,skf33(v))*r r1(skc7,v) -> p1(u)*. % 26.87/27.17 56676[0:NCh:33.2,33.0,55673.1,12.0] p2(u) || r1(skf44(v),u)*+ r1(skc7,skf28(v))*r -> p1(u)*. % 26.87/27.17 56623[0:NCh:33.2,33.0,55620.1,11.0] p2(u) || r1(skf45(v),u)*+ r1(skc7,skf29(v))*r -> p1(u)*. % 26.87/27.17 56570[0:NCh:33.2,33.0,55567.1,10.0] p2(u) || r1(skf46(v),u)*+ r1(skc7,skf30(v))*r -> p1(u)*. % 26.87/27.17 56466[0:NCh:33.2,33.0,55514.1,9.0] p2(u) || r1(skf47(v),u)*+ r1(skc7,skf31(v))*r -> p1(u)*. % 26.87/27.17 56360[0:NCh:33.2,33.0,55304.1,16.0] p1(u) || r1(skf40(v),u)*+ r1(skc7,skf25(v))*r -> p2(u)*. % 26.87/27.17 56307[0:NCh:33.2,33.0,55251.1,15.0] p1(u) || r1(skf41(v),u)*+ r1(skc7,skf26(v))*r -> p2(u)*. % 26.87/27.17 56254[0:NCh:33.2,33.0,55198.1,14.0] p1(u) || r1(skf42(v),u)*+ r1(skc7,skf27(v))*r -> p2(u)*. % 26.87/27.17 56201[0:NCh:33.2,33.0,55145.1,13.0] p1(u) || r1(skf43(v),u)*+ r1(skc7,skf28(v))*r -> p2(u)*. % 26.87/27.17 56148[0:NCh:33.2,33.0,55092.1,12.0] p1(u) || r1(skf44(v),u)*+ r1(skc7,skf29(v))*r -> p2(u)*. % 26.87/27.17 56095[0:NCh:33.2,33.0,55039.1,11.0] p1(u) || r1(skf45(v),u)*+ r1(skc7,skf30(v))*r -> p2(u)*. % 26.87/27.17 56042[0:NCh:33.2,33.0,54986.1,10.0] p1(u) || r1(skf46(v),u)*+ r1(skc7,skf31(v))*r -> p2(u)*. % 26.87/27.17 55989[0:NCh:33.2,33.0,54933.1,9.0] p1(u) || r1(skf47(v),u)*+ r1(skc7,skf32(v))*r -> p2(u)*. % 26.87/27.17 55883[0:NCh:33.2,33.0,54774.1,16.0] p2(u) || r1(skf40(v),u)*+ r1(skc7,skf25(v))*r -> p1(u)*. % 26.87/27.17 55830[0:NCh:33.2,33.0,54721.1,15.0] p2(u) || r1(skf41(v),u)*+ r1(skc7,skf26(v))*r -> p1(u)*. % 26.87/27.17 54827[0:NCh:33.2,33.0,53665.1,32.1] p1(u) || r1(skf48(v),u)*+ r1(skc7,skf34(v))*r r1(skc7,v) -> p2(u)*. % 26.87/27.17 55777[0:NCh:33.2,33.0,54617.1,14.0] p2(u) || r1(skf42(v),u)*+ r1(skc7,skf27(v))*r -> p1(u)*. % 26.87/27.17 55673[0:NCh:33.2,33.0,54564.1,13.0] p2(u) || r1(skf43(v),u)*+ r1(skc7,skf28(v))*r -> p1(u)*. % 26.87/27.17 55620[0:NCh:33.2,33.0,54511.1,12.0] p2(u) || r1(skf44(v),u)*+ r1(skc7,skf29(v))*r -> p1(u)*. % 26.87/27.17 55567[0:NCh:33.2,33.0,54458.1,11.0] p2(u) || r1(skf45(v),u)*+ r1(skc7,skf30(v))*r -> p1(u)*. % 26.87/27.17 54195[0:NCh:33.2,33.0,52980.1,32.1] p2(u) || r1(skf48(v),u)*+ r1(skc7,skf34(v))*r r1(skc7,v) -> p1(u)*. % 26.87/27.17 55514[0:NCh:33.2,33.0,54354.1,10.0] p2(u) || r1(skf46(v),u)*+ r1(skc7,skf31(v))*r -> p1(u)*. % 26.87/27.17 55410[0:NCh:33.2,33.0,54301.1,9.0] p2(u) || r1(skf47(v),u)*+ r1(skc7,skf32(v))*r -> p1(u)*. % 26.87/27.17 55304[0:NCh:33.2,33.0,54142.1,17.0] p1(u) || r1(skf39(v),u)*+ r1(skc7,skf25(v))*r -> p2(u)*. % 26.87/27.17 55251[0:NCh:33.2,33.0,54089.1,16.0] p1(u) || r1(skf40(v),u)*+ r1(skc7,skf26(v))*r -> p2(u)*. % 26.87/27.17 55198[0:NCh:33.2,33.0,54036.1,15.0] p1(u) || r1(skf41(v),u)*+ r1(skc7,skf27(v))*r -> p2(u)*. % 26.87/27.17 55145[0:NCh:33.2,33.0,53983.1,14.0] p1(u) || r1(skf42(v),u)*+ r1(skc7,skf28(v))*r -> p2(u)*. % 26.87/27.17 55092[0:NCh:33.2,33.0,53930.1,13.0] p1(u) || r1(skf43(v),u)*+ r1(skc7,skf29(v))*r -> p2(u)*. % 26.87/27.17 55039[0:NCh:33.2,33.0,53877.1,12.0] p1(u) || r1(skf44(v),u)*+ r1(skc7,skf30(v))*r -> p2(u)*. % 26.87/27.17 54986[0:NCh:33.2,33.0,53824.1,11.0] p1(u) || r1(skf45(v),u)*+ r1(skc7,skf31(v))*r -> p2(u)*. % 26.87/27.17 54933[0:NCh:33.2,33.0,53771.1,10.0] p1(u) || r1(skf46(v),u)*+ r1(skc7,skf32(v))*r -> p2(u)*. % 26.87/27.17 54880[0:NCh:33.2,33.0,53718.1,9.0] p1(u) || r1(skf47(v),u)*+ r1(skc7,skf33(v))*r -> p2(u)*. % 26.87/27.17 54774[0:NCh:33.2,33.0,53559.1,17.0] p2(u) || r1(skf39(v),u)*+ r1(skc7,skf25(v))*r -> p1(u)*. % 26.87/27.17 54721[0:NCh:33.2,33.0,53506.1,16.0] p2(u) || r1(skf40(v),u)*+ r1(skc7,skf26(v))*r -> p1(u)*. % 26.87/27.17 54617[0:NCh:33.2,33.0,53453.1,15.0] p2(u) || r1(skf41(v),u)*+ r1(skc7,skf27(v))*r -> p1(u)*. % 26.87/27.17 53612[0:NCh:33.2,33.0,52344.1,32.1] p1(u) || r1(skf48(v),u)*+ r1(skc7,skf35(v))*r r1(skc7,v) -> p2(u)*. % 26.87/27.17 54564[0:NCh:33.2,33.0,53400.1,14.0] p2(u) || r1(skf42(v),u)*+ r1(skc7,skf28(v))*r -> p1(u)*. % 26.87/27.17 54511[0:NCh:33.2,33.0,53296.1,13.0] p2(u) || r1(skf43(v),u)*+ r1(skc7,skf29(v))*r -> p1(u)*. % 26.87/27.17 54458[0:NCh:33.2,33.0,53243.1,12.0] p2(u) || r1(skf44(v),u)*+ r1(skc7,skf30(v))*r -> p1(u)*. % 26.87/27.17 54354[0:NCh:33.2,33.0,53190.1,11.0] p2(u) || r1(skf45(v),u)*+ r1(skc7,skf31(v))*r -> p1(u)*. % 26.87/27.17 52927[0:NCh:33.2,33.0,51606.1,32.1] p2(u) || r1(skf48(v),u)*+ r1(skc7,skf35(v))*r r1(skc7,v) -> p1(u)*. % 26.87/27.17 54301[0:NCh:33.2,33.0,53137.1,10.0] p2(u) || r1(skf46(v),u)*+ r1(skc7,skf32(v))*r -> p1(u)*. % 26.87/27.17 54248[0:NCh:33.2,33.0,53033.1,9.0] p2(u) || r1(skf47(v),u)*+ r1(skc7,skf33(v))*r -> p1(u)*. % 26.87/27.17 54142[0:NCh:33.2,33.0,52874.1,18.0] p1(u) || r1(skf38(v),u)*+ r1(skc7,skf25(v))*r -> p2(u)*. % 26.87/27.17 54089[0:NCh:33.2,33.0,52821.1,17.0] p1(u) || r1(skf39(v),u)*+ r1(skc7,skf26(v))*r -> p2(u)*. % 26.87/27.17 54036[0:NCh:33.2,33.0,52768.1,16.0] p1(u) || r1(skf40(v),u)*+ r1(skc7,skf27(v))*r -> p2(u)*. % 26.87/27.17 53983[0:NCh:33.2,33.0,52715.1,15.0] p1(u) || r1(skf41(v),u)*+ r1(skc7,skf28(v))*r -> p2(u)*. % 26.87/27.17 53930[0:NCh:33.2,33.0,52662.1,14.0] p1(u) || r1(skf42(v),u)*+ r1(skc7,skf29(v))*r -> p2(u)*. % 26.87/27.17 53877[0:NCh:33.2,33.0,52609.1,13.0] p1(u) || r1(skf43(v),u)*+ r1(skc7,skf30(v))*r -> p2(u)*. % 26.87/27.17 53824[0:NCh:33.2,33.0,52556.1,12.0] p1(u) || r1(skf44(v),u)*+ r1(skc7,skf31(v))*r -> p2(u)*. % 26.87/27.17 53771[0:NCh:33.2,33.0,52503.1,11.0] p1(u) || r1(skf45(v),u)*+ r1(skc7,skf32(v))*r -> p2(u)*. % 26.87/27.17 53718[0:NCh:33.2,33.0,52450.1,10.0] p1(u) || r1(skf46(v),u)*+ r1(skc7,skf33(v))*r -> p2(u)*. % 26.87/27.17 53665[0:NCh:33.2,33.0,52397.1,9.0] p1(u) || r1(skf47(v),u)*+ r1(skc7,skf34(v))*r -> p2(u)*. % 26.87/27.17 53559[0:NCh:33.2,33.0,52238.1,18.0] p2(u) || r1(skf38(v),u)*+ r1(skc7,skf25(v))*r -> p1(u)*. % 26.87/27.17 53506[0:NCh:33.2,33.0,52185.1,17.0] p2(u) || r1(skf39(v),u)*+ r1(skc7,skf26(v))*r -> p1(u)*. % 26.87/27.17 52291[0:NCh:33.2,33.0,50917.1,32.1] p1(u) || r1(skf48(v),u)*+ r1(skc7,skf36(v))*r r1(skc7,v) -> p2(u)*. % 26.87/27.17 53453[0:NCh:33.2,33.0,52132.1,16.0] p2(u) || r1(skf40(v),u)*+ r1(skc7,skf27(v))*r -> p1(u)*. % 26.87/27.17 53400[0:NCh:33.2,33.0,52079.1,15.0] p2(u) || r1(skf41(v),u)*+ r1(skc7,skf28(v))*r -> p1(u)*. % 26.87/27.17 53296[0:NCh:33.2,33.0,51975.1,14.0] p2(u) || r1(skf42(v),u)*+ r1(skc7,skf29(v))*r -> p1(u)*. % 26.87/27.17 53243[0:NCh:33.2,33.0,51922.1,13.0] p2(u) || r1(skf43(v),u)*+ r1(skc7,skf30(v))*r -> p1(u)*. % 26.87/27.17 51553[0:NCh:33.2,33.0,50126.1,32.1] p2(u) || r1(skf48(v),u)*+ r1(skc7,skf36(v))*r r1(skc7,v) -> p1(u)*. % 26.87/27.17 53190[0:NCh:33.2,33.0,51869.1,12.0] p2(u) || r1(skf44(v),u)*+ r1(skc7,skf31(v))*r -> p1(u)*. % 26.87/27.17 53137[0:NCh:33.2,33.0,51816.1,11.0] p2(u) || r1(skf45(v),u)*+ r1(skc7,skf32(v))*r -> p1(u)*. % 26.87/27.17 53033[0:NCh:33.2,33.0,51712.1,10.0] p2(u) || r1(skf46(v),u)*+ r1(skc7,skf33(v))*r -> p1(u)*. % 26.87/27.17 52980[0:NCh:33.2,33.0,51659.1,9.0] p2(u) || r1(skf47(v),u)*+ r1(skc7,skf34(v))*r -> p1(u)*. % 26.87/27.17 52874[0:NCh:33.2,33.0,51500.1,19.0] p1(u) || r1(skf37(v),u)*+ r1(skc7,skf25(v))*r -> p2(u)*. % 26.87/27.17 52821[0:NCh:33.2,33.0,51447.1,18.0] p1(u) || r1(skf38(v),u)*+ r1(skc7,skf26(v))*r -> p2(u)*. % 26.87/27.17 52768[0:NCh:33.2,33.0,51394.1,17.0] p1(u) || r1(skf39(v),u)*+ r1(skc7,skf27(v))*r -> p2(u)*. % 26.87/27.17 52715[0:NCh:33.2,33.0,51341.1,16.0] p1(u) || r1(skf40(v),u)*+ r1(skc7,skf28(v))*r -> p2(u)*. % 26.87/27.17 52662[0:NCh:33.2,33.0,51288.1,15.0] p1(u) || r1(skf41(v),u)*+ r1(skc7,skf29(v))*r -> p2(u)*. % 26.87/27.17 52609[0:NCh:33.2,33.0,51235.1,14.0] p1(u) || r1(skf42(v),u)*+ r1(skc7,skf30(v))*r -> p2(u)*. % 26.87/27.17 52556[0:NCh:33.2,33.0,51182.1,13.0] p1(u) || r1(skf43(v),u)*+ r1(skc7,skf31(v))*r -> p2(u)*. % 26.87/27.17 52503[0:NCh:33.2,33.0,51129.1,12.0] p1(u) || r1(skf44(v),u)*+ r1(skc7,skf32(v))*r -> p2(u)*. % 26.87/27.17 52450[0:NCh:33.2,33.0,51076.1,11.0] p1(u) || r1(skf45(v),u)*+ r1(skc7,skf33(v))*r -> p2(u)*. % 26.87/27.17 52397[0:NCh:33.2,33.0,51023.1,10.0] p1(u) || r1(skf46(v),u)*+ r1(skc7,skf34(v))*r -> p2(u)*. % 26.87/27.17 52344[0:NCh:33.2,33.0,50970.1,9.0] p1(u) || r1(skf47(v),u)*+ r1(skc7,skf35(v))*r -> p2(u)*. % 26.87/27.17 52238[0:NCh:33.2,33.0,50811.1,19.0] p2(u) || r1(skf37(v),u)*+ r1(skc7,skf25(v))*r -> p1(u)*. % 26.87/27.17 52185[0:NCh:33.2,33.0,50758.1,18.0] p2(u) || r1(skf38(v),u)*+ r1(skc7,skf26(v))*r -> p1(u)*. % 26.87/27.17 52132[0:NCh:33.2,33.0,50705.1,17.0] p2(u) || r1(skf39(v),u)*+ r1(skc7,skf27(v))*r -> p1(u)*. % 26.87/27.17 52079[0:NCh:33.2,33.0,50652.1,16.0] p2(u) || r1(skf40(v),u)*+ r1(skc7,skf28(v))*r -> p1(u)*. % 26.87/27.17 50864[0:NCh:33.2,33.0,49384.1,32.1] p1(u) || r1(skf48(v),u)*+ r1(skc7,skf37(v))*r r1(skc7,v) -> p2(u)*. % 26.87/27.17 51975[0:NCh:33.2,33.0,50599.1,15.0] p2(u) || r1(skf41(v),u)*+ r1(skc7,skf29(v))*r -> p1(u)*. % 26.87/27.17 51922[0:NCh:33.2,33.0,50546.1,14.0] p2(u) || r1(skf42(v),u)*+ r1(skc7,skf30(v))*r -> p1(u)*. % 26.87/27.17 51869[0:NCh:33.2,33.0,50493.1,13.0] p2(u) || r1(skf43(v),u)*+ r1(skc7,skf31(v))*r -> p1(u)*. % 26.87/27.17 51816[0:NCh:33.2,33.0,50389.1,12.0] p2(u) || r1(skf44(v),u)*+ r1(skc7,skf32(v))*r -> p1(u)*. % 26.87/27.17 50073[0:NCh:33.2,33.0,48540.1,32.1] p2(u) || r1(skf48(v),u)*+ r1(skc7,skf37(v))*r r1(skc7,v) -> p1(u)*. % 26.87/27.17 51712[0:NCh:33.2,33.0,50336.1,11.0] p2(u) || r1(skf45(v),u)*+ r1(skc7,skf33(v))*r -> p1(u)*. % 26.87/27.17 51659[0:NCh:33.2,33.0,50283.1,10.0] p2(u) || r1(skf46(v),u)*+ r1(skc7,skf34(v))*r -> p1(u)*. % 26.87/27.17 51606[0:NCh:33.2,33.0,50230.1,9.0] p2(u) || r1(skf47(v),u)*+ r1(skc7,skf35(v))*r -> p1(u)*. % 26.87/27.17 51500[0:NCh:33.2,33.0,50020.1,20.0] p1(u) || r1(skf36(v),u)*+ r1(skc7,skf25(v))*r -> p2(u)*. % 26.87/27.17 51447[0:NCh:33.2,33.0,49967.1,19.0] p1(u) || r1(skf37(v),u)*+ r1(skc7,skf26(v))*r -> p2(u)*. % 26.87/27.17 51394[0:NCh:33.2,33.0,49914.1,18.0] p1(u) || r1(skf38(v),u)*+ r1(skc7,skf27(v))*r -> p2(u)*. % 26.87/27.17 51341[0:NCh:33.2,33.0,49861.1,17.0] p1(u) || r1(skf39(v),u)*+ r1(skc7,skf28(v))*r -> p2(u)*. % 26.87/27.17 51288[0:NCh:33.2,33.0,49808.1,16.0] p1(u) || r1(skf40(v),u)*+ r1(skc7,skf29(v))*r -> p2(u)*. % 26.87/27.17 51235[0:NCh:33.2,33.0,49755.1,15.0] p1(u) || r1(skf41(v),u)*+ r1(skc7,skf30(v))*r -> p2(u)*. % 26.87/27.17 51182[0:NCh:33.2,33.0,49702.1,14.0] p1(u) || r1(skf42(v),u)*+ r1(skc7,skf31(v))*r -> p2(u)*. % 26.87/27.17 51129[0:NCh:33.2,33.0,49649.1,13.0] p1(u) || r1(skf43(v),u)*+ r1(skc7,skf32(v))*r -> p2(u)*. % 26.87/27.17 51076[0:NCh:33.2,33.0,49596.1,12.0] p1(u) || r1(skf44(v),u)*+ r1(skc7,skf33(v))*r -> p2(u)*. % 26.87/27.17 51023[0:NCh:33.2,33.0,49543.1,11.0] p1(u) || r1(skf45(v),u)*+ r1(skc7,skf34(v))*r -> p2(u)*. % 26.87/27.17 50970[0:NCh:33.2,33.0,49490.1,10.0] p1(u) || r1(skf46(v),u)*+ r1(skc7,skf35(v))*r -> p2(u)*. % 26.87/27.17 50917[0:NCh:33.2,33.0,49437.1,9.0] p1(u) || r1(skf47(v),u)*+ r1(skc7,skf36(v))*r -> p2(u)*. % 26.87/27.17 50811[0:NCh:33.2,33.0,49278.1,20.0] p2(u) || r1(skf36(v),u)*+ r1(skc7,skf25(v))*r -> p1(u)*. % 26.87/27.17 50758[0:NCh:33.2,33.0,49225.1,19.0] p2(u) || r1(skf37(v),u)*+ r1(skc7,skf26(v))*r -> p1(u)*. % 26.87/27.17 50705[0:NCh:33.2,33.0,49172.1,18.0] p2(u) || r1(skf38(v),u)*+ r1(skc7,skf27(v))*r -> p1(u)*. % 26.87/27.17 50652[0:NCh:33.2,33.0,49119.1,17.0] p2(u) || r1(skf39(v),u)*+ r1(skc7,skf28(v))*r -> p1(u)*. % 26.87/27.17 49331[0:NCh:33.2,33.0,47745.1,32.1] p1(u) || r1(skf48(v),u)*+ r1(skc7,skf38(v))*r r1(skc7,v) -> p2(u)*. % 26.87/27.17 50599[0:NCh:33.2,33.0,49066.1,16.0] p2(u) || r1(skf40(v),u)*+ r1(skc7,skf29(v))*r -> p1(u)*. % 26.87/27.17 50546[0:NCh:33.2,33.0,49013.1,15.0] p2(u) || r1(skf41(v),u)*+ r1(skc7,skf30(v))*r -> p1(u)*. % 26.87/27.17 50493[0:NCh:33.2,33.0,48960.1,14.0] p2(u) || r1(skf42(v),u)*+ r1(skc7,skf31(v))*r -> p1(u)*. % 26.87/27.17 50389[0:NCh:33.2,33.0,48907.1,13.0] p2(u) || r1(skf43(v),u)*+ r1(skc7,skf32(v))*r -> p1(u)*. % 26.87/27.17 48487[0:NCh:33.2,33.0,46848.1,32.1] p2(u) || r1(skf48(v),u)*+ r1(skc7,skf38(v))*r r1(skc7,v) -> p1(u)*. % 26.87/27.17 50336[0:NCh:33.2,33.0,48803.1,12.0] p2(u) || r1(skf44(v),u)*+ r1(skc7,skf33(v))*r -> p1(u)*. % 26.87/27.17 50283[0:NCh:33.2,33.0,48750.1,11.0] p2(u) || r1(skf45(v),u)*+ r1(skc7,skf34(v))*r -> p1(u)*. % 26.87/27.17 50230[0:NCh:33.2,33.0,48697.1,10.0] p2(u) || r1(skf46(v),u)*+ r1(skc7,skf35(v))*r -> p1(u)*. % 26.87/27.17 50126[0:NCh:33.2,33.0,48644.1,9.0] p2(u) || r1(skf47(v),u)*+ r1(skc7,skf36(v))*r -> p1(u)*. % 26.87/27.17 50020[0:NCh:33.2,33.0,48434.1,21.0] p1(u) || r1(skf35(v),u)*+ r1(skc7,skf25(v))*r -> p2(u)*. % 26.87/27.17 49967[0:NCh:33.2,33.0,48381.1,20.0] p1(u) || r1(skf36(v),u)*+ r1(skc7,skf26(v))*r -> p2(u)*. % 26.87/27.17 49914[0:NCh:33.2,33.0,48328.1,19.0] p1(u) || r1(skf37(v),u)*+ r1(skc7,skf27(v))*r -> p2(u)*. % 26.87/27.17 49861[0:NCh:33.2,33.0,48275.1,18.0] p1(u) || r1(skf38(v),u)*+ r1(skc7,skf28(v))*r -> p2(u)*. % 26.87/27.17 49808[0:NCh:33.2,33.0,48222.1,17.0] p1(u) || r1(skf39(v),u)*+ r1(skc7,skf29(v))*r -> p2(u)*. % 26.87/27.17 49755[0:NCh:33.2,33.0,48169.1,16.0] p1(u) || r1(skf40(v),u)*+ r1(skc7,skf30(v))*r -> p2(u)*. % 26.87/27.17 49702[0:NCh:33.2,33.0,48116.1,15.0] p1(u) || r1(skf41(v),u)*+ r1(skc7,skf31(v))*r -> p2(u)*. % 26.87/27.17 49649[0:NCh:33.2,33.0,48063.1,14.0] p1(u) || r1(skf42(v),u)*+ r1(skc7,skf32(v))*r -> p2(u)*. % 26.87/27.17 49596[0:NCh:33.2,33.0,48010.1,13.0] p1(u) || r1(skf43(v),u)*+ r1(skc7,skf33(v))*r -> p2(u)*. % 26.87/27.17 49543[0:NCh:33.2,33.0,47957.1,12.0] p1(u) || r1(skf44(v),u)*+ r1(skc7,skf34(v))*r -> p2(u)*. % 26.87/27.17 49490[0:NCh:33.2,33.0,47904.1,11.0] p1(u) || r1(skf45(v),u)*+ r1(skc7,skf35(v))*r -> p2(u)*. % 26.87/27.17 49437[0:NCh:33.2,33.0,47851.1,10.0] p1(u) || r1(skf46(v),u)*+ r1(skc7,skf36(v))*r -> p2(u)*. % 26.87/27.17 49384[0:NCh:33.2,33.0,47798.1,9.0] p1(u) || r1(skf47(v),u)*+ r1(skc7,skf37(v))*r -> p2(u)*. % 26.87/27.17 49278[0:NCh:33.2,33.0,47639.1,21.0] p2(u) || r1(skf35(v),u)*+ r1(skc7,skf25(v))*r -> p1(u)*. % 26.87/27.17 49225[0:NCh:33.2,33.0,47586.1,20.0] p2(u) || r1(skf36(v),u)*+ r1(skc7,skf26(v))*r -> p1(u)*. % 26.87/27.17 49172[0:NCh:33.2,33.0,47533.1,19.0] p2(u) || r1(skf37(v),u)*+ r1(skc7,skf27(v))*r -> p1(u)*. % 26.87/27.17 49119[0:NCh:33.2,33.0,47480.1,18.0] p2(u) || r1(skf38(v),u)*+ r1(skc7,skf28(v))*r -> p1(u)*. % 26.87/27.17 49066[0:NCh:33.2,33.0,47427.1,17.0] p2(u) || r1(skf39(v),u)*+ r1(skc7,skf29(v))*r -> p1(u)*. % 26.87/27.17 49013[0:NCh:33.2,33.0,47374.1,16.0] p2(u) || r1(skf40(v),u)*+ r1(skc7,skf30(v))*r -> p1(u)*. % 26.87/27.17 48960[0:NCh:33.2,33.0,47321.1,15.0] p2(u) || r1(skf41(v),u)*+ r1(skc7,skf31(v))*r -> p1(u)*. % 26.87/27.17 47692[0:NCh:33.2,33.0,46000.1,32.1] p1(u) || r1(skf48(v),u)*+ r1(skc7,skf39(v))*r r1(skc7,v) -> p2(u)*. % 26.87/27.17 48907[0:NCh:33.2,33.0,47217.1,14.0] p2(u) || r1(skf42(v),u)*+ r1(skc7,skf32(v))*r -> p1(u)*. % 26.87/27.17 48803[0:NCh:33.2,33.0,47164.1,13.0] p2(u) || r1(skf43(v),u)*+ r1(skc7,skf33(v))*r -> p1(u)*. % 26.87/27.17 48750[0:NCh:33.2,33.0,47111.1,12.0] p2(u) || r1(skf44(v),u)*+ r1(skc7,skf34(v))*r -> p1(u)*. % 26.87/27.17 48697[0:NCh:33.2,33.0,47058.1,11.0] p2(u) || r1(skf45(v),u)*+ r1(skc7,skf35(v))*r -> p1(u)*. % 26.87/27.17 46795[0:NCh:33.2,33.0,45050.1,32.1] p2(u) || r1(skf48(v),u)*+ r1(skc7,skf39(v))*r r1(skc7,v) -> p1(u)*. % 26.87/27.17 48644[0:NCh:33.2,33.0,46954.1,10.0] p2(u) || r1(skf46(v),u)*+ r1(skc7,skf36(v))*r -> p1(u)*. % 26.87/27.17 48540[0:NCh:33.2,33.0,46901.1,9.0] p2(u) || r1(skf47(v),u)*+ r1(skc7,skf37(v))*r -> p1(u)*. % 26.87/27.17 48434[0:NCh:33.2,33.0,46742.1,22.0] p1(u) || r1(skf34(v),u)*+ r1(skc7,skf25(v))*r -> p2(u)*. % 26.87/27.17 48381[0:NCh:33.2,33.0,46689.1,21.0] p1(u) || r1(skf35(v),u)*+ r1(skc7,skf26(v))*r -> p2(u)*. % 26.87/27.17 48328[0:NCh:33.2,33.0,46636.1,20.0] p1(u) || r1(skf36(v),u)*+ r1(skc7,skf27(v))*r -> p2(u)*. % 26.87/27.17 48275[0:NCh:33.2,33.0,46583.1,19.0] p1(u) || r1(skf37(v),u)*+ r1(skc7,skf28(v))*r -> p2(u)*. % 26.87/27.17 48222[0:NCh:33.2,33.0,46530.1,18.0] p1(u) || r1(skf38(v),u)*+ r1(skc7,skf29(v))*r -> p2(u)*. % 26.87/27.17 48169[0:NCh:33.2,33.0,46477.1,17.0] p1(u) || r1(skf39(v),u)*+ r1(skc7,skf30(v))*r -> p2(u)*. % 26.87/27.17 48116[0:NCh:33.2,33.0,46424.1,16.0] p1(u) || r1(skf40(v),u)*+ r1(skc7,skf31(v))*r -> p2(u)*. % 26.87/27.17 48063[0:NCh:33.2,33.0,46371.1,15.0] p1(u) || r1(skf41(v),u)*+ r1(skc7,skf32(v))*r -> p2(u)*. % 26.87/27.17 48010[0:NCh:33.2,33.0,46318.1,14.0] p1(u) || r1(skf42(v),u)*+ r1(skc7,skf33(v))*r -> p2(u)*. % 26.87/27.17 47957[0:NCh:33.2,33.0,46265.1,13.0] p1(u) || r1(skf43(v),u)*+ r1(skc7,skf34(v))*r -> p2(u)*. % 26.87/27.17 47904[0:NCh:33.2,33.0,46212.1,12.0] p1(u) || r1(skf44(v),u)*+ r1(skc7,skf35(v))*r -> p2(u)*. % 26.87/27.17 47851[0:NCh:33.2,33.0,46159.1,11.0] p1(u) || r1(skf45(v),u)*+ r1(skc7,skf36(v))*r -> p2(u)*. % 26.87/27.17 47798[0:NCh:33.2,33.0,46106.1,10.0] p1(u) || r1(skf46(v),u)*+ r1(skc7,skf37(v))*r -> p2(u)*. % 26.87/27.17 47745[0:NCh:33.2,33.0,46053.1,9.0] p1(u) || r1(skf47(v),u)*+ r1(skc7,skf38(v))*r -> p2(u)*. % 26.87/27.17 47639[0:NCh:33.2,33.0,45894.1,22.0] p2(u) || r1(skf34(v),u)*+ r1(skc7,skf25(v))*r -> p1(u)*. % 26.87/27.17 47586[0:NCh:33.2,33.0,45841.1,21.0] p2(u) || r1(skf35(v),u)*+ r1(skc7,skf26(v))*r -> p1(u)*. % 26.87/27.17 47533[0:NCh:33.2,33.0,45788.1,20.0] p2(u) || r1(skf36(v),u)*+ r1(skc7,skf27(v))*r -> p1(u)*. % 26.87/27.17 47480[0:NCh:33.2,33.0,45735.1,19.0] p2(u) || r1(skf37(v),u)*+ r1(skc7,skf28(v))*r -> p1(u)*. % 26.87/27.17 47427[0:NCh:33.2,33.0,45682.1,18.0] p2(u) || r1(skf38(v),u)*+ r1(skc7,skf29(v))*r -> p1(u)*. % 26.87/27.17 47374[0:NCh:33.2,33.0,45629.1,17.0] p2(u) || r1(skf39(v),u)*+ r1(skc7,skf30(v))*r -> p1(u)*. % 26.87/27.17 47321[0:NCh:33.2,33.0,45576.1,16.0] p2(u) || r1(skf40(v),u)*+ r1(skc7,skf31(v))*r -> p1(u)*. % 26.87/27.17 47217[0:NCh:33.2,33.0,45523.1,15.0] p2(u) || r1(skf41(v),u)*+ r1(skc7,skf32(v))*r -> p1(u)*. % 26.87/27.17 45947[0:NCh:33.2,33.0,44149.1,32.1] p1(u) || r1(skf48(v),u)*+ r1(skc7,skf40(v))*r r1(skc7,v) -> p2(u)*. % 26.87/27.17 47164[0:NCh:33.2,33.0,45470.1,14.0] p2(u) || r1(skf42(v),u)*+ r1(skc7,skf33(v))*r -> p1(u)*. % 26.87/27.17 47111[0:NCh:33.2,33.0,45366.1,13.0] p2(u) || r1(skf43(v),u)*+ r1(skc7,skf34(v))*r -> p1(u)*. % 26.87/27.17 47058[0:NCh:33.2,33.0,45313.1,12.0] p2(u) || r1(skf44(v),u)*+ r1(skc7,skf35(v))*r -> p1(u)*. % 26.87/27.17 46954[0:NCh:33.2,33.0,45260.1,11.0] p2(u) || r1(skf45(v),u)*+ r1(skc7,skf36(v))*r -> p1(u)*. % 26.87/27.17 44997[0:NCh:33.2,33.0,43146.1,32.1] p2(u) || r1(skf48(v),u)*+ r1(skc7,skf40(v))*r r1(skc7,v) -> p1(u)*. % 26.87/27.17 46901[0:NCh:33.2,33.0,45207.1,10.0] p2(u) || r1(skf46(v),u)*+ r1(skc7,skf37(v))*r -> p1(u)*. % 26.87/27.17 46848[0:NCh:33.2,33.0,45103.1,9.0] p2(u) || r1(skf47(v),u)*+ r1(skc7,skf38(v))*r -> p1(u)*. % 26.87/27.17 46742[0:NCh:33.2,33.0,44944.1,23.0] p1(u) || r1(skf33(v),u)*+ r1(skc7,skf25(v))*r -> p2(u)*. % 26.87/27.17 46689[0:NCh:33.2,33.0,44891.1,22.0] p1(u) || r1(skf34(v),u)*+ r1(skc7,skf26(v))*r -> p2(u)*. % 26.87/27.17 46636[0:NCh:33.2,33.0,44838.1,21.0] p1(u) || r1(skf35(v),u)*+ r1(skc7,skf27(v))*r -> p2(u)*. % 26.87/27.17 46583[0:NCh:33.2,33.0,44785.1,20.0] p1(u) || r1(skf36(v),u)*+ r1(skc7,skf28(v))*r -> p2(u)*. % 26.87/27.17 46530[0:NCh:33.2,33.0,44732.1,19.0] p1(u) || r1(skf37(v),u)*+ r1(skc7,skf29(v))*r -> p2(u)*. % 26.87/27.17 46477[0:NCh:33.2,33.0,44679.1,18.0] p1(u) || r1(skf38(v),u)*+ r1(skc7,skf30(v))*r -> p2(u)*. % 26.87/27.17 46424[0:NCh:33.2,33.0,44626.1,17.0] p1(u) || r1(skf39(v),u)*+ r1(skc7,skf31(v))*r -> p2(u)*. % 26.87/27.17 46371[0:NCh:33.2,33.0,44573.1,16.0] p1(u) || r1(skf40(v),u)*+ r1(skc7,skf32(v))*r -> p2(u)*. % 26.87/27.17 46318[0:NCh:33.2,33.0,44520.1,15.0] p1(u) || r1(skf41(v),u)*+ r1(skc7,skf33(v))*r -> p2(u)*. % 26.87/27.17 46265[0:NCh:33.2,33.0,44467.1,14.0] p1(u) || r1(skf42(v),u)*+ r1(skc7,skf34(v))*r -> p2(u)*. % 26.87/27.17 46212[0:NCh:33.2,33.0,44414.1,13.0] p1(u) || r1(skf43(v),u)*+ r1(skc7,skf35(v))*r -> p2(u)*. % 26.87/27.17 46159[0:NCh:33.2,33.0,44361.1,12.0] p1(u) || r1(skf44(v),u)*+ r1(skc7,skf36(v))*r -> p2(u)*. % 26.87/27.17 46106[0:NCh:33.2,33.0,44308.1,11.0] p1(u) || r1(skf45(v),u)*+ r1(skc7,skf37(v))*r -> p2(u)*. % 26.87/27.17 46053[0:NCh:33.2,33.0,44255.1,10.0] p1(u) || r1(skf46(v),u)*+ r1(skc7,skf38(v))*r -> p2(u)*. % 26.87/27.17 46000[0:NCh:33.2,33.0,44202.1,9.0] p1(u) || r1(skf47(v),u)*+ r1(skc7,skf39(v))*r -> p2(u)*. % 26.87/27.17 45894[0:NCh:33.2,33.0,44043.1,23.0] p2(u) || r1(skf33(v),u)*+ r1(skc7,skf25(v))*r -> p1(u)*. % 26.87/27.17 45841[0:NCh:33.2,33.0,43990.1,22.0] p2(u) || r1(skf34(v),u)*+ r1(skc7,skf26(v))*r -> p1(u)*. % 26.87/27.17 45788[0:NCh:33.2,33.0,43937.1,21.0] p2(u) || r1(skf35(v),u)*+ r1(skc7,skf27(v))*r -> p1(u)*. % 26.87/27.17 45735[0:NCh:33.2,33.0,43884.1,20.0] p2(u) || r1(skf36(v),u)*+ r1(skc7,skf28(v))*r -> p1(u)*. % 26.87/27.17 45682[0:NCh:33.2,33.0,43831.1,19.0] p2(u) || r1(skf37(v),u)*+ r1(skc7,skf29(v))*r -> p1(u)*. % 26.87/27.17 45629[0:NCh:33.2,33.0,43778.1,18.0] p2(u) || r1(skf38(v),u)*+ r1(skc7,skf30(v))*r -> p1(u)*. % 26.87/27.17 45576[0:NCh:33.2,33.0,43725.1,17.0] p2(u) || r1(skf39(v),u)*+ r1(skc7,skf31(v))*r -> p1(u)*. % 26.87/27.17 44096[0:NCh:33.2,33.0,42192.1,32.1] p1(u) || r1(skf48(v),u)*+ r1(skc7,skf41(v))*r r1(skc7,v) -> p2(u)*. % 26.87/27.17 45523[0:NCh:33.2,33.0,43672.1,16.0] p2(u) || r1(skf40(v),u)*+ r1(skc7,skf32(v))*r -> p1(u)*. % 26.87/27.17 45470[0:NCh:33.2,33.0,43619.1,15.0] p2(u) || r1(skf41(v),u)*+ r1(skc7,skf33(v))*r -> p1(u)*. % 26.87/27.17 45366[0:NCh:33.2,33.0,43515.1,14.0] p2(u) || r1(skf42(v),u)*+ r1(skc7,skf34(v))*r -> p1(u)*. % 26.87/27.17 45313[0:NCh:33.2,33.0,43462.1,13.0] p2(u) || r1(skf43(v),u)*+ r1(skc7,skf35(v))*r -> p1(u)*. % 26.87/27.17 43093[0:NCh:33.2,33.0,41136.1,32.1] p2(u) || r1(skf48(v),u)*+ r1(skc7,skf41(v))*r r1(skc7,v) -> p1(u)*. % 26.87/27.17 45260[0:NCh:33.2,33.0,43409.1,12.0] p2(u) || r1(skf44(v),u)*+ r1(skc7,skf36(v))*r -> p1(u)*. % 26.87/27.17 45207[0:NCh:33.2,33.0,43356.1,11.0] p2(u) || r1(skf45(v),u)*+ r1(skc7,skf37(v))*r -> p1(u)*. % 26.87/27.17 45103[0:NCh:33.2,33.0,43252.1,10.0] p2(u) || r1(skf46(v),u)*+ r1(skc7,skf38(v))*r -> p1(u)*. % 26.87/27.17 45050[0:NCh:33.2,33.0,43199.1,9.0] p2(u) || r1(skf47(v),u)*+ r1(skc7,skf39(v))*r -> p1(u)*. % 26.87/27.17 44944[0:NCh:33.2,33.0,43040.1,24.0] p1(u) || r1(skf32(v),u)*+ r1(skc7,skf25(v))*r -> p2(u)*. % 26.87/27.17 44891[0:NCh:33.2,33.0,42987.1,23.0] p1(u) || r1(skf33(v),u)*+ r1(skc7,skf26(v))*r -> p2(u)*. % 26.87/27.17 44838[0:NCh:33.2,33.0,42934.1,22.0] p1(u) || r1(skf34(v),u)*+ r1(skc7,skf27(v))*r -> p2(u)*. % 26.87/27.17 44785[0:NCh:33.2,33.0,42881.1,21.0] p1(u) || r1(skf35(v),u)*+ r1(skc7,skf28(v))*r -> p2(u)*. % 26.87/27.17 44732[0:NCh:33.2,33.0,42828.1,20.0] p1(u) || r1(skf36(v),u)*+ r1(skc7,skf29(v))*r -> p2(u)*. % 26.87/27.17 44679[0:NCh:33.2,33.0,42775.1,19.0] p1(u) || r1(skf37(v),u)*+ r1(skc7,skf30(v))*r -> p2(u)*. % 26.87/27.17 44626[0:NCh:33.2,33.0,42722.1,18.0] p1(u) || r1(skf38(v),u)*+ r1(skc7,skf31(v))*r -> p2(u)*. % 26.87/27.17 44573[0:NCh:33.2,33.0,42669.1,17.0] p1(u) || r1(skf39(v),u)*+ r1(skc7,skf32(v))*r -> p2(u)*. % 26.87/27.17 44520[0:NCh:33.2,33.0,42616.1,16.0] p1(u) || r1(skf40(v),u)*+ r1(skc7,skf33(v))*r -> p2(u)*. % 26.87/27.17 44467[0:NCh:33.2,33.0,42563.1,15.0] p1(u) || r1(skf41(v),u)*+ r1(skc7,skf34(v))*r -> p2(u)*. % 26.87/27.17 44414[0:NCh:33.2,33.0,42510.1,14.0] p1(u) || r1(skf42(v),u)*+ r1(skc7,skf35(v))*r -> p2(u)*. % 26.87/27.17 44361[0:NCh:33.2,33.0,42457.1,13.0] p1(u) || r1(skf43(v),u)*+ r1(skc7,skf36(v))*r -> p2(u)*. % 26.87/27.17 44308[0:NCh:33.2,33.0,42404.1,12.0] p1(u) || r1(skf44(v),u)*+ r1(skc7,skf37(v))*r -> p2(u)*. % 26.87/27.17 44255[0:NCh:33.2,33.0,42351.1,11.0] p1(u) || r1(skf45(v),u)*+ r1(skc7,skf38(v))*r -> p2(u)*. % 26.87/27.17 44202[0:NCh:33.2,33.0,42298.1,10.0] p1(u) || r1(skf46(v),u)*+ r1(skc7,skf39(v))*r -> p2(u)*. % 26.87/27.17 44149[0:NCh:33.2,33.0,42245.1,9.0] p1(u) || r1(skf47(v),u)*+ r1(skc7,skf40(v))*r -> p2(u)*. % 26.87/27.17 44043[0:NCh:33.2,33.0,42086.1,24.0] p2(u) || r1(skf32(v),u)*+ r1(skc7,skf25(v))*r -> p1(u)*. % 26.87/27.17 43990[0:NCh:33.2,33.0,42033.1,23.0] p2(u) || r1(skf33(v),u)*+ r1(skc7,skf26(v))*r -> p1(u)*. % 26.87/27.17 43937[0:NCh:33.2,33.0,41980.1,22.0] p2(u) || r1(skf34(v),u)*+ r1(skc7,skf27(v))*r -> p1(u)*. % 26.87/27.17 43884[0:NCh:33.2,33.0,41927.1,21.0] p2(u) || r1(skf35(v),u)*+ r1(skc7,skf28(v))*r -> p1(u)*. % 26.87/27.17 43831[0:NCh:33.2,33.0,41874.1,20.0] p2(u) || r1(skf36(v),u)*+ r1(skc7,skf29(v))*r -> p1(u)*. % 26.87/27.17 43778[0:NCh:33.2,33.0,41821.1,19.0] p2(u) || r1(skf37(v),u)*+ r1(skc7,skf30(v))*r -> p1(u)*. % 26.87/27.17 43725[0:NCh:33.2,33.0,41768.1,18.0] p2(u) || r1(skf38(v),u)*+ r1(skc7,skf31(v))*r -> p1(u)*. % 26.87/27.17 43672[0:NCh:33.2,33.0,41715.1,17.0] p2(u) || r1(skf39(v),u)*+ r1(skc7,skf32(v))*r -> p1(u)*. % 26.87/27.17 43619[0:NCh:33.2,33.0,41662.1,16.0] p2(u) || r1(skf40(v),u)*+ r1(skc7,skf33(v))*r -> p1(u)*. % 26.87/27.17 42139[0:NCh:33.2,33.0,40129.1,32.1] p1(u) || r1(skf48(v),u)*+ r1(skc7,skf42(v))*r r1(skc7,v) -> p2(u)*. % 26.87/27.17 43515[0:NCh:33.2,33.0,41609.1,15.0] p2(u) || r1(skf41(v),u)*+ r1(skc7,skf34(v))*r -> p1(u)*. % 26.87/27.17 43462[0:NCh:33.2,33.0,41556.1,14.0] p2(u) || r1(skf42(v),u)*+ r1(skc7,skf35(v))*r -> p1(u)*. % 26.87/27.17 43409[0:NCh:33.2,33.0,41503.1,13.0] p2(u) || r1(skf43(v),u)*+ r1(skc7,skf36(v))*r -> p1(u)*. % 26.87/27.17 43356[0:NCh:33.2,33.0,41399.1,12.0] p2(u) || r1(skf44(v),u)*+ r1(skc7,skf37(v))*r -> p1(u)*. % 26.87/27.17 41083[0:NCh:33.2,33.0,39020.1,32.1] p2(u) || r1(skf48(v),u)*+ r1(skc7,skf42(v))*r r1(skc7,v) -> p1(u)*. % 26.87/27.17 43252[0:NCh:33.2,33.0,41346.1,11.0] p2(u) || r1(skf45(v),u)*+ r1(skc7,skf38(v))*r -> p1(u)*. % 26.87/27.17 43199[0:NCh:33.2,33.0,41293.1,10.0] p2(u) || r1(skf46(v),u)*+ r1(skc7,skf39(v))*r -> p1(u)*. % 26.87/27.17 43146[0:NCh:33.2,33.0,41240.1,9.0] p2(u) || r1(skf47(v),u)*+ r1(skc7,skf40(v))*r -> p1(u)*. % 26.87/27.17 43040[0:NCh:33.2,33.0,41030.1,25.0] p1(u) || r1(skf31(v),u)*+ r1(skc7,skf25(v))*r -> p2(u)*. % 26.87/27.17 42987[0:NCh:33.2,33.0,40977.1,24.0] p1(u) || r1(skf32(v),u)*+ r1(skc7,skf26(v))*r -> p2(u)*. % 26.87/27.17 42934[0:NCh:33.2,33.0,40924.1,23.0] p1(u) || r1(skf33(v),u)*+ r1(skc7,skf27(v))*r -> p2(u)*. % 26.87/27.17 42881[0:NCh:33.2,33.0,40871.1,22.0] p1(u) || r1(skf34(v),u)*+ r1(skc7,skf28(v))*r -> p2(u)*. % 26.87/27.17 42828[0:NCh:33.2,33.0,40818.1,21.0] p1(u) || r1(skf35(v),u)*+ r1(skc7,skf29(v))*r -> p2(u)*. % 26.87/27.17 42775[0:NCh:33.2,33.0,40765.1,20.0] p1(u) || r1(skf36(v),u)*+ r1(skc7,skf30(v))*r -> p2(u)*. % 26.87/27.17 42722[0:NCh:33.2,33.0,40712.1,19.0] p1(u) || r1(skf37(v),u)*+ r1(skc7,skf31(v))*r -> p2(u)*. % 26.87/27.17 42669[0:NCh:33.2,33.0,40659.1,18.0] p1(u) || r1(skf38(v),u)*+ r1(skc7,skf32(v))*r -> p2(u)*. % 26.87/27.17 42616[0:NCh:33.2,33.0,40606.1,17.0] p1(u) || r1(skf39(v),u)*+ r1(skc7,skf33(v))*r -> p2(u)*. % 26.87/27.17 42563[0:NCh:33.2,33.0,40553.1,16.0] p1(u) || r1(skf40(v),u)*+ r1(skc7,skf34(v))*r -> p2(u)*. % 26.87/27.17 42510[0:NCh:33.2,33.0,40500.1,15.0] p1(u) || r1(skf41(v),u)*+ r1(skc7,skf35(v))*r -> p2(u)*. % 26.87/27.17 42457[0:NCh:33.2,33.0,40447.1,14.0] p1(u) || r1(skf42(v),u)*+ r1(skc7,skf36(v))*r -> p2(u)*. % 26.87/27.17 42404[0:NCh:33.2,33.0,40394.1,13.0] p1(u) || r1(skf43(v),u)*+ r1(skc7,skf37(v))*r -> p2(u)*. % 26.87/27.17 42351[0:NCh:33.2,33.0,40341.1,12.0] p1(u) || r1(skf44(v),u)*+ r1(skc7,skf38(v))*r -> p2(u)*. % 26.87/27.17 42298[0:NCh:33.2,33.0,40288.1,11.0] p1(u) || r1(skf45(v),u)*+ r1(skc7,skf39(v))*r -> p2(u)*. % 26.87/27.17 42245[0:NCh:33.2,33.0,40235.1,10.0] p1(u) || r1(skf46(v),u)*+ r1(skc7,skf40(v))*r -> p2(u)*. % 26.87/27.17 42192[0:NCh:33.2,33.0,40182.1,9.0] p1(u) || r1(skf47(v),u)*+ r1(skc7,skf41(v))*r -> p2(u)*. % 26.87/27.17 42086[0:NCh:33.2,33.0,40023.1,25.0] p2(u) || r1(skf31(v),u)*+ r1(skc7,skf25(v))*r -> p1(u)*. % 26.87/27.17 42033[0:NCh:33.2,33.0,39970.1,24.0] p2(u) || r1(skf32(v),u)*+ r1(skc7,skf26(v))*r -> p1(u)*. % 26.87/27.17 41980[0:NCh:33.2,33.0,39917.1,23.0] p2(u) || r1(skf33(v),u)*+ r1(skc7,skf27(v))*r -> p1(u)*. % 26.87/27.17 41927[0:NCh:33.2,33.0,39864.1,22.0] p2(u) || r1(skf34(v),u)*+ r1(skc7,skf28(v))*r -> p1(u)*. % 26.87/27.17 41874[0:NCh:33.2,33.0,39811.1,21.0] p2(u) || r1(skf35(v),u)*+ r1(skc7,skf29(v))*r -> p1(u)*. % 26.87/27.17 41821[0:NCh:33.2,33.0,39758.1,20.0] p2(u) || r1(skf36(v),u)*+ r1(skc7,skf30(v))*r -> p1(u)*. % 26.87/27.17 41768[0:NCh:33.2,33.0,39705.1,19.0] p2(u) || r1(skf37(v),u)*+ r1(skc7,skf31(v))*r -> p1(u)*. % 26.87/27.17 41715[0:NCh:33.2,33.0,39652.1,18.0] p2(u) || r1(skf38(v),u)*+ r1(skc7,skf32(v))*r -> p1(u)*. % 26.87/27.17 41662[0:NCh:33.2,33.0,39599.1,17.0] p2(u) || r1(skf39(v),u)*+ r1(skc7,skf33(v))*r -> p1(u)*. % 26.87/27.17 40076[0:NCh:33.2,33.0,34839.1,32.1] p1(u) || r1(skf48(v),u)*+ r1(skc7,skf43(v))*r r1(skc7,v) -> p2(u)*. % 26.87/27.17 41609[0:NCh:33.2,33.0,39546.1,16.0] p2(u) || r1(skf40(v),u)*+ r1(skc7,skf34(v))*r -> p1(u)*. % 26.87/27.17 41556[0:NCh:33.2,33.0,39493.1,15.0] p2(u) || r1(skf41(v),u)*+ r1(skc7,skf35(v))*r -> p1(u)*. % 26.87/27.17 41503[0:NCh:33.2,33.0,39440.1,14.0] p2(u) || r1(skf42(v),u)*+ r1(skc7,skf36(v))*r -> p1(u)*. % 26.87/27.17 41399[0:NCh:33.2,33.0,39387.1,13.0] p2(u) || r1(skf43(v),u)*+ r1(skc7,skf37(v))*r -> p1(u)*. % 26.87/27.17 38967[0:NCh:33.2,33.0,29537.1,32.1] p2(u) || r1(skf48(v),u)*+ r1(skc7,skf43(v))*r r1(skc7,v) -> p1(u)*. % 26.87/27.17 41346[0:NCh:33.2,33.0,39283.1,12.0] p2(u) || r1(skf44(v),u)*+ r1(skc7,skf38(v))*r -> p1(u)*. % 26.87/27.17 41293[0:NCh:33.2,33.0,39230.1,11.0] p2(u) || r1(skf45(v),u)*+ r1(skc7,skf39(v))*r -> p1(u)*. % 26.87/27.17 41240[0:NCh:33.2,33.0,39177.1,10.0] p2(u) || r1(skf46(v),u)*+ r1(skc7,skf40(v))*r -> p1(u)*. % 26.87/27.17 41136[0:NCh:33.2,33.0,39124.1,9.0] p2(u) || r1(skf47(v),u)*+ r1(skc7,skf41(v))*r -> p1(u)*. % 26.87/27.17 41030[0:NCh:33.2,33.0,38914.1,26.0] p1(u) || r1(skf30(v),u)*+ r1(skc7,skf25(v))*r -> p2(u)*. % 26.87/27.17 40977[0:NCh:33.2,33.0,38861.1,25.0] p1(u) || r1(skf31(v),u)*+ r1(skc7,skf26(v))*r -> p2(u)*. % 26.87/27.17 40924[0:NCh:33.2,33.0,38808.1,24.0] p1(u) || r1(skf32(v),u)*+ r1(skc7,skf27(v))*r -> p2(u)*. % 26.87/27.17 40871[0:NCh:33.2,33.0,38755.1,23.0] p1(u) || r1(skf33(v),u)*+ r1(skc7,skf28(v))*r -> p2(u)*. % 26.87/27.17 40818[0:NCh:33.2,33.0,38549.1,22.0] p1(u) || r1(skf34(v),u)*+ r1(skc7,skf29(v))*r -> p2(u)*. % 26.87/27.17 40765[0:NCh:33.2,33.0,38284.1,21.0] p1(u) || r1(skf35(v),u)*+ r1(skc7,skf30(v))*r -> p2(u)*. % 26.87/27.17 40712[0:NCh:33.2,33.0,38017.1,20.0] p1(u) || r1(skf36(v),u)*+ r1(skc7,skf31(v))*r -> p2(u)*. % 26.87/27.17 40659[0:NCh:33.2,33.0,37754.1,19.0] p1(u) || r1(skf37(v),u)*+ r1(skc7,skf32(v))*r -> p2(u)*. % 26.87/27.17 40606[0:NCh:33.2,33.0,37487.1,18.0] p1(u) || r1(skf38(v),u)*+ r1(skc7,skf33(v))*r -> p2(u)*. % 26.87/27.17 40553[0:NCh:33.2,33.0,37224.1,17.0] p1(u) || r1(skf39(v),u)*+ r1(skc7,skf34(v))*r -> p2(u)*. % 26.87/27.17 40500[0:NCh:33.2,33.0,36957.1,16.0] p1(u) || r1(skf40(v),u)*+ r1(skc7,skf35(v))*r -> p2(u)*. % 26.87/27.17 40447[0:NCh:33.2,33.0,36694.1,15.0] p1(u) || r1(skf41(v),u)*+ r1(skc7,skf36(v))*r -> p2(u)*. % 26.87/27.17 40394[0:NCh:33.2,33.0,36427.1,14.0] p1(u) || r1(skf42(v),u)*+ r1(skc7,skf37(v))*r -> p2(u)*. % 26.87/27.17 40341[0:NCh:33.2,33.0,36162.1,13.0] p1(u) || r1(skf43(v),u)*+ r1(skc7,skf38(v))*r -> p2(u)*. % 26.87/27.17 40288[0:NCh:33.2,33.0,35899.1,12.0] p1(u) || r1(skf44(v),u)*+ r1(skc7,skf39(v))*r -> p2(u)*. % 26.87/27.17 40235[0:NCh:33.2,33.0,35632.1,11.0] p1(u) || r1(skf45(v),u)*+ r1(skc7,skf40(v))*r -> p2(u)*. % 26.87/27.17 40182[0:NCh:33.2,33.0,35367.1,10.0] p1(u) || r1(skf46(v),u)*+ r1(skc7,skf41(v))*r -> p2(u)*. % 26.87/27.17 40129[0:NCh:33.2,33.0,35102.1,9.0] p1(u) || r1(skf47(v),u)*+ r1(skc7,skf42(v))*r -> p2(u)*. % 26.87/27.17 40023[0:NCh:33.2,33.0,34307.1,26.0] p2(u) || r1(skf30(v),u)*+ r1(skc7,skf25(v))*r -> p1(u)*. % 26.87/27.17 39970[0:NCh:33.2,33.0,34042.1,25.0] p2(u) || r1(skf31(v),u)*+ r1(skc7,skf26(v))*r -> p1(u)*. % 26.87/27.17 39917[0:NCh:33.2,33.0,33779.1,24.0] p2(u) || r1(skf32(v),u)*+ r1(skc7,skf27(v))*r -> p1(u)*. % 26.87/27.17 39864[0:NCh:33.2,33.0,33512.1,23.0] p2(u) || r1(skf33(v),u)*+ r1(skc7,skf28(v))*r -> p1(u)*. % 26.87/27.17 39811[0:NCh:33.2,33.0,33247.1,22.0] p2(u) || r1(skf34(v),u)*+ r1(skc7,skf29(v))*r -> p1(u)*. % 26.87/27.17 39758[0:NCh:33.2,33.0,32982.1,21.0] p2(u) || r1(skf35(v),u)*+ r1(skc7,skf30(v))*r -> p1(u)*. % 26.87/27.17 39705[0:NCh:33.2,33.0,32719.1,20.0] p2(u) || r1(skf36(v),u)*+ r1(skc7,skf31(v))*r -> p1(u)*. % 26.87/27.17 39652[0:NCh:33.2,33.0,32452.1,19.0] p2(u) || r1(skf37(v),u)*+ r1(skc7,skf32(v))*r -> p1(u)*. % 26.87/27.17 39599[0:NCh:33.2,33.0,32187.1,18.0] p2(u) || r1(skf38(v),u)*+ r1(skc7,skf33(v))*r -> p1(u)*. % 26.87/27.17 39546[0:NCh:33.2,33.0,31922.1,17.0] p2(u) || r1(skf39(v),u)*+ r1(skc7,skf34(v))*r -> p1(u)*. % 26.87/27.17 39493[0:NCh:33.2,33.0,31657.1,16.0] p2(u) || r1(skf40(v),u)*+ r1(skc7,skf35(v))*r -> p1(u)*. % 26.87/27.17 39440[0:NCh:33.2,33.0,31394.1,15.0] p2(u) || r1(skf41(v),u)*+ r1(skc7,skf36(v))*r -> p1(u)*. % 26.87/27.17 34572[0:NCh:33.2,33.0,23446.1,32.1] p1(u) || r1(skf48(v),u)*+ r1(skc7,skf44(v))*r r1(skc7,v) -> p2(u)*. % 26.87/27.17 39387[0:NCh:33.2,33.0,31127.1,14.0] p2(u) || r1(skf42(v),u)*+ r1(skc7,skf37(v))*r -> p1(u)*. % 26.87/27.17 39283[0:NCh:33.2,33.0,30862.1,13.0] p2(u) || r1(skf43(v),u)*+ r1(skc7,skf38(v))*r -> p1(u)*. % 26.87/27.17 39230[0:NCh:33.2,33.0,30597.1,12.0] p2(u) || r1(skf44(v),u)*+ r1(skc7,skf39(v))*r -> p1(u)*. % 26.87/27.17 39177[0:NCh:33.2,33.0,30332.1,11.0] p2(u) || r1(skf45(v),u)*+ r1(skc7,skf40(v))*r -> p1(u)*. % 26.87/27.17 29272[0:NCh:33.2,33.0,17881.1,32.1] p2(u) || r1(skf48(v),u)*+ r1(skc7,skf44(v))*r r1(skc7,v) -> p1(u)*. % 26.87/27.17 39124[0:NCh:33.2,33.0,30067.1,10.0] p2(u) || r1(skf46(v),u)*+ r1(skc7,skf41(v))*r -> p1(u)*. % 26.87/27.17 39020[0:NCh:33.2,33.0,29804.1,9.0] p2(u) || r1(skf47(v),u)*+ r1(skc7,skf42(v))*r -> p1(u)*. % 26.87/27.17 38914[0:NCh:33.2,33.0,28481.1,27.0] p1(u) || r1(skf29(v),u)*+ r1(skc7,skf25(v))*r -> p2(u)*. % 26.87/27.17 38861[0:NCh:33.2,33.0,28218.1,26.0] p1(u) || r1(skf30(v),u)*+ r1(skc7,skf26(v))*r -> p2(u)*. % 26.87/27.17 38808[0:NCh:33.2,33.0,27951.1,25.0] p1(u) || r1(skf31(v),u)*+ r1(skc7,skf27(v))*r -> p2(u)*. % 26.87/27.17 38755[0:NCh:33.2,33.0,27686.1,24.0] p1(u) || r1(skf32(v),u)*+ r1(skc7,skf28(v))*r -> p2(u)*. % 26.87/27.17 38549[0:NCh:33.2,33.0,27421.1,23.0] p1(u) || r1(skf33(v),u)*+ r1(skc7,skf29(v))*r -> p2(u)*. % 26.87/27.17 38284[0:NCh:33.2,33.0,27156.1,22.0] p1(u) || r1(skf34(v),u)*+ r1(skc7,skf30(v))*r -> p2(u)*. % 26.87/27.17 38017[0:NCh:33.2,33.0,26891.1,21.0] p1(u) || r1(skf35(v),u)*+ r1(skc7,skf31(v))*r -> p2(u)*. % 26.87/27.17 37754[0:NCh:33.2,33.0,26628.1,20.0] p1(u) || r1(skf36(v),u)*+ r1(skc7,skf32(v))*r -> p2(u)*. % 26.87/27.17 37487[0:NCh:33.2,33.0,26361.1,19.0] p1(u) || r1(skf37(v),u)*+ r1(skc7,skf33(v))*r -> p2(u)*. % 26.87/27.17 37224[0:NCh:33.2,33.0,26096.1,18.0] p1(u) || r1(skf38(v),u)*+ r1(skc7,skf34(v))*r -> p2(u)*. % 26.87/27.17 36957[0:NCh:33.2,33.0,25831.1,17.0] p1(u) || r1(skf39(v),u)*+ r1(skc7,skf35(v))*r -> p2(u)*. % 26.87/27.17 36694[0:NCh:33.2,33.0,25566.1,16.0] p1(u) || r1(skf40(v),u)*+ r1(skc7,skf36(v))*r -> p2(u)*. % 26.87/27.17 36427[0:NCh:33.2,33.0,25301.1,15.0] p1(u) || r1(skf41(v),u)*+ r1(skc7,skf37(v))*r -> p2(u)*. % 26.87/27.17 36162[0:NCh:33.2,33.0,25036.1,14.0] p1(u) || r1(skf42(v),u)*+ r1(skc7,skf38(v))*r -> p2(u)*. % 26.87/27.17 35899[0:NCh:33.2,33.0,24773.1,13.0] p1(u) || r1(skf43(v),u)*+ r1(skc7,skf39(v))*r -> p2(u)*. % 26.87/27.17 35632[0:NCh:33.2,33.0,24506.1,12.0] p1(u) || r1(skf44(v),u)*+ r1(skc7,skf40(v))*r -> p2(u)*. % 26.87/27.17 35367[0:NCh:33.2,33.0,24241.1,11.0] p1(u) || r1(skf45(v),u)*+ r1(skc7,skf41(v))*r -> p2(u)*. % 26.87/27.17 35102[0:NCh:33.2,33.0,23976.1,10.0] p1(u) || r1(skf46(v),u)*+ r1(skc7,skf42(v))*r -> p2(u)*. % 26.87/27.17 34839[0:NCh:33.2,33.0,23711.1,9.0] p1(u) || r1(skf47(v),u)*+ r1(skc7,skf43(v))*r -> p2(u)*. % 26.87/27.17 34307[0:NCh:33.2,33.0,22916.1,27.0] p2(u) || r1(skf29(v),u)*+ r1(skc7,skf25(v))*r -> p1(u)*. % 26.87/27.17 34042[0:NCh:33.2,33.0,22653.1,26.0] p2(u) || r1(skf30(v),u)*+ r1(skc7,skf26(v))*r -> p1(u)*. % 26.87/27.17 33779[0:NCh:33.2,33.0,22386.1,25.0] p2(u) || r1(skf31(v),u)*+ r1(skc7,skf27(v))*r -> p1(u)*. % 26.87/27.17 33512[0:NCh:33.2,33.0,22121.1,24.0] p2(u) || r1(skf32(v),u)*+ r1(skc7,skf28(v))*r -> p1(u)*. % 26.87/27.17 33247[0:NCh:33.2,33.0,21856.1,23.0] p2(u) || r1(skf33(v),u)*+ r1(skc7,skf29(v))*r -> p1(u)*. % 26.87/27.17 32982[0:NCh:33.2,33.0,21591.1,22.0] p2(u) || r1(skf34(v),u)*+ r1(skc7,skf30(v))*r -> p1(u)*. % 26.87/27.17 32719[0:NCh:33.2,33.0,21326.1,21.0] p2(u) || r1(skf35(v),u)*+ r1(skc7,skf31(v))*r -> p1(u)*. % 26.87/27.17 32452[0:NCh:33.2,33.0,21061.1,20.0] p2(u) || r1(skf36(v),u)*+ r1(skc7,skf32(v))*r -> p1(u)*. % 26.87/27.17 32187[0:NCh:33.2,33.0,20796.1,19.0] p2(u) || r1(skf37(v),u)*+ r1(skc7,skf33(v))*r -> p1(u)*. % 26.87/27.17 31922[0:NCh:33.2,33.0,20533.1,18.0] p2(u) || r1(skf38(v),u)*+ r1(skc7,skf34(v))*r -> p1(u)*. % 26.87/27.17 31657[0:NCh:33.2,33.0,20266.1,17.0] p2(u) || r1(skf39(v),u)*+ r1(skc7,skf35(v))*r -> p1(u)*. % 26.87/27.17 31394[0:NCh:33.2,33.0,20001.1,16.0] p2(u) || r1(skf40(v),u)*+ r1(skc7,skf36(v))*r -> p1(u)*. % 26.87/27.17 31127[0:NCh:33.2,33.0,19736.1,15.0] p2(u) || r1(skf41(v),u)*+ r1(skc7,skf37(v))*r -> p1(u)*. % 26.87/27.17 23181[0:NCh:33.2,33.0,11525.1,32.1] p1(u) || r1(skf48(v),u)*+ r1(skc7,skf45(v))*r r1(skc7,v) -> p2(u)*. % 26.87/27.17 30862[0:NCh:33.2,33.0,19471.1,14.0] p2(u) || r1(skf42(v),u)*+ r1(skc7,skf38(v))*r -> p1(u)*. % 26.87/27.17 30597[0:NCh:33.2,33.0,19206.1,13.0] p2(u) || r1(skf43(v),u)*+ r1(skc7,skf39(v))*r -> p1(u)*. % 26.87/27.17 30332[0:NCh:33.2,33.0,18941.1,12.0] p2(u) || r1(skf44(v),u)*+ r1(skc7,skf40(v))*r -> p1(u)*. % 26.87/27.17 30067[0:NCh:33.2,33.0,18676.1,11.0] p2(u) || r1(skf45(v),u)*+ r1(skc7,skf41(v))*r -> p1(u)*. % 26.87/27.17 17616[0:NCh:33.2,33.0,5695.1,32.1] p2(u) || r1(skf48(v),u)*+ r1(skc7,skf45(v))*r r1(skc7,v) -> p1(u)*. % 26.87/27.17 29804[0:NCh:33.2,33.0,18413.1,10.0] p2(u) || r1(skf46(v),u)*+ r1(skc7,skf42(v))*r -> p1(u)*. % 26.87/27.17 29537[0:NCh:33.2,33.0,18146.1,9.0] p2(u) || r1(skf47(v),u)*+ r1(skc7,skf43(v))*r -> p1(u)*. % 26.87/27.17 28481[0:NCh:33.2,33.0,16825.1,28.0] p1(u) || r1(skf28(v),u)*+ r1(skc7,skf25(v))*r -> p2(u)*. % 26.87/27.17 28218[0:NCh:33.2,33.0,16560.1,27.0] p1(u) || r1(skf29(v),u)*+ r1(skc7,skf26(v))*r -> p2(u)*. % 26.87/27.17 27951[0:NCh:33.2,33.0,16295.1,26.0] p1(u) || r1(skf30(v),u)*+ r1(skc7,skf27(v))*r -> p2(u)*. % 26.87/27.17 27686[0:NCh:33.2,33.0,16032.1,25.0] p1(u) || r1(skf31(v),u)*+ r1(skc7,skf28(v))*r -> p2(u)*. % 26.87/27.17 38470[0:Obv:38443.1] p3(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p2(u)*. % 26.87/27.17 38415[0:Obv:38388.1] p2(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p3(u)*. % 26.87/27.17 38205[0:Obv:38178.1] p4(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p3(u)*. % 26.87/27.17 27421[0:NCh:33.2,33.0,15765.1,24.0] p1(u) || r1(skf32(v),u)*+ r1(skc7,skf29(v))*r -> p2(u)*. % 26.87/27.17 38150[0:Obv:38123.1] p3(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p4(u)*. % 26.87/27.17 38070[0:NCh:33.2,33.0,37540.2,9.0] p3(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p2(u)*. % 26.87/27.17 37964[0:NCh:33.2,33.0,37434.2,9.0] p2(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p3(u)*. % 26.87/27.17 37834[0:Obv:37807.1] p5(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p4(u)*. % 26.87/27.17 27156[0:NCh:33.2,33.0,15500.1,23.0] p1(u) || r1(skf33(v),u)*+ r1(skc7,skf30(v))*r -> p2(u)*. % 26.87/27.17 37726[0:Obv:37699.1] p4(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p5(u)*. % 26.87/27.17 37646[0:NCh:33.2,33.0,37010.2,9.0] p4(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p3(u)*. % 26.87/27.17 37593[0:NCh:33.2,33.0,36904.2,9.0] p3(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p4(u)*. % 26.87/27.17 37540[0:NCh:33.2,33.0,36851.2,10.0] p3(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p2(u)*. % 26.87/27.17 26891[0:NCh:33.2,33.0,15235.1,22.0] p1(u) || r1(skf34(v),u)*+ r1(skc7,skf31(v))*r -> p2(u)*. % 26.87/27.17 37434[0:NCh:33.2,33.0,36798.2,10.0] p2(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p3(u)*. % 26.87/27.17 37304[0:Obv:37277.1] p6(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p5(u)*. % 26.87/27.17 37196[0:Obv:37169.1] p5(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p6(u)*. % 26.87/27.17 37116[0:NCh:33.2,33.0,36321.2,9.0] p5(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p4(u)*. % 26.87/27.17 26628[0:NCh:33.2,33.0,14970.1,21.0] p1(u) || r1(skf35(v),u)*+ r1(skc7,skf32(v))*r -> p2(u)*. % 26.87/27.17 37063[0:NCh:33.2,33.0,36268.2,9.0] p4(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p5(u)*. % 26.87/27.17 37010[0:NCh:33.2,33.0,36215.2,10.0] p4(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p3(u)*. % 26.87/27.17 36904[0:NCh:33.2,33.0,36109.2,10.0] p3(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p4(u)*. % 26.87/27.17 36851[0:NCh:33.2,33.0,36056.2,11.0] p3(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p2(u)*. % 26.87/27.17 26361[0:NCh:33.2,33.0,14705.1,20.0] p1(u) || r1(skf36(v),u)*+ r1(skc7,skf33(v))*r -> p2(u)*. % 26.87/27.17 36798[0:NCh:33.2,33.0,36003.2,11.0] p2(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p3(u)*. % 26.87/27.17 36615[0:Obv:36588.1] p7(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p6(u)*. % 26.87/27.17 36560[0:Obv:36533.1] p6(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p7(u)*. % 26.87/27.17 36480[0:NCh:33.2,33.0,35526.2,9.0] p6(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p5(u)*. % 26.87/27.17 26096[0:NCh:33.2,33.0,14440.1,19.0] p1(u) || r1(skf37(v),u)*+ r1(skc7,skf34(v))*r -> p2(u)*. % 26.87/27.17 36374[0:NCh:33.2,33.0,35473.2,9.0] p5(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p6(u)*. % 26.87/27.17 36321[0:NCh:33.2,33.0,35420.2,10.0] p5(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p4(u)*. % 26.87/27.17 36268[0:NCh:33.2,33.0,35314.2,10.0] p4(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p5(u)*. % 26.87/27.17 36215[0:NCh:33.2,33.0,35261.2,11.0] p4(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p3(u)*. % 26.87/27.17 25831[0:NCh:33.2,33.0,14175.1,18.0] p1(u) || r1(skf38(v),u)*+ r1(skc7,skf35(v))*r -> p2(u)*. % 26.87/27.17 36109[0:NCh:33.2,33.0,35208.2,11.0] p3(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p4(u)*. % 26.87/27.17 36056[0:NCh:33.2,33.0,35155.2,12.0] p3(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p2(u)*. % 26.87/27.17 36003[0:NCh:33.2,33.0,35049.2,12.0] p2(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p3(u)*. % 26.87/27.17 35820[0:Obv:35793.1] p8(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p7(u)*. % 26.87/27.17 25566[0:NCh:33.2,33.0,13910.1,17.0] p1(u) || r1(skf39(v),u)*+ r1(skc7,skf36(v))*r -> p2(u)*. % 26.87/27.17 35765[0:Obv:35738.1] p7(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p8(u)*. % 26.87/27.17 35685[0:NCh:33.2,33.0,34625.2,9.0] p7(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p6(u)*. % 26.87/27.17 35579[0:NCh:33.2,33.0,34519.2,9.0] p6(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p7(u)*. % 26.87/27.17 35526[0:NCh:33.2,33.0,34466.2,10.0] p6(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p5(u)*. % 26.87/27.17 25301[0:NCh:33.2,33.0,13645.1,16.0] p1(u) || r1(skf40(v),u)*+ r1(skc7,skf37(v))*r -> p2(u)*. % 26.87/27.17 35473[0:NCh:33.2,33.0,34413.2,10.0] p5(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p6(u)*. % 26.87/27.17 35420[0:NCh:33.2,33.0,34360.2,11.0] p5(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p4(u)*. % 26.87/27.17 35314[0:NCh:33.2,33.0,34254.2,11.0] p4(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p5(u)*. % 26.87/27.17 35261[0:NCh:33.2,33.0,34201.2,12.0] p4(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p3(u)*. % 26.87/27.17 25036[0:NCh:33.2,33.0,13382.1,15.0] p1(u) || r1(skf41(v),u)*+ r1(skc7,skf38(v))*r -> p2(u)*. % 26.87/27.17 35208[0:NCh:33.2,33.0,34148.2,12.0] p3(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p4(u)*. % 26.87/27.17 35155[0:NCh:33.2,33.0,34095.2,13.0] p3(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p2(u)*. % 26.87/27.17 35049[0:NCh:33.2,33.0,33989.2,13.0] p2(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p3(u)*. % 26.87/27.17 34919[0:Obv:34892.1] p9(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p8(u)*. % 26.87/27.17 24773[0:NCh:33.2,33.0,13115.1,14.0] p1(u) || r1(skf42(v),u)*+ r1(skc7,skf39(v))*r -> p2(u)*. % 26.87/27.17 34811[0:Obv:34784.1] p8(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p9(u)*. % 26.87/27.17 34731[0:NCh:33.2,33.0,33565.2,9.0] p8(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p7(u)*. % 26.87/27.17 34678[0:NCh:33.2,33.0,33459.2,9.0] p7(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p8(u)*. % 26.87/27.17 34625[0:NCh:33.2,33.0,33406.2,10.0] p7(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p6(u)*. % 26.87/27.17 24506[0:NCh:33.2,33.0,12850.1,13.0] p1(u) || r1(skf43(v),u)*+ r1(skc7,skf40(v))*r -> p2(u)*. % 26.87/27.17 34519[0:NCh:33.2,33.0,33353.2,10.0] p6(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p7(u)*. % 26.87/27.17 34466[0:NCh:33.2,33.0,33300.2,11.0] p6(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p5(u)*. % 26.87/27.17 34413[0:NCh:33.2,33.0,33194.2,11.0] p5(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p6(u)*. % 26.87/27.17 34360[0:NCh:33.2,33.0,33141.2,12.0] p5(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p4(u)*. % 26.87/27.17 24241[0:NCh:33.2,33.0,12585.1,12.0] p1(u) || r1(skf44(v),u)*+ r1(skc7,skf41(v))*r -> p2(u)*. % 26.87/27.17 34254[0:NCh:33.2,33.0,33088.2,12.0] p4(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p5(u)*. % 26.87/27.17 34201[0:NCh:33.2,33.0,33035.2,13.0] p4(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p3(u)*. % 26.87/27.17 34148[0:NCh:33.2,33.0,32929.2,13.0] p3(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p4(u)*. % 26.87/27.17 34095[0:NCh:33.2,33.0,32876.2,14.0] p3(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p2(u)*. % 26.87/27.17 23976[0:NCh:33.2,33.0,12320.1,11.0] p1(u) || r1(skf45(v),u)*+ r1(skc7,skf42(v))*r -> p2(u)*. % 26.87/27.17 33989[0:NCh:33.2,33.0,32823.2,14.0] p2(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p3(u)*. % 26.87/27.17 33859[0:Obv:33832.1] p10(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p9(u)*. % 26.87/27.17 33751[0:Obv:33724.1] p9(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p10(u)*. % 26.87/27.17 33671[0:NCh:33.2,33.0,32346.2,9.0] p9(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p8(u)*. % 26.87/27.17 23711[0:NCh:33.2,33.0,12055.1,10.0] p1(u) || r1(skf46(v),u)*+ r1(skc7,skf43(v))*r -> p2(u)*. % 26.87/27.17 33618[0:NCh:33.2,33.0,32293.2,9.0] p8(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p9(u)*. % 26.87/27.17 33565[0:NCh:33.2,33.0,32240.2,10.0] p8(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p7(u)*. % 26.87/27.17 33459[0:NCh:33.2,33.0,32134.2,10.0] p7(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p8(u)*. % 26.87/27.17 33406[0:NCh:33.2,33.0,32081.2,11.0] p7(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p6(u)*. % 26.87/27.17 23446[0:NCh:33.2,33.0,11790.1,9.0] p1(u) || r1(skf47(v),u)*+ r1(skc7,skf44(v))*r -> p2(u)*. % 26.87/27.17 33353[0:NCh:33.2,33.0,32028.2,11.0] p6(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p7(u)*. % 26.87/27.17 33300[0:NCh:33.2,33.0,31975.2,12.0] p6(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p5(u)*. % 26.87/27.17 33194[0:NCh:33.2,33.0,31869.2,12.0] p5(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p6(u)*. % 26.87/27.17 33141[0:NCh:33.2,33.0,31816.2,13.0] p5(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p4(u)*. % 26.87/27.17 22916[0:NCh:33.2,33.0,10995.1,28.0] p2(u) || r1(skf28(v),u)*+ r1(skc7,skf25(v))*r -> p1(u)*. % 26.87/27.17 33088[0:NCh:33.2,33.0,31763.2,13.0] p4(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p5(u)*. % 26.87/27.17 33035[0:NCh:33.2,33.0,31710.2,14.0] p4(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p3(u)*. % 26.87/27.17 32929[0:NCh:33.2,33.0,31604.2,14.0] p3(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p4(u)*. % 26.87/27.17 32876[0:NCh:33.2,33.0,31551.2,15.0] p3(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p2(u)*. % 26.87/27.17 22653[0:NCh:33.2,33.0,10732.1,27.0] p2(u) || r1(skf29(v),u)*+ r1(skc7,skf26(v))*r -> p1(u)*. % 26.87/27.17 32823[0:NCh:33.2,33.0,31498.2,15.0] p2(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p3(u)*. % 26.87/27.17 32640[0:Obv:32613.1] p11(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p10(u)*. % 26.87/27.17 32585[0:Obv:32558.1] p10(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p11(u)*. % 26.87/27.17 32505[0:NCh:33.2,33.0,31021.2,9.0] p10(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p9(u)*. % 26.87/27.17 22386[0:NCh:33.2,33.0,10465.1,26.0] p2(u) || r1(skf30(v),u)*+ r1(skc7,skf27(v))*r -> p1(u)*. % 26.87/27.17 32399[0:NCh:33.2,33.0,30968.2,9.0] p9(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p10(u)*. % 26.87/27.17 32346[0:NCh:33.2,33.0,30915.2,10.0] p9(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p8(u)*. % 26.87/27.17 32293[0:NCh:33.2,33.0,30809.2,10.0] p8(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p9(u)*. % 26.87/27.17 32240[0:NCh:33.2,33.0,30756.2,11.0] p8(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p7(u)*. % 26.87/27.17 22121[0:NCh:33.2,33.0,10200.1,25.0] p2(u) || r1(skf31(v),u)*+ r1(skc7,skf28(v))*r -> p1(u)*. % 26.87/27.17 32134[0:NCh:33.2,33.0,30703.2,11.0] p7(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p8(u)*. % 26.87/27.17 32081[0:NCh:33.2,33.0,30650.2,12.0] p7(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p6(u)*. % 26.87/27.17 32028[0:NCh:33.2,33.0,30544.2,12.0] p6(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p7(u)*. % 26.87/27.17 31975[0:NCh:33.2,33.0,30491.2,13.0] p6(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p5(u)*. % 26.87/27.17 21856[0:NCh:33.2,33.0,9935.1,24.0] p2(u) || r1(skf32(v),u)*+ r1(skc7,skf29(v))*r -> p1(u)*. % 26.87/27.17 31869[0:NCh:33.2,33.0,30438.2,13.0] p5(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p6(u)*. % 26.87/27.17 31816[0:NCh:33.2,33.0,30385.2,14.0] p5(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p4(u)*. % 26.87/27.17 31763[0:NCh:33.2,33.0,30279.2,14.0] p4(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p5(u)*. % 26.87/27.17 31710[0:NCh:33.2,33.0,30226.2,15.0] p4(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p3(u)*. % 26.87/27.17 21591[0:NCh:33.2,33.0,9670.1,23.0] p2(u) || r1(skf33(v),u)*+ r1(skc7,skf30(v))*r -> p1(u)*. % 26.87/27.17 31604[0:NCh:33.2,33.0,30173.2,15.0] p3(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p4(u)*. % 26.87/27.17 31551[0:NCh:33.2,33.0,30120.2,16.0] p3(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p2(u)*. % 26.87/27.17 31498[0:NCh:33.2,33.0,30014.2,16.0] p2(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p3(u)*. % 26.87/27.17 31315[0:Obv:31288.1] p12(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p11(u)*. % 26.87/27.17 21326[0:NCh:33.2,33.0,9405.1,22.0] p2(u) || r1(skf34(v),u)*+ r1(skc7,skf31(v))*r -> p1(u)*. % 26.87/27.17 31260[0:Obv:31233.1] p11(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p12(u)*. % 26.87/27.17 31180[0:NCh:33.2,33.0,29590.2,9.0] p11(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p10(u)*. % 26.87/27.17 31074[0:NCh:33.2,33.0,29484.2,9.0] p10(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p11(u)*. % 26.87/27.17 31021[0:NCh:33.2,33.0,29431.2,10.0] p10(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p9(u)*. % 26.87/27.17 21061[0:NCh:33.2,33.0,9140.1,21.0] p2(u) || r1(skf35(v),u)*+ r1(skc7,skf32(v))*r -> p1(u)*. % 26.87/27.17 30968[0:NCh:33.2,33.0,29378.2,10.0] p9(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p10(u)*. % 26.87/27.17 30915[0:NCh:33.2,33.0,29325.2,11.0] p9(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p8(u)*. % 26.87/27.17 30809[0:NCh:33.2,33.0,29219.2,11.0] p8(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p9(u)*. % 26.87/27.17 30756[0:NCh:33.2,33.0,29166.2,12.0] p8(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p7(u)*. % 26.87/27.17 20796[0:NCh:33.2,33.0,8875.1,20.0] p2(u) || r1(skf36(v),u)*+ r1(skc7,skf33(v))*r -> p1(u)*. % 26.87/27.17 30703[0:NCh:33.2,33.0,29113.2,12.0] p7(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p8(u)*. % 26.87/27.17 30650[0:NCh:33.2,33.0,29060.2,13.0] p7(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p6(u)*. % 26.87/27.17 30544[0:NCh:33.2,33.0,28956.2,13.0] p6(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p7(u)*. % 26.87/27.17 30491[0:NCh:33.2,33.0,28903.2,14.0] p6(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p5(u)*. % 26.87/27.17 20533[0:NCh:33.2,33.0,8610.1,19.0] p2(u) || r1(skf37(v),u)*+ r1(skc7,skf34(v))*r -> p1(u)*. % 26.87/27.17 30438[0:NCh:33.2,33.0,28850.2,14.0] p5(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p6(u)*. % 26.87/27.17 30385[0:NCh:33.2,33.0,28797.2,15.0] p5(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p4(u)*. % 26.87/27.17 30279[0:NCh:33.2,33.0,28693.2,15.0] p4(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p5(u)*. % 26.87/27.17 30226[0:NCh:33.2,33.0,28640.2,16.0] p4(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p3(u)*. % 26.87/27.17 20266[0:NCh:33.2,33.0,8345.1,18.0] p2(u) || r1(skf38(v),u)*+ r1(skc7,skf35(v))*r -> p1(u)*. % 26.87/27.17 30173[0:NCh:33.2,33.0,28587.2,16.0] p3(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p4(u)*. % 26.87/27.17 30120[0:NCh:33.2,33.0,28534.2,17.0] p3(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p2(u)*. % 26.87/27.17 30014[0:NCh:33.2,33.0,28428.2,17.0] p2(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p3(u)*. % 26.87/27.17 29884[0:Obv:29857.1] p13(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p12(u)*. % 26.87/27.17 20001[0:NCh:33.2,33.0,8082.1,17.0] p2(u) || r1(skf39(v),u)*+ r1(skc7,skf36(v))*r -> p1(u)*. % 26.87/27.17 29776[0:Obv:29749.1] p12(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p13(u)*. % 26.87/27.17 29696[0:NCh:33.2,33.0,28004.2,9.0] p12(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p11(u)*. % 26.87/27.17 29643[0:NCh:33.2,33.0,27898.2,9.0] p11(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p12(u)*. % 26.87/27.17 29590[0:NCh:33.2,33.0,27845.2,10.0] p11(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p10(u)*. % 26.87/27.17 19736[0:NCh:33.2,33.0,7815.1,16.0] p2(u) || r1(skf40(v),u)*+ r1(skc7,skf37(v))*r -> p1(u)*. % 26.87/27.17 29484[0:NCh:33.2,33.0,27792.2,10.0] p10(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p11(u)*. % 26.87/27.17 29431[0:NCh:33.2,33.0,27739.2,11.0] p10(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p9(u)*. % 26.87/27.17 29378[0:NCh:33.2,33.0,27633.2,11.0] p9(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p10(u)*. % 26.87/27.17 29325[0:NCh:33.2,33.0,27580.2,12.0] p9(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p8(u)*. % 26.87/27.17 19471[0:NCh:33.2,33.0,7550.1,15.0] p2(u) || r1(skf41(v),u)*+ r1(skc7,skf38(v))*r -> p1(u)*. % 26.87/27.17 29219[0:NCh:33.2,33.0,27527.2,12.0] p8(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p9(u)*. % 26.87/27.17 29166[0:NCh:33.2,33.0,27474.2,13.0] p8(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p7(u)*. % 26.87/27.17 29113[0:NCh:33.2,33.0,27368.2,13.0] p7(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p8(u)*. % 26.87/27.17 29060[0:NCh:33.2,33.0,27315.2,14.0] p7(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p6(u)*. % 26.87/27.17 19206[0:NCh:33.2,33.0,7285.1,14.0] p2(u) || r1(skf42(v),u)*+ r1(skc7,skf39(v))*r -> p1(u)*. % 26.87/27.17 28956[0:NCh:33.2,33.0,27262.2,14.0] p6(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p7(u)*. % 26.87/27.17 28903[0:NCh:33.2,33.0,27209.2,15.0] p6(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p5(u)*. % 26.87/27.17 28850[0:NCh:33.2,33.0,27103.2,15.0] p5(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p6(u)*. % 26.87/27.17 28797[0:NCh:33.2,33.0,27050.2,16.0] p5(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p4(u)*. % 26.87/27.17 18941[0:NCh:33.2,33.0,7020.1,13.0] p2(u) || r1(skf43(v),u)*+ r1(skc7,skf40(v))*r -> p1(u)*. % 26.87/27.17 28693[0:NCh:33.2,33.0,26997.2,16.0] p4(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p5(u)*. % 26.87/27.17 28640[0:NCh:33.2,33.0,26944.2,17.0] p4(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p3(u)*. % 26.87/27.17 28587[0:NCh:33.2,33.0,26838.2,17.0] p3(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p4(u)*. % 26.87/27.17 28534[0:NCh:33.2,33.0,26785.2,18.0] p3(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p2(u)*. % 26.87/27.17 18676[0:NCh:33.2,33.0,6755.1,12.0] p2(u) || r1(skf44(v),u)*+ r1(skc7,skf41(v))*r -> p1(u)*. % 26.87/27.17 28428[0:NCh:33.2,33.0,26732.2,18.0] p2(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p3(u)*. % 26.87/27.17 28298[0:Obv:28271.1] p14(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p13(u)*. % 26.87/27.17 28190[0:Obv:28163.1] p13(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p14(u)*. % 26.87/27.17 28110[0:NCh:33.2,33.0,26255.2,9.0] p13(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p12(u)*. % 26.87/27.17 18413[0:NCh:33.2,33.0,6490.1,11.0] p2(u) || r1(skf45(v),u)*+ r1(skc7,skf42(v))*r -> p1(u)*. % 26.87/27.17 28057[0:NCh:33.2,33.0,26202.2,9.0] p12(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p13(u)*. % 26.87/27.17 28004[0:NCh:33.2,33.0,26149.2,10.0] p12(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p11(u)*. % 26.87/27.17 27898[0:NCh:33.2,33.0,26043.2,10.0] p11(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p12(u)*. % 26.87/27.17 27845[0:NCh:33.2,33.0,25990.2,11.0] p11(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p10(u)*. % 26.87/27.17 18146[0:NCh:33.2,33.0,6225.1,10.0] p2(u) || r1(skf46(v),u)*+ r1(skc7,skf43(v))*r -> p1(u)*. % 26.87/27.17 27792[0:NCh:33.2,33.0,25937.2,11.0] p10(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p11(u)*. % 26.87/27.17 27739[0:NCh:33.2,33.0,25884.2,12.0] p10(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p9(u)*. % 26.87/27.17 27633[0:NCh:33.2,33.0,25778.2,12.0] p9(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p10(u)*. % 26.87/27.17 27580[0:NCh:33.2,33.0,25725.2,13.0] p9(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p8(u)*. % 26.87/27.17 17881[0:NCh:33.2,33.0,5960.1,9.0] p2(u) || r1(skf47(v),u)*+ r1(skc7,skf44(v))*r -> p1(u)*. % 26.87/27.17 27527[0:NCh:33.2,33.0,25672.2,13.0] p8(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p9(u)*. % 26.87/27.17 27474[0:NCh:33.2,33.0,25619.2,14.0] p8(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p7(u)*. % 26.87/27.17 27368[0:NCh:33.2,33.0,25513.2,14.0] p7(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p8(u)*. % 26.87/27.17 27315[0:NCh:33.2,33.0,25460.2,15.0] p7(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p6(u)*. % 26.87/27.17 11260[0:NCh:33.2,33.0,335.1,32.1] p1(u) || r1(skf48(v),u)*+ r1(skc7,skf46(v))*r r1(skc7,v) -> p2(u)*. % 26.87/27.17 27262[0:NCh:33.2,33.0,25407.2,15.0] p6(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p7(u)*. % 26.87/27.17 27209[0:NCh:33.2,33.0,25354.2,16.0] p6(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p5(u)*. % 26.87/27.17 27103[0:NCh:33.2,33.0,25248.2,16.0] p5(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p6(u)*. % 26.87/27.17 27050[0:NCh:33.2,33.0,25195.2,17.0] p5(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p4(u)*. % 26.87/27.17 5430[0:NCh:33.2,33.0,230.1,32.1] p2(u) || r1(skf48(v),u)*+ r1(skc7,skf46(v))*r r1(skc7,v) -> p1(u)*. % 26.87/27.17 26997[0:NCh:33.2,33.0,25142.2,17.0] p4(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p5(u)*. % 26.87/27.17 26944[0:NCh:33.2,33.0,25089.2,18.0] p4(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p3(u)*. % 26.87/27.17 26838[0:NCh:33.2,33.0,24983.2,18.0] p3(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p4(u)*. % 26.87/27.17 26785[0:NCh:33.2,33.0,24930.2,19.0] p3(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p2(u)*. % 26.87/27.17 16825[0:NCh:33.2,33.0,314.1,29.0] p1(u) || r1(skf27(v),u)*+ r1(skc7,skf25(v))*r -> p2(u)*. % 26.87/27.17 26732[0:NCh:33.2,33.0,24877.2,19.0] p2(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p3(u)*. % 26.87/27.17 26549[0:Obv:26522.1] p15(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p14(u)*. % 26.87/27.17 26494[0:Obv:26467.1] p14(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p15(u)*. % 26.87/27.17 26414[0:NCh:33.2,33.0,24400.2,9.0] p14(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p13(u)*. % 26.87/27.17 16560[0:NCh:33.2,33.0,315.1,28.0] p1(u) || r1(skf28(v),u)*+ r1(skc7,skf26(v))*r -> p2(u)*. % 26.87/27.18 26308[0:NCh:33.2,33.0,24347.2,9.0] p13(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p14(u)*. % 26.87/27.18 26255[0:NCh:33.2,33.0,24294.2,10.0] p13(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p12(u)*. % 26.87/27.18 26202[0:NCh:33.2,33.0,24188.2,10.0] p12(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p13(u)*. % 26.87/27.18 26149[0:NCh:33.2,33.0,24135.2,11.0] p12(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p11(u)*. % 26.87/27.18 16295[0:NCh:33.2,33.0,316.1,27.0] p1(u) || r1(skf29(v),u)*+ r1(skc7,skf27(v))*r -> p2(u)*. % 26.87/27.18 26043[0:NCh:33.2,33.0,24082.2,11.0] p11(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p12(u)*. % 26.87/27.18 25990[0:NCh:33.2,33.0,24029.2,12.0] p11(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p10(u)*. % 26.87/27.18 25937[0:NCh:33.2,33.0,23923.2,12.0] p10(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p11(u)*. % 26.87/27.18 25884[0:NCh:33.2,33.0,23870.2,13.0] p10(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p9(u)*. % 26.87/27.18 16032[0:NCh:33.2,33.0,317.1,26.0] p1(u) || r1(skf30(v),u)*+ r1(skc7,skf28(v))*r -> p2(u)*. % 26.87/27.18 25778[0:NCh:33.2,33.0,23817.2,13.0] p9(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p10(u)*. % 26.87/27.18 25725[0:NCh:33.2,33.0,23764.2,14.0] p9(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p8(u)*. % 26.87/27.18 25672[0:NCh:33.2,33.0,23658.2,14.0] p8(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p9(u)*. % 26.87/27.18 25619[0:NCh:33.2,33.0,23605.2,15.0] p8(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p7(u)*. % 26.87/27.18 15765[0:NCh:33.2,33.0,318.1,25.0] p1(u) || r1(skf31(v),u)*+ r1(skc7,skf29(v))*r -> p2(u)*. % 26.87/27.18 25513[0:NCh:33.2,33.0,23552.2,15.0] p7(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p8(u)*. % 26.87/27.18 25460[0:NCh:33.2,33.0,23499.2,16.0] p7(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p6(u)*. % 26.87/27.18 25407[0:NCh:33.2,33.0,23393.2,16.0] p6(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p7(u)*. % 26.87/27.18 25354[0:NCh:33.2,33.0,23340.2,17.0] p6(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p5(u)*. % 26.87/27.18 15500[0:NCh:33.2,33.0,319.1,24.0] p1(u) || r1(skf32(v),u)*+ r1(skc7,skf30(v))*r -> p2(u)*. % 26.87/27.18 25248[0:NCh:33.2,33.0,23287.2,17.0] p5(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p6(u)*. % 26.87/27.18 25195[0:NCh:33.2,33.0,23234.2,18.0] p5(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p4(u)*. % 26.87/27.18 25142[0:NCh:33.2,33.0,23128.2,18.0] p4(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p5(u)*. % 26.87/27.18 25089[0:NCh:33.2,33.0,23075.2,19.0] p4(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p3(u)*. % 26.87/27.18 15235[0:NCh:33.2,33.0,320.1,23.0] p1(u) || r1(skf33(v),u)*+ r1(skc7,skf31(v))*r -> p2(u)*. % 26.87/27.18 24983[0:NCh:33.2,33.0,23022.2,19.0] p3(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p4(u)*. % 26.87/27.18 24930[0:NCh:33.2,33.0,22969.2,20.0] p3(u) || r1(skc7,v) r1(skf36(v),u)*+ -> p2(u)*. % 26.87/27.18 24877[0:NCh:33.2,33.0,22863.2,20.0] p2(u) || r1(skc7,v) r1(skf36(v),u)*+ -> p3(u)*. % 26.87/27.18 24694[0:Obv:24667.1] p16(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p15(u)*. % 26.87/27.18 14970[0:NCh:33.2,33.0,321.1,22.0] p1(u) || r1(skf34(v),u)*+ r1(skc7,skf32(v))*r -> p2(u)*. % 26.87/27.18 24639[0:Obv:24612.1] p15(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p16(u)*. % 26.87/27.18 24559[0:NCh:33.2,33.0,22439.2,9.0] p15(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p14(u)*. % 26.87/27.18 24453[0:NCh:33.2,33.0,22333.2,9.0] p14(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p15(u)*. % 26.87/27.18 24400[0:NCh:33.2,33.0,22280.2,10.0] p14(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p13(u)*. % 26.87/27.18 14705[0:NCh:33.2,33.0,322.1,21.0] p1(u) || r1(skf35(v),u)*+ r1(skc7,skf33(v))*r -> p2(u)*. % 26.87/27.18 24347[0:NCh:33.2,33.0,22227.2,10.0] p13(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p14(u)*. % 26.87/27.18 24294[0:NCh:33.2,33.0,22174.2,11.0] p13(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p12(u)*. % 26.87/27.18 24188[0:NCh:33.2,33.0,22068.2,11.0] p12(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p13(u)*. % 26.87/27.18 24135[0:NCh:33.2,33.0,22015.2,12.0] p12(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p11(u)*. % 26.87/27.18 14440[0:NCh:33.2,33.0,323.1,20.0] p1(u) || r1(skf36(v),u)*+ r1(skc7,skf34(v))*r -> p2(u)*. % 26.87/27.18 24082[0:NCh:33.2,33.0,21962.2,12.0] p11(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p12(u)*. % 26.87/27.18 24029[0:NCh:33.2,33.0,21909.2,13.0] p11(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p10(u)*. % 26.87/27.18 23923[0:NCh:33.2,33.0,21803.2,13.0] p10(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p11(u)*. % 26.87/27.18 23870[0:NCh:33.2,33.0,21750.2,14.0] p10(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p9(u)*. % 26.87/27.18 14175[0:NCh:33.2,33.0,324.1,19.0] p1(u) || r1(skf37(v),u)*+ r1(skc7,skf35(v))*r -> p2(u)*. % 26.87/27.18 23817[0:NCh:33.2,33.0,21697.2,14.0] p9(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p10(u)*. % 26.87/27.18 23764[0:NCh:33.2,33.0,21644.2,15.0] p9(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p8(u)*. % 26.87/27.18 23658[0:NCh:33.2,33.0,21538.2,15.0] p8(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p9(u)*. % 26.87/27.18 23605[0:NCh:33.2,33.0,21485.2,16.0] p8(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p7(u)*. % 26.87/27.18 13910[0:NCh:33.2,33.0,325.1,18.0] p1(u) || r1(skf38(v),u)*+ r1(skc7,skf36(v))*r -> p2(u)*. % 26.87/27.18 23552[0:NCh:33.2,33.0,21432.2,16.0] p7(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p8(u)*. % 26.87/27.18 23499[0:NCh:33.2,33.0,21379.2,17.0] p7(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p6(u)*. % 26.87/27.18 23393[0:NCh:33.2,33.0,21273.2,17.0] p6(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p7(u)*. % 26.87/27.18 23340[0:NCh:33.2,33.0,21220.2,18.0] p6(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p5(u)*. % 26.87/27.18 13645[0:NCh:33.2,33.0,326.1,17.0] p1(u) || r1(skf39(v),u)*+ r1(skc7,skf37(v))*r -> p2(u)*. % 26.87/27.18 23287[0:NCh:33.2,33.0,21167.2,18.0] p5(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p6(u)*. % 26.87/27.18 23234[0:NCh:33.2,33.0,21114.2,19.0] p5(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p4(u)*. % 26.87/27.18 23128[0:NCh:33.2,33.0,21008.2,19.0] p4(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p5(u)*. % 26.87/27.18 23075[0:NCh:33.2,33.0,20955.2,20.0] p4(u) || r1(skc7,v) r1(skf36(v),u)*+ -> p3(u)*. % 26.87/27.18 13382[0:NCh:33.2,33.0,327.1,16.0] p1(u) || r1(skf40(v),u)*+ r1(skc7,skf38(v))*r -> p2(u)*. % 26.87/27.18 23022[0:NCh:33.2,33.0,20902.2,20.0] p3(u) || r1(skc7,v) r1(skf36(v),u)*+ -> p4(u)*. % 26.87/27.18 22969[0:NCh:33.2,33.0,20849.2,21.0] p3(u) || r1(skc7,v) r1(skf35(v),u)*+ -> p2(u)*. % 26.87/27.18 22863[0:NCh:33.2,33.0,20743.2,21.0] p2(u) || r1(skc7,v) r1(skf35(v),u)*+ -> p3(u)*. % 26.87/27.18 22733[0:Obv:22706.1] p17(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p16(u)*. % 26.87/27.18 13115[0:NCh:33.2,33.0,328.1,15.0] p1(u) || r1(skf41(v),u)*+ r1(skc7,skf39(v))*r -> p2(u)*. % 26.87/27.18 22625[0:Obv:22598.1] p16(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p17(u)*. % 26.87/27.18 22545[0:NCh:33.2,33.0,20319.2,9.0] p16(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p15(u)*. % 26.87/27.18 22492[0:NCh:33.2,33.0,20213.2,9.0] p15(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p16(u)*. % 26.87/27.18 22439[0:NCh:33.2,33.0,20160.2,10.0] p15(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p14(u)*. % 26.87/27.18 12850[0:NCh:33.2,33.0,329.1,14.0] p1(u) || r1(skf42(v),u)*+ r1(skc7,skf40(v))*r -> p2(u)*. % 26.87/27.18 22333[0:NCh:33.2,33.0,20107.2,10.0] p14(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p15(u)*. % 26.87/27.18 22280[0:NCh:33.2,33.0,20054.2,11.0] p14(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p13(u)*. % 26.87/27.18 22227[0:NCh:33.2,33.0,19948.2,11.0] p13(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p14(u)*. % 26.87/27.18 22174[0:NCh:33.2,33.0,19895.2,12.0] p13(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p12(u)*. % 26.87/27.18 12585[0:NCh:33.2,33.0,330.1,13.0] p1(u) || r1(skf43(v),u)*+ r1(skc7,skf41(v))*r -> p2(u)*. % 26.87/27.18 22068[0:NCh:33.2,33.0,19842.2,12.0] p12(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p13(u)*. % 26.87/27.18 22015[0:NCh:33.2,33.0,19789.2,13.0] p12(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p11(u)*. % 26.87/27.18 21962[0:NCh:33.2,33.0,19683.2,13.0] p11(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p12(u)*. % 26.87/27.18 21909[0:NCh:33.2,33.0,19630.2,14.0] p11(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p10(u)*. % 26.87/27.18 12320[0:NCh:33.2,33.0,331.1,12.0] p1(u) || r1(skf44(v),u)*+ r1(skc7,skf42(v))*r -> p2(u)*. % 26.87/27.18 21803[0:NCh:33.2,33.0,19577.2,14.0] p10(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p11(u)*. % 26.87/27.18 21750[0:NCh:33.2,33.0,19524.2,15.0] p10(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p9(u)*. % 26.87/27.18 21697[0:NCh:33.2,33.0,19418.2,15.0] p9(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p10(u)*. % 26.87/27.18 21644[0:NCh:33.2,33.0,19365.2,16.0] p9(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p8(u)*. % 26.87/27.18 12055[0:NCh:33.2,33.0,332.1,11.0] p1(u) || r1(skf45(v),u)*+ r1(skc7,skf43(v))*r -> p2(u)*. % 26.87/27.18 21538[0:NCh:33.2,33.0,19312.2,16.0] p8(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p9(u)*. % 26.87/27.18 21485[0:NCh:33.2,33.0,19259.2,17.0] p8(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p7(u)*. % 26.87/27.18 21432[0:NCh:33.2,33.0,19153.2,17.0] p7(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p8(u)*. % 26.87/27.18 21379[0:NCh:33.2,33.0,19100.2,18.0] p7(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p6(u)*. % 26.87/27.18 11790[0:NCh:33.2,33.0,333.1,10.0] p1(u) || r1(skf46(v),u)*+ r1(skc7,skf44(v))*r -> p2(u)*. % 26.87/27.18 21273[0:NCh:33.2,33.0,19047.2,18.0] p6(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p7(u)*. % 26.87/27.18 21220[0:NCh:33.2,33.0,18994.2,19.0] p6(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p5(u)*. % 26.87/27.18 21167[0:NCh:33.2,33.0,18888.2,19.0] p5(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p6(u)*. % 26.87/27.18 21114[0:NCh:33.2,33.0,18835.2,20.0] p5(u) || r1(skc7,v) r1(skf36(v),u)*+ -> p4(u)*. % 26.87/27.18 11525[0:NCh:33.2,33.0,334.1,9.0] p1(u) || r1(skf47(v),u)*+ r1(skc7,skf45(v))*r -> p2(u)*. % 26.87/27.18 21008[0:NCh:33.2,33.0,18782.2,20.0] p4(u) || r1(skc7,v) r1(skf36(v),u)*+ -> p5(u)*. % 26.87/27.18 20955[0:NCh:33.2,33.0,18729.2,21.0] p4(u) || r1(skc7,v) r1(skf35(v),u)*+ -> p3(u)*. % 26.87/27.18 20902[0:NCh:33.2,33.0,18623.2,21.0] p3(u) || r1(skc7,v) r1(skf35(v),u)*+ -> p4(u)*. % 26.87/27.18 20849[0:NCh:33.2,33.0,18570.2,22.0] p3(u) || r1(skc7,v) r1(skf34(v),u)*+ -> p2(u)*. % 26.87/27.18 10995[0:NCh:33.2,33.0,209.1,29.0] p2(u) || r1(skf27(v),u)*+ r1(skc7,skf25(v))*r -> p1(u)*. % 26.87/27.18 20743[0:NCh:33.2,33.0,18517.2,22.0] p2(u) || r1(skc7,v) r1(skf34(v),u)*+ -> p3(u)*. % 26.87/27.18 20613[0:Obv:20586.1] p18(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p17(u)*. % 26.87/27.18 20505[0:Obv:20478.1] p17(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p18(u)*. % 26.87/27.18 20425[0:NCh:33.2,33.0,18040.2,9.0] p17(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p16(u)*. % 26.87/27.18 10732[0:NCh:33.2,33.0,210.1,28.0] p2(u) || r1(skf28(v),u)*+ r1(skc7,skf26(v))*r -> p1(u)*. % 26.87/27.18 20372[0:NCh:33.2,33.0,17987.2,9.0] p16(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p17(u)*. % 26.87/27.18 20319[0:NCh:33.2,33.0,17934.2,10.0] p16(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p15(u)*. % 26.87/27.18 20213[0:NCh:33.2,33.0,17828.2,10.0] p15(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p16(u)*. % 26.87/27.18 20160[0:NCh:33.2,33.0,17775.2,11.0] p15(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p14(u)*. % 26.87/27.18 10465[0:NCh:33.2,33.0,211.1,27.0] p2(u) || r1(skf29(v),u)*+ r1(skc7,skf27(v))*r -> p1(u)*. % 26.87/27.18 20107[0:NCh:33.2,33.0,17722.2,11.0] p14(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p15(u)*. % 26.87/27.18 20054[0:NCh:33.2,33.0,17669.2,12.0] p14(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p13(u)*. % 26.87/27.18 19948[0:NCh:33.2,33.0,17563.2,12.0] p13(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p14(u)*. % 26.87/27.18 19895[0:NCh:33.2,33.0,17510.2,13.0] p13(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p12(u)*. % 26.87/27.18 10200[0:NCh:33.2,33.0,212.1,26.0] p2(u) || r1(skf30(v),u)*+ r1(skc7,skf28(v))*r -> p1(u)*. % 26.87/27.18 19842[0:NCh:33.2,33.0,17457.2,13.0] p12(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p13(u)*. % 26.87/27.18 19789[0:NCh:33.2,33.0,17404.2,14.0] p12(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p11(u)*. % 26.87/27.18 19683[0:NCh:33.2,33.0,17300.2,14.0] p11(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p12(u)*. % 26.87/27.18 19630[0:NCh:33.2,33.0,17247.2,15.0] p11(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p10(u)*. % 26.87/27.18 9935[0:NCh:33.2,33.0,213.1,25.0] p2(u) || r1(skf31(v),u)*+ r1(skc7,skf29(v))*r -> p1(u)*. % 26.87/27.18 19577[0:NCh:33.2,33.0,17194.2,15.0] p10(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p11(u)*. % 26.87/27.18 19524[0:NCh:33.2,33.0,17141.2,16.0] p10(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p9(u)*. % 26.87/27.18 19418[0:NCh:33.2,33.0,17037.2,16.0] p9(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p10(u)*. % 26.87/27.18 19365[0:NCh:33.2,33.0,16984.2,17.0] p9(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p8(u)*. % 26.87/27.18 9670[0:NCh:33.2,33.0,214.1,24.0] p2(u) || r1(skf32(v),u)*+ r1(skc7,skf30(v))*r -> p1(u)*. % 26.87/27.18 19312[0:NCh:33.2,33.0,16931.2,17.0] p8(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p9(u)*. % 26.87/27.18 19259[0:NCh:33.2,33.0,16878.2,18.0] p8(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p7(u)*. % 26.87/27.18 19153[0:NCh:33.2,33.0,16772.2,18.0] p7(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p8(u)*. % 26.87/27.18 19100[0:NCh:33.2,33.0,16719.2,19.0] p7(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p6(u)*. % 26.87/27.18 9405[0:NCh:33.2,33.0,215.1,23.0] p2(u) || r1(skf33(v),u)*+ r1(skc7,skf31(v))*r -> p1(u)*. % 26.87/27.18 19047[0:NCh:33.2,33.0,16666.2,19.0] p6(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p7(u)*. % 26.87/27.18 18994[0:NCh:33.2,33.0,16613.2,20.0] p6(u) || r1(skc7,v) r1(skf36(v),u)*+ -> p5(u)*. % 26.87/27.18 18888[0:NCh:33.2,33.0,16507.2,20.0] p5(u) || r1(skc7,v) r1(skf36(v),u)*+ -> p6(u)*. % 26.87/27.18 18835[0:NCh:33.2,33.0,16454.2,21.0] p5(u) || r1(skc7,v) r1(skf35(v),u)*+ -> p4(u)*. % 26.87/27.18 9140[0:NCh:33.2,33.0,216.1,22.0] p2(u) || r1(skf34(v),u)*+ r1(skc7,skf32(v))*r -> p1(u)*. % 26.87/27.18 18782[0:NCh:33.2,33.0,16401.2,21.0] p4(u) || r1(skc7,v) r1(skf35(v),u)*+ -> p5(u)*. % 26.87/27.18 18729[0:NCh:33.2,33.0,16348.2,22.0] p4(u) || r1(skc7,v) r1(skf34(v),u)*+ -> p3(u)*. % 26.87/27.18 18623[0:NCh:33.2,33.0,16242.2,22.0] p3(u) || r1(skc7,v) r1(skf34(v),u)*+ -> p4(u)*. % 26.87/27.18 18570[0:NCh:33.2,33.0,16189.2,23.0] p3(u) || r1(skc7,v) r1(skf33(v),u)*+ -> p2(u)*. % 26.87/27.18 8875[0:NCh:33.2,33.0,217.1,21.0] p2(u) || r1(skf35(v),u)*+ r1(skc7,skf33(v))*r -> p1(u)*. % 26.87/27.18 18517[0:NCh:33.2,33.0,16136.2,23.0] p2(u) || r1(skc7,v) r1(skf33(v),u)*+ -> p3(u)*. % 26.87/27.18 18334[0:Obv:18307.1] p19(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p18(u)*. % 26.87/27.18 18279[0:Obv:18252.1] p18(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p19(u)*. % 26.87/27.18 18199[0:NCh:33.2,33.0,15659.2,9.0] p18(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p17(u)*. % 26.87/27.18 8610[0:NCh:33.2,33.0,218.1,20.0] p2(u) || r1(skf36(v),u)*+ r1(skc7,skf34(v))*r -> p1(u)*. % 26.87/27.18 18093[0:NCh:33.2,33.0,15606.2,9.0] p17(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p18(u)*. % 26.87/27.18 18040[0:NCh:33.2,33.0,15553.2,10.0] p17(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p16(u)*. % 26.87/27.18 17987[0:NCh:33.2,33.0,15447.2,10.0] p16(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p17(u)*. % 26.87/27.18 17934[0:NCh:33.2,33.0,15394.2,11.0] p16(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p15(u)*. % 26.87/27.18 8345[0:NCh:33.2,33.0,219.1,19.0] p2(u) || r1(skf37(v),u)*+ r1(skc7,skf35(v))*r -> p1(u)*. % 26.87/27.18 17828[0:NCh:33.2,33.0,15341.2,11.0] p15(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p16(u)*. % 26.87/27.18 17775[0:NCh:33.2,33.0,15288.2,12.0] p15(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p14(u)*. % 26.87/27.18 17722[0:NCh:33.2,33.0,15182.2,12.0] p14(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p15(u)*. % 26.87/27.18 17669[0:NCh:33.2,33.0,15129.2,13.0] p14(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p13(u)*. % 26.87/27.18 8082[0:NCh:33.2,33.0,220.1,18.0] p2(u) || r1(skf38(v),u)*+ r1(skc7,skf36(v))*r -> p1(u)*. % 26.87/27.18 17563[0:NCh:33.2,33.0,15076.2,13.0] p13(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p14(u)*. % 26.87/27.18 17510[0:NCh:33.2,33.0,15023.2,14.0] p13(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p12(u)*. % 26.87/27.18 17457[0:NCh:33.2,33.0,14917.2,14.0] p12(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p13(u)*. % 26.87/27.18 17404[0:NCh:33.2,33.0,14864.2,15.0] p12(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p11(u)*. % 26.87/27.18 7815[0:NCh:33.2,33.0,221.1,17.0] p2(u) || r1(skf39(v),u)*+ r1(skc7,skf37(v))*r -> p1(u)*. % 26.87/27.18 17300[0:NCh:33.2,33.0,14811.2,15.0] p11(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p12(u)*. % 26.87/27.18 17247[0:NCh:33.2,33.0,14758.2,16.0] p11(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p10(u)*. % 26.87/27.18 17194[0:NCh:33.2,33.0,14652.2,16.0] p10(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p11(u)*. % 26.87/27.18 17141[0:NCh:33.2,33.0,14599.2,17.0] p10(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p9(u)*. % 26.87/27.18 7550[0:NCh:33.2,33.0,222.1,16.0] p2(u) || r1(skf40(v),u)*+ r1(skc7,skf38(v))*r -> p1(u)*. % 26.87/27.18 17037[0:NCh:33.2,33.0,14546.2,17.0] p9(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p10(u)*. % 26.87/27.18 16984[0:NCh:33.2,33.0,14493.2,18.0] p9(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p8(u)*. % 26.87/27.18 16931[0:NCh:33.2,33.0,14387.2,18.0] p8(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p9(u)*. % 26.87/27.18 16878[0:NCh:33.2,33.0,14334.2,19.0] p8(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p7(u)*. % 26.87/27.18 7285[0:NCh:33.2,33.0,223.1,15.0] p2(u) || r1(skf41(v),u)*+ r1(skc7,skf39(v))*r -> p1(u)*. % 26.87/27.18 16772[0:NCh:33.2,33.0,14281.2,19.0] p7(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p8(u)*. % 26.87/27.18 16719[0:NCh:33.2,33.0,14228.2,20.0] p7(u) || r1(skc7,v) r1(skf36(v),u)*+ -> p6(u)*. % 26.87/27.18 16666[0:NCh:33.2,33.0,14122.2,20.0] p6(u) || r1(skc7,v) r1(skf36(v),u)*+ -> p7(u)*. % 26.87/27.18 16613[0:NCh:33.2,33.0,14069.2,21.0] p6(u) || r1(skc7,v) r1(skf35(v),u)*+ -> p5(u)*. % 26.87/27.18 7020[0:NCh:33.2,33.0,224.1,14.0] p2(u) || r1(skf42(v),u)*+ r1(skc7,skf40(v))*r -> p1(u)*. % 26.87/27.18 16507[0:NCh:33.2,33.0,14016.2,21.0] p5(u) || r1(skc7,v) r1(skf35(v),u)*+ -> p6(u)*. % 26.87/27.18 16454[0:NCh:33.2,33.0,13963.2,22.0] p5(u) || r1(skc7,v) r1(skf34(v),u)*+ -> p4(u)*. % 26.87/27.18 16401[0:NCh:33.2,33.0,13857.2,22.0] p4(u) || r1(skc7,v) r1(skf34(v),u)*+ -> p5(u)*. % 26.87/27.18 16348[0:NCh:33.2,33.0,13804.2,23.0] p4(u) || r1(skc7,v) r1(skf33(v),u)*+ -> p3(u)*. % 26.87/27.18 6755[0:NCh:33.2,33.0,225.1,13.0] p2(u) || r1(skf43(v),u)*+ r1(skc7,skf41(v))*r -> p1(u)*. % 26.87/27.18 16242[0:NCh:33.2,33.0,13751.2,23.0] p3(u) || r1(skc7,v) r1(skf33(v),u)*+ -> p4(u)*. % 26.87/27.18 16189[0:NCh:33.2,33.0,13698.2,24.0] p3(u) || r1(skc7,v) r1(skf32(v),u)*+ -> p2(u)*. % 26.87/27.18 16136[0:NCh:33.2,33.0,13592.2,24.0] p2(u) || r1(skc7,v) r1(skf32(v),u)*+ -> p3(u)*. % 26.87/27.18 15953[0:Obv:15926.1] p20(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p19(u)*. % 26.87/27.18 6490[0:NCh:33.2,33.0,226.1,12.0] p2(u) || r1(skf44(v),u)*+ r1(skc7,skf42(v))*r -> p1(u)*. % 26.87/27.18 15898[0:Obv:15871.1] p19(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p20(u)*. % 26.87/27.18 15818[0:NCh:33.2,33.0,13168.2,9.0] p19(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p18(u)*. % 26.87/27.18 15712[0:NCh:33.2,33.0,13062.2,9.0] p18(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p19(u)*. % 26.87/27.18 15659[0:NCh:33.2,33.0,13009.2,10.0] p18(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p17(u)*. % 26.87/27.18 6225[0:NCh:33.2,33.0,227.1,11.0] p2(u) || r1(skf45(v),u)*+ r1(skc7,skf43(v))*r -> p1(u)*. % 26.87/27.18 15606[0:NCh:33.2,33.0,12956.2,10.0] p17(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p18(u)*. % 26.87/27.18 15553[0:NCh:33.2,33.0,12903.2,11.0] p17(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p16(u)*. % 26.87/27.18 15447[0:NCh:33.2,33.0,12797.2,11.0] p16(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p17(u)*. % 26.87/27.18 15394[0:NCh:33.2,33.0,12744.2,12.0] p16(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p15(u)*. % 26.87/27.18 5960[0:NCh:33.2,33.0,228.1,10.0] p2(u) || r1(skf46(v),u)*+ r1(skc7,skf44(v))*r -> p1(u)*. % 26.87/27.18 15341[0:NCh:33.2,33.0,12691.2,12.0] p15(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p16(u)*. % 26.87/27.18 15288[0:NCh:33.2,33.0,12638.2,13.0] p15(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p14(u)*. % 26.87/27.18 15182[0:NCh:33.2,33.0,12532.2,13.0] p14(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p15(u)*. % 26.87/27.18 15129[0:NCh:33.2,33.0,12479.2,14.0] p14(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p13(u)*. % 26.87/27.18 5695[0:NCh:33.2,33.0,229.1,9.0] p2(u) || r1(skf47(v),u)*+ r1(skc7,skf45(v))*r -> p1(u)*. % 26.87/27.18 15076[0:NCh:33.2,33.0,12426.2,14.0] p13(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p14(u)*. % 26.87/27.18 15023[0:NCh:33.2,33.0,12373.2,15.0] p13(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p12(u)*. % 26.87/27.18 14917[0:NCh:33.2,33.0,12267.2,15.0] p12(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p13(u)*. % 26.87/27.18 14864[0:NCh:33.2,33.0,12214.2,16.0] p12(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p11(u)*. % 26.87/27.18 336[0:NCh:33.2,33.0,35.1,32.1] p1(u) || r1(skf48(v),u)*+ r1(skc7,skf47(v))*r r1(skc7,v) -> p2(u)*. % 26.87/27.18 14811[0:NCh:33.2,33.0,12161.2,16.0] p11(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p12(u)*. % 26.87/27.18 14758[0:NCh:33.2,33.0,12108.2,17.0] p11(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p10(u)*. % 26.87/27.18 14652[0:NCh:33.2,33.0,12002.2,17.0] p10(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p11(u)*. % 26.87/27.18 14599[0:NCh:33.2,33.0,11949.2,18.0] p10(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p9(u)*. % 26.87/27.18 231[0:NCh:33.2,33.0,34.1,32.1] p2(u) || r1(skf48(v),u)*+ r1(skc7,skf47(v))*r r1(skc7,v) -> p1(u)*. % 26.87/27.18 14546[0:NCh:33.2,33.0,11896.2,18.0] p9(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p10(u)*. % 26.87/27.18 14493[0:NCh:33.2,33.0,11843.2,19.0] p9(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p8(u)*. % 26.87/27.18 14387[0:NCh:33.2,33.0,11737.2,19.0] p8(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p9(u)*. % 26.87/27.18 14334[0:NCh:33.2,33.0,11684.2,20.0] p8(u) || r1(skc7,v) r1(skf36(v),u)*+ -> p7(u)*. % 26.87/27.18 314[0:NCh:33.2,33.0,35.1,30.0] p1(u) || r1(skf26(v),u)*+ r1(skc7,skf25(v))*r -> p2(u)*. % 26.87/27.18 14281[0:NCh:33.2,33.0,11631.2,20.0] p7(u) || r1(skc7,v) r1(skf36(v),u)*+ -> p8(u)*. % 26.87/27.18 14228[0:NCh:33.2,33.0,11578.2,21.0] p7(u) || r1(skc7,v) r1(skf35(v),u)*+ -> p6(u)*. % 26.87/27.18 14122[0:NCh:33.2,33.0,11472.2,21.0] p6(u) || r1(skc7,v) r1(skf35(v),u)*+ -> p7(u)*. % 26.87/27.18 14069[0:NCh:33.2,33.0,11419.2,22.0] p6(u) || r1(skc7,v) r1(skf34(v),u)*+ -> p5(u)*. % 26.87/27.18 315[0:NCh:33.2,33.0,35.1,29.0] p1(u) || r1(skf27(v),u)*+ r1(skc7,skf26(v))*r -> p2(u)*. % 26.87/27.18 14016[0:NCh:33.2,33.0,11366.2,22.0] p5(u) || r1(skc7,v) r1(skf34(v),u)*+ -> p6(u)*. % 26.87/27.18 13963[0:NCh:33.2,33.0,11313.2,23.0] p5(u) || r1(skc7,v) r1(skf33(v),u)*+ -> p4(u)*. % 26.87/27.18 13857[0:NCh:33.2,33.0,11207.2,23.0] p4(u) || r1(skc7,v) r1(skf33(v),u)*+ -> p5(u)*. % 26.87/27.18 13804[0:NCh:33.2,33.0,11154.2,24.0] p4(u) || r1(skc7,v) r1(skf32(v),u)*+ -> p3(u)*. % 26.87/27.18 316[0:NCh:33.2,33.0,35.1,28.0] p1(u) || r1(skf28(v),u)*+ r1(skc7,skf27(v))*r -> p2(u)*. % 26.87/27.18 13751[0:NCh:33.2,33.0,11101.2,24.0] p3(u) || r1(skc7,v) r1(skf32(v),u)*+ -> p4(u)*. % 26.87/27.18 13698[0:NCh:33.2,33.0,11048.2,25.0] p3(u) || r1(skc7,v) r1(skf31(v),u)*+ -> p2(u)*. % 26.87/27.18 13592[0:NCh:33.2,33.0,10942.2,25.0] p2(u) || r1(skc7,v) r1(skf31(v),u)*+ -> p3(u)*. % 26.87/27.18 13462[0:Obv:13435.1] p21(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p20(u)*. % 26.87/27.18 317[0:NCh:33.2,33.0,35.1,27.0] p1(u) || r1(skf29(v),u)*+ r1(skc7,skf28(v))*r -> p2(u)*. % 26.87/27.18 13354[0:Obv:13327.1] p20(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p21(u)*. % 26.87/27.18 13274[0:NCh:33.2,33.0,10518.2,9.0] p20(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p19(u)*. % 26.87/27.18 13221[0:NCh:33.2,33.0,10412.2,9.0] p19(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p20(u)*. % 26.87/27.18 13168[0:NCh:33.2,33.0,10359.2,10.0] p19(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p18(u)*. % 26.87/27.18 318[0:NCh:33.2,33.0,35.1,26.0] p1(u) || r1(skf30(v),u)*+ r1(skc7,skf29(v))*r -> p2(u)*. % 26.87/27.18 13062[0:NCh:33.2,33.0,10306.2,10.0] p18(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p19(u)*. % 26.87/27.18 13009[0:NCh:33.2,33.0,10253.2,11.0] p18(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p17(u)*. % 26.87/27.18 12956[0:NCh:33.2,33.0,10147.2,11.0] p17(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p18(u)*. % 26.87/27.18 12903[0:NCh:33.2,33.0,10094.2,12.0] p17(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p16(u)*. % 26.87/27.18 319[0:NCh:33.2,33.0,35.1,25.0] p1(u) || r1(skf31(v),u)*+ r1(skc7,skf30(v))*r -> p2(u)*. % 26.87/27.18 12797[0:NCh:33.2,33.0,10041.2,12.0] p16(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p17(u)*. % 26.87/27.18 12744[0:NCh:33.2,33.0,9988.2,13.0] p16(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p15(u)*. % 26.87/27.18 12691[0:NCh:33.2,33.0,9882.2,13.0] p15(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p16(u)*. % 26.87/27.18 12638[0:NCh:33.2,33.0,9829.2,14.0] p15(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p14(u)*. % 26.87/27.18 320[0:NCh:33.2,33.0,35.1,24.0] p1(u) || r1(skf32(v),u)*+ r1(skc7,skf31(v))*r -> p2(u)*. % 26.87/27.18 12532[0:NCh:33.2,33.0,9776.2,14.0] p14(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p15(u)*. % 26.87/27.18 12479[0:NCh:33.2,33.0,9723.2,15.0] p14(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p13(u)*. % 26.87/27.18 12426[0:NCh:33.2,33.0,9617.2,15.0] p13(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p14(u)*. % 26.87/27.18 12373[0:NCh:33.2,33.0,9564.2,16.0] p13(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p12(u)*. % 26.87/27.18 321[0:NCh:33.2,33.0,35.1,23.0] p1(u) || r1(skf33(v),u)*+ r1(skc7,skf32(v))*r -> p2(u)*. % 26.87/27.18 12267[0:NCh:33.2,33.0,9511.2,16.0] p12(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p13(u)*. % 26.87/27.18 12214[0:NCh:33.2,33.0,9458.2,17.0] p12(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p11(u)*. % 26.87/27.18 12161[0:NCh:33.2,33.0,9352.2,17.0] p11(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p12(u)*. % 26.87/27.18 12108[0:NCh:33.2,33.0,9299.2,18.0] p11(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p10(u)*. % 26.87/27.18 322[0:NCh:33.2,33.0,35.1,22.0] p1(u) || r1(skf34(v),u)*+ r1(skc7,skf33(v))*r -> p2(u)*. % 26.87/27.18 12002[0:NCh:33.2,33.0,9246.2,18.0] p10(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p11(u)*. % 26.87/27.18 11949[0:NCh:33.2,33.0,9193.2,19.0] p10(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p9(u)*. % 26.87/27.18 11896[0:NCh:33.2,33.0,9087.2,19.0] p9(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p10(u)*. % 26.87/27.18 11843[0:NCh:33.2,33.0,9034.2,20.0] p9(u) || r1(skc7,v) r1(skf36(v),u)*+ -> p8(u)*. % 26.87/27.18 323[0:NCh:33.2,33.0,35.1,21.0] p1(u) || r1(skf35(v),u)*+ r1(skc7,skf34(v))*r -> p2(u)*. % 26.87/27.18 11737[0:NCh:33.2,33.0,8981.2,20.0] p8(u) || r1(skc7,v) r1(skf36(v),u)*+ -> p9(u)*. % 26.87/27.18 11684[0:NCh:33.2,33.0,8928.2,21.0] p8(u) || r1(skc7,v) r1(skf35(v),u)*+ -> p7(u)*. % 26.87/27.18 11631[0:NCh:33.2,33.0,8822.2,21.0] p7(u) || r1(skc7,v) r1(skf35(v),u)*+ -> p8(u)*. % 26.87/27.18 11578[0:NCh:33.2,33.0,8769.2,22.0] p7(u) || r1(skc7,v) r1(skf34(v),u)*+ -> p6(u)*. % 26.87/27.18 324[0:NCh:33.2,33.0,35.1,20.0] p1(u) || r1(skf36(v),u)*+ r1(skc7,skf35(v))*r -> p2(u)*. % 26.87/27.18 11472[0:NCh:33.2,33.0,8716.2,22.0] p6(u) || r1(skc7,v) r1(skf34(v),u)*+ -> p7(u)*. % 26.87/27.18 11419[0:NCh:33.2,33.0,8663.2,23.0] p6(u) || r1(skc7,v) r1(skf33(v),u)*+ -> p5(u)*. % 26.87/27.18 11366[0:NCh:33.2,33.0,8557.2,23.0] p5(u) || r1(skc7,v) r1(skf33(v),u)*+ -> p6(u)*. % 26.87/27.18 11313[0:NCh:33.2,33.0,8504.2,24.0] p5(u) || r1(skc7,v) r1(skf32(v),u)*+ -> p4(u)*. % 26.87/27.18 325[0:NCh:33.2,33.0,35.1,19.0] p1(u) || r1(skf37(v),u)*+ r1(skc7,skf36(v))*r -> p2(u)*. % 26.87/27.18 11207[0:NCh:33.2,33.0,8451.2,24.0] p4(u) || r1(skc7,v) r1(skf32(v),u)*+ -> p5(u)*. % 26.87/27.18 11154[0:NCh:33.2,33.0,8398.2,25.0] p4(u) || r1(skc7,v) r1(skf31(v),u)*+ -> p3(u)*. % 26.87/27.18 11101[0:NCh:33.2,33.0,8292.2,25.0] p3(u) || r1(skc7,v) r1(skf31(v),u)*+ -> p4(u)*. % 26.87/27.18 11048[0:NCh:33.2,33.0,8239.2,26.0] p3(u) || r1(skc7,v) r1(skf30(v),u)*+ -> p2(u)*. % 26.87/27.18 326[0:NCh:33.2,33.0,35.1,18.0] p1(u) || r1(skf38(v),u)*+ r1(skc7,skf37(v))*r -> p2(u)*. % 26.87/27.18 10942[0:NCh:33.2,33.0,8186.2,26.0] p2(u) || r1(skc7,v) r1(skf30(v),u)*+ -> p3(u)*. % 26.87/27.18 10812[0:Obv:10785.1] p22(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p21(u)*. % 26.87/27.18 10704[0:Obv:10677.1] p21(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p22(u)*. % 26.87/27.18 10624[0:NCh:33.2,33.0,7709.2,9.0] p21(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p20(u)*. % 26.87/27.18 327[0:NCh:33.2,33.0,35.1,17.0] p1(u) || r1(skf39(v),u)*+ r1(skc7,skf38(v))*r -> p2(u)*. % 26.87/27.18 10571[0:NCh:33.2,33.0,7656.2,9.0] p20(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p21(u)*. % 26.87/27.18 10518[0:NCh:33.2,33.0,7603.2,10.0] p20(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p19(u)*. % 26.87/27.18 10412[0:NCh:33.2,33.0,7497.2,10.0] p19(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p20(u)*. % 26.87/27.18 10359[0:NCh:33.2,33.0,7444.2,11.0] p19(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p18(u)*. % 26.87/27.18 328[0:NCh:33.2,33.0,35.1,16.0] p1(u) || r1(skf40(v),u)*+ r1(skc7,skf39(v))*r -> p2(u)*. % 26.87/27.18 10306[0:NCh:33.2,33.0,7391.2,11.0] p18(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p19(u)*. % 26.87/27.18 10253[0:NCh:33.2,33.0,7338.2,12.0] p18(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p17(u)*. % 26.87/27.18 10147[0:NCh:33.2,33.0,7232.2,12.0] p17(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p18(u)*. % 26.87/27.18 10094[0:NCh:33.2,33.0,7179.2,13.0] p17(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p16(u)*. % 26.87/27.18 329[0:NCh:33.2,33.0,35.1,15.0] p1(u) || r1(skf41(v),u)*+ r1(skc7,skf40(v))*r -> p2(u)*. % 26.87/27.18 10041[0:NCh:33.2,33.0,7126.2,13.0] p16(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p17(u)*. % 26.87/27.18 9988[0:NCh:33.2,33.0,7073.2,14.0] p16(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p15(u)*. % 26.87/27.18 9882[0:NCh:33.2,33.0,6967.2,14.0] p15(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p16(u)*. % 26.87/27.18 9829[0:NCh:33.2,33.0,6914.2,15.0] p15(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p14(u)*. % 26.87/27.18 330[0:NCh:33.2,33.0,35.1,14.0] p1(u) || r1(skf42(v),u)*+ r1(skc7,skf41(v))*r -> p2(u)*. % 26.87/27.18 9776[0:NCh:33.2,33.0,6861.2,15.0] p14(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p15(u)*. % 26.87/27.18 9723[0:NCh:33.2,33.0,6808.2,16.0] p14(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p13(u)*. % 26.87/27.18 9617[0:NCh:33.2,33.0,6702.2,16.0] p13(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p14(u)*. % 26.87/27.18 9564[0:NCh:33.2,33.0,6649.2,17.0] p13(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p12(u)*. % 26.87/27.18 331[0:NCh:33.2,33.0,35.1,13.0] p1(u) || r1(skf43(v),u)*+ r1(skc7,skf42(v))*r -> p2(u)*. % 26.87/27.18 9511[0:NCh:33.2,33.0,6596.2,17.0] p12(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p13(u)*. % 26.87/27.18 9458[0:NCh:33.2,33.0,6543.2,18.0] p12(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p11(u)*. % 26.87/27.18 9352[0:NCh:33.2,33.0,6437.2,18.0] p11(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p12(u)*. % 26.87/27.18 9299[0:NCh:33.2,33.0,6384.2,19.0] p11(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p10(u)*. % 26.87/27.18 332[0:NCh:33.2,33.0,35.1,12.0] p1(u) || r1(skf44(v),u)*+ r1(skc7,skf43(v))*r -> p2(u)*. % 26.87/27.18 9246[0:NCh:33.2,33.0,6331.2,19.0] p10(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p11(u)*. % 26.87/27.18 9193[0:NCh:33.2,33.0,6278.2,20.0] p10(u) || r1(skc7,v) r1(skf36(v),u)*+ -> p9(u)*. % 26.87/27.18 9087[0:NCh:33.2,33.0,6172.2,20.0] p9(u) || r1(skc7,v) r1(skf36(v),u)*+ -> p10(u)*. % 26.87/27.18 9034[0:NCh:33.2,33.0,6119.2,21.0] p9(u) || r1(skc7,v) r1(skf35(v),u)*+ -> p8(u)*. % 26.87/27.18 333[0:NCh:33.2,33.0,35.1,11.0] p1(u) || r1(skf45(v),u)*+ r1(skc7,skf44(v))*r -> p2(u)*. % 26.87/27.18 8981[0:NCh:33.2,33.0,6066.2,21.0] p8(u) || r1(skc7,v) r1(skf35(v),u)*+ -> p9(u)*. % 26.87/27.18 8928[0:NCh:33.2,33.0,6013.2,22.0] p8(u) || r1(skc7,v) r1(skf34(v),u)*+ -> p7(u)*. % 26.87/27.18 8822[0:NCh:33.2,33.0,5907.2,22.0] p7(u) || r1(skc7,v) r1(skf34(v),u)*+ -> p8(u)*. % 26.87/27.18 8769[0:NCh:33.2,33.0,5854.2,23.0] p7(u) || r1(skc7,v) r1(skf33(v),u)*+ -> p6(u)*. % 26.87/27.18 334[0:NCh:33.2,33.0,35.1,10.0] p1(u) || r1(skf46(v),u)*+ r1(skc7,skf45(v))*r -> p2(u)*. % 26.87/27.18 8716[0:NCh:33.2,33.0,5801.2,23.0] p6(u) || r1(skc7,v) r1(skf33(v),u)*+ -> p7(u)*. % 26.87/27.18 8663[0:NCh:33.2,33.0,5748.2,24.0] p6(u) || r1(skc7,v) r1(skf32(v),u)*+ -> p5(u)*. % 26.87/27.18 8557[0:NCh:33.2,33.0,5642.2,24.0] p5(u) || r1(skc7,v) r1(skf32(v),u)*+ -> p6(u)*. % 26.87/27.18 8504[0:NCh:33.2,33.0,5589.2,25.0] p5(u) || r1(skc7,v) r1(skf31(v),u)*+ -> p4(u)*. % 26.87/27.18 335[0:NCh:33.2,33.0,35.1,9.0] p1(u) || r1(skf47(v),u)*+ r1(skc7,skf46(v))*r -> p2(u)*. % 26.87/27.18 8451[0:NCh:33.2,33.0,5536.2,25.0] p4(u) || r1(skc7,v) r1(skf31(v),u)*+ -> p5(u)*. % 26.87/27.18 8398[0:NCh:33.2,33.0,5483.2,26.0] p4(u) || r1(skc7,v) r1(skf30(v),u)*+ -> p3(u)*. % 26.87/27.18 8292[0:NCh:33.2,33.0,5377.2,26.0] p3(u) || r1(skc7,v) r1(skf30(v),u)*+ -> p4(u)*. % 26.87/27.18 8239[0:NCh:33.2,33.0,5324.2,27.0] p3(u) || r1(skc7,v) r1(skf29(v),u)*+ -> p2(u)*. % 26.87/27.18 209[0:NCh:33.2,33.0,34.1,30.0] p2(u) || r1(skf26(v),u)*+ r1(skc7,skf25(v))*r -> p1(u)*. % 26.87/27.18 8186[0:NCh:33.2,33.0,5271.2,27.0] p2(u) || r1(skc7,v) r1(skf29(v),u)*+ -> p3(u)*. % 26.87/27.18 8003[0:Obv:7976.1] p23(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p22(u)*. % 26.87/27.18 7948[0:Obv:7921.1] p22(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p23(u)*. % 26.87/27.18 7868[0:NCh:33.2,33.0,5002.2,9.0] p22(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p21(u)*. % 26.87/27.18 210[0:NCh:33.2,33.0,34.1,29.0] p2(u) || r1(skf27(v),u)*+ r1(skc7,skf26(v))*r -> p1(u)*. % 26.87/27.18 7762[0:NCh:33.2,33.0,4949.2,9.0] p21(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p22(u)*. % 26.87/27.18 7709[0:NCh:33.2,33.0,4896.2,10.0] p21(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p20(u)*. % 26.87/27.18 7656[0:NCh:33.2,33.0,4843.2,10.0] p20(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p21(u)*. % 26.87/27.18 7603[0:NCh:33.2,33.0,4790.2,11.0] p20(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p19(u)*. % 26.87/27.18 211[0:NCh:33.2,33.0,34.1,28.0] p2(u) || r1(skf28(v),u)*+ r1(skc7,skf27(v))*r -> p1(u)*. % 26.87/27.18 7497[0:NCh:33.2,33.0,4737.2,11.0] p19(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p20(u)*. % 26.87/27.18 7444[0:NCh:33.2,33.0,4684.2,12.0] p19(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p18(u)*. % 26.87/27.18 7391[0:NCh:33.2,33.0,4631.2,12.0] p18(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p19(u)*. % 26.87/27.18 7338[0:NCh:33.2,33.0,4578.2,13.0] p18(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p17(u)*. % 26.87/27.18 212[0:NCh:33.2,33.0,34.1,27.0] p2(u) || r1(skf29(v),u)*+ r1(skc7,skf28(v))*r -> p1(u)*. % 26.87/27.18 7232[0:NCh:33.2,33.0,4525.2,13.0] p17(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p18(u)*. % 26.87/27.18 7179[0:NCh:33.2,33.0,4472.2,14.0] p17(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p16(u)*. % 26.87/27.18 7126[0:NCh:33.2,33.0,4419.2,14.0] p16(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p17(u)*. % 26.87/27.18 7073[0:NCh:33.2,33.0,4366.2,15.0] p16(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p15(u)*. % 26.87/27.18 213[0:NCh:33.2,33.0,34.1,26.0] p2(u) || r1(skf30(v),u)*+ r1(skc7,skf29(v))*r -> p1(u)*. % 26.87/27.18 6967[0:NCh:33.2,33.0,4313.2,15.0] p15(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p16(u)*. % 26.87/27.18 6914[0:NCh:33.2,33.0,4260.2,16.0] p15(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p14(u)*. % 26.87/27.18 6861[0:NCh:33.2,33.0,4207.2,16.0] p14(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p15(u)*. % 26.87/27.18 6808[0:NCh:33.2,33.0,4154.2,17.0] p14(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p13(u)*. % 26.87/27.18 214[0:NCh:33.2,33.0,34.1,25.0] p2(u) || r1(skf31(v),u)*+ r1(skc7,skf30(v))*r -> p1(u)*. % 26.87/27.18 6702[0:NCh:33.2,33.0,4101.2,17.0] p13(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p14(u)*. % 26.87/27.18 6649[0:NCh:33.2,33.0,4048.2,18.0] p13(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p12(u)*. % 26.87/27.18 6596[0:NCh:33.2,33.0,3995.2,18.0] p12(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p13(u)*. % 26.87/27.18 6543[0:NCh:33.2,33.0,3942.2,19.0] p12(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p11(u)*. % 26.87/27.18 215[0:NCh:33.2,33.0,34.1,24.0] p2(u) || r1(skf32(v),u)*+ r1(skc7,skf31(v))*r -> p1(u)*. % 26.87/27.18 6437[0:NCh:33.2,33.0,3889.2,19.0] p11(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p12(u)*. % 26.87/27.18 6384[0:NCh:33.2,33.0,3836.2,20.0] p11(u) || r1(skc7,v) r1(skf36(v),u)*+ -> p10(u)*. % 26.87/27.18 6331[0:NCh:33.2,33.0,3783.2,20.0] p10(u) || r1(skc7,v) r1(skf36(v),u)*+ -> p11(u)*. % 26.87/27.18 6278[0:NCh:33.2,33.0,3730.2,21.0] p10(u) || r1(skc7,v) r1(skf35(v),u)*+ -> p9(u)*. % 26.87/27.18 216[0:NCh:33.2,33.0,34.1,23.0] p2(u) || r1(skf33(v),u)*+ r1(skc7,skf32(v))*r -> p1(u)*. % 26.87/27.18 6172[0:NCh:33.2,33.0,3677.2,21.0] p9(u) || r1(skc7,v) r1(skf35(v),u)*+ -> p10(u)*. % 26.87/27.18 6119[0:NCh:33.2,33.0,3624.2,22.0] p9(u) || r1(skc7,v) r1(skf34(v),u)*+ -> p8(u)*. % 26.87/27.18 6066[0:NCh:33.2,33.0,3571.2,22.0] p8(u) || r1(skc7,v) r1(skf34(v),u)*+ -> p9(u)*. % 26.87/27.18 6013[0:NCh:33.2,33.0,3518.2,23.0] p8(u) || r1(skc7,v) r1(skf33(v),u)*+ -> p7(u)*. % 26.87/27.18 217[0:NCh:33.2,33.0,34.1,22.0] p2(u) || r1(skf34(v),u)*+ r1(skc7,skf33(v))*r -> p1(u)*. % 26.87/27.18 5907[0:NCh:33.2,33.0,3465.2,23.0] p7(u) || r1(skc7,v) r1(skf33(v),u)*+ -> p8(u)*. % 26.87/27.18 5854[0:NCh:33.2,33.0,3412.2,24.0] p7(u) || r1(skc7,v) r1(skf32(v),u)*+ -> p6(u)*. % 26.87/27.18 5801[0:NCh:33.2,33.0,3359.2,24.0] p6(u) || r1(skc7,v) r1(skf32(v),u)*+ -> p7(u)*. % 26.87/27.18 5748[0:NCh:33.2,33.0,3306.2,25.0] p6(u) || r1(skc7,v) r1(skf31(v),u)*+ -> p5(u)*. % 26.87/27.18 218[0:NCh:33.2,33.0,34.1,21.0] p2(u) || r1(skf35(v),u)*+ r1(skc7,skf34(v))*r -> p1(u)*. % 26.87/27.18 5642[0:NCh:33.2,33.0,3253.2,25.0] p5(u) || r1(skc7,v) r1(skf31(v),u)*+ -> p6(u)*. % 26.87/27.18 5589[0:NCh:33.2,33.0,3200.2,26.0] p5(u) || r1(skc7,v) r1(skf30(v),u)*+ -> p4(u)*. % 26.87/27.18 5536[0:NCh:33.2,33.0,3147.2,26.0] p4(u) || r1(skc7,v) r1(skf30(v),u)*+ -> p5(u)*. % 26.87/27.18 5483[0:NCh:33.2,33.0,3094.2,27.0] p4(u) || r1(skc7,v) r1(skf29(v),u)*+ -> p3(u)*. % 26.87/27.18 219[0:NCh:33.2,33.0,34.1,20.0] p2(u) || r1(skf36(v),u)*+ r1(skc7,skf35(v))*r -> p1(u)*. % 26.87/27.18 5377[0:NCh:33.2,33.0,3041.2,27.0] p3(u) || r1(skc7,v) r1(skf29(v),u)*+ -> p4(u)*. % 26.87/27.18 5324[0:NCh:33.2,33.0,2988.2,28.0] p3(u) || r1(skc7,v) r1(skf28(v),u)*+ -> p2(u)*. % 26.87/27.18 5271[0:NCh:33.2,33.0,2935.2,28.0] p2(u) || r1(skc7,v) r1(skf28(v),u)*+ -> p3(u)*. % 26.87/27.18 5243[0:Obv:5216.1] p24(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p23(u)*. % 26.87/27.18 220[0:NCh:33.2,33.0,34.1,19.0] p2(u) || r1(skf37(v),u)*+ r1(skc7,skf36(v))*r -> p1(u)*. % 26.87/27.18 5188[0:Obv:5161.1] p23(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p24(u)*. % 26.87/27.18 5108[0:NCh:33.2,33.0,2674.2,9.0] p23(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p22(u)*. % 26.87/27.18 5055[0:NCh:33.2,33.0,2621.2,9.0] p22(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p23(u)*. % 26.87/27.18 5002[0:NCh:33.2,33.0,2568.2,10.0] p22(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p21(u)*. % 26.87/27.18 221[0:NCh:33.2,33.0,34.1,18.0] p2(u) || r1(skf38(v),u)*+ r1(skc7,skf37(v))*r -> p1(u)*. % 26.87/27.18 4949[0:NCh:33.2,33.0,2515.2,10.0] p21(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p22(u)*. % 26.87/27.18 4896[0:NCh:33.2,33.0,2462.2,11.0] p21(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p20(u)*. % 26.87/27.18 4843[0:NCh:33.2,33.0,2409.2,11.0] p20(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p21(u)*. % 26.87/27.18 4790[0:NCh:33.2,33.0,2356.2,12.0] p20(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p19(u)*. % 26.87/27.18 222[0:NCh:33.2,33.0,34.1,17.0] p2(u) || r1(skf39(v),u)*+ r1(skc7,skf38(v))*r -> p1(u)*. % 26.87/27.18 4737[0:NCh:33.2,33.0,2303.2,12.0] p19(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p20(u)*. % 26.87/27.18 4684[0:NCh:33.2,33.0,2250.2,13.0] p19(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p18(u)*. % 26.87/27.18 4631[0:NCh:33.2,33.0,2197.2,13.0] p18(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p19(u)*. % 26.87/27.18 4578[0:NCh:33.2,33.0,2144.2,14.0] p18(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p17(u)*. % 26.87/27.18 223[0:NCh:33.2,33.0,34.1,16.0] p2(u) || r1(skf40(v),u)*+ r1(skc7,skf39(v))*r -> p1(u)*. % 26.87/27.18 4525[0:NCh:33.2,33.0,2091.2,14.0] p17(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p18(u)*. % 26.87/27.18 4472[0:NCh:33.2,33.0,2038.2,15.0] p17(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p16(u)*. % 26.87/27.18 4419[0:NCh:33.2,33.0,1985.2,15.0] p16(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p17(u)*. % 26.87/27.18 4366[0:NCh:33.2,33.0,1932.2,16.0] p16(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p15(u)*. % 26.87/27.18 224[0:NCh:33.2,33.0,34.1,15.0] p2(u) || r1(skf41(v),u)*+ r1(skc7,skf40(v))*r -> p1(u)*. % 26.87/27.18 4313[0:NCh:33.2,33.0,1879.2,16.0] p15(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p16(u)*. % 26.87/27.18 4260[0:NCh:33.2,33.0,1826.2,17.0] p15(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p14(u)*. % 26.87/27.18 4207[0:NCh:33.2,33.0,1773.2,17.0] p14(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p15(u)*. % 26.87/27.18 4154[0:NCh:33.2,33.0,1720.2,18.0] p14(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p13(u)*. % 26.87/27.18 225[0:NCh:33.2,33.0,34.1,14.0] p2(u) || r1(skf42(v),u)*+ r1(skc7,skf41(v))*r -> p1(u)*. % 26.87/27.18 4101[0:NCh:33.2,33.0,1667.2,18.0] p13(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p14(u)*. % 26.87/27.18 4048[0:NCh:33.2,33.0,1614.2,19.0] p13(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p12(u)*. % 26.87/27.18 3995[0:NCh:33.2,33.0,1561.2,19.0] p12(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p13(u)*. % 26.87/27.18 3942[0:NCh:33.2,33.0,1508.2,20.0] p12(u) || r1(skc7,v) r1(skf36(v),u)*+ -> p11(u)*. % 26.87/27.18 226[0:NCh:33.2,33.0,34.1,13.0] p2(u) || r1(skf43(v),u)*+ r1(skc7,skf42(v))*r -> p1(u)*. % 26.87/27.18 3889[0:NCh:33.2,33.0,1455.2,20.0] p11(u) || r1(skc7,v) r1(skf36(v),u)*+ -> p12(u)*. % 26.87/27.18 3836[0:NCh:33.2,33.0,1402.2,21.0] p11(u) || r1(skc7,v) r1(skf35(v),u)*+ -> p10(u)*. % 26.87/27.18 3783[0:NCh:33.2,33.0,1349.2,21.0] p10(u) || r1(skc7,v) r1(skf35(v),u)*+ -> p11(u)*. % 26.87/27.18 3730[0:NCh:33.2,33.0,1296.2,22.0] p10(u) || r1(skc7,v) r1(skf34(v),u)*+ -> p9(u)*. % 26.87/27.18 227[0:NCh:33.2,33.0,34.1,12.0] p2(u) || r1(skf44(v),u)*+ r1(skc7,skf43(v))*r -> p1(u)*. % 26.87/27.18 3677[0:NCh:33.2,33.0,1243.2,22.0] p9(u) || r1(skc7,v) r1(skf34(v),u)*+ -> p10(u)*. % 26.87/27.18 3624[0:NCh:33.2,33.0,1190.2,23.0] p9(u) || r1(skc7,v) r1(skf33(v),u)*+ -> p8(u)*. % 26.87/27.18 3571[0:NCh:33.2,33.0,1137.2,23.0] p8(u) || r1(skc7,v) r1(skf33(v),u)*+ -> p9(u)*. % 26.87/27.18 3518[0:NCh:33.2,33.0,1084.2,24.0] p8(u) || r1(skc7,v) r1(skf32(v),u)*+ -> p7(u)*. % 26.87/27.18 228[0:NCh:33.2,33.0,34.1,11.0] p2(u) || r1(skf45(v),u)*+ r1(skc7,skf44(v))*r -> p1(u)*. % 26.87/27.18 3465[0:NCh:33.2,33.0,1031.2,24.0] p7(u) || r1(skc7,v) r1(skf32(v),u)*+ -> p8(u)*. % 26.87/27.18 3412[0:NCh:33.2,33.0,978.2,25.0] p7(u) || r1(skc7,v) r1(skf31(v),u)*+ -> p6(u)*. % 26.87/27.18 3359[0:NCh:33.2,33.0,925.2,25.0] p6(u) || r1(skc7,v) r1(skf31(v),u)*+ -> p7(u)*. % 26.87/27.18 3306[0:NCh:33.2,33.0,872.2,26.0] p6(u) || r1(skc7,v) r1(skf30(v),u)*+ -> p5(u)*. % 26.87/27.18 229[0:NCh:33.2,33.0,34.1,10.0] p2(u) || r1(skf46(v),u)*+ r1(skc7,skf45(v))*r -> p1(u)*. % 26.87/27.18 3253[0:NCh:33.2,33.0,819.2,26.0] p5(u) || r1(skc7,v) r1(skf30(v),u)*+ -> p6(u)*. % 26.87/27.18 3200[0:NCh:33.2,33.0,766.2,27.0] p5(u) || r1(skc7,v) r1(skf29(v),u)*+ -> p4(u)*. % 26.87/27.18 3147[0:NCh:33.2,33.0,713.2,27.0] p4(u) || r1(skc7,v) r1(skf29(v),u)*+ -> p5(u)*. % 26.87/27.18 3094[0:NCh:33.2,33.0,660.2,28.0] p4(u) || r1(skc7,v) r1(skf28(v),u)*+ -> p3(u)*. % 26.87/27.18 230[0:NCh:33.2,33.0,34.1,9.0] p2(u) || r1(skf47(v),u)*+ r1(skc7,skf46(v))*r -> p1(u)*. % 26.87/27.18 3041[0:NCh:33.2,33.0,607.2,28.0] p3(u) || r1(skc7,v) r1(skf28(v),u)*+ -> p4(u)*. % 26.87/27.18 2988[0:NCh:33.2,33.0,554.2,29.0] p3(u) || r1(skc7,v) r1(skf27(v),u)*+ -> p2(u)*. % 26.87/27.18 2935[0:NCh:33.2,33.0,501.2,29.0] p2(u) || r1(skc7,v) r1(skf27(v),u)*+ -> p3(u)*. % 26.87/27.18 2780[0:NCh:33.2,33.0,38.2,9.0] p24(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p23(u)*. % 26.87/27.18 2727[0:NCh:33.2,33.0,39.2,9.0] p23(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p24(u)*. % 26.87/27.18 2674[0:NCh:33.2,33.0,40.2,10.0] p23(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p22(u)*. % 26.87/27.18 2621[0:NCh:33.2,33.0,41.2,10.0] p22(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p23(u)*. % 26.87/27.18 2568[0:NCh:33.2,33.0,42.2,11.0] p22(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p21(u)*. % 26.87/27.18 2515[0:NCh:33.2,33.0,43.2,11.0] p21(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p22(u)*. % 26.87/27.18 2462[0:NCh:33.2,33.0,44.2,12.0] p21(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p20(u)*. % 26.87/27.18 2409[0:NCh:33.2,33.0,45.2,12.0] p20(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p21(u)*. % 26.87/27.18 2356[0:NCh:33.2,33.0,46.2,13.0] p20(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p19(u)*. % 26.87/27.18 2303[0:NCh:33.2,33.0,47.2,13.0] p19(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p20(u)*. % 26.87/27.18 2250[0:NCh:33.2,33.0,48.2,14.0] p19(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p18(u)*. % 26.87/27.18 2197[0:NCh:33.2,33.0,49.2,14.0] p18(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p19(u)*. % 26.87/27.18 2144[0:NCh:33.2,33.0,50.2,15.0] p18(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p17(u)*. % 26.87/27.18 2091[0:NCh:33.2,33.0,51.2,15.0] p17(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p18(u)*. % 26.87/27.18 2038[0:NCh:33.2,33.0,52.2,16.0] p17(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p16(u)*. % 26.87/27.18 1985[0:NCh:33.2,33.0,53.2,16.0] p16(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p17(u)*. % 26.87/27.18 1932[0:NCh:33.2,33.0,54.2,17.0] p16(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p15(u)*. % 26.87/27.18 1879[0:NCh:33.2,33.0,55.2,17.0] p15(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p16(u)*. % 26.87/27.18 1826[0:NCh:33.2,33.0,56.2,18.0] p15(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p14(u)*. % 26.87/27.18 1773[0:NCh:33.2,33.0,57.2,18.0] p14(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p15(u)*. % 26.87/27.18 1720[0:NCh:33.2,33.0,58.2,19.0] p14(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p13(u)*. % 26.87/27.18 1667[0:NCh:33.2,33.0,59.2,19.0] p13(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p14(u)*. % 26.87/27.18 1614[0:NCh:33.2,33.0,60.2,20.0] p13(u) || r1(skc7,v) r1(skf36(v),u)*+ -> p12(u)*. % 26.87/27.18 1561[0:NCh:33.2,33.0,61.2,20.0] p12(u) || r1(skc7,v) r1(skf36(v),u)*+ -> p13(u)*. % 26.87/27.18 1508[0:NCh:33.2,33.0,62.2,21.0] p12(u) || r1(skc7,v) r1(skf35(v),u)*+ -> p11(u)*. % 26.87/27.18 1455[0:NCh:33.2,33.0,63.2,21.0] p11(u) || r1(skc7,v) r1(skf35(v),u)*+ -> p12(u)*. % 26.87/27.18 1402[0:NCh:33.2,33.0,64.2,22.0] p11(u) || r1(skc7,v) r1(skf34(v),u)*+ -> p10(u)*. % 26.87/27.18 1349[0:NCh:33.2,33.0,65.2,22.0] p10(u) || r1(skc7,v) r1(skf34(v),u)*+ -> p11(u)*. % 26.87/27.18 1296[0:NCh:33.2,33.0,66.2,23.0] p10(u) || r1(skc7,v) r1(skf33(v),u)*+ -> p9(u)*. % 26.87/27.18 1243[0:NCh:33.2,33.0,67.2,23.0] p9(u) || r1(skc7,v) r1(skf33(v),u)*+ -> p10(u)*. % 26.87/27.18 1190[0:NCh:33.2,33.0,68.2,24.0] p9(u) || r1(skc7,v) r1(skf32(v),u)*+ -> p8(u)*. % 26.87/27.18 1137[0:NCh:33.2,33.0,69.2,24.0] p8(u) || r1(skc7,v) r1(skf32(v),u)*+ -> p9(u)*. % 26.87/27.18 1084[0:NCh:33.2,33.0,70.2,25.0] p8(u) || r1(skc7,v) r1(skf31(v),u)*+ -> p7(u)*. % 26.87/27.18 1031[0:NCh:33.2,33.0,71.2,25.0] p7(u) || r1(skc7,v) r1(skf31(v),u)*+ -> p8(u)*. % 26.87/27.18 978[0:NCh:33.2,33.0,72.2,26.0] p7(u) || r1(skc7,v) r1(skf30(v),u)*+ -> p6(u)*. % 26.87/27.18 925[0:NCh:33.2,33.0,73.2,26.0] p6(u) || r1(skc7,v) r1(skf30(v),u)*+ -> p7(u)*. % 26.87/27.18 872[0:NCh:33.2,33.0,74.2,27.0] p6(u) || r1(skc7,v) r1(skf29(v),u)*+ -> p5(u)*. % 26.87/27.18 819[0:NCh:33.2,33.0,75.2,27.0] p5(u) || r1(skc7,v) r1(skf29(v),u)*+ -> p6(u)*. % 26.87/27.18 766[0:NCh:33.2,33.0,76.2,28.0] p5(u) || r1(skc7,v) r1(skf28(v),u)*+ -> p4(u)*. % 26.87/27.18 713[0:NCh:33.2,33.0,77.2,28.0] p4(u) || r1(skc7,v) r1(skf28(v),u)*+ -> p5(u)*. % 26.87/27.18 660[0:NCh:33.2,33.0,78.2,29.0] p4(u) || r1(skc7,v) r1(skf27(v),u)*+ -> p3(u)*. % 26.87/27.18 607[0:NCh:33.2,33.0,79.2,29.0] p3(u) || r1(skc7,v) r1(skf27(v),u)*+ -> p4(u)*. % 26.87/27.18 554[0:NCh:33.2,33.0,80.2,30.0] p3(u) || r1(skc7,v) r1(skf26(v),u)*+ -> p2(u)*. % 26.87/27.18 501[0:NCh:33.2,33.0,81.2,30.0] p2(u) || r1(skc7,v) r1(skf26(v),u)*+ -> p3(u)*. % 26.87/27.18 473[0:Obv:446.1] p25(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p24(u)*. % 26.87/27.18 418[0:Obv:391.1] p24(u) || r1(skf48(v),u)*+ r1(skc7,v) -> p25(u)*. % 26.87/27.18 38[0:Inp] p24(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p23(u)*. % 26.87/27.18 39[0:Inp] p23(u) || r1(skc7,v) r1(skf46(v),u)*+ -> p24(u)*. % 26.87/27.18 40[0:Inp] p23(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p22(u)*. % 26.87/27.18 41[0:Inp] p22(u) || r1(skc7,v) r1(skf45(v),u)*+ -> p23(u)*. % 26.87/27.18 42[0:Inp] p22(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p21(u)*. % 26.87/27.18 43[0:Inp] p21(u) || r1(skc7,v) r1(skf44(v),u)*+ -> p22(u)*. % 26.87/27.18 44[0:Inp] p21(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p20(u)*. % 26.87/27.18 45[0:Inp] p20(u) || r1(skc7,v) r1(skf43(v),u)*+ -> p21(u)*. % 26.87/27.18 46[0:Inp] p20(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p19(u)*. % 26.87/27.18 47[0:Inp] p19(u) || r1(skc7,v) r1(skf42(v),u)*+ -> p20(u)*. % 35.64/35.97 48[0:Inp] p19(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p18(u)*. % 35.64/35.97 49[0:Inp] p18(u) || r1(skc7,v) r1(skf41(v),u)*+ -> p19(u)*. % 35.64/35.97 50[0:Inp] p18(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p17(u)*. % 35.64/35.97 51[0:Inp] p17(u) || r1(skc7,v) r1(skf40(v),u)*+ -> p18(u)*. % 35.64/35.97 52[0:Inp] p17(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p16(u)*. % 35.64/35.97 53[0:Inp] p16(u) || r1(skc7,v) r1(skf39(v),u)*+ -> p17(u)*. % 35.64/35.97 54[0:Inp] p16(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p15(u)*. % 35.64/35.97 55[0:Inp] p15(u) || r1(skc7,v) r1(skf38(v),u)*+ -> p16(u)*. % 35.64/35.97 56[0:Inp] p15(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p14(u)*. % 35.64/35.97 57[0:Inp] p14(u) || r1(skc7,v) r1(skf37(v),u)*+ -> p15(u)*. % 35.64/35.97 58[0:Inp] p14(u) || r1(skc7,v) r1(skf36(v),u)*+ -> p13(u)*. % 35.64/35.97 59[0:Inp] p13(u) || r1(skc7,v) r1(skf36(v),u)*+ -> p14(u)*. % 35.64/35.97 60[0:Inp] p13(u) || r1(skc7,v) r1(skf35(v),u)*+ -> p12(u)*. % 35.64/35.97 61[0:Inp] p12(u) || r1(skc7,v) r1(skf35(v),u)*+ -> p13(u)*. % 35.64/35.97 62[0:Inp] p12(u) || r1(skc7,v) r1(skf34(v),u)*+ -> p11(u)*. % 35.64/35.97 63[0:Inp] p11(u) || r1(skc7,v) r1(skf34(v),u)*+ -> p12(u)*. % 35.64/35.97 64[0:Inp] p11(u) || r1(skc7,v) r1(skf33(v),u)*+ -> p10(u)*. % 35.64/35.97 65[0:Inp] p10(u) || r1(skc7,v) r1(skf33(v),u)*+ -> p11(u)*. % 35.64/35.97 66[0:Inp] p10(u) || r1(skc7,v) r1(skf32(v),u)*+ -> p9(u)*. % 35.64/35.97 67[0:Inp] p9(u) || r1(skc7,v) r1(skf32(v),u)*+ -> p10(u)*. % 35.64/35.97 68[0:Inp] p9(u) || r1(skc7,v) r1(skf31(v),u)*+ -> p8(u)*. % 35.64/35.97 69[0:Inp] p8(u) || r1(skc7,v) r1(skf31(v),u)*+ -> p9(u)*. % 35.64/35.97 70[0:Inp] p8(u) || r1(skc7,v) r1(skf30(v),u)*+ -> p7(u)*. % 35.64/35.97 71[0:Inp] p7(u) || r1(skc7,v) r1(skf30(v),u)*+ -> p8(u)*. % 35.64/35.97 72[0:Inp] p7(u) || r1(skc7,v) r1(skf29(v),u)*+ -> p6(u)*. % 35.64/35.97 73[0:Inp] p6(u) || r1(skc7,v) r1(skf29(v),u)*+ -> p7(u)*. % 35.64/35.97 74[0:Inp] p6(u) || r1(skc7,v) r1(skf28(v),u)*+ -> p5(u)*. % 35.64/35.97 75[0:Inp] p5(u) || r1(skc7,v) r1(skf28(v),u)*+ -> p6(u)*. % 35.64/35.97 76[0:Inp] p5(u) || r1(skc7,v) r1(skf27(v),u)*+ -> p4(u)*. % 35.64/35.97 77[0:Inp] p4(u) || r1(skc7,v) r1(skf27(v),u)*+ -> p5(u)*. % 35.64/35.97 78[0:Inp] p4(u) || r1(skc7,v) r1(skf26(v),u)*+ -> p3(u)*. % 35.64/35.97 79[0:Inp] p3(u) || r1(skc7,v) r1(skf26(v),u)*+ -> p4(u)*. % 35.64/35.97 80[0:Inp] p3(u) || r1(skc7,v) r1(skf25(v),u)*+ -> p2(u)*. % 35.64/35.97 81[0:Inp] p2(u) || r1(skc7,v) r1(skf25(v),u)*+ -> p3(u)*. % 35.64/35.97 36[0:Inp] p25(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p24(u)*. % 35.64/35.97 37[0:Inp] p24(u) || r1(skc7,v) r1(skf47(v),u)*+ -> p25(u)*. % 35.64/35.97 311[0:NCh:33.2,33.0,35.1,5.0] p1(u) || r1(skc5,u) r1(skc7,skc4) -> p2(u)*. % 35.64/35.97 313[0:NCh:33.2,33.0,35.1,4.0] p1(u) || r1(skc6,u) r1(skc7,skc5) -> p2(u)*. % 35.64/35.97 262[0:Res:6.0,35.1] p1(u) || r1(skc7,u) -> p2(u)*. % 35.64/35.97 362[0:SSi:261.0,2.0] || r1(skc7,skc5) -> p2(skc6)*. % 35.64/35.97 35[0:Inp] p1(u) || r1(v,u)*+ r1(skc7,v)* -> p2(u)*. % 35.64/35.97 206[0:NCh:33.2,33.0,34.1,5.0] p2(u) || r1(skc5,u) r1(skc7,skc4) -> p1(u)*. % 35.64/35.97 208[0:NCh:33.2,33.0,34.1,4.0] p2(u) || r1(skc6,u) r1(skc7,skc5) -> p1(u)*. % 35.64/35.97 154[0:OCh:33.1,33.0,32.1,153.0] || r1(skc7,u) -> r1(u,skf48(u))*r. % 35.64/35.97 158[0:Res:6.0,34.1] p2(u) || r1(skc7,u) -> p1(u)*. % 35.64/35.97 34[0:Inp] p2(u) || r1(v,u)*+ r1(skc7,v)* -> p1(u)*. % 35.64/35.97 32[0:Inp] || r1(skc7,u) -> r1(skf47(u),skf48(u))*l. % 35.64/35.97 31[0:Inp] || p30(skf49(u))* r1(skc7,u) -> . % 35.64/35.97 153[0:OCh:33.1,33.0,152.0,9.0] || -> r1(u,skf47(u))*r. % 35.64/35.97 152[0:OCh:33.1,33.0,10.0,151.0] || -> r1(u,skf46(u))*r. % 35.64/35.97 9[0:Inp] || -> r1(skf46(u),skf47(u))*l. % 35.64/35.97 10[0:Inp] || -> r1(skf45(u),skf46(u))*l. % 35.64/35.97 151[0:OCh:33.1,33.0,11.0,150.0] || -> r1(u,skf45(u))*r. % 35.64/35.97 11[0:Inp] || -> r1(skf44(u),skf45(u))*l. % 35.64/35.97 150[0:OCh:33.1,33.0,12.0,149.0] || -> r1(u,skf44(u))*r. % 35.64/35.97 12[0:Inp] || -> r1(skf43(u),skf44(u))*l. % 35.64/35.97 149[0:OCh:33.1,33.0,13.0,148.0] || -> r1(u,skf43(u))*r. % 35.64/35.97 13[0:Inp] || -> r1(skf42(u),skf43(u))*l. % 35.64/35.97 148[0:OCh:33.1,33.0,147.0,14.0] || -> r1(u,skf42(u))*r. % 35.64/35.97 147[0:OCh:33.1,33.0,15.0,146.0] || -> r1(u,skf41(u))*r. % 35.64/35.97 14[0:Inp] || -> r1(skf41(u),skf42(u))*l. % 35.64/35.97 15[0:Inp] || -> r1(skf40(u),skf41(u))*l. % 35.64/35.97 146[0:OCh:33.1,33.0,16.0,145.0] || -> r1(u,skf40(u))*r. % 35.64/35.97 16[0:Inp] || -> r1(skf39(u),skf40(u))*l. % 35.64/35.97 145[0:OCh:33.1,33.0,17.0,144.0] || -> r1(u,skf39(u))*r. % 35.64/35.97 17[0:Inp] || -> r1(skf38(u),skf39(u))*l. % 35.64/35.97 144[0:OCh:33.1,33.0,18.0,143.0] || -> r1(u,skf38(u))*r. % 35.64/35.97 18[0:Inp] || -> r1(skf37(u),skf38(u))*l. % 35.64/35.97 143[0:OCh:33.1,33.0,142.0,19.0] || -> r1(u,skf37(u))*r. % 35.64/35.97 142[0:OCh:33.1,33.0,20.0,141.0] || -> r1(u,skf36(u))*r. % 35.64/35.97 19[0:Inp] || -> r1(skf36(u),skf37(u))*l. % 35.64/35.97 20[0:Inp] || -> r1(skf35(u),skf36(u))*l. % 35.64/35.97 141[0:OCh:33.1,33.0,21.0,140.0] || -> r1(u,skf35(u))*r. % 35.64/35.97 21[0:Inp] || -> r1(skf34(u),skf35(u))*l. % 35.64/35.97 140[0:OCh:33.1,33.0,22.0,139.0] || -> r1(u,skf34(u))*r. % 35.64/35.97 22[0:Inp] || -> r1(skf33(u),skf34(u))*l. % 35.64/35.97 139[0:OCh:33.1,33.0,23.0,138.0] || -> r1(u,skf33(u))*r. % 35.64/35.97 23[0:Inp] || -> r1(skf32(u),skf33(u))*l. % 35.64/35.97 138[0:OCh:33.1,33.0,137.0,24.0] || -> r1(u,skf32(u))*r. % 35.64/35.97 137[0:OCh:33.1,33.0,25.0,136.0] || -> r1(u,skf31(u))*r. % 35.64/35.97 24[0:Inp] || -> r1(skf31(u),skf32(u))*l. % 35.64/35.97 25[0:Inp] || -> r1(skf30(u),skf31(u))*l. % 35.64/35.97 136[0:OCh:33.1,33.0,26.0,135.0] || -> r1(u,skf30(u))*r. % 35.64/35.97 26[0:Inp] || -> r1(skf29(u),skf30(u))*l. % 35.64/35.97 135[0:OCh:33.1,33.0,27.0,134.0] || -> r1(u,skf29(u))*r. % 35.64/35.97 27[0:Inp] || -> r1(skf28(u),skf29(u))*l. % 35.64/35.97 134[0:OCh:33.1,33.0,28.0,133.0] || -> r1(u,skf28(u))*r. % 35.64/35.97 28[0:Inp] || -> r1(skf27(u),skf28(u))*l. % 35.64/35.97 133[0:OCh:33.1,33.0,132.0,29.0] || -> r1(u,skf27(u))*r. % 35.64/35.97 132[0:OCh:33.1,33.0,30.0,8.0] || -> r1(u,skf26(u))*r. % 35.64/35.97 29[0:Inp] || -> r1(skf26(u),skf27(u))*l. % 35.64/35.97 30[0:Inp] || -> r1(skf25(u),skf26(u))*l. % 35.64/35.97 7[0:Inp] || -> r1(u,skf49(u))*r. % 35.64/35.97 8[0:Inp] || -> r1(u,skf25(u))*r. % 35.64/35.97 6[0:Inp] || -> r1(u,u)*. % 35.64/35.97 3[0:Inp] || -> r1(skc4,skc7)*l. % 35.64/35.97 4[0:Inp] || -> r1(skc5,skc6)*l. % 35.64/35.97 5[0:Inp] || -> r1(skc4,skc5)*l. % 35.64/35.97 2[0:Inp] || -> p1(skc6)*. % 35.64/35.97 1[0:Inp] || -> p30(skc5)*. % 35.64/35.97 % SZS output end Saturation %------------------------------------------------------------------------------