Integer_relation_algorithm loading ...