begin%STDB%

halley(z) :- i = 1, 
x1 + 1.0960 t = -217.1320, 
y1 + 1.1239 t = -75.7107, 
x2 + 1.0960 t = -207.1320, 
y2 + 1.1239 t = -65.7107, 
t>= 0, t < 10, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 2, 
x1 + 1.0638 t = -217.4544, 
y1 + 1.1474 t = -75.4760, 
x2 + 1.0638 t = -207.4544, 
y2 + 1.1474 t = -65.4760, 
t>= 10, t < 20, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 3, 
x1 + 1.0274 t = -218.1830, 
y1 + 1.1664 t = -75.0971, 
x2 + 1.0274 t = -208.1830, 
y2 + 1.1664 t = -65.0971, 
t>= 20, t < 30, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 4, 
x1 + 0.9869 t = -219.3975, 
y1 + 1.1807 t = -74.6669, 
x2 + 0.9869 t = -209.3975, 
y2 + 1.1807 t = -64.6669, 
t>= 30, t < 40, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 5, 
x1 + 0.9425 t = -221.1727, 
y1 + 1.1904 t = -74.2798, 
x2 + 0.9425 t = -211.1727, 
y2 + 1.1904 t = -64.2798, 
t>= 40, t < 50, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 6, 
x1 + 0.8944 t = -223.5776, 
y1 + 1.1954 t = -74.0307, 
x2 + 0.8944 t = -213.5776, 
y2 + 1.1954 t = -64.0307, 
t>= 50, t < 60, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 7, 
x1 + 0.8428 t = -226.6754, 
y1 + 1.1956 t = -74.0148, 
x2 + 0.8428 t = -216.6754, 
y2 + 1.1956 t = -64.0148, 
t>= 60, t < 70, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 8, 
x1 + 0.7878 t = -230.5222, 
y1 + 1.1912 t = -74.3266, 
x2 + 0.7878 t = -220.5222, 
y2 + 1.1912 t = -64.3266, 
t>= 70, t < 80, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 9, 
x1 + 0.7298 t = -235.1674, 
y1 + 1.1820 t = -75.0591, 
x2 + 0.7298 t = -225.1674, 
y2 + 1.1820 t = -65.0591, 
t>= 80, t < 90, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 10, 
x1 + 0.6688 t = -240.6524, 
y1 + 1.1682 t = -76.3029, 
x2 + 0.6688 t = -230.6524, 
y2 + 1.1682 t = -66.3029, 
t>= 90, t < 100, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 11, 
x1 + 0.6052 t = -247.0108, 
y1 + 1.1498 t = -78.1459, 
x2 + 0.6052 t = -237.0108, 
y2 + 1.1498 t = -68.1459, 
t>= 100, t < 110, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 12, 
x1 + 0.5393 t = -254.2677, 
y1 + 1.1268 t = -80.6724, 
x2 + 0.5393 t = -244.2677, 
y2 + 1.1268 t = -70.6724, 
t>= 110, t < 120, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 13, 
x1 + 0.4712 t = -262.4398, 
y1 + 1.0994 t = -83.9623, 
x2 + 0.4712 t = -252.4398, 
y2 + 1.0994 t = -73.9623, 
t>= 120, t < 130, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 14, 
x1 + 0.4012 t = -271.5346, 
y1 + 1.0676 t = -88.0903, 
x2 + 0.4012 t = -261.5346, 
y2 + 1.0676 t = -78.0903, 
t>= 130, t < 140, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 15, 
x1 + 0.3297 t = -281.5507, 
y1 + 1.0317 t = -93.1257, 
x2 + 0.3297 t = -271.5507, 
y2 + 1.0317 t = -83.1257, 
t>= 140, t < 150, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 16, 
x1 + 0.2568 t = -292.4774, 
y1 + 0.9916 t = -99.1315, 
x2 + 0.2568 t = -282.4774, 
y2 + 0.9916 t = -89.1315, 
t>= 150, t < 160, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 17, 
x1 + 0.1830 t = -304.2947, 
y1 + 0.9477 t = -106.1638, 
x2 + 0.1830 t = -294.2947, 
y2 + 0.9477 t = -96.1638, 
t>= 160, t < 170, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 18, 
x1 + 0.1084 t = -316.9733, 
y1 + 0.9000 t = -114.2715, 
x2 + 0.1084 t = -306.9733, 
y2 + 0.9000 t = -104.2715, 
t>= 170, t < 180, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 19, 
x1 + 0.0334 t = -330.4747, 
y1 + 0.8487 t = -123.4954, 
x2 + 0.0334 t = -320.4747, 
y2 + 0.8487 t = -113.4954, 
t>= 180, t < 190, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 20, 
x1 - 0.0418 t = -344.7512, 
y1 + 0.7941 t = -133.8682, 
x2 - 0.0418 t = -334.7512, 
y2 + 0.7941 t = -123.8682, 
t>= 190, t < 200, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 21, 
x1 - 0.1167 t = -359.7461, 
y1 + 0.7364 t = -145.4137, 
x2 - 0.1167 t = -349.7461, 
y2 + 0.7364 t = -135.4137, 
t>= 200, t < 210, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 22, 
x1 - 0.1913 t = -375.3941, 
y1 + 0.6758 t = -158.1468, 
x2 - 0.1913 t = -365.3941, 
y2 + 0.6758 t = -148.1468, 
t>= 210, t < 220, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 23, 
x1 - 0.2650 t = -391.6211, 
y1 + 0.6125 t = -172.0730, 
x2 - 0.2650 t = -381.6211, 
y2 + 0.6125 t = -162.0730, 
t>= 220, t < 230, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 24, 
x1 - 0.3377 t = -408.3451, 
y1 + 0.5468 t = -187.1881, 
x2 - 0.3377 t = -398.3451, 
y2 + 0.5468 t = -177.1881, 
t>= 230, t < 240, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 25, 
x1 - 0.4091 t = -425.4763, 
y1 + 0.4789 t = -203.4783, 
x2 - 0.4091 t = -415.4763, 
y2 + 0.4789 t = -193.4783, 
t>= 240, t < 250, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 26, 
x1 - 0.4789 t = -442.9178, 
y1 + 0.4091 t = -220.9197, 
x2 - 0.4789 t = -432.9178, 
y2 + 0.4091 t = -210.9197, 
t>= 250, t < 260, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 27, 
x1 - 0.5468 t = -460.5655, 
y1 + 0.3377 t = -239.4786, 
x2 - 0.5468 t = -450.5655, 
y2 + 0.3377 t = -229.4786, 
t>= 260, t < 270, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 28, 
x1 - 0.6125 t = -478.3093, 
y1 + 0.2650 t = -259.1111, 
x2 - 0.6125 t = -468.3093, 
y2 + 0.2650 t = -249.1111, 
t>= 270, t < 280, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 29, 
x1 - 0.6758 t = -496.0336, 
y1 + 0.1913 t = -279.7637, 
x2 - 0.6758 t = -486.0336, 
y2 + 0.1913 t = -269.7637, 
t>= 280, t < 290, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 30, 
x1 - 0.7364 t = -513.6174, 
y1 + 0.1167 t = -301.3727, 
x2 - 0.7364 t = -503.6174, 
y2 + 0.1167 t = -291.3727, 
t>= 290, t < 300, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 31, 
x1 - 0.7941 t = -530.9357, 
y1 + 0.0418 t = -323.8651, 
x2 - 0.7941 t = -520.9357, 
y2 + 0.0418 t = -313.8651, 
t>= 300, t < 310, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 32, 
x1 - 0.8487 t = -547.8597, 
y1 - 0.0334 t = -347.1583, 
x2 - 0.8487 t = -537.8597, 
y2 - 0.0334 t = -337.1583, 
t>= 310, t < 320, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 33, 
x1 - 0.9000 t = -564.2577, 
y1 - 0.1084 t = -371.1608, 
x2 - 0.9000 t = -554.2577, 
y2 - 0.1084 t = -361.1608, 
t>= 320, t < 330, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 34, 
x1 - 0.9477 t = -579.9961, 
y1 - 0.1830 t = -395.7722, 
x2 - 0.9477 t = -569.9961, 
y2 - 0.1830 t = -385.7722, 
t>= 330, t < 340, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 35, 
x1 - 0.9916 t = -594.9399, 
y1 - 0.2568 t = -420.8840, 
x2 - 0.9916 t = -584.9399, 
y2 - 0.2568 t = -410.8840, 
t>= 340, t < 350, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 36, 
x1 - 1.0317 t = -608.9534, 
y1 - 0.3297 t = -446.3795, 
x2 - 1.0317 t = -598.9534, 
y2 - 0.3297 t = -436.3795, 
t>= 350, t < 360, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 37, 
x1 - 1.0676 t = -621.9017, 
y1 - 0.4012 t = -472.1352, 
x2 - 1.0676 t = -611.9017, 
y2 - 0.4012 t = -462.1352, 
t>= 360, t < 370, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 38, 
x1 - 1.0994 t = -633.6506, 
y1 - 0.4712 t = -498.0205, 
x2 - 1.0994 t = -623.6506, 
y2 - 0.4712 t = -488.0205, 
t>= 370, t < 380, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 39, 
x1 - 1.1268 t = -644.0683, 
y1 - 0.5393 t = -523.8987, 
x2 - 1.1268 t = -634.0683, 
y2 - 0.5393 t = -513.8987, 
t>= 380, t < 390, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 40, 
x1 - 1.1498 t = -653.0259, 
y1 - 0.6052 t = -549.6280, 
x2 - 1.1498 t = -643.0259, 
y2 - 0.6052 t = -539.6280, 
t>= 390, t < 400, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 41, 
x1 - 1.1682 t = -660.3982, 
y1 - 0.6688 t = -575.0615, 
x2 - 1.1682 t = -650.3982, 
y2 - 0.6688 t = -565.0615, 
t>= 400, t < 410, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 42, 
x1 - 1.1820 t = -666.0645, 
y1 - 0.7298 t = -600.0487, 
x2 - 1.1820 t = -656.0645, 
y2 - 0.7298 t = -590.0487, 
t>= 410, t < 420, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 43, 
x1 - 1.1912 t = -669.9098, 
y1 - 0.7878 t = -624.4358, 
x2 - 1.1912 t = -659.9098, 
y2 - 0.7878 t = -614.4358, 
t>= 420, t < 430, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 44, 
x1 - 1.1956 t = -671.8252, 
y1 - 0.8428 t = -648.0665, 
x2 - 1.1956 t = -661.8252, 
y2 - 0.8428 t = -638.0665, 
t>= 430, t < 440, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 45, 
x1 - 1.1954 t = -671.7089, 
y1 - 0.8944 t = -670.7832, 
x2 - 1.1954 t = -661.7089, 
y2 - 0.8944 t = -660.7832, 
t>= 440, t < 450, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 46, 
x1 - 1.1904 t = -669.4672, 
y1 - 0.9425 t = -692.4279, 
x2 - 1.1904 t = -659.4672, 
y2 - 0.9425 t = -682.4279, 
t>= 450, t < 460, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 47, 
x1 - 1.1807 t = -665.0146, 
y1 - 0.9869 t = -712.8425, 
x2 - 1.1807 t = -655.0146, 
y2 - 0.9869 t = -702.8425, 
t>= 460, t < 470, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 48, 
x1 - 1.1664 t = -658.2752, 
y1 - 1.0274 t = -731.8703, 
x2 - 1.1664 t = -648.2752, 
y2 - 1.0274 t = -721.8703, 
t>= 470, t < 480, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 49, 
x1 - 1.1474 t = -649.1829, 
y1 - 1.0638 t = -749.3568, 
x2 - 1.1474 t = -639.1829, 
y2 - 1.0638 t = -739.3568, 
t>= 480, t < 490, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 50, 
x1 - 1.1239 t = -637.6823, 
y1 - 1.0960 t = -765.1504, 
x2 - 1.1239 t = -627.6823, 
y2 - 1.0960 t = -755.1504, 
t>= 490, t < 500, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 51, 
x1 - 1.0960 t = -623.7292, 
y1 - 1.1239 t = -779.1036, 
x2 - 1.0960 t = -613.7292, 
y2 - 1.1239 t = -769.1036, 
t>= 500, t < 510, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 52, 
x1 - 1.0638 t = -607.2910, 
y1 - 1.1474 t = -791.0736, 
x2 - 1.0638 t = -597.2910, 
y2 - 1.1474 t = -781.0736, 
t>= 510, t < 520, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 53, 
x1 - 1.0274 t = -588.3473, 
y1 - 1.1664 t = -800.9236, 
x2 - 1.0274 t = -578.3473, 
y2 - 1.1664 t = -790.9236, 
t>= 520, t < 530, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 54, 
x1 - 0.9869 t = -566.8904, 
y1 - 1.1807 t = -808.5233, 
x2 - 0.9869 t = -556.8904, 
y2 - 1.1807 t = -798.5233, 
t>= 530, t < 540, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 55, 
x1 - 0.9425 t = -542.9254, 
y1 - 1.1904 t = -813.7503, 
x2 - 0.9425 t = -532.9254, 
y2 - 1.1904 t = -803.7503, 
t>= 540, t < 550, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 56, 
x1 - 0.8944 t = -516.4708, 
y1 - 1.1954 t = -816.4902, 
x2 - 0.8944 t = -506.4708, 
y2 - 1.1954 t = -806.4902, 
t>= 550, t < 560, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 57, 
x1 - 0.8428 t = -487.5586, 
y1 - 1.1956 t = -816.6381, 
x2 - 0.8428 t = -477.5586, 
y2 - 1.1956 t = -806.6381, 
t>= 560, t < 570, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 58, 
x1 - 0.7878 t = -456.2341, 
y1 - 1.1912 t = -814.0991, 
x2 - 0.7878 t = -446.2341, 
y2 - 1.1912 t = -804.0991, 
t>= 570, t < 580, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 59, 
x1 - 0.7298 t = -422.5568, 
y1 - 1.1820 t = -808.7890, 
x2 - 0.7298 t = -412.5568, 
y2 - 1.1820 t = -798.7890, 
t>= 580, t < 590, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 60, 
x1 - 0.6688 t = -386.5997, 
y1 - 1.1682 t = -800.6350, 
x2 - 0.6688 t = -376.5997, 
y2 - 1.1682 t = -790.6350, 
t>= 590, t < 600, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 61, 
x1 - 0.6052 t = -348.4493, 
y1 - 1.1498 t = -789.5767, 
x2 - 0.6052 t = -338.4493, 
y2 - 1.1498 t = -779.5767, 
t>= 600, t < 610, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 62, 
x1 - 0.5393 t = -308.2061, 
y1 - 1.1268 t = -775.5661, 
x2 - 0.5393 t = -298.2061, 
y2 - 1.1268 t = -765.5661, 
t>= 610, t < 620, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 63, 
x1 - 0.4712 t = -265.9837, 
y1 - 1.0994 t = -758.5687, 
x2 - 0.4712 t = -255.9837, 
y2 - 1.0994 t = -748.5687, 
t>= 620, t < 630, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 64, 
x1 - 0.4012 t = -221.9088, 
y1 - 1.0676 t = -738.5638, 
x2 - 0.4012 t = -211.9088, 
y2 - 1.0676 t = -728.5638, 
t>= 630, t < 640, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 101, 
x1 - 0.3297 t = -176.1211, 
y1 - 1.0317 t = -715.5449, 
x2 - 0.3297 t = -166.1211, 
y2 - 1.0317 t = -705.5449, 
t>= 640, t < 645, 
p=1000,s=-1, 
z = 0. 

