(define (problem strips-sat-x-1)
(:domain satellite)
(:objects
	satellite0 - satellite
	instrument0 - instrument
	instrument1 - instrument
	satellite1 - satellite
	instrument2 - instrument
	satellite2 - satellite
	instrument3 - instrument
	instrument4 - instrument
	satellite3 - satellite
	instrument5 - instrument
	satellite4 - satellite
	instrument6 - instrument
	instrument7 - instrument
	instrument8 - instrument
	image4 - mode
	thermograph1 - mode
	thermograph0 - mode
	thermograph2 - mode
	image3 - mode
	GroundStation2 - direction
	Star1 - direction
	Star4 - direction
	Star0 - direction
	GroundStation3 - direction
	Phenomenon5 - direction
	Planet6 - direction
	Planet7 - direction
	Planet8 - direction
	Planet9 - direction
	Planet10 - direction
	Planet11 - direction
	Phenomenon12 - direction
	Planet13 - direction
	Star14 - direction
	Planet15 - direction
	Planet16 - direction
	Planet17 - direction
	Phenomenon18 - direction
	Star19 - direction
	Planet20 - direction
	Star21 - direction
	Star22 - direction
	Planet23 - direction
	Planet24 - direction
	Planet25 - direction
	Star26 - direction
	Phenomenon27 - direction
	Planet28 - direction
	Planet29 - direction
)
(:init
	(supports instrument0 image4)
	(calibration_target instrument0 GroundStation3)
	(= (calibration_time instrument0 GroundStation3) 83.1)
	(supports instrument1 thermograph1)
	(supports instrument1 image4)
	(calibration_target instrument1 GroundStation3)
	(= (calibration_time instrument1 GroundStation3) 37.9)
	(on_board instrument0 satellite0)
	(on_board instrument1 satellite0)
	(power_avail satellite0)
	(pointing satellite0 Star19)
	(supports instrument2 thermograph0)
	(supports instrument2 image4)
	(supports instrument2 thermograph2)
	(calibration_target instrument2 GroundStation3)
	(= (calibration_time instrument2 GroundStation3) 14.6)
	(on_board instrument2 satellite1)
	(power_avail satellite1)
	(pointing satellite1 Planet17)
	(supports instrument3 image4)
	(supports instrument3 image3)
	(calibration_target instrument3 Star1)
	(= (calibration_time instrument3 Star1) 57.5)
	(supports instrument4 image3)
	(calibration_target instrument4 GroundStation3)
	(= (calibration_time instrument4 GroundStation3) 6.43)
	(on_board instrument3 satellite2)
	(on_board instrument4 satellite2)
	(power_avail satellite2)
	(pointing satellite2 Planet7)
	(supports instrument5 thermograph1)
	(supports instrument5 image4)
	(calibration_target instrument5 GroundStation3)
	(= (calibration_time instrument5 GroundStation3) 69.7)
	(on_board instrument5 satellite3)
	(power_avail satellite3)
	(pointing satellite3 Star4)
	(supports instrument6 image3)
	(supports instrument6 thermograph1)
	(supports instrument6 thermograph0)
	(calibration_target instrument6 Star4)
	(= (calibration_time instrument6 Star4) 66.2)
	(supports instrument7 thermograph2)
	(supports instrument7 thermograph0)
	(calibration_target instrument7 Star0)
	(= (calibration_time instrument7 Star0) 83.6)
	(supports instrument8 image3)
	(supports instrument8 thermograph2)
	(calibration_target instrument8 GroundStation3)
	(= (calibration_time instrument8 GroundStation3) 18.4)
	(on_board instrument6 satellite4)
	(on_board instrument7 satellite4)
	(on_board instrument8 satellite4)
	(power_avail satellite4)
	(pointing satellite4 Phenomenon5)
	(= (slew_time GroundStation2 Star0) 56.02)
	(= (slew_time Star0 GroundStation2) 56.02)
	(= (slew_time GroundStation2 Star1) 79.4)
	(= (slew_time Star1 GroundStation2) 79.4)
	(= (slew_time Star1 Star0) 12.53)
	(= (slew_time Star0 Star1) 12.53)
	(= (slew_time Star4 Star0) 12.2)
	(= (slew_time Star0 Star4) 12.2)
	(= (slew_time Star4 Star1) 38.8)
	(= (slew_time Star1 Star4) 38.8)
	(= (slew_time Star4 GroundStation2) 77.93)
	(= (slew_time GroundStation2 Star4) 77.93)
	(= (slew_time Star4 GroundStation3) 70.58)
	(= (slew_time GroundStation3 Star4) 70.58)
	(= (slew_time GroundStation3 Star0) 1.131)
	(= (slew_time Star0 GroundStation3) 1.131)
	(= (slew_time GroundStation3 Star1) 50.89)
	(= (slew_time Star1 GroundStation3) 50.89)
	(= (slew_time GroundStation3 GroundStation2) 36.52)
	(= (slew_time GroundStation2 GroundStation3) 36.52)
	(= (slew_time Phenomenon5 Star0) 73.72)
	(= (slew_time Star0 Phenomenon5) 73.72)
	(= (slew_time Phenomenon5 Star1) 71.95)
	(= (slew_time Star1 Phenomenon5) 71.95)
	(= (slew_time Phenomenon5 GroundStation2) 49.17)
	(= (slew_time GroundStation2 Phenomenon5) 49.17)
	(= (slew_time Phenomenon5 GroundStation3) 36.39)
	(= (slew_time GroundStation3 Phenomenon5) 36.39)
	(= (slew_time Phenomenon5 Star4) 65.72)
	(= (slew_time Star4 Phenomenon5) 65.72)
	(= (slew_time Planet6 Star0) 6.868)
	(= (slew_time Star0 Planet6) 6.868)
	(= (slew_time Planet6 Star1) 25.46)
	(= (slew_time Star1 Planet6) 25.46)
	(= (slew_time Planet6 GroundStation2) 19.83)
	(= (slew_time GroundStation2 Planet6) 19.83)
	(= (slew_time Planet6 GroundStation3) 24.69)
	(= (slew_time GroundStation3 Planet6) 24.69)
	(= (slew_time Planet6 Star4) 35.34)
	(= (slew_time Star4 Planet6) 35.34)
	(= (slew_time Planet6 Phenomenon5) 0.2822)
	(= (slew_time Phenomenon5 Planet6) 0.2822)
	(= (slew_time Planet7 Star0) 47.72)
	(= (slew_time Star0 Planet7) 47.72)
	(= (slew_time Planet7 Star1) 38.28)
	(= (slew_time Star1 Planet7) 38.28)
	(= (slew_time Planet7 GroundStation2) 37.41)
	(= (slew_time GroundStation2 Planet7) 37.41)
	(= (slew_time Planet7 GroundStation3) 65.35)
	(= (slew_time GroundStation3 Planet7) 65.35)
	(= (slew_time Planet7 Star4) 73.23)
	(= (slew_time Star4 Planet7) 73.23)
	(= (slew_time Planet7 Phenomenon5) 12.85)
	(= (slew_time Phenomenon5 Planet7) 12.85)
	(= (slew_time Planet7 Planet6) 20.69)
	(= (slew_time Planet6 Planet7) 20.69)
	(= (slew_time Planet8 Star0) 50.94)
	(= (slew_time Star0 Planet8) 50.94)
	(= (slew_time Planet8 Star1) 15.32)
	(= (slew_time Star1 Planet8) 15.32)
	(= (slew_time Planet8 GroundStation2) 44.36)
	(= (slew_time GroundStation2 Planet8) 44.36)
	(= (slew_time Planet8 GroundStation3) 69.16)
	(= (slew_time GroundStation3 Planet8) 69.16)
	(= (slew_time Planet8 Star4) 61.55)
	(= (slew_time Star4 Planet8) 61.55)
	(= (slew_time Planet8 Phenomenon5) 23.04)
	(= (slew_time Phenomenon5 Planet8) 23.04)
	(= (slew_time Planet8 Planet6) 40.75)
	(= (slew_time Planet6 Planet8) 40.75)
	(= (slew_time Planet8 Planet7) 13.72)
	(= (slew_time Planet7 Planet8) 13.72)
	(= (slew_time Planet9 Star0) 4.289)
	(= (slew_time Star0 Planet9) 4.289)
	(= (slew_time Planet9 Star1) 26.8)
	(= (slew_time Star1 Planet9) 26.8)
	(= (slew_time Planet9 GroundStation2) 34.17)
	(= (slew_time GroundStation2 Planet9) 34.17)
	(= (slew_time Planet9 GroundStation3) 48.74)
	(= (slew_time GroundStation3 Planet9) 48.74)
	(= (slew_time Planet9 Star4) 7.96)
	(= (slew_time Star4 Planet9) 7.96)
	(= (slew_time Planet9 Phenomenon5) 20.14)
	(= (slew_time Phenomenon5 Planet9) 20.14)
	(= (slew_time Planet9 Planet6) 38.78)
	(= (slew_time Planet6 Planet9) 38.78)
	(= (slew_time Planet9 Planet7) 21.23)
	(= (slew_time Planet7 Planet9) 21.23)
	(= (slew_time Planet9 Planet8) 12.34)
	(= (slew_time Planet8 Planet9) 12.34)
	(= (slew_time Planet10 Star0) 46.47)
	(= (slew_time Star0 Planet10) 46.47)
	(= (slew_time Planet10 Star1) 10.4)
	(= (slew_time Star1 Planet10) 10.4)
	(= (slew_time Planet10 GroundStation2) 59.03)
	(= (slew_time GroundStation2 Planet10) 59.03)
	(= (slew_time Planet10 GroundStation3) 20.37)
	(= (slew_time GroundStation3 Planet10) 20.37)
	(= (slew_time Planet10 Star4) 35.54)
	(= (slew_time Star4 Planet10) 35.54)
	(= (slew_time Planet10 Phenomenon5) 12.49)
	(= (slew_time Phenomenon5 Planet10) 12.49)
	(= (slew_time Planet10 Planet6) 10.87)
	(= (slew_time Planet6 Planet10) 10.87)
	(= (slew_time Planet10 Planet7) 79.82)
	(= (slew_time Planet7 Planet10) 79.82)
	(= (slew_time Planet10 Planet8) 34.23)
	(= (slew_time Planet8 Planet10) 34.23)
	(= (slew_time Planet10 Planet9) 6.874)
	(= (slew_time Planet9 Planet10) 6.874)
	(= (slew_time Planet11 Star0) 66.84)
	(= (slew_time Star0 Planet11) 66.84)
	(= (slew_time Planet11 Star1) 52.09)
	(= (slew_time Star1 Planet11) 52.09)
	(= (slew_time Planet11 GroundStation2) 72.59)
	(= (slew_time GroundStation2 Planet11) 72.59)
	(= (slew_time Planet11 GroundStation3) 55.5)
	(= (slew_time GroundStation3 Planet11) 55.5)
	(= (slew_time Planet11 Star4) 84.56)
	(= (slew_time Star4 Planet11) 84.56)
	(= (slew_time Planet11 Phenomenon5) 64.33)
	(= (slew_time Phenomenon5 Planet11) 64.33)
	(= (slew_time Planet11 Planet6) 29.22)
	(= (slew_time Planet6 Planet11) 29.22)
	(= (slew_time Planet11 Planet7) 1.651)
	(= (slew_time Planet7 Planet11) 1.651)
	(= (slew_time Planet11 Planet8) 15.45)
	(= (slew_time Planet8 Planet11) 15.45)
	(= (slew_time Planet11 Planet9) 0.4548)
	(= (slew_time Planet9 Planet11) 0.4548)
	(= (slew_time Planet11 Planet10) 33.32)
	(= (slew_time Planet10 Planet11) 33.32)
	(= (slew_time Phenomenon12 Star0) 72.56)
	(= (slew_time Star0 Phenomenon12) 72.56)
	(= (slew_time Phenomenon12 Star1) 52.75)
	(= (slew_time Star1 Phenomenon12) 52.75)
	(= (slew_time Phenomenon12 GroundStation2) 46.51)
	(= (slew_time GroundStation2 Phenomenon12) 46.51)
	(= (slew_time Phenomenon12 GroundStation3) 79.41)
	(= (slew_time GroundStation3 Phenomenon12) 79.41)
	(= (slew_time Phenomenon12 Star4) 57.77)
	(= (slew_time Star4 Phenomenon12) 57.77)
	(= (slew_time Phenomenon12 Phenomenon5) 39.62)
	(= (slew_time Phenomenon5 Phenomenon12) 39.62)
	(= (slew_time Phenomenon12 Planet6) 25.37)
	(= (slew_time Planet6 Phenomenon12) 25.37)
	(= (slew_time Phenomenon12 Planet7) 28.06)
	(= (slew_time Planet7 Phenomenon12) 28.06)
	(= (slew_time Phenomenon12 Planet8) 11.46)
	(= (slew_time Planet8 Phenomenon12) 11.46)
	(= (slew_time Phenomenon12 Planet9) 58.68)
	(= (slew_time Planet9 Phenomenon12) 58.68)
	(= (slew_time Phenomenon12 Planet10) 12.17)
	(= (slew_time Planet10 Phenomenon12) 12.17)
	(= (slew_time Phenomenon12 Planet11) 63.32)
	(= (slew_time Planet11 Phenomenon12) 63.32)
	(= (slew_time Planet13 Star0) 8.846)
	(= (slew_time Star0 Planet13) 8.846)
	(= (slew_time Planet13 Star1) 27.92)
	(= (slew_time Star1 Planet13) 27.92)
	(= (slew_time Planet13 GroundStation2) 3.342)
	(= (slew_time GroundStation2 Planet13) 3.342)
	(= (slew_time Planet13 GroundStation3) 8.751)
	(= (slew_time GroundStation3 Planet13) 8.751)
	(= (slew_time Planet13 Star4) 57.17)
	(= (slew_time Star4 Planet13) 57.17)
	(= (slew_time Planet13 Phenomenon5) 18.16)
	(= (slew_time Phenomenon5 Planet13) 18.16)
	(= (slew_time Planet13 Planet6) 66.51)
	(= (slew_time Planet6 Planet13) 66.51)
	(= (slew_time Planet13 Planet7) 35.37)
	(= (slew_time Planet7 Planet13) 35.37)
	(= (slew_time Planet13 Planet8) 35.99)
	(= (slew_time Planet8 Planet13) 35.99)
	(= (slew_time Planet13 Planet9) 8.844)
	(= (slew_time Planet9 Planet13) 8.844)
	(= (slew_time Planet13 Planet10) 0.7104)
	(= (slew_time Planet10 Planet13) 0.7104)
	(= (slew_time Planet13 Planet11) 47.29)
	(= (slew_time Planet11 Planet13) 47.29)
	(= (slew_time Planet13 Phenomenon12) 3.216)
	(= (slew_time Phenomenon12 Planet13) 3.216)
	(= (slew_time Star14 Star0) 45.46)
	(= (slew_time Star0 Star14) 45.46)
	(= (slew_time Star14 Star1) 51.63)
	(= (slew_time Star1 Star14) 51.63)
	(= (slew_time Star14 GroundStation2) 14.45)
	(= (slew_time GroundStation2 Star14) 14.45)
	(= (slew_time Star14 GroundStation3) 43.57)
	(= (slew_time GroundStation3 Star14) 43.57)
	(= (slew_time Star14 Star4) 46.66)
	(= (slew_time Star4 Star14) 46.66)
	(= (slew_time Star14 Phenomenon5) 3.356)
	(= (slew_time Phenomenon5 Star14) 3.356)
	(= (slew_time Star14 Planet6) 69.72)
	(= (slew_time Planet6 Star14) 69.72)
	(= (slew_time Star14 Planet7) 16.8)
	(= (slew_time Planet7 Star14) 16.8)
	(= (slew_time Star14 Planet8) 61.38)
	(= (slew_time Planet8 Star14) 61.38)
	(= (slew_time Star14 Planet9) 78.2)
	(= (slew_time Planet9 Star14) 78.2)
	(= (slew_time Star14 Planet10) 16.56)
	(= (slew_time Planet10 Star14) 16.56)
	(= (slew_time Star14 Planet11) 28.07)
	(= (slew_time Planet11 Star14) 28.07)
	(= (slew_time Star14 Phenomenon12) 5.785)
	(= (slew_time Phenomenon12 Star14) 5.785)
	(= (slew_time Star14 Planet13) 16.14)
	(= (slew_time Planet13 Star14) 16.14)
	(= (slew_time Planet15 Star0) 7.551)
	(= (slew_time Star0 Planet15) 7.551)
	(= (slew_time Planet15 Star1) 4.515)
	(= (slew_time Star1 Planet15) 4.515)
	(= (slew_time Planet15 GroundStation2) 28.54)
	(= (slew_time GroundStation2 Planet15) 28.54)
	(= (slew_time Planet15 GroundStation3) 4.102)
	(= (slew_time GroundStation3 Planet15) 4.102)
	(= (slew_time Planet15 Star4) 46.95)
	(= (slew_time Star4 Planet15) 46.95)
	(= (slew_time Planet15 Phenomenon5) 49.41)
	(= (slew_time Phenomenon5 Planet15) 49.41)
	(= (slew_time Planet15 Planet6) 13.21)
	(= (slew_time Planet6 Planet15) 13.21)
	(= (slew_time Planet15 Planet7) 10.61)
	(= (slew_time Planet7 Planet15) 10.61)
	(= (slew_time Planet15 Planet8) 43.76)
	(= (slew_time Planet8 Planet15) 43.76)
	(= (slew_time Planet15 Planet9) 89.04)
	(= (slew_time Planet9 Planet15) 89.04)
	(= (slew_time Planet15 Planet10) 18.82)
	(= (slew_time Planet10 Planet15) 18.82)
	(= (slew_time Planet15 Planet11) 12.03)
	(= (slew_time Planet11 Planet15) 12.03)
	(= (slew_time Planet15 Phenomenon12) 14.78)
	(= (slew_time Phenomenon12 Planet15) 14.78)
	(= (slew_time Planet15 Planet13) 78.1)
	(= (slew_time Planet13 Planet15) 78.1)
	(= (slew_time Planet15 Star14) 54.19)
	(= (slew_time Star14 Planet15) 54.19)
	(= (slew_time Planet16 Star0) 1.05)
	(= (slew_time Star0 Planet16) 1.05)
	(= (slew_time Planet16 Star1) 7.234)
	(= (slew_time Star1 Planet16) 7.234)
	(= (slew_time Planet16 GroundStation2) 12.1)
	(= (slew_time GroundStation2 Planet16) 12.1)
	(= (slew_time Planet16 GroundStation3) 36.73)
	(= (slew_time GroundStation3 Planet16) 36.73)
	(= (slew_time Planet16 Star4) 33.31)
	(= (slew_time Star4 Planet16) 33.31)
	(= (slew_time Planet16 Phenomenon5) 39.81)
	(= (slew_time Phenomenon5 Planet16) 39.81)
	(= (slew_time Planet16 Planet6) 9.491)
	(= (slew_time Planet6 Planet16) 9.491)
	(= (slew_time Planet16 Planet7) 5.061)
	(= (slew_time Planet7 Planet16) 5.061)
	(= (slew_time Planet16 Planet8) 3.299)
	(= (slew_time Planet8 Planet16) 3.299)
	(= (slew_time Planet16 Planet9) 2.871)
	(= (slew_time Planet9 Planet16) 2.871)
	(= (slew_time Planet16 Planet10) 60.65)
	(= (slew_time Planet10 Planet16) 60.65)
	(= (slew_time Planet16 Planet11) 26.5)
	(= (slew_time Planet11 Planet16) 26.5)
	(= (slew_time Planet16 Phenomenon12) 85.93)
	(= (slew_time Phenomenon12 Planet16) 85.93)
	(= (slew_time Planet16 Planet13) 63.35)
	(= (slew_time Planet13 Planet16) 63.35)
	(= (slew_time Planet16 Star14) 52.66)
	(= (slew_time Star14 Planet16) 52.66)
	(= (slew_time Planet16 Planet15) 9.206)
	(= (slew_time Planet15 Planet16) 9.206)
	(= (slew_time Planet17 Star0) 29.76)
	(= (slew_time Star0 Planet17) 29.76)
	(= (slew_time Planet17 Star1) 28.65)
	(= (slew_time Star1 Planet17) 28.65)
	(= (slew_time Planet17 GroundStation2) 10.44)
	(= (slew_time GroundStation2 Planet17) 10.44)
	(= (slew_time Planet17 GroundStation3) 51.14)
	(= (slew_time GroundStation3 Planet17) 51.14)
	(= (slew_time Planet17 Star4) 1.005)
	(= (slew_time Star4 Planet17) 1.005)
	(= (slew_time Planet17 Phenomenon5) 14.06)
	(= (slew_time Phenomenon5 Planet17) 14.06)
	(= (slew_time Planet17 Planet6) 78.53)
	(= (slew_time Planet6 Planet17) 78.53)
	(= (slew_time Planet17 Planet7) 95.27)
	(= (slew_time Planet7 Planet17) 95.27)
	(= (slew_time Planet17 Planet8) 48.2)
	(= (slew_time Planet8 Planet17) 48.2)
	(= (slew_time Planet17 Planet9) 21.22)
	(= (slew_time Planet9 Planet17) 21.22)
	(= (slew_time Planet17 Planet10) 19.03)
	(= (slew_time Planet10 Planet17) 19.03)
	(= (slew_time Planet17 Planet11) 20.88)
	(= (slew_time Planet11 Planet17) 20.88)
	(= (slew_time Planet17 Phenomenon12) 60.07)
	(= (slew_time Phenomenon12 Planet17) 60.07)
	(= (slew_time Planet17 Planet13) 38.02)
	(= (slew_time Planet13 Planet17) 38.02)
	(= (slew_time Planet17 Star14) 28.06)
	(= (slew_time Star14 Planet17) 28.06)
	(= (slew_time Planet17 Planet15) 70.08)
	(= (slew_time Planet15 Planet17) 70.08)
	(= (slew_time Planet17 Planet16) 20.29)
	(= (slew_time Planet16 Planet17) 20.29)
	(= (slew_time Phenomenon18 Star0) 17.13)
	(= (slew_time Star0 Phenomenon18) 17.13)
	(= (slew_time Phenomenon18 Star1) 0.9983)
	(= (slew_time Star1 Phenomenon18) 0.9983)
	(= (slew_time Phenomenon18 GroundStation2) 65.56)
	(= (slew_time GroundStation2 Phenomenon18) 65.56)
	(= (slew_time Phenomenon18 GroundStation3) 22.03)
	(= (slew_time GroundStation3 Phenomenon18) 22.03)
	(= (slew_time Phenomenon18 Star4) 51.74)
	(= (slew_time Star4 Phenomenon18) 51.74)
	(= (slew_time Phenomenon18 Phenomenon5) 27.2)
	(= (slew_time Phenomenon5 Phenomenon18) 27.2)
	(= (slew_time Phenomenon18 Planet6) 14.58)
	(= (slew_time Planet6 Phenomenon18) 14.58)
	(= (slew_time Phenomenon18 Planet7) 3.339)
	(= (slew_time Planet7 Phenomenon18) 3.339)
	(= (slew_time Phenomenon18 Planet8) 18.86)
	(= (slew_time Planet8 Phenomenon18) 18.86)
	(= (slew_time Phenomenon18 Planet9) 35.59)
	(= (slew_time Planet9 Phenomenon18) 35.59)
	(= (slew_time Phenomenon18 Planet10) 50.7)
	(= (slew_time Planet10 Phenomenon18) 50.7)
	(= (slew_time Phenomenon18 Planet11) 32.39)
	(= (slew_time Planet11 Phenomenon18) 32.39)
	(= (slew_time Phenomenon18 Phenomenon12) 63.07)
	(= (slew_time Phenomenon12 Phenomenon18) 63.07)
	(= (slew_time Phenomenon18 Planet13) 43.71)
	(= (slew_time Planet13 Phenomenon18) 43.71)
	(= (slew_time Phenomenon18 Star14) 28.74)
	(= (slew_time Star14 Phenomenon18) 28.74)
	(= (slew_time Phenomenon18 Planet15) 34.81)
	(= (slew_time Planet15 Phenomenon18) 34.81)
	(= (slew_time Phenomenon18 Planet16) 43.9)
	(= (slew_time Planet16 Phenomenon18) 43.9)
	(= (slew_time Phenomenon18 Planet17) 10.88)
	(= (slew_time Planet17 Phenomenon18) 10.88)
	(= (slew_time Star19 Star0) 12.35)
	(= (slew_time Star0 Star19) 12.35)
	(= (slew_time Star19 Star1) 2.191)
	(= (slew_time Star1 Star19) 2.191)
	(= (slew_time Star19 GroundStation2) 18.66)
	(= (slew_time GroundStation2 Star19) 18.66)
	(= (slew_time Star19 GroundStation3) 9.341)
	(= (slew_time GroundStation3 Star19) 9.341)
	(= (slew_time Star19 Star4) 17.43)
	(= (slew_time Star4 Star19) 17.43)
	(= (slew_time Star19 Phenomenon5) 52.58)
	(= (slew_time Phenomenon5 Star19) 52.58)
	(= (slew_time Star19 Planet6) 6.475)
	(= (slew_time Planet6 Star19) 6.475)
	(= (slew_time Star19 Planet7) 20.75)
	(= (slew_time Planet7 Star19) 20.75)
	(= (slew_time Star19 Planet8) 72.07)
	(= (slew_time Planet8 Star19) 72.07)
	(= (slew_time Star19 Planet9) 8.044)
	(= (slew_time Planet9 Star19) 8.044)
	(= (slew_time Star19 Planet10) 14.23)
	(= (slew_time Planet10 Star19) 14.23)
	(= (slew_time Star19 Planet11) 66.32)
	(= (slew_time Planet11 Star19) 66.32)
	(= (slew_time Star19 Phenomenon12) 71.04)
	(= (slew_time Phenomenon12 Star19) 71.04)
	(= (slew_time Star19 Planet13) 8.954)
	(= (slew_time Planet13 Star19) 8.954)
	(= (slew_time Star19 Star14) 13.63)
	(= (slew_time Star14 Star19) 13.63)
	(= (slew_time Star19 Planet15) 3.948)
	(= (slew_time Planet15 Star19) 3.948)
	(= (slew_time Star19 Planet16) 17.05)
	(= (slew_time Planet16 Star19) 17.05)
	(= (slew_time Star19 Planet17) 40.08)
	(= (slew_time Planet17 Star19) 40.08)
	(= (slew_time Star19 Phenomenon18) 8.826)
	(= (slew_time Phenomenon18 Star19) 8.826)
	(= (slew_time Planet20 Star0) 12.31)
	(= (slew_time Star0 Planet20) 12.31)
	(= (slew_time Planet20 Star1) 1.884)
	(= (slew_time Star1 Planet20) 1.884)
	(= (slew_time Planet20 GroundStation2) 22.3)
	(= (slew_time GroundStation2 Planet20) 22.3)
	(= (slew_time Planet20 GroundStation3) 15.75)
	(= (slew_time GroundStation3 Planet20) 15.75)
	(= (slew_time Planet20 Star4) 44.47)
	(= (slew_time Star4 Planet20) 44.47)
	(= (slew_time Planet20 Phenomenon5) 5.876)
	(= (slew_time Phenomenon5 Planet20) 5.876)
	(= (slew_time Planet20 Planet6) 47.99)
	(= (slew_time Planet6 Planet20) 47.99)
	(= (slew_time Planet20 Planet7) 42.38)
	(= (slew_time Planet7 Planet20) 42.38)
	(= (slew_time Planet20 Planet8) 82.47)
	(= (slew_time Planet8 Planet20) 82.47)
	(= (slew_time Planet20 Planet9) 13.22)
	(= (slew_time Planet9 Planet20) 13.22)
	(= (slew_time Planet20 Planet10) 39.69)
	(= (slew_time Planet10 Planet20) 39.69)
	(= (slew_time Planet20 Planet11) 5.09)
	(= (slew_time Planet11 Planet20) 5.09)
	(= (slew_time Planet20 Phenomenon12) 1.935)
	(= (slew_time Phenomenon12 Planet20) 1.935)
	(= (slew_time Planet20 Planet13) 7.395)
	(= (slew_time Planet13 Planet20) 7.395)
	(= (slew_time Planet20 Star14) 78.7)
	(= (slew_time Star14 Planet20) 78.7)
	(= (slew_time Planet20 Planet15) 17.94)
	(= (slew_time Planet15 Planet20) 17.94)
	(= (slew_time Planet20 Planet16) 9.211)
	(= (slew_time Planet16 Planet20) 9.211)
	(= (slew_time Planet20 Planet17) 58.43)
	(= (slew_time Planet17 Planet20) 58.43)
	(= (slew_time Planet20 Phenomenon18) 0.548)
	(= (slew_time Phenomenon18 Planet20) 0.548)
	(= (slew_time Planet20 Star19) 10.01)
	(= (slew_time Star19 Planet20) 10.01)
	(= (slew_time Star21 Star0) 31.08)
	(= (slew_time Star0 Star21) 31.08)
	(= (slew_time Star21 Star1) 25.09)
	(= (slew_time Star1 Star21) 25.09)
	(= (slew_time Star21 GroundStation2) 7.767)
	(= (slew_time GroundStation2 Star21) 7.767)
	(= (slew_time Star21 GroundStation3) 15.49)
	(= (slew_time GroundStation3 Star21) 15.49)
	(= (slew_time Star21 Star4) 80.77)
	(= (slew_time Star4 Star21) 80.77)
	(= (slew_time Star21 Phenomenon5) 9.384)
	(= (slew_time Phenomenon5 Star21) 9.384)
	(= (slew_time Star21 Planet6) 38.71)
	(= (slew_time Planet6 Star21) 38.71)
	(= (slew_time Star21 Planet7) 35.73)
	(= (slew_time Planet7 Star21) 35.73)
	(= (slew_time Star21 Planet8) 58.03)
	(= (slew_time Planet8 Star21) 58.03)
	(= (slew_time Star21 Planet9) 77.89)
	(= (slew_time Planet9 Star21) 77.89)
	(= (slew_time Star21 Planet10) 12.62)
	(= (slew_time Planet10 Star21) 12.62)
	(= (slew_time Star21 Planet11) 55.23)
	(= (slew_time Planet11 Star21) 55.23)
	(= (slew_time Star21 Phenomenon12) 71.52)
	(= (slew_time Phenomenon12 Star21) 71.52)
	(= (slew_time Star21 Planet13) 46.26)
	(= (slew_time Planet13 Star21) 46.26)
	(= (slew_time Star21 Star14) 27.2)
	(= (slew_time Star14 Star21) 27.2)
	(= (slew_time Star21 Planet15) 49.23)
	(= (slew_time Planet15 Star21) 49.23)
	(= (slew_time Star21 Planet16) 8.884)
	(= (slew_time Planet16 Star21) 8.884)
	(= (slew_time Star21 Planet17) 28.16)
	(= (slew_time Planet17 Star21) 28.16)
	(= (slew_time Star21 Phenomenon18) 49.24)
	(= (slew_time Phenomenon18 Star21) 49.24)
	(= (slew_time Star21 Star19) 31.8)
	(= (slew_time Star19 Star21) 31.8)
	(= (slew_time Star21 Planet20) 30.69)
	(= (slew_time Planet20 Star21) 30.69)
	(= (slew_time Star22 Star0) 27.53)
	(= (slew_time Star0 Star22) 27.53)
	(= (slew_time Star22 Star1) 6.564)
	(= (slew_time Star1 Star22) 6.564)
	(= (slew_time Star22 GroundStation2) 9.679)
	(= (slew_time GroundStation2 Star22) 9.679)
	(= (slew_time Star22 GroundStation3) 29.47)
	(= (slew_time GroundStation3 Star22) 29.47)
	(= (slew_time Star22 Star4) 29.98)
	(= (slew_time Star4 Star22) 29.98)
	(= (slew_time Star22 Phenomenon5) 74.19)
	(= (slew_time Phenomenon5 Star22) 74.19)
	(= (slew_time Star22 Planet6) 60.1)
	(= (slew_time Planet6 Star22) 60.1)
	(= (slew_time Star22 Planet7) 60.09)
	(= (slew_time Planet7 Star22) 60.09)
	(= (slew_time Star22 Planet8) 50.9)
	(= (slew_time Planet8 Star22) 50.9)
	(= (slew_time Star22 Planet9) 6.978)
	(= (slew_time Planet9 Star22) 6.978)
	(= (slew_time Star22 Planet10) 21.89)
	(= (slew_time Planet10 Star22) 21.89)
	(= (slew_time Star22 Planet11) 62.55)
	(= (slew_time Planet11 Star22) 62.55)
	(= (slew_time Star22 Phenomenon12) 75.79)
	(= (slew_time Phenomenon12 Star22) 75.79)
	(= (slew_time Star22 Planet13) 39.42)
	(= (slew_time Planet13 Star22) 39.42)
	(= (slew_time Star22 Star14) 44.62)
	(= (slew_time Star14 Star22) 44.62)
	(= (slew_time Star22 Planet15) 10.67)
	(= (slew_time Planet15 Star22) 10.67)
	(= (slew_time Star22 Planet16) 67.84)
	(= (slew_time Planet16 Star22) 67.84)
	(= (slew_time Star22 Planet17) 3.59)
	(= (slew_time Planet17 Star22) 3.59)
	(= (slew_time Star22 Phenomenon18) 14.46)
	(= (slew_time Phenomenon18 Star22) 14.46)
	(= (slew_time Star22 Star19) 47.44)
	(= (slew_time Star19 Star22) 47.44)
	(= (slew_time Star22 Planet20) 15.72)
	(= (slew_time Planet20 Star22) 15.72)
	(= (slew_time Star22 Star21) 3.778)
	(= (slew_time Star21 Star22) 3.778)
	(= (slew_time Planet23 Star0) 50.69)
	(= (slew_time Star0 Planet23) 50.69)
	(= (slew_time Planet23 Star1) 8.619)
	(= (slew_time Star1 Planet23) 8.619)
	(= (slew_time Planet23 GroundStation2) 1.084)
	(= (slew_time GroundStation2 Planet23) 1.084)
	(= (slew_time Planet23 GroundStation3) 23.64)
	(= (slew_time GroundStation3 Planet23) 23.64)
	(= (slew_time Planet23 Star4) 21.38)
	(= (slew_time Star4 Planet23) 21.38)
	(= (slew_time Planet23 Phenomenon5) 46.61)
	(= (slew_time Phenomenon5 Planet23) 46.61)
	(= (slew_time Planet23 Planet6) 7.801)
	(= (slew_time Planet6 Planet23) 7.801)
	(= (slew_time Planet23 Planet7) 10.31)
	(= (slew_time Planet7 Planet23) 10.31)
	(= (slew_time Planet23 Planet8) 16.53)
	(= (slew_time Planet8 Planet23) 16.53)
	(= (slew_time Planet23 Planet9) 74.85)
	(= (slew_time Planet9 Planet23) 74.85)
	(= (slew_time Planet23 Planet10) 8.994)
	(= (slew_time Planet10 Planet23) 8.994)
	(= (slew_time Planet23 Planet11) 58.12)
	(= (slew_time Planet11 Planet23) 58.12)
	(= (slew_time Planet23 Phenomenon12) 75.12)
	(= (slew_time Phenomenon12 Planet23) 75.12)
	(= (slew_time Planet23 Planet13) 15.84)
	(= (slew_time Planet13 Planet23) 15.84)
	(= (slew_time Planet23 Star14) 84.69)
	(= (slew_time Star14 Planet23) 84.69)
	(= (slew_time Planet23 Planet15) 6.572)
	(= (slew_time Planet15 Planet23) 6.572)
	(= (slew_time Planet23 Planet16) 66.94)
	(= (slew_time Planet16 Planet23) 66.94)
	(= (slew_time Planet23 Planet17) 13.03)
	(= (slew_time Planet17 Planet23) 13.03)
	(= (slew_time Planet23 Phenomenon18) 16.86)
	(= (slew_time Phenomenon18 Planet23) 16.86)
	(= (slew_time Planet23 Star19) 17.53)
	(= (slew_time Star19 Planet23) 17.53)
	(= (slew_time Planet23 Planet20) 32.46)
	(= (slew_time Planet20 Planet23) 32.46)
	(= (slew_time Planet23 Star21) 57.61)
	(= (slew_time Star21 Planet23) 57.61)
	(= (slew_time Planet23 Star22) 1.837)
	(= (slew_time Star22 Planet23) 1.837)
	(= (slew_time Planet24 Star0) 14)
	(= (slew_time Star0 Planet24) 14)
	(= (slew_time Planet24 Star1) 96.69)
	(= (slew_time Star1 Planet24) 96.69)
	(= (slew_time Planet24 GroundStation2) 46.56)
	(= (slew_time GroundStation2 Planet24) 46.56)
	(= (slew_time Planet24 GroundStation3) 33.68)
	(= (slew_time GroundStation3 Planet24) 33.68)
	(= (slew_time Planet24 Star4) 9.936)
	(= (slew_time Star4 Planet24) 9.936)
	(= (slew_time Planet24 Phenomenon5) 6.411)
	(= (slew_time Phenomenon5 Planet24) 6.411)
	(= (slew_time Planet24 Planet6) 35.35)
	(= (slew_time Planet6 Planet24) 35.35)
	(= (slew_time Planet24 Planet7) 59.44)
	(= (slew_time Planet7 Planet24) 59.44)
	(= (slew_time Planet24 Planet8) 37.28)
	(= (slew_time Planet8 Planet24) 37.28)
	(= (slew_time Planet24 Planet9) 15.97)
	(= (slew_time Planet9 Planet24) 15.97)
	(= (slew_time Planet24 Planet10) 32.21)
	(= (slew_time Planet10 Planet24) 32.21)
	(= (slew_time Planet24 Planet11) 71.17)
	(= (slew_time Planet11 Planet24) 71.17)
	(= (slew_time Planet24 Phenomenon12) 85.35)
	(= (slew_time Phenomenon12 Planet24) 85.35)
	(= (slew_time Planet24 Planet13) 64.67)
	(= (slew_time Planet13 Planet24) 64.67)
	(= (slew_time Planet24 Star14) 18.94)
	(= (slew_time Star14 Planet24) 18.94)
	(= (slew_time Planet24 Planet15) 49.21)
	(= (slew_time Planet15 Planet24) 49.21)
	(= (slew_time Planet24 Planet16) 15.57)
	(= (slew_time Planet16 Planet24) 15.57)
	(= (slew_time Planet24 Planet17) 26.81)
	(= (slew_time Planet17 Planet24) 26.81)
	(= (slew_time Planet24 Phenomenon18) 69.02)
	(= (slew_time Phenomenon18 Planet24) 69.02)
	(= (slew_time Planet24 Star19) 42.69)
	(= (slew_time Star19 Planet24) 42.69)
	(= (slew_time Planet24 Planet20) 25.36)
	(= (slew_time Planet20 Planet24) 25.36)
	(= (slew_time Planet24 Star21) 17.17)
	(= (slew_time Star21 Planet24) 17.17)
	(= (slew_time Planet24 Star22) 66.54)
	(= (slew_time Star22 Planet24) 66.54)
	(= (slew_time Planet24 Planet23) 34.3)
	(= (slew_time Planet23 Planet24) 34.3)
	(= (slew_time Planet25 Star0) 12.97)
	(= (slew_time Star0 Planet25) 12.97)
	(= (slew_time Planet25 Star1) 36.55)
	(= (slew_time Star1 Planet25) 36.55)
	(= (slew_time Planet25 GroundStation2) 66.09)
	(= (slew_time GroundStation2 Planet25) 66.09)
	(= (slew_time Planet25 GroundStation3) 43.7)
	(= (slew_time GroundStation3 Planet25) 43.7)
	(= (slew_time Planet25 Star4) 42.67)
	(= (slew_time Star4 Planet25) 42.67)
	(= (slew_time Planet25 Phenomenon5) 48.83)
	(= (slew_time Phenomenon5 Planet25) 48.83)
	(= (slew_time Planet25 Planet6) 38.88)
	(= (slew_time Planet6 Planet25) 38.88)
	(= (slew_time Planet25 Planet7) 25.09)
	(= (slew_time Planet7 Planet25) 25.09)
	(= (slew_time Planet25 Planet8) 74.91)
	(= (slew_time Planet8 Planet25) 74.91)
	(= (slew_time Planet25 Planet9) 63.94)
	(= (slew_time Planet9 Planet25) 63.94)
	(= (slew_time Planet25 Planet10) 69.93)
	(= (slew_time Planet10 Planet25) 69.93)
	(= (slew_time Planet25 Planet11) 10.18)
	(= (slew_time Planet11 Planet25) 10.18)
	(= (slew_time Planet25 Phenomenon12) 9.831)
	(= (slew_time Phenomenon12 Planet25) 9.831)
	(= (slew_time Planet25 Planet13) 81.48)
	(= (slew_time Planet13 Planet25) 81.48)
	(= (slew_time Planet25 Star14) 82.97)
	(= (slew_time Star14 Planet25) 82.97)
	(= (slew_time Planet25 Planet15) 15.25)
	(= (slew_time Planet15 Planet25) 15.25)
	(= (slew_time Planet25 Planet16) 17.49)
	(= (slew_time Planet16 Planet25) 17.49)
	(= (slew_time Planet25 Planet17) 44.79)
	(= (slew_time Planet17 Planet25) 44.79)
	(= (slew_time Planet25 Phenomenon18) 21.29)
	(= (slew_time Phenomenon18 Planet25) 21.29)
	(= (slew_time Planet25 Star19) 3.772)
	(= (slew_time Star19 Planet25) 3.772)
	(= (slew_time Planet25 Planet20) 19.53)
	(= (slew_time Planet20 Planet25) 19.53)
	(= (slew_time Planet25 Star21) 86.49)
	(= (slew_time Star21 Planet25) 86.49)
	(= (slew_time Planet25 Star22) 52.97)
	(= (slew_time Star22 Planet25) 52.97)
	(= (slew_time Planet25 Planet23) 21.95)
	(= (slew_time Planet23 Planet25) 21.95)
	(= (slew_time Planet25 Planet24) 24.05)
	(= (slew_time Planet24 Planet25) 24.05)
	(= (slew_time Star26 Star0) 40.63)
	(= (slew_time Star0 Star26) 40.63)
	(= (slew_time Star26 Star1) 57.9)
	(= (slew_time Star1 Star26) 57.9)
	(= (slew_time Star26 GroundStation2) 52.37)
	(= (slew_time GroundStation2 Star26) 52.37)
	(= (slew_time Star26 GroundStation3) 10.53)
	(= (slew_time GroundStation3 Star26) 10.53)
	(= (slew_time Star26 Star4) 31)
	(= (slew_time Star4 Star26) 31)
	(= (slew_time Star26 Phenomenon5) 39.72)
	(= (slew_time Phenomenon5 Star26) 39.72)
	(= (slew_time Star26 Planet6) 10.09)
	(= (slew_time Planet6 Star26) 10.09)
	(= (slew_time Star26 Planet7) 8.477)
	(= (slew_time Planet7 Star26) 8.477)
	(= (slew_time Star26 Planet8) 58.31)
	(= (slew_time Planet8 Star26) 58.31)
	(= (slew_time Star26 Planet9) 68.79)
	(= (slew_time Planet9 Star26) 68.79)
	(= (slew_time Star26 Planet10) 20.95)
	(= (slew_time Planet10 Star26) 20.95)
	(= (slew_time Star26 Planet11) 2.737)
	(= (slew_time Planet11 Star26) 2.737)
	(= (slew_time Star26 Phenomenon12) 54.03)
	(= (slew_time Phenomenon12 Star26) 54.03)
	(= (slew_time Star26 Planet13) 70.9)
	(= (slew_time Planet13 Star26) 70.9)
	(= (slew_time Star26 Star14) 44.73)
	(= (slew_time Star14 Star26) 44.73)
	(= (slew_time Star26 Planet15) 33.64)
	(= (slew_time Planet15 Star26) 33.64)
	(= (slew_time Star26 Planet16) 3.332)
	(= (slew_time Planet16 Star26) 3.332)
	(= (slew_time Star26 Planet17) 40.57)
	(= (slew_time Planet17 Star26) 40.57)
	(= (slew_time Star26 Phenomenon18) 1.247)
	(= (slew_time Phenomenon18 Star26) 1.247)
	(= (slew_time Star26 Star19) 15.01)
	(= (slew_time Star19 Star26) 15.01)
	(= (slew_time Star26 Planet20) 20.62)
	(= (slew_time Planet20 Star26) 20.62)
	(= (slew_time Star26 Star21) 27.21)
	(= (slew_time Star21 Star26) 27.21)
	(= (slew_time Star26 Star22) 19.38)
	(= (slew_time Star22 Star26) 19.38)
	(= (slew_time Star26 Planet23) 21.45)
	(= (slew_time Planet23 Star26) 21.45)
	(= (slew_time Star26 Planet24) 32.59)
	(= (slew_time Planet24 Star26) 32.59)
	(= (slew_time Star26 Planet25) 24.69)
	(= (slew_time Planet25 Star26) 24.69)
	(= (slew_time Phenomenon27 Star0) 71.61)
	(= (slew_time Star0 Phenomenon27) 71.61)
	(= (slew_time Phenomenon27 Star1) 56.01)
	(= (slew_time Star1 Phenomenon27) 56.01)
	(= (slew_time Phenomenon27 GroundStation2) 50.82)
	(= (slew_time GroundStation2 Phenomenon27) 50.82)
	(= (slew_time Phenomenon27 GroundStation3) 35.6)
	(= (slew_time GroundStation3 Phenomenon27) 35.6)
	(= (slew_time Phenomenon27 Star4) 9.961)
	(= (slew_time Star4 Phenomenon27) 9.961)
	(= (slew_time Phenomenon27 Phenomenon5) 1.489)
	(= (slew_time Phenomenon5 Phenomenon27) 1.489)
	(= (slew_time Phenomenon27 Planet6) 23.86)
	(= (slew_time Planet6 Phenomenon27) 23.86)
	(= (slew_time Phenomenon27 Planet7) 65.87)
	(= (slew_time Planet7 Phenomenon27) 65.87)
	(= (slew_time Phenomenon27 Planet8) 46.35)
	(= (slew_time Planet8 Phenomenon27) 46.35)
	(= (slew_time Phenomenon27 Planet9) 7.871)
	(= (slew_time Planet9 Phenomenon27) 7.871)
	(= (slew_time Phenomenon27 Planet10) 19.88)
	(= (slew_time Planet10 Phenomenon27) 19.88)
	(= (slew_time Phenomenon27 Planet11) 44.93)
	(= (slew_time Planet11 Phenomenon27) 44.93)
	(= (slew_time Phenomenon27 Phenomenon12) 14.13)
	(= (slew_time Phenomenon12 Phenomenon27) 14.13)
	(= (slew_time Phenomenon27 Planet13) 6.401)
	(= (slew_time Planet13 Phenomenon27) 6.401)
	(= (slew_time Phenomenon27 Star14) 29.9)
	(= (slew_time Star14 Phenomenon27) 29.9)
	(= (slew_time Phenomenon27 Planet15) 28.97)
	(= (slew_time Planet15 Phenomenon27) 28.97)
	(= (slew_time Phenomenon27 Planet16) 31.01)
	(= (slew_time Planet16 Phenomenon27) 31.01)
	(= (slew_time Phenomenon27 Planet17) 64.66)
	(= (slew_time Planet17 Phenomenon27) 64.66)
	(= (slew_time Phenomenon27 Phenomenon18) 67.91)
	(= (slew_time Phenomenon18 Phenomenon27) 67.91)
	(= (slew_time Phenomenon27 Star19) 62.71)
	(= (slew_time Star19 Phenomenon27) 62.71)
	(= (slew_time Phenomenon27 Planet20) 25.71)
	(= (slew_time Planet20 Phenomenon27) 25.71)
	(= (slew_time Phenomenon27 Star21) 36.88)
	(= (slew_time Star21 Phenomenon27) 36.88)
	(= (slew_time Phenomenon27 Star22) 3.605)
	(= (slew_time Star22 Phenomenon27) 3.605)
	(= (slew_time Phenomenon27 Planet23) 9.111)
	(= (slew_time Planet23 Phenomenon27) 9.111)
	(= (slew_time Phenomenon27 Planet24) 66.2)
	(= (slew_time Planet24 Phenomenon27) 66.2)
	(= (slew_time Phenomenon27 Planet25) 6.05)
	(= (slew_time Planet25 Phenomenon27) 6.05)
	(= (slew_time Phenomenon27 Star26) 53.09)
	(= (slew_time Star26 Phenomenon27) 53.09)
	(= (slew_time Planet28 Star0) 8.442)
	(= (slew_time Star0 Planet28) 8.442)
	(= (slew_time Planet28 Star1) 73.14)
	(= (slew_time Star1 Planet28) 73.14)
	(= (slew_time Planet28 GroundStation2) 2.881)
	(= (slew_time GroundStation2 Planet28) 2.881)
	(= (slew_time Planet28 GroundStation3) 36.1)
	(= (slew_time GroundStation3 Planet28) 36.1)
	(= (slew_time Planet28 Star4) 81.64)
	(= (slew_time Star4 Planet28) 81.64)
	(= (slew_time Planet28 Phenomenon5) 38.1)
	(= (slew_time Phenomenon5 Planet28) 38.1)
	(= (slew_time Planet28 Planet6) 3.314)
	(= (slew_time Planet6 Planet28) 3.314)
	(= (slew_time Planet28 Planet7) 40.32)
	(= (slew_time Planet7 Planet28) 40.32)
	(= (slew_time Planet28 Planet8) 0.8945)
	(= (slew_time Planet8 Planet28) 0.8945)
	(= (slew_time Planet28 Planet9) 40.69)
	(= (slew_time Planet9 Planet28) 40.69)
	(= (slew_time Planet28 Planet10) 11.53)
	(= (slew_time Planet10 Planet28) 11.53)
	(= (slew_time Planet28 Planet11) 18.57)
	(= (slew_time Planet11 Planet28) 18.57)
	(= (slew_time Planet28 Phenomenon12) 89.64)
	(= (slew_time Phenomenon12 Planet28) 89.64)
	(= (slew_time Planet28 Planet13) 22.21)
	(= (slew_time Planet13 Planet28) 22.21)
	(= (slew_time Planet28 Star14) 18.91)
	(= (slew_time Star14 Planet28) 18.91)
	(= (slew_time Planet28 Planet15) 33.24)
	(= (slew_time Planet15 Planet28) 33.24)
	(= (slew_time Planet28 Planet16) 63.25)
	(= (slew_time Planet16 Planet28) 63.25)
	(= (slew_time Planet28 Planet17) 16.14)
	(= (slew_time Planet17 Planet28) 16.14)
	(= (slew_time Planet28 Phenomenon18) 16.04)
	(= (slew_time Phenomenon18 Planet28) 16.04)
	(= (slew_time Planet28 Star19) 35.36)
	(= (slew_time Star19 Planet28) 35.36)
	(= (slew_time Planet28 Planet20) 20.25)
	(= (slew_time Planet20 Planet28) 20.25)
	(= (slew_time Planet28 Star21) 28.89)
	(= (slew_time Star21 Planet28) 28.89)
	(= (slew_time Planet28 Star22) 40.55)
	(= (slew_time Star22 Planet28) 40.55)
	(= (slew_time Planet28 Planet23) 63.67)
	(= (slew_time Planet23 Planet28) 63.67)
	(= (slew_time Planet28 Planet24) 10.77)
	(= (slew_time Planet24 Planet28) 10.77)
	(= (slew_time Planet28 Planet25) 56.26)
	(= (slew_time Planet25 Planet28) 56.26)
	(= (slew_time Planet28 Star26) 83.92)
	(= (slew_time Star26 Planet28) 83.92)
	(= (slew_time Planet28 Phenomenon27) 51.27)
	(= (slew_time Phenomenon27 Planet28) 51.27)
	(= (slew_time Planet29 Star0) 33.9)
	(= (slew_time Star0 Planet29) 33.9)
	(= (slew_time Planet29 Star1) 25.29)
	(= (slew_time Star1 Planet29) 25.29)
	(= (slew_time Planet29 GroundStation2) 22.07)
	(= (slew_time GroundStation2 Planet29) 22.07)
	(= (slew_time Planet29 GroundStation3) 25.9)
	(= (slew_time GroundStation3 Planet29) 25.9)
	(= (slew_time Planet29 Star4) 1.274)
	(= (slew_time Star4 Planet29) 1.274)
	(= (slew_time Planet29 Phenomenon5) 63.91)
	(= (slew_time Phenomenon5 Planet29) 63.91)
	(= (slew_time Planet29 Planet6) 54.7)
	(= (slew_time Planet6 Planet29) 54.7)
	(= (slew_time Planet29 Planet7) 81.25)
	(= (slew_time Planet7 Planet29) 81.25)
	(= (slew_time Planet29 Planet8) 33.8)
	(= (slew_time Planet8 Planet29) 33.8)
	(= (slew_time Planet29 Planet9) 42.98)
	(= (slew_time Planet9 Planet29) 42.98)
	(= (slew_time Planet29 Planet10) 70.78)
	(= (slew_time Planet10 Planet29) 70.78)
	(= (slew_time Planet29 Planet11) 49.18)
	(= (slew_time Planet11 Planet29) 49.18)
	(= (slew_time Planet29 Phenomenon12) 2.567)
	(= (slew_time Phenomenon12 Planet29) 2.567)
	(= (slew_time Planet29 Planet13) 62.92)
	(= (slew_time Planet13 Planet29) 62.92)
	(= (slew_time Planet29 Star14) 38.8)
	(= (slew_time Star14 Planet29) 38.8)
	(= (slew_time Planet29 Planet15) 40.2)
	(= (slew_time Planet15 Planet29) 40.2)
	(= (slew_time Planet29 Planet16) 24.03)
	(= (slew_time Planet16 Planet29) 24.03)
	(= (slew_time Planet29 Planet17) 26.56)
	(= (slew_time Planet17 Planet29) 26.56)
	(= (slew_time Planet29 Phenomenon18) 6.894)
	(= (slew_time Phenomenon18 Planet29) 6.894)
	(= (slew_time Planet29 Star19) 93.58)
	(= (slew_time Star19 Planet29) 93.58)
	(= (slew_time Planet29 Planet20) 8.306)
	(= (slew_time Planet20 Planet29) 8.306)
	(= (slew_time Planet29 Star21) 21.35)
	(= (slew_time Star21 Planet29) 21.35)
	(= (slew_time Planet29 Star22) 7.198)
	(= (slew_time Star22 Planet29) 7.198)
	(= (slew_time Planet29 Planet23) 5.458)
	(= (slew_time Planet23 Planet29) 5.458)
	(= (slew_time Planet29 Planet24) 40.39)
	(= (slew_time Planet24 Planet29) 40.39)
	(= (slew_time Planet29 Planet25) 87.51)
	(= (slew_time Planet25 Planet29) 87.51)
	(= (slew_time Planet29 Star26) 14.32)
	(= (slew_time Star26 Planet29) 14.32)
	(= (slew_time Planet29 Phenomenon27) 30.22)
	(= (slew_time Phenomenon27 Planet29) 30.22)
	(= (slew_time Planet29 Planet28) 25.45)
	(= (slew_time Planet28 Planet29) 25.45)
)
(:goal (and
	(pointing satellite1 Phenomenon5)
	(pointing satellite2 Planet11)
	(pointing satellite4 Planet11)
	(have_image Phenomenon5 thermograph1)
	(have_image Planet6 image4)
	(have_image Planet7 image3)
	(have_image Planet8 image3)
	(have_image Planet9 thermograph0)
	(have_image Planet10 thermograph1)
	(have_image Planet11 thermograph2)
	(have_image Phenomenon12 image3)
	(have_image Planet13 thermograph1)
	(have_image Star14 image3)
	(have_image Planet15 thermograph0)
	(have_image Planet16 image3)
	(have_image Planet17 image4)
	(have_image Phenomenon18 image3)
	(have_image Star19 thermograph0)
	(have_image Star21 thermograph1)
	(have_image Star22 image4)
	(have_image Planet23 thermograph1)
	(have_image Planet24 thermograph2)
	(have_image Planet25 thermograph1)
	(have_image Star26 thermograph0)
	(have_image Phenomenon27 thermograph1)
	(have_image Planet28 thermograph2)
	(have_image Planet29 thermograph0)
))
(:metric minimize (total-time))

)