2025-07-18 ...before ...langrage20250609.txt

l0(x):=(x-2)/(1-2)*(x-4)/(1-2)*(x-8)/(1-8)*(x-9)/(1-9)*(x-12)/(1-12)*(x-13)/(1-13)*(x-15)/(1-15)*(x-16)/(1-16);
l1(x):=(x-1)/(2-1)*(x-4)/(2-4)*(x-8)/(2-8)*(x-9)/(2-9)*(x-12)/(2-12)*(x-13)/(2-13)*(x-15)/(2-15)*(x-16)/(2-16);
l2(x):=(x-1)/(4-1)*(x-2)/(4-2)*(x-8)/(4-8)*(x-9)/(4-9)*(x-12)/(4-12)*(x-13)/(4-13)*(x-15)/(4-15)*(x-16)/(4-16);
l3(x):=(x-1)/(8-1)*(x-2)/(8-2)*(x-4)/(8-4)*(x-9)/(8-9)*(x-12)/(8-12)*(x-13)/(8-13)*(x-15)/(8-15)*(x-16)/(8-16);
l4(x):=(x-1)/(9-1)*(x-2)/(9-2)*(x-4)/(9-4)*(x-8)/(9-8)*(x-12)/(9-12)*(x-13)/(9-13)*(x-15)/(9-15)*(x-16)/(9-16);
l5(x):=(x-1)/(12-1)*(x-2)/(12-2)*(x-4)/(12-4)*(x-8)/(12-8)*(x-9)/(12-9)*(x-13)/(12-13)*(x-15)/(12-15)*(x-16)/(12-16);
l6(x):=(x-1)/(13-1)*(x-2)/(13-2)*(x-4)/(13-4)*(x-8)/(13-8)*(x-9)/(13-9)*(x-12)/(13-12)*(x-15)/(13-15)*(x-16)/(13-16);
l7(x):=(x-1)/(15-1)*(x-2)/(15-2)*(x-4)/(15-4)*(x-8)/(15-8)*(x-9)/(15-9)*(x-12)/(15-12)*(x-13)/(15-13)*(x-16)/(15-16);
l8(x):=(x-1)/(16-1)*(x-2)/(16-2)*(x-4)/(16-4)*(x-8)/(16-8)*(x-9)/(16-9)*(x-12)/(16-12)*(x-13)/(16-13)*(x-15)/(16-15);

g(x):=f(1)*l0(x)+f(2)*l1(x)+f(4)+l2(x)+f(8)*l3(x)+f(9)+l4(x)+f(12)+l5(x)+f(13)*l6(x)+f(15)*l7(x)+f(16)*l8(x);