begin %STDB%

sun() :- i = 1, 
x1  = -5, 
y1  = -5, 
x2  = 5, 
y2  = 5, 
t>= 0,t < 200, 
p = 200,s=-1. 

comet1() :- i = 1, 
x1 + 0.8t = 57.2, 
y1 + 0.8t = 51.2, 
x2 -0.8t  = 2.8, 
y2 -0.8t  = -3.2, 
t >= 36, t < 42, 
p = -1,s=-1. 

comet1() :- i = 2, 
x1 - 0.8t = -6.8, 
y1 - 0.8t = -12.8, 
x2 + 0.8t  = 66.8, 
y2 + 0.8t  = 56, 
t>= 42, t < 48, 
p = -1,s=-1. 

comet2() :- i = 1, 
x1 + 1.2t = 114, 
y1 + 1.2t = 22, 
x2 -1.2t  = 6, 
y2 -1.2t  = -86, 
t>= 45,t < 50, 
p = -1,s=-1. 

comet2() :- i = 2, 
x1 - 1.2t = 0, 
y1 - 1.2t = -92, 
x2 + 1.2t  = 120, 
y2 + 1.2t  = 38, 
t>= 50,t < 55, 
p = -1,s=-1. 

comet3() :- i = 1, 
x1 + 0.5t = 5, 
y1 + 0.5t = 0, 
x2 -0.5t  = -95, 
y2 -0.5t  = -100, 
t>= 100,t < 110, 
p = -1,s=-1. 

comet3() :- i = 2, 
x1 - 0.5t = -105, 
y1 - 0.5t = -110, 
x2 + 0.5t  = 15, 
y2 + 0.5t  = 10, 
t>= 110,t < 120, 
p = -1,s=-1. 

Mercury() :- i = 1, 
x1 + 0.4775 t = 8.0000, 
y1 - 1.4695 t = -2.0000, 
x2 + 0.4775 t = 12.0000, 
y2 - 1.4695 t = 2.0000, 
t>= 0, t < 4, 
p = 40,s=-1. 

Mercury() :- i = 2, 
x1 + 1.2500 t = 11.0902, 
y1 - 0.9082 t = 0.2451, 
x2 + 1.2500 t = 15.0902, 
y2 - 0.9082 t = 4.2451, 
t>= 4, t < 8, 
p = 40,s=-1. 

Mercury() :- i = 3, 
x1 + 1.5451 t = 13.4508, 
y1 - 0.0000 t = 7.5106, 
x2 + 1.5451 t = 17.4508, 
y2 - 0.0000 t = 11.5106, 
t>= 8, t < 12, 
p = 40,s=-1. 

Mercury() :- i = 4, 
x1 + 1.2500 t = 9.9098, 
y1 + 0.9082 t = 18.4087, 
x2 + 1.2500 t = 13.9098, 
y2 + 0.9082 t = 22.4087, 
t>= 12, t < 16, 
p = 40,s=-1. 

Mercury() :- i = 5, 
x1 + 0.4775 t = -2.4508, 
y1 + 1.4695 t = 27.3893, 
x2 + 0.4775 t = 1.5492, 
y2 + 1.4695 t = 31.3893, 
t>= 16, t < 20, 
p = 40,s=-1. 

Mercury() :- i = 6, 
x1 - 0.4775 t = -21.5491, 
y1 + 1.4695 t = 27.3893, 
x2 - 0.4775 t = -17.5491, 
y2 + 1.4695 t = 31.3893, 
t>= 20, t < 24, 
p = 40,s=-1. 

Mercury() :- i = 7, 
x1 - 1.2500 t = -40.0902, 
y1 + 0.9082 t = 13.9184, 
x2 - 1.2500 t = -36.0902, 
y2 + 0.9082 t = 17.9184, 
t>= 24, t < 28, 
p = 40,s=-1. 

Mercury() :- i = 8, 
x1 - 1.5451 t = -48.3525, 
y1 - 0.0000 t = -11.5106, 
x2 - 1.5451 t = -44.3525, 
y2 - 0.0000 t = -7.5106, 
t>= 28, t < 32, 
p = 40,s=-1. 

Mercury() :- i = 9, 
x1 - 1.2500 t = -38.9098, 
y1 - 0.9082 t = -40.5723, 
x2 - 1.2500 t = -34.9098, 
y2 - 0.9082 t = -36.5723, 
t>= 32, t < 36, 
p = 40,s=-1. 

Mercury() :- i = 10, 
x1 - 0.4775 t = -11.0983, 
y1 - 1.4695 t = -60.7785, 
x2 - 0.4775 t = -7.0983, 
y2 - 1.4695 t = -56.7785, 
t>= 36, t < 40, 
p = 40,s=-1. 

Venus() :- i = 1, 
x1 + 1.0291 t = 12.3205, 
y1 - 1.1734 t = 5.0000, 
x2 + 1.0291 t = 22.3205, 
y2 - 1.1734 t = 15.0000, 
t>= 0, t < 5, 
p = 80,s=-1. 

Venus() :- i = 2, 
x1 + 1.3998 t = 14.1741, 
y1 - 0.6903 t = 7.4156, 
x2 + 1.3998 t = 24.1741, 
y2 - 0.6903 t = 17.4156, 
t>= 5, t < 10, 
p = 80,s=-1. 

Venus() :- i = 3, 
x1 + 1.5574 t = 15.7502, 
y1 - 0.1021 t = 13.2978, 
x2 + 1.5574 t = 25.7502, 
y2 - 0.1021 t = 23.2978, 
t>= 10, t < 15, 
p = 80,s=-1. 

Venus() :- i = 4, 
x1 + 1.4779 t = 14.5579, 
y1 + 0.5017 t = 22.3541, 
x2 + 1.4779 t = 24.5579, 
y2 + 0.5017 t = 32.3541, 
t>= 15, t < 20, 
p = 80,s=-1. 

Venus() :- i = 5, 
x1 + 1.1734 t = 8.4683, 
y1 + 1.0291 t = 32.9016, 
x2 + 1.1734 t = 18.4683, 
y2 + 1.0291 t = 42.9016, 
t>= 20, t < 25, 
p = 80,s=-1. 

Venus() :- i = 6, 
x1 + 0.6903 t = -3.6098, 
y1 + 1.3998 t = 42.1695, 
x2 + 0.6903 t = 6.3902, 
y2 + 1.3998 t = 52.1695, 
t>= 25, t < 30, 
p = 80,s=-1. 

Venus() :- i = 7, 
x1 + 0.1021 t = -21.2562, 
y1 + 1.5574 t = 46.8978, 
x2 + 0.1021 t = -11.2562, 
y2 + 1.5574 t = 56.8978, 
t>= 30, t < 35, 
p = 80,s=-1. 

Venus() :- i = 8, 
x1 - 0.5017 t = -42.3876, 
y1 + 1.4779 t = 44.1158, 
x2 - 0.5017 t = -32.3876, 
y2 + 1.4779 t = 54.1158, 
t>= 35, t < 40, 
p = 80,s=-1. 

Venus() :- i = 9, 
x1 - 1.0291 t = -63.4827, 
y1 + 1.1734 t = 31.9365, 
x2 - 1.0291 t = -53.4827, 
y2 + 1.1734 t = 41.9365, 
t>= 40, t < 45, 
p = 80,s=-1. 

Venus() :- i = 10, 
x1 - 1.3998 t = -80.1649, 
y1 + 0.6903 t = 10.1960, 
x2 - 1.3998 t = -70.1649, 
y2 + 0.6903 t = 20.1960, 
t>= 45, t < 50, 
p = 80,s=-1. 

Venus() :- i = 11, 
x1 - 1.5574 t = -88.0454, 
y1 + 0.1021 t = -19.2147, 
x2 - 1.5574 t = -78.0454, 
y2 + 0.1021 t = -9.2147, 
t>= 50, t < 55, 
p = 80,s=-1. 

Venus() :- i = 12, 
x1 - 1.4779 t = -83.6737, 
y1 - 0.5017 t = -52.4212, 
x2 - 1.4779 t = -73.6737, 
y2 - 0.5017 t = -42.4212, 
t>= 55, t < 60, 
p = 80,s=-1. 

Venus() :- i = 13, 
x1 - 1.1734 t = -65.4048, 
y1 - 1.0291 t = -84.0639, 
x2 - 1.1734 t = -55.4048, 
y2 - 1.0291 t = -74.0639, 
t>= 60, t < 65, 
p = 80,s=-1. 

Venus() :- i = 14, 
x1 - 0.6903 t = -34.0018, 
y1 - 1.3998 t = -108.1602, 
x2 - 0.6903 t = -24.0018, 
y2 - 1.3998 t = -98.1602, 
t>= 65, t < 70, 
p = 80,s=-1. 

Venus() :- i = 15, 
x1 - 0.1021 t = 7.1732, 
y1 - 1.5574 t = -119.1930, 
x2 - 0.1021 t = 17.1732, 
y2 - 1.5574 t = -109.1930, 
t>= 70, t < 75, 
p = 80,s=-1. 

Venus() :- i = 16, 
x1 + 0.5017 t = 52.4547, 
y1 - 1.4779 t = -113.2316, 
x2 + 0.5017 t = 62.4547, 
y2 - 1.4779 t = -103.2316, 
t>= 75, t < 80, 
p = 80,s=-1. 

Earth() :- i = 1, 
x1 + 1.6941 t = 9.5000, 
y1 - 0.6503 t = 20.1147, 
x2 + 1.6941 t = 19.5000, 
y2 - 0.6503 t = 30.1147, 
t>= 0, t < 5, 
p = 100,s=-1. 

Earth() :- i = 2, 
x1 + 1.8122 t = 10.0902, 
y1 - 0.0950 t = 22.8914, 
x2 + 1.8122 t = 20.0902, 
y2 - 0.0950 t = 32.8914, 
t>= 5, t < 10, 
p = 100,s=-1. 

Earth() :- i = 3, 
x1 + 1.7528 t = 9.4967, 
y1 + 0.4697 t = 28.5378, 
x2 + 1.7528 t = 19.4967, 
y2 + 0.4697 t = 38.5378, 
t>= 10, t < 15, 
p = 100,s=-1. 

Earth() :- i = 4, 
x1 + 1.5219 t = 6.0329, 
y1 + 0.9883 t = 36.3177, 
x2 + 1.5219 t = 16.0329, 
y2 + 0.9883 t = 46.3177, 
t>= 15, t < 20, 
p = 100,s=-1. 

Earth() :- i = 5, 
x1 + 1.1420 t = -1.5650, 
y1 + 1.4102 t = 44.7560, 
x2 + 1.1420 t = 8.4350, 
y2 + 1.4102 t = 54.7560, 
t>= 20, t < 25, 
p = 100,s=-1. 

Earth() :- i = 6, 
x1 + 0.6503 t = -13.8570, 
y1 + 1.6941 t = 51.8528, 
x2 + 0.6503 t = -3.8570, 
y2 + 1.6941 t = 61.8528, 
t>= 25, t < 30, 
p = 100,s=-1. 

Earth() :- i = 7, 
x1 + 0.0950 t = -30.5172, 
y1 + 1.8122 t = 55.3940, 
x2 + 0.0950 t = -20.5172, 
y2 + 1.8122 t = 65.3940, 
t>= 30, t < 35, 
p = 100,s=-1. 

Earth() :- i = 8, 
x1 - 0.4697 t = -50.2793, 
y1 + 1.7528 t = 53.3169, 
x2 - 0.4697 t = -40.2793, 
y2 + 1.7528 t = 63.3169, 
t>= 35, t < 40, 
p = 100,s=-1. 

Earth() :- i = 9, 
x1 - 0.9883 t = -71.0258, 
y1 + 1.5219 t = 44.0800, 
x2 - 0.9883 t = -61.0258, 
y2 + 1.5219 t = 54.0800, 
t>= 40, t < 45, 
p = 100,s=-1. 

Earth() :- i = 10, 
x1 - 1.4102 t = -90.0120, 
y1 + 1.1420 t = 26.9848, 
x2 - 1.4102 t = -80.0120, 
y2 + 1.1420 t = 36.9848, 
t>= 45, t < 50, 
p = 100,s=-1. 

Earth() :- i = 11, 
x1 - 1.6941 t = -104.2056, 
y1 + 0.6503 t = 2.4007, 
x2 - 1.6941 t = -94.2056, 
y2 + 0.6503 t = 12.4007, 
t>= 50, t < 55, 
p = 100,s=-1. 

Earth() :- i = 12, 
x1 - 1.8122 t = -110.6978, 
y1 + 0.0950 t = -28.1429, 
x2 - 1.8122 t = -100.6978, 
y2 + 0.0950 t = -18.1429, 
t>= 55, t < 60, 
p = 100,s=-1. 

Earth() :- i = 13, 
x1 - 1.7528 t = -107.1371, 
y1 - 0.4697 t = -62.0209, 
x2 - 1.7528 t = -97.1371, 
y2 - 0.4697 t = -52.0209, 
t>= 60, t < 65, 
p = 100,s=-1. 

Earth() :- i = 14, 
x1 - 1.5219 t = -92.1272, 
y1 - 0.9883 t = -95.7338, 
x2 - 1.5219 t = -82.1272, 
y2 - 0.9883 t = -85.7338, 
t>= 65, t < 70, 
p = 100,s=-1. 

Earth() :- i = 15, 
x1 - 1.1420 t = -65.5345, 
y1 - 1.4102 t = -125.2680, 
x2 - 1.1420 t = -55.5345, 
y2 - 1.4102 t = -115.2680, 
t>= 70, t < 75, 
p = 100,s=-1. 

Earth() :- i = 16, 
x1 - 0.6503 t = -28.6584, 
y1 - 1.6941 t = -146.5584, 
x2 - 0.6503 t = -18.6584, 
y2 - 1.6941 t = -136.5584, 
t>= 75, t < 80, 
p = 100,s=-1. 

Earth() :- i = 17, 
x1 - 0.0950 t = 15.7686, 
y1 - 1.8122 t = -156.0017, 
x2 - 0.0950 t = 25.7686, 
y2 - 1.8122 t = -146.0017, 
t>= 80, t < 85, 
p = 100,s=-1. 

Earth() :- i = 18, 
x1 + 0.4697 t = 63.7625, 
y1 - 1.7528 t = -150.9573, 
x2 + 0.4697 t = 73.7625, 
y2 - 1.7528 t = -140.9573, 
t>= 85, t < 90, 
p = 100,s=-1. 

Earth() :- i = 19, 
x1 + 0.9883 t = 110.4419, 
y1 - 1.5219 t = -130.1743, 
x2 + 0.9883 t = 120.4419, 
y2 - 1.5219 t = -120.1743, 
t>= 90, t < 95, 
p = 100,s=-1. 

Earth() :- i = 20, 
x1 + 1.4102 t = 150.5240, 
y1 - 1.1420 t = -94.0843, 
x2 + 1.4102 t = 160.5240, 
y2 - 1.1420 t = -84.0843, 
t>= 95, t < 100, 
p = 100,s=-1. 

Mars() :- i = 1, 
x1 + 2.5751 t = -5.0000, 
y1 + 0.4079 t = 45.0000, 
x2 + 2.5751 t = 5.0000, 
y2 + 0.4079 t = 55.0000, 
t>= 0, t < 6, 
p = 120,s=-1. 

Mars() :- i = 2, 
x1 + 2.3231 t = -6.5124, 
y1 + 1.1837 t = 49.6548, 
x2 + 2.3231 t = 3.4876, 
y2 + 1.1837 t = 59.6548, 
t>= 6, t < 12, 
p = 120,s=-1. 

Mars() :- i = 3, 
x1 + 1.8436 t = -12.2661, 
y1 + 1.8436 t = 57.5740, 
x2 + 1.8436 t = -2.2661, 
y2 + 1.8436 t = 67.5740, 
t>= 12, t < 18, 
p = 120,s=-1. 

Mars() :- i = 4, 
x1 + 1.1837 t = -24.1449, 
y1 + 2.3231 t = 66.2045, 
x2 + 1.1837 t = -14.1449, 
y2 + 2.3231 t = 76.2045, 
t>= 18, t < 24, 
p = 120,s=-1. 

Mars() :- i = 5, 
x1 + 0.4079 t = -42.7641, 
y1 + 2.5751 t = 72.2542, 
x2 + 0.4079 t = -32.7641, 
y2 + 2.5751 t = 82.2542, 
t>= 24, t < 30, 
p = 120,s=-1. 

Mars() :- i = 6, 
x1 - 0.4079 t = -67.2359, 
y1 + 2.5751 t = 72.2543, 
x2 - 0.4079 t = -57.2359, 
y2 + 2.5751 t = 82.2543, 
t>= 30, t < 36, 
p = 120,s=-1. 

