148 lines
5.8 KiB
Plaintext
148 lines
5.8 KiB
Plaintext
|
|
(constraint
|
|
(
|
|
(
|
|
(0.1155378486055713 -1.0 47.95882299601743 eq)
|
|
(-1.0 0.0 10.96729564101127 leq)
|
|
(1.0 0.0 -11.20805027099116 leq))
|
|
(
|
|
(0.1155378486055783 -1.0 47.95882299601735 eq)
|
|
(-1.0 0.0 11.96488743482523 leq)
|
|
(1.0 0.0 -12.13110714736797 leq))
|
|
(
|
|
(-0.1197368421052637 -1.0 49.02140282361195 eq)
|
|
(-1.0 0.0 10.47527345368104 leq)
|
|
(1.0 0.0 -11.0193321744706 leq))
|
|
(
|
|
(0.1115485564304413 -1.0 45.81197366282645 eq)
|
|
(-1.0 0.0 11.90370579840132 leq)
|
|
(1.0 0.0 -12.13110714736797 leq))
|
|
(
|
|
(-0.119736842105254 -1.0 49.02140282361184 eq)
|
|
(-1.0 0.0 11.64108680364632 leq)
|
|
(1.0 0.0 -12.13110714736797 leq))
|
|
(
|
|
(-0.1197368421052752 -1.0 49.02140282361207 eq)
|
|
(-1.0 0.0 10.19828754190746 leq)
|
|
(1.0 0.0 -10.47527345369012 leq))
|
|
(
|
|
(-0.1197368421053294 -1.0 49.02140282361263 eq)
|
|
(-1.0 0.0 10.17494417022114 leq)
|
|
(1.0 0.0 -10.19828754190804 leq))
|
|
(
|
|
(0.115537848605542 -1.0 47.95882299601772 eq)
|
|
(-1.0 0.0 10.18365510475973 leq)
|
|
(1.0 0.0 -10.31565267245751 leq))
|
|
(
|
|
(-0.09638554216937326 -1.0 50.8813051574279 eq)
|
|
(-1.0 0.0 10.3707033370317 leq)
|
|
(1.0 0.0 -10.37781121578581 leq))
|
|
(
|
|
(0.1155378486055936 -1.0 47.95882299601719 eq)
|
|
(-1.0 0.0 9.907595087135755 leq)
|
|
(1.0 0.0 -10.18365510476235 leq))
|
|
(
|
|
(-0.09638554216859765 -1.0 50.88130515741985 eq)
|
|
(-1.0 0.0 10.31070249466917 leq)
|
|
(1.0 0.0 -10.3707033370342 leq))
|
|
(
|
|
(-0.09638554216867901 -1.0 50.8813051574207 eq)
|
|
(-1.0 0.0 10.11224775238538 leq)
|
|
(1.0 0.0 -10.31070249467614 leq))
|
|
(
|
|
(-0.119736842105254 -1.0 49.02140282361187 eq)
|
|
(-1.0 0.0 9.314389183276605 leq)
|
|
(1.0 0.0 -9.853565577746206 leq))
|
|
(
|
|
(-0.1197368421051697 -1.0 49.02140282361103 eq)
|
|
(-1.0 0.0 9.853565577739648 leq)
|
|
(1.0 0.0 -9.90224918863963 leq))
|
|
(
|
|
(-0.1197368421052622 -1.0 49.02140282361194 eq)
|
|
(-1.0 0.0 6.482850106610072 leq)
|
|
(1.0 0.0 -6.789131397713927 leq))
|
|
(
|
|
(-0.1197368421052594 -1.0 49.02140282361192 eq)
|
|
(-1.0 0.0 6.78913139771321 leq)
|
|
(1.0 0.0 -7.333250655099288 leq))
|
|
(
|
|
(-0.1197368421052808 -1.0 49.02140282361206 eq)
|
|
(-1.0 0.0 6.280088783081161 leq)
|
|
(1.0 0.0 -6.416574950861717 leq))
|
|
(
|
|
(-0.1197368421052696 -1.0 49.02140282361199 eq)
|
|
(-1.0 0.0 6.11797107036691 leq)
|
|
(1.0 0.0 -6.280088783078681 leq))
|
|
(
|
|
(-0.1197368421052292 -1.0 49.02140282361174 eq)
|
|
(-1.0 0.0 6.065246887818143 leq)
|
|
(1.0 0.0 -6.117971070366895 leq))
|
|
(
|
|
(-0.1197368421052131 -1.0 49.02140282361169 eq)
|
|
(-1.0 0.0 5.211245364249114 leq)
|
|
(1.0 0.0 -5.286191687340557 leq))
|
|
(
|
|
(-0.1197368421052622 -1.0 49.02140282361194 eq)
|
|
(-1.0 0.0 5.286191687333606 leq)
|
|
(1.0 0.0 -5.567293413795237 leq))
|
|
(
|
|
(-0.1197368421052341 -1.0 49.02140282361179 eq)
|
|
(-1.0 0.0 5.56729341379626 leq)
|
|
(1.0 0.0 -5.608261333442607 leq))
|
|
(
|
|
(-0.1197368421045172 -1.0 49.02140282360716 eq)
|
|
(-1.0 0.0 6.416574950865257 leq)
|
|
(1.0 0.0 -6.423842980871101 leq))
|
|
(
|
|
(0.1115485564304576 -1.0 45.81197366282629 eq)
|
|
(-1.0 0.0 8.626696433004486 leq)
|
|
(1.0 0.0 -8.824032014396954 leq))
|
|
(
|
|
(0.1115485564304452 -1.0 45.8119736628264 eq)
|
|
(-1.0 0.0 7.586262553552146 leq)
|
|
(1.0 0.0 -8.439664461676223 leq))
|
|
(
|
|
(0.1115485564304488 -1.0 45.81197366282637 eq)
|
|
(-1.0 0.0 7.449681979296083 leq)
|
|
(1.0 0.0 -7.586262553552383 leq))
|
|
(
|
|
(0.1115485564304515 -1.0 45.81197366282635 eq)
|
|
(-1.0 0.0 7.230579625350086 leq)
|
|
(1.0 0.0 -7.449681979293975 leq))
|
|
(
|
|
(0.111548556430438 -1.0 45.81197366282647 eq)
|
|
(-1.0 0.0 9.417638571165096 leq)
|
|
(1.0 0.0 -10.01128387740365 leq))
|
|
(
|
|
(0.1115485564304592 -1.0 45.81197366282627 eq)
|
|
(-1.0 0.0 9.115619457856868 leq)
|
|
(1.0 0.0 -9.417638571182508 leq))
|
|
(
|
|
(0.1115485564304437 -1.0 45.81197366282642 eq)
|
|
(-1.0 0.0 11.36116314586704 leq)
|
|
(1.0 0.0 -11.57443115206984 leq))
|
|
(
|
|
(-0.119736842105258 -1.0 49.02140282361189 eq)
|
|
(-1.0 0.0 11.01933217446719 leq)
|
|
(1.0 0.0 -11.57443115206984 leq))
|
|
(
|
|
(0.1155378486055756 -1.0 47.95882299601738 eq)
|
|
(-1.0 0.0 8.989734639402112 leq)
|
|
(1.0 0.0 -9.332799557377252 leq))
|
|
(
|
|
(-0.09638554216872729 -1.0 50.8813051574211 eq)
|
|
(-1.0 0.0 8.467349594115195 leq)
|
|
(1.0 0.0 -8.501537193514547 leq))
|
|
(
|
|
(-0.09638554216866244 -1.0 50.88130515742055 eq)
|
|
(-1.0 0.0 8.355686784177005 leq)
|
|
(1.0 0.0 -8.467349594117644 leq))
|
|
(
|
|
(-0.09638554216862323 -1.0 50.88130515742022 eq)
|
|
(-1.0 0.0 8.305785626579613 leq)
|
|
(1.0 0.0 -8.355686784178618 leq))
|
|
(
|
|
(0.1155378486055928 -1.0 47.95882299601723 eq)
|
|
(-1.0 0.0 8.355686659894083 leq)
|
|
(1.0 0.0 -8.698069074578315 leq))))
|