144 lines
6.6 KiB
Plaintext
144 lines
6.6 KiB
Plaintext
|
|
(constraint
|
|
(
|
|
(
|
|
(-0.2276422764227641 1.0 -46.69737335379033 leq)
|
|
(0.3126253425391506 -1.0 45.25891023112808 leq)
|
|
(0.03554002145552011 -1.0 49.27365472032333 leq))
|
|
(
|
|
(-0.7096774193548371 1.0 -40.23280500730367 leq)
|
|
(0.2622950819672161 1.0 -54.99028221981423 leq)
|
|
(0.2276422764227625 -1.0 46.69737335379035 leq))
|
|
(
|
|
(-0.3126253425391501 1.0 -45.25891023112808 leq)
|
|
(1.26400519533787 -1.0 29.15540989353805 leq)
|
|
(-0.4591836734693942 -1.0 56.44180502184909 leq))
|
|
(
|
|
(-1.264005195337864 1.0 -29.15540989353814 leq)
|
|
(3.203703703703698 1.0 -104.7779402133926 leq)
|
|
(-0.5862752558120832 -1.0 58.45427805719634 leq))
|
|
(
|
|
(-0.05201202738147975 1.0 -49.05274881818436 leq)
|
|
(-0.03554002145551671 1.0 -49.27365472032338 leq)
|
|
(0.04132231404958624 -1.0 49.18987392949636 leq))
|
|
(
|
|
(-0.04132231404958789 1.0 -49.18987392949634 leq)
|
|
(1.444444444444297 -1.0 28.85975749229261 leq)
|
|
(-0.0714285714285673 -1.0 50.63621558915408 leq))
|
|
(
|
|
(-0.9096027125583652 1.0 -38.05177858504103 leq)
|
|
(1.0 0.0 -13.41098971988844 leq)
|
|
(0.05201202738147372 -1.0 49.05274881818443 leq))
|
|
(
|
|
(-2.0 1.0 -24.06442038633213 leq)
|
|
(0.9928007023706413 1.0 -63.56489122573424 leq)
|
|
(0.9096027125580385 -1.0 38.05177858504542 leq))
|
|
(
|
|
(-0.4485981308411405 1.0 -43.16570877714078 leq)
|
|
(7.200000000000021 -1.0 -53.82237555401741 leq)
|
|
(0.1176470588235246 -1.0 47.43379200469734 leq))
|
|
(
|
|
(0.07142857142856789 1.0 -50.63621558915408 leq)
|
|
(0.4485981308411084 -1.0 43.16570877714124 leq)
|
|
(-11.19999999999992 -1.0 193.3908946443151 leq))
|
|
(
|
|
(-0.1176470588235327 1.0 -47.43379200469723 leq)
|
|
(6.666666666666121 1.0 -144.4289026783212 leq)
|
|
(-0.2592592592592588 -1.0 52.29453327609455 leq))
|
|
(
|
|
(-4.571428571428445 1.0 10.0040342493825 leq)
|
|
(0.2592592592592576 1.0 -52.29453327609456 leq)
|
|
(0.03478260869564936 -1.0 48.06640162169701 leq))
|
|
(
|
|
(-0.7199999999999868 1.0 -39.29541245781719 leq)
|
|
(-0.03478260869565217 1.0 -48.06640162169698 leq)
|
|
(0.2424242424242369 -1.0 45.08064938700741 leq))
|
|
(
|
|
(-0.2424242424242382 1.0 -45.08064938700738 leq)
|
|
(0.5581395348837144 -1.0 40.54086792285875 leq)
|
|
(-0.1012658227848154 -1.0 49.24402750221217 leq))
|
|
(
|
|
(-0.5581395348837146 1.0 -40.54086792285874 leq)
|
|
(1.534883720930218 -1.0 26.49591901815009 leq)
|
|
(-0.4186046511627911 -1.0 53.43242304977556 leq))
|
|
(
|
|
(-1.534883720930214 1.0 -26.49591901815015 leq)
|
|
(5.92857142857142 1.0 -133.8155711080447 leq)
|
|
(-0.2982456140350794 -1.0 51.77280135192064 leq))
|
|
(
|
|
(-0.2193308550185873 1.0 -45.01263323905516 leq)
|
|
(0.3947368421052748 -1.0 42.69753785950486 leq)
|
|
(0.1904761904761905 -1.0 45.28689367030362 leq))
|
|
(
|
|
(-0.3526315789473699 1.0 -43.74562443440567 leq)
|
|
(0.1012658227848149 1.0 -49.24402750221216 leq)
|
|
(0.2193308550185873 -1.0 45.01263323905515 leq))
|
|
(
|
|
(-0.5328947368421035 1.0 -42.03224283020227 leq)
|
|
(0.3684210526315668 1.0 -52.48028117928563 leq)
|
|
(0.3526315789473699 -1.0 43.74562443440567 leq))
|
|
(
|
|
(-0.9790209790209846 1.0 -37.79186168172651 leq)
|
|
(6.555555555555241 1.0 -124.2014462941594 leq)
|
|
(0.5328947368421078 -1.0 42.03224283020227 leq))
|
|
(
|
|
(-19.87500000000019 1.0 141.8123526573199 leq)
|
|
(0.1407407407407509 1.0 -50.6337439859922 leq)
|
|
(0.9790209790209996 -1.0 37.79186168172632 leq))
|
|
(
|
|
(-0.6739130434782468 1.0 -37.60690908705934 leq)
|
|
(15.49999999999868 -1.0 -178.4326734567559 leq)
|
|
(0.0 -1.0 47.00123288426015 leq))
|
|
(
|
|
(0.2982456140350247 1.0 -51.77280135191975 leq)
|
|
(0.6739130434782296 -1.0 37.6069090870596 leq)
|
|
(-4.363636363636385 -1.0 107.8301682045521 leq))
|
|
(
|
|
(-6.749999999999474 1.0 47.09352643930997 leq)
|
|
(0.0 1.0 -47.00123288426013 leq)
|
|
(0.5624999999999319 -1.0 38.82016370253029 leq))
|
|
(
|
|
(-0.5625000000000094 1.0 -38.82016370252917 leq)
|
|
(4.833333333333477 -1.0 -23.295361566172 leq)
|
|
(-0.04761904761904234 -1.0 47.29169159049369 leq))
|
|
(
|
|
(0.04761904761904718 1.0 -47.29169159049377 leq)
|
|
(0.6410256410257467 -1.0 37.33269272110901 leq)
|
|
(-8.999999999997714 -1.0 171.5958666489877 leq))
|
|
(
|
|
(-0.6410256410258447 1.0 -37.33269272110758 leq)
|
|
(3.000000000000057 -1.0 3.217824253648352 leq)
|
|
(-0.06666666666667759 -1.0 47.1881810200745 leq))
|
|
(
|
|
(0.06666666666668765 1.0 -47.18818102007462 leq)
|
|
(0.1874999999999929 -1.0 43.54389873372679 leq)
|
|
(-0.3571428571428987 -1.0 51.23342026493938 leq))
|
|
(
|
|
(-0.4666666666666655 1.0 -44.79368110039235 leq)
|
|
(2.266666666666654 1.0 -75.01472615971612 leq)
|
|
(-0.1407407407407482 -1.0 50.63374398599217 leq))
|
|
(
|
|
(-0.1904761904761916 1.0 -45.28689367030361 leq)
|
|
(0.6465517241379308 -1.0 39.50535021672276 leq)
|
|
(-0.2695652173913039 -1.0 49.65953694704172 leq))
|
|
(
|
|
(-0.6465517241379265 1.0 -39.50535021672281 leq)
|
|
(2.862068965517202 -1.0 11.41985064968764 leq)
|
|
(-0.0919540229885063 -1.0 47.69090483076364 leq))
|
|
(
|
|
(-0.1185830911858183 1.0 -48.89629565437312 leq)
|
|
(4.250000000000179 -1.0 -6.746255097185735 leq)
|
|
(-0.992800702370486 -1.0 63.56489122573215 leq))
|
|
(
|
|
(-0.6320105820105558 1.0 -42.11982450031172 leq)
|
|
(0.4444444444444261 1.0 -56.47923606374958 leq)
|
|
(0.11858309118583 -1.0 48.89629565437297 leq))
|
|
(
|
|
(0.5862752558121049 1.0 -58.45427805719665 leq)
|
|
(0.4744098068458048 -1.0 39.68210625770882 leq)
|
|
(-1.885245901639338 -1.0 79.02325162923103 leq))
|
|
(
|
|
(-0.4744098068458926 1.0 -39.68210625770727 leq)
|
|
(1.268800436630148 -1.0 25.62285539879083 leq)
|
|
(-10.59999999999958 -1.0 224.3191974012333 leq))))
|