(
(5 3)
);; 2 0 3
((27 3)
(29 3)
(32 3)
);; 10 0 6
((210 3)
(215 3)
(224 3)
(245 3)
(275 3)
(282 3)
(303 3)
);; 46 0 72
((2097 3)
(2111 3)
(2139 3)
(2206 3)
(2299 3)
(2324 3)
(2389 3)
(2514 3)
(2533 3)
(2742 3)
(2832 3)
(2929 3)
(3177 3)
(3212 3)
(3342 3)
);; 236 0 147
((23845 3)
(23887 3)
(23977 3)
(24198 3)
(24496 3)
(24585 3)
(24793 3)
(25232 3)
(25294 3)
(25974 3)
(26271 3)
(26620 3)
(27437 3)
(27579 3)
(28009 3)
(28689 3)
(28737 3)
(29053 3)
(29298 3)
(29440 3)
(30856 3)
(31153 3)
(32198 3)
(32319 3)
(32891 3)
(33523 3)
(33585 3)
(35826 3)
(36398 3)
(36913 3)
(38675 3)
(38873 3)
(39676 3)
);; 1288 0 672