:- multifile problem_setting/4.

problem_setting(1001,1001,[obj(point,a),obj(point,b),obj(point,euler(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1002,1002,[obj(point,a),obj(point,b),obj(point,euler(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1003,1003,[obj(point,a),obj(point,b),obj(point,euler(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1004,1004,[obj(point,a),obj(point,b),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1005,1005,[obj(point,a),obj(point,c),obj(point,euler(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1006,1006,[obj(point,a),obj(point,c),obj(point,euler(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1007,1007,[obj(point,a),obj(point,c),obj(point,euler(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1008,1008,[obj(point,a),obj(point,c),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1009,1009,[obj(point,a),obj(point,euler(a,[b,c])),obj(point,euler(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1010,1010,[obj(point,a),obj(point,euler(a,[b,c])),obj(point,euler(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1011,1011,[obj(point,a),obj(point,euler(a,[b,c])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1012,1012,[obj(point,a),obj(point,euler(a,[b,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1013,1013,[obj(point,a),obj(point,euler(a,[b,c])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1014,1014,[obj(point,a),obj(point,euler(a,[b,c])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1015,1015,[obj(point,a),obj(point,euler(a,[b,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1016,1016,[obj(point,a),obj(point,euler(a,[b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1017,1017,[obj(point,a),obj(point,euler(a,[b,c])),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1018,1018,[obj(point,a),obj(point,euler(a,[b,c])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1019,1019,[obj(point,a),obj(point,euler(a,[b,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1020,1020,[obj(point,a),obj(point,euler(a,[b,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1021,1021,[obj(point,a),obj(point,euler(a,[b,c])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1022,1022,[obj(point,a),obj(point,euler(a,[b,c])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1023,1023,[obj(point,a),obj(point,euler(a,[b,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1024,1024,[obj(point,a),obj(point,euler(a,[b,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1025,1025,[obj(point,a),obj(point,euler(b,[a,c])),obj(point,euler(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1026,1026,[obj(point,a),obj(point,euler(b,[a,c])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1027,1027,[obj(point,a),obj(point,euler(b,[a,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1028,1028,[obj(point,a),obj(point,euler(b,[a,c])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1029,1029,[obj(point,a),obj(point,euler(b,[a,c])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1030,1030,[obj(point,a),obj(point,euler(b,[a,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1031,1031,[obj(point,a),obj(point,euler(b,[a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1032,1032,[obj(point,a),obj(point,euler(b,[a,c])),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1033,1033,[obj(point,a),obj(point,euler(b,[a,c])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1034,1034,[obj(point,a),obj(point,euler(b,[a,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1035,1035,[obj(point,a),obj(point,euler(b,[a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1036,1036,[obj(point,a),obj(point,euler(b,[a,c])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1037,1037,[obj(point,a),obj(point,euler(b,[a,c])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1038,1038,[obj(point,a),obj(point,euler(b,[a,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1039,1039,[obj(point,a),obj(point,euler(b,[a,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1040,1040,[obj(point,a),obj(point,euler(c,[a,b])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1041,1041,[obj(point,a),obj(point,euler(c,[a,b])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1042,1042,[obj(point,a),obj(point,euler(c,[a,b])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1043,1043,[obj(point,a),obj(point,euler(c,[a,b])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1044,1044,[obj(point,a),obj(point,euler(c,[a,b])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1045,1045,[obj(point,a),obj(point,euler(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1046,1046,[obj(point,a),obj(point,euler(c,[a,b])),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1047,1047,[obj(point,a),obj(point,euler(c,[a,b])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1048,1048,[obj(point,a),obj(point,euler(c,[a,b])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1049,1049,[obj(point,a),obj(point,euler(c,[a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1050,1050,[obj(point,a),obj(point,euler(c,[a,b])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1051,1051,[obj(point,a),obj(point,euler(c,[a,b])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1052,1052,[obj(point,a),obj(point,euler(c,[a,b])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1053,1053,[obj(point,a),obj(point,euler(c,[a,b])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1054,1054,[obj(point,a),obj(point,centroid([a,b],c)),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1055,1055,[obj(point,a),obj(point,orthocenter([a,b],c)),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1056,1056,[obj(point,a),obj(point,foot(a,[b,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1057,1057,[obj(point,a),obj(point,foot(b,[a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1058,1058,[obj(point,a),obj(point,foot(c,[a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1059,1059,[obj(point,a),obj(point,incenter([a,b],c)),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1060,1060,[obj(point,a),obj(point,midpoint([b,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1061,1061,[obj(point,a),obj(point,midpoint([a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1062,1062,[obj(point,a),obj(point,midpoint([a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1063,1063,[obj(point,a),obj(point,npcenter([a,b],c)),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1064,1064,[obj(point,a),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1065,1065,[obj(point,a),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1066,1066,[obj(point,a),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1067,1067,[obj(point,b),obj(point,c),obj(point,euler(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1068,1068,[obj(point,b),obj(point,c),obj(point,euler(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1069,1069,[obj(point,b),obj(point,c),obj(point,euler(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1070,1070,[obj(point,b),obj(point,c),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1071,1071,[obj(point,b),obj(point,euler(a,[b,c])),obj(point,euler(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1072,1072,[obj(point,b),obj(point,euler(a,[b,c])),obj(point,euler(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1073,1073,[obj(point,b),obj(point,euler(a,[b,c])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1074,1074,[obj(point,b),obj(point,euler(a,[b,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1075,1075,[obj(point,b),obj(point,euler(a,[b,c])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1076,1076,[obj(point,b),obj(point,euler(a,[b,c])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1077,1077,[obj(point,b),obj(point,euler(a,[b,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1078,1078,[obj(point,b),obj(point,euler(a,[b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1079,1079,[obj(point,b),obj(point,euler(a,[b,c])),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1080,1080,[obj(point,b),obj(point,euler(a,[b,c])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1081,1081,[obj(point,b),obj(point,euler(a,[b,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1082,1082,[obj(point,b),obj(point,euler(a,[b,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1083,1083,[obj(point,b),obj(point,euler(a,[b,c])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1084,1084,[obj(point,b),obj(point,euler(a,[b,c])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1085,1085,[obj(point,b),obj(point,euler(a,[b,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1086,1086,[obj(point,b),obj(point,euler(a,[b,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1087,1087,[obj(point,b),obj(point,euler(b,[a,c])),obj(point,euler(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1088,1088,[obj(point,b),obj(point,euler(b,[a,c])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1089,1089,[obj(point,b),obj(point,euler(b,[a,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1090,1090,[obj(point,b),obj(point,euler(b,[a,c])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1091,1091,[obj(point,b),obj(point,euler(b,[a,c])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1092,1092,[obj(point,b),obj(point,euler(b,[a,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1093,1093,[obj(point,b),obj(point,euler(b,[a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1094,1094,[obj(point,b),obj(point,euler(b,[a,c])),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1095,1095,[obj(point,b),obj(point,euler(b,[a,c])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1096,1096,[obj(point,b),obj(point,euler(b,[a,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1097,1097,[obj(point,b),obj(point,euler(b,[a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1098,1098,[obj(point,b),obj(point,euler(b,[a,c])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1099,1099,[obj(point,b),obj(point,euler(b,[a,c])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1100,1100,[obj(point,b),obj(point,euler(b,[a,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1101,1101,[obj(point,b),obj(point,euler(b,[a,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1102,1102,[obj(point,b),obj(point,euler(c,[a,b])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1103,1103,[obj(point,b),obj(point,euler(c,[a,b])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1104,1104,[obj(point,b),obj(point,euler(c,[a,b])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1105,1105,[obj(point,b),obj(point,euler(c,[a,b])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1106,1106,[obj(point,b),obj(point,euler(c,[a,b])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1107,1107,[obj(point,b),obj(point,euler(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1108,1108,[obj(point,b),obj(point,euler(c,[a,b])),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1109,1109,[obj(point,b),obj(point,euler(c,[a,b])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1110,1110,[obj(point,b),obj(point,euler(c,[a,b])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1111,1111,[obj(point,b),obj(point,euler(c,[a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1112,1112,[obj(point,b),obj(point,euler(c,[a,b])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1113,1113,[obj(point,b),obj(point,euler(c,[a,b])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1114,1114,[obj(point,b),obj(point,euler(c,[a,b])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1115,1115,[obj(point,b),obj(point,euler(c,[a,b])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1116,1116,[obj(point,b),obj(point,centroid([a,b],c)),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1117,1117,[obj(point,b),obj(point,orthocenter([a,b],c)),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1118,1118,[obj(point,b),obj(point,foot(a,[b,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1119,1119,[obj(point,b),obj(point,foot(b,[a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1120,1120,[obj(point,b),obj(point,foot(c,[a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1121,1121,[obj(point,b),obj(point,incenter([a,b],c)),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1122,1122,[obj(point,b),obj(point,midpoint([b,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1123,1123,[obj(point,b),obj(point,midpoint([a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1124,1124,[obj(point,b),obj(point,midpoint([a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1125,1125,[obj(point,b),obj(point,npcenter([a,b],c)),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1126,1126,[obj(point,b),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1127,1127,[obj(point,b),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1128,1128,[obj(point,b),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1129,1129,[obj(point,c),obj(point,euler(a,[b,c])),obj(point,euler(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1130,1130,[obj(point,c),obj(point,euler(a,[b,c])),obj(point,euler(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1131,1131,[obj(point,c),obj(point,euler(a,[b,c])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1132,1132,[obj(point,c),obj(point,euler(a,[b,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1133,1133,[obj(point,c),obj(point,euler(a,[b,c])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1134,1134,[obj(point,c),obj(point,euler(a,[b,c])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1135,1135,[obj(point,c),obj(point,euler(a,[b,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1136,1136,[obj(point,c),obj(point,euler(a,[b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1137,1137,[obj(point,c),obj(point,euler(a,[b,c])),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1138,1138,[obj(point,c),obj(point,euler(a,[b,c])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1139,1139,[obj(point,c),obj(point,euler(a,[b,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1140,1140,[obj(point,c),obj(point,euler(a,[b,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1141,1141,[obj(point,c),obj(point,euler(a,[b,c])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1142,1142,[obj(point,c),obj(point,euler(a,[b,c])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1143,1143,[obj(point,c),obj(point,euler(a,[b,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1144,1144,[obj(point,c),obj(point,euler(a,[b,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1145,1145,[obj(point,c),obj(point,euler(b,[a,c])),obj(point,euler(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1146,1146,[obj(point,c),obj(point,euler(b,[a,c])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1147,1147,[obj(point,c),obj(point,euler(b,[a,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1148,1148,[obj(point,c),obj(point,euler(b,[a,c])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1149,1149,[obj(point,c),obj(point,euler(b,[a,c])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1150,1150,[obj(point,c),obj(point,euler(b,[a,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1151,1151,[obj(point,c),obj(point,euler(b,[a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1152,1152,[obj(point,c),obj(point,euler(b,[a,c])),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1153,1153,[obj(point,c),obj(point,euler(b,[a,c])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1154,1154,[obj(point,c),obj(point,euler(b,[a,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1155,1155,[obj(point,c),obj(point,euler(b,[a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1156,1156,[obj(point,c),obj(point,euler(b,[a,c])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1157,1157,[obj(point,c),obj(point,euler(b,[a,c])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1158,1158,[obj(point,c),obj(point,euler(b,[a,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1159,1159,[obj(point,c),obj(point,euler(b,[a,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1160,1160,[obj(point,c),obj(point,euler(c,[a,b])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1161,1161,[obj(point,c),obj(point,euler(c,[a,b])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1162,1162,[obj(point,c),obj(point,euler(c,[a,b])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1163,1163,[obj(point,c),obj(point,euler(c,[a,b])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1164,1164,[obj(point,c),obj(point,euler(c,[a,b])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1165,1165,[obj(point,c),obj(point,euler(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1166,1166,[obj(point,c),obj(point,euler(c,[a,b])),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1167,1167,[obj(point,c),obj(point,euler(c,[a,b])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1168,1168,[obj(point,c),obj(point,euler(c,[a,b])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1169,1169,[obj(point,c),obj(point,euler(c,[a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1170,1170,[obj(point,c),obj(point,euler(c,[a,b])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1171,1171,[obj(point,c),obj(point,euler(c,[a,b])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1172,1172,[obj(point,c),obj(point,euler(c,[a,b])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1173,1173,[obj(point,c),obj(point,euler(c,[a,b])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1174,1174,[obj(point,c),obj(point,centroid([a,b],c)),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1175,1175,[obj(point,c),obj(point,orthocenter([a,b],c)),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1176,1176,[obj(point,c),obj(point,foot(a,[b,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1177,1177,[obj(point,c),obj(point,foot(b,[a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1178,1178,[obj(point,c),obj(point,foot(c,[a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1179,1179,[obj(point,c),obj(point,incenter([a,b],c)),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1180,1180,[obj(point,c),obj(point,midpoint([b,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1181,1181,[obj(point,c),obj(point,midpoint([a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1182,1182,[obj(point,c),obj(point,midpoint([a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1183,1183,[obj(point,c),obj(point,npcenter([a,b],c)),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1184,1184,[obj(point,c),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1185,1185,[obj(point,c),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1186,1186,[obj(point,c),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1187,1187,[obj(point,euler(a,[b,c])),obj(point,euler(b,[a,c])),obj(point,euler(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1188,1188,[obj(point,euler(a,[b,c])),obj(point,euler(b,[a,c])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1189,1189,[obj(point,euler(a,[b,c])),obj(point,euler(b,[a,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1190,1190,[obj(point,euler(a,[b,c])),obj(point,euler(b,[a,c])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1191,1191,[obj(point,euler(a,[b,c])),obj(point,euler(b,[a,c])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1192,1192,[obj(point,euler(a,[b,c])),obj(point,euler(b,[a,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1193,1193,[obj(point,euler(a,[b,c])),obj(point,euler(b,[a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1194,1194,[obj(point,euler(a,[b,c])),obj(point,euler(b,[a,c])),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1195,1195,[obj(point,euler(a,[b,c])),obj(point,euler(b,[a,c])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1196,1196,[obj(point,euler(a,[b,c])),obj(point,euler(b,[a,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1197,1197,[obj(point,euler(a,[b,c])),obj(point,euler(b,[a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1198,1198,[obj(point,euler(a,[b,c])),obj(point,euler(b,[a,c])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1199,1199,[obj(point,euler(a,[b,c])),obj(point,euler(b,[a,c])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1200,1200,[obj(point,euler(a,[b,c])),obj(point,euler(b,[a,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1201,1201,[obj(point,euler(a,[b,c])),obj(point,euler(b,[a,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1202,1202,[obj(point,euler(a,[b,c])),obj(point,euler(c,[a,b])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1203,1203,[obj(point,euler(a,[b,c])),obj(point,euler(c,[a,b])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1204,1204,[obj(point,euler(a,[b,c])),obj(point,euler(c,[a,b])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1205,1205,[obj(point,euler(a,[b,c])),obj(point,euler(c,[a,b])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1206,1206,[obj(point,euler(a,[b,c])),obj(point,euler(c,[a,b])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1207,1207,[obj(point,euler(a,[b,c])),obj(point,euler(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1208,1208,[obj(point,euler(a,[b,c])),obj(point,euler(c,[a,b])),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1209,1209,[obj(point,euler(a,[b,c])),obj(point,euler(c,[a,b])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1210,1210,[obj(point,euler(a,[b,c])),obj(point,euler(c,[a,b])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1211,1211,[obj(point,euler(a,[b,c])),obj(point,euler(c,[a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1212,1212,[obj(point,euler(a,[b,c])),obj(point,euler(c,[a,b])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1213,1213,[obj(point,euler(a,[b,c])),obj(point,euler(c,[a,b])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1214,1214,[obj(point,euler(a,[b,c])),obj(point,euler(c,[a,b])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1215,1215,[obj(point,euler(a,[b,c])),obj(point,euler(c,[a,b])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1216,1216,[obj(point,euler(a,[b,c])),obj(point,centroid([a,b],c)),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1217,1217,[obj(point,euler(a,[b,c])),obj(point,centroid([a,b],c)),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1218,1218,[obj(point,euler(a,[b,c])),obj(point,centroid([a,b],c)),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1219,1219,[obj(point,euler(a,[b,c])),obj(point,centroid([a,b],c)),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1220,1220,[obj(point,euler(a,[b,c])),obj(point,centroid([a,b],c)),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1221,1221,[obj(point,euler(a,[b,c])),obj(point,centroid([a,b],c)),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1222,1222,[obj(point,euler(a,[b,c])),obj(point,centroid([a,b],c)),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1223,1223,[obj(point,euler(a,[b,c])),obj(point,centroid([a,b],c)),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1224,1224,[obj(point,euler(a,[b,c])),obj(point,centroid([a,b],c)),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1225,1225,[obj(point,euler(a,[b,c])),obj(point,centroid([a,b],c)),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1226,1226,[obj(point,euler(a,[b,c])),obj(point,centroid([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1227,1227,[obj(point,euler(a,[b,c])),obj(point,centroid([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1228,1228,[obj(point,euler(a,[b,c])),obj(point,centroid([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1229,1229,[obj(point,euler(a,[b,c])),obj(point,orthocenter([a,b],c)),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1230,1230,[obj(point,euler(a,[b,c])),obj(point,orthocenter([a,b],c)),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1231,1231,[obj(point,euler(a,[b,c])),obj(point,orthocenter([a,b],c)),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1232,1232,[obj(point,euler(a,[b,c])),obj(point,orthocenter([a,b],c)),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1233,1233,[obj(point,euler(a,[b,c])),obj(point,orthocenter([a,b],c)),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1234,1234,[obj(point,euler(a,[b,c])),obj(point,orthocenter([a,b],c)),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1235,1235,[obj(point,euler(a,[b,c])),obj(point,orthocenter([a,b],c)),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1236,1236,[obj(point,euler(a,[b,c])),obj(point,orthocenter([a,b],c)),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1237,1237,[obj(point,euler(a,[b,c])),obj(point,orthocenter([a,b],c)),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1238,1238,[obj(point,euler(a,[b,c])),obj(point,orthocenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1239,1239,[obj(point,euler(a,[b,c])),obj(point,orthocenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1240,1240,[obj(point,euler(a,[b,c])),obj(point,orthocenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1241,1241,[obj(point,euler(a,[b,c])),obj(point,foot(a,[b,c])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1242,1242,[obj(point,euler(a,[b,c])),obj(point,foot(a,[b,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1243,1243,[obj(point,euler(a,[b,c])),obj(point,foot(a,[b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1244,1244,[obj(point,euler(a,[b,c])),obj(point,foot(a,[b,c])),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1245,1245,[obj(point,euler(a,[b,c])),obj(point,foot(a,[b,c])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1246,1246,[obj(point,euler(a,[b,c])),obj(point,foot(a,[b,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1247,1247,[obj(point,euler(a,[b,c])),obj(point,foot(a,[b,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1248,1248,[obj(point,euler(a,[b,c])),obj(point,foot(a,[b,c])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1249,1249,[obj(point,euler(a,[b,c])),obj(point,foot(a,[b,c])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1250,1250,[obj(point,euler(a,[b,c])),obj(point,foot(a,[b,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1251,1251,[obj(point,euler(a,[b,c])),obj(point,foot(a,[b,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1252,1252,[obj(point,euler(a,[b,c])),obj(point,foot(b,[a,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1253,1253,[obj(point,euler(a,[b,c])),obj(point,foot(b,[a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1254,1254,[obj(point,euler(a,[b,c])),obj(point,foot(b,[a,c])),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1255,1255,[obj(point,euler(a,[b,c])),obj(point,foot(b,[a,c])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1256,1256,[obj(point,euler(a,[b,c])),obj(point,foot(b,[a,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1257,1257,[obj(point,euler(a,[b,c])),obj(point,foot(b,[a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1258,1258,[obj(point,euler(a,[b,c])),obj(point,foot(b,[a,c])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1259,1259,[obj(point,euler(a,[b,c])),obj(point,foot(b,[a,c])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1260,1260,[obj(point,euler(a,[b,c])),obj(point,foot(b,[a,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1261,1261,[obj(point,euler(a,[b,c])),obj(point,foot(b,[a,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1262,1262,[obj(point,euler(a,[b,c])),obj(point,foot(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1263,1263,[obj(point,euler(a,[b,c])),obj(point,foot(c,[a,b])),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1264,1264,[obj(point,euler(a,[b,c])),obj(point,foot(c,[a,b])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1265,1265,[obj(point,euler(a,[b,c])),obj(point,foot(c,[a,b])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1266,1266,[obj(point,euler(a,[b,c])),obj(point,foot(c,[a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1267,1267,[obj(point,euler(a,[b,c])),obj(point,foot(c,[a,b])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1268,1268,[obj(point,euler(a,[b,c])),obj(point,foot(c,[a,b])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1269,1269,[obj(point,euler(a,[b,c])),obj(point,foot(c,[a,b])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1270,1270,[obj(point,euler(a,[b,c])),obj(point,foot(c,[a,b])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1271,1271,[obj(point,euler(a,[b,c])),obj(point,incenter([a,b],c)),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1272,1272,[obj(point,euler(a,[b,c])),obj(point,incenter([a,b],c)),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1273,1273,[obj(point,euler(a,[b,c])),obj(point,incenter([a,b],c)),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1274,1274,[obj(point,euler(a,[b,c])),obj(point,incenter([a,b],c)),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1275,1275,[obj(point,euler(a,[b,c])),obj(point,incenter([a,b],c)),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1276,1276,[obj(point,euler(a,[b,c])),obj(point,incenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1277,1277,[obj(point,euler(a,[b,c])),obj(point,incenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1278,1278,[obj(point,euler(a,[b,c])),obj(point,incenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1279,1279,[obj(point,euler(a,[b,c])),obj(point,midpoint([b,c])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1280,1280,[obj(point,euler(a,[b,c])),obj(point,midpoint([b,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1281,1281,[obj(point,euler(a,[b,c])),obj(point,midpoint([b,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1282,1282,[obj(point,euler(a,[b,c])),obj(point,midpoint([b,c])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1283,1283,[obj(point,euler(a,[b,c])),obj(point,midpoint([b,c])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1284,1284,[obj(point,euler(a,[b,c])),obj(point,midpoint([b,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1285,1285,[obj(point,euler(a,[b,c])),obj(point,midpoint([b,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1286,1286,[obj(point,euler(a,[b,c])),obj(point,midpoint([a,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1287,1287,[obj(point,euler(a,[b,c])),obj(point,midpoint([a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1288,1288,[obj(point,euler(a,[b,c])),obj(point,midpoint([a,c])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1289,1289,[obj(point,euler(a,[b,c])),obj(point,midpoint([a,c])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1290,1290,[obj(point,euler(a,[b,c])),obj(point,midpoint([a,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1291,1291,[obj(point,euler(a,[b,c])),obj(point,midpoint([a,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1292,1292,[obj(point,euler(a,[b,c])),obj(point,midpoint([a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1293,1293,[obj(point,euler(a,[b,c])),obj(point,midpoint([a,b])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1294,1294,[obj(point,euler(a,[b,c])),obj(point,midpoint([a,b])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1295,1295,[obj(point,euler(a,[b,c])),obj(point,midpoint([a,b])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1296,1296,[obj(point,euler(a,[b,c])),obj(point,midpoint([a,b])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1297,1297,[obj(point,euler(a,[b,c])),obj(point,npcenter([a,b],c)),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1298,1298,[obj(point,euler(a,[b,c])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1299,1299,[obj(point,euler(a,[b,c])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1300,1300,[obj(point,euler(a,[b,c])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1301,1301,[obj(point,euler(a,[b,c])),obj(point,circumcenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1302,1302,[obj(point,euler(a,[b,c])),obj(point,circumcenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1303,1303,[obj(point,euler(a,[b,c])),obj(point,circumcenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1304,1304,[obj(point,euler(a,[b,c])),obj(point,angle_bis_foot(a,[b,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1305,1305,[obj(point,euler(a,[b,c])),obj(point,angle_bis_foot(a,[b,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1306,1306,[obj(point,euler(a,[b,c])),obj(point,angle_bis_foot(b,[a,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1307,1307,[obj(point,euler(b,[a,c])),obj(point,euler(c,[a,b])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1308,1308,[obj(point,euler(b,[a,c])),obj(point,euler(c,[a,b])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1309,1309,[obj(point,euler(b,[a,c])),obj(point,euler(c,[a,b])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1310,1310,[obj(point,euler(b,[a,c])),obj(point,euler(c,[a,b])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1311,1311,[obj(point,euler(b,[a,c])),obj(point,euler(c,[a,b])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1312,1312,[obj(point,euler(b,[a,c])),obj(point,euler(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1313,1313,[obj(point,euler(b,[a,c])),obj(point,euler(c,[a,b])),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1314,1314,[obj(point,euler(b,[a,c])),obj(point,euler(c,[a,b])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1315,1315,[obj(point,euler(b,[a,c])),obj(point,euler(c,[a,b])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1316,1316,[obj(point,euler(b,[a,c])),obj(point,euler(c,[a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1317,1317,[obj(point,euler(b,[a,c])),obj(point,euler(c,[a,b])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1318,1318,[obj(point,euler(b,[a,c])),obj(point,euler(c,[a,b])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1319,1319,[obj(point,euler(b,[a,c])),obj(point,euler(c,[a,b])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1320,1320,[obj(point,euler(b,[a,c])),obj(point,euler(c,[a,b])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1321,1321,[obj(point,euler(b,[a,c])),obj(point,centroid([a,b],c)),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1322,1322,[obj(point,euler(b,[a,c])),obj(point,centroid([a,b],c)),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1323,1323,[obj(point,euler(b,[a,c])),obj(point,centroid([a,b],c)),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1324,1324,[obj(point,euler(b,[a,c])),obj(point,centroid([a,b],c)),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1325,1325,[obj(point,euler(b,[a,c])),obj(point,centroid([a,b],c)),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1326,1326,[obj(point,euler(b,[a,c])),obj(point,centroid([a,b],c)),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1327,1327,[obj(point,euler(b,[a,c])),obj(point,centroid([a,b],c)),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1328,1328,[obj(point,euler(b,[a,c])),obj(point,centroid([a,b],c)),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1329,1329,[obj(point,euler(b,[a,c])),obj(point,centroid([a,b],c)),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1330,1330,[obj(point,euler(b,[a,c])),obj(point,centroid([a,b],c)),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1331,1331,[obj(point,euler(b,[a,c])),obj(point,centroid([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1332,1332,[obj(point,euler(b,[a,c])),obj(point,centroid([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1333,1333,[obj(point,euler(b,[a,c])),obj(point,centroid([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1334,1334,[obj(point,euler(b,[a,c])),obj(point,orthocenter([a,b],c)),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1335,1335,[obj(point,euler(b,[a,c])),obj(point,orthocenter([a,b],c)),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1336,1336,[obj(point,euler(b,[a,c])),obj(point,orthocenter([a,b],c)),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1337,1337,[obj(point,euler(b,[a,c])),obj(point,orthocenter([a,b],c)),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1338,1338,[obj(point,euler(b,[a,c])),obj(point,orthocenter([a,b],c)),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1339,1339,[obj(point,euler(b,[a,c])),obj(point,orthocenter([a,b],c)),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1340,1340,[obj(point,euler(b,[a,c])),obj(point,orthocenter([a,b],c)),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1341,1341,[obj(point,euler(b,[a,c])),obj(point,orthocenter([a,b],c)),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1342,1342,[obj(point,euler(b,[a,c])),obj(point,orthocenter([a,b],c)),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1343,1343,[obj(point,euler(b,[a,c])),obj(point,orthocenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1344,1344,[obj(point,euler(b,[a,c])),obj(point,orthocenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1345,1345,[obj(point,euler(b,[a,c])),obj(point,orthocenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1346,1346,[obj(point,euler(b,[a,c])),obj(point,foot(a,[b,c])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1347,1347,[obj(point,euler(b,[a,c])),obj(point,foot(a,[b,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1348,1348,[obj(point,euler(b,[a,c])),obj(point,foot(a,[b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1349,1349,[obj(point,euler(b,[a,c])),obj(point,foot(a,[b,c])),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1350,1350,[obj(point,euler(b,[a,c])),obj(point,foot(a,[b,c])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1351,1351,[obj(point,euler(b,[a,c])),obj(point,foot(a,[b,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1352,1352,[obj(point,euler(b,[a,c])),obj(point,foot(a,[b,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1353,1353,[obj(point,euler(b,[a,c])),obj(point,foot(a,[b,c])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1354,1354,[obj(point,euler(b,[a,c])),obj(point,foot(a,[b,c])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1355,1355,[obj(point,euler(b,[a,c])),obj(point,foot(a,[b,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1356,1356,[obj(point,euler(b,[a,c])),obj(point,foot(a,[b,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1357,1357,[obj(point,euler(b,[a,c])),obj(point,foot(b,[a,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1358,1358,[obj(point,euler(b,[a,c])),obj(point,foot(b,[a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1359,1359,[obj(point,euler(b,[a,c])),obj(point,foot(b,[a,c])),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1360,1360,[obj(point,euler(b,[a,c])),obj(point,foot(b,[a,c])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1361,1361,[obj(point,euler(b,[a,c])),obj(point,foot(b,[a,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1362,1362,[obj(point,euler(b,[a,c])),obj(point,foot(b,[a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1363,1363,[obj(point,euler(b,[a,c])),obj(point,foot(b,[a,c])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1364,1364,[obj(point,euler(b,[a,c])),obj(point,foot(b,[a,c])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1365,1365,[obj(point,euler(b,[a,c])),obj(point,foot(b,[a,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1366,1366,[obj(point,euler(b,[a,c])),obj(point,foot(b,[a,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1367,1367,[obj(point,euler(b,[a,c])),obj(point,foot(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1368,1368,[obj(point,euler(b,[a,c])),obj(point,foot(c,[a,b])),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1369,1369,[obj(point,euler(b,[a,c])),obj(point,foot(c,[a,b])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1370,1370,[obj(point,euler(b,[a,c])),obj(point,foot(c,[a,b])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1371,1371,[obj(point,euler(b,[a,c])),obj(point,foot(c,[a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1372,1372,[obj(point,euler(b,[a,c])),obj(point,foot(c,[a,b])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1373,1373,[obj(point,euler(b,[a,c])),obj(point,foot(c,[a,b])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1374,1374,[obj(point,euler(b,[a,c])),obj(point,foot(c,[a,b])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1375,1375,[obj(point,euler(b,[a,c])),obj(point,foot(c,[a,b])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1376,1376,[obj(point,euler(b,[a,c])),obj(point,incenter([a,b],c)),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1377,1377,[obj(point,euler(b,[a,c])),obj(point,incenter([a,b],c)),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1378,1378,[obj(point,euler(b,[a,c])),obj(point,incenter([a,b],c)),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1379,1379,[obj(point,euler(b,[a,c])),obj(point,incenter([a,b],c)),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1380,1380,[obj(point,euler(b,[a,c])),obj(point,incenter([a,b],c)),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1381,1381,[obj(point,euler(b,[a,c])),obj(point,incenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1382,1382,[obj(point,euler(b,[a,c])),obj(point,incenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1383,1383,[obj(point,euler(b,[a,c])),obj(point,incenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1384,1384,[obj(point,euler(b,[a,c])),obj(point,midpoint([b,c])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1385,1385,[obj(point,euler(b,[a,c])),obj(point,midpoint([b,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1386,1386,[obj(point,euler(b,[a,c])),obj(point,midpoint([b,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1387,1387,[obj(point,euler(b,[a,c])),obj(point,midpoint([b,c])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1388,1388,[obj(point,euler(b,[a,c])),obj(point,midpoint([b,c])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1389,1389,[obj(point,euler(b,[a,c])),obj(point,midpoint([b,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1390,1390,[obj(point,euler(b,[a,c])),obj(point,midpoint([b,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1391,1391,[obj(point,euler(b,[a,c])),obj(point,midpoint([a,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1392,1392,[obj(point,euler(b,[a,c])),obj(point,midpoint([a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1393,1393,[obj(point,euler(b,[a,c])),obj(point,midpoint([a,c])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1394,1394,[obj(point,euler(b,[a,c])),obj(point,midpoint([a,c])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1395,1395,[obj(point,euler(b,[a,c])),obj(point,midpoint([a,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1396,1396,[obj(point,euler(b,[a,c])),obj(point,midpoint([a,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1397,1397,[obj(point,euler(b,[a,c])),obj(point,midpoint([a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1398,1398,[obj(point,euler(b,[a,c])),obj(point,midpoint([a,b])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1399,1399,[obj(point,euler(b,[a,c])),obj(point,midpoint([a,b])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1400,1400,[obj(point,euler(b,[a,c])),obj(point,midpoint([a,b])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1401,1401,[obj(point,euler(b,[a,c])),obj(point,midpoint([a,b])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1402,1402,[obj(point,euler(b,[a,c])),obj(point,npcenter([a,b],c)),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1403,1403,[obj(point,euler(b,[a,c])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1404,1404,[obj(point,euler(b,[a,c])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1405,1405,[obj(point,euler(b,[a,c])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1406,1406,[obj(point,euler(b,[a,c])),obj(point,circumcenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1407,1407,[obj(point,euler(b,[a,c])),obj(point,circumcenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1408,1408,[obj(point,euler(b,[a,c])),obj(point,circumcenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1409,1409,[obj(point,euler(b,[a,c])),obj(point,angle_bis_foot(a,[b,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1410,1410,[obj(point,euler(b,[a,c])),obj(point,angle_bis_foot(a,[b,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1411,1411,[obj(point,euler(b,[a,c])),obj(point,angle_bis_foot(b,[a,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1412,1412,[obj(point,euler(c,[a,b])),obj(point,centroid([a,b],c)),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1413,1413,[obj(point,euler(c,[a,b])),obj(point,centroid([a,b],c)),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1414,1414,[obj(point,euler(c,[a,b])),obj(point,centroid([a,b],c)),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1415,1415,[obj(point,euler(c,[a,b])),obj(point,centroid([a,b],c)),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1416,1416,[obj(point,euler(c,[a,b])),obj(point,centroid([a,b],c)),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1417,1417,[obj(point,euler(c,[a,b])),obj(point,centroid([a,b],c)),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1418,1418,[obj(point,euler(c,[a,b])),obj(point,centroid([a,b],c)),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1419,1419,[obj(point,euler(c,[a,b])),obj(point,centroid([a,b],c)),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1420,1420,[obj(point,euler(c,[a,b])),obj(point,centroid([a,b],c)),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1421,1421,[obj(point,euler(c,[a,b])),obj(point,centroid([a,b],c)),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1422,1422,[obj(point,euler(c,[a,b])),obj(point,centroid([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1423,1423,[obj(point,euler(c,[a,b])),obj(point,centroid([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1424,1424,[obj(point,euler(c,[a,b])),obj(point,centroid([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1425,1425,[obj(point,euler(c,[a,b])),obj(point,orthocenter([a,b],c)),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1426,1426,[obj(point,euler(c,[a,b])),obj(point,orthocenter([a,b],c)),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1427,1427,[obj(point,euler(c,[a,b])),obj(point,orthocenter([a,b],c)),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1428,1428,[obj(point,euler(c,[a,b])),obj(point,orthocenter([a,b],c)),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1429,1429,[obj(point,euler(c,[a,b])),obj(point,orthocenter([a,b],c)),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1430,1430,[obj(point,euler(c,[a,b])),obj(point,orthocenter([a,b],c)),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1431,1431,[obj(point,euler(c,[a,b])),obj(point,orthocenter([a,b],c)),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1432,1432,[obj(point,euler(c,[a,b])),obj(point,orthocenter([a,b],c)),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1433,1433,[obj(point,euler(c,[a,b])),obj(point,orthocenter([a,b],c)),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1434,1434,[obj(point,euler(c,[a,b])),obj(point,orthocenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1435,1435,[obj(point,euler(c,[a,b])),obj(point,orthocenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1436,1436,[obj(point,euler(c,[a,b])),obj(point,orthocenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1437,1437,[obj(point,euler(c,[a,b])),obj(point,foot(a,[b,c])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1438,1438,[obj(point,euler(c,[a,b])),obj(point,foot(a,[b,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1439,1439,[obj(point,euler(c,[a,b])),obj(point,foot(a,[b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1440,1440,[obj(point,euler(c,[a,b])),obj(point,foot(a,[b,c])),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1441,1441,[obj(point,euler(c,[a,b])),obj(point,foot(a,[b,c])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1442,1442,[obj(point,euler(c,[a,b])),obj(point,foot(a,[b,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1443,1443,[obj(point,euler(c,[a,b])),obj(point,foot(a,[b,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1444,1444,[obj(point,euler(c,[a,b])),obj(point,foot(a,[b,c])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1445,1445,[obj(point,euler(c,[a,b])),obj(point,foot(a,[b,c])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1446,1446,[obj(point,euler(c,[a,b])),obj(point,foot(a,[b,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1447,1447,[obj(point,euler(c,[a,b])),obj(point,foot(a,[b,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1448,1448,[obj(point,euler(c,[a,b])),obj(point,foot(b,[a,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1449,1449,[obj(point,euler(c,[a,b])),obj(point,foot(b,[a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1450,1450,[obj(point,euler(c,[a,b])),obj(point,foot(b,[a,c])),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1451,1451,[obj(point,euler(c,[a,b])),obj(point,foot(b,[a,c])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1452,1452,[obj(point,euler(c,[a,b])),obj(point,foot(b,[a,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1453,1453,[obj(point,euler(c,[a,b])),obj(point,foot(b,[a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1454,1454,[obj(point,euler(c,[a,b])),obj(point,foot(b,[a,c])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1455,1455,[obj(point,euler(c,[a,b])),obj(point,foot(b,[a,c])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1456,1456,[obj(point,euler(c,[a,b])),obj(point,foot(b,[a,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1457,1457,[obj(point,euler(c,[a,b])),obj(point,foot(b,[a,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1458,1458,[obj(point,euler(c,[a,b])),obj(point,foot(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1459,1459,[obj(point,euler(c,[a,b])),obj(point,foot(c,[a,b])),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1460,1460,[obj(point,euler(c,[a,b])),obj(point,foot(c,[a,b])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1461,1461,[obj(point,euler(c,[a,b])),obj(point,foot(c,[a,b])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1462,1462,[obj(point,euler(c,[a,b])),obj(point,foot(c,[a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1463,1463,[obj(point,euler(c,[a,b])),obj(point,foot(c,[a,b])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1464,1464,[obj(point,euler(c,[a,b])),obj(point,foot(c,[a,b])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1465,1465,[obj(point,euler(c,[a,b])),obj(point,foot(c,[a,b])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1466,1466,[obj(point,euler(c,[a,b])),obj(point,foot(c,[a,b])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1467,1467,[obj(point,euler(c,[a,b])),obj(point,incenter([a,b],c)),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1468,1468,[obj(point,euler(c,[a,b])),obj(point,incenter([a,b],c)),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1469,1469,[obj(point,euler(c,[a,b])),obj(point,incenter([a,b],c)),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1470,1470,[obj(point,euler(c,[a,b])),obj(point,incenter([a,b],c)),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1471,1471,[obj(point,euler(c,[a,b])),obj(point,incenter([a,b],c)),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1472,1472,[obj(point,euler(c,[a,b])),obj(point,incenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1473,1473,[obj(point,euler(c,[a,b])),obj(point,incenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1474,1474,[obj(point,euler(c,[a,b])),obj(point,incenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1475,1475,[obj(point,euler(c,[a,b])),obj(point,midpoint([b,c])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1476,1476,[obj(point,euler(c,[a,b])),obj(point,midpoint([b,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1477,1477,[obj(point,euler(c,[a,b])),obj(point,midpoint([b,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1478,1478,[obj(point,euler(c,[a,b])),obj(point,midpoint([b,c])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1479,1479,[obj(point,euler(c,[a,b])),obj(point,midpoint([b,c])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1480,1480,[obj(point,euler(c,[a,b])),obj(point,midpoint([b,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1481,1481,[obj(point,euler(c,[a,b])),obj(point,midpoint([b,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1482,1482,[obj(point,euler(c,[a,b])),obj(point,midpoint([a,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1483,1483,[obj(point,euler(c,[a,b])),obj(point,midpoint([a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1484,1484,[obj(point,euler(c,[a,b])),obj(point,midpoint([a,c])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1485,1485,[obj(point,euler(c,[a,b])),obj(point,midpoint([a,c])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1486,1486,[obj(point,euler(c,[a,b])),obj(point,midpoint([a,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1487,1487,[obj(point,euler(c,[a,b])),obj(point,midpoint([a,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1488,1488,[obj(point,euler(c,[a,b])),obj(point,midpoint([a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1489,1489,[obj(point,euler(c,[a,b])),obj(point,midpoint([a,b])),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1490,1490,[obj(point,euler(c,[a,b])),obj(point,midpoint([a,b])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1491,1491,[obj(point,euler(c,[a,b])),obj(point,midpoint([a,b])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1492,1492,[obj(point,euler(c,[a,b])),obj(point,midpoint([a,b])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1493,1493,[obj(point,euler(c,[a,b])),obj(point,npcenter([a,b],c)),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1494,1494,[obj(point,euler(c,[a,b])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1495,1495,[obj(point,euler(c,[a,b])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1496,1496,[obj(point,euler(c,[a,b])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1497,1497,[obj(point,euler(c,[a,b])),obj(point,circumcenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1498,1498,[obj(point,euler(c,[a,b])),obj(point,circumcenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1499,1499,[obj(point,euler(c,[a,b])),obj(point,circumcenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1500,1500,[obj(point,euler(c,[a,b])),obj(point,angle_bis_foot(a,[b,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1501,1501,[obj(point,euler(c,[a,b])),obj(point,angle_bis_foot(a,[b,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1502,1502,[obj(point,euler(c,[a,b])),obj(point,angle_bis_foot(b,[a,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1503,1503,[obj(point,centroid([a,b],c)),obj(point,orthocenter([a,b],c)),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1504,1504,[obj(point,centroid([a,b],c)),obj(point,foot(a,[b,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1505,1505,[obj(point,centroid([a,b],c)),obj(point,foot(b,[a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1506,1506,[obj(point,centroid([a,b],c)),obj(point,foot(c,[a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1507,1507,[obj(point,centroid([a,b],c)),obj(point,incenter([a,b],c)),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1508,1508,[obj(point,centroid([a,b],c)),obj(point,midpoint([b,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1509,1509,[obj(point,centroid([a,b],c)),obj(point,midpoint([a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1510,1510,[obj(point,centroid([a,b],c)),obj(point,midpoint([a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1511,1511,[obj(point,centroid([a,b],c)),obj(point,npcenter([a,b],c)),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1512,1512,[obj(point,centroid([a,b],c)),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1513,1513,[obj(point,centroid([a,b],c)),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1514,1514,[obj(point,centroid([a,b],c)),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1515,1515,[obj(point,orthocenter([a,b],c)),obj(point,foot(a,[b,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1516,1516,[obj(point,orthocenter([a,b],c)),obj(point,foot(b,[a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1517,1517,[obj(point,orthocenter([a,b],c)),obj(point,foot(c,[a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1518,1518,[obj(point,orthocenter([a,b],c)),obj(point,incenter([a,b],c)),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1519,1519,[obj(point,orthocenter([a,b],c)),obj(point,midpoint([b,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1520,1520,[obj(point,orthocenter([a,b],c)),obj(point,midpoint([a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1521,1521,[obj(point,orthocenter([a,b],c)),obj(point,midpoint([a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1522,1522,[obj(point,orthocenter([a,b],c)),obj(point,npcenter([a,b],c)),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1523,1523,[obj(point,orthocenter([a,b],c)),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1524,1524,[obj(point,orthocenter([a,b],c)),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1525,1525,[obj(point,orthocenter([a,b],c)),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1526,1526,[obj(point,foot(a,[b,c])),obj(point,foot(b,[a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1527,1527,[obj(point,foot(a,[b,c])),obj(point,foot(c,[a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1528,1528,[obj(point,foot(a,[b,c])),obj(point,incenter([a,b],c)),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1529,1529,[obj(point,foot(a,[b,c])),obj(point,midpoint([b,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1530,1530,[obj(point,foot(a,[b,c])),obj(point,midpoint([a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1531,1531,[obj(point,foot(a,[b,c])),obj(point,midpoint([a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1532,1532,[obj(point,foot(a,[b,c])),obj(point,npcenter([a,b],c)),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1533,1533,[obj(point,foot(a,[b,c])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1534,1534,[obj(point,foot(a,[b,c])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1535,1535,[obj(point,foot(a,[b,c])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1536,1536,[obj(point,foot(b,[a,c])),obj(point,foot(c,[a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1537,1537,[obj(point,foot(b,[a,c])),obj(point,incenter([a,b],c)),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1538,1538,[obj(point,foot(b,[a,c])),obj(point,midpoint([b,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1539,1539,[obj(point,foot(b,[a,c])),obj(point,midpoint([a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1540,1540,[obj(point,foot(b,[a,c])),obj(point,midpoint([a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1541,1541,[obj(point,foot(b,[a,c])),obj(point,npcenter([a,b],c)),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1542,1542,[obj(point,foot(b,[a,c])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1543,1543,[obj(point,foot(b,[a,c])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1544,1544,[obj(point,foot(b,[a,c])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1545,1545,[obj(point,foot(c,[a,b])),obj(point,incenter([a,b],c)),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1546,1546,[obj(point,foot(c,[a,b])),obj(point,midpoint([b,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1547,1547,[obj(point,foot(c,[a,b])),obj(point,midpoint([a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1548,1548,[obj(point,foot(c,[a,b])),obj(point,midpoint([a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1549,1549,[obj(point,foot(c,[a,b])),obj(point,npcenter([a,b],c)),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1550,1550,[obj(point,foot(c,[a,b])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1551,1551,[obj(point,foot(c,[a,b])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1552,1552,[obj(point,foot(c,[a,b])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1553,1553,[obj(point,incenter([a,b],c)),obj(point,midpoint([b,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1554,1554,[obj(point,incenter([a,b],c)),obj(point,midpoint([a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1555,1555,[obj(point,incenter([a,b],c)),obj(point,midpoint([a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1556,1556,[obj(point,incenter([a,b],c)),obj(point,npcenter([a,b],c)),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1557,1557,[obj(point,incenter([a,b],c)),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1558,1558,[obj(point,incenter([a,b],c)),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1559,1559,[obj(point,incenter([a,b],c)),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1560,1560,[obj(point,midpoint([b,c])),obj(point,midpoint([a,c])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1561,1561,[obj(point,midpoint([b,c])),obj(point,midpoint([a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1562,1562,[obj(point,midpoint([b,c])),obj(point,npcenter([a,b],c)),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1563,1563,[obj(point,midpoint([b,c])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1564,1564,[obj(point,midpoint([b,c])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1565,1565,[obj(point,midpoint([b,c])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1566,1566,[obj(point,midpoint([a,c])),obj(point,midpoint([a,b])),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1567,1567,[obj(point,midpoint([a,c])),obj(point,npcenter([a,b],c)),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1568,1568,[obj(point,midpoint([a,c])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1569,1569,[obj(point,midpoint([a,c])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1570,1570,[obj(point,midpoint([a,c])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1571,1571,[obj(point,midpoint([a,b])),obj(point,npcenter([a,b],c)),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1572,1572,[obj(point,midpoint([a,b])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1573,1573,[obj(point,midpoint([a,b])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1574,1574,[obj(point,midpoint([a,b])),obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1575,1575,[obj(point,npcenter([a,b],c)),obj(point,circumcenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1576,1576,[obj(point,npcenter([a,b],c)),obj(point,circumcenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1577,1577,[obj(point,npcenter([a,b],c)),obj(point,circumcenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1578,1578,[obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1579,1579,[obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(1580,1580,[obj(point,npcenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
