vericert,vericert-fun 1.532967,0.694505 2.442761,0.473064 1.393443,0.727459 1.474654,0.606759 1.570388,0.543689 1.345946,0.745946 1.309859,0.848592 1.571644,0.736048 1.635406,0.545838 1.067164,0.748134 1.484444,1.071111 1.764471,0.93014 1.183544,0.628165 1.468132,1.389011 1.339048,1.068571 1.491525,0.664407 1.58838,0.783961 1.478424,0.510319 1.673529,1.473529 1.401508,0.509896 1.504412,0.960294 1.288889,0 1.496855,0.643082 4.135104,1.055427 2.317143,0.888571 1.908894,0.678959 1.267769,0.545455