(define (problem strips-sat-x-1) (:domain satellite) (:objects satellite0 - satellite instrument0 - instrument instrument1 - instrument instrument2 - instrument instrument3 - instrument satellite1 - satellite instrument4 - instrument satellite2 - satellite instrument5 - instrument instrument6 - instrument instrument7 - instrument instrument8 - instrument instrument9 - instrument satellite3 - satellite instrument10 - instrument satellite4 - satellite instrument11 - instrument instrument12 - instrument instrument13 - instrument instrument14 - instrument infrared3 - mode spectrograph0 - mode infrared2 - mode thermograph1 - mode image4 - mode Star4 - direction Star2 - direction Star0 - direction GroundStation3 - direction GroundStation1 - direction Star5 - direction Planet6 - direction Planet7 - direction Star8 - direction Planet9 - direction Planet10 - direction Star11 - direction Planet12 - direction Planet13 - direction Phenomenon14 - direction Planet15 - direction Planet16 - direction Star17 - direction Star18 - direction Planet19 - direction Star20 - direction Phenomenon21 - direction Phenomenon22 - direction Star23 - direction Star24 - direction Planet25 - direction Phenomenon26 - direction Phenomenon27 - direction Planet28 - direction Star29 - direction Phenomenon30 - direction Star31 - direction Phenomenon32 - direction Planet33 - direction Planet34 - direction ) (:init (supports instrument0 spectrograph0) (supports instrument0 infrared2) (calibration_target instrument0 GroundStation1) (supports instrument1 infrared3) (supports instrument1 image4) (calibration_target instrument1 Star0) (supports instrument2 infrared2) (calibration_target instrument2 Star0) (supports instrument3 image4) (calibration_target instrument3 Star4) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument2 satellite0) (on_board instrument3 satellite0) (power_avail satellite0) (pointing satellite0 Planet10) (= (data_capacity satellite0) 1000) (= (fuel satellite0) 134) (supports instrument4 infrared2) (calibration_target instrument4 Star0) (on_board instrument4 satellite1) (power_avail satellite1) (pointing satellite1 Star8) (= (data_capacity satellite1) 1000) (= (fuel satellite1) 198) (supports instrument5 spectrograph0) (calibration_target instrument5 GroundStation1) (supports instrument6 infrared2) (supports instrument6 image4) (supports instrument6 thermograph1) (calibration_target instrument6 Star2) (supports instrument7 spectrograph0) (supports instrument7 infrared2) (supports instrument7 thermograph1) (calibration_target instrument7 Star2) (supports instrument8 infrared2) (supports instrument8 infrared3) (calibration_target instrument8 Star2) (supports instrument9 infrared3) (calibration_target instrument9 GroundStation3) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (on_board instrument7 satellite2) (on_board instrument8 satellite2) (on_board instrument9 satellite2) (power_avail satellite2) (pointing satellite2 Star5) (= (data_capacity satellite2) 1000) (= (fuel satellite2) 119) (supports instrument10 infrared3) (supports instrument10 thermograph1) (supports instrument10 image4) (calibration_target instrument10 Star4) (on_board instrument10 satellite3) (power_avail satellite3) (pointing satellite3 Planet16) (= (data_capacity satellite3) 1000) (= (fuel satellite3) 139) (supports instrument11 spectrograph0) (supports instrument11 thermograph1) (calibration_target instrument11 Star2) (supports instrument12 infrared2) (calibration_target instrument12 Star0) (supports instrument13 image4) (calibration_target instrument13 GroundStation3) (supports instrument14 image4) (supports instrument14 thermograph1) (calibration_target instrument14 GroundStation1) (on_board instrument11 satellite4) (on_board instrument12 satellite4) (on_board instrument13 satellite4) (on_board instrument14 satellite4) (power_avail satellite4) (pointing satellite4 Planet34) (= (data_capacity satellite4) 1000) (= (fuel satellite4) 114) (= (data Star5 infrared3) 131) (= (data Planet6 infrared3) 25) (= (data Planet7 infrared3) 183) (= (data Star8 infrared3) 45) (= (data Planet9 infrared3) 154) (= (data Planet10 infrared3) 87) (= (data Star11 infrared3) 52) (= (data Planet12 infrared3) 8) (= (data Planet13 infrared3) 25) (= (data Phenomenon14 infrared3) 130) (= (data Planet15 infrared3) 134) (= (data Planet16 infrared3) 4) (= (data Star17 infrared3) 145) (= (data Star18 infrared3) 13) (= (data Planet19 infrared3) 49) (= (data Star20 infrared3) 189) (= (data Phenomenon21 infrared3) 15) (= (data Phenomenon22 infrared3) 136) (= (data Star23 infrared3) 135) (= (data Star24 infrared3) 160) (= (data Planet25 infrared3) 76) (= (data Phenomenon26 infrared3) 36) (= (data Phenomenon27 infrared3) 187) (= (data Planet28 infrared3) 175) (= (data Star29 infrared3) 125) (= (data Phenomenon30 infrared3) 52) (= (data Star31 infrared3) 160) (= (data Phenomenon32 infrared3) 181) (= (data Planet33 infrared3) 186) (= (data Planet34 infrared3) 103) (= (data Star5 spectrograph0) 66) (= (data Planet6 spectrograph0) 100) (= (data Planet7 spectrograph0) 52) (= (data Star8 spectrograph0) 115) (= (data Planet9 spectrograph0) 95) (= (data Planet10 spectrograph0) 111) (= (data Star11 spectrograph0) 166) (= (data Planet12 spectrograph0) 171) (= (data Planet13 spectrograph0) 116) (= (data Phenomenon14 spectrograph0) 174) (= (data Planet15 spectrograph0) 138) (= (data Planet16 spectrograph0) 189) (= (data Star17 spectrograph0) 198) (= (data Star18 spectrograph0) 134) (= (data Planet19 spectrograph0) 146) (= (data Star20 spectrograph0) 174) (= (data Phenomenon21 spectrograph0) 68) (= (data Phenomenon22 spectrograph0) 111) (= (data Star23 spectrograph0) 97) (= (data Star24 spectrograph0) 118) (= (data Planet25 spectrograph0) 150) (= (data Phenomenon26 spectrograph0) 180) (= (data Phenomenon27 spectrograph0) 110) (= (data Planet28 spectrograph0) 28) (= (data Star29 spectrograph0) 140) (= (data Phenomenon30 spectrograph0) 130) (= (data Star31 spectrograph0) 160) (= (data Phenomenon32 spectrograph0) 123) (= (data Planet33 spectrograph0) 68) (= (data Planet34 spectrograph0) 123) (= (data Star5 infrared2) 185) (= (data Planet6 infrared2) 115) (= (data Planet7 infrared2) 72) (= (data Star8 infrared2) 44) (= (data Planet9 infrared2) 192) (= (data Planet10 infrared2) 119) (= (data Star11 infrared2) 166) (= (data Planet12 infrared2) 113) (= (data Planet13 infrared2) 61) (= (data Phenomenon14 infrared2) 143) (= (data Planet15 infrared2) 59) (= (data Planet16 infrared2) 51) (= (data Star17 infrared2) 193) (= (data Star18 infrared2) 20) (= (data Planet19 infrared2) 130) (= (data Star20 infrared2) 46) (= (data Phenomenon21 infrared2) 78) (= (data Phenomenon22 infrared2) 68) (= (data Star23 infrared2) 87) (= (data Star24 infrared2) 175) (= (data Planet25 infrared2) 195) (= (data Phenomenon26 infrared2) 196) (= (data Phenomenon27 infrared2) 50) (= (data Planet28 infrared2) 85) (= (data Star29 infrared2) 17) (= (data Phenomenon30 infrared2) 56) (= (data Star31 infrared2) 162) (= (data Phenomenon32 infrared2) 35) (= (data Planet33 infrared2) 171) (= (data Planet34 infrared2) 188) (= (data Star5 thermograph1) 198) (= (data Planet6 thermograph1) 143) (= (data Planet7 thermograph1) 139) (= (data Star8 thermograph1) 56) (= (data Planet9 thermograph1) 176) (= (data Planet10 thermograph1) 37) (= (data Star11 thermograph1) 165) (= (data Planet12 thermograph1) 138) (= (data Planet13 thermograph1) 126) (= (data Phenomenon14 thermograph1) 73) (= (data Planet15 thermograph1) 192) (= (data Planet16 thermograph1) 37) (= (data Star17 thermograph1) 164) (= (data Star18 thermograph1) 200) (= (data Planet19 thermograph1) 197) (= (data Star20 thermograph1) 35) (= (data Phenomenon21 thermograph1) 52) (= (data Phenomenon22 thermograph1) 184) (= (data Star23 thermograph1) 72) (= (data Star24 thermograph1) 164) (= (data Planet25 thermograph1) 61) (= (data Phenomenon26 thermograph1) 155) (= (data Phenomenon27 thermograph1) 181) (= (data Planet28 thermograph1) 75) (= (data Star29 thermograph1) 28) (= (data Phenomenon30 thermograph1) 128) (= (data Star31 thermograph1) 82) (= (data Phenomenon32 thermograph1) 55) (= (data Planet33 thermograph1) 28) (= (data Planet34 thermograph1) 55) (= (data Star5 image4) 196) (= (data Planet6 image4) 197) (= (data Planet7 image4) 75) (= (data Star8 image4) 187) (= (data Planet9 image4) 91) (= (data Planet10 image4) 28) (= (data Star11 image4) 193) (= (data Planet12 image4) 167) (= (data Planet13 image4) 79) (= (data Phenomenon14 image4) 200) (= (data Planet15 image4) 172) (= (data Planet16 image4) 158) (= (data Star17 image4) 23) (= (data Star18 image4) 112) (= (data Planet19 image4) 15) (= (data Star20 image4) 142) (= (data Phenomenon21 image4) 2) (= (data Phenomenon22 image4) 168) (= (data Star23 image4) 78) (= (data Star24 image4) 39) (= (data Planet25 image4) 2) (= (data Phenomenon26 image4) 50) (= (data Phenomenon27 image4) 69) (= (data Planet28 image4) 177) (= (data Star29 image4) 170) (= (data Phenomenon30 image4) 73) (= (data Star31 image4) 184) (= (data Phenomenon32 image4) 166) (= (data Planet33 image4) 53) (= (data Planet34 image4) 114) (= (slew_time Star4 Star0) 29.15) (= (slew_time Star0 Star4) 29.15) (= (slew_time Star4 GroundStation1) 21.28) (= (slew_time GroundStation1 Star4) 21.28) (= (slew_time Star4 Star2) 3.928) (= (slew_time Star2 Star4) 3.928) (= (slew_time Star4 GroundStation3) 21.48) (= (slew_time GroundStation3 Star4) 21.48) (= (slew_time Star2 Star0) 34.76) (= (slew_time Star0 Star2) 34.76) (= (slew_time Star2 GroundStation1) 2.438) (= (slew_time GroundStation1 Star2) 2.438) (= (slew_time GroundStation3 Star0) 56.75) (= (slew_time Star0 GroundStation3) 56.75) (= (slew_time GroundStation3 GroundStation1) 66.57) (= (slew_time GroundStation1 GroundStation3) 66.57) (= (slew_time GroundStation3 Star2) 56.72) (= (slew_time Star2 GroundStation3) 56.72) (= (slew_time GroundStation1 Star0) 63.34) (= (slew_time Star0 GroundStation1) 63.34) (= (slew_time Star5 Star0) 15.9) (= (slew_time Star0 Star5) 15.9) (= (slew_time Star5 GroundStation1) 12.08) (= (slew_time GroundStation1 Star5) 12.08) (= (slew_time Star5 Star2) 72.25) (= (slew_time Star2 Star5) 72.25) (= (slew_time Star5 GroundStation3) 46.95) (= (slew_time GroundStation3 Star5) 46.95) (= (slew_time Star5 Star4) 47.4) (= (slew_time Star4 Star5) 47.4) (= (slew_time Planet6 Star0) 16.33) (= (slew_time Star0 Planet6) 16.33) (= (slew_time Planet6 GroundStation1) 25.29) (= (slew_time GroundStation1 Planet6) 25.29) (= (slew_time Planet6 Star2) 1.725) (= (slew_time Star2 Planet6) 1.725) (= (slew_time Planet6 GroundStation3) 5.29) (= (slew_time GroundStation3 Planet6) 5.29) (= (slew_time Planet6 Star4) 57.28) (= (slew_time Star4 Planet6) 57.28) (= (slew_time Planet6 Star5) 11.46) (= (slew_time Star5 Planet6) 11.46) (= (slew_time Planet7 Star0) 7.738) (= (slew_time Star0 Planet7) 7.738) (= (slew_time Planet7 GroundStation1) 11.24) (= (slew_time GroundStation1 Planet7) 11.24) (= (slew_time Planet7 Star2) 36.08) (= (slew_time Star2 Planet7) 36.08) (= (slew_time Planet7 GroundStation3) 51.11) (= (slew_time GroundStation3 Planet7) 51.11) (= (slew_time Planet7 Star4) 9.615) (= (slew_time Star4 Planet7) 9.615) (= (slew_time Planet7 Star5) 46.7) (= (slew_time Star5 Planet7) 46.7) (= (slew_time Planet7 Planet6) 4.542) (= (slew_time Planet6 Planet7) 4.542) (= (slew_time Star8 Star0) 51.02) (= (slew_time Star0 Star8) 51.02) (= (slew_time Star8 GroundStation1) 35.85) (= (slew_time GroundStation1 Star8) 35.85) (= (slew_time Star8 Star2) 22.56) (= (slew_time Star2 Star8) 22.56) (= (slew_time Star8 GroundStation3) 43.92) (= (slew_time GroundStation3 Star8) 43.92) (= (slew_time Star8 Star4) 27.13) (= (slew_time Star4 Star8) 27.13) (= (slew_time Star8 Star5) 32.88) (= (slew_time Star5 Star8) 32.88) (= (slew_time Star8 Planet6) 4.922) (= (slew_time Planet6 Star8) 4.922) (= (slew_time Star8 Planet7) 36.04) (= (slew_time Planet7 Star8) 36.04) (= (slew_time Planet9 Star0) 32.57) (= (slew_time Star0 Planet9) 32.57) (= (slew_time Planet9 GroundStation1) 45.79) (= (slew_time GroundStation1 Planet9) 45.79) (= (slew_time Planet9 Star2) 60.17) (= (slew_time Star2 Planet9) 60.17) (= (slew_time Planet9 GroundStation3) 71.79) (= (slew_time GroundStation3 Planet9) 71.79) (= (slew_time Planet9 Star4) 25.78) (= (slew_time Star4 Planet9) 25.78) (= (slew_time Planet9 Star5) 80.65) (= (slew_time Star5 Planet9) 80.65) (= (slew_time Planet9 Planet6) 1.801) (= (slew_time Planet6 Planet9) 1.801) (= (slew_time Planet9 Planet7) 79.25) (= (slew_time Planet7 Planet9) 79.25) (= (slew_time Planet9 Star8) 42.36) (= (slew_time Star8 Planet9) 42.36) (= (slew_time Planet10 Star0) 75.2) (= (slew_time Star0 Planet10) 75.2) (= (slew_time Planet10 GroundStation1) 51.06) (= (slew_time GroundStation1 Planet10) 51.06) (= (slew_time Planet10 Star2) 63.38) (= (slew_time Star2 Planet10) 63.38) (= (slew_time Planet10 GroundStation3) 16.9) (= (slew_time GroundStation3 Planet10) 16.9) (= (slew_time Planet10 Star4) 23.31) (= (slew_time Star4 Planet10) 23.31) (= (slew_time Planet10 Star5) 31.21) (= (slew_time Star5 Planet10) 31.21) (= (slew_time Planet10 Planet6) 1.194) (= (slew_time Planet6 Planet10) 1.194) (= (slew_time Planet10 Planet7) 39.46) (= (slew_time Planet7 Planet10) 39.46) (= (slew_time Planet10 Star8) 28.47) (= (slew_time Star8 Planet10) 28.47) (= (slew_time Planet10 Planet9) 15.56) (= (slew_time Planet9 Planet10) 15.56) (= (slew_time Star11 Star0) 52.77) (= (slew_time Star0 Star11) 52.77) (= (slew_time Star11 GroundStation1) 2.706) (= (slew_time GroundStation1 Star11) 2.706) (= (slew_time Star11 Star2) 2.521) (= (slew_time Star2 Star11) 2.521) (= (slew_time Star11 GroundStation3) 58.57) (= (slew_time GroundStation3 Star11) 58.57) (= (slew_time Star11 Star4) 23.12) (= (slew_time Star4 Star11) 23.12) (= (slew_time Star11 Star5) 16.07) (= (slew_time Star5 Star11) 16.07) (= (slew_time Star11 Planet6) 49.2) (= (slew_time Planet6 Star11) 49.2) (= (slew_time Star11 Planet7) 5.04) (= (slew_time Planet7 Star11) 5.04) (= (slew_time Star11 Star8) 56.5) (= (slew_time Star8 Star11) 56.5) (= (slew_time Star11 Planet9) 5.944) (= (slew_time Planet9 Star11) 5.944) (= (slew_time Star11 Planet10) 84.59) (= (slew_time Planet10 Star11) 84.59) (= (slew_time Planet12 Star0) 4.16) (= (slew_time Star0 Planet12) 4.16) (= (slew_time Planet12 GroundStation1) 19.89) (= (slew_time GroundStation1 Planet12) 19.89) (= (slew_time Planet12 Star2) 16.16) (= (slew_time Star2 Planet12) 16.16) (= (slew_time Planet12 GroundStation3) 23.64) (= (slew_time GroundStation3 Planet12) 23.64) (= (slew_time Planet12 Star4) 56.75) (= (slew_time Star4 Planet12) 56.75) (= (slew_time Planet12 Star5) 39.29) (= (slew_time Star5 Planet12) 39.29) (= (slew_time Planet12 Planet6) 56.44) (= (slew_time Planet6 Planet12) 56.44) (= (slew_time Planet12 Planet7) 65.63) (= (slew_time Planet7 Planet12) 65.63) (= (slew_time Planet12 Star8) 8.25) (= (slew_time Star8 Planet12) 8.25) (= (slew_time Planet12 Planet9) 60.14) (= (slew_time Planet9 Planet12) 60.14) (= (slew_time Planet12 Planet10) 19.1) (= (slew_time Planet10 Planet12) 19.1) (= (slew_time Planet12 Star11) 18.32) (= (slew_time Star11 Planet12) 18.32) (= (slew_time Planet13 Star0) 32.44) (= (slew_time Star0 Planet13) 32.44) (= (slew_time Planet13 GroundStation1) 22.15) (= (slew_time GroundStation1 Planet13) 22.15) (= (slew_time Planet13 Star2) 73.65) (= (slew_time Star2 Planet13) 73.65) (= (slew_time Planet13 GroundStation3) 95.82) (= (slew_time GroundStation3 Planet13) 95.82) (= (slew_time Planet13 Star4) 40.36) (= (slew_time Star4 Planet13) 40.36) (= (slew_time Planet13 Star5) 88.43) (= (slew_time Star5 Planet13) 88.43) (= (slew_time Planet13 Planet6) 30.41) (= (slew_time Planet6 Planet13) 30.41) (= (slew_time Planet13 Planet7) 32.64) (= (slew_time Planet7 Planet13) 32.64) (= (slew_time Planet13 Star8) 62.2) (= (slew_time Star8 Planet13) 62.2) (= (slew_time Planet13 Planet9) 76.79) (= (slew_time Planet9 Planet13) 76.79) (= (slew_time Planet13 Planet10) 19.24) (= (slew_time Planet10 Planet13) 19.24) (= (slew_time Planet13 Star11) 27.29) (= (slew_time Star11 Planet13) 27.29) (= (slew_time Planet13 Planet12) 11.51) (= (slew_time Planet12 Planet13) 11.51) (= (slew_time Phenomenon14 Star0) 44.56) (= (slew_time Star0 Phenomenon14) 44.56) (= (slew_time Phenomenon14 GroundStation1) 19.22) (= (slew_time GroundStation1 Phenomenon14) 19.22) (= (slew_time Phenomenon14 Star2) 14.47) (= (slew_time Star2 Phenomenon14) 14.47) (= (slew_time Phenomenon14 GroundStation3) 35.02) (= (slew_time GroundStation3 Phenomenon14) 35.02) (= (slew_time Phenomenon14 Star4) 85.6) (= (slew_time Star4 Phenomenon14) 85.6) (= (slew_time Phenomenon14 Star5) 42.56) (= (slew_time Star5 Phenomenon14) 42.56) (= (slew_time Phenomenon14 Planet6) 49.53) (= (slew_time Planet6 Phenomenon14) 49.53) (= (slew_time Phenomenon14 Planet7) 12.91) (= (slew_time Planet7 Phenomenon14) 12.91) (= (slew_time Phenomenon14 Star8) 22.39) (= (slew_time Star8 Phenomenon14) 22.39) (= (slew_time Phenomenon14 Planet9) 80.48) (= (slew_time Planet9 Phenomenon14) 80.48) (= (slew_time Phenomenon14 Planet10) 7.052) (= (slew_time Planet10 Phenomenon14) 7.052) (= (slew_time Phenomenon14 Star11) 51.27) (= (slew_time Star11 Phenomenon14) 51.27) (= (slew_time Phenomenon14 Planet12) 67.12) (= (slew_time Planet12 Phenomenon14) 67.12) (= (slew_time Phenomenon14 Planet13) 3.422) (= (slew_time Planet13 Phenomenon14) 3.422) (= (slew_time Planet15 Star0) 28.93) (= (slew_time Star0 Planet15) 28.93) (= (slew_time Planet15 GroundStation1) 66.87) (= (slew_time GroundStation1 Planet15) 66.87) (= (slew_time Planet15 Star2) 12.57) (= (slew_time Star2 Planet15) 12.57) (= (slew_time Planet15 GroundStation3) 7.936) (= (slew_time GroundStation3 Planet15) 7.936) (= (slew_time Planet15 Star4) 30.51) (= (slew_time Star4 Planet15) 30.51) (= (slew_time Planet15 Star5) 48.54) (= (slew_time Star5 Planet15) 48.54) (= (slew_time Planet15 Planet6) 25.74) (= (slew_time Planet6 Planet15) 25.74) (= (slew_time Planet15 Planet7) 4.894) (= (slew_time Planet7 Planet15) 4.894) (= (slew_time Planet15 Star8) 43.92) (= (slew_time Star8 Planet15) 43.92) (= (slew_time Planet15 Planet9) 8.531) (= (slew_time Planet9 Planet15) 8.531) (= (slew_time Planet15 Planet10) 6.76) (= (slew_time Planet10 Planet15) 6.76) (= (slew_time Planet15 Star11) 7.831) (= (slew_time Star11 Planet15) 7.831) (= (slew_time Planet15 Planet12) 7.47) (= (slew_time Planet12 Planet15) 7.47) (= (slew_time Planet15 Planet13) 66.2) (= (slew_time Planet13 Planet15) 66.2) (= (slew_time Planet15 Phenomenon14) 56.53) (= (slew_time Phenomenon14 Planet15) 56.53) (= (slew_time Planet16 Star0) 32.01) (= (slew_time Star0 Planet16) 32.01) (= (slew_time Planet16 GroundStation1) 13.97) (= (slew_time GroundStation1 Planet16) 13.97) (= (slew_time Planet16 Star2) 9.884) (= (slew_time Star2 Planet16) 9.884) (= (slew_time Planet16 GroundStation3) 15.17) (= (slew_time GroundStation3 Planet16) 15.17) (= (slew_time Planet16 Star4) 53.08) (= (slew_time Star4 Planet16) 53.08) (= (slew_time Planet16 Star5) 40.17) (= (slew_time Star5 Planet16) 40.17) (= (slew_time Planet16 Planet6) 74.73) (= (slew_time Planet6 Planet16) 74.73) (= (slew_time Planet16 Planet7) 22.41) (= (slew_time Planet7 Planet16) 22.41) (= (slew_time Planet16 Star8) 39.59) (= (slew_time Star8 Planet16) 39.59) (= (slew_time Planet16 Planet9) 42.29) (= (slew_time Planet9 Planet16) 42.29) (= (slew_time Planet16 Planet10) 58.43) (= (slew_time Planet10 Planet16) 58.43) (= (slew_time Planet16 Star11) 57.27) (= (slew_time Star11 Planet16) 57.27) (= (slew_time Planet16 Planet12) 4.894) (= (slew_time Planet12 Planet16) 4.894) (= (slew_time Planet16 Planet13) 54.08) (= (slew_time Planet13 Planet16) 54.08) (= (slew_time Planet16 Phenomenon14) 74.26) (= (slew_time Phenomenon14 Planet16) 74.26) (= (slew_time Planet16 Planet15) 0.8586) (= (slew_time Planet15 Planet16) 0.8586) (= (slew_time Star17 Star0) 16.57) (= (slew_time Star0 Star17) 16.57) (= (slew_time Star17 GroundStation1) 36.76) (= (slew_time GroundStation1 Star17) 36.76) (= (slew_time Star17 Star2) 29.72) (= (slew_time Star2 Star17) 29.72) (= (slew_time Star17 GroundStation3) 11.71) (= (slew_time GroundStation3 Star17) 11.71) (= (slew_time Star17 Star4) 87.54) (= (slew_time Star4 Star17) 87.54) (= (slew_time Star17 Star5) 43.68) (= (slew_time Star5 Star17) 43.68) (= (slew_time Star17 Planet6) 12.81) (= (slew_time Planet6 Star17) 12.81) (= (slew_time Star17 Planet7) 23.78) (= (slew_time Planet7 Star17) 23.78) (= (slew_time Star17 Star8) 37.43) (= (slew_time Star8 Star17) 37.43) (= (slew_time Star17 Planet9) 23.85) (= (slew_time Planet9 Star17) 23.85) (= (slew_time Star17 Planet10) 15.42) (= (slew_time Planet10 Star17) 15.42) (= (slew_time Star17 Star11) 51.78) (= (slew_time Star11 Star17) 51.78) (= (slew_time Star17 Planet12) 11.71) (= (slew_time Planet12 Star17) 11.71) (= (slew_time Star17 Planet13) 54.24) (= (slew_time Planet13 Star17) 54.24) (= (slew_time Star17 Phenomenon14) 47.68) (= (slew_time Phenomenon14 Star17) 47.68) (= (slew_time Star17 Planet15) 16.19) (= (slew_time Planet15 Star17) 16.19) (= (slew_time Star17 Planet16) 38.63) (= (slew_time Planet16 Star17) 38.63) (= (slew_time Star18 Star0) 11.24) (= (slew_time Star0 Star18) 11.24) (= (slew_time Star18 GroundStation1) 61.8) (= (slew_time GroundStation1 Star18) 61.8) (= (slew_time Star18 Star2) 60.19) (= (slew_time Star2 Star18) 60.19) (= (slew_time Star18 GroundStation3) 37.8) (= (slew_time GroundStation3 Star18) 37.8) (= (slew_time Star18 Star4) 8.212) (= (slew_time Star4 Star18) 8.212) (= (slew_time Star18 Star5) 80.96) (= (slew_time Star5 Star18) 80.96) (= (slew_time Star18 Planet6) 16.59) (= (slew_time Planet6 Star18) 16.59) (= (slew_time Star18 Planet7) 23.72) (= (slew_time Planet7 Star18) 23.72) (= (slew_time Star18 Star8) 47.28) (= (slew_time Star8 Star18) 47.28) (= (slew_time Star18 Planet9) 4.295) (= (slew_time Planet9 Star18) 4.295) (= (slew_time Star18 Planet10) 46.23) (= (slew_time Planet10 Star18) 46.23) (= (slew_time Star18 Star11) 66.25) (= (slew_time Star11 Star18) 66.25) (= (slew_time Star18 Planet12) 44.54) (= (slew_time Planet12 Star18) 44.54) (= (slew_time Star18 Planet13) 2.318) (= (slew_time Planet13 Star18) 2.318) (= (slew_time Star18 Phenomenon14) 15.57) (= (slew_time Phenomenon14 Star18) 15.57) (= (slew_time Star18 Planet15) 44.37) (= (slew_time Planet15 Star18) 44.37) (= (slew_time Star18 Planet16) 40.14) (= (slew_time Planet16 Star18) 40.14) (= (slew_time Star18 Star17) 42.68) (= (slew_time Star17 Star18) 42.68) (= (slew_time Planet19 Star0) 27.36) (= (slew_time Star0 Planet19) 27.36) (= (slew_time Planet19 GroundStation1) 47.85) (= (slew_time GroundStation1 Planet19) 47.85) (= (slew_time Planet19 Star2) 57.39) (= (slew_time Star2 Planet19) 57.39) (= (slew_time Planet19 GroundStation3) 26.48) (= (slew_time GroundStation3 Planet19) 26.48) (= (slew_time Planet19 Star4) 2.077) (= (slew_time Star4 Planet19) 2.077) (= (slew_time Planet19 Star5) 44.68) (= (slew_time Star5 Planet19) 44.68) (= (slew_time Planet19 Planet6) 38.75) (= (slew_time Planet6 Planet19) 38.75) (= (slew_time Planet19 Planet7) 42.73) (= (slew_time Planet7 Planet19) 42.73) (= (slew_time Planet19 Star8) 52.17) (= (slew_time Star8 Planet19) 52.17) (= (slew_time Planet19 Planet9) 64.3) (= (slew_time Planet9 Planet19) 64.3) (= (slew_time Planet19 Planet10) 4.291) (= (slew_time Planet10 Planet19) 4.291) (= (slew_time Planet19 Star11) 36.52) (= (slew_time Star11 Planet19) 36.52) (= (slew_time Planet19 Planet12) 53.38) (= (slew_time Planet12 Planet19) 53.38) (= (slew_time Planet19 Planet13) 42.37) (= (slew_time Planet13 Planet19) 42.37) (= (slew_time Planet19 Phenomenon14) 7.197) (= (slew_time Phenomenon14 Planet19) 7.197) (= (slew_time Planet19 Planet15) 38.59) (= (slew_time Planet15 Planet19) 38.59) (= (slew_time Planet19 Planet16) 46.17) (= (slew_time Planet16 Planet19) 46.17) (= (slew_time Planet19 Star17) 39.92) (= (slew_time Star17 Planet19) 39.92) (= (slew_time Planet19 Star18) 18.12) (= (slew_time Star18 Planet19) 18.12) (= (slew_time Star20 Star0) 7.324) (= (slew_time Star0 Star20) 7.324) (= (slew_time Star20 GroundStation1) 77.92) (= (slew_time GroundStation1 Star20) 77.92) (= (slew_time Star20 Star2) 48.84) (= (slew_time Star2 Star20) 48.84) (= (slew_time Star20 GroundStation3) 2.154) (= (slew_time GroundStation3 Star20) 2.154) (= (slew_time Star20 Star4) 19.71) (= (slew_time Star4 Star20) 19.71) (= (slew_time Star20 Star5) 0.379) (= (slew_time Star5 Star20) 0.379) (= (slew_time Star20 Planet6) 15.88) (= (slew_time Planet6 Star20) 15.88) (= (slew_time Star20 Planet7) 1.77) (= (slew_time Planet7 Star20) 1.77) (= (slew_time Star20 Star8) 46.36) (= (slew_time Star8 Star20) 46.36) (= (slew_time Star20 Planet9) 44.19) (= (slew_time Planet9 Star20) 44.19) (= (slew_time Star20 Planet10) 6.326) (= (slew_time Planet10 Star20) 6.326) (= (slew_time Star20 Star11) 68.93) (= (slew_time Star11 Star20) 68.93) (= (slew_time Star20 Planet12) 30) (= (slew_time Planet12 Star20) 30) (= (slew_time Star20 Planet13) 3.295) (= (slew_time Planet13 Star20) 3.295) (= (slew_time Star20 Phenomenon14) 15.55) (= (slew_time Phenomenon14 Star20) 15.55) (= (slew_time Star20 Planet15) 21.41) (= (slew_time Planet15 Star20) 21.41) (= (slew_time Star20 Planet16) 30.77) (= (slew_time Planet16 Star20) 30.77) (= (slew_time Star20 Star17) 53.1) (= (slew_time Star17 Star20) 53.1) (= (slew_time Star20 Star18) 9.814) (= (slew_time Star18 Star20) 9.814) (= (slew_time Star20 Planet19) 62.38) (= (slew_time Planet19 Star20) 62.38) (= (slew_time Phenomenon21 Star0) 72.96) (= (slew_time Star0 Phenomenon21) 72.96) (= (slew_time Phenomenon21 GroundStation1) 10.99) (= (slew_time GroundStation1 Phenomenon21) 10.99) (= (slew_time Phenomenon21 Star2) 3.403) (= (slew_time Star2 Phenomenon21) 3.403) (= (slew_time Phenomenon21 GroundStation3) 39.41) (= (slew_time GroundStation3 Phenomenon21) 39.41) (= (slew_time Phenomenon21 Star4) 8.078) (= (slew_time Star4 Phenomenon21) 8.078) (= (slew_time Phenomenon21 Star5) 12.81) (= (slew_time Star5 Phenomenon21) 12.81) (= (slew_time Phenomenon21 Planet6) 45.62) (= (slew_time Planet6 Phenomenon21) 45.62) (= (slew_time Phenomenon21 Planet7) 8.927) (= (slew_time Planet7 Phenomenon21) 8.927) (= (slew_time Phenomenon21 Star8) 57.68) (= (slew_time Star8 Phenomenon21) 57.68) (= (slew_time Phenomenon21 Planet9) 1.086) (= (slew_time Planet9 Phenomenon21) 1.086) (= (slew_time Phenomenon21 Planet10) 73.84) (= (slew_time Planet10 Phenomenon21) 73.84) (= (slew_time Phenomenon21 Star11) 31.75) (= (slew_time Star11 Phenomenon21) 31.75) (= (slew_time Phenomenon21 Planet12) 78.86) (= (slew_time Planet12 Phenomenon21) 78.86) (= (slew_time Phenomenon21 Planet13) 5.312) (= (slew_time Planet13 Phenomenon21) 5.312) (= (slew_time Phenomenon21 Phenomenon14) 15) (= (slew_time Phenomenon14 Phenomenon21) 15) (= (slew_time Phenomenon21 Planet15) 1.708) (= (slew_time Planet15 Phenomenon21) 1.708) (= (slew_time Phenomenon21 Planet16) 6.053) (= (slew_time Planet16 Phenomenon21) 6.053) (= (slew_time Phenomenon21 Star17) 11.45) (= (slew_time Star17 Phenomenon21) 11.45) (= (slew_time Phenomenon21 Star18) 1.328) (= (slew_time Star18 Phenomenon21) 1.328) (= (slew_time Phenomenon21 Planet19) 37.82) (= (slew_time Planet19 Phenomenon21) 37.82) (= (slew_time Phenomenon21 Star20) 26.66) (= (slew_time Star20 Phenomenon21) 26.66) (= (slew_time Phenomenon22 Star0) 4.976) (= (slew_time Star0 Phenomenon22) 4.976) (= (slew_time Phenomenon22 GroundStation1) 10.22) (= (slew_time GroundStation1 Phenomenon22) 10.22) (= (slew_time Phenomenon22 Star2) 43.45) (= (slew_time Star2 Phenomenon22) 43.45) (= (slew_time Phenomenon22 GroundStation3) 53.87) (= (slew_time GroundStation3 Phenomenon22) 53.87) (= (slew_time Phenomenon22 Star4) 51.46) (= (slew_time Star4 Phenomenon22) 51.46) (= (slew_time Phenomenon22 Star5) 29.55) (= (slew_time Star5 Phenomenon22) 29.55) (= (slew_time Phenomenon22 Planet6) 68.5) (= (slew_time Planet6 Phenomenon22) 68.5) (= (slew_time Phenomenon22 Planet7) 2.039) (= (slew_time Planet7 Phenomenon22) 2.039) (= (slew_time Phenomenon22 Star8) 43.58) (= (slew_time Star8 Phenomenon22) 43.58) (= (slew_time Phenomenon22 Planet9) 21.22) (= (slew_time Planet9 Phenomenon22) 21.22) (= (slew_time Phenomenon22 Planet10) 79.56) (= (slew_time Planet10 Phenomenon22) 79.56) (= (slew_time Phenomenon22 Star11) 8.229) (= (slew_time Star11 Phenomenon22) 8.229) (= (slew_time Phenomenon22 Planet12) 15.38) (= (slew_time Planet12 Phenomenon22) 15.38) (= (slew_time Phenomenon22 Planet13) 47.45) (= (slew_time Planet13 Phenomenon22) 47.45) (= (slew_time Phenomenon22 Phenomenon14) 57.43) (= (slew_time Phenomenon14 Phenomenon22) 57.43) (= (slew_time Phenomenon22 Planet15) 19.05) (= (slew_time Planet15 Phenomenon22) 19.05) (= (slew_time Phenomenon22 Planet16) 10.16) (= (slew_time Planet16 Phenomenon22) 10.16) (= (slew_time Phenomenon22 Star17) 11.63) (= (slew_time Star17 Phenomenon22) 11.63) (= (slew_time Phenomenon22 Star18) 57.62) (= (slew_time Star18 Phenomenon22) 57.62) (= (slew_time Phenomenon22 Planet19) 18.55) (= (slew_time Planet19 Phenomenon22) 18.55) (= (slew_time Phenomenon22 Star20) 9.047) (= (slew_time Star20 Phenomenon22) 9.047) (= (slew_time Phenomenon22 Phenomenon21) 18.49) (= (slew_time Phenomenon21 Phenomenon22) 18.49) (= (slew_time Star23 Star0) 41.87) (= (slew_time Star0 Star23) 41.87) (= (slew_time Star23 GroundStation1) 43.78) (= (slew_time GroundStation1 Star23) 43.78) (= (slew_time Star23 Star2) 29.17) (= (slew_time Star2 Star23) 29.17) (= (slew_time Star23 GroundStation3) 12.15) (= (slew_time GroundStation3 Star23) 12.15) (= (slew_time Star23 Star4) 72.8) (= (slew_time Star4 Star23) 72.8) (= (slew_time Star23 Star5) 15.1) (= (slew_time Star5 Star23) 15.1) (= (slew_time Star23 Planet6) 48.07) (= (slew_time Planet6 Star23) 48.07) (= (slew_time Star23 Planet7) 24.01) (= (slew_time Planet7 Star23) 24.01) (= (slew_time Star23 Star8) 19.96) (= (slew_time Star8 Star23) 19.96) (= (slew_time Star23 Planet9) 8.389) (= (slew_time Planet9 Star23) 8.389) (= (slew_time Star23 Planet10) 3.568) (= (slew_time Planet10 Star23) 3.568) (= (slew_time Star23 Star11) 15.81) (= (slew_time Star11 Star23) 15.81) (= (slew_time Star23 Planet12) 5.737) (= (slew_time Planet12 Star23) 5.737) (= (slew_time Star23 Planet13) 16.43) (= (slew_time Planet13 Star23) 16.43) (= (slew_time Star23 Phenomenon14) 14.65) (= (slew_time Phenomenon14 Star23) 14.65) (= (slew_time Star23 Planet15) 8.058) (= (slew_time Planet15 Star23) 8.058) (= (slew_time Star23 Planet16) 9.065) (= (slew_time Planet16 Star23) 9.065) (= (slew_time Star23 Star17) 13.05) (= (slew_time Star17 Star23) 13.05) (= (slew_time Star23 Star18) 18.03) (= (slew_time Star18 Star23) 18.03) (= (slew_time Star23 Planet19) 12.97) (= (slew_time Planet19 Star23) 12.97) (= (slew_time Star23 Star20) 15.1) (= (slew_time Star20 Star23) 15.1) (= (slew_time Star23 Phenomenon21) 27.54) (= (slew_time Phenomenon21 Star23) 27.54) (= (slew_time Star23 Phenomenon22) 63.62) (= (slew_time Phenomenon22 Star23) 63.62) (= (slew_time Star24 Star0) 17.97) (= (slew_time Star0 Star24) 17.97) (= (slew_time Star24 GroundStation1) 95.77) (= (slew_time GroundStation1 Star24) 95.77) (= (slew_time Star24 Star2) 32.87) (= (slew_time Star2 Star24) 32.87) (= (slew_time Star24 GroundStation3) 37.51) (= (slew_time GroundStation3 Star24) 37.51) (= (slew_time Star24 Star4) 45.73) (= (slew_time Star4 Star24) 45.73) (= (slew_time Star24 Star5) 10.59) (= (slew_time Star5 Star24) 10.59) (= (slew_time Star24 Planet6) 44.8) (= (slew_time Planet6 Star24) 44.8) (= (slew_time Star24 Planet7) 3.063) (= (slew_time Planet7 Star24) 3.063) (= (slew_time Star24 Star8) 0.4892) (= (slew_time Star8 Star24) 0.4892) (= (slew_time Star24 Planet9) 8.08) (= (slew_time Planet9 Star24) 8.08) (= (slew_time Star24 Planet10) 31.19) (= (slew_time Planet10 Star24) 31.19) (= (slew_time Star24 Star11) 48) (= (slew_time Star11 Star24) 48) (= (slew_time Star24 Planet12) 15.93) (= (slew_time Planet12 Star24) 15.93) (= (slew_time Star24 Planet13) 25.19) (= (slew_time Planet13 Star24) 25.19) (= (slew_time Star24 Phenomenon14) 31.43) (= (slew_time Phenomenon14 Star24) 31.43) (= (slew_time Star24 Planet15) 88.45) (= (slew_time Planet15 Star24) 88.45) (= (slew_time Star24 Planet16) 1.243) (= (slew_time Planet16 Star24) 1.243) (= (slew_time Star24 Star17) 40.97) (= (slew_time Star17 Star24) 40.97) (= (slew_time Star24 Star18) 52.44) (= (slew_time Star18 Star24) 52.44) (= (slew_time Star24 Planet19) 10.48) (= (slew_time Planet19 Star24) 10.48) (= (slew_time Star24 Star20) 30.22) (= (slew_time Star20 Star24) 30.22) (= (slew_time Star24 Phenomenon21) 17.86) (= (slew_time Phenomenon21 Star24) 17.86) (= (slew_time Star24 Phenomenon22) 14.5) (= (slew_time Phenomenon22 Star24) 14.5) (= (slew_time Star24 Star23) 10.65) (= (slew_time Star23 Star24) 10.65) (= (slew_time Planet25 Star0) 32.6) (= (slew_time Star0 Planet25) 32.6) (= (slew_time Planet25 GroundStation1) 81.06) (= (slew_time GroundStation1 Planet25) 81.06) (= (slew_time Planet25 Star2) 25.51) (= (slew_time Star2 Planet25) 25.51) (= (slew_time Planet25 GroundStation3) 12.43) (= (slew_time GroundStation3 Planet25) 12.43) (= (slew_time Planet25 Star4) 46.45) (= (slew_time Star4 Planet25) 46.45) (= (slew_time Planet25 Star5) 42.7) (= (slew_time Star5 Planet25) 42.7) (= (slew_time Planet25 Planet6) 32.16) (= (slew_time Planet6 Planet25) 32.16) (= (slew_time Planet25 Planet7) 19.87) (= (slew_time Planet7 Planet25) 19.87) (= (slew_time Planet25 Star8) 76.98) (= (slew_time Star8 Planet25) 76.98) (= (slew_time Planet25 Planet9) 46.55) (= (slew_time Planet9 Planet25) 46.55) (= (slew_time Planet25 Planet10) 65.8) (= (slew_time Planet10 Planet25) 65.8) (= (slew_time Planet25 Star11) 24.02) (= (slew_time Star11 Planet25) 24.02) (= (slew_time Planet25 Planet12) 7.046) (= (slew_time Planet12 Planet25) 7.046) (= (slew_time Planet25 Planet13) 7.798) (= (slew_time Planet13 Planet25) 7.798) (= (slew_time Planet25 Phenomenon14) 26.36) (= (slew_time Phenomenon14 Planet25) 26.36) (= (slew_time Planet25 Planet15) 51.16) (= (slew_time Planet15 Planet25) 51.16) (= (slew_time Planet25 Planet16) 9.943) (= (slew_time Planet16 Planet25) 9.943) (= (slew_time Planet25 Star17) 45.29) (= (slew_time Star17 Planet25) 45.29) (= (slew_time Planet25 Star18) 26.73) (= (slew_time Star18 Planet25) 26.73) (= (slew_time Planet25 Planet19) 25.3) (= (slew_time Planet19 Planet25) 25.3) (= (slew_time Planet25 Star20) 45.46) (= (slew_time Star20 Planet25) 45.46) (= (slew_time Planet25 Phenomenon21) 30.37) (= (slew_time Phenomenon21 Planet25) 30.37) (= (slew_time Planet25 Phenomenon22) 41.72) (= (slew_time Phenomenon22 Planet25) 41.72) (= (slew_time Planet25 Star23) 18.75) (= (slew_time Star23 Planet25) 18.75) (= (slew_time Planet25 Star24) 4.919) (= (slew_time Star24 Planet25) 4.919) (= (slew_time Phenomenon26 Star0) 14.04) (= (slew_time Star0 Phenomenon26) 14.04) (= (slew_time Phenomenon26 GroundStation1) 85.6) (= (slew_time GroundStation1 Phenomenon26) 85.6) (= (slew_time Phenomenon26 Star2) 19.99) (= (slew_time Star2 Phenomenon26) 19.99) (= (slew_time Phenomenon26 GroundStation3) 9.78) (= (slew_time GroundStation3 Phenomenon26) 9.78) (= (slew_time Phenomenon26 Star4) 44.55) (= (slew_time Star4 Phenomenon26) 44.55) (= (slew_time Phenomenon26 Star5) 79.12) (= (slew_time Star5 Phenomenon26) 79.12) (= (slew_time Phenomenon26 Planet6) 22.38) (= (slew_time Planet6 Phenomenon26) 22.38) (= (slew_time Phenomenon26 Planet7) 55.2) (= (slew_time Planet7 Phenomenon26) 55.2) (= (slew_time Phenomenon26 Star8) 45.2) (= (slew_time Star8 Phenomenon26) 45.2) (= (slew_time Phenomenon26 Planet9) 16.92) (= (slew_time Planet9 Phenomenon26) 16.92) (= (slew_time Phenomenon26 Planet10) 0.5236) (= (slew_time Planet10 Phenomenon26) 0.5236) (= (slew_time Phenomenon26 Star11) 19.47) (= (slew_time Star11 Phenomenon26) 19.47) (= (slew_time Phenomenon26 Planet12) 25.76) (= (slew_time Planet12 Phenomenon26) 25.76) (= (slew_time Phenomenon26 Planet13) 25.45) (= (slew_time Planet13 Phenomenon26) 25.45) (= (slew_time Phenomenon26 Phenomenon14) 19.23) (= (slew_time Phenomenon14 Phenomenon26) 19.23) (= (slew_time Phenomenon26 Planet15) 58.42) (= (slew_time Planet15 Phenomenon26) 58.42) (= (slew_time Phenomenon26 Planet16) 1.455) (= (slew_time Planet16 Phenomenon26) 1.455) (= (slew_time Phenomenon26 Star17) 11.66) (= (slew_time Star17 Phenomenon26) 11.66) (= (slew_time Phenomenon26 Star18) 55) (= (slew_time Star18 Phenomenon26) 55) (= (slew_time Phenomenon26 Planet19) 22.96) (= (slew_time Planet19 Phenomenon26) 22.96) (= (slew_time Phenomenon26 Star20) 24.96) (= (slew_time Star20 Phenomenon26) 24.96) (= (slew_time Phenomenon26 Phenomenon21) 14.38) (= (slew_time Phenomenon21 Phenomenon26) 14.38) (= (slew_time Phenomenon26 Phenomenon22) 1.393) (= (slew_time Phenomenon22 Phenomenon26) 1.393) (= (slew_time Phenomenon26 Star23) 66.91) (= (slew_time Star23 Phenomenon26) 66.91) (= (slew_time Phenomenon26 Star24) 24.97) (= (slew_time Star24 Phenomenon26) 24.97) (= (slew_time Phenomenon26 Planet25) 10.5) (= (slew_time Planet25 Phenomenon26) 10.5) (= (slew_time Phenomenon27 Star0) 21.32) (= (slew_time Star0 Phenomenon27) 21.32) (= (slew_time Phenomenon27 GroundStation1) 7.14) (= (slew_time GroundStation1 Phenomenon27) 7.14) (= (slew_time Phenomenon27 Star2) 28.65) (= (slew_time Star2 Phenomenon27) 28.65) (= (slew_time Phenomenon27 GroundStation3) 6.497) (= (slew_time GroundStation3 Phenomenon27) 6.497) (= (slew_time Phenomenon27 Star4) 51.37) (= (slew_time Star4 Phenomenon27) 51.37) (= (slew_time Phenomenon27 Star5) 1.82) (= (slew_time Star5 Phenomenon27) 1.82) (= (slew_time Phenomenon27 Planet6) 2.568) (= (slew_time Planet6 Phenomenon27) 2.568) (= (slew_time Phenomenon27 Planet7) 49.32) (= (slew_time Planet7 Phenomenon27) 49.32) (= (slew_time Phenomenon27 Star8) 32.34) (= (slew_time Star8 Phenomenon27) 32.34) (= (slew_time Phenomenon27 Planet9) 57.96) (= (slew_time Planet9 Phenomenon27) 57.96) (= (slew_time Phenomenon27 Planet10) 7.774) (= (slew_time Planet10 Phenomenon27) 7.774) (= (slew_time Phenomenon27 Star11) 16.01) (= (slew_time Star11 Phenomenon27) 16.01) (= (slew_time Phenomenon27 Planet12) 22.95) (= (slew_time Planet12 Phenomenon27) 22.95) (= (slew_time Phenomenon27 Planet13) 11.01) (= (slew_time Planet13 Phenomenon27) 11.01) (= (slew_time Phenomenon27 Phenomenon14) 31.65) (= (slew_time Phenomenon14 Phenomenon27) 31.65) (= (slew_time Phenomenon27 Planet15) 5.744) (= (slew_time Planet15 Phenomenon27) 5.744) (= (slew_time Phenomenon27 Planet16) 36.34) (= (slew_time Planet16 Phenomenon27) 36.34) (= (slew_time Phenomenon27 Star17) 61.82) (= (slew_time Star17 Phenomenon27) 61.82) (= (slew_time Phenomenon27 Star18) 38.56) (= (slew_time Star18 Phenomenon27) 38.56) (= (slew_time Phenomenon27 Planet19) 8.237) (= (slew_time Planet19 Phenomenon27) 8.237) (= (slew_time Phenomenon27 Star20) 14.73) (= (slew_time Star20 Phenomenon27) 14.73) (= (slew_time Phenomenon27 Phenomenon21) 62.09) (= (slew_time Phenomenon21 Phenomenon27) 62.09) (= (slew_time Phenomenon27 Phenomenon22) 7.176) (= (slew_time Phenomenon22 Phenomenon27) 7.176) (= (slew_time Phenomenon27 Star23) 20.82) (= (slew_time Star23 Phenomenon27) 20.82) (= (slew_time Phenomenon27 Star24) 10.03) (= (slew_time Star24 Phenomenon27) 10.03) (= (slew_time Phenomenon27 Planet25) 7.511) (= (slew_time Planet25 Phenomenon27) 7.511) (= (slew_time Phenomenon27 Phenomenon26) 61.18) (= (slew_time Phenomenon26 Phenomenon27) 61.18) (= (slew_time Planet28 Star0) 4.745) (= (slew_time Star0 Planet28) 4.745) (= (slew_time Planet28 GroundStation1) 6.697) (= (slew_time GroundStation1 Planet28) 6.697) (= (slew_time Planet28 Star2) 7.431) (= (slew_time Star2 Planet28) 7.431) (= (slew_time Planet28 GroundStation3) 38.51) (= (slew_time GroundStation3 Planet28) 38.51) (= (slew_time Planet28 Star4) 60.28) (= (slew_time Star4 Planet28) 60.28) (= (slew_time Planet28 Star5) 17.67) (= (slew_time Star5 Planet28) 17.67) (= (slew_time Planet28 Planet6) 47.9) (= (slew_time Planet6 Planet28) 47.9) (= (slew_time Planet28 Planet7) 31.06) (= (slew_time Planet7 Planet28) 31.06) (= (slew_time Planet28 Star8) 5.128) (= (slew_time Star8 Planet28) 5.128) (= (slew_time Planet28 Planet9) 19.43) (= (slew_time Planet9 Planet28) 19.43) (= (slew_time Planet28 Planet10) 91.1) (= (slew_time Planet10 Planet28) 91.1) (= (slew_time Planet28 Star11) 39.55) (= (slew_time Star11 Planet28) 39.55) (= (slew_time Planet28 Planet12) 25.03) (= (slew_time Planet12 Planet28) 25.03) (= (slew_time Planet28 Planet13) 17.49) (= (slew_time Planet13 Planet28) 17.49) (= (slew_time Planet28 Phenomenon14) 1.238) (= (slew_time Phenomenon14 Planet28) 1.238) (= (slew_time Planet28 Planet15) 54.39) (= (slew_time Planet15 Planet28) 54.39) (= (slew_time Planet28 Planet16) 22.35) (= (slew_time Planet16 Planet28) 22.35) (= (slew_time Planet28 Star17) 75.71) (= (slew_time Star17 Planet28) 75.71) (= (slew_time Planet28 Star18) 36.1) (= (slew_time Star18 Planet28) 36.1) (= (slew_time Planet28 Planet19) 49.98) (= (slew_time Planet19 Planet28) 49.98) (= (slew_time Planet28 Star20) 7.714) (= (slew_time Star20 Planet28) 7.714) (= (slew_time Planet28 Phenomenon21) 44.51) (= (slew_time Phenomenon21 Planet28) 44.51) (= (slew_time Planet28 Phenomenon22) 72.56) (= (slew_time Phenomenon22 Planet28) 72.56) (= (slew_time Planet28 Star23) 13.25) (= (slew_time Star23 Planet28) 13.25) (= (slew_time Planet28 Star24) 38.84) (= (slew_time Star24 Planet28) 38.84) (= (slew_time Planet28 Planet25) 44.5) (= (slew_time Planet25 Planet28) 44.5) (= (slew_time Planet28 Phenomenon26) 34.11) (= (slew_time Phenomenon26 Planet28) 34.11) (= (slew_time Planet28 Phenomenon27) 17.18) (= (slew_time Phenomenon27 Planet28) 17.18) (= (slew_time Star29 Star0) 20.71) (= (slew_time Star0 Star29) 20.71) (= (slew_time Star29 GroundStation1) 1.944) (= (slew_time GroundStation1 Star29) 1.944) (= (slew_time Star29 Star2) 21.18) (= (slew_time Star2 Star29) 21.18) (= (slew_time Star29 GroundStation3) 50.2) (= (slew_time GroundStation3 Star29) 50.2) (= (slew_time Star29 Star4) 57.16) (= (slew_time Star4 Star29) 57.16) (= (slew_time Star29 Star5) 38.61) (= (slew_time Star5 Star29) 38.61) (= (slew_time Star29 Planet6) 3.635) (= (slew_time Planet6 Star29) 3.635) (= (slew_time Star29 Planet7) 17.44) (= (slew_time Planet7 Star29) 17.44) (= (slew_time Star29 Star8) 26.68) (= (slew_time Star8 Star29) 26.68) (= (slew_time Star29 Planet9) 63.34) (= (slew_time Planet9 Star29) 63.34) (= (slew_time Star29 Planet10) 4.681) (= (slew_time Planet10 Star29) 4.681) (= (slew_time Star29 Star11) 16.04) (= (slew_time Star11 Star29) 16.04) (= (slew_time Star29 Planet12) 45.44) (= (slew_time Planet12 Star29) 45.44) (= (slew_time Star29 Planet13) 27.71) (= (slew_time Planet13 Star29) 27.71) (= (slew_time Star29 Phenomenon14) 0.04403) (= (slew_time Phenomenon14 Star29) 0.04403) (= (slew_time Star29 Planet15) 25.16) (= (slew_time Planet15 Star29) 25.16) (= (slew_time Star29 Planet16) 0.1044) (= (slew_time Planet16 Star29) 0.1044) (= (slew_time Star29 Star17) 21.33) (= (slew_time Star17 Star29) 21.33) (= (slew_time Star29 Star18) 74.56) (= (slew_time Star18 Star29) 74.56) (= (slew_time Star29 Planet19) 9.91) (= (slew_time Planet19 Star29) 9.91) (= (slew_time Star29 Star20) 19.26) (= (slew_time Star20 Star29) 19.26) (= (slew_time Star29 Phenomenon21) 24.56) (= (slew_time Phenomenon21 Star29) 24.56) (= (slew_time Star29 Phenomenon22) 0.1275) (= (slew_time Phenomenon22 Star29) 0.1275) (= (slew_time Star29 Star23) 20.35) (= (slew_time Star23 Star29) 20.35) (= (slew_time Star29 Star24) 70.5) (= (slew_time Star24 Star29) 70.5) (= (slew_time Star29 Planet25) 51.71) (= (slew_time Planet25 Star29) 51.71) (= (slew_time Star29 Phenomenon26) 12.12) (= (slew_time Phenomenon26 Star29) 12.12) (= (slew_time Star29 Phenomenon27) 38.55) (= (slew_time Phenomenon27 Star29) 38.55) (= (slew_time Star29 Planet28) 22.8) (= (slew_time Planet28 Star29) 22.8) (= (slew_time Phenomenon30 Star0) 79.48) (= (slew_time Star0 Phenomenon30) 79.48) (= (slew_time Phenomenon30 GroundStation1) 25.84) (= (slew_time GroundStation1 Phenomenon30) 25.84) (= (slew_time Phenomenon30 Star2) 70.41) (= (slew_time Star2 Phenomenon30) 70.41) (= (slew_time Phenomenon30 GroundStation3) 27.69) (= (slew_time GroundStation3 Phenomenon30) 27.69) (= (slew_time Phenomenon30 Star4) 2.728) (= (slew_time Star4 Phenomenon30) 2.728) (= (slew_time Phenomenon30 Star5) 13.65) (= (slew_time Star5 Phenomenon30) 13.65) (= (slew_time Phenomenon30 Planet6) 43.81) (= (slew_time Planet6 Phenomenon30) 43.81) (= (slew_time Phenomenon30 Planet7) 22.43) (= (slew_time Planet7 Phenomenon30) 22.43) (= (slew_time Phenomenon30 Star8) 14.77) (= (slew_time Star8 Phenomenon30) 14.77) (= (slew_time Phenomenon30 Planet9) 16.54) (= (slew_time Planet9 Phenomenon30) 16.54) (= (slew_time Phenomenon30 Planet10) 87.02) (= (slew_time Planet10 Phenomenon30) 87.02) (= (slew_time Phenomenon30 Star11) 70.56) (= (slew_time Star11 Phenomenon30) 70.56) (= (slew_time Phenomenon30 Planet12) 22.24) (= (slew_time Planet12 Phenomenon30) 22.24) (= (slew_time Phenomenon30 Planet13) 20.58) (= (slew_time Planet13 Phenomenon30) 20.58) (= (slew_time Phenomenon30 Phenomenon14) 10.41) (= (slew_time Phenomenon14 Phenomenon30) 10.41) (= (slew_time Phenomenon30 Planet15) 11.45) (= (slew_time Planet15 Phenomenon30) 11.45) (= (slew_time Phenomenon30 Planet16) 52.83) (= (slew_time Planet16 Phenomenon30) 52.83) (= (slew_time Phenomenon30 Star17) 37.65) (= (slew_time Star17 Phenomenon30) 37.65) (= (slew_time Phenomenon30 Star18) 11.53) (= (slew_time Star18 Phenomenon30) 11.53) (= (slew_time Phenomenon30 Planet19) 16.54) (= (slew_time Planet19 Phenomenon30) 16.54) (= (slew_time Phenomenon30 Star20) 24.27) (= (slew_time Star20 Phenomenon30) 24.27) (= (slew_time Phenomenon30 Phenomenon21) 20.47) (= (slew_time Phenomenon21 Phenomenon30) 20.47) (= (slew_time Phenomenon30 Phenomenon22) 27.54) (= (slew_time Phenomenon22 Phenomenon30) 27.54) (= (slew_time Phenomenon30 Star23) 46.05) (= (slew_time Star23 Phenomenon30) 46.05) (= (slew_time Phenomenon30 Star24) 7.861) (= (slew_time Star24 Phenomenon30) 7.861) (= (slew_time Phenomenon30 Planet25) 40.44) (= (slew_time Planet25 Phenomenon30) 40.44) (= (slew_time Phenomenon30 Phenomenon26) 54.61) (= (slew_time Phenomenon26 Phenomenon30) 54.61) (= (slew_time Phenomenon30 Phenomenon27) 40.95) (= (slew_time Phenomenon27 Phenomenon30) 40.95) (= (slew_time Phenomenon30 Planet28) 73.74) (= (slew_time Planet28 Phenomenon30) 73.74) (= (slew_time Phenomenon30 Star29) 4.23) (= (slew_time Star29 Phenomenon30) 4.23) (= (slew_time Star31 Star0) 14.66) (= (slew_time Star0 Star31) 14.66) (= (slew_time Star31 GroundStation1) 1.567) (= (slew_time GroundStation1 Star31) 1.567) (= (slew_time Star31 Star2) 1.426) (= (slew_time Star2 Star31) 1.426) (= (slew_time Star31 GroundStation3) 27.6) (= (slew_time GroundStation3 Star31) 27.6) (= (slew_time Star31 Star4) 12.56) (= (slew_time Star4 Star31) 12.56) (= (slew_time Star31 Star5) 7.329) (= (slew_time Star5 Star31) 7.329) (= (slew_time Star31 Planet6) 74.4) (= (slew_time Planet6 Star31) 74.4) (= (slew_time Star31 Planet7) 20.54) (= (slew_time Planet7 Star31) 20.54) (= (slew_time Star31 Star8) 38.74) (= (slew_time Star8 Star31) 38.74) (= (slew_time Star31 Planet9) 21.74) (= (slew_time Planet9 Star31) 21.74) (= (slew_time Star31 Planet10) 60.53) (= (slew_time Planet10 Star31) 60.53) (= (slew_time Star31 Star11) 18.84) (= (slew_time Star11 Star31) 18.84) (= (slew_time Star31 Planet12) 15.03) (= (slew_time Planet12 Star31) 15.03) (= (slew_time Star31 Planet13) 22.49) (= (slew_time Planet13 Star31) 22.49) (= (slew_time Star31 Phenomenon14) 54.18) (= (slew_time Phenomenon14 Star31) 54.18) (= (slew_time Star31 Planet15) 76.66) (= (slew_time Planet15 Star31) 76.66) (= (slew_time Star31 Planet16) 48.22) (= (slew_time Planet16 Star31) 48.22) (= (slew_time Star31 Star17) 13.7) (= (slew_time Star17 Star31) 13.7) (= (slew_time Star31 Star18) 11.72) (= (slew_time Star18 Star31) 11.72) (= (slew_time Star31 Planet19) 50.89) (= (slew_time Planet19 Star31) 50.89) (= (slew_time Star31 Star20) 28.74) (= (slew_time Star20 Star31) 28.74) (= (slew_time Star31 Phenomenon21) 24.01) (= (slew_time Phenomenon21 Star31) 24.01) (= (slew_time Star31 Phenomenon22) 41.35) (= (slew_time Phenomenon22 Star31) 41.35) (= (slew_time Star31 Star23) 7.664) (= (slew_time Star23 Star31) 7.664) (= (slew_time Star31 Star24) 40.23) (= (slew_time Star24 Star31) 40.23) (= (slew_time Star31 Planet25) 39.2) (= (slew_time Planet25 Star31) 39.2) (= (slew_time Star31 Phenomenon26) 72.48) (= (slew_time Phenomenon26 Star31) 72.48) (= (slew_time Star31 Phenomenon27) 3.479) (= (slew_time Phenomenon27 Star31) 3.479) (= (slew_time Star31 Planet28) 23.59) (= (slew_time Planet28 Star31) 23.59) (= (slew_time Star31 Star29) 6.619) (= (slew_time Star29 Star31) 6.619) (= (slew_time Star31 Phenomenon30) 58.7) (= (slew_time Phenomenon30 Star31) 58.7) (= (slew_time Phenomenon32 Star0) 29.52) (= (slew_time Star0 Phenomenon32) 29.52) (= (slew_time Phenomenon32 GroundStation1) 16.85) (= (slew_time GroundStation1 Phenomenon32) 16.85) (= (slew_time Phenomenon32 Star2) 3.355) (= (slew_time Star2 Phenomenon32) 3.355) (= (slew_time Phenomenon32 GroundStation3) 40.33) (= (slew_time GroundStation3 Phenomenon32) 40.33) (= (slew_time Phenomenon32 Star4) 46.39) (= (slew_time Star4 Phenomenon32) 46.39) (= (slew_time Phenomenon32 Star5) 15.93) (= (slew_time Star5 Phenomenon32) 15.93) (= (slew_time Phenomenon32 Planet6) 53.78) (= (slew_time Planet6 Phenomenon32) 53.78) (= (slew_time Phenomenon32 Planet7) 36.79) (= (slew_time Planet7 Phenomenon32) 36.79) (= (slew_time Phenomenon32 Star8) 87.29) (= (slew_time Star8 Phenomenon32) 87.29) (= (slew_time Phenomenon32 Planet9) 10.28) (= (slew_time Planet9 Phenomenon32) 10.28) (= (slew_time Phenomenon32 Planet10) 21.47) (= (slew_time Planet10 Phenomenon32) 21.47) (= (slew_time Phenomenon32 Star11) 57.27) (= (slew_time Star11 Phenomenon32) 57.27) (= (slew_time Phenomenon32 Planet12) 8.02) (= (slew_time Planet12 Phenomenon32) 8.02) (= (slew_time Phenomenon32 Planet13) 92.8) (= (slew_time Planet13 Phenomenon32) 92.8) (= (slew_time Phenomenon32 Phenomenon14) 55.09) (= (slew_time Phenomenon14 Phenomenon32) 55.09) (= (slew_time Phenomenon32 Planet15) 27.15) (= (slew_time Planet15 Phenomenon32) 27.15) (= (slew_time Phenomenon32 Planet16) 40.18) (= (slew_time Planet16 Phenomenon32) 40.18) (= (slew_time Phenomenon32 Star17) 7.085) (= (slew_time Star17 Phenomenon32) 7.085) (= (slew_time Phenomenon32 Star18) 3.087) (= (slew_time Star18 Phenomenon32) 3.087) (= (slew_time Phenomenon32 Planet19) 33.2) (= (slew_time Planet19 Phenomenon32) 33.2) (= (slew_time Phenomenon32 Star20) 26.34) (= (slew_time Star20 Phenomenon32) 26.34) (= (slew_time Phenomenon32 Phenomenon21) 90.01) (= (slew_time Phenomenon21 Phenomenon32) 90.01) (= (slew_time Phenomenon32 Phenomenon22) 14.57) (= (slew_time Phenomenon22 Phenomenon32) 14.57) (= (slew_time Phenomenon32 Star23) 23.78) (= (slew_time Star23 Phenomenon32) 23.78) (= (slew_time Phenomenon32 Star24) 10.43) (= (slew_time Star24 Phenomenon32) 10.43) (= (slew_time Phenomenon32 Planet25) 41.44) (= (slew_time Planet25 Phenomenon32) 41.44) (= (slew_time Phenomenon32 Phenomenon26) 73.25) (= (slew_time Phenomenon26 Phenomenon32) 73.25) (= (slew_time Phenomenon32 Phenomenon27) 57.02) (= (slew_time Phenomenon27 Phenomenon32) 57.02) (= (slew_time Phenomenon32 Planet28) 40.04) (= (slew_time Planet28 Phenomenon32) 40.04) (= (slew_time Phenomenon32 Star29) 50.73) (= (slew_time Star29 Phenomenon32) 50.73) (= (slew_time Phenomenon32 Phenomenon30) 59.69) (= (slew_time Phenomenon30 Phenomenon32) 59.69) (= (slew_time Phenomenon32 Star31) 20.71) (= (slew_time Star31 Phenomenon32) 20.71) (= (slew_time Planet33 Star0) 63.09) (= (slew_time Star0 Planet33) 63.09) (= (slew_time Planet33 GroundStation1) 24.36) (= (slew_time GroundStation1 Planet33) 24.36) (= (slew_time Planet33 Star2) 58.67) (= (slew_time Star2 Planet33) 58.67) (= (slew_time Planet33 GroundStation3) 20.54) (= (slew_time GroundStation3 Planet33) 20.54) (= (slew_time Planet33 Star4) 63.94) (= (slew_time Star4 Planet33) 63.94) (= (slew_time Planet33 Star5) 45.41) (= (slew_time Star5 Planet33) 45.41) (= (slew_time Planet33 Planet6) 66.53) (= (slew_time Planet6 Planet33) 66.53) (= (slew_time Planet33 Planet7) 11.85) (= (slew_time Planet7 Planet33) 11.85) (= (slew_time Planet33 Star8) 24.05) (= (slew_time Star8 Planet33) 24.05) (= (slew_time Planet33 Planet9) 9.562) (= (slew_time Planet9 Planet33) 9.562) (= (slew_time Planet33 Planet10) 3.985) (= (slew_time Planet10 Planet33) 3.985) (= (slew_time Planet33 Star11) 60.92) (= (slew_time Star11 Planet33) 60.92) (= (slew_time Planet33 Planet12) 66.29) (= (slew_time Planet12 Planet33) 66.29) (= (slew_time Planet33 Planet13) 16.18) (= (slew_time Planet13 Planet33) 16.18) (= (slew_time Planet33 Phenomenon14) 49.64) (= (slew_time Phenomenon14 Planet33) 49.64) (= (slew_time Planet33 Planet15) 4.974) (= (slew_time Planet15 Planet33) 4.974) (= (slew_time Planet33 Planet16) 41.47) (= (slew_time Planet16 Planet33) 41.47) (= (slew_time Planet33 Star17) 3.341) (= (slew_time Star17 Planet33) 3.341) (= (slew_time Planet33 Star18) 58.11) (= (slew_time Star18 Planet33) 58.11) (= (slew_time Planet33 Planet19) 10.63) (= (slew_time Planet19 Planet33) 10.63) (= (slew_time Planet33 Star20) 73.28) (= (slew_time Star20 Planet33) 73.28) (= (slew_time Planet33 Phenomenon21) 46.06) (= (slew_time Phenomenon21 Planet33) 46.06) (= (slew_time Planet33 Phenomenon22) 38.55) (= (slew_time Phenomenon22 Planet33) 38.55) (= (slew_time Planet33 Star23) 76.01) (= (slew_time Star23 Planet33) 76.01) (= (slew_time Planet33 Star24) 25.37) (= (slew_time Star24 Planet33) 25.37) (= (slew_time Planet33 Planet25) 10.23) (= (slew_time Planet25 Planet33) 10.23) (= (slew_time Planet33 Phenomenon26) 4.736) (= (slew_time Phenomenon26 Planet33) 4.736) (= (slew_time Planet33 Phenomenon27) 53.04) (= (slew_time Phenomenon27 Planet33) 53.04) (= (slew_time Planet33 Planet28) 51.57) (= (slew_time Planet28 Planet33) 51.57) (= (slew_time Planet33 Star29) 17.65) (= (slew_time Star29 Planet33) 17.65) (= (slew_time Planet33 Phenomenon30) 7.145) (= (slew_time Phenomenon30 Planet33) 7.145) (= (slew_time Planet33 Star31) 12.24) (= (slew_time Star31 Planet33) 12.24) (= (slew_time Planet33 Phenomenon32) 32.06) (= (slew_time Phenomenon32 Planet33) 32.06) (= (slew_time Planet34 Star0) 45.82) (= (slew_time Star0 Planet34) 45.82) (= (slew_time Planet34 GroundStation1) 54.43) (= (slew_time GroundStation1 Planet34) 54.43) (= (slew_time Planet34 Star2) 1.196) (= (slew_time Star2 Planet34) 1.196) (= (slew_time Planet34 GroundStation3) 18.64) (= (slew_time GroundStation3 Planet34) 18.64) (= (slew_time Planet34 Star4) 64.74) (= (slew_time Star4 Planet34) 64.74) (= (slew_time Planet34 Star5) 77.52) (= (slew_time Star5 Planet34) 77.52) (= (slew_time Planet34 Planet6) 61.79) (= (slew_time Planet6 Planet34) 61.79) (= (slew_time Planet34 Planet7) 14.47) (= (slew_time Planet7 Planet34) 14.47) (= (slew_time Planet34 Star8) 15.44) (= (slew_time Star8 Planet34) 15.44) (= (slew_time Planet34 Planet9) 49.25) (= (slew_time Planet9 Planet34) 49.25) (= (slew_time Planet34 Planet10) 59.2) (= (slew_time Planet10 Planet34) 59.2) (= (slew_time Planet34 Star11) 4.531) (= (slew_time Star11 Planet34) 4.531) (= (slew_time Planet34 Planet12) 36.78) (= (slew_time Planet12 Planet34) 36.78) (= (slew_time Planet34 Planet13) 12.94) (= (slew_time Planet13 Planet34) 12.94) (= (slew_time Planet34 Phenomenon14) 44.79) (= (slew_time Phenomenon14 Planet34) 44.79) (= (slew_time Planet34 Planet15) 13.31) (= (slew_time Planet15 Planet34) 13.31) (= (slew_time Planet34 Planet16) 22.49) (= (slew_time Planet16 Planet34) 22.49) (= (slew_time Planet34 Star17) 0.9856) (= (slew_time Star17 Planet34) 0.9856) (= (slew_time Planet34 Star18) 7.743) (= (slew_time Star18 Planet34) 7.743) (= (slew_time Planet34 Planet19) 45.76) (= (slew_time Planet19 Planet34) 45.76) (= (slew_time Planet34 Star20) 7.435) (= (slew_time Star20 Planet34) 7.435) (= (slew_time Planet34 Phenomenon21) 39.83) (= (slew_time Phenomenon21 Planet34) 39.83) (= (slew_time Planet34 Phenomenon22) 59.94) (= (slew_time Phenomenon22 Planet34) 59.94) (= (slew_time Planet34 Star23) 17.34) (= (slew_time Star23 Planet34) 17.34) (= (slew_time Planet34 Star24) 18.56) (= (slew_time Star24 Planet34) 18.56) (= (slew_time Planet34 Planet25) 19.56) (= (slew_time Planet25 Planet34) 19.56) (= (slew_time Planet34 Phenomenon26) 3.251) (= (slew_time Phenomenon26 Planet34) 3.251) (= (slew_time Planet34 Phenomenon27) 73.8) (= (slew_time Phenomenon27 Planet34) 73.8) (= (slew_time Planet34 Planet28) 52.54) (= (slew_time Planet28 Planet34) 52.54) (= (slew_time Planet34 Star29) 5.143) (= (slew_time Star29 Planet34) 5.143) (= (slew_time Planet34 Phenomenon30) 66.59) (= (slew_time Phenomenon30 Planet34) 66.59) (= (slew_time Planet34 Star31) 12.07) (= (slew_time Star31 Planet34) 12.07) (= (slew_time Planet34 Phenomenon32) 24.09) (= (slew_time Phenomenon32 Planet34) 24.09) (= (slew_time Planet34 Planet33) 20.41) (= (slew_time Planet33 Planet34) 20.41) (= (data-stored) 0) (= (fuel-used) 0) ) (:goal (and (pointing satellite2 Star5) )) (:metric maximize (data-stored)) )