2022-02-27 18:42:25 +02:00
Public.points_in_m20t20_squared_sorted_by_distance_to_origin = { { 0 , 0 } , { 1 , 0 } , { 0 , 1 } , { 0 , - 1 } , { - 1 , 0 } , { 1 , 1 } , { 1 , - 1 } , { - 1 , 1 } , { - 1 , - 1 } , { 2 , 0 } , { 0 , 2 } , { 0 , - 2 } , { - 2 , 0 } , { 2 , 1 } , { 2 , - 1 } , { 1 , 2 } , { 1 , - 2 } , { - 1 , 2 } , { - 1 , - 2 } , { - 2 , 1 } , { - 2 , - 1 } , { 2 , 2 } , { 2 , - 2 } , { - 2 , 2 } , { - 2 , - 2 } , { 3 , 0 } , { 0 , 3 } , { 0 , - 3 } , { - 3 , 0 } , { 3 , 1 } , { 3 , - 1 } , { 1 , 3 } , { 1 , - 3 } , { - 1 , 3 } , { - 1 , - 3 } , { - 3 , 1 } , { - 3 , - 1 } , { 3 , 2 } , { 3 , - 2 } , { 2 , 3 } , { 2 , - 3 } , { - 2 , 3 } , { - 2 , - 3 } , { - 3 , 2 } , { - 3 , - 2 } , { 4 , 0 } , { 0 , 4 } , { 0 , - 4 } , { - 4 , 0 } , { 4 , 1 } , { 4 , - 1 } , { 1 , 4 } , { 1 , - 4 } , { - 1 , 4 } , { - 1 , - 4 } , { - 4 , 1 } , { - 4 , - 1 } , { 3 , 3 } , { 3 , - 3 } , { - 3 , 3 } , { - 3 , - 3 } , { 4 , 2 } , { 4 , - 2 } , { 2 , 4 } , { 2 , - 4 } , { - 2 , 4 } , { - 2 , - 4 } , { - 4 , 2 } , { - 4 , - 2 } , { 5 , 0 } , { 4 , 3 } , { 4 , - 3 } , { 3 , 4 } , { 3 , - 4 } , { 0 , 5 } , { 0 , - 5 } , { - 3 , 4 } , { - 3 , - 4 } , { - 4 , 3 } , { - 4 , - 3 } , { - 5 , 0 } , { 5 , 1 } , { 5 , - 1 } , { 1 , 5 } , { 1 , - 5 } , { - 1 , 5 } , { - 1 , - 5 } , { - 5 , 1 } , { - 5 , - 1 } , { 5 , 2 } , { 5 , - 2 } , { 2 , 5 } , { 2 , - 5 } , { - 2 , 5 } , { - 2 , - 5 } , { - 5 , 2 } , { - 5 , - 2 } , { 4 , 4 } , { 4 , - 4 } , { - 4 , 4 } , { - 4 , - 4 } , { 5 , 3 } , { 5 , - 3 } , { 3 , 5 } , { 3 , - 5 } , { - 3 , 5 } , { - 3 , - 5 } , { - 5 , 3 } , { - 5 , - 3 } , { 6 , 0 } , { 0 , 6 } , { 0 , - 6 } , { - 6 , 0 } , { 6 , 1 } , { 6 , - 1 } , { 1 , 6 } , { 1 , - 6 } , { - 1 , 6 } , { - 1 , - 6 } , { - 6 , 1 } , { - 6 , - 1 } , { 6 , 2 } , { 6 , - 2 } , { 2 , 6 } , { 2 , - 6 } , { - 2 , 6 } , { - 2 , - 6 } , { - 6 , 2 } , { - 6 , - 2 } , { 5 , 4 } , { 5 , - 4 } , { 4 , 5 } , { 4 , - 5 } , { - 4 , 5 } , { - 4 , - 5 } , { - 5 , 4 } , { - 5 , - 4 } , { 6 , 3 } , { 6 , - 3 } , { 3 , 6 } , { 3 , - 6 } , { - 3 , 6 } , { - 3 , - 6 } , { - 6 , 3 } , { - 6 , - 3 } , { 7 , 0 } , { 0 , 7 } , { 0 , - 7 } , { - 7 , 0 } , { 7 , 1 } , { 7 , - 1 } , { 5 , 5 } , { 5 , - 5 } , { 1 , 7 } , { 1 , - 7 } , { - 1 , 7 } , { - 1 , - 7 } , { - 5 , 5 } , { - 5 , - 5 } , { - 7 , 1 } , { - 7 , - 1 } , { 6 , 4 } , { 6 , - 4 } , { 4 , 6 } , { 4 , - 6 } , { - 4 , 6 } , { - 4 , - 6 } , { - 6 , 4 } , { - 6 , - 4 } , { 7 , 2 } , { 7 , - 2 } , { 2 , 7 } , { 2 , - 7 } , { - 2 , 7 } , { - 2 , - 7 } , { - 7 , 2 } , { - 7 , - 2 } , { 7 , 3 } , { 7 , - 3 } , { 3 , 7 } , { 3 , - 7 } , { - 3 , 7 } , { - 3 , - 7 } , { - 7 , 3 } , { - 7 , - 3 } , { 6 , 5 } , { 6 , - 5 } , { 5 , 6 } , { 5 , - 6 } , { - 5 , 6 } , { - 5 , - 6 } , { - 6 , 5 } , { - 6 , - 5 } , { 8 , 0 } , { 0 , 8 } , { 0 , - 8 } , { - 8 , 0 } , { 8 , 1 } , { 8 , - 1 } , { 7 , 4 } , { 7 , - 4 } , { 4 , 7 } , { 4 , - 7 } , { 1 , 8 } , { 1 , - 8 } , { - 1 , 8 } , { - 1 , - 8 } , { - 4 , 7 } , { - 4 , - 7 } , { - 7 , 4 } , { - 7 , - 4 } , { - 8 , 1 } , { - 8 , - 1 } , { 8 , 2 } , { 8 , - 2 } , { 2 , 8 } , { 2 , - 8 } , { - 2 , 8 } , { - 2 , - 8 } , { - 8 , 2 } , { - 8 , - 2 } , { 6 , 6 } , { 6 , - 6 } , { - 6 , 6 } , { - 6 , - 6 } , { 8 , 3 } , { 8 , - 3 } , { 3 , 8 } , { 3 , - 8 } , { - 3 , 8 } , { - 3 , - 8 } , { - 8 , 3 } , { - 8 , - 3 } , { 7 , 5 } , { 7 , - 5 } , { 5 , 7 } , { 5 , - 7 } , { - 5 , 7 } , { - 5 , - 7 } , { - 7 , 5 } , { - 7 , - 5 } , { 8 , 4 } , { 8 , - 4 } , { 4 , 8 } , { 4 , - 8 } , { - 4 , 8 } , { - 4 , - 8 } , { - 8 , 4 } , { - 8 , - 4 } , { 9 , 0 } , { 0 , 9 } , { 0 , - 9 } , { - 9 , 0 } , { 9 , 1 } , { 9 , - 1 } , { 1 , 9 } , { 1 , - 9 } , { - 1 , 9 } , { - 1 , - 9 } , { - 9 , 1 } , { - 9 , - 1 } , { 9 , 2 } , { 9 , - 2 } , { 7 , 6 } , { 7 , - 6 } , { 6 , 7 } , { 6 , - 7 } , { 2 , 9 } , { 2 , - 9 } , { - 2 , 9 } , { - 2 , - 9 } , { - 6 , 7 } , { - 6 , - 7 } , { - 7 , 6 } , { - 7 , - 6 } , { - 9 , 2 } , { - 9 , - 2 } , { 8 , 5 } , { 8 , - 5 } , { 5 , 8 } , { 5 , - 8 } , { - 5 , 8 } , { - 5 , - 8 } , { - 8 , 5 } , { - 8 , - 5 } , { 9 , 3 } , { 9 , - 3 } , { 3 , 9 } , { 3 , - 9 } , { - 3 , 9 } , { - 3 , - 9 } , { - 9 , 3 } , { - 9 , - 3 } , { 9 , 4 } , { 9 , - 4 } , { 4 , 9 } , { 4 , - 9 } , { - 4 , 9 } , { - 4 , - 9 } , { - 9 , 4 } , { - 9 , - 4 } , { 7 , 7 } , { 7 , - 7 } , { - 7 , 7 } , { - 7 , - 7 } , { 10 , 0 } , { 8 , 6 } , { 8 , - 6 } , { 6 , 8 } , { 6 , - 8 } , { 0 , 10 } , { 0 , - 10 } , { - 6 , 8 } , { - 6 , - 8 } , { - 8 , 6 } , { - 8 , - 6 } , { - 10 , 0 } , { 10 , 1 } , { 10 , - 1 } , { 1 , 10 } , { 1 , - 10 } , { - 1 , 10 } , { - 1 , - 10 } , { - 10 , 1 } , { - 10 , - 1 } , { 10 , 2 } , { 10 , - 2 } , { 2 , 10 } , { 2 , - 10 } , { - 2 , 10 } , { - 2 , - 10 } , { - 10 , 2 } , { - 10 , - 2 } , { 9 , 5 } , { 9 , - 5 } , { 5 , 9 } , { 5 , - 9 } , { - 5 , 9 } , { - 5 , - 9 } , { - 9 , 5 } , { - 9 , - 5 } , { 10 , 3 } , { 10 , - 3 } , { 3 , 10 } , { 3 , - 10 } , { - 3 , 10 } , { - 3 , - 10 } , { - 10 , 3 } , { - 10 , - 3 } , { 8 , 7 } , { 8 , - 7 } , { 7 , 8 } , { 7 , - 8 } , { - 7 , 8 } , { - 7 , - 8 } , { - 8 , 7 } , { - 8 , - 7 } , { 10 , 4 } , { 10 , - 4 } , { 4 , 10 } , { 4 , - 10 } , { - 4 , 10 } , { - 4 , - 10 } , { - 10 , 4 } , { - 10 , - 4 } , { 9 , 6 } , { 9 , - 6 } , { 6 , 9 } , { 6 , - 9 } , { - 6 , 9 } , { - 6 , - 9 } , { - 9 , 6 } , { - 9 , - 6 } , { 11 , 0 } , { 0 , 11 } , { 0 , - 11 } , { - 11 , 0 } , { 11 , 1 } , { 11 , - 1 } , { 1 , 11 } , { 1 , - 11 } , { - 1 , 11 } , { - 1 , - 11 } , { - 11 , 1 } , { - 11 , - 1 } , { 11 , 2 } , { 11 , - 2 } , { 10 , 5 } , { 10 , - 5 } , { 5 , 10 } , { 5 , - 10 } , { 2 , 11 } , { 2 , - 11 } , { - 2 , 11 } , { - 2 , - 11 } , { - 5 , 10 } , { - 5 , - 10 } , { - 10 , 5 } , { - 10 , - 5 } , { - 11 , 2 } , { - 11 , - 2 } , { 8 , 8 } , { 8 , - 8 } , { - 8 , 8 } , { - 8 , - 8 } , { 11 , 3 } , { 11 , - 3 } , { 9 , 7 } , { 9 , - 7 } , { 7 , 9 } , { 7 , - 9 } , { 3 , 11 } , { 3 , - 11 } , { - 3 , 11 } , { - 3 , - 11 } , { - 7 , 9 } , { - 7 , - 9 } , { - 9 , 7 } , { - 9 , - 7 } , { - 11 , 3 } , { - 11 , - 3 } , { 10 , 6 } , { 10 , - 6 } , { 6 , 10 } , { 6 , - 10 } , { - 6 , 10 } , { - 6 , - 10 } , { - 10 , 6 } , { - 10 , - 6 } , { 11 , 4 } , { 11 , - 4 } , { 4 , 11 } , { 4 , - 11 } , { - 4 , 11 } , { - 4 , - 11 } , { - 11 , 4 } , { - 11 , - 4 } , { 12 , 0 } , { 0 , 12 } , { 0 , - 12 } , { - 12 ,