TSTP Solution File: KRS159+1 by SPASS---3.9
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SPASS---3.9
% Problem : KRS159+1 : TPTP v8.1.0. Released v3.1.0.
% Transfm : none
% Format : tptp
% Command : run_spass %d %s
% Computer : n032.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:44 EDT 2022
% Result : Theorem 18.23s 18.41s
% Output : Refutation 23.04s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.09 % Problem : KRS159+1 : TPTP v8.1.0. Released v3.1.0.
% 0.00/0.10 % Command : run_spass %d %s
% 0.09/0.28 % Computer : n032.cluster.edu
% 0.09/0.28 % Model : x86_64 x86_64
% 0.09/0.28 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.09/0.28 % Memory : 8042.1875MB
% 0.09/0.28 % OS : Linux 3.10.0-693.el7.x86_64
% 0.09/0.28 % CPULimit : 300
% 0.09/0.28 % WCLimit : 600
% 0.09/0.28 % DateTime : Tue Jun 7 08:37:05 EDT 2022
% 0.09/0.28 % CPUTime :
% 18.23/18.41
% 18.23/18.41 SPASS V 3.9
% 18.23/18.41 SPASS beiseite: Proof found.
% 18.23/18.41 % SZS status Theorem
% 18.23/18.41 Problem: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 18.23/18.41 SPASS derived 96377 clauses, backtracked 2681 clauses, performed 110 splits and kept 17864 clauses.
% 18.23/18.41 SPASS allocated 169319 KBytes.
% 18.23/18.41 SPASS spent 0:0:18.00 on the problem.
% 18.23/18.41 0:00:00.03 for the input.
% 18.23/18.41 0:00:00.23 for the FLOTTER CNF translation.
% 18.23/18.41 0:00:01.74 for inferences.
% 18.23/18.41 0:00:00.57 for the backtracking.
% 18.23/18.41 0:0:12.95 for the reduction.
% 18.23/18.41
% 18.23/18.41
% 18.23/18.41 Here is a proof with depth 38, length 481 :
% 18.23/18.41 % SZS output start Refutation
% 18.23/18.41 1[0:Inp] || -> cowlThing(u)*.
% 18.23/18.41 2[0:Inp] || -> cC150xcomp(iV21026)*.
% 18.23/18.41 3[0:Inp] || -> cTOP(iV21026)*.
% 18.23/18.41 4[0:Inp] || -> cC76xcomp(iV21026)*.
% 18.23/18.41 5[0:Inp] || -> cC98xcomp(iV21026)*.
% 18.23/18.41 6[0:Inp] || -> cC128xcomp(iV21026)*.
% 18.23/18.41 7[0:Inp] || -> cC166xcomp(iV21026)*.
% 18.23/18.41 8[0:Inp] || -> cC106xcomp(iV21026)*.
% 18.23/18.41 9[0:Inp] || -> cC34xcomp(iV21026)*.
% 18.23/18.41 10[0:Inp] || -> cC144xcomp(iV21026)*.
% 18.23/18.41 11[0:Inp] || -> cC28xcomp(iV21026)*.
% 18.23/18.41 12[0:Inp] || -> cC54xcomp(iV21026)*.
% 18.23/18.41 13[0:Inp] || -> cC122xcomp(iV21026)*.
% 18.23/18.41 14[0:Inp] || -> cC162xcomp(iV21026)*.
% 18.23/18.41 15[0:Inp] || -> cC70xcomp(iV21026)*.
% 18.23/18.41 16[0:Inp] || -> cC172xcomp(iV21026)*.
% 18.23/18.41 17[0:Inp] || -> cC48xcomp(iV21026)*.
% 18.23/18.41 19[0:Inp] || -> cC178xcomp(iV21026)*.
% 18.23/18.41 20[0:Inp] || -> cTEST(iV21026)*.
% 18.23/18.41 21[0:Inp] || -> cC12(iV21027)*.
% 18.23/18.41 22[0:Inp] || -> cC176xcomp(iV21027)*.
% 18.23/18.41 23[0:Inp] || -> cC96xcomp(iV21027)*.
% 18.23/18.41 24[0:Inp] || -> cC170xcomp(iV21027)*.
% 18.23/18.41 25[0:Inp] || -> cC120xcomp(iV21027)*.
% 18.23/18.41 26[0:Inp] || -> cC92(iV21027)*.
% 18.23/18.41 27[0:Inp] || -> cC148xcomp(iV21027)*.
% 18.23/18.41 28[0:Inp] || -> cC142xcomp(iV21027)*.
% 18.23/18.41 29[0:Inp] || -> cC68xcomp(iV21027)*.
% 18.23/18.41 30[0:Inp] || -> cC2xcomp(iV21027)*.
% 18.23/18.41 31[0:Inp] || -> cC18(iV21027)*.
% 18.23/18.41 32[0:Inp] || -> cC52xcomp(iV21027)*.
% 18.23/18.41 33[0:Inp] || -> cC104xcomp(iV21027)*.
% 18.23/18.41 34[0:Inp] || -> cC26xcomp(iV21027)*.
% 18.23/18.41 35[0:Inp] || -> cC46xcomp(iV21027)*.
% 18.23/18.41 36[0:Inp] || -> cC126xcomp(iV21027)*.
% 18.23/18.41 37[0:Inp] || -> cC164xcomp(iV21027)*.
% 18.23/18.41 38[0:Inp] || -> cC100(iV21027)*.
% 18.23/18.41 39[0:Inp] || -> cC160xcomp(iV21027)*.
% 18.23/18.41 41[0:Inp] || -> cC74xcomp(iV21027)*.
% 18.23/18.41 42[0:Inp] || -> cC32xcomp(iV21027)*.
% 18.23/18.41 44[0:Inp] || -> cC176xcomp(iV21029)*.
% 18.23/18.41 45[0:Inp] || -> cC96xcomp(iV21029)*.
% 18.23/18.41 46[0:Inp] || -> cC120xcomp(iV21029)*.
% 18.23/18.41 47[0:Inp] || -> cC170xcomp(iV21029)*.
% 18.23/18.41 48[0:Inp] || -> cC92(iV21029)*.
% 18.23/18.41 49[0:Inp] || -> cC148xcomp(iV21029)*.
% 18.23/18.41 50[0:Inp] || -> cC142xcomp(iV21029)*.
% 18.23/18.41 51[0:Inp] || -> cC68xcomp(iV21029)*.
% 18.23/18.41 52[0:Inp] || -> cC12xcomp(iV21029)*.
% 18.23/18.41 53[0:Inp] || -> cC18(iV21029)*.
% 18.23/18.41 54[0:Inp] || -> cC52xcomp(iV21029)*.
% 18.23/18.41 55[0:Inp] || -> cC104xcomp(iV21029)*.
% 18.23/18.41 56[0:Inp] || -> cC2(iV21029)*.
% 18.23/18.41 57[0:Inp] || -> cC26xcomp(iV21029)*.
% 18.23/18.41 58[0:Inp] || -> cC46xcomp(iV21029)*.
% 18.23/18.41 59[0:Inp] || -> cC126xcomp(iV21029)*.
% 18.23/18.41 60[0:Inp] || -> cC164xcomp(iV21029)*.
% 18.23/18.41 61[0:Inp] || -> cC100(iV21029)*.
% 18.23/18.41 62[0:Inp] || -> cC160xcomp(iV21029)*.
% 18.23/18.41 64[0:Inp] || -> cC74xcomp(iV21029)*.
% 18.23/18.41 65[0:Inp] || -> cC32xcomp(iV21029)*.
% 18.23/18.41 66[0:Inp] || -> cC12(iV21030)*.
% 18.23/18.41 67[0:Inp] || -> cC176xcomp(iV21030)*.
% 18.23/18.41 68[0:Inp] || -> cC96xcomp(iV21030)*.
% 18.23/18.41 69[0:Inp] || -> cC170xcomp(iV21030)*.
% 18.23/18.41 70[0:Inp] || -> cC120xcomp(iV21030)*.
% 18.23/18.41 71[0:Inp] || -> cC92(iV21030)*.
% 18.23/18.41 72[0:Inp] || -> cC148xcomp(iV21030)*.
% 18.23/18.41 73[0:Inp] || -> cC142xcomp(iV21030)*.
% 18.23/18.41 74[0:Inp] || -> cC68xcomp(iV21030)*.
% 18.23/18.41 75[0:Inp] || -> cC18xcomp(iV21030)*.
% 18.23/18.41 76[0:Inp] || -> cC52xcomp(iV21030)*.
% 18.23/18.41 77[0:Inp] || -> cC104xcomp(iV21030)*.
% 18.23/18.41 78[0:Inp] || -> cC2(iV21030)*.
% 18.23/18.41 79[0:Inp] || -> cC26xcomp(iV21030)*.
% 18.23/18.41 80[0:Inp] || -> cC46xcomp(iV21030)*.
% 18.23/18.41 81[0:Inp] || -> cC126xcomp(iV21030)*.
% 18.23/18.41 82[0:Inp] || -> cC164xcomp(iV21030)*.
% 18.23/18.41 83[0:Inp] || -> cC100(iV21030)*.
% 18.23/18.41 84[0:Inp] || -> cC160xcomp(iV21030)*.
% 18.23/18.41 86[0:Inp] || -> cC74xcomp(iV21030)*.
% 18.23/18.41 87[0:Inp] || -> cC32xcomp(iV21030)*.
% 18.23/18.41 89[0:Inp] || -> cC2xcomp(iV21032)*.
% 18.23/18.41 90[0:Inp] || -> cC92(iV21032)*.
% 18.23/18.41 91[0:Inp] || -> cC100(iV21032)*.
% 18.23/18.41 92[0:Inp] || -> cC6(iV21032)*.
% 18.23/18.41 94[0:Inp] || -> cC18(iV21032)*.
% 18.23/18.41 95[0:Inp] || -> cC92(iV21033)*.
% 18.23/18.41 96[0:Inp] || -> cC12xcomp(iV21033)*.
% 18.23/18.41 97[0:Inp] || -> cC100(iV21033)*.
% 18.23/18.41 98[0:Inp] || -> cC6(iV21033)*.
% 18.23/18.41 100[0:Inp] || -> cC18(iV21033)*.
% 18.23/18.41 101[0:Inp] || -> cC92(iV21034)*.
% 18.23/18.41 102[0:Inp] || -> cC2xcomp(iV21034)*.
% 18.23/18.41 103[0:Inp] || -> cC100(iV21034)*.
% 18.23/18.41 104[0:Inp] || -> cC6(iV21034)*.
% 18.23/18.41 106[0:Inp] || -> cC18(iV21034)*.
% 18.23/18.41 107[0:Inp] || -> cC92(iV21035)*.
% 18.23/18.41 108[0:Inp] || -> cC12xcomp(iV21035)*.
% 18.23/18.41 109[0:Inp] || -> cC100(iV21035)*.
% 18.23/18.41 110[0:Inp] || -> cC6(iV21035)*.
% 18.23/18.41 112[0:Inp] || -> cC18(iV21035)*.
% 18.23/18.41 113[0:Inp] || -> cC92(iV21036)*.
% 18.23/18.41 114[0:Inp] || -> cC2xcomp(iV21036)*.
% 18.23/18.41 115[0:Inp] || -> cC100(iV21036)*.
% 18.23/18.41 116[0:Inp] || -> cC6(iV21036)*.
% 18.23/18.41 118[0:Inp] || -> cC18(iV21036)*.
% 18.23/18.41 119[0:Inp] cowlNothing(u) || -> .
% 18.23/18.41 122[0:Inp] || -> cC6xcomp(skf182(u))*.
% 18.23/18.41 132[0:Inp] || -> cC6xcomp(skf261(u))*.
% 18.23/18.41 134[0:Inp] || -> rR1(iV21026,iV21030)*.
% 18.23/18.41 135[0:Inp] || -> rR1(iV21026,iV21027)*.
% 18.23/18.41 137[0:Inp] || -> rR1(iV21026,iV21029)*.
% 18.23/18.41 138[0:Inp] || -> rR1(iV21027,iV21036)*.
% 18.23/18.41 139[0:Inp] || -> rR1(iV21027,iV21035)*.
% 18.23/18.41 140[0:Inp] || -> rR1(iV21029,iV21034)*.
% 18.23/18.41 141[0:Inp] || -> rR1(iV21029,iV21033)*.
% 18.23/18.41 142[0:Inp] || -> rR1(iV21030,iV21032)*.
% 18.23/18.41 144[0:Inp] || -> xsd_string(u) xsd_integer(u)*.
% 18.23/18.41 145[0:Inp] cC10(u) || -> cC8(u)*.
% 18.23/18.41 151[0:Inp] cC110(u) || -> cC108(u)*.
% 18.23/18.41 153[0:Inp] cC112(u) || -> cC110(u)*.
% 18.23/18.41 154[0:Inp] cC112(u) || -> cC90(u)*.
% 18.23/18.41 156[0:Inp] cTOP(u) || -> cC114(u)*.
% 18.23/18.41 157[0:Inp] cC116(u) || -> cC114(u)*.
% 18.23/18.41 158[0:Inp] cC116(u) || -> cC112(u)*.
% 18.23/18.41 165[0:Inp] cC132(u) || -> cC130(u)*.
% 18.23/18.41 167[0:Inp] cC134(u) || -> cC116(u)*.
% 18.23/18.41 168[0:Inp] cC134(u) || -> cC132(u)*.
% 18.23/18.41 170[0:Inp] cTOP(u) || -> cC136(u)*.
% 18.23/18.41 171[0:Inp] cC138(u) || -> cC136(u)*.
% 18.23/18.41 172[0:Inp] cC138(u) || -> cC134(u)*.
% 18.23/18.41 179[0:Inp] cC154(u) || -> cC152(u)*.
% 18.23/18.41 181[0:Inp] cC156(u) || -> cC154(u)*.
% 18.23/18.41 182[0:Inp] cC156(u) || -> cC138(u)*.
% 18.23/18.41 183[0:Inp] cC158(u) || -> cC22(u)*.
% 18.23/18.41 184[0:Inp] cC158(u) || -> cC156(u)*.
% 18.23/18.41 185[0:Inp] cC16(u) || -> cC10(u)*.
% 18.23/18.41 190[0:Inp] cC174(u) || -> cC168(u)*.
% 18.23/18.41 191[0:Inp] cC180(u) || -> cC174(u)*.
% 18.23/18.41 194[0:Inp] cC22(u) || -> cC16(u)*.
% 18.23/18.41 201[0:Inp] cC38(u) || -> cC36(u)*.
% 18.23/18.41 204[0:Inp] cTOP(u) || -> cC40(u)*.
% 18.23/18.41 205[0:Inp] cC42(u) || -> cC40(u)*.
% 18.23/18.41 206[0:Inp] cC42(u) || -> cC38(u)*.
% 18.23/18.41 213[0:Inp] cC58(u) || -> cC56(u)*.
% 18.23/18.41 215[0:Inp] cC60(u) || -> cC58(u)*.
% 18.23/18.41 216[0:Inp] cC60(u) || -> cC42(u)*.
% 18.23/18.41 218[0:Inp] cTOP(u) || -> cC62(u)*.
% 18.23/18.41 219[0:Inp] cC64(u) || -> cC60(u)*.
% 18.23/18.41 220[0:Inp] cC64(u) || -> cC62(u)*.
% 18.23/18.41 227[0:Inp] cC80(u) || -> cC78(u)*.
% 18.23/18.41 229[0:Inp] cC82(u) || -> cC64(u)*.
% 18.23/18.41 230[0:Inp] cC82(u) || -> cC80(u)*.
% 18.23/18.41 232[0:Inp] cTOP(u) || -> cC84(u)*.
% 18.23/18.41 233[0:Inp] cC86(u) || -> cC82(u)*.
% 18.23/18.41 234[0:Inp] cC86(u) || -> cC84(u)*.
% 18.23/18.41 236[0:Inp] cTOP(u) || -> cC88(u)*.
% 18.23/18.41 237[0:Inp] cC90(u) || -> cC86(u)*.
% 18.23/18.41 238[0:Inp] cC90(u) || -> cC88(u)*.
% 18.23/18.41 241[0:Inp] cTEST(u) || -> cC158(u)*.
% 18.23/18.41 242[0:Inp] cTEST(u) || -> cC180(u)*.
% 18.23/18.41 243[0:Inp] xsd_integer(u) xsd_string(u) || -> .
% 18.23/18.41 350[0:Inp] || ra_Px24(u,v)* -> cC72(u).
% 18.23/18.41 351[0:Inp] || -> cC72xcomp(u) ra_Px24(u,skf255(u))*.
% 18.23/18.41 363[0:Inp] cC98(u) || -> cC96(skf269(v))*.
% 18.23/18.41 364[0:Inp] || ra_Px35(u,v)* -> cC98(u).
% 18.23/18.41 365[0:Inp] || -> cC98xcomp(u) ra_Px35(u,skf271(u))*.
% 18.23/18.41 440[0:Inp] cC160(u) || -> rR1(u,skf182(u))*.
% 18.23/18.41 514[0:Inp] cC74(u) || -> ra_Px87(u,skf256(u))*.
% 18.23/18.41 515[0:Inp] cC74xcomp(u) || ra_Px87(u,v)* -> .
% 18.23/18.41 517[0:Inp] cC76(u) || -> ra_Px26(u,skf259(u))*.
% 18.23/18.41 518[0:Inp] cC76xcomp(u) || ra_Px26(u,v)* -> .
% 18.23/18.41 519[0:Inp] cC8(u) || -> rR1(u,skf261(u))*.
% 18.23/18.41 530[0:Inp] cC4(u) cC8(u) || -> cC10(u)*.
% 18.23/18.41 532[0:Inp] cC106xcomp(u) cC98xcomp(u) || -> cC108(u)*.
% 18.23/18.41 533[0:Inp] cTOP(u) cC108(u) || -> cC110(u)*.
% 18.23/18.41 534[0:Inp] cC90(u) cC110(u) || -> cC112(u)*.
% 18.23/18.41 535[0:Inp] cC112(u) cC114(u) || -> cC116(u)*.
% 18.23/18.41 538[0:Inp] cC122xcomp(u) cC128xcomp(u) || -> cC130(u)*.
% 18.23/18.41 539[0:Inp] cTOP(u) cC130(u) || -> cC132(u)*.
% 18.23/18.41 540[0:Inp] cC132(u) cC116(u) || -> cC134(u)*.
% 18.23/18.41 541[0:Inp] cC134(u) cC136(u) || -> cC138(u)*.
% 18.23/18.41 544[0:Inp] cC150xcomp(u) cC144xcomp(u) || -> cC152(u)*.
% 18.23/18.41 545[0:Inp] cTOP(u) cC152(u) || -> cC154(u)*.
% 18.23/18.41 546[0:Inp] cC138(u) cC154(u) || -> cC156(u)*.
% 18.23/18.41 547[0:Inp] cC156(u) cC22(u) || -> cC158(u)*.
% 18.23/18.41 548[0:Inp] cC14(u) cC10(u) || -> cC16(u)*.
% 18.23/18.41 549[0:Inp] cC166xcomp(u) cC162xcomp(u) || -> cC168(u)*.
% 18.23/18.41 550[0:Inp] cC168(u) cC172xcomp(u) || -> cC174(u)*.
% 18.23/18.41 551[0:Inp] cC178xcomp(u) cC174(u) || -> cC180(u)*.
% 18.23/18.41 552[0:Inp] cC16(u) cC20(u) || -> cC22(u)*.
% 18.23/18.41 555[0:Inp] cC28xcomp(u) cC34xcomp(u) || -> cC36(u)*.
% 18.23/18.41 556[0:Inp] cTOP(u) cC36(u) || -> cC38(u)*.
% 18.23/18.41 557[0:Inp] cC38(u) cC40(u) || -> cC42(u)*.
% 18.23/18.41 560[0:Inp] cC54xcomp(u) cC48xcomp(u) || -> cC56(u)*.
% 18.23/18.41 561[0:Inp] cTOP(u) cC56(u) || -> cC58(u)*.
% 18.23/18.41 562[0:Inp] cC42(u) cC58(u) || -> cC60(u)*.
% 18.23/18.41 563[0:Inp] cC62(u) cC60(u) || -> cC64(u)*.
% 18.23/18.41 565[0:Inp] cC18xcomp(u) cC72xcomp(u) || -> cC74(u)*.
% 18.23/18.41 566[0:Inp] cC76xcomp(u) cC70xcomp(u) || -> cC78(u)*.
% 18.23/18.41 567[0:Inp] cTOP(u) cC78(u) || -> cC80(u)*.
% 18.23/18.41 568[0:Inp] cC80(u) cC64(u) || -> cC82(u)*.
% 18.23/18.41 569[0:Inp] cC84(u) cC82(u) || -> cC86(u)*.
% 18.23/18.41 570[0:Inp] cC88(u) cC86(u) || -> cC90(u)*.
% 18.23/18.41 579[0:Inp] cC12xcomp(u) || rR1(v,u)* -> cC14(v).
% 18.23/18.41 584[0:Inp] cC6xcomp(u) || rR1(v,u)* -> cC160(v).
% 18.23/18.41 588[0:Inp] cC18xcomp(u) || rR1(v,u)* -> cC170(v).
% 18.23/18.41 592[0:Inp] cC18xcomp(u) || rR1(v,u)* -> cC20(v).
% 18.23/18.41 593[0:Inp] cC2xcomp(u) || rR1(v,u)* -> cC24(v).
% 18.23/18.41 595[0:Inp] cC12xcomp(u) || rR1(v,u)* -> cC30(v).
% 18.23/18.41 597[0:Inp] cC2xcomp(u) || rR1(v,u)* -> cC4(v).
% 18.23/18.41 598[0:Inp] cC2xcomp(u) || rR1(v,u)* -> cC44(v).
% 18.23/18.41 600[0:Inp] cC12xcomp(u) || rR1(v,u)* -> cC50(v).
% 18.23/18.41 602[0:Inp] cC2xcomp(u) || rR1(v,u)* -> cC66(v).
% 18.23/18.41 604[0:Inp] cC12xcomp(u) || rR1(v,u)* -> cC72(v).
% 18.23/18.41 605[0:Inp] cC74(u) || rR1(v,u)* -> cC76(v).
% 18.23/18.41 606[0:Inp] cC6xcomp(u) || rR1(v,u)* -> cC8(v).
% 18.23/18.41 609[0:Inp] || xsd_string(skc5) cowlThing(skc3) cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cowlThing(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC78(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC20(iV21026) cC84(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026) cC116(iV21026) cC82(iV21026) cC14(iV21026) cC152(iV21026) cC80(iV21026) cC88(iV21026) cC130(iV21026) cC168(iV21026) cC4(iV21026) cC134(iV21026) cC42(iV21026) cC156(iV21026) cC86(iV21026) cC30(iV21027) cowlThing(iV21027) cC24(iV21027) cC50(iV21029) cC44(iV21029) cowlThing(iV21029) cC72(iV21030) cC66(iV21030) cowlThing(iV21030) -> xsd_integer(skc5) cowlNothing(skc4)*.
% 18.23/18.41 610[0:Inp] || xsd_integer(skc5) cowlThing(skc3) cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cowlThing(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC78(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC20(iV21026) cC84(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026) cC116(iV21026) cC82(iV21026) cC14(iV21026) cC152(iV21026) cC80(iV21026) cC88(iV21026) cC130(iV21026) cC168(iV21026) cC4(iV21026) cC134(iV21026) cC42(iV21026) cC156(iV21026) cC86(iV21026) cC30(iV21027) cowlThing(iV21027) cC24(iV21027) cC50(iV21029) cC44(iV21029) cowlThing(iV21029) cC72(iV21030) cC66(iV21030) cowlThing(iV21030) -> xsd_string(skc5) cowlNothing(skc4)*.
% 18.23/18.41 611[0:MRR:609.0,609.1,609.7,609.44,609.48,609.51,609.53,144.1,1.0,1.0,1.0,1.0,1.0,119.0] || cC66(iV21030) cC72(iV21030) cC44(iV21029) cC50(iV21029) cC24(iV21027) cC30(iV21027) cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC4(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC14(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC20(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_integer(skc5)*.
% 18.23/18.41 612[0:MRR:610.0,610.1,610.7,610.44,610.48,610.51,610.53,611.46,1.0,1.0,1.0,1.0,1.0,119.0] || cC66(iV21030) cC72(iV21030) cC44(iV21029) cC50(iV21029) cC24(iV21027) cC30(iV21027) cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC4(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC14(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC20(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_string(skc5)*.
% 18.23/18.41 1158[0:Res:365.1,364.0] || -> cC98xcomp(u) cC98(u)*.
% 18.23/18.41 1159[0:EmS:363.0,1158.1] || -> cC96(skf269(u))* cC98xcomp(v)*.
% 18.23/18.41 1161[1:Spt:1159.1] || -> cC98xcomp(u)*.
% 18.23/18.41 1163[1:MRR:532.1,1161.0] cC106xcomp(u) || -> cC108(u)*.
% 18.23/18.41 1184[0:Res:351.1,350.0] || -> cC72xcomp(u)* cC72(u).
% 18.23/18.41 2325[0:Res:517.1,518.1] cC76(u) cC76xcomp(u) || -> .
% 18.23/18.41 2357[0:Res:514.1,515.1] cC74(u) cC74xcomp(u) || -> .
% 18.23/18.41 2650[0:Res:134.0,605.1] cC74(iV21030) || -> cC76(iV21026)*.
% 18.23/18.41 3055[0:SoR:2650.0,565.2] cC72xcomp(iV21030) cC18xcomp(iV21030) || -> cC76(iV21026)*.
% 18.23/18.41 3056[0:SSi:3055.1,78.0,66.0,87.0,86.0,84.0,82.0,81.0,80.0,79.0,77.0,76.0,74.0,73.0,72.0,70.0,69.0,68.0,67.0,75.0,83.0,71.0] cC72xcomp(iV21030) || -> cC76(iV21026)*.
% 18.23/18.41 3509[0:Res:440.1,606.1] cC160(u) cC6xcomp(skf182(u)) || -> cC8(u)*.
% 18.23/18.41 3515[0:SSi:3509.1,122.0] cC160(u) || -> cC8(u)*.
% 18.23/18.41 3552[0:Res:519.1,584.1] cC8(u) cC6xcomp(skf261(u)) || -> cC160(u)*.
% 18.23/18.41 3568[0:SSi:3552.1,132.0] cC8(u) || -> cC160(u)*.
% 18.23/18.41 3584[0:Res:134.0,592.1] cC18xcomp(iV21030) || -> cC20(iV21026)*.
% 18.23/18.41 3620[0:SSi:3584.0,78.0,66.0,87.0,86.0,84.0,82.0,81.0,80.0,79.0,77.0,76.0,74.0,73.0,72.0,70.0,69.0,68.0,67.0,75.0,83.0,71.0] || -> cC20(iV21026)*.
% 18.23/18.41 3621[0:MRR:612.28,3620.0] || cC66(iV21030) cC72(iV21030) cC44(iV21029) cC50(iV21029) cC24(iV21027) cC30(iV21027) cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC4(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC14(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_string(skc5)*.
% 18.23/18.41 3622[0:MRR:611.28,3620.0] || cC66(iV21030) cC72(iV21030) cC44(iV21029) cC50(iV21029) cC24(iV21027) cC30(iV21027) cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC4(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC14(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_integer(skc5)*.
% 18.23/18.41 3637[0:Res:134.0,588.1] cC18xcomp(iV21030) || -> cC170(iV21026)*.
% 18.23/18.41 3673[0:SSi:3637.0,78.0,66.0,87.0,86.0,84.0,82.0,81.0,80.0,79.0,77.0,76.0,74.0,73.0,72.0,70.0,69.0,68.0,67.0,75.0,83.0,71.0] || -> cC170(iV21026)*.
% 18.23/18.41 3693[0:Res:141.0,604.1] cC12xcomp(iV21033) || -> cC72(iV21029)*.
% 18.23/18.41 3695[0:Res:139.0,604.1] cC12xcomp(iV21035) || -> cC72(iV21027)*.
% 18.23/18.41 3697[0:Res:137.0,604.1] cC12xcomp(iV21029) || -> cC72(iV21026)*.
% 18.23/18.41 3736[0:SSi:3693.0,98.0,100.0,97.0,95.0,96.0] || -> cC72(iV21029)*.
% 18.23/18.41 3741[0:SSi:3695.0,110.0,112.0,109.0,107.0,108.0] || -> cC72(iV21027)*.
% 18.23/18.41 3746[0:SSi:3697.0,56.0,65.0,64.0,62.0,60.0,59.0,58.0,57.0,55.0,54.0,51.0,50.0,49.0,47.0,46.0,45.0,44.0,53.0,61.0,48.0,52.0] || -> cC72(iV21026)*.
% 18.23/18.41 3768[0:Res:141.0,600.1] cC12xcomp(iV21033) || -> cC50(iV21029)*.
% 18.23/18.41 3770[0:Res:139.0,600.1] cC12xcomp(iV21035) || -> cC50(iV21027)*.
% 18.23/18.41 3772[0:Res:137.0,600.1] cC12xcomp(iV21029) || -> cC50(iV21026)*.
% 18.23/18.41 3811[0:SSi:3768.0,98.0,100.0,97.0,95.0,96.0] || -> cC50(iV21029)*.
% 18.23/18.41 3816[0:MRR:3621.3,3811.0] || cC66(iV21030) cC72(iV21030) cC44(iV21029) cC24(iV21027) cC30(iV21027) cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC4(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC14(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_string(skc5)*.
% 18.23/18.41 3817[0:MRR:3622.3,3811.0] || cC66(iV21030) cC72(iV21030) cC44(iV21029) cC24(iV21027) cC30(iV21027) cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC4(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC14(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_integer(skc5)*.
% 18.23/18.41 3818[0:SSi:3770.0,110.0,112.0,109.0,107.0,108.0] || -> cC50(iV21027)*.
% 18.23/18.41 3823[0:SSi:3772.0,56.0,65.0,64.0,62.0,60.0,59.0,58.0,57.0,55.0,54.0,51.0,50.0,49.0,47.0,46.0,45.0,44.0,53.0,61.0,48.0,52.0,3736.0] || -> cC50(iV21026)*.
% 18.23/18.41 3845[0:Res:141.0,595.1] cC12xcomp(iV21033) || -> cC30(iV21029)*.
% 18.23/18.41 3847[0:Res:139.0,595.1] cC12xcomp(iV21035) || -> cC30(iV21027)*.
% 18.23/18.41 3849[0:Res:137.0,595.1] cC12xcomp(iV21029) || -> cC30(iV21026)*.
% 18.23/18.41 3888[0:SSi:3845.0,98.0,100.0,97.0,95.0,96.0] || -> cC30(iV21029)*.
% 18.23/18.41 3893[0:SSi:3847.0,110.0,112.0,109.0,107.0,108.0] || -> cC30(iV21027)*.
% 18.23/18.41 3898[0:MRR:3816.4,3893.0] || cC66(iV21030) cC72(iV21030) cC44(iV21029) cC24(iV21027) cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC4(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC14(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_string(skc5)*.
% 18.23/18.41 3899[0:MRR:3817.4,3893.0] || cC66(iV21030) cC72(iV21030) cC44(iV21029) cC24(iV21027) cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC4(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC14(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_integer(skc5)*.
% 18.23/18.41 3900[0:SSi:3849.0,56.0,65.0,64.0,62.0,60.0,59.0,58.0,57.0,55.0,54.0,51.0,50.0,49.0,47.0,46.0,45.0,44.0,53.0,61.0,48.0,52.0,3736.0,3811.0] || -> cC30(iV21026)*.
% 18.23/18.41 3924[0:Res:139.0,579.1] cC12xcomp(iV21035) || -> cC14(iV21027)*.
% 18.23/18.41 3926[0:Res:137.0,579.1] cC12xcomp(iV21029) || -> cC14(iV21026)*.
% 18.23/18.41 3970[0:SSi:3924.0,110.0,112.0,109.0,107.0,108.0] || -> cC14(iV21027)*.
% 18.23/18.41 3975[0:SSi:3926.0,56.0,65.0,64.0,62.0,60.0,59.0,58.0,57.0,55.0,54.0,51.0,50.0,49.0,47.0,46.0,45.0,44.0,53.0,61.0,48.0,52.0,3736.0,3811.0,3888.0] || -> cC14(iV21026)*.
% 18.23/18.41 3976[0:MRR:3898.14,3975.0] || cC66(iV21030) cC72(iV21030) cC44(iV21029) cC24(iV21027) cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC4(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_string(skc5)*.
% 18.23/18.41 3977[0:MRR:3899.14,3975.0] || cC66(iV21030) cC72(iV21030) cC44(iV21029) cC24(iV21027) cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC4(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_integer(skc5)*.
% 18.23/18.41 3982[0:Res:142.0,602.1] cC2xcomp(iV21032) || -> cC66(iV21030)*.
% 18.23/18.41 3986[0:Res:138.0,602.1] cC2xcomp(iV21036) || -> cC66(iV21027)*.
% 18.23/18.41 3989[0:Res:135.0,602.1] cC2xcomp(iV21027) || -> cC66(iV21026)*.
% 18.23/18.41 4026[0:SSi:3982.0,92.0,94.0,91.0,90.0,89.0] || -> cC66(iV21030)*.
% 18.23/18.41 4031[0:MRR:3976.0,4026.0] || cC72(iV21030) cC44(iV21029) cC24(iV21027) cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC4(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_string(skc5)*.
% 18.23/18.41 4032[0:MRR:3977.0,4026.0] || cC72(iV21030) cC44(iV21029) cC24(iV21027) cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC4(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_integer(skc5)*.
% 18.23/18.41 4038[0:SSi:3986.0,116.0,118.0,115.0,113.0,114.0] || -> cC66(iV21027)*.
% 18.23/18.41 4043[0:SSi:3989.0,21.0,42.0,41.0,39.0,37.0,36.0,35.0,34.0,33.0,32.0,29.0,28.0,27.0,25.0,24.0,23.0,22.0,31.0,38.0,26.0,30.0,3741.0,3818.0,3893.0,3970.0] || -> cC66(iV21026)*.
% 18.23/18.41 4064[0:Res:142.0,598.1] cC2xcomp(iV21032) || -> cC44(iV21030)*.
% 18.23/18.41 4066[0:Res:140.0,598.1] cC2xcomp(iV21034) || -> cC44(iV21029)*.
% 18.23/18.41 4068[0:Res:138.0,598.1] cC2xcomp(iV21036) || -> cC44(iV21027)*.
% 18.23/18.41 4071[0:Res:135.0,598.1] cC2xcomp(iV21027) || -> cC44(iV21026)*.
% 18.23/18.41 4108[0:SSi:4064.0,92.0,94.0,91.0,90.0,89.0] || -> cC44(iV21030)*.
% 18.23/18.41 4113[0:SSi:4066.0,104.0,106.0,103.0,101.0,102.0] || -> cC44(iV21029)*.
% 18.23/18.41 4118[0:MRR:4031.1,4113.0] || cC72(iV21030) cC24(iV21027) cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC4(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_string(skc5)*.
% 18.23/18.41 4119[0:MRR:4032.1,4113.0] || cC72(iV21030) cC24(iV21027) cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC4(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_integer(skc5)*.
% 18.23/18.41 4120[0:SSi:4068.0,116.0,118.0,115.0,113.0,114.0] || -> cC44(iV21027)*.
% 18.23/18.41 4125[0:SSi:4071.0,21.0,42.0,41.0,39.0,37.0,36.0,35.0,34.0,33.0,32.0,29.0,28.0,27.0,25.0,24.0,23.0,22.0,31.0,38.0,26.0,30.0,3741.0,3818.0,3893.0,3970.0,4038.0] || -> cC44(iV21026)*.
% 18.23/18.41 4146[0:Res:142.0,597.1] cC2xcomp(iV21032) || -> cC4(iV21030)*.
% 18.23/18.41 4150[0:Res:138.0,597.1] cC2xcomp(iV21036) || -> cC4(iV21027)*.
% 18.23/18.41 4153[0:Res:135.0,597.1] cC2xcomp(iV21027) || -> cC4(iV21026)*.
% 18.23/18.41 4190[0:SSi:4146.0,92.0,94.0,91.0,90.0,89.0] || -> cC4(iV21030)*.
% 18.23/18.41 4200[0:SSi:4150.0,116.0,118.0,115.0,113.0,114.0] || -> cC4(iV21027)*.
% 18.23/18.41 4205[0:SSi:4153.0,21.0,42.0,41.0,39.0,37.0,36.0,35.0,34.0,33.0,32.0,29.0,28.0,27.0,25.0,24.0,23.0,22.0,31.0,38.0,26.0,30.0,3741.0,3818.0,3893.0,3970.0,4038.0,4120.0] || -> cC4(iV21026)*.
% 18.23/18.41 4206[0:MRR:4118.6,4205.0] || cC72(iV21030) cC24(iV21027) cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_string(skc5)*.
% 18.23/18.41 4207[0:MRR:4119.6,4205.0] || cC72(iV21030) cC24(iV21027) cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_integer(skc5)*.
% 18.23/18.41 4212[0:Res:142.0,593.1] cC2xcomp(iV21032) || -> cC24(iV21030)*.
% 18.23/18.41 4216[0:Res:138.0,593.1] cC2xcomp(iV21036) || -> cC24(iV21027)*.
% 18.23/18.41 4219[0:Res:135.0,593.1] cC2xcomp(iV21027) || -> cC24(iV21026)*.
% 18.23/18.41 4256[0:SSi:4212.0,92.0,94.0,91.0,90.0,89.0] || -> cC24(iV21030)*.
% 18.23/18.41 4266[0:SSi:4216.0,116.0,118.0,115.0,113.0,114.0] || -> cC24(iV21027)*.
% 18.23/18.41 4271[0:MRR:4206.1,4266.0] || cC72(iV21030) cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_string(skc5)*.
% 18.23/18.41 4272[0:MRR:4207.1,4266.0] || cC72(iV21030) cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_integer(skc5)*.
% 18.23/18.41 4273[0:SSi:4219.0,21.0,42.0,41.0,39.0,37.0,36.0,35.0,34.0,33.0,32.0,29.0,28.0,27.0,25.0,24.0,23.0,22.0,31.0,38.0,26.0,30.0,3741.0,3818.0,3893.0,3970.0,4038.0,4120.0,4200.0] || -> cC24(iV21026)*.
% 18.23/18.41 4387[2:Spt:4271.0] || cC72(iV21030)* -> .
% 18.23/18.41 4418[0:SoR:3056.0,1184.0] || -> cC76(iV21026)* cC72(iV21030).
% 18.23/18.41 4419[2:MRR:4418.1,4387.0] || -> cC76(iV21026)*.
% 18.23/18.41 6199[2:EmS:2325.0,2325.1,4419.0,4.0] || -> .
% 18.23/18.41 6201[2:Spt:6199.0,4271.0,4387.0] || -> cC72(iV21030)*.
% 18.23/18.41 6202[2:Spt:6199.0,4271.1,4271.2,4271.3,4271.4,4271.5,4271.6,4271.7,4271.8,4271.9,4271.10,4271.11,4271.12,4271.13,4271.14,4271.15,4271.16,4271.17,4271.18,4271.19,4271.20,4271.21,4271.22,4271.23,4271.24,4271.25,4271.26,4271.27,4271.28,4271.29,4271.30,4271.31,4271.32,4271.33,4271.34,4271.35,4271.36,4271.37,4271.38] || cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_string(skc5)*.
% 18.23/18.41 6258[2:MRR:4272.0,6201.0] || cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_integer(skc5)*.
% 18.23/18.41 6268[3:Spt:6258.14] || cC8(iV21026)* -> .
% 18.23/18.41 6276[3:Res:145.1,6268.0] cC10(iV21026) || -> .
% 18.23/18.41 6280[3:SSi:6276.0,241.0,183.0,194.0,185.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.1,4125.1,4205.1,4273.1] || -> .
% 18.23/18.41 6281[3:Spt:6280.0,6258.14,6268.0] || -> cC8(iV21026)*.
% 18.23/18.41 6282[3:Spt:6280.0,6258.0,6258.1,6258.2,6258.3,6258.4,6258.5,6258.6,6258.7,6258.8,6258.9,6258.10,6258.11,6258.12,6258.13,6258.15,6258.16,6258.17,6258.18,6258.19,6258.20,6258.21,6258.22,6258.23,6258.24,6258.25,6258.26,6258.27,6258.28,6258.29,6258.30,6258.31,6258.32,6258.33,6258.34,6258.35,6258.36,6258.37] || cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_integer(skc5)*.
% 18.23/18.41 6283[3:MRR:6202.14,6281.0] || cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_string(skc5)*.
% 18.23/18.41 6791[0:EmS:2357.0,2357.1,565.2,86.0] cC18xcomp(iV21030) cC72xcomp(iV21030) || -> .
% 18.23/18.41 17882[3:EmS:243.0,243.1,6282.36,6283.36] || cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026)* cC80(iV21026) cC152(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC78(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC84(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026) cC116(iV21026) cC82(iV21026) cC152(iV21026) cC80(iV21026) cC88(iV21026)* cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) cC156(iV21026) cC86(iV21026) -> .
% 18.23/18.42 17884[3:Obv:17882.35] || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC78(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC84(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026) cC116(iV21026) cC82(iV21026) cC152(iV21026) cC80(iV21026) cC88(iV21026)* cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) cC156(iV21026) cC86(iV21026) -> .
% 18.23/18.42 43839[3:Res:238.1,17884.29] cC90(iV21026) || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC78(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC84(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026) cC116(iV21026) cC82(iV21026) cC152(iV21026) cC80(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) cC156(iV21026) cC86(iV21026)* -> .
% 18.23/18.42 43840[3:Obv:43839.0] || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC78(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC84(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026) cC116(iV21026) cC82(iV21026) cC152(iV21026) cC80(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) cC156(iV21026) cC86(iV21026)* -> .
% 18.23/18.42 43870[3:Res:237.1,43840.34] cC90(iV21026) || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC78(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC84(iV21026)* cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026) cC116(iV21026) cC82(iV21026) cC152(iV21026) cC80(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) cC156(iV21026) -> .
% 18.23/18.42 43871[3:Obv:43870.0] || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC78(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC84(iV21026)* cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026) cC116(iV21026) cC82(iV21026) cC152(iV21026) cC80(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) cC156(iV21026) -> .
% 18.23/18.42 50602[3:Res:234.1,43871.17] cC86(iV21026) || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC78(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026) cC116(iV21026) cC82(iV21026)* cC152(iV21026) cC80(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) cC156(iV21026) -> .
% 18.23/18.42 50603[3:SSi:50602.0,232.0,566.0,567.0,218.0,555.0,556.0,204.0,557.0,560.0,561.0,562.0,563.0,568.0,569.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.2,2.2,3.2,3620.2,3673.2,3746.2,3823.2,3900.1,3975.2,4043.2,4125.1,4205.2,4273.2,6281.1] || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC78(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026) cC116(iV21026) cC82(iV21026)* cC152(iV21026) cC80(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51677[3:Res:233.1,50603.25] cC86(iV21026) || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC78(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026) cC116(iV21026) cC152(iV21026) cC80(iV21026)* cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51678[3:SSi:51677.0,232.0,566.0,567.0,218.0,555.0,556.0,204.0,557.0,560.0,561.0,562.0,563.0,568.0,569.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.2,2.2,3.2,3620.2,3673.2,3746.2,3823.2,3900.1,3975.2,4043.2,4125.1,4205.2,4273.2,6281.1] || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC78(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026) cC116(iV21026) cC152(iV21026) cC80(iV21026)* cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51681[3:Res:230.1,51678.26] cC82(iV21026) || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC78(iV21026)* cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51682[3:SSi:51681.0,566.0,567.0,218.0,555.0,556.0,204.0,557.0,560.0,561.0,562.0,563.0,568.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.2,3620.2,3673.2,3746.2,3823.2,3900.2,3975.1,4043.2,4125.2,4205.1,4273.2,6281.2] || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC78(iV21026)* cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51685[3:Res:227.1,51682.13] cC80(iV21026) || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026)* cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51686[3:SSi:51685.0,566.0,567.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.2,6281.2] || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026)* cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51688[3:Res:229.1,51686.22] cC82(iV21026) || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026)* cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51689[3:SSi:51688.0,566.0,567.0,218.0,555.0,556.0,204.0,557.0,560.0,561.0,562.0,563.0,568.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.2,3620.2,3673.2,3746.2,3823.2,3900.2,3975.1,4043.2,4125.2,4205.1,4273.2,6281.2] || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026)* cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51692[3:Res:220.1,51689.19] cC64(iV21026) || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026)* cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51693[3:SSi:51692.0,218.0,555.0,556.0,204.0,557.0,560.0,561.0,562.0,563.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.2,3823.2,3900.2,3975.2,4043.2,4125.1,4205.2,4273.2,6281.1] || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026)* cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51695[3:Res:219.1,51693.10] cC64(iV21026) || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026)* cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51696[3:SSi:51695.0,218.0,555.0,556.0,204.0,557.0,560.0,561.0,562.0,563.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.2,3823.2,3900.2,3975.2,4043.2,4125.1,4205.2,4273.2,6281.1] || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026)* cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51699[3:Res:215.1,51696.5] cC60(iV21026) || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC56(iV21026)* cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51700[3:SSi:51699.0,555.0,556.0,204.0,557.0,560.0,561.0,562.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.2,3975.2,4043.2,4125.2,4205.1,4273.2,6281.2] || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC56(iV21026)* cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51703[3:Res:213.1,51700.5] cC58(iV21026) || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026)* cC156(iV21026) -> .
% 18.23/18.42 51704[3:SSi:51703.0,560.0,561.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.2,6281.2] || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026)* cC156(iV21026) -> .
% 18.23/18.42 51706[3:Res:216.1,51704.23] cC60(iV21026) || cC108(iV21026) cC40(iV21026)* cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51707[3:SSi:51706.0,555.0,556.0,204.0,557.0,560.0,561.0,562.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.2,3975.2,4043.2,4125.2,4205.1,4273.2,6281.2] || cC108(iV21026) cC40(iV21026)* cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51710[3:Res:205.1,51707.1] cC42(iV21026) || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026)* cC138(iV21026) cC174(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51711[3:SSi:51710.0,555.0,556.0,204.0,557.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.2,4205.1,4273.2,6281.2] || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026)* cC138(iV21026) cC174(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51713[3:Res:206.1,51711.12] cC42(iV21026) || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC174(iV21026) cC36(iV21026)* cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51714[3:SSi:51713.0,555.0,556.0,204.0,557.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.2,4205.1,4273.2,6281.2] || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC174(iV21026) cC36(iV21026)* cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51717[3:Res:201.1,51714.14] cC38(iV21026) || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026)* cC16(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC174(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51718[3:SSi:51717.0,555.0,556.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.2,6281.2] || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026)* cC16(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC174(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51720[3:Res:242.1,51718.8] cTEST(iV21026) || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC174(iV21026)* cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51721[3:SSi:51720.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,6281.0] || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC174(iV21026)* cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51724[3:Res:191.1,51721.12] cC180(iV21026) || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026)* cC134(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51725[3:SSi:51724.0,549.0,550.0,551.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.2,4273.2,6281.2] || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026)* cC134(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51728[3:Res:190.1,51725.16] cC174(iV21026) || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC16(iV21026)* cC132(iV21026) cC114(iV21026) cC138(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC134(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51729[3:SSi:51728.0,549.0,550.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.2,6281.2] || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC16(iV21026)* cC132(iV21026) cC114(iV21026) cC138(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC134(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51731[3:Res:194.1,51729.8] cC22(iV21026) || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026)* cC154(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC134(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51732[3:Obv:51731.0] || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026)* cC154(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC134(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51735[3:Res:183.1,51732.6] cC158(iV21026) || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026)* cC110(iV21026) cC154(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC134(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51736[3:Obv:51735.0] || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026)* cC110(iV21026) cC154(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC134(iV21026) cC156(iV21026) -> .
% 18.23/18.42 51738[3:Res:241.1,51736.4] cTEST(iV21026) || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC154(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC134(iV21026) cC156(iV21026)* -> .
% 18.23/18.42 51739[3:SSi:51738.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,6281.0] || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC154(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC134(iV21026) cC156(iV21026)* -> .
% 18.23/18.42 51742[3:Res:184.1,51739.14] cC158(iV21026) || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC154(iV21026)* cC132(iV21026) cC114(iV21026) cC138(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC134(iV21026) -> .
% 18.23/18.42 51743[3:SSi:51742.0,538.0,539.0,236.0,232.0,566.0,567.0,218.0,555.0,556.0,204.0,557.0,560.0,561.0,562.0,563.0,568.0,569.0,570.0,1163.0,533.0,534.0,156.0,535.0,540.0,170.0,541.0,544.0,545.0,546.2,530.2,548.2,552.2,547.2,20.2,19.2,17.2,16.1,15.2,14.2,13.1,12.2,11.2,10.1,9.2,8.2,7.2,6.2,4.2,2.2,3.2,3620.2,3673.1,3746.2,3823.2,3900.1,3975.2,4043.2,4125.1,4205.1,4273.2,6281.2] || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC154(iV21026)* cC132(iV21026) cC114(iV21026) cC138(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC134(iV21026) -> .
% 18.23/18.42 51746[3:Res:181.1,51743.5] cC156(iV21026) || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026)* cC130(iV21026) cC134(iV21026) -> .
% 18.23/18.42 51747[3:SSi:51746.0,538.0,539.0,236.0,232.0,566.0,567.0,218.0,555.0,556.0,204.0,557.0,560.0,561.0,562.0,563.0,568.0,569.0,570.0,1163.0,533.0,534.0,156.0,535.0,540.0,170.0,541.0,544.0,545.0,546.2,20.2,19.2,17.2,16.1,15.2,14.2,13.1,12.2,11.2,10.1,9.2,8.2,7.2,6.2,4.2,2.2,3.2,3620.2,3673.1,3746.2,3823.2,3900.1,3975.2,4043.2,4125.1,4205.1,4273.2,6281.2] || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026)* cC130(iV21026) cC134(iV21026) -> .
% 18.23/18.42 51750[3:Res:179.1,51747.10] cC154(iV21026) || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026)* cC112(iV21026) cC116(iV21026) cC130(iV21026) cC134(iV21026) -> .
% 18.23/18.42 51751[3:SSi:51750.0,544.0,545.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.2,6281.2] || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026)* cC112(iV21026) cC116(iV21026) cC130(iV21026) cC134(iV21026) -> .
% 18.23/18.42 51753[3:Res:182.1,51751.7] cC156(iV21026) || cC108(iV21026) cC136(iV21026)* cC10(iV21026) cC90(iV21026) cC110(iV21026) cC132(iV21026) cC114(iV21026) cC112(iV21026) cC116(iV21026) cC130(iV21026) cC134(iV21026) -> .
% 18.23/18.42 51754[3:SSi:51753.0,538.0,539.0,236.0,232.0,566.0,567.0,218.0,555.0,556.0,204.0,557.0,560.0,561.0,562.0,563.0,568.0,569.0,570.0,1163.0,533.0,534.0,156.0,535.0,540.0,170.0,541.0,544.0,545.0,546.2,20.2,19.2,17.2,16.1,15.2,14.2,13.1,12.2,11.2,10.1,9.2,8.2,7.2,6.2,4.2,2.2,3.2,3620.2,3673.1,3746.2,3823.2,3900.1,3975.2,4043.2,4125.1,4205.1,4273.2,6281.2] || cC108(iV21026) cC136(iV21026)* cC10(iV21026) cC90(iV21026) cC110(iV21026) cC132(iV21026) cC114(iV21026) cC112(iV21026) cC116(iV21026) cC130(iV21026) cC134(iV21026) -> .
% 18.23/18.42 51757[3:Res:171.1,51754.1] cC138(iV21026) || cC108(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC132(iV21026) cC114(iV21026) cC112(iV21026) cC116(iV21026) cC130(iV21026) cC134(iV21026)* -> .
% 18.23/18.42 51758[3:SSi:51757.0,538.0,539.0,236.0,232.0,566.0,567.0,218.0,555.0,556.0,204.0,557.0,560.0,561.0,562.0,563.0,568.0,569.0,570.0,1163.0,533.0,534.0,156.0,535.0,540.0,170.0,541.0,20.0,19.0,17.2,16.1,15.2,14.2,13.1,12.2,11.2,10.1,9.2,8.2,7.2,6.2,4.2,2.2,3.2,3620.2,3673.1,3746.2,3823.2,3900.1,3975.2,4043.2,4125.1,4205.1,4273.2,6281.2] || cC108(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC132(iV21026) cC114(iV21026) cC112(iV21026) cC116(iV21026) cC130(iV21026) cC134(iV21026)* -> .
% 18.23/18.42 51760[3:Res:172.1,51758.9] cC138(iV21026) || cC108(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC132(iV21026)* cC114(iV21026) cC112(iV21026) cC116(iV21026) cC130(iV21026) -> .
% 18.23/18.42 51761[3:SSi:51760.0,538.0,539.0,236.0,232.0,566.0,567.0,218.0,555.0,556.0,204.0,557.0,560.0,561.0,562.0,563.0,568.0,569.0,570.0,1163.0,533.0,534.0,156.0,535.0,540.0,170.0,541.0,20.0,19.0,17.2,16.1,15.2,14.2,13.1,12.2,11.2,10.1,9.2,8.2,7.2,6.2,4.2,2.2,3.2,3620.2,3673.1,3746.2,3823.2,3900.1,3975.2,4043.2,4125.1,4205.1,4273.2,6281.2] || cC108(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC132(iV21026)* cC114(iV21026) cC112(iV21026) cC116(iV21026) cC130(iV21026) -> .
% 18.23/18.42 51764[3:Res:168.1,51761.4] cC134(iV21026) || cC108(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC114(iV21026) cC112(iV21026) cC116(iV21026) cC130(iV21026)* -> .
% 18.23/18.42 51765[3:SSi:51764.0,538.0,539.0,236.0,232.0,566.0,567.0,218.0,555.0,556.0,204.0,557.0,560.0,561.0,562.0,563.0,568.0,569.0,570.0,1163.0,533.0,534.0,156.0,535.0,540.0,20.0,19.0,17.0,16.0,15.2,14.2,13.1,12.2,11.2,10.1,9.2,8.2,7.2,6.2,4.2,2.2,3.2,3620.2,3673.1,3746.2,3823.2,3900.1,3975.2,4043.2,4125.1,4205.1,4273.2,6281.2] || cC108(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC114(iV21026) cC112(iV21026) cC116(iV21026) cC130(iV21026)* -> .
% 18.23/18.42 51768[3:Res:165.1,51765.7] cC132(iV21026) || cC108(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC114(iV21026) cC112(iV21026) cC116(iV21026)* -> .
% 18.23/18.42 51769[3:SSi:51768.0,538.0,539.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.2,6281.2] || cC108(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC114(iV21026) cC112(iV21026) cC116(iV21026)* -> .
% 18.23/18.42 51771[3:Res:167.1,51769.6] cC134(iV21026) || cC108(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC114(iV21026)* cC112(iV21026) -> .
% 18.23/18.42 51772[3:SSi:51771.0,538.0,539.0,236.0,232.0,566.0,567.0,218.0,555.0,556.0,204.0,557.0,560.0,561.0,562.0,563.0,568.0,569.0,570.0,1163.0,533.0,534.0,156.0,535.0,540.0,20.0,19.0,17.0,16.0,15.2,14.2,13.1,12.2,11.2,10.1,9.2,8.2,7.2,6.2,4.2,2.2,3.2,3620.2,3673.1,3746.2,3823.2,3900.1,3975.2,4043.2,4125.1,4205.1,4273.2,6281.2] || cC108(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC114(iV21026)* cC112(iV21026) -> .
% 18.23/18.42 51774[3:Res:156.1,51772.4] cTOP(iV21026) || cC108(iV21026) cC10(iV21026) cC90(iV21026)* cC110(iV21026) cC112(iV21026) -> .
% 18.23/18.42 51776[3:SSi:51774.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,6281.0] || cC108(iV21026) cC10(iV21026) cC90(iV21026)* cC110(iV21026) cC112(iV21026) -> .
% 18.23/18.42 51778[3:Res:154.1,51776.2] cC112(iV21026) || cC108(iV21026) cC10(iV21026) cC110(iV21026) cC112(iV21026)* -> .
% 18.23/18.42 51779[3:Obv:51778.0] || cC108(iV21026) cC10(iV21026) cC110(iV21026) cC112(iV21026)* -> .
% 18.23/18.42 51781[3:Res:158.1,51779.3] cC116(iV21026) || cC108(iV21026) cC10(iV21026) cC110(iV21026)* -> .
% 18.23/18.42 51782[3:SSi:51781.0,236.0,232.0,566.0,567.0,218.0,555.0,556.0,204.0,557.0,560.0,561.0,562.0,563.0,568.0,569.0,570.0,1163.0,533.0,534.0,156.0,535.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.2,11.1,10.2,9.2,8.1,7.2,6.2,4.2,2.2,3.2,3620.2,3673.2,3746.2,3823.1,3900.2,3975.2,4043.1,4125.2,4205.2,4273.1,6281.1] || cC108(iV21026) cC10(iV21026) cC110(iV21026)* -> .
% 18.23/18.42 51785[3:Res:153.1,51782.2] cC112(iV21026) || cC108(iV21026)* cC10(iV21026) -> .
% 18.23/18.42 51786[3:SSi:51785.0,236.0,232.0,566.0,567.0,218.0,555.0,556.0,204.0,557.0,560.0,561.0,562.0,563.0,568.0,569.0,570.0,1163.0,533.0,534.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.2,9.2,8.1,7.2,6.2,4.2,2.2,3.2,3620.2,3673.2,3746.2,3823.1,3900.2,3975.2,4043.1,4125.2,4205.2,4273.1,6281.1] || cC108(iV21026)* cC10(iV21026) -> .
% 18.23/18.42 51788[3:Res:1163.1,51786.0] cC106xcomp(iV21026) || cC10(iV21026)* -> .
% 18.23/18.42 51790[3:SSi:51788.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,6281.0] || cC10(iV21026)* -> .
% 18.23/18.42 51791[3:Res:530.2,51790.0] cC4(iV21026) cC8(iV21026) || -> .
% 18.23/18.42 51794[3:SSi:51791.1,51791.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,6281.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,6281.0] || -> .
% 18.23/18.42 51795[1:Spt:51794.0,1159.0] || -> cC96(skf269(u))*.
% 18.23/18.42 51809[0:SSi:6791.0,78.0,66.0,87.0,86.0,84.0,82.0,81.0,80.0,79.0,77.0,76.0,74.0,73.0,72.0,70.0,69.0,68.0,67.0,75.0,83.0,71.0,4026.0,4108.0,4190.0,4256.0] cC72xcomp(iV21030) || -> .
% 18.23/18.42 51949[0:SoR:51809.0,1184.0] || -> cC72(iV21030)*.
% 18.23/18.42 51954[0:MRR:4271.0,51949.0] || cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_string(skc5)*.
% 18.23/18.42 51955[0:MRR:4272.0,51949.0] || cC86(iV21026) cC156(iV21026) cC42(iV21026) cC134(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_integer(skc5)*.
% 18.23/18.42 52162[2:Spt:51954.0] || cC86(iV21026)* -> .
% 18.23/18.42 52163[2:Res:569.2,52162.0] cC84(iV21026) cC82(iV21026) || -> .
% 18.23/18.42 52166[2:SSi:52163.1,52163.0,566.0,567.0,218.0,555.0,556.0,204.0,557.0,560.0,561.0,562.0,563.0,568.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.1,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.0,232.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.2,3620.2,3673.2,3746.2,3823.2,3900.2,3975.1,4043.2,4125.2,4205.1,4273.2,5.2] || -> .
% 18.23/18.42 52167[2:Spt:52166.0,51954.0,52162.0] || -> cC86(iV21026)*.
% 18.23/18.42 52168[2:Spt:52166.0,51954.1,51954.2,51954.3,51954.4,51954.5,51954.6,51954.7,51954.8,51954.9,51954.10,51954.11,51954.12,51954.13,51954.14,51954.15,51954.16,51954.17,51954.18,51954.19,51954.20,51954.21,51954.22,51954.23,51954.24,51954.25,51954.26,51954.27,51954.28,51954.29,51954.30,51954.31,51954.32,51954.33,51954.34,51954.35,51954.36,51954.37] || cC156(iV21026) cC42(iV21026) cC134(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_string(skc5)*.
% 18.23/18.42 52169[2:MRR:51955.0,52167.0] || cC156(iV21026) cC42(iV21026) cC134(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_integer(skc5)*.
% 18.23/18.42 52198[3:Spt:52169.0] || cC156(iV21026)* -> .
% 18.23/18.42 52199[3:Res:546.2,52198.0] cC138(iV21026) cC154(iV21026) || -> .
% 18.23/18.42 52202[3:SSi:52199.1,52199.0,544.0,545.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.2,52167.1,538.2,539.2,236.1,570.2,532.2,533.2,534.2,156.1,535.2,540.2,170.0,541.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.2,52167.2] || -> .
% 18.23/18.42 52203[3:Spt:52202.0,52169.0,52198.0] || -> cC156(iV21026)*.
% 18.23/18.42 52204[3:Spt:52202.0,52169.1,52169.2,52169.3,52169.4,52169.5,52169.6,52169.7,52169.8,52169.9,52169.10,52169.11,52169.12,52169.13,52169.14,52169.15,52169.16,52169.17,52169.18,52169.19,52169.20,52169.21,52169.22,52169.23,52169.24,52169.25,52169.26,52169.27,52169.28,52169.29,52169.30,52169.31,52169.32,52169.33,52169.34,52169.35,52169.36] || cC42(iV21026) cC134(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_integer(skc5)*.
% 18.23/18.42 52205[3:MRR:52168.0,52203.0] || cC42(iV21026) cC134(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026) cC80(iV21026) cC152(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) -> xsd_string(skc5)*.
% 18.23/18.42 58575[3:EmS:243.0,243.1,52204.35,52205.35] || cC42(iV21026) cC134(iV21026) cC168(iV21026) cC130(iV21026) cC88(iV21026)* cC80(iV21026) cC152(iV21026) cC82(iV21026) cC116(iV21026) cC64(iV21026) cC112(iV21026) cC36(iV21026) cC8(iV21026) cC62(iV21026) cC174(iV21026) cC138(iV21026) cC38(iV21026) cC84(iV21026) cC114(iV21026) cC132(iV21026) cC16(iV21026) cC78(iV21026) cC180(iV21026) cC154(iV21026) cC60(iV21026) cC22(iV21026) cC110(iV21026) cC158(iV21026) cC56(iV21026) cC58(iV21026) cC90(iV21026) cC10(iV21026) cC136(iV21026) cC40(iV21026) cC108(iV21026) cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC78(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC84(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026) cC116(iV21026) cC82(iV21026) cC152(iV21026) cC80(iV21026) cC88(iV21026)* cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) -> .
% 18.23/18.42 58577[3:Obv:58575.34] || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC78(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC84(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026) cC116(iV21026) cC82(iV21026) cC152(iV21026) cC80(iV21026) cC88(iV21026)* cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) -> .
% 18.23/18.42 74711[3:Res:238.1,58577.30] cC90(iV21026) || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC78(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC84(iV21026)* cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026) cC116(iV21026) cC82(iV21026) cC152(iV21026) cC80(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) -> .
% 18.23/18.42 74712[3:Obv:74711.0] || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC78(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC84(iV21026)* cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026) cC116(iV21026) cC82(iV21026) cC152(iV21026) cC80(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) -> .
% 18.23/18.42 94487[3:Res:234.1,74712.17] cC86(iV21026) || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC78(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026) cC116(iV21026) cC82(iV21026)* cC152(iV21026) cC80(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) -> .
% 18.23/18.42 94488[3:SSi:94487.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.0,52167.0,52203.0] || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC78(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026) cC116(iV21026) cC82(iV21026)* cC152(iV21026) cC80(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) -> .
% 18.23/18.42 105992[3:Res:233.1,94488.26] cC86(iV21026) || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC78(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026) cC116(iV21026) cC152(iV21026) cC80(iV21026)* cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) -> .
% 18.23/18.42 105993[3:SSi:105992.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.0,52167.0,52203.0] || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC78(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026) cC116(iV21026) cC152(iV21026) cC80(iV21026)* cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) -> .
% 18.23/18.42 106051[3:Res:230.1,105993.27] cC82(iV21026) || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC78(iV21026)* cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) -> .
% 18.23/18.42 106052[3:SSi:106051.0,233.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.0,52167.0,52203.1] || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC78(iV21026)* cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) -> .
% 18.23/18.42 106083[3:Res:227.1,106052.13] cC80(iV21026) || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026)* cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) -> .
% 18.23/18.42 106084[3:SSi:106083.0,233.0,230.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.0,52167.1,52203.1] || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC64(iV21026)* cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) -> .
% 18.23/18.42 106100[3:Res:229.1,106084.23] cC82(iV21026) || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026)* cC8(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) -> .
% 18.23/18.42 106101[3:SSi:106100.0,233.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.0,52167.0,52203.1] || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC62(iV21026)* cC8(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) -> .
% 18.23/18.42 106104[3:Res:220.1,106101.19] cC64(iV21026) || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026)* cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) -> .
% 18.23/18.42 106105[3:SSi:106104.0,233.0,229.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.0,52167.1,52203.1] || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026) cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC60(iV21026)* cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) -> .
% 18.23/18.42 106107[3:Res:219.1,106105.10] cC64(iV21026) || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026)* cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) -> .
% 18.23/18.42 106108[3:SSi:106107.0,233.0,229.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.0,52167.1,52203.1] || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC58(iV21026)* cC56(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) -> .
% 18.23/18.42 106111[3:Res:215.1,106108.5] cC60(iV21026) || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC56(iV21026)* cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) -> .
% 18.23/18.42 106112[3:SSi:106111.0,233.0,229.0,219.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.1,52167.1,52203.1] || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC56(iV21026)* cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026) -> .
% 18.23/18.42 106115[3:Res:213.1,106112.5] cC58(iV21026) || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026)* -> .
% 18.23/18.42 106116[3:SSi:106115.0,233.0,229.0,219.0,215.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.1,5.1,52167.1,52203.1] || cC108(iV21026) cC40(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) cC42(iV21026)* -> .
% 18.23/18.42 106118[3:Res:216.1,106116.24] cC60(iV21026) || cC108(iV21026) cC40(iV21026)* cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) -> .
% 18.23/18.42 106119[3:SSi:106118.0,233.0,229.0,219.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.1,52167.1,52203.1] || cC108(iV21026) cC40(iV21026)* cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026) cC138(iV21026) cC174(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) -> .
% 18.23/18.42 106122[3:Res:205.1,106119.1] cC42(iV21026) || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026)* cC138(iV21026) cC174(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) -> .
% 18.23/18.42 106123[3:SSi:106122.0,233.0,229.0,219.0,216.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.1,5.1,52167.1,52203.1] || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC38(iV21026)* cC138(iV21026) cC174(iV21026) cC8(iV21026) cC36(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) -> .
% 18.23/18.42 106125[3:Res:206.1,106123.12] cC42(iV21026) || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC174(iV21026) cC8(iV21026) cC36(iV21026)* cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) -> .
% 18.23/18.42 106126[3:SSi:106125.0,233.0,229.0,219.0,216.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.1,5.1,52167.1,52203.1] || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC174(iV21026) cC8(iV21026) cC36(iV21026)* cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) -> .
% 18.23/18.42 106129[3:Res:201.1,106126.15] cC38(iV21026) || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026)* cC16(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC174(iV21026) cC8(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) -> .
% 18.23/18.42 106130[3:SSi:106129.0,233.0,229.0,219.0,216.0,206.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.1,4273.1,5.1,52167.1,52203.1] || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC180(iV21026)* cC16(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC174(iV21026) cC8(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) -> .
% 18.23/18.42 106132[3:Res:242.1,106130.8] cTEST(iV21026) || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC174(iV21026)* cC8(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) -> .
% 18.23/18.42 106133[3:SSi:106132.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.0,52167.0,52203.0] || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC174(iV21026)* cC8(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026) cC134(iV21026) -> .
% 18.23/18.42 106136[3:Res:191.1,106133.12] cC180(iV21026) || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC8(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026)* cC134(iV21026) -> .
% 18.23/18.42 106137[3:SSi:106136.0,549.0,550.0,551.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.2,52167.2,52203.2] || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC16(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC8(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC168(iV21026)* cC134(iV21026) -> .
% 18.23/18.42 106140[3:Res:190.1,106137.17] cC174(iV21026) || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC16(iV21026)* cC132(iV21026) cC114(iV21026) cC138(iV21026) cC8(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC134(iV21026) -> .
% 18.23/18.42 106141[3:SSi:106140.0,549.0,550.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.0,52167.2,52203.2] || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026) cC154(iV21026) cC16(iV21026)* cC132(iV21026) cC114(iV21026) cC138(iV21026) cC8(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC134(iV21026) -> .
% 18.23/18.42 106143[3:Res:194.1,106141.8] cC22(iV21026) || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026)* cC154(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC8(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC134(iV21026) -> .
% 18.23/18.42 106144[3:Obv:106143.0] || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026) cC110(iV21026) cC22(iV21026)* cC154(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC8(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC134(iV21026) -> .
% 18.23/18.42 106147[3:Res:183.1,106144.6] cC158(iV21026) || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026)* cC110(iV21026) cC154(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC8(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC134(iV21026) -> .
% 18.23/18.42 106148[3:Obv:106147.0] || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC158(iV21026)* cC110(iV21026) cC154(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC8(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC134(iV21026) -> .
% 18.23/18.42 106150[3:Res:241.1,106148.4] cTEST(iV21026) || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC154(iV21026)* cC132(iV21026) cC114(iV21026) cC138(iV21026) cC8(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC134(iV21026) -> .
% 18.23/18.42 106151[3:SSi:106150.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.0,52167.0,52203.0] || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC154(iV21026)* cC132(iV21026) cC114(iV21026) cC138(iV21026) cC8(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026) cC130(iV21026) cC134(iV21026) -> .
% 18.23/18.42 106153[3:Res:181.1,106151.5] cC156(iV21026) || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC8(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026)* cC130(iV21026) cC134(iV21026) -> .
% 18.23/18.42 106154[3:SSi:106153.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.0,52167.0,52203.0] || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026) cC8(iV21026) cC112(iV21026) cC116(iV21026) cC152(iV21026)* cC130(iV21026) cC134(iV21026) -> .
% 18.23/18.42 106157[3:Res:179.1,106154.11] cC154(iV21026) || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026)* cC8(iV21026) cC112(iV21026) cC116(iV21026) cC130(iV21026) cC134(iV21026) -> .
% 18.23/18.42 106158[3:SSi:106157.0,181.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.0,52167.0,52203.1] || cC108(iV21026) cC136(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC132(iV21026) cC114(iV21026) cC138(iV21026)* cC8(iV21026) cC112(iV21026) cC116(iV21026) cC130(iV21026) cC134(iV21026) -> .
% 18.23/18.42 106160[3:Res:182.1,106158.7] cC156(iV21026) || cC108(iV21026) cC136(iV21026)* cC10(iV21026) cC90(iV21026) cC110(iV21026) cC132(iV21026) cC114(iV21026) cC8(iV21026) cC112(iV21026) cC116(iV21026) cC130(iV21026) cC134(iV21026) -> .
% 18.23/18.42 106161[3:SSi:106160.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.0,52167.0,52203.0] || cC108(iV21026) cC136(iV21026)* cC10(iV21026) cC90(iV21026) cC110(iV21026) cC132(iV21026) cC114(iV21026) cC8(iV21026) cC112(iV21026) cC116(iV21026) cC130(iV21026) cC134(iV21026) -> .
% 18.23/18.42 106164[3:Res:171.1,106161.1] cC138(iV21026) || cC108(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC132(iV21026) cC114(iV21026) cC8(iV21026) cC112(iV21026) cC116(iV21026) cC130(iV21026) cC134(iV21026)* -> .
% 23.04/23.27 106165[3:SSi:106164.0,182.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.0,52167.0,52203.1] || cC108(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC132(iV21026) cC114(iV21026) cC8(iV21026) cC112(iV21026) cC116(iV21026) cC130(iV21026) cC134(iV21026)* -> .
% 23.04/23.27 106167[3:Res:172.1,106165.10] cC138(iV21026) || cC108(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC132(iV21026)* cC114(iV21026) cC8(iV21026) cC112(iV21026) cC116(iV21026) cC130(iV21026) -> .
% 23.04/23.27 106168[3:SSi:106167.0,182.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.0,52167.0,52203.1] || cC108(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC132(iV21026)* cC114(iV21026) cC8(iV21026) cC112(iV21026) cC116(iV21026) cC130(iV21026) -> .
% 23.04/23.27 106171[3:Res:168.1,106168.4] cC134(iV21026) || cC108(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC114(iV21026) cC8(iV21026) cC112(iV21026) cC116(iV21026) cC130(iV21026)* -> .
% 23.04/23.27 106172[3:SSi:106171.0,182.0,172.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.0,52167.1,52203.1] || cC108(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC114(iV21026) cC8(iV21026) cC112(iV21026) cC116(iV21026) cC130(iV21026)* -> .
% 23.04/23.27 106175[3:Res:165.1,106172.8] cC132(iV21026) || cC108(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC114(iV21026) cC8(iV21026) cC112(iV21026) cC116(iV21026)* -> .
% 23.04/23.27 106176[3:SSi:106175.0,182.0,172.0,168.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.1,52167.1,52203.1] || cC108(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC114(iV21026) cC8(iV21026) cC112(iV21026) cC116(iV21026)* -> .
% 23.04/23.27 106178[3:Res:167.1,106176.7] cC134(iV21026) || cC108(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC114(iV21026)* cC8(iV21026) cC112(iV21026) -> .
% 23.04/23.27 106179[3:SSi:106178.0,182.0,172.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.0,52167.1,52203.1] || cC108(iV21026) cC10(iV21026) cC90(iV21026) cC110(iV21026) cC114(iV21026)* cC8(iV21026) cC112(iV21026) -> .
% 23.04/23.27 106182[3:Res:157.1,106179.4] cC116(iV21026) || cC108(iV21026) cC10(iV21026) cC90(iV21026)* cC110(iV21026) cC8(iV21026) cC112(iV21026) -> .
% 23.04/23.27 106183[3:SSi:106182.0,182.0,172.0,167.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.1,52167.1,52203.1] || cC108(iV21026) cC10(iV21026) cC90(iV21026)* cC110(iV21026) cC8(iV21026) cC112(iV21026) -> .
% 23.04/23.27 106185[3:Res:154.1,106183.2] cC112(iV21026) || cC108(iV21026) cC10(iV21026) cC110(iV21026) cC8(iV21026) cC112(iV21026)* -> .
% 23.04/23.27 106186[3:Obv:106185.0] || cC108(iV21026) cC10(iV21026) cC110(iV21026) cC8(iV21026) cC112(iV21026)* -> .
% 23.04/23.27 106188[3:Res:158.1,106186.4] cC116(iV21026) || cC108(iV21026) cC10(iV21026) cC110(iV21026)* cC8(iV21026) -> .
% 23.04/23.27 106189[3:SSi:106188.0,182.0,172.0,167.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.1,52167.1,52203.1] || cC108(iV21026) cC10(iV21026) cC110(iV21026)* cC8(iV21026) -> .
% 23.04/23.27 106192[3:Res:153.1,106189.2] cC112(iV21026) || cC108(iV21026)* cC10(iV21026) cC8(iV21026) -> .
% 23.04/23.27 106193[3:SSi:106192.0,182.0,172.0,167.0,158.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.1,5.1,52167.1,52203.1] || cC108(iV21026)* cC10(iV21026) cC8(iV21026) -> .
% 23.04/23.27 106196[3:Res:151.1,106193.0] cC110(iV21026) || cC10(iV21026) cC8(iV21026)* -> .
% 23.04/23.27 106197[3:SSi:106196.0,182.0,172.0,167.0,158.0,153.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.1,4273.1,5.1,52167.1,52203.1] || cC10(iV21026) cC8(iV21026)* -> .
% 23.04/23.27 106198[3:Res:3515.1,106197.1] cC160(iV21026) || cC10(iV21026)* -> .
% 23.04/23.27 106202[3:SSi:106198.0,241.0,183.0,194.0,185.0,145.0,3568.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.1,4205.1,4273.1,5.1,52167.1,52203.1] || cC10(iV21026)* -> .
% 23.04/23.27 106204[3:Res:530.2,106202.0] cC4(iV21026) cC8(iV21026) || -> .
% 23.04/23.27 106207[3:SSi:106204.1,106204.0,241.0,183.0,194.0,185.0,145.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.0,4273.0,5.0,52167.0,52203.0,20.0,19.0,17.0,16.0,15.0,14.0,13.0,12.0,11.0,10.0,9.0,8.0,7.0,6.0,4.0,2.0,3.0,3620.0,3673.0,3746.0,3823.0,3900.0,3975.0,4043.0,4125.0,4205.1,4273.1,5.1,52167.1,52203.1] || -> .
% 23.04/23.27 % SZS output end Refutation
% 23.04/23.27 Formulae used in the proof : axiom_0 axiom_187 axiom_190 axiom_195 axiom_196 axiom_197 axiom_198 axiom_199 axiom_203 axiom_204 axiom_205 axiom_209 axiom_210 axiom_213 axiom_215 axiom_216 axiom_217 axiom_220 axiom_221 axiom_226 axiom_228 axiom_229 axiom_230 axiom_231 axiom_232 axiom_234 axiom_235 axiom_236 axiom_237 axiom_238 axiom_239 axiom_241 axiom_242 axiom_243 axiom_244 axiom_245 axiom_246 axiom_247 axiom_249 axiom_250 axiom_256 axiom_257 axiom_258 axiom_259 axiom_261 axiom_262 axiom_263 axiom_264 axiom_265 axiom_267 axiom_268 axiom_269 axiom_270 axiom_271 axiom_272 axiom_274 axiom_275 axiom_276 axiom_277 axiom_279 axiom_280 axiom_283 axiom_284 axiom_285 axiom_286 axiom_287 axiom_288 axiom_289 axiom_290 axiom_291 axiom_293 axiom_294 axiom_295 axiom_296 axiom_298 axiom_300 axiom_301 axiom_302 axiom_304 axiom_305 axiom_307 axiom_308 axiom_312 axiom_313 axiom_314 axiom_315 axiom_317 axiom_318 axiom_319 axiom_320 axiom_321 axiom_323 axiom_324 axiom_325 axiom_326 axiom_327 axiom_329 axiom_330 axiom_331 axiom_332 axiom_333 axiom_335 axiom_336 axiom_337 axiom_338 axiom_339 axiom_341 axiom_69 axiom_186 axiom_66 axiom_100 axiom_67 axiom_2 axiom_168 axiom_222 axiom_223 axiom_225 axiom_252 axiom_253 axiom_281 axiom_282 axiom_309 axiom_1 axiom_15 axiom_16 axiom_17 axiom_18 axiom_40 axiom_41 axiom_42 axiom_43 axiom_64 axiom_65 axiom_87 axiom_96 axiom_120 axiom_122 axiom_123 axiom_143 axiom_146 axiom_147 axiom_148 axiom_169 axiom_170 axiom_171 axiom_172 axiom_173 axiom_174 axiom_158 axiom_160 axiom_183 axiom_184 axiom_185 axiom_162 axiom_163 axiom_165 axiom_166 axiom_14 axiom_39 axiom_63 axiom_80 axiom_119 axiom_142 axiom_161 axiom_167 axiom_44 axiom_82 axiom_99 axiom_102 axiom_111 axiom_121 axiom_125 axiom_133 axiom_150 axiom_159 axiom_164 the_axiom
% 23.04/23.27
%------------------------------------------------------------------------------