vericert,vericert-fun
2.874567,2.890138
2.064507,2.024059
2.018529,2.057718
2.553546,2.644371
1.629528,1.458129
2.649152,2.652406
2.244284,2.22325
3.184623,3.075592
3.212696,3.000344
1.846985,1.8659
2.0846,2.063738
2.683782,2.7166
2.336773,2.349229
1.86928,1.918754
2.75994,2.70762
2.692454,2.883045
2.848325,2.737868
2.470766,2.540274
5.976952,5.805205
2.288145,2.387671
4.783038,4.749155
2.630884,0.0001
3.996176,4.078228
4.190279,3.776937
2.90839,2.85629
2.716611,2.79227
2.805196,2.907335