(1617, 9214042832292019893)
(456, 9201109373922996398)
(79, 9184262691866002919)
(151, 9176133320560951205)
(2290, 9173312751108670186)
(3471, 9171228042783832460)
(4429, 9158240895768168009)
(35, 9153140375974382920)
(3263, 9138227860378019922)
(2983, 9111120247622675474)
(723, 9090382358999627350)
(4745, 9045640672595277882)
(319, 9028746551246053579)
(126, 9028487677075263899)
(2325, 8999176038677595873)
(573, 8996213978719708951)
(4604, 8928199101670653229)
(884, 8927820561396094535)
(1156, 8909848387205755877)
(5, 8862451721035913772)
