85 lines
2.7 KiB
Plaintext
85 lines
2.7 KiB
Plaintext
|
|
(constraint
|
|
(
|
|
(
|
|
(1.0 0.0 -9.752606143122135 eq)
|
|
(0.0 1.0 -50.66487747689952 eq))
|
|
(
|
|
(1.0 0.0 -9.909802312436312 eq)
|
|
(0.0 1.0 -50.35048513827116 eq))
|
|
(
|
|
(1.0 0.0 -12.36777877807617 eq)
|
|
(0.0 1.0 -49.77886270440143 eq))
|
|
(
|
|
(1.0 0.0 -12.75362392093824 eq)
|
|
(0.0 1.0 -50.72203972028649 eq))
|
|
(
|
|
(1.0 0.0 -13.09659738126009 eq)
|
|
(0.0 1.0 -50.85065476790718 eq))
|
|
(
|
|
(1.0 0.0 -13.35382747650147 eq)
|
|
(0.0 1.0 -50.72203972028649 eq))
|
|
(
|
|
(1.0 0.0 -13.41098971988844 eq)
|
|
(0.0 1.0 -50.27903233403745 eq))
|
|
(
|
|
(1.0 0.0 -13.42528028073518 eq)
|
|
(0.0 1.0 -49.76457214355469 eq))
|
|
(
|
|
(1.0 0.0 -13.58247645004936 eq)
|
|
(0.0 1.0 -49.4073081223861 eq))
|
|
(
|
|
(1.0 0.0 -13.71109149767005 eq)
|
|
(0.0 1.0 -50.2647417731907 eq))
|
|
(
|
|
(1.0 0.0 -13.79683486275051 eq)
|
|
(0.0 1.0 -49.20724027053169 eq))
|
|
(
|
|
(1.0 0.0 -13.88257822783097 eq)
|
|
(0.0 1.0 -48.34980661972709 eq))
|
|
(
|
|
(1.0 0.0 -13.99690271460492 eq)
|
|
(0.0 1.0 -47.86392755093782 eq))
|
|
(
|
|
(1.0 0.0 -14.01119327545166 eq)
|
|
(0.0 1.0 -50.95068869383439 eq))
|
|
(
|
|
(1.0 0.0 -14.06835551883864 eq)
|
|
(0.0 1.0 -50.06467392133629 eq))
|
|
(
|
|
(1.0 0.0 -14.11122720137887 eq)
|
|
(0.0 1.0 -49.10720634460449 eq))
|
|
(
|
|
(1.0 0.0 -14.12551776222561 eq)
|
|
(0.0 1.0 -48.60703671496847 eq))
|
|
(
|
|
(1.0 0.0 -14.18268000561258 eq)
|
|
(0.0 1.0 -47.90679923347805 eq))
|
|
(
|
|
(1.0 0.0 -14.28271393153979 eq)
|
|
(0.0 1.0 -48.84997624936311 eq))
|
|
(
|
|
(1.0 0.0 -14.33987617492676 eq)
|
|
(0.0 1.0 -47.96396147686502 eq))
|
|
(
|
|
(1.0 0.0 -14.36845729662025 eq)
|
|
(0.0 1.0 -48.17831988956617 eq))
|
|
(
|
|
(1.0 0.0 -14.38274785746699 eq)
|
|
(0.0 1.0 -48.49271222819453 eq))
|
|
(
|
|
(1.0 0.0 -14.39703841831373 eq)
|
|
(0.0 1.0 -48.79281400597613 eq))
|
|
(
|
|
(1.0 0.0 -14.45420066170071 eq)
|
|
(0.0 1.0 -50.72203972028649 eq))
|
|
(
|
|
(1.0 0.0 -14.59710627016814 eq)
|
|
(0.0 1.0 -49.06433466206426 eq))
|
|
(
|
|
(1.0 0.0 -14.6828496352486 eq)
|
|
(0.0 1.0 -49.67882877847423 eq))
|
|
(
|
|
(1.0 0.0 -14.69714019609535 eq)
|
|
(0.0 1.0 -49.9360588737156 eq))))
|