(define (problem strips-sat-x-1) (:domain satellite) (:objects satellite0 - satellite instrument0 - instrument instrument1 - instrument instrument2 - instrument instrument3 - instrument satellite1 - satellite instrument4 - instrument instrument5 - instrument instrument6 - instrument instrument7 - instrument satellite2 - satellite instrument8 - instrument instrument9 - instrument instrument10 - instrument instrument11 - instrument satellite3 - satellite instrument12 - instrument satellite4 - satellite instrument13 - instrument instrument14 - instrument instrument15 - instrument instrument16 - instrument instrument17 - instrument infrared1 - mode image3 - mode image4 - mode image2 - mode spectrograph0 - mode GroundStation1 - direction Star3 - direction GroundStation2 - direction GroundStation4 - direction Star0 - direction Star5 - direction Planet6 - direction Phenomenon7 - direction Phenomenon8 - direction Planet9 - direction Star10 - direction Star11 - direction Phenomenon12 - direction Planet13 - direction Star14 - direction Star15 - direction Phenomenon16 - direction Phenomenon17 - direction Planet18 - direction Star19 - direction Phenomenon20 - direction Star21 - direction Star22 - direction Star23 - direction Planet24 - direction Star25 - direction Phenomenon26 - direction Phenomenon27 - direction Phenomenon28 - direction Star29 - direction Phenomenon30 - direction Phenomenon31 - direction Phenomenon32 - direction Phenomenon33 - direction Star34 - direction Star35 - direction Star36 - direction Planet37 - direction Planet38 - direction Planet39 - direction ) (:init (supports instrument0 image3) (supports instrument0 image4) (supports instrument0 image2) (calibration_target instrument0 GroundStation2) (supports instrument1 image3) (supports instrument1 infrared1) (calibration_target instrument1 GroundStation4) (supports instrument2 infrared1) (supports instrument2 spectrograph0) (supports instrument2 image4) (calibration_target instrument2 GroundStation1) (supports instrument3 image3) (calibration_target instrument3 Star3) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument2 satellite0) (on_board instrument3 satellite0) (power_avail satellite0) (pointing satellite0 Planet9) (= (data_capacity satellite0) 1000) (= (fuel satellite0) 112) (supports instrument4 image3) (calibration_target instrument4 Star3) (supports instrument5 image4) (calibration_target instrument5 GroundStation4) (supports instrument6 infrared1) (calibration_target instrument6 GroundStation4) (supports instrument7 spectrograph0) (calibration_target instrument7 GroundStation1) (on_board instrument4 satellite1) (on_board instrument5 satellite1) (on_board instrument6 satellite1) (on_board instrument7 satellite1) (power_avail satellite1) (pointing satellite1 Planet13) (= (data_capacity satellite1) 1000) (= (fuel satellite1) 113) (supports instrument8 image4) (calibration_target instrument8 GroundStation4) (supports instrument9 infrared1) (supports instrument9 image3) (supports instrument9 image2) (calibration_target instrument9 GroundStation4) (supports instrument10 image2) (calibration_target instrument10 GroundStation4) (supports instrument11 image3) (supports instrument11 spectrograph0) (calibration_target instrument11 GroundStation2) (on_board instrument8 satellite2) (on_board instrument9 satellite2) (on_board instrument10 satellite2) (on_board instrument11 satellite2) (power_avail satellite2) (pointing satellite2 Phenomenon32) (= (data_capacity satellite2) 1000) (= (fuel satellite2) 110) (supports instrument12 spectrograph0) (supports instrument12 image2) (supports instrument12 infrared1) (calibration_target instrument12 Star0) (on_board instrument12 satellite3) (power_avail satellite3) (pointing satellite3 Phenomenon31) (= (data_capacity satellite3) 1000) (= (fuel satellite3) 158) (supports instrument13 image3) (supports instrument13 image2) (supports instrument13 spectrograph0) (calibration_target instrument13 Star3) (supports instrument14 spectrograph0) (calibration_target instrument14 GroundStation2) (supports instrument15 image2) (supports instrument15 image4) (supports instrument15 image3) (calibration_target instrument15 GroundStation2) (supports instrument16 spectrograph0) (calibration_target instrument16 GroundStation4) (supports instrument17 spectrograph0) (supports instrument17 image2) (calibration_target instrument17 Star0) (on_board instrument13 satellite4) (on_board instrument14 satellite4) (on_board instrument15 satellite4) (on_board instrument16 satellite4) (on_board instrument17 satellite4) (power_avail satellite4) (pointing satellite4 Phenomenon26) (= (data_capacity satellite4) 1000) (= (fuel satellite4) 183) (= (data Star5 infrared1) 122) (= (data Planet6 infrared1) 103) (= (data Phenomenon7 infrared1) 123) (= (data Phenomenon8 infrared1) 141) (= (data Planet9 infrared1) 10) (= (data Star10 infrared1) 60) (= (data Star11 infrared1) 113) (= (data Phenomenon12 infrared1) 150) (= (data Planet13 infrared1) 153) (= (data Star14 infrared1) 140) (= (data Star15 infrared1) 179) (= (data Phenomenon16 infrared1) 118) (= (data Phenomenon17 infrared1) 73) (= (data Planet18 infrared1) 103) (= (data Star19 infrared1) 163) (= (data Phenomenon20 infrared1) 47) (= (data Star21 infrared1) 43) (= (data Star22 infrared1) 42) (= (data Star23 infrared1) 198) (= (data Planet24 infrared1) 26) (= (data Star25 infrared1) 142) (= (data Phenomenon26 infrared1) 79) (= (data Phenomenon27 infrared1) 147) (= (data Phenomenon28 infrared1) 149) (= (data Star29 infrared1) 14) (= (data Phenomenon30 infrared1) 8) (= (data Phenomenon31 infrared1) 36) (= (data Phenomenon32 infrared1) 126) (= (data Phenomenon33 infrared1) 156) (= (data Star34 infrared1) 130) (= (data Star35 infrared1) 152) (= (data Star36 infrared1) 190) (= (data Planet37 infrared1) 37) (= (data Planet38 infrared1) 139) (= (data Planet39 infrared1) 174) (= (data Star5 image3) 177) (= (data Planet6 image3) 46) (= (data Phenomenon7 image3) 107) (= (data Phenomenon8 image3) 21) (= (data Planet9 image3) 184) (= (data Star10 image3) 185) (= (data Star11 image3) 44) (= (data Phenomenon12 image3) 178) (= (data Planet13 image3) 45) (= (data Star14 image3) 160) (= (data Star15 image3) 151) (= (data Phenomenon16 image3) 147) (= (data Phenomenon17 image3) 71) (= (data Planet18 image3) 197) (= (data Star19 image3) 79) (= (data Phenomenon20 image3) 187) (= (data Star21 image3) 200) (= (data Star22 image3) 190) (= (data Star23 image3) 192) (= (data Planet24 image3) 146) (= (data Star25 image3) 67) (= (data Phenomenon26 image3) 77) (= (data Phenomenon27 image3) 129) (= (data Phenomenon28 image3) 120) (= (data Star29 image3) 152) (= (data Phenomenon30 image3) 106) (= (data Phenomenon31 image3) 115) (= (data Phenomenon32 image3) 34) (= (data Phenomenon33 image3) 117) (= (data Star34 image3) 126) (= (data Star35 image3) 165) (= (data Star36 image3) 45) (= (data Planet37 image3) 76) (= (data Planet38 image3) 6) (= (data Planet39 image3) 185) (= (data Star5 image4) 174) (= (data Planet6 image4) 152) (= (data Phenomenon7 image4) 96) (= (data Phenomenon8 image4) 45) (= (data Planet9 image4) 166) (= (data Star10 image4) 4) (= (data Star11 image4) 117) (= (data Phenomenon12 image4) 143) (= (data Planet13 image4) 107) (= (data Star14 image4) 37) (= (data Star15 image4) 15) (= (data Phenomenon16 image4) 64) (= (data Phenomenon17 image4) 68) (= (data Planet18 image4) 43) (= (data Star19 image4) 52) (= (data Phenomenon20 image4) 55) (= (data Star21 image4) 15) (= (data Star22 image4) 28) (= (data Star23 image4) 174) (= (data Planet24 image4) 2) (= (data Star25 image4) 120) (= (data Phenomenon26 image4) 98) (= (data Phenomenon27 image4) 6) (= (data Phenomenon28 image4) 72) (= (data Star29 image4) 31) (= (data Phenomenon30 image4) 52) (= (data Phenomenon31 image4) 135) (= (data Phenomenon32 image4) 99) (= (data Phenomenon33 image4) 174) (= (data Star34 image4) 96) (= (data Star35 image4) 53) (= (data Star36 image4) 180) (= (data Planet37 image4) 113) (= (data Planet38 image4) 139) (= (data Planet39 image4) 9) (= (data Star5 image2) 6) (= (data Planet6 image2) 67) (= (data Phenomenon7 image2) 43) (= (data Phenomenon8 image2) 29) (= (data Planet9 image2) 145) (= (data Star10 image2) 24) (= (data Star11 image2) 54) (= (data Phenomenon12 image2) 127) (= (data Planet13 image2) 181) (= (data Star14 image2) 120) (= (data Star15 image2) 71) (= (data Phenomenon16 image2) 118) (= (data Phenomenon17 image2) 193) (= (data Planet18 image2) 80) (= (data Star19 image2) 130) (= (data Phenomenon20 image2) 159) (= (data Star21 image2) 175) (= (data Star22 image2) 156) (= (data Star23 image2) 89) (= (data Planet24 image2) 64) (= (data Star25 image2) 1) (= (data Phenomenon26 image2) 196) (= (data Phenomenon27 image2) 1) (= (data Phenomenon28 image2) 26) (= (data Star29 image2) 189) (= (data Phenomenon30 image2) 149) (= (data Phenomenon31 image2) 15) (= (data Phenomenon32 image2) 72) (= (data Phenomenon33 image2) 162) (= (data Star34 image2) 88) (= (data Star35 image2) 93) (= (data Star36 image2) 100) (= (data Planet37 image2) 184) (= (data Planet38 image2) 111) (= (data Planet39 image2) 194) (= (data Star5 spectrograph0) 175) (= (data Planet6 spectrograph0) 91) (= (data Phenomenon7 spectrograph0) 99) (= (data Phenomenon8 spectrograph0) 157) (= (data Planet9 spectrograph0) 51) (= (data Star10 spectrograph0) 175) (= (data Star11 spectrograph0) 60) (= (data Phenomenon12 spectrograph0) 117) (= (data Planet13 spectrograph0) 173) (= (data Star14 spectrograph0) 82) (= (data Star15 spectrograph0) 90) (= (data Phenomenon16 spectrograph0) 199) (= (data Phenomenon17 spectrograph0) 88) (= (data Planet18 spectrograph0) 62) (= (data Star19 spectrograph0) 81) (= (data Phenomenon20 spectrograph0) 22) (= (data Star21 spectrograph0) 33) (= (data Star22 spectrograph0) 148) (= (data Star23 spectrograph0) 117) (= (data Planet24 spectrograph0) 34) (= (data Star25 spectrograph0) 57) (= (data Phenomenon26 spectrograph0) 157) (= (data Phenomenon27 spectrograph0) 155) (= (data Phenomenon28 spectrograph0) 120) (= (data Star29 spectrograph0) 159) (= (data Phenomenon30 spectrograph0) 31) (= (data Phenomenon31 spectrograph0) 92) (= (data Phenomenon32 spectrograph0) 151) (= (data Phenomenon33 spectrograph0) 67) (= (data Star34 spectrograph0) 157) (= (data Star35 spectrograph0) 29) (= (data Star36 spectrograph0) 128) (= (data Planet37 spectrograph0) 96) (= (data Planet38 spectrograph0) 142) (= (data Planet39 spectrograph0) 150) (= (slew_time GroundStation1 Star0) 30.11) (= (slew_time Star0 GroundStation1) 30.11) (= (slew_time Star3 Star0) 9.879) (= (slew_time Star0 Star3) 9.879) (= (slew_time Star3 GroundStation1) 24.71) (= (slew_time GroundStation1 Star3) 24.71) (= (slew_time Star3 GroundStation2) 40.32) (= (slew_time GroundStation2 Star3) 40.32) (= (slew_time GroundStation2 Star0) 22.68) (= (slew_time Star0 GroundStation2) 22.68) (= (slew_time GroundStation2 GroundStation1) 28.43) (= (slew_time GroundStation1 GroundStation2) 28.43) (= (slew_time GroundStation4 Star0) 30.77) (= (slew_time Star0 GroundStation4) 30.77) (= (slew_time GroundStation4 GroundStation1) 42.85) (= (slew_time GroundStation1 GroundStation4) 42.85) (= (slew_time GroundStation4 GroundStation2) 31.02) (= (slew_time GroundStation2 GroundStation4) 31.02) (= (slew_time GroundStation4 Star3) 31.44) (= (slew_time Star3 GroundStation4) 31.44) (= (slew_time Star5 Star0) 0.2207) (= (slew_time Star0 Star5) 0.2207) (= (slew_time Star5 GroundStation1) 6.98) (= (slew_time GroundStation1 Star5) 6.98) (= (slew_time Star5 GroundStation2) 16.66) (= (slew_time GroundStation2 Star5) 16.66) (= (slew_time Star5 Star3) 46.74) (= (slew_time Star3 Star5) 46.74) (= (slew_time Star5 GroundStation4) 3.974) (= (slew_time GroundStation4 Star5) 3.974) (= (slew_time Planet6 Star0) 25.79) (= (slew_time Star0 Planet6) 25.79) (= (slew_time Planet6 GroundStation1) 39.55) (= (slew_time GroundStation1 Planet6) 39.55) (= (slew_time Planet6 GroundStation2) 21.67) (= (slew_time GroundStation2 Planet6) 21.67) (= (slew_time Planet6 Star3) 30.51) (= (slew_time Star3 Planet6) 30.51) (= (slew_time Planet6 GroundStation4) 8.013) (= (slew_time GroundStation4 Planet6) 8.013) (= (slew_time Planet6 Star5) 43.16) (= (slew_time Star5 Planet6) 43.16) (= (slew_time Phenomenon7 Star0) 30.28) (= (slew_time Star0 Phenomenon7) 30.28) (= (slew_time Phenomenon7 GroundStation1) 19.8) (= (slew_time GroundStation1 Phenomenon7) 19.8) (= (slew_time Phenomenon7 GroundStation2) 45.99) (= (slew_time GroundStation2 Phenomenon7) 45.99) (= (slew_time Phenomenon7 Star3) 36.45) (= (slew_time Star3 Phenomenon7) 36.45) (= (slew_time Phenomenon7 GroundStation4) 8.385) (= (slew_time GroundStation4 Phenomenon7) 8.385) (= (slew_time Phenomenon7 Star5) 42.75) (= (slew_time Star5 Phenomenon7) 42.75) (= (slew_time Phenomenon7 Planet6) 23.45) (= (slew_time Planet6 Phenomenon7) 23.45) (= (slew_time Phenomenon8 Star0) 21.48) (= (slew_time Star0 Phenomenon8) 21.48) (= (slew_time Phenomenon8 GroundStation1) 40.34) (= (slew_time GroundStation1 Phenomenon8) 40.34) (= (slew_time Phenomenon8 GroundStation2) 65.52) (= (slew_time GroundStation2 Phenomenon8) 65.52) (= (slew_time Phenomenon8 Star3) 80.35) (= (slew_time Star3 Phenomenon8) 80.35) (= (slew_time Phenomenon8 GroundStation4) 0.5044) (= (slew_time GroundStation4 Phenomenon8) 0.5044) (= (slew_time Phenomenon8 Star5) 36.57) (= (slew_time Star5 Phenomenon8) 36.57) (= (slew_time Phenomenon8 Planet6) 3.254) (= (slew_time Planet6 Phenomenon8) 3.254) (= (slew_time Phenomenon8 Phenomenon7) 15.38) (= (slew_time Phenomenon7 Phenomenon8) 15.38) (= (slew_time Planet9 Star0) 28.82) (= (slew_time Star0 Planet9) 28.82) (= (slew_time Planet9 GroundStation1) 74.19) (= (slew_time GroundStation1 Planet9) 74.19) (= (slew_time Planet9 GroundStation2) 18.54) (= (slew_time GroundStation2 Planet9) 18.54) (= (slew_time Planet9 Star3) 24.74) (= (slew_time Star3 Planet9) 24.74) (= (slew_time Planet9 GroundStation4) 36.21) (= (slew_time GroundStation4 Planet9) 36.21) (= (slew_time Planet9 Star5) 32.51) (= (slew_time Star5 Planet9) 32.51) (= (slew_time Planet9 Planet6) 32.61) (= (slew_time Planet6 Planet9) 32.61) (= (slew_time Planet9 Phenomenon7) 93.07) (= (slew_time Phenomenon7 Planet9) 93.07) (= (slew_time Planet9 Phenomenon8) 25.45) (= (slew_time Phenomenon8 Planet9) 25.45) (= (slew_time Star10 Star0) 35.96) (= (slew_time Star0 Star10) 35.96) (= (slew_time Star10 GroundStation1) 28.65) (= (slew_time GroundStation1 Star10) 28.65) (= (slew_time Star10 GroundStation2) 41.84) (= (slew_time GroundStation2 Star10) 41.84) (= (slew_time Star10 Star3) 44.16) (= (slew_time Star3 Star10) 44.16) (= (slew_time Star10 GroundStation4) 14.14) (= (slew_time GroundStation4 Star10) 14.14) (= (slew_time Star10 Star5) 13.83) (= (slew_time Star5 Star10) 13.83) (= (slew_time Star10 Planet6) 56.92) (= (slew_time Planet6 Star10) 56.92) (= (slew_time Star10 Phenomenon7) 16.41) (= (slew_time Phenomenon7 Star10) 16.41) (= (slew_time Star10 Phenomenon8) 28.96) (= (slew_time Phenomenon8 Star10) 28.96) (= (slew_time Star10 Planet9) 29.72) (= (slew_time Planet9 Star10) 29.72) (= (slew_time Star11 Star0) 71.4) (= (slew_time Star0 Star11) 71.4) (= (slew_time Star11 GroundStation1) 34.28) (= (slew_time GroundStation1 Star11) 34.28) (= (slew_time Star11 GroundStation2) 59.54) (= (slew_time GroundStation2 Star11) 59.54) (= (slew_time Star11 Star3) 16.55) (= (slew_time Star3 Star11) 16.55) (= (slew_time Star11 GroundStation4) 48.41) (= (slew_time GroundStation4 Star11) 48.41) (= (slew_time Star11 Star5) 49.8) (= (slew_time Star5 Star11) 49.8) (= (slew_time Star11 Planet6) 35.85) (= (slew_time Planet6 Star11) 35.85) (= (slew_time Star11 Phenomenon7) 26.03) (= (slew_time Phenomenon7 Star11) 26.03) (= (slew_time Star11 Phenomenon8) 50.1) (= (slew_time Phenomenon8 Star11) 50.1) (= (slew_time Star11 Planet9) 26.38) (= (slew_time Planet9 Star11) 26.38) (= (slew_time Star11 Star10) 40.34) (= (slew_time Star10 Star11) 40.34) (= (slew_time Phenomenon12 Star0) 66.22) (= (slew_time Star0 Phenomenon12) 66.22) (= (slew_time Phenomenon12 GroundStation1) 37.85) (= (slew_time GroundStation1 Phenomenon12) 37.85) (= (slew_time Phenomenon12 GroundStation2) 53.74) (= (slew_time GroundStation2 Phenomenon12) 53.74) (= (slew_time Phenomenon12 Star3) 41.16) (= (slew_time Star3 Phenomenon12) 41.16) (= (slew_time Phenomenon12 GroundStation4) 14.8) (= (slew_time GroundStation4 Phenomenon12) 14.8) (= (slew_time Phenomenon12 Star5) 67.48) (= (slew_time Star5 Phenomenon12) 67.48) (= (slew_time Phenomenon12 Planet6) 16.71) (= (slew_time Planet6 Phenomenon12) 16.71) (= (slew_time Phenomenon12 Phenomenon7) 90.05) (= (slew_time Phenomenon7 Phenomenon12) 90.05) (= (slew_time Phenomenon12 Phenomenon8) 51.27) (= (slew_time Phenomenon8 Phenomenon12) 51.27) (= (slew_time Phenomenon12 Planet9) 59.49) (= (slew_time Planet9 Phenomenon12) 59.49) (= (slew_time Phenomenon12 Star10) 58.98) (= (slew_time Star10 Phenomenon12) 58.98) (= (slew_time Phenomenon12 Star11) 7.225) (= (slew_time Star11 Phenomenon12) 7.225) (= (slew_time Planet13 Star0) 36.97) (= (slew_time Star0 Planet13) 36.97) (= (slew_time Planet13 GroundStation1) 40.75) (= (slew_time GroundStation1 Planet13) 40.75) (= (slew_time Planet13 GroundStation2) 51.49) (= (slew_time GroundStation2 Planet13) 51.49) (= (slew_time Planet13 Star3) 18.17) (= (slew_time Star3 Planet13) 18.17) (= (slew_time Planet13 GroundStation4) 44.41) (= (slew_time GroundStation4 Planet13) 44.41) (= (slew_time Planet13 Star5) 50.94) (= (slew_time Star5 Planet13) 50.94) (= (slew_time Planet13 Planet6) 12.03) (= (slew_time Planet6 Planet13) 12.03) (= (slew_time Planet13 Phenomenon7) 3.149) (= (slew_time Phenomenon7 Planet13) 3.149) (= (slew_time Planet13 Phenomenon8) 3.699) (= (slew_time Phenomenon8 Planet13) 3.699) (= (slew_time Planet13 Planet9) 29.66) (= (slew_time Planet9 Planet13) 29.66) (= (slew_time Planet13 Star10) 3.718) (= (slew_time Star10 Planet13) 3.718) (= (slew_time Planet13 Star11) 27.08) (= (slew_time Star11 Planet13) 27.08) (= (slew_time Planet13 Phenomenon12) 6.882) (= (slew_time Phenomenon12 Planet13) 6.882) (= (slew_time Star14 Star0) 19.45) (= (slew_time Star0 Star14) 19.45) (= (slew_time Star14 GroundStation1) 7.38) (= (slew_time GroundStation1 Star14) 7.38) (= (slew_time Star14 GroundStation2) 9.476) (= (slew_time GroundStation2 Star14) 9.476) (= (slew_time Star14 Star3) 0.856) (= (slew_time Star3 Star14) 0.856) (= (slew_time Star14 GroundStation4) 78.51) (= (slew_time GroundStation4 Star14) 78.51) (= (slew_time Star14 Star5) 67.04) (= (slew_time Star5 Star14) 67.04) (= (slew_time Star14 Planet6) 32.26) (= (slew_time Planet6 Star14) 32.26) (= (slew_time Star14 Phenomenon7) 3.174) (= (slew_time Phenomenon7 Star14) 3.174) (= (slew_time Star14 Phenomenon8) 32.74) (= (slew_time Phenomenon8 Star14) 32.74) (= (slew_time Star14 Planet9) 4.505) (= (slew_time Planet9 Star14) 4.505) (= (slew_time Star14 Star10) 41.42) (= (slew_time Star10 Star14) 41.42) (= (slew_time Star14 Star11) 34.63) (= (slew_time Star11 Star14) 34.63) (= (slew_time Star14 Phenomenon12) 27.42) (= (slew_time Phenomenon12 Star14) 27.42) (= (slew_time Star14 Planet13) 55.78) (= (slew_time Planet13 Star14) 55.78) (= (slew_time Star15 Star0) 80.74) (= (slew_time Star0 Star15) 80.74) (= (slew_time Star15 GroundStation1) 59.19) (= (slew_time GroundStation1 Star15) 59.19) (= (slew_time Star15 GroundStation2) 30.67) (= (slew_time GroundStation2 Star15) 30.67) (= (slew_time Star15 Star3) 12.53) (= (slew_time Star3 Star15) 12.53) (= (slew_time Star15 GroundStation4) 23.18) (= (slew_time GroundStation4 Star15) 23.18) (= (slew_time Star15 Star5) 0.1257) (= (slew_time Star5 Star15) 0.1257) (= (slew_time Star15 Planet6) 5.544) (= (slew_time Planet6 Star15) 5.544) (= (slew_time Star15 Phenomenon7) 33.46) (= (slew_time Phenomenon7 Star15) 33.46) (= (slew_time Star15 Phenomenon8) 27.44) (= (slew_time Phenomenon8 Star15) 27.44) (= (slew_time Star15 Planet9) 0.4263) (= (slew_time Planet9 Star15) 0.4263) (= (slew_time Star15 Star10) 31.83) (= (slew_time Star10 Star15) 31.83) (= (slew_time Star15 Star11) 21.88) (= (slew_time Star11 Star15) 21.88) (= (slew_time Star15 Phenomenon12) 16.18) (= (slew_time Phenomenon12 Star15) 16.18) (= (slew_time Star15 Planet13) 35.78) (= (slew_time Planet13 Star15) 35.78) (= (slew_time Star15 Star14) 29.85) (= (slew_time Star14 Star15) 29.85) (= (slew_time Phenomenon16 Star0) 36.64) (= (slew_time Star0 Phenomenon16) 36.64) (= (slew_time Phenomenon16 GroundStation1) 21.22) (= (slew_time GroundStation1 Phenomenon16) 21.22) (= (slew_time Phenomenon16 GroundStation2) 47.68) (= (slew_time GroundStation2 Phenomenon16) 47.68) (= (slew_time Phenomenon16 Star3) 71.69) (= (slew_time Star3 Phenomenon16) 71.69) (= (slew_time Phenomenon16 GroundStation4) 0.9785) (= (slew_time GroundStation4 Phenomenon16) 0.9785) (= (slew_time Phenomenon16 Star5) 25.75) (= (slew_time Star5 Phenomenon16) 25.75) (= (slew_time Phenomenon16 Planet6) 8.862) (= (slew_time Planet6 Phenomenon16) 8.862) (= (slew_time Phenomenon16 Phenomenon7) 36.1) (= (slew_time Phenomenon7 Phenomenon16) 36.1) (= (slew_time Phenomenon16 Phenomenon8) 44.38) (= (slew_time Phenomenon8 Phenomenon16) 44.38) (= (slew_time Phenomenon16 Planet9) 33.77) (= (slew_time Planet9 Phenomenon16) 33.77) (= (slew_time Phenomenon16 Star10) 15.93) (= (slew_time Star10 Phenomenon16) 15.93) (= (slew_time Phenomenon16 Star11) 72.98) (= (slew_time Star11 Phenomenon16) 72.98) (= (slew_time Phenomenon16 Phenomenon12) 15.61) (= (slew_time Phenomenon12 Phenomenon16) 15.61) (= (slew_time Phenomenon16 Planet13) 18.09) (= (slew_time Planet13 Phenomenon16) 18.09) (= (slew_time Phenomenon16 Star14) 73.01) (= (slew_time Star14 Phenomenon16) 73.01) (= (slew_time Phenomenon16 Star15) 8.832) (= (slew_time Star15 Phenomenon16) 8.832) (= (slew_time Phenomenon17 Star0) 11.08) (= (slew_time Star0 Phenomenon17) 11.08) (= (slew_time Phenomenon17 GroundStation1) 50.73) (= (slew_time GroundStation1 Phenomenon17) 50.73) (= (slew_time Phenomenon17 GroundStation2) 7.893) (= (slew_time GroundStation2 Phenomenon17) 7.893) (= (slew_time Phenomenon17 Star3) 6.143) (= (slew_time Star3 Phenomenon17) 6.143) (= (slew_time Phenomenon17 GroundStation4) 17.5) (= (slew_time GroundStation4 Phenomenon17) 17.5) (= (slew_time Phenomenon17 Star5) 5.894) (= (slew_time Star5 Phenomenon17) 5.894) (= (slew_time Phenomenon17 Planet6) 14.82) (= (slew_time Planet6 Phenomenon17) 14.82) (= (slew_time Phenomenon17 Phenomenon7) 25.16) (= (slew_time Phenomenon7 Phenomenon17) 25.16) (= (slew_time Phenomenon17 Phenomenon8) 2.535) (= (slew_time Phenomenon8 Phenomenon17) 2.535) (= (slew_time Phenomenon17 Planet9) 1.023) (= (slew_time Planet9 Phenomenon17) 1.023) (= (slew_time Phenomenon17 Star10) 13.85) (= (slew_time Star10 Phenomenon17) 13.85) (= (slew_time Phenomenon17 Star11) 39.96) (= (slew_time Star11 Phenomenon17) 39.96) (= (slew_time Phenomenon17 Phenomenon12) 82.09) (= (slew_time Phenomenon12 Phenomenon17) 82.09) (= (slew_time Phenomenon17 Planet13) 39.34) (= (slew_time Planet13 Phenomenon17) 39.34) (= (slew_time Phenomenon17 Star14) 5.363) (= (slew_time Star14 Phenomenon17) 5.363) (= (slew_time Phenomenon17 Star15) 22.22) (= (slew_time Star15 Phenomenon17) 22.22) (= (slew_time Phenomenon17 Phenomenon16) 37.13) (= (slew_time Phenomenon16 Phenomenon17) 37.13) (= (slew_time Planet18 Star0) 75.73) (= (slew_time Star0 Planet18) 75.73) (= (slew_time Planet18 GroundStation1) 74.98) (= (slew_time GroundStation1 Planet18) 74.98) (= (slew_time Planet18 GroundStation2) 75.31) (= (slew_time GroundStation2 Planet18) 75.31) (= (slew_time Planet18 Star3) 4.766) (= (slew_time Star3 Planet18) 4.766) (= (slew_time Planet18 GroundStation4) 43.88) (= (slew_time GroundStation4 Planet18) 43.88) (= (slew_time Planet18 Star5) 37.08) (= (slew_time Star5 Planet18) 37.08) (= (slew_time Planet18 Planet6) 2.473) (= (slew_time Planet6 Planet18) 2.473) (= (slew_time Planet18 Phenomenon7) 5.998) (= (slew_time Phenomenon7 Planet18) 5.998) (= (slew_time Planet18 Phenomenon8) 37.52) (= (slew_time Phenomenon8 Planet18) 37.52) (= (slew_time Planet18 Planet9) 1.547) (= (slew_time Planet9 Planet18) 1.547) (= (slew_time Planet18 Star10) 12.26) (= (slew_time Star10 Planet18) 12.26) (= (slew_time Planet18 Star11) 54.12) (= (slew_time Star11 Planet18) 54.12) (= (slew_time Planet18 Phenomenon12) 4.203) (= (slew_time Phenomenon12 Planet18) 4.203) (= (slew_time Planet18 Planet13) 51.09) (= (slew_time Planet13 Planet18) 51.09) (= (slew_time Planet18 Star14) 20.11) (= (slew_time Star14 Planet18) 20.11) (= (slew_time Planet18 Star15) 14.13) (= (slew_time Star15 Planet18) 14.13) (= (slew_time Planet18 Phenomenon16) 72.58) (= (slew_time Phenomenon16 Planet18) 72.58) (= (slew_time Planet18 Phenomenon17) 40.64) (= (slew_time Phenomenon17 Planet18) 40.64) (= (slew_time Star19 Star0) 35.59) (= (slew_time Star0 Star19) 35.59) (= (slew_time Star19 GroundStation1) 30.97) (= (slew_time GroundStation1 Star19) 30.97) (= (slew_time Star19 GroundStation2) 42.02) (= (slew_time GroundStation2 Star19) 42.02) (= (slew_time Star19 Star3) 22.98) (= (slew_time Star3 Star19) 22.98) (= (slew_time Star19 GroundStation4) 55.77) (= (slew_time GroundStation4 Star19) 55.77) (= (slew_time Star19 Star5) 26.81) (= (slew_time Star5 Star19) 26.81) (= (slew_time Star19 Planet6) 13.38) (= (slew_time Planet6 Star19) 13.38) (= (slew_time Star19 Phenomenon7) 54.64) (= (slew_time Phenomenon7 Star19) 54.64) (= (slew_time Star19 Phenomenon8) 48.74) (= (slew_time Phenomenon8 Star19) 48.74) (= (slew_time Star19 Planet9) 63.6) (= (slew_time Planet9 Star19) 63.6) (= (slew_time Star19 Star10) 69.63) (= (slew_time Star10 Star19) 69.63) (= (slew_time Star19 Star11) 40.4) (= (slew_time Star11 Star19) 40.4) (= (slew_time Star19 Phenomenon12) 7.97) (= (slew_time Phenomenon12 Star19) 7.97) (= (slew_time Star19 Planet13) 13.33) (= (slew_time Planet13 Star19) 13.33) (= (slew_time Star19 Star14) 31.08) (= (slew_time Star14 Star19) 31.08) (= (slew_time Star19 Star15) 12.15) (= (slew_time Star15 Star19) 12.15) (= (slew_time Star19 Phenomenon16) 46.85) (= (slew_time Phenomenon16 Star19) 46.85) (= (slew_time Star19 Phenomenon17) 84.77) (= (slew_time Phenomenon17 Star19) 84.77) (= (slew_time Star19 Planet18) 28.71) (= (slew_time Planet18 Star19) 28.71) (= (slew_time Phenomenon20 Star0) 25.76) (= (slew_time Star0 Phenomenon20) 25.76) (= (slew_time Phenomenon20 GroundStation1) 16.27) (= (slew_time GroundStation1 Phenomenon20) 16.27) (= (slew_time Phenomenon20 GroundStation2) 6.23) (= (slew_time GroundStation2 Phenomenon20) 6.23) (= (slew_time Phenomenon20 Star3) 75.76) (= (slew_time Star3 Phenomenon20) 75.76) (= (slew_time Phenomenon20 GroundStation4) 42.09) (= (slew_time GroundStation4 Phenomenon20) 42.09) (= (slew_time Phenomenon20 Star5) 40.85) (= (slew_time Star5 Phenomenon20) 40.85) (= (slew_time Phenomenon20 Planet6) 20.5) (= (slew_time Planet6 Phenomenon20) 20.5) (= (slew_time Phenomenon20 Phenomenon7) 65.11) (= (slew_time Phenomenon7 Phenomenon20) 65.11) (= (slew_time Phenomenon20 Phenomenon8) 78.13) (= (slew_time Phenomenon8 Phenomenon20) 78.13) (= (slew_time Phenomenon20 Planet9) 59.75) (= (slew_time Planet9 Phenomenon20) 59.75) (= (slew_time Phenomenon20 Star10) 12.65) (= (slew_time Star10 Phenomenon20) 12.65) (= (slew_time Phenomenon20 Star11) 81.21) (= (slew_time Star11 Phenomenon20) 81.21) (= (slew_time Phenomenon20 Phenomenon12) 81.14) (= (slew_time Phenomenon12 Phenomenon20) 81.14) (= (slew_time Phenomenon20 Planet13) 43.64) (= (slew_time Planet13 Phenomenon20) 43.64) (= (slew_time Phenomenon20 Star14) 6.939) (= (slew_time Star14 Phenomenon20) 6.939) (= (slew_time Phenomenon20 Star15) 77.09) (= (slew_time Star15 Phenomenon20) 77.09) (= (slew_time Phenomenon20 Phenomenon16) 5.613) (= (slew_time Phenomenon16 Phenomenon20) 5.613) (= (slew_time Phenomenon20 Phenomenon17) 34.99) (= (slew_time Phenomenon17 Phenomenon20) 34.99) (= (slew_time Phenomenon20 Planet18) 43.3) (= (slew_time Planet18 Phenomenon20) 43.3) (= (slew_time Phenomenon20 Star19) 15.68) (= (slew_time Star19 Phenomenon20) 15.68) (= (slew_time Star21 Star0) 26.58) (= (slew_time Star0 Star21) 26.58) (= (slew_time Star21 GroundStation1) 59.84) (= (slew_time GroundStation1 Star21) 59.84) (= (slew_time Star21 GroundStation2) 67.68) (= (slew_time GroundStation2 Star21) 67.68) (= (slew_time Star21 Star3) 13.82) (= (slew_time Star3 Star21) 13.82) (= (slew_time Star21 GroundStation4) 6.346) (= (slew_time GroundStation4 Star21) 6.346) (= (slew_time Star21 Star5) 56.05) (= (slew_time Star5 Star21) 56.05) (= (slew_time Star21 Planet6) 39.52) (= (slew_time Planet6 Star21) 39.52) (= (slew_time Star21 Phenomenon7) 41.71) (= (slew_time Phenomenon7 Star21) 41.71) (= (slew_time Star21 Phenomenon8) 2.245) (= (slew_time Phenomenon8 Star21) 2.245) (= (slew_time Star21 Planet9) 2.859) (= (slew_time Planet9 Star21) 2.859) (= (slew_time Star21 Star10) 62.12) (= (slew_time Star10 Star21) 62.12) (= (slew_time Star21 Star11) 32.32) (= (slew_time Star11 Star21) 32.32) (= (slew_time Star21 Phenomenon12) 76.82) (= (slew_time Phenomenon12 Star21) 76.82) (= (slew_time Star21 Planet13) 6.473) (= (slew_time Planet13 Star21) 6.473) (= (slew_time Star21 Star14) 79.97) (= (slew_time Star14 Star21) 79.97) (= (slew_time Star21 Star15) 52.09) (= (slew_time Star15 Star21) 52.09) (= (slew_time Star21 Phenomenon16) 21.3) (= (slew_time Phenomenon16 Star21) 21.3) (= (slew_time Star21 Phenomenon17) 11.58) (= (slew_time Phenomenon17 Star21) 11.58) (= (slew_time Star21 Planet18) 25.36) (= (slew_time Planet18 Star21) 25.36) (= (slew_time Star21 Star19) 38.08) (= (slew_time Star19 Star21) 38.08) (= (slew_time Star21 Phenomenon20) 81.15) (= (slew_time Phenomenon20 Star21) 81.15) (= (slew_time Star22 Star0) 49.77) (= (slew_time Star0 Star22) 49.77) (= (slew_time Star22 GroundStation1) 42.58) (= (slew_time GroundStation1 Star22) 42.58) (= (slew_time Star22 GroundStation2) 32.22) (= (slew_time GroundStation2 Star22) 32.22) (= (slew_time Star22 Star3) 74.9) (= (slew_time Star3 Star22) 74.9) (= (slew_time Star22 GroundStation4) 31.03) (= (slew_time GroundStation4 Star22) 31.03) (= (slew_time Star22 Star5) 36.09) (= (slew_time Star5 Star22) 36.09) (= (slew_time Star22 Planet6) 68.61) (= (slew_time Planet6 Star22) 68.61) (= (slew_time Star22 Phenomenon7) 49.15) (= (slew_time Phenomenon7 Star22) 49.15) (= (slew_time Star22 Phenomenon8) 49.53) (= (slew_time Phenomenon8 Star22) 49.53) (= (slew_time Star22 Planet9) 4.328) (= (slew_time Planet9 Star22) 4.328) (= (slew_time Star22 Star10) 71.94) (= (slew_time Star10 Star22) 71.94) (= (slew_time Star22 Star11) 48.53) (= (slew_time Star11 Star22) 48.53) (= (slew_time Star22 Phenomenon12) 21.16) (= (slew_time Phenomenon12 Star22) 21.16) (= (slew_time Star22 Planet13) 65.15) (= (slew_time Planet13 Star22) 65.15) (= (slew_time Star22 Star14) 19.68) (= (slew_time Star14 Star22) 19.68) (= (slew_time Star22 Star15) 20.13) (= (slew_time Star15 Star22) 20.13) (= (slew_time Star22 Phenomenon16) 51.29) (= (slew_time Phenomenon16 Star22) 51.29) (= (slew_time Star22 Phenomenon17) 1.484) (= (slew_time Phenomenon17 Star22) 1.484) (= (slew_time Star22 Planet18) 88.35) (= (slew_time Planet18 Star22) 88.35) (= (slew_time Star22 Star19) 4.658) (= (slew_time Star19 Star22) 4.658) (= (slew_time Star22 Phenomenon20) 79.27) (= (slew_time Phenomenon20 Star22) 79.27) (= (slew_time Star22 Star21) 43.05) (= (slew_time Star21 Star22) 43.05) (= (slew_time Star23 Star0) 34.47) (= (slew_time Star0 Star23) 34.47) (= (slew_time Star23 GroundStation1) 53.57) (= (slew_time GroundStation1 Star23) 53.57) (= (slew_time Star23 GroundStation2) 84.1) (= (slew_time GroundStation2 Star23) 84.1) (= (slew_time Star23 Star3) 7.454) (= (slew_time Star3 Star23) 7.454) (= (slew_time Star23 GroundStation4) 11.78) (= (slew_time GroundStation4 Star23) 11.78) (= (slew_time Star23 Star5) 22.36) (= (slew_time Star5 Star23) 22.36) (= (slew_time Star23 Planet6) 36.06) (= (slew_time Planet6 Star23) 36.06) (= (slew_time Star23 Phenomenon7) 13.86) (= (slew_time Phenomenon7 Star23) 13.86) (= (slew_time Star23 Phenomenon8) 56.5) (= (slew_time Phenomenon8 Star23) 56.5) (= (slew_time Star23 Planet9) 30.21) (= (slew_time Planet9 Star23) 30.21) (= (slew_time Star23 Star10) 9.811) (= (slew_time Star10 Star23) 9.811) (= (slew_time Star23 Star11) 50.84) (= (slew_time Star11 Star23) 50.84) (= (slew_time Star23 Phenomenon12) 66.48) (= (slew_time Phenomenon12 Star23) 66.48) (= (slew_time Star23 Planet13) 49.31) (= (slew_time Planet13 Star23) 49.31) (= (slew_time Star23 Star14) 53.39) (= (slew_time Star14 Star23) 53.39) (= (slew_time Star23 Star15) 58.51) (= (slew_time Star15 Star23) 58.51) (= (slew_time Star23 Phenomenon16) 18.86) (= (slew_time Phenomenon16 Star23) 18.86) (= (slew_time Star23 Phenomenon17) 8.213) (= (slew_time Phenomenon17 Star23) 8.213) (= (slew_time Star23 Planet18) 3.407) (= (slew_time Planet18 Star23) 3.407) (= (slew_time Star23 Star19) 29.3) (= (slew_time Star19 Star23) 29.3) (= (slew_time Star23 Phenomenon20) 46.79) (= (slew_time Phenomenon20 Star23) 46.79) (= (slew_time Star23 Star21) 17.13) (= (slew_time Star21 Star23) 17.13) (= (slew_time Star23 Star22) 31.9) (= (slew_time Star22 Star23) 31.9) (= (slew_time Planet24 Star0) 14.98) (= (slew_time Star0 Planet24) 14.98) (= (slew_time Planet24 GroundStation1) 0.02123) (= (slew_time GroundStation1 Planet24) 0.02123) (= (slew_time Planet24 GroundStation2) 19.02) (= (slew_time GroundStation2 Planet24) 19.02) (= (slew_time Planet24 Star3) 65.56) (= (slew_time Star3 Planet24) 65.56) (= (slew_time Planet24 GroundStation4) 88.46) (= (slew_time GroundStation4 Planet24) 88.46) (= (slew_time Planet24 Star5) 8.311) (= (slew_time Star5 Planet24) 8.311) (= (slew_time Planet24 Planet6) 35.97) (= (slew_time Planet6 Planet24) 35.97) (= (slew_time Planet24 Phenomenon7) 20.72) (= (slew_time Phenomenon7 Planet24) 20.72) (= (slew_time Planet24 Phenomenon8) 77.18) (= (slew_time Phenomenon8 Planet24) 77.18) (= (slew_time Planet24 Planet9) 27.21) (= (slew_time Planet9 Planet24) 27.21) (= (slew_time Planet24 Star10) 4.231) (= (slew_time Star10 Planet24) 4.231) (= (slew_time Planet24 Star11) 34.82) (= (slew_time Star11 Planet24) 34.82) (= (slew_time Planet24 Phenomenon12) 31.98) (= (slew_time Phenomenon12 Planet24) 31.98) (= (slew_time Planet24 Planet13) 39.27) (= (slew_time Planet13 Planet24) 39.27) (= (slew_time Planet24 Star14) 57.38) (= (slew_time Star14 Planet24) 57.38) (= (slew_time Planet24 Star15) 26.85) (= (slew_time Star15 Planet24) 26.85) (= (slew_time Planet24 Phenomenon16) 79.51) (= (slew_time Phenomenon16 Planet24) 79.51) (= (slew_time Planet24 Phenomenon17) 18.33) (= (slew_time Phenomenon17 Planet24) 18.33) (= (slew_time Planet24 Planet18) 3.576) (= (slew_time Planet18 Planet24) 3.576) (= (slew_time Planet24 Star19) 39.61) (= (slew_time Star19 Planet24) 39.61) (= (slew_time Planet24 Phenomenon20) 7.851) (= (slew_time Phenomenon20 Planet24) 7.851) (= (slew_time Planet24 Star21) 23.7) (= (slew_time Star21 Planet24) 23.7) (= (slew_time Planet24 Star22) 28.1) (= (slew_time Star22 Planet24) 28.1) (= (slew_time Planet24 Star23) 27.54) (= (slew_time Star23 Planet24) 27.54) (= (slew_time Star25 Star0) 1.562) (= (slew_time Star0 Star25) 1.562) (= (slew_time Star25 GroundStation1) 17.46) (= (slew_time GroundStation1 Star25) 17.46) (= (slew_time Star25 GroundStation2) 67.71) (= (slew_time GroundStation2 Star25) 67.71) (= (slew_time Star25 Star3) 33) (= (slew_time Star3 Star25) 33) (= (slew_time Star25 GroundStation4) 43.27) (= (slew_time GroundStation4 Star25) 43.27) (= (slew_time Star25 Star5) 44.46) (= (slew_time Star5 Star25) 44.46) (= (slew_time Star25 Planet6) 53.87) (= (slew_time Planet6 Star25) 53.87) (= (slew_time Star25 Phenomenon7) 88.19) (= (slew_time Phenomenon7 Star25) 88.19) (= (slew_time Star25 Phenomenon8) 83.28) (= (slew_time Phenomenon8 Star25) 83.28) (= (slew_time Star25 Planet9) 34.05) (= (slew_time Planet9 Star25) 34.05) (= (slew_time Star25 Star10) 11.23) (= (slew_time Star10 Star25) 11.23) (= (slew_time Star25 Star11) 38.43) (= (slew_time Star11 Star25) 38.43) (= (slew_time Star25 Phenomenon12) 30.57) (= (slew_time Phenomenon12 Star25) 30.57) (= (slew_time Star25 Planet13) 84.34) (= (slew_time Planet13 Star25) 84.34) (= (slew_time Star25 Star14) 0.2879) (= (slew_time Star14 Star25) 0.2879) (= (slew_time Star25 Star15) 86.12) (= (slew_time Star15 Star25) 86.12) (= (slew_time Star25 Phenomenon16) 17.66) (= (slew_time Phenomenon16 Star25) 17.66) (= (slew_time Star25 Phenomenon17) 54.76) (= (slew_time Phenomenon17 Star25) 54.76) (= (slew_time Star25 Planet18) 21.35) (= (slew_time Planet18 Star25) 21.35) (= (slew_time Star25 Star19) 9.062) (= (slew_time Star19 Star25) 9.062) (= (slew_time Star25 Phenomenon20) 81.25) (= (slew_time Phenomenon20 Star25) 81.25) (= (slew_time Star25 Star21) 39.34) (= (slew_time Star21 Star25) 39.34) (= (slew_time Star25 Star22) 5.02) (= (slew_time Star22 Star25) 5.02) (= (slew_time Star25 Star23) 41.08) (= (slew_time Star23 Star25) 41.08) (= (slew_time Star25 Planet24) 34.85) (= (slew_time Planet24 Star25) 34.85) (= (slew_time Phenomenon26 Star0) 67.5) (= (slew_time Star0 Phenomenon26) 67.5) (= (slew_time Phenomenon26 GroundStation1) 32.12) (= (slew_time GroundStation1 Phenomenon26) 32.12) (= (slew_time Phenomenon26 GroundStation2) 56.59) (= (slew_time GroundStation2 Phenomenon26) 56.59) (= (slew_time Phenomenon26 Star3) 88.54) (= (slew_time Star3 Phenomenon26) 88.54) (= (slew_time Phenomenon26 GroundStation4) 50.12) (= (slew_time GroundStation4 Phenomenon26) 50.12) (= (slew_time Phenomenon26 Star5) 15.6) (= (slew_time Star5 Phenomenon26) 15.6) (= (slew_time Phenomenon26 Planet6) 42.45) (= (slew_time Planet6 Phenomenon26) 42.45) (= (slew_time Phenomenon26 Phenomenon7) 24.85) (= (slew_time Phenomenon7 Phenomenon26) 24.85) (= (slew_time Phenomenon26 Phenomenon8) 14.78) (= (slew_time Phenomenon8 Phenomenon26) 14.78) (= (slew_time Phenomenon26 Planet9) 66.25) (= (slew_time Planet9 Phenomenon26) 66.25) (= (slew_time Phenomenon26 Star10) 89.15) (= (slew_time Star10 Phenomenon26) 89.15) (= (slew_time Phenomenon26 Star11) 42.44) (= (slew_time Star11 Phenomenon26) 42.44) (= (slew_time Phenomenon26 Phenomenon12) 31.03) (= (slew_time Phenomenon12 Phenomenon26) 31.03) (= (slew_time Phenomenon26 Planet13) 14.56) (= (slew_time Planet13 Phenomenon26) 14.56) (= (slew_time Phenomenon26 Star14) 50.86) (= (slew_time Star14 Phenomenon26) 50.86) (= (slew_time Phenomenon26 Star15) 16.73) (= (slew_time Star15 Phenomenon26) 16.73) (= (slew_time Phenomenon26 Phenomenon16) 51.09) (= (slew_time Phenomenon16 Phenomenon26) 51.09) (= (slew_time Phenomenon26 Phenomenon17) 15.41) (= (slew_time Phenomenon17 Phenomenon26) 15.41) (= (slew_time Phenomenon26 Planet18) 22.62) (= (slew_time Planet18 Phenomenon26) 22.62) (= (slew_time Phenomenon26 Star19) 14.23) (= (slew_time Star19 Phenomenon26) 14.23) (= (slew_time Phenomenon26 Phenomenon20) 19.75) (= (slew_time Phenomenon20 Phenomenon26) 19.75) (= (slew_time Phenomenon26 Star21) 58.25) (= (slew_time Star21 Phenomenon26) 58.25) (= (slew_time Phenomenon26 Star22) 10.04) (= (slew_time Star22 Phenomenon26) 10.04) (= (slew_time Phenomenon26 Star23) 69.52) (= (slew_time Star23 Phenomenon26) 69.52) (= (slew_time Phenomenon26 Planet24) 40.89) (= (slew_time Planet24 Phenomenon26) 40.89) (= (slew_time Phenomenon26 Star25) 2.222) (= (slew_time Star25 Phenomenon26) 2.222) (= (slew_time Phenomenon27 Star0) 57.3) (= (slew_time Star0 Phenomenon27) 57.3) (= (slew_time Phenomenon27 GroundStation1) 21.8) (= (slew_time GroundStation1 Phenomenon27) 21.8) (= (slew_time Phenomenon27 GroundStation2) 92.8) (= (slew_time GroundStation2 Phenomenon27) 92.8) (= (slew_time Phenomenon27 Star3) 16.47) (= (slew_time Star3 Phenomenon27) 16.47) (= (slew_time Phenomenon27 GroundStation4) 43.71) (= (slew_time GroundStation4 Phenomenon27) 43.71) (= (slew_time Phenomenon27 Star5) 8.599) (= (slew_time Star5 Phenomenon27) 8.599) (= (slew_time Phenomenon27 Planet6) 52.54) (= (slew_time Planet6 Phenomenon27) 52.54) (= (slew_time Phenomenon27 Phenomenon7) 16.42) (= (slew_time Phenomenon7 Phenomenon27) 16.42) (= (slew_time Phenomenon27 Phenomenon8) 40.32) (= (slew_time Phenomenon8 Phenomenon27) 40.32) (= (slew_time Phenomenon27 Planet9) 10.34) (= (slew_time Planet9 Phenomenon27) 10.34) (= (slew_time Phenomenon27 Star10) 18.94) (= (slew_time Star10 Phenomenon27) 18.94) (= (slew_time Phenomenon27 Star11) 2.975) (= (slew_time Star11 Phenomenon27) 2.975) (= (slew_time Phenomenon27 Phenomenon12) 86.51) (= (slew_time Phenomenon12 Phenomenon27) 86.51) (= (slew_time Phenomenon27 Planet13) 13.26) (= (slew_time Planet13 Phenomenon27) 13.26) (= (slew_time Phenomenon27 Star14) 79.67) (= (slew_time Star14 Phenomenon27) 79.67) (= (slew_time Phenomenon27 Star15) 57.24) (= (slew_time Star15 Phenomenon27) 57.24) (= (slew_time Phenomenon27 Phenomenon16) 11.32) (= (slew_time Phenomenon16 Phenomenon27) 11.32) (= (slew_time Phenomenon27 Phenomenon17) 43.13) (= (slew_time Phenomenon17 Phenomenon27) 43.13) (= (slew_time Phenomenon27 Planet18) 5.953) (= (slew_time Planet18 Phenomenon27) 5.953) (= (slew_time Phenomenon27 Star19) 7.028) (= (slew_time Star19 Phenomenon27) 7.028) (= (slew_time Phenomenon27 Phenomenon20) 37.45) (= (slew_time Phenomenon20 Phenomenon27) 37.45) (= (slew_time Phenomenon27 Star21) 11.3) (= (slew_time Star21 Phenomenon27) 11.3) (= (slew_time Phenomenon27 Star22) 27.63) (= (slew_time Star22 Phenomenon27) 27.63) (= (slew_time Phenomenon27 Star23) 40.57) (= (slew_time Star23 Phenomenon27) 40.57) (= (slew_time Phenomenon27 Planet24) 26.28) (= (slew_time Planet24 Phenomenon27) 26.28) (= (slew_time Phenomenon27 Star25) 11.23) (= (slew_time Star25 Phenomenon27) 11.23) (= (slew_time Phenomenon27 Phenomenon26) 10.15) (= (slew_time Phenomenon26 Phenomenon27) 10.15) (= (slew_time Phenomenon28 Star0) 47.19) (= (slew_time Star0 Phenomenon28) 47.19) (= (slew_time Phenomenon28 GroundStation1) 7.135) (= (slew_time GroundStation1 Phenomenon28) 7.135) (= (slew_time Phenomenon28 GroundStation2) 2.956) (= (slew_time GroundStation2 Phenomenon28) 2.956) (= (slew_time Phenomenon28 Star3) 55.72) (= (slew_time Star3 Phenomenon28) 55.72) (= (slew_time Phenomenon28 GroundStation4) 28.76) (= (slew_time GroundStation4 Phenomenon28) 28.76) (= (slew_time Phenomenon28 Star5) 46.11) (= (slew_time Star5 Phenomenon28) 46.11) (= (slew_time Phenomenon28 Planet6) 18.21) (= (slew_time Planet6 Phenomenon28) 18.21) (= (slew_time Phenomenon28 Phenomenon7) 20.67) (= (slew_time Phenomenon7 Phenomenon28) 20.67) (= (slew_time Phenomenon28 Phenomenon8) 14.71) (= (slew_time Phenomenon8 Phenomenon28) 14.71) (= (slew_time Phenomenon28 Planet9) 19.66) (= (slew_time Planet9 Phenomenon28) 19.66) (= (slew_time Phenomenon28 Star10) 99.41) (= (slew_time Star10 Phenomenon28) 99.41) (= (slew_time Phenomenon28 Star11) 50) (= (slew_time Star11 Phenomenon28) 50) (= (slew_time Phenomenon28 Phenomenon12) 35.95) (= (slew_time Phenomenon12 Phenomenon28) 35.95) (= (slew_time Phenomenon28 Planet13) 19.9) (= (slew_time Planet13 Phenomenon28) 19.9) (= (slew_time Phenomenon28 Star14) 18.62) (= (slew_time Star14 Phenomenon28) 18.62) (= (slew_time Phenomenon28 Star15) 26.99) (= (slew_time Star15 Phenomenon28) 26.99) (= (slew_time Phenomenon28 Phenomenon16) 61.33) (= (slew_time Phenomenon16 Phenomenon28) 61.33) (= (slew_time Phenomenon28 Phenomenon17) 17.11) (= (slew_time Phenomenon17 Phenomenon28) 17.11) (= (slew_time Phenomenon28 Planet18) 32.08) (= (slew_time Planet18 Phenomenon28) 32.08) (= (slew_time Phenomenon28 Star19) 6.82) (= (slew_time Star19 Phenomenon28) 6.82) (= (slew_time Phenomenon28 Phenomenon20) 7.237) (= (slew_time Phenomenon20 Phenomenon28) 7.237) (= (slew_time Phenomenon28 Star21) 0.4045) (= (slew_time Star21 Phenomenon28) 0.4045) (= (slew_time Phenomenon28 Star22) 19.72) (= (slew_time Star22 Phenomenon28) 19.72) (= (slew_time Phenomenon28 Star23) 56.35) (= (slew_time Star23 Phenomenon28) 56.35) (= (slew_time Phenomenon28 Planet24) 11.52) (= (slew_time Planet24 Phenomenon28) 11.52) (= (slew_time Phenomenon28 Star25) 35.52) (= (slew_time Star25 Phenomenon28) 35.52) (= (slew_time Phenomenon28 Phenomenon26) 12.58) (= (slew_time Phenomenon26 Phenomenon28) 12.58) (= (slew_time Phenomenon28 Phenomenon27) 36.33) (= (slew_time Phenomenon27 Phenomenon28) 36.33) (= (slew_time Star29 Star0) 30.2) (= (slew_time Star0 Star29) 30.2) (= (slew_time Star29 GroundStation1) 59.43) (= (slew_time GroundStation1 Star29) 59.43) (= (slew_time Star29 GroundStation2) 72.55) (= (slew_time GroundStation2 Star29) 72.55) (= (slew_time Star29 Star3) 38.43) (= (slew_time Star3 Star29) 38.43) (= (slew_time Star29 GroundStation4) 80.14) (= (slew_time GroundStation4 Star29) 80.14) (= (slew_time Star29 Star5) 47.02) (= (slew_time Star5 Star29) 47.02) (= (slew_time Star29 Planet6) 20.23) (= (slew_time Planet6 Star29) 20.23) (= (slew_time Star29 Phenomenon7) 12.73) (= (slew_time Phenomenon7 Star29) 12.73) (= (slew_time Star29 Phenomenon8) 6.487) (= (slew_time Phenomenon8 Star29) 6.487) (= (slew_time Star29 Planet9) 16.34) (= (slew_time Planet9 Star29) 16.34) (= (slew_time Star29 Star10) 38.84) (= (slew_time Star10 Star29) 38.84) (= (slew_time Star29 Star11) 52.7) (= (slew_time Star11 Star29) 52.7) (= (slew_time Star29 Phenomenon12) 23.61) (= (slew_time Phenomenon12 Star29) 23.61) (= (slew_time Star29 Planet13) 31.95) (= (slew_time Planet13 Star29) 31.95) (= (slew_time Star29 Star14) 13.11) (= (slew_time Star14 Star29) 13.11) (= (slew_time Star29 Star15) 12.45) (= (slew_time Star15 Star29) 12.45) (= (slew_time Star29 Phenomenon16) 42.11) (= (slew_time Phenomenon16 Star29) 42.11) (= (slew_time Star29 Phenomenon17) 87.88) (= (slew_time Phenomenon17 Star29) 87.88) (= (slew_time Star29 Planet18) 7.849) (= (slew_time Planet18 Star29) 7.849) (= (slew_time Star29 Star19) 36.3) (= (slew_time Star19 Star29) 36.3) (= (slew_time Star29 Phenomenon20) 9.818) (= (slew_time Phenomenon20 Star29) 9.818) (= (slew_time Star29 Star21) 10.8) (= (slew_time Star21 Star29) 10.8) (= (slew_time Star29 Star22) 25.32) (= (slew_time Star22 Star29) 25.32) (= (slew_time Star29 Star23) 6.648) (= (slew_time Star23 Star29) 6.648) (= (slew_time Star29 Planet24) 26.77) (= (slew_time Planet24 Star29) 26.77) (= (slew_time Star29 Star25) 52.77) (= (slew_time Star25 Star29) 52.77) (= (slew_time Star29 Phenomenon26) 25.44) (= (slew_time Phenomenon26 Star29) 25.44) (= (slew_time Star29 Phenomenon27) 5.318) (= (slew_time Phenomenon27 Star29) 5.318) (= (slew_time Star29 Phenomenon28) 71.28) (= (slew_time Phenomenon28 Star29) 71.28) (= (slew_time Phenomenon30 Star0) 10.63) (= (slew_time Star0 Phenomenon30) 10.63) (= (slew_time Phenomenon30 GroundStation1) 6.922) (= (slew_time GroundStation1 Phenomenon30) 6.922) (= (slew_time Phenomenon30 GroundStation2) 23.34) (= (slew_time GroundStation2 Phenomenon30) 23.34) (= (slew_time Phenomenon30 Star3) 33.44) (= (slew_time Star3 Phenomenon30) 33.44) (= (slew_time Phenomenon30 GroundStation4) 1.709) (= (slew_time GroundStation4 Phenomenon30) 1.709) (= (slew_time Phenomenon30 Star5) 93.71) (= (slew_time Star5 Phenomenon30) 93.71) (= (slew_time Phenomenon30 Planet6) 4.735) (= (slew_time Planet6 Phenomenon30) 4.735) (= (slew_time Phenomenon30 Phenomenon7) 13.71) (= (slew_time Phenomenon7 Phenomenon30) 13.71) (= (slew_time Phenomenon30 Phenomenon8) 9.458) (= (slew_time Phenomenon8 Phenomenon30) 9.458) (= (slew_time Phenomenon30 Planet9) 11.49) (= (slew_time Planet9 Phenomenon30) 11.49) (= (slew_time Phenomenon30 Star10) 63.04) (= (slew_time Star10 Phenomenon30) 63.04) (= (slew_time Phenomenon30 Star11) 7.359) (= (slew_time Star11 Phenomenon30) 7.359) (= (slew_time Phenomenon30 Phenomenon12) 29.11) (= (slew_time Phenomenon12 Phenomenon30) 29.11) (= (slew_time Phenomenon30 Planet13) 75.14) (= (slew_time Planet13 Phenomenon30) 75.14) (= (slew_time Phenomenon30 Star14) 42.29) (= (slew_time Star14 Phenomenon30) 42.29) (= (slew_time Phenomenon30 Star15) 85.11) (= (slew_time Star15 Phenomenon30) 85.11) (= (slew_time Phenomenon30 Phenomenon16) 28.49) (= (slew_time Phenomenon16 Phenomenon30) 28.49) (= (slew_time Phenomenon30 Phenomenon17) 9.024) (= (slew_time Phenomenon17 Phenomenon30) 9.024) (= (slew_time Phenomenon30 Planet18) 15.64) (= (slew_time Planet18 Phenomenon30) 15.64) (= (slew_time Phenomenon30 Star19) 35.23) (= (slew_time Star19 Phenomenon30) 35.23) (= (slew_time Phenomenon30 Phenomenon20) 44.08) (= (slew_time Phenomenon20 Phenomenon30) 44.08) (= (slew_time Phenomenon30 Star21) 19.58) (= (slew_time Star21 Phenomenon30) 19.58) (= (slew_time Phenomenon30 Star22) 12.97) (= (slew_time Star22 Phenomenon30) 12.97) (= (slew_time Phenomenon30 Star23) 22.54) (= (slew_time Star23 Phenomenon30) 22.54) (= (slew_time Phenomenon30 Planet24) 2.369) (= (slew_time Planet24 Phenomenon30) 2.369) (= (slew_time Phenomenon30 Star25) 19.07) (= (slew_time Star25 Phenomenon30) 19.07) (= (slew_time Phenomenon30 Phenomenon26) 36.83) (= (slew_time Phenomenon26 Phenomenon30) 36.83) (= (slew_time Phenomenon30 Phenomenon27) 8.104) (= (slew_time Phenomenon27 Phenomenon30) 8.104) (= (slew_time Phenomenon30 Phenomenon28) 12.8) (= (slew_time Phenomenon28 Phenomenon30) 12.8) (= (slew_time Phenomenon30 Star29) 34.17) (= (slew_time Star29 Phenomenon30) 34.17) (= (slew_time Phenomenon31 Star0) 56.7) (= (slew_time Star0 Phenomenon31) 56.7) (= (slew_time Phenomenon31 GroundStation1) 10.16) (= (slew_time GroundStation1 Phenomenon31) 10.16) (= (slew_time Phenomenon31 GroundStation2) 21.32) (= (slew_time GroundStation2 Phenomenon31) 21.32) (= (slew_time Phenomenon31 Star3) 1.382) (= (slew_time Star3 Phenomenon31) 1.382) (= (slew_time Phenomenon31 GroundStation4) 48.27) (= (slew_time GroundStation4 Phenomenon31) 48.27) (= (slew_time Phenomenon31 Star5) 82.18) (= (slew_time Star5 Phenomenon31) 82.18) (= (slew_time Phenomenon31 Planet6) 1.978) (= (slew_time Planet6 Phenomenon31) 1.978) (= (slew_time Phenomenon31 Phenomenon7) 0.3841) (= (slew_time Phenomenon7 Phenomenon31) 0.3841) (= (slew_time Phenomenon31 Phenomenon8) 50.96) (= (slew_time Phenomenon8 Phenomenon31) 50.96) (= (slew_time Phenomenon31 Planet9) 11.65) (= (slew_time Planet9 Phenomenon31) 11.65) (= (slew_time Phenomenon31 Star10) 73.17) (= (slew_time Star10 Phenomenon31) 73.17) (= (slew_time Phenomenon31 Star11) 32.41) (= (slew_time Star11 Phenomenon31) 32.41) (= (slew_time Phenomenon31 Phenomenon12) 2.289) (= (slew_time Phenomenon12 Phenomenon31) 2.289) (= (slew_time Phenomenon31 Planet13) 57.43) (= (slew_time Planet13 Phenomenon31) 57.43) (= (slew_time Phenomenon31 Star14) 62.36) (= (slew_time Star14 Phenomenon31) 62.36) (= (slew_time Phenomenon31 Star15) 18.23) (= (slew_time Star15 Phenomenon31) 18.23) (= (slew_time Phenomenon31 Phenomenon16) 25.29) (= (slew_time Phenomenon16 Phenomenon31) 25.29) (= (slew_time Phenomenon31 Phenomenon17) 4.701) (= (slew_time Phenomenon17 Phenomenon31) 4.701) (= (slew_time Phenomenon31 Planet18) 62.74) (= (slew_time Planet18 Phenomenon31) 62.74) (= (slew_time Phenomenon31 Star19) 37.94) (= (slew_time Star19 Phenomenon31) 37.94) (= (slew_time Phenomenon31 Phenomenon20) 24.37) (= (slew_time Phenomenon20 Phenomenon31) 24.37) (= (slew_time Phenomenon31 Star21) 51.76) (= (slew_time Star21 Phenomenon31) 51.76) (= (slew_time Phenomenon31 Star22) 37.03) (= (slew_time Star22 Phenomenon31) 37.03) (= (slew_time Phenomenon31 Star23) 1.895) (= (slew_time Star23 Phenomenon31) 1.895) (= (slew_time Phenomenon31 Planet24) 41.28) (= (slew_time Planet24 Phenomenon31) 41.28) (= (slew_time Phenomenon31 Star25) 51.87) (= (slew_time Star25 Phenomenon31) 51.87) (= (slew_time Phenomenon31 Phenomenon26) 50.89) (= (slew_time Phenomenon26 Phenomenon31) 50.89) (= (slew_time Phenomenon31 Phenomenon27) 14.22) (= (slew_time Phenomenon27 Phenomenon31) 14.22) (= (slew_time Phenomenon31 Phenomenon28) 39.65) (= (slew_time Phenomenon28 Phenomenon31) 39.65) (= (slew_time Phenomenon31 Star29) 25.64) (= (slew_time Star29 Phenomenon31) 25.64) (= (slew_time Phenomenon31 Phenomenon30) 56.05) (= (slew_time Phenomenon30 Phenomenon31) 56.05) (= (slew_time Phenomenon32 Star0) 25.85) (= (slew_time Star0 Phenomenon32) 25.85) (= (slew_time Phenomenon32 GroundStation1) 29.95) (= (slew_time GroundStation1 Phenomenon32) 29.95) (= (slew_time Phenomenon32 GroundStation2) 6.929) (= (slew_time GroundStation2 Phenomenon32) 6.929) (= (slew_time Phenomenon32 Star3) 2.386) (= (slew_time Star3 Phenomenon32) 2.386) (= (slew_time Phenomenon32 GroundStation4) 40.05) (= (slew_time GroundStation4 Phenomenon32) 40.05) (= (slew_time Phenomenon32 Star5) 44.87) (= (slew_time Star5 Phenomenon32) 44.87) (= (slew_time Phenomenon32 Planet6) 41.75) (= (slew_time Planet6 Phenomenon32) 41.75) (= (slew_time Phenomenon32 Phenomenon7) 42.29) (= (slew_time Phenomenon7 Phenomenon32) 42.29) (= (slew_time Phenomenon32 Phenomenon8) 24.68) (= (slew_time Phenomenon8 Phenomenon32) 24.68) (= (slew_time Phenomenon32 Planet9) 37.07) (= (slew_time Planet9 Phenomenon32) 37.07) (= (slew_time Phenomenon32 Star10) 70) (= (slew_time Star10 Phenomenon32) 70) (= (slew_time Phenomenon32 Star11) 10.85) (= (slew_time Star11 Phenomenon32) 10.85) (= (slew_time Phenomenon32 Phenomenon12) 67.11) (= (slew_time Phenomenon12 Phenomenon32) 67.11) (= (slew_time Phenomenon32 Planet13) 20.69) (= (slew_time Planet13 Phenomenon32) 20.69) (= (slew_time Phenomenon32 Star14) 14.61) (= (slew_time Star14 Phenomenon32) 14.61) (= (slew_time Phenomenon32 Star15) 0.2703) (= (slew_time Star15 Phenomenon32) 0.2703) (= (slew_time Phenomenon32 Phenomenon16) 39.23) (= (slew_time Phenomenon16 Phenomenon32) 39.23) (= (slew_time Phenomenon32 Phenomenon17) 60.03) (= (slew_time Phenomenon17 Phenomenon32) 60.03) (= (slew_time Phenomenon32 Planet18) 11.55) (= (slew_time Planet18 Phenomenon32) 11.55) (= (slew_time Phenomenon32 Star19) 60.84) (= (slew_time Star19 Phenomenon32) 60.84) (= (slew_time Phenomenon32 Phenomenon20) 44.95) (= (slew_time Phenomenon20 Phenomenon32) 44.95) (= (slew_time Phenomenon32 Star21) 23.54) (= (slew_time Star21 Phenomenon32) 23.54) (= (slew_time Phenomenon32 Star22) 51.64) (= (slew_time Star22 Phenomenon32) 51.64) (= (slew_time Phenomenon32 Star23) 14.64) (= (slew_time Star23 Phenomenon32) 14.64) (= (slew_time Phenomenon32 Planet24) 67.31) (= (slew_time Planet24 Phenomenon32) 67.31) (= (slew_time Phenomenon32 Star25) 20.43) (= (slew_time Star25 Phenomenon32) 20.43) (= (slew_time Phenomenon32 Phenomenon26) 67.35) (= (slew_time Phenomenon26 Phenomenon32) 67.35) (= (slew_time Phenomenon32 Phenomenon27) 45.96) (= (slew_time Phenomenon27 Phenomenon32) 45.96) (= (slew_time Phenomenon32 Phenomenon28) 54.82) (= (slew_time Phenomenon28 Phenomenon32) 54.82) (= (slew_time Phenomenon32 Star29) 12.37) (= (slew_time Star29 Phenomenon32) 12.37) (= (slew_time Phenomenon32 Phenomenon30) 2.672) (= (slew_time Phenomenon30 Phenomenon32) 2.672) (= (slew_time Phenomenon32 Phenomenon31) 90.1) (= (slew_time Phenomenon31 Phenomenon32) 90.1) (= (slew_time Phenomenon33 Star0) 4.797) (= (slew_time Star0 Phenomenon33) 4.797) (= (slew_time Phenomenon33 GroundStation1) 59.61) (= (slew_time GroundStation1 Phenomenon33) 59.61) (= (slew_time Phenomenon33 GroundStation2) 50.26) (= (slew_time GroundStation2 Phenomenon33) 50.26) (= (slew_time Phenomenon33 Star3) 53.35) (= (slew_time Star3 Phenomenon33) 53.35) (= (slew_time Phenomenon33 GroundStation4) 53.07) (= (slew_time GroundStation4 Phenomenon33) 53.07) (= (slew_time Phenomenon33 Star5) 65.38) (= (slew_time Star5 Phenomenon33) 65.38) (= (slew_time Phenomenon33 Planet6) 3.378) (= (slew_time Planet6 Phenomenon33) 3.378) (= (slew_time Phenomenon33 Phenomenon7) 7.825) (= (slew_time Phenomenon7 Phenomenon33) 7.825) (= (slew_time Phenomenon33 Phenomenon8) 12.21) (= (slew_time Phenomenon8 Phenomenon33) 12.21) (= (slew_time Phenomenon33 Planet9) 39.39) (= (slew_time Planet9 Phenomenon33) 39.39) (= (slew_time Phenomenon33 Star10) 28.49) (= (slew_time Star10 Phenomenon33) 28.49) (= (slew_time Phenomenon33 Star11) 6.199) (= (slew_time Star11 Phenomenon33) 6.199) (= (slew_time Phenomenon33 Phenomenon12) 69.36) (= (slew_time Phenomenon12 Phenomenon33) 69.36) (= (slew_time Phenomenon33 Planet13) 8.844) (= (slew_time Planet13 Phenomenon33) 8.844) (= (slew_time Phenomenon33 Star14) 4.727) (= (slew_time Star14 Phenomenon33) 4.727) (= (slew_time Phenomenon33 Star15) 92.16) (= (slew_time Star15 Phenomenon33) 92.16) (= (slew_time Phenomenon33 Phenomenon16) 76.89) (= (slew_time Phenomenon16 Phenomenon33) 76.89) (= (slew_time Phenomenon33 Phenomenon17) 4.429) (= (slew_time Phenomenon17 Phenomenon33) 4.429) (= (slew_time Phenomenon33 Planet18) 0.09386) (= (slew_time Planet18 Phenomenon33) 0.09386) (= (slew_time Phenomenon33 Star19) 70.88) (= (slew_time Star19 Phenomenon33) 70.88) (= (slew_time Phenomenon33 Phenomenon20) 0.4176) (= (slew_time Phenomenon20 Phenomenon33) 0.4176) (= (slew_time Phenomenon33 Star21) 15.81) (= (slew_time Star21 Phenomenon33) 15.81) (= (slew_time Phenomenon33 Star22) 63.9) (= (slew_time Star22 Phenomenon33) 63.9) (= (slew_time Phenomenon33 Star23) 40.52) (= (slew_time Star23 Phenomenon33) 40.52) (= (slew_time Phenomenon33 Planet24) 37.97) (= (slew_time Planet24 Phenomenon33) 37.97) (= (slew_time Phenomenon33 Star25) 27.37) (= (slew_time Star25 Phenomenon33) 27.37) (= (slew_time Phenomenon33 Phenomenon26) 38.79) (= (slew_time Phenomenon26 Phenomenon33) 38.79) (= (slew_time Phenomenon33 Phenomenon27) 30.86) (= (slew_time Phenomenon27 Phenomenon33) 30.86) (= (slew_time Phenomenon33 Phenomenon28) 44.64) (= (slew_time Phenomenon28 Phenomenon33) 44.64) (= (slew_time Phenomenon33 Star29) 27.15) (= (slew_time Star29 Phenomenon33) 27.15) (= (slew_time Phenomenon33 Phenomenon30) 80.96) (= (slew_time Phenomenon30 Phenomenon33) 80.96) (= (slew_time Phenomenon33 Phenomenon31) 41.11) (= (slew_time Phenomenon31 Phenomenon33) 41.11) (= (slew_time Phenomenon33 Phenomenon32) 2.433) (= (slew_time Phenomenon32 Phenomenon33) 2.433) (= (slew_time Star34 Star0) 58.25) (= (slew_time Star0 Star34) 58.25) (= (slew_time Star34 GroundStation1) 58.65) (= (slew_time GroundStation1 Star34) 58.65) (= (slew_time Star34 GroundStation2) 57.18) (= (slew_time GroundStation2 Star34) 57.18) (= (slew_time Star34 Star3) 20.81) (= (slew_time Star3 Star34) 20.81) (= (slew_time Star34 GroundStation4) 17.53) (= (slew_time GroundStation4 Star34) 17.53) (= (slew_time Star34 Star5) 16.85) (= (slew_time Star5 Star34) 16.85) (= (slew_time Star34 Planet6) 86.62) (= (slew_time Planet6 Star34) 86.62) (= (slew_time Star34 Phenomenon7) 59.81) (= (slew_time Phenomenon7 Star34) 59.81) (= (slew_time Star34 Phenomenon8) 3.815) (= (slew_time Phenomenon8 Star34) 3.815) (= (slew_time Star34 Planet9) 5.125) (= (slew_time Planet9 Star34) 5.125) (= (slew_time Star34 Star10) 77.61) (= (slew_time Star10 Star34) 77.61) (= (slew_time Star34 Star11) 53.34) (= (slew_time Star11 Star34) 53.34) (= (slew_time Star34 Phenomenon12) 52.72) (= (slew_time Phenomenon12 Star34) 52.72) (= (slew_time Star34 Planet13) 35.83) (= (slew_time Planet13 Star34) 35.83) (= (slew_time Star34 Star14) 61.38) (= (slew_time Star14 Star34) 61.38) (= (slew_time Star34 Star15) 54.85) (= (slew_time Star15 Star34) 54.85) (= (slew_time Star34 Phenomenon16) 2.489) (= (slew_time Phenomenon16 Star34) 2.489) (= (slew_time Star34 Phenomenon17) 26.2) (= (slew_time Phenomenon17 Star34) 26.2) (= (slew_time Star34 Planet18) 7.75) (= (slew_time Planet18 Star34) 7.75) (= (slew_time Star34 Star19) 7.376) (= (slew_time Star19 Star34) 7.376) (= (slew_time Star34 Phenomenon20) 36.59) (= (slew_time Phenomenon20 Star34) 36.59) (= (slew_time Star34 Star21) 3.249) (= (slew_time Star21 Star34) 3.249) (= (slew_time Star34 Star22) 1.374) (= (slew_time Star22 Star34) 1.374) (= (slew_time Star34 Star23) 59.19) (= (slew_time Star23 Star34) 59.19) (= (slew_time Star34 Planet24) 81.39) (= (slew_time Planet24 Star34) 81.39) (= (slew_time Star34 Star25) 35.9) (= (slew_time Star25 Star34) 35.9) (= (slew_time Star34 Phenomenon26) 3.403) (= (slew_time Phenomenon26 Star34) 3.403) (= (slew_time Star34 Phenomenon27) 23.65) (= (slew_time Phenomenon27 Star34) 23.65) (= (slew_time Star34 Phenomenon28) 28.47) (= (slew_time Phenomenon28 Star34) 28.47) (= (slew_time Star34 Star29) 11.81) (= (slew_time Star29 Star34) 11.81) (= (slew_time Star34 Phenomenon30) 19.52) (= (slew_time Phenomenon30 Star34) 19.52) (= (slew_time Star34 Phenomenon31) 9.489) (= (slew_time Phenomenon31 Star34) 9.489) (= (slew_time Star34 Phenomenon32) 19.83) (= (slew_time Phenomenon32 Star34) 19.83) (= (slew_time Star34 Phenomenon33) 18.32) (= (slew_time Phenomenon33 Star34) 18.32) (= (slew_time Star35 Star0) 22.1) (= (slew_time Star0 Star35) 22.1) (= (slew_time Star35 GroundStation1) 16.91) (= (slew_time GroundStation1 Star35) 16.91) (= (slew_time Star35 GroundStation2) 48.11) (= (slew_time GroundStation2 Star35) 48.11) (= (slew_time Star35 Star3) 64.63) (= (slew_time Star3 Star35) 64.63) (= (slew_time Star35 GroundStation4) 55.67) (= (slew_time GroundStation4 Star35) 55.67) (= (slew_time Star35 Star5) 34.18) (= (slew_time Star5 Star35) 34.18) (= (slew_time Star35 Planet6) 3.293) (= (slew_time Planet6 Star35) 3.293) (= (slew_time Star35 Phenomenon7) 12.62) (= (slew_time Phenomenon7 Star35) 12.62) (= (slew_time Star35 Phenomenon8) 34.84) (= (slew_time Phenomenon8 Star35) 34.84) (= (slew_time Star35 Planet9) 50.12) (= (slew_time Planet9 Star35) 50.12) (= (slew_time Star35 Star10) 8.926) (= (slew_time Star10 Star35) 8.926) (= (slew_time Star35 Star11) 58.06) (= (slew_time Star11 Star35) 58.06) (= (slew_time Star35 Phenomenon12) 4.748) (= (slew_time Phenomenon12 Star35) 4.748) (= (slew_time Star35 Planet13) 6.578) (= (slew_time Planet13 Star35) 6.578) (= (slew_time Star35 Star14) 27.74) (= (slew_time Star14 Star35) 27.74) (= (slew_time Star35 Star15) 80.78) (= (slew_time Star15 Star35) 80.78) (= (slew_time Star35 Phenomenon16) 20.3) (= (slew_time Phenomenon16 Star35) 20.3) (= (slew_time Star35 Phenomenon17) 17.88) (= (slew_time Phenomenon17 Star35) 17.88) (= (slew_time Star35 Planet18) 43.18) (= (slew_time Planet18 Star35) 43.18) (= (slew_time Star35 Star19) 5.766) (= (slew_time Star19 Star35) 5.766) (= (slew_time Star35 Phenomenon20) 8.974) (= (slew_time Phenomenon20 Star35) 8.974) (= (slew_time Star35 Star21) 33.31) (= (slew_time Star21 Star35) 33.31) (= (slew_time Star35 Star22) 27.26) (= (slew_time Star22 Star35) 27.26) (= (slew_time Star35 Star23) 17.78) (= (slew_time Star23 Star35) 17.78) (= (slew_time Star35 Planet24) 36.54) (= (slew_time Planet24 Star35) 36.54) (= (slew_time Star35 Star25) 6.732) (= (slew_time Star25 Star35) 6.732) (= (slew_time Star35 Phenomenon26) 45.11) (= (slew_time Phenomenon26 Star35) 45.11) (= (slew_time Star35 Phenomenon27) 34.67) (= (slew_time Phenomenon27 Star35) 34.67) (= (slew_time Star35 Phenomenon28) 18.35) (= (slew_time Phenomenon28 Star35) 18.35) (= (slew_time Star35 Star29) 43.34) (= (slew_time Star29 Star35) 43.34) (= (slew_time Star35 Phenomenon30) 36.17) (= (slew_time Phenomenon30 Star35) 36.17) (= (slew_time Star35 Phenomenon31) 59.22) (= (slew_time Phenomenon31 Star35) 59.22) (= (slew_time Star35 Phenomenon32) 1.303) (= (slew_time Phenomenon32 Star35) 1.303) (= (slew_time Star35 Phenomenon33) 24.89) (= (slew_time Phenomenon33 Star35) 24.89) (= (slew_time Star35 Star34) 40.38) (= (slew_time Star34 Star35) 40.38) (= (slew_time Star36 Star0) 72.46) (= (slew_time Star0 Star36) 72.46) (= (slew_time Star36 GroundStation1) 15.18) (= (slew_time GroundStation1 Star36) 15.18) (= (slew_time Star36 GroundStation2) 31.08) (= (slew_time GroundStation2 Star36) 31.08) (= (slew_time Star36 Star3) 16.74) (= (slew_time Star3 Star36) 16.74) (= (slew_time Star36 GroundStation4) 67.96) (= (slew_time GroundStation4 Star36) 67.96) (= (slew_time Star36 Star5) 34.06) (= (slew_time Star5 Star36) 34.06) (= (slew_time Star36 Planet6) 19) (= (slew_time Planet6 Star36) 19) (= (slew_time Star36 Phenomenon7) 0.6446) (= (slew_time Phenomenon7 Star36) 0.6446) (= (slew_time Star36 Phenomenon8) 95.32) (= (slew_time Phenomenon8 Star36) 95.32) (= (slew_time Star36 Planet9) 37.64) (= (slew_time Planet9 Star36) 37.64) (= (slew_time Star36 Star10) 62.64) (= (slew_time Star10 Star36) 62.64) (= (slew_time Star36 Star11) 7.519) (= (slew_time Star11 Star36) 7.519) (= (slew_time Star36 Phenomenon12) 95.25) (= (slew_time Phenomenon12 Star36) 95.25) (= (slew_time Star36 Planet13) 73.62) (= (slew_time Planet13 Star36) 73.62) (= (slew_time Star36 Star14) 33.41) (= (slew_time Star14 Star36) 33.41) (= (slew_time Star36 Star15) 53.34) (= (slew_time Star15 Star36) 53.34) (= (slew_time Star36 Phenomenon16) 6.336) (= (slew_time Phenomenon16 Star36) 6.336) (= (slew_time Star36 Phenomenon17) 76.21) (= (slew_time Phenomenon17 Star36) 76.21) (= (slew_time Star36 Planet18) 12.23) (= (slew_time Planet18 Star36) 12.23) (= (slew_time Star36 Star19) 15.47) (= (slew_time Star19 Star36) 15.47) (= (slew_time Star36 Phenomenon20) 62.22) (= (slew_time Phenomenon20 Star36) 62.22) (= (slew_time Star36 Star21) 14.32) (= (slew_time Star21 Star36) 14.32) (= (slew_time Star36 Star22) 46.16) (= (slew_time Star22 Star36) 46.16) (= (slew_time Star36 Star23) 56.26) (= (slew_time Star23 Star36) 56.26) (= (slew_time Star36 Planet24) 35.92) (= (slew_time Planet24 Star36) 35.92) (= (slew_time Star36 Star25) 7.675) (= (slew_time Star25 Star36) 7.675) (= (slew_time Star36 Phenomenon26) 11.64) (= (slew_time Phenomenon26 Star36) 11.64) (= (slew_time Star36 Phenomenon27) 10.56) (= (slew_time Phenomenon27 Star36) 10.56) (= (slew_time Star36 Phenomenon28) 2.655) (= (slew_time Phenomenon28 Star36) 2.655) (= (slew_time Star36 Star29) 31.64) (= (slew_time Star29 Star36) 31.64) (= (slew_time Star36 Phenomenon30) 1.649) (= (slew_time Phenomenon30 Star36) 1.649) (= (slew_time Star36 Phenomenon31) 36.63) (= (slew_time Phenomenon31 Star36) 36.63) (= (slew_time Star36 Phenomenon32) 40.14) (= (slew_time Phenomenon32 Star36) 40.14) (= (slew_time Star36 Phenomenon33) 20.06) (= (slew_time Phenomenon33 Star36) 20.06) (= (slew_time Star36 Star34) 32.53) (= (slew_time Star34 Star36) 32.53) (= (slew_time Star36 Star35) 3.37) (= (slew_time Star35 Star36) 3.37) (= (slew_time Planet37 Star0) 65.02) (= (slew_time Star0 Planet37) 65.02) (= (slew_time Planet37 GroundStation1) 24.39) (= (slew_time GroundStation1 Planet37) 24.39) (= (slew_time Planet37 GroundStation2) 23.6) (= (slew_time GroundStation2 Planet37) 23.6) (= (slew_time Planet37 Star3) 37.79) (= (slew_time Star3 Planet37) 37.79) (= (slew_time Planet37 GroundStation4) 14.14) (= (slew_time GroundStation4 Planet37) 14.14) (= (slew_time Planet37 Star5) 37.77) (= (slew_time Star5 Planet37) 37.77) (= (slew_time Planet37 Planet6) 29.6) (= (slew_time Planet6 Planet37) 29.6) (= (slew_time Planet37 Phenomenon7) 32.58) (= (slew_time Phenomenon7 Planet37) 32.58) (= (slew_time Planet37 Phenomenon8) 22.4) (= (slew_time Phenomenon8 Planet37) 22.4) (= (slew_time Planet37 Planet9) 42.51) (= (slew_time Planet9 Planet37) 42.51) (= (slew_time Planet37 Star10) 18.42) (= (slew_time Star10 Planet37) 18.42) (= (slew_time Planet37 Star11) 1.811) (= (slew_time Star11 Planet37) 1.811) (= (slew_time Planet37 Phenomenon12) 1.919) (= (slew_time Phenomenon12 Planet37) 1.919) (= (slew_time Planet37 Planet13) 32.53) (= (slew_time Planet13 Planet37) 32.53) (= (slew_time Planet37 Star14) 2.103) (= (slew_time Star14 Planet37) 2.103) (= (slew_time Planet37 Star15) 11.25) (= (slew_time Star15 Planet37) 11.25) (= (slew_time Planet37 Phenomenon16) 0.5999) (= (slew_time Phenomenon16 Planet37) 0.5999) (= (slew_time Planet37 Phenomenon17) 31.99) (= (slew_time Phenomenon17 Planet37) 31.99) (= (slew_time Planet37 Planet18) 30.63) (= (slew_time Planet18 Planet37) 30.63) (= (slew_time Planet37 Star19) 37.59) (= (slew_time Star19 Planet37) 37.59) (= (slew_time Planet37 Phenomenon20) 87.18) (= (slew_time Phenomenon20 Planet37) 87.18) (= (slew_time Planet37 Star21) 75.95) (= (slew_time Star21 Planet37) 75.95) (= (slew_time Planet37 Star22) 57.36) (= (slew_time Star22 Planet37) 57.36) (= (slew_time Planet37 Star23) 6.797) (= (slew_time Star23 Planet37) 6.797) (= (slew_time Planet37 Planet24) 6.52) (= (slew_time Planet24 Planet37) 6.52) (= (slew_time Planet37 Star25) 51.91) (= (slew_time Star25 Planet37) 51.91) (= (slew_time Planet37 Phenomenon26) 48.53) (= (slew_time Phenomenon26 Planet37) 48.53) (= (slew_time Planet37 Phenomenon27) 38.94) (= (slew_time Phenomenon27 Planet37) 38.94) (= (slew_time Planet37 Phenomenon28) 24.31) (= (slew_time Phenomenon28 Planet37) 24.31) (= (slew_time Planet37 Star29) 2.272) (= (slew_time Star29 Planet37) 2.272) (= (slew_time Planet37 Phenomenon30) 36.72) (= (slew_time Phenomenon30 Planet37) 36.72) (= (slew_time Planet37 Phenomenon31) 44.91) (= (slew_time Phenomenon31 Planet37) 44.91) (= (slew_time Planet37 Phenomenon32) 4.15) (= (slew_time Phenomenon32 Planet37) 4.15) (= (slew_time Planet37 Phenomenon33) 59.12) (= (slew_time Phenomenon33 Planet37) 59.12) (= (slew_time Planet37 Star34) 28.89) (= (slew_time Star34 Planet37) 28.89) (= (slew_time Planet37 Star35) 51.26) (= (slew_time Star35 Planet37) 51.26) (= (slew_time Planet37 Star36) 21.72) (= (slew_time Star36 Planet37) 21.72) (= (slew_time Planet38 Star0) 2.382) (= (slew_time Star0 Planet38) 2.382) (= (slew_time Planet38 GroundStation1) 59.3) (= (slew_time GroundStation1 Planet38) 59.3) (= (slew_time Planet38 GroundStation2) 40.67) (= (slew_time GroundStation2 Planet38) 40.67) (= (slew_time Planet38 Star3) 50.56) (= (slew_time Star3 Planet38) 50.56) (= (slew_time Planet38 GroundStation4) 51.1) (= (slew_time GroundStation4 Planet38) 51.1) (= (slew_time Planet38 Star5) 63.37) (= (slew_time Star5 Planet38) 63.37) (= (slew_time Planet38 Planet6) 55.39) (= (slew_time Planet6 Planet38) 55.39) (= (slew_time Planet38 Phenomenon7) 44.14) (= (slew_time Phenomenon7 Planet38) 44.14) (= (slew_time Planet38 Phenomenon8) 11.4) (= (slew_time Phenomenon8 Planet38) 11.4) (= (slew_time Planet38 Planet9) 30.65) (= (slew_time Planet9 Planet38) 30.65) (= (slew_time Planet38 Star10) 12.62) (= (slew_time Star10 Planet38) 12.62) (= (slew_time Planet38 Star11) 55.24) (= (slew_time Star11 Planet38) 55.24) (= (slew_time Planet38 Phenomenon12) 27.26) (= (slew_time Phenomenon12 Planet38) 27.26) (= (slew_time Planet38 Planet13) 18.87) (= (slew_time Planet13 Planet38) 18.87) (= (slew_time Planet38 Star14) 27.23) (= (slew_time Star14 Planet38) 27.23) (= (slew_time Planet38 Star15) 44.28) (= (slew_time Star15 Planet38) 44.28) (= (slew_time Planet38 Phenomenon16) 2.549) (= (slew_time Phenomenon16 Planet38) 2.549) (= (slew_time Planet38 Phenomenon17) 17.56) (= (slew_time Phenomenon17 Planet38) 17.56) (= (slew_time Planet38 Planet18) 8.605) (= (slew_time Planet18 Planet38) 8.605) (= (slew_time Planet38 Star19) 38.33) (= (slew_time Star19 Planet38) 38.33) (= (slew_time Planet38 Phenomenon20) 7.453) (= (slew_time Phenomenon20 Planet38) 7.453) (= (slew_time Planet38 Star21) 57.48) (= (slew_time Star21 Planet38) 57.48) (= (slew_time Planet38 Star22) 65.33) (= (slew_time Star22 Planet38) 65.33) (= (slew_time Planet38 Star23) 31.45) (= (slew_time Star23 Planet38) 31.45) (= (slew_time Planet38 Planet24) 47.67) (= (slew_time Planet24 Planet38) 47.67) (= (slew_time Planet38 Star25) 46.41) (= (slew_time Star25 Planet38) 46.41) (= (slew_time Planet38 Phenomenon26) 68.06) (= (slew_time Phenomenon26 Planet38) 68.06) (= (slew_time Planet38 Phenomenon27) 8.545) (= (slew_time Phenomenon27 Planet38) 8.545) (= (slew_time Planet38 Phenomenon28) 17.79) (= (slew_time Phenomenon28 Planet38) 17.79) (= (slew_time Planet38 Star29) 13.17) (= (slew_time Star29 Planet38) 13.17) (= (slew_time Planet38 Phenomenon30) 35.02) (= (slew_time Phenomenon30 Planet38) 35.02) (= (slew_time Planet38 Phenomenon31) 39.04) (= (slew_time Phenomenon31 Planet38) 39.04) (= (slew_time Planet38 Phenomenon32) 65.32) (= (slew_time Phenomenon32 Planet38) 65.32) (= (slew_time Planet38 Phenomenon33) 10.75) (= (slew_time Phenomenon33 Planet38) 10.75) (= (slew_time Planet38 Star34) 45.51) (= (slew_time Star34 Planet38) 45.51) (= (slew_time Planet38 Star35) 31.43) (= (slew_time Star35 Planet38) 31.43) (= (slew_time Planet38 Star36) 2.533) (= (slew_time Star36 Planet38) 2.533) (= (slew_time Planet38 Planet37) 5.022) (= (slew_time Planet37 Planet38) 5.022) (= (slew_time Planet39 Star0) 44.12) (= (slew_time Star0 Planet39) 44.12) (= (slew_time Planet39 GroundStation1) 5.111) (= (slew_time GroundStation1 Planet39) 5.111) (= (slew_time Planet39 GroundStation2) 5.759) (= (slew_time GroundStation2 Planet39) 5.759) (= (slew_time Planet39 Star3) 51.73) (= (slew_time Star3 Planet39) 51.73) (= (slew_time Planet39 GroundStation4) 46.41) (= (slew_time GroundStation4 Planet39) 46.41) (= (slew_time Planet39 Star5) 60.02) (= (slew_time Star5 Planet39) 60.02) (= (slew_time Planet39 Planet6) 73.45) (= (slew_time Planet6 Planet39) 73.45) (= (slew_time Planet39 Phenomenon7) 70.43) (= (slew_time Phenomenon7 Planet39) 70.43) (= (slew_time Planet39 Phenomenon8) 45.34) (= (slew_time Phenomenon8 Planet39) 45.34) (= (slew_time Planet39 Planet9) 3.567) (= (slew_time Planet9 Planet39) 3.567) (= (slew_time Planet39 Star10) 28.41) (= (slew_time Star10 Planet39) 28.41) (= (slew_time Planet39 Star11) 20.09) (= (slew_time Star11 Planet39) 20.09) (= (slew_time Planet39 Phenomenon12) 1.252) (= (slew_time Phenomenon12 Planet39) 1.252) (= (slew_time Planet39 Planet13) 63.45) (= (slew_time Planet13 Planet39) 63.45) (= (slew_time Planet39 Star14) 45.52) (= (slew_time Star14 Planet39) 45.52) (= (slew_time Planet39 Star15) 61.78) (= (slew_time Star15 Planet39) 61.78) (= (slew_time Planet39 Phenomenon16) 37.48) (= (slew_time Phenomenon16 Planet39) 37.48) (= (slew_time Planet39 Phenomenon17) 93.65) (= (slew_time Phenomenon17 Planet39) 93.65) (= (slew_time Planet39 Planet18) 42.12) (= (slew_time Planet18 Planet39) 42.12) (= (slew_time Planet39 Star19) 57.07) (= (slew_time Star19 Planet39) 57.07) (= (slew_time Planet39 Phenomenon20) 42.28) (= (slew_time Phenomenon20 Planet39) 42.28) (= (slew_time Planet39 Star21) 13.44) (= (slew_time Star21 Planet39) 13.44) (= (slew_time Planet39 Star22) 3.181) (= (slew_time Star22 Planet39) 3.181) (= (slew_time Planet39 Star23) 16.77) (= (slew_time Star23 Planet39) 16.77) (= (slew_time Planet39 Planet24) 7.266) (= (slew_time Planet24 Planet39) 7.266) (= (slew_time Planet39 Star25) 38.55) (= (slew_time Star25 Planet39) 38.55) (= (slew_time Planet39 Phenomenon26) 38.89) (= (slew_time Phenomenon26 Planet39) 38.89) (= (slew_time Planet39 Phenomenon27) 0.5626) (= (slew_time Phenomenon27 Planet39) 0.5626) (= (slew_time Planet39 Phenomenon28) 34.23) (= (slew_time Phenomenon28 Planet39) 34.23) (= (slew_time Planet39 Star29) 77.68) (= (slew_time Star29 Planet39) 77.68) (= (slew_time Planet39 Phenomenon30) 5.927) (= (slew_time Phenomenon30 Planet39) 5.927) (= (slew_time Planet39 Phenomenon31) 30.61) (= (slew_time Phenomenon31 Planet39) 30.61) (= (slew_time Planet39 Phenomenon32) 59.23) (= (slew_time Phenomenon32 Planet39) 59.23) (= (slew_time Planet39 Phenomenon33) 63.27) (= (slew_time Phenomenon33 Planet39) 63.27) (= (slew_time Planet39 Star34) 33.82) (= (slew_time Star34 Planet39) 33.82) (= (slew_time Planet39 Star35) 28.59) (= (slew_time Star35 Planet39) 28.59) (= (slew_time Planet39 Star36) 37.42) (= (slew_time Star36 Planet39) 37.42) (= (slew_time Planet39 Planet37) 8.174) (= (slew_time Planet37 Planet39) 8.174) (= (slew_time Planet39 Planet38) 31.27) (= (slew_time Planet38 Planet39) 31.27) (= (data-stored) 0) (= (fuel-used) 0) ) (:goal (and (pointing satellite1 Star34) (pointing satellite2 Planet13) )) (:metric maximize (data-stored)) )