(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 satellite2 - satellite instrument6 - instrument satellite3 - satellite instrument7 - instrument satellite4 - satellite instrument8 - instrument instrument9 - instrument instrument10 - instrument satellite5 - satellite instrument11 - instrument instrument12 - instrument instrument13 - instrument satellite6 - satellite instrument14 - instrument instrument15 - instrument instrument16 - instrument satellite7 - satellite instrument17 - instrument instrument18 - instrument satellite8 - satellite instrument19 - instrument instrument20 - instrument instrument21 - instrument satellite9 - satellite instrument22 - instrument image0 - mode image2 - mode infrared4 - mode thermograph1 - mode spectrograph3 - mode GroundStation0 - direction Star3 - direction GroundStation4 - direction Star2 - direction GroundStation1 - direction Phenomenon5 - direction Planet6 - direction Planet7 - direction Planet8 - direction Phenomenon9 - direction Planet10 - direction Planet11 - direction Star12 - direction Star13 - direction Star14 - direction Star15 - direction Star16 - direction Phenomenon17 - direction Phenomenon18 - direction Planet19 - direction Star20 - direction Planet21 - direction Planet22 - direction Phenomenon23 - direction Star24 - direction ) (:init (supports instrument0 infrared4) (calibration_target instrument0 Star3) (= (calibration_time instrument0 Star3) 8.73) (supports instrument1 spectrograph3) (calibration_target instrument1 GroundStation0) (= (calibration_time instrument1 GroundStation0) 44.6) (supports instrument2 image0) (supports instrument2 thermograph1) (supports instrument2 image2) (calibration_target instrument2 GroundStation1) (= (calibration_time instrument2 GroundStation1) 47.1) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument2 satellite0) (power_avail satellite0) (pointing satellite0 Star15) (= (data_capacity satellite0) 1000) (supports instrument3 thermograph1) (supports instrument3 image0) (calibration_target instrument3 GroundStation4) (= (calibration_time instrument3 GroundStation4) 99.4) (supports instrument4 image2) (supports instrument4 thermograph1) (calibration_target instrument4 Star3) (= (calibration_time instrument4 Star3) 94.9) (supports instrument5 spectrograph3) (supports instrument5 thermograph1) (supports instrument5 image2) (calibration_target instrument5 GroundStation4) (= (calibration_time instrument5 GroundStation4) 38.5) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite1) (power_avail satellite1) (pointing satellite1 Planet10) (= (data_capacity satellite1) 1000) (supports instrument6 image0) (calibration_target instrument6 GroundStation1) (= (calibration_time instrument6 GroundStation1) 35) (on_board instrument6 satellite2) (power_avail satellite2) (pointing satellite2 Star24) (= (data_capacity satellite2) 1000) (supports instrument7 infrared4) (calibration_target instrument7 Star3) (= (calibration_time instrument7 Star3) 7.73) (on_board instrument7 satellite3) (power_avail satellite3) (pointing satellite3 Phenomenon9) (= (data_capacity satellite3) 1000) (supports instrument8 spectrograph3) (calibration_target instrument8 GroundStation0) (= (calibration_time instrument8 GroundStation0) 89) (supports instrument9 image0) (supports instrument9 image2) (supports instrument9 thermograph1) (calibration_target instrument9 Star3) (= (calibration_time instrument9 Star3) 61.7) (supports instrument10 image0) (supports instrument10 image2) (supports instrument10 spectrograph3) (calibration_target instrument10 Star2) (= (calibration_time instrument10 Star2) 81.6) (on_board instrument8 satellite4) (on_board instrument9 satellite4) (on_board instrument10 satellite4) (power_avail satellite4) (pointing satellite4 Planet19) (= (data_capacity satellite4) 1000) (supports instrument11 image0) (calibration_target instrument11 Star3) (= (calibration_time instrument11 Star3) 71.2) (supports instrument12 infrared4) (supports instrument12 image0) (calibration_target instrument12 GroundStation4) (= (calibration_time instrument12 GroundStation4) 85.3) (supports instrument13 spectrograph3) (calibration_target instrument13 Star2) (= (calibration_time instrument13 Star2) 91.8) (on_board instrument11 satellite5) (on_board instrument12 satellite5) (on_board instrument13 satellite5) (power_avail satellite5) (pointing satellite5 Planet10) (= (data_capacity satellite5) 1000) (supports instrument14 spectrograph3) (supports instrument14 thermograph1) (supports instrument14 image0) (calibration_target instrument14 Star3) (= (calibration_time instrument14 Star3) 84.7) (supports instrument15 image0) (supports instrument15 thermograph1) (supports instrument15 image2) (calibration_target instrument15 GroundStation4) (= (calibration_time instrument15 GroundStation4) 59.4) (supports instrument16 spectrograph3) (supports instrument16 image2) (calibration_target instrument16 GroundStation0) (= (calibration_time instrument16 GroundStation0) 49.7) (on_board instrument14 satellite6) (on_board instrument15 satellite6) (on_board instrument16 satellite6) (power_avail satellite6) (pointing satellite6 Planet11) (= (data_capacity satellite6) 1000) (supports instrument17 thermograph1) (supports instrument17 image2) (supports instrument17 image0) (calibration_target instrument17 GroundStation4) (= (calibration_time instrument17 GroundStation4) 56.3) (supports instrument18 image2) (supports instrument18 thermograph1) (calibration_target instrument18 Star3) (= (calibration_time instrument18 Star3) 58.6) (on_board instrument17 satellite7) (on_board instrument18 satellite7) (power_avail satellite7) (pointing satellite7 Planet11) (= (data_capacity satellite7) 1000) (supports instrument19 thermograph1) (supports instrument19 infrared4) (calibration_target instrument19 Star2) (= (calibration_time instrument19 Star2) 46.3) (supports instrument20 thermograph1) (calibration_target instrument20 GroundStation4) (= (calibration_time instrument20 GroundStation4) 35.5) (supports instrument21 thermograph1) (calibration_target instrument21 Star2) (= (calibration_time instrument21 Star2) 94) (on_board instrument19 satellite8) (on_board instrument20 satellite8) (on_board instrument21 satellite8) (power_avail satellite8) (pointing satellite8 GroundStation4) (= (data_capacity satellite8) 1000) (supports instrument22 spectrograph3) (supports instrument22 thermograph1) (supports instrument22 infrared4) (calibration_target instrument22 GroundStation1) (= (calibration_time instrument22 GroundStation1) 1.07) (on_board instrument22 satellite9) (power_avail satellite9) (pointing satellite9 Planet11) (= (data_capacity satellite9) 1000) (= (data Phenomenon5 image0) 157) (= (data Planet6 image0) 101) (= (data Planet7 image0) 140) (= (data Planet8 image0) 59) (= (data Phenomenon9 image0) 50) (= (data Planet10 image0) 105) (= (data Planet11 image0) 165) (= (data Star12 image0) 66) (= (data Star13 image0) 59) (= (data Star14 image0) 50) (= (data Star15 image0) 129) (= (data Star16 image0) 93) (= (data Phenomenon17 image0) 143) (= (data Phenomenon18 image0) 163) (= (data Planet19 image0) 163) (= (data Star20 image0) 48) (= (data Planet21 image0) 44) (= (data Planet22 image0) 117) (= (data Phenomenon23 image0) 16) (= (data Star24 image0) 82) (= (data Phenomenon5 image2) 44) (= (data Planet6 image2) 78) (= (data Planet7 image2) 134) (= (data Planet8 image2) 52) (= (data Phenomenon9 image2) 112) (= (data Planet10 image2) 136) (= (data Planet11 image2) 4) (= (data Star12 image2) 24) (= (data Star13 image2) 126) (= (data Star14 image2) 166) (= (data Star15 image2) 143) (= (data Star16 image2) 180) (= (data Phenomenon17 image2) 17) (= (data Phenomenon18 image2) 177) (= (data Planet19 image2) 73) (= (data Star20 image2) 135) (= (data Planet21 image2) 123) (= (data Planet22 image2) 102) (= (data Phenomenon23 image2) 192) (= (data Star24 image2) 82) (= (data Phenomenon5 infrared4) 179) (= (data Planet6 infrared4) 10) (= (data Planet7 infrared4) 200) (= (data Planet8 infrared4) 29) (= (data Phenomenon9 infrared4) 126) (= (data Planet10 infrared4) 166) (= (data Planet11 infrared4) 68) (= (data Star12 infrared4) 172) (= (data Star13 infrared4) 177) (= (data Star14 infrared4) 148) (= (data Star15 infrared4) 48) (= (data Star16 infrared4) 109) (= (data Phenomenon17 infrared4) 171) (= (data Phenomenon18 infrared4) 170) (= (data Planet19 infrared4) 191) (= (data Star20 infrared4) 78) (= (data Planet21 infrared4) 140) (= (data Planet22 infrared4) 95) (= (data Phenomenon23 infrared4) 198) (= (data Star24 infrared4) 48) (= (data Phenomenon5 thermograph1) 180) (= (data Planet6 thermograph1) 120) (= (data Planet7 thermograph1) 51) (= (data Planet8 thermograph1) 13) (= (data Phenomenon9 thermograph1) 67) (= (data Planet10 thermograph1) 54) (= (data Planet11 thermograph1) 103) (= (data Star12 thermograph1) 140) (= (data Star13 thermograph1) 2) (= (data Star14 thermograph1) 36) (= (data Star15 thermograph1) 126) (= (data Star16 thermograph1) 200) (= (data Phenomenon17 thermograph1) 196) (= (data Phenomenon18 thermograph1) 7) (= (data Planet19 thermograph1) 100) (= (data Star20 thermograph1) 77) (= (data Planet21 thermograph1) 177) (= (data Planet22 thermograph1) 165) (= (data Phenomenon23 thermograph1) 55) (= (data Star24 thermograph1) 97) (= (data Phenomenon5 spectrograph3) 10) (= (data Planet6 spectrograph3) 92) (= (data Planet7 spectrograph3) 165) (= (data Planet8 spectrograph3) 128) (= (data Phenomenon9 spectrograph3) 157) (= (data Planet10 spectrograph3) 171) (= (data Planet11 spectrograph3) 136) (= (data Star12 spectrograph3) 162) (= (data Star13 spectrograph3) 10) (= (data Star14 spectrograph3) 121) (= (data Star15 spectrograph3) 69) (= (data Star16 spectrograph3) 121) (= (data Phenomenon17 spectrograph3) 21) (= (data Phenomenon18 spectrograph3) 75) (= (data Planet19 spectrograph3) 51) (= (data Star20 spectrograph3) 186) (= (data Planet21 spectrograph3) 158) (= (data Planet22 spectrograph3) 100) (= (data Phenomenon23 spectrograph3) 177) (= (data Star24 spectrograph3) 65) (= (slew_time Star3 GroundStation0) 82.65) (= (slew_time GroundStation0 Star3) 82.65) (= (slew_time Star3 GroundStation1) 72.99) (= (slew_time GroundStation1 Star3) 72.99) (= (slew_time Star3 Star2) 59.75) (= (slew_time Star2 Star3) 59.75) (= (slew_time GroundStation4 GroundStation0) 27.69) (= (slew_time GroundStation0 GroundStation4) 27.69) (= (slew_time GroundStation4 GroundStation1) 13.02) (= (slew_time GroundStation1 GroundStation4) 13.02) (= (slew_time GroundStation4 Star2) 40.67) (= (slew_time Star2 GroundStation4) 40.67) (= (slew_time GroundStation4 Star3) 36.16) (= (slew_time Star3 GroundStation4) 36.16) (= (slew_time Star2 GroundStation0) 42.16) (= (slew_time GroundStation0 Star2) 42.16) (= (slew_time Star2 GroundStation1) 36.03) (= (slew_time GroundStation1 Star2) 36.03) (= (slew_time GroundStation1 GroundStation0) 7.759) (= (slew_time GroundStation0 GroundStation1) 7.759) (= (slew_time Phenomenon5 GroundStation0) 5.225) (= (slew_time GroundStation0 Phenomenon5) 5.225) (= (slew_time Phenomenon5 GroundStation1) 31.6) (= (slew_time GroundStation1 Phenomenon5) 31.6) (= (slew_time Phenomenon5 Star2) 57.41) (= (slew_time Star2 Phenomenon5) 57.41) (= (slew_time Phenomenon5 Star3) 29.86) (= (slew_time Star3 Phenomenon5) 29.86) (= (slew_time Phenomenon5 GroundStation4) 7.052) (= (slew_time GroundStation4 Phenomenon5) 7.052) (= (slew_time Planet6 GroundStation0) 23.31) (= (slew_time GroundStation0 Planet6) 23.31) (= (slew_time Planet6 GroundStation1) 70.99) (= (slew_time GroundStation1 Planet6) 70.99) (= (slew_time Planet6 Star2) 34.6) (= (slew_time Star2 Planet6) 34.6) (= (slew_time Planet6 Star3) 15.59) (= (slew_time Star3 Planet6) 15.59) (= (slew_time Planet6 GroundStation4) 18.01) (= (slew_time GroundStation4 Planet6) 18.01) (= (slew_time Planet6 Phenomenon5) 52.95) (= (slew_time Phenomenon5 Planet6) 52.95) (= (slew_time Planet7 GroundStation0) 20.05) (= (slew_time GroundStation0 Planet7) 20.05) (= (slew_time Planet7 GroundStation1) 2.571) (= (slew_time GroundStation1 Planet7) 2.571) (= (slew_time Planet7 Star2) 6.524) (= (slew_time Star2 Planet7) 6.524) (= (slew_time Planet7 Star3) 0.8584) (= (slew_time Star3 Planet7) 0.8584) (= (slew_time Planet7 GroundStation4) 1.093) (= (slew_time GroundStation4 Planet7) 1.093) (= (slew_time Planet7 Phenomenon5) 12.9) (= (slew_time Phenomenon5 Planet7) 12.9) (= (slew_time Planet7 Planet6) 10.43) (= (slew_time Planet6 Planet7) 10.43) (= (slew_time Planet8 GroundStation0) 32.39) (= (slew_time GroundStation0 Planet8) 32.39) (= (slew_time Planet8 GroundStation1) 28.19) (= (slew_time GroundStation1 Planet8) 28.19) (= (slew_time Planet8 Star2) 9.844) (= (slew_time Star2 Planet8) 9.844) (= (slew_time Planet8 Star3) 64.28) (= (slew_time Star3 Planet8) 64.28) (= (slew_time Planet8 GroundStation4) 1.129) (= (slew_time GroundStation4 Planet8) 1.129) (= (slew_time Planet8 Phenomenon5) 35.19) (= (slew_time Phenomenon5 Planet8) 35.19) (= (slew_time Planet8 Planet6) 8.617) (= (slew_time Planet6 Planet8) 8.617) (= (slew_time Planet8 Planet7) 68.86) (= (slew_time Planet7 Planet8) 68.86) (= (slew_time Phenomenon9 GroundStation0) 6.693) (= (slew_time GroundStation0 Phenomenon9) 6.693) (= (slew_time Phenomenon9 GroundStation1) 53.75) (= (slew_time GroundStation1 Phenomenon9) 53.75) (= (slew_time Phenomenon9 Star2) 23.65) (= (slew_time Star2 Phenomenon9) 23.65) (= (slew_time Phenomenon9 Star3) 9.895) (= (slew_time Star3 Phenomenon9) 9.895) (= (slew_time Phenomenon9 GroundStation4) 20.22) (= (slew_time GroundStation4 Phenomenon9) 20.22) (= (slew_time Phenomenon9 Phenomenon5) 75.17) (= (slew_time Phenomenon5 Phenomenon9) 75.17) (= (slew_time Phenomenon9 Planet6) 2.659) (= (slew_time Planet6 Phenomenon9) 2.659) (= (slew_time Phenomenon9 Planet7) 2.091) (= (slew_time Planet7 Phenomenon9) 2.091) (= (slew_time Phenomenon9 Planet8) 51.89) (= (slew_time Planet8 Phenomenon9) 51.89) (= (slew_time Planet10 GroundStation0) 57.69) (= (slew_time GroundStation0 Planet10) 57.69) (= (slew_time Planet10 GroundStation1) 49.78) (= (slew_time GroundStation1 Planet10) 49.78) (= (slew_time Planet10 Star2) 28.8) (= (slew_time Star2 Planet10) 28.8) (= (slew_time Planet10 Star3) 8.622) (= (slew_time Star3 Planet10) 8.622) (= (slew_time Planet10 GroundStation4) 20.41) (= (slew_time GroundStation4 Planet10) 20.41) (= (slew_time Planet10 Phenomenon5) 41.39) (= (slew_time Phenomenon5 Planet10) 41.39) (= (slew_time Planet10 Planet6) 22.75) (= (slew_time Planet6 Planet10) 22.75) (= (slew_time Planet10 Planet7) 39.09) (= (slew_time Planet7 Planet10) 39.09) (= (slew_time Planet10 Planet8) 10.99) (= (slew_time Planet8 Planet10) 10.99) (= (slew_time Planet10 Phenomenon9) 74.2) (= (slew_time Phenomenon9 Planet10) 74.2) (= (slew_time Planet11 GroundStation0) 2.06) (= (slew_time GroundStation0 Planet11) 2.06) (= (slew_time Planet11 GroundStation1) 5.673) (= (slew_time GroundStation1 Planet11) 5.673) (= (slew_time Planet11 Star2) 53.95) (= (slew_time Star2 Planet11) 53.95) (= (slew_time Planet11 Star3) 47.04) (= (slew_time Star3 Planet11) 47.04) (= (slew_time Planet11 GroundStation4) 30.83) (= (slew_time GroundStation4 Planet11) 30.83) (= (slew_time Planet11 Phenomenon5) 81.57) (= (slew_time Phenomenon5 Planet11) 81.57) (= (slew_time Planet11 Planet6) 45.64) (= (slew_time Planet6 Planet11) 45.64) (= (slew_time Planet11 Planet7) 3.453) (= (slew_time Planet7 Planet11) 3.453) (= (slew_time Planet11 Planet8) 34.93) (= (slew_time Planet8 Planet11) 34.93) (= (slew_time Planet11 Phenomenon9) 64.97) (= (slew_time Phenomenon9 Planet11) 64.97) (= (slew_time Planet11 Planet10) 46.06) (= (slew_time Planet10 Planet11) 46.06) (= (slew_time Star12 GroundStation0) 31.92) (= (slew_time GroundStation0 Star12) 31.92) (= (slew_time Star12 GroundStation1) 19.55) (= (slew_time GroundStation1 Star12) 19.55) (= (slew_time Star12 Star2) 8.339) (= (slew_time Star2 Star12) 8.339) (= (slew_time Star12 Star3) 54.79) (= (slew_time Star3 Star12) 54.79) (= (slew_time Star12 GroundStation4) 49.27) (= (slew_time GroundStation4 Star12) 49.27) (= (slew_time Star12 Phenomenon5) 8.099) (= (slew_time Phenomenon5 Star12) 8.099) (= (slew_time Star12 Planet6) 4.907) (= (slew_time Planet6 Star12) 4.907) (= (slew_time Star12 Planet7) 21.08) (= (slew_time Planet7 Star12) 21.08) (= (slew_time Star12 Planet8) 22.66) (= (slew_time Planet8 Star12) 22.66) (= (slew_time Star12 Phenomenon9) 85.96) (= (slew_time Phenomenon9 Star12) 85.96) (= (slew_time Star12 Planet10) 87.39) (= (slew_time Planet10 Star12) 87.39) (= (slew_time Star12 Planet11) 77.11) (= (slew_time Planet11 Star12) 77.11) (= (slew_time Star13 GroundStation0) 11.47) (= (slew_time GroundStation0 Star13) 11.47) (= (slew_time Star13 GroundStation1) 12.22) (= (slew_time GroundStation1 Star13) 12.22) (= (slew_time Star13 Star2) 42.57) (= (slew_time Star2 Star13) 42.57) (= (slew_time Star13 Star3) 17.9) (= (slew_time Star3 Star13) 17.9) (= (slew_time Star13 GroundStation4) 14.45) (= (slew_time GroundStation4 Star13) 14.45) (= (slew_time Star13 Phenomenon5) 12.88) (= (slew_time Phenomenon5 Star13) 12.88) (= (slew_time Star13 Planet6) 27.72) (= (slew_time Planet6 Star13) 27.72) (= (slew_time Star13 Planet7) 24.85) (= (slew_time Planet7 Star13) 24.85) (= (slew_time Star13 Planet8) 49.77) (= (slew_time Planet8 Star13) 49.77) (= (slew_time Star13 Phenomenon9) 43.55) (= (slew_time Phenomenon9 Star13) 43.55) (= (slew_time Star13 Planet10) 31.48) (= (slew_time Planet10 Star13) 31.48) (= (slew_time Star13 Planet11) 49.56) (= (slew_time Planet11 Star13) 49.56) (= (slew_time Star13 Star12) 25.8) (= (slew_time Star12 Star13) 25.8) (= (slew_time Star14 GroundStation0) 15.42) (= (slew_time GroundStation0 Star14) 15.42) (= (slew_time Star14 GroundStation1) 48.69) (= (slew_time GroundStation1 Star14) 48.69) (= (slew_time Star14 Star2) 20.5) (= (slew_time Star2 Star14) 20.5) (= (slew_time Star14 Star3) 36.28) (= (slew_time Star3 Star14) 36.28) (= (slew_time Star14 GroundStation4) 14.34) (= (slew_time GroundStation4 Star14) 14.34) (= (slew_time Star14 Phenomenon5) 52.47) (= (slew_time Phenomenon5 Star14) 52.47) (= (slew_time Star14 Planet6) 49.86) (= (slew_time Planet6 Star14) 49.86) (= (slew_time Star14 Planet7) 11.17) (= (slew_time Planet7 Star14) 11.17) (= (slew_time Star14 Planet8) 12.4) (= (slew_time Planet8 Star14) 12.4) (= (slew_time Star14 Phenomenon9) 44.68) (= (slew_time Phenomenon9 Star14) 44.68) (= (slew_time Star14 Planet10) 35.16) (= (slew_time Planet10 Star14) 35.16) (= (slew_time Star14 Planet11) 29.62) (= (slew_time Planet11 Star14) 29.62) (= (slew_time Star14 Star12) 22.98) (= (slew_time Star12 Star14) 22.98) (= (slew_time Star14 Star13) 3.52) (= (slew_time Star13 Star14) 3.52) (= (slew_time Star15 GroundStation0) 58.81) (= (slew_time GroundStation0 Star15) 58.81) (= (slew_time Star15 GroundStation1) 21.02) (= (slew_time GroundStation1 Star15) 21.02) (= (slew_time Star15 Star2) 16.23) (= (slew_time Star2 Star15) 16.23) (= (slew_time Star15 Star3) 8.758) (= (slew_time Star3 Star15) 8.758) (= (slew_time Star15 GroundStation4) 55.13) (= (slew_time GroundStation4 Star15) 55.13) (= (slew_time Star15 Phenomenon5) 27.49) (= (slew_time Phenomenon5 Star15) 27.49) (= (slew_time Star15 Planet6) 31.04) (= (slew_time Planet6 Star15) 31.04) (= (slew_time Star15 Planet7) 59.02) (= (slew_time Planet7 Star15) 59.02) (= (slew_time Star15 Planet8) 47.21) (= (slew_time Planet8 Star15) 47.21) (= (slew_time Star15 Phenomenon9) 3.352) (= (slew_time Phenomenon9 Star15) 3.352) (= (slew_time Star15 Planet10) 5.218) (= (slew_time Planet10 Star15) 5.218) (= (slew_time Star15 Planet11) 62.25) (= (slew_time Planet11 Star15) 62.25) (= (slew_time Star15 Star12) 4.432) (= (slew_time Star12 Star15) 4.432) (= (slew_time Star15 Star13) 25.13) (= (slew_time Star13 Star15) 25.13) (= (slew_time Star15 Star14) 16.08) (= (slew_time Star14 Star15) 16.08) (= (slew_time Star16 GroundStation0) 18.19) (= (slew_time GroundStation0 Star16) 18.19) (= (slew_time Star16 GroundStation1) 24.17) (= (slew_time GroundStation1 Star16) 24.17) (= (slew_time Star16 Star2) 7.024) (= (slew_time Star2 Star16) 7.024) (= (slew_time Star16 Star3) 28.61) (= (slew_time Star3 Star16) 28.61) (= (slew_time Star16 GroundStation4) 40.63) (= (slew_time GroundStation4 Star16) 40.63) (= (slew_time Star16 Phenomenon5) 9.248) (= (slew_time Phenomenon5 Star16) 9.248) (= (slew_time Star16 Planet6) 42.56) (= (slew_time Planet6 Star16) 42.56) (= (slew_time Star16 Planet7) 0.1413) (= (slew_time Planet7 Star16) 0.1413) (= (slew_time Star16 Planet8) 16.32) (= (slew_time Planet8 Star16) 16.32) (= (slew_time Star16 Phenomenon9) 14.11) (= (slew_time Phenomenon9 Star16) 14.11) (= (slew_time Star16 Planet10) 54.56) (= (slew_time Planet10 Star16) 54.56) (= (slew_time Star16 Planet11) 71.52) (= (slew_time Planet11 Star16) 71.52) (= (slew_time Star16 Star12) 27.22) (= (slew_time Star12 Star16) 27.22) (= (slew_time Star16 Star13) 10.22) (= (slew_time Star13 Star16) 10.22) (= (slew_time Star16 Star14) 11.69) (= (slew_time Star14 Star16) 11.69) (= (slew_time Star16 Star15) 16.01) (= (slew_time Star15 Star16) 16.01) (= (slew_time Phenomenon17 GroundStation0) 61.01) (= (slew_time GroundStation0 Phenomenon17) 61.01) (= (slew_time Phenomenon17 GroundStation1) 10.36) (= (slew_time GroundStation1 Phenomenon17) 10.36) (= (slew_time Phenomenon17 Star2) 44.17) (= (slew_time Star2 Phenomenon17) 44.17) (= (slew_time Phenomenon17 Star3) 76.06) (= (slew_time Star3 Phenomenon17) 76.06) (= (slew_time Phenomenon17 GroundStation4) 36.29) (= (slew_time GroundStation4 Phenomenon17) 36.29) (= (slew_time Phenomenon17 Phenomenon5) 48.86) (= (slew_time Phenomenon5 Phenomenon17) 48.86) (= (slew_time Phenomenon17 Planet6) 5.161) (= (slew_time Planet6 Phenomenon17) 5.161) (= (slew_time Phenomenon17 Planet7) 6.539) (= (slew_time Planet7 Phenomenon17) 6.539) (= (slew_time Phenomenon17 Planet8) 29.08) (= (slew_time Planet8 Phenomenon17) 29.08) (= (slew_time Phenomenon17 Phenomenon9) 18.71) (= (slew_time Phenomenon9 Phenomenon17) 18.71) (= (slew_time Phenomenon17 Planet10) 13.11) (= (slew_time Planet10 Phenomenon17) 13.11) (= (slew_time Phenomenon17 Planet11) 53.39) (= (slew_time Planet11 Phenomenon17) 53.39) (= (slew_time Phenomenon17 Star12) 55.92) (= (slew_time Star12 Phenomenon17) 55.92) (= (slew_time Phenomenon17 Star13) 26.17) (= (slew_time Star13 Phenomenon17) 26.17) (= (slew_time Phenomenon17 Star14) 0.2749) (= (slew_time Star14 Phenomenon17) 0.2749) (= (slew_time Phenomenon17 Star15) 12.73) (= (slew_time Star15 Phenomenon17) 12.73) (= (slew_time Phenomenon17 Star16) 23.99) (= (slew_time Star16 Phenomenon17) 23.99) (= (slew_time Phenomenon18 GroundStation0) 6.77) (= (slew_time GroundStation0 Phenomenon18) 6.77) (= (slew_time Phenomenon18 GroundStation1) 70.64) (= (slew_time GroundStation1 Phenomenon18) 70.64) (= (slew_time Phenomenon18 Star2) 6.629) (= (slew_time Star2 Phenomenon18) 6.629) (= (slew_time Phenomenon18 Star3) 55.89) (= (slew_time Star3 Phenomenon18) 55.89) (= (slew_time Phenomenon18 GroundStation4) 12.87) (= (slew_time GroundStation4 Phenomenon18) 12.87) (= (slew_time Phenomenon18 Phenomenon5) 24.01) (= (slew_time Phenomenon5 Phenomenon18) 24.01) (= (slew_time Phenomenon18 Planet6) 25.19) (= (slew_time Planet6 Phenomenon18) 25.19) (= (slew_time Phenomenon18 Planet7) 11.97) (= (slew_time Planet7 Phenomenon18) 11.97) (= (slew_time Phenomenon18 Planet8) 53.2) (= (slew_time Planet8 Phenomenon18) 53.2) (= (slew_time Phenomenon18 Phenomenon9) 53.19) (= (slew_time Phenomenon9 Phenomenon18) 53.19) (= (slew_time Phenomenon18 Planet10) 8.02) (= (slew_time Planet10 Phenomenon18) 8.02) (= (slew_time Phenomenon18 Planet11) 14.93) (= (slew_time Planet11 Phenomenon18) 14.93) (= (slew_time Phenomenon18 Star12) 8.342) (= (slew_time Star12 Phenomenon18) 8.342) (= (slew_time Phenomenon18 Star13) 34) (= (slew_time Star13 Phenomenon18) 34) (= (slew_time Phenomenon18 Star14) 58.53) (= (slew_time Star14 Phenomenon18) 58.53) (= (slew_time Phenomenon18 Star15) 20.24) (= (slew_time Star15 Phenomenon18) 20.24) (= (slew_time Phenomenon18 Star16) 23.29) (= (slew_time Star16 Phenomenon18) 23.29) (= (slew_time Phenomenon18 Phenomenon17) 14.58) (= (slew_time Phenomenon17 Phenomenon18) 14.58) (= (slew_time Planet19 GroundStation0) 60.8) (= (slew_time GroundStation0 Planet19) 60.8) (= (slew_time Planet19 GroundStation1) 8.574) (= (slew_time GroundStation1 Planet19) 8.574) (= (slew_time Planet19 Star2) 46.05) (= (slew_time Star2 Planet19) 46.05) (= (slew_time Planet19 Star3) 0.8293) (= (slew_time Star3 Planet19) 0.8293) (= (slew_time Planet19 GroundStation4) 20.3) (= (slew_time GroundStation4 Planet19) 20.3) (= (slew_time Planet19 Phenomenon5) 9.963) (= (slew_time Phenomenon5 Planet19) 9.963) (= (slew_time Planet19 Planet6) 6.684) (= (slew_time Planet6 Planet19) 6.684) (= (slew_time Planet19 Planet7) 1.631) (= (slew_time Planet7 Planet19) 1.631) (= (slew_time Planet19 Planet8) 27.61) (= (slew_time Planet8 Planet19) 27.61) (= (slew_time Planet19 Phenomenon9) 24.39) (= (slew_time Phenomenon9 Planet19) 24.39) (= (slew_time Planet19 Planet10) 35.29) (= (slew_time Planet10 Planet19) 35.29) (= (slew_time Planet19 Planet11) 72.94) (= (slew_time Planet11 Planet19) 72.94) (= (slew_time Planet19 Star12) 31.54) (= (slew_time Star12 Planet19) 31.54) (= (slew_time Planet19 Star13) 0.9877) (= (slew_time Star13 Planet19) 0.9877) (= (slew_time Planet19 Star14) 84.78) (= (slew_time Star14 Planet19) 84.78) (= (slew_time Planet19 Star15) 8.565) (= (slew_time Star15 Planet19) 8.565) (= (slew_time Planet19 Star16) 46.25) (= (slew_time Star16 Planet19) 46.25) (= (slew_time Planet19 Phenomenon17) 38.39) (= (slew_time Phenomenon17 Planet19) 38.39) (= (slew_time Planet19 Phenomenon18) 11.78) (= (slew_time Phenomenon18 Planet19) 11.78) (= (slew_time Star20 GroundStation0) 61.13) (= (slew_time GroundStation0 Star20) 61.13) (= (slew_time Star20 GroundStation1) 58.66) (= (slew_time GroundStation1 Star20) 58.66) (= (slew_time Star20 Star2) 44.53) (= (slew_time Star2 Star20) 44.53) (= (slew_time Star20 Star3) 43.15) (= (slew_time Star3 Star20) 43.15) (= (slew_time Star20 GroundStation4) 34.85) (= (slew_time GroundStation4 Star20) 34.85) (= (slew_time Star20 Phenomenon5) 68.92) (= (slew_time Phenomenon5 Star20) 68.92) (= (slew_time Star20 Planet6) 77.59) (= (slew_time Planet6 Star20) 77.59) (= (slew_time Star20 Planet7) 20.51) (= (slew_time Planet7 Star20) 20.51) (= (slew_time Star20 Planet8) 68.55) (= (slew_time Planet8 Star20) 68.55) (= (slew_time Star20 Phenomenon9) 38.45) (= (slew_time Phenomenon9 Star20) 38.45) (= (slew_time Star20 Planet10) 49.42) (= (slew_time Planet10 Star20) 49.42) (= (slew_time Star20 Planet11) 45.23) (= (slew_time Planet11 Star20) 45.23) (= (slew_time Star20 Star12) 80.67) (= (slew_time Star12 Star20) 80.67) (= (slew_time Star20 Star13) 27.78) (= (slew_time Star13 Star20) 27.78) (= (slew_time Star20 Star14) 30.08) (= (slew_time Star14 Star20) 30.08) (= (slew_time Star20 Star15) 1.527) (= (slew_time Star15 Star20) 1.527) (= (slew_time Star20 Star16) 18.27) (= (slew_time Star16 Star20) 18.27) (= (slew_time Star20 Phenomenon17) 24.88) (= (slew_time Phenomenon17 Star20) 24.88) (= (slew_time Star20 Phenomenon18) 73.43) (= (slew_time Phenomenon18 Star20) 73.43) (= (slew_time Star20 Planet19) 5.815) (= (slew_time Planet19 Star20) 5.815) (= (slew_time Planet21 GroundStation0) 12.93) (= (slew_time GroundStation0 Planet21) 12.93) (= (slew_time Planet21 GroundStation1) 41.91) (= (slew_time GroundStation1 Planet21) 41.91) (= (slew_time Planet21 Star2) 30.42) (= (slew_time Star2 Planet21) 30.42) (= (slew_time Planet21 Star3) 31.49) (= (slew_time Star3 Planet21) 31.49) (= (slew_time Planet21 GroundStation4) 28.78) (= (slew_time GroundStation4 Planet21) 28.78) (= (slew_time Planet21 Phenomenon5) 1.845) (= (slew_time Phenomenon5 Planet21) 1.845) (= (slew_time Planet21 Planet6) 62.71) (= (slew_time Planet6 Planet21) 62.71) (= (slew_time Planet21 Planet7) 45.14) (= (slew_time Planet7 Planet21) 45.14) (= (slew_time Planet21 Planet8) 31.83) (= (slew_time Planet8 Planet21) 31.83) (= (slew_time Planet21 Phenomenon9) 24.05) (= (slew_time Phenomenon9 Planet21) 24.05) (= (slew_time Planet21 Planet10) 75.3) (= (slew_time Planet10 Planet21) 75.3) (= (slew_time Planet21 Planet11) 75.1) (= (slew_time Planet11 Planet21) 75.1) (= (slew_time Planet21 Star12) 65.04) (= (slew_time Star12 Planet21) 65.04) (= (slew_time Planet21 Star13) 23.81) (= (slew_time Star13 Planet21) 23.81) (= (slew_time Planet21 Star14) 47.22) (= (slew_time Star14 Planet21) 47.22) (= (slew_time Planet21 Star15) 44.74) (= (slew_time Star15 Planet21) 44.74) (= (slew_time Planet21 Star16) 7.438) (= (slew_time Star16 Planet21) 7.438) (= (slew_time Planet21 Phenomenon17) 27.69) (= (slew_time Phenomenon17 Planet21) 27.69) (= (slew_time Planet21 Phenomenon18) 1.824) (= (slew_time Phenomenon18 Planet21) 1.824) (= (slew_time Planet21 Planet19) 9.625) (= (slew_time Planet19 Planet21) 9.625) (= (slew_time Planet21 Star20) 31.96) (= (slew_time Star20 Planet21) 31.96) (= (slew_time Planet22 GroundStation0) 42.54) (= (slew_time GroundStation0 Planet22) 42.54) (= (slew_time Planet22 GroundStation1) 2.281) (= (slew_time GroundStation1 Planet22) 2.281) (= (slew_time Planet22 Star2) 11.22) (= (slew_time Star2 Planet22) 11.22) (= (slew_time Planet22 Star3) 19.67) (= (slew_time Star3 Planet22) 19.67) (= (slew_time Planet22 GroundStation4) 22.25) (= (slew_time GroundStation4 Planet22) 22.25) (= (slew_time Planet22 Phenomenon5) 30.42) (= (slew_time Phenomenon5 Planet22) 30.42) (= (slew_time Planet22 Planet6) 10.01) (= (slew_time Planet6 Planet22) 10.01) (= (slew_time Planet22 Planet7) 45.28) (= (slew_time Planet7 Planet22) 45.28) (= (slew_time Planet22 Planet8) 25.77) (= (slew_time Planet8 Planet22) 25.77) (= (slew_time Planet22 Phenomenon9) 42.5) (= (slew_time Phenomenon9 Planet22) 42.5) (= (slew_time Planet22 Planet10) 26.56) (= (slew_time Planet10 Planet22) 26.56) (= (slew_time Planet22 Planet11) 6.551) (= (slew_time Planet11 Planet22) 6.551) (= (slew_time Planet22 Star12) 26.51) (= (slew_time Star12 Planet22) 26.51) (= (slew_time Planet22 Star13) 9.433) (= (slew_time Star13 Planet22) 9.433) (= (slew_time Planet22 Star14) 23.36) (= (slew_time Star14 Planet22) 23.36) (= (slew_time Planet22 Star15) 19) (= (slew_time Star15 Planet22) 19) (= (slew_time Planet22 Star16) 23.51) (= (slew_time Star16 Planet22) 23.51) (= (slew_time Planet22 Phenomenon17) 70.04) (= (slew_time Phenomenon17 Planet22) 70.04) (= (slew_time Planet22 Phenomenon18) 58.31) (= (slew_time Phenomenon18 Planet22) 58.31) (= (slew_time Planet22 Planet19) 37.13) (= (slew_time Planet19 Planet22) 37.13) (= (slew_time Planet22 Star20) 47.06) (= (slew_time Star20 Planet22) 47.06) (= (slew_time Planet22 Planet21) 62.96) (= (slew_time Planet21 Planet22) 62.96) (= (slew_time Phenomenon23 GroundStation0) 5.919) (= (slew_time GroundStation0 Phenomenon23) 5.919) (= (slew_time Phenomenon23 GroundStation1) 10.77) (= (slew_time GroundStation1 Phenomenon23) 10.77) (= (slew_time Phenomenon23 Star2) 50.63) (= (slew_time Star2 Phenomenon23) 50.63) (= (slew_time Phenomenon23 Star3) 34.8) (= (slew_time Star3 Phenomenon23) 34.8) (= (slew_time Phenomenon23 GroundStation4) 24.06) (= (slew_time GroundStation4 Phenomenon23) 24.06) (= (slew_time Phenomenon23 Phenomenon5) 26.09) (= (slew_time Phenomenon5 Phenomenon23) 26.09) (= (slew_time Phenomenon23 Planet6) 29.26) (= (slew_time Planet6 Phenomenon23) 29.26) (= (slew_time Phenomenon23 Planet7) 34.34) (= (slew_time Planet7 Phenomenon23) 34.34) (= (slew_time Phenomenon23 Planet8) 23.33) (= (slew_time Planet8 Phenomenon23) 23.33) (= (slew_time Phenomenon23 Phenomenon9) 74.05) (= (slew_time Phenomenon9 Phenomenon23) 74.05) (= (slew_time Phenomenon23 Planet10) 9.181) (= (slew_time Planet10 Phenomenon23) 9.181) (= (slew_time Phenomenon23 Planet11) 9.158) (= (slew_time Planet11 Phenomenon23) 9.158) (= (slew_time Phenomenon23 Star12) 47.82) (= (slew_time Star12 Phenomenon23) 47.82) (= (slew_time Phenomenon23 Star13) 3.06) (= (slew_time Star13 Phenomenon23) 3.06) (= (slew_time Phenomenon23 Star14) 36.86) (= (slew_time Star14 Phenomenon23) 36.86) (= (slew_time Phenomenon23 Star15) 46.59) (= (slew_time Star15 Phenomenon23) 46.59) (= (slew_time Phenomenon23 Star16) 65.88) (= (slew_time Star16 Phenomenon23) 65.88) (= (slew_time Phenomenon23 Phenomenon17) 45.79) (= (slew_time Phenomenon17 Phenomenon23) 45.79) (= (slew_time Phenomenon23 Phenomenon18) 21.12) (= (slew_time Phenomenon18 Phenomenon23) 21.12) (= (slew_time Phenomenon23 Planet19) 33.1) (= (slew_time Planet19 Phenomenon23) 33.1) (= (slew_time Phenomenon23 Star20) 10.29) (= (slew_time Star20 Phenomenon23) 10.29) (= (slew_time Phenomenon23 Planet21) 10.29) (= (slew_time Planet21 Phenomenon23) 10.29) (= (slew_time Phenomenon23 Planet22) 27.01) (= (slew_time Planet22 Phenomenon23) 27.01) (= (slew_time Star24 GroundStation0) 40.43) (= (slew_time GroundStation0 Star24) 40.43) (= (slew_time Star24 GroundStation1) 38.74) (= (slew_time GroundStation1 Star24) 38.74) (= (slew_time Star24 Star2) 15.2) (= (slew_time Star2 Star24) 15.2) (= (slew_time Star24 Star3) 9.974) (= (slew_time Star3 Star24) 9.974) (= (slew_time Star24 GroundStation4) 32.95) (= (slew_time GroundStation4 Star24) 32.95) (= (slew_time Star24 Phenomenon5) 18.21) (= (slew_time Phenomenon5 Star24) 18.21) (= (slew_time Star24 Planet6) 4.726) (= (slew_time Planet6 Star24) 4.726) (= (slew_time Star24 Planet7) 16.36) (= (slew_time Planet7 Star24) 16.36) (= (slew_time Star24 Planet8) 39.49) (= (slew_time Planet8 Star24) 39.49) (= (slew_time Star24 Phenomenon9) 17.95) (= (slew_time Phenomenon9 Star24) 17.95) (= (slew_time Star24 Planet10) 15.81) (= (slew_time Planet10 Star24) 15.81) (= (slew_time Star24 Planet11) 2.528) (= (slew_time Planet11 Star24) 2.528) (= (slew_time Star24 Star12) 16.06) (= (slew_time Star12 Star24) 16.06) (= (slew_time Star24 Star13) 14.91) (= (slew_time Star13 Star24) 14.91) (= (slew_time Star24 Star14) 49.24) (= (slew_time Star14 Star24) 49.24) (= (slew_time Star24 Star15) 5.603) (= (slew_time Star15 Star24) 5.603) (= (slew_time Star24 Star16) 43.5) (= (slew_time Star16 Star24) 43.5) (= (slew_time Star24 Phenomenon17) 52.25) (= (slew_time Phenomenon17 Star24) 52.25) (= (slew_time Star24 Phenomenon18) 33.95) (= (slew_time Phenomenon18 Star24) 33.95) (= (slew_time Star24 Planet19) 44.12) (= (slew_time Planet19 Star24) 44.12) (= (slew_time Star24 Star20) 68.12) (= (slew_time Star20 Star24) 68.12) (= (slew_time Star24 Planet21) 16.36) (= (slew_time Planet21 Star24) 16.36) (= (slew_time Star24 Planet22) 8.464) (= (slew_time Planet22 Star24) 8.464) (= (slew_time Star24 Phenomenon23) 19.49) (= (slew_time Phenomenon23 Star24) 19.49) (= (data-stored) 0) ) (:goal (and (pointing satellite5 Planet6) (pointing satellite7 Star3) (pointing satellite8 Star15) (pointing satellite9 Star16) (have_image Phenomenon5 thermograph1) (have_image Planet6 infrared4) (have_image Planet7 image0) (have_image Planet8 thermograph1) (have_image Phenomenon9 image2) (have_image Planet10 image0) (have_image Planet11 infrared4) (have_image Star12 image0) (have_image Star13 image0) (have_image Star14 thermograph1) (have_image Star15 image0) (have_image Star16 thermograph1) (have_image Phenomenon17 infrared4) (have_image Phenomenon18 spectrograph3) (have_image Star20 image0) (have_image Planet21 thermograph1) (have_image Planet22 image2) (have_image Phenomenon23 image0) (have_image Star24 infrared4) )) (:metric minimize (total-time)) )