((0 1)
);; 1 1 1
((1 1)
);; 1 1 1
((2 2)
);; 1 0 2
((4 2)
);; 2 0 3
((9 2)
);; 3 0 6
((23 2)
(30 2)
);; 10 0 6
((65 2)
(98 2)
);; 18 0 24
((197 2)
(318 2)
);; 46 0 72
((626 2)
(687 2)
(1042 2)
);; 95 0 144
((2056 2)
(2376 2)
(3471 2)
);; 236 0 147
((6918 2)
(8191 2)
(11763 2)
);; 528 0 588
((23714 2)
(24331 2)
(28360 2)
(40491 2)
);; 1288 0 672
((82500 2)
(85963 2)
(99009 2)
(141265 2)
);; 2936 0 2136
((290512 2)
(305056 2)
(348927 2)
(498501 2)
);; 6984 0 10152
((1033412 2)
(1040307 2)
(1088749 2)
(1240955 2)
(1520542 2)
(1776287 2)
);; 16212 0 11520
((3707852 2)
(3748297 2)
(3910784 2)
(4450170 2)
(5452954 2)
(6382265 2)
);; 38528 0 29484
((13402697 2)
(13578923 2)
(14138348 2)
(16076426 2)
(19690550 2)
(23097513 2)
);; 90717 0 117936
((48760367 2)
(48842802 2)
(49450897 2)
(51424732 2)
(58454355 2)
(71549119 2)
(84118006 2)
);; 216648 0 270576
((178405157 2)
(178903484 2)
(180996722 2)
(188086309 2)
(213761806 2)
(261462689 2)
(295536234 2)
(308049914 2)
);; 516358 0 656352