Pythagorean_triple loading ...