(0, 0)
(1907, 1997845887)
(1125, 2751548176)
(3506, 2769001173)
(3673, 2772145926)
(3705, 2812713355)
(1186, 2858930919)
(2455, 2959931890)
(9, 2980198101)
(2173, 2988087451)
(3978, 2993955387)
(2883, 3140661851)
(4192, 3144475566)
(711, 3153674561)
(3458, 3223769154)
(1166, 3240471814)
(3079, 3261344788)
(1407, 3282549132)
(3834, 3286322583)
(1086, 3303366445)
