(define (problem strips-sat-x-1)
(:domain satellite)
(:objects
	satellite0
	instrument0
	instrument1
	instrument2
	instrument3
	instrument4
	instrument5
	instrument6
	instrument7
	instrument8
	instrument9
	satellite1
	instrument10
	instrument11
	instrument12
	instrument13
	instrument14
	instrument15
	instrument16
	instrument17
	instrument18
	instrument19
	instrument20
	instrument21
	instrument22
	instrument23
	instrument24
	instrument25
	instrument26
	instrument27
	satellite2
	instrument28
	instrument29
	instrument30
	instrument31
	instrument32
	satellite3
	instrument33
	instrument34
	instrument35
	instrument36
	instrument37
	instrument38
	instrument39
	instrument40
	instrument41
	instrument42
	instrument43
	instrument44
	instrument45
	instrument46
	instrument47
	instrument48
	instrument49
	instrument50
	satellite4
	instrument51
	instrument52
	instrument53
	instrument54
	instrument55
	instrument56
	instrument57
	satellite5
	instrument58
	instrument59
	instrument60
	instrument61
	instrument62
	instrument63
	satellite6
	instrument64
	instrument65
	instrument66
	instrument67
	instrument68
	instrument69
	instrument70
	instrument71
	instrument72
	instrument73
	instrument74
	instrument75
	instrument76
	instrument77
	satellite7
	instrument78
	instrument79
	instrument80
	instrument81
	instrument82
	satellite8
	instrument83
	instrument84
	instrument85
	instrument86
	instrument87
	instrument88
	instrument89
	instrument90
	instrument91
	instrument92
	instrument93
	instrument94
	instrument95
	instrument96
	instrument97
	instrument98
	instrument99
	satellite9
	instrument100
	instrument101
	instrument102
	instrument103
	instrument104
	instrument105
	instrument106
	satellite10
	instrument107
	instrument108
	satellite11
	instrument109
	satellite12
	instrument110
	instrument111
	instrument112
	instrument113
	instrument114
	instrument115
	instrument116
	instrument117
	instrument118
	instrument119
	instrument120
	instrument121
	instrument122
	instrument123
	instrument124
	instrument125
	instrument126
	instrument127
	instrument128
	instrument129
	satellite13
	instrument130
	instrument131
	instrument132
	instrument133
	satellite14
	instrument134
	instrument135
	instrument136
	instrument137
	instrument138
	instrument139
	instrument140
	infrared0
	image14
	thermograph6
	infrared7
	spectrograph10
	image9
	infrared3
	spectrograph13
	infrared2
	thermograph8
	thermograph16
	thermograph15
	thermograph4
	infrared12
	infrared5
	infrared17
	spectrograph11
	spectrograph1
	thermograph18
	thermograph19
	GroundStation1
	Star5
	Star6
	Star2
	Star9
	Star8
	GroundStation3
	GroundStation0
	Star4
	GroundStation7
	Star10
	Phenomenon11
	Planet12
	Star13
	Phenomenon14
	Star15
	Planet16
	Phenomenon17
	Phenomenon18
	Planet19
	Planet20
	Star21
	Planet22
	Star23
	Phenomenon24
	Phenomenon25
	Phenomenon26
	Phenomenon27
	Star28
	Star29
	Planet30
	Phenomenon31
	Planet32
	Phenomenon33
	Phenomenon34
	Planet35
	Star36
	Phenomenon37
	Phenomenon38
	Phenomenon39
	Star40
	Star41
	Planet42
	Phenomenon43
	Planet44
	Star45
	Planet46
	Planet47
	Phenomenon48
	Phenomenon49
)
(:init
	(satellite satellite0)
	(instrument instrument0)
	(supports instrument0 infrared2)
	(supports instrument0 infrared12)
	(supports instrument0 thermograph18)
	(calibration_target instrument0 Star5)
	(calibration_target instrument0 Star4)
	(instrument instrument1)
	(supports instrument1 infrared0)
	(supports instrument1 infrared5)
	(supports instrument1 image14)
	(calibration_target instrument1 Star2)
	(instrument instrument2)
	(supports instrument2 spectrograph1)
	(supports instrument2 infrared7)
	(supports instrument2 image9)
	(calibration_target instrument2 GroundStation0)
	(instrument instrument3)
	(supports instrument3 image9)
	(calibration_target instrument3 Star8)
	(calibration_target instrument3 Star5)
	(calibration_target instrument3 GroundStation7)
	(instrument instrument4)
	(supports instrument4 infrared7)
	(calibration_target instrument4 GroundStation7)
	(calibration_target instrument4 Star9)
	(calibration_target instrument4 Star6)
	(instrument instrument5)
	(supports instrument5 thermograph8)
	(supports instrument5 image14)
	(supports instrument5 spectrograph1)
	(calibration_target instrument5 GroundStation1)
	(calibration_target instrument5 Star6)
	(instrument instrument6)
	(supports instrument6 spectrograph1)
	(calibration_target instrument6 Star8)
	(calibration_target instrument6 GroundStation1)
	(instrument instrument7)
	(supports instrument7 thermograph15)
	(supports instrument7 infrared3)
	(calibration_target instrument7 Star5)
	(calibration_target instrument7 Star2)
	(instrument instrument8)
	(supports instrument8 thermograph19)
	(calibration_target instrument8 GroundStation7)
	(calibration_target instrument8 Star8)
	(instrument instrument9)
	(supports instrument9 spectrograph13)
	(supports instrument9 thermograph16)
	(calibration_target instrument9 Star5)
	(on_board instrument0 satellite0)
	(on_board instrument1 satellite0)
	(on_board instrument2 satellite0)
	(on_board instrument3 satellite0)
	(on_board instrument4 satellite0)
	(on_board instrument5 satellite0)
	(on_board instrument6 satellite0)
	(on_board instrument7 satellite0)
	(on_board instrument8 satellite0)
	(on_board instrument9 satellite0)
	(power_avail satellite0)
	(pointing satellite0 Star36)
	(satellite satellite1)
	(instrument instrument10)
	(supports instrument10 thermograph4)
	(calibration_target instrument10 Star6)
	(calibration_target instrument10 GroundStation0)
	(instrument instrument11)
	(supports instrument11 spectrograph1)
	(supports instrument11 infrared3)
	(calibration_target instrument11 GroundStation0)
	(calibration_target instrument11 GroundStation3)
	(calibration_target instrument11 Star8)
	(instrument instrument12)
	(supports instrument12 infrared12)
	(supports instrument12 spectrograph13)
	(supports instrument12 infrared3)
	(calibration_target instrument12 Star5)
	(calibration_target instrument12 Star9)
	(instrument instrument13)
	(supports instrument13 spectrograph13)
	(calibration_target instrument13 Star8)
	(instrument instrument14)
	(supports instrument14 image14)
	(calibration_target instrument14 GroundStation0)
	(instrument instrument15)
	(supports instrument15 thermograph19)
	(supports instrument15 infrared0)
	(calibration_target instrument15 GroundStation7)
	(instrument instrument16)
	(supports instrument16 infrared7)
	(calibration_target instrument16 Star6)
	(calibration_target instrument16 Star2)
	(calibration_target instrument16 Star9)
	(instrument instrument17)
	(supports instrument17 infrared17)
	(calibration_target instrument17 GroundStation3)
	(calibration_target instrument17 Star9)
	(calibration_target instrument17 GroundStation0)
	(instrument instrument18)
	(supports instrument18 thermograph15)
	(supports instrument18 infrared0)
	(supports instrument18 infrared2)
	(calibration_target instrument18 GroundStation7)
	(calibration_target instrument18 Star4)
	(instrument instrument19)
	(supports instrument19 spectrograph13)
	(supports instrument19 thermograph4)
	(calibration_target instrument19 GroundStation3)
	(calibration_target instrument19 Star4)
	(calibration_target instrument19 GroundStation0)
	(instrument instrument20)
	(supports instrument20 infrared7)
	(calibration_target instrument20 Star2)
	(calibration_target instrument20 Star4)
	(instrument instrument21)
	(supports instrument21 infrared0)
	(supports instrument21 infrared17)
	(calibration_target instrument21 Star9)
	(instrument instrument22)
	(supports instrument22 image9)
	(supports instrument22 thermograph4)
	(calibration_target instrument22 Star4)
	(instrument instrument23)
	(supports instrument23 infrared7)
	(supports instrument23 infrared5)
	(calibration_target instrument23 Star8)
	(instrument instrument24)
	(supports instrument24 spectrograph11)
	(supports instrument24 infrared0)
	(supports instrument24 spectrograph10)
	(calibration_target instrument24 Star4)
	(instrument instrument25)
	(supports instrument25 infrared3)
	(supports instrument25 infrared17)
	(supports instrument25 image9)
	(calibration_target instrument25 GroundStation1)
	(calibration_target instrument25 GroundStation7)
	(instrument instrument26)
	(supports instrument26 infrared5)
	(supports instrument26 infrared12)
	(calibration_target instrument26 GroundStation7)
	(instrument instrument27)
	(supports instrument27 infrared7)
	(calibration_target instrument27 GroundStation1)
	(calibration_target instrument27 GroundStation3)
	(calibration_target instrument27 Star6)
	(on_board instrument10 satellite1)
	(on_board instrument11 satellite1)
	(on_board instrument12 satellite1)
	(on_board instrument13 satellite1)
	(on_board instrument14 satellite1)
	(on_board instrument15 satellite1)
	(on_board instrument16 satellite1)
	(on_board instrument17 satellite1)
	(on_board instrument18 satellite1)
	(on_board instrument19 satellite1)
	(on_board instrument20 satellite1)
	(on_board instrument21 satellite1)
	(on_board instrument22 satellite1)
	(on_board instrument23 satellite1)
	(on_board instrument24 satellite1)
	(on_board instrument25 satellite1)
	(on_board instrument26 satellite1)
	(on_board instrument27 satellite1)
	(power_avail satellite1)
	(pointing satellite1 Star9)
	(satellite satellite2)
	(instrument instrument28)
	(supports instrument28 thermograph18)
	(supports instrument28 infrared3)
	(supports instrument28 spectrograph10)
	(calibration_target instrument28 GroundStation3)
	(calibration_target instrument28 Star6)
	(instrument instrument29)
	(supports instrument29 thermograph19)
	(calibration_target instrument29 Star2)
	(instrument instrument30)
	(supports instrument30 image9)
	(calibration_target instrument30 Star2)
	(calibration_target instrument30 Star8)
	(calibration_target instrument30 GroundStation0)
	(instrument instrument31)
	(supports instrument31 thermograph15)
	(calibration_target instrument31 Star4)
	(calibration_target instrument31 GroundStation7)
	(instrument instrument32)
	(supports instrument32 infrared2)
	(supports instrument32 thermograph8)
	(calibration_target instrument32 GroundStation7)
	(on_board instrument28 satellite2)
	(on_board instrument29 satellite2)
	(on_board instrument30 satellite2)
	(on_board instrument31 satellite2)
	(on_board instrument32 satellite2)
	(power_avail satellite2)
	(pointing satellite2 Phenomenon38)
	(satellite satellite3)
	(instrument instrument33)
	(supports instrument33 spectrograph10)
	(calibration_target instrument33 Star2)
	(calibration_target instrument33 Star6)
	(calibration_target instrument33 GroundStation7)
	(instrument instrument34)
	(supports instrument34 spectrograph13)
	(supports instrument34 spectrograph11)
	(calibration_target instrument34 Star4)
	(calibration_target instrument34 GroundStation0)
	(calibration_target instrument34 Star9)
	(instrument instrument35)
	(supports instrument35 thermograph19)
	(supports instrument35 spectrograph13)
	(calibration_target instrument35 GroundStation1)
	(instrument instrument36)
	(supports instrument36 infrared17)
	(supports instrument36 thermograph19)
	(supports instrument36 infrared2)
	(calibration_target instrument36 Star4)
	(calibration_target instrument36 Star5)
	(calibration_target instrument36 Star6)
	(instrument instrument37)
	(supports instrument37 infrared17)
	(supports instrument37 infrared0)
	(supports instrument37 spectrograph11)
	(calibration_target instrument37 GroundStation0)
	(calibration_target instrument37 GroundStation3)
	(instrument instrument38)
	(supports instrument38 thermograph19)
	(supports instrument38 infrared12)
	(calibration_target instrument38 GroundStation1)
	(instrument instrument39)
	(supports instrument39 thermograph18)
	(supports instrument39 infrared17)
	(supports instrument39 thermograph19)
	(calibration_target instrument39 GroundStation3)
	(calibration_target instrument39 Star2)
	(instrument instrument40)
	(supports instrument40 infrared3)
	(calibration_target instrument40 Star4)
	(calibration_target instrument40 GroundStation7)
	(instrument instrument41)
	(supports instrument41 image9)
	(supports instrument41 spectrograph13)
	(supports instrument41 infrared0)
	(calibration_target instrument41 Star8)
	(calibration_target instrument41 GroundStation7)
	(calibration_target instrument41 GroundStation1)
	(instrument instrument42)
	(supports instrument42 infrared12)
	(supports instrument42 infrared0)
	(calibration_target instrument42 Star2)
	(instrument instrument43)
	(supports instrument43 thermograph15)
	(calibration_target instrument43 Star8)
	(calibration_target instrument43 GroundStation1)
	(calibration_target instrument43 Star5)
	(instrument instrument44)
	(supports instrument44 infrared7)
	(supports instrument44 infrared0)
	(supports instrument44 thermograph8)
	(calibration_target instrument44 Star5)
	(calibration_target instrument44 Star2)
	(instrument instrument45)
	(supports instrument45 thermograph4)
	(supports instrument45 spectrograph10)
	(supports instrument45 infrared5)
	(calibration_target instrument45 Star8)
	(calibration_target instrument45 GroundStation7)
	(instrument instrument46)
	(supports instrument46 thermograph18)
	(supports instrument46 thermograph8)
	(calibration_target instrument46 GroundStation1)
	(calibration_target instrument46 Star6)
	(calibration_target instrument46 Star5)
	(instrument instrument47)
	(supports instrument47 infrared12)
	(supports instrument47 infrared5)
	(supports instrument47 thermograph4)
	(calibration_target instrument47 Star8)
	(calibration_target instrument47 GroundStation0)
	(calibration_target instrument47 Star2)
	(instrument instrument48)
	(supports instrument48 infrared0)
	(supports instrument48 thermograph4)
	(supports instrument48 image14)
	(calibration_target instrument48 Star5)
	(calibration_target instrument48 Star8)
	(calibration_target instrument48 Star6)
	(instrument instrument49)
	(supports instrument49 thermograph4)
	(supports instrument49 image14)
	(supports instrument49 image9)
	(calibration_target instrument49 Star2)
	(instrument instrument50)
	(supports instrument50 thermograph8)
	(supports instrument50 infrared12)
	(supports instrument50 spectrograph13)
	(calibration_target instrument50 Star6)
	(calibration_target instrument50 GroundStation7)
	(on_board instrument33 satellite3)
	(on_board instrument34 satellite3)
	(on_board instrument35 satellite3)
	(on_board instrument36 satellite3)
	(on_board instrument37 satellite3)
	(on_board instrument38 satellite3)
	(on_board instrument39 satellite3)
	(on_board instrument40 satellite3)
	(on_board instrument41 satellite3)
	(on_board instrument42 satellite3)
	(on_board instrument43 satellite3)
	(on_board instrument44 satellite3)
	(on_board instrument45 satellite3)
	(on_board instrument46 satellite3)
	(on_board instrument47 satellite3)
	(on_board instrument48 satellite3)
	(on_board instrument49 satellite3)
	(on_board instrument50 satellite3)
	(power_avail satellite3)
	(pointing satellite3 Star8)
	(satellite satellite4)
	(instrument instrument51)
	(supports instrument51 thermograph19)
	(supports instrument51 image14)
	(calibration_target instrument51 GroundStation7)
	(calibration_target instrument51 Star4)
	(instrument instrument52)
	(supports instrument52 infrared5)
	(calibration_target instrument52 Star6)
	(calibration_target instrument52 Star5)
	(calibration_target instrument52 GroundStation0)
	(instrument instrument53)
	(supports instrument53 infrared5)
	(supports instrument53 thermograph15)
	(calibration_target instrument53 Star8)
	(instrument instrument54)
	(supports instrument54 infrared2)
	(supports instrument54 thermograph19)
	(supports instrument54 infrared12)
	(calibration_target instrument54 GroundStation1)
	(calibration_target instrument54 GroundStation3)
	(instrument instrument55)
	(supports instrument55 image14)
	(supports instrument55 infrared3)
	(calibration_target instrument55 Star9)
	(instrument instrument56)
	(supports instrument56 spectrograph10)
	(calibration_target instrument56 Star9)
	(calibration_target instrument56 Star2)
	(instrument instrument57)
	(supports instrument57 infrared5)
	(supports instrument57 thermograph18)
	(supports instrument57 infrared7)
	(calibration_target instrument57 GroundStation1)
	(calibration_target instrument57 Star6)
	(on_board instrument51 satellite4)
	(on_board instrument52 satellite4)
	(on_board instrument53 satellite4)
	(on_board instrument54 satellite4)
	(on_board instrument55 satellite4)
	(on_board instrument56 satellite4)
	(on_board instrument57 satellite4)
	(power_avail satellite4)
	(pointing satellite4 Star28)
	(satellite satellite5)
	(instrument instrument58)
	(supports instrument58 spectrograph11)
	(supports instrument58 infrared2)
	(supports instrument58 thermograph8)
	(calibration_target instrument58 GroundStation1)
	(calibration_target instrument58 Star8)
	(instrument instrument59)
	(supports instrument59 infrared2)
	(supports instrument59 thermograph6)
	(supports instrument59 thermograph8)
	(calibration_target instrument59 GroundStation3)
	(instrument instrument60)
	(supports instrument60 infrared5)
	(supports instrument60 spectrograph1)
	(supports instrument60 infrared12)
	(calibration_target instrument60 Star9)
	(calibration_target instrument60 Star5)
	(instrument instrument61)
	(supports instrument61 infrared2)
	(supports instrument61 infrared17)
	(calibration_target instrument61 GroundStation7)
	(instrument instrument62)
	(supports instrument62 infrared3)
	(supports instrument62 thermograph16)
	(supports instrument62 spectrograph10)
	(calibration_target instrument62 GroundStation7)
	(calibration_target instrument62 Star9)
	(calibration_target instrument62 GroundStation0)
	(instrument instrument63)
	(supports instrument63 thermograph6)
	(calibration_target instrument63 GroundStation3)
	(on_board instrument58 satellite5)
	(on_board instrument59 satellite5)
	(on_board instrument60 satellite5)
	(on_board instrument61 satellite5)
	(on_board instrument62 satellite5)
	(on_board instrument63 satellite5)
	(power_avail satellite5)
	(pointing satellite5 Phenomenon14)
	(satellite satellite6)
	(instrument instrument64)
	(supports instrument64 spectrograph10)
	(supports instrument64 thermograph4)
	(calibration_target instrument64 GroundStation3)
	(calibration_target instrument64 Star8)
	(instrument instrument65)
	(supports instrument65 thermograph4)
	(supports instrument65 infrared7)
	(calibration_target instrument65 GroundStation7)
	(calibration_target instrument65 Star6)
	(calibration_target instrument65 Star9)
	(instrument instrument66)
	(supports instrument66 thermograph8)
	(supports instrument66 infrared7)
	(supports instrument66 spectrograph13)
	(calibration_target instrument66 GroundStation1)
	(calibration_target instrument66 Star4)
	(calibration_target instrument66 Star5)
	(instrument instrument67)
	(supports instrument67 infrared0)
	(supports instrument67 thermograph16)
	(calibration_target instrument67 GroundStation0)
	(calibration_target instrument67 Star2)
	(instrument instrument68)
	(supports instrument68 infrared3)
	(supports instrument68 thermograph8)
	(calibration_target instrument68 Star2)
	(calibration_target instrument68 Star5)
	(instrument instrument69)
	(supports instrument69 thermograph19)
	(calibration_target instrument69 GroundStation1)
	(calibration_target instrument69 Star8)
	(instrument instrument70)
	(supports instrument70 infrared3)
	(calibration_target instrument70 Star6)
	(calibration_target instrument70 Star9)
	(calibration_target instrument70 GroundStation0)
	(instrument instrument71)
	(supports instrument71 infrared0)
	(supports instrument71 spectrograph1)
	(supports instrument71 thermograph8)
	(calibration_target instrument71 GroundStation1)
	(calibration_target instrument71 Star5)
	(calibration_target instrument71 Star2)
	(instrument instrument72)
	(supports instrument72 spectrograph1)
	(calibration_target instrument72 Star4)
	(instrument instrument73)
	(supports instrument73 thermograph16)
	(calibration_target instrument73 GroundStation0)
	(calibration_target instrument73 Star5)
	(calibration_target instrument73 Star9)
	(instrument instrument74)
	(supports instrument74 infrared3)
	(supports instrument74 spectrograph13)
	(supports instrument74 thermograph6)
	(calibration_target instrument74 Star4)
	(calibration_target instrument74 GroundStation7)
	(calibration_target instrument74 Star5)
	(instrument instrument75)
	(supports instrument75 spectrograph10)
	(supports instrument75 image9)
	(calibration_target instrument75 Star5)
	(calibration_target instrument75 Star4)
	(calibration_target instrument75 GroundStation0)
	(instrument instrument76)
	(supports instrument76 infrared17)
	(supports instrument76 spectrograph13)
	(supports instrument76 spectrograph1)
	(calibration_target instrument76 Star9)
	(calibration_target instrument76 GroundStation3)
	(calibration_target instrument76 Star2)
	(instrument instrument77)
	(supports instrument77 infrared17)
	(supports instrument77 thermograph6)
	(supports instrument77 spectrograph10)
	(calibration_target instrument77 Star9)
	(calibration_target instrument77 Star4)
	(on_board instrument64 satellite6)
	(on_board instrument65 satellite6)
	(on_board instrument66 satellite6)
	(on_board instrument67 satellite6)
	(on_board instrument68 satellite6)
	(on_board instrument69 satellite6)
	(on_board instrument70 satellite6)
	(on_board instrument71 satellite6)
	(on_board instrument72 satellite6)
	(on_board instrument73 satellite6)
	(on_board instrument74 satellite6)
	(on_board instrument75 satellite6)
	(on_board instrument76 satellite6)
	(on_board instrument77 satellite6)
	(power_avail satellite6)
	(pointing satellite6 Star21)
	(satellite satellite7)
	(instrument instrument78)
	(supports instrument78 thermograph6)
	(supports instrument78 infrared2)
	(supports instrument78 spectrograph10)
	(calibration_target instrument78 Star2)
	(calibration_target instrument78 GroundStation3)
	(calibration_target instrument78 GroundStation7)
	(instrument instrument79)
	(supports instrument79 thermograph19)
	(supports instrument79 spectrograph10)
	(calibration_target instrument79 GroundStation0)
	(calibration_target instrument79 GroundStation3)
	(calibration_target instrument79 Star4)
	(instrument instrument80)
	(supports instrument80 thermograph15)
	(supports instrument80 infrared0)
	(supports instrument80 spectrograph11)
	(calibration_target instrument80 GroundStation0)
	(instrument instrument81)
	(supports instrument81 infrared5)
	(calibration_target instrument81 Star8)
	(calibration_target instrument81 Star6)
	(calibration_target instrument81 GroundStation1)
	(instrument instrument82)
	(supports instrument82 thermograph16)
	(supports instrument82 infrared5)
	(supports instrument82 thermograph15)
	(calibration_target instrument82 GroundStation3)
	(calibration_target instrument82 Star2)
	(calibration_target instrument82 GroundStation1)
	(on_board instrument78 satellite7)
	(on_board instrument79 satellite7)
	(on_board instrument80 satellite7)
	(on_board instrument81 satellite7)
	(on_board instrument82 satellite7)
	(power_avail satellite7)
	(pointing satellite7 Phenomenon18)
	(satellite satellite8)
	(instrument instrument83)
	(supports instrument83 infrared12)
	(supports instrument83 spectrograph11)
	(supports instrument83 image9)
	(calibration_target instrument83 GroundStation3)
	(calibration_target instrument83 Star5)
	(instrument instrument84)
	(supports instrument84 spectrograph1)
	(calibration_target instrument84 GroundStation1)
	(calibration_target instrument84 Star9)
	(calibration_target instrument84 GroundStation7)
	(instrument instrument85)
	(supports instrument85 infrared17)
	(calibration_target instrument85 GroundStation3)
	(calibration_target instrument85 Star4)
	(calibration_target instrument85 Star6)
	(instrument instrument86)
	(supports instrument86 thermograph16)
	(supports instrument86 image14)
	(supports instrument86 image9)
	(calibration_target instrument86 Star8)
	(calibration_target instrument86 Star9)
	(instrument instrument87)
	(supports instrument87 thermograph16)
	(supports instrument87 infrared17)
	(calibration_target instrument87 GroundStation0)
	(calibration_target instrument87 Star5)
	(instrument instrument88)
	(supports instrument88 infrared2)
	(calibration_target instrument88 GroundStation1)
	(instrument instrument89)
	(supports instrument89 spectrograph11)
	(supports instrument89 infrared2)
	(calibration_target instrument89 Star5)
	(instrument instrument90)
	(supports instrument90 image9)
	(supports instrument90 infrared3)
	(supports instrument90 spectrograph1)
	(calibration_target instrument90 Star6)
	(calibration_target instrument90 GroundStation3)
	(instrument instrument91)
	(supports instrument91 thermograph4)
	(supports instrument91 spectrograph1)
	(supports instrument91 infrared0)
	(calibration_target instrument91 Star5)
	(instrument instrument92)
	(supports instrument92 thermograph4)
	(calibration_target instrument92 GroundStation3)
	(instrument instrument93)
	(supports instrument93 thermograph8)
	(calibration_target instrument93 GroundStation1)
	(calibration_target instrument93 Star6)
	(instrument instrument94)
	(supports instrument94 spectrograph1)
	(supports instrument94 spectrograph11)
	(supports instrument94 thermograph16)
	(calibration_target instrument94 GroundStation1)
	(calibration_target instrument94 Star4)
	(instrument instrument95)
	(supports instrument95 thermograph6)
	(supports instrument95 image9)
	(supports instrument95 thermograph4)
	(calibration_target instrument95 Star5)
	(instrument instrument96)
	(supports instrument96 infrared5)
	(supports instrument96 image9)
	(calibration_target instrument96 Star8)
	(calibration_target instrument96 Star5)
	(instrument instrument97)
	(supports instrument97 image14)
	(calibration_target instrument97 Star5)
	(instrument instrument98)
	(supports instrument98 infrared2)
	(calibration_target instrument98 Star2)
	(calibration_target instrument98 Star9)
	(calibration_target instrument98 Star4)
	(instrument instrument99)
	(supports instrument99 infrared3)
	(supports instrument99 spectrograph11)
	(supports instrument99 image14)
	(calibration_target instrument99 Star6)
	(on_board instrument83 satellite8)
	(on_board instrument84 satellite8)
	(on_board instrument85 satellite8)
	(on_board instrument86 satellite8)
	(on_board instrument87 satellite8)
	(on_board instrument88 satellite8)
	(on_board instrument89 satellite8)
	(on_board instrument90 satellite8)
	(on_board instrument91 satellite8)
	(on_board instrument92 satellite8)
	(on_board instrument93 satellite8)
	(on_board instrument94 satellite8)
	(on_board instrument95 satellite8)
	(on_board instrument96 satellite8)
	(on_board instrument97 satellite8)
	(on_board instrument98 satellite8)
	(on_board instrument99 satellite8)
	(power_avail satellite8)
	(pointing satellite8 Planet46)
	(satellite satellite9)
	(instrument instrument100)
	(supports instrument100 thermograph15)
	(supports instrument100 image14)
	(calibration_target instrument100 Star4)
	(calibration_target instrument100 Star6)
	(instrument instrument101)
	(supports instrument101 image14)
	(calibration_target instrument101 GroundStation0)
	(calibration_target instrument101 GroundStation7)
	(instrument instrument102)
	(supports instrument102 image14)
	(calibration_target instrument102 Star4)
	(calibration_target instrument102 Star2)
	(instrument instrument103)
	(supports instrument103 thermograph4)
	(supports instrument103 spectrograph1)
	(supports instrument103 infrared17)
	(calibration_target instrument103 Star6)
	(instrument instrument104)
	(supports instrument104 spectrograph1)
	(calibration_target instrument104 Star5)
	(instrument instrument105)
	(supports instrument105 spectrograph1)
	(supports instrument105 spectrograph11)
	(supports instrument105 spectrograph13)
	(calibration_target instrument105 Star4)
	(calibration_target instrument105 GroundStation3)
	(instrument instrument106)
	(supports instrument106 infrared0)
	(calibration_target instrument106 GroundStation0)
	(calibration_target instrument106 Star9)
	(on_board instrument100 satellite9)
	(on_board instrument101 satellite9)
	(on_board instrument102 satellite9)
	(on_board instrument103 satellite9)
	(on_board instrument104 satellite9)
	(on_board instrument105 satellite9)
	(on_board instrument106 satellite9)
	(power_avail satellite9)
	(pointing satellite9 Star28)
	(satellite satellite10)
	(instrument instrument107)
	(supports instrument107 infrared12)
	(calibration_target instrument107 Star2)
	(calibration_target instrument107 Star8)
	(calibration_target instrument107 GroundStation0)
	(instrument instrument108)
	(supports instrument108 image14)
	(supports instrument108 thermograph4)
	(calibration_target instrument108 GroundStation3)
	(on_board instrument107 satellite10)
	(on_board instrument108 satellite10)
	(power_avail satellite10)
	(pointing satellite10 Phenomenon31)
	(satellite satellite11)
	(instrument instrument109)
	(supports instrument109 spectrograph11)
	(calibration_target instrument109 GroundStation0)
	(calibration_target instrument109 Star2)
	(calibration_target instrument109 Star4)
	(on_board instrument109 satellite11)
	(power_avail satellite11)
	(pointing satellite11 Planet22)
	(satellite satellite12)
	(instrument instrument110)
	(supports instrument110 thermograph4)
	(supports instrument110 thermograph15)
	(supports instrument110 image9)
	(calibration_target instrument110 Star2)
	(calibration_target instrument110 Star4)
	(instrument instrument111)
	(supports instrument111 infrared2)
	(calibration_target instrument111 GroundStation7)
	(instrument instrument112)
	(supports instrument112 thermograph8)
	(calibration_target instrument112 GroundStation7)
	(calibration_target instrument112 Star2)
	(instrument instrument113)
	(supports instrument113 thermograph15)
	(supports instrument113 thermograph18)
	(supports instrument113 image14)
	(calibration_target instrument113 Star8)
	(calibration_target instrument113 GroundStation7)
	(instrument instrument114)
	(supports instrument114 spectrograph10)
	(supports instrument114 spectrograph11)
	(supports instrument114 infrared12)
	(calibration_target instrument114 Star6)
	(calibration_target instrument114 GroundStation0)
	(instrument instrument115)
	(supports instrument115 spectrograph1)
	(supports instrument115 infrared7)
	(supports instrument115 spectrograph11)
	(calibration_target instrument115 Star6)
	(calibration_target instrument115 GroundStation1)
	(instrument instrument116)
	(supports instrument116 thermograph18)
	(supports instrument116 infrared7)
	(supports instrument116 spectrograph13)
	(calibration_target instrument116 GroundStation0)
	(calibration_target instrument116 Star4)
	(instrument instrument117)
	(supports instrument117 thermograph18)
	(supports instrument117 thermograph8)
	(supports instrument117 infrared2)
	(calibration_target instrument117 Star8)
	(calibration_target instrument117 Star9)
	(calibration_target instrument117 GroundStation1)
	(instrument instrument118)
	(supports instrument118 thermograph8)
	(supports instrument118 spectrograph1)
	(calibration_target instrument118 Star8)
	(calibration_target instrument118 GroundStation0)
	(calibration_target instrument118 Star2)
	(instrument instrument119)
	(supports instrument119 spectrograph10)
	(supports instrument119 infrared7)
	(calibration_target instrument119 Star8)
	(instrument instrument120)
	(supports instrument120 image9)
	(calibration_target instrument120 GroundStation7)
	(instrument instrument121)
	(supports instrument121 thermograph8)
	(calibration_target instrument121 Star5)
	(calibration_target instrument121 GroundStation1)
	(calibration_target instrument121 GroundStation7)
	(instrument instrument122)
	(supports instrument122 infrared7)
	(supports instrument122 thermograph6)
	(calibration_target instrument122 Star8)
	(instrument instrument123)
	(supports instrument123 infrared7)
	(calibration_target instrument123 GroundStation1)
	(calibration_target instrument123 Star6)
	(calibration_target instrument123 Star4)
	(instrument instrument124)
	(supports instrument124 thermograph19)
	(supports instrument124 spectrograph11)
	(calibration_target instrument124 Star9)
	(calibration_target instrument124 Star4)
	(calibration_target instrument124 GroundStation1)
	(instrument instrument125)
	(supports instrument125 thermograph19)
	(calibration_target instrument125 Star4)
	(calibration_target instrument125 Star5)
	(instrument instrument126)
	(supports instrument126 spectrograph11)
	(calibration_target instrument126 Star4)
	(calibration_target instrument126 Star5)
	(calibration_target instrument126 GroundStation1)
	(instrument instrument127)
	(supports instrument127 spectrograph11)
	(calibration_target instrument127 Star4)
	(calibration_target instrument127 GroundStation7)
	(calibration_target instrument127 Star2)
	(instrument instrument128)
	(supports instrument128 spectrograph10)
	(calibration_target instrument128 Star9)
	(calibration_target instrument128 Star8)
	(calibration_target instrument128 Star5)
	(instrument instrument129)
	(supports instrument129 image9)
	(supports instrument129 thermograph16)
	(calibration_target instrument129 Star9)
	(on_board instrument110 satellite12)
	(on_board instrument111 satellite12)
	(on_board instrument112 satellite12)
	(on_board instrument113 satellite12)
	(on_board instrument114 satellite12)
	(on_board instrument115 satellite12)
	(on_board instrument116 satellite12)
	(on_board instrument117 satellite12)
	(on_board instrument118 satellite12)
	(on_board instrument119 satellite12)
	(on_board instrument120 satellite12)
	(on_board instrument121 satellite12)
	(on_board instrument122 satellite12)
	(on_board instrument123 satellite12)
	(on_board instrument124 satellite12)
	(on_board instrument125 satellite12)
	(on_board instrument126 satellite12)
	(on_board instrument127 satellite12)
	(on_board instrument128 satellite12)
	(on_board instrument129 satellite12)
	(power_avail satellite12)
	(pointing satellite12 Star36)
	(satellite satellite13)
	(instrument instrument130)
	(supports instrument130 spectrograph1)
	(supports instrument130 infrared3)
	(supports instrument130 thermograph16)
	(calibration_target instrument130 GroundStation1)
	(calibration_target instrument130 Star9)
	(calibration_target instrument130 Star8)
	(instrument instrument131)
	(supports instrument131 thermograph18)
	(calibration_target instrument131 Star8)
	(calibration_target instrument131 GroundStation0)
	(calibration_target instrument131 GroundStation3)
	(instrument instrument132)
	(supports instrument132 thermograph18)
	(calibration_target instrument132 Star8)
	(calibration_target instrument132 GroundStation3)
	(calibration_target instrument132 Star5)
	(instrument instrument133)
	(supports instrument133 spectrograph11)
	(supports instrument133 spectrograph13)
	(calibration_target instrument133 Star5)
	(calibration_target instrument133 GroundStation7)
	(calibration_target instrument133 Star8)
	(on_board instrument130 satellite13)
	(on_board instrument131 satellite13)
	(on_board instrument132 satellite13)
	(on_board instrument133 satellite13)
	(power_avail satellite13)
	(pointing satellite13 Planet46)
	(satellite satellite14)
	(instrument instrument134)
	(supports instrument134 infrared12)
	(supports instrument134 infrared2)
	(supports instrument134 spectrograph1)
	(calibration_target instrument134 Star9)
	(instrument instrument135)
	(supports instrument135 thermograph15)
	(supports instrument135 thermograph16)
	(supports instrument135 thermograph8)
	(calibration_target instrument135 Star2)
	(instrument instrument136)
	(supports instrument136 infrared12)
	(supports instrument136 thermograph4)
	(calibration_target instrument136 Star8)
	(calibration_target instrument136 GroundStation3)
	(instrument instrument137)
	(supports instrument137 thermograph19)
	(supports instrument137 infrared17)
	(supports instrument137 infrared5)
	(calibration_target instrument137 Star9)
	(calibration_target instrument137 Star2)
	(calibration_target instrument137 Star6)
	(instrument instrument138)
	(supports instrument138 spectrograph11)
	(calibration_target instrument138 Star8)
	(calibration_target instrument138 GroundStation0)
	(instrument instrument139)
	(supports instrument139 spectrograph1)
	(supports instrument139 spectrograph11)
	(supports instrument139 thermograph19)
	(calibration_target instrument139 GroundStation3)
	(instrument instrument140)
	(supports instrument140 thermograph19)
	(supports instrument140 thermograph18)
	(calibration_target instrument140 GroundStation7)
	(calibration_target instrument140 Star4)
	(calibration_target instrument140 GroundStation0)
	(on_board instrument134 satellite14)
	(on_board instrument135 satellite14)
	(on_board instrument136 satellite14)
	(on_board instrument137 satellite14)
	(on_board instrument138 satellite14)
	(on_board instrument139 satellite14)
	(on_board instrument140 satellite14)
	(power_avail satellite14)
	(pointing satellite14 Planet20)
	(mode infrared0)
	(mode image14)
	(mode thermograph6)
	(mode infrared7)
	(mode spectrograph10)
	(mode image9)
	(mode infrared3)
	(mode spectrograph13)
	(mode infrared2)
	(mode thermograph8)
	(mode thermograph16)
	(mode thermograph15)
	(mode thermograph4)
	(mode infrared12)
	(mode infrared5)
	(mode infrared17)
	(mode spectrograph11)
	(mode spectrograph1)
	(mode thermograph18)
	(mode thermograph19)
	(direction GroundStation1)
	(direction Star5)
	(direction Star6)
	(direction Star2)
	(direction Star9)
	(direction Star8)
	(direction GroundStation3)
	(direction GroundStation0)
	(direction Star4)
	(direction GroundStation7)
	(direction Star10)
	(direction Phenomenon11)
	(direction Planet12)
	(direction Star13)
	(direction Phenomenon14)
	(direction Star15)
	(direction Planet16)
	(direction Phenomenon17)
	(direction Phenomenon18)
	(direction Planet19)
	(direction Planet20)
	(direction Star21)
	(direction Planet22)
	(direction Star23)
	(direction Phenomenon24)
	(direction Phenomenon25)
	(direction Phenomenon26)
	(direction Phenomenon27)
	(direction Star28)
	(direction Star29)
	(direction Planet30)
	(direction Phenomenon31)
	(direction Planet32)
	(direction Phenomenon33)
	(direction Phenomenon34)
	(direction Planet35)
	(direction Star36)
	(direction Phenomenon37)
	(direction Phenomenon38)
	(direction Phenomenon39)
	(direction Star40)
	(direction Star41)
	(direction Planet42)
	(direction Phenomenon43)
	(direction Planet44)
	(direction Star45)
	(direction Planet46)
	(direction Planet47)
	(direction Phenomenon48)
	(direction Phenomenon49)
)
(:goal (and
	(pointing satellite1 Planet22)
	(pointing satellite4 Star28)
	(pointing satellite9 Phenomenon11)
	(pointing satellite10 Star4)
	(have_image Star10 infrared0)
	(have_image Star10 infrared12)
	(have_image Star10 thermograph16)
	(have_image Star10 spectrograph11)
	(have_image Phenomenon11 infrared2)
	(have_image Phenomenon11 infrared0)
	(have_image Phenomenon11 infrared5)
	(have_image Phenomenon11 thermograph4)
	(have_image Phenomenon11 thermograph18)
	(have_image Phenomenon11 image14)
	(have_image Planet12 thermograph15)
	(have_image Planet12 thermograph4)
	(have_image Planet12 image14)
	(have_image Planet12 infrared0)
	(have_image Planet12 infrared12)
	(have_image Phenomenon14 thermograph8)
	(have_image Phenomenon14 infrared7)
	(have_image Phenomenon14 spectrograph10)
	(have_image Phenomenon14 thermograph4)
	(have_image Phenomenon14 infrared17)
	(have_image Star15 image14)
	(have_image Star15 infrared12)
	(have_image Star15 spectrograph11)
	(have_image Planet16 spectrograph1)
	(have_image Planet16 infrared7)
	(have_image Planet16 spectrograph11)
	(have_image Planet16 spectrograph10)
	(have_image Planet16 infrared5)
	(have_image Planet16 thermograph18)
	(have_image Phenomenon17 spectrograph1)
	(have_image Phenomenon18 image9)
	(have_image Phenomenon18 image14)
	(have_image Phenomenon18 infrared3)
	(have_image Phenomenon18 infrared0)
	(have_image Phenomenon18 spectrograph13)
	(have_image Phenomenon18 infrared7)
	(have_image Planet19 infrared3)
	(have_image Planet19 thermograph18)
	(have_image Planet19 thermograph19)
	(have_image Planet19 thermograph15)
	(have_image Planet19 infrared0)
	(have_image Planet19 infrared12)
	(have_image Planet20 infrared5)
	(have_image Star21 spectrograph11)
	(have_image Star21 thermograph6)
	(have_image Planet22 infrared0)
	(have_image Star23 thermograph4)
	(have_image Star23 image14)
	(have_image Phenomenon24 infrared7)
	(have_image Phenomenon24 infrared2)
	(have_image Phenomenon26 infrared3)
	(have_image Phenomenon26 thermograph16)
	(have_image Phenomenon26 thermograph6)
	(have_image Phenomenon26 spectrograph1)
	(have_image Phenomenon27 infrared17)
	(have_image Star29 infrared5)
	(have_image Star29 infrared12)
	(have_image Phenomenon31 spectrograph10)
	(have_image Phenomenon31 image9)
	(have_image Phenomenon31 thermograph15)
	(have_image Phenomenon33 infrared12)
	(have_image Phenomenon33 infrared17)
	(have_image Phenomenon33 spectrograph13)
	(have_image Phenomenon33 image9)
	(have_image Phenomenon33 thermograph19)
	(have_image Phenomenon33 spectrograph11)
	(have_image Phenomenon34 image9)
	(have_image Phenomenon34 image14)
	(have_image Phenomenon34 thermograph6)
	(have_image Planet35 infrared0)
	(have_image Planet35 thermograph19)
	(have_image Planet35 infrared5)
	(have_image Planet35 spectrograph1)
	(have_image Planet35 thermograph15)
	(have_image Planet35 image14)
	(have_image Star36 thermograph16)
	(have_image Phenomenon38 spectrograph13)
	(have_image Phenomenon38 thermograph16)
	(have_image Phenomenon38 thermograph4)
	(have_image Phenomenon38 thermograph19)
	(have_image Phenomenon38 infrared17)
	(have_image Phenomenon39 thermograph4)
	(have_image Phenomenon39 infrared0)
	(have_image Phenomenon39 spectrograph11)
	(have_image Phenomenon39 spectrograph13)
	(have_image Star40 infrared17)
	(have_image Star40 infrared7)
	(have_image Star40 infrared5)
	(have_image Star40 infrared0)
	(have_image Star41 thermograph18)
	(have_image Star41 thermograph15)
	(have_image Star41 image9)
	(have_image Star41 thermograph6)
	(have_image Star41 thermograph8)
	(have_image Planet42 spectrograph11)
	(have_image Planet42 infrared17)
	(have_image Planet42 image9)
	(have_image Planet42 infrared0)
	(have_image Planet42 spectrograph10)
	(have_image Planet42 thermograph16)
	(have_image Phenomenon43 spectrograph13)
	(have_image Planet44 infrared7)
	(have_image Planet44 thermograph16)
	(have_image Planet44 infrared0)
	(have_image Planet44 thermograph15)
	(have_image Planet44 thermograph8)
	(have_image Planet44 spectrograph11)
	(have_image Star45 spectrograph13)
	(have_image Planet46 image14)
	(have_image Planet46 thermograph18)
	(have_image Planet46 infrared17)
	(have_image Planet47 image9)
	(have_image Phenomenon48 thermograph6)
	(have_image Phenomenon48 thermograph19)
	(have_image Phenomenon48 image14)
	(have_image Phenomenon48 image9)
	(have_image Phenomenon48 infrared7)
	(have_image Phenomenon48 infrared12)
	(have_image Phenomenon49 infrared5)
	(have_image Phenomenon49 thermograph19)
))

)
