(define (problem strips-sat-x-1)
(:domain satellite)
(:objects
	satellite0
	instrument0
	instrument1
	instrument2
	instrument3
	instrument4
	satellite1
	instrument5
	instrument6
	instrument7
	instrument8
	instrument9
	instrument10
	instrument11
	instrument12
	instrument13
	instrument14
	instrument15
	instrument16
	instrument17
	instrument18
	satellite2
	instrument19
	instrument20
	instrument21
	instrument22
	instrument23
	instrument24
	instrument25
	instrument26
	instrument27
	instrument28
	instrument29
	instrument30
	instrument31
	instrument32
	instrument33
	satellite3
	instrument34
	satellite4
	instrument35
	instrument36
	instrument37
	instrument38
	instrument39
	instrument40
	instrument41
	instrument42
	instrument43
	instrument44
	instrument45
	instrument46
	instrument47
	instrument48
	instrument49
	instrument50
	instrument51
	instrument52
	satellite5
	instrument53
	instrument54
	instrument55
	instrument56
	instrument57
	instrument58
	instrument59
	instrument60
	instrument61
	instrument62
	instrument63
	instrument64
	instrument65
	instrument66
	satellite6
	instrument67
	instrument68
	instrument69
	instrument70
	instrument71
	instrument72
	instrument73
	satellite7
	instrument74
	instrument75
	instrument76
	instrument77
	instrument78
	satellite8
	instrument79
	satellite9
	instrument80
	instrument81
	instrument82
	instrument83
	instrument84
	instrument85
	satellite10
	instrument86
	instrument87
	instrument88
	instrument89
	instrument90
	instrument91
	instrument92
	satellite11
	instrument93
	instrument94
	instrument95
	satellite12
	instrument96
	instrument97
	instrument98
	instrument99
	instrument100
	instrument101
	instrument102
	instrument103
	satellite13
	instrument104
	instrument105
	instrument106
	instrument107
	instrument108
	instrument109
	instrument110
	instrument111
	instrument112
	instrument113
	satellite14
	instrument114
	instrument115
	instrument116
	instrument117
	instrument118
	instrument119
	instrument120
	instrument121
	instrument122
	instrument123
	instrument124
	satellite15
	instrument125
	instrument126
	instrument127
	instrument128
	instrument129
	instrument130
	instrument131
	instrument132
	instrument133
	instrument134
	instrument135
	instrument136
	instrument137
	instrument138
	instrument139
	instrument140
	instrument141
	instrument142
	instrument143
	instrument144
	instrument145
	instrument146
	instrument147
	instrument148
	instrument149
	satellite16
	instrument150
	instrument151
	instrument152
	instrument153
	instrument154
	instrument155
	instrument156
	satellite17
	instrument157
	instrument158
	instrument159
	instrument160
	instrument161
	satellite18
	instrument162
	instrument163
	instrument164
	instrument165
	instrument166
	instrument167
	instrument168
	instrument169
	instrument170
	instrument171
	instrument172
	instrument173
	instrument174
	instrument175
	instrument176
	satellite19
	instrument177
	instrument178
	instrument179
	instrument180
	instrument181
	instrument182
	instrument183
	instrument184
	instrument185
	instrument186
	instrument187
	spectrograph1
	infrared4
	thermograph22
	infrared13
	spectrograph15
	infrared0
	spectrograph6
	image23
	image2
	image14
	image18
	infrared16
	thermograph20
	thermograph24
	infrared3
	spectrograph17
	thermograph5
	spectrograph12
	spectrograph7
	infrared8
	thermograph11
	infrared9
	thermograph21
	spectrograph19
	infrared10
	GroundStation11
	GroundStation3
	GroundStation1
	Star5
	GroundStation2
	Star9
	GroundStation7
	Star4
	GroundStation0
	GroundStation10
	Star8
	Star6
	Planet12
	Star13
	Planet14
	Star15
	Planet16
	Star17
	Planet18
	Planet19
	Star20
	Planet21
	Star22
	Star23
	Phenomenon24
	Star25
	Phenomenon26
	Star27
	Star28
	Phenomenon29
	Planet30
	Star31
	Phenomenon32
	Planet33
	Phenomenon34
	Phenomenon35
	Planet36
	Planet37
	Star38
	Phenomenon39
	Phenomenon40
	Planet41
	Star42
	Phenomenon43
	Star44
	Planet45
	Star46
	Star47
	Planet48
	Star49
	Planet50
	Planet51
	Planet52
	Phenomenon53
	Planet54
	Phenomenon55
	Star56
	Phenomenon57
	Star58
	Planet59
	Star60
	Star61
)
(:init
	(satellite satellite0)
	(instrument instrument0)
	(supports instrument0 thermograph5)
	(calibration_target instrument0 GroundStation11)
	(calibration_target instrument0 GroundStation0)
	(calibration_target instrument0 Star6)
	(calibration_target instrument0 Star9)
	(instrument instrument1)
	(supports instrument1 infrared0)
	(calibration_target instrument1 Star6)
	(calibration_target instrument1 Star9)
	(calibration_target instrument1 Star4)
	(calibration_target instrument1 Star8)
	(instrument instrument2)
	(supports instrument2 thermograph24)
	(supports instrument2 infrared10)
	(supports instrument2 thermograph20)
	(calibration_target instrument2 Star5)
	(calibration_target instrument2 GroundStation7)
	(calibration_target instrument2 GroundStation0)
	(instrument instrument3)
	(supports instrument3 spectrograph12)
	(calibration_target instrument3 GroundStation0)
	(calibration_target instrument3 GroundStation3)
	(calibration_target instrument3 GroundStation2)
	(calibration_target instrument3 GroundStation11)
	(instrument instrument4)
	(supports instrument4 infrared9)
	(supports instrument4 spectrograph7)
	(supports instrument4 image14)
	(calibration_target instrument4 GroundStation10)
	(calibration_target instrument4 GroundStation1)
	(calibration_target instrument4 Star4)
	(calibration_target instrument4 Star5)
	(on_board instrument0 satellite0)
	(on_board instrument1 satellite0)
	(on_board instrument2 satellite0)
	(on_board instrument3 satellite0)
	(on_board instrument4 satellite0)
	(power_avail satellite0)
	(pointing satellite0 Phenomenon39)
	(satellite satellite1)
	(instrument instrument5)
	(supports instrument5 image2)
	(calibration_target instrument5 GroundStation1)
	(calibration_target instrument5 GroundStation11)
	(calibration_target instrument5 GroundStation0)
	(instrument instrument6)
	(supports instrument6 infrared8)
	(supports instrument6 spectrograph17)
	(calibration_target instrument6 Star9)
	(calibration_target instrument6 Star6)
	(calibration_target instrument6 GroundStation3)
	(instrument instrument7)
	(supports instrument7 image2)
	(supports instrument7 thermograph11)
	(supports instrument7 infrared9)
	(calibration_target instrument7 Star5)
	(calibration_target instrument7 GroundStation2)
	(calibration_target instrument7 Star4)
	(calibration_target instrument7 Star6)
	(instrument instrument8)
	(supports instrument8 image2)
	(calibration_target instrument8 Star4)
	(instrument instrument9)
	(supports instrument9 thermograph21)
	(calibration_target instrument9 GroundStation3)
	(instrument instrument10)
	(supports instrument10 image18)
	(calibration_target instrument10 GroundStation0)
	(calibration_target instrument10 Star9)
	(calibration_target instrument10 GroundStation7)
	(calibration_target instrument10 GroundStation1)
	(instrument instrument11)
	(supports instrument11 spectrograph19)
	(supports instrument11 image23)
	(supports instrument11 spectrograph6)
	(calibration_target instrument11 GroundStation11)
	(calibration_target instrument11 GroundStation10)
	(instrument instrument12)
	(supports instrument12 spectrograph6)
	(calibration_target instrument12 Star5)
	(calibration_target instrument12 Star9)
	(calibration_target instrument12 GroundStation2)
	(instrument instrument13)
	(supports instrument13 thermograph11)
	(supports instrument13 infrared10)
	(supports instrument13 infrared13)
	(calibration_target instrument13 GroundStation11)
	(calibration_target instrument13 GroundStation0)
	(calibration_target instrument13 Star9)
	(instrument instrument14)
	(supports instrument14 thermograph21)
	(supports instrument14 infrared8)
	(calibration_target instrument14 Star8)
	(calibration_target instrument14 Star5)
	(calibration_target instrument14 Star4)
	(instrument instrument15)
	(supports instrument15 thermograph22)
	(supports instrument15 image18)
	(supports instrument15 infrared9)
	(calibration_target instrument15 GroundStation7)
	(calibration_target instrument15 Star5)
	(instrument instrument16)
	(supports instrument16 infrared13)
	(calibration_target instrument16 GroundStation11)
	(instrument instrument17)
	(supports instrument17 thermograph20)
	(supports instrument17 thermograph24)
	(supports instrument17 image2)
	(calibration_target instrument17 GroundStation7)
	(calibration_target instrument17 GroundStation10)
	(instrument instrument18)
	(supports instrument18 image23)
	(supports instrument18 infrared8)
	(supports instrument18 infrared10)
	(calibration_target instrument18 GroundStation7)
	(calibration_target instrument18 Star9)
	(calibration_target instrument18 GroundStation1)
	(on_board instrument5 satellite1)
	(on_board instrument6 satellite1)
	(on_board instrument7 satellite1)
	(on_board instrument8 satellite1)
	(on_board instrument9 satellite1)
	(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)
	(power_avail satellite1)
	(pointing satellite1 GroundStation11)
	(satellite satellite2)
	(instrument instrument19)
	(supports instrument19 thermograph11)
	(calibration_target instrument19 GroundStation7)
	(instrument instrument20)
	(supports instrument20 spectrograph12)
	(supports instrument20 image2)
	(calibration_target instrument20 GroundStation2)
	(calibration_target instrument20 Star6)
	(calibration_target instrument20 GroundStation1)
	(calibration_target instrument20 GroundStation10)
	(instrument instrument21)
	(supports instrument21 spectrograph19)
	(supports instrument21 thermograph11)
	(supports instrument21 infrared16)
	(calibration_target instrument21 Star5)
	(calibration_target instrument21 GroundStation2)
	(instrument instrument22)
	(supports instrument22 spectrograph17)
	(calibration_target instrument22 GroundStation1)
	(calibration_target instrument22 Star5)
	(calibration_target instrument22 GroundStation2)
	(instrument instrument23)
	(supports instrument23 thermograph24)
	(supports instrument23 thermograph5)
	(calibration_target instrument23 Star9)
	(instrument instrument24)
	(supports instrument24 infrared4)
	(calibration_target instrument24 GroundStation0)
	(instrument instrument25)
	(supports instrument25 image23)
	(supports instrument25 spectrograph15)
	(calibration_target instrument25 Star6)
	(calibration_target instrument25 GroundStation3)
	(calibration_target instrument25 GroundStation7)
	(calibration_target instrument25 Star9)
	(instrument instrument26)
	(supports instrument26 infrared16)
	(supports instrument26 spectrograph15)
	(calibration_target instrument26 GroundStation0)
	(calibration_target instrument26 GroundStation11)
	(calibration_target instrument26 Star9)
	(instrument instrument27)
	(supports instrument27 infrared4)
	(supports instrument27 image2)
	(calibration_target instrument27 Star8)
	(calibration_target instrument27 Star9)
	(calibration_target instrument27 GroundStation10)
	(calibration_target instrument27 Star5)
	(instrument instrument28)
	(supports instrument28 thermograph22)
	(supports instrument28 spectrograph7)
	(calibration_target instrument28 GroundStation1)
	(calibration_target instrument28 GroundStation7)
	(calibration_target instrument28 GroundStation2)
	(calibration_target instrument28 GroundStation3)
	(instrument instrument29)
	(supports instrument29 infrared8)
	(calibration_target instrument29 GroundStation7)
	(calibration_target instrument29 GroundStation1)
	(calibration_target instrument29 GroundStation11)
	(instrument instrument30)
	(supports instrument30 spectrograph17)
	(supports instrument30 spectrograph6)
	(calibration_target instrument30 GroundStation2)
	(calibration_target instrument30 GroundStation10)
	(instrument instrument31)
	(supports instrument31 image23)
	(calibration_target instrument31 GroundStation11)
	(calibration_target instrument31 GroundStation7)
	(calibration_target instrument31 GroundStation2)
	(calibration_target instrument31 GroundStation1)
	(instrument instrument32)
	(supports instrument32 spectrograph17)
	(supports instrument32 thermograph22)
	(supports instrument32 image14)
	(calibration_target instrument32 Star9)
	(calibration_target instrument32 Star4)
	(instrument instrument33)
	(supports instrument33 thermograph22)
	(calibration_target instrument33 GroundStation7)
	(calibration_target instrument33 GroundStation10)
	(calibration_target instrument33 Star9)
	(on_board instrument19 satellite2)
	(on_board instrument20 satellite2)
	(on_board instrument21 satellite2)
	(on_board instrument22 satellite2)
	(on_board instrument23 satellite2)
	(on_board instrument24 satellite2)
	(on_board instrument25 satellite2)
	(on_board instrument26 satellite2)
	(on_board instrument27 satellite2)
	(on_board instrument28 satellite2)
	(on_board instrument29 satellite2)
	(on_board instrument30 satellite2)
	(on_board instrument31 satellite2)
	(on_board instrument32 satellite2)
	(on_board instrument33 satellite2)
	(power_avail satellite2)
	(pointing satellite2 Planet52)
	(satellite satellite3)
	(instrument instrument34)
	(supports instrument34 infrared3)
	(supports instrument34 spectrograph1)
	(calibration_target instrument34 Star6)
	(calibration_target instrument34 GroundStation2)
	(calibration_target instrument34 GroundStation1)
	(on_board instrument34 satellite3)
	(power_avail satellite3)
	(pointing satellite3 Phenomenon39)
	(satellite satellite4)
	(instrument instrument35)
	(supports instrument35 spectrograph12)
	(calibration_target instrument35 GroundStation0)
	(instrument instrument36)
	(supports instrument36 spectrograph19)
	(supports instrument36 thermograph21)
	(calibration_target instrument36 GroundStation0)
	(instrument instrument37)
	(supports instrument37 infrared13)
	(supports instrument37 thermograph24)
	(calibration_target instrument37 Star8)
	(calibration_target instrument37 Star4)
	(calibration_target instrument37 GroundStation7)
	(calibration_target instrument37 GroundStation11)
	(instrument instrument38)
	(supports instrument38 spectrograph17)
	(supports instrument38 spectrograph12)
	(calibration_target instrument38 GroundStation2)
	(instrument instrument39)
	(supports instrument39 infrared10)
	(supports instrument39 spectrograph15)
	(supports instrument39 infrared0)
	(calibration_target instrument39 GroundStation10)
	(calibration_target instrument39 Star6)
	(instrument instrument40)
	(supports instrument40 spectrograph17)
	(supports instrument40 thermograph22)
	(calibration_target instrument40 GroundStation0)
	(calibration_target instrument40 Star8)
	(calibration_target instrument40 GroundStation3)
	(calibration_target instrument40 GroundStation11)
	(instrument instrument41)
	(supports instrument41 spectrograph15)
	(calibration_target instrument41 Star4)
	(calibration_target instrument41 GroundStation2)
	(instrument instrument42)
	(supports instrument42 image14)
	(supports instrument42 spectrograph6)
	(calibration_target instrument42 GroundStation3)
	(instrument instrument43)
	(supports instrument43 image18)
	(calibration_target instrument43 Star8)
	(instrument instrument44)
	(supports instrument44 thermograph5)
	(supports instrument44 thermograph22)
	(calibration_target instrument44 Star8)
	(instrument instrument45)
	(supports instrument45 thermograph11)
	(supports instrument45 thermograph24)
	(supports instrument45 spectrograph6)
	(calibration_target instrument45 GroundStation10)
	(calibration_target instrument45 GroundStation3)
	(calibration_target instrument45 Star4)
	(instrument instrument46)
	(supports instrument46 image23)
	(supports instrument46 infrared13)
	(supports instrument46 image2)
	(calibration_target instrument46 GroundStation3)
	(calibration_target instrument46 GroundStation7)
	(calibration_target instrument46 GroundStation11)
	(calibration_target instrument46 GroundStation2)
	(instrument instrument47)
	(supports instrument47 spectrograph1)
	(supports instrument47 infrared3)
	(calibration_target instrument47 Star8)
	(instrument instrument48)
	(supports instrument48 infrared10)
	(calibration_target instrument48 GroundStation7)
	(calibration_target instrument48 GroundStation1)
	(instrument instrument49)
	(supports instrument49 thermograph24)
	(calibration_target instrument49 Star4)
	(calibration_target instrument49 GroundStation7)
	(calibration_target instrument49 Star6)
	(instrument instrument50)
	(supports instrument50 spectrograph19)
	(supports instrument50 infrared13)
	(calibration_target instrument50 GroundStation7)
	(calibration_target instrument50 GroundStation0)
	(calibration_target instrument50 GroundStation2)
	(calibration_target instrument50 GroundStation3)
	(instrument instrument51)
	(supports instrument51 thermograph21)
	(supports instrument51 thermograph24)
	(supports instrument51 infrared16)
	(calibration_target instrument51 GroundStation10)
	(calibration_target instrument51 GroundStation7)
	(calibration_target instrument51 GroundStation2)
	(instrument instrument52)
	(supports instrument52 spectrograph1)
	(supports instrument52 spectrograph15)
	(supports instrument52 image23)
	(calibration_target instrument52 Star5)
	(calibration_target instrument52 Star9)
	(calibration_target instrument52 Star4)
	(calibration_target instrument52 Star6)
	(on_board instrument35 satellite4)
	(on_board instrument36 satellite4)
	(on_board instrument37 satellite4)
	(on_board instrument38 satellite4)
	(on_board instrument39 satellite4)
	(on_board instrument40 satellite4)
	(on_board instrument41 satellite4)
	(on_board instrument42 satellite4)
	(on_board instrument43 satellite4)
	(on_board instrument44 satellite4)
	(on_board instrument45 satellite4)
	(on_board instrument46 satellite4)
	(on_board instrument47 satellite4)
	(on_board instrument48 satellite4)
	(on_board instrument49 satellite4)
	(on_board instrument50 satellite4)
	(on_board instrument51 satellite4)
	(on_board instrument52 satellite4)
	(power_avail satellite4)
	(pointing satellite4 Star47)
	(satellite satellite5)
	(instrument instrument53)
	(supports instrument53 spectrograph19)
	(calibration_target instrument53 GroundStation1)
	(calibration_target instrument53 GroundStation2)
	(instrument instrument54)
	(supports instrument54 infrared10)
	(calibration_target instrument54 GroundStation0)
	(calibration_target instrument54 GroundStation10)
	(instrument instrument55)
	(supports instrument55 infrared9)
	(calibration_target instrument55 GroundStation3)
	(calibration_target instrument55 Star4)
	(calibration_target instrument55 GroundStation11)
	(instrument instrument56)
	(supports instrument56 spectrograph7)
	(supports instrument56 spectrograph19)
	(supports instrument56 thermograph11)
	(calibration_target instrument56 Star6)
	(calibration_target instrument56 GroundStation3)
	(calibration_target instrument56 GroundStation2)
	(calibration_target instrument56 Star9)
	(instrument instrument57)
	(supports instrument57 thermograph21)
	(supports instrument57 thermograph5)
	(calibration_target instrument57 Star6)
	(instrument instrument58)
	(supports instrument58 thermograph21)
	(supports instrument58 image14)
	(calibration_target instrument58 Star6)
	(calibration_target instrument58 GroundStation3)
	(calibration_target instrument58 Star9)
	(instrument instrument59)
	(supports instrument59 thermograph22)
	(calibration_target instrument59 GroundStation7)
	(instrument instrument60)
	(supports instrument60 spectrograph12)
	(supports instrument60 infrared13)
	(supports instrument60 infrared9)
	(calibration_target instrument60 Star9)
	(calibration_target instrument60 GroundStation0)
	(calibration_target instrument60 Star4)
	(instrument instrument61)
	(supports instrument61 thermograph22)
	(supports instrument61 image18)
	(supports instrument61 thermograph21)
	(calibration_target instrument61 Star4)
	(calibration_target instrument61 GroundStation7)
	(calibration_target instrument61 GroundStation0)
	(instrument instrument62)
	(supports instrument62 spectrograph6)
	(calibration_target instrument62 Star9)
	(calibration_target instrument62 GroundStation1)
	(calibration_target instrument62 Star8)
	(instrument instrument63)
	(supports instrument63 thermograph11)
	(supports instrument63 spectrograph7)
	(calibration_target instrument63 GroundStation11)
	(instrument instrument64)
	(supports instrument64 infrared13)
	(supports instrument64 infrared10)
	(calibration_target instrument64 GroundStation1)
	(instrument instrument65)
	(supports instrument65 infrared13)
	(supports instrument65 image2)
	(supports instrument65 spectrograph15)
	(calibration_target instrument65 Star5)
	(calibration_target instrument65 GroundStation3)
	(calibration_target instrument65 Star6)
	(calibration_target instrument65 GroundStation11)
	(instrument instrument66)
	(supports instrument66 infrared16)
	(calibration_target instrument66 GroundStation10)
	(calibration_target instrument66 GroundStation11)
	(calibration_target instrument66 GroundStation3)
	(on_board instrument53 satellite5)
	(on_board instrument54 satellite5)
	(on_board instrument55 satellite5)
	(on_board instrument56 satellite5)
	(on_board instrument57 satellite5)
	(on_board instrument58 satellite5)
	(on_board instrument59 satellite5)
	(on_board instrument60 satellite5)
	(on_board instrument61 satellite5)
	(on_board instrument62 satellite5)
	(on_board instrument63 satellite5)
	(on_board instrument64 satellite5)
	(on_board instrument65 satellite5)
	(on_board instrument66 satellite5)
	(power_avail satellite5)
	(pointing satellite5 Planet41)
	(satellite satellite6)
	(instrument instrument67)
	(supports instrument67 thermograph22)
	(supports instrument67 infrared0)
	(supports instrument67 spectrograph15)
	(calibration_target instrument67 GroundStation1)
	(calibration_target instrument67 Star6)
	(calibration_target instrument67 GroundStation11)
	(calibration_target instrument67 GroundStation3)
	(instrument instrument68)
	(supports instrument68 infrared9)
	(supports instrument68 spectrograph6)
	(supports instrument68 infrared0)
	(calibration_target instrument68 GroundStation10)
	(instrument instrument69)
	(supports instrument69 spectrograph17)
	(calibration_target instrument69 Star5)
	(calibration_target instrument69 GroundStation1)
	(calibration_target instrument69 Star4)
	(calibration_target instrument69 GroundStation7)
	(instrument instrument70)
	(supports instrument70 spectrograph1)
	(calibration_target instrument70 Star8)
	(calibration_target instrument70 GroundStation0)
	(instrument instrument71)
	(supports instrument71 infrared0)
	(calibration_target instrument71 GroundStation1)
	(calibration_target instrument71 GroundStation7)
	(calibration_target instrument71 GroundStation2)
	(instrument instrument72)
	(supports instrument72 image23)
	(calibration_target instrument72 GroundStation1)
	(calibration_target instrument72 Star6)
	(instrument instrument73)
	(supports instrument73 thermograph5)
	(supports instrument73 infrared3)
	(supports instrument73 thermograph24)
	(calibration_target instrument73 GroundStation0)
	(calibration_target instrument73 GroundStation7)
	(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)
	(power_avail satellite6)
	(pointing satellite6 Planet33)
	(satellite satellite7)
	(instrument instrument74)
	(supports instrument74 spectrograph15)
	(calibration_target instrument74 GroundStation2)
	(calibration_target instrument74 Star6)
	(calibration_target instrument74 GroundStation11)
	(calibration_target instrument74 GroundStation1)
	(instrument instrument75)
	(supports instrument75 image14)
	(supports instrument75 thermograph20)
	(calibration_target instrument75 Star9)
	(calibration_target instrument75 Star5)
	(instrument instrument76)
	(supports instrument76 infrared8)
	(supports instrument76 spectrograph15)
	(calibration_target instrument76 Star9)
	(calibration_target instrument76 Star5)
	(instrument instrument77)
	(supports instrument77 spectrograph1)
	(calibration_target instrument77 Star8)
	(calibration_target instrument77 GroundStation11)
	(calibration_target instrument77 GroundStation1)
	(calibration_target instrument77 GroundStation10)
	(instrument instrument78)
	(supports instrument78 spectrograph1)
	(supports instrument78 thermograph5)
	(calibration_target instrument78 GroundStation2)
	(on_board instrument74 satellite7)
	(on_board instrument75 satellite7)
	(on_board instrument76 satellite7)
	(on_board instrument77 satellite7)
	(on_board instrument78 satellite7)
	(power_avail satellite7)
	(pointing satellite7 GroundStation3)
	(satellite satellite8)
	(instrument instrument79)
	(supports instrument79 spectrograph19)
	(supports instrument79 image2)
	(calibration_target instrument79 GroundStation3)
	(calibration_target instrument79 GroundStation11)
	(on_board instrument79 satellite8)
	(power_avail satellite8)
	(pointing satellite8 Star8)
	(satellite satellite9)
	(instrument instrument80)
	(supports instrument80 image2)
	(calibration_target instrument80 Star8)
	(instrument instrument81)
	(supports instrument81 spectrograph15)
	(supports instrument81 thermograph22)
	(supports instrument81 image2)
	(calibration_target instrument81 Star6)
	(calibration_target instrument81 Star8)
	(calibration_target instrument81 Star5)
	(calibration_target instrument81 GroundStation1)
	(instrument instrument82)
	(supports instrument82 spectrograph17)
	(supports instrument82 thermograph11)
	(supports instrument82 infrared9)
	(calibration_target instrument82 Star9)
	(calibration_target instrument82 Star5)
	(calibration_target instrument82 GroundStation0)
	(calibration_target instrument82 GroundStation1)
	(instrument instrument83)
	(supports instrument83 image18)
	(supports instrument83 spectrograph7)
	(calibration_target instrument83 Star4)
	(instrument instrument84)
	(supports instrument84 infrared3)
	(supports instrument84 thermograph21)
	(supports instrument84 spectrograph15)
	(calibration_target instrument84 GroundStation10)
	(calibration_target instrument84 GroundStation2)
	(calibration_target instrument84 GroundStation3)
	(instrument instrument85)
	(supports instrument85 infrared10)
	(supports instrument85 spectrograph17)
	(calibration_target instrument85 Star5)
	(calibration_target instrument85 Star4)
	(calibration_target instrument85 GroundStation10)
	(on_board instrument80 satellite9)
	(on_board instrument81 satellite9)
	(on_board instrument82 satellite9)
	(on_board instrument83 satellite9)
	(on_board instrument84 satellite9)
	(on_board instrument85 satellite9)
	(power_avail satellite9)
	(pointing satellite9 Star31)
	(satellite satellite10)
	(instrument instrument86)
	(supports instrument86 infrared10)
	(supports instrument86 image14)
	(calibration_target instrument86 GroundStation1)
	(calibration_target instrument86 Star9)
	(instrument instrument87)
	(supports instrument87 thermograph20)
	(supports instrument87 infrared8)
	(calibration_target instrument87 Star5)
	(calibration_target instrument87 GroundStation10)
	(calibration_target instrument87 Star8)
	(calibration_target instrument87 GroundStation1)
	(instrument instrument88)
	(supports instrument88 thermograph21)
	(supports instrument88 infrared13)
	(supports instrument88 thermograph11)
	(calibration_target instrument88 GroundStation3)
	(calibration_target instrument88 GroundStation2)
	(calibration_target instrument88 Star5)
	(calibration_target instrument88 GroundStation10)
	(instrument instrument89)
	(supports instrument89 spectrograph12)
	(supports instrument89 infrared8)
	(calibration_target instrument89 GroundStation0)
	(instrument instrument90)
	(supports instrument90 spectrograph17)
	(supports instrument90 image23)
	(supports instrument90 spectrograph7)
	(calibration_target instrument90 GroundStation3)
	(calibration_target instrument90 Star5)
	(instrument instrument91)
	(supports instrument91 thermograph21)
	(supports instrument91 image18)
	(supports instrument91 thermograph20)
	(calibration_target instrument91 GroundStation10)
	(calibration_target instrument91 Star6)
	(calibration_target instrument91 Star9)
	(instrument instrument92)
	(supports instrument92 spectrograph6)
	(supports instrument92 spectrograph15)
	(supports instrument92 infrared3)
	(calibration_target instrument92 GroundStation7)
	(calibration_target instrument92 GroundStation0)
	(calibration_target instrument92 GroundStation1)
	(on_board instrument86 satellite10)
	(on_board instrument87 satellite10)
	(on_board instrument88 satellite10)
	(on_board instrument89 satellite10)
	(on_board instrument90 satellite10)
	(on_board instrument91 satellite10)
	(on_board instrument92 satellite10)
	(power_avail satellite10)
	(pointing satellite10 Star8)
	(satellite satellite11)
	(instrument instrument93)
	(supports instrument93 infrared8)
	(calibration_target instrument93 GroundStation7)
	(calibration_target instrument93 GroundStation11)
	(calibration_target instrument93 Star9)
	(calibration_target instrument93 GroundStation3)
	(instrument instrument94)
	(supports instrument94 thermograph24)
	(supports instrument94 infrared13)
	(calibration_target instrument94 GroundStation0)
	(calibration_target instrument94 GroundStation7)
	(calibration_target instrument94 Star8)
	(instrument instrument95)
	(supports instrument95 infrared9)
	(supports instrument95 image23)
	(supports instrument95 spectrograph12)
	(calibration_target instrument95 GroundStation0)
	(calibration_target instrument95 GroundStation11)
	(calibration_target instrument95 GroundStation3)
	(calibration_target instrument95 GroundStation2)
	(on_board instrument93 satellite11)
	(on_board instrument94 satellite11)
	(on_board instrument95 satellite11)
	(power_avail satellite11)
	(pointing satellite11 Phenomenon35)
	(satellite satellite12)
	(instrument instrument96)
	(supports instrument96 image18)
	(calibration_target instrument96 GroundStation2)
	(calibration_target instrument96 Star6)
	(instrument instrument97)
	(supports instrument97 infrared3)
	(calibration_target instrument97 GroundStation11)
	(instrument instrument98)
	(supports instrument98 image14)
	(supports instrument98 image23)
	(calibration_target instrument98 GroundStation1)
	(calibration_target instrument98 GroundStation0)
	(instrument instrument99)
	(supports instrument99 infrared3)
	(supports instrument99 spectrograph1)
	(calibration_target instrument99 GroundStation11)
	(calibration_target instrument99 GroundStation1)
	(instrument instrument100)
	(supports instrument100 infrared13)
	(supports instrument100 thermograph21)
	(calibration_target instrument100 GroundStation10)
	(calibration_target instrument100 GroundStation11)
	(calibration_target instrument100 Star8)
	(instrument instrument101)
	(supports instrument101 thermograph24)
	(supports instrument101 thermograph5)
	(supports instrument101 spectrograph6)
	(calibration_target instrument101 GroundStation0)
	(calibration_target instrument101 GroundStation11)
	(calibration_target instrument101 Star8)
	(calibration_target instrument101 GroundStation10)
	(instrument instrument102)
	(supports instrument102 thermograph21)
	(supports instrument102 image23)
	(supports instrument102 infrared10)
	(calibration_target instrument102 GroundStation10)
	(calibration_target instrument102 GroundStation11)
	(calibration_target instrument102 Star8)
	(instrument instrument103)
	(supports instrument103 infrared13)
	(supports instrument103 thermograph20)
	(supports instrument103 image2)
	(calibration_target instrument103 GroundStation3)
	(on_board instrument96 satellite12)
	(on_board instrument97 satellite12)
	(on_board instrument98 satellite12)
	(on_board instrument99 satellite12)
	(on_board instrument100 satellite12)
	(on_board instrument101 satellite12)
	(on_board instrument102 satellite12)
	(on_board instrument103 satellite12)
	(power_avail satellite12)
	(pointing satellite12 Phenomenon53)
	(satellite satellite13)
	(instrument instrument104)
	(supports instrument104 image2)
	(supports instrument104 infrared9)
	(supports instrument104 thermograph11)
	(calibration_target instrument104 Star4)
	(calibration_target instrument104 GroundStation7)
	(calibration_target instrument104 Star8)
	(calibration_target instrument104 GroundStation11)
	(instrument instrument105)
	(supports instrument105 thermograph5)
	(calibration_target instrument105 GroundStation10)
	(calibration_target instrument105 GroundStation0)
	(calibration_target instrument105 GroundStation3)
	(calibration_target instrument105 Star4)
	(instrument instrument106)
	(supports instrument106 spectrograph15)
	(supports instrument106 thermograph22)
	(supports instrument106 infrared8)
	(calibration_target instrument106 Star6)
	(calibration_target instrument106 Star4)
	(instrument instrument107)
	(supports instrument107 spectrograph12)
	(calibration_target instrument107 GroundStation2)
	(calibration_target instrument107 GroundStation7)
	(calibration_target instrument107 GroundStation3)
	(calibration_target instrument107 Star6)
	(instrument instrument108)
	(supports instrument108 spectrograph12)
	(supports instrument108 spectrograph19)
	(supports instrument108 image23)
	(calibration_target instrument108 Star6)
	(calibration_target instrument108 GroundStation0)
	(instrument instrument109)
	(supports instrument109 infrared4)
	(supports instrument109 spectrograph1)
	(supports instrument109 spectrograph7)
	(calibration_target instrument109 Star4)
	(instrument instrument110)
	(supports instrument110 spectrograph6)
	(supports instrument110 thermograph20)
	(calibration_target instrument110 GroundStation10)
	(calibration_target instrument110 GroundStation2)
	(instrument instrument111)
	(supports instrument111 spectrograph6)
	(calibration_target instrument111 Star5)
	(calibration_target instrument111 GroundStation2)
	(calibration_target instrument111 GroundStation10)
	(instrument instrument112)
	(supports instrument112 infrared13)
	(supports instrument112 infrared10)
	(calibration_target instrument112 GroundStation2)
	(instrument instrument113)
	(supports instrument113 spectrograph7)
	(supports instrument113 thermograph5)
	(supports instrument113 infrared10)
	(calibration_target instrument113 Star4)
	(calibration_target instrument113 GroundStation7)
	(calibration_target instrument113 GroundStation11)
	(calibration_target instrument113 Star9)
	(on_board instrument104 satellite13)
	(on_board instrument105 satellite13)
	(on_board instrument106 satellite13)
	(on_board instrument107 satellite13)
	(on_board instrument108 satellite13)
	(on_board instrument109 satellite13)
	(on_board instrument110 satellite13)
	(on_board instrument111 satellite13)
	(on_board instrument112 satellite13)
	(on_board instrument113 satellite13)
	(power_avail satellite13)
	(pointing satellite13 Star61)
	(satellite satellite14)
	(instrument instrument114)
	(supports instrument114 thermograph21)
	(supports instrument114 thermograph20)
	(supports instrument114 image23)
	(calibration_target instrument114 GroundStation0)
	(instrument instrument115)
	(supports instrument115 thermograph22)
	(supports instrument115 spectrograph7)
	(calibration_target instrument115 Star8)
	(calibration_target instrument115 Star9)
	(calibration_target instrument115 Star5)
	(calibration_target instrument115 GroundStation1)
	(instrument instrument116)
	(supports instrument116 image2)
	(calibration_target instrument116 GroundStation1)
	(calibration_target instrument116 Star4)
	(instrument instrument117)
	(supports instrument117 spectrograph7)
	(supports instrument117 spectrograph6)
	(calibration_target instrument117 GroundStation2)
	(calibration_target instrument117 GroundStation7)
	(calibration_target instrument117 GroundStation3)
	(calibration_target instrument117 GroundStation10)
	(instrument instrument118)
	(supports instrument118 thermograph22)
	(supports instrument118 thermograph21)
	(supports instrument118 infrared13)
	(calibration_target instrument118 Star8)
	(calibration_target instrument118 GroundStation11)
	(calibration_target instrument118 Star6)
	(calibration_target instrument118 GroundStation7)
	(instrument instrument119)
	(supports instrument119 spectrograph6)
	(calibration_target instrument119 GroundStation2)
	(instrument instrument120)
	(supports instrument120 infrared16)
	(supports instrument120 thermograph11)
	(supports instrument120 infrared4)
	(calibration_target instrument120 GroundStation7)
	(calibration_target instrument120 GroundStation2)
	(calibration_target instrument120 GroundStation11)
	(calibration_target instrument120 GroundStation3)
	(instrument instrument121)
	(supports instrument121 thermograph11)
	(supports instrument121 thermograph21)
	(supports instrument121 spectrograph12)
	(calibration_target instrument121 Star4)
	(calibration_target instrument121 Star8)
	(calibration_target instrument121 GroundStation0)
	(calibration_target instrument121 Star9)
	(instrument instrument122)
	(supports instrument122 thermograph5)
	(supports instrument122 image23)
	(supports instrument122 spectrograph19)
	(calibration_target instrument122 GroundStation11)
	(calibration_target instrument122 GroundStation3)
	(calibration_target instrument122 GroundStation1)
	(calibration_target instrument122 Star4)
	(instrument instrument123)
	(supports instrument123 image23)
	(supports instrument123 image18)
	(calibration_target instrument123 GroundStation3)
	(calibration_target instrument123 GroundStation1)
	(calibration_target instrument123 GroundStation7)
	(instrument instrument124)
	(supports instrument124 image18)
	(supports instrument124 image2)
	(supports instrument124 image14)
	(calibration_target instrument124 Star6)
	(calibration_target instrument124 GroundStation7)
	(calibration_target instrument124 GroundStation10)
	(calibration_target instrument124 Star5)
	(on_board instrument114 satellite14)
	(on_board instrument115 satellite14)
	(on_board instrument116 satellite14)
	(on_board instrument117 satellite14)
	(on_board instrument118 satellite14)
	(on_board instrument119 satellite14)
	(on_board instrument120 satellite14)
	(on_board instrument121 satellite14)
	(on_board instrument122 satellite14)
	(on_board instrument123 satellite14)
	(on_board instrument124 satellite14)
	(power_avail satellite14)
	(pointing satellite14 Star60)
	(satellite satellite15)
	(instrument instrument125)
	(supports instrument125 thermograph20)
	(calibration_target instrument125 GroundStation0)
	(calibration_target instrument125 Star6)
	(calibration_target instrument125 GroundStation10)
	(calibration_target instrument125 GroundStation2)
	(instrument instrument126)
	(supports instrument126 spectrograph7)
	(supports instrument126 spectrograph1)
	(calibration_target instrument126 Star4)
	(calibration_target instrument126 Star5)
	(calibration_target instrument126 GroundStation1)
	(instrument instrument127)
	(supports instrument127 spectrograph7)
	(supports instrument127 image23)
	(supports instrument127 thermograph20)
	(calibration_target instrument127 Star9)
	(calibration_target instrument127 Star4)
	(calibration_target instrument127 Star5)
	(calibration_target instrument127 GroundStation1)
	(instrument instrument128)
	(supports instrument128 spectrograph15)
	(calibration_target instrument128 GroundStation7)
	(calibration_target instrument128 GroundStation1)
	(calibration_target instrument128 GroundStation11)
	(instrument instrument129)
	(supports instrument129 spectrograph1)
	(calibration_target instrument129 GroundStation10)
	(instrument instrument130)
	(supports instrument130 thermograph11)
	(supports instrument130 spectrograph15)
	(calibration_target instrument130 Star5)
	(instrument instrument131)
	(supports instrument131 infrared4)
	(supports instrument131 thermograph20)
	(supports instrument131 spectrograph15)
	(calibration_target instrument131 GroundStation1)
	(calibration_target instrument131 Star5)
	(instrument instrument132)
	(supports instrument132 infrared8)
	(calibration_target instrument132 Star9)
	(calibration_target instrument132 Star5)
	(calibration_target instrument132 GroundStation2)
	(calibration_target instrument132 Star6)
	(instrument instrument133)
	(supports instrument133 image14)
	(calibration_target instrument133 GroundStation11)
	(calibration_target instrument133 Star9)
	(calibration_target instrument133 GroundStation7)
	(calibration_target instrument133 Star5)
	(instrument instrument134)
	(supports instrument134 thermograph20)
	(supports instrument134 image18)
	(calibration_target instrument134 Star4)
	(calibration_target instrument134 GroundStation10)
	(calibration_target instrument134 Star6)
	(instrument instrument135)
	(supports instrument135 image18)
	(supports instrument135 thermograph22)
	(supports instrument135 spectrograph7)
	(calibration_target instrument135 GroundStation7)
	(instrument instrument136)
	(supports instrument136 spectrograph6)
	(calibration_target instrument136 GroundStation0)
	(calibration_target instrument136 Star4)
	(instrument instrument137)
	(supports instrument137 spectrograph7)
	(supports instrument137 image2)
	(supports instrument137 image14)
	(calibration_target instrument137 GroundStation0)
	(calibration_target instrument137 Star6)
	(calibration_target instrument137 GroundStation3)
	(instrument instrument138)
	(supports instrument138 thermograph11)
	(calibration_target instrument138 Star4)
	(instrument instrument139)
	(supports instrument139 image23)
	(supports instrument139 spectrograph15)
	(supports instrument139 thermograph24)
	(calibration_target instrument139 GroundStation3)
	(instrument instrument140)
	(supports instrument140 spectrograph7)
	(supports instrument140 infrared0)
	(supports instrument140 spectrograph19)
	(calibration_target instrument140 Star4)
	(instrument instrument141)
	(supports instrument141 thermograph24)
	(supports instrument141 image18)
	(calibration_target instrument141 GroundStation10)
	(instrument instrument142)
	(supports instrument142 infrared13)
	(calibration_target instrument142 Star4)
	(instrument instrument143)
	(supports instrument143 image18)
	(supports instrument143 infrared3)
	(supports instrument143 infrared13)
	(calibration_target instrument143 GroundStation0)
	(calibration_target instrument143 GroundStation3)
	(calibration_target instrument143 Star8)
	(instrument instrument144)
	(supports instrument144 spectrograph15)
	(supports instrument144 spectrograph12)
	(supports instrument144 infrared0)
	(calibration_target instrument144 Star6)
	(calibration_target instrument144 Star8)
	(calibration_target instrument144 GroundStation7)
	(instrument instrument145)
	(supports instrument145 image14)
	(supports instrument145 infrared0)
	(supports instrument145 spectrograph17)
	(calibration_target instrument145 GroundStation2)
	(calibration_target instrument145 Star9)
	(calibration_target instrument145 GroundStation10)
	(instrument instrument146)
	(supports instrument146 infrared16)
	(supports instrument146 spectrograph17)
	(calibration_target instrument146 Star9)
	(calibration_target instrument146 GroundStation2)
	(instrument instrument147)
	(supports instrument147 image23)
	(calibration_target instrument147 GroundStation3)
	(calibration_target instrument147 Star4)
	(calibration_target instrument147 GroundStation11)
	(instrument instrument148)
	(supports instrument148 thermograph11)
	(calibration_target instrument148 Star5)
	(instrument instrument149)
	(supports instrument149 thermograph5)
	(calibration_target instrument149 GroundStation7)
	(calibration_target instrument149 GroundStation10)
	(calibration_target instrument149 GroundStation3)
	(on_board instrument125 satellite15)
	(on_board instrument126 satellite15)
	(on_board instrument127 satellite15)
	(on_board instrument128 satellite15)
	(on_board instrument129 satellite15)
	(on_board instrument130 satellite15)
	(on_board instrument131 satellite15)
	(on_board instrument132 satellite15)
	(on_board instrument133 satellite15)
	(on_board instrument134 satellite15)
	(on_board instrument135 satellite15)
	(on_board instrument136 satellite15)
	(on_board instrument137 satellite15)
	(on_board instrument138 satellite15)
	(on_board instrument139 satellite15)
	(on_board instrument140 satellite15)
	(on_board instrument141 satellite15)
	(on_board instrument142 satellite15)
	(on_board instrument143 satellite15)
	(on_board instrument144 satellite15)
	(on_board instrument145 satellite15)
	(on_board instrument146 satellite15)
	(on_board instrument147 satellite15)
	(on_board instrument148 satellite15)
	(on_board instrument149 satellite15)
	(power_avail satellite15)
	(pointing satellite15 GroundStation7)
	(satellite satellite16)
	(instrument instrument150)
	(supports instrument150 thermograph20)
	(supports instrument150 image14)
	(calibration_target instrument150 Star4)
	(calibration_target instrument150 GroundStation1)
	(calibration_target instrument150 Star8)
	(calibration_target instrument150 Star5)
	(instrument instrument151)
	(supports instrument151 infrared9)
	(calibration_target instrument151 Star6)
	(calibration_target instrument151 GroundStation2)
	(calibration_target instrument151 GroundStation0)
	(instrument instrument152)
	(supports instrument152 thermograph21)
	(calibration_target instrument152 Star5)
	(instrument instrument153)
	(supports instrument153 infrared8)
	(calibration_target instrument153 GroundStation3)
	(instrument instrument154)
	(supports instrument154 spectrograph12)
	(supports instrument154 spectrograph6)
	(calibration_target instrument154 GroundStation11)
	(calibration_target instrument154 GroundStation7)
	(instrument instrument155)
	(supports instrument155 infrared0)
	(calibration_target instrument155 GroundStation11)
	(calibration_target instrument155 GroundStation2)
	(calibration_target instrument155 Star6)
	(instrument instrument156)
	(supports instrument156 spectrograph12)
	(supports instrument156 infrared3)
	(calibration_target instrument156 GroundStation11)
	(calibration_target instrument156 GroundStation0)
	(calibration_target instrument156 GroundStation3)
	(on_board instrument150 satellite16)
	(on_board instrument151 satellite16)
	(on_board instrument152 satellite16)
	(on_board instrument153 satellite16)
	(on_board instrument154 satellite16)
	(on_board instrument155 satellite16)
	(on_board instrument156 satellite16)
	(power_avail satellite16)
	(pointing satellite16 Star42)
	(satellite satellite17)
	(instrument instrument157)
	(supports instrument157 thermograph21)
	(calibration_target instrument157 GroundStation0)
	(calibration_target instrument157 GroundStation7)
	(instrument instrument158)
	(supports instrument158 image14)
	(calibration_target instrument158 GroundStation7)
	(calibration_target instrument158 GroundStation10)
	(calibration_target instrument158 GroundStation2)
	(calibration_target instrument158 Star6)
	(instrument instrument159)
	(supports instrument159 infrared16)
	(supports instrument159 thermograph21)
	(calibration_target instrument159 GroundStation0)
	(instrument instrument160)
	(supports instrument160 thermograph21)
	(supports instrument160 spectrograph12)
	(calibration_target instrument160 GroundStation10)
	(calibration_target instrument160 GroundStation3)
	(calibration_target instrument160 GroundStation2)
	(instrument instrument161)
	(supports instrument161 image14)
	(calibration_target instrument161 GroundStation11)
	(calibration_target instrument161 Star9)
	(calibration_target instrument161 GroundStation7)
	(calibration_target instrument161 Star5)
	(on_board instrument157 satellite17)
	(on_board instrument158 satellite17)
	(on_board instrument159 satellite17)
	(on_board instrument160 satellite17)
	(on_board instrument161 satellite17)
	(power_avail satellite17)
	(pointing satellite17 Star27)
	(satellite satellite18)
	(instrument instrument162)
	(supports instrument162 spectrograph6)
	(calibration_target instrument162 GroundStation7)
	(calibration_target instrument162 GroundStation10)
	(instrument instrument163)
	(supports instrument163 infrared16)
	(supports instrument163 image2)
	(calibration_target instrument163 GroundStation1)
	(calibration_target instrument163 GroundStation2)
	(calibration_target instrument163 GroundStation11)
	(instrument instrument164)
	(supports instrument164 thermograph21)
	(calibration_target instrument164 GroundStation1)
	(calibration_target instrument164 Star5)
	(calibration_target instrument164 GroundStation10)
	(instrument instrument165)
	(supports instrument165 thermograph20)
	(calibration_target instrument165 Star6)
	(calibration_target instrument165 Star4)
	(instrument instrument166)
	(supports instrument166 image23)
	(supports instrument166 infrared3)
	(calibration_target instrument166 Star4)
	(calibration_target instrument166 GroundStation0)
	(calibration_target instrument166 GroundStation10)
	(calibration_target instrument166 Star8)
	(instrument instrument167)
	(supports instrument167 spectrograph12)
	(supports instrument167 image2)
	(supports instrument167 infrared16)
	(calibration_target instrument167 GroundStation2)
	(calibration_target instrument167 Star8)
	(instrument instrument168)
	(supports instrument168 infrared16)
	(calibration_target instrument168 Star5)
	(calibration_target instrument168 Star6)
	(instrument instrument169)
	(supports instrument169 thermograph5)
	(supports instrument169 infrared8)
	(calibration_target instrument169 Star5)
	(instrument instrument170)
	(supports instrument170 image2)
	(calibration_target instrument170 Star8)
	(calibration_target instrument170 Star6)
	(instrument instrument171)
	(supports instrument171 spectrograph12)
	(calibration_target instrument171 Star8)
	(instrument instrument172)
	(supports instrument172 spectrograph17)
	(supports instrument172 spectrograph12)
	(supports instrument172 thermograph20)
	(calibration_target instrument172 GroundStation3)
	(calibration_target instrument172 Star8)
	(instrument instrument173)
	(supports instrument173 infrared8)
	(calibration_target instrument173 Star8)
	(calibration_target instrument173 GroundStation10)
	(instrument instrument174)
	(supports instrument174 infrared16)
	(supports instrument174 image23)
	(calibration_target instrument174 GroundStation2)
	(calibration_target instrument174 GroundStation7)
	(calibration_target instrument174 GroundStation1)
	(instrument instrument175)
	(supports instrument175 spectrograph7)
	(supports instrument175 infrared8)
	(calibration_target instrument175 GroundStation1)
	(calibration_target instrument175 GroundStation7)
	(calibration_target instrument175 GroundStation2)
	(instrument instrument176)
	(supports instrument176 image14)
	(supports instrument176 image2)
	(supports instrument176 image18)
	(calibration_target instrument176 Star6)
	(calibration_target instrument176 GroundStation10)
	(calibration_target instrument176 GroundStation2)
	(calibration_target instrument176 GroundStation7)
	(on_board instrument162 satellite18)
	(on_board instrument163 satellite18)
	(on_board instrument164 satellite18)
	(on_board instrument165 satellite18)
	(on_board instrument166 satellite18)
	(on_board instrument167 satellite18)
	(on_board instrument168 satellite18)
	(on_board instrument169 satellite18)
	(on_board instrument170 satellite18)
	(on_board instrument171 satellite18)
	(on_board instrument172 satellite18)
	(on_board instrument173 satellite18)
	(on_board instrument174 satellite18)
	(on_board instrument175 satellite18)
	(on_board instrument176 satellite18)
	(power_avail satellite18)
	(pointing satellite18 Star42)
	(satellite satellite19)
	(instrument instrument177)
	(supports instrument177 infrared16)
	(supports instrument177 thermograph20)
	(supports instrument177 image18)
	(calibration_target instrument177 GroundStation3)
	(calibration_target instrument177 GroundStation2)
	(instrument instrument178)
	(supports instrument178 infrared8)
	(calibration_target instrument178 GroundStation2)
	(instrument instrument179)
	(supports instrument179 spectrograph17)
	(supports instrument179 thermograph20)
	(calibration_target instrument179 Star5)
	(instrument instrument180)
	(supports instrument180 infrared3)
	(supports instrument180 thermograph24)
	(calibration_target instrument180 GroundStation1)
	(calibration_target instrument180 GroundStation0)
	(calibration_target instrument180 GroundStation7)
	(instrument instrument181)
	(supports instrument181 spectrograph12)
	(supports instrument181 infrared9)
	(supports instrument181 spectrograph7)
	(calibration_target instrument181 Star5)
	(calibration_target instrument181 Star9)
	(instrument instrument182)
	(supports instrument182 thermograph5)
	(supports instrument182 spectrograph17)
	(calibration_target instrument182 GroundStation10)
	(calibration_target instrument182 Star8)
	(calibration_target instrument182 Star4)
	(instrument instrument183)
	(supports instrument183 spectrograph12)
	(calibration_target instrument183 Star8)
	(calibration_target instrument183 Star6)
	(calibration_target instrument183 Star9)
	(calibration_target instrument183 GroundStation2)
	(instrument instrument184)
	(supports instrument184 infrared8)
	(supports instrument184 thermograph21)
	(calibration_target instrument184 GroundStation7)
	(instrument instrument185)
	(supports instrument185 thermograph11)
	(supports instrument185 infrared8)
	(supports instrument185 spectrograph7)
	(calibration_target instrument185 Star4)
	(calibration_target instrument185 GroundStation10)
	(calibration_target instrument185 GroundStation0)
	(instrument instrument186)
	(supports instrument186 thermograph21)
	(supports instrument186 infrared9)
	(supports instrument186 infrared10)
	(calibration_target instrument186 Star8)
	(calibration_target instrument186 GroundStation10)
	(calibration_target instrument186 GroundStation0)
	(instrument instrument187)
	(supports instrument187 infrared10)
	(supports instrument187 spectrograph19)
	(calibration_target instrument187 Star6)
	(on_board instrument177 satellite19)
	(on_board instrument178 satellite19)
	(on_board instrument179 satellite19)
	(on_board instrument180 satellite19)
	(on_board instrument181 satellite19)
	(on_board instrument182 satellite19)
	(on_board instrument183 satellite19)
	(on_board instrument184 satellite19)
	(on_board instrument185 satellite19)
	(on_board instrument186 satellite19)
	(on_board instrument187 satellite19)
	(power_avail satellite19)
	(pointing satellite19 Star13)
	(mode spectrograph1)
	(mode infrared4)
	(mode thermograph22)
	(mode infrared13)
	(mode spectrograph15)
	(mode infrared0)
	(mode spectrograph6)
	(mode image23)
	(mode image2)
	(mode image14)
	(mode image18)
	(mode infrared16)
	(mode thermograph20)
	(mode thermograph24)
	(mode infrared3)
	(mode spectrograph17)
	(mode thermograph5)
	(mode spectrograph12)
	(mode spectrograph7)
	(mode infrared8)
	(mode thermograph11)
	(mode infrared9)
	(mode thermograph21)
	(mode spectrograph19)
	(mode infrared10)
	(direction GroundStation11)
	(direction GroundStation3)
	(direction GroundStation1)
	(direction Star5)
	(direction GroundStation2)
	(direction Star9)
	(direction GroundStation7)
	(direction Star4)
	(direction GroundStation0)
	(direction GroundStation10)
	(direction Star8)
	(direction Star6)
	(direction Planet12)
	(direction Star13)
	(direction Planet14)
	(direction Star15)
	(direction Planet16)
	(direction Star17)
	(direction Planet18)
	(direction Planet19)
	(direction Star20)
	(direction Planet21)
	(direction Star22)
	(direction Star23)
	(direction Phenomenon24)
	(direction Star25)
	(direction Phenomenon26)
	(direction Star27)
	(direction Star28)
	(direction Phenomenon29)
	(direction Planet30)
	(direction Star31)
	(direction Phenomenon32)
	(direction Planet33)
	(direction Phenomenon34)
	(direction Phenomenon35)
	(direction Planet36)
	(direction Planet37)
	(direction Star38)
	(direction Phenomenon39)
	(direction Phenomenon40)
	(direction Planet41)
	(direction Star42)
	(direction Phenomenon43)
	(direction Star44)
	(direction Planet45)
	(direction Star46)
	(direction Star47)
	(direction Planet48)
	(direction Star49)
	(direction Planet50)
	(direction Planet51)
	(direction Planet52)
	(direction Phenomenon53)
	(direction Planet54)
	(direction Phenomenon55)
	(direction Star56)
	(direction Phenomenon57)
	(direction Star58)
	(direction Planet59)
	(direction Star60)
	(direction Star61)
)
(:goal (and
	(pointing satellite0 Star47)
	(pointing satellite4 Planet50)
	(pointing satellite5 Phenomenon55)
	(pointing satellite6 Star23)
	(pointing satellite7 GroundStation3)
	(pointing satellite8 Star6)
	(pointing satellite15 Star13)
	(pointing satellite18 Planet45)
	(pointing satellite19 Star13)
	(have_image Planet12 image2)
	(have_image Planet12 infrared3)
	(have_image Star13 image2)
	(have_image Star13 infrared16)
	(have_image Planet14 spectrograph17)
	(have_image Star15 thermograph20)
	(have_image Star15 thermograph24)
	(have_image Star15 image14)
	(have_image Star15 image18)
	(have_image Star15 spectrograph17)
	(have_image Star15 infrared0)
	(have_image Star15 infrared4)
	(have_image Star15 image2)
	(have_image Planet16 image18)
	(have_image Planet16 spectrograph15)
	(have_image Planet16 thermograph11)
	(have_image Planet16 image14)
	(have_image Star17 image2)
	(have_image Star17 image18)
	(have_image Star17 infrared10)
	(have_image Planet18 spectrograph15)
	(have_image Planet18 spectrograph12)
	(have_image Planet18 infrared10)
	(have_image Planet18 thermograph20)
	(have_image Planet19 thermograph21)
	(have_image Planet19 spectrograph7)
	(have_image Planet19 image18)
	(have_image Star20 infrared10)
	(have_image Star20 thermograph11)
	(have_image Star20 infrared16)
	(have_image Star20 spectrograph15)
	(have_image Star20 infrared13)
	(have_image Star20 image14)
	(have_image Star20 infrared9)
	(have_image Star20 spectrograph7)
	(have_image Planet21 thermograph20)
	(have_image Planet21 thermograph22)
	(have_image Planet21 image2)
	(have_image Planet21 thermograph11)
	(have_image Planet21 infrared10)
	(have_image Star22 thermograph24)
	(have_image Star23 spectrograph15)
	(have_image Star23 thermograph11)
	(have_image Star23 image2)
	(have_image Star23 infrared3)
	(have_image Star23 infrared13)
	(have_image Star23 thermograph24)
	(have_image Phenomenon24 thermograph24)
	(have_image Phenomenon24 image23)
	(have_image Phenomenon24 spectrograph17)
	(have_image Phenomenon24 infrared9)
	(have_image Phenomenon24 image18)
	(have_image Phenomenon24 infrared4)
	(have_image Star25 image18)
	(have_image Star25 infrared16)
	(have_image Star25 image2)
	(have_image Star25 infrared9)
	(have_image Star25 infrared8)
	(have_image Phenomenon26 thermograph20)
	(have_image Phenomenon26 thermograph5)
	(have_image Star27 spectrograph7)
	(have_image Star27 infrared9)
	(have_image Star27 spectrograph15)
	(have_image Star27 image2)
	(have_image Star27 thermograph5)
	(have_image Star27 spectrograph6)
	(have_image Star27 image14)
	(have_image Star28 spectrograph1)
	(have_image Phenomenon29 infrared9)
	(have_image Phenomenon29 thermograph21)
	(have_image Phenomenon29 thermograph11)
	(have_image Phenomenon29 spectrograph12)
	(have_image Phenomenon29 image2)
	(have_image Phenomenon29 infrared16)
	(have_image Phenomenon29 infrared3)
	(have_image Phenomenon29 spectrograph7)
	(have_image Planet30 thermograph21)
	(have_image Star31 infrared13)
	(have_image Star31 thermograph21)
	(have_image Star31 spectrograph19)
	(have_image Star31 infrared8)
	(have_image Star31 thermograph24)
	(have_image Phenomenon32 image18)
	(have_image Phenomenon32 thermograph20)
	(have_image Phenomenon32 infrared4)
	(have_image Planet33 spectrograph17)
	(have_image Phenomenon34 spectrograph1)
	(have_image Phenomenon34 infrared9)
	(have_image Phenomenon35 infrared3)
	(have_image Phenomenon35 infrared9)
	(have_image Phenomenon35 spectrograph15)
	(have_image Planet36 spectrograph12)
	(have_image Planet36 spectrograph15)
	(have_image Planet36 spectrograph6)
	(have_image Planet37 infrared13)
	(have_image Planet37 infrared10)
	(have_image Planet37 thermograph11)
	(have_image Star38 image18)
	(have_image Star38 infrared0)
	(have_image Star38 infrared8)
	(have_image Phenomenon39 infrared16)
	(have_image Phenomenon39 thermograph11)
	(have_image Phenomenon39 spectrograph17)
	(have_image Phenomenon39 spectrograph15)
	(have_image Phenomenon39 infrared3)
	(have_image Phenomenon39 infrared9)
	(have_image Phenomenon40 infrared9)
	(have_image Phenomenon43 infrared8)
	(have_image Phenomenon43 image18)
	(have_image Phenomenon43 infrared4)
	(have_image Phenomenon43 infrared0)
	(have_image Phenomenon43 spectrograph7)
	(have_image Phenomenon43 infrared16)
	(have_image Phenomenon43 infrared9)
	(have_image Star44 image14)
	(have_image Star44 infrared3)
	(have_image Star44 spectrograph12)
	(have_image Planet45 infrared16)
	(have_image Planet45 spectrograph19)
	(have_image Planet45 infrared8)
	(have_image Planet45 infrared4)
	(have_image Planet45 thermograph5)
	(have_image Star46 infrared10)
	(have_image Star46 spectrograph15)
	(have_image Star46 thermograph21)
	(have_image Star46 image18)
	(have_image Star46 thermograph11)
	(have_image Star46 infrared16)
	(have_image Star46 spectrograph6)
	(have_image Star47 infrared3)
	(have_image Star47 spectrograph7)
	(have_image Planet48 infrared13)
	(have_image Planet48 infrared10)
	(have_image Planet48 spectrograph12)
	(have_image Planet48 thermograph11)
	(have_image Planet48 spectrograph6)
	(have_image Star49 infrared8)
	(have_image Star49 infrared0)
	(have_image Star49 spectrograph17)
	(have_image Planet50 thermograph11)
	(have_image Planet50 spectrograph15)
	(have_image Planet50 image23)
	(have_image Planet50 thermograph22)
	(have_image Planet50 infrared4)
	(have_image Planet50 spectrograph19)
	(have_image Planet51 spectrograph19)
	(have_image Planet51 thermograph5)
	(have_image Planet52 infrared8)
	(have_image Planet52 infrared3)
	(have_image Planet52 image23)
	(have_image Planet52 infrared4)
	(have_image Phenomenon53 infrared9)
	(have_image Phenomenon53 thermograph20)
	(have_image Phenomenon53 thermograph21)
	(have_image Phenomenon53 spectrograph17)
	(have_image Phenomenon53 infrared4)
	(have_image Phenomenon53 infrared3)
	(have_image Phenomenon53 infrared10)
	(have_image Phenomenon53 thermograph5)
	(have_image Planet54 thermograph20)
	(have_image Planet54 spectrograph15)
	(have_image Planet54 thermograph21)
	(have_image Planet54 thermograph11)
	(have_image Planet54 thermograph5)
	(have_image Planet54 spectrograph1)
	(have_image Planet54 spectrograph17)
	(have_image Phenomenon55 infrared13)
	(have_image Phenomenon55 thermograph21)
	(have_image Star56 infrared10)
	(have_image Phenomenon57 image2)
	(have_image Phenomenon57 thermograph24)
	(have_image Phenomenon57 image18)
	(have_image Phenomenon57 infrared8)
	(have_image Planet59 infrared0)
	(have_image Planet59 infrared10)
	(have_image Planet59 spectrograph15)
	(have_image Planet59 spectrograph12)
	(have_image Planet59 spectrograph19)
	(have_image Planet59 thermograph22)
	(have_image Planet59 infrared4)
	(have_image Planet59 spectrograph7)
	(have_image Star60 spectrograph1)
	(have_image Star60 infrared0)
	(have_image Star60 infrared8)
	(have_image Star60 infrared3)
	(have_image Star60 thermograph21)
	(have_image Star60 spectrograph19)
	(have_image Star61 image23)
	(have_image Star61 spectrograph7)
	(have_image Star61 infrared4)
))

)
