assign(max_mem, 24000). assign(max_seconds, 14400). % clear(print_kept). clear(print_new_demod). clear(print_back_demod). clear(print_given). set(para_pairs). % assign(pick_given_ratio, 4). set(basic_paramod). assoc_comm(+). op(500, xfy, +). assign(max_weight, 30). end_of_commands. list(sos). C + D = C. % hypothesis n(n(n(y) + x) + n(x + y)) = x. % Robbins axiom end_of_list. list(passive). x + x != x. end_of_list.