halley(z) :- i = 65, 
x1 - 0.3297 t = -176.1211, 
y1 - 1.0317 t = -715.5449, 
x2 - 0.3297 t = -166.1211, 
y2 - 1.0317 t = -705.5449, 
t>= 646, t < 650, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 66, 
x1 - 0.2568 t = -128.7720, 
y1 - 0.9916 t = -689.5196, 
x2 - 0.2568 t = -118.7720, 
y2 - 0.9916 t = -679.5196, 
t>= 650, t < 660, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 67, 
x1 - 0.1830 t = -80.0257, 
y1 - 0.9477 t = -660.5112, 
x2 - 0.1830 t = -70.0257, 
y2 - 0.9477 t = -650.5112, 
t>= 660, t < 670, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 68, 
x1 - 0.1084 t = -30.0570, 
y1 - 0.9000 t = -628.5574, 
x2 - 0.1084 t = -20.0570, 
y2 - 0.9000 t = -618.5574, 
t>= 670, t < 680, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 69, 
x1 - 0.0334 t = 20.9483, 
y1 - 0.8487 t = -593.7115, 
x2 - 0.0334 t = 30.9483, 
y2 - 0.8487 t = -583.7115, 
t>= 680, t < 690, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 70, 
x1 + 0.0418 t = 72.7945, 
y1 - 0.7941 t = -556.0420, 
x2 + 0.0418 t = 82.7945, 
y2 - 0.7941 t = -546.0420, 
t>= 690, t < 700, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 71, 
x1 + 0.1167 t = 125.2768, 
y1 - 0.7364 t = -515.6327, 
x2 + 0.1167 t = 135.2768, 
y2 - 0.7364 t = -505.6327, 
t>= 700, t < 710, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 72, 
x1 + 0.1913 t = 178.1816, 
y1 - 0.6758 t = -472.5827, 
x2 + 0.1913 t = 188.1816, 
y2 - 0.6758 t = -462.5827, 
t>= 710, t < 720, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 73, 
x1 + 0.2650 t = 231.2881, 
y1 - 0.6125 t = -427.0061, 
x2 + 0.2650 t = 241.2881, 
y2 - 0.6125 t = -417.0061, 
t>= 720, t < 730, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 74, 
x1 + 0.3377 t = 284.3687, 
y1 - 0.5468 t = -379.0320, 
x2 + 0.3377 t = 294.3687, 
y2 - 0.5468 t = -369.0320, 
t>= 730, t < 740, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 75, 
x1 + 0.4091 t = 337.1901, 
y1 - 0.4789 t = -328.8039, 
x2 + 0.4091 t = 347.1901, 
y2 - 0.4789 t = -318.8039, 
t>= 740, t < 750, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 76, 
x1 + 0.4789 t = 389.5144, 
y1 - 0.4091 t = -276.4796, 
x2 + 0.4789 t = 399.5144, 
y2 - 0.4091 t = -266.4796, 
t>= 750, t < 760, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 77, 
x1 + 0.5468 t = 441.1000, 
y1 - 0.3377 t = -222.2306, 
x2 + 0.5468 t = 451.1000, 
y2 - 0.3377 t = -212.2306, 
t>= 760, t < 770, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 78, 
x1 + 0.6125 t = 491.7028, 
y1 - 0.2650 t = -166.2415, 
x2 + 0.6125 t = 501.7028, 
y2 - 0.2650 t = -156.2415, 
t>= 770, t < 780, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 79, 
x1 + 0.6758 t = 541.0775, 
y1 - 0.1913 t = -108.7095, 
x2 + 0.6758 t = 551.0775, 
y2 - 0.1913 t = -98.7095, 
t>= 780, t < 790, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 80, 
x1 + 0.7364 t = 588.9782, 
y1 - 0.1167 t = -49.8435, 
x2 + 0.7364 t = 598.9782, 
y2 - 0.1167 t = -39.8435, 
t>= 790, t < 800, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 81, 
x1 + 0.7941 t = 635.1603, 
y1 - 0.0418 t = 10.1362, 
x2 + 0.7941 t = 645.1603, 
y2 - 0.0418 t = 20.1362, 
t>= 800, t < 810, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 82, 
x1 + 0.8487 t = 679.3811, 
y1 + 0.0334 t = 70.9992, 
x2 + 0.8487 t = 689.3811, 
y2 + 0.0334 t = 80.9992, 
t>= 810, t < 820, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 83, 
x1 + 0.9000 t = 721.4011, 
y1 + 0.1084 t = 132.5056, 
x2 + 0.9000 t = 731.4011, 
y2 + 0.1084 t = 142.5056, 
t>= 820, t < 830, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 84, 
x1 + 0.9477 t = 760.9856, 
y1 + 0.1830 t = 194.4070, 
x2 + 0.9477 t = 770.9856, 
y2 + 0.1830 t = 204.4070, 
t>= 830, t < 840, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 85, 
x1 + 0.9916 t = 797.9055, 
y1 + 0.2568 t = 256.4478, 
x2 + 0.9916 t = 807.9055, 
y2 + 0.2568 t = 266.4478, 
t>= 840, t < 850, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 86, 
x1 + 1.0317 t = 831.9382, 
y1 + 0.3297 t = 318.3654, 
x2 + 1.0317 t = 841.9382, 
y2 + 0.3297 t = 328.3654, 
t>= 850, t < 860, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 102, 
x1 + 1.0676 t = 862.8703, 
y1 + 0.4012 t = 379.8930, 
x2 + 1.0676 t = 872.8703, 
y2 + 0.4012 t = 389.8930, 
t>= 860, t < 865, 
p=1000,s=-1, 
z = 0. 

