Centres

$(val12[1;]):
$(val12[2;]) $val17 $(val12[3;]) $val18 $(val12[4;]) $(val12[5;]).

Given two sides

$val7
, ?

Two sides acute

$(val24[1;]) $val26 $(val24[2;])
,  ?

Type recognition I

$val11
, , ?

Type recognition II

$val11
, , $val13 = $val24 ?