Mars() :- i = 7, 
x1 - 1.1837 t = -95.1647, 
y1 + 2.3231 t = 63.1796, 
x2 - 1.1837 t = -85.1647, 
y2 + 2.3231 t = 73.1796, 
t>= 36, t < 42, 
p = 120,s=-1. 

Mars() :- i = 8, 
x1 - 1.8436 t = -122.8820, 
y1 + 1.8436 t = 43.0419, 
x2 - 1.8436 t = -112.8820, 
y2 + 1.8436 t = 53.0419, 
t>= 42, t < 48, 
p = 120,s=-1. 

Mars() :- i = 9, 
x1 - 2.3231 t = -145.8966, 
y1 + 1.1837 t = 11.3650, 
x2 - 2.3231 t = -135.8966, 
y2 + 1.1837 t = 21.3650, 
t>= 48, t < 54, 
p = 120,s=-1. 

Mars() :- i = 10, 
x1 - 2.5751 t = -159.5085, 
y1 + 0.4079 t = -30.5282, 
x2 - 2.5751 t = -149.5085, 
y2 + 0.4079 t = -20.5282, 
t>= 54, t < 60, 
p = 120,s=-1. 

Mars() :- i = 11, 
x1 - 2.5751 t = -159.5085, 
y1 - 0.4079 t = -79.4717, 
x2 - 2.5751 t = -149.5085, 
y2 - 0.4079 t = -69.4717, 
t>= 60, t < 66, 
p = 120,s=-1. 

Mars() :- i = 12, 
x1 - 2.3231 t = -142.8717, 
y1 - 1.1837 t = -130.6745, 
x2 - 2.3231 t = -132.8717, 
y2 - 1.1837 t = -120.6745, 
t>= 66, t < 72, 
p = 120,s=-1. 

Mars() :- i = 13, 
x1 - 1.8436 t = -108.3498, 
y1 - 1.8436 t = -178.1899, 
x2 - 1.8436 t = -98.3498, 
y2 - 1.8436 t = -168.1899, 
t>= 72, t < 78, 
p = 120,s=-1. 

Mars() :- i = 14, 
x1 - 1.1837 t = -56.8749, 
y1 - 2.3231 t = -215.5886, 
x2 - 1.1837 t = -46.8749, 
y2 - 2.3231 t = -205.5886, 
t>= 78, t < 84, 
p = 120,s=-1. 

Mars() :- i = 15, 
x1 - 0.4079 t = 8.2924, 
y1 - 2.5751 t = -236.7627, 
x2 - 0.4079 t = 18.2924, 
y2 - 2.5751 t = -226.7627, 
t>= 84, t < 90, 
p = 120,s=-1. 

Mars() :- i = 16, 
x1 + 0.4079 t = 81.7076, 
y1 - 2.5751 t = -236.7628, 
x2 + 0.4079 t = 91.7076, 
y2 - 2.5751 t = -226.7628, 
t>= 90, t < 96, 
p = 120,s=-1. 

Mars() :- i = 17, 
x1 + 1.1837 t = 156.1844, 
y1 - 2.3231 t = -212.5638, 
x2 + 1.1837 t = 166.1844, 
y2 - 2.3231 t = -202.5638, 
t>= 96, t < 102, 
p = 120,s=-1. 

Mars() :- i = 18, 
x1 + 1.8436 t = 223.4978, 
y1 - 1.8436 t = -163.6577, 
x2 + 1.8436 t = 233.4978, 
y2 - 1.8436 t = -153.6577, 
t>= 102, t < 108, 
p = 120,s=-1. 

Mars() :- i = 19, 
x1 + 2.3231 t = 275.2807, 
y1 - 1.1837 t = -92.3848, 
x2 + 2.3231 t = 285.2807, 
y2 - 1.1837 t = -82.3848, 
t>= 108, t < 114, 
p = 120,s=-1. 

Mars() :- i = 20, 
x1 + 2.5751 t = 304.0170, 
y1 - 0.4079 t = -3.9435, 
x2 + 2.5751 t = 314.0170, 
y2 - 0.4079 t = 6.0565, 
t>= 114, t < 120, 
p = 120,s=-1. 

Jupitar() :- i = 1, 
x1 + 1.6165 t = -55.0000, 
y1 + 1.1110 t = 81.6025, 
x2 + 1.6165 t = -45.0000, 
y2 + 1.1110 t = 91.6025, 
t>= 0, t < 8, 
p = 320,s=-1. 

Jupitar() :- i = 2, 
x1 + 1.4228 t = -56.5496, 
y1 + 1.3502 t = 83.5161, 
x2 + 1.4228 t = -46.5496, 
y2 + 1.3502 t = 93.5161, 
t>= 8, t < 16, 
p = 320,s=-1. 

Jupitar() :- i = 3, 
x1 + 1.1941 t = -60.2093, 
y1 + 1.5561 t = 86.8114, 
x2 + 1.1941 t = -50.2093, 
y2 + 1.5561 t = 96.8114, 
t>= 16, t < 24, 
p = 320,s=-1. 

Jupitar() :- i = 4, 
x1 + 0.9359 t = -66.4046, 
y1 + 1.7238 t = 90.8346, 
x2 + 0.9359 t = -56.4046, 
y2 + 1.7238 t = 100.8346, 
t>= 24, t < 32, 
p = 320,s=-1. 

Jupitar() :- i = 5, 
x1 + 0.6548 t = -75.4024, 
y1 + 1.8490 t = 94.8407, 
x2 + 0.6548 t = -65.4024, 
y2 + 1.8490 t = 104.8407, 
t>= 32, t < 40, 
p = 320,s=-1. 

Jupitar() :- i = 6, 
x1 + 0.3575 t = -87.2945, 
y1 + 1.9286 t = 98.0272, 
x2 + 0.3575 t = -77.2945, 
y2 + 1.9286 t = 108.0272, 
t>= 40, t < 48, 
p = 320,s=-1. 

Jupitar() :- i = 7, 
x1 + 0.0513 t = -101.9876, 
y1 + 1.9608 t = 99.5715, 
x2 + 0.0513 t = -91.9876, 
y2 + 1.9608 t = 109.5715, 
t>= 48, t < 56, 
p = 320,s=-1. 

Jupitar() :- i = 8, 
x1 - 0.2560 t = -119.2003, 
y1 + 1.9447 t = 98.6694, 
x2 - 0.2560 t = -109.2003, 
y2 + 1.9447 t = 108.6694, 
t>= 56, t < 64, 
p = 320,s=-1. 

Jupitar() :- i = 9, 
x1 - 0.5571 t = -138.4685, 
y1 + 1.8807 t = 94.5738, 
x2 - 0.5571 t = -128.4685, 
y2 + 1.8807 t = 104.5738, 
t>= 64, t < 72, 
p = 320,s=-1. 

Jupitar() :- i = 10, 
x1 - 0.8444 t = -159.1576, 
y1 + 1.7704 t = 86.6321, 
x2 - 0.8444 t = -149.1576, 
y2 + 1.7704 t = 96.6321, 
t>= 72, t < 80, 
p = 320,s=-1. 

Jupitar() :- i = 11, 
x1 - 1.1110 t = -180.4820, 
y1 + 1.6165 t = 74.3204, 
x2 - 1.1110 t = -170.4820, 
y2 + 1.6165 t = 84.3204, 
t>= 80, t < 88, 
p = 320,s=-1. 

Jupitar() :- i = 12, 
x1 - 1.3502 t = -201.5315, 
y1 + 1.4228 t = 57.2748, 
x2 - 1.3502 t = -191.5315, 
y2 + 1.4228 t = 67.2748, 
t>= 88, t < 96, 
p = 320,s=-1. 

Jupitar() :- i = 13, 
x1 - 1.5561 t = -221.3029, 
y1 + 1.1941 t = 35.3164, 
x2 - 1.5561 t = -211.3029, 
y2 + 1.1941 t = 45.3164, 
t>= 96, t < 104, 
p = 320,s=-1. 

Jupitar() :- i = 14, 
x1 - 1.7238 t = -238.7370, 
y1 + 0.9359 t = 8.4703, 
x2 - 1.7238 t = -228.7370, 
y2 + 0.9359 t = 18.4703, 
t>= 104, t < 112, 
p = 320,s=-1. 

Jupitar() :- i = 15, 
x1 - 1.8490 t = -252.7583, 
y1 + 0.6548 t = -23.0220, 
x2 - 1.8490 t = -242.7583, 
y2 + 0.6548 t = -13.0220, 
t>= 112, t < 120, 
p = 320,s=-1. 

Jupitar() :- i = 16, 
x1 - 1.9286 t = -262.3178, 
y1 + 0.3575 t = -58.6985, 
x2 - 1.9286 t = -252.3178, 
y2 + 0.3575 t = -48.6985, 
t>= 120, t < 128, 
p = 320,s=-1. 

Jupitar() :- i = 17, 
x1 - 1.9608 t = -266.4359, 
y1 + 0.0513 t = -97.8799, 
x2 - 1.9608 t = -256.4359, 
y2 + 0.0513 t = -87.8799, 
t>= 128, t < 136, 
p = 320,s=-1. 

Jupitar() :- i = 18, 
x1 - 1.9447 t = -264.2452, 
y1 - 0.2560 t = -139.6822, 
x2 - 1.9447 t = -254.2452, 
y2 - 0.2560 t = -129.6822, 
t>= 136, t < 144, 
p = 320,s=-1. 

Jupitar() :- i = 19, 
x1 - 1.8807 t = -255.0301, 
y1 - 0.5571 t = -183.0357, 
x2 - 1.8807 t = -245.0301, 
y2 - 0.5571 t = -173.0357, 
t>= 144, t < 152, 
p = 320,s=-1. 

Jupitar() :- i = 20, 
x1 - 1.7704 t = -238.2641, 
y1 - 0.8444 t = -226.7126, 
x2 - 1.7704 t = -228.2641, 
y2 - 0.8444 t = -216.7126, 
t>= 152, t < 160, 
p = 320,s=-1. 

Jupitar() :- i = 21, 
x1 - 1.6165 t = -213.6408, 
y1 - 1.1110 t = -269.3614, 
x2 - 1.6165 t = -203.6408, 
y2 - 1.1110 t = -259.3614, 
t>= 160, t < 168, 
p = 320,s=-1. 

Jupitar() :- i = 22, 
x1 - 1.4228 t = -181.0993, 
y1 - 1.3502 t = -309.5468, 
x2 - 1.4228 t = -171.0993, 
y2 - 1.3502 t = -299.5468, 
t>= 168, t < 176, 
p = 320,s=-1. 

Jupitar() :- i = 23, 
x1 - 1.1941 t = -140.8422, 
y1 - 1.5561 t = -345.7945, 
x2 - 1.1941 t = -130.8422, 
y2 - 1.5561 t = -335.7945, 
t>= 176, t < 184, 
p = 320,s=-1. 

Jupitar() :- i = 24, 
x1 - 0.9359 t = -93.3452, 
y1 - 1.7238 t = -376.6394, 
x2 - 0.9359 t = -83.3452, 
y2 - 1.7238 t = -366.6394, 
t>= 184, t < 192, 
p = 320,s=-1. 

Jupitar() :- i = 25, 
x1 - 0.6548 t = -39.3584, 
y1 - 1.8490 t = -400.6759, 
x2 - 0.6548 t = -29.3584, 
y2 - 1.8490 t = -390.6759, 
t>= 192, t < 200, 
p = 320,s=-1. 

Jupitar() :- i = 26, 
x1 - 0.3575 t = 20.1024, 
y1 - 1.9286 t = -416.6084, 
x2 - 0.3575 t = 30.1024, 
y2 - 1.9286 t = -406.6084, 
t>= 200, t < 208, 
p = 320,s=-1. 

Jupitar() :- i = 27, 
x1 - 0.0513 t = 83.7723, 
y1 - 1.9608 t = -423.3003, 
x2 - 0.0513 t = 93.7723, 
y2 - 1.9608 t = -413.3003, 
t>= 208, t < 216, 
p = 320,s=-1. 

Jupitar() :- i = 28, 
x1 + 0.2560 t = 150.1641, 
y1 - 1.9447 t = -419.8209, 
x2 + 0.2560 t = 160.1641, 
y2 - 1.9447 t = -409.8209, 
t>= 216, t < 224, 
p = 320,s=-1. 

Jupitar() :- i = 29, 
x1 + 0.5571 t = 217.6028, 
y1 - 1.8807 t = -405.4864, 
x2 + 0.5571 t = 227.6028, 
y2 - 1.8807 t = -395.4864, 
t>= 224, t < 232, 
p = 320,s=-1. 

Jupitar() :- i = 30, 
x1 + 0.8444 t = 284.2676, 
y1 - 1.7704 t = -379.8962, 
x2 + 0.8444 t = 294.2676, 
y2 - 1.7704 t = -369.8962, 
t>= 232, t < 240, 
p = 320,s=-1. 

Jupitar() :- i = 31, 
x1 + 1.1110 t = 348.2408, 
y1 - 1.6165 t = -342.9612, 
x2 + 1.1110 t = 358.2408, 
y2 - 1.6165 t = -332.9612, 
t>= 240, t < 248, 
p = 320,s=-1. 

Jupitar() :- i = 32, 
x1 + 1.3502 t = 407.5622, 
y1 - 1.4228 t = -294.9238, 
x2 + 1.3502 t = 417.5622, 
y2 - 1.4228 t = -284.9238, 
t>= 248, t < 256, 
p = 320,s=-1. 

Jupitar() :- i = 33, 
x1 + 1.5561 t = 460.2861, 
y1 - 1.1941 t = -236.3679, 
x2 + 1.5561 t = 470.2861, 
y2 - 1.1941 t = -226.3679, 
t>= 256, t < 264, 
p = 320,s=-1. 

Jupitar() :- i = 34, 
x1 + 1.7238 t = 504.5418, 
y1 - 0.9359 t = -168.2201, 
x2 + 1.7238 t = 514.5418, 
y2 - 0.9359 t = -158.2201, 
t>= 264, t < 272, 
p = 320,s=-1. 

Jupitar() :- i = 35, 
x1 + 1.8490 t = 538.5935, 
y1 - 0.6548 t = -91.7388, 
x2 + 1.8490 t = 548.5935, 
y2 - 0.6548 t = -81.7388, 
t>= 272, t < 280, 
p = 320,s=-1. 

Jupitar() :- i = 36, 
x1 + 1.9286 t = 560.8989, 
y1 - 0.3575 t = -8.4937, 
x2 + 1.9286 t = 570.8989, 
y2 - 0.3575 t = 1.5063, 
t>= 280, t < 288, 
p = 320,s=-1. 

Jupitar() :- i = 37, 
x1 + 1.9608 t = 570.1648, 
y1 - 0.0513 t = 79.6646, 
x2 + 1.9608 t = 580.1648, 
y2 - 0.0513 t = 89.6646, 
t>= 288, t < 296, 
p = 320,s=-1. 

Jupitar() :- i = 38, 
x1 + 1.9447 t = 565.3966, 
y1 + 0.2560 t = 170.6460, 
x2 + 1.9447 t = 575.3966, 
y2 + 0.2560 t = 180.6460, 
t>= 296, t < 304, 
p = 320,s=-1. 

Jupitar() :- i = 39, 
x1 + 1.8807 t = 545.9426, 
y1 + 0.5571 t = 262.1699, 
x2 + 1.8807 t = 555.9426, 
y2 + 0.5571 t = 272.1699, 
t>= 304, t < 312, 
p = 320,s=-1. 

Jupitar() :- i = 40, 
x1 + 1.7704 t = 511.5282, 
y1 + 0.8444 t = 351.8226, 
x2 + 1.7704 t = 521.5282, 
y2 + 0.8444 t = 361.8226, 
t>= 312, t < 320, 
p = 320,s=-1. 

Saturn() :- i = 1, 
x1 - 0.1971 t = -205.0000, 
y1 + 3.1333 t = -5.0000, 
x2 - 0.1971 t = -195.0000, 
y2 + 3.1333 t = 5.0000, 
t>= 0, t < 8, 
p = 400,s=-1. 

Saturn() :- i = 2, 
x1 - 0.5883 t = -208.1292, 
y1 + 3.0839 t = -5.3953, 
x2 - 0.5883 t = -198.1292, 
y2 + 3.0839 t = 4.6047, 
t>= 8, t < 16, 
p = 400,s=-1. 

Saturn() :- i = 3, 
x1 - 0.9702 t = -214.2393, 
y1 + 2.9859 t = -6.9641, 
x2 - 0.9702 t = -204.2393, 
y2 + 2.9859 t = 3.0359, 
t>= 16, t < 24, 
p = 400,s=-1. 

