Boolean_circuit loading ...