(define (problem DLOG-10-7-30)
	(:domain driverlog)
	(:objects
	driver1
	driver2
	driver3
	driver4
	driver5
	driver6
	driver7
	driver8
	driver9
	driver10
	truck1
	truck2
	truck3
	truck4
	truck5
	truck6
	truck7
	package1
	package2
	package3
	package4
	package5
	package6
	package7
	package8
	package9
	package10
	package11
	package12
	package13
	package14
	package15
	package16
	package17
	package18
	package19
	package20
	package21
	package22
	package23
	package24
	package25
	package26
	package27
	package28
	package29
	package30
	s0
	s1
	s2
	s3
	s4
	s5
	s6
	s7
	s8
	s9
	s10
	s11
	s12
	s13
	s14
	s15
	s16
	s17
	s18
	s19
	s20
	s21
	s22
	s23
	s24
	s25
	s26
	s27
	p0-2
	p0-5
	p2-17
	p2-23
	p2-26
	p3-0
	p3-1
	p5-8
	p5-15
	p5-19
	p5-27
	p6-7
	p6-15
	p6-24
	p7-0
	p7-14
	p8-1
	p8-14
	p8-16
	p8-21
	p8-27
	p9-4
	p9-6
	p9-15
	p9-18
	p10-25
	p11-18
	p12-6
	p12-7
	p12-9
	p12-17
	p13-6
	p13-25
	p14-20
	p16-0
	p16-8
	p17-15
	p18-4
	p18-6
	p18-7
	p19-1
	p19-9
	p21-0
	p21-5
	p21-13
	p21-20
	p21-24
	p22-0
	p22-10
	p22-12
	p25-4
	p25-11
	p25-22
	p26-12
	p27-12
	p27-13
	)
	(:init
	(at driver1 s18)
	(DRIVER driver1)
	(at driver2 s8)
	(DRIVER driver2)
	(at driver3 s5)
	(DRIVER driver3)
	(at driver4 s3)
	(DRIVER driver4)
	(at driver5 s10)
	(DRIVER driver5)
	(at driver6 s17)
	(DRIVER driver6)
	(at driver7 s21)
	(DRIVER driver7)
	(at driver8 s15)
	(DRIVER driver8)
	(at driver9 s3)
	(DRIVER driver9)
	(at driver10 s4)
	(DRIVER driver10)
	(at truck1 s3)
	(empty truck1)
	(TRUCK truck1)
	(at truck2 s6)
	(empty truck2)
	(TRUCK truck2)
	(at truck3 s23)
	(empty truck3)
	(TRUCK truck3)
	(at truck4 s25)
	(empty truck4)
	(TRUCK truck4)
	(at truck5 s10)
	(empty truck5)
	(TRUCK truck5)
	(at truck6 s13)
	(empty truck6)
	(TRUCK truck6)
	(at truck7 s14)
	(empty truck7)
	(TRUCK truck7)
	(at package1 s6)
	(OBJ package1)
	(at package2 s10)
	(OBJ package2)
	(at package3 s23)
	(OBJ package3)
	(at package4 s11)
	(OBJ package4)
	(at package5 s24)
	(OBJ package5)
	(at package6 s10)
	(OBJ package6)
	(at package7 s6)
	(OBJ package7)
	(at package8 s2)
	(OBJ package8)
	(at package9 s24)
	(OBJ package9)
	(at package10 s27)
	(OBJ package10)
	(at package11 s16)
	(OBJ package11)
	(at package12 s22)
	(OBJ package12)
	(at package13 s3)
	(OBJ package13)
	(at package14 s13)
	(OBJ package14)
	(at package15 s16)
	(OBJ package15)
	(at package16 s18)
	(OBJ package16)
	(at package17 s26)
	(OBJ package17)
	(at package18 s17)
	(OBJ package18)
	(at package19 s0)
	(OBJ package19)
	(at package20 s21)
	(OBJ package20)
	(at package21 s17)
	(OBJ package21)
	(at package22 s5)
	(OBJ package22)
	(at package23 s16)
	(OBJ package23)
	(at package24 s27)
	(OBJ package24)
	(at package25 s12)
	(OBJ package25)
	(at package26 s7)
	(OBJ package26)
	(at package27 s7)
	(OBJ package27)
	(at package28 s11)
	(OBJ package28)
	(at package29 s27)
	(OBJ package29)
	(at package30 s14)
	(OBJ package30)
	(LOCATION s0)
	(LOCATION s1)
	(LOCATION s2)
	(LOCATION s3)
	(LOCATION s4)
	(LOCATION s5)
	(LOCATION s6)
	(LOCATION s7)
	(LOCATION s8)
	(LOCATION s9)
	(LOCATION s10)
	(LOCATION s11)
	(LOCATION s12)
	(LOCATION s13)
	(LOCATION s14)
	(LOCATION s15)
	(LOCATION s16)
	(LOCATION s17)
	(LOCATION s18)
	(LOCATION s19)
	(LOCATION s20)
	(LOCATION s21)
	(LOCATION s22)
	(LOCATION s23)
	(LOCATION s24)
	(LOCATION s25)
	(LOCATION s26)
	(LOCATION s27)
	(LOCATION p0-2)
	(LOCATION p0-5)
	(LOCATION p2-17)
	(LOCATION p2-23)
	(LOCATION p2-26)
	(LOCATION p3-0)
	(LOCATION p3-1)
	(LOCATION p5-8)
	(LOCATION p5-15)
	(LOCATION p5-19)
	(LOCATION p5-27)
	(LOCATION p6-7)
	(LOCATION p6-15)
	(LOCATION p6-24)
	(LOCATION p7-0)
	(LOCATION p7-14)
	(LOCATION p8-1)
	(LOCATION p8-14)
	(LOCATION p8-16)
	(LOCATION p8-21)
	(LOCATION p8-27)
	(LOCATION p9-4)
	(LOCATION p9-6)
	(LOCATION p9-15)
	(LOCATION p9-18)
	(LOCATION p10-25)
	(LOCATION p11-18)
	(LOCATION p12-6)
	(LOCATION p12-7)
	(LOCATION p12-9)
	(LOCATION p12-17)
	(LOCATION p13-6)
	(LOCATION p13-25)
	(LOCATION p14-20)
	(LOCATION p16-0)
	(LOCATION p16-8)
	(LOCATION p17-15)
	(LOCATION p18-4)
	(LOCATION p18-6)
	(LOCATION p18-7)
	(LOCATION p19-1)
	(LOCATION p19-9)
	(LOCATION p21-0)
	(LOCATION p21-5)
	(LOCATION p21-13)
	(LOCATION p21-20)
	(LOCATION p21-24)
	(LOCATION p22-0)
	(LOCATION p22-10)
	(LOCATION p22-12)
	(LOCATION p25-4)
	(LOCATION p25-11)
	(LOCATION p25-22)
	(LOCATION p26-12)
	(LOCATION p27-12)
	(LOCATION p27-13)
	(path s0 p0-2)
	(path p0-2 s0)
	(path s2 p0-2)
	(path p0-2 s2)
	(path s0 p0-5)
	(path p0-5 s0)
	(path s5 p0-5)
	(path p0-5 s5)
	(path s2 p2-17)
	(path p2-17 s2)
	(path s17 p2-17)
	(path p2-17 s17)
	(path s2 p2-23)
	(path p2-23 s2)
	(path s23 p2-23)
	(path p2-23 s23)
	(path s2 p2-26)
	(path p2-26 s2)
	(path s26 p2-26)
	(path p2-26 s26)
	(path s3 p3-0)
	(path p3-0 s3)
	(path s0 p3-0)
	(path p3-0 s0)
	(path s3 p3-1)
	(path p3-1 s3)
	(path s1 p3-1)
	(path p3-1 s1)
	(path s5 p5-8)
	(path p5-8 s5)
	(path s8 p5-8)
	(path p5-8 s8)
	(path s5 p5-15)
	(path p5-15 s5)
	(path s15 p5-15)
	(path p5-15 s15)
	(path s5 p5-19)
	(path p5-19 s5)
	(path s19 p5-19)
	(path p5-19 s19)
	(path s5 p5-27)
	(path p5-27 s5)
	(path s27 p5-27)
	(path p5-27 s27)
	(path s6 p6-7)
	(path p6-7 s6)
	(path s7 p6-7)
	(path p6-7 s7)
	(path s6 p6-15)
	(path p6-15 s6)
	(path s15 p6-15)
	(path p6-15 s15)
	(path s6 p6-24)
	(path p6-24 s6)
	(path s24 p6-24)
	(path p6-24 s24)
	(path s7 p7-0)
	(path p7-0 s7)
	(path s0 p7-0)
	(path p7-0 s0)
	(path s7 p7-14)
	(path p7-14 s7)
	(path s14 p7-14)
	(path p7-14 s14)
	(path s8 p8-1)
	(path p8-1 s8)
	(path s1 p8-1)
	(path p8-1 s1)
	(path s8 p8-14)
	(path p8-14 s8)
	(path s14 p8-14)
	(path p8-14 s14)
	(path s8 p8-16)
	(path p8-16 s8)
	(path s16 p8-16)
	(path p8-16 s16)
	(path s8 p8-21)
	(path p8-21 s8)
	(path s21 p8-21)
	(path p8-21 s21)
	(path s8 p8-27)
	(path p8-27 s8)
	(path s27 p8-27)
	(path p8-27 s27)
	(path s9 p9-4)
	(path p9-4 s9)
	(path s4 p9-4)
	(path p9-4 s4)
	(path s9 p9-6)
	(path p9-6 s9)
	(path s6 p9-6)
	(path p9-6 s6)
	(path s9 p9-15)
	(path p9-15 s9)
	(path s15 p9-15)
	(path p9-15 s15)
	(path s9 p9-18)
	(path p9-18 s9)
	(path s18 p9-18)
	(path p9-18 s18)
	(path s10 p10-25)
	(path p10-25 s10)
	(path s25 p10-25)
	(path p10-25 s25)
	(path s11 p11-18)
	(path p11-18 s11)
	(path s18 p11-18)
	(path p11-18 s18)
	(path s12 p12-6)
	(path p12-6 s12)
	(path s6 p12-6)
	(path p12-6 s6)
	(path s12 p12-7)
	(path p12-7 s12)
	(path s7 p12-7)
	(path p12-7 s7)
	(path s12 p12-9)
	(path p12-9 s12)
	(path s9 p12-9)
	(path p12-9 s9)
	(path s12 p12-17)
	(path p12-17 s12)
	(path s17 p12-17)
	(path p12-17 s17)
	(path s13 p13-6)
	(path p13-6 s13)
	(path s6 p13-6)
	(path p13-6 s6)
	(path s13 p13-25)
	(path p13-25 s13)
	(path s25 p13-25)
	(path p13-25 s25)
	(path s14 p14-20)
	(path p14-20 s14)
	(path s20 p14-20)
	(path p14-20 s20)
	(path s16 p16-0)
	(path p16-0 s16)
	(path s0 p16-0)
	(path p16-0 s0)
	(path s17 p17-15)
	(path p17-15 s17)
	(path s15 p17-15)
	(path p17-15 s15)
	(path s18 p18-4)
	(path p18-4 s18)
	(path s4 p18-4)
	(path p18-4 s4)
	(path s18 p18-6)
	(path p18-6 s18)
	(path s6 p18-6)
	(path p18-6 s6)
	(path s18 p18-7)
	(path p18-7 s18)
	(path s7 p18-7)
	(path p18-7 s7)
	(path s19 p19-1)
	(path p19-1 s19)
	(path s1 p19-1)
	(path p19-1 s1)
	(path s19 p19-9)
	(path p19-9 s19)
	(path s9 p19-9)
	(path p19-9 s9)
	(path s21 p21-0)
	(path p21-0 s21)
	(path s0 p21-0)
	(path p21-0 s0)
	(path s21 p21-5)
	(path p21-5 s21)
	(path s5 p21-5)
	(path p21-5 s5)
	(path s21 p21-13)
	(path p21-13 s21)
	(path s13 p21-13)
	(path p21-13 s13)
	(path s21 p21-20)
	(path p21-20 s21)
	(path s20 p21-20)
	(path p21-20 s20)
	(path s21 p21-24)
	(path p21-24 s21)
	(path s24 p21-24)
	(path p21-24 s24)
	(path s22 p22-0)
	(path p22-0 s22)
	(path s0 p22-0)
	(path p22-0 s0)
	(path s22 p22-10)
	(path p22-10 s22)
	(path s10 p22-10)
	(path p22-10 s10)
	(path s22 p22-12)
	(path p22-12 s22)
	(path s12 p22-12)
	(path p22-12 s12)
	(path s25 p25-4)
	(path p25-4 s25)
	(path s4 p25-4)
	(path p25-4 s4)
	(path s25 p25-11)
	(path p25-11 s25)
	(path s11 p25-11)
	(path p25-11 s11)
	(path s25 p25-22)
	(path p25-22 s25)
	(path s22 p25-22)
	(path p25-22 s22)
	(path s26 p26-12)
	(path p26-12 s26)
	(path s12 p26-12)
	(path p26-12 s12)
	(path s27 p27-12)
	(path p27-12 s27)
	(path s12 p27-12)
	(path p27-12 s12)
	(path s27 p27-13)
	(path p27-13 s27)
	(path s13 p27-13)
	(path p27-13 s13)
	(link s0 s20)
	(link s20 s0)
	(link s0 s22)
	(link s22 s0)
	(link s0 s25)
	(link s25 s0)
	(link s1 s9)
	(link s9 s1)
	(link s1 s22)
	(link s22 s1)
	(link s2 s9)
	(link s9 s2)
	(link s2 s10)
	(link s10 s2)
	(link s2 s27)
	(link s27 s2)
	(link s3 s8)
	(link s8 s3)
	(link s3 s10)
	(link s10 s3)
	(link s3 s11)
	(link s11 s3)
	(link s3 s13)
	(link s13 s3)
	(link s3 s25)
	(link s25 s3)
	(link s3 s27)
	(link s27 s3)
	(link s4 s2)
	(link s2 s4)
	(link s4 s5)
	(link s5 s4)
	(link s4 s25)
	(link s25 s4)
	(link s5 s24)
	(link s24 s5)
	(link s6 s10)
	(link s10 s6)
	(link s6 s26)
	(link s26 s6)
	(link s7 s12)
	(link s12 s7)
	(link s7 s19)
	(link s19 s7)
	(link s7 s23)
	(link s23 s7)
	(link s7 s27)
	(link s27 s7)
	(link s8 s0)
	(link s0 s8)
	(link s8 s15)
	(link s15 s8)
	(link s8 s22)
	(link s22 s8)
	(link s8 s24)
	(link s24 s8)
	(link s9 s4)
	(link s4 s9)
	(link s9 s16)
	(link s16 s9)
	(link s9 s26)
	(link s26 s9)
	(link s10 s7)
	(link s7 s10)
	(link s10 s14)
	(link s14 s10)
	(link s10 s22)
	(link s22 s10)
	(link s11 s1)
	(link s1 s11)
	(link s11 s15)
	(link s15 s11)
	(link s11 s17)
	(link s17 s11)
	(link s12 s22)
	(link s22 s12)
	(link s12 s25)
	(link s25 s12)
	(link s13 s6)
	(link s6 s13)
	(link s13 s10)
	(link s10 s13)
	(link s13 s15)
	(link s15 s13)
	(link s13 s20)
	(link s20 s13)
	(link s13 s25)
	(link s25 s13)
	(link s14 s0)
	(link s0 s14)
	(link s14 s9)
	(link s9 s14)
	(link s14 s17)
	(link s17 s14)
	(link s15 s5)
	(link s5 s15)
	(link s15 s9)
	(link s9 s15)
	(link s15 s10)
	(link s10 s15)
	(link s15 s23)
	(link s23 s15)
	(link s15 s25)
	(link s25 s15)
	(link s16 s6)
	(link s6 s16)
	(link s16 s23)
	(link s23 s16)
	(link s16 s27)
	(link s27 s16)
	(link s17 s6)
	(link s6 s17)
	(link s17 s9)
	(link s9 s17)
	(link s17 s18)
	(link s18 s17)
	(link s17 s20)
	(link s20 s17)
	(link s18 s1)
	(link s1 s18)
	(link s18 s8)
	(link s8 s18)
	(link s18 s26)
	(link s26 s18)
	(link s19 s4)
	(link s4 s19)
	(link s19 s10)
	(link s10 s19)
	(link s19 s16)
	(link s16 s19)
	(link s19 s22)
	(link s22 s19)
	(link s19 s25)
	(link s25 s19)
	(link s19 s26)
	(link s26 s19)
	(link s21 s1)
	(link s1 s21)
	(link s21 s2)
	(link s2 s21)
	(link s21 s12)
	(link s12 s21)
	(link s21 s17)
	(link s17 s21)
	(link s21 s18)
	(link s18 s21)
	(link s22 s11)
	(link s11 s22)
	(link s23 s10)
	(link s10 s23)
	(link s23 s11)
	(link s11 s23)
	(link s23 s21)
	(link s21 s23)
	(link s23 s25)
	(link s25 s23)
	(link s24 s9)
	(link s9 s24)
	(link s24 s10)
	(link s10 s24)
	(link s24 s12)
	(link s12 s24)
	(link s24 s19)
	(link s19 s24)
	(link s24 s22)
	(link s22 s24)
	(link s24 s25)
	(link s25 s24)
	(link s25 s10)
	(link s10 s25)
	(link s25 s18)
	(link s18 s25)
	(link s25 s20)
	(link s20 s25)
	(link s25 s21)
	(link s21 s25)
	(link s26 s0)
	(link s0 s26)
	(link s26 s3)
	(link s3 s26)
	(link s26 s4)
	(link s4 s26)
	(link s26 s7)
	(link s7 s26)
	(link s26 s8)
	(link s8 s26)
	(link s26 s10)
	(link s10 s26)
	(link s26 s12)
	(link s12 s26)
	(link s26 s22)
	(link s22 s26)
	(link s26 s23)
	(link s23 s26)
	(link s27 s5)
	(link s5 s27)
	(link s27 s6)
	(link s6 s27)
	(link s27 s20)
	(link s20 s27)
	(link s27 s24)
	(link s24 s27)
)
	(:goal (and
	(at driver2 s2)
	(at driver4 s0)
	(at driver7 s14)
	(at driver9 s3)
	(at driver10 s1)
	(at truck1 s19)
	(at truck2 s0)
	(at truck3 s6)
	(at truck4 s9)
	(at truck5 s20)
	(at truck7 s3)
	(at package1 s19)
	(at package2 s22)
	(at package3 s27)
	(at package4 s2)
	(at package5 s9)
	(at package6 s5)
	(at package7 s2)
	(at package8 s13)
	(at package9 s26)
	(at package10 s13)
	(at package11 s19)
	(at package12 s2)
	(at package13 s25)
	(at package14 s9)
	(at package15 s5)
	(at package17 s22)
	(at package18 s24)
	(at package19 s21)
	(at package21 s8)
	(at package22 s2)
	(at package23 s6)
	(at package25 s8)
	(at package26 s26)
	(at package27 s25)
	(at package28 s14)
	(at package29 s15)
	(at package30 s8)
	))


)