Saturn() :- i = 4, 
x1 - 1.3367 t = -223.0372, 
y1 + 2.8407 t = -10.4474, 
x2 - 1.3367 t = -213.0372, 
y2 + 2.8407 t = -0.4474, 
t>= 24, t < 32, 
p = 400,s=-1. 

Saturn() :- i = 5, 
x1 - 1.6822 t = -234.0931, 
y1 + 2.6508 t = -16.5255, 
x2 - 1.6822 t = -224.0931, 
y2 + 2.6508 t = -6.5255, 
t>= 32, t < 40, 
p = 400,s=-1. 

Saturn() :- i = 6, 
x1 - 2.0012 t = -246.8518, 
y1 + 2.4190 t = -25.7952, 
x2 - 2.0012 t = -236.8518, 
y2 + 2.4190 t = -15.7952, 
t>= 40, t < 48, 
p = 400,s=-1. 

Saturn() :- i = 7, 
x1 - 2.2886 t = -260.6473, 
y1 + 2.1492 t = -38.7500, 
x2 - 2.2886 t = -250.6473, 
y2 + 2.1492 t = -28.7500, 
t>= 48, t < 56, 
p = 400,s=-1. 

Saturn() :- i = 8, 
x1 - 2.5399 t = -274.7209, 
y1 + 1.8454 t = -55.7621, 
x2 - 2.5399 t = -264.7209, 
y2 + 1.8454 t = -45.7621, 
t>= 56, t < 64, 
p = 400,s=-1. 

Saturn() :- i = 9, 
x1 - 2.7512 t = -288.2414, 
y1 + 1.5125 t = -77.0670, 
x2 - 2.7512 t = -278.2414, 
y2 + 1.5125 t = -67.0670, 
t>= 64, t < 72, 
p = 400,s=-1. 

Saturn() :- i = 10, 
x1 - 2.9191 t = -300.3280, 
y1 + 1.1557 t = -102.7524, 
x2 - 2.9191 t = -290.3280, 
y2 + 1.1557 t = -92.7524, 
t>= 72, t < 80, 
p = 400,s=-1. 

Saturn() :- i = 11, 
x1 - 3.0409 t = -310.0748, 
y1 + 0.7808 t = -132.7498, 
x2 - 3.0409 t = -300.0748, 
y2 + 0.7808 t = -122.7498, 
t>= 80, t < 88, 
p = 400,s=-1. 

Saturn() :- i = 12, 
x1 - 3.1148 t = -316.5760, 
y1 + 0.3935 t = -166.8306, 
x2 - 3.1148 t = -306.5760, 
y2 + 0.3935 t = -156.8306, 
t>= 88, t < 96, 
p = 400,s=-1. 

Saturn() :- i = 13, 
x1 - 3.1395 t = -318.9526, 
y1 - 0.0000 t = -204.6053, 
x2 - 3.1395 t = -308.9526, 
y2 - 0.0000 t = -194.6053, 
t>= 96, t < 104, 
p = 400,s=-1. 

Saturn() :- i = 14, 
x1 - 3.1148 t = -316.3780, 
y1 - 0.3935 t = -245.5280, 
x2 - 3.1148 t = -306.3780, 
y2 - 0.3935 t = -235.5280, 
t>= 104, t < 112, 
p = 400,s=-1. 

Saturn() :- i = 15, 
x1 - 3.0409 t = -308.1037, 
y1 - 0.7808 t = -288.9035, 
x2 - 3.0409 t = -298.1037, 
y2 - 0.7808 t = -278.9035, 
t>= 112, t < 120, 
p = 400,s=-1. 

Saturn() :- i = 16, 
x1 - 2.9191 t = -293.4835, 
y1 - 1.1557 t = -333.8997, 
x2 - 2.9191 t = -283.4835, 
y2 - 1.1557 t = -323.8997, 
t>= 120, t < 128, 
p = 400,s=-1. 

Saturn() :- i = 17, 
x1 - 2.7512 t = -271.9962, 
y1 - 1.5125 t = -379.5626, 
x2 - 2.7512 t = -261.9962, 
y2 - 1.5125 t = -369.5626, 
t>= 128, t < 136, 
p = 400,s=-1. 

Saturn() :- i = 18, 
x1 - 2.5399 t = -243.2651, 
y1 - 1.8454 t = -424.8355, 
x2 - 2.5399 t = -233.2651, 
y2 - 1.8454 t = -414.8355, 
t>= 136, t < 144, 
p = 400,s=-1. 

Saturn() :- i = 19, 
x1 - 2.2886 t = -207.0759, 
y1 - 2.1492 t = -468.5807, 
x2 - 2.2886 t = -197.0759, 
y2 - 2.1492 t = -458.5807, 
t>= 144, t < 152, 
p = 400,s=-1. 

Saturn() :- i = 20, 
x1 - 2.0012 t = -163.3901, 
y1 - 2.4190 t = -509.6044, 
x2 - 2.0012 t = -153.3901, 
y2 - 2.4190 t = -499.6044, 
t>= 152, t < 160, 
p = 400,s=-1. 

Saturn() :- i = 21, 
x1 - 1.6822 t = -112.3554, 
y1 - 2.6508 t = -546.6833, 
x2 - 1.6822 t = -102.3554, 
y2 - 2.6508 t = -536.6833, 
t>= 160, t < 168, 
p = 400,s=-1. 

Saturn() :- i = 22, 
x1 - 1.3367 t = -54.3119, 
y1 - 2.8407 t = -578.5930, 
x2 - 1.3367 t = -44.3119, 
y2 - 2.8407 t = -568.5930, 
t>= 168, t < 176, 
p = 400,s=-1. 

Saturn() :- i = 23, 
x1 - 0.9702 t = 10.2059, 
y1 - 2.9859 t = -604.1374, 
x2 - 0.9702 t = 20.2059, 
y2 - 2.9859 t = -594.1374, 
t>= 176, t < 184, 
p = 400,s=-1. 

Saturn() :- i = 24, 
x1 - 0.5883 t = 80.4715, 
y1 - 3.0839 t = -622.1786, 
x2 - 0.5883 t = 90.4715, 
y2 - 3.0839 t = -612.1786, 
t>= 184, t < 192, 
p = 400,s=-1. 

Saturn() :- i = 25, 
x1 - 0.1971 t = 155.5734, 
y1 - 3.1333 t = -631.6662, 
x2 - 0.1971 t = 165.5734, 
y2 - 3.1333 t = -621.6662, 
t>= 192, t < 200, 
p = 400,s=-1. 

Saturn() :- i = 26, 
x1 + 0.1971 t = 234.4264, 
y1 - 3.1333 t = -631.6662, 
x2 + 0.1971 t = 244.4264, 
y2 - 3.1333 t = -621.6662, 
t>= 200, t < 208, 
p = 400,s=-1. 

Saturn() :- i = 27, 
x1 + 0.5883 t = 315.7869, 
y1 - 3.0839 t = -621.3880, 
x2 + 0.5883 t = 325.7869, 
y2 - 3.0839 t = -611.3880, 
t>= 208, t < 216, 
p = 400,s=-1. 

Saturn() :- i = 28, 
x1 + 0.9702 t = 398.2726, 
y1 - 2.9859 t = -600.2093, 
x2 + 0.9702 t = 408.2726, 
y2 - 2.9859 t = -590.2093, 
t>= 216, t < 224, 
p = 400,s=-1. 

Saturn() :- i = 29, 
x1 + 1.3367 t = 480.3861, 
y1 - 2.8407 t = -567.6982, 
x2 + 1.3367 t = 490.3861, 
y2 - 2.8407 t = -557.6982, 
t>= 224, t < 232, 
p = 400,s=-1. 

Saturn() :- i = 30, 
x1 + 1.6822 t = 560.5414, 
y1 - 2.6508 t = -523.6325, 
x2 + 1.6822 t = 570.5414, 
y2 - 2.6508 t = -513.6325, 
t>= 232, t < 240, 
p = 400,s=-1. 

Saturn() :- i = 31, 
x1 + 2.0012 t = 637.0935, 
y1 - 2.4190 t = -468.0141, 
x2 + 2.0012 t = 647.0935, 
y2 - 2.4190 t = -458.0141, 
t>= 240, t < 248, 
p = 400,s=-1. 

Saturn() :- i = 32, 
x1 + 2.2886 t = 708.3704, 
y1 - 2.1492 t = -401.0807, 
x2 + 2.2886 t = 718.3704, 
y2 - 2.1492 t = -391.0807, 
t>= 248, t < 256, 
p = 400,s=-1. 

Saturn() :- i = 33, 
x1 + 2.5399 t = 772.7068, 
y1 - 1.8454 t = -323.3114, 
x2 + 2.5399 t = 782.7068, 
y2 - 1.8454 t = -313.3114, 
t>= 256, t < 264, 
p = 400,s=-1. 

Saturn() :- i = 34, 
x1 + 2.7512 t = 828.4788, 
y1 - 1.5125 t = -235.4288, 
x2 + 2.7512 t = 838.4788, 
y2 - 1.5125 t = -225.4288, 
t>= 264, t < 272, 
p = 400,s=-1. 

Saturn() :- i = 35, 
x1 + 2.9191 t = 874.1394, 
y1 - 1.1557 t = -138.3951, 
x2 + 2.9191 t = 884.1394, 
y2 - 1.1557 t = -128.3951, 
t>= 272, t < 280, 
p = 400,s=-1. 

Saturn() :- i = 36, 
x1 + 3.0409 t = 908.2531, 
y1 - 0.7808 t = -33.4040, 
x2 + 3.0409 t = 918.2531, 
y2 - 0.7808 t = -23.4040, 
t>= 280, t < 288, 
p = 400,s=-1. 

Saturn() :- i = 37, 
x1 + 3.1148 t = 929.5300, 
y1 - 0.3935 t = 78.1331, 
x2 + 3.1148 t = 939.5300, 
y2 - 0.3935 t = 88.1331, 
t>= 288, t < 296, 
p = 400,s=-1. 

Saturn() :- i = 38, 
x1 + 3.1395 t = 936.8578, 
y1 - 0.0000 t = 194.6052, 
x2 + 3.1395 t = 946.8578, 
y2 - 0.0000 t = 204.6052, 
t>= 296, t < 304, 
p = 400,s=-1. 

Saturn() :- i = 39, 
x1 + 3.1148 t = 929.3320, 
y1 + 0.3935 t = 314.2252, 
x2 + 3.1148 t = 939.3320, 
y2 + 0.3935 t = 324.2252, 
t>= 304, t < 312, 
p = 400,s=-1. 

Saturn() :- i = 40, 
x1 + 3.0409 t = 906.2821, 
y1 + 0.7808 t = 435.0570, 
x2 + 3.0409 t = 916.2821, 
y2 + 0.7808 t = 445.0570, 
t>= 312, t < 320, 
p = 400,s=-1. 

Saturn() :- i = 41, 
x1 + 2.9191 t = 867.2950, 
y1 + 1.1557 t = 555.0469, 
x2 + 2.9191 t = 877.2950, 
y2 + 1.1557 t = 565.0469, 
t>= 320, t < 328, 
p = 400,s=-1. 

Saturn() :- i = 42, 
x1 + 2.7512 t = 812.2338, 
y1 + 1.5125 t = 672.0581, 
x2 + 2.7512 t = 822.2338, 
y2 + 1.5125 t = 682.0581, 
t>= 328, t < 336, 
p = 400,s=-1. 

Saturn() :- i = 43, 
x1 + 2.5399 t = 741.2512, 
y1 + 1.8454 t = 783.9088, 
x2 + 2.5399 t = 751.2512, 
y2 + 1.8454 t = 793.9088, 
t>= 336, t < 344, 
p = 400,s=-1. 

Saturn() :- i = 44, 
x1 + 2.2886 t = 654.7992, 
y1 + 2.1492 t = 888.4113, 
x2 + 2.2886 t = 664.7992, 
y2 + 2.1492 t = 898.4113, 
t>= 344, t < 352, 
p = 400,s=-1. 

Saturn() :- i = 45, 
x1 + 2.0012 t = 553.6320, 
y1 + 2.4190 t = 983.4136, 
x2 + 2.0012 t = 563.6320, 
y2 + 2.4190 t = 993.4136, 
t>= 352, t < 360, 
p = 400,s=-1. 

Saturn() :- i = 46, 
x1 + 1.6822 t = 438.8039, 
y1 + 2.6508 t = 1066.8412, 
x2 + 1.6822 t = 448.8039, 
y2 + 2.6508 t = 1076.8412, 
t>= 360, t < 368, 
p = 400,s=-1. 

Saturn() :- i = 47, 
x1 + 1.3367 t = 311.6610, 
y1 + 2.8407 t = 1136.7386, 
x2 + 1.3367 t = 321.6610, 
y2 + 2.8407 t = 1146.7386, 
t>= 368, t < 376, 
p = 400,s=-1. 

Saturn() :- i = 48, 
x1 + 0.9702 t = 173.8276, 
y1 + 2.9859 t = 1191.3107, 
x2 + 0.9702 t = 183.8276, 
y2 + 2.9859 t = 1201.3107, 
t>= 376, t < 384, 
p = 400,s=-1. 

Saturn() :- i = 49, 
x1 + 0.5883 t = 27.1863, 
y1 + 3.0839 t = 1228.9618, 
x2 + 0.5883 t = 37.1863, 
y2 + 3.0839 t = 1238.9618, 
t>= 384, t < 392, 
p = 400,s=-1. 

Saturn() :- i = 50, 
x1 + 0.1971 t = -126.1468, 
y1 + 3.1333 t = 1248.3323, 
x2 + 0.1971 t = -116.1468, 
y2 + 3.1333 t = 1258.3323, 
t>= 392, t < 400, 
p = 400,s=-1. 

Uranus() :- i = 1, 
x1 - 2.2186 t = -185.0000, 
y1 + 1.1797 t = -316.7691, 
x2 - 2.2186 t = -175.0000, 
y2 + 1.1797 t = -306.7691, 
t>= 0, t < 10, 
p = 900,s=-1. 

Uranus() :- i = 2, 
x1 - 2.2955 t = -185.7689, 
y1 + 1.0220 t = -318.3455, 
x2 - 2.2955 t = -175.7689, 
y2 + 1.0220 t = -308.3455, 
t>= 10, t < 20, 
p = 900,s=-1. 

Uranus() :- i = 3, 
x1 - 2.3612 t = -187.0829, 
y1 + 0.8594 t = -321.5979, 
x2 - 2.3612 t = -177.0829, 
y2 + 0.8594 t = -311.5979, 
t>= 20, t < 30, 
p = 900,s=-1. 

Uranus() :- i = 4, 
x1 - 2.4154 t = -188.7088, 
y1 + 0.6926 t = -326.6020, 
x2 - 2.4154 t = -178.7088, 
y2 + 0.6926 t = -316.6020, 
t>= 30, t < 40, 
p = 900,s=-1. 

Uranus() :- i = 5, 
x1 - 2.4579 t = -190.4061, 
y1 + 0.5224 t = -333.4091, 
x2 - 2.4579 t = -180.4061, 
y2 + 0.5224 t = -323.4091, 
t>= 40, t < 50, 
p = 900,s=-1. 

Uranus() :- i = 6, 
x1 - 2.4883 t = -191.9289, 
y1 + 0.3497 t = -342.0453, 
x2 - 2.4883 t = -181.9289, 
y2 + 0.3497 t = -332.0453, 
t>= 50, t < 60, 
p = 900,s=-1. 

Uranus() :- i = 7, 
x1 - 2.5066 t = -193.0288, 
y1 + 0.1753 t = -352.5110, 
x2 - 2.5066 t = -183.0288, 
y2 + 0.1753 t = -342.5110, 
t>= 60, t < 70, 
p = 900,s=-1. 

Uranus() :- i = 8, 
x1 - 2.5128 t = -193.4573, 
y1 - 0.0000 t = -364.7807, 
x2 - 2.5128 t = -183.4573, 
y2 - 0.0000 t = -354.7807, 
t>= 70, t < 80, 
p = 900,s=-1. 

Uranus() :- i = 9, 
x1 - 2.5066 t = -192.9676, 
y1 - 0.1753 t = -378.8032, 
x2 - 2.5066 t = -182.9676, 
y2 - 0.1753 t = -368.8032, 
t>= 80, t < 90, 
p = 900,s=-1. 

Uranus() :- i = 10, 
x1 - 2.4883 t = -191.3177, 
y1 - 0.3497 t = -394.5017, 
x2 - 2.4883 t = -181.3177, 
y2 - 0.3497 t = -384.5017, 
t>= 90, t < 100, 
p = 900,s=-1. 

