-t;0.0 m0 + 1.0 m1 < t;0.01 m0 + 1.0 m1 < t;0.02 m0 + 0.9997979797979798 m1 < t;0.03 m0 + 0.9993939393939394 m1 < t;0.04 m0 + 0.9987878787878788 m1 < t;0.05 m0 + 0.997979797979798 m1 < t;0.06 m0 + 0.996969696969697 m1 < t;0.07 m0 + 0.9957575757575757 m1 < t;0.08 m0 + 0.9943434343434343 m1 < t;0.09 m0 + 0.9927272727272727 m1 < t;0.1 m0 + 0.990909090909091 m1 < t;0.11 m0 + 0.9888888888888889 m1 < t;0.12 m0 + 0.9866666666666667 m1 < t;0.13 m0 + 0.9842424242424243 m1 < t;0.14 m0 + 0.9816161616161616 m1 < t;0.15 m0 + 0.9787878787878788 m1 < t;0.16 m0 + 0.9757575757575757 m1 < t;0.17 m0 + 0.9725252525252526 m1 < t;0.18 m0 + 0.9690909090909091 m1 < t;0.19 m0 + 0.9654545454545455 m1 < t;0.2 m0 + 0.9616161616161616 m1 < t;0.21 m0 + 0.9575757575757575 m1 < t;0.22 m0 + 0.9533333333333334 m1 < t;0.23 m0 + 0.9488888888888889 m1 < t;0.24 m0 + 0.9442424242424242 m1 < t;0.25 m0 + 0.9393939393939394 m1 < t;0.26 m0 + 0.9343434343434344 m1 < t;0.27 m0 + 0.9290909090909091 m1 < t;0.28 m0 + 0.9236363636363636 m1 < t;0.29 m0 + 0.917979797979798 m1 < t;0.3 m0 + 0.9121212121212121 m1 < t;0.31 m0 + 0.906060606060606 m1 < t;0.32 m0 + 0.8997979797979798 m1 < t;0.33 m0 + 0.8933333333333333 m1 < t;0.34 m0 + 0.8866666666666667 m1 < t;0.35 m0 + 0.8797979797979798 m1 < t;0.36 m0 + 0.8727272727272727 m1 < t;0.37 m0 + 0.8654545454545455 m1 < t;0.38 m0 + 0.857979797979798 m1 < t;0.39 m0 + 0.8503030303030303 m1 < t;0.4 m0 + 0.8424242424242424 m1 < t;0.41 m0 + 0.8343434343434344 m1 < t;0.42 m0 + 0.826060606060606 m1 < t;0.43 m0 + 0.8175757575757576 m1 < t;0.44 m0 + 0.8088888888888889 m1 < t;0.45 m0 + 0.8 m1 < t;0.46 m0 + 0.7909090909090909 m1 < t;0.47 m0 + 0.7816161616161617 m1 < t;0.48 m0 + 0.7721212121212121 m1 < t;0.49 m0 + 0.7624242424242424 m1 < t;0.5 m0 + 0.7525252525252525 m1 < t;0.51 m0 + 0.7424242424242424 m1 < t;0.52 m0 + 0.7321212121212122 m1 < t;0.53 m0 + 0.7216161616161616 m1 < t;0.54 m0 + 0.7109090909090909 m1 < t;0.55 m0 + 0.7 m1 < t;0.56 m0 + 0.6888888888888889 m1 < t;0.57 m0 + 0.6775757575757576 m1 < t;0.58 m0 + 0.666060606060606 m1 < t;0.59 m0 + 0.6543434343434343 m1 < t;0.6 m0 + 0.6424242424242425 m1 < t;0.61 m0 + 0.6303030303030303 m1 < t;0.62 m0 + 0.617979797979798 m1 < t;0.63 m0 + 0.6054545454545455 m1 < t;0.64 m0 + 0.5927272727272728 m1 < t;0.65 m0 + 0.5797979797979798 m1 < t;0.66 m0 + 0.5666666666666667 m1 < t;0.67 m0 + 0.5533333333333333 m1 < t;0.68 m0 + 0.5397979797979798 m1 < t;0.69 m0 + 0.526060606060606 m1 < t;0.7 m0 + 0.5121212121212121 m1 < t;0.71 m0 + 0.49797979797979797 m1 < t;0.72 m0 + 0.48363636363636364 m1 < t;0.73 m0 + 0.4690909090909091 m1 < t;0.74 m0 + 0.4543434343434343 m1 < t;0.75 m0 + 0.4393939393939394 m1 < t;0.76 m0 + 0.42424242424242425 m1 < t;0.77 m0 + 0.4088888888888889 m1 < t;0.78 m0 + 0.3933333333333333 m1 < t;0.79 m0 + 0.37757575757575756 m1 < t;0.8 m0 + 0.3616161616161616 m1 < t;0.81 m0 + 0.34545454545454546 m1 < t;0.82 m0 + 0.3290909090909091 m1 < t;0.83 m0 + 0.31252525252525254 m1 < t;0.84 m0 + 0.2957575757575758 m1 < t;0.85 m0 + 0.2787878787878788 m1 < t;0.86 m0 + 0.26161616161616164 m1 < t;0.87 m0 + 0.24424242424242423 m1 < t;0.88 m0 + 0.22666666666666666 m1 < t;0.89 m0 + 0.2088888888888889 m1 < t;0.9 m0 + 0.19090909090909092 m1 < t;0.91 m0 + 0.17272727272727273 m1 < t;0.92 m0 + 0.15434343434343434 m1 < t;0.93 m0 + 0.13575757575757577 m1 < t;0.94 m0 + 0.11696969696969697 m1 < t;0.95 m0 + 0.09797979797979799 m1 < t;0.96 m0 + 0.07878787878787878 m1 < t;0.97 m0 + 0.059393939393939395 m1 < t;0.98 m0 + 0.0397979797979798 m1 < t;0.99 m0 + 0.02 m1 < t;1.0 m0 + 0.0 m1 < t;m0 + m1 = 1;