(define (problem strips-sat-x-1)
(:domain satellite)
(:objects
	satellite0
	instrument0
	instrument1
	instrument2
	instrument3
	instrument4
	instrument5
	instrument6
	instrument7
	satellite1
	instrument8
	instrument9
	instrument10
	instrument11
	instrument12
	instrument13
	satellite2
	instrument14
	instrument15
	instrument16
	instrument17
	instrument18
	instrument19
	instrument20
	instrument21
	instrument22
	instrument23
	instrument24
	instrument25
	satellite3
	instrument26
	instrument27
	instrument28
	instrument29
	instrument30
	instrument31
	instrument32
	instrument33
	satellite4
	instrument34
	instrument35
	instrument36
	instrument37
	instrument38
	instrument39
	instrument40
	instrument41
	instrument42
	instrument43
	instrument44
	instrument45
	instrument46
	instrument47
	instrument48
	satellite5
	instrument49
	instrument50
	instrument51
	instrument52
	instrument53
	instrument54
	instrument55
	instrument56
	instrument57
	instrument58
	instrument59
	instrument60
	instrument61
	instrument62
	instrument63
	satellite6
	instrument64
	instrument65
	instrument66
	instrument67
	instrument68
	instrument69
	instrument70
	instrument71
	instrument72
	instrument73
	instrument74
	instrument75
	instrument76
	instrument77
	instrument78
	satellite7
	instrument79
	instrument80
	instrument81
	instrument82
	instrument83
	instrument84
	instrument85
	instrument86
	instrument87
	instrument88
	instrument89
	instrument90
	instrument91
	instrument92
	instrument93
	instrument94
	satellite8
	instrument95
	instrument96
	instrument97
	instrument98
	instrument99
	instrument100
	instrument101
	instrument102
	instrument103
	instrument104
	instrument105
	instrument106
	instrument107
	instrument108
	instrument109
	instrument110
	instrument111
	satellite9
	instrument112
	instrument113
	instrument114
	instrument115
	instrument116
	image5
	spectrograph1
	thermograph8
	thermograph10
	infrared3
	thermograph2
	spectrograph14
	spectrograph13
	thermograph16
	image11
	infrared6
	spectrograph9
	spectrograph4
	thermograph0
	image12
	thermograph7
	infrared15
	Star4
	Star7
	GroundStation2
	GroundStation1
	Star6
	GroundStation3
	GroundStation0
	GroundStation5
	Planet8
	Phenomenon9
	Phenomenon10
	Star11
	Star12
	Planet13
	Planet14
	Phenomenon15
	Planet16
	Phenomenon17
	Planet18
	Planet19
	Phenomenon20
	Planet21
	Phenomenon22
	Star23
	Planet24
	Phenomenon25
	Planet26
	Star27
	Planet28
	Planet29
	Star30
	Phenomenon31
	Phenomenon32
	Star33
	Planet34
	Star35
	Phenomenon36
	Phenomenon37
	Star38
	Phenomenon39
	Star40
	Planet41
	Phenomenon42
)
(:init
	(satellite satellite0)
	(instrument instrument0)
	(supports instrument0 thermograph2)
	(calibration_target instrument0 Star4)
	(calibration_target instrument0 GroundStation5)
	(instrument instrument1)
	(supports instrument1 infrared6)
	(supports instrument1 image12)
	(calibration_target instrument1 GroundStation1)
	(calibration_target instrument1 Star7)
	(instrument instrument2)
	(supports instrument2 spectrograph4)
	(supports instrument2 thermograph10)
	(supports instrument2 image5)
	(calibration_target instrument2 Star7)
	(instrument instrument3)
	(supports instrument3 thermograph16)
	(supports instrument3 spectrograph1)
	(supports instrument3 image5)
	(calibration_target instrument3 Star6)
	(calibration_target instrument3 GroundStation1)
	(instrument instrument4)
	(supports instrument4 spectrograph9)
	(supports instrument4 thermograph10)
	(supports instrument4 infrared3)
	(calibration_target instrument4 GroundStation0)
	(calibration_target instrument4 GroundStation2)
	(instrument instrument5)
	(supports instrument5 thermograph0)
	(calibration_target instrument5 Star6)
	(instrument instrument6)
	(supports instrument6 thermograph2)
	(supports instrument6 infrared3)
	(calibration_target instrument6 GroundStation1)
	(instrument instrument7)
	(supports instrument7 thermograph2)
	(calibration_target instrument7 GroundStation5)
	(calibration_target instrument7 Star4)
	(on_board instrument0 satellite0)
	(on_board instrument1 satellite0)
	(on_board instrument2 satellite0)
	(on_board instrument3 satellite0)
	(on_board instrument4 satellite0)
	(on_board instrument5 satellite0)
	(on_board instrument6 satellite0)
	(on_board instrument7 satellite0)
	(power_avail satellite0)
	(pointing satellite0 Phenomenon37)
	(satellite satellite1)
	(instrument instrument8)
	(supports instrument8 spectrograph4)
	(supports instrument8 infrared6)
	(calibration_target instrument8 GroundStation5)
	(calibration_target instrument8 GroundStation0)
	(instrument instrument9)
	(supports instrument9 image5)
	(supports instrument9 spectrograph14)
	(supports instrument9 thermograph8)
	(calibration_target instrument9 GroundStation0)
	(calibration_target instrument9 GroundStation2)
	(instrument instrument10)
	(supports instrument10 thermograph16)
	(supports instrument10 infrared3)
	(calibration_target instrument10 Star4)
	(calibration_target instrument10 Star6)
	(instrument instrument11)
	(supports instrument11 thermograph8)
	(supports instrument11 thermograph16)
	(supports instrument11 infrared3)
	(calibration_target instrument11 GroundStation1)
	(instrument instrument12)
	(supports instrument12 spectrograph14)
	(supports instrument12 thermograph7)
	(supports instrument12 infrared3)
	(calibration_target instrument12 GroundStation3)
	(instrument instrument13)
	(supports instrument13 thermograph2)
	(supports instrument13 spectrograph14)
	(supports instrument13 image11)
	(calibration_target instrument13 GroundStation1)
	(on_board instrument8 satellite1)
	(on_board instrument9 satellite1)
	(on_board instrument10 satellite1)
	(on_board instrument11 satellite1)
	(on_board instrument12 satellite1)
	(on_board instrument13 satellite1)
	(power_avail satellite1)
	(pointing satellite1 Phenomenon22)
	(satellite satellite2)
	(instrument instrument14)
	(supports instrument14 spectrograph14)
	(supports instrument14 infrared15)
	(calibration_target instrument14 Star4)
	(instrument instrument15)
	(supports instrument15 spectrograph14)
	(calibration_target instrument15 GroundStation1)
	(instrument instrument16)
	(supports instrument16 image12)
	(calibration_target instrument16 GroundStation5)
	(calibration_target instrument16 Star7)
	(instrument instrument17)
	(supports instrument17 thermograph16)
	(supports instrument17 spectrograph9)
	(calibration_target instrument17 Star6)
	(calibration_target instrument17 Star7)
	(instrument instrument18)
	(supports instrument18 thermograph2)
	(supports instrument18 spectrograph13)
	(calibration_target instrument18 GroundStation3)
	(instrument instrument19)
	(supports instrument19 thermograph8)
	(supports instrument19 thermograph16)
	(supports instrument19 image11)
	(calibration_target instrument19 GroundStation2)
	(instrument instrument20)
	(supports instrument20 thermograph16)
	(supports instrument20 infrared3)
	(calibration_target instrument20 GroundStation2)
	(calibration_target instrument20 GroundStation0)
	(instrument instrument21)
	(supports instrument21 thermograph16)
	(supports instrument21 image12)
	(calibration_target instrument21 GroundStation1)
	(instrument instrument22)
	(supports instrument22 thermograph16)
	(supports instrument22 spectrograph1)
	(calibration_target instrument22 GroundStation3)
	(instrument instrument23)
	(supports instrument23 spectrograph13)
	(supports instrument23 thermograph10)
	(calibration_target instrument23 Star6)
	(calibration_target instrument23 Star7)
	(instrument instrument24)
	(supports instrument24 thermograph16)
	(supports instrument24 thermograph2)
	(supports instrument24 infrared15)
	(calibration_target instrument24 Star6)
	(calibration_target instrument24 Star4)
	(instrument instrument25)
	(supports instrument25 thermograph10)
	(supports instrument25 spectrograph1)
	(supports instrument25 thermograph2)
	(calibration_target instrument25 Star4)
	(on_board instrument14 satellite2)
	(on_board instrument15 satellite2)
	(on_board instrument16 satellite2)
	(on_board instrument17 satellite2)
	(on_board instrument18 satellite2)
	(on_board instrument19 satellite2)
	(on_board instrument20 satellite2)
	(on_board instrument21 satellite2)
	(on_board instrument22 satellite2)
	(on_board instrument23 satellite2)
	(on_board instrument24 satellite2)
	(on_board instrument25 satellite2)
	(power_avail satellite2)
	(pointing satellite2 Star27)
	(satellite satellite3)
	(instrument instrument26)
	(supports instrument26 spectrograph4)
	(calibration_target instrument26 GroundStation5)
	(instrument instrument27)
	(supports instrument27 thermograph2)
	(supports instrument27 image12)
	(supports instrument27 spectrograph13)
	(calibration_target instrument27 GroundStation0)
	(calibration_target instrument27 GroundStation2)
	(instrument instrument28)
	(supports instrument28 infrared6)
	(calibration_target instrument28 GroundStation0)
	(instrument instrument29)
	(supports instrument29 spectrograph13)
	(supports instrument29 image5)
	(supports instrument29 spectrograph1)
	(calibration_target instrument29 GroundStation2)
	(calibration_target instrument29 GroundStation0)
	(instrument instrument30)
	(supports instrument30 thermograph10)
	(supports instrument30 spectrograph13)
	(calibration_target instrument30 GroundStation5)
	(calibration_target instrument30 Star6)
	(instrument instrument31)
	(supports instrument31 spectrograph4)
	(supports instrument31 image5)
	(calibration_target instrument31 GroundStation3)
	(instrument instrument32)
	(supports instrument32 thermograph2)
	(calibration_target instrument32 GroundStation1)
	(calibration_target instrument32 Star6)
	(instrument instrument33)
	(supports instrument33 thermograph10)
	(supports instrument33 image5)
	(calibration_target instrument33 GroundStation2)
	(calibration_target instrument33 Star6)
	(on_board instrument26 satellite3)
	(on_board instrument27 satellite3)
	(on_board instrument28 satellite3)
	(on_board instrument29 satellite3)
	(on_board instrument30 satellite3)
	(on_board instrument31 satellite3)
	(on_board instrument32 satellite3)
	(on_board instrument33 satellite3)
	(power_avail satellite3)
	(pointing satellite3 Planet19)
	(satellite satellite4)
	(instrument instrument34)
	(supports instrument34 infrared3)
	(supports instrument34 spectrograph14)
	(calibration_target instrument34 GroundStation2)
	(calibration_target instrument34 Star6)
	(instrument instrument35)
	(supports instrument35 thermograph10)
	(supports instrument35 spectrograph4)
	(supports instrument35 image5)
	(calibration_target instrument35 GroundStation5)
	(calibration_target instrument35 Star6)
	(instrument instrument36)
	(supports instrument36 infrared3)
	(supports instrument36 image12)
	(calibration_target instrument36 GroundStation1)
	(instrument instrument37)
	(supports instrument37 image11)
	(supports instrument37 thermograph10)
	(calibration_target instrument37 GroundStation3)
	(instrument instrument38)
	(supports instrument38 infrared15)
	(supports instrument38 thermograph8)
	(supports instrument38 infrared6)
	(calibration_target instrument38 GroundStation3)
	(instrument instrument39)
	(supports instrument39 image11)
	(calibration_target instrument39 Star4)
	(instrument instrument40)
	(supports instrument40 image11)
	(calibration_target instrument40 Star6)
	(calibration_target instrument40 GroundStation3)
	(instrument instrument41)
	(supports instrument41 spectrograph13)
	(supports instrument41 infrared6)
	(calibration_target instrument41 GroundStation3)
	(instrument instrument42)
	(supports instrument42 thermograph0)
	(supports instrument42 image12)
	(supports instrument42 spectrograph9)
	(calibration_target instrument42 GroundStation2)
	(instrument instrument43)
	(supports instrument43 thermograph10)
	(supports instrument43 spectrograph4)
	(calibration_target instrument43 GroundStation1)
	(instrument instrument44)
	(supports instrument44 spectrograph14)
	(supports instrument44 thermograph7)
	(calibration_target instrument44 GroundStation2)
	(calibration_target instrument44 Star7)
	(instrument instrument45)
	(supports instrument45 thermograph8)
	(supports instrument45 thermograph7)
	(calibration_target instrument45 Star7)
	(calibration_target instrument45 GroundStation5)
	(instrument instrument46)
	(supports instrument46 infrared15)
	(calibration_target instrument46 GroundStation0)
	(calibration_target instrument46 GroundStation5)
	(instrument instrument47)
	(supports instrument47 thermograph2)
	(calibration_target instrument47 Star7)
	(instrument instrument48)
	(supports instrument48 image5)
	(calibration_target instrument48 GroundStation2)
	(on_board instrument34 satellite4)
	(on_board instrument35 satellite4)
	(on_board instrument36 satellite4)
	(on_board instrument37 satellite4)
	(on_board instrument38 satellite4)
	(on_board instrument39 satellite4)
	(on_board instrument40 satellite4)
	(on_board instrument41 satellite4)
	(on_board instrument42 satellite4)
	(on_board instrument43 satellite4)
	(on_board instrument44 satellite4)
	(on_board instrument45 satellite4)
	(on_board instrument46 satellite4)
	(on_board instrument47 satellite4)
	(on_board instrument48 satellite4)
	(power_avail satellite4)
	(pointing satellite4 Planet41)
	(satellite satellite5)
	(instrument instrument49)
	(supports instrument49 thermograph10)
	(calibration_target instrument49 Star7)
	(calibration_target instrument49 GroundStation2)
	(instrument instrument50)
	(supports instrument50 thermograph8)
	(supports instrument50 thermograph16)
	(supports instrument50 infrared3)
	(calibration_target instrument50 Star6)
	(calibration_target instrument50 GroundStation0)
	(instrument instrument51)
	(supports instrument51 image12)
	(supports instrument51 thermograph16)
	(supports instrument51 spectrograph1)
	(calibration_target instrument51 Star4)
	(instrument instrument52)
	(supports instrument52 spectrograph4)
	(supports instrument52 spectrograph1)
	(supports instrument52 spectrograph13)
	(calibration_target instrument52 Star7)
	(calibration_target instrument52 Star6)
	(instrument instrument53)
	(supports instrument53 thermograph0)
	(supports instrument53 thermograph2)
	(calibration_target instrument53 GroundStation0)
	(instrument instrument54)
	(supports instrument54 infrared15)
	(calibration_target instrument54 GroundStation2)
	(instrument instrument55)
	(supports instrument55 image11)
	(supports instrument55 thermograph16)
	(calibration_target instrument55 GroundStation0)
	(calibration_target instrument55 Star7)
	(instrument instrument56)
	(supports instrument56 thermograph16)
	(calibration_target instrument56 GroundStation1)
	(instrument instrument57)
	(supports instrument57 image5)
	(calibration_target instrument57 GroundStation0)
	(calibration_target instrument57 GroundStation3)
	(instrument instrument58)
	(supports instrument58 spectrograph4)
	(supports instrument58 image11)
	(calibration_target instrument58 Star4)
	(calibration_target instrument58 GroundStation2)
	(instrument instrument59)
	(supports instrument59 thermograph2)
	(supports instrument59 thermograph8)
	(supports instrument59 infrared3)
	(calibration_target instrument59 Star4)
	(calibration_target instrument59 Star6)
	(instrument instrument60)
	(supports instrument60 thermograph7)
	(calibration_target instrument60 Star4)
	(instrument instrument61)
	(supports instrument61 image12)
	(calibration_target instrument61 GroundStation3)
	(instrument instrument62)
	(supports instrument62 image11)
	(supports instrument62 image5)
	(supports instrument62 spectrograph13)
	(calibration_target instrument62 Star7)
	(instrument instrument63)
	(supports instrument63 thermograph16)
	(calibration_target instrument63 GroundStation0)
	(on_board instrument49 satellite5)
	(on_board instrument50 satellite5)
	(on_board instrument51 satellite5)
	(on_board instrument52 satellite5)
	(on_board instrument53 satellite5)
	(on_board instrument54 satellite5)
	(on_board instrument55 satellite5)
	(on_board instrument56 satellite5)
	(on_board instrument57 satellite5)
	(on_board instrument58 satellite5)
	(on_board instrument59 satellite5)
	(on_board instrument60 satellite5)
	(on_board instrument61 satellite5)
	(on_board instrument62 satellite5)
	(on_board instrument63 satellite5)
	(power_avail satellite5)
	(pointing satellite5 Planet14)
	(satellite satellite6)
	(instrument instrument64)
	(supports instrument64 infrared6)
	(supports instrument64 image11)
	(supports instrument64 spectrograph14)
	(calibration_target instrument64 GroundStation0)
	(instrument instrument65)
	(supports instrument65 spectrograph1)
	(calibration_target instrument65 GroundStation3)
	(calibration_target instrument65 GroundStation2)
	(instrument instrument66)
	(supports instrument66 spectrograph9)
	(supports instrument66 thermograph7)
	(supports instrument66 thermograph0)
	(calibration_target instrument66 Star7)
	(instrument instrument67)
	(supports instrument67 spectrograph1)
	(supports instrument67 thermograph16)
	(calibration_target instrument67 GroundStation2)
	(calibration_target instrument67 Star7)
	(instrument instrument68)
	(supports instrument68 infrared3)
	(calibration_target instrument68 Star6)
	(calibration_target instrument68 GroundStation5)
	(instrument instrument69)
	(supports instrument69 spectrograph1)
	(supports instrument69 spectrograph14)
	(supports instrument69 infrared15)
	(calibration_target instrument69 GroundStation0)
	(calibration_target instrument69 GroundStation3)
	(instrument instrument70)
	(supports instrument70 infrared6)
	(calibration_target instrument70 GroundStation2)
	(instrument instrument71)
	(supports instrument71 thermograph10)
	(supports instrument71 spectrograph13)
	(calibration_target instrument71 Star6)
	(instrument instrument72)
	(supports instrument72 thermograph16)
	(calibration_target instrument72 Star4)
	(instrument instrument73)
	(supports instrument73 image12)
	(supports instrument73 spectrograph4)
	(calibration_target instrument73 GroundStation5)
	(calibration_target instrument73 GroundStation3)
	(instrument instrument74)
	(supports instrument74 spectrograph13)
	(supports instrument74 image12)
	(supports instrument74 image5)
	(calibration_target instrument74 GroundStation2)
	(instrument instrument75)
	(supports instrument75 spectrograph13)
	(supports instrument75 image5)
	(calibration_target instrument75 Star4)
	(calibration_target instrument75 Star6)
	(instrument instrument76)
	(supports instrument76 infrared3)
	(supports instrument76 image5)
	(supports instrument76 thermograph8)
	(calibration_target instrument76 GroundStation0)
	(calibration_target instrument76 Star7)
	(instrument instrument77)
	(supports instrument77 spectrograph13)
	(supports instrument77 thermograph10)
	(calibration_target instrument77 GroundStation3)
	(calibration_target instrument77 GroundStation5)
	(instrument instrument78)
	(supports instrument78 spectrograph13)
	(supports instrument78 spectrograph9)
	(supports instrument78 thermograph2)
	(calibration_target instrument78 GroundStation1)
	(on_board instrument64 satellite6)
	(on_board instrument65 satellite6)
	(on_board instrument66 satellite6)
	(on_board instrument67 satellite6)
	(on_board instrument68 satellite6)
	(on_board instrument69 satellite6)
	(on_board instrument70 satellite6)
	(on_board instrument71 satellite6)
	(on_board instrument72 satellite6)
	(on_board instrument73 satellite6)
	(on_board instrument74 satellite6)
	(on_board instrument75 satellite6)
	(on_board instrument76 satellite6)
	(on_board instrument77 satellite6)
	(on_board instrument78 satellite6)
	(power_avail satellite6)
	(pointing satellite6 Star38)
	(satellite satellite7)
	(instrument instrument79)
	(supports instrument79 thermograph16)
	(supports instrument79 thermograph2)
	(calibration_target instrument79 Star4)
	(instrument instrument80)
	(supports instrument80 thermograph0)
	(supports instrument80 thermograph7)
	(calibration_target instrument80 Star4)
	(instrument instrument81)
	(supports instrument81 infrared15)
	(supports instrument81 thermograph7)
	(supports instrument81 thermograph16)
	(calibration_target instrument81 GroundStation1)
	(instrument instrument82)
	(supports instrument82 thermograph16)
	(supports instrument82 image12)
	(calibration_target instrument82 Star7)
	(calibration_target instrument82 Star4)
	(instrument instrument83)
	(supports instrument83 thermograph16)
	(supports instrument83 thermograph10)
	(supports instrument83 spectrograph13)
	(calibration_target instrument83 Star7)
	(instrument instrument84)
	(supports instrument84 thermograph8)
	(supports instrument84 thermograph7)
	(supports instrument84 image5)
	(calibration_target instrument84 GroundStation1)
	(instrument instrument85)
	(supports instrument85 spectrograph9)
	(supports instrument85 infrared3)
	(calibration_target instrument85 GroundStation0)
	(instrument instrument86)
	(supports instrument86 spectrograph1)
	(supports instrument86 spectrograph14)
	(calibration_target instrument86 GroundStation0)
	(instrument instrument87)
	(supports instrument87 thermograph0)
	(supports instrument87 spectrograph4)
	(supports instrument87 infrared15)
	(calibration_target instrument87 GroundStation0)
	(calibration_target instrument87 Star6)
	(instrument instrument88)
	(supports instrument88 thermograph10)
	(supports instrument88 infrared6)
	(calibration_target instrument88 GroundStation1)
	(instrument instrument89)
	(supports instrument89 thermograph2)
	(supports instrument89 infrared3)
	(supports instrument89 spectrograph13)
	(calibration_target instrument89 GroundStation0)
	(instrument instrument90)
	(supports instrument90 thermograph16)
	(supports instrument90 infrared6)
	(supports instrument90 infrared15)
	(calibration_target instrument90 GroundStation1)
	(instrument instrument91)
	(supports instrument91 thermograph8)
	(calibration_target instrument91 Star7)
	(instrument instrument92)
	(supports instrument92 spectrograph1)
	(supports instrument92 spectrograph4)
	(calibration_target instrument92 GroundStation1)
	(calibration_target instrument92 GroundStation2)
	(instrument instrument93)
	(supports instrument93 infrared6)
	(calibration_target instrument93 GroundStation1)
	(calibration_target instrument93 Star6)
	(instrument instrument94)
	(supports instrument94 spectrograph14)
	(supports instrument94 thermograph7)
	(calibration_target instrument94 Star4)
	(on_board instrument79 satellite7)
	(on_board instrument80 satellite7)
	(on_board instrument81 satellite7)
	(on_board instrument82 satellite7)
	(on_board instrument83 satellite7)
	(on_board instrument84 satellite7)
	(on_board instrument85 satellite7)
	(on_board instrument86 satellite7)
	(on_board instrument87 satellite7)
	(on_board instrument88 satellite7)
	(on_board instrument89 satellite7)
	(on_board instrument90 satellite7)
	(on_board instrument91 satellite7)
	(on_board instrument92 satellite7)
	(on_board instrument93 satellite7)
	(on_board instrument94 satellite7)
	(power_avail satellite7)
	(pointing satellite7 Planet41)
	(satellite satellite8)
	(instrument instrument95)
	(supports instrument95 infrared15)
	(supports instrument95 spectrograph13)
	(supports instrument95 thermograph8)
	(calibration_target instrument95 GroundStation1)
	(calibration_target instrument95 GroundStation0)
	(instrument instrument96)
	(supports instrument96 spectrograph14)
	(supports instrument96 infrared15)
	(supports instrument96 thermograph16)
	(calibration_target instrument96 GroundStation1)
	(calibration_target instrument96 GroundStation0)
	(instrument instrument97)
	(supports instrument97 thermograph8)
	(supports instrument97 thermograph2)
	(calibration_target instrument97 GroundStation5)
	(calibration_target instrument97 GroundStation1)
	(instrument instrument98)
	(supports instrument98 thermograph0)
	(supports instrument98 spectrograph1)
	(calibration_target instrument98 GroundStation2)
	(calibration_target instrument98 Star6)
	(instrument instrument99)
	(supports instrument99 image12)
	(calibration_target instrument99 GroundStation0)
	(instrument instrument100)
	(supports instrument100 infrared3)
	(supports instrument100 infrared15)
	(calibration_target instrument100 GroundStation2)
	(instrument instrument101)
	(supports instrument101 image12)
	(calibration_target instrument101 GroundStation1)
	(calibration_target instrument101 GroundStation5)
	(instrument instrument102)
	(supports instrument102 spectrograph4)
	(calibration_target instrument102 GroundStation5)
	(calibration_target instrument102 GroundStation3)
	(instrument instrument103)
	(supports instrument103 spectrograph4)
	(supports instrument103 thermograph7)
	(calibration_target instrument103 Star7)
	(calibration_target instrument103 GroundStation5)
	(instrument instrument104)
	(supports instrument104 thermograph2)
	(supports instrument104 spectrograph4)
	(calibration_target instrument104 GroundStation5)
	(calibration_target instrument104 GroundStation2)
	(instrument instrument105)
	(supports instrument105 spectrograph14)
	(supports instrument105 thermograph8)
	(supports instrument105 thermograph10)
	(calibration_target instrument105 GroundStation5)
	(calibration_target instrument105 GroundStation1)
	(instrument instrument106)
	(supports instrument106 spectrograph4)
	(supports instrument106 thermograph10)
	(supports instrument106 thermograph2)
	(calibration_target instrument106 GroundStation5)
	(instrument instrument107)
	(supports instrument107 infrared6)
	(calibration_target instrument107 GroundStation0)
	(instrument instrument108)
	(supports instrument108 infrared3)
	(supports instrument108 spectrograph14)
	(calibration_target instrument108 Star7)
	(calibration_target instrument108 GroundStation2)
	(instrument instrument109)
	(supports instrument109 thermograph16)
	(supports instrument109 thermograph2)
	(supports instrument109 spectrograph9)
	(calibration_target instrument109 Star7)
	(calibration_target instrument109 Star4)
	(instrument instrument110)
	(supports instrument110 spectrograph4)
	(supports instrument110 image11)
	(supports instrument110 spectrograph14)
	(calibration_target instrument110 Star7)
	(instrument instrument111)
	(supports instrument111 infrared15)
	(supports instrument111 spectrograph13)
	(calibration_target instrument111 GroundStation2)
	(calibration_target instrument111 GroundStation1)
	(on_board instrument95 satellite8)
	(on_board instrument96 satellite8)
	(on_board instrument97 satellite8)
	(on_board instrument98 satellite8)
	(on_board instrument99 satellite8)
	(on_board instrument100 satellite8)
	(on_board instrument101 satellite8)
	(on_board instrument102 satellite8)
	(on_board instrument103 satellite8)
	(on_board instrument104 satellite8)
	(on_board instrument105 satellite8)
	(on_board instrument106 satellite8)
	(on_board instrument107 satellite8)
	(on_board instrument108 satellite8)
	(on_board instrument109 satellite8)
	(on_board instrument110 satellite8)
	(on_board instrument111 satellite8)
	(power_avail satellite8)
	(pointing satellite8 Star38)
	(satellite satellite9)
	(instrument instrument112)
	(supports instrument112 spectrograph13)
	(supports instrument112 infrared15)
	(supports instrument112 image11)
	(calibration_target instrument112 GroundStation1)
	(calibration_target instrument112 GroundStation2)
	(instrument instrument113)
	(supports instrument113 image11)
	(supports instrument113 image12)
	(supports instrument113 thermograph16)
	(calibration_target instrument113 Star6)
	(instrument instrument114)
	(supports instrument114 infrared6)
	(supports instrument114 spectrograph4)
	(calibration_target instrument114 GroundStation3)
	(instrument instrument115)
	(supports instrument115 thermograph0)
	(supports instrument115 spectrograph4)
	(supports instrument115 spectrograph9)
	(calibration_target instrument115 GroundStation0)
	(instrument instrument116)
	(supports instrument116 infrared15)
	(supports instrument116 thermograph7)
	(supports instrument116 image12)
	(calibration_target instrument116 GroundStation5)
	(on_board instrument112 satellite9)
	(on_board instrument113 satellite9)
	(on_board instrument114 satellite9)
	(on_board instrument115 satellite9)
	(on_board instrument116 satellite9)
	(power_avail satellite9)
	(pointing satellite9 Star23)
	(mode image5)
	(mode spectrograph1)
	(mode thermograph8)
	(mode thermograph10)
	(mode infrared3)
	(mode thermograph2)
	(mode spectrograph14)
	(mode spectrograph13)
	(mode thermograph16)
	(mode image11)
	(mode infrared6)
	(mode spectrograph9)
	(mode spectrograph4)
	(mode thermograph0)
	(mode image12)
	(mode thermograph7)
	(mode infrared15)
	(direction Star4)
	(direction Star7)
	(direction GroundStation2)
	(direction GroundStation1)
	(direction Star6)
	(direction GroundStation3)
	(direction GroundStation0)
	(direction GroundStation5)
	(direction Planet8)
	(direction Phenomenon9)
	(direction Phenomenon10)
	(direction Star11)
	(direction Star12)
	(direction Planet13)
	(direction Planet14)
	(direction Phenomenon15)
	(direction Planet16)
	(direction Phenomenon17)
	(direction Planet18)
	(direction Planet19)
	(direction Phenomenon20)
	(direction Planet21)
	(direction Phenomenon22)
	(direction Star23)
	(direction Planet24)
	(direction Phenomenon25)
	(direction Planet26)
	(direction Star27)
	(direction Planet28)
	(direction Planet29)
	(direction Star30)
	(direction Phenomenon31)
	(direction Phenomenon32)
	(direction Star33)
	(direction Planet34)
	(direction Star35)
	(direction Phenomenon36)
	(direction Phenomenon37)
	(direction Star38)
	(direction Phenomenon39)
	(direction Star40)
	(direction Planet41)
	(direction Phenomenon42)
)
(:goal (and
	(pointing satellite1 Star30)
	(pointing satellite2 Phenomenon10)
	(have_image Planet8 spectrograph4)
	(have_image Planet8 thermograph0)
	(have_image Phenomenon9 infrared6)
	(have_image Phenomenon9 spectrograph1)
	(have_image Phenomenon9 image12)
	(have_image Phenomenon9 spectrograph4)
	(have_image Phenomenon9 thermograph16)
	(have_image Phenomenon10 spectrograph9)
	(have_image Phenomenon10 image12)
	(have_image Star11 infrared3)
	(have_image Star12 thermograph10)
	(have_image Planet14 thermograph7)
	(have_image Phenomenon15 infrared15)
	(have_image Planet16 spectrograph13)
	(have_image Phenomenon17 image12)
	(have_image Phenomenon17 image5)
	(have_image Phenomenon17 spectrograph9)
	(have_image Planet18 spectrograph4)
	(have_image Planet18 thermograph0)
	(have_image Planet18 spectrograph13)
	(have_image Planet18 spectrograph14)
	(have_image Planet19 image5)
	(have_image Planet19 thermograph0)
	(have_image Planet19 spectrograph9)
	(have_image Phenomenon20 image5)
	(have_image Phenomenon20 infrared15)
	(have_image Planet21 thermograph10)
	(have_image Phenomenon22 thermograph2)
	(have_image Phenomenon22 infrared3)
	(have_image Phenomenon22 infrared15)
	(have_image Star23 spectrograph14)
	(have_image Star23 thermograph7)
	(have_image Star23 thermograph16)
	(have_image Star23 thermograph0)
	(have_image Star23 thermograph2)
	(have_image Planet24 spectrograph13)
	(have_image Planet24 thermograph0)
	(have_image Planet24 infrared6)
	(have_image Phenomenon25 thermograph8)
	(have_image Phenomenon25 thermograph2)
	(have_image Planet26 infrared3)
	(have_image Star27 infrared6)
	(have_image Planet28 infrared3)
	(have_image Planet28 image12)
	(have_image Planet28 spectrograph1)
	(have_image Planet28 thermograph0)
	(have_image Planet28 infrared6)
	(have_image Planet29 infrared3)
	(have_image Planet29 infrared6)
	(have_image Planet29 thermograph8)
	(have_image Planet29 thermograph16)
	(have_image Planet29 thermograph10)
	(have_image Phenomenon31 infrared6)
	(have_image Phenomenon31 thermograph0)
	(have_image Phenomenon31 infrared15)
	(have_image Phenomenon31 spectrograph13)
	(have_image Phenomenon32 thermograph16)
	(have_image Phenomenon32 thermograph7)
	(have_image Phenomenon32 thermograph10)
	(have_image Phenomenon32 spectrograph1)
	(have_image Phenomenon32 spectrograph4)
	(have_image Star33 spectrograph14)
	(have_image Planet34 spectrograph4)
	(have_image Planet34 spectrograph9)
	(have_image Star35 thermograph0)
	(have_image Phenomenon36 spectrograph14)
	(have_image Phenomenon36 thermograph16)
	(have_image Phenomenon36 infrared3)
	(have_image Phenomenon36 image5)
	(have_image Phenomenon36 infrared6)
	(have_image Phenomenon37 thermograph8)
	(have_image Phenomenon37 spectrograph1)
	(have_image Phenomenon37 image11)
	(have_image Star38 infrared6)
	(have_image Star38 thermograph7)
	(have_image Phenomenon39 spectrograph9)
	(have_image Phenomenon39 infrared6)
	(have_image Star40 thermograph2)
	(have_image Planet41 thermograph7)
	(have_image Planet41 thermograph10)
	(have_image Planet41 spectrograph13)
	(have_image Planet41 infrared3)
	(have_image Planet41 spectrograph9)
	(have_image Phenomenon42 thermograph2)
	(have_image Phenomenon42 infrared6)
	(have_image Phenomenon42 spectrograph4)
))

)
