(define (problem strips-sat-x-1)
(:domain satellite)
(:objects
	satellite0 - satellite
	instrument0 - instrument
	instrument1 - instrument
	instrument2 - instrument
	satellite1 - satellite
	instrument3 - instrument
	instrument4 - instrument
	satellite2 - satellite
	instrument5 - instrument
	instrument6 - instrument
	instrument7 - instrument
	satellite3 - satellite
	instrument8 - instrument
	instrument9 - instrument
	satellite4 - satellite
	instrument10 - instrument
	instrument11 - instrument
	instrument12 - instrument
	satellite5 - satellite
	instrument13 - instrument
	instrument14 - instrument
	satellite6 - satellite
	instrument15 - instrument
	instrument16 - instrument
	instrument17 - instrument
	image1 - mode
	spectrograph2 - mode
	infrared0 - mode
	Star2 - direction
	Star0 - direction
	Star1 - direction
	Star3 - direction
	Star4 - direction
	Phenomenon5 - direction
	Phenomenon6 - direction
	Phenomenon7 - direction
	Phenomenon8 - direction
	Star9 - direction
	Star10 - direction
	Phenomenon11 - direction
	Star12 - direction
	Star13 - direction
	Planet14 - direction
	Planet15 - direction
	Star16 - direction
	Planet17 - direction
	Phenomenon18 - direction
	Planet19 - direction
	Planet20 - direction
	Star21 - direction
	Star22 - direction
	Star23 - direction
	Star24 - direction
	Star25 - direction
	Star26 - direction
	Star27 - direction
	Phenomenon28 - direction
	Star29 - direction
	Phenomenon30 - direction
	Planet31 - direction
	Phenomenon32 - direction
	Planet33 - direction
	Phenomenon34 - direction
	Planet35 - direction
	Phenomenon36 - direction
	Star37 - direction
	Phenomenon38 - direction
	Star39 - direction
	Phenomenon40 - direction
	Planet41 - direction
	Planet42 - direction
	Planet43 - direction
	Phenomenon44 - direction
	Star45 - direction
	Planet46 - direction
	Star47 - direction
	Planet48 - direction
	Star49 - direction
	Star50 - direction
	Planet51 - direction
	Star52 - direction
)
(:init
	(supports instrument0 image1)
	(calibration_target instrument0 Star2)
	(= (calibration_time instrument0 Star2) 20.6)
	(supports instrument1 infrared0)
	(supports instrument1 image1)
	(calibration_target instrument1 Star0)
	(= (calibration_time instrument1 Star0) 56.6)
	(supports instrument2 image1)
	(supports instrument2 infrared0)
	(calibration_target instrument2 Star2)
	(= (calibration_time instrument2 Star2) 37.9)
	(on_board instrument0 satellite0)
	(on_board instrument1 satellite0)
	(on_board instrument2 satellite0)
	(power_avail satellite0)
	(pointing satellite0 Star50)
	(= (data_capacity satellite0) 1000)
	(supports instrument3 infrared0)
	(calibration_target instrument3 Star1)
	(= (calibration_time instrument3 Star1) 49)
	(supports instrument4 spectrograph2)
	(calibration_target instrument4 Star0)
	(= (calibration_time instrument4 Star0) 34.2)
	(on_board instrument3 satellite1)
	(on_board instrument4 satellite1)
	(power_avail satellite1)
	(pointing satellite1 Planet17)
	(= (data_capacity satellite1) 1000)
	(supports instrument5 image1)
	(supports instrument5 infrared0)
	(calibration_target instrument5 Star0)
	(= (calibration_time instrument5 Star0) 76.7)
	(supports instrument6 infrared0)
	(supports instrument6 spectrograph2)
	(supports instrument6 image1)
	(calibration_target instrument6 Star1)
	(= (calibration_time instrument6 Star1) 60.1)
	(supports instrument7 spectrograph2)
	(supports instrument7 infrared0)
	(calibration_target instrument7 Star1)
	(= (calibration_time instrument7 Star1) 45.2)
	(on_board instrument5 satellite2)
	(on_board instrument6 satellite2)
	(on_board instrument7 satellite2)
	(power_avail satellite2)
	(pointing satellite2 Planet14)
	(= (data_capacity satellite2) 1000)
	(supports instrument8 spectrograph2)
	(supports instrument8 image1)
	(calibration_target instrument8 Star1)
	(= (calibration_time instrument8 Star1) 82.3)
	(supports instrument9 infrared0)
	(calibration_target instrument9 Star1)
	(= (calibration_time instrument9 Star1) 94.6)
	(on_board instrument8 satellite3)
	(on_board instrument9 satellite3)
	(power_avail satellite3)
	(pointing satellite3 Star3)
	(= (data_capacity satellite3) 1000)
	(supports instrument10 infrared0)
	(supports instrument10 spectrograph2)
	(supports instrument10 image1)
	(calibration_target instrument10 Star2)
	(= (calibration_time instrument10 Star2) 74.7)
	(supports instrument11 image1)
	(supports instrument11 infrared0)
	(supports instrument11 spectrograph2)
	(calibration_target instrument11 Star0)
	(= (calibration_time instrument11 Star0) 38.9)
	(supports instrument12 infrared0)
	(supports instrument12 spectrograph2)
	(calibration_target instrument12 Star2)
	(= (calibration_time instrument12 Star2) 48.6)
	(on_board instrument10 satellite4)
	(on_board instrument11 satellite4)
	(on_board instrument12 satellite4)
	(power_avail satellite4)
	(pointing satellite4 Star2)
	(= (data_capacity satellite4) 1000)
	(supports instrument13 infrared0)
	(supports instrument13 spectrograph2)
	(supports instrument13 image1)
	(calibration_target instrument13 Star2)
	(= (calibration_time instrument13 Star2) 51.7)
	(supports instrument14 spectrograph2)
	(supports instrument14 infrared0)
	(calibration_target instrument14 Star1)
	(= (calibration_time instrument14 Star1) 2.73)
	(on_board instrument13 satellite5)
	(on_board instrument14 satellite5)
	(power_avail satellite5)
	(pointing satellite5 Planet33)
	(= (data_capacity satellite5) 1000)
	(supports instrument15 infrared0)
	(calibration_target instrument15 Star2)
	(= (calibration_time instrument15 Star2) 11.9)
	(supports instrument16 infrared0)
	(supports instrument16 spectrograph2)
	(supports instrument16 image1)
	(calibration_target instrument16 Star0)
	(= (calibration_time instrument16 Star0) 28.3)
	(supports instrument17 infrared0)
	(calibration_target instrument17 Star1)
	(= (calibration_time instrument17 Star1) 73.7)
	(on_board instrument15 satellite6)
	(on_board instrument16 satellite6)
	(on_board instrument17 satellite6)
	(power_avail satellite6)
	(pointing satellite6 Star0)
	(= (data_capacity satellite6) 1000)
	(= (data Star3 image1) 35)
	(= (data Star4 image1) 27)
	(= (data Phenomenon5 image1) 35)
	(= (data Phenomenon6 image1) 42)
	(= (data Phenomenon7 image1) 21)
	(= (data Phenomenon8 image1) 33)
	(= (data Star9 image1) 36)
	(= (data Star10 image1) 37)
	(= (data Phenomenon11 image1) 19)
	(= (data Star12 image1) 4)
	(= (data Star13 image1) 48)
	(= (data Planet14 image1) 22)
	(= (data Planet15 image1) 12)
	(= (data Star16 image1) 50)
	(= (data Planet17 image1) 10)
	(= (data Phenomenon18 image1) 31)
	(= (data Planet19 image1) 14)
	(= (data Planet20 image1) 44)
	(= (data Star21 image1) 37)
	(= (data Star22 image1) 47)
	(= (data Star23 image1) 30)
	(= (data Star24 image1) 26)
	(= (data Star25 image1) 32)
	(= (data Star26 image1) 49)
	(= (data Star27 image1) 18)
	(= (data Phenomenon28 image1) 49)
	(= (data Star29 image1) 29)
	(= (data Phenomenon30 image1) 28)
	(= (data Planet31 image1) 10)
	(= (data Phenomenon32 image1) 10)
	(= (data Planet33 image1) 43)
	(= (data Phenomenon34 image1) 43)
	(= (data Planet35 image1) 3)
	(= (data Phenomenon36 image1) 50)
	(= (data Star37 image1) 18)
	(= (data Phenomenon38 image1) 24)
	(= (data Star39 image1) 29)
	(= (data Phenomenon40 image1) 37)
	(= (data Planet41 image1) 12)
	(= (data Planet42 image1) 26)
	(= (data Planet43 image1) 19)
	(= (data Phenomenon44 image1) 21)
	(= (data Star45 image1) 30)
	(= (data Planet46 image1) 1)
	(= (data Star47 image1) 24)
	(= (data Planet48 image1) 48)
	(= (data Star49 image1) 29)
	(= (data Star50 image1) 36)
	(= (data Planet51 image1) 13)
	(= (data Star52 image1) 1)
	(= (data Star3 spectrograph2) 21)
	(= (data Star4 spectrograph2) 1)
	(= (data Phenomenon5 spectrograph2) 8)
	(= (data Phenomenon6 spectrograph2) 38)
	(= (data Phenomenon7 spectrograph2) 13)
	(= (data Phenomenon8 spectrograph2) 7)
	(= (data Star9 spectrograph2) 46)
	(= (data Star10 spectrograph2) 13)
	(= (data Phenomenon11 spectrograph2) 29)
	(= (data Star12 spectrograph2) 33)
	(= (data Star13 spectrograph2) 45)
	(= (data Planet14 spectrograph2) 9)
	(= (data Planet15 spectrograph2) 39)
	(= (data Star16 spectrograph2) 42)
	(= (data Planet17 spectrograph2) 13)
	(= (data Phenomenon18 spectrograph2) 14)
	(= (data Planet19 spectrograph2) 31)
	(= (data Planet20 spectrograph2) 19)
	(= (data Star21 spectrograph2) 44)
	(= (data Star22 spectrograph2) 25)
	(= (data Star23 spectrograph2) 4)
	(= (data Star24 spectrograph2) 46)
	(= (data Star25 spectrograph2) 11)
	(= (data Star26 spectrograph2) 35)
	(= (data Star27 spectrograph2) 45)
	(= (data Phenomenon28 spectrograph2) 24)
	(= (data Star29 spectrograph2) 34)
	(= (data Phenomenon30 spectrograph2) 8)
	(= (data Planet31 spectrograph2) 21)
	(= (data Phenomenon32 spectrograph2) 7)
	(= (data Planet33 spectrograph2) 37)
	(= (data Phenomenon34 spectrograph2) 3)
	(= (data Planet35 spectrograph2) 13)
	(= (data Phenomenon36 spectrograph2) 23)
	(= (data Star37 spectrograph2) 8)
	(= (data Phenomenon38 spectrograph2) 8)
	(= (data Star39 spectrograph2) 28)
	(= (data Phenomenon40 spectrograph2) 2)
	(= (data Planet41 spectrograph2) 7)
	(= (data Planet42 spectrograph2) 10)
	(= (data Planet43 spectrograph2) 44)
	(= (data Phenomenon44 spectrograph2) 4)
	(= (data Star45 spectrograph2) 49)
	(= (data Planet46 spectrograph2) 17)
	(= (data Star47 spectrograph2) 7)
	(= (data Planet48 spectrograph2) 23)
	(= (data Star49 spectrograph2) 14)
	(= (data Star50 spectrograph2) 2)
	(= (data Planet51 spectrograph2) 49)
	(= (data Star52 spectrograph2) 40)
	(= (data Star3 infrared0) 28)
	(= (data Star4 infrared0) 33)
	(= (data Phenomenon5 infrared0) 16)
	(= (data Phenomenon6 infrared0) 12)
	(= (data Phenomenon7 infrared0) 42)
	(= (data Phenomenon8 infrared0) 39)
	(= (data Star9 infrared0) 24)
	(= (data Star10 infrared0) 38)
	(= (data Phenomenon11 infrared0) 32)
	(= (data Star12 infrared0) 36)
	(= (data Star13 infrared0) 35)
	(= (data Planet14 infrared0) 14)
	(= (data Planet15 infrared0) 19)
	(= (data Star16 infrared0) 29)
	(= (data Planet17 infrared0) 44)
	(= (data Phenomenon18 infrared0) 39)
	(= (data Planet19 infrared0) 26)
	(= (data Planet20 infrared0) 34)
	(= (data Star21 infrared0) 41)
	(= (data Star22 infrared0) 19)
	(= (data Star23 infrared0) 6)
	(= (data Star24 infrared0) 17)
	(= (data Star25 infrared0) 50)
	(= (data Star26 infrared0) 8)
	(= (data Star27 infrared0) 7)
	(= (data Phenomenon28 infrared0) 5)
	(= (data Star29 infrared0) 12)
	(= (data Phenomenon30 infrared0) 6)
	(= (data Planet31 infrared0) 3)
	(= (data Phenomenon32 infrared0) 7)
	(= (data Planet33 infrared0) 39)
	(= (data Phenomenon34 infrared0) 4)
	(= (data Planet35 infrared0) 1)
	(= (data Phenomenon36 infrared0) 26)
	(= (data Star37 infrared0) 45)
	(= (data Phenomenon38 infrared0) 14)
	(= (data Star39 infrared0) 7)
	(= (data Phenomenon40 infrared0) 12)
	(= (data Planet41 infrared0) 35)
	(= (data Planet42 infrared0) 42)
	(= (data Planet43 infrared0) 19)
	(= (data Phenomenon44 infrared0) 50)
	(= (data Star45 infrared0) 40)
	(= (data Planet46 infrared0) 35)
	(= (data Star47 infrared0) 36)
	(= (data Planet48 infrared0) 11)
	(= (data Star49 infrared0) 42)
	(= (data Star50 infrared0) 37)
	(= (data Planet51 infrared0) 27)
	(= (data Star52 infrared0) 3)
	(= (slew_time Star2 Star0) 8.768)
	(= (slew_time Star0 Star2) 8.768)
	(= (slew_time Star2 Star1) 18.57)
	(= (slew_time Star1 Star2) 18.57)
	(= (slew_time Star1 Star0) 34.35)
	(= (slew_time Star0 Star1) 34.35)
	(= (slew_time Star3 Star0) 25.66)
	(= (slew_time Star0 Star3) 25.66)
	(= (slew_time Star3 Star1) 25.96)
	(= (slew_time Star1 Star3) 25.96)
	(= (slew_time Star3 Star2) 17.99)
	(= (slew_time Star2 Star3) 17.99)
	(= (slew_time Star4 Star0) 71.99)
	(= (slew_time Star0 Star4) 71.99)
	(= (slew_time Star4 Star1) 1.526)
	(= (slew_time Star1 Star4) 1.526)
	(= (slew_time Star4 Star2) 35.34)
	(= (slew_time Star2 Star4) 35.34)
	(= (slew_time Star4 Star3) 49.61)
	(= (slew_time Star3 Star4) 49.61)
	(= (slew_time Phenomenon5 Star0) 67.92)
	(= (slew_time Star0 Phenomenon5) 67.92)
	(= (slew_time Phenomenon5 Star1) 4.095)
	(= (slew_time Star1 Phenomenon5) 4.095)
	(= (slew_time Phenomenon5 Star2) 30.24)
	(= (slew_time Star2 Phenomenon5) 30.24)
	(= (slew_time Phenomenon5 Star3) 7.589)
	(= (slew_time Star3 Phenomenon5) 7.589)
	(= (slew_time Phenomenon5 Star4) 0.5297)
	(= (slew_time Star4 Phenomenon5) 0.5297)
	(= (slew_time Phenomenon6 Star0) 77.1)
	(= (slew_time Star0 Phenomenon6) 77.1)
	(= (slew_time Phenomenon6 Star1) 47.3)
	(= (slew_time Star1 Phenomenon6) 47.3)
	(= (slew_time Phenomenon6 Star2) 64.11)
	(= (slew_time Star2 Phenomenon6) 64.11)
	(= (slew_time Phenomenon6 Star3) 51.56)
	(= (slew_time Star3 Phenomenon6) 51.56)
	(= (slew_time Phenomenon6 Star4) 56.36)
	(= (slew_time Star4 Phenomenon6) 56.36)
	(= (slew_time Phenomenon6 Phenomenon5) 67.57)
	(= (slew_time Phenomenon5 Phenomenon6) 67.57)
	(= (slew_time Phenomenon7 Star0) 9.943)
	(= (slew_time Star0 Phenomenon7) 9.943)
	(= (slew_time Phenomenon7 Star1) 13.3)
	(= (slew_time Star1 Phenomenon7) 13.3)
	(= (slew_time Phenomenon7 Star2) 60.53)
	(= (slew_time Star2 Phenomenon7) 60.53)
	(= (slew_time Phenomenon7 Star3) 53.93)
	(= (slew_time Star3 Phenomenon7) 53.93)
	(= (slew_time Phenomenon7 Star4) 67.87)
	(= (slew_time Star4 Phenomenon7) 67.87)
	(= (slew_time Phenomenon7 Phenomenon5) 43.97)
	(= (slew_time Phenomenon5 Phenomenon7) 43.97)
	(= (slew_time Phenomenon7 Phenomenon6) 32.34)
	(= (slew_time Phenomenon6 Phenomenon7) 32.34)
	(= (slew_time Phenomenon8 Star0) 52.66)
	(= (slew_time Star0 Phenomenon8) 52.66)
	(= (slew_time Phenomenon8 Star1) 6.637)
	(= (slew_time Star1 Phenomenon8) 6.637)
	(= (slew_time Phenomenon8 Star2) 26.42)
	(= (slew_time Star2 Phenomenon8) 26.42)
	(= (slew_time Phenomenon8 Star3) 42.59)
	(= (slew_time Star3 Phenomenon8) 42.59)
	(= (slew_time Phenomenon8 Star4) 16.98)
	(= (slew_time Star4 Phenomenon8) 16.98)
	(= (slew_time Phenomenon8 Phenomenon5) 23.63)
	(= (slew_time Phenomenon5 Phenomenon8) 23.63)
	(= (slew_time Phenomenon8 Phenomenon6) 28.25)
	(= (slew_time Phenomenon6 Phenomenon8) 28.25)
	(= (slew_time Phenomenon8 Phenomenon7) 21.69)
	(= (slew_time Phenomenon7 Phenomenon8) 21.69)
	(= (slew_time Star9 Star0) 8.694)
	(= (slew_time Star0 Star9) 8.694)
	(= (slew_time Star9 Star1) 65.27)
	(= (slew_time Star1 Star9) 65.27)
	(= (slew_time Star9 Star2) 11.15)
	(= (slew_time Star2 Star9) 11.15)
	(= (slew_time Star9 Star3) 55.61)
	(= (slew_time Star3 Star9) 55.61)
	(= (slew_time Star9 Star4) 60.07)
	(= (slew_time Star4 Star9) 60.07)
	(= (slew_time Star9 Phenomenon5) 54.55)
	(= (slew_time Phenomenon5 Star9) 54.55)
	(= (slew_time Star9 Phenomenon6) 35.63)
	(= (slew_time Phenomenon6 Star9) 35.63)
	(= (slew_time Star9 Phenomenon7) 16.05)
	(= (slew_time Phenomenon7 Star9) 16.05)
	(= (slew_time Star9 Phenomenon8) 19.87)
	(= (slew_time Phenomenon8 Star9) 19.87)
	(= (slew_time Star10 Star0) 44.68)
	(= (slew_time Star0 Star10) 44.68)
	(= (slew_time Star10 Star1) 30.74)
	(= (slew_time Star1 Star10) 30.74)
	(= (slew_time Star10 Star2) 60.86)
	(= (slew_time Star2 Star10) 60.86)
	(= (slew_time Star10 Star3) 65.79)
	(= (slew_time Star3 Star10) 65.79)
	(= (slew_time Star10 Star4) 9.231)
	(= (slew_time Star4 Star10) 9.231)
	(= (slew_time Star10 Phenomenon5) 2.763)
	(= (slew_time Phenomenon5 Star10) 2.763)
	(= (slew_time Star10 Phenomenon6) 62.26)
	(= (slew_time Phenomenon6 Star10) 62.26)
	(= (slew_time Star10 Phenomenon7) 23.3)
	(= (slew_time Phenomenon7 Star10) 23.3)
	(= (slew_time Star10 Phenomenon8) 5.224)
	(= (slew_time Phenomenon8 Star10) 5.224)
	(= (slew_time Star10 Star9) 35.43)
	(= (slew_time Star9 Star10) 35.43)
	(= (slew_time Phenomenon11 Star0) 3.497)
	(= (slew_time Star0 Phenomenon11) 3.497)
	(= (slew_time Phenomenon11 Star1) 90.62)
	(= (slew_time Star1 Phenomenon11) 90.62)
	(= (slew_time Phenomenon11 Star2) 67.31)
	(= (slew_time Star2 Phenomenon11) 67.31)
	(= (slew_time Phenomenon11 Star3) 7.334)
	(= (slew_time Star3 Phenomenon11) 7.334)
	(= (slew_time Phenomenon11 Star4) 59.7)
	(= (slew_time Star4 Phenomenon11) 59.7)
	(= (slew_time Phenomenon11 Phenomenon5) 9.794)
	(= (slew_time Phenomenon5 Phenomenon11) 9.794)
	(= (slew_time Phenomenon11 Phenomenon6) 45.85)
	(= (slew_time Phenomenon6 Phenomenon11) 45.85)
	(= (slew_time Phenomenon11 Phenomenon7) 45.93)
	(= (slew_time Phenomenon7 Phenomenon11) 45.93)
	(= (slew_time Phenomenon11 Phenomenon8) 40.89)
	(= (slew_time Phenomenon8 Phenomenon11) 40.89)
	(= (slew_time Phenomenon11 Star9) 60.8)
	(= (slew_time Star9 Phenomenon11) 60.8)
	(= (slew_time Phenomenon11 Star10) 9.973)
	(= (slew_time Star10 Phenomenon11) 9.973)
	(= (slew_time Star12 Star0) 26.74)
	(= (slew_time Star0 Star12) 26.74)
	(= (slew_time Star12 Star1) 18.25)
	(= (slew_time Star1 Star12) 18.25)
	(= (slew_time Star12 Star2) 20.35)
	(= (slew_time Star2 Star12) 20.35)
	(= (slew_time Star12 Star3) 36.79)
	(= (slew_time Star3 Star12) 36.79)
	(= (slew_time Star12 Star4) 34.33)
	(= (slew_time Star4 Star12) 34.33)
	(= (slew_time Star12 Phenomenon5) 38.19)
	(= (slew_time Phenomenon5 Star12) 38.19)
	(= (slew_time Star12 Phenomenon6) 22.17)
	(= (slew_time Phenomenon6 Star12) 22.17)
	(= (slew_time Star12 Phenomenon7) 16.8)
	(= (slew_time Phenomenon7 Star12) 16.8)
	(= (slew_time Star12 Phenomenon8) 56.43)
	(= (slew_time Phenomenon8 Star12) 56.43)
	(= (slew_time Star12 Star9) 33.79)
	(= (slew_time Star9 Star12) 33.79)
	(= (slew_time Star12 Star10) 81.51)
	(= (slew_time Star10 Star12) 81.51)
	(= (slew_time Star12 Phenomenon11) 58.29)
	(= (slew_time Phenomenon11 Star12) 58.29)
	(= (slew_time Star13 Star0) 63.26)
	(= (slew_time Star0 Star13) 63.26)
	(= (slew_time Star13 Star1) 23.76)
	(= (slew_time Star1 Star13) 23.76)
	(= (slew_time Star13 Star2) 11.47)
	(= (slew_time Star2 Star13) 11.47)
	(= (slew_time Star13 Star3) 95.84)
	(= (slew_time Star3 Star13) 95.84)
	(= (slew_time Star13 Star4) 47.78)
	(= (slew_time Star4 Star13) 47.78)
	(= (slew_time Star13 Phenomenon5) 28.14)
	(= (slew_time Phenomenon5 Star13) 28.14)
	(= (slew_time Star13 Phenomenon6) 38.71)
	(= (slew_time Phenomenon6 Star13) 38.71)
	(= (slew_time Star13 Phenomenon7) 39.97)
	(= (slew_time Phenomenon7 Star13) 39.97)
	(= (slew_time Star13 Phenomenon8) 61.21)
	(= (slew_time Phenomenon8 Star13) 61.21)
	(= (slew_time Star13 Star9) 69.77)
	(= (slew_time Star9 Star13) 69.77)
	(= (slew_time Star13 Star10) 62.24)
	(= (slew_time Star10 Star13) 62.24)
	(= (slew_time Star13 Phenomenon11) 32.18)
	(= (slew_time Phenomenon11 Star13) 32.18)
	(= (slew_time Star13 Star12) 79.87)
	(= (slew_time Star12 Star13) 79.87)
	(= (slew_time Planet14 Star0) 49.67)
	(= (slew_time Star0 Planet14) 49.67)
	(= (slew_time Planet14 Star1) 4.902)
	(= (slew_time Star1 Planet14) 4.902)
	(= (slew_time Planet14 Star2) 33.15)
	(= (slew_time Star2 Planet14) 33.15)
	(= (slew_time Planet14 Star3) 20.45)
	(= (slew_time Star3 Planet14) 20.45)
	(= (slew_time Planet14 Star4) 86.8)
	(= (slew_time Star4 Planet14) 86.8)
	(= (slew_time Planet14 Phenomenon5) 22.09)
	(= (slew_time Phenomenon5 Planet14) 22.09)
	(= (slew_time Planet14 Phenomenon6) 16.41)
	(= (slew_time Phenomenon6 Planet14) 16.41)
	(= (slew_time Planet14 Phenomenon7) 7.946)
	(= (slew_time Phenomenon7 Planet14) 7.946)
	(= (slew_time Planet14 Phenomenon8) 16.35)
	(= (slew_time Phenomenon8 Planet14) 16.35)
	(= (slew_time Planet14 Star9) 40.62)
	(= (slew_time Star9 Planet14) 40.62)
	(= (slew_time Planet14 Star10) 69.4)
	(= (slew_time Star10 Planet14) 69.4)
	(= (slew_time Planet14 Phenomenon11) 73.6)
	(= (slew_time Phenomenon11 Planet14) 73.6)
	(= (slew_time Planet14 Star12) 4.767)
	(= (slew_time Star12 Planet14) 4.767)
	(= (slew_time Planet14 Star13) 41.79)
	(= (slew_time Star13 Planet14) 41.79)
	(= (slew_time Planet15 Star0) 16.93)
	(= (slew_time Star0 Planet15) 16.93)
	(= (slew_time Planet15 Star1) 44.39)
	(= (slew_time Star1 Planet15) 44.39)
	(= (slew_time Planet15 Star2) 24.02)
	(= (slew_time Star2 Planet15) 24.02)
	(= (slew_time Planet15 Star3) 11.45)
	(= (slew_time Star3 Planet15) 11.45)
	(= (slew_time Planet15 Star4) 17.17)
	(= (slew_time Star4 Planet15) 17.17)
	(= (slew_time Planet15 Phenomenon5) 46.92)
	(= (slew_time Phenomenon5 Planet15) 46.92)
	(= (slew_time Planet15 Phenomenon6) 8.981)
	(= (slew_time Phenomenon6 Planet15) 8.981)
	(= (slew_time Planet15 Phenomenon7) 26.3)
	(= (slew_time Phenomenon7 Planet15) 26.3)
	(= (slew_time Planet15 Phenomenon8) 17.91)
	(= (slew_time Phenomenon8 Planet15) 17.91)
	(= (slew_time Planet15 Star9) 18.09)
	(= (slew_time Star9 Planet15) 18.09)
	(= (slew_time Planet15 Star10) 7.752)
	(= (slew_time Star10 Planet15) 7.752)
	(= (slew_time Planet15 Phenomenon11) 33.56)
	(= (slew_time Phenomenon11 Planet15) 33.56)
	(= (slew_time Planet15 Star12) 41.02)
	(= (slew_time Star12 Planet15) 41.02)
	(= (slew_time Planet15 Star13) 14.54)
	(= (slew_time Star13 Planet15) 14.54)
	(= (slew_time Planet15 Planet14) 36.2)
	(= (slew_time Planet14 Planet15) 36.2)
	(= (slew_time Star16 Star0) 25.73)
	(= (slew_time Star0 Star16) 25.73)
	(= (slew_time Star16 Star1) 19.21)
	(= (slew_time Star1 Star16) 19.21)
	(= (slew_time Star16 Star2) 52.15)
	(= (slew_time Star2 Star16) 52.15)
	(= (slew_time Star16 Star3) 39.96)
	(= (slew_time Star3 Star16) 39.96)
	(= (slew_time Star16 Star4) 7.22)
	(= (slew_time Star4 Star16) 7.22)
	(= (slew_time Star16 Phenomenon5) 14.26)
	(= (slew_time Phenomenon5 Star16) 14.26)
	(= (slew_time Star16 Phenomenon6) 2.546)
	(= (slew_time Phenomenon6 Star16) 2.546)
	(= (slew_time Star16 Phenomenon7) 13.05)
	(= (slew_time Phenomenon7 Star16) 13.05)
	(= (slew_time Star16 Phenomenon8) 39.58)
	(= (slew_time Phenomenon8 Star16) 39.58)
	(= (slew_time Star16 Star9) 62.89)
	(= (slew_time Star9 Star16) 62.89)
	(= (slew_time Star16 Star10) 53.3)
	(= (slew_time Star10 Star16) 53.3)
	(= (slew_time Star16 Phenomenon11) 16.6)
	(= (slew_time Phenomenon11 Star16) 16.6)
	(= (slew_time Star16 Star12) 13.96)
	(= (slew_time Star12 Star16) 13.96)
	(= (slew_time Star16 Star13) 13.45)
	(= (slew_time Star13 Star16) 13.45)
	(= (slew_time Star16 Planet14) 21.6)
	(= (slew_time Planet14 Star16) 21.6)
	(= (slew_time Star16 Planet15) 10.65)
	(= (slew_time Planet15 Star16) 10.65)
	(= (slew_time Planet17 Star0) 49.3)
	(= (slew_time Star0 Planet17) 49.3)
	(= (slew_time Planet17 Star1) 8.008)
	(= (slew_time Star1 Planet17) 8.008)
	(= (slew_time Planet17 Star2) 28.23)
	(= (slew_time Star2 Planet17) 28.23)
	(= (slew_time Planet17 Star3) 30.95)
	(= (slew_time Star3 Planet17) 30.95)
	(= (slew_time Planet17 Star4) 62.41)
	(= (slew_time Star4 Planet17) 62.41)
	(= (slew_time Planet17 Phenomenon5) 12.99)
	(= (slew_time Phenomenon5 Planet17) 12.99)
	(= (slew_time Planet17 Phenomenon6) 9.816)
	(= (slew_time Phenomenon6 Planet17) 9.816)
	(= (slew_time Planet17 Phenomenon7) 59.41)
	(= (slew_time Phenomenon7 Planet17) 59.41)
	(= (slew_time Planet17 Phenomenon8) 2.213)
	(= (slew_time Phenomenon8 Planet17) 2.213)
	(= (slew_time Planet17 Star9) 58.75)
	(= (slew_time Star9 Planet17) 58.75)
	(= (slew_time Planet17 Star10) 16.88)
	(= (slew_time Star10 Planet17) 16.88)
	(= (slew_time Planet17 Phenomenon11) 78.88)
	(= (slew_time Phenomenon11 Planet17) 78.88)
	(= (slew_time Planet17 Star12) 7.407)
	(= (slew_time Star12 Planet17) 7.407)
	(= (slew_time Planet17 Star13) 42.43)
	(= (slew_time Star13 Planet17) 42.43)
	(= (slew_time Planet17 Planet14) 29.52)
	(= (slew_time Planet14 Planet17) 29.52)
	(= (slew_time Planet17 Planet15) 33.47)
	(= (slew_time Planet15 Planet17) 33.47)
	(= (slew_time Planet17 Star16) 11.57)
	(= (slew_time Star16 Planet17) 11.57)
	(= (slew_time Phenomenon18 Star0) 20.24)
	(= (slew_time Star0 Phenomenon18) 20.24)
	(= (slew_time Phenomenon18 Star1) 26.72)
	(= (slew_time Star1 Phenomenon18) 26.72)
	(= (slew_time Phenomenon18 Star2) 8.094)
	(= (slew_time Star2 Phenomenon18) 8.094)
	(= (slew_time Phenomenon18 Star3) 38.63)
	(= (slew_time Star3 Phenomenon18) 38.63)
	(= (slew_time Phenomenon18 Star4) 69.23)
	(= (slew_time Star4 Phenomenon18) 69.23)
	(= (slew_time Phenomenon18 Phenomenon5) 20.26)
	(= (slew_time Phenomenon5 Phenomenon18) 20.26)
	(= (slew_time Phenomenon18 Phenomenon6) 7.031)
	(= (slew_time Phenomenon6 Phenomenon18) 7.031)
	(= (slew_time Phenomenon18 Phenomenon7) 50.51)
	(= (slew_time Phenomenon7 Phenomenon18) 50.51)
	(= (slew_time Phenomenon18 Phenomenon8) 9.407)
	(= (slew_time Phenomenon8 Phenomenon18) 9.407)
	(= (slew_time Phenomenon18 Star9) 23.99)
	(= (slew_time Star9 Phenomenon18) 23.99)
	(= (slew_time Phenomenon18 Star10) 5.833)
	(= (slew_time Star10 Phenomenon18) 5.833)
	(= (slew_time Phenomenon18 Phenomenon11) 44.5)
	(= (slew_time Phenomenon11 Phenomenon18) 44.5)
	(= (slew_time Phenomenon18 Star12) 25.65)
	(= (slew_time Star12 Phenomenon18) 25.65)
	(= (slew_time Phenomenon18 Star13) 20.89)
	(= (slew_time Star13 Phenomenon18) 20.89)
	(= (slew_time Phenomenon18 Planet14) 61.07)
	(= (slew_time Planet14 Phenomenon18) 61.07)
	(= (slew_time Phenomenon18 Planet15) 3.664)
	(= (slew_time Planet15 Phenomenon18) 3.664)
	(= (slew_time Phenomenon18 Star16) 33.67)
	(= (slew_time Star16 Phenomenon18) 33.67)
	(= (slew_time Phenomenon18 Planet17) 82.28)
	(= (slew_time Planet17 Phenomenon18) 82.28)
	(= (slew_time Planet19 Star0) 8.465)
	(= (slew_time Star0 Planet19) 8.465)
	(= (slew_time Planet19 Star1) 67.77)
	(= (slew_time Star1 Planet19) 67.77)
	(= (slew_time Planet19 Star2) 10.98)
	(= (slew_time Star2 Planet19) 10.98)
	(= (slew_time Planet19 Star3) 90)
	(= (slew_time Star3 Planet19) 90)
	(= (slew_time Planet19 Star4) 12.91)
	(= (slew_time Star4 Planet19) 12.91)
	(= (slew_time Planet19 Phenomenon5) 66.45)
	(= (slew_time Phenomenon5 Planet19) 66.45)
	(= (slew_time Planet19 Phenomenon6) 38.47)
	(= (slew_time Phenomenon6 Planet19) 38.47)
	(= (slew_time Planet19 Phenomenon7) 1.842)
	(= (slew_time Phenomenon7 Planet19) 1.842)
	(= (slew_time Planet19 Phenomenon8) 44.65)
	(= (slew_time Phenomenon8 Planet19) 44.65)
	(= (slew_time Planet19 Star9) 14.24)
	(= (slew_time Star9 Planet19) 14.24)
	(= (slew_time Planet19 Star10) 20.49)
	(= (slew_time Star10 Planet19) 20.49)
	(= (slew_time Planet19 Phenomenon11) 54.39)
	(= (slew_time Phenomenon11 Planet19) 54.39)
	(= (slew_time Planet19 Star12) 32.36)
	(= (slew_time Star12 Planet19) 32.36)
	(= (slew_time Planet19 Star13) 7.39)
	(= (slew_time Star13 Planet19) 7.39)
	(= (slew_time Planet19 Planet14) 4.758)
	(= (slew_time Planet14 Planet19) 4.758)
	(= (slew_time Planet19 Planet15) 40.93)
	(= (slew_time Planet15 Planet19) 40.93)
	(= (slew_time Planet19 Star16) 28.79)
	(= (slew_time Star16 Planet19) 28.79)
	(= (slew_time Planet19 Planet17) 27.22)
	(= (slew_time Planet17 Planet19) 27.22)
	(= (slew_time Planet19 Phenomenon18) 66.08)
	(= (slew_time Phenomenon18 Planet19) 66.08)
	(= (slew_time Planet20 Star0) 77.75)
	(= (slew_time Star0 Planet20) 77.75)
	(= (slew_time Planet20 Star1) 1.724)
	(= (slew_time Star1 Planet20) 1.724)
	(= (slew_time Planet20 Star2) 33.8)
	(= (slew_time Star2 Planet20) 33.8)
	(= (slew_time Planet20 Star3) 14.94)
	(= (slew_time Star3 Planet20) 14.94)
	(= (slew_time Planet20 Star4) 10.67)
	(= (slew_time Star4 Planet20) 10.67)
	(= (slew_time Planet20 Phenomenon5) 35.85)
	(= (slew_time Phenomenon5 Planet20) 35.85)
	(= (slew_time Planet20 Phenomenon6) 45.3)
	(= (slew_time Phenomenon6 Planet20) 45.3)
	(= (slew_time Planet20 Phenomenon7) 4.693)
	(= (slew_time Phenomenon7 Planet20) 4.693)
	(= (slew_time Planet20 Phenomenon8) 34.97)
	(= (slew_time Phenomenon8 Planet20) 34.97)
	(= (slew_time Planet20 Star9) 1.295)
	(= (slew_time Star9 Planet20) 1.295)
	(= (slew_time Planet20 Star10) 45.13)
	(= (slew_time Star10 Planet20) 45.13)
	(= (slew_time Planet20 Phenomenon11) 25.8)
	(= (slew_time Phenomenon11 Planet20) 25.8)
	(= (slew_time Planet20 Star12) 58.88)
	(= (slew_time Star12 Planet20) 58.88)
	(= (slew_time Planet20 Star13) 33.24)
	(= (slew_time Star13 Planet20) 33.24)
	(= (slew_time Planet20 Planet14) 3.274)
	(= (slew_time Planet14 Planet20) 3.274)
	(= (slew_time Planet20 Planet15) 32.67)
	(= (slew_time Planet15 Planet20) 32.67)
	(= (slew_time Planet20 Star16) 19.26)
	(= (slew_time Star16 Planet20) 19.26)
	(= (slew_time Planet20 Planet17) 45.59)
	(= (slew_time Planet17 Planet20) 45.59)
	(= (slew_time Planet20 Phenomenon18) 34.11)
	(= (slew_time Phenomenon18 Planet20) 34.11)
	(= (slew_time Planet20 Planet19) 11.06)
	(= (slew_time Planet19 Planet20) 11.06)
	(= (slew_time Star21 Star0) 46.21)
	(= (slew_time Star0 Star21) 46.21)
	(= (slew_time Star21 Star1) 41.14)
	(= (slew_time Star1 Star21) 41.14)
	(= (slew_time Star21 Star2) 87.54)
	(= (slew_time Star2 Star21) 87.54)
	(= (slew_time Star21 Star3) 36.11)
	(= (slew_time Star3 Star21) 36.11)
	(= (slew_time Star21 Star4) 41.09)
	(= (slew_time Star4 Star21) 41.09)
	(= (slew_time Star21 Phenomenon5) 41.58)
	(= (slew_time Phenomenon5 Star21) 41.58)
	(= (slew_time Star21 Phenomenon6) 66.75)
	(= (slew_time Phenomenon6 Star21) 66.75)
	(= (slew_time Star21 Phenomenon7) 18.66)
	(= (slew_time Phenomenon7 Star21) 18.66)
	(= (slew_time Star21 Phenomenon8) 44.98)
	(= (slew_time Phenomenon8 Star21) 44.98)
	(= (slew_time Star21 Star9) 6.634)
	(= (slew_time Star9 Star21) 6.634)
	(= (slew_time Star21 Star10) 78.18)
	(= (slew_time Star10 Star21) 78.18)
	(= (slew_time Star21 Phenomenon11) 19.38)
	(= (slew_time Phenomenon11 Star21) 19.38)
	(= (slew_time Star21 Star12) 1.981)
	(= (slew_time Star12 Star21) 1.981)
	(= (slew_time Star21 Star13) 88.68)
	(= (slew_time Star13 Star21) 88.68)
	(= (slew_time Star21 Planet14) 62.99)
	(= (slew_time Planet14 Star21) 62.99)
	(= (slew_time Star21 Planet15) 5.2)
	(= (slew_time Planet15 Star21) 5.2)
	(= (slew_time Star21 Star16) 28.06)
	(= (slew_time Star16 Star21) 28.06)
	(= (slew_time Star21 Planet17) 21.3)
	(= (slew_time Planet17 Star21) 21.3)
	(= (slew_time Star21 Phenomenon18) 71.46)
	(= (slew_time Phenomenon18 Star21) 71.46)
	(= (slew_time Star21 Planet19) 15.34)
	(= (slew_time Planet19 Star21) 15.34)
	(= (slew_time Star21 Planet20) 78.29)
	(= (slew_time Planet20 Star21) 78.29)
	(= (slew_time Star22 Star0) 13.81)
	(= (slew_time Star0 Star22) 13.81)
	(= (slew_time Star22 Star1) 49.16)
	(= (slew_time Star1 Star22) 49.16)
	(= (slew_time Star22 Star2) 36.41)
	(= (slew_time Star2 Star22) 36.41)
	(= (slew_time Star22 Star3) 87.81)
	(= (slew_time Star3 Star22) 87.81)
	(= (slew_time Star22 Star4) 72.91)
	(= (slew_time Star4 Star22) 72.91)
	(= (slew_time Star22 Phenomenon5) 29.25)
	(= (slew_time Phenomenon5 Star22) 29.25)
	(= (slew_time Star22 Phenomenon6) 41.63)
	(= (slew_time Phenomenon6 Star22) 41.63)
	(= (slew_time Star22 Phenomenon7) 15.89)
	(= (slew_time Phenomenon7 Star22) 15.89)
	(= (slew_time Star22 Phenomenon8) 66.23)
	(= (slew_time Phenomenon8 Star22) 66.23)
	(= (slew_time Star22 Star9) 33.25)
	(= (slew_time Star9 Star22) 33.25)
	(= (slew_time Star22 Star10) 71.76)
	(= (slew_time Star10 Star22) 71.76)
	(= (slew_time Star22 Phenomenon11) 59.33)
	(= (slew_time Phenomenon11 Star22) 59.33)
	(= (slew_time Star22 Star12) 23.85)
	(= (slew_time Star12 Star22) 23.85)
	(= (slew_time Star22 Star13) 40.13)
	(= (slew_time Star13 Star22) 40.13)
	(= (slew_time Star22 Planet14) 97.2)
	(= (slew_time Planet14 Star22) 97.2)
	(= (slew_time Star22 Planet15) 9.182)
	(= (slew_time Planet15 Star22) 9.182)
	(= (slew_time Star22 Star16) 1.869)
	(= (slew_time Star16 Star22) 1.869)
	(= (slew_time Star22 Planet17) 93.6)
	(= (slew_time Planet17 Star22) 93.6)
	(= (slew_time Star22 Phenomenon18) 55.75)
	(= (slew_time Phenomenon18 Star22) 55.75)
	(= (slew_time Star22 Planet19) 69.48)
	(= (slew_time Planet19 Star22) 69.48)
	(= (slew_time Star22 Planet20) 47.39)
	(= (slew_time Planet20 Star22) 47.39)
	(= (slew_time Star22 Star21) 70.67)
	(= (slew_time Star21 Star22) 70.67)
	(= (slew_time Star23 Star0) 14.74)
	(= (slew_time Star0 Star23) 14.74)
	(= (slew_time Star23 Star1) 34.37)
	(= (slew_time Star1 Star23) 34.37)
	(= (slew_time Star23 Star2) 29.55)
	(= (slew_time Star2 Star23) 29.55)
	(= (slew_time Star23 Star3) 3.282)
	(= (slew_time Star3 Star23) 3.282)
	(= (slew_time Star23 Star4) 64.04)
	(= (slew_time Star4 Star23) 64.04)
	(= (slew_time Star23 Phenomenon5) 24.74)
	(= (slew_time Phenomenon5 Star23) 24.74)
	(= (slew_time Star23 Phenomenon6) 51.24)
	(= (slew_time Phenomenon6 Star23) 51.24)
	(= (slew_time Star23 Phenomenon7) 12.94)
	(= (slew_time Phenomenon7 Star23) 12.94)
	(= (slew_time Star23 Phenomenon8) 20.47)
	(= (slew_time Phenomenon8 Star23) 20.47)
	(= (slew_time Star23 Star9) 20.03)
	(= (slew_time Star9 Star23) 20.03)
	(= (slew_time Star23 Star10) 28.66)
	(= (slew_time Star10 Star23) 28.66)
	(= (slew_time Star23 Phenomenon11) 26.01)
	(= (slew_time Phenomenon11 Star23) 26.01)
	(= (slew_time Star23 Star12) 47.96)
	(= (slew_time Star12 Star23) 47.96)
	(= (slew_time Star23 Star13) 55.11)
	(= (slew_time Star13 Star23) 55.11)
	(= (slew_time Star23 Planet14) 3.534)
	(= (slew_time Planet14 Star23) 3.534)
	(= (slew_time Star23 Planet15) 16.99)
	(= (slew_time Planet15 Star23) 16.99)
	(= (slew_time Star23 Star16) 64.79)
	(= (slew_time Star16 Star23) 64.79)
	(= (slew_time Star23 Planet17) 38.31)
	(= (slew_time Planet17 Star23) 38.31)
	(= (slew_time Star23 Phenomenon18) 9.879)
	(= (slew_time Phenomenon18 Star23) 9.879)
	(= (slew_time Star23 Planet19) 39.58)
	(= (slew_time Planet19 Star23) 39.58)
	(= (slew_time Star23 Planet20) 14.34)
	(= (slew_time Planet20 Star23) 14.34)
	(= (slew_time Star23 Star21) 45.42)
	(= (slew_time Star21 Star23) 45.42)
	(= (slew_time Star23 Star22) 29.05)
	(= (slew_time Star22 Star23) 29.05)
	(= (slew_time Star24 Star0) 26.82)
	(= (slew_time Star0 Star24) 26.82)
	(= (slew_time Star24 Star1) 6.965)
	(= (slew_time Star1 Star24) 6.965)
	(= (slew_time Star24 Star2) 30.89)
	(= (slew_time Star2 Star24) 30.89)
	(= (slew_time Star24 Star3) 9.098)
	(= (slew_time Star3 Star24) 9.098)
	(= (slew_time Star24 Star4) 51.98)
	(= (slew_time Star4 Star24) 51.98)
	(= (slew_time Star24 Phenomenon5) 54.7)
	(= (slew_time Phenomenon5 Star24) 54.7)
	(= (slew_time Star24 Phenomenon6) 29.14)
	(= (slew_time Phenomenon6 Star24) 29.14)
	(= (slew_time Star24 Phenomenon7) 6.528)
	(= (slew_time Phenomenon7 Star24) 6.528)
	(= (slew_time Star24 Phenomenon8) 0.06568)
	(= (slew_time Phenomenon8 Star24) 0.06568)
	(= (slew_time Star24 Star9) 50.17)
	(= (slew_time Star9 Star24) 50.17)
	(= (slew_time Star24 Star10) 35.03)
	(= (slew_time Star10 Star24) 35.03)
	(= (slew_time Star24 Phenomenon11) 6.698)
	(= (slew_time Phenomenon11 Star24) 6.698)
	(= (slew_time Star24 Star12) 29.17)
	(= (slew_time Star12 Star24) 29.17)
	(= (slew_time Star24 Star13) 0.4196)
	(= (slew_time Star13 Star24) 0.4196)
	(= (slew_time Star24 Planet14) 4.349)
	(= (slew_time Planet14 Star24) 4.349)
	(= (slew_time Star24 Planet15) 0.8687)
	(= (slew_time Planet15 Star24) 0.8687)
	(= (slew_time Star24 Star16) 62.84)
	(= (slew_time Star16 Star24) 62.84)
	(= (slew_time Star24 Planet17) 9.836)
	(= (slew_time Planet17 Star24) 9.836)
	(= (slew_time Star24 Phenomenon18) 72.84)
	(= (slew_time Phenomenon18 Star24) 72.84)
	(= (slew_time Star24 Planet19) 12.46)
	(= (slew_time Planet19 Star24) 12.46)
	(= (slew_time Star24 Planet20) 90.09)
	(= (slew_time Planet20 Star24) 90.09)
	(= (slew_time Star24 Star21) 17.51)
	(= (slew_time Star21 Star24) 17.51)
	(= (slew_time Star24 Star22) 2.6)
	(= (slew_time Star22 Star24) 2.6)
	(= (slew_time Star24 Star23) 16.61)
	(= (slew_time Star23 Star24) 16.61)
	(= (slew_time Star25 Star0) 53.35)
	(= (slew_time Star0 Star25) 53.35)
	(= (slew_time Star25 Star1) 15.76)
	(= (slew_time Star1 Star25) 15.76)
	(= (slew_time Star25 Star2) 1.438)
	(= (slew_time Star2 Star25) 1.438)
	(= (slew_time Star25 Star3) 0.1594)
	(= (slew_time Star3 Star25) 0.1594)
	(= (slew_time Star25 Star4) 4.084)
	(= (slew_time Star4 Star25) 4.084)
	(= (slew_time Star25 Phenomenon5) 69.13)
	(= (slew_time Phenomenon5 Star25) 69.13)
	(= (slew_time Star25 Phenomenon6) 19.16)
	(= (slew_time Phenomenon6 Star25) 19.16)
	(= (slew_time Star25 Phenomenon7) 59.68)
	(= (slew_time Phenomenon7 Star25) 59.68)
	(= (slew_time Star25 Phenomenon8) 58.48)
	(= (slew_time Phenomenon8 Star25) 58.48)
	(= (slew_time Star25 Star9) 19.21)
	(= (slew_time Star9 Star25) 19.21)
	(= (slew_time Star25 Star10) 4.521)
	(= (slew_time Star10 Star25) 4.521)
	(= (slew_time Star25 Phenomenon11) 38.9)
	(= (slew_time Phenomenon11 Star25) 38.9)
	(= (slew_time Star25 Star12) 47.73)
	(= (slew_time Star12 Star25) 47.73)
	(= (slew_time Star25 Star13) 73.85)
	(= (slew_time Star13 Star25) 73.85)
	(= (slew_time Star25 Planet14) 11.8)
	(= (slew_time Planet14 Star25) 11.8)
	(= (slew_time Star25 Planet15) 3.432)
	(= (slew_time Planet15 Star25) 3.432)
	(= (slew_time Star25 Star16) 36.85)
	(= (slew_time Star16 Star25) 36.85)
	(= (slew_time Star25 Planet17) 59.16)
	(= (slew_time Planet17 Star25) 59.16)
	(= (slew_time Star25 Phenomenon18) 13.88)
	(= (slew_time Phenomenon18 Star25) 13.88)
	(= (slew_time Star25 Planet19) 43.56)
	(= (slew_time Planet19 Star25) 43.56)
	(= (slew_time Star25 Planet20) 48.99)
	(= (slew_time Planet20 Star25) 48.99)
	(= (slew_time Star25 Star21) 37.66)
	(= (slew_time Star21 Star25) 37.66)
	(= (slew_time Star25 Star22) 18.91)
	(= (slew_time Star22 Star25) 18.91)
	(= (slew_time Star25 Star23) 31.52)
	(= (slew_time Star23 Star25) 31.52)
	(= (slew_time Star25 Star24) 23.93)
	(= (slew_time Star24 Star25) 23.93)
	(= (slew_time Star26 Star0) 9.356)
	(= (slew_time Star0 Star26) 9.356)
	(= (slew_time Star26 Star1) 15.51)
	(= (slew_time Star1 Star26) 15.51)
	(= (slew_time Star26 Star2) 32.38)
	(= (slew_time Star2 Star26) 32.38)
	(= (slew_time Star26 Star3) 19.86)
	(= (slew_time Star3 Star26) 19.86)
	(= (slew_time Star26 Star4) 2.103)
	(= (slew_time Star4 Star26) 2.103)
	(= (slew_time Star26 Phenomenon5) 37.7)
	(= (slew_time Phenomenon5 Star26) 37.7)
	(= (slew_time Star26 Phenomenon6) 72)
	(= (slew_time Phenomenon6 Star26) 72)
	(= (slew_time Star26 Phenomenon7) 12.12)
	(= (slew_time Phenomenon7 Star26) 12.12)
	(= (slew_time Star26 Phenomenon8) 9.761)
	(= (slew_time Phenomenon8 Star26) 9.761)
	(= (slew_time Star26 Star9) 21.78)
	(= (slew_time Star9 Star26) 21.78)
	(= (slew_time Star26 Star10) 50.77)
	(= (slew_time Star10 Star26) 50.77)
	(= (slew_time Star26 Phenomenon11) 36.19)
	(= (slew_time Phenomenon11 Star26) 36.19)
	(= (slew_time Star26 Star12) 78.62)
	(= (slew_time Star12 Star26) 78.62)
	(= (slew_time Star26 Star13) 6.068)
	(= (slew_time Star13 Star26) 6.068)
	(= (slew_time Star26 Planet14) 0.1519)
	(= (slew_time Planet14 Star26) 0.1519)
	(= (slew_time Star26 Planet15) 29.69)
	(= (slew_time Planet15 Star26) 29.69)
	(= (slew_time Star26 Star16) 64.58)
	(= (slew_time Star16 Star26) 64.58)
	(= (slew_time Star26 Planet17) 47.2)
	(= (slew_time Planet17 Star26) 47.2)
	(= (slew_time Star26 Phenomenon18) 42.89)
	(= (slew_time Phenomenon18 Star26) 42.89)
	(= (slew_time Star26 Planet19) 51.46)
	(= (slew_time Planet19 Star26) 51.46)
	(= (slew_time Star26 Planet20) 51.5)
	(= (slew_time Planet20 Star26) 51.5)
	(= (slew_time Star26 Star21) 20.32)
	(= (slew_time Star21 Star26) 20.32)
	(= (slew_time Star26 Star22) 14.14)
	(= (slew_time Star22 Star26) 14.14)
	(= (slew_time Star26 Star23) 79.81)
	(= (slew_time Star23 Star26) 79.81)
	(= (slew_time Star26 Star24) 14.73)
	(= (slew_time Star24 Star26) 14.73)
	(= (slew_time Star26 Star25) 16.63)
	(= (slew_time Star25 Star26) 16.63)
	(= (slew_time Star27 Star0) 82.39)
	(= (slew_time Star0 Star27) 82.39)
	(= (slew_time Star27 Star1) 68.63)
	(= (slew_time Star1 Star27) 68.63)
	(= (slew_time Star27 Star2) 28.61)
	(= (slew_time Star2 Star27) 28.61)
	(= (slew_time Star27 Star3) 20.08)
	(= (slew_time Star3 Star27) 20.08)
	(= (slew_time Star27 Star4) 39.92)
	(= (slew_time Star4 Star27) 39.92)
	(= (slew_time Star27 Phenomenon5) 25.89)
	(= (slew_time Phenomenon5 Star27) 25.89)
	(= (slew_time Star27 Phenomenon6) 61.37)
	(= (slew_time Phenomenon6 Star27) 61.37)
	(= (slew_time Star27 Phenomenon7) 19.46)
	(= (slew_time Phenomenon7 Star27) 19.46)
	(= (slew_time Star27 Phenomenon8) 74.49)
	(= (slew_time Phenomenon8 Star27) 74.49)
	(= (slew_time Star27 Star9) 61.67)
	(= (slew_time Star9 Star27) 61.67)
	(= (slew_time Star27 Star10) 66.63)
	(= (slew_time Star10 Star27) 66.63)
	(= (slew_time Star27 Phenomenon11) 4.502)
	(= (slew_time Phenomenon11 Star27) 4.502)
	(= (slew_time Star27 Star12) 83.62)
	(= (slew_time Star12 Star27) 83.62)
	(= (slew_time Star27 Star13) 2.334)
	(= (slew_time Star13 Star27) 2.334)
	(= (slew_time Star27 Planet14) 34.23)
	(= (slew_time Planet14 Star27) 34.23)
	(= (slew_time Star27 Planet15) 4.51)
	(= (slew_time Planet15 Star27) 4.51)
	(= (slew_time Star27 Star16) 5.245)
	(= (slew_time Star16 Star27) 5.245)
	(= (slew_time Star27 Planet17) 89.5)
	(= (slew_time Planet17 Star27) 89.5)
	(= (slew_time Star27 Phenomenon18) 44.06)
	(= (slew_time Phenomenon18 Star27) 44.06)
	(= (slew_time Star27 Planet19) 51.07)
	(= (slew_time Planet19 Star27) 51.07)
	(= (slew_time Star27 Planet20) 3.283)
	(= (slew_time Planet20 Star27) 3.283)
	(= (slew_time Star27 Star21) 5.007)
	(= (slew_time Star21 Star27) 5.007)
	(= (slew_time Star27 Star22) 83.39)
	(= (slew_time Star22 Star27) 83.39)
	(= (slew_time Star27 Star23) 53.48)
	(= (slew_time Star23 Star27) 53.48)
	(= (slew_time Star27 Star24) 66.35)
	(= (slew_time Star24 Star27) 66.35)
	(= (slew_time Star27 Star25) 36.75)
	(= (slew_time Star25 Star27) 36.75)
	(= (slew_time Star27 Star26) 27.89)
	(= (slew_time Star26 Star27) 27.89)
	(= (slew_time Phenomenon28 Star0) 25.81)
	(= (slew_time Star0 Phenomenon28) 25.81)
	(= (slew_time Phenomenon28 Star1) 37.3)
	(= (slew_time Star1 Phenomenon28) 37.3)
	(= (slew_time Phenomenon28 Star2) 40.21)
	(= (slew_time Star2 Phenomenon28) 40.21)
	(= (slew_time Phenomenon28 Star3) 54.89)
	(= (slew_time Star3 Phenomenon28) 54.89)
	(= (slew_time Phenomenon28 Star4) 35)
	(= (slew_time Star4 Phenomenon28) 35)
	(= (slew_time Phenomenon28 Phenomenon5) 33.92)
	(= (slew_time Phenomenon5 Phenomenon28) 33.92)
	(= (slew_time Phenomenon28 Phenomenon6) 54.26)
	(= (slew_time Phenomenon6 Phenomenon28) 54.26)
	(= (slew_time Phenomenon28 Phenomenon7) 58.56)
	(= (slew_time Phenomenon7 Phenomenon28) 58.56)
	(= (slew_time Phenomenon28 Phenomenon8) 54.92)
	(= (slew_time Phenomenon8 Phenomenon28) 54.92)
	(= (slew_time Phenomenon28 Star9) 73.45)
	(= (slew_time Star9 Phenomenon28) 73.45)
	(= (slew_time Phenomenon28 Star10) 36.07)
	(= (slew_time Star10 Phenomenon28) 36.07)
	(= (slew_time Phenomenon28 Phenomenon11) 81.16)
	(= (slew_time Phenomenon11 Phenomenon28) 81.16)
	(= (slew_time Phenomenon28 Star12) 24.65)
	(= (slew_time Star12 Phenomenon28) 24.65)
	(= (slew_time Phenomenon28 Star13) 51.12)
	(= (slew_time Star13 Phenomenon28) 51.12)
	(= (slew_time Phenomenon28 Planet14) 4.136)
	(= (slew_time Planet14 Phenomenon28) 4.136)
	(= (slew_time Phenomenon28 Planet15) 80.52)
	(= (slew_time Planet15 Phenomenon28) 80.52)
	(= (slew_time Phenomenon28 Star16) 75.07)
	(= (slew_time Star16 Phenomenon28) 75.07)
	(= (slew_time Phenomenon28 Planet17) 20.62)
	(= (slew_time Planet17 Phenomenon28) 20.62)
	(= (slew_time Phenomenon28 Phenomenon18) 70.71)
	(= (slew_time Phenomenon18 Phenomenon28) 70.71)
	(= (slew_time Phenomenon28 Planet19) 4.23)
	(= (slew_time Planet19 Phenomenon28) 4.23)
	(= (slew_time Phenomenon28 Planet20) 73.75)
	(= (slew_time Planet20 Phenomenon28) 73.75)
	(= (slew_time Phenomenon28 Star21) 22.34)
	(= (slew_time Star21 Phenomenon28) 22.34)
	(= (slew_time Phenomenon28 Star22) 28.25)
	(= (slew_time Star22 Phenomenon28) 28.25)
	(= (slew_time Phenomenon28 Star23) 32.18)
	(= (slew_time Star23 Phenomenon28) 32.18)
	(= (slew_time Phenomenon28 Star24) 36.91)
	(= (slew_time Star24 Phenomenon28) 36.91)
	(= (slew_time Phenomenon28 Star25) 73.4)
	(= (slew_time Star25 Phenomenon28) 73.4)
	(= (slew_time Phenomenon28 Star26) 18.26)
	(= (slew_time Star26 Phenomenon28) 18.26)
	(= (slew_time Phenomenon28 Star27) 67.48)
	(= (slew_time Star27 Phenomenon28) 67.48)
	(= (slew_time Star29 Star0) 63.51)
	(= (slew_time Star0 Star29) 63.51)
	(= (slew_time Star29 Star1) 4.957)
	(= (slew_time Star1 Star29) 4.957)
	(= (slew_time Star29 Star2) 77.29)
	(= (slew_time Star2 Star29) 77.29)
	(= (slew_time Star29 Star3) 2.598)
	(= (slew_time Star3 Star29) 2.598)
	(= (slew_time Star29 Star4) 6.714)
	(= (slew_time Star4 Star29) 6.714)
	(= (slew_time Star29 Phenomenon5) 9.333)
	(= (slew_time Phenomenon5 Star29) 9.333)
	(= (slew_time Star29 Phenomenon6) 44.66)
	(= (slew_time Phenomenon6 Star29) 44.66)
	(= (slew_time Star29 Phenomenon7) 89.11)
	(= (slew_time Phenomenon7 Star29) 89.11)
	(= (slew_time Star29 Phenomenon8) 36.2)
	(= (slew_time Phenomenon8 Star29) 36.2)
	(= (slew_time Star29 Star9) 44.73)
	(= (slew_time Star9 Star29) 44.73)
	(= (slew_time Star29 Star10) 12.13)
	(= (slew_time Star10 Star29) 12.13)
	(= (slew_time Star29 Phenomenon11) 2.842)
	(= (slew_time Phenomenon11 Star29) 2.842)
	(= (slew_time Star29 Star12) 3.765)
	(= (slew_time Star12 Star29) 3.765)
	(= (slew_time Star29 Star13) 38.9)
	(= (slew_time Star13 Star29) 38.9)
	(= (slew_time Star29 Planet14) 30.77)
	(= (slew_time Planet14 Star29) 30.77)
	(= (slew_time Star29 Planet15) 49.23)
	(= (slew_time Planet15 Star29) 49.23)
	(= (slew_time Star29 Star16) 17.5)
	(= (slew_time Star16 Star29) 17.5)
	(= (slew_time Star29 Planet17) 31.11)
	(= (slew_time Planet17 Star29) 31.11)
	(= (slew_time Star29 Phenomenon18) 36.19)
	(= (slew_time Phenomenon18 Star29) 36.19)
	(= (slew_time Star29 Planet19) 7.792)
	(= (slew_time Planet19 Star29) 7.792)
	(= (slew_time Star29 Planet20) 6.62)
	(= (slew_time Planet20 Star29) 6.62)
	(= (slew_time Star29 Star21) 21.61)
	(= (slew_time Star21 Star29) 21.61)
	(= (slew_time Star29 Star22) 25.35)
	(= (slew_time Star22 Star29) 25.35)
	(= (slew_time Star29 Star23) 22.61)
	(= (slew_time Star23 Star29) 22.61)
	(= (slew_time Star29 Star24) 2.112)
	(= (slew_time Star24 Star29) 2.112)
	(= (slew_time Star29 Star25) 46.21)
	(= (slew_time Star25 Star29) 46.21)
	(= (slew_time Star29 Star26) 4.304)
	(= (slew_time Star26 Star29) 4.304)
	(= (slew_time Star29 Star27) 79.24)
	(= (slew_time Star27 Star29) 79.24)
	(= (slew_time Star29 Phenomenon28) 31.75)
	(= (slew_time Phenomenon28 Star29) 31.75)
	(= (slew_time Phenomenon30 Star0) 35.17)
	(= (slew_time Star0 Phenomenon30) 35.17)
	(= (slew_time Phenomenon30 Star1) 17.19)
	(= (slew_time Star1 Phenomenon30) 17.19)
	(= (slew_time Phenomenon30 Star2) 12.86)
	(= (slew_time Star2 Phenomenon30) 12.86)
	(= (slew_time Phenomenon30 Star3) 5.16)
	(= (slew_time Star3 Phenomenon30) 5.16)
	(= (slew_time Phenomenon30 Star4) 18.29)
	(= (slew_time Star4 Phenomenon30) 18.29)
	(= (slew_time Phenomenon30 Phenomenon5) 36.67)
	(= (slew_time Phenomenon5 Phenomenon30) 36.67)
	(= (slew_time Phenomenon30 Phenomenon6) 79.06)
	(= (slew_time Phenomenon6 Phenomenon30) 79.06)
	(= (slew_time Phenomenon30 Phenomenon7) 16.32)
	(= (slew_time Phenomenon7 Phenomenon30) 16.32)
	(= (slew_time Phenomenon30 Phenomenon8) 20.39)
	(= (slew_time Phenomenon8 Phenomenon30) 20.39)
	(= (slew_time Phenomenon30 Star9) 49.3)
	(= (slew_time Star9 Phenomenon30) 49.3)
	(= (slew_time Phenomenon30 Star10) 27.06)
	(= (slew_time Star10 Phenomenon30) 27.06)
	(= (slew_time Phenomenon30 Phenomenon11) 62.3)
	(= (slew_time Phenomenon11 Phenomenon30) 62.3)
	(= (slew_time Phenomenon30 Star12) 33.27)
	(= (slew_time Star12 Phenomenon30) 33.27)
	(= (slew_time Phenomenon30 Star13) 1.708)
	(= (slew_time Star13 Phenomenon30) 1.708)
	(= (slew_time Phenomenon30 Planet14) 2.994)
	(= (slew_time Planet14 Phenomenon30) 2.994)
	(= (slew_time Phenomenon30 Planet15) 60.45)
	(= (slew_time Planet15 Phenomenon30) 60.45)
	(= (slew_time Phenomenon30 Star16) 17.05)
	(= (slew_time Star16 Phenomenon30) 17.05)
	(= (slew_time Phenomenon30 Planet17) 39.62)
	(= (slew_time Planet17 Phenomenon30) 39.62)
	(= (slew_time Phenomenon30 Phenomenon18) 16.84)
	(= (slew_time Phenomenon18 Phenomenon30) 16.84)
	(= (slew_time Phenomenon30 Planet19) 41.21)
	(= (slew_time Planet19 Phenomenon30) 41.21)
	(= (slew_time Phenomenon30 Planet20) 21.98)
	(= (slew_time Planet20 Phenomenon30) 21.98)
	(= (slew_time Phenomenon30 Star21) 12.75)
	(= (slew_time Star21 Phenomenon30) 12.75)
	(= (slew_time Phenomenon30 Star22) 3.698)
	(= (slew_time Star22 Phenomenon30) 3.698)
	(= (slew_time Phenomenon30 Star23) 47.43)
	(= (slew_time Star23 Phenomenon30) 47.43)
	(= (slew_time Phenomenon30 Star24) 35.37)
	(= (slew_time Star24 Phenomenon30) 35.37)
	(= (slew_time Phenomenon30 Star25) 13.86)
	(= (slew_time Star25 Phenomenon30) 13.86)
	(= (slew_time Phenomenon30 Star26) 43.1)
	(= (slew_time Star26 Phenomenon30) 43.1)
	(= (slew_time Phenomenon30 Star27) 28.63)
	(= (slew_time Star27 Phenomenon30) 28.63)
	(= (slew_time Phenomenon30 Phenomenon28) 39.44)
	(= (slew_time Phenomenon28 Phenomenon30) 39.44)
	(= (slew_time Phenomenon30 Star29) 51.28)
	(= (slew_time Star29 Phenomenon30) 51.28)
	(= (slew_time Planet31 Star0) 38.16)
	(= (slew_time Star0 Planet31) 38.16)
	(= (slew_time Planet31 Star1) 26.78)
	(= (slew_time Star1 Planet31) 26.78)
	(= (slew_time Planet31 Star2) 53.82)
	(= (slew_time Star2 Planet31) 53.82)
	(= (slew_time Planet31 Star3) 26.87)
	(= (slew_time Star3 Planet31) 26.87)
	(= (slew_time Planet31 Star4) 45.21)
	(= (slew_time Star4 Planet31) 45.21)
	(= (slew_time Planet31 Phenomenon5) 5.353)
	(= (slew_time Phenomenon5 Planet31) 5.353)
	(= (slew_time Planet31 Phenomenon6) 62.43)
	(= (slew_time Phenomenon6 Planet31) 62.43)
	(= (slew_time Planet31 Phenomenon7) 51.95)
	(= (slew_time Phenomenon7 Planet31) 51.95)
	(= (slew_time Planet31 Phenomenon8) 50.32)
	(= (slew_time Phenomenon8 Planet31) 50.32)
	(= (slew_time Planet31 Star9) 28.63)
	(= (slew_time Star9 Planet31) 28.63)
	(= (slew_time Planet31 Star10) 32.45)
	(= (slew_time Star10 Planet31) 32.45)
	(= (slew_time Planet31 Phenomenon11) 11.43)
	(= (slew_time Phenomenon11 Planet31) 11.43)
	(= (slew_time Planet31 Star12) 29.5)
	(= (slew_time Star12 Planet31) 29.5)
	(= (slew_time Planet31 Star13) 2.27)
	(= (slew_time Star13 Planet31) 2.27)
	(= (slew_time Planet31 Planet14) 78.17)
	(= (slew_time Planet14 Planet31) 78.17)
	(= (slew_time Planet31 Planet15) 36.4)
	(= (slew_time Planet15 Planet31) 36.4)
	(= (slew_time Planet31 Star16) 14.87)
	(= (slew_time Star16 Planet31) 14.87)
	(= (slew_time Planet31 Planet17) 44.05)
	(= (slew_time Planet17 Planet31) 44.05)
	(= (slew_time Planet31 Phenomenon18) 12.09)
	(= (slew_time Phenomenon18 Planet31) 12.09)
	(= (slew_time Planet31 Planet19) 21.48)
	(= (slew_time Planet19 Planet31) 21.48)
	(= (slew_time Planet31 Planet20) 19.37)
	(= (slew_time Planet20 Planet31) 19.37)
	(= (slew_time Planet31 Star21) 19.2)
	(= (slew_time Star21 Planet31) 19.2)
	(= (slew_time Planet31 Star22) 34.05)
	(= (slew_time Star22 Planet31) 34.05)
	(= (slew_time Planet31 Star23) 43.06)
	(= (slew_time Star23 Planet31) 43.06)
	(= (slew_time Planet31 Star24) 39.14)
	(= (slew_time Star24 Planet31) 39.14)
	(= (slew_time Planet31 Star25) 55.48)
	(= (slew_time Star25 Planet31) 55.48)
	(= (slew_time Planet31 Star26) 72.75)
	(= (slew_time Star26 Planet31) 72.75)
	(= (slew_time Planet31 Star27) 32.39)
	(= (slew_time Star27 Planet31) 32.39)
	(= (slew_time Planet31 Phenomenon28) 20.89)
	(= (slew_time Phenomenon28 Planet31) 20.89)
	(= (slew_time Planet31 Star29) 33.84)
	(= (slew_time Star29 Planet31) 33.84)
	(= (slew_time Planet31 Phenomenon30) 95.59)
	(= (slew_time Phenomenon30 Planet31) 95.59)
	(= (slew_time Phenomenon32 Star0) 9.455)
	(= (slew_time Star0 Phenomenon32) 9.455)
	(= (slew_time Phenomenon32 Star1) 6.984)
	(= (slew_time Star1 Phenomenon32) 6.984)
	(= (slew_time Phenomenon32 Star2) 45.66)
	(= (slew_time Star2 Phenomenon32) 45.66)
	(= (slew_time Phenomenon32 Star3) 29.66)
	(= (slew_time Star3 Phenomenon32) 29.66)
	(= (slew_time Phenomenon32 Star4) 20.87)
	(= (slew_time Star4 Phenomenon32) 20.87)
	(= (slew_time Phenomenon32 Phenomenon5) 39.27)
	(= (slew_time Phenomenon5 Phenomenon32) 39.27)
	(= (slew_time Phenomenon32 Phenomenon6) 0.769)
	(= (slew_time Phenomenon6 Phenomenon32) 0.769)
	(= (slew_time Phenomenon32 Phenomenon7) 78.07)
	(= (slew_time Phenomenon7 Phenomenon32) 78.07)
	(= (slew_time Phenomenon32 Phenomenon8) 0.06675)
	(= (slew_time Phenomenon8 Phenomenon32) 0.06675)
	(= (slew_time Phenomenon32 Star9) 34.29)
	(= (slew_time Star9 Phenomenon32) 34.29)
	(= (slew_time Phenomenon32 Star10) 41.98)
	(= (slew_time Star10 Phenomenon32) 41.98)
	(= (slew_time Phenomenon32 Phenomenon11) 30.32)
	(= (slew_time Phenomenon11 Phenomenon32) 30.32)
	(= (slew_time Phenomenon32 Star12) 34.81)
	(= (slew_time Star12 Phenomenon32) 34.81)
	(= (slew_time Phenomenon32 Star13) 10.29)
	(= (slew_time Star13 Phenomenon32) 10.29)
	(= (slew_time Phenomenon32 Planet14) 76.94)
	(= (slew_time Planet14 Phenomenon32) 76.94)
	(= (slew_time Phenomenon32 Planet15) 7.139)
	(= (slew_time Planet15 Phenomenon32) 7.139)
	(= (slew_time Phenomenon32 Star16) 76.74)
	(= (slew_time Star16 Phenomenon32) 76.74)
	(= (slew_time Phenomenon32 Planet17) 22.68)
	(= (slew_time Planet17 Phenomenon32) 22.68)
	(= (slew_time Phenomenon32 Phenomenon18) 36.23)
	(= (slew_time Phenomenon18 Phenomenon32) 36.23)
	(= (slew_time Phenomenon32 Planet19) 0.8106)
	(= (slew_time Planet19 Phenomenon32) 0.8106)
	(= (slew_time Phenomenon32 Planet20) 47.73)
	(= (slew_time Planet20 Phenomenon32) 47.73)
	(= (slew_time Phenomenon32 Star21) 33.82)
	(= (slew_time Star21 Phenomenon32) 33.82)
	(= (slew_time Phenomenon32 Star22) 7.757)
	(= (slew_time Star22 Phenomenon32) 7.757)
	(= (slew_time Phenomenon32 Star23) 2.144)
	(= (slew_time Star23 Phenomenon32) 2.144)
	(= (slew_time Phenomenon32 Star24) 79.92)
	(= (slew_time Star24 Phenomenon32) 79.92)
	(= (slew_time Phenomenon32 Star25) 42.55)
	(= (slew_time Star25 Phenomenon32) 42.55)
	(= (slew_time Phenomenon32 Star26) 71.99)
	(= (slew_time Star26 Phenomenon32) 71.99)
	(= (slew_time Phenomenon32 Star27) 6.596)
	(= (slew_time Star27 Phenomenon32) 6.596)
	(= (slew_time Phenomenon32 Phenomenon28) 16.09)
	(= (slew_time Phenomenon28 Phenomenon32) 16.09)
	(= (slew_time Phenomenon32 Star29) 12.05)
	(= (slew_time Star29 Phenomenon32) 12.05)
	(= (slew_time Phenomenon32 Phenomenon30) 5.012)
	(= (slew_time Phenomenon30 Phenomenon32) 5.012)
	(= (slew_time Phenomenon32 Planet31) 20.58)
	(= (slew_time Planet31 Phenomenon32) 20.58)
	(= (slew_time Planet33 Star0) 42.86)
	(= (slew_time Star0 Planet33) 42.86)
	(= (slew_time Planet33 Star1) 13.02)
	(= (slew_time Star1 Planet33) 13.02)
	(= (slew_time Planet33 Star2) 42.77)
	(= (slew_time Star2 Planet33) 42.77)
	(= (slew_time Planet33 Star3) 8.029)
	(= (slew_time Star3 Planet33) 8.029)
	(= (slew_time Planet33 Star4) 22.65)
	(= (slew_time Star4 Planet33) 22.65)
	(= (slew_time Planet33 Phenomenon5) 6.853)
	(= (slew_time Phenomenon5 Planet33) 6.853)
	(= (slew_time Planet33 Phenomenon6) 43.58)
	(= (slew_time Phenomenon6 Planet33) 43.58)
	(= (slew_time Planet33 Phenomenon7) 46)
	(= (slew_time Phenomenon7 Planet33) 46)
	(= (slew_time Planet33 Phenomenon8) 50.07)
	(= (slew_time Phenomenon8 Planet33) 50.07)
	(= (slew_time Planet33 Star9) 37.57)
	(= (slew_time Star9 Planet33) 37.57)
	(= (slew_time Planet33 Star10) 67.9)
	(= (slew_time Star10 Planet33) 67.9)
	(= (slew_time Planet33 Phenomenon11) 22.53)
	(= (slew_time Phenomenon11 Planet33) 22.53)
	(= (slew_time Planet33 Star12) 27.9)
	(= (slew_time Star12 Planet33) 27.9)
	(= (slew_time Planet33 Star13) 2.055)
	(= (slew_time Star13 Planet33) 2.055)
	(= (slew_time Planet33 Planet14) 19.76)
	(= (slew_time Planet14 Planet33) 19.76)
	(= (slew_time Planet33 Planet15) 6.206)
	(= (slew_time Planet15 Planet33) 6.206)
	(= (slew_time Planet33 Star16) 27.89)
	(= (slew_time Star16 Planet33) 27.89)
	(= (slew_time Planet33 Planet17) 47.55)
	(= (slew_time Planet17 Planet33) 47.55)
	(= (slew_time Planet33 Phenomenon18) 23.5)
	(= (slew_time Phenomenon18 Planet33) 23.5)
	(= (slew_time Planet33 Planet19) 21.26)
	(= (slew_time Planet19 Planet33) 21.26)
	(= (slew_time Planet33 Planet20) 27.17)
	(= (slew_time Planet20 Planet33) 27.17)
	(= (slew_time Planet33 Star21) 6.741)
	(= (slew_time Star21 Planet33) 6.741)
	(= (slew_time Planet33 Star22) 19.58)
	(= (slew_time Star22 Planet33) 19.58)
	(= (slew_time Planet33 Star23) 21.13)
	(= (slew_time Star23 Planet33) 21.13)
	(= (slew_time Planet33 Star24) 2.151)
	(= (slew_time Star24 Planet33) 2.151)
	(= (slew_time Planet33 Star25) 87.24)
	(= (slew_time Star25 Planet33) 87.24)
	(= (slew_time Planet33 Star26) 50.91)
	(= (slew_time Star26 Planet33) 50.91)
	(= (slew_time Planet33 Star27) 33.77)
	(= (slew_time Star27 Planet33) 33.77)
	(= (slew_time Planet33 Phenomenon28) 59.92)
	(= (slew_time Phenomenon28 Planet33) 59.92)
	(= (slew_time Planet33 Star29) 36.35)
	(= (slew_time Star29 Planet33) 36.35)
	(= (slew_time Planet33 Phenomenon30) 24.6)
	(= (slew_time Phenomenon30 Planet33) 24.6)
	(= (slew_time Planet33 Planet31) 57.69)
	(= (slew_time Planet31 Planet33) 57.69)
	(= (slew_time Planet33 Phenomenon32) 38.22)
	(= (slew_time Phenomenon32 Planet33) 38.22)
	(= (slew_time Phenomenon34 Star0) 14.6)
	(= (slew_time Star0 Phenomenon34) 14.6)
	(= (slew_time Phenomenon34 Star1) 39.24)
	(= (slew_time Star1 Phenomenon34) 39.24)
	(= (slew_time Phenomenon34 Star2) 79.87)
	(= (slew_time Star2 Phenomenon34) 79.87)
	(= (slew_time Phenomenon34 Star3) 26.81)
	(= (slew_time Star3 Phenomenon34) 26.81)
	(= (slew_time Phenomenon34 Star4) 56.83)
	(= (slew_time Star4 Phenomenon34) 56.83)
	(= (slew_time Phenomenon34 Phenomenon5) 14.35)
	(= (slew_time Phenomenon5 Phenomenon34) 14.35)
	(= (slew_time Phenomenon34 Phenomenon6) 36.91)
	(= (slew_time Phenomenon6 Phenomenon34) 36.91)
	(= (slew_time Phenomenon34 Phenomenon7) 38.38)
	(= (slew_time Phenomenon7 Phenomenon34) 38.38)
	(= (slew_time Phenomenon34 Phenomenon8) 1.014)
	(= (slew_time Phenomenon8 Phenomenon34) 1.014)
	(= (slew_time Phenomenon34 Star9) 6.772)
	(= (slew_time Star9 Phenomenon34) 6.772)
	(= (slew_time Phenomenon34 Star10) 39.63)
	(= (slew_time Star10 Phenomenon34) 39.63)
	(= (slew_time Phenomenon34 Phenomenon11) 3.328)
	(= (slew_time Phenomenon11 Phenomenon34) 3.328)
	(= (slew_time Phenomenon34 Star12) 31.13)
	(= (slew_time Star12 Phenomenon34) 31.13)
	(= (slew_time Phenomenon34 Star13) 94.31)
	(= (slew_time Star13 Phenomenon34) 94.31)
	(= (slew_time Phenomenon34 Planet14) 66.25)
	(= (slew_time Planet14 Phenomenon34) 66.25)
	(= (slew_time Phenomenon34 Planet15) 27.91)
	(= (slew_time Planet15 Phenomenon34) 27.91)
	(= (slew_time Phenomenon34 Star16) 52.41)
	(= (slew_time Star16 Phenomenon34) 52.41)
	(= (slew_time Phenomenon34 Planet17) 43.8)
	(= (slew_time Planet17 Phenomenon34) 43.8)
	(= (slew_time Phenomenon34 Phenomenon18) 19.1)
	(= (slew_time Phenomenon18 Phenomenon34) 19.1)
	(= (slew_time Phenomenon34 Planet19) 4.285)
	(= (slew_time Planet19 Phenomenon34) 4.285)
	(= (slew_time Phenomenon34 Planet20) 32.53)
	(= (slew_time Planet20 Phenomenon34) 32.53)
	(= (slew_time Phenomenon34 Star21) 40.72)
	(= (slew_time Star21 Phenomenon34) 40.72)
	(= (slew_time Phenomenon34 Star22) 52.57)
	(= (slew_time Star22 Phenomenon34) 52.57)
	(= (slew_time Phenomenon34 Star23) 61.93)
	(= (slew_time Star23 Phenomenon34) 61.93)
	(= (slew_time Phenomenon34 Star24) 2.841)
	(= (slew_time Star24 Phenomenon34) 2.841)
	(= (slew_time Phenomenon34 Star25) 6.898)
	(= (slew_time Star25 Phenomenon34) 6.898)
	(= (slew_time Phenomenon34 Star26) 22.98)
	(= (slew_time Star26 Phenomenon34) 22.98)
	(= (slew_time Phenomenon34 Star27) 12.65)
	(= (slew_time Star27 Phenomenon34) 12.65)
	(= (slew_time Phenomenon34 Phenomenon28) 38.04)
	(= (slew_time Phenomenon28 Phenomenon34) 38.04)
	(= (slew_time Phenomenon34 Star29) 59.15)
	(= (slew_time Star29 Phenomenon34) 59.15)
	(= (slew_time Phenomenon34 Phenomenon30) 13.28)
	(= (slew_time Phenomenon30 Phenomenon34) 13.28)
	(= (slew_time Phenomenon34 Planet31) 9.067)
	(= (slew_time Planet31 Phenomenon34) 9.067)
	(= (slew_time Phenomenon34 Phenomenon32) 42.56)
	(= (slew_time Phenomenon32 Phenomenon34) 42.56)
	(= (slew_time Phenomenon34 Planet33) 28.58)
	(= (slew_time Planet33 Phenomenon34) 28.58)
	(= (slew_time Planet35 Star0) 24.63)
	(= (slew_time Star0 Planet35) 24.63)
	(= (slew_time Planet35 Star1) 65.31)
	(= (slew_time Star1 Planet35) 65.31)
	(= (slew_time Planet35 Star2) 55.78)
	(= (slew_time Star2 Planet35) 55.78)
	(= (slew_time Planet35 Star3) 20.03)
	(= (slew_time Star3 Planet35) 20.03)
	(= (slew_time Planet35 Star4) 43.01)
	(= (slew_time Star4 Planet35) 43.01)
	(= (slew_time Planet35 Phenomenon5) 25.96)
	(= (slew_time Phenomenon5 Planet35) 25.96)
	(= (slew_time Planet35 Phenomenon6) 45.5)
	(= (slew_time Phenomenon6 Planet35) 45.5)
	(= (slew_time Planet35 Phenomenon7) 51.95)
	(= (slew_time Phenomenon7 Planet35) 51.95)
	(= (slew_time Planet35 Phenomenon8) 46.19)
	(= (slew_time Phenomenon8 Planet35) 46.19)
	(= (slew_time Planet35 Star9) 82.77)
	(= (slew_time Star9 Planet35) 82.77)
	(= (slew_time Planet35 Star10) 78.15)
	(= (slew_time Star10 Planet35) 78.15)
	(= (slew_time Planet35 Phenomenon11) 35.63)
	(= (slew_time Phenomenon11 Planet35) 35.63)
	(= (slew_time Planet35 Star12) 57.31)
	(= (slew_time Star12 Planet35) 57.31)
	(= (slew_time Planet35 Star13) 6.515)
	(= (slew_time Star13 Planet35) 6.515)
	(= (slew_time Planet35 Planet14) 8.701)
	(= (slew_time Planet14 Planet35) 8.701)
	(= (slew_time Planet35 Planet15) 33.51)
	(= (slew_time Planet15 Planet35) 33.51)
	(= (slew_time Planet35 Star16) 31.63)
	(= (slew_time Star16 Planet35) 31.63)
	(= (slew_time Planet35 Planet17) 6.394)
	(= (slew_time Planet17 Planet35) 6.394)
	(= (slew_time Planet35 Phenomenon18) 32.82)
	(= (slew_time Phenomenon18 Planet35) 32.82)
	(= (slew_time Planet35 Planet19) 0.7235)
	(= (slew_time Planet19 Planet35) 0.7235)
	(= (slew_time Planet35 Planet20) 69.9)
	(= (slew_time Planet20 Planet35) 69.9)
	(= (slew_time Planet35 Star21) 0.9137)
	(= (slew_time Star21 Planet35) 0.9137)
	(= (slew_time Planet35 Star22) 59.59)
	(= (slew_time Star22 Planet35) 59.59)
	(= (slew_time Planet35 Star23) 10.9)
	(= (slew_time Star23 Planet35) 10.9)
	(= (slew_time Planet35 Star24) 26.42)
	(= (slew_time Star24 Planet35) 26.42)
	(= (slew_time Planet35 Star25) 12.83)
	(= (slew_time Star25 Planet35) 12.83)
	(= (slew_time Planet35 Star26) 19.91)
	(= (slew_time Star26 Planet35) 19.91)
	(= (slew_time Planet35 Star27) 6.415)
	(= (slew_time Star27 Planet35) 6.415)
	(= (slew_time Planet35 Phenomenon28) 16.96)
	(= (slew_time Phenomenon28 Planet35) 16.96)
	(= (slew_time Planet35 Star29) 67.53)
	(= (slew_time Star29 Planet35) 67.53)
	(= (slew_time Planet35 Phenomenon30) 72.91)
	(= (slew_time Phenomenon30 Planet35) 72.91)
	(= (slew_time Planet35 Planet31) 25.07)
	(= (slew_time Planet31 Planet35) 25.07)
	(= (slew_time Planet35 Phenomenon32) 0.1513)
	(= (slew_time Phenomenon32 Planet35) 0.1513)
	(= (slew_time Planet35 Planet33) 8.043)
	(= (slew_time Planet33 Planet35) 8.043)
	(= (slew_time Planet35 Phenomenon34) 17.83)
	(= (slew_time Phenomenon34 Planet35) 17.83)
	(= (slew_time Phenomenon36 Star0) 7.788)
	(= (slew_time Star0 Phenomenon36) 7.788)
	(= (slew_time Phenomenon36 Star1) 49.83)
	(= (slew_time Star1 Phenomenon36) 49.83)
	(= (slew_time Phenomenon36 Star2) 2.439)
	(= (slew_time Star2 Phenomenon36) 2.439)
	(= (slew_time Phenomenon36 Star3) 16.01)
	(= (slew_time Star3 Phenomenon36) 16.01)
	(= (slew_time Phenomenon36 Star4) 7.978)
	(= (slew_time Star4 Phenomenon36) 7.978)
	(= (slew_time Phenomenon36 Phenomenon5) 37.02)
	(= (slew_time Phenomenon5 Phenomenon36) 37.02)
	(= (slew_time Phenomenon36 Phenomenon6) 20.95)
	(= (slew_time Phenomenon6 Phenomenon36) 20.95)
	(= (slew_time Phenomenon36 Phenomenon7) 80.79)
	(= (slew_time Phenomenon7 Phenomenon36) 80.79)
	(= (slew_time Phenomenon36 Phenomenon8) 46.16)
	(= (slew_time Phenomenon8 Phenomenon36) 46.16)
	(= (slew_time Phenomenon36 Star9) 21.83)
	(= (slew_time Star9 Phenomenon36) 21.83)
	(= (slew_time Phenomenon36 Star10) 22.72)
	(= (slew_time Star10 Phenomenon36) 22.72)
	(= (slew_time Phenomenon36 Phenomenon11) 3.127)
	(= (slew_time Phenomenon11 Phenomenon36) 3.127)
	(= (slew_time Phenomenon36 Star12) 23.03)
	(= (slew_time Star12 Phenomenon36) 23.03)
	(= (slew_time Phenomenon36 Star13) 10.68)
	(= (slew_time Star13 Phenomenon36) 10.68)
	(= (slew_time Phenomenon36 Planet14) 6.035)
	(= (slew_time Planet14 Phenomenon36) 6.035)
	(= (slew_time Phenomenon36 Planet15) 23.4)
	(= (slew_time Planet15 Phenomenon36) 23.4)
	(= (slew_time Phenomenon36 Star16) 53.01)
	(= (slew_time Star16 Phenomenon36) 53.01)
	(= (slew_time Phenomenon36 Planet17) 49.74)
	(= (slew_time Planet17 Phenomenon36) 49.74)
	(= (slew_time Phenomenon36 Phenomenon18) 28)
	(= (slew_time Phenomenon18 Phenomenon36) 28)
	(= (slew_time Phenomenon36 Planet19) 3.411)
	(= (slew_time Planet19 Phenomenon36) 3.411)
	(= (slew_time Phenomenon36 Planet20) 19.17)
	(= (slew_time Planet20 Phenomenon36) 19.17)
	(= (slew_time Phenomenon36 Star21) 43.85)
	(= (slew_time Star21 Phenomenon36) 43.85)
	(= (slew_time Phenomenon36 Star22) 69.2)
	(= (slew_time Star22 Phenomenon36) 69.2)
	(= (slew_time Phenomenon36 Star23) 37.9)
	(= (slew_time Star23 Phenomenon36) 37.9)
	(= (slew_time Phenomenon36 Star24) 9.964)
	(= (slew_time Star24 Phenomenon36) 9.964)
	(= (slew_time Phenomenon36 Star25) 8.339)
	(= (slew_time Star25 Phenomenon36) 8.339)
	(= (slew_time Phenomenon36 Star26) 38.43)
	(= (slew_time Star26 Phenomenon36) 38.43)
	(= (slew_time Phenomenon36 Star27) 42.79)
	(= (slew_time Star27 Phenomenon36) 42.79)
	(= (slew_time Phenomenon36 Phenomenon28) 2.317)
	(= (slew_time Phenomenon28 Phenomenon36) 2.317)
	(= (slew_time Phenomenon36 Star29) 15.75)
	(= (slew_time Star29 Phenomenon36) 15.75)
	(= (slew_time Phenomenon36 Phenomenon30) 14.81)
	(= (slew_time Phenomenon30 Phenomenon36) 14.81)
	(= (slew_time Phenomenon36 Planet31) 17.54)
	(= (slew_time Planet31 Phenomenon36) 17.54)
	(= (slew_time Phenomenon36 Phenomenon32) 18.78)
	(= (slew_time Phenomenon32 Phenomenon36) 18.78)
	(= (slew_time Phenomenon36 Planet33) 18.39)
	(= (slew_time Planet33 Phenomenon36) 18.39)
	(= (slew_time Phenomenon36 Phenomenon34) 66.97)
	(= (slew_time Phenomenon34 Phenomenon36) 66.97)
	(= (slew_time Phenomenon36 Planet35) 82.75)
	(= (slew_time Planet35 Phenomenon36) 82.75)
	(= (slew_time Star37 Star0) 61.2)
	(= (slew_time Star0 Star37) 61.2)
	(= (slew_time Star37 Star1) 26.03)
	(= (slew_time Star1 Star37) 26.03)
	(= (slew_time Star37 Star2) 23.23)
	(= (slew_time Star2 Star37) 23.23)
	(= (slew_time Star37 Star3) 94.34)
	(= (slew_time Star3 Star37) 94.34)
	(= (slew_time Star37 Star4) 39.82)
	(= (slew_time Star4 Star37) 39.82)
	(= (slew_time Star37 Phenomenon5) 7.906)
	(= (slew_time Phenomenon5 Star37) 7.906)
	(= (slew_time Star37 Phenomenon6) 32.99)
	(= (slew_time Phenomenon6 Star37) 32.99)
	(= (slew_time Star37 Phenomenon7) 18.56)
	(= (slew_time Phenomenon7 Star37) 18.56)
	(= (slew_time Star37 Phenomenon8) 19.04)
	(= (slew_time Phenomenon8 Star37) 19.04)
	(= (slew_time Star37 Star9) 53.22)
	(= (slew_time Star9 Star37) 53.22)
	(= (slew_time Star37 Star10) 18.24)
	(= (slew_time Star10 Star37) 18.24)
	(= (slew_time Star37 Phenomenon11) 48.57)
	(= (slew_time Phenomenon11 Star37) 48.57)
	(= (slew_time Star37 Star12) 57.27)
	(= (slew_time Star12 Star37) 57.27)
	(= (slew_time Star37 Star13) 26.27)
	(= (slew_time Star13 Star37) 26.27)
	(= (slew_time Star37 Planet14) 73.59)
	(= (slew_time Planet14 Star37) 73.59)
	(= (slew_time Star37 Planet15) 69.62)
	(= (slew_time Planet15 Star37) 69.62)
	(= (slew_time Star37 Star16) 19.02)
	(= (slew_time Star16 Star37) 19.02)
	(= (slew_time Star37 Planet17) 36.07)
	(= (slew_time Planet17 Star37) 36.07)
	(= (slew_time Star37 Phenomenon18) 33.16)
	(= (slew_time Phenomenon18 Star37) 33.16)
	(= (slew_time Star37 Planet19) 12.05)
	(= (slew_time Planet19 Star37) 12.05)
	(= (slew_time Star37 Planet20) 6.07)
	(= (slew_time Planet20 Star37) 6.07)
	(= (slew_time Star37 Star21) 9.075)
	(= (slew_time Star21 Star37) 9.075)
	(= (slew_time Star37 Star22) 3.892)
	(= (slew_time Star22 Star37) 3.892)
	(= (slew_time Star37 Star23) 4.229)
	(= (slew_time Star23 Star37) 4.229)
	(= (slew_time Star37 Star24) 21.09)
	(= (slew_time Star24 Star37) 21.09)
	(= (slew_time Star37 Star25) 19.04)
	(= (slew_time Star25 Star37) 19.04)
	(= (slew_time Star37 Star26) 17.18)
	(= (slew_time Star26 Star37) 17.18)
	(= (slew_time Star37 Star27) 36.8)
	(= (slew_time Star27 Star37) 36.8)
	(= (slew_time Star37 Phenomenon28) 95.31)
	(= (slew_time Phenomenon28 Star37) 95.31)
	(= (slew_time Star37 Star29) 7.985)
	(= (slew_time Star29 Star37) 7.985)
	(= (slew_time Star37 Phenomenon30) 43.75)
	(= (slew_time Phenomenon30 Star37) 43.75)
	(= (slew_time Star37 Planet31) 81.28)
	(= (slew_time Planet31 Star37) 81.28)
	(= (slew_time Star37 Phenomenon32) 57.29)
	(= (slew_time Phenomenon32 Star37) 57.29)
	(= (slew_time Star37 Planet33) 41.44)
	(= (slew_time Planet33 Star37) 41.44)
	(= (slew_time Star37 Phenomenon34) 3.485)
	(= (slew_time Phenomenon34 Star37) 3.485)
	(= (slew_time Star37 Planet35) 63.42)
	(= (slew_time Planet35 Star37) 63.42)
	(= (slew_time Star37 Phenomenon36) 42.36)
	(= (slew_time Phenomenon36 Star37) 42.36)
	(= (slew_time Phenomenon38 Star0) 65.42)
	(= (slew_time Star0 Phenomenon38) 65.42)
	(= (slew_time Phenomenon38 Star1) 13.32)
	(= (slew_time Star1 Phenomenon38) 13.32)
	(= (slew_time Phenomenon38 Star2) 60.6)
	(= (slew_time Star2 Phenomenon38) 60.6)
	(= (slew_time Phenomenon38 Star3) 31.2)
	(= (slew_time Star3 Phenomenon38) 31.2)
	(= (slew_time Phenomenon38 Star4) 18.78)
	(= (slew_time Star4 Phenomenon38) 18.78)
	(= (slew_time Phenomenon38 Phenomenon5) 67.43)
	(= (slew_time Phenomenon5 Phenomenon38) 67.43)
	(= (slew_time Phenomenon38 Phenomenon6) 18.62)
	(= (slew_time Phenomenon6 Phenomenon38) 18.62)
	(= (slew_time Phenomenon38 Phenomenon7) 37.71)
	(= (slew_time Phenomenon7 Phenomenon38) 37.71)
	(= (slew_time Phenomenon38 Phenomenon8) 11.24)
	(= (slew_time Phenomenon8 Phenomenon38) 11.24)
	(= (slew_time Phenomenon38 Star9) 30.08)
	(= (slew_time Star9 Phenomenon38) 30.08)
	(= (slew_time Phenomenon38 Star10) 8.416)
	(= (slew_time Star10 Phenomenon38) 8.416)
	(= (slew_time Phenomenon38 Phenomenon11) 22.37)
	(= (slew_time Phenomenon11 Phenomenon38) 22.37)
	(= (slew_time Phenomenon38 Star12) 11.75)
	(= (slew_time Star12 Phenomenon38) 11.75)
	(= (slew_time Phenomenon38 Star13) 64.22)
	(= (slew_time Star13 Phenomenon38) 64.22)
	(= (slew_time Phenomenon38 Planet14) 30.28)
	(= (slew_time Planet14 Phenomenon38) 30.28)
	(= (slew_time Phenomenon38 Planet15) 44.95)
	(= (slew_time Planet15 Phenomenon38) 44.95)
	(= (slew_time Phenomenon38 Star16) 19.47)
	(= (slew_time Star16 Phenomenon38) 19.47)
	(= (slew_time Phenomenon38 Planet17) 68.4)
	(= (slew_time Planet17 Phenomenon38) 68.4)
	(= (slew_time Phenomenon38 Phenomenon18) 41.6)
	(= (slew_time Phenomenon18 Phenomenon38) 41.6)
	(= (slew_time Phenomenon38 Planet19) 35.19)
	(= (slew_time Planet19 Phenomenon38) 35.19)
	(= (slew_time Phenomenon38 Planet20) 62.91)
	(= (slew_time Planet20 Phenomenon38) 62.91)
	(= (slew_time Phenomenon38 Star21) 42.4)
	(= (slew_time Star21 Phenomenon38) 42.4)
	(= (slew_time Phenomenon38 Star22) 37.57)
	(= (slew_time Star22 Phenomenon38) 37.57)
	(= (slew_time Phenomenon38 Star23) 29.11)
	(= (slew_time Star23 Phenomenon38) 29.11)
	(= (slew_time Phenomenon38 Star24) 23.47)
	(= (slew_time Star24 Phenomenon38) 23.47)
	(= (slew_time Phenomenon38 Star25) 13.53)
	(= (slew_time Star25 Phenomenon38) 13.53)
	(= (slew_time Phenomenon38 Star26) 59.39)
	(= (slew_time Star26 Phenomenon38) 59.39)
	(= (slew_time Phenomenon38 Star27) 20.86)
	(= (slew_time Star27 Phenomenon38) 20.86)
	(= (slew_time Phenomenon38 Phenomenon28) 19.8)
	(= (slew_time Phenomenon28 Phenomenon38) 19.8)
	(= (slew_time Phenomenon38 Star29) 69.96)
	(= (slew_time Star29 Phenomenon38) 69.96)
	(= (slew_time Phenomenon38 Phenomenon30) 13.38)
	(= (slew_time Phenomenon30 Phenomenon38) 13.38)
	(= (slew_time Phenomenon38 Planet31) 45.78)
	(= (slew_time Planet31 Phenomenon38) 45.78)
	(= (slew_time Phenomenon38 Phenomenon32) 53.45)
	(= (slew_time Phenomenon32 Phenomenon38) 53.45)
	(= (slew_time Phenomenon38 Planet33) 64.95)
	(= (slew_time Planet33 Phenomenon38) 64.95)
	(= (slew_time Phenomenon38 Phenomenon34) 59.81)
	(= (slew_time Phenomenon34 Phenomenon38) 59.81)
	(= (slew_time Phenomenon38 Planet35) 82.13)
	(= (slew_time Planet35 Phenomenon38) 82.13)
	(= (slew_time Phenomenon38 Phenomenon36) 67.91)
	(= (slew_time Phenomenon36 Phenomenon38) 67.91)
	(= (slew_time Phenomenon38 Star37) 47.39)
	(= (slew_time Star37 Phenomenon38) 47.39)
	(= (slew_time Star39 Star0) 40.13)
	(= (slew_time Star0 Star39) 40.13)
	(= (slew_time Star39 Star1) 47.3)
	(= (slew_time Star1 Star39) 47.3)
	(= (slew_time Star39 Star2) 76.49)
	(= (slew_time Star2 Star39) 76.49)
	(= (slew_time Star39 Star3) 58.7)
	(= (slew_time Star3 Star39) 58.7)
	(= (slew_time Star39 Star4) 17.32)
	(= (slew_time Star4 Star39) 17.32)
	(= (slew_time Star39 Phenomenon5) 19.36)
	(= (slew_time Phenomenon5 Star39) 19.36)
	(= (slew_time Star39 Phenomenon6) 20.16)
	(= (slew_time Phenomenon6 Star39) 20.16)
	(= (slew_time Star39 Phenomenon7) 53.72)
	(= (slew_time Phenomenon7 Star39) 53.72)
	(= (slew_time Star39 Phenomenon8) 36.93)
	(= (slew_time Phenomenon8 Star39) 36.93)
	(= (slew_time Star39 Star9) 92.77)
	(= (slew_time Star9 Star39) 92.77)
	(= (slew_time Star39 Star10) 21.77)
	(= (slew_time Star10 Star39) 21.77)
	(= (slew_time Star39 Phenomenon11) 87.41)
	(= (slew_time Phenomenon11 Star39) 87.41)
	(= (slew_time Star39 Star12) 18)
	(= (slew_time Star12 Star39) 18)
	(= (slew_time Star39 Star13) 81.53)
	(= (slew_time Star13 Star39) 81.53)
	(= (slew_time Star39 Planet14) 24.94)
	(= (slew_time Planet14 Star39) 24.94)
	(= (slew_time Star39 Planet15) 14.07)
	(= (slew_time Planet15 Star39) 14.07)
	(= (slew_time Star39 Star16) 53.06)
	(= (slew_time Star16 Star39) 53.06)
	(= (slew_time Star39 Planet17) 26.46)
	(= (slew_time Planet17 Star39) 26.46)
	(= (slew_time Star39 Phenomenon18) 37.18)
	(= (slew_time Phenomenon18 Star39) 37.18)
	(= (slew_time Star39 Planet19) 49.85)
	(= (slew_time Planet19 Star39) 49.85)
	(= (slew_time Star39 Planet20) 5.848)
	(= (slew_time Planet20 Star39) 5.848)
	(= (slew_time Star39 Star21) 34.26)
	(= (slew_time Star21 Star39) 34.26)
	(= (slew_time Star39 Star22) 66.26)
	(= (slew_time Star22 Star39) 66.26)
	(= (slew_time Star39 Star23) 48.88)
	(= (slew_time Star23 Star39) 48.88)
	(= (slew_time Star39 Star24) 41.84)
	(= (slew_time Star24 Star39) 41.84)
	(= (slew_time Star39 Star25) 43.2)
	(= (slew_time Star25 Star39) 43.2)
	(= (slew_time Star39 Star26) 5.313)
	(= (slew_time Star26 Star39) 5.313)
	(= (slew_time Star39 Star27) 9.145)
	(= (slew_time Star27 Star39) 9.145)
	(= (slew_time Star39 Phenomenon28) 36.3)
	(= (slew_time Phenomenon28 Star39) 36.3)
	(= (slew_time Star39 Star29) 27.82)
	(= (slew_time Star29 Star39) 27.82)
	(= (slew_time Star39 Phenomenon30) 21.73)
	(= (slew_time Phenomenon30 Star39) 21.73)
	(= (slew_time Star39 Planet31) 53.97)
	(= (slew_time Planet31 Star39) 53.97)
	(= (slew_time Star39 Phenomenon32) 8.658)
	(= (slew_time Phenomenon32 Star39) 8.658)
	(= (slew_time Star39 Planet33) 51.36)
	(= (slew_time Planet33 Star39) 51.36)
	(= (slew_time Star39 Phenomenon34) 48.2)
	(= (slew_time Phenomenon34 Star39) 48.2)
	(= (slew_time Star39 Planet35) 16.98)
	(= (slew_time Planet35 Star39) 16.98)
	(= (slew_time Star39 Phenomenon36) 28.97)
	(= (slew_time Phenomenon36 Star39) 28.97)
	(= (slew_time Star39 Star37) 16.34)
	(= (slew_time Star37 Star39) 16.34)
	(= (slew_time Star39 Phenomenon38) 39.22)
	(= (slew_time Phenomenon38 Star39) 39.22)
	(= (slew_time Phenomenon40 Star0) 64.48)
	(= (slew_time Star0 Phenomenon40) 64.48)
	(= (slew_time Phenomenon40 Star1) 49.42)
	(= (slew_time Star1 Phenomenon40) 49.42)
	(= (slew_time Phenomenon40 Star2) 13.57)
	(= (slew_time Star2 Phenomenon40) 13.57)
	(= (slew_time Phenomenon40 Star3) 70.37)
	(= (slew_time Star3 Phenomenon40) 70.37)
	(= (slew_time Phenomenon40 Star4) 42.15)
	(= (slew_time Star4 Phenomenon40) 42.15)
	(= (slew_time Phenomenon40 Phenomenon5) 64.12)
	(= (slew_time Phenomenon5 Phenomenon40) 64.12)
	(= (slew_time Phenomenon40 Phenomenon6) 44.22)
	(= (slew_time Phenomenon6 Phenomenon40) 44.22)
	(= (slew_time Phenomenon40 Phenomenon7) 29.22)
	(= (slew_time Phenomenon7 Phenomenon40) 29.22)
	(= (slew_time Phenomenon40 Phenomenon8) 52.58)
	(= (slew_time Phenomenon8 Phenomenon40) 52.58)
	(= (slew_time Phenomenon40 Star9) 71.68)
	(= (slew_time Star9 Phenomenon40) 71.68)
	(= (slew_time Phenomenon40 Star10) 70.54)
	(= (slew_time Star10 Phenomenon40) 70.54)
	(= (slew_time Phenomenon40 Phenomenon11) 43.04)
	(= (slew_time Phenomenon11 Phenomenon40) 43.04)
	(= (slew_time Phenomenon40 Star12) 93.93)
	(= (slew_time Star12 Phenomenon40) 93.93)
	(= (slew_time Phenomenon40 Star13) 1.562)
	(= (slew_time Star13 Phenomenon40) 1.562)
	(= (slew_time Phenomenon40 Planet14) 68.76)
	(= (slew_time Planet14 Phenomenon40) 68.76)
	(= (slew_time Phenomenon40 Planet15) 4.028)
	(= (slew_time Planet15 Phenomenon40) 4.028)
	(= (slew_time Phenomenon40 Star16) 17.37)
	(= (slew_time Star16 Phenomenon40) 17.37)
	(= (slew_time Phenomenon40 Planet17) 12.18)
	(= (slew_time Planet17 Phenomenon40) 12.18)
	(= (slew_time Phenomenon40 Phenomenon18) 33.58)
	(= (slew_time Phenomenon18 Phenomenon40) 33.58)
	(= (slew_time Phenomenon40 Planet19) 51.67)
	(= (slew_time Planet19 Phenomenon40) 51.67)
	(= (slew_time Phenomenon40 Planet20) 46.23)
	(= (slew_time Planet20 Phenomenon40) 46.23)
	(= (slew_time Phenomenon40 Star21) 1.684)
	(= (slew_time Star21 Phenomenon40) 1.684)
	(= (slew_time Phenomenon40 Star22) 48.6)
	(= (slew_time Star22 Phenomenon40) 48.6)
	(= (slew_time Phenomenon40 Star23) 40.71)
	(= (slew_time Star23 Phenomenon40) 40.71)
	(= (slew_time Phenomenon40 Star24) 17.78)
	(= (slew_time Star24 Phenomenon40) 17.78)
	(= (slew_time Phenomenon40 Star25) 7.802)
	(= (slew_time Star25 Phenomenon40) 7.802)
	(= (slew_time Phenomenon40 Star26) 53.21)
	(= (slew_time Star26 Phenomenon40) 53.21)
	(= (slew_time Phenomenon40 Star27) 6.373)
	(= (slew_time Star27 Phenomenon40) 6.373)
	(= (slew_time Phenomenon40 Phenomenon28) 25.06)
	(= (slew_time Phenomenon28 Phenomenon40) 25.06)
	(= (slew_time Phenomenon40 Star29) 50.97)
	(= (slew_time Star29 Phenomenon40) 50.97)
	(= (slew_time Phenomenon40 Phenomenon30) 11.06)
	(= (slew_time Phenomenon30 Phenomenon40) 11.06)
	(= (slew_time Phenomenon40 Planet31) 52.02)
	(= (slew_time Planet31 Phenomenon40) 52.02)
	(= (slew_time Phenomenon40 Phenomenon32) 7.663)
	(= (slew_time Phenomenon32 Phenomenon40) 7.663)
	(= (slew_time Phenomenon40 Planet33) 32.22)
	(= (slew_time Planet33 Phenomenon40) 32.22)
	(= (slew_time Phenomenon40 Phenomenon34) 1.97)
	(= (slew_time Phenomenon34 Phenomenon40) 1.97)
	(= (slew_time Phenomenon40 Planet35) 1.65)
	(= (slew_time Planet35 Phenomenon40) 1.65)
	(= (slew_time Phenomenon40 Phenomenon36) 64.76)
	(= (slew_time Phenomenon36 Phenomenon40) 64.76)
	(= (slew_time Phenomenon40 Star37) 50.2)
	(= (slew_time Star37 Phenomenon40) 50.2)
	(= (slew_time Phenomenon40 Phenomenon38) 30.94)
	(= (slew_time Phenomenon38 Phenomenon40) 30.94)
	(= (slew_time Phenomenon40 Star39) 90.62)
	(= (slew_time Star39 Phenomenon40) 90.62)
	(= (slew_time Planet41 Star0) 24.2)
	(= (slew_time Star0 Planet41) 24.2)
	(= (slew_time Planet41 Star1) 41.37)
	(= (slew_time Star1 Planet41) 41.37)
	(= (slew_time Planet41 Star2) 11.67)
	(= (slew_time Star2 Planet41) 11.67)
	(= (slew_time Planet41 Star3) 15.87)
	(= (slew_time Star3 Planet41) 15.87)
	(= (slew_time Planet41 Star4) 19.34)
	(= (slew_time Star4 Planet41) 19.34)
	(= (slew_time Planet41 Phenomenon5) 51.02)
	(= (slew_time Phenomenon5 Planet41) 51.02)
	(= (slew_time Planet41 Phenomenon6) 22)
	(= (slew_time Phenomenon6 Planet41) 22)
	(= (slew_time Planet41 Phenomenon7) 8.223)
	(= (slew_time Phenomenon7 Planet41) 8.223)
	(= (slew_time Planet41 Phenomenon8) 5.705)
	(= (slew_time Phenomenon8 Planet41) 5.705)
	(= (slew_time Planet41 Star9) 76.41)
	(= (slew_time Star9 Planet41) 76.41)
	(= (slew_time Planet41 Star10) 77.25)
	(= (slew_time Star10 Planet41) 77.25)
	(= (slew_time Planet41 Phenomenon11) 17.04)
	(= (slew_time Phenomenon11 Planet41) 17.04)
	(= (slew_time Planet41 Star12) 16.99)
	(= (slew_time Star12 Planet41) 16.99)
	(= (slew_time Planet41 Star13) 8.506)
	(= (slew_time Star13 Planet41) 8.506)
	(= (slew_time Planet41 Planet14) 30.64)
	(= (slew_time Planet14 Planet41) 30.64)
	(= (slew_time Planet41 Planet15) 42.93)
	(= (slew_time Planet15 Planet41) 42.93)
	(= (slew_time Planet41 Star16) 61.9)
	(= (slew_time Star16 Planet41) 61.9)
	(= (slew_time Planet41 Planet17) 77.27)
	(= (slew_time Planet17 Planet41) 77.27)
	(= (slew_time Planet41 Phenomenon18) 13.24)
	(= (slew_time Phenomenon18 Planet41) 13.24)
	(= (slew_time Planet41 Planet19) 56.81)
	(= (slew_time Planet19 Planet41) 56.81)
	(= (slew_time Planet41 Planet20) 14.64)
	(= (slew_time Planet20 Planet41) 14.64)
	(= (slew_time Planet41 Star21) 26.01)
	(= (slew_time Star21 Planet41) 26.01)
	(= (slew_time Planet41 Star22) 21.71)
	(= (slew_time Star22 Planet41) 21.71)
	(= (slew_time Planet41 Star23) 18.84)
	(= (slew_time Star23 Planet41) 18.84)
	(= (slew_time Planet41 Star24) 9.597)
	(= (slew_time Star24 Planet41) 9.597)
	(= (slew_time Planet41 Star25) 23.67)
	(= (slew_time Star25 Planet41) 23.67)
	(= (slew_time Planet41 Star26) 18.85)
	(= (slew_time Star26 Planet41) 18.85)
	(= (slew_time Planet41 Star27) 3.817)
	(= (slew_time Star27 Planet41) 3.817)
	(= (slew_time Planet41 Phenomenon28) 59.33)
	(= (slew_time Phenomenon28 Planet41) 59.33)
	(= (slew_time Planet41 Star29) 2.509)
	(= (slew_time Star29 Planet41) 2.509)
	(= (slew_time Planet41 Phenomenon30) 51.49)
	(= (slew_time Phenomenon30 Planet41) 51.49)
	(= (slew_time Planet41 Planet31) 73.86)
	(= (slew_time Planet31 Planet41) 73.86)
	(= (slew_time Planet41 Phenomenon32) 41.98)
	(= (slew_time Phenomenon32 Planet41) 41.98)
	(= (slew_time Planet41 Planet33) 13.05)
	(= (slew_time Planet33 Planet41) 13.05)
	(= (slew_time Planet41 Phenomenon34) 12.53)
	(= (slew_time Phenomenon34 Planet41) 12.53)
	(= (slew_time Planet41 Planet35) 12.2)
	(= (slew_time Planet35 Planet41) 12.2)
	(= (slew_time Planet41 Phenomenon36) 48.42)
	(= (slew_time Phenomenon36 Planet41) 48.42)
	(= (slew_time Planet41 Star37) 5.246)
	(= (slew_time Star37 Planet41) 5.246)
	(= (slew_time Planet41 Phenomenon38) 68.4)
	(= (slew_time Phenomenon38 Planet41) 68.4)
	(= (slew_time Planet41 Star39) 13.86)
	(= (slew_time Star39 Planet41) 13.86)
	(= (slew_time Planet41 Phenomenon40) 8.844)
	(= (slew_time Phenomenon40 Planet41) 8.844)
	(= (slew_time Planet42 Star0) 51.65)
	(= (slew_time Star0 Planet42) 51.65)
	(= (slew_time Planet42 Star1) 41.17)
	(= (slew_time Star1 Planet42) 41.17)
	(= (slew_time Planet42 Star2) 12.41)
	(= (slew_time Star2 Planet42) 12.41)
	(= (slew_time Planet42 Star3) 65.95)
	(= (slew_time Star3 Planet42) 65.95)
	(= (slew_time Planet42 Star4) 58.49)
	(= (slew_time Star4 Planet42) 58.49)
	(= (slew_time Planet42 Phenomenon5) 76.07)
	(= (slew_time Phenomenon5 Planet42) 76.07)
	(= (slew_time Planet42 Phenomenon6) 77.07)
	(= (slew_time Phenomenon6 Planet42) 77.07)
	(= (slew_time Planet42 Phenomenon7) 36.85)
	(= (slew_time Phenomenon7 Planet42) 36.85)
	(= (slew_time Planet42 Phenomenon8) 20.8)
	(= (slew_time Phenomenon8 Planet42) 20.8)
	(= (slew_time Planet42 Star9) 22.48)
	(= (slew_time Star9 Planet42) 22.48)
	(= (slew_time Planet42 Star10) 19.43)
	(= (slew_time Star10 Planet42) 19.43)
	(= (slew_time Planet42 Phenomenon11) 43.24)
	(= (slew_time Phenomenon11 Planet42) 43.24)
	(= (slew_time Planet42 Star12) 37.22)
	(= (slew_time Star12 Planet42) 37.22)
	(= (slew_time Planet42 Star13) 20.25)
	(= (slew_time Star13 Planet42) 20.25)
	(= (slew_time Planet42 Planet14) 12.61)
	(= (slew_time Planet14 Planet42) 12.61)
	(= (slew_time Planet42 Planet15) 4.263)
	(= (slew_time Planet15 Planet42) 4.263)
	(= (slew_time Planet42 Star16) 28.15)
	(= (slew_time Star16 Planet42) 28.15)
	(= (slew_time Planet42 Planet17) 68.89)
	(= (slew_time Planet17 Planet42) 68.89)
	(= (slew_time Planet42 Phenomenon18) 0.001027)
	(= (slew_time Phenomenon18 Planet42) 0.001027)
	(= (slew_time Planet42 Planet19) 4.105)
	(= (slew_time Planet19 Planet42) 4.105)
	(= (slew_time Planet42 Planet20) 45.58)
	(= (slew_time Planet20 Planet42) 45.58)
	(= (slew_time Planet42 Star21) 26.78)
	(= (slew_time Star21 Planet42) 26.78)
	(= (slew_time Planet42 Star22) 45.87)
	(= (slew_time Star22 Planet42) 45.87)
	(= (slew_time Planet42 Star23) 22.37)
	(= (slew_time Star23 Planet42) 22.37)
	(= (slew_time Planet42 Star24) 30.34)
	(= (slew_time Star24 Planet42) 30.34)
	(= (slew_time Planet42 Star25) 1.061)
	(= (slew_time Star25 Planet42) 1.061)
	(= (slew_time Planet42 Star26) 8.531)
	(= (slew_time Star26 Planet42) 8.531)
	(= (slew_time Planet42 Star27) 18.33)
	(= (slew_time Star27 Planet42) 18.33)
	(= (slew_time Planet42 Phenomenon28) 22.47)
	(= (slew_time Phenomenon28 Planet42) 22.47)
	(= (slew_time Planet42 Star29) 39.67)
	(= (slew_time Star29 Planet42) 39.67)
	(= (slew_time Planet42 Phenomenon30) 87.69)
	(= (slew_time Phenomenon30 Planet42) 87.69)
	(= (slew_time Planet42 Planet31) 3.957)
	(= (slew_time Planet31 Planet42) 3.957)
	(= (slew_time Planet42 Phenomenon32) 10.03)
	(= (slew_time Phenomenon32 Planet42) 10.03)
	(= (slew_time Planet42 Planet33) 43.6)
	(= (slew_time Planet33 Planet42) 43.6)
	(= (slew_time Planet42 Phenomenon34) 0.2203)
	(= (slew_time Phenomenon34 Planet42) 0.2203)
	(= (slew_time Planet42 Planet35) 48.46)
	(= (slew_time Planet35 Planet42) 48.46)
	(= (slew_time Planet42 Phenomenon36) 59.32)
	(= (slew_time Phenomenon36 Planet42) 59.32)
	(= (slew_time Planet42 Star37) 13.86)
	(= (slew_time Star37 Planet42) 13.86)
	(= (slew_time Planet42 Phenomenon38) 41.95)
	(= (slew_time Phenomenon38 Planet42) 41.95)
	(= (slew_time Planet42 Star39) 28.14)
	(= (slew_time Star39 Planet42) 28.14)
	(= (slew_time Planet42 Phenomenon40) 53.37)
	(= (slew_time Phenomenon40 Planet42) 53.37)
	(= (slew_time Planet42 Planet41) 16.81)
	(= (slew_time Planet41 Planet42) 16.81)
	(= (slew_time Planet43 Star0) 20.9)
	(= (slew_time Star0 Planet43) 20.9)
	(= (slew_time Planet43 Star1) 36.37)
	(= (slew_time Star1 Planet43) 36.37)
	(= (slew_time Planet43 Star2) 42.61)
	(= (slew_time Star2 Planet43) 42.61)
	(= (slew_time Planet43 Star3) 6.861)
	(= (slew_time Star3 Planet43) 6.861)
	(= (slew_time Planet43 Star4) 1.089)
	(= (slew_time Star4 Planet43) 1.089)
	(= (slew_time Planet43 Phenomenon5) 4.179)
	(= (slew_time Phenomenon5 Planet43) 4.179)
	(= (slew_time Planet43 Phenomenon6) 5.681)
	(= (slew_time Phenomenon6 Planet43) 5.681)
	(= (slew_time Planet43 Phenomenon7) 39.69)
	(= (slew_time Phenomenon7 Planet43) 39.69)
	(= (slew_time Planet43 Phenomenon8) 24.45)
	(= (slew_time Phenomenon8 Planet43) 24.45)
	(= (slew_time Planet43 Star9) 17.27)
	(= (slew_time Star9 Planet43) 17.27)
	(= (slew_time Planet43 Star10) 1.57)
	(= (slew_time Star10 Planet43) 1.57)
	(= (slew_time Planet43 Phenomenon11) 20.08)
	(= (slew_time Phenomenon11 Planet43) 20.08)
	(= (slew_time Planet43 Star12) 72.87)
	(= (slew_time Star12 Planet43) 72.87)
	(= (slew_time Planet43 Star13) 28.88)
	(= (slew_time Star13 Planet43) 28.88)
	(= (slew_time Planet43 Planet14) 11.57)
	(= (slew_time Planet14 Planet43) 11.57)
	(= (slew_time Planet43 Planet15) 27.29)
	(= (slew_time Planet15 Planet43) 27.29)
	(= (slew_time Planet43 Star16) 28.33)
	(= (slew_time Star16 Planet43) 28.33)
	(= (slew_time Planet43 Planet17) 46.07)
	(= (slew_time Planet17 Planet43) 46.07)
	(= (slew_time Planet43 Phenomenon18) 10.39)
	(= (slew_time Phenomenon18 Planet43) 10.39)
	(= (slew_time Planet43 Planet19) 66.91)
	(= (slew_time Planet19 Planet43) 66.91)
	(= (slew_time Planet43 Planet20) 7.144)
	(= (slew_time Planet20 Planet43) 7.144)
	(= (slew_time Planet43 Star21) 42.08)
	(= (slew_time Star21 Planet43) 42.08)
	(= (slew_time Planet43 Star22) 53.59)
	(= (slew_time Star22 Planet43) 53.59)
	(= (slew_time Planet43 Star23) 23.7)
	(= (slew_time Star23 Planet43) 23.7)
	(= (slew_time Planet43 Star24) 29.97)
	(= (slew_time Star24 Planet43) 29.97)
	(= (slew_time Planet43 Star25) 25.23)
	(= (slew_time Star25 Planet43) 25.23)
	(= (slew_time Planet43 Star26) 37.91)
	(= (slew_time Star26 Planet43) 37.91)
	(= (slew_time Planet43 Star27) 95.01)
	(= (slew_time Star27 Planet43) 95.01)
	(= (slew_time Planet43 Phenomenon28) 0.5181)
	(= (slew_time Phenomenon28 Planet43) 0.5181)
	(= (slew_time Planet43 Star29) 97.41)
	(= (slew_time Star29 Planet43) 97.41)
	(= (slew_time Planet43 Phenomenon30) 5.222)
	(= (slew_time Phenomenon30 Planet43) 5.222)
	(= (slew_time Planet43 Planet31) 1.719)
	(= (slew_time Planet31 Planet43) 1.719)
	(= (slew_time Planet43 Phenomenon32) 20.8)
	(= (slew_time Phenomenon32 Planet43) 20.8)
	(= (slew_time Planet43 Planet33) 91.16)
	(= (slew_time Planet33 Planet43) 91.16)
	(= (slew_time Planet43 Phenomenon34) 16.43)
	(= (slew_time Phenomenon34 Planet43) 16.43)
	(= (slew_time Planet43 Planet35) 1.07)
	(= (slew_time Planet35 Planet43) 1.07)
	(= (slew_time Planet43 Phenomenon36) 29.17)
	(= (slew_time Phenomenon36 Planet43) 29.17)
	(= (slew_time Planet43 Star37) 63.6)
	(= (slew_time Star37 Planet43) 63.6)
	(= (slew_time Planet43 Phenomenon38) 77.23)
	(= (slew_time Phenomenon38 Planet43) 77.23)
	(= (slew_time Planet43 Star39) 39.21)
	(= (slew_time Star39 Planet43) 39.21)
	(= (slew_time Planet43 Phenomenon40) 33.47)
	(= (slew_time Phenomenon40 Planet43) 33.47)
	(= (slew_time Planet43 Planet41) 15.71)
	(= (slew_time Planet41 Planet43) 15.71)
	(= (slew_time Planet43 Planet42) 90.25)
	(= (slew_time Planet42 Planet43) 90.25)
	(= (slew_time Phenomenon44 Star0) 2.505)
	(= (slew_time Star0 Phenomenon44) 2.505)
	(= (slew_time Phenomenon44 Star1) 16.85)
	(= (slew_time Star1 Phenomenon44) 16.85)
	(= (slew_time Phenomenon44 Star2) 81.3)
	(= (slew_time Star2 Phenomenon44) 81.3)
	(= (slew_time Phenomenon44 Star3) 25.42)
	(= (slew_time Star3 Phenomenon44) 25.42)
	(= (slew_time Phenomenon44 Star4) 73.81)
	(= (slew_time Star4 Phenomenon44) 73.81)
	(= (slew_time Phenomenon44 Phenomenon5) 5.943)
	(= (slew_time Phenomenon5 Phenomenon44) 5.943)
	(= (slew_time Phenomenon44 Phenomenon6) 65.44)
	(= (slew_time Phenomenon6 Phenomenon44) 65.44)
	(= (slew_time Phenomenon44 Phenomenon7) 89.97)
	(= (slew_time Phenomenon7 Phenomenon44) 89.97)
	(= (slew_time Phenomenon44 Phenomenon8) 50.51)
	(= (slew_time Phenomenon8 Phenomenon44) 50.51)
	(= (slew_time Phenomenon44 Star9) 38.81)
	(= (slew_time Star9 Phenomenon44) 38.81)
	(= (slew_time Phenomenon44 Star10) 27)
	(= (slew_time Star10 Phenomenon44) 27)
	(= (slew_time Phenomenon44 Phenomenon11) 24.7)
	(= (slew_time Phenomenon11 Phenomenon44) 24.7)
	(= (slew_time Phenomenon44 Star12) 53.39)
	(= (slew_time Star12 Phenomenon44) 53.39)
	(= (slew_time Phenomenon44 Star13) 51.72)
	(= (slew_time Star13 Phenomenon44) 51.72)
	(= (slew_time Phenomenon44 Planet14) 65.82)
	(= (slew_time Planet14 Phenomenon44) 65.82)
	(= (slew_time Phenomenon44 Planet15) 84.39)
	(= (slew_time Planet15 Phenomenon44) 84.39)
	(= (slew_time Phenomenon44 Star16) 70.09)
	(= (slew_time Star16 Phenomenon44) 70.09)
	(= (slew_time Phenomenon44 Planet17) 26.47)
	(= (slew_time Planet17 Phenomenon44) 26.47)
	(= (slew_time Phenomenon44 Phenomenon18) 59.72)
	(= (slew_time Phenomenon18 Phenomenon44) 59.72)
	(= (slew_time Phenomenon44 Planet19) 25.39)
	(= (slew_time Planet19 Phenomenon44) 25.39)
	(= (slew_time Phenomenon44 Planet20) 0.7947)
	(= (slew_time Planet20 Phenomenon44) 0.7947)
	(= (slew_time Phenomenon44 Star21) 53.09)
	(= (slew_time Star21 Phenomenon44) 53.09)
	(= (slew_time Phenomenon44 Star22) 79.97)
	(= (slew_time Star22 Phenomenon44) 79.97)
	(= (slew_time Phenomenon44 Star23) 28.41)
	(= (slew_time Star23 Phenomenon44) 28.41)
	(= (slew_time Phenomenon44 Star24) 14.23)
	(= (slew_time Star24 Phenomenon44) 14.23)
	(= (slew_time Phenomenon44 Star25) 54.56)
	(= (slew_time Star25 Phenomenon44) 54.56)
	(= (slew_time Phenomenon44 Star26) 79.41)
	(= (slew_time Star26 Phenomenon44) 79.41)
	(= (slew_time Phenomenon44 Star27) 19.07)
	(= (slew_time Star27 Phenomenon44) 19.07)
	(= (slew_time Phenomenon44 Phenomenon28) 5.11)
	(= (slew_time Phenomenon28 Phenomenon44) 5.11)
	(= (slew_time Phenomenon44 Star29) 52.36)
	(= (slew_time Star29 Phenomenon44) 52.36)
	(= (slew_time Phenomenon44 Phenomenon30) 26.84)
	(= (slew_time Phenomenon30 Phenomenon44) 26.84)
	(= (slew_time Phenomenon44 Planet31) 70.97)
	(= (slew_time Planet31 Phenomenon44) 70.97)
	(= (slew_time Phenomenon44 Phenomenon32) 0.4291)
	(= (slew_time Phenomenon32 Phenomenon44) 0.4291)
	(= (slew_time Phenomenon44 Planet33) 48.32)
	(= (slew_time Planet33 Phenomenon44) 48.32)
	(= (slew_time Phenomenon44 Phenomenon34) 43.46)
	(= (slew_time Phenomenon34 Phenomenon44) 43.46)
	(= (slew_time Phenomenon44 Planet35) 46.05)
	(= (slew_time Planet35 Phenomenon44) 46.05)
	(= (slew_time Phenomenon44 Phenomenon36) 8.403)
	(= (slew_time Phenomenon36 Phenomenon44) 8.403)
	(= (slew_time Phenomenon44 Star37) 10.49)
	(= (slew_time Star37 Phenomenon44) 10.49)
	(= (slew_time Phenomenon44 Phenomenon38) 42.2)
	(= (slew_time Phenomenon38 Phenomenon44) 42.2)
	(= (slew_time Phenomenon44 Star39) 2.051)
	(= (slew_time Star39 Phenomenon44) 2.051)
	(= (slew_time Phenomenon44 Phenomenon40) 7.526)
	(= (slew_time Phenomenon40 Phenomenon44) 7.526)
	(= (slew_time Phenomenon44 Planet41) 59.25)
	(= (slew_time Planet41 Phenomenon44) 59.25)
	(= (slew_time Phenomenon44 Planet42) 82.37)
	(= (slew_time Planet42 Phenomenon44) 82.37)
	(= (slew_time Phenomenon44 Planet43) 19.73)
	(= (slew_time Planet43 Phenomenon44) 19.73)
	(= (slew_time Star45 Star0) 40.49)
	(= (slew_time Star0 Star45) 40.49)
	(= (slew_time Star45 Star1) 41.47)
	(= (slew_time Star1 Star45) 41.47)
	(= (slew_time Star45 Star2) 20.97)
	(= (slew_time Star2 Star45) 20.97)
	(= (slew_time Star45 Star3) 46.69)
	(= (slew_time Star3 Star45) 46.69)
	(= (slew_time Star45 Star4) 44.01)
	(= (slew_time Star4 Star45) 44.01)
	(= (slew_time Star45 Phenomenon5) 24.29)
	(= (slew_time Phenomenon5 Star45) 24.29)
	(= (slew_time Star45 Phenomenon6) 11.97)
	(= (slew_time Phenomenon6 Star45) 11.97)
	(= (slew_time Star45 Phenomenon7) 29.61)
	(= (slew_time Phenomenon7 Star45) 29.61)
	(= (slew_time Star45 Phenomenon8) 49.74)
	(= (slew_time Phenomenon8 Star45) 49.74)
	(= (slew_time Star45 Star9) 56.75)
	(= (slew_time Star9 Star45) 56.75)
	(= (slew_time Star45 Star10) 5.272)
	(= (slew_time Star10 Star45) 5.272)
	(= (slew_time Star45 Phenomenon11) 56.41)
	(= (slew_time Phenomenon11 Star45) 56.41)
	(= (slew_time Star45 Star12) 52.82)
	(= (slew_time Star12 Star45) 52.82)
	(= (slew_time Star45 Star13) 20.5)
	(= (slew_time Star13 Star45) 20.5)
	(= (slew_time Star45 Planet14) 68.57)
	(= (slew_time Planet14 Star45) 68.57)
	(= (slew_time Star45 Planet15) 42.2)
	(= (slew_time Planet15 Star45) 42.2)
	(= (slew_time Star45 Star16) 9.983)
	(= (slew_time Star16 Star45) 9.983)
	(= (slew_time Star45 Planet17) 9.701)
	(= (slew_time Planet17 Star45) 9.701)
	(= (slew_time Star45 Phenomenon18) 48.06)
	(= (slew_time Phenomenon18 Star45) 48.06)
	(= (slew_time Star45 Planet19) 23.8)
	(= (slew_time Planet19 Star45) 23.8)
	(= (slew_time Star45 Planet20) 2.214)
	(= (slew_time Planet20 Star45) 2.214)
	(= (slew_time Star45 Star21) 31.62)
	(= (slew_time Star21 Star45) 31.62)
	(= (slew_time Star45 Star22) 9.696)
	(= (slew_time Star22 Star45) 9.696)
	(= (slew_time Star45 Star23) 6.248)
	(= (slew_time Star23 Star45) 6.248)
	(= (slew_time Star45 Star24) 38.34)
	(= (slew_time Star24 Star45) 38.34)
	(= (slew_time Star45 Star25) 23.27)
	(= (slew_time Star25 Star45) 23.27)
	(= (slew_time Star45 Star26) 20.43)
	(= (slew_time Star26 Star45) 20.43)
	(= (slew_time Star45 Star27) 50.53)
	(= (slew_time Star27 Star45) 50.53)
	(= (slew_time Star45 Phenomenon28) 61.64)
	(= (slew_time Phenomenon28 Star45) 61.64)
	(= (slew_time Star45 Star29) 22.29)
	(= (slew_time Star29 Star45) 22.29)
	(= (slew_time Star45 Phenomenon30) 42.53)
	(= (slew_time Phenomenon30 Star45) 42.53)
	(= (slew_time Star45 Planet31) 39.28)
	(= (slew_time Planet31 Star45) 39.28)
	(= (slew_time Star45 Phenomenon32) 48.15)
	(= (slew_time Phenomenon32 Star45) 48.15)
	(= (slew_time Star45 Planet33) 43.53)
	(= (slew_time Planet33 Star45) 43.53)
	(= (slew_time Star45 Phenomenon34) 5.365)
	(= (slew_time Phenomenon34 Star45) 5.365)
	(= (slew_time Star45 Planet35) 0.2707)
	(= (slew_time Planet35 Star45) 0.2707)
	(= (slew_time Star45 Phenomenon36) 28.35)
	(= (slew_time Phenomenon36 Star45) 28.35)
	(= (slew_time Star45 Star37) 2.178)
	(= (slew_time Star37 Star45) 2.178)
	(= (slew_time Star45 Phenomenon38) 6.875)
	(= (slew_time Phenomenon38 Star45) 6.875)
	(= (slew_time Star45 Star39) 41.3)
	(= (slew_time Star39 Star45) 41.3)
	(= (slew_time Star45 Phenomenon40) 32.93)
	(= (slew_time Phenomenon40 Star45) 32.93)
	(= (slew_time Star45 Planet41) 64.52)
	(= (slew_time Planet41 Star45) 64.52)
	(= (slew_time Star45 Planet42) 31.43)
	(= (slew_time Planet42 Star45) 31.43)
	(= (slew_time Star45 Planet43) 73.39)
	(= (slew_time Planet43 Star45) 73.39)
	(= (slew_time Star45 Phenomenon44) 54.92)
	(= (slew_time Phenomenon44 Star45) 54.92)
	(= (slew_time Planet46 Star0) 36.31)
	(= (slew_time Star0 Planet46) 36.31)
	(= (slew_time Planet46 Star1) 54.04)
	(= (slew_time Star1 Planet46) 54.04)
	(= (slew_time Planet46 Star2) 58.02)
	(= (slew_time Star2 Planet46) 58.02)
	(= (slew_time Planet46 Star3) 55.08)
	(= (slew_time Star3 Planet46) 55.08)
	(= (slew_time Planet46 Star4) 40.56)
	(= (slew_time Star4 Planet46) 40.56)
	(= (slew_time Planet46 Phenomenon5) 16.96)
	(= (slew_time Phenomenon5 Planet46) 16.96)
	(= (slew_time Planet46 Phenomenon6) 22.28)
	(= (slew_time Phenomenon6 Planet46) 22.28)
	(= (slew_time Planet46 Phenomenon7) 30.58)
	(= (slew_time Phenomenon7 Planet46) 30.58)
	(= (slew_time Planet46 Phenomenon8) 20.98)
	(= (slew_time Phenomenon8 Planet46) 20.98)
	(= (slew_time Planet46 Star9) 26.27)
	(= (slew_time Star9 Planet46) 26.27)
	(= (slew_time Planet46 Star10) 49.38)
	(= (slew_time Star10 Planet46) 49.38)
	(= (slew_time Planet46 Phenomenon11) 39.15)
	(= (slew_time Phenomenon11 Planet46) 39.15)
	(= (slew_time Planet46 Star12) 16.9)
	(= (slew_time Star12 Planet46) 16.9)
	(= (slew_time Planet46 Star13) 11.67)
	(= (slew_time Star13 Planet46) 11.67)
	(= (slew_time Planet46 Planet14) 46.92)
	(= (slew_time Planet14 Planet46) 46.92)
	(= (slew_time Planet46 Planet15) 65.28)
	(= (slew_time Planet15 Planet46) 65.28)
	(= (slew_time Planet46 Star16) 30.95)
	(= (slew_time Star16 Planet46) 30.95)
	(= (slew_time Planet46 Planet17) 5.953)
	(= (slew_time Planet17 Planet46) 5.953)
	(= (slew_time Planet46 Phenomenon18) 19.05)
	(= (slew_time Phenomenon18 Planet46) 19.05)
	(= (slew_time Planet46 Planet19) 21.11)
	(= (slew_time Planet19 Planet46) 21.11)
	(= (slew_time Planet46 Planet20) 14.45)
	(= (slew_time Planet20 Planet46) 14.45)
	(= (slew_time Planet46 Star21) 3.9)
	(= (slew_time Star21 Planet46) 3.9)
	(= (slew_time Planet46 Star22) 23.58)
	(= (slew_time Star22 Planet46) 23.58)
	(= (slew_time Planet46 Star23) 5.572)
	(= (slew_time Star23 Planet46) 5.572)
	(= (slew_time Planet46 Star24) 11.71)
	(= (slew_time Star24 Planet46) 11.71)
	(= (slew_time Planet46 Star25) 50.49)
	(= (slew_time Star25 Planet46) 50.49)
	(= (slew_time Planet46 Star26) 77.18)
	(= (slew_time Star26 Planet46) 77.18)
	(= (slew_time Planet46 Star27) 64.05)
	(= (slew_time Star27 Planet46) 64.05)
	(= (slew_time Planet46 Phenomenon28) 15.43)
	(= (slew_time Phenomenon28 Planet46) 15.43)
	(= (slew_time Planet46 Star29) 89.31)
	(= (slew_time Star29 Planet46) 89.31)
	(= (slew_time Planet46 Phenomenon30) 20.82)
	(= (slew_time Phenomenon30 Planet46) 20.82)
	(= (slew_time Planet46 Planet31) 27.03)
	(= (slew_time Planet31 Planet46) 27.03)
	(= (slew_time Planet46 Phenomenon32) 4.707)
	(= (slew_time Phenomenon32 Planet46) 4.707)
	(= (slew_time Planet46 Planet33) 59.25)
	(= (slew_time Planet33 Planet46) 59.25)
	(= (slew_time Planet46 Phenomenon34) 16.14)
	(= (slew_time Phenomenon34 Planet46) 16.14)
	(= (slew_time Planet46 Planet35) 16.63)
	(= (slew_time Planet35 Planet46) 16.63)
	(= (slew_time Planet46 Phenomenon36) 18.44)
	(= (slew_time Phenomenon36 Planet46) 18.44)
	(= (slew_time Planet46 Star37) 35.03)
	(= (slew_time Star37 Planet46) 35.03)
	(= (slew_time Planet46 Phenomenon38) 55.01)
	(= (slew_time Phenomenon38 Planet46) 55.01)
	(= (slew_time Planet46 Star39) 13.41)
	(= (slew_time Star39 Planet46) 13.41)
	(= (slew_time Planet46 Phenomenon40) 49.85)
	(= (slew_time Phenomenon40 Planet46) 49.85)
	(= (slew_time Planet46 Planet41) 29.05)
	(= (slew_time Planet41 Planet46) 29.05)
	(= (slew_time Planet46 Planet42) 48.41)
	(= (slew_time Planet42 Planet46) 48.41)
	(= (slew_time Planet46 Planet43) 21.42)
	(= (slew_time Planet43 Planet46) 21.42)
	(= (slew_time Planet46 Phenomenon44) 45.47)
	(= (slew_time Phenomenon44 Planet46) 45.47)
	(= (slew_time Planet46 Star45) 29.37)
	(= (slew_time Star45 Planet46) 29.37)
	(= (slew_time Star47 Star0) 14.5)
	(= (slew_time Star0 Star47) 14.5)
	(= (slew_time Star47 Star1) 3.769)
	(= (slew_time Star1 Star47) 3.769)
	(= (slew_time Star47 Star2) 30.94)
	(= (slew_time Star2 Star47) 30.94)
	(= (slew_time Star47 Star3) 52.17)
	(= (slew_time Star3 Star47) 52.17)
	(= (slew_time Star47 Star4) 71.77)
	(= (slew_time Star4 Star47) 71.77)
	(= (slew_time Star47 Phenomenon5) 40.45)
	(= (slew_time Phenomenon5 Star47) 40.45)
	(= (slew_time Star47 Phenomenon6) 27.44)
	(= (slew_time Phenomenon6 Star47) 27.44)
	(= (slew_time Star47 Phenomenon7) 32.47)
	(= (slew_time Phenomenon7 Star47) 32.47)
	(= (slew_time Star47 Phenomenon8) 45.04)
	(= (slew_time Phenomenon8 Star47) 45.04)
	(= (slew_time Star47 Star9) 76.19)
	(= (slew_time Star9 Star47) 76.19)
	(= (slew_time Star47 Star10) 6.094)
	(= (slew_time Star10 Star47) 6.094)
	(= (slew_time Star47 Phenomenon11) 51.35)
	(= (slew_time Phenomenon11 Star47) 51.35)
	(= (slew_time Star47 Star12) 16.37)
	(= (slew_time Star12 Star47) 16.37)
	(= (slew_time Star47 Star13) 3.617)
	(= (slew_time Star13 Star47) 3.617)
	(= (slew_time Star47 Planet14) 23.04)
	(= (slew_time Planet14 Star47) 23.04)
	(= (slew_time Star47 Planet15) 0.6594)
	(= (slew_time Planet15 Star47) 0.6594)
	(= (slew_time Star47 Star16) 51.77)
	(= (slew_time Star16 Star47) 51.77)
	(= (slew_time Star47 Planet17) 95.72)
	(= (slew_time Planet17 Star47) 95.72)
	(= (slew_time Star47 Phenomenon18) 12.33)
	(= (slew_time Phenomenon18 Star47) 12.33)
	(= (slew_time Star47 Planet19) 52.13)
	(= (slew_time Planet19 Star47) 52.13)
	(= (slew_time Star47 Planet20) 70.6)
	(= (slew_time Planet20 Star47) 70.6)
	(= (slew_time Star47 Star21) 22.58)
	(= (slew_time Star21 Star47) 22.58)
	(= (slew_time Star47 Star22) 8.308)
	(= (slew_time Star22 Star47) 8.308)
	(= (slew_time Star47 Star23) 11.62)
	(= (slew_time Star23 Star47) 11.62)
	(= (slew_time Star47 Star24) 49.26)
	(= (slew_time Star24 Star47) 49.26)
	(= (slew_time Star47 Star25) 31.37)
	(= (slew_time Star25 Star47) 31.37)
	(= (slew_time Star47 Star26) 3.896)
	(= (slew_time Star26 Star47) 3.896)
	(= (slew_time Star47 Star27) 12.43)
	(= (slew_time Star27 Star47) 12.43)
	(= (slew_time Star47 Phenomenon28) 26.34)
	(= (slew_time Phenomenon28 Star47) 26.34)
	(= (slew_time Star47 Star29) 67.79)
	(= (slew_time Star29 Star47) 67.79)
	(= (slew_time Star47 Phenomenon30) 26.93)
	(= (slew_time Phenomenon30 Star47) 26.93)
	(= (slew_time Star47 Planet31) 5.226)
	(= (slew_time Planet31 Star47) 5.226)
	(= (slew_time Star47 Phenomenon32) 27.12)
	(= (slew_time Phenomenon32 Star47) 27.12)
	(= (slew_time Star47 Planet33) 45.67)
	(= (slew_time Planet33 Star47) 45.67)
	(= (slew_time Star47 Phenomenon34) 48.84)
	(= (slew_time Phenomenon34 Star47) 48.84)
	(= (slew_time Star47 Planet35) 23.55)
	(= (slew_time Planet35 Star47) 23.55)
	(= (slew_time Star47 Phenomenon36) 18.15)
	(= (slew_time Phenomenon36 Star47) 18.15)
	(= (slew_time Star47 Star37) 62.6)
	(= (slew_time Star37 Star47) 62.6)
	(= (slew_time Star47 Phenomenon38) 36.24)
	(= (slew_time Phenomenon38 Star47) 36.24)
	(= (slew_time Star47 Star39) 20.2)
	(= (slew_time Star39 Star47) 20.2)
	(= (slew_time Star47 Phenomenon40) 36.82)
	(= (slew_time Phenomenon40 Star47) 36.82)
	(= (slew_time Star47 Planet41) 56.19)
	(= (slew_time Planet41 Star47) 56.19)
	(= (slew_time Star47 Planet42) 8.803)
	(= (slew_time Planet42 Star47) 8.803)
	(= (slew_time Star47 Planet43) 54.6)
	(= (slew_time Planet43 Star47) 54.6)
	(= (slew_time Star47 Phenomenon44) 22.58)
	(= (slew_time Phenomenon44 Star47) 22.58)
	(= (slew_time Star47 Star45) 20.84)
	(= (slew_time Star45 Star47) 20.84)
	(= (slew_time Star47 Planet46) 90.85)
	(= (slew_time Planet46 Star47) 90.85)
	(= (slew_time Planet48 Star0) 0.7303)
	(= (slew_time Star0 Planet48) 0.7303)
	(= (slew_time Planet48 Star1) 3.623)
	(= (slew_time Star1 Planet48) 3.623)
	(= (slew_time Planet48 Star2) 16.22)
	(= (slew_time Star2 Planet48) 16.22)
	(= (slew_time Planet48 Star3) 81.64)
	(= (slew_time Star3 Planet48) 81.64)
	(= (slew_time Planet48 Star4) 9.879)
	(= (slew_time Star4 Planet48) 9.879)
	(= (slew_time Planet48 Phenomenon5) 30.39)
	(= (slew_time Phenomenon5 Planet48) 30.39)
	(= (slew_time Planet48 Phenomenon6) 87.57)
	(= (slew_time Phenomenon6 Planet48) 87.57)
	(= (slew_time Planet48 Phenomenon7) 12.25)
	(= (slew_time Phenomenon7 Planet48) 12.25)
	(= (slew_time Planet48 Phenomenon8) 52.07)
	(= (slew_time Phenomenon8 Planet48) 52.07)
	(= (slew_time Planet48 Star9) 33.61)
	(= (slew_time Star9 Planet48) 33.61)
	(= (slew_time Planet48 Star10) 50.63)
	(= (slew_time Star10 Planet48) 50.63)
	(= (slew_time Planet48 Phenomenon11) 65.31)
	(= (slew_time Phenomenon11 Planet48) 65.31)
	(= (slew_time Planet48 Star12) 59.43)
	(= (slew_time Star12 Planet48) 59.43)
	(= (slew_time Planet48 Star13) 80.91)
	(= (slew_time Star13 Planet48) 80.91)
	(= (slew_time Planet48 Planet14) 46.69)
	(= (slew_time Planet14 Planet48) 46.69)
	(= (slew_time Planet48 Planet15) 5.061)
	(= (slew_time Planet15 Planet48) 5.061)
	(= (slew_time Planet48 Star16) 6.881)
	(= (slew_time Star16 Planet48) 6.881)
	(= (slew_time Planet48 Planet17) 8.646)
	(= (slew_time Planet17 Planet48) 8.646)
	(= (slew_time Planet48 Phenomenon18) 38.76)
	(= (slew_time Phenomenon18 Planet48) 38.76)
	(= (slew_time Planet48 Planet19) 9.682)
	(= (slew_time Planet19 Planet48) 9.682)
	(= (slew_time Planet48 Planet20) 58.39)
	(= (slew_time Planet20 Planet48) 58.39)
	(= (slew_time Planet48 Star21) 69.69)
	(= (slew_time Star21 Planet48) 69.69)
	(= (slew_time Planet48 Star22) 18.18)
	(= (slew_time Star22 Planet48) 18.18)
	(= (slew_time Planet48 Star23) 2.151)
	(= (slew_time Star23 Planet48) 2.151)
	(= (slew_time Planet48 Star24) 11.72)
	(= (slew_time Star24 Planet48) 11.72)
	(= (slew_time Planet48 Star25) 55.28)
	(= (slew_time Star25 Planet48) 55.28)
	(= (slew_time Planet48 Star26) 19.87)
	(= (slew_time Star26 Planet48) 19.87)
	(= (slew_time Planet48 Star27) 71.4)
	(= (slew_time Star27 Planet48) 71.4)
	(= (slew_time Planet48 Phenomenon28) 39.07)
	(= (slew_time Phenomenon28 Planet48) 39.07)
	(= (slew_time Planet48 Star29) 40.29)
	(= (slew_time Star29 Planet48) 40.29)
	(= (slew_time Planet48 Phenomenon30) 43.74)
	(= (slew_time Phenomenon30 Planet48) 43.74)
	(= (slew_time Planet48 Planet31) 46.43)
	(= (slew_time Planet31 Planet48) 46.43)
	(= (slew_time Planet48 Phenomenon32) 45.96)
	(= (slew_time Phenomenon32 Planet48) 45.96)
	(= (slew_time Planet48 Planet33) 26.27)
	(= (slew_time Planet33 Planet48) 26.27)
	(= (slew_time Planet48 Phenomenon34) 82.08)
	(= (slew_time Phenomenon34 Planet48) 82.08)
	(= (slew_time Planet48 Planet35) 41.44)
	(= (slew_time Planet35 Planet48) 41.44)
	(= (slew_time Planet48 Phenomenon36) 15.24)
	(= (slew_time Phenomenon36 Planet48) 15.24)
	(= (slew_time Planet48 Star37) 13.57)
	(= (slew_time Star37 Planet48) 13.57)
	(= (slew_time Planet48 Phenomenon38) 6.933)
	(= (slew_time Phenomenon38 Planet48) 6.933)
	(= (slew_time Planet48 Star39) 73.19)
	(= (slew_time Star39 Planet48) 73.19)
	(= (slew_time Planet48 Phenomenon40) 75.65)
	(= (slew_time Phenomenon40 Planet48) 75.65)
	(= (slew_time Planet48 Planet41) 32.85)
	(= (slew_time Planet41 Planet48) 32.85)
	(= (slew_time Planet48 Planet42) 27.94)
	(= (slew_time Planet42 Planet48) 27.94)
	(= (slew_time Planet48 Planet43) 23.5)
	(= (slew_time Planet43 Planet48) 23.5)
	(= (slew_time Planet48 Phenomenon44) 5.267)
	(= (slew_time Phenomenon44 Planet48) 5.267)
	(= (slew_time Planet48 Star45) 59.39)
	(= (slew_time Star45 Planet48) 59.39)
	(= (slew_time Planet48 Planet46) 37.86)
	(= (slew_time Planet46 Planet48) 37.86)
	(= (slew_time Planet48 Star47) 10.9)
	(= (slew_time Star47 Planet48) 10.9)
	(= (slew_time Star49 Star0) 11.64)
	(= (slew_time Star0 Star49) 11.64)
	(= (slew_time Star49 Star1) 30.13)
	(= (slew_time Star1 Star49) 30.13)
	(= (slew_time Star49 Star2) 54.61)
	(= (slew_time Star2 Star49) 54.61)
	(= (slew_time Star49 Star3) 12.23)
	(= (slew_time Star3 Star49) 12.23)
	(= (slew_time Star49 Star4) 82.79)
	(= (slew_time Star4 Star49) 82.79)
	(= (slew_time Star49 Phenomenon5) 26.55)
	(= (slew_time Phenomenon5 Star49) 26.55)
	(= (slew_time Star49 Phenomenon6) 66.39)
	(= (slew_time Phenomenon6 Star49) 66.39)
	(= (slew_time Star49 Phenomenon7) 50.51)
	(= (slew_time Phenomenon7 Star49) 50.51)
	(= (slew_time Star49 Phenomenon8) 27.56)
	(= (slew_time Phenomenon8 Star49) 27.56)
	(= (slew_time Star49 Star9) 39.99)
	(= (slew_time Star9 Star49) 39.99)
	(= (slew_time Star49 Star10) 28.42)
	(= (slew_time Star10 Star49) 28.42)
	(= (slew_time Star49 Phenomenon11) 0.01504)
	(= (slew_time Phenomenon11 Star49) 0.01504)
	(= (slew_time Star49 Star12) 26.7)
	(= (slew_time Star12 Star49) 26.7)
	(= (slew_time Star49 Star13) 46.43)
	(= (slew_time Star13 Star49) 46.43)
	(= (slew_time Star49 Planet14) 10.27)
	(= (slew_time Planet14 Star49) 10.27)
	(= (slew_time Star49 Planet15) 53.1)
	(= (slew_time Planet15 Star49) 53.1)
	(= (slew_time Star49 Star16) 65.52)
	(= (slew_time Star16 Star49) 65.52)
	(= (slew_time Star49 Planet17) 15.95)
	(= (slew_time Planet17 Star49) 15.95)
	(= (slew_time Star49 Phenomenon18) 18.59)
	(= (slew_time Phenomenon18 Star49) 18.59)
	(= (slew_time Star49 Planet19) 20.48)
	(= (slew_time Planet19 Star49) 20.48)
	(= (slew_time Star49 Planet20) 90.62)
	(= (slew_time Planet20 Star49) 90.62)
	(= (slew_time Star49 Star21) 8.785)
	(= (slew_time Star21 Star49) 8.785)
	(= (slew_time Star49 Star22) 28.36)
	(= (slew_time Star22 Star49) 28.36)
	(= (slew_time Star49 Star23) 43.61)
	(= (slew_time Star23 Star49) 43.61)
	(= (slew_time Star49 Star24) 24.55)
	(= (slew_time Star24 Star49) 24.55)
	(= (slew_time Star49 Star25) 54.99)
	(= (slew_time Star25 Star49) 54.99)
	(= (slew_time Star49 Star26) 69.44)
	(= (slew_time Star26 Star49) 69.44)
	(= (slew_time Star49 Star27) 2.44)
	(= (slew_time Star27 Star49) 2.44)
	(= (slew_time Star49 Phenomenon28) 17.85)
	(= (slew_time Phenomenon28 Star49) 17.85)
	(= (slew_time Star49 Star29) 65.81)
	(= (slew_time Star29 Star49) 65.81)
	(= (slew_time Star49 Phenomenon30) 55.1)
	(= (slew_time Phenomenon30 Star49) 55.1)
	(= (slew_time Star49 Planet31) 8.947)
	(= (slew_time Planet31 Star49) 8.947)
	(= (slew_time Star49 Phenomenon32) 41.88)
	(= (slew_time Phenomenon32 Star49) 41.88)
	(= (slew_time Star49 Planet33) 40.74)
	(= (slew_time Planet33 Star49) 40.74)
	(= (slew_time Star49 Phenomenon34) 71.4)
	(= (slew_time Phenomenon34 Star49) 71.4)
	(= (slew_time Star49 Planet35) 12.5)
	(= (slew_time Planet35 Star49) 12.5)
	(= (slew_time Star49 Phenomenon36) 73.67)
	(= (slew_time Phenomenon36 Star49) 73.67)
	(= (slew_time Star49 Star37) 19.02)
	(= (slew_time Star37 Star49) 19.02)
	(= (slew_time Star49 Phenomenon38) 79.55)
	(= (slew_time Phenomenon38 Star49) 79.55)
	(= (slew_time Star49 Star39) 10.61)
	(= (slew_time Star39 Star49) 10.61)
	(= (slew_time Star49 Phenomenon40) 28.22)
	(= (slew_time Phenomenon40 Star49) 28.22)
	(= (slew_time Star49 Planet41) 57.07)
	(= (slew_time Planet41 Star49) 57.07)
	(= (slew_time Star49 Planet42) 0.6246)
	(= (slew_time Planet42 Star49) 0.6246)
	(= (slew_time Star49 Planet43) 6.204)
	(= (slew_time Planet43 Star49) 6.204)
	(= (slew_time Star49 Phenomenon44) 5.757)
	(= (slew_time Phenomenon44 Star49) 5.757)
	(= (slew_time Star49 Star45) 24.8)
	(= (slew_time Star45 Star49) 24.8)
	(= (slew_time Star49 Planet46) 78.52)
	(= (slew_time Planet46 Star49) 78.52)
	(= (slew_time Star49 Star47) 18.52)
	(= (slew_time Star47 Star49) 18.52)
	(= (slew_time Star49 Planet48) 41.36)
	(= (slew_time Planet48 Star49) 41.36)
	(= (slew_time Star50 Star0) 6.222)
	(= (slew_time Star0 Star50) 6.222)
	(= (slew_time Star50 Star1) 30.36)
	(= (slew_time Star1 Star50) 30.36)
	(= (slew_time Star50 Star2) 65.9)
	(= (slew_time Star2 Star50) 65.9)
	(= (slew_time Star50 Star3) 59.04)
	(= (slew_time Star3 Star50) 59.04)
	(= (slew_time Star50 Star4) 30.81)
	(= (slew_time Star4 Star50) 30.81)
	(= (slew_time Star50 Phenomenon5) 9.649)
	(= (slew_time Phenomenon5 Star50) 9.649)
	(= (slew_time Star50 Phenomenon6) 50.49)
	(= (slew_time Phenomenon6 Star50) 50.49)
	(= (slew_time Star50 Phenomenon7) 8.796)
	(= (slew_time Phenomenon7 Star50) 8.796)
	(= (slew_time Star50 Phenomenon8) 51.68)
	(= (slew_time Phenomenon8 Star50) 51.68)
	(= (slew_time Star50 Star9) 11.39)
	(= (slew_time Star9 Star50) 11.39)
	(= (slew_time Star50 Star10) 66.46)
	(= (slew_time Star10 Star50) 66.46)
	(= (slew_time Star50 Phenomenon11) 55.93)
	(= (slew_time Phenomenon11 Star50) 55.93)
	(= (slew_time Star50 Star12) 47.29)
	(= (slew_time Star12 Star50) 47.29)
	(= (slew_time Star50 Star13) 1.776)
	(= (slew_time Star13 Star50) 1.776)
	(= (slew_time Star50 Planet14) 56.56)
	(= (slew_time Planet14 Star50) 56.56)
	(= (slew_time Star50 Planet15) 6.171)
	(= (slew_time Planet15 Star50) 6.171)
	(= (slew_time Star50 Star16) 9.491)
	(= (slew_time Star16 Star50) 9.491)
	(= (slew_time Star50 Planet17) 6.398)
	(= (slew_time Planet17 Star50) 6.398)
	(= (slew_time Star50 Phenomenon18) 49.55)
	(= (slew_time Phenomenon18 Star50) 49.55)
	(= (slew_time Star50 Planet19) 14.34)
	(= (slew_time Planet19 Star50) 14.34)
	(= (slew_time Star50 Planet20) 90.67)
	(= (slew_time Planet20 Star50) 90.67)
	(= (slew_time Star50 Star21) 34.19)
	(= (slew_time Star21 Star50) 34.19)
	(= (slew_time Star50 Star22) 77.81)
	(= (slew_time Star22 Star50) 77.81)
	(= (slew_time Star50 Star23) 30.09)
	(= (slew_time Star23 Star50) 30.09)
	(= (slew_time Star50 Star24) 90.92)
	(= (slew_time Star24 Star50) 90.92)
	(= (slew_time Star50 Star25) 40.7)
	(= (slew_time Star25 Star50) 40.7)
	(= (slew_time Star50 Star26) 32.47)
	(= (slew_time Star26 Star50) 32.47)
	(= (slew_time Star50 Star27) 1.634)
	(= (slew_time Star27 Star50) 1.634)
	(= (slew_time Star50 Phenomenon28) 65.31)
	(= (slew_time Phenomenon28 Star50) 65.31)
	(= (slew_time Star50 Star29) 4.156)
	(= (slew_time Star29 Star50) 4.156)
	(= (slew_time Star50 Phenomenon30) 63.61)
	(= (slew_time Phenomenon30 Star50) 63.61)
	(= (slew_time Star50 Planet31) 54.03)
	(= (slew_time Planet31 Star50) 54.03)
	(= (slew_time Star50 Phenomenon32) 22.18)
	(= (slew_time Phenomenon32 Star50) 22.18)
	(= (slew_time Star50 Planet33) 21.27)
	(= (slew_time Planet33 Star50) 21.27)
	(= (slew_time Star50 Phenomenon34) 0.2743)
	(= (slew_time Phenomenon34 Star50) 0.2743)
	(= (slew_time Star50 Planet35) 92.27)
	(= (slew_time Planet35 Star50) 92.27)
	(= (slew_time Star50 Phenomenon36) 2.249)
	(= (slew_time Phenomenon36 Star50) 2.249)
	(= (slew_time Star50 Star37) 30.59)
	(= (slew_time Star37 Star50) 30.59)
	(= (slew_time Star50 Phenomenon38) 69.44)
	(= (slew_time Phenomenon38 Star50) 69.44)
	(= (slew_time Star50 Star39) 1.698)
	(= (slew_time Star39 Star50) 1.698)
	(= (slew_time Star50 Phenomenon40) 2.162)
	(= (slew_time Phenomenon40 Star50) 2.162)
	(= (slew_time Star50 Planet41) 17.75)
	(= (slew_time Planet41 Star50) 17.75)
	(= (slew_time Star50 Planet42) 60.97)
	(= (slew_time Planet42 Star50) 60.97)
	(= (slew_time Star50 Planet43) 14.38)
	(= (slew_time Planet43 Star50) 14.38)
	(= (slew_time Star50 Phenomenon44) 77.21)
	(= (slew_time Phenomenon44 Star50) 77.21)
	(= (slew_time Star50 Star45) 86.91)
	(= (slew_time Star45 Star50) 86.91)
	(= (slew_time Star50 Planet46) 12.24)
	(= (slew_time Planet46 Star50) 12.24)
	(= (slew_time Star50 Star47) 5.06)
	(= (slew_time Star47 Star50) 5.06)
	(= (slew_time Star50 Planet48) 11.42)
	(= (slew_time Planet48 Star50) 11.42)
	(= (slew_time Star50 Star49) 82.57)
	(= (slew_time Star49 Star50) 82.57)
	(= (slew_time Planet51 Star0) 29.27)
	(= (slew_time Star0 Planet51) 29.27)
	(= (slew_time Planet51 Star1) 58.25)
	(= (slew_time Star1 Planet51) 58.25)
	(= (slew_time Planet51 Star2) 5.026)
	(= (slew_time Star2 Planet51) 5.026)
	(= (slew_time Planet51 Star3) 48.85)
	(= (slew_time Star3 Planet51) 48.85)
	(= (slew_time Planet51 Star4) 23.18)
	(= (slew_time Star4 Planet51) 23.18)
	(= (slew_time Planet51 Phenomenon5) 56.02)
	(= (slew_time Phenomenon5 Planet51) 56.02)
	(= (slew_time Planet51 Phenomenon6) 8.971)
	(= (slew_time Phenomenon6 Planet51) 8.971)
	(= (slew_time Planet51 Phenomenon7) 40.62)
	(= (slew_time Phenomenon7 Planet51) 40.62)
	(= (slew_time Planet51 Phenomenon8) 66.45)
	(= (slew_time Phenomenon8 Planet51) 66.45)
	(= (slew_time Planet51 Star9) 55.27)
	(= (slew_time Star9 Planet51) 55.27)
	(= (slew_time Planet51 Star10) 11.09)
	(= (slew_time Star10 Planet51) 11.09)
	(= (slew_time Planet51 Phenomenon11) 73.95)
	(= (slew_time Phenomenon11 Planet51) 73.95)
	(= (slew_time Planet51 Star12) 85.13)
	(= (slew_time Star12 Planet51) 85.13)
	(= (slew_time Planet51 Star13) 76.23)
	(= (slew_time Star13 Planet51) 76.23)
	(= (slew_time Planet51 Planet14) 2.172)
	(= (slew_time Planet14 Planet51) 2.172)
	(= (slew_time Planet51 Planet15) 10.33)
	(= (slew_time Planet15 Planet51) 10.33)
	(= (slew_time Planet51 Star16) 48.71)
	(= (slew_time Star16 Planet51) 48.71)
	(= (slew_time Planet51 Planet17) 4.002)
	(= (slew_time Planet17 Planet51) 4.002)
	(= (slew_time Planet51 Phenomenon18) 15.57)
	(= (slew_time Phenomenon18 Planet51) 15.57)
	(= (slew_time Planet51 Planet19) 73.29)
	(= (slew_time Planet19 Planet51) 73.29)
	(= (slew_time Planet51 Planet20) 21.09)
	(= (slew_time Planet20 Planet51) 21.09)
	(= (slew_time Planet51 Star21) 66.28)
	(= (slew_time Star21 Planet51) 66.28)
	(= (slew_time Planet51 Star22) 28.52)
	(= (slew_time Star22 Planet51) 28.52)
	(= (slew_time Planet51 Star23) 37.67)
	(= (slew_time Star23 Planet51) 37.67)
	(= (slew_time Planet51 Star24) 6.568)
	(= (slew_time Star24 Planet51) 6.568)
	(= (slew_time Planet51 Star25) 5.553)
	(= (slew_time Star25 Planet51) 5.553)
	(= (slew_time Planet51 Star26) 0.803)
	(= (slew_time Star26 Planet51) 0.803)
	(= (slew_time Planet51 Star27) 39.89)
	(= (slew_time Star27 Planet51) 39.89)
	(= (slew_time Planet51 Phenomenon28) 67.51)
	(= (slew_time Phenomenon28 Planet51) 67.51)
	(= (slew_time Planet51 Star29) 35.56)
	(= (slew_time Star29 Planet51) 35.56)
	(= (slew_time Planet51 Phenomenon30) 19.56)
	(= (slew_time Phenomenon30 Planet51) 19.56)
	(= (slew_time Planet51 Planet31) 7.564)
	(= (slew_time Planet31 Planet51) 7.564)
	(= (slew_time Planet51 Phenomenon32) 43.35)
	(= (slew_time Phenomenon32 Planet51) 43.35)
	(= (slew_time Planet51 Planet33) 11.96)
	(= (slew_time Planet33 Planet51) 11.96)
	(= (slew_time Planet51 Phenomenon34) 64.42)
	(= (slew_time Phenomenon34 Planet51) 64.42)
	(= (slew_time Planet51 Planet35) 10.98)
	(= (slew_time Planet35 Planet51) 10.98)
	(= (slew_time Planet51 Phenomenon36) 2.525)
	(= (slew_time Phenomenon36 Planet51) 2.525)
	(= (slew_time Planet51 Star37) 2.382)
	(= (slew_time Star37 Planet51) 2.382)
	(= (slew_time Planet51 Phenomenon38) 84.16)
	(= (slew_time Phenomenon38 Planet51) 84.16)
	(= (slew_time Planet51 Star39) 11.94)
	(= (slew_time Star39 Planet51) 11.94)
	(= (slew_time Planet51 Phenomenon40) 22.46)
	(= (slew_time Phenomenon40 Planet51) 22.46)
	(= (slew_time Planet51 Planet41) 8.383)
	(= (slew_time Planet41 Planet51) 8.383)
	(= (slew_time Planet51 Planet42) 25.22)
	(= (slew_time Planet42 Planet51) 25.22)
	(= (slew_time Planet51 Planet43) 9.201)
	(= (slew_time Planet43 Planet51) 9.201)
	(= (slew_time Planet51 Phenomenon44) 11.93)
	(= (slew_time Phenomenon44 Planet51) 11.93)
	(= (slew_time Planet51 Star45) 7.635)
	(= (slew_time Star45 Planet51) 7.635)
	(= (slew_time Planet51 Planet46) 30.01)
	(= (slew_time Planet46 Planet51) 30.01)
	(= (slew_time Planet51 Star47) 0.2322)
	(= (slew_time Star47 Planet51) 0.2322)
	(= (slew_time Planet51 Planet48) 11.49)
	(= (slew_time Planet48 Planet51) 11.49)
	(= (slew_time Planet51 Star49) 1.133)
	(= (slew_time Star49 Planet51) 1.133)
	(= (slew_time Planet51 Star50) 3.015)
	(= (slew_time Star50 Planet51) 3.015)
	(= (slew_time Star52 Star0) 14.54)
	(= (slew_time Star0 Star52) 14.54)
	(= (slew_time Star52 Star1) 3.485)
	(= (slew_time Star1 Star52) 3.485)
	(= (slew_time Star52 Star2) 70.38)
	(= (slew_time Star2 Star52) 70.38)
	(= (slew_time Star52 Star3) 66.63)
	(= (slew_time Star3 Star52) 66.63)
	(= (slew_time Star52 Star4) 35.95)
	(= (slew_time Star4 Star52) 35.95)
	(= (slew_time Star52 Phenomenon5) 30.58)
	(= (slew_time Phenomenon5 Star52) 30.58)
	(= (slew_time Star52 Phenomenon6) 16.56)
	(= (slew_time Phenomenon6 Star52) 16.56)
	(= (slew_time Star52 Phenomenon7) 50.7)
	(= (slew_time Phenomenon7 Star52) 50.7)
	(= (slew_time Star52 Phenomenon8) 61.84)
	(= (slew_time Phenomenon8 Star52) 61.84)
	(= (slew_time Star52 Star9) 5.134)
	(= (slew_time Star9 Star52) 5.134)
	(= (slew_time Star52 Star10) 76.21)
	(= (slew_time Star10 Star52) 76.21)
	(= (slew_time Star52 Phenomenon11) 70.55)
	(= (slew_time Phenomenon11 Star52) 70.55)
	(= (slew_time Star52 Star12) 32.19)
	(= (slew_time Star12 Star52) 32.19)
	(= (slew_time Star52 Star13) 73.17)
	(= (slew_time Star13 Star52) 73.17)
	(= (slew_time Star52 Planet14) 43.58)
	(= (slew_time Planet14 Star52) 43.58)
	(= (slew_time Star52 Planet15) 10.2)
	(= (slew_time Planet15 Star52) 10.2)
	(= (slew_time Star52 Star16) 6.433)
	(= (slew_time Star16 Star52) 6.433)
	(= (slew_time Star52 Planet17) 20.88)
	(= (slew_time Planet17 Star52) 20.88)
	(= (slew_time Star52 Phenomenon18) 20.04)
	(= (slew_time Phenomenon18 Star52) 20.04)
	(= (slew_time Star52 Planet19) 4.538)
	(= (slew_time Planet19 Star52) 4.538)
	(= (slew_time Star52 Planet20) 3.575)
	(= (slew_time Planet20 Star52) 3.575)
	(= (slew_time Star52 Star21) 63.31)
	(= (slew_time Star21 Star52) 63.31)
	(= (slew_time Star52 Star22) 11.89)
	(= (slew_time Star22 Star52) 11.89)
	(= (slew_time Star52 Star23) 29.61)
	(= (slew_time Star23 Star52) 29.61)
	(= (slew_time Star52 Star24) 35.26)
	(= (slew_time Star24 Star52) 35.26)
	(= (slew_time Star52 Star25) 76.49)
	(= (slew_time Star25 Star52) 76.49)
	(= (slew_time Star52 Star26) 36.03)
	(= (slew_time Star26 Star52) 36.03)
	(= (slew_time Star52 Star27) 27.01)
	(= (slew_time Star27 Star52) 27.01)
	(= (slew_time Star52 Phenomenon28) 35.87)
	(= (slew_time Phenomenon28 Star52) 35.87)
	(= (slew_time Star52 Star29) 40.55)
	(= (slew_time Star29 Star52) 40.55)
	(= (slew_time Star52 Phenomenon30) 55.39)
	(= (slew_time Phenomenon30 Star52) 55.39)
	(= (slew_time Star52 Planet31) 63.26)
	(= (slew_time Planet31 Star52) 63.26)
	(= (slew_time Star52 Phenomenon32) 23.64)
	(= (slew_time Phenomenon32 Star52) 23.64)
	(= (slew_time Star52 Planet33) 27.86)
	(= (slew_time Planet33 Star52) 27.86)
	(= (slew_time Star52 Phenomenon34) 45.12)
	(= (slew_time Phenomenon34 Star52) 45.12)
	(= (slew_time Star52 Planet35) 0.3386)
	(= (slew_time Planet35 Star52) 0.3386)
	(= (slew_time Star52 Phenomenon36) 49.36)
	(= (slew_time Phenomenon36 Star52) 49.36)
	(= (slew_time Star52 Star37) 45.47)
	(= (slew_time Star37 Star52) 45.47)
	(= (slew_time Star52 Phenomenon38) 76.25)
	(= (slew_time Phenomenon38 Star52) 76.25)
	(= (slew_time Star52 Star39) 12.58)
	(= (slew_time Star39 Star52) 12.58)
	(= (slew_time Star52 Phenomenon40) 18.89)
	(= (slew_time Phenomenon40 Star52) 18.89)
	(= (slew_time Star52 Planet41) 29.44)
	(= (slew_time Planet41 Star52) 29.44)
	(= (slew_time Star52 Planet42) 4.996)
	(= (slew_time Planet42 Star52) 4.996)
	(= (slew_time Star52 Planet43) 14.63)
	(= (slew_time Planet43 Star52) 14.63)
	(= (slew_time Star52 Phenomenon44) 43.37)
	(= (slew_time Phenomenon44 Star52) 43.37)
	(= (slew_time Star52 Star45) 23.17)
	(= (slew_time Star45 Star52) 23.17)
	(= (slew_time Star52 Planet46) 14.46)
	(= (slew_time Planet46 Star52) 14.46)
	(= (slew_time Star52 Star47) 47.71)
	(= (slew_time Star47 Star52) 47.71)
	(= (slew_time Star52 Planet48) 71.2)
	(= (slew_time Planet48 Star52) 71.2)
	(= (slew_time Star52 Star49) 47.14)
	(= (slew_time Star49 Star52) 47.14)
	(= (slew_time Star52 Star50) 3.471)
	(= (slew_time Star50 Star52) 3.471)
	(= (slew_time Star52 Planet51) 42.13)
	(= (slew_time Planet51 Star52) 42.13)
	(= (data-stored) 0)
)
(:goal (and
	(pointing satellite0 Star10)
	(pointing satellite1 Phenomenon34)
	(pointing satellite3 Star2)
	(pointing satellite4 Planet14)
	(have_image Star3 infrared0)
	(have_image Star4 spectrograph2)
	(have_image Phenomenon5 spectrograph2)
	(have_image Phenomenon7 spectrograph2)
	(have_image Phenomenon8 image1)
	(have_image Star9 spectrograph2)
	(have_image Star10 spectrograph2)
	(have_image Phenomenon11 spectrograph2)
	(have_image Star12 infrared0)
	(have_image Star13 image1)
	(have_image Planet14 image1)
	(have_image Planet15 infrared0)
	(have_image Star16 image1)
	(have_image Planet17 spectrograph2)
	(have_image Phenomenon18 image1)
	(have_image Planet19 infrared0)
	(have_image Planet20 image1)
	(have_image Star21 spectrograph2)
	(have_image Star22 image1)
	(have_image Star23 image1)
	(have_image Star24 image1)
	(have_image Star25 infrared0)
	(have_image Star26 spectrograph2)
	(have_image Star27 infrared0)
	(have_image Phenomenon28 spectrograph2)
	(have_image Star29 spectrograph2)
	(have_image Phenomenon30 image1)
	(have_image Planet31 spectrograph2)
	(have_image Phenomenon32 image1)
	(have_image Planet33 infrared0)
	(have_image Phenomenon34 infrared0)
	(have_image Planet35 spectrograph2)
	(have_image Phenomenon36 infrared0)
	(have_image Star37 spectrograph2)
	(have_image Star39 image1)
	(have_image Phenomenon40 image1)
	(have_image Planet41 image1)
	(have_image Planet42 image1)
	(have_image Planet43 image1)
	(have_image Phenomenon44 image1)
	(have_image Star45 image1)
	(have_image Star47 spectrograph2)
	(have_image Planet48 image1)
	(have_image Star49 infrared0)
	(have_image Star50 spectrograph2)
	(have_image Planet51 image1)
	(have_image Star52 image1)
))
(:metric minimize (total-time))

)