halley(z) :- i = 87, 
x1 + 1.0676 t = 862.8703, 
y1 + 0.4012 t = 379.8930, 
x2 + 1.0676 t = 872.8703, 
y2 + 0.4012 t = 389.8930, 
t>= 866, t < 870, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 88, 
x1 + 1.0994 t = 890.4961, 
y1 + 0.4712 t = 440.7583, 
x2 + 1.0994 t = 900.4961, 
y2 + 0.4712 t = 450.7583, 
t>= 870, t < 880, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 89, 
x1 + 1.1268 t = 914.6214, 
y1 + 0.5393 t = 500.6869, 
x2 + 1.1268 t = 924.6214, 
y2 + 0.5393 t = 510.6869, 
t>= 880, t < 890, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 90, 
x1 + 1.1498 t = 935.0631, 
y1 + 0.6052 t = 559.4024, 
x2 + 1.1498 t = 945.0631, 
y2 + 0.6052 t = 569.4024, 
t>= 890, t < 900, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 91, 
x1 + 1.1682 t = 951.6506, 
y1 + 0.6688 t = 616.6280, 
x2 + 1.1682 t = 961.6506, 
y2 + 0.6688 t = 626.6280, 
t>= 900, t < 910, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 92, 
x1 + 1.1820 t = 964.2271, 
y1 + 0.7298 t = 672.0873, 
x2 + 1.1820 t = 974.2271, 
y2 + 0.7298 t = 682.0873, 
t>= 910, t < 920, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 93, 
x1 + 1.1912 t = 972.6501, 
y1 + 0.7878 t = 725.5065, 
x2 + 1.1912 t = 982.6501, 
y2 + 0.7878 t = 735.5065, 
t>= 920, t < 930, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 94, 
x1 + 1.1956 t = 976.7927, 
y1 + 0.8428 t = 776.6148, 
x2 + 1.1956 t = 986.7927, 
y2 + 0.8428 t = 786.6148, 
t>= 930, t < 940, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 95, 
x1 + 1.1954 t = 976.5445, 
y1 + 0.8944 t = 825.1461, 
x2 + 1.1954 t = 986.5445, 
y2 + 0.8944 t = 835.1461, 
t>= 940, t < 950, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 96, 
x1 + 1.1904 t = 971.8119, 
y1 + 0.9425 t = 870.8404, 
x2 + 1.1904 t = 981.8119, 
y2 + 0.9425 t = 880.8404, 
t>= 950, t < 960, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 97, 
x1 + 1.1807 t = 962.5196, 
y1 + 0.9869 t = 913.4448, 
x2 + 1.1807 t = 972.5196, 
y2 + 0.9869 t = 923.4448, 
t>= 960, t < 970, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 98, 
x1 + 1.1664 t = 948.6106, 
y1 + 1.0274 t = 952.7150, 
x2 + 1.1664 t = 958.6106, 
y2 + 1.0274 t = 962.7150, 
t>= 970, t < 980, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 99, 
x1 + 1.1474 t = 930.0472, 
y1 + 1.0638 t = 988.4166, 
x2 + 1.1474 t = 940.0472, 
y2 + 1.0638 t = 998.4166, 
t>= 980, t < 990, 
p=1000,s=-1, 
z = 1. 

halley(z) :- i = 100, 
x1 + 1.1239 t = 906.8113, 
y1 + 1.0960 t = 1020.3261, 
x2 + 1.1239 t = 916.8113, 
y2 + 1.0960 t = 1030.3261, 
t>= 990, t < 1000, 
p=1000,s=-1, 
z = 1. 

pos_hit(z) :- halley(z),z = 0.

end%STDB%