Uranus() :- i = 11, 
x1 - 2.4579 t = -188.2721, 
y1 - 0.5224 t = -411.7741, 
x2 - 2.4579 t = -178.2721, 
y2 - 0.5224 t = -401.7741, 
t>= 100, t < 110, 
p = 900,s=-1. 

Uranus() :- i = 12, 
x1 - 2.4154 t = -183.6047, 
y1 - 0.6926 t = -430.4937, 
x2 - 2.4154 t = -173.6047, 
y2 - 0.6926 t = -420.4937, 
t>= 110, t < 120, 
p = 900,s=-1. 

Uranus() :- i = 13, 
x1 - 2.3612 t = -177.1010, 
y1 - 0.8594 t = -450.5102, 
x2 - 2.3612 t = -167.1010, 
y2 - 0.8594 t = -440.5102, 
t>= 120, t < 130, 
p = 900,s=-1. 

Uranus() :- i = 14, 
x1 - 2.2955 t = -168.5598, 
y1 - 1.0220 t = -471.6505, 
x2 - 2.2955 t = -158.5598, 
y2 - 1.0220 t = -461.6505, 
t>= 130, t < 140, 
p = 900,s=-1. 

Uranus() :- i = 15, 
x1 - 2.2186 t = -157.7958, 
y1 - 1.1797 t = -493.7198, 
x2 - 2.2186 t = -147.7958, 
y2 - 1.1797 t = -483.7198, 
t>= 140, t < 150, 
p = 900,s=-1. 

Uranus() :- i = 16, 
x1 - 2.1309 t = -144.6417, 
y1 - 1.3316 t = -516.5034, 
x2 - 2.1309 t = -134.6417, 
y2 - 1.3316 t = -506.5034, 
t>= 150, t < 160, 
p = 900,s=-1. 

Uranus() :- i = 17, 
x1 - 2.0329 t = -128.9496, 
y1 - 1.4770 t = -539.7680, 
x2 - 2.0329 t = -118.9496, 
y2 - 1.4770 t = -529.7680, 
t>= 160, t < 170, 
p = 900,s=-1. 

Uranus() :- i = 18, 
x1 - 1.9249 t = -110.5930, 
y1 - 1.6152 t = -563.2633, 
x2 - 1.9249 t = -100.5930, 
y2 - 1.6152 t = -553.2633, 
t>= 170, t < 180, 
p = 900,s=-1. 

Uranus() :- i = 19, 
x1 - 1.8075 t = -89.4686, 
y1 - 1.7455 t = -586.7244, 
x2 - 1.8075 t = -79.4686, 
y2 - 1.7455 t = -576.7244, 
t>= 180, t < 190, 
p = 900,s=-1. 

Uranus() :- i = 20, 
x1 - 1.6814 t = -65.4975, 
y1 - 1.8673 t = -609.8730, 
x2 - 1.6814 t = -55.4975, 
y2 - 1.8673 t = -599.8730, 
t>= 190, t < 200, 
p = 900,s=-1. 

Uranus() :- i = 21, 
x1 - 1.5470 t = -38.6264, 
y1 - 1.9801 t = -632.4205, 
x2 - 1.5470 t = -28.6264, 
y2 - 1.9801 t = -622.4205, 
t>= 200, t < 210, 
p = 900,s=-1. 

Uranus() :- i = 22, 
x1 - 1.4051 t = -8.8291, 
y1 - 2.0832 t = -654.0696, 
x2 - 1.4051 t = 1.1709, 
y2 - 2.0832 t = -644.0696, 
t>= 210, t < 220, 
p = 900,s=-1. 

Uranus() :- i = 23, 
x1 - 1.2564 t = 23.8932, 
y1 - 2.1761 t = -674.5167, 
x2 - 1.2564 t = 33.8932, 
y2 - 2.1761 t = -664.5167, 
t>= 220, t < 230, 
p = 900,s=-1. 

Uranus() :- i = 24, 
x1 - 1.1015 t = 59.5107, 
y1 - 2.2585 t = -693.4549, 
x2 - 1.1015 t = 69.5107, 
y2 - 2.2585 t = -683.4549, 
t>= 230, t < 240, 
p = 900,s=-1. 

Uranus() :- i = 25, 
x1 - 0.9413 t = 97.9648, 
y1 - 2.3298 t = -710.5757, 
x2 - 0.9413 t = 107.9648, 
y2 - 2.3298 t = -700.5757, 
t>= 240, t < 250, 
p = 900,s=-1. 

Uranus() :- i = 26, 
x1 - 0.7765 t = 139.1676, 
y1 - 2.3898 t = -725.5723, 
x2 - 0.7765 t = 149.1676, 
y2 - 2.3898 t = -715.5723, 
t>= 250, t < 260, 
p = 900,s=-1. 

Uranus() :- i = 27, 
x1 - 0.6079 t = 183.0021, 
y1 - 2.4381 t = -738.1417, 
x2 - 0.6079 t = 193.0021, 
y2 - 2.4381 t = -728.1417, 
t>= 260, t < 270, 
p = 900,s=-1. 

Uranus() :- i = 28, 
x1 - 0.4363 t = 229.3221, 
y1 - 2.4746 t = -747.9873, 
x2 - 0.4363 t = 239.3221, 
y2 - 2.4746 t = -737.9873, 
t>= 270, t < 280, 
p = 900,s=-1. 

Uranus() :- i = 29, 
x1 - 0.2627 t = 277.9529, 
y1 - 2.4990 t = -754.8219, 
x2 - 0.2627 t = 287.9529, 
y2 - 2.4990 t = -744.8219, 
t>= 280, t < 290, 
p = 900,s=-1. 

Uranus() :- i = 30, 
x1 - 0.0877 t = 328.6917, 
y1 - 2.5112 t = -758.3699, 
x2 - 0.0877 t = 338.6917, 
y2 - 2.5112 t = -748.3699, 
t>= 290, t < 300, 
p = 900,s=-1. 

Uranus() :- i = 31, 
x1 + 0.0877 t = 381.3082, 
y1 - 2.5112 t = -758.3699, 
x2 + 0.0877 t = 391.3082, 
y2 - 2.5112 t = -748.3699, 
t>= 300, t < 310, 
p = 900,s=-1. 

Uranus() :- i = 32, 
x1 + 0.2627 t = 435.5461, 
y1 - 2.4990 t = -754.5773, 
x2 + 0.2627 t = 445.5461, 
y2 - 2.4990 t = -744.5773, 
t>= 310, t < 320, 
p = 900,s=-1. 

Uranus() :- i = 33, 
x1 + 0.4363 t = 491.1242, 
y1 - 2.4746 t = -746.7663, 
x2 + 0.4363 t = 501.1242, 
y2 - 2.4746 t = -736.7663, 
t>= 320, t < 330, 
p = 900,s=-1. 

Uranus() :- i = 34, 
x1 + 0.6079 t = 547.7376, 
y1 - 2.4381 t = -734.7327, 
x2 + 0.6079 t = 557.7376, 
y2 - 2.4381 t = -724.7327, 
t>= 330, t < 340, 
p = 900,s=-1. 

Uranus() :- i = 35, 
x1 + 0.7765 t = 605.0596, 
y1 - 2.3898 t = -718.2959, 
x2 + 0.7765 t = 615.0596, 
y2 - 2.3898 t = -708.2959, 
t>= 340, t < 350, 
p = 900,s=-1. 

Uranus() :- i = 36, 
x1 + 0.9413 t = 662.7435, 
y1 - 2.3298 t = -697.3007, 
x2 + 0.9413 t = 672.7435, 
y2 - 2.3298 t = -687.3007, 
t>= 350, t < 360, 
p = 900,s=-1. 

Uranus() :- i = 37, 
x1 + 1.1015 t = 720.4246, 
y1 - 2.2585 t = -671.6194, 
x2 + 1.1015 t = 730.4246, 
y2 - 2.2585 t = -661.6194, 
t>= 360, t < 370, 
p = 900,s=-1. 

Uranus() :- i = 38, 
x1 + 1.2564 t = 777.7223, 
y1 - 2.1761 t = -641.1537, 
x2 + 1.2564 t = 787.7223, 
y2 - 2.1761 t = -631.1537, 
t>= 370, t < 380, 
p = 900,s=-1. 

Uranus() :- i = 39, 
x1 + 1.4051 t = 834.2427, 
y1 - 2.0832 t = -605.8359, 
x2 + 1.4051 t = 844.2427, 
y2 - 2.0832 t = -595.8359, 
t>= 380, t < 390, 
p = 900,s=-1. 

Uranus() :- i = 40, 
x1 + 1.5470 t = 889.5807, 
y1 - 1.9801 t = -565.6305, 
x2 + 1.5470 t = 899.5807, 
y2 - 1.9801 t = -555.6305, 
t>= 390, t < 400, 
p = 900,s=-1. 

Uranus() :- i = 41, 
x1 + 1.6814 t = 943.3228, 
y1 - 1.8673 t = -520.5355, 
x2 + 1.6814 t = 953.3228, 
y2 - 1.8673 t = -510.5355, 
t>= 400, t < 410, 
p = 900,s=-1. 

Uranus() :- i = 42, 
x1 + 1.8075 t = 995.0500, 
y1 - 1.7455 t = -470.5832, 
x2 + 1.8075 t = 1005.0500, 
y2 - 1.7455 t = -460.5832, 
t>= 410, t < 420, 
p = 900,s=-1. 

Uranus() :- i = 43, 
x1 + 1.9249 t = 1044.3402, 
y1 - 1.6152 t = -415.8408, 
x2 + 1.9249 t = 1054.3402, 
y2 - 1.6152 t = -405.8408, 
t>= 420, t < 430, 
p = 900,s=-1. 

Uranus() :- i = 44, 
x1 + 2.0329 t = 1090.7716, 
y1 - 1.4770 t = -356.4114, 
x2 + 2.0329 t = 1100.7716, 
y2 - 1.4770 t = -346.4114, 
t>= 430, t < 440, 
p = 900,s=-1. 

Uranus() :- i = 45, 
x1 + 2.1309 t = 1133.9250, 
y1 - 1.3316 t = -292.4339, 
x2 + 2.1309 t = 1143.9250, 
y2 - 1.3316 t = -282.4339, 
t>= 440, t < 450, 
p = 900,s=-1. 

Uranus() :- i = 46, 
x1 + 2.2186 t = 1173.3874, 
y1 - 1.1797 t = -224.0830, 
x2 + 2.2186 t = 1183.3874, 
y2 - 1.1797 t = -214.0830, 
t>= 450, t < 460, 
p = 900,s=-1. 

Uranus() :- i = 47, 
x1 + 2.2955 t = 1208.7546, 
y1 - 1.0220 t = -151.5695, 
x2 + 2.2955 t = 1218.7546, 
y2 - 1.0220 t = -141.5695, 
t>= 460, t < 470, 
p = 900,s=-1. 

Uranus() :- i = 48, 
x1 + 2.3612 t = 1239.6344, 
y1 - 0.8594 t = -75.1394, 
x2 + 2.3612 t = 1249.6344, 
y2 - 0.8594 t = -65.1394, 
t>= 470, t < 480, 
p = 900,s=-1. 

Uranus() :- i = 49, 
x1 + 2.4154 t = 1265.6494, 
y1 - 0.6926 t = 4.9266, 
x2 + 2.4154 t = 1275.6494, 
y2 - 0.6926 t = 14.9266, 
t>= 480, t < 490, 
p = 900,s=-1. 

Uranus() :- i = 50, 
x1 + 2.4579 t = 1286.4403, 
y1 - 0.5224 t = 88.3141, 
x2 + 2.4579 t = 1296.4403, 
y2 - 0.5224 t = 98.3141, 
t>= 490, t < 500, 
p = 900,s=-1. 

Uranus() :- i = 51, 
x1 + 2.4883 t = 1301.6682, 
y1 - 0.3497 t = 174.6761, 
x2 + 2.4883 t = 1311.6682, 
y2 - 0.3497 t = 184.6761, 
t>= 500, t < 510, 
p = 900,s=-1. 

Uranus() :- i = 52, 
x1 + 2.5066 t = 1311.0181, 
y1 - 0.1753 t = 263.6341, 
x2 + 2.5066 t = 1321.0181, 
y2 - 0.1753 t = 273.6341, 
t>= 510, t < 520, 
p = 900,s=-1. 

Uranus() :- i = 53, 
x1 + 2.5128 t = 1314.2010, 
y1 - 0.0000 t = 354.7805, 
x2 + 2.5128 t = 1324.2010, 
y2 - 0.0000 t = 364.7805, 
t>= 520, t < 530, 
p = 900,s=-1. 

Uranus() :- i = 54, 
x1 + 2.5066 t = 1310.9569, 
y1 + 0.1753 t = 447.6797, 
x2 + 2.5066 t = 1320.9569, 
y2 + 0.1753 t = 457.6797, 
t>= 530, t < 540, 
p = 900,s=-1. 

Uranus() :- i = 55, 
x1 + 2.4883 t = 1301.0571, 
y1 + 0.3497 t = 541.8706, 
x2 + 2.4883 t = 1311.0571, 
y2 + 0.3497 t = 551.8706, 
t>= 540, t < 550, 
p = 900,s=-1. 

Uranus() :- i = 56, 
x1 + 2.4579 t = 1284.3063, 
y1 + 0.5224 t = 636.8687, 
x2 + 2.4579 t = 1294.3063, 
y2 + 0.5224 t = 646.8687, 
t>= 550, t < 560, 
p = 900,s=-1. 

Uranus() :- i = 57, 
x1 + 2.4154 t = 1260.5454, 
y1 + 0.6926 t = 732.1688, 
x2 + 2.4154 t = 1270.5454, 
y2 + 0.6926 t = 742.1688, 
t>= 560, t < 570, 
p = 900,s=-1. 

Uranus() :- i = 58, 
x1 + 2.3612 t = 1229.6525, 
y1 + 0.8594 t = 827.2472, 
x2 + 2.3612 t = 1239.6525, 
y2 + 0.8594 t = 837.2472, 
t>= 570, t < 580, 
p = 900,s=-1. 

Uranus() :- i = 59, 
x1 + 2.2955 t = 1191.5456, 
y1 + 1.0220 t = 921.5652, 
x2 + 2.2955 t = 1201.5456, 
y2 + 1.0220 t = 931.5652, 
t>= 580, t < 590, 
p = 900,s=-1. 

Uranus() :- i = 60, 
x1 + 2.2186 t = 1146.1834, 
y1 + 1.1797 t = 1014.5716, 
x2 + 2.2186 t = 1156.1834, 
y2 + 1.1797 t = 1024.5716, 
t>= 590, t < 600, 
p = 900,s=-1. 

Uranus() :- i = 61, 
x1 + 2.1309 t = 1093.5669, 
y1 + 1.3316 t = 1105.7061, 
x2 + 2.1309 t = 1103.5669, 
y2 + 1.3316 t = 1115.7061, 
t>= 600, t < 610, 
p = 900,s=-1. 

Uranus() :- i = 62, 
x1 + 2.0329 t = 1033.7405, 
y1 + 1.4770 t = 1194.4023, 
x2 + 2.0329 t = 1043.7405, 
y2 + 1.4770 t = 1204.4023, 
t>= 610, t < 620, 
p = 900,s=-1. 

Uranus() :- i = 63, 
x1 + 1.9249 t = 966.7930, 
y1 + 1.6152 t = 1280.0912, 
x2 + 1.9249 t = 976.7930, 
y2 + 1.6152 t = 1290.0912, 
t>= 620, t < 630, 
p = 900,s=-1. 

Uranus() :- i = 64, 
x1 + 1.8075 t = 892.8577, 
y1 + 1.7455 t = 1362.2048, 
x2 + 1.8075 t = 902.8577, 
y2 + 1.7455 t = 1372.2048, 
t>= 630, t < 640, 
p = 900,s=-1. 

Uranus() :- i = 65, 
x1 + 1.6814 t = 812.1128, 
y1 + 1.8673 t = 1440.1792, 
x2 + 1.6814 t = 822.1128, 
y2 + 1.8673 t = 1450.1792, 
t>= 640, t < 650, 
p = 900,s=-1. 

Uranus() :- i = 66, 
x1 + 1.5470 t = 724.7819, 
y1 + 1.9801 t = 1513.4586, 
x2 + 1.5470 t = 734.7819, 
y2 + 1.9801 t = 1523.4586, 
t>= 650, t < 660, 
p = 900,s=-1. 

Uranus() :- i = 67, 
x1 + 1.4051 t = 631.1331, 
y1 + 2.0832 t = 1581.4984, 
x2 + 1.4051 t = 641.1331, 
y2 + 2.0832 t = 1591.4984, 
t>= 660, t < 670, 
p = 900,s=-1. 

