%------------------------------------------------------------------------------ % File : SPASS---3.9 % Problem : KRS133+1 : TPTP v8.1.0. Released v3.1.0. % Transfm : none % Format : tptp % Command : run_spass %d %s % Computer : n029.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:39 EDT 2022 % Result : Theorem 80.60s 80.81s % Output : Refutation 80.60s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----WARNING: Could not form TPTP format derivation %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : KRS133+1 : TPTP v8.1.0. Released v3.1.0. % 0.03/0.13 % Command : run_spass %d %s % 0.12/0.34 % Computer : n029.cluster.edu % 0.12/0.34 % Model : x86_64 x86_64 % 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.34 % Memory : 8042.1875MB % 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.34 % CPULimit : 300 % 0.12/0.34 % WCLimit : 600 % 0.12/0.34 % DateTime : Tue Jun 7 14:44:05 EDT 2022 % 0.12/0.34 % CPUTime : % 80.60/80.81 % 80.60/80.81 SPASS V 3.9 % 80.60/80.81 SPASS beiseite: Proof found. % 80.60/80.81 % SZS status Theorem % 80.60/80.81 Problem: /export/starexec/sandbox2/benchmark/theBenchmark.p % 80.60/80.81 SPASS derived 636 clauses, backtracked 825 clauses, performed 254 splits and kept 1416 clauses. % 80.60/80.81 SPASS allocated 190830 KBytes. % 80.60/80.81 SPASS spent 0:1:20.46 on the problem. % 80.60/80.81 0:00:00.04 for the input. % 80.60/80.81 0:1:20.21 for the FLOTTER CNF translation. % 80.60/80.81 0:00:00.01 for inferences. % 80.60/80.81 0:00:00.01 for the backtracking. % 80.60/80.81 0:00:00.15 for the reduction. % 80.60/80.81 % 80.60/80.81 % 80.60/80.81 Here is a proof with depth 3, length 846 : % 80.60/80.81 % SZS output start Refutation % 80.60/80.81 1[0:Inp] || -> cowlThing(u)*. % 80.60/80.81 14[0:Inp] || -> SkC1 cLeptotyphlopidae(skc73)*. % 80.60/80.81 15[0:Inp] || -> SkC1 cBipedidae(skc73)*. % 80.60/80.81 16[0:Inp] || -> SkC2 cBipedidae(skc74)*. % 80.60/80.81 17[0:Inp] || -> SkC2 cAnomalepidae(skc74)*. % 80.60/80.81 18[0:Inp] || -> SkC3 cLeptotyphlopidae(skc75)*. % 80.60/80.81 19[0:Inp] || -> SkC3 cGekkonidae(skc75)*. % 80.60/80.81 20[0:Inp] || -> SkC4 cAmphisbaenidae(skc76)*. % 80.60/80.81 21[0:Inp] || -> SkC4 cSphenodontidae(skc76)*. % 80.60/80.81 22[0:Inp] || -> SkC5 cBipedidae(skc77)*. % 80.60/80.81 23[0:Inp] || -> SkC5 cCrocodylidae(skc77)*. % 80.60/80.81 24[0:Inp] || -> SkC6 cBipedidae(skc78)*. % 80.60/80.81 25[0:Inp] || -> SkC6 cGekkonidae(skc78)*. % 80.60/80.81 26[0:Inp] || -> SkC7 cBipedidae(skc79)*. % 80.60/80.81 27[0:Inp] || -> SkC7 cSphenodontidae(skc79)*. % 80.60/80.81 28[0:Inp] || -> SkC8 cGekkonidae(skc80)*. % 80.60/80.81 29[0:Inp] || -> SkC8 cCrocodylidae(skc80)*. % 80.60/80.81 30[0:Inp] || -> SkC9 cGekkonidae(skc81)*. % 80.60/80.81 31[0:Inp] || -> SkC9 cSphenodontidae(skc81)*. % 80.60/80.81 32[0:Inp] || -> SkC10 cAgamidae(skc82)*. % 80.60/80.81 33[0:Inp] || -> SkC10 cSphenodontidae(skc82)*. % 80.60/80.81 34[0:Inp] || -> SkC11 cAnomalepidae(skc83)*. % 80.60/80.81 35[0:Inp] || -> SkC11 cCrocodylidae(skc83)*. % 80.60/80.81 36[0:Inp] || -> SkC12 cCrocodylidae(skc84)*. % 80.60/80.81 37[0:Inp] || -> SkC12 cEmydidae(skc84)*. % 80.60/80.81 38[0:Inp] || -> SkC13 cAmphisbaenidae(skc85)*. % 80.60/80.81 39[0:Inp] || -> SkC13 cLoxocemidae(skc85)*. % 80.60/80.81 40[0:Inp] || -> SkC14 cLeptotyphlopidae(skc86)*. % 80.60/80.81 41[0:Inp] || -> SkC14 cAgamidae(skc86)*. % 80.60/80.81 42[0:Inp] || -> SkC15 cAmphisbaenidae(skc87)*. % 80.60/80.81 43[0:Inp] || -> SkC15 cCrocodylidae(skc87)*. % 80.60/80.81 44[0:Inp] || -> SkC16 cCrocodylidae(skc88)*. % 80.60/80.81 45[0:Inp] || -> SkC16 cLoxocemidae(skc88)*. % 80.60/80.81 46[0:Inp] || -> SkC17 cXantusiidae(skc89)*. % 80.60/80.81 47[0:Inp] || -> SkC17 cCrocodylidae(skc89)*. % 80.60/80.81 48[0:Inp] || -> SkC18 cBipedidae(skc90)*. % 80.60/80.81 49[0:Inp] || -> SkC18 cEmydidae(skc90)*. % 80.60/80.81 50[0:Inp] || -> SkC19 cAmphisbaenidae(skc91)*. % 80.60/80.81 51[0:Inp] || -> SkC19 cEmydidae(skc91)*. % 80.60/80.81 52[0:Inp] || -> SkC20 cAgamidae(skc92)*. % 80.60/80.81 53[0:Inp] || -> SkC20 cCrocodylidae(skc92)*. % 80.60/80.81 54[0:Inp] || -> SkC21 cXantusiidae(skc93)*. % 80.60/80.81 55[0:Inp] || -> SkC21 cLoxocemidae(skc93)*. % 80.60/80.81 56[0:Inp] || -> SkC22 cXantusiidae(skc94)*. % 80.60/80.81 57[0:Inp] || -> SkC22 cEmydidae(skc94)*. % 80.60/80.81 58[0:Inp] || -> SkC23 cBipedidae(skc95)*. % 80.60/80.81 59[0:Inp] || -> SkC23 cLoxocemidae(skc95)*. % 80.60/80.81 60[0:Inp] || -> SkC24 cBipedidae(skc96)*. % 80.60/80.81 61[0:Inp] || -> SkC24 cAgamidae(skc96)*. % 80.60/80.81 62[0:Inp] || -> SkC25 cGekkonidae(skc97)*. % 80.60/80.81 63[0:Inp] || -> SkC25 cAmphisbaenidae(skc97)*. % 80.60/80.81 64[0:Inp] || -> SkC26 cLeptotyphlopidae(skc98)*. % 80.60/80.81 65[0:Inp] || -> SkC26 cCrocodylidae(skc98)*. % 80.60/80.81 66[0:Inp] || -> SkC27 cSphenodontidae(skc99)*. % 80.60/80.81 67[0:Inp] || -> SkC27 cCordylidae(skc99)*. % 80.60/80.81 68[0:Inp] || -> SkC28 cAmphisbaenidae(skc100)*. % 80.60/80.81 69[0:Inp] || -> SkC28 cCordylidae(skc100)*. % 80.60/80.81 70[0:Inp] || -> SkC29 cCordylidae(skc101)*. % 80.60/80.81 71[0:Inp] || -> SkC29 cLoxocemidae(skc101)*. % 80.60/80.81 72[0:Inp] || -> SkC30 cGekkonidae(skc102)*. % 80.60/80.81 73[0:Inp] || -> SkC30 cCordylidae(skc102)*. % 80.60/80.81 74[0:Inp] || -> SkC31 cXantusiidae(skc103)*. % 80.60/80.81 75[0:Inp] || -> SkC31 cAgamidae(skc103)*. % 80.60/80.81 76[0:Inp] || -> SkC32 cAnomalepidae(skc104)*. % 80.60/80.81 77[0:Inp] || -> SkC32 cCordylidae(skc104)*. % 80.60/80.81 78[0:Inp] || -> SkC33 cAgamidae(skc105)*. % 80.60/80.81 79[0:Inp] || -> SkC33 cEmydidae(skc105)*. % 80.60/80.81 80[0:Inp] || -> SkC34 cCordylidae(skc106)*. % 80.60/80.81 81[0:Inp] || -> SkC34 cEmydidae(skc106)*. % 80.60/80.81 82[0:Inp] || -> SkC35 cAgamidae(skc107)*. % 80.60/80.81 83[0:Inp] || -> SkC35 cLoxocemidae(skc107)*. % 80.60/80.81 84[0:Inp] || -> SkC36 cXantusiidae(skc108)*. % 80.60/80.81 85[0:Inp] || -> SkC36 cGekkonidae(skc108)*. % 80.60/80.81 86[0:Inp] || -> SkC37 cXantusiidae(skc109)*. % 80.60/80.81 87[0:Inp] || -> SkC37 cBipedidae(skc109)*. % 80.60/80.81 88[0:Inp] || -> SkC38 cAnomalepidae(skc110)*. % 80.60/80.81 89[0:Inp] || -> SkC38 cEmydidae(skc110)*. % 80.60/80.81 90[0:Inp] || -> SkC39 cXantusiidae(skc111)*. % 80.60/80.81 91[0:Inp] || -> SkC39 cSphenodontidae(skc111)*. % 80.60/80.81 92[0:Inp] || -> SkC40 cLeptotyphlopidae(skc112)*. % 80.60/80.81 93[0:Inp] || -> SkC40 cAmphisbaenidae(skc112)*. % 80.60/80.81 94[0:Inp] || -> SkC41 cSphenodontidae(skc113)*. % 80.60/80.81 95[0:Inp] || -> SkC41 cEmydidae(skc113)*. % 80.60/80.81 96[0:Inp] || -> SkC42 cLeptotyphlopidae(skc114)*. % 80.60/80.81 97[0:Inp] || -> SkC42 cCordylidae(skc114)*. % 80.60/80.81 98[0:Inp] || -> SkC43 cGekkonidae(skc115)*. % 80.60/80.81 99[0:Inp] || -> SkC43 cAnomalepidae(skc115)*. % 80.60/80.81 100[0:Inp] || -> SkC44 cBipedidae(skc116)*. % 80.60/80.81 101[0:Inp] || -> SkC44 cCordylidae(skc116)*. % 80.60/80.81 102[0:Inp] || -> SkC45 cBipedidae(skc117)*. % 80.60/80.81 103[0:Inp] || -> SkC45 cAmphisbaenidae(skc117)*. % 80.60/80.81 104[0:Inp] || -> SkC46 cXantusiidae(skc118)*. % 80.60/80.81 105[0:Inp] || -> SkC46 cCordylidae(skc118)*. % 80.60/80.81 106[0:Inp] || -> SkC47 cAnomalepidae(skc119)*. % 80.60/80.81 107[0:Inp] || -> SkC47 cAgamidae(skc119)*. % 80.60/80.81 108[0:Inp] || -> SkC48 cSphenodontidae(skc120)*. % 80.60/80.81 109[0:Inp] || -> SkC48 cCrocodylidae(skc120)*. % 80.60/80.81 110[0:Inp] || -> SkC49 cXantusiidae(skc121)*. % 80.60/80.81 111[0:Inp] || -> SkC49 cAmphisbaenidae(skc121)*. % 80.60/80.81 112[0:Inp] || -> SkC50 cGekkonidae(skc122)*. % 80.60/80.81 113[0:Inp] || -> SkC50 cEmydidae(skc122)*. % 80.60/80.81 114[0:Inp] || -> SkC51 cSphenodontidae(skc123)*. % 80.60/80.81 115[0:Inp] || -> SkC51 cLoxocemidae(skc123)*. % 80.60/80.81 116[0:Inp] || -> SkC52 cLeptotyphlopidae(skc124)*. % 80.60/80.81 117[0:Inp] || -> SkC52 cEmydidae(skc124)*. % 80.60/80.81 118[0:Inp] || -> SkC53 cAmphisbaenidae(skc125)*. % 80.60/80.81 119[0:Inp] || -> SkC53 cAnomalepidae(skc125)*. % 80.60/80.81 120[0:Inp] || -> SkC54 cGekkonidae(skc126)*. % 80.60/80.81 121[0:Inp] || -> SkC54 cLoxocemidae(skc126)*. % 80.60/80.81 122[0:Inp] || -> SkC55 cAnomalepidae(skc127)*. % 80.60/80.81 123[0:Inp] || -> SkC55 cLoxocemidae(skc127)*. % 80.60/80.81 124[0:Inp] || -> SkC56 cLeptotyphlopidae(skc128)*. % 80.60/80.81 125[0:Inp] || -> SkC56 cAnomalepidae(skc128)*. % 80.60/80.81 126[0:Inp] || -> SkC57 cCordylidae(skc129)*. % 80.60/80.81 127[0:Inp] || -> SkC57 cCrocodylidae(skc129)*. % 80.60/80.81 128[0:Inp] || -> SkC58 cXantusiidae(skc130)*. % 80.60/80.81 129[0:Inp] || -> SkC58 cAnomalepidae(skc130)*. % 80.60/80.81 130[0:Inp] || -> SkC59 cAnomalepidae(skc131)*. % 80.60/80.81 131[0:Inp] || -> SkC59 cSphenodontidae(skc131)*. % 80.60/80.81 132[0:Inp] || -> SkC60 cLeptotyphlopidae(skc132)*. % 80.60/80.81 133[0:Inp] || -> SkC60 cXantusiidae(skc132)*. % 80.60/80.81 134[0:Inp] || -> SkC61 cGekkonidae(skc133)*. % 80.60/80.81 135[0:Inp] || -> SkC61 cAgamidae(skc133)*. % 80.60/80.81 136[0:Inp] || -> SkC62 cAgamidae(skc134)*. % 80.60/80.81 137[0:Inp] || -> SkC62 cCordylidae(skc134)*. % 80.60/80.81 138[0:Inp] || -> SkC63 cLeptotyphlopidae(skc135)*. % 80.60/80.81 139[0:Inp] || -> SkC63 cLoxocemidae(skc135)*. % 80.60/80.81 140[0:Inp] || -> SkC64 cEmydidae(skc136)*. % 80.60/80.81 141[0:Inp] || -> SkC64 cLoxocemidae(skc136)*. % 80.60/80.81 142[0:Inp] || -> SkC65 cLeptotyphlopidae(skc137)*. % 80.60/80.81 143[0:Inp] || -> SkC65 cSphenodontidae(skc137)*. % 80.60/80.81 144[0:Inp] cowlNothing(u) || -> . % 80.60/80.81 145[0:Inp] || -> xsd_string(u)* xsd_integer(u). % 80.60/80.81 146[0:Inp] || equal(xsd_string_1,xsd_string_0)** -> . % 80.60/80.81 147[0:Inp] || equal(xsd_string_2,xsd_string_0)** -> . % 80.60/80.81 148[0:Inp] || equal(xsd_string_3,xsd_string_0)** -> . % 80.60/80.81 149[0:Inp] || equal(xsd_string_4,xsd_string_0)** -> . % 80.60/80.81 150[0:Inp] || equal(xsd_string_5,xsd_string_0)** -> . % 80.60/80.81 151[0:Inp] || equal(xsd_string_6,xsd_string_0)** -> . % 80.60/80.81 152[0:Inp] || equal(xsd_string_7,xsd_string_0)** -> . % 80.60/80.81 153[0:Inp] || equal(xsd_string_8,xsd_string_0)** -> . % 80.60/80.81 154[0:Inp] || equal(xsd_string_9,xsd_string_0)** -> . % 80.60/80.81 155[0:Inp] || equal(xsd_string_10,xsd_string_0)** -> . % 80.60/80.81 156[0:Inp] || equal(xsd_string_11,xsd_string_0)** -> . % 80.60/80.81 157[0:Inp] || equal(xsd_string_2,xsd_string_1)** -> . % 80.60/80.81 158[0:Inp] || equal(xsd_string_3,xsd_string_1)** -> . % 80.60/80.81 159[0:Inp] || equal(xsd_string_4,xsd_string_1)** -> . % 80.60/80.81 160[0:Inp] || equal(xsd_string_5,xsd_string_1)** -> . % 80.60/80.81 161[0:Inp] || equal(xsd_string_6,xsd_string_1)** -> . % 80.60/80.81 162[0:Inp] || equal(xsd_string_7,xsd_string_1)** -> . % 80.60/80.81 163[0:Inp] || equal(xsd_string_8,xsd_string_1)** -> . % 80.60/80.81 164[0:Inp] || equal(xsd_string_9,xsd_string_1)** -> . % 80.60/80.81 165[0:Inp] || equal(xsd_string_10,xsd_string_1)** -> . % 80.60/80.81 166[0:Inp] || equal(xsd_string_11,xsd_string_1)** -> . % 80.60/80.81 167[0:Inp] || equal(xsd_string_3,xsd_string_2)** -> . % 80.60/80.81 168[0:Inp] || equal(xsd_string_4,xsd_string_2)** -> . % 80.60/80.81 169[0:Inp] || equal(xsd_string_5,xsd_string_2)** -> . % 80.60/80.81 170[0:Inp] || equal(xsd_string_6,xsd_string_2)** -> . % 80.60/80.81 171[0:Inp] || equal(xsd_string_7,xsd_string_2)** -> . % 80.60/80.81 172[0:Inp] || equal(xsd_string_8,xsd_string_2)** -> . % 80.60/80.81 173[0:Inp] || equal(xsd_string_9,xsd_string_2)** -> . % 80.60/80.81 174[0:Inp] || equal(xsd_string_10,xsd_string_2)** -> . % 80.60/80.81 175[0:Inp] || equal(xsd_string_11,xsd_string_2)** -> . % 80.60/80.81 176[0:Inp] || equal(xsd_string_4,xsd_string_3)** -> . % 80.60/80.81 177[0:Inp] || equal(xsd_string_5,xsd_string_3)** -> . % 80.60/80.81 178[0:Inp] || equal(xsd_string_6,xsd_string_3)** -> . % 80.60/80.81 179[0:Inp] || equal(xsd_string_7,xsd_string_3)** -> . % 80.60/80.81 180[0:Inp] || equal(xsd_string_8,xsd_string_3)** -> . % 80.60/80.81 181[0:Inp] || equal(xsd_string_9,xsd_string_3)** -> . % 80.60/80.81 182[0:Inp] || equal(xsd_string_10,xsd_string_3)** -> . % 80.60/80.81 183[0:Inp] || equal(xsd_string_11,xsd_string_3)** -> . % 80.60/80.81 184[0:Inp] || equal(xsd_string_5,xsd_string_4)** -> . % 80.60/80.81 185[0:Inp] || equal(xsd_string_6,xsd_string_4)** -> . % 80.60/80.81 186[0:Inp] || equal(xsd_string_7,xsd_string_4)** -> . % 80.60/80.81 187[0:Inp] || equal(xsd_string_8,xsd_string_4)** -> . % 80.60/80.81 188[0:Inp] || equal(xsd_string_9,xsd_string_4)** -> . % 80.60/80.81 189[0:Inp] || equal(xsd_string_10,xsd_string_4)** -> . % 80.60/80.81 190[0:Inp] || equal(xsd_string_11,xsd_string_4)** -> . % 80.60/80.81 191[0:Inp] || equal(xsd_string_6,xsd_string_5)** -> . % 80.60/80.81 192[0:Inp] || equal(xsd_string_7,xsd_string_5)** -> . % 80.60/80.81 193[0:Inp] || equal(xsd_string_8,xsd_string_5)** -> . % 80.60/80.81 194[0:Inp] || equal(xsd_string_9,xsd_string_5)** -> . % 80.60/80.81 195[0:Inp] || equal(xsd_string_10,xsd_string_5)** -> . % 80.60/80.81 196[0:Inp] || equal(xsd_string_11,xsd_string_5)** -> . % 80.60/80.81 197[0:Inp] || equal(xsd_string_7,xsd_string_6)** -> . % 80.60/80.81 198[0:Inp] || equal(xsd_string_8,xsd_string_6)** -> . % 80.60/80.81 199[0:Inp] || equal(xsd_string_9,xsd_string_6)** -> . % 80.60/80.81 200[0:Inp] || equal(xsd_string_10,xsd_string_6)** -> . % 80.60/80.81 201[0:Inp] || equal(xsd_string_11,xsd_string_6)** -> . % 80.60/80.81 202[0:Inp] || equal(xsd_string_8,xsd_string_7)** -> . % 80.60/80.81 203[0:Inp] || equal(xsd_string_9,xsd_string_7)** -> . % 80.60/80.81 204[0:Inp] || equal(xsd_string_10,xsd_string_7)** -> . % 80.60/80.81 205[0:Inp] || equal(xsd_string_11,xsd_string_7)** -> . % 80.60/80.81 206[0:Inp] || equal(xsd_string_9,xsd_string_8)** -> . % 80.60/80.81 207[0:Inp] || equal(xsd_string_10,xsd_string_8)** -> . % 80.60/80.81 208[0:Inp] || equal(xsd_string_11,xsd_string_8)** -> . % 80.60/80.81 209[0:Inp] || equal(xsd_string_10,xsd_string_9)** -> . % 80.60/80.81 210[0:Inp] || equal(xsd_string_11,xsd_string_9)** -> . % 80.60/80.81 211[0:Inp] || equal(xsd_string_11,xsd_string_10)** -> . % 80.60/80.81 212[0:Inp] || xsd_integer(skc72) -> xsd_string(skc72)*. % 80.60/80.81 214[0:Inp] cAmphisbaenidae(u) || -> cReptile(u)*. % 80.60/80.81 215[0:Inp] cAnomalepidae(u) || -> cReptile(u)*. % 80.60/80.81 216[0:Inp] cBipedidae(u) || -> cReptile(u)*. % 80.60/80.81 217[0:Inp] cCordylidae(u) || -> cReptile(u)*. % 80.60/80.81 218[0:Inp] cCrocodylidae(u) || -> cReptile(u)*. % 80.60/80.81 219[0:Inp] cEmydidae(u) || -> cReptile(u)*. % 80.60/80.81 220[0:Inp] cGekkonidae(u) || -> cReptile(u)*. % 80.60/80.81 221[0:Inp] cLeptotyphlopidae(u) || -> cReptile(u)*. % 80.60/80.81 222[0:Inp] cLoxocemidae(u) || -> cReptile(u)*. % 80.60/80.81 223[0:Inp] cSphenodontidae(u) || -> cReptile(u)*. % 80.60/80.81 224[0:Inp] cXantusiidae(u) || -> cReptile(u)*. % 80.60/80.81 225[0:Inp] || xsd_string(skc72)* -> xsd_integer(skc72) SkC0. % 80.60/80.81 226[0:Inp] xsd_integer(u) xsd_string(u) || -> . % 80.60/80.81 227[0:Inp] cAgamidae(u) || -> rfamily_name(u,xsd_string_0)*. % 80.60/80.81 228[0:Inp] cAmphisbaenidae(u) || -> rfamily_name(u,xsd_string_1)*. % 80.60/80.81 229[0:Inp] cAnomalepidae(u) || -> rfamily_name(u,xsd_string_2)*. % 80.60/80.81 230[0:Inp] cBipedidae(u) || -> rfamily_name(u,xsd_string_3)*. % 80.60/80.81 231[0:Inp] cCordylidae(u) || -> rfamily_name(u,xsd_string_4)*. % 80.60/80.81 232[0:Inp] cCrocodylidae(u) || -> rfamily_name(u,xsd_string_5)*. % 80.60/80.81 233[0:Inp] cEmydidae(u) || -> rfamily_name(u,xsd_string_6)*. % 80.60/80.81 234[0:Inp] cGekkonidae(u) || -> rfamily_name(u,xsd_string_7)*. % 80.60/80.81 235[0:Inp] cLeptotyphlopidae(u) || -> rfamily_name(u,xsd_string_8)*. % 80.60/80.81 236[0:Inp] cLoxocemidae(u) || -> rfamily_name(u,xsd_string_9)*. % 80.60/80.81 237[0:Inp] cSphenodontidae(u) || -> rfamily_name(u,xsd_string_10)*. % 80.60/80.81 238[0:Inp] cXantusiidae(u) || -> rfamily_name(u,xsd_string_11)*. % 80.60/80.81 240[0:Inp] cReptile(u) || rfamily_name(u,v)*+ rfamily_name(u,w)* -> equal(v,w)*. % 80.60/80.81 241[0:Inp] || cowlThing(skc69) SkC0 SkC1 SkC2 SkC3 SkC4 SkC5 SkC6 SkC7 SkC8 SkC9 SkC10 SkC11 SkC12 SkC13 SkC14 SkC15 SkC16 SkC17 SkC18 SkC19 SkC20 SkC21 SkC22 SkC23 SkC24 SkC25 SkC26 SkC27 SkC28 SkC29 SkC30 SkC31 SkC32 SkC33 SkC34 SkC35 SkC36 SkC37 SkC38 SkC39 SkC40 SkC41 SkC42 SkC43 SkC44 SkC45 SkC46 SkC47 SkC48 SkC49 SkC50 SkC51 SkC52 SkC53 SkC54 SkC55 SkC56 SkC57 SkC58 SkC59 SkC60 SkC61 SkC62 SkC63 SkC64 SkC65 -> cAgamidae(skc71)* cowlNothing(skc70). % 80.60/80.81 242[0:Inp] || cowlThing(skc69) SkC0 SkC1 SkC2 SkC3 SkC4 SkC5 SkC6 SkC7 SkC8 SkC9 SkC10 SkC11 SkC12 SkC13 SkC14 SkC15 SkC16 SkC17 SkC18 SkC19 SkC20 SkC21 SkC22 SkC23 SkC24 SkC25 SkC26 SkC27 SkC28 SkC29 SkC30 SkC31 SkC32 SkC33 SkC34 SkC35 SkC36 SkC37 SkC38 SkC39 SkC40 SkC41 SkC42 SkC43 SkC44 SkC45 SkC46 SkC47 SkC48 SkC49 SkC50 SkC51 SkC52 SkC53 SkC54 SkC55 SkC56 SkC57 SkC58 SkC59 SkC60 SkC61 SkC62 SkC63 SkC64 SkC65 -> cAmphisbaenidae(skc71)* cowlNothing(skc70). % 80.60/80.81 243[0:MRR:212.0,145.0] || -> xsd_string(skc72)*. % 80.60/80.81 244[0:MRR:225.0,243.0] || -> xsd_integer(skc72)* SkC0. % 80.60/80.81 245[0:MRR:241.0,241.68,1.0,144.0] || SkC0 SkC1 SkC2 SkC3 SkC4 SkC5 SkC6 SkC7 SkC8 SkC9 SkC10 SkC11 SkC12 SkC13 SkC14 SkC15 SkC16 SkC17 SkC18 SkC19 SkC20 SkC21 SkC22 SkC23 SkC24 SkC25 SkC26 SkC27 SkC28 SkC29 SkC30 SkC31 SkC32 SkC33 SkC34 SkC35 SkC36 SkC37 SkC38 SkC39 SkC40 SkC41 SkC42 SkC43 SkC44 SkC45 SkC46 SkC47 SkC48 SkC49 SkC50 SkC51 SkC52 SkC53 SkC54 SkC55 SkC56 SkC57 SkC58 SkC59 SkC60 SkC61 SkC62 SkC63 SkC64 SkC65 -> cAgamidae(skc71)*. % 80.60/80.81 246[0:MRR:242.0,242.68,1.0,144.0] || SkC0 SkC1 SkC2 SkC3 SkC4 SkC5 SkC6 SkC7 SkC8 SkC9 SkC10 SkC11 SkC12 SkC13 SkC14 SkC15 SkC16 SkC17 SkC18 SkC19 SkC20 SkC21 SkC22 SkC23 SkC24 SkC25 SkC26 SkC27 SkC28 SkC29 SkC30 SkC31 SkC32 SkC33 SkC34 SkC35 SkC36 SkC37 SkC38 SkC39 SkC40 SkC41 SkC42 SkC43 SkC44 SkC45 SkC46 SkC47 SkC48 SkC49 SkC50 SkC51 SkC52 SkC53 SkC54 SkC55 SkC56 SkC57 SkC58 SkC59 SkC60 SkC61 SkC62 SkC63 SkC64 SkC65 -> cAmphisbaenidae(skc71)*. % 80.60/80.81 247[0:Res:243.0,226.0] xsd_integer(skc72) || -> . % 80.60/80.81 248[0:MRR:244.0,247.0] || -> SkC0*. % 80.60/80.81 249[0:MRR:245.0,248.0] || SkC65 SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 SkC11 SkC10 SkC9 SkC8 SkC7 SkC6 SkC5 SkC4 SkC3 SkC2 SkC1 -> cAgamidae(skc71)*. % 80.60/80.81 250[0:MRR:246.0,248.0] || SkC65 SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 SkC11 SkC10 SkC9 SkC8 SkC7 SkC6 SkC5 SkC4 SkC3 SkC2 SkC1 -> cAmphisbaenidae(skc71)*. % 80.60/80.81 251[1:Spt:249.0] || SkC65* -> . % 80.60/80.81 252[1:MRR:143.0,251.0] || -> cSphenodontidae(skc137)*. % 80.60/80.81 253[1:MRR:142.0,251.0] || -> cLeptotyphlopidae(skc137)*. % 80.60/80.81 318[0:Res:238.1,240.1] cXantusiidae(u) cReptile(u) || rfamily_name(u,v)* -> equal(xsd_string_11,v). % 80.60/80.81 319[0:Res:237.1,240.1] cSphenodontidae(u) cReptile(u) || rfamily_name(u,v)* -> equal(xsd_string_10,v). % 80.60/80.81 320[0:Res:236.1,240.1] cLoxocemidae(u) cReptile(u) || rfamily_name(u,v)* -> equal(xsd_string_9,v). % 80.60/80.81 321[0:Res:235.1,240.1] cLeptotyphlopidae(u) cReptile(u) || rfamily_name(u,v)* -> equal(xsd_string_8,v). % 80.60/80.81 322[0:Res:234.1,240.1] cGekkonidae(u) cReptile(u) || rfamily_name(u,v)* -> equal(xsd_string_7,v). % 80.60/80.81 323[0:Res:233.1,240.1] cEmydidae(u) cReptile(u) || rfamily_name(u,v)* -> equal(xsd_string_6,v). % 80.60/80.81 324[0:Res:232.1,240.1] cCrocodylidae(u) cReptile(u) || rfamily_name(u,v)* -> equal(xsd_string_5,v). % 80.60/80.81 325[0:Res:231.1,240.1] cCordylidae(u) cReptile(u) || rfamily_name(u,v)* -> equal(xsd_string_4,v). % 80.60/80.81 326[0:Res:230.1,240.1] cBipedidae(u) cReptile(u) || rfamily_name(u,v)* -> equal(xsd_string_3,v). % 80.60/80.81 327[0:Res:229.1,240.1] cAnomalepidae(u) cReptile(u) || rfamily_name(u,v)* -> equal(xsd_string_2,v). % 80.60/80.81 328[0:Res:228.1,240.1] cAmphisbaenidae(u) cReptile(u) || rfamily_name(u,v)* -> equal(xsd_string_1,v). % 80.60/80.81 331[0:SSi:318.1,224.1] cXantusiidae(u) || rfamily_name(u,v)* -> equal(xsd_string_11,v). % 80.60/80.81 332[0:SSi:319.1,223.1] cSphenodontidae(u) || rfamily_name(u,v)* -> equal(xsd_string_10,v). % 80.60/80.81 333[0:SSi:320.1,222.1] cLoxocemidae(u) || rfamily_name(u,v)* -> equal(xsd_string_9,v). % 80.60/80.81 334[0:SSi:321.1,221.1] cLeptotyphlopidae(u) || rfamily_name(u,v)* -> equal(xsd_string_8,v). % 80.60/80.81 335[0:SSi:322.1,220.1] cGekkonidae(u) || rfamily_name(u,v)* -> equal(xsd_string_7,v). % 80.60/80.81 336[0:SSi:323.1,219.1] cEmydidae(u) || rfamily_name(u,v)* -> equal(xsd_string_6,v). % 80.60/80.81 337[0:SSi:324.1,218.1] cCrocodylidae(u) || rfamily_name(u,v)* -> equal(xsd_string_5,v). % 80.60/80.81 338[0:SSi:325.1,217.1] cCordylidae(u) || rfamily_name(u,v)* -> equal(xsd_string_4,v). % 80.60/80.81 339[0:SSi:326.1,216.1] cBipedidae(u) || rfamily_name(u,v)* -> equal(xsd_string_3,v). % 80.60/80.81 340[0:SSi:327.1,215.1] cAnomalepidae(u) || rfamily_name(u,v)* -> equal(xsd_string_2,v). % 80.60/80.81 341[0:SSi:328.1,214.1] cAmphisbaenidae(u) || rfamily_name(u,v)* -> equal(xsd_string_1,v). % 80.60/80.81 345[0:Res:237.1,331.1] cSphenodontidae(u) cXantusiidae(u) || -> equal(xsd_string_11,xsd_string_10)**. % 80.60/80.81 346[0:Res:236.1,331.1] cLoxocemidae(u) cXantusiidae(u) || -> equal(xsd_string_11,xsd_string_9)**. % 80.60/80.81 347[0:Res:235.1,331.1] cLeptotyphlopidae(u) cXantusiidae(u) || -> equal(xsd_string_11,xsd_string_8)**. % 80.60/80.81 348[0:Res:234.1,331.1] cGekkonidae(u) cXantusiidae(u) || -> equal(xsd_string_11,xsd_string_7)**. % 80.60/80.81 349[0:Res:233.1,331.1] cEmydidae(u) cXantusiidae(u) || -> equal(xsd_string_11,xsd_string_6)**. % 80.60/80.81 350[0:Res:232.1,331.1] cCrocodylidae(u) cXantusiidae(u) || -> equal(xsd_string_11,xsd_string_5)**. % 80.60/80.81 351[0:Res:231.1,331.1] cCordylidae(u) cXantusiidae(u) || -> equal(xsd_string_11,xsd_string_4)**. % 80.60/80.81 352[0:Res:230.1,331.1] cBipedidae(u) cXantusiidae(u) || -> equal(xsd_string_11,xsd_string_3)**. % 80.60/80.81 353[0:Res:229.1,331.1] cAnomalepidae(u) cXantusiidae(u) || -> equal(xsd_string_11,xsd_string_2)**. % 80.60/80.81 354[0:Res:228.1,331.1] cAmphisbaenidae(u) cXantusiidae(u) || -> equal(xsd_string_11,xsd_string_1)**. % 80.60/80.81 355[0:Res:227.1,331.1] cAgamidae(u) cXantusiidae(u) || -> equal(xsd_string_11,xsd_string_0)**. % 80.60/80.81 357[0:MRR:345.2,211.0] cSphenodontidae(u) cXantusiidae(u) || -> . % 80.60/80.81 358[0:MRR:346.2,210.0] cLoxocemidae(u) cXantusiidae(u) || -> . % 80.60/80.81 359[0:MRR:347.2,208.0] cLeptotyphlopidae(u) cXantusiidae(u) || -> . % 80.60/80.81 360[0:MRR:348.2,205.0] cGekkonidae(u) cXantusiidae(u) || -> . % 80.60/80.81 361[0:MRR:349.2,201.0] cEmydidae(u) cXantusiidae(u) || -> . % 80.60/80.81 362[0:MRR:350.2,196.0] cCrocodylidae(u) cXantusiidae(u) || -> . % 80.60/80.81 363[0:MRR:351.2,190.0] cCordylidae(u) cXantusiidae(u) || -> . % 80.60/80.81 364[0:MRR:352.2,183.0] cBipedidae(u) cXantusiidae(u) || -> . % 80.60/80.81 365[0:MRR:353.2,175.0] cAnomalepidae(u) cXantusiidae(u) || -> . % 80.60/80.81 366[0:MRR:354.2,166.0] cAmphisbaenidae(u) cXantusiidae(u) || -> . % 80.60/80.81 367[0:MRR:355.2,156.0] cAgamidae(u) cXantusiidae(u) || -> . % 80.60/80.81 371[0:Res:236.1,332.1] cLoxocemidae(u) cSphenodontidae(u) || -> equal(xsd_string_10,xsd_string_9)**. % 80.60/80.81 372[0:Res:235.1,332.1] cLeptotyphlopidae(u) cSphenodontidae(u) || -> equal(xsd_string_10,xsd_string_8)**. % 80.60/80.81 373[0:Res:234.1,332.1] cGekkonidae(u) cSphenodontidae(u) || -> equal(xsd_string_10,xsd_string_7)**. % 80.60/80.81 374[0:Res:233.1,332.1] cEmydidae(u) cSphenodontidae(u) || -> equal(xsd_string_10,xsd_string_6)**. % 80.60/80.81 375[0:Res:232.1,332.1] cCrocodylidae(u) cSphenodontidae(u) || -> equal(xsd_string_10,xsd_string_5)**. % 80.60/80.81 376[0:Res:231.1,332.1] cCordylidae(u) cSphenodontidae(u) || -> equal(xsd_string_10,xsd_string_4)**. % 80.60/80.81 377[0:Res:230.1,332.1] cBipedidae(u) cSphenodontidae(u) || -> equal(xsd_string_10,xsd_string_3)**. % 80.60/80.81 378[0:Res:229.1,332.1] cAnomalepidae(u) cSphenodontidae(u) || -> equal(xsd_string_10,xsd_string_2)**. % 80.60/80.81 379[0:Res:228.1,332.1] cAmphisbaenidae(u) cSphenodontidae(u) || -> equal(xsd_string_10,xsd_string_1)**. % 80.60/80.81 380[0:Res:227.1,332.1] cAgamidae(u) cSphenodontidae(u) || -> equal(xsd_string_10,xsd_string_0)**. % 80.60/80.81 382[0:MRR:371.2,209.0] cLoxocemidae(u) cSphenodontidae(u) || -> . % 80.60/80.81 383[0:MRR:372.2,207.0] cLeptotyphlopidae(u) cSphenodontidae(u) || -> . % 80.60/80.81 384[0:MRR:373.2,204.0] cGekkonidae(u) cSphenodontidae(u) || -> . % 80.60/80.81 385[0:MRR:374.2,200.0] cEmydidae(u) cSphenodontidae(u) || -> . % 80.60/80.81 386[0:MRR:375.2,195.0] cCrocodylidae(u) cSphenodontidae(u) || -> . % 80.60/80.81 387[0:MRR:376.2,189.0] cCordylidae(u) cSphenodontidae(u) || -> . % 80.60/80.81 388[0:MRR:377.2,182.0] cBipedidae(u) cSphenodontidae(u) || -> . % 80.60/80.81 389[0:MRR:378.2,174.0] cAnomalepidae(u) cSphenodontidae(u) || -> . % 80.60/80.81 390[0:MRR:379.2,165.0] cAmphisbaenidae(u) cSphenodontidae(u) || -> . % 80.60/80.81 391[0:MRR:380.2,155.0] cAgamidae(u) cSphenodontidae(u) || -> . % 80.60/80.81 396[0:Res:235.1,333.1] cLeptotyphlopidae(u) cLoxocemidae(u) || -> equal(xsd_string_9,xsd_string_8)**. % 80.60/80.81 397[0:Res:234.1,333.1] cGekkonidae(u) cLoxocemidae(u) || -> equal(xsd_string_9,xsd_string_7)**. % 80.60/80.81 398[0:Res:233.1,333.1] cEmydidae(u) cLoxocemidae(u) || -> equal(xsd_string_9,xsd_string_6)**. % 80.60/80.81 399[0:Res:232.1,333.1] cCrocodylidae(u) cLoxocemidae(u) || -> equal(xsd_string_9,xsd_string_5)**. % 80.60/80.81 400[0:Res:231.1,333.1] cCordylidae(u) cLoxocemidae(u) || -> equal(xsd_string_9,xsd_string_4)**. % 80.60/80.81 401[0:Res:230.1,333.1] cBipedidae(u) cLoxocemidae(u) || -> equal(xsd_string_9,xsd_string_3)**. % 80.60/80.81 402[0:Res:229.1,333.1] cAnomalepidae(u) cLoxocemidae(u) || -> equal(xsd_string_9,xsd_string_2)**. % 80.60/80.81 403[0:Res:228.1,333.1] cAmphisbaenidae(u) cLoxocemidae(u) || -> equal(xsd_string_9,xsd_string_1)**. % 80.60/80.81 404[0:Res:227.1,333.1] cAgamidae(u) cLoxocemidae(u) || -> equal(xsd_string_9,xsd_string_0)**. % 80.60/80.81 406[0:MRR:396.2,206.0] cLeptotyphlopidae(u) cLoxocemidae(u) || -> . % 80.60/80.81 407[0:MRR:397.2,203.0] cGekkonidae(u) cLoxocemidae(u) || -> . % 80.60/80.81 408[0:MRR:398.2,199.0] cEmydidae(u) cLoxocemidae(u) || -> . % 80.60/80.81 409[0:MRR:399.2,194.0] cCrocodylidae(u) cLoxocemidae(u) || -> . % 80.60/80.81 410[0:MRR:400.2,188.0] cCordylidae(u) cLoxocemidae(u) || -> . % 80.60/80.81 411[0:MRR:401.2,181.0] cBipedidae(u) cLoxocemidae(u) || -> . % 80.60/80.81 412[0:MRR:402.2,173.0] cAnomalepidae(u) cLoxocemidae(u) || -> . % 80.60/80.81 413[0:MRR:403.2,164.0] cAmphisbaenidae(u) cLoxocemidae(u) || -> . % 80.60/80.81 414[0:MRR:404.2,154.0] cAgamidae(u) cLoxocemidae(u) || -> . % 80.60/80.81 420[0:Res:234.1,334.1] cGekkonidae(u) cLeptotyphlopidae(u) || -> equal(xsd_string_8,xsd_string_7)**. % 80.60/80.81 421[0:Res:233.1,334.1] cEmydidae(u) cLeptotyphlopidae(u) || -> equal(xsd_string_8,xsd_string_6)**. % 80.60/80.81 422[0:Res:232.1,334.1] cCrocodylidae(u) cLeptotyphlopidae(u) || -> equal(xsd_string_8,xsd_string_5)**. % 80.60/80.81 423[0:Res:231.1,334.1] cCordylidae(u) cLeptotyphlopidae(u) || -> equal(xsd_string_8,xsd_string_4)**. % 80.60/80.81 424[0:Res:230.1,334.1] cBipedidae(u) cLeptotyphlopidae(u) || -> equal(xsd_string_8,xsd_string_3)**. % 80.60/80.81 425[0:Res:229.1,334.1] cAnomalepidae(u) cLeptotyphlopidae(u) || -> equal(xsd_string_8,xsd_string_2)**. % 80.60/80.81 426[0:Res:228.1,334.1] cAmphisbaenidae(u) cLeptotyphlopidae(u) || -> equal(xsd_string_8,xsd_string_1)**. % 80.60/80.81 427[0:Res:227.1,334.1] cAgamidae(u) cLeptotyphlopidae(u) || -> equal(xsd_string_8,xsd_string_0)**. % 80.60/80.81 429[0:MRR:420.2,202.0] cGekkonidae(u) cLeptotyphlopidae(u) || -> . % 80.60/80.81 430[0:MRR:421.2,198.0] cEmydidae(u) cLeptotyphlopidae(u) || -> . % 80.60/80.81 431[0:MRR:422.2,193.0] cCrocodylidae(u) cLeptotyphlopidae(u) || -> . % 80.60/80.81 432[0:MRR:423.2,187.0] cCordylidae(u) cLeptotyphlopidae(u) || -> . % 80.60/80.81 433[0:MRR:424.2,180.0] cBipedidae(u) cLeptotyphlopidae(u) || -> . % 80.60/80.81 434[0:MRR:425.2,172.0] cAnomalepidae(u) cLeptotyphlopidae(u) || -> . % 80.60/80.81 435[0:MRR:426.2,163.0] cAmphisbaenidae(u) cLeptotyphlopidae(u) || -> . % 80.60/80.81 436[0:MRR:427.2,153.0] cAgamidae(u) cLeptotyphlopidae(u) || -> . % 80.60/80.81 438[1:EmS:383.0,383.1,253.0,252.0] || -> . % 80.60/80.81 439[1:Spt:438.0,249.0,251.0] || -> SkC65*. % 80.60/80.81 440[1:Spt:438.0,249.1,249.2,249.3,249.4,249.5,249.6,249.7,249.8,249.9,249.10,249.11,249.12,249.13,249.14,249.15,249.16,249.17,249.18,249.19,249.20,249.21,249.22,249.23,249.24,249.25,249.26,249.27,249.28,249.29,249.30,249.31,249.32,249.33,249.34,249.35,249.36,249.37,249.38,249.39,249.40,249.41,249.42,249.43,249.44,249.45,249.46,249.47,249.48,249.49,249.50,249.51,249.52,249.53,249.54,249.55,249.56,249.57,249.58,249.59,249.60,249.61,249.62,249.63,249.64,249.65] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 SkC11 SkC10 SkC9 SkC8 SkC7 SkC6 SkC5 SkC4 SkC3 SkC2 SkC1 -> cAgamidae(skc71)*. % 80.60/80.81 441[1:MRR:250.0,439.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 SkC11 SkC10 SkC9 SkC8 SkC7 SkC6 SkC5 SkC4 SkC3 SkC2 SkC1 -> cAmphisbaenidae(skc71)*. % 80.60/80.81 442[2:Spt:15.0] || -> SkC1*. % 80.60/80.81 443[2:MRR:440.63,442.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 SkC11 SkC10 SkC9 SkC8 SkC7 SkC6 SkC5 SkC4 SkC3 SkC2 -> cAgamidae(skc71)*. % 80.60/80.81 444[2:MRR:441.63,442.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 SkC11 SkC10 SkC9 SkC8 SkC7 SkC6 SkC5 SkC4 SkC3 SkC2 -> cAmphisbaenidae(skc71)*. % 80.60/80.81 445[3:Spt:17.0] || -> SkC2*. % 80.60/80.81 446[3:MRR:443.62,445.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 SkC11 SkC10 SkC9 SkC8 SkC7 SkC6 SkC5 SkC4 SkC3 -> cAgamidae(skc71)*. % 80.60/80.81 447[3:MRR:444.62,445.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 SkC11 SkC10 SkC9 SkC8 SkC7 SkC6 SkC5 SkC4 SkC3 -> cAmphisbaenidae(skc71)*. % 80.60/80.81 448[4:Spt:19.0] || -> SkC3*. % 80.60/80.81 449[4:MRR:446.61,448.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 SkC11 SkC10 SkC9 SkC8 SkC7 SkC6 SkC5 SkC4 -> cAgamidae(skc71)*. % 80.60/80.81 450[4:MRR:447.61,448.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 SkC11 SkC10 SkC9 SkC8 SkC7 SkC6 SkC5 SkC4 -> cAmphisbaenidae(skc71)*. % 80.60/80.81 451[5:Spt:21.0] || -> SkC4*. % 80.60/80.81 452[5:MRR:449.60,451.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 SkC11 SkC10 SkC9 SkC8 SkC7 SkC6 SkC5 -> cAgamidae(skc71)*. % 80.60/80.81 453[5:MRR:450.60,451.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 SkC11 SkC10 SkC9 SkC8 SkC7 SkC6 SkC5 -> cAmphisbaenidae(skc71)*. % 80.60/80.81 454[6:Spt:23.0] || -> SkC5*. % 80.60/80.81 455[6:MRR:452.59,454.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 SkC11 SkC10 SkC9 SkC8 SkC7 SkC6 -> cAgamidae(skc71)*. % 80.60/80.81 456[6:MRR:453.59,454.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 SkC11 SkC10 SkC9 SkC8 SkC7 SkC6 -> cAmphisbaenidae(skc71)*. % 80.60/80.81 457[7:Spt:25.0] || -> SkC6*. % 80.60/80.81 458[7:MRR:455.58,457.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 SkC11 SkC10 SkC9 SkC8 SkC7 -> cAgamidae(skc71)*. % 80.60/80.81 459[7:MRR:456.58,457.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 SkC11 SkC10 SkC9 SkC8 SkC7 -> cAmphisbaenidae(skc71)*. % 80.60/80.81 460[8:Spt:27.0] || -> SkC7*. % 80.60/80.81 461[8:MRR:458.57,460.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 SkC11 SkC10 SkC9 SkC8 -> cAgamidae(skc71)*. % 80.60/80.81 462[8:MRR:459.57,460.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 SkC11 SkC10 SkC9 SkC8 -> cAmphisbaenidae(skc71)*. % 80.60/80.81 463[9:Spt:29.0] || -> SkC8*. % 80.60/80.81 464[9:MRR:461.56,463.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 SkC11 SkC10 SkC9 -> cAgamidae(skc71)*. % 80.60/80.81 465[9:MRR:462.56,463.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 SkC11 SkC10 SkC9 -> cAmphisbaenidae(skc71)*. % 80.60/80.81 466[10:Spt:31.0] || -> SkC9*. % 80.60/80.81 467[10:MRR:464.55,466.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 SkC11 SkC10 -> cAgamidae(skc71)*. % 80.60/80.81 468[10:MRR:465.55,466.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 SkC11 SkC10 -> cAmphisbaenidae(skc71)*. % 80.60/80.81 469[11:Spt:33.0] || -> SkC10*. % 80.60/80.81 470[11:MRR:467.54,469.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 SkC11 -> cAgamidae(skc71)*. % 80.60/80.81 471[11:MRR:468.54,469.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 SkC11 -> cAmphisbaenidae(skc71)*. % 80.60/80.81 472[12:Spt:35.0] || -> SkC11*. % 80.60/80.81 473[12:MRR:470.53,472.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 -> cAgamidae(skc71)*. % 80.60/80.81 474[12:MRR:471.53,472.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 SkC12 -> cAmphisbaenidae(skc71)*. % 80.60/80.81 475[13:Spt:37.0] || -> SkC12*. % 80.60/80.81 476[13:MRR:473.52,475.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 -> cAgamidae(skc71)*. % 80.60/80.81 477[13:MRR:474.52,475.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 SkC13 -> cAmphisbaenidae(skc71)*. % 80.60/80.81 478[14:Spt:39.0] || -> SkC13*. % 80.60/80.81 479[14:MRR:476.51,478.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 -> cAgamidae(skc71)*. % 80.60/80.81 480[14:MRR:477.51,478.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 SkC14 -> cAmphisbaenidae(skc71)*. % 80.60/80.81 481[15:Spt:41.0] || -> SkC14*. % 80.60/80.81 482[15:MRR:479.50,481.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 -> cAgamidae(skc71)*. % 80.60/80.81 483[15:MRR:480.50,481.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 SkC15 -> cAmphisbaenidae(skc71)*. % 80.60/80.81 484[16:Spt:43.0] || -> SkC15*. % 80.60/80.81 485[16:MRR:482.49,484.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 -> cAgamidae(skc71)*. % 80.60/80.81 486[16:MRR:483.49,484.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 SkC16 -> cAmphisbaenidae(skc71)*. % 80.60/80.81 487[17:Spt:45.0] || -> SkC16*. % 80.60/80.81 488[17:MRR:485.48,487.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 -> cAgamidae(skc71)*. % 80.60/80.81 489[17:MRR:486.48,487.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 SkC17 -> cAmphisbaenidae(skc71)*. % 80.60/80.81 490[18:Spt:47.0] || -> SkC17*. % 80.60/80.81 491[18:MRR:488.47,490.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 -> cAgamidae(skc71)*. % 80.60/80.81 492[18:MRR:489.47,490.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 SkC18 -> cAmphisbaenidae(skc71)*. % 80.60/80.81 493[19:Spt:49.0] || -> SkC18*. % 80.60/80.81 494[19:MRR:491.46,493.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 -> cAgamidae(skc71)*. % 80.60/80.81 495[19:MRR:492.46,493.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 SkC19 -> cAmphisbaenidae(skc71)*. % 80.60/80.81 496[20:Spt:51.0] || -> SkC19*. % 80.60/80.81 497[20:MRR:494.45,496.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 -> cAgamidae(skc71)*. % 80.60/80.81 498[20:MRR:495.45,496.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 SkC20 -> cAmphisbaenidae(skc71)*. % 80.60/80.81 499[21:Spt:53.0] || -> SkC20*. % 80.60/80.81 500[21:MRR:497.44,499.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 -> cAgamidae(skc71)*. % 80.60/80.81 501[21:MRR:498.44,499.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 SkC21 -> cAmphisbaenidae(skc71)*. % 80.60/80.81 502[22:Spt:55.0] || -> SkC21*. % 80.60/80.81 503[22:MRR:500.43,502.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 -> cAgamidae(skc71)*. % 80.60/80.81 504[22:MRR:501.43,502.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 SkC22 -> cAmphisbaenidae(skc71)*. % 80.60/80.81 505[23:Spt:57.0] || -> SkC22*. % 80.60/80.81 506[23:MRR:503.42,505.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 -> cAgamidae(skc71)*. % 80.60/80.82 507[23:MRR:504.42,505.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 SkC23 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 508[24:Spt:59.0] || -> SkC23*. % 80.60/80.82 509[24:MRR:506.41,508.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 -> cAgamidae(skc71)*. % 80.60/80.82 510[24:MRR:507.41,508.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 SkC24 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 511[25:Spt:61.0] || -> SkC24*. % 80.60/80.82 512[25:MRR:509.40,511.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 -> cAgamidae(skc71)*. % 80.60/80.82 513[25:MRR:510.40,511.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 SkC25 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 514[26:Spt:63.0] || -> SkC25*. % 80.60/80.82 515[26:MRR:512.39,514.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 -> cAgamidae(skc71)*. % 80.60/80.82 516[26:MRR:513.39,514.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 SkC26 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 517[27:Spt:65.0] || -> SkC26*. % 80.60/80.82 518[27:MRR:515.38,517.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 -> cAgamidae(skc71)*. % 80.60/80.82 519[27:MRR:516.38,517.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 SkC27 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 520[28:Spt:67.0] || -> SkC27*. % 80.60/80.82 521[28:MRR:518.37,520.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 -> cAgamidae(skc71)*. % 80.60/80.82 522[28:MRR:519.37,520.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 SkC28 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 523[29:Spt:69.0] || -> SkC28*. % 80.60/80.82 524[29:MRR:521.36,523.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 -> cAgamidae(skc71)*. % 80.60/80.82 525[29:MRR:522.36,523.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 SkC29 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 526[30:Spt:71.0] || -> SkC29*. % 80.60/80.82 527[30:MRR:524.35,526.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 -> cAgamidae(skc71)*. % 80.60/80.82 528[30:MRR:525.35,526.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 SkC30 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 529[31:Spt:73.0] || -> SkC30*. % 80.60/80.82 530[31:MRR:527.34,529.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 -> cAgamidae(skc71)*. % 80.60/80.82 531[31:MRR:528.34,529.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 SkC31 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 532[32:Spt:75.0] || -> SkC31*. % 80.60/80.82 533[32:MRR:530.33,532.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 -> cAgamidae(skc71)*. % 80.60/80.82 534[32:MRR:531.33,532.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 SkC32 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 535[33:Spt:77.0] || -> SkC32*. % 80.60/80.82 536[33:MRR:533.32,535.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 -> cAgamidae(skc71)*. % 80.60/80.82 537[33:MRR:534.32,535.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 SkC33 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 538[34:Spt:79.0] || -> SkC33*. % 80.60/80.82 539[34:MRR:536.31,538.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 -> cAgamidae(skc71)*. % 80.60/80.82 540[34:MRR:537.31,538.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 SkC34 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 541[35:Spt:81.0] || -> SkC34*. % 80.60/80.82 542[35:MRR:539.30,541.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 -> cAgamidae(skc71)*. % 80.60/80.82 543[35:MRR:540.30,541.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 SkC35 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 544[36:Spt:83.0] || -> SkC35*. % 80.60/80.82 545[36:MRR:542.29,544.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 -> cAgamidae(skc71)*. % 80.60/80.82 546[36:MRR:543.29,544.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 SkC36 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 547[37:Spt:85.0] || -> SkC36*. % 80.60/80.82 548[37:MRR:545.28,547.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 -> cAgamidae(skc71)*. % 80.60/80.82 549[37:MRR:546.28,547.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 SkC37 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 550[38:Spt:87.0] || -> SkC37*. % 80.60/80.82 551[38:MRR:548.27,550.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 -> cAgamidae(skc71)*. % 80.60/80.82 552[38:MRR:549.27,550.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 SkC38 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 553[39:Spt:89.0] || -> SkC38*. % 80.60/80.82 554[39:MRR:551.26,553.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 -> cAgamidae(skc71)*. % 80.60/80.82 555[39:MRR:552.26,553.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 SkC39 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 556[40:Spt:91.0] || -> SkC39*. % 80.60/80.82 557[40:MRR:554.25,556.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 -> cAgamidae(skc71)*. % 80.60/80.82 558[40:MRR:555.25,556.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 SkC40 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 559[41:Spt:93.0] || -> SkC40*. % 80.60/80.82 560[41:MRR:557.24,559.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 -> cAgamidae(skc71)*. % 80.60/80.82 561[41:MRR:558.24,559.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 SkC41 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 562[42:Spt:95.0] || -> SkC41*. % 80.60/80.82 563[42:MRR:560.23,562.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 -> cAgamidae(skc71)*. % 80.60/80.82 564[42:MRR:561.23,562.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 SkC42 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 565[43:Spt:97.0] || -> SkC42*. % 80.60/80.82 566[43:MRR:563.22,565.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 -> cAgamidae(skc71)*. % 80.60/80.82 567[43:MRR:564.22,565.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 SkC43 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 568[44:Spt:99.0] || -> SkC43*. % 80.60/80.82 569[44:MRR:566.21,568.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 -> cAgamidae(skc71)*. % 80.60/80.82 570[44:MRR:567.21,568.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 SkC44 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 571[45:Spt:101.0] || -> SkC44*. % 80.60/80.82 572[45:MRR:569.20,571.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 -> cAgamidae(skc71)*. % 80.60/80.82 573[45:MRR:570.20,571.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 SkC45 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 574[46:Spt:103.0] || -> SkC45*. % 80.60/80.82 575[46:MRR:572.19,574.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 -> cAgamidae(skc71)*. % 80.60/80.82 576[46:MRR:573.19,574.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 SkC46 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 577[47:Spt:105.0] || -> SkC46*. % 80.60/80.82 578[47:MRR:575.18,577.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 -> cAgamidae(skc71)*. % 80.60/80.82 579[47:MRR:576.18,577.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 SkC47 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 580[48:Spt:107.0] || -> SkC47*. % 80.60/80.82 581[48:MRR:578.17,580.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 -> cAgamidae(skc71)*. % 80.60/80.82 582[48:MRR:579.17,580.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 SkC48 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 583[49:Spt:108.0] || -> SkC48*. % 80.60/80.82 584[49:MRR:581.16,583.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 -> cAgamidae(skc71)*. % 80.60/80.82 585[49:MRR:582.16,583.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 SkC49 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 586[50:Spt:110.0] || -> SkC49*. % 80.60/80.82 587[50:MRR:584.15,586.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 -> cAgamidae(skc71)*. % 80.60/80.82 588[50:MRR:585.15,586.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 SkC50 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 589[51:Spt:112.0] || -> SkC50*. % 80.60/80.82 590[51:MRR:587.14,589.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 -> cAgamidae(skc71)*. % 80.60/80.82 591[51:MRR:588.14,589.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 SkC51 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 592[52:Spt:114.0] || -> SkC51*. % 80.60/80.82 593[52:MRR:590.13,592.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 -> cAgamidae(skc71)*. % 80.60/80.82 594[52:MRR:591.13,592.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 SkC52 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 595[53:Spt:116.0] || -> SkC52*. % 80.60/80.82 596[53:MRR:593.12,595.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 -> cAgamidae(skc71)*. % 80.60/80.82 597[53:MRR:594.12,595.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 SkC53 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 598[54:Spt:118.0] || -> SkC53*. % 80.60/80.82 599[54:MRR:596.11,598.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 -> cAgamidae(skc71)*. % 80.60/80.82 600[54:MRR:597.11,598.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 SkC54 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 601[55:Spt:120.0] || -> SkC54*. % 80.60/80.82 602[55:MRR:599.10,601.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 -> cAgamidae(skc71)*. % 80.60/80.82 603[55:MRR:600.10,601.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 SkC55 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 604[56:Spt:122.0] || -> SkC55*. % 80.60/80.82 605[56:MRR:602.9,604.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 -> cAgamidae(skc71)*. % 80.60/80.82 606[56:MRR:603.9,604.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 SkC56 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 607[57:Spt:124.0] || -> SkC56*. % 80.60/80.82 608[57:MRR:605.8,607.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 -> cAgamidae(skc71)*. % 80.60/80.82 609[57:MRR:606.8,607.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 SkC57 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 610[58:Spt:126.0] || -> SkC57*. % 80.60/80.82 611[58:MRR:608.7,610.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 -> cAgamidae(skc71)*. % 80.60/80.82 612[58:MRR:609.7,610.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 SkC58 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 613[59:Spt:128.0] || -> SkC58*. % 80.60/80.82 614[59:MRR:611.6,613.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 -> cAgamidae(skc71)*. % 80.60/80.82 615[59:MRR:612.6,613.0] || SkC64 SkC63 SkC62 SkC61 SkC60 SkC59 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 616[60:Spt:130.0] || -> SkC59*. % 80.60/80.82 617[60:MRR:614.5,616.0] || SkC64 SkC63 SkC62 SkC61 SkC60 -> cAgamidae(skc71)*. % 80.60/80.82 618[60:MRR:615.5,616.0] || SkC64 SkC63 SkC62 SkC61 SkC60 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 619[61:Spt:132.0] || -> SkC60*. % 80.60/80.82 620[61:MRR:617.4,619.0] || SkC64 SkC63 SkC62 SkC61 -> cAgamidae(skc71)*. % 80.60/80.82 621[61:MRR:618.4,619.0] || SkC64 SkC63 SkC62 SkC61 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 622[62:Spt:134.0] || -> SkC61*. % 80.60/80.82 623[62:MRR:620.3,622.0] || SkC64 SkC63 SkC62 -> cAgamidae(skc71)*. % 80.60/80.82 624[62:MRR:621.3,622.0] || SkC64 SkC63 SkC62 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 625[63:Spt:136.0] || -> SkC62*. % 80.60/80.82 626[63:MRR:623.2,625.0] || SkC64 SkC63 -> cAgamidae(skc71)*. % 80.60/80.82 627[63:MRR:624.2,625.0] || SkC64 SkC63 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 628[64:Spt:138.0] || -> SkC63*. % 80.60/80.82 629[64:MRR:626.1,628.0] || SkC64 -> cAgamidae(skc71)*. % 80.60/80.82 630[64:MRR:627.1,628.0] || SkC64 -> cAmphisbaenidae(skc71)*. % 80.60/80.82 631[65:Spt:140.0] || -> SkC64*. % 80.60/80.82 632[65:MRR:629.0,631.0] || -> cAgamidae(skc71)*. % 80.60/80.82 633[65:MRR:630.0,631.0] || -> cAmphisbaenidae(skc71)*. % 80.60/80.82 639[0:Res:233.1,335.1] cEmydidae(u) cGekkonidae(u) || -> equal(xsd_string_7,xsd_string_6)**. % 80.60/80.82 640[0:Res:232.1,335.1] cCrocodylidae(u) cGekkonidae(u) || -> equal(xsd_string_7,xsd_string_5)**. % 80.60/80.82 641[0:Res:231.1,335.1] cCordylidae(u) cGekkonidae(u) || -> equal(xsd_string_7,xsd_string_4)**. % 80.60/80.82 642[0:Res:230.1,335.1] cBipedidae(u) cGekkonidae(u) || -> equal(xsd_string_7,xsd_string_3)**. % 80.60/80.82 643[0:Res:229.1,335.1] cAnomalepidae(u) cGekkonidae(u) || -> equal(xsd_string_7,xsd_string_2)**. % 80.60/80.82 644[0:Res:228.1,335.1] cAmphisbaenidae(u) cGekkonidae(u) || -> equal(xsd_string_7,xsd_string_1)**. % 80.60/80.82 645[0:Res:227.1,335.1] cAgamidae(u) cGekkonidae(u) || -> equal(xsd_string_7,xsd_string_0)**. % 80.60/80.82 647[0:MRR:639.2,197.0] cEmydidae(u) cGekkonidae(u) || -> . % 80.60/80.82 648[0:MRR:640.2,192.0] cCrocodylidae(u) cGekkonidae(u) || -> . % 80.60/80.82 649[0:MRR:641.2,186.0] cCordylidae(u) cGekkonidae(u) || -> . % 80.60/80.82 650[0:MRR:642.2,179.0] cBipedidae(u) cGekkonidae(u) || -> . % 80.60/80.82 651[0:MRR:643.2,171.0] cAnomalepidae(u) cGekkonidae(u) || -> . % 80.60/80.82 652[0:MRR:644.2,162.0] cAmphisbaenidae(u) cGekkonidae(u) || -> . % 80.60/80.82 653[0:MRR:645.2,152.0] cAgamidae(u) cGekkonidae(u) || -> . % 80.60/80.82 661[0:Res:232.1,336.1] cCrocodylidae(u) cEmydidae(u) || -> equal(xsd_string_6,xsd_string_5)**. % 80.60/80.82 662[0:Res:231.1,336.1] cCordylidae(u) cEmydidae(u) || -> equal(xsd_string_6,xsd_string_4)**. % 80.60/80.82 663[0:Res:230.1,336.1] cBipedidae(u) cEmydidae(u) || -> equal(xsd_string_6,xsd_string_3)**. % 80.60/80.82 664[0:Res:229.1,336.1] cAnomalepidae(u) cEmydidae(u) || -> equal(xsd_string_6,xsd_string_2)**. % 80.60/80.82 665[0:Res:228.1,336.1] cAmphisbaenidae(u) cEmydidae(u) || -> equal(xsd_string_6,xsd_string_1)**. % 80.60/80.82 666[0:Res:227.1,336.1] cAgamidae(u) cEmydidae(u) || -> equal(xsd_string_6,xsd_string_0)**. % 80.60/80.82 668[0:MRR:661.2,191.0] cCrocodylidae(u) cEmydidae(u) || -> . % 80.60/80.82 669[0:MRR:662.2,185.0] cCordylidae(u) cEmydidae(u) || -> . % 80.60/80.82 670[0:MRR:663.2,178.0] cBipedidae(u) cEmydidae(u) || -> . % 80.60/80.82 671[0:MRR:664.2,170.0] cAnomalepidae(u) cEmydidae(u) || -> . % 80.60/80.82 672[0:MRR:665.2,161.0] cAmphisbaenidae(u) cEmydidae(u) || -> . % 80.60/80.82 673[0:MRR:666.2,151.0] cAgamidae(u) cEmydidae(u) || -> . % 80.60/80.82 682[0:Res:231.1,337.1] cCordylidae(u) cCrocodylidae(u) || -> equal(xsd_string_5,xsd_string_4)**. % 80.60/80.82 683[0:Res:230.1,337.1] cBipedidae(u) cCrocodylidae(u) || -> equal(xsd_string_5,xsd_string_3)**. % 80.60/80.82 684[0:Res:229.1,337.1] cAnomalepidae(u) cCrocodylidae(u) || -> equal(xsd_string_5,xsd_string_2)**. % 80.60/80.82 685[0:Res:228.1,337.1] cAmphisbaenidae(u) cCrocodylidae(u) || -> equal(xsd_string_5,xsd_string_1)**. % 80.60/80.82 686[0:Res:227.1,337.1] cAgamidae(u) cCrocodylidae(u) || -> equal(xsd_string_5,xsd_string_0)**. % 80.60/80.82 688[0:MRR:682.2,184.0] cCordylidae(u) cCrocodylidae(u) || -> . % 80.60/80.82 689[0:MRR:683.2,177.0] cBipedidae(u) cCrocodylidae(u) || -> . % 80.60/80.82 690[0:MRR:684.2,169.0] cAnomalepidae(u) cCrocodylidae(u) || -> . % 80.60/80.82 691[0:MRR:685.2,160.0] cAmphisbaenidae(u) cCrocodylidae(u) || -> . % 80.60/80.82 692[0:MRR:686.2,150.0] cAgamidae(u) cCrocodylidae(u) || -> . % 80.60/80.82 702[0:Res:230.1,338.1] cBipedidae(u) cCordylidae(u) || -> equal(xsd_string_4,xsd_string_3)**. % 80.60/80.82 703[0:Res:229.1,338.1] cAnomalepidae(u) cCordylidae(u) || -> equal(xsd_string_4,xsd_string_2)**. % 80.60/80.82 704[0:Res:228.1,338.1] cAmphisbaenidae(u) cCordylidae(u) || -> equal(xsd_string_4,xsd_string_1)**. % 80.60/80.82 705[0:Res:227.1,338.1] cAgamidae(u) cCordylidae(u) || -> equal(xsd_string_4,xsd_string_0)**. % 80.60/80.82 707[0:MRR:702.2,176.0] cBipedidae(u) cCordylidae(u) || -> . % 80.60/80.82 708[0:MRR:703.2,168.0] cAnomalepidae(u) cCordylidae(u) || -> . % 80.60/80.82 709[0:MRR:704.2,159.0] cAmphisbaenidae(u) cCordylidae(u) || -> . % 80.60/80.82 710[0:MRR:705.2,149.0] cAgamidae(u) cCordylidae(u) || -> . % 80.60/80.82 721[0:Res:229.1,339.1] cAnomalepidae(u) cBipedidae(u) || -> equal(xsd_string_3,xsd_string_2)**. % 80.60/80.82 722[0:Res:228.1,339.1] cAmphisbaenidae(u) cBipedidae(u) || -> equal(xsd_string_3,xsd_string_1)**. % 80.60/80.82 723[0:Res:227.1,339.1] cAgamidae(u) cBipedidae(u) || -> equal(xsd_string_3,xsd_string_0)**. % 80.60/80.82 725[0:MRR:721.2,167.0] cAnomalepidae(u) cBipedidae(u) || -> . % 80.60/80.82 726[0:MRR:722.2,158.0] cAmphisbaenidae(u) cBipedidae(u) || -> . % 80.60/80.82 727[0:MRR:723.2,148.0] cAgamidae(u) cBipedidae(u) || -> . % 80.60/80.82 739[0:Res:228.1,340.1] cAmphisbaenidae(u) cAnomalepidae(u) || -> equal(xsd_string_2,xsd_string_1)**. % 80.60/80.82 740[0:Res:227.1,340.1] cAgamidae(u) cAnomalepidae(u) || -> equal(xsd_string_2,xsd_string_0)**. % 80.60/80.82 742[0:MRR:739.2,157.0] cAmphisbaenidae(u) cAnomalepidae(u) || -> . % 80.60/80.82 743[0:MRR:740.2,147.0] cAgamidae(u) cAnomalepidae(u) || -> . % 80.60/80.82 756[0:Res:227.1,341.1] cAgamidae(u) cAmphisbaenidae(u) || -> equal(xsd_string_1,xsd_string_0)**. % 80.60/80.82 758[0:MRR:756.2,146.0] cAgamidae(u) cAmphisbaenidae(u) || -> . % 80.60/80.82 787[65:EmS:758.0,758.1,632.0,633.0] || -> . % 80.60/80.82 788[65:Spt:787.0,140.0,631.0] || SkC64* -> . % 80.60/80.82 789[65:Spt:787.0,140.1] || -> cEmydidae(skc136)*. % 80.60/80.82 790[65:MRR:141.0,788.0] || -> cLoxocemidae(skc136)*. % 80.60/80.82 791[65:EmS:408.0,408.1,789.0,790.0] || -> . % 80.60/80.82 792[64:Spt:791.0,138.0,628.0] || SkC63* -> . % 80.60/80.82 793[64:Spt:791.0,138.1] || -> cLeptotyphlopidae(skc135)*. % 80.60/80.82 794[64:MRR:139.0,792.0] || -> cLoxocemidae(skc135)*. % 80.60/80.82 796[64:EmS:406.0,406.1,793.0,794.0] || -> . % 80.60/80.82 797[63:Spt:796.0,136.0,625.0] || SkC62* -> . % 80.60/80.82 798[63:Spt:796.0,136.1] || -> cAgamidae(skc134)*. % 80.60/80.82 799[63:MRR:137.0,797.0] || -> cCordylidae(skc134)*. % 80.60/80.82 802[63:EmS:710.0,710.1,798.0,799.0] || -> . % 80.60/80.82 803[62:Spt:802.0,134.0,622.0] || SkC61* -> . % 80.60/80.82 804[62:Spt:802.0,134.1] || -> cGekkonidae(skc133)*. % 80.60/80.82 805[62:MRR:135.0,803.0] || -> cAgamidae(skc133)*. % 80.60/80.82 808[62:EmS:653.0,653.1,805.0,804.0] || -> . % 80.60/80.82 809[61:Spt:808.0,132.0,619.0] || SkC60* -> . % 80.60/80.82 810[61:Spt:808.0,132.1] || -> cLeptotyphlopidae(skc132)*. % 80.60/80.82 811[61:MRR:133.0,809.0] || -> cXantusiidae(skc132)*. % 80.60/80.82 814[61:EmS:359.0,359.1,810.0,811.0] || -> . % 80.60/80.82 815[60:Spt:814.0,130.0,616.0] || SkC59* -> . % 80.60/80.82 816[60:Spt:814.0,130.1] || -> cAnomalepidae(skc131)*. % 80.60/80.82 817[60:MRR:131.0,815.0] || -> cSphenodontidae(skc131)*. % 80.60/80.82 820[60:EmS:389.0,389.1,816.0,817.0] || -> . % 80.60/80.82 821[59:Spt:820.0,128.0,613.0] || SkC58* -> . % 80.60/80.82 822[59:Spt:820.0,128.1] || -> cXantusiidae(skc130)*. % 80.60/80.82 823[59:MRR:129.0,821.0] || -> cAnomalepidae(skc130)*. % 80.60/80.82 826[59:EmS:365.0,365.1,823.0,822.0] || -> . % 80.60/80.82 827[58:Spt:826.0,126.0,610.0] || SkC57* -> . % 80.60/80.82 828[58:Spt:826.0,126.1] || -> cCordylidae(skc129)*. % 80.60/80.82 829[58:MRR:127.0,827.0] || -> cCrocodylidae(skc129)*. % 80.60/80.82 832[58:EmS:688.0,688.1,828.0,829.0] || -> . % 80.60/80.82 833[57:Spt:832.0,124.0,607.0] || SkC56* -> . % 80.60/80.82 834[57:Spt:832.0,124.1] || -> cLeptotyphlopidae(skc128)*. % 80.60/80.82 835[57:MRR:125.0,833.0] || -> cAnomalepidae(skc128)*. % 80.60/80.82 838[57:EmS:434.0,434.1,835.0,834.0] || -> . % 80.60/80.82 839[56:Spt:838.0,122.0,604.0] || SkC55* -> . % 80.60/80.82 840[56:Spt:838.0,122.1] || -> cAnomalepidae(skc127)*. % 80.60/80.82 841[56:MRR:123.0,839.0] || -> cLoxocemidae(skc127)*. % 80.60/80.82 844[56:EmS:412.0,412.1,840.0,841.0] || -> . % 80.60/80.82 845[55:Spt:844.0,120.0,601.0] || SkC54* -> . % 80.60/80.82 846[55:Spt:844.0,120.1] || -> cGekkonidae(skc126)*. % 80.60/80.82 847[55:MRR:121.0,845.0] || -> cLoxocemidae(skc126)*. % 80.60/80.82 850[55:EmS:407.0,407.1,846.0,847.0] || -> . % 80.60/80.82 851[54:Spt:850.0,118.0,598.0] || SkC53* -> . % 80.60/80.82 852[54:Spt:850.0,118.1] || -> cAmphisbaenidae(skc125)*. % 80.60/80.82 853[54:MRR:119.0,851.0] || -> cAnomalepidae(skc125)*. % 80.60/80.82 856[54:EmS:742.0,742.1,852.0,853.0] || -> . % 80.60/80.82 857[53:Spt:856.0,116.0,595.0] || SkC52* -> . % 80.60/80.82 858[53:Spt:856.0,116.1] || -> cLeptotyphlopidae(skc124)*. % 80.60/80.82 859[53:MRR:117.0,857.0] || -> cEmydidae(skc124)*. % 80.60/80.82 862[53:EmS:430.0,430.1,859.0,858.0] || -> . % 80.60/80.82 863[52:Spt:862.0,114.0,592.0] || SkC51* -> . % 80.60/80.82 864[52:Spt:862.0,114.1] || -> cSphenodontidae(skc123)*. % 80.60/80.82 865[52:MRR:115.0,863.0] || -> cLoxocemidae(skc123)*. % 80.60/80.82 868[52:EmS:382.0,382.1,865.0,864.0] || -> . % 80.60/80.82 869[51:Spt:868.0,112.0,589.0] || SkC50* -> . % 80.60/80.82 870[51:Spt:868.0,112.1] || -> cGekkonidae(skc122)*. % 80.60/80.82 871[51:MRR:113.0,869.0] || -> cEmydidae(skc122)*. % 80.60/80.82 874[51:EmS:647.0,647.1,871.0,870.0] || -> . % 80.60/80.82 875[50:Spt:874.0,110.0,586.0] || SkC49* -> . % 80.60/80.82 876[50:Spt:874.0,110.1] || -> cXantusiidae(skc121)*. % 80.60/80.82 877[50:MRR:111.0,875.0] || -> cAmphisbaenidae(skc121)*. % 80.60/80.82 880[50:EmS:366.0,366.1,877.0,876.0] || -> . % 80.60/80.82 881[49:Spt:880.0,108.0,583.0] || SkC48* -> . % 80.60/80.82 882[49:Spt:880.0,108.1] || -> cSphenodontidae(skc120)*. % 80.60/80.82 883[49:MRR:109.0,881.0] || -> cCrocodylidae(skc120)*. % 80.60/80.82 886[49:EmS:386.0,386.1,883.0,882.0] || -> . % 80.60/80.82 887[48:Spt:886.0,107.0,580.0] || SkC47* -> . % 80.60/80.82 888[48:Spt:886.0,107.1] || -> cAgamidae(skc119)*. % 80.60/80.82 889[48:MRR:106.0,887.0] || -> cAnomalepidae(skc119)*. % 80.60/80.82 892[48:EmS:743.0,743.1,888.0,889.0] || -> . % 80.60/80.82 893[47:Spt:892.0,105.0,577.0] || SkC46* -> . % 80.60/80.82 894[47:Spt:892.0,105.1] || -> cCordylidae(skc118)*. % 80.60/80.82 895[47:MRR:104.0,893.0] || -> cXantusiidae(skc118)*. % 80.60/80.82 898[47:EmS:363.0,363.1,894.0,895.0] || -> . % 80.60/80.82 899[46:Spt:898.0,103.0,574.0] || SkC45* -> . % 80.60/80.82 900[46:Spt:898.0,103.1] || -> cAmphisbaenidae(skc117)*. % 80.60/80.82 901[46:MRR:102.0,899.0] || -> cBipedidae(skc117)*. % 80.60/80.82 904[46:EmS:726.0,726.1,900.0,901.0] || -> . % 80.60/80.82 905[45:Spt:904.0,101.0,571.0] || SkC44* -> . % 80.60/80.82 906[45:Spt:904.0,101.1] || -> cCordylidae(skc116)*. % 80.60/80.82 907[45:MRR:100.0,905.0] || -> cBipedidae(skc116)*. % 80.60/80.82 910[45:EmS:707.0,707.1,907.0,906.0] || -> . % 80.60/80.82 911[44:Spt:910.0,99.0,568.0] || SkC43* -> . % 80.60/80.82 912[44:Spt:910.0,99.1] || -> cAnomalepidae(skc115)*. % 80.60/80.82 913[44:MRR:98.0,911.0] || -> cGekkonidae(skc115)*. % 80.60/80.82 916[44:EmS:651.0,651.1,912.0,913.0] || -> . % 80.60/80.82 917[43:Spt:916.0,97.0,565.0] || SkC42* -> . % 80.60/80.82 918[43:Spt:916.0,97.1] || -> cCordylidae(skc114)*. % 80.60/80.82 919[43:MRR:96.0,917.0] || -> cLeptotyphlopidae(skc114)*. % 80.60/80.82 922[43:EmS:432.0,432.1,918.0,919.0] || -> . % 80.60/80.82 923[42:Spt:922.0,95.0,562.0] || SkC41* -> . % 80.60/80.82 924[42:Spt:922.0,95.1] || -> cEmydidae(skc113)*. % 80.60/80.82 925[42:MRR:94.0,923.0] || -> cSphenodontidae(skc113)*. % 80.60/80.82 928[42:EmS:385.0,385.1,924.0,925.0] || -> . % 80.60/80.82 929[41:Spt:928.0,93.0,559.0] || SkC40* -> . % 80.60/80.82 930[41:Spt:928.0,93.1] || -> cAmphisbaenidae(skc112)*. % 80.60/80.82 931[41:MRR:92.0,929.0] || -> cLeptotyphlopidae(skc112)*. % 80.60/80.82 934[41:EmS:435.0,435.1,930.0,931.0] || -> . % 80.60/80.82 935[40:Spt:934.0,91.0,556.0] || SkC39* -> . % 80.60/80.82 936[40:Spt:934.0,91.1] || -> cSphenodontidae(skc111)*. % 80.60/80.82 937[40:MRR:90.0,935.0] || -> cXantusiidae(skc111)*. % 80.60/80.82 940[40:EmS:357.0,357.1,936.0,937.0] || -> . % 80.60/80.82 941[39:Spt:940.0,89.0,553.0] || SkC38* -> . % 80.60/80.82 942[39:Spt:940.0,89.1] || -> cEmydidae(skc110)*. % 80.60/80.82 943[39:MRR:88.0,941.0] || -> cAnomalepidae(skc110)*. % 80.60/80.82 946[39:EmS:671.0,671.1,943.0,942.0] || -> . % 80.60/80.82 947[38:Spt:946.0,87.0,550.0] || SkC37* -> . % 80.60/80.82 948[38:Spt:946.0,87.1] || -> cBipedidae(skc109)*. % 80.60/80.82 949[38:MRR:86.0,947.0] || -> cXantusiidae(skc109)*. % 80.60/80.82 952[38:EmS:364.0,364.1,948.0,949.0] || -> . % 80.60/80.82 953[37:Spt:952.0,85.0,547.0] || SkC36* -> . % 80.60/80.82 954[37:Spt:952.0,85.1] || -> cGekkonidae(skc108)*. % 80.60/80.82 955[37:MRR:84.0,953.0] || -> cXantusiidae(skc108)*. % 80.60/80.82 958[37:EmS:360.0,360.1,954.0,955.0] || -> . % 80.60/80.82 959[36:Spt:958.0,83.0,544.0] || SkC35* -> . % 80.60/80.82 960[36:Spt:958.0,83.1] || -> cLoxocemidae(skc107)*. % 80.60/80.82 961[36:MRR:82.0,959.0] || -> cAgamidae(skc107)*. % 80.60/80.82 964[36:EmS:414.0,414.1,961.0,960.0] || -> . % 80.60/80.82 965[35:Spt:964.0,81.0,541.0] || SkC34* -> . % 80.60/80.82 966[35:Spt:964.0,81.1] || -> cEmydidae(skc106)*. % 80.60/80.82 967[35:MRR:80.0,965.0] || -> cCordylidae(skc106)*. % 80.60/80.82 970[35:EmS:669.0,669.1,967.0,966.0] || -> . % 80.60/80.82 971[34:Spt:970.0,79.0,538.0] || SkC33* -> . % 80.60/80.82 972[34:Spt:970.0,79.1] || -> cEmydidae(skc105)*. % 80.60/80.82 973[34:MRR:78.0,971.0] || -> cAgamidae(skc105)*. % 80.60/80.82 976[34:EmS:673.0,673.1,973.0,972.0] || -> . % 80.60/80.82 977[33:Spt:976.0,77.0,535.0] || SkC32* -> . % 80.60/80.82 978[33:Spt:976.0,77.1] || -> cCordylidae(skc104)*. % 80.60/80.82 979[33:MRR:76.0,977.0] || -> cAnomalepidae(skc104)*. % 80.60/80.82 982[33:EmS:708.0,708.1,979.0,978.0] || -> . % 80.60/80.82 983[32:Spt:982.0,75.0,532.0] || SkC31* -> . % 80.60/80.82 984[32:Spt:982.0,75.1] || -> cAgamidae(skc103)*. % 80.60/80.82 985[32:MRR:74.0,983.0] || -> cXantusiidae(skc103)*. % 80.60/80.82 988[32:EmS:367.0,367.1,984.0,985.0] || -> . % 80.60/80.82 989[31:Spt:988.0,73.0,529.0] || SkC30* -> . % 80.60/80.82 990[31:Spt:988.0,73.1] || -> cCordylidae(skc102)*. % 80.60/80.82 991[31:MRR:72.0,989.0] || -> cGekkonidae(skc102)*. % 80.60/80.82 994[31:EmS:649.0,649.1,990.0,991.0] || -> . % 80.60/80.82 995[30:Spt:994.0,71.0,526.0] || SkC29* -> . % 80.60/80.82 996[30:Spt:994.0,71.1] || -> cLoxocemidae(skc101)*. % 80.60/80.82 997[30:MRR:70.0,995.0] || -> cCordylidae(skc101)*. % 80.60/80.82 1000[30:EmS:410.0,410.1,997.0,996.0] || -> . % 80.60/80.82 1001[29:Spt:1000.0,69.0,523.0] || SkC28* -> . % 80.60/80.82 1002[29:Spt:1000.0,69.1] || -> cCordylidae(skc100)*. % 80.60/80.82 1003[29:MRR:68.0,1001.0] || -> cAmphisbaenidae(skc100)*. % 80.60/80.82 1006[29:EmS:709.0,709.1,1003.0,1002.0] || -> . % 80.60/80.82 1007[28:Spt:1006.0,67.0,520.0] || SkC27* -> . % 80.60/80.82 1008[28:Spt:1006.0,67.1] || -> cCordylidae(skc99)*. % 80.60/80.82 1009[28:MRR:66.0,1007.0] || -> cSphenodontidae(skc99)*. % 80.60/80.82 1012[28:EmS:387.0,387.1,1008.0,1009.0] || -> . % 80.60/80.82 1013[27:Spt:1012.0,65.0,517.0] || SkC26* -> . % 80.60/80.82 1014[27:Spt:1012.0,65.1] || -> cCrocodylidae(skc98)*. % 80.60/80.82 1015[27:MRR:64.0,1013.0] || -> cLeptotyphlopidae(skc98)*. % 80.60/80.82 1018[27:EmS:431.0,431.1,1014.0,1015.0] || -> . % 80.60/80.82 1019[26:Spt:1018.0,63.0,514.0] || SkC25* -> . % 80.60/80.82 1020[26:Spt:1018.0,63.1] || -> cAmphisbaenidae(skc97)*. % 80.60/80.82 1021[26:MRR:62.0,1019.0] || -> cGekkonidae(skc97)*. % 80.60/80.82 1024[26:EmS:652.0,652.1,1020.0,1021.0] || -> . % 80.60/80.82 1025[25:Spt:1024.0,61.0,511.0] || SkC24* -> . % 80.60/80.82 1026[25:Spt:1024.0,61.1] || -> cAgamidae(skc96)*. % 80.60/80.82 1027[25:MRR:60.0,1025.0] || -> cBipedidae(skc96)*. % 80.60/80.82 1030[25:EmS:727.0,727.1,1026.0,1027.0] || -> . % 80.60/80.82 1031[24:Spt:1030.0,59.0,508.0] || SkC23* -> . % 80.60/80.82 1032[24:Spt:1030.0,59.1] || -> cLoxocemidae(skc95)*. % 80.60/80.82 1033[24:MRR:58.0,1031.0] || -> cBipedidae(skc95)*. % 80.60/80.82 1036[24:EmS:411.0,411.1,1033.0,1032.0] || -> . % 80.60/80.82 1037[23:Spt:1036.0,57.0,505.0] || SkC22* -> . % 80.60/80.82 1038[23:Spt:1036.0,57.1] || -> cEmydidae(skc94)*. % 80.60/80.82 1039[23:MRR:56.0,1037.0] || -> cXantusiidae(skc94)*. % 80.60/80.82 1042[23:EmS:361.0,361.1,1038.0,1039.0] || -> . % 80.60/80.82 1043[22:Spt:1042.0,55.0,502.0] || SkC21* -> . % 80.60/80.82 1044[22:Spt:1042.0,55.1] || -> cLoxocemidae(skc93)*. % 80.60/80.82 1045[22:MRR:54.0,1043.0] || -> cXantusiidae(skc93)*. % 80.60/80.82 1048[22:EmS:358.0,358.1,1044.0,1045.0] || -> . % 80.60/80.82 1049[21:Spt:1048.0,53.0,499.0] || SkC20* -> . % 80.60/80.82 1050[21:Spt:1048.0,53.1] || -> cCrocodylidae(skc92)*. % 80.60/80.82 1051[21:MRR:52.0,1049.0] || -> cAgamidae(skc92)*. % 80.60/80.82 1054[21:EmS:692.0,692.1,1051.0,1050.0] || -> . % 80.60/80.82 1055[20:Spt:1054.0,51.0,496.0] || SkC19* -> . % 80.60/80.82 1056[20:Spt:1054.0,51.1] || -> cEmydidae(skc91)*. % 80.60/80.82 1057[20:MRR:50.0,1055.0] || -> cAmphisbaenidae(skc91)*. % 80.60/80.82 1060[20:EmS:672.0,672.1,1057.0,1056.0] || -> . % 80.60/80.82 1061[19:Spt:1060.0,49.0,493.0] || SkC18* -> . % 80.60/80.82 1062[19:Spt:1060.0,49.1] || -> cEmydidae(skc90)*. % 80.60/80.82 1063[19:MRR:48.0,1061.0] || -> cBipedidae(skc90)*. % 80.60/80.82 1066[19:EmS:670.0,670.1,1063.0,1062.0] || -> . % 80.60/80.82 1067[18:Spt:1066.0,47.0,490.0] || SkC17* -> . % 80.60/80.82 1068[18:Spt:1066.0,47.1] || -> cCrocodylidae(skc89)*. % 80.60/80.82 1069[18:MRR:46.0,1067.0] || -> cXantusiidae(skc89)*. % 80.60/80.82 1072[18:EmS:362.0,362.1,1068.0,1069.0] || -> . % 80.60/80.82 1073[17:Spt:1072.0,45.0,487.0] || SkC16* -> . % 80.60/80.82 1074[17:Spt:1072.0,45.1] || -> cLoxocemidae(skc88)*. % 80.60/80.82 1075[17:MRR:44.0,1073.0] || -> cCrocodylidae(skc88)*. % 80.60/80.82 1078[17:EmS:409.0,409.1,1075.0,1074.0] || -> . % 80.60/80.82 1079[16:Spt:1078.0,43.0,484.0] || SkC15* -> . % 80.60/80.82 1080[16:Spt:1078.0,43.1] || -> cCrocodylidae(skc87)*. % 80.60/80.82 1081[16:MRR:42.0,1079.0] || -> cAmphisbaenidae(skc87)*. % 80.60/80.82 1084[16:EmS:691.0,691.1,1081.0,1080.0] || -> . % 80.60/80.82 1085[15:Spt:1084.0,41.0,481.0] || SkC14* -> . % 80.60/80.82 1086[15:Spt:1084.0,41.1] || -> cAgamidae(skc86)*. % 80.60/80.82 1087[15:MRR:40.0,1085.0] || -> cLeptotyphlopidae(skc86)*. % 80.60/80.82 1090[15:EmS:436.0,436.1,1086.0,1087.0] || -> . % 80.60/80.82 1091[14:Spt:1090.0,39.0,478.0] || SkC13* -> . % 80.60/80.82 1092[14:Spt:1090.0,39.1] || -> cLoxocemidae(skc85)*. % 80.60/80.82 1093[14:MRR:38.0,1091.0] || -> cAmphisbaenidae(skc85)*. % 80.60/80.82 1096[14:EmS:413.0,413.1,1093.0,1092.0] || -> . % 80.60/80.82 1097[13:Spt:1096.0,37.0,475.0] || SkC12* -> . % 80.60/80.82 1098[13:Spt:1096.0,37.1] || -> cEmydidae(skc84)*. % 80.60/80.82 1099[13:MRR:36.0,1097.0] || -> cCrocodylidae(skc84)*. % 80.60/80.82 1102[13:EmS:668.0,668.1,1099.0,1098.0] || -> . % 80.60/80.82 1103[12:Spt:1102.0,35.0,472.0] || SkC11* -> . % 80.60/80.82 1104[12:Spt:1102.0,35.1] || -> cCrocodylidae(skc83)*. % 80.60/80.82 1105[12:MRR:34.0,1103.0] || -> cAnomalepidae(skc83)*. % 80.60/80.82 1108[12:EmS:690.0,690.1,1105.0,1104.0] || -> . % 80.60/80.82 1109[11:Spt:1108.0,33.0,469.0] || SkC10* -> . % 80.60/80.82 1110[11:Spt:1108.0,33.1] || -> cSphenodontidae(skc82)*. % 80.60/80.82 1111[11:MRR:32.0,1109.0] || -> cAgamidae(skc82)*. % 80.60/80.82 1114[11:EmS:391.0,391.1,1111.0,1110.0] || -> . % 80.60/80.82 1115[10:Spt:1114.0,31.0,466.0] || SkC9* -> . % 80.60/80.82 1116[10:Spt:1114.0,31.1] || -> cSphenodontidae(skc81)*. % 80.60/80.82 1117[10:MRR:30.0,1115.0] || -> cGekkonidae(skc81)*. % 80.60/80.82 1120[10:EmS:384.0,384.1,1117.0,1116.0] || -> . % 80.60/80.82 1121[9:Spt:1120.0,29.0,463.0] || SkC8* -> . % 80.60/80.82 1122[9:Spt:1120.0,29.1] || -> cCrocodylidae(skc80)*. % 80.60/80.82 1123[9:MRR:28.0,1121.0] || -> cGekkonidae(skc80)*. % 80.60/80.82 1126[9:EmS:648.0,648.1,1122.0,1123.0] || -> . % 80.60/80.82 1127[8:Spt:1126.0,27.0,460.0] || SkC7* -> . % 80.60/80.82 1128[8:Spt:1126.0,27.1] || -> cSphenodontidae(skc79)*. % 80.60/80.82 1129[8:MRR:26.0,1127.0] || -> cBipedidae(skc79)*. % 80.60/80.82 1132[8:EmS:388.0,388.1,1129.0,1128.0] || -> . % 80.60/80.82 1133[7:Spt:1132.0,25.0,457.0] || SkC6* -> . % 80.60/80.82 1134[7:Spt:1132.0,25.1] || -> cGekkonidae(skc78)*. % 80.60/80.82 1135[7:MRR:24.0,1133.0] || -> cBipedidae(skc78)*. % 80.60/80.82 1138[7:EmS:650.0,650.1,1135.0,1134.0] || -> . % 80.60/80.82 1139[6:Spt:1138.0,23.0,454.0] || SkC5* -> . % 80.60/80.83 1140[6:Spt:1138.0,23.1] || -> cCrocodylidae(skc77)*. % 80.60/80.83 1141[6:MRR:22.0,1139.0] || -> cBipedidae(skc77)*. % 80.60/80.83 1144[6:EmS:689.0,689.1,1141.0,1140.0] || -> . % 80.60/80.83 1145[5:Spt:1144.0,21.0,451.0] || SkC4* -> . % 80.60/80.83 1146[5:Spt:1144.0,21.1] || -> cSphenodontidae(skc76)*. % 80.60/80.83 1147[5:MRR:20.0,1145.0] || -> cAmphisbaenidae(skc76)*. % 80.60/80.83 1150[5:EmS:390.0,390.1,1147.0,1146.0] || -> . % 80.60/80.83 1151[4:Spt:1150.0,19.0,448.0] || SkC3* -> . % 80.60/80.83 1152[4:Spt:1150.0,19.1] || -> cGekkonidae(skc75)*. % 80.60/80.83 1153[4:MRR:18.0,1151.0] || -> cLeptotyphlopidae(skc75)*. % 80.60/80.83 1156[4:EmS:429.0,429.1,1152.0,1153.0] || -> . % 80.60/80.83 1157[3:Spt:1156.0,17.0,445.0] || SkC2* -> . % 80.60/80.83 1158[3:Spt:1156.0,17.1] || -> cAnomalepidae(skc74)*. % 80.60/80.83 1159[3:MRR:16.0,1157.0] || -> cBipedidae(skc74)*. % 80.60/80.83 1162[3:EmS:725.0,725.1,1158.0,1159.0] || -> . % 80.60/80.83 1163[2:Spt:1162.0,15.0,442.0] || SkC1* -> . % 80.60/80.83 1164[2:Spt:1162.0,15.1] || -> cBipedidae(skc73)*. % 80.60/80.83 1165[2:MRR:14.0,1163.0] || -> cLeptotyphlopidae(skc73)*. % 80.60/80.83 1168[2:EmS:433.0,433.1,1164.0,1165.0] || -> . % 80.60/80.83 % SZS output end Refutation % 80.60/80.83 Formulae used in the proof : axiom_0 the_axiom axiom_2 axiom_1 axiom_39 axiom_40 axiom_41 axiom_42 axiom_43 axiom_44 axiom_45 axiom_46 axiom_47 axiom_48 axiom_49 axiom_50 axiom_51 axiom_52 axiom_53 axiom_54 axiom_55 axiom_56 axiom_57 axiom_58 axiom_59 axiom_60 axiom_61 axiom_62 axiom_63 axiom_64 axiom_65 axiom_66 axiom_67 axiom_68 axiom_69 axiom_70 axiom_71 axiom_72 axiom_73 axiom_74 axiom_75 axiom_76 axiom_77 axiom_78 axiom_79 axiom_80 axiom_81 axiom_82 axiom_83 axiom_84 axiom_85 axiom_86 axiom_87 axiom_88 axiom_89 axiom_90 axiom_91 axiom_92 axiom_93 axiom_94 axiom_95 axiom_96 axiom_97 axiom_98 axiom_99 axiom_100 axiom_101 axiom_102 axiom_103 axiom_104 axiom_7 axiom_10 axiom_13 axiom_16 axiom_19 axiom_22 axiom_25 axiom_28 axiom_31 axiom_35 axiom_38 axiom_3 axiom_6 axiom_9 axiom_12 axiom_15 axiom_18 axiom_21 axiom_24 axiom_27 axiom_30 axiom_34 axiom_37 axiom_32 % 80.60/80.83 %------------------------------------------------------------------------------