(define (problem strips-sat-x-1)
(:domain satellite)
(:objects
	satellite0 - satellite
	instrument0 - instrument
	satellite1 - satellite
	instrument1 - instrument
	instrument2 - instrument
	satellite2 - satellite
	instrument3 - instrument
	instrument4 - instrument
	instrument5 - instrument
	satellite3 - satellite
	instrument6 - instrument
	instrument7 - instrument
	satellite4 - satellite
	instrument8 - instrument
	instrument9 - instrument
	infrared1 - mode
	image2 - mode
	infrared0 - mode
	Star0 - direction
	GroundStation2 - direction
	GroundStation1 - direction
	Planet3 - direction
	Planet4 - direction
	Phenomenon5 - direction
	Phenomenon6 - direction
	Star7 - direction
	Planet8 - direction
	Planet9 - direction
	Star10 - direction
	Star11 - direction
	Planet12 - direction
	Planet13 - direction
	Phenomenon14 - direction
	Star15 - direction
	Star16 - direction
	Planet17 - direction
	Star18 - direction
	Phenomenon19 - direction
	Phenomenon20 - direction
	Planet21 - direction
	Planet22 - direction
	Phenomenon23 - direction
	Phenomenon24 - direction
	Star25 - direction
	Phenomenon26 - direction
	Phenomenon27 - direction
	Star28 - direction
	Planet29 - direction
	Phenomenon30 - direction
	Phenomenon31 - direction
	Phenomenon32 - direction
	Planet33 - direction
	Planet34 - direction
	Planet35 - direction
	Star36 - direction
	Star37 - direction
	Phenomenon38 - direction
	Planet39 - direction
	Star40 - direction
	Star41 - direction
	Star42 - direction
	Phenomenon43 - direction
	Star44 - direction
	Planet45 - direction
	Planet46 - direction
	Phenomenon47 - direction
	Phenomenon48 - direction
	Planet49 - direction
	Planet50 - direction
	Planet51 - direction
	Phenomenon52 - direction
)
(:init
	(supports instrument0 image2)
	(calibration_target instrument0 GroundStation2)
	(= (calibration_time instrument0 GroundStation2) 2.61)
	(on_board instrument0 satellite0)
	(power_avail satellite0)
	(pointing satellite0 Planet50)
	(supports instrument1 image2)
	(supports instrument1 infrared0)
	(calibration_target instrument1 GroundStation1)
	(= (calibration_time instrument1 GroundStation1) 91.6)
	(supports instrument2 image2)
	(supports instrument2 infrared1)
	(supports instrument2 infrared0)
	(calibration_target instrument2 Star0)
	(= (calibration_time instrument2 Star0) 70.3)
	(on_board instrument1 satellite1)
	(on_board instrument2 satellite1)
	(power_avail satellite1)
	(pointing satellite1 Star7)
	(supports instrument3 infrared1)
	(supports instrument3 image2)
	(supports instrument3 infrared0)
	(calibration_target instrument3 Star0)
	(= (calibration_time instrument3 Star0) 46.2)
	(supports instrument4 infrared1)
	(supports instrument4 infrared0)
	(supports instrument4 image2)
	(calibration_target instrument4 GroundStation2)
	(= (calibration_time instrument4 GroundStation2) 39.6)
	(supports instrument5 infrared1)
	(supports instrument5 image2)
	(calibration_target instrument5 GroundStation2)
	(= (calibration_time instrument5 GroundStation2) 46.6)
	(on_board instrument3 satellite2)
	(on_board instrument4 satellite2)
	(on_board instrument5 satellite2)
	(power_avail satellite2)
	(pointing satellite2 Planet8)
	(supports instrument6 infrared1)
	(supports instrument6 image2)
	(calibration_target instrument6 Star0)
	(= (calibration_time instrument6 Star0) 35.6)
	(supports instrument7 infrared0)
	(calibration_target instrument7 GroundStation1)
	(= (calibration_time instrument7 GroundStation1) 69)
	(on_board instrument6 satellite3)
	(on_board instrument7 satellite3)
	(power_avail satellite3)
	(pointing satellite3 Planet12)
	(supports instrument8 image2)
	(calibration_target instrument8 GroundStation2)
	(= (calibration_time instrument8 GroundStation2) 91)
	(supports instrument9 infrared0)
	(calibration_target instrument9 GroundStation1)
	(= (calibration_time instrument9 GroundStation1) 42.3)
	(on_board instrument8 satellite4)
	(on_board instrument9 satellite4)
	(power_avail satellite4)
	(pointing satellite4 Planet8)
	(= (slew_time GroundStation2 Star0) 82.61)
	(= (slew_time Star0 GroundStation2) 82.61)
	(= (slew_time GroundStation2 GroundStation1) 42.92)
	(= (slew_time GroundStation1 GroundStation2) 42.92)
	(= (slew_time GroundStation1 Star0) 45.75)
	(= (slew_time Star0 GroundStation1) 45.75)
	(= (slew_time Planet3 Star0) 13.67)
	(= (slew_time Star0 Planet3) 13.67)
	(= (slew_time Planet3 GroundStation1) 17.46)
	(= (slew_time GroundStation1 Planet3) 17.46)
	(= (slew_time Planet3 GroundStation2) 17.26)
	(= (slew_time GroundStation2 Planet3) 17.26)
	(= (slew_time Planet4 Star0) 1.204)
	(= (slew_time Star0 Planet4) 1.204)
	(= (slew_time Planet4 GroundStation1) 14.4)
	(= (slew_time GroundStation1 Planet4) 14.4)
	(= (slew_time Planet4 GroundStation2) 58.98)
	(= (slew_time GroundStation2 Planet4) 58.98)
	(= (slew_time Planet4 Planet3) 30.65)
	(= (slew_time Planet3 Planet4) 30.65)
	(= (slew_time Phenomenon5 Star0) 78.77)
	(= (slew_time Star0 Phenomenon5) 78.77)
	(= (slew_time Phenomenon5 GroundStation1) 5.136)
	(= (slew_time GroundStation1 Phenomenon5) 5.136)
	(= (slew_time Phenomenon5 GroundStation2) 39.44)
	(= (slew_time GroundStation2 Phenomenon5) 39.44)
	(= (slew_time Phenomenon5 Planet3) 21.54)
	(= (slew_time Planet3 Phenomenon5) 21.54)
	(= (slew_time Phenomenon5 Planet4) 15.48)
	(= (slew_time Planet4 Phenomenon5) 15.48)
	(= (slew_time Phenomenon6 Star0) 87.81)
	(= (slew_time Star0 Phenomenon6) 87.81)
	(= (slew_time Phenomenon6 GroundStation1) 75.13)
	(= (slew_time GroundStation1 Phenomenon6) 75.13)
	(= (slew_time Phenomenon6 GroundStation2) 25.11)
	(= (slew_time GroundStation2 Phenomenon6) 25.11)
	(= (slew_time Phenomenon6 Planet3) 26.25)
	(= (slew_time Planet3 Phenomenon6) 26.25)
	(= (slew_time Phenomenon6 Planet4) 82.99)
	(= (slew_time Planet4 Phenomenon6) 82.99)
	(= (slew_time Phenomenon6 Phenomenon5) 36.47)
	(= (slew_time Phenomenon5 Phenomenon6) 36.47)
	(= (slew_time Star7 Star0) 30.66)
	(= (slew_time Star0 Star7) 30.66)
	(= (slew_time Star7 GroundStation1) 1.386)
	(= (slew_time GroundStation1 Star7) 1.386)
	(= (slew_time Star7 GroundStation2) 50)
	(= (slew_time GroundStation2 Star7) 50)
	(= (slew_time Star7 Planet3) 80.6)
	(= (slew_time Planet3 Star7) 80.6)
	(= (slew_time Star7 Planet4) 67.21)
	(= (slew_time Planet4 Star7) 67.21)
	(= (slew_time Star7 Phenomenon5) 20.97)
	(= (slew_time Phenomenon5 Star7) 20.97)
	(= (slew_time Star7 Phenomenon6) 29.32)
	(= (slew_time Phenomenon6 Star7) 29.32)
	(= (slew_time Planet8 Star0) 46.18)
	(= (slew_time Star0 Planet8) 46.18)
	(= (slew_time Planet8 GroundStation1) 47.21)
	(= (slew_time GroundStation1 Planet8) 47.21)
	(= (slew_time Planet8 GroundStation2) 37.69)
	(= (slew_time GroundStation2 Planet8) 37.69)
	(= (slew_time Planet8 Planet3) 15.12)
	(= (slew_time Planet3 Planet8) 15.12)
	(= (slew_time Planet8 Planet4) 25.42)
	(= (slew_time Planet4 Planet8) 25.42)
	(= (slew_time Planet8 Phenomenon5) 11.31)
	(= (slew_time Phenomenon5 Planet8) 11.31)
	(= (slew_time Planet8 Phenomenon6) 59.93)
	(= (slew_time Phenomenon6 Planet8) 59.93)
	(= (slew_time Planet8 Star7) 43.98)
	(= (slew_time Star7 Planet8) 43.98)
	(= (slew_time Planet9 Star0) 4.536)
	(= (slew_time Star0 Planet9) 4.536)
	(= (slew_time Planet9 GroundStation1) 45.97)
	(= (slew_time GroundStation1 Planet9) 45.97)
	(= (slew_time Planet9 GroundStation2) 20.11)
	(= (slew_time GroundStation2 Planet9) 20.11)
	(= (slew_time Planet9 Planet3) 45.88)
	(= (slew_time Planet3 Planet9) 45.88)
	(= (slew_time Planet9 Planet4) 10.22)
	(= (slew_time Planet4 Planet9) 10.22)
	(= (slew_time Planet9 Phenomenon5) 24.17)
	(= (slew_time Phenomenon5 Planet9) 24.17)
	(= (slew_time Planet9 Phenomenon6) 47.03)
	(= (slew_time Phenomenon6 Planet9) 47.03)
	(= (slew_time Planet9 Star7) 42.99)
	(= (slew_time Star7 Planet9) 42.99)
	(= (slew_time Planet9 Planet8) 15.09)
	(= (slew_time Planet8 Planet9) 15.09)
	(= (slew_time Star10 Star0) 66.16)
	(= (slew_time Star0 Star10) 66.16)
	(= (slew_time Star10 GroundStation1) 21.17)
	(= (slew_time GroundStation1 Star10) 21.17)
	(= (slew_time Star10 GroundStation2) 23.91)
	(= (slew_time GroundStation2 Star10) 23.91)
	(= (slew_time Star10 Planet3) 16.07)
	(= (slew_time Planet3 Star10) 16.07)
	(= (slew_time Star10 Planet4) 46.87)
	(= (slew_time Planet4 Star10) 46.87)
	(= (slew_time Star10 Phenomenon5) 24.82)
	(= (slew_time Phenomenon5 Star10) 24.82)
	(= (slew_time Star10 Phenomenon6) 73.32)
	(= (slew_time Phenomenon6 Star10) 73.32)
	(= (slew_time Star10 Star7) 19.75)
	(= (slew_time Star7 Star10) 19.75)
	(= (slew_time Star10 Planet8) 70.73)
	(= (slew_time Planet8 Star10) 70.73)
	(= (slew_time Star10 Planet9) 5.061)
	(= (slew_time Planet9 Star10) 5.061)
	(= (slew_time Star11 Star0) 37.21)
	(= (slew_time Star0 Star11) 37.21)
	(= (slew_time Star11 GroundStation1) 88.49)
	(= (slew_time GroundStation1 Star11) 88.49)
	(= (slew_time Star11 GroundStation2) 83.06)
	(= (slew_time GroundStation2 Star11) 83.06)
	(= (slew_time Star11 Planet3) 30.96)
	(= (slew_time Planet3 Star11) 30.96)
	(= (slew_time Star11 Planet4) 20.79)
	(= (slew_time Planet4 Star11) 20.79)
	(= (slew_time Star11 Phenomenon5) 44.53)
	(= (slew_time Phenomenon5 Star11) 44.53)
	(= (slew_time Star11 Phenomenon6) 16.82)
	(= (slew_time Phenomenon6 Star11) 16.82)
	(= (slew_time Star11 Star7) 50.31)
	(= (slew_time Star7 Star11) 50.31)
	(= (slew_time Star11 Planet8) 43.77)
	(= (slew_time Planet8 Star11) 43.77)
	(= (slew_time Star11 Planet9) 12.47)
	(= (slew_time Planet9 Star11) 12.47)
	(= (slew_time Star11 Star10) 33.03)
	(= (slew_time Star10 Star11) 33.03)
	(= (slew_time Planet12 Star0) 6.339)
	(= (slew_time Star0 Planet12) 6.339)
	(= (slew_time Planet12 GroundStation1) 61)
	(= (slew_time GroundStation1 Planet12) 61)
	(= (slew_time Planet12 GroundStation2) 14.18)
	(= (slew_time GroundStation2 Planet12) 14.18)
	(= (slew_time Planet12 Planet3) 6.304)
	(= (slew_time Planet3 Planet12) 6.304)
	(= (slew_time Planet12 Planet4) 1.743)
	(= (slew_time Planet4 Planet12) 1.743)
	(= (slew_time Planet12 Phenomenon5) 48.69)
	(= (slew_time Phenomenon5 Planet12) 48.69)
	(= (slew_time Planet12 Phenomenon6) 33.31)
	(= (slew_time Phenomenon6 Planet12) 33.31)
	(= (slew_time Planet12 Star7) 14.98)
	(= (slew_time Star7 Planet12) 14.98)
	(= (slew_time Planet12 Planet8) 72.88)
	(= (slew_time Planet8 Planet12) 72.88)
	(= (slew_time Planet12 Planet9) 27.55)
	(= (slew_time Planet9 Planet12) 27.55)
	(= (slew_time Planet12 Star10) 20.16)
	(= (slew_time Star10 Planet12) 20.16)
	(= (slew_time Planet12 Star11) 36.1)
	(= (slew_time Star11 Planet12) 36.1)
	(= (slew_time Planet13 Star0) 48.06)
	(= (slew_time Star0 Planet13) 48.06)
	(= (slew_time Planet13 GroundStation1) 42.89)
	(= (slew_time GroundStation1 Planet13) 42.89)
	(= (slew_time Planet13 GroundStation2) 2.142)
	(= (slew_time GroundStation2 Planet13) 2.142)
	(= (slew_time Planet13 Planet3) 18.52)
	(= (slew_time Planet3 Planet13) 18.52)
	(= (slew_time Planet13 Planet4) 15.41)
	(= (slew_time Planet4 Planet13) 15.41)
	(= (slew_time Planet13 Phenomenon5) 16.02)
	(= (slew_time Phenomenon5 Planet13) 16.02)
	(= (slew_time Planet13 Phenomenon6) 7.373)
	(= (slew_time Phenomenon6 Planet13) 7.373)
	(= (slew_time Planet13 Star7) 37.81)
	(= (slew_time Star7 Planet13) 37.81)
	(= (slew_time Planet13 Planet8) 12.09)
	(= (slew_time Planet8 Planet13) 12.09)
	(= (slew_time Planet13 Planet9) 18.71)
	(= (slew_time Planet9 Planet13) 18.71)
	(= (slew_time Planet13 Star10) 9.945)
	(= (slew_time Star10 Planet13) 9.945)
	(= (slew_time Planet13 Star11) 17.31)
	(= (slew_time Star11 Planet13) 17.31)
	(= (slew_time Planet13 Planet12) 25.97)
	(= (slew_time Planet12 Planet13) 25.97)
	(= (slew_time Phenomenon14 Star0) 43.1)
	(= (slew_time Star0 Phenomenon14) 43.1)
	(= (slew_time Phenomenon14 GroundStation1) 61.74)
	(= (slew_time GroundStation1 Phenomenon14) 61.74)
	(= (slew_time Phenomenon14 GroundStation2) 4.792)
	(= (slew_time GroundStation2 Phenomenon14) 4.792)
	(= (slew_time Phenomenon14 Planet3) 14.01)
	(= (slew_time Planet3 Phenomenon14) 14.01)
	(= (slew_time Phenomenon14 Planet4) 45.1)
	(= (slew_time Planet4 Phenomenon14) 45.1)
	(= (slew_time Phenomenon14 Phenomenon5) 56.74)
	(= (slew_time Phenomenon5 Phenomenon14) 56.74)
	(= (slew_time Phenomenon14 Phenomenon6) 4.606)
	(= (slew_time Phenomenon6 Phenomenon14) 4.606)
	(= (slew_time Phenomenon14 Star7) 3.595)
	(= (slew_time Star7 Phenomenon14) 3.595)
	(= (slew_time Phenomenon14 Planet8) 53.13)
	(= (slew_time Planet8 Phenomenon14) 53.13)
	(= (slew_time Phenomenon14 Planet9) 55.34)
	(= (slew_time Planet9 Phenomenon14) 55.34)
	(= (slew_time Phenomenon14 Star10) 5.075)
	(= (slew_time Star10 Phenomenon14) 5.075)
	(= (slew_time Phenomenon14 Star11) 11.1)
	(= (slew_time Star11 Phenomenon14) 11.1)
	(= (slew_time Phenomenon14 Planet12) 21.9)
	(= (slew_time Planet12 Phenomenon14) 21.9)
	(= (slew_time Phenomenon14 Planet13) 58.29)
	(= (slew_time Planet13 Phenomenon14) 58.29)
	(= (slew_time Star15 Star0) 17.94)
	(= (slew_time Star0 Star15) 17.94)
	(= (slew_time Star15 GroundStation1) 51.49)
	(= (slew_time GroundStation1 Star15) 51.49)
	(= (slew_time Star15 GroundStation2) 58.1)
	(= (slew_time GroundStation2 Star15) 58.1)
	(= (slew_time Star15 Planet3) 61.21)
	(= (slew_time Planet3 Star15) 61.21)
	(= (slew_time Star15 Planet4) 22.89)
	(= (slew_time Planet4 Star15) 22.89)
	(= (slew_time Star15 Phenomenon5) 38.82)
	(= (slew_time Phenomenon5 Star15) 38.82)
	(= (slew_time Star15 Phenomenon6) 51.25)
	(= (slew_time Phenomenon6 Star15) 51.25)
	(= (slew_time Star15 Star7) 2.267)
	(= (slew_time Star7 Star15) 2.267)
	(= (slew_time Star15 Planet8) 11.37)
	(= (slew_time Planet8 Star15) 11.37)
	(= (slew_time Star15 Planet9) 55.02)
	(= (slew_time Planet9 Star15) 55.02)
	(= (slew_time Star15 Star10) 31.72)
	(= (slew_time Star10 Star15) 31.72)
	(= (slew_time Star15 Star11) 1.409)
	(= (slew_time Star11 Star15) 1.409)
	(= (slew_time Star15 Planet12) 11.11)
	(= (slew_time Planet12 Star15) 11.11)
	(= (slew_time Star15 Planet13) 12.22)
	(= (slew_time Planet13 Star15) 12.22)
	(= (slew_time Star15 Phenomenon14) 1.575)
	(= (slew_time Phenomenon14 Star15) 1.575)
	(= (slew_time Star16 Star0) 59.65)
	(= (slew_time Star0 Star16) 59.65)
	(= (slew_time Star16 GroundStation1) 27.08)
	(= (slew_time GroundStation1 Star16) 27.08)
	(= (slew_time Star16 GroundStation2) 51.51)
	(= (slew_time GroundStation2 Star16) 51.51)
	(= (slew_time Star16 Planet3) 4.027)
	(= (slew_time Planet3 Star16) 4.027)
	(= (slew_time Star16 Planet4) 86.95)
	(= (slew_time Planet4 Star16) 86.95)
	(= (slew_time Star16 Phenomenon5) 23.7)
	(= (slew_time Phenomenon5 Star16) 23.7)
	(= (slew_time Star16 Phenomenon6) 17.12)
	(= (slew_time Phenomenon6 Star16) 17.12)
	(= (slew_time Star16 Star7) 1.605)
	(= (slew_time Star7 Star16) 1.605)
	(= (slew_time Star16 Planet8) 31.78)
	(= (slew_time Planet8 Star16) 31.78)
	(= (slew_time Star16 Planet9) 4.281)
	(= (slew_time Planet9 Star16) 4.281)
	(= (slew_time Star16 Star10) 0.6464)
	(= (slew_time Star10 Star16) 0.6464)
	(= (slew_time Star16 Star11) 21.78)
	(= (slew_time Star11 Star16) 21.78)
	(= (slew_time Star16 Planet12) 72.93)
	(= (slew_time Planet12 Star16) 72.93)
	(= (slew_time Star16 Planet13) 5.942)
	(= (slew_time Planet13 Star16) 5.942)
	(= (slew_time Star16 Phenomenon14) 42.86)
	(= (slew_time Phenomenon14 Star16) 42.86)
	(= (slew_time Star16 Star15) 17.15)
	(= (slew_time Star15 Star16) 17.15)
	(= (slew_time Planet17 Star0) 84.14)
	(= (slew_time Star0 Planet17) 84.14)
	(= (slew_time Planet17 GroundStation1) 27.4)
	(= (slew_time GroundStation1 Planet17) 27.4)
	(= (slew_time Planet17 GroundStation2) 3.119)
	(= (slew_time GroundStation2 Planet17) 3.119)
	(= (slew_time Planet17 Planet3) 49.2)
	(= (slew_time Planet3 Planet17) 49.2)
	(= (slew_time Planet17 Planet4) 37.56)
	(= (slew_time Planet4 Planet17) 37.56)
	(= (slew_time Planet17 Phenomenon5) 0.5736)
	(= (slew_time Phenomenon5 Planet17) 0.5736)
	(= (slew_time Planet17 Phenomenon6) 61.72)
	(= (slew_time Phenomenon6 Planet17) 61.72)
	(= (slew_time Planet17 Star7) 20.45)
	(= (slew_time Star7 Planet17) 20.45)
	(= (slew_time Planet17 Planet8) 19.15)
	(= (slew_time Planet8 Planet17) 19.15)
	(= (slew_time Planet17 Planet9) 41.01)
	(= (slew_time Planet9 Planet17) 41.01)
	(= (slew_time Planet17 Star10) 36.3)
	(= (slew_time Star10 Planet17) 36.3)
	(= (slew_time Planet17 Star11) 50.72)
	(= (slew_time Star11 Planet17) 50.72)
	(= (slew_time Planet17 Planet12) 2.931)
	(= (slew_time Planet12 Planet17) 2.931)
	(= (slew_time Planet17 Planet13) 25.15)
	(= (slew_time Planet13 Planet17) 25.15)
	(= (slew_time Planet17 Phenomenon14) 22.41)
	(= (slew_time Phenomenon14 Planet17) 22.41)
	(= (slew_time Planet17 Star15) 24.72)
	(= (slew_time Star15 Planet17) 24.72)
	(= (slew_time Planet17 Star16) 15.24)
	(= (slew_time Star16 Planet17) 15.24)
	(= (slew_time Star18 Star0) 15.25)
	(= (slew_time Star0 Star18) 15.25)
	(= (slew_time Star18 GroundStation1) 37.64)
	(= (slew_time GroundStation1 Star18) 37.64)
	(= (slew_time Star18 GroundStation2) 22.02)
	(= (slew_time GroundStation2 Star18) 22.02)
	(= (slew_time Star18 Planet3) 26.49)
	(= (slew_time Planet3 Star18) 26.49)
	(= (slew_time Star18 Planet4) 13.72)
	(= (slew_time Planet4 Star18) 13.72)
	(= (slew_time Star18 Phenomenon5) 37.48)
	(= (slew_time Phenomenon5 Star18) 37.48)
	(= (slew_time Star18 Phenomenon6) 7.891)
	(= (slew_time Phenomenon6 Star18) 7.891)
	(= (slew_time Star18 Star7) 24.99)
	(= (slew_time Star7 Star18) 24.99)
	(= (slew_time Star18 Planet8) 15.73)
	(= (slew_time Planet8 Star18) 15.73)
	(= (slew_time Star18 Planet9) 76.19)
	(= (slew_time Planet9 Star18) 76.19)
	(= (slew_time Star18 Star10) 21.85)
	(= (slew_time Star10 Star18) 21.85)
	(= (slew_time Star18 Star11) 32.21)
	(= (slew_time Star11 Star18) 32.21)
	(= (slew_time Star18 Planet12) 50.45)
	(= (slew_time Planet12 Star18) 50.45)
	(= (slew_time Star18 Planet13) 21.43)
	(= (slew_time Planet13 Star18) 21.43)
	(= (slew_time Star18 Phenomenon14) 39.84)
	(= (slew_time Phenomenon14 Star18) 39.84)
	(= (slew_time Star18 Star15) 88.45)
	(= (slew_time Star15 Star18) 88.45)
	(= (slew_time Star18 Star16) 17.67)
	(= (slew_time Star16 Star18) 17.67)
	(= (slew_time Star18 Planet17) 82.75)
	(= (slew_time Planet17 Star18) 82.75)
	(= (slew_time Phenomenon19 Star0) 24.25)
	(= (slew_time Star0 Phenomenon19) 24.25)
	(= (slew_time Phenomenon19 GroundStation1) 11.46)
	(= (slew_time GroundStation1 Phenomenon19) 11.46)
	(= (slew_time Phenomenon19 GroundStation2) 50.69)
	(= (slew_time GroundStation2 Phenomenon19) 50.69)
	(= (slew_time Phenomenon19 Planet3) 0.9552)
	(= (slew_time Planet3 Phenomenon19) 0.9552)
	(= (slew_time Phenomenon19 Planet4) 20.11)
	(= (slew_time Planet4 Phenomenon19) 20.11)
	(= (slew_time Phenomenon19 Phenomenon5) 1.508)
	(= (slew_time Phenomenon5 Phenomenon19) 1.508)
	(= (slew_time Phenomenon19 Phenomenon6) 12.59)
	(= (slew_time Phenomenon6 Phenomenon19) 12.59)
	(= (slew_time Phenomenon19 Star7) 25.84)
	(= (slew_time Star7 Phenomenon19) 25.84)
	(= (slew_time Phenomenon19 Planet8) 97.02)
	(= (slew_time Planet8 Phenomenon19) 97.02)
	(= (slew_time Phenomenon19 Planet9) 88.86)
	(= (slew_time Planet9 Phenomenon19) 88.86)
	(= (slew_time Phenomenon19 Star10) 11.07)
	(= (slew_time Star10 Phenomenon19) 11.07)
	(= (slew_time Phenomenon19 Star11) 61.14)
	(= (slew_time Star11 Phenomenon19) 61.14)
	(= (slew_time Phenomenon19 Planet12) 17.77)
	(= (slew_time Planet12 Phenomenon19) 17.77)
	(= (slew_time Phenomenon19 Planet13) 1.198)
	(= (slew_time Planet13 Phenomenon19) 1.198)
	(= (slew_time Phenomenon19 Phenomenon14) 38.25)
	(= (slew_time Phenomenon14 Phenomenon19) 38.25)
	(= (slew_time Phenomenon19 Star15) 18.61)
	(= (slew_time Star15 Phenomenon19) 18.61)
	(= (slew_time Phenomenon19 Star16) 24.6)
	(= (slew_time Star16 Phenomenon19) 24.6)
	(= (slew_time Phenomenon19 Planet17) 8.856)
	(= (slew_time Planet17 Phenomenon19) 8.856)
	(= (slew_time Phenomenon19 Star18) 11.9)
	(= (slew_time Star18 Phenomenon19) 11.9)
	(= (slew_time Phenomenon20 Star0) 1.753)
	(= (slew_time Star0 Phenomenon20) 1.753)
	(= (slew_time Phenomenon20 GroundStation1) 64.72)
	(= (slew_time GroundStation1 Phenomenon20) 64.72)
	(= (slew_time Phenomenon20 GroundStation2) 57.01)
	(= (slew_time GroundStation2 Phenomenon20) 57.01)
	(= (slew_time Phenomenon20 Planet3) 6.224)
	(= (slew_time Planet3 Phenomenon20) 6.224)
	(= (slew_time Phenomenon20 Planet4) 25.18)
	(= (slew_time Planet4 Phenomenon20) 25.18)
	(= (slew_time Phenomenon20 Phenomenon5) 14.46)
	(= (slew_time Phenomenon5 Phenomenon20) 14.46)
	(= (slew_time Phenomenon20 Phenomenon6) 85.85)
	(= (slew_time Phenomenon6 Phenomenon20) 85.85)
	(= (slew_time Phenomenon20 Star7) 16.55)
	(= (slew_time Star7 Phenomenon20) 16.55)
	(= (slew_time Phenomenon20 Planet8) 15.22)
	(= (slew_time Planet8 Phenomenon20) 15.22)
	(= (slew_time Phenomenon20 Planet9) 3.06)
	(= (slew_time Planet9 Phenomenon20) 3.06)
	(= (slew_time Phenomenon20 Star10) 11.41)
	(= (slew_time Star10 Phenomenon20) 11.41)
	(= (slew_time Phenomenon20 Star11) 66.62)
	(= (slew_time Star11 Phenomenon20) 66.62)
	(= (slew_time Phenomenon20 Planet12) 81.24)
	(= (slew_time Planet12 Phenomenon20) 81.24)
	(= (slew_time Phenomenon20 Planet13) 35.83)
	(= (slew_time Planet13 Phenomenon20) 35.83)
	(= (slew_time Phenomenon20 Phenomenon14) 26.23)
	(= (slew_time Phenomenon14 Phenomenon20) 26.23)
	(= (slew_time Phenomenon20 Star15) 40.55)
	(= (slew_time Star15 Phenomenon20) 40.55)
	(= (slew_time Phenomenon20 Star16) 28.3)
	(= (slew_time Star16 Phenomenon20) 28.3)
	(= (slew_time Phenomenon20 Planet17) 23.14)
	(= (slew_time Planet17 Phenomenon20) 23.14)
	(= (slew_time Phenomenon20 Star18) 10.5)
	(= (slew_time Star18 Phenomenon20) 10.5)
	(= (slew_time Phenomenon20 Phenomenon19) 25.4)
	(= (slew_time Phenomenon19 Phenomenon20) 25.4)
	(= (slew_time Planet21 Star0) 51.68)
	(= (slew_time Star0 Planet21) 51.68)
	(= (slew_time Planet21 GroundStation1) 25.73)
	(= (slew_time GroundStation1 Planet21) 25.73)
	(= (slew_time Planet21 GroundStation2) 79)
	(= (slew_time GroundStation2 Planet21) 79)
	(= (slew_time Planet21 Planet3) 69.66)
	(= (slew_time Planet3 Planet21) 69.66)
	(= (slew_time Planet21 Planet4) 79.21)
	(= (slew_time Planet4 Planet21) 79.21)
	(= (slew_time Planet21 Phenomenon5) 4.483)
	(= (slew_time Phenomenon5 Planet21) 4.483)
	(= (slew_time Planet21 Phenomenon6) 5.476)
	(= (slew_time Phenomenon6 Planet21) 5.476)
	(= (slew_time Planet21 Star7) 30.42)
	(= (slew_time Star7 Planet21) 30.42)
	(= (slew_time Planet21 Planet8) 70.78)
	(= (slew_time Planet8 Planet21) 70.78)
	(= (slew_time Planet21 Planet9) 54.36)
	(= (slew_time Planet9 Planet21) 54.36)
	(= (slew_time Planet21 Star10) 65.08)
	(= (slew_time Star10 Planet21) 65.08)
	(= (slew_time Planet21 Star11) 24.89)
	(= (slew_time Star11 Planet21) 24.89)
	(= (slew_time Planet21 Planet12) 17.31)
	(= (slew_time Planet12 Planet21) 17.31)
	(= (slew_time Planet21 Planet13) 8.759)
	(= (slew_time Planet13 Planet21) 8.759)
	(= (slew_time Planet21 Phenomenon14) 1.208)
	(= (slew_time Phenomenon14 Planet21) 1.208)
	(= (slew_time Planet21 Star15) 2.565)
	(= (slew_time Star15 Planet21) 2.565)
	(= (slew_time Planet21 Star16) 92.14)
	(= (slew_time Star16 Planet21) 92.14)
	(= (slew_time Planet21 Planet17) 50.15)
	(= (slew_time Planet17 Planet21) 50.15)
	(= (slew_time Planet21 Star18) 26.26)
	(= (slew_time Star18 Planet21) 26.26)
	(= (slew_time Planet21 Phenomenon19) 30.83)
	(= (slew_time Phenomenon19 Planet21) 30.83)
	(= (slew_time Planet21 Phenomenon20) 11.9)
	(= (slew_time Phenomenon20 Planet21) 11.9)
	(= (slew_time Planet22 Star0) 50.78)
	(= (slew_time Star0 Planet22) 50.78)
	(= (slew_time Planet22 GroundStation1) 26.52)
	(= (slew_time GroundStation1 Planet22) 26.52)
	(= (slew_time Planet22 GroundStation2) 79.41)
	(= (slew_time GroundStation2 Planet22) 79.41)
	(= (slew_time Planet22 Planet3) 43.09)
	(= (slew_time Planet3 Planet22) 43.09)
	(= (slew_time Planet22 Planet4) 18.52)
	(= (slew_time Planet4 Planet22) 18.52)
	(= (slew_time Planet22 Phenomenon5) 13.45)
	(= (slew_time Phenomenon5 Planet22) 13.45)
	(= (slew_time Planet22 Phenomenon6) 19.43)
	(= (slew_time Phenomenon6 Planet22) 19.43)
	(= (slew_time Planet22 Star7) 24.65)
	(= (slew_time Star7 Planet22) 24.65)
	(= (slew_time Planet22 Planet8) 89.28)
	(= (slew_time Planet8 Planet22) 89.28)
	(= (slew_time Planet22 Planet9) 26.01)
	(= (slew_time Planet9 Planet22) 26.01)
	(= (slew_time Planet22 Star10) 22.68)
	(= (slew_time Star10 Planet22) 22.68)
	(= (slew_time Planet22 Star11) 18.62)
	(= (slew_time Star11 Planet22) 18.62)
	(= (slew_time Planet22 Planet12) 44.11)
	(= (slew_time Planet12 Planet22) 44.11)
	(= (slew_time Planet22 Planet13) 29.1)
	(= (slew_time Planet13 Planet22) 29.1)
	(= (slew_time Planet22 Phenomenon14) 6.379)
	(= (slew_time Phenomenon14 Planet22) 6.379)
	(= (slew_time Planet22 Star15) 24.17)
	(= (slew_time Star15 Planet22) 24.17)
	(= (slew_time Planet22 Star16) 21.01)
	(= (slew_time Star16 Planet22) 21.01)
	(= (slew_time Planet22 Planet17) 17.06)
	(= (slew_time Planet17 Planet22) 17.06)
	(= (slew_time Planet22 Star18) 77.97)
	(= (slew_time Star18 Planet22) 77.97)
	(= (slew_time Planet22 Phenomenon19) 73.05)
	(= (slew_time Phenomenon19 Planet22) 73.05)
	(= (slew_time Planet22 Phenomenon20) 57.1)
	(= (slew_time Phenomenon20 Planet22) 57.1)
	(= (slew_time Planet22 Planet21) 13.28)
	(= (slew_time Planet21 Planet22) 13.28)
	(= (slew_time Phenomenon23 Star0) 14.12)
	(= (slew_time Star0 Phenomenon23) 14.12)
	(= (slew_time Phenomenon23 GroundStation1) 6.935)
	(= (slew_time GroundStation1 Phenomenon23) 6.935)
	(= (slew_time Phenomenon23 GroundStation2) 80.59)
	(= (slew_time GroundStation2 Phenomenon23) 80.59)
	(= (slew_time Phenomenon23 Planet3) 18.65)
	(= (slew_time Planet3 Phenomenon23) 18.65)
	(= (slew_time Phenomenon23 Planet4) 85.44)
	(= (slew_time Planet4 Phenomenon23) 85.44)
	(= (slew_time Phenomenon23 Phenomenon5) 6.323)
	(= (slew_time Phenomenon5 Phenomenon23) 6.323)
	(= (slew_time Phenomenon23 Phenomenon6) 35.02)
	(= (slew_time Phenomenon6 Phenomenon23) 35.02)
	(= (slew_time Phenomenon23 Star7) 54.65)
	(= (slew_time Star7 Phenomenon23) 54.65)
	(= (slew_time Phenomenon23 Planet8) 65.02)
	(= (slew_time Planet8 Phenomenon23) 65.02)
	(= (slew_time Phenomenon23 Planet9) 33.53)
	(= (slew_time Planet9 Phenomenon23) 33.53)
	(= (slew_time Phenomenon23 Star10) 76.42)
	(= (slew_time Star10 Phenomenon23) 76.42)
	(= (slew_time Phenomenon23 Star11) 55.25)
	(= (slew_time Star11 Phenomenon23) 55.25)
	(= (slew_time Phenomenon23 Planet12) 0.05348)
	(= (slew_time Planet12 Phenomenon23) 0.05348)
	(= (slew_time Phenomenon23 Planet13) 4.025)
	(= (slew_time Planet13 Phenomenon23) 4.025)
	(= (slew_time Phenomenon23 Phenomenon14) 25.87)
	(= (slew_time Phenomenon14 Phenomenon23) 25.87)
	(= (slew_time Phenomenon23 Star15) 53.84)
	(= (slew_time Star15 Phenomenon23) 53.84)
	(= (slew_time Phenomenon23 Star16) 43.55)
	(= (slew_time Star16 Phenomenon23) 43.55)
	(= (slew_time Phenomenon23 Planet17) 1.301)
	(= (slew_time Planet17 Phenomenon23) 1.301)
	(= (slew_time Phenomenon23 Star18) 38.73)
	(= (slew_time Star18 Phenomenon23) 38.73)
	(= (slew_time Phenomenon23 Phenomenon19) 45.1)
	(= (slew_time Phenomenon19 Phenomenon23) 45.1)
	(= (slew_time Phenomenon23 Phenomenon20) 36.08)
	(= (slew_time Phenomenon20 Phenomenon23) 36.08)
	(= (slew_time Phenomenon23 Planet21) 47.55)
	(= (slew_time Planet21 Phenomenon23) 47.55)
	(= (slew_time Phenomenon23 Planet22) 8.441)
	(= (slew_time Planet22 Phenomenon23) 8.441)
	(= (slew_time Phenomenon24 Star0) 19.65)
	(= (slew_time Star0 Phenomenon24) 19.65)
	(= (slew_time Phenomenon24 GroundStation1) 15.98)
	(= (slew_time GroundStation1 Phenomenon24) 15.98)
	(= (slew_time Phenomenon24 GroundStation2) 11.63)
	(= (slew_time GroundStation2 Phenomenon24) 11.63)
	(= (slew_time Phenomenon24 Planet3) 23.53)
	(= (slew_time Planet3 Phenomenon24) 23.53)
	(= (slew_time Phenomenon24 Planet4) 11.98)
	(= (slew_time Planet4 Phenomenon24) 11.98)
	(= (slew_time Phenomenon24 Phenomenon5) 11.94)
	(= (slew_time Phenomenon5 Phenomenon24) 11.94)
	(= (slew_time Phenomenon24 Phenomenon6) 63.42)
	(= (slew_time Phenomenon6 Phenomenon24) 63.42)
	(= (slew_time Phenomenon24 Star7) 2.387)
	(= (slew_time Star7 Phenomenon24) 2.387)
	(= (slew_time Phenomenon24 Planet8) 20)
	(= (slew_time Planet8 Phenomenon24) 20)
	(= (slew_time Phenomenon24 Planet9) 79.54)
	(= (slew_time Planet9 Phenomenon24) 79.54)
	(= (slew_time Phenomenon24 Star10) 25.78)
	(= (slew_time Star10 Phenomenon24) 25.78)
	(= (slew_time Phenomenon24 Star11) 20.13)
	(= (slew_time Star11 Phenomenon24) 20.13)
	(= (slew_time Phenomenon24 Planet12) 15.17)
	(= (slew_time Planet12 Phenomenon24) 15.17)
	(= (slew_time Phenomenon24 Planet13) 10.88)
	(= (slew_time Planet13 Phenomenon24) 10.88)
	(= (slew_time Phenomenon24 Phenomenon14) 1.812)
	(= (slew_time Phenomenon14 Phenomenon24) 1.812)
	(= (slew_time Phenomenon24 Star15) 30.13)
	(= (slew_time Star15 Phenomenon24) 30.13)
	(= (slew_time Phenomenon24 Star16) 9.747)
	(= (slew_time Star16 Phenomenon24) 9.747)
	(= (slew_time Phenomenon24 Planet17) 20.17)
	(= (slew_time Planet17 Phenomenon24) 20.17)
	(= (slew_time Phenomenon24 Star18) 56.02)
	(= (slew_time Star18 Phenomenon24) 56.02)
	(= (slew_time Phenomenon24 Phenomenon19) 33.49)
	(= (slew_time Phenomenon19 Phenomenon24) 33.49)
	(= (slew_time Phenomenon24 Phenomenon20) 61.36)
	(= (slew_time Phenomenon20 Phenomenon24) 61.36)
	(= (slew_time Phenomenon24 Planet21) 14.84)
	(= (slew_time Planet21 Phenomenon24) 14.84)
	(= (slew_time Phenomenon24 Planet22) 46.64)
	(= (slew_time Planet22 Phenomenon24) 46.64)
	(= (slew_time Phenomenon24 Phenomenon23) 31.77)
	(= (slew_time Phenomenon23 Phenomenon24) 31.77)
	(= (slew_time Star25 Star0) 13.6)
	(= (slew_time Star0 Star25) 13.6)
	(= (slew_time Star25 GroundStation1) 69.6)
	(= (slew_time GroundStation1 Star25) 69.6)
	(= (slew_time Star25 GroundStation2) 53.86)
	(= (slew_time GroundStation2 Star25) 53.86)
	(= (slew_time Star25 Planet3) 10.1)
	(= (slew_time Planet3 Star25) 10.1)
	(= (slew_time Star25 Planet4) 57.5)
	(= (slew_time Planet4 Star25) 57.5)
	(= (slew_time Star25 Phenomenon5) 15.85)
	(= (slew_time Phenomenon5 Star25) 15.85)
	(= (slew_time Star25 Phenomenon6) 60.07)
	(= (slew_time Phenomenon6 Star25) 60.07)
	(= (slew_time Star25 Star7) 22.13)
	(= (slew_time Star7 Star25) 22.13)
	(= (slew_time Star25 Planet8) 57.86)
	(= (slew_time Planet8 Star25) 57.86)
	(= (slew_time Star25 Planet9) 10.72)
	(= (slew_time Planet9 Star25) 10.72)
	(= (slew_time Star25 Star10) 46.05)
	(= (slew_time Star10 Star25) 46.05)
	(= (slew_time Star25 Star11) 35.14)
	(= (slew_time Star11 Star25) 35.14)
	(= (slew_time Star25 Planet12) 57.41)
	(= (slew_time Planet12 Star25) 57.41)
	(= (slew_time Star25 Planet13) 72.09)
	(= (slew_time Planet13 Star25) 72.09)
	(= (slew_time Star25 Phenomenon14) 18.65)
	(= (slew_time Phenomenon14 Star25) 18.65)
	(= (slew_time Star25 Star15) 53.66)
	(= (slew_time Star15 Star25) 53.66)
	(= (slew_time Star25 Star16) 44.7)
	(= (slew_time Star16 Star25) 44.7)
	(= (slew_time Star25 Planet17) 45.29)
	(= (slew_time Planet17 Star25) 45.29)
	(= (slew_time Star25 Star18) 31.82)
	(= (slew_time Star18 Star25) 31.82)
	(= (slew_time Star25 Phenomenon19) 54.82)
	(= (slew_time Phenomenon19 Star25) 54.82)
	(= (slew_time Star25 Phenomenon20) 48.66)
	(= (slew_time Phenomenon20 Star25) 48.66)
	(= (slew_time Star25 Planet21) 44.95)
	(= (slew_time Planet21 Star25) 44.95)
	(= (slew_time Star25 Planet22) 80.25)
	(= (slew_time Planet22 Star25) 80.25)
	(= (slew_time Star25 Phenomenon23) 12.85)
	(= (slew_time Phenomenon23 Star25) 12.85)
	(= (slew_time Star25 Phenomenon24) 32.33)
	(= (slew_time Phenomenon24 Star25) 32.33)
	(= (slew_time Phenomenon26 Star0) 21.02)
	(= (slew_time Star0 Phenomenon26) 21.02)
	(= (slew_time Phenomenon26 GroundStation1) 28.21)
	(= (slew_time GroundStation1 Phenomenon26) 28.21)
	(= (slew_time Phenomenon26 GroundStation2) 9.337)
	(= (slew_time GroundStation2 Phenomenon26) 9.337)
	(= (slew_time Phenomenon26 Planet3) 37.52)
	(= (slew_time Planet3 Phenomenon26) 37.52)
	(= (slew_time Phenomenon26 Planet4) 22.12)
	(= (slew_time Planet4 Phenomenon26) 22.12)
	(= (slew_time Phenomenon26 Phenomenon5) 25.22)
	(= (slew_time Phenomenon5 Phenomenon26) 25.22)
	(= (slew_time Phenomenon26 Phenomenon6) 8.142)
	(= (slew_time Phenomenon6 Phenomenon26) 8.142)
	(= (slew_time Phenomenon26 Star7) 28.85)
	(= (slew_time Star7 Phenomenon26) 28.85)
	(= (slew_time Phenomenon26 Planet8) 40.5)
	(= (slew_time Planet8 Phenomenon26) 40.5)
	(= (slew_time Phenomenon26 Planet9) 33.15)
	(= (slew_time Planet9 Phenomenon26) 33.15)
	(= (slew_time Phenomenon26 Star10) 7.268)
	(= (slew_time Star10 Phenomenon26) 7.268)
	(= (slew_time Phenomenon26 Star11) 5.748)
	(= (slew_time Star11 Phenomenon26) 5.748)
	(= (slew_time Phenomenon26 Planet12) 57.54)
	(= (slew_time Planet12 Phenomenon26) 57.54)
	(= (slew_time Phenomenon26 Planet13) 26.19)
	(= (slew_time Planet13 Phenomenon26) 26.19)
	(= (slew_time Phenomenon26 Phenomenon14) 35.19)
	(= (slew_time Phenomenon14 Phenomenon26) 35.19)
	(= (slew_time Phenomenon26 Star15) 68.34)
	(= (slew_time Star15 Phenomenon26) 68.34)
	(= (slew_time Phenomenon26 Star16) 48.97)
	(= (slew_time Star16 Phenomenon26) 48.97)
	(= (slew_time Phenomenon26 Planet17) 3.608)
	(= (slew_time Planet17 Phenomenon26) 3.608)
	(= (slew_time Phenomenon26 Star18) 80.29)
	(= (slew_time Star18 Phenomenon26) 80.29)
	(= (slew_time Phenomenon26 Phenomenon19) 46.24)
	(= (slew_time Phenomenon19 Phenomenon26) 46.24)
	(= (slew_time Phenomenon26 Phenomenon20) 19.41)
	(= (slew_time Phenomenon20 Phenomenon26) 19.41)
	(= (slew_time Phenomenon26 Planet21) 20.07)
	(= (slew_time Planet21 Phenomenon26) 20.07)
	(= (slew_time Phenomenon26 Planet22) 6.464)
	(= (slew_time Planet22 Phenomenon26) 6.464)
	(= (slew_time Phenomenon26 Phenomenon23) 25.34)
	(= (slew_time Phenomenon23 Phenomenon26) 25.34)
	(= (slew_time Phenomenon26 Phenomenon24) 28.9)
	(= (slew_time Phenomenon24 Phenomenon26) 28.9)
	(= (slew_time Phenomenon26 Star25) 79.61)
	(= (slew_time Star25 Phenomenon26) 79.61)
	(= (slew_time Phenomenon27 Star0) 45.46)
	(= (slew_time Star0 Phenomenon27) 45.46)
	(= (slew_time Phenomenon27 GroundStation1) 17.6)
	(= (slew_time GroundStation1 Phenomenon27) 17.6)
	(= (slew_time Phenomenon27 GroundStation2) 21.12)
	(= (slew_time GroundStation2 Phenomenon27) 21.12)
	(= (slew_time Phenomenon27 Planet3) 56.02)
	(= (slew_time Planet3 Phenomenon27) 56.02)
	(= (slew_time Phenomenon27 Planet4) 66.14)
	(= (slew_time Planet4 Phenomenon27) 66.14)
	(= (slew_time Phenomenon27 Phenomenon5) 6.994)
	(= (slew_time Phenomenon5 Phenomenon27) 6.994)
	(= (slew_time Phenomenon27 Phenomenon6) 29.48)
	(= (slew_time Phenomenon6 Phenomenon27) 29.48)
	(= (slew_time Phenomenon27 Star7) 51.52)
	(= (slew_time Star7 Phenomenon27) 51.52)
	(= (slew_time Phenomenon27 Planet8) 34.47)
	(= (slew_time Planet8 Phenomenon27) 34.47)
	(= (slew_time Phenomenon27 Planet9) 31.7)
	(= (slew_time Planet9 Phenomenon27) 31.7)
	(= (slew_time Phenomenon27 Star10) 13.85)
	(= (slew_time Star10 Phenomenon27) 13.85)
	(= (slew_time Phenomenon27 Star11) 1.831)
	(= (slew_time Star11 Phenomenon27) 1.831)
	(= (slew_time Phenomenon27 Planet12) 56.53)
	(= (slew_time Planet12 Phenomenon27) 56.53)
	(= (slew_time Phenomenon27 Planet13) 63.62)
	(= (slew_time Planet13 Phenomenon27) 63.62)
	(= (slew_time Phenomenon27 Phenomenon14) 38.23)
	(= (slew_time Phenomenon14 Phenomenon27) 38.23)
	(= (slew_time Phenomenon27 Star15) 20.52)
	(= (slew_time Star15 Phenomenon27) 20.52)
	(= (slew_time Phenomenon27 Star16) 3.26)
	(= (slew_time Star16 Phenomenon27) 3.26)
	(= (slew_time Phenomenon27 Planet17) 43.32)
	(= (slew_time Planet17 Phenomenon27) 43.32)
	(= (slew_time Phenomenon27 Star18) 52.27)
	(= (slew_time Star18 Phenomenon27) 52.27)
	(= (slew_time Phenomenon27 Phenomenon19) 14.86)
	(= (slew_time Phenomenon19 Phenomenon27) 14.86)
	(= (slew_time Phenomenon27 Phenomenon20) 10.73)
	(= (slew_time Phenomenon20 Phenomenon27) 10.73)
	(= (slew_time Phenomenon27 Planet21) 82.42)
	(= (slew_time Planet21 Phenomenon27) 82.42)
	(= (slew_time Phenomenon27 Planet22) 20.14)
	(= (slew_time Planet22 Phenomenon27) 20.14)
	(= (slew_time Phenomenon27 Phenomenon23) 2.748)
	(= (slew_time Phenomenon23 Phenomenon27) 2.748)
	(= (slew_time Phenomenon27 Phenomenon24) 11.85)
	(= (slew_time Phenomenon24 Phenomenon27) 11.85)
	(= (slew_time Phenomenon27 Star25) 36.05)
	(= (slew_time Star25 Phenomenon27) 36.05)
	(= (slew_time Phenomenon27 Phenomenon26) 2.164)
	(= (slew_time Phenomenon26 Phenomenon27) 2.164)
	(= (slew_time Star28 Star0) 62.59)
	(= (slew_time Star0 Star28) 62.59)
	(= (slew_time Star28 GroundStation1) 5.391)
	(= (slew_time GroundStation1 Star28) 5.391)
	(= (slew_time Star28 GroundStation2) 68.9)
	(= (slew_time GroundStation2 Star28) 68.9)
	(= (slew_time Star28 Planet3) 27.81)
	(= (slew_time Planet3 Star28) 27.81)
	(= (slew_time Star28 Planet4) 4.127)
	(= (slew_time Planet4 Star28) 4.127)
	(= (slew_time Star28 Phenomenon5) 19.7)
	(= (slew_time Phenomenon5 Star28) 19.7)
	(= (slew_time Star28 Phenomenon6) 31.52)
	(= (slew_time Phenomenon6 Star28) 31.52)
	(= (slew_time Star28 Star7) 83.6)
	(= (slew_time Star7 Star28) 83.6)
	(= (slew_time Star28 Planet8) 82.23)
	(= (slew_time Planet8 Star28) 82.23)
	(= (slew_time Star28 Planet9) 12.48)
	(= (slew_time Planet9 Star28) 12.48)
	(= (slew_time Star28 Star10) 92.94)
	(= (slew_time Star10 Star28) 92.94)
	(= (slew_time Star28 Star11) 48.88)
	(= (slew_time Star11 Star28) 48.88)
	(= (slew_time Star28 Planet12) 41.57)
	(= (slew_time Planet12 Star28) 41.57)
	(= (slew_time Star28 Planet13) 10.79)
	(= (slew_time Planet13 Star28) 10.79)
	(= (slew_time Star28 Phenomenon14) 11.4)
	(= (slew_time Phenomenon14 Star28) 11.4)
	(= (slew_time Star28 Star15) 10.01)
	(= (slew_time Star15 Star28) 10.01)
	(= (slew_time Star28 Star16) 2.658)
	(= (slew_time Star16 Star28) 2.658)
	(= (slew_time Star28 Planet17) 24.35)
	(= (slew_time Planet17 Star28) 24.35)
	(= (slew_time Star28 Star18) 23.61)
	(= (slew_time Star18 Star28) 23.61)
	(= (slew_time Star28 Phenomenon19) 64.19)
	(= (slew_time Phenomenon19 Star28) 64.19)
	(= (slew_time Star28 Phenomenon20) 33.91)
	(= (slew_time Phenomenon20 Star28) 33.91)
	(= (slew_time Star28 Planet21) 24)
	(= (slew_time Planet21 Star28) 24)
	(= (slew_time Star28 Planet22) 36.63)
	(= (slew_time Planet22 Star28) 36.63)
	(= (slew_time Star28 Phenomenon23) 1.755)
	(= (slew_time Phenomenon23 Star28) 1.755)
	(= (slew_time Star28 Phenomenon24) 88.6)
	(= (slew_time Phenomenon24 Star28) 88.6)
	(= (slew_time Star28 Star25) 1.112)
	(= (slew_time Star25 Star28) 1.112)
	(= (slew_time Star28 Phenomenon26) 51.09)
	(= (slew_time Phenomenon26 Star28) 51.09)
	(= (slew_time Star28 Phenomenon27) 63.4)
	(= (slew_time Phenomenon27 Star28) 63.4)
	(= (slew_time Planet29 Star0) 8.263)
	(= (slew_time Star0 Planet29) 8.263)
	(= (slew_time Planet29 GroundStation1) 29.07)
	(= (slew_time GroundStation1 Planet29) 29.07)
	(= (slew_time Planet29 GroundStation2) 33.56)
	(= (slew_time GroundStation2 Planet29) 33.56)
	(= (slew_time Planet29 Planet3) 10.32)
	(= (slew_time Planet3 Planet29) 10.32)
	(= (slew_time Planet29 Planet4) 52.68)
	(= (slew_time Planet4 Planet29) 52.68)
	(= (slew_time Planet29 Phenomenon5) 18.17)
	(= (slew_time Phenomenon5 Planet29) 18.17)
	(= (slew_time Planet29 Phenomenon6) 36.94)
	(= (slew_time Phenomenon6 Planet29) 36.94)
	(= (slew_time Planet29 Star7) 56.82)
	(= (slew_time Star7 Planet29) 56.82)
	(= (slew_time Planet29 Planet8) 30.03)
	(= (slew_time Planet8 Planet29) 30.03)
	(= (slew_time Planet29 Planet9) 18.57)
	(= (slew_time Planet9 Planet29) 18.57)
	(= (slew_time Planet29 Star10) 2.814)
	(= (slew_time Star10 Planet29) 2.814)
	(= (slew_time Planet29 Star11) 48.16)
	(= (slew_time Star11 Planet29) 48.16)
	(= (slew_time Planet29 Planet12) 13.07)
	(= (slew_time Planet12 Planet29) 13.07)
	(= (slew_time Planet29 Planet13) 34.89)
	(= (slew_time Planet13 Planet29) 34.89)
	(= (slew_time Planet29 Phenomenon14) 15.12)
	(= (slew_time Phenomenon14 Planet29) 15.12)
	(= (slew_time Planet29 Star15) 73.7)
	(= (slew_time Star15 Planet29) 73.7)
	(= (slew_time Planet29 Star16) 15.92)
	(= (slew_time Star16 Planet29) 15.92)
	(= (slew_time Planet29 Planet17) 32.34)
	(= (slew_time Planet17 Planet29) 32.34)
	(= (slew_time Planet29 Star18) 16.01)
	(= (slew_time Star18 Planet29) 16.01)
	(= (slew_time Planet29 Phenomenon19) 23.47)
	(= (slew_time Phenomenon19 Planet29) 23.47)
	(= (slew_time Planet29 Phenomenon20) 4.416)
	(= (slew_time Phenomenon20 Planet29) 4.416)
	(= (slew_time Planet29 Planet21) 23.76)
	(= (slew_time Planet21 Planet29) 23.76)
	(= (slew_time Planet29 Planet22) 46.73)
	(= (slew_time Planet22 Planet29) 46.73)
	(= (slew_time Planet29 Phenomenon23) 15.06)
	(= (slew_time Phenomenon23 Planet29) 15.06)
	(= (slew_time Planet29 Phenomenon24) 26.67)
	(= (slew_time Phenomenon24 Planet29) 26.67)
	(= (slew_time Planet29 Star25) 11.68)
	(= (slew_time Star25 Planet29) 11.68)
	(= (slew_time Planet29 Phenomenon26) 27.92)
	(= (slew_time Phenomenon26 Planet29) 27.92)
	(= (slew_time Planet29 Phenomenon27) 30.57)
	(= (slew_time Phenomenon27 Planet29) 30.57)
	(= (slew_time Planet29 Star28) 10.44)
	(= (slew_time Star28 Planet29) 10.44)
	(= (slew_time Phenomenon30 Star0) 56.13)
	(= (slew_time Star0 Phenomenon30) 56.13)
	(= (slew_time Phenomenon30 GroundStation1) 14.59)
	(= (slew_time GroundStation1 Phenomenon30) 14.59)
	(= (slew_time Phenomenon30 GroundStation2) 13.36)
	(= (slew_time GroundStation2 Phenomenon30) 13.36)
	(= (slew_time Phenomenon30 Planet3) 38.52)
	(= (slew_time Planet3 Phenomenon30) 38.52)
	(= (slew_time Phenomenon30 Planet4) 22.13)
	(= (slew_time Planet4 Phenomenon30) 22.13)
	(= (slew_time Phenomenon30 Phenomenon5) 38.66)
	(= (slew_time Phenomenon5 Phenomenon30) 38.66)
	(= (slew_time Phenomenon30 Phenomenon6) 9.057)
	(= (slew_time Phenomenon6 Phenomenon30) 9.057)
	(= (slew_time Phenomenon30 Star7) 14.88)
	(= (slew_time Star7 Phenomenon30) 14.88)
	(= (slew_time Phenomenon30 Planet8) 3.735)
	(= (slew_time Planet8 Phenomenon30) 3.735)
	(= (slew_time Phenomenon30 Planet9) 33.47)
	(= (slew_time Planet9 Phenomenon30) 33.47)
	(= (slew_time Phenomenon30 Star10) 39.55)
	(= (slew_time Star10 Phenomenon30) 39.55)
	(= (slew_time Phenomenon30 Star11) 49.34)
	(= (slew_time Star11 Phenomenon30) 49.34)
	(= (slew_time Phenomenon30 Planet12) 5.805)
	(= (slew_time Planet12 Phenomenon30) 5.805)
	(= (slew_time Phenomenon30 Planet13) 43.57)
	(= (slew_time Planet13 Phenomenon30) 43.57)
	(= (slew_time Phenomenon30 Phenomenon14) 34.46)
	(= (slew_time Phenomenon14 Phenomenon30) 34.46)
	(= (slew_time Phenomenon30 Star15) 35.77)
	(= (slew_time Star15 Phenomenon30) 35.77)
	(= (slew_time Phenomenon30 Star16) 34.87)
	(= (slew_time Star16 Phenomenon30) 34.87)
	(= (slew_time Phenomenon30 Planet17) 75.31)
	(= (slew_time Planet17 Phenomenon30) 75.31)
	(= (slew_time Phenomenon30 Star18) 24.71)
	(= (slew_time Star18 Phenomenon30) 24.71)
	(= (slew_time Phenomenon30 Phenomenon19) 56.3)
	(= (slew_time Phenomenon19 Phenomenon30) 56.3)
	(= (slew_time Phenomenon30 Phenomenon20) 30.78)
	(= (slew_time Phenomenon20 Phenomenon30) 30.78)
	(= (slew_time Phenomenon30 Planet21) 11.61)
	(= (slew_time Planet21 Phenomenon30) 11.61)
	(= (slew_time Phenomenon30 Planet22) 2.225)
	(= (slew_time Planet22 Phenomenon30) 2.225)
	(= (slew_time Phenomenon30 Phenomenon23) 45.38)
	(= (slew_time Phenomenon23 Phenomenon30) 45.38)
	(= (slew_time Phenomenon30 Phenomenon24) 94.29)
	(= (slew_time Phenomenon24 Phenomenon30) 94.29)
	(= (slew_time Phenomenon30 Star25) 41.73)
	(= (slew_time Star25 Phenomenon30) 41.73)
	(= (slew_time Phenomenon30 Phenomenon26) 72.82)
	(= (slew_time Phenomenon26 Phenomenon30) 72.82)
	(= (slew_time Phenomenon30 Phenomenon27) 50.27)
	(= (slew_time Phenomenon27 Phenomenon30) 50.27)
	(= (slew_time Phenomenon30 Star28) 38.37)
	(= (slew_time Star28 Phenomenon30) 38.37)
	(= (slew_time Phenomenon30 Planet29) 12.26)
	(= (slew_time Planet29 Phenomenon30) 12.26)
	(= (slew_time Phenomenon31 Star0) 20)
	(= (slew_time Star0 Phenomenon31) 20)
	(= (slew_time Phenomenon31 GroundStation1) 31.29)
	(= (slew_time GroundStation1 Phenomenon31) 31.29)
	(= (slew_time Phenomenon31 GroundStation2) 20.54)
	(= (slew_time GroundStation2 Phenomenon31) 20.54)
	(= (slew_time Phenomenon31 Planet3) 15.24)
	(= (slew_time Planet3 Phenomenon31) 15.24)
	(= (slew_time Phenomenon31 Planet4) 48.84)
	(= (slew_time Planet4 Phenomenon31) 48.84)
	(= (slew_time Phenomenon31 Phenomenon5) 64.68)
	(= (slew_time Phenomenon5 Phenomenon31) 64.68)
	(= (slew_time Phenomenon31 Phenomenon6) 12.81)
	(= (slew_time Phenomenon6 Phenomenon31) 12.81)
	(= (slew_time Phenomenon31 Star7) 7.923)
	(= (slew_time Star7 Phenomenon31) 7.923)
	(= (slew_time Phenomenon31 Planet8) 29.29)
	(= (slew_time Planet8 Phenomenon31) 29.29)
	(= (slew_time Phenomenon31 Planet9) 17.29)
	(= (slew_time Planet9 Phenomenon31) 17.29)
	(= (slew_time Phenomenon31 Star10) 22.83)
	(= (slew_time Star10 Phenomenon31) 22.83)
	(= (slew_time Phenomenon31 Star11) 79.82)
	(= (slew_time Star11 Phenomenon31) 79.82)
	(= (slew_time Phenomenon31 Planet12) 31.57)
	(= (slew_time Planet12 Phenomenon31) 31.57)
	(= (slew_time Phenomenon31 Planet13) 59.08)
	(= (slew_time Planet13 Phenomenon31) 59.08)
	(= (slew_time Phenomenon31 Phenomenon14) 48.04)
	(= (slew_time Phenomenon14 Phenomenon31) 48.04)
	(= (slew_time Phenomenon31 Star15) 70.18)
	(= (slew_time Star15 Phenomenon31) 70.18)
	(= (slew_time Phenomenon31 Star16) 1.491)
	(= (slew_time Star16 Phenomenon31) 1.491)
	(= (slew_time Phenomenon31 Planet17) 41.19)
	(= (slew_time Planet17 Phenomenon31) 41.19)
	(= (slew_time Phenomenon31 Star18) 49.6)
	(= (slew_time Star18 Phenomenon31) 49.6)
	(= (slew_time Phenomenon31 Phenomenon19) 0.2456)
	(= (slew_time Phenomenon19 Phenomenon31) 0.2456)
	(= (slew_time Phenomenon31 Phenomenon20) 7.439)
	(= (slew_time Phenomenon20 Phenomenon31) 7.439)
	(= (slew_time Phenomenon31 Planet21) 51.21)
	(= (slew_time Planet21 Phenomenon31) 51.21)
	(= (slew_time Phenomenon31 Planet22) 8.464)
	(= (slew_time Planet22 Phenomenon31) 8.464)
	(= (slew_time Phenomenon31 Phenomenon23) 27.08)
	(= (slew_time Phenomenon23 Phenomenon31) 27.08)
	(= (slew_time Phenomenon31 Phenomenon24) 25.33)
	(= (slew_time Phenomenon24 Phenomenon31) 25.33)
	(= (slew_time Phenomenon31 Star25) 71.26)
	(= (slew_time Star25 Phenomenon31) 71.26)
	(= (slew_time Phenomenon31 Phenomenon26) 13.66)
	(= (slew_time Phenomenon26 Phenomenon31) 13.66)
	(= (slew_time Phenomenon31 Phenomenon27) 43.83)
	(= (slew_time Phenomenon27 Phenomenon31) 43.83)
	(= (slew_time Phenomenon31 Star28) 45.58)
	(= (slew_time Star28 Phenomenon31) 45.58)
	(= (slew_time Phenomenon31 Planet29) 49.96)
	(= (slew_time Planet29 Phenomenon31) 49.96)
	(= (slew_time Phenomenon31 Phenomenon30) 50.09)
	(= (slew_time Phenomenon30 Phenomenon31) 50.09)
	(= (slew_time Phenomenon32 Star0) 32.6)
	(= (slew_time Star0 Phenomenon32) 32.6)
	(= (slew_time Phenomenon32 GroundStation1) 54.93)
	(= (slew_time GroundStation1 Phenomenon32) 54.93)
	(= (slew_time Phenomenon32 GroundStation2) 24.77)
	(= (slew_time GroundStation2 Phenomenon32) 24.77)
	(= (slew_time Phenomenon32 Planet3) 5.99)
	(= (slew_time Planet3 Phenomenon32) 5.99)
	(= (slew_time Phenomenon32 Planet4) 33.22)
	(= (slew_time Planet4 Phenomenon32) 33.22)
	(= (slew_time Phenomenon32 Phenomenon5) 58.56)
	(= (slew_time Phenomenon5 Phenomenon32) 58.56)
	(= (slew_time Phenomenon32 Phenomenon6) 43.58)
	(= (slew_time Phenomenon6 Phenomenon32) 43.58)
	(= (slew_time Phenomenon32 Star7) 62.92)
	(= (slew_time Star7 Phenomenon32) 62.92)
	(= (slew_time Phenomenon32 Planet8) 33.43)
	(= (slew_time Planet8 Phenomenon32) 33.43)
	(= (slew_time Phenomenon32 Planet9) 38.08)
	(= (slew_time Planet9 Phenomenon32) 38.08)
	(= (slew_time Phenomenon32 Star10) 67.66)
	(= (slew_time Star10 Phenomenon32) 67.66)
	(= (slew_time Phenomenon32 Star11) 13.58)
	(= (slew_time Star11 Phenomenon32) 13.58)
	(= (slew_time Phenomenon32 Planet12) 34.87)
	(= (slew_time Planet12 Phenomenon32) 34.87)
	(= (slew_time Phenomenon32 Planet13) 9.392)
	(= (slew_time Planet13 Phenomenon32) 9.392)
	(= (slew_time Phenomenon32 Phenomenon14) 2.657)
	(= (slew_time Phenomenon14 Phenomenon32) 2.657)
	(= (slew_time Phenomenon32 Star15) 15.81)
	(= (slew_time Star15 Phenomenon32) 15.81)
	(= (slew_time Phenomenon32 Star16) 45.05)
	(= (slew_time Star16 Phenomenon32) 45.05)
	(= (slew_time Phenomenon32 Planet17) 27.47)
	(= (slew_time Planet17 Phenomenon32) 27.47)
	(= (slew_time Phenomenon32 Star18) 31.03)
	(= (slew_time Star18 Phenomenon32) 31.03)
	(= (slew_time Phenomenon32 Phenomenon19) 36.38)
	(= (slew_time Phenomenon19 Phenomenon32) 36.38)
	(= (slew_time Phenomenon32 Phenomenon20) 18.63)
	(= (slew_time Phenomenon20 Phenomenon32) 18.63)
	(= (slew_time Phenomenon32 Planet21) 12.33)
	(= (slew_time Planet21 Phenomenon32) 12.33)
	(= (slew_time Phenomenon32 Planet22) 32.58)
	(= (slew_time Planet22 Phenomenon32) 32.58)
	(= (slew_time Phenomenon32 Phenomenon23) 82.56)
	(= (slew_time Phenomenon23 Phenomenon32) 82.56)
	(= (slew_time Phenomenon32 Phenomenon24) 7.051)
	(= (slew_time Phenomenon24 Phenomenon32) 7.051)
	(= (slew_time Phenomenon32 Star25) 62.82)
	(= (slew_time Star25 Phenomenon32) 62.82)
	(= (slew_time Phenomenon32 Phenomenon26) 8.863)
	(= (slew_time Phenomenon26 Phenomenon32) 8.863)
	(= (slew_time Phenomenon32 Phenomenon27) 48.39)
	(= (slew_time Phenomenon27 Phenomenon32) 48.39)
	(= (slew_time Phenomenon32 Star28) 41.39)
	(= (slew_time Star28 Phenomenon32) 41.39)
	(= (slew_time Phenomenon32 Planet29) 9.712)
	(= (slew_time Planet29 Phenomenon32) 9.712)
	(= (slew_time Phenomenon32 Phenomenon30) 39.18)
	(= (slew_time Phenomenon30 Phenomenon32) 39.18)
	(= (slew_time Phenomenon32 Phenomenon31) 31.32)
	(= (slew_time Phenomenon31 Phenomenon32) 31.32)
	(= (slew_time Planet33 Star0) 51.77)
	(= (slew_time Star0 Planet33) 51.77)
	(= (slew_time Planet33 GroundStation1) 20.78)
	(= (slew_time GroundStation1 Planet33) 20.78)
	(= (slew_time Planet33 GroundStation2) 7.777)
	(= (slew_time GroundStation2 Planet33) 7.777)
	(= (slew_time Planet33 Planet3) 94.16)
	(= (slew_time Planet3 Planet33) 94.16)
	(= (slew_time Planet33 Planet4) 11.02)
	(= (slew_time Planet4 Planet33) 11.02)
	(= (slew_time Planet33 Phenomenon5) 54.19)
	(= (slew_time Phenomenon5 Planet33) 54.19)
	(= (slew_time Planet33 Phenomenon6) 59.19)
	(= (slew_time Phenomenon6 Planet33) 59.19)
	(= (slew_time Planet33 Star7) 2.019)
	(= (slew_time Star7 Planet33) 2.019)
	(= (slew_time Planet33 Planet8) 28.01)
	(= (slew_time Planet8 Planet33) 28.01)
	(= (slew_time Planet33 Planet9) 6.792)
	(= (slew_time Planet9 Planet33) 6.792)
	(= (slew_time Planet33 Star10) 5.051)
	(= (slew_time Star10 Planet33) 5.051)
	(= (slew_time Planet33 Star11) 20.6)
	(= (slew_time Star11 Planet33) 20.6)
	(= (slew_time Planet33 Planet12) 28.58)
	(= (slew_time Planet12 Planet33) 28.58)
	(= (slew_time Planet33 Planet13) 37.06)
	(= (slew_time Planet13 Planet33) 37.06)
	(= (slew_time Planet33 Phenomenon14) 5.159)
	(= (slew_time Phenomenon14 Planet33) 5.159)
	(= (slew_time Planet33 Star15) 47.43)
	(= (slew_time Star15 Planet33) 47.43)
	(= (slew_time Planet33 Star16) 39.94)
	(= (slew_time Star16 Planet33) 39.94)
	(= (slew_time Planet33 Planet17) 23.33)
	(= (slew_time Planet17 Planet33) 23.33)
	(= (slew_time Planet33 Star18) 69.38)
	(= (slew_time Star18 Planet33) 69.38)
	(= (slew_time Planet33 Phenomenon19) 56.35)
	(= (slew_time Phenomenon19 Planet33) 56.35)
	(= (slew_time Planet33 Phenomenon20) 67.16)
	(= (slew_time Phenomenon20 Planet33) 67.16)
	(= (slew_time Planet33 Planet21) 7.953)
	(= (slew_time Planet21 Planet33) 7.953)
	(= (slew_time Planet33 Planet22) 28.44)
	(= (slew_time Planet22 Planet33) 28.44)
	(= (slew_time Planet33 Phenomenon23) 5.058)
	(= (slew_time Phenomenon23 Planet33) 5.058)
	(= (slew_time Planet33 Phenomenon24) 61.7)
	(= (slew_time Phenomenon24 Planet33) 61.7)
	(= (slew_time Planet33 Star25) 11.15)
	(= (slew_time Star25 Planet33) 11.15)
	(= (slew_time Planet33 Phenomenon26) 44.17)
	(= (slew_time Phenomenon26 Planet33) 44.17)
	(= (slew_time Planet33 Phenomenon27) 54.27)
	(= (slew_time Phenomenon27 Planet33) 54.27)
	(= (slew_time Planet33 Star28) 33.89)
	(= (slew_time Star28 Planet33) 33.89)
	(= (slew_time Planet33 Planet29) 28.63)
	(= (slew_time Planet29 Planet33) 28.63)
	(= (slew_time Planet33 Phenomenon30) 9.082)
	(= (slew_time Phenomenon30 Planet33) 9.082)
	(= (slew_time Planet33 Phenomenon31) 24.66)
	(= (slew_time Phenomenon31 Planet33) 24.66)
	(= (slew_time Planet33 Phenomenon32) 2.705)
	(= (slew_time Phenomenon32 Planet33) 2.705)
	(= (slew_time Planet34 Star0) 33)
	(= (slew_time Star0 Planet34) 33)
	(= (slew_time Planet34 GroundStation1) 8.649)
	(= (slew_time GroundStation1 Planet34) 8.649)
	(= (slew_time Planet34 GroundStation2) 3.647)
	(= (slew_time GroundStation2 Planet34) 3.647)
	(= (slew_time Planet34 Planet3) 0.6354)
	(= (slew_time Planet3 Planet34) 0.6354)
	(= (slew_time Planet34 Planet4) 2.927)
	(= (slew_time Planet4 Planet34) 2.927)
	(= (slew_time Planet34 Phenomenon5) 52.37)
	(= (slew_time Phenomenon5 Planet34) 52.37)
	(= (slew_time Planet34 Phenomenon6) 3.021)
	(= (slew_time Phenomenon6 Planet34) 3.021)
	(= (slew_time Planet34 Star7) 40.41)
	(= (slew_time Star7 Planet34) 40.41)
	(= (slew_time Planet34 Planet8) 53.74)
	(= (slew_time Planet8 Planet34) 53.74)
	(= (slew_time Planet34 Planet9) 20.78)
	(= (slew_time Planet9 Planet34) 20.78)
	(= (slew_time Planet34 Star10) 55.51)
	(= (slew_time Star10 Planet34) 55.51)
	(= (slew_time Planet34 Star11) 32.5)
	(= (slew_time Star11 Planet34) 32.5)
	(= (slew_time Planet34 Planet12) 11.33)
	(= (slew_time Planet12 Planet34) 11.33)
	(= (slew_time Planet34 Planet13) 40.69)
	(= (slew_time Planet13 Planet34) 40.69)
	(= (slew_time Planet34 Phenomenon14) 40.78)
	(= (slew_time Phenomenon14 Planet34) 40.78)
	(= (slew_time Planet34 Star15) 60.68)
	(= (slew_time Star15 Planet34) 60.68)
	(= (slew_time Planet34 Star16) 66.08)
	(= (slew_time Star16 Planet34) 66.08)
	(= (slew_time Planet34 Planet17) 31.15)
	(= (slew_time Planet17 Planet34) 31.15)
	(= (slew_time Planet34 Star18) 22.45)
	(= (slew_time Star18 Planet34) 22.45)
	(= (slew_time Planet34 Phenomenon19) 38.48)
	(= (slew_time Phenomenon19 Planet34) 38.48)
	(= (slew_time Planet34 Phenomenon20) 10.93)
	(= (slew_time Phenomenon20 Planet34) 10.93)
	(= (slew_time Planet34 Planet21) 18.86)
	(= (slew_time Planet21 Planet34) 18.86)
	(= (slew_time Planet34 Planet22) 15.96)
	(= (slew_time Planet22 Planet34) 15.96)
	(= (slew_time Planet34 Phenomenon23) 3.789)
	(= (slew_time Phenomenon23 Planet34) 3.789)
	(= (slew_time Planet34 Phenomenon24) 9.298)
	(= (slew_time Phenomenon24 Planet34) 9.298)
	(= (slew_time Planet34 Star25) 0.4932)
	(= (slew_time Star25 Planet34) 0.4932)
	(= (slew_time Planet34 Phenomenon26) 14.48)
	(= (slew_time Phenomenon26 Planet34) 14.48)
	(= (slew_time Planet34 Phenomenon27) 21.65)
	(= (slew_time Phenomenon27 Planet34) 21.65)
	(= (slew_time Planet34 Star28) 2.164)
	(= (slew_time Star28 Planet34) 2.164)
	(= (slew_time Planet34 Planet29) 2.216)
	(= (slew_time Planet29 Planet34) 2.216)
	(= (slew_time Planet34 Phenomenon30) 19.72)
	(= (slew_time Phenomenon30 Planet34) 19.72)
	(= (slew_time Planet34 Phenomenon31) 46.39)
	(= (slew_time Phenomenon31 Planet34) 46.39)
	(= (slew_time Planet34 Phenomenon32) 72.2)
	(= (slew_time Phenomenon32 Planet34) 72.2)
	(= (slew_time Planet34 Planet33) 44.47)
	(= (slew_time Planet33 Planet34) 44.47)
	(= (slew_time Planet35 Star0) 10.24)
	(= (slew_time Star0 Planet35) 10.24)
	(= (slew_time Planet35 GroundStation1) 1.506)
	(= (slew_time GroundStation1 Planet35) 1.506)
	(= (slew_time Planet35 GroundStation2) 26.62)
	(= (slew_time GroundStation2 Planet35) 26.62)
	(= (slew_time Planet35 Planet3) 58.97)
	(= (slew_time Planet3 Planet35) 58.97)
	(= (slew_time Planet35 Planet4) 40.55)
	(= (slew_time Planet4 Planet35) 40.55)
	(= (slew_time Planet35 Phenomenon5) 13.08)
	(= (slew_time Phenomenon5 Planet35) 13.08)
	(= (slew_time Planet35 Phenomenon6) 11.18)
	(= (slew_time Phenomenon6 Planet35) 11.18)
	(= (slew_time Planet35 Star7) 68.57)
	(= (slew_time Star7 Planet35) 68.57)
	(= (slew_time Planet35 Planet8) 4.852)
	(= (slew_time Planet8 Planet35) 4.852)
	(= (slew_time Planet35 Planet9) 26.17)
	(= (slew_time Planet9 Planet35) 26.17)
	(= (slew_time Planet35 Star10) 17.69)
	(= (slew_time Star10 Planet35) 17.69)
	(= (slew_time Planet35 Star11) 63.52)
	(= (slew_time Star11 Planet35) 63.52)
	(= (slew_time Planet35 Planet12) 72.52)
	(= (slew_time Planet12 Planet35) 72.52)
	(= (slew_time Planet35 Planet13) 3.015)
	(= (slew_time Planet13 Planet35) 3.015)
	(= (slew_time Planet35 Phenomenon14) 20.27)
	(= (slew_time Phenomenon14 Planet35) 20.27)
	(= (slew_time Planet35 Star15) 30.82)
	(= (slew_time Star15 Planet35) 30.82)
	(= (slew_time Planet35 Star16) 53.18)
	(= (slew_time Star16 Planet35) 53.18)
	(= (slew_time Planet35 Planet17) 30.5)
	(= (slew_time Planet17 Planet35) 30.5)
	(= (slew_time Planet35 Star18) 58.39)
	(= (slew_time Star18 Planet35) 58.39)
	(= (slew_time Planet35 Phenomenon19) 28.77)
	(= (slew_time Phenomenon19 Planet35) 28.77)
	(= (slew_time Planet35 Phenomenon20) 19.45)
	(= (slew_time Phenomenon20 Planet35) 19.45)
	(= (slew_time Planet35 Planet21) 34.7)
	(= (slew_time Planet21 Planet35) 34.7)
	(= (slew_time Planet35 Planet22) 40.26)
	(= (slew_time Planet22 Planet35) 40.26)
	(= (slew_time Planet35 Phenomenon23) 35.71)
	(= (slew_time Phenomenon23 Planet35) 35.71)
	(= (slew_time Planet35 Phenomenon24) 43.98)
	(= (slew_time Phenomenon24 Planet35) 43.98)
	(= (slew_time Planet35 Star25) 64.16)
	(= (slew_time Star25 Planet35) 64.16)
	(= (slew_time Planet35 Phenomenon26) 1.394)
	(= (slew_time Phenomenon26 Planet35) 1.394)
	(= (slew_time Planet35 Phenomenon27) 3.254)
	(= (slew_time Phenomenon27 Planet35) 3.254)
	(= (slew_time Planet35 Star28) 25.84)
	(= (slew_time Star28 Planet35) 25.84)
	(= (slew_time Planet35 Planet29) 38.03)
	(= (slew_time Planet29 Planet35) 38.03)
	(= (slew_time Planet35 Phenomenon30) 36.1)
	(= (slew_time Phenomenon30 Planet35) 36.1)
	(= (slew_time Planet35 Phenomenon31) 4.458)
	(= (slew_time Phenomenon31 Planet35) 4.458)
	(= (slew_time Planet35 Phenomenon32) 25.11)
	(= (slew_time Phenomenon32 Planet35) 25.11)
	(= (slew_time Planet35 Planet33) 69.09)
	(= (slew_time Planet33 Planet35) 69.09)
	(= (slew_time Planet35 Planet34) 2.423)
	(= (slew_time Planet34 Planet35) 2.423)
	(= (slew_time Star36 Star0) 65.86)
	(= (slew_time Star0 Star36) 65.86)
	(= (slew_time Star36 GroundStation1) 25.59)
	(= (slew_time GroundStation1 Star36) 25.59)
	(= (slew_time Star36 GroundStation2) 24.89)
	(= (slew_time GroundStation2 Star36) 24.89)
	(= (slew_time Star36 Planet3) 26)
	(= (slew_time Planet3 Star36) 26)
	(= (slew_time Star36 Planet4) 44.87)
	(= (slew_time Planet4 Star36) 44.87)
	(= (slew_time Star36 Phenomenon5) 73.27)
	(= (slew_time Phenomenon5 Star36) 73.27)
	(= (slew_time Star36 Phenomenon6) 16.84)
	(= (slew_time Phenomenon6 Star36) 16.84)
	(= (slew_time Star36 Star7) 8.528)
	(= (slew_time Star7 Star36) 8.528)
	(= (slew_time Star36 Planet8) 25.62)
	(= (slew_time Planet8 Star36) 25.62)
	(= (slew_time Star36 Planet9) 65.27)
	(= (slew_time Planet9 Star36) 65.27)
	(= (slew_time Star36 Star10) 49.85)
	(= (slew_time Star10 Star36) 49.85)
	(= (slew_time Star36 Star11) 1.996)
	(= (slew_time Star11 Star36) 1.996)
	(= (slew_time Star36 Planet12) 0.6687)
	(= (slew_time Planet12 Star36) 0.6687)
	(= (slew_time Star36 Planet13) 14.8)
	(= (slew_time Planet13 Star36) 14.8)
	(= (slew_time Star36 Phenomenon14) 45.98)
	(= (slew_time Phenomenon14 Star36) 45.98)
	(= (slew_time Star36 Star15) 30.01)
	(= (slew_time Star15 Star36) 30.01)
	(= (slew_time Star36 Star16) 61.54)
	(= (slew_time Star16 Star36) 61.54)
	(= (slew_time Star36 Planet17) 4.73)
	(= (slew_time Planet17 Star36) 4.73)
	(= (slew_time Star36 Star18) 7.47)
	(= (slew_time Star18 Star36) 7.47)
	(= (slew_time Star36 Phenomenon19) 60.99)
	(= (slew_time Phenomenon19 Star36) 60.99)
	(= (slew_time Star36 Phenomenon20) 14.39)
	(= (slew_time Phenomenon20 Star36) 14.39)
	(= (slew_time Star36 Planet21) 17.97)
	(= (slew_time Planet21 Star36) 17.97)
	(= (slew_time Star36 Planet22) 86.9)
	(= (slew_time Planet22 Star36) 86.9)
	(= (slew_time Star36 Phenomenon23) 12.08)
	(= (slew_time Phenomenon23 Star36) 12.08)
	(= (slew_time Star36 Phenomenon24) 9.798)
	(= (slew_time Phenomenon24 Star36) 9.798)
	(= (slew_time Star36 Star25) 12.09)
	(= (slew_time Star25 Star36) 12.09)
	(= (slew_time Star36 Phenomenon26) 34.96)
	(= (slew_time Phenomenon26 Star36) 34.96)
	(= (slew_time Star36 Phenomenon27) 30.22)
	(= (slew_time Phenomenon27 Star36) 30.22)
	(= (slew_time Star36 Star28) 62.04)
	(= (slew_time Star28 Star36) 62.04)
	(= (slew_time Star36 Planet29) 14.11)
	(= (slew_time Planet29 Star36) 14.11)
	(= (slew_time Star36 Phenomenon30) 44.21)
	(= (slew_time Phenomenon30 Star36) 44.21)
	(= (slew_time Star36 Phenomenon31) 11.86)
	(= (slew_time Phenomenon31 Star36) 11.86)
	(= (slew_time Star36 Phenomenon32) 0.286)
	(= (slew_time Phenomenon32 Star36) 0.286)
	(= (slew_time Star36 Planet33) 3.77)
	(= (slew_time Planet33 Star36) 3.77)
	(= (slew_time Star36 Planet34) 23.61)
	(= (slew_time Planet34 Star36) 23.61)
	(= (slew_time Star36 Planet35) 30.21)
	(= (slew_time Planet35 Star36) 30.21)
	(= (slew_time Star37 Star0) 12.6)
	(= (slew_time Star0 Star37) 12.6)
	(= (slew_time Star37 GroundStation1) 20.01)
	(= (slew_time GroundStation1 Star37) 20.01)
	(= (slew_time Star37 GroundStation2) 35.59)
	(= (slew_time GroundStation2 Star37) 35.59)
	(= (slew_time Star37 Planet3) 42.33)
	(= (slew_time Planet3 Star37) 42.33)
	(= (slew_time Star37 Planet4) 27.95)
	(= (slew_time Planet4 Star37) 27.95)
	(= (slew_time Star37 Phenomenon5) 15.42)
	(= (slew_time Phenomenon5 Star37) 15.42)
	(= (slew_time Star37 Phenomenon6) 53.1)
	(= (slew_time Phenomenon6 Star37) 53.1)
	(= (slew_time Star37 Star7) 75.89)
	(= (slew_time Star7 Star37) 75.89)
	(= (slew_time Star37 Planet8) 40.75)
	(= (slew_time Planet8 Star37) 40.75)
	(= (slew_time Star37 Planet9) 25.79)
	(= (slew_time Planet9 Star37) 25.79)
	(= (slew_time Star37 Star10) 40.6)
	(= (slew_time Star10 Star37) 40.6)
	(= (slew_time Star37 Star11) 36.22)
	(= (slew_time Star11 Star37) 36.22)
	(= (slew_time Star37 Planet12) 74.5)
	(= (slew_time Planet12 Star37) 74.5)
	(= (slew_time Star37 Planet13) 61.47)
	(= (slew_time Planet13 Star37) 61.47)
	(= (slew_time Star37 Phenomenon14) 21.18)
	(= (slew_time Phenomenon14 Star37) 21.18)
	(= (slew_time Star37 Star15) 28.83)
	(= (slew_time Star15 Star37) 28.83)
	(= (slew_time Star37 Star16) 44.24)
	(= (slew_time Star16 Star37) 44.24)
	(= (slew_time Star37 Planet17) 36.04)
	(= (slew_time Planet17 Star37) 36.04)
	(= (slew_time Star37 Star18) 82.94)
	(= (slew_time Star18 Star37) 82.94)
	(= (slew_time Star37 Phenomenon19) 7.348)
	(= (slew_time Phenomenon19 Star37) 7.348)
	(= (slew_time Star37 Phenomenon20) 3.599)
	(= (slew_time Phenomenon20 Star37) 3.599)
	(= (slew_time Star37 Planet21) 19.02)
	(= (slew_time Planet21 Star37) 19.02)
	(= (slew_time Star37 Planet22) 32.39)
	(= (slew_time Planet22 Star37) 32.39)
	(= (slew_time Star37 Phenomenon23) 27.14)
	(= (slew_time Phenomenon23 Star37) 27.14)
	(= (slew_time Star37 Phenomenon24) 22.08)
	(= (slew_time Phenomenon24 Star37) 22.08)
	(= (slew_time Star37 Star25) 6.7)
	(= (slew_time Star25 Star37) 6.7)
	(= (slew_time Star37 Phenomenon26) 81.66)
	(= (slew_time Phenomenon26 Star37) 81.66)
	(= (slew_time Star37 Phenomenon27) 12.49)
	(= (slew_time Phenomenon27 Star37) 12.49)
	(= (slew_time Star37 Star28) 46.5)
	(= (slew_time Star28 Star37) 46.5)
	(= (slew_time Star37 Planet29) 35.26)
	(= (slew_time Planet29 Star37) 35.26)
	(= (slew_time Star37 Phenomenon30) 59.17)
	(= (slew_time Phenomenon30 Star37) 59.17)
	(= (slew_time Star37 Phenomenon31) 16.73)
	(= (slew_time Phenomenon31 Star37) 16.73)
	(= (slew_time Star37 Phenomenon32) 42.41)
	(= (slew_time Phenomenon32 Star37) 42.41)
	(= (slew_time Star37 Planet33) 6.271)
	(= (slew_time Planet33 Star37) 6.271)
	(= (slew_time Star37 Planet34) 13.02)
	(= (slew_time Planet34 Star37) 13.02)
	(= (slew_time Star37 Planet35) 19.65)
	(= (slew_time Planet35 Star37) 19.65)
	(= (slew_time Star37 Star36) 6.992)
	(= (slew_time Star36 Star37) 6.992)
	(= (slew_time Phenomenon38 Star0) 5.236)
	(= (slew_time Star0 Phenomenon38) 5.236)
	(= (slew_time Phenomenon38 GroundStation1) 94.1)
	(= (slew_time GroundStation1 Phenomenon38) 94.1)
	(= (slew_time Phenomenon38 GroundStation2) 2.958)
	(= (slew_time GroundStation2 Phenomenon38) 2.958)
	(= (slew_time Phenomenon38 Planet3) 22.21)
	(= (slew_time Planet3 Phenomenon38) 22.21)
	(= (slew_time Phenomenon38 Planet4) 2.675)
	(= (slew_time Planet4 Phenomenon38) 2.675)
	(= (slew_time Phenomenon38 Phenomenon5) 63.92)
	(= (slew_time Phenomenon5 Phenomenon38) 63.92)
	(= (slew_time Phenomenon38 Phenomenon6) 35.75)
	(= (slew_time Phenomenon6 Phenomenon38) 35.75)
	(= (slew_time Phenomenon38 Star7) 61.34)
	(= (slew_time Star7 Phenomenon38) 61.34)
	(= (slew_time Phenomenon38 Planet8) 57.28)
	(= (slew_time Planet8 Phenomenon38) 57.28)
	(= (slew_time Phenomenon38 Planet9) 68.09)
	(= (slew_time Planet9 Phenomenon38) 68.09)
	(= (slew_time Phenomenon38 Star10) 44.37)
	(= (slew_time Star10 Phenomenon38) 44.37)
	(= (slew_time Phenomenon38 Star11) 36.81)
	(= (slew_time Star11 Phenomenon38) 36.81)
	(= (slew_time Phenomenon38 Planet12) 30.24)
	(= (slew_time Planet12 Phenomenon38) 30.24)
	(= (slew_time Phenomenon38 Planet13) 38.03)
	(= (slew_time Planet13 Phenomenon38) 38.03)
	(= (slew_time Phenomenon38 Phenomenon14) 60.74)
	(= (slew_time Phenomenon14 Phenomenon38) 60.74)
	(= (slew_time Phenomenon38 Star15) 19.95)
	(= (slew_time Star15 Phenomenon38) 19.95)
	(= (slew_time Phenomenon38 Star16) 19.76)
	(= (slew_time Star16 Phenomenon38) 19.76)
	(= (slew_time Phenomenon38 Planet17) 58.31)
	(= (slew_time Planet17 Phenomenon38) 58.31)
	(= (slew_time Phenomenon38 Star18) 48.01)
	(= (slew_time Star18 Phenomenon38) 48.01)
	(= (slew_time Phenomenon38 Phenomenon19) 60.11)
	(= (slew_time Phenomenon19 Phenomenon38) 60.11)
	(= (slew_time Phenomenon38 Phenomenon20) 11.42)
	(= (slew_time Phenomenon20 Phenomenon38) 11.42)
	(= (slew_time Phenomenon38 Planet21) 49.09)
	(= (slew_time Planet21 Phenomenon38) 49.09)
	(= (slew_time Phenomenon38 Planet22) 52.8)
	(= (slew_time Planet22 Phenomenon38) 52.8)
	(= (slew_time Phenomenon38 Phenomenon23) 20.6)
	(= (slew_time Phenomenon23 Phenomenon38) 20.6)
	(= (slew_time Phenomenon38 Phenomenon24) 46.41)
	(= (slew_time Phenomenon24 Phenomenon38) 46.41)
	(= (slew_time Phenomenon38 Star25) 60.68)
	(= (slew_time Star25 Phenomenon38) 60.68)
	(= (slew_time Phenomenon38 Phenomenon26) 75)
	(= (slew_time Phenomenon26 Phenomenon38) 75)
	(= (slew_time Phenomenon38 Phenomenon27) 58.3)
	(= (slew_time Phenomenon27 Phenomenon38) 58.3)
	(= (slew_time Phenomenon38 Star28) 38.34)
	(= (slew_time Star28 Phenomenon38) 38.34)
	(= (slew_time Phenomenon38 Planet29) 11.05)
	(= (slew_time Planet29 Phenomenon38) 11.05)
	(= (slew_time Phenomenon38 Phenomenon30) 10.04)
	(= (slew_time Phenomenon30 Phenomenon38) 10.04)
	(= (slew_time Phenomenon38 Phenomenon31) 34.94)
	(= (slew_time Phenomenon31 Phenomenon38) 34.94)
	(= (slew_time Phenomenon38 Phenomenon32) 22.95)
	(= (slew_time Phenomenon32 Phenomenon38) 22.95)
	(= (slew_time Phenomenon38 Planet33) 26.53)
	(= (slew_time Planet33 Phenomenon38) 26.53)
	(= (slew_time Phenomenon38 Planet34) 29.34)
	(= (slew_time Planet34 Phenomenon38) 29.34)
	(= (slew_time Phenomenon38 Planet35) 70.39)
	(= (slew_time Planet35 Phenomenon38) 70.39)
	(= (slew_time Phenomenon38 Star36) 70.22)
	(= (slew_time Star36 Phenomenon38) 70.22)
	(= (slew_time Phenomenon38 Star37) 42.26)
	(= (slew_time Star37 Phenomenon38) 42.26)
	(= (slew_time Planet39 Star0) 5.853)
	(= (slew_time Star0 Planet39) 5.853)
	(= (slew_time Planet39 GroundStation1) 36.65)
	(= (slew_time GroundStation1 Planet39) 36.65)
	(= (slew_time Planet39 GroundStation2) 27.66)
	(= (slew_time GroundStation2 Planet39) 27.66)
	(= (slew_time Planet39 Planet3) 39.56)
	(= (slew_time Planet3 Planet39) 39.56)
	(= (slew_time Planet39 Planet4) 33.04)
	(= (slew_time Planet4 Planet39) 33.04)
	(= (slew_time Planet39 Phenomenon5) 36.48)
	(= (slew_time Phenomenon5 Planet39) 36.48)
	(= (slew_time Planet39 Phenomenon6) 28.59)
	(= (slew_time Phenomenon6 Planet39) 28.59)
	(= (slew_time Planet39 Star7) 30.71)
	(= (slew_time Star7 Planet39) 30.71)
	(= (slew_time Planet39 Planet8) 13.89)
	(= (slew_time Planet8 Planet39) 13.89)
	(= (slew_time Planet39 Planet9) 24.03)
	(= (slew_time Planet9 Planet39) 24.03)
	(= (slew_time Planet39 Star10) 5.936)
	(= (slew_time Star10 Planet39) 5.936)
	(= (slew_time Planet39 Star11) 46.29)
	(= (slew_time Star11 Planet39) 46.29)
	(= (slew_time Planet39 Planet12) 73.4)
	(= (slew_time Planet12 Planet39) 73.4)
	(= (slew_time Planet39 Planet13) 47.5)
	(= (slew_time Planet13 Planet39) 47.5)
	(= (slew_time Planet39 Phenomenon14) 62.92)
	(= (slew_time Phenomenon14 Planet39) 62.92)
	(= (slew_time Planet39 Star15) 71.94)
	(= (slew_time Star15 Planet39) 71.94)
	(= (slew_time Planet39 Star16) 39.37)
	(= (slew_time Star16 Planet39) 39.37)
	(= (slew_time Planet39 Planet17) 19.38)
	(= (slew_time Planet17 Planet39) 19.38)
	(= (slew_time Planet39 Star18) 21.63)
	(= (slew_time Star18 Planet39) 21.63)
	(= (slew_time Planet39 Phenomenon19) 16.88)
	(= (slew_time Phenomenon19 Planet39) 16.88)
	(= (slew_time Planet39 Phenomenon20) 7.405)
	(= (slew_time Phenomenon20 Planet39) 7.405)
	(= (slew_time Planet39 Planet21) 54.17)
	(= (slew_time Planet21 Planet39) 54.17)
	(= (slew_time Planet39 Planet22) 37.16)
	(= (slew_time Planet22 Planet39) 37.16)
	(= (slew_time Planet39 Phenomenon23) 25.18)
	(= (slew_time Phenomenon23 Planet39) 25.18)
	(= (slew_time Planet39 Phenomenon24) 59.18)
	(= (slew_time Phenomenon24 Planet39) 59.18)
	(= (slew_time Planet39 Star25) 27.3)
	(= (slew_time Star25 Planet39) 27.3)
	(= (slew_time Planet39 Phenomenon26) 57.65)
	(= (slew_time Phenomenon26 Planet39) 57.65)
	(= (slew_time Planet39 Phenomenon27) 5.927)
	(= (slew_time Phenomenon27 Planet39) 5.927)
	(= (slew_time Planet39 Star28) 41.53)
	(= (slew_time Star28 Planet39) 41.53)
	(= (slew_time Planet39 Planet29) 65.47)
	(= (slew_time Planet29 Planet39) 65.47)
	(= (slew_time Planet39 Phenomenon30) 46.94)
	(= (slew_time Phenomenon30 Planet39) 46.94)
	(= (slew_time Planet39 Phenomenon31) 9.841)
	(= (slew_time Phenomenon31 Planet39) 9.841)
	(= (slew_time Planet39 Phenomenon32) 58.24)
	(= (slew_time Phenomenon32 Planet39) 58.24)
	(= (slew_time Planet39 Planet33) 1.99)
	(= (slew_time Planet33 Planet39) 1.99)
	(= (slew_time Planet39 Planet34) 31.51)
	(= (slew_time Planet34 Planet39) 31.51)
	(= (slew_time Planet39 Planet35) 68.47)
	(= (slew_time Planet35 Planet39) 68.47)
	(= (slew_time Planet39 Star36) 0.7313)
	(= (slew_time Star36 Planet39) 0.7313)
	(= (slew_time Planet39 Star37) 45.29)
	(= (slew_time Star37 Planet39) 45.29)
	(= (slew_time Planet39 Phenomenon38) 9.17)
	(= (slew_time Phenomenon38 Planet39) 9.17)
	(= (slew_time Star40 Star0) 27.54)
	(= (slew_time Star0 Star40) 27.54)
	(= (slew_time Star40 GroundStation1) 2.114)
	(= (slew_time GroundStation1 Star40) 2.114)
	(= (slew_time Star40 GroundStation2) 57.46)
	(= (slew_time GroundStation2 Star40) 57.46)
	(= (slew_time Star40 Planet3) 16.05)
	(= (slew_time Planet3 Star40) 16.05)
	(= (slew_time Star40 Planet4) 9.434)
	(= (slew_time Planet4 Star40) 9.434)
	(= (slew_time Star40 Phenomenon5) 94.31)
	(= (slew_time Phenomenon5 Star40) 94.31)
	(= (slew_time Star40 Phenomenon6) 0.3735)
	(= (slew_time Phenomenon6 Star40) 0.3735)
	(= (slew_time Star40 Star7) 12.53)
	(= (slew_time Star7 Star40) 12.53)
	(= (slew_time Star40 Planet8) 57.35)
	(= (slew_time Planet8 Star40) 57.35)
	(= (slew_time Star40 Planet9) 17.76)
	(= (slew_time Planet9 Star40) 17.76)
	(= (slew_time Star40 Star10) 18.07)
	(= (slew_time Star10 Star40) 18.07)
	(= (slew_time Star40 Star11) 52.23)
	(= (slew_time Star11 Star40) 52.23)
	(= (slew_time Star40 Planet12) 13.9)
	(= (slew_time Planet12 Star40) 13.9)
	(= (slew_time Star40 Planet13) 21.01)
	(= (slew_time Planet13 Star40) 21.01)
	(= (slew_time Star40 Phenomenon14) 45.96)
	(= (slew_time Phenomenon14 Star40) 45.96)
	(= (slew_time Star40 Star15) 38.51)
	(= (slew_time Star15 Star40) 38.51)
	(= (slew_time Star40 Star16) 40.59)
	(= (slew_time Star16 Star40) 40.59)
	(= (slew_time Star40 Planet17) 50.68)
	(= (slew_time Planet17 Star40) 50.68)
	(= (slew_time Star40 Star18) 44.33)
	(= (slew_time Star18 Star40) 44.33)
	(= (slew_time Star40 Phenomenon19) 61.98)
	(= (slew_time Phenomenon19 Star40) 61.98)
	(= (slew_time Star40 Phenomenon20) 69.1)
	(= (slew_time Phenomenon20 Star40) 69.1)
	(= (slew_time Star40 Planet21) 15.92)
	(= (slew_time Planet21 Star40) 15.92)
	(= (slew_time Star40 Planet22) 6.512)
	(= (slew_time Planet22 Star40) 6.512)
	(= (slew_time Star40 Phenomenon23) 49.02)
	(= (slew_time Phenomenon23 Star40) 49.02)
	(= (slew_time Star40 Phenomenon24) 65.09)
	(= (slew_time Phenomenon24 Star40) 65.09)
	(= (slew_time Star40 Star25) 6.102)
	(= (slew_time Star25 Star40) 6.102)
	(= (slew_time Star40 Phenomenon26) 79.02)
	(= (slew_time Phenomenon26 Star40) 79.02)
	(= (slew_time Star40 Phenomenon27) 50.94)
	(= (slew_time Phenomenon27 Star40) 50.94)
	(= (slew_time Star40 Star28) 33.3)
	(= (slew_time Star28 Star40) 33.3)
	(= (slew_time Star40 Planet29) 35.78)
	(= (slew_time Planet29 Star40) 35.78)
	(= (slew_time Star40 Phenomenon30) 47.59)
	(= (slew_time Phenomenon30 Star40) 47.59)
	(= (slew_time Star40 Phenomenon31) 2.308)
	(= (slew_time Phenomenon31 Star40) 2.308)
	(= (slew_time Star40 Phenomenon32) 60.87)
	(= (slew_time Phenomenon32 Star40) 60.87)
	(= (slew_time Star40 Planet33) 13.77)
	(= (slew_time Planet33 Star40) 13.77)
	(= (slew_time Star40 Planet34) 19.73)
	(= (slew_time Planet34 Star40) 19.73)
	(= (slew_time Star40 Planet35) 59.91)
	(= (slew_time Planet35 Star40) 59.91)
	(= (slew_time Star40 Star36) 15.88)
	(= (slew_time Star36 Star40) 15.88)
	(= (slew_time Star40 Star37) 58.3)
	(= (slew_time Star37 Star40) 58.3)
	(= (slew_time Star40 Phenomenon38) 15.54)
	(= (slew_time Phenomenon38 Star40) 15.54)
	(= (slew_time Star40 Planet39) 60.21)
	(= (slew_time Planet39 Star40) 60.21)
	(= (slew_time Star41 Star0) 33.07)
	(= (slew_time Star0 Star41) 33.07)
	(= (slew_time Star41 GroundStation1) 50.84)
	(= (slew_time GroundStation1 Star41) 50.84)
	(= (slew_time Star41 GroundStation2) 68.11)
	(= (slew_time GroundStation2 Star41) 68.11)
	(= (slew_time Star41 Planet3) 10.03)
	(= (slew_time Planet3 Star41) 10.03)
	(= (slew_time Star41 Planet4) 7.299)
	(= (slew_time Planet4 Star41) 7.299)
	(= (slew_time Star41 Phenomenon5) 6.304)
	(= (slew_time Phenomenon5 Star41) 6.304)
	(= (slew_time Star41 Phenomenon6) 37.31)
	(= (slew_time Phenomenon6 Star41) 37.31)
	(= (slew_time Star41 Star7) 47.41)
	(= (slew_time Star7 Star41) 47.41)
	(= (slew_time Star41 Planet8) 70.39)
	(= (slew_time Planet8 Star41) 70.39)
	(= (slew_time Star41 Planet9) 9.816)
	(= (slew_time Planet9 Star41) 9.816)
	(= (slew_time Star41 Star10) 6.943)
	(= (slew_time Star10 Star41) 6.943)
	(= (slew_time Star41 Star11) 60.03)
	(= (slew_time Star11 Star41) 60.03)
	(= (slew_time Star41 Planet12) 38.42)
	(= (slew_time Planet12 Star41) 38.42)
	(= (slew_time Star41 Planet13) 39.17)
	(= (slew_time Planet13 Star41) 39.17)
	(= (slew_time Star41 Phenomenon14) 5.697)
	(= (slew_time Phenomenon14 Star41) 5.697)
	(= (slew_time Star41 Star15) 30.29)
	(= (slew_time Star15 Star41) 30.29)
	(= (slew_time Star41 Star16) 0.5101)
	(= (slew_time Star16 Star41) 0.5101)
	(= (slew_time Star41 Planet17) 48.9)
	(= (slew_time Planet17 Star41) 48.9)
	(= (slew_time Star41 Star18) 74.13)
	(= (slew_time Star18 Star41) 74.13)
	(= (slew_time Star41 Phenomenon19) 51.45)
	(= (slew_time Phenomenon19 Star41) 51.45)
	(= (slew_time Star41 Phenomenon20) 18.17)
	(= (slew_time Phenomenon20 Star41) 18.17)
	(= (slew_time Star41 Planet21) 45.67)
	(= (slew_time Planet21 Star41) 45.67)
	(= (slew_time Star41 Planet22) 87.73)
	(= (slew_time Planet22 Star41) 87.73)
	(= (slew_time Star41 Phenomenon23) 3.962)
	(= (slew_time Phenomenon23 Star41) 3.962)
	(= (slew_time Star41 Phenomenon24) 6.859)
	(= (slew_time Phenomenon24 Star41) 6.859)
	(= (slew_time Star41 Star25) 37.58)
	(= (slew_time Star25 Star41) 37.58)
	(= (slew_time Star41 Phenomenon26) 24.95)
	(= (slew_time Phenomenon26 Star41) 24.95)
	(= (slew_time Star41 Phenomenon27) 42.52)
	(= (slew_time Phenomenon27 Star41) 42.52)
	(= (slew_time Star41 Star28) 3.543)
	(= (slew_time Star28 Star41) 3.543)
	(= (slew_time Star41 Planet29) 30.38)
	(= (slew_time Planet29 Star41) 30.38)
	(= (slew_time Star41 Phenomenon30) 66.5)
	(= (slew_time Phenomenon30 Star41) 66.5)
	(= (slew_time Star41 Phenomenon31) 48.01)
	(= (slew_time Phenomenon31 Star41) 48.01)
	(= (slew_time Star41 Phenomenon32) 40.12)
	(= (slew_time Phenomenon32 Star41) 40.12)
	(= (slew_time Star41 Planet33) 64.37)
	(= (slew_time Planet33 Star41) 64.37)
	(= (slew_time Star41 Planet34) 39.76)
	(= (slew_time Planet34 Star41) 39.76)
	(= (slew_time Star41 Planet35) 0.8408)
	(= (slew_time Planet35 Star41) 0.8408)
	(= (slew_time Star41 Star36) 26.43)
	(= (slew_time Star36 Star41) 26.43)
	(= (slew_time Star41 Star37) 66.11)
	(= (slew_time Star37 Star41) 66.11)
	(= (slew_time Star41 Phenomenon38) 43.09)
	(= (slew_time Phenomenon38 Star41) 43.09)
	(= (slew_time Star41 Planet39) 31.5)
	(= (slew_time Planet39 Star41) 31.5)
	(= (slew_time Star41 Star40) 68)
	(= (slew_time Star40 Star41) 68)
	(= (slew_time Star42 Star0) 49.1)
	(= (slew_time Star0 Star42) 49.1)
	(= (slew_time Star42 GroundStation1) 40.58)
	(= (slew_time GroundStation1 Star42) 40.58)
	(= (slew_time Star42 GroundStation2) 27.49)
	(= (slew_time GroundStation2 Star42) 27.49)
	(= (slew_time Star42 Planet3) 48.31)
	(= (slew_time Planet3 Star42) 48.31)
	(= (slew_time Star42 Planet4) 56.78)
	(= (slew_time Planet4 Star42) 56.78)
	(= (slew_time Star42 Phenomenon5) 13.16)
	(= (slew_time Phenomenon5 Star42) 13.16)
	(= (slew_time Star42 Phenomenon6) 16.83)
	(= (slew_time Phenomenon6 Star42) 16.83)
	(= (slew_time Star42 Star7) 53.83)
	(= (slew_time Star7 Star42) 53.83)
	(= (slew_time Star42 Planet8) 0.8668)
	(= (slew_time Planet8 Star42) 0.8668)
	(= (slew_time Star42 Planet9) 4.751)
	(= (slew_time Planet9 Star42) 4.751)
	(= (slew_time Star42 Star10) 0.5117)
	(= (slew_time Star10 Star42) 0.5117)
	(= (slew_time Star42 Star11) 68.98)
	(= (slew_time Star11 Star42) 68.98)
	(= (slew_time Star42 Planet12) 4.565)
	(= (slew_time Planet12 Star42) 4.565)
	(= (slew_time Star42 Planet13) 35.27)
	(= (slew_time Planet13 Star42) 35.27)
	(= (slew_time Star42 Phenomenon14) 3.455)
	(= (slew_time Phenomenon14 Star42) 3.455)
	(= (slew_time Star42 Star15) 28.97)
	(= (slew_time Star15 Star42) 28.97)
	(= (slew_time Star42 Star16) 15)
	(= (slew_time Star16 Star42) 15)
	(= (slew_time Star42 Planet17) 40.98)
	(= (slew_time Planet17 Star42) 40.98)
	(= (slew_time Star42 Star18) 19.2)
	(= (slew_time Star18 Star42) 19.2)
	(= (slew_time Star42 Phenomenon19) 60.92)
	(= (slew_time Phenomenon19 Star42) 60.92)
	(= (slew_time Star42 Phenomenon20) 71.62)
	(= (slew_time Phenomenon20 Star42) 71.62)
	(= (slew_time Star42 Planet21) 10.19)
	(= (slew_time Planet21 Star42) 10.19)
	(= (slew_time Star42 Planet22) 8.834)
	(= (slew_time Planet22 Star42) 8.834)
	(= (slew_time Star42 Phenomenon23) 93.13)
	(= (slew_time Phenomenon23 Star42) 93.13)
	(= (slew_time Star42 Phenomenon24) 88.37)
	(= (slew_time Phenomenon24 Star42) 88.37)
	(= (slew_time Star42 Star25) 27.28)
	(= (slew_time Star25 Star42) 27.28)
	(= (slew_time Star42 Phenomenon26) 33.68)
	(= (slew_time Phenomenon26 Star42) 33.68)
	(= (slew_time Star42 Phenomenon27) 20.31)
	(= (slew_time Phenomenon27 Star42) 20.31)
	(= (slew_time Star42 Star28) 27.71)
	(= (slew_time Star28 Star42) 27.71)
	(= (slew_time Star42 Planet29) 32.16)
	(= (slew_time Planet29 Star42) 32.16)
	(= (slew_time Star42 Phenomenon30) 79.53)
	(= (slew_time Phenomenon30 Star42) 79.53)
	(= (slew_time Star42 Phenomenon31) 16.28)
	(= (slew_time Phenomenon31 Star42) 16.28)
	(= (slew_time Star42 Phenomenon32) 49.52)
	(= (slew_time Phenomenon32 Star42) 49.52)
	(= (slew_time Star42 Planet33) 17.95)
	(= (slew_time Planet33 Star42) 17.95)
	(= (slew_time Star42 Planet34) 14)
	(= (slew_time Planet34 Star42) 14)
	(= (slew_time Star42 Planet35) 32.1)
	(= (slew_time Planet35 Star42) 32.1)
	(= (slew_time Star42 Star36) 17.05)
	(= (slew_time Star36 Star42) 17.05)
	(= (slew_time Star42 Star37) 40.42)
	(= (slew_time Star37 Star42) 40.42)
	(= (slew_time Star42 Phenomenon38) 65.55)
	(= (slew_time Phenomenon38 Star42) 65.55)
	(= (slew_time Star42 Planet39) 35.58)
	(= (slew_time Planet39 Star42) 35.58)
	(= (slew_time Star42 Star40) 21.92)
	(= (slew_time Star40 Star42) 21.92)
	(= (slew_time Star42 Star41) 11.71)
	(= (slew_time Star41 Star42) 11.71)
	(= (slew_time Phenomenon43 Star0) 3.411)
	(= (slew_time Star0 Phenomenon43) 3.411)
	(= (slew_time Phenomenon43 GroundStation1) 45.35)
	(= (slew_time GroundStation1 Phenomenon43) 45.35)
	(= (slew_time Phenomenon43 GroundStation2) 72.48)
	(= (slew_time GroundStation2 Phenomenon43) 72.48)
	(= (slew_time Phenomenon43 Planet3) 73.17)
	(= (slew_time Planet3 Phenomenon43) 73.17)
	(= (slew_time Phenomenon43 Planet4) 6.639)
	(= (slew_time Planet4 Phenomenon43) 6.639)
	(= (slew_time Phenomenon43 Phenomenon5) 25.74)
	(= (slew_time Phenomenon5 Phenomenon43) 25.74)
	(= (slew_time Phenomenon43 Phenomenon6) 33.19)
	(= (slew_time Phenomenon6 Phenomenon43) 33.19)
	(= (slew_time Phenomenon43 Star7) 80.59)
	(= (slew_time Star7 Phenomenon43) 80.59)
	(= (slew_time Phenomenon43 Planet8) 61.72)
	(= (slew_time Planet8 Phenomenon43) 61.72)
	(= (slew_time Phenomenon43 Planet9) 5.349)
	(= (slew_time Planet9 Phenomenon43) 5.349)
	(= (slew_time Phenomenon43 Star10) 74.88)
	(= (slew_time Star10 Phenomenon43) 74.88)
	(= (slew_time Phenomenon43 Star11) 27.19)
	(= (slew_time Star11 Phenomenon43) 27.19)
	(= (slew_time Phenomenon43 Planet12) 85)
	(= (slew_time Planet12 Phenomenon43) 85)
	(= (slew_time Phenomenon43 Planet13) 15.19)
	(= (slew_time Planet13 Phenomenon43) 15.19)
	(= (slew_time Phenomenon43 Phenomenon14) 78.11)
	(= (slew_time Phenomenon14 Phenomenon43) 78.11)
	(= (slew_time Phenomenon43 Star15) 25.68)
	(= (slew_time Star15 Phenomenon43) 25.68)
	(= (slew_time Phenomenon43 Star16) 10.06)
	(= (slew_time Star16 Phenomenon43) 10.06)
	(= (slew_time Phenomenon43 Planet17) 9.598)
	(= (slew_time Planet17 Phenomenon43) 9.598)
	(= (slew_time Phenomenon43 Star18) 59.68)
	(= (slew_time Star18 Phenomenon43) 59.68)
	(= (slew_time Phenomenon43 Phenomenon19) 4.589)
	(= (slew_time Phenomenon19 Phenomenon43) 4.589)
	(= (slew_time Phenomenon43 Phenomenon20) 1.095)
	(= (slew_time Phenomenon20 Phenomenon43) 1.095)
	(= (slew_time Phenomenon43 Planet21) 32.03)
	(= (slew_time Planet21 Phenomenon43) 32.03)
	(= (slew_time Phenomenon43 Planet22) 75.02)
	(= (slew_time Planet22 Phenomenon43) 75.02)
	(= (slew_time Phenomenon43 Phenomenon23) 8.841)
	(= (slew_time Phenomenon23 Phenomenon43) 8.841)
	(= (slew_time Phenomenon43 Phenomenon24) 4.393)
	(= (slew_time Phenomenon24 Phenomenon43) 4.393)
	(= (slew_time Phenomenon43 Star25) 24.35)
	(= (slew_time Star25 Phenomenon43) 24.35)
	(= (slew_time Phenomenon43 Phenomenon26) 11.24)
	(= (slew_time Phenomenon26 Phenomenon43) 11.24)
	(= (slew_time Phenomenon43 Phenomenon27) 9.745)
	(= (slew_time Phenomenon27 Phenomenon43) 9.745)
	(= (slew_time Phenomenon43 Star28) 1.984)
	(= (slew_time Star28 Phenomenon43) 1.984)
	(= (slew_time Phenomenon43 Planet29) 41.49)
	(= (slew_time Planet29 Phenomenon43) 41.49)
	(= (slew_time Phenomenon43 Phenomenon30) 56.99)
	(= (slew_time Phenomenon30 Phenomenon43) 56.99)
	(= (slew_time Phenomenon43 Phenomenon31) 57.65)
	(= (slew_time Phenomenon31 Phenomenon43) 57.65)
	(= (slew_time Phenomenon43 Phenomenon32) 35.48)
	(= (slew_time Phenomenon32 Phenomenon43) 35.48)
	(= (slew_time Phenomenon43 Planet33) 95.37)
	(= (slew_time Planet33 Phenomenon43) 95.37)
	(= (slew_time Phenomenon43 Planet34) 34.71)
	(= (slew_time Planet34 Phenomenon43) 34.71)
	(= (slew_time Phenomenon43 Planet35) 22.75)
	(= (slew_time Planet35 Phenomenon43) 22.75)
	(= (slew_time Phenomenon43 Star36) 21.19)
	(= (slew_time Star36 Phenomenon43) 21.19)
	(= (slew_time Phenomenon43 Star37) 65.71)
	(= (slew_time Star37 Phenomenon43) 65.71)
	(= (slew_time Phenomenon43 Phenomenon38) 60.72)
	(= (slew_time Phenomenon38 Phenomenon43) 60.72)
	(= (slew_time Phenomenon43 Planet39) 9.42)
	(= (slew_time Planet39 Phenomenon43) 9.42)
	(= (slew_time Phenomenon43 Star40) 42.68)
	(= (slew_time Star40 Phenomenon43) 42.68)
	(= (slew_time Phenomenon43 Star41) 55.61)
	(= (slew_time Star41 Phenomenon43) 55.61)
	(= (slew_time Phenomenon43 Star42) 30.93)
	(= (slew_time Star42 Phenomenon43) 30.93)
	(= (slew_time Star44 Star0) 0.8649)
	(= (slew_time Star0 Star44) 0.8649)
	(= (slew_time Star44 GroundStation1) 42.42)
	(= (slew_time GroundStation1 Star44) 42.42)
	(= (slew_time Star44 GroundStation2) 7.742)
	(= (slew_time GroundStation2 Star44) 7.742)
	(= (slew_time Star44 Planet3) 14.2)
	(= (slew_time Planet3 Star44) 14.2)
	(= (slew_time Star44 Planet4) 43.88)
	(= (slew_time Planet4 Star44) 43.88)
	(= (slew_time Star44 Phenomenon5) 71.03)
	(= (slew_time Phenomenon5 Star44) 71.03)
	(= (slew_time Star44 Phenomenon6) 14.88)
	(= (slew_time Phenomenon6 Star44) 14.88)
	(= (slew_time Star44 Star7) 13.88)
	(= (slew_time Star7 Star44) 13.88)
	(= (slew_time Star44 Planet8) 15.44)
	(= (slew_time Planet8 Star44) 15.44)
	(= (slew_time Star44 Planet9) 15.33)
	(= (slew_time Planet9 Star44) 15.33)
	(= (slew_time Star44 Star10) 23.39)
	(= (slew_time Star10 Star44) 23.39)
	(= (slew_time Star44 Star11) 50.74)
	(= (slew_time Star11 Star44) 50.74)
	(= (slew_time Star44 Planet12) 51.32)
	(= (slew_time Planet12 Star44) 51.32)
	(= (slew_time Star44 Planet13) 43.42)
	(= (slew_time Planet13 Star44) 43.42)
	(= (slew_time Star44 Phenomenon14) 38.96)
	(= (slew_time Phenomenon14 Star44) 38.96)
	(= (slew_time Star44 Star15) 77.06)
	(= (slew_time Star15 Star44) 77.06)
	(= (slew_time Star44 Star16) 4.247)
	(= (slew_time Star16 Star44) 4.247)
	(= (slew_time Star44 Planet17) 89.18)
	(= (slew_time Planet17 Star44) 89.18)
	(= (slew_time Star44 Star18) 68.01)
	(= (slew_time Star18 Star44) 68.01)
	(= (slew_time Star44 Phenomenon19) 11.28)
	(= (slew_time Phenomenon19 Star44) 11.28)
	(= (slew_time Star44 Phenomenon20) 5.612)
	(= (slew_time Phenomenon20 Star44) 5.612)
	(= (slew_time Star44 Planet21) 29.03)
	(= (slew_time Planet21 Star44) 29.03)
	(= (slew_time Star44 Planet22) 15.39)
	(= (slew_time Planet22 Star44) 15.39)
	(= (slew_time Star44 Phenomenon23) 78.49)
	(= (slew_time Phenomenon23 Star44) 78.49)
	(= (slew_time Star44 Phenomenon24) 21.91)
	(= (slew_time Phenomenon24 Star44) 21.91)
	(= (slew_time Star44 Star25) 18.28)
	(= (slew_time Star25 Star44) 18.28)
	(= (slew_time Star44 Phenomenon26) 22.3)
	(= (slew_time Phenomenon26 Star44) 22.3)
	(= (slew_time Star44 Phenomenon27) 77.19)
	(= (slew_time Phenomenon27 Star44) 77.19)
	(= (slew_time Star44 Star28) 50.28)
	(= (slew_time Star28 Star44) 50.28)
	(= (slew_time Star44 Planet29) 18.66)
	(= (slew_time Planet29 Star44) 18.66)
	(= (slew_time Star44 Phenomenon30) 72.04)
	(= (slew_time Phenomenon30 Star44) 72.04)
	(= (slew_time Star44 Phenomenon31) 26.78)
	(= (slew_time Phenomenon31 Star44) 26.78)
	(= (slew_time Star44 Phenomenon32) 6.972)
	(= (slew_time Phenomenon32 Star44) 6.972)
	(= (slew_time Star44 Planet33) 28.72)
	(= (slew_time Planet33 Star44) 28.72)
	(= (slew_time Star44 Planet34) 9.073)
	(= (slew_time Planet34 Star44) 9.073)
	(= (slew_time Star44 Planet35) 14.84)
	(= (slew_time Planet35 Star44) 14.84)
	(= (slew_time Star44 Star36) 22.81)
	(= (slew_time Star36 Star44) 22.81)
	(= (slew_time Star44 Star37) 64.83)
	(= (slew_time Star37 Star44) 64.83)
	(= (slew_time Star44 Phenomenon38) 86.78)
	(= (slew_time Phenomenon38 Star44) 86.78)
	(= (slew_time Star44 Planet39) 61.85)
	(= (slew_time Planet39 Star44) 61.85)
	(= (slew_time Star44 Star40) 7.485)
	(= (slew_time Star40 Star44) 7.485)
	(= (slew_time Star44 Star41) 46.01)
	(= (slew_time Star41 Star44) 46.01)
	(= (slew_time Star44 Star42) 23.97)
	(= (slew_time Star42 Star44) 23.97)
	(= (slew_time Star44 Phenomenon43) 11.56)
	(= (slew_time Phenomenon43 Star44) 11.56)
	(= (slew_time Planet45 Star0) 44.33)
	(= (slew_time Star0 Planet45) 44.33)
	(= (slew_time Planet45 GroundStation1) 32.69)
	(= (slew_time GroundStation1 Planet45) 32.69)
	(= (slew_time Planet45 GroundStation2) 3.978)
	(= (slew_time GroundStation2 Planet45) 3.978)
	(= (slew_time Planet45 Planet3) 9.48)
	(= (slew_time Planet3 Planet45) 9.48)
	(= (slew_time Planet45 Planet4) 27.32)
	(= (slew_time Planet4 Planet45) 27.32)
	(= (slew_time Planet45 Phenomenon5) 53.84)
	(= (slew_time Phenomenon5 Planet45) 53.84)
	(= (slew_time Planet45 Phenomenon6) 40.13)
	(= (slew_time Phenomenon6 Planet45) 40.13)
	(= (slew_time Planet45 Star7) 49.04)
	(= (slew_time Star7 Planet45) 49.04)
	(= (slew_time Planet45 Planet8) 25.01)
	(= (slew_time Planet8 Planet45) 25.01)
	(= (slew_time Planet45 Planet9) 2.804)
	(= (slew_time Planet9 Planet45) 2.804)
	(= (slew_time Planet45 Star10) 70.56)
	(= (slew_time Star10 Planet45) 70.56)
	(= (slew_time Planet45 Star11) 71.74)
	(= (slew_time Star11 Planet45) 71.74)
	(= (slew_time Planet45 Planet12) 35.8)
	(= (slew_time Planet12 Planet45) 35.8)
	(= (slew_time Planet45 Planet13) 34.51)
	(= (slew_time Planet13 Planet45) 34.51)
	(= (slew_time Planet45 Phenomenon14) 15.94)
	(= (slew_time Phenomenon14 Planet45) 15.94)
	(= (slew_time Planet45 Star15) 39.95)
	(= (slew_time Star15 Planet45) 39.95)
	(= (slew_time Planet45 Star16) 40.27)
	(= (slew_time Star16 Planet45) 40.27)
	(= (slew_time Planet45 Planet17) 34.38)
	(= (slew_time Planet17 Planet45) 34.38)
	(= (slew_time Planet45 Star18) 22.77)
	(= (slew_time Star18 Planet45) 22.77)
	(= (slew_time Planet45 Phenomenon19) 37.09)
	(= (slew_time Phenomenon19 Planet45) 37.09)
	(= (slew_time Planet45 Phenomenon20) 2.791)
	(= (slew_time Phenomenon20 Planet45) 2.791)
	(= (slew_time Planet45 Planet21) 60.79)
	(= (slew_time Planet21 Planet45) 60.79)
	(= (slew_time Planet45 Planet22) 15.75)
	(= (slew_time Planet22 Planet45) 15.75)
	(= (slew_time Planet45 Phenomenon23) 13.85)
	(= (slew_time Phenomenon23 Planet45) 13.85)
	(= (slew_time Planet45 Phenomenon24) 15.3)
	(= (slew_time Phenomenon24 Planet45) 15.3)
	(= (slew_time Planet45 Star25) 19.42)
	(= (slew_time Star25 Planet45) 19.42)
	(= (slew_time Planet45 Phenomenon26) 68.56)
	(= (slew_time Phenomenon26 Planet45) 68.56)
	(= (slew_time Planet45 Phenomenon27) 52.14)
	(= (slew_time Phenomenon27 Planet45) 52.14)
	(= (slew_time Planet45 Star28) 44.2)
	(= (slew_time Star28 Planet45) 44.2)
	(= (slew_time Planet45 Planet29) 31.61)
	(= (slew_time Planet29 Planet45) 31.61)
	(= (slew_time Planet45 Phenomenon30) 32.01)
	(= (slew_time Phenomenon30 Planet45) 32.01)
	(= (slew_time Planet45 Phenomenon31) 31.99)
	(= (slew_time Phenomenon31 Planet45) 31.99)
	(= (slew_time Planet45 Phenomenon32) 44.2)
	(= (slew_time Phenomenon32 Planet45) 44.2)
	(= (slew_time Planet45 Planet33) 16.53)
	(= (slew_time Planet33 Planet45) 16.53)
	(= (slew_time Planet45 Planet34) 53.75)
	(= (slew_time Planet34 Planet45) 53.75)
	(= (slew_time Planet45 Planet35) 17.06)
	(= (slew_time Planet35 Planet45) 17.06)
	(= (slew_time Planet45 Star36) 3.807)
	(= (slew_time Star36 Planet45) 3.807)
	(= (slew_time Planet45 Star37) 80.8)
	(= (slew_time Star37 Planet45) 80.8)
	(= (slew_time Planet45 Phenomenon38) 53.56)
	(= (slew_time Phenomenon38 Planet45) 53.56)
	(= (slew_time Planet45 Planet39) 60.31)
	(= (slew_time Planet39 Planet45) 60.31)
	(= (slew_time Planet45 Star40) 44.09)
	(= (slew_time Star40 Planet45) 44.09)
	(= (slew_time Planet45 Star41) 13.59)
	(= (slew_time Star41 Planet45) 13.59)
	(= (slew_time Planet45 Star42) 50.27)
	(= (slew_time Star42 Planet45) 50.27)
	(= (slew_time Planet45 Phenomenon43) 71.17)
	(= (slew_time Phenomenon43 Planet45) 71.17)
	(= (slew_time Planet45 Star44) 74.81)
	(= (slew_time Star44 Planet45) 74.81)
	(= (slew_time Planet46 Star0) 53.99)
	(= (slew_time Star0 Planet46) 53.99)
	(= (slew_time Planet46 GroundStation1) 61.15)
	(= (slew_time GroundStation1 Planet46) 61.15)
	(= (slew_time Planet46 GroundStation2) 97.43)
	(= (slew_time GroundStation2 Planet46) 97.43)
	(= (slew_time Planet46 Planet3) 21.64)
	(= (slew_time Planet3 Planet46) 21.64)
	(= (slew_time Planet46 Planet4) 36.89)
	(= (slew_time Planet4 Planet46) 36.89)
	(= (slew_time Planet46 Phenomenon5) 5.284)
	(= (slew_time Phenomenon5 Planet46) 5.284)
	(= (slew_time Planet46 Phenomenon6) 41.78)
	(= (slew_time Phenomenon6 Planet46) 41.78)
	(= (slew_time Planet46 Star7) 85.96)
	(= (slew_time Star7 Planet46) 85.96)
	(= (slew_time Planet46 Planet8) 22.84)
	(= (slew_time Planet8 Planet46) 22.84)
	(= (slew_time Planet46 Planet9) 51.16)
	(= (slew_time Planet9 Planet46) 51.16)
	(= (slew_time Planet46 Star10) 60.74)
	(= (slew_time Star10 Planet46) 60.74)
	(= (slew_time Planet46 Star11) 13.42)
	(= (slew_time Star11 Planet46) 13.42)
	(= (slew_time Planet46 Planet12) 35.02)
	(= (slew_time Planet12 Planet46) 35.02)
	(= (slew_time Planet46 Planet13) 62.15)
	(= (slew_time Planet13 Planet46) 62.15)
	(= (slew_time Planet46 Phenomenon14) 26.74)
	(= (slew_time Phenomenon14 Planet46) 26.74)
	(= (slew_time Planet46 Star15) 47.8)
	(= (slew_time Star15 Planet46) 47.8)
	(= (slew_time Planet46 Star16) 58.12)
	(= (slew_time Star16 Planet46) 58.12)
	(= (slew_time Planet46 Planet17) 44.71)
	(= (slew_time Planet17 Planet46) 44.71)
	(= (slew_time Planet46 Star18) 31.03)
	(= (slew_time Star18 Planet46) 31.03)
	(= (slew_time Planet46 Phenomenon19) 3.294)
	(= (slew_time Phenomenon19 Planet46) 3.294)
	(= (slew_time Planet46 Phenomenon20) 31.55)
	(= (slew_time Phenomenon20 Planet46) 31.55)
	(= (slew_time Planet46 Planet21) 37.86)
	(= (slew_time Planet21 Planet46) 37.86)
	(= (slew_time Planet46 Planet22) 45.01)
	(= (slew_time Planet22 Planet46) 45.01)
	(= (slew_time Planet46 Phenomenon23) 88.88)
	(= (slew_time Phenomenon23 Planet46) 88.88)
	(= (slew_time Planet46 Phenomenon24) 58.53)
	(= (slew_time Phenomenon24 Planet46) 58.53)
	(= (slew_time Planet46 Star25) 70.77)
	(= (slew_time Star25 Planet46) 70.77)
	(= (slew_time Planet46 Phenomenon26) 19.51)
	(= (slew_time Phenomenon26 Planet46) 19.51)
	(= (slew_time Planet46 Phenomenon27) 34.28)
	(= (slew_time Phenomenon27 Planet46) 34.28)
	(= (slew_time Planet46 Star28) 40.41)
	(= (slew_time Star28 Planet46) 40.41)
	(= (slew_time Planet46 Planet29) 0.6737)
	(= (slew_time Planet29 Planet46) 0.6737)
	(= (slew_time Planet46 Phenomenon30) 40.05)
	(= (slew_time Phenomenon30 Planet46) 40.05)
	(= (slew_time Planet46 Phenomenon31) 47.9)
	(= (slew_time Phenomenon31 Planet46) 47.9)
	(= (slew_time Planet46 Phenomenon32) 64.87)
	(= (slew_time Phenomenon32 Planet46) 64.87)
	(= (slew_time Planet46 Planet33) 53.72)
	(= (slew_time Planet33 Planet46) 53.72)
	(= (slew_time Planet46 Planet34) 63.17)
	(= (slew_time Planet34 Planet46) 63.17)
	(= (slew_time Planet46 Planet35) 36.19)
	(= (slew_time Planet35 Planet46) 36.19)
	(= (slew_time Planet46 Star36) 58.15)
	(= (slew_time Star36 Planet46) 58.15)
	(= (slew_time Planet46 Star37) 41.85)
	(= (slew_time Star37 Planet46) 41.85)
	(= (slew_time Planet46 Phenomenon38) 53.57)
	(= (slew_time Phenomenon38 Planet46) 53.57)
	(= (slew_time Planet46 Planet39) 28.99)
	(= (slew_time Planet39 Planet46) 28.99)
	(= (slew_time Planet46 Star40) 15.26)
	(= (slew_time Star40 Planet46) 15.26)
	(= (slew_time Planet46 Star41) 2.757)
	(= (slew_time Star41 Planet46) 2.757)
	(= (slew_time Planet46 Star42) 16.05)
	(= (slew_time Star42 Planet46) 16.05)
	(= (slew_time Planet46 Phenomenon43) 10.71)
	(= (slew_time Phenomenon43 Planet46) 10.71)
	(= (slew_time Planet46 Star44) 66.53)
	(= (slew_time Star44 Planet46) 66.53)
	(= (slew_time Planet46 Planet45) 8.477)
	(= (slew_time Planet45 Planet46) 8.477)
	(= (slew_time Phenomenon47 Star0) 20.57)
	(= (slew_time Star0 Phenomenon47) 20.57)
	(= (slew_time Phenomenon47 GroundStation1) 64.72)
	(= (slew_time GroundStation1 Phenomenon47) 64.72)
	(= (slew_time Phenomenon47 GroundStation2) 17.68)
	(= (slew_time GroundStation2 Phenomenon47) 17.68)
	(= (slew_time Phenomenon47 Planet3) 5.953)
	(= (slew_time Planet3 Phenomenon47) 5.953)
	(= (slew_time Phenomenon47 Planet4) 19.97)
	(= (slew_time Planet4 Phenomenon47) 19.97)
	(= (slew_time Phenomenon47 Phenomenon5) 56.49)
	(= (slew_time Phenomenon5 Phenomenon47) 56.49)
	(= (slew_time Phenomenon47 Phenomenon6) 37.72)
	(= (slew_time Phenomenon6 Phenomenon47) 37.72)
	(= (slew_time Phenomenon47 Star7) 12.25)
	(= (slew_time Star7 Phenomenon47) 12.25)
	(= (slew_time Phenomenon47 Planet8) 72.78)
	(= (slew_time Planet8 Phenomenon47) 72.78)
	(= (slew_time Phenomenon47 Planet9) 13.66)
	(= (slew_time Planet9 Phenomenon47) 13.66)
	(= (slew_time Phenomenon47 Star10) 41.74)
	(= (slew_time Star10 Phenomenon47) 41.74)
	(= (slew_time Phenomenon47 Star11) 56.9)
	(= (slew_time Star11 Phenomenon47) 56.9)
	(= (slew_time Phenomenon47 Planet12) 15.1)
	(= (slew_time Planet12 Phenomenon47) 15.1)
	(= (slew_time Phenomenon47 Planet13) 3.48)
	(= (slew_time Planet13 Phenomenon47) 3.48)
	(= (slew_time Phenomenon47 Phenomenon14) 25.12)
	(= (slew_time Phenomenon14 Phenomenon47) 25.12)
	(= (slew_time Phenomenon47 Star15) 21.01)
	(= (slew_time Star15 Phenomenon47) 21.01)
	(= (slew_time Phenomenon47 Star16) 4.727)
	(= (slew_time Star16 Phenomenon47) 4.727)
	(= (slew_time Phenomenon47 Planet17) 47.64)
	(= (slew_time Planet17 Phenomenon47) 47.64)
	(= (slew_time Phenomenon47 Star18) 47.88)
	(= (slew_time Star18 Phenomenon47) 47.88)
	(= (slew_time Phenomenon47 Phenomenon19) 36.92)
	(= (slew_time Phenomenon19 Phenomenon47) 36.92)
	(= (slew_time Phenomenon47 Phenomenon20) 11.29)
	(= (slew_time Phenomenon20 Phenomenon47) 11.29)
	(= (slew_time Phenomenon47 Planet21) 87.1)
	(= (slew_time Planet21 Phenomenon47) 87.1)
	(= (slew_time Phenomenon47 Planet22) 23.7)
	(= (slew_time Planet22 Phenomenon47) 23.7)
	(= (slew_time Phenomenon47 Phenomenon23) 48.04)
	(= (slew_time Phenomenon23 Phenomenon47) 48.04)
	(= (slew_time Phenomenon47 Phenomenon24) 74.56)
	(= (slew_time Phenomenon24 Phenomenon47) 74.56)
	(= (slew_time Phenomenon47 Star25) 2.499)
	(= (slew_time Star25 Phenomenon47) 2.499)
	(= (slew_time Phenomenon47 Phenomenon26) 9.341)
	(= (slew_time Phenomenon26 Phenomenon47) 9.341)
	(= (slew_time Phenomenon47 Phenomenon27) 84.51)
	(= (slew_time Phenomenon27 Phenomenon47) 84.51)
	(= (slew_time Phenomenon47 Star28) 71.88)
	(= (slew_time Star28 Phenomenon47) 71.88)
	(= (slew_time Phenomenon47 Planet29) 55.45)
	(= (slew_time Planet29 Phenomenon47) 55.45)
	(= (slew_time Phenomenon47 Phenomenon30) 47.86)
	(= (slew_time Phenomenon30 Phenomenon47) 47.86)
	(= (slew_time Phenomenon47 Phenomenon31) 57.8)
	(= (slew_time Phenomenon31 Phenomenon47) 57.8)
	(= (slew_time Phenomenon47 Phenomenon32) 48.71)
	(= (slew_time Phenomenon32 Phenomenon47) 48.71)
	(= (slew_time Phenomenon47 Planet33) 25.01)
	(= (slew_time Planet33 Phenomenon47) 25.01)
	(= (slew_time Phenomenon47 Planet34) 31.54)
	(= (slew_time Planet34 Phenomenon47) 31.54)
	(= (slew_time Phenomenon47 Planet35) 24.5)
	(= (slew_time Planet35 Phenomenon47) 24.5)
	(= (slew_time Phenomenon47 Star36) 7.648)
	(= (slew_time Star36 Phenomenon47) 7.648)
	(= (slew_time Phenomenon47 Star37) 71.25)
	(= (slew_time Star37 Phenomenon47) 71.25)
	(= (slew_time Phenomenon47 Phenomenon38) 38.06)
	(= (slew_time Phenomenon38 Phenomenon47) 38.06)
	(= (slew_time Phenomenon47 Planet39) 33.03)
	(= (slew_time Planet39 Phenomenon47) 33.03)
	(= (slew_time Phenomenon47 Star40) 53.67)
	(= (slew_time Star40 Phenomenon47) 53.67)
	(= (slew_time Phenomenon47 Star41) 52.8)
	(= (slew_time Star41 Phenomenon47) 52.8)
	(= (slew_time Phenomenon47 Star42) 15.08)
	(= (slew_time Star42 Phenomenon47) 15.08)
	(= (slew_time Phenomenon47 Phenomenon43) 12.54)
	(= (slew_time Phenomenon43 Phenomenon47) 12.54)
	(= (slew_time Phenomenon47 Star44) 81.65)
	(= (slew_time Star44 Phenomenon47) 81.65)
	(= (slew_time Phenomenon47 Planet45) 3.552)
	(= (slew_time Planet45 Phenomenon47) 3.552)
	(= (slew_time Phenomenon47 Planet46) 2.437)
	(= (slew_time Planet46 Phenomenon47) 2.437)
	(= (slew_time Phenomenon48 Star0) 27.76)
	(= (slew_time Star0 Phenomenon48) 27.76)
	(= (slew_time Phenomenon48 GroundStation1) 61.36)
	(= (slew_time GroundStation1 Phenomenon48) 61.36)
	(= (slew_time Phenomenon48 GroundStation2) 41.37)
	(= (slew_time GroundStation2 Phenomenon48) 41.37)
	(= (slew_time Phenomenon48 Planet3) 47.7)
	(= (slew_time Planet3 Phenomenon48) 47.7)
	(= (slew_time Phenomenon48 Planet4) 55.61)
	(= (slew_time Planet4 Phenomenon48) 55.61)
	(= (slew_time Phenomenon48 Phenomenon5) 31.59)
	(= (slew_time Phenomenon5 Phenomenon48) 31.59)
	(= (slew_time Phenomenon48 Phenomenon6) 58.39)
	(= (slew_time Phenomenon6 Phenomenon48) 58.39)
	(= (slew_time Phenomenon48 Star7) 71.06)
	(= (slew_time Star7 Phenomenon48) 71.06)
	(= (slew_time Phenomenon48 Planet8) 17.94)
	(= (slew_time Planet8 Phenomenon48) 17.94)
	(= (slew_time Phenomenon48 Planet9) 2.73)
	(= (slew_time Planet9 Phenomenon48) 2.73)
	(= (slew_time Phenomenon48 Star10) 68.59)
	(= (slew_time Star10 Phenomenon48) 68.59)
	(= (slew_time Phenomenon48 Star11) 11.63)
	(= (slew_time Star11 Phenomenon48) 11.63)
	(= (slew_time Phenomenon48 Planet12) 14.34)
	(= (slew_time Planet12 Phenomenon48) 14.34)
	(= (slew_time Phenomenon48 Planet13) 12.77)
	(= (slew_time Planet13 Phenomenon48) 12.77)
	(= (slew_time Phenomenon48 Phenomenon14) 12.74)
	(= (slew_time Phenomenon14 Phenomenon48) 12.74)
	(= (slew_time Phenomenon48 Star15) 40.44)
	(= (slew_time Star15 Phenomenon48) 40.44)
	(= (slew_time Phenomenon48 Star16) 32.71)
	(= (slew_time Star16 Phenomenon48) 32.71)
	(= (slew_time Phenomenon48 Planet17) 30.86)
	(= (slew_time Planet17 Phenomenon48) 30.86)
	(= (slew_time Phenomenon48 Star18) 20.79)
	(= (slew_time Star18 Phenomenon48) 20.79)
	(= (slew_time Phenomenon48 Phenomenon19) 3.844)
	(= (slew_time Phenomenon19 Phenomenon48) 3.844)
	(= (slew_time Phenomenon48 Phenomenon20) 28.03)
	(= (slew_time Phenomenon20 Phenomenon48) 28.03)
	(= (slew_time Phenomenon48 Planet21) 37.46)
	(= (slew_time Planet21 Phenomenon48) 37.46)
	(= (slew_time Phenomenon48 Planet22) 30.05)
	(= (slew_time Planet22 Phenomenon48) 30.05)
	(= (slew_time Phenomenon48 Phenomenon23) 7.506)
	(= (slew_time Phenomenon23 Phenomenon48) 7.506)
	(= (slew_time Phenomenon48 Phenomenon24) 61.47)
	(= (slew_time Phenomenon24 Phenomenon48) 61.47)
	(= (slew_time Phenomenon48 Star25) 26.18)
	(= (slew_time Star25 Phenomenon48) 26.18)
	(= (slew_time Phenomenon48 Phenomenon26) 42.48)
	(= (slew_time Phenomenon26 Phenomenon48) 42.48)
	(= (slew_time Phenomenon48 Phenomenon27) 29.95)
	(= (slew_time Phenomenon27 Phenomenon48) 29.95)
	(= (slew_time Phenomenon48 Star28) 1.708)
	(= (slew_time Star28 Phenomenon48) 1.708)
	(= (slew_time Phenomenon48 Planet29) 28.24)
	(= (slew_time Planet29 Phenomenon48) 28.24)
	(= (slew_time Phenomenon48 Phenomenon30) 37.28)
	(= (slew_time Phenomenon30 Phenomenon48) 37.28)
	(= (slew_time Phenomenon48 Phenomenon31) 51.54)
	(= (slew_time Phenomenon31 Phenomenon48) 51.54)
	(= (slew_time Phenomenon48 Phenomenon32) 29.53)
	(= (slew_time Phenomenon32 Phenomenon48) 29.53)
	(= (slew_time Phenomenon48 Planet33) 55.93)
	(= (slew_time Planet33 Phenomenon48) 55.93)
	(= (slew_time Phenomenon48 Planet34) 34.44)
	(= (slew_time Planet34 Phenomenon48) 34.44)
	(= (slew_time Phenomenon48 Planet35) 26.72)
	(= (slew_time Planet35 Phenomenon48) 26.72)
	(= (slew_time Phenomenon48 Star36) 4.785)
	(= (slew_time Star36 Phenomenon48) 4.785)
	(= (slew_time Phenomenon48 Star37) 51.1)
	(= (slew_time Star37 Phenomenon48) 51.1)
	(= (slew_time Phenomenon48 Phenomenon38) 77.14)
	(= (slew_time Phenomenon38 Phenomenon48) 77.14)
	(= (slew_time Phenomenon48 Planet39) 37.38)
	(= (slew_time Planet39 Phenomenon48) 37.38)
	(= (slew_time Phenomenon48 Star40) 66.64)
	(= (slew_time Star40 Phenomenon48) 66.64)
	(= (slew_time Phenomenon48 Star41) 22.79)
	(= (slew_time Star41 Phenomenon48) 22.79)
	(= (slew_time Phenomenon48 Star42) 1.367)
	(= (slew_time Star42 Phenomenon48) 1.367)
	(= (slew_time Phenomenon48 Phenomenon43) 65.93)
	(= (slew_time Phenomenon43 Phenomenon48) 65.93)
	(= (slew_time Phenomenon48 Star44) 30.08)
	(= (slew_time Star44 Phenomenon48) 30.08)
	(= (slew_time Phenomenon48 Planet45) 10.69)
	(= (slew_time Planet45 Phenomenon48) 10.69)
	(= (slew_time Phenomenon48 Planet46) 62.85)
	(= (slew_time Planet46 Phenomenon48) 62.85)
	(= (slew_time Phenomenon48 Phenomenon47) 22.8)
	(= (slew_time Phenomenon47 Phenomenon48) 22.8)
	(= (slew_time Planet49 Star0) 33.72)
	(= (slew_time Star0 Planet49) 33.72)
	(= (slew_time Planet49 GroundStation1) 1.189)
	(= (slew_time GroundStation1 Planet49) 1.189)
	(= (slew_time Planet49 GroundStation2) 44.16)
	(= (slew_time GroundStation2 Planet49) 44.16)
	(= (slew_time Planet49 Planet3) 3.637)
	(= (slew_time Planet3 Planet49) 3.637)
	(= (slew_time Planet49 Planet4) 24.24)
	(= (slew_time Planet4 Planet49) 24.24)
	(= (slew_time Planet49 Phenomenon5) 17.38)
	(= (slew_time Phenomenon5 Planet49) 17.38)
	(= (slew_time Planet49 Phenomenon6) 61.29)
	(= (slew_time Phenomenon6 Planet49) 61.29)
	(= (slew_time Planet49 Star7) 0.7097)
	(= (slew_time Star7 Planet49) 0.7097)
	(= (slew_time Planet49 Planet8) 94.71)
	(= (slew_time Planet8 Planet49) 94.71)
	(= (slew_time Planet49 Planet9) 71.64)
	(= (slew_time Planet9 Planet49) 71.64)
	(= (slew_time Planet49 Star10) 56.32)
	(= (slew_time Star10 Planet49) 56.32)
	(= (slew_time Planet49 Star11) 10.31)
	(= (slew_time Star11 Planet49) 10.31)
	(= (slew_time Planet49 Planet12) 21.51)
	(= (slew_time Planet12 Planet49) 21.51)
	(= (slew_time Planet49 Planet13) 27.35)
	(= (slew_time Planet13 Planet49) 27.35)
	(= (slew_time Planet49 Phenomenon14) 27.55)
	(= (slew_time Phenomenon14 Planet49) 27.55)
	(= (slew_time Planet49 Star15) 36.39)
	(= (slew_time Star15 Planet49) 36.39)
	(= (slew_time Planet49 Star16) 4.03)
	(= (slew_time Star16 Planet49) 4.03)
	(= (slew_time Planet49 Planet17) 20.27)
	(= (slew_time Planet17 Planet49) 20.27)
	(= (slew_time Planet49 Star18) 22.4)
	(= (slew_time Star18 Planet49) 22.4)
	(= (slew_time Planet49 Phenomenon19) 0.031)
	(= (slew_time Phenomenon19 Planet49) 0.031)
	(= (slew_time Planet49 Phenomenon20) 76.55)
	(= (slew_time Phenomenon20 Planet49) 76.55)
	(= (slew_time Planet49 Planet21) 20.01)
	(= (slew_time Planet21 Planet49) 20.01)
	(= (slew_time Planet49 Planet22) 17.96)
	(= (slew_time Planet22 Planet49) 17.96)
	(= (slew_time Planet49 Phenomenon23) 1.224)
	(= (slew_time Phenomenon23 Planet49) 1.224)
	(= (slew_time Planet49 Phenomenon24) 27.25)
	(= (slew_time Phenomenon24 Planet49) 27.25)
	(= (slew_time Planet49 Star25) 64.26)
	(= (slew_time Star25 Planet49) 64.26)
	(= (slew_time Planet49 Phenomenon26) 4.276)
	(= (slew_time Phenomenon26 Planet49) 4.276)
	(= (slew_time Planet49 Phenomenon27) 18.71)
	(= (slew_time Phenomenon27 Planet49) 18.71)
	(= (slew_time Planet49 Star28) 63.62)
	(= (slew_time Star28 Planet49) 63.62)
	(= (slew_time Planet49 Planet29) 28.56)
	(= (slew_time Planet29 Planet49) 28.56)
	(= (slew_time Planet49 Phenomenon30) 20.31)
	(= (slew_time Phenomenon30 Planet49) 20.31)
	(= (slew_time Planet49 Phenomenon31) 52.45)
	(= (slew_time Phenomenon31 Planet49) 52.45)
	(= (slew_time Planet49 Phenomenon32) 56.97)
	(= (slew_time Phenomenon32 Planet49) 56.97)
	(= (slew_time Planet49 Planet33) 56.41)
	(= (slew_time Planet33 Planet49) 56.41)
	(= (slew_time Planet49 Planet34) 10.66)
	(= (slew_time Planet34 Planet49) 10.66)
	(= (slew_time Planet49 Planet35) 26)
	(= (slew_time Planet35 Planet49) 26)
	(= (slew_time Planet49 Star36) 61.03)
	(= (slew_time Star36 Planet49) 61.03)
	(= (slew_time Planet49 Star37) 3.724)
	(= (slew_time Star37 Planet49) 3.724)
	(= (slew_time Planet49 Phenomenon38) 14.73)
	(= (slew_time Phenomenon38 Planet49) 14.73)
	(= (slew_time Planet49 Planet39) 19.83)
	(= (slew_time Planet39 Planet49) 19.83)
	(= (slew_time Planet49 Star40) 72.91)
	(= (slew_time Star40 Planet49) 72.91)
	(= (slew_time Planet49 Star41) 12.91)
	(= (slew_time Star41 Planet49) 12.91)
	(= (slew_time Planet49 Star42) 41.34)
	(= (slew_time Star42 Planet49) 41.34)
	(= (slew_time Planet49 Phenomenon43) 59.95)
	(= (slew_time Phenomenon43 Planet49) 59.95)
	(= (slew_time Planet49 Star44) 2.834)
	(= (slew_time Star44 Planet49) 2.834)
	(= (slew_time Planet49 Planet45) 13.45)
	(= (slew_time Planet45 Planet49) 13.45)
	(= (slew_time Planet49 Planet46) 39.23)
	(= (slew_time Planet46 Planet49) 39.23)
	(= (slew_time Planet49 Phenomenon47) 66.25)
	(= (slew_time Phenomenon47 Planet49) 66.25)
	(= (slew_time Planet49 Phenomenon48) 61.38)
	(= (slew_time Phenomenon48 Planet49) 61.38)
	(= (slew_time Planet50 Star0) 2.418)
	(= (slew_time Star0 Planet50) 2.418)
	(= (slew_time Planet50 GroundStation1) 14.37)
	(= (slew_time GroundStation1 Planet50) 14.37)
	(= (slew_time Planet50 GroundStation2) 77.38)
	(= (slew_time GroundStation2 Planet50) 77.38)
	(= (slew_time Planet50 Planet3) 72.99)
	(= (slew_time Planet3 Planet50) 72.99)
	(= (slew_time Planet50 Planet4) 40.52)
	(= (slew_time Planet4 Planet50) 40.52)
	(= (slew_time Planet50 Phenomenon5) 20.13)
	(= (slew_time Phenomenon5 Planet50) 20.13)
	(= (slew_time Planet50 Phenomenon6) 10.13)
	(= (slew_time Phenomenon6 Planet50) 10.13)
	(= (slew_time Planet50 Star7) 37.55)
	(= (slew_time Star7 Planet50) 37.55)
	(= (slew_time Planet50 Planet8) 55.87)
	(= (slew_time Planet8 Planet50) 55.87)
	(= (slew_time Planet50 Planet9) 19.24)
	(= (slew_time Planet9 Planet50) 19.24)
	(= (slew_time Planet50 Star10) 13.67)
	(= (slew_time Star10 Planet50) 13.67)
	(= (slew_time Planet50 Star11) 39.6)
	(= (slew_time Star11 Planet50) 39.6)
	(= (slew_time Planet50 Planet12) 65.92)
	(= (slew_time Planet12 Planet50) 65.92)
	(= (slew_time Planet50 Planet13) 50.38)
	(= (slew_time Planet13 Planet50) 50.38)
	(= (slew_time Planet50 Phenomenon14) 17.78)
	(= (slew_time Phenomenon14 Planet50) 17.78)
	(= (slew_time Planet50 Star15) 86.28)
	(= (slew_time Star15 Planet50) 86.28)
	(= (slew_time Planet50 Star16) 78.34)
	(= (slew_time Star16 Planet50) 78.34)
	(= (slew_time Planet50 Planet17) 79.89)
	(= (slew_time Planet17 Planet50) 79.89)
	(= (slew_time Planet50 Star18) 73.04)
	(= (slew_time Star18 Planet50) 73.04)
	(= (slew_time Planet50 Phenomenon19) 39.49)
	(= (slew_time Phenomenon19 Planet50) 39.49)
	(= (slew_time Planet50 Phenomenon20) 3.061)
	(= (slew_time Phenomenon20 Planet50) 3.061)
	(= (slew_time Planet50 Planet21) 2.199)
	(= (slew_time Planet21 Planet50) 2.199)
	(= (slew_time Planet50 Planet22) 76.94)
	(= (slew_time Planet22 Planet50) 76.94)
	(= (slew_time Planet50 Phenomenon23) 45.27)
	(= (slew_time Phenomenon23 Planet50) 45.27)
	(= (slew_time Planet50 Phenomenon24) 40.17)
	(= (slew_time Phenomenon24 Planet50) 40.17)
	(= (slew_time Planet50 Star25) 0.7075)
	(= (slew_time Star25 Planet50) 0.7075)
	(= (slew_time Planet50 Phenomenon26) 1.483)
	(= (slew_time Phenomenon26 Planet50) 1.483)
	(= (slew_time Planet50 Phenomenon27) 57.67)
	(= (slew_time Phenomenon27 Planet50) 57.67)
	(= (slew_time Planet50 Star28) 49.47)
	(= (slew_time Star28 Planet50) 49.47)
	(= (slew_time Planet50 Planet29) 7.253)
	(= (slew_time Planet29 Planet50) 7.253)
	(= (slew_time Planet50 Phenomenon30) 43.95)
	(= (slew_time Phenomenon30 Planet50) 43.95)
	(= (slew_time Planet50 Phenomenon31) 11.51)
	(= (slew_time Phenomenon31 Planet50) 11.51)
	(= (slew_time Planet50 Phenomenon32) 20.32)
	(= (slew_time Phenomenon32 Planet50) 20.32)
	(= (slew_time Planet50 Planet33) 23.26)
	(= (slew_time Planet33 Planet50) 23.26)
	(= (slew_time Planet50 Planet34) 55.73)
	(= (slew_time Planet34 Planet50) 55.73)
	(= (slew_time Planet50 Planet35) 14.76)
	(= (slew_time Planet35 Planet50) 14.76)
	(= (slew_time Planet50 Star36) 17.89)
	(= (slew_time Star36 Planet50) 17.89)
	(= (slew_time Planet50 Star37) 39.47)
	(= (slew_time Star37 Planet50) 39.47)
	(= (slew_time Planet50 Phenomenon38) 43.29)
	(= (slew_time Phenomenon38 Planet50) 43.29)
	(= (slew_time Planet50 Planet39) 19.87)
	(= (slew_time Planet39 Planet50) 19.87)
	(= (slew_time Planet50 Star40) 49.25)
	(= (slew_time Star40 Planet50) 49.25)
	(= (slew_time Planet50 Star41) 37.3)
	(= (slew_time Star41 Planet50) 37.3)
	(= (slew_time Planet50 Star42) 18.31)
	(= (slew_time Star42 Planet50) 18.31)
	(= (slew_time Planet50 Phenomenon43) 13.71)
	(= (slew_time Phenomenon43 Planet50) 13.71)
	(= (slew_time Planet50 Star44) 3.022)
	(= (slew_time Star44 Planet50) 3.022)
	(= (slew_time Planet50 Planet45) 62.86)
	(= (slew_time Planet45 Planet50) 62.86)
	(= (slew_time Planet50 Planet46) 41.93)
	(= (slew_time Planet46 Planet50) 41.93)
	(= (slew_time Planet50 Phenomenon47) 30.73)
	(= (slew_time Phenomenon47 Planet50) 30.73)
	(= (slew_time Planet50 Phenomenon48) 65.76)
	(= (slew_time Phenomenon48 Planet50) 65.76)
	(= (slew_time Planet50 Planet49) 9.532)
	(= (slew_time Planet49 Planet50) 9.532)
	(= (slew_time Planet51 Star0) 2.046)
	(= (slew_time Star0 Planet51) 2.046)
	(= (slew_time Planet51 GroundStation1) 23.42)
	(= (slew_time GroundStation1 Planet51) 23.42)
	(= (slew_time Planet51 GroundStation2) 16.09)
	(= (slew_time GroundStation2 Planet51) 16.09)
	(= (slew_time Planet51 Planet3) 22.8)
	(= (slew_time Planet3 Planet51) 22.8)
	(= (slew_time Planet51 Planet4) 74.31)
	(= (slew_time Planet4 Planet51) 74.31)
	(= (slew_time Planet51 Phenomenon5) 53.11)
	(= (slew_time Phenomenon5 Planet51) 53.11)
	(= (slew_time Planet51 Phenomenon6) 20.79)
	(= (slew_time Phenomenon6 Planet51) 20.79)
	(= (slew_time Planet51 Star7) 19.71)
	(= (slew_time Star7 Planet51) 19.71)
	(= (slew_time Planet51 Planet8) 90.22)
	(= (slew_time Planet8 Planet51) 90.22)
	(= (slew_time Planet51 Planet9) 37.03)
	(= (slew_time Planet9 Planet51) 37.03)
	(= (slew_time Planet51 Star10) 59.84)
	(= (slew_time Star10 Planet51) 59.84)
	(= (slew_time Planet51 Star11) 18.43)
	(= (slew_time Star11 Planet51) 18.43)
	(= (slew_time Planet51 Planet12) 15.16)
	(= (slew_time Planet12 Planet51) 15.16)
	(= (slew_time Planet51 Planet13) 27.25)
	(= (slew_time Planet13 Planet51) 27.25)
	(= (slew_time Planet51 Phenomenon14) 47.1)
	(= (slew_time Phenomenon14 Planet51) 47.1)
	(= (slew_time Planet51 Star15) 18.68)
	(= (slew_time Star15 Planet51) 18.68)
	(= (slew_time Planet51 Star16) 21.69)
	(= (slew_time Star16 Planet51) 21.69)
	(= (slew_time Planet51 Planet17) 59.55)
	(= (slew_time Planet17 Planet51) 59.55)
	(= (slew_time Planet51 Star18) 51.25)
	(= (slew_time Star18 Planet51) 51.25)
	(= (slew_time Planet51 Phenomenon19) 4.595)
	(= (slew_time Phenomenon19 Planet51) 4.595)
	(= (slew_time Planet51 Phenomenon20) 18.98)
	(= (slew_time Phenomenon20 Planet51) 18.98)
	(= (slew_time Planet51 Planet21) 68.71)
	(= (slew_time Planet21 Planet51) 68.71)
	(= (slew_time Planet51 Planet22) 10.14)
	(= (slew_time Planet22 Planet51) 10.14)
	(= (slew_time Planet51 Phenomenon23) 30.41)
	(= (slew_time Phenomenon23 Planet51) 30.41)
	(= (slew_time Planet51 Phenomenon24) 45.08)
	(= (slew_time Phenomenon24 Planet51) 45.08)
	(= (slew_time Planet51 Star25) 8.04)
	(= (slew_time Star25 Planet51) 8.04)
	(= (slew_time Planet51 Phenomenon26) 36.18)
	(= (slew_time Phenomenon26 Planet51) 36.18)
	(= (slew_time Planet51 Phenomenon27) 25.2)
	(= (slew_time Phenomenon27 Planet51) 25.2)
	(= (slew_time Planet51 Star28) 20.61)
	(= (slew_time Star28 Planet51) 20.61)
	(= (slew_time Planet51 Planet29) 56.75)
	(= (slew_time Planet29 Planet51) 56.75)
	(= (slew_time Planet51 Phenomenon30) 47.2)
	(= (slew_time Phenomenon30 Planet51) 47.2)
	(= (slew_time Planet51 Phenomenon31) 28.46)
	(= (slew_time Phenomenon31 Planet51) 28.46)
	(= (slew_time Planet51 Phenomenon32) 57.19)
	(= (slew_time Phenomenon32 Planet51) 57.19)
	(= (slew_time Planet51 Planet33) 12.27)
	(= (slew_time Planet33 Planet51) 12.27)
	(= (slew_time Planet51 Planet34) 32.16)
	(= (slew_time Planet34 Planet51) 32.16)
	(= (slew_time Planet51 Planet35) 34)
	(= (slew_time Planet35 Planet51) 34)
	(= (slew_time Planet51 Star36) 25.43)
	(= (slew_time Star36 Planet51) 25.43)
	(= (slew_time Planet51 Star37) 15)
	(= (slew_time Star37 Planet51) 15)
	(= (slew_time Planet51 Phenomenon38) 51.71)
	(= (slew_time Phenomenon38 Planet51) 51.71)
	(= (slew_time Planet51 Planet39) 44.5)
	(= (slew_time Planet39 Planet51) 44.5)
	(= (slew_time Planet51 Star40) 8.799)
	(= (slew_time Star40 Planet51) 8.799)
	(= (slew_time Planet51 Star41) 1.7)
	(= (slew_time Star41 Planet51) 1.7)
	(= (slew_time Planet51 Star42) 20.99)
	(= (slew_time Star42 Planet51) 20.99)
	(= (slew_time Planet51 Phenomenon43) 51.61)
	(= (slew_time Phenomenon43 Planet51) 51.61)
	(= (slew_time Planet51 Star44) 24.85)
	(= (slew_time Star44 Planet51) 24.85)
	(= (slew_time Planet51 Planet45) 26.86)
	(= (slew_time Planet45 Planet51) 26.86)
	(= (slew_time Planet51 Planet46) 46.43)
	(= (slew_time Planet46 Planet51) 46.43)
	(= (slew_time Planet51 Phenomenon47) 52.14)
	(= (slew_time Phenomenon47 Planet51) 52.14)
	(= (slew_time Planet51 Phenomenon48) 70.5)
	(= (slew_time Phenomenon48 Planet51) 70.5)
	(= (slew_time Planet51 Planet49) 19.19)
	(= (slew_time Planet49 Planet51) 19.19)
	(= (slew_time Planet51 Planet50) 18.73)
	(= (slew_time Planet50 Planet51) 18.73)
	(= (slew_time Phenomenon52 Star0) 35.23)
	(= (slew_time Star0 Phenomenon52) 35.23)
	(= (slew_time Phenomenon52 GroundStation1) 6.614)
	(= (slew_time GroundStation1 Phenomenon52) 6.614)
	(= (slew_time Phenomenon52 GroundStation2) 15.95)
	(= (slew_time GroundStation2 Phenomenon52) 15.95)
	(= (slew_time Phenomenon52 Planet3) 3.673)
	(= (slew_time Planet3 Phenomenon52) 3.673)
	(= (slew_time Phenomenon52 Planet4) 17.62)
	(= (slew_time Planet4 Phenomenon52) 17.62)
	(= (slew_time Phenomenon52 Phenomenon5) 32.31)
	(= (slew_time Phenomenon5 Phenomenon52) 32.31)
	(= (slew_time Phenomenon52 Phenomenon6) 69.1)
	(= (slew_time Phenomenon6 Phenomenon52) 69.1)
	(= (slew_time Phenomenon52 Star7) 27.59)
	(= (slew_time Star7 Phenomenon52) 27.59)
	(= (slew_time Phenomenon52 Planet8) 2.524)
	(= (slew_time Planet8 Phenomenon52) 2.524)
	(= (slew_time Phenomenon52 Planet9) 58.81)
	(= (slew_time Planet9 Phenomenon52) 58.81)
	(= (slew_time Phenomenon52 Star10) 42.47)
	(= (slew_time Star10 Phenomenon52) 42.47)
	(= (slew_time Phenomenon52 Star11) 56.85)
	(= (slew_time Star11 Phenomenon52) 56.85)
	(= (slew_time Phenomenon52 Planet12) 59.68)
	(= (slew_time Planet12 Phenomenon52) 59.68)
	(= (slew_time Phenomenon52 Planet13) 33.37)
	(= (slew_time Planet13 Phenomenon52) 33.37)
	(= (slew_time Phenomenon52 Phenomenon14) 19.26)
	(= (slew_time Phenomenon14 Phenomenon52) 19.26)
	(= (slew_time Phenomenon52 Star15) 5.924)
	(= (slew_time Star15 Phenomenon52) 5.924)
	(= (slew_time Phenomenon52 Star16) 11.5)
	(= (slew_time Star16 Phenomenon52) 11.5)
	(= (slew_time Phenomenon52 Planet17) 1.337)
	(= (slew_time Planet17 Phenomenon52) 1.337)
	(= (slew_time Phenomenon52 Star18) 46.53)
	(= (slew_time Star18 Phenomenon52) 46.53)
	(= (slew_time Phenomenon52 Phenomenon19) 52.71)
	(= (slew_time Phenomenon19 Phenomenon52) 52.71)
	(= (slew_time Phenomenon52 Phenomenon20) 6.38)
	(= (slew_time Phenomenon20 Phenomenon52) 6.38)
	(= (slew_time Phenomenon52 Planet21) 2.935)
	(= (slew_time Planet21 Phenomenon52) 2.935)
	(= (slew_time Phenomenon52 Planet22) 60.32)
	(= (slew_time Planet22 Phenomenon52) 60.32)
	(= (slew_time Phenomenon52 Phenomenon23) 33.41)
	(= (slew_time Phenomenon23 Phenomenon52) 33.41)
	(= (slew_time Phenomenon52 Phenomenon24) 68.86)
	(= (slew_time Phenomenon24 Phenomenon52) 68.86)
	(= (slew_time Phenomenon52 Star25) 19.68)
	(= (slew_time Star25 Phenomenon52) 19.68)
	(= (slew_time Phenomenon52 Phenomenon26) 81.55)
	(= (slew_time Phenomenon26 Phenomenon52) 81.55)
	(= (slew_time Phenomenon52 Phenomenon27) 62.89)
	(= (slew_time Phenomenon27 Phenomenon52) 62.89)
	(= (slew_time Phenomenon52 Star28) 38.18)
	(= (slew_time Star28 Phenomenon52) 38.18)
	(= (slew_time Phenomenon52 Planet29) 31.36)
	(= (slew_time Planet29 Phenomenon52) 31.36)
	(= (slew_time Phenomenon52 Phenomenon30) 77.99)
	(= (slew_time Phenomenon30 Phenomenon52) 77.99)
	(= (slew_time Phenomenon52 Phenomenon31) 34.9)
	(= (slew_time Phenomenon31 Phenomenon52) 34.9)
	(= (slew_time Phenomenon52 Phenomenon32) 12.9)
	(= (slew_time Phenomenon32 Phenomenon52) 12.9)
	(= (slew_time Phenomenon52 Planet33) 29.06)
	(= (slew_time Planet33 Phenomenon52) 29.06)
	(= (slew_time Phenomenon52 Planet34) 35.9)
	(= (slew_time Planet34 Phenomenon52) 35.9)
	(= (slew_time Phenomenon52 Planet35) 62.54)
	(= (slew_time Planet35 Phenomenon52) 62.54)
	(= (slew_time Phenomenon52 Star36) 33.2)
	(= (slew_time Star36 Phenomenon52) 33.2)
	(= (slew_time Phenomenon52 Star37) 20.43)
	(= (slew_time Star37 Phenomenon52) 20.43)
	(= (slew_time Phenomenon52 Phenomenon38) 4.002)
	(= (slew_time Phenomenon38 Phenomenon52) 4.002)
	(= (slew_time Phenomenon52 Planet39) 51.31)
	(= (slew_time Planet39 Phenomenon52) 51.31)
	(= (slew_time Phenomenon52 Star40) 28.44)
	(= (slew_time Star40 Phenomenon52) 28.44)
	(= (slew_time Phenomenon52 Star41) 8.755)
	(= (slew_time Star41 Phenomenon52) 8.755)
	(= (slew_time Phenomenon52 Star42) 33.82)
	(= (slew_time Star42 Phenomenon52) 33.82)
	(= (slew_time Phenomenon52 Phenomenon43) 25.01)
	(= (slew_time Phenomenon43 Phenomenon52) 25.01)
	(= (slew_time Phenomenon52 Star44) 32.1)
	(= (slew_time Star44 Phenomenon52) 32.1)
	(= (slew_time Phenomenon52 Planet45) 23.3)
	(= (slew_time Planet45 Phenomenon52) 23.3)
	(= (slew_time Phenomenon52 Planet46) 31.79)
	(= (slew_time Planet46 Phenomenon52) 31.79)
	(= (slew_time Phenomenon52 Phenomenon47) 23.42)
	(= (slew_time Phenomenon47 Phenomenon52) 23.42)
	(= (slew_time Phenomenon52 Phenomenon48) 8.237)
	(= (slew_time Phenomenon48 Phenomenon52) 8.237)
	(= (slew_time Phenomenon52 Planet49) 11.07)
	(= (slew_time Planet49 Phenomenon52) 11.07)
	(= (slew_time Phenomenon52 Planet50) 65.74)
	(= (slew_time Planet50 Phenomenon52) 65.74)
	(= (slew_time Phenomenon52 Planet51) 30.05)
	(= (slew_time Planet51 Phenomenon52) 30.05)
)
(:goal (and
	(pointing satellite1 Planet46)
	(pointing satellite2 Phenomenon48)
	(have_image Planet3 infrared0)
	(have_image Planet4 infrared0)
	(have_image Phenomenon5 image2)
	(have_image Phenomenon6 infrared0)
	(have_image Star7 infrared0)
	(have_image Planet9 infrared0)
	(have_image Star10 infrared0)
	(have_image Star11 infrared1)
	(have_image Planet13 infrared1)
	(have_image Star18 infrared1)
	(have_image Phenomenon19 infrared0)
	(have_image Planet21 image2)
	(have_image Planet22 image2)
	(have_image Phenomenon23 infrared1)
	(have_image Phenomenon24 infrared1)
	(have_image Star25 image2)
	(have_image Phenomenon26 infrared1)
	(have_image Phenomenon27 infrared0)
	(have_image Star28 infrared1)
	(have_image Planet29 image2)
	(have_image Phenomenon30 image2)
	(have_image Phenomenon31 image2)
	(have_image Phenomenon32 image2)
	(have_image Planet33 infrared0)
	(have_image Planet34 infrared1)
	(have_image Planet35 image2)
	(have_image Star36 infrared1)
	(have_image Star37 infrared1)
	(have_image Phenomenon38 infrared0)
	(have_image Planet39 infrared0)
	(have_image Star40 image2)
	(have_image Star41 image2)
	(have_image Star42 infrared0)
	(have_image Phenomenon43 infrared0)
	(have_image Star44 image2)
	(have_image Planet45 image2)
	(have_image Planet46 image2)
	(have_image Phenomenon47 infrared0)
	(have_image Phenomenon48 infrared1)
	(have_image Planet49 infrared1)
	(have_image Planet50 infrared0)
	(have_image Planet51 image2)
	(have_image Phenomenon52 infrared1)
))
(:metric minimize (total-time))

)
