287 lines
14 KiB
Plaintext
287 lines
14 KiB
Plaintext
|
|
(constraint
|
|
(
|
|
(
|
|
(-0.3571428571396875 1.0 -46.17660052705286 leq)
|
|
(0.2436974789919694 1.0 -49.93043724526751 leq)
|
|
(0.5428571428644735 -1.0 45.01359908498228 leq)
|
|
(-0.4952756424642875 -1.0 51.46851185124094 leq))
|
|
(
|
|
(-0.5428571428571093 1.0 -45.01359908502977 leq)
|
|
(0.2436974789907801 1.0 -49.93043724526007 leq)
|
|
(1.294117647058902 -1.0 40.30896881737807 leq)
|
|
(-0.495275642464444 -1.0 51.46851185124191 leq))
|
|
(
|
|
(0.2436974789916047 1.0 -49.93043724526523 leq)
|
|
(0.3571428571428507 -1.0 46.17660052703135 leq)
|
|
(-0.4952756424645136 -1.0 51.46851185124235 leq))
|
|
(
|
|
(-0.3571428571389606 1.0 -46.17660052705739 leq)
|
|
(0.4952756424680924 1.0 -51.46851185126187 leq)
|
|
(0.5428571428647918 -1.0 45.01359908498028 leq)
|
|
(-1.028331629393872 -1.0 54.72745875562893 leq))
|
|
(
|
|
(-0.5428571428571601 1.0 -45.01359908502945 leq)
|
|
(0.495275642469831 1.0 -51.46851185127279 leq)
|
|
(1.294117647058968 -1.0 40.30896881737766 leq)
|
|
(-1.028331629394299 -1.0 54.72745875563183 leq))
|
|
(
|
|
(0.4952756424685862 1.0 -51.46851185126494 leq)
|
|
(0.3571428571427873 -1.0 46.17660052703174 leq)
|
|
(-1.028331629394223 -1.0 54.72745875563136 leq))
|
|
(
|
|
(-0.3571428571395058 1.0 -46.17660052705397 leq)
|
|
(1.028331629393894 1.0 -54.72745875562707 leq)
|
|
(0.5428571428643475 -1.0 45.01359908498305 leq)
|
|
(-35.55418280733619 -1.0 265.8083181333742 leq))
|
|
(
|
|
(-0.5428571428572045 1.0 -45.01359908502918 leq)
|
|
(1.028331629393962 1.0 -54.72745875562748 leq)
|
|
(1.294117647058898 -1.0 40.30896881737811 leq)
|
|
(-35.55418280733637 -1.0 265.8083181333753 leq))
|
|
(
|
|
(1.028331629394423 1.0 -54.72745875563033 leq)
|
|
(0.3571428571426958 -1.0 46.1766005270323 leq)
|
|
(-35.55418280733788 -1.0 265.8083181333846 leq))
|
|
(
|
|
(-8.641940773609527 1.0 2.748585442841833 leq)
|
|
(-3.000000000000058 1.0 -30.09942865122108 leq)
|
|
(0.1315789473675309 1.0 -48.42795190250174 leq)
|
|
(2.037037037037015 -1.0 35.64327705816416 leq))
|
|
(
|
|
(-2.99999999999999 1.0 -30.09942865122147 leq)
|
|
(25.99999999999927 -1.0 -106.4854470554069 leq)
|
|
(2.037037037036954 -1.0 35.64327705816453 leq)
|
|
(-0.1315789473683073 -1.0 48.42795190250581 leq))
|
|
(
|
|
(-3.000000000000025 1.0 -30.09942865122134 leq)
|
|
(-0.266666666666715 1.0 -46.55494039511729 leq)
|
|
(1.769230769230815 -1.0 37.42071126159693 leq))
|
|
(
|
|
(-3.000000000000132 1.0 -30.09942865122069 leq)
|
|
(-0.3571428571391001 1.0 -46.17660052705648 leq)
|
|
(35.55418280732886 1.0 -265.808318133329 leq)
|
|
(0.5428571428654659 -1.0 45.01359908497611 leq))
|
|
(
|
|
(-3.0 1.0 -30.0994286512214 leq)
|
|
(-0.5428571428573605 1.0 -45.01359908502825 leq)
|
|
(35.55418280733052 1.0 -265.808318133339 leq)
|
|
(1.294117647058994 -1.0 40.30896881737754 leq)
|
|
(0.2666666666667352 -1.0 46.55494039512217 leq))
|
|
(
|
|
(-3.000000000000058 1.0 -30.09942865122113 leq)
|
|
(35.55418280732328 1.0 -265.8083181332949 leq)
|
|
(0.357142857142991 -1.0 46.17660052703049 leq))
|
|
(
|
|
(0.0 1.0 -48.41403443648669 leq)
|
|
(0.2999999999998915 -1.0 46.80259341800511 leq)
|
|
(-28.0 -1.0 196.6843799770241 leq))
|
|
(
|
|
(-10.0 1.0 1.881085065584031 leq)
|
|
(-1.999999999990196 1.0 -38.12173678571876 leq)
|
|
(7.333333333334607 1.0 -85.69306915753312 leq)
|
|
(8.333333333332719 1.0 -90.79139249084402 leq)
|
|
(-0.2727272727271933 -1.0 49.43519203228914 leq))
|
|
(
|
|
(-9.999999999999918 1.0 1.881085065583627 leq)
|
|
(0.2727272727274787 1.0 -49.43519203229349 leq)
|
|
(2.888888888888943 1.0 -62.85781849691724 leq)
|
|
(0.0371958270210905 -1.0 47.67235218709089 leq))
|
|
(
|
|
(-0.1379310344827141 1.0 -47.30297348089003 leq)
|
|
(5.27897952019192 -1.0 18.96516477684626 leq)
|
|
(2.000000000000077 -1.0 37.00748671190568 leq)
|
|
(0.03719582702099221 -1.0 47.67235218709142 leq)
|
|
(-1.599999999992755 -1.0 56.53165935746819 leq)
|
|
(-1.666666666668431 -1.0 56.89238447579295 leq))
|
|
(
|
|
(0.2608695652176856 1.0 -49.58100498437106 leq)
|
|
(5.278979520191759 -1.0 18.96516477684715 leq)
|
|
(0.1379310344827506 -1.0 47.30297348089017 leq)
|
|
(-14.99999999999769 -1.0 127.7440835462825 leq))
|
|
(
|
|
(-0.2999999999998962 1.0 -46.802593418008 leq)
|
|
(-0.1249999999999382 1.0 -47.74260067878618 leq)
|
|
(0.5909090909094492 1.0 -51.62664459443293 leq)
|
|
(10.50000000000117 1.0 -106.4182842736203 leq)
|
|
(5.278979520192273 -1.0 18.9651647768443 leq)
|
|
(-0.2608695652174345 -1.0 49.58100498436956 leq)
|
|
(-28.00000000000154 -1.0 196.6843799770323 leq))
|
|
(
|
|
(-0.1249999999998944 1.0 -47.74260067878642 leq)
|
|
(1.0 0.0 -5.529431527256907 leq)
|
|
(-0.590909090909113 -1.0 51.6266445944324 leq))
|
|
(
|
|
(0.1315789473675656 1.0 -48.42795190250195 leq)
|
|
(3.666666666666906 1.0 -68.91351221113543 leq)
|
|
(8.641940773496831 -1.0 -2.748585442191304 leq)
|
|
(-1.500000000000092 -1.0 56.20276512987904 leq))
|
|
(
|
|
(-5.278979520173221 1.0 -18.9651647769446 leq)
|
|
(-0.1379310344827404 1.0 -47.30297348088988 leq)
|
|
(-0.08333333333315394 1.0 -47.61016367211755 leq)
|
|
(3.66666666666689 1.0 -68.91351221113531 leq)
|
|
(-0.1315789473684776 -1.0 48.42795190250679 leq)
|
|
(-1.500000000000071 -1.0 56.20276512987886 leq)
|
|
(-3.333333333348296 -1.0 66.35372580692958 leq))
|
|
(
|
|
(-5.278979520176497 1.0 -18.96516477692661 leq)
|
|
(0.2608695652176686 1.0 -49.5810049843709 leq)
|
|
(0.7142857142857917 1.0 -52.09791210485367 leq)
|
|
(0.1379310344828261 -1.0 47.30297348088974 leq))
|
|
(
|
|
(-5.278979520176531 1.0 -18.96516477692643 leq)
|
|
(10.50000000000232 1.0 -106.4182842736267 leq)
|
|
(-0.2608695652173251 -1.0 49.58100498436895 leq))
|
|
(
|
|
(-0.0371958270210425 1.0 -47.67235218709138 leq)
|
|
(2.888888888889011 1.0 -62.8578184969176 leq)
|
|
(-0.1850180812353434 -1.0 48.77760957931348 leq))
|
|
(
|
|
(-0.03719582702077821 1.0 -47.67235218709282 leq)
|
|
(1.666666666666718 1.0 -56.93026213733954 leq)
|
|
(-0.1850180812354471 -1.0 48.77760957931405 leq)
|
|
(-1.599999999999897 -1.0 56.53165935750683 leq))
|
|
(
|
|
(0.1850180812354403 1.0 -48.77760957931653 leq)
|
|
(2.888888888889006 1.0 -62.85781849691757 leq)
|
|
(0.5151515151514968 -1.0 45.06266696422034 leq)
|
|
(-0.03973226664120106 -1.0 47.84396674338494 leq)
|
|
(-8.0 -1.0 87.64811324661059 leq))
|
|
(
|
|
(-0.5151515151515193 1.0 -45.06266696422343 leq)
|
|
(2.777777777777936 1.0 -62.27696785341246 leq)
|
|
(-0.03973226664105541 -1.0 47.84396674338421 leq))
|
|
(
|
|
(0.131578947367811 1.0 -48.4279519025033 leq)
|
|
(1.499999999999948 1.0 -56.01319216560721 leq)
|
|
(-0.03973226664107301 -1.0 47.84396674338431 leq)
|
|
(-1.916666666666548 -1.0 58.27923306793963 leq))
|
|
(
|
|
(0.1850180812353027 1.0 -48.77760957931577 leq)
|
|
(1.499999999999924 1.0 -56.01319216560707 leq)
|
|
(-0.1315789473684852 -1.0 48.42795190250682 leq)
|
|
(-1.6 -1.0 56.53165935750739 leq))
|
|
(
|
|
(-0.09645829411960535 1.0 -46.89532514042392 leq)
|
|
(0.709677419354824 -1.0 43.70747162943913 leq)
|
|
(0.0 -1.0 47.38020758807586 leq))
|
|
(
|
|
(-0.7096774193549443 1.0 -43.70747162943071 leq)
|
|
(-0.09645829411962283 1.0 -46.89532514042384 leq)
|
|
(2.400000000000107 1.0 -60.26543146902763 leq)
|
|
(0.0 -1.0 47.38020758807586 leq))
|
|
(
|
|
(-0.09645829411956054 1.0 -46.89532514042419 leq)
|
|
(0.4285714285713923 1.0 -49.9109354773307 leq)
|
|
(0.1441366029306975 -1.0 46.57541551707369 leq)
|
|
(-2.999999999998394 -1.0 64.39788487190245 leq))
|
|
(
|
|
(0.03973226664096953 1.0 -47.84396674338383 leq)
|
|
(0.515151515151376 -1.0 45.06266696422095 leq)
|
|
(-10.00000000000559 -1.0 97.64881870945656 leq))
|
|
(
|
|
(-0.5151515151518736 1.0 -45.06266696422165 leq)
|
|
(0.03973226664107259 1.0 -47.84396674338435 leq)
|
|
(2.777777777777761 1.0 -62.27696785341153 leq)
|
|
(0.7096774193548674 -1.0 43.70747162943891 leq)
|
|
(0.09645829411958795 -1.0 46.89532514042261 leq)
|
|
(-9.999999999999725 -1.0 97.64881870942723 leq))
|
|
(
|
|
(-0.7096774193548301 1.0 -43.70747162943127 leq)
|
|
(2.4 1.0 -60.26543146902705 leq)
|
|
(0.09645829411962643 -1.0 46.89532514042242 leq))
|
|
(
|
|
(0.03846153846142904 1.0 -47.67115627171017 leq)
|
|
(1.153846153849995 1.0 -54.07669193665743 leq)
|
|
(0.09645829411959513 -1.0 46.89532514042259 leq)
|
|
(-2.999999999999004 -1.0 64.39788487190589 leq))
|
|
(
|
|
(0.03973226664104667 1.0 -47.84396674338422 leq)
|
|
(1.153846153846149 1.0 -54.07669193663536 leq)
|
|
(-0.03846153846152226 -1.0 47.6711562717103 leq)
|
|
(-1.916666666666595 -1.0 58.27923306793988 leq))
|
|
(
|
|
(-0.1441366029307239 1.0 -46.5754155170734 leq)
|
|
(0.2912741376260451 1.0 -49.11129966073877 leq)
|
|
(2.999999999999334 1.0 -65.22776814522776 leq)
|
|
(-0.05882352941177581 -1.0 47.7086509473368 leq)
|
|
(-2.999999999998182 -1.0 64.39788487190124 leq))
|
|
(
|
|
(-0.3636363636361986 1.0 -45.29702270113106 leq)
|
|
(0.03846153846170182 1.0 -47.67115627171177 leq)
|
|
(3.000000000000082 1.0 -65.2277681452322 leq)
|
|
(-0.291274137626007 -1.0 49.11129966074033 leq))
|
|
(
|
|
(-0.3636363636361062 1.0 -45.29702270113161 leq)
|
|
(1.0 0.0 -5.928206606647875 leq)
|
|
(-0.03846153846145105 -1.0 47.67115627170986 leq))
|
|
(
|
|
(-1.428571428601833 1.0 -40.19897742773019 leq)
|
|
(0.0 1.0 -47.38020758807586 leq)
|
|
(0.7096774193548509 -1.0 43.707471629439 leq)
|
|
(-1.899999999999825 -1.0 56.7311875792137 leq))
|
|
(
|
|
(-0.7096774193548253 1.0 -43.70747162943133 leq)
|
|
(0.0 1.0 -47.38020758807586 leq)
|
|
(2.399999999999989 1.0 -60.26543146902699 leq)
|
|
(2.666666666666667 1.0 -61.71408005132007 leq)
|
|
(1.444444444444383 -1.0 39.31509843290396 leq)
|
|
(-0.1578947368420625 -1.0 47.87953995663852 leq)
|
|
(-1.428571428568301 -1.0 54.36002540803291 leq)
|
|
(-1.600000000032515 -1.0 55.23402369392979 leq))
|
|
(
|
|
(-1.44444444444994 1.0 -39.31509843286205 leq)
|
|
(2.666666666666753 1.0 -61.71408005132054 leq)
|
|
(0.4285714285710584 -1.0 44.51011226035054 leq)
|
|
(0.068965517241258 -1.0 46.49913769788788 leq)
|
|
(-3.999999999999914 -1.0 68.41544536211805 leq))
|
|
(
|
|
(-0.068965517241381 1.0 -46.49913769788689 leq)
|
|
(0.4285714285713476 -1.0 44.51011226034896 leq)
|
|
(-3.999999999999698 -1.0 68.41544536211688 leq))
|
|
(
|
|
(0.1578947368420993 1.0 -47.87953995663779 leq)
|
|
(0.3333333333333769 -1.0 45.25394474497981 leq)
|
|
(-1.428571428571358 -1.0 54.3600254080485 leq))
|
|
(
|
|
(-1.666666666666488 1.0 -36.50148181912837 leq)
|
|
(0.0 1.0 -46.97970701681994 leq)
|
|
(0.1777777777777964 -1.0 45.84724612696443 leq))
|
|
(
|
|
(-1.666666666665204 1.0 -36.50148181913642 leq)
|
|
(-0.1777777777777523 1.0 -45.84724612696504 leq)
|
|
(-0.1176470588235556 1.0 -46.23028436912228 leq)
|
|
(0.2716049382717583 -1.0 45.19314180724714 leq)
|
|
(0.1280215164175699 -1.0 46.15302588838863 leq))
|
|
(
|
|
(-0.2716049382716139 1.0 -45.19314180724923 leq)
|
|
(4.181818181816199 1.0 -75.19378016645922 leq)
|
|
(0.128021516417513 -1.0 46.153025888389 leq))
|
|
(
|
|
(-0.3333333333333359 1.0 -44.85634284834356 leq)
|
|
(0.2307692307691991 1.0 -48.57740271396948 leq)
|
|
(0.1176470588235405 -1.0 46.23028436912109 leq))
|
|
(
|
|
(-0.9000000000040318 1.0 -41.31059399066557 leq)
|
|
(-0.1280215164174339 1.0 -46.15302588838974 leq)
|
|
(0.2716049382717842 -1.0 45.19314180724696 leq))
|
|
(
|
|
(-0.9000000000036356 1.0 -41.31059399066796 leq)
|
|
(-0.2716049382716215 1.0 -45.19314180724918 leq)
|
|
(-0.1280215164174836 1.0 -46.1530258883894 leq)
|
|
(4.181818181818119 1.0 -75.19378016647215 leq)
|
|
(0.06747432949981827 -1.0 46.31213448384977 leq))
|
|
(
|
|
(-0.06747432949980381 1.0 -46.31213448385083 leq)
|
|
(4.181818181818231 1.0 -75.19378016647291 leq)
|
|
(-0.03755738957943047 -1.0 46.94313051755309 leq))
|
|
(
|
|
(0.0375573895794375 1.0 -46.94313051755318 leq)
|
|
(4.181818181818532 1.0 -75.19378016647495 leq)
|
|
(-0.05168001335635387 -1.0 47.02797459767339 leq))
|
|
(
|
|
(0.05168001335635847 1.0 -47.02797459767307 leq)
|
|
(4.181818181817736 1.0 -75.19378016646952 leq)
|
|
(-0.08092485549133432 -1.0 47.20366799348962 leq))))
|