Lines Matching refs:max_abs_frac
33 << " max_abs_frac = " << max_abs_frac \
90 Tp max_abs_frac = -Tp(1);
104 if (std::abs(frac) > max_abs_frac)
105 max_abs_frac = std::abs(frac);
108 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
159 Tp max_abs_frac = -Tp(1);
173 if (std::abs(frac) > max_abs_frac)
174 max_abs_frac = std::abs(frac);
177 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
228 Tp max_abs_frac = -Tp(1);
242 if (std::abs(frac) > max_abs_frac)
243 max_abs_frac = std::abs(frac);
246 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
297 Tp max_abs_frac = -Tp(1);
311 if (std::abs(frac) > max_abs_frac)
312 max_abs_frac = std::abs(frac);
315 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
366 Tp max_abs_frac = -Tp(1);
380 if (std::abs(frac) > max_abs_frac)
381 max_abs_frac = std::abs(frac);
384 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
435 Tp max_abs_frac = -Tp(1);
449 if (std::abs(frac) > max_abs_frac)
450 max_abs_frac = std::abs(frac);
453 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
504 Tp max_abs_frac = -Tp(1);
518 if (std::abs(frac) > max_abs_frac)
519 max_abs_frac = std::abs(frac);
522 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
573 Tp max_abs_frac = -Tp(1);
587 if (std::abs(frac) > max_abs_frac)
588 max_abs_frac = std::abs(frac);
591 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
642 Tp max_abs_frac = -Tp(1);
656 if (std::abs(frac) > max_abs_frac)
657 max_abs_frac = std::abs(frac);
660 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
711 Tp max_abs_frac = -Tp(1);
725 if (std::abs(frac) > max_abs_frac)
726 max_abs_frac = std::abs(frac);
729 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
780 Tp max_abs_frac = -Tp(1);
794 if (std::abs(frac) > max_abs_frac)
795 max_abs_frac = std::abs(frac);
798 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
849 Tp max_abs_frac = -Tp(1);
863 if (std::abs(frac) > max_abs_frac)
864 max_abs_frac = std::abs(frac);
867 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
918 Tp max_abs_frac = -Tp(1);
932 if (std::abs(frac) > max_abs_frac)
933 max_abs_frac = std::abs(frac);
936 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
987 Tp max_abs_frac = -Tp(1);
1001 if (std::abs(frac) > max_abs_frac)
1002 max_abs_frac = std::abs(frac);
1005 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
1056 Tp max_abs_frac = -Tp(1);
1070 if (std::abs(frac) > max_abs_frac)
1071 max_abs_frac = std::abs(frac);
1074 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
1125 Tp max_abs_frac = -Tp(1);
1139 if (std::abs(frac) > max_abs_frac)
1140 max_abs_frac = std::abs(frac);
1143 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
1194 Tp max_abs_frac = -Tp(1);
1208 if (std::abs(frac) > max_abs_frac)
1209 max_abs_frac = std::abs(frac);
1212 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
1263 Tp max_abs_frac = -Tp(1);
1277 if (std::abs(frac) > max_abs_frac)
1278 max_abs_frac = std::abs(frac);
1281 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
1332 Tp max_abs_frac = -Tp(1);
1346 if (std::abs(frac) > max_abs_frac)
1347 max_abs_frac = std::abs(frac);
1350 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
1401 Tp max_abs_frac = -Tp(1);
1415 if (std::abs(frac) > max_abs_frac)
1416 max_abs_frac = std::abs(frac);
1419 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
1470 Tp max_abs_frac = -Tp(1);
1484 if (std::abs(frac) > max_abs_frac)
1485 max_abs_frac = std::abs(frac);
1488 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
1539 Tp max_abs_frac = -Tp(1);
1553 if (std::abs(frac) > max_abs_frac)
1554 max_abs_frac = std::abs(frac);
1557 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
1608 Tp max_abs_frac = -Tp(1);
1622 if (std::abs(frac) > max_abs_frac)
1623 max_abs_frac = std::abs(frac);
1626 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
1677 Tp max_abs_frac = -Tp(1);
1691 if (std::abs(frac) > max_abs_frac)
1692 max_abs_frac = std::abs(frac);
1695 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
1746 Tp max_abs_frac = -Tp(1);
1760 if (std::abs(frac) > max_abs_frac)
1761 max_abs_frac = std::abs(frac);
1764 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
1815 Tp max_abs_frac = -Tp(1);
1829 if (std::abs(frac) > max_abs_frac)
1830 max_abs_frac = std::abs(frac);
1833 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
1884 Tp max_abs_frac = -Tp(1);
1898 if (std::abs(frac) > max_abs_frac)
1899 max_abs_frac = std::abs(frac);
1902 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
1953 Tp max_abs_frac = -Tp(1);
1967 if (std::abs(frac) > max_abs_frac)
1968 max_abs_frac = std::abs(frac);
1971 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
2022 Tp max_abs_frac = -Tp(1);
2036 if (std::abs(frac) > max_abs_frac)
2037 max_abs_frac = std::abs(frac);
2040 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
2091 Tp max_abs_frac = -Tp(1);
2105 if (std::abs(frac) > max_abs_frac)
2106 max_abs_frac = std::abs(frac);
2109 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
2160 Tp max_abs_frac = -Tp(1);
2174 if (std::abs(frac) > max_abs_frac)
2175 max_abs_frac = std::abs(frac);
2178 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
2229 Tp max_abs_frac = -Tp(1);
2243 if (std::abs(frac) > max_abs_frac)
2244 max_abs_frac = std::abs(frac);
2247 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
2298 Tp max_abs_frac = -Tp(1);
2312 if (std::abs(frac) > max_abs_frac)
2313 max_abs_frac = std::abs(frac);
2316 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
2367 Tp max_abs_frac = -Tp(1);
2381 if (std::abs(frac) > max_abs_frac)
2382 max_abs_frac = std::abs(frac);
2385 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
2436 Tp max_abs_frac = -Tp(1);
2450 if (std::abs(frac) > max_abs_frac)
2451 max_abs_frac = std::abs(frac);
2454 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
2505 Tp max_abs_frac = -Tp(1);
2519 if (std::abs(frac) > max_abs_frac)
2520 max_abs_frac = std::abs(frac);
2523 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
2574 Tp max_abs_frac = -Tp(1);
2588 if (std::abs(frac) > max_abs_frac)
2589 max_abs_frac = std::abs(frac);
2592 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
2643 Tp max_abs_frac = -Tp(1);
2657 if (std::abs(frac) > max_abs_frac)
2658 max_abs_frac = std::abs(frac);
2661 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
2712 Tp max_abs_frac = -Tp(1);
2726 if (std::abs(frac) > max_abs_frac)
2727 max_abs_frac = std::abs(frac);
2730 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
2781 Tp max_abs_frac = -Tp(1);
2795 if (std::abs(frac) > max_abs_frac)
2796 max_abs_frac = std::abs(frac);
2799 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
2850 Tp max_abs_frac = -Tp(1);
2864 if (std::abs(frac) > max_abs_frac)
2865 max_abs_frac = std::abs(frac);
2868 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
2919 Tp max_abs_frac = -Tp(1);
2933 if (std::abs(frac) > max_abs_frac)
2934 max_abs_frac = std::abs(frac);
2937 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
2988 Tp max_abs_frac = -Tp(1);
3002 if (std::abs(frac) > max_abs_frac)
3003 max_abs_frac = std::abs(frac);
3006 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
3057 Tp max_abs_frac = -Tp(1);
3071 if (std::abs(frac) > max_abs_frac)
3072 max_abs_frac = std::abs(frac);
3075 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
3126 Tp max_abs_frac = -Tp(1);
3140 if (std::abs(frac) > max_abs_frac)
3141 max_abs_frac = std::abs(frac);
3144 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
3195 Tp max_abs_frac = -Tp(1);
3209 if (std::abs(frac) > max_abs_frac)
3210 max_abs_frac = std::abs(frac);
3213 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
3264 Tp max_abs_frac = -Tp(1);
3278 if (std::abs(frac) > max_abs_frac)
3279 max_abs_frac = std::abs(frac);
3282 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
3333 Tp max_abs_frac = -Tp(1);
3347 if (std::abs(frac) > max_abs_frac)
3348 max_abs_frac = std::abs(frac);
3351 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
3402 Tp max_abs_frac = -Tp(1);
3416 if (std::abs(frac) > max_abs_frac)
3417 max_abs_frac = std::abs(frac);
3420 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
3471 Tp max_abs_frac = -Tp(1);
3485 if (std::abs(frac) > max_abs_frac)
3486 max_abs_frac = std::abs(frac);
3489 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
3540 Tp max_abs_frac = -Tp(1);
3554 if (std::abs(frac) > max_abs_frac)
3555 max_abs_frac = std::abs(frac);
3558 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
3609 Tp max_abs_frac = -Tp(1);
3623 if (std::abs(frac) > max_abs_frac)
3624 max_abs_frac = std::abs(frac);
3627 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
3678 Tp max_abs_frac = -Tp(1);
3692 if (std::abs(frac) > max_abs_frac)
3693 max_abs_frac = std::abs(frac);
3696 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
3747 Tp max_abs_frac = -Tp(1);
3761 if (std::abs(frac) > max_abs_frac)
3762 max_abs_frac = std::abs(frac);
3765 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
3816 Tp max_abs_frac = -Tp(1);
3830 if (std::abs(frac) > max_abs_frac)
3831 max_abs_frac = std::abs(frac);
3834 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
3885 Tp max_abs_frac = -Tp(1);
3899 if (std::abs(frac) > max_abs_frac)
3900 max_abs_frac = std::abs(frac);
3903 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
3954 Tp max_abs_frac = -Tp(1);
3968 if (std::abs(frac) > max_abs_frac)
3969 max_abs_frac = std::abs(frac);
3972 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
4023 Tp max_abs_frac = -Tp(1);
4037 if (std::abs(frac) > max_abs_frac)
4038 max_abs_frac = std::abs(frac);
4041 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
4092 Tp max_abs_frac = -Tp(1);
4106 if (std::abs(frac) > max_abs_frac)
4107 max_abs_frac = std::abs(frac);
4110 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
4161 Tp max_abs_frac = -Tp(1);
4175 if (std::abs(frac) > max_abs_frac)
4176 max_abs_frac = std::abs(frac);
4179 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
4230 Tp max_abs_frac = -Tp(1);
4244 if (std::abs(frac) > max_abs_frac)
4245 max_abs_frac = std::abs(frac);
4248 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
4299 Tp max_abs_frac = -Tp(1);
4313 if (std::abs(frac) > max_abs_frac)
4314 max_abs_frac = std::abs(frac);
4317 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
4368 Tp max_abs_frac = -Tp(1);
4382 if (std::abs(frac) > max_abs_frac)
4383 max_abs_frac = std::abs(frac);
4386 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
4437 Tp max_abs_frac = -Tp(1);
4451 if (std::abs(frac) > max_abs_frac)
4452 max_abs_frac = std::abs(frac);
4455 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
4506 Tp max_abs_frac = -Tp(1);
4520 if (std::abs(frac) > max_abs_frac)
4521 max_abs_frac = std::abs(frac);
4524 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
4575 Tp max_abs_frac = -Tp(1);
4589 if (std::abs(frac) > max_abs_frac)
4590 max_abs_frac = std::abs(frac);
4593 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
4644 Tp max_abs_frac = -Tp(1);
4658 if (std::abs(frac) > max_abs_frac)
4659 max_abs_frac = std::abs(frac);
4662 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
4713 Tp max_abs_frac = -Tp(1);
4727 if (std::abs(frac) > max_abs_frac)
4728 max_abs_frac = std::abs(frac);
4731 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
4782 Tp max_abs_frac = -Tp(1);
4796 if (std::abs(frac) > max_abs_frac)
4797 max_abs_frac = std::abs(frac);
4800 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
4851 Tp max_abs_frac = -Tp(1);
4865 if (std::abs(frac) > max_abs_frac)
4866 max_abs_frac = std::abs(frac);
4869 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
4920 Tp max_abs_frac = -Tp(1);
4934 if (std::abs(frac) > max_abs_frac)
4935 max_abs_frac = std::abs(frac);
4938 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
4989 Tp max_abs_frac = -Tp(1);
5003 if (std::abs(frac) > max_abs_frac)
5004 max_abs_frac = std::abs(frac);
5007 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
5058 Tp max_abs_frac = -Tp(1);
5072 if (std::abs(frac) > max_abs_frac)
5073 max_abs_frac = std::abs(frac);
5076 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
5127 Tp max_abs_frac = -Tp(1);
5141 if (std::abs(frac) > max_abs_frac)
5142 max_abs_frac = std::abs(frac);
5145 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
5196 Tp max_abs_frac = -Tp(1);
5210 if (std::abs(frac) > max_abs_frac)
5211 max_abs_frac = std::abs(frac);
5214 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
5265 Tp max_abs_frac = -Tp(1);
5279 if (std::abs(frac) > max_abs_frac)
5280 max_abs_frac = std::abs(frac);
5283 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
5334 Tp max_abs_frac = -Tp(1);
5348 if (std::abs(frac) > max_abs_frac)
5349 max_abs_frac = std::abs(frac);
5352 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
5403 Tp max_abs_frac = -Tp(1);
5417 if (std::abs(frac) > max_abs_frac)
5418 max_abs_frac = std::abs(frac);
5421 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
5472 Tp max_abs_frac = -Tp(1);
5486 if (std::abs(frac) > max_abs_frac)
5487 max_abs_frac = std::abs(frac);
5490 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
5541 Tp max_abs_frac = -Tp(1);
5555 if (std::abs(frac) > max_abs_frac)
5556 max_abs_frac = std::abs(frac);
5559 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
5610 Tp max_abs_frac = -Tp(1);
5624 if (std::abs(frac) > max_abs_frac)
5625 max_abs_frac = std::abs(frac);
5628 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
5679 Tp max_abs_frac = -Tp(1);
5693 if (std::abs(frac) > max_abs_frac)
5694 max_abs_frac = std::abs(frac);
5697 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
5748 Tp max_abs_frac = -Tp(1);
5762 if (std::abs(frac) > max_abs_frac)
5763 max_abs_frac = std::abs(frac);
5766 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
5817 Tp max_abs_frac = -Tp(1);
5831 if (std::abs(frac) > max_abs_frac)
5832 max_abs_frac = std::abs(frac);
5835 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
5886 Tp max_abs_frac = -Tp(1);
5900 if (std::abs(frac) > max_abs_frac)
5901 max_abs_frac = std::abs(frac);
5904 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
5955 Tp max_abs_frac = -Tp(1);
5969 if (std::abs(frac) > max_abs_frac)
5970 max_abs_frac = std::abs(frac);
5973 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
6024 Tp max_abs_frac = -Tp(1);
6038 if (std::abs(frac) > max_abs_frac)
6039 max_abs_frac = std::abs(frac);
6042 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
6093 Tp max_abs_frac = -Tp(1);
6107 if (std::abs(frac) > max_abs_frac)
6108 max_abs_frac = std::abs(frac);
6111 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
6162 Tp max_abs_frac = -Tp(1);
6176 if (std::abs(frac) > max_abs_frac)
6177 max_abs_frac = std::abs(frac);
6180 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
6231 Tp max_abs_frac = -Tp(1);
6245 if (std::abs(frac) > max_abs_frac)
6246 max_abs_frac = std::abs(frac);
6249 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
6300 Tp max_abs_frac = -Tp(1);
6314 if (std::abs(frac) > max_abs_frac)
6315 max_abs_frac = std::abs(frac);
6318 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
6369 Tp max_abs_frac = -Tp(1);
6383 if (std::abs(frac) > max_abs_frac)
6384 max_abs_frac = std::abs(frac);
6387 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
6438 Tp max_abs_frac = -Tp(1);
6452 if (std::abs(frac) > max_abs_frac)
6453 max_abs_frac = std::abs(frac);
6456 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
6507 Tp max_abs_frac = -Tp(1);
6521 if (std::abs(frac) > max_abs_frac)
6522 max_abs_frac = std::abs(frac);
6525 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
6576 Tp max_abs_frac = -Tp(1);
6590 if (std::abs(frac) > max_abs_frac)
6591 max_abs_frac = std::abs(frac);
6594 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
6645 Tp max_abs_frac = -Tp(1);
6659 if (std::abs(frac) > max_abs_frac)
6660 max_abs_frac = std::abs(frac);
6663 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
6714 Tp max_abs_frac = -Tp(1);
6728 if (std::abs(frac) > max_abs_frac)
6729 max_abs_frac = std::abs(frac);
6732 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
6783 Tp max_abs_frac = -Tp(1);
6797 if (std::abs(frac) > max_abs_frac)
6798 max_abs_frac = std::abs(frac);
6801 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
6852 Tp max_abs_frac = -Tp(1);
6866 if (std::abs(frac) > max_abs_frac)
6867 max_abs_frac = std::abs(frac);
6870 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
6921 Tp max_abs_frac = -Tp(1);
6935 if (std::abs(frac) > max_abs_frac)
6936 max_abs_frac = std::abs(frac);
6939 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
6990 Tp max_abs_frac = -Tp(1);
7004 if (std::abs(frac) > max_abs_frac)
7005 max_abs_frac = std::abs(frac);
7008 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
7059 Tp max_abs_frac = -Tp(1);
7073 if (std::abs(frac) > max_abs_frac)
7074 max_abs_frac = std::abs(frac);
7077 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
7128 Tp max_abs_frac = -Tp(1);
7142 if (std::abs(frac) > max_abs_frac)
7143 max_abs_frac = std::abs(frac);
7146 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
7197 Tp max_abs_frac = -Tp(1);
7211 if (std::abs(frac) > max_abs_frac)
7212 max_abs_frac = std::abs(frac);
7215 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
7266 Tp max_abs_frac = -Tp(1);
7280 if (std::abs(frac) > max_abs_frac)
7281 max_abs_frac = std::abs(frac);
7284 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
7335 Tp max_abs_frac = -Tp(1);
7349 if (std::abs(frac) > max_abs_frac)
7350 max_abs_frac = std::abs(frac);
7353 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
7404 Tp max_abs_frac = -Tp(1);
7418 if (std::abs(frac) > max_abs_frac)
7419 max_abs_frac = std::abs(frac);
7422 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
7473 Tp max_abs_frac = -Tp(1);
7487 if (std::abs(frac) > max_abs_frac)
7488 max_abs_frac = std::abs(frac);
7491 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
7542 Tp max_abs_frac = -Tp(1);
7556 if (std::abs(frac) > max_abs_frac)
7557 max_abs_frac = std::abs(frac);
7560 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
7611 Tp max_abs_frac = -Tp(1);
7625 if (std::abs(frac) > max_abs_frac)
7626 max_abs_frac = std::abs(frac);
7629 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
7680 Tp max_abs_frac = -Tp(1);
7694 if (std::abs(frac) > max_abs_frac)
7695 max_abs_frac = std::abs(frac);
7698 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
7749 Tp max_abs_frac = -Tp(1);
7763 if (std::abs(frac) > max_abs_frac)
7764 max_abs_frac = std::abs(frac);
7767 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
7818 Tp max_abs_frac = -Tp(1);
7832 if (std::abs(frac) > max_abs_frac)
7833 max_abs_frac = std::abs(frac);
7836 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
7887 Tp max_abs_frac = -Tp(1);
7901 if (std::abs(frac) > max_abs_frac)
7902 max_abs_frac = std::abs(frac);
7905 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
7956 Tp max_abs_frac = -Tp(1);
7970 if (std::abs(frac) > max_abs_frac)
7971 max_abs_frac = std::abs(frac);
7974 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
8025 Tp max_abs_frac = -Tp(1);
8039 if (std::abs(frac) > max_abs_frac)
8040 max_abs_frac = std::abs(frac);
8043 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
8094 Tp max_abs_frac = -Tp(1);
8108 if (std::abs(frac) > max_abs_frac)
8109 max_abs_frac = std::abs(frac);
8112 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
8163 Tp max_abs_frac = -Tp(1);
8177 if (std::abs(frac) > max_abs_frac)
8178 max_abs_frac = std::abs(frac);
8181 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
8232 Tp max_abs_frac = -Tp(1);
8246 if (std::abs(frac) > max_abs_frac)
8247 max_abs_frac = std::abs(frac);
8250 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
8301 Tp max_abs_frac = -Tp(1);
8315 if (std::abs(frac) > max_abs_frac)
8316 max_abs_frac = std::abs(frac);
8319 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
8370 Tp max_abs_frac = -Tp(1);
8384 if (std::abs(frac) > max_abs_frac)
8385 max_abs_frac = std::abs(frac);
8388 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
8439 Tp max_abs_frac = -Tp(1);
8453 if (std::abs(frac) > max_abs_frac)
8454 max_abs_frac = std::abs(frac);
8457 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
8508 Tp max_abs_frac = -Tp(1);
8522 if (std::abs(frac) > max_abs_frac)
8523 max_abs_frac = std::abs(frac);
8526 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
8577 Tp max_abs_frac = -Tp(1);
8591 if (std::abs(frac) > max_abs_frac)
8592 max_abs_frac = std::abs(frac);
8595 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
8646 Tp max_abs_frac = -Tp(1);
8660 if (std::abs(frac) > max_abs_frac)
8661 max_abs_frac = std::abs(frac);
8664 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
8715 Tp max_abs_frac = -Tp(1);
8729 if (std::abs(frac) > max_abs_frac)
8730 max_abs_frac = std::abs(frac);
8733 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
8784 Tp max_abs_frac = -Tp(1);
8798 if (std::abs(frac) > max_abs_frac)
8799 max_abs_frac = std::abs(frac);
8802 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
8853 Tp max_abs_frac = -Tp(1);
8867 if (std::abs(frac) > max_abs_frac)
8868 max_abs_frac = std::abs(frac);
8871 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
8922 Tp max_abs_frac = -Tp(1);
8936 if (std::abs(frac) > max_abs_frac)
8937 max_abs_frac = std::abs(frac);
8940 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
8991 Tp max_abs_frac = -Tp(1);
9005 if (std::abs(frac) > max_abs_frac)
9006 max_abs_frac = std::abs(frac);
9009 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
9060 Tp max_abs_frac = -Tp(1);
9074 if (std::abs(frac) > max_abs_frac)
9075 max_abs_frac = std::abs(frac);
9078 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
9129 Tp max_abs_frac = -Tp(1);
9143 if (std::abs(frac) > max_abs_frac)
9144 max_abs_frac = std::abs(frac);
9147 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
9198 Tp max_abs_frac = -Tp(1);
9212 if (std::abs(frac) > max_abs_frac)
9213 max_abs_frac = std::abs(frac);
9216 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
9267 Tp max_abs_frac = -Tp(1);
9281 if (std::abs(frac) > max_abs_frac)
9282 max_abs_frac = std::abs(frac);
9285 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
9336 Tp max_abs_frac = -Tp(1);
9350 if (std::abs(frac) > max_abs_frac)
9351 max_abs_frac = std::abs(frac);
9354 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
9405 Tp max_abs_frac = -Tp(1);
9419 if (std::abs(frac) > max_abs_frac)
9420 max_abs_frac = std::abs(frac);
9423 VERIFY(max_abs_frac < Tp(5.0000000000000039e-13));
9474 Tp max_abs_frac = -Tp(1);
9488 if (std::abs(frac) > max_abs_frac)
9489 max_abs_frac = std::abs(frac);
9492 VERIFY(max_abs_frac < Tp(1.0000000000000008e-12));
9543 Tp max_abs_frac = -Tp(1);
9557 if (std::abs(frac) > max_abs_frac)
9558 max_abs_frac = std::abs(frac);
9561 VERIFY(max_abs_frac < Tp(5.0000000000000039e-13));
9612 Tp max_abs_frac = -Tp(1);
9626 if (std::abs(frac) > max_abs_frac)
9627 max_abs_frac = std::abs(frac);
9630 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
9681 Tp max_abs_frac = -Tp(1);
9695 if (std::abs(frac) > max_abs_frac)
9696 max_abs_frac = std::abs(frac);
9699 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
9750 Tp max_abs_frac = -Tp(1);
9764 if (std::abs(frac) > max_abs_frac)
9765 max_abs_frac = std::abs(frac);
9768 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
9819 Tp max_abs_frac = -Tp(1);
9833 if (std::abs(frac) > max_abs_frac)
9834 max_abs_frac = std::abs(frac);
9837 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
9888 Tp max_abs_frac = -Tp(1);
9902 if (std::abs(frac) > max_abs_frac)
9903 max_abs_frac = std::abs(frac);
9906 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
9957 Tp max_abs_frac = -Tp(1);
9971 if (std::abs(frac) > max_abs_frac)
9972 max_abs_frac = std::abs(frac);
9975 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
10026 Tp max_abs_frac = -Tp(1);
10040 if (std::abs(frac) > max_abs_frac)
10041 max_abs_frac = std::abs(frac);
10044 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
10095 Tp max_abs_frac = -Tp(1);
10109 if (std::abs(frac) > max_abs_frac)
10110 max_abs_frac = std::abs(frac);
10113 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
10164 Tp max_abs_frac = -Tp(1);
10178 if (std::abs(frac) > max_abs_frac)
10179 max_abs_frac = std::abs(frac);
10182 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
10233 Tp max_abs_frac = -Tp(1);
10247 if (std::abs(frac) > max_abs_frac)
10248 max_abs_frac = std::abs(frac);
10251 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
10302 Tp max_abs_frac = -Tp(1);
10316 if (std::abs(frac) > max_abs_frac)
10317 max_abs_frac = std::abs(frac);
10320 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
10371 Tp max_abs_frac = -Tp(1);
10385 if (std::abs(frac) > max_abs_frac)
10386 max_abs_frac = std::abs(frac);
10389 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
10440 Tp max_abs_frac = -Tp(1);
10454 if (std::abs(frac) > max_abs_frac)
10455 max_abs_frac = std::abs(frac);
10458 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
10509 Tp max_abs_frac = -Tp(1);
10523 if (std::abs(frac) > max_abs_frac)
10524 max_abs_frac = std::abs(frac);
10527 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
10578 Tp max_abs_frac = -Tp(1);
10592 if (std::abs(frac) > max_abs_frac)
10593 max_abs_frac = std::abs(frac);
10596 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
10647 Tp max_abs_frac = -Tp(1);
10661 if (std::abs(frac) > max_abs_frac)
10662 max_abs_frac = std::abs(frac);
10665 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
10716 Tp max_abs_frac = -Tp(1);
10730 if (std::abs(frac) > max_abs_frac)
10731 max_abs_frac = std::abs(frac);
10734 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
10785 Tp max_abs_frac = -Tp(1);
10799 if (std::abs(frac) > max_abs_frac)
10800 max_abs_frac = std::abs(frac);
10803 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
10854 Tp max_abs_frac = -Tp(1);
10868 if (std::abs(frac) > max_abs_frac)
10869 max_abs_frac = std::abs(frac);
10872 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
10923 Tp max_abs_frac = -Tp(1);
10937 if (std::abs(frac) > max_abs_frac)
10938 max_abs_frac = std::abs(frac);
10941 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
10992 Tp max_abs_frac = -Tp(1);
11006 if (std::abs(frac) > max_abs_frac)
11007 max_abs_frac = std::abs(frac);
11010 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
11061 Tp max_abs_frac = -Tp(1);
11075 if (std::abs(frac) > max_abs_frac)
11076 max_abs_frac = std::abs(frac);
11079 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
11130 Tp max_abs_frac = -Tp(1);
11144 if (std::abs(frac) > max_abs_frac)
11145 max_abs_frac = std::abs(frac);
11148 VERIFY(max_abs_frac < Tp(2.5000000000000015e-12));
11199 Tp max_abs_frac = -Tp(1);
11213 if (std::abs(frac) > max_abs_frac)
11214 max_abs_frac = std::abs(frac);
11217 VERIFY(max_abs_frac < Tp(5.0000000000000039e-13));
11268 Tp max_abs_frac = -Tp(1);
11282 if (std::abs(frac) > max_abs_frac)
11283 max_abs_frac = std::abs(frac);
11286 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
11337 Tp max_abs_frac = -Tp(1);
11351 if (std::abs(frac) > max_abs_frac)
11352 max_abs_frac = std::abs(frac);
11355 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
11406 Tp max_abs_frac = -Tp(1);
11420 if (std::abs(frac) > max_abs_frac)
11421 max_abs_frac = std::abs(frac);
11424 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
11475 Tp max_abs_frac = -Tp(1);
11489 if (std::abs(frac) > max_abs_frac)
11490 max_abs_frac = std::abs(frac);
11493 VERIFY(max_abs_frac < Tp(1.0000000000000006e-11));
11544 Tp max_abs_frac = -Tp(1);
11558 if (std::abs(frac) > max_abs_frac)
11559 max_abs_frac = std::abs(frac);
11562 VERIFY(max_abs_frac < Tp(2.5000000000000014e-11));
11613 Tp max_abs_frac = -Tp(1);
11627 if (std::abs(frac) > max_abs_frac)
11628 max_abs_frac = std::abs(frac);
11631 VERIFY(max_abs_frac < Tp(2.5000000000000015e-12));
11682 Tp max_abs_frac = -Tp(1);
11696 if (std::abs(frac) > max_abs_frac)
11697 max_abs_frac = std::abs(frac);
11700 VERIFY(max_abs_frac < Tp(5.0000000000000039e-13));
11751 Tp max_abs_frac = -Tp(1);
11765 if (std::abs(frac) > max_abs_frac)
11766 max_abs_frac = std::abs(frac);
11769 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
11820 Tp max_abs_frac = -Tp(1);
11834 if (std::abs(frac) > max_abs_frac)
11835 max_abs_frac = std::abs(frac);
11838 VERIFY(max_abs_frac < Tp(5.0000000000000034e-10));
11889 Tp max_abs_frac = -Tp(1);
11903 if (std::abs(frac) > max_abs_frac)
11904 max_abs_frac = std::abs(frac);
11907 VERIFY(max_abs_frac < Tp(2.5000000000000013e-09));
11958 Tp max_abs_frac = -Tp(1);
11972 if (std::abs(frac) > max_abs_frac)
11973 max_abs_frac = std::abs(frac);
11976 VERIFY(max_abs_frac < Tp(1.0000000000000006e-10));
12027 Tp max_abs_frac = -Tp(1);
12041 if (std::abs(frac) > max_abs_frac)
12042 max_abs_frac = std::abs(frac);
12045 VERIFY(max_abs_frac < Tp(1.0000000000000006e-11));
12096 Tp max_abs_frac = -Tp(1);
12110 if (std::abs(frac) > max_abs_frac)
12111 max_abs_frac = std::abs(frac);
12114 VERIFY(max_abs_frac < Tp(1.0000000000000008e-12));
12165 Tp max_abs_frac = -Tp(1);
12179 if (std::abs(frac) > max_abs_frac)
12180 max_abs_frac = std::abs(frac);
12183 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
12234 Tp max_abs_frac = -Tp(1);
12248 if (std::abs(frac) > max_abs_frac)
12249 max_abs_frac = std::abs(frac);
12252 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
12303 Tp max_abs_frac = -Tp(1);
12317 if (std::abs(frac) > max_abs_frac)
12318 max_abs_frac = std::abs(frac);
12321 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
12372 Tp max_abs_frac = -Tp(1);
12386 if (std::abs(frac) > max_abs_frac)
12387 max_abs_frac = std::abs(frac);
12390 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
12441 Tp max_abs_frac = -Tp(1);
12455 if (std::abs(frac) > max_abs_frac)
12456 max_abs_frac = std::abs(frac);
12459 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
12510 Tp max_abs_frac = -Tp(1);
12524 if (std::abs(frac) > max_abs_frac)
12525 max_abs_frac = std::abs(frac);
12528 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
12579 Tp max_abs_frac = -Tp(1);
12593 if (std::abs(frac) > max_abs_frac)
12594 max_abs_frac = std::abs(frac);
12597 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
12648 Tp max_abs_frac = -Tp(1);
12662 if (std::abs(frac) > max_abs_frac)
12663 max_abs_frac = std::abs(frac);
12666 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
12717 Tp max_abs_frac = -Tp(1);
12731 if (std::abs(frac) > max_abs_frac)
12732 max_abs_frac = std::abs(frac);
12735 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
12786 Tp max_abs_frac = -Tp(1);
12800 if (std::abs(frac) > max_abs_frac)
12801 max_abs_frac = std::abs(frac);
12804 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
12855 Tp max_abs_frac = -Tp(1);
12869 if (std::abs(frac) > max_abs_frac)
12870 max_abs_frac = std::abs(frac);
12873 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
12924 Tp max_abs_frac = -Tp(1);
12938 if (std::abs(frac) > max_abs_frac)
12939 max_abs_frac = std::abs(frac);
12942 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
12993 Tp max_abs_frac = -Tp(1);
13007 if (std::abs(frac) > max_abs_frac)
13008 max_abs_frac = std::abs(frac);
13011 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
13062 Tp max_abs_frac = -Tp(1);
13076 if (std::abs(frac) > max_abs_frac)
13077 max_abs_frac = std::abs(frac);
13080 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
13131 Tp max_abs_frac = -Tp(1);
13145 if (std::abs(frac) > max_abs_frac)
13146 max_abs_frac = std::abs(frac);
13149 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
13200 Tp max_abs_frac = -Tp(1);
13214 if (std::abs(frac) > max_abs_frac)
13215 max_abs_frac = std::abs(frac);
13218 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
13269 Tp max_abs_frac = -Tp(1);
13283 if (std::abs(frac) > max_abs_frac)
13284 max_abs_frac = std::abs(frac);
13287 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
13338 Tp max_abs_frac = -Tp(1);
13352 if (std::abs(frac) > max_abs_frac)
13353 max_abs_frac = std::abs(frac);
13356 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
13407 Tp max_abs_frac = -Tp(1);
13421 if (std::abs(frac) > max_abs_frac)
13422 max_abs_frac = std::abs(frac);
13425 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
13476 Tp max_abs_frac = -Tp(1);
13490 if (std::abs(frac) > max_abs_frac)
13491 max_abs_frac = std::abs(frac);
13494 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
13545 Tp max_abs_frac = -Tp(1);
13559 if (std::abs(frac) > max_abs_frac)
13560 max_abs_frac = std::abs(frac);
13563 VERIFY(max_abs_frac < Tp(1.0000000000000006e-11));
13614 Tp max_abs_frac = -Tp(1);
13628 if (std::abs(frac) > max_abs_frac)
13629 max_abs_frac = std::abs(frac);
13632 VERIFY(max_abs_frac < Tp(2.5000000000000014e-11));
13683 Tp max_abs_frac = -Tp(1);
13697 if (std::abs(frac) > max_abs_frac)
13698 max_abs_frac = std::abs(frac);
13701 VERIFY(max_abs_frac < Tp(2.5000000000000015e-12));
13752 Tp max_abs_frac = -Tp(1);
13766 if (std::abs(frac) > max_abs_frac)
13767 max_abs_frac = std::abs(frac);
13770 VERIFY(max_abs_frac < Tp(5.0000000000000039e-13));
13821 Tp max_abs_frac = -Tp(1);
13835 if (std::abs(frac) > max_abs_frac)
13836 max_abs_frac = std::abs(frac);
13839 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
13890 Tp max_abs_frac = -Tp(1);
13904 if (std::abs(frac) > max_abs_frac)
13905 max_abs_frac = std::abs(frac);
13908 VERIFY(max_abs_frac < Tp(1.0000000000000006e-10));
13959 Tp max_abs_frac = -Tp(1);
13973 if (std::abs(frac) > max_abs_frac)
13974 max_abs_frac = std::abs(frac);
13977 VERIFY(max_abs_frac < Tp(2.5000000000000013e-09));
14028 Tp max_abs_frac = -Tp(1);
14042 if (std::abs(frac) > max_abs_frac)
14043 max_abs_frac = std::abs(frac);
14046 VERIFY(max_abs_frac < Tp(2.5000000000000017e-10));
14097 Tp max_abs_frac = -Tp(1);
14111 if (std::abs(frac) > max_abs_frac)
14112 max_abs_frac = std::abs(frac);
14115 VERIFY(max_abs_frac < Tp(1.0000000000000006e-10));
14166 Tp max_abs_frac = -Tp(1);
14180 if (std::abs(frac) > max_abs_frac)
14181 max_abs_frac = std::abs(frac);
14184 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
14235 Tp max_abs_frac = -Tp(1);
14249 if (std::abs(frac) > max_abs_frac)
14250 max_abs_frac = std::abs(frac);
14253 VERIFY(max_abs_frac < Tp(1.0000000000000005e-08));
14304 Tp max_abs_frac = -Tp(1);
14318 if (std::abs(frac) > max_abs_frac)
14319 max_abs_frac = std::abs(frac);
14322 VERIFY(max_abs_frac < Tp(5.0000000000000024e-08));
14373 Tp max_abs_frac = -Tp(1);
14387 if (std::abs(frac) > max_abs_frac)
14388 max_abs_frac = std::abs(frac);
14391 VERIFY(max_abs_frac < Tp(5.0000000000000019e-07));
14442 Tp max_abs_frac = -Tp(1);
14456 if (std::abs(frac) > max_abs_frac)
14457 max_abs_frac = std::abs(frac);
14460 VERIFY(max_abs_frac < Tp(2.5000000000000012e-08));
14511 Tp max_abs_frac = -Tp(1);
14525 if (std::abs(frac) > max_abs_frac)
14526 max_abs_frac = std::abs(frac);
14529 VERIFY(max_abs_frac < Tp(5.0000000000000039e-13));
14580 Tp max_abs_frac = -Tp(1);
14594 if (std::abs(frac) > max_abs_frac)
14595 max_abs_frac = std::abs(frac);
14598 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
14649 Tp max_abs_frac = -Tp(1);
14663 if (std::abs(frac) > max_abs_frac)
14664 max_abs_frac = std::abs(frac);
14667 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
14718 Tp max_abs_frac = -Tp(1);
14732 if (std::abs(frac) > max_abs_frac)
14733 max_abs_frac = std::abs(frac);
14736 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
14787 Tp max_abs_frac = -Tp(1);
14801 if (std::abs(frac) > max_abs_frac)
14802 max_abs_frac = std::abs(frac);
14805 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
14856 Tp max_abs_frac = -Tp(1);
14870 if (std::abs(frac) > max_abs_frac)
14871 max_abs_frac = std::abs(frac);
14874 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
14925 Tp max_abs_frac = -Tp(1);
14939 if (std::abs(frac) > max_abs_frac)
14940 max_abs_frac = std::abs(frac);
14943 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
14994 Tp max_abs_frac = -Tp(1);
15008 if (std::abs(frac) > max_abs_frac)
15009 max_abs_frac = std::abs(frac);
15012 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
15063 Tp max_abs_frac = -Tp(1);
15077 if (std::abs(frac) > max_abs_frac)
15078 max_abs_frac = std::abs(frac);
15081 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
15132 Tp max_abs_frac = -Tp(1);
15146 if (std::abs(frac) > max_abs_frac)
15147 max_abs_frac = std::abs(frac);
15150 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
15201 Tp max_abs_frac = -Tp(1);
15215 if (std::abs(frac) > max_abs_frac)
15216 max_abs_frac = std::abs(frac);
15219 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
15270 Tp max_abs_frac = -Tp(1);
15284 if (std::abs(frac) > max_abs_frac)
15285 max_abs_frac = std::abs(frac);
15288 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
15339 Tp max_abs_frac = -Tp(1);
15353 if (std::abs(frac) > max_abs_frac)
15354 max_abs_frac = std::abs(frac);
15357 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
15408 Tp max_abs_frac = -Tp(1);
15422 if (std::abs(frac) > max_abs_frac)
15423 max_abs_frac = std::abs(frac);
15426 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
15477 Tp max_abs_frac = -Tp(1);
15491 if (std::abs(frac) > max_abs_frac)
15492 max_abs_frac = std::abs(frac);
15495 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
15546 Tp max_abs_frac = -Tp(1);
15560 if (std::abs(frac) > max_abs_frac)
15561 max_abs_frac = std::abs(frac);
15564 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
15615 Tp max_abs_frac = -Tp(1);
15629 if (std::abs(frac) > max_abs_frac)
15630 max_abs_frac = std::abs(frac);
15633 VERIFY(max_abs_frac < Tp(5.0000000000000039e-13));
15684 Tp max_abs_frac = -Tp(1);
15698 if (std::abs(frac) > max_abs_frac)
15699 max_abs_frac = std::abs(frac);
15702 VERIFY(max_abs_frac < Tp(1.0000000000000008e-12));
15753 Tp max_abs_frac = -Tp(1);
15767 if (std::abs(frac) > max_abs_frac)
15768 max_abs_frac = std::abs(frac);
15771 VERIFY(max_abs_frac < Tp(5.0000000000000039e-13));
15822 Tp max_abs_frac = -Tp(1);
15836 if (std::abs(frac) > max_abs_frac)
15837 max_abs_frac = std::abs(frac);
15840 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
15891 Tp max_abs_frac = -Tp(1);
15905 if (std::abs(frac) > max_abs_frac)
15906 max_abs_frac = std::abs(frac);
15909 VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
15960 Tp max_abs_frac = -Tp(1);
15974 if (std::abs(frac) > max_abs_frac)
15975 max_abs_frac = std::abs(frac);
15978 VERIFY(max_abs_frac < Tp(5.0000000000000034e-10));
16029 Tp max_abs_frac = -Tp(1);
16043 if (std::abs(frac) > max_abs_frac)
16044 max_abs_frac = std::abs(frac);
16047 VERIFY(max_abs_frac < Tp(2.5000000000000013e-09));
16098 Tp max_abs_frac = -Tp(1);
16112 if (std::abs(frac) > max_abs_frac)
16113 max_abs_frac = std::abs(frac);
16116 VERIFY(max_abs_frac < Tp(1.0000000000000006e-10));
16167 Tp max_abs_frac = -Tp(1);
16181 if (std::abs(frac) > max_abs_frac)
16182 max_abs_frac = std::abs(frac);
16185 VERIFY(max_abs_frac < Tp(1.0000000000000006e-11));
16236 Tp max_abs_frac = -Tp(1);
16250 if (std::abs(frac) > max_abs_frac)
16251 max_abs_frac = std::abs(frac);
16254 VERIFY(max_abs_frac < Tp(1.0000000000000008e-12));
16305 Tp max_abs_frac = -Tp(1);
16319 if (std::abs(frac) > max_abs_frac)
16320 max_abs_frac = std::abs(frac);
16323 VERIFY(max_abs_frac < Tp(1.0000000000000005e-08));
16374 Tp max_abs_frac = -Tp(1);
16388 if (std::abs(frac) > max_abs_frac)
16389 max_abs_frac = std::abs(frac);
16392 VERIFY(max_abs_frac < Tp(5.0000000000000024e-08));
16443 Tp max_abs_frac = -Tp(1);
16457 if (std::abs(frac) > max_abs_frac)
16458 max_abs_frac = std::abs(frac);
16461 VERIFY(max_abs_frac < Tp(5.0000000000000019e-07));
16512 Tp max_abs_frac = -Tp(1);
16526 if (std::abs(frac) > max_abs_frac)
16527 max_abs_frac = std::abs(frac);
16530 VERIFY(max_abs_frac < Tp(2.5000000000000012e-08));
16581 Tp max_abs_frac = -Tp(1);
16595 if (std::abs(frac) > max_abs_frac)
16596 max_abs_frac = std::abs(frac);
16599 VERIFY(max_abs_frac < Tp(5.0000000000000039e-13));
16650 Tp max_abs_frac = -Tp(1);
16664 if (std::abs(frac) > max_abs_frac)
16665 max_abs_frac = std::abs(frac);
16668 VERIFY(max_abs_frac < Tp(1.0000000000000005e-07));
16719 Tp max_abs_frac = -Tp(1);
16733 if (std::abs(frac) > max_abs_frac)
16734 max_abs_frac = std::abs(frac);
16737 VERIFY(max_abs_frac < Tp(2.5000000000000006e-06));
16788 Tp max_abs_frac = -Tp(1);
16802 if (std::abs(frac) > max_abs_frac)
16803 max_abs_frac = std::abs(frac);
16806 VERIFY(max_abs_frac < Tp(2.5000000000000005e-05));
16857 Tp max_abs_frac = -Tp(1);
16871 if (std::abs(frac) > max_abs_frac)
16872 max_abs_frac = std::abs(frac);
16875 VERIFY(max_abs_frac < Tp(2.5000000000000005e-05));
16926 Tp max_abs_frac = -Tp(1);
16940 if (std::abs(frac) > max_abs_frac)
16941 max_abs_frac = std::abs(frac);
16944 VERIFY(max_abs_frac < Tp(2.5000000000000005e-05));