-t;0.0 m0 + 1.0 m1 < t;0.0020 m0 + 1.0 m1 < t;0.0040 m0 + 0.9999919839679359 m1 < t;0.0060 m0 + 0.9999759519038076 m1 < t;0.0080 m0 + 0.9999519038076152 m1 < t;0.01 m0 + 0.9999198396793587 m1 < t;0.012 m0 + 0.9998797595190381 m1 < t;0.014 m0 + 0.9998316633266533 m1 < t;0.016 m0 + 0.9997755511022044 m1 < t;0.018 m0 + 0.9997114228456914 m1 < t;0.02 m0 + 0.9996392785571142 m1 < t;0.022 m0 + 0.9995591182364729 m1 < t;0.024 m0 + 0.9994709418837675 m1 < t;0.026 m0 + 0.999374749498998 m1 < t;0.028 m0 + 0.9992705410821643 m1 < t;0.03 m0 + 0.9991583166332665 m1 < t;0.032 m0 + 0.9990380761523046 m1 < t;0.034 m0 + 0.9989098196392786 m1 < t;0.036 m0 + 0.9987735470941884 m1 < t;0.038 m0 + 0.9986292585170341 m1 < t;0.04 m0 + 0.9984769539078157 m1 < t;0.042 m0 + 0.9983166332665331 m1 < t;0.044 m0 + 0.9981482965931864 m1 < t;0.046 m0 + 0.9979719438877755 m1 < t;0.048 m0 + 0.9977875751503006 m1 < t;0.05 m0 + 0.9975951903807615 m1 < t;0.052 m0 + 0.9973947895791583 m1 < t;0.054 m0 + 0.9971863727454909 m1 < t;0.056 m0 + 0.9969699398797596 m1 < t;0.058 m0 + 0.996745490981964 m1 < t;0.06 m0 + 0.9965130260521042 m1 < t;0.062 m0 + 0.9962725450901804 m1 < t;0.064 m0 + 0.9960240480961924 m1 < t;0.066 m0 + 0.9957675350701403 m1 < t;0.068 m0 + 0.995503006012024 m1 < t;0.07 m0 + 0.9952304609218436 m1 < t;0.072 m0 + 0.9949498997995992 m1 < t;0.074 m0 + 0.9946613226452906 m1 < t;0.076 m0 + 0.9943647294589179 m1 < t;0.078 m0 + 0.994060120240481 m1 < t;0.08 m0 + 0.9937474949899799 m1 < t;0.082 m0 + 0.9934268537074148 m1 < t;0.084 m0 + 0.9930981963927856 m1 < t;0.086 m0 + 0.9927615230460922 m1 < t;0.088 m0 + 0.9924168336673347 m1 < t;0.09 m0 + 0.992064128256513 m1 < t;0.092 m0 + 0.9917034068136272 m1 < t;0.094 m0 + 0.9913346693386773 m1 < t;0.096 m0 + 0.9909579158316634 m1 < t;0.098 m0 + 0.9905731462925852 m1 < t;0.1 m0 + 0.9901803607214429 m1 < t;0.102 m0 + 0.9897795591182365 m1 < t;0.104 m0 + 0.9893707414829659 m1 < t;0.106 m0 + 0.9889539078156313 m1 < t;0.108 m0 + 0.9885290581162325 m1 < t;0.11 m0 + 0.9880961923847695 m1 < t;0.112 m0 + 0.9876553106212425 m1 < t;0.114 m0 + 0.9872064128256512 m1 < t;0.116 m0 + 0.986749498997996 m1 < t;0.118 m0 + 0.9862845691382766 m1 < t;0.12 m0 + 0.985811623246493 m1 < t;0.122 m0 + 0.9853306613226452 m1 < t;0.124 m0 + 0.9848416833667335 m1 < t;0.126 m0 + 0.9843446893787575 m1 < t;0.128 m0 + 0.9838396793587174 m1 < t;0.13 m0 + 0.9833266533066132 m1 < t;0.132 m0 + 0.9828056112224449 m1 < t;0.134 m0 + 0.9822765531062124 m1 < t;0.136 m0 + 0.9817394789579158 m1 < t;0.138 m0 + 0.9811943887775552 m1 < t;0.14 m0 + 0.9806412825651303 m1 < t;0.142 m0 + 0.9800801603206413 m1 < t;0.144 m0 + 0.9795110220440881 m1 < t;0.146 m0 + 0.978933867735471 m1 < t;0.148 m0 + 0.9783486973947896 m1 < t;0.15 m0 + 0.977755511022044 m1 < t;0.152 m0 + 0.9771543086172345 m1 < t;0.154 m0 + 0.9765450901803607 m1 < t;0.156 m0 + 0.9759278557114228 m1 < t;0.158 m0 + 0.9753026052104209 m1 < t;0.16 m0 + 0.9746693386773547 m1 < t;0.162 m0 + 0.9740280561122244 m1 < t;0.164 m0 + 0.9733787575150301 m1 < t;0.166 m0 + 0.9727214428857716 m1 < t;0.168 m0 + 0.9720561122244489 m1 < t;0.17 m0 + 0.9713827655310622 m1 < t;0.172 m0 + 0.9707014028056112 m1 < t;0.174 m0 + 0.9700120240480962 m1 < t;0.176 m0 + 0.9693146292585171 m1 < t;0.178 m0 + 0.9686092184368738 m1 < t;0.18 m0 + 0.9678957915831663 m1 < t;0.182 m0 + 0.9671743486973948 m1 < t;0.184 m0 + 0.9664448897795591 m1 < t;0.186 m0 + 0.9657074148296593 m1 < t;0.188 m0 + 0.9649619238476954 m1 < t;0.19 m0 + 0.9642084168336673 m1 < t;0.192 m0 + 0.9634468937875752 m1 < t;0.194 m0 + 0.9626773547094188 m1 < t;0.196 m0 + 0.9618997995991984 m1 < t;0.198 m0 + 0.9611142284569139 m1 < t;0.2 m0 + 0.9603206412825651 m1 < t;0.202 m0 + 0.9595190380761524 m1 < t;0.204 m0 + 0.9587094188376754 m1 < t;0.206 m0 + 0.9578917835671342 m1 < t;0.208 m0 + 0.9570661322645291 m1 < t;0.21 m0 + 0.9562324649298597 m1 < t;0.212 m0 + 0.9553907815631263 m1 < t;0.214 m0 + 0.9545410821643286 m1 < t;0.216 m0 + 0.953683366733467 m1 < t;0.218 m0 + 0.9528176352705411 m1 < t;0.22 m0 + 0.9519438877755511 m1 < t;0.222 m0 + 0.951062124248497 m1 < t;0.224 m0 + 0.9501723446893787 m1 < t;0.226 m0 + 0.9492745490981964 m1 < t;0.228 m0 + 0.9483687374749499 m1 < t;0.23 m0 + 0.9474549098196393 m1 < t;0.232 m0 + 0.9465330661322645 m1 < t;0.234 m0 + 0.9456032064128257 m1 < t;0.236 m0 + 0.9446653306613226 m1 < t;0.238 m0 + 0.9437194388777556 m1 < t;0.24 m0 + 0.9427655310621242 m1 < t;0.242 m0 + 0.9418036072144289 m1 < t;0.244 m0 + 0.9408336673346693 m1 < t;0.246 m0 + 0.9398557114228457 m1 < t;0.248 m0 + 0.9388697394789579 m1 < t;0.25 m0 + 0.9378757515030061 m1 < t;0.252 m0 + 0.93687374749499 m1 < t;0.254 m0 + 0.9358637274549099 m1 < t;0.256 m0 + 0.9348456913827655 m1 < t;0.258 m0 + 0.9338196392785572 m1 < t;0.26 m0 + 0.9327855711422846 m1 < t;0.262 m0 + 0.9317434869739479 m1 < t;0.264 m0 + 0.9306933867735471 m1 < t;0.266 m0 + 0.9296352705410822 m1 < t;0.268 m0 + 0.9285691382765531 m1 < t;0.27 m0 + 0.9274949899799599 m1 < t;0.272 m0 + 0.9264128256513026 m1 < t;0.274 m0 + 0.9253226452905812 m1 < t;0.276 m0 + 0.9242244488977955 m1 < t;0.278 m0 + 0.9231182364729459 m1 < t;0.28 m0 + 0.9220040080160321 m1 < t;0.282 m0 + 0.9208817635270541 m1 < t;0.284 m0 + 0.919751503006012 m1 < t;0.286 m0 + 0.9186132264529058 m1 < t;0.288 m0 + 0.9174669338677355 m1 < t;0.29 m0 + 0.9163126252505011 m1 < t;0.292 m0 + 0.9151503006012024 m1 < t;0.294 m0 + 0.9139799599198397 m1 < t;0.296 m0 + 0.9128016032064128 m1 < t;0.298 m0 + 0.9116152304609219 m1 < t;0.3 m0 + 0.9104208416833668 m1 < t;0.302 m0 + 0.9092184368737475 m1 < t;0.304 m0 + 0.9080080160320642 m1 < t;0.306 m0 + 0.9067895791583166 m1 < t;0.308 m0 + 0.905563126252505 m1 < t;0.31 m0 + 0.9043286573146293 m1 < t;0.312 m0 + 0.9030861723446894 m1 < t;0.314 m0 + 0.9018356713426854 m1 < t;0.316 m0 + 0.9005771543086173 m1 < t;0.318 m0 + 0.899310621242485 m1 < t;0.32 m0 + 0.8980360721442886 m1 < t;0.322 m0 + 0.896753507014028 m1 < t;0.324 m0 + 0.8954629258517034 m1 < t;0.326 m0 + 0.8941643286573147 m1 < t;0.328 m0 + 0.8928577154308617 m1 < t;0.33 m0 + 0.8915430861723447 m1 < t;0.332 m0 + 0.8902204408817636 m1 < t;0.334 m0 + 0.8888897795591182 m1 < t;0.336 m0 + 0.8875511022044088 m1 < t;0.338 m0 + 0.8862044088176353 m1 < t;0.34 m0 + 0.8848496993987975 m1 < t;0.342 m0 + 0.8834869739478958 m1 < t;0.344 m0 + 0.8821162324649299 m1 < t;0.346 m0 + 0.8807374749498998 m1 < t;0.348 m0 + 0.8793507014028056 m1 < t;0.35 m0 + 0.8779559118236473 m1 < t;0.352 m0 + 0.8765531062124249 m1 < t;0.354 m0 + 0.8751422845691382 m1 < t;0.356 m0 + 0.8737234468937876 m1 < t;0.358 m0 + 0.8722965931863728 m1 < t;0.36 m0 + 0.8708617234468938 m1 < t;0.362 m0 + 0.8694188376753507 m1 < t;0.364 m0 + 0.8679679358717435 m1 < t;0.366 m0 + 0.8665090180360722 m1 < t;0.368 m0 + 0.8650420841683367 m1 < t;0.37 m0 + 0.863567134268537 m1 < t;0.372 m0 + 0.8620841683366733 m1 < t;0.374 m0 + 0.8605931863727455 m1 < t;0.376 m0 + 0.8590941883767536 m1 < t;0.378 m0 + 0.8575871743486974 m1 < t;0.38 m0 + 0.8560721442885771 m1 < t;0.382 m0 + 0.8545490981963928 m1 < t;0.384 m0 + 0.8530180360721443 m1 < t;0.386 m0 + 0.8514789579158316 m1 < t;0.388 m0 + 0.8499318637274549 m1 < t;0.39 m0 + 0.848376753507014 m1 < t;0.392 m0 + 0.846813627254509 m1 < t;0.394 m0 + 0.8452424849699399 m1 < t;0.396 m0 + 0.8436633266533066 m1 < t;0.398 m0 + 0.8420761523046092 m1 < t;0.4 m0 + 0.8404809619238477 m1 < t;0.402 m0 + 0.8388777555110221 m1 < t;0.404 m0 + 0.8372665330661323 m1 < t;0.406 m0 + 0.8356472945891783 m1 < t;0.408 m0 + 0.8340200400801603 m1 < t;0.41 m0 + 0.8323847695390781 m1 < t;0.412 m0 + 0.8307414829659319 m1 < t;0.414 m0 + 0.8290901803607215 m1 < t;0.416 m0 + 0.8274308617234469 m1 < t;0.418 m0 + 0.8257635270541083 m1 < t;0.42 m0 + 0.8240881763527054 m1 < t;0.422 m0 + 0.8224048096192385 m1 < t;0.424 m0 + 0.8207134268537074 m1 < t;0.426 m0 + 0.8190140280561122 m1 < t;0.428 m0 + 0.8173066132264529 m1 < t;0.43 m0 + 0.8155911823647295 m1 < t;0.432 m0 + 0.8138677354709419 m1 < t;0.434 m0 + 0.8121362725450901 m1 < t;0.436 m0 + 0.8103967935871743 m1 < t;0.438 m0 + 0.8086492985971944 m1 < t;0.44 m0 + 0.8068937875751503 m1 < t;0.442 m0 + 0.8051302605210421 m1 < t;0.444 m0 + 0.8033587174348698 m1 < t;0.446 m0 + 0.8015791583166333 m1 < t;0.448 m0 + 0.7997915831663327 m1 < t;0.45 m0 + 0.797995991983968 m1 < t;0.452 m0 + 0.7961923847695391 m1 < t;0.454 m0 + 0.794380761523046 m1 < t;0.456 m0 + 0.7925611222444889 m1 < t;0.458 m0 + 0.7907334669338677 m1 < t;0.46 m0 + 0.7888977955911823 m1 < t;0.462 m0 + 0.7870541082164328 m1 < t;0.464 m0 + 0.7852024048096192 m1 < t;0.466 m0 + 0.7833426853707415 m1 < t;0.468 m0 + 0.7814749498997996 m1 < t;0.47 m0 + 0.7795991983967936 m1 < t;0.472 m0 + 0.7777154308617235 m1 < t;0.474 m0 + 0.7758236472945892 m1 < t;0.476 m0 + 0.7739238476953908 m1 < t;0.478 m0 + 0.7720160320641283 m1 < t;0.48 m0 + 0.7701002004008016 m1 < t;0.482 m0 + 0.7681763527054108 m1 < t;0.484 m0 + 0.7662444889779559 m1 < t;0.486 m0 + 0.7643046092184369 m1 < t;0.488 m0 + 0.7623567134268537 m1 < t;0.49 m0 + 0.7604008016032064 m1 < t;0.492 m0 + 0.758436873747495 m1 < t;0.494 m0 + 0.7564649298597195 m1 < t;0.496 m0 + 0.7544849699398798 m1 < t;0.498 m0 + 0.752496993987976 m1 < t;0.5 m0 + 0.750501002004008 m1 < t;0.502 m0 + 0.748496993987976 m1 < t;0.504 m0 + 0.7464849699398798 m1 < t;0.506 m0 + 0.7444649298597195 m1 < t;0.508 m0 + 0.742436873747495 m1 < t;0.51 m0 + 0.7404008016032064 m1 < t;0.512 m0 + 0.7383567134268537 m1 < t;0.514 m0 + 0.7363046092184369 m1 < t;0.516 m0 + 0.7342444889779559 m1 < t;0.518 m0 + 0.7321763527054108 m1 < t;0.52 m0 + 0.7301002004008016 m1 < t;0.522 m0 + 0.7280160320641282 m1 < t;0.524 m0 + 0.7259238476953908 m1 < t;0.526 m0 + 0.7238236472945891 m1 < t;0.528 m0 + 0.7217154308617234 m1 < t;0.53 m0 + 0.7195991983967935 m1 < t;0.532 m0 + 0.7174749498997997 m1 < t;0.534 m0 + 0.7153426853707415 m1 < t;0.536 m0 + 0.7132024048096193 m1 < t;0.538 m0 + 0.7110541082164329 m1 < t;0.54 m0 + 0.7088977955911824 m1 < t;0.542 m0 + 0.7067334669338677 m1 < t;0.544 m0 + 0.704561122244489 m1 < t;0.546 m0 + 0.7023807615230461 m1 < t;0.548 m0 + 0.700192384769539 m1 < t;0.55 m0 + 0.6979959919839679 m1 < t;0.552 m0 + 0.6957915831663327 m1 < t;0.554 m0 + 0.6935791583166333 m1 < t;0.556 m0 + 0.6913587174348698 m1 < t;0.558 m0 + 0.6891302605210421 m1 < t;0.56 m0 + 0.6868937875751503 m1 < t;0.562 m0 + 0.6846492985971944 m1 < t;0.564 m0 + 0.6823967935871743 m1 < t;0.566 m0 + 0.6801362725450901 m1 < t;0.568 m0 + 0.6778677354709419 m1 < t;0.57 m0 + 0.6755911823647295 m1 < t;0.572 m0 + 0.6733066132264529 m1 < t;0.574 m0 + 0.6710140280561122 m1 < t;0.576 m0 + 0.6687134268537074 m1 < t;0.578 m0 + 0.6664048096192384 m1 < t;0.58 m0 + 0.6640881763527055 m1 < t;0.582 m0 + 0.6617635270541082 m1 < t;0.584 m0 + 0.6594308617234469 m1 < t;0.586 m0 + 0.6570901803607214 m1 < t;0.588 m0 + 0.6547414829659318 m1 < t;0.59 m0 + 0.6523847695390782 m1 < t;0.592 m0 + 0.6500200400801603 m1 < t;0.594 m0 + 0.6476472945891784 m1 < t;0.596 m0 + 0.6452665330661322 m1 < t;0.598 m0 + 0.642877755511022 m1 < t;0.6 m0 + 0.6404809619238477 m1 < t;0.602 m0 + 0.6380761523046092 m1 < t;0.604 m0 + 0.6356633266533066 m1 < t;0.606 m0 + 0.6332424849699398 m1 < t;0.608 m0 + 0.6308136272545091 m1 < t;0.61 m0 + 0.628376753507014 m1 < t;0.612 m0 + 0.6259318637274549 m1 < t;0.614 m0 + 0.6234789579158316 m1 < t;0.616 m0 + 0.6210180360721443 m1 < t;0.618 m0 + 0.6185490981963928 m1 < t;0.62 m0 + 0.6160721442885772 m1 < t;0.622 m0 + 0.6135871743486974 m1 < t;0.624 m0 + 0.6110941883767536 m1 < t;0.626 m0 + 0.6085931863727455 m1 < t;0.628 m0 + 0.6060841683366733 m1 < t;0.63 m0 + 0.603567134268537 m1 < t;0.632 m0 + 0.6010420841683367 m1 < t;0.634 m0 + 0.5985090180360721 m1 < t;0.636 m0 + 0.5959679358717435 m1 < t;0.638 m0 + 0.5934188376753508 m1 < t;0.64 m0 + 0.5908617234468938 m1 < t;0.642 m0 + 0.5882965931863727 m1 < t;0.644 m0 + 0.5857234468937875 m1 < t;0.646 m0 + 0.5831422845691383 m1 < t;0.648 m0 + 0.5805531062124248 m1 < t;0.65 m0 + 0.5779559118236473 m1 < t;0.652 m0 + 0.5753507014028056 m1 < t;0.654 m0 + 0.5727374749498998 m1 < t;0.656 m0 + 0.5701162324649298 m1 < t;0.658 m0 + 0.5674869739478958 m1 < t;0.66 m0 + 0.5648496993987976 m1 < t;0.662 m0 + 0.5622044088176352 m1 < t;0.664 m0 + 0.5595511022044088 m1 < t;0.666 m0 + 0.5568897795591182 m1 < t;0.668 m0 + 0.5542204408817635 m1 < t;0.67 m0 + 0.5515430861723447 m1 < t;0.672 m0 + 0.5488577154308617 m1 < t;0.674 m0 + 0.5461643286573147 m1 < t;0.676 m0 + 0.5434629258517034 m1 < t;0.678 m0 + 0.540753507014028 m1 < t;0.68 m0 + 0.5380360721442886 m1 < t;0.682 m0 + 0.535310621242485 m1 < t;0.684 m0 + 0.5325771543086172 m1 < t;0.686 m0 + 0.5298356713426854 m1 < t;0.688 m0 + 0.5270861723446894 m1 < t;0.69 m0 + 0.5243286573146293 m1 < t;0.692 m0 + 0.521563126252505 m1 < t;0.694 m0 + 0.5187895791583166 m1 < t;0.696 m0 + 0.5160080160320641 m1 < t;0.698 m0 + 0.5132184368737475 m1 < t;0.7 m0 + 0.5104208416833668 m1 < t;0.702 m0 + 0.5076152304609218 m1 < t;0.704 m0 + 0.5048016032064129 m1 < t;0.706 m0 + 0.5019799599198397 m1 < t;0.708 m0 + 0.4991503006012024 m1 < t;0.71 m0 + 0.496312625250501 m1 < t;0.712 m0 + 0.4934669338677355 m1 < t;0.714 m0 + 0.49061322645290584 m1 < t;0.716 m0 + 0.487751503006012 m1 < t;0.718 m0 + 0.4848817635270541 m1 < t;0.72 m0 + 0.48200400801603205 m1 < t;0.722 m0 + 0.4791182364729459 m1 < t;0.724 m0 + 0.4762244488977956 m1 < t;0.726 m0 + 0.47332264529058116 m1 < t;0.728 m0 + 0.4704128256513026 m1 < t;0.73 m0 + 0.4674949899799599 m1 < t;0.732 m0 + 0.4645691382765531 m1 < t;0.734 m0 + 0.46163527054108217 m1 < t;0.736 m0 + 0.4586933867735471 m1 < t;0.738 m0 + 0.4557434869739479 m1 < t;0.74 m0 + 0.45278557114228457 m1 < t;0.742 m0 + 0.4498196392785571 m1 < t;0.744 m0 + 0.44684569138276553 m1 < t;0.746 m0 + 0.4438637274549098 m1 < t;0.748 m0 + 0.44087374749499 m1 < t;0.75 m0 + 0.437875751503006 m1 < t;0.752 m0 + 0.4348697394789579 m1 < t;0.754 m0 + 0.4318557114228457 m1 < t;0.756 m0 + 0.4288336673346693 m1 < t;0.758 m0 + 0.42580360721442884 m1 < t;0.76 m0 + 0.4227655310621242 m1 < t;0.762 m0 + 0.41971943887775554 m1 < t;0.764 m0 + 0.41666533066132266 m1 < t;0.766 m0 + 0.41360320641282566 m1 < t;0.768 m0 + 0.41053306613226453 m1 < t;0.77 m0 + 0.4074549098196393 m1 < t;0.772 m0 + 0.4043687374749499 m1 < t;0.774 m0 + 0.4012745490981964 m1 < t;0.776 m0 + 0.39817234468937873 m1 < t;0.778 m0 + 0.395062124248497 m1 < t;0.78 m0 + 0.3919438877755511 m1 < t;0.782 m0 + 0.3888176352705411 m1 < t;0.784 m0 + 0.3856833667334669 m1 < t;0.786 m0 + 0.38254108216432864 m1 < t;0.788 m0 + 0.3793907815631263 m1 < t;0.79 m0 + 0.37623246492985973 m1 < t;0.792 m0 + 0.37306613226452906 m1 < t;0.794 m0 + 0.36989178356713426 m1 < t;0.796 m0 + 0.3667094188376753 m1 < t;0.798 m0 + 0.3635190380761523 m1 < t;0.8 m0 + 0.36032064128256514 m1 < t;0.802 m0 + 0.3571142284569138 m1 < t;0.804 m0 + 0.3538997995991984 m1 < t;0.806 m0 + 0.35067735470941885 m1 < t;0.808 m0 + 0.34744689378757515 m1 < t;0.81 m0 + 0.3442084168336673 m1 < t;0.812 m0 + 0.3409619238476954 m1 < t;0.814 m0 + 0.3377074148296593 m1 < t;0.816 m0 + 0.3344448897795591 m1 < t;0.818 m0 + 0.3311743486973948 m1 < t;0.82 m0 + 0.32789579158316634 m1 < t;0.822 m0 + 0.32460921843687374 m1 < t;0.824 m0 + 0.32131462925851706 m1 < t;0.826 m0 + 0.3180120240480962 m1 < t;0.828 m0 + 0.3147014028056112 m1 < t;0.83 m0 + 0.31138276553106214 m1 < t;0.832 m0 + 0.3080561122244489 m1 < t;0.834 m0 + 0.3047214428857715 m1 < t;0.836 m0 + 0.30137875751503007 m1 < t;0.838 m0 + 0.29802805611222444 m1 < t;0.84 m0 + 0.29466933867735473 m1 < t;0.842 m0 + 0.29130260521042084 m1 < t;0.844 m0 + 0.2879278557114228 m1 < t;0.846 m0 + 0.2845450901803607 m1 < t;0.848 m0 + 0.28115430861723445 m1 < t;0.85 m0 + 0.2777555110220441 m1 < t;0.852 m0 + 0.27434869739478956 m1 < t;0.854 m0 + 0.27093386773547096 m1 < t;0.856 m0 + 0.26751102204408816 m1 < t;0.858 m0 + 0.2640801603206413 m1 < t;0.86 m0 + 0.26064128256513025 m1 < t;0.862 m0 + 0.2571943887775551 m1 < t;0.864 m0 + 0.2537394789579158 m1 < t;0.866 m0 + 0.25027655310621244 m1 < t;0.868 m0 + 0.24680561122244488 m1 < t;0.87 m0 + 0.24332665330661324 m1 < t;0.872 m0 + 0.23983967935871744 m1 < t;0.874 m0 + 0.23634468937875752 m1 < t;0.876 m0 + 0.23284168336673347 m1 < t;0.878 m0 + 0.2293306613226453 m1 < t;0.88 m0 + 0.22581162324649298 m1 < t;0.882 m0 + 0.22228456913827654 m1 < t;0.884 m0 + 0.218749498997996 m1 < t;0.886 m0 + 0.2152064128256513 m1 < t;0.888 m0 + 0.2116553106212425 m1 < t;0.89 m0 + 0.20809619238476953 m1 < t;0.892 m0 + 0.20452905811623245 m1 < t;0.894 m0 + 0.20095390781563127 m1 < t;0.896 m0 + 0.19737074148296593 m1 < t;0.898 m0 + 0.19377955911823647 m1 < t;0.9 m0 + 0.1901803607214429 m1 < t;0.902 m0 + 0.18657314629258517 m1 < t;0.904 m0 + 0.18295791583166332 m1 < t;0.906 m0 + 0.17933466933867737 m1 < t;0.908 m0 + 0.17570340681362726 m1 < t;0.91 m0 + 0.17206412825651302 m1 < t;0.912 m0 + 0.16841683366733468 m1 < t;0.914 m0 + 0.16476152304609218 m1 < t;0.916 m0 + 0.16109819639278558 m1 < t;0.918 m0 + 0.15742685370741483 m1 < t;0.92 m0 + 0.15374749498997997 m1 < t;0.922 m0 + 0.15006012024048096 m1 < t;0.924 m0 + 0.14636472945891785 m1 < t;0.926 m0 + 0.14266132264529058 m1 < t;0.928 m0 + 0.1389498997995992 m1 < t;0.93 m0 + 0.13523046092184368 m1 < t;0.932 m0 + 0.13150300601202405 m1 < t;0.934 m0 + 0.12776753507014027 m1 < t;0.936 m0 + 0.12402404809619239 m1 < t;0.938 m0 + 0.12027254509018036 m1 < t;0.94 m0 + 0.1165130260521042 m1 < t;0.942 m0 + 0.11274549098196393 m1 < t;0.944 m0 + 0.10896993987975952 m1 < t;0.946 m0 + 0.10518637274549099 m1 < t;0.948 m0 + 0.10139478957915832 m1 < t;0.95 m0 + 0.09759519038076152 m1 < t;0.952 m0 + 0.0937875751503006 m1 < t;0.954 m0 + 0.08997194388777555 m1 < t;0.956 m0 + 0.08614829659318637 m1 < t;0.958 m0 + 0.08231663326653306 m1 < t;0.96 m0 + 0.07847695390781563 m1 < t;0.962 m0 + 0.07462925851703407 m1 < t;0.964 m0 + 0.07077354709418837 m1 < t;0.966 m0 + 0.06690981963927856 m1 < t;0.968 m0 + 0.06303807615230461 m1 < t;0.97 m0 + 0.05915831663326653 m1 < t;0.972 m0 + 0.05527054108216433 m1 < t;0.974 m0 + 0.05137474949899799 m1 < t;0.976 m0 + 0.047470941883767534 m1 < t;0.978 m0 + 0.043559118236472946 m1 < t;0.98 m0 + 0.03963927855711423 m1 < t;0.982 m0 + 0.035711422845691385 m1 < t;0.984 m0 + 0.03177555110220441 m1 < t;0.986 m0 + 0.027831663326653308 m1 < t;0.988 m0 + 0.023879759519038077 m1 < t;0.99 m0 + 0.019919839679358717 m1 < t;0.992 m0 + 0.01595190380761523 m1 < t;0.994 m0 + 0.011975951903807616 m1 < t;0.996 m0 + 0.007991983967935871 m1 < t;0.998 m0 + 0.0040 m1 < t;1.0 m0 + 0.0 m1 < t;m0 + m1 = 1;