(define (problem DLOG-13-10-40)
	(:domain driverlog)
	(:objects
	driver1
	driver2
	driver3
	driver4
	driver5
	driver6
	driver7
	driver8
	driver9
	driver10
	driver11
	driver12
	driver13
	truck1
	truck2
	truck3
	truck4
	truck5
	truck6
	truck7
	truck8
	truck9
	truck10
	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
	package31
	package32
	package33
	package34
	package35
	package36
	package37
	package38
	package39
	package40
	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
	s28
	s29
	s30
	s31
	s32
	s33
	p0-9
	p0-11
	p0-17
	p0-22
	p2-25
	p3-4
	p3-6
	p3-13
	p3-32
	p4-5
	p4-6
	p4-7
	p4-10
	p4-33
	p5-14
	p5-31
	p5-33
	p6-12
	p6-26
	p7-2
	p7-10
	p7-21
	p8-0
	p8-2
	p8-25
	p8-26
	p9-18
	p9-21
	p10-24
	p10-30
	p11-3
	p11-21
	p13-1
	p13-8
	p13-18
	p13-24
	p14-8
	p14-15
	p15-16
	p15-25
	p16-17
	p16-19
	p16-27
	p17-10
	p18-24
	p18-25
	p19-0
	p19-9
	p19-16
	p19-21
	p19-22
	p19-26
	p21-0
	p21-32
	p22-1
	p22-9
	p22-17
	p22-32
	p23-5
	p23-24
	p23-28
	p25-10
	p25-29
	p26-17
	p28-0
	p28-20
	p30-8
	p31-23
	p32-33
	p33-2
	)
	(:init
	(at driver1 s4)
	(DRIVER driver1)
	(at driver2 s1)
	(DRIVER driver2)
	(at driver3 s12)
	(DRIVER driver3)
	(at driver4 s0)
	(DRIVER driver4)
	(at driver5 s28)
	(DRIVER driver5)
	(at driver6 s6)
	(DRIVER driver6)
	(at driver7 s15)
	(DRIVER driver7)
	(at driver8 s24)
	(DRIVER driver8)
	(at driver9 s4)
	(DRIVER driver9)
	(at driver10 s9)
	(DRIVER driver10)
	(at driver11 s23)
	(DRIVER driver11)
	(at driver12 s20)
	(DRIVER driver12)
	(at driver13 s19)
	(DRIVER driver13)
	(at truck1 s0)
	(empty truck1)
	(TRUCK truck1)
	(at truck2 s21)
	(empty truck2)
	(TRUCK truck2)
	(at truck3 s21)
	(empty truck3)
	(TRUCK truck3)
	(at truck4 s0)
	(empty truck4)
	(TRUCK truck4)
	(at truck5 s25)
	(empty truck5)
	(TRUCK truck5)
	(at truck6 s7)
	(empty truck6)
	(TRUCK truck6)
	(at truck7 s28)
	(empty truck7)
	(TRUCK truck7)
	(at truck8 s27)
	(empty truck8)
	(TRUCK truck8)
	(at truck9 s7)
	(empty truck9)
	(TRUCK truck9)
	(at truck10 s30)
	(empty truck10)
	(TRUCK truck10)
	(at package1 s18)
	(OBJ package1)
	(at package2 s30)
	(OBJ package2)
	(at package3 s17)
	(OBJ package3)
	(at package4 s3)
	(OBJ package4)
	(at package5 s14)
	(OBJ package5)
	(at package6 s19)
	(OBJ package6)
	(at package7 s19)
	(OBJ package7)
	(at package8 s15)
	(OBJ package8)
	(at package9 s11)
	(OBJ package9)
	(at package10 s10)
	(OBJ package10)
	(at package11 s22)
	(OBJ package11)
	(at package12 s15)
	(OBJ package12)
	(at package13 s17)
	(OBJ package13)
	(at package14 s1)
	(OBJ package14)
	(at package15 s16)
	(OBJ package15)
	(at package16 s19)
	(OBJ package16)
	(at package17 s14)
	(OBJ package17)
	(at package18 s12)
	(OBJ package18)
	(at package19 s2)
	(OBJ package19)
	(at package20 s4)
	(OBJ package20)
	(at package21 s4)
	(OBJ package21)
	(at package22 s2)
	(OBJ package22)
	(at package23 s20)
	(OBJ package23)
	(at package24 s11)
	(OBJ package24)
	(at package25 s10)
	(OBJ package25)
	(at package26 s7)
	(OBJ package26)
	(at package27 s11)
	(OBJ package27)
	(at package28 s15)
	(OBJ package28)
	(at package29 s14)
	(OBJ package29)
	(at package30 s15)
	(OBJ package30)
	(at package31 s15)
	(OBJ package31)
	(at package32 s32)
	(OBJ package32)
	(at package33 s29)
	(OBJ package33)
	(at package34 s23)
	(OBJ package34)
	(at package35 s18)
	(OBJ package35)
	(at package36 s29)
	(OBJ package36)
	(at package37 s6)
	(OBJ package37)
	(at package38 s4)
	(OBJ package38)
	(at package39 s3)
	(OBJ package39)
	(at package40 s14)
	(OBJ package40)
	(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 s28)
	(LOCATION s29)
	(LOCATION s30)
	(LOCATION s31)
	(LOCATION s32)
	(LOCATION s33)
	(LOCATION p0-9)
	(LOCATION p0-11)
	(LOCATION p0-17)
	(LOCATION p0-22)
	(LOCATION p2-25)
	(LOCATION p3-4)
	(LOCATION p3-6)
	(LOCATION p3-13)
	(LOCATION p3-32)
	(LOCATION p4-5)
	(LOCATION p4-6)
	(LOCATION p4-7)
	(LOCATION p4-10)
	(LOCATION p4-33)
	(LOCATION p5-14)
	(LOCATION p5-31)
	(LOCATION p5-33)
	(LOCATION p6-12)
	(LOCATION p6-26)
	(LOCATION p7-2)
	(LOCATION p7-10)
	(LOCATION p7-21)
	(LOCATION p8-0)
	(LOCATION p8-2)
	(LOCATION p8-25)
	(LOCATION p8-26)
	(LOCATION p9-18)
	(LOCATION p9-21)
	(LOCATION p10-24)
	(LOCATION p10-30)
	(LOCATION p11-3)
	(LOCATION p11-21)
	(LOCATION p13-1)
	(LOCATION p13-8)
	(LOCATION p13-18)
	(LOCATION p13-24)
	(LOCATION p14-8)
	(LOCATION p14-15)
	(LOCATION p15-16)
	(LOCATION p15-25)
	(LOCATION p16-17)
	(LOCATION p16-19)
	(LOCATION p16-27)
	(LOCATION p17-10)
	(LOCATION p18-24)
	(LOCATION p18-25)
	(LOCATION p19-0)
	(LOCATION p19-9)
	(LOCATION p19-16)
	(LOCATION p19-21)
	(LOCATION p19-22)
	(LOCATION p19-26)
	(LOCATION p21-0)
	(LOCATION p21-32)
	(LOCATION p22-1)
	(LOCATION p22-9)
	(LOCATION p22-17)
	(LOCATION p22-32)
	(LOCATION p23-5)
	(LOCATION p23-24)
	(LOCATION p23-28)
	(LOCATION p25-10)
	(LOCATION p25-29)
	(LOCATION p26-17)
	(LOCATION p28-0)
	(LOCATION p28-20)
	(LOCATION p30-8)
	(LOCATION p31-23)
	(LOCATION p32-33)
	(LOCATION p33-2)
	(path s0 p0-9)
	(path p0-9 s0)
	(path s9 p0-9)
	(path p0-9 s9)
	(path s0 p0-11)
	(path p0-11 s0)
	(path s11 p0-11)
	(path p0-11 s11)
	(path s0 p0-17)
	(path p0-17 s0)
	(path s17 p0-17)
	(path p0-17 s17)
	(path s0 p0-22)
	(path p0-22 s0)
	(path s22 p0-22)
	(path p0-22 s22)
	(path s2 p2-25)
	(path p2-25 s2)
	(path s25 p2-25)
	(path p2-25 s25)
	(path s3 p3-4)
	(path p3-4 s3)
	(path s4 p3-4)
	(path p3-4 s4)
	(path s3 p3-6)
	(path p3-6 s3)
	(path s6 p3-6)
	(path p3-6 s6)
	(path s3 p3-13)
	(path p3-13 s3)
	(path s13 p3-13)
	(path p3-13 s13)
	(path s3 p3-32)
	(path p3-32 s3)
	(path s32 p3-32)
	(path p3-32 s32)
	(path s4 p4-5)
	(path p4-5 s4)
	(path s5 p4-5)
	(path p4-5 s5)
	(path s4 p4-6)
	(path p4-6 s4)
	(path s6 p4-6)
	(path p4-6 s6)
	(path s4 p4-7)
	(path p4-7 s4)
	(path s7 p4-7)
	(path p4-7 s7)
	(path s4 p4-10)
	(path p4-10 s4)
	(path s10 p4-10)
	(path p4-10 s10)
	(path s4 p4-33)
	(path p4-33 s4)
	(path s33 p4-33)
	(path p4-33 s33)
	(path s5 p5-14)
	(path p5-14 s5)
	(path s14 p5-14)
	(path p5-14 s14)
	(path s5 p5-31)
	(path p5-31 s5)
	(path s31 p5-31)
	(path p5-31 s31)
	(path s5 p5-33)
	(path p5-33 s5)
	(path s33 p5-33)
	(path p5-33 s33)
	(path s6 p6-12)
	(path p6-12 s6)
	(path s12 p6-12)
	(path p6-12 s12)
	(path s6 p6-26)
	(path p6-26 s6)
	(path s26 p6-26)
	(path p6-26 s26)
	(path s7 p7-2)
	(path p7-2 s7)
	(path s2 p7-2)
	(path p7-2 s2)
	(path s7 p7-10)
	(path p7-10 s7)
	(path s10 p7-10)
	(path p7-10 s10)
	(path s7 p7-21)
	(path p7-21 s7)
	(path s21 p7-21)
	(path p7-21 s21)
	(path s8 p8-0)
	(path p8-0 s8)
	(path s0 p8-0)
	(path p8-0 s0)
	(path s8 p8-2)
	(path p8-2 s8)
	(path s2 p8-2)
	(path p8-2 s2)
	(path s8 p8-25)
	(path p8-25 s8)
	(path s25 p8-25)
	(path p8-25 s25)
	(path s8 p8-26)
	(path p8-26 s8)
	(path s26 p8-26)
	(path p8-26 s26)
	(path s9 p9-18)
	(path p9-18 s9)
	(path s18 p9-18)
	(path p9-18 s18)
	(path s9 p9-21)
	(path p9-21 s9)
	(path s21 p9-21)
	(path p9-21 s21)
	(path s10 p10-24)
	(path p10-24 s10)
	(path s24 p10-24)
	(path p10-24 s24)
	(path s10 p10-30)
	(path p10-30 s10)
	(path s30 p10-30)
	(path p10-30 s30)
	(path s11 p11-3)
	(path p11-3 s11)
	(path s3 p11-3)
	(path p11-3 s3)
	(path s11 p11-21)
	(path p11-21 s11)
	(path s21 p11-21)
	(path p11-21 s21)
	(path s13 p13-1)
	(path p13-1 s13)
	(path s1 p13-1)
	(path p13-1 s1)
	(path s13 p13-8)
	(path p13-8 s13)
	(path s8 p13-8)
	(path p13-8 s8)
	(path s13 p13-18)
	(path p13-18 s13)
	(path s18 p13-18)
	(path p13-18 s18)
	(path s13 p13-24)
	(path p13-24 s13)
	(path s24 p13-24)
	(path p13-24 s24)
	(path s14 p14-8)
	(path p14-8 s14)
	(path s8 p14-8)
	(path p14-8 s8)
	(path s14 p14-15)
	(path p14-15 s14)
	(path s15 p14-15)
	(path p14-15 s15)
	(path s15 p15-16)
	(path p15-16 s15)
	(path s16 p15-16)
	(path p15-16 s16)
	(path s15 p15-25)
	(path p15-25 s15)
	(path s25 p15-25)
	(path p15-25 s25)
	(path s16 p16-17)
	(path p16-17 s16)
	(path s17 p16-17)
	(path p16-17 s17)
	(path s16 p16-19)
	(path p16-19 s16)
	(path s19 p16-19)
	(path p16-19 s19)
	(path s16 p16-27)
	(path p16-27 s16)
	(path s27 p16-27)
	(path p16-27 s27)
	(path s17 p17-10)
	(path p17-10 s17)
	(path s10 p17-10)
	(path p17-10 s10)
	(path s18 p18-24)
	(path p18-24 s18)
	(path s24 p18-24)
	(path p18-24 s24)
	(path s18 p18-25)
	(path p18-25 s18)
	(path s25 p18-25)
	(path p18-25 s25)
	(path s19 p19-0)
	(path p19-0 s19)
	(path s0 p19-0)
	(path p19-0 s0)
	(path s19 p19-9)
	(path p19-9 s19)
	(path s9 p19-9)
	(path p19-9 s9)
	(path s19 p19-21)
	(path p19-21 s19)
	(path s21 p19-21)
	(path p19-21 s21)
	(path s19 p19-22)
	(path p19-22 s19)
	(path s22 p19-22)
	(path p19-22 s22)
	(path s19 p19-26)
	(path p19-26 s19)
	(path s26 p19-26)
	(path p19-26 s26)
	(path s21 p21-0)
	(path p21-0 s21)
	(path s0 p21-0)
	(path p21-0 s0)
	(path s21 p21-32)
	(path p21-32 s21)
	(path s32 p21-32)
	(path p21-32 s32)
	(path s22 p22-1)
	(path p22-1 s22)
	(path s1 p22-1)
	(path p22-1 s1)
	(path s22 p22-9)
	(path p22-9 s22)
	(path s9 p22-9)
	(path p22-9 s9)
	(path s22 p22-17)
	(path p22-17 s22)
	(path s17 p22-17)
	(path p22-17 s17)
	(path s22 p22-32)
	(path p22-32 s22)
	(path s32 p22-32)
	(path p22-32 s32)
	(path s23 p23-5)
	(path p23-5 s23)
	(path s5 p23-5)
	(path p23-5 s5)
	(path s23 p23-24)
	(path p23-24 s23)
	(path s24 p23-24)
	(path p23-24 s24)
	(path s23 p23-28)
	(path p23-28 s23)
	(path s28 p23-28)
	(path p23-28 s28)
	(path s25 p25-10)
	(path p25-10 s25)
	(path s10 p25-10)
	(path p25-10 s10)
	(path s25 p25-29)
	(path p25-29 s25)
	(path s29 p25-29)
	(path p25-29 s29)
	(path s26 p26-17)
	(path p26-17 s26)
	(path s17 p26-17)
	(path p26-17 s17)
	(path s28 p28-0)
	(path p28-0 s28)
	(path s0 p28-0)
	(path p28-0 s0)
	(path s28 p28-20)
	(path p28-20 s28)
	(path s20 p28-20)
	(path p28-20 s20)
	(path s30 p30-8)
	(path p30-8 s30)
	(path s8 p30-8)
	(path p30-8 s8)
	(path s31 p31-23)
	(path p31-23 s31)
	(path s23 p31-23)
	(path p31-23 s23)
	(path s32 p32-33)
	(path p32-33 s32)
	(path s33 p32-33)
	(path p32-33 s33)
	(path s33 p33-2)
	(path p33-2 s33)
	(path s2 p33-2)
	(path p33-2 s2)
	(link s0 s4)
	(link s4 s0)
	(link s0 s5)
	(link s5 s0)
	(link s0 s8)
	(link s8 s0)
	(link s0 s14)
	(link s14 s0)
	(link s0 s25)
	(link s25 s0)
	(link s0 s32)
	(link s32 s0)
	(link s1 s15)
	(link s15 s1)
	(link s1 s32)
	(link s32 s1)
	(link s2 s3)
	(link s3 s2)
	(link s2 s5)
	(link s5 s2)
	(link s2 s11)
	(link s11 s2)
	(link s2 s16)
	(link s16 s2)
	(link s2 s22)
	(link s22 s2)
	(link s2 s25)
	(link s25 s2)
	(link s2 s26)
	(link s26 s2)
	(link s3 s18)
	(link s18 s3)
	(link s3 s20)
	(link s20 s3)
	(link s3 s28)
	(link s28 s3)
	(link s4 s1)
	(link s1 s4)
	(link s4 s7)
	(link s7 s4)
	(link s4 s8)
	(link s8 s4)
	(link s4 s13)
	(link s13 s4)
	(link s4 s14)
	(link s14 s4)
	(link s4 s16)
	(link s16 s4)
	(link s4 s22)
	(link s22 s4)
	(link s4 s28)
	(link s28 s4)
	(link s4 s33)
	(link s33 s4)
	(link s5 s3)
	(link s3 s5)
	(link s5 s7)
	(link s7 s5)
	(link s5 s11)
	(link s11 s5)
	(link s6 s2)
	(link s2 s6)
	(link s6 s20)
	(link s20 s6)
	(link s6 s25)
	(link s25 s6)
	(link s6 s27)
	(link s27 s6)
	(link s6 s28)
	(link s28 s6)
	(link s6 s30)
	(link s30 s6)
	(link s7 s10)
	(link s10 s7)
	(link s7 s11)
	(link s11 s7)
	(link s7 s33)
	(link s33 s7)
	(link s8 s11)
	(link s11 s8)
	(link s9 s3)
	(link s3 s9)
	(link s9 s7)
	(link s7 s9)
	(link s10 s3)
	(link s3 s10)
	(link s10 s19)
	(link s19 s10)
	(link s10 s20)
	(link s20 s10)
	(link s10 s22)
	(link s22 s10)
	(link s10 s28)
	(link s28 s10)
	(link s11 s12)
	(link s12 s11)
	(link s11 s15)
	(link s15 s11)
	(link s12 s2)
	(link s2 s12)
	(link s12 s4)
	(link s4 s12)
	(link s12 s14)
	(link s14 s12)
	(link s12 s17)
	(link s17 s12)
	(link s12 s21)
	(link s21 s12)
	(link s12 s23)
	(link s23 s12)
	(link s13 s2)
	(link s2 s13)
	(link s13 s7)
	(link s7 s13)
	(link s13 s8)
	(link s8 s13)
	(link s13 s15)
	(link s15 s13)
	(link s13 s21)
	(link s21 s13)
	(link s14 s2)
	(link s2 s14)
	(link s14 s6)
	(link s6 s14)
	(link s14 s11)
	(link s11 s14)
	(link s14 s13)
	(link s13 s14)
	(link s15 s17)
	(link s17 s15)
	(link s15 s22)
	(link s22 s15)
	(link s16 s17)
	(link s17 s16)
	(link s16 s29)
	(link s29 s16)
	(link s17 s0)
	(link s0 s17)
	(link s17 s4)
	(link s4 s17)
	(link s17 s7)
	(link s7 s17)
	(link s17 s10)
	(link s10 s17)
	(link s17 s22)
	(link s22 s17)
	(link s18 s0)
	(link s0 s18)
	(link s18 s2)
	(link s2 s18)
	(link s18 s13)
	(link s13 s18)
	(link s18 s25)
	(link s25 s18)
	(link s19 s32)
	(link s32 s19)
	(link s20 s13)
	(link s13 s20)
	(link s21 s9)
	(link s9 s21)
	(link s21 s10)
	(link s10 s21)
	(link s21 s11)
	(link s11 s21)
	(link s21 s19)
	(link s19 s21)
	(link s21 s24)
	(link s24 s21)
	(link s22 s5)
	(link s5 s22)
	(link s22 s7)
	(link s7 s22)
	(link s22 s25)
	(link s25 s22)
	(link s22 s26)
	(link s26 s22)
	(link s23 s11)
	(link s11 s23)
	(link s23 s17)
	(link s17 s23)
	(link s23 s22)
	(link s22 s23)
	(link s23 s31)
	(link s31 s23)
	(link s24 s12)
	(link s12 s24)
	(link s24 s26)
	(link s26 s24)
	(link s25 s7)
	(link s7 s25)
	(link s25 s10)
	(link s10 s25)
	(link s25 s14)
	(link s14 s25)
	(link s25 s16)
	(link s16 s25)
	(link s26 s20)
	(link s20 s26)
	(link s27 s21)
	(link s21 s27)
	(link s27 s28)
	(link s28 s27)
	(link s28 s1)
	(link s1 s28)
	(link s28 s16)
	(link s16 s28)
	(link s29 s3)
	(link s3 s29)
	(link s29 s4)
	(link s4 s29)
	(link s29 s14)
	(link s14 s29)
	(link s29 s21)
	(link s21 s29)
	(link s29 s27)
	(link s27 s29)
	(link s30 s0)
	(link s0 s30)
	(link s30 s1)
	(link s1 s30)
	(link s30 s9)
	(link s9 s30)
	(link s30 s12)
	(link s12 s30)
	(link s30 s27)
	(link s27 s30)
	(link s30 s32)
	(link s32 s30)
	(link s31 s7)
	(link s7 s31)
	(link s31 s16)
	(link s16 s31)
	(link s33 s8)
	(link s8 s33)
	(link s33 s10)
	(link s10 s33)
	(link s33 s15)
	(link s15 s33)
	(link s33 s17)
	(link s17 s33)
	(link s33 s29)
	(link s29 s33)
)
	(:goal (and
	(at driver1 s15)
	(at driver2 s9)
	(at driver3 s32)
	(at driver4 s24)
	(at driver5 s9)
	(at driver6 s33)
	(at driver7 s24)
	(at driver8 s27)
	(at driver9 s28)
	(at driver10 s29)
	(at driver11 s0)
	(at driver12 s1)
	(at driver13 s14)
	(at truck1 s14)
	(at truck2 s8)
	(at truck3 s15)
	(at truck4 s31)
	(at truck6 s26)
	(at truck7 s2)
	(at truck8 s25)
	(at truck9 s12)
	(at truck10 s31)
	(at package1 s32)
	(at package2 s19)
	(at package3 s6)
	(at package4 s7)
	(at package5 s32)
	(at package6 s6)
	(at package7 s0)
	(at package8 s28)
	(at package9 s2)
	(at package10 s33)
	(at package11 s17)
	(at package12 s13)
	(at package13 s31)
	(at package14 s0)
	(at package15 s15)
	(at package16 s0)
	(at package17 s20)
	(at package18 s1)
	(at package21 s12)
	(at package22 s28)
	(at package23 s11)
	(at package24 s13)
	(at package25 s29)
	(at package26 s14)
	(at package27 s29)
	(at package28 s7)
	(at package29 s10)
	(at package31 s18)
	(at package32 s21)
	(at package33 s8)
	(at package34 s19)
	(at package35 s30)
	(at package36 s3)
	(at package37 s14)
	(at package38 s30)
	(at package39 s10)
	(at package40 s26)
	))


)
