(*This is in the format (bz,b3)*) psb00 = {0, 1/3} std00 = {1/1000, 0, 8, 2} eps00 = {e3 -> 1/270, e4 -> 1/300, e5 -> 1/300} acc00 = 40