:- multifile problem_setting/4.


problem_setting(1,1,[obj(point,a),obj(point,b),obj(point,c)],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(2,2,[obj(point,a),obj(point,b),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(3,3,[obj(point,a),obj(point,b),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(4,4,[obj(point,a),obj(point,b),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(5,5,[obj(point,a),obj(point,b),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(6,6,[obj(point,a),obj(point,b),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(7,7,[obj(point,a),obj(point,b),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(8,8,[obj(point,a),obj(point,b),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(9,9,[obj(point,a),obj(point,b),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(10,10,[obj(point,a),obj(point,b),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(11,11,[obj(point,a),obj(point,b),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(12,12,[obj(point,a),obj(point,b),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(13,13,[obj(point,a),obj(point,b),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(14,14,[obj(point,a),obj(point,b),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(15,15,[obj(point,a),obj(point,c),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(16,16,[obj(point,a),obj(point,c),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(17,17,[obj(point,a),obj(point,c),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(18,18,[obj(point,a),obj(point,c),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(19,19,[obj(point,a),obj(point,c),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(20,20,[obj(point,a),obj(point,c),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(21,21,[obj(point,a),obj(point,c),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(22,22,[obj(point,a),obj(point,c),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(23,23,[obj(point,a),obj(point,c),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(24,24,[obj(point,a),obj(point,c),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(25,25,[obj(point,a),obj(point,c),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(26,26,[obj(point,a),obj(point,c),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(27,27,[obj(point,a),obj(point,c),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(28,28,[obj(point,a),obj(point,circumcenter([a,b],c)),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(29,29,[obj(point,a),obj(point,circumcenter([a,b],c)),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(30,30,[obj(point,a),obj(point,circumcenter([a,b],c)),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(31,31,[obj(point,a),obj(point,circumcenter([a,b],c)),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(32,32,[obj(point,a),obj(point,circumcenter([a,b],c)),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(33,33,[obj(point,a),obj(point,circumcenter([a,b],c)),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(34,34,[obj(point,a),obj(point,circumcenter([a,b],c)),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(35,35,[obj(point,a),obj(point,circumcenter([a,b],c)),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(36,36,[obj(point,a),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(37,37,[obj(point,a),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(38,38,[obj(point,a),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(39,39,[obj(point,a),obj(point,circumcenter([a,b],c)),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(40,40,[obj(point,a),obj(point,midpoint([b,c])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(41,41,[obj(point,a),obj(point,midpoint([b,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(42,42,[obj(point,a),obj(point,midpoint([b,c])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(43,43,[obj(point,a),obj(point,midpoint([b,c])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(44,44,[obj(point,a),obj(point,midpoint([b,c])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(45,45,[obj(point,a),obj(point,midpoint([b,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(46,46,[obj(point,a),obj(point,midpoint([b,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(47,47,[obj(point,a),obj(point,midpoint([b,c])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(48,48,[obj(point,a),obj(point,midpoint([b,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(49,49,[obj(point,a),obj(point,midpoint([b,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(50,50,[obj(point,a),obj(point,midpoint([b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(51,51,[obj(point,a),obj(point,midpoint([a,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(52,52,[obj(point,a),obj(point,midpoint([a,c])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(53,53,[obj(point,a),obj(point,midpoint([a,c])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(54,54,[obj(point,a),obj(point,midpoint([a,c])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(55,55,[obj(point,a),obj(point,midpoint([a,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(56,56,[obj(point,a),obj(point,midpoint([a,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(57,57,[obj(point,a),obj(point,midpoint([a,c])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(58,58,[obj(point,a),obj(point,midpoint([a,c])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(59,59,[obj(point,a),obj(point,midpoint([a,c])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(60,60,[obj(point,a),obj(point,midpoint([a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(61,61,[obj(point,a),obj(point,midpoint([a,b])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(62,62,[obj(point,a),obj(point,midpoint([a,b])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(63,63,[obj(point,a),obj(point,midpoint([a,b])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(64,64,[obj(point,a),obj(point,midpoint([a,b])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(65,65,[obj(point,a),obj(point,midpoint([a,b])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(66,66,[obj(point,a),obj(point,midpoint([a,b])),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(67,67,[obj(point,a),obj(point,midpoint([a,b])),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(68,68,[obj(point,a),obj(point,midpoint([a,b])),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(69,69,[obj(point,a),obj(point,midpoint([a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(70,70,[obj(point,a),obj(point,centroid([a,b],c)),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(71,71,[obj(point,a),obj(point,centroid([a,b],c)),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(72,72,[obj(point,a),obj(point,centroid([a,b],c)),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(73,73,[obj(point,a),obj(point,centroid([a,b],c)),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(74,74,[obj(point,a),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(75,75,[obj(point,a),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(76,76,[obj(point,a),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(77,77,[obj(point,a),obj(point,centroid([a,b],c)),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(78,78,[obj(point,a),obj(point,foot(a,[b,c])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(79,79,[obj(point,a),obj(point,foot(a,[b,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(80,80,[obj(point,a),obj(point,foot(a,[b,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(81,81,[obj(point,a),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(82,82,[obj(point,a),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(83,83,[obj(point,a),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(84,84,[obj(point,a),obj(point,foot(a,[b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(85,85,[obj(point,a),obj(point,foot(b,[a,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(86,86,[obj(point,a),obj(point,foot(b,[a,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(87,87,[obj(point,a),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(88,88,[obj(point,a),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(89,89,[obj(point,a),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(90,90,[obj(point,a),obj(point,foot(b,[a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(91,91,[obj(point,a),obj(point,foot(c,[a,b])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(92,92,[obj(point,a),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(93,93,[obj(point,a),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(94,94,[obj(point,a),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(95,95,[obj(point,a),obj(point,foot(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(96,96,[obj(point,a),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(97,97,[obj(point,a),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(98,98,[obj(point,a),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(99,99,[obj(point,a),obj(point,orthocenter([a,b],c)),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(100,100,[obj(point,a),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(101,101,[obj(point,a),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(102,102,[obj(point,a),obj(point,angle_bis_foot(a,[b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(103,103,[obj(point,a),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(104,104,[obj(point,a),obj(point,angle_bis_foot(b,[a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(105,105,[obj(point,a),obj(point,angle_bis_foot(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(106,106,[obj(point,b),obj(point,c),obj(point,circumcenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(107,107,[obj(point,b),obj(point,c),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(108,108,[obj(point,b),obj(point,c),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(109,109,[obj(point,b),obj(point,c),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(110,110,[obj(point,b),obj(point,c),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(111,111,[obj(point,b),obj(point,c),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(112,112,[obj(point,b),obj(point,c),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(113,113,[obj(point,b),obj(point,c),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(114,114,[obj(point,b),obj(point,c),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(115,115,[obj(point,b),obj(point,c),obj(point,angle_bis_foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(116,116,[obj(point,b),obj(point,c),obj(point,angle_bis_foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(117,117,[obj(point,b),obj(point,c),obj(point,angle_bis_foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(118,118,[obj(point,b),obj(point,c),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(119,119,[obj(point,b),obj(point,circumcenter([a,b],c)),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(120,120,[obj(point,b),obj(point,circumcenter([a,b],c)),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(121,121,[obj(point,b),obj(point,circumcenter([a,b],c)),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(122,122,[obj(point,b),obj(point,circumcenter([a,b],c)),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(123,123,[obj(point,b),obj(point,circumcenter([a,b],c)),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(124,124,[obj(point,b),obj(point,circumcenter([a,b],c)),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(125,125,[obj(point,b),obj(point,circumcenter([a,b],c)),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(126,126,[obj(point,b),obj(point,circumcenter([a,b],c)),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(127,127,[obj(point,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(128,128,[obj(point,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(129,129,[obj(point,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(130,130,[obj(point,b),obj(point,circumcenter([a,b],c)),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(131,131,[obj(point,b),obj(point,midpoint([b,c])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(132,132,[obj(point,b),obj(point,midpoint([b,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(133,133,[obj(point,b),obj(point,midpoint([b,c])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(134,134,[obj(point,b),obj(point,midpoint([b,c])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(135,135,[obj(point,b),obj(point,midpoint([b,c])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(136,136,[obj(point,b),obj(point,midpoint([b,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(137,137,[obj(point,b),obj(point,midpoint([b,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(138,138,[obj(point,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(139,139,[obj(point,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(140,140,[obj(point,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(141,141,[obj(point,b),obj(point,midpoint([b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(142,142,[obj(point,b),obj(point,midpoint([a,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(143,143,[obj(point,b),obj(point,midpoint([a,c])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(144,144,[obj(point,b),obj(point,midpoint([a,c])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(145,145,[obj(point,b),obj(point,midpoint([a,c])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(146,146,[obj(point,b),obj(point,midpoint([a,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(147,147,[obj(point,b),obj(point,midpoint([a,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(148,148,[obj(point,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(149,149,[obj(point,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(150,150,[obj(point,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(151,151,[obj(point,b),obj(point,midpoint([a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(152,152,[obj(point,b),obj(point,midpoint([a,b])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(153,153,[obj(point,b),obj(point,midpoint([a,b])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(154,154,[obj(point,b),obj(point,midpoint([a,b])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(155,155,[obj(point,b),obj(point,midpoint([a,b])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(156,156,[obj(point,b),obj(point,midpoint([a,b])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(157,157,[obj(point,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(158,158,[obj(point,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(159,159,[obj(point,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(160,160,[obj(point,b),obj(point,midpoint([a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(161,161,[obj(point,b),obj(point,centroid([a,b],c)),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(162,162,[obj(point,b),obj(point,centroid([a,b],c)),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(163,163,[obj(point,b),obj(point,centroid([a,b],c)),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(164,164,[obj(point,b),obj(point,centroid([a,b],c)),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(165,165,[obj(point,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(166,166,[obj(point,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(167,167,[obj(point,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(168,168,[obj(point,b),obj(point,centroid([a,b],c)),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(169,169,[obj(point,b),obj(point,foot(a,[b,c])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(170,170,[obj(point,b),obj(point,foot(a,[b,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(171,171,[obj(point,b),obj(point,foot(a,[b,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(172,172,[obj(point,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(173,173,[obj(point,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(174,174,[obj(point,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(175,175,[obj(point,b),obj(point,foot(a,[b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(176,176,[obj(point,b),obj(point,foot(b,[a,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(177,177,[obj(point,b),obj(point,foot(b,[a,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(178,178,[obj(point,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(179,179,[obj(point,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(180,180,[obj(point,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(181,181,[obj(point,b),obj(point,foot(b,[a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(182,182,[obj(point,b),obj(point,foot(c,[a,b])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(183,183,[obj(point,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(184,184,[obj(point,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(185,185,[obj(point,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(186,186,[obj(point,b),obj(point,foot(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(187,187,[obj(point,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(188,188,[obj(point,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(189,189,[obj(point,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(190,190,[obj(point,b),obj(point,orthocenter([a,b],c)),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(191,191,[obj(point,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(192,192,[obj(point,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(193,193,[obj(point,b),obj(point,angle_bis_foot(a,[b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(194,194,[obj(point,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(195,195,[obj(point,b),obj(point,angle_bis_foot(b,[a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(196,196,[obj(point,b),obj(point,angle_bis_foot(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(197,197,[obj(point,c),obj(point,circumcenter([a,b],c)),obj(point,midpoint([b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(198,198,[obj(point,c),obj(point,circumcenter([a,b],c)),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(199,199,[obj(point,c),obj(point,circumcenter([a,b],c)),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(200,200,[obj(point,c),obj(point,circumcenter([a,b],c)),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(201,201,[obj(point,c),obj(point,circumcenter([a,b],c)),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(202,202,[obj(point,c),obj(point,circumcenter([a,b],c)),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(203,203,[obj(point,c),obj(point,circumcenter([a,b],c)),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(204,204,[obj(point,c),obj(point,circumcenter([a,b],c)),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(205,205,[obj(point,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(206,206,[obj(point,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(207,207,[obj(point,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(208,208,[obj(point,c),obj(point,circumcenter([a,b],c)),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(209,209,[obj(point,c),obj(point,midpoint([b,c])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(210,210,[obj(point,c),obj(point,midpoint([b,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(211,211,[obj(point,c),obj(point,midpoint([b,c])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(212,212,[obj(point,c),obj(point,midpoint([b,c])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(213,213,[obj(point,c),obj(point,midpoint([b,c])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(214,214,[obj(point,c),obj(point,midpoint([b,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(215,215,[obj(point,c),obj(point,midpoint([b,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(216,216,[obj(point,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(217,217,[obj(point,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(218,218,[obj(point,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(219,219,[obj(point,c),obj(point,midpoint([b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(220,220,[obj(point,c),obj(point,midpoint([a,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(221,221,[obj(point,c),obj(point,midpoint([a,c])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(222,222,[obj(point,c),obj(point,midpoint([a,c])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(223,223,[obj(point,c),obj(point,midpoint([a,c])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(224,224,[obj(point,c),obj(point,midpoint([a,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(225,225,[obj(point,c),obj(point,midpoint([a,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(226,226,[obj(point,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(227,227,[obj(point,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(228,228,[obj(point,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(229,229,[obj(point,c),obj(point,midpoint([a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(230,230,[obj(point,c),obj(point,midpoint([a,b])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(231,231,[obj(point,c),obj(point,midpoint([a,b])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(232,232,[obj(point,c),obj(point,midpoint([a,b])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(233,233,[obj(point,c),obj(point,midpoint([a,b])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(234,234,[obj(point,c),obj(point,midpoint([a,b])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(235,235,[obj(point,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(236,236,[obj(point,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(237,237,[obj(point,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(238,238,[obj(point,c),obj(point,midpoint([a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(239,239,[obj(point,c),obj(point,centroid([a,b],c)),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(240,240,[obj(point,c),obj(point,centroid([a,b],c)),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(241,241,[obj(point,c),obj(point,centroid([a,b],c)),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(242,242,[obj(point,c),obj(point,centroid([a,b],c)),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(243,243,[obj(point,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(244,244,[obj(point,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(245,245,[obj(point,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(246,246,[obj(point,c),obj(point,centroid([a,b],c)),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(247,247,[obj(point,c),obj(point,foot(a,[b,c])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(248,248,[obj(point,c),obj(point,foot(a,[b,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(249,249,[obj(point,c),obj(point,foot(a,[b,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(250,250,[obj(point,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(251,251,[obj(point,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(252,252,[obj(point,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(253,253,[obj(point,c),obj(point,foot(a,[b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(254,254,[obj(point,c),obj(point,foot(b,[a,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(255,255,[obj(point,c),obj(point,foot(b,[a,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(256,256,[obj(point,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(257,257,[obj(point,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(258,258,[obj(point,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(259,259,[obj(point,c),obj(point,foot(b,[a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(260,260,[obj(point,c),obj(point,foot(c,[a,b])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(261,261,[obj(point,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(262,262,[obj(point,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(263,263,[obj(point,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(264,264,[obj(point,c),obj(point,foot(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(265,265,[obj(point,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(266,266,[obj(point,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(267,267,[obj(point,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(268,268,[obj(point,c),obj(point,orthocenter([a,b],c)),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(269,269,[obj(point,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(270,270,[obj(point,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(271,271,[obj(point,c),obj(point,angle_bis_foot(a,[b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(272,272,[obj(point,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(273,273,[obj(point,c),obj(point,angle_bis_foot(b,[a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(274,274,[obj(point,c),obj(point,angle_bis_foot(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(275,275,[obj(point,circumcenter([a,b],c)),obj(point,midpoint([b,c])),obj(point,midpoint([a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(276,276,[obj(point,circumcenter([a,b],c)),obj(point,midpoint([b,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(277,277,[obj(point,circumcenter([a,b],c)),obj(point,midpoint([b,c])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(278,278,[obj(point,circumcenter([a,b],c)),obj(point,midpoint([b,c])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(279,279,[obj(point,circumcenter([a,b],c)),obj(point,midpoint([b,c])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(280,280,[obj(point,circumcenter([a,b],c)),obj(point,midpoint([b,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(281,281,[obj(point,circumcenter([a,b],c)),obj(point,midpoint([b,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(282,282,[obj(point,circumcenter([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(283,283,[obj(point,circumcenter([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(284,284,[obj(point,circumcenter([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(285,285,[obj(point,circumcenter([a,b],c)),obj(point,midpoint([b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(286,286,[obj(point,circumcenter([a,b],c)),obj(point,midpoint([a,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(287,287,[obj(point,circumcenter([a,b],c)),obj(point,midpoint([a,c])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(288,288,[obj(point,circumcenter([a,b],c)),obj(point,midpoint([a,c])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(289,289,[obj(point,circumcenter([a,b],c)),obj(point,midpoint([a,c])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(290,290,[obj(point,circumcenter([a,b],c)),obj(point,midpoint([a,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(291,291,[obj(point,circumcenter([a,b],c)),obj(point,midpoint([a,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(292,292,[obj(point,circumcenter([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(293,293,[obj(point,circumcenter([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(294,294,[obj(point,circumcenter([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(295,295,[obj(point,circumcenter([a,b],c)),obj(point,midpoint([a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(296,296,[obj(point,circumcenter([a,b],c)),obj(point,midpoint([a,b])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(297,297,[obj(point,circumcenter([a,b],c)),obj(point,midpoint([a,b])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(298,298,[obj(point,circumcenter([a,b],c)),obj(point,midpoint([a,b])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(299,299,[obj(point,circumcenter([a,b],c)),obj(point,midpoint([a,b])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(300,300,[obj(point,circumcenter([a,b],c)),obj(point,midpoint([a,b])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(301,301,[obj(point,circumcenter([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(302,302,[obj(point,circumcenter([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(303,303,[obj(point,circumcenter([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(304,304,[obj(point,circumcenter([a,b],c)),obj(point,midpoint([a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(305,305,[obj(point,circumcenter([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(306,306,[obj(point,circumcenter([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(307,307,[obj(point,circumcenter([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(308,308,[obj(point,circumcenter([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(309,309,[obj(point,circumcenter([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(310,310,[obj(point,circumcenter([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(311,311,[obj(point,circumcenter([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(312,312,[obj(point,circumcenter([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(313,313,[obj(point,circumcenter([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(314,314,[obj(point,circumcenter([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(315,315,[obj(point,circumcenter([a,b],c)),obj(point,foot(a,[b,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(316,316,[obj(point,circumcenter([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(317,317,[obj(point,circumcenter([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(318,318,[obj(point,circumcenter([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(319,319,[obj(point,circumcenter([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(320,320,[obj(point,circumcenter([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(321,321,[obj(point,circumcenter([a,b],c)),obj(point,foot(b,[a,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(322,322,[obj(point,circumcenter([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(323,323,[obj(point,circumcenter([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(324,324,[obj(point,circumcenter([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(325,325,[obj(point,circumcenter([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(326,326,[obj(point,circumcenter([a,b],c)),obj(point,foot(c,[a,b])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(327,327,[obj(point,circumcenter([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(328,328,[obj(point,circumcenter([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(329,329,[obj(point,circumcenter([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(330,330,[obj(point,circumcenter([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(331,331,[obj(point,circumcenter([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(332,332,[obj(point,circumcenter([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(333,333,[obj(point,circumcenter([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(334,334,[obj(point,circumcenter([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(335,335,[obj(point,circumcenter([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(336,336,[obj(point,circumcenter([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(337,337,[obj(point,circumcenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(338,338,[obj(point,circumcenter([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(339,339,[obj(point,circumcenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(340,340,[obj(point,circumcenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(341,341,[obj(point,midpoint([b,c])),obj(point,midpoint([a,c])),obj(point,midpoint([a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(342,342,[obj(point,midpoint([b,c])),obj(point,midpoint([a,c])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(343,343,[obj(point,midpoint([b,c])),obj(point,midpoint([a,c])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(344,344,[obj(point,midpoint([b,c])),obj(point,midpoint([a,c])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(345,345,[obj(point,midpoint([b,c])),obj(point,midpoint([a,c])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(346,346,[obj(point,midpoint([b,c])),obj(point,midpoint([a,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(347,347,[obj(point,midpoint([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(348,348,[obj(point,midpoint([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(349,349,[obj(point,midpoint([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(350,350,[obj(point,midpoint([b,c])),obj(point,midpoint([a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(351,351,[obj(point,midpoint([b,c])),obj(point,midpoint([a,b])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(352,352,[obj(point,midpoint([b,c])),obj(point,midpoint([a,b])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(353,353,[obj(point,midpoint([b,c])),obj(point,midpoint([a,b])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(354,354,[obj(point,midpoint([b,c])),obj(point,midpoint([a,b])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(355,355,[obj(point,midpoint([b,c])),obj(point,midpoint([a,b])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(356,356,[obj(point,midpoint([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(357,357,[obj(point,midpoint([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(358,358,[obj(point,midpoint([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(359,359,[obj(point,midpoint([b,c])),obj(point,midpoint([a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(360,360,[obj(point,midpoint([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(361,361,[obj(point,midpoint([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(362,362,[obj(point,midpoint([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(363,363,[obj(point,midpoint([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(364,364,[obj(point,midpoint([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(365,365,[obj(point,midpoint([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(366,366,[obj(point,midpoint([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(367,367,[obj(point,midpoint([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(368,368,[obj(point,midpoint([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(369,369,[obj(point,midpoint([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(370,370,[obj(point,midpoint([b,c])),obj(point,foot(a,[b,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(371,371,[obj(point,midpoint([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(372,372,[obj(point,midpoint([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(373,373,[obj(point,midpoint([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(374,374,[obj(point,midpoint([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(375,375,[obj(point,midpoint([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(376,376,[obj(point,midpoint([b,c])),obj(point,foot(b,[a,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(377,377,[obj(point,midpoint([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(378,378,[obj(point,midpoint([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(379,379,[obj(point,midpoint([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(380,380,[obj(point,midpoint([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(381,381,[obj(point,midpoint([b,c])),obj(point,foot(c,[a,b])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(382,382,[obj(point,midpoint([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(383,383,[obj(point,midpoint([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(384,384,[obj(point,midpoint([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(385,385,[obj(point,midpoint([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(386,386,[obj(point,midpoint([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(387,387,[obj(point,midpoint([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(388,388,[obj(point,midpoint([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(389,389,[obj(point,midpoint([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(390,390,[obj(point,midpoint([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(391,391,[obj(point,midpoint([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(392,392,[obj(point,midpoint([b,c])),obj(point,angle_bis_foot(a,[b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(393,393,[obj(point,midpoint([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(394,394,[obj(point,midpoint([b,c])),obj(point,angle_bis_foot(b,[a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(395,395,[obj(point,midpoint([b,c])),obj(point,angle_bis_foot(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(396,396,[obj(point,midpoint([a,c])),obj(point,midpoint([a,b])),obj(point,centroid([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(397,397,[obj(point,midpoint([a,c])),obj(point,midpoint([a,b])),obj(point,foot(a,[b,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(398,398,[obj(point,midpoint([a,c])),obj(point,midpoint([a,b])),obj(point,foot(b,[a,c]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(399,399,[obj(point,midpoint([a,c])),obj(point,midpoint([a,b])),obj(point,foot(c,[a,b]))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(400,400,[obj(point,midpoint([a,c])),obj(point,midpoint([a,b])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(401,401,[obj(point,midpoint([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(402,402,[obj(point,midpoint([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(403,403,[obj(point,midpoint([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(404,404,[obj(point,midpoint([a,c])),obj(point,midpoint([a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(405,405,[obj(point,midpoint([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(406,406,[obj(point,midpoint([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(407,407,[obj(point,midpoint([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(408,408,[obj(point,midpoint([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(409,409,[obj(point,midpoint([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(410,410,[obj(point,midpoint([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(411,411,[obj(point,midpoint([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(412,412,[obj(point,midpoint([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(413,413,[obj(point,midpoint([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(414,414,[obj(point,midpoint([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(415,415,[obj(point,midpoint([a,c])),obj(point,foot(a,[b,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(416,416,[obj(point,midpoint([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(417,417,[obj(point,midpoint([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(418,418,[obj(point,midpoint([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(419,419,[obj(point,midpoint([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(420,420,[obj(point,midpoint([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(421,421,[obj(point,midpoint([a,c])),obj(point,foot(b,[a,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(422,422,[obj(point,midpoint([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(423,423,[obj(point,midpoint([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(424,424,[obj(point,midpoint([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(425,425,[obj(point,midpoint([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(426,426,[obj(point,midpoint([a,c])),obj(point,foot(c,[a,b])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(427,427,[obj(point,midpoint([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(428,428,[obj(point,midpoint([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(429,429,[obj(point,midpoint([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(430,430,[obj(point,midpoint([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(431,431,[obj(point,midpoint([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(432,432,[obj(point,midpoint([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(433,433,[obj(point,midpoint([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(434,434,[obj(point,midpoint([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(435,435,[obj(point,midpoint([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(436,436,[obj(point,midpoint([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(437,437,[obj(point,midpoint([a,c])),obj(point,angle_bis_foot(a,[b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(438,438,[obj(point,midpoint([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(439,439,[obj(point,midpoint([a,c])),obj(point,angle_bis_foot(b,[a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(440,440,[obj(point,midpoint([a,c])),obj(point,angle_bis_foot(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(441,441,[obj(point,midpoint([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(442,442,[obj(point,midpoint([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(443,443,[obj(point,midpoint([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(444,444,[obj(point,midpoint([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(445,445,[obj(point,midpoint([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(446,446,[obj(point,midpoint([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(447,447,[obj(point,midpoint([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(448,448,[obj(point,midpoint([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(449,449,[obj(point,midpoint([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(450,450,[obj(point,midpoint([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(451,451,[obj(point,midpoint([a,b])),obj(point,foot(a,[b,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(452,452,[obj(point,midpoint([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(453,453,[obj(point,midpoint([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(454,454,[obj(point,midpoint([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(455,455,[obj(point,midpoint([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(456,456,[obj(point,midpoint([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(457,457,[obj(point,midpoint([a,b])),obj(point,foot(b,[a,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(458,458,[obj(point,midpoint([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(459,459,[obj(point,midpoint([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(460,460,[obj(point,midpoint([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(461,461,[obj(point,midpoint([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(462,462,[obj(point,midpoint([a,b])),obj(point,foot(c,[a,b])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(463,463,[obj(point,midpoint([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(464,464,[obj(point,midpoint([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(465,465,[obj(point,midpoint([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(466,466,[obj(point,midpoint([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(467,467,[obj(point,midpoint([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(468,468,[obj(point,midpoint([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(469,469,[obj(point,midpoint([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(470,470,[obj(point,midpoint([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(471,471,[obj(point,midpoint([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(472,472,[obj(point,midpoint([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(473,473,[obj(point,midpoint([a,b])),obj(point,angle_bis_foot(a,[b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(474,474,[obj(point,midpoint([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(475,475,[obj(point,midpoint([a,b])),obj(point,angle_bis_foot(b,[a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(476,476,[obj(point,midpoint([a,b])),obj(point,angle_bis_foot(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(477,477,[obj(point,centroid([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(478,478,[obj(point,centroid([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(479,479,[obj(point,centroid([a,b],c)),obj(point,foot(a,[b,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(480,480,[obj(point,centroid([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(481,481,[obj(point,centroid([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(482,482,[obj(point,centroid([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(483,483,[obj(point,centroid([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(484,484,[obj(point,centroid([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(485,485,[obj(point,centroid([a,b],c)),obj(point,foot(b,[a,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(486,486,[obj(point,centroid([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(487,487,[obj(point,centroid([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(488,488,[obj(point,centroid([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(489,489,[obj(point,centroid([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(490,490,[obj(point,centroid([a,b],c)),obj(point,foot(c,[a,b])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(491,491,[obj(point,centroid([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(492,492,[obj(point,centroid([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(493,493,[obj(point,centroid([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(494,494,[obj(point,centroid([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(495,495,[obj(point,centroid([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(496,496,[obj(point,centroid([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(497,497,[obj(point,centroid([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(498,498,[obj(point,centroid([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(499,499,[obj(point,centroid([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(500,500,[obj(point,centroid([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(501,501,[obj(point,centroid([a,b],c)),obj(point,angle_bis_foot(a,[b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(502,502,[obj(point,centroid([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(503,503,[obj(point,centroid([a,b],c)),obj(point,angle_bis_foot(b,[a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(504,504,[obj(point,centroid([a,b],c)),obj(point,angle_bis_foot(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(505,505,[obj(point,foot(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(506,506,[obj(point,foot(a,[b,c])),obj(point,foot(b,[a,c])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(507,507,[obj(point,foot(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(508,508,[obj(point,foot(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(509,509,[obj(point,foot(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(510,510,[obj(point,foot(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(511,511,[obj(point,foot(a,[b,c])),obj(point,foot(c,[a,b])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(512,512,[obj(point,foot(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(513,513,[obj(point,foot(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(514,514,[obj(point,foot(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(515,515,[obj(point,foot(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(516,516,[obj(point,foot(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(517,517,[obj(point,foot(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(518,518,[obj(point,foot(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(519,519,[obj(point,foot(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(520,520,[obj(point,foot(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(521,521,[obj(point,foot(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(522,522,[obj(point,foot(a,[b,c])),obj(point,angle_bis_foot(a,[b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(523,523,[obj(point,foot(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(524,524,[obj(point,foot(a,[b,c])),obj(point,angle_bis_foot(b,[a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(525,525,[obj(point,foot(a,[b,c])),obj(point,angle_bis_foot(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(526,526,[obj(point,foot(b,[a,c])),obj(point,foot(c,[a,b])),obj(point,orthocenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(527,527,[obj(point,foot(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(528,528,[obj(point,foot(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(529,529,[obj(point,foot(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(530,530,[obj(point,foot(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(531,531,[obj(point,foot(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(532,532,[obj(point,foot(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(533,533,[obj(point,foot(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(534,534,[obj(point,foot(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(535,535,[obj(point,foot(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(536,536,[obj(point,foot(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(537,537,[obj(point,foot(b,[a,c])),obj(point,angle_bis_foot(a,[b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(538,538,[obj(point,foot(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(539,539,[obj(point,foot(b,[a,c])),obj(point,angle_bis_foot(b,[a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(540,540,[obj(point,foot(b,[a,c])),obj(point,angle_bis_foot(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(541,541,[obj(point,foot(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(542,542,[obj(point,foot(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(543,543,[obj(point,foot(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(544,544,[obj(point,foot(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(545,545,[obj(point,foot(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(546,546,[obj(point,foot(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(547,547,[obj(point,foot(c,[a,b])),obj(point,angle_bis_foot(a,[b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(548,548,[obj(point,foot(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(549,549,[obj(point,foot(c,[a,b])),obj(point,angle_bis_foot(b,[a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(550,550,[obj(point,foot(c,[a,b])),obj(point,angle_bis_foot(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(551,551,[obj(point,orthocenter([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(552,552,[obj(point,orthocenter([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(553,553,[obj(point,orthocenter([a,b],c)),obj(point,angle_bis_foot(a,[b,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(554,554,[obj(point,orthocenter([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(555,555,[obj(point,orthocenter([a,b],c)),obj(point,angle_bis_foot(b,[a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(556,556,[obj(point,orthocenter([a,b],c)),obj(point,angle_bis_foot(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(557,557,[obj(point,angle_bis_foot(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(558,558,[obj(point,angle_bis_foot(a,[b,c])),obj(point,angle_bis_foot(b,[a,c])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(559,559,[obj(point,angle_bis_foot(a,[b,c])),obj(point,angle_bis_foot(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
problem_setting(560,560,[obj(point,angle_bis_foot(b,[a,c])),obj(point,angle_bis_foot(c,[a,b])),obj(point,incenter([a,b],c))],[obj(point,a),obj(point,b),obj(point,c)]).
