files / problems / simon-ionization-excess / compute / q13 / certs / aspect_c.txt
empty_bad 0 nonempty_bad 0 two_atom_Q 9.9554455445544554e-01 cut 9.0909090909090906e-01 ok 1
files / problems / simon-ionization-excess / compute / q13 / certs / aspect_c.txt
empty_bad 0 nonempty_bad 0 two_atom_Q 9.9554455445544554e-01 cut 9.0909090909090906e-01 ok 1