Big_algebraic_solver.elf