TSTP Solution File: KRS147+1 by SPASS---3.9
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SPASS---3.9
% Problem : KRS147+1 : TPTP v8.1.0. Released v3.1.0.
% Transfm : none
% Format : tptp
% Command : run_spass %d %s
% Computer : n022.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 03:30:42 EDT 2022
% Result : Theorem 1.26s 1.44s
% Output : Refutation 1.26s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.02/0.10 % Problem : KRS147+1 : TPTP v8.1.0. Released v3.1.0.
% 0.02/0.10 % Command : run_spass %d %s
% 0.10/0.31 % Computer : n022.cluster.edu
% 0.10/0.31 % Model : x86_64 x86_64
% 0.10/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.31 % Memory : 8042.1875MB
% 0.10/0.31 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.31 % CPULimit : 300
% 0.10/0.31 % WCLimit : 600
% 0.10/0.31 % DateTime : Tue Jun 7 11:56:05 EDT 2022
% 0.10/0.31 % CPUTime :
% 1.26/1.44
% 1.26/1.44 SPASS V 3.9
% 1.26/1.44 SPASS beiseite: Proof found.
% 1.26/1.44 % SZS status Theorem
% 1.26/1.44 Problem: /export/starexec/sandbox/benchmark/theBenchmark.p
% 1.26/1.44 SPASS derived 6246 clauses, backtracked 5171 clauses, performed 103 splits and kept 7059 clauses.
% 1.26/1.44 SPASS allocated 101250 KBytes.
% 1.26/1.44 SPASS spent 0:00:01.11 on the problem.
% 1.26/1.44 0:00:00.04 for the input.
% 1.26/1.44 0:00:00.12 for the FLOTTER CNF translation.
% 1.26/1.44 0:00:00.04 for inferences.
% 1.26/1.44 0:00:00.03 for the backtracking.
% 1.26/1.44 0:00:00.77 for the reduction.
% 1.26/1.44
% 1.26/1.44
% 1.26/1.44 Here is a proof with depth 5, length 745 :
% 1.26/1.44 % SZS output start Refutation
% 1.26/1.44 1[0:Inp] || -> cowlThing(u)*.
% 1.26/1.44 5[0:Inp] || -> cTOP(iV8470)*.
% 1.26/1.44 12[0:Inp] || -> cC2(iV8476)*.
% 1.26/1.44 14[0:Inp] cowlNothing(u) || -> .
% 1.26/1.44 17[0:Inp] || -> cC2(skf38(u))*.
% 1.26/1.44 18[0:Inp] || -> cC2(skf40(u))*.
% 1.26/1.44 19[0:Inp] || -> cC2(skf46(u))*.
% 1.26/1.44 21[0:Inp] || -> cC2(skf51(u))*.
% 1.26/1.44 26[0:Inp] || cC52(iV8467)* -> .
% 1.26/1.44 28[0:Inp] || -> rR1(iV8467,iV8471)*.
% 1.26/1.44 31[0:Inp] || -> rR1(iV8467,iV8469)*.
% 1.26/1.44 33[0:Inp] || -> rR1(iV8467,iV8472)*.
% 1.26/1.44 34[0:Inp] || -> rR1(iV8467,iV8474)*.
% 1.26/1.44 35[0:Inp] || -> rR1(iV8467,iV8470)*.
% 1.26/1.44 38[0:Inp] || cC2(iV8471)* -> .
% 1.26/1.44 39[0:Inp] || cC78(iV8471)* -> .
% 1.26/1.44 40[0:Inp] || cC2(iV8472)* -> .
% 1.26/1.44 41[0:Inp] || -> rR1(iV8472,iV8476)*.
% 1.26/1.44 45[0:Inp] || -> xsd_string(u) xsd_integer(u)*.
% 1.26/1.44 46[0:Inp] || cC2(skf34(u))* -> .
% 1.26/1.44 50[0:Inp] || cC2(skf45(u))* -> .
% 1.26/1.44 51[0:Inp] || cC2(skf49(u))* -> .
% 1.26/1.44 52[0:Inp] || cC2(skf55(u))* -> .
% 1.26/1.44 54[0:Inp] || cC2(skf58(u))* -> .
% 1.26/1.44 69[0:Inp] xsd_integer(u) xsd_string(u) || -> .
% 1.26/1.44 81[0:Inp] || -> cC52(u)* cC48(u) cC50(u).
% 1.26/1.44 94[0:Inp] || -> cC80(u) cC78(u)* cC2(u).
% 1.26/1.44 97[0:Inp] || -> cC86(u)* cC2(u) cC84(u).
% 1.26/1.44 103[0:Inp] || rR1(iV8469,u)* -> cC2(u).
% 1.26/1.44 104[0:Inp] || rR1(iV8471,u)* -> cC2(u).
% 1.26/1.44 110[0:Inp] cC20(u) || -> rR1(u,skf34(u))*.
% 1.26/1.44 113[0:Inp] cC24(u) || -> cC26(u)* cC20(u).
% 1.26/1.44 116[0:Inp] cC32(u) || -> rR1(u,skf38(u))*.
% 1.26/1.44 118[0:Inp] cC36(u) || -> rR1(u,skf40(u))*.
% 1.26/1.44 126[0:Inp] cC48(u) || -> rR1(u,skf45(u))*.
% 1.26/1.44 127[0:Inp] cC50(u) || -> rR1(u,skf46(u))*.
% 1.26/1.44 131[0:Inp] cC6(u) || -> rR1(u,skf49(u))*.
% 1.26/1.44 132[0:Inp] cC58(u) || -> cC60(u)* cC2(u).
% 1.26/1.44 134[0:Inp] cC64(u) || -> rR1(u,skf51(u))*.
% 1.26/1.44 135[0:Inp] cC64(u) || -> cC66(u)* cC2(u).
% 1.26/1.44 141[0:Inp] cC78(u) || -> rR1(u,skf55(u))*.
% 1.26/1.44 144[0:Inp] cC84(u) || -> rR1(u,skf58(u))*.
% 1.26/1.44 150[0:Inp] cC2(u) || rR1(iV8474,u)* -> .
% 1.26/1.44 151[0:Inp] cC8(u) cC4(u) || -> cC10(u)*.
% 1.26/1.44 152[0:Inp] || rR1(u,v)* -> cC16(u) cC14(v).
% 1.26/1.44 153[0:Inp] || rR1(u,v)* -> cC20(u) cC2(v).
% 1.26/1.44 154[0:Inp] || rR1(u,v)* -> cC22(u) cC2(v).
% 1.26/1.44 155[0:Inp] || rR1(u,v)* -> cC34(u) cC32(v).
% 1.26/1.44 156[0:Inp] || rR1(u,v)* -> cC38(u) cC36(v).
% 1.26/1.44 157[0:Inp] || rR1(u,v)* -> cC4(u) cC2(v).
% 1.26/1.44 158[0:Inp] || rR1(u,v)* -> cC48(u) cC2(v).
% 1.26/1.44 159[0:Inp] || rR1(u,v)* -> cC6(u) cC2(v).
% 1.26/1.44 160[0:Inp] || rR1(u,v)* -> cC78(u) cC2(v).
% 1.26/1.44 161[0:Inp] || rR1(u,v)* -> cC8(u) cC6(v).
% 1.26/1.44 162[0:Inp] || rR1(u,v)* -> cC84(u) cC2(v).
% 1.26/1.44 163[0:Inp] cC10(u) || rR1(v,u)* -> cC12(v).
% 1.26/1.44 164[0:Inp] cTOP(u) || rR1(v,u)* -> cC14(v).
% 1.26/1.44 165[0:Inp] cC22(u) || rR1(v,u)* -> cC24(v).
% 1.26/1.44 166[0:Inp] cC26(u) || rR1(v,u)* -> cC28(v).
% 1.26/1.44 167[0:Inp] cC2(u) || rR1(v,u)* -> cC32(v).
% 1.26/1.44 168[0:Inp] cC2(u) || rR1(v,u)* -> cC36(v).
% 1.26/1.44 169[0:Inp] cC38(u) || rR1(v,u)* -> cC40(v).
% 1.26/1.44 171[0:Inp] cC2(u) || rR1(v,u)* -> cC50(v).
% 1.26/1.44 172[0:Inp] cC52(u) || rR1(v,u)* -> cC54(v).
% 1.26/1.44 173[0:Inp] cC2(u) || rR1(v,u)* -> cC58(v).
% 1.26/1.44 174[0:Inp] cC60(u) || rR1(v,u)* -> cC62(v).
% 1.26/1.44 175[0:Inp] cC2(u) || rR1(v,u)* -> cC64(v).
% 1.26/1.44 176[0:Inp] cC66(u) || rR1(v,u)* -> cC68(v).
% 1.26/1.44 179[0:Inp] cC80(u) || rR1(v,u)* -> cC82(v).
% 1.26/1.44 180[0:Inp] cC86(u) || rR1(v,u)* -> cC88(v).
% 1.26/1.44 183[0:Inp] || xsd_string(skc5) cowlThing(skc3) cC10(iV8467) cC48(iV8467) cC4(iV8467) cC82(iV8467) cC14(iV8467) cC8(iV8467) cC20(iV8467) cowlThing(iV8467) cC62(iV8467) cC34(iV8467) cowlThing(iV8471) cC80(iV8471) cC60(iV8472) cowlThing(iV8472) cC58(iV8472) -> xsd_integer(skc5) cowlNothing(skc4)*.
% 1.26/1.44 184[0:Inp] || xsd_integer(skc5) cowlThing(skc3) cC10(iV8467) cC48(iV8467) cC4(iV8467) cC82(iV8467) cC14(iV8467) cC8(iV8467) cC20(iV8467) cowlThing(iV8467) cC62(iV8467) cC34(iV8467) cowlThing(iV8471) cC80(iV8471) cC60(iV8472) cowlThing(iV8472) cC58(iV8472) -> xsd_string(skc5) cowlNothing(skc4)*.
% 1.26/1.44 185[0:MRR:183.0,183.1,183.9,183.12,183.15,183.18,45.1,1.0,1.0,1.0,1.0,14.0] || cC58(iV8472) cC60(iV8472) cC80(iV8471) cC34(iV8467) cC62(iV8467) cC20(iV8467) cC8(iV8467) cC14(iV8467) cC82(iV8467) cC4(iV8467) cC48(iV8467) cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 186[0:MRR:184.0,184.1,184.9,184.12,184.15,184.18,185.12,1.0,1.0,1.0,1.0,14.0] || cC58(iV8472) cC60(iV8472) cC80(iV8471) cC34(iV8467) cC62(iV8467) cC20(iV8467) cC8(iV8467) cC14(iV8467) cC82(iV8467) cC4(iV8467) cC48(iV8467) cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 310[0:Res:81.0,26.0] || -> cC48(iV8467) cC50(iV8467)*.
% 1.26/1.44 311[1:Spt:310.0] || -> cC48(iV8467)*.
% 1.26/1.44 312[1:MRR:186.10,311.0] || cC58(iV8472) cC60(iV8472) cC80(iV8471) cC34(iV8467) cC62(iV8467) cC20(iV8467) cC8(iV8467) cC14(iV8467) cC82(iV8467) cC4(iV8467) cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 313[1:MRR:185.10,311.0] || cC58(iV8472) cC60(iV8472) cC80(iV8471) cC34(iV8467) cC62(iV8467) cC20(iV8467) cC8(iV8467) cC14(iV8467) cC82(iV8467) cC4(iV8467) cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 327[0:Res:94.1,39.0] || -> cC80(iV8471) cC2(iV8471)*.
% 1.26/1.44 328[0:MRR:327.1,38.0] || -> cC80(iV8471)*.
% 1.26/1.44 329[1:MRR:312.2,328.0] || cC58(iV8472) cC60(iV8472) cC34(iV8467) cC62(iV8467) cC20(iV8467) cC8(iV8467) cC14(iV8467) cC82(iV8467) cC4(iV8467) cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 330[1:MRR:313.2,328.0] || cC58(iV8472) cC60(iV8472) cC34(iV8467) cC62(iV8467) cC20(iV8467) cC8(iV8467) cC14(iV8467) cC82(iV8467) cC4(iV8467) cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 332[0:Res:144.1,104.0] cC84(iV8471) || -> cC2(skf58(iV8471))*.
% 1.26/1.44 333[0:Res:144.1,103.0] cC84(iV8469) || -> cC2(skf58(iV8469))*.
% 1.26/1.44 335[0:MRR:332.1,54.0] cC84(iV8471) || -> .
% 1.26/1.44 336[0:MRR:333.1,54.0] cC84(iV8469) || -> .
% 1.26/1.44 344[0:Res:127.1,150.1] cC50(iV8474) cC2(skf46(iV8474)) || -> .
% 1.26/1.44 345[0:SSi:344.1,19.0] cC50(iV8474) || -> .
% 1.26/1.44 348[0:Res:118.1,150.1] cC36(iV8474) cC2(skf40(iV8474)) || -> .
% 1.26/1.44 349[0:SSi:348.1,18.0] cC36(iV8474) || -> .
% 1.26/1.44 374[0:Res:141.1,103.0] cC78(iV8469) || -> cC2(skf55(iV8469))*.
% 1.26/1.44 377[0:MRR:374.1,52.0] cC78(iV8469) || -> .
% 1.26/1.44 379[0:SoR:377.0,94.1] || -> cC2(iV8469)* cC80(iV8469).
% 1.26/1.44 395[0:Res:131.1,103.0] cC6(iV8469) || -> cC2(skf49(iV8469))*.
% 1.26/1.44 398[0:MRR:395.1,51.0] cC6(iV8469) || -> .
% 1.26/1.44 415[0:Res:116.1,150.1] cC32(iV8474) cC2(skf38(iV8474)) || -> .
% 1.26/1.44 416[0:SSi:415.1,17.0] cC32(iV8474) || -> .
% 1.26/1.44 551[0:Res:41.0,156.0] || -> cC38(iV8472)* cC36(iV8476).
% 1.26/1.44 553[0:Res:34.0,156.0] || -> cC38(iV8467)* cC36(iV8474).
% 1.26/1.44 591[0:MRR:553.1,349.0] || -> cC38(iV8467)*.
% 1.26/1.44 592[0:Res:41.0,161.0] || -> cC8(iV8472) cC6(iV8476)*.
% 1.26/1.44 597[0:Res:31.0,161.0] || -> cC8(iV8467) cC6(iV8469)*.
% 1.26/1.44 632[0:MRR:597.1,398.0] || -> cC8(iV8467)*.
% 1.26/1.44 633[1:MRR:329.5,632.0] || cC58(iV8472) cC60(iV8472) cC34(iV8467) cC62(iV8467) cC20(iV8467) cC14(iV8467) cC82(iV8467) cC4(iV8467) cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 634[1:MRR:330.5,632.0] || cC58(iV8472) cC60(iV8472) cC34(iV8467) cC62(iV8467) cC20(iV8467) cC14(iV8467) cC82(iV8467) cC4(iV8467) cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 638[0:Res:34.0,155.0] || -> cC34(iV8467)* cC32(iV8474).
% 1.26/1.44 676[0:MRR:638.1,416.0] || -> cC34(iV8467)*.
% 1.26/1.44 677[1:MRR:633.2,676.0] || cC58(iV8472) cC60(iV8472) cC62(iV8467) cC20(iV8467) cC14(iV8467) cC82(iV8467) cC4(iV8467) cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 678[1:MRR:634.2,676.0] || cC58(iV8472) cC60(iV8472) cC62(iV8467) cC20(iV8467) cC14(iV8467) cC82(iV8467) cC4(iV8467) cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 682[0:Res:35.0,152.0] || -> cC16(iV8467)* cC14(iV8470).
% 1.26/1.44 684[0:Res:33.0,152.0] || -> cC16(iV8467)* cC14(iV8472).
% 1.26/1.44 724[2:Spt:682.0] || -> cC16(iV8467)*.
% 1.26/1.44 735[0:Res:33.0,162.0] || -> cC84(iV8467)* cC2(iV8472).
% 1.26/1.44 772[0:MRR:735.1,40.0] || -> cC84(iV8467)*.
% 1.26/1.44 788[0:Res:33.0,154.0] || -> cC22(iV8467)* cC2(iV8472).
% 1.26/1.44 794[0:Res:144.1,154.0] cC84(u) || -> cC22(u) cC2(skf58(u))*.
% 1.26/1.44 803[0:Res:141.1,154.0] cC78(u) || -> cC22(u) cC2(skf55(u))*.
% 1.26/1.44 807[0:Res:131.1,154.0] cC6(u) || -> cC22(u) cC2(skf49(u))*.
% 1.26/1.44 819[0:Res:126.1,154.0] cC48(u) || -> cC22(u) cC2(skf45(u))*.
% 1.26/1.44 822[0:Res:110.1,154.0] cC20(u) || -> cC22(u) cC2(skf34(u))*.
% 1.26/1.44 825[0:MRR:788.1,40.0] || -> cC22(iV8467)*.
% 1.26/1.44 826[0:MRR:794.2,54.0] cC84(u) || -> cC22(u)*.
% 1.26/1.44 827[0:MRR:803.2,52.0] cC78(u) || -> cC22(u)*.
% 1.26/1.44 828[0:MRR:807.2,51.0] cC6(u) || -> cC22(u)*.
% 1.26/1.44 829[0:MRR:819.2,50.0] cC48(u) || -> cC22(u)*.
% 1.26/1.44 831[0:MRR:822.2,46.0] cC20(u) || -> cC22(u)*.
% 1.26/1.44 839[0:Res:33.0,160.0] || -> cC78(iV8467)* cC2(iV8472).
% 1.26/1.44 876[0:MRR:839.1,40.0] || -> cC78(iV8467)*.
% 1.26/1.44 892[0:Res:33.0,159.0] || -> cC6(iV8467)* cC2(iV8472).
% 1.26/1.44 929[0:MRR:892.1,40.0] || -> cC6(iV8467)*.
% 1.26/1.44 953[0:Res:28.0,158.0] || -> cC48(iV8467)* cC2(iV8471).
% 1.26/1.44 1010[0:Res:33.0,157.0] || -> cC4(iV8467) cC2(iV8472)*.
% 1.26/1.44 1016[0:Res:144.1,157.0] cC84(u) || -> cC4(u) cC2(skf58(u))*.
% 1.26/1.44 1025[0:Res:141.1,157.0] cC78(u) || -> cC4(u) cC2(skf55(u))*.
% 1.26/1.44 1047[0:MRR:1010.1,40.0] || -> cC4(iV8467)*.
% 1.26/1.44 1048[1:MRR:677.6,1047.0] || cC58(iV8472) cC60(iV8472) cC62(iV8467) cC20(iV8467) cC14(iV8467) cC82(iV8467) cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 1049[1:MRR:678.6,1047.0] || cC58(iV8472) cC60(iV8472) cC62(iV8467) cC20(iV8467) cC14(iV8467) cC82(iV8467) cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 1050[0:MRR:1016.2,54.0] cC84(u) || -> cC4(u)*.
% 1.26/1.44 1052[0:MRR:1025.2,52.0] cC78(u) || -> cC4(u)*.
% 1.26/1.44 1068[0:Res:33.0,153.0] || -> cC20(iV8467) cC2(iV8472)*.
% 1.26/1.44 1105[0:MRR:1068.1,40.0] || -> cC20(iV8467)*.
% 1.26/1.44 1106[1:MRR:1048.3,1105.0] || cC58(iV8472) cC60(iV8472) cC62(iV8467) cC14(iV8467) cC82(iV8467) cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 1107[1:MRR:1049.3,1105.0] || cC58(iV8472) cC60(iV8472) cC62(iV8467) cC14(iV8467) cC82(iV8467) cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 1124[0:Res:41.0,165.1] cC22(iV8476) || -> cC24(iV8472)*.
% 1.26/1.44 1125[0:Res:35.0,165.1] cC22(iV8470) || -> cC24(iV8467)*.
% 1.26/1.44 1126[0:Res:34.0,165.1] cC22(iV8474) || -> cC24(iV8467)*.
% 1.26/1.44 1127[0:Res:33.0,165.1] cC22(iV8472) || -> cC24(iV8467)*.
% 1.26/1.44 1166[0:SoR:1124.0,828.1] cC6(iV8476) || -> cC24(iV8472)*.
% 1.26/1.44 1170[0:SoR:1125.0,826.1] cC84(iV8470) || -> cC24(iV8467)*.
% 1.26/1.44 1179[0:SoR:1126.0,829.1] cC48(iV8474) || -> cC24(iV8467)*.
% 1.26/1.44 1182[0:SoR:1127.0,826.1] cC84(iV8472) || -> cC24(iV8467)*.
% 1.26/1.44 1183[0:SoR:1127.0,827.1] cC78(iV8472) || -> cC24(iV8467)*.
% 1.26/1.44 1187[0:SoR:1127.0,831.1] cC20(iV8472) || -> cC24(iV8467)*.
% 1.26/1.44 1188[0:Res:41.0,175.1] cC2(iV8476) || -> cC64(iV8472)*.
% 1.26/1.44 1189[0:Res:35.0,175.1] cC2(iV8470) || -> cC64(iV8467)*.
% 1.26/1.44 1191[0:Res:33.0,175.1] cC2(iV8472) || -> cC64(iV8467)*.
% 1.26/1.44 1193[0:Res:31.0,175.1] cC2(iV8469) || -> cC64(iV8467)*.
% 1.26/1.44 1228[0:SSi:1188.0,12.0] || -> cC64(iV8472)*.
% 1.26/1.44 1251[0:Res:41.0,171.1] cC2(iV8476) || -> cC50(iV8472)*.
% 1.26/1.44 1256[0:Res:31.0,171.1] cC2(iV8469) || -> cC50(iV8467)*.
% 1.26/1.44 1261[0:Res:134.1,171.1] cC64(u) cC2(skf51(u)) || -> cC50(u)*.
% 1.26/1.44 1291[0:SSi:1251.0,12.0] || -> cC50(iV8472)*.
% 1.26/1.44 1292[0:SSi:1261.1,21.0] cC64(u) || -> cC50(u)*.
% 1.26/1.44 1304[0:SoR:1166.0,592.1] || -> cC24(iV8472)* cC8(iV8472).
% 1.26/1.44 1305[0:Res:41.0,168.1] cC2(iV8476) || -> cC36(iV8472)*.
% 1.26/1.44 1310[0:Res:31.0,168.1] cC2(iV8469) || -> cC36(iV8467)*.
% 1.26/1.44 1315[0:Res:134.1,168.1] cC64(u) cC2(skf51(u)) || -> cC36(u)*.
% 1.26/1.44 1345[0:SSi:1305.0,12.0] || -> cC36(iV8472)*.
% 1.26/1.44 1346[0:SSi:1315.1,21.0] cC64(u) || -> cC36(u)*.
% 1.26/1.44 1350[3:Spt:1304.0] || -> cC24(iV8472)*.
% 1.26/1.44 1400[0:Res:35.0,180.1] cC86(iV8470) || -> cC88(iV8467)*.
% 1.26/1.44 1402[0:Res:33.0,180.1] cC86(iV8472) || -> cC88(iV8467)*.
% 1.26/1.44 1404[0:Res:31.0,180.1] cC86(iV8469) || -> cC88(iV8467)*.
% 1.26/1.44 1407[0:Res:28.0,180.1] cC86(iV8471) || -> cC88(iV8467)*.
% 1.26/1.44 1493[0:SoR:1183.0,94.1] || -> cC24(iV8467)* cC2(iV8472) cC80(iV8472).
% 1.26/1.44 1494[0:MRR:1493.1,40.0] || -> cC24(iV8467)* cC80(iV8472).
% 1.26/1.44 1498[0:Res:33.0,176.1] cC66(iV8472) || -> cC68(iV8467)*.
% 1.26/1.44 1535[4:Spt:1494.0] || -> cC24(iV8467)*.
% 1.26/1.44 1539[0:Res:33.0,169.1] cC38(iV8472) || -> cC40(iV8467)*.
% 1.26/1.44 1576[0:SoR:1193.0,379.0] || -> cC64(iV8467)* cC80(iV8469).
% 1.26/1.44 1577[5:Spt:1576.0] || -> cC64(iV8467)*.
% 1.26/1.44 1618[0:SoR:1256.0,379.0] || -> cC50(iV8467)* cC80(iV8469).
% 1.26/1.44 1659[6:Spt:1618.0] || -> cC50(iV8467)*.
% 1.26/1.44 1663[0:Res:34.0,172.1] cC52(iV8474) || -> cC54(iV8467)*.
% 1.26/1.44 1701[0:SoR:1310.0,379.0] || -> cC36(iV8467)* cC80(iV8469).
% 1.26/1.44 1702[7:Spt:1701.0] || -> cC36(iV8467)*.
% 1.26/1.44 1746[0:Res:33.0,166.1] cC26(iV8472) || -> cC28(iV8467)*.
% 1.26/1.44 1786[0:Res:33.0,163.1] cC10(iV8472) || -> cC12(iV8467)*.
% 1.26/1.44 1824[0:SoR:1400.0,97.0] || -> cC88(iV8467)* cC84(iV8470) cC2(iV8470).
% 1.26/1.44 1826[0:SoR:1402.0,97.0] || -> cC88(iV8467)* cC84(iV8472) cC2(iV8472).
% 1.26/1.44 1827[0:MRR:1826.2,40.0] || -> cC88(iV8467)* cC84(iV8472).
% 1.26/1.44 1828[0:Res:41.0,167.1] cC2(iV8476) || -> cC32(iV8472)*.
% 1.26/1.44 1833[0:Res:31.0,167.1] cC2(iV8469) || -> cC32(iV8467)*.
% 1.26/1.44 1838[0:Res:134.1,167.1] cC64(u) cC2(skf51(u)) || -> cC32(u)*.
% 1.26/1.44 1868[0:SSi:1828.0,12.0] || -> cC32(iV8472)*.
% 1.26/1.44 1869[0:SSi:1838.1,21.0] cC64(u) || -> cC32(u)*.
% 1.26/1.44 1873[8:Spt:1827.0] || -> cC88(iV8467)*.
% 1.26/1.44 1889[0:Res:35.0,164.1] cTOP(iV8470) || -> cC14(iV8467)*.
% 1.26/1.44 1928[0:SSi:1889.0,5.0] || -> cC14(iV8467)*.
% 1.26/1.44 1929[1:MRR:1106.3,1928.0] || cC58(iV8472) cC60(iV8472) cC62(iV8467) cC82(iV8467) cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 1930[1:MRR:1107.3,1928.0] || cC58(iV8472) cC60(iV8472) cC62(iV8467) cC82(iV8467) cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 1940[0:Res:28.0,179.1] cC80(iV8471) || -> cC82(iV8467)*.
% 1.26/1.44 1972[0:SSi:1940.0,328.0] || -> cC82(iV8467)*.
% 1.26/1.44 1973[1:MRR:1929.3,1972.0] || cC58(iV8472) cC60(iV8472) cC62(iV8467) cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 1974[1:MRR:1930.3,1972.0] || cC58(iV8472) cC60(iV8472) cC62(iV8467) cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 1983[0:Res:41.0,173.1] cC2(iV8476) || -> cC58(iV8472)*.
% 1.26/1.44 1988[0:Res:31.0,173.1] cC2(iV8469) || -> cC58(iV8467)*.
% 1.26/1.44 1993[0:Res:134.1,173.1] cC64(u) cC2(skf51(u)) || -> cC58(u)*.
% 1.26/1.44 2023[0:SSi:1983.0,12.0] || -> cC58(iV8472)*.
% 1.26/1.44 2024[1:MRR:1973.0,2023.0] || cC60(iV8472) cC62(iV8467) cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 2025[1:MRR:1974.0,2023.0] || cC60(iV8472) cC62(iV8467) cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 2026[0:SSi:1993.1,21.0] cC64(u) || -> cC58(u)*.
% 1.26/1.44 2034[0:Res:33.0,174.1] cC60(iV8472) || -> cC62(iV8467)*.
% 1.26/1.44 2071[9:Spt:2024.1] || cC62(iV8467)* -> .
% 1.26/1.44 2074[9:MRR:2034.1,2071.0] cC60(iV8472) || -> .
% 1.26/1.44 2091[9:SoR:2074.0,132.1] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.44 2092[9:SSi:2091.0,1228.0,1291.0,1345.0,1350.0,1868.0,2023.0] || -> cC2(iV8472)*.
% 1.26/1.44 2093[9:MRR:2092.0,40.0] || -> .
% 1.26/1.44 2094[9:Spt:2093.0,2024.1,2071.0] || -> cC62(iV8467)*.
% 1.26/1.44 2095[9:Spt:2093.0,2024.0,2024.2,2024.3] || cC60(iV8472) cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 2096[9:MRR:2025.1,2094.0] || cC60(iV8472) cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 2100[9:EmS:69.0,69.1,2096.2,2095.2] || cC60(iV8472)* cC10(iV8467) cC10(iV8467) cC60(iV8472)* -> .
% 1.26/1.44 2101[9:Obv:2100.1] || cC10(iV8467) cC60(iV8472)* -> .
% 1.26/1.44 2103[0:SoR:1498.0,135.1] cC64(iV8472) || -> cC68(iV8467)* cC2(iV8472).
% 1.26/1.44 2104[3:SSi:2103.0,1228.0,1291.0,1345.0,1350.0,1868.0,2023.0] || -> cC68(iV8467)* cC2(iV8472).
% 1.26/1.44 2105[3:MRR:2104.1,40.0] || -> cC68(iV8467)*.
% 1.26/1.44 2107[0:SoR:1539.0,551.0] || -> cC40(iV8467)* cC36(iV8476).
% 1.26/1.44 2130[0:SoR:1663.0,81.0] || -> cC54(iV8467)* cC50(iV8474) cC48(iV8474).
% 1.26/1.44 2131[0:MRR:2130.1,345.0] || -> cC54(iV8467)* cC48(iV8474).
% 1.26/1.44 2148[0:SoR:1746.0,113.1] cC24(iV8472) || -> cC28(iV8467)* cC20(iV8472).
% 1.26/1.44 2149[3:SSi:2148.0,1228.0,1291.0,1345.0,1350.0,1868.0,2023.0] || -> cC28(iV8467)* cC20(iV8472).
% 1.26/1.44 2157[0:SoR:1786.0,151.2] cC4(iV8472) cC8(iV8472) || -> cC12(iV8467)*.
% 1.26/1.44 2161[0:SoR:1833.0,379.0] || -> cC32(iV8467)* cC80(iV8469).
% 1.26/1.44 2163[0:SoR:1988.0,379.0] || -> cC58(iV8467)* cC80(iV8469).
% 1.26/1.44 2670[9:Res:132.1,2101.1] cC58(iV8472) || cC10(iV8467) -> cC2(iV8472)*.
% 1.26/1.44 2671[9:SSi:2670.0,1228.0,1291.0,1345.0,1350.0,1868.0,2023.0] || cC10(iV8467) -> cC2(iV8472)*.
% 1.26/1.44 2672[9:MRR:2671.1,40.0] || cC10(iV8467)* -> .
% 1.26/1.44 2673[9:Res:151.2,2672.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.44 2742[9:SSi:2673.1,2673.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1535.0,1577.0,1659.0,1702.0,1873.0,1928.0,1972.0,2094.0,2105.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1535.0,1577.0,1659.0,1702.0,1873.0,1928.0,1972.0,2094.0,2105.0] || -> .
% 1.26/1.44 2743[8:Spt:2742.0,1827.0,1873.0] || cC88(iV8467)* -> .
% 1.26/1.44 2744[8:Spt:2742.0,1827.1] || -> cC84(iV8472)*.
% 1.26/1.44 2752[8:MRR:1407.1,2743.0] cC86(iV8471) || -> .
% 1.26/1.44 2776[8:SoR:2752.0,97.0] || -> cC84(iV8471)* cC2(iV8471).
% 1.26/1.44 2777[8:MRR:2776.0,2776.1,335.0,38.0] || -> .
% 1.26/1.44 2778[7:Spt:2777.0,1701.0,1702.0] || cC36(iV8467)* -> .
% 1.26/1.44 2779[7:Spt:2777.0,1701.1] || -> cC80(iV8469)*.
% 1.26/1.44 2801[7:Res:1346.1,2778.0] cC64(iV8467) || -> .
% 1.26/1.44 2805[7:SSi:2801.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1535.0,1577.0,1659.0,1928.0,1972.0,2105.0] || -> .
% 1.26/1.44 2806[6:Spt:2805.0,1618.0,1659.0] || cC50(iV8467)* -> .
% 1.26/1.44 2807[6:Spt:2805.0,1618.1] || -> cC80(iV8469)*.
% 1.26/1.44 2829[6:Res:1292.1,2806.0] cC64(iV8467) || -> .
% 1.26/1.44 2833[6:SSi:2829.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1535.0,1577.0,1928.0,1972.0,2105.0] || -> .
% 1.26/1.44 2834[5:Spt:2833.0,1576.0,1577.0] || cC64(iV8467)* -> .
% 1.26/1.44 2835[5:Spt:2833.0,1576.1] || -> cC80(iV8469)*.
% 1.26/1.44 2838[5:MRR:1191.1,2834.0] cC2(iV8472) || -> .
% 1.26/1.44 2859[6:Spt:2025.0] || cC60(iV8472)* -> .
% 1.26/1.44 2860[6:Res:132.1,2859.0] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.44 2861[6:SSi:2860.0,1228.0,1291.0,1345.0,1350.0,1868.0,2023.0] || -> cC2(iV8472)*.
% 1.26/1.44 2862[6:MRR:2861.0,2838.0] || -> .
% 1.26/1.44 2863[6:Spt:2862.0,2025.0,2859.0] || -> cC60(iV8472)*.
% 1.26/1.44 2864[6:Spt:2862.0,2025.1,2025.2,2025.3] || cC62(iV8467) cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 2865[6:MRR:2034.0,2863.0] || -> cC62(iV8467)*.
% 1.26/1.44 2866[6:MRR:2864.0,2865.0] || cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 2867[6:MRR:2024.0,2024.1,2863.0,2865.0] || cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 2949[6:EmS:69.0,69.1,2866.1,2867.1] || cC10(iV8467)* cC10(iV8467)* -> .
% 1.26/1.44 2950[6:Obv:2949.0] || cC10(iV8467)* -> .
% 1.26/1.44 2951[6:Res:151.2,2950.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.44 3008[6:SSi:2951.1,2951.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1535.0,1928.0,1972.0,2105.0,2865.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1535.0,1928.0,1972.0,2105.0,2865.0] || -> .
% 1.26/1.44 3009[4:Spt:3008.0,1494.0,1535.0] || cC24(iV8467)* -> .
% 1.26/1.44 3010[4:Spt:3008.0,1494.1] || -> cC80(iV8472)*.
% 1.26/1.44 3028[4:MRR:1179.1,3009.0] cC48(iV8474) || -> .
% 1.26/1.44 3029[4:MRR:2131.1,3028.0] || -> cC54(iV8467)*.
% 1.26/1.44 3033[4:MRR:1182.1,3009.0] cC84(iV8472) || -> .
% 1.26/1.44 3034[4:MRR:1827.1,3033.0] || -> cC88(iV8467)*.
% 1.26/1.44 3039[4:MRR:1187.1,3009.0] cC20(iV8472) || -> .
% 1.26/1.44 3040[4:MRR:2149.1,3039.0] || -> cC28(iV8467)*.
% 1.26/1.44 3229[5:Spt:2024.0] || cC60(iV8472)* -> .
% 1.26/1.44 3230[5:Res:132.1,3229.0] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.44 3231[5:SSi:3230.0,1228.0,1291.0,1345.0,1350.0,1868.0,2023.0,3010.0] || -> cC2(iV8472)*.
% 1.26/1.44 3232[5:MRR:3231.0,40.0] || -> .
% 1.26/1.44 3233[5:Spt:3232.0,2024.0,3229.0] || -> cC60(iV8472)*.
% 1.26/1.44 3234[5:Spt:3232.0,2024.1,2024.2,2024.3] || cC62(iV8467) cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 3235[5:MRR:2034.0,3233.0] || -> cC62(iV8467)*.
% 1.26/1.44 3236[5:MRR:3234.0,3235.0] || cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 3237[5:MRR:2025.0,2025.1,3233.0,3235.0] || cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 3424[5:EmS:69.0,69.1,3237.1,3236.1] || cC10(iV8467)* cC10(iV8467)* -> .
% 1.26/1.44 3426[5:Obv:3424.0] || cC10(iV8467)* -> .
% 1.26/1.44 3427[5:Res:151.2,3426.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.44 3434[5:SSi:3427.1,3427.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,2105.0,3029.0,3034.0,3040.0,3235.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,2105.0,3029.0,3034.0,3040.0,3235.0] || -> .
% 1.26/1.44 3435[3:Spt:3434.0,1304.0,1350.0] || cC24(iV8472)* -> .
% 1.26/1.44 3436[3:Spt:3434.0,1304.1] || -> cC8(iV8472)*.
% 1.26/1.44 3446[0:SSi:2103.0,1228.0,1291.0,1345.0,1868.0,2023.0] || -> cC68(iV8467)* cC2(iV8472).
% 1.26/1.44 3447[0:MRR:3446.1,40.0] || -> cC68(iV8467)*.
% 1.26/1.44 3448[3:MRR:2157.1,3436.0] cC4(iV8472) || -> cC12(iV8467)*.
% 1.26/1.44 3497[4:Spt:1576.0] || -> cC64(iV8467)*.
% 1.26/1.44 3498[5:Spt:1618.0] || -> cC50(iV8467)*.
% 1.26/1.44 3500[6:Spt:1701.0] || -> cC36(iV8467)*.
% 1.26/1.44 3501[7:Spt:2163.0] || -> cC58(iV8467)*.
% 1.26/1.44 3502[8:Spt:2161.0] || -> cC32(iV8467)*.
% 1.26/1.44 3506[9:Spt:2107.0] || -> cC40(iV8467)*.
% 1.26/1.44 3508[10:Spt:2131.0] || -> cC54(iV8467)*.
% 1.26/1.44 3525[11:Spt:1827.0] || -> cC88(iV8467)*.
% 1.26/1.44 3535[12:Spt:1494.0] || -> cC24(iV8467)*.
% 1.26/1.44 3538[13:Spt:2025.0] || cC60(iV8472)* -> .
% 1.26/1.44 3539[13:Res:132.1,3538.0] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.44 3540[13:SSi:3539.0,1228.0,1291.0,1345.0,1868.0,2023.0,3436.0] || -> cC2(iV8472)*.
% 1.26/1.44 3541[13:MRR:3540.0,40.0] || -> .
% 1.26/1.44 3542[13:Spt:3541.0,2025.0,3538.0] || -> cC60(iV8472)*.
% 1.26/1.44 3543[13:Spt:3541.0,2025.1,2025.2,2025.3] || cC62(iV8467) cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 3544[13:MRR:2034.0,3542.0] || -> cC62(iV8467)*.
% 1.26/1.44 3545[13:MRR:3543.0,3544.0] || cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 3546[13:MRR:2024.0,2024.1,3542.0,3544.0] || cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 3683[3:SoR:3448.0,1050.1] cC84(iV8472) || -> cC12(iV8467)*.
% 1.26/1.44 3685[3:SoR:3448.0,1052.1] cC78(iV8472) || -> cC12(iV8467)*.
% 1.26/1.44 3690[13:EmS:69.0,69.1,3545.1,3546.1] || cC10(iV8467)* cC10(iV8467)* -> .
% 1.26/1.44 3691[13:Obv:3690.0] || cC10(iV8467)* -> .
% 1.26/1.44 3692[13:Res:151.2,3691.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.44 3693[13:SSi:3692.1,3692.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,3497.0,3498.0,3500.0,3501.0,3502.0,3506.0,3508.0,3525.0,3535.0,3544.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,3497.0,3498.0,3500.0,3501.0,3502.0,3506.0,3508.0,3525.0,3535.0,3544.0] || -> .
% 1.26/1.44 3694[12:Spt:3693.0,1494.0,3535.0] || cC24(iV8467)* -> .
% 1.26/1.44 3695[12:Spt:3693.0,1494.1] || -> cC80(iV8472)*.
% 1.26/1.44 3792[13:Spt:2024.0] || cC60(iV8472)* -> .
% 1.26/1.44 3793[13:Res:132.1,3792.0] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.44 3794[13:SSi:3793.0,1228.0,1291.0,1345.0,1868.0,2023.0,3436.0,3695.0] || -> cC2(iV8472)*.
% 1.26/1.44 3795[13:MRR:3794.0,40.0] || -> .
% 1.26/1.44 3796[13:Spt:3795.0,2024.0,3792.0] || -> cC60(iV8472)*.
% 1.26/1.44 3797[13:Spt:3795.0,2024.1,2024.2,2024.3] || cC62(iV8467) cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 3798[13:MRR:2034.0,3796.0] || -> cC62(iV8467)*.
% 1.26/1.44 3799[13:MRR:3797.0,3798.0] || cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 3800[13:MRR:2025.0,2025.1,3796.0,3798.0] || cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 3841[13:EmS:69.0,69.1,3800.1,3799.1] || cC10(iV8467)* cC10(iV8467)* -> .
% 1.26/1.44 3843[13:Obv:3841.0] || cC10(iV8467)* -> .
% 1.26/1.44 4079[13:Res:151.2,3843.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.44 4080[13:SSi:4079.1,4079.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,3497.0,3498.0,3500.0,3501.0,3502.0,3506.0,3508.0,3525.0,3798.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,3497.0,3498.0,3500.0,3501.0,3502.0,3506.0,3508.0,3525.0,3798.0] || -> .
% 1.26/1.44 4081[11:Spt:4080.0,1827.0,3525.0] || cC88(iV8467)* -> .
% 1.26/1.44 4082[11:Spt:4080.0,1827.1] || -> cC84(iV8472)*.
% 1.26/1.44 4092[11:MRR:1407.1,4081.0] cC86(iV8471) || -> .
% 1.26/1.44 4126[11:SoR:4092.0,97.0] || -> cC84(iV8471)* cC2(iV8471).
% 1.26/1.44 4127[11:MRR:4126.0,4126.1,335.0,38.0] || -> .
% 1.26/1.44 4128[10:Spt:4127.0,2131.0,3508.0] || cC54(iV8467)* -> .
% 1.26/1.44 4129[10:Spt:4127.0,2131.1] || -> cC48(iV8474)*.
% 1.26/1.44 4137[10:MRR:1179.0,4129.0] || -> cC24(iV8467)*.
% 1.26/1.44 4165[11:Spt:1827.0] || -> cC88(iV8467)*.
% 1.26/1.44 4167[12:Spt:2024.0] || cC60(iV8472)* -> .
% 1.26/1.44 4168[12:Res:132.1,4167.0] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.44 4169[12:SSi:4168.0,1228.0,1291.0,1345.0,1868.0,2023.0,3436.0] || -> cC2(iV8472)*.
% 1.26/1.44 4170[12:MRR:4169.0,40.0] || -> .
% 1.26/1.44 4171[12:Spt:4170.0,2024.0,4167.0] || -> cC60(iV8472)*.
% 1.26/1.44 4172[12:Spt:4170.0,2024.1,2024.2,2024.3] || cC62(iV8467) cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 4173[12:MRR:2034.0,4171.0] || -> cC62(iV8467)*.
% 1.26/1.44 4174[12:MRR:4172.0,4173.0] || cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 4175[12:MRR:2025.0,2025.1,4171.0,4173.0] || cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 4261[3:SoR:3685.0,94.1] || -> cC12(iV8467) cC2(iV8472)* cC80(iV8472).
% 1.26/1.44 4268[3:MRR:4261.1,40.0] || -> cC12(iV8467)* cC80(iV8472).
% 1.26/1.44 4271[12:EmS:69.0,69.1,4175.1,4174.1] || cC10(iV8467)* cC10(iV8467)* -> .
% 1.26/1.44 4273[12:Obv:4271.0] || cC10(iV8467)* -> .
% 1.26/1.44 4274[12:Res:151.2,4273.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.44 4292[12:SSi:4274.1,4274.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,3497.0,3498.0,3500.0,3501.0,3502.0,3506.0,4137.0,4165.0,4173.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,3497.0,3498.0,3500.0,3501.0,3502.0,3506.0,4137.0,4165.0,4173.0] || -> .
% 1.26/1.44 4299[11:Spt:4292.0,1827.0,4165.0] || cC88(iV8467)* -> .
% 1.26/1.44 4300[11:Spt:4292.0,1827.1] || -> cC84(iV8472)*.
% 1.26/1.44 4309[11:MRR:1407.1,4299.0] cC86(iV8471) || -> .
% 1.26/1.44 4332[11:SoR:4309.0,97.0] || -> cC84(iV8471)* cC2(iV8471).
% 1.26/1.44 4333[11:MRR:4332.0,4332.1,335.0,38.0] || -> .
% 1.26/1.44 4334[9:Spt:4333.0,2107.0,3506.0] || cC40(iV8467)* -> .
% 1.26/1.44 4335[9:Spt:4333.0,2107.1] || -> cC36(iV8476)*.
% 1.26/1.44 4362[10:Spt:2025.0] || cC60(iV8472)* -> .
% 1.26/1.44 4363[10:Res:132.1,4362.0] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.44 4364[10:SSi:4363.0,1228.0,1291.0,1345.0,1868.0,2023.0,3436.0] || -> cC2(iV8472)*.
% 1.26/1.44 4365[10:MRR:4364.0,40.0] || -> .
% 1.26/1.44 4366[10:Spt:4365.0,2025.0,4362.0] || -> cC60(iV8472)*.
% 1.26/1.44 4367[10:Spt:4365.0,2025.1,2025.2,2025.3] || cC62(iV8467) cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 4368[10:MRR:2034.0,4366.0] || -> cC62(iV8467)*.
% 1.26/1.44 4369[10:MRR:4367.0,4368.0] || cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 4370[10:MRR:2024.0,2024.1,4366.0,4368.0] || cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 4424[10:EmS:69.0,69.1,4369.1,4370.1] || cC10(iV8467)* cC10(iV8467)* -> .
% 1.26/1.44 4425[10:Obv:4424.0] || cC10(iV8467)* -> .
% 1.26/1.44 4426[10:Res:151.2,4425.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.44 4534[10:SSi:4426.1,4426.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,3497.0,3498.0,3500.0,3501.0,3502.0,4368.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,3497.0,3498.0,3500.0,3501.0,3502.0,4368.0] || -> .
% 1.26/1.44 4540[8:Spt:4534.0,2161.0,3502.0] || cC32(iV8467)* -> .
% 1.26/1.44 4541[8:Spt:4534.0,2161.1] || -> cC80(iV8469)*.
% 1.26/1.44 4565[8:Res:1869.1,4540.0] cC64(iV8467) || -> .
% 1.26/1.44 4569[8:SSi:4565.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,3497.0,3498.0,3500.0,3501.0] || -> .
% 1.26/1.44 4570[7:Spt:4569.0,2163.0,3501.0] || cC58(iV8467)* -> .
% 1.26/1.44 4571[7:Spt:4569.0,2163.1] || -> cC80(iV8469)*.
% 1.26/1.44 4595[7:Res:2026.1,4570.0] cC64(iV8467) || -> .
% 1.26/1.44 4600[7:SSi:4595.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,3497.0,3498.0,3500.0] || -> .
% 1.26/1.44 4601[6:Spt:4600.0,1701.0,3500.0] || cC36(iV8467)* -> .
% 1.26/1.44 4602[6:Spt:4600.0,1701.1] || -> cC80(iV8469)*.
% 1.26/1.44 4626[6:Res:1346.1,4601.0] cC64(iV8467) || -> .
% 1.26/1.44 4630[6:SSi:4626.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,3497.0,3498.0] || -> .
% 1.26/1.44 4631[5:Spt:4630.0,1618.0,3498.0] || cC50(iV8467)* -> .
% 1.26/1.44 4632[5:Spt:4630.0,1618.1] || -> cC80(iV8469)*.
% 1.26/1.44 4656[5:Res:1292.1,4631.0] cC64(iV8467) || -> .
% 1.26/1.44 4660[5:SSi:4656.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,3497.0] || -> .
% 1.26/1.44 4661[4:Spt:4660.0,1576.0,3497.0] || cC64(iV8467)* -> .
% 1.26/1.44 4662[4:Spt:4660.0,1576.1] || -> cC80(iV8469)*.
% 1.26/1.44 4663[4:MRR:1193.1,4661.0] cC2(iV8469) || -> .
% 1.26/1.44 4664[4:MRR:1189.1,4661.0] cC2(iV8470) || -> .
% 1.26/1.44 4666[4:MRR:1191.1,4661.0] cC2(iV8472) || -> .
% 1.26/1.44 4673[4:MRR:1824.2,4664.0] || -> cC88(iV8467)* cC84(iV8470).
% 1.26/1.44 4714[5:Spt:2131.0] || -> cC54(iV8467)*.
% 1.26/1.44 4731[6:Spt:1494.0] || -> cC24(iV8467)*.
% 1.26/1.44 4732[7:Spt:1827.0] || -> cC88(iV8467)*.
% 1.26/1.44 4734[8:Spt:2024.0] || cC60(iV8472)* -> .
% 1.26/1.44 4735[8:Res:132.1,4734.0] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.44 4736[8:SSi:4735.0,1228.0,1291.0,1345.0,1868.0,2023.0,3436.0] || -> cC2(iV8472)*.
% 1.26/1.44 4737[8:MRR:4736.0,4666.0] || -> .
% 1.26/1.44 4738[8:Spt:4737.0,2024.0,4734.0] || -> cC60(iV8472)*.
% 1.26/1.44 4739[8:Spt:4737.0,2024.1,2024.2,2024.3] || cC62(iV8467) cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 4740[8:MRR:2034.0,4738.0] || -> cC62(iV8467)*.
% 1.26/1.44 4741[8:MRR:4739.0,4740.0] || cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 4742[8:MRR:2025.0,2025.1,4738.0,4740.0] || cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 4777[8:EmS:69.0,69.1,4742.1,4741.1] || cC10(iV8467)* cC10(iV8467)* -> .
% 1.26/1.44 4779[8:Obv:4777.0] || cC10(iV8467)* -> .
% 1.26/1.44 4780[8:Res:151.2,4779.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.44 4801[8:SSi:4780.1,4780.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,4714.0,4731.0,4732.0,4740.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,4714.0,4731.0,4732.0,4740.0] || -> .
% 1.26/1.44 4807[7:Spt:4801.0,1827.0,4732.0] || cC88(iV8467)* -> .
% 1.26/1.44 4808[7:Spt:4801.0,1827.1] || -> cC84(iV8472)*.
% 1.26/1.44 4823[7:MRR:1404.1,4807.0] cC86(iV8469) || -> .
% 1.26/1.44 4837[7:SoR:4823.0,97.0] || -> cC84(iV8469)* cC2(iV8469).
% 1.26/1.44 4838[7:MRR:4837.0,4837.1,336.0,4663.0] || -> .
% 1.26/1.44 4839[6:Spt:4838.0,1494.0,4731.0] || cC24(iV8467)* -> .
% 1.26/1.44 4840[6:Spt:4838.0,1494.1] || -> cC80(iV8472)*.
% 1.26/1.44 4849[6:MRR:1170.1,4839.0] cC84(iV8470) || -> .
% 1.26/1.44 4850[6:MRR:4673.1,4849.0] || -> cC88(iV8467)*.
% 1.26/1.44 5011[7:Spt:2025.0] || cC60(iV8472)* -> .
% 1.26/1.44 5012[7:Res:132.1,5011.0] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.44 5013[7:SSi:5012.0,1228.0,1291.0,1345.0,1868.0,2023.0,3436.0,4840.0] || -> cC2(iV8472)*.
% 1.26/1.44 5014[7:MRR:5013.0,4666.0] || -> .
% 1.26/1.44 5015[7:Spt:5014.0,2025.0,5011.0] || -> cC60(iV8472)*.
% 1.26/1.44 5016[7:Spt:5014.0,2025.1,2025.2,2025.3] || cC62(iV8467) cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 5017[7:MRR:2034.0,5015.0] || -> cC62(iV8467)*.
% 1.26/1.44 5018[7:MRR:5016.0,5017.0] || cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 5019[7:MRR:2024.0,2024.1,5015.0,5017.0] || cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 5172[7:EmS:69.0,69.1,5018.1,5019.1] || cC10(iV8467)* cC10(iV8467)* -> .
% 1.26/1.44 5173[7:Obv:5172.0] || cC10(iV8467)* -> .
% 1.26/1.44 5235[7:Res:151.2,5173.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.44 5239[7:SSi:5235.1,5235.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,4714.0,4850.0,5017.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,4714.0,4850.0,5017.0] || -> .
% 1.26/1.44 5240[5:Spt:5239.0,2131.0,4714.0] || cC54(iV8467)* -> .
% 1.26/1.44 5241[5:Spt:5239.0,2131.1] || -> cC48(iV8474)*.
% 1.26/1.44 5242[5:MRR:1179.0,5241.0] || -> cC24(iV8467)*.
% 1.26/1.44 5273[6:Spt:2107.0] || -> cC40(iV8467)*.
% 1.26/1.44 5276[7:Spt:4268.0] || -> cC12(iV8467)*.
% 1.26/1.44 5278[8:Spt:4673.0] || -> cC88(iV8467)*.
% 1.26/1.44 5280[9:Spt:2024.0] || cC60(iV8472)* -> .
% 1.26/1.44 5281[9:Res:132.1,5280.0] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.44 5282[9:SSi:5281.0,1228.0,1291.0,1345.0,1868.0,2023.0,3436.0] || -> cC2(iV8472)*.
% 1.26/1.44 5283[9:MRR:5282.0,4666.0] || -> .
% 1.26/1.44 5284[9:Spt:5283.0,2024.0,5280.0] || -> cC60(iV8472)*.
% 1.26/1.44 5285[9:Spt:5283.0,2024.1,2024.2,2024.3] || cC62(iV8467) cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 5286[9:MRR:2034.0,5284.0] || -> cC62(iV8467)*.
% 1.26/1.44 5287[9:MRR:5285.0,5286.0] || cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 5288[9:MRR:2025.0,2025.1,5284.0,5286.0] || cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 5302[9:EmS:69.0,69.1,5288.1,5287.1] || cC10(iV8467)* cC10(iV8467)* -> .
% 1.26/1.44 5304[9:Obv:5302.0] || cC10(iV8467)* -> .
% 1.26/1.44 5305[9:Res:151.2,5304.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.44 5306[9:SSi:5305.1,5305.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5242.0,5273.0,5276.0,5278.0,5286.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5242.0,5273.0,5276.0,5278.0,5286.0] || -> .
% 1.26/1.44 5307[8:Spt:5306.0,4673.0,5278.0] || cC88(iV8467)* -> .
% 1.26/1.44 5308[8:Spt:5306.0,4673.1] || -> cC84(iV8470)*.
% 1.26/1.44 5315[8:MRR:1404.1,5307.0] cC86(iV8469) || -> .
% 1.26/1.44 5328[8:SoR:5315.0,97.0] || -> cC84(iV8469)* cC2(iV8469).
% 1.26/1.44 5329[8:MRR:5328.0,5328.1,336.0,4663.0] || -> .
% 1.26/1.44 5330[7:Spt:5329.0,4268.0,5276.0] || cC12(iV8467)* -> .
% 1.26/1.44 5331[7:Spt:5329.0,4268.1] || -> cC80(iV8472)*.
% 1.26/1.44 5334[7:MRR:3683.1,5330.0] cC84(iV8472) || -> .
% 1.26/1.44 5335[7:MRR:1827.1,5334.0] || -> cC88(iV8467)*.
% 1.26/1.44 5377[8:Spt:2025.0] || cC60(iV8472)* -> .
% 1.26/1.44 5378[8:Res:132.1,5377.0] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.44 5379[8:SSi:5378.0,1228.0,1291.0,1345.0,1868.0,2023.0,3436.0,5331.0] || -> cC2(iV8472)*.
% 1.26/1.44 5380[8:MRR:5379.0,4666.0] || -> .
% 1.26/1.44 5381[8:Spt:5380.0,2025.0,5377.0] || -> cC60(iV8472)*.
% 1.26/1.44 5382[8:Spt:5380.0,2025.1,2025.2,2025.3] || cC62(iV8467) cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 5383[8:MRR:2034.0,5381.0] || -> cC62(iV8467)*.
% 1.26/1.44 5384[8:MRR:5382.0,5383.0] || cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 5385[8:MRR:2024.0,2024.1,5381.0,5383.0] || cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 5440[8:EmS:69.0,69.1,5384.1,5385.1] || cC10(iV8467)* cC10(iV8467)* -> .
% 1.26/1.44 5441[8:Obv:5440.0] || cC10(iV8467)* -> .
% 1.26/1.44 5442[8:Res:151.2,5441.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.44 5443[8:SSi:5442.1,5442.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5242.0,5273.0,5335.0,5383.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5242.0,5273.0,5335.0,5383.0] || -> .
% 1.26/1.44 5444[6:Spt:5443.0,2107.0,5273.0] || cC40(iV8467)* -> .
% 1.26/1.44 5445[6:Spt:5443.0,2107.1] || -> cC36(iV8476)*.
% 1.26/1.44 5478[7:Spt:2024.0] || cC60(iV8472)* -> .
% 1.26/1.44 5479[7:Res:132.1,5478.0] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.44 5480[7:SSi:5479.0,1228.0,1291.0,1345.0,1868.0,2023.0,3436.0] || -> cC2(iV8472)*.
% 1.26/1.44 5481[7:MRR:5480.0,4666.0] || -> .
% 1.26/1.44 5482[7:Spt:5481.0,2024.0,5478.0] || -> cC60(iV8472)*.
% 1.26/1.44 5483[7:Spt:5481.0,2024.1,2024.2,2024.3] || cC62(iV8467) cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 5484[7:MRR:2034.0,5482.0] || -> cC62(iV8467)*.
% 1.26/1.44 5485[7:MRR:5483.0,5484.0] || cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 5486[7:MRR:2025.0,2025.1,5482.0,5484.0] || cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 5512[7:EmS:69.0,69.1,5486.1,5485.1] || cC10(iV8467)* cC10(iV8467)* -> .
% 1.26/1.44 5514[7:Obv:5512.0] || cC10(iV8467)* -> .
% 1.26/1.44 5515[7:Res:151.2,5514.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.44 5552[7:SSi:5515.1,5515.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5242.0,5484.0,311.0,591.0,632.0,676.0,724.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5242.0,5484.0] || -> .
% 1.26/1.44 5553[2:Spt:5552.0,682.0,724.0] || cC16(iV8467)* -> .
% 1.26/1.44 5554[2:Spt:5552.0,682.1] || -> cC14(iV8470)*.
% 1.26/1.44 5557[2:MRR:684.0,5553.0] || -> cC14(iV8472)*.
% 1.26/1.44 5572[3:Spt:1827.0] || -> cC88(iV8467)*.
% 1.26/1.44 5573[4:Spt:551.0] || -> cC38(iV8472)*.
% 1.26/1.44 5574[4:MRR:1539.0,5573.0] || -> cC40(iV8467)*.
% 1.26/1.44 5585[5:Spt:1494.0] || -> cC24(iV8467)*.
% 1.26/1.44 5586[6:Spt:2131.0] || -> cC54(iV8467)*.
% 1.26/1.44 5607[7:Spt:379.0] || -> cC2(iV8469)*.
% 1.26/1.44 5608[7:MRR:1193.0,5607.0] || -> cC64(iV8467)*.
% 1.26/1.44 5609[7:MRR:1256.0,5607.0] || -> cC50(iV8467)*.
% 1.26/1.44 5610[7:MRR:1310.0,5607.0] || -> cC36(iV8467)*.
% 1.26/1.44 5611[7:MRR:1988.0,5607.0] || -> cC58(iV8467)*.
% 1.26/1.44 5612[7:MRR:1833.0,5607.0] || -> cC32(iV8467)*.
% 1.26/1.44 5617[8:Spt:2025.0] || cC60(iV8472)* -> .
% 1.26/1.44 5618[8:Res:132.1,5617.0] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.44 5619[8:SSi:5618.0,1228.0,1291.0,1345.0,1868.0,2023.0,5557.0,5573.0] || -> cC2(iV8472)*.
% 1.26/1.44 5620[8:MRR:5619.0,40.0] || -> .
% 1.26/1.44 5621[8:Spt:5620.0,2025.0,5617.0] || -> cC60(iV8472)*.
% 1.26/1.44 5622[8:Spt:5620.0,2025.1,2025.2,2025.3] || cC62(iV8467) cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 5623[8:MRR:2034.0,5621.0] || -> cC62(iV8467)*.
% 1.26/1.44 5624[8:MRR:5622.0,5623.0] || cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 5625[8:MRR:2024.0,2024.1,5621.0,5623.0] || cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 5799[8:EmS:69.0,69.1,5624.1,5625.1] || cC10(iV8467)* cC10(iV8467)* -> .
% 1.26/1.44 5800[8:Obv:5799.0] || cC10(iV8467)* -> .
% 1.26/1.44 5803[8:Res:151.2,5800.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.44 5804[8:SSi:5803.1,5803.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,5574.0,5585.0,5586.0,5608.0,5609.0,5610.0,5611.0,5612.0,5623.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,5574.0,5585.0,5586.0,5608.0,5609.0,5610.0,5611.0,5612.0,5623.0] || -> .
% 1.26/1.44 5805[7:Spt:5804.0,379.0,5607.0] || cC2(iV8469)* -> .
% 1.26/1.44 5806[7:Spt:5804.0,379.1] || -> cC80(iV8469)*.
% 1.26/1.44 5814[8:Spt:1304.0] || -> cC24(iV8472)*.
% 1.26/1.44 5815[8:MRR:2148.0,5814.0] || -> cC28(iV8467)* cC20(iV8472).
% 1.26/1.44 5816[9:Spt:5815.0] || -> cC28(iV8467)*.
% 1.26/1.44 5831[10:Spt:2024.0] || cC60(iV8472)* -> .
% 1.26/1.44 5832[10:Res:132.1,5831.0] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.44 5833[10:SSi:5832.0,1228.0,1291.0,1345.0,1868.0,2023.0,5557.0,5573.0,5814.0] || -> cC2(iV8472)*.
% 1.26/1.44 5834[10:MRR:5833.0,40.0] || -> .
% 1.26/1.44 5835[10:Spt:5834.0,2024.0,5831.0] || -> cC60(iV8472)*.
% 1.26/1.44 5836[10:Spt:5834.0,2024.1,2024.2,2024.3] || cC62(iV8467) cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 5837[10:MRR:2034.0,5835.0] || -> cC62(iV8467)*.
% 1.26/1.44 5838[10:MRR:5836.0,5837.0] || cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 5839[10:MRR:2025.0,2025.1,5835.0,5837.0] || cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 5889[10:EmS:69.0,69.1,5839.1,5838.1] || cC10(iV8467)* cC10(iV8467)* -> .
% 1.26/1.44 5891[10:Obv:5889.0] || cC10(iV8467)* -> .
% 1.26/1.44 5894[10:Res:151.2,5891.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.44 5895[10:SSi:5894.1,5894.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,5574.0,5585.0,5586.0,5816.0,5837.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,5574.0,5585.0,5586.0,5816.0,5837.0] || -> .
% 1.26/1.44 5896[9:Spt:5895.0,5815.0,5816.0] || cC28(iV8467)* -> .
% 1.26/1.44 5897[9:Spt:5895.0,5815.1] || -> cC20(iV8472)*.
% 1.26/1.44 5924[10:Spt:2025.0] || cC60(iV8472)* -> .
% 1.26/1.44 5925[10:Res:132.1,5924.0] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.44 5926[10:SSi:5925.0,1228.0,1291.0,1345.0,1868.0,2023.0,5557.0,5573.0,5814.0,5897.0] || -> cC2(iV8472)*.
% 1.26/1.44 5927[10:MRR:5926.0,40.0] || -> .
% 1.26/1.44 5928[10:Spt:5927.0,2025.0,5924.0] || -> cC60(iV8472)*.
% 1.26/1.44 5929[10:Spt:5927.0,2025.1,2025.2,2025.3] || cC62(iV8467) cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 5930[10:MRR:2034.0,5928.0] || -> cC62(iV8467)*.
% 1.26/1.44 5931[10:MRR:5929.0,5930.0] || cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 5932[10:MRR:2024.0,2024.1,5928.0,5930.0] || cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 5942[10:EmS:69.0,69.1,5931.1,5932.1] || cC10(iV8467)* cC10(iV8467)* -> .
% 1.26/1.44 5943[10:Obv:5942.0] || cC10(iV8467)* -> .
% 1.26/1.44 5944[10:Res:151.2,5943.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.44 5945[10:SSi:5944.1,5944.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,5574.0,5585.0,5586.0,5930.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,5574.0,5585.0,5586.0,5930.0] || -> .
% 1.26/1.44 5946[8:Spt:5945.0,1304.0,5814.0] || cC24(iV8472)* -> .
% 1.26/1.44 5947[8:Spt:5945.0,1304.1] || -> cC8(iV8472)*.
% 1.26/1.44 5998[9:Spt:2024.0] || cC60(iV8472)* -> .
% 1.26/1.44 5999[9:Res:132.1,5998.0] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.44 6000[9:SSi:5999.0,1228.0,1291.0,1345.0,1868.0,2023.0,5557.0,5573.0,5947.0] || -> cC2(iV8472)*.
% 1.26/1.44 6001[9:MRR:6000.0,40.0] || -> .
% 1.26/1.44 6002[9:Spt:6001.0,2024.0,5998.0] || -> cC60(iV8472)*.
% 1.26/1.44 6003[9:Spt:6001.0,2024.1,2024.2,2024.3] || cC62(iV8467) cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 6004[9:MRR:2034.0,6002.0] || -> cC62(iV8467)*.
% 1.26/1.44 6005[9:MRR:6003.0,6004.0] || cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 6006[9:MRR:2025.0,2025.1,6002.0,6004.0] || cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 6036[9:EmS:69.0,69.1,6006.1,6005.1] || cC10(iV8467)* cC10(iV8467)* -> .
% 1.26/1.44 6038[9:Obv:6036.0] || cC10(iV8467)* -> .
% 1.26/1.44 6039[9:Res:151.2,6038.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.44 6040[9:SSi:6039.1,6039.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,5574.0,5585.0,5586.0,6004.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,5574.0,5585.0,5586.0,6004.0] || -> .
% 1.26/1.44 6041[6:Spt:6040.0,2131.0,5586.0] || cC54(iV8467)* -> .
% 1.26/1.44 6042[6:Spt:6040.0,2131.1] || -> cC48(iV8474)*.
% 1.26/1.44 6072[7:Spt:2025.0] || cC60(iV8472)* -> .
% 1.26/1.44 6073[7:Res:132.1,6072.0] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.44 6074[7:SSi:6073.0,1228.0,1291.0,1345.0,1868.0,2023.0,5557.0,5573.0] || -> cC2(iV8472)*.
% 1.26/1.44 6075[7:MRR:6074.0,40.0] || -> .
% 1.26/1.44 6076[7:Spt:6075.0,2025.0,6072.0] || -> cC60(iV8472)*.
% 1.26/1.44 6077[7:Spt:6075.0,2025.1,2025.2,2025.3] || cC62(iV8467) cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 6078[7:MRR:2034.0,6076.0] || -> cC62(iV8467)*.
% 1.26/1.44 6079[7:MRR:6077.0,6078.0] || cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 6080[7:MRR:2024.0,2024.1,6076.0,6078.0] || cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 6136[7:EmS:69.0,69.1,6079.1,6080.1] || cC10(iV8467)* cC10(iV8467)* -> .
% 1.26/1.44 6137[7:Obv:6136.0] || cC10(iV8467)* -> .
% 1.26/1.44 6138[7:Res:151.2,6137.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.44 6194[7:SSi:6138.1,6138.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,5574.0,5585.0,6078.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,5574.0,5585.0,6078.0] || -> .
% 1.26/1.44 6195[5:Spt:6194.0,1494.0,5585.0] || cC24(iV8467)* -> .
% 1.26/1.44 6196[5:Spt:6194.0,1494.1] || -> cC80(iV8472)*.
% 1.26/1.44 6197[5:MRR:1179.1,6195.0] cC48(iV8474) || -> .
% 1.26/1.44 6198[5:MRR:2131.1,6197.0] || -> cC54(iV8467)*.
% 1.26/1.44 6291[6:Spt:2024.0] || cC60(iV8472)* -> .
% 1.26/1.44 6292[6:Res:132.1,6291.0] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.44 6293[6:SSi:6292.0,1228.0,1291.0,1345.0,1868.0,2023.0,5557.0,5573.0,6196.0] || -> cC2(iV8472)*.
% 1.26/1.44 6294[6:MRR:6293.0,40.0] || -> .
% 1.26/1.44 6295[6:Spt:6294.0,2024.0,6291.0] || -> cC60(iV8472)*.
% 1.26/1.44 6296[6:Spt:6294.0,2024.1,2024.2,2024.3] || cC62(iV8467) cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 6297[6:MRR:2034.0,6295.0] || -> cC62(iV8467)*.
% 1.26/1.44 6298[6:MRR:6296.0,6297.0] || cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 6299[6:MRR:2025.0,2025.1,6295.0,6297.0] || cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 6621[6:EmS:69.0,69.1,6299.1,6298.1] || cC10(iV8467)* cC10(iV8467)* -> .
% 1.26/1.44 6623[6:Obv:6621.0] || cC10(iV8467)* -> .
% 1.26/1.44 6624[6:Res:151.2,6623.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.44 6631[6:SSi:6624.1,6624.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,5574.0,6198.0,6297.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,5574.0,6198.0,6297.0] || -> .
% 1.26/1.44 6632[4:Spt:6631.0,551.0,5573.0] || cC38(iV8472)* -> .
% 1.26/1.44 6633[4:Spt:6631.0,551.1] || -> cC36(iV8476)*.
% 1.26/1.44 6639[5:Spt:1576.0] || -> cC64(iV8467)*.
% 1.26/1.44 6640[6:Spt:1618.0] || -> cC50(iV8467)*.
% 1.26/1.44 6642[7:Spt:1701.0] || -> cC36(iV8467)*.
% 1.26/1.44 6643[8:Spt:2163.0] || -> cC58(iV8467)*.
% 1.26/1.44 6644[9:Spt:2161.0] || -> cC32(iV8467)*.
% 1.26/1.44 6648[10:Spt:1304.0] || -> cC24(iV8472)*.
% 1.26/1.44 6649[10:MRR:2148.0,6648.0] || -> cC28(iV8467)* cC20(iV8472).
% 1.26/1.44 6650[11:Spt:2131.0] || -> cC54(iV8467)*.
% 1.26/1.44 6671[12:Spt:1494.0] || -> cC24(iV8467)*.
% 1.26/1.44 6672[13:Spt:6649.0] || -> cC28(iV8467)*.
% 1.26/1.44 6678[14:Spt:2025.0] || cC60(iV8472)* -> .
% 1.26/1.44 6679[14:Res:132.1,6678.0] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.44 6680[14:SSi:6679.0,1228.0,1291.0,1345.0,1868.0,2023.0,5557.0,6648.0] || -> cC2(iV8472)*.
% 1.26/1.44 6681[14:MRR:6680.0,40.0] || -> .
% 1.26/1.44 6682[14:Spt:6681.0,2025.0,6678.0] || -> cC60(iV8472)*.
% 1.26/1.44 6683[14:Spt:6681.0,2025.1,2025.2,2025.3] || cC62(iV8467) cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 6684[14:MRR:2034.0,6682.0] || -> cC62(iV8467)*.
% 1.26/1.44 6685[14:MRR:6683.0,6684.0] || cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 6686[14:MRR:2024.0,2024.1,6682.0,6684.0] || cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 6829[14:EmS:69.0,69.1,6685.1,6686.1] || cC10(iV8467)* cC10(iV8467)* -> .
% 1.26/1.44 6830[14:Obv:6829.0] || cC10(iV8467)* -> .
% 1.26/1.44 6831[14:Res:151.2,6830.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.44 6832[14:SSi:6831.1,6831.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,6639.0,6640.0,6642.0,6643.0,6644.0,6650.0,6671.0,6672.0,6684.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,6639.0,6640.0,6642.0,6643.0,6644.0,6650.0,6671.0,6672.0,6684.0] || -> .
% 1.26/1.44 6833[13:Spt:6832.0,6649.0,6672.0] || cC28(iV8467)* -> .
% 1.26/1.44 6834[13:Spt:6832.0,6649.1] || -> cC20(iV8472)*.
% 1.26/1.44 6861[14:Spt:2024.0] || cC60(iV8472)* -> .
% 1.26/1.44 6862[14:Res:132.1,6861.0] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.44 6863[14:SSi:6862.0,1228.0,1291.0,1345.0,1868.0,2023.0,5557.0,6648.0,6834.0] || -> cC2(iV8472)*.
% 1.26/1.44 6864[14:MRR:6863.0,40.0] || -> .
% 1.26/1.44 6865[14:Spt:6864.0,2024.0,6861.0] || -> cC60(iV8472)*.
% 1.26/1.44 6866[14:Spt:6864.0,2024.1,2024.2,2024.3] || cC62(iV8467) cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 6867[14:MRR:2034.0,6865.0] || -> cC62(iV8467)*.
% 1.26/1.44 6868[14:MRR:6866.0,6867.0] || cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 6869[14:MRR:2025.0,2025.1,6865.0,6867.0] || cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 6877[14:EmS:69.0,69.1,6869.1,6868.1] || cC10(iV8467)* cC10(iV8467)* -> .
% 1.26/1.44 6879[14:Obv:6877.0] || cC10(iV8467)* -> .
% 1.26/1.44 6880[14:Res:151.2,6879.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.44 6881[14:SSi:6880.1,6880.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,6639.0,6640.0,6642.0,6643.0,6644.0,6650.0,6671.0,6867.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,6639.0,6640.0,6642.0,6643.0,6644.0,6650.0,6671.0,6867.0] || -> .
% 1.26/1.44 6882[12:Spt:6881.0,1494.0,6671.0] || cC24(iV8467)* -> .
% 1.26/1.44 6883[12:Spt:6881.0,1494.1] || -> cC80(iV8472)*.
% 1.26/1.44 6927[12:MRR:1187.1,6882.0] cC20(iV8472) || -> .
% 1.26/1.44 6928[12:MRR:6649.1,6927.0] || -> cC28(iV8467)*.
% 1.26/1.44 6972[13:Spt:2025.0] || cC60(iV8472)* -> .
% 1.26/1.44 6973[13:Res:132.1,6972.0] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.44 6974[13:SSi:6973.0,1228.0,1291.0,1345.0,1868.0,2023.0,5557.0,6648.0,6883.0] || -> cC2(iV8472)*.
% 1.26/1.44 6975[13:MRR:6974.0,40.0] || -> .
% 1.26/1.44 6976[13:Spt:6975.0,2025.0,6972.0] || -> cC60(iV8472)*.
% 1.26/1.44 6977[13:Spt:6975.0,2025.1,2025.2,2025.3] || cC62(iV8467) cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 6978[13:MRR:2034.0,6976.0] || -> cC62(iV8467)*.
% 1.26/1.44 6979[13:MRR:6977.0,6978.0] || cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 6980[13:MRR:2024.0,2024.1,6976.0,6978.0] || cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 7053[13:EmS:69.0,69.1,6979.1,6980.1] || cC10(iV8467)* cC10(iV8467)* -> .
% 1.26/1.44 7054[13:Obv:7053.0] || cC10(iV8467)* -> .
% 1.26/1.44 7279[13:Res:151.2,7054.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.44 7280[13:SSi:7279.1,7279.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,6639.0,6640.0,6642.0,6643.0,6644.0,6650.0,6928.0,6978.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,6639.0,6640.0,6642.0,6643.0,6644.0,6650.0,6928.0,6978.0] || -> .
% 1.26/1.44 7281[11:Spt:7280.0,2131.0,6650.0] || cC54(iV8467)* -> .
% 1.26/1.44 7282[11:Spt:7280.0,2131.1] || -> cC48(iV8474)*.
% 1.26/1.44 7283[11:MRR:1179.0,7282.0] || -> cC24(iV8467)*.
% 1.26/1.44 7313[12:Spt:6649.0] || -> cC28(iV8467)*.
% 1.26/1.44 7321[13:Spt:2024.0] || cC60(iV8472)* -> .
% 1.26/1.44 7322[13:Res:132.1,7321.0] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.44 7323[13:SSi:7322.0,1228.0,1291.0,1345.0,1868.0,2023.0,5557.0,6648.0] || -> cC2(iV8472)*.
% 1.26/1.44 7324[13:MRR:7323.0,40.0] || -> .
% 1.26/1.44 7325[13:Spt:7324.0,2024.0,7321.0] || -> cC60(iV8472)*.
% 1.26/1.44 7326[13:Spt:7324.0,2024.1,2024.2,2024.3] || cC62(iV8467) cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 7327[13:MRR:2034.0,7325.0] || -> cC62(iV8467)*.
% 1.26/1.44 7328[13:MRR:7326.0,7327.0] || cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 7329[13:MRR:2025.0,2025.1,7325.0,7327.0] || cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 7406[13:EmS:69.0,69.1,7329.1,7328.1] || cC10(iV8467)* cC10(iV8467)* -> .
% 1.26/1.44 7408[13:Obv:7406.0] || cC10(iV8467)* -> .
% 1.26/1.44 7409[13:Res:151.2,7408.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.44 7410[13:SSi:7409.1,7409.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,6639.0,6640.0,6642.0,6643.0,6644.0,7283.0,7313.0,7327.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,6639.0,6640.0,6642.0,6643.0,6644.0,7283.0,7313.0,7327.0] || -> .
% 1.26/1.44 7411[12:Spt:7410.0,6649.0,7313.0] || cC28(iV8467)* -> .
% 1.26/1.44 7412[12:Spt:7410.0,6649.1] || -> cC20(iV8472)*.
% 1.26/1.44 7437[13:Spt:2025.0] || cC60(iV8472)* -> .
% 1.26/1.44 7438[13:Res:132.1,7437.0] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.44 7439[13:SSi:7438.0,1228.0,1291.0,1345.0,1868.0,2023.0,5557.0,6648.0,7412.0] || -> cC2(iV8472)*.
% 1.26/1.44 7440[13:MRR:7439.0,40.0] || -> .
% 1.26/1.44 7441[13:Spt:7440.0,2025.0,7437.0] || -> cC60(iV8472)*.
% 1.26/1.44 7442[13:Spt:7440.0,2025.1,2025.2,2025.3] || cC62(iV8467) cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 7443[13:MRR:2034.0,7441.0] || -> cC62(iV8467)*.
% 1.26/1.44 7444[13:MRR:7442.0,7443.0] || cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 7445[13:MRR:2024.0,2024.1,7441.0,7443.0] || cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 7454[13:EmS:69.0,69.1,7444.1,7445.1] || cC10(iV8467)* cC10(iV8467)* -> .
% 1.26/1.44 7455[13:Obv:7454.0] || cC10(iV8467)* -> .
% 1.26/1.44 7456[13:Res:151.2,7455.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.44 7457[13:SSi:7456.1,7456.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,6639.0,6640.0,6642.0,6643.0,6644.0,7283.0,7443.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,6639.0,6640.0,6642.0,6643.0,6644.0,7283.0,7443.0] || -> .
% 1.26/1.44 7458[10:Spt:7457.0,1304.0,6648.0] || cC24(iV8472)* -> .
% 1.26/1.44 7459[10:Spt:7457.0,1304.1] || -> cC8(iV8472)*.
% 1.26/1.44 7510[11:Spt:2024.0] || cC60(iV8472)* -> .
% 1.26/1.44 7511[11:Res:132.1,7510.0] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.44 7512[11:SSi:7511.0,1228.0,1291.0,1345.0,1868.0,2023.0,5557.0,7459.0] || -> cC2(iV8472)*.
% 1.26/1.44 7513[11:MRR:7512.0,40.0] || -> .
% 1.26/1.44 7514[11:Spt:7513.0,2024.0,7510.0] || -> cC60(iV8472)*.
% 1.26/1.44 7515[11:Spt:7513.0,2024.1,2024.2,2024.3] || cC62(iV8467) cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 7516[11:MRR:2034.0,7514.0] || -> cC62(iV8467)*.
% 1.26/1.44 7517[11:MRR:7515.0,7516.0] || cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.44 7518[11:MRR:2025.0,2025.1,7514.0,7516.0] || cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.44 7638[11:EmS:69.0,69.1,7518.1,7517.1] || cC10(iV8467)* cC10(iV8467)* -> .
% 1.26/1.44 7640[11:Obv:7638.0] || cC10(iV8467)* -> .
% 1.26/1.44 7641[11:Res:151.2,7640.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.44 7717[11:SSi:7641.1,7641.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,6639.0,6640.0,6642.0,6643.0,6644.0,7516.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,6639.0,6640.0,6642.0,6643.0,6644.0,7516.0] || -> .
% 1.26/1.44 7718[9:Spt:7717.0,2161.0,6644.0] || cC32(iV8467)* -> .
% 1.26/1.44 7719[9:Spt:7717.0,2161.1] || -> cC80(iV8469)*.
% 1.26/1.44 7741[9:Res:1869.1,7718.0] cC64(iV8467) || -> .
% 1.26/1.44 7745[9:SSi:7741.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,6639.0,6640.0,6642.0,6643.0] || -> .
% 1.26/1.44 7746[8:Spt:7745.0,2163.0,6643.0] || cC58(iV8467)* -> .
% 1.26/1.44 7747[8:Spt:7745.0,2163.1] || -> cC80(iV8469)*.
% 1.26/1.44 7769[8:Res:2026.1,7746.0] cC64(iV8467) || -> .
% 1.26/1.44 7774[8:SSi:7769.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,6639.0,6640.0,6642.0] || -> .
% 1.26/1.44 7775[7:Spt:7774.0,1701.0,6642.0] || cC36(iV8467)* -> .
% 1.26/1.44 7776[7:Spt:7774.0,1701.1] || -> cC80(iV8469)*.
% 1.26/1.44 7798[7:Res:1346.1,7775.0] cC64(iV8467) || -> .
% 1.26/1.44 7802[7:SSi:7798.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,6639.0,6640.0] || -> .
% 1.26/1.44 7803[6:Spt:7802.0,1618.0,6640.0] || cC50(iV8467)* -> .
% 1.26/1.44 7804[6:Spt:7802.0,1618.1] || -> cC80(iV8469)*.
% 1.26/1.44 7826[6:Res:1292.1,7803.0] cC64(iV8467) || -> .
% 1.26/1.44 7830[6:SSi:7826.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,6639.0] || -> .
% 1.26/1.44 7831[5:Spt:7830.0,1576.0,6639.0] || cC64(iV8467)* -> .
% 1.26/1.45 7832[5:Spt:7830.0,1576.1] || -> cC80(iV8469)*.
% 1.26/1.45 7836[5:MRR:1191.1,7831.0] cC2(iV8472) || -> .
% 1.26/1.45 7869[6:Spt:2025.0] || cC60(iV8472)* -> .
% 1.26/1.45 7870[6:Res:132.1,7869.0] cC58(iV8472) || -> cC2(iV8472)*.
% 1.26/1.45 7871[6:SSi:7870.0,1228.0,1291.0,1345.0,1868.0,2023.0,5557.0] || -> cC2(iV8472)*.
% 1.26/1.45 7872[6:MRR:7871.0,7836.0] || -> .
% 1.26/1.45 7873[6:Spt:7872.0,2025.0,7869.0] || -> cC60(iV8472)*.
% 1.26/1.45 7874[6:Spt:7872.0,2025.1,2025.2,2025.3] || cC62(iV8467) cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.45 7875[6:MRR:2034.0,7873.0] || -> cC62(iV8467)*.
% 1.26/1.45 7876[6:MRR:7874.0,7875.0] || cC10(iV8467) -> xsd_integer(skc5)*.
% 1.26/1.45 7877[6:MRR:2024.0,2024.1,7873.0,7875.0] || cC10(iV8467) -> xsd_string(skc5)*.
% 1.26/1.45 8026[6:EmS:69.0,69.1,7876.1,7877.1] || cC10(iV8467)* cC10(iV8467)* -> .
% 1.26/1.45 8027[6:Obv:8026.0] || cC10(iV8467)* -> .
% 1.26/1.45 8028[6:Res:151.2,8027.0] cC8(iV8467) cC4(iV8467) || -> .
% 1.26/1.45 8097[6:SSi:8028.1,8028.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,7875.0,311.0,591.0,632.0,676.0,772.0,825.0,876.0,929.0,1047.0,1105.0,1928.0,1972.0,3447.0,5572.0,7875.0] || -> .
% 1.26/1.45 8105[3:Spt:8097.0,1827.0,5572.0] || cC88(iV8467)* -> .
% 1.26/1.45 8106[3:Spt:8097.0,1827.1] || -> cC84(iV8472)*.
% 1.26/1.45 8115[3:MRR:1407.1,8105.0] cC86(iV8471) || -> .
% 1.26/1.45 8153[3:SoR:8115.0,97.0] || -> cC84(iV8471)* cC2(iV8471).
% 1.26/1.45 8154[3:MRR:8153.0,8153.1,335.0,38.0] || -> .
% 1.26/1.45 8155[1:Spt:8154.0,310.0,311.0] || cC48(iV8467)* -> .
% 1.26/1.45 8156[1:Spt:8154.0,310.1] || -> cC50(iV8467)*.
% 1.26/1.45 8168[0:MRR:953.1,38.0] || -> cC48(iV8467)*.
% 1.26/1.45 8169[1:MRR:8168.0,8155.0] || -> .
% 1.26/1.45 % SZS output end Refutation
% 1.26/1.45 Formulae used in the proof : axiom_0 axiom_68 axiom_84 axiom_13 axiom_15 axiom_23 axiom_31 axiom_53 axiom_55 axiom_58 axiom_60 axiom_61 axiom_62 axiom_70 axiom_71 axiom_74 axiom_76 axiom_1 axiom_7 axiom_82 axiom_22 axiom_28 axiom_38 axiom_42 axiom_24 axiom_40 axiom_43 axiom_66 axiom_73 axiom_10 axiom_29 axiom_32 axiom_79 axiom_2 axiom_5 axiom_8 axiom_14 axiom_80 axiom_16 axiom_17 axiom_39 axiom_65 axiom_3 axiom_4 axiom_9 axiom_11 axiom_18 axiom_25 axiom_27 axiom_30 axiom_33 axiom_41 axiom_44 the_axiom
% 1.26/1.45
%------------------------------------------------------------------------------