- double as[] = {-8.24404295, 64.23892342, -95.73056462, 153.86478679};
- double bs[] = {-3.37154371, 28.44489198, -56.67657741, 72.05858751};
+ double as[] = {-3.68389304, 30.07065921, -60.52878723, 149.53378557};
+ double bs[] = {-2.0181857, 15.85685038, -29.83452023, 47.59078827};