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