264 lines
8.5 KiB
Plaintext
264 lines
8.5 KiB
Plaintext
|
|
(constraint
|
|
(
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 11.01775515676452 leq)
|
|
(1.0 0.0 -13.29747589943281 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 10.9382300145856 leq)
|
|
(1.0 0.0 -11.46839762915887 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 11.4683976291521 leq)
|
|
(1.0 0.0 -12.13110714736797 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 10.38155401928156 leq)
|
|
(1.0 0.0 -12.13110714736304 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 11.57443115207396 leq)
|
|
(1.0 0.0 -12.13110714736797 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 10.17855294877455 leq)
|
|
(1.0 0.0 -10.64663782657511 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 10.15557440765212 leq)
|
|
(1.0 0.0 -10.38155401928893 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 9.90440316617542 leq)
|
|
(1.0 0.0 -10.38155401928868 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 10.67314620730183 leq)
|
|
(1.0 0.0 -11.680464674987 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 9.930911546884799 leq)
|
|
(1.0 0.0 -11.17680544114806 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 11.17680544113918 leq)
|
|
(1.0 0.0 -11.68046467499701 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 11.4683976291559 leq)
|
|
(1.0 0.0 -11.68046467498377 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 11.04426353750873 leq)
|
|
(1.0 0.0 -11.46839762915567 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 11.33585572551813 leq)
|
|
(1.0 0.0 -11.68046467497169 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 11.04426353750209 leq)
|
|
(1.0 0.0 -11.20331382187108 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 8.950101459949854 leq)
|
|
(1.0 0.0 -9.904403166176255 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 9.82238556138665 leq)
|
|
(1.0 0.0 -10.15557440761537 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 8.950101459949014 leq)
|
|
(1.0 0.0 -9.427252313058906 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 9.692336120350484 leq)
|
|
(1.0 0.0 -9.937278266987942 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 8.817559556302586 leq)
|
|
(1.0 0.0 -9.937278266986199 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 9.615578691270601 leq)
|
|
(1.0 0.0 -9.937278266984519 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 9.26820202869045 leq)
|
|
(1.0 0.0 -9.615578691268189 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 6.458313671472395 leq)
|
|
(1.0 0.0 -9.397282550601346 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 6.145818981741528 leq)
|
|
(1.0 0.0 -6.524964910262304 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 6.52496491026275 leq)
|
|
(1.0 0.0 -9.268202028698076 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 6.42156147521182 leq)
|
|
(1.0 0.0 -9.268202028727623 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 6.113704722002219 leq)
|
|
(1.0 0.0 -9.268202028607552 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 6.11370472201551 leq)
|
|
(1.0 0.0 -6.421561475210961 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 6.113704722002636 leq)
|
|
(1.0 0.0 -6.306668769597816 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 5.812630135458811 leq)
|
|
(1.0 0.0 -6.122840440615882 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 5.106386254311547 leq)
|
|
(1.0 0.0 -5.371470061606572 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 4.973844350677191 leq)
|
|
(1.0 0.0 -5.583537107432624 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 5.502419830302237 leq)
|
|
(1.0 0.0 -5.822112533988879 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 4.973844350673464 leq)
|
|
(1.0 0.0 -5.502419830307585 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 4.973844350677519 leq)
|
|
(1.0 0.0 -5.59433399478877 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 5.026861112127115 leq)
|
|
(1.0 0.0 -5.82411940602356 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 5.000352731406765 leq)
|
|
(1.0 0.0 -5.743694512082477 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 5.583537107431146 leq)
|
|
(1.0 0.0 -6.03417957981438 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 5.824119406022768 leq)
|
|
(1.0 0.0 -6.352280148560187 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 4.84130244703984 leq)
|
|
(1.0 0.0 -5.583537107426714 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 5.344961680878337 leq)
|
|
(1.0 0.0 -5.583537107432728 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 4.682252162666836 leq)
|
|
(1.0 0.0 -5.344961680874846 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 4.629235401207348 leq)
|
|
(1.0 0.0 -5.106386254320034 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 5.950501382197738 leq)
|
|
(1.0 0.0 -6.352280148561855 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 6.065394087804141 leq)
|
|
(1.0 0.0 -6.458313671474746 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 6.306668769592752 leq)
|
|
(1.0 0.0 -6.479007828018474 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 6.214754605106061 leq)
|
|
(1.0 0.0 -6.410072204648754 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 6.272755006376523 leq)
|
|
(1.0 0.0 -8.420694552885795 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 8.420694552889568 leq)
|
|
(1.0 0.0 -9.213454221618111 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 6.007671199081361 leq)
|
|
(1.0 0.0 -8.420694552886918 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 6.007671199081223 leq)
|
|
(1.0 0.0 -8.547076529065503 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 6.00767119909386 leq)
|
|
(1.0 0.0 -8.742394128598198 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 6.007671199099014 leq)
|
|
(1.0 0.0 -10.59362106512328 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 8.742394128604722 leq)
|
|
(1.0 0.0 -10.5936210651022 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 8.903243916453599 leq)
|
|
(1.0 0.0 -10.17855294877937 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 9.904403166172321 leq)
|
|
(1.0 0.0 -10.83219649168123 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 10.38155401929343 leq)
|
|
(1.0 0.0 -11.57443115206984 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 8.89708469849178 leq)
|
|
(1.0 0.0 -9.427252313068294 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 8.340408703190631 leq)
|
|
(1.0 0.0 -9.294710409430996 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 8.207866799552656 leq)
|
|
(1.0 0.0 -8.525967368293037 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 7.916274611541089 leq)
|
|
(1.0 0.0 -8.52596736829846 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 7.916274611539213 leq)
|
|
(1.0 0.0 -8.048816515182322 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 7.280073474066123 leq)
|
|
(1.0 0.0 -8.52596736829401 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 7.916274611539151 leq)
|
|
(1.0 0.0 -8.552475749022692 leq))
|
|
(
|
|
(0.0 -1.0 0.0 eq)
|
|
(-1.0 0.0 8.260883561007679 leq)
|
|
(1.0 0.0 -8.738034414128835 leq))))
|