:- multifile problem_setting/4.


problem_setting(561,561,[obj(point,a),obj(point,b),obj(point,euler(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(562,562,[obj(point,a),obj(point,b),obj(point,euler(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(563,563,[obj(point,a),obj(point,b),obj(point,euler(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(564,564,[obj(point,a),obj(point,b),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(565,565,[obj(point,a),obj(point,c),obj(point,euler(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(566,566,[obj(point,a),obj(point,c),obj(point,euler(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(567,567,[obj(point,a),obj(point,c),obj(point,euler(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(568,568,[obj(point,a),obj(point,c),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(569,569,[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(570,570,[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(571,571,[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(572,572,[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(573,573,[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(574,574,[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(575,575,[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(576,576,[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(577,577,[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(578,578,[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(579,579,[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(580,580,[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(581,581,[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(582,582,[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(583,583,[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(584,584,[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(585,585,[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(586,586,[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(587,587,[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(588,588,[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(589,589,[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(590,590,[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(591,591,[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(592,592,[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(593,593,[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(594,594,[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(595,595,[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(596,596,[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(597,597,[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(598,598,[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(599,599,[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(600,600,[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(601,601,[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(602,602,[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(603,603,[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(604,604,[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(605,605,[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(606,606,[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(607,607,[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(608,608,[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(609,609,[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(610,610,[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(611,611,[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(612,612,[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(613,613,[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(614,614,[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(615,615,[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(616,616,[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(617,617,[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(618,618,[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(619,619,[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(620,620,[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(621,621,[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(622,622,[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(623,623,[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(624,624,[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(625,625,[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(626,626,[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(627,627,[obj(point,b),obj(point,c),obj(point,euler(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(628,628,[obj(point,b),obj(point,c),obj(point,euler(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(629,629,[obj(point,b),obj(point,c),obj(point,euler(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(630,630,[obj(point,b),obj(point,c),obj(point,npcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(631,631,[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(632,632,[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(633,633,[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(634,634,[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(635,635,[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(636,636,[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(637,637,[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(638,638,[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(639,639,[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(640,640,[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(641,641,[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(642,642,[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(643,643,[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(644,644,[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(645,645,[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(646,646,[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(647,647,[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(648,648,[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(649,649,[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(650,650,[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(651,651,[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(652,652,[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(653,653,[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(654,654,[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(655,655,[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(656,656,[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(657,657,[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(658,658,[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(659,659,[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(660,660,[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(661,661,[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(662,662,[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(663,663,[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(664,664,[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(665,665,[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(666,666,[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(667,667,[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(668,668,[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(669,669,[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(670,670,[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(671,671,[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(672,672,[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(673,673,[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(674,674,[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(675,675,[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(676,676,[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(677,677,[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(678,678,[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(679,679,[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(680,680,[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(681,681,[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(682,682,[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(683,683,[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(684,684,[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(685,685,[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(686,686,[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(687,687,[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(688,688,[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(689,689,[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(690,690,[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(691,691,[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(692,692,[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(693,693,[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(694,694,[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(695,695,[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(696,696,[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(697,697,[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(698,698,[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(699,699,[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(700,700,[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(701,701,[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(702,702,[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(703,703,[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(704,704,[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(705,705,[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(706,706,[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(707,707,[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(708,708,[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(709,709,[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(710,710,[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(711,711,[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(712,712,[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(713,713,[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(714,714,[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(715,715,[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(716,716,[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(717,717,[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(718,718,[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(719,719,[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(720,720,[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(721,721,[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(722,722,[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(723,723,[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(724,724,[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(725,725,[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(726,726,[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(727,727,[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(728,728,[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(729,729,[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(730,730,[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(731,731,[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(732,732,[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(733,733,[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(734,734,[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(735,735,[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(736,736,[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(737,737,[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(738,738,[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(739,739,[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(740,740,[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(741,741,[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(742,742,[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(743,743,[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(744,744,[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(745,745,[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(746,746,[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(747,747,[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(748,748,[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(749,749,[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(750,750,[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(751,751,[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(752,752,[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(753,753,[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(754,754,[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(755,755,[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(756,756,[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(757,757,[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(758,758,[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(759,759,[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(760,760,[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(761,761,[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(762,762,[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(763,763,[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(764,764,[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(765,765,[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(766,766,[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(767,767,[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(768,768,[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(769,769,[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(770,770,[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(771,771,[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(772,772,[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(773,773,[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(774,774,[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(775,775,[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(776,776,[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(777,777,[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(778,778,[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(779,779,[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(780,780,[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(781,781,[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(782,782,[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(783,783,[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(784,784,[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(785,785,[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(786,786,[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(787,787,[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(788,788,[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(789,789,[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(790,790,[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(791,791,[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(792,792,[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(793,793,[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(794,794,[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(795,795,[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(796,796,[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(797,797,[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(798,798,[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(799,799,[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(800,800,[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(801,801,[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(802,802,[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(803,803,[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(804,804,[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(805,805,[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(806,806,[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(807,807,[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(808,808,[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(809,809,[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(810,810,[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(811,811,[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(812,812,[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(813,813,[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(814,814,[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(815,815,[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(816,816,[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(817,817,[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(818,818,[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(819,819,[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(820,820,[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(821,821,[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(822,822,[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(823,823,[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(824,824,[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(825,825,[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(826,826,[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(827,827,[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(828,828,[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(829,829,[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(830,830,[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(831,831,[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(832,832,[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(833,833,[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(834,834,[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(835,835,[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(836,836,[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(837,837,[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(838,838,[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(839,839,[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(840,840,[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(841,841,[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(842,842,[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(843,843,[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(844,844,[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(845,845,[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(846,846,[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(847,847,[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(848,848,[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(849,849,[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(850,850,[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(851,851,[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(852,852,[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(853,853,[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(854,854,[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(855,855,[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(856,856,[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(857,857,[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(858,858,[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(859,859,[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(860,860,[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(861,861,[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(862,862,[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(863,863,[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(864,864,[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(865,865,[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(866,866,[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(867,867,[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(868,868,[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(869,869,[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(870,870,[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(871,871,[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(872,872,[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(873,873,[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(874,874,[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(875,875,[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(876,876,[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(877,877,[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(878,878,[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(879,879,[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(880,880,[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(881,881,[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(882,882,[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(883,883,[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(884,884,[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(885,885,[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(886,886,[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(887,887,[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(888,888,[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(889,889,[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(890,890,[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(891,891,[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(892,892,[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(893,893,[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(894,894,[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(895,895,[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(896,896,[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(897,897,[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(898,898,[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(899,899,[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(900,900,[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(901,901,[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(902,902,[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(903,903,[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(904,904,[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(905,905,[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(906,906,[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(907,907,[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(908,908,[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(909,909,[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(910,910,[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(911,911,[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(912,912,[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(913,913,[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(914,914,[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(915,915,[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(916,916,[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(917,917,[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(918,918,[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(919,919,[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(920,920,[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(921,921,[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(922,922,[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(923,923,[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(924,924,[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(925,925,[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(926,926,[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(927,927,[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(928,928,[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(929,929,[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(930,930,[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(931,931,[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(932,932,[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(933,933,[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(934,934,[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(935,935,[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(936,936,[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(937,937,[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(938,938,[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(939,939,[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(940,940,[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(941,941,[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(942,942,[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(943,943,[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(944,944,[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(945,945,[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(946,946,[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(947,947,[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(948,948,[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(949,949,[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(950,950,[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(951,951,[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(952,952,[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(953,953,[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(954,954,[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(955,955,[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(956,956,[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(957,957,[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(958,958,[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(959,959,[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(960,960,[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(961,961,[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(962,962,[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(963,963,[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(964,964,[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(965,965,[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(966,966,[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(967,967,[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(968,968,[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(969,969,[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(970,970,[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(971,971,[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(972,972,[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(973,973,[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(974,974,[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(975,975,[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(976,976,[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(977,977,[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(978,978,[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(979,979,[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(980,980,[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(981,981,[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(982,982,[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(983,983,[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(984,984,[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(985,985,[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(986,986,[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(987,987,[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(988,988,[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(989,989,[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(990,990,[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(991,991,[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(992,992,[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(993,993,[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(994,994,[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(995,995,[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(996,996,[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(997,997,[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(998,998,[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(999,999,[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(1000,1000,[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(1001,1001,[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(1002,1002,[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(1003,1003,[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(1004,1004,[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(1005,1005,[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(1006,1006,[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(1007,1007,[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(1008,1008,[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(1009,1009,[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(1010,1010,[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(1011,1011,[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(1012,1012,[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(1013,1013,[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(1014,1014,[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(1015,1015,[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(1016,1016,[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(1017,1017,[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(1018,1018,[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(1019,1019,[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(1020,1020,[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(1021,1021,[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(1022,1022,[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(1023,1023,[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(1024,1024,[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(1025,1025,[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(1026,1026,[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(1027,1027,[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(1028,1028,[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(1029,1029,[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(1030,1030,[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(1031,1031,[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(1032,1032,[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(1033,1033,[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(1034,1034,[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(1035,1035,[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(1036,1036,[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(1037,1037,[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(1038,1038,[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(1039,1039,[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(1040,1040,[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(1041,1041,[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(1042,1042,[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(1043,1043,[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(1044,1044,[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(1045,1045,[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(1046,1046,[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(1047,1047,[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(1048,1048,[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(1049,1049,[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(1050,1050,[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(1051,1051,[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(1052,1052,[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(1053,1053,[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(1054,1054,[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(1055,1055,[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(1056,1056,[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(1057,1057,[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(1058,1058,[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(1059,1059,[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(1060,1060,[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(1061,1061,[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(1062,1062,[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(1063,1063,[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(1064,1064,[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(1065,1065,[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(1066,1066,[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(1067,1067,[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(1068,1068,[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(1069,1069,[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(1070,1070,[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(1071,1071,[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(1072,1072,[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(1073,1073,[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(1074,1074,[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(1075,1075,[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(1076,1076,[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(1077,1077,[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(1078,1078,[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(1079,1079,[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(1080,1080,[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(1081,1081,[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(1082,1082,[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(1083,1083,[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(1084,1084,[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(1085,1085,[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(1086,1086,[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(1087,1087,[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(1088,1088,[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(1089,1089,[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(1090,1090,[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(1091,1091,[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(1092,1092,[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(1093,1093,[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(1094,1094,[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(1095,1095,[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(1096,1096,[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(1097,1097,[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(1098,1098,[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(1099,1099,[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(1100,1100,[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(1101,1101,[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(1102,1102,[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(1103,1103,[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(1104,1104,[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(1105,1105,[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(1106,1106,[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(1107,1107,[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(1108,1108,[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(1109,1109,[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(1110,1110,[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(1111,1111,[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(1112,1112,[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(1113,1113,[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(1114,1114,[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(1115,1115,[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(1116,1116,[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(1117,1117,[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(1118,1118,[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(1119,1119,[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(1120,1120,[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(1121,1121,[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(1122,1122,[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(1123,1123,[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(1124,1124,[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(1125,1125,[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(1126,1126,[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(1127,1127,[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(1128,1128,[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(1129,1129,[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(1130,1130,[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(1131,1131,[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(1132,1132,[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(1133,1133,[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(1134,1134,[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(1135,1135,[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(1136,1136,[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(1137,1137,[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(1138,1138,[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(1139,1139,[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(1140,1140,[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)]).
