(define (problem strips-sat-x-1)
(:domain satellite)
(:objects
	satellite0 - satellite
	instrument0 - instrument
	instrument1 - instrument
	instrument2 - instrument
	satellite1 - satellite
	instrument3 - instrument
	instrument4 - instrument
	instrument5 - instrument
	instrument6 - instrument
	satellite2 - satellite
	instrument7 - instrument
	instrument8 - instrument
	instrument9 - instrument
	satellite3 - satellite
	instrument10 - instrument
	instrument11 - instrument
	satellite4 - satellite
	instrument12 - instrument
	image1 - mode
	thermograph3 - mode
	thermograph0 - mode
	thermograph2 - mode
	thermograph4 - mode
	GroundStation2 - direction
	Star4 - direction
	Star0 - direction
	Star1 - direction
	Star3 - direction
	Phenomenon5 - direction
	Planet6 - direction
	Planet7 - direction
	Star8 - direction
	Star9 - direction
	Star10 - direction
	Planet11 - direction
	Phenomenon12 - direction
	Phenomenon13 - direction
	Planet14 - direction
	Star15 - direction
	Phenomenon16 - direction
	Phenomenon17 - direction
	Phenomenon18 - direction
	Planet19 - direction
	Planet20 - direction
	Phenomenon21 - direction
	Star22 - direction
	Planet23 - direction
	Phenomenon24 - direction
)
(:init
	(supports instrument0 thermograph4)
	(supports instrument0 thermograph0)
	(supports instrument0 thermograph2)
	(calibration_target instrument0 Star4)
	(= (calibration_time instrument0 Star4) 10.1)
	(supports instrument1 thermograph3)
	(calibration_target instrument1 Star0)
	(= (calibration_time instrument1 Star0) 74.7)
	(supports instrument2 image1)
	(calibration_target instrument2 Star4)
	(= (calibration_time instrument2 Star4) 9.67)
	(on_board instrument0 satellite0)
	(on_board instrument1 satellite0)
	(on_board instrument2 satellite0)
	(power_avail satellite0)
	(pointing satellite0 Star8)
	(supports instrument3 thermograph3)
	(calibration_target instrument3 Star1)
	(= (calibration_time instrument3 Star1) 37.8)
	(supports instrument4 image1)
	(calibration_target instrument4 Star1)
	(= (calibration_time instrument4 Star1) 58.2)
	(supports instrument5 thermograph3)
	(calibration_target instrument5 Star3)
	(= (calibration_time instrument5 Star3) 94.3)
	(supports instrument6 thermograph2)
	(supports instrument6 thermograph0)
	(supports instrument6 image1)
	(calibration_target instrument6 Star0)
	(= (calibration_time instrument6 Star0) 45.3)
	(on_board instrument3 satellite1)
	(on_board instrument4 satellite1)
	(on_board instrument5 satellite1)
	(on_board instrument6 satellite1)
	(power_avail satellite1)
	(pointing satellite1 Phenomenon21)
	(supports instrument7 thermograph0)
	(calibration_target instrument7 Star3)
	(= (calibration_time instrument7 Star3) 91)
	(supports instrument8 thermograph4)
	(supports instrument8 thermograph3)
	(supports instrument8 thermograph2)
	(calibration_target instrument8 Star3)
	(= (calibration_time instrument8 Star3) 11)
	(supports instrument9 thermograph2)
	(supports instrument9 thermograph3)
	(calibration_target instrument9 Star1)
	(= (calibration_time instrument9 Star1) 40.7)
	(on_board instrument7 satellite2)
	(on_board instrument8 satellite2)
	(on_board instrument9 satellite2)
	(power_avail satellite2)
	(pointing satellite2 Star4)
	(supports instrument10 thermograph2)
	(calibration_target instrument10 Star3)
	(= (calibration_time instrument10 Star3) 93.4)
	(supports instrument11 thermograph2)
	(supports instrument11 thermograph4)
	(supports instrument11 thermograph0)
	(calibration_target instrument11 Star1)
	(= (calibration_time instrument11 Star1) 50.2)
	(on_board instrument10 satellite3)
	(on_board instrument11 satellite3)
	(power_avail satellite3)
	(pointing satellite3 Phenomenon16)
	(supports instrument12 thermograph4)
	(calibration_target instrument12 Star3)
	(= (calibration_time instrument12 Star3) 18.4)
	(on_board instrument12 satellite4)
	(power_avail satellite4)
	(pointing satellite4 Phenomenon18)
	(= (slew_time GroundStation2 Star0) 7.657)
	(= (slew_time Star0 GroundStation2) 7.657)
	(= (slew_time GroundStation2 Star1) 26.41)
	(= (slew_time Star1 GroundStation2) 26.41)
	(= (slew_time Star4 Star0) 10.57)
	(= (slew_time Star0 Star4) 10.57)
	(= (slew_time Star4 Star1) 64.75)
	(= (slew_time Star1 Star4) 64.75)
	(= (slew_time Star4 GroundStation2) 27.12)
	(= (slew_time GroundStation2 Star4) 27.12)
	(= (slew_time Star4 Star3) 89.01)
	(= (slew_time Star3 Star4) 89.01)
	(= (slew_time Star1 Star0) 43.3)
	(= (slew_time Star0 Star1) 43.3)
	(= (slew_time Star3 Star0) 3.603)
	(= (slew_time Star0 Star3) 3.603)
	(= (slew_time Star3 Star1) 8.159)
	(= (slew_time Star1 Star3) 8.159)
	(= (slew_time Star3 GroundStation2) 46.54)
	(= (slew_time GroundStation2 Star3) 46.54)
	(= (slew_time Phenomenon5 Star0) 32.62)
	(= (slew_time Star0 Phenomenon5) 32.62)
	(= (slew_time Phenomenon5 Star1) 31.66)
	(= (slew_time Star1 Phenomenon5) 31.66)
	(= (slew_time Phenomenon5 GroundStation2) 11.33)
	(= (slew_time GroundStation2 Phenomenon5) 11.33)
	(= (slew_time Phenomenon5 Star3) 47.92)
	(= (slew_time Star3 Phenomenon5) 47.92)
	(= (slew_time Phenomenon5 Star4) 47.88)
	(= (slew_time Star4 Phenomenon5) 47.88)
	(= (slew_time Planet6 Star0) 42.33)
	(= (slew_time Star0 Planet6) 42.33)
	(= (slew_time Planet6 Star1) 10.62)
	(= (slew_time Star1 Planet6) 10.62)
	(= (slew_time Planet6 GroundStation2) 22.7)
	(= (slew_time GroundStation2 Planet6) 22.7)
	(= (slew_time Planet6 Star3) 28.47)
	(= (slew_time Star3 Planet6) 28.47)
	(= (slew_time Planet6 Star4) 43.77)
	(= (slew_time Star4 Planet6) 43.77)
	(= (slew_time Planet6 Phenomenon5) 17.52)
	(= (slew_time Phenomenon5 Planet6) 17.52)
	(= (slew_time Planet7 Star0) 49.23)
	(= (slew_time Star0 Planet7) 49.23)
	(= (slew_time Planet7 Star1) 49.42)
	(= (slew_time Star1 Planet7) 49.42)
	(= (slew_time Planet7 GroundStation2) 20.99)
	(= (slew_time GroundStation2 Planet7) 20.99)
	(= (slew_time Planet7 Star3) 45.42)
	(= (slew_time Star3 Planet7) 45.42)
	(= (slew_time Planet7 Star4) 28.59)
	(= (slew_time Star4 Planet7) 28.59)
	(= (slew_time Planet7 Phenomenon5) 52.19)
	(= (slew_time Phenomenon5 Planet7) 52.19)
	(= (slew_time Planet7 Planet6) 44)
	(= (slew_time Planet6 Planet7) 44)
	(= (slew_time Star8 Star0) 41.91)
	(= (slew_time Star0 Star8) 41.91)
	(= (slew_time Star8 Star1) 52.55)
	(= (slew_time Star1 Star8) 52.55)
	(= (slew_time Star8 GroundStation2) 13.05)
	(= (slew_time GroundStation2 Star8) 13.05)
	(= (slew_time Star8 Star3) 42.85)
	(= (slew_time Star3 Star8) 42.85)
	(= (slew_time Star8 Star4) 73.44)
	(= (slew_time Star4 Star8) 73.44)
	(= (slew_time Star8 Phenomenon5) 77.25)
	(= (slew_time Phenomenon5 Star8) 77.25)
	(= (slew_time Star8 Planet6) 24)
	(= (slew_time Planet6 Star8) 24)
	(= (slew_time Star8 Planet7) 18.76)
	(= (slew_time Planet7 Star8) 18.76)
	(= (slew_time Star9 Star0) 73.72)
	(= (slew_time Star0 Star9) 73.72)
	(= (slew_time Star9 Star1) 2.29)
	(= (slew_time Star1 Star9) 2.29)
	(= (slew_time Star9 GroundStation2) 26.5)
	(= (slew_time GroundStation2 Star9) 26.5)
	(= (slew_time Star9 Star3) 4.975)
	(= (slew_time Star3 Star9) 4.975)
	(= (slew_time Star9 Star4) 30.13)
	(= (slew_time Star4 Star9) 30.13)
	(= (slew_time Star9 Phenomenon5) 38.11)
	(= (slew_time Phenomenon5 Star9) 38.11)
	(= (slew_time Star9 Planet6) 6.19)
	(= (slew_time Planet6 Star9) 6.19)
	(= (slew_time Star9 Planet7) 34.01)
	(= (slew_time Planet7 Star9) 34.01)
	(= (slew_time Star9 Star8) 57.98)
	(= (slew_time Star8 Star9) 57.98)
	(= (slew_time Star10 Star0) 55.77)
	(= (slew_time Star0 Star10) 55.77)
	(= (slew_time Star10 Star1) 7.609)
	(= (slew_time Star1 Star10) 7.609)
	(= (slew_time Star10 GroundStation2) 32.79)
	(= (slew_time GroundStation2 Star10) 32.79)
	(= (slew_time Star10 Star3) 66.63)
	(= (slew_time Star3 Star10) 66.63)
	(= (slew_time Star10 Star4) 38.53)
	(= (slew_time Star4 Star10) 38.53)
	(= (slew_time Star10 Phenomenon5) 0.8326)
	(= (slew_time Phenomenon5 Star10) 0.8326)
	(= (slew_time Star10 Planet6) 25.68)
	(= (slew_time Planet6 Star10) 25.68)
	(= (slew_time Star10 Planet7) 24.64)
	(= (slew_time Planet7 Star10) 24.64)
	(= (slew_time Star10 Star8) 70.36)
	(= (slew_time Star8 Star10) 70.36)
	(= (slew_time Star10 Star9) 84.22)
	(= (slew_time Star9 Star10) 84.22)
	(= (slew_time Planet11 Star0) 41.35)
	(= (slew_time Star0 Planet11) 41.35)
	(= (slew_time Planet11 Star1) 22.86)
	(= (slew_time Star1 Planet11) 22.86)
	(= (slew_time Planet11 GroundStation2) 9.333)
	(= (slew_time GroundStation2 Planet11) 9.333)
	(= (slew_time Planet11 Star3) 19.34)
	(= (slew_time Star3 Planet11) 19.34)
	(= (slew_time Planet11 Star4) 12.69)
	(= (slew_time Star4 Planet11) 12.69)
	(= (slew_time Planet11 Phenomenon5) 58.77)
	(= (slew_time Phenomenon5 Planet11) 58.77)
	(= (slew_time Planet11 Planet6) 22.65)
	(= (slew_time Planet6 Planet11) 22.65)
	(= (slew_time Planet11 Planet7) 68.79)
	(= (slew_time Planet7 Planet11) 68.79)
	(= (slew_time Planet11 Star8) 30.06)
	(= (slew_time Star8 Planet11) 30.06)
	(= (slew_time Planet11 Star9) 11.89)
	(= (slew_time Star9 Planet11) 11.89)
	(= (slew_time Planet11 Star10) 71.24)
	(= (slew_time Star10 Planet11) 71.24)
	(= (slew_time Phenomenon12 Star0) 33.33)
	(= (slew_time Star0 Phenomenon12) 33.33)
	(= (slew_time Phenomenon12 Star1) 5.894)
	(= (slew_time Star1 Phenomenon12) 5.894)
	(= (slew_time Phenomenon12 GroundStation2) 57.27)
	(= (slew_time GroundStation2 Phenomenon12) 57.27)
	(= (slew_time Phenomenon12 Star3) 38.14)
	(= (slew_time Star3 Phenomenon12) 38.14)
	(= (slew_time Phenomenon12 Star4) 47.15)
	(= (slew_time Star4 Phenomenon12) 47.15)
	(= (slew_time Phenomenon12 Phenomenon5) 1.191)
	(= (slew_time Phenomenon5 Phenomenon12) 1.191)
	(= (slew_time Phenomenon12 Planet6) 15.73)
	(= (slew_time Planet6 Phenomenon12) 15.73)
	(= (slew_time Phenomenon12 Planet7) 40.94)
	(= (slew_time Planet7 Phenomenon12) 40.94)
	(= (slew_time Phenomenon12 Star8) 14.04)
	(= (slew_time Star8 Phenomenon12) 14.04)
	(= (slew_time Phenomenon12 Star9) 69.14)
	(= (slew_time Star9 Phenomenon12) 69.14)
	(= (slew_time Phenomenon12 Star10) 17.32)
	(= (slew_time Star10 Phenomenon12) 17.32)
	(= (slew_time Phenomenon12 Planet11) 35.82)
	(= (slew_time Planet11 Phenomenon12) 35.82)
	(= (slew_time Phenomenon13 Star0) 59.94)
	(= (slew_time Star0 Phenomenon13) 59.94)
	(= (slew_time Phenomenon13 Star1) 19.25)
	(= (slew_time Star1 Phenomenon13) 19.25)
	(= (slew_time Phenomenon13 GroundStation2) 17.7)
	(= (slew_time GroundStation2 Phenomenon13) 17.7)
	(= (slew_time Phenomenon13 Star3) 52.95)
	(= (slew_time Star3 Phenomenon13) 52.95)
	(= (slew_time Phenomenon13 Star4) 58.1)
	(= (slew_time Star4 Phenomenon13) 58.1)
	(= (slew_time Phenomenon13 Phenomenon5) 28.2)
	(= (slew_time Phenomenon5 Phenomenon13) 28.2)
	(= (slew_time Phenomenon13 Planet6) 3.63)
	(= (slew_time Planet6 Phenomenon13) 3.63)
	(= (slew_time Phenomenon13 Planet7) 16.25)
	(= (slew_time Planet7 Phenomenon13) 16.25)
	(= (slew_time Phenomenon13 Star8) 1.805)
	(= (slew_time Star8 Phenomenon13) 1.805)
	(= (slew_time Phenomenon13 Star9) 40.24)
	(= (slew_time Star9 Phenomenon13) 40.24)
	(= (slew_time Phenomenon13 Star10) 53.82)
	(= (slew_time Star10 Phenomenon13) 53.82)
	(= (slew_time Phenomenon13 Planet11) 23.62)
	(= (slew_time Planet11 Phenomenon13) 23.62)
	(= (slew_time Phenomenon13 Phenomenon12) 39.59)
	(= (slew_time Phenomenon12 Phenomenon13) 39.59)
	(= (slew_time Planet14 Star0) 7.335)
	(= (slew_time Star0 Planet14) 7.335)
	(= (slew_time Planet14 Star1) 48.7)
	(= (slew_time Star1 Planet14) 48.7)
	(= (slew_time Planet14 GroundStation2) 4.126)
	(= (slew_time GroundStation2 Planet14) 4.126)
	(= (slew_time Planet14 Star3) 79.46)
	(= (slew_time Star3 Planet14) 79.46)
	(= (slew_time Planet14 Star4) 82.38)
	(= (slew_time Star4 Planet14) 82.38)
	(= (slew_time Planet14 Phenomenon5) 14.33)
	(= (slew_time Phenomenon5 Planet14) 14.33)
	(= (slew_time Planet14 Planet6) 52.21)
	(= (slew_time Planet6 Planet14) 52.21)
	(= (slew_time Planet14 Planet7) 15.41)
	(= (slew_time Planet7 Planet14) 15.41)
	(= (slew_time Planet14 Star8) 57.79)
	(= (slew_time Star8 Planet14) 57.79)
	(= (slew_time Planet14 Star9) 30.2)
	(= (slew_time Star9 Planet14) 30.2)
	(= (slew_time Planet14 Star10) 16.88)
	(= (slew_time Star10 Planet14) 16.88)
	(= (slew_time Planet14 Planet11) 5.436)
	(= (slew_time Planet11 Planet14) 5.436)
	(= (slew_time Planet14 Phenomenon12) 59.01)
	(= (slew_time Phenomenon12 Planet14) 59.01)
	(= (slew_time Planet14 Phenomenon13) 25.08)
	(= (slew_time Phenomenon13 Planet14) 25.08)
	(= (slew_time Star15 Star0) 38.53)
	(= (slew_time Star0 Star15) 38.53)
	(= (slew_time Star15 Star1) 20.49)
	(= (slew_time Star1 Star15) 20.49)
	(= (slew_time Star15 GroundStation2) 50.38)
	(= (slew_time GroundStation2 Star15) 50.38)
	(= (slew_time Star15 Star3) 58.85)
	(= (slew_time Star3 Star15) 58.85)
	(= (slew_time Star15 Star4) 11.07)
	(= (slew_time Star4 Star15) 11.07)
	(= (slew_time Star15 Phenomenon5) 11.39)
	(= (slew_time Phenomenon5 Star15) 11.39)
	(= (slew_time Star15 Planet6) 4.376)
	(= (slew_time Planet6 Star15) 4.376)
	(= (slew_time Star15 Planet7) 37.73)
	(= (slew_time Planet7 Star15) 37.73)
	(= (slew_time Star15 Star8) 22.22)
	(= (slew_time Star8 Star15) 22.22)
	(= (slew_time Star15 Star9) 60.71)
	(= (slew_time Star9 Star15) 60.71)
	(= (slew_time Star15 Star10) 28.64)
	(= (slew_time Star10 Star15) 28.64)
	(= (slew_time Star15 Planet11) 1.87)
	(= (slew_time Planet11 Star15) 1.87)
	(= (slew_time Star15 Phenomenon12) 16.11)
	(= (slew_time Phenomenon12 Star15) 16.11)
	(= (slew_time Star15 Phenomenon13) 26.45)
	(= (slew_time Phenomenon13 Star15) 26.45)
	(= (slew_time Star15 Planet14) 35)
	(= (slew_time Planet14 Star15) 35)
	(= (slew_time Phenomenon16 Star0) 35.09)
	(= (slew_time Star0 Phenomenon16) 35.09)
	(= (slew_time Phenomenon16 Star1) 39.33)
	(= (slew_time Star1 Phenomenon16) 39.33)
	(= (slew_time Phenomenon16 GroundStation2) 27.44)
	(= (slew_time GroundStation2 Phenomenon16) 27.44)
	(= (slew_time Phenomenon16 Star3) 72.58)
	(= (slew_time Star3 Phenomenon16) 72.58)
	(= (slew_time Phenomenon16 Star4) 10.8)
	(= (slew_time Star4 Phenomenon16) 10.8)
	(= (slew_time Phenomenon16 Phenomenon5) 34.97)
	(= (slew_time Phenomenon5 Phenomenon16) 34.97)
	(= (slew_time Phenomenon16 Planet6) 40.37)
	(= (slew_time Planet6 Phenomenon16) 40.37)
	(= (slew_time Phenomenon16 Planet7) 15.01)
	(= (slew_time Planet7 Phenomenon16) 15.01)
	(= (slew_time Phenomenon16 Star8) 40.33)
	(= (slew_time Star8 Phenomenon16) 40.33)
	(= (slew_time Phenomenon16 Star9) 34.62)
	(= (slew_time Star9 Phenomenon16) 34.62)
	(= (slew_time Phenomenon16 Star10) 55.93)
	(= (slew_time Star10 Phenomenon16) 55.93)
	(= (slew_time Phenomenon16 Planet11) 27.47)
	(= (slew_time Planet11 Phenomenon16) 27.47)
	(= (slew_time Phenomenon16 Phenomenon12) 77.79)
	(= (slew_time Phenomenon12 Phenomenon16) 77.79)
	(= (slew_time Phenomenon16 Phenomenon13) 48.07)
	(= (slew_time Phenomenon13 Phenomenon16) 48.07)
	(= (slew_time Phenomenon16 Planet14) 75.09)
	(= (slew_time Planet14 Phenomenon16) 75.09)
	(= (slew_time Phenomenon16 Star15) 67.18)
	(= (slew_time Star15 Phenomenon16) 67.18)
	(= (slew_time Phenomenon17 Star0) 35.54)
	(= (slew_time Star0 Phenomenon17) 35.54)
	(= (slew_time Phenomenon17 Star1) 67.74)
	(= (slew_time Star1 Phenomenon17) 67.74)
	(= (slew_time Phenomenon17 GroundStation2) 0.1914)
	(= (slew_time GroundStation2 Phenomenon17) 0.1914)
	(= (slew_time Phenomenon17 Star3) 32.32)
	(= (slew_time Star3 Phenomenon17) 32.32)
	(= (slew_time Phenomenon17 Star4) 24.95)
	(= (slew_time Star4 Phenomenon17) 24.95)
	(= (slew_time Phenomenon17 Phenomenon5) 47.05)
	(= (slew_time Phenomenon5 Phenomenon17) 47.05)
	(= (slew_time Phenomenon17 Planet6) 4.874)
	(= (slew_time Planet6 Phenomenon17) 4.874)
	(= (slew_time Phenomenon17 Planet7) 23.31)
	(= (slew_time Planet7 Phenomenon17) 23.31)
	(= (slew_time Phenomenon17 Star8) 58.44)
	(= (slew_time Star8 Phenomenon17) 58.44)
	(= (slew_time Phenomenon17 Star9) 30.68)
	(= (slew_time Star9 Phenomenon17) 30.68)
	(= (slew_time Phenomenon17 Star10) 8.398)
	(= (slew_time Star10 Phenomenon17) 8.398)
	(= (slew_time Phenomenon17 Planet11) 2.273)
	(= (slew_time Planet11 Phenomenon17) 2.273)
	(= (slew_time Phenomenon17 Phenomenon12) 59.62)
	(= (slew_time Phenomenon12 Phenomenon17) 59.62)
	(= (slew_time Phenomenon17 Phenomenon13) 2.875)
	(= (slew_time Phenomenon13 Phenomenon17) 2.875)
	(= (slew_time Phenomenon17 Planet14) 75.41)
	(= (slew_time Planet14 Phenomenon17) 75.41)
	(= (slew_time Phenomenon17 Star15) 25.62)
	(= (slew_time Star15 Phenomenon17) 25.62)
	(= (slew_time Phenomenon17 Phenomenon16) 53.59)
	(= (slew_time Phenomenon16 Phenomenon17) 53.59)
	(= (slew_time Phenomenon18 Star0) 52.79)
	(= (slew_time Star0 Phenomenon18) 52.79)
	(= (slew_time Phenomenon18 Star1) 2.299)
	(= (slew_time Star1 Phenomenon18) 2.299)
	(= (slew_time Phenomenon18 GroundStation2) 50.27)
	(= (slew_time GroundStation2 Phenomenon18) 50.27)
	(= (slew_time Phenomenon18 Star3) 10.77)
	(= (slew_time Star3 Phenomenon18) 10.77)
	(= (slew_time Phenomenon18 Star4) 51.91)
	(= (slew_time Star4 Phenomenon18) 51.91)
	(= (slew_time Phenomenon18 Phenomenon5) 8.553)
	(= (slew_time Phenomenon5 Phenomenon18) 8.553)
	(= (slew_time Phenomenon18 Planet6) 20.3)
	(= (slew_time Planet6 Phenomenon18) 20.3)
	(= (slew_time Phenomenon18 Planet7) 14.71)
	(= (slew_time Planet7 Phenomenon18) 14.71)
	(= (slew_time Phenomenon18 Star8) 40.07)
	(= (slew_time Star8 Phenomenon18) 40.07)
	(= (slew_time Phenomenon18 Star9) 36.56)
	(= (slew_time Star9 Phenomenon18) 36.56)
	(= (slew_time Phenomenon18 Star10) 7.676)
	(= (slew_time Star10 Phenomenon18) 7.676)
	(= (slew_time Phenomenon18 Planet11) 47.7)
	(= (slew_time Planet11 Phenomenon18) 47.7)
	(= (slew_time Phenomenon18 Phenomenon12) 9.734)
	(= (slew_time Phenomenon12 Phenomenon18) 9.734)
	(= (slew_time Phenomenon18 Phenomenon13) 23.36)
	(= (slew_time Phenomenon13 Phenomenon18) 23.36)
	(= (slew_time Phenomenon18 Planet14) 11.19)
	(= (slew_time Planet14 Phenomenon18) 11.19)
	(= (slew_time Phenomenon18 Star15) 33.39)
	(= (slew_time Star15 Phenomenon18) 33.39)
	(= (slew_time Phenomenon18 Phenomenon16) 52.7)
	(= (slew_time Phenomenon16 Phenomenon18) 52.7)
	(= (slew_time Phenomenon18 Phenomenon17) 22.55)
	(= (slew_time Phenomenon17 Phenomenon18) 22.55)
	(= (slew_time Planet19 Star0) 62.22)
	(= (slew_time Star0 Planet19) 62.22)
	(= (slew_time Planet19 Star1) 43.13)
	(= (slew_time Star1 Planet19) 43.13)
	(= (slew_time Planet19 GroundStation2) 13.25)
	(= (slew_time GroundStation2 Planet19) 13.25)
	(= (slew_time Planet19 Star3) 0.4584)
	(= (slew_time Star3 Planet19) 0.4584)
	(= (slew_time Planet19 Star4) 4.367)
	(= (slew_time Star4 Planet19) 4.367)
	(= (slew_time Planet19 Phenomenon5) 20.22)
	(= (slew_time Phenomenon5 Planet19) 20.22)
	(= (slew_time Planet19 Planet6) 16.02)
	(= (slew_time Planet6 Planet19) 16.02)
	(= (slew_time Planet19 Planet7) 21.17)
	(= (slew_time Planet7 Planet19) 21.17)
	(= (slew_time Planet19 Star8) 34.01)
	(= (slew_time Star8 Planet19) 34.01)
	(= (slew_time Planet19 Star9) 69.87)
	(= (slew_time Star9 Planet19) 69.87)
	(= (slew_time Planet19 Star10) 34.63)
	(= (slew_time Star10 Planet19) 34.63)
	(= (slew_time Planet19 Planet11) 15.33)
	(= (slew_time Planet11 Planet19) 15.33)
	(= (slew_time Planet19 Phenomenon12) 71.31)
	(= (slew_time Phenomenon12 Planet19) 71.31)
	(= (slew_time Planet19 Phenomenon13) 31.15)
	(= (slew_time Phenomenon13 Planet19) 31.15)
	(= (slew_time Planet19 Planet14) 32.15)
	(= (slew_time Planet14 Planet19) 32.15)
	(= (slew_time Planet19 Star15) 19.35)
	(= (slew_time Star15 Planet19) 19.35)
	(= (slew_time Planet19 Phenomenon16) 69.35)
	(= (slew_time Phenomenon16 Planet19) 69.35)
	(= (slew_time Planet19 Phenomenon17) 38.2)
	(= (slew_time Phenomenon17 Planet19) 38.2)
	(= (slew_time Planet19 Phenomenon18) 5.816)
	(= (slew_time Phenomenon18 Planet19) 5.816)
	(= (slew_time Planet20 Star0) 4.861)
	(= (slew_time Star0 Planet20) 4.861)
	(= (slew_time Planet20 Star1) 1.61)
	(= (slew_time Star1 Planet20) 1.61)
	(= (slew_time Planet20 GroundStation2) 53.21)
	(= (slew_time GroundStation2 Planet20) 53.21)
	(= (slew_time Planet20 Star3) 13.38)
	(= (slew_time Star3 Planet20) 13.38)
	(= (slew_time Planet20 Star4) 62.85)
	(= (slew_time Star4 Planet20) 62.85)
	(= (slew_time Planet20 Phenomenon5) 0.7936)
	(= (slew_time Phenomenon5 Planet20) 0.7936)
	(= (slew_time Planet20 Planet6) 25.19)
	(= (slew_time Planet6 Planet20) 25.19)
	(= (slew_time Planet20 Planet7) 1.508)
	(= (slew_time Planet7 Planet20) 1.508)
	(= (slew_time Planet20 Star8) 10.7)
	(= (slew_time Star8 Planet20) 10.7)
	(= (slew_time Planet20 Star9) 43.07)
	(= (slew_time Star9 Planet20) 43.07)
	(= (slew_time Planet20 Star10) 66.79)
	(= (slew_time Star10 Planet20) 66.79)
	(= (slew_time Planet20 Planet11) 31.45)
	(= (slew_time Planet11 Planet20) 31.45)
	(= (slew_time Planet20 Phenomenon12) 40.24)
	(= (slew_time Phenomenon12 Planet20) 40.24)
	(= (slew_time Planet20 Phenomenon13) 2.054)
	(= (slew_time Phenomenon13 Planet20) 2.054)
	(= (slew_time Planet20 Planet14) 76.59)
	(= (slew_time Planet14 Planet20) 76.59)
	(= (slew_time Planet20 Star15) 25.3)
	(= (slew_time Star15 Planet20) 25.3)
	(= (slew_time Planet20 Phenomenon16) 30.81)
	(= (slew_time Phenomenon16 Planet20) 30.81)
	(= (slew_time Planet20 Phenomenon17) 16.6)
	(= (slew_time Phenomenon17 Planet20) 16.6)
	(= (slew_time Planet20 Phenomenon18) 38.93)
	(= (slew_time Phenomenon18 Planet20) 38.93)
	(= (slew_time Planet20 Planet19) 14.39)
	(= (slew_time Planet19 Planet20) 14.39)
	(= (slew_time Phenomenon21 Star0) 0.2815)
	(= (slew_time Star0 Phenomenon21) 0.2815)
	(= (slew_time Phenomenon21 Star1) 29.33)
	(= (slew_time Star1 Phenomenon21) 29.33)
	(= (slew_time Phenomenon21 GroundStation2) 27.51)
	(= (slew_time GroundStation2 Phenomenon21) 27.51)
	(= (slew_time Phenomenon21 Star3) 41.2)
	(= (slew_time Star3 Phenomenon21) 41.2)
	(= (slew_time Phenomenon21 Star4) 0.3751)
	(= (slew_time Star4 Phenomenon21) 0.3751)
	(= (slew_time Phenomenon21 Phenomenon5) 13.21)
	(= (slew_time Phenomenon5 Phenomenon21) 13.21)
	(= (slew_time Phenomenon21 Planet6) 20.32)
	(= (slew_time Planet6 Phenomenon21) 20.32)
	(= (slew_time Phenomenon21 Planet7) 25.84)
	(= (slew_time Planet7 Phenomenon21) 25.84)
	(= (slew_time Phenomenon21 Star8) 48.37)
	(= (slew_time Star8 Phenomenon21) 48.37)
	(= (slew_time Phenomenon21 Star9) 8.296)
	(= (slew_time Star9 Phenomenon21) 8.296)
	(= (slew_time Phenomenon21 Star10) 27.43)
	(= (slew_time Star10 Phenomenon21) 27.43)
	(= (slew_time Phenomenon21 Planet11) 1.378)
	(= (slew_time Planet11 Phenomenon21) 1.378)
	(= (slew_time Phenomenon21 Phenomenon12) 64.72)
	(= (slew_time Phenomenon12 Phenomenon21) 64.72)
	(= (slew_time Phenomenon21 Phenomenon13) 20.19)
	(= (slew_time Phenomenon13 Phenomenon21) 20.19)
	(= (slew_time Phenomenon21 Planet14) 7.053)
	(= (slew_time Planet14 Phenomenon21) 7.053)
	(= (slew_time Phenomenon21 Star15) 0.6336)
	(= (slew_time Star15 Phenomenon21) 0.6336)
	(= (slew_time Phenomenon21 Phenomenon16) 43.11)
	(= (slew_time Phenomenon16 Phenomenon21) 43.11)
	(= (slew_time Phenomenon21 Phenomenon17) 11.79)
	(= (slew_time Phenomenon17 Phenomenon21) 11.79)
	(= (slew_time Phenomenon21 Phenomenon18) 26.26)
	(= (slew_time Phenomenon18 Phenomenon21) 26.26)
	(= (slew_time Phenomenon21 Planet19) 39.59)
	(= (slew_time Planet19 Phenomenon21) 39.59)
	(= (slew_time Phenomenon21 Planet20) 75.57)
	(= (slew_time Planet20 Phenomenon21) 75.57)
	(= (slew_time Star22 Star0) 22.37)
	(= (slew_time Star0 Star22) 22.37)
	(= (slew_time Star22 Star1) 33.48)
	(= (slew_time Star1 Star22) 33.48)
	(= (slew_time Star22 GroundStation2) 32.23)
	(= (slew_time GroundStation2 Star22) 32.23)
	(= (slew_time Star22 Star3) 11.65)
	(= (slew_time Star3 Star22) 11.65)
	(= (slew_time Star22 Star4) 76.02)
	(= (slew_time Star4 Star22) 76.02)
	(= (slew_time Star22 Phenomenon5) 3.974)
	(= (slew_time Phenomenon5 Star22) 3.974)
	(= (slew_time Star22 Planet6) 15.62)
	(= (slew_time Planet6 Star22) 15.62)
	(= (slew_time Star22 Planet7) 81.03)
	(= (slew_time Planet7 Star22) 81.03)
	(= (slew_time Star22 Star8) 58.93)
	(= (slew_time Star8 Star22) 58.93)
	(= (slew_time Star22 Star9) 53.34)
	(= (slew_time Star9 Star22) 53.34)
	(= (slew_time Star22 Star10) 27.18)
	(= (slew_time Star10 Star22) 27.18)
	(= (slew_time Star22 Planet11) 67.37)
	(= (slew_time Planet11 Star22) 67.37)
	(= (slew_time Star22 Phenomenon12) 74.34)
	(= (slew_time Phenomenon12 Star22) 74.34)
	(= (slew_time Star22 Phenomenon13) 9.547)
	(= (slew_time Phenomenon13 Star22) 9.547)
	(= (slew_time Star22 Planet14) 74.05)
	(= (slew_time Planet14 Star22) 74.05)
	(= (slew_time Star22 Star15) 11.51)
	(= (slew_time Star15 Star22) 11.51)
	(= (slew_time Star22 Phenomenon16) 42.31)
	(= (slew_time Phenomenon16 Star22) 42.31)
	(= (slew_time Star22 Phenomenon17) 4.957)
	(= (slew_time Phenomenon17 Star22) 4.957)
	(= (slew_time Star22 Phenomenon18) 71.94)
	(= (slew_time Phenomenon18 Star22) 71.94)
	(= (slew_time Star22 Planet19) 14.7)
	(= (slew_time Planet19 Star22) 14.7)
	(= (slew_time Star22 Planet20) 34.19)
	(= (slew_time Planet20 Star22) 34.19)
	(= (slew_time Star22 Phenomenon21) 26.67)
	(= (slew_time Phenomenon21 Star22) 26.67)
	(= (slew_time Planet23 Star0) 37.55)
	(= (slew_time Star0 Planet23) 37.55)
	(= (slew_time Planet23 Star1) 39.71)
	(= (slew_time Star1 Planet23) 39.71)
	(= (slew_time Planet23 GroundStation2) 6.052)
	(= (slew_time GroundStation2 Planet23) 6.052)
	(= (slew_time Planet23 Star3) 64.16)
	(= (slew_time Star3 Planet23) 64.16)
	(= (slew_time Planet23 Star4) 48.79)
	(= (slew_time Star4 Planet23) 48.79)
	(= (slew_time Planet23 Phenomenon5) 46.08)
	(= (slew_time Phenomenon5 Planet23) 46.08)
	(= (slew_time Planet23 Planet6) 37.22)
	(= (slew_time Planet6 Planet23) 37.22)
	(= (slew_time Planet23 Planet7) 24.26)
	(= (slew_time Planet7 Planet23) 24.26)
	(= (slew_time Planet23 Star8) 29.13)
	(= (slew_time Star8 Planet23) 29.13)
	(= (slew_time Planet23 Star9) 3.663)
	(= (slew_time Star9 Planet23) 3.663)
	(= (slew_time Planet23 Star10) 1.679)
	(= (slew_time Star10 Planet23) 1.679)
	(= (slew_time Planet23 Planet11) 59.12)
	(= (slew_time Planet11 Planet23) 59.12)
	(= (slew_time Planet23 Phenomenon12) 45.45)
	(= (slew_time Phenomenon12 Planet23) 45.45)
	(= (slew_time Planet23 Phenomenon13) 62.03)
	(= (slew_time Phenomenon13 Planet23) 62.03)
	(= (slew_time Planet23 Planet14) 53.77)
	(= (slew_time Planet14 Planet23) 53.77)
	(= (slew_time Planet23 Star15) 5.582)
	(= (slew_time Star15 Planet23) 5.582)
	(= (slew_time Planet23 Phenomenon16) 10.8)
	(= (slew_time Phenomenon16 Planet23) 10.8)
	(= (slew_time Planet23 Phenomenon17) 53.11)
	(= (slew_time Phenomenon17 Planet23) 53.11)
	(= (slew_time Planet23 Phenomenon18) 5.595)
	(= (slew_time Phenomenon18 Planet23) 5.595)
	(= (slew_time Planet23 Planet19) 86.92)
	(= (slew_time Planet19 Planet23) 86.92)
	(= (slew_time Planet23 Planet20) 21.21)
	(= (slew_time Planet20 Planet23) 21.21)
	(= (slew_time Planet23 Phenomenon21) 41.82)
	(= (slew_time Phenomenon21 Planet23) 41.82)
	(= (slew_time Planet23 Star22) 10.82)
	(= (slew_time Star22 Planet23) 10.82)
	(= (slew_time Phenomenon24 Star0) 91.49)
	(= (slew_time Star0 Phenomenon24) 91.49)
	(= (slew_time Phenomenon24 Star1) 14.18)
	(= (slew_time Star1 Phenomenon24) 14.18)
	(= (slew_time Phenomenon24 GroundStation2) 12.16)
	(= (slew_time GroundStation2 Phenomenon24) 12.16)
	(= (slew_time Phenomenon24 Star3) 37.27)
	(= (slew_time Star3 Phenomenon24) 37.27)
	(= (slew_time Phenomenon24 Star4) 20.18)
	(= (slew_time Star4 Phenomenon24) 20.18)
	(= (slew_time Phenomenon24 Phenomenon5) 43.42)
	(= (slew_time Phenomenon5 Phenomenon24) 43.42)
	(= (slew_time Phenomenon24 Planet6) 11.84)
	(= (slew_time Planet6 Phenomenon24) 11.84)
	(= (slew_time Phenomenon24 Planet7) 50.11)
	(= (slew_time Planet7 Phenomenon24) 50.11)
	(= (slew_time Phenomenon24 Star8) 66.74)
	(= (slew_time Star8 Phenomenon24) 66.74)
	(= (slew_time Phenomenon24 Star9) 0.7288)
	(= (slew_time Star9 Phenomenon24) 0.7288)
	(= (slew_time Phenomenon24 Star10) 27.93)
	(= (slew_time Star10 Phenomenon24) 27.93)
	(= (slew_time Phenomenon24 Planet11) 14.11)
	(= (slew_time Planet11 Phenomenon24) 14.11)
	(= (slew_time Phenomenon24 Phenomenon12) 59.78)
	(= (slew_time Phenomenon12 Phenomenon24) 59.78)
	(= (slew_time Phenomenon24 Phenomenon13) 18.3)
	(= (slew_time Phenomenon13 Phenomenon24) 18.3)
	(= (slew_time Phenomenon24 Planet14) 37.54)
	(= (slew_time Planet14 Phenomenon24) 37.54)
	(= (slew_time Phenomenon24 Star15) 8.038)
	(= (slew_time Star15 Phenomenon24) 8.038)
	(= (slew_time Phenomenon24 Phenomenon16) 13.76)
	(= (slew_time Phenomenon16 Phenomenon24) 13.76)
	(= (slew_time Phenomenon24 Phenomenon17) 39.28)
	(= (slew_time Phenomenon17 Phenomenon24) 39.28)
	(= (slew_time Phenomenon24 Phenomenon18) 31.6)
	(= (slew_time Phenomenon18 Phenomenon24) 31.6)
	(= (slew_time Phenomenon24 Planet19) 1.879)
	(= (slew_time Planet19 Phenomenon24) 1.879)
	(= (slew_time Phenomenon24 Planet20) 19.44)
	(= (slew_time Planet20 Phenomenon24) 19.44)
	(= (slew_time Phenomenon24 Phenomenon21) 11.19)
	(= (slew_time Phenomenon21 Phenomenon24) 11.19)
	(= (slew_time Phenomenon24 Star22) 3.994)
	(= (slew_time Star22 Phenomenon24) 3.994)
	(= (slew_time Phenomenon24 Planet23) 11.27)
	(= (slew_time Planet23 Phenomenon24) 11.27)
)
(:goal (and
	(have_image Phenomenon5 thermograph4)
	(have_image Planet7 image1)
	(have_image Star8 thermograph3)
	(have_image Star9 image1)
	(have_image Star10 image1)
	(have_image Phenomenon13 thermograph2)
	(have_image Star15 thermograph2)
	(have_image Phenomenon17 thermograph4)
	(have_image Phenomenon18 image1)
	(have_image Planet19 thermograph2)
	(have_image Planet20 thermograph4)
	(have_image Phenomenon21 image1)
	(have_image Star22 thermograph3)
))
(:metric minimize (total-time))

)