155 lines
7.1 KiB
Plaintext
155 lines
7.1 KiB
Plaintext
|
|
(constraint
|
|
(
|
|
(
|
|
(-2.55039583016709 1.0 -31.35959380282588 leq)
|
|
(0.1199449087536517 1.0 -48.78347342273003 leq)
|
|
(1.0 0.0 -7.0 leq)
|
|
(-0.06423250113877815 -1.0 47.77193824679513 leq)
|
|
(-9.0 -1.0 105.955673103712 leq))
|
|
(
|
|
(-2.666666666666941 1.0 -31.32475471993562 leq)
|
|
(-0.5294117647059139 1.0 -44.60726946419242 leq)
|
|
(0.0 1.0 -48.00083710194879 leq)
|
|
(2.550395830195519 -1.0 31.35959380264375 leq)
|
|
(0.3751894876831304 -1.0 45.40775866276163 leq))
|
|
(
|
|
(-18.0 1.0 69.44853128277991 leq)
|
|
(0.1961543399338278 1.0 -49.48979782740049 leq)
|
|
(1.0 0.0 -7.0 leq)
|
|
(-0.1199449087536536 -1.0 48.78347342273051 leq))
|
|
(
|
|
(0.2164899566051492 1.0 -49.67827243108974 leq)
|
|
(1.0 0.0 -7.0 leq)
|
|
(-0.1961543399338374 -1.0 49.48979782740131 leq)
|
|
(-0.6999999999998856 -1.0 52.783161898631 leq))
|
|
(
|
|
(0.243697478991604 1.0 -49.93043724526523 leq)
|
|
(1.0 0.0 -7.0 leq)
|
|
(-0.2164899566051672 -1.0 49.67827243108979 leq)
|
|
(-0.4952756424645674 -1.0 51.46851185124268 leq))
|
|
(
|
|
(0.4952756424693589 1.0 -51.46851185126991 leq)
|
|
(1.0 0.0 -6.421561475210961 leq)
|
|
(0.1000000000001229 -1.0 47.61144490677707 leq)
|
|
(-1.028331629394226 -1.0 54.72745875563138 leq))
|
|
(
|
|
(1.028331629394214 1.0 -54.72745875562905 leq)
|
|
(0.687500000000006 -1.0 43.90627700464162 leq)
|
|
(-35.55418280733538 -1.0 265.8083181333693 leq))
|
|
(
|
|
(-8.641940773609527 1.0 2.748585442841833 leq)
|
|
(-2.999999999999964 1.0 -30.09942865122162 leq)
|
|
(35.55418280732911 1.0 -265.8083181333304 leq)
|
|
(2.037037037037083 -1.0 35.64327705816376 leq))
|
|
(
|
|
(-0.5999999999999786 1.0 -45.27067754171171 leq)
|
|
(0.0 1.0 -48.41403443648669 leq)
|
|
(0.2999999999999903 -1.0 46.80259341800458 leq))
|
|
(
|
|
(-10.00000000000007 1.0 1.881085065584369 leq)
|
|
(-1.99999999998973 1.0 -38.12173678572109 leq)
|
|
(-0.299999999999996 1.0 -46.80259341800747 leq)
|
|
(-0.1249999999999482 1.0 -47.74260067878613 leq)
|
|
(5.278979520192 -1.0 18.96516477684582 leq)
|
|
(2.000000000000129 -1.0 37.00748671190539 leq)
|
|
(0.0371958270210725 -1.0 47.67235218709099 leq))
|
|
(
|
|
(-5.278979520176497 1.0 -18.96516477692661 leq)
|
|
(3.66666666666671 1.0 -68.91351221113428 leq)
|
|
(8.641940773496831 -1.0 -2.748585442191304 leq)
|
|
(-1.500000000000071 -1.0 56.20276512987892 leq)
|
|
(-3.333333333348588 -1.0 66.35372580693118 leq))
|
|
(
|
|
(-0.03719582702104572 1.0 -47.67235218709137 leq)
|
|
(1.666666666666744 1.0 -56.93026213733968 leq)
|
|
(-0.1850180812353476 -1.0 48.77760957931354 leq))
|
|
(
|
|
(0.1850180812354356 1.0 -48.7776095793165 leq)
|
|
(1.499999999999947 1.0 -56.0131921656072 leq)
|
|
(-0.03973226664105695 -1.0 47.84396674338422 leq)
|
|
(-8.0 -1.0 87.64811324661059 leq))
|
|
(
|
|
(-0.09645829411962786 1.0 -46.89532514042381 leq)
|
|
(0.4285714285713923 1.0 -49.9109354773307 leq)
|
|
(0.1441366029306941 -1.0 46.57541551707371 leq)
|
|
(0.0 -1.0 47.38020758807586 leq))
|
|
(
|
|
(0.0397322666410463 1.0 -47.84396674338422 leq)
|
|
(1.153846153846191 1.0 -54.07669193663558 leq)
|
|
(0.09645829411962473 -1.0 46.89532514042242 leq)
|
|
(-10.0 -1.0 97.64881870942861 leq))
|
|
(
|
|
(-0.1441366029307263 1.0 -46.57541551707338 leq)
|
|
(0.2912741376260405 1.0 -49.11129966073874 leq)
|
|
(-0.05882352941177224 -1.0 47.70865094733678 leq))
|
|
(
|
|
(-0.3636363636362486 1.0 -45.29702270113076 leq)
|
|
(-0.1291957427793123 1.0 -46.69206193958318 leq)
|
|
(0.4999999999998967 -1.0 44.3366094174396 leq)
|
|
(-0.2912741376260272 -1.0 49.11129966074044 leq))
|
|
(
|
|
(-1.4285714286018 1.0 -40.19897742773036 leq)
|
|
(0.0 1.0 -47.38020758807586 leq)
|
|
(1.444444444444432 -1.0 39.3150984329037 leq)
|
|
(-0.1578947368420843 -1.0 47.87953995663872 leq))
|
|
(
|
|
(-1.444444444450187 1.0 -39.31509843286066 leq)
|
|
(1.0 0.0 -5.583537107432728 leq)
|
|
(0.4285714285713479 -1.0 44.51011226034895 leq)
|
|
(-3.999999999999933 -1.0 68.41544536211815 leq))
|
|
(
|
|
(-0.8333333333333064 1.0 -43.08070507492671 leq)
|
|
(0.157894736842084 1.0 -47.87953995663771 leq)
|
|
(0.3333333333333483 -1.0 45.25394474497996 leq)
|
|
(-0.06250000000000262 -1.0 47.27522263731498 leq))
|
|
(
|
|
(-6.9999999999999 1.0 -14.20681673850629 leq)
|
|
(0.06250000000006924 1.0 -47.27522263731585 leq)
|
|
(6.000000000002077 -1.0 16.31775597049056 leq)
|
|
(2.749999999999874 -1.0 32.82735905967451 leq)
|
|
(2.50000000000021 -1.0 34.07082014735049 leq)
|
|
(-0.09090909090912663 -1.0 46.82023708305027 leq)
|
|
(-1.0 0.0 4.629235401207348 leq))
|
|
(
|
|
(-0.699999999999925 1.0 -43.29549041802633 leq)
|
|
(0.0994010922025379 1.0 -48.1441730764614 leq)
|
|
(0.129195742779303 -1.0 46.69206193958218 leq))
|
|
(
|
|
(-2.142857142819306 1.0 -34.54399323442856 leq)
|
|
(-0.3751894876835494 1.0 -45.40775866275816 leq)
|
|
(3.000000000000126 -1.0 28.45590904603263 leq)
|
|
(-0.09940109220246676 -1.0 48.14417307646072 leq))
|
|
(
|
|
(-0.1000000000022287 1.0 -47.61144490676279 leq)
|
|
(0.6000000000001948 1.0 -52.1065379394263 leq)
|
|
(2.000000000000155 -1.0 35.26111758657684 leq)
|
|
(-1.555555555555529 -1.0 58.05248542532503 leq))
|
|
(
|
|
(-5.999999999999536 1.0 -10.60890603626369 leq)
|
|
(-0.4000000000004824 1.0 -45.54021165513915 leq)
|
|
(0.4999999999999884 1.0 -51.20587320427319 leq)
|
|
(0.5294117647047196 -1.0 44.60726946420139 leq))
|
|
(
|
|
(-1.666666666666716 1.0 -36.50148181912693 leq)
|
|
(0.06423250113883716 1.0 -47.77193824679627 leq)
|
|
(1.0 0.0 -7.0 leq)
|
|
(0.1280215164175618 -1.0 46.15302588838868 leq))
|
|
(
|
|
(-0.9000000000039865 1.0 -41.31059399066585 leq)
|
|
(-0.1280215164174324 1.0 -46.15302588838974 leq)
|
|
(1.0 0.0 -7.0 leq)
|
|
(0.06747432949980738 -1.0 46.31213448384984 leq))
|
|
(
|
|
(-0.0674743294998013 1.0 -46.31213448385084 leq)
|
|
(1.0 0.0 -7.0 leq)
|
|
(-0.03755738957942864 -1.0 46.94313051755307 leq))
|
|
(
|
|
(0.03755738957944113 1.0 -46.9431305175532 leq)
|
|
(1.0 0.0 -7.0 leq)
|
|
(-0.05168001335635068 -1.0 47.02797459767336 leq))
|
|
(
|
|
(0.05168001335635159 1.0 -47.02797459767303 leq)
|
|
(1.0 0.0 -7.0 leq)
|
|
(-0.08092485549132664 -1.0 47.20366799348957 leq))))
|