MSOLVE_MAX_GB_DEGREE=5 MSOLVE_REDUCE_GB=0 MSOLVE_HIGH_DEGREE_PAIR_START=5 MSOLVE_HIGH_DEGREE_PAIR_CAP=2000 MSOLVE_PURE_LAST_POWER_OUT=team/worker_m1max/dossiers/AIM-ARITHMETIC_GEOMETRY-0078/checks/a10_primary_obstruction_p3.degree5.reproduction.pure_last_power.txt team/worker_m1max/tmp/msolve_build/build-truncated-2/msolve -f team/worker_m1max/dossiers/AIM-ARITHMETIC_GEOMETRY-0078/checks/a10_primary_obstruction_p3.ms -o /private/tmp/a10_primary_obstruction_p3.degree5.reproduction.solver.out -g 1 -v 2 -t 8
