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