124 lines
4.8 KiB
Plaintext
124 lines
4.8 KiB
Plaintext
|
|
(constraint
|
|
(
|
|
(
|
|
(-1.045454545454479 -1.0 65.64877135386176 eq)
|
|
(-1.0 0.0 14.48278178339419 leq)
|
|
(1.0 0.0 -14.79717412202255 leq))
|
|
(
|
|
(0.3818181818181824 -1.0 44.97789189938018 eq)
|
|
(-1.0 0.0 14.48278178339419 leq)
|
|
(1.0 0.0 -15.26876262996508 leq))
|
|
(
|
|
(-1.333333333333315 -1.0 68.88440704345661 eq)
|
|
(-1.0 0.0 14.6828496352486 leq)
|
|
(1.0 0.0 -14.94007973048998 leq))
|
|
(
|
|
(0.6888888888888872 -1.0 39.19242222551007 eq)
|
|
(-1.0 0.0 14.6828496352486 leq)
|
|
(1.0 0.0 -15.32592487335205 leq))
|
|
(
|
|
(0.0238095238095162 -1.0 49.82668473853842 eq)
|
|
(-1.0 0.0 14.79717412202255 leq)
|
|
(1.0 0.0 -15.39737767758577 leq))
|
|
(
|
|
(-29.00000000000584 -1.0 479.5971497246329 eq)
|
|
(-1.0 0.0 14.9114986087965 leq)
|
|
(1.0 0.0 -14.92578916964324 leq))
|
|
(
|
|
(0.2388059701492517 -1.0 43.60273517779464 eq)
|
|
(-1.0 0.0 14.9114986087965 leq)
|
|
(1.0 0.0 -15.8689661855283 leq))
|
|
(
|
|
(-1.111111111111121 -1.0 63.33347399338605 eq)
|
|
(-1.0 0.0 14.92578916964324 leq)
|
|
(1.0 0.0 -15.31163431250531 leq))
|
|
(
|
|
(-0.07142857142858285 -1.0 50.03144928831513 eq)
|
|
(-1.0 0.0 14.94007973048998 leq)
|
|
(1.0 0.0 -15.3402154341988 leq))
|
|
(
|
|
(-2.080000000000025 -1.0 78.75065798718148 eq)
|
|
(-1.0 0.0 15.08298533895742 leq)
|
|
(1.0 0.0 -15.440249360126 leq))
|
|
(
|
|
(11.33333333333322 -1.0 -123.562452026034 eq)
|
|
(-1.0 0.0 15.08298533895742 leq)
|
|
(1.0 0.0 -15.12585702149765 leq))
|
|
(
|
|
(0.4324324324324302 -1.0 41.32301640650625 eq)
|
|
(-1.0 0.0 15.12585702149765 leq)
|
|
(1.0 0.0 -15.65460777282715 leq))
|
|
(
|
|
(-3.142857142857245 -1.0 96.29447463136408 eq)
|
|
(-1.0 0.0 15.16872870403788 leq)
|
|
(1.0 0.0 -15.36879655589228 leq))
|
|
(
|
|
(3.051282051282076 -1.0 2.337257640418034 eq)
|
|
(-1.0 0.0 15.16872870403788 leq)
|
|
(1.0 0.0 -15.72606057706087 leq))
|
|
(
|
|
(-1.068965517241372 -1.0 67.12956382774176 eq)
|
|
(-1.0 0.0 15.26876262996508 leq)
|
|
(1.0 0.0 -16.0976151590762 leq))
|
|
(
|
|
(0.9615384615384695 -1.0 31.59782167900367 eq)
|
|
(-1.0 0.0 15.31163431250531 leq)
|
|
(1.0 0.0 -15.68318889452064 leq))
|
|
(
|
|
(-0.9090909090909075 -1.0 63.68294055848175 eq)
|
|
(-1.0 0.0 15.32592487335205 leq)
|
|
(1.0 0.0 -15.95470955060876 leq))
|
|
(
|
|
(-1.642857142857121 -1.0 74.13750211348491 eq)
|
|
(-1.0 0.0 15.3402154341988 leq)
|
|
(1.0 0.0 -15.54028328605321 leq))
|
|
(
|
|
(-4.176470588235264 -1.0 112.1798693908142 eq)
|
|
(-1.0 0.0 15.36879655589228 leq)
|
|
(1.0 0.0 -15.61173609028692 leq))
|
|
(
|
|
(0.3170731707317005 -1.0 45.31119360777139 eq)
|
|
(-1.0 0.0 15.39737767758577 leq)
|
|
(1.0 0.0 -15.98329067230225 leq))
|
|
(
|
|
(1.999999999999979 -1.0 15.75444059786632 eq)
|
|
(-1.0 0.0 15.440249360126 leq)
|
|
(1.0 0.0 -15.61173609028692 leq))
|
|
(
|
|
(-17.666666666671 -1.0 323.1520414353095 eq)
|
|
(-1.0 0.0 15.54028328605321 leq)
|
|
(1.0 0.0 -15.58315496859343 leq))
|
|
(
|
|
(-3.666666666666421 -1.0 104.9878718749291 eq)
|
|
(-1.0 0.0 15.58315496859343 leq)
|
|
(1.0 0.0 -15.75464169875436 leq))
|
|
(
|
|
(3.619047619047646 -1.0 -8.562194462889684 eq)
|
|
(-1.0 0.0 15.65460777282715 leq)
|
|
(1.0 0.0 -15.95470955060876 leq))
|
|
(
|
|
(7.599999999999652 -1.0 -72.51442459769267 eq)
|
|
(-1.0 0.0 15.68318889452064 leq)
|
|
(1.0 0.0 -15.75464169875436 leq))
|
|
(
|
|
(2.349999999999982 -1.0 10.10026850700341 eq)
|
|
(-1.0 0.0 15.8689661855283 leq)
|
|
(1.0 0.0 -16.15477740246317 leq))
|
|
(
|
|
(-0.4285714285714261 -1.0 57.22904797666551 eq)
|
|
(-1.0 0.0 15.98329067230225 leq)
|
|
(1.0 0.0 -16.18335852415666 leq))
|
|
(
|
|
(3.499999999999814 -1.0 -6.348431939661227 eq)
|
|
(-1.0 0.0 16.01187179399573 leq)
|
|
(1.0 0.0 -16.18335852415666 leq))
|
|
(
|
|
(-6.999999999999684 -1.0 162.6050744263969 eq)
|
|
(-1.0 0.0 16.0976151590762 leq)
|
|
(1.0 0.0 -16.25481132839038 leq))
|
|
(
|
|
(7.571428571428171 -1.0 -74.25074778728005 eq)
|
|
(-1.0 0.0 16.15477740246317 leq)
|
|
(1.0 0.0 -16.25481132839038 leq))))
|