(0, 0)
(1907, 838312155568085123)
(3705, 1087956706753168277)
(9, 1144542522651646457)
(1125, 1178804927302692950)
(2173, 1304517305846811181)
(3978, 1417975497222483183)
(1086, 1421018284512443239)
(1186, 1428463882939485873)
(3458, 1468030077636042542)
(4759, 1468359375582603799)
(2455, 1473176980128608248)
(922, 1509082466467642223)
(2610, 1513659371962384475)
(3941, 1538377555725411234)
(2883, 1562474832543512431)
(3834, 1568813197613037263)
(3079, 1645649162706349056)
(1166, 1664681797334452778)
(3387, 1700325597861588545)
