(0L, 1.0)
(6536L, 0.9599522306946177)
(7840L, 0.9565343293818769)
(3090L, 0.9563950672404361)
(8126L, 0.952657331014531)
(3353L, 0.9518741519709454)
(9519L, 0.9499994844678612)
(4074L, 0.9478872373203641)
(7284L, 0.9345462139244156)
(7859L, 0.9294972581540084)
(1862L, 0.9264643070420843)
(6648L, 0.92536324687141)
(8316L, 0.9242122097221823)
(8088L, 0.9228191285286549)
(3480L, 0.9165524850400061)
(704L, 0.9087600092103062)
(7547L, 0.9059695717483692)
(6173L, 0.9049733307166455)
(9105L, 0.9027392176768642)
(8180L, 0.9023709423766878)
