(define (problem DLOG-20-30-60)
	(:domain driverlog)
	(:objects
	driver1 - driver
	driver2 - driver
	driver3 - driver
	driver4 - driver
	driver5 - driver
	driver6 - driver
	driver7 - driver
	driver8 - driver
	driver9 - driver
	driver10 - driver
	driver11 - driver
	driver12 - driver
	driver13 - driver
	driver14 - driver
	driver15 - driver
	driver16 - driver
	driver17 - driver
	driver18 - driver
	driver19 - driver
	driver20 - driver
	truck1 - truck
	truck2 - truck
	truck3 - truck
	truck4 - truck
	truck5 - truck
	truck6 - truck
	truck7 - truck
	truck8 - truck
	truck9 - truck
	truck10 - truck
	truck11 - truck
	truck12 - truck
	truck13 - truck
	truck14 - truck
	truck15 - truck
	truck16 - truck
	truck17 - truck
	truck18 - truck
	truck19 - truck
	truck20 - truck
	truck21 - truck
	truck22 - truck
	truck23 - truck
	truck24 - truck
	truck25 - truck
	truck26 - truck
	truck27 - truck
	truck28 - truck
	truck29 - truck
	truck30 - truck
	package1 - obj
	package2 - obj
	package3 - obj
	package4 - obj
	package5 - obj
	package6 - obj
	package7 - obj
	package8 - obj
	package9 - obj
	package10 - obj
	package11 - obj
	package12 - obj
	package13 - obj
	package14 - obj
	package15 - obj
	package16 - obj
	package17 - obj
	package18 - obj
	package19 - obj
	package20 - obj
	package21 - obj
	package22 - obj
	package23 - obj
	package24 - obj
	package25 - obj
	package26 - obj
	package27 - obj
	package28 - obj
	package29 - obj
	package30 - obj
	package31 - obj
	package32 - obj
	package33 - obj
	package34 - obj
	package35 - obj
	package36 - obj
	package37 - obj
	package38 - obj
	package39 - obj
	package40 - obj
	package41 - obj
	package42 - obj
	package43 - obj
	package44 - obj
	package45 - obj
	package46 - obj
	package47 - obj
	package48 - obj
	package49 - obj
	package50 - obj
	package51 - obj
	package52 - obj
	package53 - obj
	package54 - obj
	package55 - obj
	package56 - obj
	package57 - obj
	package58 - obj
	package59 - obj
	package60 - obj
	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
	s34 - location
	s35 - location
	s36 - location
	s37 - location
	s38 - location
	s39 - location
	s40 - location
	s41 - location
	s42 - location
	s43 - location
	s44 - location
	s45 - location
	s46 - location
	s47 - location
	s48 - location
	s49 - location
	p0-17 - location
	p0-46 - location
	p2-8 - location
	p3-40 - location
	p4-5 - location
	p4-7 - location
	p4-12 - location
	p5-16 - location
	p5-36 - location
	p5-38 - location
	p7-1 - location
	p7-34 - location
	p8-20 - location
	p8-22 - location
	p8-39 - location
	p9-10 - location
	p9-35 - location
	p9-38 - location
	p11-6 - location
	p11-32 - location
	p12-7 - location
	p12-13 - location
	p12-34 - location
	p13-2 - location
	p13-12 - location
	p13-19 - location
	p13-40 - location
	p14-16 - location
	p14-40 - location
	p14-44 - location
	p14-45 - location
	p14-47 - location
	p15-0 - location
	p15-2 - location
	p15-8 - location
	p15-31 - location
	p15-45 - location
	p15-49 - location
	p16-33 - location
	p16-36 - location
	p16-40 - location
	p17-7 - location
	p17-47 - location
	p18-9 - location
	p18-11 - location
	p19-1 - location
	p19-8 - location
	p19-24 - location
	p20-17 - location
	p20-39 - location
	p20-46 - location
	p21-45 - location
	p22-11 - location
	p22-21 - location
	p22-48 - location
	p23-3 - location
	p23-7 - location
	p23-16 - location
	p23-45 - location
	p24-25 - location
	p24-29 - location
	p24-35 - location
	p24-39 - location
	p25-26 - location
	p26-9 - location
	p26-27 - location
	p26-28 - location
	p26-35 - location
	p27-35 - location
	p27-37 - location
	p28-4 - location
	p28-9 - location
	p29-15 - location
	p29-41 - location
	p30-44 - location
	p31-14 - location
	p32-42 - location
	p33-28 - location
	p33-43 - location
	p34-46 - location
	p35-32 - location
	p36-1 - location
	p36-22 - location
	p36-41 - location
	p38-23 - location
	p38-30 - location
	p38-33 - location
	p39-40 - location
	p40-30 - location
	p40-41 - location
	p41-7 - location
	p42-29 - location
	p43-21 - location
	p43-32 - location
	p43-49 - location
	p44-2 - location
	p44-21 - location
	p44-36 - location
	p47-11 - location
	p48-28 - location
	p48-29 - location
	p48-42 - location
	p49-18 - location
	)
	(:init
	(at driver1 s29)
	(at driver2 s44)
	(at driver3 s37)
	(at driver4 s16)
	(at driver5 s33)
	(at driver6 s38)
	(at driver7 s45)
	(at driver8 s48)
	(at driver9 s24)
	(at driver10 s12)
	(at driver11 s40)
	(at driver12 s39)
	(at driver13 s36)
	(at driver14 s6)
	(at driver15 s16)
	(at driver16 s12)
	(at driver17 s15)
	(at driver18 s33)
	(at driver19 s21)
	(at driver20 s2)
	(at truck1 s11)
	(empty truck1)
	(at truck2 s3)
	(empty truck2)
	(at truck3 s15)
	(empty truck3)
	(at truck4 s6)
	(empty truck4)
	(at truck5 s44)
	(empty truck5)
	(at truck6 s38)
	(empty truck6)
	(at truck7 s6)
	(empty truck7)
	(at truck8 s28)
	(empty truck8)
	(at truck9 s31)
	(empty truck9)
	(at truck10 s24)
	(empty truck10)
	(at truck11 s16)
	(empty truck11)
	(at truck12 s36)
	(empty truck12)
	(at truck13 s29)
	(empty truck13)
	(at truck14 s33)
	(empty truck14)
	(at truck15 s13)
	(empty truck15)
	(at truck16 s5)
	(empty truck16)
	(at truck17 s45)
	(empty truck17)
	(at truck18 s31)
	(empty truck18)
	(at truck19 s11)
	(empty truck19)
	(at truck20 s8)
	(empty truck20)
	(at truck21 s36)
	(empty truck21)
	(at truck22 s35)
	(empty truck22)
	(at truck23 s44)
	(empty truck23)
	(at truck24 s0)
	(empty truck24)
	(at truck25 s10)
	(empty truck25)
	(at truck26 s41)
	(empty truck26)
	(at truck27 s5)
	(empty truck27)
	(at truck28 s18)
	(empty truck28)
	(at truck29 s14)
	(empty truck29)
	(at truck30 s15)
	(empty truck30)
	(at package1 s21)
	(at package2 s46)
	(at package3 s42)
	(at package4 s25)
	(at package5 s0)
	(at package6 s11)
	(at package7 s47)
	(at package8 s15)
	(at package9 s43)
	(at package10 s11)
	(at package11 s45)
	(at package12 s9)
	(at package13 s41)
	(at package14 s19)
	(at package15 s27)
	(at package16 s28)
	(at package17 s29)
	(at package18 s24)
	(at package19 s46)
	(at package20 s6)
	(at package21 s13)
	(at package22 s2)
	(at package23 s10)
	(at package24 s29)
	(at package25 s11)
	(at package26 s17)
	(at package27 s37)
	(at package28 s28)
	(at package29 s8)
	(at package30 s43)
	(at package31 s47)
	(at package32 s43)
	(at package33 s27)
	(at package34 s43)
	(at package35 s15)
	(at package36 s44)
	(at package37 s42)
	(at package38 s5)
	(at package39 s0)
	(at package40 s19)
	(at package41 s25)
	(at package42 s13)
	(at package43 s41)
	(at package44 s2)
	(at package45 s14)
	(at package46 s5)
	(at package47 s4)
	(at package48 s39)
	(at package49 s37)
	(at package50 s44)
	(at package51 s16)
	(at package52 s18)
	(at package53 s2)
	(at package54 s29)
	(at package55 s27)
	(at package56 s9)
	(at package57 s42)
	(at package58 s13)
	(at package59 s1)
	(at package60 s15)
	(path s0 p0-17)
	(path p0-17 s0)
	(path s17 p0-17)
	(path p0-17 s17)
	(= (time-to-walk s0 p0-17) 97)
	(= (time-to-walk p0-17 s0) 97)
	(= (time-to-walk s17 p0-17) 15)
	(= (time-to-walk p0-17 s17) 15)
	(path s0 p0-46)
	(path p0-46 s0)
	(path s46 p0-46)
	(path p0-46 s46)
	(= (time-to-walk s0 p0-46) 61)
	(= (time-to-walk p0-46 s0) 61)
	(= (time-to-walk s46 p0-46) 96)
	(= (time-to-walk p0-46 s46) 96)
	(path s2 p2-8)
	(path p2-8 s2)
	(path s8 p2-8)
	(path p2-8 s8)
	(= (time-to-walk s2 p2-8) 52)
	(= (time-to-walk p2-8 s2) 52)
	(= (time-to-walk s8 p2-8) 61)
	(= (time-to-walk p2-8 s8) 61)
	(path s3 p3-40)
	(path p3-40 s3)
	(path s40 p3-40)
	(path p3-40 s40)
	(= (time-to-walk s3 p3-40) 16)
	(= (time-to-walk p3-40 s3) 16)
	(= (time-to-walk s40 p3-40) 57)
	(= (time-to-walk p3-40 s40) 57)
	(path s4 p4-5)
	(path p4-5 s4)
	(path s5 p4-5)
	(path p4-5 s5)
	(= (time-to-walk s4 p4-5) 44)
	(= (time-to-walk p4-5 s4) 44)
	(= (time-to-walk s5 p4-5) 12)
	(= (time-to-walk p4-5 s5) 12)
	(path s4 p4-7)
	(path p4-7 s4)
	(path s7 p4-7)
	(path p4-7 s7)
	(= (time-to-walk s4 p4-7) 16)
	(= (time-to-walk p4-7 s4) 16)
	(= (time-to-walk s7 p4-7) 33)
	(= (time-to-walk p4-7 s7) 33)
	(path s4 p4-12)
	(path p4-12 s4)
	(path s12 p4-12)
	(path p4-12 s12)
	(= (time-to-walk s4 p4-12) 70)
	(= (time-to-walk p4-12 s4) 70)
	(= (time-to-walk s12 p4-12) 70)
	(= (time-to-walk p4-12 s12) 70)
	(path s5 p5-16)
	(path p5-16 s5)
	(path s16 p5-16)
	(path p5-16 s16)
	(= (time-to-walk s5 p5-16) 51)
	(= (time-to-walk p5-16 s5) 51)
	(= (time-to-walk s16 p5-16) 23)
	(= (time-to-walk p5-16 s16) 23)
	(path s5 p5-36)
	(path p5-36 s5)
	(path s36 p5-36)
	(path p5-36 s36)
	(= (time-to-walk s5 p5-36) 89)
	(= (time-to-walk p5-36 s5) 89)
	(= (time-to-walk s36 p5-36) 81)
	(= (time-to-walk p5-36 s36) 81)
	(path s5 p5-38)
	(path p5-38 s5)
	(path s38 p5-38)
	(path p5-38 s38)
	(= (time-to-walk s5 p5-38) 61)
	(= (time-to-walk p5-38 s5) 61)
	(= (time-to-walk s38 p5-38) 73)
	(= (time-to-walk p5-38 s38) 73)
	(path s7 p7-1)
	(path p7-1 s7)
	(path s1 p7-1)
	(path p7-1 s1)
	(= (time-to-walk s7 p7-1) 19)
	(= (time-to-walk p7-1 s7) 19)
	(= (time-to-walk s1 p7-1) 67)
	(= (time-to-walk p7-1 s1) 67)
	(path s7 p7-34)
	(path p7-34 s7)
	(path s34 p7-34)
	(path p7-34 s34)
	(= (time-to-walk s7 p7-34) 100)
	(= (time-to-walk p7-34 s7) 100)
	(= (time-to-walk s34 p7-34) 36)
	(= (time-to-walk p7-34 s34) 36)
	(path s8 p8-20)
	(path p8-20 s8)
	(path s20 p8-20)
	(path p8-20 s20)
	(= (time-to-walk s8 p8-20) 53)
	(= (time-to-walk p8-20 s8) 53)
	(= (time-to-walk s20 p8-20) 3)
	(= (time-to-walk p8-20 s20) 3)
	(path s8 p8-22)
	(path p8-22 s8)
	(path s22 p8-22)
	(path p8-22 s22)
	(= (time-to-walk s8 p8-22) 29)
	(= (time-to-walk p8-22 s8) 29)
	(= (time-to-walk s22 p8-22) 20)
	(= (time-to-walk p8-22 s22) 20)
	(path s8 p8-39)
	(path p8-39 s8)
	(path s39 p8-39)
	(path p8-39 s39)
	(= (time-to-walk s8 p8-39) 34)
	(= (time-to-walk p8-39 s8) 34)
	(= (time-to-walk s39 p8-39) 11)
	(= (time-to-walk p8-39 s39) 11)
	(path s9 p9-10)
	(path p9-10 s9)
	(path s10 p9-10)
	(path p9-10 s10)
	(= (time-to-walk s9 p9-10) 8)
	(= (time-to-walk p9-10 s9) 8)
	(= (time-to-walk s10 p9-10) 30)
	(= (time-to-walk p9-10 s10) 30)
	(path s9 p9-35)
	(path p9-35 s9)
	(path s35 p9-35)
	(path p9-35 s35)
	(= (time-to-walk s9 p9-35) 25)
	(= (time-to-walk p9-35 s9) 25)
	(= (time-to-walk s35 p9-35) 69)
	(= (time-to-walk p9-35 s35) 69)
	(path s9 p9-38)
	(path p9-38 s9)
	(path s38 p9-38)
	(path p9-38 s38)
	(= (time-to-walk s9 p9-38) 26)
	(= (time-to-walk p9-38 s9) 26)
	(= (time-to-walk s38 p9-38) 77)
	(= (time-to-walk p9-38 s38) 77)
	(path s11 p11-6)
	(path p11-6 s11)
	(path s6 p11-6)
	(path p11-6 s6)
	(= (time-to-walk s11 p11-6) 29)
	(= (time-to-walk p11-6 s11) 29)
	(= (time-to-walk s6 p11-6) 41)
	(= (time-to-walk p11-6 s6) 41)
	(path s11 p11-32)
	(path p11-32 s11)
	(path s32 p11-32)
	(path p11-32 s32)
	(= (time-to-walk s11 p11-32) 34)
	(= (time-to-walk p11-32 s11) 34)
	(= (time-to-walk s32 p11-32) 73)
	(= (time-to-walk p11-32 s32) 73)
	(path s12 p12-7)
	(path p12-7 s12)
	(path s7 p12-7)
	(path p12-7 s7)
	(= (time-to-walk s12 p12-7) 52)
	(= (time-to-walk p12-7 s12) 52)
	(= (time-to-walk s7 p12-7) 49)
	(= (time-to-walk p12-7 s7) 49)
	(path s12 p12-13)
	(path p12-13 s12)
	(path s13 p12-13)
	(path p12-13 s13)
	(= (time-to-walk s12 p12-13) 5)
	(= (time-to-walk p12-13 s12) 5)
	(= (time-to-walk s13 p12-13) 22)
	(= (time-to-walk p12-13 s13) 22)
	(path s12 p12-34)
	(path p12-34 s12)
	(path s34 p12-34)
	(path p12-34 s34)
	(= (time-to-walk s12 p12-34) 19)
	(= (time-to-walk p12-34 s12) 19)
	(= (time-to-walk s34 p12-34) 56)
	(= (time-to-walk p12-34 s34) 56)
	(path s13 p13-2)
	(path p13-2 s13)
	(path s2 p13-2)
	(path p13-2 s2)
	(= (time-to-walk s13 p13-2) 45)
	(= (time-to-walk p13-2 s13) 45)
	(= (time-to-walk s2 p13-2) 8)
	(= (time-to-walk p13-2 s2) 8)
	(path s13 p13-19)
	(path p13-19 s13)
	(path s19 p13-19)
	(path p13-19 s19)
	(= (time-to-walk s13 p13-19) 36)
	(= (time-to-walk p13-19 s13) 36)
	(= (time-to-walk s19 p13-19) 5)
	(= (time-to-walk p13-19 s19) 5)
	(path s13 p13-40)
	(path p13-40 s13)
	(path s40 p13-40)
	(path p13-40 s40)
	(= (time-to-walk s13 p13-40) 80)
	(= (time-to-walk p13-40 s13) 80)
	(= (time-to-walk s40 p13-40) 54)
	(= (time-to-walk p13-40 s40) 54)
	(path s14 p14-16)
	(path p14-16 s14)
	(path s16 p14-16)
	(path p14-16 s16)
	(= (time-to-walk s14 p14-16) 72)
	(= (time-to-walk p14-16 s14) 72)
	(= (time-to-walk s16 p14-16) 80)
	(= (time-to-walk p14-16 s16) 80)
	(path s14 p14-40)
	(path p14-40 s14)
	(path s40 p14-40)
	(path p14-40 s40)
	(= (time-to-walk s14 p14-40) 90)
	(= (time-to-walk p14-40 s14) 90)
	(= (time-to-walk s40 p14-40) 24)
	(= (time-to-walk p14-40 s40) 24)
	(path s14 p14-44)
	(path p14-44 s14)
	(path s44 p14-44)
	(path p14-44 s44)
	(= (time-to-walk s14 p14-44) 83)
	(= (time-to-walk p14-44 s14) 83)
	(= (time-to-walk s44 p14-44) 18)
	(= (time-to-walk p14-44 s44) 18)
	(path s14 p14-45)
	(path p14-45 s14)
	(path s45 p14-45)
	(path p14-45 s45)
	(= (time-to-walk s14 p14-45) 44)
	(= (time-to-walk p14-45 s14) 44)
	(= (time-to-walk s45 p14-45) 16)
	(= (time-to-walk p14-45 s45) 16)
	(path s14 p14-47)
	(path p14-47 s14)
	(path s47 p14-47)
	(path p14-47 s47)
	(= (time-to-walk s14 p14-47) 29)
	(= (time-to-walk p14-47 s14) 29)
	(= (time-to-walk s47 p14-47) 52)
	(= (time-to-walk p14-47 s47) 52)
	(path s15 p15-0)
	(path p15-0 s15)
	(path s0 p15-0)
	(path p15-0 s0)
	(= (time-to-walk s15 p15-0) 45)
	(= (time-to-walk p15-0 s15) 45)
	(= (time-to-walk s0 p15-0) 53)
	(= (time-to-walk p15-0 s0) 53)
	(path s15 p15-2)
	(path p15-2 s15)
	(path s2 p15-2)
	(path p15-2 s2)
	(= (time-to-walk s15 p15-2) 20)
	(= (time-to-walk p15-2 s15) 20)
	(= (time-to-walk s2 p15-2) 71)
	(= (time-to-walk p15-2 s2) 71)
	(path s15 p15-8)
	(path p15-8 s15)
	(path s8 p15-8)
	(path p15-8 s8)
	(= (time-to-walk s15 p15-8) 30)
	(= (time-to-walk p15-8 s15) 30)
	(= (time-to-walk s8 p15-8) 49)
	(= (time-to-walk p15-8 s8) 49)
	(path s15 p15-31)
	(path p15-31 s15)
	(path s31 p15-31)
	(path p15-31 s31)
	(= (time-to-walk s15 p15-31) 11)
	(= (time-to-walk p15-31 s15) 11)
	(= (time-to-walk s31 p15-31) 64)
	(= (time-to-walk p15-31 s31) 64)
	(path s15 p15-45)
	(path p15-45 s15)
	(path s45 p15-45)
	(path p15-45 s45)
	(= (time-to-walk s15 p15-45) 21)
	(= (time-to-walk p15-45 s15) 21)
	(= (time-to-walk s45 p15-45) 63)
	(= (time-to-walk p15-45 s45) 63)
	(path s15 p15-49)
	(path p15-49 s15)
	(path s49 p15-49)
	(path p15-49 s49)
	(= (time-to-walk s15 p15-49) 12)
	(= (time-to-walk p15-49 s15) 12)
	(= (time-to-walk s49 p15-49) 25)
	(= (time-to-walk p15-49 s49) 25)
	(path s16 p16-33)
	(path p16-33 s16)
	(path s33 p16-33)
	(path p16-33 s33)
	(= (time-to-walk s16 p16-33) 85)
	(= (time-to-walk p16-33 s16) 85)
	(= (time-to-walk s33 p16-33) 31)
	(= (time-to-walk p16-33 s33) 31)
	(path s16 p16-36)
	(path p16-36 s16)
	(path s36 p16-36)
	(path p16-36 s36)
	(= (time-to-walk s16 p16-36) 81)
	(= (time-to-walk p16-36 s16) 81)
	(= (time-to-walk s36 p16-36) 30)
	(= (time-to-walk p16-36 s36) 30)
	(path s16 p16-40)
	(path p16-40 s16)
	(path s40 p16-40)
	(path p16-40 s40)
	(= (time-to-walk s16 p16-40) 38)
	(= (time-to-walk p16-40 s16) 38)
	(= (time-to-walk s40 p16-40) 16)
	(= (time-to-walk p16-40 s40) 16)
	(path s17 p17-7)
	(path p17-7 s17)
	(path s7 p17-7)
	(path p17-7 s7)
	(= (time-to-walk s17 p17-7) 34)
	(= (time-to-walk p17-7 s17) 34)
	(= (time-to-walk s7 p17-7) 18)
	(= (time-to-walk p17-7 s7) 18)
	(path s17 p17-47)
	(path p17-47 s17)
	(path s47 p17-47)
	(path p17-47 s47)
	(= (time-to-walk s17 p17-47) 69)
	(= (time-to-walk p17-47 s17) 69)
	(= (time-to-walk s47 p17-47) 5)
	(= (time-to-walk p17-47 s47) 5)
	(path s18 p18-9)
	(path p18-9 s18)
	(path s9 p18-9)
	(path p18-9 s9)
	(= (time-to-walk s18 p18-9) 97)
	(= (time-to-walk p18-9 s18) 97)
	(= (time-to-walk s9 p18-9) 58)
	(= (time-to-walk p18-9 s9) 58)
	(path s18 p18-11)
	(path p18-11 s18)
	(path s11 p18-11)
	(path p18-11 s11)
	(= (time-to-walk s18 p18-11) 29)
	(= (time-to-walk p18-11 s18) 29)
	(= (time-to-walk s11 p18-11) 79)
	(= (time-to-walk p18-11 s11) 79)
	(path s19 p19-1)
	(path p19-1 s19)
	(path s1 p19-1)
	(path p19-1 s1)
	(= (time-to-walk s19 p19-1) 76)
	(= (time-to-walk p19-1 s19) 76)
	(= (time-to-walk s1 p19-1) 73)
	(= (time-to-walk p19-1 s1) 73)
	(path s19 p19-8)
	(path p19-8 s19)
	(path s8 p19-8)
	(path p19-8 s8)
	(= (time-to-walk s19 p19-8) 95)
	(= (time-to-walk p19-8 s19) 95)
	(= (time-to-walk s8 p19-8) 4)
	(= (time-to-walk p19-8 s8) 4)
	(path s19 p19-24)
	(path p19-24 s19)
	(path s24 p19-24)
	(path p19-24 s24)
	(= (time-to-walk s19 p19-24) 25)
	(= (time-to-walk p19-24 s19) 25)
	(= (time-to-walk s24 p19-24) 40)
	(= (time-to-walk p19-24 s24) 40)
	(path s20 p20-17)
	(path p20-17 s20)
	(path s17 p20-17)
	(path p20-17 s17)
	(= (time-to-walk s20 p20-17) 57)
	(= (time-to-walk p20-17 s20) 57)
	(= (time-to-walk s17 p20-17) 45)
	(= (time-to-walk p20-17 s17) 45)
	(path s20 p20-39)
	(path p20-39 s20)
	(path s39 p20-39)
	(path p20-39 s39)
	(= (time-to-walk s20 p20-39) 10)
	(= (time-to-walk p20-39 s20) 10)
	(= (time-to-walk s39 p20-39) 87)
	(= (time-to-walk p20-39 s39) 87)
	(path s20 p20-46)
	(path p20-46 s20)
	(path s46 p20-46)
	(path p20-46 s46)
	(= (time-to-walk s20 p20-46) 93)
	(= (time-to-walk p20-46 s20) 93)
	(= (time-to-walk s46 p20-46) 21)
	(= (time-to-walk p20-46 s46) 21)
	(path s21 p21-45)
	(path p21-45 s21)
	(path s45 p21-45)
	(path p21-45 s45)
	(= (time-to-walk s21 p21-45) 50)
	(= (time-to-walk p21-45 s21) 50)
	(= (time-to-walk s45 p21-45) 14)
	(= (time-to-walk p21-45 s45) 14)
	(path s22 p22-11)
	(path p22-11 s22)
	(path s11 p22-11)
	(path p22-11 s11)
	(= (time-to-walk s22 p22-11) 84)
	(= (time-to-walk p22-11 s22) 84)
	(= (time-to-walk s11 p22-11) 62)
	(= (time-to-walk p22-11 s11) 62)
	(path s22 p22-21)
	(path p22-21 s22)
	(path s21 p22-21)
	(path p22-21 s21)
	(= (time-to-walk s22 p22-21) 39)
	(= (time-to-walk p22-21 s22) 39)
	(= (time-to-walk s21 p22-21) 69)
	(= (time-to-walk p22-21 s21) 69)
	(path s22 p22-48)
	(path p22-48 s22)
	(path s48 p22-48)
	(path p22-48 s48)
	(= (time-to-walk s22 p22-48) 92)
	(= (time-to-walk p22-48 s22) 92)
	(= (time-to-walk s48 p22-48) 19)
	(= (time-to-walk p22-48 s48) 19)
	(path s23 p23-3)
	(path p23-3 s23)
	(path s3 p23-3)
	(path p23-3 s3)
	(= (time-to-walk s23 p23-3) 98)
	(= (time-to-walk p23-3 s23) 98)
	(= (time-to-walk s3 p23-3) 29)
	(= (time-to-walk p23-3 s3) 29)
	(path s23 p23-7)
	(path p23-7 s23)
	(path s7 p23-7)
	(path p23-7 s7)
	(= (time-to-walk s23 p23-7) 34)
	(= (time-to-walk p23-7 s23) 34)
	(= (time-to-walk s7 p23-7) 31)
	(= (time-to-walk p23-7 s7) 31)
	(path s23 p23-16)
	(path p23-16 s23)
	(path s16 p23-16)
	(path p23-16 s16)
	(= (time-to-walk s23 p23-16) 46)
	(= (time-to-walk p23-16 s23) 46)
	(= (time-to-walk s16 p23-16) 3)
	(= (time-to-walk p23-16 s16) 3)
	(path s23 p23-45)
	(path p23-45 s23)
	(path s45 p23-45)
	(path p23-45 s45)
	(= (time-to-walk s23 p23-45) 36)
	(= (time-to-walk p23-45 s23) 36)
	(= (time-to-walk s45 p23-45) 43)
	(= (time-to-walk p23-45 s45) 43)
	(path s24 p24-25)
	(path p24-25 s24)
	(path s25 p24-25)
	(path p24-25 s25)
	(= (time-to-walk s24 p24-25) 61)
	(= (time-to-walk p24-25 s24) 61)
	(= (time-to-walk s25 p24-25) 65)
	(= (time-to-walk p24-25 s25) 65)
	(path s24 p24-29)
	(path p24-29 s24)
	(path s29 p24-29)
	(path p24-29 s29)
	(= (time-to-walk s24 p24-29) 22)
	(= (time-to-walk p24-29 s24) 22)
	(= (time-to-walk s29 p24-29) 37)
	(= (time-to-walk p24-29 s29) 37)
	(path s24 p24-35)
	(path p24-35 s24)
	(path s35 p24-35)
	(path p24-35 s35)
	(= (time-to-walk s24 p24-35) 38)
	(= (time-to-walk p24-35 s24) 38)
	(= (time-to-walk s35 p24-35) 16)
	(= (time-to-walk p24-35 s35) 16)
	(path s24 p24-39)
	(path p24-39 s24)
	(path s39 p24-39)
	(path p24-39 s39)
	(= (time-to-walk s24 p24-39) 41)
	(= (time-to-walk p24-39 s24) 41)
	(= (time-to-walk s39 p24-39) 62)
	(= (time-to-walk p24-39 s39) 62)
	(path s25 p25-26)
	(path p25-26 s25)
	(path s26 p25-26)
	(path p25-26 s26)
	(= (time-to-walk s25 p25-26) 55)
	(= (time-to-walk p25-26 s25) 55)
	(= (time-to-walk s26 p25-26) 97)
	(= (time-to-walk p25-26 s26) 97)
	(path s26 p26-9)
	(path p26-9 s26)
	(path s9 p26-9)
	(path p26-9 s9)
	(= (time-to-walk s26 p26-9) 6)
	(= (time-to-walk p26-9 s26) 6)
	(= (time-to-walk s9 p26-9) 65)
	(= (time-to-walk p26-9 s9) 65)
	(path s26 p26-27)
	(path p26-27 s26)
	(path s27 p26-27)
	(path p26-27 s27)
	(= (time-to-walk s26 p26-27) 84)
	(= (time-to-walk p26-27 s26) 84)
	(= (time-to-walk s27 p26-27) 99)
	(= (time-to-walk p26-27 s27) 99)
	(path s26 p26-28)
	(path p26-28 s26)
	(path s28 p26-28)
	(path p26-28 s28)
	(= (time-to-walk s26 p26-28) 85)
	(= (time-to-walk p26-28 s26) 85)
	(= (time-to-walk s28 p26-28) 33)
	(= (time-to-walk p26-28 s28) 33)
	(path s26 p26-35)
	(path p26-35 s26)
	(path s35 p26-35)
	(path p26-35 s35)
	(= (time-to-walk s26 p26-35) 12)
	(= (time-to-walk p26-35 s26) 12)
	(= (time-to-walk s35 p26-35) 69)
	(= (time-to-walk p26-35 s35) 69)
	(path s27 p27-35)
	(path p27-35 s27)
	(path s35 p27-35)
	(path p27-35 s35)
	(= (time-to-walk s27 p27-35) 95)
	(= (time-to-walk p27-35 s27) 95)
	(= (time-to-walk s35 p27-35) 50)
	(= (time-to-walk p27-35 s35) 50)
	(path s27 p27-37)
	(path p27-37 s27)
	(path s37 p27-37)
	(path p27-37 s37)
	(= (time-to-walk s27 p27-37) 37)
	(= (time-to-walk p27-37 s27) 37)
	(= (time-to-walk s37 p27-37) 86)
	(= (time-to-walk p27-37 s37) 86)
	(path s28 p28-4)
	(path p28-4 s28)
	(path s4 p28-4)
	(path p28-4 s4)
	(= (time-to-walk s28 p28-4) 68)
	(= (time-to-walk p28-4 s28) 68)
	(= (time-to-walk s4 p28-4) 34)
	(= (time-to-walk p28-4 s4) 34)
	(path s28 p28-9)
	(path p28-9 s28)
	(path s9 p28-9)
	(path p28-9 s9)
	(= (time-to-walk s28 p28-9) 14)
	(= (time-to-walk p28-9 s28) 14)
	(= (time-to-walk s9 p28-9) 2)
	(= (time-to-walk p28-9 s9) 2)
	(path s29 p29-15)
	(path p29-15 s29)
	(path s15 p29-15)
	(path p29-15 s15)
	(= (time-to-walk s29 p29-15) 65)
	(= (time-to-walk p29-15 s29) 65)
	(= (time-to-walk s15 p29-15) 59)
	(= (time-to-walk p29-15 s15) 59)
	(path s29 p29-41)
	(path p29-41 s29)
	(path s41 p29-41)
	(path p29-41 s41)
	(= (time-to-walk s29 p29-41) 4)
	(= (time-to-walk p29-41 s29) 4)
	(= (time-to-walk s41 p29-41) 1)
	(= (time-to-walk p29-41 s41) 1)
	(path s30 p30-44)
	(path p30-44 s30)
	(path s44 p30-44)
	(path p30-44 s44)
	(= (time-to-walk s30 p30-44) 1)
	(= (time-to-walk p30-44 s30) 1)
	(= (time-to-walk s44 p30-44) 64)
	(= (time-to-walk p30-44 s44) 64)
	(path s31 p31-14)
	(path p31-14 s31)
	(path s14 p31-14)
	(path p31-14 s14)
	(= (time-to-walk s31 p31-14) 66)
	(= (time-to-walk p31-14 s31) 66)
	(= (time-to-walk s14 p31-14) 22)
	(= (time-to-walk p31-14 s14) 22)
	(path s32 p32-42)
	(path p32-42 s32)
	(path s42 p32-42)
	(path p32-42 s42)
	(= (time-to-walk s32 p32-42) 100)
	(= (time-to-walk p32-42 s32) 100)
	(= (time-to-walk s42 p32-42) 3)
	(= (time-to-walk p32-42 s42) 3)
	(path s33 p33-28)
	(path p33-28 s33)
	(path s28 p33-28)
	(path p33-28 s28)
	(= (time-to-walk s33 p33-28) 38)
	(= (time-to-walk p33-28 s33) 38)
	(= (time-to-walk s28 p33-28) 40)
	(= (time-to-walk p33-28 s28) 40)
	(path s33 p33-43)
	(path p33-43 s33)
	(path s43 p33-43)
	(path p33-43 s43)
	(= (time-to-walk s33 p33-43) 65)
	(= (time-to-walk p33-43 s33) 65)
	(= (time-to-walk s43 p33-43) 93)
	(= (time-to-walk p33-43 s43) 93)
	(path s34 p34-46)
	(path p34-46 s34)
	(path s46 p34-46)
	(path p34-46 s46)
	(= (time-to-walk s34 p34-46) 37)
	(= (time-to-walk p34-46 s34) 37)
	(= (time-to-walk s46 p34-46) 71)
	(= (time-to-walk p34-46 s46) 71)
	(path s35 p35-32)
	(path p35-32 s35)
	(path s32 p35-32)
	(path p35-32 s32)
	(= (time-to-walk s35 p35-32) 57)
	(= (time-to-walk p35-32 s35) 57)
	(= (time-to-walk s32 p35-32) 21)
	(= (time-to-walk p35-32 s32) 21)
	(path s36 p36-1)
	(path p36-1 s36)
	(path s1 p36-1)
	(path p36-1 s1)
	(= (time-to-walk s36 p36-1) 70)
	(= (time-to-walk p36-1 s36) 70)
	(= (time-to-walk s1 p36-1) 42)
	(= (time-to-walk p36-1 s1) 42)
	(path s36 p36-22)
	(path p36-22 s36)
	(path s22 p36-22)
	(path p36-22 s22)
	(= (time-to-walk s36 p36-22) 53)
	(= (time-to-walk p36-22 s36) 53)
	(= (time-to-walk s22 p36-22) 81)
	(= (time-to-walk p36-22 s22) 81)
	(path s36 p36-41)
	(path p36-41 s36)
	(path s41 p36-41)
	(path p36-41 s41)
	(= (time-to-walk s36 p36-41) 10)
	(= (time-to-walk p36-41 s36) 10)
	(= (time-to-walk s41 p36-41) 47)
	(= (time-to-walk p36-41 s41) 47)
	(path s38 p38-23)
	(path p38-23 s38)
	(path s23 p38-23)
	(path p38-23 s23)
	(= (time-to-walk s38 p38-23) 31)
	(= (time-to-walk p38-23 s38) 31)
	(= (time-to-walk s23 p38-23) 46)
	(= (time-to-walk p38-23 s23) 46)
	(path s38 p38-30)
	(path p38-30 s38)
	(path s30 p38-30)
	(path p38-30 s30)
	(= (time-to-walk s38 p38-30) 33)
	(= (time-to-walk p38-30 s38) 33)
	(= (time-to-walk s30 p38-30) 98)
	(= (time-to-walk p38-30 s30) 98)
	(path s38 p38-33)
	(path p38-33 s38)
	(path s33 p38-33)
	(path p38-33 s33)
	(= (time-to-walk s38 p38-33) 80)
	(= (time-to-walk p38-33 s38) 80)
	(= (time-to-walk s33 p38-33) 46)
	(= (time-to-walk p38-33 s33) 46)
	(path s39 p39-40)
	(path p39-40 s39)
	(path s40 p39-40)
	(path p39-40 s40)
	(= (time-to-walk s39 p39-40) 99)
	(= (time-to-walk p39-40 s39) 99)
	(= (time-to-walk s40 p39-40) 44)
	(= (time-to-walk p39-40 s40) 44)
	(path s40 p40-30)
	(path p40-30 s40)
	(path s30 p40-30)
	(path p40-30 s30)
	(= (time-to-walk s40 p40-30) 5)
	(= (time-to-walk p40-30 s40) 5)
	(= (time-to-walk s30 p40-30) 3)
	(= (time-to-walk p40-30 s30) 3)
	(path s40 p40-41)
	(path p40-41 s40)
	(path s41 p40-41)
	(path p40-41 s41)
	(= (time-to-walk s40 p40-41) 45)
	(= (time-to-walk p40-41 s40) 45)
	(= (time-to-walk s41 p40-41) 6)
	(= (time-to-walk p40-41 s41) 6)
	(path s41 p41-7)
	(path p41-7 s41)
	(path s7 p41-7)
	(path p41-7 s7)
	(= (time-to-walk s41 p41-7) 67)
	(= (time-to-walk p41-7 s41) 67)
	(= (time-to-walk s7 p41-7) 10)
	(= (time-to-walk p41-7 s7) 10)
	(path s42 p42-29)
	(path p42-29 s42)
	(path s29 p42-29)
	(path p42-29 s29)
	(= (time-to-walk s42 p42-29) 28)
	(= (time-to-walk p42-29 s42) 28)
	(= (time-to-walk s29 p42-29) 66)
	(= (time-to-walk p42-29 s29) 66)
	(path s43 p43-21)
	(path p43-21 s43)
	(path s21 p43-21)
	(path p43-21 s21)
	(= (time-to-walk s43 p43-21) 13)
	(= (time-to-walk p43-21 s43) 13)
	(= (time-to-walk s21 p43-21) 65)
	(= (time-to-walk p43-21 s21) 65)
	(path s43 p43-32)
	(path p43-32 s43)
	(path s32 p43-32)
	(path p43-32 s32)
	(= (time-to-walk s43 p43-32) 6)
	(= (time-to-walk p43-32 s43) 6)
	(= (time-to-walk s32 p43-32) 78)
	(= (time-to-walk p43-32 s32) 78)
	(path s43 p43-49)
	(path p43-49 s43)
	(path s49 p43-49)
	(path p43-49 s49)
	(= (time-to-walk s43 p43-49) 57)
	(= (time-to-walk p43-49 s43) 57)
	(= (time-to-walk s49 p43-49) 43)
	(= (time-to-walk p43-49 s49) 43)
	(path s44 p44-2)
	(path p44-2 s44)
	(path s2 p44-2)
	(path p44-2 s2)
	(= (time-to-walk s44 p44-2) 48)
	(= (time-to-walk p44-2 s44) 48)
	(= (time-to-walk s2 p44-2) 14)
	(= (time-to-walk p44-2 s2) 14)
	(path s44 p44-21)
	(path p44-21 s44)
	(path s21 p44-21)
	(path p44-21 s21)
	(= (time-to-walk s44 p44-21) 63)
	(= (time-to-walk p44-21 s44) 63)
	(= (time-to-walk s21 p44-21) 18)
	(= (time-to-walk p44-21 s21) 18)
	(path s44 p44-36)
	(path p44-36 s44)
	(path s36 p44-36)
	(path p44-36 s36)
	(= (time-to-walk s44 p44-36) 55)
	(= (time-to-walk p44-36 s44) 55)
	(= (time-to-walk s36 p44-36) 16)
	(= (time-to-walk p44-36 s36) 16)
	(path s47 p47-11)
	(path p47-11 s47)
	(path s11 p47-11)
	(path p47-11 s11)
	(= (time-to-walk s47 p47-11) 98)
	(= (time-to-walk p47-11 s47) 98)
	(= (time-to-walk s11 p47-11) 65)
	(= (time-to-walk p47-11 s11) 65)
	(path s48 p48-28)
	(path p48-28 s48)
	(path s28 p48-28)
	(path p48-28 s28)
	(= (time-to-walk s48 p48-28) 63)
	(= (time-to-walk p48-28 s48) 63)
	(= (time-to-walk s28 p48-28) 28)
	(= (time-to-walk p48-28 s28) 28)
	(path s48 p48-29)
	(path p48-29 s48)
	(path s29 p48-29)
	(path p48-29 s29)
	(= (time-to-walk s48 p48-29) 11)
	(= (time-to-walk p48-29 s48) 11)
	(= (time-to-walk s29 p48-29) 95)
	(= (time-to-walk p48-29 s29) 95)
	(path s48 p48-42)
	(path p48-42 s48)
	(path s42 p48-42)
	(path p48-42 s42)
	(= (time-to-walk s48 p48-42) 26)
	(= (time-to-walk p48-42 s48) 26)
	(= (time-to-walk s42 p48-42) 90)
	(= (time-to-walk p48-42 s42) 90)
	(path s49 p49-18)
	(path p49-18 s49)
	(path s18 p49-18)
	(path p49-18 s18)
	(= (time-to-walk s49 p49-18) 41)
	(= (time-to-walk p49-18 s49) 41)
	(= (time-to-walk s18 p49-18) 25)
	(= (time-to-walk p49-18 s18) 25)
	(link s0 s4)
	(link s4 s0)
	(= (time-to-drive s0 s4) 34)
	(= (time-to-drive s4 s0) 34)
	(link s0 s14)
	(link s14 s0)
	(= (time-to-drive s0 s14) 45)
	(= (time-to-drive s14 s0) 45)
	(link s0 s47)
	(link s47 s0)
	(= (time-to-drive s0 s47) 28)
	(= (time-to-drive s47 s0) 28)
	(link s1 s37)
	(link s37 s1)
	(= (time-to-drive s1 s37) 79)
	(= (time-to-drive s37 s1) 79)
	(link s2 s3)
	(link s3 s2)
	(= (time-to-drive s2 s3) 51)
	(= (time-to-drive s3 s2) 51)
	(link s2 s7)
	(link s7 s2)
	(= (time-to-drive s2 s7) 94)
	(= (time-to-drive s7 s2) 94)
	(link s2 s14)
	(link s14 s2)
	(= (time-to-drive s2 s14) 88)
	(= (time-to-drive s14 s2) 88)
	(link s2 s25)
	(link s25 s2)
	(= (time-to-drive s2 s25) 78)
	(= (time-to-drive s25 s2) 78)
	(link s2 s32)
	(link s32 s2)
	(= (time-to-drive s2 s32) 60)
	(= (time-to-drive s32 s2) 60)
	(link s2 s42)
	(link s42 s2)
	(= (time-to-drive s2 s42) 1)
	(= (time-to-drive s42 s2) 1)
	(link s2 s45)
	(link s45 s2)
	(= (time-to-drive s2 s45) 43)
	(= (time-to-drive s45 s2) 43)
	(link s3 s1)
	(link s1 s3)
	(= (time-to-drive s3 s1) 65)
	(= (time-to-drive s1 s3) 65)
	(link s3 s18)
	(link s18 s3)
	(= (time-to-drive s3 s18) 78)
	(= (time-to-drive s18 s3) 78)
	(link s3 s20)
	(link s20 s3)
	(= (time-to-drive s3 s20) 100)
	(= (time-to-drive s20 s3) 100)
	(link s3 s29)
	(link s29 s3)
	(= (time-to-drive s3 s29) 8)
	(= (time-to-drive s29 s3) 8)
	(link s3 s43)
	(link s43 s3)
	(= (time-to-drive s3 s43) 26)
	(= (time-to-drive s43 s3) 26)
	(link s4 s17)
	(link s17 s4)
	(= (time-to-drive s4 s17) 13)
	(= (time-to-drive s17 s4) 13)
	(link s4 s41)
	(link s41 s4)
	(= (time-to-drive s4 s41) 70)
	(= (time-to-drive s41 s4) 70)
	(link s5 s43)
	(link s43 s5)
	(= (time-to-drive s5 s43) 43)
	(= (time-to-drive s43 s5) 43)
	(link s5 s48)
	(link s48 s5)
	(= (time-to-drive s5 s48) 68)
	(= (time-to-drive s48 s5) 68)
	(link s6 s13)
	(link s13 s6)
	(= (time-to-drive s6 s13) 85)
	(= (time-to-drive s13 s6) 85)
	(link s6 s19)
	(link s19 s6)
	(= (time-to-drive s6 s19) 41)
	(= (time-to-drive s19 s6) 41)
	(link s6 s23)
	(link s23 s6)
	(= (time-to-drive s6 s23) 33)
	(= (time-to-drive s23 s6) 33)
	(link s6 s43)
	(link s43 s6)
	(= (time-to-drive s6 s43) 48)
	(= (time-to-drive s43 s6) 48)
	(link s6 s45)
	(link s45 s6)
	(= (time-to-drive s6 s45) 69)
	(= (time-to-drive s45 s6) 69)
	(link s6 s47)
	(link s47 s6)
	(= (time-to-drive s6 s47) 43)
	(= (time-to-drive s47 s6) 43)
	(link s7 s6)
	(link s6 s7)
	(= (time-to-drive s7 s6) 42)
	(= (time-to-drive s6 s7) 42)
	(link s7 s45)
	(link s45 s7)
	(= (time-to-drive s7 s45) 94)
	(= (time-to-drive s45 s7) 94)
	(link s8 s7)
	(link s7 s8)
	(= (time-to-drive s8 s7) 33)
	(= (time-to-drive s7 s8) 33)
	(link s8 s15)
	(link s15 s8)
	(= (time-to-drive s8 s15) 82)
	(= (time-to-drive s15 s8) 82)
	(link s8 s19)
	(link s19 s8)
	(= (time-to-drive s8 s19) 19)
	(= (time-to-drive s19 s8) 19)
	(link s8 s21)
	(link s21 s8)
	(= (time-to-drive s8 s21) 67)
	(= (time-to-drive s21 s8) 67)
	(link s8 s27)
	(link s27 s8)
	(= (time-to-drive s8 s27) 27)
	(= (time-to-drive s27 s8) 27)
	(link s8 s35)
	(link s35 s8)
	(= (time-to-drive s8 s35) 46)
	(= (time-to-drive s35 s8) 46)
	(link s8 s42)
	(link s42 s8)
	(= (time-to-drive s8 s42) 45)
	(= (time-to-drive s42 s8) 45)
	(link s9 s18)
	(link s18 s9)
	(= (time-to-drive s9 s18) 77)
	(= (time-to-drive s18 s9) 77)
	(link s9 s19)
	(link s19 s9)
	(= (time-to-drive s9 s19) 39)
	(= (time-to-drive s19 s9) 39)
	(link s9 s37)
	(link s37 s9)
	(= (time-to-drive s9 s37) 33)
	(= (time-to-drive s37 s9) 33)
	(link s10 s4)
	(link s4 s10)
	(= (time-to-drive s10 s4) 55)
	(= (time-to-drive s4 s10) 55)
	(link s10 s15)
	(link s15 s10)
	(= (time-to-drive s10 s15) 98)
	(= (time-to-drive s15 s10) 98)
	(link s10 s37)
	(link s37 s10)
	(= (time-to-drive s10 s37) 34)
	(= (time-to-drive s37 s10) 34)
	(link s10 s38)
	(link s38 s10)
	(= (time-to-drive s10 s38) 98)
	(= (time-to-drive s38 s10) 98)
	(link s10 s42)
	(link s42 s10)
	(= (time-to-drive s10 s42) 63)
	(= (time-to-drive s42 s10) 63)
	(link s11 s12)
	(link s12 s11)
	(= (time-to-drive s11 s12) 11)
	(= (time-to-drive s12 s11) 11)
	(link s11 s47)
	(link s47 s11)
	(= (time-to-drive s11 s47) 97)
	(= (time-to-drive s47 s11) 97)
	(link s12 s27)
	(link s27 s12)
	(= (time-to-drive s12 s27) 70)
	(= (time-to-drive s27 s12) 70)
	(link s12 s28)
	(link s28 s12)
	(= (time-to-drive s12 s28) 37)
	(= (time-to-drive s28 s12) 37)
	(link s12 s35)
	(link s35 s12)
	(= (time-to-drive s12 s35) 10)
	(= (time-to-drive s35 s12) 10)
	(link s12 s37)
	(link s37 s12)
	(= (time-to-drive s12 s37) 39)
	(= (time-to-drive s37 s12) 39)
	(link s12 s43)
	(link s43 s12)
	(= (time-to-drive s12 s43) 79)
	(= (time-to-drive s43 s12) 79)
	(link s13 s9)
	(link s9 s13)
	(= (time-to-drive s13 s9) 78)
	(= (time-to-drive s9 s13) 78)
	(link s13 s16)
	(link s16 s13)
	(= (time-to-drive s13 s16) 24)
	(= (time-to-drive s16 s13) 24)
	(link s13 s26)
	(link s26 s13)
	(= (time-to-drive s13 s26) 20)
	(= (time-to-drive s26 s13) 20)
	(link s14 s3)
	(link s3 s14)
	(= (time-to-drive s14 s3) 10)
	(= (time-to-drive s3 s14) 10)
	(link s14 s4)
	(link s4 s14)
	(= (time-to-drive s14 s4) 71)
	(= (time-to-drive s4 s14) 71)
	(link s14 s25)
	(link s25 s14)
	(= (time-to-drive s14 s25) 88)
	(= (time-to-drive s25 s14) 88)
	(link s14 s26)
	(link s26 s14)
	(= (time-to-drive s14 s26) 53)
	(= (time-to-drive s26 s14) 53)
	(link s14 s27)
	(link s27 s14)
	(= (time-to-drive s14 s27) 12)
	(= (time-to-drive s27 s14) 12)
	(link s14 s32)
	(link s32 s14)
	(= (time-to-drive s14 s32) 81)
	(= (time-to-drive s32 s14) 81)
	(link s14 s38)
	(link s38 s14)
	(= (time-to-drive s14 s38) 85)
	(= (time-to-drive s38 s14) 85)
	(link s15 s3)
	(link s3 s15)
	(= (time-to-drive s15 s3) 94)
	(= (time-to-drive s3 s15) 94)
	(link s15 s18)
	(link s18 s15)
	(= (time-to-drive s15 s18) 99)
	(= (time-to-drive s18 s15) 99)
	(link s15 s27)
	(link s27 s15)
	(= (time-to-drive s15 s27) 52)
	(= (time-to-drive s27 s15) 52)
	(link s15 s28)
	(link s28 s15)
	(= (time-to-drive s15 s28) 21)
	(= (time-to-drive s28 s15) 21)
	(link s15 s31)
	(link s31 s15)
	(= (time-to-drive s15 s31) 45)
	(= (time-to-drive s31 s15) 45)
	(link s15 s38)
	(link s38 s15)
	(= (time-to-drive s15 s38) 97)
	(= (time-to-drive s38 s15) 97)
	(link s15 s43)
	(link s43 s15)
	(= (time-to-drive s15 s43) 97)
	(= (time-to-drive s43 s15) 97)
	(link s16 s0)
	(link s0 s16)
	(= (time-to-drive s16 s0) 83)
	(= (time-to-drive s0 s16) 83)
	(link s16 s22)
	(link s22 s16)
	(= (time-to-drive s16 s22) 29)
	(= (time-to-drive s22 s16) 29)
	(link s16 s33)
	(link s33 s16)
	(= (time-to-drive s16 s33) 52)
	(= (time-to-drive s33 s16) 52)
	(link s16 s45)
	(link s45 s16)
	(= (time-to-drive s16 s45) 81)
	(= (time-to-drive s45 s16) 81)
	(link s17 s38)
	(link s38 s17)
	(= (time-to-drive s17 s38) 62)
	(= (time-to-drive s38 s17) 62)
	(link s17 s39)
	(link s39 s17)
	(= (time-to-drive s17 s39) 49)
	(= (time-to-drive s39 s17) 49)
	(link s17 s48)
	(link s48 s17)
	(= (time-to-drive s17 s48) 43)
	(= (time-to-drive s48 s17) 43)
	(link s18 s16)
	(link s16 s18)
	(= (time-to-drive s18 s16) 73)
	(= (time-to-drive s16 s18) 73)
	(link s18 s22)
	(link s22 s18)
	(= (time-to-drive s18 s22) 45)
	(= (time-to-drive s22 s18) 45)
	(link s19 s15)
	(link s15 s19)
	(= (time-to-drive s19 s15) 12)
	(= (time-to-drive s15 s19) 12)
	(link s19 s40)
	(link s40 s19)
	(= (time-to-drive s19 s40) 9)
	(= (time-to-drive s40 s19) 9)
	(link s20 s8)
	(link s8 s20)
	(= (time-to-drive s20 s8) 55)
	(= (time-to-drive s8 s20) 55)
	(link s20 s26)
	(link s26 s20)
	(= (time-to-drive s20 s26) 50)
	(= (time-to-drive s26 s20) 50)
	(link s21 s18)
	(link s18 s21)
	(= (time-to-drive s21 s18) 88)
	(= (time-to-drive s18 s21) 88)
	(link s22 s0)
	(link s0 s22)
	(= (time-to-drive s22 s0) 32)
	(= (time-to-drive s0 s22) 32)
	(link s22 s6)
	(link s6 s22)
	(= (time-to-drive s22 s6) 74)
	(= (time-to-drive s6 s22) 74)
	(link s22 s8)
	(link s8 s22)
	(= (time-to-drive s22 s8) 7)
	(= (time-to-drive s8 s22) 7)
	(link s22 s21)
	(link s21 s22)
	(= (time-to-drive s22 s21) 41)
	(= (time-to-drive s21 s22) 41)
	(link s22 s23)
	(link s23 s22)
	(= (time-to-drive s22 s23) 44)
	(= (time-to-drive s23 s22) 44)
	(link s22 s41)
	(link s41 s22)
	(= (time-to-drive s22 s41) 94)
	(= (time-to-drive s41 s22) 94)
	(link s23 s20)
	(link s20 s23)
	(= (time-to-drive s23 s20) 94)
	(= (time-to-drive s20 s23) 94)
	(link s23 s24)
	(link s24 s23)
	(= (time-to-drive s23 s24) 56)
	(= (time-to-drive s24 s23) 56)
	(link s23 s33)
	(link s33 s23)
	(= (time-to-drive s23 s33) 75)
	(= (time-to-drive s33 s23) 75)
	(link s23 s35)
	(link s35 s23)
	(= (time-to-drive s23 s35) 78)
	(= (time-to-drive s35 s23) 78)
	(link s24 s11)
	(link s11 s24)
	(= (time-to-drive s24 s11) 50)
	(= (time-to-drive s11 s24) 50)
	(link s25 s35)
	(link s35 s25)
	(= (time-to-drive s25 s35) 74)
	(= (time-to-drive s35 s25) 74)
	(link s26 s15)
	(link s15 s26)
	(= (time-to-drive s26 s15) 30)
	(= (time-to-drive s15 s26) 30)
	(link s26 s33)
	(link s33 s26)
	(= (time-to-drive s26 s33) 70)
	(= (time-to-drive s33 s26) 70)
	(link s26 s43)
	(link s43 s26)
	(= (time-to-drive s26 s43) 18)
	(= (time-to-drive s43 s26) 18)
	(link s26 s49)
	(link s49 s26)
	(= (time-to-drive s26 s49) 26)
	(= (time-to-drive s49 s26) 26)
	(link s27 s4)
	(link s4 s27)
	(= (time-to-drive s27 s4) 67)
	(= (time-to-drive s4 s27) 67)
	(link s27 s9)
	(link s9 s27)
	(= (time-to-drive s27 s9) 1)
	(= (time-to-drive s9 s27) 1)
	(link s27 s19)
	(link s19 s27)
	(= (time-to-drive s27 s19) 55)
	(= (time-to-drive s19 s27) 55)
	(link s27 s26)
	(link s26 s27)
	(= (time-to-drive s27 s26) 18)
	(= (time-to-drive s26 s27) 18)
	(link s27 s37)
	(link s37 s27)
	(= (time-to-drive s27 s37) 81)
	(= (time-to-drive s37 s27) 81)
	(link s27 s49)
	(link s49 s27)
	(= (time-to-drive s27 s49) 16)
	(= (time-to-drive s49 s27) 16)
	(link s28 s6)
	(link s6 s28)
	(= (time-to-drive s28 s6) 67)
	(= (time-to-drive s6 s28) 67)
	(link s28 s18)
	(link s18 s28)
	(= (time-to-drive s28 s18) 23)
	(= (time-to-drive s18 s28) 23)
	(link s28 s26)
	(link s26 s28)
	(= (time-to-drive s28 s26) 89)
	(= (time-to-drive s26 s28) 89)
	(link s28 s34)
	(link s34 s28)
	(= (time-to-drive s28 s34) 12)
	(= (time-to-drive s34 s28) 12)
	(link s29 s1)
	(link s1 s29)
	(= (time-to-drive s29 s1) 34)
	(= (time-to-drive s1 s29) 34)
	(link s29 s5)
	(link s5 s29)
	(= (time-to-drive s29 s5) 97)
	(= (time-to-drive s5 s29) 97)
	(link s29 s13)
	(link s13 s29)
	(= (time-to-drive s29 s13) 66)
	(= (time-to-drive s13 s29) 66)
	(link s29 s26)
	(link s26 s29)
	(= (time-to-drive s29 s26) 84)
	(= (time-to-drive s26 s29) 84)
	(link s29 s28)
	(link s28 s29)
	(= (time-to-drive s29 s28) 85)
	(= (time-to-drive s28 s29) 85)
	(link s29 s35)
	(link s35 s29)
	(= (time-to-drive s29 s35) 98)
	(= (time-to-drive s35 s29) 98)
	(link s29 s43)
	(link s43 s29)
	(= (time-to-drive s29 s43) 57)
	(= (time-to-drive s43 s29) 57)
	(link s29 s46)
	(link s46 s29)
	(= (time-to-drive s29 s46) 91)
	(= (time-to-drive s46 s29) 91)
	(link s30 s8)
	(link s8 s30)
	(= (time-to-drive s30 s8) 38)
	(= (time-to-drive s8 s30) 38)
	(link s30 s26)
	(link s26 s30)
	(= (time-to-drive s30 s26) 1)
	(= (time-to-drive s26 s30) 1)
	(link s30 s31)
	(link s31 s30)
	(= (time-to-drive s30 s31) 85)
	(= (time-to-drive s31 s30) 85)
	(link s30 s37)
	(link s37 s30)
	(= (time-to-drive s30 s37) 32)
	(= (time-to-drive s37 s30) 32)
	(link s30 s48)
	(link s48 s30)
	(= (time-to-drive s30 s48) 56)
	(= (time-to-drive s48 s30) 56)
	(link s31 s25)
	(link s25 s31)
	(= (time-to-drive s31 s25) 59)
	(= (time-to-drive s25 s31) 59)
	(link s31 s29)
	(link s29 s31)
	(= (time-to-drive s31 s29) 9)
	(= (time-to-drive s29 s31) 9)
	(link s32 s19)
	(link s19 s32)
	(= (time-to-drive s32 s19) 6)
	(= (time-to-drive s19 s32) 6)
	(link s32 s25)
	(link s25 s32)
	(= (time-to-drive s32 s25) 32)
	(= (time-to-drive s25 s32) 32)
	(link s32 s36)
	(link s36 s32)
	(= (time-to-drive s32 s36) 39)
	(= (time-to-drive s36 s32) 39)
	(link s33 s31)
	(link s31 s33)
	(= (time-to-drive s33 s31) 75)
	(= (time-to-drive s31 s33) 75)
	(link s33 s44)
	(link s44 s33)
	(= (time-to-drive s33 s44) 50)
	(= (time-to-drive s44 s33) 50)
	(link s34 s33)
	(link s33 s34)
	(= (time-to-drive s34 s33) 64)
	(= (time-to-drive s33 s34) 64)
	(link s35 s17)
	(link s17 s35)
	(= (time-to-drive s35 s17) 41)
	(= (time-to-drive s17 s35) 41)
	(link s35 s27)
	(link s27 s35)
	(= (time-to-drive s35 s27) 50)
	(= (time-to-drive s27 s35) 50)
	(link s35 s30)
	(link s30 s35)
	(= (time-to-drive s35 s30) 18)
	(= (time-to-drive s30 s35) 18)
	(link s35 s32)
	(link s32 s35)
	(= (time-to-drive s35 s32) 59)
	(= (time-to-drive s32 s35) 59)
	(link s35 s39)
	(link s39 s35)
	(= (time-to-drive s35 s39) 30)
	(= (time-to-drive s39 s35) 30)
	(link s35 s49)
	(link s49 s35)
	(= (time-to-drive s35 s49) 34)
	(= (time-to-drive s49 s35) 34)
	(link s36 s3)
	(link s3 s36)
	(= (time-to-drive s36 s3) 25)
	(= (time-to-drive s3 s36) 25)
	(link s36 s11)
	(link s11 s36)
	(= (time-to-drive s36 s11) 53)
	(= (time-to-drive s11 s36) 53)
	(link s36 s18)
	(link s18 s36)
	(= (time-to-drive s36 s18) 22)
	(= (time-to-drive s18 s36) 22)
	(link s36 s48)
	(link s48 s36)
	(= (time-to-drive s36 s48) 37)
	(= (time-to-drive s48 s36) 37)
	(link s37 s8)
	(link s8 s37)
	(= (time-to-drive s37 s8) 86)
	(= (time-to-drive s8 s37) 86)
	(link s37 s21)
	(link s21 s37)
	(= (time-to-drive s37 s21) 19)
	(= (time-to-drive s21 s37) 19)
	(link s38 s6)
	(link s6 s38)
	(= (time-to-drive s38 s6) 2)
	(= (time-to-drive s6 s38) 2)
	(link s39 s13)
	(link s13 s39)
	(= (time-to-drive s39 s13) 70)
	(= (time-to-drive s13 s39) 70)
	(link s40 s6)
	(link s6 s40)
	(= (time-to-drive s40 s6) 4)
	(= (time-to-drive s6 s40) 4)
	(link s40 s10)
	(link s10 s40)
	(= (time-to-drive s40 s10) 100)
	(= (time-to-drive s10 s40) 100)
	(link s40 s12)
	(link s12 s40)
	(= (time-to-drive s40 s12) 26)
	(= (time-to-drive s12 s40) 26)
	(link s40 s17)
	(link s17 s40)
	(= (time-to-drive s40 s17) 94)
	(= (time-to-drive s17 s40) 94)
	(link s40 s20)
	(link s20 s40)
	(= (time-to-drive s40 s20) 38)
	(= (time-to-drive s20 s40) 38)
	(link s40 s22)
	(link s22 s40)
	(= (time-to-drive s40 s22) 27)
	(= (time-to-drive s22 s40) 27)
	(link s40 s33)
	(link s33 s40)
	(= (time-to-drive s40 s33) 79)
	(= (time-to-drive s33 s40) 79)
	(link s40 s39)
	(link s39 s40)
	(= (time-to-drive s40 s39) 69)
	(= (time-to-drive s39 s40) 69)
	(link s40 s44)
	(link s44 s40)
	(= (time-to-drive s40 s44) 83)
	(= (time-to-drive s44 s40) 83)
	(link s41 s10)
	(link s10 s41)
	(= (time-to-drive s41 s10) 37)
	(= (time-to-drive s10 s41) 37)
	(link s41 s17)
	(link s17 s41)
	(= (time-to-drive s41 s17) 77)
	(= (time-to-drive s17 s41) 77)
	(link s41 s19)
	(link s19 s41)
	(= (time-to-drive s41 s19) 88)
	(= (time-to-drive s19 s41) 88)
	(link s41 s42)
	(link s42 s41)
	(= (time-to-drive s41 s42) 69)
	(= (time-to-drive s42 s41) 69)
	(link s42 s0)
	(link s0 s42)
	(= (time-to-drive s42 s0) 16)
	(= (time-to-drive s0 s42) 16)
	(link s42 s1)
	(link s1 s42)
	(= (time-to-drive s42 s1) 62)
	(= (time-to-drive s1 s42) 62)
	(link s42 s15)
	(link s15 s42)
	(= (time-to-drive s42 s15) 19)
	(= (time-to-drive s15 s42) 19)
	(link s42 s30)
	(link s30 s42)
	(= (time-to-drive s42 s30) 79)
	(= (time-to-drive s30 s42) 79)
	(link s42 s40)
	(link s40 s42)
	(= (time-to-drive s42 s40) 3)
	(= (time-to-drive s40 s42) 3)
	(link s43 s47)
	(link s47 s43)
	(= (time-to-drive s43 s47) 69)
	(= (time-to-drive s47 s43) 69)
	(link s44 s3)
	(link s3 s44)
	(= (time-to-drive s44 s3) 97)
	(= (time-to-drive s3 s44) 97)
	(link s44 s29)
	(link s29 s44)
	(= (time-to-drive s44 s29) 61)
	(= (time-to-drive s29 s44) 61)
	(link s44 s41)
	(link s41 s44)
	(= (time-to-drive s44 s41) 99)
	(= (time-to-drive s41 s44) 99)
	(link s45 s4)
	(link s4 s45)
	(= (time-to-drive s45 s4) 31)
	(= (time-to-drive s4 s45) 31)
	(link s45 s36)
	(link s36 s45)
	(= (time-to-drive s45 s36) 86)
	(= (time-to-drive s36 s45) 86)
	(link s46 s31)
	(link s31 s46)
	(= (time-to-drive s46 s31) 51)
	(= (time-to-drive s31 s46) 51)
	(link s46 s32)
	(link s32 s46)
	(= (time-to-drive s46 s32) 52)
	(= (time-to-drive s32 s46) 52)
	(link s46 s44)
	(link s44 s46)
	(= (time-to-drive s46 s44) 22)
	(= (time-to-drive s44 s46) 22)
	(link s47 s17)
	(link s17 s47)
	(= (time-to-drive s47 s17) 36)
	(= (time-to-drive s17 s47) 36)
	(link s47 s28)
	(link s28 s47)
	(= (time-to-drive s47 s28) 71)
	(= (time-to-drive s28 s47) 71)
	(link s47 s36)
	(link s36 s47)
	(= (time-to-drive s47 s36) 24)
	(= (time-to-drive s36 s47) 24)
	(link s48 s2)
	(link s2 s48)
	(= (time-to-drive s48 s2) 6)
	(= (time-to-drive s2 s48) 6)
	(link s48 s24)
	(link s24 s48)
	(= (time-to-drive s48 s24) 74)
	(= (time-to-drive s24 s48) 74)
	(link s48 s42)
	(link s42 s48)
	(= (time-to-drive s48 s42) 23)
	(= (time-to-drive s42 s48) 23)
	(link s49 s0)
	(link s0 s49)
	(= (time-to-drive s49 s0) 32)
	(= (time-to-drive s0 s49) 32)
	(link s49 s6)
	(link s6 s49)
	(= (time-to-drive s49 s6) 68)
	(= (time-to-drive s6 s49) 68)
	(link s49 s31)
	(link s31 s49)
	(= (time-to-drive s49 s31) 60)
	(= (time-to-drive s31 s49) 60)
	(link s49 s40)
	(link s40 s49)
	(= (time-to-drive s49 s40) 58)
	(= (time-to-drive s40 s49) 58)
	(link s49 s44)
	(link s44 s49)
	(= (time-to-drive s49 s44) 46)
	(= (time-to-drive s44 s49) 46)
	(link s49 s45)
	(link s45 s49)
	(= (time-to-drive s49 s45) 28)
	(= (time-to-drive s45 s49) 28)
	(= (driven) 0)
	(= (walked) 0)
)
	(:goal (and
	(at driver1 s31)
	(at driver2 s20)
	(at driver3 s29)
	(at driver5 s6)
	(at driver7 s4)
	(at driver8 s29)
	(at driver9 s40)
	(at driver11 s28)
	(at driver13 s10)
	(at driver14 s26)
	(at driver15 s10)
	(at driver16 s49)
	(at driver17 s45)
	(at driver19 s18)
	(at driver20 s30)
	(at truck1 s20)
	(at truck2 s10)
	(at truck4 s3)
	(at truck5 s20)
	(at truck6 s33)
	(at truck7 s49)
	(at truck8 s32)
	(at truck9 s4)
	(at truck10 s6)
	(at truck11 s18)
	(at truck15 s36)
	(at truck18 s9)
	(at truck21 s30)
	(at truck22 s17)
	(at truck23 s46)
	(at truck24 s29)
	(at truck26 s48)
	(at truck27 s44)
	(at truck28 s26)
	(at truck29 s37)
	(at truck30 s46)
	(at package1 s32)
	(at package2 s17)
	(at package3 s12)
	(at package4 s12)
	(at package7 s20)
	(at package8 s39)
	(at package9 s4)
	(at package10 s19)
	(at package11 s41)
	(at package12 s38)
	(at package13 s31)
	(at package14 s6)
	(at package15 s6)
	(at package16 s18)
	(at package17 s15)
	(at package18 s31)
	(at package19 s24)
	(at package20 s36)
	(at package21 s31)
	(at package22 s41)
	(at package23 s32)
	(at package24 s1)
	(at package25 s28)
	(at package26 s7)
	(at package27 s37)
	(at package28 s11)
	(at package29 s8)
	(at package30 s15)
	(at package31 s29)
	(at package32 s32)
	(at package33 s42)
	(at package34 s21)
	(at package35 s33)
	(at package36 s0)
	(at package37 s38)
	(at package38 s16)
	(at package39 s25)
	(at package40 s19)
	(at package42 s10)
	(at package43 s37)
	(at package44 s31)
	(at package45 s47)
	(at package46 s42)
	(at package47 s34)
	(at package48 s40)
	(at package49 s40)
	(at package50 s10)
	(at package51 s36)
	(at package52 s49)
	(at package53 s41)
	(at package54 s44)
	(at package55 s9)
	(at package56 s14)
	(at package57 s18)
	(at package58 s8)
	(at package59 s46)
	(at package60 s40)
	))

(:metric minimize (+ (+ (* 1  (total-time)) (* 4  (driven))) (* 2  (walked))))

)
