%------------------------------------------------------------------------------
% File     : nanoCoP---2.0
% Problem  : KRS133+1 : TPTP v8.1.2. Released v3.1.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : nanocop.sh %s %d

% Computer : n007.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  : 300s
% DateTime : Fri May 19 11:26:20 EDT 2023

% Result   : Theorem 103.13s 99.80s
% Output   : Proof 103.13s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13  % Problem  : KRS133+1 : TPTP v8.1.2. Released v3.1.0.
% 0.07/0.13  % Command  : nanocop.sh %s %d
% 0.14/0.35  % Computer : n007.cluster.edu
% 0.14/0.35  % Model    : x86_64 x86_64
% 0.14/0.35  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35  % Memory   : 8042.1875MB
% 0.14/0.35  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35  % CPULimit : 300
% 0.14/0.35  % WCLimit  : 300
% 0.14/0.35  % DateTime : Thu May 18 23:09:38 EDT 2023
% 0.14/0.35  % CPUTime  : 
% 103.13/99.80  
% 103.13/99.80  /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 103.13/99.80  Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 103.13/99.80  %-----------------------------------------------------
% 103.13/99.80  ncf(matrix, plain, [(727 ^ _20974) ^ [] : [cowlThing(728 ^ []), -(cowlNothing(728 ^ [])), 740 ^ _20974 : [(741 ^ _20974) ^ [] : [-(xsd_string(737 ^ []))], (743 ^ _20974) ^ [] : [-(xsd_integer(737 ^ []))]], 744 ^ _20974 : [(745 ^ _20974) ^ [] : [xsd_integer(737 ^ [])], (747 ^ _20974) ^ [] : [xsd_string(737 ^ [])]], 751 ^ _20974 : [(752 ^ _20974) ^ [] : [-(cLeptotyphlopidae(750 ^ []))], (754 ^ _20974) ^ [] : [-(cBipedidae(750 ^ []))]], 758 ^ _20974 : [(759 ^ _20974) ^ [] : [-(cBipedidae(757 ^ []))], (761 ^ _20974) ^ [] : [-(cAnomalepidae(757 ^ []))]], 765 ^ _20974 : [(766 ^ _20974) ^ [] : [-(cLeptotyphlopidae(764 ^ []))], (768 ^ _20974) ^ [] : [-(cGekkonidae(764 ^ []))]], 772 ^ _20974 : [(773 ^ _20974) ^ [] : [-(cAmphisbaenidae(771 ^ []))], (775 ^ _20974) ^ [] : [-(cSphenodontidae(771 ^ []))]], 779 ^ _20974 : [(780 ^ _20974) ^ [] : [-(cBipedidae(778 ^ []))], (782 ^ _20974) ^ [] : [-(cCrocodylidae(778 ^ []))]], 786 ^ _20974 : [(787 ^ _20974) ^ [] : [-(cBipedidae(785 ^ []))], (789 ^ _20974) ^ [] : [-(cGekkonidae(785 ^ []))]], 793 ^ _20974 : [(794 ^ _20974) ^ [] : [-(cBipedidae(792 ^ []))], (796 ^ _20974) ^ [] : [-(cSphenodontidae(792 ^ []))]], 800 ^ _20974 : [(801 ^ _20974) ^ [] : [-(cGekkonidae(799 ^ []))], (803 ^ _20974) ^ [] : [-(cCrocodylidae(799 ^ []))]], 807 ^ _20974 : [(808 ^ _20974) ^ [] : [-(cGekkonidae(806 ^ []))], (810 ^ _20974) ^ [] : [-(cSphenodontidae(806 ^ []))]], 814 ^ _20974 : [(815 ^ _20974) ^ [] : [-(cAgamidae(813 ^ []))], (817 ^ _20974) ^ [] : [-(cSphenodontidae(813 ^ []))]], 821 ^ _20974 : [(822 ^ _20974) ^ [] : [-(cAnomalepidae(820 ^ []))], (824 ^ _20974) ^ [] : [-(cCrocodylidae(820 ^ []))]], 828 ^ _20974 : [(829 ^ _20974) ^ [] : [-(cCrocodylidae(827 ^ []))], (831 ^ _20974) ^ [] : [-(cEmydidae(827 ^ []))]], 835 ^ _20974 : [(836 ^ _20974) ^ [] : [-(cAmphisbaenidae(834 ^ []))], (838 ^ _20974) ^ [] : [-(cLoxocemidae(834 ^ []))]], 842 ^ _20974 : [(843 ^ _20974) ^ [] : [-(cLeptotyphlopidae(841 ^ []))], (845 ^ _20974) ^ [] : [-(cAgamidae(841 ^ []))]], 849 ^ _20974 : [(850 ^ _20974) ^ [] : [-(cAmphisbaenidae(848 ^ []))], (852 ^ _20974) ^ [] : [-(cCrocodylidae(848 ^ []))]], 856 ^ _20974 : [(857 ^ _20974) ^ [] : [-(cCrocodylidae(855 ^ []))], (859 ^ _20974) ^ [] : [-(cLoxocemidae(855 ^ []))]], 863 ^ _20974 : [(864 ^ _20974) ^ [] : [-(cXantusiidae(862 ^ []))], (866 ^ _20974) ^ [] : [-(cCrocodylidae(862 ^ []))]], 870 ^ _20974 : [(871 ^ _20974) ^ [] : [-(cBipedidae(869 ^ []))], (873 ^ _20974) ^ [] : [-(cEmydidae(869 ^ []))]], 877 ^ _20974 : [(878 ^ _20974) ^ [] : [-(cAmphisbaenidae(876 ^ []))], (880 ^ _20974) ^ [] : [-(cEmydidae(876 ^ []))]], 884 ^ _20974 : [(885 ^ _20974) ^ [] : [-(cAgamidae(883 ^ []))], (887 ^ _20974) ^ [] : [-(cCrocodylidae(883 ^ []))]], 891 ^ _20974 : [(892 ^ _20974) ^ [] : [-(cXantusiidae(890 ^ []))], (894 ^ _20974) ^ [] : [-(cLoxocemidae(890 ^ []))]], 898 ^ _20974 : [(899 ^ _20974) ^ [] : [-(cXantusiidae(897 ^ []))], (901 ^ _20974) ^ [] : [-(cEmydidae(897 ^ []))]], 905 ^ _20974 : [(906 ^ _20974) ^ [] : [-(cBipedidae(904 ^ []))], (908 ^ _20974) ^ [] : [-(cLoxocemidae(904 ^ []))]], 912 ^ _20974 : [(913 ^ _20974) ^ [] : [-(cBipedidae(911 ^ []))], (915 ^ _20974) ^ [] : [-(cAgamidae(911 ^ []))]], 919 ^ _20974 : [(920 ^ _20974) ^ [] : [-(cGekkonidae(918 ^ []))], (922 ^ _20974) ^ [] : [-(cAmphisbaenidae(918 ^ []))]], 926 ^ _20974 : [(927 ^ _20974) ^ [] : [-(cLeptotyphlopidae(925 ^ []))], (929 ^ _20974) ^ [] : [-(cCrocodylidae(925 ^ []))]], 933 ^ _20974 : [(934 ^ _20974) ^ [] : [-(cSphenodontidae(932 ^ []))], (936 ^ _20974) ^ [] : [-(cCordylidae(932 ^ []))]], 940 ^ _20974 : [(941 ^ _20974) ^ [] : [-(cAmphisbaenidae(939 ^ []))], (943 ^ _20974) ^ [] : [-(cCordylidae(939 ^ []))]], 947 ^ _20974 : [(948 ^ _20974) ^ [] : [-(cCordylidae(946 ^ []))], (950 ^ _20974) ^ [] : [-(cLoxocemidae(946 ^ []))]], 954 ^ _20974 : [(955 ^ _20974) ^ [] : [-(cGekkonidae(953 ^ []))], (957 ^ _20974) ^ [] : [-(cCordylidae(953 ^ []))]], 961 ^ _20974 : [(962 ^ _20974) ^ [] : [-(cXantusiidae(960 ^ []))], (964 ^ _20974) ^ [] : [-(cAgamidae(960 ^ []))]], 968 ^ _20974 : [(969 ^ _20974) ^ [] : [-(cAnomalepidae(967 ^ []))], (971 ^ _20974) ^ [] : [-(cCordylidae(967 ^ []))]], 975 ^ _20974 : [(976 ^ _20974) ^ [] : [-(cAgamidae(974 ^ []))], (978 ^ _20974) ^ [] : [-(cEmydidae(974 ^ []))]], 982 ^ _20974 : [(983 ^ _20974) ^ [] : [-(cCordylidae(981 ^ []))], (985 ^ _20974) ^ [] : [-(cEmydidae(981 ^ []))]], 989 ^ _20974 : [(990 ^ _20974) ^ [] : [-(cAgamidae(988 ^ []))], (992 ^ _20974) ^ [] : [-(cLoxocemidae(988 ^ []))]], 996 ^ _20974 : [(997 ^ _20974) ^ [] : [-(cXantusiidae(995 ^ []))], (999 ^ _20974) ^ [] : [-(cGekkonidae(995 ^ []))]], 1003 ^ _20974 : [(1004 ^ _20974) ^ [] : [-(cXantusiidae(1002 ^ []))], (1006 ^ _20974) ^ [] : [-(cBipedidae(1002 ^ []))]], 1010 ^ _20974 : [(1011 ^ _20974) ^ [] : [-(cAnomalepidae(1009 ^ []))], (1013 ^ _20974) ^ [] : [-(cEmydidae(1009 ^ []))]], 1017 ^ _20974 : [(1018 ^ _20974) ^ [] : [-(cXantusiidae(1016 ^ []))], (1020 ^ _20974) ^ [] : [-(cSphenodontidae(1016 ^ []))]], 1024 ^ _20974 : [(1025 ^ _20974) ^ [] : [-(cLeptotyphlopidae(1023 ^ []))], (1027 ^ _20974) ^ [] : [-(cAmphisbaenidae(1023 ^ []))]], 1031 ^ _20974 : [(1032 ^ _20974) ^ [] : [-(cSphenodontidae(1030 ^ []))], (1034 ^ _20974) ^ [] : [-(cEmydidae(1030 ^ []))]], 1038 ^ _20974 : [(1039 ^ _20974) ^ [] : [-(cLeptotyphlopidae(1037 ^ []))], (1041 ^ _20974) ^ [] : [-(cCordylidae(1037 ^ []))]], 1045 ^ _20974 : [(1046 ^ _20974) ^ [] : [-(cGekkonidae(1044 ^ []))], (1048 ^ _20974) ^ [] : [-(cAnomalepidae(1044 ^ []))]], 1052 ^ _20974 : [(1053 ^ _20974) ^ [] : [-(cBipedidae(1051 ^ []))], (1055 ^ _20974) ^ [] : [-(cCordylidae(1051 ^ []))]], 1059 ^ _20974 : [(1060 ^ _20974) ^ [] : [-(cBipedidae(1058 ^ []))], (1062 ^ _20974) ^ [] : [-(cAmphisbaenidae(1058 ^ []))]], 1066 ^ _20974 : [(1067 ^ _20974) ^ [] : [-(cXantusiidae(1065 ^ []))], (1069 ^ _20974) ^ [] : [-(cCordylidae(1065 ^ []))]], 1073 ^ _20974 : [(1074 ^ _20974) ^ [] : [-(cAnomalepidae(1072 ^ []))], (1076 ^ _20974) ^ [] : [-(cAgamidae(1072 ^ []))]], 1080 ^ _20974 : [(1081 ^ _20974) ^ [] : [-(cSphenodontidae(1079 ^ []))], (1083 ^ _20974) ^ [] : [-(cCrocodylidae(1079 ^ []))]], 1087 ^ _20974 : [(1088 ^ _20974) ^ [] : [-(cXantusiidae(1086 ^ []))], (1090 ^ _20974) ^ [] : [-(cAmphisbaenidae(1086 ^ []))]], 1094 ^ _20974 : [(1095 ^ _20974) ^ [] : [-(cGekkonidae(1093 ^ []))], (1097 ^ _20974) ^ [] : [-(cEmydidae(1093 ^ []))]], 1101 ^ _20974 : [(1102 ^ _20974) ^ [] : [-(cSphenodontidae(1100 ^ []))], (1104 ^ _20974) ^ [] : [-(cLoxocemidae(1100 ^ []))]], 1108 ^ _20974 : [(1109 ^ _20974) ^ [] : [-(cLeptotyphlopidae(1107 ^ []))], (1111 ^ _20974) ^ [] : [-(cEmydidae(1107 ^ []))]], 1115 ^ _20974 : [(1116 ^ _20974) ^ [] : [-(cAmphisbaenidae(1114 ^ []))], (1118 ^ _20974) ^ [] : [-(cAnomalepidae(1114 ^ []))]], 1122 ^ _20974 : [(1123 ^ _20974) ^ [] : [-(cGekkonidae(1121 ^ []))], (1125 ^ _20974) ^ [] : [-(cLoxocemidae(1121 ^ []))]], 1129 ^ _20974 : [(1130 ^ _20974) ^ [] : [-(cAnomalepidae(1128 ^ []))], (1132 ^ _20974) ^ [] : [-(cLoxocemidae(1128 ^ []))]], 1136 ^ _20974 : [(1137 ^ _20974) ^ [] : [-(cLeptotyphlopidae(1135 ^ []))], (1139 ^ _20974) ^ [] : [-(cAnomalepidae(1135 ^ []))]], 1143 ^ _20974 : [(1144 ^ _20974) ^ [] : [-(cCordylidae(1142 ^ []))], (1146 ^ _20974) ^ [] : [-(cCrocodylidae(1142 ^ []))]], 1150 ^ _20974 : [(1151 ^ _20974) ^ [] : [-(cXantusiidae(1149 ^ []))], (1153 ^ _20974) ^ [] : [-(cAnomalepidae(1149 ^ []))]], 1157 ^ _20974 : [(1158 ^ _20974) ^ [] : [-(cAnomalepidae(1156 ^ []))], (1160 ^ _20974) ^ [] : [-(cSphenodontidae(1156 ^ []))]], 1164 ^ _20974 : [(1165 ^ _20974) ^ [] : [-(cLeptotyphlopidae(1163 ^ []))], (1167 ^ _20974) ^ [] : [-(cXantusiidae(1163 ^ []))]], 1171 ^ _20974 : [(1172 ^ _20974) ^ [] : [-(cGekkonidae(1170 ^ []))], (1174 ^ _20974) ^ [] : [-(cAgamidae(1170 ^ []))]], 1178 ^ _20974 : [(1179 ^ _20974) ^ [] : [-(cAgamidae(1177 ^ []))], (1181 ^ _20974) ^ [] : [-(cCordylidae(1177 ^ []))]], 1185 ^ _20974 : [(1186 ^ _20974) ^ [] : [-(cLeptotyphlopidae(1184 ^ []))], (1188 ^ _20974) ^ [] : [-(cLoxocemidae(1184 ^ []))]], 1192 ^ _20974 : [(1193 ^ _20974) ^ [] : [-(cEmydidae(1191 ^ []))], (1195 ^ _20974) ^ [] : [-(cLoxocemidae(1191 ^ []))]], 1199 ^ _20974 : [(1200 ^ _20974) ^ [] : [-(cLeptotyphlopidae(1198 ^ []))], (1202 ^ _20974) ^ [] : [-(cSphenodontidae(1198 ^ []))]], 1204 ^ _20974 : [(1205 ^ _20974) ^ [] : [-(cAmphisbaenidae(1203 ^ []))], (1207 ^ _20974) ^ [] : [-(cAgamidae(1203 ^ []))]]], (2 ^ _20974) ^ [_21001] : [-(_21001 = _21001)], (4 ^ _20974) ^ [_21024, _21026] : [_21026 = _21024, -(_21024 = _21026)], (10 ^ _20974) ^ [_21097, _21099, _21101] : [-(_21101 = _21097), _21101 = _21099, _21099 = _21097], (20 ^ _20974) ^ [_21234, _21236, _21238, _21240] : [-(rfamily_name(_21238, _21234)), rfamily_name(_21240, _21236), _21240 = _21238, _21236 = _21234], (34 ^ _20974) ^ [_21427, _21429] : [-(cReptile(_21427)), _21429 = _21427, cReptile(_21429)], (44 ^ _20974) ^ [_21552, _21554] : [-(cowlThing(_21552)), _21554 = _21552, cowlThing(_21554)], (54 ^ _20974) ^ [_21677, _21679] : [-(cowlNothing(_21677)), _21679 = _21677, cowlNothing(_21679)], (64 ^ _20974) ^ [_21802, _21804] : [-(xsd_string(_21802)), _21804 = _21802, xsd_string(_21804)], (74 ^ _20974) ^ [_21927, _21929] : [-(xsd_integer(_21927)), _21929 = _21927, xsd_integer(_21929)], (84 ^ _20974) ^ [_22052, _22054] : [-(cBipedidae(_22052)), _22054 = _22052, cBipedidae(_22054)], (94 ^ _20974) ^ [_22177, _22179] : [-(cCrocodylidae(_22177)), _22179 = _22177, cCrocodylidae(_22179)], (104 ^ _20974) ^ [_22302, _22304] : [-(cAnomalepidae(_22302)), _22304 = _22302, cAnomalepidae(_22304)], (114 ^ _20974) ^ [_22427, _22429] : [-(cXantusiidae(_22427)), _22429 = _22427, cXantusiidae(_22429)], (124 ^ _20974) ^ [_22552, _22554] : [-(cGekkonidae(_22552)), _22554 = _22552, cGekkonidae(_22554)], (134 ^ _20974) ^ [_22677, _22679] : [-(cCordylidae(_22677)), _22679 = _22677, cCordylidae(_22679)], (144 ^ _20974) ^ [_22802, _22804] : [-(cEmydidae(_22802)), _22804 = _22802, cEmydidae(_22804)], (154 ^ _20974) ^ [_22927, _22929] : [-(cLoxocemidae(_22927)), _22929 = _22927, cLoxocemidae(_22929)], (164 ^ _20974) ^ [_23052, _23054] : [-(cLeptotyphlopidae(_23052)), _23054 = _23052, cLeptotyphlopidae(_23054)], (174 ^ _20974) ^ [_23177, _23179] : [-(cSphenodontidae(_23177)), _23179 = _23177, cSphenodontidae(_23179)], (184 ^ _20974) ^ [_23302, _23304] : [-(cAmphisbaenidae(_23302)), _23304 = _23302, cAmphisbaenidae(_23304)], (194 ^ _20974) ^ [_23423, _23425] : [-(cAgamidae(_23423)), _23425 = _23423, cAgamidae(_23425)], (204 ^ _20974) ^ [_23592, _23594] : [-(cAgamidae(_23592)), _23594 = _23592, cAgamidae(_23594)], (214 ^ _20974) ^ [_23717, _23719] : [-(cAmphisbaenidae(_23717)), _23719 = _23717, cAmphisbaenidae(_23719)], (224 ^ _20974) ^ [_23842, _23844] : [-(cAnomalepidae(_23842)), _23844 = _23842, cAnomalepidae(_23844)], (234 ^ _20974) ^ [_23967, _23969] : [-(cBipedidae(_23967)), _23969 = _23967, cBipedidae(_23969)], (244 ^ _20974) ^ [_24092, _24094] : [-(cCordylidae(_24092)), _24094 = _24092, cCordylidae(_24094)], (254 ^ _20974) ^ [_24217, _24219] : [-(cCrocodylidae(_24217)), _24219 = _24217, cCrocodylidae(_24219)], (264 ^ _20974) ^ [_24342, _24344] : [-(cEmydidae(_24342)), _24344 = _24342, cEmydidae(_24344)], (274 ^ _20974) ^ [_24467, _24469] : [-(cGekkonidae(_24467)), _24469 = _24467, cGekkonidae(_24469)], (284 ^ _20974) ^ [_24592, _24594] : [-(cLeptotyphlopidae(_24592)), _24594 = _24592, cLeptotyphlopidae(_24594)], (294 ^ _20974) ^ [_24717, _24719] : [-(cLoxocemidae(_24717)), _24719 = _24717, cLoxocemidae(_24719)], (304 ^ _20974) ^ [_24842, _24844] : [-(cReptile(_24842)), _24844 = _24842, cReptile(_24844)], (314 ^ _20974) ^ [_24967, _24969] : [-(cSphenodontidae(_24967)), _24969 = _24967, cSphenodontidae(_24969)], (324 ^ _20974) ^ [_25092, _25094] : [-(cXantusiidae(_25092)), _25094 = _25092, cXantusiidae(_25094)], (334 ^ _20974) ^ [_25217, _25219] : [-(cowlNothing(_25217)), _25219 = _25217, cowlNothing(_25219)], (344 ^ _20974) ^ [_25342, _25344] : [-(cowlThing(_25342)), _25344 = _25342, cowlThing(_25344)], (354 ^ _20974) ^ [_25467, _25469, _25471] : [-(rfamily_name(_25469, _25467)), _25471 = _25469, rfamily_name(_25471, _25467)], (364 ^ _20974) ^ [_25600, _25602, _25604] : [-(rfamily_name(_25600, _25602)), _25604 = _25602, rfamily_name(_25600, _25604)], (374 ^ _20974) ^ [_25733, _25735] : [-(xsd_integer(_25733)), _25735 = _25733, xsd_integer(_25735)], (384 ^ _20974) ^ [_25858, _25860] : [-(xsd_string(_25858)), _25860 = _25858, xsd_string(_25860)], (394 ^ _20974) ^ [_25990] : [-(cowlThing(_25990))], (396 ^ _20974) ^ [_26011] : [cowlNothing(_26011)], (398 ^ _20974) ^ [_26047] : [xsd_string(_26047), xsd_integer(_26047)], (404 ^ _20974) ^ [_26113] : [-(xsd_integer(_26113)), -(xsd_string(_26113))], (410 ^ _20974) ^ [] : [-(xsd_string(xsd_string_0))], (412 ^ _20974) ^ [_26165] : [cAgamidae(_26165), -(rfamily_name(_26165, xsd_string_0))], (418 ^ _20974) ^ [_26238] : [cAgamidae(_26238), -(cReptile(_26238))], (424 ^ _20974) ^ [] : [-(xsd_string(xsd_string_1))], (426 ^ _20974) ^ [_26327] : [cAmphisbaenidae(_26327), -(rfamily_name(_26327, xsd_string_1))], (432 ^ _20974) ^ [_26400] : [cAmphisbaenidae(_26400), -(cReptile(_26400))], (438 ^ _20974) ^ [] : [-(xsd_string(xsd_string_2))], (440 ^ _20974) ^ [_26489] : [cAnomalepidae(_26489), -(rfamily_name(_26489, xsd_string_2))], (446 ^ _20974) ^ [_26562] : [cAnomalepidae(_26562), -(cReptile(_26562))], (452 ^ _20974) ^ [] : [-(xsd_string(xsd_string_3))], (454 ^ _20974) ^ [_26651] : [cBipedidae(_26651), -(rfamily_name(_26651, xsd_string_3))], (460 ^ _20974) ^ [_26724] : [cBipedidae(_26724), -(cReptile(_26724))], (466 ^ _20974) ^ [] : [-(xsd_string(xsd_string_4))], (468 ^ _20974) ^ [_26813] : [cCordylidae(_26813), -(rfamily_name(_26813, xsd_string_4))], (474 ^ _20974) ^ [_26886] : [cCordylidae(_26886), -(cReptile(_26886))], (480 ^ _20974) ^ [] : [-(xsd_string(xsd_string_5))], (482 ^ _20974) ^ [_26975] : [cCrocodylidae(_26975), -(rfamily_name(_26975, xsd_string_5))], (488 ^ _20974) ^ [_27048] : [cCrocodylidae(_27048), -(cReptile(_27048))], (494 ^ _20974) ^ [] : [-(xsd_string(xsd_string_6))], (496 ^ _20974) ^ [_27137] : [cEmydidae(_27137), -(rfamily_name(_27137, xsd_string_6))], (502 ^ _20974) ^ [_27210] : [cEmydidae(_27210), -(cReptile(_27210))], (508 ^ _20974) ^ [] : [-(xsd_string(xsd_string_7))], (510 ^ _20974) ^ [_27299] : [cGekkonidae(_27299), -(rfamily_name(_27299, xsd_string_7))], (516 ^ _20974) ^ [_27372] : [cGekkonidae(_27372), -(cReptile(_27372))], (522 ^ _20974) ^ [] : [-(xsd_string(xsd_string_8))], (524 ^ _20974) ^ [_27461] : [cLeptotyphlopidae(_27461), -(rfamily_name(_27461, xsd_string_8))], (530 ^ _20974) ^ [_27534] : [cLeptotyphlopidae(_27534), -(cReptile(_27534))], (536 ^ _20974) ^ [] : [-(xsd_string(xsd_string_9))], (538 ^ _20974) ^ [_27623] : [cLoxocemidae(_27623), -(rfamily_name(_27623, xsd_string_9))], (544 ^ _20974) ^ [_27696] : [cLoxocemidae(_27696), -(cReptile(_27696))], (550 ^ _20974) ^ [_27767] : [cReptile(_27767), 554 ^ _20974 : [(555 ^ _20974) ^ [] : [-(rfamily_name(_27767, 553 ^ [_27767]))], (557 ^ _20974) ^ [_27874, _27876] : [-(_27876 = _27874), rfamily_name(_27767, _27876), rfamily_name(_27767, _27874)]]], (567 ^ _20974) ^ [] : [-(xsd_string(xsd_string_10))], (569 ^ _20974) ^ [_28031] : [cSphenodontidae(_28031), -(rfamily_name(_28031, xsd_string_10))], (575 ^ _20974) ^ [_28104] : [cSphenodontidae(_28104), -(cReptile(_28104))], (581 ^ _20974) ^ [] : [-(xsd_string(xsd_string_11))], (583 ^ _20974) ^ [_28193] : [cXantusiidae(_28193), -(rfamily_name(_28193, xsd_string_11))], (595 ^ _20974) ^ [] : [xsd_string_0 = xsd_string_1], (597 ^ _20974) ^ [] : [xsd_string_0 = xsd_string_2], (599 ^ _20974) ^ [] : [xsd_string_0 = xsd_string_3], (601 ^ _20974) ^ [] : [xsd_string_0 = xsd_string_4], (603 ^ _20974) ^ [] : [xsd_string_0 = xsd_string_5], (605 ^ _20974) ^ [] : [xsd_string_0 = xsd_string_6], (607 ^ _20974) ^ [] : [xsd_string_0 = xsd_string_7], (609 ^ _20974) ^ [] : [xsd_string_0 = xsd_string_8], (611 ^ _20974) ^ [] : [xsd_string_0 = xsd_string_9], (613 ^ _20974) ^ [] : [xsd_string_0 = xsd_string_10], (615 ^ _20974) ^ [] : [xsd_string_0 = xsd_string_11], (617 ^ _20974) ^ [] : [xsd_string_1 = xsd_string_2], (619 ^ _20974) ^ [] : [xsd_string_1 = xsd_string_3], (621 ^ _20974) ^ [] : [xsd_string_1 = xsd_string_4], (623 ^ _20974) ^ [] : [xsd_string_1 = xsd_string_5], (625 ^ _20974) ^ [] : [xsd_string_1 = xsd_string_6], (627 ^ _20974) ^ [] : [xsd_string_1 = xsd_string_7], (629 ^ _20974) ^ [] : [xsd_string_1 = xsd_string_8], (631 ^ _20974) ^ [] : [xsd_string_1 = xsd_string_9], (633 ^ _20974) ^ [] : [xsd_string_1 = xsd_string_10], (635 ^ _20974) ^ [] : [xsd_string_1 = xsd_string_11], (637 ^ _20974) ^ [] : [xsd_string_2 = xsd_string_3], (639 ^ _20974) ^ [] : [xsd_string_2 = xsd_string_4], (641 ^ _20974) ^ [] : [xsd_string_2 = xsd_string_5], (643 ^ _20974) ^ [] : [xsd_string_2 = xsd_string_6], (645 ^ _20974) ^ [] : [xsd_string_2 = xsd_string_7], (647 ^ _20974) ^ [] : [xsd_string_2 = xsd_string_8], (649 ^ _20974) ^ [] : [xsd_string_2 = xsd_string_9], (651 ^ _20974) ^ [] : [xsd_string_2 = xsd_string_10], (653 ^ _20974) ^ [] : [xsd_string_2 = xsd_string_11], (655 ^ _20974) ^ [] : [xsd_string_3 = xsd_string_4], (657 ^ _20974) ^ [] : [xsd_string_3 = xsd_string_5], (659 ^ _20974) ^ [] : [xsd_string_3 = xsd_string_6], (661 ^ _20974) ^ [] : [xsd_string_3 = xsd_string_7], (663 ^ _20974) ^ [] : [xsd_string_3 = xsd_string_8], (665 ^ _20974) ^ [] : [xsd_string_3 = xsd_string_9], (667 ^ _20974) ^ [] : [xsd_string_3 = xsd_string_10], (669 ^ _20974) ^ [] : [xsd_string_3 = xsd_string_11], (671 ^ _20974) ^ [] : [xsd_string_4 = xsd_string_5], (673 ^ _20974) ^ [] : [xsd_string_4 = xsd_string_6], (675 ^ _20974) ^ [] : [xsd_string_4 = xsd_string_7], (677 ^ _20974) ^ [] : [xsd_string_4 = xsd_string_8], (679 ^ _20974) ^ [] : [xsd_string_4 = xsd_string_9], (681 ^ _20974) ^ [] : [xsd_string_4 = xsd_string_10], (683 ^ _20974) ^ [] : [xsd_string_4 = xsd_string_11], (685 ^ _20974) ^ [] : [xsd_string_5 = xsd_string_6], (687 ^ _20974) ^ [] : [xsd_string_5 = xsd_string_7], (689 ^ _20974) ^ [] : [xsd_string_5 = xsd_string_8], (691 ^ _20974) ^ [] : [xsd_string_5 = xsd_string_9], (693 ^ _20974) ^ [] : [xsd_string_5 = xsd_string_10], (695 ^ _20974) ^ [] : [xsd_string_5 = xsd_string_11], (697 ^ _20974) ^ [] : [xsd_string_6 = xsd_string_7], (699 ^ _20974) ^ [] : [xsd_string_6 = xsd_string_8], (701 ^ _20974) ^ [] : [xsd_string_6 = xsd_string_9], (703 ^ _20974) ^ [] : [xsd_string_6 = xsd_string_10], (705 ^ _20974) ^ [] : [xsd_string_6 = xsd_string_11], (707 ^ _20974) ^ [] : [xsd_string_7 = xsd_string_8], (709 ^ _20974) ^ [] : [xsd_string_7 = xsd_string_9], (711 ^ _20974) ^ [] : [xsd_string_7 = xsd_string_10], (713 ^ _20974) ^ [] : [xsd_string_7 = xsd_string_11], (715 ^ _20974) ^ [] : [xsd_string_8 = xsd_string_9], (717 ^ _20974) ^ [] : [xsd_string_8 = xsd_string_10], (719 ^ _20974) ^ [] : [xsd_string_8 = xsd_string_11], (721 ^ _20974) ^ [] : [xsd_string_9 = xsd_string_10], (723 ^ _20974) ^ [] : [xsd_string_9 = xsd_string_11], (725 ^ _20974) ^ [] : [xsd_string_10 = xsd_string_11], (589 ^ _20974) ^ [_28266] : [cXantusiidae(_28266), -(cReptile(_28266))]], input).
% 103.13/99.80  ncf('1',plain,[cowlNothing(728 ^ [])],start(396 ^ 0,bind([[_26011], [728 ^ []]]))).
% 103.13/99.80  ncf('1.1',plain,[-(cowlNothing(728 ^ [])), cowlThing(728 ^ []), 741 : -(xsd_string(737 ^ [])), 745 : xsd_integer(737 ^ []), 752 : -(cLeptotyphlopidae(750 ^ [])), 759 : -(cBipedidae(757 ^ [])), 766 : -(cLeptotyphlopidae(764 ^ [])), 773 : -(cAmphisbaenidae(771 ^ [])), 780 : -(cBipedidae(778 ^ [])), 787 : -(cBipedidae(785 ^ [])), 794 : -(cBipedidae(792 ^ [])), 801 : -(cGekkonidae(799 ^ [])), 808 : -(cGekkonidae(806 ^ [])), 815 : -(cAgamidae(813 ^ [])), 822 : -(cAnomalepidae(820 ^ [])), 829 : -(cCrocodylidae(827 ^ [])), 836 : -(cAmphisbaenidae(834 ^ [])), 843 : -(cLeptotyphlopidae(841 ^ [])), 850 : -(cAmphisbaenidae(848 ^ [])), 857 : -(cCrocodylidae(855 ^ [])), 864 : -(cXantusiidae(862 ^ [])), 871 : -(cBipedidae(869 ^ [])), 878 : -(cAmphisbaenidae(876 ^ [])), 885 : -(cAgamidae(883 ^ [])), 892 : -(cXantusiidae(890 ^ [])), 899 : -(cXantusiidae(897 ^ [])), 906 : -(cBipedidae(904 ^ [])), 913 : -(cBipedidae(911 ^ [])), 920 : -(cGekkonidae(918 ^ [])), 927 : -(cLeptotyphlopidae(925 ^ [])), 934 : -(cSphenodontidae(932 ^ [])), 941 : -(cAmphisbaenidae(939 ^ [])), 948 : -(cCordylidae(946 ^ [])), 955 : -(cGekkonidae(953 ^ [])), 962 : -(cXantusiidae(960 ^ [])), 969 : -(cAnomalepidae(967 ^ [])), 976 : -(cAgamidae(974 ^ [])), 983 : -(cCordylidae(981 ^ [])), 990 : -(cAgamidae(988 ^ [])), 997 : -(cXantusiidae(995 ^ [])), 1004 : -(cXantusiidae(1002 ^ [])), 1011 : -(cAnomalepidae(1009 ^ [])), 1018 : -(cXantusiidae(1016 ^ [])), 1025 : -(cLeptotyphlopidae(1023 ^ [])), 1032 : -(cSphenodontidae(1030 ^ [])), 1039 : -(cLeptotyphlopidae(1037 ^ [])), 1046 : -(cGekkonidae(1044 ^ [])), 1053 : -(cBipedidae(1051 ^ [])), 1060 : -(cBipedidae(1058 ^ [])), 1067 : -(cXantusiidae(1065 ^ [])), 1074 : -(cAnomalepidae(1072 ^ [])), 1081 : -(cSphenodontidae(1079 ^ [])), 1088 : -(cXantusiidae(1086 ^ [])), 1095 : -(cGekkonidae(1093 ^ [])), 1102 : -(cSphenodontidae(1100 ^ [])), 1109 : -(cLeptotyphlopidae(1107 ^ [])), 1116 : -(cAmphisbaenidae(1114 ^ [])), 1123 : -(cGekkonidae(1121 ^ [])), 1130 : -(cAnomalepidae(1128 ^ [])), 1137 : -(cLeptotyphlopidae(1135 ^ [])), 1144 : -(cCordylidae(1142 ^ [])), 1151 : -(cXantusiidae(1149 ^ [])), 1158 : -(cAnomalepidae(1156 ^ [])), 1165 : -(cLeptotyphlopidae(1163 ^ [])), 1172 : -(cGekkonidae(1170 ^ [])), 1179 : -(cAgamidae(1177 ^ [])), 1186 : -(cLeptotyphlopidae(1184 ^ [])), 1193 : -(cEmydidae(1191 ^ [])), 1200 : -(cLeptotyphlopidae(1198 ^ [])), 1205 : -(cAmphisbaenidae(1203 ^ []))],extension(727 ^ 1)).
% 103.13/99.80  ncf('1.1.1',plain,[-(cowlThing(728 ^ []))],extension(394 ^ 2,bind([[_25990], [728 ^ []]]))).
% 103.13/99.80  ncf('1.1.2',plain,[xsd_string(737 ^ []), -(xsd_string(737 ^ [])), 737 ^ [] = 737 ^ []],extension(64 ^ 4,bind([[_21802, _21804], [737 ^ [], 737 ^ []]]))).
% 103.13/99.80  ncf('1.1.2.1',plain,[xsd_string(737 ^ []), -(xsd_string(737 ^ [])), 737 ^ [] = 737 ^ []],extension(64 ^ 5,bind([[_21802, _21804], [737 ^ [], 737 ^ []]]))).
% 103.13/99.80  ncf('1.1.2.1.1',plain,[xsd_string(737 ^ []), xsd_integer(737 ^ [])],extension(398 ^ 6,bind([[_26047], [737 ^ []]]))).
% 103.13/99.80  ncf('1.1.2.1.1.1',plain,[-(xsd_integer(737 ^ []))],extension(743 ^ 7)).
% 103.13/99.80  ncf('1.1.2.1.2',plain,[-(737 ^ [] = 737 ^ [])],extension(2 ^ 6,bind([[_21001], [737 ^ []]]))).
% 103.13/99.80  ncf('1.1.2.2',plain,[-(737 ^ [] = 737 ^ [])],extension(2 ^ 5,bind([[_21001], [737 ^ []]]))).
% 103.13/99.80  ncf('1.1.3',plain,[-(xsd_integer(737 ^ [])), -(xsd_string(737 ^ []))],extension(404 ^ 4,bind([[_26113], [737 ^ []]]))).
% 103.13/99.80  ncf('1.1.3.1',plain,[xsd_string(737 ^ [])],extension(747 ^ 5)).
% 103.13/99.80  ncf('1.1.4',plain,[cLeptotyphlopidae(750 ^ []), -(rfamily_name(750 ^ [], xsd_string_8))],extension(524 ^ 4,bind([[_27461], [750 ^ []]]))).
% 103.13/99.80  ncf('1.1.4.1',plain,[rfamily_name(750 ^ [], xsd_string_8), 557 : -(xsd_string_8 = xsd_string_3), 557 : rfamily_name(750 ^ [], xsd_string_3), 557 : cReptile(750 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [750 ^ [], xsd_string_3, xsd_string_8]]))).
% 103.13/99.80  ncf('1.1.4.1.1',plain,[xsd_string_8 = xsd_string_3, -(xsd_string_3 = xsd_string_8)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_3, xsd_string_8]]))).
% 103.13/99.80  ncf('1.1.4.1.1.1',plain,[xsd_string_3 = xsd_string_8],extension(663 ^ 9)).
% 103.13/99.80  ncf('1.1.4.1.2',plain,[-(rfamily_name(750 ^ [], xsd_string_3)), cBipedidae(750 ^ [])],extension(454 ^ 8,bind([[_26651], [750 ^ []]]))).
% 103.13/99.80  ncf('1.1.4.1.2.1',plain,[-(cBipedidae(750 ^ []))],extension(754 ^ 9)).
% 103.13/99.80  ncf('1.1.4.1.3',plain,[-(cReptile(750 ^ [])), cBipedidae(750 ^ [])],extension(460 ^ 6,bind([[_26724], [750 ^ []]]))).
% 103.13/99.80  ncf('1.1.4.1.3.1',plain,[-(cBipedidae(750 ^ []))],extension(754 ^ 7)).
% 103.13/99.80  ncf('1.1.5',plain,[cBipedidae(757 ^ []), -(rfamily_name(757 ^ [], xsd_string_3))],extension(454 ^ 4,bind([[_26651], [757 ^ []]]))).
% 103.13/99.80  ncf('1.1.5.1',plain,[rfamily_name(757 ^ [], xsd_string_3), 557 : -(xsd_string_3 = xsd_string_2), 557 : rfamily_name(757 ^ [], xsd_string_2), 557 : cReptile(757 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [757 ^ [], xsd_string_2, xsd_string_3]]))).
% 103.13/99.80  ncf('1.1.5.1.1',plain,[xsd_string_3 = xsd_string_2, -(xsd_string_2 = xsd_string_3)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_2, xsd_string_3]]))).
% 103.13/99.80  ncf('1.1.5.1.1.1',plain,[xsd_string_2 = xsd_string_3],extension(637 ^ 9)).
% 103.13/99.80  ncf('1.1.5.1.2',plain,[-(rfamily_name(757 ^ [], xsd_string_2)), cAnomalepidae(757 ^ [])],extension(440 ^ 8,bind([[_26489], [757 ^ []]]))).
% 103.13/99.80  ncf('1.1.5.1.2.1',plain,[-(cAnomalepidae(757 ^ []))],extension(761 ^ 9)).
% 103.13/99.80  ncf('1.1.5.1.3',plain,[-(cReptile(757 ^ [])), cAnomalepidae(757 ^ [])],extension(446 ^ 6,bind([[_26562], [757 ^ []]]))).
% 103.13/99.80  ncf('1.1.5.1.3.1',plain,[-(cAnomalepidae(757 ^ []))],extension(761 ^ 7)).
% 103.13/99.80  ncf('1.1.6',plain,[cLeptotyphlopidae(764 ^ []), -(rfamily_name(764 ^ [], xsd_string_8))],extension(524 ^ 4,bind([[_27461], [764 ^ []]]))).
% 103.13/99.80  ncf('1.1.6.1',plain,[rfamily_name(764 ^ [], xsd_string_8), 557 : -(xsd_string_8 = xsd_string_7), 557 : rfamily_name(764 ^ [], xsd_string_7), 557 : cReptile(764 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [764 ^ [], xsd_string_7, xsd_string_8]]))).
% 103.13/99.80  ncf('1.1.6.1.1',plain,[xsd_string_8 = xsd_string_7, -(xsd_string_7 = xsd_string_8)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_7, xsd_string_8]]))).
% 103.13/99.80  ncf('1.1.6.1.1.1',plain,[xsd_string_7 = xsd_string_8],extension(707 ^ 9)).
% 103.13/99.80  ncf('1.1.6.1.2',plain,[-(rfamily_name(764 ^ [], xsd_string_7)), cGekkonidae(764 ^ [])],extension(510 ^ 8,bind([[_27299], [764 ^ []]]))).
% 103.13/99.80  ncf('1.1.6.1.2.1',plain,[-(cGekkonidae(764 ^ []))],extension(768 ^ 9)).
% 103.13/99.80  ncf('1.1.6.1.3',plain,[-(cReptile(764 ^ [])), cGekkonidae(764 ^ [])],extension(516 ^ 6,bind([[_27372], [764 ^ []]]))).
% 103.13/99.80  ncf('1.1.6.1.3.1',plain,[-(cGekkonidae(764 ^ []))],extension(768 ^ 7)).
% 103.13/99.80  ncf('1.1.7',plain,[cAmphisbaenidae(771 ^ []), -(rfamily_name(771 ^ [], xsd_string_1))],extension(426 ^ 4,bind([[_26327], [771 ^ []]]))).
% 103.13/99.80  ncf('1.1.7.1',plain,[rfamily_name(771 ^ [], xsd_string_1), 557 : -(xsd_string_1 = xsd_string_10), 557 : rfamily_name(771 ^ [], xsd_string_10), 557 : cReptile(771 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [771 ^ [], xsd_string_10, xsd_string_1]]))).
% 103.13/99.80  ncf('1.1.7.1.1',plain,[xsd_string_1 = xsd_string_10],extension(633 ^ 8)).
% 103.13/99.80  ncf('1.1.7.1.2',plain,[-(rfamily_name(771 ^ [], xsd_string_10)), cSphenodontidae(771 ^ [])],extension(569 ^ 8,bind([[_28031], [771 ^ []]]))).
% 103.13/99.80  ncf('1.1.7.1.2.1',plain,[-(cSphenodontidae(771 ^ []))],extension(775 ^ 9)).
% 103.13/99.80  ncf('1.1.7.1.3',plain,[-(cReptile(771 ^ [])), cAmphisbaenidae(771 ^ [])],extension(432 ^ 6,bind([[_26400], [771 ^ []]]))).
% 103.13/99.80  ncf('1.1.7.1.3.1',plain,[-(cAmphisbaenidae(771 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.8',plain,[cBipedidae(778 ^ []), -(rfamily_name(778 ^ [], xsd_string_3))],extension(454 ^ 4,bind([[_26651], [778 ^ []]]))).
% 103.13/99.80  ncf('1.1.8.1',plain,[rfamily_name(778 ^ [], xsd_string_3), 557 : -(xsd_string_3 = xsd_string_5), 557 : rfamily_name(778 ^ [], xsd_string_5), 557 : cReptile(778 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [778 ^ [], xsd_string_5, xsd_string_3]]))).
% 103.13/99.80  ncf('1.1.8.1.1',plain,[xsd_string_3 = xsd_string_5],extension(657 ^ 8)).
% 103.13/99.80  ncf('1.1.8.1.2',plain,[-(rfamily_name(778 ^ [], xsd_string_5)), cCrocodylidae(778 ^ [])],extension(482 ^ 8,bind([[_26975], [778 ^ []]]))).
% 103.13/99.80  ncf('1.1.8.1.2.1',plain,[-(cCrocodylidae(778 ^ []))],extension(782 ^ 9)).
% 103.13/99.80  ncf('1.1.8.1.3',plain,[-(cReptile(778 ^ [])), cBipedidae(778 ^ [])],extension(460 ^ 6,bind([[_26724], [778 ^ []]]))).
% 103.13/99.80  ncf('1.1.8.1.3.1',plain,[-(cBipedidae(778 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.9',plain,[cBipedidae(785 ^ []), -(rfamily_name(785 ^ [], xsd_string_3))],extension(454 ^ 4,bind([[_26651], [785 ^ []]]))).
% 103.13/99.80  ncf('1.1.9.1',plain,[rfamily_name(785 ^ [], xsd_string_3), 557 : -(xsd_string_3 = xsd_string_7), 557 : rfamily_name(785 ^ [], xsd_string_7), 557 : cReptile(785 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [785 ^ [], xsd_string_7, xsd_string_3]]))).
% 103.13/99.80  ncf('1.1.9.1.1',plain,[xsd_string_3 = xsd_string_7],extension(661 ^ 8)).
% 103.13/99.80  ncf('1.1.9.1.2',plain,[-(rfamily_name(785 ^ [], xsd_string_7)), cGekkonidae(785 ^ [])],extension(510 ^ 8,bind([[_27299], [785 ^ []]]))).
% 103.13/99.80  ncf('1.1.9.1.2.1',plain,[-(cGekkonidae(785 ^ []))],extension(789 ^ 9)).
% 103.13/99.80  ncf('1.1.9.1.3',plain,[-(cReptile(785 ^ [])), cBipedidae(785 ^ [])],extension(460 ^ 6,bind([[_26724], [785 ^ []]]))).
% 103.13/99.80  ncf('1.1.9.1.3.1',plain,[-(cBipedidae(785 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.10',plain,[cBipedidae(792 ^ []), -(rfamily_name(792 ^ [], xsd_string_3))],extension(454 ^ 4,bind([[_26651], [792 ^ []]]))).
% 103.13/99.80  ncf('1.1.10.1',plain,[rfamily_name(792 ^ [], xsd_string_3), 557 : -(xsd_string_3 = xsd_string_10), 557 : rfamily_name(792 ^ [], xsd_string_10), 557 : cReptile(792 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [792 ^ [], xsd_string_10, xsd_string_3]]))).
% 103.13/99.80  ncf('1.1.10.1.1',plain,[xsd_string_3 = xsd_string_10],extension(667 ^ 8)).
% 103.13/99.80  ncf('1.1.10.1.2',plain,[-(rfamily_name(792 ^ [], xsd_string_10)), cSphenodontidae(792 ^ [])],extension(569 ^ 8,bind([[_28031], [792 ^ []]]))).
% 103.13/99.80  ncf('1.1.10.1.2.1',plain,[-(cSphenodontidae(792 ^ []))],extension(796 ^ 9)).
% 103.13/99.80  ncf('1.1.10.1.3',plain,[-(cReptile(792 ^ [])), cBipedidae(792 ^ [])],extension(460 ^ 6,bind([[_26724], [792 ^ []]]))).
% 103.13/99.80  ncf('1.1.10.1.3.1',plain,[-(cBipedidae(792 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.11',plain,[cGekkonidae(799 ^ []), -(rfamily_name(799 ^ [], xsd_string_7))],extension(510 ^ 4,bind([[_27299], [799 ^ []]]))).
% 103.13/99.80  ncf('1.1.11.1',plain,[rfamily_name(799 ^ [], xsd_string_7), 557 : -(xsd_string_7 = xsd_string_5), 557 : rfamily_name(799 ^ [], xsd_string_5), 557 : cReptile(799 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [799 ^ [], xsd_string_5, xsd_string_7]]))).
% 103.13/99.80  ncf('1.1.11.1.1',plain,[xsd_string_7 = xsd_string_5, -(xsd_string_5 = xsd_string_7)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_5, xsd_string_7]]))).
% 103.13/99.80  ncf('1.1.11.1.1.1',plain,[xsd_string_5 = xsd_string_7],extension(687 ^ 9)).
% 103.13/99.80  ncf('1.1.11.1.2',plain,[-(rfamily_name(799 ^ [], xsd_string_5)), cCrocodylidae(799 ^ [])],extension(482 ^ 8,bind([[_26975], [799 ^ []]]))).
% 103.13/99.80  ncf('1.1.11.1.2.1',plain,[-(cCrocodylidae(799 ^ []))],extension(803 ^ 9)).
% 103.13/99.80  ncf('1.1.11.1.3',plain,[-(cReptile(799 ^ [])), cCrocodylidae(799 ^ [])],extension(488 ^ 6,bind([[_27048], [799 ^ []]]))).
% 103.13/99.80  ncf('1.1.11.1.3.1',plain,[-(cCrocodylidae(799 ^ []))],extension(803 ^ 7)).
% 103.13/99.80  ncf('1.1.12',plain,[cGekkonidae(806 ^ []), -(rfamily_name(806 ^ [], xsd_string_7))],extension(510 ^ 4,bind([[_27299], [806 ^ []]]))).
% 103.13/99.80  ncf('1.1.12.1',plain,[rfamily_name(806 ^ [], xsd_string_7), 557 : -(xsd_string_7 = xsd_string_10), 557 : rfamily_name(806 ^ [], xsd_string_10), 557 : cReptile(806 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [806 ^ [], xsd_string_10, xsd_string_7]]))).
% 103.13/99.80  ncf('1.1.12.1.1',plain,[xsd_string_7 = xsd_string_10],extension(711 ^ 8)).
% 103.13/99.80  ncf('1.1.12.1.2',plain,[-(rfamily_name(806 ^ [], xsd_string_10)), cSphenodontidae(806 ^ [])],extension(569 ^ 8,bind([[_28031], [806 ^ []]]))).
% 103.13/99.80  ncf('1.1.12.1.2.1',plain,[-(cSphenodontidae(806 ^ []))],extension(810 ^ 9)).
% 103.13/99.80  ncf('1.1.12.1.3',plain,[-(cReptile(806 ^ [])), cGekkonidae(806 ^ [])],extension(516 ^ 6,bind([[_27372], [806 ^ []]]))).
% 103.13/99.80  ncf('1.1.12.1.3.1',plain,[-(cGekkonidae(806 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.13',plain,[cAgamidae(813 ^ []), -(rfamily_name(813 ^ [], xsd_string_0))],extension(412 ^ 4,bind([[_26165], [813 ^ []]]))).
% 103.13/99.80  ncf('1.1.13.1',plain,[rfamily_name(813 ^ [], xsd_string_0), 557 : -(xsd_string_0 = xsd_string_10), 557 : rfamily_name(813 ^ [], xsd_string_10), 557 : cReptile(813 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [813 ^ [], xsd_string_10, xsd_string_0]]))).
% 103.13/99.80  ncf('1.1.13.1.1',plain,[xsd_string_0 = xsd_string_10],extension(613 ^ 8)).
% 103.13/99.80  ncf('1.1.13.1.2',plain,[-(rfamily_name(813 ^ [], xsd_string_10)), cSphenodontidae(813 ^ [])],extension(569 ^ 8,bind([[_28031], [813 ^ []]]))).
% 103.13/99.80  ncf('1.1.13.1.2.1',plain,[-(cSphenodontidae(813 ^ []))],extension(817 ^ 9)).
% 103.13/99.80  ncf('1.1.13.1.3',plain,[-(cReptile(813 ^ [])), cAgamidae(813 ^ [])],extension(418 ^ 6,bind([[_26238], [813 ^ []]]))).
% 103.13/99.80  ncf('1.1.13.1.3.1',plain,[-(cAgamidae(813 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.14',plain,[cAnomalepidae(820 ^ []), -(rfamily_name(820 ^ [], xsd_string_2))],extension(440 ^ 4,bind([[_26489], [820 ^ []]]))).
% 103.13/99.80  ncf('1.1.14.1',plain,[rfamily_name(820 ^ [], xsd_string_2), 557 : -(xsd_string_2 = xsd_string_5), 557 : rfamily_name(820 ^ [], xsd_string_5), 557 : cReptile(820 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [820 ^ [], xsd_string_5, xsd_string_2]]))).
% 103.13/99.80  ncf('1.1.14.1.1',plain,[xsd_string_2 = xsd_string_5],extension(641 ^ 8)).
% 103.13/99.80  ncf('1.1.14.1.2',plain,[-(rfamily_name(820 ^ [], xsd_string_5)), cCrocodylidae(820 ^ [])],extension(482 ^ 8,bind([[_26975], [820 ^ []]]))).
% 103.13/99.80  ncf('1.1.14.1.2.1',plain,[-(cCrocodylidae(820 ^ []))],extension(824 ^ 9)).
% 103.13/99.80  ncf('1.1.14.1.3',plain,[-(cReptile(820 ^ [])), cAnomalepidae(820 ^ [])],extension(446 ^ 6,bind([[_26562], [820 ^ []]]))).
% 103.13/99.80  ncf('1.1.14.1.3.1',plain,[-(cAnomalepidae(820 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.15',plain,[cCrocodylidae(827 ^ []), -(rfamily_name(827 ^ [], xsd_string_5))],extension(482 ^ 4,bind([[_26975], [827 ^ []]]))).
% 103.13/99.80  ncf('1.1.15.1',plain,[rfamily_name(827 ^ [], xsd_string_5), 557 : -(xsd_string_5 = xsd_string_6), 557 : rfamily_name(827 ^ [], xsd_string_6), 557 : cReptile(827 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [827 ^ [], xsd_string_6, xsd_string_5]]))).
% 103.13/99.80  ncf('1.1.15.1.1',plain,[xsd_string_5 = xsd_string_6],extension(685 ^ 8)).
% 103.13/99.80  ncf('1.1.15.1.2',plain,[-(rfamily_name(827 ^ [], xsd_string_6)), cEmydidae(827 ^ [])],extension(496 ^ 8,bind([[_27137], [827 ^ []]]))).
% 103.13/99.80  ncf('1.1.15.1.2.1',plain,[-(cEmydidae(827 ^ []))],extension(831 ^ 9)).
% 103.13/99.80  ncf('1.1.15.1.3',plain,[-(cReptile(827 ^ [])), cCrocodylidae(827 ^ [])],extension(488 ^ 6,bind([[_27048], [827 ^ []]]))).
% 103.13/99.80  ncf('1.1.15.1.3.1',plain,[-(cCrocodylidae(827 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.16',plain,[cAmphisbaenidae(834 ^ []), -(rfamily_name(834 ^ [], xsd_string_1))],extension(426 ^ 4,bind([[_26327], [834 ^ []]]))).
% 103.13/99.80  ncf('1.1.16.1',plain,[rfamily_name(834 ^ [], xsd_string_1), 557 : -(xsd_string_1 = xsd_string_9), 557 : rfamily_name(834 ^ [], xsd_string_9), 557 : cReptile(834 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [834 ^ [], xsd_string_9, xsd_string_1]]))).
% 103.13/99.80  ncf('1.1.16.1.1',plain,[xsd_string_1 = xsd_string_9],extension(631 ^ 8)).
% 103.13/99.80  ncf('1.1.16.1.2',plain,[-(rfamily_name(834 ^ [], xsd_string_9)), cLoxocemidae(834 ^ [])],extension(538 ^ 8,bind([[_27623], [834 ^ []]]))).
% 103.13/99.80  ncf('1.1.16.1.2.1',plain,[-(cLoxocemidae(834 ^ []))],extension(838 ^ 9)).
% 103.13/99.80  ncf('1.1.16.1.3',plain,[-(cReptile(834 ^ [])), cAmphisbaenidae(834 ^ [])],extension(432 ^ 6,bind([[_26400], [834 ^ []]]))).
% 103.13/99.80  ncf('1.1.16.1.3.1',plain,[-(cAmphisbaenidae(834 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.17',plain,[cLeptotyphlopidae(841 ^ []), -(rfamily_name(841 ^ [], xsd_string_8))],extension(524 ^ 4,bind([[_27461], [841 ^ []]]))).
% 103.13/99.80  ncf('1.1.17.1',plain,[rfamily_name(841 ^ [], xsd_string_8), 557 : -(xsd_string_8 = xsd_string_0), 557 : rfamily_name(841 ^ [], xsd_string_0), 557 : cReptile(841 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [841 ^ [], xsd_string_0, xsd_string_8]]))).
% 103.13/99.80  ncf('1.1.17.1.1',plain,[xsd_string_8 = xsd_string_0, -(xsd_string_0 = xsd_string_8)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_0, xsd_string_8]]))).
% 103.13/99.80  ncf('1.1.17.1.1.1',plain,[xsd_string_0 = xsd_string_8],extension(609 ^ 9)).
% 103.13/99.80  ncf('1.1.17.1.2',plain,[-(rfamily_name(841 ^ [], xsd_string_0)), cAgamidae(841 ^ [])],extension(412 ^ 8,bind([[_26165], [841 ^ []]]))).
% 103.13/99.80  ncf('1.1.17.1.2.1',plain,[-(cAgamidae(841 ^ []))],extension(845 ^ 9)).
% 103.13/99.80  ncf('1.1.17.1.3',plain,[-(cReptile(841 ^ [])), cAgamidae(841 ^ [])],extension(418 ^ 6,bind([[_26238], [841 ^ []]]))).
% 103.13/99.80  ncf('1.1.17.1.3.1',plain,[-(cAgamidae(841 ^ []))],extension(845 ^ 7)).
% 103.13/99.80  ncf('1.1.18',plain,[cAmphisbaenidae(848 ^ []), -(rfamily_name(848 ^ [], xsd_string_1))],extension(426 ^ 4,bind([[_26327], [848 ^ []]]))).
% 103.13/99.80  ncf('1.1.18.1',plain,[rfamily_name(848 ^ [], xsd_string_1), 557 : -(xsd_string_1 = xsd_string_5), 557 : rfamily_name(848 ^ [], xsd_string_5), 557 : cReptile(848 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [848 ^ [], xsd_string_5, xsd_string_1]]))).
% 103.13/99.80  ncf('1.1.18.1.1',plain,[xsd_string_1 = xsd_string_5],extension(623 ^ 8)).
% 103.13/99.80  ncf('1.1.18.1.2',plain,[-(rfamily_name(848 ^ [], xsd_string_5)), cCrocodylidae(848 ^ [])],extension(482 ^ 8,bind([[_26975], [848 ^ []]]))).
% 103.13/99.80  ncf('1.1.18.1.2.1',plain,[-(cCrocodylidae(848 ^ []))],extension(852 ^ 9)).
% 103.13/99.80  ncf('1.1.18.1.3',plain,[-(cReptile(848 ^ [])), cAmphisbaenidae(848 ^ [])],extension(432 ^ 6,bind([[_26400], [848 ^ []]]))).
% 103.13/99.80  ncf('1.1.18.1.3.1',plain,[-(cAmphisbaenidae(848 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.19',plain,[cCrocodylidae(855 ^ []), -(rfamily_name(855 ^ [], xsd_string_5))],extension(482 ^ 4,bind([[_26975], [855 ^ []]]))).
% 103.13/99.80  ncf('1.1.19.1',plain,[rfamily_name(855 ^ [], xsd_string_5), 557 : -(xsd_string_5 = xsd_string_9), 557 : rfamily_name(855 ^ [], xsd_string_9), 557 : cReptile(855 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [855 ^ [], xsd_string_9, xsd_string_5]]))).
% 103.13/99.80  ncf('1.1.19.1.1',plain,[xsd_string_5 = xsd_string_9],extension(691 ^ 8)).
% 103.13/99.80  ncf('1.1.19.1.2',plain,[-(rfamily_name(855 ^ [], xsd_string_9)), cLoxocemidae(855 ^ [])],extension(538 ^ 8,bind([[_27623], [855 ^ []]]))).
% 103.13/99.80  ncf('1.1.19.1.2.1',plain,[-(cLoxocemidae(855 ^ []))],extension(859 ^ 9)).
% 103.13/99.80  ncf('1.1.19.1.3',plain,[-(cReptile(855 ^ [])), cCrocodylidae(855 ^ [])],extension(488 ^ 6,bind([[_27048], [855 ^ []]]))).
% 103.13/99.80  ncf('1.1.19.1.3.1',plain,[-(cCrocodylidae(855 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.20',plain,[cXantusiidae(862 ^ []), -(rfamily_name(862 ^ [], xsd_string_11))],extension(583 ^ 4,bind([[_28193], [862 ^ []]]))).
% 103.13/99.80  ncf('1.1.20.1',plain,[rfamily_name(862 ^ [], xsd_string_11), 557 : -(xsd_string_11 = xsd_string_5), 557 : rfamily_name(862 ^ [], xsd_string_5), 557 : cReptile(862 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [862 ^ [], xsd_string_5, xsd_string_11]]))).
% 103.13/99.80  ncf('1.1.20.1.1',plain,[xsd_string_11 = xsd_string_5, -(xsd_string_5 = xsd_string_11)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_5, xsd_string_11]]))).
% 103.13/99.80  ncf('1.1.20.1.1.1',plain,[xsd_string_5 = xsd_string_11],extension(695 ^ 9)).
% 103.13/99.80  ncf('1.1.20.1.2',plain,[-(rfamily_name(862 ^ [], xsd_string_5)), cCrocodylidae(862 ^ [])],extension(482 ^ 8,bind([[_26975], [862 ^ []]]))).
% 103.13/99.80  ncf('1.1.20.1.2.1',plain,[-(cCrocodylidae(862 ^ []))],extension(866 ^ 9)).
% 103.13/99.80  ncf('1.1.20.1.3',plain,[-(cReptile(862 ^ [])), cCrocodylidae(862 ^ [])],extension(488 ^ 6,bind([[_27048], [862 ^ []]]))).
% 103.13/99.80  ncf('1.1.20.1.3.1',plain,[-(cCrocodylidae(862 ^ []))],extension(866 ^ 7)).
% 103.13/99.80  ncf('1.1.21',plain,[cBipedidae(869 ^ []), -(rfamily_name(869 ^ [], xsd_string_3))],extension(454 ^ 4,bind([[_26651], [869 ^ []]]))).
% 103.13/99.80  ncf('1.1.21.1',plain,[rfamily_name(869 ^ [], xsd_string_3), 557 : -(xsd_string_3 = xsd_string_6), 557 : rfamily_name(869 ^ [], xsd_string_6), 557 : cReptile(869 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [869 ^ [], xsd_string_6, xsd_string_3]]))).
% 103.13/99.80  ncf('1.1.21.1.1',plain,[xsd_string_3 = xsd_string_6],extension(659 ^ 8)).
% 103.13/99.80  ncf('1.1.21.1.2',plain,[-(rfamily_name(869 ^ [], xsd_string_6)), cEmydidae(869 ^ [])],extension(496 ^ 8,bind([[_27137], [869 ^ []]]))).
% 103.13/99.80  ncf('1.1.21.1.2.1',plain,[-(cEmydidae(869 ^ []))],extension(873 ^ 9)).
% 103.13/99.80  ncf('1.1.21.1.3',plain,[-(cReptile(869 ^ [])), cBipedidae(869 ^ [])],extension(460 ^ 6,bind([[_26724], [869 ^ []]]))).
% 103.13/99.80  ncf('1.1.21.1.3.1',plain,[-(cBipedidae(869 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.22',plain,[cAmphisbaenidae(876 ^ []), -(rfamily_name(876 ^ [], xsd_string_1))],extension(426 ^ 4,bind([[_26327], [876 ^ []]]))).
% 103.13/99.80  ncf('1.1.22.1',plain,[rfamily_name(876 ^ [], xsd_string_1), 557 : -(xsd_string_1 = xsd_string_6), 557 : rfamily_name(876 ^ [], xsd_string_6), 557 : cReptile(876 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [876 ^ [], xsd_string_6, xsd_string_1]]))).
% 103.13/99.80  ncf('1.1.22.1.1',plain,[xsd_string_1 = xsd_string_6],extension(625 ^ 8)).
% 103.13/99.80  ncf('1.1.22.1.2',plain,[-(rfamily_name(876 ^ [], xsd_string_6)), cEmydidae(876 ^ [])],extension(496 ^ 8,bind([[_27137], [876 ^ []]]))).
% 103.13/99.80  ncf('1.1.22.1.2.1',plain,[-(cEmydidae(876 ^ []))],extension(880 ^ 9)).
% 103.13/99.80  ncf('1.1.22.1.3',plain,[-(cReptile(876 ^ [])), cAmphisbaenidae(876 ^ [])],extension(432 ^ 6,bind([[_26400], [876 ^ []]]))).
% 103.13/99.80  ncf('1.1.22.1.3.1',plain,[-(cAmphisbaenidae(876 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.23',plain,[cAgamidae(883 ^ []), -(rfamily_name(883 ^ [], xsd_string_0))],extension(412 ^ 4,bind([[_26165], [883 ^ []]]))).
% 103.13/99.80  ncf('1.1.23.1',plain,[rfamily_name(883 ^ [], xsd_string_0), 557 : -(xsd_string_0 = xsd_string_5), 557 : rfamily_name(883 ^ [], xsd_string_5), 557 : cReptile(883 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [883 ^ [], xsd_string_5, xsd_string_0]]))).
% 103.13/99.80  ncf('1.1.23.1.1',plain,[xsd_string_0 = xsd_string_5],extension(603 ^ 8)).
% 103.13/99.80  ncf('1.1.23.1.2',plain,[-(rfamily_name(883 ^ [], xsd_string_5)), cCrocodylidae(883 ^ [])],extension(482 ^ 8,bind([[_26975], [883 ^ []]]))).
% 103.13/99.80  ncf('1.1.23.1.2.1',plain,[-(cCrocodylidae(883 ^ []))],extension(887 ^ 9)).
% 103.13/99.80  ncf('1.1.23.1.3',plain,[-(cReptile(883 ^ [])), cAgamidae(883 ^ [])],extension(418 ^ 6,bind([[_26238], [883 ^ []]]))).
% 103.13/99.80  ncf('1.1.23.1.3.1',plain,[-(cAgamidae(883 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.24',plain,[cXantusiidae(890 ^ []), -(rfamily_name(890 ^ [], xsd_string_11))],extension(583 ^ 4,bind([[_28193], [890 ^ []]]))).
% 103.13/99.80  ncf('1.1.24.1',plain,[rfamily_name(890 ^ [], xsd_string_11), 557 : -(xsd_string_11 = xsd_string_9), 557 : rfamily_name(890 ^ [], xsd_string_9), 557 : cReptile(890 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [890 ^ [], xsd_string_9, xsd_string_11]]))).
% 103.13/99.80  ncf('1.1.24.1.1',plain,[xsd_string_11 = xsd_string_9, -(xsd_string_9 = xsd_string_11)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_9, xsd_string_11]]))).
% 103.13/99.80  ncf('1.1.24.1.1.1',plain,[xsd_string_9 = xsd_string_11],extension(723 ^ 9)).
% 103.13/99.80  ncf('1.1.24.1.2',plain,[-(rfamily_name(890 ^ [], xsd_string_9)), cLoxocemidae(890 ^ [])],extension(538 ^ 8,bind([[_27623], [890 ^ []]]))).
% 103.13/99.80  ncf('1.1.24.1.2.1',plain,[-(cLoxocemidae(890 ^ []))],extension(894 ^ 9)).
% 103.13/99.80  ncf('1.1.24.1.3',plain,[-(cReptile(890 ^ [])), cLoxocemidae(890 ^ [])],extension(544 ^ 6,bind([[_27696], [890 ^ []]]))).
% 103.13/99.80  ncf('1.1.24.1.3.1',plain,[-(cLoxocemidae(890 ^ []))],extension(894 ^ 7)).
% 103.13/99.80  ncf('1.1.25',plain,[cXantusiidae(897 ^ []), -(rfamily_name(897 ^ [], xsd_string_11))],extension(583 ^ 4,bind([[_28193], [897 ^ []]]))).
% 103.13/99.80  ncf('1.1.25.1',plain,[rfamily_name(897 ^ [], xsd_string_11), 557 : -(xsd_string_11 = xsd_string_6), 557 : rfamily_name(897 ^ [], xsd_string_6), 557 : cReptile(897 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [897 ^ [], xsd_string_6, xsd_string_11]]))).
% 103.13/99.80  ncf('1.1.25.1.1',plain,[xsd_string_11 = xsd_string_6, -(xsd_string_6 = xsd_string_11)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_6, xsd_string_11]]))).
% 103.13/99.80  ncf('1.1.25.1.1.1',plain,[xsd_string_6 = xsd_string_11],extension(705 ^ 9)).
% 103.13/99.80  ncf('1.1.25.1.2',plain,[-(rfamily_name(897 ^ [], xsd_string_6)), cEmydidae(897 ^ [])],extension(496 ^ 8,bind([[_27137], [897 ^ []]]))).
% 103.13/99.80  ncf('1.1.25.1.2.1',plain,[-(cEmydidae(897 ^ []))],extension(901 ^ 9)).
% 103.13/99.80  ncf('1.1.25.1.3',plain,[-(cReptile(897 ^ [])), cEmydidae(897 ^ [])],extension(502 ^ 6,bind([[_27210], [897 ^ []]]))).
% 103.13/99.80  ncf('1.1.25.1.3.1',plain,[-(cEmydidae(897 ^ []))],extension(901 ^ 7)).
% 103.13/99.80  ncf('1.1.26',plain,[cBipedidae(904 ^ []), -(rfamily_name(904 ^ [], xsd_string_3))],extension(454 ^ 4,bind([[_26651], [904 ^ []]]))).
% 103.13/99.80  ncf('1.1.26.1',plain,[rfamily_name(904 ^ [], xsd_string_3), 557 : -(xsd_string_3 = xsd_string_9), 557 : rfamily_name(904 ^ [], xsd_string_9), 557 : cReptile(904 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [904 ^ [], xsd_string_9, xsd_string_3]]))).
% 103.13/99.80  ncf('1.1.26.1.1',plain,[xsd_string_3 = xsd_string_9],extension(665 ^ 8)).
% 103.13/99.80  ncf('1.1.26.1.2',plain,[-(rfamily_name(904 ^ [], xsd_string_9)), cLoxocemidae(904 ^ [])],extension(538 ^ 8,bind([[_27623], [904 ^ []]]))).
% 103.13/99.80  ncf('1.1.26.1.2.1',plain,[-(cLoxocemidae(904 ^ []))],extension(908 ^ 9)).
% 103.13/99.80  ncf('1.1.26.1.3',plain,[-(cReptile(904 ^ [])), cBipedidae(904 ^ [])],extension(460 ^ 6,bind([[_26724], [904 ^ []]]))).
% 103.13/99.80  ncf('1.1.26.1.3.1',plain,[-(cBipedidae(904 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.27',plain,[cBipedidae(911 ^ []), -(rfamily_name(911 ^ [], xsd_string_3))],extension(454 ^ 4,bind([[_26651], [911 ^ []]]))).
% 103.13/99.80  ncf('1.1.27.1',plain,[rfamily_name(911 ^ [], xsd_string_3), 557 : -(xsd_string_3 = xsd_string_0), 557 : rfamily_name(911 ^ [], xsd_string_0), 557 : cReptile(911 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [911 ^ [], xsd_string_0, xsd_string_3]]))).
% 103.13/99.80  ncf('1.1.27.1.1',plain,[xsd_string_3 = xsd_string_0, -(xsd_string_0 = xsd_string_3)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_0, xsd_string_3]]))).
% 103.13/99.80  ncf('1.1.27.1.1.1',plain,[xsd_string_0 = xsd_string_3],extension(599 ^ 9)).
% 103.13/99.80  ncf('1.1.27.1.2',plain,[-(rfamily_name(911 ^ [], xsd_string_0)), cAgamidae(911 ^ [])],extension(412 ^ 8,bind([[_26165], [911 ^ []]]))).
% 103.13/99.80  ncf('1.1.27.1.2.1',plain,[-(cAgamidae(911 ^ []))],extension(915 ^ 9)).
% 103.13/99.80  ncf('1.1.27.1.3',plain,[-(cReptile(911 ^ [])), cAgamidae(911 ^ [])],extension(418 ^ 6,bind([[_26238], [911 ^ []]]))).
% 103.13/99.80  ncf('1.1.27.1.3.1',plain,[-(cAgamidae(911 ^ []))],extension(915 ^ 7)).
% 103.13/99.80  ncf('1.1.28',plain,[cGekkonidae(918 ^ []), -(rfamily_name(918 ^ [], xsd_string_7))],extension(510 ^ 4,bind([[_27299], [918 ^ []]]))).
% 103.13/99.80  ncf('1.1.28.1',plain,[rfamily_name(918 ^ [], xsd_string_7), 557 : -(xsd_string_7 = xsd_string_1), 557 : rfamily_name(918 ^ [], xsd_string_1), 557 : cReptile(918 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [918 ^ [], xsd_string_1, xsd_string_7]]))).
% 103.13/99.80  ncf('1.1.28.1.1',plain,[xsd_string_7 = xsd_string_1, -(xsd_string_1 = xsd_string_7)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_1, xsd_string_7]]))).
% 103.13/99.80  ncf('1.1.28.1.1.1',plain,[xsd_string_1 = xsd_string_7],extension(627 ^ 9)).
% 103.13/99.80  ncf('1.1.28.1.2',plain,[-(rfamily_name(918 ^ [], xsd_string_1)), cAmphisbaenidae(918 ^ [])],extension(426 ^ 8,bind([[_26327], [918 ^ []]]))).
% 103.13/99.80  ncf('1.1.28.1.2.1',plain,[-(cAmphisbaenidae(918 ^ []))],extension(922 ^ 9)).
% 103.13/99.80  ncf('1.1.28.1.3',plain,[-(cReptile(918 ^ [])), cAmphisbaenidae(918 ^ [])],extension(432 ^ 6,bind([[_26400], [918 ^ []]]))).
% 103.13/99.80  ncf('1.1.28.1.3.1',plain,[-(cAmphisbaenidae(918 ^ []))],extension(922 ^ 7)).
% 103.13/99.80  ncf('1.1.29',plain,[cLeptotyphlopidae(925 ^ []), -(rfamily_name(925 ^ [], xsd_string_8))],extension(524 ^ 4,bind([[_27461], [925 ^ []]]))).
% 103.13/99.80  ncf('1.1.29.1',plain,[rfamily_name(925 ^ [], xsd_string_8), 557 : -(xsd_string_8 = xsd_string_5), 557 : rfamily_name(925 ^ [], xsd_string_5), 557 : cReptile(925 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [925 ^ [], xsd_string_5, xsd_string_8]]))).
% 103.13/99.80  ncf('1.1.29.1.1',plain,[xsd_string_8 = xsd_string_5, -(xsd_string_5 = xsd_string_8)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_5, xsd_string_8]]))).
% 103.13/99.80  ncf('1.1.29.1.1.1',plain,[xsd_string_5 = xsd_string_8],extension(689 ^ 9)).
% 103.13/99.80  ncf('1.1.29.1.2',plain,[-(rfamily_name(925 ^ [], xsd_string_5)), cCrocodylidae(925 ^ [])],extension(482 ^ 8,bind([[_26975], [925 ^ []]]))).
% 103.13/99.80  ncf('1.1.29.1.2.1',plain,[-(cCrocodylidae(925 ^ []))],extension(929 ^ 9)).
% 103.13/99.80  ncf('1.1.29.1.3',plain,[-(cReptile(925 ^ [])), cCrocodylidae(925 ^ [])],extension(488 ^ 6,bind([[_27048], [925 ^ []]]))).
% 103.13/99.80  ncf('1.1.29.1.3.1',plain,[-(cCrocodylidae(925 ^ []))],extension(929 ^ 7)).
% 103.13/99.80  ncf('1.1.30',plain,[cSphenodontidae(932 ^ []), -(rfamily_name(932 ^ [], xsd_string_10))],extension(569 ^ 4,bind([[_28031], [932 ^ []]]))).
% 103.13/99.80  ncf('1.1.30.1',plain,[rfamily_name(932 ^ [], xsd_string_10), 557 : -(xsd_string_10 = xsd_string_4), 557 : rfamily_name(932 ^ [], xsd_string_4), 557 : cReptile(932 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [932 ^ [], xsd_string_4, xsd_string_10]]))).
% 103.13/99.80  ncf('1.1.30.1.1',plain,[xsd_string_10 = xsd_string_4, -(xsd_string_4 = xsd_string_10)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_4, xsd_string_10]]))).
% 103.13/99.80  ncf('1.1.30.1.1.1',plain,[xsd_string_4 = xsd_string_10],extension(681 ^ 9)).
% 103.13/99.80  ncf('1.1.30.1.2',plain,[-(rfamily_name(932 ^ [], xsd_string_4)), cCordylidae(932 ^ [])],extension(468 ^ 8,bind([[_26813], [932 ^ []]]))).
% 103.13/99.80  ncf('1.1.30.1.2.1',plain,[-(cCordylidae(932 ^ []))],extension(936 ^ 9)).
% 103.13/99.80  ncf('1.1.30.1.3',plain,[-(cReptile(932 ^ [])), cCordylidae(932 ^ [])],extension(474 ^ 6,bind([[_26886], [932 ^ []]]))).
% 103.13/99.80  ncf('1.1.30.1.3.1',plain,[-(cCordylidae(932 ^ []))],extension(936 ^ 7)).
% 103.13/99.80  ncf('1.1.31',plain,[cAmphisbaenidae(939 ^ []), -(rfamily_name(939 ^ [], xsd_string_1))],extension(426 ^ 4,bind([[_26327], [939 ^ []]]))).
% 103.13/99.80  ncf('1.1.31.1',plain,[rfamily_name(939 ^ [], xsd_string_1), 557 : -(xsd_string_1 = xsd_string_4), 557 : rfamily_name(939 ^ [], xsd_string_4), 557 : cReptile(939 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [939 ^ [], xsd_string_4, xsd_string_1]]))).
% 103.13/99.80  ncf('1.1.31.1.1',plain,[xsd_string_1 = xsd_string_4],extension(621 ^ 8)).
% 103.13/99.80  ncf('1.1.31.1.2',plain,[-(rfamily_name(939 ^ [], xsd_string_4)), cCordylidae(939 ^ [])],extension(468 ^ 8,bind([[_26813], [939 ^ []]]))).
% 103.13/99.80  ncf('1.1.31.1.2.1',plain,[-(cCordylidae(939 ^ []))],extension(943 ^ 9)).
% 103.13/99.80  ncf('1.1.31.1.3',plain,[-(cReptile(939 ^ [])), cAmphisbaenidae(939 ^ [])],extension(432 ^ 6,bind([[_26400], [939 ^ []]]))).
% 103.13/99.80  ncf('1.1.31.1.3.1',plain,[-(cAmphisbaenidae(939 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.32',plain,[cCordylidae(946 ^ []), -(rfamily_name(946 ^ [], xsd_string_4))],extension(468 ^ 4,bind([[_26813], [946 ^ []]]))).
% 103.13/99.80  ncf('1.1.32.1',plain,[rfamily_name(946 ^ [], xsd_string_4), 557 : -(xsd_string_4 = xsd_string_9), 557 : rfamily_name(946 ^ [], xsd_string_9), 557 : cReptile(946 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [946 ^ [], xsd_string_9, xsd_string_4]]))).
% 103.13/99.80  ncf('1.1.32.1.1',plain,[xsd_string_4 = xsd_string_9],extension(679 ^ 8)).
% 103.13/99.80  ncf('1.1.32.1.2',plain,[-(rfamily_name(946 ^ [], xsd_string_9)), cLoxocemidae(946 ^ [])],extension(538 ^ 8,bind([[_27623], [946 ^ []]]))).
% 103.13/99.80  ncf('1.1.32.1.2.1',plain,[-(cLoxocemidae(946 ^ []))],extension(950 ^ 9)).
% 103.13/99.80  ncf('1.1.32.1.3',plain,[-(cReptile(946 ^ [])), cCordylidae(946 ^ [])],extension(474 ^ 6,bind([[_26886], [946 ^ []]]))).
% 103.13/99.80  ncf('1.1.32.1.3.1',plain,[-(cCordylidae(946 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.33',plain,[cGekkonidae(953 ^ []), -(rfamily_name(953 ^ [], xsd_string_7))],extension(510 ^ 4,bind([[_27299], [953 ^ []]]))).
% 103.13/99.80  ncf('1.1.33.1',plain,[rfamily_name(953 ^ [], xsd_string_7), 557 : -(xsd_string_7 = xsd_string_4), 557 : rfamily_name(953 ^ [], xsd_string_4), 557 : cReptile(953 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [953 ^ [], xsd_string_4, xsd_string_7]]))).
% 103.13/99.80  ncf('1.1.33.1.1',plain,[xsd_string_7 = xsd_string_4, -(xsd_string_4 = xsd_string_7)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_4, xsd_string_7]]))).
% 103.13/99.80  ncf('1.1.33.1.1.1',plain,[xsd_string_4 = xsd_string_7],extension(675 ^ 9)).
% 103.13/99.80  ncf('1.1.33.1.2',plain,[-(rfamily_name(953 ^ [], xsd_string_4)), cCordylidae(953 ^ [])],extension(468 ^ 8,bind([[_26813], [953 ^ []]]))).
% 103.13/99.80  ncf('1.1.33.1.2.1',plain,[-(cCordylidae(953 ^ []))],extension(957 ^ 9)).
% 103.13/99.80  ncf('1.1.33.1.3',plain,[-(cReptile(953 ^ [])), cCordylidae(953 ^ [])],extension(474 ^ 6,bind([[_26886], [953 ^ []]]))).
% 103.13/99.80  ncf('1.1.33.1.3.1',plain,[-(cCordylidae(953 ^ []))],extension(957 ^ 7)).
% 103.13/99.80  ncf('1.1.34',plain,[cXantusiidae(960 ^ []), -(rfamily_name(960 ^ [], xsd_string_11))],extension(583 ^ 4,bind([[_28193], [960 ^ []]]))).
% 103.13/99.80  ncf('1.1.34.1',plain,[rfamily_name(960 ^ [], xsd_string_11), 557 : -(xsd_string_11 = xsd_string_0), 557 : rfamily_name(960 ^ [], xsd_string_0), 557 : cReptile(960 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [960 ^ [], xsd_string_0, xsd_string_11]]))).
% 103.13/99.80  ncf('1.1.34.1.1',plain,[xsd_string_11 = xsd_string_0, -(xsd_string_0 = xsd_string_11)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_0, xsd_string_11]]))).
% 103.13/99.80  ncf('1.1.34.1.1.1',plain,[xsd_string_0 = xsd_string_11],extension(615 ^ 9)).
% 103.13/99.80  ncf('1.1.34.1.2',plain,[-(rfamily_name(960 ^ [], xsd_string_0)), cAgamidae(960 ^ [])],extension(412 ^ 8,bind([[_26165], [960 ^ []]]))).
% 103.13/99.80  ncf('1.1.34.1.2.1',plain,[-(cAgamidae(960 ^ []))],extension(964 ^ 9)).
% 103.13/99.80  ncf('1.1.34.1.3',plain,[-(cReptile(960 ^ [])), cAgamidae(960 ^ [])],extension(418 ^ 6,bind([[_26238], [960 ^ []]]))).
% 103.13/99.80  ncf('1.1.34.1.3.1',plain,[-(cAgamidae(960 ^ []))],extension(964 ^ 7)).
% 103.13/99.80  ncf('1.1.35',plain,[cAnomalepidae(967 ^ []), -(rfamily_name(967 ^ [], xsd_string_2))],extension(440 ^ 4,bind([[_26489], [967 ^ []]]))).
% 103.13/99.80  ncf('1.1.35.1',plain,[rfamily_name(967 ^ [], xsd_string_2), 557 : -(xsd_string_2 = xsd_string_4), 557 : rfamily_name(967 ^ [], xsd_string_4), 557 : cReptile(967 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [967 ^ [], xsd_string_4, xsd_string_2]]))).
% 103.13/99.80  ncf('1.1.35.1.1',plain,[xsd_string_2 = xsd_string_4],extension(639 ^ 8)).
% 103.13/99.80  ncf('1.1.35.1.2',plain,[-(rfamily_name(967 ^ [], xsd_string_4)), cCordylidae(967 ^ [])],extension(468 ^ 8,bind([[_26813], [967 ^ []]]))).
% 103.13/99.80  ncf('1.1.35.1.2.1',plain,[-(cCordylidae(967 ^ []))],extension(971 ^ 9)).
% 103.13/99.80  ncf('1.1.35.1.3',plain,[-(cReptile(967 ^ [])), cAnomalepidae(967 ^ [])],extension(446 ^ 6,bind([[_26562], [967 ^ []]]))).
% 103.13/99.80  ncf('1.1.35.1.3.1',plain,[-(cAnomalepidae(967 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.36',plain,[cAgamidae(974 ^ []), -(rfamily_name(974 ^ [], xsd_string_0))],extension(412 ^ 4,bind([[_26165], [974 ^ []]]))).
% 103.13/99.80  ncf('1.1.36.1',plain,[rfamily_name(974 ^ [], xsd_string_0), 557 : -(xsd_string_0 = xsd_string_6), 557 : rfamily_name(974 ^ [], xsd_string_6), 557 : cReptile(974 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [974 ^ [], xsd_string_6, xsd_string_0]]))).
% 103.13/99.80  ncf('1.1.36.1.1',plain,[xsd_string_0 = xsd_string_6],extension(605 ^ 8)).
% 103.13/99.80  ncf('1.1.36.1.2',plain,[-(rfamily_name(974 ^ [], xsd_string_6)), cEmydidae(974 ^ [])],extension(496 ^ 8,bind([[_27137], [974 ^ []]]))).
% 103.13/99.80  ncf('1.1.36.1.2.1',plain,[-(cEmydidae(974 ^ []))],extension(978 ^ 9)).
% 103.13/99.80  ncf('1.1.36.1.3',plain,[-(cReptile(974 ^ [])), cAgamidae(974 ^ [])],extension(418 ^ 6,bind([[_26238], [974 ^ []]]))).
% 103.13/99.80  ncf('1.1.36.1.3.1',plain,[-(cAgamidae(974 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.37',plain,[cCordylidae(981 ^ []), -(rfamily_name(981 ^ [], xsd_string_4))],extension(468 ^ 4,bind([[_26813], [981 ^ []]]))).
% 103.13/99.80  ncf('1.1.37.1',plain,[rfamily_name(981 ^ [], xsd_string_4), 557 : -(xsd_string_4 = xsd_string_6), 557 : rfamily_name(981 ^ [], xsd_string_6), 557 : cReptile(981 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [981 ^ [], xsd_string_6, xsd_string_4]]))).
% 103.13/99.80  ncf('1.1.37.1.1',plain,[xsd_string_4 = xsd_string_6],extension(673 ^ 8)).
% 103.13/99.80  ncf('1.1.37.1.2',plain,[-(rfamily_name(981 ^ [], xsd_string_6)), cEmydidae(981 ^ [])],extension(496 ^ 8,bind([[_27137], [981 ^ []]]))).
% 103.13/99.80  ncf('1.1.37.1.2.1',plain,[-(cEmydidae(981 ^ []))],extension(985 ^ 9)).
% 103.13/99.80  ncf('1.1.37.1.3',plain,[-(cReptile(981 ^ [])), cCordylidae(981 ^ [])],extension(474 ^ 6,bind([[_26886], [981 ^ []]]))).
% 103.13/99.80  ncf('1.1.37.1.3.1',plain,[-(cCordylidae(981 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.38',plain,[cAgamidae(988 ^ []), -(rfamily_name(988 ^ [], xsd_string_0))],extension(412 ^ 4,bind([[_26165], [988 ^ []]]))).
% 103.13/99.80  ncf('1.1.38.1',plain,[rfamily_name(988 ^ [], xsd_string_0), 557 : -(xsd_string_0 = xsd_string_9), 557 : rfamily_name(988 ^ [], xsd_string_9), 557 : cReptile(988 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [988 ^ [], xsd_string_9, xsd_string_0]]))).
% 103.13/99.80  ncf('1.1.38.1.1',plain,[xsd_string_0 = xsd_string_9],extension(611 ^ 8)).
% 103.13/99.80  ncf('1.1.38.1.2',plain,[-(rfamily_name(988 ^ [], xsd_string_9)), cLoxocemidae(988 ^ [])],extension(538 ^ 8,bind([[_27623], [988 ^ []]]))).
% 103.13/99.80  ncf('1.1.38.1.2.1',plain,[-(cLoxocemidae(988 ^ []))],extension(992 ^ 9)).
% 103.13/99.80  ncf('1.1.38.1.3',plain,[-(cReptile(988 ^ [])), cAgamidae(988 ^ [])],extension(418 ^ 6,bind([[_26238], [988 ^ []]]))).
% 103.13/99.80  ncf('1.1.38.1.3.1',plain,[-(cAgamidae(988 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.39',plain,[cXantusiidae(995 ^ []), -(rfamily_name(995 ^ [], xsd_string_11))],extension(583 ^ 4,bind([[_28193], [995 ^ []]]))).
% 103.13/99.80  ncf('1.1.39.1',plain,[rfamily_name(995 ^ [], xsd_string_11), 557 : -(xsd_string_11 = xsd_string_7), 557 : rfamily_name(995 ^ [], xsd_string_7), 557 : cReptile(995 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [995 ^ [], xsd_string_7, xsd_string_11]]))).
% 103.13/99.80  ncf('1.1.39.1.1',plain,[xsd_string_11 = xsd_string_7, -(xsd_string_7 = xsd_string_11)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_7, xsd_string_11]]))).
% 103.13/99.80  ncf('1.1.39.1.1.1',plain,[xsd_string_7 = xsd_string_11],extension(713 ^ 9)).
% 103.13/99.80  ncf('1.1.39.1.2',plain,[-(rfamily_name(995 ^ [], xsd_string_7)), cGekkonidae(995 ^ [])],extension(510 ^ 8,bind([[_27299], [995 ^ []]]))).
% 103.13/99.80  ncf('1.1.39.1.2.1',plain,[-(cGekkonidae(995 ^ []))],extension(999 ^ 9)).
% 103.13/99.80  ncf('1.1.39.1.3',plain,[-(cReptile(995 ^ [])), cGekkonidae(995 ^ [])],extension(516 ^ 6,bind([[_27372], [995 ^ []]]))).
% 103.13/99.80  ncf('1.1.39.1.3.1',plain,[-(cGekkonidae(995 ^ []))],extension(999 ^ 7)).
% 103.13/99.80  ncf('1.1.40',plain,[cXantusiidae(1002 ^ []), -(rfamily_name(1002 ^ [], xsd_string_11))],extension(583 ^ 4,bind([[_28193], [1002 ^ []]]))).
% 103.13/99.80  ncf('1.1.40.1',plain,[rfamily_name(1002 ^ [], xsd_string_11), 557 : -(xsd_string_11 = xsd_string_3), 557 : rfamily_name(1002 ^ [], xsd_string_3), 557 : cReptile(1002 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1002 ^ [], xsd_string_3, xsd_string_11]]))).
% 103.13/99.80  ncf('1.1.40.1.1',plain,[xsd_string_11 = xsd_string_3, -(xsd_string_3 = xsd_string_11)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_3, xsd_string_11]]))).
% 103.13/99.80  ncf('1.1.40.1.1.1',plain,[xsd_string_3 = xsd_string_11],extension(669 ^ 9)).
% 103.13/99.80  ncf('1.1.40.1.2',plain,[-(rfamily_name(1002 ^ [], xsd_string_3)), cBipedidae(1002 ^ [])],extension(454 ^ 8,bind([[_26651], [1002 ^ []]]))).
% 103.13/99.80  ncf('1.1.40.1.2.1',plain,[-(cBipedidae(1002 ^ []))],extension(1006 ^ 9)).
% 103.13/99.80  ncf('1.1.40.1.3',plain,[-(cReptile(1002 ^ [])), cBipedidae(1002 ^ [])],extension(460 ^ 6,bind([[_26724], [1002 ^ []]]))).
% 103.13/99.80  ncf('1.1.40.1.3.1',plain,[-(cBipedidae(1002 ^ []))],extension(1006 ^ 7)).
% 103.13/99.80  ncf('1.1.41',plain,[cAnomalepidae(1009 ^ []), -(rfamily_name(1009 ^ [], xsd_string_2))],extension(440 ^ 4,bind([[_26489], [1009 ^ []]]))).
% 103.13/99.80  ncf('1.1.41.1',plain,[rfamily_name(1009 ^ [], xsd_string_2), 557 : -(xsd_string_2 = xsd_string_6), 557 : rfamily_name(1009 ^ [], xsd_string_6), 557 : cReptile(1009 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1009 ^ [], xsd_string_6, xsd_string_2]]))).
% 103.13/99.80  ncf('1.1.41.1.1',plain,[xsd_string_2 = xsd_string_6],extension(643 ^ 8)).
% 103.13/99.80  ncf('1.1.41.1.2',plain,[-(rfamily_name(1009 ^ [], xsd_string_6)), cEmydidae(1009 ^ [])],extension(496 ^ 8,bind([[_27137], [1009 ^ []]]))).
% 103.13/99.80  ncf('1.1.41.1.2.1',plain,[-(cEmydidae(1009 ^ []))],extension(1013 ^ 9)).
% 103.13/99.80  ncf('1.1.41.1.3',plain,[-(cReptile(1009 ^ [])), cAnomalepidae(1009 ^ [])],extension(446 ^ 6,bind([[_26562], [1009 ^ []]]))).
% 103.13/99.80  ncf('1.1.41.1.3.1',plain,[-(cAnomalepidae(1009 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.42',plain,[cXantusiidae(1016 ^ []), -(rfamily_name(1016 ^ [], xsd_string_11))],extension(583 ^ 4,bind([[_28193], [1016 ^ []]]))).
% 103.13/99.80  ncf('1.1.42.1',plain,[rfamily_name(1016 ^ [], xsd_string_11), 557 : -(xsd_string_11 = xsd_string_10), 557 : rfamily_name(1016 ^ [], xsd_string_10), 557 : cReptile(1016 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1016 ^ [], xsd_string_10, xsd_string_11]]))).
% 103.13/99.80  ncf('1.1.42.1.1',plain,[xsd_string_11 = xsd_string_10, -(xsd_string_10 = xsd_string_11)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_10, xsd_string_11]]))).
% 103.13/99.80  ncf('1.1.42.1.1.1',plain,[xsd_string_10 = xsd_string_11],extension(725 ^ 9)).
% 103.13/99.80  ncf('1.1.42.1.2',plain,[-(rfamily_name(1016 ^ [], xsd_string_10)), cSphenodontidae(1016 ^ [])],extension(569 ^ 8,bind([[_28031], [1016 ^ []]]))).
% 103.13/99.80  ncf('1.1.42.1.2.1',plain,[-(cSphenodontidae(1016 ^ []))],extension(1020 ^ 9)).
% 103.13/99.80  ncf('1.1.42.1.3',plain,[-(cReptile(1016 ^ [])), cSphenodontidae(1016 ^ [])],extension(575 ^ 6,bind([[_28104], [1016 ^ []]]))).
% 103.13/99.80  ncf('1.1.42.1.3.1',plain,[-(cSphenodontidae(1016 ^ []))],extension(1020 ^ 7)).
% 103.13/99.80  ncf('1.1.43',plain,[cLeptotyphlopidae(1023 ^ []), -(rfamily_name(1023 ^ [], xsd_string_8))],extension(524 ^ 4,bind([[_27461], [1023 ^ []]]))).
% 103.13/99.80  ncf('1.1.43.1',plain,[rfamily_name(1023 ^ [], xsd_string_8), 557 : -(xsd_string_8 = xsd_string_1), 557 : rfamily_name(1023 ^ [], xsd_string_1), 557 : cReptile(1023 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1023 ^ [], xsd_string_1, xsd_string_8]]))).
% 103.13/99.80  ncf('1.1.43.1.1',plain,[xsd_string_8 = xsd_string_1, -(xsd_string_1 = xsd_string_8)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_1, xsd_string_8]]))).
% 103.13/99.80  ncf('1.1.43.1.1.1',plain,[xsd_string_1 = xsd_string_8],extension(629 ^ 9)).
% 103.13/99.80  ncf('1.1.43.1.2',plain,[-(rfamily_name(1023 ^ [], xsd_string_1)), cAmphisbaenidae(1023 ^ [])],extension(426 ^ 8,bind([[_26327], [1023 ^ []]]))).
% 103.13/99.80  ncf('1.1.43.1.2.1',plain,[-(cAmphisbaenidae(1023 ^ []))],extension(1027 ^ 9)).
% 103.13/99.80  ncf('1.1.43.1.3',plain,[-(cReptile(1023 ^ [])), cAmphisbaenidae(1023 ^ [])],extension(432 ^ 6,bind([[_26400], [1023 ^ []]]))).
% 103.13/99.80  ncf('1.1.43.1.3.1',plain,[-(cAmphisbaenidae(1023 ^ []))],extension(1027 ^ 7)).
% 103.13/99.80  ncf('1.1.44',plain,[cSphenodontidae(1030 ^ []), -(rfamily_name(1030 ^ [], xsd_string_10))],extension(569 ^ 4,bind([[_28031], [1030 ^ []]]))).
% 103.13/99.80  ncf('1.1.44.1',plain,[rfamily_name(1030 ^ [], xsd_string_10), 557 : -(xsd_string_10 = xsd_string_6), 557 : rfamily_name(1030 ^ [], xsd_string_6), 557 : cReptile(1030 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1030 ^ [], xsd_string_6, xsd_string_10]]))).
% 103.13/99.80  ncf('1.1.44.1.1',plain,[xsd_string_10 = xsd_string_6, -(xsd_string_6 = xsd_string_10)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_6, xsd_string_10]]))).
% 103.13/99.80  ncf('1.1.44.1.1.1',plain,[xsd_string_6 = xsd_string_10],extension(703 ^ 9)).
% 103.13/99.80  ncf('1.1.44.1.2',plain,[-(rfamily_name(1030 ^ [], xsd_string_6)), cEmydidae(1030 ^ [])],extension(496 ^ 8,bind([[_27137], [1030 ^ []]]))).
% 103.13/99.80  ncf('1.1.44.1.2.1',plain,[-(cEmydidae(1030 ^ []))],extension(1034 ^ 9)).
% 103.13/99.80  ncf('1.1.44.1.3',plain,[-(cReptile(1030 ^ [])), cEmydidae(1030 ^ [])],extension(502 ^ 6,bind([[_27210], [1030 ^ []]]))).
% 103.13/99.80  ncf('1.1.44.1.3.1',plain,[-(cEmydidae(1030 ^ []))],extension(1034 ^ 7)).
% 103.13/99.80  ncf('1.1.45',plain,[cLeptotyphlopidae(1037 ^ []), -(rfamily_name(1037 ^ [], xsd_string_8))],extension(524 ^ 4,bind([[_27461], [1037 ^ []]]))).
% 103.13/99.80  ncf('1.1.45.1',plain,[rfamily_name(1037 ^ [], xsd_string_8), 557 : -(xsd_string_8 = xsd_string_4), 557 : rfamily_name(1037 ^ [], xsd_string_4), 557 : cReptile(1037 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1037 ^ [], xsd_string_4, xsd_string_8]]))).
% 103.13/99.80  ncf('1.1.45.1.1',plain,[xsd_string_8 = xsd_string_4, -(xsd_string_4 = xsd_string_8)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_4, xsd_string_8]]))).
% 103.13/99.80  ncf('1.1.45.1.1.1',plain,[xsd_string_4 = xsd_string_8],extension(677 ^ 9)).
% 103.13/99.80  ncf('1.1.45.1.2',plain,[-(rfamily_name(1037 ^ [], xsd_string_4)), cCordylidae(1037 ^ [])],extension(468 ^ 8,bind([[_26813], [1037 ^ []]]))).
% 103.13/99.80  ncf('1.1.45.1.2.1',plain,[-(cCordylidae(1037 ^ []))],extension(1041 ^ 9)).
% 103.13/99.80  ncf('1.1.45.1.3',plain,[-(cReptile(1037 ^ [])), cCordylidae(1037 ^ [])],extension(474 ^ 6,bind([[_26886], [1037 ^ []]]))).
% 103.13/99.80  ncf('1.1.45.1.3.1',plain,[-(cCordylidae(1037 ^ []))],extension(1041 ^ 7)).
% 103.13/99.80  ncf('1.1.46',plain,[cGekkonidae(1044 ^ []), -(rfamily_name(1044 ^ [], xsd_string_7))],extension(510 ^ 4,bind([[_27299], [1044 ^ []]]))).
% 103.13/99.80  ncf('1.1.46.1',plain,[rfamily_name(1044 ^ [], xsd_string_7), 557 : -(xsd_string_7 = xsd_string_2), 557 : rfamily_name(1044 ^ [], xsd_string_2), 557 : cReptile(1044 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1044 ^ [], xsd_string_2, xsd_string_7]]))).
% 103.13/99.80  ncf('1.1.46.1.1',plain,[xsd_string_7 = xsd_string_2, -(xsd_string_2 = xsd_string_7)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_2, xsd_string_7]]))).
% 103.13/99.80  ncf('1.1.46.1.1.1',plain,[xsd_string_2 = xsd_string_7],extension(645 ^ 9)).
% 103.13/99.80  ncf('1.1.46.1.2',plain,[-(rfamily_name(1044 ^ [], xsd_string_2)), cAnomalepidae(1044 ^ [])],extension(440 ^ 8,bind([[_26489], [1044 ^ []]]))).
% 103.13/99.80  ncf('1.1.46.1.2.1',plain,[-(cAnomalepidae(1044 ^ []))],extension(1048 ^ 9)).
% 103.13/99.80  ncf('1.1.46.1.3',plain,[-(cReptile(1044 ^ [])), cAnomalepidae(1044 ^ [])],extension(446 ^ 6,bind([[_26562], [1044 ^ []]]))).
% 103.13/99.80  ncf('1.1.46.1.3.1',plain,[-(cAnomalepidae(1044 ^ []))],extension(1048 ^ 7)).
% 103.13/99.80  ncf('1.1.47',plain,[cBipedidae(1051 ^ []), -(rfamily_name(1051 ^ [], xsd_string_3))],extension(454 ^ 4,bind([[_26651], [1051 ^ []]]))).
% 103.13/99.80  ncf('1.1.47.1',plain,[rfamily_name(1051 ^ [], xsd_string_3), 557 : -(xsd_string_3 = xsd_string_4), 557 : rfamily_name(1051 ^ [], xsd_string_4), 557 : cReptile(1051 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1051 ^ [], xsd_string_4, xsd_string_3]]))).
% 103.13/99.80  ncf('1.1.47.1.1',plain,[xsd_string_3 = xsd_string_4],extension(655 ^ 8)).
% 103.13/99.80  ncf('1.1.47.1.2',plain,[-(rfamily_name(1051 ^ [], xsd_string_4)), cCordylidae(1051 ^ [])],extension(468 ^ 8,bind([[_26813], [1051 ^ []]]))).
% 103.13/99.80  ncf('1.1.47.1.2.1',plain,[-(cCordylidae(1051 ^ []))],extension(1055 ^ 9)).
% 103.13/99.80  ncf('1.1.47.1.3',plain,[-(cReptile(1051 ^ [])), cBipedidae(1051 ^ [])],extension(460 ^ 6,bind([[_26724], [1051 ^ []]]))).
% 103.13/99.80  ncf('1.1.47.1.3.1',plain,[-(cBipedidae(1051 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.48',plain,[cBipedidae(1058 ^ []), -(rfamily_name(1058 ^ [], xsd_string_3))],extension(454 ^ 4,bind([[_26651], [1058 ^ []]]))).
% 103.13/99.80  ncf('1.1.48.1',plain,[rfamily_name(1058 ^ [], xsd_string_3), 557 : -(xsd_string_3 = xsd_string_1), 557 : rfamily_name(1058 ^ [], xsd_string_1), 557 : cReptile(1058 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1058 ^ [], xsd_string_1, xsd_string_3]]))).
% 103.13/99.80  ncf('1.1.48.1.1',plain,[xsd_string_3 = xsd_string_1, -(xsd_string_1 = xsd_string_3)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_1, xsd_string_3]]))).
% 103.13/99.80  ncf('1.1.48.1.1.1',plain,[xsd_string_1 = xsd_string_3],extension(619 ^ 9)).
% 103.13/99.80  ncf('1.1.48.1.2',plain,[-(rfamily_name(1058 ^ [], xsd_string_1)), cAmphisbaenidae(1058 ^ [])],extension(426 ^ 8,bind([[_26327], [1058 ^ []]]))).
% 103.13/99.80  ncf('1.1.48.1.2.1',plain,[-(cAmphisbaenidae(1058 ^ []))],extension(1062 ^ 9)).
% 103.13/99.80  ncf('1.1.48.1.3',plain,[-(cReptile(1058 ^ [])), cAmphisbaenidae(1058 ^ [])],extension(432 ^ 6,bind([[_26400], [1058 ^ []]]))).
% 103.13/99.80  ncf('1.1.48.1.3.1',plain,[-(cAmphisbaenidae(1058 ^ []))],extension(1062 ^ 7)).
% 103.13/99.80  ncf('1.1.49',plain,[cXantusiidae(1065 ^ []), -(rfamily_name(1065 ^ [], xsd_string_11))],extension(583 ^ 4,bind([[_28193], [1065 ^ []]]))).
% 103.13/99.80  ncf('1.1.49.1',plain,[rfamily_name(1065 ^ [], xsd_string_11), 557 : -(xsd_string_11 = xsd_string_4), 557 : rfamily_name(1065 ^ [], xsd_string_4), 557 : cReptile(1065 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1065 ^ [], xsd_string_4, xsd_string_11]]))).
% 103.13/99.80  ncf('1.1.49.1.1',plain,[xsd_string_11 = xsd_string_4, -(xsd_string_4 = xsd_string_11)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_4, xsd_string_11]]))).
% 103.13/99.80  ncf('1.1.49.1.1.1',plain,[xsd_string_4 = xsd_string_11],extension(683 ^ 9)).
% 103.13/99.80  ncf('1.1.49.1.2',plain,[-(rfamily_name(1065 ^ [], xsd_string_4)), cCordylidae(1065 ^ [])],extension(468 ^ 8,bind([[_26813], [1065 ^ []]]))).
% 103.13/99.80  ncf('1.1.49.1.2.1',plain,[-(cCordylidae(1065 ^ []))],extension(1069 ^ 9)).
% 103.13/99.80  ncf('1.1.49.1.3',plain,[-(cReptile(1065 ^ [])), cCordylidae(1065 ^ [])],extension(474 ^ 6,bind([[_26886], [1065 ^ []]]))).
% 103.13/99.80  ncf('1.1.49.1.3.1',plain,[-(cCordylidae(1065 ^ []))],extension(1069 ^ 7)).
% 103.13/99.80  ncf('1.1.50',plain,[cAnomalepidae(1072 ^ []), -(rfamily_name(1072 ^ [], xsd_string_2))],extension(440 ^ 4,bind([[_26489], [1072 ^ []]]))).
% 103.13/99.80  ncf('1.1.50.1',plain,[rfamily_name(1072 ^ [], xsd_string_2), 557 : -(xsd_string_2 = xsd_string_0), 557 : rfamily_name(1072 ^ [], xsd_string_0), 557 : cReptile(1072 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1072 ^ [], xsd_string_0, xsd_string_2]]))).
% 103.13/99.80  ncf('1.1.50.1.1',plain,[xsd_string_2 = xsd_string_0, -(xsd_string_0 = xsd_string_2)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_0, xsd_string_2]]))).
% 103.13/99.80  ncf('1.1.50.1.1.1',plain,[xsd_string_0 = xsd_string_2],extension(597 ^ 9)).
% 103.13/99.80  ncf('1.1.50.1.2',plain,[-(rfamily_name(1072 ^ [], xsd_string_0)), cAgamidae(1072 ^ [])],extension(412 ^ 8,bind([[_26165], [1072 ^ []]]))).
% 103.13/99.80  ncf('1.1.50.1.2.1',plain,[-(cAgamidae(1072 ^ []))],extension(1076 ^ 9)).
% 103.13/99.80  ncf('1.1.50.1.3',plain,[-(cReptile(1072 ^ [])), cAgamidae(1072 ^ [])],extension(418 ^ 6,bind([[_26238], [1072 ^ []]]))).
% 103.13/99.80  ncf('1.1.50.1.3.1',plain,[-(cAgamidae(1072 ^ []))],extension(1076 ^ 7)).
% 103.13/99.80  ncf('1.1.51',plain,[cSphenodontidae(1079 ^ []), -(rfamily_name(1079 ^ [], xsd_string_10))],extension(569 ^ 4,bind([[_28031], [1079 ^ []]]))).
% 103.13/99.80  ncf('1.1.51.1',plain,[rfamily_name(1079 ^ [], xsd_string_10), 557 : -(xsd_string_10 = xsd_string_5), 557 : rfamily_name(1079 ^ [], xsd_string_5), 557 : cReptile(1079 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1079 ^ [], xsd_string_5, xsd_string_10]]))).
% 103.13/99.80  ncf('1.1.51.1.1',plain,[xsd_string_10 = xsd_string_5, -(xsd_string_5 = xsd_string_10)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_5, xsd_string_10]]))).
% 103.13/99.80  ncf('1.1.51.1.1.1',plain,[xsd_string_5 = xsd_string_10],extension(693 ^ 9)).
% 103.13/99.80  ncf('1.1.51.1.2',plain,[-(rfamily_name(1079 ^ [], xsd_string_5)), cCrocodylidae(1079 ^ [])],extension(482 ^ 8,bind([[_26975], [1079 ^ []]]))).
% 103.13/99.80  ncf('1.1.51.1.2.1',plain,[-(cCrocodylidae(1079 ^ []))],extension(1083 ^ 9)).
% 103.13/99.80  ncf('1.1.51.1.3',plain,[-(cReptile(1079 ^ [])), cCrocodylidae(1079 ^ [])],extension(488 ^ 6,bind([[_27048], [1079 ^ []]]))).
% 103.13/99.80  ncf('1.1.51.1.3.1',plain,[-(cCrocodylidae(1079 ^ []))],extension(1083 ^ 7)).
% 103.13/99.80  ncf('1.1.52',plain,[cXantusiidae(1086 ^ []), -(rfamily_name(1086 ^ [], xsd_string_11))],extension(583 ^ 4,bind([[_28193], [1086 ^ []]]))).
% 103.13/99.80  ncf('1.1.52.1',plain,[rfamily_name(1086 ^ [], xsd_string_11), 557 : -(xsd_string_11 = xsd_string_1), 557 : rfamily_name(1086 ^ [], xsd_string_1), 557 : cReptile(1086 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1086 ^ [], xsd_string_1, xsd_string_11]]))).
% 103.13/99.80  ncf('1.1.52.1.1',plain,[xsd_string_11 = xsd_string_1, -(xsd_string_1 = xsd_string_11)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_1, xsd_string_11]]))).
% 103.13/99.80  ncf('1.1.52.1.1.1',plain,[xsd_string_1 = xsd_string_11],extension(635 ^ 9)).
% 103.13/99.80  ncf('1.1.52.1.2',plain,[-(rfamily_name(1086 ^ [], xsd_string_1)), cAmphisbaenidae(1086 ^ [])],extension(426 ^ 8,bind([[_26327], [1086 ^ []]]))).
% 103.13/99.80  ncf('1.1.52.1.2.1',plain,[-(cAmphisbaenidae(1086 ^ []))],extension(1090 ^ 9)).
% 103.13/99.80  ncf('1.1.52.1.3',plain,[-(cReptile(1086 ^ [])), cAmphisbaenidae(1086 ^ [])],extension(432 ^ 6,bind([[_26400], [1086 ^ []]]))).
% 103.13/99.80  ncf('1.1.52.1.3.1',plain,[-(cAmphisbaenidae(1086 ^ []))],extension(1090 ^ 7)).
% 103.13/99.80  ncf('1.1.53',plain,[cGekkonidae(1093 ^ []), -(rfamily_name(1093 ^ [], xsd_string_7))],extension(510 ^ 4,bind([[_27299], [1093 ^ []]]))).
% 103.13/99.80  ncf('1.1.53.1',plain,[rfamily_name(1093 ^ [], xsd_string_7), 557 : -(xsd_string_7 = xsd_string_6), 557 : rfamily_name(1093 ^ [], xsd_string_6), 557 : cReptile(1093 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1093 ^ [], xsd_string_6, xsd_string_7]]))).
% 103.13/99.80  ncf('1.1.53.1.1',plain,[xsd_string_7 = xsd_string_6, -(xsd_string_6 = xsd_string_7)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_6, xsd_string_7]]))).
% 103.13/99.80  ncf('1.1.53.1.1.1',plain,[xsd_string_6 = xsd_string_7],extension(697 ^ 9)).
% 103.13/99.80  ncf('1.1.53.1.2',plain,[-(rfamily_name(1093 ^ [], xsd_string_6)), cEmydidae(1093 ^ [])],extension(496 ^ 8,bind([[_27137], [1093 ^ []]]))).
% 103.13/99.80  ncf('1.1.53.1.2.1',plain,[-(cEmydidae(1093 ^ []))],extension(1097 ^ 9)).
% 103.13/99.80  ncf('1.1.53.1.3',plain,[-(cReptile(1093 ^ [])), cEmydidae(1093 ^ [])],extension(502 ^ 6,bind([[_27210], [1093 ^ []]]))).
% 103.13/99.80  ncf('1.1.53.1.3.1',plain,[-(cEmydidae(1093 ^ []))],extension(1097 ^ 7)).
% 103.13/99.80  ncf('1.1.54',plain,[cSphenodontidae(1100 ^ []), -(rfamily_name(1100 ^ [], xsd_string_10))],extension(569 ^ 4,bind([[_28031], [1100 ^ []]]))).
% 103.13/99.80  ncf('1.1.54.1',plain,[rfamily_name(1100 ^ [], xsd_string_10), 557 : -(xsd_string_10 = xsd_string_9), 557 : rfamily_name(1100 ^ [], xsd_string_9), 557 : cReptile(1100 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1100 ^ [], xsd_string_9, xsd_string_10]]))).
% 103.13/99.80  ncf('1.1.54.1.1',plain,[xsd_string_10 = xsd_string_9, -(xsd_string_9 = xsd_string_10)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_9, xsd_string_10]]))).
% 103.13/99.80  ncf('1.1.54.1.1.1',plain,[xsd_string_9 = xsd_string_10],extension(721 ^ 9)).
% 103.13/99.80  ncf('1.1.54.1.2',plain,[-(rfamily_name(1100 ^ [], xsd_string_9)), cLoxocemidae(1100 ^ [])],extension(538 ^ 8,bind([[_27623], [1100 ^ []]]))).
% 103.13/99.80  ncf('1.1.54.1.2.1',plain,[-(cLoxocemidae(1100 ^ []))],extension(1104 ^ 9)).
% 103.13/99.80  ncf('1.1.54.1.3',plain,[-(cReptile(1100 ^ [])), cLoxocemidae(1100 ^ [])],extension(544 ^ 6,bind([[_27696], [1100 ^ []]]))).
% 103.13/99.80  ncf('1.1.54.1.3.1',plain,[-(cLoxocemidae(1100 ^ []))],extension(1104 ^ 7)).
% 103.13/99.80  ncf('1.1.55',plain,[cLeptotyphlopidae(1107 ^ []), -(rfamily_name(1107 ^ [], xsd_string_8))],extension(524 ^ 4,bind([[_27461], [1107 ^ []]]))).
% 103.13/99.80  ncf('1.1.55.1',plain,[rfamily_name(1107 ^ [], xsd_string_8), 557 : -(xsd_string_8 = xsd_string_6), 557 : rfamily_name(1107 ^ [], xsd_string_6), 557 : cReptile(1107 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1107 ^ [], xsd_string_6, xsd_string_8]]))).
% 103.13/99.80  ncf('1.1.55.1.1',plain,[xsd_string_8 = xsd_string_6, -(xsd_string_6 = xsd_string_8)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_6, xsd_string_8]]))).
% 103.13/99.80  ncf('1.1.55.1.1.1',plain,[xsd_string_6 = xsd_string_8],extension(699 ^ 9)).
% 103.13/99.80  ncf('1.1.55.1.2',plain,[-(rfamily_name(1107 ^ [], xsd_string_6)), cEmydidae(1107 ^ [])],extension(496 ^ 8,bind([[_27137], [1107 ^ []]]))).
% 103.13/99.80  ncf('1.1.55.1.2.1',plain,[-(cEmydidae(1107 ^ []))],extension(1111 ^ 9)).
% 103.13/99.80  ncf('1.1.55.1.3',plain,[-(cReptile(1107 ^ [])), cEmydidae(1107 ^ [])],extension(502 ^ 6,bind([[_27210], [1107 ^ []]]))).
% 103.13/99.80  ncf('1.1.55.1.3.1',plain,[-(cEmydidae(1107 ^ []))],extension(1111 ^ 7)).
% 103.13/99.80  ncf('1.1.56',plain,[cAmphisbaenidae(1114 ^ []), -(rfamily_name(1114 ^ [], xsd_string_1))],extension(426 ^ 4,bind([[_26327], [1114 ^ []]]))).
% 103.13/99.80  ncf('1.1.56.1',plain,[rfamily_name(1114 ^ [], xsd_string_1), 557 : -(xsd_string_1 = xsd_string_2), 557 : rfamily_name(1114 ^ [], xsd_string_2), 557 : cReptile(1114 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1114 ^ [], xsd_string_2, xsd_string_1]]))).
% 103.13/99.80  ncf('1.1.56.1.1',plain,[xsd_string_1 = xsd_string_2],extension(617 ^ 8)).
% 103.13/99.80  ncf('1.1.56.1.2',plain,[-(rfamily_name(1114 ^ [], xsd_string_2)), cAnomalepidae(1114 ^ [])],extension(440 ^ 8,bind([[_26489], [1114 ^ []]]))).
% 103.13/99.80  ncf('1.1.56.1.2.1',plain,[-(cAnomalepidae(1114 ^ []))],extension(1118 ^ 9)).
% 103.13/99.80  ncf('1.1.56.1.3',plain,[-(cReptile(1114 ^ [])), cAmphisbaenidae(1114 ^ [])],extension(432 ^ 6,bind([[_26400], [1114 ^ []]]))).
% 103.13/99.80  ncf('1.1.56.1.3.1',plain,[-(cAmphisbaenidae(1114 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.57',plain,[cGekkonidae(1121 ^ []), -(rfamily_name(1121 ^ [], xsd_string_7))],extension(510 ^ 4,bind([[_27299], [1121 ^ []]]))).
% 103.13/99.80  ncf('1.1.57.1',plain,[rfamily_name(1121 ^ [], xsd_string_7), 557 : -(xsd_string_7 = xsd_string_9), 557 : rfamily_name(1121 ^ [], xsd_string_9), 557 : cReptile(1121 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1121 ^ [], xsd_string_9, xsd_string_7]]))).
% 103.13/99.80  ncf('1.1.57.1.1',plain,[xsd_string_7 = xsd_string_9],extension(709 ^ 8)).
% 103.13/99.80  ncf('1.1.57.1.2',plain,[-(rfamily_name(1121 ^ [], xsd_string_9)), cLoxocemidae(1121 ^ [])],extension(538 ^ 8,bind([[_27623], [1121 ^ []]]))).
% 103.13/99.80  ncf('1.1.57.1.2.1',plain,[-(cLoxocemidae(1121 ^ []))],extension(1125 ^ 9)).
% 103.13/99.80  ncf('1.1.57.1.3',plain,[-(cReptile(1121 ^ [])), cGekkonidae(1121 ^ [])],extension(516 ^ 6,bind([[_27372], [1121 ^ []]]))).
% 103.13/99.80  ncf('1.1.57.1.3.1',plain,[-(cGekkonidae(1121 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.58',plain,[cAnomalepidae(1128 ^ []), -(rfamily_name(1128 ^ [], xsd_string_2))],extension(440 ^ 4,bind([[_26489], [1128 ^ []]]))).
% 103.13/99.80  ncf('1.1.58.1',plain,[rfamily_name(1128 ^ [], xsd_string_2), 557 : -(xsd_string_2 = xsd_string_9), 557 : rfamily_name(1128 ^ [], xsd_string_9), 557 : cReptile(1128 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1128 ^ [], xsd_string_9, xsd_string_2]]))).
% 103.13/99.80  ncf('1.1.58.1.1',plain,[xsd_string_2 = xsd_string_9],extension(649 ^ 8)).
% 103.13/99.80  ncf('1.1.58.1.2',plain,[-(rfamily_name(1128 ^ [], xsd_string_9)), cLoxocemidae(1128 ^ [])],extension(538 ^ 8,bind([[_27623], [1128 ^ []]]))).
% 103.13/99.80  ncf('1.1.58.1.2.1',plain,[-(cLoxocemidae(1128 ^ []))],extension(1132 ^ 9)).
% 103.13/99.80  ncf('1.1.58.1.3',plain,[-(cReptile(1128 ^ [])), cAnomalepidae(1128 ^ [])],extension(446 ^ 6,bind([[_26562], [1128 ^ []]]))).
% 103.13/99.80  ncf('1.1.58.1.3.1',plain,[-(cAnomalepidae(1128 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.59',plain,[cLeptotyphlopidae(1135 ^ []), -(rfamily_name(1135 ^ [], xsd_string_8))],extension(524 ^ 4,bind([[_27461], [1135 ^ []]]))).
% 103.13/99.80  ncf('1.1.59.1',plain,[rfamily_name(1135 ^ [], xsd_string_8), 557 : -(xsd_string_8 = xsd_string_2), 557 : rfamily_name(1135 ^ [], xsd_string_2), 557 : cReptile(1135 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1135 ^ [], xsd_string_2, xsd_string_8]]))).
% 103.13/99.80  ncf('1.1.59.1.1',plain,[xsd_string_8 = xsd_string_2, -(xsd_string_2 = xsd_string_8)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_2, xsd_string_8]]))).
% 103.13/99.80  ncf('1.1.59.1.1.1',plain,[xsd_string_2 = xsd_string_8],extension(647 ^ 9)).
% 103.13/99.80  ncf('1.1.59.1.2',plain,[-(rfamily_name(1135 ^ [], xsd_string_2)), cAnomalepidae(1135 ^ [])],extension(440 ^ 8,bind([[_26489], [1135 ^ []]]))).
% 103.13/99.80  ncf('1.1.59.1.2.1',plain,[-(cAnomalepidae(1135 ^ []))],extension(1139 ^ 9)).
% 103.13/99.80  ncf('1.1.59.1.3',plain,[-(cReptile(1135 ^ [])), cAnomalepidae(1135 ^ [])],extension(446 ^ 6,bind([[_26562], [1135 ^ []]]))).
% 103.13/99.80  ncf('1.1.59.1.3.1',plain,[-(cAnomalepidae(1135 ^ []))],extension(1139 ^ 7)).
% 103.13/99.80  ncf('1.1.60',plain,[cCordylidae(1142 ^ []), -(rfamily_name(1142 ^ [], xsd_string_4))],extension(468 ^ 4,bind([[_26813], [1142 ^ []]]))).
% 103.13/99.80  ncf('1.1.60.1',plain,[rfamily_name(1142 ^ [], xsd_string_4), 557 : -(xsd_string_4 = xsd_string_5), 557 : rfamily_name(1142 ^ [], xsd_string_5), 557 : cReptile(1142 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1142 ^ [], xsd_string_5, xsd_string_4]]))).
% 103.13/99.80  ncf('1.1.60.1.1',plain,[xsd_string_4 = xsd_string_5],extension(671 ^ 8)).
% 103.13/99.80  ncf('1.1.60.1.2',plain,[-(rfamily_name(1142 ^ [], xsd_string_5)), cCrocodylidae(1142 ^ [])],extension(482 ^ 8,bind([[_26975], [1142 ^ []]]))).
% 103.13/99.80  ncf('1.1.60.1.2.1',plain,[-(cCrocodylidae(1142 ^ []))],extension(1146 ^ 9)).
% 103.13/99.80  ncf('1.1.60.1.3',plain,[-(cReptile(1142 ^ [])), cCordylidae(1142 ^ [])],extension(474 ^ 6,bind([[_26886], [1142 ^ []]]))).
% 103.13/99.80  ncf('1.1.60.1.3.1',plain,[-(cCordylidae(1142 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.61',plain,[cXantusiidae(1149 ^ []), -(rfamily_name(1149 ^ [], xsd_string_11))],extension(583 ^ 4,bind([[_28193], [1149 ^ []]]))).
% 103.13/99.80  ncf('1.1.61.1',plain,[rfamily_name(1149 ^ [], xsd_string_11), 557 : -(xsd_string_11 = xsd_string_2), 557 : rfamily_name(1149 ^ [], xsd_string_2), 557 : cReptile(1149 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1149 ^ [], xsd_string_2, xsd_string_11]]))).
% 103.13/99.80  ncf('1.1.61.1.1',plain,[xsd_string_11 = xsd_string_2, -(xsd_string_2 = xsd_string_11)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_2, xsd_string_11]]))).
% 103.13/99.80  ncf('1.1.61.1.1.1',plain,[xsd_string_2 = xsd_string_11],extension(653 ^ 9)).
% 103.13/99.80  ncf('1.1.61.1.2',plain,[-(rfamily_name(1149 ^ [], xsd_string_2)), cAnomalepidae(1149 ^ [])],extension(440 ^ 8,bind([[_26489], [1149 ^ []]]))).
% 103.13/99.80  ncf('1.1.61.1.2.1',plain,[-(cAnomalepidae(1149 ^ []))],extension(1153 ^ 9)).
% 103.13/99.80  ncf('1.1.61.1.3',plain,[-(cReptile(1149 ^ [])), cAnomalepidae(1149 ^ [])],extension(446 ^ 6,bind([[_26562], [1149 ^ []]]))).
% 103.13/99.80  ncf('1.1.61.1.3.1',plain,[-(cAnomalepidae(1149 ^ []))],extension(1153 ^ 7)).
% 103.13/99.80  ncf('1.1.62',plain,[cAnomalepidae(1156 ^ []), -(rfamily_name(1156 ^ [], xsd_string_2))],extension(440 ^ 4,bind([[_26489], [1156 ^ []]]))).
% 103.13/99.80  ncf('1.1.62.1',plain,[rfamily_name(1156 ^ [], xsd_string_2), 557 : -(xsd_string_2 = xsd_string_10), 557 : rfamily_name(1156 ^ [], xsd_string_10), 557 : cReptile(1156 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1156 ^ [], xsd_string_10, xsd_string_2]]))).
% 103.13/99.80  ncf('1.1.62.1.1',plain,[xsd_string_2 = xsd_string_10],extension(651 ^ 8)).
% 103.13/99.80  ncf('1.1.62.1.2',plain,[-(rfamily_name(1156 ^ [], xsd_string_10)), cSphenodontidae(1156 ^ [])],extension(569 ^ 8,bind([[_28031], [1156 ^ []]]))).
% 103.13/99.80  ncf('1.1.62.1.2.1',plain,[-(cSphenodontidae(1156 ^ []))],extension(1160 ^ 9)).
% 103.13/99.80  ncf('1.1.62.1.3',plain,[-(cReptile(1156 ^ [])), cAnomalepidae(1156 ^ [])],extension(446 ^ 6,bind([[_26562], [1156 ^ []]]))).
% 103.13/99.80  ncf('1.1.62.1.3.1',plain,[-(cAnomalepidae(1156 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.63',plain,[cLeptotyphlopidae(1163 ^ []), -(rfamily_name(1163 ^ [], xsd_string_8))],extension(524 ^ 4,bind([[_27461], [1163 ^ []]]))).
% 103.13/99.80  ncf('1.1.63.1',plain,[rfamily_name(1163 ^ [], xsd_string_8), 557 : -(xsd_string_8 = xsd_string_11), 557 : rfamily_name(1163 ^ [], xsd_string_11), 557 : cReptile(1163 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1163 ^ [], xsd_string_11, xsd_string_8]]))).
% 103.13/99.80  ncf('1.1.63.1.1',plain,[xsd_string_8 = xsd_string_11],extension(719 ^ 8)).
% 103.13/99.80  ncf('1.1.63.1.2',plain,[-(rfamily_name(1163 ^ [], xsd_string_11)), cXantusiidae(1163 ^ [])],extension(583 ^ 8,bind([[_28193], [1163 ^ []]]))).
% 103.13/99.80  ncf('1.1.63.1.2.1',plain,[-(cXantusiidae(1163 ^ []))],extension(1167 ^ 9)).
% 103.13/99.80  ncf('1.1.63.1.3',plain,[-(cReptile(1163 ^ [])), cLeptotyphlopidae(1163 ^ [])],extension(530 ^ 6,bind([[_27534], [1163 ^ []]]))).
% 103.13/99.80  ncf('1.1.63.1.3.1',plain,[-(cLeptotyphlopidae(1163 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.64',plain,[cGekkonidae(1170 ^ []), -(rfamily_name(1170 ^ [], xsd_string_7))],extension(510 ^ 4,bind([[_27299], [1170 ^ []]]))).
% 103.13/99.80  ncf('1.1.64.1',plain,[rfamily_name(1170 ^ [], xsd_string_7), 557 : -(xsd_string_7 = xsd_string_0), 557 : rfamily_name(1170 ^ [], xsd_string_0), 557 : cReptile(1170 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1170 ^ [], xsd_string_0, xsd_string_7]]))).
% 103.13/99.80  ncf('1.1.64.1.1',plain,[xsd_string_7 = xsd_string_0, -(xsd_string_0 = xsd_string_7)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_0, xsd_string_7]]))).
% 103.13/99.80  ncf('1.1.64.1.1.1',plain,[xsd_string_0 = xsd_string_7],extension(607 ^ 9)).
% 103.13/99.80  ncf('1.1.64.1.2',plain,[-(rfamily_name(1170 ^ [], xsd_string_0)), cAgamidae(1170 ^ [])],extension(412 ^ 8,bind([[_26165], [1170 ^ []]]))).
% 103.13/99.80  ncf('1.1.64.1.2.1',plain,[-(cAgamidae(1170 ^ []))],extension(1174 ^ 9)).
% 103.13/99.80  ncf('1.1.64.1.3',plain,[-(cReptile(1170 ^ [])), cAgamidae(1170 ^ [])],extension(418 ^ 6,bind([[_26238], [1170 ^ []]]))).
% 103.13/99.80  ncf('1.1.64.1.3.1',plain,[-(cAgamidae(1170 ^ []))],extension(1174 ^ 7)).
% 103.13/99.80  ncf('1.1.65',plain,[cAgamidae(1177 ^ []), -(rfamily_name(1177 ^ [], xsd_string_0))],extension(412 ^ 4,bind([[_26165], [1177 ^ []]]))).
% 103.13/99.80  ncf('1.1.65.1',plain,[rfamily_name(1177 ^ [], xsd_string_0), 557 : -(xsd_string_0 = xsd_string_4), 557 : rfamily_name(1177 ^ [], xsd_string_4), 557 : cReptile(1177 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1177 ^ [], xsd_string_4, xsd_string_0]]))).
% 103.13/99.80  ncf('1.1.65.1.1',plain,[xsd_string_0 = xsd_string_4],extension(601 ^ 8)).
% 103.13/99.80  ncf('1.1.65.1.2',plain,[-(rfamily_name(1177 ^ [], xsd_string_4)), cCordylidae(1177 ^ [])],extension(468 ^ 8,bind([[_26813], [1177 ^ []]]))).
% 103.13/99.80  ncf('1.1.65.1.2.1',plain,[-(cCordylidae(1177 ^ []))],extension(1181 ^ 9)).
% 103.13/99.80  ncf('1.1.65.1.3',plain,[-(cReptile(1177 ^ [])), cAgamidae(1177 ^ [])],extension(418 ^ 6,bind([[_26238], [1177 ^ []]]))).
% 103.13/99.80  ncf('1.1.65.1.3.1',plain,[-(cAgamidae(1177 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.66',plain,[cLeptotyphlopidae(1184 ^ []), -(rfamily_name(1184 ^ [], xsd_string_8))],extension(524 ^ 4,bind([[_27461], [1184 ^ []]]))).
% 103.13/99.80  ncf('1.1.66.1',plain,[rfamily_name(1184 ^ [], xsd_string_8), 557 : -(xsd_string_8 = xsd_string_9), 557 : rfamily_name(1184 ^ [], xsd_string_9), 557 : cReptile(1184 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1184 ^ [], xsd_string_9, xsd_string_8]]))).
% 103.13/99.80  ncf('1.1.66.1.1',plain,[xsd_string_8 = xsd_string_9],extension(715 ^ 8)).
% 103.13/99.80  ncf('1.1.66.1.2',plain,[-(rfamily_name(1184 ^ [], xsd_string_9)), cLoxocemidae(1184 ^ [])],extension(538 ^ 8,bind([[_27623], [1184 ^ []]]))).
% 103.13/99.80  ncf('1.1.66.1.2.1',plain,[-(cLoxocemidae(1184 ^ []))],extension(1188 ^ 9)).
% 103.13/99.80  ncf('1.1.66.1.3',plain,[-(cReptile(1184 ^ [])), cLeptotyphlopidae(1184 ^ [])],extension(530 ^ 6,bind([[_27534], [1184 ^ []]]))).
% 103.13/99.80  ncf('1.1.66.1.3.1',plain,[-(cLeptotyphlopidae(1184 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.67',plain,[cEmydidae(1191 ^ []), -(rfamily_name(1191 ^ [], xsd_string_6))],extension(496 ^ 4,bind([[_27137], [1191 ^ []]]))).
% 103.13/99.80  ncf('1.1.67.1',plain,[rfamily_name(1191 ^ [], xsd_string_6), 557 : -(xsd_string_6 = xsd_string_9), 557 : rfamily_name(1191 ^ [], xsd_string_9), 557 : cReptile(1191 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1191 ^ [], xsd_string_9, xsd_string_6]]))).
% 103.13/99.80  ncf('1.1.67.1.1',plain,[xsd_string_6 = xsd_string_9],extension(701 ^ 8)).
% 103.13/99.80  ncf('1.1.67.1.2',plain,[-(rfamily_name(1191 ^ [], xsd_string_9)), cLoxocemidae(1191 ^ [])],extension(538 ^ 8,bind([[_27623], [1191 ^ []]]))).
% 103.13/99.80  ncf('1.1.67.1.2.1',plain,[-(cLoxocemidae(1191 ^ []))],extension(1195 ^ 9)).
% 103.13/99.80  ncf('1.1.67.1.3',plain,[-(cReptile(1191 ^ [])), cEmydidae(1191 ^ [])],extension(502 ^ 6,bind([[_27210], [1191 ^ []]]))).
% 103.13/99.80  ncf('1.1.67.1.3.1',plain,[-(cEmydidae(1191 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.68',plain,[cLeptotyphlopidae(1198 ^ []), -(rfamily_name(1198 ^ [], xsd_string_8))],extension(524 ^ 4,bind([[_27461], [1198 ^ []]]))).
% 103.13/99.80  ncf('1.1.68.1',plain,[rfamily_name(1198 ^ [], xsd_string_8), 557 : -(xsd_string_8 = xsd_string_10), 557 : rfamily_name(1198 ^ [], xsd_string_10), 557 : cReptile(1198 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1198 ^ [], xsd_string_10, xsd_string_8]]))).
% 103.13/99.80  ncf('1.1.68.1.1',plain,[xsd_string_8 = xsd_string_10],extension(717 ^ 8)).
% 103.13/99.80  ncf('1.1.68.1.2',plain,[-(rfamily_name(1198 ^ [], xsd_string_10)), cSphenodontidae(1198 ^ [])],extension(569 ^ 8,bind([[_28031], [1198 ^ []]]))).
% 103.13/99.80  ncf('1.1.68.1.2.1',plain,[-(cSphenodontidae(1198 ^ []))],extension(1202 ^ 9)).
% 103.13/99.80  ncf('1.1.68.1.3',plain,[-(cReptile(1198 ^ [])), cLeptotyphlopidae(1198 ^ [])],extension(530 ^ 6,bind([[_27534], [1198 ^ []]]))).
% 103.13/99.80  ncf('1.1.68.1.3.1',plain,[-(cLeptotyphlopidae(1198 ^ []))],reduction('1.1')).
% 103.13/99.80  ncf('1.1.69',plain,[cAmphisbaenidae(1203 ^ []), -(rfamily_name(1203 ^ [], xsd_string_1))],extension(426 ^ 4,bind([[_26327], [1203 ^ []]]))).
% 103.13/99.80  ncf('1.1.69.1',plain,[rfamily_name(1203 ^ [], xsd_string_1), 557 : -(xsd_string_1 = xsd_string_0), 557 : rfamily_name(1203 ^ [], xsd_string_0), 557 : cReptile(1203 ^ [])],extension(550 ^ 5,bind([[_27767, _27874, _27876], [1203 ^ [], xsd_string_0, xsd_string_1]]))).
% 103.13/99.80  ncf('1.1.69.1.1',plain,[xsd_string_1 = xsd_string_0, -(xsd_string_0 = xsd_string_1)],extension(4 ^ 8,bind([[_21024, _21026], [xsd_string_0, xsd_string_1]]))).
% 103.13/99.80  ncf('1.1.69.1.1.1',plain,[xsd_string_0 = xsd_string_1],extension(595 ^ 9)).
% 103.13/99.80  ncf('1.1.69.1.2',plain,[-(rfamily_name(1203 ^ [], xsd_string_0)), cAgamidae(1203 ^ [])],extension(412 ^ 8,bind([[_26165], [1203 ^ []]]))).
% 103.13/99.80  ncf('1.1.69.1.2.1',plain,[-(cAgamidae(1203 ^ []))],extension(1207 ^ 9)).
% 103.13/99.80  ncf('1.1.69.1.3',plain,[-(cReptile(1203 ^ [])), cAgamidae(1203 ^ [])],extension(418 ^ 6,bind([[_26238], [1203 ^ []]]))).
% 103.13/99.80  ncf('1.1.69.1.3.1',plain,[-(cAgamidae(1203 ^ []))],extension(1207 ^ 7)).
% 103.13/99.80  %-----------------------------------------------------
% 103.13/99.80  End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------