(define (problem strips-sat-x-1)
(:domain satellite)
(:objects
	satellite0
	instrument0
	instrument1
	instrument2
	instrument3
	instrument4
	instrument5
	instrument6
	instrument7
	instrument8
	instrument9
	instrument10
	instrument11
	instrument12
	instrument13
	instrument14
	satellite1
	instrument15
	instrument16
	instrument17
	instrument18
	instrument19
	instrument20
	instrument21
	satellite2
	instrument22
	instrument23
	instrument24
	instrument25
	satellite3
	instrument26
	instrument27
	instrument28
	instrument29
	satellite4
	instrument30
	instrument31
	instrument32
	instrument33
	instrument34
	instrument35
	instrument36
	instrument37
	instrument38
	instrument39
	satellite5
	instrument40
	instrument41
	instrument42
	instrument43
	instrument44
	instrument45
	instrument46
	instrument47
	instrument48
	instrument49
	instrument50
	instrument51
	instrument52
	instrument53
	instrument54
	satellite6
	instrument55
	instrument56
	instrument57
	satellite7
	instrument58
	instrument59
	instrument60
	instrument61
	instrument62
	instrument63
	instrument64
	instrument65
	instrument66
	instrument67
	satellite8
	instrument68
	instrument69
	instrument70
	instrument71
	instrument72
	instrument73
	instrument74
	infrared4
	spectrograph2
	thermograph13
	infrared1
	image7
	spectrograph6
	thermograph14
	thermograph12
	image11
	infrared3
	spectrograph5
	spectrograph0
	spectrograph8
	infrared9
	infrared10
	Star5
	Star0
	Star2
	Star3
	GroundStation1
	GroundStation6
	Star4
	Star7
	Planet8
	Phenomenon9
	Star10
	Phenomenon11
	Phenomenon12
	Phenomenon13
	Planet14
	Phenomenon15
	Phenomenon16
	Planet17
	Star18
	Star19
	Phenomenon20
	Planet21
	Planet22
	Planet23
	Planet24
	Planet25
	Star26
	Planet27
	Phenomenon28
	Star29
	Phenomenon30
	Planet31
	Phenomenon32
	Star33
	Planet34
	Planet35
	Star36
)
(:init
	(satellite satellite0)
	(instrument instrument0)
	(supports instrument0 infrared9)
	(supports instrument0 spectrograph2)
	(supports instrument0 spectrograph0)
	(calibration_target instrument0 GroundStation1)
	(instrument instrument1)
	(supports instrument1 spectrograph8)
	(supports instrument1 infrared1)
	(calibration_target instrument1 Star5)
	(calibration_target instrument1 GroundStation1)
	(instrument instrument2)
	(supports instrument2 spectrograph0)
	(calibration_target instrument2 Star4)
	(instrument instrument3)
	(supports instrument3 spectrograph2)
	(supports instrument3 infrared3)
	(supports instrument3 thermograph12)
	(calibration_target instrument3 Star0)
	(calibration_target instrument3 Star3)
	(instrument instrument4)
	(supports instrument4 spectrograph0)
	(supports instrument4 infrared4)
	(supports instrument4 spectrograph2)
	(calibration_target instrument4 Star3)
	(calibration_target instrument4 GroundStation6)
	(instrument instrument5)
	(supports instrument5 infrared10)
	(supports instrument5 image11)
	(supports instrument5 spectrograph2)
	(calibration_target instrument5 GroundStation1)
	(instrument instrument6)
	(supports instrument6 infrared1)
	(supports instrument6 spectrograph5)
	(calibration_target instrument6 GroundStation1)
	(instrument instrument7)
	(supports instrument7 spectrograph2)
	(calibration_target instrument7 Star0)
	(instrument instrument8)
	(supports instrument8 image11)
	(supports instrument8 spectrograph6)
	(calibration_target instrument8 Star3)
	(calibration_target instrument8 Star2)
	(instrument instrument9)
	(supports instrument9 spectrograph5)
	(supports instrument9 image11)
	(supports instrument9 image7)
	(calibration_target instrument9 Star2)
	(calibration_target instrument9 GroundStation1)
	(instrument instrument10)
	(supports instrument10 thermograph13)
	(supports instrument10 infrared9)
	(supports instrument10 spectrograph8)
	(calibration_target instrument10 GroundStation6)
	(instrument instrument11)
	(supports instrument11 thermograph12)
	(supports instrument11 spectrograph5)
	(calibration_target instrument11 Star0)
	(instrument instrument12)
	(supports instrument12 image11)
	(supports instrument12 spectrograph5)
	(calibration_target instrument12 Star3)
	(calibration_target instrument12 Star2)
	(instrument instrument13)
	(supports instrument13 image11)
	(calibration_target instrument13 Star4)
	(calibration_target instrument13 Star5)
	(instrument instrument14)
	(supports instrument14 infrared1)
	(supports instrument14 spectrograph8)
	(supports instrument14 spectrograph6)
	(calibration_target instrument14 Star3)
	(on_board instrument0 satellite0)
	(on_board instrument1 satellite0)
	(on_board instrument2 satellite0)
	(on_board instrument3 satellite0)
	(on_board instrument4 satellite0)
	(on_board instrument5 satellite0)
	(on_board instrument6 satellite0)
	(on_board instrument7 satellite0)
	(on_board instrument8 satellite0)
	(on_board instrument9 satellite0)
	(on_board instrument10 satellite0)
	(on_board instrument11 satellite0)
	(on_board instrument12 satellite0)
	(on_board instrument13 satellite0)
	(on_board instrument14 satellite0)
	(power_avail satellite0)
	(pointing satellite0 Star4)
	(satellite satellite1)
	(instrument instrument15)
	(supports instrument15 infrared3)
	(supports instrument15 thermograph14)
	(calibration_target instrument15 Star3)
	(calibration_target instrument15 Star4)
	(instrument instrument16)
	(supports instrument16 image11)
	(supports instrument16 spectrograph8)
	(supports instrument16 thermograph14)
	(calibration_target instrument16 Star3)
	(calibration_target instrument16 Star4)
	(instrument instrument17)
	(supports instrument17 spectrograph5)
	(supports instrument17 thermograph12)
	(supports instrument17 infrared10)
	(calibration_target instrument17 GroundStation6)
	(calibration_target instrument17 Star4)
	(instrument instrument18)
	(supports instrument18 spectrograph0)
	(supports instrument18 thermograph13)
	(supports instrument18 image11)
	(calibration_target instrument18 Star3)
	(calibration_target instrument18 Star4)
	(instrument instrument19)
	(supports instrument19 spectrograph8)
	(supports instrument19 infrared4)
	(supports instrument19 infrared1)
	(calibration_target instrument19 GroundStation6)
	(instrument instrument20)
	(supports instrument20 infrared3)
	(supports instrument20 spectrograph2)
	(calibration_target instrument20 Star5)
	(instrument instrument21)
	(supports instrument21 infrared9)
	(calibration_target instrument21 Star2)
	(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)
	(power_avail satellite1)
	(pointing satellite1 Star36)
	(satellite satellite2)
	(instrument instrument22)
	(supports instrument22 thermograph13)
	(supports instrument22 infrared3)
	(calibration_target instrument22 GroundStation1)
	(instrument instrument23)
	(supports instrument23 infrared1)
	(calibration_target instrument23 GroundStation6)
	(calibration_target instrument23 Star0)
	(instrument instrument24)
	(supports instrument24 spectrograph8)
	(supports instrument24 spectrograph0)
	(calibration_target instrument24 Star3)
	(calibration_target instrument24 Star2)
	(instrument instrument25)
	(supports instrument25 infrared10)
	(supports instrument25 spectrograph5)
	(supports instrument25 infrared9)
	(calibration_target instrument25 Star5)
	(on_board instrument22 satellite2)
	(on_board instrument23 satellite2)
	(on_board instrument24 satellite2)
	(on_board instrument25 satellite2)
	(power_avail satellite2)
	(pointing satellite2 Planet8)
	(satellite satellite3)
	(instrument instrument26)
	(supports instrument26 thermograph12)
	(supports instrument26 spectrograph2)
	(supports instrument26 image11)
	(calibration_target instrument26 Star3)
	(calibration_target instrument26 Star0)
	(instrument instrument27)
	(supports instrument27 infrared10)
	(supports instrument27 spectrograph2)
	(supports instrument27 spectrograph8)
	(calibration_target instrument27 GroundStation6)
	(calibration_target instrument27 Star5)
	(instrument instrument28)
	(supports instrument28 spectrograph0)
	(supports instrument28 spectrograph2)
	(supports instrument28 spectrograph6)
	(calibration_target instrument28 Star2)
	(calibration_target instrument28 GroundStation1)
	(instrument instrument29)
	(supports instrument29 spectrograph5)
	(calibration_target instrument29 Star3)
	(calibration_target instrument29 Star0)
	(on_board instrument26 satellite3)
	(on_board instrument27 satellite3)
	(on_board instrument28 satellite3)
	(on_board instrument29 satellite3)
	(power_avail satellite3)
	(pointing satellite3 Phenomenon11)
	(satellite satellite4)
	(instrument instrument30)
	(supports instrument30 spectrograph6)
	(supports instrument30 infrared3)
	(supports instrument30 spectrograph2)
	(calibration_target instrument30 Star0)
	(instrument instrument31)
	(supports instrument31 infrared10)
	(supports instrument31 image11)
	(calibration_target instrument31 Star2)
	(instrument instrument32)
	(supports instrument32 image7)
	(supports instrument32 thermograph14)
	(calibration_target instrument32 Star5)
	(calibration_target instrument32 Star3)
	(instrument instrument33)
	(supports instrument33 spectrograph6)
	(supports instrument33 infrared9)
	(supports instrument33 infrared1)
	(calibration_target instrument33 Star3)
	(calibration_target instrument33 Star4)
	(instrument instrument34)
	(supports instrument34 infrared3)
	(supports instrument34 spectrograph2)
	(calibration_target instrument34 Star0)
	(calibration_target instrument34 Star5)
	(instrument instrument35)
	(supports instrument35 spectrograph0)
	(calibration_target instrument35 Star2)
	(calibration_target instrument35 GroundStation6)
	(instrument instrument36)
	(supports instrument36 infrared4)
	(calibration_target instrument36 Star4)
	(calibration_target instrument36 Star0)
	(instrument instrument37)
	(supports instrument37 thermograph12)
	(calibration_target instrument37 GroundStation6)
	(calibration_target instrument37 Star0)
	(instrument instrument38)
	(supports instrument38 image7)
	(supports instrument38 spectrograph8)
	(calibration_target instrument38 GroundStation6)
	(calibration_target instrument38 Star0)
	(instrument instrument39)
	(supports instrument39 spectrograph2)
	(supports instrument39 spectrograph6)
	(supports instrument39 thermograph13)
	(calibration_target instrument39 Star0)
	(on_board instrument30 satellite4)
	(on_board instrument31 satellite4)
	(on_board instrument32 satellite4)
	(on_board instrument33 satellite4)
	(on_board instrument34 satellite4)
	(on_board instrument35 satellite4)
	(on_board instrument36 satellite4)
	(on_board instrument37 satellite4)
	(on_board instrument38 satellite4)
	(on_board instrument39 satellite4)
	(power_avail satellite4)
	(pointing satellite4 Planet34)
	(satellite satellite5)
	(instrument instrument40)
	(supports instrument40 image11)
	(supports instrument40 infrared9)
	(supports instrument40 infrared10)
	(calibration_target instrument40 GroundStation6)
	(instrument instrument41)
	(supports instrument41 infrared3)
	(supports instrument41 infrared1)
	(supports instrument41 thermograph12)
	(calibration_target instrument41 GroundStation1)
	(instrument instrument42)
	(supports instrument42 spectrograph8)
	(supports instrument42 image11)
	(calibration_target instrument42 GroundStation1)
	(instrument instrument43)
	(supports instrument43 image7)
	(calibration_target instrument43 Star3)
	(instrument instrument44)
	(supports instrument44 infrared4)
	(supports instrument44 spectrograph5)
	(supports instrument44 infrared9)
	(calibration_target instrument44 Star5)
	(calibration_target instrument44 GroundStation6)
	(instrument instrument45)
	(supports instrument45 spectrograph8)
	(supports instrument45 spectrograph0)
	(calibration_target instrument45 GroundStation1)
	(instrument instrument46)
	(supports instrument46 infrared4)
	(supports instrument46 infrared9)
	(calibration_target instrument46 Star2)
	(calibration_target instrument46 Star4)
	(instrument instrument47)
	(supports instrument47 infrared9)
	(calibration_target instrument47 Star3)
	(instrument instrument48)
	(supports instrument48 thermograph12)
	(supports instrument48 spectrograph8)
	(calibration_target instrument48 Star4)
	(instrument instrument49)
	(supports instrument49 thermograph13)
	(supports instrument49 thermograph12)
	(supports instrument49 infrared1)
	(calibration_target instrument49 Star5)
	(calibration_target instrument49 Star4)
	(instrument instrument50)
	(supports instrument50 thermograph14)
	(supports instrument50 infrared1)
	(calibration_target instrument50 Star4)
	(calibration_target instrument50 Star2)
	(instrument instrument51)
	(supports instrument51 infrared9)
	(supports instrument51 thermograph13)
	(calibration_target instrument51 Star3)
	(calibration_target instrument51 Star0)
	(instrument instrument52)
	(supports instrument52 image7)
	(supports instrument52 infrared4)
	(calibration_target instrument52 Star3)
	(calibration_target instrument52 Star5)
	(instrument instrument53)
	(supports instrument53 image7)
	(supports instrument53 infrared9)
	(calibration_target instrument53 Star3)
	(calibration_target instrument53 GroundStation1)
	(instrument instrument54)
	(supports instrument54 infrared9)
	(calibration_target instrument54 Star2)
	(on_board instrument40 satellite5)
	(on_board instrument41 satellite5)
	(on_board instrument42 satellite5)
	(on_board instrument43 satellite5)
	(on_board instrument44 satellite5)
	(on_board instrument45 satellite5)
	(on_board instrument46 satellite5)
	(on_board instrument47 satellite5)
	(on_board instrument48 satellite5)
	(on_board instrument49 satellite5)
	(on_board instrument50 satellite5)
	(on_board instrument51 satellite5)
	(on_board instrument52 satellite5)
	(on_board instrument53 satellite5)
	(on_board instrument54 satellite5)
	(power_avail satellite5)
	(pointing satellite5 Phenomenon30)
	(satellite satellite6)
	(instrument instrument55)
	(supports instrument55 spectrograph6)
	(supports instrument55 image7)
	(supports instrument55 spectrograph5)
	(calibration_target instrument55 Star5)
	(instrument instrument56)
	(supports instrument56 spectrograph5)
	(supports instrument56 thermograph13)
	(calibration_target instrument56 Star4)
	(instrument instrument57)
	(supports instrument57 spectrograph5)
	(calibration_target instrument57 Star2)
	(calibration_target instrument57 GroundStation6)
	(on_board instrument55 satellite6)
	(on_board instrument56 satellite6)
	(on_board instrument57 satellite6)
	(power_avail satellite6)
	(pointing satellite6 Star10)
	(satellite satellite7)
	(instrument instrument58)
	(supports instrument58 infrared3)
	(supports instrument58 thermograph14)
	(supports instrument58 spectrograph5)
	(calibration_target instrument58 Star4)
	(instrument instrument59)
	(supports instrument59 infrared3)
	(supports instrument59 spectrograph8)
	(calibration_target instrument59 Star3)
	(calibration_target instrument59 GroundStation1)
	(instrument instrument60)
	(supports instrument60 spectrograph5)
	(supports instrument60 infrared10)
	(calibration_target instrument60 GroundStation6)
	(instrument instrument61)
	(supports instrument61 infrared1)
	(supports instrument61 thermograph14)
	(calibration_target instrument61 Star4)
	(instrument instrument62)
	(supports instrument62 infrared10)
	(supports instrument62 spectrograph2)
	(supports instrument62 spectrograph6)
	(calibration_target instrument62 Star5)
	(calibration_target instrument62 Star0)
	(instrument instrument63)
	(supports instrument63 thermograph13)
	(supports instrument63 spectrograph6)
	(calibration_target instrument63 Star0)
	(calibration_target instrument63 GroundStation1)
	(instrument instrument64)
	(supports instrument64 infrared1)
	(supports instrument64 infrared9)
	(calibration_target instrument64 GroundStation1)
	(instrument instrument65)
	(supports instrument65 thermograph14)
	(supports instrument65 spectrograph0)
	(calibration_target instrument65 Star3)
	(calibration_target instrument65 Star5)
	(instrument instrument66)
	(supports instrument66 image7)
	(supports instrument66 thermograph12)
	(calibration_target instrument66 Star5)
	(calibration_target instrument66 Star4)
	(instrument instrument67)
	(supports instrument67 spectrograph6)
	(supports instrument67 spectrograph0)
	(supports instrument67 infrared10)
	(calibration_target instrument67 GroundStation1)
	(on_board instrument58 satellite7)
	(on_board instrument59 satellite7)
	(on_board instrument60 satellite7)
	(on_board instrument61 satellite7)
	(on_board instrument62 satellite7)
	(on_board instrument63 satellite7)
	(on_board instrument64 satellite7)
	(on_board instrument65 satellite7)
	(on_board instrument66 satellite7)
	(on_board instrument67 satellite7)
	(power_avail satellite7)
	(pointing satellite7 Planet14)
	(satellite satellite8)
	(instrument instrument68)
	(supports instrument68 spectrograph8)
	(supports instrument68 image11)
	(calibration_target instrument68 Star2)
	(calibration_target instrument68 Star0)
	(instrument instrument69)
	(supports instrument69 thermograph14)
	(supports instrument69 spectrograph0)
	(calibration_target instrument69 Star4)
	(instrument instrument70)
	(supports instrument70 spectrograph5)
	(supports instrument70 spectrograph8)
	(supports instrument70 thermograph12)
	(calibration_target instrument70 GroundStation1)
	(calibration_target instrument70 GroundStation6)
	(instrument instrument71)
	(supports instrument71 image11)
	(supports instrument71 infrared9)
	(supports instrument71 infrared3)
	(calibration_target instrument71 Star3)
	(instrument instrument72)
	(supports instrument72 spectrograph0)
	(supports instrument72 spectrograph5)
	(supports instrument72 infrared3)
	(calibration_target instrument72 GroundStation1)
	(instrument instrument73)
	(supports instrument73 infrared10)
	(calibration_target instrument73 GroundStation6)
	(instrument instrument74)
	(supports instrument74 infrared10)
	(supports instrument74 infrared9)
	(supports instrument74 spectrograph8)
	(calibration_target instrument74 Star4)
	(on_board instrument68 satellite8)
	(on_board instrument69 satellite8)
	(on_board instrument70 satellite8)
	(on_board instrument71 satellite8)
	(on_board instrument72 satellite8)
	(on_board instrument73 satellite8)
	(on_board instrument74 satellite8)
	(power_avail satellite8)
	(pointing satellite8 Star18)
	(mode infrared4)
	(mode spectrograph2)
	(mode thermograph13)
	(mode infrared1)
	(mode image7)
	(mode spectrograph6)
	(mode thermograph14)
	(mode thermograph12)
	(mode image11)
	(mode infrared3)
	(mode spectrograph5)
	(mode spectrograph0)
	(mode spectrograph8)
	(mode infrared9)
	(mode infrared10)
	(direction Star5)
	(direction Star0)
	(direction Star2)
	(direction Star3)
	(direction GroundStation1)
	(direction GroundStation6)
	(direction Star4)
	(direction Star7)
	(direction Planet8)
	(direction Phenomenon9)
	(direction Star10)
	(direction Phenomenon11)
	(direction Phenomenon12)
	(direction Phenomenon13)
	(direction Planet14)
	(direction Phenomenon15)
	(direction Phenomenon16)
	(direction Planet17)
	(direction Star18)
	(direction Star19)
	(direction Phenomenon20)
	(direction Planet21)
	(direction Planet22)
	(direction Planet23)
	(direction Planet24)
	(direction Planet25)
	(direction Star26)
	(direction Planet27)
	(direction Phenomenon28)
	(direction Star29)
	(direction Phenomenon30)
	(direction Planet31)
	(direction Phenomenon32)
	(direction Star33)
	(direction Planet34)
	(direction Planet35)
	(direction Star36)
)
(:goal (and
	(pointing satellite0 Planet35)
	(pointing satellite1 GroundStation6)
	(pointing satellite4 Planet31)
	(pointing satellite7 Star5)
	(have_image Star7 spectrograph5)
	(have_image Star7 infrared9)
	(have_image Planet8 spectrograph0)
	(have_image Planet8 spectrograph6)
	(have_image Planet8 infrared10)
	(have_image Phenomenon9 image11)
	(have_image Phenomenon9 spectrograph2)
	(have_image Phenomenon9 spectrograph5)
	(have_image Star10 infrared10)
	(have_image Star10 infrared3)
	(have_image Star10 spectrograph6)
	(have_image Star10 thermograph13)
	(have_image Phenomenon11 thermograph14)
	(have_image Phenomenon11 infrared3)
	(have_image Phenomenon11 spectrograph0)
	(have_image Phenomenon11 thermograph12)
	(have_image Phenomenon11 spectrograph5)
	(have_image Phenomenon12 infrared4)
	(have_image Phenomenon12 thermograph13)
	(have_image Phenomenon12 spectrograph0)
	(have_image Phenomenon12 infrared3)
	(have_image Planet14 infrared9)
	(have_image Planet14 infrared4)
	(have_image Phenomenon15 infrared4)
	(have_image Phenomenon16 infrared10)
	(have_image Phenomenon16 image11)
	(have_image Phenomenon16 spectrograph6)
	(have_image Planet17 thermograph14)
	(have_image Planet17 image11)
	(have_image Planet17 image7)
	(have_image Planet17 infrared4)
	(have_image Star18 thermograph14)
	(have_image Star18 infrared3)
	(have_image Star18 spectrograph2)
	(have_image Star18 thermograph13)
	(have_image Star19 infrared4)
	(have_image Star19 thermograph12)
	(have_image Phenomenon20 thermograph12)
	(have_image Planet21 infrared3)
	(have_image Planet21 image7)
	(have_image Planet21 spectrograph6)
	(have_image Planet21 spectrograph8)
	(have_image Planet21 infrared10)
	(have_image Planet22 spectrograph5)
	(have_image Planet22 infrared9)
	(have_image Planet22 image11)
	(have_image Planet22 infrared10)
	(have_image Planet23 infrared1)
	(have_image Planet25 infrared3)
	(have_image Planet25 image11)
	(have_image Planet25 spectrograph5)
	(have_image Planet25 infrared9)
	(have_image Planet25 thermograph14)
	(have_image Star26 infrared3)
	(have_image Star26 thermograph13)
	(have_image Star26 infrared4)
	(have_image Star26 spectrograph2)
	(have_image Star26 infrared9)
	(have_image Planet27 thermograph14)
	(have_image Planet27 image7)
	(have_image Planet27 infrared1)
	(have_image Phenomenon28 image11)
	(have_image Phenomenon28 spectrograph6)
	(have_image Star29 infrared3)
	(have_image Star29 spectrograph8)
	(have_image Star29 image7)
	(have_image Phenomenon30 spectrograph2)
	(have_image Phenomenon30 spectrograph5)
	(have_image Planet31 spectrograph0)
	(have_image Planet31 thermograph12)
	(have_image Planet31 infrared4)
	(have_image Phenomenon32 spectrograph8)
	(have_image Star33 thermograph12)
	(have_image Planet34 spectrograph0)
	(have_image Planet34 spectrograph5)
	(have_image Planet34 image11)
	(have_image Planet34 image7)
	(have_image Planet34 infrared1)
	(have_image Planet35 spectrograph6)
	(have_image Planet35 image7)
	(have_image Planet35 infrared3)
	(have_image Star36 infrared10)
))

)
