(define (problem strips-sat-x-1)
(:domain satellite)
(:objects
	satellite0
	instrument0
	satellite1
	instrument1
	instrument2
	instrument3
	instrument4
	instrument5
	instrument6
	instrument7
	instrument8
	instrument9
	instrument10
	instrument11
	satellite2
	instrument12
	instrument13
	instrument14
	instrument15
	instrument16
	instrument17
	instrument18
	instrument19
	instrument20
	instrument21
	instrument22
	instrument23
	instrument24
	instrument25
	instrument26
	instrument27
	instrument28
	instrument29
	instrument30
	satellite3
	instrument31
	instrument32
	instrument33
	instrument34
	instrument35
	instrument36
	instrument37
	instrument38
	instrument39
	instrument40
	instrument41
	instrument42
	satellite4
	instrument43
	instrument44
	instrument45
	instrument46
	instrument47
	instrument48
	instrument49
	instrument50
	instrument51
	instrument52
	instrument53
	satellite5
	instrument54
	instrument55
	instrument56
	instrument57
	instrument58
	instrument59
	instrument60
	instrument61
	instrument62
	instrument63
	instrument64
	instrument65
	instrument66
	instrument67
	instrument68
	instrument69
	instrument70
	instrument71
	instrument72
	instrument73
	instrument74
	instrument75
	instrument76
	instrument77
	instrument78
	instrument79
	satellite6
	instrument80
	instrument81
	instrument82
	instrument83
	instrument84
	instrument85
	instrument86
	instrument87
	instrument88
	instrument89
	instrument90
	instrument91
	instrument92
	instrument93
	instrument94
	instrument95
	instrument96
	instrument97
	instrument98
	instrument99
	instrument100
	instrument101
	instrument102
	instrument103
	instrument104
	instrument105
	instrument106
	satellite7
	instrument107
	instrument108
	instrument109
	instrument110
	instrument111
	instrument112
	instrument113
	instrument114
	instrument115
	instrument116
	instrument117
	instrument118
	instrument119
	instrument120
	instrument121
	instrument122
	instrument123
	instrument124
	instrument125
	instrument126
	instrument127
	instrument128
	instrument129
	instrument130
	instrument131
	instrument132
	instrument133
	instrument134
	satellite8
	instrument135
	instrument136
	instrument137
	instrument138
	instrument139
	instrument140
	instrument141
	instrument142
	instrument143
	instrument144
	instrument145
	instrument146
	instrument147
	instrument148
	instrument149
	instrument150
	instrument151
	instrument152
	instrument153
	instrument154
	instrument155
	instrument156
	instrument157
	instrument158
	instrument159
	instrument160
	satellite9
	instrument161
	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
	satellite10
	instrument192
	instrument193
	instrument194
	instrument195
	instrument196
	instrument197
	instrument198
	instrument199
	instrument200
	instrument201
	instrument202
	instrument203
	satellite11
	instrument204
	instrument205
	instrument206
	instrument207
	instrument208
	instrument209
	instrument210
	instrument211
	instrument212
	instrument213
	instrument214
	instrument215
	instrument216
	instrument217
	instrument218
	instrument219
	instrument220
	instrument221
	instrument222
	instrument223
	instrument224
	instrument225
	instrument226
	instrument227
	instrument228
	instrument229
	instrument230
	satellite12
	instrument231
	satellite13
	instrument232
	instrument233
	instrument234
	instrument235
	instrument236
	instrument237
	instrument238
	instrument239
	instrument240
	instrument241
	instrument242
	instrument243
	instrument244
	instrument245
	instrument246
	instrument247
	instrument248
	instrument249
	instrument250
	satellite14
	instrument251
	instrument252
	instrument253
	instrument254
	instrument255
	instrument256
	instrument257
	instrument258
	instrument259
	instrument260
	instrument261
	instrument262
	instrument263
	instrument264
	instrument265
	instrument266
	instrument267
	instrument268
	instrument269
	instrument270
	instrument271
	instrument272
	instrument273
	instrument274
	instrument275
	instrument276
	instrument277
	instrument278
	instrument279
	instrument280
	instrument281
	instrument282
	satellite15
	instrument283
	instrument284
	instrument285
	instrument286
	instrument287
	instrument288
	instrument289
	instrument290
	instrument291
	instrument292
	instrument293
	instrument294
	instrument295
	instrument296
	instrument297
	instrument298
	instrument299
	instrument300
	satellite16
	instrument301
	instrument302
	instrument303
	instrument304
	instrument305
	instrument306
	instrument307
	instrument308
	satellite17
	instrument309
	instrument310
	instrument311
	instrument312
	instrument313
	instrument314
	instrument315
	instrument316
	instrument317
	instrument318
	instrument319
	instrument320
	instrument321
	instrument322
	instrument323
	instrument324
	instrument325
	instrument326
	instrument327
	instrument328
	instrument329
	instrument330
	instrument331
	instrument332
	instrument333
	instrument334
	instrument335
	instrument336
	satellite18
	instrument337
	instrument338
	instrument339
	instrument340
	instrument341
	instrument342
	instrument343
	instrument344
	instrument345
	instrument346
	instrument347
	instrument348
	instrument349
	instrument350
	instrument351
	instrument352
	instrument353
	instrument354
	instrument355
	instrument356
	instrument357
	instrument358
	instrument359
	instrument360
	instrument361
	instrument362
	satellite19
	instrument363
	instrument364
	instrument365
	instrument366
	instrument367
	instrument368
	instrument369
	instrument370
	instrument371
	instrument372
	instrument373
	instrument374
	instrument375
	instrument376
	instrument377
	instrument378
	instrument379
	instrument380
	instrument381
	instrument382
	instrument383
	instrument384
	instrument385
	instrument386
	instrument387
	satellite20
	instrument388
	instrument389
	instrument390
	instrument391
	instrument392
	instrument393
	instrument394
	instrument395
	satellite21
	instrument396
	instrument397
	instrument398
	instrument399
	instrument400
	instrument401
	instrument402
	instrument403
	instrument404
	instrument405
	instrument406
	instrument407
	instrument408
	instrument409
	instrument410
	instrument411
	instrument412
	instrument413
	instrument414
	satellite22
	instrument415
	instrument416
	instrument417
	instrument418
	instrument419
	instrument420
	instrument421
	satellite23
	instrument422
	instrument423
	instrument424
	instrument425
	instrument426
	instrument427
	instrument428
	instrument429
	instrument430
	instrument431
	instrument432
	instrument433
	instrument434
	instrument435
	instrument436
	instrument437
	instrument438
	instrument439
	instrument440
	instrument441
	instrument442
	instrument443
	instrument444
	instrument445
	satellite24
	instrument446
	instrument447
	instrument448
	instrument449
	instrument450
	instrument451
	instrument452
	instrument453
	instrument454
	instrument455
	instrument456
	satellite25
	instrument457
	instrument458
	instrument459
	instrument460
	instrument461
	instrument462
	instrument463
	instrument464
	instrument465
	instrument466
	instrument467
	instrument468
	instrument469
	instrument470
	instrument471
	instrument472
	instrument473
	instrument474
	instrument475
	instrument476
	instrument477
	instrument478
	instrument479
	satellite26
	instrument480
	instrument481
	instrument482
	instrument483
	instrument484
	instrument485
	instrument486
	instrument487
	instrument488
	instrument489
	satellite27
	instrument490
	instrument491
	instrument492
	instrument493
	instrument494
	instrument495
	instrument496
	instrument497
	instrument498
	satellite28
	instrument499
	instrument500
	instrument501
	instrument502
	instrument503
	instrument504
	instrument505
	instrument506
	instrument507
	instrument508
	instrument509
	satellite29
	instrument510
	instrument511
	instrument512
	instrument513
	instrument514
	instrument515
	instrument516
	instrument517
	instrument518
	instrument519
	instrument520
	instrument521
	instrument522
	instrument523
	instrument524
	instrument525
	instrument526
	instrument527
	instrument528
	instrument529
	instrument530
	instrument531
	instrument532
	instrument533
	instrument534
	instrument535
	instrument536
	satellite30
	instrument537
	instrument538
	satellite31
	instrument539
	instrument540
	instrument541
	instrument542
	instrument543
	instrument544
	instrument545
	instrument546
	instrument547
	satellite32
	instrument548
	instrument549
	instrument550
	instrument551
	instrument552
	instrument553
	instrument554
	instrument555
	instrument556
	instrument557
	instrument558
	instrument559
	instrument560
	instrument561
	instrument562
	instrument563
	instrument564
	instrument565
	instrument566
	instrument567
	instrument568
	instrument569
	instrument570
	instrument571
	instrument572
	instrument573
	instrument574
	instrument575
	instrument576
	instrument577
	instrument578
	instrument579
	instrument580
	instrument581
	satellite33
	instrument582
	instrument583
	instrument584
	instrument585
	instrument586
	instrument587
	instrument588
	instrument589
	instrument590
	instrument591
	instrument592
	instrument593
	instrument594
	instrument595
	instrument596
	instrument597
	instrument598
	instrument599
	instrument600
	instrument601
	instrument602
	instrument603
	instrument604
	instrument605
	instrument606
	instrument607
	instrument608
	instrument609
	instrument610
	instrument611
	instrument612
	instrument613
	instrument614
	satellite34
	instrument615
	instrument616
	instrument617
	instrument618
	instrument619
	instrument620
	instrument621
	instrument622
	instrument623
	instrument624
	instrument625
	instrument626
	instrument627
	instrument628
	instrument629
	instrument630
	instrument631
	instrument632
	satellite35
	instrument633
	instrument634
	instrument635
	instrument636
	instrument637
	instrument638
	instrument639
	instrument640
	instrument641
	satellite36
	instrument642
	instrument643
	instrument644
	instrument645
	instrument646
	instrument647
	instrument648
	instrument649
	instrument650
	instrument651
	instrument652
	instrument653
	instrument654
	instrument655
	instrument656
	instrument657
	instrument658
	instrument659
	instrument660
	instrument661
	instrument662
	instrument663
	instrument664
	instrument665
	instrument666
	instrument667
	instrument668
	instrument669
	instrument670
	instrument671
	instrument672
	instrument673
	instrument674
	image31
	infrared29
	spectrograph12
	infrared2
	thermograph15
	thermograph30
	thermograph25
	thermograph28
	spectrograph13
	thermograph5
	image16
	thermograph33
	infrared24
	image19
	thermograph22
	image11
	spectrograph34
	image1
	spectrograph10
	infrared21
	thermograph27
	infrared26
	infrared18
	thermograph8
	spectrograph14
	image17
	infrared23
	thermograph6
	spectrograph9
	image3
	image32
	infrared7
	image0
	thermograph4
	spectrograph20
	Star0
	Star8
	Star1
	Star4
	Star7
	GroundStation16
	GroundStation15
	GroundStation9
	GroundStation10
	GroundStation2
	GroundStation12
	Star14
	Star3
	GroundStation5
	Star11
	GroundStation13
	Star6
	Phenomenon17
	Planet18
	Star19
	Planet20
	Star21
	Phenomenon22
	Phenomenon23
	Planet24
	Phenomenon25
	Planet26
	Phenomenon27
	Star28
	Phenomenon29
	Phenomenon30
	Star31
	Planet32
	Star33
	Phenomenon34
	Phenomenon35
	Phenomenon36
	Planet37
	Star38
	Star39
	Planet40
	Phenomenon41
	Planet42
	Star43
	Planet44
	Planet45
	Phenomenon46
	Phenomenon47
	Star48
	Planet49
	Planet50
	Planet51
	Planet52
	Phenomenon53
	Planet54
	Planet55
	Star56
	Star57
	Phenomenon58
	Phenomenon59
	Phenomenon60
	Phenomenon61
	Phenomenon62
	Planet63
	Phenomenon64
	Phenomenon65
	Star66
	Phenomenon67
	Star68
	Star69
	Star70
	Phenomenon71
	Phenomenon72
	Phenomenon73
	Planet74
	Star75
	Phenomenon76
	Star77
	Star78
	Phenomenon79
	Star80
	Star81
	Star82
	Planet83
	Star84
	Star85
	Phenomenon86
)
(:init
	(satellite satellite0)
	(instrument instrument0)
	(supports instrument0 image16)
	(supports instrument0 thermograph15)
	(supports instrument0 infrared7)
	(calibration_target instrument0 Star3)
	(calibration_target instrument0 Star4)
	(calibration_target instrument0 Star14)
	(calibration_target instrument0 GroundStation9)
	(on_board instrument0 satellite0)
	(power_avail satellite0)
	(pointing satellite0 Star78)
	(satellite satellite1)
	(instrument instrument1)
	(supports instrument1 thermograph5)
	(supports instrument1 spectrograph34)
	(supports instrument1 image32)
	(calibration_target instrument1 GroundStation13)
	(calibration_target instrument1 Star8)
	(calibration_target instrument1 Star14)
	(calibration_target instrument1 Star7)
	(instrument instrument2)
	(supports instrument2 spectrograph13)
	(calibration_target instrument2 GroundStation5)
	(calibration_target instrument2 Star8)
	(calibration_target instrument2 Star7)
	(calibration_target instrument2 Star3)
	(calibration_target instrument2 Star6)
	(instrument instrument3)
	(supports instrument3 thermograph15)
	(calibration_target instrument3 GroundStation10)
	(calibration_target instrument3 GroundStation2)
	(calibration_target instrument3 GroundStation15)
	(instrument instrument4)
	(supports instrument4 spectrograph20)
	(supports instrument4 image0)
	(calibration_target instrument4 GroundStation15)
	(calibration_target instrument4 Star6)
	(instrument instrument5)
	(supports instrument5 thermograph4)
	(supports instrument5 spectrograph13)
	(supports instrument5 image0)
	(calibration_target instrument5 GroundStation10)
	(calibration_target instrument5 GroundStation5)
	(calibration_target instrument5 GroundStation12)
	(instrument instrument6)
	(supports instrument6 image31)
	(calibration_target instrument6 Star3)
	(calibration_target instrument6 Star4)
	(calibration_target instrument6 GroundStation13)
	(calibration_target instrument6 Star6)
	(calibration_target instrument6 Star7)
	(instrument instrument7)
	(supports instrument7 thermograph6)
	(supports instrument7 thermograph28)
	(supports instrument7 image16)
	(calibration_target instrument7 Star6)
	(calibration_target instrument7 Star4)
	(calibration_target instrument7 Star7)
	(calibration_target instrument7 Star0)
	(calibration_target instrument7 GroundStation10)
	(instrument instrument8)
	(supports instrument8 image1)
	(supports instrument8 image11)
	(supports instrument8 image16)
	(calibration_target instrument8 GroundStation9)
	(calibration_target instrument8 GroundStation15)
	(calibration_target instrument8 Star8)
	(calibration_target instrument8 Star3)
	(calibration_target instrument8 Star11)
	(instrument instrument9)
	(supports instrument9 image17)
	(supports instrument9 thermograph8)
	(supports instrument9 infrared23)
	(calibration_target instrument9 Star14)
	(calibration_target instrument9 GroundStation13)
	(calibration_target instrument9 Star6)
	(calibration_target instrument9 GroundStation9)
	(instrument instrument10)
	(supports instrument10 image3)
	(calibration_target instrument10 Star6)
	(calibration_target instrument10 Star8)
	(calibration_target instrument10 Star14)
	(instrument instrument11)
	(supports instrument11 image3)
	(calibration_target instrument11 GroundStation5)
	(calibration_target instrument11 GroundStation13)
	(calibration_target instrument11 Star1)
	(calibration_target instrument11 Star6)
	(on_board instrument1 satellite1)
	(on_board instrument2 satellite1)
	(on_board instrument3 satellite1)
	(on_board instrument4 satellite1)
	(on_board instrument5 satellite1)
	(on_board instrument6 satellite1)
	(on_board instrument7 satellite1)
	(on_board instrument8 satellite1)
	(on_board instrument9 satellite1)
	(on_board instrument10 satellite1)
	(on_board instrument11 satellite1)
	(power_avail satellite1)
	(pointing satellite1 Star77)
	(satellite satellite2)
	(instrument instrument12)
	(supports instrument12 image1)
	(calibration_target instrument12 GroundStation5)
	(calibration_target instrument12 GroundStation13)
	(instrument instrument13)
	(supports instrument13 thermograph27)
	(supports instrument13 infrared7)
	(supports instrument13 thermograph15)
	(calibration_target instrument13 GroundStation9)
	(calibration_target instrument13 Star8)
	(calibration_target instrument13 GroundStation13)
	(calibration_target instrument13 Star0)
	(calibration_target instrument13 GroundStation5)
	(instrument instrument14)
	(supports instrument14 image16)
	(supports instrument14 thermograph15)
	(supports instrument14 image19)
	(calibration_target instrument14 GroundStation15)
	(calibration_target instrument14 Star8)
	(calibration_target instrument14 GroundStation13)
	(instrument instrument15)
	(supports instrument15 thermograph15)
	(calibration_target instrument15 GroundStation13)
	(calibration_target instrument15 Star14)
	(calibration_target instrument15 Star6)
	(calibration_target instrument15 GroundStation2)
	(instrument instrument16)
	(supports instrument16 image16)
	(supports instrument16 thermograph27)
	(supports instrument16 image17)
	(calibration_target instrument16 Star11)
	(calibration_target instrument16 GroundStation2)
	(calibration_target instrument16 Star3)
	(calibration_target instrument16 Star6)
	(instrument instrument17)
	(supports instrument17 thermograph30)
	(supports instrument17 thermograph8)
	(calibration_target instrument17 Star7)
	(calibration_target instrument17 Star6)
	(calibration_target instrument17 Star1)
	(instrument instrument18)
	(supports instrument18 spectrograph14)
	(supports instrument18 image11)
	(calibration_target instrument18 Star4)
	(calibration_target instrument18 Star11)
	(calibration_target instrument18 GroundStation15)
	(instrument instrument19)
	(supports instrument19 image0)
	(supports instrument19 infrared2)
	(supports instrument19 infrared21)
	(calibration_target instrument19 Star14)
	(calibration_target instrument19 GroundStation15)
	(instrument instrument20)
	(supports instrument20 image19)
	(supports instrument20 infrared24)
	(calibration_target instrument20 GroundStation13)
	(calibration_target instrument20 GroundStation2)
	(calibration_target instrument20 GroundStation16)
	(calibration_target instrument20 GroundStation5)
	(calibration_target instrument20 GroundStation15)
	(instrument instrument21)
	(supports instrument21 thermograph5)
	(supports instrument21 spectrograph20)
	(calibration_target instrument21 GroundStation16)
	(calibration_target instrument21 GroundStation10)
	(instrument instrument22)
	(supports instrument22 infrared23)
	(supports instrument22 thermograph4)
	(supports instrument22 infrared21)
	(calibration_target instrument22 GroundStation2)
	(calibration_target instrument22 Star14)
	(calibration_target instrument22 Star4)
	(calibration_target instrument22 Star3)
	(instrument instrument23)
	(supports instrument23 thermograph5)
	(supports instrument23 thermograph33)
	(supports instrument23 infrared21)
	(calibration_target instrument23 GroundStation13)
	(calibration_target instrument23 Star4)
	(calibration_target instrument23 GroundStation10)
	(calibration_target instrument23 Star7)
	(instrument instrument24)
	(supports instrument24 thermograph8)
	(supports instrument24 image1)
	(calibration_target instrument24 Star4)
	(calibration_target instrument24 Star1)
	(calibration_target instrument24 Star0)
	(calibration_target instrument24 Star6)
	(instrument instrument25)
	(supports instrument25 thermograph6)
	(supports instrument25 image1)
	(calibration_target instrument25 GroundStation13)
	(calibration_target instrument25 GroundStation12)
	(calibration_target instrument25 GroundStation2)
	(calibration_target instrument25 GroundStation10)
	(calibration_target instrument25 Star8)
	(instrument instrument26)
	(supports instrument26 spectrograph13)
	(calibration_target instrument26 GroundStation12)
	(calibration_target instrument26 Star1)
	(instrument instrument27)
	(supports instrument27 image19)
	(calibration_target instrument27 Star14)
	(calibration_target instrument27 GroundStation13)
	(calibration_target instrument27 Star8)
	(instrument instrument28)
	(supports instrument28 infrared26)
	(calibration_target instrument28 GroundStation15)
	(instrument instrument29)
	(supports instrument29 thermograph22)
	(supports instrument29 spectrograph14)
	(supports instrument29 image11)
	(calibration_target instrument29 GroundStation15)
	(calibration_target instrument29 GroundStation13)
	(instrument instrument30)
	(supports instrument30 infrared29)
	(calibration_target instrument30 Star0)
	(calibration_target instrument30 GroundStation15)
	(calibration_target instrument30 GroundStation16)
	(calibration_target instrument30 Star4)
	(on_board instrument12 satellite2)
	(on_board instrument13 satellite2)
	(on_board instrument14 satellite2)
	(on_board instrument15 satellite2)
	(on_board instrument16 satellite2)
	(on_board instrument17 satellite2)
	(on_board instrument18 satellite2)
	(on_board instrument19 satellite2)
	(on_board instrument20 satellite2)
	(on_board instrument21 satellite2)
	(on_board instrument22 satellite2)
	(on_board instrument23 satellite2)
	(on_board instrument24 satellite2)
	(on_board instrument25 satellite2)
	(on_board instrument26 satellite2)
	(on_board instrument27 satellite2)
	(on_board instrument28 satellite2)
	(on_board instrument29 satellite2)
	(on_board instrument30 satellite2)
	(power_avail satellite2)
	(pointing satellite2 Planet44)
	(satellite satellite3)
	(instrument instrument31)
	(supports instrument31 image0)
	(supports instrument31 infrared2)
	(supports instrument31 infrared26)
	(calibration_target instrument31 Star8)
	(calibration_target instrument31 GroundStation10)
	(instrument instrument32)
	(supports instrument32 image11)
	(supports instrument32 thermograph6)
	(calibration_target instrument32 Star0)
	(calibration_target instrument32 GroundStation16)
	(calibration_target instrument32 Star7)
	(calibration_target instrument32 Star6)
	(instrument instrument33)
	(supports instrument33 thermograph6)
	(supports instrument33 image32)
	(supports instrument33 thermograph33)
	(calibration_target instrument33 Star6)
	(calibration_target instrument33 Star8)
	(calibration_target instrument33 Star4)
	(calibration_target instrument33 Star11)
	(calibration_target instrument33 GroundStation5)
	(instrument instrument34)
	(supports instrument34 thermograph22)
	(calibration_target instrument34 Star3)
	(calibration_target instrument34 Star1)
	(calibration_target instrument34 GroundStation5)
	(calibration_target instrument34 Star4)
	(calibration_target instrument34 Star11)
	(instrument instrument35)
	(supports instrument35 image1)
	(supports instrument35 spectrograph13)
	(supports instrument35 infrared23)
	(calibration_target instrument35 GroundStation5)
	(calibration_target instrument35 Star14)
	(calibration_target instrument35 GroundStation16)
	(instrument instrument36)
	(supports instrument36 spectrograph9)
	(supports instrument36 spectrograph14)
	(supports instrument36 image16)
	(calibration_target instrument36 GroundStation5)
	(calibration_target instrument36 GroundStation10)
	(calibration_target instrument36 Star14)
	(calibration_target instrument36 Star4)
	(instrument instrument37)
	(supports instrument37 thermograph33)
	(supports instrument37 infrared21)
	(supports instrument37 thermograph8)
	(calibration_target instrument37 Star7)
	(calibration_target instrument37 GroundStation10)
	(calibration_target instrument37 Star6)
	(calibration_target instrument37 GroundStation5)
	(calibration_target instrument37 Star11)
	(instrument instrument38)
	(supports instrument38 image17)
	(calibration_target instrument38 GroundStation5)
	(calibration_target instrument38 Star8)
	(instrument instrument39)
	(supports instrument39 spectrograph14)
	(calibration_target instrument39 GroundStation12)
	(calibration_target instrument39 Star14)
	(calibration_target instrument39 Star6)
	(instrument instrument40)
	(supports instrument40 thermograph28)
	(calibration_target instrument40 GroundStation10)
	(instrument instrument41)
	(supports instrument41 image0)
	(supports instrument41 image11)
	(calibration_target instrument41 GroundStation13)
	(calibration_target instrument41 Star8)
	(calibration_target instrument41 GroundStation9)
	(instrument instrument42)
	(supports instrument42 thermograph27)
	(supports instrument42 spectrograph20)
	(calibration_target instrument42 GroundStation12)
	(calibration_target instrument42 Star0)
	(calibration_target instrument42 GroundStation5)
	(on_board instrument31 satellite3)
	(on_board instrument32 satellite3)
	(on_board instrument33 satellite3)
	(on_board instrument34 satellite3)
	(on_board instrument35 satellite3)
	(on_board instrument36 satellite3)
	(on_board instrument37 satellite3)
	(on_board instrument38 satellite3)
	(on_board instrument39 satellite3)
	(on_board instrument40 satellite3)
	(on_board instrument41 satellite3)
	(on_board instrument42 satellite3)
	(power_avail satellite3)
	(pointing satellite3 Phenomenon86)
	(satellite satellite4)
	(instrument instrument43)
	(supports instrument43 spectrograph13)
	(calibration_target instrument43 GroundStation16)
	(calibration_target instrument43 GroundStation15)
	(calibration_target instrument43 Star14)
	(calibration_target instrument43 GroundStation5)
	(calibration_target instrument43 GroundStation10)
	(instrument instrument44)
	(supports instrument44 thermograph28)
	(supports instrument44 infrared21)
	(supports instrument44 infrared18)
	(calibration_target instrument44 GroundStation9)
	(calibration_target instrument44 Star4)
	(instrument instrument45)
	(supports instrument45 infrared18)
	(calibration_target instrument45 GroundStation15)
	(calibration_target instrument45 Star14)
	(instrument instrument46)
	(supports instrument46 spectrograph13)
	(calibration_target instrument46 GroundStation9)
	(instrument instrument47)
	(supports instrument47 infrared18)
	(supports instrument47 infrared24)
	(calibration_target instrument47 Star0)
	(calibration_target instrument47 GroundStation15)
	(instrument instrument48)
	(supports instrument48 thermograph15)
	(calibration_target instrument48 Star0)
	(calibration_target instrument48 GroundStation15)
	(calibration_target instrument48 Star4)
	(calibration_target instrument48 Star11)
	(instrument instrument49)
	(supports instrument49 spectrograph12)
	(calibration_target instrument49 Star1)
	(instrument instrument50)
	(supports instrument50 thermograph15)
	(supports instrument50 spectrograph12)
	(supports instrument50 thermograph8)
	(calibration_target instrument50 GroundStation15)
	(instrument instrument51)
	(supports instrument51 infrared21)
	(supports instrument51 image0)
	(calibration_target instrument51 GroundStation13)
	(calibration_target instrument51 GroundStation9)
	(calibration_target instrument51 GroundStation10)
	(calibration_target instrument51 GroundStation12)
	(instrument instrument52)
	(supports instrument52 thermograph25)
	(supports instrument52 thermograph15)
	(calibration_target instrument52 Star3)
	(instrument instrument53)
	(supports instrument53 infrared2)
	(supports instrument53 spectrograph10)
	(supports instrument53 spectrograph34)
	(calibration_target instrument53 GroundStation10)
	(calibration_target instrument53 GroundStation12)
	(calibration_target instrument53 GroundStation16)
	(on_board instrument43 satellite4)
	(on_board instrument44 satellite4)
	(on_board instrument45 satellite4)
	(on_board instrument46 satellite4)
	(on_board instrument47 satellite4)
	(on_board instrument48 satellite4)
	(on_board instrument49 satellite4)
	(on_board instrument50 satellite4)
	(on_board instrument51 satellite4)
	(on_board instrument52 satellite4)
	(on_board instrument53 satellite4)
	(power_avail satellite4)
	(pointing satellite4 GroundStation10)
	(satellite satellite5)
	(instrument instrument54)
	(supports instrument54 spectrograph10)
	(calibration_target instrument54 GroundStation12)
	(instrument instrument55)
	(supports instrument55 thermograph28)
	(supports instrument55 infrared29)
	(calibration_target instrument55 Star1)
	(calibration_target instrument55 GroundStation5)
	(instrument instrument56)
	(supports instrument56 infrared21)
	(calibration_target instrument56 Star6)
	(calibration_target instrument56 Star14)
	(calibration_target instrument56 Star0)
	(calibration_target instrument56 GroundStation5)
	(instrument instrument57)
	(supports instrument57 thermograph30)
	(supports instrument57 spectrograph34)
	(supports instrument57 image32)
	(calibration_target instrument57 GroundStation9)
	(calibration_target instrument57 Star6)
	(calibration_target instrument57 GroundStation5)
	(calibration_target instrument57 Star4)
	(instrument instrument58)
	(supports instrument58 image19)
	(supports instrument58 spectrograph10)
	(calibration_target instrument58 GroundStation16)
	(calibration_target instrument58 GroundStation15)
	(calibration_target instrument58 Star1)
	(calibration_target instrument58 GroundStation12)
	(calibration_target instrument58 GroundStation2)
	(instrument instrument59)
	(supports instrument59 thermograph25)
	(supports instrument59 spectrograph34)
	(supports instrument59 infrared2)
	(calibration_target instrument59 Star7)
	(calibration_target instrument59 Star6)
	(calibration_target instrument59 GroundStation12)
	(instrument instrument60)
	(supports instrument60 thermograph33)
	(supports instrument60 thermograph30)
	(calibration_target instrument60 GroundStation10)
	(calibration_target instrument60 Star0)
	(instrument instrument61)
	(supports instrument61 image0)
	(calibration_target instrument61 GroundStation5)
	(calibration_target instrument61 Star3)
	(calibration_target instrument61 GroundStation2)
	(calibration_target instrument61 Star1)
	(calibration_target instrument61 Star4)
	(instrument instrument62)
	(supports instrument62 thermograph28)
	(supports instrument62 thermograph22)
	(calibration_target instrument62 GroundStation10)
	(instrument instrument63)
	(supports instrument63 image11)
	(supports instrument63 thermograph25)
	(supports instrument63 spectrograph10)
	(calibration_target instrument63 Star14)
	(calibration_target instrument63 Star0)
	(calibration_target instrument63 GroundStation13)
	(calibration_target instrument63 Star6)
	(calibration_target instrument63 GroundStation5)
	(instrument instrument64)
	(supports instrument64 infrared21)
	(supports instrument64 image1)
	(calibration_target instrument64 Star8)
	(calibration_target instrument64 Star4)
	(calibration_target instrument64 GroundStation2)
	(calibration_target instrument64 Star0)
	(calibration_target instrument64 GroundStation15)
	(instrument instrument65)
	(supports instrument65 image31)
	(supports instrument65 thermograph33)
	(calibration_target instrument65 GroundStation2)
	(calibration_target instrument65 GroundStation10)
	(calibration_target instrument65 Star0)
	(calibration_target instrument65 Star11)
	(calibration_target instrument65 GroundStation9)
	(instrument instrument66)
	(supports instrument66 image17)
	(supports instrument66 spectrograph14)
	(supports instrument66 spectrograph13)
	(calibration_target instrument66 Star14)
	(calibration_target instrument66 Star7)
	(calibration_target instrument66 GroundStation2)
	(calibration_target instrument66 GroundStation10)
	(calibration_target instrument66 Star4)
	(instrument instrument67)
	(supports instrument67 image16)
	(supports instrument67 spectrograph34)
	(supports instrument67 image1)
	(calibration_target instrument67 GroundStation9)
	(calibration_target instrument67 Star0)
	(calibration_target instrument67 GroundStation13)
	(calibration_target instrument67 Star6)
	(calibration_target instrument67 GroundStation10)
	(instrument instrument68)
	(supports instrument68 thermograph15)
	(supports instrument68 image32)
	(supports instrument68 infrared7)
	(calibration_target instrument68 Star8)
	(calibration_target instrument68 Star7)
	(calibration_target instrument68 Star0)
	(calibration_target instrument68 GroundStation5)
	(instrument instrument69)
	(supports instrument69 thermograph25)
	(calibration_target instrument69 Star7)
	(calibration_target instrument69 GroundStation5)
	(calibration_target instrument69 Star1)
	(calibration_target instrument69 GroundStation13)
	(instrument instrument70)
	(supports instrument70 infrared26)
	(calibration_target instrument70 GroundStation10)
	(calibration_target instrument70 GroundStation2)
	(calibration_target instrument70 GroundStation15)
	(calibration_target instrument70 Star8)
	(instrument instrument71)
	(supports instrument71 thermograph28)
	(supports instrument71 image17)
	(calibration_target instrument71 GroundStation15)
	(calibration_target instrument71 Star4)
	(instrument instrument72)
	(supports instrument72 thermograph5)
	(supports instrument72 image31)
	(supports instrument72 thermograph22)
	(calibration_target instrument72 GroundStation13)
	(instrument instrument73)
	(supports instrument73 thermograph8)
	(supports instrument73 image0)
	(supports instrument73 infrared23)
	(calibration_target instrument73 GroundStation5)
	(calibration_target instrument73 Star11)
	(calibration_target instrument73 GroundStation9)
	(instrument instrument74)
	(supports instrument74 infrared26)
	(supports instrument74 spectrograph12)
	(supports instrument74 thermograph5)
	(calibration_target instrument74 Star4)
	(calibration_target instrument74 Star1)
	(calibration_target instrument74 GroundStation15)
	(calibration_target instrument74 GroundStation16)
	(calibration_target instrument74 Star6)
	(instrument instrument75)
	(supports instrument75 spectrograph10)
	(supports instrument75 infrared26)
	(supports instrument75 thermograph33)
	(calibration_target instrument75 GroundStation5)
	(instrument instrument76)
	(supports instrument76 image0)
	(supports instrument76 image19)
	(calibration_target instrument76 GroundStation12)
	(instrument instrument77)
	(supports instrument77 thermograph28)
	(calibration_target instrument77 Star4)
	(calibration_target instrument77 GroundStation13)
	(instrument instrument78)
	(supports instrument78 thermograph27)
	(supports instrument78 infrared24)
	(calibration_target instrument78 Star0)
	(instrument instrument79)
	(supports instrument79 thermograph6)
	(calibration_target instrument79 Star0)
	(calibration_target instrument79 Star3)
	(calibration_target instrument79 Star1)
	(calibration_target instrument79 GroundStation9)
	(on_board instrument54 satellite5)
	(on_board instrument55 satellite5)
	(on_board instrument56 satellite5)
	(on_board instrument57 satellite5)
	(on_board instrument58 satellite5)
	(on_board instrument59 satellite5)
	(on_board instrument60 satellite5)
	(on_board instrument61 satellite5)
	(on_board instrument62 satellite5)
	(on_board instrument63 satellite5)
	(on_board instrument64 satellite5)
	(on_board instrument65 satellite5)
	(on_board instrument66 satellite5)
	(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)
	(power_avail satellite5)
	(pointing satellite5 Planet74)
	(satellite satellite6)
	(instrument instrument80)
	(supports instrument80 infrared21)
	(calibration_target instrument80 Star1)
	(calibration_target instrument80 GroundStation13)
	(calibration_target instrument80 Star6)
	(calibration_target instrument80 GroundStation15)
	(calibration_target instrument80 Star7)
	(instrument instrument81)
	(supports instrument81 image0)
	(supports instrument81 thermograph27)
	(calibration_target instrument81 GroundStation13)
	(calibration_target instrument81 Star3)
	(calibration_target instrument81 Star7)
	(instrument instrument82)
	(supports instrument82 spectrograph12)
	(supports instrument82 spectrograph9)
	(calibration_target instrument82 Star7)
	(instrument instrument83)
	(supports instrument83 thermograph5)
	(supports instrument83 spectrograph12)
	(supports instrument83 spectrograph20)
	(calibration_target instrument83 Star3)
	(calibration_target instrument83 Star6)
	(calibration_target instrument83 Star14)
	(calibration_target instrument83 GroundStation5)
	(instrument instrument84)
	(supports instrument84 spectrograph14)
	(supports instrument84 spectrograph10)
	(calibration_target instrument84 GroundStation10)
	(calibration_target instrument84 Star8)
	(instrument instrument85)
	(supports instrument85 thermograph4)
	(supports instrument85 image19)
	(supports instrument85 image3)
	(calibration_target instrument85 GroundStation9)
	(calibration_target instrument85 Star11)
	(calibration_target instrument85 Star3)
	(calibration_target instrument85 GroundStation12)
	(instrument instrument86)
	(supports instrument86 infrared23)
	(supports instrument86 spectrograph14)
	(supports instrument86 infrared26)
	(calibration_target instrument86 GroundStation15)
	(calibration_target instrument86 Star14)
	(calibration_target instrument86 Star4)
	(instrument instrument87)
	(supports instrument87 image17)
	(supports instrument87 thermograph5)
	(calibration_target instrument87 Star6)
	(calibration_target instrument87 Star14)
	(calibration_target instrument87 GroundStation12)
	(calibration_target instrument87 Star1)
	(instrument instrument88)
	(supports instrument88 thermograph25)
	(supports instrument88 thermograph33)
	(calibration_target instrument88 GroundStation10)
	(calibration_target instrument88 Star0)
	(calibration_target instrument88 Star4)
	(calibration_target instrument88 Star3)
	(instrument instrument89)
	(supports instrument89 spectrograph20)
	(supports instrument89 image17)
	(calibration_target instrument89 GroundStation2)
	(calibration_target instrument89 Star6)
	(calibration_target instrument89 Star8)
	(calibration_target instrument89 GroundStation12)
	(instrument instrument90)
	(supports instrument90 infrared18)
	(calibration_target instrument90 GroundStation2)
	(calibration_target instrument90 Star11)
	(calibration_target instrument90 GroundStation13)
	(calibration_target instrument90 Star3)
	(calibration_target instrument90 Star8)
	(instrument instrument91)
	(supports instrument91 thermograph28)
	(calibration_target instrument91 Star14)
	(instrument instrument92)
	(supports instrument92 infrared29)
	(supports instrument92 infrared21)
	(calibration_target instrument92 GroundStation13)
	(calibration_target instrument92 Star0)
	(instrument instrument93)
	(supports instrument93 spectrograph34)
	(calibration_target instrument93 GroundStation12)
	(calibration_target instrument93 Star11)
	(instrument instrument94)
	(supports instrument94 image32)
	(supports instrument94 thermograph25)
	(calibration_target instrument94 Star0)
	(calibration_target instrument94 Star3)
	(calibration_target instrument94 Star7)
	(calibration_target instrument94 Star14)
	(instrument instrument95)
	(supports instrument95 thermograph25)
	(supports instrument95 spectrograph34)
	(calibration_target instrument95 GroundStation10)
	(calibration_target instrument95 Star0)
	(instrument instrument96)
	(supports instrument96 image1)
	(supports instrument96 infrared21)
	(supports instrument96 thermograph28)
	(calibration_target instrument96 GroundStation16)
	(calibration_target instrument96 GroundStation9)
	(instrument instrument97)
	(supports instrument97 thermograph22)
	(supports instrument97 image31)
	(calibration_target instrument97 GroundStation5)
	(calibration_target instrument97 GroundStation10)
	(calibration_target instrument97 GroundStation2)
	(instrument instrument98)
	(supports instrument98 image31)
	(supports instrument98 image11)
	(supports instrument98 image3)
	(calibration_target instrument98 GroundStation15)
	(calibration_target instrument98 GroundStation12)
	(instrument instrument99)
	(supports instrument99 thermograph6)
	(supports instrument99 thermograph8)
	(calibration_target instrument99 Star14)
	(instrument instrument100)
	(supports instrument100 spectrograph20)
	(supports instrument100 spectrograph13)
	(supports instrument100 infrared7)
	(calibration_target instrument100 GroundStation5)
	(calibration_target instrument100 Star3)
	(instrument instrument101)
	(supports instrument101 infrared18)
	(calibration_target instrument101 Star7)
	(calibration_target instrument101 Star6)
	(calibration_target instrument101 Star14)
	(calibration_target instrument101 GroundStation16)
	(calibration_target instrument101 Star1)
	(instrument instrument102)
	(supports instrument102 image1)
	(supports instrument102 thermograph30)
	(supports instrument102 spectrograph12)
	(calibration_target instrument102 Star0)
	(calibration_target instrument102 GroundStation2)
	(calibration_target instrument102 GroundStation10)
	(calibration_target instrument102 GroundStation9)
	(calibration_target instrument102 GroundStation12)
	(instrument instrument103)
	(supports instrument103 thermograph8)
	(supports instrument103 spectrograph10)
	(supports instrument103 thermograph30)
	(calibration_target instrument103 Star8)
	(calibration_target instrument103 GroundStation5)
	(instrument instrument104)
	(supports instrument104 image32)
	(supports instrument104 image3)
	(supports instrument104 spectrograph34)
	(calibration_target instrument104 GroundStation2)
	(calibration_target instrument104 GroundStation13)
	(calibration_target instrument104 Star0)
	(calibration_target instrument104 Star14)
	(calibration_target instrument104 Star11)
	(instrument instrument105)
	(supports instrument105 spectrograph13)
	(supports instrument105 infrared18)
	(supports instrument105 thermograph15)
	(calibration_target instrument105 GroundStation2)
	(instrument instrument106)
	(supports instrument106 thermograph30)
	(calibration_target instrument106 GroundStation2)
	(calibration_target instrument106 Star4)
	(calibration_target instrument106 GroundStation10)
	(on_board instrument80 satellite6)
	(on_board instrument81 satellite6)
	(on_board instrument82 satellite6)
	(on_board instrument83 satellite6)
	(on_board instrument84 satellite6)
	(on_board instrument85 satellite6)
	(on_board instrument86 satellite6)
	(on_board instrument87 satellite6)
	(on_board instrument88 satellite6)
	(on_board instrument89 satellite6)
	(on_board instrument90 satellite6)
	(on_board instrument91 satellite6)
	(on_board instrument92 satellite6)
	(on_board instrument93 satellite6)
	(on_board instrument94 satellite6)
	(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)
	(power_avail satellite6)
	(pointing satellite6 Phenomenon79)
	(satellite satellite7)
	(instrument instrument107)
	(supports instrument107 thermograph5)
	(supports instrument107 infrared18)
	(calibration_target instrument107 GroundStation13)
	(calibration_target instrument107 Star6)
	(calibration_target instrument107 Star3)
	(calibration_target instrument107 Star11)
	(instrument instrument108)
	(supports instrument108 thermograph33)
	(supports instrument108 infrared23)
	(supports instrument108 thermograph5)
	(calibration_target instrument108 GroundStation2)
	(instrument instrument109)
	(supports instrument109 image17)
	(calibration_target instrument109 Star14)
	(calibration_target instrument109 Star11)
	(instrument instrument110)
	(supports instrument110 infrared24)
	(supports instrument110 spectrograph14)
	(supports instrument110 spectrograph10)
	(calibration_target instrument110 Star11)
	(calibration_target instrument110 Star14)
	(calibration_target instrument110 Star3)
	(calibration_target instrument110 Star0)
	(calibration_target instrument110 Star4)
	(instrument instrument111)
	(supports instrument111 image0)
	(supports instrument111 image1)
	(calibration_target instrument111 GroundStation5)
	(calibration_target instrument111 Star6)
	(calibration_target instrument111 GroundStation15)
	(calibration_target instrument111 Star7)
	(calibration_target instrument111 GroundStation10)
	(instrument instrument112)
	(supports instrument112 image16)
	(calibration_target instrument112 GroundStation16)
	(calibration_target instrument112 GroundStation13)
	(calibration_target instrument112 Star14)
	(calibration_target instrument112 GroundStation5)
	(calibration_target instrument112 GroundStation9)
	(instrument instrument113)
	(supports instrument113 image32)
	(supports instrument113 thermograph33)
	(calibration_target instrument113 Star4)
	(instrument instrument114)
	(supports instrument114 thermograph25)
	(supports instrument114 infrared21)
	(supports instrument114 infrared29)
	(calibration_target instrument114 Star11)
	(calibration_target instrument114 Star6)
	(instrument instrument115)
	(supports instrument115 infrared2)
	(calibration_target instrument115 Star3)
	(instrument instrument116)
	(supports instrument116 spectrograph34)
	(supports instrument116 spectrograph12)
	(supports instrument116 thermograph5)
	(calibration_target instrument116 GroundStation5)
	(calibration_target instrument116 GroundStation12)
	(instrument instrument117)
	(supports instrument117 image32)
	(supports instrument117 spectrograph34)
	(calibration_target instrument117 GroundStation13)
	(calibration_target instrument117 GroundStation2)
	(calibration_target instrument117 Star0)
	(calibration_target instrument117 Star14)
	(calibration_target instrument117 Star3)
	(instrument instrument118)
	(supports instrument118 spectrograph9)
	(supports instrument118 spectrograph34)
	(calibration_target instrument118 Star8)
	(calibration_target instrument118 GroundStation13)
	(calibration_target instrument118 GroundStation15)
	(calibration_target instrument118 GroundStation10)
	(calibration_target instrument118 GroundStation2)
	(instrument instrument119)
	(supports instrument119 thermograph27)
	(supports instrument119 infrared23)
	(calibration_target instrument119 GroundStation10)
	(calibration_target instrument119 GroundStation12)
	(calibration_target instrument119 GroundStation13)
	(calibration_target instrument119 Star6)
	(calibration_target instrument119 Star14)
	(instrument instrument120)
	(supports instrument120 image31)
	(supports instrument120 image1)
	(calibration_target instrument120 GroundStation16)
	(instrument instrument121)
	(supports instrument121 image3)
	(calibration_target instrument121 GroundStation5)
	(calibration_target instrument121 GroundStation2)
	(calibration_target instrument121 Star0)
	(instrument instrument122)
	(supports instrument122 thermograph4)
	(supports instrument122 image0)
	(supports instrument122 image3)
	(calibration_target instrument122 Star14)
	(calibration_target instrument122 GroundStation16)
	(calibration_target instrument122 Star1)
	(instrument instrument123)
	(supports instrument123 image3)
	(supports instrument123 thermograph6)
	(calibration_target instrument123 Star6)
	(instrument instrument124)
	(supports instrument124 image3)
	(calibration_target instrument124 GroundStation13)
	(calibration_target instrument124 GroundStation10)
	(calibration_target instrument124 Star6)
	(calibration_target instrument124 GroundStation5)
	(calibration_target instrument124 Star7)
	(instrument instrument125)
	(supports instrument125 thermograph15)
	(supports instrument125 spectrograph20)
	(calibration_target instrument125 Star3)
	(calibration_target instrument125 Star7)
	(calibration_target instrument125 GroundStation12)
	(calibration_target instrument125 GroundStation9)
	(calibration_target instrument125 GroundStation5)
	(instrument instrument126)
	(supports instrument126 infrared24)
	(supports instrument126 infrared2)
	(calibration_target instrument126 GroundStation10)
	(calibration_target instrument126 Star14)
	(instrument instrument127)
	(supports instrument127 thermograph22)
	(calibration_target instrument127 Star4)
	(calibration_target instrument127 GroundStation16)
	(calibration_target instrument127 Star11)
	(calibration_target instrument127 GroundStation13)
	(calibration_target instrument127 GroundStation12)
	(instrument instrument128)
	(supports instrument128 image11)
	(calibration_target instrument128 GroundStation2)
	(instrument instrument129)
	(supports instrument129 thermograph33)
	(supports instrument129 spectrograph14)
	(supports instrument129 infrared18)
	(calibration_target instrument129 Star4)
	(calibration_target instrument129 Star14)
	(calibration_target instrument129 GroundStation15)
	(instrument instrument130)
	(supports instrument130 image16)
	(calibration_target instrument130 Star3)
	(calibration_target instrument130 Star0)
	(calibration_target instrument130 Star11)
	(instrument instrument131)
	(supports instrument131 infrared21)
	(supports instrument131 spectrograph14)
	(calibration_target instrument131 GroundStation15)
	(calibration_target instrument131 GroundStation2)
	(calibration_target instrument131 GroundStation16)
	(instrument instrument132)
	(supports instrument132 spectrograph20)
	(supports instrument132 image17)
	(supports instrument132 image19)
	(calibration_target instrument132 Star11)
	(calibration_target instrument132 GroundStation2)
	(calibration_target instrument132 GroundStation13)
	(calibration_target instrument132 Star4)
	(calibration_target instrument132 Star1)
	(instrument instrument133)
	(supports instrument133 thermograph30)
	(supports instrument133 thermograph27)
	(supports instrument133 image11)
	(calibration_target instrument133 Star0)
	(calibration_target instrument133 Star7)
	(instrument instrument134)
	(supports instrument134 image32)
	(supports instrument134 thermograph8)
	(supports instrument134 image31)
	(calibration_target instrument134 Star7)
	(on_board instrument107 satellite7)
	(on_board instrument108 satellite7)
	(on_board instrument109 satellite7)
	(on_board instrument110 satellite7)
	(on_board instrument111 satellite7)
	(on_board instrument112 satellite7)
	(on_board instrument113 satellite7)
	(on_board instrument114 satellite7)
	(on_board instrument115 satellite7)
	(on_board instrument116 satellite7)
	(on_board instrument117 satellite7)
	(on_board instrument118 satellite7)
	(on_board instrument119 satellite7)
	(on_board instrument120 satellite7)
	(on_board instrument121 satellite7)
	(on_board instrument122 satellite7)
	(on_board instrument123 satellite7)
	(on_board instrument124 satellite7)
	(on_board instrument125 satellite7)
	(on_board instrument126 satellite7)
	(on_board instrument127 satellite7)
	(on_board instrument128 satellite7)
	(on_board instrument129 satellite7)
	(on_board instrument130 satellite7)
	(on_board instrument131 satellite7)
	(on_board instrument132 satellite7)
	(on_board instrument133 satellite7)
	(on_board instrument134 satellite7)
	(power_avail satellite7)
	(pointing satellite7 Star4)
	(satellite satellite8)
	(instrument instrument135)
	(supports instrument135 image11)
	(calibration_target instrument135 Star11)
	(calibration_target instrument135 Star6)
	(calibration_target instrument135 GroundStation12)
	(calibration_target instrument135 Star0)
	(calibration_target instrument135 GroundStation2)
	(instrument instrument136)
	(supports instrument136 thermograph25)
	(supports instrument136 image32)
	(supports instrument136 spectrograph34)
	(calibration_target instrument136 Star14)
	(calibration_target instrument136 GroundStation16)
	(calibration_target instrument136 GroundStation15)
	(calibration_target instrument136 Star3)
	(calibration_target instrument136 GroundStation10)
	(instrument instrument137)
	(supports instrument137 spectrograph9)
	(supports instrument137 spectrograph14)
	(calibration_target instrument137 GroundStation5)
	(calibration_target instrument137 Star0)
	(calibration_target instrument137 GroundStation13)
	(instrument instrument138)
	(supports instrument138 spectrograph14)
	(calibration_target instrument138 GroundStation12)
	(calibration_target instrument138 GroundStation13)
	(instrument instrument139)
	(supports instrument139 thermograph33)
	(calibration_target instrument139 Star8)
	(calibration_target instrument139 Star0)
	(calibration_target instrument139 GroundStation5)
	(instrument instrument140)
	(supports instrument140 image0)
	(supports instrument140 thermograph25)
	(supports instrument140 infrared7)
	(calibration_target instrument140 GroundStation2)
	(calibration_target instrument140 Star6)
	(instrument instrument141)
	(supports instrument141 image3)
	(supports instrument141 infrared7)
	(calibration_target instrument141 Star1)
	(calibration_target instrument141 Star4)
	(calibration_target instrument141 GroundStation12)
	(instrument instrument142)
	(supports instrument142 thermograph25)
	(supports instrument142 spectrograph12)
	(supports instrument142 image3)
	(calibration_target instrument142 Star8)
	(calibration_target instrument142 GroundStation9)
	(calibration_target instrument142 Star3)
	(instrument instrument143)
	(supports instrument143 infrared18)
	(supports instrument143 image11)
	(calibration_target instrument143 Star0)
	(calibration_target instrument143 GroundStation9)
	(calibration_target instrument143 GroundStation12)
	(instrument instrument144)
	(supports instrument144 infrared29)
	(calibration_target instrument144 Star3)
	(calibration_target instrument144 GroundStation15)
	(instrument instrument145)
	(supports instrument145 image32)
	(calibration_target instrument145 GroundStation16)
	(calibration_target instrument145 Star1)
	(instrument instrument146)
	(supports instrument146 image1)
	(calibration_target instrument146 GroundStation13)
	(calibration_target instrument146 GroundStation9)
	(instrument instrument147)
	(supports instrument147 thermograph28)
	(calibration_target instrument147 Star0)
	(calibration_target instrument147 Star8)
	(instrument instrument148)
	(supports instrument148 thermograph5)
	(calibration_target instrument148 GroundStation12)
	(calibration_target instrument148 Star14)
	(calibration_target instrument148 Star8)
	(calibration_target instrument148 GroundStation5)
	(instrument instrument149)
	(supports instrument149 image1)
	(supports instrument149 thermograph28)
	(supports instrument149 thermograph30)
	(calibration_target instrument149 GroundStation10)
	(calibration_target instrument149 GroundStation16)
	(calibration_target instrument149 GroundStation13)
	(instrument instrument150)
	(supports instrument150 spectrograph34)
	(calibration_target instrument150 Star11)
	(calibration_target instrument150 GroundStation16)
	(calibration_target instrument150 GroundStation2)
	(instrument instrument151)
	(supports instrument151 infrared21)
	(supports instrument151 infrared23)
	(supports instrument151 spectrograph20)
	(calibration_target instrument151 Star7)
	(calibration_target instrument151 Star14)
	(calibration_target instrument151 Star11)
	(instrument instrument152)
	(supports instrument152 thermograph4)
	(calibration_target instrument152 GroundStation10)
	(calibration_target instrument152 Star8)
	(calibration_target instrument152 GroundStation16)
	(calibration_target instrument152 GroundStation15)
	(instrument instrument153)
	(supports instrument153 image3)
	(calibration_target instrument153 GroundStation9)
	(instrument instrument154)
	(supports instrument154 spectrograph20)
	(calibration_target instrument154 GroundStation15)
	(calibration_target instrument154 GroundStation16)
	(calibration_target instrument154 Star6)
	(calibration_target instrument154 GroundStation10)
	(instrument instrument155)
	(supports instrument155 thermograph15)
	(supports instrument155 infrared21)
	(calibration_target instrument155 GroundStation5)
	(calibration_target instrument155 GroundStation15)
	(instrument instrument156)
	(supports instrument156 image32)
	(supports instrument156 infrared2)
	(calibration_target instrument156 GroundStation16)
	(calibration_target instrument156 Star1)
	(calibration_target instrument156 GroundStation13)
	(calibration_target instrument156 Star4)
	(instrument instrument157)
	(supports instrument157 image19)
	(supports instrument157 infrared21)
	(supports instrument157 image0)
	(calibration_target instrument157 Star1)
	(calibration_target instrument157 Star14)
	(calibration_target instrument157 Star0)
	(calibration_target instrument157 GroundStation9)
	(calibration_target instrument157 GroundStation2)
	(instrument instrument158)
	(supports instrument158 spectrograph34)
	(supports instrument158 infrared24)
	(calibration_target instrument158 Star8)
	(calibration_target instrument158 GroundStation9)
	(calibration_target instrument158 GroundStation2)
	(instrument instrument159)
	(supports instrument159 image3)
	(calibration_target instrument159 Star14)
	(calibration_target instrument159 GroundStation12)
	(calibration_target instrument159 GroundStation2)
	(calibration_target instrument159 GroundStation15)
	(instrument instrument160)
	(supports instrument160 thermograph27)
	(supports instrument160 thermograph33)
	(supports instrument160 image16)
	(calibration_target instrument160 GroundStation10)
	(calibration_target instrument160 Star6)
	(calibration_target instrument160 GroundStation15)
	(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)
	(on_board instrument146 satellite8)
	(on_board instrument147 satellite8)
	(on_board instrument148 satellite8)
	(on_board instrument149 satellite8)
	(on_board instrument150 satellite8)
	(on_board instrument151 satellite8)
	(on_board instrument152 satellite8)
	(on_board instrument153 satellite8)
	(on_board instrument154 satellite8)
	(on_board instrument155 satellite8)
	(on_board instrument156 satellite8)
	(on_board instrument157 satellite8)
	(on_board instrument158 satellite8)
	(on_board instrument159 satellite8)
	(on_board instrument160 satellite8)
	(power_avail satellite8)
	(pointing satellite8 Star57)
	(satellite satellite9)
	(instrument instrument161)
	(supports instrument161 thermograph15)
	(calibration_target instrument161 Star14)
	(calibration_target instrument161 Star4)
	(instrument instrument162)
	(supports instrument162 thermograph25)
	(calibration_target instrument162 GroundStation10)
	(instrument instrument163)
	(supports instrument163 infrared23)
	(supports instrument163 infrared29)
	(calibration_target instrument163 GroundStation15)
	(calibration_target instrument163 Star4)
	(calibration_target instrument163 Star14)
	(calibration_target instrument163 Star6)
	(instrument instrument164)
	(supports instrument164 thermograph25)
	(supports instrument164 spectrograph10)
	(calibration_target instrument164 GroundStation16)
	(calibration_target instrument164 Star14)
	(instrument instrument165)
	(supports instrument165 thermograph30)
	(supports instrument165 image17)
	(calibration_target instrument165 Star0)
	(calibration_target instrument165 GroundStation16)
	(calibration_target instrument165 Star14)
	(calibration_target instrument165 GroundStation12)
	(calibration_target instrument165 Star11)
	(instrument instrument166)
	(supports instrument166 thermograph6)
	(calibration_target instrument166 GroundStation5)
	(calibration_target instrument166 Star0)
	(instrument instrument167)
	(supports instrument167 thermograph30)
	(supports instrument167 image1)
	(calibration_target instrument167 Star3)
	(calibration_target instrument167 GroundStation12)
	(instrument instrument168)
	(supports instrument168 image1)
	(supports instrument168 thermograph28)
	(supports instrument168 thermograph5)
	(calibration_target instrument168 Star1)
	(instrument instrument169)
	(supports instrument169 image31)
	(calibration_target instrument169 Star8)
	(calibration_target instrument169 Star3)
	(calibration_target instrument169 Star6)
	(instrument instrument170)
	(supports instrument170 image32)
	(supports instrument170 image1)
	(supports instrument170 spectrograph13)
	(calibration_target instrument170 Star6)
	(calibration_target instrument170 Star8)
	(instrument instrument171)
	(supports instrument171 image32)
	(supports instrument171 thermograph6)
	(calibration_target instrument171 GroundStation16)
	(instrument instrument172)
	(supports instrument172 image16)
	(calibration_target instrument172 Star11)
	(instrument instrument173)
	(supports instrument173 infrared7)
	(calibration_target instrument173 Star4)
	(calibration_target instrument173 GroundStation12)
	(calibration_target instrument173 Star6)
	(calibration_target instrument173 GroundStation2)
	(instrument instrument174)
	(supports instrument174 image32)
	(supports instrument174 thermograph15)
	(calibration_target instrument174 GroundStation15)
	(calibration_target instrument174 GroundStation5)
	(calibration_target instrument174 Star3)
	(instrument instrument175)
	(supports instrument175 image32)
	(supports instrument175 thermograph22)
	(supports instrument175 thermograph27)
	(calibration_target instrument175 GroundStation9)
	(calibration_target instrument175 Star7)
	(calibration_target instrument175 GroundStation12)
	(calibration_target instrument175 Star11)
	(instrument instrument176)
	(supports instrument176 image0)
	(calibration_target instrument176 Star4)
	(instrument instrument177)
	(supports instrument177 spectrograph14)
	(supports instrument177 thermograph15)
	(supports instrument177 infrared18)
	(calibration_target instrument177 GroundStation2)
	(instrument instrument178)
	(supports instrument178 thermograph22)
	(calibration_target instrument178 Star8)
	(instrument instrument179)
	(supports instrument179 image19)
	(calibration_target instrument179 GroundStation13)
	(instrument instrument180)
	(supports instrument180 spectrograph20)
	(supports instrument180 image0)
	(supports instrument180 infrared23)
	(calibration_target instrument180 GroundStation15)
	(calibration_target instrument180 Star6)
	(calibration_target instrument180 Star11)
	(calibration_target instrument180 GroundStation2)
	(instrument instrument181)
	(supports instrument181 infrared7)
	(supports instrument181 spectrograph34)
	(supports instrument181 spectrograph14)
	(calibration_target instrument181 Star3)
	(calibration_target instrument181 GroundStation16)
	(calibration_target instrument181 GroundStation9)
	(calibration_target instrument181 GroundStation13)
	(calibration_target instrument181 Star14)
	(instrument instrument182)
	(supports instrument182 infrared18)
	(calibration_target instrument182 GroundStation16)
	(instrument instrument183)
	(supports instrument183 infrared29)
	(supports instrument183 image16)
	(supports instrument183 spectrograph10)
	(calibration_target instrument183 Star0)
	(calibration_target instrument183 GroundStation5)
	(calibration_target instrument183 Star4)
	(calibration_target instrument183 Star3)
	(instrument instrument184)
	(supports instrument184 image19)
	(supports instrument184 thermograph22)
	(supports instrument184 spectrograph12)
	(calibration_target instrument184 Star7)
	(instrument instrument185)
	(supports instrument185 spectrograph10)
	(calibration_target instrument185 Star11)
	(calibration_target instrument185 GroundStation13)
	(calibration_target instrument185 GroundStation10)
	(calibration_target instrument185 GroundStation9)
	(instrument instrument186)
	(supports instrument186 spectrograph34)
	(supports instrument186 spectrograph14)
	(supports instrument186 thermograph33)
	(calibration_target instrument186 GroundStation10)
	(calibration_target instrument186 Star14)
	(calibration_target instrument186 Star0)
	(instrument instrument187)
	(supports instrument187 thermograph5)
	(supports instrument187 spectrograph34)
	(calibration_target instrument187 Star1)
	(calibration_target instrument187 Star8)
	(instrument instrument188)
	(supports instrument188 thermograph6)
	(supports instrument188 spectrograph9)
	(supports instrument188 infrared7)
	(calibration_target instrument188 GroundStation9)
	(calibration_target instrument188 Star11)
	(calibration_target instrument188 GroundStation16)
	(calibration_target instrument188 GroundStation10)
	(instrument instrument189)
	(supports instrument189 infrared29)
	(supports instrument189 thermograph5)
	(calibration_target instrument189 Star0)
	(calibration_target instrument189 Star4)
	(calibration_target instrument189 Star1)
	(calibration_target instrument189 GroundStation15)
	(calibration_target instrument189 Star11)
	(instrument instrument190)
	(supports instrument190 infrared26)
	(calibration_target instrument190 GroundStation10)
	(calibration_target instrument190 Star4)
	(calibration_target instrument190 Star0)
	(instrument instrument191)
	(supports instrument191 image3)
	(calibration_target instrument191 GroundStation12)
	(on_board instrument161 satellite9)
	(on_board instrument162 satellite9)
	(on_board instrument163 satellite9)
	(on_board instrument164 satellite9)
	(on_board instrument165 satellite9)
	(on_board instrument166 satellite9)
	(on_board instrument167 satellite9)
	(on_board instrument168 satellite9)
	(on_board instrument169 satellite9)
	(on_board instrument170 satellite9)
	(on_board instrument171 satellite9)
	(on_board instrument172 satellite9)
	(on_board instrument173 satellite9)
	(on_board instrument174 satellite9)
	(on_board instrument175 satellite9)
	(on_board instrument176 satellite9)
	(on_board instrument177 satellite9)
	(on_board instrument178 satellite9)
	(on_board instrument179 satellite9)
	(on_board instrument180 satellite9)
	(on_board instrument181 satellite9)
	(on_board instrument182 satellite9)
	(on_board instrument183 satellite9)
	(on_board instrument184 satellite9)
	(on_board instrument185 satellite9)
	(on_board instrument186 satellite9)
	(on_board instrument187 satellite9)
	(on_board instrument188 satellite9)
	(on_board instrument189 satellite9)
	(on_board instrument190 satellite9)
	(on_board instrument191 satellite9)
	(power_avail satellite9)
	(pointing satellite9 Star57)
	(satellite satellite10)
	(instrument instrument192)
	(supports instrument192 spectrograph14)
	(calibration_target instrument192 Star8)
	(instrument instrument193)
	(supports instrument193 spectrograph13)
	(supports instrument193 infrared29)
	(supports instrument193 infrared7)
	(calibration_target instrument193 GroundStation5)
	(calibration_target instrument193 Star4)
	(calibration_target instrument193 GroundStation2)
	(instrument instrument194)
	(supports instrument194 thermograph30)
	(supports instrument194 infrared26)
	(calibration_target instrument194 Star11)
	(calibration_target instrument194 GroundStation5)
	(calibration_target instrument194 Star0)
	(instrument instrument195)
	(supports instrument195 thermograph25)
	(supports instrument195 infrared24)
	(supports instrument195 image1)
	(calibration_target instrument195 GroundStation16)
	(calibration_target instrument195 Star6)
	(calibration_target instrument195 GroundStation10)
	(instrument instrument196)
	(supports instrument196 spectrograph10)
	(calibration_target instrument196 GroundStation2)
	(calibration_target instrument196 Star11)
	(instrument instrument197)
	(supports instrument197 image3)
	(supports instrument197 thermograph5)
	(calibration_target instrument197 GroundStation2)
	(calibration_target instrument197 Star8)
	(calibration_target instrument197 GroundStation12)
	(calibration_target instrument197 GroundStation15)
	(calibration_target instrument197 Star4)
	(instrument instrument198)
	(supports instrument198 thermograph30)
	(supports instrument198 spectrograph13)
	(calibration_target instrument198 Star7)
	(calibration_target instrument198 GroundStation12)
	(calibration_target instrument198 GroundStation10)
	(calibration_target instrument198 GroundStation15)
	(calibration_target instrument198 GroundStation5)
	(instrument instrument199)
	(supports instrument199 thermograph28)
	(supports instrument199 infrared2)
	(supports instrument199 spectrograph20)
	(calibration_target instrument199 GroundStation15)
	(calibration_target instrument199 GroundStation9)
	(calibration_target instrument199 GroundStation10)
	(calibration_target instrument199 Star0)
	(calibration_target instrument199 GroundStation2)
	(instrument instrument200)
	(supports instrument200 thermograph22)
	(supports instrument200 spectrograph14)
	(calibration_target instrument200 Star1)
	(calibration_target instrument200 GroundStation12)
	(instrument instrument201)
	(supports instrument201 image32)
	(calibration_target instrument201 Star3)
	(calibration_target instrument201 Star14)
	(calibration_target instrument201 GroundStation2)
	(instrument instrument202)
	(supports instrument202 thermograph25)
	(supports instrument202 thermograph5)
	(calibration_target instrument202 Star0)
	(calibration_target instrument202 Star3)
	(instrument instrument203)
	(supports instrument203 image0)
	(supports instrument203 spectrograph10)
	(supports instrument203 infrared29)
	(calibration_target instrument203 GroundStation2)
	(on_board instrument192 satellite10)
	(on_board instrument193 satellite10)
	(on_board instrument194 satellite10)
	(on_board instrument195 satellite10)
	(on_board instrument196 satellite10)
	(on_board instrument197 satellite10)
	(on_board instrument198 satellite10)
	(on_board instrument199 satellite10)
	(on_board instrument200 satellite10)
	(on_board instrument201 satellite10)
	(on_board instrument202 satellite10)
	(on_board instrument203 satellite10)
	(power_avail satellite10)
	(pointing satellite10 Star82)
	(satellite satellite11)
	(instrument instrument204)
	(supports instrument204 image0)
	(calibration_target instrument204 Star6)
	(calibration_target instrument204 GroundStation16)
	(instrument instrument205)
	(supports instrument205 thermograph27)
	(supports instrument205 thermograph30)
	(calibration_target instrument205 GroundStation16)
	(calibration_target instrument205 GroundStation2)
	(instrument instrument206)
	(supports instrument206 infrared2)
	(calibration_target instrument206 Star7)
	(calibration_target instrument206 GroundStation10)
	(calibration_target instrument206 Star11)
	(instrument instrument207)
	(supports instrument207 infrared26)
	(calibration_target instrument207 GroundStation16)
	(calibration_target instrument207 GroundStation12)
	(calibration_target instrument207 GroundStation5)
	(instrument instrument208)
	(supports instrument208 image3)
	(supports instrument208 image19)
	(supports instrument208 spectrograph14)
	(calibration_target instrument208 GroundStation16)
	(calibration_target instrument208 Star7)
	(calibration_target instrument208 Star3)
	(calibration_target instrument208 GroundStation15)
	(calibration_target instrument208 Star11)
	(instrument instrument209)
	(supports instrument209 spectrograph10)
	(calibration_target instrument209 Star1)
	(instrument instrument210)
	(supports instrument210 thermograph6)
	(calibration_target instrument210 Star3)
	(calibration_target instrument210 GroundStation16)
	(instrument instrument211)
	(supports instrument211 thermograph22)
	(calibration_target instrument211 GroundStation2)
	(calibration_target instrument211 Star6)
	(calibration_target instrument211 GroundStation9)
	(calibration_target instrument211 Star7)
	(instrument instrument212)
	(supports instrument212 infrared21)
	(supports instrument212 thermograph5)
	(calibration_target instrument212 Star0)
	(instrument instrument213)
	(supports instrument213 image17)
	(supports instrument213 infrared7)
	(calibration_target instrument213 GroundStation5)
	(calibration_target instrument213 Star3)
	(instrument instrument214)
	(supports instrument214 thermograph27)
	(calibration_target instrument214 GroundStation5)
	(calibration_target instrument214 Star7)
	(calibration_target instrument214 GroundStation9)
	(instrument instrument215)
	(supports instrument215 thermograph30)
	(supports instrument215 spectrograph14)
	(calibration_target instrument215 GroundStation2)
	(calibration_target instrument215 Star3)
	(instrument instrument216)
	(supports instrument216 spectrograph12)
	(supports instrument216 infrared23)
	(calibration_target instrument216 Star1)
	(calibration_target instrument216 Star11)
	(instrument instrument217)
	(supports instrument217 image11)
	(supports instrument217 thermograph30)
	(supports instrument217 spectrograph20)
	(calibration_target instrument217 Star0)
	(calibration_target instrument217 GroundStation16)
	(calibration_target instrument217 Star4)
	(instrument instrument218)
	(supports instrument218 spectrograph10)
	(supports instrument218 image11)
	(supports instrument218 image16)
	(calibration_target instrument218 Star3)
	(calibration_target instrument218 Star4)
	(instrument instrument219)
	(supports instrument219 spectrograph14)
	(supports instrument219 spectrograph12)
	(calibration_target instrument219 GroundStation13)
	(instrument instrument220)
	(supports instrument220 image3)
	(supports instrument220 image32)
	(calibration_target instrument220 GroundStation12)
	(calibration_target instrument220 Star14)
	(instrument instrument221)
	(supports instrument221 spectrograph20)
	(supports instrument221 infrared7)
	(calibration_target instrument221 GroundStation13)
	(calibration_target instrument221 GroundStation16)
	(calibration_target instrument221 Star7)
	(calibration_target instrument221 Star1)
	(calibration_target instrument221 GroundStation5)
	(instrument instrument222)
	(supports instrument222 spectrograph14)
	(supports instrument222 infrared2)
	(calibration_target instrument222 GroundStation12)
	(instrument instrument223)
	(supports instrument223 image16)
	(calibration_target instrument223 Star4)
	(calibration_target instrument223 GroundStation9)
	(instrument instrument224)
	(supports instrument224 spectrograph10)
	(supports instrument224 thermograph4)
	(calibration_target instrument224 GroundStation2)
	(calibration_target instrument224 GroundStation12)
	(calibration_target instrument224 Star6)
	(instrument instrument225)
	(supports instrument225 spectrograph13)
	(supports instrument225 infrared29)
	(calibration_target instrument225 Star6)
	(calibration_target instrument225 GroundStation12)
	(calibration_target instrument225 GroundStation9)
	(calibration_target instrument225 Star8)
	(instrument instrument226)
	(supports instrument226 infrared7)
	(supports instrument226 thermograph5)
	(calibration_target instrument226 GroundStation10)
	(instrument instrument227)
	(supports instrument227 image32)
	(supports instrument227 infrared2)
	(calibration_target instrument227 Star7)
	(calibration_target instrument227 GroundStation9)
	(calibration_target instrument227 Star1)
	(calibration_target instrument227 GroundStation2)
	(calibration_target instrument227 Star4)
	(instrument instrument228)
	(supports instrument228 thermograph5)
	(supports instrument228 thermograph15)
	(calibration_target instrument228 GroundStation2)
	(calibration_target instrument228 GroundStation9)
	(calibration_target instrument228 GroundStation16)
	(instrument instrument229)
	(supports instrument229 image31)
	(supports instrument229 spectrograph20)
	(calibration_target instrument229 Star0)
	(instrument instrument230)
	(supports instrument230 image11)
	(calibration_target instrument230 GroundStation16)
	(calibration_target instrument230 Star8)
	(on_board instrument204 satellite11)
	(on_board instrument205 satellite11)
	(on_board instrument206 satellite11)
	(on_board instrument207 satellite11)
	(on_board instrument208 satellite11)
	(on_board instrument209 satellite11)
	(on_board instrument210 satellite11)
	(on_board instrument211 satellite11)
	(on_board instrument212 satellite11)
	(on_board instrument213 satellite11)
	(on_board instrument214 satellite11)
	(on_board instrument215 satellite11)
	(on_board instrument216 satellite11)
	(on_board instrument217 satellite11)
	(on_board instrument218 satellite11)
	(on_board instrument219 satellite11)
	(on_board instrument220 satellite11)
	(on_board instrument221 satellite11)
	(on_board instrument222 satellite11)
	(on_board instrument223 satellite11)
	(on_board instrument224 satellite11)
	(on_board instrument225 satellite11)
	(on_board instrument226 satellite11)
	(on_board instrument227 satellite11)
	(on_board instrument228 satellite11)
	(on_board instrument229 satellite11)
	(on_board instrument230 satellite11)
	(power_avail satellite11)
	(pointing satellite11 Planet42)
	(satellite satellite12)
	(instrument instrument231)
	(supports instrument231 thermograph33)
	(supports instrument231 spectrograph20)
	(supports instrument231 thermograph5)
	(calibration_target instrument231 GroundStation9)
	(calibration_target instrument231 Star0)
	(calibration_target instrument231 Star8)
	(on_board instrument231 satellite12)
	(power_avail satellite12)
	(pointing satellite12 Star48)
	(satellite satellite13)
	(instrument instrument232)
	(supports instrument232 spectrograph12)
	(calibration_target instrument232 Star7)
	(calibration_target instrument232 GroundStation5)
	(instrument instrument233)
	(supports instrument233 image1)
	(supports instrument233 thermograph5)
	(supports instrument233 spectrograph9)
	(calibration_target instrument233 GroundStation5)
	(calibration_target instrument233 GroundStation9)
	(calibration_target instrument233 GroundStation2)
	(calibration_target instrument233 Star8)
	(instrument instrument234)
	(supports instrument234 image3)
	(calibration_target instrument234 GroundStation9)
	(instrument instrument235)
	(supports instrument235 image17)
	(supports instrument235 infrared23)
	(supports instrument235 spectrograph14)
	(calibration_target instrument235 GroundStation5)
	(calibration_target instrument235 Star0)
	(calibration_target instrument235 GroundStation15)
	(instrument instrument236)
	(supports instrument236 spectrograph9)
	(calibration_target instrument236 GroundStation12)
	(instrument instrument237)
	(supports instrument237 spectrograph14)
	(calibration_target instrument237 Star3)
	(calibration_target instrument237 Star8)
	(calibration_target instrument237 GroundStation16)
	(calibration_target instrument237 GroundStation12)
	(instrument instrument238)
	(supports instrument238 spectrograph12)
	(supports instrument238 spectrograph20)
	(calibration_target instrument238 GroundStation2)
	(calibration_target instrument238 Star14)
	(calibration_target instrument238 GroundStation16)
	(instrument instrument239)
	(supports instrument239 image11)
	(supports instrument239 spectrograph12)
	(calibration_target instrument239 Star11)
	(calibration_target instrument239 Star6)
	(calibration_target instrument239 GroundStation16)
	(calibration_target instrument239 Star4)
	(calibration_target instrument239 GroundStation9)
	(instrument instrument240)
	(supports instrument240 thermograph33)
	(supports instrument240 thermograph30)
	(supports instrument240 thermograph15)
	(calibration_target instrument240 GroundStation13)
	(calibration_target instrument240 Star3)
	(calibration_target instrument240 GroundStation5)
	(calibration_target instrument240 GroundStation16)
	(instrument instrument241)
	(supports instrument241 thermograph6)
	(supports instrument241 infrared18)
	(supports instrument241 spectrograph13)
	(calibration_target instrument241 Star11)
	(calibration_target instrument241 Star14)
	(calibration_target instrument241 Star3)
	(calibration_target instrument241 GroundStation16)
	(calibration_target instrument241 GroundStation2)
	(instrument instrument242)
	(supports instrument242 infrared29)
	(calibration_target instrument242 Star1)
	(calibration_target instrument242 Star7)
	(calibration_target instrument242 Star0)
	(calibration_target instrument242 GroundStation16)
	(instrument instrument243)
	(supports instrument243 thermograph5)
	(calibration_target instrument243 Star4)
	(instrument instrument244)
	(supports instrument244 image17)
	(supports instrument244 infrared29)
	(supports instrument244 image19)
	(calibration_target instrument244 Star11)
	(calibration_target instrument244 Star14)
	(calibration_target instrument244 GroundStation5)
	(instrument instrument245)
	(supports instrument245 infrared26)
	(supports instrument245 infrared2)
	(calibration_target instrument245 GroundStation13)
	(calibration_target instrument245 GroundStation5)
	(calibration_target instrument245 Star3)
	(calibration_target instrument245 GroundStation2)
	(instrument instrument246)
	(supports instrument246 image32)
	(supports instrument246 thermograph28)
	(supports instrument246 image17)
	(calibration_target instrument246 Star8)
	(calibration_target instrument246 Star6)
	(calibration_target instrument246 Star3)
	(calibration_target instrument246 GroundStation13)
	(calibration_target instrument246 GroundStation2)
	(instrument instrument247)
	(supports instrument247 thermograph8)
	(supports instrument247 thermograph22)
	(supports instrument247 image32)
	(calibration_target instrument247 Star0)
	(calibration_target instrument247 Star1)
	(calibration_target instrument247 GroundStation9)
	(instrument instrument248)
	(supports instrument248 infrared21)
	(calibration_target instrument248 Star7)
	(calibration_target instrument248 Star0)
	(calibration_target instrument248 Star14)
	(instrument instrument249)
	(supports instrument249 infrared7)
	(supports instrument249 thermograph15)
	(calibration_target instrument249 GroundStation16)
	(calibration_target instrument249 GroundStation2)
	(calibration_target instrument249 Star4)
	(instrument instrument250)
	(supports instrument250 thermograph5)
	(calibration_target instrument250 Star3)
	(calibration_target instrument250 Star1)
	(calibration_target instrument250 GroundStation12)
	(calibration_target instrument250 Star0)
	(on_board instrument232 satellite13)
	(on_board instrument233 satellite13)
	(on_board instrument234 satellite13)
	(on_board instrument235 satellite13)
	(on_board instrument236 satellite13)
	(on_board instrument237 satellite13)
	(on_board instrument238 satellite13)
	(on_board instrument239 satellite13)
	(on_board instrument240 satellite13)
	(on_board instrument241 satellite13)
	(on_board instrument242 satellite13)
	(on_board instrument243 satellite13)
	(on_board instrument244 satellite13)
	(on_board instrument245 satellite13)
	(on_board instrument246 satellite13)
	(on_board instrument247 satellite13)
	(on_board instrument248 satellite13)
	(on_board instrument249 satellite13)
	(on_board instrument250 satellite13)
	(power_avail satellite13)
	(pointing satellite13 Planet55)
	(satellite satellite14)
	(instrument instrument251)
	(supports instrument251 spectrograph14)
	(supports instrument251 image16)
	(calibration_target instrument251 Star4)
	(instrument instrument252)
	(supports instrument252 infrared21)
	(supports instrument252 thermograph25)
	(calibration_target instrument252 GroundStation5)
	(calibration_target instrument252 Star1)
	(calibration_target instrument252 Star8)
	(calibration_target instrument252 Star14)
	(instrument instrument253)
	(supports instrument253 image19)
	(calibration_target instrument253 Star3)
	(instrument instrument254)
	(supports instrument254 infrared7)
	(supports instrument254 image11)
	(calibration_target instrument254 Star7)
	(calibration_target instrument254 Star11)
	(calibration_target instrument254 GroundStation10)
	(calibration_target instrument254 GroundStation9)
	(instrument instrument255)
	(supports instrument255 image0)
	(calibration_target instrument255 GroundStation10)
	(instrument instrument256)
	(supports instrument256 thermograph4)
	(supports instrument256 spectrograph34)
	(supports instrument256 image3)
	(calibration_target instrument256 Star14)
	(calibration_target instrument256 GroundStation16)
	(calibration_target instrument256 Star4)
	(instrument instrument257)
	(supports instrument257 thermograph33)
	(supports instrument257 image0)
	(supports instrument257 image31)
	(calibration_target instrument257 GroundStation12)
	(instrument instrument258)
	(supports instrument258 thermograph28)
	(supports instrument258 infrared7)
	(calibration_target instrument258 GroundStation13)
	(calibration_target instrument258 Star0)
	(calibration_target instrument258 Star6)
	(calibration_target instrument258 Star4)
	(instrument instrument259)
	(supports instrument259 thermograph5)
	(calibration_target instrument259 Star3)
	(instrument instrument260)
	(supports instrument260 image31)
	(supports instrument260 infrared24)
	(supports instrument260 spectrograph20)
	(calibration_target instrument260 Star14)
	(calibration_target instrument260 Star8)
	(calibration_target instrument260 GroundStation9)
	(instrument instrument261)
	(supports instrument261 infrared2)
	(calibration_target instrument261 GroundStation12)
	(instrument instrument262)
	(supports instrument262 thermograph30)
	(supports instrument262 thermograph5)
	(supports instrument262 spectrograph13)
	(calibration_target instrument262 Star0)
	(calibration_target instrument262 GroundStation10)
	(instrument instrument263)
	(supports instrument263 infrared7)
	(supports instrument263 thermograph30)
	(calibration_target instrument263 GroundStation2)
	(calibration_target instrument263 Star8)
	(calibration_target instrument263 Star4)
	(calibration_target instrument263 GroundStation10)
	(instrument instrument264)
	(supports instrument264 image0)
	(supports instrument264 infrared26)
	(supports instrument264 thermograph28)
	(calibration_target instrument264 Star7)
	(instrument instrument265)
	(supports instrument265 image31)
	(calibration_target instrument265 GroundStation16)
	(calibration_target instrument265 Star7)
	(calibration_target instrument265 GroundStation10)
	(calibration_target instrument265 Star3)
	(calibration_target instrument265 GroundStation5)
	(instrument instrument266)
	(supports instrument266 spectrograph13)
	(supports instrument266 thermograph27)
	(calibration_target instrument266 Star0)
	(calibration_target instrument266 Star14)
	(calibration_target instrument266 GroundStation12)
	(instrument instrument267)
	(supports instrument267 infrared24)
	(supports instrument267 image11)
	(calibration_target instrument267 Star8)
	(calibration_target instrument267 GroundStation10)
	(calibration_target instrument267 Star11)
	(calibration_target instrument267 GroundStation5)
	(calibration_target instrument267 Star0)
	(instrument instrument268)
	(supports instrument268 spectrograph9)
	(supports instrument268 thermograph4)
	(supports instrument268 image3)
	(calibration_target instrument268 GroundStation2)
	(calibration_target instrument268 GroundStation10)
	(calibration_target instrument268 Star6)
	(calibration_target instrument268 Star1)
	(instrument instrument269)
	(supports instrument269 image11)
	(calibration_target instrument269 GroundStation2)
	(calibration_target instrument269 GroundStation12)
	(instrument instrument270)
	(supports instrument270 image19)
	(supports instrument270 infrared29)
	(calibration_target instrument270 GroundStation15)
	(calibration_target instrument270 GroundStation9)
	(calibration_target instrument270 GroundStation5)
	(instrument instrument271)
	(supports instrument271 image19)
	(supports instrument271 spectrograph34)
	(supports instrument271 thermograph22)
	(calibration_target instrument271 Star7)
	(calibration_target instrument271 Star6)
	(calibration_target instrument271 Star11)
	(instrument instrument272)
	(supports instrument272 infrared21)
	(calibration_target instrument272 Star14)
	(calibration_target instrument272 Star0)
	(calibration_target instrument272 Star7)
	(calibration_target instrument272 GroundStation16)
	(instrument instrument273)
	(supports instrument273 infrared21)
	(supports instrument273 thermograph27)
	(calibration_target instrument273 Star4)
	(calibration_target instrument273 Star8)
	(calibration_target instrument273 Star14)
	(instrument instrument274)
	(supports instrument274 infrared21)
	(supports instrument274 infrared29)
	(calibration_target instrument274 GroundStation10)
	(calibration_target instrument274 GroundStation15)
	(calibration_target instrument274 GroundStation2)
	(calibration_target instrument274 Star7)
	(calibration_target instrument274 GroundStation12)
	(instrument instrument275)
	(supports instrument275 thermograph8)
	(supports instrument275 spectrograph14)
	(supports instrument275 spectrograph13)
	(calibration_target instrument275 Star1)
	(calibration_target instrument275 Star7)
	(instrument instrument276)
	(supports instrument276 image17)
	(supports instrument276 thermograph15)
	(calibration_target instrument276 GroundStation5)
	(calibration_target instrument276 GroundStation12)
	(calibration_target instrument276 GroundStation9)
	(calibration_target instrument276 GroundStation15)
	(instrument instrument277)
	(supports instrument277 infrared18)
	(supports instrument277 thermograph33)
	(calibration_target instrument277 Star14)
	(instrument instrument278)
	(supports instrument278 infrared18)
	(supports instrument278 image32)
	(supports instrument278 spectrograph14)
	(calibration_target instrument278 Star8)
	(calibration_target instrument278 Star6)
	(calibration_target instrument278 GroundStation10)
	(calibration_target instrument278 Star1)
	(calibration_target instrument278 Star0)
	(instrument instrument279)
	(supports instrument279 infrared26)
	(supports instrument279 spectrograph34)
	(calibration_target instrument279 GroundStation12)
	(calibration_target instrument279 Star7)
	(instrument instrument280)
	(supports instrument280 thermograph5)
	(calibration_target instrument280 Star11)
	(instrument instrument281)
	(supports instrument281 spectrograph9)
	(calibration_target instrument281 Star11)
	(calibration_target instrument281 GroundStation5)
	(calibration_target instrument281 Star1)
	(instrument instrument282)
	(supports instrument282 spectrograph14)
	(calibration_target instrument282 GroundStation9)
	(calibration_target instrument282 Star3)
	(calibration_target instrument282 Star11)
	(calibration_target instrument282 GroundStation12)
	(on_board instrument251 satellite14)
	(on_board instrument252 satellite14)
	(on_board instrument253 satellite14)
	(on_board instrument254 satellite14)
	(on_board instrument255 satellite14)
	(on_board instrument256 satellite14)
	(on_board instrument257 satellite14)
	(on_board instrument258 satellite14)
	(on_board instrument259 satellite14)
	(on_board instrument260 satellite14)
	(on_board instrument261 satellite14)
	(on_board instrument262 satellite14)
	(on_board instrument263 satellite14)
	(on_board instrument264 satellite14)
	(on_board instrument265 satellite14)
	(on_board instrument266 satellite14)
	(on_board instrument267 satellite14)
	(on_board instrument268 satellite14)
	(on_board instrument269 satellite14)
	(on_board instrument270 satellite14)
	(on_board instrument271 satellite14)
	(on_board instrument272 satellite14)
	(on_board instrument273 satellite14)
	(on_board instrument274 satellite14)
	(on_board instrument275 satellite14)
	(on_board instrument276 satellite14)
	(on_board instrument277 satellite14)
	(on_board instrument278 satellite14)
	(on_board instrument279 satellite14)
	(on_board instrument280 satellite14)
	(on_board instrument281 satellite14)
	(on_board instrument282 satellite14)
	(power_avail satellite14)
	(pointing satellite14 Star14)
	(satellite satellite15)
	(instrument instrument283)
	(supports instrument283 thermograph27)
	(supports instrument283 infrared21)
	(calibration_target instrument283 GroundStation5)
	(calibration_target instrument283 Star4)
	(calibration_target instrument283 Star14)
	(calibration_target instrument283 GroundStation12)
	(calibration_target instrument283 Star8)
	(instrument instrument284)
	(supports instrument284 image19)
	(supports instrument284 thermograph27)
	(supports instrument284 infrared26)
	(calibration_target instrument284 GroundStation12)
	(calibration_target instrument284 Star3)
	(calibration_target instrument284 GroundStation5)
	(instrument instrument285)
	(supports instrument285 thermograph8)
	(supports instrument285 thermograph22)
	(supports instrument285 infrared23)
	(calibration_target instrument285 GroundStation13)
	(instrument instrument286)
	(supports instrument286 infrared18)
	(supports instrument286 thermograph28)
	(supports instrument286 thermograph4)
	(calibration_target instrument286 Star8)
	(calibration_target instrument286 GroundStation15)
	(calibration_target instrument286 Star1)
	(calibration_target instrument286 GroundStation9)
	(calibration_target instrument286 GroundStation5)
	(instrument instrument287)
	(supports instrument287 infrared18)
	(supports instrument287 image17)
	(calibration_target instrument287 GroundStation13)
	(instrument instrument288)
	(supports instrument288 thermograph33)
	(supports instrument288 thermograph5)
	(calibration_target instrument288 Star0)
	(calibration_target instrument288 GroundStation10)
	(calibration_target instrument288 Star3)
	(instrument instrument289)
	(supports instrument289 thermograph28)
	(supports instrument289 infrared2)
	(supports instrument289 image3)
	(calibration_target instrument289 Star3)
	(calibration_target instrument289 GroundStation5)
	(calibration_target instrument289 GroundStation2)
	(calibration_target instrument289 Star4)
	(instrument instrument290)
	(supports instrument290 infrared18)
	(supports instrument290 image16)
	(calibration_target instrument290 GroundStation9)
	(calibration_target instrument290 Star14)
	(calibration_target instrument290 GroundStation12)
	(calibration_target instrument290 GroundStation5)
	(instrument instrument291)
	(supports instrument291 infrared23)
	(supports instrument291 image19)
	(supports instrument291 thermograph30)
	(calibration_target instrument291 Star0)
	(calibration_target instrument291 Star7)
	(calibration_target instrument291 Star3)
	(calibration_target instrument291 GroundStation12)
	(calibration_target instrument291 GroundStation13)
	(instrument instrument292)
	(supports instrument292 spectrograph10)
	(supports instrument292 thermograph28)
	(calibration_target instrument292 GroundStation9)
	(instrument instrument293)
	(supports instrument293 image11)
	(calibration_target instrument293 GroundStation5)
	(instrument instrument294)
	(supports instrument294 infrared29)
	(calibration_target instrument294 Star14)
	(calibration_target instrument294 GroundStation10)
	(instrument instrument295)
	(supports instrument295 thermograph22)
	(calibration_target instrument295 Star3)
	(instrument instrument296)
	(supports instrument296 infrared21)
	(supports instrument296 infrared7)
	(supports instrument296 spectrograph20)
	(calibration_target instrument296 Star1)
	(instrument instrument297)
	(supports instrument297 infrared2)
	(calibration_target instrument297 Star1)
	(calibration_target instrument297 GroundStation9)
	(calibration_target instrument297 Star8)
	(calibration_target instrument297 Star7)
	(instrument instrument298)
	(supports instrument298 infrared23)
	(calibration_target instrument298 Star0)
	(calibration_target instrument298 Star4)
	(calibration_target instrument298 Star11)
	(calibration_target instrument298 Star8)
	(instrument instrument299)
	(supports instrument299 infrared2)
	(supports instrument299 spectrograph13)
	(supports instrument299 spectrograph34)
	(calibration_target instrument299 GroundStation12)
	(instrument instrument300)
	(supports instrument300 infrared2)
	(supports instrument300 image17)
	(calibration_target instrument300 GroundStation9)
	(calibration_target instrument300 GroundStation10)
	(calibration_target instrument300 Star8)
	(calibration_target instrument300 Star0)
	(calibration_target instrument300 GroundStation16)
	(on_board instrument283 satellite15)
	(on_board instrument284 satellite15)
	(on_board instrument285 satellite15)
	(on_board instrument286 satellite15)
	(on_board instrument287 satellite15)
	(on_board instrument288 satellite15)
	(on_board instrument289 satellite15)
	(on_board instrument290 satellite15)
	(on_board instrument291 satellite15)
	(on_board instrument292 satellite15)
	(on_board instrument293 satellite15)
	(on_board instrument294 satellite15)
	(on_board instrument295 satellite15)
	(on_board instrument296 satellite15)
	(on_board instrument297 satellite15)
	(on_board instrument298 satellite15)
	(on_board instrument299 satellite15)
	(on_board instrument300 satellite15)
	(power_avail satellite15)
	(pointing satellite15 GroundStation5)
	(satellite satellite16)
	(instrument instrument301)
	(supports instrument301 infrared24)
	(calibration_target instrument301 GroundStation2)
	(calibration_target instrument301 GroundStation13)
	(calibration_target instrument301 GroundStation10)
	(calibration_target instrument301 Star1)
	(instrument instrument302)
	(supports instrument302 spectrograph14)
	(calibration_target instrument302 GroundStation13)
	(calibration_target instrument302 Star0)
	(calibration_target instrument302 Star3)
	(calibration_target instrument302 Star1)
	(instrument instrument303)
	(supports instrument303 image17)
	(calibration_target instrument303 Star6)
	(calibration_target instrument303 GroundStation13)
	(calibration_target instrument303 GroundStation10)
	(calibration_target instrument303 GroundStation5)
	(calibration_target instrument303 Star3)
	(instrument instrument304)
	(supports instrument304 thermograph30)
	(calibration_target instrument304 GroundStation9)
	(calibration_target instrument304 GroundStation5)
	(calibration_target instrument304 Star3)
	(calibration_target instrument304 Star7)
	(calibration_target instrument304 GroundStation15)
	(instrument instrument305)
	(supports instrument305 image16)
	(supports instrument305 image1)
	(supports instrument305 thermograph6)
	(calibration_target instrument305 Star11)
	(calibration_target instrument305 GroundStation9)
	(calibration_target instrument305 Star3)
	(calibration_target instrument305 Star4)
	(calibration_target instrument305 Star7)
	(instrument instrument306)
	(supports instrument306 infrared26)
	(supports instrument306 image31)
	(supports instrument306 image0)
	(calibration_target instrument306 GroundStation12)
	(calibration_target instrument306 GroundStation15)
	(calibration_target instrument306 Star6)
	(calibration_target instrument306 GroundStation9)
	(instrument instrument307)
	(supports instrument307 spectrograph34)
	(supports instrument307 spectrograph20)
	(calibration_target instrument307 GroundStation16)
	(calibration_target instrument307 Star4)
	(instrument instrument308)
	(supports instrument308 image3)
	(supports instrument308 spectrograph34)
	(supports instrument308 thermograph6)
	(calibration_target instrument308 Star11)
	(calibration_target instrument308 Star14)
	(on_board instrument301 satellite16)
	(on_board instrument302 satellite16)
	(on_board instrument303 satellite16)
	(on_board instrument304 satellite16)
	(on_board instrument305 satellite16)
	(on_board instrument306 satellite16)
	(on_board instrument307 satellite16)
	(on_board instrument308 satellite16)
	(power_avail satellite16)
	(pointing satellite16 Star80)
	(satellite satellite17)
	(instrument instrument309)
	(supports instrument309 thermograph30)
	(supports instrument309 infrared24)
	(calibration_target instrument309 GroundStation13)
	(calibration_target instrument309 GroundStation9)
	(instrument instrument310)
	(supports instrument310 thermograph33)
	(calibration_target instrument310 GroundStation10)
	(calibration_target instrument310 Star11)
	(instrument instrument311)
	(supports instrument311 spectrograph34)
	(supports instrument311 thermograph28)
	(calibration_target instrument311 GroundStation2)
	(calibration_target instrument311 GroundStation10)
	(instrument instrument312)
	(supports instrument312 thermograph30)
	(calibration_target instrument312 GroundStation16)
	(calibration_target instrument312 Star4)
	(calibration_target instrument312 Star11)
	(calibration_target instrument312 GroundStation9)
	(calibration_target instrument312 Star3)
	(instrument instrument313)
	(supports instrument313 infrared18)
	(supports instrument313 image31)
	(calibration_target instrument313 GroundStation13)
	(calibration_target instrument313 GroundStation16)
	(calibration_target instrument313 Star1)
	(calibration_target instrument313 GroundStation15)
	(calibration_target instrument313 Star14)
	(instrument instrument314)
	(supports instrument314 spectrograph20)
	(supports instrument314 infrared2)
	(calibration_target instrument314 GroundStation16)
	(calibration_target instrument314 GroundStation2)
	(calibration_target instrument314 Star3)
	(instrument instrument315)
	(supports instrument315 infrared21)
	(calibration_target instrument315 GroundStation13)
	(calibration_target instrument315 GroundStation9)
	(calibration_target instrument315 Star7)
	(calibration_target instrument315 GroundStation15)
	(instrument instrument316)
	(supports instrument316 image11)
	(calibration_target instrument316 Star4)
	(calibration_target instrument316 Star7)
	(calibration_target instrument316 Star11)
	(calibration_target instrument316 GroundStation10)
	(calibration_target instrument316 GroundStation5)
	(instrument instrument317)
	(supports instrument317 image31)
	(calibration_target instrument317 GroundStation10)
	(calibration_target instrument317 Star1)
	(calibration_target instrument317 GroundStation9)
	(instrument instrument318)
	(supports instrument318 image17)
	(supports instrument318 image16)
	(supports instrument318 thermograph15)
	(calibration_target instrument318 GroundStation5)
	(instrument instrument319)
	(supports instrument319 infrared26)
	(supports instrument319 thermograph33)
	(calibration_target instrument319 GroundStation15)
	(calibration_target instrument319 Star0)
	(calibration_target instrument319 Star4)
	(calibration_target instrument319 GroundStation5)
	(calibration_target instrument319 GroundStation2)
	(instrument instrument320)
	(supports instrument320 thermograph15)
	(calibration_target instrument320 GroundStation2)
	(calibration_target instrument320 Star1)
	(calibration_target instrument320 Star14)
	(calibration_target instrument320 GroundStation13)
	(calibration_target instrument320 Star4)
	(instrument instrument321)
	(supports instrument321 image3)
	(supports instrument321 thermograph28)
	(supports instrument321 spectrograph10)
	(calibration_target instrument321 GroundStation12)
	(instrument instrument322)
	(supports instrument322 spectrograph20)
	(supports instrument322 image3)
	(supports instrument322 thermograph30)
	(calibration_target instrument322 GroundStation10)
	(calibration_target instrument322 Star0)
	(calibration_target instrument322 Star14)
	(calibration_target instrument322 GroundStation9)
	(instrument instrument323)
	(supports instrument323 spectrograph13)
	(supports instrument323 image31)
	(supports instrument323 image3)
	(calibration_target instrument323 Star4)
	(calibration_target instrument323 Star0)
	(calibration_target instrument323 Star3)
	(calibration_target instrument323 GroundStation16)
	(instrument instrument324)
	(supports instrument324 thermograph8)
	(supports instrument324 image3)
	(supports instrument324 thermograph30)
	(calibration_target instrument324 Star3)
	(instrument instrument325)
	(supports instrument325 infrared24)
	(calibration_target instrument325 GroundStation2)
	(instrument instrument326)
	(supports instrument326 image3)
	(supports instrument326 spectrograph9)
	(supports instrument326 spectrograph10)
	(calibration_target instrument326 Star6)
	(calibration_target instrument326 GroundStation12)
	(calibration_target instrument326 GroundStation2)
	(instrument instrument327)
	(supports instrument327 infrared23)
	(calibration_target instrument327 GroundStation9)
	(calibration_target instrument327 GroundStation16)
	(calibration_target instrument327 Star8)
	(calibration_target instrument327 GroundStation13)
	(calibration_target instrument327 Star14)
	(instrument instrument328)
	(supports instrument328 infrared29)
	(calibration_target instrument328 Star6)
	(calibration_target instrument328 Star0)
	(calibration_target instrument328 Star7)
	(calibration_target instrument328 Star14)
	(instrument instrument329)
	(supports instrument329 spectrograph9)
	(supports instrument329 image17)
	(calibration_target instrument329 GroundStation16)
	(calibration_target instrument329 Star6)
	(calibration_target instrument329 Star1)
	(instrument instrument330)
	(supports instrument330 image3)
	(supports instrument330 thermograph27)
	(calibration_target instrument330 Star3)
	(calibration_target instrument330 Star1)
	(calibration_target instrument330 GroundStation10)
	(calibration_target instrument330 Star14)
	(instrument instrument331)
	(supports instrument331 infrared26)
	(supports instrument331 thermograph5)
	(calibration_target instrument331 Star4)
	(calibration_target instrument331 GroundStation9)
	(calibration_target instrument331 Star0)
	(instrument instrument332)
	(supports instrument332 image19)
	(supports instrument332 infrared24)
	(supports instrument332 thermograph28)
	(calibration_target instrument332 Star4)
	(instrument instrument333)
	(supports instrument333 image32)
	(supports instrument333 image19)
	(calibration_target instrument333 GroundStation15)
	(calibration_target instrument333 Star1)
	(instrument instrument334)
	(supports instrument334 thermograph6)
	(supports instrument334 spectrograph13)
	(supports instrument334 image3)
	(calibration_target instrument334 GroundStation13)
	(instrument instrument335)
	(supports instrument335 image16)
	(supports instrument335 infrared26)
	(supports instrument335 image3)
	(calibration_target instrument335 Star7)
	(calibration_target instrument335 GroundStation15)
	(calibration_target instrument335 GroundStation16)
	(calibration_target instrument335 GroundStation10)
	(calibration_target instrument335 Star4)
	(instrument instrument336)
	(supports instrument336 thermograph4)
	(supports instrument336 infrared18)
	(supports instrument336 image3)
	(calibration_target instrument336 Star3)
	(calibration_target instrument336 GroundStation13)
	(on_board instrument309 satellite17)
	(on_board instrument310 satellite17)
	(on_board instrument311 satellite17)
	(on_board instrument312 satellite17)
	(on_board instrument313 satellite17)
	(on_board instrument314 satellite17)
	(on_board instrument315 satellite17)
	(on_board instrument316 satellite17)
	(on_board instrument317 satellite17)
	(on_board instrument318 satellite17)
	(on_board instrument319 satellite17)
	(on_board instrument320 satellite17)
	(on_board instrument321 satellite17)
	(on_board instrument322 satellite17)
	(on_board instrument323 satellite17)
	(on_board instrument324 satellite17)
	(on_board instrument325 satellite17)
	(on_board instrument326 satellite17)
	(on_board instrument327 satellite17)
	(on_board instrument328 satellite17)
	(on_board instrument329 satellite17)
	(on_board instrument330 satellite17)
	(on_board instrument331 satellite17)
	(on_board instrument332 satellite17)
	(on_board instrument333 satellite17)
	(on_board instrument334 satellite17)
	(on_board instrument335 satellite17)
	(on_board instrument336 satellite17)
	(power_avail satellite17)
	(pointing satellite17 Star75)
	(satellite satellite18)
	(instrument instrument337)
	(supports instrument337 thermograph27)
	(calibration_target instrument337 GroundStation13)
	(calibration_target instrument337 Star0)
	(calibration_target instrument337 GroundStation15)
	(instrument instrument338)
	(supports instrument338 image31)
	(supports instrument338 image17)
	(supports instrument338 thermograph22)
	(calibration_target instrument338 Star7)
	(instrument instrument339)
	(supports instrument339 spectrograph12)
	(calibration_target instrument339 Star1)
	(calibration_target instrument339 GroundStation9)
	(calibration_target instrument339 GroundStation10)
	(calibration_target instrument339 Star6)
	(calibration_target instrument339 GroundStation13)
	(instrument instrument340)
	(supports instrument340 spectrograph10)
	(calibration_target instrument340 GroundStation10)
	(calibration_target instrument340 GroundStation9)
	(calibration_target instrument340 Star6)
	(calibration_target instrument340 Star8)
	(calibration_target instrument340 Star0)
	(instrument instrument341)
	(supports instrument341 thermograph28)
	(supports instrument341 infrared26)
	(calibration_target instrument341 Star7)
	(calibration_target instrument341 Star8)
	(instrument instrument342)
	(supports instrument342 image31)
	(calibration_target instrument342 Star6)
	(instrument instrument343)
	(supports instrument343 spectrograph20)
	(calibration_target instrument343 Star6)
	(calibration_target instrument343 Star14)
	(calibration_target instrument343 Star8)
	(calibration_target instrument343 GroundStation16)
	(instrument instrument344)
	(supports instrument344 infrared7)
	(calibration_target instrument344 GroundStation12)
	(calibration_target instrument344 GroundStation2)
	(calibration_target instrument344 GroundStation13)
	(calibration_target instrument344 Star8)
	(calibration_target instrument344 GroundStation16)
	(instrument instrument345)
	(supports instrument345 spectrograph10)
	(supports instrument345 thermograph6)
	(calibration_target instrument345 GroundStation2)
	(calibration_target instrument345 Star1)
	(calibration_target instrument345 Star3)
	(instrument instrument346)
	(supports instrument346 spectrograph20)
	(calibration_target instrument346 Star6)
	(calibration_target instrument346 GroundStation5)
	(calibration_target instrument346 GroundStation16)
	(calibration_target instrument346 Star1)
	(calibration_target instrument346 Star0)
	(instrument instrument347)
	(supports instrument347 image3)
	(supports instrument347 thermograph28)
	(calibration_target instrument347 GroundStation15)
	(calibration_target instrument347 Star11)
	(instrument instrument348)
	(supports instrument348 image16)
	(supports instrument348 image1)
	(calibration_target instrument348 GroundStation12)
	(instrument instrument349)
	(supports instrument349 thermograph22)
	(calibration_target instrument349 Star14)
	(instrument instrument350)
	(supports instrument350 image0)
	(supports instrument350 spectrograph9)
	(supports instrument350 spectrograph14)
	(calibration_target instrument350 Star7)
	(calibration_target instrument350 GroundStation13)
	(calibration_target instrument350 GroundStation10)
	(calibration_target instrument350 Star8)
	(instrument instrument351)
	(supports instrument351 infrared2)
	(supports instrument351 infrared23)
	(calibration_target instrument351 GroundStation9)
	(calibration_target instrument351 Star7)
	(calibration_target instrument351 GroundStation2)
	(calibration_target instrument351 GroundStation12)
	(instrument instrument352)
	(supports instrument352 infrared21)
	(supports instrument352 spectrograph10)
	(calibration_target instrument352 GroundStation5)
	(calibration_target instrument352 GroundStation15)
	(calibration_target instrument352 Star8)
	(calibration_target instrument352 Star6)
	(instrument instrument353)
	(supports instrument353 thermograph30)
	(supports instrument353 thermograph5)
	(supports instrument353 spectrograph13)
	(calibration_target instrument353 GroundStation10)
	(instrument instrument354)
	(supports instrument354 thermograph6)
	(supports instrument354 infrared26)
	(supports instrument354 spectrograph12)
	(calibration_target instrument354 GroundStation13)
	(calibration_target instrument354 Star7)
	(calibration_target instrument354 Star11)
	(calibration_target instrument354 GroundStation10)
	(instrument instrument355)
	(supports instrument355 spectrograph9)
	(calibration_target instrument355 GroundStation9)
	(instrument instrument356)
	(supports instrument356 spectrograph12)
	(supports instrument356 infrared26)
	(calibration_target instrument356 Star7)
	(calibration_target instrument356 GroundStation9)
	(instrument instrument357)
	(supports instrument357 infrared7)
	(calibration_target instrument357 GroundStation5)
	(instrument instrument358)
	(supports instrument358 infrared29)
	(supports instrument358 thermograph33)
	(supports instrument358 image17)
	(calibration_target instrument358 Star8)
	(calibration_target instrument358 GroundStation5)
	(calibration_target instrument358 Star0)
	(calibration_target instrument358 Star6)
	(calibration_target instrument358 GroundStation13)
	(instrument instrument359)
	(supports instrument359 infrared29)
	(supports instrument359 thermograph27)
	(calibration_target instrument359 Star0)
	(calibration_target instrument359 GroundStation16)
	(calibration_target instrument359 Star14)
	(calibration_target instrument359 GroundStation13)
	(calibration_target instrument359 Star1)
	(instrument instrument360)
	(supports instrument360 image1)
	(calibration_target instrument360 GroundStation15)
	(calibration_target instrument360 Star6)
	(calibration_target instrument360 GroundStation2)
	(calibration_target instrument360 Star3)
	(calibration_target instrument360 Star4)
	(instrument instrument361)
	(supports instrument361 image32)
	(calibration_target instrument361 Star7)
	(instrument instrument362)
	(supports instrument362 infrared21)
	(supports instrument362 spectrograph10)
	(supports instrument362 thermograph33)
	(calibration_target instrument362 GroundStation2)
	(calibration_target instrument362 Star0)
	(calibration_target instrument362 GroundStation12)
	(calibration_target instrument362 Star11)
	(calibration_target instrument362 GroundStation13)
	(on_board instrument337 satellite18)
	(on_board instrument338 satellite18)
	(on_board instrument339 satellite18)
	(on_board instrument340 satellite18)
	(on_board instrument341 satellite18)
	(on_board instrument342 satellite18)
	(on_board instrument343 satellite18)
	(on_board instrument344 satellite18)
	(on_board instrument345 satellite18)
	(on_board instrument346 satellite18)
	(on_board instrument347 satellite18)
	(on_board instrument348 satellite18)
	(on_board instrument349 satellite18)
	(on_board instrument350 satellite18)
	(on_board instrument351 satellite18)
	(on_board instrument352 satellite18)
	(on_board instrument353 satellite18)
	(on_board instrument354 satellite18)
	(on_board instrument355 satellite18)
	(on_board instrument356 satellite18)
	(on_board instrument357 satellite18)
	(on_board instrument358 satellite18)
	(on_board instrument359 satellite18)
	(on_board instrument360 satellite18)
	(on_board instrument361 satellite18)
	(on_board instrument362 satellite18)
	(power_avail satellite18)
	(pointing satellite18 Phenomenon30)
	(satellite satellite19)
	(instrument instrument363)
	(supports instrument363 infrared2)
	(calibration_target instrument363 GroundStation13)
	(calibration_target instrument363 Star6)
	(calibration_target instrument363 Star0)
	(calibration_target instrument363 Star7)
	(instrument instrument364)
	(supports instrument364 thermograph30)
	(calibration_target instrument364 Star7)
	(calibration_target instrument364 Star8)
	(instrument instrument365)
	(supports instrument365 image32)
	(supports instrument365 thermograph33)
	(supports instrument365 thermograph15)
	(calibration_target instrument365 Star1)
	(calibration_target instrument365 Star3)
	(calibration_target instrument365 Star14)
	(instrument instrument366)
	(supports instrument366 infrared7)
	(calibration_target instrument366 Star0)
	(calibration_target instrument366 GroundStation15)
	(instrument instrument367)
	(supports instrument367 infrared21)
	(calibration_target instrument367 Star14)
	(instrument instrument368)
	(supports instrument368 image1)
	(supports instrument368 thermograph8)
	(calibration_target instrument368 GroundStation13)
	(calibration_target instrument368 Star11)
	(calibration_target instrument368 GroundStation16)
	(calibration_target instrument368 Star8)
	(calibration_target instrument368 GroundStation10)
	(instrument instrument369)
	(supports instrument369 infrared29)
	(supports instrument369 thermograph27)
	(calibration_target instrument369 Star11)
	(calibration_target instrument369 Star14)
	(calibration_target instrument369 Star4)
	(instrument instrument370)
	(supports instrument370 spectrograph14)
	(calibration_target instrument370 GroundStation12)
	(calibration_target instrument370 GroundStation15)
	(calibration_target instrument370 Star1)
	(calibration_target instrument370 GroundStation16)
	(instrument instrument371)
	(supports instrument371 infrared24)
	(supports instrument371 image19)
	(supports instrument371 image16)
	(calibration_target instrument371 GroundStation2)
	(instrument instrument372)
	(supports instrument372 thermograph15)
	(calibration_target instrument372 GroundStation16)
	(calibration_target instrument372 Star0)
	(instrument instrument373)
	(supports instrument373 image32)
	(calibration_target instrument373 Star4)
	(calibration_target instrument373 Star0)
	(instrument instrument374)
	(supports instrument374 spectrograph10)
	(calibration_target instrument374 GroundStation12)
	(calibration_target instrument374 Star4)
	(calibration_target instrument374 Star14)
	(calibration_target instrument374 Star1)
	(calibration_target instrument374 Star6)
	(instrument instrument375)
	(supports instrument375 image17)
	(calibration_target instrument375 Star14)
	(calibration_target instrument375 Star6)
	(calibration_target instrument375 GroundStation13)
	(calibration_target instrument375 Star7)
	(calibration_target instrument375 GroundStation15)
	(instrument instrument376)
	(supports instrument376 spectrograph12)
	(calibration_target instrument376 Star6)
	(calibration_target instrument376 Star8)
	(calibration_target instrument376 Star14)
	(calibration_target instrument376 GroundStation16)
	(instrument instrument377)
	(supports instrument377 thermograph8)
	(supports instrument377 infrared18)
	(calibration_target instrument377 GroundStation12)
	(calibration_target instrument377 Star4)
	(calibration_target instrument377 Star7)
	(calibration_target instrument377 GroundStation16)
	(calibration_target instrument377 GroundStation9)
	(instrument instrument378)
	(supports instrument378 spectrograph14)
	(calibration_target instrument378 GroundStation5)
	(calibration_target instrument378 GroundStation9)
	(calibration_target instrument378 Star6)
	(calibration_target instrument378 Star3)
	(calibration_target instrument378 Star0)
	(instrument instrument379)
	(supports instrument379 spectrograph34)
	(supports instrument379 spectrograph12)
	(supports instrument379 thermograph33)
	(calibration_target instrument379 GroundStation16)
	(calibration_target instrument379 Star4)
	(calibration_target instrument379 GroundStation13)
	(instrument instrument380)
	(supports instrument380 thermograph22)
	(supports instrument380 thermograph30)
	(supports instrument380 infrared21)
	(calibration_target instrument380 Star8)
	(instrument instrument381)
	(supports instrument381 thermograph4)
	(calibration_target instrument381 Star14)
	(calibration_target instrument381 GroundStation13)
	(instrument instrument382)
	(supports instrument382 spectrograph9)
	(calibration_target instrument382 Star6)
	(calibration_target instrument382 Star4)
	(instrument instrument383)
	(supports instrument383 image17)
	(supports instrument383 spectrograph34)
	(supports instrument383 image3)
	(calibration_target instrument383 Star0)
	(calibration_target instrument383 GroundStation9)
	(instrument instrument384)
	(supports instrument384 thermograph28)
	(supports instrument384 thermograph30)
	(calibration_target instrument384 Star8)
	(instrument instrument385)
	(supports instrument385 image17)
	(supports instrument385 image0)
	(calibration_target instrument385 GroundStation2)
	(calibration_target instrument385 GroundStation5)
	(calibration_target instrument385 GroundStation15)
	(instrument instrument386)
	(supports instrument386 thermograph6)
	(supports instrument386 spectrograph34)
	(calibration_target instrument386 GroundStation10)
	(instrument instrument387)
	(supports instrument387 infrared21)
	(supports instrument387 thermograph6)
	(supports instrument387 thermograph25)
	(calibration_target instrument387 Star14)
	(calibration_target instrument387 Star6)
	(calibration_target instrument387 Star7)
	(calibration_target instrument387 Star11)
	(calibration_target instrument387 GroundStation12)
	(on_board instrument363 satellite19)
	(on_board instrument364 satellite19)
	(on_board instrument365 satellite19)
	(on_board instrument366 satellite19)
	(on_board instrument367 satellite19)
	(on_board instrument368 satellite19)
	(on_board instrument369 satellite19)
	(on_board instrument370 satellite19)
	(on_board instrument371 satellite19)
	(on_board instrument372 satellite19)
	(on_board instrument373 satellite19)
	(on_board instrument374 satellite19)
	(on_board instrument375 satellite19)
	(on_board instrument376 satellite19)
	(on_board instrument377 satellite19)
	(on_board instrument378 satellite19)
	(on_board instrument379 satellite19)
	(on_board instrument380 satellite19)
	(on_board instrument381 satellite19)
	(on_board instrument382 satellite19)
	(on_board instrument383 satellite19)
	(on_board instrument384 satellite19)
	(on_board instrument385 satellite19)
	(on_board instrument386 satellite19)
	(on_board instrument387 satellite19)
	(power_avail satellite19)
	(pointing satellite19 Star75)
	(satellite satellite20)
	(instrument instrument388)
	(supports instrument388 infrared23)
	(calibration_target instrument388 GroundStation15)
	(calibration_target instrument388 GroundStation9)
	(calibration_target instrument388 Star0)
	(instrument instrument389)
	(supports instrument389 image31)
	(supports instrument389 thermograph8)
	(calibration_target instrument389 GroundStation15)
	(calibration_target instrument389 GroundStation9)
	(calibration_target instrument389 Star1)
	(instrument instrument390)
	(supports instrument390 spectrograph34)
	(supports instrument390 thermograph27)
	(calibration_target instrument390 GroundStation10)
	(calibration_target instrument390 Star0)
	(calibration_target instrument390 Star8)
	(instrument instrument391)
	(supports instrument391 thermograph8)
	(supports instrument391 infrared18)
	(calibration_target instrument391 GroundStation12)
	(calibration_target instrument391 GroundStation10)
	(calibration_target instrument391 GroundStation15)
	(instrument instrument392)
	(supports instrument392 image11)
	(calibration_target instrument392 Star0)
	(calibration_target instrument392 Star7)
	(instrument instrument393)
	(supports instrument393 image32)
	(supports instrument393 thermograph25)
	(calibration_target instrument393 GroundStation12)
	(calibration_target instrument393 Star14)
	(calibration_target instrument393 GroundStation10)
	(calibration_target instrument393 GroundStation5)
	(instrument instrument394)
	(supports instrument394 image32)
	(calibration_target instrument394 GroundStation2)
	(calibration_target instrument394 Star1)
	(calibration_target instrument394 GroundStation16)
	(calibration_target instrument394 Star7)
	(instrument instrument395)
	(supports instrument395 image17)
	(calibration_target instrument395 Star8)
	(calibration_target instrument395 Star0)
	(calibration_target instrument395 GroundStation15)
	(calibration_target instrument395 Star14)
	(calibration_target instrument395 Star4)
	(on_board instrument388 satellite20)
	(on_board instrument389 satellite20)
	(on_board instrument390 satellite20)
	(on_board instrument391 satellite20)
	(on_board instrument392 satellite20)
	(on_board instrument393 satellite20)
	(on_board instrument394 satellite20)
	(on_board instrument395 satellite20)
	(power_avail satellite20)
	(pointing satellite20 Star78)
	(satellite satellite21)
	(instrument instrument396)
	(supports instrument396 thermograph6)
	(calibration_target instrument396 GroundStation16)
	(instrument instrument397)
	(supports instrument397 image1)
	(calibration_target instrument397 GroundStation9)
	(calibration_target instrument397 GroundStation2)
	(calibration_target instrument397 GroundStation10)
	(instrument instrument398)
	(supports instrument398 image31)
	(supports instrument398 spectrograph34)
	(supports instrument398 thermograph33)
	(calibration_target instrument398 GroundStation15)
	(calibration_target instrument398 GroundStation12)
	(calibration_target instrument398 GroundStation16)
	(calibration_target instrument398 GroundStation13)
	(calibration_target instrument398 Star11)
	(instrument instrument399)
	(supports instrument399 thermograph5)
	(supports instrument399 image17)
	(supports instrument399 image0)
	(calibration_target instrument399 Star14)
	(calibration_target instrument399 GroundStation9)
	(instrument instrument400)
	(supports instrument400 thermograph25)
	(calibration_target instrument400 GroundStation2)
	(instrument instrument401)
	(supports instrument401 image31)
	(supports instrument401 image17)
	(calibration_target instrument401 GroundStation13)
	(instrument instrument402)
	(supports instrument402 infrared24)
	(supports instrument402 image11)
	(supports instrument402 thermograph6)
	(calibration_target instrument402 Star14)
	(calibration_target instrument402 GroundStation2)
	(instrument instrument403)
	(supports instrument403 thermograph4)
	(supports instrument403 spectrograph20)
	(calibration_target instrument403 Star7)
	(calibration_target instrument403 GroundStation16)
	(calibration_target instrument403 GroundStation15)
	(instrument instrument404)
	(supports instrument404 thermograph28)
	(calibration_target instrument404 Star8)
	(calibration_target instrument404 Star7)
	(calibration_target instrument404 Star3)
	(calibration_target instrument404 Star14)
	(calibration_target instrument404 GroundStation2)
	(instrument instrument405)
	(supports instrument405 spectrograph13)
	(supports instrument405 image1)
	(calibration_target instrument405 Star3)
	(instrument instrument406)
	(supports instrument406 image1)
	(supports instrument406 thermograph4)
	(supports instrument406 thermograph22)
	(calibration_target instrument406 GroundStation12)
	(calibration_target instrument406 GroundStation13)
	(calibration_target instrument406 GroundStation15)
	(calibration_target instrument406 Star1)
	(calibration_target instrument406 Star4)
	(instrument instrument407)
	(supports instrument407 spectrograph9)
	(supports instrument407 spectrograph14)
	(supports instrument407 image32)
	(calibration_target instrument407 GroundStation10)
	(instrument instrument408)
	(supports instrument408 image0)
	(supports instrument408 image3)
	(calibration_target instrument408 Star8)
	(calibration_target instrument408 GroundStation12)
	(instrument instrument409)
	(supports instrument409 thermograph15)
	(supports instrument409 infrared18)
	(calibration_target instrument409 Star7)
	(calibration_target instrument409 GroundStation16)
	(instrument instrument410)
	(supports instrument410 image0)
	(supports instrument410 spectrograph12)
	(supports instrument410 image1)
	(calibration_target instrument410 Star1)
	(calibration_target instrument410 Star0)
	(instrument instrument411)
	(supports instrument411 thermograph4)
	(supports instrument411 spectrograph9)
	(calibration_target instrument411 Star1)
	(calibration_target instrument411 GroundStation9)
	(calibration_target instrument411 GroundStation5)
	(instrument instrument412)
	(supports instrument412 spectrograph34)
	(calibration_target instrument412 GroundStation13)
	(calibration_target instrument412 Star0)
	(calibration_target instrument412 Star7)
	(instrument instrument413)
	(supports instrument413 image0)
	(calibration_target instrument413 GroundStation2)
	(calibration_target instrument413 Star7)
	(instrument instrument414)
	(supports instrument414 spectrograph10)
	(calibration_target instrument414 GroundStation16)
	(on_board instrument396 satellite21)
	(on_board instrument397 satellite21)
	(on_board instrument398 satellite21)
	(on_board instrument399 satellite21)
	(on_board instrument400 satellite21)
	(on_board instrument401 satellite21)
	(on_board instrument402 satellite21)
	(on_board instrument403 satellite21)
	(on_board instrument404 satellite21)
	(on_board instrument405 satellite21)
	(on_board instrument406 satellite21)
	(on_board instrument407 satellite21)
	(on_board instrument408 satellite21)
	(on_board instrument409 satellite21)
	(on_board instrument410 satellite21)
	(on_board instrument411 satellite21)
	(on_board instrument412 satellite21)
	(on_board instrument413 satellite21)
	(on_board instrument414 satellite21)
	(power_avail satellite21)
	(pointing satellite21 Planet42)
	(satellite satellite22)
	(instrument instrument415)
	(supports instrument415 spectrograph10)
	(supports instrument415 thermograph6)
	(supports instrument415 image1)
	(calibration_target instrument415 Star11)
	(calibration_target instrument415 GroundStation15)
	(instrument instrument416)
	(supports instrument416 thermograph8)
	(calibration_target instrument416 GroundStation12)
	(instrument instrument417)
	(supports instrument417 image11)
	(supports instrument417 infrared2)
	(calibration_target instrument417 GroundStation5)
	(instrument instrument418)
	(supports instrument418 thermograph28)
	(calibration_target instrument418 GroundStation15)
	(calibration_target instrument418 GroundStation5)
	(calibration_target instrument418 Star6)
	(calibration_target instrument418 Star14)
	(instrument instrument419)
	(supports instrument419 spectrograph14)
	(calibration_target instrument419 GroundStation5)
	(calibration_target instrument419 Star6)
	(calibration_target instrument419 Star11)
	(calibration_target instrument419 GroundStation10)
	(instrument instrument420)
	(supports instrument420 spectrograph12)
	(supports instrument420 infrared18)
	(supports instrument420 thermograph5)
	(calibration_target instrument420 Star14)
	(instrument instrument421)
	(supports instrument421 thermograph8)
	(supports instrument421 image1)
	(calibration_target instrument421 GroundStation2)
	(calibration_target instrument421 Star7)
	(calibration_target instrument421 GroundStation5)
	(calibration_target instrument421 GroundStation16)
	(calibration_target instrument421 GroundStation12)
	(on_board instrument415 satellite22)
	(on_board instrument416 satellite22)
	(on_board instrument417 satellite22)
	(on_board instrument418 satellite22)
	(on_board instrument419 satellite22)
	(on_board instrument420 satellite22)
	(on_board instrument421 satellite22)
	(power_avail satellite22)
	(pointing satellite22 Star38)
	(satellite satellite23)
	(instrument instrument422)
	(supports instrument422 image31)
	(calibration_target instrument422 Star8)
	(instrument instrument423)
	(supports instrument423 thermograph22)
	(supports instrument423 infrared7)
	(calibration_target instrument423 Star7)
	(calibration_target instrument423 Star11)
	(instrument instrument424)
	(supports instrument424 thermograph6)
	(supports instrument424 image16)
	(calibration_target instrument424 GroundStation9)
	(calibration_target instrument424 GroundStation16)
	(instrument instrument425)
	(supports instrument425 spectrograph9)
	(supports instrument425 infrared7)
	(supports instrument425 image32)
	(calibration_target instrument425 Star8)
	(calibration_target instrument425 GroundStation9)
	(instrument instrument426)
	(supports instrument426 spectrograph13)
	(supports instrument426 thermograph30)
	(supports instrument426 image1)
	(calibration_target instrument426 Star4)
	(calibration_target instrument426 Star6)
	(calibration_target instrument426 GroundStation9)
	(instrument instrument427)
	(supports instrument427 image16)
	(supports instrument427 image3)
	(calibration_target instrument427 Star14)
	(instrument instrument428)
	(supports instrument428 thermograph28)
	(supports instrument428 infrared29)
	(calibration_target instrument428 GroundStation2)
	(calibration_target instrument428 GroundStation9)
	(calibration_target instrument428 GroundStation13)
	(calibration_target instrument428 GroundStation12)
	(instrument instrument429)
	(supports instrument429 image16)
	(supports instrument429 thermograph30)
	(calibration_target instrument429 Star3)
	(instrument instrument430)
	(supports instrument430 thermograph27)
	(supports instrument430 image16)
	(calibration_target instrument430 GroundStation5)
	(calibration_target instrument430 GroundStation12)
	(calibration_target instrument430 GroundStation15)
	(instrument instrument431)
	(supports instrument431 thermograph28)
	(calibration_target instrument431 Star4)
	(calibration_target instrument431 Star8)
	(calibration_target instrument431 GroundStation5)
	(calibration_target instrument431 Star11)
	(calibration_target instrument431 GroundStation12)
	(instrument instrument432)
	(supports instrument432 image17)
	(supports instrument432 infrared7)
	(calibration_target instrument432 Star1)
	(calibration_target instrument432 GroundStation12)
	(calibration_target instrument432 GroundStation9)
	(instrument instrument433)
	(supports instrument433 thermograph6)
	(supports instrument433 thermograph27)
	(calibration_target instrument433 Star4)
	(calibration_target instrument433 GroundStation9)
	(instrument instrument434)
	(supports instrument434 image3)
	(supports instrument434 thermograph15)
	(supports instrument434 infrared2)
	(calibration_target instrument434 GroundStation16)
	(instrument instrument435)
	(supports instrument435 image3)
	(calibration_target instrument435 GroundStation15)
	(instrument instrument436)
	(supports instrument436 image19)
	(calibration_target instrument436 GroundStation15)
	(instrument instrument437)
	(supports instrument437 thermograph30)
	(calibration_target instrument437 Star4)
	(instrument instrument438)
	(supports instrument438 image32)
	(supports instrument438 spectrograph9)
	(calibration_target instrument438 GroundStation15)
	(calibration_target instrument438 GroundStation13)
	(calibration_target instrument438 Star3)
	(instrument instrument439)
	(supports instrument439 thermograph30)
	(supports instrument439 image16)
	(calibration_target instrument439 Star7)
	(calibration_target instrument439 GroundStation2)
	(calibration_target instrument439 Star3)
	(calibration_target instrument439 Star6)
	(instrument instrument440)
	(supports instrument440 spectrograph10)
	(supports instrument440 thermograph28)
	(calibration_target instrument440 GroundStation9)
	(calibration_target instrument440 Star8)
	(calibration_target instrument440 Star7)
	(calibration_target instrument440 GroundStation12)
	(calibration_target instrument440 Star11)
	(instrument instrument441)
	(supports instrument441 infrared7)
	(calibration_target instrument441 Star8)
	(calibration_target instrument441 Star7)
	(calibration_target instrument441 GroundStation10)
	(calibration_target instrument441 Star11)
	(instrument instrument442)
	(supports instrument442 infrared24)
	(supports instrument442 image11)
	(supports instrument442 infrared23)
	(calibration_target instrument442 Star7)
	(calibration_target instrument442 GroundStation15)
	(instrument instrument443)
	(supports instrument443 thermograph25)
	(supports instrument443 infrared23)
	(calibration_target instrument443 Star3)
	(calibration_target instrument443 Star1)
	(calibration_target instrument443 Star0)
	(instrument instrument444)
	(supports instrument444 infrared18)
	(calibration_target instrument444 Star0)
	(calibration_target instrument444 GroundStation16)
	(calibration_target instrument444 GroundStation15)
	(calibration_target instrument444 Star3)
	(calibration_target instrument444 Star14)
	(instrument instrument445)
	(supports instrument445 spectrograph13)
	(calibration_target instrument445 GroundStation10)
	(calibration_target instrument445 GroundStation12)
	(calibration_target instrument445 Star4)
	(calibration_target instrument445 GroundStation5)
	(on_board instrument422 satellite23)
	(on_board instrument423 satellite23)
	(on_board instrument424 satellite23)
	(on_board instrument425 satellite23)
	(on_board instrument426 satellite23)
	(on_board instrument427 satellite23)
	(on_board instrument428 satellite23)
	(on_board instrument429 satellite23)
	(on_board instrument430 satellite23)
	(on_board instrument431 satellite23)
	(on_board instrument432 satellite23)
	(on_board instrument433 satellite23)
	(on_board instrument434 satellite23)
	(on_board instrument435 satellite23)
	(on_board instrument436 satellite23)
	(on_board instrument437 satellite23)
	(on_board instrument438 satellite23)
	(on_board instrument439 satellite23)
	(on_board instrument440 satellite23)
	(on_board instrument441 satellite23)
	(on_board instrument442 satellite23)
	(on_board instrument443 satellite23)
	(on_board instrument444 satellite23)
	(on_board instrument445 satellite23)
	(power_avail satellite23)
	(pointing satellite23 Star78)
	(satellite satellite24)
	(instrument instrument446)
	(supports instrument446 infrared29)
	(calibration_target instrument446 GroundStation9)
	(instrument instrument447)
	(supports instrument447 image0)
	(supports instrument447 image19)
	(supports instrument447 thermograph5)
	(calibration_target instrument447 GroundStation16)
	(instrument instrument448)
	(supports instrument448 infrared23)
	(supports instrument448 infrared24)
	(calibration_target instrument448 Star8)
	(instrument instrument449)
	(supports instrument449 image1)
	(calibration_target instrument449 GroundStation10)
	(instrument instrument450)
	(supports instrument450 spectrograph13)
	(supports instrument450 thermograph4)
	(supports instrument450 image1)
	(calibration_target instrument450 Star11)
	(calibration_target instrument450 Star6)
	(calibration_target instrument450 GroundStation2)
	(calibration_target instrument450 GroundStation5)
	(calibration_target instrument450 Star0)
	(instrument instrument451)
	(supports instrument451 image3)
	(supports instrument451 infrared23)
	(supports instrument451 thermograph22)
	(calibration_target instrument451 GroundStation12)
	(calibration_target instrument451 Star7)
	(calibration_target instrument451 Star8)
	(calibration_target instrument451 GroundStation10)
	(calibration_target instrument451 GroundStation15)
	(instrument instrument452)
	(supports instrument452 infrared18)
	(calibration_target instrument452 Star4)
	(calibration_target instrument452 Star11)
	(calibration_target instrument452 GroundStation9)
	(instrument instrument453)
	(supports instrument453 thermograph27)
	(calibration_target instrument453 Star7)
	(calibration_target instrument453 GroundStation5)
	(calibration_target instrument453 Star11)
	(calibration_target instrument453 GroundStation15)
	(instrument instrument454)
	(supports instrument454 image3)
	(calibration_target instrument454 Star4)
	(calibration_target instrument454 GroundStation10)
	(calibration_target instrument454 GroundStation15)
	(instrument instrument455)
	(supports instrument455 spectrograph20)
	(calibration_target instrument455 GroundStation10)
	(calibration_target instrument455 GroundStation12)
	(calibration_target instrument455 Star7)
	(instrument instrument456)
	(supports instrument456 image17)
	(supports instrument456 spectrograph9)
	(calibration_target instrument456 GroundStation12)
	(calibration_target instrument456 GroundStation13)
	(calibration_target instrument456 Star1)
	(calibration_target instrument456 Star4)
	(on_board instrument446 satellite24)
	(on_board instrument447 satellite24)
	(on_board instrument448 satellite24)
	(on_board instrument449 satellite24)
	(on_board instrument450 satellite24)
	(on_board instrument451 satellite24)
	(on_board instrument452 satellite24)
	(on_board instrument453 satellite24)
	(on_board instrument454 satellite24)
	(on_board instrument455 satellite24)
	(on_board instrument456 satellite24)
	(power_avail satellite24)
	(pointing satellite24 Phenomenon62)
	(satellite satellite25)
	(instrument instrument457)
	(supports instrument457 infrared26)
	(supports instrument457 thermograph33)
	(calibration_target instrument457 GroundStation16)
	(calibration_target instrument457 GroundStation15)
	(calibration_target instrument457 GroundStation5)
	(calibration_target instrument457 GroundStation10)
	(instrument instrument458)
	(supports instrument458 thermograph27)
	(supports instrument458 spectrograph12)
	(calibration_target instrument458 GroundStation12)
	(instrument instrument459)
	(supports instrument459 infrared24)
	(calibration_target instrument459 GroundStation2)
	(calibration_target instrument459 GroundStation10)
	(calibration_target instrument459 GroundStation12)
	(calibration_target instrument459 Star1)
	(calibration_target instrument459 Star14)
	(instrument instrument460)
	(supports instrument460 thermograph22)
	(supports instrument460 image16)
	(calibration_target instrument460 Star1)
	(calibration_target instrument460 GroundStation10)
	(instrument instrument461)
	(supports instrument461 infrared24)
	(calibration_target instrument461 Star0)
	(instrument instrument462)
	(supports instrument462 thermograph15)
	(supports instrument462 image19)
	(supports instrument462 infrared23)
	(calibration_target instrument462 GroundStation16)
	(calibration_target instrument462 GroundStation9)
	(instrument instrument463)
	(supports instrument463 thermograph6)
	(supports instrument463 thermograph4)
	(supports instrument463 infrared21)
	(calibration_target instrument463 Star8)
	(instrument instrument464)
	(supports instrument464 infrared29)
	(supports instrument464 infrared26)
	(supports instrument464 infrared18)
	(calibration_target instrument464 GroundStation16)
	(calibration_target instrument464 Star4)
	(calibration_target instrument464 GroundStation12)
	(calibration_target instrument464 GroundStation10)
	(instrument instrument465)
	(supports instrument465 spectrograph34)
	(supports instrument465 thermograph22)
	(supports instrument465 thermograph28)
	(calibration_target instrument465 GroundStation5)
	(calibration_target instrument465 Star0)
	(calibration_target instrument465 Star6)
	(instrument instrument466)
	(supports instrument466 spectrograph34)
	(supports instrument466 spectrograph20)
	(calibration_target instrument466 Star7)
	(calibration_target instrument466 GroundStation10)
	(calibration_target instrument466 Star8)
	(instrument instrument467)
	(supports instrument467 image16)
	(supports instrument467 infrared2)
	(calibration_target instrument467 Star11)
	(calibration_target instrument467 Star8)
	(calibration_target instrument467 Star4)
	(calibration_target instrument467 Star7)
	(instrument instrument468)
	(supports instrument468 spectrograph10)
	(calibration_target instrument468 GroundStation9)
	(calibration_target instrument468 GroundStation10)
	(calibration_target instrument468 Star3)
	(calibration_target instrument468 Star8)
	(calibration_target instrument468 GroundStation16)
	(instrument instrument469)
	(supports instrument469 spectrograph10)
	(supports instrument469 spectrograph13)
	(supports instrument469 thermograph4)
	(calibration_target instrument469 Star7)
	(calibration_target instrument469 Star14)
	(calibration_target instrument469 GroundStation5)
	(calibration_target instrument469 GroundStation16)
	(calibration_target instrument469 GroundStation9)
	(instrument instrument470)
	(supports instrument470 image19)
	(supports instrument470 image17)
	(supports instrument470 spectrograph13)
	(calibration_target instrument470 Star0)
	(calibration_target instrument470 Star6)
	(calibration_target instrument470 Star11)
	(calibration_target instrument470 Star4)
	(instrument instrument471)
	(supports instrument471 spectrograph34)
	(supports instrument471 spectrograph9)
	(calibration_target instrument471 Star4)
	(instrument instrument472)
	(supports instrument472 thermograph22)
	(supports instrument472 thermograph5)
	(supports instrument472 spectrograph34)
	(calibration_target instrument472 Star0)
	(instrument instrument473)
	(supports instrument473 thermograph27)
	(supports instrument473 infrared24)
	(supports instrument473 spectrograph12)
	(calibration_target instrument473 GroundStation12)
	(calibration_target instrument473 Star0)
	(instrument instrument474)
	(supports instrument474 thermograph8)
	(supports instrument474 thermograph28)
	(calibration_target instrument474 GroundStation9)
	(instrument instrument475)
	(supports instrument475 thermograph22)
	(calibration_target instrument475 GroundStation5)
	(calibration_target instrument475 Star11)
	(instrument instrument476)
	(supports instrument476 thermograph6)
	(supports instrument476 infrared29)
	(calibration_target instrument476 Star4)
	(instrument instrument477)
	(supports instrument477 spectrograph10)
	(calibration_target instrument477 GroundStation15)
	(calibration_target instrument477 Star4)
	(calibration_target instrument477 GroundStation9)
	(instrument instrument478)
	(supports instrument478 thermograph6)
	(supports instrument478 thermograph33)
	(calibration_target instrument478 GroundStation13)
	(instrument instrument479)
	(supports instrument479 infrared2)
	(calibration_target instrument479 Star8)
	(calibration_target instrument479 GroundStation16)
	(calibration_target instrument479 GroundStation13)
	(calibration_target instrument479 Star11)
	(on_board instrument457 satellite25)
	(on_board instrument458 satellite25)
	(on_board instrument459 satellite25)
	(on_board instrument460 satellite25)
	(on_board instrument461 satellite25)
	(on_board instrument462 satellite25)
	(on_board instrument463 satellite25)
	(on_board instrument464 satellite25)
	(on_board instrument465 satellite25)
	(on_board instrument466 satellite25)
	(on_board instrument467 satellite25)
	(on_board instrument468 satellite25)
	(on_board instrument469 satellite25)
	(on_board instrument470 satellite25)
	(on_board instrument471 satellite25)
	(on_board instrument472 satellite25)
	(on_board instrument473 satellite25)
	(on_board instrument474 satellite25)
	(on_board instrument475 satellite25)
	(on_board instrument476 satellite25)
	(on_board instrument477 satellite25)
	(on_board instrument478 satellite25)
	(on_board instrument479 satellite25)
	(power_avail satellite25)
	(pointing satellite25 Star38)
	(satellite satellite26)
	(instrument instrument480)
	(supports instrument480 thermograph8)
	(supports instrument480 image0)
	(supports instrument480 spectrograph13)
	(calibration_target instrument480 GroundStation12)
	(calibration_target instrument480 GroundStation9)
	(instrument instrument481)
	(supports instrument481 infrared29)
	(supports instrument481 spectrograph20)
	(supports instrument481 thermograph22)
	(calibration_target instrument481 GroundStation9)
	(calibration_target instrument481 Star6)
	(calibration_target instrument481 GroundStation2)
	(calibration_target instrument481 GroundStation10)
	(calibration_target instrument481 Star0)
	(instrument instrument482)
	(supports instrument482 spectrograph13)
	(supports instrument482 image0)
	(supports instrument482 infrared24)
	(calibration_target instrument482 GroundStation16)
	(instrument instrument483)
	(supports instrument483 infrared26)
	(supports instrument483 image11)
	(supports instrument483 infrared18)
	(calibration_target instrument483 Star0)
	(calibration_target instrument483 GroundStation16)
	(calibration_target instrument483 GroundStation15)
	(calibration_target instrument483 Star3)
	(instrument instrument484)
	(supports instrument484 spectrograph9)
	(calibration_target instrument484 GroundStation5)
	(instrument instrument485)
	(supports instrument485 infrared18)
	(supports instrument485 thermograph22)
	(calibration_target instrument485 GroundStation5)
	(calibration_target instrument485 Star7)
	(instrument instrument486)
	(supports instrument486 spectrograph14)
	(calibration_target instrument486 GroundStation9)
	(calibration_target instrument486 GroundStation5)
	(calibration_target instrument486 GroundStation15)
	(calibration_target instrument486 Star1)
	(calibration_target instrument486 Star4)
	(instrument instrument487)
	(supports instrument487 image31)
	(supports instrument487 image17)
	(supports instrument487 thermograph5)
	(calibration_target instrument487 Star3)
	(calibration_target instrument487 GroundStation15)
	(calibration_target instrument487 Star7)
	(calibration_target instrument487 Star0)
	(instrument instrument488)
	(supports instrument488 thermograph6)
	(supports instrument488 spectrograph34)
	(calibration_target instrument488 GroundStation10)
	(calibration_target instrument488 Star6)
	(calibration_target instrument488 Star0)
	(calibration_target instrument488 Star8)
	(instrument instrument489)
	(supports instrument489 thermograph15)
	(supports instrument489 thermograph22)
	(supports instrument489 image0)
	(calibration_target instrument489 Star6)
	(calibration_target instrument489 GroundStation5)
	(on_board instrument480 satellite26)
	(on_board instrument481 satellite26)
	(on_board instrument482 satellite26)
	(on_board instrument483 satellite26)
	(on_board instrument484 satellite26)
	(on_board instrument485 satellite26)
	(on_board instrument486 satellite26)
	(on_board instrument487 satellite26)
	(on_board instrument488 satellite26)
	(on_board instrument489 satellite26)
	(power_avail satellite26)
	(pointing satellite26 Star11)
	(satellite satellite27)
	(instrument instrument490)
	(supports instrument490 thermograph22)
	(supports instrument490 thermograph33)
	(supports instrument490 thermograph4)
	(calibration_target instrument490 Star0)
	(calibration_target instrument490 Star14)
	(calibration_target instrument490 Star8)
	(instrument instrument491)
	(supports instrument491 infrared29)
	(calibration_target instrument491 Star4)
	(instrument instrument492)
	(supports instrument492 thermograph25)
	(calibration_target instrument492 GroundStation5)
	(instrument instrument493)
	(supports instrument493 image32)
	(supports instrument493 thermograph27)
	(calibration_target instrument493 GroundStation13)
	(calibration_target instrument493 Star11)
	(calibration_target instrument493 GroundStation9)
	(instrument instrument494)
	(supports instrument494 thermograph8)
	(supports instrument494 image32)
	(supports instrument494 thermograph27)
	(calibration_target instrument494 GroundStation5)
	(calibration_target instrument494 GroundStation12)
	(calibration_target instrument494 Star14)
	(calibration_target instrument494 GroundStation2)
	(calibration_target instrument494 GroundStation9)
	(instrument instrument495)
	(supports instrument495 infrared21)
	(supports instrument495 thermograph6)
	(supports instrument495 image0)
	(calibration_target instrument495 GroundStation13)
	(calibration_target instrument495 Star3)
	(calibration_target instrument495 Star14)
	(calibration_target instrument495 GroundStation5)
	(calibration_target instrument495 Star11)
	(instrument instrument496)
	(supports instrument496 spectrograph9)
	(supports instrument496 thermograph22)
	(calibration_target instrument496 Star4)
	(calibration_target instrument496 GroundStation2)
	(calibration_target instrument496 Star6)
	(instrument instrument497)
	(supports instrument497 infrared21)
	(calibration_target instrument497 Star14)
	(calibration_target instrument497 GroundStation13)
	(calibration_target instrument497 GroundStation10)
	(calibration_target instrument497 Star8)
	(instrument instrument498)
	(supports instrument498 spectrograph20)
	(supports instrument498 spectrograph34)
	(supports instrument498 thermograph33)
	(calibration_target instrument498 Star3)
	(on_board instrument490 satellite27)
	(on_board instrument491 satellite27)
	(on_board instrument492 satellite27)
	(on_board instrument493 satellite27)
	(on_board instrument494 satellite27)
	(on_board instrument495 satellite27)
	(on_board instrument496 satellite27)
	(on_board instrument497 satellite27)
	(on_board instrument498 satellite27)
	(power_avail satellite27)
	(pointing satellite27 Planet20)
	(satellite satellite28)
	(instrument instrument499)
	(supports instrument499 spectrograph13)
	(calibration_target instrument499 Star8)
	(calibration_target instrument499 Star6)
	(calibration_target instrument499 Star1)
	(calibration_target instrument499 Star7)
	(instrument instrument500)
	(supports instrument500 image3)
	(calibration_target instrument500 GroundStation15)
	(instrument instrument501)
	(supports instrument501 thermograph22)
	(supports instrument501 image17)
	(supports instrument501 thermograph15)
	(calibration_target instrument501 GroundStation13)
	(calibration_target instrument501 Star0)
	(calibration_target instrument501 GroundStation9)
	(instrument instrument502)
	(supports instrument502 image19)
	(supports instrument502 thermograph15)
	(calibration_target instrument502 GroundStation10)
	(calibration_target instrument502 GroundStation2)
	(calibration_target instrument502 Star3)
	(calibration_target instrument502 Star11)
	(instrument instrument503)
	(supports instrument503 image19)
	(calibration_target instrument503 Star1)
	(calibration_target instrument503 GroundStation12)
	(calibration_target instrument503 Star3)
	(calibration_target instrument503 Star8)
	(instrument instrument504)
	(supports instrument504 spectrograph9)
	(calibration_target instrument504 GroundStation15)
	(calibration_target instrument504 Star3)
	(instrument instrument505)
	(supports instrument505 image31)
	(supports instrument505 thermograph22)
	(supports instrument505 image17)
	(calibration_target instrument505 Star6)
	(instrument instrument506)
	(supports instrument506 infrared29)
	(supports instrument506 thermograph30)
	(calibration_target instrument506 GroundStation12)
	(instrument instrument507)
	(supports instrument507 spectrograph20)
	(supports instrument507 infrared7)
	(calibration_target instrument507 Star3)
	(calibration_target instrument507 GroundStation15)
	(calibration_target instrument507 Star4)
	(calibration_target instrument507 GroundStation16)
	(instrument instrument508)
	(supports instrument508 image1)
	(calibration_target instrument508 Star3)
	(calibration_target instrument508 GroundStation5)
	(instrument instrument509)
	(supports instrument509 infrared7)
	(supports instrument509 image17)
	(calibration_target instrument509 GroundStation13)
	(calibration_target instrument509 Star3)
	(calibration_target instrument509 Star11)
	(calibration_target instrument509 GroundStation16)
	(on_board instrument499 satellite28)
	(on_board instrument500 satellite28)
	(on_board instrument501 satellite28)
	(on_board instrument502 satellite28)
	(on_board instrument503 satellite28)
	(on_board instrument504 satellite28)
	(on_board instrument505 satellite28)
	(on_board instrument506 satellite28)
	(on_board instrument507 satellite28)
	(on_board instrument508 satellite28)
	(on_board instrument509 satellite28)
	(power_avail satellite28)
	(pointing satellite28 GroundStation9)
	(satellite satellite29)
	(instrument instrument510)
	(supports instrument510 spectrograph9)
	(supports instrument510 infrared2)
	(supports instrument510 spectrograph13)
	(calibration_target instrument510 GroundStation10)
	(calibration_target instrument510 GroundStation15)
	(calibration_target instrument510 GroundStation13)
	(calibration_target instrument510 Star0)
	(instrument instrument511)
	(supports instrument511 infrared2)
	(supports instrument511 thermograph30)
	(supports instrument511 infrared24)
	(calibration_target instrument511 Star14)
	(calibration_target instrument511 GroundStation15)
	(calibration_target instrument511 GroundStation13)
	(calibration_target instrument511 GroundStation12)
	(calibration_target instrument511 Star8)
	(instrument instrument512)
	(supports instrument512 infrared29)
	(supports instrument512 infrared21)
	(calibration_target instrument512 Star11)
	(calibration_target instrument512 Star8)
	(instrument instrument513)
	(supports instrument513 spectrograph34)
	(calibration_target instrument513 Star6)
	(instrument instrument514)
	(supports instrument514 image32)
	(calibration_target instrument514 Star6)
	(calibration_target instrument514 GroundStation5)
	(instrument instrument515)
	(supports instrument515 spectrograph10)
	(calibration_target instrument515 GroundStation9)
	(instrument instrument516)
	(supports instrument516 thermograph27)
	(calibration_target instrument516 Star8)
	(calibration_target instrument516 GroundStation5)
	(calibration_target instrument516 GroundStation12)
	(calibration_target instrument516 GroundStation2)
	(instrument instrument517)
	(supports instrument517 spectrograph14)
	(supports instrument517 thermograph5)
	(supports instrument517 thermograph30)
	(calibration_target instrument517 Star3)
	(calibration_target instrument517 Star7)
	(calibration_target instrument517 Star8)
	(calibration_target instrument517 GroundStation10)
	(instrument instrument518)
	(supports instrument518 image19)
	(calibration_target instrument518 Star11)
	(calibration_target instrument518 Star6)
	(calibration_target instrument518 Star4)
	(calibration_target instrument518 Star1)
	(calibration_target instrument518 Star8)
	(instrument instrument519)
	(supports instrument519 thermograph27)
	(supports instrument519 thermograph15)
	(calibration_target instrument519 Star11)
	(calibration_target instrument519 GroundStation15)
	(calibration_target instrument519 GroundStation13)
	(calibration_target instrument519 Star14)
	(calibration_target instrument519 Star6)
	(instrument instrument520)
	(supports instrument520 image11)
	(supports instrument520 thermograph28)
	(calibration_target instrument520 Star7)
	(instrument instrument521)
	(supports instrument521 thermograph15)
	(calibration_target instrument521 GroundStation12)
	(instrument instrument522)
	(supports instrument522 spectrograph34)
	(supports instrument522 infrared29)
	(supports instrument522 image3)
	(calibration_target instrument522 GroundStation16)
	(calibration_target instrument522 GroundStation12)
	(calibration_target instrument522 Star11)
	(calibration_target instrument522 Star8)
	(calibration_target instrument522 GroundStation15)
	(instrument instrument523)
	(supports instrument523 image17)
	(calibration_target instrument523 GroundStation12)
	(calibration_target instrument523 GroundStation5)
	(calibration_target instrument523 GroundStation9)
	(calibration_target instrument523 Star0)
	(instrument instrument524)
	(supports instrument524 image1)
	(supports instrument524 infrared29)
	(calibration_target instrument524 Star6)
	(calibration_target instrument524 GroundStation16)
	(calibration_target instrument524 Star7)
	(calibration_target instrument524 GroundStation2)
	(calibration_target instrument524 GroundStation10)
	(instrument instrument525)
	(supports instrument525 thermograph25)
	(supports instrument525 thermograph6)
	(supports instrument525 image16)
	(calibration_target instrument525 GroundStation16)
	(instrument instrument526)
	(supports instrument526 thermograph5)
	(supports instrument526 thermograph6)
	(calibration_target instrument526 GroundStation10)
	(calibration_target instrument526 Star3)
	(calibration_target instrument526 Star14)
	(calibration_target instrument526 Star1)
	(calibration_target instrument526 GroundStation9)
	(instrument instrument527)
	(supports instrument527 thermograph15)
	(calibration_target instrument527 Star0)
	(calibration_target instrument527 Star1)
	(calibration_target instrument527 GroundStation5)
	(calibration_target instrument527 GroundStation12)
	(calibration_target instrument527 Star14)
	(instrument instrument528)
	(supports instrument528 infrared18)
	(supports instrument528 thermograph4)
	(supports instrument528 image16)
	(calibration_target instrument528 GroundStation10)
	(calibration_target instrument528 GroundStation5)
	(calibration_target instrument528 Star6)
	(calibration_target instrument528 GroundStation2)
	(instrument instrument529)
	(supports instrument529 infrared23)
	(supports instrument529 infrared7)
	(supports instrument529 thermograph25)
	(calibration_target instrument529 Star3)
	(calibration_target instrument529 Star14)
	(instrument instrument530)
	(supports instrument530 image11)
	(supports instrument530 image31)
	(calibration_target instrument530 Star7)
	(instrument instrument531)
	(supports instrument531 spectrograph9)
	(supports instrument531 infrared21)
	(supports instrument531 thermograph5)
	(calibration_target instrument531 GroundStation9)
	(calibration_target instrument531 Star0)
	(instrument instrument532)
	(supports instrument532 image17)
	(supports instrument532 thermograph28)
	(calibration_target instrument532 Star11)
	(calibration_target instrument532 GroundStation9)
	(instrument instrument533)
	(supports instrument533 image31)
	(supports instrument533 image11)
	(supports instrument533 infrared2)
	(calibration_target instrument533 Star1)
	(calibration_target instrument533 GroundStation5)
	(instrument instrument534)
	(supports instrument534 thermograph30)
	(calibration_target instrument534 Star6)
	(calibration_target instrument534 GroundStation10)
	(calibration_target instrument534 GroundStation9)
	(calibration_target instrument534 Star7)
	(calibration_target instrument534 Star0)
	(instrument instrument535)
	(supports instrument535 image3)
	(calibration_target instrument535 Star0)
	(calibration_target instrument535 GroundStation5)
	(calibration_target instrument535 GroundStation9)
	(instrument instrument536)
	(supports instrument536 image3)
	(supports instrument536 thermograph5)
	(calibration_target instrument536 GroundStation12)
	(calibration_target instrument536 GroundStation15)
	(calibration_target instrument536 Star3)
	(calibration_target instrument536 Star11)
	(calibration_target instrument536 GroundStation9)
	(on_board instrument510 satellite29)
	(on_board instrument511 satellite29)
	(on_board instrument512 satellite29)
	(on_board instrument513 satellite29)
	(on_board instrument514 satellite29)
	(on_board instrument515 satellite29)
	(on_board instrument516 satellite29)
	(on_board instrument517 satellite29)
	(on_board instrument518 satellite29)
	(on_board instrument519 satellite29)
	(on_board instrument520 satellite29)
	(on_board instrument521 satellite29)
	(on_board instrument522 satellite29)
	(on_board instrument523 satellite29)
	(on_board instrument524 satellite29)
	(on_board instrument525 satellite29)
	(on_board instrument526 satellite29)
	(on_board instrument527 satellite29)
	(on_board instrument528 satellite29)
	(on_board instrument529 satellite29)
	(on_board instrument530 satellite29)
	(on_board instrument531 satellite29)
	(on_board instrument532 satellite29)
	(on_board instrument533 satellite29)
	(on_board instrument534 satellite29)
	(on_board instrument535 satellite29)
	(on_board instrument536 satellite29)
	(power_avail satellite29)
	(pointing satellite29 Phenomenon25)
	(satellite satellite30)
	(instrument instrument537)
	(supports instrument537 image19)
	(supports instrument537 image1)
	(supports instrument537 infrared24)
	(calibration_target instrument537 GroundStation13)
	(instrument instrument538)
	(supports instrument538 spectrograph10)
	(supports instrument538 image19)
	(supports instrument538 infrared29)
	(calibration_target instrument538 Star11)
	(calibration_target instrument538 Star14)
	(on_board instrument537 satellite30)
	(on_board instrument538 satellite30)
	(power_avail satellite30)
	(pointing satellite30 Phenomenon61)
	(satellite satellite31)
	(instrument instrument539)
	(supports instrument539 infrared29)
	(supports instrument539 image3)
	(supports instrument539 image1)
	(calibration_target instrument539 GroundStation5)
	(calibration_target instrument539 Star4)
	(calibration_target instrument539 Star11)
	(calibration_target instrument539 GroundStation2)
	(calibration_target instrument539 GroundStation10)
	(instrument instrument540)
	(supports instrument540 image31)
	(calibration_target instrument540 GroundStation12)
	(calibration_target instrument540 Star8)
	(calibration_target instrument540 Star6)
	(instrument instrument541)
	(supports instrument541 infrared23)
	(supports instrument541 infrared24)
	(calibration_target instrument541 GroundStation9)
	(calibration_target instrument541 Star0)
	(calibration_target instrument541 Star1)
	(calibration_target instrument541 GroundStation15)
	(calibration_target instrument541 Star3)
	(instrument instrument542)
	(supports instrument542 thermograph28)
	(calibration_target instrument542 Star4)
	(calibration_target instrument542 GroundStation16)
	(calibration_target instrument542 GroundStation9)
	(instrument instrument543)
	(supports instrument543 image0)
	(supports instrument543 spectrograph10)
	(supports instrument543 image11)
	(calibration_target instrument543 Star3)
	(calibration_target instrument543 GroundStation10)
	(instrument instrument544)
	(supports instrument544 thermograph27)
	(supports instrument544 thermograph33)
	(supports instrument544 thermograph8)
	(calibration_target instrument544 GroundStation2)
	(calibration_target instrument544 GroundStation5)
	(calibration_target instrument544 GroundStation9)
	(instrument instrument545)
	(supports instrument545 image19)
	(supports instrument545 infrared24)
	(calibration_target instrument545 Star14)
	(calibration_target instrument545 Star11)
	(instrument instrument546)
	(supports instrument546 thermograph8)
	(calibration_target instrument546 GroundStation5)
	(calibration_target instrument546 Star14)
	(instrument instrument547)
	(supports instrument547 image11)
	(calibration_target instrument547 GroundStation9)
	(calibration_target instrument547 GroundStation5)
	(calibration_target instrument547 Star0)
	(calibration_target instrument547 Star7)
	(on_board instrument539 satellite31)
	(on_board instrument540 satellite31)
	(on_board instrument541 satellite31)
	(on_board instrument542 satellite31)
	(on_board instrument543 satellite31)
	(on_board instrument544 satellite31)
	(on_board instrument545 satellite31)
	(on_board instrument546 satellite31)
	(on_board instrument547 satellite31)
	(power_avail satellite31)
	(pointing satellite31 Star85)
	(satellite satellite32)
	(instrument instrument548)
	(supports instrument548 image16)
	(supports instrument548 spectrograph13)
	(supports instrument548 image19)
	(calibration_target instrument548 Star1)
	(calibration_target instrument548 GroundStation13)
	(calibration_target instrument548 Star3)
	(calibration_target instrument548 Star14)
	(instrument instrument549)
	(supports instrument549 infrared29)
	(supports instrument549 image19)
	(supports instrument549 infrared2)
	(calibration_target instrument549 GroundStation2)
	(calibration_target instrument549 Star7)
	(calibration_target instrument549 GroundStation9)
	(calibration_target instrument549 Star1)
	(instrument instrument550)
	(supports instrument550 thermograph6)
	(supports instrument550 thermograph25)
	(calibration_target instrument550 GroundStation15)
	(calibration_target instrument550 Star6)
	(calibration_target instrument550 Star1)
	(instrument instrument551)
	(supports instrument551 thermograph6)
	(supports instrument551 image16)
	(calibration_target instrument551 Star7)
	(calibration_target instrument551 GroundStation10)
	(instrument instrument552)
	(supports instrument552 thermograph8)
	(calibration_target instrument552 Star3)
	(calibration_target instrument552 Star0)
	(calibration_target instrument552 GroundStation5)
	(calibration_target instrument552 Star8)
	(calibration_target instrument552 GroundStation12)
	(instrument instrument553)
	(supports instrument553 thermograph5)
	(supports instrument553 spectrograph13)
	(calibration_target instrument553 GroundStation10)
	(calibration_target instrument553 GroundStation5)
	(calibration_target instrument553 GroundStation12)
	(calibration_target instrument553 Star3)
	(calibration_target instrument553 Star7)
	(instrument instrument554)
	(supports instrument554 infrared18)
	(supports instrument554 spectrograph20)
	(calibration_target instrument554 GroundStation9)
	(calibration_target instrument554 GroundStation12)
	(calibration_target instrument554 Star1)
	(instrument instrument555)
	(supports instrument555 spectrograph9)
	(supports instrument555 spectrograph14)
	(supports instrument555 infrared26)
	(calibration_target instrument555 Star6)
	(calibration_target instrument555 Star0)
	(instrument instrument556)
	(supports instrument556 thermograph6)
	(supports instrument556 thermograph28)
	(calibration_target instrument556 Star7)
	(instrument instrument557)
	(supports instrument557 infrared29)
	(supports instrument557 thermograph6)
	(supports instrument557 thermograph5)
	(calibration_target instrument557 Star6)
	(calibration_target instrument557 GroundStation2)
	(calibration_target instrument557 Star0)
	(calibration_target instrument557 GroundStation16)
	(instrument instrument558)
	(supports instrument558 thermograph15)
	(calibration_target instrument558 Star6)
	(instrument instrument559)
	(supports instrument559 spectrograph12)
	(calibration_target instrument559 GroundStation9)
	(calibration_target instrument559 Star1)
	(calibration_target instrument559 GroundStation10)
	(calibration_target instrument559 Star3)
	(instrument instrument560)
	(supports instrument560 image3)
	(supports instrument560 spectrograph34)
	(supports instrument560 image11)
	(calibration_target instrument560 GroundStation10)
	(calibration_target instrument560 Star11)
	(instrument instrument561)
	(supports instrument561 image17)
	(calibration_target instrument561 GroundStation15)
	(instrument instrument562)
	(supports instrument562 spectrograph10)
	(supports instrument562 thermograph30)
	(calibration_target instrument562 GroundStation5)
	(calibration_target instrument562 Star6)
	(calibration_target instrument562 GroundStation10)
	(calibration_target instrument562 Star8)
	(instrument instrument563)
	(supports instrument563 thermograph6)
	(calibration_target instrument563 GroundStation5)
	(calibration_target instrument563 Star8)
	(instrument instrument564)
	(supports instrument564 infrared18)
	(supports instrument564 thermograph8)
	(supports instrument564 spectrograph12)
	(calibration_target instrument564 GroundStation9)
	(calibration_target instrument564 GroundStation5)
	(calibration_target instrument564 Star1)
	(calibration_target instrument564 GroundStation10)
	(instrument instrument565)
	(supports instrument565 thermograph22)
	(calibration_target instrument565 Star0)
	(calibration_target instrument565 GroundStation15)
	(instrument instrument566)
	(supports instrument566 spectrograph34)
	(supports instrument566 spectrograph20)
	(supports instrument566 spectrograph12)
	(calibration_target instrument566 GroundStation12)
	(calibration_target instrument566 GroundStation13)
	(calibration_target instrument566 GroundStation5)
	(calibration_target instrument566 Star4)
	(calibration_target instrument566 GroundStation2)
	(instrument instrument567)
	(supports instrument567 infrared21)
	(supports instrument567 image3)
	(calibration_target instrument567 GroundStation13)
	(instrument instrument568)
	(supports instrument568 thermograph6)
	(supports instrument568 image16)
	(supports instrument568 image31)
	(calibration_target instrument568 GroundStation9)
	(calibration_target instrument568 Star1)
	(calibration_target instrument568 Star6)
	(calibration_target instrument568 Star4)
	(instrument instrument569)
	(supports instrument569 infrared2)
	(calibration_target instrument569 Star8)
	(calibration_target instrument569 Star14)
	(calibration_target instrument569 Star1)
	(calibration_target instrument569 GroundStation5)
	(calibration_target instrument569 Star7)
	(instrument instrument570)
	(supports instrument570 infrared24)
	(supports instrument570 infrared2)
	(calibration_target instrument570 GroundStation16)
	(calibration_target instrument570 Star8)
	(calibration_target instrument570 GroundStation10)
	(instrument instrument571)
	(supports instrument571 infrared18)
	(calibration_target instrument571 Star1)
	(calibration_target instrument571 GroundStation10)
	(instrument instrument572)
	(supports instrument572 image31)
	(supports instrument572 infrared29)
	(calibration_target instrument572 Star0)
	(calibration_target instrument572 Star6)
	(calibration_target instrument572 GroundStation12)
	(instrument instrument573)
	(supports instrument573 infrared29)
	(calibration_target instrument573 Star3)
	(calibration_target instrument573 Star14)
	(calibration_target instrument573 Star0)
	(calibration_target instrument573 Star6)
	(instrument instrument574)
	(supports instrument574 infrared7)
	(supports instrument574 image0)
	(calibration_target instrument574 GroundStation12)
	(calibration_target instrument574 GroundStation5)
	(calibration_target instrument574 GroundStation13)
	(instrument instrument575)
	(supports instrument575 infrared29)
	(calibration_target instrument575 Star1)
	(calibration_target instrument575 GroundStation15)
	(calibration_target instrument575 Star8)
	(calibration_target instrument575 GroundStation5)
	(calibration_target instrument575 GroundStation13)
	(instrument instrument576)
	(supports instrument576 thermograph5)
	(calibration_target instrument576 Star11)
	(calibration_target instrument576 GroundStation10)
	(calibration_target instrument576 GroundStation5)
	(calibration_target instrument576 Star1)
	(instrument instrument577)
	(supports instrument577 infrared2)
	(supports instrument577 thermograph33)
	(calibration_target instrument577 Star0)
	(calibration_target instrument577 Star7)
	(calibration_target instrument577 Star6)
	(calibration_target instrument577 GroundStation13)
	(calibration_target instrument577 Star4)
	(instrument instrument578)
	(supports instrument578 thermograph30)
	(calibration_target instrument578 GroundStation9)
	(calibration_target instrument578 GroundStation12)
	(calibration_target instrument578 GroundStation13)
	(calibration_target instrument578 Star14)
	(calibration_target instrument578 Star11)
	(instrument instrument579)
	(supports instrument579 image17)
	(supports instrument579 infrared26)
	(calibration_target instrument579 GroundStation16)
	(calibration_target instrument579 GroundStation2)
	(instrument instrument580)
	(supports instrument580 infrared21)
	(supports instrument580 spectrograph13)
	(calibration_target instrument580 Star14)
	(calibration_target instrument580 GroundStation10)
	(calibration_target instrument580 Star3)
	(calibration_target instrument580 GroundStation2)
	(calibration_target instrument580 GroundStation9)
	(instrument instrument581)
	(supports instrument581 image31)
	(supports instrument581 thermograph28)
	(calibration_target instrument581 Star1)
	(calibration_target instrument581 Star11)
	(on_board instrument548 satellite32)
	(on_board instrument549 satellite32)
	(on_board instrument550 satellite32)
	(on_board instrument551 satellite32)
	(on_board instrument552 satellite32)
	(on_board instrument553 satellite32)
	(on_board instrument554 satellite32)
	(on_board instrument555 satellite32)
	(on_board instrument556 satellite32)
	(on_board instrument557 satellite32)
	(on_board instrument558 satellite32)
	(on_board instrument559 satellite32)
	(on_board instrument560 satellite32)
	(on_board instrument561 satellite32)
	(on_board instrument562 satellite32)
	(on_board instrument563 satellite32)
	(on_board instrument564 satellite32)
	(on_board instrument565 satellite32)
	(on_board instrument566 satellite32)
	(on_board instrument567 satellite32)
	(on_board instrument568 satellite32)
	(on_board instrument569 satellite32)
	(on_board instrument570 satellite32)
	(on_board instrument571 satellite32)
	(on_board instrument572 satellite32)
	(on_board instrument573 satellite32)
	(on_board instrument574 satellite32)
	(on_board instrument575 satellite32)
	(on_board instrument576 satellite32)
	(on_board instrument577 satellite32)
	(on_board instrument578 satellite32)
	(on_board instrument579 satellite32)
	(on_board instrument580 satellite32)
	(on_board instrument581 satellite32)
	(power_avail satellite32)
	(pointing satellite32 Star33)
	(satellite satellite33)
	(instrument instrument582)
	(supports instrument582 thermograph30)
	(supports instrument582 thermograph8)
	(calibration_target instrument582 Star8)
	(instrument instrument583)
	(supports instrument583 spectrograph12)
	(supports instrument583 image11)
	(supports instrument583 infrared2)
	(calibration_target instrument583 Star7)
	(calibration_target instrument583 Star14)
	(instrument instrument584)
	(supports instrument584 spectrograph10)
	(supports instrument584 image31)
	(supports instrument584 thermograph25)
	(calibration_target instrument584 GroundStation15)
	(calibration_target instrument584 GroundStation10)
	(calibration_target instrument584 Star7)
	(calibration_target instrument584 GroundStation12)
	(instrument instrument585)
	(supports instrument585 infrared23)
	(calibration_target instrument585 Star1)
	(instrument instrument586)
	(supports instrument586 thermograph28)
	(supports instrument586 thermograph25)
	(calibration_target instrument586 Star11)
	(calibration_target instrument586 GroundStation13)
	(calibration_target instrument586 Star4)
	(calibration_target instrument586 GroundStation9)
	(calibration_target instrument586 Star14)
	(instrument instrument587)
	(supports instrument587 image16)
	(supports instrument587 spectrograph14)
	(calibration_target instrument587 Star8)
	(instrument instrument588)
	(supports instrument588 spectrograph12)
	(calibration_target instrument588 Star6)
	(instrument instrument589)
	(supports instrument589 spectrograph9)
	(supports instrument589 thermograph27)
	(calibration_target instrument589 GroundStation13)
	(calibration_target instrument589 GroundStation5)
	(calibration_target instrument589 GroundStation16)
	(instrument instrument590)
	(supports instrument590 spectrograph20)
	(calibration_target instrument590 GroundStation15)
	(calibration_target instrument590 Star6)
	(calibration_target instrument590 GroundStation10)
	(calibration_target instrument590 Star14)
	(calibration_target instrument590 Star0)
	(instrument instrument591)
	(supports instrument591 thermograph30)
	(supports instrument591 thermograph5)
	(supports instrument591 spectrograph9)
	(calibration_target instrument591 GroundStation5)
	(calibration_target instrument591 GroundStation2)
	(calibration_target instrument591 Star11)
	(instrument instrument592)
	(supports instrument592 spectrograph9)
	(supports instrument592 infrared21)
	(calibration_target instrument592 GroundStation16)
	(calibration_target instrument592 GroundStation13)
	(calibration_target instrument592 Star14)
	(calibration_target instrument592 Star0)
	(instrument instrument593)
	(supports instrument593 image0)
	(supports instrument593 spectrograph13)
	(supports instrument593 image16)
	(calibration_target instrument593 GroundStation12)
	(calibration_target instrument593 Star3)
	(calibration_target instrument593 GroundStation10)
	(calibration_target instrument593 GroundStation13)
	(instrument instrument594)
	(supports instrument594 thermograph5)
	(supports instrument594 thermograph8)
	(calibration_target instrument594 GroundStation12)
	(calibration_target instrument594 Star7)
	(calibration_target instrument594 Star1)
	(instrument instrument595)
	(supports instrument595 thermograph4)
	(calibration_target instrument595 Star1)
	(calibration_target instrument595 GroundStation13)
	(instrument instrument596)
	(supports instrument596 spectrograph9)
	(calibration_target instrument596 GroundStation16)
	(instrument instrument597)
	(supports instrument597 thermograph27)
	(supports instrument597 thermograph28)
	(supports instrument597 image3)
	(calibration_target instrument597 GroundStation15)
	(calibration_target instrument597 GroundStation16)
	(calibration_target instrument597 GroundStation2)
	(instrument instrument598)
	(supports instrument598 thermograph5)
	(supports instrument598 spectrograph34)
	(supports instrument598 image0)
	(calibration_target instrument598 GroundStation9)
	(calibration_target instrument598 Star0)
	(calibration_target instrument598 GroundStation12)
	(calibration_target instrument598 Star14)
	(calibration_target instrument598 GroundStation10)
	(instrument instrument599)
	(supports instrument599 infrared21)
	(calibration_target instrument599 GroundStation12)
	(instrument instrument600)
	(supports instrument600 spectrograph12)
	(supports instrument600 image0)
	(supports instrument600 image19)
	(calibration_target instrument600 Star6)
	(instrument instrument601)
	(supports instrument601 spectrograph10)
	(supports instrument601 thermograph25)
	(calibration_target instrument601 GroundStation5)
	(calibration_target instrument601 GroundStation13)
	(calibration_target instrument601 GroundStation9)
	(calibration_target instrument601 Star4)
	(instrument instrument602)
	(supports instrument602 spectrograph34)
	(calibration_target instrument602 GroundStation10)
	(calibration_target instrument602 GroundStation13)
	(calibration_target instrument602 GroundStation12)
	(calibration_target instrument602 GroundStation16)
	(calibration_target instrument602 Star11)
	(instrument instrument603)
	(supports instrument603 image16)
	(supports instrument603 infrared23)
	(calibration_target instrument603 Star11)
	(calibration_target instrument603 Star6)
	(calibration_target instrument603 Star1)
	(calibration_target instrument603 Star7)
	(instrument instrument604)
	(supports instrument604 image31)
	(supports instrument604 thermograph8)
	(supports instrument604 thermograph27)
	(calibration_target instrument604 GroundStation9)
	(calibration_target instrument604 Star11)
	(calibration_target instrument604 GroundStation16)
	(calibration_target instrument604 GroundStation15)
	(instrument instrument605)
	(supports instrument605 thermograph33)
	(supports instrument605 spectrograph20)
	(calibration_target instrument605 Star11)
	(calibration_target instrument605 Star6)
	(calibration_target instrument605 Star3)
	(instrument instrument606)
	(supports instrument606 infrared23)
	(calibration_target instrument606 GroundStation5)
	(instrument instrument607)
	(supports instrument607 thermograph25)
	(supports instrument607 infrared24)
	(supports instrument607 spectrograph34)
	(calibration_target instrument607 GroundStation9)
	(instrument instrument608)
	(supports instrument608 thermograph6)
	(supports instrument608 thermograph4)
	(supports instrument608 thermograph28)
	(calibration_target instrument608 Star11)
	(calibration_target instrument608 GroundStation5)
	(instrument instrument609)
	(supports instrument609 image0)
	(supports instrument609 infrared29)
	(calibration_target instrument609 GroundStation10)
	(instrument instrument610)
	(supports instrument610 thermograph4)
	(calibration_target instrument610 Star8)
	(calibration_target instrument610 Star14)
	(instrument instrument611)
	(supports instrument611 infrared29)
	(supports instrument611 thermograph22)
	(calibration_target instrument611 Star0)
	(instrument instrument612)
	(supports instrument612 infrared24)
	(calibration_target instrument612 GroundStation13)
	(calibration_target instrument612 Star8)
	(instrument instrument613)
	(supports instrument613 thermograph8)
	(calibration_target instrument613 GroundStation9)
	(calibration_target instrument613 GroundStation16)
	(calibration_target instrument613 Star4)
	(calibration_target instrument613 GroundStation12)
	(instrument instrument614)
	(supports instrument614 infrared21)
	(supports instrument614 infrared29)
	(calibration_target instrument614 GroundStation10)
	(calibration_target instrument614 GroundStation2)
	(calibration_target instrument614 Star14)
	(on_board instrument582 satellite33)
	(on_board instrument583 satellite33)
	(on_board instrument584 satellite33)
	(on_board instrument585 satellite33)
	(on_board instrument586 satellite33)
	(on_board instrument587 satellite33)
	(on_board instrument588 satellite33)
	(on_board instrument589 satellite33)
	(on_board instrument590 satellite33)
	(on_board instrument591 satellite33)
	(on_board instrument592 satellite33)
	(on_board instrument593 satellite33)
	(on_board instrument594 satellite33)
	(on_board instrument595 satellite33)
	(on_board instrument596 satellite33)
	(on_board instrument597 satellite33)
	(on_board instrument598 satellite33)
	(on_board instrument599 satellite33)
	(on_board instrument600 satellite33)
	(on_board instrument601 satellite33)
	(on_board instrument602 satellite33)
	(on_board instrument603 satellite33)
	(on_board instrument604 satellite33)
	(on_board instrument605 satellite33)
	(on_board instrument606 satellite33)
	(on_board instrument607 satellite33)
	(on_board instrument608 satellite33)
	(on_board instrument609 satellite33)
	(on_board instrument610 satellite33)
	(on_board instrument611 satellite33)
	(on_board instrument612 satellite33)
	(on_board instrument613 satellite33)
	(on_board instrument614 satellite33)
	(power_avail satellite33)
	(pointing satellite33 Star82)
	(satellite satellite34)
	(instrument instrument615)
	(supports instrument615 spectrograph20)
	(supports instrument615 image17)
	(supports instrument615 thermograph8)
	(calibration_target instrument615 GroundStation9)
	(calibration_target instrument615 Star0)
	(instrument instrument616)
	(supports instrument616 thermograph30)
	(supports instrument616 infrared18)
	(calibration_target instrument616 Star0)
	(instrument instrument617)
	(supports instrument617 infrared29)
	(supports instrument617 spectrograph20)
	(calibration_target instrument617 GroundStation10)
	(instrument instrument618)
	(supports instrument618 thermograph22)
	(supports instrument618 thermograph15)
	(supports instrument618 infrared29)
	(calibration_target instrument618 GroundStation12)
	(calibration_target instrument618 Star6)
	(calibration_target instrument618 Star4)
	(calibration_target instrument618 Star8)
	(instrument instrument619)
	(supports instrument619 thermograph5)
	(calibration_target instrument619 GroundStation9)
	(calibration_target instrument619 GroundStation12)
	(calibration_target instrument619 GroundStation10)
	(calibration_target instrument619 GroundStation15)
	(calibration_target instrument619 GroundStation5)
	(instrument instrument620)
	(supports instrument620 image3)
	(supports instrument620 spectrograph20)
	(supports instrument620 image17)
	(calibration_target instrument620 GroundStation10)
	(calibration_target instrument620 Star0)
	(calibration_target instrument620 GroundStation5)
	(calibration_target instrument620 GroundStation15)
	(instrument instrument621)
	(supports instrument621 spectrograph20)
	(supports instrument621 image1)
	(supports instrument621 thermograph15)
	(calibration_target instrument621 Star11)
	(calibration_target instrument621 Star3)
	(calibration_target instrument621 GroundStation5)
	(calibration_target instrument621 GroundStation15)
	(calibration_target instrument621 Star1)
	(instrument instrument622)
	(supports instrument622 thermograph22)
	(supports instrument622 image11)
	(calibration_target instrument622 GroundStation13)
	(calibration_target instrument622 Star7)
	(calibration_target instrument622 Star8)
	(instrument instrument623)
	(supports instrument623 thermograph8)
	(supports instrument623 infrared2)
	(calibration_target instrument623 Star11)
	(calibration_target instrument623 GroundStation13)
	(calibration_target instrument623 GroundStation5)
	(calibration_target instrument623 GroundStation15)
	(calibration_target instrument623 GroundStation16)
	(instrument instrument624)
	(supports instrument624 thermograph22)
	(calibration_target instrument624 Star14)
	(instrument instrument625)
	(supports instrument625 image31)
	(supports instrument625 image17)
	(calibration_target instrument625 Star1)
	(calibration_target instrument625 GroundStation12)
	(instrument instrument626)
	(supports instrument626 spectrograph10)
	(supports instrument626 infrared23)
	(calibration_target instrument626 Star14)
	(calibration_target instrument626 Star1)
	(instrument instrument627)
	(supports instrument627 thermograph27)
	(supports instrument627 infrared18)
	(supports instrument627 infrared29)
	(calibration_target instrument627 GroundStation9)
	(calibration_target instrument627 Star3)
	(instrument instrument628)
	(supports instrument628 infrared21)
	(supports instrument628 spectrograph10)
	(supports instrument628 infrared7)
	(calibration_target instrument628 Star6)
	(calibration_target instrument628 GroundStation13)
	(calibration_target instrument628 Star14)
	(instrument instrument629)
	(supports instrument629 infrared24)
	(calibration_target instrument629 Star11)
	(calibration_target instrument629 Star1)
	(calibration_target instrument629 Star4)
	(calibration_target instrument629 GroundStation9)
	(instrument instrument630)
	(supports instrument630 thermograph6)
	(supports instrument630 thermograph27)
	(supports instrument630 image3)
	(calibration_target instrument630 GroundStation2)
	(calibration_target instrument630 Star4)
	(calibration_target instrument630 GroundStation10)
	(calibration_target instrument630 Star0)
	(instrument instrument631)
	(supports instrument631 infrared26)
	(calibration_target instrument631 GroundStation2)
	(calibration_target instrument631 Star4)
	(instrument instrument632)
	(supports instrument632 infrared7)
	(calibration_target instrument632 GroundStation9)
	(on_board instrument615 satellite34)
	(on_board instrument616 satellite34)
	(on_board instrument617 satellite34)
	(on_board instrument618 satellite34)
	(on_board instrument619 satellite34)
	(on_board instrument620 satellite34)
	(on_board instrument621 satellite34)
	(on_board instrument622 satellite34)
	(on_board instrument623 satellite34)
	(on_board instrument624 satellite34)
	(on_board instrument625 satellite34)
	(on_board instrument626 satellite34)
	(on_board instrument627 satellite34)
	(on_board instrument628 satellite34)
	(on_board instrument629 satellite34)
	(on_board instrument630 satellite34)
	(on_board instrument631 satellite34)
	(on_board instrument632 satellite34)
	(power_avail satellite34)
	(pointing satellite34 GroundStation10)
	(satellite satellite35)
	(instrument instrument633)
	(supports instrument633 spectrograph12)
	(supports instrument633 infrared29)
	(supports instrument633 thermograph15)
	(calibration_target instrument633 Star6)
	(instrument instrument634)
	(supports instrument634 image0)
	(calibration_target instrument634 Star7)
	(instrument instrument635)
	(supports instrument635 image19)
	(calibration_target instrument635 GroundStation5)
	(calibration_target instrument635 GroundStation16)
	(calibration_target instrument635 GroundStation2)
	(instrument instrument636)
	(supports instrument636 thermograph27)
	(supports instrument636 spectrograph13)
	(calibration_target instrument636 GroundStation12)
	(calibration_target instrument636 Star8)
	(calibration_target instrument636 Star3)
	(calibration_target instrument636 GroundStation9)
	(instrument instrument637)
	(supports instrument637 image0)
	(calibration_target instrument637 GroundStation2)
	(calibration_target instrument637 Star4)
	(calibration_target instrument637 Star8)
	(calibration_target instrument637 Star3)
	(instrument instrument638)
	(supports instrument638 infrared2)
	(calibration_target instrument638 GroundStation13)
	(instrument instrument639)
	(supports instrument639 thermograph5)
	(supports instrument639 thermograph15)
	(calibration_target instrument639 Star14)
	(instrument instrument640)
	(supports instrument640 thermograph28)
	(supports instrument640 image0)
	(supports instrument640 spectrograph14)
	(calibration_target instrument640 GroundStation10)
	(calibration_target instrument640 Star7)
	(calibration_target instrument640 Star6)
	(calibration_target instrument640 Star4)
	(calibration_target instrument640 GroundStation5)
	(instrument instrument641)
	(supports instrument641 thermograph30)
	(supports instrument641 spectrograph20)
	(supports instrument641 thermograph5)
	(calibration_target instrument641 GroundStation9)
	(on_board instrument633 satellite35)
	(on_board instrument634 satellite35)
	(on_board instrument635 satellite35)
	(on_board instrument636 satellite35)
	(on_board instrument637 satellite35)
	(on_board instrument638 satellite35)
	(on_board instrument639 satellite35)
	(on_board instrument640 satellite35)
	(on_board instrument641 satellite35)
	(power_avail satellite35)
	(pointing satellite35 Star3)
	(satellite satellite36)
	(instrument instrument642)
	(supports instrument642 thermograph25)
	(supports instrument642 thermograph28)
	(supports instrument642 spectrograph9)
	(calibration_target instrument642 GroundStation9)
	(instrument instrument643)
	(supports instrument643 infrared23)
	(calibration_target instrument643 GroundStation15)
	(instrument instrument644)
	(supports instrument644 infrared26)
	(calibration_target instrument644 GroundStation9)
	(calibration_target instrument644 Star6)
	(calibration_target instrument644 GroundStation5)
	(calibration_target instrument644 Star11)
	(instrument instrument645)
	(supports instrument645 spectrograph10)
	(supports instrument645 spectrograph20)
	(supports instrument645 image3)
	(calibration_target instrument645 Star4)
	(instrument instrument646)
	(supports instrument646 infrared24)
	(calibration_target instrument646 Star4)
	(calibration_target instrument646 GroundStation2)
	(calibration_target instrument646 GroundStation9)
	(calibration_target instrument646 GroundStation5)
	(calibration_target instrument646 GroundStation12)
	(instrument instrument647)
	(supports instrument647 thermograph28)
	(supports instrument647 thermograph5)
	(supports instrument647 image0)
	(calibration_target instrument647 Star7)
	(calibration_target instrument647 GroundStation9)
	(calibration_target instrument647 Star11)
	(instrument instrument648)
	(supports instrument648 thermograph6)
	(supports instrument648 infrared23)
	(supports instrument648 infrared21)
	(calibration_target instrument648 GroundStation13)
	(calibration_target instrument648 Star0)
	(calibration_target instrument648 GroundStation12)
	(instrument instrument649)
	(supports instrument649 infrared21)
	(calibration_target instrument649 Star6)
	(calibration_target instrument649 Star3)
	(instrument instrument650)
	(supports instrument650 spectrograph14)
	(supports instrument650 spectrograph9)
	(calibration_target instrument650 GroundStation15)
	(calibration_target instrument650 GroundStation5)
	(instrument instrument651)
	(supports instrument651 spectrograph13)
	(calibration_target instrument651 Star14)
	(calibration_target instrument651 GroundStation9)
	(calibration_target instrument651 GroundStation13)
	(calibration_target instrument651 GroundStation12)
	(instrument instrument652)
	(supports instrument652 image3)
	(calibration_target instrument652 GroundStation10)
	(calibration_target instrument652 Star8)
	(instrument instrument653)
	(supports instrument653 thermograph5)
	(supports instrument653 image17)
	(calibration_target instrument653 GroundStation15)
	(instrument instrument654)
	(supports instrument654 thermograph22)
	(supports instrument654 image16)
	(supports instrument654 spectrograph34)
	(calibration_target instrument654 GroundStation10)
	(calibration_target instrument654 Star14)
	(calibration_target instrument654 GroundStation13)
	(instrument instrument655)
	(supports instrument655 image19)
	(supports instrument655 infrared24)
	(supports instrument655 thermograph33)
	(calibration_target instrument655 GroundStation9)
	(calibration_target instrument655 Star6)
	(calibration_target instrument655 GroundStation12)
	(instrument instrument656)
	(supports instrument656 image11)
	(supports instrument656 thermograph22)
	(calibration_target instrument656 GroundStation12)
	(instrument instrument657)
	(supports instrument657 spectrograph10)
	(calibration_target instrument657 GroundStation9)
	(calibration_target instrument657 GroundStation13)
	(calibration_target instrument657 Star1)
	(calibration_target instrument657 GroundStation12)
	(calibration_target instrument657 Star11)
	(instrument instrument658)
	(supports instrument658 infrared18)
	(supports instrument658 spectrograph34)
	(supports instrument658 infrared23)
	(calibration_target instrument658 Star7)
	(calibration_target instrument658 Star0)
	(instrument instrument659)
	(supports instrument659 infrared21)
	(supports instrument659 spectrograph14)
	(calibration_target instrument659 Star11)
	(calibration_target instrument659 Star14)
	(calibration_target instrument659 Star7)
	(calibration_target instrument659 GroundStation10)
	(calibration_target instrument659 GroundStation12)
	(instrument instrument660)
	(supports instrument660 image1)
	(supports instrument660 infrared21)
	(calibration_target instrument660 Star14)
	(calibration_target instrument660 GroundStation16)
	(calibration_target instrument660 Star7)
	(instrument instrument661)
	(supports instrument661 spectrograph9)
	(calibration_target instrument661 Star8)
	(calibration_target instrument661 GroundStation10)
	(instrument instrument662)
	(supports instrument662 image17)
	(calibration_target instrument662 GroundStation5)
	(calibration_target instrument662 GroundStation15)
	(calibration_target instrument662 Star4)
	(calibration_target instrument662 Star6)
	(instrument instrument663)
	(supports instrument663 image0)
	(calibration_target instrument663 GroundStation5)
	(calibration_target instrument663 Star11)
	(calibration_target instrument663 Star0)
	(instrument instrument664)
	(supports instrument664 spectrograph10)
	(supports instrument664 infrared26)
	(calibration_target instrument664 Star0)
	(calibration_target instrument664 Star11)
	(calibration_target instrument664 Star8)
	(instrument instrument665)
	(supports instrument665 infrared21)
	(calibration_target instrument665 Star8)
	(calibration_target instrument665 GroundStation2)
	(instrument instrument666)
	(supports instrument666 thermograph27)
	(calibration_target instrument666 Star6)
	(calibration_target instrument666 GroundStation2)
	(calibration_target instrument666 Star3)
	(calibration_target instrument666 Star1)
	(instrument instrument667)
	(supports instrument667 infrared26)
	(supports instrument667 infrared7)
	(calibration_target instrument667 Star11)
	(calibration_target instrument667 Star4)
	(calibration_target instrument667 GroundStation16)
	(calibration_target instrument667 GroundStation15)
	(calibration_target instrument667 Star14)
	(instrument instrument668)
	(supports instrument668 thermograph8)
	(supports instrument668 infrared18)
	(supports instrument668 image0)
	(calibration_target instrument668 Star6)
	(calibration_target instrument668 GroundStation9)
	(calibration_target instrument668 GroundStation15)
	(instrument instrument669)
	(supports instrument669 spectrograph14)
	(supports instrument669 thermograph4)
	(calibration_target instrument669 Star7)
	(calibration_target instrument669 Star11)
	(instrument instrument670)
	(supports instrument670 infrared23)
	(supports instrument670 image17)
	(supports instrument670 image3)
	(calibration_target instrument670 GroundStation5)
	(calibration_target instrument670 GroundStation9)
	(calibration_target instrument670 Star11)
	(calibration_target instrument670 GroundStation15)
	(calibration_target instrument670 GroundStation16)
	(instrument instrument671)
	(supports instrument671 thermograph6)
	(supports instrument671 image32)
	(calibration_target instrument671 GroundStation12)
	(calibration_target instrument671 Star3)
	(calibration_target instrument671 GroundStation10)
	(instrument instrument672)
	(supports instrument672 image32)
	(supports instrument672 image3)
	(supports instrument672 spectrograph9)
	(calibration_target instrument672 GroundStation12)
	(calibration_target instrument672 Star6)
	(calibration_target instrument672 GroundStation2)
	(calibration_target instrument672 Star11)
	(instrument instrument673)
	(supports instrument673 infrared7)
	(calibration_target instrument673 Star3)
	(calibration_target instrument673 Star14)
	(instrument instrument674)
	(supports instrument674 spectrograph20)
	(supports instrument674 thermograph4)
	(supports instrument674 image0)
	(calibration_target instrument674 Star6)
	(calibration_target instrument674 GroundStation13)
	(calibration_target instrument674 Star11)
	(calibration_target instrument674 GroundStation5)
	(on_board instrument642 satellite36)
	(on_board instrument643 satellite36)
	(on_board instrument644 satellite36)
	(on_board instrument645 satellite36)
	(on_board instrument646 satellite36)
	(on_board instrument647 satellite36)
	(on_board instrument648 satellite36)
	(on_board instrument649 satellite36)
	(on_board instrument650 satellite36)
	(on_board instrument651 satellite36)
	(on_board instrument652 satellite36)
	(on_board instrument653 satellite36)
	(on_board instrument654 satellite36)
	(on_board instrument655 satellite36)
	(on_board instrument656 satellite36)
	(on_board instrument657 satellite36)
	(on_board instrument658 satellite36)
	(on_board instrument659 satellite36)
	(on_board instrument660 satellite36)
	(on_board instrument661 satellite36)
	(on_board instrument662 satellite36)
	(on_board instrument663 satellite36)
	(on_board instrument664 satellite36)
	(on_board instrument665 satellite36)
	(on_board instrument666 satellite36)
	(on_board instrument667 satellite36)
	(on_board instrument668 satellite36)
	(on_board instrument669 satellite36)
	(on_board instrument670 satellite36)
	(on_board instrument671 satellite36)
	(on_board instrument672 satellite36)
	(on_board instrument673 satellite36)
	(on_board instrument674 satellite36)
	(power_avail satellite36)
	(pointing satellite36 Star8)
	(mode image31)
	(mode infrared29)
	(mode spectrograph12)
	(mode infrared2)
	(mode thermograph15)
	(mode thermograph30)
	(mode thermograph25)
	(mode thermograph28)
	(mode spectrograph13)
	(mode thermograph5)
	(mode image16)
	(mode thermograph33)
	(mode infrared24)
	(mode image19)
	(mode thermograph22)
	(mode image11)
	(mode spectrograph34)
	(mode image1)
	(mode spectrograph10)
	(mode infrared21)
	(mode thermograph27)
	(mode infrared26)
	(mode infrared18)
	(mode thermograph8)
	(mode spectrograph14)
	(mode image17)
	(mode infrared23)
	(mode thermograph6)
	(mode spectrograph9)
	(mode image3)
	(mode image32)
	(mode infrared7)
	(mode image0)
	(mode thermograph4)
	(mode spectrograph20)
	(direction Star0)
	(direction Star8)
	(direction Star1)
	(direction Star4)
	(direction Star7)
	(direction GroundStation16)
	(direction GroundStation15)
	(direction GroundStation9)
	(direction GroundStation10)
	(direction GroundStation2)
	(direction GroundStation12)
	(direction Star14)
	(direction Star3)
	(direction GroundStation5)
	(direction Star11)
	(direction GroundStation13)
	(direction Star6)
	(direction Phenomenon17)
	(direction Planet18)
	(direction Star19)
	(direction Planet20)
	(direction Star21)
	(direction Phenomenon22)
	(direction Phenomenon23)
	(direction Planet24)
	(direction Phenomenon25)
	(direction Planet26)
	(direction Phenomenon27)
	(direction Star28)
	(direction Phenomenon29)
	(direction Phenomenon30)
	(direction Star31)
	(direction Planet32)
	(direction Star33)
	(direction Phenomenon34)
	(direction Phenomenon35)
	(direction Phenomenon36)
	(direction Planet37)
	(direction Star38)
	(direction Star39)
	(direction Planet40)
	(direction Phenomenon41)
	(direction Planet42)
	(direction Star43)
	(direction Planet44)
	(direction Planet45)
	(direction Phenomenon46)
	(direction Phenomenon47)
	(direction Star48)
	(direction Planet49)
	(direction Planet50)
	(direction Planet51)
	(direction Planet52)
	(direction Phenomenon53)
	(direction Planet54)
	(direction Planet55)
	(direction Star56)
	(direction Star57)
	(direction Phenomenon58)
	(direction Phenomenon59)
	(direction Phenomenon60)
	(direction Phenomenon61)
	(direction Phenomenon62)
	(direction Planet63)
	(direction Phenomenon64)
	(direction Phenomenon65)
	(direction Star66)
	(direction Phenomenon67)
	(direction Star68)
	(direction Star69)
	(direction Star70)
	(direction Phenomenon71)
	(direction Phenomenon72)
	(direction Phenomenon73)
	(direction Planet74)
	(direction Star75)
	(direction Phenomenon76)
	(direction Star77)
	(direction Star78)
	(direction Phenomenon79)
	(direction Star80)
	(direction Star81)
	(direction Star82)
	(direction Planet83)
	(direction Star84)
	(direction Star85)
	(direction Phenomenon86)
)
(:goal (and
	(pointing satellite1 Phenomenon27)
	(pointing satellite4 Planet32)
	(pointing satellite9 GroundStation15)
	(pointing satellite12 Star48)
	(pointing satellite15 Planet50)
	(pointing satellite16 GroundStation16)
	(pointing satellite18 Star0)
	(pointing satellite20 Planet83)
	(pointing satellite22 Star21)
	(pointing satellite24 GroundStation13)
	(pointing satellite25 GroundStation13)
	(pointing satellite26 Phenomenon65)
	(pointing satellite33 Phenomenon79)
	(have_image Planet18 image11)
	(have_image Planet18 infrared18)
	(have_image Planet18 spectrograph13)
	(have_image Planet18 thermograph22)
	(have_image Planet18 thermograph8)
	(have_image Planet18 thermograph28)
	(have_image Planet18 spectrograph34)
	(have_image Planet18 thermograph5)
	(have_image Star19 spectrograph13)
	(have_image Star19 image3)
	(have_image Star19 image32)
	(have_image Planet20 spectrograph34)
	(have_image Planet20 thermograph15)
	(have_image Planet20 spectrograph13)
	(have_image Planet20 image3)
	(have_image Planet20 infrared21)
	(have_image Planet20 image19)
	(have_image Star21 infrared26)
	(have_image Star21 thermograph33)
	(have_image Planet24 spectrograph14)
	(have_image Planet24 image1)
	(have_image Planet24 thermograph6)
	(have_image Planet24 spectrograph10)
	(have_image Planet24 thermograph33)
	(have_image Planet24 thermograph22)
	(have_image Planet24 infrared24)
	(have_image Planet24 infrared18)
	(have_image Phenomenon25 infrared24)
	(have_image Phenomenon25 infrared26)
	(have_image Planet26 thermograph33)
	(have_image Planet26 thermograph6)
	(have_image Planet26 image0)
	(have_image Planet26 infrared18)
	(have_image Planet26 image19)
	(have_image Planet26 thermograph15)
	(have_image Planet26 infrared7)
	(have_image Phenomenon27 thermograph27)
	(have_image Phenomenon27 thermograph30)
	(have_image Phenomenon27 image3)
	(have_image Phenomenon27 thermograph33)
	(have_image Phenomenon27 thermograph15)
	(have_image Phenomenon27 infrared24)
	(have_image Phenomenon29 spectrograph14)
	(have_image Phenomenon30 spectrograph12)
	(have_image Phenomenon30 infrared2)
	(have_image Phenomenon30 spectrograph9)
	(have_image Phenomenon30 infrared23)
	(have_image Phenomenon30 infrared24)
	(have_image Phenomenon30 spectrograph10)
	(have_image Phenomenon30 spectrograph14)
	(have_image Phenomenon30 image1)
	(have_image Star31 image16)
	(have_image Planet32 image16)
	(have_image Planet32 infrared21)
	(have_image Planet32 infrared26)
	(have_image Planet32 thermograph33)
	(have_image Planet32 image32)
	(have_image Planet32 infrared2)
	(have_image Planet32 thermograph4)
	(have_image Planet32 thermograph30)
	(have_image Planet32 thermograph15)
	(have_image Planet32 image11)
	(have_image Planet32 thermograph27)
	(have_image Star33 image19)
	(have_image Star33 thermograph15)
	(have_image Phenomenon35 spectrograph20)
	(have_image Phenomenon35 image11)
	(have_image Phenomenon35 image1)
	(have_image Phenomenon35 thermograph15)
	(have_image Phenomenon35 spectrograph34)
	(have_image Phenomenon35 thermograph27)
	(have_image Phenomenon35 thermograph4)
	(have_image Phenomenon35 image0)
	(have_image Phenomenon35 infrared2)
	(have_image Phenomenon35 infrared23)
	(have_image Phenomenon35 infrared24)
	(have_image Phenomenon36 image3)
	(have_image Phenomenon36 spectrograph10)
	(have_image Phenomenon36 thermograph25)
	(have_image Phenomenon36 image16)
	(have_image Phenomenon36 image0)
	(have_image Phenomenon36 infrared23)
	(have_image Planet37 thermograph6)
	(have_image Planet37 spectrograph34)
	(have_image Planet37 thermograph28)
	(have_image Planet37 infrared7)
	(have_image Planet37 image19)
	(have_image Planet37 thermograph33)
	(have_image Planet37 thermograph22)
	(have_image Planet37 spectrograph10)
	(have_image Planet37 thermograph30)
	(have_image Planet37 infrared29)
	(have_image Star38 spectrograph10)
	(have_image Star39 infrared7)
	(have_image Star39 infrared21)
	(have_image Star39 spectrograph9)
	(have_image Star39 spectrograph20)
	(have_image Star39 thermograph5)
	(have_image Star39 spectrograph14)
	(have_image Star39 image31)
	(have_image Star39 thermograph33)
	(have_image Star39 spectrograph12)
	(have_image Star39 infrared26)
	(have_image Planet40 image16)
	(have_image Planet40 image1)
	(have_image Planet40 thermograph28)
	(have_image Planet40 image3)
	(have_image Planet40 thermograph5)
	(have_image Planet40 image19)
	(have_image Planet40 infrared26)
	(have_image Planet40 thermograph33)
	(have_image Planet40 image0)
	(have_image Planet40 infrared2)
	(have_image Planet40 infrared29)
	(have_image Planet42 image16)
	(have_image Planet42 thermograph6)
	(have_image Planet42 infrared21)
	(have_image Planet42 thermograph4)
	(have_image Planet42 infrared29)
	(have_image Planet42 infrared18)
	(have_image Planet42 thermograph8)
	(have_image Planet42 thermograph33)
	(have_image Planet42 spectrograph13)
	(have_image Star43 spectrograph9)
	(have_image Star43 image0)
	(have_image Star43 thermograph25)
	(have_image Star43 infrared23)
	(have_image Planet44 image11)
	(have_image Planet44 infrared18)
	(have_image Planet44 thermograph27)
	(have_image Planet44 image19)
	(have_image Planet44 image32)
	(have_image Planet44 spectrograph10)
	(have_image Planet44 image0)
	(have_image Planet44 thermograph33)
	(have_image Planet44 thermograph30)
	(have_image Planet45 image19)
	(have_image Planet45 spectrograph13)
	(have_image Planet45 infrared18)
	(have_image Planet45 image11)
	(have_image Planet45 image16)
	(have_image Planet45 infrared29)
	(have_image Planet45 spectrograph10)
	(have_image Planet45 image32)
	(have_image Planet45 thermograph4)
	(have_image Planet45 image1)
	(have_image Phenomenon46 thermograph28)
	(have_image Phenomenon46 spectrograph13)
	(have_image Phenomenon46 thermograph27)
	(have_image Phenomenon46 image31)
	(have_image Phenomenon46 spectrograph12)
	(have_image Phenomenon46 thermograph5)
	(have_image Phenomenon46 infrared29)
	(have_image Phenomenon46 thermograph8)
	(have_image Phenomenon46 thermograph33)
	(have_image Phenomenon47 image32)
	(have_image Phenomenon47 spectrograph13)
	(have_image Phenomenon47 image3)
	(have_image Phenomenon47 spectrograph9)
	(have_image Phenomenon47 thermograph15)
	(have_image Phenomenon47 image19)
	(have_image Phenomenon47 image31)
	(have_image Phenomenon47 image0)
	(have_image Phenomenon47 infrared26)
	(have_image Phenomenon47 thermograph28)
	(have_image Star48 infrared23)
	(have_image Star48 infrared2)
	(have_image Star48 image3)
	(have_image Star48 image1)
	(have_image Star48 infrared18)
	(have_image Planet49 thermograph15)
	(have_image Planet49 image0)
	(have_image Planet49 thermograph30)
	(have_image Planet49 spectrograph34)
	(have_image Planet49 thermograph27)
	(have_image Planet49 thermograph6)
	(have_image Planet49 thermograph5)
	(have_image Planet49 infrared26)
	(have_image Planet49 spectrograph13)
	(have_image Planet49 thermograph4)
	(have_image Planet50 image0)
	(have_image Planet50 infrared7)
	(have_image Planet51 thermograph22)
	(have_image Planet51 spectrograph10)
	(have_image Planet51 infrared21)
	(have_image Planet51 image19)
	(have_image Planet51 spectrograph12)
	(have_image Planet51 thermograph6)
	(have_image Planet51 image11)
	(have_image Planet51 spectrograph34)
	(have_image Planet51 image0)
	(have_image Planet52 infrared23)
	(have_image Planet52 image31)
	(have_image Planet52 infrared29)
	(have_image Planet52 thermograph6)
	(have_image Planet52 thermograph8)
	(have_image Planet52 image1)
	(have_image Planet52 spectrograph12)
	(have_image Planet52 image16)
	(have_image Phenomenon53 infrared26)
	(have_image Phenomenon53 infrared23)
	(have_image Phenomenon53 infrared21)
	(have_image Phenomenon53 spectrograph20)
	(have_image Phenomenon53 thermograph4)
	(have_image Phenomenon53 image1)
	(have_image Phenomenon53 infrared18)
	(have_image Phenomenon53 image3)
	(have_image Phenomenon53 thermograph22)
	(have_image Phenomenon53 infrared29)
	(have_image Phenomenon53 image32)
	(have_image Planet54 infrared24)
	(have_image Planet54 infrared21)
	(have_image Planet55 thermograph5)
	(have_image Planet55 thermograph27)
	(have_image Planet55 image3)
	(have_image Planet55 image0)
	(have_image Planet55 image32)
	(have_image Planet55 infrared2)
	(have_image Planet55 spectrograph12)
	(have_image Planet55 spectrograph13)
	(have_image Star56 thermograph25)
	(have_image Star56 spectrograph10)
	(have_image Star56 thermograph5)
	(have_image Star56 image31)
	(have_image Star56 image19)
	(have_image Star57 thermograph33)
	(have_image Star57 spectrograph9)
	(have_image Star57 thermograph22)
	(have_image Star57 thermograph27)
	(have_image Star57 thermograph15)
	(have_image Star57 thermograph6)
	(have_image Star57 infrared23)
	(have_image Star57 image11)
	(have_image Star57 image31)
	(have_image Star57 image32)
	(have_image Star57 thermograph25)
	(have_image Phenomenon58 infrared29)
	(have_image Phenomenon58 infrared7)
	(have_image Phenomenon59 thermograph25)
	(have_image Phenomenon59 image19)
	(have_image Phenomenon59 thermograph28)
	(have_image Phenomenon59 image32)
	(have_image Phenomenon59 infrared7)
	(have_image Phenomenon60 thermograph5)
	(have_image Phenomenon60 image16)
	(have_image Phenomenon60 image31)
	(have_image Phenomenon60 thermograph28)
	(have_image Phenomenon60 image3)
	(have_image Phenomenon60 spectrograph12)
	(have_image Phenomenon60 image1)
	(have_image Phenomenon60 infrared29)
	(have_image Phenomenon60 infrared21)
	(have_image Phenomenon60 spectrograph20)
	(have_image Phenomenon60 infrared26)
	(have_image Phenomenon61 infrared26)
	(have_image Phenomenon61 spectrograph12)
	(have_image Phenomenon61 infrared29)
	(have_image Phenomenon62 infrared26)
	(have_image Phenomenon62 infrared7)
	(have_image Phenomenon62 image19)
	(have_image Phenomenon62 thermograph25)
	(have_image Phenomenon62 thermograph22)
	(have_image Phenomenon62 thermograph4)
	(have_image Phenomenon62 thermograph27)
	(have_image Phenomenon62 infrared24)
	(have_image Planet63 spectrograph12)
	(have_image Planet63 thermograph30)
	(have_image Planet63 thermograph15)
	(have_image Planet63 infrared26)
	(have_image Planet63 thermograph22)
	(have_image Planet63 thermograph27)
	(have_image Planet63 image31)
	(have_image Phenomenon64 image16)
	(have_image Phenomenon64 infrared2)
	(have_image Phenomenon64 infrared23)
	(have_image Phenomenon64 image31)
	(have_image Phenomenon64 spectrograph14)
	(have_image Phenomenon64 spectrograph10)
	(have_image Phenomenon64 thermograph8)
	(have_image Phenomenon65 image16)
	(have_image Phenomenon65 image1)
	(have_image Phenomenon65 infrared7)
	(have_image Phenomenon65 spectrograph9)
	(have_image Phenomenon65 image32)
	(have_image Phenomenon65 thermograph33)
	(have_image Phenomenon65 thermograph4)
	(have_image Phenomenon65 thermograph22)
	(have_image Phenomenon65 thermograph15)
	(have_image Star66 thermograph33)
	(have_image Star66 thermograph22)
	(have_image Star68 infrared29)
	(have_image Star68 thermograph8)
	(have_image Star68 thermograph30)
	(have_image Star68 spectrograph12)
	(have_image Star68 spectrograph14)
	(have_image Star68 image0)
	(have_image Star68 infrared21)
	(have_image Star68 spectrograph9)
	(have_image Star68 image17)
	(have_image Star68 image32)
	(have_image Star69 thermograph25)
	(have_image Star69 image32)
	(have_image Star69 thermograph27)
	(have_image Star69 thermograph5)
	(have_image Star69 image16)
	(have_image Star69 thermograph6)
	(have_image Star69 image17)
	(have_image Star69 spectrograph34)
	(have_image Star69 image19)
	(have_image Star69 infrared26)
	(have_image Star70 image32)
	(have_image Star70 spectrograph12)
	(have_image Star70 thermograph4)
	(have_image Star70 infrared21)
	(have_image Star70 spectrograph14)
	(have_image Star70 thermograph15)
	(have_image Star70 infrared26)
	(have_image Star70 spectrograph34)
	(have_image Phenomenon71 infrared23)
	(have_image Phenomenon71 spectrograph13)
	(have_image Phenomenon72 thermograph28)
	(have_image Phenomenon72 thermograph33)
	(have_image Phenomenon72 spectrograph14)
	(have_image Phenomenon72 image17)
	(have_image Phenomenon72 thermograph30)
	(have_image Phenomenon72 infrared29)
	(have_image Phenomenon72 spectrograph13)
	(have_image Phenomenon72 spectrograph9)
	(have_image Phenomenon72 thermograph5)
	(have_image Phenomenon72 thermograph8)
	(have_image Phenomenon72 infrared21)
	(have_image Phenomenon73 infrared2)
	(have_image Phenomenon73 thermograph4)
	(have_image Phenomenon73 spectrograph10)
	(have_image Phenomenon73 spectrograph14)
	(have_image Phenomenon73 image3)
	(have_image Phenomenon73 infrared23)
	(have_image Phenomenon73 image11)
	(have_image Phenomenon73 thermograph33)
	(have_image Phenomenon73 spectrograph12)
	(have_image Phenomenon73 infrared18)
	(have_image Planet74 thermograph8)
	(have_image Planet74 thermograph22)
	(have_image Planet74 image32)
	(have_image Planet74 infrared29)
	(have_image Planet74 thermograph5)
	(have_image Planet74 image0)
	(have_image Planet74 image31)
	(have_image Planet74 image1)
	(have_image Planet74 infrared26)
	(have_image Planet74 infrared24)
	(have_image Star75 image16)
	(have_image Star75 image31)
	(have_image Star75 thermograph4)
	(have_image Star75 thermograph28)
	(have_image Star75 infrared2)
	(have_image Star75 spectrograph20)
	(have_image Star75 infrared29)
	(have_image Star75 image1)
	(have_image Star75 infrared24)
	(have_image Star75 thermograph22)
	(have_image Star75 infrared23)
	(have_image Phenomenon76 infrared23)
	(have_image Star77 thermograph28)
	(have_image Star77 infrared2)
	(have_image Star77 spectrograph14)
	(have_image Star78 image19)
	(have_image Star78 thermograph4)
	(have_image Star78 image1)
	(have_image Star78 image16)
	(have_image Star78 spectrograph20)
	(have_image Star78 spectrograph14)
	(have_image Star78 thermograph33)
	(have_image Star78 thermograph15)
	(have_image Star78 infrared29)
	(have_image Star78 spectrograph13)
	(have_image Phenomenon79 spectrograph34)
	(have_image Phenomenon79 spectrograph10)
	(have_image Phenomenon79 thermograph22)
	(have_image Star80 thermograph22)
	(have_image Star80 infrared7)
	(have_image Star80 spectrograph14)
	(have_image Star80 image3)
	(have_image Star80 thermograph27)
	(have_image Star80 thermograph30)
	(have_image Star80 spectrograph12)
	(have_image Star80 image31)
	(have_image Star80 thermograph6)
	(have_image Star80 image19)
	(have_image Star80 spectrograph10)
	(have_image Star81 image3)
	(have_image Star81 spectrograph9)
	(have_image Star81 thermograph8)
	(have_image Star81 image11)
	(have_image Star81 spectrograph34)
	(have_image Star81 spectrograph20)
	(have_image Planet83 image1)
	(have_image Star84 thermograph22)
	(have_image Star84 thermograph25)
	(have_image Star84 image31)
	(have_image Star84 spectrograph14)
	(have_image Star84 spectrograph9)
	(have_image Star84 spectrograph10)
	(have_image Star85 thermograph22)
	(have_image Phenomenon86 infrared23)
	(have_image Phenomenon86 spectrograph9)
	(have_image Phenomenon86 thermograph28)
	(have_image Phenomenon86 image32)
	(have_image Phenomenon86 spectrograph13)
	(have_image Phenomenon86 thermograph5)
	(have_image Phenomenon86 infrared26)
	(have_image Phenomenon86 spectrograph34)
))

)
