(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 instrument8 - instrument satellite2 - satellite instrument9 - instrument instrument10 - instrument instrument11 - instrument satellite3 - satellite instrument12 - instrument instrument13 - instrument instrument14 - instrument satellite4 - satellite instrument15 - instrument instrument16 - instrument instrument17 - instrument instrument18 - instrument thermograph2 - mode thermograph0 - mode thermograph4 - mode image1 - mode thermograph3 - mode Star3 - direction Star4 - direction GroundStation2 - direction Star1 - direction Star0 - direction Phenomenon5 - direction Planet6 - direction Planet7 - direction Star8 - direction Star9 - direction Star10 - direction Planet11 - direction Phenomenon12 - direction Phenomenon13 - direction Planet14 - direction Star15 - direction Phenomenon16 - direction Phenomenon17 - direction Phenomenon18 - direction Planet19 - direction Planet20 - direction Phenomenon21 - direction Star22 - direction Planet23 - direction Phenomenon24 - direction Phenomenon25 - direction Star26 - direction Planet27 - direction Planet28 - direction Phenomenon29 - direction ) (:init (supports instrument0 thermograph3) (supports instrument0 thermograph2) (calibration_target instrument0 Star0) (supports instrument1 thermograph2) (calibration_target instrument1 Star0) (supports instrument2 thermograph4) (supports instrument2 thermograph3) (supports instrument2 thermograph0) (calibration_target instrument2 GroundStation2) (supports instrument3 thermograph4) (supports instrument3 thermograph0) (calibration_target instrument3 GroundStation2) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument2 satellite0) (on_board instrument3 satellite0) (power_avail satellite0) (pointing satellite0 Planet7) (= (data_capacity satellite0) 1000) (= (fuel satellite0) 119) (supports instrument4 thermograph2) (supports instrument4 thermograph0) (calibration_target instrument4 Star3) (supports instrument5 image1) (supports instrument5 thermograph0) (supports instrument5 thermograph4) (calibration_target instrument5 Star0) (supports instrument6 thermograph0) (calibration_target instrument6 GroundStation2) (supports instrument7 thermograph2) (calibration_target instrument7 Star0) (supports instrument8 thermograph3) (calibration_target instrument8 Star3) (on_board instrument4 satellite1) (on_board instrument5 satellite1) (on_board instrument6 satellite1) (on_board instrument7 satellite1) (on_board instrument8 satellite1) (power_avail satellite1) (pointing satellite1 Planet28) (= (data_capacity satellite1) 1000) (= (fuel satellite1) 136) (supports instrument9 image1) (supports instrument9 thermograph4) (calibration_target instrument9 Star3) (supports instrument10 thermograph3) (calibration_target instrument10 GroundStation2) (supports instrument11 thermograph3) (supports instrument11 image1) (calibration_target instrument11 Star4) (on_board instrument9 satellite2) (on_board instrument10 satellite2) (on_board instrument11 satellite2) (power_avail satellite2) (pointing satellite2 Phenomenon24) (= (data_capacity satellite2) 1000) (= (fuel satellite2) 175) (supports instrument12 image1) (supports instrument12 thermograph4) (supports instrument12 thermograph3) (calibration_target instrument12 Star0) (supports instrument13 thermograph4) (calibration_target instrument13 Star0) (supports instrument14 thermograph0) (supports instrument14 thermograph4) (calibration_target instrument14 GroundStation2) (on_board instrument12 satellite3) (on_board instrument13 satellite3) (on_board instrument14 satellite3) (power_avail satellite3) (pointing satellite3 Phenomenon16) (= (data_capacity satellite3) 1000) (= (fuel satellite3) 188) (supports instrument15 image1) (calibration_target instrument15 GroundStation2) (supports instrument16 thermograph0) (supports instrument16 thermograph2) (calibration_target instrument16 Star0) (supports instrument17 thermograph4) (supports instrument17 thermograph3) (calibration_target instrument17 Star1) (supports instrument18 thermograph3) (supports instrument18 image1) (supports instrument18 thermograph4) (calibration_target instrument18 Star0) (on_board instrument15 satellite4) (on_board instrument16 satellite4) (on_board instrument17 satellite4) (on_board instrument18 satellite4) (power_avail satellite4) (pointing satellite4 Phenomenon17) (= (data_capacity satellite4) 1000) (= (fuel satellite4) 114) (= (data Phenomenon5 thermograph2) 162) (= (data Planet6 thermograph2) 153) (= (data Planet7 thermograph2) 192) (= (data Star8 thermograph2) 56) (= (data Star9 thermograph2) 11) (= (data Star10 thermograph2) 15) (= (data Planet11 thermograph2) 181) (= (data Phenomenon12 thermograph2) 1) (= (data Phenomenon13 thermograph2) 23) (= (data Planet14 thermograph2) 55) (= (data Star15 thermograph2) 67) (= (data Phenomenon16 thermograph2) 19) (= (data Phenomenon17 thermograph2) 52) (= (data Phenomenon18 thermograph2) 136) (= (data Planet19 thermograph2) 188) (= (data Planet20 thermograph2) 15) (= (data Phenomenon21 thermograph2) 12) (= (data Star22 thermograph2) 59) (= (data Planet23 thermograph2) 53) (= (data Phenomenon24 thermograph2) 123) (= (data Phenomenon25 thermograph2) 2) (= (data Star26 thermograph2) 58) (= (data Planet27 thermograph2) 59) (= (data Planet28 thermograph2) 194) (= (data Phenomenon29 thermograph2) 2) (= (data Phenomenon5 thermograph0) 57) (= (data Planet6 thermograph0) 108) (= (data Planet7 thermograph0) 71) (= (data Star8 thermograph0) 46) (= (data Star9 thermograph0) 15) (= (data Star10 thermograph0) 11) (= (data Planet11 thermograph0) 196) (= (data Phenomenon12 thermograph0) 170) (= (data Phenomenon13 thermograph0) 138) (= (data Planet14 thermograph0) 116) (= (data Star15 thermograph0) 73) (= (data Phenomenon16 thermograph0) 95) (= (data Phenomenon17 thermograph0) 132) (= (data Phenomenon18 thermograph0) 144) (= (data Planet19 thermograph0) 132) (= (data Planet20 thermograph0) 200) (= (data Phenomenon21 thermograph0) 136) (= (data Star22 thermograph0) 100) (= (data Planet23 thermograph0) 146) (= (data Phenomenon24 thermograph0) 49) (= (data Phenomenon25 thermograph0) 62) (= (data Star26 thermograph0) 55) (= (data Planet27 thermograph0) 172) (= (data Planet28 thermograph0) 21) (= (data Phenomenon29 thermograph0) 128) (= (data Phenomenon5 thermograph4) 14) (= (data Planet6 thermograph4) 134) (= (data Planet7 thermograph4) 132) (= (data Star8 thermograph4) 84) (= (data Star9 thermograph4) 36) (= (data Star10 thermograph4) 185) (= (data Planet11 thermograph4) 134) (= (data Phenomenon12 thermograph4) 120) (= (data Phenomenon13 thermograph4) 116) (= (data Planet14 thermograph4) 99) (= (data Star15 thermograph4) 86) (= (data Phenomenon16 thermograph4) 77) (= (data Phenomenon17 thermograph4) 126) (= (data Phenomenon18 thermograph4) 7) (= (data Planet19 thermograph4) 175) (= (data Planet20 thermograph4) 120) (= (data Phenomenon21 thermograph4) 113) (= (data Star22 thermograph4) 183) (= (data Planet23 thermograph4) 108) (= (data Phenomenon24 thermograph4) 193) (= (data Phenomenon25 thermograph4) 26) (= (data Star26 thermograph4) 190) (= (data Planet27 thermograph4) 1) (= (data Planet28 thermograph4) 174) (= (data Phenomenon29 thermograph4) 73) (= (data Phenomenon5 image1) 71) (= (data Planet6 image1) 76) (= (data Planet7 image1) 138) (= (data Star8 image1) 38) (= (data Star9 image1) 191) (= (data Star10 image1) 175) (= (data Planet11 image1) 149) (= (data Phenomenon12 image1) 87) (= (data Phenomenon13 image1) 19) (= (data Planet14 image1) 33) (= (data Star15 image1) 58) (= (data Phenomenon16 image1) 174) (= (data Phenomenon17 image1) 8) (= (data Phenomenon18 image1) 161) (= (data Planet19 image1) 200) (= (data Planet20 image1) 12) (= (data Phenomenon21 image1) 120) (= (data Star22 image1) 88) (= (data Planet23 image1) 46) (= (data Phenomenon24 image1) 143) (= (data Phenomenon25 image1) 87) (= (data Star26 image1) 40) (= (data Planet27 image1) 27) (= (data Planet28 image1) 121) (= (data Phenomenon29 image1) 87) (= (data Phenomenon5 thermograph3) 184) (= (data Planet6 thermograph3) 103) (= (data Planet7 thermograph3) 118) (= (data Star8 thermograph3) 112) (= (data Star9 thermograph3) 105) (= (data Star10 thermograph3) 1) (= (data Planet11 thermograph3) 197) (= (data Phenomenon12 thermograph3) 69) (= (data Phenomenon13 thermograph3) 73) (= (data Planet14 thermograph3) 173) (= (data Star15 thermograph3) 19) (= (data Phenomenon16 thermograph3) 20) (= (data Phenomenon17 thermograph3) 156) (= (data Phenomenon18 thermograph3) 31) (= (data Planet19 thermograph3) 65) (= (data Planet20 thermograph3) 129) (= (data Phenomenon21 thermograph3) 113) (= (data Star22 thermograph3) 49) (= (data Planet23 thermograph3) 127) (= (data Phenomenon24 thermograph3) 19) (= (data Phenomenon25 thermograph3) 130) (= (data Star26 thermograph3) 132) (= (data Planet27 thermograph3) 37) (= (data Planet28 thermograph3) 22) (= (data Phenomenon29 thermograph3) 200) (= (slew_time Star3 Star0) 3.603) (= (slew_time Star0 Star3) 3.603) (= (slew_time Star3 Star1) 8.159) (= (slew_time Star1 Star3) 8.159) (= (slew_time Star3 GroundStation2) 46.54) (= (slew_time GroundStation2 Star3) 46.54) (= (slew_time Star4 Star0) 10.57) (= (slew_time Star0 Star4) 10.57) (= (slew_time Star4 Star1) 64.75) (= (slew_time Star1 Star4) 64.75) (= (slew_time Star4 GroundStation2) 27.12) (= (slew_time GroundStation2 Star4) 27.12) (= (slew_time Star4 Star3) 89.01) (= (slew_time Star3 Star4) 89.01) (= (slew_time GroundStation2 Star0) 7.657) (= (slew_time Star0 GroundStation2) 7.657) (= (slew_time GroundStation2 Star1) 26.41) (= (slew_time Star1 GroundStation2) 26.41) (= (slew_time Star1 Star0) 43.3) (= (slew_time Star0 Star1) 43.3) (= (slew_time Phenomenon5 Star0) 32.62) (= (slew_time Star0 Phenomenon5) 32.62) (= (slew_time Phenomenon5 Star1) 31.66) (= (slew_time Star1 Phenomenon5) 31.66) (= (slew_time Phenomenon5 GroundStation2) 11.33) (= (slew_time GroundStation2 Phenomenon5) 11.33) (= (slew_time Phenomenon5 Star3) 47.92) (= (slew_time Star3 Phenomenon5) 47.92) (= (slew_time Phenomenon5 Star4) 47.88) (= (slew_time Star4 Phenomenon5) 47.88) (= (slew_time Planet6 Star0) 42.33) (= (slew_time Star0 Planet6) 42.33) (= (slew_time Planet6 Star1) 10.62) (= (slew_time Star1 Planet6) 10.62) (= (slew_time Planet6 GroundStation2) 22.7) (= (slew_time GroundStation2 Planet6) 22.7) (= (slew_time Planet6 Star3) 28.47) (= (slew_time Star3 Planet6) 28.47) (= (slew_time Planet6 Star4) 43.77) (= (slew_time Star4 Planet6) 43.77) (= (slew_time Planet6 Phenomenon5) 17.52) (= (slew_time Phenomenon5 Planet6) 17.52) (= (slew_time Planet7 Star0) 49.23) (= (slew_time Star0 Planet7) 49.23) (= (slew_time Planet7 Star1) 49.42) (= (slew_time Star1 Planet7) 49.42) (= (slew_time Planet7 GroundStation2) 20.99) (= (slew_time GroundStation2 Planet7) 20.99) (= (slew_time Planet7 Star3) 45.42) (= (slew_time Star3 Planet7) 45.42) (= (slew_time Planet7 Star4) 28.59) (= (slew_time Star4 Planet7) 28.59) (= (slew_time Planet7 Phenomenon5) 52.19) (= (slew_time Phenomenon5 Planet7) 52.19) (= (slew_time Planet7 Planet6) 44) (= (slew_time Planet6 Planet7) 44) (= (slew_time Star8 Star0) 41.91) (= (slew_time Star0 Star8) 41.91) (= (slew_time Star8 Star1) 52.55) (= (slew_time Star1 Star8) 52.55) (= (slew_time Star8 GroundStation2) 13.05) (= (slew_time GroundStation2 Star8) 13.05) (= (slew_time Star8 Star3) 42.85) (= (slew_time Star3 Star8) 42.85) (= (slew_time Star8 Star4) 73.44) (= (slew_time Star4 Star8) 73.44) (= (slew_time Star8 Phenomenon5) 77.25) (= (slew_time Phenomenon5 Star8) 77.25) (= (slew_time Star8 Planet6) 24) (= (slew_time Planet6 Star8) 24) (= (slew_time Star8 Planet7) 18.76) (= (slew_time Planet7 Star8) 18.76) (= (slew_time Star9 Star0) 73.72) (= (slew_time Star0 Star9) 73.72) (= (slew_time Star9 Star1) 2.29) (= (slew_time Star1 Star9) 2.29) (= (slew_time Star9 GroundStation2) 26.5) (= (slew_time GroundStation2 Star9) 26.5) (= (slew_time Star9 Star3) 4.975) (= (slew_time Star3 Star9) 4.975) (= (slew_time Star9 Star4) 30.13) (= (slew_time Star4 Star9) 30.13) (= (slew_time Star9 Phenomenon5) 38.11) (= (slew_time Phenomenon5 Star9) 38.11) (= (slew_time Star9 Planet6) 6.19) (= (slew_time Planet6 Star9) 6.19) (= (slew_time Star9 Planet7) 34.01) (= (slew_time Planet7 Star9) 34.01) (= (slew_time Star9 Star8) 57.98) (= (slew_time Star8 Star9) 57.98) (= (slew_time Star10 Star0) 55.77) (= (slew_time Star0 Star10) 55.77) (= (slew_time Star10 Star1) 7.609) (= (slew_time Star1 Star10) 7.609) (= (slew_time Star10 GroundStation2) 32.79) (= (slew_time GroundStation2 Star10) 32.79) (= (slew_time Star10 Star3) 66.63) (= (slew_time Star3 Star10) 66.63) (= (slew_time Star10 Star4) 38.53) (= (slew_time Star4 Star10) 38.53) (= (slew_time Star10 Phenomenon5) 0.8326) (= (slew_time Phenomenon5 Star10) 0.8326) (= (slew_time Star10 Planet6) 25.68) (= (slew_time Planet6 Star10) 25.68) (= (slew_time Star10 Planet7) 24.64) (= (slew_time Planet7 Star10) 24.64) (= (slew_time Star10 Star8) 70.36) (= (slew_time Star8 Star10) 70.36) (= (slew_time Star10 Star9) 84.22) (= (slew_time Star9 Star10) 84.22) (= (slew_time Planet11 Star0) 41.35) (= (slew_time Star0 Planet11) 41.35) (= (slew_time Planet11 Star1) 22.86) (= (slew_time Star1 Planet11) 22.86) (= (slew_time Planet11 GroundStation2) 9.333) (= (slew_time GroundStation2 Planet11) 9.333) (= (slew_time Planet11 Star3) 19.34) (= (slew_time Star3 Planet11) 19.34) (= (slew_time Planet11 Star4) 12.69) (= (slew_time Star4 Planet11) 12.69) (= (slew_time Planet11 Phenomenon5) 58.77) (= (slew_time Phenomenon5 Planet11) 58.77) (= (slew_time Planet11 Planet6) 22.65) (= (slew_time Planet6 Planet11) 22.65) (= (slew_time Planet11 Planet7) 68.79) (= (slew_time Planet7 Planet11) 68.79) (= (slew_time Planet11 Star8) 30.06) (= (slew_time Star8 Planet11) 30.06) (= (slew_time Planet11 Star9) 11.89) (= (slew_time Star9 Planet11) 11.89) (= (slew_time Planet11 Star10) 71.24) (= (slew_time Star10 Planet11) 71.24) (= (slew_time Phenomenon12 Star0) 33.33) (= (slew_time Star0 Phenomenon12) 33.33) (= (slew_time Phenomenon12 Star1) 5.894) (= (slew_time Star1 Phenomenon12) 5.894) (= (slew_time Phenomenon12 GroundStation2) 57.27) (= (slew_time GroundStation2 Phenomenon12) 57.27) (= (slew_time Phenomenon12 Star3) 38.14) (= (slew_time Star3 Phenomenon12) 38.14) (= (slew_time Phenomenon12 Star4) 47.15) (= (slew_time Star4 Phenomenon12) 47.15) (= (slew_time Phenomenon12 Phenomenon5) 1.191) (= (slew_time Phenomenon5 Phenomenon12) 1.191) (= (slew_time Phenomenon12 Planet6) 15.73) (= (slew_time Planet6 Phenomenon12) 15.73) (= (slew_time Phenomenon12 Planet7) 40.94) (= (slew_time Planet7 Phenomenon12) 40.94) (= (slew_time Phenomenon12 Star8) 14.04) (= (slew_time Star8 Phenomenon12) 14.04) (= (slew_time Phenomenon12 Star9) 69.14) (= (slew_time Star9 Phenomenon12) 69.14) (= (slew_time Phenomenon12 Star10) 17.32) (= (slew_time Star10 Phenomenon12) 17.32) (= (slew_time Phenomenon12 Planet11) 35.82) (= (slew_time Planet11 Phenomenon12) 35.82) (= (slew_time Phenomenon13 Star0) 59.94) (= (slew_time Star0 Phenomenon13) 59.94) (= (slew_time Phenomenon13 Star1) 19.25) (= (slew_time Star1 Phenomenon13) 19.25) (= (slew_time Phenomenon13 GroundStation2) 17.7) (= (slew_time GroundStation2 Phenomenon13) 17.7) (= (slew_time Phenomenon13 Star3) 52.95) (= (slew_time Star3 Phenomenon13) 52.95) (= (slew_time Phenomenon13 Star4) 58.1) (= (slew_time Star4 Phenomenon13) 58.1) (= (slew_time Phenomenon13 Phenomenon5) 28.2) (= (slew_time Phenomenon5 Phenomenon13) 28.2) (= (slew_time Phenomenon13 Planet6) 3.63) (= (slew_time Planet6 Phenomenon13) 3.63) (= (slew_time Phenomenon13 Planet7) 16.25) (= (slew_time Planet7 Phenomenon13) 16.25) (= (slew_time Phenomenon13 Star8) 1.805) (= (slew_time Star8 Phenomenon13) 1.805) (= (slew_time Phenomenon13 Star9) 40.24) (= (slew_time Star9 Phenomenon13) 40.24) (= (slew_time Phenomenon13 Star10) 53.82) (= (slew_time Star10 Phenomenon13) 53.82) (= (slew_time Phenomenon13 Planet11) 23.62) (= (slew_time Planet11 Phenomenon13) 23.62) (= (slew_time Phenomenon13 Phenomenon12) 39.59) (= (slew_time Phenomenon12 Phenomenon13) 39.59) (= (slew_time Planet14 Star0) 7.335) (= (slew_time Star0 Planet14) 7.335) (= (slew_time Planet14 Star1) 48.7) (= (slew_time Star1 Planet14) 48.7) (= (slew_time Planet14 GroundStation2) 4.126) (= (slew_time GroundStation2 Planet14) 4.126) (= (slew_time Planet14 Star3) 79.46) (= (slew_time Star3 Planet14) 79.46) (= (slew_time Planet14 Star4) 82.38) (= (slew_time Star4 Planet14) 82.38) (= (slew_time Planet14 Phenomenon5) 14.33) (= (slew_time Phenomenon5 Planet14) 14.33) (= (slew_time Planet14 Planet6) 52.21) (= (slew_time Planet6 Planet14) 52.21) (= (slew_time Planet14 Planet7) 15.41) (= (slew_time Planet7 Planet14) 15.41) (= (slew_time Planet14 Star8) 57.79) (= (slew_time Star8 Planet14) 57.79) (= (slew_time Planet14 Star9) 30.2) (= (slew_time Star9 Planet14) 30.2) (= (slew_time Planet14 Star10) 16.88) (= (slew_time Star10 Planet14) 16.88) (= (slew_time Planet14 Planet11) 5.436) (= (slew_time Planet11 Planet14) 5.436) (= (slew_time Planet14 Phenomenon12) 59.01) (= (slew_time Phenomenon12 Planet14) 59.01) (= (slew_time Planet14 Phenomenon13) 25.08) (= (slew_time Phenomenon13 Planet14) 25.08) (= (slew_time Star15 Star0) 38.53) (= (slew_time Star0 Star15) 38.53) (= (slew_time Star15 Star1) 20.49) (= (slew_time Star1 Star15) 20.49) (= (slew_time Star15 GroundStation2) 50.38) (= (slew_time GroundStation2 Star15) 50.38) (= (slew_time Star15 Star3) 58.85) (= (slew_time Star3 Star15) 58.85) (= (slew_time Star15 Star4) 11.07) (= (slew_time Star4 Star15) 11.07) (= (slew_time Star15 Phenomenon5) 11.39) (= (slew_time Phenomenon5 Star15) 11.39) (= (slew_time Star15 Planet6) 4.376) (= (slew_time Planet6 Star15) 4.376) (= (slew_time Star15 Planet7) 37.73) (= (slew_time Planet7 Star15) 37.73) (= (slew_time Star15 Star8) 22.22) (= (slew_time Star8 Star15) 22.22) (= (slew_time Star15 Star9) 60.71) (= (slew_time Star9 Star15) 60.71) (= (slew_time Star15 Star10) 28.64) (= (slew_time Star10 Star15) 28.64) (= (slew_time Star15 Planet11) 1.87) (= (slew_time Planet11 Star15) 1.87) (= (slew_time Star15 Phenomenon12) 16.11) (= (slew_time Phenomenon12 Star15) 16.11) (= (slew_time Star15 Phenomenon13) 26.45) (= (slew_time Phenomenon13 Star15) 26.45) (= (slew_time Star15 Planet14) 35) (= (slew_time Planet14 Star15) 35) (= (slew_time Phenomenon16 Star0) 35.09) (= (slew_time Star0 Phenomenon16) 35.09) (= (slew_time Phenomenon16 Star1) 39.33) (= (slew_time Star1 Phenomenon16) 39.33) (= (slew_time Phenomenon16 GroundStation2) 27.44) (= (slew_time GroundStation2 Phenomenon16) 27.44) (= (slew_time Phenomenon16 Star3) 72.58) (= (slew_time Star3 Phenomenon16) 72.58) (= (slew_time Phenomenon16 Star4) 10.8) (= (slew_time Star4 Phenomenon16) 10.8) (= (slew_time Phenomenon16 Phenomenon5) 34.97) (= (slew_time Phenomenon5 Phenomenon16) 34.97) (= (slew_time Phenomenon16 Planet6) 40.37) (= (slew_time Planet6 Phenomenon16) 40.37) (= (slew_time Phenomenon16 Planet7) 15.01) (= (slew_time Planet7 Phenomenon16) 15.01) (= (slew_time Phenomenon16 Star8) 40.33) (= (slew_time Star8 Phenomenon16) 40.33) (= (slew_time Phenomenon16 Star9) 34.62) (= (slew_time Star9 Phenomenon16) 34.62) (= (slew_time Phenomenon16 Star10) 55.93) (= (slew_time Star10 Phenomenon16) 55.93) (= (slew_time Phenomenon16 Planet11) 27.47) (= (slew_time Planet11 Phenomenon16) 27.47) (= (slew_time Phenomenon16 Phenomenon12) 77.79) (= (slew_time Phenomenon12 Phenomenon16) 77.79) (= (slew_time Phenomenon16 Phenomenon13) 48.07) (= (slew_time Phenomenon13 Phenomenon16) 48.07) (= (slew_time Phenomenon16 Planet14) 75.09) (= (slew_time Planet14 Phenomenon16) 75.09) (= (slew_time Phenomenon16 Star15) 67.18) (= (slew_time Star15 Phenomenon16) 67.18) (= (slew_time Phenomenon17 Star0) 35.54) (= (slew_time Star0 Phenomenon17) 35.54) (= (slew_time Phenomenon17 Star1) 67.74) (= (slew_time Star1 Phenomenon17) 67.74) (= (slew_time Phenomenon17 GroundStation2) 0.1914) (= (slew_time GroundStation2 Phenomenon17) 0.1914) (= (slew_time Phenomenon17 Star3) 32.32) (= (slew_time Star3 Phenomenon17) 32.32) (= (slew_time Phenomenon17 Star4) 24.95) (= (slew_time Star4 Phenomenon17) 24.95) (= (slew_time Phenomenon17 Phenomenon5) 47.05) (= (slew_time Phenomenon5 Phenomenon17) 47.05) (= (slew_time Phenomenon17 Planet6) 4.874) (= (slew_time Planet6 Phenomenon17) 4.874) (= (slew_time Phenomenon17 Planet7) 23.31) (= (slew_time Planet7 Phenomenon17) 23.31) (= (slew_time Phenomenon17 Star8) 58.44) (= (slew_time Star8 Phenomenon17) 58.44) (= (slew_time Phenomenon17 Star9) 30.68) (= (slew_time Star9 Phenomenon17) 30.68) (= (slew_time Phenomenon17 Star10) 8.398) (= (slew_time Star10 Phenomenon17) 8.398) (= (slew_time Phenomenon17 Planet11) 2.273) (= (slew_time Planet11 Phenomenon17) 2.273) (= (slew_time Phenomenon17 Phenomenon12) 59.62) (= (slew_time Phenomenon12 Phenomenon17) 59.62) (= (slew_time Phenomenon17 Phenomenon13) 2.875) (= (slew_time Phenomenon13 Phenomenon17) 2.875) (= (slew_time Phenomenon17 Planet14) 75.41) (= (slew_time Planet14 Phenomenon17) 75.41) (= (slew_time Phenomenon17 Star15) 25.62) (= (slew_time Star15 Phenomenon17) 25.62) (= (slew_time Phenomenon17 Phenomenon16) 53.59) (= (slew_time Phenomenon16 Phenomenon17) 53.59) (= (slew_time Phenomenon18 Star0) 52.79) (= (slew_time Star0 Phenomenon18) 52.79) (= (slew_time Phenomenon18 Star1) 2.299) (= (slew_time Star1 Phenomenon18) 2.299) (= (slew_time Phenomenon18 GroundStation2) 50.27) (= (slew_time GroundStation2 Phenomenon18) 50.27) (= (slew_time Phenomenon18 Star3) 10.77) (= (slew_time Star3 Phenomenon18) 10.77) (= (slew_time Phenomenon18 Star4) 51.91) (= (slew_time Star4 Phenomenon18) 51.91) (= (slew_time Phenomenon18 Phenomenon5) 8.553) (= (slew_time Phenomenon5 Phenomenon18) 8.553) (= (slew_time Phenomenon18 Planet6) 20.3) (= (slew_time Planet6 Phenomenon18) 20.3) (= (slew_time Phenomenon18 Planet7) 14.71) (= (slew_time Planet7 Phenomenon18) 14.71) (= (slew_time Phenomenon18 Star8) 40.07) (= (slew_time Star8 Phenomenon18) 40.07) (= (slew_time Phenomenon18 Star9) 36.56) (= (slew_time Star9 Phenomenon18) 36.56) (= (slew_time Phenomenon18 Star10) 7.676) (= (slew_time Star10 Phenomenon18) 7.676) (= (slew_time Phenomenon18 Planet11) 47.7) (= (slew_time Planet11 Phenomenon18) 47.7) (= (slew_time Phenomenon18 Phenomenon12) 9.734) (= (slew_time Phenomenon12 Phenomenon18) 9.734) (= (slew_time Phenomenon18 Phenomenon13) 23.36) (= (slew_time Phenomenon13 Phenomenon18) 23.36) (= (slew_time Phenomenon18 Planet14) 11.19) (= (slew_time Planet14 Phenomenon18) 11.19) (= (slew_time Phenomenon18 Star15) 33.39) (= (slew_time Star15 Phenomenon18) 33.39) (= (slew_time Phenomenon18 Phenomenon16) 52.7) (= (slew_time Phenomenon16 Phenomenon18) 52.7) (= (slew_time Phenomenon18 Phenomenon17) 22.55) (= (slew_time Phenomenon17 Phenomenon18) 22.55) (= (slew_time Planet19 Star0) 62.22) (= (slew_time Star0 Planet19) 62.22) (= (slew_time Planet19 Star1) 43.13) (= (slew_time Star1 Planet19) 43.13) (= (slew_time Planet19 GroundStation2) 13.25) (= (slew_time GroundStation2 Planet19) 13.25) (= (slew_time Planet19 Star3) 0.4584) (= (slew_time Star3 Planet19) 0.4584) (= (slew_time Planet19 Star4) 4.367) (= (slew_time Star4 Planet19) 4.367) (= (slew_time Planet19 Phenomenon5) 20.22) (= (slew_time Phenomenon5 Planet19) 20.22) (= (slew_time Planet19 Planet6) 16.02) (= (slew_time Planet6 Planet19) 16.02) (= (slew_time Planet19 Planet7) 21.17) (= (slew_time Planet7 Planet19) 21.17) (= (slew_time Planet19 Star8) 34.01) (= (slew_time Star8 Planet19) 34.01) (= (slew_time Planet19 Star9) 69.87) (= (slew_time Star9 Planet19) 69.87) (= (slew_time Planet19 Star10) 34.63) (= (slew_time Star10 Planet19) 34.63) (= (slew_time Planet19 Planet11) 15.33) (= (slew_time Planet11 Planet19) 15.33) (= (slew_time Planet19 Phenomenon12) 71.31) (= (slew_time Phenomenon12 Planet19) 71.31) (= (slew_time Planet19 Phenomenon13) 31.15) (= (slew_time Phenomenon13 Planet19) 31.15) (= (slew_time Planet19 Planet14) 32.15) (= (slew_time Planet14 Planet19) 32.15) (= (slew_time Planet19 Star15) 19.35) (= (slew_time Star15 Planet19) 19.35) (= (slew_time Planet19 Phenomenon16) 69.35) (= (slew_time Phenomenon16 Planet19) 69.35) (= (slew_time Planet19 Phenomenon17) 38.2) (= (slew_time Phenomenon17 Planet19) 38.2) (= (slew_time Planet19 Phenomenon18) 5.816) (= (slew_time Phenomenon18 Planet19) 5.816) (= (slew_time Planet20 Star0) 4.861) (= (slew_time Star0 Planet20) 4.861) (= (slew_time Planet20 Star1) 1.61) (= (slew_time Star1 Planet20) 1.61) (= (slew_time Planet20 GroundStation2) 53.21) (= (slew_time GroundStation2 Planet20) 53.21) (= (slew_time Planet20 Star3) 13.38) (= (slew_time Star3 Planet20) 13.38) (= (slew_time Planet20 Star4) 62.85) (= (slew_time Star4 Planet20) 62.85) (= (slew_time Planet20 Phenomenon5) 0.7936) (= (slew_time Phenomenon5 Planet20) 0.7936) (= (slew_time Planet20 Planet6) 25.19) (= (slew_time Planet6 Planet20) 25.19) (= (slew_time Planet20 Planet7) 1.508) (= (slew_time Planet7 Planet20) 1.508) (= (slew_time Planet20 Star8) 10.7) (= (slew_time Star8 Planet20) 10.7) (= (slew_time Planet20 Star9) 43.07) (= (slew_time Star9 Planet20) 43.07) (= (slew_time Planet20 Star10) 66.79) (= (slew_time Star10 Planet20) 66.79) (= (slew_time Planet20 Planet11) 31.45) (= (slew_time Planet11 Planet20) 31.45) (= (slew_time Planet20 Phenomenon12) 40.24) (= (slew_time Phenomenon12 Planet20) 40.24) (= (slew_time Planet20 Phenomenon13) 2.054) (= (slew_time Phenomenon13 Planet20) 2.054) (= (slew_time Planet20 Planet14) 76.59) (= (slew_time Planet14 Planet20) 76.59) (= (slew_time Planet20 Star15) 25.3) (= (slew_time Star15 Planet20) 25.3) (= (slew_time Planet20 Phenomenon16) 30.81) (= (slew_time Phenomenon16 Planet20) 30.81) (= (slew_time Planet20 Phenomenon17) 16.6) (= (slew_time Phenomenon17 Planet20) 16.6) (= (slew_time Planet20 Phenomenon18) 38.93) (= (slew_time Phenomenon18 Planet20) 38.93) (= (slew_time Planet20 Planet19) 14.39) (= (slew_time Planet19 Planet20) 14.39) (= (slew_time Phenomenon21 Star0) 0.2815) (= (slew_time Star0 Phenomenon21) 0.2815) (= (slew_time Phenomenon21 Star1) 29.33) (= (slew_time Star1 Phenomenon21) 29.33) (= (slew_time Phenomenon21 GroundStation2) 27.51) (= (slew_time GroundStation2 Phenomenon21) 27.51) (= (slew_time Phenomenon21 Star3) 41.2) (= (slew_time Star3 Phenomenon21) 41.2) (= (slew_time Phenomenon21 Star4) 0.3751) (= (slew_time Star4 Phenomenon21) 0.3751) (= (slew_time Phenomenon21 Phenomenon5) 13.21) (= (slew_time Phenomenon5 Phenomenon21) 13.21) (= (slew_time Phenomenon21 Planet6) 20.32) (= (slew_time Planet6 Phenomenon21) 20.32) (= (slew_time Phenomenon21 Planet7) 25.84) (= (slew_time Planet7 Phenomenon21) 25.84) (= (slew_time Phenomenon21 Star8) 48.37) (= (slew_time Star8 Phenomenon21) 48.37) (= (slew_time Phenomenon21 Star9) 8.296) (= (slew_time Star9 Phenomenon21) 8.296) (= (slew_time Phenomenon21 Star10) 27.43) (= (slew_time Star10 Phenomenon21) 27.43) (= (slew_time Phenomenon21 Planet11) 1.378) (= (slew_time Planet11 Phenomenon21) 1.378) (= (slew_time Phenomenon21 Phenomenon12) 64.72) (= (slew_time Phenomenon12 Phenomenon21) 64.72) (= (slew_time Phenomenon21 Phenomenon13) 20.19) (= (slew_time Phenomenon13 Phenomenon21) 20.19) (= (slew_time Phenomenon21 Planet14) 7.053) (= (slew_time Planet14 Phenomenon21) 7.053) (= (slew_time Phenomenon21 Star15) 0.6336) (= (slew_time Star15 Phenomenon21) 0.6336) (= (slew_time Phenomenon21 Phenomenon16) 43.11) (= (slew_time Phenomenon16 Phenomenon21) 43.11) (= (slew_time Phenomenon21 Phenomenon17) 11.79) (= (slew_time Phenomenon17 Phenomenon21) 11.79) (= (slew_time Phenomenon21 Phenomenon18) 26.26) (= (slew_time Phenomenon18 Phenomenon21) 26.26) (= (slew_time Phenomenon21 Planet19) 39.59) (= (slew_time Planet19 Phenomenon21) 39.59) (= (slew_time Phenomenon21 Planet20) 75.57) (= (slew_time Planet20 Phenomenon21) 75.57) (= (slew_time Star22 Star0) 22.37) (= (slew_time Star0 Star22) 22.37) (= (slew_time Star22 Star1) 33.48) (= (slew_time Star1 Star22) 33.48) (= (slew_time Star22 GroundStation2) 32.23) (= (slew_time GroundStation2 Star22) 32.23) (= (slew_time Star22 Star3) 11.65) (= (slew_time Star3 Star22) 11.65) (= (slew_time Star22 Star4) 76.02) (= (slew_time Star4 Star22) 76.02) (= (slew_time Star22 Phenomenon5) 3.974) (= (slew_time Phenomenon5 Star22) 3.974) (= (slew_time Star22 Planet6) 15.62) (= (slew_time Planet6 Star22) 15.62) (= (slew_time Star22 Planet7) 81.03) (= (slew_time Planet7 Star22) 81.03) (= (slew_time Star22 Star8) 58.93) (= (slew_time Star8 Star22) 58.93) (= (slew_time Star22 Star9) 53.34) (= (slew_time Star9 Star22) 53.34) (= (slew_time Star22 Star10) 27.18) (= (slew_time Star10 Star22) 27.18) (= (slew_time Star22 Planet11) 67.37) (= (slew_time Planet11 Star22) 67.37) (= (slew_time Star22 Phenomenon12) 74.34) (= (slew_time Phenomenon12 Star22) 74.34) (= (slew_time Star22 Phenomenon13) 9.547) (= (slew_time Phenomenon13 Star22) 9.547) (= (slew_time Star22 Planet14) 74.05) (= (slew_time Planet14 Star22) 74.05) (= (slew_time Star22 Star15) 11.51) (= (slew_time Star15 Star22) 11.51) (= (slew_time Star22 Phenomenon16) 42.31) (= (slew_time Phenomenon16 Star22) 42.31) (= (slew_time Star22 Phenomenon17) 4.957) (= (slew_time Phenomenon17 Star22) 4.957) (= (slew_time Star22 Phenomenon18) 71.94) (= (slew_time Phenomenon18 Star22) 71.94) (= (slew_time Star22 Planet19) 14.7) (= (slew_time Planet19 Star22) 14.7) (= (slew_time Star22 Planet20) 34.19) (= (slew_time Planet20 Star22) 34.19) (= (slew_time Star22 Phenomenon21) 26.67) (= (slew_time Phenomenon21 Star22) 26.67) (= (slew_time Planet23 Star0) 37.55) (= (slew_time Star0 Planet23) 37.55) (= (slew_time Planet23 Star1) 39.71) (= (slew_time Star1 Planet23) 39.71) (= (slew_time Planet23 GroundStation2) 6.052) (= (slew_time GroundStation2 Planet23) 6.052) (= (slew_time Planet23 Star3) 64.16) (= (slew_time Star3 Planet23) 64.16) (= (slew_time Planet23 Star4) 48.79) (= (slew_time Star4 Planet23) 48.79) (= (slew_time Planet23 Phenomenon5) 46.08) (= (slew_time Phenomenon5 Planet23) 46.08) (= (slew_time Planet23 Planet6) 37.22) (= (slew_time Planet6 Planet23) 37.22) (= (slew_time Planet23 Planet7) 24.26) (= (slew_time Planet7 Planet23) 24.26) (= (slew_time Planet23 Star8) 29.13) (= (slew_time Star8 Planet23) 29.13) (= (slew_time Planet23 Star9) 3.663) (= (slew_time Star9 Planet23) 3.663) (= (slew_time Planet23 Star10) 1.679) (= (slew_time Star10 Planet23) 1.679) (= (slew_time Planet23 Planet11) 59.12) (= (slew_time Planet11 Planet23) 59.12) (= (slew_time Planet23 Phenomenon12) 45.45) (= (slew_time Phenomenon12 Planet23) 45.45) (= (slew_time Planet23 Phenomenon13) 62.03) (= (slew_time Phenomenon13 Planet23) 62.03) (= (slew_time Planet23 Planet14) 53.77) (= (slew_time Planet14 Planet23) 53.77) (= (slew_time Planet23 Star15) 5.582) (= (slew_time Star15 Planet23) 5.582) (= (slew_time Planet23 Phenomenon16) 10.8) (= (slew_time Phenomenon16 Planet23) 10.8) (= (slew_time Planet23 Phenomenon17) 53.11) (= (slew_time Phenomenon17 Planet23) 53.11) (= (slew_time Planet23 Phenomenon18) 5.595) (= (slew_time Phenomenon18 Planet23) 5.595) (= (slew_time Planet23 Planet19) 86.92) (= (slew_time Planet19 Planet23) 86.92) (= (slew_time Planet23 Planet20) 21.21) (= (slew_time Planet20 Planet23) 21.21) (= (slew_time Planet23 Phenomenon21) 41.82) (= (slew_time Phenomenon21 Planet23) 41.82) (= (slew_time Planet23 Star22) 10.82) (= (slew_time Star22 Planet23) 10.82) (= (slew_time Phenomenon24 Star0) 91.49) (= (slew_time Star0 Phenomenon24) 91.49) (= (slew_time Phenomenon24 Star1) 14.18) (= (slew_time Star1 Phenomenon24) 14.18) (= (slew_time Phenomenon24 GroundStation2) 12.16) (= (slew_time GroundStation2 Phenomenon24) 12.16) (= (slew_time Phenomenon24 Star3) 37.27) (= (slew_time Star3 Phenomenon24) 37.27) (= (slew_time Phenomenon24 Star4) 20.18) (= (slew_time Star4 Phenomenon24) 20.18) (= (slew_time Phenomenon24 Phenomenon5) 43.42) (= (slew_time Phenomenon5 Phenomenon24) 43.42) (= (slew_time Phenomenon24 Planet6) 11.84) (= (slew_time Planet6 Phenomenon24) 11.84) (= (slew_time Phenomenon24 Planet7) 50.11) (= (slew_time Planet7 Phenomenon24) 50.11) (= (slew_time Phenomenon24 Star8) 66.74) (= (slew_time Star8 Phenomenon24) 66.74) (= (slew_time Phenomenon24 Star9) 0.7288) (= (slew_time Star9 Phenomenon24) 0.7288) (= (slew_time Phenomenon24 Star10) 27.93) (= (slew_time Star10 Phenomenon24) 27.93) (= (slew_time Phenomenon24 Planet11) 14.11) (= (slew_time Planet11 Phenomenon24) 14.11) (= (slew_time Phenomenon24 Phenomenon12) 59.78) (= (slew_time Phenomenon12 Phenomenon24) 59.78) (= (slew_time Phenomenon24 Phenomenon13) 18.3) (= (slew_time Phenomenon13 Phenomenon24) 18.3) (= (slew_time Phenomenon24 Planet14) 37.54) (= (slew_time Planet14 Phenomenon24) 37.54) (= (slew_time Phenomenon24 Star15) 8.038) (= (slew_time Star15 Phenomenon24) 8.038) (= (slew_time Phenomenon24 Phenomenon16) 13.76) (= (slew_time Phenomenon16 Phenomenon24) 13.76) (= (slew_time Phenomenon24 Phenomenon17) 39.28) (= (slew_time Phenomenon17 Phenomenon24) 39.28) (= (slew_time Phenomenon24 Phenomenon18) 31.6) (= (slew_time Phenomenon18 Phenomenon24) 31.6) (= (slew_time Phenomenon24 Planet19) 1.879) (= (slew_time Planet19 Phenomenon24) 1.879) (= (slew_time Phenomenon24 Planet20) 19.44) (= (slew_time Planet20 Phenomenon24) 19.44) (= (slew_time Phenomenon24 Phenomenon21) 11.19) (= (slew_time Phenomenon21 Phenomenon24) 11.19) (= (slew_time Phenomenon24 Star22) 3.994) (= (slew_time Star22 Phenomenon24) 3.994) (= (slew_time Phenomenon24 Planet23) 11.27) (= (slew_time Planet23 Phenomenon24) 11.27) (= (slew_time Phenomenon25 Star0) 70.14) (= (slew_time Star0 Phenomenon25) 70.14) (= (slew_time Phenomenon25 Star1) 28.13) (= (slew_time Star1 Phenomenon25) 28.13) (= (slew_time Phenomenon25 GroundStation2) 77.05) (= (slew_time GroundStation2 Phenomenon25) 77.05) (= (slew_time Phenomenon25 Star3) 15.78) (= (slew_time Star3 Phenomenon25) 15.78) (= (slew_time Phenomenon25 Star4) 17.88) (= (slew_time Star4 Phenomenon25) 17.88) (= (slew_time Phenomenon25 Phenomenon5) 69.12) (= (slew_time Phenomenon5 Phenomenon25) 69.12) (= (slew_time Phenomenon25 Planet6) 84.5) (= (slew_time Planet6 Phenomenon25) 84.5) (= (slew_time Phenomenon25 Planet7) 3.558) (= (slew_time Planet7 Phenomenon25) 3.558) (= (slew_time Phenomenon25 Star8) 71.47) (= (slew_time Star8 Phenomenon25) 71.47) (= (slew_time Phenomenon25 Star9) 46.95) (= (slew_time Star9 Phenomenon25) 46.95) (= (slew_time Phenomenon25 Star10) 76.44) (= (slew_time Star10 Phenomenon25) 76.44) (= (slew_time Phenomenon25 Planet11) 66.42) (= (slew_time Planet11 Phenomenon25) 66.42) (= (slew_time Phenomenon25 Phenomenon12) 13.58) (= (slew_time Phenomenon12 Phenomenon25) 13.58) (= (slew_time Phenomenon25 Phenomenon13) 35.09) (= (slew_time Phenomenon13 Phenomenon25) 35.09) (= (slew_time Phenomenon25 Planet14) 2.212) (= (slew_time Planet14 Phenomenon25) 2.212) (= (slew_time Phenomenon25 Star15) 33) (= (slew_time Star15 Phenomenon25) 33) (= (slew_time Phenomenon25 Phenomenon16) 47.05) (= (slew_time Phenomenon16 Phenomenon25) 47.05) (= (slew_time Phenomenon25 Phenomenon17) 29.67) (= (slew_time Phenomenon17 Phenomenon25) 29.67) (= (slew_time Phenomenon25 Phenomenon18) 52.29) (= (slew_time Phenomenon18 Phenomenon25) 52.29) (= (slew_time Phenomenon25 Planet19) 76.62) (= (slew_time Planet19 Phenomenon25) 76.62) (= (slew_time Phenomenon25 Planet20) 37.16) (= (slew_time Planet20 Phenomenon25) 37.16) (= (slew_time Phenomenon25 Phenomenon21) 13.94) (= (slew_time Phenomenon21 Phenomenon25) 13.94) (= (slew_time Phenomenon25 Star22) 63.09) (= (slew_time Star22 Phenomenon25) 63.09) (= (slew_time Phenomenon25 Planet23) 64.61) (= (slew_time Planet23 Phenomenon25) 64.61) (= (slew_time Phenomenon25 Phenomenon24) 47.67) (= (slew_time Phenomenon24 Phenomenon25) 47.67) (= (slew_time Star26 Star0) 37.78) (= (slew_time Star0 Star26) 37.78) (= (slew_time Star26 Star1) 0.5682) (= (slew_time Star1 Star26) 0.5682) (= (slew_time Star26 GroundStation2) 22.55) (= (slew_time GroundStation2 Star26) 22.55) (= (slew_time Star26 Star3) 80.45) (= (slew_time Star3 Star26) 80.45) (= (slew_time Star26 Star4) 47.99) (= (slew_time Star4 Star26) 47.99) (= (slew_time Star26 Phenomenon5) 75.07) (= (slew_time Phenomenon5 Star26) 75.07) (= (slew_time Star26 Planet6) 27.85) (= (slew_time Planet6 Star26) 27.85) (= (slew_time Star26 Planet7) 4.222) (= (slew_time Planet7 Star26) 4.222) (= (slew_time Star26 Star8) 16.09) (= (slew_time Star8 Star26) 16.09) (= (slew_time Star26 Star9) 41.58) (= (slew_time Star9 Star26) 41.58) (= (slew_time Star26 Star10) 34.39) (= (slew_time Star10 Star26) 34.39) (= (slew_time Star26 Planet11) 56.75) (= (slew_time Planet11 Star26) 56.75) (= (slew_time Star26 Phenomenon12) 0.7687) (= (slew_time Phenomenon12 Star26) 0.7687) (= (slew_time Star26 Phenomenon13) 71.05) (= (slew_time Phenomenon13 Star26) 71.05) (= (slew_time Star26 Planet14) 36) (= (slew_time Planet14 Star26) 36) (= (slew_time Star26 Star15) 8.491) (= (slew_time Star15 Star26) 8.491) (= (slew_time Star26 Phenomenon16) 11.7) (= (slew_time Phenomenon16 Star26) 11.7) (= (slew_time Star26 Phenomenon17) 11.91) (= (slew_time Phenomenon17 Star26) 11.91) (= (slew_time Star26 Phenomenon18) 12.23) (= (slew_time Phenomenon18 Star26) 12.23) (= (slew_time Star26 Planet19) 9.303) (= (slew_time Planet19 Star26) 9.303) (= (slew_time Star26 Planet20) 72.65) (= (slew_time Planet20 Star26) 72.65) (= (slew_time Star26 Phenomenon21) 46.07) (= (slew_time Phenomenon21 Star26) 46.07) (= (slew_time Star26 Star22) 5.196) (= (slew_time Star22 Star26) 5.196) (= (slew_time Star26 Planet23) 6.687) (= (slew_time Planet23 Star26) 6.687) (= (slew_time Star26 Phenomenon24) 55.13) (= (slew_time Phenomenon24 Star26) 55.13) (= (slew_time Star26 Phenomenon25) 35.37) (= (slew_time Phenomenon25 Star26) 35.37) (= (slew_time Planet27 Star0) 28.5) (= (slew_time Star0 Planet27) 28.5) (= (slew_time Planet27 Star1) 15.79) (= (slew_time Star1 Planet27) 15.79) (= (slew_time Planet27 GroundStation2) 15.25) (= (slew_time GroundStation2 Planet27) 15.25) (= (slew_time Planet27 Star3) 8.351) (= (slew_time Star3 Planet27) 8.351) (= (slew_time Planet27 Star4) 64.06) (= (slew_time Star4 Planet27) 64.06) (= (slew_time Planet27 Phenomenon5) 4.464) (= (slew_time Phenomenon5 Planet27) 4.464) (= (slew_time Planet27 Planet6) 1.956) (= (slew_time Planet6 Planet27) 1.956) (= (slew_time Planet27 Planet7) 74.48) (= (slew_time Planet7 Planet27) 74.48) (= (slew_time Planet27 Star8) 2.718) (= (slew_time Star8 Planet27) 2.718) (= (slew_time Planet27 Star9) 1.067) (= (slew_time Star9 Planet27) 1.067) (= (slew_time Planet27 Star10) 20.75) (= (slew_time Star10 Planet27) 20.75) (= (slew_time Planet27 Planet11) 70.73) (= (slew_time Planet11 Planet27) 70.73) (= (slew_time Planet27 Phenomenon12) 18.08) (= (slew_time Phenomenon12 Planet27) 18.08) (= (slew_time Planet27 Phenomenon13) 6.433) (= (slew_time Phenomenon13 Planet27) 6.433) (= (slew_time Planet27 Planet14) 54.68) (= (slew_time Planet14 Planet27) 54.68) (= (slew_time Planet27 Star15) 54.37) (= (slew_time Star15 Planet27) 54.37) (= (slew_time Planet27 Phenomenon16) 50.34) (= (slew_time Phenomenon16 Planet27) 50.34) (= (slew_time Planet27 Phenomenon17) 5.607) (= (slew_time Phenomenon17 Planet27) 5.607) (= (slew_time Planet27 Phenomenon18) 3.198) (= (slew_time Phenomenon18 Planet27) 3.198) (= (slew_time Planet27 Planet19) 12.2) (= (slew_time Planet19 Planet27) 12.2) (= (slew_time Planet27 Planet20) 53.14) (= (slew_time Planet20 Planet27) 53.14) (= (slew_time Planet27 Phenomenon21) 46.93) (= (slew_time Phenomenon21 Planet27) 46.93) (= (slew_time Planet27 Star22) 20.64) (= (slew_time Star22 Planet27) 20.64) (= (slew_time Planet27 Planet23) 1.099) (= (slew_time Planet23 Planet27) 1.099) (= (slew_time Planet27 Phenomenon24) 6.802) (= (slew_time Phenomenon24 Planet27) 6.802) (= (slew_time Planet27 Phenomenon25) 33.06) (= (slew_time Phenomenon25 Planet27) 33.06) (= (slew_time Planet27 Star26) 17.51) (= (slew_time Star26 Planet27) 17.51) (= (slew_time Planet28 Star0) 61.2) (= (slew_time Star0 Planet28) 61.2) (= (slew_time Planet28 Star1) 15.81) (= (slew_time Star1 Planet28) 15.81) (= (slew_time Planet28 GroundStation2) 51.21) (= (slew_time GroundStation2 Planet28) 51.21) (= (slew_time Planet28 Star3) 91.5) (= (slew_time Star3 Planet28) 91.5) (= (slew_time Planet28 Star4) 66.21) (= (slew_time Star4 Planet28) 66.21) (= (slew_time Planet28 Phenomenon5) 65.4) (= (slew_time Phenomenon5 Planet28) 65.4) (= (slew_time Planet28 Planet6) 45.81) (= (slew_time Planet6 Planet28) 45.81) (= (slew_time Planet28 Planet7) 20.21) (= (slew_time Planet7 Planet28) 20.21) (= (slew_time Planet28 Star8) 6.378) (= (slew_time Star8 Planet28) 6.378) (= (slew_time Planet28 Star9) 30.66) (= (slew_time Star9 Planet28) 30.66) (= (slew_time Planet28 Star10) 64.45) (= (slew_time Star10 Planet28) 64.45) (= (slew_time Planet28 Planet11) 51.89) (= (slew_time Planet11 Planet28) 51.89) (= (slew_time Planet28 Phenomenon12) 2.334) (= (slew_time Phenomenon12 Planet28) 2.334) (= (slew_time Planet28 Phenomenon13) 7.527) (= (slew_time Phenomenon13 Planet28) 7.527) (= (slew_time Planet28 Planet14) 7.672) (= (slew_time Planet14 Planet28) 7.672) (= (slew_time Planet28 Star15) 8.107) (= (slew_time Star15 Planet28) 8.107) (= (slew_time Planet28 Phenomenon16) 26.28) (= (slew_time Phenomenon16 Planet28) 26.28) (= (slew_time Planet28 Phenomenon17) 50.17) (= (slew_time Phenomenon17 Planet28) 50.17) (= (slew_time Planet28 Phenomenon18) 20.77) (= (slew_time Phenomenon18 Planet28) 20.77) (= (slew_time Planet28 Planet19) 43.39) (= (slew_time Planet19 Planet28) 43.39) (= (slew_time Planet28 Planet20) 16.5) (= (slew_time Planet20 Planet28) 16.5) (= (slew_time Planet28 Phenomenon21) 8.289) (= (slew_time Phenomenon21 Planet28) 8.289) (= (slew_time Planet28 Star22) 4.385) (= (slew_time Star22 Planet28) 4.385) (= (slew_time Planet28 Planet23) 6.966) (= (slew_time Planet23 Planet28) 6.966) (= (slew_time Planet28 Phenomenon24) 46.54) (= (slew_time Phenomenon24 Planet28) 46.54) (= (slew_time Planet28 Phenomenon25) 10.41) (= (slew_time Phenomenon25 Planet28) 10.41) (= (slew_time Planet28 Star26) 7.974) (= (slew_time Star26 Planet28) 7.974) (= (slew_time Planet28 Planet27) 17.07) (= (slew_time Planet27 Planet28) 17.07) (= (slew_time Phenomenon29 Star0) 64.33) (= (slew_time Star0 Phenomenon29) 64.33) (= (slew_time Phenomenon29 Star1) 8.25) (= (slew_time Star1 Phenomenon29) 8.25) (= (slew_time Phenomenon29 GroundStation2) 7.665) (= (slew_time GroundStation2 Phenomenon29) 7.665) (= (slew_time Phenomenon29 Star3) 22.5) (= (slew_time Star3 Phenomenon29) 22.5) (= (slew_time Phenomenon29 Star4) 87.02) (= (slew_time Star4 Phenomenon29) 87.02) (= (slew_time Phenomenon29 Phenomenon5) 3.256) (= (slew_time Phenomenon5 Phenomenon29) 3.256) (= (slew_time Phenomenon29 Planet6) 0.1638) (= (slew_time Planet6 Phenomenon29) 0.1638) (= (slew_time Phenomenon29 Planet7) 37.94) (= (slew_time Planet7 Phenomenon29) 37.94) (= (slew_time Phenomenon29 Star8) 3.605) (= (slew_time Star8 Phenomenon29) 3.605) (= (slew_time Phenomenon29 Star9) 15.56) (= (slew_time Star9 Phenomenon29) 15.56) (= (slew_time Phenomenon29 Star10) 38.79) (= (slew_time Star10 Phenomenon29) 38.79) (= (slew_time Phenomenon29 Planet11) 5.096) (= (slew_time Planet11 Phenomenon29) 5.096) (= (slew_time Phenomenon29 Phenomenon12) 23.37) (= (slew_time Phenomenon12 Phenomenon29) 23.37) (= (slew_time Phenomenon29 Phenomenon13) 36.11) (= (slew_time Phenomenon13 Phenomenon29) 36.11) (= (slew_time Phenomenon29 Planet14) 13.07) (= (slew_time Planet14 Phenomenon29) 13.07) (= (slew_time Phenomenon29 Star15) 89.12) (= (slew_time Star15 Phenomenon29) 89.12) (= (slew_time Phenomenon29 Phenomenon16) 9.065) (= (slew_time Phenomenon16 Phenomenon29) 9.065) (= (slew_time Phenomenon29 Phenomenon17) 57.26) (= (slew_time Phenomenon17 Phenomenon29) 57.26) (= (slew_time Phenomenon29 Phenomenon18) 81.36) (= (slew_time Phenomenon18 Phenomenon29) 81.36) (= (slew_time Phenomenon29 Planet19) 2.529) (= (slew_time Planet19 Phenomenon29) 2.529) (= (slew_time Phenomenon29 Planet20) 72.96) (= (slew_time Planet20 Phenomenon29) 72.96) (= (slew_time Phenomenon29 Phenomenon21) 83.9) (= (slew_time Phenomenon21 Phenomenon29) 83.9) (= (slew_time Phenomenon29 Star22) 14.75) (= (slew_time Star22 Phenomenon29) 14.75) (= (slew_time Phenomenon29 Planet23) 50.41) (= (slew_time Planet23 Phenomenon29) 50.41) (= (slew_time Phenomenon29 Phenomenon24) 9.894) (= (slew_time Phenomenon24 Phenomenon29) 9.894) (= (slew_time Phenomenon29 Phenomenon25) 36.56) (= (slew_time Phenomenon25 Phenomenon29) 36.56) (= (slew_time Phenomenon29 Star26) 71.22) (= (slew_time Star26 Phenomenon29) 71.22) (= (slew_time Phenomenon29 Planet27) 37.13) (= (slew_time Planet27 Phenomenon29) 37.13) (= (slew_time Phenomenon29 Planet28) 58.69) (= (slew_time Planet28 Phenomenon29) 58.69) (= (data-stored) 0) (= (fuel-used) 0) ) (:goal (and (pointing satellite0 Phenomenon25) (pointing satellite1 Star9) (pointing satellite2 Star1) )) (:metric maximize (data-stored)) )