(define (problem strips-sat-x-1)
(:domain satellite)
(:objects
	satellite0
	instrument0
	instrument1
	instrument2
	instrument3
	instrument4
	instrument5
	instrument6
	satellite1
	instrument7
	instrument8
	instrument9
	instrument10
	instrument11
	instrument12
	instrument13
	instrument14
	instrument15
	instrument16
	instrument17
	instrument18
	instrument19
	instrument20
	instrument21
	instrument22
	instrument23
	instrument24
	instrument25
	instrument26
	instrument27
	instrument28
	instrument29
	instrument30
	instrument31
	instrument32
	instrument33
	instrument34
	instrument35
	instrument36
	instrument37
	instrument38
	instrument39
	instrument40
	instrument41
	instrument42
	instrument43
	instrument44
	instrument45
	instrument46
	satellite2
	instrument47
	instrument48
	instrument49
	instrument50
	instrument51
	instrument52
	instrument53
	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
	instrument80
	instrument81
	instrument82
	instrument83
	instrument84
	instrument85
	instrument86
	satellite3
	instrument87
	instrument88
	instrument89
	instrument90
	instrument91
	instrument92
	instrument93
	instrument94
	satellite4
	instrument95
	instrument96
	instrument97
	instrument98
	instrument99
	instrument100
	instrument101
	instrument102
	instrument103
	instrument104
	instrument105
	instrument106
	instrument107
	instrument108
	instrument109
	instrument110
	instrument111
	instrument112
	instrument113
	instrument114
	instrument115
	instrument116
	instrument117
	instrument118
	satellite5
	instrument119
	instrument120
	instrument121
	instrument122
	instrument123
	instrument124
	instrument125
	instrument126
	instrument127
	instrument128
	instrument129
	instrument130
	instrument131
	instrument132
	instrument133
	instrument134
	instrument135
	instrument136
	instrument137
	satellite6
	instrument138
	instrument139
	instrument140
	instrument141
	instrument142
	instrument143
	instrument144
	instrument145
	instrument146
	instrument147
	instrument148
	instrument149
	instrument150
	instrument151
	instrument152
	instrument153
	instrument154
	instrument155
	instrument156
	instrument157
	instrument158
	instrument159
	instrument160
	instrument161
	instrument162
	instrument163
	instrument164
	instrument165
	satellite7
	instrument166
	instrument167
	instrument168
	instrument169
	instrument170
	instrument171
	instrument172
	instrument173
	instrument174
	instrument175
	instrument176
	instrument177
	instrument178
	instrument179
	instrument180
	instrument181
	instrument182
	instrument183
	instrument184
	instrument185
	instrument186
	instrument187
	satellite8
	instrument188
	instrument189
	instrument190
	instrument191
	instrument192
	instrument193
	instrument194
	instrument195
	instrument196
	instrument197
	instrument198
	instrument199
	instrument200
	instrument201
	instrument202
	instrument203
	instrument204
	satellite9
	instrument205
	instrument206
	instrument207
	instrument208
	instrument209
	instrument210
	instrument211
	instrument212
	instrument213
	instrument214
	instrument215
	instrument216
	instrument217
	instrument218
	instrument219
	instrument220
	instrument221
	instrument222
	instrument223
	instrument224
	instrument225
	instrument226
	instrument227
	instrument228
	satellite10
	instrument229
	instrument230
	instrument231
	instrument232
	instrument233
	instrument234
	instrument235
	instrument236
	instrument237
	instrument238
	instrument239
	instrument240
	instrument241
	instrument242
	instrument243
	instrument244
	instrument245
	instrument246
	instrument247
	instrument248
	satellite11
	instrument249
	instrument250
	instrument251
	instrument252
	instrument253
	instrument254
	instrument255
	instrument256
	instrument257
	satellite12
	instrument258
	instrument259
	instrument260
	instrument261
	instrument262
	instrument263
	instrument264
	instrument265
	instrument266
	instrument267
	satellite13
	instrument268
	instrument269
	instrument270
	instrument271
	instrument272
	instrument273
	instrument274
	instrument275
	instrument276
	instrument277
	instrument278
	instrument279
	instrument280
	instrument281
	instrument282
	instrument283
	instrument284
	instrument285
	instrument286
	instrument287
	instrument288
	instrument289
	instrument290
	instrument291
	instrument292
	instrument293
	instrument294
	instrument295
	instrument296
	instrument297
	instrument298
	instrument299
	instrument300
	instrument301
	instrument302
	satellite14
	instrument303
	instrument304
	instrument305
	instrument306
	instrument307
	instrument308
	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
	satellite15
	instrument335
	instrument336
	instrument337
	instrument338
	instrument339
	instrument340
	instrument341
	instrument342
	instrument343
	instrument344
	instrument345
	instrument346
	instrument347
	instrument348
	instrument349
	instrument350
	instrument351
	instrument352
	instrument353
	instrument354
	instrument355
	satellite16
	instrument356
	instrument357
	instrument358
	instrument359
	instrument360
	instrument361
	instrument362
	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
	satellite17
	instrument388
	instrument389
	instrument390
	instrument391
	instrument392
	instrument393
	instrument394
	instrument395
	instrument396
	instrument397
	instrument398
	satellite18
	instrument399
	instrument400
	instrument401
	instrument402
	instrument403
	instrument404
	instrument405
	instrument406
	instrument407
	instrument408
	instrument409
	instrument410
	instrument411
	instrument412
	instrument413
	instrument414
	instrument415
	instrument416
	instrument417
	instrument418
	instrument419
	instrument420
	instrument421
	instrument422
	instrument423
	instrument424
	instrument425
	instrument426
	instrument427
	satellite19
	instrument428
	instrument429
	instrument430
	instrument431
	instrument432
	instrument433
	instrument434
	instrument435
	instrument436
	instrument437
	instrument438
	instrument439
	instrument440
	instrument441
	instrument442
	instrument443
	instrument444
	instrument445
	satellite20
	instrument446
	instrument447
	instrument448
	instrument449
	instrument450
	instrument451
	instrument452
	instrument453
	instrument454
	instrument455
	instrument456
	instrument457
	instrument458
	instrument459
	instrument460
	satellite21
	instrument461
	instrument462
	instrument463
	instrument464
	instrument465
	instrument466
	instrument467
	instrument468
	instrument469
	instrument470
	instrument471
	instrument472
	instrument473
	instrument474
	instrument475
	instrument476
	instrument477
	instrument478
	instrument479
	instrument480
	instrument481
	instrument482
	instrument483
	instrument484
	instrument485
	instrument486
	instrument487
	satellite22
	instrument488
	instrument489
	instrument490
	instrument491
	instrument492
	instrument493
	instrument494
	instrument495
	instrument496
	instrument497
	instrument498
	instrument499
	instrument500
	instrument501
	instrument502
	instrument503
	instrument504
	instrument505
	instrument506
	instrument507
	instrument508
	instrument509
	instrument510
	instrument511
	instrument512
	instrument513
	instrument514
	instrument515
	instrument516
	instrument517
	instrument518
	satellite23
	instrument519
	instrument520
	instrument521
	instrument522
	instrument523
	instrument524
	instrument525
	instrument526
	satellite24
	instrument527
	instrument528
	instrument529
	satellite25
	instrument530
	instrument531
	instrument532
	instrument533
	instrument534
	instrument535
	instrument536
	instrument537
	instrument538
	instrument539
	instrument540
	satellite26
	instrument541
	instrument542
	instrument543
	instrument544
	instrument545
	instrument546
	instrument547
	instrument548
	instrument549
	instrument550
	instrument551
	instrument552
	instrument553
	instrument554
	satellite27
	instrument555
	instrument556
	instrument557
	instrument558
	satellite28
	instrument559
	instrument560
	instrument561
	instrument562
	instrument563
	instrument564
	instrument565
	satellite29
	instrument566
	instrument567
	instrument568
	instrument569
	instrument570
	instrument571
	instrument572
	satellite30
	instrument573
	instrument574
	instrument575
	instrument576
	instrument577
	instrument578
	instrument579
	instrument580
	instrument581
	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
	satellite31
	instrument612
	instrument613
	instrument614
	instrument615
	instrument616
	instrument617
	instrument618
	instrument619
	instrument620
	instrument621
	instrument622
	instrument623
	instrument624
	instrument625
	instrument626
	instrument627
	instrument628
	instrument629
	instrument630
	instrument631
	instrument632
	instrument633
	instrument634
	instrument635
	instrument636
	instrument637
	instrument638
	satellite32
	instrument639
	instrument640
	instrument641
	satellite33
	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
	satellite34
	instrument674
	instrument675
	instrument676
	instrument677
	instrument678
	instrument679
	instrument680
	instrument681
	instrument682
	instrument683
	instrument684
	instrument685
	instrument686
	instrument687
	instrument688
	instrument689
	instrument690
	instrument691
	instrument692
	instrument693
	instrument694
	instrument695
	instrument696
	instrument697
	instrument698
	instrument699
	instrument700
	satellite35
	instrument701
	instrument702
	instrument703
	instrument704
	instrument705
	instrument706
	instrument707
	instrument708
	instrument709
	instrument710
	instrument711
	instrument712
	instrument713
	instrument714
	instrument715
	instrument716
	instrument717
	instrument718
	instrument719
	instrument720
	instrument721
	instrument722
	instrument723
	instrument724
	instrument725
	instrument726
	instrument727
	instrument728
	instrument729
	instrument730
	instrument731
	instrument732
	instrument733
	instrument734
	instrument735
	instrument736
	instrument737
	satellite36
	instrument738
	instrument739
	instrument740
	instrument741
	instrument742
	satellite37
	instrument743
	instrument744
	instrument745
	instrument746
	instrument747
	instrument748
	instrument749
	instrument750
	instrument751
	instrument752
	instrument753
	instrument754
	instrument755
	instrument756
	instrument757
	instrument758
	satellite38
	instrument759
	instrument760
	instrument761
	instrument762
	infrared37
	thermograph26
	thermograph4
	spectrograph22
	spectrograph18
	spectrograph32
	infrared0
	spectrograph35
	infrared33
	image10
	thermograph20
	infrared23
	image38
	infrared28
	infrared9
	thermograph12
	image21
	thermograph34
	thermograph36
	thermograph7
	thermograph14
	thermograph8
	image31
	infrared25
	infrared16
	thermograph5
	thermograph15
	thermograph13
	image29
	spectrograph24
	thermograph27
	spectrograph19
	thermograph39
	infrared11
	spectrograph17
	infrared30
	infrared1
	image6
	thermograph2
	spectrograph3
	GroundStation17
	GroundStation4
	Star12
	Star0
	Star13
	GroundStation6
	GroundStation2
	GroundStation7
	Star9
	Star18
	GroundStation14
	Star1
	Star5
	Star10
	GroundStation3
	Star19
	Star16
	Star8
	GroundStation15
	GroundStation11
	Phenomenon20
	Planet21
	Phenomenon22
	Planet23
	Star24
	Star25
	Star26
	Phenomenon27
	Planet28
	Planet29
	Star30
	Phenomenon31
	Star32
	Phenomenon33
	Phenomenon34
	Planet35
	Star36
	Star37
	Star38
	Planet39
	Planet40
	Star41
	Star42
	Planet43
	Planet44
	Star45
	Planet46
	Planet47
	Planet48
	Planet49
	Star50
	Planet51
	Planet52
	Star53
	Star54
	Phenomenon55
	Phenomenon56
	Star57
	Phenomenon58
	Planet59
	Star60
	Planet61
	Planet62
	Phenomenon63
	Planet64
	Phenomenon65
	Phenomenon66
	Star67
	Planet68
	Phenomenon69
	Planet70
	Phenomenon71
	Planet72
	Star73
	Planet74
	Phenomenon75
	Star76
	Planet77
	Phenomenon78
	Planet79
	Phenomenon80
	Phenomenon81
	Planet82
	Star83
	Planet84
	Planet85
	Phenomenon86
	Phenomenon87
	Phenomenon88
	Star89
	Planet90
	Star91
	Star92
	Phenomenon93
	Phenomenon94
	Planet95
	Star96
	Star97
	Star98
	Phenomenon99
)
(:init
	(satellite satellite0)
	(instrument instrument0)
	(supports instrument0 thermograph14)
	(supports instrument0 thermograph36)
	(calibration_target instrument0 Star13)
	(calibration_target instrument0 Star9)
	(calibration_target instrument0 Star5)
	(calibration_target instrument0 GroundStation14)
	(instrument instrument1)
	(supports instrument1 spectrograph24)
	(supports instrument1 spectrograph3)
	(supports instrument1 image10)
	(calibration_target instrument1 Star1)
	(calibration_target instrument1 GroundStation7)
	(calibration_target instrument1 Star19)
	(instrument instrument2)
	(supports instrument2 spectrograph32)
	(supports instrument2 infrared23)
	(calibration_target instrument2 GroundStation17)
	(calibration_target instrument2 GroundStation2)
	(calibration_target instrument2 GroundStation7)
	(calibration_target instrument2 Star5)
	(calibration_target instrument2 Star12)
	(instrument instrument3)
	(supports instrument3 spectrograph17)
	(calibration_target instrument3 Star18)
	(calibration_target instrument3 Star0)
	(calibration_target instrument3 GroundStation3)
	(calibration_target instrument3 Star16)
	(calibration_target instrument3 Star10)
	(instrument instrument4)
	(supports instrument4 thermograph4)
	(calibration_target instrument4 GroundStation15)
	(calibration_target instrument4 Star18)
	(calibration_target instrument4 Star19)
	(calibration_target instrument4 GroundStation14)
	(calibration_target instrument4 GroundStation17)
	(calibration_target instrument4 GroundStation4)
	(instrument instrument5)
	(supports instrument5 infrared23)
	(supports instrument5 image31)
	(supports instrument5 image38)
	(calibration_target instrument5 GroundStation6)
	(instrument instrument6)
	(supports instrument6 thermograph5)
	(calibration_target instrument6 Star5)
	(on_board instrument0 satellite0)
	(on_board instrument1 satellite0)
	(on_board instrument2 satellite0)
	(on_board instrument3 satellite0)
	(on_board instrument4 satellite0)
	(on_board instrument5 satellite0)
	(on_board instrument6 satellite0)
	(power_avail satellite0)
	(pointing satellite0 Phenomenon31)
	(satellite satellite1)
	(instrument instrument7)
	(supports instrument7 thermograph4)
	(supports instrument7 thermograph13)
	(calibration_target instrument7 GroundStation4)
	(calibration_target instrument7 GroundStation2)
	(calibration_target instrument7 GroundStation11)
	(calibration_target instrument7 Star12)
	(calibration_target instrument7 Star13)
	(instrument instrument8)
	(supports instrument8 thermograph5)
	(calibration_target instrument8 Star0)
	(calibration_target instrument8 GroundStation15)
	(calibration_target instrument8 Star13)
	(calibration_target instrument8 GroundStation17)
	(instrument instrument9)
	(supports instrument9 infrared1)
	(supports instrument9 thermograph2)
	(supports instrument9 thermograph8)
	(calibration_target instrument9 GroundStation6)
	(instrument instrument10)
	(supports instrument10 thermograph8)
	(supports instrument10 infrared28)
	(supports instrument10 spectrograph19)
	(calibration_target instrument10 Star19)
	(calibration_target instrument10 GroundStation4)
	(calibration_target instrument10 Star18)
	(instrument instrument11)
	(supports instrument11 infrared28)
	(calibration_target instrument11 Star8)
	(calibration_target instrument11 GroundStation17)
	(calibration_target instrument11 Star1)
	(calibration_target instrument11 Star13)
	(calibration_target instrument11 GroundStation14)
	(instrument instrument12)
	(supports instrument12 spectrograph18)
	(calibration_target instrument12 Star0)
	(calibration_target instrument12 Star5)
	(instrument instrument13)
	(supports instrument13 thermograph4)
	(calibration_target instrument13 GroundStation14)
	(calibration_target instrument13 Star16)
	(calibration_target instrument13 Star5)
	(instrument instrument14)
	(supports instrument14 spectrograph22)
	(supports instrument14 infrared25)
	(supports instrument14 thermograph13)
	(calibration_target instrument14 GroundStation15)
	(calibration_target instrument14 GroundStation6)
	(calibration_target instrument14 GroundStation14)
	(calibration_target instrument14 Star16)
	(calibration_target instrument14 Star1)
	(calibration_target instrument14 Star18)
	(instrument instrument15)
	(supports instrument15 thermograph4)
	(calibration_target instrument15 GroundStation3)
	(calibration_target instrument15 GroundStation7)
	(instrument instrument16)
	(supports instrument16 thermograph34)
	(supports instrument16 thermograph7)
	(calibration_target instrument16 Star0)
	(calibration_target instrument16 GroundStation15)
	(calibration_target instrument16 Star16)
	(instrument instrument17)
	(supports instrument17 infrared28)
	(calibration_target instrument17 Star8)
	(calibration_target instrument17 GroundStation7)
	(calibration_target instrument17 Star13)
	(instrument instrument18)
	(supports instrument18 thermograph7)
	(calibration_target instrument18 GroundStation3)
	(calibration_target instrument18 GroundStation7)
	(calibration_target instrument18 Star8)
	(calibration_target instrument18 Star1)
	(instrument instrument19)
	(supports instrument19 infrared33)
	(calibration_target instrument19 GroundStation17)
	(calibration_target instrument19 Star0)
	(calibration_target instrument19 Star5)
	(calibration_target instrument19 GroundStation11)
	(calibration_target instrument19 Star18)
	(calibration_target instrument19 Star1)
	(instrument instrument20)
	(supports instrument20 thermograph36)
	(supports instrument20 spectrograph24)
	(supports instrument20 infrared33)
	(calibration_target instrument20 Star18)
	(instrument instrument21)
	(supports instrument21 image10)
	(supports instrument21 thermograph34)
	(supports instrument21 spectrograph19)
	(calibration_target instrument21 Star12)
	(instrument instrument22)
	(supports instrument22 infrared28)
	(supports instrument22 infrared16)
	(supports instrument22 spectrograph24)
	(calibration_target instrument22 GroundStation15)
	(calibration_target instrument22 GroundStation3)
	(calibration_target instrument22 Star10)
	(calibration_target instrument22 Star1)
	(calibration_target instrument22 Star9)
	(instrument instrument23)
	(supports instrument23 infrared28)
	(supports instrument23 thermograph5)
	(calibration_target instrument23 GroundStation11)
	(calibration_target instrument23 Star0)
	(calibration_target instrument23 GroundStation15)
	(calibration_target instrument23 GroundStation6)
	(calibration_target instrument23 GroundStation7)
	(calibration_target instrument23 Star12)
	(instrument instrument24)
	(supports instrument24 image29)
	(supports instrument24 thermograph27)
	(calibration_target instrument24 Star0)
	(calibration_target instrument24 GroundStation3)
	(instrument instrument25)
	(supports instrument25 infrared16)
	(supports instrument25 thermograph34)
	(calibration_target instrument25 GroundStation17)
	(calibration_target instrument25 Star9)
	(instrument instrument26)
	(supports instrument26 thermograph8)
	(supports instrument26 thermograph5)
	(calibration_target instrument26 Star19)
	(calibration_target instrument26 GroundStation3)
	(calibration_target instrument26 Star16)
	(calibration_target instrument26 GroundStation7)
	(calibration_target instrument26 Star10)
	(calibration_target instrument26 Star9)
	(instrument instrument27)
	(supports instrument27 spectrograph17)
	(supports instrument27 thermograph20)
	(supports instrument27 thermograph4)
	(calibration_target instrument27 Star13)
	(instrument instrument28)
	(supports instrument28 infrared11)
	(supports instrument28 spectrograph18)
	(calibration_target instrument28 GroundStation11)
	(calibration_target instrument28 Star13)
	(calibration_target instrument28 Star9)
	(calibration_target instrument28 Star12)
	(calibration_target instrument28 GroundStation6)
	(instrument instrument29)
	(supports instrument29 infrared11)
	(supports instrument29 spectrograph19)
	(calibration_target instrument29 Star13)
	(calibration_target instrument29 Star10)
	(calibration_target instrument29 GroundStation2)
	(instrument instrument30)
	(supports instrument30 infrared9)
	(calibration_target instrument30 GroundStation6)
	(calibration_target instrument30 Star5)
	(calibration_target instrument30 GroundStation3)
	(instrument instrument31)
	(supports instrument31 image31)
	(supports instrument31 spectrograph35)
	(supports instrument31 thermograph8)
	(calibration_target instrument31 Star9)
	(instrument instrument32)
	(supports instrument32 spectrograph35)
	(calibration_target instrument32 Star10)
	(calibration_target instrument32 Star8)
	(calibration_target instrument32 GroundStation15)
	(calibration_target instrument32 GroundStation2)
	(instrument instrument33)
	(supports instrument33 spectrograph35)
	(supports instrument33 thermograph8)
	(supports instrument33 thermograph4)
	(calibration_target instrument33 GroundStation4)
	(instrument instrument34)
	(supports instrument34 thermograph14)
	(supports instrument34 thermograph5)
	(supports instrument34 thermograph39)
	(calibration_target instrument34 Star19)
	(calibration_target instrument34 Star8)
	(calibration_target instrument34 GroundStation7)
	(calibration_target instrument34 GroundStation3)
	(calibration_target instrument34 GroundStation6)
	(calibration_target instrument34 Star16)
	(instrument instrument35)
	(supports instrument35 infrared11)
	(calibration_target instrument35 Star18)
	(instrument instrument36)
	(supports instrument36 thermograph13)
	(supports instrument36 spectrograph3)
	(supports instrument36 spectrograph18)
	(calibration_target instrument36 GroundStation14)
	(calibration_target instrument36 GroundStation3)
	(instrument instrument37)
	(supports instrument37 thermograph34)
	(supports instrument37 spectrograph3)
	(calibration_target instrument37 Star10)
	(calibration_target instrument37 Star5)
	(calibration_target instrument37 Star9)
	(calibration_target instrument37 Star18)
	(instrument instrument38)
	(supports instrument38 infrared11)
	(supports instrument38 spectrograph22)
	(supports instrument38 spectrograph24)
	(calibration_target instrument38 Star19)
	(calibration_target instrument38 Star13)
	(instrument instrument39)
	(supports instrument39 infrared37)
	(supports instrument39 thermograph26)
	(supports instrument39 infrared11)
	(calibration_target instrument39 Star16)
	(calibration_target instrument39 Star1)
	(calibration_target instrument39 GroundStation14)
	(calibration_target instrument39 Star5)
	(calibration_target instrument39 GroundStation11)
	(calibration_target instrument39 GroundStation17)
	(instrument instrument40)
	(supports instrument40 infrared16)
	(supports instrument40 infrared37)
	(supports instrument40 spectrograph22)
	(calibration_target instrument40 Star1)
	(calibration_target instrument40 GroundStation11)
	(calibration_target instrument40 Star0)
	(calibration_target instrument40 Star8)
	(instrument instrument41)
	(supports instrument41 thermograph27)
	(supports instrument41 spectrograph35)
	(calibration_target instrument41 Star9)
	(calibration_target instrument41 Star13)
	(calibration_target instrument41 GroundStation11)
	(calibration_target instrument41 Star18)
	(instrument instrument42)
	(supports instrument42 spectrograph22)
	(calibration_target instrument42 Star9)
	(calibration_target instrument42 Star19)
	(calibration_target instrument42 Star18)
	(calibration_target instrument42 Star16)
	(calibration_target instrument42 GroundStation11)
	(calibration_target instrument42 Star0)
	(instrument instrument43)
	(supports instrument43 thermograph2)
	(supports instrument43 infrared11)
	(calibration_target instrument43 Star13)
	(instrument instrument44)
	(supports instrument44 image38)
	(supports instrument44 spectrograph18)
	(supports instrument44 infrared1)
	(calibration_target instrument44 GroundStation15)
	(instrument instrument45)
	(supports instrument45 infrared16)
	(supports instrument45 thermograph13)
	(supports instrument45 infrared11)
	(calibration_target instrument45 Star1)
	(calibration_target instrument45 Star19)
	(calibration_target instrument45 GroundStation2)
	(calibration_target instrument45 Star5)
	(calibration_target instrument45 Star8)
	(instrument instrument46)
	(supports instrument46 infrared0)
	(supports instrument46 thermograph7)
	(calibration_target instrument46 GroundStation14)
	(on_board instrument7 satellite1)
	(on_board instrument8 satellite1)
	(on_board instrument9 satellite1)
	(on_board instrument10 satellite1)
	(on_board instrument11 satellite1)
	(on_board instrument12 satellite1)
	(on_board instrument13 satellite1)
	(on_board instrument14 satellite1)
	(on_board instrument15 satellite1)
	(on_board instrument16 satellite1)
	(on_board instrument17 satellite1)
	(on_board instrument18 satellite1)
	(on_board instrument19 satellite1)
	(on_board instrument20 satellite1)
	(on_board instrument21 satellite1)
	(on_board instrument22 satellite1)
	(on_board instrument23 satellite1)
	(on_board instrument24 satellite1)
	(on_board instrument25 satellite1)
	(on_board instrument26 satellite1)
	(on_board instrument27 satellite1)
	(on_board instrument28 satellite1)
	(on_board instrument29 satellite1)
	(on_board instrument30 satellite1)
	(on_board instrument31 satellite1)
	(on_board instrument32 satellite1)
	(on_board instrument33 satellite1)
	(on_board instrument34 satellite1)
	(on_board instrument35 satellite1)
	(on_board instrument36 satellite1)
	(on_board instrument37 satellite1)
	(on_board instrument38 satellite1)
	(on_board instrument39 satellite1)
	(on_board instrument40 satellite1)
	(on_board instrument41 satellite1)
	(on_board instrument42 satellite1)
	(on_board instrument43 satellite1)
	(on_board instrument44 satellite1)
	(on_board instrument45 satellite1)
	(on_board instrument46 satellite1)
	(power_avail satellite1)
	(pointing satellite1 Star91)
	(satellite satellite2)
	(instrument instrument47)
	(supports instrument47 thermograph12)
	(calibration_target instrument47 GroundStation6)
	(calibration_target instrument47 Star19)
	(calibration_target instrument47 Star12)
	(instrument instrument48)
	(supports instrument48 thermograph26)
	(supports instrument48 image21)
	(supports instrument48 infrared9)
	(calibration_target instrument48 GroundStation11)
	(calibration_target instrument48 Star9)
	(calibration_target instrument48 Star10)
	(calibration_target instrument48 Star18)
	(instrument instrument49)
	(supports instrument49 spectrograph35)
	(supports instrument49 spectrograph32)
	(supports instrument49 spectrograph18)
	(calibration_target instrument49 Star10)
	(calibration_target instrument49 Star9)
	(calibration_target instrument49 GroundStation6)
	(calibration_target instrument49 Star19)
	(calibration_target instrument49 Star0)
	(calibration_target instrument49 Star18)
	(instrument instrument50)
	(supports instrument50 spectrograph17)
	(supports instrument50 spectrograph18)
	(supports instrument50 thermograph12)
	(calibration_target instrument50 GroundStation14)
	(calibration_target instrument50 GroundStation17)
	(calibration_target instrument50 GroundStation3)
	(calibration_target instrument50 Star19)
	(instrument instrument51)
	(supports instrument51 infrared9)
	(calibration_target instrument51 GroundStation15)
	(calibration_target instrument51 Star18)
	(calibration_target instrument51 Star0)
	(calibration_target instrument51 GroundStation7)
	(calibration_target instrument51 Star12)
	(instrument instrument52)
	(supports instrument52 infrared25)
	(calibration_target instrument52 Star10)
	(calibration_target instrument52 GroundStation11)
	(calibration_target instrument52 Star8)
	(instrument instrument53)
	(supports instrument53 spectrograph18)
	(supports instrument53 image29)
	(calibration_target instrument53 GroundStation7)
	(calibration_target instrument53 Star18)
	(calibration_target instrument53 Star0)
	(calibration_target instrument53 GroundStation15)
	(instrument instrument54)
	(supports instrument54 infrared33)
	(calibration_target instrument54 GroundStation2)
	(instrument instrument55)
	(supports instrument55 image10)
	(supports instrument55 thermograph39)
	(calibration_target instrument55 GroundStation6)
	(calibration_target instrument55 GroundStation17)
	(calibration_target instrument55 GroundStation4)
	(calibration_target instrument55 Star10)
	(calibration_target instrument55 GroundStation2)
	(calibration_target instrument55 GroundStation3)
	(instrument instrument56)
	(supports instrument56 thermograph39)
	(calibration_target instrument56 GroundStation4)
	(calibration_target instrument56 GroundStation7)
	(calibration_target instrument56 Star1)
	(instrument instrument57)
	(supports instrument57 thermograph26)
	(calibration_target instrument57 GroundStation11)
	(calibration_target instrument57 GroundStation7)
	(calibration_target instrument57 GroundStation15)
	(calibration_target instrument57 GroundStation4)
	(calibration_target instrument57 Star13)
	(calibration_target instrument57 Star10)
	(instrument instrument58)
	(supports instrument58 spectrograph18)
	(supports instrument58 thermograph15)
	(calibration_target instrument58 GroundStation4)
	(calibration_target instrument58 Star12)
	(instrument instrument59)
	(supports instrument59 spectrograph3)
	(calibration_target instrument59 GroundStation4)
	(calibration_target instrument59 GroundStation2)
	(calibration_target instrument59 GroundStation6)
	(calibration_target instrument59 GroundStation17)
	(calibration_target instrument59 GroundStation14)
	(calibration_target instrument59 GroundStation11)
	(instrument instrument60)
	(supports instrument60 infrared1)
	(calibration_target instrument60 GroundStation7)
	(calibration_target instrument60 GroundStation11)
	(instrument instrument61)
	(supports instrument61 thermograph13)
	(supports instrument61 thermograph7)
	(supports instrument61 thermograph26)
	(calibration_target instrument61 GroundStation3)
	(calibration_target instrument61 Star19)
	(calibration_target instrument61 GroundStation14)
	(calibration_target instrument61 Star1)
	(calibration_target instrument61 Star13)
	(instrument instrument62)
	(supports instrument62 infrared25)
	(calibration_target instrument62 Star18)
	(calibration_target instrument62 Star19)
	(calibration_target instrument62 Star16)
	(calibration_target instrument62 GroundStation6)
	(calibration_target instrument62 GroundStation4)
	(instrument instrument63)
	(supports instrument63 image21)
	(supports instrument63 infrared28)
	(supports instrument63 thermograph12)
	(calibration_target instrument63 GroundStation14)
	(instrument instrument64)
	(supports instrument64 infrared23)
	(supports instrument64 thermograph39)
	(supports instrument64 thermograph2)
	(calibration_target instrument64 Star0)
	(calibration_target instrument64 GroundStation17)
	(calibration_target instrument64 GroundStation4)
	(instrument instrument65)
	(supports instrument65 spectrograph32)
	(supports instrument65 thermograph34)
	(calibration_target instrument65 GroundStation11)
	(calibration_target instrument65 Star12)
	(calibration_target instrument65 Star1)
	(calibration_target instrument65 Star0)
	(calibration_target instrument65 GroundStation6)
	(calibration_target instrument65 Star10)
	(instrument instrument66)
	(supports instrument66 spectrograph3)
	(supports instrument66 infrared0)
	(calibration_target instrument66 Star19)
	(calibration_target instrument66 Star18)
	(calibration_target instrument66 GroundStation4)
	(calibration_target instrument66 Star1)
	(calibration_target instrument66 GroundStation11)
	(calibration_target instrument66 Star10)
	(instrument instrument67)
	(supports instrument67 spectrograph17)
	(supports instrument67 infrared0)
	(calibration_target instrument67 GroundStation11)
	(calibration_target instrument67 GroundStation3)
	(calibration_target instrument67 GroundStation4)
	(calibration_target instrument67 GroundStation7)
	(calibration_target instrument67 Star0)
	(calibration_target instrument67 Star1)
	(instrument instrument68)
	(supports instrument68 spectrograph18)
	(supports instrument68 thermograph39)
	(calibration_target instrument68 Star8)
	(instrument instrument69)
	(supports instrument69 thermograph36)
	(supports instrument69 thermograph5)
	(supports instrument69 thermograph4)
	(calibration_target instrument69 Star18)
	(calibration_target instrument69 GroundStation15)
	(calibration_target instrument69 GroundStation11)
	(calibration_target instrument69 Star19)
	(calibration_target instrument69 Star1)
	(instrument instrument70)
	(supports instrument70 image10)
	(supports instrument70 image21)
	(calibration_target instrument70 Star1)
	(calibration_target instrument70 Star5)
	(instrument instrument71)
	(supports instrument71 thermograph34)
	(calibration_target instrument71 GroundStation11)
	(calibration_target instrument71 GroundStation7)
	(instrument instrument72)
	(supports instrument72 spectrograph22)
	(supports instrument72 thermograph36)
	(supports instrument72 thermograph8)
	(calibration_target instrument72 Star8)
	(calibration_target instrument72 Star18)
	(calibration_target instrument72 Star0)
	(instrument instrument73)
	(supports instrument73 spectrograph22)
	(supports instrument73 spectrograph3)
	(supports instrument73 thermograph36)
	(calibration_target instrument73 GroundStation2)
	(instrument instrument74)
	(supports instrument74 infrared11)
	(supports instrument74 image38)
	(supports instrument74 thermograph39)
	(calibration_target instrument74 GroundStation2)
	(instrument instrument75)
	(supports instrument75 spectrograph35)
	(supports instrument75 spectrograph17)
	(supports instrument75 infrared9)
	(calibration_target instrument75 Star19)
	(calibration_target instrument75 GroundStation17)
	(calibration_target instrument75 Star18)
	(calibration_target instrument75 GroundStation4)
	(instrument instrument76)
	(supports instrument76 infrared23)
	(supports instrument76 thermograph2)
	(supports instrument76 spectrograph17)
	(calibration_target instrument76 Star1)
	(calibration_target instrument76 Star0)
	(calibration_target instrument76 Star10)
	(instrument instrument77)
	(supports instrument77 image6)
	(calibration_target instrument77 Star1)
	(instrument instrument78)
	(supports instrument78 infrared11)
	(calibration_target instrument78 Star12)
	(calibration_target instrument78 GroundStation11)
	(calibration_target instrument78 Star9)
	(calibration_target instrument78 Star10)
	(calibration_target instrument78 Star1)
	(instrument instrument79)
	(supports instrument79 spectrograph22)
	(supports instrument79 thermograph36)
	(calibration_target instrument79 GroundStation15)
	(calibration_target instrument79 Star0)
	(calibration_target instrument79 GroundStation7)
	(calibration_target instrument79 Star10)
	(calibration_target instrument79 Star5)
	(calibration_target instrument79 Star19)
	(instrument instrument80)
	(supports instrument80 spectrograph24)
	(supports instrument80 image10)
	(calibration_target instrument80 Star0)
	(calibration_target instrument80 Star10)
	(calibration_target instrument80 Star5)
	(instrument instrument81)
	(supports instrument81 infrared28)
	(calibration_target instrument81 GroundStation15)
	(calibration_target instrument81 GroundStation4)
	(instrument instrument82)
	(supports instrument82 spectrograph3)
	(calibration_target instrument82 Star5)
	(calibration_target instrument82 GroundStation15)
	(calibration_target instrument82 GroundStation11)
	(calibration_target instrument82 GroundStation14)
	(calibration_target instrument82 Star19)
	(calibration_target instrument82 GroundStation4)
	(instrument instrument83)
	(supports instrument83 spectrograph18)
	(supports instrument83 infrared25)
	(calibration_target instrument83 GroundStation17)
	(calibration_target instrument83 Star8)
	(calibration_target instrument83 Star1)
	(instrument instrument84)
	(supports instrument84 thermograph26)
	(supports instrument84 thermograph12)
	(calibration_target instrument84 GroundStation17)
	(calibration_target instrument84 Star1)
	(calibration_target instrument84 Star16)
	(calibration_target instrument84 GroundStation4)
	(calibration_target instrument84 GroundStation11)
	(calibration_target instrument84 GroundStation15)
	(instrument instrument85)
	(supports instrument85 thermograph12)
	(supports instrument85 image6)
	(calibration_target instrument85 Star13)
	(calibration_target instrument85 Star12)
	(calibration_target instrument85 Star1)
	(instrument instrument86)
	(supports instrument86 image31)
	(supports instrument86 thermograph5)
	(calibration_target instrument86 GroundStation15)
	(calibration_target instrument86 Star13)
	(calibration_target instrument86 GroundStation6)
	(calibration_target instrument86 GroundStation3)
	(calibration_target instrument86 Star12)
	(on_board instrument47 satellite2)
	(on_board instrument48 satellite2)
	(on_board instrument49 satellite2)
	(on_board instrument50 satellite2)
	(on_board instrument51 satellite2)
	(on_board instrument52 satellite2)
	(on_board instrument53 satellite2)
	(on_board instrument54 satellite2)
	(on_board instrument55 satellite2)
	(on_board instrument56 satellite2)
	(on_board instrument57 satellite2)
	(on_board instrument58 satellite2)
	(on_board instrument59 satellite2)
	(on_board instrument60 satellite2)
	(on_board instrument61 satellite2)
	(on_board instrument62 satellite2)
	(on_board instrument63 satellite2)
	(on_board instrument64 satellite2)
	(on_board instrument65 satellite2)
	(on_board instrument66 satellite2)
	(on_board instrument67 satellite2)
	(on_board instrument68 satellite2)
	(on_board instrument69 satellite2)
	(on_board instrument70 satellite2)
	(on_board instrument71 satellite2)
	(on_board instrument72 satellite2)
	(on_board instrument73 satellite2)
	(on_board instrument74 satellite2)
	(on_board instrument75 satellite2)
	(on_board instrument76 satellite2)
	(on_board instrument77 satellite2)
	(on_board instrument78 satellite2)
	(on_board instrument79 satellite2)
	(on_board instrument80 satellite2)
	(on_board instrument81 satellite2)
	(on_board instrument82 satellite2)
	(on_board instrument83 satellite2)
	(on_board instrument84 satellite2)
	(on_board instrument85 satellite2)
	(on_board instrument86 satellite2)
	(power_avail satellite2)
	(pointing satellite2 Star12)
	(satellite satellite3)
	(instrument instrument87)
	(supports instrument87 spectrograph17)
	(calibration_target instrument87 Star5)
	(calibration_target instrument87 Star16)
	(calibration_target instrument87 GroundStation7)
	(calibration_target instrument87 Star19)
	(calibration_target instrument87 GroundStation15)
	(calibration_target instrument87 GroundStation6)
	(instrument instrument88)
	(supports instrument88 thermograph7)
	(calibration_target instrument88 Star5)
	(calibration_target instrument88 GroundStation14)
	(calibration_target instrument88 GroundStation3)
	(calibration_target instrument88 Star16)
	(instrument instrument89)
	(supports instrument89 image10)
	(supports instrument89 thermograph39)
	(calibration_target instrument89 GroundStation3)
	(calibration_target instrument89 Star1)
	(instrument instrument90)
	(supports instrument90 infrared0)
	(supports instrument90 infrared30)
	(supports instrument90 infrared1)
	(calibration_target instrument90 Star1)
	(calibration_target instrument90 GroundStation14)
	(instrument instrument91)
	(supports instrument91 thermograph15)
	(supports instrument91 spectrograph24)
	(supports instrument91 infrared1)
	(calibration_target instrument91 Star0)
	(calibration_target instrument91 GroundStation3)
	(calibration_target instrument91 Star16)
	(calibration_target instrument91 Star5)
	(instrument instrument92)
	(supports instrument92 image31)
	(supports instrument92 thermograph8)
	(supports instrument92 infrared16)
	(calibration_target instrument92 Star8)
	(calibration_target instrument92 GroundStation7)
	(calibration_target instrument92 GroundStation14)
	(calibration_target instrument92 GroundStation2)
	(calibration_target instrument92 GroundStation15)
	(calibration_target instrument92 Star18)
	(instrument instrument93)
	(supports instrument93 spectrograph18)
	(supports instrument93 spectrograph22)
	(supports instrument93 infrared11)
	(calibration_target instrument93 Star9)
	(calibration_target instrument93 Star18)
	(calibration_target instrument93 Star19)
	(calibration_target instrument93 GroundStation2)
	(instrument instrument94)
	(supports instrument94 image29)
	(supports instrument94 thermograph26)
	(supports instrument94 image21)
	(calibration_target instrument94 Star16)
	(calibration_target instrument94 GroundStation3)
	(on_board instrument87 satellite3)
	(on_board instrument88 satellite3)
	(on_board instrument89 satellite3)
	(on_board instrument90 satellite3)
	(on_board instrument91 satellite3)
	(on_board instrument92 satellite3)
	(on_board instrument93 satellite3)
	(on_board instrument94 satellite3)
	(power_avail satellite3)
	(pointing satellite3 Phenomenon33)
	(satellite satellite4)
	(instrument instrument95)
	(supports instrument95 image31)
	(supports instrument95 infrared25)
	(supports instrument95 thermograph7)
	(calibration_target instrument95 Star16)
	(calibration_target instrument95 GroundStation4)
	(calibration_target instrument95 Star1)
	(instrument instrument96)
	(supports instrument96 thermograph8)
	(calibration_target instrument96 Star16)
	(calibration_target instrument96 GroundStation2)
	(calibration_target instrument96 Star18)
	(calibration_target instrument96 GroundStation15)
	(instrument instrument97)
	(supports instrument97 thermograph13)
	(supports instrument97 thermograph8)
	(supports instrument97 image6)
	(calibration_target instrument97 Star19)
	(calibration_target instrument97 GroundStation4)
	(calibration_target instrument97 GroundStation2)
	(instrument instrument98)
	(supports instrument98 thermograph36)
	(supports instrument98 thermograph27)
	(calibration_target instrument98 GroundStation7)
	(calibration_target instrument98 Star8)
	(calibration_target instrument98 Star13)
	(calibration_target instrument98 Star19)
	(instrument instrument99)
	(supports instrument99 spectrograph17)
	(supports instrument99 spectrograph19)
	(calibration_target instrument99 GroundStation14)
	(calibration_target instrument99 GroundStation11)
	(calibration_target instrument99 GroundStation7)
	(calibration_target instrument99 GroundStation4)
	(calibration_target instrument99 Star10)
	(calibration_target instrument99 GroundStation6)
	(instrument instrument100)
	(supports instrument100 infrared33)
	(supports instrument100 image38)
	(calibration_target instrument100 Star18)
	(calibration_target instrument100 GroundStation3)
	(instrument instrument101)
	(supports instrument101 spectrograph32)
	(supports instrument101 thermograph36)
	(supports instrument101 infrared30)
	(calibration_target instrument101 GroundStation6)
	(calibration_target instrument101 Star10)
	(calibration_target instrument101 GroundStation17)
	(calibration_target instrument101 Star5)
	(instrument instrument102)
	(supports instrument102 thermograph12)
	(calibration_target instrument102 Star1)
	(calibration_target instrument102 Star0)
	(calibration_target instrument102 Star13)
	(calibration_target instrument102 GroundStation14)
	(calibration_target instrument102 Star8)
	(calibration_target instrument102 Star18)
	(instrument instrument103)
	(supports instrument103 thermograph12)
	(supports instrument103 thermograph34)
	(calibration_target instrument103 Star9)
	(calibration_target instrument103 Star1)
	(instrument instrument104)
	(supports instrument104 image10)
	(supports instrument104 image6)
	(calibration_target instrument104 Star12)
	(calibration_target instrument104 Star8)
	(calibration_target instrument104 Star19)
	(calibration_target instrument104 Star13)
	(calibration_target instrument104 Star18)
	(instrument instrument105)
	(supports instrument105 image10)
	(supports instrument105 thermograph27)
	(calibration_target instrument105 Star12)
	(calibration_target instrument105 Star10)
	(calibration_target instrument105 Star18)
	(calibration_target instrument105 GroundStation2)
	(instrument instrument106)
	(supports instrument106 infrared23)
	(supports instrument106 infrared30)
	(calibration_target instrument106 GroundStation2)
	(calibration_target instrument106 GroundStation6)
	(instrument instrument107)
	(supports instrument107 image21)
	(calibration_target instrument107 GroundStation17)
	(calibration_target instrument107 Star5)
	(instrument instrument108)
	(supports instrument108 thermograph27)
	(supports instrument108 infrared16)
	(supports instrument108 thermograph14)
	(calibration_target instrument108 Star0)
	(calibration_target instrument108 Star12)
	(calibration_target instrument108 GroundStation15)
	(instrument instrument109)
	(supports instrument109 thermograph27)
	(supports instrument109 thermograph2)
	(calibration_target instrument109 GroundStation17)
	(calibration_target instrument109 GroundStation6)
	(calibration_target instrument109 GroundStation2)
	(calibration_target instrument109 Star8)
	(instrument instrument110)
	(supports instrument110 infrared0)
	(calibration_target instrument110 GroundStation14)
	(calibration_target instrument110 Star5)
	(calibration_target instrument110 GroundStation7)
	(calibration_target instrument110 Star1)
	(calibration_target instrument110 Star18)
	(instrument instrument111)
	(supports instrument111 thermograph27)
	(calibration_target instrument111 GroundStation2)
	(calibration_target instrument111 Star9)
	(calibration_target instrument111 GroundStation15)
	(calibration_target instrument111 GroundStation4)
	(instrument instrument112)
	(supports instrument112 infrared25)
	(calibration_target instrument112 GroundStation3)
	(calibration_target instrument112 Star16)
	(calibration_target instrument112 Star5)
	(calibration_target instrument112 GroundStation6)
	(instrument instrument113)
	(supports instrument113 thermograph7)
	(supports instrument113 thermograph34)
	(calibration_target instrument113 GroundStation14)
	(instrument instrument114)
	(supports instrument114 infrared30)
	(supports instrument114 spectrograph18)
	(supports instrument114 spectrograph3)
	(calibration_target instrument114 GroundStation14)
	(calibration_target instrument114 GroundStation6)
	(calibration_target instrument114 Star16)
	(calibration_target instrument114 GroundStation17)
	(calibration_target instrument114 Star5)
	(instrument instrument115)
	(supports instrument115 infrared0)
	(calibration_target instrument115 Star13)
	(calibration_target instrument115 GroundStation4)
	(calibration_target instrument115 Star16)
	(instrument instrument116)
	(supports instrument116 infrared30)
	(supports instrument116 thermograph36)
	(calibration_target instrument116 Star13)
	(calibration_target instrument116 Star10)
	(instrument instrument117)
	(supports instrument117 thermograph13)
	(supports instrument117 infrared9)
	(supports instrument117 spectrograph32)
	(calibration_target instrument117 GroundStation4)
	(calibration_target instrument117 GroundStation15)
	(calibration_target instrument117 GroundStation14)
	(instrument instrument118)
	(supports instrument118 thermograph7)
	(supports instrument118 spectrograph35)
	(calibration_target instrument118 Star5)
	(calibration_target instrument118 GroundStation2)
	(calibration_target instrument118 Star9)
	(on_board instrument95 satellite4)
	(on_board instrument96 satellite4)
	(on_board instrument97 satellite4)
	(on_board instrument98 satellite4)
	(on_board instrument99 satellite4)
	(on_board instrument100 satellite4)
	(on_board instrument101 satellite4)
	(on_board instrument102 satellite4)
	(on_board instrument103 satellite4)
	(on_board instrument104 satellite4)
	(on_board instrument105 satellite4)
	(on_board instrument106 satellite4)
	(on_board instrument107 satellite4)
	(on_board instrument108 satellite4)
	(on_board instrument109 satellite4)
	(on_board instrument110 satellite4)
	(on_board instrument111 satellite4)
	(on_board instrument112 satellite4)
	(on_board instrument113 satellite4)
	(on_board instrument114 satellite4)
	(on_board instrument115 satellite4)
	(on_board instrument116 satellite4)
	(on_board instrument117 satellite4)
	(on_board instrument118 satellite4)
	(power_avail satellite4)
	(pointing satellite4 Planet59)
	(satellite satellite5)
	(instrument instrument119)
	(supports instrument119 image6)
	(calibration_target instrument119 Star19)
	(calibration_target instrument119 GroundStation2)
	(calibration_target instrument119 GroundStation3)
	(instrument instrument120)
	(supports instrument120 thermograph39)
	(calibration_target instrument120 GroundStation15)
	(instrument instrument121)
	(supports instrument121 thermograph12)
	(supports instrument121 infrared37)
	(calibration_target instrument121 Star12)
	(calibration_target instrument121 Star13)
	(calibration_target instrument121 GroundStation7)
	(calibration_target instrument121 Star8)
	(calibration_target instrument121 Star19)
	(calibration_target instrument121 GroundStation15)
	(instrument instrument122)
	(supports instrument122 infrared30)
	(supports instrument122 spectrograph24)
	(calibration_target instrument122 GroundStation7)
	(calibration_target instrument122 Star0)
	(calibration_target instrument122 Star10)
	(calibration_target instrument122 Star9)
	(calibration_target instrument122 GroundStation4)
	(calibration_target instrument122 GroundStation15)
	(instrument instrument123)
	(supports instrument123 infrared25)
	(supports instrument123 thermograph4)
	(supports instrument123 spectrograph35)
	(calibration_target instrument123 Star5)
	(instrument instrument124)
	(supports instrument124 spectrograph19)
	(calibration_target instrument124 Star8)
	(calibration_target instrument124 GroundStation2)
	(calibration_target instrument124 GroundStation4)
	(calibration_target instrument124 GroundStation11)
	(instrument instrument125)
	(supports instrument125 spectrograph32)
	(calibration_target instrument125 Star9)
	(calibration_target instrument125 GroundStation17)
	(calibration_target instrument125 Star5)
	(instrument instrument126)
	(supports instrument126 thermograph20)
	(calibration_target instrument126 GroundStation14)
	(calibration_target instrument126 GroundStation2)
	(calibration_target instrument126 GroundStation15)
	(calibration_target instrument126 GroundStation3)
	(calibration_target instrument126 GroundStation7)
	(calibration_target instrument126 GroundStation11)
	(instrument instrument127)
	(supports instrument127 spectrograph24)
	(supports instrument127 thermograph8)
	(calibration_target instrument127 GroundStation6)
	(calibration_target instrument127 Star18)
	(calibration_target instrument127 GroundStation11)
	(instrument instrument128)
	(supports instrument128 infrared25)
	(supports instrument128 infrared30)
	(supports instrument128 thermograph26)
	(calibration_target instrument128 Star13)
	(calibration_target instrument128 Star12)
	(calibration_target instrument128 GroundStation7)
	(calibration_target instrument128 Star16)
	(instrument instrument129)
	(supports instrument129 image31)
	(supports instrument129 image21)
	(supports instrument129 thermograph34)
	(calibration_target instrument129 GroundStation4)
	(calibration_target instrument129 GroundStation2)
	(calibration_target instrument129 Star19)
	(calibration_target instrument129 GroundStation11)
	(calibration_target instrument129 GroundStation17)
	(calibration_target instrument129 Star5)
	(instrument instrument130)
	(supports instrument130 spectrograph35)
	(supports instrument130 thermograph34)
	(supports instrument130 image6)
	(calibration_target instrument130 Star16)
	(calibration_target instrument130 GroundStation17)
	(calibration_target instrument130 Star1)
	(calibration_target instrument130 Star8)
	(calibration_target instrument130 Star19)
	(calibration_target instrument130 Star18)
	(instrument instrument131)
	(supports instrument131 infrared9)
	(supports instrument131 spectrograph19)
	(supports instrument131 thermograph2)
	(calibration_target instrument131 GroundStation14)
	(calibration_target instrument131 Star18)
	(calibration_target instrument131 GroundStation17)
	(calibration_target instrument131 GroundStation6)
	(instrument instrument132)
	(supports instrument132 spectrograph35)
	(supports instrument132 thermograph12)
	(calibration_target instrument132 GroundStation2)
	(calibration_target instrument132 Star5)
	(instrument instrument133)
	(supports instrument133 thermograph12)
	(supports instrument133 spectrograph22)
	(calibration_target instrument133 GroundStation11)
	(calibration_target instrument133 Star8)
	(calibration_target instrument133 Star0)
	(calibration_target instrument133 GroundStation14)
	(calibration_target instrument133 GroundStation15)
	(calibration_target instrument133 Star1)
	(instrument instrument134)
	(supports instrument134 infrared23)
	(supports instrument134 thermograph2)
	(supports instrument134 spectrograph22)
	(calibration_target instrument134 GroundStation11)
	(calibration_target instrument134 GroundStation14)
	(calibration_target instrument134 Star0)
	(calibration_target instrument134 Star1)
	(instrument instrument135)
	(supports instrument135 thermograph26)
	(calibration_target instrument135 Star10)
	(calibration_target instrument135 Star1)
	(calibration_target instrument135 Star16)
	(instrument instrument136)
	(supports instrument136 thermograph20)
	(calibration_target instrument136 Star9)
	(instrument instrument137)
	(supports instrument137 infrared11)
	(calibration_target instrument137 GroundStation11)
	(calibration_target instrument137 Star10)
	(calibration_target instrument137 Star16)
	(calibration_target instrument137 GroundStation2)
	(on_board instrument119 satellite5)
	(on_board instrument120 satellite5)
	(on_board instrument121 satellite5)
	(on_board instrument122 satellite5)
	(on_board instrument123 satellite5)
	(on_board instrument124 satellite5)
	(on_board instrument125 satellite5)
	(on_board instrument126 satellite5)
	(on_board instrument127 satellite5)
	(on_board instrument128 satellite5)
	(on_board instrument129 satellite5)
	(on_board instrument130 satellite5)
	(on_board instrument131 satellite5)
	(on_board instrument132 satellite5)
	(on_board instrument133 satellite5)
	(on_board instrument134 satellite5)
	(on_board instrument135 satellite5)
	(on_board instrument136 satellite5)
	(on_board instrument137 satellite5)
	(power_avail satellite5)
	(pointing satellite5 Planet61)
	(satellite satellite6)
	(instrument instrument138)
	(supports instrument138 image31)
	(supports instrument138 thermograph34)
	(calibration_target instrument138 Star12)
	(calibration_target instrument138 GroundStation4)
	(instrument instrument139)
	(supports instrument139 infrared16)
	(supports instrument139 image6)
	(calibration_target instrument139 GroundStation14)
	(calibration_target instrument139 Star12)
	(calibration_target instrument139 Star9)
	(calibration_target instrument139 Star19)
	(instrument instrument140)
	(supports instrument140 spectrograph32)
	(supports instrument140 infrared28)
	(calibration_target instrument140 Star12)
	(calibration_target instrument140 Star8)
	(instrument instrument141)
	(supports instrument141 spectrograph22)
	(calibration_target instrument141 Star19)
	(calibration_target instrument141 GroundStation15)
	(instrument instrument142)
	(supports instrument142 image38)
	(supports instrument142 thermograph26)
	(calibration_target instrument142 GroundStation4)
	(instrument instrument143)
	(supports instrument143 thermograph27)
	(supports instrument143 infrared9)
	(supports instrument143 image6)
	(calibration_target instrument143 Star12)
	(calibration_target instrument143 Star10)
	(calibration_target instrument143 Star1)
	(calibration_target instrument143 Star19)
	(calibration_target instrument143 GroundStation3)
	(calibration_target instrument143 GroundStation4)
	(instrument instrument144)
	(supports instrument144 infrared16)
	(supports instrument144 infrared37)
	(supports instrument144 thermograph15)
	(calibration_target instrument144 Star19)
	(calibration_target instrument144 GroundStation7)
	(calibration_target instrument144 Star8)
	(calibration_target instrument144 Star0)
	(instrument instrument145)
	(supports instrument145 thermograph7)
	(supports instrument145 infrared1)
	(calibration_target instrument145 GroundStation17)
	(instrument instrument146)
	(supports instrument146 spectrograph22)
	(supports instrument146 infrared25)
	(supports instrument146 image38)
	(calibration_target instrument146 Star9)
	(calibration_target instrument146 Star5)
	(calibration_target instrument146 Star0)
	(calibration_target instrument146 GroundStation4)
	(calibration_target instrument146 GroundStation3)
	(instrument instrument147)
	(supports instrument147 image31)
	(supports instrument147 spectrograph24)
	(calibration_target instrument147 GroundStation11)
	(calibration_target instrument147 GroundStation17)
	(calibration_target instrument147 Star8)
	(instrument instrument148)
	(supports instrument148 thermograph2)
	(calibration_target instrument148 GroundStation2)
	(calibration_target instrument148 GroundStation3)
	(calibration_target instrument148 Star10)
	(instrument instrument149)
	(supports instrument149 infrared33)
	(supports instrument149 spectrograph18)
	(supports instrument149 thermograph2)
	(calibration_target instrument149 Star9)
	(calibration_target instrument149 Star19)
	(calibration_target instrument149 Star18)
	(calibration_target instrument149 GroundStation3)
	(calibration_target instrument149 Star10)
	(calibration_target instrument149 Star16)
	(instrument instrument150)
	(supports instrument150 spectrograph35)
	(supports instrument150 infrared1)
	(calibration_target instrument150 GroundStation3)
	(calibration_target instrument150 Star18)
	(calibration_target instrument150 Star1)
	(calibration_target instrument150 Star12)
	(calibration_target instrument150 Star13)
	(instrument instrument151)
	(supports instrument151 infrared30)
	(supports instrument151 thermograph15)
	(supports instrument151 thermograph2)
	(calibration_target instrument151 Star8)
	(instrument instrument152)
	(supports instrument152 thermograph39)
	(calibration_target instrument152 GroundStation2)
	(calibration_target instrument152 Star13)
	(instrument instrument153)
	(supports instrument153 thermograph20)
	(supports instrument153 infrared23)
	(calibration_target instrument153 Star18)
	(instrument instrument154)
	(supports instrument154 infrared37)
	(supports instrument154 thermograph5)
	(supports instrument154 spectrograph3)
	(calibration_target instrument154 GroundStation14)
	(calibration_target instrument154 Star18)
	(calibration_target instrument154 Star10)
	(calibration_target instrument154 GroundStation7)
	(calibration_target instrument154 Star0)
	(calibration_target instrument154 GroundStation6)
	(instrument instrument155)
	(supports instrument155 thermograph5)
	(calibration_target instrument155 Star8)
	(calibration_target instrument155 Star12)
	(instrument instrument156)
	(supports instrument156 image38)
	(supports instrument156 infrared25)
	(supports instrument156 infrared0)
	(calibration_target instrument156 Star19)
	(calibration_target instrument156 GroundStation11)
	(calibration_target instrument156 GroundStation6)
	(calibration_target instrument156 Star12)
	(calibration_target instrument156 Star16)
	(instrument instrument157)
	(supports instrument157 infrared37)
	(supports instrument157 infrared11)
	(calibration_target instrument157 GroundStation2)
	(calibration_target instrument157 Star19)
	(calibration_target instrument157 GroundStation3)
	(instrument instrument158)
	(supports instrument158 thermograph12)
	(calibration_target instrument158 Star10)
	(calibration_target instrument158 Star1)
	(instrument instrument159)
	(supports instrument159 image29)
	(supports instrument159 spectrograph32)
	(supports instrument159 spectrograph18)
	(calibration_target instrument159 Star16)
	(calibration_target instrument159 Star5)
	(calibration_target instrument159 Star13)
	(instrument instrument160)
	(supports instrument160 infrared33)
	(calibration_target instrument160 GroundStation3)
	(calibration_target instrument160 GroundStation14)
	(instrument instrument161)
	(supports instrument161 spectrograph35)
	(supports instrument161 spectrograph24)
	(supports instrument161 infrared37)
	(calibration_target instrument161 GroundStation17)
	(calibration_target instrument161 GroundStation14)
	(calibration_target instrument161 Star13)
	(calibration_target instrument161 Star8)
	(instrument instrument162)
	(supports instrument162 infrared11)
	(supports instrument162 spectrograph32)
	(supports instrument162 thermograph7)
	(calibration_target instrument162 GroundStation11)
	(instrument instrument163)
	(supports instrument163 infrared28)
	(supports instrument163 thermograph27)
	(calibration_target instrument163 Star19)
	(calibration_target instrument163 GroundStation14)
	(calibration_target instrument163 Star16)
	(instrument instrument164)
	(supports instrument164 image10)
	(calibration_target instrument164 GroundStation3)
	(calibration_target instrument164 GroundStation14)
	(calibration_target instrument164 Star12)
	(calibration_target instrument164 GroundStation17)
	(calibration_target instrument164 Star13)
	(instrument instrument165)
	(supports instrument165 thermograph4)
	(supports instrument165 image29)
	(supports instrument165 thermograph5)
	(calibration_target instrument165 Star12)
	(calibration_target instrument165 GroundStation15)
	(calibration_target instrument165 Star9)
	(calibration_target instrument165 GroundStation6)
	(on_board instrument138 satellite6)
	(on_board instrument139 satellite6)
	(on_board instrument140 satellite6)
	(on_board instrument141 satellite6)
	(on_board instrument142 satellite6)
	(on_board instrument143 satellite6)
	(on_board instrument144 satellite6)
	(on_board instrument145 satellite6)
	(on_board instrument146 satellite6)
	(on_board instrument147 satellite6)
	(on_board instrument148 satellite6)
	(on_board instrument149 satellite6)
	(on_board instrument150 satellite6)
	(on_board instrument151 satellite6)
	(on_board instrument152 satellite6)
	(on_board instrument153 satellite6)
	(on_board instrument154 satellite6)
	(on_board instrument155 satellite6)
	(on_board instrument156 satellite6)
	(on_board instrument157 satellite6)
	(on_board instrument158 satellite6)
	(on_board instrument159 satellite6)
	(on_board instrument160 satellite6)
	(on_board instrument161 satellite6)
	(on_board instrument162 satellite6)
	(on_board instrument163 satellite6)
	(on_board instrument164 satellite6)
	(on_board instrument165 satellite6)
	(power_avail satellite6)
	(pointing satellite6 Phenomenon56)
	(satellite satellite7)
	(instrument instrument166)
	(supports instrument166 spectrograph3)
	(supports instrument166 infrared30)
	(calibration_target instrument166 Star10)
	(calibration_target instrument166 GroundStation2)
	(calibration_target instrument166 GroundStation4)
	(calibration_target instrument166 Star16)
	(calibration_target instrument166 GroundStation11)
	(calibration_target instrument166 Star1)
	(instrument instrument167)
	(supports instrument167 thermograph7)
	(calibration_target instrument167 Star13)
	(instrument instrument168)
	(supports instrument168 thermograph14)
	(supports instrument168 spectrograph32)
	(calibration_target instrument168 GroundStation3)
	(calibration_target instrument168 Star9)
	(calibration_target instrument168 Star5)
	(calibration_target instrument168 Star18)
	(calibration_target instrument168 GroundStation6)
	(instrument instrument169)
	(supports instrument169 thermograph20)
	(calibration_target instrument169 Star13)
	(calibration_target instrument169 Star5)
	(calibration_target instrument169 Star18)
	(calibration_target instrument169 GroundStation7)
	(instrument instrument170)
	(supports instrument170 spectrograph22)
	(calibration_target instrument170 GroundStation17)
	(calibration_target instrument170 Star10)
	(calibration_target instrument170 Star16)
	(instrument instrument171)
	(supports instrument171 thermograph8)
	(calibration_target instrument171 GroundStation6)
	(calibration_target instrument171 GroundStation15)
	(calibration_target instrument171 Star8)
	(calibration_target instrument171 Star1)
	(calibration_target instrument171 Star10)
	(instrument instrument172)
	(supports instrument172 spectrograph22)
	(calibration_target instrument172 GroundStation15)
	(calibration_target instrument172 Star19)
	(calibration_target instrument172 Star10)
	(calibration_target instrument172 GroundStation11)
	(calibration_target instrument172 Star9)
	(instrument instrument173)
	(supports instrument173 infrared25)
	(calibration_target instrument173 Star19)
	(instrument instrument174)
	(supports instrument174 infrared25)
	(supports instrument174 thermograph15)
	(calibration_target instrument174 GroundStation2)
	(calibration_target instrument174 Star13)
	(calibration_target instrument174 GroundStation3)
	(calibration_target instrument174 Star12)
	(calibration_target instrument174 GroundStation17)
	(calibration_target instrument174 Star9)
	(instrument instrument175)
	(supports instrument175 infrared30)
	(supports instrument175 image6)
	(calibration_target instrument175 GroundStation4)
	(calibration_target instrument175 Star9)
	(calibration_target instrument175 GroundStation7)
	(calibration_target instrument175 GroundStation17)
	(calibration_target instrument175 GroundStation15)
	(instrument instrument176)
	(supports instrument176 image31)
	(supports instrument176 thermograph15)
	(supports instrument176 image21)
	(calibration_target instrument176 Star18)
	(calibration_target instrument176 Star12)
	(instrument instrument177)
	(supports instrument177 thermograph26)
	(supports instrument177 image6)
	(supports instrument177 thermograph4)
	(calibration_target instrument177 GroundStation3)
	(calibration_target instrument177 GroundStation6)
	(calibration_target instrument177 Star5)
	(calibration_target instrument177 GroundStation14)
	(calibration_target instrument177 Star16)
	(instrument instrument178)
	(supports instrument178 spectrograph32)
	(supports instrument178 image29)
	(supports instrument178 thermograph26)
	(calibration_target instrument178 GroundStation15)
	(calibration_target instrument178 GroundStation6)
	(calibration_target instrument178 GroundStation7)
	(calibration_target instrument178 Star12)
	(calibration_target instrument178 GroundStation14)
	(instrument instrument179)
	(supports instrument179 thermograph34)
	(calibration_target instrument179 Star8)
	(calibration_target instrument179 GroundStation14)
	(calibration_target instrument179 GroundStation11)
	(instrument instrument180)
	(supports instrument180 thermograph39)
	(supports instrument180 thermograph20)
	(supports instrument180 thermograph7)
	(calibration_target instrument180 Star12)
	(calibration_target instrument180 Star5)
	(calibration_target instrument180 Star9)
	(instrument instrument181)
	(supports instrument181 spectrograph22)
	(calibration_target instrument181 GroundStation15)
	(calibration_target instrument181 GroundStation2)
	(instrument instrument182)
	(supports instrument182 spectrograph19)
	(calibration_target instrument182 Star16)
	(calibration_target instrument182 GroundStation4)
	(calibration_target instrument182 GroundStation6)
	(instrument instrument183)
	(supports instrument183 infrared1)
	(calibration_target instrument183 Star18)
	(calibration_target instrument183 GroundStation6)
	(calibration_target instrument183 Star5)
	(instrument instrument184)
	(supports instrument184 infrared16)
	(supports instrument184 spectrograph3)
	(supports instrument184 thermograph36)
	(calibration_target instrument184 Star5)
	(calibration_target instrument184 Star19)
	(calibration_target instrument184 Star18)
	(instrument instrument185)
	(supports instrument185 infrared23)
	(calibration_target instrument185 GroundStation11)
	(calibration_target instrument185 Star12)
	(calibration_target instrument185 Star19)
	(instrument instrument186)
	(supports instrument186 thermograph14)
	(calibration_target instrument186 GroundStation14)
	(calibration_target instrument186 Star19)
	(calibration_target instrument186 Star1)
	(calibration_target instrument186 GroundStation3)
	(calibration_target instrument186 GroundStation15)
	(instrument instrument187)
	(supports instrument187 thermograph7)
	(calibration_target instrument187 Star10)
	(calibration_target instrument187 Star19)
	(on_board instrument166 satellite7)
	(on_board instrument167 satellite7)
	(on_board instrument168 satellite7)
	(on_board instrument169 satellite7)
	(on_board instrument170 satellite7)
	(on_board instrument171 satellite7)
	(on_board instrument172 satellite7)
	(on_board instrument173 satellite7)
	(on_board instrument174 satellite7)
	(on_board instrument175 satellite7)
	(on_board instrument176 satellite7)
	(on_board instrument177 satellite7)
	(on_board instrument178 satellite7)
	(on_board instrument179 satellite7)
	(on_board instrument180 satellite7)
	(on_board instrument181 satellite7)
	(on_board instrument182 satellite7)
	(on_board instrument183 satellite7)
	(on_board instrument184 satellite7)
	(on_board instrument185 satellite7)
	(on_board instrument186 satellite7)
	(on_board instrument187 satellite7)
	(power_avail satellite7)
	(pointing satellite7 Star53)
	(satellite satellite8)
	(instrument instrument188)
	(supports instrument188 thermograph34)
	(supports instrument188 infrared30)
	(supports instrument188 image6)
	(calibration_target instrument188 Star19)
	(calibration_target instrument188 GroundStation2)
	(calibration_target instrument188 Star9)
	(calibration_target instrument188 GroundStation3)
	(calibration_target instrument188 Star16)
	(calibration_target instrument188 Star5)
	(instrument instrument189)
	(supports instrument189 image6)
	(calibration_target instrument189 GroundStation6)
	(calibration_target instrument189 Star9)
	(calibration_target instrument189 GroundStation14)
	(instrument instrument190)
	(supports instrument190 infrared25)
	(calibration_target instrument190 GroundStation17)
	(instrument instrument191)
	(supports instrument191 infrared16)
	(calibration_target instrument191 GroundStation3)
	(calibration_target instrument191 Star19)
	(calibration_target instrument191 Star18)
	(instrument instrument192)
	(supports instrument192 image29)
	(supports instrument192 thermograph15)
	(calibration_target instrument192 Star19)
	(calibration_target instrument192 Star5)
	(calibration_target instrument192 Star13)
	(calibration_target instrument192 Star8)
	(calibration_target instrument192 GroundStation6)
	(calibration_target instrument192 Star0)
	(instrument instrument193)
	(supports instrument193 infrared30)
	(supports instrument193 image29)
	(calibration_target instrument193 Star19)
	(calibration_target instrument193 Star8)
	(calibration_target instrument193 GroundStation17)
	(calibration_target instrument193 Star0)
	(instrument instrument194)
	(supports instrument194 spectrograph32)
	(calibration_target instrument194 Star13)
	(calibration_target instrument194 GroundStation11)
	(calibration_target instrument194 GroundStation15)
	(calibration_target instrument194 GroundStation6)
	(calibration_target instrument194 GroundStation4)
	(instrument instrument195)
	(supports instrument195 infrared1)
	(supports instrument195 infrared23)
	(supports instrument195 spectrograph17)
	(calibration_target instrument195 Star16)
	(calibration_target instrument195 GroundStation3)
	(calibration_target instrument195 Star10)
	(instrument instrument196)
	(supports instrument196 spectrograph19)
	(calibration_target instrument196 Star18)
	(calibration_target instrument196 Star10)
	(calibration_target instrument196 GroundStation17)
	(calibration_target instrument196 GroundStation3)
	(calibration_target instrument196 Star1)
	(calibration_target instrument196 GroundStation7)
	(instrument instrument197)
	(supports instrument197 image10)
	(supports instrument197 thermograph4)
	(calibration_target instrument197 Star9)
	(instrument instrument198)
	(supports instrument198 infrared23)
	(supports instrument198 spectrograph35)
	(supports instrument198 thermograph12)
	(calibration_target instrument198 Star1)
	(instrument instrument199)
	(supports instrument199 thermograph15)
	(calibration_target instrument199 GroundStation6)
	(calibration_target instrument199 Star19)
	(calibration_target instrument199 GroundStation11)
	(calibration_target instrument199 GroundStation17)
	(instrument instrument200)
	(supports instrument200 spectrograph24)
	(supports instrument200 thermograph5)
	(supports instrument200 infrared37)
	(calibration_target instrument200 GroundStation11)
	(instrument instrument201)
	(supports instrument201 infrared28)
	(supports instrument201 thermograph5)
	(calibration_target instrument201 Star13)
	(calibration_target instrument201 Star0)
	(calibration_target instrument201 GroundStation7)
	(calibration_target instrument201 GroundStation4)
	(calibration_target instrument201 GroundStation3)
	(instrument instrument202)
	(supports instrument202 thermograph34)
	(supports instrument202 infrared33)
	(supports instrument202 image21)
	(calibration_target instrument202 Star0)
	(instrument instrument203)
	(supports instrument203 infrared16)
	(supports instrument203 spectrograph24)
	(supports instrument203 infrared33)
	(calibration_target instrument203 Star5)
	(calibration_target instrument203 GroundStation14)
	(calibration_target instrument203 GroundStation3)
	(calibration_target instrument203 Star12)
	(calibration_target instrument203 GroundStation6)
	(instrument instrument204)
	(supports instrument204 image6)
	(supports instrument204 thermograph13)
	(supports instrument204 thermograph39)
	(calibration_target instrument204 Star19)
	(on_board instrument188 satellite8)
	(on_board instrument189 satellite8)
	(on_board instrument190 satellite8)
	(on_board instrument191 satellite8)
	(on_board instrument192 satellite8)
	(on_board instrument193 satellite8)
	(on_board instrument194 satellite8)
	(on_board instrument195 satellite8)
	(on_board instrument196 satellite8)
	(on_board instrument197 satellite8)
	(on_board instrument198 satellite8)
	(on_board instrument199 satellite8)
	(on_board instrument200 satellite8)
	(on_board instrument201 satellite8)
	(on_board instrument202 satellite8)
	(on_board instrument203 satellite8)
	(on_board instrument204 satellite8)
	(power_avail satellite8)
	(pointing satellite8 Planet61)
	(satellite satellite9)
	(instrument instrument205)
	(supports instrument205 spectrograph18)
	(calibration_target instrument205 GroundStation3)
	(calibration_target instrument205 Star19)
	(calibration_target instrument205 GroundStation11)
	(calibration_target instrument205 GroundStation4)
	(instrument instrument206)
	(supports instrument206 thermograph12)
	(calibration_target instrument206 GroundStation11)
	(calibration_target instrument206 Star0)
	(calibration_target instrument206 GroundStation15)
	(instrument instrument207)
	(supports instrument207 infrared11)
	(supports instrument207 image10)
	(supports instrument207 spectrograph17)
	(calibration_target instrument207 GroundStation3)
	(instrument instrument208)
	(supports instrument208 thermograph20)
	(supports instrument208 spectrograph35)
	(supports instrument208 thermograph14)
	(calibration_target instrument208 GroundStation14)
	(calibration_target instrument208 Star0)
	(calibration_target instrument208 Star9)
	(calibration_target instrument208 Star12)
	(instrument instrument209)
	(supports instrument209 spectrograph17)
	(calibration_target instrument209 GroundStation3)
	(calibration_target instrument209 Star1)
	(calibration_target instrument209 Star18)
	(instrument instrument210)
	(supports instrument210 infrared37)
	(supports instrument210 thermograph20)
	(calibration_target instrument210 Star16)
	(calibration_target instrument210 GroundStation4)
	(calibration_target instrument210 Star9)
	(calibration_target instrument210 GroundStation3)
	(instrument instrument211)
	(supports instrument211 spectrograph24)
	(supports instrument211 infrared23)
	(supports instrument211 thermograph34)
	(calibration_target instrument211 Star10)
	(calibration_target instrument211 GroundStation2)
	(calibration_target instrument211 Star9)
	(calibration_target instrument211 Star1)
	(calibration_target instrument211 GroundStation17)
	(calibration_target instrument211 GroundStation7)
	(instrument instrument212)
	(supports instrument212 spectrograph18)
	(supports instrument212 image6)
	(calibration_target instrument212 Star16)
	(calibration_target instrument212 Star19)
	(calibration_target instrument212 Star8)
	(calibration_target instrument212 GroundStation6)
	(calibration_target instrument212 Star10)
	(calibration_target instrument212 GroundStation2)
	(instrument instrument213)
	(supports instrument213 infrared11)
	(supports instrument213 spectrograph17)
	(supports instrument213 infrared23)
	(calibration_target instrument213 Star9)
	(calibration_target instrument213 GroundStation2)
	(calibration_target instrument213 GroundStation6)
	(calibration_target instrument213 Star10)
	(calibration_target instrument213 Star0)
	(instrument instrument214)
	(supports instrument214 thermograph14)
	(supports instrument214 infrared16)
	(calibration_target instrument214 GroundStation3)
	(calibration_target instrument214 GroundStation6)
	(calibration_target instrument214 Star1)
	(calibration_target instrument214 GroundStation7)
	(instrument instrument215)
	(supports instrument215 spectrograph22)
	(supports instrument215 infrared30)
	(supports instrument215 thermograph5)
	(calibration_target instrument215 Star5)
	(calibration_target instrument215 Star18)
	(calibration_target instrument215 GroundStation6)
	(calibration_target instrument215 Star9)
	(calibration_target instrument215 GroundStation3)
	(calibration_target instrument215 Star19)
	(instrument instrument216)
	(supports instrument216 image29)
	(supports instrument216 thermograph14)
	(supports instrument216 spectrograph35)
	(calibration_target instrument216 Star16)
	(calibration_target instrument216 Star13)
	(calibration_target instrument216 Star9)
	(calibration_target instrument216 GroundStation15)
	(calibration_target instrument216 GroundStation2)
	(calibration_target instrument216 Star1)
	(instrument instrument217)
	(supports instrument217 infrared37)
	(supports instrument217 spectrograph3)
	(supports instrument217 infrared0)
	(calibration_target instrument217 GroundStation11)
	(calibration_target instrument217 GroundStation14)
	(calibration_target instrument217 GroundStation17)
	(calibration_target instrument217 Star1)
	(instrument instrument218)
	(supports instrument218 thermograph13)
	(calibration_target instrument218 Star10)
	(calibration_target instrument218 Star8)
	(calibration_target instrument218 Star5)
	(calibration_target instrument218 Star13)
	(instrument instrument219)
	(supports instrument219 spectrograph32)
	(supports instrument219 thermograph27)
	(supports instrument219 thermograph5)
	(calibration_target instrument219 GroundStation14)
	(calibration_target instrument219 Star8)
	(calibration_target instrument219 GroundStation3)
	(calibration_target instrument219 Star18)
	(instrument instrument220)
	(supports instrument220 infrared9)
	(supports instrument220 spectrograph3)
	(calibration_target instrument220 GroundStation4)
	(calibration_target instrument220 Star16)
	(instrument instrument221)
	(supports instrument221 infrared9)
	(supports instrument221 spectrograph17)
	(supports instrument221 thermograph2)
	(calibration_target instrument221 GroundStation15)
	(calibration_target instrument221 Star19)
	(calibration_target instrument221 GroundStation3)
	(instrument instrument222)
	(supports instrument222 thermograph2)
	(calibration_target instrument222 Star16)
	(calibration_target instrument222 Star18)
	(calibration_target instrument222 Star9)
	(instrument instrument223)
	(supports instrument223 spectrograph17)
	(supports instrument223 spectrograph22)
	(calibration_target instrument223 Star16)
	(calibration_target instrument223 Star10)
	(calibration_target instrument223 GroundStation7)
	(calibration_target instrument223 Star12)
	(calibration_target instrument223 Star18)
	(calibration_target instrument223 Star8)
	(instrument instrument224)
	(supports instrument224 image31)
	(supports instrument224 infrared37)
	(calibration_target instrument224 Star10)
	(calibration_target instrument224 Star5)
	(calibration_target instrument224 GroundStation15)
	(instrument instrument225)
	(supports instrument225 thermograph36)
	(supports instrument225 infrared23)
	(calibration_target instrument225 Star19)
	(calibration_target instrument225 Star10)
	(calibration_target instrument225 GroundStation3)
	(calibration_target instrument225 Star1)
	(instrument instrument226)
	(supports instrument226 thermograph5)
	(supports instrument226 infrared30)
	(calibration_target instrument226 Star12)
	(calibration_target instrument226 GroundStation2)
	(calibration_target instrument226 Star0)
	(calibration_target instrument226 Star18)
	(calibration_target instrument226 GroundStation11)
	(calibration_target instrument226 Star8)
	(instrument instrument227)
	(supports instrument227 infrared1)
	(calibration_target instrument227 Star18)
	(calibration_target instrument227 GroundStation4)
	(calibration_target instrument227 GroundStation15)
	(calibration_target instrument227 Star16)
	(calibration_target instrument227 GroundStation11)
	(calibration_target instrument227 Star5)
	(instrument instrument228)
	(supports instrument228 spectrograph18)
	(supports instrument228 infrared23)
	(supports instrument228 infrared37)
	(calibration_target instrument228 GroundStation6)
	(on_board instrument205 satellite9)
	(on_board instrument206 satellite9)
	(on_board instrument207 satellite9)
	(on_board instrument208 satellite9)
	(on_board instrument209 satellite9)
	(on_board instrument210 satellite9)
	(on_board instrument211 satellite9)
	(on_board instrument212 satellite9)
	(on_board instrument213 satellite9)
	(on_board instrument214 satellite9)
	(on_board instrument215 satellite9)
	(on_board instrument216 satellite9)
	(on_board instrument217 satellite9)
	(on_board instrument218 satellite9)
	(on_board instrument219 satellite9)
	(on_board instrument220 satellite9)
	(on_board instrument221 satellite9)
	(on_board instrument222 satellite9)
	(on_board instrument223 satellite9)
	(on_board instrument224 satellite9)
	(on_board instrument225 satellite9)
	(on_board instrument226 satellite9)
	(on_board instrument227 satellite9)
	(on_board instrument228 satellite9)
	(power_avail satellite9)
	(pointing satellite9 Star10)
	(satellite satellite10)
	(instrument instrument229)
	(supports instrument229 image29)
	(supports instrument229 spectrograph17)
	(calibration_target instrument229 Star8)
	(calibration_target instrument229 Star12)
	(calibration_target instrument229 GroundStation4)
	(calibration_target instrument229 GroundStation15)
	(instrument instrument230)
	(supports instrument230 infrared0)
	(supports instrument230 thermograph39)
	(calibration_target instrument230 GroundStation15)
	(calibration_target instrument230 Star9)
	(instrument instrument231)
	(supports instrument231 infrared1)
	(calibration_target instrument231 GroundStation15)
	(calibration_target instrument231 Star10)
	(calibration_target instrument231 Star9)
	(calibration_target instrument231 GroundStation3)
	(calibration_target instrument231 Star0)
	(instrument instrument232)
	(supports instrument232 image21)
	(supports instrument232 spectrograph35)
	(calibration_target instrument232 Star13)
	(calibration_target instrument232 Star5)
	(instrument instrument233)
	(supports instrument233 spectrograph19)
	(supports instrument233 image10)
	(calibration_target instrument233 Star18)
	(instrument instrument234)
	(supports instrument234 thermograph36)
	(supports instrument234 infrared11)
	(supports instrument234 infrared37)
	(calibration_target instrument234 Star1)
	(calibration_target instrument234 GroundStation4)
	(calibration_target instrument234 Star9)
	(calibration_target instrument234 Star12)
	(calibration_target instrument234 Star16)
	(instrument instrument235)
	(supports instrument235 spectrograph32)
	(calibration_target instrument235 Star8)
	(calibration_target instrument235 GroundStation4)
	(calibration_target instrument235 Star13)
	(instrument instrument236)
	(supports instrument236 image21)
	(calibration_target instrument236 GroundStation3)
	(instrument instrument237)
	(supports instrument237 image38)
	(supports instrument237 spectrograph32)
	(calibration_target instrument237 Star0)
	(instrument instrument238)
	(supports instrument238 thermograph5)
	(supports instrument238 thermograph4)
	(supports instrument238 image31)
	(calibration_target instrument238 Star18)
	(instrument instrument239)
	(supports instrument239 thermograph26)
	(calibration_target instrument239 Star8)
	(calibration_target instrument239 Star19)
	(calibration_target instrument239 Star5)
	(calibration_target instrument239 GroundStation11)
	(calibration_target instrument239 Star12)
	(calibration_target instrument239 Star10)
	(instrument instrument240)
	(supports instrument240 spectrograph18)
	(supports instrument240 infrared30)
	(supports instrument240 thermograph14)
	(calibration_target instrument240 Star13)
	(calibration_target instrument240 Star1)
	(calibration_target instrument240 Star8)
	(calibration_target instrument240 GroundStation7)
	(instrument instrument241)
	(supports instrument241 spectrograph32)
	(supports instrument241 spectrograph3)
	(supports instrument241 infrared37)
	(calibration_target instrument241 GroundStation4)
	(calibration_target instrument241 Star18)
	(calibration_target instrument241 Star13)
	(calibration_target instrument241 GroundStation7)
	(calibration_target instrument241 Star5)
	(instrument instrument242)
	(supports instrument242 spectrograph35)
	(supports instrument242 infrared9)
	(calibration_target instrument242 GroundStation2)
	(calibration_target instrument242 Star13)
	(calibration_target instrument242 Star19)
	(instrument instrument243)
	(supports instrument243 image29)
	(supports instrument243 thermograph2)
	(calibration_target instrument243 GroundStation7)
	(calibration_target instrument243 GroundStation15)
	(instrument instrument244)
	(supports instrument244 thermograph36)
	(supports instrument244 infrared16)
	(calibration_target instrument244 GroundStation6)
	(calibration_target instrument244 Star0)
	(calibration_target instrument244 Star19)
	(calibration_target instrument244 GroundStation15)
	(calibration_target instrument244 GroundStation4)
	(calibration_target instrument244 GroundStation7)
	(instrument instrument245)
	(supports instrument245 infrared16)
	(supports instrument245 infrared25)
	(calibration_target instrument245 GroundStation2)
	(instrument instrument246)
	(supports instrument246 infrared23)
	(calibration_target instrument246 Star18)
	(calibration_target instrument246 Star5)
	(calibration_target instrument246 Star1)
	(calibration_target instrument246 GroundStation15)
	(calibration_target instrument246 Star12)
	(instrument instrument247)
	(supports instrument247 thermograph4)
	(calibration_target instrument247 GroundStation17)
	(calibration_target instrument247 Star8)
	(calibration_target instrument247 Star5)
	(calibration_target instrument247 Star0)
	(calibration_target instrument247 Star19)
	(calibration_target instrument247 GroundStation2)
	(instrument instrument248)
	(supports instrument248 thermograph15)
	(calibration_target instrument248 GroundStation7)
	(calibration_target instrument248 GroundStation4)
	(calibration_target instrument248 GroundStation3)
	(on_board instrument229 satellite10)
	(on_board instrument230 satellite10)
	(on_board instrument231 satellite10)
	(on_board instrument232 satellite10)
	(on_board instrument233 satellite10)
	(on_board instrument234 satellite10)
	(on_board instrument235 satellite10)
	(on_board instrument236 satellite10)
	(on_board instrument237 satellite10)
	(on_board instrument238 satellite10)
	(on_board instrument239 satellite10)
	(on_board instrument240 satellite10)
	(on_board instrument241 satellite10)
	(on_board instrument242 satellite10)
	(on_board instrument243 satellite10)
	(on_board instrument244 satellite10)
	(on_board instrument245 satellite10)
	(on_board instrument246 satellite10)
	(on_board instrument247 satellite10)
	(on_board instrument248 satellite10)
	(power_avail satellite10)
	(pointing satellite10 Star36)
	(satellite satellite11)
	(instrument instrument249)
	(supports instrument249 infrared30)
	(supports instrument249 thermograph34)
	(calibration_target instrument249 GroundStation7)
	(calibration_target instrument249 Star16)
	(calibration_target instrument249 GroundStation11)
	(calibration_target instrument249 GroundStation2)
	(instrument instrument250)
	(supports instrument250 infrared0)
	(supports instrument250 infrared9)
	(supports instrument250 image6)
	(calibration_target instrument250 Star9)
	(calibration_target instrument250 Star8)
	(calibration_target instrument250 GroundStation4)
	(instrument instrument251)
	(supports instrument251 spectrograph17)
	(supports instrument251 infrared33)
	(supports instrument251 image29)
	(calibration_target instrument251 Star0)
	(calibration_target instrument251 Star16)
	(instrument instrument252)
	(supports instrument252 thermograph36)
	(supports instrument252 spectrograph35)
	(calibration_target instrument252 GroundStation7)
	(calibration_target instrument252 Star8)
	(calibration_target instrument252 Star16)
	(instrument instrument253)
	(supports instrument253 thermograph4)
	(calibration_target instrument253 GroundStation7)
	(calibration_target instrument253 Star16)
	(instrument instrument254)
	(supports instrument254 image21)
	(supports instrument254 infrared1)
	(calibration_target instrument254 Star10)
	(instrument instrument255)
	(supports instrument255 thermograph13)
	(calibration_target instrument255 GroundStation2)
	(calibration_target instrument255 GroundStation4)
	(calibration_target instrument255 Star9)
	(calibration_target instrument255 GroundStation14)
	(calibration_target instrument255 Star0)
	(calibration_target instrument255 Star13)
	(instrument instrument256)
	(supports instrument256 spectrograph35)
	(supports instrument256 spectrograph22)
	(supports instrument256 image10)
	(calibration_target instrument256 GroundStation17)
	(calibration_target instrument256 Star1)
	(calibration_target instrument256 Star8)
	(calibration_target instrument256 GroundStation2)
	(instrument instrument257)
	(supports instrument257 infrared37)
	(calibration_target instrument257 GroundStation3)
	(calibration_target instrument257 Star0)
	(calibration_target instrument257 Star9)
	(calibration_target instrument257 Star1)
	(calibration_target instrument257 Star18)
	(on_board instrument249 satellite11)
	(on_board instrument250 satellite11)
	(on_board instrument251 satellite11)
	(on_board instrument252 satellite11)
	(on_board instrument253 satellite11)
	(on_board instrument254 satellite11)
	(on_board instrument255 satellite11)
	(on_board instrument256 satellite11)
	(on_board instrument257 satellite11)
	(power_avail satellite11)
	(pointing satellite11 Planet49)
	(satellite satellite12)
	(instrument instrument258)
	(supports instrument258 thermograph5)
	(calibration_target instrument258 Star8)
	(calibration_target instrument258 Star13)
	(calibration_target instrument258 Star5)
	(calibration_target instrument258 GroundStation17)
	(calibration_target instrument258 Star1)
	(instrument instrument259)
	(supports instrument259 image6)
	(calibration_target instrument259 GroundStation3)
	(instrument instrument260)
	(supports instrument260 infrared28)
	(calibration_target instrument260 Star19)
	(calibration_target instrument260 GroundStation4)
	(calibration_target instrument260 GroundStation15)
	(instrument instrument261)
	(supports instrument261 spectrograph32)
	(supports instrument261 image31)
	(supports instrument261 thermograph12)
	(calibration_target instrument261 Star1)
	(calibration_target instrument261 GroundStation15)
	(calibration_target instrument261 GroundStation2)
	(calibration_target instrument261 Star12)
	(calibration_target instrument261 Star16)
	(instrument instrument262)
	(supports instrument262 infrared9)
	(supports instrument262 spectrograph19)
	(calibration_target instrument262 Star13)
	(calibration_target instrument262 GroundStation2)
	(instrument instrument263)
	(supports instrument263 thermograph14)
	(supports instrument263 infrared9)
	(supports instrument263 thermograph15)
	(calibration_target instrument263 GroundStation17)
	(calibration_target instrument263 Star19)
	(calibration_target instrument263 Star8)
	(instrument instrument264)
	(supports instrument264 thermograph5)
	(calibration_target instrument264 Star10)
	(calibration_target instrument264 GroundStation7)
	(calibration_target instrument264 GroundStation4)
	(instrument instrument265)
	(supports instrument265 thermograph2)
	(supports instrument265 image29)
	(supports instrument265 infrared16)
	(calibration_target instrument265 GroundStation2)
	(calibration_target instrument265 Star1)
	(calibration_target instrument265 Star0)
	(calibration_target instrument265 Star12)
	(calibration_target instrument265 GroundStation3)
	(instrument instrument266)
	(supports instrument266 thermograph4)
	(supports instrument266 infrared1)
	(supports instrument266 image21)
	(calibration_target instrument266 GroundStation17)
	(calibration_target instrument266 Star16)
	(calibration_target instrument266 GroundStation6)
	(calibration_target instrument266 GroundStation15)
	(calibration_target instrument266 GroundStation3)
	(instrument instrument267)
	(supports instrument267 thermograph39)
	(supports instrument267 infrared1)
	(calibration_target instrument267 GroundStation7)
	(calibration_target instrument267 GroundStation3)
	(calibration_target instrument267 Star12)
	(calibration_target instrument267 GroundStation14)
	(calibration_target instrument267 Star18)
	(calibration_target instrument267 Star9)
	(on_board instrument258 satellite12)
	(on_board instrument259 satellite12)
	(on_board instrument260 satellite12)
	(on_board instrument261 satellite12)
	(on_board instrument262 satellite12)
	(on_board instrument263 satellite12)
	(on_board instrument264 satellite12)
	(on_board instrument265 satellite12)
	(on_board instrument266 satellite12)
	(on_board instrument267 satellite12)
	(power_avail satellite12)
	(pointing satellite12 Planet84)
	(satellite satellite13)
	(instrument instrument268)
	(supports instrument268 thermograph15)
	(supports instrument268 infrared37)
	(calibration_target instrument268 Star19)
	(calibration_target instrument268 Star18)
	(calibration_target instrument268 Star8)
	(calibration_target instrument268 GroundStation3)
	(calibration_target instrument268 Star10)
	(instrument instrument269)
	(supports instrument269 image21)
	(supports instrument269 spectrograph19)
	(supports instrument269 infrared37)
	(calibration_target instrument269 Star18)
	(calibration_target instrument269 GroundStation6)
	(calibration_target instrument269 GroundStation15)
	(instrument instrument270)
	(supports instrument270 infrared9)
	(supports instrument270 spectrograph19)
	(supports instrument270 image10)
	(calibration_target instrument270 Star19)
	(instrument instrument271)
	(supports instrument271 infrared33)
	(supports instrument271 thermograph2)
	(supports instrument271 thermograph20)
	(calibration_target instrument271 Star18)
	(calibration_target instrument271 Star19)
	(instrument instrument272)
	(supports instrument272 thermograph39)
	(supports instrument272 thermograph8)
	(supports instrument272 spectrograph22)
	(calibration_target instrument272 GroundStation6)
	(calibration_target instrument272 Star13)
	(calibration_target instrument272 Star12)
	(calibration_target instrument272 Star0)
	(instrument instrument273)
	(supports instrument273 thermograph27)
	(supports instrument273 infrared30)
	(supports instrument273 infrared16)
	(calibration_target instrument273 Star18)
	(instrument instrument274)
	(supports instrument274 thermograph2)
	(supports instrument274 thermograph5)
	(supports instrument274 infrared23)
	(calibration_target instrument274 Star8)
	(calibration_target instrument274 Star9)
	(calibration_target instrument274 GroundStation7)
	(calibration_target instrument274 GroundStation15)
	(instrument instrument275)
	(supports instrument275 infrared16)
	(supports instrument275 spectrograph17)
	(supports instrument275 image21)
	(calibration_target instrument275 GroundStation7)
	(instrument instrument276)
	(supports instrument276 spectrograph17)
	(calibration_target instrument276 GroundStation14)
	(calibration_target instrument276 Star9)
	(calibration_target instrument276 Star0)
	(calibration_target instrument276 Star12)
	(instrument instrument277)
	(supports instrument277 thermograph34)
	(supports instrument277 thermograph20)
	(calibration_target instrument277 GroundStation7)
	(calibration_target instrument277 Star16)
	(calibration_target instrument277 Star5)
	(calibration_target instrument277 GroundStation17)
	(calibration_target instrument277 Star9)
	(instrument instrument278)
	(supports instrument278 thermograph2)
	(calibration_target instrument278 Star10)
	(calibration_target instrument278 Star9)
	(calibration_target instrument278 GroundStation3)
	(instrument instrument279)
	(supports instrument279 thermograph15)
	(supports instrument279 image6)
	(calibration_target instrument279 Star10)
	(calibration_target instrument279 GroundStation3)
	(instrument instrument280)
	(supports instrument280 spectrograph17)
	(supports instrument280 infrared23)
	(calibration_target instrument280 GroundStation14)
	(instrument instrument281)
	(supports instrument281 thermograph2)
	(calibration_target instrument281 GroundStation4)
	(calibration_target instrument281 GroundStation3)
	(calibration_target instrument281 GroundStation6)
	(calibration_target instrument281 GroundStation17)
	(calibration_target instrument281 Star0)
	(calibration_target instrument281 Star8)
	(instrument instrument282)
	(supports instrument282 thermograph2)
	(supports instrument282 spectrograph22)
	(supports instrument282 image29)
	(calibration_target instrument282 GroundStation3)
	(calibration_target instrument282 Star5)
	(instrument instrument283)
	(supports instrument283 thermograph39)
	(supports instrument283 thermograph4)
	(calibration_target instrument283 Star8)
	(calibration_target instrument283 Star1)
	(instrument instrument284)
	(supports instrument284 infrared1)
	(supports instrument284 spectrograph17)
	(supports instrument284 infrared23)
	(calibration_target instrument284 Star10)
	(calibration_target instrument284 Star9)
	(calibration_target instrument284 Star18)
	(calibration_target instrument284 GroundStation11)
	(calibration_target instrument284 GroundStation14)
	(instrument instrument285)
	(supports instrument285 infrared30)
	(supports instrument285 image21)
	(supports instrument285 spectrograph24)
	(calibration_target instrument285 Star13)
	(calibration_target instrument285 GroundStation7)
	(calibration_target instrument285 Star19)
	(instrument instrument286)
	(supports instrument286 thermograph5)
	(supports instrument286 infrared16)
	(supports instrument286 thermograph14)
	(calibration_target instrument286 Star8)
	(calibration_target instrument286 Star10)
	(calibration_target instrument286 Star0)
	(instrument instrument287)
	(supports instrument287 spectrograph17)
	(supports instrument287 infrared23)
	(supports instrument287 spectrograph32)
	(calibration_target instrument287 GroundStation15)
	(calibration_target instrument287 Star12)
	(calibration_target instrument287 Star19)
	(calibration_target instrument287 GroundStation4)
	(calibration_target instrument287 Star13)
	(instrument instrument288)
	(supports instrument288 thermograph14)
	(calibration_target instrument288 GroundStation2)
	(calibration_target instrument288 GroundStation11)
	(calibration_target instrument288 Star8)
	(calibration_target instrument288 Star0)
	(calibration_target instrument288 GroundStation15)
	(instrument instrument289)
	(supports instrument289 thermograph8)
	(supports instrument289 thermograph26)
	(supports instrument289 thermograph5)
	(calibration_target instrument289 GroundStation11)
	(calibration_target instrument289 GroundStation3)
	(instrument instrument290)
	(supports instrument290 infrared30)
	(supports instrument290 infrared28)
	(calibration_target instrument290 GroundStation17)
	(calibration_target instrument290 Star1)
	(instrument instrument291)
	(supports instrument291 infrared25)
	(calibration_target instrument291 Star1)
	(calibration_target instrument291 GroundStation14)
	(calibration_target instrument291 Star5)
	(calibration_target instrument291 GroundStation15)
	(calibration_target instrument291 GroundStation3)
	(instrument instrument292)
	(supports instrument292 thermograph2)
	(calibration_target instrument292 Star10)
	(instrument instrument293)
	(supports instrument293 thermograph13)
	(supports instrument293 spectrograph32)
	(calibration_target instrument293 Star9)
	(calibration_target instrument293 GroundStation6)
	(calibration_target instrument293 Star19)
	(instrument instrument294)
	(supports instrument294 image10)
	(supports instrument294 image31)
	(calibration_target instrument294 GroundStation2)
	(calibration_target instrument294 Star9)
	(calibration_target instrument294 Star10)
	(calibration_target instrument294 GroundStation3)
	(calibration_target instrument294 Star18)
	(calibration_target instrument294 Star8)
	(instrument instrument295)
	(supports instrument295 image6)
	(supports instrument295 thermograph2)
	(calibration_target instrument295 Star10)
	(calibration_target instrument295 Star0)
	(calibration_target instrument295 Star9)
	(calibration_target instrument295 Star1)
	(calibration_target instrument295 Star8)
	(instrument instrument296)
	(supports instrument296 thermograph36)
	(supports instrument296 infrared33)
	(calibration_target instrument296 Star16)
	(calibration_target instrument296 GroundStation2)
	(calibration_target instrument296 GroundStation3)
	(calibration_target instrument296 Star9)
	(calibration_target instrument296 GroundStation17)
	(instrument instrument297)
	(supports instrument297 thermograph13)
	(calibration_target instrument297 Star18)
	(calibration_target instrument297 GroundStation11)
	(instrument instrument298)
	(supports instrument298 infrared1)
	(calibration_target instrument298 GroundStation3)
	(calibration_target instrument298 Star5)
	(instrument instrument299)
	(supports instrument299 image31)
	(supports instrument299 spectrograph24)
	(calibration_target instrument299 GroundStation3)
	(calibration_target instrument299 Star16)
	(calibration_target instrument299 Star0)
	(calibration_target instrument299 GroundStation7)
	(calibration_target instrument299 Star1)
	(calibration_target instrument299 GroundStation14)
	(instrument instrument300)
	(supports instrument300 thermograph5)
	(supports instrument300 infrared1)
	(supports instrument300 infrared11)
	(calibration_target instrument300 GroundStation15)
	(instrument instrument301)
	(supports instrument301 thermograph15)
	(supports instrument301 spectrograph32)
	(calibration_target instrument301 Star12)
	(calibration_target instrument301 Star13)
	(calibration_target instrument301 Star16)
	(calibration_target instrument301 Star5)
	(instrument instrument302)
	(supports instrument302 thermograph5)
	(supports instrument302 thermograph13)
	(calibration_target instrument302 GroundStation11)
	(calibration_target instrument302 GroundStation6)
	(calibration_target instrument302 Star1)
	(calibration_target instrument302 GroundStation17)
	(on_board instrument268 satellite13)
	(on_board instrument269 satellite13)
	(on_board instrument270 satellite13)
	(on_board instrument271 satellite13)
	(on_board instrument272 satellite13)
	(on_board instrument273 satellite13)
	(on_board instrument274 satellite13)
	(on_board instrument275 satellite13)
	(on_board instrument276 satellite13)
	(on_board instrument277 satellite13)
	(on_board instrument278 satellite13)
	(on_board instrument279 satellite13)
	(on_board instrument280 satellite13)
	(on_board instrument281 satellite13)
	(on_board instrument282 satellite13)
	(on_board instrument283 satellite13)
	(on_board instrument284 satellite13)
	(on_board instrument285 satellite13)
	(on_board instrument286 satellite13)
	(on_board instrument287 satellite13)
	(on_board instrument288 satellite13)
	(on_board instrument289 satellite13)
	(on_board instrument290 satellite13)
	(on_board instrument291 satellite13)
	(on_board instrument292 satellite13)
	(on_board instrument293 satellite13)
	(on_board instrument294 satellite13)
	(on_board instrument295 satellite13)
	(on_board instrument296 satellite13)
	(on_board instrument297 satellite13)
	(on_board instrument298 satellite13)
	(on_board instrument299 satellite13)
	(on_board instrument300 satellite13)
	(on_board instrument301 satellite13)
	(on_board instrument302 satellite13)
	(power_avail satellite13)
	(pointing satellite13 Star18)
	(satellite satellite14)
	(instrument instrument303)
	(supports instrument303 spectrograph24)
	(calibration_target instrument303 GroundStation15)
	(calibration_target instrument303 GroundStation6)
	(calibration_target instrument303 Star0)
	(calibration_target instrument303 GroundStation14)
	(instrument instrument304)
	(supports instrument304 thermograph36)
	(calibration_target instrument304 GroundStation4)
	(calibration_target instrument304 Star5)
	(calibration_target instrument304 Star8)
	(calibration_target instrument304 Star9)
	(instrument instrument305)
	(supports instrument305 image6)
	(calibration_target instrument305 GroundStation14)
	(calibration_target instrument305 Star19)
	(instrument instrument306)
	(supports instrument306 infrared25)
	(supports instrument306 spectrograph19)
	(calibration_target instrument306 GroundStation7)
	(calibration_target instrument306 Star5)
	(instrument instrument307)
	(supports instrument307 thermograph13)
	(calibration_target instrument307 Star1)
	(calibration_target instrument307 GroundStation6)
	(calibration_target instrument307 Star19)
	(calibration_target instrument307 GroundStation3)
	(instrument instrument308)
	(supports instrument308 thermograph2)
	(calibration_target instrument308 Star0)
	(calibration_target instrument308 GroundStation15)
	(calibration_target instrument308 GroundStation3)
	(calibration_target instrument308 Star18)
	(instrument instrument309)
	(supports instrument309 image10)
	(supports instrument309 thermograph27)
	(supports instrument309 spectrograph19)
	(calibration_target instrument309 Star9)
	(calibration_target instrument309 GroundStation6)
	(calibration_target instrument309 Star13)
	(calibration_target instrument309 GroundStation2)
	(calibration_target instrument309 Star10)
	(calibration_target instrument309 Star16)
	(instrument instrument310)
	(supports instrument310 thermograph4)
	(calibration_target instrument310 Star5)
	(instrument instrument311)
	(supports instrument311 spectrograph24)
	(supports instrument311 infrared16)
	(supports instrument311 infrared33)
	(calibration_target instrument311 GroundStation11)
	(calibration_target instrument311 GroundStation17)
	(calibration_target instrument311 Star8)
	(calibration_target instrument311 GroundStation2)
	(calibration_target instrument311 Star10)
	(calibration_target instrument311 Star16)
	(instrument instrument312)
	(supports instrument312 infrared23)
	(supports instrument312 thermograph27)
	(calibration_target instrument312 GroundStation2)
	(instrument instrument313)
	(supports instrument313 infrared30)
	(supports instrument313 thermograph20)
	(calibration_target instrument313 Star8)
	(calibration_target instrument313 Star18)
	(calibration_target instrument313 GroundStation7)
	(calibration_target instrument313 GroundStation17)
	(calibration_target instrument313 GroundStation4)
	(calibration_target instrument313 GroundStation2)
	(instrument instrument314)
	(supports instrument314 image31)
	(calibration_target instrument314 Star12)
	(calibration_target instrument314 Star1)
	(calibration_target instrument314 GroundStation6)
	(calibration_target instrument314 Star9)
	(calibration_target instrument314 Star16)
	(instrument instrument315)
	(supports instrument315 infrared11)
	(supports instrument315 spectrograph17)
	(supports instrument315 infrared9)
	(calibration_target instrument315 Star13)
	(calibration_target instrument315 Star19)
	(calibration_target instrument315 GroundStation3)
	(calibration_target instrument315 GroundStation17)
	(calibration_target instrument315 Star1)
	(instrument instrument316)
	(supports instrument316 thermograph13)
	(supports instrument316 thermograph14)
	(calibration_target instrument316 GroundStation15)
	(calibration_target instrument316 GroundStation14)
	(calibration_target instrument316 GroundStation6)
	(calibration_target instrument316 GroundStation11)
	(instrument instrument317)
	(supports instrument317 thermograph2)
	(supports instrument317 infrared25)
	(supports instrument317 image10)
	(calibration_target instrument317 Star5)
	(calibration_target instrument317 GroundStation15)
	(instrument instrument318)
	(supports instrument318 thermograph4)
	(calibration_target instrument318 Star13)
	(calibration_target instrument318 Star12)
	(calibration_target instrument318 Star5)
	(calibration_target instrument318 GroundStation4)
	(calibration_target instrument318 GroundStation17)
	(instrument instrument319)
	(supports instrument319 spectrograph19)
	(supports instrument319 image10)
	(supports instrument319 thermograph8)
	(calibration_target instrument319 Star8)
	(calibration_target instrument319 Star1)
	(calibration_target instrument319 Star19)
	(calibration_target instrument319 GroundStation4)
	(calibration_target instrument319 GroundStation2)
	(instrument instrument320)
	(supports instrument320 thermograph4)
	(supports instrument320 image29)
	(supports instrument320 image38)
	(calibration_target instrument320 Star10)
	(calibration_target instrument320 GroundStation2)
	(calibration_target instrument320 Star8)
	(instrument instrument321)
	(supports instrument321 infrared16)
	(supports instrument321 infrared11)
	(supports instrument321 infrared1)
	(calibration_target instrument321 GroundStation15)
	(calibration_target instrument321 GroundStation2)
	(calibration_target instrument321 GroundStation3)
	(instrument instrument322)
	(supports instrument322 infrared37)
	(calibration_target instrument322 GroundStation17)
	(calibration_target instrument322 Star9)
	(calibration_target instrument322 Star10)
	(instrument instrument323)
	(supports instrument323 thermograph20)
	(supports instrument323 thermograph27)
	(supports instrument323 infrared37)
	(calibration_target instrument323 Star19)
	(instrument instrument324)
	(supports instrument324 thermograph14)
	(supports instrument324 thermograph8)
	(supports instrument324 infrared9)
	(calibration_target instrument324 GroundStation11)
	(calibration_target instrument324 Star5)
	(calibration_target instrument324 Star9)
	(calibration_target instrument324 Star8)
	(instrument instrument325)
	(supports instrument325 infrared30)
	(supports instrument325 thermograph27)
	(calibration_target instrument325 Star5)
	(calibration_target instrument325 GroundStation14)
	(calibration_target instrument325 Star9)
	(calibration_target instrument325 Star10)
	(instrument instrument326)
	(supports instrument326 infrared23)
	(calibration_target instrument326 Star18)
	(calibration_target instrument326 Star0)
	(calibration_target instrument326 Star12)
	(instrument instrument327)
	(supports instrument327 spectrograph22)
	(supports instrument327 spectrograph35)
	(supports instrument327 thermograph7)
	(calibration_target instrument327 Star9)
	(instrument instrument328)
	(supports instrument328 image29)
	(supports instrument328 spectrograph17)
	(supports instrument328 image6)
	(calibration_target instrument328 GroundStation3)
	(instrument instrument329)
	(supports instrument329 infrared16)
	(calibration_target instrument329 Star12)
	(calibration_target instrument329 GroundStation6)
	(calibration_target instrument329 GroundStation17)
	(calibration_target instrument329 Star5)
	(calibration_target instrument329 GroundStation11)
	(calibration_target instrument329 Star19)
	(instrument instrument330)
	(supports instrument330 image21)
	(supports instrument330 thermograph13)
	(supports instrument330 thermograph39)
	(calibration_target instrument330 Star8)
	(calibration_target instrument330 Star1)
	(instrument instrument331)
	(supports instrument331 infrared9)
	(calibration_target instrument331 Star18)
	(calibration_target instrument331 GroundStation17)
	(calibration_target instrument331 Star8)
	(calibration_target instrument331 GroundStation14)
	(instrument instrument332)
	(supports instrument332 spectrograph22)
	(supports instrument332 infrared33)
	(supports instrument332 infrared25)
	(calibration_target instrument332 Star19)
	(calibration_target instrument332 Star0)
	(instrument instrument333)
	(supports instrument333 thermograph27)
	(supports instrument333 spectrograph17)
	(calibration_target instrument333 GroundStation7)
	(calibration_target instrument333 Star0)
	(calibration_target instrument333 Star13)
	(calibration_target instrument333 GroundStation11)
	(calibration_target instrument333 GroundStation2)
	(instrument instrument334)
	(supports instrument334 thermograph4)
	(supports instrument334 thermograph36)
	(supports instrument334 thermograph26)
	(calibration_target instrument334 Star0)
	(calibration_target instrument334 Star1)
	(on_board instrument303 satellite14)
	(on_board instrument304 satellite14)
	(on_board instrument305 satellite14)
	(on_board instrument306 satellite14)
	(on_board instrument307 satellite14)
	(on_board instrument308 satellite14)
	(on_board instrument309 satellite14)
	(on_board instrument310 satellite14)
	(on_board instrument311 satellite14)
	(on_board instrument312 satellite14)
	(on_board instrument313 satellite14)
	(on_board instrument314 satellite14)
	(on_board instrument315 satellite14)
	(on_board instrument316 satellite14)
	(on_board instrument317 satellite14)
	(on_board instrument318 satellite14)
	(on_board instrument319 satellite14)
	(on_board instrument320 satellite14)
	(on_board instrument321 satellite14)
	(on_board instrument322 satellite14)
	(on_board instrument323 satellite14)
	(on_board instrument324 satellite14)
	(on_board instrument325 satellite14)
	(on_board instrument326 satellite14)
	(on_board instrument327 satellite14)
	(on_board instrument328 satellite14)
	(on_board instrument329 satellite14)
	(on_board instrument330 satellite14)
	(on_board instrument331 satellite14)
	(on_board instrument332 satellite14)
	(on_board instrument333 satellite14)
	(on_board instrument334 satellite14)
	(power_avail satellite14)
	(pointing satellite14 Phenomenon56)
	(satellite satellite15)
	(instrument instrument335)
	(supports instrument335 thermograph34)
	(supports instrument335 spectrograph32)
	(calibration_target instrument335 Star1)
	(instrument instrument336)
	(supports instrument336 spectrograph3)
	(calibration_target instrument336 Star9)
	(calibration_target instrument336 GroundStation15)
	(calibration_target instrument336 GroundStation3)
	(calibration_target instrument336 Star8)
	(instrument instrument337)
	(supports instrument337 infrared11)
	(supports instrument337 infrared23)
	(supports instrument337 thermograph39)
	(calibration_target instrument337 GroundStation6)
	(calibration_target instrument337 GroundStation14)
	(calibration_target instrument337 Star10)
	(calibration_target instrument337 GroundStation17)
	(calibration_target instrument337 Star19)
	(instrument instrument338)
	(supports instrument338 thermograph20)
	(supports instrument338 thermograph14)
	(supports instrument338 thermograph4)
	(calibration_target instrument338 Star0)
	(calibration_target instrument338 Star10)
	(calibration_target instrument338 GroundStation4)
	(calibration_target instrument338 GroundStation15)
	(instrument instrument339)
	(supports instrument339 infrared37)
	(supports instrument339 infrared28)
	(supports instrument339 spectrograph35)
	(calibration_target instrument339 Star9)
	(calibration_target instrument339 Star16)
	(calibration_target instrument339 Star8)
	(calibration_target instrument339 GroundStation4)
	(instrument instrument340)
	(supports instrument340 infrared37)
	(calibration_target instrument340 GroundStation14)
	(calibration_target instrument340 GroundStation11)
	(calibration_target instrument340 GroundStation7)
	(instrument instrument341)
	(supports instrument341 thermograph5)
	(supports instrument341 spectrograph18)
	(calibration_target instrument341 Star16)
	(calibration_target instrument341 Star5)
	(calibration_target instrument341 Star8)
	(instrument instrument342)
	(supports instrument342 spectrograph18)
	(calibration_target instrument342 Star5)
	(calibration_target instrument342 Star10)
	(calibration_target instrument342 GroundStation14)
	(calibration_target instrument342 GroundStation17)
	(calibration_target instrument342 GroundStation3)
	(calibration_target instrument342 GroundStation2)
	(instrument instrument343)
	(supports instrument343 spectrograph3)
	(supports instrument343 infrared9)
	(supports instrument343 thermograph14)
	(calibration_target instrument343 Star8)
	(calibration_target instrument343 GroundStation6)
	(calibration_target instrument343 Star9)
	(instrument instrument344)
	(supports instrument344 spectrograph22)
	(supports instrument344 spectrograph19)
	(calibration_target instrument344 GroundStation6)
	(calibration_target instrument344 GroundStation11)
	(calibration_target instrument344 GroundStation7)
	(calibration_target instrument344 Star10)
	(instrument instrument345)
	(supports instrument345 infrared37)
	(supports instrument345 spectrograph18)
	(calibration_target instrument345 GroundStation17)
	(calibration_target instrument345 Star19)
	(calibration_target instrument345 GroundStation4)
	(calibration_target instrument345 Star8)
	(calibration_target instrument345 Star13)
	(calibration_target instrument345 Star12)
	(instrument instrument346)
	(supports instrument346 infrared0)
	(supports instrument346 thermograph2)
	(calibration_target instrument346 Star10)
	(instrument instrument347)
	(supports instrument347 thermograph27)
	(supports instrument347 infrared9)
	(calibration_target instrument347 GroundStation2)
	(instrument instrument348)
	(supports instrument348 thermograph2)
	(calibration_target instrument348 GroundStation11)
	(instrument instrument349)
	(supports instrument349 image21)
	(supports instrument349 image29)
	(supports instrument349 image38)
	(calibration_target instrument349 Star18)
	(calibration_target instrument349 GroundStation14)
	(calibration_target instrument349 GroundStation17)
	(calibration_target instrument349 GroundStation3)
	(calibration_target instrument349 Star5)
	(instrument instrument350)
	(supports instrument350 thermograph7)
	(supports instrument350 spectrograph19)
	(calibration_target instrument350 GroundStation4)
	(instrument instrument351)
	(supports instrument351 spectrograph17)
	(supports instrument351 infrared23)
	(calibration_target instrument351 Star10)
	(calibration_target instrument351 GroundStation2)
	(calibration_target instrument351 Star5)
	(calibration_target instrument351 Star19)
	(calibration_target instrument351 GroundStation15)
	(instrument instrument352)
	(supports instrument352 infrared0)
	(calibration_target instrument352 Star10)
	(calibration_target instrument352 Star1)
	(calibration_target instrument352 GroundStation6)
	(calibration_target instrument352 Star9)
	(calibration_target instrument352 GroundStation7)
	(calibration_target instrument352 GroundStation15)
	(instrument instrument353)
	(supports instrument353 image38)
	(supports instrument353 thermograph7)
	(supports instrument353 infrared33)
	(calibration_target instrument353 GroundStation15)
	(calibration_target instrument353 GroundStation6)
	(instrument instrument354)
	(supports instrument354 image38)
	(supports instrument354 image29)
	(calibration_target instrument354 Star18)
	(instrument instrument355)
	(supports instrument355 spectrograph22)
	(supports instrument355 infrared16)
	(supports instrument355 infrared9)
	(calibration_target instrument355 GroundStation11)
	(calibration_target instrument355 Star18)
	(calibration_target instrument355 Star1)
	(calibration_target instrument355 GroundStation17)
	(on_board instrument335 satellite15)
	(on_board instrument336 satellite15)
	(on_board instrument337 satellite15)
	(on_board instrument338 satellite15)
	(on_board instrument339 satellite15)
	(on_board instrument340 satellite15)
	(on_board instrument341 satellite15)
	(on_board instrument342 satellite15)
	(on_board instrument343 satellite15)
	(on_board instrument344 satellite15)
	(on_board instrument345 satellite15)
	(on_board instrument346 satellite15)
	(on_board instrument347 satellite15)
	(on_board instrument348 satellite15)
	(on_board instrument349 satellite15)
	(on_board instrument350 satellite15)
	(on_board instrument351 satellite15)
	(on_board instrument352 satellite15)
	(on_board instrument353 satellite15)
	(on_board instrument354 satellite15)
	(on_board instrument355 satellite15)
	(power_avail satellite15)
	(pointing satellite15 Planet23)
	(satellite satellite16)
	(instrument instrument356)
	(supports instrument356 spectrograph24)
	(supports instrument356 thermograph27)
	(supports instrument356 spectrograph3)
	(calibration_target instrument356 Star13)
	(calibration_target instrument356 GroundStation7)
	(calibration_target instrument356 GroundStation3)
	(instrument instrument357)
	(supports instrument357 infrared23)
	(supports instrument357 thermograph15)
	(supports instrument357 image21)
	(calibration_target instrument357 Star19)
	(calibration_target instrument357 GroundStation15)
	(instrument instrument358)
	(supports instrument358 thermograph8)
	(supports instrument358 spectrograph22)
	(calibration_target instrument358 GroundStation17)
	(calibration_target instrument358 Star9)
	(calibration_target instrument358 Star13)
	(instrument instrument359)
	(supports instrument359 infrared37)
	(supports instrument359 thermograph36)
	(supports instrument359 thermograph14)
	(calibration_target instrument359 GroundStation7)
	(instrument instrument360)
	(supports instrument360 thermograph36)
	(supports instrument360 thermograph15)
	(supports instrument360 infrared9)
	(calibration_target instrument360 Star19)
	(calibration_target instrument360 GroundStation2)
	(calibration_target instrument360 GroundStation15)
	(calibration_target instrument360 Star10)
	(calibration_target instrument360 GroundStation3)
	(instrument instrument361)
	(supports instrument361 thermograph7)
	(supports instrument361 image21)
	(supports instrument361 spectrograph18)
	(calibration_target instrument361 Star9)
	(instrument instrument362)
	(supports instrument362 infrared37)
	(supports instrument362 thermograph4)
	(supports instrument362 infrared28)
	(calibration_target instrument362 GroundStation15)
	(instrument instrument363)
	(supports instrument363 infrared0)
	(supports instrument363 thermograph26)
	(supports instrument363 thermograph14)
	(calibration_target instrument363 Star9)
	(calibration_target instrument363 Star18)
	(instrument instrument364)
	(supports instrument364 spectrograph3)
	(calibration_target instrument364 Star5)
	(instrument instrument365)
	(supports instrument365 infrared30)
	(supports instrument365 spectrograph3)
	(supports instrument365 infrared9)
	(calibration_target instrument365 Star19)
	(calibration_target instrument365 Star8)
	(calibration_target instrument365 GroundStation15)
	(calibration_target instrument365 GroundStation11)
	(calibration_target instrument365 Star10)
	(instrument instrument366)
	(supports instrument366 infrared23)
	(supports instrument366 thermograph13)
	(supports instrument366 thermograph2)
	(calibration_target instrument366 GroundStation15)
	(calibration_target instrument366 Star9)
	(calibration_target instrument366 Star5)
	(calibration_target instrument366 Star1)
	(calibration_target instrument366 GroundStation11)
	(instrument instrument367)
	(supports instrument367 thermograph13)
	(supports instrument367 infrared1)
	(supports instrument367 infrared23)
	(calibration_target instrument367 Star1)
	(calibration_target instrument367 Star19)
	(calibration_target instrument367 Star5)
	(calibration_target instrument367 GroundStation2)
	(calibration_target instrument367 GroundStation14)
	(instrument instrument368)
	(supports instrument368 spectrograph22)
	(supports instrument368 infrared23)
	(supports instrument368 thermograph2)
	(calibration_target instrument368 GroundStation15)
	(calibration_target instrument368 GroundStation2)
	(calibration_target instrument368 Star10)
	(calibration_target instrument368 GroundStation3)
	(calibration_target instrument368 Star12)
	(calibration_target instrument368 GroundStation7)
	(instrument instrument369)
	(supports instrument369 infrared30)
	(supports instrument369 thermograph26)
	(supports instrument369 infrared33)
	(calibration_target instrument369 Star5)
	(calibration_target instrument369 Star13)
	(calibration_target instrument369 Star18)
	(calibration_target instrument369 Star12)
	(calibration_target instrument369 Star10)
	(instrument instrument370)
	(supports instrument370 infrared1)
	(supports instrument370 thermograph26)
	(supports instrument370 thermograph13)
	(calibration_target instrument370 Star10)
	(calibration_target instrument370 GroundStation14)
	(calibration_target instrument370 Star0)
	(calibration_target instrument370 Star5)
	(instrument instrument371)
	(supports instrument371 spectrograph18)
	(supports instrument371 thermograph27)
	(calibration_target instrument371 Star1)
	(instrument instrument372)
	(supports instrument372 infrared25)
	(supports instrument372 infrared23)
	(calibration_target instrument372 GroundStation7)
	(calibration_target instrument372 GroundStation15)
	(calibration_target instrument372 GroundStation2)
	(calibration_target instrument372 Star1)
	(calibration_target instrument372 Star5)
	(instrument instrument373)
	(supports instrument373 thermograph13)
	(supports instrument373 spectrograph35)
	(supports instrument373 image21)
	(calibration_target instrument373 GroundStation11)
	(calibration_target instrument373 Star12)
	(instrument instrument374)
	(supports instrument374 thermograph26)
	(calibration_target instrument374 GroundStation2)
	(calibration_target instrument374 Star8)
	(instrument instrument375)
	(supports instrument375 infrared25)
	(supports instrument375 image29)
	(calibration_target instrument375 Star5)
	(calibration_target instrument375 GroundStation15)
	(instrument instrument376)
	(supports instrument376 infrared37)
	(supports instrument376 thermograph39)
	(supports instrument376 thermograph14)
	(calibration_target instrument376 GroundStation6)
	(calibration_target instrument376 Star19)
	(instrument instrument377)
	(supports instrument377 infrared9)
	(supports instrument377 spectrograph19)
	(calibration_target instrument377 Star16)
	(calibration_target instrument377 Star0)
	(calibration_target instrument377 Star8)
	(calibration_target instrument377 GroundStation3)
	(calibration_target instrument377 Star9)
	(instrument instrument378)
	(supports instrument378 spectrograph24)
	(supports instrument378 thermograph2)
	(supports instrument378 image31)
	(calibration_target instrument378 GroundStation14)
	(calibration_target instrument378 GroundStation3)
	(calibration_target instrument378 GroundStation17)
	(calibration_target instrument378 Star0)
	(calibration_target instrument378 GroundStation7)
	(calibration_target instrument378 Star1)
	(instrument instrument379)
	(supports instrument379 image38)
	(calibration_target instrument379 GroundStation14)
	(calibration_target instrument379 Star12)
	(calibration_target instrument379 GroundStation3)
	(calibration_target instrument379 Star8)
	(instrument instrument380)
	(supports instrument380 infrared11)
	(supports instrument380 thermograph13)
	(calibration_target instrument380 GroundStation6)
	(calibration_target instrument380 Star10)
	(instrument instrument381)
	(supports instrument381 spectrograph17)
	(supports instrument381 infrared1)
	(calibration_target instrument381 Star1)
	(calibration_target instrument381 GroundStation3)
	(calibration_target instrument381 Star12)
	(instrument instrument382)
	(supports instrument382 image21)
	(supports instrument382 infrared25)
	(supports instrument382 thermograph34)
	(calibration_target instrument382 GroundStation17)
	(calibration_target instrument382 Star5)
	(instrument instrument383)
	(supports instrument383 thermograph4)
	(supports instrument383 image21)
	(supports instrument383 infrared28)
	(calibration_target instrument383 Star13)
	(calibration_target instrument383 GroundStation17)
	(calibration_target instrument383 GroundStation11)
	(calibration_target instrument383 Star8)
	(calibration_target instrument383 GroundStation2)
	(instrument instrument384)
	(supports instrument384 thermograph15)
	(supports instrument384 thermograph7)
	(supports instrument384 spectrograph24)
	(calibration_target instrument384 GroundStation14)
	(calibration_target instrument384 Star19)
	(calibration_target instrument384 GroundStation7)
	(instrument instrument385)
	(supports instrument385 thermograph26)
	(calibration_target instrument385 GroundStation6)
	(calibration_target instrument385 GroundStation17)
	(calibration_target instrument385 GroundStation2)
	(calibration_target instrument385 Star8)
	(calibration_target instrument385 GroundStation11)
	(instrument instrument386)
	(supports instrument386 image6)
	(supports instrument386 thermograph20)
	(calibration_target instrument386 Star19)
	(calibration_target instrument386 GroundStation11)
	(calibration_target instrument386 GroundStation2)
	(instrument instrument387)
	(supports instrument387 spectrograph35)
	(calibration_target instrument387 Star1)
	(calibration_target instrument387 GroundStation14)
	(calibration_target instrument387 Star5)
	(calibration_target instrument387 Star0)
	(on_board instrument356 satellite16)
	(on_board instrument357 satellite16)
	(on_board instrument358 satellite16)
	(on_board instrument359 satellite16)
	(on_board instrument360 satellite16)
	(on_board instrument361 satellite16)
	(on_board instrument362 satellite16)
	(on_board instrument363 satellite16)
	(on_board instrument364 satellite16)
	(on_board instrument365 satellite16)
	(on_board instrument366 satellite16)
	(on_board instrument367 satellite16)
	(on_board instrument368 satellite16)
	(on_board instrument369 satellite16)
	(on_board instrument370 satellite16)
	(on_board instrument371 satellite16)
	(on_board instrument372 satellite16)
	(on_board instrument373 satellite16)
	(on_board instrument374 satellite16)
	(on_board instrument375 satellite16)
	(on_board instrument376 satellite16)
	(on_board instrument377 satellite16)
	(on_board instrument378 satellite16)
	(on_board instrument379 satellite16)
	(on_board instrument380 satellite16)
	(on_board instrument381 satellite16)
	(on_board instrument382 satellite16)
	(on_board instrument383 satellite16)
	(on_board instrument384 satellite16)
	(on_board instrument385 satellite16)
	(on_board instrument386 satellite16)
	(on_board instrument387 satellite16)
	(power_avail satellite16)
	(pointing satellite16 Phenomenon66)
	(satellite satellite17)
	(instrument instrument388)
	(supports instrument388 thermograph27)
	(calibration_target instrument388 GroundStation7)
	(calibration_target instrument388 Star12)
	(calibration_target instrument388 Star1)
	(calibration_target instrument388 Star0)
	(calibration_target instrument388 GroundStation4)
	(calibration_target instrument388 GroundStation2)
	(instrument instrument389)
	(supports instrument389 thermograph14)
	(calibration_target instrument389 Star0)
	(calibration_target instrument389 GroundStation14)
	(calibration_target instrument389 Star12)
	(calibration_target instrument389 GroundStation6)
	(calibration_target instrument389 GroundStation17)
	(instrument instrument390)
	(supports instrument390 infrared25)
	(supports instrument390 spectrograph17)
	(calibration_target instrument390 Star0)
	(calibration_target instrument390 Star19)
	(calibration_target instrument390 Star12)
	(instrument instrument391)
	(supports instrument391 infrared0)
	(supports instrument391 image31)
	(calibration_target instrument391 Star12)
	(calibration_target instrument391 Star10)
	(calibration_target instrument391 GroundStation14)
	(calibration_target instrument391 Star18)
	(calibration_target instrument391 GroundStation2)
	(calibration_target instrument391 GroundStation3)
	(instrument instrument392)
	(supports instrument392 image38)
	(supports instrument392 thermograph34)
	(calibration_target instrument392 GroundStation14)
	(calibration_target instrument392 Star10)
	(calibration_target instrument392 GroundStation4)
	(calibration_target instrument392 GroundStation17)
	(calibration_target instrument392 GroundStation11)
	(instrument instrument393)
	(supports instrument393 infrared16)
	(calibration_target instrument393 Star19)
	(calibration_target instrument393 Star9)
	(calibration_target instrument393 GroundStation2)
	(calibration_target instrument393 GroundStation11)
	(calibration_target instrument393 Star10)
	(instrument instrument394)
	(supports instrument394 spectrograph32)
	(calibration_target instrument394 Star12)
	(calibration_target instrument394 Star18)
	(calibration_target instrument394 Star19)
	(instrument instrument395)
	(supports instrument395 thermograph20)
	(calibration_target instrument395 Star0)
	(calibration_target instrument395 Star16)
	(calibration_target instrument395 GroundStation17)
	(instrument instrument396)
	(supports instrument396 spectrograph32)
	(supports instrument396 thermograph15)
	(supports instrument396 spectrograph22)
	(calibration_target instrument396 Star1)
	(instrument instrument397)
	(supports instrument397 infrared0)
	(supports instrument397 infrared33)
	(supports instrument397 thermograph36)
	(calibration_target instrument397 Star18)
	(calibration_target instrument397 GroundStation7)
	(instrument instrument398)
	(supports instrument398 infrared16)
	(supports instrument398 spectrograph18)
	(supports instrument398 infrared0)
	(calibration_target instrument398 GroundStation15)
	(on_board instrument388 satellite17)
	(on_board instrument389 satellite17)
	(on_board instrument390 satellite17)
	(on_board instrument391 satellite17)
	(on_board instrument392 satellite17)
	(on_board instrument393 satellite17)
	(on_board instrument394 satellite17)
	(on_board instrument395 satellite17)
	(on_board instrument396 satellite17)
	(on_board instrument397 satellite17)
	(on_board instrument398 satellite17)
	(power_avail satellite17)
	(pointing satellite17 Star8)
	(satellite satellite18)
	(instrument instrument399)
	(supports instrument399 thermograph20)
	(supports instrument399 spectrograph17)
	(supports instrument399 image21)
	(calibration_target instrument399 Star16)
	(calibration_target instrument399 GroundStation17)
	(calibration_target instrument399 GroundStation7)
	(calibration_target instrument399 Star19)
	(calibration_target instrument399 GroundStation11)
	(calibration_target instrument399 Star13)
	(instrument instrument400)
	(supports instrument400 infrared33)
	(supports instrument400 infrared30)
	(supports instrument400 spectrograph32)
	(calibration_target instrument400 GroundStation3)
	(calibration_target instrument400 GroundStation7)
	(calibration_target instrument400 GroundStation15)
	(calibration_target instrument400 Star0)
	(calibration_target instrument400 GroundStation14)
	(calibration_target instrument400 Star1)
	(instrument instrument401)
	(supports instrument401 image29)
	(supports instrument401 thermograph34)
	(supports instrument401 spectrograph24)
	(calibration_target instrument401 Star9)
	(instrument instrument402)
	(supports instrument402 spectrograph3)
	(calibration_target instrument402 GroundStation15)
	(calibration_target instrument402 GroundStation6)
	(calibration_target instrument402 Star1)
	(calibration_target instrument402 Star0)
	(calibration_target instrument402 Star9)
	(instrument instrument403)
	(supports instrument403 spectrograph19)
	(supports instrument403 spectrograph18)
	(calibration_target instrument403 Star9)
	(calibration_target instrument403 GroundStation4)
	(calibration_target instrument403 Star18)
	(calibration_target instrument403 Star8)
	(calibration_target instrument403 Star19)
	(calibration_target instrument403 Star16)
	(instrument instrument404)
	(supports instrument404 image31)
	(supports instrument404 infrared30)
	(supports instrument404 thermograph8)
	(calibration_target instrument404 GroundStation6)
	(calibration_target instrument404 Star13)
	(instrument instrument405)
	(supports instrument405 image38)
	(calibration_target instrument405 Star9)
	(calibration_target instrument405 GroundStation6)
	(calibration_target instrument405 Star0)
	(instrument instrument406)
	(supports instrument406 thermograph8)
	(supports instrument406 thermograph7)
	(calibration_target instrument406 Star9)
	(calibration_target instrument406 Star18)
	(calibration_target instrument406 Star12)
	(calibration_target instrument406 GroundStation6)
	(calibration_target instrument406 Star13)
	(instrument instrument407)
	(supports instrument407 thermograph14)
	(calibration_target instrument407 GroundStation14)
	(calibration_target instrument407 Star10)
	(calibration_target instrument407 Star18)
	(calibration_target instrument407 GroundStation7)
	(calibration_target instrument407 Star19)
	(instrument instrument408)
	(supports instrument408 spectrograph22)
	(supports instrument408 image31)
	(calibration_target instrument408 GroundStation7)
	(calibration_target instrument408 Star19)
	(calibration_target instrument408 Star5)
	(calibration_target instrument408 Star0)
	(calibration_target instrument408 Star9)
	(instrument instrument409)
	(supports instrument409 thermograph2)
	(calibration_target instrument409 Star19)
	(calibration_target instrument409 Star1)
	(instrument instrument410)
	(supports instrument410 infrared30)
	(supports instrument410 image21)
	(calibration_target instrument410 Star8)
	(calibration_target instrument410 Star10)
	(calibration_target instrument410 GroundStation6)
	(calibration_target instrument410 GroundStation15)
	(calibration_target instrument410 GroundStation14)
	(instrument instrument411)
	(supports instrument411 spectrograph22)
	(supports instrument411 thermograph15)
	(supports instrument411 infrared25)
	(calibration_target instrument411 Star16)
	(calibration_target instrument411 GroundStation3)
	(calibration_target instrument411 Star9)
	(calibration_target instrument411 Star10)
	(calibration_target instrument411 GroundStation15)
	(instrument instrument412)
	(supports instrument412 thermograph4)
	(supports instrument412 image31)
	(supports instrument412 spectrograph19)
	(calibration_target instrument412 Star19)
	(calibration_target instrument412 GroundStation11)
	(calibration_target instrument412 GroundStation7)
	(calibration_target instrument412 GroundStation2)
	(calibration_target instrument412 Star0)
	(calibration_target instrument412 GroundStation17)
	(instrument instrument413)
	(supports instrument413 spectrograph19)
	(calibration_target instrument413 Star19)
	(calibration_target instrument413 Star18)
	(calibration_target instrument413 GroundStation3)
	(instrument instrument414)
	(supports instrument414 infrared1)
	(calibration_target instrument414 GroundStation7)
	(calibration_target instrument414 Star9)
	(calibration_target instrument414 Star16)
	(calibration_target instrument414 Star13)
	(instrument instrument415)
	(supports instrument415 thermograph36)
	(supports instrument415 infrared1)
	(calibration_target instrument415 GroundStation15)
	(calibration_target instrument415 GroundStation14)
	(calibration_target instrument415 Star19)
	(calibration_target instrument415 Star0)
	(calibration_target instrument415 GroundStation3)
	(instrument instrument416)
	(supports instrument416 infrared0)
	(supports instrument416 infrared33)
	(supports instrument416 thermograph26)
	(calibration_target instrument416 GroundStation15)
	(calibration_target instrument416 GroundStation17)
	(calibration_target instrument416 Star9)
	(instrument instrument417)
	(supports instrument417 infrared11)
	(calibration_target instrument417 Star13)
	(calibration_target instrument417 Star5)
	(calibration_target instrument417 GroundStation7)
	(calibration_target instrument417 GroundStation17)
	(instrument instrument418)
	(supports instrument418 thermograph20)
	(supports instrument418 infrared16)
	(supports instrument418 image29)
	(calibration_target instrument418 GroundStation15)
	(calibration_target instrument418 GroundStation2)
	(calibration_target instrument418 GroundStation17)
	(calibration_target instrument418 Star0)
	(instrument instrument419)
	(supports instrument419 thermograph5)
	(supports instrument419 infrared11)
	(calibration_target instrument419 GroundStation7)
	(calibration_target instrument419 Star12)
	(instrument instrument420)
	(supports instrument420 thermograph13)
	(calibration_target instrument420 Star16)
	(calibration_target instrument420 Star0)
	(calibration_target instrument420 GroundStation11)
	(instrument instrument421)
	(supports instrument421 infrared37)
	(supports instrument421 spectrograph17)
	(supports instrument421 image10)
	(calibration_target instrument421 GroundStation7)
	(calibration_target instrument421 Star12)
	(calibration_target instrument421 Star0)
	(calibration_target instrument421 Star5)
	(instrument instrument422)
	(supports instrument422 thermograph8)
	(supports instrument422 image31)
	(supports instrument422 spectrograph19)
	(calibration_target instrument422 Star18)
	(calibration_target instrument422 GroundStation11)
	(calibration_target instrument422 Star8)
	(calibration_target instrument422 GroundStation6)
	(calibration_target instrument422 GroundStation7)
	(instrument instrument423)
	(supports instrument423 thermograph14)
	(calibration_target instrument423 GroundStation11)
	(calibration_target instrument423 GroundStation2)
	(calibration_target instrument423 Star8)
	(calibration_target instrument423 Star18)
	(calibration_target instrument423 GroundStation4)
	(instrument instrument424)
	(supports instrument424 thermograph27)
	(calibration_target instrument424 Star18)
	(calibration_target instrument424 Star0)
	(calibration_target instrument424 Star9)
	(calibration_target instrument424 GroundStation15)
	(calibration_target instrument424 GroundStation14)
	(instrument instrument425)
	(supports instrument425 spectrograph3)
	(supports instrument425 thermograph15)
	(supports instrument425 thermograph8)
	(calibration_target instrument425 GroundStation2)
	(instrument instrument426)
	(supports instrument426 infrared0)
	(supports instrument426 spectrograph17)
	(supports instrument426 infrared11)
	(calibration_target instrument426 Star9)
	(calibration_target instrument426 Star12)
	(calibration_target instrument426 GroundStation17)
	(calibration_target instrument426 GroundStation15)
	(instrument instrument427)
	(supports instrument427 image10)
	(calibration_target instrument427 GroundStation14)
	(calibration_target instrument427 GroundStation3)
	(calibration_target instrument427 Star12)
	(calibration_target instrument427 Star13)
	(on_board instrument399 satellite18)
	(on_board instrument400 satellite18)
	(on_board instrument401 satellite18)
	(on_board instrument402 satellite18)
	(on_board instrument403 satellite18)
	(on_board instrument404 satellite18)
	(on_board instrument405 satellite18)
	(on_board instrument406 satellite18)
	(on_board instrument407 satellite18)
	(on_board instrument408 satellite18)
	(on_board instrument409 satellite18)
	(on_board instrument410 satellite18)
	(on_board instrument411 satellite18)
	(on_board instrument412 satellite18)
	(on_board instrument413 satellite18)
	(on_board instrument414 satellite18)
	(on_board instrument415 satellite18)
	(on_board instrument416 satellite18)
	(on_board instrument417 satellite18)
	(on_board instrument418 satellite18)
	(on_board instrument419 satellite18)
	(on_board instrument420 satellite18)
	(on_board instrument421 satellite18)
	(on_board instrument422 satellite18)
	(on_board instrument423 satellite18)
	(on_board instrument424 satellite18)
	(on_board instrument425 satellite18)
	(on_board instrument426 satellite18)
	(on_board instrument427 satellite18)
	(power_avail satellite18)
	(pointing satellite18 Star53)
	(satellite satellite19)
	(instrument instrument428)
	(supports instrument428 thermograph12)
	(calibration_target instrument428 GroundStation17)
	(calibration_target instrument428 Star0)
	(instrument instrument429)
	(supports instrument429 spectrograph3)
	(supports instrument429 infrared9)
	(supports instrument429 spectrograph22)
	(calibration_target instrument429 Star19)
	(calibration_target instrument429 Star9)
	(calibration_target instrument429 GroundStation11)
	(calibration_target instrument429 Star12)
	(calibration_target instrument429 GroundStation7)
	(instrument instrument430)
	(supports instrument430 spectrograph18)
	(supports instrument430 image38)
	(calibration_target instrument430 Star1)
	(calibration_target instrument430 Star18)
	(calibration_target instrument430 Star9)
	(calibration_target instrument430 GroundStation15)
	(instrument instrument431)
	(supports instrument431 thermograph39)
	(supports instrument431 spectrograph32)
	(supports instrument431 infrared9)
	(calibration_target instrument431 Star1)
	(calibration_target instrument431 Star18)
	(calibration_target instrument431 Star8)
	(calibration_target instrument431 Star12)
	(calibration_target instrument431 Star16)
	(calibration_target instrument431 Star10)
	(instrument instrument432)
	(supports instrument432 thermograph5)
	(supports instrument432 thermograph2)
	(calibration_target instrument432 Star10)
	(calibration_target instrument432 Star12)
	(calibration_target instrument432 Star8)
	(calibration_target instrument432 GroundStation6)
	(calibration_target instrument432 GroundStation15)
	(calibration_target instrument432 GroundStation3)
	(instrument instrument433)
	(supports instrument433 thermograph36)
	(calibration_target instrument433 Star10)
	(calibration_target instrument433 Star0)
	(calibration_target instrument433 GroundStation4)
	(calibration_target instrument433 Star1)
	(calibration_target instrument433 GroundStation7)
	(instrument instrument434)
	(supports instrument434 thermograph7)
	(supports instrument434 thermograph26)
	(calibration_target instrument434 Star9)
	(instrument instrument435)
	(supports instrument435 image21)
	(supports instrument435 image6)
	(supports instrument435 thermograph2)
	(calibration_target instrument435 Star16)
	(calibration_target instrument435 Star1)
	(calibration_target instrument435 GroundStation6)
	(calibration_target instrument435 GroundStation14)
	(calibration_target instrument435 Star12)
	(calibration_target instrument435 Star9)
	(instrument instrument436)
	(supports instrument436 infrared37)
	(supports instrument436 thermograph2)
	(supports instrument436 image21)
	(calibration_target instrument436 Star13)
	(calibration_target instrument436 GroundStation15)
	(instrument instrument437)
	(supports instrument437 infrared25)
	(supports instrument437 thermograph7)
	(calibration_target instrument437 GroundStation3)
	(calibration_target instrument437 GroundStation14)
	(calibration_target instrument437 GroundStation2)
	(calibration_target instrument437 GroundStation7)
	(calibration_target instrument437 Star9)
	(calibration_target instrument437 Star13)
	(instrument instrument438)
	(supports instrument438 infrared9)
	(calibration_target instrument438 Star9)
	(calibration_target instrument438 Star0)
	(calibration_target instrument438 Star10)
	(calibration_target instrument438 GroundStation15)
	(calibration_target instrument438 Star13)
	(instrument instrument439)
	(supports instrument439 image29)
	(supports instrument439 spectrograph3)
	(supports instrument439 infrared23)
	(calibration_target instrument439 GroundStation7)
	(instrument instrument440)
	(supports instrument440 thermograph39)
	(supports instrument440 thermograph26)
	(supports instrument440 thermograph8)
	(calibration_target instrument440 Star16)
	(calibration_target instrument440 GroundStation15)
	(calibration_target instrument440 Star19)
	(calibration_target instrument440 Star1)
	(instrument instrument441)
	(supports instrument441 spectrograph19)
	(supports instrument441 infrared23)
	(calibration_target instrument441 Star16)
	(instrument instrument442)
	(supports instrument442 thermograph36)
	(supports instrument442 spectrograph18)
	(calibration_target instrument442 Star9)
	(calibration_target instrument442 GroundStation6)
	(calibration_target instrument442 GroundStation17)
	(calibration_target instrument442 Star12)
	(calibration_target instrument442 GroundStation14)
	(calibration_target instrument442 Star8)
	(instrument instrument443)
	(supports instrument443 infrared28)
	(calibration_target instrument443 Star0)
	(calibration_target instrument443 Star1)
	(instrument instrument444)
	(supports instrument444 spectrograph22)
	(supports instrument444 image29)
	(supports instrument444 image31)
	(calibration_target instrument444 GroundStation17)
	(calibration_target instrument444 GroundStation2)
	(calibration_target instrument444 Star0)
	(instrument instrument445)
	(supports instrument445 infrared37)
	(supports instrument445 image31)
	(supports instrument445 thermograph34)
	(calibration_target instrument445 Star10)
	(calibration_target instrument445 GroundStation3)
	(calibration_target instrument445 Star0)
	(calibration_target instrument445 GroundStation11)
	(calibration_target instrument445 GroundStation7)
	(calibration_target instrument445 Star16)
	(on_board instrument428 satellite19)
	(on_board instrument429 satellite19)
	(on_board instrument430 satellite19)
	(on_board instrument431 satellite19)
	(on_board instrument432 satellite19)
	(on_board instrument433 satellite19)
	(on_board instrument434 satellite19)
	(on_board instrument435 satellite19)
	(on_board instrument436 satellite19)
	(on_board instrument437 satellite19)
	(on_board instrument438 satellite19)
	(on_board instrument439 satellite19)
	(on_board instrument440 satellite19)
	(on_board instrument441 satellite19)
	(on_board instrument442 satellite19)
	(on_board instrument443 satellite19)
	(on_board instrument444 satellite19)
	(on_board instrument445 satellite19)
	(power_avail satellite19)
	(pointing satellite19 Star36)
	(satellite satellite20)
	(instrument instrument446)
	(supports instrument446 image29)
	(supports instrument446 infrared25)
	(supports instrument446 thermograph39)
	(calibration_target instrument446 Star9)
	(instrument instrument447)
	(supports instrument447 infrared16)
	(calibration_target instrument447 Star18)
	(calibration_target instrument447 Star13)
	(instrument instrument448)
	(supports instrument448 thermograph26)
	(supports instrument448 thermograph8)
	(supports instrument448 thermograph12)
	(calibration_target instrument448 GroundStation6)
	(calibration_target instrument448 GroundStation4)
	(instrument instrument449)
	(supports instrument449 thermograph12)
	(calibration_target instrument449 GroundStation7)
	(calibration_target instrument449 Star5)
	(instrument instrument450)
	(supports instrument450 thermograph7)
	(supports instrument450 image21)
	(calibration_target instrument450 Star1)
	(instrument instrument451)
	(supports instrument451 spectrograph19)
	(supports instrument451 infrared23)
	(calibration_target instrument451 GroundStation6)
	(calibration_target instrument451 Star9)
	(calibration_target instrument451 GroundStation4)
	(calibration_target instrument451 GroundStation17)
	(calibration_target instrument451 Star19)
	(instrument instrument452)
	(supports instrument452 spectrograph17)
	(calibration_target instrument452 GroundStation3)
	(instrument instrument453)
	(supports instrument453 thermograph39)
	(calibration_target instrument453 GroundStation14)
	(instrument instrument454)
	(supports instrument454 spectrograph18)
	(supports instrument454 thermograph39)
	(calibration_target instrument454 GroundStation7)
	(instrument instrument455)
	(supports instrument455 infrared33)
	(supports instrument455 thermograph7)
	(calibration_target instrument455 GroundStation6)
	(calibration_target instrument455 Star19)
	(instrument instrument456)
	(supports instrument456 thermograph7)
	(calibration_target instrument456 Star12)
	(calibration_target instrument456 GroundStation4)
	(calibration_target instrument456 Star9)
	(instrument instrument457)
	(supports instrument457 thermograph13)
	(supports instrument457 infrared28)
	(calibration_target instrument457 Star9)
	(calibration_target instrument457 Star1)
	(calibration_target instrument457 Star19)
	(calibration_target instrument457 Star0)
	(calibration_target instrument457 GroundStation2)
	(instrument instrument458)
	(supports instrument458 spectrograph24)
	(supports instrument458 spectrograph22)
	(supports instrument458 thermograph14)
	(calibration_target instrument458 GroundStation11)
	(calibration_target instrument458 Star8)
	(calibration_target instrument458 GroundStation6)
	(calibration_target instrument458 Star18)
	(calibration_target instrument458 GroundStation15)
	(calibration_target instrument458 Star16)
	(instrument instrument459)
	(supports instrument459 infrared16)
	(supports instrument459 spectrograph32)
	(calibration_target instrument459 GroundStation2)
	(instrument instrument460)
	(supports instrument460 infrared28)
	(supports instrument460 spectrograph32)
	(supports instrument460 image38)
	(calibration_target instrument460 GroundStation3)
	(calibration_target instrument460 GroundStation17)
	(on_board instrument446 satellite20)
	(on_board instrument447 satellite20)
	(on_board instrument448 satellite20)
	(on_board instrument449 satellite20)
	(on_board instrument450 satellite20)
	(on_board instrument451 satellite20)
	(on_board instrument452 satellite20)
	(on_board instrument453 satellite20)
	(on_board instrument454 satellite20)
	(on_board instrument455 satellite20)
	(on_board instrument456 satellite20)
	(on_board instrument457 satellite20)
	(on_board instrument458 satellite20)
	(on_board instrument459 satellite20)
	(on_board instrument460 satellite20)
	(power_avail satellite20)
	(pointing satellite20 Star10)
	(satellite satellite21)
	(instrument instrument461)
	(supports instrument461 spectrograph3)
	(supports instrument461 thermograph39)
	(supports instrument461 thermograph4)
	(calibration_target instrument461 Star1)
	(instrument instrument462)
	(supports instrument462 thermograph5)
	(supports instrument462 thermograph2)
	(calibration_target instrument462 Star16)
	(instrument instrument463)
	(supports instrument463 infrared25)
	(supports instrument463 thermograph36)
	(calibration_target instrument463 Star12)
	(calibration_target instrument463 Star18)
	(calibration_target instrument463 GroundStation6)
	(instrument instrument464)
	(supports instrument464 infrared25)
	(supports instrument464 thermograph13)
	(calibration_target instrument464 Star13)
	(calibration_target instrument464 Star5)
	(calibration_target instrument464 Star0)
	(calibration_target instrument464 Star1)
	(calibration_target instrument464 Star16)
	(calibration_target instrument464 GroundStation2)
	(instrument instrument465)
	(supports instrument465 spectrograph35)
	(calibration_target instrument465 GroundStation2)
	(calibration_target instrument465 Star8)
	(instrument instrument466)
	(supports instrument466 thermograph34)
	(supports instrument466 infrared23)
	(supports instrument466 image31)
	(calibration_target instrument466 Star10)
	(calibration_target instrument466 GroundStation14)
	(calibration_target instrument466 Star9)
	(calibration_target instrument466 Star1)
	(calibration_target instrument466 GroundStation7)
	(calibration_target instrument466 Star13)
	(instrument instrument467)
	(supports instrument467 thermograph26)
	(supports instrument467 image38)
	(calibration_target instrument467 GroundStation3)
	(instrument instrument468)
	(supports instrument468 infrared33)
	(calibration_target instrument468 Star5)
	(calibration_target instrument468 GroundStation11)
	(calibration_target instrument468 Star1)
	(instrument instrument469)
	(supports instrument469 thermograph36)
	(supports instrument469 thermograph2)
	(supports instrument469 thermograph14)
	(calibration_target instrument469 Star10)
	(calibration_target instrument469 Star9)
	(calibration_target instrument469 Star16)
	(calibration_target instrument469 GroundStation14)
	(calibration_target instrument469 Star8)
	(instrument instrument470)
	(supports instrument470 image6)
	(calibration_target instrument470 Star16)
	(instrument instrument471)
	(supports instrument471 infrared37)
	(calibration_target instrument471 Star8)
	(calibration_target instrument471 GroundStation3)
	(calibration_target instrument471 GroundStation15)
	(calibration_target instrument471 Star16)
	(instrument instrument472)
	(supports instrument472 thermograph20)
	(calibration_target instrument472 Star9)
	(calibration_target instrument472 Star16)
	(calibration_target instrument472 Star0)
	(calibration_target instrument472 Star13)
	(instrument instrument473)
	(supports instrument473 spectrograph32)
	(supports instrument473 thermograph27)
	(supports instrument473 spectrograph35)
	(calibration_target instrument473 Star12)
	(calibration_target instrument473 GroundStation3)
	(calibration_target instrument473 Star10)
	(calibration_target instrument473 Star5)
	(calibration_target instrument473 GroundStation4)
	(instrument instrument474)
	(supports instrument474 infrared37)
	(supports instrument474 infrared33)
	(supports instrument474 image10)
	(calibration_target instrument474 Star12)
	(calibration_target instrument474 Star18)
	(calibration_target instrument474 Star1)
	(calibration_target instrument474 Star16)
	(calibration_target instrument474 Star19)
	(instrument instrument475)
	(supports instrument475 thermograph14)
	(supports instrument475 thermograph5)
	(calibration_target instrument475 Star13)
	(calibration_target instrument475 GroundStation14)
	(calibration_target instrument475 Star18)
	(calibration_target instrument475 GroundStation2)
	(instrument instrument476)
	(supports instrument476 thermograph15)
	(supports instrument476 thermograph7)
	(calibration_target instrument476 Star18)
	(calibration_target instrument476 GroundStation15)
	(calibration_target instrument476 Star16)
	(calibration_target instrument476 GroundStation17)
	(calibration_target instrument476 Star13)
	(calibration_target instrument476 GroundStation3)
	(instrument instrument477)
	(supports instrument477 thermograph20)
	(supports instrument477 thermograph13)
	(calibration_target instrument477 Star19)
	(instrument instrument478)
	(supports instrument478 thermograph14)
	(supports instrument478 spectrograph24)
	(supports instrument478 image6)
	(calibration_target instrument478 Star9)
	(instrument instrument479)
	(supports instrument479 infrared9)
	(calibration_target instrument479 GroundStation4)
	(calibration_target instrument479 Star12)
	(calibration_target instrument479 GroundStation17)
	(calibration_target instrument479 GroundStation11)
	(calibration_target instrument479 Star13)
	(instrument instrument480)
	(supports instrument480 infrared28)
	(supports instrument480 thermograph27)
	(supports instrument480 thermograph20)
	(calibration_target instrument480 Star5)
	(calibration_target instrument480 Star18)
	(calibration_target instrument480 Star10)
	(calibration_target instrument480 GroundStation14)
	(calibration_target instrument480 GroundStation7)
	(instrument instrument481)
	(supports instrument481 thermograph20)
	(supports instrument481 infrared1)
	(supports instrument481 spectrograph17)
	(calibration_target instrument481 Star10)
	(instrument instrument482)
	(supports instrument482 spectrograph35)
	(supports instrument482 thermograph5)
	(calibration_target instrument482 Star5)
	(instrument instrument483)
	(supports instrument483 thermograph20)
	(supports instrument483 infrared16)
	(supports instrument483 thermograph15)
	(calibration_target instrument483 Star10)
	(calibration_target instrument483 GroundStation11)
	(instrument instrument484)
	(supports instrument484 thermograph39)
	(calibration_target instrument484 Star16)
	(calibration_target instrument484 Star12)
	(calibration_target instrument484 GroundStation7)
	(calibration_target instrument484 GroundStation2)
	(instrument instrument485)
	(supports instrument485 thermograph36)
	(supports instrument485 spectrograph19)
	(calibration_target instrument485 Star16)
	(calibration_target instrument485 Star18)
	(calibration_target instrument485 GroundStation6)
	(instrument instrument486)
	(supports instrument486 image6)
	(supports instrument486 thermograph39)
	(calibration_target instrument486 Star9)
	(calibration_target instrument486 GroundStation3)
	(calibration_target instrument486 GroundStation2)
	(calibration_target instrument486 Star18)
	(calibration_target instrument486 Star19)
	(instrument instrument487)
	(supports instrument487 thermograph12)
	(calibration_target instrument487 GroundStation4)
	(calibration_target instrument487 Star16)
	(calibration_target instrument487 Star9)
	(calibration_target instrument487 GroundStation11)
	(calibration_target instrument487 GroundStation17)
	(on_board instrument461 satellite21)
	(on_board instrument462 satellite21)
	(on_board instrument463 satellite21)
	(on_board instrument464 satellite21)
	(on_board instrument465 satellite21)
	(on_board instrument466 satellite21)
	(on_board instrument467 satellite21)
	(on_board instrument468 satellite21)
	(on_board instrument469 satellite21)
	(on_board instrument470 satellite21)
	(on_board instrument471 satellite21)
	(on_board instrument472 satellite21)
	(on_board instrument473 satellite21)
	(on_board instrument474 satellite21)
	(on_board instrument475 satellite21)
	(on_board instrument476 satellite21)
	(on_board instrument477 satellite21)
	(on_board instrument478 satellite21)
	(on_board instrument479 satellite21)
	(on_board instrument480 satellite21)
	(on_board instrument481 satellite21)
	(on_board instrument482 satellite21)
	(on_board instrument483 satellite21)
	(on_board instrument484 satellite21)
	(on_board instrument485 satellite21)
	(on_board instrument486 satellite21)
	(on_board instrument487 satellite21)
	(power_avail satellite21)
	(pointing satellite21 Star42)
	(satellite satellite22)
	(instrument instrument488)
	(supports instrument488 thermograph8)
	(supports instrument488 image6)
	(calibration_target instrument488 Star8)
	(instrument instrument489)
	(supports instrument489 spectrograph22)
	(calibration_target instrument489 Star12)
	(calibration_target instrument489 GroundStation2)
	(calibration_target instrument489 Star16)
	(calibration_target instrument489 Star19)
	(calibration_target instrument489 GroundStation14)
	(instrument instrument490)
	(supports instrument490 thermograph2)
	(supports instrument490 image10)
	(supports instrument490 spectrograph18)
	(calibration_target instrument490 Star5)
	(calibration_target instrument490 Star10)
	(calibration_target instrument490 Star16)
	(calibration_target instrument490 Star1)
	(calibration_target instrument490 Star19)
	(instrument instrument491)
	(supports instrument491 thermograph39)
	(supports instrument491 infrared11)
	(calibration_target instrument491 Star5)
	(calibration_target instrument491 Star19)
	(calibration_target instrument491 Star16)
	(instrument instrument492)
	(supports instrument492 image10)
	(supports instrument492 spectrograph19)
	(supports instrument492 image21)
	(calibration_target instrument492 GroundStation17)
	(calibration_target instrument492 Star1)
	(calibration_target instrument492 Star5)
	(calibration_target instrument492 GroundStation2)
	(instrument instrument493)
	(supports instrument493 image29)
	(supports instrument493 infrared0)
	(calibration_target instrument493 Star5)
	(calibration_target instrument493 GroundStation3)
	(instrument instrument494)
	(supports instrument494 thermograph39)
	(supports instrument494 image6)
	(supports instrument494 spectrograph32)
	(calibration_target instrument494 GroundStation14)
	(calibration_target instrument494 Star13)
	(calibration_target instrument494 Star9)
	(calibration_target instrument494 GroundStation6)
	(calibration_target instrument494 Star19)
	(instrument instrument495)
	(supports instrument495 infrared25)
	(supports instrument495 spectrograph22)
	(supports instrument495 thermograph5)
	(calibration_target instrument495 Star10)
	(instrument instrument496)
	(supports instrument496 infrared30)
	(calibration_target instrument496 GroundStation11)
	(calibration_target instrument496 GroundStation4)
	(calibration_target instrument496 GroundStation2)
	(calibration_target instrument496 GroundStation3)
	(instrument instrument497)
	(supports instrument497 thermograph12)
	(supports instrument497 infrared30)
	(supports instrument497 thermograph27)
	(calibration_target instrument497 Star1)
	(calibration_target instrument497 GroundStation6)
	(calibration_target instrument497 Star16)
	(calibration_target instrument497 Star9)
	(calibration_target instrument497 GroundStation14)
	(instrument instrument498)
	(supports instrument498 image31)
	(calibration_target instrument498 Star10)
	(calibration_target instrument498 GroundStation3)
	(calibration_target instrument498 GroundStation7)
	(calibration_target instrument498 Star13)
	(calibration_target instrument498 GroundStation15)
	(calibration_target instrument498 Star5)
	(instrument instrument499)
	(supports instrument499 thermograph8)
	(calibration_target instrument499 GroundStation17)
	(calibration_target instrument499 GroundStation3)
	(calibration_target instrument499 Star16)
	(calibration_target instrument499 GroundStation6)
	(calibration_target instrument499 GroundStation11)
	(calibration_target instrument499 Star10)
	(instrument instrument500)
	(supports instrument500 image10)
	(supports instrument500 spectrograph17)
	(supports instrument500 image31)
	(calibration_target instrument500 GroundStation3)
	(calibration_target instrument500 Star8)
	(instrument instrument501)
	(supports instrument501 thermograph36)
	(supports instrument501 infrared11)
	(calibration_target instrument501 Star13)
	(calibration_target instrument501 GroundStation2)
	(calibration_target instrument501 Star10)
	(instrument instrument502)
	(supports instrument502 image6)
	(calibration_target instrument502 Star16)
	(instrument instrument503)
	(supports instrument503 image31)
	(calibration_target instrument503 Star8)
	(calibration_target instrument503 Star13)
	(instrument instrument504)
	(supports instrument504 thermograph20)
	(supports instrument504 thermograph15)
	(supports instrument504 image10)
	(calibration_target instrument504 Star9)
	(calibration_target instrument504 Star8)
	(calibration_target instrument504 Star1)
	(calibration_target instrument504 Star5)
	(instrument instrument505)
	(supports instrument505 thermograph26)
	(supports instrument505 infrared0)
	(calibration_target instrument505 Star8)
	(calibration_target instrument505 Star0)
	(instrument instrument506)
	(supports instrument506 thermograph34)
	(calibration_target instrument506 Star12)
	(calibration_target instrument506 Star8)
	(calibration_target instrument506 Star0)
	(calibration_target instrument506 Star13)
	(calibration_target instrument506 Star5)
	(instrument instrument507)
	(supports instrument507 thermograph20)
	(supports instrument507 spectrograph22)
	(calibration_target instrument507 GroundStation7)
	(calibration_target instrument507 Star12)
	(calibration_target instrument507 Star19)
	(calibration_target instrument507 GroundStation14)
	(instrument instrument508)
	(supports instrument508 thermograph15)
	(supports instrument508 thermograph34)
	(calibration_target instrument508 GroundStation17)
	(calibration_target instrument508 Star1)
	(calibration_target instrument508 Star9)
	(instrument instrument509)
	(supports instrument509 infrared37)
	(calibration_target instrument509 GroundStation11)
	(calibration_target instrument509 Star1)
	(calibration_target instrument509 GroundStation3)
	(instrument instrument510)
	(supports instrument510 spectrograph3)
	(supports instrument510 thermograph13)
	(calibration_target instrument510 Star16)
	(calibration_target instrument510 GroundStation15)
	(instrument instrument511)
	(supports instrument511 spectrograph35)
	(supports instrument511 spectrograph3)
	(supports instrument511 thermograph13)
	(calibration_target instrument511 GroundStation11)
	(calibration_target instrument511 GroundStation15)
	(calibration_target instrument511 Star10)
	(calibration_target instrument511 GroundStation4)
	(calibration_target instrument511 Star8)
	(instrument instrument512)
	(supports instrument512 infrared0)
	(supports instrument512 thermograph13)
	(supports instrument512 thermograph12)
	(calibration_target instrument512 Star10)
	(instrument instrument513)
	(supports instrument513 thermograph5)
	(supports instrument513 thermograph20)
	(calibration_target instrument513 Star1)
	(calibration_target instrument513 GroundStation6)
	(calibration_target instrument513 GroundStation15)
	(calibration_target instrument513 Star18)
	(calibration_target instrument513 Star9)
	(instrument instrument514)
	(supports instrument514 spectrograph22)
	(supports instrument514 infrared28)
	(calibration_target instrument514 Star13)
	(calibration_target instrument514 Star1)
	(calibration_target instrument514 GroundStation15)
	(instrument instrument515)
	(supports instrument515 image38)
	(supports instrument515 image31)
	(calibration_target instrument515 Star5)
	(instrument instrument516)
	(supports instrument516 thermograph34)
	(supports instrument516 image38)
	(supports instrument516 spectrograph17)
	(calibration_target instrument516 Star9)
	(calibration_target instrument516 Star10)
	(calibration_target instrument516 Star12)
	(instrument instrument517)
	(supports instrument517 spectrograph3)
	(supports instrument517 spectrograph22)
	(supports instrument517 thermograph4)
	(calibration_target instrument517 GroundStation6)
	(instrument instrument518)
	(supports instrument518 thermograph20)
	(supports instrument518 infrared16)
	(calibration_target instrument518 GroundStation4)
	(calibration_target instrument518 GroundStation11)
	(calibration_target instrument518 Star19)
	(on_board instrument488 satellite22)
	(on_board instrument489 satellite22)
	(on_board instrument490 satellite22)
	(on_board instrument491 satellite22)
	(on_board instrument492 satellite22)
	(on_board instrument493 satellite22)
	(on_board instrument494 satellite22)
	(on_board instrument495 satellite22)
	(on_board instrument496 satellite22)
	(on_board instrument497 satellite22)
	(on_board instrument498 satellite22)
	(on_board instrument499 satellite22)
	(on_board instrument500 satellite22)
	(on_board instrument501 satellite22)
	(on_board instrument502 satellite22)
	(on_board instrument503 satellite22)
	(on_board instrument504 satellite22)
	(on_board instrument505 satellite22)
	(on_board instrument506 satellite22)
	(on_board instrument507 satellite22)
	(on_board instrument508 satellite22)
	(on_board instrument509 satellite22)
	(on_board instrument510 satellite22)
	(on_board instrument511 satellite22)
	(on_board instrument512 satellite22)
	(on_board instrument513 satellite22)
	(on_board instrument514 satellite22)
	(on_board instrument515 satellite22)
	(on_board instrument516 satellite22)
	(on_board instrument517 satellite22)
	(on_board instrument518 satellite22)
	(power_avail satellite22)
	(pointing satellite22 Planet28)
	(satellite satellite23)
	(instrument instrument519)
	(supports instrument519 infrared33)
	(supports instrument519 image38)
	(supports instrument519 thermograph20)
	(calibration_target instrument519 GroundStation2)
	(calibration_target instrument519 Star0)
	(calibration_target instrument519 Star9)
	(calibration_target instrument519 Star12)
	(calibration_target instrument519 GroundStation11)
	(instrument instrument520)
	(supports instrument520 thermograph2)
	(calibration_target instrument520 GroundStation4)
	(calibration_target instrument520 Star19)
	(calibration_target instrument520 Star0)
	(calibration_target instrument520 Star5)
	(calibration_target instrument520 Star16)
	(instrument instrument521)
	(supports instrument521 thermograph36)
	(calibration_target instrument521 GroundStation4)
	(calibration_target instrument521 Star13)
	(calibration_target instrument521 Star8)
	(instrument instrument522)
	(supports instrument522 image38)
	(supports instrument522 infrared33)
	(supports instrument522 infrared16)
	(calibration_target instrument522 Star16)
	(calibration_target instrument522 GroundStation6)
	(calibration_target instrument522 GroundStation2)
	(calibration_target instrument522 GroundStation4)
	(instrument instrument523)
	(supports instrument523 thermograph5)
	(supports instrument523 thermograph14)
	(calibration_target instrument523 GroundStation11)
	(calibration_target instrument523 Star0)
	(calibration_target instrument523 Star8)
	(calibration_target instrument523 Star12)
	(calibration_target instrument523 GroundStation4)
	(instrument instrument524)
	(supports instrument524 thermograph36)
	(supports instrument524 thermograph13)
	(calibration_target instrument524 Star12)
	(calibration_target instrument524 Star5)
	(calibration_target instrument524 Star13)
	(calibration_target instrument524 Star16)
	(instrument instrument525)
	(supports instrument525 image38)
	(calibration_target instrument525 Star5)
	(calibration_target instrument525 Star1)
	(calibration_target instrument525 GroundStation17)
	(calibration_target instrument525 GroundStation4)
	(instrument instrument526)
	(supports instrument526 infrared37)
	(supports instrument526 infrared33)
	(calibration_target instrument526 GroundStation6)
	(calibration_target instrument526 GroundStation14)
	(calibration_target instrument526 Star8)
	(calibration_target instrument526 GroundStation17)
	(on_board instrument519 satellite23)
	(on_board instrument520 satellite23)
	(on_board instrument521 satellite23)
	(on_board instrument522 satellite23)
	(on_board instrument523 satellite23)
	(on_board instrument524 satellite23)
	(on_board instrument525 satellite23)
	(on_board instrument526 satellite23)
	(power_avail satellite23)
	(pointing satellite23 Planet72)
	(satellite satellite24)
	(instrument instrument527)
	(supports instrument527 infrared1)
	(supports instrument527 infrared33)
	(supports instrument527 image31)
	(calibration_target instrument527 Star19)
	(instrument instrument528)
	(supports instrument528 thermograph2)
	(supports instrument528 thermograph20)
	(calibration_target instrument528 Star8)
	(calibration_target instrument528 GroundStation2)
	(calibration_target instrument528 Star18)
	(calibration_target instrument528 Star1)
	(instrument instrument529)
	(supports instrument529 image21)
	(supports instrument529 infrared16)
	(calibration_target instrument529 Star9)
	(calibration_target instrument529 Star18)
	(calibration_target instrument529 Star1)
	(calibration_target instrument529 GroundStation2)
	(calibration_target instrument529 GroundStation14)
	(calibration_target instrument529 GroundStation7)
	(on_board instrument527 satellite24)
	(on_board instrument528 satellite24)
	(on_board instrument529 satellite24)
	(power_avail satellite24)
	(pointing satellite24 GroundStation6)
	(satellite satellite25)
	(instrument instrument530)
	(supports instrument530 spectrograph35)
	(supports instrument530 thermograph15)
	(calibration_target instrument530 Star12)
	(calibration_target instrument530 GroundStation15)
	(instrument instrument531)
	(supports instrument531 image29)
	(supports instrument531 infrared28)
	(calibration_target instrument531 Star5)
	(calibration_target instrument531 GroundStation4)
	(calibration_target instrument531 GroundStation17)
	(instrument instrument532)
	(supports instrument532 spectrograph35)
	(calibration_target instrument532 Star5)
	(calibration_target instrument532 Star18)
	(calibration_target instrument532 GroundStation4)
	(instrument instrument533)
	(supports instrument533 thermograph36)
	(supports instrument533 spectrograph17)
	(calibration_target instrument533 Star13)
	(calibration_target instrument533 Star18)
	(calibration_target instrument533 GroundStation6)
	(calibration_target instrument533 Star1)
	(calibration_target instrument533 Star16)
	(calibration_target instrument533 Star8)
	(instrument instrument534)
	(supports instrument534 infrared28)
	(calibration_target instrument534 Star9)
	(calibration_target instrument534 Star13)
	(calibration_target instrument534 GroundStation3)
	(calibration_target instrument534 GroundStation15)
	(instrument instrument535)
	(supports instrument535 thermograph12)
	(supports instrument535 thermograph4)
	(calibration_target instrument535 Star9)
	(calibration_target instrument535 GroundStation11)
	(calibration_target instrument535 GroundStation7)
	(calibration_target instrument535 GroundStation15)
	(calibration_target instrument535 GroundStation17)
	(instrument instrument536)
	(supports instrument536 thermograph14)
	(supports instrument536 image10)
	(calibration_target instrument536 Star0)
	(calibration_target instrument536 GroundStation3)
	(calibration_target instrument536 Star16)
	(instrument instrument537)
	(supports instrument537 thermograph26)
	(supports instrument537 image6)
	(supports instrument537 infrared28)
	(calibration_target instrument537 Star9)
	(calibration_target instrument537 Star18)
	(calibration_target instrument537 Star19)
	(calibration_target instrument537 Star12)
	(calibration_target instrument537 Star10)
	(instrument instrument538)
	(supports instrument538 spectrograph19)
	(supports instrument538 thermograph27)
	(calibration_target instrument538 GroundStation11)
	(calibration_target instrument538 Star0)
	(calibration_target instrument538 Star5)
	(calibration_target instrument538 GroundStation2)
	(instrument instrument539)
	(supports instrument539 spectrograph18)
	(calibration_target instrument539 Star0)
	(instrument instrument540)
	(supports instrument540 thermograph34)
	(supports instrument540 spectrograph19)
	(calibration_target instrument540 GroundStation4)
	(calibration_target instrument540 GroundStation3)
	(on_board instrument530 satellite25)
	(on_board instrument531 satellite25)
	(on_board instrument532 satellite25)
	(on_board instrument533 satellite25)
	(on_board instrument534 satellite25)
	(on_board instrument535 satellite25)
	(on_board instrument536 satellite25)
	(on_board instrument537 satellite25)
	(on_board instrument538 satellite25)
	(on_board instrument539 satellite25)
	(on_board instrument540 satellite25)
	(power_avail satellite25)
	(pointing satellite25 Phenomenon27)
	(satellite satellite26)
	(instrument instrument541)
	(supports instrument541 thermograph14)
	(calibration_target instrument541 Star0)
	(calibration_target instrument541 Star10)
	(calibration_target instrument541 Star1)
	(calibration_target instrument541 GroundStation4)
	(calibration_target instrument541 Star19)
	(calibration_target instrument541 Star9)
	(instrument instrument542)
	(supports instrument542 infrared28)
	(calibration_target instrument542 GroundStation15)
	(calibration_target instrument542 Star0)
	(calibration_target instrument542 Star8)
	(calibration_target instrument542 Star19)
	(calibration_target instrument542 GroundStation7)
	(calibration_target instrument542 Star12)
	(instrument instrument543)
	(supports instrument543 image6)
	(supports instrument543 thermograph5)
	(calibration_target instrument543 Star10)
	(calibration_target instrument543 Star8)
	(calibration_target instrument543 GroundStation3)
	(instrument instrument544)
	(supports instrument544 thermograph4)
	(supports instrument544 thermograph5)
	(supports instrument544 infrared23)
	(calibration_target instrument544 Star12)
	(instrument instrument545)
	(supports instrument545 spectrograph35)
	(supports instrument545 spectrograph17)
	(supports instrument545 image6)
	(calibration_target instrument545 GroundStation11)
	(calibration_target instrument545 GroundStation17)
	(calibration_target instrument545 GroundStation6)
	(calibration_target instrument545 GroundStation3)
	(calibration_target instrument545 GroundStation7)
	(instrument instrument546)
	(supports instrument546 infrared23)
	(supports instrument546 thermograph26)
	(supports instrument546 image29)
	(calibration_target instrument546 GroundStation2)
	(calibration_target instrument546 Star5)
	(calibration_target instrument546 Star16)
	(calibration_target instrument546 Star0)
	(calibration_target instrument546 GroundStation14)
	(instrument instrument547)
	(supports instrument547 image6)
	(supports instrument547 thermograph12)
	(calibration_target instrument547 GroundStation11)
	(instrument instrument548)
	(supports instrument548 thermograph26)
	(supports instrument548 image31)
	(calibration_target instrument548 Star12)
	(calibration_target instrument548 Star8)
	(instrument instrument549)
	(supports instrument549 thermograph2)
	(supports instrument549 image21)
	(supports instrument549 spectrograph17)
	(calibration_target instrument549 Star9)
	(calibration_target instrument549 GroundStation6)
	(instrument instrument550)
	(supports instrument550 image29)
	(supports instrument550 infrared33)
	(calibration_target instrument550 Star1)
	(calibration_target instrument550 GroundStation17)
	(calibration_target instrument550 GroundStation3)
	(instrument instrument551)
	(supports instrument551 image31)
	(supports instrument551 spectrograph24)
	(supports instrument551 infrared25)
	(calibration_target instrument551 Star1)
	(calibration_target instrument551 Star16)
	(instrument instrument552)
	(supports instrument552 thermograph5)
	(supports instrument552 thermograph7)
	(supports instrument552 image21)
	(calibration_target instrument552 GroundStation2)
	(instrument instrument553)
	(supports instrument553 spectrograph35)
	(calibration_target instrument553 GroundStation6)
	(instrument instrument554)
	(supports instrument554 thermograph27)
	(supports instrument554 thermograph36)
	(supports instrument554 image38)
	(calibration_target instrument554 Star1)
	(calibration_target instrument554 Star9)
	(calibration_target instrument554 GroundStation17)
	(calibration_target instrument554 Star12)
	(on_board instrument541 satellite26)
	(on_board instrument542 satellite26)
	(on_board instrument543 satellite26)
	(on_board instrument544 satellite26)
	(on_board instrument545 satellite26)
	(on_board instrument546 satellite26)
	(on_board instrument547 satellite26)
	(on_board instrument548 satellite26)
	(on_board instrument549 satellite26)
	(on_board instrument550 satellite26)
	(on_board instrument551 satellite26)
	(on_board instrument552 satellite26)
	(on_board instrument553 satellite26)
	(on_board instrument554 satellite26)
	(power_avail satellite26)
	(pointing satellite26 Planet29)
	(satellite satellite27)
	(instrument instrument555)
	(supports instrument555 thermograph14)
	(supports instrument555 spectrograph35)
	(supports instrument555 thermograph39)
	(calibration_target instrument555 GroundStation11)
	(instrument instrument556)
	(supports instrument556 infrared33)
	(supports instrument556 infrared9)
	(calibration_target instrument556 Star0)
	(calibration_target instrument556 Star5)
	(calibration_target instrument556 Star18)
	(calibration_target instrument556 Star12)
	(calibration_target instrument556 GroundStation4)
	(instrument instrument557)
	(supports instrument557 infrared1)
	(supports instrument557 image6)
	(calibration_target instrument557 Star19)
	(instrument instrument558)
	(supports instrument558 thermograph34)
	(calibration_target instrument558 GroundStation2)
	(on_board instrument555 satellite27)
	(on_board instrument556 satellite27)
	(on_board instrument557 satellite27)
	(on_board instrument558 satellite27)
	(power_avail satellite27)
	(pointing satellite27 Planet85)
	(satellite satellite28)
	(instrument instrument559)
	(supports instrument559 thermograph36)
	(supports instrument559 spectrograph35)
	(calibration_target instrument559 GroundStation14)
	(calibration_target instrument559 Star19)
	(calibration_target instrument559 GroundStation4)
	(calibration_target instrument559 GroundStation3)
	(calibration_target instrument559 Star0)
	(calibration_target instrument559 Star10)
	(instrument instrument560)
	(supports instrument560 thermograph34)
	(supports instrument560 thermograph7)
	(supports instrument560 infrared11)
	(calibration_target instrument560 Star10)
	(calibration_target instrument560 GroundStation11)
	(instrument instrument561)
	(supports instrument561 thermograph8)
	(supports instrument561 thermograph27)
	(supports instrument561 thermograph5)
	(calibration_target instrument561 GroundStation14)
	(calibration_target instrument561 Star8)
	(calibration_target instrument561 Star5)
	(calibration_target instrument561 GroundStation3)
	(calibration_target instrument561 GroundStation7)
	(instrument instrument562)
	(supports instrument562 image10)
	(supports instrument562 infrared37)
	(supports instrument562 image38)
	(calibration_target instrument562 Star13)
	(calibration_target instrument562 GroundStation7)
	(calibration_target instrument562 Star19)
	(calibration_target instrument562 GroundStation14)
	(calibration_target instrument562 Star18)
	(calibration_target instrument562 Star10)
	(instrument instrument563)
	(supports instrument563 spectrograph22)
	(calibration_target instrument563 GroundStation14)
	(calibration_target instrument563 Star13)
	(calibration_target instrument563 GroundStation7)
	(calibration_target instrument563 Star12)
	(calibration_target instrument563 GroundStation3)
	(instrument instrument564)
	(supports instrument564 spectrograph22)
	(supports instrument564 thermograph39)
	(supports instrument564 infrared0)
	(calibration_target instrument564 GroundStation11)
	(calibration_target instrument564 Star16)
	(calibration_target instrument564 Star0)
	(calibration_target instrument564 GroundStation17)
	(instrument instrument565)
	(supports instrument565 thermograph15)
	(calibration_target instrument565 Star8)
	(calibration_target instrument565 GroundStation2)
	(on_board instrument559 satellite28)
	(on_board instrument560 satellite28)
	(on_board instrument561 satellite28)
	(on_board instrument562 satellite28)
	(on_board instrument563 satellite28)
	(on_board instrument564 satellite28)
	(on_board instrument565 satellite28)
	(power_avail satellite28)
	(pointing satellite28 Star45)
	(satellite satellite29)
	(instrument instrument566)
	(supports instrument566 image21)
	(supports instrument566 infrared16)
	(supports instrument566 spectrograph22)
	(calibration_target instrument566 Star9)
	(calibration_target instrument566 GroundStation7)
	(calibration_target instrument566 Star19)
	(instrument instrument567)
	(supports instrument567 spectrograph18)
	(calibration_target instrument567 GroundStation7)
	(calibration_target instrument567 GroundStation15)
	(calibration_target instrument567 Star19)
	(calibration_target instrument567 Star8)
	(instrument instrument568)
	(supports instrument568 infrared37)
	(supports instrument568 infrared33)
	(calibration_target instrument568 Star10)
	(calibration_target instrument568 GroundStation17)
	(calibration_target instrument568 GroundStation7)
	(instrument instrument569)
	(supports instrument569 infrared0)
	(supports instrument569 infrared11)
	(supports instrument569 thermograph12)
	(calibration_target instrument569 GroundStation4)
	(calibration_target instrument569 Star8)
	(calibration_target instrument569 GroundStation2)
	(calibration_target instrument569 Star5)
	(calibration_target instrument569 GroundStation3)
	(calibration_target instrument569 Star19)
	(instrument instrument570)
	(supports instrument570 infrared33)
	(supports instrument570 spectrograph22)
	(calibration_target instrument570 Star0)
	(calibration_target instrument570 GroundStation17)
	(calibration_target instrument570 Star9)
	(calibration_target instrument570 Star5)
	(calibration_target instrument570 GroundStation2)
	(calibration_target instrument570 GroundStation4)
	(instrument instrument571)
	(supports instrument571 spectrograph24)
	(calibration_target instrument571 Star12)
	(calibration_target instrument571 GroundStation6)
	(calibration_target instrument571 Star0)
	(instrument instrument572)
	(supports instrument572 thermograph13)
	(supports instrument572 spectrograph17)
	(calibration_target instrument572 Star9)
	(calibration_target instrument572 Star5)
	(calibration_target instrument572 GroundStation7)
	(calibration_target instrument572 GroundStation4)
	(calibration_target instrument572 GroundStation3)
	(calibration_target instrument572 GroundStation11)
	(on_board instrument566 satellite29)
	(on_board instrument567 satellite29)
	(on_board instrument568 satellite29)
	(on_board instrument569 satellite29)
	(on_board instrument570 satellite29)
	(on_board instrument571 satellite29)
	(on_board instrument572 satellite29)
	(power_avail satellite29)
	(pointing satellite29 GroundStation6)
	(satellite satellite30)
	(instrument instrument573)
	(supports instrument573 thermograph26)
	(supports instrument573 spectrograph19)
	(supports instrument573 thermograph12)
	(calibration_target instrument573 Star8)
	(instrument instrument574)
	(supports instrument574 spectrograph32)
	(supports instrument574 infrared23)
	(supports instrument574 thermograph20)
	(calibration_target instrument574 Star9)
	(calibration_target instrument574 GroundStation4)
	(calibration_target instrument574 Star10)
	(calibration_target instrument574 GroundStation6)
	(calibration_target instrument574 Star19)
	(calibration_target instrument574 GroundStation3)
	(instrument instrument575)
	(supports instrument575 spectrograph19)
	(supports instrument575 thermograph13)
	(supports instrument575 spectrograph17)
	(calibration_target instrument575 GroundStation3)
	(calibration_target instrument575 GroundStation6)
	(instrument instrument576)
	(supports instrument576 thermograph12)
	(supports instrument576 thermograph2)
	(supports instrument576 thermograph36)
	(calibration_target instrument576 GroundStation6)
	(calibration_target instrument576 GroundStation2)
	(calibration_target instrument576 Star1)
	(calibration_target instrument576 GroundStation3)
	(calibration_target instrument576 GroundStation15)
	(calibration_target instrument576 Star9)
	(instrument instrument577)
	(supports instrument577 thermograph12)
	(supports instrument577 infrared16)
	(supports instrument577 thermograph27)
	(calibration_target instrument577 GroundStation7)
	(calibration_target instrument577 Star0)
	(calibration_target instrument577 GroundStation17)
	(instrument instrument578)
	(supports instrument578 infrared11)
	(calibration_target instrument578 GroundStation7)
	(calibration_target instrument578 Star8)
	(calibration_target instrument578 Star13)
	(calibration_target instrument578 Star5)
	(calibration_target instrument578 GroundStation11)
	(calibration_target instrument578 Star0)
	(instrument instrument579)
	(supports instrument579 infrared16)
	(supports instrument579 infrared11)
	(calibration_target instrument579 Star16)
	(calibration_target instrument579 GroundStation11)
	(calibration_target instrument579 Star13)
	(calibration_target instrument579 GroundStation6)
	(calibration_target instrument579 Star12)
	(calibration_target instrument579 GroundStation4)
	(instrument instrument580)
	(supports instrument580 infrared0)
	(supports instrument580 image21)
	(calibration_target instrument580 Star16)
	(calibration_target instrument580 Star5)
	(calibration_target instrument580 GroundStation4)
	(instrument instrument581)
	(supports instrument581 spectrograph22)
	(supports instrument581 spectrograph35)
	(calibration_target instrument581 Star1)
	(calibration_target instrument581 GroundStation11)
	(calibration_target instrument581 GroundStation4)
	(calibration_target instrument581 GroundStation15)
	(calibration_target instrument581 Star12)
	(calibration_target instrument581 Star16)
	(instrument instrument582)
	(supports instrument582 thermograph15)
	(supports instrument582 thermograph4)
	(supports instrument582 thermograph13)
	(calibration_target instrument582 GroundStation7)
	(instrument instrument583)
	(supports instrument583 thermograph4)
	(supports instrument583 infrared1)
	(calibration_target instrument583 Star12)
	(calibration_target instrument583 Star8)
	(instrument instrument584)
	(supports instrument584 image38)
	(calibration_target instrument584 GroundStation14)
	(calibration_target instrument584 GroundStation4)
	(calibration_target instrument584 GroundStation3)
	(instrument instrument585)
	(supports instrument585 image31)
	(supports instrument585 spectrograph19)
	(supports instrument585 infrared23)
	(calibration_target instrument585 Star5)
	(calibration_target instrument585 GroundStation2)
	(calibration_target instrument585 Star19)
	(instrument instrument586)
	(supports instrument586 infrared1)
	(supports instrument586 spectrograph3)
	(supports instrument586 spectrograph17)
	(calibration_target instrument586 GroundStation6)
	(calibration_target instrument586 GroundStation3)
	(calibration_target instrument586 GroundStation7)
	(calibration_target instrument586 GroundStation14)
	(calibration_target instrument586 GroundStation15)
	(instrument instrument587)
	(supports instrument587 infrared37)
	(supports instrument587 spectrograph3)
	(calibration_target instrument587 GroundStation11)
	(calibration_target instrument587 GroundStation7)
	(calibration_target instrument587 Star19)
	(calibration_target instrument587 GroundStation6)
	(instrument instrument588)
	(supports instrument588 thermograph26)
	(calibration_target instrument588 GroundStation7)
	(calibration_target instrument588 Star1)
	(calibration_target instrument588 GroundStation3)
	(calibration_target instrument588 GroundStation11)
	(calibration_target instrument588 GroundStation6)
	(calibration_target instrument588 GroundStation4)
	(instrument instrument589)
	(supports instrument589 spectrograph3)
	(calibration_target instrument589 Star10)
	(calibration_target instrument589 GroundStation2)
	(calibration_target instrument589 Star8)
	(calibration_target instrument589 Star18)
	(calibration_target instrument589 GroundStation7)
	(calibration_target instrument589 GroundStation4)
	(instrument instrument590)
	(supports instrument590 spectrograph19)
	(supports instrument590 thermograph27)
	(supports instrument590 image31)
	(calibration_target instrument590 GroundStation2)
	(calibration_target instrument590 GroundStation3)
	(calibration_target instrument590 Star1)
	(calibration_target instrument590 Star18)
	(calibration_target instrument590 Star12)
	(instrument instrument591)
	(supports instrument591 image29)
	(supports instrument591 image21)
	(calibration_target instrument591 Star0)
	(calibration_target instrument591 Star9)
	(calibration_target instrument591 Star18)
	(instrument instrument592)
	(supports instrument592 thermograph4)
	(supports instrument592 thermograph7)
	(supports instrument592 image10)
	(calibration_target instrument592 GroundStation14)
	(calibration_target instrument592 Star16)
	(calibration_target instrument592 GroundStation15)
	(instrument instrument593)
	(supports instrument593 image38)
	(supports instrument593 infrared23)
	(supports instrument593 spectrograph35)
	(calibration_target instrument593 GroundStation3)
	(calibration_target instrument593 Star13)
	(calibration_target instrument593 Star12)
	(calibration_target instrument593 Star18)
	(calibration_target instrument593 Star9)
	(calibration_target instrument593 GroundStation14)
	(instrument instrument594)
	(supports instrument594 thermograph20)
	(supports instrument594 infrared37)
	(supports instrument594 infrared23)
	(calibration_target instrument594 Star18)
	(instrument instrument595)
	(supports instrument595 thermograph14)
	(supports instrument595 spectrograph32)
	(calibration_target instrument595 Star13)
	(calibration_target instrument595 GroundStation4)
	(calibration_target instrument595 Star0)
	(calibration_target instrument595 GroundStation15)
	(instrument instrument596)
	(supports instrument596 infrared33)
	(supports instrument596 infrared0)
	(supports instrument596 infrared1)
	(calibration_target instrument596 Star10)
	(calibration_target instrument596 GroundStation7)
	(calibration_target instrument596 GroundStation11)
	(calibration_target instrument596 Star18)
	(calibration_target instrument596 Star19)
	(calibration_target instrument596 Star9)
	(instrument instrument597)
	(supports instrument597 spectrograph24)
	(supports instrument597 infrared16)
	(calibration_target instrument597 Star0)
	(calibration_target instrument597 GroundStation17)
	(calibration_target instrument597 GroundStation14)
	(instrument instrument598)
	(supports instrument598 infrared1)
	(supports instrument598 thermograph34)
	(supports instrument598 image38)
	(calibration_target instrument598 GroundStation15)
	(calibration_target instrument598 Star1)
	(calibration_target instrument598 Star12)
	(calibration_target instrument598 GroundStation4)
	(calibration_target instrument598 Star18)
	(instrument instrument599)
	(supports instrument599 thermograph14)
	(calibration_target instrument599 Star18)
	(instrument instrument600)
	(supports instrument600 thermograph5)
	(calibration_target instrument600 GroundStation11)
	(instrument instrument601)
	(supports instrument601 thermograph27)
	(supports instrument601 thermograph14)
	(supports instrument601 thermograph4)
	(calibration_target instrument601 Star18)
	(instrument instrument602)
	(supports instrument602 infrared25)
	(supports instrument602 thermograph12)
	(supports instrument602 infrared0)
	(calibration_target instrument602 Star19)
	(calibration_target instrument602 Star5)
	(calibration_target instrument602 GroundStation15)
	(instrument instrument603)
	(supports instrument603 spectrograph17)
	(supports instrument603 infrared16)
	(calibration_target instrument603 Star16)
	(calibration_target instrument603 Star18)
	(calibration_target instrument603 GroundStation7)
	(calibration_target instrument603 GroundStation6)
	(instrument instrument604)
	(supports instrument604 infrared16)
	(calibration_target instrument604 Star8)
	(calibration_target instrument604 GroundStation11)
	(calibration_target instrument604 Star16)
	(calibration_target instrument604 GroundStation7)
	(calibration_target instrument604 GroundStation3)
	(calibration_target instrument604 GroundStation6)
	(instrument instrument605)
	(supports instrument605 thermograph4)
	(supports instrument605 thermograph15)
	(calibration_target instrument605 Star9)
	(calibration_target instrument605 Star18)
	(calibration_target instrument605 GroundStation15)
	(calibration_target instrument605 GroundStation6)
	(calibration_target instrument605 Star16)
	(calibration_target instrument605 Star0)
	(instrument instrument606)
	(supports instrument606 infrared28)
	(supports instrument606 infrared23)
	(calibration_target instrument606 GroundStation11)
	(calibration_target instrument606 Star19)
	(calibration_target instrument606 GroundStation3)
	(calibration_target instrument606 Star16)
	(instrument instrument607)
	(supports instrument607 spectrograph17)
	(calibration_target instrument607 Star1)
	(calibration_target instrument607 GroundStation15)
	(calibration_target instrument607 Star13)
	(calibration_target instrument607 GroundStation17)
	(calibration_target instrument607 Star16)
	(instrument instrument608)
	(supports instrument608 image21)
	(supports instrument608 image10)
	(calibration_target instrument608 GroundStation6)
	(instrument instrument609)
	(supports instrument609 thermograph20)
	(supports instrument609 infrared1)
	(calibration_target instrument609 GroundStation14)
	(calibration_target instrument609 GroundStation4)
	(instrument instrument610)
	(supports instrument610 image31)
	(supports instrument610 image21)
	(calibration_target instrument610 Star18)
	(calibration_target instrument610 Star1)
	(calibration_target instrument610 Star8)
	(calibration_target instrument610 Star13)
	(instrument instrument611)
	(supports instrument611 infrared25)
	(calibration_target instrument611 GroundStation15)
	(calibration_target instrument611 Star8)
	(calibration_target instrument611 Star0)
	(calibration_target instrument611 GroundStation2)
	(calibration_target instrument611 Star9)
	(on_board instrument573 satellite30)
	(on_board instrument574 satellite30)
	(on_board instrument575 satellite30)
	(on_board instrument576 satellite30)
	(on_board instrument577 satellite30)
	(on_board instrument578 satellite30)
	(on_board instrument579 satellite30)
	(on_board instrument580 satellite30)
	(on_board instrument581 satellite30)
	(on_board instrument582 satellite30)
	(on_board instrument583 satellite30)
	(on_board instrument584 satellite30)
	(on_board instrument585 satellite30)
	(on_board instrument586 satellite30)
	(on_board instrument587 satellite30)
	(on_board instrument588 satellite30)
	(on_board instrument589 satellite30)
	(on_board instrument590 satellite30)
	(on_board instrument591 satellite30)
	(on_board instrument592 satellite30)
	(on_board instrument593 satellite30)
	(on_board instrument594 satellite30)
	(on_board instrument595 satellite30)
	(on_board instrument596 satellite30)
	(on_board instrument597 satellite30)
	(on_board instrument598 satellite30)
	(on_board instrument599 satellite30)
	(on_board instrument600 satellite30)
	(on_board instrument601 satellite30)
	(on_board instrument602 satellite30)
	(on_board instrument603 satellite30)
	(on_board instrument604 satellite30)
	(on_board instrument605 satellite30)
	(on_board instrument606 satellite30)
	(on_board instrument607 satellite30)
	(on_board instrument608 satellite30)
	(on_board instrument609 satellite30)
	(on_board instrument610 satellite30)
	(on_board instrument611 satellite30)
	(power_avail satellite30)
	(pointing satellite30 Star41)
	(satellite satellite31)
	(instrument instrument612)
	(supports instrument612 spectrograph17)
	(supports instrument612 infrared11)
	(calibration_target instrument612 Star13)
	(calibration_target instrument612 GroundStation4)
	(calibration_target instrument612 GroundStation17)
	(calibration_target instrument612 Star12)
	(calibration_target instrument612 Star8)
	(instrument instrument613)
	(supports instrument613 spectrograph17)
	(supports instrument613 spectrograph24)
	(calibration_target instrument613 GroundStation11)
	(calibration_target instrument613 GroundStation17)
	(calibration_target instrument613 Star5)
	(calibration_target instrument613 GroundStation2)
	(instrument instrument614)
	(supports instrument614 infrared1)
	(calibration_target instrument614 GroundStation11)
	(instrument instrument615)
	(supports instrument615 image21)
	(supports instrument615 infrared16)
	(calibration_target instrument615 Star9)
	(calibration_target instrument615 Star16)
	(instrument instrument616)
	(supports instrument616 thermograph39)
	(calibration_target instrument616 GroundStation3)
	(calibration_target instrument616 GroundStation14)
	(calibration_target instrument616 Star19)
	(calibration_target instrument616 Star5)
	(calibration_target instrument616 Star1)
	(calibration_target instrument616 Star13)
	(instrument instrument617)
	(supports instrument617 infrared25)
	(supports instrument617 image38)
	(calibration_target instrument617 Star16)
	(calibration_target instrument617 Star9)
	(calibration_target instrument617 GroundStation2)
	(calibration_target instrument617 GroundStation7)
	(instrument instrument618)
	(supports instrument618 infrared25)
	(supports instrument618 thermograph8)
	(supports instrument618 infrared33)
	(calibration_target instrument618 GroundStation15)
	(instrument instrument619)
	(supports instrument619 thermograph14)
	(calibration_target instrument619 Star10)
	(calibration_target instrument619 GroundStation3)
	(calibration_target instrument619 Star0)
	(calibration_target instrument619 GroundStation11)
	(instrument instrument620)
	(supports instrument620 image29)
	(supports instrument620 thermograph26)
	(supports instrument620 infrared0)
	(calibration_target instrument620 GroundStation11)
	(calibration_target instrument620 Star18)
	(calibration_target instrument620 Star1)
	(calibration_target instrument620 GroundStation3)
	(calibration_target instrument620 GroundStation4)
	(calibration_target instrument620 Star16)
	(instrument instrument621)
	(supports instrument621 thermograph14)
	(supports instrument621 thermograph15)
	(supports instrument621 infrared9)
	(calibration_target instrument621 GroundStation11)
	(calibration_target instrument621 GroundStation6)
	(calibration_target instrument621 GroundStation17)
	(instrument instrument622)
	(supports instrument622 thermograph7)
	(supports instrument622 thermograph39)
	(supports instrument622 infrared16)
	(calibration_target instrument622 GroundStation6)
	(calibration_target instrument622 Star13)
	(calibration_target instrument622 GroundStation2)
	(calibration_target instrument622 Star1)
	(instrument instrument623)
	(supports instrument623 thermograph27)
	(supports instrument623 thermograph36)
	(calibration_target instrument623 Star8)
	(instrument instrument624)
	(supports instrument624 image29)
	(calibration_target instrument624 GroundStation17)
	(calibration_target instrument624 GroundStation2)
	(calibration_target instrument624 Star19)
	(calibration_target instrument624 Star18)
	(calibration_target instrument624 GroundStation6)
	(instrument instrument625)
	(supports instrument625 thermograph12)
	(supports instrument625 infrared37)
	(calibration_target instrument625 GroundStation15)
	(instrument instrument626)
	(supports instrument626 spectrograph18)
	(supports instrument626 infrared33)
	(calibration_target instrument626 Star18)
	(instrument instrument627)
	(supports instrument627 thermograph13)
	(supports instrument627 spectrograph35)
	(calibration_target instrument627 GroundStation14)
	(calibration_target instrument627 Star18)
	(calibration_target instrument627 Star12)
	(calibration_target instrument627 GroundStation17)
	(calibration_target instrument627 Star8)
	(instrument instrument628)
	(supports instrument628 thermograph5)
	(calibration_target instrument628 GroundStation2)
	(calibration_target instrument628 Star8)
	(calibration_target instrument628 GroundStation11)
	(calibration_target instrument628 Star5)
	(calibration_target instrument628 GroundStation14)
	(calibration_target instrument628 Star13)
	(instrument instrument629)
	(supports instrument629 infrared30)
	(calibration_target instrument629 Star16)
	(calibration_target instrument629 Star10)
	(calibration_target instrument629 Star12)
	(calibration_target instrument629 GroundStation6)
	(calibration_target instrument629 Star0)
	(instrument instrument630)
	(supports instrument630 thermograph39)
	(supports instrument630 infrared16)
	(supports instrument630 thermograph27)
	(calibration_target instrument630 GroundStation11)
	(calibration_target instrument630 Star18)
	(calibration_target instrument630 Star8)
	(calibration_target instrument630 GroundStation4)
	(calibration_target instrument630 Star13)
	(calibration_target instrument630 GroundStation2)
	(instrument instrument631)
	(supports instrument631 image10)
	(supports instrument631 infrared30)
	(supports instrument631 infrared9)
	(calibration_target instrument631 Star9)
	(calibration_target instrument631 Star19)
	(calibration_target instrument631 Star8)
	(instrument instrument632)
	(supports instrument632 spectrograph3)
	(calibration_target instrument632 GroundStation4)
	(instrument instrument633)
	(supports instrument633 infrared25)
	(supports instrument633 thermograph12)
	(supports instrument633 thermograph8)
	(calibration_target instrument633 Star5)
	(calibration_target instrument633 GroundStation2)
	(calibration_target instrument633 Star0)
	(calibration_target instrument633 Star9)
	(calibration_target instrument633 GroundStation17)
	(calibration_target instrument633 GroundStation3)
	(instrument instrument634)
	(supports instrument634 image21)
	(supports instrument634 infrared25)
	(supports instrument634 thermograph27)
	(calibration_target instrument634 Star9)
	(calibration_target instrument634 Star5)
	(calibration_target instrument634 Star10)
	(calibration_target instrument634 GroundStation2)
	(instrument instrument635)
	(supports instrument635 infrared25)
	(calibration_target instrument635 Star10)
	(calibration_target instrument635 Star18)
	(instrument instrument636)
	(supports instrument636 thermograph26)
	(calibration_target instrument636 Star16)
	(instrument instrument637)
	(supports instrument637 infrared11)
	(calibration_target instrument637 Star9)
	(calibration_target instrument637 Star1)
	(calibration_target instrument637 Star12)
	(calibration_target instrument637 GroundStation4)
	(calibration_target instrument637 Star19)
	(instrument instrument638)
	(supports instrument638 spectrograph19)
	(supports instrument638 spectrograph24)
	(calibration_target instrument638 Star13)
	(calibration_target instrument638 GroundStation7)
	(calibration_target instrument638 Star9)
	(calibration_target instrument638 GroundStation6)
	(calibration_target instrument638 Star8)
	(on_board instrument612 satellite31)
	(on_board instrument613 satellite31)
	(on_board instrument614 satellite31)
	(on_board instrument615 satellite31)
	(on_board instrument616 satellite31)
	(on_board instrument617 satellite31)
	(on_board instrument618 satellite31)
	(on_board instrument619 satellite31)
	(on_board instrument620 satellite31)
	(on_board instrument621 satellite31)
	(on_board instrument622 satellite31)
	(on_board instrument623 satellite31)
	(on_board instrument624 satellite31)
	(on_board instrument625 satellite31)
	(on_board instrument626 satellite31)
	(on_board instrument627 satellite31)
	(on_board instrument628 satellite31)
	(on_board instrument629 satellite31)
	(on_board instrument630 satellite31)
	(on_board instrument631 satellite31)
	(on_board instrument632 satellite31)
	(on_board instrument633 satellite31)
	(on_board instrument634 satellite31)
	(on_board instrument635 satellite31)
	(on_board instrument636 satellite31)
	(on_board instrument637 satellite31)
	(on_board instrument638 satellite31)
	(power_avail satellite31)
	(pointing satellite31 GroundStation3)
	(satellite satellite32)
	(instrument instrument639)
	(supports instrument639 infrared1)
	(calibration_target instrument639 Star19)
	(calibration_target instrument639 Star1)
	(instrument instrument640)
	(supports instrument640 image10)
	(supports instrument640 spectrograph22)
	(supports instrument640 thermograph34)
	(calibration_target instrument640 Star5)
	(calibration_target instrument640 Star13)
	(calibration_target instrument640 Star19)
	(calibration_target instrument640 GroundStation2)
	(calibration_target instrument640 GroundStation7)
	(instrument instrument641)
	(supports instrument641 thermograph7)
	(supports instrument641 thermograph8)
	(supports instrument641 thermograph4)
	(calibration_target instrument641 Star5)
	(calibration_target instrument641 Star18)
	(on_board instrument639 satellite32)
	(on_board instrument640 satellite32)
	(on_board instrument641 satellite32)
	(power_avail satellite32)
	(pointing satellite32 Star38)
	(satellite satellite33)
	(instrument instrument642)
	(supports instrument642 thermograph27)
	(calibration_target instrument642 Star10)
	(calibration_target instrument642 Star12)
	(calibration_target instrument642 GroundStation3)
	(calibration_target instrument642 GroundStation17)
	(calibration_target instrument642 Star8)
	(calibration_target instrument642 Star1)
	(instrument instrument643)
	(supports instrument643 thermograph12)
	(supports instrument643 infrared1)
	(supports instrument643 thermograph34)
	(calibration_target instrument643 Star8)
	(calibration_target instrument643 Star0)
	(calibration_target instrument643 Star9)
	(calibration_target instrument643 GroundStation3)
	(calibration_target instrument643 Star13)
	(calibration_target instrument643 GroundStation14)
	(instrument instrument644)
	(supports instrument644 image31)
	(supports instrument644 thermograph20)
	(supports instrument644 thermograph14)
	(calibration_target instrument644 Star19)
	(calibration_target instrument644 Star10)
	(calibration_target instrument644 Star8)
	(instrument instrument645)
	(supports instrument645 spectrograph3)
	(calibration_target instrument645 GroundStation15)
	(calibration_target instrument645 GroundStation6)
	(instrument instrument646)
	(supports instrument646 thermograph14)
	(calibration_target instrument646 GroundStation17)
	(instrument instrument647)
	(supports instrument647 infrared25)
	(supports instrument647 spectrograph3)
	(calibration_target instrument647 GroundStation7)
	(instrument instrument648)
	(supports instrument648 infrared25)
	(supports instrument648 thermograph20)
	(calibration_target instrument648 GroundStation4)
	(calibration_target instrument648 Star18)
	(calibration_target instrument648 GroundStation17)
	(calibration_target instrument648 GroundStation3)
	(instrument instrument649)
	(supports instrument649 thermograph36)
	(calibration_target instrument649 Star13)
	(calibration_target instrument649 Star1)
	(calibration_target instrument649 GroundStation3)
	(calibration_target instrument649 Star8)
	(instrument instrument650)
	(supports instrument650 spectrograph17)
	(supports instrument650 thermograph8)
	(calibration_target instrument650 GroundStation2)
	(calibration_target instrument650 Star8)
	(calibration_target instrument650 GroundStation11)
	(calibration_target instrument650 GroundStation14)
	(calibration_target instrument650 Star9)
	(calibration_target instrument650 Star16)
	(instrument instrument651)
	(supports instrument651 spectrograph22)
	(calibration_target instrument651 Star19)
	(calibration_target instrument651 Star16)
	(calibration_target instrument651 GroundStation11)
	(calibration_target instrument651 GroundStation14)
	(instrument instrument652)
	(supports instrument652 spectrograph24)
	(calibration_target instrument652 GroundStation7)
	(calibration_target instrument652 Star16)
	(calibration_target instrument652 Star0)
	(calibration_target instrument652 Star5)
	(calibration_target instrument652 GroundStation2)
	(calibration_target instrument652 GroundStation15)
	(instrument instrument653)
	(supports instrument653 infrared23)
	(supports instrument653 infrared25)
	(supports instrument653 thermograph26)
	(calibration_target instrument653 GroundStation7)
	(calibration_target instrument653 GroundStation6)
	(calibration_target instrument653 Star1)
	(calibration_target instrument653 Star18)
	(calibration_target instrument653 Star5)
	(instrument instrument654)
	(supports instrument654 spectrograph19)
	(supports instrument654 spectrograph35)
	(calibration_target instrument654 Star18)
	(calibration_target instrument654 GroundStation4)
	(calibration_target instrument654 Star19)
	(instrument instrument655)
	(supports instrument655 spectrograph24)
	(supports instrument655 image29)
	(calibration_target instrument655 GroundStation6)
	(calibration_target instrument655 Star1)
	(calibration_target instrument655 GroundStation11)
	(calibration_target instrument655 Star19)
	(calibration_target instrument655 GroundStation2)
	(instrument instrument656)
	(supports instrument656 spectrograph19)
	(supports instrument656 infrared0)
	(supports instrument656 thermograph26)
	(calibration_target instrument656 GroundStation15)
	(calibration_target instrument656 GroundStation7)
	(calibration_target instrument656 Star9)
	(calibration_target instrument656 Star1)
	(calibration_target instrument656 GroundStation11)
	(calibration_target instrument656 Star18)
	(instrument instrument657)
	(supports instrument657 spectrograph19)
	(calibration_target instrument657 GroundStation15)
	(calibration_target instrument657 GroundStation6)
	(instrument instrument658)
	(supports instrument658 image31)
	(supports instrument658 infrared11)
	(calibration_target instrument658 GroundStation3)
	(instrument instrument659)
	(supports instrument659 image31)
	(calibration_target instrument659 Star8)
	(calibration_target instrument659 GroundStation7)
	(calibration_target instrument659 Star0)
	(instrument instrument660)
	(supports instrument660 infrared9)
	(supports instrument660 infrared30)
	(calibration_target instrument660 GroundStation2)
	(calibration_target instrument660 Star9)
	(calibration_target instrument660 Star8)
	(instrument instrument661)
	(supports instrument661 infrared9)
	(supports instrument661 spectrograph18)
	(calibration_target instrument661 Star12)
	(calibration_target instrument661 GroundStation15)
	(instrument instrument662)
	(supports instrument662 infrared9)
	(calibration_target instrument662 GroundStation3)
	(calibration_target instrument662 GroundStation17)
	(calibration_target instrument662 Star9)
	(calibration_target instrument662 Star13)
	(calibration_target instrument662 GroundStation4)
	(instrument instrument663)
	(supports instrument663 thermograph27)
	(supports instrument663 image10)
	(calibration_target instrument663 Star9)
	(calibration_target instrument663 Star10)
	(calibration_target instrument663 GroundStation17)
	(calibration_target instrument663 GroundStation6)
	(calibration_target instrument663 GroundStation15)
	(calibration_target instrument663 Star5)
	(instrument instrument664)
	(supports instrument664 thermograph7)
	(calibration_target instrument664 GroundStation14)
	(instrument instrument665)
	(supports instrument665 image38)
	(supports instrument665 thermograph7)
	(supports instrument665 infrared11)
	(calibration_target instrument665 GroundStation3)
	(calibration_target instrument665 Star1)
	(calibration_target instrument665 GroundStation2)
	(instrument instrument666)
	(supports instrument666 spectrograph22)
	(calibration_target instrument666 Star16)
	(calibration_target instrument666 GroundStation15)
	(calibration_target instrument666 GroundStation2)
	(calibration_target instrument666 GroundStation4)
	(calibration_target instrument666 GroundStation7)
	(calibration_target instrument666 Star19)
	(instrument instrument667)
	(supports instrument667 infrared33)
	(supports instrument667 thermograph26)
	(supports instrument667 infrared0)
	(calibration_target instrument667 GroundStation17)
	(calibration_target instrument667 GroundStation4)
	(calibration_target instrument667 Star5)
	(instrument instrument668)
	(supports instrument668 spectrograph24)
	(supports instrument668 infrared30)
	(calibration_target instrument668 Star19)
	(calibration_target instrument668 Star5)
	(calibration_target instrument668 Star12)
	(calibration_target instrument668 Star1)
	(calibration_target instrument668 GroundStation4)
	(instrument instrument669)
	(supports instrument669 thermograph5)
	(supports instrument669 thermograph26)
	(supports instrument669 infrared1)
	(calibration_target instrument669 GroundStation14)
	(calibration_target instrument669 Star19)
	(calibration_target instrument669 Star0)
	(calibration_target instrument669 GroundStation11)
	(calibration_target instrument669 GroundStation17)
	(calibration_target instrument669 GroundStation7)
	(instrument instrument670)
	(supports instrument670 thermograph20)
	(calibration_target instrument670 GroundStation14)
	(calibration_target instrument670 Star19)
	(calibration_target instrument670 GroundStation3)
	(calibration_target instrument670 Star10)
	(instrument instrument671)
	(supports instrument671 image21)
	(supports instrument671 thermograph8)
	(calibration_target instrument671 GroundStation4)
	(calibration_target instrument671 GroundStation2)
	(instrument instrument672)
	(supports instrument672 infrared9)
	(supports instrument672 image31)
	(supports instrument672 spectrograph24)
	(calibration_target instrument672 Star18)
	(calibration_target instrument672 Star1)
	(instrument instrument673)
	(supports instrument673 spectrograph18)
	(calibration_target instrument673 GroundStation7)
	(calibration_target instrument673 Star1)
	(calibration_target instrument673 Star9)
	(calibration_target instrument673 Star5)
	(on_board instrument642 satellite33)
	(on_board instrument643 satellite33)
	(on_board instrument644 satellite33)
	(on_board instrument645 satellite33)
	(on_board instrument646 satellite33)
	(on_board instrument647 satellite33)
	(on_board instrument648 satellite33)
	(on_board instrument649 satellite33)
	(on_board instrument650 satellite33)
	(on_board instrument651 satellite33)
	(on_board instrument652 satellite33)
	(on_board instrument653 satellite33)
	(on_board instrument654 satellite33)
	(on_board instrument655 satellite33)
	(on_board instrument656 satellite33)
	(on_board instrument657 satellite33)
	(on_board instrument658 satellite33)
	(on_board instrument659 satellite33)
	(on_board instrument660 satellite33)
	(on_board instrument661 satellite33)
	(on_board instrument662 satellite33)
	(on_board instrument663 satellite33)
	(on_board instrument664 satellite33)
	(on_board instrument665 satellite33)
	(on_board instrument666 satellite33)
	(on_board instrument667 satellite33)
	(on_board instrument668 satellite33)
	(on_board instrument669 satellite33)
	(on_board instrument670 satellite33)
	(on_board instrument671 satellite33)
	(on_board instrument672 satellite33)
	(on_board instrument673 satellite33)
	(power_avail satellite33)
	(pointing satellite33 Phenomenon80)
	(satellite satellite34)
	(instrument instrument674)
	(supports instrument674 infrared28)
	(supports instrument674 thermograph12)
	(calibration_target instrument674 Star5)
	(calibration_target instrument674 Star9)
	(calibration_target instrument674 Star12)
	(calibration_target instrument674 Star19)
	(calibration_target instrument674 GroundStation6)
	(instrument instrument675)
	(supports instrument675 thermograph8)
	(supports instrument675 infrared11)
	(calibration_target instrument675 Star5)
	(calibration_target instrument675 Star12)
	(calibration_target instrument675 GroundStation17)
	(instrument instrument676)
	(supports instrument676 thermograph36)
	(supports instrument676 thermograph15)
	(calibration_target instrument676 GroundStation11)
	(calibration_target instrument676 GroundStation17)
	(calibration_target instrument676 GroundStation14)
	(calibration_target instrument676 Star1)
	(calibration_target instrument676 Star5)
	(instrument instrument677)
	(supports instrument677 thermograph5)
	(supports instrument677 image6)
	(calibration_target instrument677 Star19)
	(calibration_target instrument677 Star16)
	(calibration_target instrument677 GroundStation7)
	(instrument instrument678)
	(supports instrument678 image6)
	(supports instrument678 spectrograph32)
	(calibration_target instrument678 Star9)
	(calibration_target instrument678 Star5)
	(calibration_target instrument678 GroundStation4)
	(calibration_target instrument678 GroundStation7)
	(calibration_target instrument678 Star16)
	(instrument instrument679)
	(supports instrument679 image29)
	(supports instrument679 infrared9)
	(supports instrument679 thermograph34)
	(calibration_target instrument679 GroundStation3)
	(instrument instrument680)
	(supports instrument680 infrared9)
	(supports instrument680 thermograph36)
	(calibration_target instrument680 GroundStation17)
	(calibration_target instrument680 Star8)
	(calibration_target instrument680 Star1)
	(calibration_target instrument680 Star19)
	(calibration_target instrument680 Star13)
	(calibration_target instrument680 GroundStation11)
	(instrument instrument681)
	(supports instrument681 thermograph7)
	(calibration_target instrument681 GroundStation11)
	(instrument instrument682)
	(supports instrument682 infrared16)
	(calibration_target instrument682 Star0)
	(instrument instrument683)
	(supports instrument683 infrared25)
	(supports instrument683 thermograph26)
	(supports instrument683 infrared37)
	(calibration_target instrument683 GroundStation15)
	(instrument instrument684)
	(supports instrument684 infrared37)
	(supports instrument684 spectrograph18)
	(supports instrument684 thermograph26)
	(calibration_target instrument684 Star12)
	(calibration_target instrument684 GroundStation15)
	(calibration_target instrument684 GroundStation11)
	(instrument instrument685)
	(supports instrument685 spectrograph24)
	(calibration_target instrument685 Star16)
	(calibration_target instrument685 GroundStation11)
	(calibration_target instrument685 GroundStation17)
	(calibration_target instrument685 Star12)
	(calibration_target instrument685 Star0)
	(instrument instrument686)
	(supports instrument686 spectrograph22)
	(supports instrument686 infrared37)
	(supports instrument686 image6)
	(calibration_target instrument686 Star16)
	(calibration_target instrument686 GroundStation15)
	(calibration_target instrument686 GroundStation7)
	(instrument instrument687)
	(supports instrument687 infrared11)
	(calibration_target instrument687 GroundStation14)
	(calibration_target instrument687 GroundStation7)
	(instrument instrument688)
	(supports instrument688 infrared16)
	(supports instrument688 infrared1)
	(supports instrument688 spectrograph19)
	(calibration_target instrument688 GroundStation6)
	(calibration_target instrument688 Star5)
	(calibration_target instrument688 Star0)
	(calibration_target instrument688 Star9)
	(calibration_target instrument688 GroundStation3)
	(instrument instrument689)
	(supports instrument689 infrared11)
	(supports instrument689 thermograph4)
	(supports instrument689 thermograph7)
	(calibration_target instrument689 Star12)
	(calibration_target instrument689 GroundStation7)
	(calibration_target instrument689 GroundStation6)
	(calibration_target instrument689 GroundStation14)
	(instrument instrument690)
	(supports instrument690 infrared0)
	(supports instrument690 thermograph4)
	(calibration_target instrument690 GroundStation2)
	(calibration_target instrument690 GroundStation17)
	(calibration_target instrument690 Star9)
	(instrument instrument691)
	(supports instrument691 spectrograph19)
	(calibration_target instrument691 Star12)
	(instrument instrument692)
	(supports instrument692 spectrograph19)
	(supports instrument692 infrared1)
	(supports instrument692 infrared9)
	(calibration_target instrument692 Star12)
	(calibration_target instrument692 GroundStation11)
	(calibration_target instrument692 Star0)
	(calibration_target instrument692 Star8)
	(calibration_target instrument692 Star10)
	(calibration_target instrument692 Star5)
	(instrument instrument693)
	(supports instrument693 thermograph27)
	(supports instrument693 infrared9)
	(calibration_target instrument693 GroundStation17)
	(calibration_target instrument693 GroundStation7)
	(calibration_target instrument693 Star19)
	(instrument instrument694)
	(supports instrument694 infrared25)
	(calibration_target instrument694 GroundStation15)
	(calibration_target instrument694 Star5)
	(instrument instrument695)
	(supports instrument695 spectrograph35)
	(calibration_target instrument695 Star8)
	(instrument instrument696)
	(supports instrument696 spectrograph24)
	(supports instrument696 image31)
	(calibration_target instrument696 Star12)
	(calibration_target instrument696 Star9)
	(calibration_target instrument696 Star0)
	(calibration_target instrument696 Star8)
	(instrument instrument697)
	(supports instrument697 spectrograph19)
	(supports instrument697 image29)
	(calibration_target instrument697 GroundStation4)
	(calibration_target instrument697 Star12)
	(calibration_target instrument697 Star18)
	(calibration_target instrument697 Star1)
	(instrument instrument698)
	(supports instrument698 thermograph5)
	(supports instrument698 infrared30)
	(calibration_target instrument698 GroundStation7)
	(calibration_target instrument698 Star18)
	(calibration_target instrument698 Star5)
	(calibration_target instrument698 Star12)
	(calibration_target instrument698 Star19)
	(instrument instrument699)
	(supports instrument699 thermograph15)
	(calibration_target instrument699 Star10)
	(calibration_target instrument699 GroundStation11)
	(calibration_target instrument699 GroundStation17)
	(calibration_target instrument699 GroundStation3)
	(calibration_target instrument699 Star5)
	(calibration_target instrument699 Star18)
	(instrument instrument700)
	(supports instrument700 thermograph26)
	(supports instrument700 spectrograph35)
	(calibration_target instrument700 Star18)
	(on_board instrument674 satellite34)
	(on_board instrument675 satellite34)
	(on_board instrument676 satellite34)
	(on_board instrument677 satellite34)
	(on_board instrument678 satellite34)
	(on_board instrument679 satellite34)
	(on_board instrument680 satellite34)
	(on_board instrument681 satellite34)
	(on_board instrument682 satellite34)
	(on_board instrument683 satellite34)
	(on_board instrument684 satellite34)
	(on_board instrument685 satellite34)
	(on_board instrument686 satellite34)
	(on_board instrument687 satellite34)
	(on_board instrument688 satellite34)
	(on_board instrument689 satellite34)
	(on_board instrument690 satellite34)
	(on_board instrument691 satellite34)
	(on_board instrument692 satellite34)
	(on_board instrument693 satellite34)
	(on_board instrument694 satellite34)
	(on_board instrument695 satellite34)
	(on_board instrument696 satellite34)
	(on_board instrument697 satellite34)
	(on_board instrument698 satellite34)
	(on_board instrument699 satellite34)
	(on_board instrument700 satellite34)
	(power_avail satellite34)
	(pointing satellite34 Planet77)
	(satellite satellite35)
	(instrument instrument701)
	(supports instrument701 spectrograph18)
	(calibration_target instrument701 Star9)
	(calibration_target instrument701 GroundStation17)
	(calibration_target instrument701 Star10)
	(calibration_target instrument701 GroundStation7)
	(calibration_target instrument701 GroundStation14)
	(calibration_target instrument701 GroundStation2)
	(instrument instrument702)
	(supports instrument702 image10)
	(supports instrument702 infrared33)
	(calibration_target instrument702 GroundStation11)
	(instrument instrument703)
	(supports instrument703 thermograph34)
	(calibration_target instrument703 GroundStation7)
	(calibration_target instrument703 GroundStation11)
	(calibration_target instrument703 GroundStation14)
	(calibration_target instrument703 Star8)
	(instrument instrument704)
	(supports instrument704 spectrograph17)
	(supports instrument704 infrared30)
	(calibration_target instrument704 Star16)
	(calibration_target instrument704 Star18)
	(instrument instrument705)
	(supports instrument705 image6)
	(supports instrument705 thermograph7)
	(calibration_target instrument705 Star0)
	(calibration_target instrument705 GroundStation3)
	(calibration_target instrument705 GroundStation6)
	(calibration_target instrument705 Star5)
	(instrument instrument706)
	(supports instrument706 infrared37)
	(supports instrument706 thermograph36)
	(calibration_target instrument706 GroundStation2)
	(calibration_target instrument706 Star1)
	(instrument instrument707)
	(supports instrument707 image29)
	(calibration_target instrument707 Star8)
	(calibration_target instrument707 GroundStation6)
	(calibration_target instrument707 GroundStation11)
	(calibration_target instrument707 Star18)
	(calibration_target instrument707 GroundStation3)
	(instrument instrument708)
	(supports instrument708 thermograph20)
	(supports instrument708 infrared9)
	(calibration_target instrument708 Star10)
	(instrument instrument709)
	(supports instrument709 image31)
	(supports instrument709 thermograph7)
	(supports instrument709 infrared0)
	(calibration_target instrument709 Star12)
	(calibration_target instrument709 Star18)
	(calibration_target instrument709 GroundStation4)
	(calibration_target instrument709 Star0)
	(calibration_target instrument709 Star8)
	(calibration_target instrument709 Star5)
	(instrument instrument710)
	(supports instrument710 infrared0)
	(calibration_target instrument710 GroundStation7)
	(calibration_target instrument710 GroundStation4)
	(calibration_target instrument710 Star8)
	(calibration_target instrument710 Star0)
	(calibration_target instrument710 Star19)
	(instrument instrument711)
	(supports instrument711 spectrograph3)
	(supports instrument711 image29)
	(calibration_target instrument711 GroundStation6)
	(calibration_target instrument711 Star19)
	(instrument instrument712)
	(supports instrument712 thermograph39)
	(supports instrument712 thermograph8)
	(supports instrument712 spectrograph24)
	(calibration_target instrument712 Star9)
	(instrument instrument713)
	(supports instrument713 thermograph26)
	(supports instrument713 spectrograph35)
	(supports instrument713 thermograph8)
	(calibration_target instrument713 GroundStation14)
	(calibration_target instrument713 GroundStation2)
	(calibration_target instrument713 GroundStation11)
	(instrument instrument714)
	(supports instrument714 spectrograph22)
	(supports instrument714 thermograph12)
	(calibration_target instrument714 Star8)
	(calibration_target instrument714 GroundStation7)
	(calibration_target instrument714 GroundStation11)
	(calibration_target instrument714 Star5)
	(calibration_target instrument714 GroundStation14)
	(instrument instrument715)
	(supports instrument715 thermograph8)
	(supports instrument715 thermograph34)
	(calibration_target instrument715 GroundStation15)
	(calibration_target instrument715 Star16)
	(calibration_target instrument715 Star10)
	(calibration_target instrument715 GroundStation6)
	(instrument instrument716)
	(supports instrument716 spectrograph19)
	(supports instrument716 thermograph39)
	(calibration_target instrument716 Star10)
	(calibration_target instrument716 GroundStation3)
	(calibration_target instrument716 Star16)
	(calibration_target instrument716 GroundStation17)
	(calibration_target instrument716 GroundStation6)
	(instrument instrument717)
	(supports instrument717 image38)
	(calibration_target instrument717 GroundStation17)
	(calibration_target instrument717 Star12)
	(instrument instrument718)
	(supports instrument718 thermograph4)
	(supports instrument718 spectrograph35)
	(supports instrument718 thermograph34)
	(calibration_target instrument718 Star9)
	(calibration_target instrument718 GroundStation11)
	(calibration_target instrument718 GroundStation6)
	(instrument instrument719)
	(supports instrument719 spectrograph32)
	(supports instrument719 image38)
	(supports instrument719 thermograph7)
	(calibration_target instrument719 GroundStation17)
	(calibration_target instrument719 Star16)
	(calibration_target instrument719 GroundStation4)
	(instrument instrument720)
	(supports instrument720 image21)
	(calibration_target instrument720 GroundStation14)
	(calibration_target instrument720 GroundStation2)
	(instrument instrument721)
	(supports instrument721 spectrograph22)
	(supports instrument721 thermograph15)
	(supports instrument721 thermograph27)
	(calibration_target instrument721 Star0)
	(calibration_target instrument721 Star9)
	(calibration_target instrument721 GroundStation17)
	(calibration_target instrument721 GroundStation6)
	(instrument instrument722)
	(supports instrument722 infrared25)
	(supports instrument722 image29)
	(supports instrument722 infrared0)
	(calibration_target instrument722 GroundStation15)
	(calibration_target instrument722 Star5)
	(calibration_target instrument722 GroundStation6)
	(calibration_target instrument722 Star16)
	(instrument instrument723)
	(supports instrument723 spectrograph18)
	(calibration_target instrument723 Star13)
	(instrument instrument724)
	(supports instrument724 thermograph7)
	(calibration_target instrument724 GroundStation3)
	(instrument instrument725)
	(supports instrument725 thermograph7)
	(calibration_target instrument725 Star13)
	(instrument instrument726)
	(supports instrument726 infrared25)
	(calibration_target instrument726 Star8)
	(instrument instrument727)
	(supports instrument727 spectrograph32)
	(supports instrument727 spectrograph35)
	(calibration_target instrument727 Star8)
	(calibration_target instrument727 GroundStation14)
	(calibration_target instrument727 Star16)
	(calibration_target instrument727 Star9)
	(calibration_target instrument727 Star12)
	(calibration_target instrument727 GroundStation17)
	(instrument instrument728)
	(supports instrument728 infrared28)
	(supports instrument728 thermograph34)
	(calibration_target instrument728 GroundStation2)
	(calibration_target instrument728 Star16)
	(calibration_target instrument728 Star13)
	(calibration_target instrument728 Star0)
	(calibration_target instrument728 Star12)
	(instrument instrument729)
	(supports instrument729 infrared0)
	(supports instrument729 image21)
	(supports instrument729 thermograph8)
	(calibration_target instrument729 Star8)
	(calibration_target instrument729 Star19)
	(calibration_target instrument729 GroundStation15)
	(calibration_target instrument729 GroundStation4)
	(calibration_target instrument729 GroundStation3)
	(instrument instrument730)
	(supports instrument730 image31)
	(calibration_target instrument730 Star5)
	(calibration_target instrument730 Star18)
	(calibration_target instrument730 GroundStation6)
	(calibration_target instrument730 GroundStation2)
	(instrument instrument731)
	(supports instrument731 spectrograph35)
	(calibration_target instrument731 GroundStation11)
	(calibration_target instrument731 Star8)
	(calibration_target instrument731 Star0)
	(calibration_target instrument731 Star5)
	(instrument instrument732)
	(supports instrument732 infrared33)
	(calibration_target instrument732 GroundStation15)
	(calibration_target instrument732 Star9)
	(calibration_target instrument732 GroundStation14)
	(calibration_target instrument732 Star16)
	(instrument instrument733)
	(supports instrument733 image21)
	(supports instrument733 image38)
	(supports instrument733 image10)
	(calibration_target instrument733 Star18)
	(calibration_target instrument733 GroundStation17)
	(calibration_target instrument733 Star0)
	(calibration_target instrument733 GroundStation4)
	(instrument instrument734)
	(supports instrument734 thermograph36)
	(calibration_target instrument734 GroundStation14)
	(calibration_target instrument734 GroundStation3)
	(calibration_target instrument734 Star10)
	(instrument instrument735)
	(supports instrument735 image38)
	(supports instrument735 thermograph27)
	(calibration_target instrument735 GroundStation6)
	(calibration_target instrument735 GroundStation15)
	(calibration_target instrument735 GroundStation14)
	(calibration_target instrument735 Star10)
	(instrument instrument736)
	(supports instrument736 thermograph20)
	(calibration_target instrument736 Star8)
	(calibration_target instrument736 GroundStation6)
	(instrument instrument737)
	(supports instrument737 thermograph15)
	(supports instrument737 image38)
	(calibration_target instrument737 Star10)
	(calibration_target instrument737 Star5)
	(calibration_target instrument737 GroundStation2)
	(calibration_target instrument737 GroundStation7)
	(on_board instrument701 satellite35)
	(on_board instrument702 satellite35)
	(on_board instrument703 satellite35)
	(on_board instrument704 satellite35)
	(on_board instrument705 satellite35)
	(on_board instrument706 satellite35)
	(on_board instrument707 satellite35)
	(on_board instrument708 satellite35)
	(on_board instrument709 satellite35)
	(on_board instrument710 satellite35)
	(on_board instrument711 satellite35)
	(on_board instrument712 satellite35)
	(on_board instrument713 satellite35)
	(on_board instrument714 satellite35)
	(on_board instrument715 satellite35)
	(on_board instrument716 satellite35)
	(on_board instrument717 satellite35)
	(on_board instrument718 satellite35)
	(on_board instrument719 satellite35)
	(on_board instrument720 satellite35)
	(on_board instrument721 satellite35)
	(on_board instrument722 satellite35)
	(on_board instrument723 satellite35)
	(on_board instrument724 satellite35)
	(on_board instrument725 satellite35)
	(on_board instrument726 satellite35)
	(on_board instrument727 satellite35)
	(on_board instrument728 satellite35)
	(on_board instrument729 satellite35)
	(on_board instrument730 satellite35)
	(on_board instrument731 satellite35)
	(on_board instrument732 satellite35)
	(on_board instrument733 satellite35)
	(on_board instrument734 satellite35)
	(on_board instrument735 satellite35)
	(on_board instrument736 satellite35)
	(on_board instrument737 satellite35)
	(power_avail satellite35)
	(pointing satellite35 Star67)
	(satellite satellite36)
	(instrument instrument738)
	(supports instrument738 infrared23)
	(supports instrument738 thermograph14)
	(calibration_target instrument738 Star8)
	(calibration_target instrument738 GroundStation11)
	(calibration_target instrument738 GroundStation6)
	(instrument instrument739)
	(supports instrument739 spectrograph17)
	(supports instrument739 image6)
	(supports instrument739 spectrograph3)
	(calibration_target instrument739 Star10)
	(instrument instrument740)
	(supports instrument740 infrared30)
	(supports instrument740 infrared1)
	(calibration_target instrument740 GroundStation4)
	(calibration_target instrument740 GroundStation14)
	(calibration_target instrument740 Star5)
	(calibration_target instrument740 Star8)
	(calibration_target instrument740 Star10)
	(calibration_target instrument740 Star12)
	(instrument instrument741)
	(supports instrument741 image38)
	(calibration_target instrument741 GroundStation15)
	(calibration_target instrument741 GroundStation2)
	(calibration_target instrument741 GroundStation4)
	(calibration_target instrument741 Star13)
	(calibration_target instrument741 GroundStation17)
	(calibration_target instrument741 Star12)
	(instrument instrument742)
	(supports instrument742 infrared28)
	(supports instrument742 infrared11)
	(supports instrument742 image6)
	(calibration_target instrument742 GroundStation14)
	(calibration_target instrument742 Star8)
	(calibration_target instrument742 GroundStation17)
	(calibration_target instrument742 Star5)
	(calibration_target instrument742 Star12)
	(calibration_target instrument742 Star13)
	(on_board instrument738 satellite36)
	(on_board instrument739 satellite36)
	(on_board instrument740 satellite36)
	(on_board instrument741 satellite36)
	(on_board instrument742 satellite36)
	(power_avail satellite36)
	(pointing satellite36 Planet52)
	(satellite satellite37)
	(instrument instrument743)
	(supports instrument743 thermograph13)
	(supports instrument743 infrared30)
	(calibration_target instrument743 GroundStation11)
	(calibration_target instrument743 Star0)
	(calibration_target instrument743 GroundStation7)
	(instrument instrument744)
	(supports instrument744 thermograph36)
	(calibration_target instrument744 Star0)
	(instrument instrument745)
	(supports instrument745 image21)
	(supports instrument745 thermograph12)
	(supports instrument745 infrared9)
	(calibration_target instrument745 Star16)
	(calibration_target instrument745 GroundStation14)
	(calibration_target instrument745 Star18)
	(instrument instrument746)
	(supports instrument746 thermograph34)
	(supports instrument746 spectrograph3)
	(supports instrument746 thermograph14)
	(calibration_target instrument746 Star19)
	(calibration_target instrument746 Star8)
	(calibration_target instrument746 GroundStation7)
	(calibration_target instrument746 GroundStation15)
	(calibration_target instrument746 GroundStation3)
	(instrument instrument747)
	(supports instrument747 thermograph7)
	(supports instrument747 thermograph8)
	(supports instrument747 thermograph36)
	(calibration_target instrument747 GroundStation6)
	(calibration_target instrument747 GroundStation17)
	(calibration_target instrument747 Star8)
	(calibration_target instrument747 GroundStation2)
	(calibration_target instrument747 GroundStation3)
	(instrument instrument748)
	(supports instrument748 thermograph39)
	(supports instrument748 thermograph14)
	(supports instrument748 infrared1)
	(calibration_target instrument748 GroundStation15)
	(calibration_target instrument748 Star19)
	(calibration_target instrument748 Star0)
	(calibration_target instrument748 Star12)
	(calibration_target instrument748 Star10)
	(instrument instrument749)
	(supports instrument749 spectrograph24)
	(calibration_target instrument749 Star8)
	(calibration_target instrument749 Star19)
	(instrument instrument750)
	(supports instrument750 thermograph8)
	(supports instrument750 infrared16)
	(calibration_target instrument750 GroundStation15)
	(calibration_target instrument750 GroundStation4)
	(instrument instrument751)
	(supports instrument751 spectrograph19)
	(supports instrument751 image31)
	(calibration_target instrument751 Star12)
	(calibration_target instrument751 Star9)
	(calibration_target instrument751 Star13)
	(instrument instrument752)
	(supports instrument752 infrared25)
	(supports instrument752 thermograph13)
	(calibration_target instrument752 GroundStation2)
	(calibration_target instrument752 GroundStation6)
	(calibration_target instrument752 GroundStation15)
	(calibration_target instrument752 Star10)
	(instrument instrument753)
	(supports instrument753 infrared16)
	(calibration_target instrument753 Star18)
	(calibration_target instrument753 Star1)
	(calibration_target instrument753 Star0)
	(calibration_target instrument753 GroundStation3)
	(instrument instrument754)
	(supports instrument754 thermograph15)
	(supports instrument754 thermograph5)
	(supports instrument754 thermograph13)
	(calibration_target instrument754 Star13)
	(calibration_target instrument754 Star9)
	(calibration_target instrument754 Star0)
	(instrument instrument755)
	(supports instrument755 image29)
	(supports instrument755 thermograph13)
	(calibration_target instrument755 GroundStation2)
	(calibration_target instrument755 GroundStation6)
	(calibration_target instrument755 Star18)
	(instrument instrument756)
	(supports instrument756 spectrograph19)
	(calibration_target instrument756 GroundStation11)
	(instrument instrument757)
	(supports instrument757 thermograph27)
	(supports instrument757 spectrograph24)
	(calibration_target instrument757 Star1)
	(calibration_target instrument757 GroundStation3)
	(calibration_target instrument757 Star18)
	(instrument instrument758)
	(supports instrument758 thermograph2)
	(calibration_target instrument758 GroundStation7)
	(on_board instrument743 satellite37)
	(on_board instrument744 satellite37)
	(on_board instrument745 satellite37)
	(on_board instrument746 satellite37)
	(on_board instrument747 satellite37)
	(on_board instrument748 satellite37)
	(on_board instrument749 satellite37)
	(on_board instrument750 satellite37)
	(on_board instrument751 satellite37)
	(on_board instrument752 satellite37)
	(on_board instrument753 satellite37)
	(on_board instrument754 satellite37)
	(on_board instrument755 satellite37)
	(on_board instrument756 satellite37)
	(on_board instrument757 satellite37)
	(on_board instrument758 satellite37)
	(power_avail satellite37)
	(pointing satellite37 Planet79)
	(satellite satellite38)
	(instrument instrument759)
	(supports instrument759 thermograph39)
	(supports instrument759 infrared11)
	(supports instrument759 spectrograph19)
	(calibration_target instrument759 Star19)
	(calibration_target instrument759 GroundStation14)
	(calibration_target instrument759 Star18)
	(calibration_target instrument759 GroundStation15)
	(calibration_target instrument759 Star9)
	(instrument instrument760)
	(supports instrument760 image6)
	(supports instrument760 spectrograph17)
	(supports instrument760 infrared11)
	(calibration_target instrument760 Star10)
	(calibration_target instrument760 Star5)
	(calibration_target instrument760 Star1)
	(instrument instrument761)
	(supports instrument761 image6)
	(supports instrument761 infrared1)
	(supports instrument761 infrared30)
	(calibration_target instrument761 GroundStation3)
	(instrument instrument762)
	(supports instrument762 spectrograph3)
	(supports instrument762 thermograph2)
	(calibration_target instrument762 GroundStation11)
	(calibration_target instrument762 GroundStation15)
	(calibration_target instrument762 Star8)
	(calibration_target instrument762 Star16)
	(calibration_target instrument762 Star19)
	(on_board instrument759 satellite38)
	(on_board instrument760 satellite38)
	(on_board instrument761 satellite38)
	(on_board instrument762 satellite38)
	(power_avail satellite38)
	(pointing satellite38 Phenomenon81)
	(mode infrared37)
	(mode thermograph26)
	(mode thermograph4)
	(mode spectrograph22)
	(mode spectrograph18)
	(mode spectrograph32)
	(mode infrared0)
	(mode spectrograph35)
	(mode infrared33)
	(mode image10)
	(mode thermograph20)
	(mode infrared23)
	(mode image38)
	(mode infrared28)
	(mode infrared9)
	(mode thermograph12)
	(mode image21)
	(mode thermograph34)
	(mode thermograph36)
	(mode thermograph7)
	(mode thermograph14)
	(mode thermograph8)
	(mode image31)
	(mode infrared25)
	(mode infrared16)
	(mode thermograph5)
	(mode thermograph15)
	(mode thermograph13)
	(mode image29)
	(mode spectrograph24)
	(mode thermograph27)
	(mode spectrograph19)
	(mode thermograph39)
	(mode infrared11)
	(mode spectrograph17)
	(mode infrared30)
	(mode infrared1)
	(mode image6)
	(mode thermograph2)
	(mode spectrograph3)
	(direction GroundStation17)
	(direction GroundStation4)
	(direction Star12)
	(direction Star0)
	(direction Star13)
	(direction GroundStation6)
	(direction GroundStation2)
	(direction GroundStation7)
	(direction Star9)
	(direction Star18)
	(direction GroundStation14)
	(direction Star1)
	(direction Star5)
	(direction Star10)
	(direction GroundStation3)
	(direction Star19)
	(direction Star16)
	(direction Star8)
	(direction GroundStation15)
	(direction GroundStation11)
	(direction Phenomenon20)
	(direction Planet21)
	(direction Phenomenon22)
	(direction Planet23)
	(direction Star24)
	(direction Star25)
	(direction Star26)
	(direction Phenomenon27)
	(direction Planet28)
	(direction Planet29)
	(direction Star30)
	(direction Phenomenon31)
	(direction Star32)
	(direction Phenomenon33)
	(direction Phenomenon34)
	(direction Planet35)
	(direction Star36)
	(direction Star37)
	(direction Star38)
	(direction Planet39)
	(direction Planet40)
	(direction Star41)
	(direction Star42)
	(direction Planet43)
	(direction Planet44)
	(direction Star45)
	(direction Planet46)
	(direction Planet47)
	(direction Planet48)
	(direction Planet49)
	(direction Star50)
	(direction Planet51)
	(direction Planet52)
	(direction Star53)
	(direction Star54)
	(direction Phenomenon55)
	(direction Phenomenon56)
	(direction Star57)
	(direction Phenomenon58)
	(direction Planet59)
	(direction Star60)
	(direction Planet61)
	(direction Planet62)
	(direction Phenomenon63)
	(direction Planet64)
	(direction Phenomenon65)
	(direction Phenomenon66)
	(direction Star67)
	(direction Planet68)
	(direction Phenomenon69)
	(direction Planet70)
	(direction Phenomenon71)
	(direction Planet72)
	(direction Star73)
	(direction Planet74)
	(direction Phenomenon75)
	(direction Star76)
	(direction Planet77)
	(direction Phenomenon78)
	(direction Planet79)
	(direction Phenomenon80)
	(direction Phenomenon81)
	(direction Planet82)
	(direction Star83)
	(direction Planet84)
	(direction Planet85)
	(direction Phenomenon86)
	(direction Phenomenon87)
	(direction Phenomenon88)
	(direction Star89)
	(direction Planet90)
	(direction Star91)
	(direction Star92)
	(direction Phenomenon93)
	(direction Phenomenon94)
	(direction Planet95)
	(direction Star96)
	(direction Star97)
	(direction Star98)
	(direction Phenomenon99)
)
(:goal (and
	(pointing satellite0 Phenomenon31)
	(pointing satellite1 Planet21)
	(pointing satellite2 Phenomenon81)
	(pointing satellite4 Planet68)
	(pointing satellite5 Star57)
	(pointing satellite9 Phenomenon65)
	(pointing satellite10 Planet23)
	(pointing satellite12 GroundStation7)
	(pointing satellite17 Phenomenon81)
	(pointing satellite19 Star30)
	(pointing satellite23 Planet72)
	(pointing satellite24 Star91)
	(pointing satellite26 Phenomenon78)
	(pointing satellite27 Star19)
	(pointing satellite30 Planet95)
	(pointing satellite31 Star5)
	(pointing satellite32 Planet43)
	(pointing satellite35 Star1)
	(pointing satellite38 Star54)
	(have_image Phenomenon20 spectrograph18)
	(have_image Phenomenon20 infrared28)
	(have_image Phenomenon20 spectrograph17)
	(have_image Phenomenon20 infrared37)
	(have_image Phenomenon20 infrared9)
	(have_image Phenomenon20 thermograph39)
	(have_image Phenomenon20 thermograph15)
	(have_image Phenomenon20 image21)
	(have_image Phenomenon22 infrared25)
	(have_image Phenomenon22 image38)
	(have_image Phenomenon22 thermograph34)
	(have_image Phenomenon22 infrared11)
	(have_image Phenomenon22 image6)
	(have_image Phenomenon22 infrared23)
	(have_image Planet23 infrared1)
	(have_image Planet23 thermograph15)
	(have_image Planet23 infrared30)
	(have_image Planet23 thermograph12)
	(have_image Planet23 infrared33)
	(have_image Planet23 spectrograph3)
	(have_image Planet23 spectrograph17)
	(have_image Planet23 infrared0)
	(have_image Planet23 infrared9)
	(have_image Planet23 image31)
	(have_image Planet23 thermograph26)
	(have_image Planet23 spectrograph32)
	(have_image Planet23 spectrograph19)
	(have_image Star24 spectrograph17)
	(have_image Star24 thermograph27)
	(have_image Star24 image6)
	(have_image Star24 image31)
	(have_image Star24 infrared11)
	(have_image Star24 spectrograph3)
	(have_image Star24 image10)
	(have_image Star24 infrared37)
	(have_image Star25 infrared25)
	(have_image Star25 image21)
	(have_image Star25 spectrograph22)
	(have_image Star25 image31)
	(have_image Star25 spectrograph35)
	(have_image Star25 thermograph34)
	(have_image Star25 spectrograph3)
	(have_image Star25 infrared16)
	(have_image Star25 infrared30)
	(have_image Star25 spectrograph18)
	(have_image Star26 thermograph39)
	(have_image Star26 spectrograph17)
	(have_image Star26 thermograph27)
	(have_image Star26 thermograph36)
	(have_image Star26 infrared37)
	(have_image Star26 infrared16)
	(have_image Phenomenon27 spectrograph22)
	(have_image Phenomenon27 thermograph2)
	(have_image Phenomenon27 thermograph4)
	(have_image Phenomenon27 infrared11)
	(have_image Phenomenon27 thermograph7)
	(have_image Phenomenon27 thermograph12)
	(have_image Phenomenon27 spectrograph18)
	(have_image Phenomenon27 image38)
	(have_image Phenomenon27 thermograph5)
	(have_image Phenomenon27 spectrograph32)
	(have_image Phenomenon27 image21)
	(have_image Phenomenon27 thermograph34)
	(have_image Planet28 image21)
	(have_image Planet28 infrared23)
	(have_image Planet28 infrared1)
	(have_image Planet29 infrared0)
	(have_image Planet29 image38)
	(have_image Planet29 infrared23)
	(have_image Planet29 thermograph39)
	(have_image Planet29 thermograph2)
	(have_image Planet29 thermograph27)
	(have_image Planet29 infrared33)
	(have_image Planet29 thermograph34)
	(have_image Planet29 infrared28)
	(have_image Planet29 spectrograph24)
	(have_image Planet29 thermograph13)
	(have_image Planet29 thermograph8)
	(have_image Star30 infrared0)
	(have_image Star30 thermograph8)
	(have_image Star30 thermograph2)
	(have_image Star30 thermograph14)
	(have_image Star30 spectrograph17)
	(have_image Star30 thermograph7)
	(have_image Star30 image29)
	(have_image Star30 thermograph12)
	(have_image Star30 infrared11)
	(have_image Phenomenon31 thermograph13)
	(have_image Phenomenon31 spectrograph3)
	(have_image Phenomenon31 thermograph39)
	(have_image Phenomenon31 infrared23)
	(have_image Phenomenon31 infrared9)
	(have_image Phenomenon31 thermograph20)
	(have_image Phenomenon31 thermograph34)
	(have_image Phenomenon31 image21)
	(have_image Phenomenon31 thermograph26)
	(have_image Phenomenon31 spectrograph22)
	(have_image Phenomenon31 thermograph12)
	(have_image Star32 image21)
	(have_image Star32 image10)
	(have_image Star32 thermograph7)
	(have_image Star32 infrared23)
	(have_image Star32 thermograph12)
	(have_image Phenomenon33 thermograph15)
	(have_image Phenomenon33 spectrograph18)
	(have_image Phenomenon33 thermograph34)
	(have_image Phenomenon33 thermograph7)
	(have_image Phenomenon33 spectrograph19)
	(have_image Phenomenon33 thermograph39)
	(have_image Phenomenon33 spectrograph22)
	(have_image Phenomenon33 thermograph13)
	(have_image Phenomenon33 image21)
	(have_image Phenomenon33 infrared25)
	(have_image Phenomenon33 spectrograph3)
	(have_image Phenomenon33 infrared37)
	(have_image Planet35 spectrograph35)
	(have_image Planet35 thermograph4)
	(have_image Planet35 thermograph2)
	(have_image Planet35 infrared30)
	(have_image Planet35 image21)
	(have_image Planet35 image38)
	(have_image Planet35 infrared11)
	(have_image Planet35 spectrograph19)
	(have_image Planet35 image31)
	(have_image Planet35 infrared37)
	(have_image Planet35 image6)
	(have_image Planet35 spectrograph17)
	(have_image Planet35 spectrograph24)
	(have_image Star37 thermograph20)
	(have_image Star38 thermograph15)
	(have_image Star38 thermograph8)
	(have_image Star38 infrared1)
	(have_image Star38 thermograph20)
	(have_image Star38 thermograph12)
	(have_image Star38 thermograph36)
	(have_image Star38 spectrograph18)
	(have_image Star38 thermograph7)
	(have_image Planet39 infrared33)
	(have_image Planet39 infrared1)
	(have_image Planet39 thermograph27)
	(have_image Planet39 infrared30)
	(have_image Planet39 infrared25)
	(have_image Planet40 infrared11)
	(have_image Planet40 thermograph36)
	(have_image Planet40 infrared16)
	(have_image Planet40 image31)
	(have_image Planet40 spectrograph17)
	(have_image Planet40 image38)
	(have_image Planet40 thermograph5)
	(have_image Planet40 infrared37)
	(have_image Planet40 infrared28)
	(have_image Planet40 infrared1)
	(have_image Planet40 spectrograph22)
	(have_image Star41 image6)
	(have_image Star42 spectrograph22)
	(have_image Planet43 thermograph5)
	(have_image Planet43 thermograph7)
	(have_image Planet43 spectrograph35)
	(have_image Planet43 spectrograph22)
	(have_image Planet43 image21)
	(have_image Planet43 image10)
	(have_image Planet43 thermograph34)
	(have_image Planet43 thermograph4)
	(have_image Planet43 spectrograph32)
	(have_image Planet43 spectrograph24)
	(have_image Planet43 spectrograph3)
	(have_image Planet43 thermograph2)
	(have_image Planet44 infrared23)
	(have_image Planet44 thermograph2)
	(have_image Planet44 image6)
	(have_image Planet44 infrared0)
	(have_image Planet44 thermograph13)
	(have_image Planet44 spectrograph35)
	(have_image Planet44 spectrograph32)
	(have_image Planet44 infrared9)
	(have_image Planet44 image10)
	(have_image Planet44 thermograph5)
	(have_image Planet44 thermograph20)
	(have_image Planet44 spectrograph24)
	(have_image Planet44 infrared28)
	(have_image Star45 image6)
	(have_image Star45 infrared25)
	(have_image Star45 thermograph13)
	(have_image Star45 thermograph15)
	(have_image Star45 spectrograph3)
	(have_image Star45 infrared30)
	(have_image Star45 thermograph27)
	(have_image Star45 spectrograph32)
	(have_image Star45 thermograph4)
	(have_image Star45 thermograph5)
	(have_image Star45 spectrograph24)
	(have_image Planet46 spectrograph32)
	(have_image Planet46 infrared37)
	(have_image Planet46 thermograph27)
	(have_image Planet46 image38)
	(have_image Planet46 spectrograph35)
	(have_image Planet46 infrared16)
	(have_image Planet46 infrared1)
	(have_image Planet47 infrared25)
	(have_image Planet47 thermograph15)
	(have_image Planet47 image29)
	(have_image Planet47 thermograph39)
	(have_image Planet47 spectrograph3)
	(have_image Planet47 image21)
	(have_image Planet48 thermograph27)
	(have_image Planet48 thermograph26)
	(have_image Planet48 spectrograph35)
	(have_image Planet48 thermograph39)
	(have_image Planet48 thermograph12)
	(have_image Planet48 thermograph7)
	(have_image Planet48 thermograph5)
	(have_image Planet48 thermograph8)
	(have_image Planet48 thermograph4)
	(have_image Planet48 infrared11)
	(have_image Planet48 infrared23)
	(have_image Planet48 thermograph36)
	(have_image Planet48 infrared28)
	(have_image Planet49 infrared30)
	(have_image Planet49 thermograph2)
	(have_image Planet49 infrared16)
	(have_image Planet49 infrared37)
	(have_image Planet49 thermograph34)
	(have_image Planet49 thermograph15)
	(have_image Planet49 infrared28)
	(have_image Planet49 thermograph39)
	(have_image Planet49 spectrograph35)
	(have_image Star50 thermograph26)
	(have_image Star50 infrared9)
	(have_image Star50 spectrograph35)
	(have_image Star50 image21)
	(have_image Star50 spectrograph18)
	(have_image Star50 infrared23)
	(have_image Star50 infrared37)
	(have_image Star50 infrared11)
	(have_image Star50 thermograph36)
	(have_image Star50 spectrograph32)
	(have_image Star50 infrared33)
	(have_image Star50 thermograph2)
	(have_image Planet51 infrared30)
	(have_image Planet51 spectrograph18)
	(have_image Star53 thermograph15)
	(have_image Star53 infrared9)
	(have_image Star53 spectrograph22)
	(have_image Star53 infrared28)
	(have_image Star53 image10)
	(have_image Star53 thermograph39)
	(have_image Star53 spectrograph3)
	(have_image Star53 infrared23)
	(have_image Star53 infrared0)
	(have_image Star53 infrared1)
	(have_image Star54 spectrograph19)
	(have_image Phenomenon55 thermograph12)
	(have_image Phenomenon55 infrared1)
	(have_image Phenomenon55 image6)
	(have_image Phenomenon55 image38)
	(have_image Phenomenon55 image31)
	(have_image Phenomenon55 spectrograph17)
	(have_image Phenomenon55 thermograph26)
	(have_image Phenomenon55 infrared16)
	(have_image Phenomenon55 infrared25)
	(have_image Phenomenon55 thermograph2)
	(have_image Phenomenon55 thermograph4)
	(have_image Phenomenon55 infrared23)
	(have_image Star57 infrared33)
	(have_image Star57 infrared30)
	(have_image Phenomenon58 infrared37)
	(have_image Phenomenon58 image6)
	(have_image Phenomenon58 thermograph5)
	(have_image Planet59 thermograph12)
	(have_image Planet59 thermograph7)
	(have_image Planet59 thermograph36)
	(have_image Planet59 image21)
	(have_image Star60 infrared23)
	(have_image Star60 thermograph36)
	(have_image Star60 image6)
	(have_image Star60 infrared37)
	(have_image Star60 thermograph27)
	(have_image Star60 thermograph4)
	(have_image Star60 thermograph39)
	(have_image Star60 image38)
	(have_image Planet61 spectrograph24)
	(have_image Planet61 spectrograph22)
	(have_image Planet61 infrared30)
	(have_image Planet61 spectrograph3)
	(have_image Planet62 thermograph36)
	(have_image Planet62 infrared25)
	(have_image Planet62 infrared0)
	(have_image Planet62 thermograph5)
	(have_image Planet62 thermograph4)
	(have_image Planet62 spectrograph22)
	(have_image Planet62 image38)
	(have_image Planet62 infrared33)
	(have_image Phenomenon63 spectrograph35)
	(have_image Phenomenon63 infrared23)
	(have_image Phenomenon63 spectrograph18)
	(have_image Phenomenon63 spectrograph19)
	(have_image Phenomenon63 thermograph36)
	(have_image Phenomenon63 image31)
	(have_image Phenomenon63 infrared30)
	(have_image Phenomenon63 infrared11)
	(have_image Phenomenon63 image38)
	(have_image Phenomenon63 thermograph20)
	(have_image Planet64 thermograph36)
	(have_image Planet64 thermograph26)
	(have_image Planet64 thermograph7)
	(have_image Planet64 thermograph39)
	(have_image Planet64 infrared11)
	(have_image Phenomenon65 infrared25)
	(have_image Phenomenon65 thermograph36)
	(have_image Phenomenon65 thermograph26)
	(have_image Phenomenon65 infrared37)
	(have_image Phenomenon65 infrared30)
	(have_image Phenomenon65 infrared23)
	(have_image Phenomenon65 infrared28)
	(have_image Phenomenon65 spectrograph24)
	(have_image Phenomenon65 spectrograph18)
	(have_image Phenomenon65 infrared0)
	(have_image Phenomenon65 image29)
	(have_image Phenomenon66 spectrograph18)
	(have_image Phenomenon66 infrared37)
	(have_image Phenomenon66 thermograph20)
	(have_image Phenomenon66 image31)
	(have_image Star67 spectrograph24)
	(have_image Star67 thermograph2)
	(have_image Star67 thermograph13)
	(have_image Star67 infrared23)
	(have_image Star67 infrared1)
	(have_image Star67 image10)
	(have_image Planet68 thermograph8)
	(have_image Planet68 thermograph12)
	(have_image Planet70 thermograph7)
	(have_image Planet70 spectrograph17)
	(have_image Planet70 infrared30)
	(have_image Planet70 spectrograph19)
	(have_image Planet70 thermograph36)
	(have_image Planet70 thermograph15)
	(have_image Planet70 infrared33)
	(have_image Planet70 infrared1)
	(have_image Planet70 spectrograph35)
	(have_image Planet70 infrared37)
	(have_image Planet70 image38)
	(have_image Planet70 thermograph20)
	(have_image Planet72 thermograph20)
	(have_image Planet72 thermograph15)
	(have_image Planet72 thermograph8)
	(have_image Planet72 infrared1)
	(have_image Planet72 infrared23)
	(have_image Planet72 spectrograph35)
	(have_image Planet72 thermograph5)
	(have_image Planet72 infrared33)
	(have_image Planet72 spectrograph3)
	(have_image Planet72 spectrograph18)
	(have_image Planet72 thermograph39)
	(have_image Planet72 infrared9)
	(have_image Planet72 image31)
	(have_image Star73 infrared16)
	(have_image Star73 spectrograph22)
	(have_image Star73 thermograph39)
	(have_image Star73 thermograph5)
	(have_image Star73 infrared37)
	(have_image Star73 image29)
	(have_image Star73 image10)
	(have_image Star73 thermograph7)
	(have_image Star73 infrared23)
	(have_image Star73 thermograph2)
	(have_image Star73 thermograph8)
	(have_image Star73 infrared30)
	(have_image Planet74 image31)
	(have_image Planet74 thermograph7)
	(have_image Planet74 infrared11)
	(have_image Planet74 thermograph14)
	(have_image Planet74 thermograph8)
	(have_image Planet74 infrared1)
	(have_image Star76 image21)
	(have_image Star76 infrared0)
	(have_image Star76 thermograph15)
	(have_image Star76 image38)
	(have_image Star76 image10)
	(have_image Star76 spectrograph22)
	(have_image Star76 infrared33)
	(have_image Star76 image31)
	(have_image Star76 spectrograph18)
	(have_image Star76 spectrograph3)
	(have_image Star76 infrared37)
	(have_image Planet77 spectrograph35)
	(have_image Planet77 infrared16)
	(have_image Planet77 infrared37)
	(have_image Planet77 thermograph20)
	(have_image Planet77 thermograph36)
	(have_image Planet77 thermograph12)
	(have_image Planet77 image38)
	(have_image Planet77 thermograph14)
	(have_image Planet77 spectrograph19)
	(have_image Planet77 thermograph5)
	(have_image Planet77 thermograph15)
	(have_image Planet77 image10)
	(have_image Planet77 infrared0)
	(have_image Phenomenon78 thermograph34)
	(have_image Phenomenon78 infrared25)
	(have_image Phenomenon78 image10)
	(have_image Phenomenon78 thermograph27)
	(have_image Phenomenon78 infrared1)
	(have_image Phenomenon78 infrared37)
	(have_image Planet79 spectrograph22)
	(have_image Planet79 infrared28)
	(have_image Phenomenon80 image6)
	(have_image Phenomenon80 infrared16)
	(have_image Phenomenon80 infrared37)
	(have_image Phenomenon80 thermograph12)
	(have_image Phenomenon80 thermograph4)
	(have_image Phenomenon80 infrared33)
	(have_image Phenomenon80 infrared28)
	(have_image Phenomenon81 infrared11)
	(have_image Phenomenon81 infrared37)
	(have_image Phenomenon81 thermograph12)
	(have_image Planet82 spectrograph3)
	(have_image Planet82 infrared11)
	(have_image Planet82 infrared16)
	(have_image Planet82 thermograph15)
	(have_image Planet82 spectrograph17)
	(have_image Planet82 infrared33)
	(have_image Planet82 thermograph13)
	(have_image Planet82 spectrograph22)
	(have_image Planet82 infrared23)
	(have_image Star83 infrared1)
	(have_image Star83 spectrograph18)
	(have_image Star83 infrared25)
	(have_image Star83 thermograph5)
	(have_image Star83 image6)
	(have_image Star83 infrared9)
	(have_image Star83 image10)
	(have_image Star83 infrared0)
	(have_image Planet84 image38)
	(have_image Planet84 image10)
	(have_image Planet85 image29)
	(have_image Planet85 thermograph13)
	(have_image Planet85 infrared11)
	(have_image Planet85 image10)
	(have_image Planet85 thermograph8)
	(have_image Phenomenon86 thermograph7)
	(have_image Phenomenon86 thermograph20)
	(have_image Phenomenon87 spectrograph18)
	(have_image Phenomenon87 thermograph39)
	(have_image Phenomenon87 infrared25)
	(have_image Phenomenon87 thermograph5)
	(have_image Phenomenon87 thermograph13)
	(have_image Phenomenon87 thermograph4)
	(have_image Phenomenon88 spectrograph18)
	(have_image Phenomenon88 thermograph8)
	(have_image Phenomenon88 thermograph4)
	(have_image Phenomenon88 infrared37)
	(have_image Phenomenon88 image6)
	(have_image Phenomenon88 thermograph14)
	(have_image Phenomenon88 infrared9)
	(have_image Star89 thermograph5)
	(have_image Star89 spectrograph32)
	(have_image Star89 infrared0)
	(have_image Star89 image6)
	(have_image Planet90 thermograph12)
	(have_image Planet90 thermograph15)
	(have_image Planet90 spectrograph24)
	(have_image Planet90 thermograph26)
	(have_image Planet90 infrared11)
	(have_image Planet90 infrared33)
	(have_image Planet90 infrared1)
	(have_image Star91 image6)
	(have_image Star91 thermograph8)
	(have_image Star91 spectrograph22)
	(have_image Star91 infrared28)
	(have_image Star92 infrared11)
	(have_image Star92 image29)
	(have_image Star92 spectrograph32)
	(have_image Star92 thermograph26)
	(have_image Star92 spectrograph18)
	(have_image Star92 thermograph36)
	(have_image Star92 thermograph27)
	(have_image Star92 spectrograph19)
	(have_image Star92 image31)
	(have_image Star92 spectrograph22)
	(have_image Star92 thermograph13)
	(have_image Star92 image38)
	(have_image Star92 spectrograph17)
	(have_image Phenomenon93 thermograph2)
	(have_image Phenomenon93 spectrograph32)
	(have_image Phenomenon94 image6)
	(have_image Phenomenon94 thermograph8)
	(have_image Planet95 image29)
	(have_image Planet95 image10)
	(have_image Planet95 image6)
	(have_image Planet95 thermograph34)
	(have_image Star96 spectrograph32)
	(have_image Star96 image10)
	(have_image Star96 image31)
	(have_image Star96 spectrograph35)
	(have_image Star96 spectrograph19)
	(have_image Star96 infrared30)
	(have_image Star96 thermograph7)
	(have_image Star96 thermograph12)
	(have_image Star96 infrared9)
	(have_image Star96 spectrograph18)
	(have_image Star96 thermograph2)
	(have_image Star96 infrared37)
	(have_image Star97 infrared30)
	(have_image Star97 infrared25)
	(have_image Star97 infrared37)
	(have_image Star97 infrared28)
	(have_image Star97 thermograph4)
	(have_image Star97 image6)
	(have_image Star97 spectrograph35)
	(have_image Star97 thermograph13)
	(have_image Star97 infrared33)
	(have_image Star97 spectrograph18)
	(have_image Star97 thermograph26)
	(have_image Star97 thermograph27)
	(have_image Star98 spectrograph19)
	(have_image Star98 image29)
	(have_image Star98 spectrograph35)
	(have_image Phenomenon99 thermograph20)
	(have_image Phenomenon99 infrared0)
	(have_image Phenomenon99 thermograph27)
	(have_image Phenomenon99 infrared30)
	(have_image Phenomenon99 thermograph14)
	(have_image Phenomenon99 thermograph2)
))

)
