90 lines
4.3 KiB
Plaintext
90 lines
4.3 KiB
Plaintext
|
|
(constraint
|
|
(
|
|
(
|
|
(-0.7096774193548389 1.0 -40.23280500730364 leq)
|
|
(0.2622950819672164 1.0 -54.99028221981423 leq)
|
|
(0.3126253425391506 -1.0 45.25891023112807 leq)
|
|
(0.0355400214555226 -1.0 49.27365472032329 leq))
|
|
(
|
|
(-0.3126253425391487 1.0 -45.25891023112811 leq)
|
|
(1.264005195337868 -1.0 29.15540989353809 leq)
|
|
(-0.4591836734693947 -1.0 56.44180502184926 leq))
|
|
(
|
|
(-0.05201202738147572 1.0 -49.05274881818441 leq)
|
|
(-0.03554002145551965 1.0 -49.27365472032334 leq)
|
|
(1.444444444444264 -1.0 28.85975749229309 leq)
|
|
(-0.07142857142856689 -1.0 50.63621558915407 leq))
|
|
(
|
|
(-2.00000000000001 1.0 -24.06442038633201 leq)
|
|
(0.9928007023704811 1.0 -63.56489122573208 leq)
|
|
(1.0 0.0 -13.41098971988844 leq)
|
|
(0.05201202738147859 -1.0 49.05274881818437 leq))
|
|
(
|
|
(0.07142857142856739 1.0 -50.63621558915406 leq)
|
|
(7.2 -1.0 -53.82237555401711 leq)
|
|
(0.1176470588235348 -1.0 47.4337920046972 leq)
|
|
(-11.20000000000004 -1.0 193.3908946443167 leq))
|
|
(
|
|
(-4.571428571428445 1.0 10.0040342493825 leq)
|
|
(-0.1176470588235239 1.0 -47.43379200469736 leq)
|
|
(6.666666666666322 1.0 -144.428902678324 leq)
|
|
(0.03478260869565038 -1.0 48.066401621697 leq))
|
|
(
|
|
(-0.719999999999993 1.0 -39.29541245781712 leq)
|
|
(-0.0347826086956485 1.0 -48.06640162169702 leq)
|
|
(0.5581395348837097 -1.0 40.54086792285881 leq)
|
|
(-0.101265822784818 -1.0 49.24402750221221 leq))
|
|
(
|
|
(-0.5581395348837082 1.0 -40.54086792285884 leq)
|
|
(5.928571428571406 1.0 -133.8155711080445 leq)
|
|
(-0.2982456140350803 -1.0 51.77280135192056 leq)
|
|
(-0.4186046511627217 -1.0 53.43242304977461 leq))
|
|
(
|
|
(-0.3526315789473688 1.0 -43.74562443440568 leq)
|
|
(0.1012658227848184 1.0 -49.24402750221221 leq)
|
|
(0.3947368421052663 -1.0 42.69753785950497 leq)
|
|
(0.1904761904761898 -1.0 45.28689367030363 leq))
|
|
(
|
|
(-0.5328947368421035 1.0 -42.03224283020227 leq)
|
|
(0.3684210526315668 1.0 -52.48028117928563 leq)
|
|
(0.3526315789473699 -1.0 43.74562443440567 leq))
|
|
(
|
|
(-19.8750000000001 1.0 141.8123526573191 leq)
|
|
(-0.4666666666666648 1.0 -44.79368110039231 leq)
|
|
(2.266666666666644 1.0 -75.01472615971598 leq)
|
|
(6.555555555555337 1.0 -124.2014462941605 leq)
|
|
(0.5328947368421042 -1.0 42.03224283020227 leq))
|
|
(
|
|
(0.2982456140350794 1.0 -51.77280135192055 leq)
|
|
(15.49999999999825 -1.0 -178.4326734567498 leq)
|
|
(0.0 -1.0 47.00123288426013 leq)
|
|
(-4.36363636363591 -1.0 107.8301682045455 leq))
|
|
(
|
|
(-6.749999999999677 1.0 47.09352643931279 leq)
|
|
(0.0 1.0 -47.00123288426013 leq)
|
|
(4.833333333333391 -1.0 -23.29536156617075 leq)
|
|
(3.000000000000057 -1.0 3.217824253647916 leq)
|
|
(0.1874999999999879 -1.0 43.54389873372686 leq)
|
|
(-0.3571428571428987 -1.0 51.2334202649394 leq)
|
|
(-8.999999999997412 -1.0 171.5958666489835 leq))
|
|
(
|
|
(-0.1904761904761894 1.0 -45.28689367030365 leq)
|
|
(2.862068965517215 -1.0 11.41985064968748 leq)
|
|
(-0.09195402298850827 -1.0 47.69090483076366 leq)
|
|
(-0.2695652173913368 -1.0 49.65953694704209 leq))
|
|
(
|
|
(-0.6320105820105934 1.0 -42.11982450031123 leq)
|
|
(0.4444444444444444 1.0 -56.47923606374978 leq)
|
|
(4.250000000000163 -1.0 -6.746255097185532 leq)
|
|
(-0.9928007023704795 -1.0 63.56489122573206 leq))
|
|
(
|
|
(-1.264005195337874 1.0 -29.15540989353793 leq)
|
|
(3.203703703703701 1.0 -104.7779402133926 leq)
|
|
(0.474409806845875 -1.0 39.68210625770764 leq)
|
|
(-1.885245901639131 -1.0 79.02325162922756 leq))
|
|
(
|
|
(-0.4744098068458958 1.0 -39.6821062577072 leq)
|
|
(1.268800436630247 -1.0 25.62285539878898 leq)
|
|
(-10.59999999999932 -1.0 224.319197401229 leq))))
|