LIB "tst.lib";
tst_init();

LIB "triang.lib";


example triangL;
example triangLfak;
example triangM;
example triangMH;


ring rW9 = (0),(m,h,g,f,e,d,c,b,a),(c,lp(9));
ideal i = m+h+g+f+e+d+c+b+a2-a-8,
m+h+g+f+e+d+c+b2-b+a-8,
m+h+g+f+e+d+c2-c+b+a-8,
m+h+g+f+e+d2-d+c+b+a-8,
m+h+g+f+e2-e+d+c+b+a-8,
m+h+g+f2-f+e+d+c+b+a-8,
m+h+g2-g+f+e+d+c+b+a-8,
m+h2-h+g+f+e+d+c+b+a-8,
m2-m+h+g+f+e+d+c+b+a-8;
ideal G = a18-9a17-84a16+996a15+174a14-29358a13+89732a12+120492a11-1201527a10+2535167a9-938232a8-5930952a7+14210448a6-16694544a5+11913984a4-5255936a3+1327104a2-147456a,
8ba14-56ba13-280ba12+2856ba11-2856ba10-28392ba9+97656ba8-81096ba7-170688ba6+513856ba5-601216ba4+380800ba3-129024ba2+18432ba+a16-8a15-36a14+448a13-434a12-6048a11+18612a10+6048a9-108855a8+166664a7+31304a6-391104a5+537488a4-362368a3+126720a2-18432a,
b2-2b-a2+2a,
8ca14-56ca13-280ca12+2856ca11-2856ca10-28392ca9+97656ca8-81096ca7-170688ca6+513856ca5-601216ca4+380800ca3-129024ca2+18432ca+a16-8a15-36a14+448a13-434a12-6048a11+18612a10+6048a9-108855a8+166664a7+31304a6-391104a5+537488a4-362368a3+126720a2-18432a,
42cba10-210cba9-420cba8+3780cba7-5502cba6-5082cba5+22680cba4-26040cba3+13440cba2-2688cba+7ca12-42ca11-77ca10+910ca9-1127ca8-3710ca7+10129ca6-3038ca5-16100ca4+23352ca3-12992ca2+2688ca+7ba12-42ba11-77ba10+910ba9-1127ba8-3710ba7+10129ba6-3038ba5-16100ba4+23352ba3-12992ba2+2688ba+a14-7a13-7a12+147a11-203a10-749a9+1399a8+3205a7-8750a6-1092a5+22568a4-28672a3+15232a2-3072a,
c2-2c-a2+2a,
8da14-56da13-280da12+2856da11-2856da10-28392da9+97656da8-81096da7-170688da6+513856da5-601216da4+380800da3-129024da2+18432da+a16-8a15-36a14+448a13-434a12-6048a11+18612a10+6048a9-108855a8+166664a7+31304a6-391104a5+537488a4-362368a3+126720a2-18432a,
42dba10-210dba9-420dba8+3780dba7-5502dba6-5082dba5+22680dba4-26040dba3+13440dba2-2688dba+7da12-42da11-77da10+910da9-1127da8-3710da7+10129da6-3038da5-16100da4+23352da3-12992da2+2688da+7ba12-42ba11-77ba10+910ba9-1127ba8-3710ba7+10129ba6-3038ba5-16100ba4+23352ba3-12992ba2+2688ba+a14-7a13-7a12+147a11-203a10-749a9+1399a8+3205a7-8750a6-1092a5+22568a4-28672a3+15232a2-3072a,
42dca10-210dca9-420dca8+3780dca7-5502dca6-5082dca5+22680dca4-26040dca3+13440dca2-2688dca+7da12-42da11-77da10+910da9-1127da8-3710da7+10129da6-3038da5-16100da4+23352da3-12992da2+2688da+7ca12-42ca11-77ca10+910ca9-1127ca8-3710ca7+10129ca6-3038ca5-16100ca4+23352ca3-12992ca2+2688ca+a14-7a13-7a12+147a11-203a10-749a9+1399a8+3205a7-8750a6-1092a5+22568a4-28672a3+15232a2-3072a,
120dcba6-360dcba5-120dcba4+1320dcba3-1440dcba2+480dcba+30dca8-120dca7-60dca6+720dca5-570dca4-840dca3+1320dca2-480dca+30dba8-120dba7-60dba6+720dba5-570dba4-840dba3+1320dba2-480dba+6da10-30da9+180da7-66da6-606da5+300da4+1320da3-1680da2+576da+30cba8-120cba7-60cba6+720cba5-570cba4-840cba3+1320cba2-480cba+6ca10-30ca9+180ca7-66ca6-606ca5+300ca4+1320ca3-1680ca2+576ca+6ba10-30ba9+180ba7-66ba6-606ba5+300ba4+1320ba3-1680ba2+576ba+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
d2-2d-a2+2a,
8ea14-56ea13-280ea12+2856ea11-2856ea10-28392ea9+97656ea8-81096ea7-170688ea6+513856ea5-601216ea4+380800ea3-129024ea2+18432ea+a16-8a15-36a14+448a13-434a12-6048a11+18612a10+6048a9-108855a8+166664a7+31304a6-391104a5+537488a4-362368a3+126720a2-18432a,
42eba10-210eba9-420eba8+3780eba7-5502eba6-5082eba5+22680eba4-26040eba3+13440eba2-2688eba+7ea12-42ea11-77ea10+910ea9-1127ea8-3710ea7+10129ea6-3038ea5-16100ea4+23352ea3-12992ea2+2688ea+7ba12-42ba11-77ba10+910ba9-1127ba8-3710ba7+10129ba6-3038ba5-16100ba4+23352ba3-12992ba2+2688ba+a14-7a13-7a12+147a11-203a10-749a9+1399a8+3205a7-8750a6-1092a5+22568a4-28672a3+15232a2-3072a,
42eca10-210eca9-420eca8+3780eca7-5502eca6-5082eca5+22680eca4-26040eca3+13440eca2-2688eca+7ea12-42ea11-77ea10+910ea9-1127ea8-3710ea7+10129ea6-3038ea5-16100ea4+23352ea3-12992ea2+2688ea+7ca12-42ca11-77ca10+910ca9-1127ca8-3710ca7+10129ca6-3038ca5-16100ca4+23352ca3-12992ca2+2688ca+a14-7a13-7a12+147a11-203a10-749a9+1399a8+3205a7-8750a6-1092a5+22568a4-28672a3+15232a2-3072a,
120ecba6-360ecba5-120ecba4+1320ecba3-1440ecba2+480ecba+30eca8-120eca7-60eca6+720eca5-570eca4-840eca3+1320eca2-480eca+30eba8-120eba7-60eba6+720eba5-570eba4-840eba3+1320eba2-480eba+6ea10-30ea9+180ea7-66ea6-606ea5+300ea4+1320ea3-1680ea2+576ea+30cba8-120cba7-60cba6+720cba5-570cba4-840cba3+1320cba2-480cba+6ca10-30ca9+180ca7-66ca6-606ca5+300ca4+1320ca3-1680ca2+576ca+6ba10-30ba9+180ba7-66ba6-606ba5+300ba4+1320ba3-1680ba2+576ba+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
42eda10-210eda9-420eda8+3780eda7-5502eda6-5082eda5+22680eda4-26040eda3+13440eda2-2688eda+7ea12-42ea11-77ea10+910ea9-1127ea8-3710ea7+10129ea6-3038ea5-16100ea4+23352ea3-12992ea2+2688ea+7da12-42da11-77da10+910da9-1127da8-3710da7+10129da6-3038da5-16100da4+23352da3-12992da2+2688da+a14-7a13-7a12+147a11-203a10-749a9+1399a8+3205a7-8750a6-1092a5+22568a4-28672a3+15232a2-3072a,
120edba6-360edba5-120edba4+1320edba3-1440edba2+480edba+30eda8-120eda7-60eda6+720eda5-570eda4-840eda3+1320eda2-480eda+30eba8-120eba7-60eba6+720eba5-570eba4-840eba3+1320eba2-480eba+6ea10-30ea9+180ea7-66ea6-606ea5+300ea4+1320ea3-1680ea2+576ea+30dba8-120dba7-60dba6+720dba5-570dba4-840dba3+1320dba2-480dba+6da10-30da9+180da7-66da6-606da5+300da4+1320da3-1680da2+576da+6ba10-30ba9+180ba7-66ba6-606ba5+300ba4+1320ba3-1680ba2+576ba+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
120edca6-360edca5-120edca4+1320edca3-1440edca2+480edca+30eda8-120eda7-60eda6+720eda5-570eda4-840eda3+1320eda2-480eda+30eca8-120eca7-60eca6+720eca5-570eca4-840eca3+1320eca2-480eca+6ea10-30ea9+180ea7-66ea6-606ea5+300ea4+1320ea3-1680ea2+576ea+30dca8-120dca7-60dca6+720dca5-570dca4-840dca3+1320dca2-480dca+6da10-30da9+180da7-66da6-606da5+300da4+1320da3-1680da2+576da+6ca10-30ca9+180ca7-66ca6-606ca5+300ca4+1320ca3-1680ca2+576ca+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
120edcba2-120edcba+60edca4-120edca3-60edca2+120edca+60edba4-120edba3-60edba2+120edba+20eda6-60eda5-20eda4+100eda3+120eda2-160eda+60ecba4-120ecba3-60ecba2+120ecba+20eca6-60eca5-20eca4+100eca3+120eca2-160eca+20eba6-60eba5-20eba4+100eba3+120eba2-160eba+5ea8-20ea7+10ea6+125ea4-100ea3-260ea2+240ea+60dcba4-120dcba3-60dcba2+120dcba+20dca6-60dca5-20dca4+100dca3+120dca2-160dca+20dba6-60dba5-20dba4+100dba3+120dba2-160dba+5da8-20da7+10da6+125da4-100da3-260da2+240da+20cba6-60cba5-20cba4+100cba3+120cba2-160cba+5ca8-20ca7+10ca6+125ca4-100ca3-260ca2+240ca+5ba8-20ba7+10ba6+125ba4-100ba3-260ba2+240ba+a10-5a9+10a8-30a7+69a6+39a5-280a4+20a3+560a2-384a,
e2-2e-a2+2a,
8fa14-56fa13-280fa12+2856fa11-2856fa10-28392fa9+97656fa8-81096fa7-170688fa6+513856fa5-601216fa4+380800fa3-129024fa2+18432fa+a16-8a15-36a14+448a13-434a12-6048a11+18612a10+6048a9-108855a8+166664a7+31304a6-391104a5+537488a4-362368a3+126720a2-18432a,
42fba10-210fba9-420fba8+3780fba7-5502fba6-5082fba5+22680fba4-26040fba3+13440fba2-2688fba+7fa12-42fa11-77fa10+910fa9-1127fa8-3710fa7+10129fa6-3038fa5-16100fa4+23352fa3-12992fa2+2688fa+7ba12-42ba11-77ba10+910ba9-1127ba8-3710ba7+10129ba6-3038ba5-16100ba4+23352ba3-12992ba2+2688ba+a14-7a13-7a12+147a11-203a10-749a9+1399a8+3205a7-8750a6-1092a5+22568a4-28672a3+15232a2-3072a,
42fca10-210fca9-420fca8+3780fca7-5502fca6-5082fca5+22680fca4-26040fca3+13440fca2-2688fca+7fa12-42fa11-77fa10+910fa9-1127fa8-3710fa7+10129fa6-3038fa5-16100fa4+23352fa3-12992fa2+2688fa+7ca12-42ca11-77ca10+910ca9-1127ca8-3710ca7+10129ca6-3038ca5-16100ca4+23352ca3-12992ca2+2688ca+a14-7a13-7a12+147a11-203a10-749a9+1399a8+3205a7-8750a6-1092a5+22568a4-28672a3+15232a2-3072a,
120fcba6-360fcba5-120fcba4+1320fcba3-1440fcba2+480fcba+30fca8-120fca7-60fca6+720fca5-570fca4-840fca3+1320fca2-480fca+30fba8-120fba7-60fba6+720fba5-570fba4-840fba3+1320fba2-480fba+6fa10-30fa9+180fa7-66fa6-606fa5+300fa4+1320fa3-1680fa2+576fa+30cba8-120cba7-60cba6+720cba5-570cba4-840cba3+1320cba2-480cba+6ca10-30ca9+180ca7-66ca6-606ca5+300ca4+1320ca3-1680ca2+576ca+6ba10-30ba9+180ba7-66ba6-606ba5+300ba4+1320ba3-1680ba2+576ba+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
42fda10-210fda9-420fda8+3780fda7-5502fda6-5082fda5+22680fda4-26040fda3+13440fda2-2688fda+7fa12-42fa11-77fa10+910fa9-1127fa8-3710fa7+10129fa6-3038fa5-16100fa4+23352fa3-12992fa2+2688fa+7da12-42da11-77da10+910da9-1127da8-3710da7+10129da6-3038da5-16100da4+23352da3-12992da2+2688da+a14-7a13-7a12+147a11-203a10-749a9+1399a8+3205a7-8750a6-1092a5+22568a4-28672a3+15232a2-3072a,
120fdba6-360fdba5-120fdba4+1320fdba3-1440fdba2+480fdba+30fda8-120fda7-60fda6+720fda5-570fda4-840fda3+1320fda2-480fda+30fba8-120fba7-60fba6+720fba5-570fba4-840fba3+1320fba2-480fba+6fa10-30fa9+180fa7-66fa6-606fa5+300fa4+1320fa3-1680fa2+576fa+30dba8-120dba7-60dba6+720dba5-570dba4-840dba3+1320dba2-480dba+6da10-30da9+180da7-66da6-606da5+300da4+1320da3-1680da2+576da+6ba10-30ba9+180ba7-66ba6-606ba5+300ba4+1320ba3-1680ba2+576ba+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
120fdca6-360fdca5-120fdca4+1320fdca3-1440fdca2+480fdca+30fda8-120fda7-60fda6+720fda5-570fda4-840fda3+1320fda2-480fda+30fca8-120fca7-60fca6+720fca5-570fca4-840fca3+1320fca2-480fca+6fa10-30fa9+180fa7-66fa6-606fa5+300fa4+1320fa3-1680fa2+576fa+30dca8-120dca7-60dca6+720dca5-570dca4-840dca3+1320dca2-480dca+6da10-30da9+180da7-66da6-606da5+300da4+1320da3-1680da2+576da+6ca10-30ca9+180ca7-66ca6-606ca5+300ca4+1320ca3-1680ca2+576ca+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
120fdcba2-120fdcba+60fdca4-120fdca3-60fdca2+120fdca+60fdba4-120fdba3-60fdba2+120fdba+20fda6-60fda5-20fda4+100fda3+120fda2-160fda+60fcba4-120fcba3-60fcba2+120fcba+20fca6-60fca5-20fca4+100fca3+120fca2-160fca+20fba6-60fba5-20fba4+100fba3+120fba2-160fba+5fa8-20fa7+10fa6+125fa4-100fa3-260fa2+240fa+60dcba4-120dcba3-60dcba2+120dcba+20dca6-60dca5-20dca4+100dca3+120dca2-160dca+20dba6-60dba5-20dba4+100dba3+120dba2-160dba+5da8-20da7+10da6+125da4-100da3-260da2+240da+20cba6-60cba5-20cba4+100cba3+120cba2-160cba+5ca8-20ca7+10ca6+125ca4-100ca3-260ca2+240ca+5ba8-20ba7+10ba6+125ba4-100ba3-260ba2+240ba+a10-5a9+10a8-30a7+69a6+39a5-280a4+20a3+560a2-384a,
42fea10-210fea9-420fea8+3780fea7-5502fea6-5082fea5+22680fea4-26040fea3+13440fea2-2688fea+7fa12-42fa11-77fa10+910fa9-1127fa8-3710fa7+10129fa6-3038fa5-16100fa4+23352fa3-12992fa2+2688fa+7ea12-42ea11-77ea10+910ea9-1127ea8-3710ea7+10129ea6-3038ea5-16100ea4+23352ea3-12992ea2+2688ea+a14-7a13-7a12+147a11-203a10-749a9+1399a8+3205a7-8750a6-1092a5+22568a4-28672a3+15232a2-3072a,
120feba6-360feba5-120feba4+1320feba3-1440feba2+480feba+30fea8-120fea7-60fea6+720fea5-570fea4-840fea3+1320fea2-480fea+30fba8-120fba7-60fba6+720fba5-570fba4-840fba3+1320fba2-480fba+6fa10-30fa9+180fa7-66fa6-606fa5+300fa4+1320fa3-1680fa2+576fa+30eba8-120eba7-60eba6+720eba5-570eba4-840eba3+1320eba2-480eba+6ea10-30ea9+180ea7-66ea6-606ea5+300ea4+1320ea3-1680ea2+576ea+6ba10-30ba9+180ba7-66ba6-606ba5+300ba4+1320ba3-1680ba2+576ba+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
120feca6-360feca5-120feca4+1320feca3-1440feca2+480feca+30fea8-120fea7-60fea6+720fea5-570fea4-840fea3+1320fea2-480fea+30fca8-120fca7-60fca6+720fca5-570fca4-840fca3+1320fca2-480fca+6fa10-30fa9+180fa7-66fa6-606fa5+300fa4+1320fa3-1680fa2+576fa+30eca8-120eca7-60eca6+720eca5-570eca4-840eca3+1320eca2-480eca+6ea10-30ea9+180ea7-66ea6-606ea5+300ea4+1320ea3-1680ea2+576ea+6ca10-30ca9+180ca7-66ca6-606ca5+300ca4+1320ca3-1680ca2+576ca+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
120fecba2-120fecba+60feca4-120feca3-60feca2+120feca+60feba4-120feba3-60feba2+120feba+20fea6-60fea5-20fea4+100fea3+120fea2-160fea+60fcba4-120fcba3-60fcba2+120fcba+20fca6-60fca5-20fca4+100fca3+120fca2-160fca+20fba6-60fba5-20fba4+100fba3+120fba2-160fba+5fa8-20fa7+10fa6+125fa4-100fa3-260fa2+240fa+60ecba4-120ecba3-60ecba2+120ecba+20eca6-60eca5-20eca4+100eca3+120eca2-160eca+20eba6-60eba5-20eba4+100eba3+120eba2-160eba+5ea8-20ea7+10ea6+125ea4-100ea3-260ea2+240ea+20cba6-60cba5-20cba4+100cba3+120cba2-160cba+5ca8-20ca7+10ca6+125ca4-100ca3-260ca2+240ca+5ba8-20ba7+10ba6+125ba4-100ba3-260ba2+240ba+a10-5a9+10a8-30a7+69a6+39a5-280a4+20a3+560a2-384a,
120feda6-360feda5-120feda4+1320feda3-1440feda2+480feda+30fea8-120fea7-60fea6+720fea5-570fea4-840fea3+1320fea2-480fea+30fda8-120fda7-60fda6+720fda5-570fda4-840fda3+1320fda2-480fda+6fa10-30fa9+180fa7-66fa6-606fa5+300fa4+1320fa3-1680fa2+576fa+30eda8-120eda7-60eda6+720eda5-570eda4-840eda3+1320eda2-480eda+6ea10-30ea9+180ea7-66ea6-606ea5+300ea4+1320ea3-1680ea2+576ea+6da10-30da9+180da7-66da6-606da5+300da4+1320da3-1680da2+576da+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
120fedba2-120fedba+60feda4-120feda3-60feda2+120feda+60feba4-120feba3-60feba2+120feba+20fea6-60fea5-20fea4+100fea3+120fea2-160fea+60fdba4-120fdba3-60fdba2+120fdba+20fda6-60fda5-20fda4+100fda3+120fda2-160fda+20fba6-60fba5-20fba4+100fba3+120fba2-160fba+5fa8-20fa7+10fa6+125fa4-100fa3-260fa2+240fa+60edba4-120edba3-60edba2+120edba+20eda6-60eda5-20eda4+100eda3+120eda2-160eda+20eba6-60eba5-20eba4+100eba3+120eba2-160eba+5ea8-20ea7+10ea6+125ea4-100ea3-260ea2+240ea+20dba6-60dba5-20dba4+100dba3+120dba2-160dba+5da8-20da7+10da6+125da4-100da3-260da2+240da+5ba8-20ba7+10ba6+125ba4-100ba3-260ba2+240ba+a10-5a9+10a8-30a7+69a6+39a5-280a4+20a3+560a2-384a,
24fedc+24fedb+24feda2-24feda-48fed+24fecb+24feca2-24feca-48fec+24feba2-24feba-48feb+12fea4-24fea3-36fea2+24fea+96fe+24fdcb+24fdca2-24fdca-48fdc+24fdba2-24fdba-48fdb+12fda4-24fda3-36fda2+24fda+96fd+24fcba2-24fcba-48fcb+12fca4-24fca3-36fca2+24fca+96fc+12fba4-24fba3-36fba2+24fba+96fb+4fa6-12fa5-4fa4-4fa3+96fa2+16fa-192f+24edcb+24edca2-24edca-48edc+24edba2-24edba-48edb+12eda4-24eda3-36eda2+24eda+96ed+24ecba2-24ecba-48ecb+12eca4-24eca3-36eca2+24eca+96ec+12eba4-24eba3-36eba2+24eba+96eb+4ea6-12ea5-4ea4-4ea3+96ea2+16ea-192e+24dcba2-24dcba-48dcb+12dca4-24dca3-36dca2+24dca+96dc+12dba4-24dba3-36dba2+24dba+96db+4da6-12da5-4da4-4da3+96da2+16da-192d+12cba4-24cba3-36cba2+24cba+96cb+4ca6-12ca5-4ca4-4ca3+96ca2+16ca-192c+4ba6-12ba5-4ba4-4ba3+96ba2+16ba-192b+a8-4a7+6a6-24a5+45a4+84a3-196a2-176a+384,
f2-2f-a2+2a,
8ga14-56ga13-280ga12+2856ga11-2856ga10-28392ga9+97656ga8-81096ga7-170688ga6+513856ga5-601216ga4+380800ga3-129024ga2+18432ga+a16-8a15-36a14+448a13-434a12-6048a11+18612a10+6048a9-108855a8+166664a7+31304a6-391104a5+537488a4-362368a3+126720a2-18432a,
42gba10-210gba9-420gba8+3780gba7-5502gba6-5082gba5+22680gba4-26040gba3+13440gba2-2688gba+7ga12-42ga11-77ga10+910ga9-1127ga8-3710ga7+10129ga6-3038ga5-16100ga4+23352ga3-12992ga2+2688ga+7ba12-42ba11-77ba10+910ba9-1127ba8-3710ba7+10129ba6-3038ba5-16100ba4+23352ba3-12992ba2+2688ba+a14-7a13-7a12+147a11-203a10-749a9+1399a8+3205a7-8750a6-1092a5+22568a4-28672a3+15232a2-3072a,
42gca10-210gca9-420gca8+3780gca7-5502gca6-5082gca5+22680gca4-26040gca3+13440gca2-2688gca+7ga12-42ga11-77ga10+910ga9-1127ga8-3710ga7+10129ga6-3038ga5-16100ga4+23352ga3-12992ga2+2688ga+7ca12-42ca11-77ca10+910ca9-1127ca8-3710ca7+10129ca6-3038ca5-16100ca4+23352ca3-12992ca2+2688ca+a14-7a13-7a12+147a11-203a10-749a9+1399a8+3205a7-8750a6-1092a5+22568a4-28672a3+15232a2-3072a,
120gcba6-360gcba5-120gcba4+1320gcba3-1440gcba2+480gcba+30gca8-120gca7-60gca6+720gca5-570gca4-840gca3+1320gca2-480gca+30gba8-120gba7-60gba6+720gba5-570gba4-840gba3+1320gba2-480gba+6ga10-30ga9+180ga7-66ga6-606ga5+300ga4+1320ga3-1680ga2+576ga+30cba8-120cba7-60cba6+720cba5-570cba4-840cba3+1320cba2-480cba+6ca10-30ca9+180ca7-66ca6-606ca5+300ca4+1320ca3-1680ca2+576ca+6ba10-30ba9+180ba7-66ba6-606ba5+300ba4+1320ba3-1680ba2+576ba+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
42gda10-210gda9-420gda8+3780gda7-5502gda6-5082gda5+22680gda4-26040gda3+13440gda2-2688gda+7ga12-42ga11-77ga10+910ga9-1127ga8-3710ga7+10129ga6-3038ga5-16100ga4+23352ga3-12992ga2+2688ga+7da12-42da11-77da10+910da9-1127da8-3710da7+10129da6-3038da5-16100da4+23352da3-12992da2+2688da+a14-7a13-7a12+147a11-203a10-749a9+1399a8+3205a7-8750a6-1092a5+22568a4-28672a3+15232a2-3072a,
120gdba6-360gdba5-120gdba4+1320gdba3-1440gdba2+480gdba+30gda8-120gda7-60gda6+720gda5-570gda4-840gda3+1320gda2-480gda+30gba8-120gba7-60gba6+720gba5-570gba4-840gba3+1320gba2-480gba+6ga10-30ga9+180ga7-66ga6-606ga5+300ga4+1320ga3-1680ga2+576ga+30dba8-120dba7-60dba6+720dba5-570dba4-840dba3+1320dba2-480dba+6da10-30da9+180da7-66da6-606da5+300da4+1320da3-1680da2+576da+6ba10-30ba9+180ba7-66ba6-606ba5+300ba4+1320ba3-1680ba2+576ba+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
120gdca6-360gdca5-120gdca4+1320gdca3-1440gdca2+480gdca+30gda8-120gda7-60gda6+720gda5-570gda4-840gda3+1320gda2-480gda+30gca8-120gca7-60gca6+720gca5-570gca4-840gca3+1320gca2-480gca+6ga10-30ga9+180ga7-66ga6-606ga5+300ga4+1320ga3-1680ga2+576ga+30dca8-120dca7-60dca6+720dca5-570dca4-840dca3+1320dca2-480dca+6da10-30da9+180da7-66da6-606da5+300da4+1320da3-1680da2+576da+6ca10-30ca9+180ca7-66ca6-606ca5+300ca4+1320ca3-1680ca2+576ca+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
120gdcba2-120gdcba+60gdca4-120gdca3-60gdca2+120gdca+60gdba4-120gdba3-60gdba2+120gdba+20gda6-60gda5-20gda4+100gda3+120gda2-160gda+60gcba4-120gcba3-60gcba2+120gcba+20gca6-60gca5-20gca4+100gca3+120gca2-160gca+20gba6-60gba5-20gba4+100gba3+120gba2-160gba+5ga8-20ga7+10ga6+125ga4-100ga3-260ga2+240ga+60dcba4-120dcba3-60dcba2+120dcba+20dca6-60dca5-20dca4+100dca3+120dca2-160dca+20dba6-60dba5-20dba4+100dba3+120dba2-160dba+5da8-20da7+10da6+125da4-100da3-260da2+240da+20cba6-60cba5-20cba4+100cba3+120cba2-160cba+5ca8-20ca7+10ca6+125ca4-100ca3-260ca2+240ca+5ba8-20ba7+10ba6+125ba4-100ba3-260ba2+240ba+a10-5a9+10a8-30a7+69a6+39a5-280a4+20a3+560a2-384a,
42gea10-210gea9-420gea8+3780gea7-5502gea6-5082gea5+22680gea4-26040gea3+13440gea2-2688gea+7ga12-42ga11-77ga10+910ga9-1127ga8-3710ga7+10129ga6-3038ga5-16100ga4+23352ga3-12992ga2+2688ga+7ea12-42ea11-77ea10+910ea9-1127ea8-3710ea7+10129ea6-3038ea5-16100ea4+23352ea3-12992ea2+2688ea+a14-7a13-7a12+147a11-203a10-749a9+1399a8+3205a7-8750a6-1092a5+22568a4-28672a3+15232a2-3072a,
120geba6-360geba5-120geba4+1320geba3-1440geba2+480geba+30gea8-120gea7-60gea6+720gea5-570gea4-840gea3+1320gea2-480gea+30gba8-120gba7-60gba6+720gba5-570gba4-840gba3+1320gba2-480gba+6ga10-30ga9+180ga7-66ga6-606ga5+300ga4+1320ga3-1680ga2+576ga+30eba8-120eba7-60eba6+720eba5-570eba4-840eba3+1320eba2-480eba+6ea10-30ea9+180ea7-66ea6-606ea5+300ea4+1320ea3-1680ea2+576ea+6ba10-30ba9+180ba7-66ba6-606ba5+300ba4+1320ba3-1680ba2+576ba+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
120geca6-360geca5-120geca4+1320geca3-1440geca2+480geca+30gea8-120gea7-60gea6+720gea5-570gea4-840gea3+1320gea2-480gea+30gca8-120gca7-60gca6+720gca5-570gca4-840gca3+1320gca2-480gca+6ga10-30ga9+180ga7-66ga6-606ga5+300ga4+1320ga3-1680ga2+576ga+30eca8-120eca7-60eca6+720eca5-570eca4-840eca3+1320eca2-480eca+6ea10-30ea9+180ea7-66ea6-606ea5+300ea4+1320ea3-1680ea2+576ea+6ca10-30ca9+180ca7-66ca6-606ca5+300ca4+1320ca3-1680ca2+576ca+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
120gecba2-120gecba+60geca4-120geca3-60geca2+120geca+60geba4-120geba3-60geba2+120geba+20gea6-60gea5-20gea4+100gea3+120gea2-160gea+60gcba4-120gcba3-60gcba2+120gcba+20gca6-60gca5-20gca4+100gca3+120gca2-160gca+20gba6-60gba5-20gba4+100gba3+120gba2-160gba+5ga8-20ga7+10ga6+125ga4-100ga3-260ga2+240ga+60ecba4-120ecba3-60ecba2+120ecba+20eca6-60eca5-20eca4+100eca3+120eca2-160eca+20eba6-60eba5-20eba4+100eba3+120eba2-160eba+5ea8-20ea7+10ea6+125ea4-100ea3-260ea2+240ea+20cba6-60cba5-20cba4+100cba3+120cba2-160cba+5ca8-20ca7+10ca6+125ca4-100ca3-260ca2+240ca+5ba8-20ba7+10ba6+125ba4-100ba3-260ba2+240ba+a10-5a9+10a8-30a7+69a6+39a5-280a4+20a3+560a2-384a,
120geda6-360geda5-120geda4+1320geda3-1440geda2+480geda+30gea8-120gea7-60gea6+720gea5-570gea4-840gea3+1320gea2-480gea+30gda8-120gda7-60gda6+720gda5-570gda4-840gda3+1320gda2-480gda+6ga10-30ga9+180ga7-66ga6-606ga5+300ga4+1320ga3-1680ga2+576ga+30eda8-120eda7-60eda6+720eda5-570eda4-840eda3+1320eda2-480eda+6ea10-30ea9+180ea7-66ea6-606ea5+300ea4+1320ea3-1680ea2+576ea+6da10-30da9+180da7-66da6-606da5+300da4+1320da3-1680da2+576da+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
120gedba2-120gedba+60geda4-120geda3-60geda2+120geda+60geba4-120geba3-60geba2+120geba+20gea6-60gea5-20gea4+100gea3+120gea2-160gea+60gdba4-120gdba3-60gdba2+120gdba+20gda6-60gda5-20gda4+100gda3+120gda2-160gda+20gba6-60gba5-20gba4+100gba3+120gba2-160gba+5ga8-20ga7+10ga6+125ga4-100ga3-260ga2+240ga+60edba4-120edba3-60edba2+120edba+20eda6-60eda5-20eda4+100eda3+120eda2-160eda+20eba6-60eba5-20eba4+100eba3+120eba2-160eba+5ea8-20ea7+10ea6+125ea4-100ea3-260ea2+240ea+20dba6-60dba5-20dba4+100dba3+120dba2-160dba+5da8-20da7+10da6+125da4-100da3-260da2+240da+5ba8-20ba7+10ba6+125ba4-100ba3-260ba2+240ba+a10-5a9+10a8-30a7+69a6+39a5-280a4+20a3+560a2-384a,
24gedc+24gedb+24geda2-24geda-48ged+24gecb+24geca2-24geca-48gec+24geba2-24geba-48geb+12gea4-24gea3-36gea2+24gea+96ge+24gdcb+24gdca2-24gdca-48gdc+24gdba2-24gdba-48gdb+12gda4-24gda3-36gda2+24gda+96gd+24gcba2-24gcba-48gcb+12gca4-24gca3-36gca2+24gca+96gc+12gba4-24gba3-36gba2+24gba+96gb+4ga6-12ga5-4ga4-4ga3+96ga2+16ga-192g+24edcb+24edca2-24edca-48edc+24edba2-24edba-48edb+12eda4-24eda3-36eda2+24eda+96ed+24ecba2-24ecba-48ecb+12eca4-24eca3-36eca2+24eca+96ec+12eba4-24eba3-36eba2+24eba+96eb+4ea6-12ea5-4ea4-4ea3+96ea2+16ea-192e+24dcba2-24dcba-48dcb+12dca4-24dca3-36dca2+24dca+96dc+12dba4-24dba3-36dba2+24dba+96db+4da6-12da5-4da4-4da3+96da2+16da-192d+12cba4-24cba3-36cba2+24cba+96cb+4ca6-12ca5-4ca4-4ca3+96ca2+16ca-192c+4ba6-12ba5-4ba4-4ba3+96ba2+16ba-192b+a8-4a7+6a6-24a5+45a4+84a3-196a2-176a+384,
42gfa10-210gfa9-420gfa8+3780gfa7-5502gfa6-5082gfa5+22680gfa4-26040gfa3+13440gfa2-2688gfa+7ga12-42ga11-77ga10+910ga9-1127ga8-3710ga7+10129ga6-3038ga5-16100ga4+23352ga3-12992ga2+2688ga+7fa12-42fa11-77fa10+910fa9-1127fa8-3710fa7+10129fa6-3038fa5-16100fa4+23352fa3-12992fa2+2688fa+a14-7a13-7a12+147a11-203a10-749a9+1399a8+3205a7-8750a6-1092a5+22568a4-28672a3+15232a2-3072a,
120gfba6-360gfba5-120gfba4+1320gfba3-1440gfba2+480gfba+30gfa8-120gfa7-60gfa6+720gfa5-570gfa4-840gfa3+1320gfa2-480gfa+30gba8-120gba7-60gba6+720gba5-570gba4-840gba3+1320gba2-480gba+6ga10-30ga9+180ga7-66ga6-606ga5+300ga4+1320ga3-1680ga2+576ga+30fba8-120fba7-60fba6+720fba5-570fba4-840fba3+1320fba2-480fba+6fa10-30fa9+180fa7-66fa6-606fa5+300fa4+1320fa3-1680fa2+576fa+6ba10-30ba9+180ba7-66ba6-606ba5+300ba4+1320ba3-1680ba2+576ba+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
120gfca6-360gfca5-120gfca4+1320gfca3-1440gfca2+480gfca+30gfa8-120gfa7-60gfa6+720gfa5-570gfa4-840gfa3+1320gfa2-480gfa+30gca8-120gca7-60gca6+720gca5-570gca4-840gca3+1320gca2-480gca+6ga10-30ga9+180ga7-66ga6-606ga5+300ga4+1320ga3-1680ga2+576ga+30fca8-120fca7-60fca6+720fca5-570fca4-840fca3+1320fca2-480fca+6fa10-30fa9+180fa7-66fa6-606fa5+300fa4+1320fa3-1680fa2+576fa+6ca10-30ca9+180ca7-66ca6-606ca5+300ca4+1320ca3-1680ca2+576ca+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
120gfcba2-120gfcba+60gfca4-120gfca3-60gfca2+120gfca+60gfba4-120gfba3-60gfba2+120gfba+20gfa6-60gfa5-20gfa4+100gfa3+120gfa2-160gfa+60gcba4-120gcba3-60gcba2+120gcba+20gca6-60gca5-20gca4+100gca3+120gca2-160gca+20gba6-60gba5-20gba4+100gba3+120gba2-160gba+5ga8-20ga7+10ga6+125ga4-100ga3-260ga2+240ga+60fcba4-120fcba3-60fcba2+120fcba+20fca6-60fca5-20fca4+100fca3+120fca2-160fca+20fba6-60fba5-20fba4+100fba3+120fba2-160fba+5fa8-20fa7+10fa6+125fa4-100fa3-260fa2+240fa+20cba6-60cba5-20cba4+100cba3+120cba2-160cba+5ca8-20ca7+10ca6+125ca4-100ca3-260ca2+240ca+5ba8-20ba7+10ba6+125ba4-100ba3-260ba2+240ba+a10-5a9+10a8-30a7+69a6+39a5-280a4+20a3+560a2-384a,
120gfda6-360gfda5-120gfda4+1320gfda3-1440gfda2+480gfda+30gfa8-120gfa7-60gfa6+720gfa5-570gfa4-840gfa3+1320gfa2-480gfa+30gda8-120gda7-60gda6+720gda5-570gda4-840gda3+1320gda2-480gda+6ga10-30ga9+180ga7-66ga6-606ga5+300ga4+1320ga3-1680ga2+576ga+30fda8-120fda7-60fda6+720fda5-570fda4-840fda3+1320fda2-480fda+6fa10-30fa9+180fa7-66fa6-606fa5+300fa4+1320fa3-1680fa2+576fa+6da10-30da9+180da7-66da6-606da5+300da4+1320da3-1680da2+576da+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
120gfdba2-120gfdba+60gfda4-120gfda3-60gfda2+120gfda+60gfba4-120gfba3-60gfba2+120gfba+20gfa6-60gfa5-20gfa4+100gfa3+120gfa2-160gfa+60gdba4-120gdba3-60gdba2+120gdba+20gda6-60gda5-20gda4+100gda3+120gda2-160gda+20gba6-60gba5-20gba4+100gba3+120gba2-160gba+5ga8-20ga7+10ga6+125ga4-100ga3-260ga2+240ga+60fdba4-120fdba3-60fdba2+120fdba+20fda6-60fda5-20fda4+100fda3+120fda2-160fda+20fba6-60fba5-20fba4+100fba3+120fba2-160fba+5fa8-20fa7+10fa6+125fa4-100fa3-260fa2+240fa+20dba6-60dba5-20dba4+100dba3+120dba2-160dba+5da8-20da7+10da6+125da4-100da3-260da2+240da+5ba8-20ba7+10ba6+125ba4-100ba3-260ba2+240ba+a10-5a9+10a8-30a7+69a6+39a5-280a4+20a3+560a2-384a,
24gfdc+24gfdb+24gfda2-24gfda-48gfd+24gfcb+24gfca2-24gfca-48gfc+24gfba2-24gfba-48gfb+12gfa4-24gfa3-36gfa2+24gfa+96gf+24gdcb+24gdca2-24gdca-48gdc+24gdba2-24gdba-48gdb+12gda4-24gda3-36gda2+24gda+96gd+24gcba2-24gcba-48gcb+12gca4-24gca3-36gca2+24gca+96gc+12gba4-24gba3-36gba2+24gba+96gb+4ga6-12ga5-4ga4-4ga3+96ga2+16ga-192g+24fdcb+24fdca2-24fdca-48fdc+24fdba2-24fdba-48fdb+12fda4-24fda3-36fda2+24fda+96fd+24fcba2-24fcba-48fcb+12fca4-24fca3-36fca2+24fca+96fc+12fba4-24fba3-36fba2+24fba+96fb+4fa6-12fa5-4fa4-4fa3+96fa2+16fa-192f+24dcba2-24dcba-48dcb+12dca4-24dca3-36dca2+24dca+96dc+12dba4-24dba3-36dba2+24dba+96db+4da6-12da5-4da4-4da3+96da2+16da-192d+12cba4-24cba3-36cba2+24cba+96cb+4ca6-12ca5-4ca4-4ca3+96ca2+16ca-192c+4ba6-12ba5-4ba4-4ba3+96ba2+16ba-192b+a8-4a7+6a6-24a5+45a4+84a3-196a2-176a+384,
6gfe+6gfd+6gfc+6gfb+6gfa2-6gfa-24gf+6ged+6gec+6geb+6gea2-6gea-24ge+6gdc+6gdb+6gda2-6gda-24gd+6gcb+6gca2-6gca-24gc+6gba2-6gba-24gb+3ga4-6ga3-15ga2+6ga+72g+6fed+6fec+6feb+6fea2-6fea-24fe+6fdc+6fdb+6fda2-6fda-24fd+6fcb+6fca2-6fca-24fc+6fba2-6fba-24fb+3fa4-6fa3-15fa2+6fa+72f+6edc+6edb+6eda2-6eda-24ed+6ecb+6eca2-6eca-24ec+6eba2-6eba-24eb+3ea4-6ea3-15ea2+6ea+72e+6dcb+6dca2-6dca-24dc+6dba2-6dba-24db+3da4-6da3-15da2+6da+72d+6cba2-6cba-24cb+3ca4-6ca3-15ca2+6ca+72c+3ba4-6ba3-15ba2+6ba+72b+a6-3a5-a4-7a3+42a2+40a-192,
g2-2g-a2+2a,
8ha14-56ha13-280ha12+2856ha11-2856ha10-28392ha9+97656ha8-81096ha7-170688ha6+513856ha5-601216ha4+380800ha3-129024ha2+18432ha+a16-8a15-36a14+448a13-434a12-6048a11+18612a10+6048a9-108855a8+166664a7+31304a6-391104a5+537488a4-362368a3+126720a2-18432a,
42hba10-210hba9-420hba8+3780hba7-5502hba6-5082hba5+22680hba4-26040hba3+13440hba2-2688hba+7ha12-42ha11-77ha10+910ha9-1127ha8-3710ha7+10129ha6-3038ha5-16100ha4+23352ha3-12992ha2+2688ha+7ba12-42ba11-77ba10+910ba9-1127ba8-3710ba7+10129ba6-3038ba5-16100ba4+23352ba3-12992ba2+2688ba+a14-7a13-7a12+147a11-203a10-749a9+1399a8+3205a7-8750a6-1092a5+22568a4-28672a3+15232a2-3072a,
42hca10-210hca9-420hca8+3780hca7-5502hca6-5082hca5+22680hca4-26040hca3+13440hca2-2688hca+7ha12-42ha11-77ha10+910ha9-1127ha8-3710ha7+10129ha6-3038ha5-16100ha4+23352ha3-12992ha2+2688ha+7ca12-42ca11-77ca10+910ca9-1127ca8-3710ca7+10129ca6-3038ca5-16100ca4+23352ca3-12992ca2+2688ca+a14-7a13-7a12+147a11-203a10-749a9+1399a8+3205a7-8750a6-1092a5+22568a4-28672a3+15232a2-3072a,
120hcba6-360hcba5-120hcba4+1320hcba3-1440hcba2+480hcba+30hca8-120hca7-60hca6+720hca5-570hca4-840hca3+1320hca2-480hca+30hba8-120hba7-60hba6+720hba5-570hba4-840hba3+1320hba2-480hba+6ha10-30ha9+180ha7-66ha6-606ha5+300ha4+1320ha3-1680ha2+576ha+30cba8-120cba7-60cba6+720cba5-570cba4-840cba3+1320cba2-480cba+6ca10-30ca9+180ca7-66ca6-606ca5+300ca4+1320ca3-1680ca2+576ca+6ba10-30ba9+180ba7-66ba6-606ba5+300ba4+1320ba3-1680ba2+576ba+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
42hda10-210hda9-420hda8+3780hda7-5502hda6-5082hda5+22680hda4-26040hda3+13440hda2-2688hda+7ha12-42ha11-77ha10+910ha9-1127ha8-3710ha7+10129ha6-3038ha5-16100ha4+23352ha3-12992ha2+2688ha+7da12-42da11-77da10+910da9-1127da8-3710da7+10129da6-3038da5-16100da4+23352da3-12992da2+2688da+a14-7a13-7a12+147a11-203a10-749a9+1399a8+3205a7-8750a6-1092a5+22568a4-28672a3+15232a2-3072a,
120hdba6-360hdba5-120hdba4+1320hdba3-1440hdba2+480hdba+30hda8-120hda7-60hda6+720hda5-570hda4-840hda3+1320hda2-480hda+30hba8-120hba7-60hba6+720hba5-570hba4-840hba3+1320hba2-480hba+6ha10-30ha9+180ha7-66ha6-606ha5+300ha4+1320ha3-1680ha2+576ha+30dba8-120dba7-60dba6+720dba5-570dba4-840dba3+1320dba2-480dba+6da10-30da9+180da7-66da6-606da5+300da4+1320da3-1680da2+576da+6ba10-30ba9+180ba7-66ba6-606ba5+300ba4+1320ba3-1680ba2+576ba+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
120hdca6-360hdca5-120hdca4+1320hdca3-1440hdca2+480hdca+30hda8-120hda7-60hda6+720hda5-570hda4-840hda3+1320hda2-480hda+30hca8-120hca7-60hca6+720hca5-570hca4-840hca3+1320hca2-480hca+6ha10-30ha9+180ha7-66ha6-606ha5+300ha4+1320ha3-1680ha2+576ha+30dca8-120dca7-60dca6+720dca5-570dca4-840dca3+1320dca2-480dca+6da10-30da9+180da7-66da6-606da5+300da4+1320da3-1680da2+576da+6ca10-30ca9+180ca7-66ca6-606ca5+300ca4+1320ca3-1680ca2+576ca+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
120hdcba2-120hdcba+60hdca4-120hdca3-60hdca2+120hdca+60hdba4-120hdba3-60hdba2+120hdba+20hda6-60hda5-20hda4+100hda3+120hda2-160hda+60hcba4-120hcba3-60hcba2+120hcba+20hca6-60hca5-20hca4+100hca3+120hca2-160hca+20hba6-60hba5-20hba4+100hba3+120hba2-160hba+5ha8-20ha7+10ha6+125ha4-100ha3-260ha2+240ha+60dcba4-120dcba3-60dcba2+120dcba+20dca6-60dca5-20dca4+100dca3+120dca2-160dca+20dba6-60dba5-20dba4+100dba3+120dba2-160dba+5da8-20da7+10da6+125da4-100da3-260da2+240da+20cba6-60cba5-20cba4+100cba3+120cba2-160cba+5ca8-20ca7+10ca6+125ca4-100ca3-260ca2+240ca+5ba8-20ba7+10ba6+125ba4-100ba3-260ba2+240ba+a10-5a9+10a8-30a7+69a6+39a5-280a4+20a3+560a2-384a,
42hea10-210hea9-420hea8+3780hea7-5502hea6-5082hea5+22680hea4-26040hea3+13440hea2-2688hea+7ha12-42ha11-77ha10+910ha9-1127ha8-3710ha7+10129ha6-3038ha5-16100ha4+23352ha3-12992ha2+2688ha+7ea12-42ea11-77ea10+910ea9-1127ea8-3710ea7+10129ea6-3038ea5-16100ea4+23352ea3-12992ea2+2688ea+a14-7a13-7a12+147a11-203a10-749a9+1399a8+3205a7-8750a6-1092a5+22568a4-28672a3+15232a2-3072a,
120heba6-360heba5-120heba4+1320heba3-1440heba2+480heba+30hea8-120hea7-60hea6+720hea5-570hea4-840hea3+1320hea2-480hea+30hba8-120hba7-60hba6+720hba5-570hba4-840hba3+1320hba2-480hba+6ha10-30ha9+180ha7-66ha6-606ha5+300ha4+1320ha3-1680ha2+576ha+30eba8-120eba7-60eba6+720eba5-570eba4-840eba3+1320eba2-480eba+6ea10-30ea9+180ea7-66ea6-606ea5+300ea4+1320ea3-1680ea2+576ea+6ba10-30ba9+180ba7-66ba6-606ba5+300ba4+1320ba3-1680ba2+576ba+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
120heca6-360heca5-120heca4+1320heca3-1440heca2+480heca+30hea8-120hea7-60hea6+720hea5-570hea4-840hea3+1320hea2-480hea+30hca8-120hca7-60hca6+720hca5-570hca4-840hca3+1320hca2-480hca+6ha10-30ha9+180ha7-66ha6-606ha5+300ha4+1320ha3-1680ha2+576ha+30eca8-120eca7-60eca6+720eca5-570eca4-840eca3+1320eca2-480eca+6ea10-30ea9+180ea7-66ea6-606ea5+300ea4+1320ea3-1680ea2+576ea+6ca10-30ca9+180ca7-66ca6-606ca5+300ca4+1320ca3-1680ca2+576ca+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
120hecba2-120hecba+60heca4-120heca3-60heca2+120heca+60heba4-120heba3-60heba2+120heba+20hea6-60hea5-20hea4+100hea3+120hea2-160hea+60hcba4-120hcba3-60hcba2+120hcba+20hca6-60hca5-20hca4+100hca3+120hca2-160hca+20hba6-60hba5-20hba4+100hba3+120hba2-160hba+5ha8-20ha7+10ha6+125ha4-100ha3-260ha2+240ha+60ecba4-120ecba3-60ecba2+120ecba+20eca6-60eca5-20eca4+100eca3+120eca2-160eca+20eba6-60eba5-20eba4+100eba3+120eba2-160eba+5ea8-20ea7+10ea6+125ea4-100ea3-260ea2+240ea+20cba6-60cba5-20cba4+100cba3+120cba2-160cba+5ca8-20ca7+10ca6+125ca4-100ca3-260ca2+240ca+5ba8-20ba7+10ba6+125ba4-100ba3-260ba2+240ba+a10-5a9+10a8-30a7+69a6+39a5-280a4+20a3+560a2-384a,
120heda6-360heda5-120heda4+1320heda3-1440heda2+480heda+30hea8-120hea7-60hea6+720hea5-570hea4-840hea3+1320hea2-480hea+30hda8-120hda7-60hda6+720hda5-570hda4-840hda3+1320hda2-480hda+6ha10-30ha9+180ha7-66ha6-606ha5+300ha4+1320ha3-1680ha2+576ha+30eda8-120eda7-60eda6+720eda5-570eda4-840eda3+1320eda2-480eda+6ea10-30ea9+180ea7-66ea6-606ea5+300ea4+1320ea3-1680ea2+576ea+6da10-30da9+180da7-66da6-606da5+300da4+1320da3-1680da2+576da+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
120hedba2-120hedba+60heda4-120heda3-60heda2+120heda+60heba4-120heba3-60heba2+120heba+20hea6-60hea5-20hea4+100hea3+120hea2-160hea+60hdba4-120hdba3-60hdba2+120hdba+20hda6-60hda5-20hda4+100hda3+120hda2-160hda+20hba6-60hba5-20hba4+100hba3+120hba2-160hba+5ha8-20ha7+10ha6+125ha4-100ha3-260ha2+240ha+60edba4-120edba3-60edba2+120edba+20eda6-60eda5-20eda4+100eda3+120eda2-160eda+20eba6-60eba5-20eba4+100eba3+120eba2-160eba+5ea8-20ea7+10ea6+125ea4-100ea3-260ea2+240ea+20dba6-60dba5-20dba4+100dba3+120dba2-160dba+5da8-20da7+10da6+125da4-100da3-260da2+240da+5ba8-20ba7+10ba6+125ba4-100ba3-260ba2+240ba+a10-5a9+10a8-30a7+69a6+39a5-280a4+20a3+560a2-384a,
24hedc+24hedb+24heda2-24heda-48hed+24hecb+24heca2-24heca-48hec+24heba2-24heba-48heb+12hea4-24hea3-36hea2+24hea+96he+24hdcb+24hdca2-24hdca-48hdc+24hdba2-24hdba-48hdb+12hda4-24hda3-36hda2+24hda+96hd+24hcba2-24hcba-48hcb+12hca4-24hca3-36hca2+24hca+96hc+12hba4-24hba3-36hba2+24hba+96hb+4ha6-12ha5-4ha4-4ha3+96ha2+16ha-192h+24edcb+24edca2-24edca-48edc+24edba2-24edba-48edb+12eda4-24eda3-36eda2+24eda+96ed+24ecba2-24ecba-48ecb+12eca4-24eca3-36eca2+24eca+96ec+12eba4-24eba3-36eba2+24eba+96eb+4ea6-12ea5-4ea4-4ea3+96ea2+16ea-192e+24dcba2-24dcba-48dcb+12dca4-24dca3-36dca2+24dca+96dc+12dba4-24dba3-36dba2+24dba+96db+4da6-12da5-4da4-4da3+96da2+16da-192d+12cba4-24cba3-36cba2+24cba+96cb+4ca6-12ca5-4ca4-4ca3+96ca2+16ca-192c+4ba6-12ba5-4ba4-4ba3+96ba2+16ba-192b+a8-4a7+6a6-24a5+45a4+84a3-196a2-176a+384,
42hfa10-210hfa9-420hfa8+3780hfa7-5502hfa6-5082hfa5+22680hfa4-26040hfa3+13440hfa2-2688hfa+7ha12-42ha11-77ha10+910ha9-1127ha8-3710ha7+10129ha6-3038ha5-16100ha4+23352ha3-12992ha2+2688ha+7fa12-42fa11-77fa10+910fa9-1127fa8-3710fa7+10129fa6-3038fa5-16100fa4+23352fa3-12992fa2+2688fa+a14-7a13-7a12+147a11-203a10-749a9+1399a8+3205a7-8750a6-1092a5+22568a4-28672a3+15232a2-3072a,
120hfba6-360hfba5-120hfba4+1320hfba3-1440hfba2+480hfba+30hfa8-120hfa7-60hfa6+720hfa5-570hfa4-840hfa3+1320hfa2-480hfa+30hba8-120hba7-60hba6+720hba5-570hba4-840hba3+1320hba2-480hba+6ha10-30ha9+180ha7-66ha6-606ha5+300ha4+1320ha3-1680ha2+576ha+30fba8-120fba7-60fba6+720fba5-570fba4-840fba3+1320fba2-480fba+6fa10-30fa9+180fa7-66fa6-606fa5+300fa4+1320fa3-1680fa2+576fa+6ba10-30ba9+180ba7-66ba6-606ba5+300ba4+1320ba3-1680ba2+576ba+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
120hfca6-360hfca5-120hfca4+1320hfca3-1440hfca2+480hfca+30hfa8-120hfa7-60hfa6+720hfa5-570hfa4-840hfa3+1320hfa2-480hfa+30hca8-120hca7-60hca6+720hca5-570hca4-840hca3+1320hca2-480hca+6ha10-30ha9+180ha7-66ha6-606ha5+300ha4+1320ha3-1680ha2+576ha+30fca8-120fca7-60fca6+720fca5-570fca4-840fca3+1320fca2-480fca+6fa10-30fa9+180fa7-66fa6-606fa5+300fa4+1320fa3-1680fa2+576fa+6ca10-30ca9+180ca7-66ca6-606ca5+300ca4+1320ca3-1680ca2+576ca+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
120hfcba2-120hfcba+60hfca4-120hfca3-60hfca2+120hfca+60hfba4-120hfba3-60hfba2+120hfba+20hfa6-60hfa5-20hfa4+100hfa3+120hfa2-160hfa+60hcba4-120hcba3-60hcba2+120hcba+20hca6-60hca5-20hca4+100hca3+120hca2-160hca+20hba6-60hba5-20hba4+100hba3+120hba2-160hba+5ha8-20ha7+10ha6+125ha4-100ha3-260ha2+240ha+60fcba4-120fcba3-60fcba2+120fcba+20fca6-60fca5-20fca4+100fca3+120fca2-160fca+20fba6-60fba5-20fba4+100fba3+120fba2-160fba+5fa8-20fa7+10fa6+125fa4-100fa3-260fa2+240fa+20cba6-60cba5-20cba4+100cba3+120cba2-160cba+5ca8-20ca7+10ca6+125ca4-100ca3-260ca2+240ca+5ba8-20ba7+10ba6+125ba4-100ba3-260ba2+240ba+a10-5a9+10a8-30a7+69a6+39a5-280a4+20a3+560a2-384a,
120hfda6-360hfda5-120hfda4+1320hfda3-1440hfda2+480hfda+30hfa8-120hfa7-60hfa6+720hfa5-570hfa4-840hfa3+1320hfa2-480hfa+30hda8-120hda7-60hda6+720hda5-570hda4-840hda3+1320hda2-480hda+6ha10-30ha9+180ha7-66ha6-606ha5+300ha4+1320ha3-1680ha2+576ha+30fda8-120fda7-60fda6+720fda5-570fda4-840fda3+1320fda2-480fda+6fa10-30fa9+180fa7-66fa6-606fa5+300fa4+1320fa3-1680fa2+576fa+6da10-30da9+180da7-66da6-606da5+300da4+1320da3-1680da2+576da+a12-6a11+7a10+10a9+19a8-50a7-431a6+1078a5+100a4-2424a3+2464a2-768a,
120hfdba2-120hfdba+60hfda4-120hfda3-60hfda2+120hfda+60hfba4-120hfba3-60hfba2+120hfba+20hfa6-60hfa5-20hfa4+100hfa3+120hfa2-160hfa+60hdba4-120hdba3-60hdba2+120hdba+20hda6-60hda5-20hda4+100hda3+120hda2-160hda+20hba6-60hba5-20hba4+100hba3+120hba2-160hba+5ha8-20ha7+10ha6+125ha4-100ha3-260ha2+240ha+60fdba4-120fdba3-60fdba2+120fdba+20fda6-60fda5-20fda4+100fda3+120fda2-160fda+20fba6-60fba5-20fba4+100fba3+120fba2-160fba+5fa8-20fa7+10fa6+125fa4-100fa3-260fa2+240fa+20dba6-60dba5-20dba4+100dba3+120dba2-160dba+5da8-20da7+10da6+125da4-100da3-260da2+240da+5ba8-20ba7+10ba6+125ba4-100ba3-260ba2+240ba+a10-5a9+10a8-30a7+69a6+39a5-280a4+20a3+560a2-384a,
24hfdc+24hfdb+24hfda2-24hfda-48hfd+24hfcb+24hfca2-24hfca-48hfc+24hfba2-24hfba-48hfb+12hfa4-24hfa3-36hfa2+24hfa+96hf+24hdcb+24hdca2-24hdca-48hdc+24hdba2-24hdba-48hdb+12hda4-24hda3-36hda2+24hda+96hd+24hcba2-24hcba-48hcb+12hca4-24hca3-36hca2+24hca+96hc+12hba4-24hba3-36hba2+24hba+96hb+4ha6-12ha5-4ha4-4ha3+96ha2+16ha-192h+24fdcb+24fdca2-24fdca-48fdc+24fdba2-24fdba-48fdb+12fda4-24fda3-36fda2+24fda+96fd+24fcba2-24fcba-48fcb+12fca4-24fca3-36fca2+24fca+96fc+12fba4-24fba3-36fba2+24fba+96fb+4fa6-12fa5-4fa4-4fa3+96fa2+16fa-192f+24dcba2-24dcba-48dcb+12dca4-24dca3-36dca2+24dca+96dc+12dba4-24dba3-36dba2+24dba+96db+4da6-12da5-4da4-4da3+96da2+16da-192d+12cba4-24cba3-36cba2+24cba+96cb+4ca6-12ca5-4ca4-4ca3+96ca2+16ca-192c+4ba6-12ba5-4ba4-4ba3+96ba2+16ba-192b+a8-4a7+6a6-24a5+45a4+84a3-196a2-176a+384,
6hfe+6hfd+6hfc+6hfb+6hfa2-6hfa-24hf+6hed+6hec+6heb+6hea2-6hea-24he+6hdc+6hdb+6hda2-6hda-24hd+6hcb+6hca2-6hca-24hc+6hba2-6hba-24hb+3ha4-6ha3-15ha2+6ha+72h+6fed+6fec+6feb+6fea2-6fea-24fe+6fdc+6fdb+6fda2-6fda-24fd+6fcb+6fca2-6fca-24fc+6fba2-6fba-24fb+3fa4-6fa3-15fa2+6fa+72f+6edc+6edb+6eda2-6eda-24ed+6ecb+6eca2-6eca-24ec+6eba2-6eba-24eb+3ea4-6ea3-15ea2+6ea+72e+6dcb+6dca2-6dca-24dc+6dba2-6dba-24db+3da4-6da3-15da2+6da+72d+6cba2-6cba-24cb+3ca4-6ca3-15ca2+6ca+72c+3ba4-6ba3-15ba2+6ba+72b+a6-3a5-a4-7a3+42a2+40a-192,
2hg+2hf+2he+2hd+2hc+2hb+2ha2-2ha-12h+2gf+2ge+2gd+2gc+2gb+2ga2-2ga-12g+2fe+2fd+2fc+2fb+2fa2-2fa-12f+2ed+2ec+2eb+2ea2-2ea-12e+2dc+2db+2da2-2da-12d+2cb+2ca2-2ca-12c+2ba2-2ba-12b+a4-2a3-7a2+2a+48,
h2-2h-a2+2a,
m+h+g+f+e+d+c+b+a2-a-8;
attrib(G,"isSB",1);

attrib(G,"isSB",1);
triangL(G);
triangLfak(G);
triangM(G);
triangM(G, 2);
triangMH(G);
triangMH(G,2);

tst_status(1);$