Farey_sequence loading ...