(define (problem strips-sat-x-1)
(:domain satellite)
(:objects
	satellite0 - satellite
	instrument0 - instrument
	instrument1 - instrument
	instrument2 - instrument
	satellite1 - satellite
	instrument3 - instrument
	instrument4 - instrument
	instrument5 - instrument
	satellite2 - satellite
	instrument6 - instrument
	instrument7 - instrument
	satellite3 - satellite
	instrument8 - instrument
	satellite4 - satellite
	instrument9 - instrument
	instrument10 - instrument
	image1 - mode
	thermograph0 - mode
	spectrograph2 - mode
	GroundStation1 - direction
	GroundStation2 - direction
	Star0 - direction
	Phenomenon3 - direction
	Phenomenon4 - direction
	Star5 - direction
	Phenomenon6 - direction
	Planet7 - direction
	Planet8 - direction
	Star9 - direction
	Star10 - direction
	Planet11 - direction
	Phenomenon12 - direction
	Planet13 - direction
	Planet14 - direction
	Star15 - direction
	Phenomenon16 - direction
	Phenomenon17 - direction
	Phenomenon18 - direction
	Planet19 - direction
	Phenomenon20 - direction
	Star21 - direction
	Planet22 - direction
	Planet23 - direction
	Planet24 - direction
	Phenomenon25 - direction
	Planet26 - direction
	Planet27 - direction
	Phenomenon28 - direction
	Phenomenon29 - direction
	Star30 - direction
	Planet31 - direction
	Phenomenon32 - direction
	Star33 - direction
	Planet34 - direction
	Phenomenon35 - direction
	Star36 - direction
	Planet37 - direction
	Planet38 - direction
	Planet39 - direction
	Phenomenon40 - direction
	Star41 - direction
	Planet42 - direction
)
(:init
	(supports instrument0 spectrograph2)
	(calibration_target instrument0 GroundStation1)
	(= (calibration_time instrument0 GroundStation1) 9.83)
	(supports instrument1 thermograph0)
	(supports instrument1 image1)
	(supports instrument1 spectrograph2)
	(calibration_target instrument1 Star0)
	(= (calibration_time instrument1 Star0) 4.9)
	(supports instrument2 thermograph0)
	(supports instrument2 spectrograph2)
	(calibration_target instrument2 GroundStation1)
	(= (calibration_time instrument2 GroundStation1) 14.2)
	(on_board instrument0 satellite0)
	(on_board instrument1 satellite0)
	(on_board instrument2 satellite0)
	(power_avail satellite0)
	(pointing satellite0 GroundStation2)
	(supports instrument3 image1)
	(calibration_target instrument3 GroundStation1)
	(= (calibration_time instrument3 GroundStation1) 23.3)
	(supports instrument4 image1)
	(supports instrument4 spectrograph2)
	(supports instrument4 thermograph0)
	(calibration_target instrument4 GroundStation2)
	(= (calibration_time instrument4 GroundStation2) 77.6)
	(supports instrument5 spectrograph2)
	(supports instrument5 thermograph0)
	(calibration_target instrument5 GroundStation1)
	(= (calibration_time instrument5 GroundStation1) 46.6)
	(on_board instrument3 satellite1)
	(on_board instrument4 satellite1)
	(on_board instrument5 satellite1)
	(power_avail satellite1)
	(pointing satellite1 Planet11)
	(supports instrument6 image1)
	(calibration_target instrument6 GroundStation2)
	(= (calibration_time instrument6 GroundStation2) 26)
	(supports instrument7 image1)
	(supports instrument7 spectrograph2)
	(supports instrument7 thermograph0)
	(calibration_target instrument7 GroundStation2)
	(= (calibration_time instrument7 GroundStation2) 10)
	(on_board instrument6 satellite2)
	(on_board instrument7 satellite2)
	(power_avail satellite2)
	(pointing satellite2 Star21)
	(supports instrument8 thermograph0)
	(supports instrument8 image1)
	(supports instrument8 spectrograph2)
	(calibration_target instrument8 GroundStation1)
	(= (calibration_time instrument8 GroundStation1) 72.7)
	(on_board instrument8 satellite3)
	(power_avail satellite3)
	(pointing satellite3 Star41)
	(supports instrument9 image1)
	(supports instrument9 thermograph0)
	(supports instrument9 spectrograph2)
	(calibration_target instrument9 GroundStation2)
	(= (calibration_time instrument9 GroundStation2) 7.01)
	(supports instrument10 spectrograph2)
	(supports instrument10 thermograph0)
	(supports instrument10 image1)
	(calibration_target instrument10 Star0)
	(= (calibration_time instrument10 Star0) 12.4)
	(on_board instrument9 satellite4)
	(on_board instrument10 satellite4)
	(power_avail satellite4)
	(pointing satellite4 Planet19)
	(= (slew_time GroundStation1 Star0) 18.17)
	(= (slew_time Star0 GroundStation1) 18.17)
	(= (slew_time GroundStation2 Star0) 38.61)
	(= (slew_time Star0 GroundStation2) 38.61)
	(= (slew_time GroundStation2 GroundStation1) 68.04)
	(= (slew_time GroundStation1 GroundStation2) 68.04)
	(= (slew_time Phenomenon3 Star0) 14.29)
	(= (slew_time Star0 Phenomenon3) 14.29)
	(= (slew_time Phenomenon3 GroundStation1) 89.48)
	(= (slew_time GroundStation1 Phenomenon3) 89.48)
	(= (slew_time Phenomenon3 GroundStation2) 33.94)
	(= (slew_time GroundStation2 Phenomenon3) 33.94)
	(= (slew_time Phenomenon4 Star0) 35.01)
	(= (slew_time Star0 Phenomenon4) 35.01)
	(= (slew_time Phenomenon4 GroundStation1) 31.79)
	(= (slew_time GroundStation1 Phenomenon4) 31.79)
	(= (slew_time Phenomenon4 GroundStation2) 39.73)
	(= (slew_time GroundStation2 Phenomenon4) 39.73)
	(= (slew_time Phenomenon4 Phenomenon3) 25.72)
	(= (slew_time Phenomenon3 Phenomenon4) 25.72)
	(= (slew_time Star5 Star0) 36.56)
	(= (slew_time Star0 Star5) 36.56)
	(= (slew_time Star5 GroundStation1) 8.59)
	(= (slew_time GroundStation1 Star5) 8.59)
	(= (slew_time Star5 GroundStation2) 62.86)
	(= (slew_time GroundStation2 Star5) 62.86)
	(= (slew_time Star5 Phenomenon3) 10.18)
	(= (slew_time Phenomenon3 Star5) 10.18)
	(= (slew_time Star5 Phenomenon4) 64.5)
	(= (slew_time Phenomenon4 Star5) 64.5)
	(= (slew_time Phenomenon6 Star0) 77.07)
	(= (slew_time Star0 Phenomenon6) 77.07)
	(= (slew_time Phenomenon6 GroundStation1) 17.63)
	(= (slew_time GroundStation1 Phenomenon6) 17.63)
	(= (slew_time Phenomenon6 GroundStation2) 50.73)
	(= (slew_time GroundStation2 Phenomenon6) 50.73)
	(= (slew_time Phenomenon6 Phenomenon3) 14.75)
	(= (slew_time Phenomenon3 Phenomenon6) 14.75)
	(= (slew_time Phenomenon6 Phenomenon4) 2.098)
	(= (slew_time Phenomenon4 Phenomenon6) 2.098)
	(= (slew_time Phenomenon6 Star5) 29.32)
	(= (slew_time Star5 Phenomenon6) 29.32)
	(= (slew_time Planet7 Star0) 5.993)
	(= (slew_time Star0 Planet7) 5.993)
	(= (slew_time Planet7 GroundStation1) 61.94)
	(= (slew_time GroundStation1 Planet7) 61.94)
	(= (slew_time Planet7 GroundStation2) 70.98)
	(= (slew_time GroundStation2 Planet7) 70.98)
	(= (slew_time Planet7 Phenomenon3) 0.7185)
	(= (slew_time Phenomenon3 Planet7) 0.7185)
	(= (slew_time Planet7 Phenomenon4) 16.36)
	(= (slew_time Phenomenon4 Planet7) 16.36)
	(= (slew_time Planet7 Star5) 71.33)
	(= (slew_time Star5 Planet7) 71.33)
	(= (slew_time Planet7 Phenomenon6) 54.57)
	(= (slew_time Phenomenon6 Planet7) 54.57)
	(= (slew_time Planet8 Star0) 71.52)
	(= (slew_time Star0 Planet8) 71.52)
	(= (slew_time Planet8 GroundStation1) 8.513)
	(= (slew_time GroundStation1 Planet8) 8.513)
	(= (slew_time Planet8 GroundStation2) 2.717)
	(= (slew_time GroundStation2 Planet8) 2.717)
	(= (slew_time Planet8 Phenomenon3) 23.3)
	(= (slew_time Phenomenon3 Planet8) 23.3)
	(= (slew_time Planet8 Phenomenon4) 62.53)
	(= (slew_time Phenomenon4 Planet8) 62.53)
	(= (slew_time Planet8 Star5) 33.82)
	(= (slew_time Star5 Planet8) 33.82)
	(= (slew_time Planet8 Phenomenon6) 3.782)
	(= (slew_time Phenomenon6 Planet8) 3.782)
	(= (slew_time Planet8 Planet7) 8.523)
	(= (slew_time Planet7 Planet8) 8.523)
	(= (slew_time Star9 Star0) 9.272)
	(= (slew_time Star0 Star9) 9.272)
	(= (slew_time Star9 GroundStation1) 28.83)
	(= (slew_time GroundStation1 Star9) 28.83)
	(= (slew_time Star9 GroundStation2) 14.02)
	(= (slew_time GroundStation2 Star9) 14.02)
	(= (slew_time Star9 Phenomenon3) 33.99)
	(= (slew_time Phenomenon3 Star9) 33.99)
	(= (slew_time Star9 Phenomenon4) 13.93)
	(= (slew_time Phenomenon4 Star9) 13.93)
	(= (slew_time Star9 Star5) 71.45)
	(= (slew_time Star5 Star9) 71.45)
	(= (slew_time Star9 Phenomenon6) 62.25)
	(= (slew_time Phenomenon6 Star9) 62.25)
	(= (slew_time Star9 Planet7) 62.81)
	(= (slew_time Planet7 Star9) 62.81)
	(= (slew_time Star9 Planet8) 86.42)
	(= (slew_time Planet8 Star9) 86.42)
	(= (slew_time Star10 Star0) 5.806)
	(= (slew_time Star0 Star10) 5.806)
	(= (slew_time Star10 GroundStation1) 53.62)
	(= (slew_time GroundStation1 Star10) 53.62)
	(= (slew_time Star10 GroundStation2) 71.13)
	(= (slew_time GroundStation2 Star10) 71.13)
	(= (slew_time Star10 Phenomenon3) 9.204)
	(= (slew_time Phenomenon3 Star10) 9.204)
	(= (slew_time Star10 Phenomenon4) 39.93)
	(= (slew_time Phenomenon4 Star10) 39.93)
	(= (slew_time Star10 Star5) 8.941)
	(= (slew_time Star5 Star10) 8.941)
	(= (slew_time Star10 Phenomenon6) 16.88)
	(= (slew_time Phenomenon6 Star10) 16.88)
	(= (slew_time Star10 Planet7) 39.3)
	(= (slew_time Planet7 Star10) 39.3)
	(= (slew_time Star10 Planet8) 60.36)
	(= (slew_time Planet8 Star10) 60.36)
	(= (slew_time Star10 Star9) 55.89)
	(= (slew_time Star9 Star10) 55.89)
	(= (slew_time Planet11 Star0) 4.459)
	(= (slew_time Star0 Planet11) 4.459)
	(= (slew_time Planet11 GroundStation1) 89.47)
	(= (slew_time GroundStation1 Planet11) 89.47)
	(= (slew_time Planet11 GroundStation2) 34.31)
	(= (slew_time GroundStation2 Planet11) 34.31)
	(= (slew_time Planet11 Phenomenon3) 8.8)
	(= (slew_time Phenomenon3 Planet11) 8.8)
	(= (slew_time Planet11 Phenomenon4) 63.1)
	(= (slew_time Phenomenon4 Planet11) 63.1)
	(= (slew_time Planet11 Star5) 25.18)
	(= (slew_time Star5 Planet11) 25.18)
	(= (slew_time Planet11 Phenomenon6) 40.17)
	(= (slew_time Phenomenon6 Planet11) 40.17)
	(= (slew_time Planet11 Planet7) 68.8)
	(= (slew_time Planet7 Planet11) 68.8)
	(= (slew_time Planet11 Planet8) 25.4)
	(= (slew_time Planet8 Planet11) 25.4)
	(= (slew_time Planet11 Star9) 75.5)
	(= (slew_time Star9 Planet11) 75.5)
	(= (slew_time Planet11 Star10) 18.06)
	(= (slew_time Star10 Planet11) 18.06)
	(= (slew_time Phenomenon12 Star0) 7.496)
	(= (slew_time Star0 Phenomenon12) 7.496)
	(= (slew_time Phenomenon12 GroundStation1) 37.29)
	(= (slew_time GroundStation1 Phenomenon12) 37.29)
	(= (slew_time Phenomenon12 GroundStation2) 23.22)
	(= (slew_time GroundStation2 Phenomenon12) 23.22)
	(= (slew_time Phenomenon12 Phenomenon3) 18.08)
	(= (slew_time Phenomenon3 Phenomenon12) 18.08)
	(= (slew_time Phenomenon12 Phenomenon4) 26.69)
	(= (slew_time Phenomenon4 Phenomenon12) 26.69)
	(= (slew_time Phenomenon12 Star5) 21.71)
	(= (slew_time Star5 Phenomenon12) 21.71)
	(= (slew_time Phenomenon12 Phenomenon6) 58.52)
	(= (slew_time Phenomenon6 Phenomenon12) 58.52)
	(= (slew_time Phenomenon12 Planet7) 6.408)
	(= (slew_time Planet7 Phenomenon12) 6.408)
	(= (slew_time Phenomenon12 Planet8) 49.63)
	(= (slew_time Planet8 Phenomenon12) 49.63)
	(= (slew_time Phenomenon12 Star9) 9.162)
	(= (slew_time Star9 Phenomenon12) 9.162)
	(= (slew_time Phenomenon12 Star10) 16.11)
	(= (slew_time Star10 Phenomenon12) 16.11)
	(= (slew_time Phenomenon12 Planet11) 73.86)
	(= (slew_time Planet11 Phenomenon12) 73.86)
	(= (slew_time Planet13 Star0) 6.081)
	(= (slew_time Star0 Planet13) 6.081)
	(= (slew_time Planet13 GroundStation1) 47.91)
	(= (slew_time GroundStation1 Planet13) 47.91)
	(= (slew_time Planet13 GroundStation2) 35.99)
	(= (slew_time GroundStation2 Planet13) 35.99)
	(= (slew_time Planet13 Phenomenon3) 64.38)
	(= (slew_time Phenomenon3 Planet13) 64.38)
	(= (slew_time Planet13 Phenomenon4) 92.48)
	(= (slew_time Phenomenon4 Planet13) 92.48)
	(= (slew_time Planet13 Star5) 42.51)
	(= (slew_time Star5 Planet13) 42.51)
	(= (slew_time Planet13 Phenomenon6) 6.607)
	(= (slew_time Phenomenon6 Planet13) 6.607)
	(= (slew_time Planet13 Planet7) 54.53)
	(= (slew_time Planet7 Planet13) 54.53)
	(= (slew_time Planet13 Planet8) 74.44)
	(= (slew_time Planet8 Planet13) 74.44)
	(= (slew_time Planet13 Star9) 13.68)
	(= (slew_time Star9 Planet13) 13.68)
	(= (slew_time Planet13 Star10) 53.19)
	(= (slew_time Star10 Planet13) 53.19)
	(= (slew_time Planet13 Planet11) 8.653)
	(= (slew_time Planet11 Planet13) 8.653)
	(= (slew_time Planet13 Phenomenon12) 8.824)
	(= (slew_time Phenomenon12 Planet13) 8.824)
	(= (slew_time Planet14 Star0) 68.88)
	(= (slew_time Star0 Planet14) 68.88)
	(= (slew_time Planet14 GroundStation1) 4.13)
	(= (slew_time GroundStation1 Planet14) 4.13)
	(= (slew_time Planet14 GroundStation2) 43.12)
	(= (slew_time GroundStation2 Planet14) 43.12)
	(= (slew_time Planet14 Phenomenon3) 27.15)
	(= (slew_time Phenomenon3 Planet14) 27.15)
	(= (slew_time Planet14 Phenomenon4) 32.56)
	(= (slew_time Phenomenon4 Planet14) 32.56)
	(= (slew_time Planet14 Star5) 2.187)
	(= (slew_time Star5 Planet14) 2.187)
	(= (slew_time Planet14 Phenomenon6) 11.68)
	(= (slew_time Phenomenon6 Planet14) 11.68)
	(= (slew_time Planet14 Planet7) 34.03)
	(= (slew_time Planet7 Planet14) 34.03)
	(= (slew_time Planet14 Planet8) 34.34)
	(= (slew_time Planet8 Planet14) 34.34)
	(= (slew_time Planet14 Star9) 1.955)
	(= (slew_time Star9 Planet14) 1.955)
	(= (slew_time Planet14 Star10) 57.14)
	(= (slew_time Star10 Planet14) 57.14)
	(= (slew_time Planet14 Planet11) 4.143)
	(= (slew_time Planet11 Planet14) 4.143)
	(= (slew_time Planet14 Phenomenon12) 11.59)
	(= (slew_time Phenomenon12 Planet14) 11.59)
	(= (slew_time Planet14 Planet13) 32.75)
	(= (slew_time Planet13 Planet14) 32.75)
	(= (slew_time Star15 Star0) 12.96)
	(= (slew_time Star0 Star15) 12.96)
	(= (slew_time Star15 GroundStation1) 8.416)
	(= (slew_time GroundStation1 Star15) 8.416)
	(= (slew_time Star15 GroundStation2) 14.86)
	(= (slew_time GroundStation2 Star15) 14.86)
	(= (slew_time Star15 Phenomenon3) 23.94)
	(= (slew_time Phenomenon3 Star15) 23.94)
	(= (slew_time Star15 Phenomenon4) 30.52)
	(= (slew_time Phenomenon4 Star15) 30.52)
	(= (slew_time Star15 Star5) 42.63)
	(= (slew_time Star5 Star15) 42.63)
	(= (slew_time Star15 Phenomenon6) 31.07)
	(= (slew_time Phenomenon6 Star15) 31.07)
	(= (slew_time Star15 Planet7) 20.2)
	(= (slew_time Planet7 Star15) 20.2)
	(= (slew_time Star15 Planet8) 51.75)
	(= (slew_time Planet8 Star15) 51.75)
	(= (slew_time Star15 Star9) 30.53)
	(= (slew_time Star9 Star15) 30.53)
	(= (slew_time Star15 Star10) 6.366)
	(= (slew_time Star10 Star15) 6.366)
	(= (slew_time Star15 Planet11) 24.77)
	(= (slew_time Planet11 Star15) 24.77)
	(= (slew_time Star15 Phenomenon12) 68.67)
	(= (slew_time Phenomenon12 Star15) 68.67)
	(= (slew_time Star15 Planet13) 15.51)
	(= (slew_time Planet13 Star15) 15.51)
	(= (slew_time Star15 Planet14) 15.67)
	(= (slew_time Planet14 Star15) 15.67)
	(= (slew_time Phenomenon16 Star0) 74.32)
	(= (slew_time Star0 Phenomenon16) 74.32)
	(= (slew_time Phenomenon16 GroundStation1) 44.38)
	(= (slew_time GroundStation1 Phenomenon16) 44.38)
	(= (slew_time Phenomenon16 GroundStation2) 69.59)
	(= (slew_time GroundStation2 Phenomenon16) 69.59)
	(= (slew_time Phenomenon16 Phenomenon3) 46.53)
	(= (slew_time Phenomenon3 Phenomenon16) 46.53)
	(= (slew_time Phenomenon16 Phenomenon4) 17.18)
	(= (slew_time Phenomenon4 Phenomenon16) 17.18)
	(= (slew_time Phenomenon16 Star5) 69.78)
	(= (slew_time Star5 Phenomenon16) 69.78)
	(= (slew_time Phenomenon16 Phenomenon6) 10.39)
	(= (slew_time Phenomenon6 Phenomenon16) 10.39)
	(= (slew_time Phenomenon16 Planet7) 16.03)
	(= (slew_time Planet7 Phenomenon16) 16.03)
	(= (slew_time Phenomenon16 Planet8) 12.51)
	(= (slew_time Planet8 Phenomenon16) 12.51)
	(= (slew_time Phenomenon16 Star9) 12.17)
	(= (slew_time Star9 Phenomenon16) 12.17)
	(= (slew_time Phenomenon16 Star10) 73.66)
	(= (slew_time Star10 Phenomenon16) 73.66)
	(= (slew_time Phenomenon16 Planet11) 12.23)
	(= (slew_time Planet11 Phenomenon16) 12.23)
	(= (slew_time Phenomenon16 Phenomenon12) 1.223)
	(= (slew_time Phenomenon12 Phenomenon16) 1.223)
	(= (slew_time Phenomenon16 Planet13) 60.58)
	(= (slew_time Planet13 Phenomenon16) 60.58)
	(= (slew_time Phenomenon16 Planet14) 66.77)
	(= (slew_time Planet14 Phenomenon16) 66.77)
	(= (slew_time Phenomenon16 Star15) 9.214)
	(= (slew_time Star15 Phenomenon16) 9.214)
	(= (slew_time Phenomenon17 Star0) 19.38)
	(= (slew_time Star0 Phenomenon17) 19.38)
	(= (slew_time Phenomenon17 GroundStation1) 18.79)
	(= (slew_time GroundStation1 Phenomenon17) 18.79)
	(= (slew_time Phenomenon17 GroundStation2) 74.96)
	(= (slew_time GroundStation2 Phenomenon17) 74.96)
	(= (slew_time Phenomenon17 Phenomenon3) 42.19)
	(= (slew_time Phenomenon3 Phenomenon17) 42.19)
	(= (slew_time Phenomenon17 Phenomenon4) 19.04)
	(= (slew_time Phenomenon4 Phenomenon17) 19.04)
	(= (slew_time Phenomenon17 Star5) 81.95)
	(= (slew_time Star5 Phenomenon17) 81.95)
	(= (slew_time Phenomenon17 Phenomenon6) 79.36)
	(= (slew_time Phenomenon6 Phenomenon17) 79.36)
	(= (slew_time Phenomenon17 Planet7) 78.9)
	(= (slew_time Planet7 Phenomenon17) 78.9)
	(= (slew_time Phenomenon17 Planet8) 9.921)
	(= (slew_time Planet8 Phenomenon17) 9.921)
	(= (slew_time Phenomenon17 Star9) 74.56)
	(= (slew_time Star9 Phenomenon17) 74.56)
	(= (slew_time Phenomenon17 Star10) 62.07)
	(= (slew_time Star10 Phenomenon17) 62.07)
	(= (slew_time Phenomenon17 Planet11) 3.251)
	(= (slew_time Planet11 Phenomenon17) 3.251)
	(= (slew_time Phenomenon17 Phenomenon12) 5.744)
	(= (slew_time Phenomenon12 Phenomenon17) 5.744)
	(= (slew_time Phenomenon17 Planet13) 78.15)
	(= (slew_time Planet13 Phenomenon17) 78.15)
	(= (slew_time Phenomenon17 Planet14) 70.29)
	(= (slew_time Planet14 Phenomenon17) 70.29)
	(= (slew_time Phenomenon17 Star15) 7.071)
	(= (slew_time Star15 Phenomenon17) 7.071)
	(= (slew_time Phenomenon17 Phenomenon16) 27.6)
	(= (slew_time Phenomenon16 Phenomenon17) 27.6)
	(= (slew_time Phenomenon18 Star0) 23.43)
	(= (slew_time Star0 Phenomenon18) 23.43)
	(= (slew_time Phenomenon18 GroundStation1) 43.12)
	(= (slew_time GroundStation1 Phenomenon18) 43.12)
	(= (slew_time Phenomenon18 GroundStation2) 7.323)
	(= (slew_time GroundStation2 Phenomenon18) 7.323)
	(= (slew_time Phenomenon18 Phenomenon3) 42.05)
	(= (slew_time Phenomenon3 Phenomenon18) 42.05)
	(= (slew_time Phenomenon18 Phenomenon4) 31.65)
	(= (slew_time Phenomenon4 Phenomenon18) 31.65)
	(= (slew_time Phenomenon18 Star5) 35.31)
	(= (slew_time Star5 Phenomenon18) 35.31)
	(= (slew_time Phenomenon18 Phenomenon6) 60.66)
	(= (slew_time Phenomenon6 Phenomenon18) 60.66)
	(= (slew_time Phenomenon18 Planet7) 16.34)
	(= (slew_time Planet7 Phenomenon18) 16.34)
	(= (slew_time Phenomenon18 Planet8) 89.7)
	(= (slew_time Planet8 Phenomenon18) 89.7)
	(= (slew_time Phenomenon18 Star9) 77.71)
	(= (slew_time Star9 Phenomenon18) 77.71)
	(= (slew_time Phenomenon18 Star10) 13.63)
	(= (slew_time Star10 Phenomenon18) 13.63)
	(= (slew_time Phenomenon18 Planet11) 49.16)
	(= (slew_time Planet11 Phenomenon18) 49.16)
	(= (slew_time Phenomenon18 Phenomenon12) 1.175)
	(= (slew_time Phenomenon12 Phenomenon18) 1.175)
	(= (slew_time Phenomenon18 Planet13) 43.6)
	(= (slew_time Planet13 Phenomenon18) 43.6)
	(= (slew_time Phenomenon18 Planet14) 38)
	(= (slew_time Planet14 Phenomenon18) 38)
	(= (slew_time Phenomenon18 Star15) 24.33)
	(= (slew_time Star15 Phenomenon18) 24.33)
	(= (slew_time Phenomenon18 Phenomenon16) 9.318)
	(= (slew_time Phenomenon16 Phenomenon18) 9.318)
	(= (slew_time Phenomenon18 Phenomenon17) 6.435)
	(= (slew_time Phenomenon17 Phenomenon18) 6.435)
	(= (slew_time Planet19 Star0) 88.95)
	(= (slew_time Star0 Planet19) 88.95)
	(= (slew_time Planet19 GroundStation1) 30.89)
	(= (slew_time GroundStation1 Planet19) 30.89)
	(= (slew_time Planet19 GroundStation2) 41.5)
	(= (slew_time GroundStation2 Planet19) 41.5)
	(= (slew_time Planet19 Phenomenon3) 96.18)
	(= (slew_time Phenomenon3 Planet19) 96.18)
	(= (slew_time Planet19 Phenomenon4) 65.22)
	(= (slew_time Phenomenon4 Planet19) 65.22)
	(= (slew_time Planet19 Star5) 32.58)
	(= (slew_time Star5 Planet19) 32.58)
	(= (slew_time Planet19 Phenomenon6) 62.38)
	(= (slew_time Phenomenon6 Planet19) 62.38)
	(= (slew_time Planet19 Planet7) 34.18)
	(= (slew_time Planet7 Planet19) 34.18)
	(= (slew_time Planet19 Planet8) 1.94)
	(= (slew_time Planet8 Planet19) 1.94)
	(= (slew_time Planet19 Star9) 25.2)
	(= (slew_time Star9 Planet19) 25.2)
	(= (slew_time Planet19 Star10) 24.39)
	(= (slew_time Star10 Planet19) 24.39)
	(= (slew_time Planet19 Planet11) 43.06)
	(= (slew_time Planet11 Planet19) 43.06)
	(= (slew_time Planet19 Phenomenon12) 19.88)
	(= (slew_time Phenomenon12 Planet19) 19.88)
	(= (slew_time Planet19 Planet13) 60.29)
	(= (slew_time Planet13 Planet19) 60.29)
	(= (slew_time Planet19 Planet14) 35.74)
	(= (slew_time Planet14 Planet19) 35.74)
	(= (slew_time Planet19 Star15) 12.86)
	(= (slew_time Star15 Planet19) 12.86)
	(= (slew_time Planet19 Phenomenon16) 3.954)
	(= (slew_time Phenomenon16 Planet19) 3.954)
	(= (slew_time Planet19 Phenomenon17) 6.22)
	(= (slew_time Phenomenon17 Planet19) 6.22)
	(= (slew_time Planet19 Phenomenon18) 30.38)
	(= (slew_time Phenomenon18 Planet19) 30.38)
	(= (slew_time Phenomenon20 Star0) 59.6)
	(= (slew_time Star0 Phenomenon20) 59.6)
	(= (slew_time Phenomenon20 GroundStation1) 10.9)
	(= (slew_time GroundStation1 Phenomenon20) 10.9)
	(= (slew_time Phenomenon20 GroundStation2) 41.15)
	(= (slew_time GroundStation2 Phenomenon20) 41.15)
	(= (slew_time Phenomenon20 Phenomenon3) 0.9389)
	(= (slew_time Phenomenon3 Phenomenon20) 0.9389)
	(= (slew_time Phenomenon20 Phenomenon4) 9.414)
	(= (slew_time Phenomenon4 Phenomenon20) 9.414)
	(= (slew_time Phenomenon20 Star5) 22.72)
	(= (slew_time Star5 Phenomenon20) 22.72)
	(= (slew_time Phenomenon20 Phenomenon6) 0.3863)
	(= (slew_time Phenomenon6 Phenomenon20) 0.3863)
	(= (slew_time Phenomenon20 Planet7) 33.77)
	(= (slew_time Planet7 Phenomenon20) 33.77)
	(= (slew_time Phenomenon20 Planet8) 63)
	(= (slew_time Planet8 Phenomenon20) 63)
	(= (slew_time Phenomenon20 Star9) 59.32)
	(= (slew_time Star9 Phenomenon20) 59.32)
	(= (slew_time Phenomenon20 Star10) 64.68)
	(= (slew_time Star10 Phenomenon20) 64.68)
	(= (slew_time Phenomenon20 Planet11) 75.35)
	(= (slew_time Planet11 Phenomenon20) 75.35)
	(= (slew_time Phenomenon20 Phenomenon12) 34.03)
	(= (slew_time Phenomenon12 Phenomenon20) 34.03)
	(= (slew_time Phenomenon20 Planet13) 21.21)
	(= (slew_time Planet13 Phenomenon20) 21.21)
	(= (slew_time Phenomenon20 Planet14) 15.08)
	(= (slew_time Planet14 Phenomenon20) 15.08)
	(= (slew_time Phenomenon20 Star15) 44.41)
	(= (slew_time Star15 Phenomenon20) 44.41)
	(= (slew_time Phenomenon20 Phenomenon16) 61.04)
	(= (slew_time Phenomenon16 Phenomenon20) 61.04)
	(= (slew_time Phenomenon20 Phenomenon17) 19.18)
	(= (slew_time Phenomenon17 Phenomenon20) 19.18)
	(= (slew_time Phenomenon20 Phenomenon18) 14.01)
	(= (slew_time Phenomenon18 Phenomenon20) 14.01)
	(= (slew_time Phenomenon20 Planet19) 0.6481)
	(= (slew_time Planet19 Phenomenon20) 0.6481)
	(= (slew_time Star21 Star0) 63.5)
	(= (slew_time Star0 Star21) 63.5)
	(= (slew_time Star21 GroundStation1) 55.97)
	(= (slew_time GroundStation1 Star21) 55.97)
	(= (slew_time Star21 GroundStation2) 59.53)
	(= (slew_time GroundStation2 Star21) 59.53)
	(= (slew_time Star21 Phenomenon3) 43.19)
	(= (slew_time Phenomenon3 Star21) 43.19)
	(= (slew_time Star21 Phenomenon4) 56.28)
	(= (slew_time Phenomenon4 Star21) 56.28)
	(= (slew_time Star21 Star5) 55.45)
	(= (slew_time Star5 Star21) 55.45)
	(= (slew_time Star21 Phenomenon6) 12.39)
	(= (slew_time Phenomenon6 Star21) 12.39)
	(= (slew_time Star21 Planet7) 42.05)
	(= (slew_time Planet7 Star21) 42.05)
	(= (slew_time Star21 Planet8) 0.2743)
	(= (slew_time Planet8 Star21) 0.2743)
	(= (slew_time Star21 Star9) 48.7)
	(= (slew_time Star9 Star21) 48.7)
	(= (slew_time Star21 Star10) 77.45)
	(= (slew_time Star10 Star21) 77.45)
	(= (slew_time Star21 Planet11) 1.819)
	(= (slew_time Planet11 Star21) 1.819)
	(= (slew_time Star21 Phenomenon12) 27.88)
	(= (slew_time Phenomenon12 Star21) 27.88)
	(= (slew_time Star21 Planet13) 29.77)
	(= (slew_time Planet13 Star21) 29.77)
	(= (slew_time Star21 Planet14) 95.05)
	(= (slew_time Planet14 Star21) 95.05)
	(= (slew_time Star21 Star15) 10.04)
	(= (slew_time Star15 Star21) 10.04)
	(= (slew_time Star21 Phenomenon16) 61.02)
	(= (slew_time Phenomenon16 Star21) 61.02)
	(= (slew_time Star21 Phenomenon17) 13.01)
	(= (slew_time Phenomenon17 Star21) 13.01)
	(= (slew_time Star21 Phenomenon18) 56.24)
	(= (slew_time Phenomenon18 Star21) 56.24)
	(= (slew_time Star21 Planet19) 45.22)
	(= (slew_time Planet19 Star21) 45.22)
	(= (slew_time Star21 Phenomenon20) 67.12)
	(= (slew_time Phenomenon20 Star21) 67.12)
	(= (slew_time Planet22 Star0) 3.908)
	(= (slew_time Star0 Planet22) 3.908)
	(= (slew_time Planet22 GroundStation1) 47.07)
	(= (slew_time GroundStation1 Planet22) 47.07)
	(= (slew_time Planet22 GroundStation2) 66.44)
	(= (slew_time GroundStation2 Planet22) 66.44)
	(= (slew_time Planet22 Phenomenon3) 1.339)
	(= (slew_time Phenomenon3 Planet22) 1.339)
	(= (slew_time Planet22 Phenomenon4) 3.992)
	(= (slew_time Phenomenon4 Planet22) 3.992)
	(= (slew_time Planet22 Star5) 16.97)
	(= (slew_time Star5 Planet22) 16.97)
	(= (slew_time Planet22 Phenomenon6) 22.09)
	(= (slew_time Phenomenon6 Planet22) 22.09)
	(= (slew_time Planet22 Planet7) 31.18)
	(= (slew_time Planet7 Planet22) 31.18)
	(= (slew_time Planet22 Planet8) 72.42)
	(= (slew_time Planet8 Planet22) 72.42)
	(= (slew_time Planet22 Star9) 31.86)
	(= (slew_time Star9 Planet22) 31.86)
	(= (slew_time Planet22 Star10) 6.502)
	(= (slew_time Star10 Planet22) 6.502)
	(= (slew_time Planet22 Planet11) 64.52)
	(= (slew_time Planet11 Planet22) 64.52)
	(= (slew_time Planet22 Phenomenon12) 6.729)
	(= (slew_time Phenomenon12 Planet22) 6.729)
	(= (slew_time Planet22 Planet13) 12.26)
	(= (slew_time Planet13 Planet22) 12.26)
	(= (slew_time Planet22 Planet14) 8.571)
	(= (slew_time Planet14 Planet22) 8.571)
	(= (slew_time Planet22 Star15) 66.21)
	(= (slew_time Star15 Planet22) 66.21)
	(= (slew_time Planet22 Phenomenon16) 73.28)
	(= (slew_time Phenomenon16 Planet22) 73.28)
	(= (slew_time Planet22 Phenomenon17) 14.07)
	(= (slew_time Phenomenon17 Planet22) 14.07)
	(= (slew_time Planet22 Phenomenon18) 55.08)
	(= (slew_time Phenomenon18 Planet22) 55.08)
	(= (slew_time Planet22 Planet19) 18.85)
	(= (slew_time Planet19 Planet22) 18.85)
	(= (slew_time Planet22 Phenomenon20) 24.78)
	(= (slew_time Phenomenon20 Planet22) 24.78)
	(= (slew_time Planet22 Star21) 29.23)
	(= (slew_time Star21 Planet22) 29.23)
	(= (slew_time Planet23 Star0) 18.62)
	(= (slew_time Star0 Planet23) 18.62)
	(= (slew_time Planet23 GroundStation1) 31.75)
	(= (slew_time GroundStation1 Planet23) 31.75)
	(= (slew_time Planet23 GroundStation2) 20.56)
	(= (slew_time GroundStation2 Planet23) 20.56)
	(= (slew_time Planet23 Phenomenon3) 23.1)
	(= (slew_time Phenomenon3 Planet23) 23.1)
	(= (slew_time Planet23 Phenomenon4) 3.715)
	(= (slew_time Phenomenon4 Planet23) 3.715)
	(= (slew_time Planet23 Star5) 22.48)
	(= (slew_time Star5 Planet23) 22.48)
	(= (slew_time Planet23 Phenomenon6) 8.276)
	(= (slew_time Phenomenon6 Planet23) 8.276)
	(= (slew_time Planet23 Planet7) 5.302)
	(= (slew_time Planet7 Planet23) 5.302)
	(= (slew_time Planet23 Planet8) 41.58)
	(= (slew_time Planet8 Planet23) 41.58)
	(= (slew_time Planet23 Star9) 17.42)
	(= (slew_time Star9 Planet23) 17.42)
	(= (slew_time Planet23 Star10) 42.81)
	(= (slew_time Star10 Planet23) 42.81)
	(= (slew_time Planet23 Planet11) 46.72)
	(= (slew_time Planet11 Planet23) 46.72)
	(= (slew_time Planet23 Phenomenon12) 74.49)
	(= (slew_time Phenomenon12 Planet23) 74.49)
	(= (slew_time Planet23 Planet13) 24.65)
	(= (slew_time Planet13 Planet23) 24.65)
	(= (slew_time Planet23 Planet14) 19.24)
	(= (slew_time Planet14 Planet23) 19.24)
	(= (slew_time Planet23 Star15) 64.42)
	(= (slew_time Star15 Planet23) 64.42)
	(= (slew_time Planet23 Phenomenon16) 22.35)
	(= (slew_time Phenomenon16 Planet23) 22.35)
	(= (slew_time Planet23 Phenomenon17) 26.77)
	(= (slew_time Phenomenon17 Planet23) 26.77)
	(= (slew_time Planet23 Phenomenon18) 16.12)
	(= (slew_time Phenomenon18 Planet23) 16.12)
	(= (slew_time Planet23 Planet19) 54.22)
	(= (slew_time Planet19 Planet23) 54.22)
	(= (slew_time Planet23 Phenomenon20) 22.12)
	(= (slew_time Phenomenon20 Planet23) 22.12)
	(= (slew_time Planet23 Star21) 11.07)
	(= (slew_time Star21 Planet23) 11.07)
	(= (slew_time Planet23 Planet22) 28.39)
	(= (slew_time Planet22 Planet23) 28.39)
	(= (slew_time Planet24 Star0) 5.763)
	(= (slew_time Star0 Planet24) 5.763)
	(= (slew_time Planet24 GroundStation1) 57.56)
	(= (slew_time GroundStation1 Planet24) 57.56)
	(= (slew_time Planet24 GroundStation2) 8.464)
	(= (slew_time GroundStation2 Planet24) 8.464)
	(= (slew_time Planet24 Phenomenon3) 20.6)
	(= (slew_time Phenomenon3 Planet24) 20.6)
	(= (slew_time Planet24 Phenomenon4) 9.873)
	(= (slew_time Phenomenon4 Planet24) 9.873)
	(= (slew_time Planet24 Star5) 39.33)
	(= (slew_time Star5 Planet24) 39.33)
	(= (slew_time Planet24 Phenomenon6) 31.69)
	(= (slew_time Phenomenon6 Planet24) 31.69)
	(= (slew_time Planet24 Planet7) 29.83)
	(= (slew_time Planet7 Planet24) 29.83)
	(= (slew_time Planet24 Planet8) 36.46)
	(= (slew_time Planet8 Planet24) 36.46)
	(= (slew_time Planet24 Star9) 5.891)
	(= (slew_time Star9 Planet24) 5.891)
	(= (slew_time Planet24 Star10) 60.73)
	(= (slew_time Star10 Planet24) 60.73)
	(= (slew_time Planet24 Planet11) 3.418)
	(= (slew_time Planet11 Planet24) 3.418)
	(= (slew_time Planet24 Phenomenon12) 20.37)
	(= (slew_time Phenomenon12 Planet24) 20.37)
	(= (slew_time Planet24 Planet13) 11.5)
	(= (slew_time Planet13 Planet24) 11.5)
	(= (slew_time Planet24 Planet14) 19.03)
	(= (slew_time Planet14 Planet24) 19.03)
	(= (slew_time Planet24 Star15) 33.27)
	(= (slew_time Star15 Planet24) 33.27)
	(= (slew_time Planet24 Phenomenon16) 55.59)
	(= (slew_time Phenomenon16 Planet24) 55.59)
	(= (slew_time Planet24 Phenomenon17) 23.44)
	(= (slew_time Phenomenon17 Planet24) 23.44)
	(= (slew_time Planet24 Phenomenon18) 16.54)
	(= (slew_time Phenomenon18 Planet24) 16.54)
	(= (slew_time Planet24 Planet19) 30.15)
	(= (slew_time Planet19 Planet24) 30.15)
	(= (slew_time Planet24 Phenomenon20) 55.63)
	(= (slew_time Phenomenon20 Planet24) 55.63)
	(= (slew_time Planet24 Star21) 7.037)
	(= (slew_time Star21 Planet24) 7.037)
	(= (slew_time Planet24 Planet22) 8.58)
	(= (slew_time Planet22 Planet24) 8.58)
	(= (slew_time Planet24 Planet23) 15.34)
	(= (slew_time Planet23 Planet24) 15.34)
	(= (slew_time Phenomenon25 Star0) 92.91)
	(= (slew_time Star0 Phenomenon25) 92.91)
	(= (slew_time Phenomenon25 GroundStation1) 35.86)
	(= (slew_time GroundStation1 Phenomenon25) 35.86)
	(= (slew_time Phenomenon25 GroundStation2) 21.76)
	(= (slew_time GroundStation2 Phenomenon25) 21.76)
	(= (slew_time Phenomenon25 Phenomenon3) 9.433)
	(= (slew_time Phenomenon3 Phenomenon25) 9.433)
	(= (slew_time Phenomenon25 Phenomenon4) 19.84)
	(= (slew_time Phenomenon4 Phenomenon25) 19.84)
	(= (slew_time Phenomenon25 Star5) 26.47)
	(= (slew_time Star5 Phenomenon25) 26.47)
	(= (slew_time Phenomenon25 Phenomenon6) 2.058)
	(= (slew_time Phenomenon6 Phenomenon25) 2.058)
	(= (slew_time Phenomenon25 Planet7) 57.43)
	(= (slew_time Planet7 Phenomenon25) 57.43)
	(= (slew_time Phenomenon25 Planet8) 73.68)
	(= (slew_time Planet8 Phenomenon25) 73.68)
	(= (slew_time Phenomenon25 Star9) 2.425)
	(= (slew_time Star9 Phenomenon25) 2.425)
	(= (slew_time Phenomenon25 Star10) 43.16)
	(= (slew_time Star10 Phenomenon25) 43.16)
	(= (slew_time Phenomenon25 Planet11) 71.02)
	(= (slew_time Planet11 Phenomenon25) 71.02)
	(= (slew_time Phenomenon25 Phenomenon12) 25.81)
	(= (slew_time Phenomenon12 Phenomenon25) 25.81)
	(= (slew_time Phenomenon25 Planet13) 32.89)
	(= (slew_time Planet13 Phenomenon25) 32.89)
	(= (slew_time Phenomenon25 Planet14) 63.48)
	(= (slew_time Planet14 Phenomenon25) 63.48)
	(= (slew_time Phenomenon25 Star15) 2.582)
	(= (slew_time Star15 Phenomenon25) 2.582)
	(= (slew_time Phenomenon25 Phenomenon16) 18.97)
	(= (slew_time Phenomenon16 Phenomenon25) 18.97)
	(= (slew_time Phenomenon25 Phenomenon17) 0.9031)
	(= (slew_time Phenomenon17 Phenomenon25) 0.9031)
	(= (slew_time Phenomenon25 Phenomenon18) 42.16)
	(= (slew_time Phenomenon18 Phenomenon25) 42.16)
	(= (slew_time Phenomenon25 Planet19) 0.2394)
	(= (slew_time Planet19 Phenomenon25) 0.2394)
	(= (slew_time Phenomenon25 Phenomenon20) 72.87)
	(= (slew_time Phenomenon20 Phenomenon25) 72.87)
	(= (slew_time Phenomenon25 Star21) 34.72)
	(= (slew_time Star21 Phenomenon25) 34.72)
	(= (slew_time Phenomenon25 Planet22) 56.03)
	(= (slew_time Planet22 Phenomenon25) 56.03)
	(= (slew_time Phenomenon25 Planet23) 24.58)
	(= (slew_time Planet23 Phenomenon25) 24.58)
	(= (slew_time Phenomenon25 Planet24) 29.03)
	(= (slew_time Planet24 Phenomenon25) 29.03)
	(= (slew_time Planet26 Star0) 10.35)
	(= (slew_time Star0 Planet26) 10.35)
	(= (slew_time Planet26 GroundStation1) 26.61)
	(= (slew_time GroundStation1 Planet26) 26.61)
	(= (slew_time Planet26 GroundStation2) 37.42)
	(= (slew_time GroundStation2 Planet26) 37.42)
	(= (slew_time Planet26 Phenomenon3) 10.92)
	(= (slew_time Phenomenon3 Planet26) 10.92)
	(= (slew_time Planet26 Phenomenon4) 82.1)
	(= (slew_time Phenomenon4 Planet26) 82.1)
	(= (slew_time Planet26 Star5) 53.69)
	(= (slew_time Star5 Planet26) 53.69)
	(= (slew_time Planet26 Phenomenon6) 13.48)
	(= (slew_time Phenomenon6 Planet26) 13.48)
	(= (slew_time Planet26 Planet7) 17.76)
	(= (slew_time Planet7 Planet26) 17.76)
	(= (slew_time Planet26 Planet8) 43.03)
	(= (slew_time Planet8 Planet26) 43.03)
	(= (slew_time Planet26 Star9) 69.26)
	(= (slew_time Star9 Planet26) 69.26)
	(= (slew_time Planet26 Star10) 28.47)
	(= (slew_time Star10 Planet26) 28.47)
	(= (slew_time Planet26 Planet11) 49.35)
	(= (slew_time Planet11 Planet26) 49.35)
	(= (slew_time Planet26 Phenomenon12) 84.97)
	(= (slew_time Phenomenon12 Planet26) 84.97)
	(= (slew_time Planet26 Planet13) 35.18)
	(= (slew_time Planet13 Planet26) 35.18)
	(= (slew_time Planet26 Planet14) 35.21)
	(= (slew_time Planet14 Planet26) 35.21)
	(= (slew_time Planet26 Star15) 61.02)
	(= (slew_time Star15 Planet26) 61.02)
	(= (slew_time Planet26 Phenomenon16) 22.08)
	(= (slew_time Phenomenon16 Planet26) 22.08)
	(= (slew_time Planet26 Phenomenon17) 54.75)
	(= (slew_time Phenomenon17 Planet26) 54.75)
	(= (slew_time Planet26 Phenomenon18) 29.36)
	(= (slew_time Phenomenon18 Planet26) 29.36)
	(= (slew_time Planet26 Planet19) 19.49)
	(= (slew_time Planet19 Planet26) 19.49)
	(= (slew_time Planet26 Phenomenon20) 20.61)
	(= (slew_time Phenomenon20 Planet26) 20.61)
	(= (slew_time Planet26 Star21) 43.37)
	(= (slew_time Star21 Planet26) 43.37)
	(= (slew_time Planet26 Planet22) 74.11)
	(= (slew_time Planet22 Planet26) 74.11)
	(= (slew_time Planet26 Planet23) 20.36)
	(= (slew_time Planet23 Planet26) 20.36)
	(= (slew_time Planet26 Planet24) 8.084)
	(= (slew_time Planet24 Planet26) 8.084)
	(= (slew_time Planet26 Phenomenon25) 37.46)
	(= (slew_time Phenomenon25 Planet26) 37.46)
	(= (slew_time Planet27 Star0) 26.85)
	(= (slew_time Star0 Planet27) 26.85)
	(= (slew_time Planet27 GroundStation1) 55.3)
	(= (slew_time GroundStation1 Planet27) 55.3)
	(= (slew_time Planet27 GroundStation2) 21.96)
	(= (slew_time GroundStation2 Planet27) 21.96)
	(= (slew_time Planet27 Phenomenon3) 6.459)
	(= (slew_time Phenomenon3 Planet27) 6.459)
	(= (slew_time Planet27 Phenomenon4) 13.57)
	(= (slew_time Phenomenon4 Planet27) 13.57)
	(= (slew_time Planet27 Star5) 87.13)
	(= (slew_time Star5 Planet27) 87.13)
	(= (slew_time Planet27 Phenomenon6) 48.47)
	(= (slew_time Phenomenon6 Planet27) 48.47)
	(= (slew_time Planet27 Planet7) 9.678)
	(= (slew_time Planet7 Planet27) 9.678)
	(= (slew_time Planet27 Planet8) 52.77)
	(= (slew_time Planet8 Planet27) 52.77)
	(= (slew_time Planet27 Star9) 24.05)
	(= (slew_time Star9 Planet27) 24.05)
	(= (slew_time Planet27 Star10) 21.1)
	(= (slew_time Star10 Planet27) 21.1)
	(= (slew_time Planet27 Planet11) 7.377)
	(= (slew_time Planet11 Planet27) 7.377)
	(= (slew_time Planet27 Phenomenon12) 45.85)
	(= (slew_time Phenomenon12 Planet27) 45.85)
	(= (slew_time Planet27 Planet13) 63.35)
	(= (slew_time Planet13 Planet27) 63.35)
	(= (slew_time Planet27 Planet14) 2.56)
	(= (slew_time Planet14 Planet27) 2.56)
	(= (slew_time Planet27 Star15) 36.51)
	(= (slew_time Star15 Planet27) 36.51)
	(= (slew_time Planet27 Phenomenon16) 20.52)
	(= (slew_time Phenomenon16 Planet27) 20.52)
	(= (slew_time Planet27 Phenomenon17) 24.01)
	(= (slew_time Phenomenon17 Planet27) 24.01)
	(= (slew_time Planet27 Phenomenon18) 34.74)
	(= (slew_time Phenomenon18 Planet27) 34.74)
	(= (slew_time Planet27 Planet19) 8.052)
	(= (slew_time Planet19 Planet27) 8.052)
	(= (slew_time Planet27 Phenomenon20) 54.59)
	(= (slew_time Phenomenon20 Planet27) 54.59)
	(= (slew_time Planet27 Star21) 14.62)
	(= (slew_time Star21 Planet27) 14.62)
	(= (slew_time Planet27 Planet22) 83.48)
	(= (slew_time Planet22 Planet27) 83.48)
	(= (slew_time Planet27 Planet23) 50.52)
	(= (slew_time Planet23 Planet27) 50.52)
	(= (slew_time Planet27 Planet24) 4.895)
	(= (slew_time Planet24 Planet27) 4.895)
	(= (slew_time Planet27 Phenomenon25) 6.167)
	(= (slew_time Phenomenon25 Planet27) 6.167)
	(= (slew_time Planet27 Planet26) 8.993)
	(= (slew_time Planet26 Planet27) 8.993)
	(= (slew_time Phenomenon28 Star0) 33.59)
	(= (slew_time Star0 Phenomenon28) 33.59)
	(= (slew_time Phenomenon28 GroundStation1) 28.24)
	(= (slew_time GroundStation1 Phenomenon28) 28.24)
	(= (slew_time Phenomenon28 GroundStation2) 10.02)
	(= (slew_time GroundStation2 Phenomenon28) 10.02)
	(= (slew_time Phenomenon28 Phenomenon3) 39.86)
	(= (slew_time Phenomenon3 Phenomenon28) 39.86)
	(= (slew_time Phenomenon28 Phenomenon4) 37.73)
	(= (slew_time Phenomenon4 Phenomenon28) 37.73)
	(= (slew_time Phenomenon28 Star5) 27.02)
	(= (slew_time Star5 Phenomenon28) 27.02)
	(= (slew_time Phenomenon28 Phenomenon6) 23.06)
	(= (slew_time Phenomenon6 Phenomenon28) 23.06)
	(= (slew_time Phenomenon28 Planet7) 50.57)
	(= (slew_time Planet7 Phenomenon28) 50.57)
	(= (slew_time Phenomenon28 Planet8) 16.35)
	(= (slew_time Planet8 Phenomenon28) 16.35)
	(= (slew_time Phenomenon28 Star9) 57.54)
	(= (slew_time Star9 Phenomenon28) 57.54)
	(= (slew_time Phenomenon28 Star10) 7.007)
	(= (slew_time Star10 Phenomenon28) 7.007)
	(= (slew_time Phenomenon28 Planet11) 32.79)
	(= (slew_time Planet11 Phenomenon28) 32.79)
	(= (slew_time Phenomenon28 Phenomenon12) 51.03)
	(= (slew_time Phenomenon12 Phenomenon28) 51.03)
	(= (slew_time Phenomenon28 Planet13) 14.27)
	(= (slew_time Planet13 Phenomenon28) 14.27)
	(= (slew_time Phenomenon28 Planet14) 19.12)
	(= (slew_time Planet14 Phenomenon28) 19.12)
	(= (slew_time Phenomenon28 Star15) 66.88)
	(= (slew_time Star15 Phenomenon28) 66.88)
	(= (slew_time Phenomenon28 Phenomenon16) 10.58)
	(= (slew_time Phenomenon16 Phenomenon28) 10.58)
	(= (slew_time Phenomenon28 Phenomenon17) 21.9)
	(= (slew_time Phenomenon17 Phenomenon28) 21.9)
	(= (slew_time Phenomenon28 Phenomenon18) 75.2)
	(= (slew_time Phenomenon18 Phenomenon28) 75.2)
	(= (slew_time Phenomenon28 Planet19) 48.17)
	(= (slew_time Planet19 Phenomenon28) 48.17)
	(= (slew_time Phenomenon28 Phenomenon20) 53.31)
	(= (slew_time Phenomenon20 Phenomenon28) 53.31)
	(= (slew_time Phenomenon28 Star21) 4.553)
	(= (slew_time Star21 Phenomenon28) 4.553)
	(= (slew_time Phenomenon28 Planet22) 11.98)
	(= (slew_time Planet22 Phenomenon28) 11.98)
	(= (slew_time Phenomenon28 Planet23) 17.1)
	(= (slew_time Planet23 Phenomenon28) 17.1)
	(= (slew_time Phenomenon28 Planet24) 58.05)
	(= (slew_time Planet24 Phenomenon28) 58.05)
	(= (slew_time Phenomenon28 Phenomenon25) 53.85)
	(= (slew_time Phenomenon25 Phenomenon28) 53.85)
	(= (slew_time Phenomenon28 Planet26) 23.98)
	(= (slew_time Planet26 Phenomenon28) 23.98)
	(= (slew_time Phenomenon28 Planet27) 41.48)
	(= (slew_time Planet27 Phenomenon28) 41.48)
	(= (slew_time Phenomenon29 Star0) 9.089)
	(= (slew_time Star0 Phenomenon29) 9.089)
	(= (slew_time Phenomenon29 GroundStation1) 6.965)
	(= (slew_time GroundStation1 Phenomenon29) 6.965)
	(= (slew_time Phenomenon29 GroundStation2) 70.09)
	(= (slew_time GroundStation2 Phenomenon29) 70.09)
	(= (slew_time Phenomenon29 Phenomenon3) 40.31)
	(= (slew_time Phenomenon3 Phenomenon29) 40.31)
	(= (slew_time Phenomenon29 Phenomenon4) 22.04)
	(= (slew_time Phenomenon4 Phenomenon29) 22.04)
	(= (slew_time Phenomenon29 Star5) 12.11)
	(= (slew_time Star5 Phenomenon29) 12.11)
	(= (slew_time Phenomenon29 Phenomenon6) 31.14)
	(= (slew_time Phenomenon6 Phenomenon29) 31.14)
	(= (slew_time Phenomenon29 Planet7) 35.19)
	(= (slew_time Planet7 Phenomenon29) 35.19)
	(= (slew_time Phenomenon29 Planet8) 9.185)
	(= (slew_time Planet8 Phenomenon29) 9.185)
	(= (slew_time Phenomenon29 Star9) 19.39)
	(= (slew_time Star9 Phenomenon29) 19.39)
	(= (slew_time Phenomenon29 Star10) 0.3854)
	(= (slew_time Star10 Phenomenon29) 0.3854)
	(= (slew_time Phenomenon29 Planet11) 14.39)
	(= (slew_time Planet11 Phenomenon29) 14.39)
	(= (slew_time Phenomenon29 Phenomenon12) 44.77)
	(= (slew_time Phenomenon12 Phenomenon29) 44.77)
	(= (slew_time Phenomenon29 Planet13) 31.53)
	(= (slew_time Planet13 Phenomenon29) 31.53)
	(= (slew_time Phenomenon29 Planet14) 21.69)
	(= (slew_time Planet14 Phenomenon29) 21.69)
	(= (slew_time Phenomenon29 Star15) 78.08)
	(= (slew_time Star15 Phenomenon29) 78.08)
	(= (slew_time Phenomenon29 Phenomenon16) 16.44)
	(= (slew_time Phenomenon16 Phenomenon29) 16.44)
	(= (slew_time Phenomenon29 Phenomenon17) 24.11)
	(= (slew_time Phenomenon17 Phenomenon29) 24.11)
	(= (slew_time Phenomenon29 Phenomenon18) 53.77)
	(= (slew_time Phenomenon18 Phenomenon29) 53.77)
	(= (slew_time Phenomenon29 Planet19) 5.909)
	(= (slew_time Planet19 Phenomenon29) 5.909)
	(= (slew_time Phenomenon29 Phenomenon20) 64.64)
	(= (slew_time Phenomenon20 Phenomenon29) 64.64)
	(= (slew_time Phenomenon29 Star21) 71.9)
	(= (slew_time Star21 Phenomenon29) 71.9)
	(= (slew_time Phenomenon29 Planet22) 26.56)
	(= (slew_time Planet22 Phenomenon29) 26.56)
	(= (slew_time Phenomenon29 Planet23) 93.26)
	(= (slew_time Planet23 Phenomenon29) 93.26)
	(= (slew_time Phenomenon29 Planet24) 61.08)
	(= (slew_time Planet24 Phenomenon29) 61.08)
	(= (slew_time Phenomenon29 Phenomenon25) 26.75)
	(= (slew_time Phenomenon25 Phenomenon29) 26.75)
	(= (slew_time Phenomenon29 Planet26) 24.45)
	(= (slew_time Planet26 Phenomenon29) 24.45)
	(= (slew_time Phenomenon29 Planet27) 13.17)
	(= (slew_time Planet27 Phenomenon29) 13.17)
	(= (slew_time Phenomenon29 Phenomenon28) 53.72)
	(= (slew_time Phenomenon28 Phenomenon29) 53.72)
	(= (slew_time Star30 Star0) 12.12)
	(= (slew_time Star0 Star30) 12.12)
	(= (slew_time Star30 GroundStation1) 10.43)
	(= (slew_time GroundStation1 Star30) 10.43)
	(= (slew_time Star30 GroundStation2) 36.7)
	(= (slew_time GroundStation2 Star30) 36.7)
	(= (slew_time Star30 Phenomenon3) 60.56)
	(= (slew_time Phenomenon3 Star30) 60.56)
	(= (slew_time Star30 Phenomenon4) 6.527)
	(= (slew_time Phenomenon4 Star30) 6.527)
	(= (slew_time Star30 Star5) 42.94)
	(= (slew_time Star5 Star30) 42.94)
	(= (slew_time Star30 Phenomenon6) 0.7979)
	(= (slew_time Phenomenon6 Star30) 0.7979)
	(= (slew_time Star30 Planet7) 4.311)
	(= (slew_time Planet7 Star30) 4.311)
	(= (slew_time Star30 Planet8) 47.68)
	(= (slew_time Planet8 Star30) 47.68)
	(= (slew_time Star30 Star9) 48.63)
	(= (slew_time Star9 Star30) 48.63)
	(= (slew_time Star30 Star10) 52.6)
	(= (slew_time Star10 Star30) 52.6)
	(= (slew_time Star30 Planet11) 18.39)
	(= (slew_time Planet11 Star30) 18.39)
	(= (slew_time Star30 Phenomenon12) 3.741)
	(= (slew_time Phenomenon12 Star30) 3.741)
	(= (slew_time Star30 Planet13) 41.66)
	(= (slew_time Planet13 Star30) 41.66)
	(= (slew_time Star30 Planet14) 18.2)
	(= (slew_time Planet14 Star30) 18.2)
	(= (slew_time Star30 Star15) 9.692)
	(= (slew_time Star15 Star30) 9.692)
	(= (slew_time Star30 Phenomenon16) 10.23)
	(= (slew_time Phenomenon16 Star30) 10.23)
	(= (slew_time Star30 Phenomenon17) 10.16)
	(= (slew_time Phenomenon17 Star30) 10.16)
	(= (slew_time Star30 Phenomenon18) 45.25)
	(= (slew_time Phenomenon18 Star30) 45.25)
	(= (slew_time Star30 Planet19) 43.05)
	(= (slew_time Planet19 Star30) 43.05)
	(= (slew_time Star30 Phenomenon20) 44.46)
	(= (slew_time Phenomenon20 Star30) 44.46)
	(= (slew_time Star30 Star21) 4.512)
	(= (slew_time Star21 Star30) 4.512)
	(= (slew_time Star30 Planet22) 11.56)
	(= (slew_time Planet22 Star30) 11.56)
	(= (slew_time Star30 Planet23) 27.82)
	(= (slew_time Planet23 Star30) 27.82)
	(= (slew_time Star30 Planet24) 25.4)
	(= (slew_time Planet24 Star30) 25.4)
	(= (slew_time Star30 Phenomenon25) 71.45)
	(= (slew_time Phenomenon25 Star30) 71.45)
	(= (slew_time Star30 Planet26) 45.4)
	(= (slew_time Planet26 Star30) 45.4)
	(= (slew_time Star30 Planet27) 35.1)
	(= (slew_time Planet27 Star30) 35.1)
	(= (slew_time Star30 Phenomenon28) 59.25)
	(= (slew_time Phenomenon28 Star30) 59.25)
	(= (slew_time Star30 Phenomenon29) 12.84)
	(= (slew_time Phenomenon29 Star30) 12.84)
	(= (slew_time Planet31 Star0) 71.72)
	(= (slew_time Star0 Planet31) 71.72)
	(= (slew_time Planet31 GroundStation1) 8.923)
	(= (slew_time GroundStation1 Planet31) 8.923)
	(= (slew_time Planet31 GroundStation2) 1.162)
	(= (slew_time GroundStation2 Planet31) 1.162)
	(= (slew_time Planet31 Phenomenon3) 62.49)
	(= (slew_time Phenomenon3 Planet31) 62.49)
	(= (slew_time Planet31 Phenomenon4) 11.37)
	(= (slew_time Phenomenon4 Planet31) 11.37)
	(= (slew_time Planet31 Star5) 18.59)
	(= (slew_time Star5 Planet31) 18.59)
	(= (slew_time Planet31 Phenomenon6) 20.93)
	(= (slew_time Phenomenon6 Planet31) 20.93)
	(= (slew_time Planet31 Planet7) 18.94)
	(= (slew_time Planet7 Planet31) 18.94)
	(= (slew_time Planet31 Planet8) 3.261)
	(= (slew_time Planet8 Planet31) 3.261)
	(= (slew_time Planet31 Star9) 16.77)
	(= (slew_time Star9 Planet31) 16.77)
	(= (slew_time Planet31 Star10) 31.24)
	(= (slew_time Star10 Planet31) 31.24)
	(= (slew_time Planet31 Planet11) 32.08)
	(= (slew_time Planet11 Planet31) 32.08)
	(= (slew_time Planet31 Phenomenon12) 4.267)
	(= (slew_time Phenomenon12 Planet31) 4.267)
	(= (slew_time Planet31 Planet13) 7.783)
	(= (slew_time Planet13 Planet31) 7.783)
	(= (slew_time Planet31 Planet14) 54.11)
	(= (slew_time Planet14 Planet31) 54.11)
	(= (slew_time Planet31 Star15) 73.21)
	(= (slew_time Star15 Planet31) 73.21)
	(= (slew_time Planet31 Phenomenon16) 29.21)
	(= (slew_time Phenomenon16 Planet31) 29.21)
	(= (slew_time Planet31 Phenomenon17) 50.61)
	(= (slew_time Phenomenon17 Planet31) 50.61)
	(= (slew_time Planet31 Phenomenon18) 5.065)
	(= (slew_time Phenomenon18 Planet31) 5.065)
	(= (slew_time Planet31 Planet19) 18.37)
	(= (slew_time Planet19 Planet31) 18.37)
	(= (slew_time Planet31 Phenomenon20) 65.54)
	(= (slew_time Phenomenon20 Planet31) 65.54)
	(= (slew_time Planet31 Star21) 36.07)
	(= (slew_time Star21 Planet31) 36.07)
	(= (slew_time Planet31 Planet22) 20.89)
	(= (slew_time Planet22 Planet31) 20.89)
	(= (slew_time Planet31 Planet23) 3.509)
	(= (slew_time Planet23 Planet31) 3.509)
	(= (slew_time Planet31 Planet24) 54.86)
	(= (slew_time Planet24 Planet31) 54.86)
	(= (slew_time Planet31 Phenomenon25) 30.93)
	(= (slew_time Phenomenon25 Planet31) 30.93)
	(= (slew_time Planet31 Planet26) 46.73)
	(= (slew_time Planet26 Planet31) 46.73)
	(= (slew_time Planet31 Planet27) 5.208)
	(= (slew_time Planet27 Planet31) 5.208)
	(= (slew_time Planet31 Phenomenon28) 30.07)
	(= (slew_time Phenomenon28 Planet31) 30.07)
	(= (slew_time Planet31 Phenomenon29) 63.7)
	(= (slew_time Phenomenon29 Planet31) 63.7)
	(= (slew_time Planet31 Star30) 27.08)
	(= (slew_time Star30 Planet31) 27.08)
	(= (slew_time Phenomenon32 Star0) 11.79)
	(= (slew_time Star0 Phenomenon32) 11.79)
	(= (slew_time Phenomenon32 GroundStation1) 33.23)
	(= (slew_time GroundStation1 Phenomenon32) 33.23)
	(= (slew_time Phenomenon32 GroundStation2) 4.478)
	(= (slew_time GroundStation2 Phenomenon32) 4.478)
	(= (slew_time Phenomenon32 Phenomenon3) 4.284)
	(= (slew_time Phenomenon3 Phenomenon32) 4.284)
	(= (slew_time Phenomenon32 Phenomenon4) 25.66)
	(= (slew_time Phenomenon4 Phenomenon32) 25.66)
	(= (slew_time Phenomenon32 Star5) 57.79)
	(= (slew_time Star5 Phenomenon32) 57.79)
	(= (slew_time Phenomenon32 Phenomenon6) 11.06)
	(= (slew_time Phenomenon6 Phenomenon32) 11.06)
	(= (slew_time Phenomenon32 Planet7) 40.87)
	(= (slew_time Planet7 Phenomenon32) 40.87)
	(= (slew_time Phenomenon32 Planet8) 76.89)
	(= (slew_time Planet8 Phenomenon32) 76.89)
	(= (slew_time Phenomenon32 Star9) 20.16)
	(= (slew_time Star9 Phenomenon32) 20.16)
	(= (slew_time Phenomenon32 Star10) 34.71)
	(= (slew_time Star10 Phenomenon32) 34.71)
	(= (slew_time Phenomenon32 Planet11) 83.03)
	(= (slew_time Planet11 Phenomenon32) 83.03)
	(= (slew_time Phenomenon32 Phenomenon12) 10.29)
	(= (slew_time Phenomenon12 Phenomenon32) 10.29)
	(= (slew_time Phenomenon32 Planet13) 21.25)
	(= (slew_time Planet13 Phenomenon32) 21.25)
	(= (slew_time Phenomenon32 Planet14) 15.32)
	(= (slew_time Planet14 Phenomenon32) 15.32)
	(= (slew_time Phenomenon32 Star15) 33.78)
	(= (slew_time Star15 Phenomenon32) 33.78)
	(= (slew_time Phenomenon32 Phenomenon16) 14.1)
	(= (slew_time Phenomenon16 Phenomenon32) 14.1)
	(= (slew_time Phenomenon32 Phenomenon17) 1.941)
	(= (slew_time Phenomenon17 Phenomenon32) 1.941)
	(= (slew_time Phenomenon32 Phenomenon18) 44.85)
	(= (slew_time Phenomenon18 Phenomenon32) 44.85)
	(= (slew_time Phenomenon32 Planet19) 22.27)
	(= (slew_time Planet19 Phenomenon32) 22.27)
	(= (slew_time Phenomenon32 Phenomenon20) 17.52)
	(= (slew_time Phenomenon20 Phenomenon32) 17.52)
	(= (slew_time Phenomenon32 Star21) 6.785)
	(= (slew_time Star21 Phenomenon32) 6.785)
	(= (slew_time Phenomenon32 Planet22) 48.26)
	(= (slew_time Planet22 Phenomenon32) 48.26)
	(= (slew_time Phenomenon32 Planet23) 3.448)
	(= (slew_time Planet23 Phenomenon32) 3.448)
	(= (slew_time Phenomenon32 Planet24) 53.93)
	(= (slew_time Planet24 Phenomenon32) 53.93)
	(= (slew_time Phenomenon32 Phenomenon25) 18.52)
	(= (slew_time Phenomenon25 Phenomenon32) 18.52)
	(= (slew_time Phenomenon32 Planet26) 12.84)
	(= (slew_time Planet26 Phenomenon32) 12.84)
	(= (slew_time Phenomenon32 Planet27) 21.43)
	(= (slew_time Planet27 Phenomenon32) 21.43)
	(= (slew_time Phenomenon32 Phenomenon28) 50.33)
	(= (slew_time Phenomenon28 Phenomenon32) 50.33)
	(= (slew_time Phenomenon32 Phenomenon29) 63.55)
	(= (slew_time Phenomenon29 Phenomenon32) 63.55)
	(= (slew_time Phenomenon32 Star30) 11.96)
	(= (slew_time Star30 Phenomenon32) 11.96)
	(= (slew_time Phenomenon32 Planet31) 7.886)
	(= (slew_time Planet31 Phenomenon32) 7.886)
	(= (slew_time Star33 Star0) 9.236)
	(= (slew_time Star0 Star33) 9.236)
	(= (slew_time Star33 GroundStation1) 35.15)
	(= (slew_time GroundStation1 Star33) 35.15)
	(= (slew_time Star33 GroundStation2) 10.26)
	(= (slew_time GroundStation2 Star33) 10.26)
	(= (slew_time Star33 Phenomenon3) 12.25)
	(= (slew_time Phenomenon3 Star33) 12.25)
	(= (slew_time Star33 Phenomenon4) 28.88)
	(= (slew_time Phenomenon4 Star33) 28.88)
	(= (slew_time Star33 Star5) 36.89)
	(= (slew_time Star5 Star33) 36.89)
	(= (slew_time Star33 Phenomenon6) 41.8)
	(= (slew_time Phenomenon6 Star33) 41.8)
	(= (slew_time Star33 Planet7) 11.78)
	(= (slew_time Planet7 Star33) 11.78)
	(= (slew_time Star33 Planet8) 22.7)
	(= (slew_time Planet8 Star33) 22.7)
	(= (slew_time Star33 Star9) 80.81)
	(= (slew_time Star9 Star33) 80.81)
	(= (slew_time Star33 Star10) 42.49)
	(= (slew_time Star10 Star33) 42.49)
	(= (slew_time Star33 Planet11) 34.41)
	(= (slew_time Planet11 Star33) 34.41)
	(= (slew_time Star33 Phenomenon12) 19.15)
	(= (slew_time Phenomenon12 Star33) 19.15)
	(= (slew_time Star33 Planet13) 19.24)
	(= (slew_time Planet13 Star33) 19.24)
	(= (slew_time Star33 Planet14) 20.18)
	(= (slew_time Planet14 Star33) 20.18)
	(= (slew_time Star33 Star15) 18.4)
	(= (slew_time Star15 Star33) 18.4)
	(= (slew_time Star33 Phenomenon16) 84.82)
	(= (slew_time Phenomenon16 Star33) 84.82)
	(= (slew_time Star33 Phenomenon17) 45.11)
	(= (slew_time Phenomenon17 Star33) 45.11)
	(= (slew_time Star33 Phenomenon18) 36.37)
	(= (slew_time Phenomenon18 Star33) 36.37)
	(= (slew_time Star33 Planet19) 23.29)
	(= (slew_time Planet19 Star33) 23.29)
	(= (slew_time Star33 Phenomenon20) 86.33)
	(= (slew_time Phenomenon20 Star33) 86.33)
	(= (slew_time Star33 Star21) 25.1)
	(= (slew_time Star21 Star33) 25.1)
	(= (slew_time Star33 Planet22) 32.56)
	(= (slew_time Planet22 Star33) 32.56)
	(= (slew_time Star33 Planet23) 27.51)
	(= (slew_time Planet23 Star33) 27.51)
	(= (slew_time Star33 Planet24) 91.34)
	(= (slew_time Planet24 Star33) 91.34)
	(= (slew_time Star33 Phenomenon25) 12.97)
	(= (slew_time Phenomenon25 Star33) 12.97)
	(= (slew_time Star33 Planet26) 63.23)
	(= (slew_time Planet26 Star33) 63.23)
	(= (slew_time Star33 Planet27) 50.26)
	(= (slew_time Planet27 Star33) 50.26)
	(= (slew_time Star33 Phenomenon28) 49.9)
	(= (slew_time Phenomenon28 Star33) 49.9)
	(= (slew_time Star33 Phenomenon29) 65.89)
	(= (slew_time Phenomenon29 Star33) 65.89)
	(= (slew_time Star33 Star30) 46.17)
	(= (slew_time Star30 Star33) 46.17)
	(= (slew_time Star33 Planet31) 0.5098)
	(= (slew_time Planet31 Star33) 0.5098)
	(= (slew_time Star33 Phenomenon32) 6.073)
	(= (slew_time Phenomenon32 Star33) 6.073)
	(= (slew_time Planet34 Star0) 17.42)
	(= (slew_time Star0 Planet34) 17.42)
	(= (slew_time Planet34 GroundStation1) 82.31)
	(= (slew_time GroundStation1 Planet34) 82.31)
	(= (slew_time Planet34 GroundStation2) 11.08)
	(= (slew_time GroundStation2 Planet34) 11.08)
	(= (slew_time Planet34 Phenomenon3) 45.64)
	(= (slew_time Phenomenon3 Planet34) 45.64)
	(= (slew_time Planet34 Phenomenon4) 49.46)
	(= (slew_time Phenomenon4 Planet34) 49.46)
	(= (slew_time Planet34 Star5) 21.01)
	(= (slew_time Star5 Planet34) 21.01)
	(= (slew_time Planet34 Phenomenon6) 70.27)
	(= (slew_time Phenomenon6 Planet34) 70.27)
	(= (slew_time Planet34 Planet7) 20.81)
	(= (slew_time Planet7 Planet34) 20.81)
	(= (slew_time Planet34 Planet8) 0.7982)
	(= (slew_time Planet8 Planet34) 0.7982)
	(= (slew_time Planet34 Star9) 14.58)
	(= (slew_time Star9 Planet34) 14.58)
	(= (slew_time Planet34 Star10) 9.624)
	(= (slew_time Star10 Planet34) 9.624)
	(= (slew_time Planet34 Planet11) 42.21)
	(= (slew_time Planet11 Planet34) 42.21)
	(= (slew_time Planet34 Phenomenon12) 86.96)
	(= (slew_time Phenomenon12 Planet34) 86.96)
	(= (slew_time Planet34 Planet13) 63.06)
	(= (slew_time Planet13 Planet34) 63.06)
	(= (slew_time Planet34 Planet14) 7.919)
	(= (slew_time Planet14 Planet34) 7.919)
	(= (slew_time Planet34 Star15) 47.64)
	(= (slew_time Star15 Planet34) 47.64)
	(= (slew_time Planet34 Phenomenon16) 41.67)
	(= (slew_time Phenomenon16 Planet34) 41.67)
	(= (slew_time Planet34 Phenomenon17) 63.8)
	(= (slew_time Phenomenon17 Planet34) 63.8)
	(= (slew_time Planet34 Phenomenon18) 27.76)
	(= (slew_time Phenomenon18 Planet34) 27.76)
	(= (slew_time Planet34 Planet19) 27.2)
	(= (slew_time Planet19 Planet34) 27.2)
	(= (slew_time Planet34 Phenomenon20) 11.1)
	(= (slew_time Phenomenon20 Planet34) 11.1)
	(= (slew_time Planet34 Star21) 48.13)
	(= (slew_time Star21 Planet34) 48.13)
	(= (slew_time Planet34 Planet22) 86.69)
	(= (slew_time Planet22 Planet34) 86.69)
	(= (slew_time Planet34 Planet23) 20.62)
	(= (slew_time Planet23 Planet34) 20.62)
	(= (slew_time Planet34 Planet24) 59.82)
	(= (slew_time Planet24 Planet34) 59.82)
	(= (slew_time Planet34 Phenomenon25) 64.23)
	(= (slew_time Phenomenon25 Planet34) 64.23)
	(= (slew_time Planet34 Planet26) 52.81)
	(= (slew_time Planet26 Planet34) 52.81)
	(= (slew_time Planet34 Planet27) 14.83)
	(= (slew_time Planet27 Planet34) 14.83)
	(= (slew_time Planet34 Phenomenon28) 77.75)
	(= (slew_time Phenomenon28 Planet34) 77.75)
	(= (slew_time Planet34 Phenomenon29) 31.53)
	(= (slew_time Phenomenon29 Planet34) 31.53)
	(= (slew_time Planet34 Star30) 47.36)
	(= (slew_time Star30 Planet34) 47.36)
	(= (slew_time Planet34 Planet31) 20.67)
	(= (slew_time Planet31 Planet34) 20.67)
	(= (slew_time Planet34 Phenomenon32) 44.5)
	(= (slew_time Phenomenon32 Planet34) 44.5)
	(= (slew_time Planet34 Star33) 80.39)
	(= (slew_time Star33 Planet34) 80.39)
	(= (slew_time Phenomenon35 Star0) 30.88)
	(= (slew_time Star0 Phenomenon35) 30.88)
	(= (slew_time Phenomenon35 GroundStation1) 39.48)
	(= (slew_time GroundStation1 Phenomenon35) 39.48)
	(= (slew_time Phenomenon35 GroundStation2) 73.63)
	(= (slew_time GroundStation2 Phenomenon35) 73.63)
	(= (slew_time Phenomenon35 Phenomenon3) 54.13)
	(= (slew_time Phenomenon3 Phenomenon35) 54.13)
	(= (slew_time Phenomenon35 Phenomenon4) 19.37)
	(= (slew_time Phenomenon4 Phenomenon35) 19.37)
	(= (slew_time Phenomenon35 Star5) 38.26)
	(= (slew_time Star5 Phenomenon35) 38.26)
	(= (slew_time Phenomenon35 Phenomenon6) 9.864)
	(= (slew_time Phenomenon6 Phenomenon35) 9.864)
	(= (slew_time Phenomenon35 Planet7) 46.31)
	(= (slew_time Planet7 Phenomenon35) 46.31)
	(= (slew_time Phenomenon35 Planet8) 68.79)
	(= (slew_time Planet8 Phenomenon35) 68.79)
	(= (slew_time Phenomenon35 Star9) 59.02)
	(= (slew_time Star9 Phenomenon35) 59.02)
	(= (slew_time Phenomenon35 Star10) 69.99)
	(= (slew_time Star10 Phenomenon35) 69.99)
	(= (slew_time Phenomenon35 Planet11) 60.15)
	(= (slew_time Planet11 Phenomenon35) 60.15)
	(= (slew_time Phenomenon35 Phenomenon12) 45.28)
	(= (slew_time Phenomenon12 Phenomenon35) 45.28)
	(= (slew_time Phenomenon35 Planet13) 8.258)
	(= (slew_time Planet13 Phenomenon35) 8.258)
	(= (slew_time Phenomenon35 Planet14) 23.56)
	(= (slew_time Planet14 Phenomenon35) 23.56)
	(= (slew_time Phenomenon35 Star15) 56.29)
	(= (slew_time Star15 Phenomenon35) 56.29)
	(= (slew_time Phenomenon35 Phenomenon16) 44.1)
	(= (slew_time Phenomenon16 Phenomenon35) 44.1)
	(= (slew_time Phenomenon35 Phenomenon17) 25.68)
	(= (slew_time Phenomenon17 Phenomenon35) 25.68)
	(= (slew_time Phenomenon35 Phenomenon18) 29.22)
	(= (slew_time Phenomenon18 Phenomenon35) 29.22)
	(= (slew_time Phenomenon35 Planet19) 58.83)
	(= (slew_time Planet19 Phenomenon35) 58.83)
	(= (slew_time Phenomenon35 Phenomenon20) 11.93)
	(= (slew_time Phenomenon20 Phenomenon35) 11.93)
	(= (slew_time Phenomenon35 Star21) 24.64)
	(= (slew_time Star21 Phenomenon35) 24.64)
	(= (slew_time Phenomenon35 Planet22) 4.421)
	(= (slew_time Planet22 Phenomenon35) 4.421)
	(= (slew_time Phenomenon35 Planet23) 1.488)
	(= (slew_time Planet23 Phenomenon35) 1.488)
	(= (slew_time Phenomenon35 Planet24) 96.44)
	(= (slew_time Planet24 Phenomenon35) 96.44)
	(= (slew_time Phenomenon35 Phenomenon25) 44.13)
	(= (slew_time Phenomenon25 Phenomenon35) 44.13)
	(= (slew_time Phenomenon35 Planet26) 37.34)
	(= (slew_time Planet26 Phenomenon35) 37.34)
	(= (slew_time Phenomenon35 Planet27) 8.684)
	(= (slew_time Planet27 Phenomenon35) 8.684)
	(= (slew_time Phenomenon35 Phenomenon28) 27.97)
	(= (slew_time Phenomenon28 Phenomenon35) 27.97)
	(= (slew_time Phenomenon35 Phenomenon29) 86.43)
	(= (slew_time Phenomenon29 Phenomenon35) 86.43)
	(= (slew_time Phenomenon35 Star30) 89.78)
	(= (slew_time Star30 Phenomenon35) 89.78)
	(= (slew_time Phenomenon35 Planet31) 11.72)
	(= (slew_time Planet31 Phenomenon35) 11.72)
	(= (slew_time Phenomenon35 Phenomenon32) 65.64)
	(= (slew_time Phenomenon32 Phenomenon35) 65.64)
	(= (slew_time Phenomenon35 Star33) 27.95)
	(= (slew_time Star33 Phenomenon35) 27.95)
	(= (slew_time Phenomenon35 Planet34) 17.22)
	(= (slew_time Planet34 Phenomenon35) 17.22)
	(= (slew_time Star36 Star0) 47.57)
	(= (slew_time Star0 Star36) 47.57)
	(= (slew_time Star36 GroundStation1) 3.256)
	(= (slew_time GroundStation1 Star36) 3.256)
	(= (slew_time Star36 GroundStation2) 3.274)
	(= (slew_time GroundStation2 Star36) 3.274)
	(= (slew_time Star36 Phenomenon3) 24.4)
	(= (slew_time Phenomenon3 Star36) 24.4)
	(= (slew_time Star36 Phenomenon4) 28.14)
	(= (slew_time Phenomenon4 Star36) 28.14)
	(= (slew_time Star36 Star5) 26.96)
	(= (slew_time Star5 Star36) 26.96)
	(= (slew_time Star36 Phenomenon6) 6.557)
	(= (slew_time Phenomenon6 Star36) 6.557)
	(= (slew_time Star36 Planet7) 37.94)
	(= (slew_time Planet7 Star36) 37.94)
	(= (slew_time Star36 Planet8) 56.91)
	(= (slew_time Planet8 Star36) 56.91)
	(= (slew_time Star36 Star9) 42.06)
	(= (slew_time Star9 Star36) 42.06)
	(= (slew_time Star36 Star10) 35.7)
	(= (slew_time Star10 Star36) 35.7)
	(= (slew_time Star36 Planet11) 2.295)
	(= (slew_time Planet11 Star36) 2.295)
	(= (slew_time Star36 Phenomenon12) 41.65)
	(= (slew_time Phenomenon12 Star36) 41.65)
	(= (slew_time Star36 Planet13) 29.84)
	(= (slew_time Planet13 Star36) 29.84)
	(= (slew_time Star36 Planet14) 77.79)
	(= (slew_time Planet14 Star36) 77.79)
	(= (slew_time Star36 Star15) 28.69)
	(= (slew_time Star15 Star36) 28.69)
	(= (slew_time Star36 Phenomenon16) 10.98)
	(= (slew_time Phenomenon16 Star36) 10.98)
	(= (slew_time Star36 Phenomenon17) 56.85)
	(= (slew_time Phenomenon17 Star36) 56.85)
	(= (slew_time Star36 Phenomenon18) 31.22)
	(= (slew_time Phenomenon18 Star36) 31.22)
	(= (slew_time Star36 Planet19) 8.715)
	(= (slew_time Planet19 Star36) 8.715)
	(= (slew_time Star36 Phenomenon20) 11.74)
	(= (slew_time Phenomenon20 Star36) 11.74)
	(= (slew_time Star36 Star21) 75.36)
	(= (slew_time Star21 Star36) 75.36)
	(= (slew_time Star36 Planet22) 50.4)
	(= (slew_time Planet22 Star36) 50.4)
	(= (slew_time Star36 Planet23) 5.282)
	(= (slew_time Planet23 Star36) 5.282)
	(= (slew_time Star36 Planet24) 54.82)
	(= (slew_time Planet24 Star36) 54.82)
	(= (slew_time Star36 Phenomenon25) 26.82)
	(= (slew_time Phenomenon25 Star36) 26.82)
	(= (slew_time Star36 Planet26) 73.71)
	(= (slew_time Planet26 Star36) 73.71)
	(= (slew_time Star36 Planet27) 3.371)
	(= (slew_time Planet27 Star36) 3.371)
	(= (slew_time Star36 Phenomenon28) 2.267)
	(= (slew_time Phenomenon28 Star36) 2.267)
	(= (slew_time Star36 Phenomenon29) 86.35)
	(= (slew_time Phenomenon29 Star36) 86.35)
	(= (slew_time Star36 Star30) 25.17)
	(= (slew_time Star30 Star36) 25.17)
	(= (slew_time Star36 Planet31) 94.26)
	(= (slew_time Planet31 Star36) 94.26)
	(= (slew_time Star36 Phenomenon32) 25.71)
	(= (slew_time Phenomenon32 Star36) 25.71)
	(= (slew_time Star36 Star33) 56.15)
	(= (slew_time Star33 Star36) 56.15)
	(= (slew_time Star36 Planet34) 32.35)
	(= (slew_time Planet34 Star36) 32.35)
	(= (slew_time Star36 Phenomenon35) 39.98)
	(= (slew_time Phenomenon35 Star36) 39.98)
	(= (slew_time Planet37 Star0) 82.01)
	(= (slew_time Star0 Planet37) 82.01)
	(= (slew_time Planet37 GroundStation1) 18.85)
	(= (slew_time GroundStation1 Planet37) 18.85)
	(= (slew_time Planet37 GroundStation2) 2.888)
	(= (slew_time GroundStation2 Planet37) 2.888)
	(= (slew_time Planet37 Phenomenon3) 2.24)
	(= (slew_time Phenomenon3 Planet37) 2.24)
	(= (slew_time Planet37 Phenomenon4) 50.23)
	(= (slew_time Phenomenon4 Planet37) 50.23)
	(= (slew_time Planet37 Star5) 4.592)
	(= (slew_time Star5 Planet37) 4.592)
	(= (slew_time Planet37 Phenomenon6) 10.29)
	(= (slew_time Phenomenon6 Planet37) 10.29)
	(= (slew_time Planet37 Planet7) 68.97)
	(= (slew_time Planet7 Planet37) 68.97)
	(= (slew_time Planet37 Planet8) 12.03)
	(= (slew_time Planet8 Planet37) 12.03)
	(= (slew_time Planet37 Star9) 30.3)
	(= (slew_time Star9 Planet37) 30.3)
	(= (slew_time Planet37 Star10) 47.57)
	(= (slew_time Star10 Planet37) 47.57)
	(= (slew_time Planet37 Planet11) 4.922)
	(= (slew_time Planet11 Planet37) 4.922)
	(= (slew_time Planet37 Phenomenon12) 56.59)
	(= (slew_time Phenomenon12 Planet37) 56.59)
	(= (slew_time Planet37 Planet13) 75.36)
	(= (slew_time Planet13 Planet37) 75.36)
	(= (slew_time Planet37 Planet14) 13.11)
	(= (slew_time Planet14 Planet37) 13.11)
	(= (slew_time Planet37 Star15) 33.33)
	(= (slew_time Star15 Planet37) 33.33)
	(= (slew_time Planet37 Phenomenon16) 53.78)
	(= (slew_time Phenomenon16 Planet37) 53.78)
	(= (slew_time Planet37 Phenomenon17) 70.03)
	(= (slew_time Phenomenon17 Planet37) 70.03)
	(= (slew_time Planet37 Phenomenon18) 0.1434)
	(= (slew_time Phenomenon18 Planet37) 0.1434)
	(= (slew_time Planet37 Planet19) 32.65)
	(= (slew_time Planet19 Planet37) 32.65)
	(= (slew_time Planet37 Phenomenon20) 67.66)
	(= (slew_time Phenomenon20 Planet37) 67.66)
	(= (slew_time Planet37 Star21) 25.08)
	(= (slew_time Star21 Planet37) 25.08)
	(= (slew_time Planet37 Planet22) 34.19)
	(= (slew_time Planet22 Planet37) 34.19)
	(= (slew_time Planet37 Planet23) 52.09)
	(= (slew_time Planet23 Planet37) 52.09)
	(= (slew_time Planet37 Planet24) 14.14)
	(= (slew_time Planet24 Planet37) 14.14)
	(= (slew_time Planet37 Phenomenon25) 32.94)
	(= (slew_time Phenomenon25 Planet37) 32.94)
	(= (slew_time Planet37 Planet26) 39.88)
	(= (slew_time Planet26 Planet37) 39.88)
	(= (slew_time Planet37 Planet27) 60.38)
	(= (slew_time Planet27 Planet37) 60.38)
	(= (slew_time Planet37 Phenomenon28) 12.29)
	(= (slew_time Phenomenon28 Planet37) 12.29)
	(= (slew_time Planet37 Phenomenon29) 37.77)
	(= (slew_time Phenomenon29 Planet37) 37.77)
	(= (slew_time Planet37 Star30) 2.057)
	(= (slew_time Star30 Planet37) 2.057)
	(= (slew_time Planet37 Planet31) 43.5)
	(= (slew_time Planet31 Planet37) 43.5)
	(= (slew_time Planet37 Phenomenon32) 76.72)
	(= (slew_time Phenomenon32 Planet37) 76.72)
	(= (slew_time Planet37 Star33) 2.613)
	(= (slew_time Star33 Planet37) 2.613)
	(= (slew_time Planet37 Planet34) 18.67)
	(= (slew_time Planet34 Planet37) 18.67)
	(= (slew_time Planet37 Phenomenon35) 26.2)
	(= (slew_time Phenomenon35 Planet37) 26.2)
	(= (slew_time Planet37 Star36) 36.68)
	(= (slew_time Star36 Planet37) 36.68)
	(= (slew_time Planet38 Star0) 60.1)
	(= (slew_time Star0 Planet38) 60.1)
	(= (slew_time Planet38 GroundStation1) 58.88)
	(= (slew_time GroundStation1 Planet38) 58.88)
	(= (slew_time Planet38 GroundStation2) 13.27)
	(= (slew_time GroundStation2 Planet38) 13.27)
	(= (slew_time Planet38 Phenomenon3) 44.37)
	(= (slew_time Phenomenon3 Planet38) 44.37)
	(= (slew_time Planet38 Phenomenon4) 24.64)
	(= (slew_time Phenomenon4 Planet38) 24.64)
	(= (slew_time Planet38 Star5) 26.19)
	(= (slew_time Star5 Planet38) 26.19)
	(= (slew_time Planet38 Phenomenon6) 73.72)
	(= (slew_time Phenomenon6 Planet38) 73.72)
	(= (slew_time Planet38 Planet7) 30.26)
	(= (slew_time Planet7 Planet38) 30.26)
	(= (slew_time Planet38 Planet8) 19.48)
	(= (slew_time Planet8 Planet38) 19.48)
	(= (slew_time Planet38 Star9) 68.58)
	(= (slew_time Star9 Planet38) 68.58)
	(= (slew_time Planet38 Star10) 33.04)
	(= (slew_time Star10 Planet38) 33.04)
	(= (slew_time Planet38 Planet11) 20.89)
	(= (slew_time Planet11 Planet38) 20.89)
	(= (slew_time Planet38 Phenomenon12) 17.96)
	(= (slew_time Phenomenon12 Planet38) 17.96)
	(= (slew_time Planet38 Planet13) 58.79)
	(= (slew_time Planet13 Planet38) 58.79)
	(= (slew_time Planet38 Planet14) 15.21)
	(= (slew_time Planet14 Planet38) 15.21)
	(= (slew_time Planet38 Star15) 2.829)
	(= (slew_time Star15 Planet38) 2.829)
	(= (slew_time Planet38 Phenomenon16) 39.51)
	(= (slew_time Phenomenon16 Planet38) 39.51)
	(= (slew_time Planet38 Phenomenon17) 76.97)
	(= (slew_time Phenomenon17 Planet38) 76.97)
	(= (slew_time Planet38 Phenomenon18) 18.46)
	(= (slew_time Phenomenon18 Planet38) 18.46)
	(= (slew_time Planet38 Planet19) 18.98)
	(= (slew_time Planet19 Planet38) 18.98)
	(= (slew_time Planet38 Phenomenon20) 8.876)
	(= (slew_time Phenomenon20 Planet38) 8.876)
	(= (slew_time Planet38 Star21) 3.361)
	(= (slew_time Star21 Planet38) 3.361)
	(= (slew_time Planet38 Planet22) 14.87)
	(= (slew_time Planet22 Planet38) 14.87)
	(= (slew_time Planet38 Planet23) 69.85)
	(= (slew_time Planet23 Planet38) 69.85)
	(= (slew_time Planet38 Planet24) 33.73)
	(= (slew_time Planet24 Planet38) 33.73)
	(= (slew_time Planet38 Phenomenon25) 18.56)
	(= (slew_time Phenomenon25 Planet38) 18.56)
	(= (slew_time Planet38 Planet26) 20.68)
	(= (slew_time Planet26 Planet38) 20.68)
	(= (slew_time Planet38 Planet27) 0.9196)
	(= (slew_time Planet27 Planet38) 0.9196)
	(= (slew_time Planet38 Phenomenon28) 31.21)
	(= (slew_time Phenomenon28 Planet38) 31.21)
	(= (slew_time Planet38 Phenomenon29) 40.23)
	(= (slew_time Phenomenon29 Planet38) 40.23)
	(= (slew_time Planet38 Star30) 23.73)
	(= (slew_time Star30 Planet38) 23.73)
	(= (slew_time Planet38 Planet31) 39.11)
	(= (slew_time Planet31 Planet38) 39.11)
	(= (slew_time Planet38 Phenomenon32) 12.99)
	(= (slew_time Phenomenon32 Planet38) 12.99)
	(= (slew_time Planet38 Star33) 16.02)
	(= (slew_time Star33 Planet38) 16.02)
	(= (slew_time Planet38 Planet34) 40.78)
	(= (slew_time Planet34 Planet38) 40.78)
	(= (slew_time Planet38 Phenomenon35) 74.55)
	(= (slew_time Phenomenon35 Planet38) 74.55)
	(= (slew_time Planet38 Star36) 4.251)
	(= (slew_time Star36 Planet38) 4.251)
	(= (slew_time Planet38 Planet37) 67.74)
	(= (slew_time Planet37 Planet38) 67.74)
	(= (slew_time Planet39 Star0) 61.23)
	(= (slew_time Star0 Planet39) 61.23)
	(= (slew_time Planet39 GroundStation1) 0.4935)
	(= (slew_time GroundStation1 Planet39) 0.4935)
	(= (slew_time Planet39 GroundStation2) 34.19)
	(= (slew_time GroundStation2 Planet39) 34.19)
	(= (slew_time Planet39 Phenomenon3) 40.1)
	(= (slew_time Phenomenon3 Planet39) 40.1)
	(= (slew_time Planet39 Phenomenon4) 17.91)
	(= (slew_time Phenomenon4 Planet39) 17.91)
	(= (slew_time Planet39 Star5) 11.09)
	(= (slew_time Star5 Planet39) 11.09)
	(= (slew_time Planet39 Phenomenon6) 29.83)
	(= (slew_time Phenomenon6 Planet39) 29.83)
	(= (slew_time Planet39 Planet7) 61.35)
	(= (slew_time Planet7 Planet39) 61.35)
	(= (slew_time Planet39 Planet8) 8.178)
	(= (slew_time Planet8 Planet39) 8.178)
	(= (slew_time Planet39 Star9) 35.83)
	(= (slew_time Star9 Planet39) 35.83)
	(= (slew_time Planet39 Star10) 37.37)
	(= (slew_time Star10 Planet39) 37.37)
	(= (slew_time Planet39 Planet11) 26.26)
	(= (slew_time Planet11 Planet39) 26.26)
	(= (slew_time Planet39 Phenomenon12) 5.114)
	(= (slew_time Phenomenon12 Planet39) 5.114)
	(= (slew_time Planet39 Planet13) 7.039)
	(= (slew_time Planet13 Planet39) 7.039)
	(= (slew_time Planet39 Planet14) 83.6)
	(= (slew_time Planet14 Planet39) 83.6)
	(= (slew_time Planet39 Star15) 35.52)
	(= (slew_time Star15 Planet39) 35.52)
	(= (slew_time Planet39 Phenomenon16) 59.48)
	(= (slew_time Phenomenon16 Planet39) 59.48)
	(= (slew_time Planet39 Phenomenon17) 77.49)
	(= (slew_time Phenomenon17 Planet39) 77.49)
	(= (slew_time Planet39 Phenomenon18) 76.67)
	(= (slew_time Phenomenon18 Planet39) 76.67)
	(= (slew_time Planet39 Planet19) 56.13)
	(= (slew_time Planet19 Planet39) 56.13)
	(= (slew_time Planet39 Phenomenon20) 0.7532)
	(= (slew_time Phenomenon20 Planet39) 0.7532)
	(= (slew_time Planet39 Star21) 50.75)
	(= (slew_time Star21 Planet39) 50.75)
	(= (slew_time Planet39 Planet22) 3.916)
	(= (slew_time Planet22 Planet39) 3.916)
	(= (slew_time Planet39 Planet23) 9.641)
	(= (slew_time Planet23 Planet39) 9.641)
	(= (slew_time Planet39 Planet24) 29.52)
	(= (slew_time Planet24 Planet39) 29.52)
	(= (slew_time Planet39 Phenomenon25) 29.39)
	(= (slew_time Phenomenon25 Planet39) 29.39)
	(= (slew_time Planet39 Planet26) 33.22)
	(= (slew_time Planet26 Planet39) 33.22)
	(= (slew_time Planet39 Planet27) 14.87)
	(= (slew_time Planet27 Planet39) 14.87)
	(= (slew_time Planet39 Phenomenon28) 21.03)
	(= (slew_time Phenomenon28 Planet39) 21.03)
	(= (slew_time Planet39 Phenomenon29) 24.73)
	(= (slew_time Phenomenon29 Planet39) 24.73)
	(= (slew_time Planet39 Star30) 64.33)
	(= (slew_time Star30 Planet39) 64.33)
	(= (slew_time Planet39 Planet31) 72.99)
	(= (slew_time Planet31 Planet39) 72.99)
	(= (slew_time Planet39 Phenomenon32) 45.82)
	(= (slew_time Phenomenon32 Planet39) 45.82)
	(= (slew_time Planet39 Star33) 17.47)
	(= (slew_time Star33 Planet39) 17.47)
	(= (slew_time Planet39 Planet34) 68.08)
	(= (slew_time Planet34 Planet39) 68.08)
	(= (slew_time Planet39 Phenomenon35) 17.06)
	(= (slew_time Phenomenon35 Planet39) 17.06)
	(= (slew_time Planet39 Star36) 16.29)
	(= (slew_time Star36 Planet39) 16.29)
	(= (slew_time Planet39 Planet37) 60.24)
	(= (slew_time Planet37 Planet39) 60.24)
	(= (slew_time Planet39 Planet38) 45.79)
	(= (slew_time Planet38 Planet39) 45.79)
	(= (slew_time Phenomenon40 Star0) 34.52)
	(= (slew_time Star0 Phenomenon40) 34.52)
	(= (slew_time Phenomenon40 GroundStation1) 20.82)
	(= (slew_time GroundStation1 Phenomenon40) 20.82)
	(= (slew_time Phenomenon40 GroundStation2) 23.62)
	(= (slew_time GroundStation2 Phenomenon40) 23.62)
	(= (slew_time Phenomenon40 Phenomenon3) 37.64)
	(= (slew_time Phenomenon3 Phenomenon40) 37.64)
	(= (slew_time Phenomenon40 Phenomenon4) 47.54)
	(= (slew_time Phenomenon4 Phenomenon40) 47.54)
	(= (slew_time Phenomenon40 Star5) 19.77)
	(= (slew_time Star5 Phenomenon40) 19.77)
	(= (slew_time Phenomenon40 Phenomenon6) 21.09)
	(= (slew_time Phenomenon6 Phenomenon40) 21.09)
	(= (slew_time Phenomenon40 Planet7) 33.89)
	(= (slew_time Planet7 Phenomenon40) 33.89)
	(= (slew_time Phenomenon40 Planet8) 19.77)
	(= (slew_time Planet8 Phenomenon40) 19.77)
	(= (slew_time Phenomenon40 Star9) 56.55)
	(= (slew_time Star9 Phenomenon40) 56.55)
	(= (slew_time Phenomenon40 Star10) 25.3)
	(= (slew_time Star10 Phenomenon40) 25.3)
	(= (slew_time Phenomenon40 Planet11) 40.29)
	(= (slew_time Planet11 Phenomenon40) 40.29)
	(= (slew_time Phenomenon40 Phenomenon12) 9.062)
	(= (slew_time Phenomenon12 Phenomenon40) 9.062)
	(= (slew_time Phenomenon40 Planet13) 52.71)
	(= (slew_time Planet13 Phenomenon40) 52.71)
	(= (slew_time Phenomenon40 Planet14) 25.38)
	(= (slew_time Planet14 Phenomenon40) 25.38)
	(= (slew_time Phenomenon40 Star15) 11.77)
	(= (slew_time Star15 Phenomenon40) 11.77)
	(= (slew_time Phenomenon40 Phenomenon16) 11.08)
	(= (slew_time Phenomenon16 Phenomenon40) 11.08)
	(= (slew_time Phenomenon40 Phenomenon17) 13.41)
	(= (slew_time Phenomenon17 Phenomenon40) 13.41)
	(= (slew_time Phenomenon40 Phenomenon18) 41.96)
	(= (slew_time Phenomenon18 Phenomenon40) 41.96)
	(= (slew_time Phenomenon40 Planet19) 30.89)
	(= (slew_time Planet19 Phenomenon40) 30.89)
	(= (slew_time Phenomenon40 Phenomenon20) 12.49)
	(= (slew_time Phenomenon20 Phenomenon40) 12.49)
	(= (slew_time Phenomenon40 Star21) 12.48)
	(= (slew_time Star21 Phenomenon40) 12.48)
	(= (slew_time Phenomenon40 Planet22) 52.05)
	(= (slew_time Planet22 Phenomenon40) 52.05)
	(= (slew_time Phenomenon40 Planet23) 31.66)
	(= (slew_time Planet23 Phenomenon40) 31.66)
	(= (slew_time Phenomenon40 Planet24) 11.43)
	(= (slew_time Planet24 Phenomenon40) 11.43)
	(= (slew_time Phenomenon40 Phenomenon25) 57.9)
	(= (slew_time Phenomenon25 Phenomenon40) 57.9)
	(= (slew_time Phenomenon40 Planet26) 64.96)
	(= (slew_time Planet26 Phenomenon40) 64.96)
	(= (slew_time Phenomenon40 Planet27) 12.64)
	(= (slew_time Planet27 Phenomenon40) 12.64)
	(= (slew_time Phenomenon40 Phenomenon28) 22.2)
	(= (slew_time Phenomenon28 Phenomenon40) 22.2)
	(= (slew_time Phenomenon40 Phenomenon29) 13.99)
	(= (slew_time Phenomenon29 Phenomenon40) 13.99)
	(= (slew_time Phenomenon40 Star30) 28.07)
	(= (slew_time Star30 Phenomenon40) 28.07)
	(= (slew_time Phenomenon40 Planet31) 36.92)
	(= (slew_time Planet31 Phenomenon40) 36.92)
	(= (slew_time Phenomenon40 Phenomenon32) 30.37)
	(= (slew_time Phenomenon32 Phenomenon40) 30.37)
	(= (slew_time Phenomenon40 Star33) 73.84)
	(= (slew_time Star33 Phenomenon40) 73.84)
	(= (slew_time Phenomenon40 Planet34) 1.386)
	(= (slew_time Planet34 Phenomenon40) 1.386)
	(= (slew_time Phenomenon40 Phenomenon35) 1.078)
	(= (slew_time Phenomenon35 Phenomenon40) 1.078)
	(= (slew_time Phenomenon40 Star36) 7.721)
	(= (slew_time Star36 Phenomenon40) 7.721)
	(= (slew_time Phenomenon40 Planet37) 5.281)
	(= (slew_time Planet37 Phenomenon40) 5.281)
	(= (slew_time Phenomenon40 Planet38) 42.23)
	(= (slew_time Planet38 Phenomenon40) 42.23)
	(= (slew_time Phenomenon40 Planet39) 16.14)
	(= (slew_time Planet39 Phenomenon40) 16.14)
	(= (slew_time Star41 Star0) 5.57)
	(= (slew_time Star0 Star41) 5.57)
	(= (slew_time Star41 GroundStation1) 49.86)
	(= (slew_time GroundStation1 Star41) 49.86)
	(= (slew_time Star41 GroundStation2) 11.98)
	(= (slew_time GroundStation2 Star41) 11.98)
	(= (slew_time Star41 Phenomenon3) 71.82)
	(= (slew_time Phenomenon3 Star41) 71.82)
	(= (slew_time Star41 Phenomenon4) 21.71)
	(= (slew_time Phenomenon4 Star41) 21.71)
	(= (slew_time Star41 Star5) 24.96)
	(= (slew_time Star5 Star41) 24.96)
	(= (slew_time Star41 Phenomenon6) 79.9)
	(= (slew_time Phenomenon6 Star41) 79.9)
	(= (slew_time Star41 Planet7) 34.37)
	(= (slew_time Planet7 Star41) 34.37)
	(= (slew_time Star41 Planet8) 60.19)
	(= (slew_time Planet8 Star41) 60.19)
	(= (slew_time Star41 Star9) 0.9438)
	(= (slew_time Star9 Star41) 0.9438)
	(= (slew_time Star41 Star10) 65.2)
	(= (slew_time Star10 Star41) 65.2)
	(= (slew_time Star41 Planet11) 20.66)
	(= (slew_time Planet11 Star41) 20.66)
	(= (slew_time Star41 Phenomenon12) 38.86)
	(= (slew_time Phenomenon12 Star41) 38.86)
	(= (slew_time Star41 Planet13) 9.913)
	(= (slew_time Planet13 Star41) 9.913)
	(= (slew_time Star41 Planet14) 33.07)
	(= (slew_time Planet14 Star41) 33.07)
	(= (slew_time Star41 Star15) 15.38)
	(= (slew_time Star15 Star41) 15.38)
	(= (slew_time Star41 Phenomenon16) 12.39)
	(= (slew_time Phenomenon16 Star41) 12.39)
	(= (slew_time Star41 Phenomenon17) 52.61)
	(= (slew_time Phenomenon17 Star41) 52.61)
	(= (slew_time Star41 Phenomenon18) 13.44)
	(= (slew_time Phenomenon18 Star41) 13.44)
	(= (slew_time Star41 Planet19) 24.51)
	(= (slew_time Planet19 Star41) 24.51)
	(= (slew_time Star41 Phenomenon20) 40.7)
	(= (slew_time Phenomenon20 Star41) 40.7)
	(= (slew_time Star41 Star21) 58.45)
	(= (slew_time Star21 Star41) 58.45)
	(= (slew_time Star41 Planet22) 68.36)
	(= (slew_time Planet22 Star41) 68.36)
	(= (slew_time Star41 Planet23) 32.98)
	(= (slew_time Planet23 Star41) 32.98)
	(= (slew_time Star41 Planet24) 1.116)
	(= (slew_time Planet24 Star41) 1.116)
	(= (slew_time Star41 Phenomenon25) 33.07)
	(= (slew_time Phenomenon25 Star41) 33.07)
	(= (slew_time Star41 Planet26) 31.97)
	(= (slew_time Planet26 Star41) 31.97)
	(= (slew_time Star41 Planet27) 39.9)
	(= (slew_time Planet27 Star41) 39.9)
	(= (slew_time Star41 Phenomenon28) 51.58)
	(= (slew_time Phenomenon28 Star41) 51.58)
	(= (slew_time Star41 Phenomenon29) 19.59)
	(= (slew_time Phenomenon29 Star41) 19.59)
	(= (slew_time Star41 Star30) 21.71)
	(= (slew_time Star30 Star41) 21.71)
	(= (slew_time Star41 Planet31) 23.3)
	(= (slew_time Planet31 Star41) 23.3)
	(= (slew_time Star41 Phenomenon32) 61.32)
	(= (slew_time Phenomenon32 Star41) 61.32)
	(= (slew_time Star41 Star33) 84.96)
	(= (slew_time Star33 Star41) 84.96)
	(= (slew_time Star41 Planet34) 10.1)
	(= (slew_time Planet34 Star41) 10.1)
	(= (slew_time Star41 Phenomenon35) 33.5)
	(= (slew_time Phenomenon35 Star41) 33.5)
	(= (slew_time Star41 Star36) 9.014)
	(= (slew_time Star36 Star41) 9.014)
	(= (slew_time Star41 Planet37) 8.599)
	(= (slew_time Planet37 Star41) 8.599)
	(= (slew_time Star41 Planet38) 49.03)
	(= (slew_time Planet38 Star41) 49.03)
	(= (slew_time Star41 Planet39) 12.1)
	(= (slew_time Planet39 Star41) 12.1)
	(= (slew_time Star41 Phenomenon40) 26.39)
	(= (slew_time Phenomenon40 Star41) 26.39)
	(= (slew_time Planet42 Star0) 51.21)
	(= (slew_time Star0 Planet42) 51.21)
	(= (slew_time Planet42 GroundStation1) 54.07)
	(= (slew_time GroundStation1 Planet42) 54.07)
	(= (slew_time Planet42 GroundStation2) 15.16)
	(= (slew_time GroundStation2 Planet42) 15.16)
	(= (slew_time Planet42 Phenomenon3) 8.319)
	(= (slew_time Phenomenon3 Planet42) 8.319)
	(= (slew_time Planet42 Phenomenon4) 59.79)
	(= (slew_time Phenomenon4 Planet42) 59.79)
	(= (slew_time Planet42 Star5) 45.43)
	(= (slew_time Star5 Planet42) 45.43)
	(= (slew_time Planet42 Phenomenon6) 50.43)
	(= (slew_time Phenomenon6 Planet42) 50.43)
	(= (slew_time Planet42 Planet7) 41.31)
	(= (slew_time Planet7 Planet42) 41.31)
	(= (slew_time Planet42 Planet8) 67.43)
	(= (slew_time Planet8 Planet42) 67.43)
	(= (slew_time Planet42 Star9) 23.55)
	(= (slew_time Star9 Planet42) 23.55)
	(= (slew_time Planet42 Star10) 88.56)
	(= (slew_time Star10 Planet42) 88.56)
	(= (slew_time Planet42 Planet11) 52.25)
	(= (slew_time Planet11 Planet42) 52.25)
	(= (slew_time Planet42 Phenomenon12) 59.76)
	(= (slew_time Phenomenon12 Planet42) 59.76)
	(= (slew_time Planet42 Planet13) 15.78)
	(= (slew_time Planet13 Planet42) 15.78)
	(= (slew_time Planet42 Planet14) 60.18)
	(= (slew_time Planet14 Planet42) 60.18)
	(= (slew_time Planet42 Star15) 61.5)
	(= (slew_time Star15 Planet42) 61.5)
	(= (slew_time Planet42 Phenomenon16) 54.21)
	(= (slew_time Phenomenon16 Planet42) 54.21)
	(= (slew_time Planet42 Phenomenon17) 58.39)
	(= (slew_time Phenomenon17 Planet42) 58.39)
	(= (slew_time Planet42 Phenomenon18) 39.69)
	(= (slew_time Phenomenon18 Planet42) 39.69)
	(= (slew_time Planet42 Planet19) 5.418)
	(= (slew_time Planet19 Planet42) 5.418)
	(= (slew_time Planet42 Phenomenon20) 49.79)
	(= (slew_time Phenomenon20 Planet42) 49.79)
	(= (slew_time Planet42 Star21) 70.43)
	(= (slew_time Star21 Planet42) 70.43)
	(= (slew_time Planet42 Planet22) 16.04)
	(= (slew_time Planet22 Planet42) 16.04)
	(= (slew_time Planet42 Planet23) 26.12)
	(= (slew_time Planet23 Planet42) 26.12)
	(= (slew_time Planet42 Planet24) 12.41)
	(= (slew_time Planet24 Planet42) 12.41)
	(= (slew_time Planet42 Phenomenon25) 9.336)
	(= (slew_time Phenomenon25 Planet42) 9.336)
	(= (slew_time Planet42 Planet26) 28.87)
	(= (slew_time Planet26 Planet42) 28.87)
	(= (slew_time Planet42 Planet27) 10.5)
	(= (slew_time Planet27 Planet42) 10.5)
	(= (slew_time Planet42 Phenomenon28) 27.79)
	(= (slew_time Phenomenon28 Planet42) 27.79)
	(= (slew_time Planet42 Phenomenon29) 16.61)
	(= (slew_time Phenomenon29 Planet42) 16.61)
	(= (slew_time Planet42 Star30) 2.05)
	(= (slew_time Star30 Planet42) 2.05)
	(= (slew_time Planet42 Planet31) 0.6329)
	(= (slew_time Planet31 Planet42) 0.6329)
	(= (slew_time Planet42 Phenomenon32) 6.332)
	(= (slew_time Phenomenon32 Planet42) 6.332)
	(= (slew_time Planet42 Star33) 8.783)
	(= (slew_time Star33 Planet42) 8.783)
	(= (slew_time Planet42 Planet34) 75.52)
	(= (slew_time Planet34 Planet42) 75.52)
	(= (slew_time Planet42 Phenomenon35) 25.91)
	(= (slew_time Phenomenon35 Planet42) 25.91)
	(= (slew_time Planet42 Star36) 25.81)
	(= (slew_time Star36 Planet42) 25.81)
	(= (slew_time Planet42 Planet37) 73.63)
	(= (slew_time Planet37 Planet42) 73.63)
	(= (slew_time Planet42 Planet38) 56.27)
	(= (slew_time Planet38 Planet42) 56.27)
	(= (slew_time Planet42 Planet39) 25.33)
	(= (slew_time Planet39 Planet42) 25.33)
	(= (slew_time Planet42 Phenomenon40) 55.05)
	(= (slew_time Phenomenon40 Planet42) 55.05)
	(= (slew_time Planet42 Star41) 30.35)
	(= (slew_time Star41 Planet42) 30.35)
)
(:goal (and
	(pointing satellite1 Phenomenon35)
	(pointing satellite2 Planet42)
	(pointing satellite3 GroundStation2)
	(have_image Phenomenon4 thermograph0)
	(have_image Star5 thermograph0)
	(have_image Phenomenon6 thermograph0)
	(have_image Planet7 thermograph0)
	(have_image Planet8 thermograph0)
	(have_image Star9 thermograph0)
	(have_image Star10 thermograph0)
	(have_image Planet13 spectrograph2)
	(have_image Planet14 spectrograph2)
	(have_image Star15 thermograph0)
	(have_image Phenomenon17 thermograph0)
	(have_image Phenomenon18 thermograph0)
	(have_image Planet19 spectrograph2)
	(have_image Star21 thermograph0)
	(have_image Planet22 image1)
	(have_image Planet23 spectrograph2)
	(have_image Planet24 thermograph0)
	(have_image Phenomenon25 image1)
	(have_image Planet27 thermograph0)
	(have_image Phenomenon28 thermograph0)
	(have_image Phenomenon29 image1)
	(have_image Star30 spectrograph2)
	(have_image Planet31 spectrograph2)
	(have_image Phenomenon32 thermograph0)
	(have_image Star33 image1)
	(have_image Planet34 image1)
	(have_image Phenomenon35 image1)
	(have_image Star36 spectrograph2)
	(have_image Planet37 thermograph0)
	(have_image Planet38 image1)
	(have_image Planet39 image1)
	(have_image Phenomenon40 thermograph0)
	(have_image Star41 image1)
	(have_image Planet42 spectrograph2)
))
(:metric minimize (total-time))

)