Uranus() :- i = 68, 
x1 + 1.2564 t = 531.4788, 
y1 + 2.1761 t = 1643.7694, 
x2 + 1.2564 t = 541.4788, 
y2 + 2.1761 t = 1653.7694, 
t>= 670, t < 680, 
p = 900,s=-1. 

Uranus() :- i = 69, 
x1 + 1.1015 t = 426.1748, 
y1 + 2.2585 t = 1699.7605, 
x2 + 1.1015 t = 436.1748, 
y2 + 2.2585 t = 1709.7605, 
t>= 680, t < 690, 
p = 900,s=-1. 

Uranus() :- i = 70, 
x1 + 0.9413 t = 315.6194, 
y1 + 2.3298 t = 1748.9830, 
x2 + 0.9413 t = 325.6194, 
y2 + 2.3298 t = 1758.9830, 
t>= 690, t < 700, 
p = 900,s=-1. 

Uranus() :- i = 71, 
x1 + 0.7765 t = 200.2516, 
y1 + 2.3898 t = 1790.9734, 
x2 + 0.7765 t = 210.2516, 
y2 + 2.3898 t = 1800.9734, 
t>= 700, t < 710, 
p = 900,s=-1. 

Uranus() :- i = 72, 
x1 + 0.6079 t = 80.5498, 
y1 + 2.4381 t = 1825.2974, 
x2 + 0.6079 t = 90.5498, 
y2 + 2.4381 t = 1835.2974, 
t>= 710, t < 720, 
p = 900,s=-1. 

Uranus() :- i = 73, 
x1 + 0.4363 t = -42.9703, 
y1 + 2.4746 t = 1851.5524, 
x2 + 0.4363 t = -32.9703, 
y2 + 2.4746 t = 1861.5524, 
t>= 720, t < 730, 
p = 900,s=-1. 

Uranus() :- i = 74, 
x1 + 0.2627 t = -169.7578, 
y1 + 2.4990 t = 1869.3713, 
x2 + 0.2627 t = -159.7578, 
y2 + 2.4990 t = 1879.3713, 
t>= 730, t < 740, 
p = 900,s=-1. 

Uranus() :- i = 75, 
x1 + 0.0877 t = -299.2291, 
y1 + 2.5112 t = 1878.4248, 
x2 + 0.0877 t = -289.2291, 
y2 + 2.5112 t = 1888.4248, 
t>= 740, t < 750, 
p = 900,s=-1. 

Uranus() :- i = 76, 
x1 - 0.0877 t = -430.7703, 
y1 + 2.5112 t = 1878.4248, 
x2 - 0.0877 t = -420.7703, 
y2 + 2.5112 t = 1888.4248, 
t>= 750, t < 760, 
p = 900,s=-1. 

Uranus() :- i = 77, 
x1 - 0.2627 t = -563.7408, 
y1 + 2.4990 t = 1869.1266, 
x2 - 0.2627 t = -553.7408, 
y2 + 2.4990 t = 1879.1266, 
t>= 760, t < 770, 
p = 900,s=-1. 

Uranus() :- i = 78, 
x1 - 0.4363 t = -697.4756, 
y1 + 2.4746 t = 1850.3315, 
x2 - 0.4363 t = -687.4756, 
y2 + 2.4746 t = 1860.3315, 
t>= 770, t < 780, 
p = 900,s=-1. 

Uranus() :- i = 79, 
x1 - 0.6079 t = -831.2890, 
y1 + 2.4381 t = 1821.8886, 
x2 - 0.6079 t = -821.2890, 
y2 + 2.4381 t = 1831.8886, 
t>= 780, t < 790, 
p = 900,s=-1. 

Uranus() :- i = 80, 
x1 - 0.7765 t = -964.4784, 
y1 + 2.3898 t = 1783.6972, 
x2 - 0.7765 t = -954.4784, 
y2 + 2.3898 t = 1793.6972, 
t>= 790, t < 800, 
p = 900,s=-1. 

Uranus() :- i = 81, 
x1 - 0.9413 t = -1096.3273, 
y1 + 2.3298 t = 1735.7081, 
x2 - 0.9413 t = -1086.3273, 
y2 + 2.3298 t = 1745.7081, 
t>= 800, t < 810, 
p = 900,s=-1. 

Uranus() :- i = 82, 
x1 - 1.1015 t = -1226.1098, 
y1 + 2.2585 t = 1677.9252, 
x2 - 1.1015 t = -1216.1098, 
y2 + 2.2585 t = 1687.9252, 
t>= 810, t < 820, 
p = 900,s=-1. 

Uranus() :- i = 83, 
x1 - 1.2564 t = -1353.0940, 
y1 + 2.1761 t = 1610.4066, 
x2 - 1.2564 t = -1343.0940, 
y2 + 2.1761 t = 1620.4066, 
t>= 820, t < 830, 
p = 900,s=-1. 

Uranus() :- i = 84, 
x1 - 1.4051 t = -1476.5464, 
y1 + 2.0832 t = 1533.2650, 
x2 - 1.4051 t = -1466.5464, 
y2 + 2.0832 t = 1543.2650, 
t>= 830, t < 840, 
p = 900,s=-1. 

Uranus() :- i = 85, 
x1 - 1.5470 t = -1595.7358, 
y1 + 1.9801 t = 1446.6688, 
x2 - 1.5470 t = -1585.7358, 
y2 + 1.9801 t = 1456.6688, 
t>= 840, t < 850, 
p = 900,s=-1. 

Uranus() :- i = 86, 
x1 - 1.6814 t = -1709.9378, 
y1 + 1.8673 t = 1350.8420, 
x2 - 1.6814 t = -1699.9378, 
y2 + 1.8673 t = 1360.8420, 
t>= 850, t < 860, 
p = 900,s=-1. 

Uranus() :- i = 87, 
x1 - 1.8075 t = -1818.4387, 
y1 + 1.7455 t = 1246.0639, 
x2 - 1.8075 t = -1808.4387, 
y2 + 1.7455 t = 1256.0639, 
t>= 860, t < 870, 
p = 900,s=-1. 

Uranus() :- i = 88, 
x1 - 1.9249 t = -1920.5400, 
y1 + 1.6152 t = 1132.6690, 
x2 - 1.9249 t = -1910.5400, 
y2 + 1.6152 t = 1142.6690, 
t>= 870, t < 880, 
p = 900,s=-1. 

Uranus() :- i = 89, 
x1 - 2.0329 t = -2015.5623, 
y1 + 1.4770 t = 1011.0461, 
x2 - 2.0329 t = -2005.5623, 
y2 + 1.4770 t = 1021.0461, 
t>= 880, t < 890, 
p = 900,s=-1. 

Uranus() :- i = 90, 
x1 - 2.1309 t = -2102.8499, 
y1 + 1.3316 t = 881.6369, 
x2 - 2.1309 t = -2092.8499, 
y2 + 1.3316 t = 891.6369, 
t>= 890, t < 900, 
p = 900,s=-1. 

Neptune() :- i = 1, 
x1 - 2.6696 t = 245.0000, 
y1 - 1.6552 t = -438.0127, 
x2 - 2.6696 t = 255.0000, 
y2 - 1.6552 t = -428.0127, 
t>= 0, t < 10, 
p = 1000,s=-1. 

Neptune() :- i = 2, 
x1 - 2.5604 t = 246.0920, 
y1 - 1.8196 t = -439.6563, 
x2 - 2.5604 t = 256.0920, 
y2 - 1.8196 t = -429.6563, 
t>= 10, t < 20, 
p = 1000,s=-1. 

Neptune() :- i = 3, 
x1 - 2.4411 t = 248.4780, 
y1 - 1.9767 t = -442.7998, 
x2 - 2.4411 t = 258.4780, 
y2 - 1.9767 t = -432.7998, 
t>= 20, t < 30, 
p = 1000,s=-1. 

Neptune() :- i = 4, 
x1 - 2.3121 t = 252.3462, 
y1 - 2.1261 t = -447.2811, 
x2 - 2.3121 t = 262.3462, 
y2 - 2.1261 t = -437.2811, 
t>= 30, t < 40, 
p = 1000,s=-1. 

Neptune() :- i = 5, 
x1 - 2.1741 t = 257.8687, 
y1 - 2.2671 t = -452.9205, 
x2 - 2.1741 t = 267.8687, 
y2 - 2.2671 t = -442.9205, 
t>= 40, t < 50, 
p = 1000,s=-1. 

Neptune() :- i = 6, 
x1 - 2.0274 t = 265.2008, 
y1 - 2.3991 t = -459.5224, 
x2 - 2.0274 t = 275.2008, 
y2 - 2.3991 t = -449.5224, 
t>= 50, t < 60, 
p = 1000,s=-1. 

Neptune() :- i = 7, 
x1 - 1.8728 t = 274.4794, 
y1 - 2.5217 t = -466.8766, 
x2 - 1.8728 t = 284.4794, 
y2 - 2.5217 t = -456.8766, 
t>= 60, t < 70, 
p = 1000,s=-1. 

Neptune() :- i = 8, 
x1 - 1.7108 t = 285.8219, 
y1 - 2.6343 t = -474.7598, 
x2 - 1.7108 t = 295.8219, 
y2 - 2.6343 t = -464.7598, 
t>= 70, t < 80, 
p = 1000,s=-1. 

Neptune() :- i = 9, 
x1 - 1.5420 t = 299.3248, 
y1 - 2.7365 t = -482.9374, 
x2 - 1.5420 t = 309.3248, 
y2 - 2.7365 t = -472.9374, 
t>= 80, t < 90, 
p = 1000,s=-1. 

Neptune() :- i = 10, 
x1 - 1.3671 t = 315.0633, 
y1 - 2.8280 t = -491.1653, 
x2 - 1.3671 t = 325.0633, 
y2 - 2.8280 t = -481.1653, 
t>= 90, t < 100, 
p = 1000,s=-1. 

Neptune() :- i = 11, 
x1 - 1.1868 t = 333.0900, 
y1 - 2.9082 t = -499.1913, 
x2 - 1.1868 t = 343.0900, 
y2 - 2.9082 t = -489.1913, 
t>= 100, t < 110, 
p = 1000,s=-1. 

Neptune() :- i = 12, 
x1 - 1.0019 t = 353.4347, 
y1 - 2.9770 t = -506.7574, 
x2 - 1.0019 t = 363.4347, 
y2 - 2.9770 t = -496.7574, 
t>= 110, t < 120, 
p = 1000,s=-1. 

Neptune() :- i = 13, 
x1 - 0.8130 t = 376.1033, 
y1 - 3.0340 t = -513.6015, 
x2 - 0.8130 t = 386.1033, 
y2 - 3.0340 t = -503.6015, 
t>= 120, t < 130, 
p = 1000,s=-1. 

Neptune() :- i = 14, 
x1 - 0.6209 t = 401.0780, 
y1 - 3.0791 t = -519.4593, 
x2 - 0.6209 t = 411.0780, 
y2 - 3.0791 t = -509.4593, 
t>= 130, t < 140, 
p = 1000,s=-1. 

Neptune() :- i = 15, 
x1 - 0.4263 t = 428.3170, 
y1 - 3.1120 t = -524.0664, 
x2 - 0.4263 t = 438.3170, 
y2 - 3.1120 t = -514.0664, 
t>= 140, t < 150, 
p = 1000,s=-1. 

Neptune() :- i = 16, 
x1 - 0.2300 t = 457.7539, 
y1 - 3.1326 t = -527.1603, 
x2 - 0.2300 t = 467.7539, 
y2 - 3.1326 t = -517.1603, 
t>= 150, t < 160, 
p = 1000,s=-1. 

Neptune() :- i = 17, 
x1 - 0.0329 t = 489.2985, 
y1 - 3.1409 t = -528.4825, 
x2 - 0.0329 t = 499.2985, 
y2 - 3.1409 t = -518.4825, 
t>= 160, t < 170, 
p = 1000,s=-1. 

Neptune() :- i = 18, 
x1 + 0.1644 t = 522.8368, 
y1 - 3.1368 t = -527.7799, 
x2 + 0.1644 t = 532.8368, 
y2 - 3.1368 t = -517.7799, 
t>= 170, t < 180, 
p = 1000,s=-1. 

Neptune() :- i = 19, 
x1 + 0.3610 t = 558.2311, 
y1 - 3.1203 t = -524.8078, 
x2 + 0.3610 t = 568.2311, 
y2 - 3.1203 t = -514.8078, 
t>= 180, t < 190, 
p = 1000,s=-1. 

Neptune() :- i = 20, 
x1 + 0.5562 t = 595.3211, 
y1 - 3.0914 t = -519.3308, 
x2 + 0.5562 t = 605.3211, 
y2 - 3.0914 t = -509.3308, 
t>= 190, t < 200, 
p = 1000,s=-1. 

Neptune() :- i = 21, 
x1 + 0.7493 t = 633.9241, 
y1 - 3.0504 t = -511.1255, 
x2 + 0.7493 t = 643.9241, 
y2 - 3.0504 t = -501.1255, 
t>= 200, t < 210, 
p = 1000,s=-1. 

Neptune() :- i = 22, 
x1 + 0.9393 t = 673.8363, 
y1 - 2.9973 t = -499.9818, 
x2 + 0.9393 t = 683.8363, 
y2 - 2.9973 t = -489.9818, 
t>= 210, t < 220, 
p = 1000,s=-1. 

Neptune() :- i = 23, 
x1 + 1.1257 t = 714.8335, 
y1 - 2.9324 t = -485.7051, 
x2 + 1.1257 t = 724.8335, 
y2 - 2.9324 t = -475.7051, 
t>= 220, t < 230, 
p = 1000,s=-1. 

Neptune() :- i = 24, 
x1 + 1.3076 t = 756.6725, 
y1 - 2.8560 t = -468.1176, 
x2 + 1.3076 t = 766.6725, 
y2 - 2.8560 t = -458.1176, 
t>= 230, t < 240, 
p = 1000,s=-1. 

Neptune() :- i = 25, 
x1 + 1.4843 t = 799.0921, 
y1 - 2.7682 t = -447.0603, 
x2 + 1.4843 t = 809.0921, 
y2 - 2.7682 t = -437.0603, 
t>= 240, t < 250, 
p = 1000,s=-1. 

Neptune() :- i = 26, 
x1 + 1.6552 t = 841.8147, 
y1 - 2.6696 t = -422.3945, 
x2 + 1.6552 t = 851.8147, 
y2 - 2.6696 t = -412.3945, 
t>= 250, t < 260, 
p = 1000,s=-1. 

Neptune() :- i = 27, 
x1 + 1.8196 t = 884.5478, 
y1 - 2.5604 t = -394.0027, 
x2 + 1.8196 t = 894.5478, 
y2 - 2.5604 t = -384.0027, 
t>= 260, t < 270, 
p = 1000,s=-1. 

Neptune() :- i = 28, 
x1 + 1.9767 t = 926.9855, 
y1 - 2.4411 t = -361.7906, 
x2 + 1.9767 t = 936.9855, 
y2 - 2.4411 t = -351.7906, 
t>= 270, t < 280, 
p = 1000,s=-1. 

Neptune() :- i = 29, 
x1 + 2.1261 t = 968.8107, 
y1 - 2.3121 t = -325.6881, 
x2 + 2.1261 t = 978.8107, 
y2 - 2.3121 t = -315.6881, 
t>= 280, t < 290, 
p = 1000,s=-1. 

Neptune() :- i = 30, 
x1 + 2.2671 t = 1009.6964, 
y1 - 2.1741 t = -285.6500, 
x2 + 2.2671 t = 1019.6964, 
y2 - 2.1741 t = -275.6500, 
t>= 290, t < 300, 
p = 1000,s=-1. 

Neptune() :- i = 31, 
x1 + 2.3991 t = 1049.3077, 
y1 - 2.0274 t = -241.6572, 
x2 + 2.3991 t = 1059.3077, 
y2 - 2.0274 t = -231.6572, 
t>= 300, t < 310, 
p = 1000,s=-1. 

Neptune() :- i = 32, 
x1 + 2.5217 t = 1087.3041, 
y1 - 1.8728 t = -193.7175, 
x2 + 2.5217 t = 1097.3041, 
y2 - 1.8728 t = -183.7175, 
t>= 310, t < 320, 
p = 1000,s=-1. 

Neptune() :- i = 33, 
x1 + 2.6343 t = 1123.3417, 
y1 - 1.7108 t = -141.8663, 
x2 + 2.6343 t = 1133.3417, 
y2 - 1.7108 t = -131.8663, 
t>= 320, t < 330, 
p = 1000,s=-1. 

