(define (problem strips-sat-x-1)
(:domain satellite)
(:objects
	satellite0
	instrument0
	instrument1
	instrument2
	instrument3
	instrument4
	instrument5
	instrument6
	instrument7
	instrument8
	instrument9
	instrument10
	instrument11
	instrument12
	instrument13
	instrument14
	satellite1
	instrument15
	instrument16
	instrument17
	instrument18
	instrument19
	instrument20
	instrument21
	instrument22
	instrument23
	instrument24
	instrument25
	instrument26
	instrument27
	instrument28
	instrument29
	instrument30
	instrument31
	instrument32
	instrument33
	instrument34
	instrument35
	instrument36
	instrument37
	instrument38
	instrument39
	instrument40
	instrument41
	instrument42
	instrument43
	instrument44
	satellite2
	instrument45
	instrument46
	instrument47
	instrument48
	instrument49
	instrument50
	instrument51
	instrument52
	instrument53
	satellite3
	instrument54
	instrument55
	instrument56
	instrument57
	instrument58
	instrument59
	instrument60
	satellite4
	instrument61
	instrument62
	instrument63
	instrument64
	instrument65
	instrument66
	satellite5
	instrument67
	instrument68
	instrument69
	instrument70
	instrument71
	instrument72
	instrument73
	instrument74
	instrument75
	instrument76
	instrument77
	instrument78
	instrument79
	instrument80
	instrument81
	instrument82
	instrument83
	instrument84
	instrument85
	instrument86
	instrument87
	instrument88
	instrument89
	instrument90
	instrument91
	instrument92
	instrument93
	instrument94
	satellite6
	instrument95
	instrument96
	instrument97
	instrument98
	instrument99
	instrument100
	instrument101
	instrument102
	instrument103
	instrument104
	instrument105
	instrument106
	instrument107
	instrument108
	instrument109
	instrument110
	instrument111
	instrument112
	instrument113
	instrument114
	instrument115
	instrument116
	instrument117
	instrument118
	satellite7
	instrument119
	instrument120
	instrument121
	instrument122
	instrument123
	instrument124
	satellite8
	instrument125
	instrument126
	instrument127
	instrument128
	instrument129
	instrument130
	instrument131
	instrument132
	instrument133
	instrument134
	instrument135
	instrument136
	instrument137
	instrument138
	instrument139
	instrument140
	instrument141
	instrument142
	instrument143
	instrument144
	instrument145
	satellite9
	instrument146
	instrument147
	satellite10
	instrument148
	instrument149
	instrument150
	instrument151
	instrument152
	instrument153
	instrument154
	instrument155
	instrument156
	instrument157
	instrument158
	instrument159
	instrument160
	instrument161
	satellite11
	instrument162
	instrument163
	instrument164
	instrument165
	instrument166
	instrument167
	instrument168
	instrument169
	instrument170
	instrument171
	instrument172
	instrument173
	instrument174
	instrument175
	instrument176
	instrument177
	instrument178
	instrument179
	instrument180
	instrument181
	instrument182
	instrument183
	instrument184
	instrument185
	instrument186
	instrument187
	instrument188
	instrument189
	instrument190
	instrument191
	satellite12
	instrument192
	instrument193
	instrument194
	instrument195
	instrument196
	instrument197
	instrument198
	instrument199
	instrument200
	instrument201
	instrument202
	instrument203
	instrument204
	instrument205
	satellite13
	instrument206
	instrument207
	instrument208
	instrument209
	instrument210
	instrument211
	instrument212
	instrument213
	instrument214
	instrument215
	instrument216
	instrument217
	instrument218
	instrument219
	instrument220
	instrument221
	instrument222
	instrument223
	instrument224
	instrument225
	instrument226
	satellite14
	instrument227
	instrument228
	instrument229
	instrument230
	instrument231
	instrument232
	instrument233
	instrument234
	instrument235
	instrument236
	instrument237
	instrument238
	instrument239
	satellite15
	instrument240
	instrument241
	instrument242
	instrument243
	instrument244
	instrument245
	instrument246
	instrument247
	instrument248
	instrument249
	instrument250
	instrument251
	instrument252
	instrument253
	instrument254
	instrument255
	instrument256
	instrument257
	instrument258
	instrument259
	instrument260
	satellite16
	instrument261
	instrument262
	instrument263
	instrument264
	instrument265
	instrument266
	instrument267
	instrument268
	instrument269
	instrument270
	instrument271
	satellite17
	instrument272
	instrument273
	instrument274
	instrument275
	instrument276
	instrument277
	instrument278
	satellite18
	instrument279
	instrument280
	instrument281
	instrument282
	instrument283
	instrument284
	instrument285
	instrument286
	instrument287
	instrument288
	instrument289
	instrument290
	instrument291
	instrument292
	satellite19
	instrument293
	instrument294
	satellite20
	instrument295
	instrument296
	instrument297
	instrument298
	instrument299
	instrument300
	instrument301
	instrument302
	instrument303
	instrument304
	instrument305
	instrument306
	instrument307
	instrument308
	instrument309
	instrument310
	instrument311
	instrument312
	instrument313
	instrument314
	instrument315
	instrument316
	instrument317
	instrument318
	instrument319
	instrument320
	instrument321
	instrument322
	instrument323
	instrument324
	satellite21
	instrument325
	instrument326
	instrument327
	instrument328
	instrument329
	instrument330
	instrument331
	instrument332
	satellite22
	instrument333
	instrument334
	instrument335
	instrument336
	instrument337
	instrument338
	instrument339
	instrument340
	instrument341
	instrument342
	instrument343
	instrument344
	instrument345
	instrument346
	instrument347
	instrument348
	instrument349
	instrument350
	instrument351
	instrument352
	instrument353
	instrument354
	satellite23
	instrument355
	instrument356
	instrument357
	instrument358
	instrument359
	instrument360
	instrument361
	instrument362
	instrument363
	instrument364
	instrument365
	instrument366
	instrument367
	satellite24
	instrument368
	instrument369
	instrument370
	instrument371
	thermograph13
	infrared18
	infrared4
	infrared0
	image14
	infrared24
	infrared22
	image7
	thermograph9
	infrared3
	infrared11
	thermograph29
	thermograph19
	image8
	spectrograph5
	thermograph6
	spectrograph16
	infrared23
	image17
	spectrograph26
	image10
	image2
	infrared27
	spectrograph28
	infrared1
	thermograph15
	infrared20
	image21
	infrared12
	infrared25
	Star12
	GroundStation7
	GroundStation14
	Star6
	Star1
	GroundStation0
	GroundStation5
	GroundStation3
	Star13
	Star4
	Star9
	GroundStation10
	GroundStation11
	Star8
	Star2
	Star15
	Star16
	Phenomenon17
	Planet18
	Star19
	Star20
	Planet21
	Phenomenon22
	Phenomenon23
	Star24
	Phenomenon25
	Planet26
	Star27
	Phenomenon28
	Star29
	Star30
	Planet31
	Star32
	Phenomenon33
	Phenomenon34
	Planet35
	Phenomenon36
	Phenomenon37
	Planet38
	Phenomenon39
	Star40
	Phenomenon41
	Planet42
	Planet43
	Star44
	Planet45
	Star46
	Star47
	Star48
	Planet49
	Star50
	Star51
	Star52
	Phenomenon53
	Planet54
	Planet55
	Planet56
	Star57
	Planet58
	Star59
	Planet60
	Phenomenon61
	Phenomenon62
	Planet63
	Phenomenon64
	Star65
	Planet66
	Phenomenon67
	Phenomenon68
	Star69
	Phenomenon70
	Planet71
	Phenomenon72
	Star73
	Phenomenon74
)
(:init
	(satellite satellite0)
	(instrument instrument0)
	(supports instrument0 spectrograph28)
	(calibration_target instrument0 Star12)
	(calibration_target instrument0 Star2)
	(calibration_target instrument0 GroundStation3)
	(calibration_target instrument0 Star8)
	(calibration_target instrument0 Star4)
	(instrument instrument1)
	(supports instrument1 image10)
	(supports instrument1 image8)
	(supports instrument1 thermograph19)
	(calibration_target instrument1 GroundStation11)
	(calibration_target instrument1 GroundStation14)
	(calibration_target instrument1 GroundStation3)
	(calibration_target instrument1 GroundStation7)
	(calibration_target instrument1 Star2)
	(instrument instrument2)
	(supports instrument2 infrared23)
	(calibration_target instrument2 Star4)
	(calibration_target instrument2 Star1)
	(instrument instrument3)
	(supports instrument3 infrared25)
	(calibration_target instrument3 Star2)
	(calibration_target instrument3 GroundStation3)
	(calibration_target instrument3 Star1)
	(calibration_target instrument3 Star9)
	(calibration_target instrument3 GroundStation10)
	(instrument instrument4)
	(supports instrument4 infrared0)
	(calibration_target instrument4 Star1)
	(calibration_target instrument4 GroundStation11)
	(calibration_target instrument4 GroundStation7)
	(calibration_target instrument4 Star2)
	(instrument instrument5)
	(supports instrument5 image10)
	(supports instrument5 infrared20)
	(calibration_target instrument5 Star1)
	(instrument instrument6)
	(supports instrument6 infrared3)
	(supports instrument6 image7)
	(calibration_target instrument6 GroundStation7)
	(calibration_target instrument6 Star8)
	(instrument instrument7)
	(supports instrument7 infrared11)
	(supports instrument7 thermograph29)
	(calibration_target instrument7 Star1)
	(calibration_target instrument7 GroundStation5)
	(calibration_target instrument7 GroundStation11)
	(calibration_target instrument7 Star6)
	(instrument instrument8)
	(supports instrument8 infrared4)
	(supports instrument8 infrared18)
	(calibration_target instrument8 Star13)
	(calibration_target instrument8 GroundStation0)
	(instrument instrument9)
	(supports instrument9 thermograph15)
	(calibration_target instrument9 Star2)
	(calibration_target instrument9 GroundStation3)
	(calibration_target instrument9 GroundStation14)
	(instrument instrument10)
	(supports instrument10 infrared22)
	(supports instrument10 thermograph6)
	(supports instrument10 spectrograph5)
	(calibration_target instrument10 GroundStation14)
	(calibration_target instrument10 Star13)
	(calibration_target instrument10 GroundStation11)
	(instrument instrument11)
	(supports instrument11 image10)
	(calibration_target instrument11 Star2)
	(calibration_target instrument11 Star4)
	(calibration_target instrument11 Star12)
	(instrument instrument12)
	(supports instrument12 spectrograph28)
	(calibration_target instrument12 GroundStation7)
	(instrument instrument13)
	(supports instrument13 infrared20)
	(supports instrument13 infrared22)
	(calibration_target instrument13 Star12)
	(calibration_target instrument13 GroundStation5)
	(instrument instrument14)
	(supports instrument14 infrared27)
	(supports instrument14 infrared25)
	(calibration_target instrument14 Star8)
	(calibration_target instrument14 Star9)
	(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)
	(on_board instrument10 satellite0)
	(on_board instrument11 satellite0)
	(on_board instrument12 satellite0)
	(on_board instrument13 satellite0)
	(on_board instrument14 satellite0)
	(power_avail satellite0)
	(pointing satellite0 Planet71)
	(satellite satellite1)
	(instrument instrument15)
	(supports instrument15 image2)
	(supports instrument15 infrared24)
	(supports instrument15 infrared27)
	(calibration_target instrument15 Star1)
	(calibration_target instrument15 GroundStation0)
	(calibration_target instrument15 GroundStation14)
	(instrument instrument16)
	(supports instrument16 infrared11)
	(calibration_target instrument16 Star4)
	(calibration_target instrument16 Star12)
	(calibration_target instrument16 Star6)
	(calibration_target instrument16 Star8)
	(instrument instrument17)
	(supports instrument17 image17)
	(calibration_target instrument17 GroundStation5)
	(calibration_target instrument17 Star6)
	(calibration_target instrument17 GroundStation14)
	(calibration_target instrument17 Star13)
	(instrument instrument18)
	(supports instrument18 image21)
	(supports instrument18 infrared18)
	(calibration_target instrument18 Star9)
	(calibration_target instrument18 Star6)
	(calibration_target instrument18 Star1)
	(calibration_target instrument18 GroundStation11)
	(instrument instrument19)
	(supports instrument19 infrared0)
	(supports instrument19 image21)
	(supports instrument19 infrared22)
	(calibration_target instrument19 GroundStation0)
	(calibration_target instrument19 GroundStation14)
	(calibration_target instrument19 GroundStation5)
	(instrument instrument20)
	(supports instrument20 infrared4)
	(calibration_target instrument20 Star8)
	(calibration_target instrument20 Star2)
	(calibration_target instrument20 Star13)
	(calibration_target instrument20 GroundStation11)
	(calibration_target instrument20 GroundStation3)
	(instrument instrument21)
	(supports instrument21 image8)
	(supports instrument21 image14)
	(calibration_target instrument21 Star2)
	(calibration_target instrument21 Star8)
	(calibration_target instrument21 GroundStation14)
	(calibration_target instrument21 GroundStation11)
	(instrument instrument22)
	(supports instrument22 spectrograph16)
	(supports instrument22 spectrograph5)
	(supports instrument22 infrared25)
	(calibration_target instrument22 Star13)
	(calibration_target instrument22 GroundStation0)
	(calibration_target instrument22 Star12)
	(calibration_target instrument22 GroundStation5)
	(instrument instrument23)
	(supports instrument23 image8)
	(supports instrument23 thermograph9)
	(calibration_target instrument23 Star8)
	(instrument instrument24)
	(supports instrument24 thermograph9)
	(supports instrument24 thermograph15)
	(supports instrument24 infrared27)
	(calibration_target instrument24 Star1)
	(calibration_target instrument24 Star4)
	(calibration_target instrument24 GroundStation5)
	(calibration_target instrument24 GroundStation14)
	(calibration_target instrument24 GroundStation0)
	(instrument instrument25)
	(supports instrument25 thermograph13)
	(calibration_target instrument25 Star4)
	(calibration_target instrument25 Star6)
	(instrument instrument26)
	(supports instrument26 infrared25)
	(supports instrument26 infrared23)
	(calibration_target instrument26 GroundStation0)
	(instrument instrument27)
	(supports instrument27 image10)
	(calibration_target instrument27 GroundStation0)
	(calibration_target instrument27 GroundStation3)
	(instrument instrument28)
	(supports instrument28 thermograph9)
	(calibration_target instrument28 Star1)
	(calibration_target instrument28 Star12)
	(calibration_target instrument28 Star2)
	(instrument instrument29)
	(supports instrument29 infrared20)
	(calibration_target instrument29 Star9)
	(calibration_target instrument29 GroundStation3)
	(calibration_target instrument29 Star8)
	(instrument instrument30)
	(supports instrument30 thermograph29)
	(supports instrument30 infrared24)
	(supports instrument30 infrared12)
	(calibration_target instrument30 Star4)
	(calibration_target instrument30 GroundStation14)
	(calibration_target instrument30 GroundStation7)
	(calibration_target instrument30 Star1)
	(calibration_target instrument30 GroundStation5)
	(instrument instrument31)
	(supports instrument31 image7)
	(calibration_target instrument31 GroundStation5)
	(calibration_target instrument31 Star4)
	(calibration_target instrument31 Star13)
	(instrument instrument32)
	(supports instrument32 infrared18)
	(calibration_target instrument32 Star1)
	(instrument instrument33)
	(supports instrument33 thermograph9)
	(supports instrument33 infrared23)
	(supports instrument33 thermograph29)
	(calibration_target instrument33 Star13)
	(instrument instrument34)
	(supports instrument34 infrared3)
	(supports instrument34 thermograph29)
	(calibration_target instrument34 Star8)
	(calibration_target instrument34 Star2)
	(instrument instrument35)
	(supports instrument35 infrared24)
	(supports instrument35 infrared4)
	(supports instrument35 infrared23)
	(calibration_target instrument35 GroundStation11)
	(calibration_target instrument35 Star2)
	(instrument instrument36)
	(supports instrument36 thermograph19)
	(calibration_target instrument36 Star9)
	(instrument instrument37)
	(supports instrument37 infrared1)
	(supports instrument37 infrared24)
	(supports instrument37 thermograph13)
	(calibration_target instrument37 GroundStation11)
	(calibration_target instrument37 GroundStation5)
	(calibration_target instrument37 Star4)
	(calibration_target instrument37 Star1)
	(instrument instrument38)
	(supports instrument38 thermograph19)
	(calibration_target instrument38 GroundStation0)
	(instrument instrument39)
	(supports instrument39 infrared12)
	(supports instrument39 thermograph15)
	(supports instrument39 infrared22)
	(calibration_target instrument39 GroundStation14)
	(calibration_target instrument39 GroundStation5)
	(calibration_target instrument39 Star2)
	(calibration_target instrument39 GroundStation7)
	(instrument instrument40)
	(supports instrument40 thermograph13)
	(supports instrument40 infrared11)
	(calibration_target instrument40 Star4)
	(instrument instrument41)
	(supports instrument41 spectrograph28)
	(supports instrument41 infrared23)
	(supports instrument41 infrared12)
	(calibration_target instrument41 GroundStation3)
	(calibration_target instrument41 Star9)
	(calibration_target instrument41 GroundStation5)
	(calibration_target instrument41 Star6)
	(instrument instrument42)
	(supports instrument42 spectrograph5)
	(supports instrument42 infrared3)
	(calibration_target instrument42 GroundStation14)
	(calibration_target instrument42 GroundStation11)
	(instrument instrument43)
	(supports instrument43 infrared1)
	(calibration_target instrument43 Star2)
	(calibration_target instrument43 Star13)
	(calibration_target instrument43 Star4)
	(calibration_target instrument43 GroundStation5)
	(instrument instrument44)
	(supports instrument44 infrared25)
	(calibration_target instrument44 Star13)
	(calibration_target instrument44 GroundStation3)
	(calibration_target instrument44 Star8)
	(calibration_target instrument44 GroundStation14)
	(calibration_target instrument44 GroundStation11)
	(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)
	(on_board instrument28 satellite1)
	(on_board instrument29 satellite1)
	(on_board instrument30 satellite1)
	(on_board instrument31 satellite1)
	(on_board instrument32 satellite1)
	(on_board instrument33 satellite1)
	(on_board instrument34 satellite1)
	(on_board instrument35 satellite1)
	(on_board instrument36 satellite1)
	(on_board instrument37 satellite1)
	(on_board instrument38 satellite1)
	(on_board instrument39 satellite1)
	(on_board instrument40 satellite1)
	(on_board instrument41 satellite1)
	(on_board instrument42 satellite1)
	(on_board instrument43 satellite1)
	(on_board instrument44 satellite1)
	(power_avail satellite1)
	(pointing satellite1 Phenomenon23)
	(satellite satellite2)
	(instrument instrument45)
	(supports instrument45 infrared27)
	(supports instrument45 infrared25)
	(calibration_target instrument45 GroundStation5)
	(calibration_target instrument45 Star9)
	(calibration_target instrument45 Star2)
	(calibration_target instrument45 Star8)
	(calibration_target instrument45 Star6)
	(instrument instrument46)
	(supports instrument46 infrared0)
	(supports instrument46 spectrograph28)
	(calibration_target instrument46 Star9)
	(calibration_target instrument46 GroundStation14)
	(instrument instrument47)
	(supports instrument47 thermograph9)
	(supports instrument47 infrared0)
	(calibration_target instrument47 Star1)
	(instrument instrument48)
	(supports instrument48 infrared25)
	(calibration_target instrument48 Star6)
	(calibration_target instrument48 GroundStation0)
	(calibration_target instrument48 Star13)
	(instrument instrument49)
	(supports instrument49 infrared4)
	(calibration_target instrument49 GroundStation11)
	(calibration_target instrument49 GroundStation7)
	(calibration_target instrument49 Star12)
	(instrument instrument50)
	(supports instrument50 thermograph13)
	(calibration_target instrument50 GroundStation7)
	(calibration_target instrument50 Star4)
	(calibration_target instrument50 Star12)
	(calibration_target instrument50 Star8)
	(calibration_target instrument50 Star13)
	(instrument instrument51)
	(supports instrument51 infrared20)
	(calibration_target instrument51 Star13)
	(instrument instrument52)
	(supports instrument52 image21)
	(supports instrument52 spectrograph16)
	(calibration_target instrument52 Star2)
	(calibration_target instrument52 GroundStation11)
	(calibration_target instrument52 GroundStation10)
	(instrument instrument53)
	(supports instrument53 spectrograph5)
	(supports instrument53 infrared0)
	(calibration_target instrument53 Star9)
	(calibration_target instrument53 Star4)
	(on_board instrument45 satellite2)
	(on_board instrument46 satellite2)
	(on_board instrument47 satellite2)
	(on_board instrument48 satellite2)
	(on_board instrument49 satellite2)
	(on_board instrument50 satellite2)
	(on_board instrument51 satellite2)
	(on_board instrument52 satellite2)
	(on_board instrument53 satellite2)
	(power_avail satellite2)
	(pointing satellite2 Star52)
	(satellite satellite3)
	(instrument instrument54)
	(supports instrument54 image21)
	(calibration_target instrument54 GroundStation0)
	(calibration_target instrument54 Star13)
	(calibration_target instrument54 GroundStation3)
	(instrument instrument55)
	(supports instrument55 spectrograph5)
	(supports instrument55 thermograph13)
	(calibration_target instrument55 GroundStation7)
	(calibration_target instrument55 Star4)
	(instrument instrument56)
	(supports instrument56 image10)
	(calibration_target instrument56 GroundStation11)
	(instrument instrument57)
	(supports instrument57 spectrograph16)
	(supports instrument57 infrared18)
	(calibration_target instrument57 Star4)
	(instrument instrument58)
	(supports instrument58 thermograph9)
	(supports instrument58 image7)
	(supports instrument58 thermograph6)
	(calibration_target instrument58 GroundStation0)
	(calibration_target instrument58 Star8)
	(calibration_target instrument58 Star1)
	(instrument instrument59)
	(supports instrument59 infrared27)
	(supports instrument59 spectrograph16)
	(supports instrument59 spectrograph5)
	(calibration_target instrument59 GroundStation10)
	(calibration_target instrument59 GroundStation3)
	(calibration_target instrument59 Star2)
	(calibration_target instrument59 GroundStation5)
	(calibration_target instrument59 Star4)
	(instrument instrument60)
	(supports instrument60 image21)
	(supports instrument60 infrared0)
	(supports instrument60 thermograph6)
	(calibration_target instrument60 GroundStation11)
	(calibration_target instrument60 Star1)
	(calibration_target instrument60 GroundStation10)
	(calibration_target instrument60 Star8)
	(on_board instrument54 satellite3)
	(on_board instrument55 satellite3)
	(on_board instrument56 satellite3)
	(on_board instrument57 satellite3)
	(on_board instrument58 satellite3)
	(on_board instrument59 satellite3)
	(on_board instrument60 satellite3)
	(power_avail satellite3)
	(pointing satellite3 Star47)
	(satellite satellite4)
	(instrument instrument61)
	(supports instrument61 infrared12)
	(supports instrument61 thermograph13)
	(calibration_target instrument61 GroundStation0)
	(calibration_target instrument61 Star13)
	(calibration_target instrument61 Star4)
	(calibration_target instrument61 Star8)
	(calibration_target instrument61 GroundStation5)
	(instrument instrument62)
	(supports instrument62 infrared24)
	(calibration_target instrument62 Star8)
	(calibration_target instrument62 Star6)
	(calibration_target instrument62 GroundStation14)
	(instrument instrument63)
	(supports instrument63 infrared22)
	(calibration_target instrument63 Star2)
	(calibration_target instrument63 Star13)
	(calibration_target instrument63 Star1)
	(calibration_target instrument63 GroundStation3)
	(calibration_target instrument63 Star6)
	(instrument instrument64)
	(supports instrument64 image2)
	(supports instrument64 infrared0)
	(supports instrument64 infrared1)
	(calibration_target instrument64 GroundStation7)
	(calibration_target instrument64 Star13)
	(calibration_target instrument64 GroundStation5)
	(calibration_target instrument64 GroundStation10)
	(calibration_target instrument64 Star9)
	(instrument instrument65)
	(supports instrument65 infrared18)
	(supports instrument65 thermograph9)
	(supports instrument65 image21)
	(calibration_target instrument65 Star6)
	(calibration_target instrument65 GroundStation7)
	(calibration_target instrument65 Star8)
	(calibration_target instrument65 GroundStation5)
	(instrument instrument66)
	(supports instrument66 infrared3)
	(supports instrument66 image17)
	(supports instrument66 thermograph6)
	(calibration_target instrument66 Star8)
	(calibration_target instrument66 Star6)
	(on_board instrument61 satellite4)
	(on_board instrument62 satellite4)
	(on_board instrument63 satellite4)
	(on_board instrument64 satellite4)
	(on_board instrument65 satellite4)
	(on_board instrument66 satellite4)
	(power_avail satellite4)
	(pointing satellite4 Star15)
	(satellite satellite5)
	(instrument instrument67)
	(supports instrument67 infrared24)
	(supports instrument67 infrared12)
	(supports instrument67 infrared25)
	(calibration_target instrument67 GroundStation3)
	(calibration_target instrument67 GroundStation11)
	(instrument instrument68)
	(supports instrument68 spectrograph16)
	(supports instrument68 infrared1)
	(calibration_target instrument68 GroundStation0)
	(calibration_target instrument68 Star13)
	(calibration_target instrument68 GroundStation5)
	(calibration_target instrument68 Star9)
	(instrument instrument69)
	(supports instrument69 image14)
	(calibration_target instrument69 Star12)
	(calibration_target instrument69 GroundStation11)
	(calibration_target instrument69 GroundStation3)
	(instrument instrument70)
	(supports instrument70 image2)
	(supports instrument70 infrared11)
	(supports instrument70 infrared0)
	(calibration_target instrument70 Star6)
	(calibration_target instrument70 Star12)
	(calibration_target instrument70 GroundStation11)
	(calibration_target instrument70 Star4)
	(calibration_target instrument70 Star2)
	(instrument instrument71)
	(supports instrument71 infrared1)
	(supports instrument71 spectrograph28)
	(calibration_target instrument71 Star6)
	(calibration_target instrument71 Star1)
	(calibration_target instrument71 Star9)
	(calibration_target instrument71 GroundStation10)
	(calibration_target instrument71 GroundStation7)
	(instrument instrument72)
	(supports instrument72 spectrograph28)
	(supports instrument72 thermograph29)
	(calibration_target instrument72 GroundStation5)
	(instrument instrument73)
	(supports instrument73 thermograph6)
	(calibration_target instrument73 GroundStation14)
	(calibration_target instrument73 GroundStation7)
	(calibration_target instrument73 Star1)
	(instrument instrument74)
	(supports instrument74 spectrograph28)
	(supports instrument74 image8)
	(supports instrument74 infrared3)
	(calibration_target instrument74 GroundStation14)
	(instrument instrument75)
	(supports instrument75 infrared27)
	(calibration_target instrument75 Star4)
	(calibration_target instrument75 Star8)
	(calibration_target instrument75 Star1)
	(calibration_target instrument75 GroundStation3)
	(instrument instrument76)
	(supports instrument76 thermograph29)
	(calibration_target instrument76 GroundStation14)
	(calibration_target instrument76 Star1)
	(calibration_target instrument76 Star13)
	(instrument instrument77)
	(supports instrument77 image21)
	(calibration_target instrument77 Star4)
	(calibration_target instrument77 GroundStation11)
	(calibration_target instrument77 Star1)
	(calibration_target instrument77 Star8)
	(calibration_target instrument77 GroundStation3)
	(instrument instrument78)
	(supports instrument78 image2)
	(supports instrument78 infrared4)
	(supports instrument78 infrared3)
	(calibration_target instrument78 Star13)
	(calibration_target instrument78 Star8)
	(calibration_target instrument78 GroundStation7)
	(calibration_target instrument78 Star4)
	(calibration_target instrument78 Star1)
	(instrument instrument79)
	(supports instrument79 infrared23)
	(supports instrument79 spectrograph5)
	(supports instrument79 thermograph29)
	(calibration_target instrument79 Star2)
	(calibration_target instrument79 GroundStation11)
	(calibration_target instrument79 Star1)
	(instrument instrument80)
	(supports instrument80 thermograph13)
	(calibration_target instrument80 GroundStation5)
	(calibration_target instrument80 Star6)
	(calibration_target instrument80 Star13)
	(calibration_target instrument80 GroundStation0)
	(instrument instrument81)
	(supports instrument81 infrared0)
	(calibration_target instrument81 GroundStation10)
	(instrument instrument82)
	(supports instrument82 image8)
	(supports instrument82 image7)
	(calibration_target instrument82 GroundStation7)
	(instrument instrument83)
	(supports instrument83 infrared22)
	(calibration_target instrument83 Star8)
	(calibration_target instrument83 GroundStation5)
	(calibration_target instrument83 GroundStation11)
	(calibration_target instrument83 Star4)
	(calibration_target instrument83 GroundStation14)
	(instrument instrument84)
	(supports instrument84 infrared12)
	(supports instrument84 infrared23)
	(supports instrument84 infrared18)
	(calibration_target instrument84 Star4)
	(calibration_target instrument84 Star2)
	(calibration_target instrument84 Star9)
	(calibration_target instrument84 GroundStation0)
	(calibration_target instrument84 Star13)
	(instrument instrument85)
	(supports instrument85 image17)
	(supports instrument85 spectrograph5)
	(supports instrument85 thermograph15)
	(calibration_target instrument85 GroundStation11)
	(calibration_target instrument85 GroundStation14)
	(calibration_target instrument85 Star1)
	(instrument instrument86)
	(supports instrument86 spectrograph16)
	(supports instrument86 infrared23)
	(supports instrument86 infrared4)
	(calibration_target instrument86 GroundStation0)
	(instrument instrument87)
	(supports instrument87 thermograph15)
	(supports instrument87 image7)
	(supports instrument87 thermograph29)
	(calibration_target instrument87 GroundStation14)
	(instrument instrument88)
	(supports instrument88 thermograph19)
	(supports instrument88 infrared20)
	(calibration_target instrument88 GroundStation0)
	(calibration_target instrument88 GroundStation5)
	(instrument instrument89)
	(supports instrument89 image14)
	(calibration_target instrument89 Star4)
	(calibration_target instrument89 Star1)
	(calibration_target instrument89 GroundStation11)
	(instrument instrument90)
	(supports instrument90 infrared23)
	(supports instrument90 image14)
	(calibration_target instrument90 GroundStation0)
	(instrument instrument91)
	(supports instrument91 infrared18)
	(supports instrument91 image2)
	(supports instrument91 infrared4)
	(calibration_target instrument91 Star9)
	(instrument instrument92)
	(supports instrument92 image2)
	(calibration_target instrument92 Star12)
	(calibration_target instrument92 GroundStation10)
	(calibration_target instrument92 Star2)
	(instrument instrument93)
	(supports instrument93 image8)
	(supports instrument93 image10)
	(calibration_target instrument93 GroundStation7)
	(calibration_target instrument93 Star2)
	(instrument instrument94)
	(supports instrument94 image17)
	(supports instrument94 infrared0)
	(supports instrument94 image10)
	(calibration_target instrument94 Star8)
	(calibration_target instrument94 Star4)
	(calibration_target instrument94 Star9)
	(calibration_target instrument94 Star12)
	(on_board instrument67 satellite5)
	(on_board instrument68 satellite5)
	(on_board instrument69 satellite5)
	(on_board instrument70 satellite5)
	(on_board instrument71 satellite5)
	(on_board instrument72 satellite5)
	(on_board instrument73 satellite5)
	(on_board instrument74 satellite5)
	(on_board instrument75 satellite5)
	(on_board instrument76 satellite5)
	(on_board instrument77 satellite5)
	(on_board instrument78 satellite5)
	(on_board instrument79 satellite5)
	(on_board instrument80 satellite5)
	(on_board instrument81 satellite5)
	(on_board instrument82 satellite5)
	(on_board instrument83 satellite5)
	(on_board instrument84 satellite5)
	(on_board instrument85 satellite5)
	(on_board instrument86 satellite5)
	(on_board instrument87 satellite5)
	(on_board instrument88 satellite5)
	(on_board instrument89 satellite5)
	(on_board instrument90 satellite5)
	(on_board instrument91 satellite5)
	(on_board instrument92 satellite5)
	(on_board instrument93 satellite5)
	(on_board instrument94 satellite5)
	(power_avail satellite5)
	(pointing satellite5 Planet49)
	(satellite satellite6)
	(instrument instrument95)
	(supports instrument95 image17)
	(supports instrument95 image21)
	(calibration_target instrument95 Star1)
	(instrument instrument96)
	(supports instrument96 infrared20)
	(supports instrument96 infrared11)
	(calibration_target instrument96 GroundStation5)
	(calibration_target instrument96 Star6)
	(instrument instrument97)
	(supports instrument97 thermograph15)
	(calibration_target instrument97 Star9)
	(calibration_target instrument97 GroundStation11)
	(calibration_target instrument97 Star4)
	(calibration_target instrument97 GroundStation7)
	(calibration_target instrument97 Star12)
	(instrument instrument98)
	(supports instrument98 image2)
	(supports instrument98 infrared1)
	(supports instrument98 thermograph19)
	(calibration_target instrument98 Star13)
	(calibration_target instrument98 GroundStation11)
	(instrument instrument99)
	(supports instrument99 infrared11)
	(calibration_target instrument99 Star1)
	(calibration_target instrument99 GroundStation0)
	(instrument instrument100)
	(supports instrument100 spectrograph28)
	(calibration_target instrument100 GroundStation7)
	(calibration_target instrument100 GroundStation14)
	(calibration_target instrument100 Star2)
	(instrument instrument101)
	(supports instrument101 thermograph29)
	(supports instrument101 thermograph15)
	(calibration_target instrument101 GroundStation3)
	(calibration_target instrument101 Star12)
	(calibration_target instrument101 Star13)
	(calibration_target instrument101 Star2)
	(instrument instrument102)
	(supports instrument102 image7)
	(supports instrument102 infrared27)
	(supports instrument102 thermograph13)
	(calibration_target instrument102 Star9)
	(calibration_target instrument102 GroundStation7)
	(instrument instrument103)
	(supports instrument103 infrared23)
	(calibration_target instrument103 Star12)
	(instrument instrument104)
	(supports instrument104 infrared23)
	(calibration_target instrument104 Star9)
	(calibration_target instrument104 Star13)
	(calibration_target instrument104 Star8)
	(calibration_target instrument104 Star4)
	(instrument instrument105)
	(supports instrument105 thermograph6)
	(supports instrument105 infrared4)
	(calibration_target instrument105 GroundStation5)
	(calibration_target instrument105 Star9)
	(calibration_target instrument105 GroundStation3)
	(instrument instrument106)
	(supports instrument106 image17)
	(supports instrument106 infrared0)
	(supports instrument106 infrared12)
	(calibration_target instrument106 Star4)
	(calibration_target instrument106 Star12)
	(instrument instrument107)
	(supports instrument107 infrared11)
	(supports instrument107 image21)
	(calibration_target instrument107 GroundStation7)
	(calibration_target instrument107 GroundStation11)
	(instrument instrument108)
	(supports instrument108 infrared18)
	(supports instrument108 spectrograph5)
	(supports instrument108 infrared27)
	(calibration_target instrument108 Star2)
	(calibration_target instrument108 GroundStation10)
	(calibration_target instrument108 Star8)
	(calibration_target instrument108 Star9)
	(instrument instrument109)
	(supports instrument109 infrared18)
	(supports instrument109 image7)
	(supports instrument109 spectrograph16)
	(calibration_target instrument109 Star6)
	(calibration_target instrument109 GroundStation10)
	(instrument instrument110)
	(supports instrument110 spectrograph28)
	(supports instrument110 thermograph9)
	(calibration_target instrument110 Star8)
	(calibration_target instrument110 Star4)
	(calibration_target instrument110 Star6)
	(calibration_target instrument110 GroundStation14)
	(instrument instrument111)
	(supports instrument111 thermograph19)
	(supports instrument111 thermograph9)
	(calibration_target instrument111 GroundStation10)
	(calibration_target instrument111 GroundStation11)
	(calibration_target instrument111 Star12)
	(instrument instrument112)
	(supports instrument112 infrared0)
	(supports instrument112 image14)
	(calibration_target instrument112 Star12)
	(calibration_target instrument112 Star13)
	(calibration_target instrument112 GroundStation14)
	(calibration_target instrument112 Star4)
	(instrument instrument113)
	(supports instrument113 image14)
	(supports instrument113 image10)
	(calibration_target instrument113 GroundStation3)
	(calibration_target instrument113 GroundStation11)
	(calibration_target instrument113 Star2)
	(calibration_target instrument113 Star4)
	(instrument instrument114)
	(supports instrument114 spectrograph16)
	(calibration_target instrument114 Star4)
	(calibration_target instrument114 Star9)
	(calibration_target instrument114 GroundStation7)
	(calibration_target instrument114 Star6)
	(instrument instrument115)
	(supports instrument115 spectrograph5)
	(supports instrument115 image10)
	(supports instrument115 thermograph29)
	(calibration_target instrument115 GroundStation7)
	(calibration_target instrument115 Star12)
	(instrument instrument116)
	(supports instrument116 infrared1)
	(supports instrument116 infrared3)
	(calibration_target instrument116 Star4)
	(calibration_target instrument116 Star2)
	(calibration_target instrument116 GroundStation10)
	(calibration_target instrument116 GroundStation0)
	(instrument instrument117)
	(supports instrument117 image14)
	(calibration_target instrument117 GroundStation11)
	(calibration_target instrument117 Star1)
	(instrument instrument118)
	(supports instrument118 image8)
	(supports instrument118 infrared11)
	(supports instrument118 infrared27)
	(calibration_target instrument118 Star9)
	(calibration_target instrument118 Star1)
	(calibration_target instrument118 Star8)
	(calibration_target instrument118 Star13)
	(calibration_target instrument118 Star12)
	(on_board instrument95 satellite6)
	(on_board instrument96 satellite6)
	(on_board instrument97 satellite6)
	(on_board instrument98 satellite6)
	(on_board instrument99 satellite6)
	(on_board instrument100 satellite6)
	(on_board instrument101 satellite6)
	(on_board instrument102 satellite6)
	(on_board instrument103 satellite6)
	(on_board instrument104 satellite6)
	(on_board instrument105 satellite6)
	(on_board instrument106 satellite6)
	(on_board instrument107 satellite6)
	(on_board instrument108 satellite6)
	(on_board instrument109 satellite6)
	(on_board instrument110 satellite6)
	(on_board instrument111 satellite6)
	(on_board instrument112 satellite6)
	(on_board instrument113 satellite6)
	(on_board instrument114 satellite6)
	(on_board instrument115 satellite6)
	(on_board instrument116 satellite6)
	(on_board instrument117 satellite6)
	(on_board instrument118 satellite6)
	(power_avail satellite6)
	(pointing satellite6 Phenomenon74)
	(satellite satellite7)
	(instrument instrument119)
	(supports instrument119 infrared23)
	(supports instrument119 thermograph15)
	(calibration_target instrument119 GroundStation11)
	(calibration_target instrument119 Star4)
	(instrument instrument120)
	(supports instrument120 infrared25)
	(supports instrument120 spectrograph28)
	(supports instrument120 thermograph6)
	(calibration_target instrument120 GroundStation7)
	(calibration_target instrument120 Star8)
	(calibration_target instrument120 Star2)
	(instrument instrument121)
	(supports instrument121 spectrograph5)
	(supports instrument121 image8)
	(calibration_target instrument121 Star12)
	(calibration_target instrument121 GroundStation0)
	(calibration_target instrument121 GroundStation3)
	(calibration_target instrument121 GroundStation11)
	(calibration_target instrument121 GroundStation14)
	(instrument instrument122)
	(supports instrument122 infrared20)
	(supports instrument122 image21)
	(calibration_target instrument122 Star1)
	(instrument instrument123)
	(supports instrument123 thermograph19)
	(supports instrument123 infrared22)
	(supports instrument123 infrared4)
	(calibration_target instrument123 Star4)
	(calibration_target instrument123 GroundStation0)
	(calibration_target instrument123 Star2)
	(calibration_target instrument123 GroundStation3)
	(calibration_target instrument123 GroundStation11)
	(instrument instrument124)
	(supports instrument124 infrared1)
	(supports instrument124 thermograph15)
	(supports instrument124 image14)
	(calibration_target instrument124 Star6)
	(calibration_target instrument124 GroundStation0)
	(calibration_target instrument124 Star4)
	(calibration_target instrument124 Star2)
	(on_board instrument119 satellite7)
	(on_board instrument120 satellite7)
	(on_board instrument121 satellite7)
	(on_board instrument122 satellite7)
	(on_board instrument123 satellite7)
	(on_board instrument124 satellite7)
	(power_avail satellite7)
	(pointing satellite7 Phenomenon28)
	(satellite satellite8)
	(instrument instrument125)
	(supports instrument125 thermograph15)
	(supports instrument125 infrared11)
	(supports instrument125 image7)
	(calibration_target instrument125 Star8)
	(calibration_target instrument125 GroundStation11)
	(calibration_target instrument125 GroundStation10)
	(calibration_target instrument125 Star2)
	(instrument instrument126)
	(supports instrument126 thermograph15)
	(calibration_target instrument126 GroundStation7)
	(calibration_target instrument126 GroundStation11)
	(calibration_target instrument126 Star2)
	(calibration_target instrument126 Star9)
	(calibration_target instrument126 Star1)
	(instrument instrument127)
	(supports instrument127 image10)
	(supports instrument127 thermograph6)
	(supports instrument127 thermograph29)
	(calibration_target instrument127 Star12)
	(instrument instrument128)
	(supports instrument128 infrared25)
	(supports instrument128 infrared24)
	(calibration_target instrument128 Star13)
	(calibration_target instrument128 GroundStation3)
	(calibration_target instrument128 Star1)
	(calibration_target instrument128 GroundStation11)
	(calibration_target instrument128 Star2)
	(instrument instrument129)
	(supports instrument129 thermograph6)
	(calibration_target instrument129 GroundStation10)
	(calibration_target instrument129 Star6)
	(calibration_target instrument129 Star13)
	(calibration_target instrument129 Star12)
	(instrument instrument130)
	(supports instrument130 thermograph29)
	(calibration_target instrument130 GroundStation0)
	(calibration_target instrument130 GroundStation14)
	(calibration_target instrument130 Star4)
	(calibration_target instrument130 Star6)
	(calibration_target instrument130 Star1)
	(instrument instrument131)
	(supports instrument131 image17)
	(supports instrument131 image8)
	(calibration_target instrument131 GroundStation5)
	(calibration_target instrument131 Star12)
	(calibration_target instrument131 Star13)
	(instrument instrument132)
	(supports instrument132 image7)
	(supports instrument132 infrared12)
	(calibration_target instrument132 GroundStation3)
	(instrument instrument133)
	(supports instrument133 infrared25)
	(supports instrument133 thermograph13)
	(calibration_target instrument133 GroundStation14)
	(calibration_target instrument133 GroundStation11)
	(instrument instrument134)
	(supports instrument134 infrared18)
	(calibration_target instrument134 GroundStation14)
	(calibration_target instrument134 Star12)
	(calibration_target instrument134 Star2)
	(calibration_target instrument134 Star1)
	(calibration_target instrument134 GroundStation7)
	(instrument instrument135)
	(supports instrument135 image10)
	(calibration_target instrument135 GroundStation5)
	(calibration_target instrument135 GroundStation10)
	(calibration_target instrument135 Star4)
	(instrument instrument136)
	(supports instrument136 infrared12)
	(supports instrument136 infrared20)
	(calibration_target instrument136 GroundStation0)
	(calibration_target instrument136 Star8)
	(calibration_target instrument136 GroundStation10)
	(instrument instrument137)
	(supports instrument137 thermograph6)
	(supports instrument137 infrared0)
	(supports instrument137 infrared11)
	(calibration_target instrument137 Star2)
	(calibration_target instrument137 GroundStation10)
	(calibration_target instrument137 GroundStation7)
	(calibration_target instrument137 GroundStation3)
	(calibration_target instrument137 Star4)
	(instrument instrument138)
	(supports instrument138 image7)
	(supports instrument138 infrared22)
	(calibration_target instrument138 Star2)
	(instrument instrument139)
	(supports instrument139 infrared12)
	(supports instrument139 thermograph19)
	(calibration_target instrument139 Star9)
	(calibration_target instrument139 GroundStation14)
	(instrument instrument140)
	(supports instrument140 spectrograph28)
	(calibration_target instrument140 Star2)
	(calibration_target instrument140 Star12)
	(calibration_target instrument140 Star13)
	(instrument instrument141)
	(supports instrument141 spectrograph16)
	(calibration_target instrument141 GroundStation11)
	(calibration_target instrument141 GroundStation14)
	(calibration_target instrument141 GroundStation7)
	(calibration_target instrument141 GroundStation10)
	(instrument instrument142)
	(supports instrument142 image14)
	(calibration_target instrument142 GroundStation7)
	(instrument instrument143)
	(supports instrument143 spectrograph26)
	(supports instrument143 spectrograph5)
	(calibration_target instrument143 Star1)
	(instrument instrument144)
	(supports instrument144 thermograph29)
	(calibration_target instrument144 Star6)
	(calibration_target instrument144 GroundStation14)
	(calibration_target instrument144 Star12)
	(instrument instrument145)
	(supports instrument145 thermograph6)
	(calibration_target instrument145 Star8)
	(on_board instrument125 satellite8)
	(on_board instrument126 satellite8)
	(on_board instrument127 satellite8)
	(on_board instrument128 satellite8)
	(on_board instrument129 satellite8)
	(on_board instrument130 satellite8)
	(on_board instrument131 satellite8)
	(on_board instrument132 satellite8)
	(on_board instrument133 satellite8)
	(on_board instrument134 satellite8)
	(on_board instrument135 satellite8)
	(on_board instrument136 satellite8)
	(on_board instrument137 satellite8)
	(on_board instrument138 satellite8)
	(on_board instrument139 satellite8)
	(on_board instrument140 satellite8)
	(on_board instrument141 satellite8)
	(on_board instrument142 satellite8)
	(on_board instrument143 satellite8)
	(on_board instrument144 satellite8)
	(on_board instrument145 satellite8)
	(power_avail satellite8)
	(pointing satellite8 Phenomenon39)
	(satellite satellite9)
	(instrument instrument146)
	(supports instrument146 thermograph13)
	(supports instrument146 image14)
	(calibration_target instrument146 GroundStation5)
	(calibration_target instrument146 Star6)
	(calibration_target instrument146 Star1)
	(instrument instrument147)
	(supports instrument147 image8)
	(calibration_target instrument147 Star9)
	(on_board instrument146 satellite9)
	(on_board instrument147 satellite9)
	(power_avail satellite9)
	(pointing satellite9 Planet60)
	(satellite satellite10)
	(instrument instrument148)
	(supports instrument148 infrared22)
	(calibration_target instrument148 GroundStation5)
	(calibration_target instrument148 GroundStation14)
	(instrument instrument149)
	(supports instrument149 infrared27)
	(supports instrument149 image10)
	(supports instrument149 image17)
	(calibration_target instrument149 GroundStation5)
	(calibration_target instrument149 GroundStation10)
	(calibration_target instrument149 Star6)
	(calibration_target instrument149 Star8)
	(calibration_target instrument149 Star2)
	(instrument instrument150)
	(supports instrument150 thermograph15)
	(supports instrument150 infrared25)
	(supports instrument150 infrared22)
	(calibration_target instrument150 Star9)
	(calibration_target instrument150 GroundStation10)
	(calibration_target instrument150 GroundStation3)
	(calibration_target instrument150 GroundStation0)
	(calibration_target instrument150 Star4)
	(instrument instrument151)
	(supports instrument151 infrared11)
	(calibration_target instrument151 Star2)
	(calibration_target instrument151 Star4)
	(calibration_target instrument151 GroundStation14)
	(instrument instrument152)
	(supports instrument152 spectrograph28)
	(calibration_target instrument152 GroundStation0)
	(instrument instrument153)
	(supports instrument153 infrared3)
	(calibration_target instrument153 GroundStation5)
	(calibration_target instrument153 Star8)
	(calibration_target instrument153 Star4)
	(calibration_target instrument153 Star1)
	(calibration_target instrument153 GroundStation0)
	(instrument instrument154)
	(supports instrument154 infrared27)
	(calibration_target instrument154 Star2)
	(calibration_target instrument154 Star4)
	(calibration_target instrument154 Star13)
	(calibration_target instrument154 GroundStation7)
	(instrument instrument155)
	(supports instrument155 image10)
	(supports instrument155 thermograph15)
	(supports instrument155 infrared18)
	(calibration_target instrument155 Star9)
	(calibration_target instrument155 GroundStation14)
	(calibration_target instrument155 GroundStation11)
	(calibration_target instrument155 Star1)
	(calibration_target instrument155 GroundStation10)
	(instrument instrument156)
	(supports instrument156 spectrograph26)
	(supports instrument156 infrared18)
	(supports instrument156 thermograph6)
	(calibration_target instrument156 GroundStation0)
	(calibration_target instrument156 GroundStation5)
	(calibration_target instrument156 Star4)
	(calibration_target instrument156 GroundStation14)
	(instrument instrument157)
	(supports instrument157 thermograph29)
	(calibration_target instrument157 Star6)
	(instrument instrument158)
	(supports instrument158 infrared12)
	(supports instrument158 infrared23)
	(supports instrument158 infrared0)
	(calibration_target instrument158 Star8)
	(calibration_target instrument158 Star4)
	(calibration_target instrument158 Star12)
	(calibration_target instrument158 GroundStation14)
	(instrument instrument159)
	(supports instrument159 infrared1)
	(supports instrument159 thermograph13)
	(supports instrument159 infrared22)
	(calibration_target instrument159 GroundStation0)
	(calibration_target instrument159 Star12)
	(calibration_target instrument159 Star1)
	(calibration_target instrument159 Star9)
	(calibration_target instrument159 Star8)
	(instrument instrument160)
	(supports instrument160 infrared25)
	(supports instrument160 thermograph19)
	(calibration_target instrument160 Star1)
	(calibration_target instrument160 GroundStation10)
	(instrument instrument161)
	(supports instrument161 spectrograph16)
	(supports instrument161 infrared18)
	(calibration_target instrument161 GroundStation0)
	(on_board instrument148 satellite10)
	(on_board instrument149 satellite10)
	(on_board instrument150 satellite10)
	(on_board instrument151 satellite10)
	(on_board instrument152 satellite10)
	(on_board instrument153 satellite10)
	(on_board instrument154 satellite10)
	(on_board instrument155 satellite10)
	(on_board instrument156 satellite10)
	(on_board instrument157 satellite10)
	(on_board instrument158 satellite10)
	(on_board instrument159 satellite10)
	(on_board instrument160 satellite10)
	(on_board instrument161 satellite10)
	(power_avail satellite10)
	(pointing satellite10 Star16)
	(satellite satellite11)
	(instrument instrument162)
	(supports instrument162 infrared18)
	(supports instrument162 spectrograph28)
	(calibration_target instrument162 Star1)
	(calibration_target instrument162 Star6)
	(calibration_target instrument162 GroundStation5)
	(calibration_target instrument162 Star13)
	(calibration_target instrument162 Star12)
	(instrument instrument163)
	(supports instrument163 image2)
	(calibration_target instrument163 GroundStation0)
	(calibration_target instrument163 Star8)
	(instrument instrument164)
	(supports instrument164 infrared3)
	(supports instrument164 image21)
	(supports instrument164 thermograph29)
	(calibration_target instrument164 GroundStation5)
	(calibration_target instrument164 GroundStation10)
	(calibration_target instrument164 Star4)
	(calibration_target instrument164 Star8)
	(instrument instrument165)
	(supports instrument165 thermograph13)
	(supports instrument165 image10)
	(supports instrument165 infrared24)
	(calibration_target instrument165 GroundStation11)
	(calibration_target instrument165 Star13)
	(calibration_target instrument165 Star9)
	(calibration_target instrument165 Star6)
	(calibration_target instrument165 GroundStation7)
	(instrument instrument166)
	(supports instrument166 image10)
	(supports instrument166 spectrograph26)
	(supports instrument166 thermograph15)
	(calibration_target instrument166 Star8)
	(calibration_target instrument166 Star13)
	(instrument instrument167)
	(supports instrument167 infrared23)
	(supports instrument167 thermograph9)
	(calibration_target instrument167 Star12)
	(instrument instrument168)
	(supports instrument168 spectrograph26)
	(supports instrument168 infrared1)
	(supports instrument168 infrared12)
	(calibration_target instrument168 GroundStation0)
	(calibration_target instrument168 Star6)
	(calibration_target instrument168 GroundStation5)
	(calibration_target instrument168 Star9)
	(calibration_target instrument168 GroundStation3)
	(instrument instrument169)
	(supports instrument169 spectrograph28)
	(supports instrument169 image14)
	(supports instrument169 spectrograph5)
	(calibration_target instrument169 GroundStation11)
	(calibration_target instrument169 Star12)
	(calibration_target instrument169 GroundStation5)
	(calibration_target instrument169 GroundStation7)
	(calibration_target instrument169 Star9)
	(instrument instrument170)
	(supports instrument170 thermograph6)
	(supports instrument170 spectrograph28)
	(calibration_target instrument170 GroundStation0)
	(calibration_target instrument170 GroundStation11)
	(calibration_target instrument170 Star4)
	(calibration_target instrument170 GroundStation10)
	(calibration_target instrument170 Star8)
	(instrument instrument171)
	(supports instrument171 image14)
	(supports instrument171 infrared3)
	(supports instrument171 spectrograph16)
	(calibration_target instrument171 Star8)
	(instrument instrument172)
	(supports instrument172 infrared0)
	(supports instrument172 image7)
	(calibration_target instrument172 Star8)
	(calibration_target instrument172 GroundStation3)
	(calibration_target instrument172 Star4)
	(calibration_target instrument172 Star12)
	(calibration_target instrument172 GroundStation7)
	(instrument instrument173)
	(supports instrument173 thermograph6)
	(supports instrument173 thermograph15)
	(calibration_target instrument173 Star13)
	(calibration_target instrument173 GroundStation10)
	(calibration_target instrument173 GroundStation14)
	(calibration_target instrument173 Star9)
	(instrument instrument174)
	(supports instrument174 infrared23)
	(supports instrument174 image8)
	(calibration_target instrument174 GroundStation10)
	(calibration_target instrument174 Star4)
	(instrument instrument175)
	(supports instrument175 image10)
	(supports instrument175 infrared18)
	(calibration_target instrument175 GroundStation5)
	(calibration_target instrument175 Star4)
	(instrument instrument176)
	(supports instrument176 image17)
	(supports instrument176 image7)
	(supports instrument176 image2)
	(calibration_target instrument176 GroundStation0)
	(calibration_target instrument176 Star2)
	(calibration_target instrument176 Star6)
	(calibration_target instrument176 Star13)
	(calibration_target instrument176 GroundStation11)
	(instrument instrument177)
	(supports instrument177 infrared22)
	(supports instrument177 infrared20)
	(calibration_target instrument177 Star1)
	(calibration_target instrument177 GroundStation5)
	(calibration_target instrument177 Star9)
	(calibration_target instrument177 GroundStation7)
	(calibration_target instrument177 GroundStation3)
	(instrument instrument178)
	(supports instrument178 spectrograph16)
	(supports instrument178 infrared22)
	(supports instrument178 infrared23)
	(calibration_target instrument178 GroundStation10)
	(calibration_target instrument178 GroundStation0)
	(instrument instrument179)
	(supports instrument179 thermograph9)
	(supports instrument179 spectrograph5)
	(supports instrument179 infrared25)
	(calibration_target instrument179 GroundStation3)
	(instrument instrument180)
	(supports instrument180 infrared24)
	(calibration_target instrument180 GroundStation14)
	(calibration_target instrument180 Star8)
	(calibration_target instrument180 GroundStation10)
	(calibration_target instrument180 Star1)
	(calibration_target instrument180 Star2)
	(instrument instrument181)
	(supports instrument181 image14)
	(calibration_target instrument181 GroundStation10)
	(instrument instrument182)
	(supports instrument182 thermograph19)
	(supports instrument182 image7)
	(supports instrument182 thermograph6)
	(calibration_target instrument182 GroundStation10)
	(calibration_target instrument182 Star13)
	(calibration_target instrument182 GroundStation14)
	(calibration_target instrument182 GroundStation7)
	(instrument instrument183)
	(supports instrument183 thermograph13)
	(supports instrument183 image7)
	(calibration_target instrument183 Star9)
	(calibration_target instrument183 GroundStation14)
	(calibration_target instrument183 GroundStation5)
	(instrument instrument184)
	(supports instrument184 thermograph19)
	(calibration_target instrument184 GroundStation3)
	(calibration_target instrument184 GroundStation0)
	(calibration_target instrument184 GroundStation10)
	(calibration_target instrument184 GroundStation11)
	(instrument instrument185)
	(supports instrument185 infrared11)
	(calibration_target instrument185 Star1)
	(calibration_target instrument185 Star12)
	(instrument instrument186)
	(supports instrument186 spectrograph5)
	(calibration_target instrument186 Star9)
	(calibration_target instrument186 Star12)
	(calibration_target instrument186 GroundStation11)
	(calibration_target instrument186 Star6)
	(instrument instrument187)
	(supports instrument187 thermograph9)
	(calibration_target instrument187 Star8)
	(instrument instrument188)
	(supports instrument188 image17)
	(supports instrument188 infrared12)
	(calibration_target instrument188 Star13)
	(calibration_target instrument188 GroundStation11)
	(calibration_target instrument188 Star4)
	(calibration_target instrument188 Star6)
	(instrument instrument189)
	(supports instrument189 thermograph13)
	(calibration_target instrument189 GroundStation3)
	(calibration_target instrument189 Star1)
	(calibration_target instrument189 Star9)
	(calibration_target instrument189 Star13)
	(calibration_target instrument189 GroundStation10)
	(instrument instrument190)
	(supports instrument190 infrared4)
	(supports instrument190 spectrograph28)
	(calibration_target instrument190 GroundStation5)
	(calibration_target instrument190 GroundStation11)
	(calibration_target instrument190 GroundStation7)
	(calibration_target instrument190 Star13)
	(instrument instrument191)
	(supports instrument191 image14)
	(supports instrument191 image8)
	(supports instrument191 infrared27)
	(calibration_target instrument191 Star4)
	(calibration_target instrument191 GroundStation0)
	(calibration_target instrument191 GroundStation10)
	(calibration_target instrument191 Star12)
	(on_board instrument162 satellite11)
	(on_board instrument163 satellite11)
	(on_board instrument164 satellite11)
	(on_board instrument165 satellite11)
	(on_board instrument166 satellite11)
	(on_board instrument167 satellite11)
	(on_board instrument168 satellite11)
	(on_board instrument169 satellite11)
	(on_board instrument170 satellite11)
	(on_board instrument171 satellite11)
	(on_board instrument172 satellite11)
	(on_board instrument173 satellite11)
	(on_board instrument174 satellite11)
	(on_board instrument175 satellite11)
	(on_board instrument176 satellite11)
	(on_board instrument177 satellite11)
	(on_board instrument178 satellite11)
	(on_board instrument179 satellite11)
	(on_board instrument180 satellite11)
	(on_board instrument181 satellite11)
	(on_board instrument182 satellite11)
	(on_board instrument183 satellite11)
	(on_board instrument184 satellite11)
	(on_board instrument185 satellite11)
	(on_board instrument186 satellite11)
	(on_board instrument187 satellite11)
	(on_board instrument188 satellite11)
	(on_board instrument189 satellite11)
	(on_board instrument190 satellite11)
	(on_board instrument191 satellite11)
	(power_avail satellite11)
	(pointing satellite11 Phenomenon34)
	(satellite satellite12)
	(instrument instrument192)
	(supports instrument192 image2)
	(supports instrument192 infrared1)
	(supports instrument192 thermograph29)
	(calibration_target instrument192 Star8)
	(calibration_target instrument192 GroundStation5)
	(calibration_target instrument192 GroundStation11)
	(calibration_target instrument192 Star4)
	(calibration_target instrument192 Star13)
	(instrument instrument193)
	(supports instrument193 image14)
	(supports instrument193 image21)
	(supports instrument193 infrared23)
	(calibration_target instrument193 GroundStation0)
	(instrument instrument194)
	(supports instrument194 image10)
	(supports instrument194 image7)
	(supports instrument194 image14)
	(calibration_target instrument194 Star1)
	(calibration_target instrument194 GroundStation5)
	(calibration_target instrument194 GroundStation0)
	(calibration_target instrument194 Star13)
	(calibration_target instrument194 GroundStation10)
	(instrument instrument195)
	(supports instrument195 image2)
	(supports instrument195 image7)
	(calibration_target instrument195 GroundStation5)
	(calibration_target instrument195 Star13)
	(calibration_target instrument195 Star6)
	(calibration_target instrument195 GroundStation7)
	(calibration_target instrument195 Star8)
	(instrument instrument196)
	(supports instrument196 infrared11)
	(calibration_target instrument196 GroundStation11)
	(calibration_target instrument196 Star6)
	(instrument instrument197)
	(supports instrument197 infrared0)
	(calibration_target instrument197 GroundStation5)
	(instrument instrument198)
	(supports instrument198 infrared4)
	(supports instrument198 spectrograph5)
	(calibration_target instrument198 Star1)
	(calibration_target instrument198 Star13)
	(calibration_target instrument198 Star4)
	(calibration_target instrument198 GroundStation10)
	(instrument instrument199)
	(supports instrument199 spectrograph5)
	(supports instrument199 image7)
	(supports instrument199 infrared11)
	(calibration_target instrument199 GroundStation14)
	(calibration_target instrument199 Star12)
	(calibration_target instrument199 Star13)
	(calibration_target instrument199 Star6)
	(instrument instrument200)
	(supports instrument200 image17)
	(supports instrument200 image2)
	(calibration_target instrument200 GroundStation0)
	(calibration_target instrument200 GroundStation10)
	(calibration_target instrument200 Star8)
	(calibration_target instrument200 Star12)
	(instrument instrument201)
	(supports instrument201 spectrograph5)
	(calibration_target instrument201 Star13)
	(calibration_target instrument201 GroundStation3)
	(instrument instrument202)
	(supports instrument202 image17)
	(calibration_target instrument202 GroundStation10)
	(instrument instrument203)
	(supports instrument203 infrared23)
	(supports instrument203 image8)
	(calibration_target instrument203 GroundStation10)
	(calibration_target instrument203 Star13)
	(calibration_target instrument203 GroundStation14)
	(calibration_target instrument203 Star6)
	(calibration_target instrument203 GroundStation5)
	(instrument instrument204)
	(supports instrument204 image17)
	(supports instrument204 spectrograph28)
	(calibration_target instrument204 GroundStation0)
	(calibration_target instrument204 Star6)
	(calibration_target instrument204 Star13)
	(calibration_target instrument204 GroundStation14)
	(calibration_target instrument204 GroundStation11)
	(instrument instrument205)
	(supports instrument205 spectrograph28)
	(supports instrument205 spectrograph26)
	(supports instrument205 infrared24)
	(calibration_target instrument205 GroundStation5)
	(calibration_target instrument205 GroundStation7)
	(calibration_target instrument205 GroundStation10)
	(calibration_target instrument205 GroundStation3)
	(on_board instrument192 satellite12)
	(on_board instrument193 satellite12)
	(on_board instrument194 satellite12)
	(on_board instrument195 satellite12)
	(on_board instrument196 satellite12)
	(on_board instrument197 satellite12)
	(on_board instrument198 satellite12)
	(on_board instrument199 satellite12)
	(on_board instrument200 satellite12)
	(on_board instrument201 satellite12)
	(on_board instrument202 satellite12)
	(on_board instrument203 satellite12)
	(on_board instrument204 satellite12)
	(on_board instrument205 satellite12)
	(power_avail satellite12)
	(pointing satellite12 Planet18)
	(satellite satellite13)
	(instrument instrument206)
	(supports instrument206 image8)
	(calibration_target instrument206 GroundStation7)
	(calibration_target instrument206 Star6)
	(calibration_target instrument206 GroundStation3)
	(instrument instrument207)
	(supports instrument207 image10)
	(calibration_target instrument207 Star9)
	(calibration_target instrument207 GroundStation0)
	(instrument instrument208)
	(supports instrument208 image7)
	(calibration_target instrument208 GroundStation3)
	(calibration_target instrument208 Star13)
	(instrument instrument209)
	(supports instrument209 infrared18)
	(supports instrument209 infrared25)
	(supports instrument209 infrared22)
	(calibration_target instrument209 Star8)
	(calibration_target instrument209 GroundStation14)
	(instrument instrument210)
	(supports instrument210 infrared1)
	(calibration_target instrument210 GroundStation3)
	(instrument instrument211)
	(supports instrument211 infrared4)
	(calibration_target instrument211 GroundStation11)
	(calibration_target instrument211 Star4)
	(calibration_target instrument211 Star8)
	(calibration_target instrument211 GroundStation5)
	(instrument instrument212)
	(supports instrument212 infrared0)
	(calibration_target instrument212 Star9)
	(calibration_target instrument212 GroundStation11)
	(calibration_target instrument212 GroundStation10)
	(calibration_target instrument212 Star6)
	(instrument instrument213)
	(supports instrument213 infrared22)
	(supports instrument213 infrared12)
	(supports instrument213 thermograph15)
	(calibration_target instrument213 Star8)
	(instrument instrument214)
	(supports instrument214 infrared1)
	(supports instrument214 image14)
	(supports instrument214 image21)
	(calibration_target instrument214 Star4)
	(calibration_target instrument214 Star13)
	(calibration_target instrument214 GroundStation7)
	(instrument instrument215)
	(supports instrument215 infrared1)
	(calibration_target instrument215 GroundStation11)
	(calibration_target instrument215 GroundStation10)
	(calibration_target instrument215 Star1)
	(calibration_target instrument215 Star6)
	(instrument instrument216)
	(supports instrument216 infrared12)
	(supports instrument216 infrared3)
	(supports instrument216 infrared4)
	(calibration_target instrument216 Star2)
	(instrument instrument217)
	(supports instrument217 infrared11)
	(supports instrument217 image7)
	(supports instrument217 image8)
	(calibration_target instrument217 GroundStation11)
	(calibration_target instrument217 Star2)
	(calibration_target instrument217 GroundStation3)
	(calibration_target instrument217 Star9)
	(instrument instrument218)
	(supports instrument218 infrared24)
	(supports instrument218 spectrograph28)
	(calibration_target instrument218 Star12)
	(instrument instrument219)
	(supports instrument219 image8)
	(supports instrument219 spectrograph16)
	(supports instrument219 spectrograph5)
	(calibration_target instrument219 Star12)
	(instrument instrument220)
	(supports instrument220 infrared12)
	(calibration_target instrument220 GroundStation5)
	(calibration_target instrument220 Star6)
	(instrument instrument221)
	(supports instrument221 image21)
	(calibration_target instrument221 GroundStation0)
	(instrument instrument222)
	(supports instrument222 spectrograph26)
	(supports instrument222 spectrograph28)
	(calibration_target instrument222 Star12)
	(calibration_target instrument222 GroundStation3)
	(calibration_target instrument222 Star13)
	(calibration_target instrument222 GroundStation7)
	(instrument instrument223)
	(supports instrument223 thermograph19)
	(calibration_target instrument223 GroundStation11)
	(calibration_target instrument223 Star4)
	(calibration_target instrument223 GroundStation7)
	(calibration_target instrument223 GroundStation5)
	(instrument instrument224)
	(supports instrument224 spectrograph26)
	(supports instrument224 infrared20)
	(supports instrument224 thermograph6)
	(calibration_target instrument224 Star8)
	(calibration_target instrument224 GroundStation14)
	(calibration_target instrument224 GroundStation10)
	(instrument instrument225)
	(supports instrument225 image2)
	(calibration_target instrument225 GroundStation5)
	(calibration_target instrument225 GroundStation0)
	(calibration_target instrument225 GroundStation7)
	(instrument instrument226)
	(supports instrument226 spectrograph5)
	(calibration_target instrument226 GroundStation11)
	(calibration_target instrument226 GroundStation7)
	(calibration_target instrument226 GroundStation10)
	(calibration_target instrument226 Star2)
	(calibration_target instrument226 Star6)
	(on_board instrument206 satellite13)
	(on_board instrument207 satellite13)
	(on_board instrument208 satellite13)
	(on_board instrument209 satellite13)
	(on_board instrument210 satellite13)
	(on_board instrument211 satellite13)
	(on_board instrument212 satellite13)
	(on_board instrument213 satellite13)
	(on_board instrument214 satellite13)
	(on_board instrument215 satellite13)
	(on_board instrument216 satellite13)
	(on_board instrument217 satellite13)
	(on_board instrument218 satellite13)
	(on_board instrument219 satellite13)
	(on_board instrument220 satellite13)
	(on_board instrument221 satellite13)
	(on_board instrument222 satellite13)
	(on_board instrument223 satellite13)
	(on_board instrument224 satellite13)
	(on_board instrument225 satellite13)
	(on_board instrument226 satellite13)
	(power_avail satellite13)
	(pointing satellite13 Star48)
	(satellite satellite14)
	(instrument instrument227)
	(supports instrument227 infrared11)
	(supports instrument227 image8)
	(calibration_target instrument227 Star9)
	(calibration_target instrument227 GroundStation3)
	(calibration_target instrument227 GroundStation11)
	(instrument instrument228)
	(supports instrument228 infrared18)
	(supports instrument228 infrared23)
	(supports instrument228 infrared20)
	(calibration_target instrument228 Star1)
	(calibration_target instrument228 GroundStation5)
	(calibration_target instrument228 Star12)
	(calibration_target instrument228 GroundStation14)
	(calibration_target instrument228 GroundStation10)
	(instrument instrument229)
	(supports instrument229 thermograph9)
	(supports instrument229 image21)
	(calibration_target instrument229 GroundStation14)
	(calibration_target instrument229 Star13)
	(calibration_target instrument229 Star8)
	(calibration_target instrument229 GroundStation7)
	(instrument instrument230)
	(supports instrument230 thermograph29)
	(supports instrument230 infrared27)
	(calibration_target instrument230 GroundStation14)
	(instrument instrument231)
	(supports instrument231 infrared11)
	(calibration_target instrument231 Star2)
	(calibration_target instrument231 GroundStation11)
	(instrument instrument232)
	(supports instrument232 thermograph6)
	(supports instrument232 infrared24)
	(supports instrument232 infrared4)
	(calibration_target instrument232 Star6)
	(calibration_target instrument232 Star2)
	(calibration_target instrument232 Star4)
	(calibration_target instrument232 Star13)
	(calibration_target instrument232 GroundStation7)
	(instrument instrument233)
	(supports instrument233 image2)
	(supports instrument233 infrared3)
	(calibration_target instrument233 GroundStation11)
	(instrument instrument234)
	(supports instrument234 infrared20)
	(calibration_target instrument234 GroundStation5)
	(calibration_target instrument234 Star12)
	(calibration_target instrument234 Star6)
	(calibration_target instrument234 GroundStation7)
	(instrument instrument235)
	(supports instrument235 spectrograph5)
	(supports instrument235 thermograph9)
	(supports instrument235 infrared4)
	(calibration_target instrument235 Star2)
	(calibration_target instrument235 Star6)
	(calibration_target instrument235 Star8)
	(calibration_target instrument235 GroundStation10)
	(instrument instrument236)
	(supports instrument236 thermograph19)
	(supports instrument236 image14)
	(supports instrument236 spectrograph5)
	(calibration_target instrument236 Star6)
	(calibration_target instrument236 GroundStation14)
	(calibration_target instrument236 GroundStation7)
	(instrument instrument237)
	(supports instrument237 spectrograph5)
	(supports instrument237 infrared27)
	(supports instrument237 infrared12)
	(calibration_target instrument237 Star8)
	(instrument instrument238)
	(supports instrument238 infrared22)
	(supports instrument238 image8)
	(supports instrument238 infrared4)
	(calibration_target instrument238 GroundStation0)
	(calibration_target instrument238 GroundStation5)
	(calibration_target instrument238 Star4)
	(calibration_target instrument238 Star13)
	(calibration_target instrument238 Star9)
	(instrument instrument239)
	(supports instrument239 image7)
	(calibration_target instrument239 GroundStation3)
	(calibration_target instrument239 Star8)
	(on_board instrument227 satellite14)
	(on_board instrument228 satellite14)
	(on_board instrument229 satellite14)
	(on_board instrument230 satellite14)
	(on_board instrument231 satellite14)
	(on_board instrument232 satellite14)
	(on_board instrument233 satellite14)
	(on_board instrument234 satellite14)
	(on_board instrument235 satellite14)
	(on_board instrument236 satellite14)
	(on_board instrument237 satellite14)
	(on_board instrument238 satellite14)
	(on_board instrument239 satellite14)
	(power_avail satellite14)
	(pointing satellite14 Phenomenon17)
	(satellite satellite15)
	(instrument instrument240)
	(supports instrument240 thermograph29)
	(calibration_target instrument240 GroundStation7)
	(calibration_target instrument240 GroundStation0)
	(calibration_target instrument240 GroundStation14)
	(calibration_target instrument240 GroundStation10)
	(instrument instrument241)
	(supports instrument241 infrared1)
	(calibration_target instrument241 GroundStation7)
	(calibration_target instrument241 Star13)
	(calibration_target instrument241 Star6)
	(instrument instrument242)
	(supports instrument242 spectrograph26)
	(calibration_target instrument242 GroundStation3)
	(calibration_target instrument242 Star13)
	(calibration_target instrument242 Star9)
	(instrument instrument243)
	(supports instrument243 infrared0)
	(supports instrument243 thermograph29)
	(calibration_target instrument243 Star9)
	(instrument instrument244)
	(supports instrument244 spectrograph28)
	(supports instrument244 thermograph19)
	(supports instrument244 image7)
	(calibration_target instrument244 Star2)
	(instrument instrument245)
	(supports instrument245 infrared20)
	(calibration_target instrument245 Star4)
	(calibration_target instrument245 Star2)
	(calibration_target instrument245 Star1)
	(calibration_target instrument245 Star8)
	(instrument instrument246)
	(supports instrument246 thermograph19)
	(calibration_target instrument246 GroundStation7)
	(calibration_target instrument246 Star1)
	(calibration_target instrument246 GroundStation14)
	(calibration_target instrument246 GroundStation10)
	(calibration_target instrument246 Star13)
	(instrument instrument247)
	(supports instrument247 image14)
	(supports instrument247 image10)
	(calibration_target instrument247 Star13)
	(calibration_target instrument247 Star6)
	(instrument instrument248)
	(supports instrument248 image17)
	(supports instrument248 infrared23)
	(supports instrument248 infrared0)
	(calibration_target instrument248 Star8)
	(instrument instrument249)
	(supports instrument249 infrared20)
	(supports instrument249 image2)
	(supports instrument249 image14)
	(calibration_target instrument249 GroundStation0)
	(calibration_target instrument249 Star2)
	(calibration_target instrument249 GroundStation14)
	(calibration_target instrument249 Star1)
	(instrument instrument250)
	(supports instrument250 infrared27)
	(supports instrument250 thermograph9)
	(calibration_target instrument250 GroundStation0)
	(instrument instrument251)
	(supports instrument251 spectrograph28)
	(supports instrument251 infrared23)
	(calibration_target instrument251 Star6)
	(calibration_target instrument251 Star13)
	(calibration_target instrument251 Star2)
	(calibration_target instrument251 Star1)
	(calibration_target instrument251 GroundStation3)
	(instrument instrument252)
	(supports instrument252 image7)
	(calibration_target instrument252 GroundStation10)
	(calibration_target instrument252 Star6)
	(calibration_target instrument252 Star9)
	(calibration_target instrument252 Star13)
	(instrument instrument253)
	(supports instrument253 infrared1)
	(supports instrument253 thermograph9)
	(supports instrument253 thermograph13)
	(calibration_target instrument253 GroundStation7)
	(calibration_target instrument253 GroundStation0)
	(calibration_target instrument253 Star12)
	(instrument instrument254)
	(supports instrument254 infrared24)
	(supports instrument254 spectrograph26)
	(calibration_target instrument254 Star8)
	(instrument instrument255)
	(supports instrument255 infrared1)
	(supports instrument255 image2)
	(supports instrument255 thermograph13)
	(calibration_target instrument255 Star2)
	(calibration_target instrument255 GroundStation14)
	(calibration_target instrument255 Star9)
	(instrument instrument256)
	(supports instrument256 spectrograph5)
	(calibration_target instrument256 Star2)
	(calibration_target instrument256 Star8)
	(calibration_target instrument256 Star6)
	(calibration_target instrument256 GroundStation11)
	(instrument instrument257)
	(supports instrument257 spectrograph26)
	(supports instrument257 spectrograph16)
	(supports instrument257 infrared0)
	(calibration_target instrument257 GroundStation7)
	(instrument instrument258)
	(supports instrument258 infrared12)
	(calibration_target instrument258 GroundStation3)
	(calibration_target instrument258 Star2)
	(instrument instrument259)
	(supports instrument259 image10)
	(supports instrument259 thermograph6)
	(calibration_target instrument259 GroundStation11)
	(instrument instrument260)
	(supports instrument260 image10)
	(calibration_target instrument260 Star4)
	(calibration_target instrument260 Star2)
	(calibration_target instrument260 Star9)
	(calibration_target instrument260 Star1)
	(calibration_target instrument260 GroundStation5)
	(on_board instrument240 satellite15)
	(on_board instrument241 satellite15)
	(on_board instrument242 satellite15)
	(on_board instrument243 satellite15)
	(on_board instrument244 satellite15)
	(on_board instrument245 satellite15)
	(on_board instrument246 satellite15)
	(on_board instrument247 satellite15)
	(on_board instrument248 satellite15)
	(on_board instrument249 satellite15)
	(on_board instrument250 satellite15)
	(on_board instrument251 satellite15)
	(on_board instrument252 satellite15)
	(on_board instrument253 satellite15)
	(on_board instrument254 satellite15)
	(on_board instrument255 satellite15)
	(on_board instrument256 satellite15)
	(on_board instrument257 satellite15)
	(on_board instrument258 satellite15)
	(on_board instrument259 satellite15)
	(on_board instrument260 satellite15)
	(power_avail satellite15)
	(pointing satellite15 Star65)
	(satellite satellite16)
	(instrument instrument261)
	(supports instrument261 spectrograph26)
	(supports instrument261 image8)
	(calibration_target instrument261 GroundStation3)
	(calibration_target instrument261 GroundStation11)
	(calibration_target instrument261 Star4)
	(instrument instrument262)
	(supports instrument262 infrared0)
	(calibration_target instrument262 GroundStation10)
	(calibration_target instrument262 GroundStation11)
	(calibration_target instrument262 Star8)
	(calibration_target instrument262 Star1)
	(instrument instrument263)
	(supports instrument263 infrared0)
	(supports instrument263 image21)
	(supports instrument263 infrared23)
	(calibration_target instrument263 Star2)
	(calibration_target instrument263 Star4)
	(calibration_target instrument263 GroundStation3)
	(instrument instrument264)
	(supports instrument264 infrared4)
	(calibration_target instrument264 GroundStation10)
	(calibration_target instrument264 GroundStation3)
	(calibration_target instrument264 Star9)
	(instrument instrument265)
	(supports instrument265 thermograph19)
	(supports instrument265 image10)
	(supports instrument265 spectrograph26)
	(calibration_target instrument265 GroundStation0)
	(instrument instrument266)
	(supports instrument266 spectrograph16)
	(calibration_target instrument266 GroundStation10)
	(calibration_target instrument266 GroundStation11)
	(instrument instrument267)
	(supports instrument267 spectrograph26)
	(calibration_target instrument267 Star9)
	(calibration_target instrument267 Star8)
	(calibration_target instrument267 GroundStation11)
	(instrument instrument268)
	(supports instrument268 infrared22)
	(supports instrument268 thermograph19)
	(supports instrument268 infrared1)
	(calibration_target instrument268 Star4)
	(calibration_target instrument268 Star13)
	(calibration_target instrument268 Star8)
	(calibration_target instrument268 Star6)
	(instrument instrument269)
	(supports instrument269 image2)
	(supports instrument269 image21)
	(supports instrument269 thermograph13)
	(calibration_target instrument269 GroundStation11)
	(calibration_target instrument269 GroundStation14)
	(calibration_target instrument269 GroundStation5)
	(calibration_target instrument269 Star9)
	(calibration_target instrument269 GroundStation7)
	(instrument instrument270)
	(supports instrument270 image17)
	(supports instrument270 infrared20)
	(calibration_target instrument270 Star6)
	(calibration_target instrument270 Star2)
	(instrument instrument271)
	(supports instrument271 image21)
	(supports instrument271 thermograph15)
	(calibration_target instrument271 GroundStation0)
	(calibration_target instrument271 GroundStation14)
	(calibration_target instrument271 Star2)
	(calibration_target instrument271 Star9)
	(calibration_target instrument271 Star4)
	(on_board instrument261 satellite16)
	(on_board instrument262 satellite16)
	(on_board instrument263 satellite16)
	(on_board instrument264 satellite16)
	(on_board instrument265 satellite16)
	(on_board instrument266 satellite16)
	(on_board instrument267 satellite16)
	(on_board instrument268 satellite16)
	(on_board instrument269 satellite16)
	(on_board instrument270 satellite16)
	(on_board instrument271 satellite16)
	(power_avail satellite16)
	(pointing satellite16 Star51)
	(satellite satellite17)
	(instrument instrument272)
	(supports instrument272 infrared18)
	(calibration_target instrument272 Star8)
	(calibration_target instrument272 Star13)
	(calibration_target instrument272 GroundStation0)
	(calibration_target instrument272 Star4)
	(instrument instrument273)
	(supports instrument273 thermograph15)
	(supports instrument273 image21)
	(calibration_target instrument273 Star2)
	(calibration_target instrument273 GroundStation0)
	(calibration_target instrument273 Star6)
	(calibration_target instrument273 GroundStation3)
	(calibration_target instrument273 GroundStation7)
	(instrument instrument274)
	(supports instrument274 thermograph19)
	(calibration_target instrument274 Star13)
	(calibration_target instrument274 Star8)
	(calibration_target instrument274 Star12)
	(calibration_target instrument274 GroundStation3)
	(calibration_target instrument274 GroundStation7)
	(instrument instrument275)
	(supports instrument275 infrared12)
	(supports instrument275 image10)
	(calibration_target instrument275 Star1)
	(calibration_target instrument275 Star6)
	(calibration_target instrument275 Star4)
	(instrument instrument276)
	(supports instrument276 infrared24)
	(supports instrument276 spectrograph26)
	(calibration_target instrument276 GroundStation3)
	(calibration_target instrument276 GroundStation5)
	(calibration_target instrument276 Star12)
	(instrument instrument277)
	(supports instrument277 infrared18)
	(supports instrument277 spectrograph26)
	(supports instrument277 thermograph15)
	(calibration_target instrument277 Star4)
	(calibration_target instrument277 Star8)
	(calibration_target instrument277 Star2)
	(instrument instrument278)
	(supports instrument278 infrared1)
	(supports instrument278 infrared20)
	(supports instrument278 infrared0)
	(calibration_target instrument278 Star9)
	(calibration_target instrument278 Star8)
	(calibration_target instrument278 Star6)
	(calibration_target instrument278 GroundStation0)
	(on_board instrument272 satellite17)
	(on_board instrument273 satellite17)
	(on_board instrument274 satellite17)
	(on_board instrument275 satellite17)
	(on_board instrument276 satellite17)
	(on_board instrument277 satellite17)
	(on_board instrument278 satellite17)
	(power_avail satellite17)
	(pointing satellite17 GroundStation5)
	(satellite satellite18)
	(instrument instrument279)
	(supports instrument279 infrared24)
	(calibration_target instrument279 Star8)
	(calibration_target instrument279 GroundStation14)
	(instrument instrument280)
	(supports instrument280 image2)
	(supports instrument280 thermograph13)
	(calibration_target instrument280 Star2)
	(calibration_target instrument280 GroundStation11)
	(calibration_target instrument280 GroundStation5)
	(calibration_target instrument280 GroundStation10)
	(instrument instrument281)
	(supports instrument281 infrared27)
	(supports instrument281 spectrograph5)
	(supports instrument281 infrared4)
	(calibration_target instrument281 GroundStation5)
	(calibration_target instrument281 Star6)
	(calibration_target instrument281 GroundStation10)
	(calibration_target instrument281 Star2)
	(calibration_target instrument281 GroundStation14)
	(instrument instrument282)
	(supports instrument282 image2)
	(supports instrument282 infrared24)
	(calibration_target instrument282 Star9)
	(instrument instrument283)
	(supports instrument283 image7)
	(supports instrument283 image2)
	(calibration_target instrument283 GroundStation14)
	(calibration_target instrument283 GroundStation7)
	(calibration_target instrument283 Star8)
	(calibration_target instrument283 Star12)
	(instrument instrument284)
	(supports instrument284 image21)
	(calibration_target instrument284 GroundStation7)
	(instrument instrument285)
	(supports instrument285 infrared24)
	(supports instrument285 infrared1)
	(supports instrument285 infrared27)
	(calibration_target instrument285 GroundStation10)
	(calibration_target instrument285 Star6)
	(instrument instrument286)
	(supports instrument286 infrared24)
	(supports instrument286 image14)
	(calibration_target instrument286 Star2)
	(calibration_target instrument286 GroundStation14)
	(calibration_target instrument286 GroundStation3)
	(calibration_target instrument286 GroundStation11)
	(calibration_target instrument286 Star9)
	(instrument instrument287)
	(supports instrument287 infrared11)
	(supports instrument287 thermograph13)
	(supports instrument287 image2)
	(calibration_target instrument287 GroundStation3)
	(calibration_target instrument287 GroundStation10)
	(calibration_target instrument287 Star8)
	(instrument instrument288)
	(supports instrument288 infrared24)
	(supports instrument288 image7)
	(supports instrument288 spectrograph16)
	(calibration_target instrument288 GroundStation10)
	(instrument instrument289)
	(supports instrument289 infrared3)
	(calibration_target instrument289 GroundStation7)
	(calibration_target instrument289 Star8)
	(calibration_target instrument289 GroundStation3)
	(calibration_target instrument289 Star2)
	(instrument instrument290)
	(supports instrument290 image14)
	(supports instrument290 thermograph9)
	(supports instrument290 infrared1)
	(calibration_target instrument290 Star8)
	(calibration_target instrument290 Star4)
	(calibration_target instrument290 GroundStation5)
	(instrument instrument291)
	(supports instrument291 image14)
	(calibration_target instrument291 Star8)
	(calibration_target instrument291 GroundStation3)
	(calibration_target instrument291 Star1)
	(calibration_target instrument291 Star13)
	(calibration_target instrument291 GroundStation10)
	(instrument instrument292)
	(supports instrument292 infrared0)
	(supports instrument292 thermograph15)
	(calibration_target instrument292 Star6)
	(calibration_target instrument292 GroundStation10)
	(calibration_target instrument292 Star9)
	(calibration_target instrument292 GroundStation3)
	(calibration_target instrument292 Star2)
	(on_board instrument279 satellite18)
	(on_board instrument280 satellite18)
	(on_board instrument281 satellite18)
	(on_board instrument282 satellite18)
	(on_board instrument283 satellite18)
	(on_board instrument284 satellite18)
	(on_board instrument285 satellite18)
	(on_board instrument286 satellite18)
	(on_board instrument287 satellite18)
	(on_board instrument288 satellite18)
	(on_board instrument289 satellite18)
	(on_board instrument290 satellite18)
	(on_board instrument291 satellite18)
	(on_board instrument292 satellite18)
	(power_avail satellite18)
	(pointing satellite18 Phenomenon23)
	(satellite satellite19)
	(instrument instrument293)
	(supports instrument293 infrared23)
	(supports instrument293 infrared22)
	(supports instrument293 image14)
	(calibration_target instrument293 Star12)
	(calibration_target instrument293 GroundStation0)
	(calibration_target instrument293 Star13)
	(calibration_target instrument293 GroundStation3)
	(instrument instrument294)
	(supports instrument294 infrared18)
	(supports instrument294 spectrograph16)
	(supports instrument294 infrared23)
	(calibration_target instrument294 GroundStation11)
	(on_board instrument293 satellite19)
	(on_board instrument294 satellite19)
	(power_avail satellite19)
	(pointing satellite19 GroundStation3)
	(satellite satellite20)
	(instrument instrument295)
	(supports instrument295 thermograph6)
	(calibration_target instrument295 Star4)
	(calibration_target instrument295 GroundStation11)
	(calibration_target instrument295 GroundStation10)
	(instrument instrument296)
	(supports instrument296 spectrograph16)
	(supports instrument296 infrared0)
	(calibration_target instrument296 Star6)
	(calibration_target instrument296 Star12)
	(instrument instrument297)
	(supports instrument297 thermograph9)
	(supports instrument297 image8)
	(calibration_target instrument297 Star12)
	(calibration_target instrument297 GroundStation5)
	(calibration_target instrument297 GroundStation10)
	(instrument instrument298)
	(supports instrument298 thermograph9)
	(calibration_target instrument298 GroundStation7)
	(calibration_target instrument298 Star8)
	(calibration_target instrument298 GroundStation11)
	(instrument instrument299)
	(supports instrument299 infrared18)
	(calibration_target instrument299 Star4)
	(calibration_target instrument299 GroundStation3)
	(calibration_target instrument299 GroundStation0)
	(instrument instrument300)
	(supports instrument300 image8)
	(calibration_target instrument300 Star12)
	(calibration_target instrument300 Star8)
	(calibration_target instrument300 GroundStation5)
	(instrument instrument301)
	(supports instrument301 thermograph19)
	(supports instrument301 infrared22)
	(supports instrument301 infrared25)
	(calibration_target instrument301 Star4)
	(calibration_target instrument301 GroundStation10)
	(instrument instrument302)
	(supports instrument302 image8)
	(calibration_target instrument302 GroundStation5)
	(calibration_target instrument302 Star4)
	(instrument instrument303)
	(supports instrument303 infrared11)
	(supports instrument303 thermograph15)
	(calibration_target instrument303 GroundStation5)
	(calibration_target instrument303 GroundStation7)
	(calibration_target instrument303 Star12)
	(calibration_target instrument303 Star4)
	(instrument instrument304)
	(supports instrument304 image10)
	(supports instrument304 infrared4)
	(calibration_target instrument304 Star13)
	(instrument instrument305)
	(supports instrument305 infrared23)
	(calibration_target instrument305 GroundStation10)
	(calibration_target instrument305 Star13)
	(calibration_target instrument305 GroundStation3)
	(calibration_target instrument305 Star4)
	(instrument instrument306)
	(supports instrument306 spectrograph16)
	(calibration_target instrument306 GroundStation0)
	(calibration_target instrument306 Star9)
	(instrument instrument307)
	(supports instrument307 infrared4)
	(supports instrument307 image7)
	(supports instrument307 thermograph19)
	(calibration_target instrument307 GroundStation0)
	(calibration_target instrument307 Star6)
	(instrument instrument308)
	(supports instrument308 image8)
	(supports instrument308 thermograph13)
	(calibration_target instrument308 Star9)
	(calibration_target instrument308 Star6)
	(calibration_target instrument308 Star1)
	(instrument instrument309)
	(supports instrument309 thermograph15)
	(calibration_target instrument309 Star13)
	(calibration_target instrument309 GroundStation5)
	(calibration_target instrument309 GroundStation10)
	(calibration_target instrument309 GroundStation11)
	(instrument instrument310)
	(supports instrument310 infrared27)
	(supports instrument310 image10)
	(calibration_target instrument310 GroundStation14)
	(calibration_target instrument310 Star13)
	(calibration_target instrument310 GroundStation5)
	(calibration_target instrument310 GroundStation7)
	(calibration_target instrument310 GroundStation0)
	(instrument instrument311)
	(supports instrument311 image21)
	(calibration_target instrument311 GroundStation11)
	(calibration_target instrument311 Star8)
	(instrument instrument312)
	(supports instrument312 infrared4)
	(supports instrument312 image14)
	(supports instrument312 image2)
	(calibration_target instrument312 GroundStation7)
	(calibration_target instrument312 Star2)
	(calibration_target instrument312 GroundStation0)
	(instrument instrument313)
	(supports instrument313 infrared23)
	(supports instrument313 spectrograph26)
	(calibration_target instrument313 GroundStation5)
	(calibration_target instrument313 Star4)
	(calibration_target instrument313 GroundStation11)
	(instrument instrument314)
	(supports instrument314 infrared25)
	(calibration_target instrument314 GroundStation10)
	(calibration_target instrument314 Star2)
	(calibration_target instrument314 GroundStation3)
	(calibration_target instrument314 GroundStation5)
	(instrument instrument315)
	(supports instrument315 infrared12)
	(supports instrument315 infrared4)
	(supports instrument315 infrared18)
	(calibration_target instrument315 Star2)
	(calibration_target instrument315 Star12)
	(calibration_target instrument315 GroundStation3)
	(calibration_target instrument315 Star4)
	(instrument instrument316)
	(supports instrument316 infrared25)
	(supports instrument316 infrared11)
	(supports instrument316 spectrograph16)
	(calibration_target instrument316 GroundStation11)
	(calibration_target instrument316 Star2)
	(calibration_target instrument316 Star9)
	(calibration_target instrument316 Star12)
	(calibration_target instrument316 GroundStation5)
	(instrument instrument317)
	(supports instrument317 infrared1)
	(supports instrument317 image17)
	(supports instrument317 spectrograph16)
	(calibration_target instrument317 GroundStation11)
	(calibration_target instrument317 Star8)
	(instrument instrument318)
	(supports instrument318 thermograph29)
	(supports instrument318 image14)
	(calibration_target instrument318 GroundStation7)
	(calibration_target instrument318 GroundStation11)
	(calibration_target instrument318 Star2)
	(instrument instrument319)
	(supports instrument319 infrared11)
	(supports instrument319 image17)
	(calibration_target instrument319 Star1)
	(calibration_target instrument319 GroundStation11)
	(calibration_target instrument319 GroundStation14)
	(instrument instrument320)
	(supports instrument320 infrared20)
	(calibration_target instrument320 GroundStation3)
	(calibration_target instrument320 Star13)
	(calibration_target instrument320 GroundStation14)
	(calibration_target instrument320 Star2)
	(calibration_target instrument320 GroundStation0)
	(instrument instrument321)
	(supports instrument321 spectrograph5)
	(supports instrument321 thermograph9)
	(calibration_target instrument321 GroundStation3)
	(calibration_target instrument321 GroundStation5)
	(calibration_target instrument321 Star8)
	(instrument instrument322)
	(supports instrument322 image8)
	(calibration_target instrument322 Star6)
	(calibration_target instrument322 Star1)
	(instrument instrument323)
	(supports instrument323 image8)
	(supports instrument323 infrared12)
	(calibration_target instrument323 GroundStation7)
	(calibration_target instrument323 GroundStation5)
	(instrument instrument324)
	(supports instrument324 thermograph19)
	(supports instrument324 thermograph9)
	(supports instrument324 infrared11)
	(calibration_target instrument324 GroundStation3)
	(calibration_target instrument324 GroundStation0)
	(calibration_target instrument324 Star1)
	(calibration_target instrument324 GroundStation7)
	(on_board instrument295 satellite20)
	(on_board instrument296 satellite20)
	(on_board instrument297 satellite20)
	(on_board instrument298 satellite20)
	(on_board instrument299 satellite20)
	(on_board instrument300 satellite20)
	(on_board instrument301 satellite20)
	(on_board instrument302 satellite20)
	(on_board instrument303 satellite20)
	(on_board instrument304 satellite20)
	(on_board instrument305 satellite20)
	(on_board instrument306 satellite20)
	(on_board instrument307 satellite20)
	(on_board instrument308 satellite20)
	(on_board instrument309 satellite20)
	(on_board instrument310 satellite20)
	(on_board instrument311 satellite20)
	(on_board instrument312 satellite20)
	(on_board instrument313 satellite20)
	(on_board instrument314 satellite20)
	(on_board instrument315 satellite20)
	(on_board instrument316 satellite20)
	(on_board instrument317 satellite20)
	(on_board instrument318 satellite20)
	(on_board instrument319 satellite20)
	(on_board instrument320 satellite20)
	(on_board instrument321 satellite20)
	(on_board instrument322 satellite20)
	(on_board instrument323 satellite20)
	(on_board instrument324 satellite20)
	(power_avail satellite20)
	(pointing satellite20 Planet66)
	(satellite satellite21)
	(instrument instrument325)
	(supports instrument325 infrared20)
	(supports instrument325 infrared12)
	(supports instrument325 thermograph13)
	(calibration_target instrument325 Star13)
	(calibration_target instrument325 Star8)
	(calibration_target instrument325 Star4)
	(calibration_target instrument325 GroundStation11)
	(instrument instrument326)
	(supports instrument326 infrared20)
	(calibration_target instrument326 GroundStation11)
	(calibration_target instrument326 Star6)
	(calibration_target instrument326 Star2)
	(instrument instrument327)
	(supports instrument327 infrared11)
	(supports instrument327 thermograph13)
	(supports instrument327 thermograph19)
	(calibration_target instrument327 Star12)
	(calibration_target instrument327 GroundStation5)
	(calibration_target instrument327 GroundStation3)
	(instrument instrument328)
	(supports instrument328 image2)
	(calibration_target instrument328 Star6)
	(instrument instrument329)
	(supports instrument329 infrared11)
	(calibration_target instrument329 Star1)
	(calibration_target instrument329 Star9)
	(calibration_target instrument329 Star4)
	(instrument instrument330)
	(supports instrument330 infrared4)
	(calibration_target instrument330 Star12)
	(instrument instrument331)
	(supports instrument331 infrared1)
	(calibration_target instrument331 GroundStation10)
	(calibration_target instrument331 GroundStation11)
	(calibration_target instrument331 GroundStation0)
	(calibration_target instrument331 GroundStation7)
	(instrument instrument332)
	(supports instrument332 spectrograph5)
	(supports instrument332 thermograph15)
	(supports instrument332 infrared1)
	(calibration_target instrument332 Star13)
	(calibration_target instrument332 Star8)
	(on_board instrument325 satellite21)
	(on_board instrument326 satellite21)
	(on_board instrument327 satellite21)
	(on_board instrument328 satellite21)
	(on_board instrument329 satellite21)
	(on_board instrument330 satellite21)
	(on_board instrument331 satellite21)
	(on_board instrument332 satellite21)
	(power_avail satellite21)
	(pointing satellite21 Phenomenon17)
	(satellite satellite22)
	(instrument instrument333)
	(supports instrument333 infrared3)
	(supports instrument333 infrared18)
	(supports instrument333 thermograph13)
	(calibration_target instrument333 Star13)
	(instrument instrument334)
	(supports instrument334 image14)
	(calibration_target instrument334 Star6)
	(calibration_target instrument334 GroundStation3)
	(calibration_target instrument334 Star9)
	(calibration_target instrument334 GroundStation11)
	(instrument instrument335)
	(supports instrument335 infrared11)
	(calibration_target instrument335 GroundStation7)
	(calibration_target instrument335 Star6)
	(calibration_target instrument335 GroundStation5)
	(instrument instrument336)
	(supports instrument336 spectrograph5)
	(supports instrument336 image10)
	(calibration_target instrument336 GroundStation3)
	(calibration_target instrument336 Star12)
	(instrument instrument337)
	(supports instrument337 thermograph19)
	(supports instrument337 spectrograph28)
	(calibration_target instrument337 GroundStation14)
	(calibration_target instrument337 GroundStation5)
	(calibration_target instrument337 GroundStation3)
	(calibration_target instrument337 Star1)
	(instrument instrument338)
	(supports instrument338 image2)
	(calibration_target instrument338 Star1)
	(calibration_target instrument338 Star4)
	(calibration_target instrument338 GroundStation0)
	(calibration_target instrument338 GroundStation3)
	(instrument instrument339)
	(supports instrument339 thermograph19)
	(supports instrument339 image14)
	(calibration_target instrument339 GroundStation14)
	(calibration_target instrument339 GroundStation10)
	(calibration_target instrument339 Star6)
	(calibration_target instrument339 Star13)
	(instrument instrument340)
	(supports instrument340 image2)
	(calibration_target instrument340 GroundStation7)
	(instrument instrument341)
	(supports instrument341 infrared4)
	(supports instrument341 infrared25)
	(supports instrument341 thermograph19)
	(calibration_target instrument341 Star2)
	(instrument instrument342)
	(supports instrument342 infrared22)
	(calibration_target instrument342 Star1)
	(calibration_target instrument342 Star8)
	(calibration_target instrument342 Star6)
	(instrument instrument343)
	(supports instrument343 spectrograph16)
	(supports instrument343 thermograph29)
	(supports instrument343 infrared0)
	(calibration_target instrument343 Star13)
	(calibration_target instrument343 Star2)
	(calibration_target instrument343 GroundStation7)
	(calibration_target instrument343 Star6)
	(instrument instrument344)
	(supports instrument344 spectrograph5)
	(calibration_target instrument344 Star8)
	(instrument instrument345)
	(supports instrument345 infrared22)
	(supports instrument345 spectrograph5)
	(supports instrument345 image14)
	(calibration_target instrument345 Star9)
	(instrument instrument346)
	(supports instrument346 image21)
	(supports instrument346 thermograph29)
	(supports instrument346 spectrograph16)
	(calibration_target instrument346 GroundStation10)
	(calibration_target instrument346 Star13)
	(calibration_target instrument346 Star9)
	(calibration_target instrument346 Star6)
	(instrument instrument347)
	(supports instrument347 image21)
	(calibration_target instrument347 Star12)
	(calibration_target instrument347 Star8)
	(calibration_target instrument347 Star9)
	(calibration_target instrument347 GroundStation5)
	(instrument instrument348)
	(supports instrument348 thermograph19)
	(supports instrument348 image8)
	(supports instrument348 image10)
	(calibration_target instrument348 Star1)
	(calibration_target instrument348 Star9)
	(calibration_target instrument348 Star2)
	(calibration_target instrument348 GroundStation7)
	(calibration_target instrument348 GroundStation10)
	(instrument instrument349)
	(supports instrument349 infrared23)
	(supports instrument349 infrared22)
	(supports instrument349 infrared24)
	(calibration_target instrument349 GroundStation3)
	(calibration_target instrument349 GroundStation11)
	(calibration_target instrument349 Star8)
	(calibration_target instrument349 GroundStation14)
	(calibration_target instrument349 GroundStation7)
	(instrument instrument350)
	(supports instrument350 image7)
	(calibration_target instrument350 Star9)
	(calibration_target instrument350 Star1)
	(calibration_target instrument350 GroundStation7)
	(calibration_target instrument350 GroundStation3)
	(calibration_target instrument350 GroundStation5)
	(instrument instrument351)
	(supports instrument351 image8)
	(calibration_target instrument351 Star9)
	(calibration_target instrument351 GroundStation0)
	(calibration_target instrument351 GroundStation14)
	(calibration_target instrument351 Star1)
	(instrument instrument352)
	(supports instrument352 spectrograph16)
	(supports instrument352 thermograph29)
	(supports instrument352 thermograph9)
	(calibration_target instrument352 GroundStation0)
	(calibration_target instrument352 GroundStation10)
	(calibration_target instrument352 Star9)
	(calibration_target instrument352 GroundStation14)
	(instrument instrument353)
	(supports instrument353 thermograph6)
	(supports instrument353 spectrograph26)
	(calibration_target instrument353 Star6)
	(calibration_target instrument353 GroundStation7)
	(calibration_target instrument353 GroundStation5)
	(calibration_target instrument353 Star12)
	(calibration_target instrument353 GroundStation11)
	(instrument instrument354)
	(supports instrument354 image2)
	(calibration_target instrument354 GroundStation11)
	(on_board instrument333 satellite22)
	(on_board instrument334 satellite22)
	(on_board instrument335 satellite22)
	(on_board instrument336 satellite22)
	(on_board instrument337 satellite22)
	(on_board instrument338 satellite22)
	(on_board instrument339 satellite22)
	(on_board instrument340 satellite22)
	(on_board instrument341 satellite22)
	(on_board instrument342 satellite22)
	(on_board instrument343 satellite22)
	(on_board instrument344 satellite22)
	(on_board instrument345 satellite22)
	(on_board instrument346 satellite22)
	(on_board instrument347 satellite22)
	(on_board instrument348 satellite22)
	(on_board instrument349 satellite22)
	(on_board instrument350 satellite22)
	(on_board instrument351 satellite22)
	(on_board instrument352 satellite22)
	(on_board instrument353 satellite22)
	(on_board instrument354 satellite22)
	(power_avail satellite22)
	(pointing satellite22 Phenomenon37)
	(satellite satellite23)
	(instrument instrument355)
	(supports instrument355 thermograph29)
	(calibration_target instrument355 GroundStation7)
	(calibration_target instrument355 Star12)
	(calibration_target instrument355 GroundStation14)
	(calibration_target instrument355 GroundStation5)
	(calibration_target instrument355 GroundStation0)
	(instrument instrument356)
	(supports instrument356 thermograph15)
	(supports instrument356 spectrograph28)
	(supports instrument356 infrared3)
	(calibration_target instrument356 Star9)
	(calibration_target instrument356 GroundStation11)
	(calibration_target instrument356 Star8)
	(calibration_target instrument356 Star6)
	(calibration_target instrument356 GroundStation3)
	(instrument instrument357)
	(supports instrument357 image10)
	(calibration_target instrument357 Star1)
	(instrument instrument358)
	(supports instrument358 infrared12)
	(calibration_target instrument358 GroundStation3)
	(instrument instrument359)
	(supports instrument359 infrared27)
	(supports instrument359 thermograph29)
	(supports instrument359 infrared11)
	(calibration_target instrument359 GroundStation3)
	(calibration_target instrument359 Star4)
	(calibration_target instrument359 Star2)
	(calibration_target instrument359 GroundStation5)
	(calibration_target instrument359 GroundStation14)
	(instrument instrument360)
	(supports instrument360 image10)
	(calibration_target instrument360 GroundStation3)
	(calibration_target instrument360 Star1)
	(calibration_target instrument360 GroundStation7)
	(calibration_target instrument360 Star4)
	(instrument instrument361)
	(supports instrument361 spectrograph5)
	(supports instrument361 image8)
	(supports instrument361 thermograph19)
	(calibration_target instrument361 Star8)
	(calibration_target instrument361 GroundStation11)
	(instrument instrument362)
	(supports instrument362 image17)
	(supports instrument362 thermograph6)
	(calibration_target instrument362 Star6)
	(calibration_target instrument362 GroundStation11)
	(calibration_target instrument362 GroundStation5)
	(instrument instrument363)
	(supports instrument363 infrared1)
	(calibration_target instrument363 GroundStation11)
	(calibration_target instrument363 Star13)
	(calibration_target instrument363 Star2)
	(calibration_target instrument363 Star9)
	(instrument instrument364)
	(supports instrument364 thermograph15)
	(supports instrument364 spectrograph28)
	(supports instrument364 spectrograph16)
	(calibration_target instrument364 Star2)
	(instrument instrument365)
	(supports instrument365 image17)
	(supports instrument365 infrared23)
	(calibration_target instrument365 Star13)
	(calibration_target instrument365 Star2)
	(calibration_target instrument365 GroundStation14)
	(calibration_target instrument365 GroundStation0)
	(instrument instrument366)
	(supports instrument366 image2)
	(supports instrument366 image10)
	(supports instrument366 spectrograph26)
	(calibration_target instrument366 GroundStation11)
	(calibration_target instrument366 GroundStation14)
	(instrument instrument367)
	(supports instrument367 infrared27)
	(supports instrument367 image2)
	(calibration_target instrument367 Star4)
	(calibration_target instrument367 Star6)
	(on_board instrument355 satellite23)
	(on_board instrument356 satellite23)
	(on_board instrument357 satellite23)
	(on_board instrument358 satellite23)
	(on_board instrument359 satellite23)
	(on_board instrument360 satellite23)
	(on_board instrument361 satellite23)
	(on_board instrument362 satellite23)
	(on_board instrument363 satellite23)
	(on_board instrument364 satellite23)
	(on_board instrument365 satellite23)
	(on_board instrument366 satellite23)
	(on_board instrument367 satellite23)
	(power_avail satellite23)
	(pointing satellite23 Phenomenon39)
	(satellite satellite24)
	(instrument instrument368)
	(supports instrument368 infrared1)
	(supports instrument368 image21)
	(supports instrument368 spectrograph28)
	(calibration_target instrument368 GroundStation5)
	(calibration_target instrument368 GroundStation3)
	(calibration_target instrument368 Star1)
	(instrument instrument369)
	(supports instrument369 thermograph15)
	(calibration_target instrument369 GroundStation5)
	(calibration_target instrument369 GroundStation0)
	(calibration_target instrument369 Star1)
	(instrument instrument370)
	(supports instrument370 image21)
	(supports instrument370 infrared20)
	(calibration_target instrument370 Star9)
	(calibration_target instrument370 Star4)
	(calibration_target instrument370 Star13)
	(calibration_target instrument370 GroundStation11)
	(calibration_target instrument370 GroundStation3)
	(instrument instrument371)
	(supports instrument371 infrared25)
	(supports instrument371 infrared12)
	(calibration_target instrument371 Star2)
	(calibration_target instrument371 Star8)
	(calibration_target instrument371 GroundStation11)
	(calibration_target instrument371 GroundStation10)
	(on_board instrument368 satellite24)
	(on_board instrument369 satellite24)
	(on_board instrument370 satellite24)
	(on_board instrument371 satellite24)
	(power_avail satellite24)
	(pointing satellite24 Phenomenon53)
	(mode thermograph13)
	(mode infrared18)
	(mode infrared4)
	(mode infrared0)
	(mode image14)
	(mode infrared24)
	(mode infrared22)
	(mode image7)
	(mode thermograph9)
	(mode infrared3)
	(mode infrared11)
	(mode thermograph29)
	(mode thermograph19)
	(mode image8)
	(mode spectrograph5)
	(mode thermograph6)
	(mode spectrograph16)
	(mode infrared23)
	(mode image17)
	(mode spectrograph26)
	(mode image10)
	(mode image2)
	(mode infrared27)
	(mode spectrograph28)
	(mode infrared1)
	(mode thermograph15)
	(mode infrared20)
	(mode image21)
	(mode infrared12)
	(mode infrared25)
	(direction Star12)
	(direction GroundStation7)
	(direction GroundStation14)
	(direction Star6)
	(direction Star1)
	(direction GroundStation0)
	(direction GroundStation5)
	(direction GroundStation3)
	(direction Star13)
	(direction Star4)
	(direction Star9)
	(direction GroundStation10)
	(direction GroundStation11)
	(direction Star8)
	(direction Star2)
	(direction Star15)
	(direction Star16)
	(direction Phenomenon17)
	(direction Planet18)
	(direction Star19)
	(direction Star20)
	(direction Planet21)
	(direction Phenomenon22)
	(direction Phenomenon23)
	(direction Star24)
	(direction Phenomenon25)
	(direction Planet26)
	(direction Star27)
	(direction Phenomenon28)
	(direction Star29)
	(direction Star30)
	(direction Planet31)
	(direction Star32)
	(direction Phenomenon33)
	(direction Phenomenon34)
	(direction Planet35)
	(direction Phenomenon36)
	(direction Phenomenon37)
	(direction Planet38)
	(direction Phenomenon39)
	(direction Star40)
	(direction Phenomenon41)
	(direction Planet42)
	(direction Planet43)
	(direction Star44)
	(direction Planet45)
	(direction Star46)
	(direction Star47)
	(direction Star48)
	(direction Planet49)
	(direction Star50)
	(direction Star51)
	(direction Star52)
	(direction Phenomenon53)
	(direction Planet54)
	(direction Planet55)
	(direction Planet56)
	(direction Star57)
	(direction Planet58)
	(direction Star59)
	(direction Planet60)
	(direction Phenomenon61)
	(direction Phenomenon62)
	(direction Planet63)
	(direction Phenomenon64)
	(direction Star65)
	(direction Planet66)
	(direction Phenomenon67)
	(direction Phenomenon68)
	(direction Star69)
	(direction Phenomenon70)
	(direction Planet71)
	(direction Phenomenon72)
	(direction Star73)
	(direction Phenomenon74)
)
(:goal (and
	(pointing satellite2 Planet31)
	(pointing satellite5 Star15)
	(pointing satellite6 Phenomenon36)
	(pointing satellite7 Phenomenon64)
	(pointing satellite9 GroundStation14)
	(pointing satellite10 Star32)
	(pointing satellite13 Star27)
	(pointing satellite14 Phenomenon68)
	(pointing satellite16 Planet21)
	(pointing satellite18 Phenomenon23)
	(pointing satellite21 Phenomenon25)
	(pointing satellite23 Phenomenon41)
	(pointing satellite24 Star30)
	(have_image Star15 thermograph9)
	(have_image Star15 infrared24)
	(have_image Phenomenon17 thermograph15)
	(have_image Phenomenon17 spectrograph28)
	(have_image Phenomenon17 infrared12)
	(have_image Star19 image21)
	(have_image Star19 thermograph6)
	(have_image Star19 thermograph15)
	(have_image Star19 image10)
	(have_image Star19 infrared20)
	(have_image Star19 thermograph19)
	(have_image Star19 spectrograph26)
	(have_image Star19 spectrograph28)
	(have_image Star19 infrared27)
	(have_image Star19 infrared22)
	(have_image Star20 infrared27)
	(have_image Star20 image2)
	(have_image Star20 thermograph19)
	(have_image Planet21 infrared24)
	(have_image Planet21 spectrograph16)
	(have_image Planet21 image14)
	(have_image Planet21 infrared0)
	(have_image Planet21 infrared22)
	(have_image Planet21 infrared27)
	(have_image Phenomenon22 image2)
	(have_image Phenomenon22 infrared0)
	(have_image Phenomenon22 image17)
	(have_image Phenomenon22 thermograph19)
	(have_image Phenomenon22 spectrograph16)
	(have_image Phenomenon22 infrared20)
	(have_image Phenomenon22 thermograph9)
	(have_image Phenomenon22 spectrograph5)
	(have_image Phenomenon22 infrared4)
	(have_image Phenomenon23 thermograph29)
	(have_image Phenomenon23 infrared24)
	(have_image Star24 infrared22)
	(have_image Star24 image17)
	(have_image Star24 spectrograph5)
	(have_image Star24 infrared20)
	(have_image Star24 infrared23)
	(have_image Star24 spectrograph16)
	(have_image Star24 thermograph9)
	(have_image Star24 infrared27)
	(have_image Phenomenon25 infrared12)
	(have_image Phenomenon25 thermograph6)
	(have_image Phenomenon25 image10)
	(have_image Phenomenon25 infrared23)
	(have_image Phenomenon25 image21)
	(have_image Phenomenon25 image14)
	(have_image Phenomenon25 infrared25)
	(have_image Phenomenon25 infrared0)
	(have_image Planet26 image21)
	(have_image Planet26 infrared23)
	(have_image Planet26 infrared1)
	(have_image Planet26 thermograph6)
	(have_image Planet26 infrared4)
	(have_image Planet26 image2)
	(have_image Planet26 thermograph19)
	(have_image Planet26 infrared11)
	(have_image Planet26 image10)
	(have_image Planet26 spectrograph16)
	(have_image Star27 infrared1)
	(have_image Star27 infrared12)
	(have_image Phenomenon28 image8)
	(have_image Phenomenon28 image14)
	(have_image Phenomenon28 thermograph19)
	(have_image Star29 spectrograph26)
	(have_image Star29 image7)
	(have_image Star29 infrared12)
	(have_image Star29 spectrograph28)
	(have_image Star29 image14)
	(have_image Star29 spectrograph5)
	(have_image Star29 image17)
	(have_image Star29 thermograph9)
	(have_image Star30 image2)
	(have_image Planet31 thermograph13)
	(have_image Planet31 image14)
	(have_image Planet31 infrared23)
	(have_image Phenomenon33 infrared12)
	(have_image Phenomenon33 spectrograph26)
	(have_image Phenomenon33 image8)
	(have_image Phenomenon33 infrared24)
	(have_image Phenomenon33 thermograph29)
	(have_image Phenomenon33 image21)
	(have_image Phenomenon33 image2)
	(have_image Phenomenon33 image17)
	(have_image Phenomenon34 image2)
	(have_image Phenomenon34 image21)
	(have_image Phenomenon34 image14)
	(have_image Phenomenon34 image7)
	(have_image Phenomenon34 infrared0)
	(have_image Phenomenon34 infrared24)
	(have_image Phenomenon34 infrared3)
	(have_image Phenomenon34 thermograph9)
	(have_image Phenomenon34 infrared12)
	(have_image Phenomenon34 infrared4)
	(have_image Phenomenon36 thermograph13)
	(have_image Phenomenon36 thermograph15)
	(have_image Phenomenon37 spectrograph26)
	(have_image Phenomenon37 infrared18)
	(have_image Phenomenon37 thermograph29)
	(have_image Phenomenon37 infrared12)
	(have_image Phenomenon37 thermograph6)
	(have_image Phenomenon37 infrared27)
	(have_image Planet38 thermograph13)
	(have_image Planet38 thermograph29)
	(have_image Planet38 image17)
	(have_image Planet38 infrared4)
	(have_image Planet38 image7)
	(have_image Planet38 infrared25)
	(have_image Planet38 image21)
	(have_image Planet38 thermograph19)
	(have_image Planet38 infrared24)
	(have_image Star40 infrared3)
	(have_image Star40 infrared0)
	(have_image Star40 infrared11)
	(have_image Star40 spectrograph5)
	(have_image Star40 spectrograph16)
	(have_image Star40 image10)
	(have_image Star40 spectrograph26)
	(have_image Phenomenon41 thermograph15)
	(have_image Phenomenon41 infrared3)
	(have_image Phenomenon41 infrared12)
	(have_image Phenomenon41 thermograph29)
	(have_image Phenomenon41 infrared24)
	(have_image Phenomenon41 thermograph19)
	(have_image Planet42 thermograph29)
	(have_image Planet42 image21)
	(have_image Planet42 thermograph6)
	(have_image Planet42 infrared3)
	(have_image Planet42 infrared22)
	(have_image Planet42 thermograph9)
	(have_image Planet42 spectrograph5)
	(have_image Planet43 spectrograph28)
	(have_image Planet43 spectrograph5)
	(have_image Planet43 image7)
	(have_image Planet43 infrared25)
	(have_image Star44 image17)
	(have_image Star44 spectrograph16)
	(have_image Star44 spectrograph5)
	(have_image Star44 thermograph13)
	(have_image Star44 image2)
	(have_image Star44 thermograph15)
	(have_image Star44 image21)
	(have_image Star44 infrared0)
	(have_image Star44 infrared25)
	(have_image Planet45 spectrograph26)
	(have_image Planet45 thermograph6)
	(have_image Planet45 infrared24)
	(have_image Planet45 infrared23)
	(have_image Planet45 infrared3)
	(have_image Planet45 spectrograph16)
	(have_image Planet45 image10)
	(have_image Star46 thermograph13)
	(have_image Star46 infrared24)
	(have_image Star46 infrared18)
	(have_image Star46 spectrograph5)
	(have_image Star46 infrared20)
	(have_image Star46 thermograph15)
	(have_image Star46 image8)
	(have_image Star46 infrared22)
	(have_image Star46 thermograph6)
	(have_image Star47 infrared22)
	(have_image Star47 thermograph19)
	(have_image Star47 infrared4)
	(have_image Star47 infrared18)
	(have_image Star48 image17)
	(have_image Star48 thermograph9)
	(have_image Star48 infrared11)
	(have_image Star48 thermograph13)
	(have_image Star48 infrared25)
	(have_image Star48 image7)
	(have_image Star48 spectrograph28)
	(have_image Star48 image21)
	(have_image Star48 spectrograph16)
	(have_image Star48 infrared27)
	(have_image Planet49 spectrograph26)
	(have_image Planet49 thermograph15)
	(have_image Planet49 infrared1)
	(have_image Planet49 infrared25)
	(have_image Planet49 infrared27)
	(have_image Star50 infrared18)
	(have_image Star50 spectrograph28)
	(have_image Star50 image17)
	(have_image Star50 thermograph13)
	(have_image Star50 thermograph9)
	(have_image Star50 spectrograph16)
	(have_image Star50 image10)
	(have_image Star51 image7)
	(have_image Star51 image8)
	(have_image Star51 thermograph13)
	(have_image Star51 infrared25)
	(have_image Star51 spectrograph26)
	(have_image Star51 thermograph6)
	(have_image Star51 spectrograph16)
	(have_image Star51 infrared3)
	(have_image Star51 infrared22)
	(have_image Star51 infrared12)
	(have_image Star52 infrared25)
	(have_image Phenomenon53 thermograph9)
	(have_image Phenomenon53 image14)
	(have_image Planet54 spectrograph16)
	(have_image Planet54 image2)
	(have_image Planet54 thermograph19)
	(have_image Planet54 infrared4)
	(have_image Planet55 thermograph13)
	(have_image Planet55 spectrograph26)
	(have_image Planet55 spectrograph5)
	(have_image Planet55 image10)
	(have_image Planet55 image7)
	(have_image Planet56 thermograph19)
	(have_image Planet56 thermograph6)
	(have_image Star57 image17)
	(have_image Star57 infrared24)
	(have_image Star57 image7)
	(have_image Star57 infrared1)
	(have_image Star57 infrared3)
	(have_image Star57 infrared12)
	(have_image Star59 infrared22)
	(have_image Star59 infrared0)
	(have_image Star59 thermograph13)
	(have_image Star59 image17)
	(have_image Star59 infrared11)
	(have_image Star59 infrared1)
	(have_image Star59 thermograph29)
	(have_image Star59 spectrograph16)
	(have_image Star59 infrared20)
	(have_image Planet60 infrared12)
	(have_image Planet60 image21)
	(have_image Planet60 thermograph6)
	(have_image Phenomenon61 image21)
	(have_image Phenomenon62 infrared1)
	(have_image Phenomenon62 spectrograph28)
	(have_image Phenomenon62 infrared24)
	(have_image Phenomenon62 infrared22)
	(have_image Phenomenon62 image10)
	(have_image Planet63 image8)
	(have_image Planet63 infrared4)
	(have_image Planet63 infrared0)
	(have_image Planet63 infrared1)
	(have_image Planet63 spectrograph28)
	(have_image Planet63 thermograph15)
	(have_image Phenomenon64 infrared23)
	(have_image Phenomenon64 image17)
	(have_image Phenomenon64 infrared27)
	(have_image Phenomenon64 spectrograph26)
	(have_image Phenomenon64 thermograph29)
	(have_image Phenomenon64 infrared24)
	(have_image Phenomenon64 infrared1)
	(have_image Phenomenon64 thermograph19)
	(have_image Star65 thermograph9)
	(have_image Planet66 infrared1)
	(have_image Planet66 thermograph9)
	(have_image Planet66 spectrograph26)
	(have_image Planet66 infrared27)
	(have_image Phenomenon67 thermograph29)
	(have_image Star69 infrared0)
	(have_image Star69 infrared24)
	(have_image Star69 infrared22)
	(have_image Star69 thermograph29)
	(have_image Star69 infrared3)
	(have_image Phenomenon70 infrared3)
	(have_image Phenomenon70 infrared18)
	(have_image Phenomenon70 spectrograph26)
	(have_image Phenomenon70 image8)
	(have_image Phenomenon70 thermograph9)
	(have_image Phenomenon70 infrared0)
	(have_image Phenomenon72 infrared1)
	(have_image Phenomenon72 spectrograph16)
	(have_image Phenomenon72 infrared4)
	(have_image Phenomenon72 infrared22)
	(have_image Phenomenon72 image7)
	(have_image Phenomenon72 image14)
	(have_image Star73 infrared12)
	(have_image Star73 image21)
	(have_image Star73 spectrograph28)
	(have_image Star73 infrared4)
	(have_image Phenomenon74 thermograph19)
	(have_image Phenomenon74 spectrograph28)
	(have_image Phenomenon74 image14)
	(have_image Phenomenon74 image8)
	(have_image Phenomenon74 image7)
	(have_image Phenomenon74 image10)
	(have_image Phenomenon74 infrared27)
	(have_image Phenomenon74 infrared18)
	(have_image Phenomenon74 infrared4)
))

)
