Arithmetic_circuit_complexity loading ...