Neptune() :- i = 34, 
x1 + 2.7365 t = 1157.0746, 
y1 - 1.5420 t = -86.1668, 
x2 + 2.7365 t = 1167.0746, 
y2 - 1.5420 t = -76.1668, 
t>= 330, t < 340, 
p = 1000,s=-1. 

Neptune() :- i = 35, 
x1 + 2.8280 t = 1188.1577, 
y1 - 1.3671 t = -26.7103, 
x2 + 2.8280 t = 1198.1577, 
y2 - 1.3671 t = -16.7103, 
t>= 340, t < 350, 
p = 1000,s=-1. 

Neptune() :- i = 36, 
x1 + 2.9082 t = 1216.2487, 
y1 - 1.1868 t = 36.3833, 
x2 + 2.9082 t = 1226.2487, 
y2 - 1.1868 t = 46.3833, 
t>= 350, t < 360, 
p = 1000,s=-1. 

Neptune() :- i = 37, 
x1 + 2.9770 t = 1241.0105, 
y1 - 1.0019 t = 102.9657, 
x2 + 2.9770 t = 1251.0105, 
y2 - 1.0019 t = 112.9657, 
t>= 360, t < 370, 
p = 1000,s=-1. 

Neptune() :- i = 38, 
x1 + 3.0340 t = 1262.1130, 
y1 - 0.8130 t = 172.8606, 
x2 + 3.0340 t = 1272.1130, 
y2 - 0.8130 t = 182.8606, 
t>= 370, t < 380, 
p = 1000,s=-1. 

Neptune() :- i = 39, 
x1 + 3.0791 t = 1279.2358, 
y1 - 0.6209 t = 245.8637, 
x2 + 3.0791 t = 1289.2358, 
y2 - 0.6209 t = 255.8637, 
t>= 380, t < 390, 
p = 1000,s=-1. 

Neptune() :- i = 40, 
x1 + 3.1120 t = 1292.0699, 
y1 - 0.4263 t = 321.7436, 
x2 + 3.1120 t = 1302.0699, 
y2 - 0.4263 t = 331.7436, 
t>= 390, t < 400, 
p = 1000,s=-1. 

Neptune() :- i = 41, 
x1 + 3.1326 t = 1300.3205, 
y1 - 0.2300 t = 400.2421, 
x2 + 3.1326 t = 1310.3205, 
y2 - 0.2300 t = 410.2421, 
t>= 400, t < 410, 
p = 1000,s=-1. 

Neptune() :- i = 42, 
x1 + 3.1409 t = 1303.7084, 
y1 - 0.0329 t = 481.0752, 
x2 + 3.1409 t = 1313.7084, 
y2 - 0.0329 t = 491.0752, 
t>= 410, t < 420, 
p = 1000,s=-1. 

Neptune() :- i = 43, 
x1 + 3.1368 t = 1301.9727, 
y1 + 0.1644 t = 563.9345, 
x2 + 3.1368 t = 1311.9727, 
y2 + 0.1644 t = 573.9345, 
t>= 420, t < 430, 
p = 1000,s=-1. 

Neptune() :- i = 44, 
x1 + 3.1203 t = 1294.8726, 
y1 + 0.3610 t = 648.4876, 
x2 + 3.1203 t = 1304.8726, 
y2 + 0.3610 t = 658.4876, 
t>= 430, t < 440, 
p = 1000,s=-1. 

Neptune() :- i = 45, 
x1 + 3.0914 t = 1282.1891, 
y1 + 0.5562 t = 734.3801, 
x2 + 3.0914 t = 1292.1891, 
y2 + 0.5562 t = 744.3801, 
t>= 440, t < 450, 
p = 1000,s=-1. 

Neptune() :- i = 46, 
x1 + 3.0504 t = 1263.7272, 
y1 + 0.7493 t = 821.2369, 
x2 + 3.0504 t = 1273.7272, 
y2 + 0.7493 t = 831.2369, 
t>= 450, t < 460, 
p = 1000,s=-1. 

Neptune() :- i = 47, 
x1 + 2.9973 t = 1239.3172, 
y1 + 0.9393 t = 908.6636, 
x2 + 2.9973 t = 1249.3172, 
y2 + 0.9393 t = 918.6636, 
t>= 460, t < 470, 
p = 1000,s=-1. 

Neptune() :- i = 48, 
x1 + 2.9324 t = 1208.8169, 
y1 + 1.1257 t = 996.2486, 
x2 + 2.9324 t = 1218.8169, 
y2 + 1.1257 t = 1006.2486, 
t>= 470, t < 480, 
p = 1000,s=-1. 

Neptune() :- i = 49, 
x1 + 2.8560 t = 1172.1126, 
y1 + 1.3076 t = 1083.5648, 
x2 + 2.8560 t = 1182.1126, 
y2 + 1.3076 t = 1093.5648, 
t>= 480, t < 490, 
p = 1000,s=-1. 

Neptune() :- i = 50, 
x1 + 2.7682 t = 1129.1207, 
y1 + 1.4843 t = 1170.1714, 
x2 + 2.7682 t = 1139.1207, 
y2 + 1.4843 t = 1180.1714, 
t>= 490, t < 500, 
p = 1000,s=-1. 

Neptune() :- i = 51, 
x1 + 2.6696 t = 1079.7889, 
y1 + 1.6552 t = 1255.6166, 
x2 + 2.6696 t = 1089.7889, 
y2 + 1.6552 t = 1265.6166, 
t>= 500, t < 510, 
p = 1000,s=-1. 

Neptune() :- i = 52, 
x1 + 2.5604 t = 1024.0973, 
y1 + 1.8196 t = 1339.4392, 
x2 + 2.5604 t = 1034.0973, 
y2 + 1.8196 t = 1349.4392, 
t>= 510, t < 520, 
p = 1000,s=-1. 

Neptune() :- i = 53, 
x1 + 2.4411 t = 962.0593, 
y1 + 1.9767 t = 1421.1712, 
x2 + 2.4411 t = 972.0593, 
y2 + 1.9767 t = 1431.1712, 
t>= 520, t < 530, 
p = 1000,s=-1. 

Neptune() :- i = 54, 
x1 + 2.3121 t = 893.7224, 
y1 + 2.1261 t = 1500.3403, 
x2 + 2.3121 t = 903.7224, 
y2 + 2.1261 t = 1510.3403, 
t>= 530, t < 540, 
p = 1000,s=-1. 

Neptune() :- i = 55, 
x1 + 2.1741 t = 819.1686, 
y1 + 2.2671 t = 1576.4722, 
x2 + 2.1741 t = 829.1686, 
y2 + 2.2671 t = 1586.4722, 
t>= 540, t < 550, 
p = 1000,s=-1. 

Neptune() :- i = 56, 
x1 + 2.0274 t = 738.5152, 
y1 + 2.3991 t = 1649.0929, 
x2 + 2.0274 t = 748.5152, 
y2 + 2.3991 t = 1659.0929, 
t>= 550, t < 560, 
p = 1000,s=-1. 

Neptune() :- i = 57, 
x1 + 1.8728 t = 651.9146, 
y1 + 2.5217 t = 1717.7317, 
x2 + 1.8728 t = 661.9146, 
y2 + 2.5217 t = 1727.7317, 
t>= 560, t < 570, 
p = 1000,s=-1. 

Neptune() :- i = 58, 
x1 + 1.7108 t = 559.5546, 
y1 + 2.6343 t = 1781.9236, 
x2 + 1.7108 t = 569.5546, 
y2 + 2.6343 t = 1791.9236, 
t>= 570, t < 580, 
p = 1000,s=-1. 

Neptune() :- i = 59, 
x1 + 1.5420 t = 461.6584, 
y1 + 2.7365 t = 1841.2117, 
x2 + 1.5420 t = 471.6584, 
y2 + 2.7365 t = 1851.2117, 
t>= 580, t < 590, 
p = 1000,s=-1. 

Neptune() :- i = 60, 
x1 + 1.3671 t = 358.4839, 
y1 + 2.8280 t = 1895.1500, 
x2 + 1.3671 t = 368.4839, 
y2 + 2.8280 t = 1905.1500, 
t>= 590, t < 600, 
p = 1000,s=-1. 

Neptune() :- i = 61, 
x1 + 1.1868 t = 250.3235, 
y1 + 2.9082 t = 1943.3061, 
x2 + 1.1868 t = 260.3235, 
y2 + 2.9082 t = 1953.3061, 
t>= 600, t < 610, 
p = 1000,s=-1. 

Neptune() :- i = 62, 
x1 + 1.0019 t = 137.5033, 
y1 + 2.9770 t = 1985.2636, 
x2 + 1.0019 t = 147.5033, 
y2 + 2.9770 t = 1995.2636, 
t>= 610, t < 620, 
p = 1000,s=-1. 

Neptune() :- i = 63, 
x1 + 0.8130 t = 20.3821, 
y1 + 3.0340 t = 2020.6246, 
x2 + 0.8130 t = 30.3821, 
y2 + 3.0340 t = 2030.6246, 
t>= 620, t < 630, 
p = 1000,s=-1. 

Neptune() :- i = 64, 
x1 + 0.6209 t = -100.6494, 
y1 + 3.0791 t = 2049.0123, 
x2 + 0.6209 t = -90.6494, 
y2 + 3.0791 t = 2059.0123, 
t>= 630, t < 640, 
p = 1000,s=-1. 

Neptune() :- i = 65, 
x1 + 0.4263 t = -225.1702, 
y1 + 3.1120 t = 2070.0734, 
x2 + 0.4263 t = -215.1702, 
y2 + 3.1120 t = 2080.0734, 
t>= 640, t < 650, 
p = 1000,s=-1. 

Neptune() :- i = 66, 
x1 + 0.2300 t = -352.7302, 
y1 + 3.1326 t = 2083.4806, 
x2 + 0.2300 t = -342.7302, 
y2 + 3.1326 t = 2093.4806, 
t>= 650, t < 660, 
p = 1000,s=-1. 

Neptune() :- i = 67, 
x1 + 0.0329 t = -482.8519, 
y1 + 3.1409 t = 2088.9343, 
x2 + 0.0329 t = -472.8519, 
y2 + 3.1409 t = 2098.9343, 
t>= 660, t < 670, 
p = 1000,s=-1. 

Neptune() :- i = 68, 
x1 - 0.1644 t = -615.0321, 
y1 + 3.1368 t = 2086.1655, 
x2 - 0.1644 t = -605.0321, 
y2 + 3.1368 t = 2096.1655, 
t>= 670, t < 680, 
p = 1000,s=-1. 

Neptune() :- i = 69, 
x1 - 0.3610 t = -748.7440, 
y1 + 3.1203 t = 2074.9375, 
x2 - 0.3610 t = -738.7440, 
y2 + 3.1203 t = 2084.9375, 
t>= 680, t < 690, 
p = 1000,s=-1. 

Neptune() :- i = 70, 
x1 - 0.5562 t = -883.4391, 
y1 + 3.0914 t = 2055.0474, 
x2 - 0.5562 t = -873.4391, 
y2 + 3.0914 t = 2065.0474, 
t>= 690, t < 700, 
p = 1000,s=-1. 

Neptune() :- i = 71, 
x1 - 0.7493 t = -1018.5496, 
y1 + 3.0504 t = 2026.3288, 
x2 - 0.7493 t = -1008.5496, 
y2 + 3.0504 t = 2036.3288, 
t>= 700, t < 710, 
p = 1000,s=-1. 

Neptune() :- i = 72, 
x1 - 0.9393 t = -1153.4909, 
y1 + 2.9973 t = 1988.6526, 
x2 - 0.9393 t = -1143.4909, 
y2 + 2.9973 t = 1998.6526, 
t>= 710, t < 720, 
p = 1000,s=-1. 

Neptune() :- i = 73, 
x1 - 1.1257 t = -1287.6637, 
y1 + 2.9324 t = 1941.9287, 
x2 - 1.1257 t = -1277.6637, 
y2 + 2.9324 t = 1951.9287, 
t>= 720, t < 730, 
p = 1000,s=-1. 

Neptune() :- i = 74, 
x1 - 1.3076 t = -1420.4570, 
y1 + 2.8560 t = 1886.1075, 
x2 - 1.3076 t = -1410.4570, 
y2 + 2.8560 t = 1896.1075, 
t>= 730, t < 740, 
p = 1000,s=-1. 

Neptune() :- i = 75, 
x1 - 1.4843 t = -1551.2507, 
y1 + 2.7682 t = 1821.1810, 
x2 - 1.4843 t = -1541.2507, 
y2 + 2.7682 t = 1831.1810, 
t>= 740, t < 750, 
p = 1000,s=-1. 

Neptune() :- i = 76, 
x1 - 1.6552 t = -1679.4185, 
y1 + 2.6696 t = 1747.1833, 
x2 - 1.6552 t = -1669.4185, 
y2 + 2.6696 t = 1757.1833, 
t>= 750, t < 760, 
p = 1000,s=-1. 

Neptune() :- i = 77, 
x1 - 1.8196 t = -1804.3306, 
y1 + 2.5604 t = 1664.1920, 
x2 - 1.8196 t = -1794.3306, 
y2 + 2.5604 t = 1674.1920, 
t>= 760, t < 770, 
p = 1000,s=-1. 

Neptune() :- i = 78, 
x1 - 1.9767 t = -1925.3569, 
y1 + 2.4411 t = 1572.3281, 
x2 - 1.9767 t = -1915.3569, 
y2 + 2.4411 t = 1582.3281, 
t>= 770, t < 780, 
p = 1000,s=-1. 

Neptune() :- i = 79, 
x1 - 2.1261 t = -2041.8699, 
y1 + 2.3121 t = 1471.7567, 
x2 - 2.1261 t = -2031.8699, 
y2 + 2.3121 t = 1481.7567, 
t>= 780, t < 790, 
p = 1000,s=-1. 

Neptune() :- i = 80, 
x1 - 2.2671 t = -2153.2480, 
y1 + 2.1741 t = 1362.6873, 
x2 - 2.2671 t = -2143.2480, 
y2 + 2.1741 t = 1372.6873, 
t>= 790, t < 800, 
p = 1000,s=-1. 

Neptune() :- i = 81, 
x1 - 2.3991 t = -2258.8781, 
y1 + 2.0274 t = 1245.3732, 
x2 - 2.3991 t = -2248.8781, 
y2 + 2.0274 t = 1255.3732, 
t>= 800, t < 810, 
p = 1000,s=-1. 

Neptune() :- i = 82, 
x1 - 2.5217 t = -2358.1593, 
y1 + 1.8728 t = 1120.1116, 
x2 - 2.5217 t = -2348.1593, 
y2 + 1.8728 t = 1130.1116, 
t>= 810, t < 820, 
p = 1000,s=-1. 

Neptune() :- i = 83, 
x1 - 2.6343 t = -2450.5055, 
y1 + 1.7108 t = 987.2429, 
x2 - 2.6343 t = -2440.5055, 
y2 + 1.7108 t = 997.2429, 
t>= 820, t < 830, 
p = 1000,s=-1. 

Neptune() :- i = 84, 
x1 - 2.7365 t = -2535.3487, 
y1 + 1.5420 t = 847.1500, 
x2 - 2.7365 t = -2525.3487, 
y2 + 1.5420 t = 857.1500, 
t>= 830, t < 840, 
p = 1000,s=-1. 

Neptune() :- i = 85, 
x1 - 2.8280 t = -2612.1423, 
y1 + 1.3671 t = 700.2576, 
x2 - 2.8280 t = -2602.1423, 
y2 + 1.3671 t = 710.2576, 
t>= 840, t < 850, 
p = 1000,s=-1. 

Neptune() :- i = 86, 
x1 - 2.9082 t = -2680.3635, 
y1 + 1.1868 t = 547.0303, 
x2 - 2.9082 t = -2670.3635, 
y2 + 1.1868 t = 557.0303, 
t>= 850, t < 860, 
p = 1000,s=-1. 

Neptune() :- i = 87, 
x1 - 2.9770 t = -2739.5167, 
y1 + 1.0019 t = 387.9723, 
x2 - 2.9770 t = -2729.5167, 
y2 + 1.0019 t = 397.9723, 
t>= 860, t < 870, 
p = 1000,s=-1. 

Neptune() :- i = 88, 
x1 - 3.0340 t = -2789.1361, 
y1 + 0.8130 t = 223.6249, 
x2 - 3.0340 t = -2779.1361, 
y2 + 0.8130 t = 233.6249, 
t>= 870, t < 880, 
p = 1000,s=-1. 

Neptune() :- i = 89, 
x1 - 3.0791 t = -2828.7888, 
y1 + 0.6209 t = 54.5650, 
x2 - 3.0791 t = -2818.7888, 
y2 + 0.6209 t = 64.5650, 
t>= 880, t < 890, 
p = 1000,s=-1. 

