(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)) )