Neptune() :- i = 90, 
x1 - 3.1120 t = -2858.0770, 
y1 + 0.4263 t = -118.5968, 
x2 - 3.1120 t = -2848.0770, 
y2 + 0.4263 t = -108.5968, 
t>= 890, t < 900, 
p = 1000,s=-1. 

Neptune() :- i = 91, 
x1 - 3.1326 t = -2876.6407, 
y1 + 0.2300 t = -295.2184, 
x2 - 3.1326 t = -2866.6407, 
y2 + 0.2300 t = -285.2184, 
t>= 900, t < 910, 
p = 1000,s=-1. 

Neptune() :- i = 92, 
x1 - 3.1409 t = -2884.1602, 
y1 + 0.0329 t = -474.6285, 
x2 - 3.1409 t = -2874.1602, 
y2 + 0.0329 t = -464.6285, 
t>= 910, t < 920, 
p = 1000,s=-1. 

Neptune() :- i = 93, 
x1 - 3.1368 t = -2880.3583, 
y1 - 0.1644 t = -656.1297, 
x2 - 3.1368 t = -2870.3583, 
y2 - 0.1644 t = -646.1297, 
t>= 920, t < 930, 
p = 1000,s=-1. 

Neptune() :- i = 94, 
x1 - 3.1203 t = -2865.0023, 
y1 - 0.3610 t = -839.0004, 
x2 - 3.1203 t = -2855.0023, 
y2 - 0.3610 t = -829.0004, 
t>= 930, t < 940, 
p = 1000,s=-1. 

Neptune() :- i = 95, 
x1 - 3.0914 t = -2837.9058, 
y1 - 0.5562 t = -1022.4980, 
x2 - 3.0914 t = -2827.9058, 
y2 - 0.5562 t = -1012.4980, 
t>= 940, t < 950, 
p = 1000,s=-1. 

Neptune() :- i = 96, 
x1 - 3.0504 t = -2798.9305, 
y1 - 0.7493 t = -1205.8624, 
x2 - 3.0504 t = -2788.9305, 
y2 - 0.7493 t = -1195.8624, 
t>= 950, t < 960, 
p = 1000,s=-1. 

Neptune() :- i = 97, 
x1 - 2.9973 t = -2747.9880, 
y1 - 0.9393 t = -1388.3182, 
x2 - 2.9973 t = -2737.9880, 
y2 - 0.9393 t = -1378.3182, 
t>= 960, t < 970, 
p = 1000,s=-1. 

Neptune() :- i = 98, 
x1 - 2.9324 t = -2685.0405, 
y1 - 1.1257 t = -1569.0788, 
x2 - 2.9324 t = -2675.0405, 
y2 - 1.1257 t = -1559.0788, 
t>= 970, t < 980, 
p = 1000,s=-1. 

Neptune() :- i = 99, 
x1 - 2.8560 t = -2610.1025, 
y1 - 1.3076 t = -1747.3492, 
x2 - 2.8560 t = -2600.1025, 
y2 - 1.3076 t = -1737.3492, 
t>= 980, t < 990, 
p = 1000,s=-1. 

Neptune() :- i = 100, 
x1 - 2.7682 t = -2523.2414, 
y1 - 1.4843 t = -1922.3300, 
x2 - 2.7682 t = -2513.2414, 
y2 - 1.4843 t = -1912.3300, 
t>= 990, t < 1000, 
p = 1000,s=-1. 

Pluto() :- i = 1, 
x1 - 2.7682 t = -305.0000, 
y1 + 1.4843 t = -524.6152, 
x2 - 2.7682 t = -295.0000, 
y2 + 1.4843 t = -514.6152, 
t>= 0, t < 12, 
p = 1200,s=-1. 

Pluto() :- i = 2, 
x1 - 2.8560 t = -306.0529, 
y1 + 1.3076 t = -526.7362, 
x2 - 2.8560 t = -296.0529, 
y2 + 1.3076 t = -516.7362, 
t>= 12, t < 24, 
p = 1200,s=-1. 

Pluto() :- i = 3, 
x1 - 2.9324 t = -307.8881, 
y1 + 1.1257 t = -531.1020, 
x2 - 2.9324 t = -297.8881, 
y2 + 1.1257 t = -521.1020, 
t>= 24, t < 36, 
p = 1200,s=-1. 

Pluto() :- i = 4, 
x1 - 2.9973 t = -310.2243, 
y1 + 0.9393 t = -537.8106, 
x2 - 2.9973 t = -300.2243, 
y2 + 0.9393 t = -527.8106, 
t>= 36, t < 48, 
p = 1200,s=-1. 

Pluto() :- i = 5, 
x1 - 3.0504 t = -312.7714, 
y1 + 0.7493 t = -546.9334, 
x2 - 3.0504 t = -302.7714, 
y2 + 0.7493 t = -536.9334, 
t>= 48, t < 60, 
p = 1200,s=-1. 

Pluto() :- i = 6, 
x1 - 3.0914 t = -315.2330, 
y1 + 0.5562 t = -558.5143, 
x2 - 3.0914 t = -305.2330, 
y2 + 0.5562 t = -548.5143, 
t>= 60, t < 72, 
p = 1200,s=-1. 

Pluto() :- i = 7, 
x1 - 3.1203 t = -317.3085, 
y1 + 0.3610 t = -572.5695, 
x2 - 3.1203 t = -307.3085, 
y2 + 0.3610 t = -562.5695, 
t>= 72, t < 84, 
p = 1200,s=-1. 

Pluto() :- i = 8, 
x1 - 3.1368 t = -318.6955, 
y1 + 0.1644 t = -589.0868, 
x2 - 3.1368 t = -308.6955, 
y2 + 0.1644 t = -579.0868, 
t>= 84, t < 96, 
p = 1200,s=-1. 

Pluto() :- i = 9, 
x1 - 3.1409 t = -319.0922, 
y1 - 0.0329 t = -608.0261, 
x2 - 3.1409 t = -309.0922, 
y2 - 0.0329 t = -598.0261, 
t>= 96, t < 108, 
p = 1200,s=-1. 

Pluto() :- i = 10, 
x1 - 3.1326 t = -318.1998, 
y1 - 0.2300 t = -629.3187, 
x2 - 3.1326 t = -308.1998, 
y2 - 0.2300 t = -619.3187, 
t>= 108, t < 120, 
p = 1200,s=-1. 

Pluto() :- i = 11, 
x1 - 3.1120 t = -315.7247, 
y1 - 0.4263 t = -652.8683, 
x2 - 3.1120 t = -305.7247, 
y2 - 0.4263 t = -642.8683, 
t>= 120, t < 132, 
p = 1200,s=-1. 

Pluto() :- i = 12, 
x1 - 3.0791 t = -311.3808, 
y1 - 0.6209 t = -678.5507, 
x2 - 3.0791 t = -301.3808, 
y2 - 0.6209 t = -668.5507, 
t>= 132, t < 144, 
p = 1200,s=-1. 

Pluto() :- i = 13, 
x1 - 3.0340 t = -304.8922, 
y1 - 0.8130 t = -706.2150, 
x2 - 3.0340 t = -294.8922, 
y2 - 0.8130 t = -696.2150, 
t>= 144, t < 156, 
p = 1200,s=-1. 

Pluto() :- i = 14, 
x1 - 2.9770 t = -295.9949, 
y1 - 1.0019 t = -735.6842, 
x2 - 2.9770 t = -285.9949, 
y2 - 1.0019 t = -725.6842, 
t>= 156, t < 168, 
p = 1200,s=-1. 

Pluto() :- i = 15, 
x1 - 2.9082 t = -284.4394, 
y1 - 1.1868 t = -766.7560, 
x2 - 2.9082 t = -274.4394, 
y2 - 1.1868 t = -756.7560, 
t>= 168, t < 180, 
p = 1200,s=-1. 

Pluto() :- i = 16, 
x1 - 2.8280 t = -269.9926, 
y1 - 1.3671 t = -799.2042, 
x2 - 2.8280 t = -259.9926, 
y2 - 1.3671 t = -789.2042, 
t>= 180, t < 192, 
p = 1200,s=-1. 

Pluto() :- i = 17, 
x1 - 2.7365 t = -252.4398, 
y1 - 1.5420 t = -832.7796, 
x2 - 2.7365 t = -242.4398, 
y2 - 1.5420 t = -822.7796, 
t>= 192, t < 204, 
p = 1200,s=-1. 

Pluto() :- i = 18, 
x1 - 2.6343 t = -231.5868, 
y1 - 1.7108 t = -867.2121, 
x2 - 2.6343 t = -221.5868, 
y2 - 1.7108 t = -857.2121, 
t>= 204, t < 216, 
p = 1200,s=-1. 

Pluto() :- i = 19, 
x1 - 2.5217 t = -207.2614, 
y1 - 1.8728 t = -902.2116, 
x2 - 2.5217 t = -197.2614, 
y2 - 1.8728 t = -892.2116, 
t>= 216, t < 228, 
p = 1200,s=-1. 

Pluto() :- i = 20, 
x1 - 2.3991 t = -179.3156, 
y1 - 2.0274 t = -937.4705, 
x2 - 2.3991 t = -169.3156, 
y2 - 2.0274 t = -927.4705, 
t>= 228, t < 240, 
p = 1200,s=-1. 

Pluto() :- i = 21, 
x1 - 2.2671 t = -147.6266, 
y1 - 2.1741 t = -972.6647, 
x2 - 2.2671 t = -137.6266, 
y2 - 2.1741 t = -962.6647, 
t>= 240, t < 252, 
p = 1200,s=-1. 

Pluto() :- i = 22, 
x1 - 2.1261 t = -112.0984, 
y1 - 2.3121 t = -1007.4565, 
x2 - 2.1261 t = -102.0984, 
y2 - 2.3121 t = -997.4565, 
t>= 252, t < 264, 
p = 1200,s=-1. 

Pluto() :- i = 23, 
x1 - 1.9767 t = -72.6632, 
y1 - 2.4411 t = -1041.4960, 
x2 - 1.9767 t = -62.6632, 
y2 - 2.4411 t = -1031.4960, 
t>= 264, t < 276, 
p = 1200,s=-1. 

Pluto() :- i = 24, 
x1 - 1.8196 t = -29.2824, 
y1 - 2.5604 t = -1074.4239, 
x2 - 1.8196 t = -19.2824, 
y2 - 2.5604 t = -1064.4239, 
t>= 276, t < 288, 
p = 1200,s=-1. 

Pluto() :- i = 25, 
x1 - 1.6552 t = 18.0527, 
y1 - 2.6696 t = -1105.8732, 
x2 - 1.6552 t = 28.0527, 
y2 - 2.6696 t = -1095.8732, 
t>= 288, t < 300, 
p = 1200,s=-1. 

Pluto() :- i = 26, 
x1 - 1.4843 t = 69.3198, 
y1 - 2.7682 t = -1135.4723, 
x2 - 1.4843 t = 79.3198, 
y2 - 2.7682 t = -1125.4723, 
t>= 300, t < 312, 
p = 1200,s=-1. 

Pluto() :- i = 27, 
x1 - 1.3076 t = 124.4652, 
y1 - 2.8560 t = -1162.8468, 
x2 - 1.3076 t = 134.4652, 
y2 - 2.8560 t = -1152.8468, 
t>= 312, t < 324, 
p = 1200,s=-1. 

Pluto() :- i = 28, 
x1 - 1.1257 t = 183.4036, 
y1 - 2.9324 t = -1187.6222, 
x2 - 1.1257 t = 193.4036, 
y2 - 2.9324 t = -1177.6222, 
t>= 324, t < 336, 
p = 1200,s=-1. 

Pluto() :- i = 29, 
x1 - 0.9393 t = 246.0176, 
y1 - 2.9973 t = -1209.4267, 
x2 - 0.9393 t = 256.0176, 
y2 - 2.9973 t = -1199.4267, 
t>= 336, t < 348, 
p = 1200,s=-1. 

Pluto() :- i = 30, 
x1 - 0.7493 t = 312.1578, 
y1 - 3.0504 t = -1227.8934, 
x2 - 0.7493 t = 322.1578, 
y2 - 3.0504 t = -1217.8934, 
t>= 348, t < 360, 
p = 1200,s=-1. 

Pluto() :- i = 31, 
x1 - 0.5562 t = 381.6433, 
y1 - 3.0914 t = -1242.6630, 
x2 - 0.5562 t = 391.6433, 
y2 - 3.0914 t = -1232.6630, 
t>= 360, t < 372, 
p = 1200,s=-1. 

Pluto() :- i = 32, 
x1 - 0.3610 t = 454.2615, 
y1 - 3.1203 t = -1253.3863, 
x2 - 0.3610 t = 464.2615, 
y2 - 3.1203 t = -1243.3863, 
t>= 372, t < 384, 
p = 1200,s=-1. 

Pluto() :- i = 33, 
x1 - 0.1644 t = 529.7694, 
y1 - 3.1368 t = -1259.7269, 
x2 - 0.1644 t = 539.7694, 
y2 - 3.1368 t = -1249.7269, 
t>= 384, t < 396, 
p = 1200,s=-1. 

Pluto() :- i = 34, 
x1 + 0.0329 t = 607.8938, 
y1 - 3.1409 t = -1261.3634, 
x2 + 0.0329 t = 617.8938, 
y2 - 3.1409 t = -1251.3634, 
t>= 396, t < 408, 
p = 1200,s=-1. 

Pluto() :- i = 35, 
x1 + 0.2300 t = 688.3326, 
y1 - 3.1326 t = -1257.9920, 
x2 + 0.2300 t = 698.3326, 
y2 - 3.1326 t = -1247.9920, 
t>= 408, t < 420, 
p = 1200,s=-1. 

Pluto() :- i = 36, 
x1 + 0.4263 t = 770.7560, 
y1 - 3.1120 t = -1249.3289, 
x2 + 0.4263 t = 780.7560, 
y2 - 3.1120 t = -1239.3289, 
t>= 420, t < 432, 
p = 1200,s=-1. 

Pluto() :- i = 37, 
x1 + 0.6209 t = 854.8076, 
y1 - 3.0791 t = -1235.1127, 
x2 + 0.6209 t = 864.8076, 
y2 - 3.0791 t = -1225.1127, 
t>= 432, t < 444, 
p = 1200,s=-1. 

Pluto() :- i = 38, 
x1 + 0.8130 t = 940.1060, 
y1 - 3.0340 t = -1215.1061, 
x2 + 0.8130 t = 950.1060, 
y2 - 3.0340 t = -1205.1061, 
t>= 444, t < 456, 
p = 1200,s=-1. 

Pluto() :- i = 39, 
x1 + 1.0019 t = 1026.2467, 
y1 - 2.9770 t = -1189.0987, 
x2 + 1.0019 t = 1036.2467, 
y2 - 2.9770 t = -1179.0987, 
t>= 456, t < 468, 
p = 1200,s=-1. 

Pluto() :- i = 40, 
x1 + 1.1868 t = 1112.8039, 
y1 - 2.9082 t = -1156.9084, 
x2 + 1.1868 t = 1122.8039, 
y2 - 2.9082 t = -1146.9084, 
t>= 468, t < 480, 
p = 1200,s=-1. 

Pluto() :- i = 41, 
x1 + 1.3671 t = 1199.3322, 
y1 - 2.8280 t = -1118.3835, 
x2 + 1.3671 t = 1209.3322, 
y2 - 2.8280 t = -1108.3835, 
t>= 480, t < 492, 
p = 1200,s=-1. 

Pluto() :- i = 42, 
x1 + 1.5420 t = 1285.3693, 
y1 - 2.7365 t = -1073.4045, 
x2 + 1.5420 t = 1295.3693, 
y2 - 2.7365 t = -1063.4045, 
t>= 492, t < 504, 
p = 1200,s=-1. 

Pluto() :- i = 43, 
x1 + 1.7108 t = 1370.4377, 
y1 - 2.6343 t = -1021.8852, 
x2 + 1.7108 t = 1380.4377, 
y2 - 2.6343 t = -1011.8852, 
t>= 504, t < 516, 
p = 1200,s=-1. 

Pluto() :- i = 44, 
x1 + 1.8728 t = 1454.0478, 
y1 - 2.5217 t = -963.7747, 
x2 + 1.8728 t = 1464.0478, 
y2 - 2.5217 t = -953.7747, 
t>= 516, t < 528, 
p = 1200,s=-1. 

Pluto() :- i = 45, 
x1 + 2.0274 t = 1535.6998, 
y1 - 2.3991 t = -899.0581, 
x2 + 2.0274 t = 1545.6998, 
y2 - 2.3991 t = -889.0581, 
t>= 528, t < 540, 
p = 1200,s=-1. 

Pluto() :- i = 46, 
x1 + 2.1741 t = 1614.8869, 
y1 - 2.2671 t = -827.7578, 
x2 + 2.1741 t = 1624.8869, 
y2 - 2.2671 t = -817.7578, 
t>= 540, t < 552, 
p = 1200,s=-1. 

Pluto() :- i = 47, 
x1 + 2.3121 t = 1691.0974, 
y1 - 2.1261 t = -749.9342, 
x2 + 2.3121 t = 1701.0974, 
y2 - 2.1261 t = -739.9342, 
t>= 552, t < 564, 
p = 1200,s=-1. 

Pluto() :- i = 48, 
x1 + 2.4411 t = 1763.8183, 
y1 - 1.9767 t = -665.6863, 
x2 + 2.4411 t = 1773.8183, 
y2 - 1.9767 t = -655.6863, 
t>= 564, t < 576, 
p = 1200,s=-1. 

Pluto() :- i = 49, 
x1 + 2.5604 t = 1832.5373, 
y1 - 1.8196 t = -575.1524, 
x2 + 2.5604 t = 1842.5373, 
y2 - 1.8196 t = -565.1524, 
t>= 576, t < 588, 
p = 1200,s=-1. 

Pluto() :- i = 50, 
x1 + 2.6696 t = 1896.7464, 
y1 - 1.6552 t = -478.5099, 
x2 + 2.6696 t = 1906.7464, 
y2 - 1.6552 t = -468.5099, 
t>= 588, t < 600, 
p = 1200,s=-1. 

Pluto() :- i = 51, 
x1 + 2.7682 t = 1955.9445, 
y1 - 1.4843 t = -375.9757, 
x2 + 2.7682 t = 1965.9445, 
y2 - 1.4843 t = -365.9757, 
t>= 600, t < 612, 
p = 1200,s=-1. 

Pluto() :- i = 52, 
x1 + 2.8560 t = 2009.6406, 
y1 - 1.3076 t = -267.8058, 
x2 + 2.8560 t = 2019.6406, 
y2 - 1.3076 t = -257.8058, 
t>= 612, t < 624, 
p = 1200,s=-1. 

Pluto() :- i = 53, 
x1 + 2.9324 t = 2057.3562, 
y1 - 1.1257 t = -154.2948, 
x2 + 2.9324 t = 2067.3562, 
y2 - 1.1257 t = -144.2948, 
t>= 624, t < 636, 
p = 1200,s=-1. 

Pluto() :- i = 54, 
x1 + 2.9973 t = 2098.6290, 
y1 - 0.9393 t = -35.7755, 
x2 + 2.9973 t = 2108.6290, 
y2 - 0.9393 t = -25.7755, 
t>= 636, t < 648, 
p = 1200,s=-1. 

Pluto() :- i = 55, 
x1 + 3.0504 t = 2133.0153, 
y1 - 0.7493 t = 87.3822, 
x2 + 3.0504 t = 2143.0153, 
y2 - 0.7493 t = 97.3822, 
t>= 648, t < 660, 
p = 1200,s=-1. 

Pluto() :- i = 56, 
x1 + 3.0914 t = 2160.0929, 
y1 - 0.5562 t = 214.7721, 
x2 + 3.0914 t = 2170.0929, 
y2 - 0.5562 t = 224.7721, 
t>= 660, t < 672, 
p = 1200,s=-1. 

Pluto() :- i = 57, 
x1 + 3.1203 t = 2179.4641, 
y1 - 0.3610 t = 345.9534, 
x2 + 3.1203 t = 2189.4641, 
y2 - 0.3610 t = 355.9534, 
t>= 672, t < 684, 
p = 1200,s=-1. 

Pluto() :- i = 58, 
x1 + 3.1368 t = 2190.7582, 
y1 - 0.1644 t = 480.4518, 
x2 + 3.1368 t = 2200.7582, 
y2 - 0.1644 t = 490.4518, 
t>= 684, t < 696, 
p = 1200,s=-1. 

Pluto() :- i = 59, 
x1 + 3.1409 t = 2193.6345, 
y1 + 0.0329 t = 617.7614, 
x2 + 3.1409 t = 2203.6345, 
y2 + 0.0329 t = 627.7614, 
t>= 696, t < 708, 
p = 1200,s=-1. 

Pluto() :- i = 60, 
x1 + 3.1326 t = 2187.7841, 
y1 + 0.2300 t = 757.3465, 
x2 + 3.1326 t = 2197.7841, 
y2 + 0.2300 t = 767.3465, 
t>= 708, t < 720, 
p = 1200,s=-1. 

Pluto() :- i = 61, 
x1 + 3.1120 t = 2172.9332, 
y1 + 0.4263 t = 898.6437, 
x2 + 3.1120 t = 2182.9332, 
y2 + 0.4263 t = 908.6437, 
t>= 720, t < 732, 
p = 1200,s=-1. 

Pluto() :- i = 62, 
x1 + 3.0791 t = 2148.8446, 
y1 + 0.6209 t = 1041.0644, 
x2 + 3.0791 t = 2158.8446, 
y2 + 0.6209 t = 1051.0644, 
t>= 732, t < 744, 
p = 1200,s=-1. 

Pluto() :- i = 63, 
x1 + 3.0340 t = 2115.3201, 
y1 + 0.8130 t = 1183.9969, 
x2 + 3.0340 t = 2125.3201, 
y2 + 0.8130 t = 1193.9969, 
t>= 744, t < 756, 
p = 1200,s=-1. 

Pluto() :- i = 64, 
x1 + 2.9770 t = 2072.2025, 
y1 + 1.0019 t = 1326.8092, 
x2 + 2.9770 t = 2082.2025, 
y2 + 1.0019 t = 1336.8092, 
t>= 756, t < 768, 
p = 1200,s=-1. 

Pluto() :- i = 65, 
x1 + 2.9082 t = 2019.3774, 
y1 + 1.1868 t = 1468.8517, 
x2 + 2.9082 t = 2029.3774, 
y2 + 1.1868 t = 1478.8517, 
t>= 768, t < 780, 
p = 1200,s=-1. 

Pluto() :- i = 66, 
x1 + 2.8280 t = 1956.7745, 
y1 + 1.3671 t = 1609.4602, 
x2 + 2.8280 t = 1966.7745, 
y2 + 1.3671 t = 1619.4602, 
t>= 780, t < 792, 
p = 1200,s=-1. 

Pluto() :- i = 67, 
x1 + 2.7365 t = 1884.3692, 
y1 + 1.5420 t = 1747.9589, 
x2 + 2.7365 t = 1894.3692, 
y2 + 1.5420 t = 1757.9589, 
t>= 792, t < 804, 
p = 1200,s=-1. 

Pluto() :- i = 68, 
x1 + 2.6343 t = 1802.1837, 
y1 + 1.7108 t = 1883.6633, 
x2 + 2.6343 t = 1812.1837, 
y2 + 1.7108 t = 1893.6633, 
t>= 804, t < 816, 
p = 1200,s=-1. 

Pluto() :- i = 69, 
x1 + 2.5217 t = 1710.2880, 
y1 + 1.8728 t = 2015.8839, 
x2 + 2.5217 t = 1720.2880, 
y2 + 1.8728 t = 2025.8839, 
t>= 816, t < 828, 
p = 1200,s=-1. 

Pluto() :- i = 70, 
x1 + 2.3991 t = 1608.8006, 
y1 + 2.0274 t = 2143.9292, 
x2 + 2.3991 t = 1618.8006, 
y2 + 2.0274 t = 2153.9292, 
t>= 828, t < 840, 
p = 1200,s=-1. 

Pluto() :- i = 71, 
x1 + 2.2671 t = 1497.8890, 
y1 + 2.1741 t = 2267.1090, 
x2 + 2.2671 t = 1507.8890, 
y2 + 2.1741 t = 2277.1090, 
t>= 840, t < 852, 
p = 1200,s=-1. 

Pluto() :- i = 72, 
x1 + 2.1261 t = 1377.7699, 
y1 + 2.3121 t = 2384.7383, 
x2 + 2.1261 t = 1387.7699, 
y2 + 2.3121 t = 2394.7383, 
t>= 852, t < 864, 
p = 1200,s=-1. 

Pluto() :- i = 73, 
x1 + 1.9767 t = 1248.7094, 
y1 + 2.4411 t = 2496.1405, 
x2 + 1.9767 t = 1258.7094, 
y2 + 2.4411 t = 2506.1405, 
t>= 864, t < 876, 
p = 1200,s=-1. 

Pluto() :- i = 74, 
x1 + 1.8196 t = 1111.0223, 
y1 + 2.5604 t = 2600.6506, 
x2 + 1.8196 t = 1121.0223, 
y2 + 2.5604 t = 2610.6506, 
t>= 876, t < 888, 
p = 1200,s=-1. 

Pluto() :- i = 75, 
x1 + 1.6552 t = 965.0725, 
y1 + 2.6696 t = 2697.6195, 
x2 + 1.6552 t = 975.0725, 
y2 + 2.6696 t = 2707.6195, 
t>= 888, t < 900, 
p = 1200,s=-1. 

Pluto() :- i = 76, 
x1 + 1.4843 t = 811.2712, 
y1 + 2.7682 t = 2786.4168, 
x2 + 1.4843 t = 821.2712, 
y2 + 2.7682 t = 2796.4168, 
t>= 900, t < 912, 
p = 1200,s=-1. 

Pluto() :- i = 77, 
x1 + 1.3076 t = 650.0768, 
y1 + 2.8560 t = 2866.4344, 
x2 + 1.3076 t = 660.0768, 
y2 + 2.8560 t = 2876.4344, 
t>= 912, t < 924, 
p = 1200,s=-1. 

Pluto() :- i = 78, 
x1 + 1.1257 t = 481.9932, 
y1 + 2.9324 t = 2937.0902, 
x2 + 1.1257 t = 491.9932, 
y2 + 2.9324 t = 2947.0902, 
t>= 924, t < 936, 
p = 1200,s=-1. 

Pluto() :- i = 79, 
x1 + 0.9393 t = 307.5686, 
y1 + 2.9973 t = 2997.8314, 
x2 + 0.9393 t = 317.5686, 
y2 + 2.9973 t = 3007.8314, 
t>= 936, t < 948, 
p = 1200,s=-1. 

Pluto() :- i = 80, 
x1 + 0.7493 t = 127.3935, 
y1 + 3.0504 t = 3048.1372, 
x2 + 0.7493 t = 137.3935, 
y2 + 3.0504 t = 3058.1372, 
t>= 948, t < 960, 
p = 1200,s=-1. 

Pluto() :- i = 81, 
x1 + 0.5562 t = -57.9009, 
y1 + 3.0914 t = 3087.5228, 
x2 + 0.5562 t = -47.9009, 
y2 + 3.0914 t = 3097.5228, 
t>= 960, t < 972, 
p = 1200,s=-1. 

Pluto() :- i = 82, 
x1 + 0.3610 t = -247.6453, 
y1 + 3.1203 t = 3115.5418, 
x2 + 0.3610 t = -237.6453, 
y2 + 3.1203 t = 3125.5418, 
t>= 972, t < 984, 
p = 1200,s=-1. 

Pluto() :- i = 83, 
x1 + 0.1644 t = -441.1343, 
y1 + 3.1368 t = 3131.7896, 
x2 + 0.1644 t = -431.1343, 
y2 + 3.1368 t = 3141.7896, 
t>= 984, t < 996, 
p = 1200,s=-1. 

Pluto() :- i = 84, 
x1 - 0.0329 t = -637.6290, 
y1 + 3.1409 t = 3135.9056, 
x2 - 0.0329 t = -627.6290, 
y2 + 3.1409 t = 3145.9056, 
t>= 996, t < 1008, 
p = 1200,s=-1. 

Pluto() :- i = 85, 
x1 - 0.2300 t = -836.3603, 
y1 + 3.1326 t = 3127.5763, 
x2 - 0.2300 t = -826.3603, 
y2 + 3.1326 t = 3137.5763, 
t>= 1008, t < 1020, 
p = 1200,s=-1. 

Pluto() :- i = 86, 
x1 - 0.4263 t = -1036.5314, 
y1 + 3.1120 t = 3106.5375, 
x2 - 0.4263 t = -1026.5314, 
y2 + 3.1120 t = 3116.5375, 
t>= 1020, t < 1032, 
p = 1200,s=-1. 

Pluto() :- i = 87, 
x1 - 0.6209 t = -1237.3212, 
y1 + 3.0791 t = 3072.5765, 
x2 - 0.6209 t = -1227.3212, 
y2 + 3.0791 t = 3082.5765, 
t>= 1032, t < 1044, 
p = 1200,s=-1. 

Pluto() :- i = 88, 
x1 - 0.8130 t = -1437.8878, 
y1 + 3.0340 t = 3025.5340, 
x2 - 0.8130 t = -1427.8878, 
y2 + 3.0340 t = 3035.5340, 
t>= 1044, t < 1056, 
p = 1200,s=-1. 

Pluto() :- i = 89, 
x1 - 1.0019 t = -1637.3716, 
y1 + 2.9770 t = 2965.3064, 
x2 - 1.0019 t = -1627.3716, 
y2 + 2.9770 t = 2975.3064, 
t>= 1056, t < 1068, 
p = 1200,s=-1. 

Pluto() :- i = 90, 
x1 - 1.1868 t = -1834.8995, 
y1 + 2.9082 t = 2891.8464, 
x2 - 1.1868 t = -1824.8995, 
y2 + 2.9082 t = 2901.8464, 
t>= 1068, t < 1080, 
p = 1200,s=-1. 

Pluto() :- i = 91, 
x1 - 1.3671 t = -2029.5882, 
y1 + 2.8280 t = 2805.1655, 
x2 - 1.3671 t = -2019.5882, 
y2 + 2.8280 t = 2815.1655, 
t>= 1080, t < 1092, 
p = 1200,s=-1. 

Pluto() :- i = 92, 
x1 - 1.5420 t = -2220.5485, 
y1 + 2.7365 t = 2705.3339, 
x2 - 1.5420 t = -2210.5485, 
y2 + 2.7365 t = 2715.3339, 
t>= 1092, t < 1104, 
p = 1200,s=-1. 

Pluto() :- i = 93, 
x1 - 1.7108 t = -2406.8889, 
y1 + 2.6343 t = 2592.4822, 
x2 - 1.7108 t = -2396.8889, 
y2 + 2.6343 t = 2602.4822, 
t>= 1104, t < 1116, 
p = 1200,s=-1. 

Pluto() :- i = 94, 
x1 - 1.8728 t = -2587.7200, 
y1 + 2.5217 t = 2466.8013, 
x2 - 1.8728 t = -2577.7200, 
y2 + 2.5217 t = 2476.8013, 
t>= 1116, t < 1128, 
p = 1200,s=-1. 

Pluto() :- i = 95, 
x1 - 2.0274 t = -2762.1585, 
y1 + 2.3991 t = 2328.5432, 
x2 - 2.0274 t = -2752.1585, 
y2 + 2.3991 t = 2338.5432, 
t>= 1128, t < 1140, 
p = 1200,s=-1. 

Pluto() :- i = 96, 
x1 - 2.1741 t = -2929.3311, 
y1 + 2.2671 t = 2178.0203, 
x2 - 2.1741 t = -2919.3311, 
y2 + 2.2671 t = 2188.0203, 
t>= 1140, t < 1152, 
p = 1200,s=-1. 

Pluto() :- i = 97, 
x1 - 2.3121 t = -3088.3792, 
y1 + 2.1261 t = 2015.6057, 
x2 - 2.3121 t = -3078.3792, 
y2 + 2.1261 t = 2025.6057, 
t>= 1152, t < 1164, 
p = 1200,s=-1. 

Pluto() :- i = 98, 
x1 - 2.4411 t = -3238.4627, 
y1 + 1.9767 t = 1841.7325, 
x2 - 2.4411 t = -3228.4627, 
y2 + 1.9767 t = 1851.7325, 
t>= 1164, t < 1176, 
p = 1200,s=-1. 

Pluto() :- i = 99, 
x1 - 2.5604 t = -3378.7640, 
y1 + 1.8196 t = 1656.8924, 
x2 - 2.5604 t = -3368.7640, 
y2 + 1.8196 t = 1666.8924, 
t>= 1176, t < 1188, 
p = 1200,s=-1. 

Pluto() :- i = 100, 
x1 - 2.6696 t = -3508.4926, 
y1 + 1.6552 t = 1461.6351, 
x2 - 2.6696 t = -3498.4926, 
y2 + 1.6552 t = 1471.6351, 
t>= 1188, t < 1200, 
p = 1200,s=-1. 

end %STDB%
